离散分数傅立叶转换(英语:Discrete Fractional Fourier Transform)是用来解决数字序列分数傅立叶转换的计算问题,方法是利用它们的特征函数展开的表达来实现离散算法,而离散分数傅立叶转换的特征函数是埃尔米特多项式与高斯函数的乘积,这样的特征函数同时也是傅立叶转换的特征函数。利用离散傅立叶转换的结果,可以建立周期分数傅立叶转换的离散算法。
在建立离散分数傅立叶转换的算法之前,必须对离散傅立叶转换(Discrete Fourier Transform)有一定的理论认识。
对于一般的傅立叶转换具有4周期性质,也就是对任何讯号连续做4次傅立叶转换就会回到它自己。然而离散傅立叶转换也有这样的性质,所以以下先讨论离散傅立叶转换的4周期性质。
对于一串数字序列讯号,定义它的离散傅立叶转换是:
引入矩阵符号
其中 ,现在可以把离散傅立叶转换写成:
由上面的分析可知一串长度为N的数字序列讯号,其离散傅立叶转换在N维向量空间相当于一个线性转换,也就是矩阵E,矩阵E称作离散傅立叶转换的矩阵。又因为
所以
离散傅立叶转换的线性转换是正交转换。
利用离散傅立叶转换的矩阵,可以证明4周期性质。因为
而且,所以
由上可知讯号做两次离散傅立叶转换后会得到,除了第一个数字不动其馀顺序皆颠倒,这意味著发生了时间反射。现在用矩阵来表达连续两次的离散傅立叶转换:
再来计算连续三次的转换:
-
最后计算连续四次的转换:
由上式可知,离散傅立叶转换连续做4次一定会让讯号返回它自己,这就是离散傅立叶转换4周期性质的证明。
为了得到离散傅立叶转换的周期性定理,必须理解它的运算性质,因此现在用另外一个观点去说明4周期性质。
上面的分析可以理解为原始讯号作三次离散傅立叶转换其成分还是跟原本讯号相同,只是顺序上做了调整,也就是从第二个讯号至最后一个讯号作了颠倒的顺序。又或者可以这样理解,原本的讯号经过交换顺序而得到,其离散傅立叶转换就是,若再做一次离散傅立叶转换,结果就是将的下标按照前面规则作了交换,连续四次的离散傅立叶转换其结果应该为,由此可知离散傅立叶转换具有4周期的性质。
因此, ,即任何数字序列作四次离散傅立叶转换就会返回它自己,在矩阵乘法之下,集合 会构成一个四阶循环群。
离散傅立叶转换的整数次重复运算等价于一个4阶循环矩阵群 。
利用前述离散傅立叶转换的计算方法可以得到离散分数傅立叶转换的计算方法,因此接下来的分析就先从离散傅立叶转换出发。
根据离散傅立叶转换的矩阵形式,定义符号:
其递回关系为:
当 时,对应的是原始数字序列讯号;当 时,对应的昰原始数字序列讯号的离散傅立叶转换。现在定义幂次a的离散分数傅立叶转换为:
上式中的 是a的连续函数。引入矩阵符号为:
称作矩阵E的a次幂,因此幂次a的离散分数傅立叶转换可以写成:
其中 是只与a有关的系数,它使得 全体生成的矩阵族 满足以下公理。
- 连续性公理: 为连续的;
- 边界性公理: 是离散傅立叶转换连续作用a次的结果;
- 周期性公理: ;
- 可加性公理: 。
由以上可得连续函数 的方程组:
为了解得这个方程组的解,先做变数变换:
则方程组可表达为:
同时又由边界性公理可得:
因此 的边界条件就是:
此外周期性条件为:
考虑了这些条件后方程组 有唯一解:
最后再根据
得到方程组的通解为:
所以满足前述4个公理的矩阵E之a次幂定义为:
上式得到了 的离散形式并把它带入 最后得到了离散分数傅立叶转换的计算方法:
若去对照分数傅立叶转换的形式,上式的计算方法可以说是C.C.Shih的分数傅立叶转换的离散算法。