![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png) | この項目では、複素解析におけるピカールの定理について説明しています。微分方程式論におけるピカールの存在定理については「ピカール=リンデレーフの定理」をご覧ください。 |
ピカールの定理(英: Picard theorem)は、複素解析における定理。大定理と小定理があり、エミール・ピカールによって1878年に小定理が、1886年に大定理が証明された。
ピカールの定理
ピカールの大定理(英: Picard's great theorem)は、孤立した真性特異点の近傍の像が高々唯一の点を除き複素平面全体を覆うことを主張する複素解析の定理である。具体的には、
が
で正則であり、
が有界となる有限な自然数
が存在しないときに
![{\displaystyle \exists {a\in \mathbb {C} },\forall {b\in \mathbb {C} \setminus \{a\}},\exists {z\in \mathbb {U} _{\delta }},f(z)=b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f52d10da0cdb576aaf9702c802a90db430fe0d0e)
であることを主張する。
ピカールの小定理(英: Picard's little theorem)は、大定理の系であり、定数以外の整関数の値域が高々唯一の点を除く複素平面全体に広がることを主張する。言い換えれば、複素平面から二点以上を欠く値域を持つ整関数は定数に限ることを主張する。ピカールの定理はカゾラーティ・ワイエルシュトラスの定理やリウヴィルの定理を強化したものである。
具体例
真性特異点を持つ関数の例として
![{\displaystyle f(z)=e^{\left({\frac {1}{z}}\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b49cd43209d5a834af4fd5089cb44ef464313fe6)
を挙げる。任意の
について
![{\displaystyle z={\frac {1}{\log \left(v\right)+2{\pi }in}},\quad {n\geq {\frac {1}{2\pi \delta }}+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16d72328283c54a615129b6120deaa78c887a83e)
とすれば
で
となることが確かめられる。ピカールの大定理は、真性特異点を持つ他の関数も同様に振る舞うことを主張する。
大定理の証明
背理法による。
で
であれば
で
![{\displaystyle F(z)={\frac {f\left({\tfrac {z-z_{0}}{\delta }}\right)-a}{b-a}}\neq \{0,1\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e026bf35700d5011f1450a948752318ad0d5d1f)
である。
![{\displaystyle M=\sup _{|z|=e^{-60\pi }}|F(z)|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b06a73b48642f135de296704ed2b951f54520f2)
とする。
が真性特異点であれば、カゾラーティ・ワイエルシュトラスの定理により
![{\displaystyle {\begin{aligned}&\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73e274c1be3c192116700cd2c07905b286ae8e0d)
が存在するので
![{\displaystyle {\begin{aligned}&F_{1}(t)=f(z_{2}{e}^{59{\pi }it})\\&F_{2}(t)={\frac {\log {F_{1}(t)}}{2{\pi }i}},\qquad (|\Im {F_{2}(0)}|\leq 1)\\&F_{3}(t)={\sqrt {F_{2}(t)}}\\&G(t)=\sinh ^{-1}F_{3}(t),\qquad (|\Im {G(0)}|\leq \pi )\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/741cd98935db9eec79927a7ea519b1d784d76d4e)
とする。
であるから
は
で正則である。
であるから
は正則であり、
である。
であるから
は正則であり、
である。故に
は正則であり
![{\displaystyle G(t){\neq }w\in \{\sinh ^{-1}{\sqrt {n}}+i\pi {m}|(n,m)\in \mathbb {Z} ^{2}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bcde59ffb6471ee5f4851947423faa3eab2406d)
である。従って、任意の
について、
が根を持たない
が存在する。
を固定して
![{\displaystyle {\begin{aligned}&H(u)={\frac {G\left(t+(1-|t|)u\right)-G(t)}{(1-|t|)G'(t)}}\\&H_{1}(u)=(1-|u|)H'(u)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ce2e2c4efb217e82c7cc3283af1d2e0b95fcda8)
とする。
は
で正則であり、
が根を持たない
が存在する。
であるから
![{\displaystyle \mathbb {U} =\{u\in \mathbb {C} :\;|u|<1,(1-|u|)\left|H'(u)\right|\geq {1}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e98e35db7f4477ac09e4f0bf5768d1cce64463d)
は空でない。
の中で絶対値が最大のものを
として
![{\displaystyle J(v)=2\left(H\left({\frac {1-|u_{1}|}{2}}v+u_{1}\right)-H\left(u_{1}\right)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf8d6d69930672e68971d3ba85492afacbb3dcc9)
とする。
は
で正則であり、
が根を持たない
が存在する。 これを微分すると
![{\displaystyle J'(v)=(1-|u_{1}|)H'\left({\frac {1-|u_{1}|}{2}}v+u_{1}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bb380487806ce85c131facd321a1cd53f182e83)
となる。
である。
の最大値は、最大値の原理により
![{\displaystyle \sup _{|v|<1}|J'(v)|\leq \sup _{|u|={\tfrac {1+|u_{1}|}{2}}}(1-|u|)|H'(u)|\leq (1-|u_{1}|){\frac {2}{1+|u_{1}|}}\leq 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c2ddeea878c1c138f451b705cc6575d073f5291)
である。
であるから、シュワルツの補題により
であり、積分すると
![{\displaystyle |J(v)-v|\leq {{\frac {3}{2}}|v|^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ffbad98d85925f02b61ad490c27e3cd72bc099)
となる。任意の
について
![{\displaystyle {\begin{aligned}&J_{1}(v)=J(v)-w\\&J_{2}(v)=v-w\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd4f2e35d8cc36f5302030ff982ad3e1c2b1a347)
とすれば
の上で
であるから、ルーシェの定理により
と
は
の中に同数の根を持つが、
が根を持つから
も根を持たなければならない。そのためには
![{\displaystyle \left|{\frac {4}{(1-|t|)G'(t)}}\right|\geq {\frac {1}{7}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75391d3627c1052a9bb09f1dece7bde79f55318b)
でなければならない。
とすれば
となり、
により
であるから
![{\displaystyle |G(t)|\leq |G(0)|+\left[{\frac {57}{2}}t\right]_{0}^{\frac {1}{57}}<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0e6b0f2e9b90aff3462f699ea46d04368e47f67)
![{\displaystyle |F_{1}(t)|=\left|e^{2{\pi }\sinh ^{2}{G(t)}}\right|<{e^{2{\pi }e^{2}}}<e^{15\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38ecc6b66b910c9e7dc7ca777e8104dff65ed32f)
となり
![{\displaystyle \sup _{|z|=|z2|}|F(z)|\leq \sup _{|x|\leq {\tfrac {1}{59}}}|F_{1}(x)|<e^{15\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5f6eb2e030d0bc0b039e3fb4701d5ebea3fc759)
となるが
![{\displaystyle z_{1}\in \{z\in \mathbb {C} :\;|z_{2}|<|z|<e^{-60\pi }\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1602c5c9cc1938b82b68b5eeb45c6481400d21b6)
であり
![{\displaystyle \sup _{|z|=e^{-60\pi }}|F(z)|=M<|F(z_{1})|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33f2e4807fde2705669e9b2978d4af3a097ad539)
であるから、最大値の原理により
![{\displaystyle \sup _{|z|=|z2|}|F(z)|\geq {|F(z_{1})|}>e^{15\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5720f7f8d1d7b84310edfe5a389f56a8426ff09)
でなければならない。故に逆の仮定は矛盾を孕む。
小定理の証明
小定理は大定理の系である。
が整関数であれば
は
以外に特異点を持たない。
が真性特異点であれば、大定理により
は高々唯一の例外を除く全ての複素数値を取る。
が極(若しくは除去可能な特異点)であれば、その主要部を除去したもの
は他に特異点を持たず有界であるからリウヴィルの定理により定数である。従って、
は
の多項式であり、それが定数でないかぎり、代数学の基本定理により全ての複素数値を取る。何れにせよ、
は、それ定数でないかぎり、高々唯一の例外を除く全ての複素数値を取ることになる。
参考文献
- 吉田洋一「Ⅸ章 Picard の定理」『函数論』(第2版)岩波書店、2015年7月10日(原著1965年3月31日)。ISBN 978-4-00-730243-5。http://www.iwanami.co.jp/.BOOKS/73/X/7302430.html。 - オンデマンド出版。
- Weisstein, Eric W. "Picard's Great Theorem". mathworld.wolfram.com (英語).
- Weisstein, Eric W. "Picard's Little Theorem". mathworld.wolfram.com (英語).
関連項目
外部リンク