複素解析：積分路も定理の仮定に含まれる
積分路を大きくしても答えが変わらないとは限らない。特異点を横切ると、定理が要求する正則な領域が失われる。図と局所計算を組み合わせて判断しよう。
学習順路・例題の編集責任：University Reading List編集プロジェクト。 編集と選定の方法 · 出典確認日:
このページの目次
対象と編集責任
正則関数、コーシー公式、孤立特異点への初学経路。無料のBeckらを主軸に、簡潔なAhlforsと幾何的なNeedhamを比較する。高度な関数論や位相幾何全体を扱う課程ではない。
出発点を選ぶ
古典的で厳密な記述が必要
証明型微積分の後にAhlforsを使い、中間の論証も補う。
三冊を比較する
A First Course in Complex Analysis（複素解析入門）
Matthias Beck; Gerald Marchesi; Dennis Pixton; Lucas Sabalka · 版: 1.6 · 2025
無料の初学主教材
- 選ぶ場面
- 実微積分と短い証明が使える。
- 別の教材が適する場面
- 積分の技巧表だけが必要。
- 読む範囲
- 版1.6の複素積分、コーシー公式、特異点、留数。
- 限界と注意点
- 大規模な実解析を前提にせず必要事項を展開するが、証明の作業は残る。
選ぶ前に試す
e^z/[z²(z−3)]の極と|z|=1を描く。
確認すること: 内部は0のみ。F=e^z/(z−3)は閉円板の近傍で正則。
Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable（複素解析：一複素変数解析関数論入門）
Lars V. Ahlfors · 版: 3 · 2021
簡潔な解析的参考書
- 選ぶ場面
- 極限・級数・証明に慣れ、仮定を精確に読みたい。
- 別の教材が適する場面
- 証明を初めて学び、小刻みな足場が必要。
- 読む範囲
- 選択第3版復刊の解析関数、複素積分、特異点の局所挙動。
- 限界と注意点
- 簡潔さには再読が必要。復刊年は全面改訂を意味しない。
選ぶ前に試す
F′(0)を積の微分則で二項とも求める。
確認すること: −1/3−1/9=−4/9となる。
Visual Complex Analysis（ヴィジュアル複素解析）
Tristan Needham · 版: 25th anniversary · 2023
幾何的な併読書
- 選ぶ場面
- 巻き数や変形の図が理解を助ける。
- 別の教材が適する場面
- 短い計算辞典や、正則領域の検査を省く手段が必要。
- 読む範囲
- Complex Integration: Cauchy’s TheoremとCauchy’s Formula、先行する幾何的基礎。
- 限界と注意点
- 豊かな図にも、横切る全特異点の記入が要る。
選ぶ前に試す
半径1から4への変形に障害を記す。
確認すること: 間に極3があり、その横断には変形不変性を使えない。
準備を確認する
複素正則関数の商を微分できるか
z≠3でF′=e^z/(z−3)−e^z/(z−3)²。
内部で正則とは何か
積分路上だけでなく、使う定理が要求する内側の領域全体を指す。
向きと半径を区別できるか
両例とも反時計回り。向きだけ逆転すれば各積分の符号も逆転する。
六つのステップで学ぶ
完了したステップ: 0 / 6
自己記録用のチェックであり、評価ではありません。チェック情報は当サイトに送信されません。
-
領域を描く
読む範囲: 関数と孤立特異点。
取り組む課題: 二円と二極を描き分類する。
確認すること: 0は二重、3は単純で、経路上にはない。
-
適用する定理を述べる
読む範囲: コーシー微分公式。
取り組む課題: f=F/z²と書き、Fの正則領域を指定する。
確認すること: 小円板では成立、大円板では不成立。
-
局所係数を求める
読む範囲: 級数と微分公式。
取り組む課題: 零点近傍のz^−1係数を二方法で求める。
確認すること: 両方−4/9。
-
小円を解く
読む範囲: コーシー公式または留数。
取り組む課題: 向きを含む積分と寄与する極を書く。
確認すること: −8πi/9。
-
領域を変える
読む範囲: 留数定理と追試。
取り組む課題: 新たな単純極の留数を加える。
確認すること: 追加寄与は2πi e³/9。
-
変形の主張を監査
読む範囲: 二解と図。
取り組む課題: 正しい変形と極を横切る誤った変形を書く。
確認すること: 円が大きいだけでなく、特定の極が理由になる。
解答付きの例題
小円内の二重極
f(z)=e^z/[z²(z−3)]を|z|=1上で反時計回りに一周積分し、領域の根拠も示せ。
前提
正確な複素計算。指数関数は整関数。経路上に特異点はない。
- 0は二重極、3は単純極。小円内は0のみ。F=e^z/(z−3)は閉単位円板の近傍で正則。
- 微分公式より積分は2πi F′(0)。微分してF′(0)=−1/3−1/9=−4/9。
- 級数e^z=1+z+…、1/(z−3)=−1/3−z/9−…からもFのz係数、すなわちfの留数は−4/9。
解答と解釈
積分は−8πi/9。
結果を検証する
微分と級数が一致する。3が寄与しない理由は外にあることで、留数ゼロではない。
前提を変えて考える
新しい極を囲むと定理の使い方が変わる
fと向きを保ち、|z|=4に変える。先の微分公式を大円板全体にそのまま使えない理由を述べよ。
- 今は両極を含む。0の局所留数は変わらず−4/9。
- 3の留数はlim(z→3)(z−3)f=e³/9。留数定理で両者を足す。
- Fは大円板で正則でない。小円へ縮める際3を横切るため、元の正則領域の仮定が失われる。
解答と解釈
2πi(e³−4)/9。小円との差は2πi e³/9。
結果を検証する
両極を避ける変形では不変。3を横切る変形ではその極の巻き数が変わり、差を説明する。
よくある誤り
経路上だけ確認
円上で有限でも内部に極がありうる。
微分の項を落とす
指数因子と逆数因子の両方を微分する。
変形を自由な作図と考える
変形は正則領域内に留まる必要がある。
次に進む前に
- コーシー公式の領域仮定を述べる。
- 二重極の留数を微分と級数で求める。
- 新たに囲んだ極で積分の変化を説明する。
出典と版の確認
出典確認日:
- Authors: first course, version1.6
著者版1.6は留数への初学経路で、指定ライセンスに従い無料利用できる。
- CiNii: exact AMS third-edition reprint
選択AMS本は第3版の復刊で、2021年の新著ではない。
- Oxford:25th-anniversary geometric approach
記念版は複素積分とコーシー公式を幾何的に扱う。
提案する学習活動であり、公式の課題や全巻通読の主張ではありません。