ピカールの定理のソースを表示

{{otheruses|複素解析におけるピカールの定理|微分方程式論におけるピカールの存在定理|ピカール＝リンデレーフの定理}}
'''ピカールの定理'''（{{lang-en-short|Picard theorem}}）は、[[複素解析]]における[[定理]]。大定理と小定理があり、[[エミール・ピカール]]によって[[1878年]]に小定理が、[[1886年]]に大定理が証明された。

== ピカールの定理 ==
'''ピカールの大定理'''（{{lang-en-short|Picard's great theorem}}）は、孤立した真性[[特異点]]の近傍の像が[[高々 (数学)|高々]]唯一の点を除き複素平面全体を覆うことを主張する[[複素解析]]の定理である。具体的には、<math>f(z)</math>が<math>\mathbb{U}_\delta=\{z\in\mathbb{C}:\;0<|z-z_0|<\delta\}</math>で[[正則関数|正則]]であり、<math>(z-z_0)^{n}f(z)</math>が有界となる有限な自然数<math>n\in\mathbb{N}</math>が存在しないときに
:<math>\exists{a\in\mathbb{C}},\forall{b\in\mathbb{C}\setminus\{a\}},\exists{z\in\mathbb{U}_\delta},f(z)=b</math>
であることを主張する。

'''ピカールの小定理'''（{{lang-en-short|Picard's little theorem}}）は、大定理の系であり、定数以外の[[整関数]]の値域が高々唯一の点を除く複素平面全体に広がることを主張する。言い換えれば、複素平面から二点以上を欠く値域を持つ整関数は定数に限ることを主張する。ピカールの定理は[[カゾラーティ・ワイエルシュトラスの定理]]や[[リウヴィルの定理 (解析学)|リウヴィルの定理]]を強化したものである。

== 具体例 ==
真性特異点を持つ関数の例として
:<math>f(z)=e^\left(\frac{1}{z}\right)</math>
を挙げる。任意の<math>v\in\mathbb{C}\setminus\{0\}</math>について
:<math>z=\frac{1}{\log\left(v\right)+2{\pi}in},\quad{n\ge\frac{1}{2\pi\delta}+1}</math>
とすれば<math>\left|z\right|<\delta</math>で<math>f(z)=v</math>となることが確かめられる。ピカールの大定理は、真性特異点を持つ他の関数も同様に振る舞うことを主張する。

== 大定理の証明 ==
背理法による。<math>|z-z_0|<\delta</math>で<math>f(z)\neq\{a,b\}</math>であれば<math>|z|<1</math>で
:<math>F(z)=\frac{f\left(\tfrac{z-z_0}{\delta}\right)-a}{b-a}\neq\{0,1\}</math>
である。
:<math>M=\sup_{|z|=e^{-60\pi}}|F(z)|</math>
とする。<math>F(0)</math>が真性特異点であれば、[[カゾラーティ・ワイエルシュトラスの定理]]により
:<math>\begin{align}
&\exists{z_1},|z_1|<e^{-60\pi},\left|F(z_1)-\left(M+e^{15\pi}+1\right)\right|<1\\
&\exists{z_2},|z_2|<|z_1|,|F(z_2)-1|<\tfrac{1}{2}\\
\end{align}</math>
が存在するので
:<math>\begin{align}
&F_1(t)=f(z_2{e}^{59{\pi}it})\\
&F_2(t)=\frac{\log{F_1(t)}}{2{\pi}i},\qquad(|\image{F_2(0)}|\le1)\\
&F_3(t)=\sqrt{F_2(t)}\\
&G(t)=\sinh^{-1}F_3(t),\qquad(|\image{G(0)}|\le\pi)
\end{align}</math>
とする。
<math>|z_2|<|z_1|<e^{-60\pi}</math>であるから<math>F_1(t)</math>は<math>|t|<\tfrac{60}{59}</math>で正則である。<math>F_1(t)\neq\{0,1\}</math>であるから<math>F_2(t)</math>は正則であり、<math>F_2(t)\neq\{z\in\mathbb{Z}\}</math>である。<math>F_2(t)\neq\{0,1\}</math>であるから<math>F_3(t)</math>は正則であり、<math>F_3(t)\neq\{0,\pm{i}\}</math>である。故に<math>G(t)</math>は正則であり
:<math>G(t){\neq}w\in\{\sinh^{-1}\sqrt{n}+i\pi{m}|(n,m)\in\mathbb{Z}^2\}</math>
である。従って、任意の<math>a\in\mathbb{C}</math>について、<math>G(t)+a-w</math>が根を持たない<math>|w|<2</math>が存在する。<math>t</math>を固定して
:<math>\begin{align}
&H(u)=\frac{G\left(t+(1-|t|)u\right)-G(t)}{(1-|t|)G'(t)}\\
&H_1(u)=(1-|u|)H'(u)\\
\end{align}</math>
とする。<math>H(u)</math>は<math>|u|<\tfrac{60}{59}</math>で正則であり、<math>H(u)+a-w</math>が根を持たない<math>|w|<\frac{2}{(1-|t|)G'(t)}</math>が存在する。<math>H_1(0)=1</math>であるから
:<math>\mathbb{U}=\{u\in\mathbb{C}:\;|u|<1,(1-|u|)\left|H'(u)\right|\ge{1}\}</math>
は空でない。<math>\mathbb{U}</math>の中で絶対値が最大のものを<math>u_1</math>として
:<math>J(v)=2\left(H\left(\frac{1-|u_1|}{2}v+u_1\right)-H\left(u_1\right)\right)</math>
とする。
<math>J(v)</math>は<math>|v|<1</math>で正則であり、<math>J(v)-w</math>が根を持たない<math>|w|<\frac{4}{(1-|t|)G'(t)}</math>が存在する。
これを微分すると
:<math>J'(v)=(1-|u_1|)H'\left(\frac{1-|u_1|}{2}v+u_1\right)</math>
となる。<math>|J'(0)|=|H_1(u_1)|=1</math>である。<math>|J'(v)|</math> の最大値は、[[最大値の原理]]により
:<math>\sup_{|v|<1}|J'(v)|\le\sup_{|u|=\tfrac{1+|u_1|}{2}}(1-|u|)|H'(u)|\le(1-|u_1|)\frac{2}{1+|u_1|}\le2</math>
である。
<math>\left|J'(v)-1\right|\le3</math>であるから、[[シュワルツの補題]]により <math>|J'(v)-1|\le{3v}</math> であり、積分すると
:<math>|J(v)-v|\le{\frac{3}{2}|v|^2}</math>
となる。任意の <math>|w|<\tfrac{1}{7}</math> について
:<math>\begin{align}
&J_1(v)=J(v)-w\\
&J_2(v)=v-w\\
\end{align}</math>
とすれば <math>|v|=\tfrac{1}{3}</math>の上で<math>|J_1(v)-J_2(v)|=|J(v)-v|\le\tfrac{1}{6}<|J_2(v)|</math>であるから、[[ルーシェの定理]]により<math>J_1(v)</math>と<math>J_2(v)</math>は<math>|v|<\tfrac{1}{3}</math>の中に同数の根を持つが、<math>J_2(v)</math> が根を持つから<math>J_1(v)</math>も根を持たなければならない。そのためには
:<math>\left|\frac{4}{(1-|t|)G'(t)}\right|\ge\frac{1}{7}</math>
でなければならない。<math>|t|<\tfrac{1}{57}</math>とすれば<math>|G'(t)|\le\tfrac{57}{2}</math>となり、<math>|F_1(0)|=|F(z_2)|<\tfrac{1}{2}</math>により<math>|G(0)|<\tfrac{1}{2}</math>であるから
:<math>|G(t)|\le|G(0)|+\left[\frac{57}{2}t\right]_{0}^{\frac{1}{57}}<1</math>
:<math>|F_1(t)|=\left|e^{2{\pi}\sinh^2{G(t)}}\right|<{e^{2{\pi}e^2}}<e^{15\pi}</math>
となり
:<math>\sup_{|z|=|z2|}|F(z)|\le\sup_{|x|\le\tfrac{1}{59}}|F_1(x)|<e^{15\pi}</math>
となるが
:<math>z_1\in\{z\in\mathbb{C}:\;|z_2|<|z|<e^{-60\pi}\}</math>
であり
:<math>\sup_{|z|=e^{-60\pi}}|F(z)|=M<|F(z_1)|</math>
であるから、[[最大値の原理]]により
:<math>\sup_{|z|=|z2|}|F(z)|\ge{|F(z_1)|}>e^{15\pi}</math>
でなければならない。故に逆の仮定は矛盾を孕む。

== 小定理の証明 ==
小定理は大定理の系である。<math>f(z)</math>が整関数であれば<math>g(z)=f\left(\tfrac{1}{z}\right)</math>は<math>z=0</math>以外に特異点を持たない。<math>z=0</math>が真性特異点であれば、大定理により<math>g(z)</math>は高々唯一の例外を除く全ての複素数値を取る。<math>g(0)</math>が極(若しくは除去可能な特異点)であれば、その主要部を除去したもの<math>g(z)-\sum{{c_n}z^{-n}}</math>は他に特異点を持たず有界であるからリウヴィルの定理により定数である。従って、<math>g(z)</math>は<math>z^{-1}</math>の多項式であり、それが定数でないかぎり、[[代数学の基本定理]]により全ての複素数値を取る。何れにせよ、<math>g(z)=f\left(\tfrac{1}{z}\right)</math>は、それ定数でないかぎり、高々唯一の例外を除く全ての複素数値を取ることになる。

== 参考文献 ==
*{{Cite book|和書|author=吉田洋一|authorlink=吉田洋一|origdate=1965-03-31|date=2015-07-10|title=函数論|edition=第2版|chapter=Ⅸ章 Picard の定理|publisher=岩波書店|isbn=978-4-00-730243-5|url=http://www.iwanami.co.jp/.BOOKS/73/X/7302430.html|ref={{Harvid|吉田|2015}}}} - [[オンデマンド印刷|オンデマンド出版]]。
*{{MathWorld|title=Picard's Great Theorem|urlname=PicardsGreatTheorem}}
*{{MathWorld|title=Picard's Little Theorem|urlname=PicardsLittleTheorem}}

== 関連項目 ==
*[[ピカルの定理]] - 本定理をもじったタイトルの[[フジテレビジョン|フジテレビ]]の番組

== 外部リンク ==
*{{Kotobank|ピカールの定理|2=世界大百科事典}}

{{analysis-stub}}
{{DEFAULTSORT:ひかるのていり}}
[[Category:数学に関する記事]]
[[Category:複素解析の定理]]
[[Category:数学のエポニム]]