勒讓德方程與勒讓德多項式

這個方程從何而來

在本階梯前面的指南裡，你學會了用一招對付沒有閉形式解的常微分方程：把解寫成一個冪級數，再一項一項地把係數磨出來。勒讓德方程正是這套方法的招牌問題，而它的盛名當之無愧：每當一個問題落在球面上，你就躲不開這個方程。把它寫成 (1 - x^2) y'' - 2x y' + l(l+1) y = 0，其中 l 是一個可由你撥動的常數。那個看起來怪怪的組合 l(l+1) 並非偶然——正如我們將看到的，它恰恰是從幾何中掉出來的形狀。

下面是它如何出現的簡短版本。取拉普拉斯方程 nabla^2 V = 0，這是靜電學與重力的主方程，把它寫到球座標裡。然後用分離變量法——把未知函數拆成徑向部分、極角部分和方位角部分的乘積。徑向與方位角部分都能輕鬆解出；而極角部分，在代換 x = cos(theta) 之後，恰好就是勒讓德方程。所以這裡的 x 不是長度——它是從北極量起的夾角的餘弦，取值落在從 -1 到 +1 的區間上。

用級數求解——以及一樁幸運的意外

x = 0 是這個方程的常點（那裡沒有任何東西發散），所以樸素的冪級數法就適用——不必動用你為奇點所學的那套更笨重的弗羅貝尼烏斯機器。代入 y = sum of a_k x^k，塞進 (1 - x^2) y'' - 2x y' + l(l+1) y = 0，再按 x 的冪次歸併。對齊下標之後，你會得到一個把 a_{k+2} 與 a_k 相聯繫的兩項遞迴關係：a_{k+2} = a_k 乘 [k(k+1) - l(l+1)] / [(k+1)(k+2)]。自由地選取 a_0 與 a_1，就給出任何二階方程都該有的兩個獨立解。

現在盯緊那個遞迴關係，看好戲上演。分子是 k(k+1) - l(l+1)。當 k 恰好等於 l 的那一刻，這個因子正好為零——於是 a_{l+2} = 0，接著 a_{l+4} = 0，整條級數的尾巴全部坍縮為零。如果 l 是非負整數，兩條級數中就有一條乾脆終止：它不再是無窮級數，而成了一個貨真價實的、次數為 l 的多項式。這正是本主題核心處那樁幸運的意外。把每個這樣的多項式歸一化，使它在 x = 1 處取值為 1，你就得到了勒讓德多項式 P_l(x)。

Recurrence:  a_{k+2} = a_k * [ k(k+1) - l(l+1) ] / [ (k+1)(k+2) ]

Numerator vanishes when k = l  =>  series stops at degree l.

First few Legendre polynomials (normalized P_l(1) = 1):
  P_0(x) = 1
  P_1(x) = x
  P_2(x) = (1/2)(3 x^2 - 1)
  P_3(x) = (1/2)(5 x^3 - 3 x)
  P_4(x) = (1/8)(35 x^4 - 30 x^2 + 3)

遞迴關係在 l 次處把級數截斷；由此得到、並歸一化為 P_l(1) = 1 的多項式，就是勒讓德多項式。

不過對另一個解也要誠實。對每個整數 l，兩條級數裡只有一條會終止；與之配對的解（記作 Q_l，即第二類勒讓德函數）仍是無窮級數，並在 x = +1 與 x = -1 處發散——恰恰是北極和南極。物理把它丟棄，因為真實的勢在那裡必須保持有限。所以多項式並非全部故事；它們只是經受住有限性要求而存活下來的那一半。

同一對象的三副面孔

一個特殊函數一旦安頓下來，數學家們就會收集召喚它的不同方式，而每一副面孔都擅長一類不同的活兒。我們剛搭好的「級數加遞迴」這副面孔，適合用來逐項地證明命題。第二副面孔是羅德里格斯公式，一個簡潔的單一表達式：P_l(x) = (1 / (2^l l!)) 乘以 (x^2 - 1)^l 的第 l 階導數。把 (x^2 - 1)^l 恰好求導 l 次，再乘上那個常數，整個多項式就完整地蹦出來了——不需要任何遞迴記賬。

第三副面孔是一個生成函數，也是物理學家私下裡最鍾愛的那一副：1 / sqrt(1 - 2 x t + t^2) = sum over l of P_l(x) t^l。把所有勒讓德多項式打包進一個關於 t 的冪級數的係數裡。這不是一個喬裝成公式的巧合——那個左端正是出現在每個靜電學問題裡的倒數距離 1/|r - r'|，按距離比的冪次展開的結果。所以這個生成函數實際上就是在說「點電荷的勢，用球諧展開寫出來」。三副面孔——級數、羅德里格斯、生成函數——三者描述的都是同一族 P_l(x)。

