orz107orz.hatenablog.com
コーシーの積分定理の主張はここでかいた。
驚異的な定理と書いたが、この定理の気持ちを自分なりに書いてみる。
高校のころに学ぶ、実軸上の1変数関数の積分を思い出そう。
簡単のため閉区間上でである関数の積分を考える。
これは関数、2直線、実軸の4曲線で囲まれた部分の面積であって、
様々な要素がからんでいて面積など求められないと思うはず。
しかしである関数が存在すれば、面積はで求められる。
驚きはは両端の値だけがこの量に関与しているわけで、途中の値は見なくてよいことである。
複素関数に戻る。
複素積分は次のような線積分で定義される。
は積分路で複素平面上の有限で滑らかな路であるとする。
の両端は複素数である。例えばがその両端とする。
媒介変数表示してとしと定義する。
さらりと媒介変数を持ち出したが、右辺がのとり方に依存している。実際、その取り方を変えると積分の値がまるで変わってしまうものもある。
しかし上でやったように1変数の積分を思い出せば、どのようにをとっても積分の値が変わって欲しくない。
ここでもし、「となる関数」があれば「合成関数の積分」であるわけだから、形式的にはとなり、うまくいきそうである。
こののはなんだろうか。
実軸上の1変数関数ではないので、上記の微分とはわけが違う。
これは複素微分の意味での微分であって、それこそ正則ということである。
つまり正則であれば、両端の値のみで積分の値が決まると考えられる。
そのとき閉曲線は、両端が一致しているわけであるから積分値は0と想像できるわけだ。
ちなみにこの想像は正しく、が正則であればどのように媒介変数をとっても積分値は一定である。
それを保証する定理こそがコーシーの積分定理である。