ピカールの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

ピカールの定理: Picard theorem)は、複素解析における定理。大定理と小定理があり、エミール・ピカールによって1878年に小定理が、1886年に大定理が証明された。

ピカールの定理[編集]

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

\exists{a\in\mathbb{C}},\forall{b\in\mathbb{C}\setminus\{a\}},\exists{z\in\mathbb{U}_\delta},f(z)=b

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

具体例[編集]

真性特異点を持つ関数の例として

f(z)=e^\left(\frac{1}{z}\right)

を挙げる。任意のv\in\mathbb{C}\setminus\{0\}について

z=\frac{1}{\log\left(v\right)+2{\pi}in},\quad{n\ge\frac{1}{2\pi\delta}+1}

とすれば\left|z\right|<\deltaf(z)=vとなることが確かめられる。ピカールの大定理は、真性特異点を持つ他の関数も同様に振る舞うことを主張する。

大定理の証明[編集]

背理法による。|z-z_0|<\deltaf(z)\neq\{a,b\}であれば|z|<1

F(z)=\frac{f\left(\tfrac{z-z_0}{\delta}\right)-a}{b-a}\neq\{0,1\}

である。

M=\sup_{|z|=e^{-60\pi}}|F(z)|

とする。F(0)が真性特異点であれば、カゾラーティ・ワイエルシュトラスの定理により

\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}

が存在するので

\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}

とする。 |z_2|<|z_1|<e^{-60\pi}であるからF_1(t)|t|<\tfrac{60}{59}で正則である。F_1(t)\neq\{0,1\}であるからF_2(t)は正則であり、F_2(t)\neq\{z\in\mathbb{Z}\}である。F_2(t)\neq\{0,1\}であるからF_3(t)は正則であり、F_3(t)\neq\{0,\pm{i}\}である。故にG(t)は正則であり

G(t){\neq}w\in\{\sinh^{-1}\sqrt{n}+i\pi{m}|(n,m)\in\mathbb{Z}^2\}

である。従って、任意のa\in\mathbb{C}について、G(t)+a-wが根を持たない|w|<2が存在する。tを固定して

\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}

とする。H(u)|u|<\tfrac{60}{59}で正則であり、H(u)+a-wが根を持たない|w|<\frac{2}{(1-|t|)G'(t)}が存在する。H_1(0)=1であるから

\mathbb{U}=\{u\in\mathbb{C}:\;|u|<1,(1-|u|)\left|H'(u)\right|\ge{1}\}

は空でない。\mathbb{U}の中で絶対値が最大のものをu_1として

J(v)=2\left(H\left(\frac{1-|u_1|}{2}v+u_1\right)-H\left(u_1\right)\right)

とする。 J(v)|v|<1で正則であり、J(v)-wが根を持たない|w|<\frac{4}{(1-|t|)G'(t)}が存在する。 これを微分すると

J'(v)=(1-|u_1|)H'\left(\frac{1-|u_1|}{2}v+u_1\right)

となる。|J'(0)|=|H_1(u_1)|=1である。|J'(v)| の最大値は、最大値の原理により

\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

である。 \left|J'(v)-1\right|\le3であるから、シュワルツの補題により |J'(v)-1|\le{3v} であり、積分すると

|J(v)-v|\le{\frac{3}{2}|v|^2}

となる。任意の |w|<\tfrac{1}{7} について

\begin{align}
&J_1(v)=J(v)-w\\
&J_2(v)=v-w\\
\end{align}

とすれば |v|=\tfrac{1}{3}の上で|J_1(v)-J_2(v)|=|J(v)-v|\le\tfrac{1}{6}<|J_2(v)|であるから、ローシェの定理によりJ_1(v)J_2(v)|v|<\tfrac{1}{3}の中に同数の根を持つが、J_2(v) が根を持つからJ_1(v)も根を持たなければならない。そのためには

\left|\frac{4}{(1-|t|)G'(t)}\right|\ge\frac{1}{7}

でなければならない。|t|<\tfrac{1}{57}とすれば|G'(t)|\le\tfrac{57}{2}となり、|F_1(0)|=|F(z_2)|<\tfrac{1}{2}により|G(0)|<\tfrac{1}{2}であるから

|G(t)|\le|G(0)|+\left[\frac{57}{2}t\right]_{0}^{\frac{1}{57}}<1
|F_1(t)|=\left|e^{2{\pi}\sinh^2{G(t)}}\right|<{e^{2{\pi}e^2}}<e^{15\pi}

となり

\sup_{|z|=|z2|}|F(z)|\le\sup_{|x|\le\tfrac{1}{59}}|F_1(x)|<e^{15\pi}

となるが

z_1\in\{z\in\mathbb{C}:\;|z_2|<|z|<e^{-60\pi}\}

であり

\sup_{|z|=e^{-60\pi}}|F(z)|=M<|F(z_1)|

であるから、最大値の原理により

\sup_{|z|=|z2|}|F(z)|\ge{|F(z_1)|}>e^{15\pi}

でなければならない。故に逆の仮定は矛盾を孕む。

小定理の証明[編集]

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

出典[編集]

関連項目[編集]