4手法の統一的まとめ

応用数学入門　第8章 §8.8　★★ 4手法を1枚に俯瞰。総点検に有効

手法の比較

★★　適用条件・主要項オーダー・位相因子の対応表

共通の3ステップ構造

★★★　路変形→局所近似→系統展開。どの問題もこの型で解ける

4つの手法はすべて、次の3ステップの変形から成る：

1. 積分路の変形：コーシーの定理を用いて、鞍点を通る最急降下路（等位相線）へと積分路を変形する。等位相線の枝のうち、無限遠で $\operatorname{Re} g \to -\infty$ となる枝（最急降下路）を選ぶ。
2. 局所近似：鞍点まわりでテイラー展開し、ガウス積分に帰着させる。
3. 系統的展開：高次のテイラー係数を取り込んで漸近展開の各項を得る。

漸近展開と収束級数の違い

★　発散級数でも最適打切りで指数的精度になる背景の理解

漸近展開 $I(\lambda) \sim \sum_n a_n \lambda^{-n-1/2}$ は次の意味で用いられる。任意の $N$ に対して

$$\begin{gathered}\left| I(\lambda) - \mathrm{e}^{\lambda g(z_0)}\sum_{n=0}^{N} a_n \lambda^{-n-1/2} \right| = O\!\left(\lambda^{-(N+3/2)}\right) \quad (\lambda \to \infty).\end{gathered}$$

$\lambda$ を固定して $N \to \infty$ としたとき、右辺は一般に $0$ に収束しない（発散）。しかし $N \approx \lambda$ で最適打ち切りをすると、残差は $O(\mathrm{e}^{-c\lambda})$ の指数的精度を達成する。