本页使用了标题或全文手工转换

傅里叶级数

维基百科,自由的百科全书
跳到导航 跳到搜索
以傅里叶级数模拟非正弦曲线的方波,经常运用于电子信号的处理。

数学中,傅里叶级数Fourier series/ˈfʊri, -iər/)是把类似波的函数表示成简单正弦波的方式。更正式地说,它能将满足狄利克雷定理 (傅里叶级数)的任何周期函数或周期信号分解成一个(可能由无穷个元素组成的)简单振荡函数的集合,即正弦函数余弦函数(或者,等价地使用复指数)。离散时间傅里叶变换是一个周期函数,通常用定义傅里叶级数的项进行定义。另一个应用的例子是Z变换,将傅里叶级数简化为特殊情形 |z|=1。傅里叶级数也是采样定理原始证明的核心。傅里叶级数的研究是傅里叶分析的一个分支。

历史[编辑]

傅里叶级数得名于法国数学家约瑟夫·傅里叶(1768年–1830年),他提出任何函数都可以展开为三角级数。此前数学家如拉格朗日等已经找到了一些非周期函数的三角级数展开,而认定一个函数有三角级数展开之后,通过积分方法计算其系数的公式,欧拉达朗贝尔克莱罗早已发现,傅里叶的工作得到了丹尼尔·伯努利的赞助[1]

傅里叶介入三角级数用来解热传导方程,其最初论文虽经拉克尔华法语Sylvestre_François_Lacroix加斯帕尔·蒙日同意[2],但在1807年经拉格朗日拉普拉斯勒让德评审后被拒绝出版,他的现在被称为傅里叶逆转定理英语Fourier inversion theorem的理论后来发表于1820年的《热的解析理论》(热的传播,Théorie analytique de la chaleurAnalytical theory of heat)中。将周期函数分解为简单振荡函数的总和的最早想法,可以追溯至公元前3世纪古代天文学家的均轮和本轮学说。

傅里叶级数在数论组合数学信号处理、概率论统计学密码学声学光学等领域都有着广泛的应用。

定义[编辑]

现在,让我们考虑一个函数 ,其中,且 在 长度为 的区间上可积。一些常见的可积区间为:

,

我们将用的无穷级数来表示 。事实上,整个分析的过程就是一个权重的表现,由阶的谐波还有搭配上彼此在这个函数 中的权重来实现用三角级数来表示整个 ,其中阶谐波在函数中的权重可以借由在区间上的积分来获取,其中上述的权重就是所谓的傅立叶系数:

傅立叶系数

 

 

 

 

(Eq.1)

我们可以从部分和开始

傅立叶级数, sine-cosine 形式

 

 

 

 

(Eq.2)

普遍来说N是理论上趋近于无限大的,但是就算趋近于无限大,对所有的x(例如在某一点上不连续),傅立叶级数也不一定收敛到

我们还可以利用三角恒等式,去把后面的正弦函数跟馀弦函数合并起来

然后定义还有

傅立叶级数,amplitude-phase form

 

 

 

 

(Eq.3)

然后我们习惯将普遍化到整个复数上,借由欧拉公式去分开馀弦函数变成指数的形式表示。


因此,根据定义,我们可以得到:


而最后的结论是

傅立叶级数指数形式

 

 

 

 

(Eq.4)

复数函数[编辑]

如果是一个复数函数,其中实部跟虚部都是实值函数,其中,二者都可以被表示为傅立叶级数,那实部跟虚部的系数还有部分和可以被表示为:

还有

然后定义

这与 Eq.4相同,但是如果说 还有 不再继续复数共轭. 关于 的公式一样没有变化:

基本性质[编辑]

傅立叶级数的唯一性[编辑]

如果有一个定义在的函数,其中函数的傅立叶系数还有相同,且傅立叶级数都收敛到函数本身,那么可以证明此傅立叶级数具有唯一性,也就是。换句话说,如果函数上可积,傅立叶系数为0,对所有的,那么函数

卷积[编辑]

卷积的观念在傅立叶分析中扮演了重要的角色,所以说了解卷积是必要的。

假设还有上可积的函数,定义还有上的卷积为:

我们也可以借由变数变换去得到

至于关于折积的性质,可以参阅条目折积

然后当我们在考虑一个函数的傅立叶级数的部分和,我们可以将其表示为的折积,其中狄利克雷核

这个范例可以让我们看到,研究函数的傅立叶级数的部分和就是由研究函数跟狄利克雷核的折积。

微分性质[编辑]

我们说属于在 如果是一个在实数上以为周期的函数,且次可微而且阶连续。

  • 如果属于在,那么傅立叶系数可以被用傅立叶系数的表示,借由公式
  • 如果属于在。特别的,当固定,我们有趋近于0当,且有

黎曼-勒贝格引理[编辑]

如果函数可积,那么便有

Parseval's定理[编辑]

如果函数属于在之中,那么便有

Plancherel 定理[编辑]

收敛[编辑]

概要[编辑]

  在  近似了  ,该近似程度会随着 N → ∞ 逐渐改善。这个无穷和 叫做  的傅里叶级数表示。在工程应用中,一般假定傅里叶级数除了在不连续点以外处处收敛,原因是工程上遇到的函数比数学家提供的这个假定的反例表现更加良好。特别地,傅里叶级数绝对收敛且一致收敛于 s(x),只要在 s(x) 的导数(或许不会处处存在)是平方可积的。[3]  如果一个函数在区间 [x0, x0+P]上是平方可积的,那么此傅里叶级数在几乎所有点都收敛于该函数。傅里叶级数的收敛性取决于函数有限数量的极大值和极小值,这就是通常称为傅里叶级数的狄利克雷条件。参见傅里叶级数的收敛性英语Convergence of Fourier series之一。对于广义函数或分布也可以用范数或弱收敛英语Weak convergence (Hilbert space)定义傅里叶系数.

