コーシーの積分定理とは? わかりやすく解説

Weblio 辞書 > 固有名詞の種類 > 方式・規則 > 理論・法則 > 定理・公理 > 定理 > コーシーの積分定理の意味・解説 

コーシーの積分定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/02/21 08:15 UTC 版)

コーシーの積分定理(コーシーのせきぶんていり、: Cauchy's integral theorem)は、コーシーの第1定理ともいわれる、オーギュスタン=ルイ・コーシーによって示された、数学、特に微分積分学において、複素平面上のある領域において正則な関数の複素積分についての定理である。

内容

コーシーの積分定理は様々な形があるが代表的なのは次であろう。

D領域とし、f(z) は D 上で正則である複素関数とする。CがD 内のある有界領域の境界であって、互いに交わらない有限個の区分的に滑らかなJordan閉曲線からなるとき

[1][注 1]

つまり、ある領域を囲む閉曲線で関数 f(z) を積分するとき、その領域内で f(z) が常に正則であれば、その積分の値は必ず 0 となることを主張している。

また、領域内に となるような正則関数 が存在する場合、始点と終点を定めれば積分路によらず

となる。このとき閉曲線、つまり始点と終点が一致する場合に値が 0 になることは明らかである。すなわちコーシーの積分定理は、単連結な領域上の正則関数には、このような が常に存在することを意味している。

証明

この定理の証明は導関数が連続という仮定下ではグリーンの定理コーシー・リーマンの関係式を用いるとよい。 証明は複素積分の定義から導くことができる。

ここで、正則関数であればコーシー・リーマンの関係式が成立するので、実部と虚部の項が0になる。

コーシーの積分定理は、20 世紀にエドゥアール・グールサ英語版によって導関数の連続性の仮定無しに証明された[2]

一般化

積分路C1サイクル、即ち有限個の閉曲線の形式和C=C_1+...C_nとして次のように一般化することが出来る。

  • 1サイクルに対するコーシーの定理

D領域とし、f(z) は D 上で正則である複素関数とする。D 内の区分的に滑らかな1サイクルCD 内で 0にホモローグであるとき、

ここでD 内で0にホモローグ(homologous to 0)とは0にホモトピー同値な有限個のD 内の閉曲線の形式和として書けることを言う[3]

1サイクルCD 内で 0にホモローグであるとはつまり「Cで囲まれる有界領域」がDに含まれるということである。ただし「Cで囲まれる有界領域」という概念は(視覚的には明らかに指定出来るものであるが)正確な数学的定式化にはジョルダンの曲線定理(ただし区分的C^1なJordan曲線に対するもので十分であり、この場合に限った証明は随分簡単になる)を仮定するか回転数 (数学)#複素解析学という概念を用いるかしなければならない[4]

特に冒頭の条件である、CがD 内のある有界領域の境界であって互いに交わらない有限個の区分的に滑らかなJordan閉曲線からなるとき、CD 内で 0 にホモローグである。

またCが単に区分的に滑らかな閉曲線であるとき、可縮(0にホモトピー同値)ならばC は1チェインとしてD 内で 0にホモローグである(注:逆は不成立)から、系として次が得られる。

  • 系:ホモトピー型のコーシーの定理

D領域とし、f(z) は D 上で正則である複素関数とする。D 内の区分的に滑らかな閉曲線CD 内で可縮(0にホモトピー同値)であるとき、

特にD単連結なら任意の区分的に滑らかな閉曲線Cに対して上の仮定が満たされることは明らかである。

脚注

  1. ^ 小平邦彦 『複素解析I』1977年、87頁。 
  2. ^ Édouard 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
  3. ^ 小平邦彦 『複素解析II』1977年、206頁。 
  4. ^ 杉浦光夫 『解析入門II』1985年、291頁。 
  1. ^ このようなCで囲まれる有界領域が三角形分割可能であることが証明の要であるがこれの証明はアイディアは初等的ではあるものの厳密にやるとかなり面倒で、この本では20ページも費やしている。小平自身もここまで長くなるのは「予定外であった」としている。

参考文献

関連項目


コーシーの積分定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/12 02:34 UTC 版)

グリーンの定理」の記事における「コーシーの積分定理」の解説

複素数z=x +iy正則関数 f ( z ) = f ( x + i y ) = u ( x , y ) + i v ( x , y ) u , v ∈ R {\displaystyle f(z)=f(x+iy)=u(x,y)+iv(x,y)\quad u,v\in \mathbb {R} } にグリーンの定理適用すれば、「正則関数閉曲線上の積分ゼロになる」というコーシーの積分定理を導くことができる。実際、 ∮ C f ( z ) d z = ∮ C ( u d xv d y ) + i ∮ C ( u d y + v d x ) {\displaystyle \oint _{C}f(z)\,dz=\oint _{C}(u\,dx-v\,dy)+i\oint _{C}(u\,dy+v\,dx)} に対してグリーンの定理より、 ∮ C ( u d xv d y ) = ∬ D ( − ∂ v ∂ x − ∂ u ∂ y ) d x d y , ∮ C ( u d y + v d x ) = ∬ D ( ∂ u ∂ x − ∂ v ∂ y ) d x d y {\displaystyle \oint _{C}(u\,dx-v\,dy)=\iint _{D}{\biggl (}-{\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}{\biggr )}\,dxdy,\quad \oint _{C}(u\,dy+v\,dx)=\iint _{D}{\biggl (}{\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}{\biggr )}\,dxdy} であるが、被積分関数コーシー・リーマンの関係式より、0に等しく、 ∮ C f ( z ) d z = 0 {\displaystyle \oint _{C}f(z)\,dz=0} を得る。

※この「コーシーの積分定理」の解説は、「グリーンの定理」の解説の一部です。
「コーシーの積分定理」を含む「グリーンの定理」の記事については、「グリーンの定理」の概要を参照ください。

ウィキペディア小見出し辞書の「コーシーの積分定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



固有名詞の分類


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「コーシーの積分定理」の関連用語

コーシーの積分定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



コーシーの積分定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのコーシーの積分定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのグリーンの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS