1.3 正交函數系#

本章導言#

Fourier 1807 年論文中最含糊、也最關鍵的一步是：如何從等式 \(f(x) = \sum b_n\sin\frac{n\pi x}{L}\) 求出係數 \(b_n\) ？ Fourier 用了一個含糊的「逐項積分」論證，被 Lagrange 抓住把柄。本節將用正交性（orthogonality）的概念把這一步鑄成鋼鐵：正弦函數族在適當的內積下互相「垂直」，因此求係數變成求投影——如同把向量分解到互相垂直的座標軸上。這個觀點是整本書的技術心臟：傅立葉級數（第 2、3 章）、傅立葉轉換（第 4 章）、離散傅立葉（第 6 章）、乃至希爾伯特空間（10.1 節），全部建立在同一套正交代數之上。

從向量幾何到函數空間：同構的直觀#

讀者熟悉的立體幾何：向量 \(\mathbf{v}\) 在互相垂直的單位基 \(\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3\) 下的座標是

\[ v_i = \mathbf{v}\cdot\mathbf{e}_i \quad (\text{內積}), \qquad \mathbf{v} = v_1\mathbf{e}_1 + v_2\mathbf{e}_2 + v_3\mathbf{e}_3. \]

關鍵是 \(\mathbf{e}_i \cdot \mathbf{e}_j = \delta_{ij}\) （Kronecker 記號：相同為 1、相異為 0）。Fourier 的天才在於看出：函數也可以有內積與正交。對 \([a, b]\) 上的兩個（可積）函數，定義

\[ \langle f, g \rangle = \int_a^b f(x)\,g(x)\,dx, \]

它滿足內積的一切代數性質（線性、對稱、正定）。兩函數「垂直」的定義就是 \(\langle f, g\rangle = 0\) 。於是「函數 = 無窮維向量、積分 = 點積」的類比正式成立。

三角函數的正交性#

對區間 \([0, L]\) (長 \(L\) )，函數族 \(\left\{\sin\dfrac{n\pi x}{L}\right\}_{n=1}^{\infty}\) 是正交系：利用積化和差公式可證

\[ \int_0^L \sin\frac{n\pi x}{L}\,\sin\frac{m\pi x}{L}\,dx = \begin{cases} 0, & n \neq m,\\[4pt] \dfrac{L}{2}, & n = m. \end{cases} \]

證明思想：令 \(\omega_n = \frac{n\pi}{L}\) ，積化和差 \(\sin\omega_n x\sin\omega_m x = \frac12\left[\cos(\omega_n-\omega_m)x - \cos(\omega_n+\omega_m)x\right]\) 。當 \(n \neq m\) ，兩個餘弦在 \([0,L]\) 上的積分均為零（因為 \(\int_0^L\cos\frac{k\pi x}{L}dx = \frac{L}{k\pi}\sin(k\pi) = 0\) ，整數個半週期互相抵消）；當 \(n=m\) ，第一項化為 \(\frac12\) ，積分為 \(\frac{L}{2}\) 。 \(\blacksquare\)

在 \([-\pi, \pi]\) 上的標準系更對稱：函數族 \(\{1, \cos nx, \sin nx\}_{n=1}^{\infty}\) 滿足

\[ \int_{-\pi}^{\pi}\cos nx\cos mx\,dx = \pi\,\delta_{nm},\qquad \int_{-\pi}^{\pi}\sin nx\sin mx\,dx = \pi\,\delta_{nm},\qquad \int_{-\pi}^{\pi}\cos nx\sin mx\,dx = 0. \]

最後一式（奇偶性）特別值得注意： \(\cos\) 是偶函數、 \(\sin\) 是奇函數，乘積為奇，對稱區間積分為零。正交性部分來自對稱性——這個觀察在第 2 章（奇偶延拓）將成為實戰技巧。

傅立葉係數公式：投影而非解方程#

現在解決 1.1 節遺留的問題。設 \(f(x) = \sum_{n=1}^{\infty} b_n \sin\frac{n\pi x}{L}\) 。兩邊對 \(x\) 乘以 \(\sin\frac{m\pi x}{L}\) 並在 \([0, L]\) 上積分：

