沃森引理（Watson's lemma）
/ WOT-sun /
沃森引理是把拉普拉斯方法升級為完整漸近級數的那套精確、逐項的記帳法。拉普拉斯方法只給你尖峰積分的主導估計，沃森引理卻告訴你按大參數冪次展開的整個級數——而且依靠一個俐落的配方：把被積函數中緩變的那部分在相關端點附近展開，再逐項積分。
其情境是拉普拉斯型積分，即從 0 到無窮（或到某上限）的 e^(-x t) f(t) dt，在 x 趨於無窮時研究。因為對大的 x，指數 e^(-x t) 被尖銳地集中在 t = 0 附近，所以只有 f 在 t = 0 附近的行為才要緊。若 f(t) 在小 t 處有展開 f(t) ~ a_0 t^(b_0) + a_1 t^(b_1) + ...（其中指數 b_k 大於 -1，使每一片都可積），那麼用伽馬函數公式把每個冪對 e^(-x t) 積分，就逐項給出漸近級數：積分 ~ a_k Gamma(b_k + 1) / x^(b_k + 1) 之和。每個後繼項貢獻 x 的更高負冪。
這條引理是讀取由積分定義的特殊函數在大宗量處漸近行為的標準工具——伽馬函數、誤差函數、貝塞爾函數、指數積分等等——它也是「展開再積分」這一做法背後嚴格的脊梁。誠實的提醒是：所得級數通常是漸近的而非收斂的，而且它要求被積函數的重權重落在端點 t = 0；若主導貢獻反而來自內部最大值，那你就進入了拉普拉斯方法或最速下降法的領域，而不是直接用沃森引理。
對互補誤差函數型的積分，e^(x^2) 乘以從 x 到無窮的 e^(-t^2) dt，其大 x 展開為 ~ 1/(2x) - 1/(4x^3) + 3/(8x^5) - ...，正是用沃森式的逐項積分得到的。
在端點附近展開緩變因子並逐冪積分，就給出完整的漸近級數。
沃森引理只看得見 f 在端點處的局部展開；f 在遠離 t = 0 處的任何光滑特徵，對該級數而言都是指數級不可見的，對 1/x 的任何冪次項都沒有貢獻。