漸近分析與攝動方法
鞍點法(saddle-point method)
想像你站在一處山口:朝一個方向走,地面升向兩座山峰;朝垂直方向走,地面落入兩道山谷。那個山口的形狀就是鞍,而鞍點法就是通過定位這樣一個點、讓它主導,來求值複指數積分的技術。實踐中「鞍點法」和「最速下降法」指的是同一圈想法;鞍點這個詞點出關鍵地標,圍道形變點出路線。
其機制是:對帶有大 M 的 e^(M f(z)) 積分,鞍點是導數為零的地方,f'(z0) = 0。因為 f 解析,它的實部(控制被積函數的大小)在平面上不可能有普通的最大值——只能有鞍點。在鞍點處,曲面 e^(M Re f) 看起來像一處山口,穿過它有一個方向,沿之高度下降得盡可能陡。讓圍道沿這個下降方向穿過鞍點,就把整個積分集中在那裡,一個局部高斯近似給出主導項,仍是 e^(M f(z0)) 乘以 sqrt(2 pi / (M |f''(z0)|)) 再乘上一個依取向而定的相位。
鞍點估計在物理與應用分析中無處不在:統計力學中態密度與配分函數的漸近、組合學中生成函數的反演(分拆數的哈代-拉馬努金公式)、光學中的駐相與射線近似、以及路徑積分的半經典極限。誠實的提醒是:該方法抓住主導的指數行為,但要得到精確的次主導修正,需要把 f 在鞍點處展開到二階以上;而當兩個鞍點高度幾乎相等時,必須把它們合併——單個鞍點並不總夠用。
把鞍點法用於分拆數 p(n) 的圍道積分,得到 p(n) ~ exp(pi sqrt(2n/3)) / (4 n sqrt(3)),即哈代-拉馬努金的主導估計。
一個複積分的單個主導鞍點,就能釘住一個組合序列的增長率。
鞍點是解析指數的臨界點,而不是通常意義下被積函數的最大值。解析函數的實部在內部沒有最大值,所以這裡「找峰」永遠意味著找一個鞍點以及穿過它的下降線。
又稱
另見