\[ \int_0^L f(x)\sin\frac{m\pi x}{L}\,dx = \sum_{n=1}^{\infty} b_n \int_0^L \sin\frac{n\pi x}{L}\sin\frac{m\pi x}{L}\,dx = b_m\cdot\frac{L}{2}, \]

因為正交性使和式只剩下一項！解出：

\[ \boxed{\;b_m = \frac{2}{L}\int_0^L f(x)\sin\frac{m\pi x}{L}\,dx.\;} \]

同理，對 \([-\pi, \pi]\) 上的展開 \(f(x) = \dfrac{a_0}{2} + \sum_{n=1}^{\infty}\left(a_n\cos nx + b_n\sin nx\right)\) ：

\[ a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx\,dx, \qquad b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx\,dx, \qquad a_0 = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\,dx. \]

注意這個論證與 Fourier 原始含糊論證的差別：我們假設了展開式存在，才推得係數必為此式。此式正確性的完整邏輯是「先證收斂、再驗證係數」，將在第 2 章完成；但無論收斂理論如何，只要展開存在，係數就是唯一確定的——這一點現在就無懈可擊了。係數公式也是唯一的「出口」：不同人用不同方法（Fourier 的平均法、Lagrange 的極限法、本節的投影法）得到同一個公式，這正是它值得信賴的證據。

正交系的一般原理與 Sturm–Liouville 理論#

三角函數族為何出現正交性？因為它們是對稱特徵值問題的特徵函數。考慮所謂 Sturm–Liouville 問題（1836 年，Charles Sturm（1803–1855） 與 Joseph Liouville（1809–1882） 合作奠定）：

\[ -\frac{d}{dx}\left[p(x)\,\frac{dX}{dx}\right] + q(x)X = \lambda\, w(x)\,X, \qquad \text{配合適當邊界條件}, \]

其中 \(p, q, w > 0\) 。這個問題的兩個不同特徵值 \(\lambda_n \neq \lambda_m\) 的特徵函數，在權函數內積 \(\langle f,g\rangle_w = \int_a^b f(x)g(x)w(x)\,dx\) 下必正交。證明：設 \(X_n, X_m\) 分別滿足方程，寫出兩式，第一式乘 \(X_m\) 減第二式乘 \(X_n\) ，分部積分一次，邊界條件使邊界項消失，剩下

\[ (\lambda_m - \lambda_n)\int_a^b X_n X_m w\,dx = 0 \;\Rightarrow\; \langle X_n, X_m\rangle_w = 0. \qquad\blacksquare \]

這個證明只有五行，卻涵蓋了整個「譜展開」技術：選 \(p=1, q=0, w=1\) 、Dirichlet 邊界，得正弦族（1.1 節的熱方程）；選 Neumann 邊界，得餘弦族；選週期邊界，得三角族；選 Bessel 方程與 Legendre 方程（第 9 章出現），得 Bessel 函數與 Legendre 多項式——球面上的傅立葉分析。正交性是線性代數（對稱矩陣特徵向量正交化）在函數空間的重演，其深層原因要到 10.1 節（自伴算子譜定理）才完全揭曉。

完備性：正交性還不夠#

有正交性只能證明「若展開存在，係數如此」。還需要回答：展開是否存在（對夠寬的函數類）？這叫完備性（completeness）：正交系 \(\{\phi_n\}\) 完備，意思是「沒有遺漏的方向」——若某 \(f\) 與所有 \(\phi_n\) 正交（ \(\int f\phi_n = 0\) 對一切 \(n\) ），則 \(f\) 必為零（平均意義下）。完備性的證明遠難於正交性：它是 19 世紀分析學的重大戰役，涉及「什麼函數該算可積」（Riemann 1854 → Lebesgue 1902）。本書的分工是：第 2 章證三角系的逐點收斂（一條路），3.1 節證 \(L^2\) 意義的完備性核心（另一條路），10.1 節以 Hilbert 空間語言統一。

一個具體例題#

例題 1.3.1：將 \(f(x) = x\) （ \(-\pi < x < \pi\) ）展開為三角級數，並利用正交性驗證係數公式的一致性。

