最急降下の積分路による複素積分の漸近評価

複素積分 $\int_{C} e^{λ f (z)} g (z) d z$ で鞍点 $f^{'} (z_{0}) = 0$ を求め、 $f^{''} (z_{0})$ の偏角から最急降下の向き（ $Im f$ 一定の路）を決めて積分路をその路に変形し、ガウス積分によって $λ \to \infty$ の主要項 $g (z_{0}) e^{λ f (z_{0})} \frac{2 π}{- λ f ^{''} ( z _{0} )}$ （位相因子を含む）と次の補正項を求められる

前提

鞍点法による係数の漸近形（大学院数学特殊関数・漸近解析）

この技能までの道筋（79 技能）

算数中学高校大学大学院

読み込み中…

右端（太枠）がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る（前提が先）

分数のたし算・ひき算（算数計算と数のきまり）
小数の四則計算（算数計算と数のきまり）
正負の数の加法・減法（中学数学数と式）
分数のかけ算・わり算（算数計算と数のきまり）
四則の混じった計算の順序（算数計算と数のきまり）
正負の数の乗除・累乗と四則混合（中学数学数と式）
分配法則を使った計算のくふう（算数計算と数のきまり）
文字式の計算（同類項・分配法則）（中学数学数と式）
乗法公式による展開（中学数学数と式）
因数分解（中学数学数と式）
3 次式までの展開と因数分解（数学I 数と式）
微分係数と導関数の定義（数学II 微分法と積分法）
多項式の微分（数学II 微分法と積分法）
等間隔にならんだ数の和（算数計算と数のきまり）
等差・等比数列の和と Σ （数学B 数列）
数列の極限（数学III 極限）
関数の極限（数学III 極限）
積と商の微分（数学III 微分法）
合成関数の微分（数学III 微分法）
偏微分と全微分（大学数学微分積分）
小数と分数のまじった計算（算数計算と数のきまり）
逆算（□ を求める）（算数計算と数のきまり）
1 次方程式の解き方（中学数学方程式）
比例・反比例の式とグラフ（中学数学関数）
約数の見つけ方（算数整数の性質）
素因数分解と約数の個数（算数整数の性質）
平方根の意味と根号の簡単化（中学数学数と式）
関数 $y = a x^{2}$ の式と変域（中学数学関数）
平方完成と 2 次関数のグラフ（数学I 2次関数）
複素数と 2 次方程式の虚数解（数学II 複素数と方程式）
複素数の相等（数学II 複素数と方程式）
正則関数とコーシー・リーマンの方程式（大学数学複素関数）
2 次不等式（数学I 2次関数）
剰余の定理・因数定理と高次方程式（数学II 複素数と方程式）
増減表と極値（数学II 微分法と積分法）
関数の連続性と中間値の定理（数学III 極限）
平均値の定理（数学III 微分法）
第 2 次導関数とグラフの凹凸（数学III 微分法）
円の周の長さと面積（算数平面図形）
おうぎ形の弧の長さと面積（算数平面図形）
弧の長さからおうぎ形の中心角と面積を求める（中学数学平面図形）
三角形・四角形の面積（算数平面図形）
三平方の定理（中学数学相似と三平方の定理）
特別な直角三角形の辺の比（中学数学相似と三平方の定理）
弧度法と単位円による三角関数（数学II 三角関数）
$sin x / x$ の極限（数学III 極限）
加法定理と 2 倍角・半角・積和の公式（数学II 三角関数）
三角関数の導関数（数学III 微分法）
根号の乗除と加減（中学数学数と式）
指数の拡張と指数関数（数学II 指数関数と対数関数）
対数の定義と性質（数学II 指数関数と対数関数）
自然対数の底 $e$ （数学III 極限）
指数関数・対数関数の導関数（数学III 微分法）
増減・凹凸・漸近線とグラフ（数学III 微分法）
テイラー展開（大学数学微分積分）
無限等比級数と無限級数（数学III 極限）
べき級数と収束半径（大学数学微分積分）
オイラーの公式（大学数学微分積分）
極形式と積・商（数学C 複素数平面）
複素数の指数関数・対数関数と分枝（大学数学複素関数）
複素線積分とコーシーの積分定理（大学数学複素関数）
コーシーの積分公式（大学数学複素関数）
多項式の不定積分（数学II 微分法と積分法）
基本的な関数の不定積分（数学III 積分法）
置換積分（数学III 積分法）
部分積分（数学III 積分法）
定積分の計算（数学II 微分法と積分法）
定積分の置換・部分積分と偶関数・奇関数（数学III 積分法）
広義積分（大学数学微分積分）
ルベーグ積分の計算（大学院数学測度論・実解析）
単調収束定理・優収束定理（大学院数学測度論・実解析）
微分を使った不等式の証明（数学III 微分法）
置換と優収束定理による積分の極限（大学院数学測度論・実解析）
重積分と累次積分（大学数学微分積分）
多変数の連鎖律（大学数学微分積分）
重積分の変数変換とヤコビアン（大学数学微分積分）
ガウス積分（大学数学微分積分）
ラプラスの方法（ガウス型の極限）（大学院数学測度論・実解析）
鞍点法による係数の漸近形（大学院数学特殊関数・漸近解析）

説明

パラメータ $λ$ が大きいときの複素積分 $I (λ) = \int_{C} e^{λ f (z)} g (z) d z$ の振る舞いを、積分路を「鞍点 $z_{0}$ （ $f^{'} (z_{0}) = 0$ ）を最も急に下る路」に付け替えてから鞍点のまわりをガウス積分で近似することで求めます。実軸上の山の頂上を使うラプラスの方法を複素平面へ広げたもので、激しく振動する積分（フーリエ型の積分、エアリー関数・ベッセル関数の積分表示、経路積分の準古典近似など）の漸近形を求めるのに使います。主要項だけでなく、 $1/ λ$ の補正項も同じ展開から系統的に得られます。

なぜそうしてよいのか

$f$ が正則なら、コーシーの積分定理により、両端（や無限遠での減衰する方向）を変えない限り積分路を自由に変形できます。 $λ$ が大きいと $∣ e^{λ f} ∣ = e^{λ Re f}$ は $Re f$ が最大の点の近くでだけ大きく、一方 $e^{iλ Im f}$ は激しく振動して打ち消し合いを起こします。そこで $Im f$ が一定の路を選べば振動が消え、積分はラプラスの方法と同じ「実数の山の積分」になります。正則関数の実部は（コーシー・リーマンの方程式から調和関数なので）路の途中で極大をもてず、 $Im f$ 一定の路の上で $Re f$ が最大になるのは $f^{'} (z_{0}) = 0$ の鞍点だけです。鞍点を通る $Im f$ 一定の路のうち、 $Re f$ が両側へ下がっていくものが最急降下の路です。

鞍点の近くで $z = z_{0} + w$ とおき $f (z) \approx f (z_{0}) + \frac{1}{2} f^{''} (z_{0}) w^{2}$ とします。 $- f^{''} (z_{0}) = ρ e^{i α}$ （ $ρ > 0$ ）と書き、 $w = r e^{i θ}$ とすると $\frac{1}{2} f^{''} w^{2} = - \frac{1}{2} ρ r^{2} e^{i (α + 2 θ)}$ です。これが負の実数になる（ $Im f$ 一定で $Re f$ が下がる）のは $θ = - α /2$ または $- α /2 + π$ の向きで、これが最急降下の向きです。元の路の向きに合う方の $θ$ を選び $w = r e^{i θ}$ （ $r$ は実数）と置換すると、ガウス積分 $\int_{- \infty}^{\infty} e^{- λ ρ r^{2} /2} d r = 2 π / (λ ρ)$ より
$I (λ) ≃ g (z_{0}) e^{λ f (z_{0})} e^{i θ} \frac{2 π}{λ ρ} = g (z_{0}) e^{λ f (z_{0})} \frac{2 π}{- λ f ^{''} ( z _{0} )}$
となります。最後の平方根は「偏角が $θ$ になる枝」と読みます。これが位相因子 $e^{i θ}$ の意味です。

補正項は、指数の 3 次・4 次の項と $g$ のテイラー展開を残して展開し、ガウス積分のモーメント $⟨ w^{2} ⟩ = \frac{1}{λ A}, ⟨ w^{4} ⟩ = \frac{3}{( λ A ) ^{2}}, ⟨ w^{6} ⟩ = \frac{15}{( λ A ) ^{3}}$ （ $A = - f^{''} (z_{0})$ 、奇数次は 0）で項別に積分すれば得られます。 $f_{k} = f^{(k)} (z_{0})$ 、 $g_{k} = g^{(k)} (z_{0})$ として $1/ λ$ の次数まで集めると
$I (λ) ≃ e^{λ f_{0}} \frac{2 π}{λ A} [g_{0} + \frac{1}{λ} (\frac{g _{2}}{2 A} + \frac{g _{1} f _{3}}{2 A ^{2}} + \frac{g _{0} f _{4}}{8 A ^{2}} + \frac{5 g _{0} f _{3}^{2}}{24 A ^{3}}) + \dots]$
です。各項はそれぞれ $\frac{g _{2}}{2} ⟨ w^{2} ⟩$ 、 $g_{1} \frac{λ f _{3}}{6} ⟨ w^{4} ⟩$ 、 $g_{0} \frac{λ f _{4}}{24} ⟨ w^{4} ⟩$ 、 $g_{0} \frac{1}{2} (\frac{λ f _{3}}{6})^{2} ⟨ w^{6} ⟩$ から来ています。

手順

$f^{'} (z) = 0$ を解いて鞍点を求め、変形した積分路が実際に通る鞍点 $z_{0}$ を選ぶ（積分路の両端が $e^{λ f} \to 0$ となる領域にとどまるように変形できるものを選ぶ）。
$f_{0} = f (z_{0})$ と $- f^{''} (z_{0}) = ρ e^{i α}$ を計算し、最急降下の向き $θ = - α /2$ （または $+ π$ ）のうち、元の積分路の進む向きに合う方を選ぶ。
コーシーの積分定理で積分路を鞍点を通る $Im f = Im f_{0}$ の路に付け替え、鞍点の近くで $z = z_{0} + r e^{i θ}$ と置く。
ガウス積分で主要項 $g (z_{0}) e^{λ f_{0}} e^{i θ} 2 π / (λ ρ)$ を求める。
補正項が必要なら $f_{3}, f_{4}, g_{1}, g_{2}$ を計算し、 $\frac{1}{λ} (\frac{g _{2}}{2 A} + \frac{g _{1} f _{3}}{2 A ^{2}} + \frac{g _{0} f _{4}}{8 A ^{2}} + \frac{5 g _{0} f _{3}^{2}}{24 A ^{3}})$ （ $A = - f^{''} (z_{0})$ ）を主要項の括弧に加える。

例題

$λ > 0$ に対して
$I (λ) = \int_{- \infty}^{\infty} exp [iλ (\frac{x ^{3}}{3} + x)] d x$
（ $x$ は実数、広義積分）を考える。 $λ \to \infty$ で
$I (λ) = C λ^{- 1/2} e^{- 2 λ /3} (1 + \frac{c _{1}}{λ} + O (λ^{- 2}))$
と表されるとき、定数の組 $(C, c_{1})$ を求めよ。

例題の解答

$f (z) = i (\frac{z ^{3}}{3} + z)$ 、 $g = 1$ とする。

手順 1: $f^{'} (z) = i (z^{2} + 1) = 0$ より鞍点は $z = \pm i$ 。 $e^{iλ z^{3} /3}$ は $0 < ar g z < π /3$ と $2 π /3 < ar g z < π$ で減衰するので、実軸の積分路は両端をこれらの領域に保ったまま上半平面へ押し上げられる。路は $z_{0} = i$ を通る（ $z = - i$ を通ると端を減衰領域に保てない）。

手順 2: $f_{0} = i (\frac{i ^{3}}{3} + i) = i \cdot \frac{2 i}{3} = - \frac{2}{3}$ 。 $f^{''} (z) = 2 i z$ より $f^{''} (i) = - 2$ 、よって $A = - f^{''} (i) = 2$ 、 $ρ = 2, α = 0$ 。最急降下の向きは $θ = 0$ （元の路と同じ左から右）。

手順 3: 積分路を $z = i + r$ （ $r$ 実数）の水平線に付け替える。実際 $f (i + r) = - \frac{2}{3} - r^{2} + \frac{i r ^{3}}{3}$ で、鞍点の近くでは虚部が $O (r^{3})$ と小さく、 $Re f$ は $r = 0$ で最大になる。

手順 4: 主要項は
$e^{- 2 λ /3} \frac{2 π}{2 λ} = π λ^{- 1/2} e^{- 2 λ /3}$
なので $C = π$ 。

手順 5: $f^{'''} (z) = 2 i$ より $f_{3} = 2 i$ 、 $f_{4} = 0$ 、 $g_{1} = g_{2} = 0$ 。補正は
$\frac{5 f _{3}^{2}}{24 A ^{3}} = \frac{5 \cdot ( 2 i ) ^{2}}{24 \cdot 8} = \frac{- 20}{192} = - \frac{5}{48} .$
よって $c_{1} = - \frac{5}{48}$ 。

答え: $(C, c_{1}) = (π, - \frac{5}{48})$ 。

答え: $(π, - \frac{5}{48})$

よくある誤り

$f^{'} (z) = 0$ の解をすべて足し合わせてしまう誤り。例題で $z = - i$ も入れると $f (- i) = + \frac{2}{3}$ から $e^{+ 2 λ /3}$ で増大する誤った項が現れるが、両端を減衰領域に保ったまま実軸を下半平面の $z = - i$ を通る路に変形することはできない。正しくは、積分路を変形して実際に通る鞍点（例題では $z_{0} = i$ ）だけを数える。
位相因子を落として $2 π / (λ ∣ f^{''} (z_{0}) ∣)$ としてしまう誤り。例えば $\int_{- \infty}^{\infty} e^{iλ x^{2} /2} d x$ では $- f^{''} = - i = e^{- iπ /2}$ なので最急降下の向きは $θ = π /4$ で、正しくは $e^{iπ /4} 2 π / λ$ である。
$2 π / (- λ f^{''} (z_{0}))$ の枝を主値で機械的に決めてしまう誤り。枝は元の積分路の向きで決まり、最急降下の路を逆向きに通るなら $θ$ に $π$ を足して符号が反転する。偏角が実際の通過方向 $θ$ と一致する値を選ぶ。
補正項で 3 次の項の 2 乗の寄与を忘れ、 $\frac{1}{λ} \frac{g _{0} f _{4}}{8 A ^{2}}$ だけを残す誤り。 $e^{λ f_{3} w^{3} /6}$ を 2 次まで展開した $\frac{1}{2} (\frac{λ f _{3}}{6})^{2} w^{6}$ も $⟨ w^{6} ⟩ = 15/ (λ A)^{3}$ により $1/ λ$ の次数に効き、 $\frac{5 g _{0} f _{3}^{2}}{24 A ^{3}}$ を与える。例題ではこの項だけが残り $c_{1} = - 5/48$ となる。

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

準備中です。