主题
Search

傅里叶级数


FourierSeriesExamples

傅里叶级数是将周期函数 f(x) 展开为无穷正弦余弦和的形式。傅里叶级数利用了正交性 正弦余弦函数的关系。傅里叶级数的计算和研究被称为调和分析,并且非常有用,可以将任意周期函数分解为一组简单的项,这些项可以代入,单独求解,然后再组合以获得原始问题的解,或者在所需的或实际可行的精度下获得其近似解。上面展示了使用傅里叶级数对常见函数进行逐次逼近的示例。

特别地,由于叠加原理适用于线性齐次常微分方程的解,如果这种方程可以在单个正弦曲线的情况下求解,那么任意函数的解就可以立即获得,通过将原始函数表示为傅里叶级数,然后代入每个正弦分量的解。在某些特殊情况下,如果傅里叶级数可以求和为闭合形式,则这种技术甚至可以产生解析解。

任何构成完备正交函数系的函数集都有一个对应的广义傅里叶级数,类似于傅里叶级数。例如,使用第一类贝塞尔函数根的正交性可以得到所谓的傅里叶-贝塞尔级数

(通常)傅里叶级数的计算基于积分恒等式

int_(-pi)^pisin(mx)sin(nx)dx=pidelta_(mn)
(1)
int_(-pi)^picos(mx)cos(nx)dx=pidelta_(mn)
(2)
int_(-pi)^pisin(mx)cos(nx)dx=0
(3)
int_(-pi)^pisin(mx)dx=0
(4)
int_(-pi)^picos(mx)dx=0
(5)

对于 m,n!=0, 其中 delta_(mn)克罗内克 delta

使用广义傅里叶级数的方法,通过取 f_1(x)=cosxf_2(x)=sinx 可以得到涉及正弦和余弦的通常傅里叶级数。由于这些函数在 [-pi,pi] 上构成完备正交函数系,因此函数 f(x) 的傅里叶级数由下式给出

 f(x)=1/2a_0+sum_(n=1)^inftya_ncos(nx)+sum_(n=1)^inftyb_nsin(nx),
(6)

其中

a_0=1/piint_(-pi)^pif(x)dx
(7)
a_n=1/piint_(-pi)^pif(x)cos(nx)dx
(8)
b_n=1/piint_(-pi)^pif(x)sin(nx)dx
(9)

n=1, 2, 3, .... 请注意,常数项 a_0 的系数已以特殊形式编写,与广义傅里叶级数的一般形式相比,目的是为了保持与 a_nb_n 定义的对称性。

傅里叶余弦系数 a_n 和正弦系数 b_nWolfram 语言 中实现为FourierCosCoefficient[expr, t, n] 和FourierSinCoefficient[expr, t, n], 分别。