解： \(f\) 是奇函數，對稱區間上 \(f\cos nx\) 是奇函數，積分為零，故 \(a_n = 0\) （一切 \(n \ge 0\) ）。只需求 \(b_n\) ：

\[ b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} x\sin nx\,dx = \frac{2}{\pi}\int_0^{\pi} x\sin nx\,dx. \]

分部積分：令 \(u = x\) 、 \(dv = \sin nx\,dx\) ，則 \(du = dx\) 、 \(v = -\frac{\cos nx}{n}\) ：

\[ \int_0^\pi x\sin nx\,dx = \left[-\frac{x\cos nx}{n}\right]_0^\pi + \frac{1}{n}\int_0^\pi \cos nx\,dx = -\frac{\pi\cos n\pi}{n} + \frac{1}{n^2}\underbrace{\left[\sin nx\right]_0^\pi}_{=0} = \frac{\pi(-1)^{n+1}}{n}. \]

故

\[ x = 2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx = 2\left(\sin x - \frac{\sin 2x}{2} + \frac{\sin 3x}{3} - \cdots\right), \qquad -\pi < x < \pi. \]

驗證與觀察：（1）代入 \(x = \pi/2\) ： \(\frac{\pi}{2} = 2\left(1 - 0 + \frac{-1}{3}\cdot(-1)\cdots\right)\) ，級數為 \(2(1 - \frac13 + \frac15 - \cdots) = 2\cdot\frac{\pi}{4} = \frac{\pi}{2}\) ✓。（2）在端點 \(x = \pm\pi\) （函數跳躍處，因為週期延拓後 \(x=\pi\) 處左值為 \(\pi\) 、右值為 \(-\pi\) ）：所有 \(\sin n\pi = 0\) ，級數收斂到 \(0\) ——跳躍的中點值，與 1.2 節例題的規則一致。（3）係數衰減 \(|b_n| = \frac{2}{n}\) ：函數連續但導數有跳躍（折線），係數按 \(1/n\) 衰減——光滑度決定係數衰減率，這條經驗法則將在 3.2 節精確化。

歷史啟示#

唯一性先於存在性：正交性證明了「係數只能是這個」，存在性（收斂）另行解決——「先鎖死答案、再證可達」是分析學屢試不爽的策略。
對稱性是免費的計算：奇偶性把例題的工作量砍半。學傅立葉分析的第一個實務習慣就是先看對稱性再動積分。
一行證明的深遠影響：Sturm–Liouville 正交性的五行證明，支撐了從熱方程到量子力學（氫原子的球諧函數）的一整族理論。深刻的定理未必有長的證明，但一定有對的結構（此處：對稱算子）。

與其他章節及領域的關聯#

1.1 節：本節係數公式補完了熱方程例題中的 \(b_n\) 。
第 2 章：以係數公式為起點，進入收斂理論。
3.1 節：Bessel 不等式與 Parseval 定理——正交代數的兩條主定理。
6.2 節：DFT——有限維版本的正交投影， \(\sum e^{2\pi i kn/N}\overline{e^{2\pi i mn/N}} = N\delta_{km}\) 。
9.1–9.2 節：Sturm–Liouville 理論在 PDE 譜解法的系統應用。
10.1 節：Hilbert 空間把「函數=向量、正交=內積為零」升格為嚴格公理體系。
數值分析：最小平方法、多項式擬合（Legendre/Chebyshev 多項式）都是本節思想的離散化身。

練習#

直接計算證明 \(\int_0^L \sin\frac{n\pi x}{L}\sin\frac{m\pi x}{L}dx = 0\) （ \(n\neq m\) ），以 \(n=1, m=2, L=\pi\) 具體驗證。
將 \(f(x) = x^2\) （ \(-\pi < x < \pi\) ）展開為三角級數（它是偶函數，先證 \(b_n = 0\) ，再算 \(a_n = \frac{2}{\pi}\int_0^\pi x^2\cos nx\,dx\) ）。答案中 \(a_0/2 = \pi^2/3\) ， \(a_n = \frac{4(-1)^n}{n^2}\) 。
利用第 2 題結果與 Parseval 定理（可先用： \(\frac{1}{\pi}\int_{-\pi}^\pi f^2 = \frac{a_0^2}{2} + \sum(a_n^2 + b_n^2)\) ）證明 \(\displaystyle\sum_{n=1}^{\infty}\frac{1}{n^4} = \frac{\pi^4}{90}\) 。這是 Euler 1734 年用別的方法得到的著名級數。
證明函數族 \(\{1, \cos nx\}\) 在 \([0, \pi]\) 上正交，並寫出 \(f(x) = x\) （ \(0 < x< \pi\) ）的餘弦級數（提示：偶延拓）。
思考題：若正交系不完備，展開式會出現什麼「系統性偏差」？用「投影到不完整的座標軸」的幾何比喻說明。

