-
三角級數
(數學術語)
鎖定
- 中文名
- 三角級數
- 外文名
- Trigonometric series
- 領 域
- 數學
三角級數定義
三角級數唯一定理
三角級數傅里葉級數
在數學中,傅里葉級數(Fourier series)是把類似波的函數表示成簡單正弦波的方式。更正式地説,它能將任何週期函數或週期信號分解成一個(可能由無窮個元素組成的)簡單振盪函數的集合,即正弦函數和餘弦函數(或者,等價地使用復指數)。離散時間傅里葉變換是一個週期函數,通常用定義傅里葉級數的項進行定義。另一個應用的例子是Z變換,將傅里葉級數簡化為特殊情形 |z|=1。傅里葉級數也是採樣定理原始證明的核心。傅里葉級數的研究是傅里葉分析的一個分支。
三角級數歷史
傅里葉級數得名於法國數學家約瑟夫·傅里葉(1768年–1830年),他提出任何函數都可以展開為三角級數。此前數學家如拉格朗日等已經找到了一些非週期函數的三角級數展開,而認定一個函數有三角級數展開之後,通過積分方法計算其係數的公式,歐拉、達朗貝爾和克萊羅早已發現,傅里葉的工作得到了丹尼爾·伯努利的贊助。傅里葉介入三角級數用來解熱傳導方程,其最初論文在1807年經拉格朗日、拉普拉斯和勒讓德評審後被拒絕出版,他的被稱為傅里葉逆轉定理的理論後來發表於1820年的《熱的解析理論》中。將週期函數分解為簡單振盪函數的總和的最早想法,可以追溯至公元前3世紀古代天文學家的均輪和本輪學説。
三角級數定義
在這一節中,
表示實變量
的一個函數,且
在
上可積,
和
為實數。我們將嘗試用諧波關係的正弦函數的無窮和或級數來表示該區間內的
。在區間外,級數以
為週期(頻率為
)。若
也具有該性質,則它的近似在整個實數線上有效。我們可以從有限求和(或部分和)開始:
當係數(即傅里葉係數)以下面方式計算時:
三角級數延伸
希爾伯特空間的解讀
所謂的兩個不同向量正交是指它們的內積為0,這也就意味着這兩個向量之間沒有任何相關性,例如,在三維歐氏空間中,互相垂直的向量之間是正交的。事實上,正交是垂直在數學上的一種抽象化和一般化。一組n個互相正交的向量必然是線性無關的,所以必然可以張成一個n維空間,也就是説,空間中的任何一個向量可以用它們來線性表出。
三角函數族的正交性用公式表示出來就是:
三角級數收斂性
至今還沒有判斷傅里葉級數的收斂性充分必要條件,但是對於實際問題中出現的函數,有很多種判別條件可用於判斷收斂性。比如x(t)的可微性或級數的一致收斂性。在閉區間上滿足狄利克雷條件的函數表示成的傅里葉級數都收斂。狄利克雷條件如下:
- 在定義區間上,x(t)須絕對可積;
- 在任一有限區間中,x(t)只能取有限個極值點;
- 在任何有限區間上,x(t)只能有有限個第一類間斷點。
滿足以上條件的x(t)傅里葉級數都收斂,且:
1.當t是x(t)的連續點時,級數收斂於x(t);
2.當t是x(t)的間斷點時,級數收斂於
。
1966年,里納特·卡爾松證明了勒貝格二次可積函數的傅立葉級數一定是幾乎處處收斂的,即級數在除了一個勒貝格零測集外均收斂。
[3]
三角級數參閲
- 離散時間傅里葉級數
- 維爾斯特拉斯逼近定理
- 參考資料
-
- 1. Cooke, Roger (1993), "Uniqueness of trigonometric series and descriptive set theory, 1870–1985", Archive for History of Exact Sciences, 45 (4): 281, doi:10.1007/BF01886630.
- 2. Georgi P. Tolstov. Fourier Series. Courier-Dover. 1976. ISBN 0-486-63317-9.
- 3. Dorf, Richard C.; Tallarida, Ronald J. Pocket Book of Electrical Engineering Formulas 1. Boca Raton,FL: CRC Press. 1993-07-15: 171–174. ISBN 0849344735.