PowerPoint Presentation

中南大学开放式精品示范课堂高等数学建设组

高等数学 A

4.5.1 三角级数、三角函数系的正交性 4.5.2 周期为 2 的函数的 Fourier 级数 4.5.3 周期为 2l 的函数的 Fourier 级数

4.5 Fourier

4.5 Fourier 级数 级数

第 第 4 4 章 无穷级数 章 无穷级数

4.5 Fourier 级数

4.5.1 三角级数、三角函数系的正交性

4.5.2 周期为 2 的函 数 的 Fourier 级数

函数正交、正交函数系 三角函数系、三角级数 Fourier 级数

Dirichlet 充分条件收敛定理 函数展开成 Fourier 级数的步 骤习例 1

在 [- , ] 上定义的函数的 Fourier 级 数

习例 2

4.5.3 周期为 2l 的函数 的 Fourier 级数

Fourier 级数形式 习例 3-

内容小结与思考题 4

Fourier

级 数

问题的提出

4.6 函数展开成正弦级数与余弦级数

正弦级数与余弦级数

一. ^2 为周期的正弦与余弦级数 例 1

2l 为周期的正弦与余弦级数

与余弦级数 上的函数展成正弦级数

定义在

二. [0, ] 习例 3 与余弦级数

上的函数展成正弦级数 定义在

三. [0,l] 习例 4 函

数 展 开 成 正 弦 级 数 与 余 弦 级 数

例 2

傅里叶级数有什么用？

• 从技术上讲，傅里叶级数以及发展出来的傅里叶变换，傅里叶分 析，可以把一个时间域上的信号转化到频率域上（当然，也可以 转回来），这在工科中的应用非常之多。 一个最简单的例子：

一个连续的信号，想转成离散的信号传输，那么 可以使用傅里 叶变换把它写成傅里叶级数的形式 ( 这是一个无穷的级数和 ) ， 然后 通过滤波舍弃掉过于高频的部分（这部分可以理解为噪

音），剩下来的就是一个有限和，那么这个复杂的连续信号就可 以用有限个傅里叶系数（和相应的基）表示出来，传输时也只用 传输这有限个离散量了。传输到后，只要通过傅里叶逆变换就又 变成原来的信号（去掉高频部分）了。

从哲学上讲，傅里叶变换为我们提供了一种新的观察、分析 事物的角度，而且在很多时候，这一角度比变换前更接近事物 的本质。傅里叶变换可以抽象出一个分析模式：对处于某个域

（如：周期函数域）上的对象的研究，我们可以先建立这个域 上的一组基（如：傅里叶基），这个域上的对象都可以用这组 基（唯一地）表示出来（如：傅里叶变换），而且这组基本身 有一些很好的性质（正交性，可解释性等等），那么对这种对 象的研究，就可以转化为对对象在这组基上的投影的研究。通 常可以得到一些很好的性质，这些性质可以通过某种方法（如

：傅里叶逆变换）应用到原对象上。傅里叶变换是这种思维方 法最简单也是最广泛的应用之一。以后还有很多相似的分析方 法，如一般正交基， BERNSTAIN 基等等。还有抽象数学中很 多原空间中难以解决的问题就到其对偶空间上解决，也是类似 的思想。

傅里叶 (1768 – 1830)

法国数学家 . 他的著作《热的解析

理论》 (1822) 是数学史上一部经典性

书中系统的运用了三角级数和 三角积分 , 他的学生将它们命名为傅 里叶级数和傅里叶积分 .

最卓越的工具 . 以后以傅里叶著作为基础发展起来的 文献 ,

他深信数学是解决实际问题 傅里叶分析对近代数学以及物理和工程技术的发展 都产生了深远的影响 .

问题的提出

非正弦周期函数 : 矩形波

o t

u

 



1

1















 



 t t t

u 1, 0

0 ,

) 1

( 当

当

不同频率正弦波逐个叠加

,  7

7 sin 1 , 4

5 5 sin

1 , 4

3 3 sin

1 , 4

4 sin t   t   t   t



t u 4 sin

 

) 3 3sin

(sin 1

4 t t

u 

 

) 5 5sin 3 1

