正交函数与傅利叶级数.ppt

滄海書局 Zill工程數學(上)茆政吉譯 正交函數與傅利葉級數 CHAPTER 12 本章大綱 12.1 正交函數 12.2 傅利葉級數 12.3 傅利葉餘弦與正弦級數 12.4 複數傅利葉級數 12.5 Sturm-Liouville問題 12.6 貝索與雷建德級數 12.1 正交函數 例如 函數 f1(x) = x2 與 f2(x) = x3 在區間 [?1, 1] 為正交因為 正規化正交集合 表示式 (u, u) = ||u||2 稱為平方範數，平方範數與範數分別為 (3)若在區間 [a, b] 中一函數的正交集合 {?n(x)} 具有特性 ||?n(x)|| = 1 ，其中n = 0, 1, 2, ...，則在此區間稱為正規化正交集合(orthonormal set)。 例1　函數的正交集合 證明集合 {1, cos x, cos 2x, …} 在區間 [??, ?] 為正交。 解 若定義 ?0(x) = 1 與 ?n(x) = cos nx ，則必須證明 ，且在第一種情況得 例1(2) 而第二種情況 例2 範數 求出例1正交集合中各個函數的範數。 解因 由(3)得 向量類比 任何三維向量可以寫成線性組合 (4)(4)可表示為 (5)因此我們可將向量與函數做一類比 正交級數展開 假設在區間 [a, b] 中 {?n(x)} 為函數的無限正交集合。試問：若 f(x) 為定義於區間 [a, b] 的函數，是否可能決定一組係數 Cn, n = 0, 1, 2, ...，使得  (6)因此 由正交性得知，上式右側的每一項除當 m = n 以外均為零。因此 因而所需的係數為 (7)其中 (8)使用內積記號，(7)變成 (9) 若 {?n(x)} 在區間 [a, b] 相關於加權函數 w(x) 為正交，則將(6)乘w(x)?n(x) 然後積分得 (10)其中 (11) 完全集合 正交集合為完全(complete) 這意謂對集合的每一元素正交的唯一連續函數是零函數。 12.2 傅利葉級數 三角級數 我們可證明三角函數集合 (1)在區間 [?p, p] 為正交。利用(1)的三角函數組成的正交級數以展開在區間 [?p, p] 的一函數 f，亦即， (2) 現在將(2)兩側從到積分得到 (3)因 cos(n?x/p) 與 sin(n?x/p), n ? 1 ，在此區間與1正交，所以(3)右側可化簡成單項：解 a0 得 (4) 將(2)乘並積分：   (5)由正交性得 與因此(5)化簡成 所以  (6) 最後，若將(2)乘 sin(m?x/p) 、積分，並利用以下結果與求得  (7) 例1　傅利葉級數展開 以傅利葉級數展開 (12) 解 f 的圖如圖12.1所示，由於 p = ?，從(9)與(10)得 例1(2) 例1(3) 同理由(11)得所以 (13) 例2　不連續點的收斂 例1的函數(12)滿足定理12.1的條件。因此在區間(??, ?) 中所有的 x ，除了 x = 0 之外，級數(13)收斂至 f(x)。在 x = 0 函數不連續，因此級數(13)收斂至  週期擴張 圖12.2的是例題1中函數 f 的週期擴張在 x = 0, ?2?, ?4?, ... 級數收斂至與在x = ??, ?3?, …級數收斂至 部分和序列 (13)的前三項部分和為如圖12.3所示 圖12.3 傅利葉級數的部分和 12.3 傅利葉餘弦與正弦級數 偶函數與奇函數 偶函數若 f(?x) = f(x)  奇函數若 f(?x) = ?f(x)  餘弦與正弦級數 若 f 在 (?p, p) 為偶函數，同理，當 f 在為(?p, p)奇函數， (續) 例1　正弦級數展開式 將 f(x) = x, ?2 x 2 展開成傅利葉級數。 解審視圖12.6顯示已知函數在 (?2, 2) 為奇函數。由 2p = 4 得 p = 2 。因此(5)經分部積分後為 所以 (6)例1的函數滿足定理12.1的條件。因此級數(6)在收歛至函數且週期擴張(週期4)如圖12.7所示。 例2　正弦級數展開式 函數 如圖12.8所示在區間 (??, ?) 為奇函數。因 p =