複素解析におけるコーシーの定理の証明
📂複素解析複素解析におけるコーシーの定理の証明
総括
Cが単純閉路であり、その内側でf:A⊆C→Cが解析的で、f′が連続だとする。そうすると、
∫Cf(z)dz=0
証明
a≤t≤bについて、
z(t)=x(t)+iy(t)f(z)=u(x,y)+iv(x,y)
とすると、dtdz=x′+iy′だから、
f(z)dz===f(z)(x′+iy′)dt(u+iv)(x′+iy′)dt(ux′−vy′)+i(vx′+uy′)dt
x′=dtdxであり、y′=dtdyなので、
∫Cf(z)dz==∫ab(ux′−vy′)dt+i∫ab(vx′+uy′)dt∫C(udx−vdy)+i∫C(vdx+udy)
ここで、導関数が連続であるという条件が使われる。
グリーンの定理:P,Qが連続で、その導関数も連続ならば、
∫C(Pdx+Qdy)=∬S(Qx−Py)dxdy
グリーンの定理により、
∫Cf(z)dz=−∬S(vx+uy)dxdy+i∬S(ux−vy)dxdy
一方で、u,vはコーシー・リーマンの方程式を満たす解なので、uy=−vxであり、ux=vyだ。だから、
∫Cf(z)dz=0
■
説明
言ってしまえば、特定の条件を満たした場合、定積分を計算する必要が全く無いということだ。「解析学の父」として知られるコーシーだが、その名前が示すように非常に、とても重要な定理だ。見ての通り、関数fの条件を満たすのはそれほど難しくないので、多くの場で使うことができる。
実用的であるだけでなく、とてもシンプルなので、数学的な美しさも感じることができる。
微分係数と積分係数を扱う時、厳密ではないが直感的に理解できるように野良解析学を使った。結果的には同じだが、厳密には間違った過程なので注意が必要だ。
もう一つ有用な定理を証明無しで紹介する。
一般化
コーシー・グルサの定理the Cauchy-Goursat theorem
単連結領域 Rで、fが解析的ならば、R内側の単純閉路 Cに対して、
∫Cf(z)dz=0
フランスの数学者グルサは、fの導関数に関する条件をなくすというセンスで一般化を達成した。ファクトとしては、コーシーの定理よりも明らかに有用なので、覚えておくこと。
関連項目