Fourier Series Intro - Generalized Fourier Series


http://mathworld.wolfram.com/GeneralizedFourierSeries.html

Generalized Fourier Series


A generalized Fourier series is a series expansion of a function based on the special properties of acomplete orthogonal system of functions. The prototypical example of such a series is theFourier series, which is based of the biorthogonality of the functionscos(nx) andsin(nx) (which form acomplete biorthogonal system under integration over the range [-pi,pi]. Another common example is theLaplace series, which is a double series expansion based on the orthogonality of thespherical harmonicsY_l^m(theta,phi) overtheta in [0,pi] andphi in [0,2pi].

Given a complete orthogonal system of univariate functions {phi_n(x)} over the intervalR, the functionsphi_n(x) satisfy an orthogonality relationship of the form

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

over a range R, wherew(x) is aweighting function,c_m are given constants anddelta_(mn) is theKronecker delta. Now consider an arbitrary functionf(x). Write it as a series

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

and plug this into the orthogonality relationships to obtain

Fourier Series Intro - Generalized Fourier Series_第1张图片
(3)

Note that the order of integration and summation has been reversed in deriving the above equations. As a result of these relations, if a series forf(x) of the assumed form exists, its coefficients will satisfy

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

Given a complete biorthogonal system of univariate functions, the generalized Fourier series takes on a slightly more special form. In particular, for such a system, the functionsf_1(n,x) andf_2(n,x) satisfy orthogonality relationships of the form

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)

for m,n!=0 over a rangeR, wherec_m andd_m are given constants anddelta_(mn) is theKronecker delta. Now consider an arbitrary functionf(x) and write it as a series

Fourier Series Intro - Generalized Fourier Series_第2张图片
(10)

and plug this into the orthogonality relationships to obtain

Fourier Series Intro - Generalized Fourier Series_第3张图片
(11)

As a result of these relations, if a series for f(x) of the assumed form exists, its coefficients will satisfy

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)

The usual Fourier series is recovered by taking f_1(n,x)=cos(nx) andf_2(n,x)=sin(nx) which form a complete orthogonal system over[-pi,pi] withweighting functionw(x)=1 and noting that, for this choice of functions,

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

Therefore, the Fourier series of a function f(x) is given by

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

where the coefficients are

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)





你可能感兴趣的:(maths)