一種緊湊形式：複指數級數
在上一篇裡你構造了[[trigonometric-fourier-series|三角傅立葉級數]]：把一個週期函數寫成 a_0/2 加上一串 a_n cos(n omega x) 與 b_n sin(n omega x) 之和，係數則由歐拉–傅立葉公式撬出來。它管用，但稍嫌臃腫——兩族係數 a_n 與 b_n，還有兩種要分清的項。有一種更俐落的重新打包方式，物理學家和工程師幾乎是本能地伸手去取，而它倚靠的是你在第一卷裡已經見過的一個恆等式。
這個恆等式就是歐拉公式 e^{i theta} = cos(theta) + i sin(theta)。把它正反兩用，你就能把每一個餘弦和正弦都換成指數：cos(theta) = (e^{i theta} + e^{-i theta})/2，sin(theta) = (e^{i theta} - e^{-i theta})/(2i)。把這些代回三角級數，頻率為 n 的那兩項就坍縮成 +n 與 -n 處的指數。整個和重組成[[complex-exponential-fourier-series|複指數傅立葉級數]]：f(x) = 對所有整數 n（從負無窮到正無窮）求和 c_n e^{i n omega x}。只剩一族係數 c_n、一種項，而且指標現在也跑遍負整數。
係數公式相應地也很乾淨：c_n = (1/T) 乘以 f(x) e^{-i n omega x} dx 在一個週期上的積分，其中 T 是週期、omega = 2 pi / T。注意這是對每一個 n（正、負、零）都通用的同一個公式——c_0 不過是 f 在一個週期上的平均，即舊的 a_0/2。指數裡的那個負號才是全部的秘密：e^{-i n omega x} 正是那個複指數，它憑正交性恰好挑出第 n 個分量，而把其餘全部清零。我們下面就把這條正交性拆開來看。
負號為何奏效，以及 c_n 的含義
三角基之所以正交，是因為 cos 乘 sin、以及不匹配諧波的積分在一個週期上都為零。指數繼承了同一事實的一個更乾淨的版本。e^{i n omega x} 乘 e^{-i m omega x} 在一個週期上的積分：當 n = m 時等於 T，當 n 不等於 m 時恰好為零——因為 e^{i(n-m) omega x} 是一個繞單位圓整數圈、平均為零的函數。這正是三角系正交性最省力的重述。於是用 e^{-i m omega x} 乘 f 再積分，就讀出了那唯一的係數 c_m，並讓其餘每一項都噤聲。
負指標在物理上是什麼意思？沒什麼神秘的。第 n 項與第 -n 項總是成對出現，而當 f 是實信號時，它們互為複共軛：c_{-n} = c_n 的共軛。把這一對加回去，虛部相消，又長回頻率為 n 的一個實的 cos 加 sin 振盪。回到舊係數的字典是：對正的 n，c_n = (a_n - i b_n)/2。所以負頻率不過是實振盪那共軛一半的記帳方式——為換來一個整潔的公式，這個代價值得付。
對稱性白送你一半的工作量
在算出哪怕一個積分之前，先看看函數的對稱性——它能當場把工作量減半。回想第一卷的詞彙：若 f(-x) = f(x)，函數是偶的（關於縱軸的鏡像，像 cos 或 x^2）；若 f(-x) = -f(x)，則是奇的（繞原點的半圈旋轉，像 sin 或 x^3）。一個關鍵事實——從定積分作為帶符號面積來看很容易明白——是：奇函數在對稱區間 -L 到 L 上的積分恰好為零（左半與右半相消），而偶函數的積分不過是右半積分的兩倍。
現在把這一點餵進係數積分裡。餘弦是偶的、正弦是奇的，所以歐拉–傅立葉公式裡那些乘積也繼承了奇偶性。若 f 是偶函數，那麼 f 乘 sin(n omega x) 是奇的，它在對稱週期上的積分為零，於是每一個 b_n 都為零：偶函數是純餘弦級數。若 f 是奇函數，同樣的論證消滅每一個 a_n，於是 f 是純正弦級數。僅憑瞥一眼圖像，你就能預先知道一半的係數為零——而那些積分你壓根不用算。
半區間展開：造出你需要的對稱性
在這裡，對稱性這個念頭從一個省力技巧，搖身變為一個解題手段。在物理問題裡，函數往往只在半個窗口上給出——比如一根桿的溫度分佈只對 0 <= x <= L 給定，對負的 x 則隻字未提，因為桿根本不向那邊延伸。此時還沒有週期、沒有左半、沒有對稱性。半區間展開這一招，就是*選擇*如何把函數向左延拓，並且精確地這樣選，以製造出讓答案成為純餘弦或純正弦的那種奇偶性。
兩種選擇，兩種結果。把 f 反射成偶函數（關於 x = 0 鏡像），再以週期 2L 重複：結果是偶的，正弦係數全部死去，於是得到半區間餘弦級數，a_n = (2/L) 乘以 f(x) cos(n pi x / L) 從 0 到 L 的積分。換成把它反射成奇函數（繞原點旋轉），再以週期 2L 重複：這下餘弦死去，得到半區間正弦級數，b_n = (2/L) 乘以 f(x) sin(n pi x / L) 從 0 到 L 的積分。同一個在 [0, L] 上的 f，兩條迥然不同的級數——在給你的那半個窗口上二者都正確。
Given f(x) on [0, L] only.
EVEN extension -> period 2L, mirror across x=0
half-range COSINE series:
f(x) = a0/2 + sum_{n>=1} a_n cos(n pi x / L)
a_n = (2/L) * integral_0^L f(x) cos(n pi x / L) dx
slope zero at the ends: f'(0) = f'(L) = 0 (Neumann)
ODD extension -> period 2L, rotate about origin
half-range SINE series:
f(x) = sum_{n>=1} b_n sin(n pi x / L)
b_n = (2/L) * integral_0^L f(x) sin(n pi x / L) dx
value zero at the ends: f(0) = f(L) = 0 (Dirichlet)為何邊值問題替你定下選擇
這個選擇並非隨意——物理替你挑定了它。當你用分離變量法求解桿的熱方程或弦的波動方程時，方法交給你一族積木式的解，而兩端的條件決定取哪一族。若兩端被釘在零（溫度被夾持為零，即狄利克雷條件 f(0) = f(L) = 0），就只有正弦合適，因為 sin(n pi x / L) 本來就在兩端為零。若兩端被絕熱、沒有熱量流出（諾伊曼條件 f'(0) = f'(L) = 0），就只有餘弦合適，因為 cos(n pi x / L) 在兩端的斜率為零。
因此半區間展開恰恰是數據與積木之間的那座橋。要啟動兩端被冰鎮的受熱桿的冷卻過程，你把初始溫度分佈展成半區間*正弦*級數，因為這樣每個正弦模態都各自衰減、並在任何時刻都尊重被夾持的端點。倘若桿改為絕熱，你就會把同一個分佈展成半區間*餘弦*級數。交到你手上的函數從未告訴你該用正弦還是餘弦；是邊界條件告訴你的。
一句誠實的告誡為這個循環收口。該級數只在 [0, L] 上等於你的 f；在外面，它等於你所發明的那個被反射、被重複的延拓，而非任何物理實在。而延拓的對稱性可能引入一個角點：當 f(0) 不為 0 時，一個奇延拓會在原點造出一個跳躍，那裡[[dirichlet-conditions|狄利克雷條件]]依然適用——級數收斂到跳躍的中點，並且由你上一篇見過的吉布斯現象，無論你保留多少項，都會在它附近過衝。半區間技巧確實強大，但它構造的是一個特定的週期世界，而你只對被問及的那一半負責。
一個具體畫面：[0, L] 上的直線 f(x) = x
用一個盡可能樸素的分佈把它落到實處：[0, L] 上的直線斜坡 f(x) = x。它的奇延拓是那條爬升、跌落、再爬升的鋸齒波——一個在 L 的每個奇數倍處都有大小為 2L 的跳躍的函數，因為斜坡在 x = L 處收高，而下一份拷貝卻起低。它的偶延拓則是那條爬升又下降的三角波，沒有任何跳躍，只有尖銳的角點。同一個分佈，兩種截然不同的週期性格，全憑我們如何折疊那缺失的左半來選定。
- 正弦選擇（奇，鋸齒）。用一次分部積分算 b_n = (2/L) 乘以 x sin(n pi x / L) 從 0 到 L 的積分；結果是 b_n = (2L/(n pi)) 乘以 (-1)^{n+1}。係數只按 1/n 衰減——很慢——因為鋸齒波帶有真正的跳躍，而一個跳躍總會逼出一條 1/n 的尾巴。
- 餘弦選擇（偶，三角）。這裡 a_0/2 = L/2（平均值），而 a_n = (2/L) 乘以 x cos(n pi x / L) 從 0 到 L 的積分，算得：奇數 n 時為 -4L/(n pi)^2，偶數 n 時為 0。這些係數按 1/n^2 衰減——快得多——因為三角波是連續的，只有角點；沒有跳躍，也就沒有那條慢吞吞的 1/n 尾巴。
- 讀出寓意。兩條級數都在 [0, L] 上重現 x，但餘弦級數收斂得快得多、且沒有吉布斯過衝，而正弦級數則爬得慢、並在端點附近過衝。係數衰減得越快，正是延拓越光滑的指紋——一個第一卷的念頭重新現身：光滑度掌控著高頻成分死去的快慢，這裡是逐項地度量的。
這一對比就是整章的縮影。複指數形式是一個整潔的打包；奇偶捷徑是工作量的免費減半；半區間展開則是為了在邊值問題自己的語境裡迎合它，而刻意製造出的對稱性。而係數如何衰減，則悄悄回報出你所構造的延拓究竟有多粗糙。把這份直覺帶向前去——當正弦餘弦讓位給後續各級上別的本徵函數時，同樣的正交性與對稱性反射，會以推廣的形式回歸。