如何由一个任意周期的函数fourier展开函数求出傅里叶积分?

——————评论区小伙伴的补充——————

感谢评论区的朋友 指出合成公式的满足条件,在特定情况下合成公式不一定成立。具体的内容大家可以翻看评论区,原答案中我已补充这个条件

——以下是更新答案,非通信专业请直接跳过——
啊呀呀,点赞的人数有好几十,我很感动啊 ,于是决定更新点新的内容,也是答主最近学到的一点东西,就拿出来卖弄啦。
原答案解释了傅里叶级数分析公式(傅里叶系数求解公式)的由来,但是没有解释其物理意义,本次更新打算讲解一下傅里叶级数分析公式的物理意义。首先,这是余弦三角函数形式的傅里叶级数


这是分析公式(n≠0):


这个分析公式同样可以通过原答案的方法求出,在此就不赘述了。通过正交以及消项的方法,我们求出了上述公式,但是这个公式有什么物理意义呢?我觉得可以从两个方面解释。
互相关函数是计算两个信号时域波形相关性的一种方法
周期信号互相关函数的公式定义如下,可看做f1(t)与f2(-t)的卷积


这个卷积的过程反应了互相关函数的物理意义,即f1(t)不动,f2(t)在时域上不断移位再与f1(t)对位相乘再相加,反应f1(t)与f2(t)在不同时间位置上的相关性。
当τ=0时,该互相关函数转化为互相关系数,反应f1(t)与f2(t)在原点位置上的相关性(具体内容可搜索相关函数的相关内容)


那么这个式子和傅里叶级数是不是很像呢?
实际上如果我们把f2(t)换成cosnwot就可以得到:


这个公式与我们上述定义的傅里叶级数分析公式只有常数倍数上的一点差异(目前我还没有找到特别合理的数学解释的原因,我个人认为无关紧要,因为如果是复指数形式的傅里叶级数分析公式,系数就完全相同了),所以可以看出,傅里叶级数分析公式某种意义上是在求信号与不同频率谐波的相似性,其求出的傅里叶系数某种意义上就是相关系数。
2.从线性空间基函数的角度说明:
这个也是原答案的讲解思路。不同频率的余弦函数在线性空间上正交,构成一组完备正交基。从合成公式上看:


可看出cn是每个基函数前面的系数,那么从线性组合的角度上解释,cn就应该是f(t)在每个线性基地分量上的投影大小,实际上也确实如此。
那么我们回顾一下投影定理,a在x上的投影ax为


我在原答案中证明了一件事情,即两个周期函数在一个周期内的积分可以看做两个线性空间向量的点乘。在此再证明一下


那么,我们回归傅里叶级数分析公式,可见其分子就是f(t)与cosnwot的点乘。所以傅里叶级数的另一个物理意义(最为重要,也是傅里叶变换的物理意义)就是原函数在各组基函数上的投影大小。
至此,本答案更新结束,随着学习的深入,了解了很多,但是也仍然有很多的问题,希望广大大佬,老师,同学批评指正,也谢谢大家对本答案的支持

——————以下是原答案——————
说说我对于傅里叶级数的理解吧。
傅里叶级数应该和泰勒级数一样,是为了简化复杂函数的分析过程而提出的一种数学方法。如果要说明傅里叶级数的系数到底怎么求解,那就先从傅里叶级数的定义开始吧,傅里叶级数最早提出是想用三角函数的线性组合去表达一个复杂函数,既然是线性组合,根据线性代数的理论来说,我们最好用彼此线性无关的量去线性表示另一个量,这种情况下会比较方便,而三角函数系的正交性正好满足彼此无关这一个条件。那么三角函数的正交到底是什么意思呢?
相量的正交在线性代数的理论中有非常完整简洁的定义,两个相量点积之后结果为0即说明两相量正交,比如相量a(a1,a2,a3)与相量b(b1,b2,b3)正交,则a1b1+a2b2+a3b3=0,可以看出相量的点积其实是对应分量相乘再累加的过程,而这种关系与连续函数的正交定义是有密切联系的,三角函数系的正交定义,比如cosx,与sinx正交,则写成


而其实积分的过程可以看做cosx和sinx分别在某个点的取值后相乘再对应累加(积分),说具体些,假设我这里积分周期选择0-T,定义一个无穷小的数ξ,则积分可以近似看做

可以看出来这种关系与相量正交的形式是相同的,所以可以认为两个函数相乘积分结果为0则两函数正交。而可以证明三角函数系的正交关系,无论是
sinnx还是cosnx都与除了它本身外的任意三角函数正交。
那么现在回到傅里叶级数,既然三角函数系彼此正交,把三角函数系看成一个相量空间就变得可行了,所以f(x)(周期为2π)可以做如下拆分(注:此公式仅在满足狄利克雷条件下存在)

这就是傅里叶级数的合成形式,它的物理意义也是非常明显的,一个周期函数可以拆分成周期为自身整数倍的三角函数的线性组合。
那么说了这么多终于可以回到问题上来了,那么对于上述级数,我们该怎么样求解各个系数呢,这个问题在我学傅里叶级数的时候也一直不能理解,直到最近详细研究了泰勒级数才发现二者的异曲同工,求解系数的方法就是消项,比如对于a0的求解,我们只需要把除了a0以外等式所有的项全部消掉不就可以了吗,那么怎么消呢,很容易,a0是唯一一个不包含三角函数的系数,而其他项的三角函数的周期均为2π(注意:我说的是周期,而不是最小周期,其实cosx的周期是2π,cos2x周期为π,……cosnx的周期为2π/n,不过大家周期的最小公倍数都是2π,所以2π是所有这些三角函数的周期),所以我们只需要对等式两端同时进行-π到π的一个积分,就会只留下a0,处理过程是这样

这里我要说明一点,很多高数书(例如同济)上的结果与我这里有一处不同,是因为数学数上定义的常数分量是ao/2,而我这里是ao。
那么ao求出来了,an和bn呢?那么这里就要应用到三角函数系的正交法则,举个例子,比如我们要求解an的值,就意味我们必须把除了an以外所有项都消掉,而an和cosnx相乘,所以我们让整个式子乘上cosnx再积分

另本人水平有限,如果有错误求大神指出,也希望没有误导题主啊

}

我要回帖

更多关于 任意周期的函数fourier展开 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信