史特姆-劉維理論與特徵函數展開

振盪定理(oscillation theorem)

依序看吉他弦的各個模態:基音是單一個沒有內部節點的隆起,第一泛音在中間有一個節點,下一個有兩個,依此類推。振盪定理說這個模式對每個史特姆-劉維問題都是普遍的——數扭動的次數,就準確告訴你正在看哪個模態。

精確地說:對正則史特姆-劉維問題,從最小開始把特徵值排序為 lambda_1 < lambda_2 < lambda_3 < ...。則第 n 個特徵函數 u_n 在區間 (a, b) 內部恰有 n-1 個零點。基態 u_1 從不穿越零點(它通篇同號),u_2 穿越一次,u_3 穿越兩次。內部零點的數目沿著譜每往上一步就恰好增加一個——沒有間隙,也沒有意外。

這不只是趣聞。它給你一種靠觀察就能辨識並排序特徵函數的方法:數節點。它保證最低的特徵函數同號,這就是為什麼量子井的基態或衰減最慢的熱模態是無節點且為正的。它也是「較高模態振盪較甚」這句話背後的嚴格內容。其證明仰賴史特姆比較定理:每個接續的 lambda 都更大,起著更強回復係數的作用,恰好迫入多一個零點。

在 [0, L] 上配 X(0) = X(L) = 0,特徵函數為 X_n = sin(n*pi*x/L)。數內部零點:sin(pi*x/L) 沒有,sin(2*pi*x/L) 有一個(在 x = L/2),sin(3*pi*x/L) 有兩個(在 L/3 與 2L/3)。第 n 個有 n-1 個——正是定理所言。

數內部零點,就能讀出某模態在譜中的排名。

計數只算內部零點——狄利克雷端點被迫出現的零點不算在內。乾淨的「n-1 個零點」敘述是針對正則分離邊界條件;週期問題(特徵值可能二重)遵循稍作修改的節點計數規則。

又称
Sturm oscillation theoremnodal counting theorem史特姆振盪定理節點計數定理