コーシーの積分定理

コーシーの積分定理(Cauchy's Integral Theorem)

$K$を単連結な(穴のない)領域とし，$f(z)$は$K$上で正則である(微分可能な)複素凾数とする． $C$を$K$内のある単純(自己交点を持たない)閉曲線であるとし，$D$を$C$の内部の領域とすると，この時以下が成り立つ． $$\begin{array}{rcl}{\oint }_{C}f(\zeta )\mathrm{d}\zeta & =& 0\end{array}$$

グリーンの定理(Green's theorem)

閉曲線$C$で囲まれた領域$D$を考える場合，$C^1$級凾数$P(x,y),Q(x,y)$について以下が成り立つ。 $$\begin{array}{rcl}{\iint }_D(\frac{\partial Q(x,y)}{\partial x}-\frac{\partial P(x,y)}{\partial y})\mathrm{d}x\mathrm{d}y& =& {\oint }_{C}P(x,y)\mathrm{d}x+Q(x,y)\mathrm{d}y\end{array}$$

グリーンの定理とコーシー・リーマンの関係式より

$$\begin{array}{rcl}{\oint }_{C}f(\zeta )\mathrm{d}\zeta & =& {\oint }_C\{u(x,y)+iv(x,y)\}(\mathrm{d}x+i\mathrm{d}y)\\ & =& {\oint }_C\{u(x,y)\mathrm{d}x+iv(x,y)\mathrm{d}x+u(x,y)i\mathrm{d}y+iv(x,y)i\mathrm{d}y\}\\ & =& {\oint }_C\{u(x,y)\mathrm{d}x-v(x,y)\mathrm{d}y\}+i\{v(x,y)\mathrm{d}x+u(x,y)\mathrm{d}y\}\\ & =& {\iint }_D\{-\frac{\partial v(x,y)}{\partial x}-\frac{\partial u(x,y)}{\partial y}\}\mathrm{d}x\mathrm{d}y+i{\iint }_D\{\frac{\partial u(x,y)}{\partial x}-\frac{\partial v(x,y)}{\partial y}\}\mathrm{d}x\mathrm{d}y\\ & & \dots \mathrm{グ}\mathrm{リ}\mathrm{ー}\mathrm{ン}\mathrm{の}\mathrm{定}\mathrm{理}:{\oint }_C(P\mathrm{d}x+Q\mathrm{d}y)={\iint }_D(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})\\ & =& -{\iint }_D\{\frac{\partial v(x,y)}{\partial x}+\frac{\partial u(x,y)}{\partial y}\}\mathrm{d}x\mathrm{d}y+i{\iint }_D\{\frac{\partial u(x,y)}{\partial x}-\frac{\partial v(x,y)}{\partial y}\}\mathrm{d}x\mathrm{d}y\\ & =& -{\iint }_{D}0\mathrm{d}x\mathrm{d}y+i{\iint }_{D}0\mathrm{d}x\mathrm{d}y\\ & & \dots K\mathrm{上}\mathrm{で}\mathrm{正}\mathrm{則}\mathrm{凾}\mathrm{数}\mathrm{な}\mathrm{の}\mathrm{で}\mathrm{コ}\mathrm{ー}\mathrm{シ}\mathrm{ー}\mathrm{・}\mathrm{リ}\mathrm{ー}\mathrm{マ}\mathrm{ン}\mathrm{の}\mathrm{関}\mathrm{係}\mathrm{式}\mathrm{が}\mathrm{な}\mathrm{り}\mathrm{た}\mathrm{つ}\{\begin{array}{}\frac{\partial u(x,y)}{\partial x}=\frac{\partial v(x,y)}{\partial y}\\ \frac{\partial v(x,y)}{\partial x}=-\frac{\partial u(x,y)}{\partial y}\end{array}\\ & =& 0+i0=0\end{array}$$