美文网首页FFT,合数fft
离散傅里叶的通用快速计算(fft的一般化)

离散傅里叶的通用快速计算(fft的一般化)

作者: zevolv | 来源:发表于2019-03-21 11:06 被阅读0次

    之前有篇文章实现了合数的fft,和2的幂次方的fft,这里主要是关于更加一般形式的快速计算
    时间隔了很久,才出了第二篇文章,实在是惭愧

    代码在文末,包含步骤

    需要掌握的知识

    1 卷积
    2 卷积
    3 傅里叶变换的一般公式

    卷积 (需要基础的高数知识,不懂微积分请看具体后面的实现步骤,懂的可以拿出纸笔验算一下是否合理 下面的 * 都表示卷积, · 点号表示乘积)

    连续函数的卷积定义
    h(x) = \int_{-\infty}^\infty f(t) ·g(x-t){\rm d}t = f(x) * g(x)
    离散函数的卷积定义
    h(x) = \sum_{i = -\infty}^{+\infty} f(i) ·g(x-i) = f(x) * g(x)

    建议自行wiki查看定义,下面只是用我自己的理解来描述的

    卷积在数学上有个定义,大概就是两个可积分的函数做一个特殊的运算,然后生成另外的一个函数。这个运算是先将两函数做乘法(做乘法的时候参数是自变量会稍微改变一下,如 f(t) · g(x-t) ),然后再求积分,最后得到新的函数h(x)。至于为什么这样的一个运算叫做卷积呢,我想了很久,大概是因为两个函数的乘积做了求和的操作吧,所以就叫卷积了,总之这个称呼对于我们理解这个运算并没有什么问题。
    好了到这里本来应该结束了,但是我感觉学完1+1就开始解决高数的问题还是有点难
    下面说下卷积的一些定律吧

    非常重要的两个定律

    1. 交换律
      证明过程
      f(x) * g(x) = \int_{-\infty}^\infty f(t) ·g(x-t){\rm d}t
      令 m = x-t 则 t = x-m,积分上下限反向
      f(x) * g(x)
      = \int_{\infty}^{-\infty} f(x-m) ·g(m){\rm d}(x-m)
      = \int_{\infty}^{-\infty} f(x-m) ·g(m){\rm d}(-m)
      = \int_{-\infty}^\infty f(x-m) ·g(m){\rm d}m
      = \int_{-\infty}^\infty g(m)· f(x-m){\rm d}m
      = g(x) * f(x)

    2. 结合律
      证明过程
      f(x) * g(x) *h(x)= \int_{-\infty}^\infty{(\int_{-\infty}^\infty f(t) ·g(k-t){\rm d}t )}· h(x-k){\rm d}k
      = \int_{-\infty}^\infty{\int_{-\infty}^\infty f(t) ·g(k-t)· h(x-k){\rm d}t }{\rm d}k
      = \int_{-\infty}^\infty{\int_{-\infty}^\infty f(t) ·g(k-t)· h(x-k){\rm d}k }{\rm d}t
      = \int_{-\infty}^\infty f(t) ·{(\int_{-\infty}^\infty g(k-t)· h(x-k){\rm d}k )}{\rm d}t
      令m = k-t 则 k = m+t;
      = \int_{-\infty}^\infty f(t) ·{\int_{-\infty}^\infty g(m)· h(x-m){\rm d}(m+t) }{\rm d}t
      = \int_{-\infty}^\infty f(t) ·{\int_{-\infty}^\infty g(m)· h(x-m){\rm d}m }{\rm d}t
      = \int_{-\infty}^\infty f(t) ·[ g(x) * h(x) ]{\rm d}t
      = f(t) * [ g(x) * h(x) ]

    离散傅里叶一般公式是

    X(k)=\sum_{n=0}^{N-1}x(n)·e^{-\frac{2{\pi}i}{N}·nk}

    先看一个展开式 (n-k)^2 = n^2+k^2 -2nk (我好像看到过这个展开式在网上有很多个名字,不知道是不是觉得命名比较好玩)
    在利用 nk =\frac{ n^2+k^2 -(n-k)^2}{2} \ \ 对这个公式进行一些变换

    X(k)=\sum_{n=0}^{N-1}{(x(n)·e^{-\frac{2{\pi}i}{N}·\frac{ n^2+k^2 -(n-k)^2}{2}})}
    =\sum_{n=0}^{N-1}{(x(n)·(e^{-\frac{2{\pi}i}{N}·\frac{ n^2}{2}} · e^{-\frac{2{\pi}i}{N}·\frac{ k^2}{2}} · e^{-\frac{2{\pi}i}{N}·\frac{ -(n-k)^2}{2}}))}
    =\sum_{n=0}^{N-1}{(e^{-\frac{2{\pi}i}{N}·\frac{ k^2}{2}} ·x(n)·e^{-\frac{2{\pi}i}{N}·\frac{ n^2}{2}} · e^{-\frac{2{\pi}i}{N}·\frac{ -(n-k)^2}{2}})}
    = {e}^{-\frac{2{\pi}i}{N}·\frac{ k^2}{2}}·\sum_{n=0}^{N-1}{(x(n)·e^{-\frac{2{\pi}i}{N}·\frac{ n^2}{2}} · e^{-\frac{2{\pi}i}{N}·\frac{ -(n-k)^2}{2}})}

    令 f(n) = x(n)·e^{-\frac{2{\pi}i}{N}·\frac{ n^2}{2} }
    令 g(n) = e^{-\frac{2{\pi}i}{N}·\frac{ -n^2}{2}} 则

    X(k)= {e}^{-\frac{2{\pi}i}{N}·\frac{ k^2}{2}}· {( \sum_{n=0}^{N-1} f(n)·g(k-n) )}

    X(k) = {e}^{-\frac{2{\pi}i}{N}·\frac{ k^2}{2}}· [ f(k)*g(k)]

    到这一步就是很关键的一步了,关于卷积的计算我们可能没啥底,但是至少卷积有关的参数只有一个,所以这里的话就相当于把离散傅里叶的计算换成了卷积的计算

    这一步还有个关键的知识点


    假设F是傅里叶变换,并且f(x)和g(x)在在实数范围可积分
    则 F[f(x)]·F[(g(x)] = F[f(x) * g(x)]
    即 f(x) * g(x) = F^{-1}[F[f(x)]·F[(g(x)]]
    这个看起来很复杂的转换,大概可以理解为
    f(x) 和 g(x)的卷积 等于 f(x)的傅里叶变换 与g(x)的傅里叶变换的乘积的逆傅里叶变换
    虽然有点绕,但是上面这句话这个真的是核心,因为转化成卷积之后求取傅里叶变换没有了输入参数的个数限制,只有真正计算点的限制,也就是我们可以手动的补参数补到参数的个数为我们需要的2的幂次方那么多为止
    例如

    输入的长度是9,对于DFT 那就是9,补一个长度,就影响到了DFT最后的结果
    对于上面的卷积呢,输入参数所影响的有傅里叶变换的结果,也有逆变换的结果,
    最终的输出结果是没有任何影响的
    这就是为什么核心的原因


    特别注意

    补充参数在这里有个只得注意的地方
    关于补参数这个问题,由于需要计算的知识n->{0,N-1},所以对于f(n) ,如果不存在 x(n) = 0那么f(n)也是为0的,但是对于g(n)来说,补参数的话是有一些需要注意的问题的,g(n)是偶函数,这个在函数里面可以看出来 即 g(-n) = g(n),所以对于g(n)补参数的时候也是要满足这个性质和g(n)是周期函数的性质的,假设补参数之后的长度为L,那么这个L 最小也是N的两倍,还需满足 g(L-n) = g(n);


    到了这一步应该大部分都没啥问题了,写代码的话只是时间问题

    具体代码步骤

    f(n) \ = \ \ \ \ x(n)·e^{-\frac{2{\pi}i}{N}·\frac{ n^2}{2} }
    g(n) = \ \ \ \ e^{-\frac{2{\pi}i}{N}·\frac{ -n^2}{2}}

    X(k) = {e}^{-\frac{2{\pi}i}{N}·\frac{ k^2}{2}}· [ f(k)*g(k)]
    结合公式和三面的描述,具体步骤分为6步

    1. 求出输入参数需要补充的长度

    2. 根据上面的长度设置f(n) 和 g(n)的值,这里的N为原参数的长度,一定得看上面的特别注意

    3. 对 f(n) 和 g(n) 求快速傅里叶变换 得 F(n) 和 G(n)

    4. F(n) 和 G(n) 做乘积 得H(n)

    5. 对H(n) 做快速傅里叶逆变换 得h(n)

    6. 根据h(n) 求出傅里叶变换的结果

    代码(参照上面的步骤)

    {e}^{-\frac{2{\pi}i}{N}} 这个对应下面代码的基础参数baseCmpow

    /**
    * 求取基础的参数的幂次方,上面
    */
    Complexf *baseCmPow(Complexf *cm, int n, int p){
        cm->setReal( cos(p * PI /n));
        cm->setIm( sin(-p * PI / n));
        return cm;
    }
    
    /**
    * 一般形式的fft
    */
    void fft_normal(Complexf *cm, int N){
        u_int L = 1,tmpn = 0,M = N,tn = N * 2;
        while (L < 2*N ){
            L = L * 2;
        } 
    
        Complexf tempmul = Complexf();
        Complexf *temp = (Complexf *)malloc(L * sizeof(Complexf));
        
        Complexf *temp2 = (Complexf *)malloc(L * sizeof(Complexf));
        for (int i = 0; i < L; i++){
            
            if (i < N){
                tmpn = i*i;
                baseCmPow(&tempmul, N, tmpn);
                temp[i].setData(tempmul);
                temp[i] *= cm[i];
    
                baseCmPow(&tempmul, N, -tmpn);
                temp2[i].setData(tempmul);
            }else{
                if (i > L - N){
                    tmpn = (L - i)*(L - i);
                    baseCmPow(&tempmul, N, -tmpn);
                    temp2[i].setData(tempmul);
                }else{
                    temp2[i].init();
                }
                temp[i].init();
            }
        }
    
        fft_base2(temp, L);
        fft_base2(temp2, L);
        for (int i = 0; i < L;i++){
            temp[i] *= temp2[i];
        }
    
        ifft_base2(temp, L);
    
        for (int i = 0; i < N;i++){
            tmpn = i*i;
            baseCmPow(&tempmul, N, tmpn);
            tempmul *= temp[i];
            cm[i].setData(tempmul);
        }
        free(temp);
        free(temp2);
    }
    /**
    * 一般形式的ifft
    */
    void ifft_normal(Complexf *cm, int N){
        for (int i = 0; i<N; i++){
            cm[i].setIm(-cm[i].getIm());
        }
    
        fft_normal(cm, N);
    
        for (int i = 0; i<N; i++){
            cm[i].setReal(cm[i].getReal() / N);
            cm[i].setIm(-cm[i].getIm() / N);
        }
    }
    
    

    这里的fft_base2 ,ifft_base2 ,Complexf都参照这篇文章的,具体代码可以在github找到


    结尾

    到这里就结束了一般化的快速傅里叶计算,时间复杂度大于N'logN',这个N' 主要是因为补参数。

    希望本文能对对你理解一般性质的快速傅里叶变换有所帮助。有问题欢迎留言或email


    相关文章

      网友评论

        本文标题:离散傅里叶的通用快速计算(fft的一般化)

        本文链接:https://www.haomeiwen.com/subject/myxzmqtx.html