進階研讀：正交性的五個深化場景#

場景一：權函數與 Chebyshev 多項式。在 \([-1,1]\) 上以權 \(w(x) = \frac{1}{\sqrt{1-x^2}}\) 正交的多項式族是 Chebyshev 多項式 \(T_n(\cos\theta) = \cos n\theta\) 。它把 \([-1,1]\) 上的多項式逼近轉成圓上的三角逼近，是數值分析中「龍格現象」的解藥（用 Chebyshev 節點插值避免 Runge 爆炸）。正交 + 權函數 = 自訂度量，需求不同、權不同。

場景二：複指數形式與單位向量。三角級數的複形式用 \(\phi_n(x) = \frac{1}{\sqrt{2\pi}}e^{inx}\) （ \(n \in \mathbb{Z}\) ）， \(\langle\phi_m, \phi_n\rangle = \delta_{mn}\) ——歸一化後的正交系像完美的單位向量座標系。複形式的係數 \(c_n = \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{-inx}dx\) 與實係數關係 \(c_{\pm n} = \frac{1}{2}(a_n \mp ib_n)\) 。第 4 章的傅立葉轉換全部採複形式，讀者應在本節就把 \(e^{inx}\) 語言練熟。

場景三：Gram–Schmidt 的函數版。給定任意線性無關函數序列（如 \(1, x, x^2, \ldots\) ），Gram–Schmidt 正交化產生 Legendre 多項式（ \([−1,1]\) 、權 1）。這個程序同時展示：正交基不是天賜的，是製造的；而 Sturm–Liouville 給出的是「天然的」正交系（來自物理邊界條件），兩者關係如「配鑰匙」與「量鎖孔」。

場景四：完備性的實質——比較兩種 \(f\) 的距離。定義均方誤差 \(E_N = \int_a^b\left|f - \sum_{n\le N} c_n\phi_n\right|^2 dx\) 。最佳逼近定理：取 \(c_n\) 為傅立葉係數時 \(E_N\) 最小（證明：展開平方，交叉項因正交消失，對 \(c_n\) 求偏導）。故「傅立葉級數 = 正交投影 = 均方意義的最佳逼近」三句話同義。這也是壓縮（10.2 節）的能量觀點：丟掉小係數，誤差可控。

場景五：離散正交與矩陣。 \(N\) 個取樣點上的矩陣 \(F_{kn} = e^{2\pi ikn/N}\) 滿足 \(F^*F = NI\) （正交矩陣的常數倍），DFT 矩陣因此可逆且穩定（6.2 節）。本節的積分內積換成有限和內積，一切都換算成矩陣代數——連續與離散共用同一套正交語法，這是傅立葉分析作為工程基礎的結構性原因。

補充：Sturm 與 Liouville 的合作#

Sturm 是日內瓦出身的自學者，30 歲才到巴黎，靠代數方程的「實根個數定理」成名；Liouville 是巴黎理工出身的神童級學者。1836–1838 年間兩人在《數學雜誌》（Journal de Mathématiques，Liouville 創辦）上合作發表一系列論文，證明了二階線性微分方程的特徵值是實數、單純（無重根）、隨階數遞增，且特徵函數帶權正交、依函數類型形成完備系。這套理論今日稱為 Sturm–Liouville 理論，是「邊界條件產生正交譜」的總體檢——量子力學（1926）出現後，它成為量子系統能階與波函數的數學骨架。Sturm 晚年成為索邦機械講座教授但逐漸孤僻；Liouville 則以多產與廣泛（數論、複分析、微分幾何皆有貢獻）著稱，並在 1844 年證明了超越數的存在。

