logo

複素解析におけるコーシーの定理の証明 📂複素解析

複素解析におけるコーシーの定理の証明

総括 1

C\mathscr{C}単純閉路であり、その内側f:ACCf: A \subseteq \mathbb{C} \to \mathbb{C}解析的で、ff 'が連続だとする。そうすると、 Cf(z)dz=0 \int_{\mathscr{C}} f(z) dz = 0

証明

atba \le t \le bについて、 z(t)=x(t)+iy(t)f(z)=u(x,y)+iv(x,y) z(t) = x(t) + i y(t) \\ f(z) = u(x,y) + i v(x,y) とすると、dzdt=x+iy\displaystyle {{dz} \over {dt}} = x ' + i y 'だから、 f(z)dz=f(z)(x+iy)dt=(u+iv)(x+iy)dt=(uxvy)+i(vx+uy)dt \begin{align*} f(z)dz =& f(z) ( x ' + i y ' ) dt \\ =& (u + i v ) ( x ' + i y ' ) dt \\ =& (u x ' - v y ' ) + i (v x ' + u y ' ) dt \end{align*} x=dxdt\displaystyle x ' = {{dx} \over {dt}}であり、y=dydt\displaystyle y ' = {{dy} \over {dt}}なので、 Cf(z)dz=ab(uxvy)dt+iab(vx+uy)dt=C(udxvdy)+iC(vdx+udy) \begin{align*} \int_{\mathscr{C}} f(z) dz =& \int_{a}^{b} (u x ' - v y ' ) dt + i \int_{a}^{b} (v x ' + u y ' ) dt \\ =& \int_{\mathscr{C}} (u dx - v dy ) + i \int_{\mathscr{C}} (v dx + u dy) \end{align*} ここで、導関数が連続であるという条件が使われる。

グリーンの定理P,QP,Q連続で、その導関数も連続ならば、 C(Pdx+Qdy)=S(QxPy)dxdy\int_{\mathscr{C}} (Pdx + Qdy) = \iint_{S} (Q_{x} - P_{y}) dx dy

グリーンの定理により、 Cf(z)dz=S(vx+uy)dxdy+iS(uxvy)dxdy \int_{\mathscr{C}} f(z) dz = - \iint_{S} (v_x + u_y) dxdy + i \iint_{S} (u_x - v_y) dxdy 一方で、u,vu,vコーシー・リーマンの方程式を満たす解なので、uy=vxu_y = -v_xであり、ux=vyu_x = v_yだ。だから、 Cf(z)dz=0 \int_{\mathscr{C}} f(z) dz = 0

説明

言ってしまえば、特定の条件を満たした場合、定積分を計算する必要が全く無いということだ。「解析学の父」として知られるコーシーだが、その名前が示すように非常に、とても重要な定理だ。見ての通り、関数ffの条件を満たすのはそれほど難しくないので、多くの場で使うことができる。

実用的であるだけでなく、とてもシンプルなので、数学的な美しさも感じることができる。

微分係数と積分係数を扱う時、厳密ではないが直感的に理解できるように野良解析学を使った。結果的には同じだが、厳密には間違った過程なので注意が必要だ。

もう一つ有用な定理を証明無しで紹介する。

一般化

コーシー・グルサの定理the Cauchy-Goursat theorem

単連結領域 R\mathscr{R}で、ff解析的ならば、R\mathscr{R}内側単純閉路 C\mathscr{C}に対して、 Cf(z)dz=0 \int_{\mathscr{C}} f(z) dz = 0


フランスの数学者グルサは、ffの導関数に関する条件をなくすというセンスで一般化を達成した。ファクトとしては、コーシーの定理よりも明らかに有用なので、覚えておくこと。

関連項目


  1. Osborne (1999). Complex variables and their applications: p82. ↩︎