tecktom.com

要点整理

2026年10月15日4分で読めますAI生成教科書『基礎理論』第3章 Laurent 展開と留数定理

AI 生成・木下が未勉強

応用数学入門 第3章 §3.1 ★★★ 留数=Laurent の c−1c_{-1}、mm 位極の公式、p/qp/q 型は p(a)/q′(a)p(a)/q'(a)。真性特異点は展開一択

孤立特異点 z=az=a のまわりで正則関数はLaurent 級数f(z)=∑n=−∞∞cn(z−a)nf(z)=\sum_{n=-\infty}^{\infty}c_n(z-a)^n に展開できる。負冪の部分(主要部)の (z−a)−1(z-a)^{-1} の係数 c−1c_{-1} を留数 Res⁡z=af\operatorname{Res}_{z=a}f と呼ぶ。基本積分(2.3)より、閉曲線積分に 00 でない値を残すのはこの項だけである。

主要部が何項あるかで、孤立特異点は三種類に分かれる。この分類は後で「どの留数公式が使えるか」を決めるので、計算に入る前に必ず確定させる。

要点

孤立特異点の三分類と、使える留数公式 ★★

主要部(負冪の項)名称留数の求め方
なし除去可能特異点Res⁡=0\operatorname{Res}=0(値を補えば正則)
有限個(最低次 −m-m)mm 位の極mm 位の極の公式が使える
無限個真性特異点Laurent 展開一択

判定は「(z−a)mf(z)(z-a)^m f(z) が z→az\to a で有限の 00 でない極限をもつような自然数 mm があるか」で行う。どんな mm を取っても (z−a)mf(z)(z-a)^mf(z) が発散するなら真性特異点である。典型例は e1/z\mathrm{e}^{1/z}(z=0z=0)・sin⁡(1/z)\sin(1/z)(z=0z=0)・cos⁡(1/z)\cos(1/z)(z=0z=0)。

真性特異点で極の公式が破綻する理由

mm 位の極の公式

Res⁡z=af=1(m−1)!lim⁡z→a ⁣dm−1 ⁣dzm−1[(z−a)mf(z)]\operatorname{Res}_{z=a}f=\frac{1}{(m-1)!}\lim_{z\to a}\frac{\mathop{}\!\mathrm{d}^{m-1}}{\mathop{}\!\mathrm{d} z^{m-1}}\bigl[(z-a)^mf(z)\bigr]

は、(z−a)mf(z)(z-a)^mf(z) が z=az=a で正則になる(主要部が (z−a)−m(z-a)^{-m} で止まる)ことを前提にしている。真性特異点では主要部が無限に続くので、どんな mm を掛けても (z−a)mf(z)(z-a)^mf(z) はやはり z=az=a で特異なままで、極限も微分も取れない。したがって残る道は、Laurent 展開を実際に書き下して(z−a)−1(z-a)^{-1} の係数を読むことだけである。幸い実際によく現れる真性特異点はe1/z\mathrm{e}^{1/z} のように既知の級数(ew=∑wk/k!\mathrm{e}^w=\sum w^k/k!)に w=1/zw=1/z を代入するだけで展開できる形に作られているので、展開そのものは難しくない。

要点

留数定理。ff が閉曲線 CC の内部で有限個の孤立特異点 aka_k を除き正則なら

∮Cf(z) ⁣dz=2πi∑kRes⁡z=akf.\oint_C f(z)\mathop{}\!\mathrm{d} z=2\pi\mathrm{i}\sum_k\operatorname{Res}_{z=a_k}f.

留数の計算:aa が mm 位の極なら

Res⁡z=af=1(m−1)!lim⁡z→a ⁣dm−1 ⁣dzm−1[(z−a)mf(z)].\operatorname{Res}_{z=a}f=\frac{1}{(m-1)!}\lim_{z\to a}\frac{\mathop{}\!\mathrm{d}^{m-1}}{\mathop{}\!\mathrm{d} z^{m-1}}\bigl[(z-a)^m f(z)\bigr].

とくに単純極(m=1m=1)では Res⁡z=af=lim⁡z→a(z−a)f(z)\operatorname{Res}_{z=a}f=\lim_{z\to a}(z-a)f(z)、f=p/qf=p/q で qq が単純零点なら Res⁡=p(a)/q′(a)\operatorname{Res}=p(a)/q'(a)。

留数の物理的な意味は「特異点が積分に落とす『おつり』」である。特異点を囲むか囲まないかで積分値が 2πi×2\pi\mathrm{i}\times(留数の和)だけ変わる。実積分を複素積分に持ち上げて留数で処理する(第4・5章)のが本書の主目的である。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『基礎理論』の記事一覧へ