傅丽叶级数与傅丽叶级数展开

参考资料:欧阳光中, 等. 数学分析:下册[M]. 第四版. 北京: 高等教育出版社, 2018:60-79.

yk=Aksin(kωx+φk) 代表一个周期为 Tk=2πkω 的简谐振动

y 是一个周期为 T=2πω=kTk 的函数,并且可以由 yk 累加在一个常数上得到,即 y=A0+k=1yk=A0+k=1Aksin(kωx+φk)

进一步推导可知

y=A0+k=1Aksin(kωx+φk)=A0+k=1Ak(sinkωxcosφk+coskωxsinφk)

{a0=2A0,ak=Aksinφk,bk=Akcosφk ,则上式可写成 y=a02+k=1(akcoskωx+bksinkωx)

形如 y=a02+k=1(akcoskωx+bksinkωx) 的级数便是傅丽叶级数。将函数展开为傅丽叶级数的形式即为函数的傅丽叶级数展开

三角函数的正交性

一个三角函数系 1,cosωx,sinωx,cos2ωx,sin2ωx, 中任何两个不同的函数的乘积在一个周期内 [πω,πω] 的积分等于零,就说明三角函数系在区间 [πω,πω] 上正交。

因为当 nk 时,有

πωπωsinnωxdx=0πωπωcosnωxdx=0πωπωsinnωxsinkωxdx=πωπω12{cos[(n+k)ωx]cos[(nk)ωx]}dx=0πωπωsinnωxcoskωxdx=πωπω12{sin[(n+k)ωx]+sin[(nk)ωx]}dx=0πωπωcosnωxcoskωxdx=πωπω12{cos[(n+k)ωx]+cos[(nk)ωx]}dx=0

所以三角函数系正交。

此外,为了方便下文计算,我们在此处顺便计算两个积分:

πωπωsin2nωxdx=12πωπωcos(2nωx)1dx=πωπωπωcos2nωxdx=12πωπωcos(2nωx)+1dx=πω

傅丽叶级数展开

并不是所有的以 T=2πω 为周期的函数 f(x) 都能进行傅丽叶级数展开。但是假设 f(x) 可以进行傅丽叶级数展开,也就是 f(x) 可以表示为 a02+k=1(akcoskωx+bksinkωx) 且级数一致收敛

f(x)=a02+k=1(akcoskωx+bksinkωx) 等号两边在 [πω,πω] 上积分:

πωπωf(x)dx=πωπωa02+k=1(akcoskωx+bksinkωx)dx=a0πω

a0=ωππωπωf(x)dx

f(x)=a02+k=1(akcoskωx+bksinkωx) 等号两边先同乘 cosnωx 再在 [πω,πω] 上积分:

πωπωf(x)cosnωxdx=πωπωa02cosnωx+k=1(akcoskωxcosnωx+bksinkωxcosnωx)dx=πωπωancos2nωxdx=anπω

所以 an=ωππωπωf(x)cosnωxdx

f(x)=a02+k=1(akcoskωx+bksinkωx) 等号两边先同乘 sinnωx 再在 [πω,πω] 上积分:

πωπωf(x)sinnωxdx=πωπωa02sinnωx+k=1(akcoskωxsinnωx+bksinkωxsinnωx)dx=πωπωbnsin2nωxdx=bnπω

所以 bn=ωππωπωf(x)sinnωxdx

综上所述,如果以 T=2πω 为周期的函数 f(x) 可以进行傅丽叶级数展开,则

{f(x)a02+k=1(akcoskωx+bksinkωx)an=ωππωπωf(x)cosnωxdxbn=ωππωπωf(x)sinnωxdx

这里记号 表示右边是左边函数的傅丽叶级数。若式右边的级数在整个数轴上一致收敛于其和函数 f ,则 可替换为等号。

收敛定理

若以 T=2πω 为周期的函数 f[πω,πω] 上分段光滑,则 x[πω,πω], f 的傅丽叶级数收敛于 fx 左、右极限的算数平均值。即:

f(x+0)+f(x0)2=a02+k=1(akcoskωx+bksinkωx)

偶函数与奇函数的傅丽叶级数

f(x) 是以 T=2πω 为周期的偶函数,则 f(x)cosnωx 是偶函数, f(x)sinnωx 是奇函数

则有:

{an=ωππωπωf(x)cosnωxdx=2ωππω0f(x)cosnωxdxbn=ωππωπωf(x)sinnωxdx=0f(x)a02+k=1akcoskωx

f(x) 是以 T=2πω 为周期的奇函数,则 f(x)cosnωx 是奇函数, f(x)sinnωx 是偶函数

则有:

{an=ωππωπωf(x)cosnωxdx=0bn=ωππωπωf(x)sinnωxdx=2ωππω0f(x)sinnωxdxf(x)k=1bksinkωx

狄利克雷条件

之前说了这么多东西,都是假设 f(x) 可以进行傅丽叶级数展开或者 f(x) 展开后收敛。那么怎么判断一个函数能否展开且展开后收敛呢?

满足狄利克雷条件是函数可以进行傅丽叶级数展开且展开后收敛的充分不必要条件

狄利克雷条件包含以下三点:

  1. 在一个周期内,函数连续或只有有限个第一类间断点
  2. 在一个周期内,极大值和极小值的数目是有限个
  3. 在一个周期内,函数绝对可积

为了证明这个条件,我们需要先证明几个引理


引理:贝塞尔(Bessel)不等式

若函数 f[πω,πω] 上可积,则

a202+n=1(a2n+b2n)ωππωπωf2(x)dx

其中 an, bnf 的傅里叶系数。

证明:

Sm(x)=a02+mn=1(ancosnωx+bnsinnωx)

考察积分

πωπω[f(x)Sm(x)]2dx=πωπωf2(x)dx2πωπωf(x)Sm(x)dx+πωπωS2m(x)dx

由于

πωπωf(x)Sm(x)dx=a02πωπωf(x)dx+mn=1(anπωπωf(x)cosnωxdx+bnπωπωf(x)sinnωxdx)

根据付 {an=ωππωπωf(x)cosnωxdxbn=ωππωπωf(x)sinnωxdx 可得

πωπωf(x)Sm(x)dx=π2ωa20+πωmn=1(a2n+b2n)

对于 S2m 的积分,应用三角函数的正交性,有

πωπωS2m(x)dx=πωπω[a02+mn=1(ancosnωx+bnsinnωx)]2dx=(a02)2πωπωdx+mn=1[a2nπωπωcos2nωxdx+b2nπωπωsin2nωxdx]πωπωcos2nωxdx=πωπωsin2nωxdx=πω原式=πa202ω+πωmn=1(a2n+b2n)

代入

0πωπω[f(x)Sm(x)]2dx=πωπωf2(x)dx2πωπωf(x)Sm(x)dx+πωπωS2m(x)dx=πωπωf2(x)dx2[π2ωa20+πωmn=1(a2n+b2n)]+πa202ω+πωmn=1(a2n+b2n)=πωπωf2(x)dxπ2ωa20πωmn=1(a2n+b2n)a202+n=1(a2n+b2n)ωππωπωf2(x)dx

贝塞尔不等式证毕。


推论1

f 为可积函数,则 {lim

因为 \frac{a_0^2}2+\sum_{n=1}^\infty\left(a_n^2+b_n^2\right) 收敛,所以当 n\rightarrow\infty 时,通项 a_n^2+b_n^2\rightarrow 0,也就有 a_n\rightarrow0b_n\rightarrow0 。这个推论也称为黎曼-勒贝格定理


推论2