コーシーの積分定理
提供: miniwiki
コーシーの積分定理（コーシーのせきぶんていり、英: Cauchy's integral theorem）は、コーシーの第1定理ともいわれる、オーギュスタン＝ルイ・コーシーによって示された、数学、特に微分積分学において、複素平面上のある領域において正則な関数の複素積分についての定理である。
内容
コーシーの積分定理は様々な形に言い換えることができるが、よく次のように記述される。
D を単連結な領域とし、f(z) は D 上で正則である複素関数とするとき、C を D 内のある閉曲線であるとすると、
- [math] \oint_C f(z) \, dz\ = 0 [/math]
つまり、ある領域を囲む閉曲線で関数 f(z) を積分するとき、その領域内で f(z) が常に正則であれば、その積分の値は必ず 0 となることを主張している。
また、領域内に [math]\ dF/dz = f [/math] となるような正則関数 [math]\ F [/math] が存在する場合、始点と終点を定めれば積分路によらず
- [math] \int_{a}^{b} f(z) \, dz\ = F(b) - F(a)[/math]
となる。このとき閉曲線、つまり始点と終点が一致する場合に値が 0 になることは明らかである。すなわちコーシーの積分定理は、単連結な領域上の正則関数には、このような [math]\ F [/math] が常に存在することを意味している。
証明
この定理の証明は導関数が連続という仮定下ではグリーンの定理とコーシー・リーマンの関係式を用いるとよい。 証明は複素積分の定義から導くことができる。
- [math]\begin{align} \oint_C f(z)dz &= \oint_C [u(x,y)+iv(x,y)] (dx+idy) \\ &= \oint_C (udx-vdy) + i \oint_C (udy+vdx) \\ &= -\iint_D \biggl (\frac{\partial v}{\partial x}+\frac{\partial u}{\partial y} \biggr ) dxdy + i \iint_D \biggl (\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y} \biggr ) dxdy \end{align} [/math]
ここで、正則関数であればコーシー・リーマンの関係式が成立するので、実部と虚部の項が0になる。
コーシーの積分定理は、20 世紀にグールサ(Edmund Goursat)によって導関数の連続性の仮定無しに証明された[1]。
脚注
- ↑ Edmund Goursat,"Sur la définition générale des fonctions analytiques, d'après Cauchy," Transactions of the American Mathematical Society, 1, No. 1, pp.14–16 doi:10.1090/S0002-9947-1900-1500519-7
参考文献
- 高木貞治 (2010)『定本 解析概論』岩波書店 ISBN 978-4-00-005209-2