傅里叶级数收敛到函数 f^_ (在连续点等于原始函数,在不连续点等于两个极限的平均值)

 f^_={1/2[lim_(x->x_0^-)f(x)+lim_(x->x_0^+)f(x)]   for -pi<x_0<pi; 1/2[lim_(x->-pi^+)f(x)+lim_(x->pi_-)f(x)]   for x_0=-pi,pi
(10)

如果函数满足所谓的狄利克雷边界条件迪尼判别法给出了傅里叶级数收敛的条件。

FourierSeriesSquareWave

因此,在不连续点附近,可能会出现一种称为吉布斯现象的“振铃”,如上图所示。

对于在区间 [-L,L] 上而不是 [-pi,pi] 上周期性的函数 f(x),可以使用简单的变量替换将积分区间从 [-pi,pi] 变换到 [-L,L]。令

x=(pix^')/L
(11)
dx=(pidx^')/L.
(12)

解出 x^' 得到 x^'=Lx/pi,代入得到

 f(x^')=1/2a_0+sum_(n=1)^inftya_ncos((npix^')/L)+sum_(n=1)^inftyb_nsin((npix^')/L).
(13)

因此,

a_0=1/Lint_(-L)^Lf(x^')dx^'
(14)
a_n=1/Lint_(-L)^Lf(x^')cos((npix^')/L)dx^'
(15)
b_n=1/Lint_(-L)^Lf(x^')sin((npix^')/L)dx^'.
(16)

类似地,如果函数改为定义在区间 [0,2L] 上,则上述方程简单地变为

a_0=1/Lint_0^(2L)f(x^')dx^'
(17)
a_n=1/Lint_0^(2L)f(x^')cos((npix^')/L)dx^'
(18)
b_n=1/Lint_0^(2L)f(x^')sin((npix^')/L)dx^'.
(19)

事实上,对于周期为 2L 的周期函数 f(x),可以使用任何区间 (x_0,x_0+2L),选择取决于方便性或个人偏好 (Arfken 1985, p. 769)。

一些常见函数的傅里叶级数展开的系数在 Beyer (1987, pp. 411-412) 和 Byerly (1959, p. 51) 中给出。通常用这种技术分析的最常见的函数之一是方波。下表总结了一些常见函数的傅里叶级数。

如果一个函数是偶函数,即 f(x)=f(-x),那么 f(x)sin(nx)奇函数。(这是因为 sin(nx)奇函数,而偶函数乘以奇函数奇函数。)因此,对于所有 nb_n=0。类似地,如果一个函数是奇函数,即 f(x)=-f(-x),那么 f(x)cos(nx)奇函数。(这是因为 cos(nx)偶函数,而偶函数乘以奇函数奇函数。)因此,对于所有 na_n=0

傅里叶级数的概念也可以扩展到复数系数。考虑一个实值函数 f(x)。写成

 f(x)=sum_(n=-infty)^inftyA_ne^(inx).
(20)

现在考察

int_(-pi)^pif(x)e^(-imx)dx=int_(-pi)^pi(sum_(n=-infty)^(infty)A_ne^(inx))e^(-imx)dx
(21)
=sum_(n=-infty)^(infty)A_nint_(-pi)^pie^(i(n-m)x)dx
(22)
=sum_(n=-infty)^(infty)A_nint_(-pi)^pi{cos[(n-m)x]+isin[(n-m)x]}dx
(23)
=sum_(n=-infty)^(infty)A_n2pidelta_(mn)
(24)
=2piA_m,
(25)

因此

 A_n=1/(2pi)int_(-pi)^pif(x)e^(-inx)dx.
(26)

系数可以用傅里叶级数中的系数来表示

A_n=1/(2pi)int_(-pi)^pif(x)[cos(nx)-isin(nx)]dx
(27)
={1/(2pi)int_(-pi)^pif(x)[cos(nx)+isin(|n|x)]dx n<0; 1/(2pi)int_(-pi)^pif(x)dx n=0; 1/(2pi)int_(-pi)^pif(x)[cos(nx)-isin(nx)]dx n>0
(28)
={1/2(a_n+ib_n) for n<0; 1/2a_0 for n=0; 1/2(a_n-ib_n) for n>0.
(29)

对于在 [-L/2,L/2] 中周期性的函数,这些变为

f(x)=sum_(n=-infty)^(infty)A_ne^(i(2pinx/L))
(30)
A_n=1/Lint_(-L/2)^(L/2)f(x)e^(-i(2pinx/L))dx.
(31)

这些方程是极其重要的傅里叶变换的基础,傅里叶变换是通过在长度 L->infty 时将 A_n 从离散变量转换为连续变量而获得的。

复傅里叶系数在 Wolfram 语言 中实现为FourierCoefficient[expr, t, n]。


另请参阅

完备函数集, 迪尼判别法, 狄利克雷傅里叶级数条件, 傅里叶-贝塞尔级数, 傅里叶余弦级数, 傅里叶-勒让德级数, 傅里叶级数--幂函数, 傅里叶级数--锯齿波, 傅里叶级数--半圆, 傅里叶级数--方波, 傅里叶级数--三角波, 傅里叶正弦级数, 傅里叶变换, 广义傅里叶级数, 吉布斯现象, 和角定理, 调和分析, 缺项傅里叶级数, 勒贝格常数, 功率谱, 里斯-费舍尔定理, 简谐运动, 叠加原理 在 MathWorld 课堂中探索此主题

使用 Wolfram|Alpha 探索

参考文献

Arfken, G. "Fourier Series." Ch. 14 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 760-793, 1985.Askey, R. and Haimo, D. T. "Similarities between Fourier and Power Series." Amer. Math. Monthly 103, 297-304, 1996.Beyer, W. H. (Ed.). CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, 1987.Brown, J. W. and Churchill, R. V. Fourier Series and Boundary Value Problems, 5th ed. New York: McGraw-Hill, 1993.Byerly, W. E. An Elementary Treatise on Fourier's Series, and Spherical, Cylindrical, and Ellipsoidal Harmonics, with Applications to Problems in Mathematical Physics. New York: Dover, 1959.Carslaw, H. S. Introduction to the Theory of Fourier's Series and Integrals, 3rd ed., rev. and enl. New York: Dover, 1950.Davis, H. F. Fourier Series and Orthogonal Functions. New York: Dover, 1963.Dym, H. and McKean, H. P. Fourier Series and Integrals. New York: Academic Press, 1972.Folland, G. B. Fourier Analysis and Its Applications. Pacific Grove, CA: Brooks/Cole, 1992.Groemer, H. Geometric Applications of Fourier Series and Spherical Harmonics. New York: Cambridge University Press, 1996.Körner, T. W. Fourier Analysis. Cambridge, England: Cambridge University Press, 1988.Körner, T. W. Exercises for Fourier Analysis. New York: Cambridge University Press, 1993.Krantz, S. G. "Fourier Series." §15.1 in Handbook of Complex Variables. Boston, MA: Birkhäuser, pp. 195-202, 1999.Lighthill, M. J. Introduction to Fourier Analysis and Generalised Functions. Cambridge, England: Cambridge University Press, 1958.Morrison, N. Introduction to Fourier Analysis. New York: Wiley, 1994.Sansone, G. "Expansions in Fourier Series." Ch. 2 in Orthogonal Functions, rev. English ed. New York: Dover, pp. 39-168, 1991.Weisstein, E. W. "Books about Fourier Transforms." http://www.ericweisstein.com/encyclopedias/books/FourierTransforms.html.Whittaker, E. T. and Robinson, G. "Practical Fourier Analysis." Ch. 10 in The Calculus of Observations: A Treatise on Numerical Mathematics, 4th ed. New York: Dover, pp. 260-284, 1967.

在 Wolfram|Alpha 中引用

傅里叶级数

请引用为

韦斯坦因,埃里克·W. "傅里叶级数。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/FourierSeries.html

主题分类