首页 理论教育 傅里叶级数的性质:唯一性定理

傅里叶级数的性质:唯一性定理

时间:2023-10-19 理论教育 版权反馈
【摘要】:,k),则2)傅里叶级数的唯一性定理.命题5.7设f是以2π为周期的连续函数,且其傅里叶系数均等于0,即a0=0,an=bn=0,n=1,2,…

傅里叶级数的性质:唯一性定理

1)傅里叶系数的渐近性质.

黎曼引理知,978-7-111-46233-0-Chapter05-744.jpg

随着f的可导性的提高,anbn趋向于零的速度也会加快.

命题5.6 设f在[-π,π]上有直到k+1阶的导数fk+1)在[-π,π]上可积,且fl)(π)=fl)(-π)(l=0,1,…,k),则

2)傅里叶级数的唯一性定理.

命题5.7 设f是以2π为周期的连续函数,且其傅里叶系数均等于0,即a0=0,an=bn=0,n=1,2,…,则f必是恒为零的常值函数.

这个命题告诉我们,如果两个连续函数在某一给定区间上的傅里叶级数相同,则这两个连续函数相等.

3)傅里叶级数的逐项积分定理:设fx)在[-π,π]上可积,且

则级数978-7-111-46233-0-Chapter05-747.jpg一定收敛,且∀x0x∈[-π,π],有

进而,取x0=0可得

上式右端是上式左端函数的傅里叶级数.

5.8 只要f可展开成傅里叶级数,不论这个级数是否收敛,是否收敛于fx),它逐项积分后所得到的级数一定收敛于978-7-111-46233-0-Chapter05-750.jpg

另外,这个定理还告诉我们,一个三角级数978-7-111-46233-0-Chapter05-751.jpg有资格成为某个可积函数的傅里叶级数的必要条件是978-7-111-46233-0-Chapter05-752.jpg收敛.

例如,级数978-7-111-46233-0-Chapter05-753.jpg虽然在(-∞,+∞)上收敛,但它却不能是任何可积函数的傅里叶级数.

4)傅里叶级数逐项求导定理:设f在[-π,π]上连续、按段光滑,且

f′在[-π,π]上按段光滑,则下面的逐项求导公式成立:

f′x)在[-π,π]上连续,则有

进而,若还有f′-π)=f′(π),则上式对x=±π也成立.

傅里叶级数的部分和Smx)的性质以及由它导出的贝塞尔(Bessel)不等式和巴塞伐尔(Parseval)等式在此不再赘述.

5.59 求fx=x3在区间[0,2π]上的傅里叶级数展开式,并由此证明978-7-111-46233-0-Chapter05-757.jpg

解 因为fx)在[0,2π]上可积,所以可展开成傅里叶级数.而

显然,当x∈(0,2π)时,fx=x3连续,故

x=0时,级数收敛于f978-7-111-46233-0-Chapter05-761.jpg.于是由式(1)可得978-7-111-46233-0-Chapter05-762.jpg, 即978-7-111-46233-0-Chapter05-763.jpg

再在式(1)中,令x=π,可得

5.60 求和978-7-111-46233-0-Chapter05-765.jpg

解 考虑函数fx)=e2xx∈[0,2π).将fx)展开成傅里叶级数,则

n≥1时,

所以978-7-111-46233-0-Chapter05-768.jpg的傅里叶级数为

由收敛定理,上面的级数在x=0处收敛于

5.61 设

(1)求f的傅里叶级数展开式;

(2)讨论f的傅里叶级数在(-π,π]上是否收敛于f,是否一致收敛于f

解 (1)由于f在(-π,π)上为奇函数,故

所以f的傅里叶级数展开式为

(2)因为f在(-π,π)上除x=0外都连续,故当x∈(-π,π),且x≠0时,有

又当x=0时,级数收敛于

x=π时,级数收敛于

由此可见,f的傅里叶级数在(-π,π]上收敛于f.

由于f在(-π,π]上不连续,由连续性定理,若级数在(-π,π]上一致收敛于f,这就与f的不连续性相矛盾,故f的傅里叶级数在(-π,π]上不一致收敛于f.

5.62 设fx)是以2π为周期的连续函数,anbn是傅里叶系数,求函数

的傅里叶系数AnBn,并利用Fx)的展开式证明巴塞伐尔等式:

解 ∀xR,有

Fx)是以2π为周期的函数,而Fx)的连续性显然.

Fx)是偶函数.于是,函数Fx)的傅里叶系数

对内层积分作变量替换t+x=y,注意到f的周期性,有

于是

在上式中,令x=0,可得巴塞伐尔等式:

5.9 本例中给出的Fx)称为函数fx)的卷积,它具有许多好的性质.有兴趣的同学可参看任何一本傅里叶分析的教材或专著.另外,巴塞伐尔等式是熟知的结果,利用它很容易证明傅里叶级数的唯一性定理.

5.63 证明:978-7-111-46233-0-Chapter05-788.jpgx∈[0,π].

证明 这类题目不能把它视为级数求和,而应把它看成右端函数的傅里叶展开.

978-7-111-46233-0-Chapter05-789.jpg,从欲证的等式可以看出,需将fx)在[0,π]上展开成余弦级数.为此,只需将gx)=3x2-6πx在[0,π]上展开成余弦级数即可.而