正交性：讓它們好用的那條性質

關於這些多項式，最重要的一個事實是：它們在從 -1 到 +1 的區間上彼此正交。具體地說：從 -1 到 1 對 P_m(x) P_n(x) dx 的定積分，在 m 與 n 不同時為零，在 m = n 時等於 2/(2n+1)。把每個 P_l 想成函數無窮維空間裡的一個「方向」，把這個積分想成點積；正交性是在說這些方向彼此垂直，就像 x、y、z 三個座標軸。這種垂直不是運氣——它之所以成立，是因為勒讓德方程是一個斯圖姆–劉維爾問題，而這類問題總會交給你一族正交的解。

正交性為什麼這麼要緊？因為它讓你能把 -1 到 1 上任意一個像樣的函數 f(x)，寫成一個勒讓德級數：f(x) = sum over l of c_l P_l(x)。要求出某個特定的係數 c_n，你不必去解一個龐大的線性方程組——你只要做投影，正如你靠把向量與 x 軸作點積來讀出它的 x 分量一樣。把兩邊同乘 P_n(x)，從 -1 到 1 積分，右端每一項都因正交性而消失，只剩第 n 項。存活下來的便給出 c_n = [(2n+1)/2] 乘以從 -1 到 1 對 f(x) P_n(x) dx 的積分。每個係數一個積分，各自獨立算出。這與傅里葉級數是同一個思想——正弦餘弦是一族正交函數，勒讓德多項式則是適配於球面的另一族。

它們究竟出現在哪裡

從靜電學說起，那是它的主場。假設你知道一個球面上的電壓隨緯度的變化，並想求出球外各處的勢。一旦手裡有了勒讓德多項式，配方就是機械的。把邊界數據按 cos(theta) 展開成勒讓德級數；給每個 P_l(cos theta) 配上分離後的徑向方程所提供的徑向解 r^l（球內）或 1/r^{l+1}（球外）；再把它們加起來。l = 0 項是單極子（總電荷），l = 1 是偶極子，l = 2 是四極子——著名的多極展開，無非就是一個關於角度的勒讓德級數，再附上那些徑向冪次。

在球座標下分離拉普拉斯方程；其中的極角因子，令 x = cos(theta)，滿足勒讓德方程。
要求解在兩極 x = +1 與 x = -1 處保持有限；這迫使 l 取非負整數，並選出 P_l，丟棄發散的搭檔 Q_l。
把邊界數據展開成勒讓德級數來匹配；用正交積分作投影，逐個讀出係數。
給每個角向項 P_l(cos theta) 配上它的徑向搭檔（球內 r^l，球外 1/r^{l+1}）再求和——這就是完整的勢。

再看更深一層的出場：氫原子。描述束縛在質子上的電子的薛丁格方程，又是一個球對稱問題，於是它以同樣的方式分離，極角因子又一次由勒讓德方程支配（確切地說，一旦方位角指標進來，是它的連帶表親）。那個讓級數終止的整數 l，恰恰就是軌道角動量的量子數，而組合 l(l+1)，至多差個常數，正是角動量平方算符的本徵值。電子角動量之所以以整數步長量子化，原因與勒讓德級數之所以必須終止是同一個：只有整數 l 才能讓波函數在兩極保持有限。你見過的那些標著 s、p、d、f 軌道的形狀，就是 P_l 及其連帶親屬的圖像。

可以帶走的模式

退一步，看清剛剛發生之事的形狀，因為接下來的指南會幾乎一字不差地用貝塞爾和埃爾米特重演它。一個帶對稱性的物理問題逼出某個特定的常微分方程。用級數去解它，會產生一個遞迴關係；一個量子化條件（此處是 l 取非負整數）讓級數終止或保持良好行為；存活的解組成一族正交函數；而那種正交性把「在這組基裡展開任意函數」變成了每個係數一個投影積分的例行公事。勒讓德是這台機器最乾淨的頭一個實例，因為它的解是貨真價實的多項式。

留一個誠實的提醒讓你腳踏實地：終止成多項式是整數 l 的特權。對非整數的 l，勒讓德方程仍然有完全合理的解，但它們是真正的無窮級數（勒讓德函數，而非多項式），通常在兩極處行為不佳。你一路遊歷的那個乾淨的多項式世界之所以存在，恰恰是因為物理在一個閉合球面上要求有限性，從而選出了整數值——幾何悄然地選擇了算術。真正的教訓不是多項式本身，而是這條選擇原理。