3sin (sin 1

4 t t t

u  

 

) 7 7sin

5 1 5sin 3 1

3sin (sin 1

4 t t t t

u   

 

) 7

7 sin 5 1

5 sin 3 1

3 sin (sin 1

) 4

(     

  t t t t

t u

) 0 ,

(  t   t 

) 9 9sin

7 1 7sin

5 1 5sin

3 1 3sin

(sin 1

4 t t t t t

u    

 

由以上观察知，对于周期函数，可将它用 一系列基本的周期函数（如正弦函数、余弦函 数）来表示 . 这就产生了所谓的三角级数 .

0

, ,

_{n n}

a a b

圴为常数。

称上述形式的级数为三角级数 . Definition1 (trigonometric series)

0

1

( cos sin ) (1)

2 _n ^{n n}

a ^ a nx b nx









三角级数 三角函数系的正交性与

一.

1. 函数正交

. )

( )

( ,

0 )

( )

(

, ]

, [ ) ( ),

(

2 1

2 1

2 1

正交 与

则称 若

上的不同函数 为

设

x x

dx x

x

b a x

x

b

a   









2. 正交函数系

. )}

( {

, ]

, [

), ,

2 , 1 )}(

( {

), (

, ),

( ),

( ]

,

[ _{1 2}

为正交函数系 则称

上正交 在

若任意两个函数 构成函数系

上的一族函数 定义于

x b

a

m x

x x

x b

a

m m

m



















. ]

, [

} ,

sin ,

cos ,

2 sin ,

2 cos ,

sin ,

cos ,

1 {

. 3

上是正交的 在

三角函数系









 nx nx x

x x

x

推导：^{ cos  sin  0,(  1,2,)}

 



^nxdx _n^{nx  n}







) ,

2 , 1 (

, cos 0

sin     

 



^nxdx _n^{nx  n}







) ,

2 , 1 ,

( , 0 cos

sin   



_^_ ^{mx nxdx m n}

) ,

2 , 1 ,

; (

, 0 cos

cos    



_^_ ^{mx nxdx m n m n}

) ,

2 , 1 ,

; (

, 0 sin

sin    



_^_ ^{mx nxdx m n m n}

) ,

2 , 1 (

, 2

1²   



_^_ ^{dx  n}

) ,

2 , 1 (

,

cos²   



_^_ ^{nxdx  n}

) ,

2 , 1 (

,

sin²   



_^_ ^{nxdx  n}

三角函数系是正交的.



4. 三角级数

.

) sin

cos 2 ₁(

0

级数 的函数项级数称为三角

如

由三角函数系构成的形



^







n an nx bn nx

a

1 　周期函数在什么条件下可展开成三角级数？

2 　若可展开其系数　　　　　分别是多少？　　　　

　　　

本节的主要任务

n n

b a

a

₀

, ,

函数展开成 Fourier 级数

1

x(-,+) T=2

2

非周期函数

x(-, )

3

T=2l

x(-,+)

1. Fourier 级数

 



 ^

1

0 ( cos sin )

) 2 (

k ak kx bk kx

x a 若有 f

. )

1

( 求a₀

dx kx

b kx

a a dx

dx x

f

k ( k cos k sin )]

2 [ )

(

1

0    

 

 _^_ ^















kxdx b

dx kx a

a dx

k

k k

k cos sin

2 _{1 1}

0

   







 



   

 ^











, 2 2

0  

 a

二、周期为 2 的函数的 Fourier 级数

 

 _^_ f x dx

a 1 ( )

0

. )

2

( 求a_n

 

_^_ a _^_ nxdx nxdx

x

f cos

cos 2 )

( ⁰

] cos

sin cos

cos [

1

 



^ _{ }





 a ^_ kx nxdx b_k ^_ kx nxdx

k k

 a_n _^_cos² nxdx  a_n,



^

  f x nxdx a_n 1 ( )cos

) ,

3 , 2 , 1

(n  

. )

3

( 求b_n

 

 _^_ f x nxdx

b_n 1 ( )sin (n  1,2,3,)





^





  a nxdx

nxdx x

f sin

sin 2 )

( ⁰

] sin

sin sin

cos [

1

 



^ _{ }





 a ^_ kx nxdx b_k ^_ kx nxdx

k k  b_n,





































) ,

2 , 1 (

, sin

) 1 (

) ,

2 , 1 , 0 (

, cos

) 1 (



 n

nxdx x

f b

n nxdx

x f a

n n

称为 Fourier 系数 .

将 Fourier 系数代入三角级数所得的函数项级数

称为 Fourier 级数 .

问题 :

 

^



1

0

( cos sin )

? 2 )

(

n

a

n

nx b

n

nx

x a

f 条件

设f(x)_是以²



_{为周期的周期函数}.如果它满足条件: 在一个周期内连续或只有有限个第一类间断点,并且 至多只有有限个极值点,则f(x)_{的傅里叶级数收敛,}

并且

(1)当x_是f(x)_{的连续点时,级数收敛于}f(x)_;

(2) 当x_是 f (x)_{的间断点时,}

收敛于

2

) 0 (

) 0

(x   f x 

f ;

(3) 当 x_为端点x  时, 收敛于

2

) 0 (

) 0

(   f  

f .

2. Dirichlet 充分条件收敛定理

处收敛于

 ) (x

f ^1, 



 x  0





 x , 0

1 x²

则它的傅里叶级数在 x 



在 x  4



处收敛于 提示 : .

 ^ 



2

) (

)

(



f



f

2

) (



^ 

f f (



^ )

2



2

 2

 2

 ^ 



2

) 4

( )

4

(



f



f

2

) 0 ( )

0

( ^  f ^ f

2 1 1

  0

设周期函数在一个周期内的表达式为

,



x



y

o _1



1

思考题：

2. 写出函数

^{f (x)  1}₁^,_, ^

^

₀ ^_ ^x_x ^_

_

^{0 在[}

^

^,

^

^{] 上}

傅氏级数的和函数 .

 ) (x S

0 ,

1   





x





 x 0

, 1

 0 , x

0





 , x

0 答案 :

 x



y

o _1

1 f (x)

注意 : 函数展开成傅里叶级数的条件比展开成 幂级数的条件低得多 .

(2) 验证 f(x) 满足收敛定理的条件

(3) 指出 Fourier 级数的收敛情况

n n b a

a , , Fourier

) 4

( 求出 系数 ₀

(5) 写出 Fourier 级数

(1) 作周期函数 f(x) 的图形

周期为 2 的函数展开成 Fourier 级数的步骤：

例 1 , 0

0

0 )

( ),

2 (

)

( 









 



 

 

x x x x

f x

f x

f 且

设

把 f(x) 展为 Fourier 级 数 .

解

x y

 o

 



   

由图可知，所给函数满足收敛定理条件 . ,

) 1 2

(

处不连续

它在点 x  k  

处收敛于 级数在

的

故f (x) Fourier x  (2k  1)

2; 2

0 2

) 0 (

) 0

(      _{ }

 





 f

f

且 处收敛于

在连续点 x  (2k  1) f (x).



_

 ^_

 ^{f x dx}

a 1 ( )

0 ,

2

1 ⁰ 

 ^{  }





_ ^xdx



_

 ^_

 ^{f x nxdx} a_n 1 ( )cos



_

 1 ⁰ cos

  ^{x nxdx}





2

cos 1

n

 n

 ²

) 1 ( 1

n

 n

 







 为奇数

为偶数 n n

n 2

0

2



_

 ^_

 ^{f x nxdx} b_n 1 ( )sin



_

 1 ⁰ sin

  ^{x nxdx}

n n

n ( 1)^{n 1}

cos   ^



 



^



 

 

 







1

1

2 ( 1) sin ]

) cos 1

( [1

) 4 (

n

n n

n nx n nx

x

f 



) ,

5 , 3 ,

(x        或记为：

















 

 

 





^





 







) 1 2

(

2 ,

) 1 2

(

, ) ( ]

) sin 1 cos (

) 1 ( [1

4 ₁

1

2 x k

k x

x f n nx

n nx

n

n n

: .

Fourier

, ]

, [

) (

具体作法是 级数

则可展成

上满足收敛定理的条件 在

若f x  

) ( ]

, [

: (1)

x 期函数F

外补充定义使其成为周 在

周期延拓







(2) 将 F(x) 展开成 Fourier 级数 ] , [

(3)限制x的取值范围为   (4) 收敛情况为：

);

( Fourier

, ]

,

[ 上的连续点x处 级数收敛于f x 在  

3. 在 [-, ] 上定义的函数的 Fourier 级 数

2 ;

) 0 (

) 0 (

Fourier ,

] , [









x f x

f

x处 级数收敛于 上的间断点

在  

2 .

) 0 (

) 0 Fourier (

,    



  ^f  ^f 

x 处 级数收敛于 在

设 f(x) 只在 [, ] 上有定义，我们可以在 [, ) 或 (,

] 外

补充函数 f(x) 的定义，使它拓广成周期为 2 的周期函数 F(x) ， 在(, ) 内， F(x)  f(x).

周期延拓：

x y

O  



  

f(x)

x y

O  



  

F(x) 延拓前

延拓后

例 2 Fourier . 0

1

0

) 0

( 展成 级数

将 











 



 x x

x x f

解 将 f(x) 作周期延拓 , 如图 :

x y

 o

 



     

显然满足收敛定理条件 .

处收敛于 级数在

的

且f (x) Fourier x  0

2; 1 2

0 1

2

) 0 0

( )

0 0

(   f    

f

处收敛于 在x  

2 ; 1 2

) 1 (

0 2

) 0 (

) 0

(   f          f

).

( 0

,

0 x f x

x 时收敛于

在       dx

x f

a^{0 } _¹



_^_ ^{( ) } _¹



₀^{ (x  1)dx  1  }₂

dx nx x

a_n ^ _¹



₀^{ (  1)cos  cos}_ⁿ_n^₂ ^{1  (1}_⁾_nⁿ₂^{ 1}

dx nx x

b_n ^ _¹



₀^{ (  1)sin  (1}_n^{)n1  1  (}_^_n^1)n1

所以， f(x) 的 Fourier 级数及和函数如下：



^









 



 



 



    

 

 



1

1 1

2 ( 1) 1 ( 1) sin

1cos )

1 ( 4

2 1

n

n n

n

n nx nx n

n  



















 

















 





x x

x x

x

2 ,

1

0

2, 1

0 ,

1

0

, 0

定理

式为 级数展开

则它的 定理的条件

满足收敛 的周期函数

设周期为

Fourier ,

) (

2l f x

), sin

cos 2 (

) (

1 0

l x b n

l x a n

x a

f _n

n

n

 

 





^



为 其中系数 a_n, b_n

) ,

2 , 1 , 0 (

, cos

) 1 (

 





  dx n

l x x n

l f

a ^l

n l

) ,

2 , 1 (

, sin

) 1 (

 





  dx n

l x x n

l f

b ^l

n l

三、周期为 2l 的周期函数的 Fourier 级数

证 因为 f(x) 是周期为 2l 的周期函数，在一个周期内 ,

l x

l  

 1   1,

l x

 

  



 l

x

l , z   x

令

^{   z  ,} ), ( )

( )

( lz F z

f x

f 

 

设 F⁽z⁾以²为周期^.

), sin

cos 2 (

) (

1

0

a nz b nz

z a

F

_n

n

n





 

^



) sin

cos 2 (

) (

1

0 x

l b n

l x a n

x a

f _n

n

n

 

 





^



. sin

) 1 (

, cos

) 1 (

















 

 

nzdz z

F b

nzdz z

F a

n

其中 n

. sin

) 1 (

, cos

) 1 (









 

 

l n l

l n l

l xdx x n

l f b

l xdx x n

l f 其中 a

) ( )

(z f x l F

z  x 



: .

Fourier

, ]

, [

) (

具体作法是 级数

则可展成

上满足收敛定理的条件 在

若f x l l

) ( ]

, [

: (1)

x F l

l 外补充定义得到周期函 数 在

周期延拓



(2) 将 F(x) 展开成 Fourier 级数 ] , [

(3)限制x的取值范围为 l l (4) 收敛情况为：

);

( Fourier

, ]

,

[ l l 上的连续点x处 级数收敛于f x 在 

2 ;

) 0 (

) 0 (

Fourier ,

] , [









x f x

f

x l

l 上的间断点 处 级数收敛于 在

2 .

) 0 (

) 0 Fourier (

,    



 f l f l

l

x 处 级数收敛于 在

注意：

. 2

Fourier 2

的函数类似 收敛性的讨论与周期为

级数的步骤及 的函数展成

将周期为

 l

例 3

. Fourier

2 )

1 1

( )

(

级数

为周期的 展成以

将f x  x   x 

周期为 2l 的周期函数的 Fourier 级数习例

例 4 Fourier .

3 0

1

0 3

1 ) 2

( 展成 级数

将 











 

x x x x

f

解 函数如图，

x y

1 o



 1

   

显然满足收敛定理条件 . 例 3

. Fourier

2 )

1 1

( )

(

级数

为周期的 展成以

将f x  x   x 

).

( Fourier

)

(x f x

f 的 级数收敛于 可见

这里 l=1.

dx x

f

a^{0 }



_¹₁ ^{( ) }



_¹₁ ^{xdx  2}



₀^{1xdx  1}

0

1 sin

1 





_ ^{x n xdx}

b_n 

) (

]cos

1 )

1 [(

2 2

1

1  2 2    









^



x x

n n x

n

n 

 dx x n x

a_n ^



_¹₁ ^{cos   2}



₀^{1x cos nxdx  2[(}_¹₂⁾_nⁿ₂^1]

例 4 Fourier . 3

0 1

0 3

1 ) 2

( 展成 级数

将 











 

x x x x

f

解 将 f(x) 作周期延拓 , 周期为 6. 如图

x y

3 o



 3

    

显然满足收敛定理条件 .

3 Fourier

)

( 的 级数在 处收敛于

可见f x x  

; 2 2

1 )

1 6

( 2

) 0 3

( )

0 3

(   f       

f

).

( 3

3 x 时收敛于f x

在   

dx x

f

a^{0  1}₃



_³₃ ^{( )  1}₃



_⁰₃^{(2x  1)dx  1}₃



₀^{3dx  1}

xdx x n

f

a_n ^ ₃¹



_³₃ ^{( )cos }₃

xdx dx n

x

x n





^{ }

 _ ³

0 0

3 cos 3

3 1 cos 3

) 1 2

3 (

1  

2 2 2

2

] ) 1 ( 1 [ 6 )

cos 1

( 6

n n

n ⁿ





   

 

xdx dx n

x x n

b_n ^{ 1}₃



_⁰₃^{(2  1)sin }₃ ^{ 1}₃



₀^{3sin }₃

n n

n ⁿ





 ( 1) 6 cos

6   ^1







^







 



    







1

1 2

2 ( 1) 6 sin 3

cos 3 6

] ) 1 ( 1 [ 2

1

n

n

n n x

n x

n n



































3

, 2

3 0

,

1

0 3

, 1 2

x

x x x

内容小结

周期为 2 的函数的傅里叶级数及收敛定理 )

sin cos

2 ( )

(

1

0 a n x b n x

x a

f _{n n}

n









^



) (x  间断点

其中



_

 ^



 ^{f x n x x}

a_n 1 ( ) cos d



_

 ^



 ^{f x n x x}

b_n 1 ( )sin d

) ,

2 , 1 , 0

(n  

) ,

2 , 1

(n  

注意 : 若

x

0_{为间断点 ,则级数收敛于}

2

) (

)

(x₀^  f x₀^ f

2

0, ,_{n n} a a b

( ) f x ( )

f x

[ , )

x _{[ , )} 2l

2

4.6 函数展开成正弦级数与余弦级数

正弦级数与余弦级数

一. ^2 为周期的正弦与余弦级数 例 1

2l 为周期的正弦与余弦级数

与余弦级数 上的函数展成正弦级数

定义在

二. [0, ] 习例 3 与余弦级数

上的函数展成正弦级数 定义在

三. [0,l] 习例 4 函

数 展 开 成 正 弦 级 数 与 余 弦 级 数

例 2