補充：正交性的物理比喻#

把 \(f\) 想成一種「聲音」， \(\{\sin nx, \cos nx\}\) 想成鋼琴的琴鍵。正交性說的是：一個琴鍵的振動與另一個琴鍵「平均而言互不相干」——用耳朵聽長音，分不出彼此的干擾。係數公式就是「用共振腔測每個音的強度」：輸入 \(f\) ，只有共振的琴鍵（該頻率成分）會回應，積分 \(\int f\sin nx\) 就是共振測量。這個比喻在工程上字面成立：濾波器組（filter bank）、頻譜分析儀都是硬體化的正交投影（7.1 節）。

名詞速查表（本節出現的核心術語）#

內積： \(\langle f, g\rangle = \int_a^b fg\,dx\) （或帶權 \(w\) ），函數空間的「點積」。
正交系： \(\langle\phi_m, \phi_n\rangle = 0\) （ \(m\neq n\) ）的函數族。
歸一化： \(\langle\phi_n,\phi_n\rangle = 1\) ；正交 + 歸一 = 標準正交（orthonormal）。
傅立葉係數： \(f\) 在正交基上的投影， \(\frac{\langle f, \phi_n\rangle}{\langle\phi_n,\phi_n\rangle}\) 。
投影：正交系下的座標；均方意義下的最佳逼近。
Sturm–Liouville 問題：對稱形式的特徵值 ODE；其特徵函數帶權正交。
權函數 \(w(x)\) ：內積中的「度量密度」，隨物理問題而異。
完備性：正交系「無遺漏方向」的性質；等價於 Parseval 等式成立（3.1 節）。
Kronecker 記號 \(\delta_{ij}\) ：正交性的代數速記。
Chebyshev / Legendre 多項式：不同權函數下的正交多項式族。

年表速查（本節涉及的關鍵年份）#

1734：Euler 求出 \(\sum 1/n^4 = \pi^4/90\) 等 Basel 系列級數（練習 3 的先例）。
1755：Euler《微分學》出現三角級數的係數型計算。
1807：Fourier 論文提出（含糊的）係數計算。
1822：《熱的解析理論》系統化係數公式。
1825：Legendre 多項式的系統研究發表（研究重力位勢）。
1829：Dirichlet 收斂定理，使用正交性於特定函數。
1836–1838：Sturm–Liouville 理論建立。
1854：Riemann 哈伯萊演講，研究三角級數與積分概念。
1885：Gram 提出正交化的代數程序（Gram–Schmidt）。
1902：Lebesgue 積分，完備性獲得最終框架。
1907：Fischer 與 Riesz 證明 \(L^2\) 完備性定理，Hilbert 空間理論成型。

深化問答三則#

問：為什麼內積要定義為積分，而不是別的？ 答：因為我們要「微元總量」：函數之差在每個點上的誤差，平方後對全區間累加，才是總能量/總誤差。這個定義繼承了物理（能量、功）與幾何（長度）兩系直觀。也可以選別的內積（帶權、離散和、雙線性泛函），但換內積就是換幾何——最佳逼近、正交、譜全部隨之改變。工程的「需求分析」常常就是「選內積」。

問：正交性保證了什麼、沒保證什麼？ 答：保證「係數唯一」與「部分和在均方意義下最佳」；沒保證「部分和逐點收斂到 \(f\) 」（3.3 節的反例）、也沒保證「一致收斂」（需 3.2 節條件）。初學者最常犯的錯就是把正交性（代數）誤當收斂性（分析）。

問：複指數 \(e^{inx}\) 比實三角函數好在哪裡？ 答：三點。（1）一族代替兩族： \(\mathbb{Z}\) 上的 \(e^{inx}\) 同時編碼 \(\sin\) 與 \(\cos\) ；（2）微分變乘法： \(\frac{d}{dx}e^{inx} = in\,e^{inx}\) ，運算封閉漂亮；（3）旋轉觀點： \(e^{inx}\) 是單位圓上的勻速旋轉，頻率、相位、振幅幾何化。代價是複數技術門檻——本書從第 4 章起全面轉入複形式。

（本節完）