複素解析 初級

Complex Analysis - Basic

大学1-2年レベル

この章の目標

  • 複素微分の定義を理解し、正則関数の概念を学ぶ
  • コーシー・リーマンの方程式と正則性の関係を理解する
  • 複素積分(曲線に沿った積分)の計算ができるようになる
  • コーシーの積分定理・積分公式を理解し応用できる
  • べき級数展開と解析関数の理論を学ぶ

前提知識

  • 入門の内容(複素数、複素平面、指数関数・対数関数)
  • 微分積分(偏微分、線積分の基本)

章の構成

第1章: 複素微分と正則関数

複素微分の定義、正則関数の概念、整関数と微分可能性の強さを学ぶ。

第2章: コーシー・リーマンの方程式

コーシー・リーマンの方程式の導出と正則性との同値性、調和関数を学ぶ。

第3章: 複素積分

曲線に沿った積分の定義、パラメータ表示、基本的な計算方法を学ぶ。

第4章: コーシーの積分定理

コーシーの積分定理、単連結領域、グルサの定理、不定積分を学ぶ。

第5章: コーシーの積分公式

コーシーの積分公式とその高階微分への拡張、モレラの定理、リウヴィルの定理を学ぶ。

第6章: べき級数と解析関数

べき級数の収束半径、解析関数、テイラー展開、一致の定理を学ぶ。

第7章: 最大絶対値の原理

コーシーの不等式、最大絶対値の原理、シュワルツの補題を学ぶ。

第8章: 練習問題

初級レベルの理解を確認するための演習問題集。

補足記事

ローラン級数

ローラン級数の定義・収束環状領域・特異点の分類・留数との関係を学ぶ。

整関数

複素平面全体で正則な関数。多項式・指数関数・三角関数などが例で、リウヴィルの定理と深く結びつく。

オイラーの公式

指数関数と三角関数を一本に結ぶ複素解析の要。複素数の掛け算が平面の回転になることの源。

リウヴィルの定理

有界な整関数は定数に限るという定理。代数学の基本定理の簡潔な証明にも使われる。

モレラの定理

コーシーの積分定理の逆。閉曲線に沿う積分が常に0なら、その関数は正則である。

概要

初級では、複素解析の基本的な理論を学ぶ。ここで扱う複素解析は一変数複素関数論を中心とし、実数の微分積分学を複素数に拡張した理論である。

複素解析の特徴は、実数の場合と比べて驚くほど美しい性質が成り立つことである:

  • 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$ のような実積分・フーリエ変換・ラプラス逆変換などに強力に応用できる。