由傅里叶级数收敛定理,有

5.64 (1)设fx)以2π为周期,在(0,2π)内有界,证明:若fx)↓,则bn≥0;若fx)↑,则bn≤0 (n=1,2,…);

(2)设f′x)在(0,2π)内有界,证明:若f′x)↑,则an≥0;若f′x)↓,则an≤0 (n=1,2,…);(www.xing528.com)

(3)设fx)在[0,2π]上连续,证明:若978-7-111-46233-0-Chapter05-793.jpg,则an≥0;若Fx)↑,则an≤0 (n=1,2,…).

证明 (1)将[0,2π]n等分,则

注意到当fx)↓时,978-7-111-46233-0-Chapter05-795.jpg,在区间978-7-111-46233-0-Chapter05-796.jpg上,sinnx≥0,所以bn≥0.

类似地可证,当fx)↑时,bn≤0.

(2)由傅里叶系数的计算公式易得,978-7-111-46233-0-Chapter05-797.jpg,这里b′nf′x)的傅里叶系数.f′应用(1)的结论知,若f′x)↑,则bn≤0,故an≥0;若f′x)↓,则bn≥0,故an≤0.

(3)由fx)在[0,2π]上连续知,Fx)在[0,2π]上可导,用AnBn表示Fx)的傅里叶系数,则有

类似地可得978-7-111-46233-0-Chapter05-799.jpgn=1,2,….

Fx)应用(1)的讨论知,若Fx)↓,则an≥0;若Fx)↑,则an≤0.

5.10 从本例的证明过程可以看出,关键是证明(1).而(1)的证明,也可用第二积分中值定理:

由此易得结论.

5.65 设fg在[0,2π]上可积,anbnαnβn分别表示fg的傅里叶系数,则

证明 写出f+gf-g的巴塞伐尔等式:

将上两式相减可得结论.

作为例5.65的一个应用,我们用它来证明傅里叶级数的逐项积分定理.

5.66 设fx)在[-π,π]上可积,且

则∀[ab]⊂[-π,π],有

证明 由例5.65知,

上式对[-π,π]上的任一可积函数gx)都成立.特别地,取

则上式就变成

5.67 设fx)在[-π,π]上连续,

Tnx)(即确定系数αkβk),使均方差

最小.

解 设anbnfx)在[-π,π]上的傅里叶系数,而

上式第一、三项为常数.由此可见,当且仅当

αk=akβk=bk (k=1,2,…,n),α0=a0δ最小,最小值978-7-111-46233-0-Chapter05-811.jpg

这个结论告诉我们,在均方收敛的意义下,连续函数fx)的傅里叶三角多项式是所有三角多项式的最佳逼近,并且是一致的.

5.68 设fx)在[0,π]上有连续导数,f′x)在[0,π]上分段光滑,且978-7-111-46233-0-Chapter05-812.jpg,试证:

证明 将fx)偶延拓到[-π,0]上,由已知条件,延拓后的函数能在[-π,π]上展开成傅里叶级数,且a0=0,bn=0,

逐项微分可得

二者均为傅里叶展开式.利用巴塞伐尔等式:

类题 设fx)在[0,π]上二阶连续可导,f(0)=f(π)=0.

试证明:级数978-7-111-46233-0-Chapter05-819.jpg收敛(华南理工).

提示 将fx)奇延拓到[-π,0]上,则f′x)是[-π,π]上的偶函数,而且能展开成傅里叶级数.

f′x)在[-π,π]上的傅里叶系数分别为AnBnA0=0,Bn=0,n=1,2,….

可得

An=nann=1,2,….

由巴塞伐尔等式,有

即级数978-7-111-46233-0-Chapter05-823.jpg收敛.

5.69 设fx)在[ab]上可积且平方可积,{φnx)}是[ab]上的标准正交系,即

证明:级数978-7-111-46233-0-Chapter05-826.jpg收敛,且978-7-111-46233-0-Chapter05-827.jpg

证明 令978-7-111-46233-0-Chapter05-828.jpg,则

这表明级数978-7-111-46233-0-Chapter05-831.jpg的部分和有上界,所以978-7-111-46233-0-Chapter05-832.jpg收敛,且

5.70 设fx)在[0,π]上连续,且对任意的n≥1,均有

证明:fx)为常值函数(南大).

证明 先将fx)偶延拓到[-π,π]上,然后再作周期为2π的周期延拓到(-∞,+∞)上,则fx)的傅里叶系数bn=0,n=1,2,….

由已知条件,an=0,n=1,2,….所以,fx)的傅里叶展开为

由傅里叶级数的收敛定理,978-7-111-46233-0-Chapter05-836.jpg再由fx)在[0,π]上连续性,有978-7-111-46233-0-Chapter05-837.jpgx∈[0,π].

类题 设fx)在[-π,π]上连续,f-π)=f(π),且

证明:fx)≡0,∀x∈[-π,π].

提示 用巴塞伐尔等式.

由已知条件,an=0(n=0,1,…),bn=0(n=1,2,…..由于fx)在[-π,π]上连续,所以巴塞伐尔等式成立:

由连续函数的性质知,f2x)≡0,即fx)≡0,∀x∈[-π,π].

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