コンテンツにスキップ

偏角の原理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
単純閉曲線 C (黒)、 f の零点(青)、f の極(赤)。このとき .

複素解析において、偏角の原理(へんかくのげんり、: argument principle)(あるいはコーシーの偏角の原理 (Cauchy's argument principle))は有理型関数零点の個数の差を関数の対数微分周回積分と結びつける。

具体的には、f(z) がある閉じた経路 C 上および内側で有理型関数で、fC 上に零点ももたなければ、

ただし NP はそれぞれ経路 C の内側の f(z) の零点と極の個数を各零点と極をそれぞれ重複度と位数をこめて数えたものを表す。定理のこのステートメントは閉経路 C が単純であること、すなわち自己交叉がないことと、反時計回りに向き付けられていることを仮定している。

より一般に、f(z) が複素平面開集合 Ω 上の有理型関数で C が Ω 内の閉曲線で f のすべての零点と極を避け Ω の内側の点に可縮であるとする。各点 z ∈ Ω に対し、n(Cz) を z のまわりの C回転数とする。このとき

ただし最初の和は重複度も数えて f のすべての零点 a を渡り、二番目の和は位数も数えて f の極 b を渡る。

周回積分の解釈

[編集]

周回積分 を2通りに解釈できる:

  • zC を一周するときの f(z) の偏角の総変化量として。これは定理の名前を説明する。これは次から従う。

と、偏角と対数の間の関係。

  • i 掛ける原点の周りの道 f(C) の回転数として。これは代入 w = f(z) によって説明される:

偏角の原理の証明

[編集]

zNf のある零点とする。f(z) = (z − zN)kg(z)、ただし k は零点の重複度、と書くことができるので、g(zN) ≠ 0 である。

であり

である。g(zN) ≠ 0 であるので、g' (z)/g(z) は zN で特異性をもたないことが従い、したがって zN で解析的であり、これは f' (z)/f(z) の zN における留数k であることを意味する。

zPf のある極とする。f(z) = (z − zP)mh(z)、ただし m は極の位数、と書くことができ、 h(zP) ≠ 0 である。すると上記と同様に

であり

である。h(zP) ≠ 0 なので h′(z)/h(z) は zP で特異性をもたないことが従い、したがってそれは zP で解析的である。 f′(z)/f(z) の zP における留数は −m であることがわかる。

これらを合わせて、f の重複度 k の各零点 zN は留数 kf′(z)/f(z) の一位の極を作り、f の位数 m の各極 zP は留数 −mf′(z)/f(z) の一位の極を作る。さらに、f′(z)/f(z) は他に極をもたずしたがって他の留数をもたないことが示せる。

留数定理によって C についての積分は 2πiと留数の和の積である。また、各零点 zN に対する k たちの和は零点の重複度も数えた零点の個数であり、極も同様で、したがって結果が成り立つ。

応用と結果

[編集]

偏角の原理は有理型関数の零点と極をコンピューターで効率的に位置を決めるために使うことができる。誤差を丸めたとしても式 は整数に近い結果を生み出す。異なる経路 C に対してこれらの整数を決定することによって零点と極の位置についての情報を得ることができる。リーマン予想の数値テストはこのテクニックをクリティカルラインと交わる長方形の内部のリーマンの 関数の零点の個数の上界を得るために使う。

ルーシェの定理の証明は偏角の原理を使う。

Feedback control theory に関する現代的な本はかなり頻繁に偏角の原理を Nyquist stability criterion英語版 の理論的基礎として用いる。

偏角の原理のより一般的な定式化の結果は、次のようなものである。同じ仮定の下で、g が Ω の解析的関数であれば、

例えば、f多項式で単純閉曲線 C の内部に零点 z1, ..., zp をもち g(z) = zk であれば

f の根の power sum symmetric polynomial英語版 である。

別の結果は、複素積分

gf の適切な選択に対して計算すれば、離散和とその積分の間の関係を表す Abel–Plana formula英語版:

一般化された偏角の原理

[編集]

偏角の原理からすぐ出る一般化がある。g は領域 で解析的とする。このとき

ただし最初の和は再び 重複度も数えて f のすべての零点 a を渡り、二番目の和は再び位数も数えて f の極 b を渡る。

歴史

[編集]

Frank Smithies英語版 の本 (Cauchy and the Creation of Complex Function Theory, Cambridge University Press, 1997, p. 177) によると、Augustin-Louis Cauchy はフランスから逃げて(当時 the Kingdom of Piedmont-Sardinia の首都だった) Turin に自ら亡命していた間 1831 年11月27日に上記と類似の定理を発表した。しかしながら、この本によると、零点のみが言及されていて、極はされていなかった。コーシーによるこの定理はかなり後になって1974年に手書きの形式で出版されただけでありかなり読むのが難しい。コーシーは零点と極両方について議論した論文を1855年、彼の死の2年前に出版した。

関連項目

[編集]

参考文献

[編集]
  • Rudin, Walter (1986). Real and Complex Analysis (International Series in Pure and Applied Mathematics). McGraw-Hill. ISBN 978-0-07-054234-1 
  • Ahlfors, Lars (1979). Complex analysis: an introduction to the theory of analytic functions of one complex variable. McGraw-Hill. ISBN 978-0-07-000657-7 
  • Churchill, Ruel Vance; Brown, James Ward (1989). Complex Variables and Applications. McGraw-Hill. ISBN 978-0-07-010905-6 
  • Backlund, R.-J. (1914) Sur les zéros de la fonction zeta(s) de Riemann, C. R. Acad. Sci. Paris 158, 1979-1982.