主題
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]。


另請參閱

完備函式集, 迪尼判別法, 狄利克雷傅立葉級數條件, 傅立葉-貝塞爾級數, 傅立葉餘弦級數, 傅立葉-勒讓德級數, 傅立葉級數--冪函式, 傅立葉級數--鋸齒波, 傅立葉級數--半圓, 傅立葉級數--方波, 傅立葉級數--三角波, 傅立葉正弦級數, 傅立葉變換, 廣義傅立葉級數, 吉布斯現象, 和角定理, 調和分析, 缺項傅立葉級數, 勒貝格常數, 功率譜, 里斯-費舍爾定理, 簡諧運動, 疊加原理 在 課堂中探索此主題

使用 探索

參考文獻

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.

在 中引用

傅立葉級數

請引用為

韋斯坦因,埃裡克·W. "傅立葉級數。" 來自 Web 資源。 https://mathworld.tw/FourierSeries.html

主題分類