主題
Search

廣義傅立葉級數


廣義傅立葉級數是基於函式的完備正交系的特殊性質的函式級數展開。這種級數的典型例子是傅立葉級數,它基於函式 cos(nx)sin(nx) 的雙正交性(這些函式在範圍 [-pi,pi] 上的積分下構成完備雙正交系)。另一個常見的例子是拉普拉斯級數,它是基於球諧函式 Y_l^m(theta,phi)theta in [0,pi]phi in [0,2pi] 範圍內的正交性的雙重級數展開。

給定在區間 R 上的單變數函式 {phi_n(x)}完備正交系,函式 phi_n(x) 滿足以下形式的正交關係

 int_Rphi_m(x)phi_n(x)w(x)dx=c_mdelta_(mn)
(1)

在範圍 R 上,其中 w(x)權重函式c_m 是給定的常數,delta_(mn)克羅內克 delta。現在考慮一個任意函式 f(x)。將其寫成級數

 f(x)=sum_(n=0)^inftya_nphi_n(x)
(2)

並將其代入正交關係以獲得

 int_Rf(x)phi_n(x)w(x)dx 
=int_Rsum_(n=0)^inftya_nphi_m(x)phi_n(x)w(x)dx 
=sum_(n=0)^inftya_nintphi_m(x)phi_n(x)w(x)dx 
=sum_(n=0)^inftya_nc_mdelta_(mn) 
=a_nc_n.
(3)

請注意,在推導上述方程時,積分和求和的順序已顛倒。由於這些關係,如果存在假定形式的 f(x) 的級數,則其係數將滿足

 a_n=1/(c_n)int_Rf(x)phi_n(x)w(x)dx.
(4)

給定單變數函式的完備雙正交系,廣義傅立葉級數呈現稍微更特殊的形式。特別地,對於這樣的系統,函式 f_1(n,x)f_2(n,x) 滿足以下形式的正交關係

int_Rf_1(m,x)f_1(n,x)w(x)dx=c_mdelta_(mn)
(5)
int_Rf_2(m,x)f_2(n,x)w(x)dx=d_mdelta_(mn)
(6)
int_Rf_1(m,x)f_2(n,x)w(x)dx=0
(7)
int_Rf_1(m,x)w(x)dx=0
(8)
int_Rf_2(m,x)w(x)dx=0
(9)

對於 m,n!=0,在範圍 R 上,其中 c_md_m 是給定的常數,delta_(mn)克羅內克 delta。現在考慮一個任意函式 f(x) 並將其寫成級數

 f(x)=sum_(n=0)^inftya_nf_1(n,x)+sum_(n=0)^inftyb_nf_2(n,x) 
=f_1(0)a_0+sum_(n=1)^inftya_nf_1(n,x)+f_2(0)b_0+sum_(n=1)^inftyb_nf_2(n,x) 
=[f_1(0)a_0+f_2(0)b_0]+sum_(n=1)^inftya_nf_1(n,x)+sum_(n=1)^inftyb_nf_2(n,x) 
=e+sum_(n=1)^inftya_nf_1(n,x)+sum_(n=1)^inftyb_nf_2(n,x)
(10)

並將其代入正交關係以獲得

 int_Rf(x)f_1(n,x)w(x)dx=eint_Rf_1(n,x)dx+int_Rsum_(m=1)^inftya_mf_1(m,x)f_1(n,x)w(x)dx+int_Rsum_(m=1)^inftyb_mf_1(m,x)f_2(n,x)w(x)dx 
=e·0+sum_(m=1)^inftya_mint_Rf_1(m,x)f_1(n,x)w(x)dx+sum_(m=1)^inftyb_mint_Rf_1(m,x)f_2(n,x)w(x)dx 
=sum_(m=1)^inftya_mc_mdelta_(mn)+sum_(m=1)^inftyb_m·0 
=a_nc_n 
int_Rf(x)f_2(n,x)w(x)dx=eint_Rf_2(n,x)dx+int_Rsum_(m=1)^inftya_mf_1(m,x)f_2(n,x)w(x)dx+int_Rsum_(m=1)^inftyb_mf_2(m,x)f_2(n,x)w(x)dx 
=e·0+sum_(m=1)^inftya_mint_Rf_1(m,x)f_2(n,x)w(x)dx+sum_(m=1)^inftyb_mint_Rf_2(m,x)f_2(n,x)w(x)dx 
=sum_(m=1)^inftya_m·0+sum_(m=1)^inftyb_md_mdelta_(mn) 
=b_nd_n 
int_Rf(x)w(x)dx=eint_Rdx+int_Rsum_(m=1)^inftya_mf_1(m,x)w(x)dx+int_Rsum_(m=1)^inftyb_mf_2(m,x)w(x)dx 
=eint_Rdx+sum_(m=1)^inftya_mint_Rf_1(m,x)w(x)dx+sum_(m=1)^inftyb_nint_Rf_2(m,x)w(x)dx 
=eint_Rdx+sum_(m=1)^inftya_m·0+sum_(m=1)^inftyb_m·0 
=eint_Rdx.
(11)

由於這些關係,如果存在假定形式的 f(x) 的級數,則其係數將滿足

a_n=1/(c_n)int_Rf(x)f_1(n,x)w(x)dx
(12)
b_n=1/(d_n)int_Rf(x)f_2(n,x)w(x)dx
(13)
e=(int_Rf(x)w(x)dx)/(int_Rw(x)dx).
(14)

透過取 f_1(n,x)=cos(nx)f_2(n,x)=sin(nx) 可以恢復通常的傅立葉級數,它們在 [-pi,pi] 上構成完備正交系,權重函式w(x)=1,並注意到,對於函式的這種選擇,

c_m=int_(-pi)^picos^2(mx)dx=pi
(15)
d_m=int_(-pi)^pisin^2(mx)dx=pi.
(16)

因此,函式 f(x) 的傅立葉級數由下式給出

 f(x)=e+sum_(n=1)^inftya_ncos(nx)+sum_(n=1)^inftyb_nsin(nx),
(17)

其中係數為

a_n=1/piint_(-pi)^pif(x)cos(nx)dx
(18)
b_n=1/piint_(-pi)^pif(x)sin(nx)dx
(19)
e=1/(2pi)int_(-pi)^pif(x)dx.
(20)

另請參閱

貝塞爾函式諾伊曼級數, 貝塞爾不等式, 傅立葉-貝塞爾級數, 傅立葉-勒讓德級數, 傅立葉級數, 廣義傅立葉積分, 卡普坦級數, 正交基, 正交多項式, 標準正交基, 拉普拉斯級數, 帕塞瓦爾定理

使用 探索

請按如下方式引用

Weisstein, Eric W. "廣義傅立葉級數。" 來自 Web 資源。 https://mathworld.tw/GeneralizedFourierSeries.html

主題分類