苗兵的博客分享 http://blog.sciencenet.cn/u/bmiao

博文

傅里叶级数是洛朗级数

已有 12611 次阅读 2019-10-29 23:14 |个人分类:专业科普|系统分类:科普集锦| 数学物理

1. 傅里叶级数(Fourier Series)收敛于周期性函数,实际上,傅里叶级数展开是人们在研究周期性现象时发展的数学方法。傅里叶级数展开进而发展成可处理非周期性函数的傅里叶变换。


在数学中,傅里叶分析属于本征函数(Eigen-function Expansion)展开法的一种。研究波动现象,所涉及的动能算符即拉普拉斯算符,该算符为厄米(Hermite)算符,具有完备的本征函数系。施加周期性边界条件,基函数为初等三角函数,即傅里叶级数;在自由情形下,基函数为表征自由粒子的平面波,即傅里叶变换。


傅里叶变换是数学上的“散射”,而傅里叶变换在周期性约束退化成的傅里叶级数则是“衍射”。


2. 若我们将傅里叶级数写成更为紧致的复数形式,可以发现,傅里叶级数是洛朗级数。


                   傅里叶级数:        (1)

               其中,,L 是周期,即 f(x+L)=f(x).

定义: 当 x从0变化到L,经历一个周期时,z在复平面单位圆上转动一圈。因此,我们将x在实轴上的平移运动变成z在复平面上的圆周运动。

此时,我们有:

               (2)

这是F(z)在 z=0 点展开的洛朗级数(Laurent Series)。显然,由于F(z)本质上是z的幂函数,因此当变量z在复平面单位圆转动一周时F函数重复自己。这一现象在复变函数中称为复数相位的不确定性,而在这里正反映了f(x)函数的周期性。


我们按照洛朗级数的公式求算展开系数:

                      (3)

这里积分在复平面围绕 z=0 逆时针旋转的单位圆上进行。

利用,经过变量代换,可以发现,系数公式可以写成:

这就是傅里叶级数展开的系数公式。在本征函数展开的语言下,展开系数是函数在相应基函数上的投影,由函数的内积(Inner Product)计算。


3. 我们做如下评论:局域性与整体性

(1)洛朗展开是解析函数在解析点泰勒展开(Taylor Expansion)的推广,它包含了泰勒展开。具体而言,在复变函数理论中,泰勒展开基于函数在解析点的柯西积分,当展开点不一定解析时,所发展的洛朗展开是基于函数在一个去除展开点之复联通区域的柯西积分。


泰勒展开是解析函数的一种局域展开,展开系数由函数在展开点局域的值以及各级导数值决定。然而,将数域扩充至复数域后,复变函数的解析性变成一种非平凡的要求,由微分版本的柯西-黎曼条件 (Cauchy-Riemann Condition)或者积分版本的柯西定理 (Cauchy Theorem)来检验。苛刻带来的好处是,一旦复变函数解析,则性质优良。尤其是,通过柯西积分,函数在局域点的值及导数值由其在邻域边界上的值给出,这建立了一种局域到整体的联系。因此在复变函数的意义下,泰勒展开,进而是洛朗展开,不再是局域展开,而是有一种全局性,即展开系数要由整体信息决定。


(2)本征函数展开法是一种整体表示方法,体现在展开系数由内积决定。当然,傅里叶级数作为本征函数展开法的一种,也是一种整体方法。


(3)由于复变函数的洛朗展开也是一种整体方法,傅里叶级数才会表现为洛朗级数。


备注:傅里叶级数是定义在复平面单位圆上之函数 F(z) 在 z=0 点的洛朗级数。如文中所述,定义在复平面单位圆上的函数 F(z) 才由相位角之不确定性描述了原先函数f(x)的周期性。注意,这与一般性的函数洛朗展开有所不同。一般的洛朗展开,函数的变量 z 是定义于展开点 z=0 附近之复连通解析环域中,不必在单位圆上,因此不会联系到周期性。



https://blog.sciencenet.cn/blog-2438753-1203987.html

上一篇:高分子统计物理漫谈 - 超对称 - 高分子场论 - 1
下一篇:界面问题的统计力学
收藏 IP: 124.16.70.*| 热度|

3 柳林涛 杨正瓴 张江敏

该博文允许注册用户评论 请点击登录 评论 (3 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-28 19:44

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部