傅立叶级数收敛[编辑]

假设一个函数在上是平方可积,则会有:

证明:

第一步:

考虑一系列正交基底,,其中,且有

然后有

特别的有,的傅立叶级数的部分和

然后根据 以及毕氏定理,可以有:

替换一下后有

如果右边第一项收敛到0,再根据正交的性质,可以看出上述式子中的右手边第二项:

,这就证明了Parseval's定理

接下来第二步:

回到证明右边第一项,因为函数可积,找到一个连续函数,然后根据Best approximation lemma,可以找到一个三角多项式p(x),使得

故当,函数的差为0

范例[编辑]

例1:一个简单的傅里叶级数[编辑]

锯齿波周期函数的图
前五个部分傅里叶级数的动态图

我们现在用上面的公式给出一个简单函数的傅里叶级数展开式。考虑一个锯齿波

在这种情况下,傅里叶级数为

可以证明,当 s 可微时,傅立叶级数在每个点 x 都收敛于 s(x),于是:

 

 

 

 

(Eq.1)

x = π 时,傅里叶级数收敛于 0,为在 x = π 处 s 的左极限和右极限之和的一半。这是傅里叶级数的狄利克雷定理的特例。


这个例子为我们引出了巴塞尔问题的一种解法。

例2:傅里叶诱导[编辑]

金属板内的热分布,使用傅里叶方法求解

例1中我们的函数的傅里叶级数展开式看起来不比 s(x) = x/π 简单,因此人们需要傅里叶级数的原因也就不会立即显现出来。但还有很多应用,我们举用傅里叶诱导解热方程式的例子。考虑边长为 π 米的方形金属版,坐标为 (xy) ∈ [0, π] × [0, π]。如果板内没有热源,并且四个边中三个都保持在 0 摄氏度,而第四条边 y = π,对于 x 属于 (0, π),保持在温度梯度 T(xπ) = x 摄氏度,于是可以证明稳态热分布(或者说在很长一段时间过去后的热分布)为

这里,sinh 为双曲正弦函数。热方程的这个解是通过将 Eq.1 的每一项乘以 sinh(ny)/sinh(nπ) 得到的。我们示例的函数 s(x) 的傅里叶级数似乎很复杂,热分布 T(xy) 是非平凡的。函数 T 不能写成解析解。用傅里叶的方法却可以求解这个热分布问题。

其他例子[编辑]

我们也可以应用傅立叶级数去证明等周不等式,或是构造处处连续处处不可微的函数。

延伸[编辑]

希尔伯特空间的解读[编辑]

正弦和馀弦形成了正交集合。正弦、馀弦及其乘积的积分,当mn不同或二函数不同时是0(绿色和红色区域相等抵消),仅当mn相等并且函数相同时为π。

所谓的两个不同向量正交是指它们的内积为0,这也就意味着这两个向量之间没有任何相关性,例如,在三维欧氏空间中,互相垂直的向量之间是正交的。事实上,正交是垂直在数学上的一种抽象化和一般化。一组n个互相正交的向量必然是线性无关的,所以必然可以张成一个n维空间,也就是说,空间中的任何一个向量可以用它们来线性表出。

希尔伯特空间释义下,函数的集合{en = einx; nZ}是[−π, π]平方可积函数L2([−π, π])的正交基。这个空间实际上是一个希尔伯特空间,有著针对任何两个的元素fg的如下内积:

三角函数族的正交性用公式表示出来就是:

(这里的δmn克罗内克函数),而

傅里叶级数的收敛性[编辑]

至今还没有判断傅里叶级数的收敛性充分必要条件,但是对于实际问题中出现的函数,有很多种判别条件可用于判断收敛性。比如x(t)的可微性或级数的一致收敛性。在闭区间上满足狄利克雷条件的函数表示成的傅里叶级数都收敛。狄利克雷条件如下:

  1. 在定义区间上,x(t)须绝对可积
  2. 在任一有限区间中,x(t)只能取有限个极值点;
  3. 在任何有限区间上,x(t)只能有有限个第一类间断点

满足以上条件的x(t)傅里叶级数都收敛,且:

1.当t是x(t)的连续点时,级数收敛于x(t);
2.当t是x(t)的间断点时,级数收敛于.

1966年,里纳特·卡尔松证明了勒贝格二次可积函数的傅立叶级数一定是几乎处处收敛的,即级数在除了一个勒贝格零测集外均收敛。

吉布斯现象:在x(t)的不可导点上,如果我们只取(1)式右边的无穷级数中的有限项作和X(t),那么X(t)在这些点上会有起伏。一个简单的例子是方波信号


参阅[编辑]

参考文献[编辑]

引用[编辑]

  1. ^ 详见莫里斯·克莱因《古今数学思想》,第20章无穷级数,第5节三角级数;第28章十九世纪的偏微分方程,第5节热方程与傅里叶级数。
    see here, pg.s 209 & 210,
  2. ^ 李狗嗨. 如何给文科生解释傅里叶变换?. 知乎专栏. 2019-07-25 [2020-02-07] (中文). 
  3. ^ Georgi P. Tolstov. Fourier Series. Courier-Dover. 1976. ISBN 0-486-63317-9. 

来源[编辑]

书籍
  • 电机电子类科《工程数学》,ISBN 978-957-584-377-9,作者 陈锡冠、曾致煌,高立出版社。