主题
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)

另请参阅

贝塞尔函数诺伊曼级数, 贝塞尔不等式, 傅里叶-贝塞尔级数, 傅里叶-勒让德级数, 傅里叶级数, 广义傅里叶积分, 卡普坦级数, 正交基, 正交多项式, 标准正交基, 拉普拉斯级数, 帕塞瓦尔定理

使用 Wolfram|Alpha 探索

请按如下方式引用

Weisstein, Eric W. "广义傅里叶级数。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/GeneralizedFourierSeries.html

主题分类