複素解析 初級
Complex Analysis - Basic
大学1-2年レベルこの章の目標
- 複素微分の定義を理解し、正則関数の概念を学ぶ
- コーシー・リーマンの方程式と正則性の関係を理解する
- 複素積分（曲線に沿った積分）の計算ができるようになる
- コーシーの積分定理・積分公式を理解し応用できる
- べき級数展開と解析関数の理論を学ぶ
前提知識
- 入門の内容（複素数、複素平面、指数関数・対数関数）
- 微分積分（偏微分、線積分の基本）
章の構成
第1章: 複素微分と正則関数
複素微分の定義、正則関数の概念、整関数と微分可能性の強さを学ぶ。
第2章: コーシー・リーマンの方程式
コーシー・リーマンの方程式の導出と正則性との同値性、調和関数を学ぶ。
第3章: 複素積分
曲線に沿った積分の定義、パラメータ表示、基本的な計算方法を学ぶ。
第4章: コーシーの積分定理
コーシーの積分定理、単連結領域、グルサの定理、不定積分を学ぶ。
第5章: コーシーの積分公式
コーシーの積分公式とその高階微分への拡張、モレラの定理、リウヴィルの定理を学ぶ。
第6章: べき級数と解析関数
べき級数の収束半径、解析関数、テイラー展開、一致の定理を学ぶ。
第7章: 最大絶対値の原理
コーシーの不等式、最大絶対値の原理、シュワルツの補題を学ぶ。
第8章: 練習問題
初級レベルの理解を確認するための演習問題集。
補足記事
概要
初級では、複素解析の基本的な理論を学ぶ。ここで扱う複素解析は一変数複素関数論を中心とし、実数の微分積分学を複素数に拡張した理論である。
複素解析の特徴は、実数の場合と比べて驚くほど美しい性質が成り立つことである：
- 1回微分可能なら無限回微分可能：実数関数では一般には成り立たない強い性質
- 正則関数はべき級数で表せる：解析関数と正則関数が一致
- コーシーの積分定理：閉曲線に沿った積分が0になる
- コーシーの積分公式：内部の値が境界の値から決まる
これらの性質の根底にはコーシー・リーマンの方程式がある。この偏微分方程式が、複素微分可能性という条件がいかに強い制約であるかを示している。
初級で学ぶ内容は、留数定理や等角写像といった中級以降の理論の基礎となる。
読み物
よくある質問
複素解析の基礎では何を学ぶか
複素数と複素平面・正則関数・Cauchy-Riemann 方程式・複素積分と Cauchy の積分定理・Taylor 展開・Laurent 展開・留数定理と実積分への応用・有理型関数の性質を学ぶ。
Cauchy-Riemann 方程式とは何か
複素関数 $f(z) = u(x,y) + iv(x,y)$ が正則（複素微分可能）であるための必要十分条件である：$\partial u/\partial x = \partial v/\partial y$、$\partial u/\partial y = -\partial v/\partial x$。これを満たす実部・虚部は共に調和関数である。
留数定理はどのような計算に役立つか
正則関数の孤立特異点での「留数」（Laurent 展開の $-1$ 次係数）を使って、複素積分を代数的に計算する。$\int_{-\infty}^{\infty} \frac{1}{x^4+1} dx$ のような実積分・フーリエ変換・ラプラス逆変換などに強力に応用できる。