コーシーの積分定理

ここではコーシーの積分定理について説明する。 いくつかの関数について閉曲線での複素線積分Cf(z)dz\int_Cf(z)dz00になったが、これは偶然ではない。

複素平面内の領域UCU\subset \mathbb{C}上の正則関数f:UCf:U\to\mathbb{C}と、 UU内の閉曲線CCが適切な条件を満たすとき、以下の式が成り立つ。

Cf(z)dz=0 \int_Cf(z)dz=0

この定理をいきなり一般的な形で証明することは難しく、いくつかの段階に分けて証明していく。 そのための準備として、閉曲線での積分と積分経路の比較、原始関数の存在と線積分の関係についてまず説明する。 その上で、長方形の周に対するコーシーの積分定理、円板に対するコーシーの積分定理、星形領域に対するコーシーの積分定理の三段階をまず証明する。 ここまで証明すれば、円周に対するコーシーの積分公式を証明することができ、その上で正則関数の解析性や留数定理を導くことができる。

目次

  1. 原始関数の存在と閉曲線での線積分
  2. 長方形に対するコーシーの積分定理
  3. 円板上正則な関数の原始関数の存在
  4. 星形領域上正則な関数の原始関数の存在
  5. 曲線の連続変形と線積分
  6. 単連結領域でのコーシーの積分定理
  7. 一般的なコーシーの積分定理
  8. コーシーの積分定理を用いた積分計算