複素解析において、ワイエルシュトラスの因数分解定理(ワイエルシュトラスのいんすうぶんかいていり、英: Weierstrass factorization theorem)とは、前もって与えられた集積点を持たない可算無限個の点のみを零点として持つ恒等的に 0 でない整函数が存在し、それは一次関数の無限積と零点を持たない整函数の積で表すことができることを示す定理である。
この定理と対になるのがミッタク=レフラーの定理であり、前もって与えられた集積点を持たない可算無限個の極を持つ有理型関数の存在を保証している。
この定理の名前はカール・ワイエルシュトラスに因んでいる。 混同の恐れのない限り、単にワイエルシュトラスの定理(ワイエルシュトラスのていり、英: Weierstrass theorem)とも呼ばれる。
定理は有理型函数へ拡張され、与えられた有理型函数を 3つの要素の積として考えることが可能になる。3つの要素とは、函数の極、函数の零点に依存するものと、これらに付帯する 0 でない正則函数である。
動機
代数学の基本定理から 2つのことが分かる[1]。
- 複素平面内の有限列
に対し、正確にその数列の値に零点を持つ多項式
が存在する。![{\displaystyle p(z)=\,\prod _{n}(z-a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c57e89a2bca2ed192d4044db294865dd85a3e1a8)
- 複素平面内のすべての多項式函数
は、因数分解
を持つ。ここで、c は 0 でない定数で、an は p の零点である。
上記の方法を整函数へ拡張する方法を考える。その場合の最大の問題点は、一般の整函数の場合、数列
が有限でない、つまり、零点が可算無限個存在する場合もあり得るということである(例えば、
)。
もし、無限数列
が集積点を持てば、一致の定理により
を零点とする函数
は、複素平面全体で恒等的に 0 である。一方、無限数列
が有界であれば、必ず集積点を持つ(ボルツァーノ=ワイエルシュトラスの定理)。
従って、函数
が、
の要素を零点とし、かつ複素平面全体で恒等的に 0 ではないためには、
は有界であってはならないことになる。これは任意の正数
に対して自然数
が決まり、
であれば
となるという条件と同値である。
この場合、
が有限集合の場合と同様に、函数
を考えても、
が一定値を超えれば、因子
の絶対値は全て 1 を超えるので、この無限積は収束しない。
発想を変えて、函数
とすればどうであろうか(
は0を含まないものとする)。この無限積は、もし収束するのであれば、数列
の全ての要素を零点として持つ。また、因子
は
のとき 1 に漸近して行くので、収束する可能性はある。なお、無限積の収束の定義は「その対数値が定義域の各点の近傍で一様収束すること」 [2] であり、無限積が z に関係なく恒等的に 0 に収束する場合(この場合は与えられた零点以外でも対数値が負の無限大に発散する)は、収束とはみなされないことに注意する必要がある。
実は、単純にこの形では無限積の収束は保証できないが、各因子
にある係数(zの函数)を掛けてから無限積を取ると収束することを示すのが、本定理「ワイエルシュトラスの因数分解定理」である。次に示す、ワイエルシュトラスの基本因子(elementary factors)
を使えば、
と係数を掛けた因子は
と表される。
基本因子
(非負の整数) に対し、ワイエルシュトラスの基本因子(elementary factors)と呼ばれる(主要因子(primary factors)とも呼ばれる[3]) 整函数
を次のように定義する[4]。
![{\displaystyle E_{n}(z)=(1-z)\exp \left(h_{n}(z)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505d0fa47534c43c3a74b180b6cefb71de89933d)
![{\displaystyle h_{n}(z)={\begin{cases}0&{\text{if }}n=0,\\{\frac {z^{1}}{1}}+{\frac {z^{2}}{2}}+\cdots +{\frac {z^{n}}{n}}&{\text{otherwise}}.\end{cases}}\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60041ee4e5522f3e7915a3f7ceda412e0dd89ca7)
という級数について、注目すべき点をいくつか述べておく。
の場合、
![{\displaystyle {\tfrac {1}{1-z}}=1+z^{1}+z^{2}+z^{3}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/57e2cae65f1e6f2046688c2d3d702e1434933e82)
とテイラー展開可能である。この両辺を積分すると次のようになる。
![{\displaystyle \int {\tfrac {1}{1-z}}\,dz=-\log(1-z)={\tfrac {z^{1}}{1}}+{\tfrac {z^{2}}{2}}+{\tfrac {z^{3}}{3}}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/184dbc227d818ba545a6fd63bcac2e8d95a3ab1c)
これは
で n を無限大とした極限と考えられるので、
と表すことにする。言い換えれば、
は
を有限項で打ち切った形になっている。
![{\displaystyle (1-z)=\exp(\log(1-z))=\exp \left(-h_{\infty }(z)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/573c7f40374dbe4cb1970852ba39211687b86b46)
![{\displaystyle {\tfrac {1}{1-z}}=\exp \left(h_{\infty }(z)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0f9c1f48e202a25ba88081f08c0c4c4ec8ad25)
である。
また、
を微分すると、
となる。
![{\displaystyle r_{n}(z)=h_{\infty }(z)-h_{n}(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd52c72d19e50be598bc9283749e532a620d723a)
と定義すれば、
![{\displaystyle =(1-z){\tfrac {1}{1-z}}\exp \left(-r_{n}(z)\right)=\exp \left(-r_{n}(z)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/711ee395e00f71a540c07f7825bd240f804aad50)
である[5]。
以上の性質を利用すると、本定理を証明するために必要な次の補題が証明できる[5]。
補題:
に対し、
![{\displaystyle |\log E_{n}(z)|<{\frac {|z|^{n+1}}{n+1}}{\frac {1}{1-|z|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fb2b90fc3c052c41ba968618642894b72a523b9)
証明:
に対して、上のいくつかの式を適用すると次のようになる。
![{\displaystyle \log E_{n}(z)=\log(1-z)+h_{n}(z)=-h_{\infty }(z)+h_{n}(z)=-r_{n}(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2a2b3c42c959520c839561a421a9754cdd658fe)
![{\displaystyle =-{\tfrac {z^{n+1}}{n+1}}-{\tfrac {z^{n+2}}{n+2}}-{\tfrac {z^{n+3}}{n+3}}-\cdots =-\sum _{k=n+1}^{\infty }{\tfrac {z^{n+1}}{n+1}}=-{\tfrac {z^{n+1}}{n+1}}\sum _{k=0}^{\infty }{\tfrac {n+1}{n+1+k}}z^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d105b66b6ce8a008686169fbc7b18a48f0a4270a)
従って、
![{\displaystyle |\log E_{n}(z)|<{\tfrac {|z|^{n+1}}{n+1}}\sum _{k=0}^{\infty }{\tfrac {n+1}{n+1+k}}|z|^{k}\leq {\tfrac {|z|^{n+1}}{n+1}}\sum _{k=0}^{\infty }|z|^{k}={\tfrac {|z|^{n+1}}{n+1}}{\tfrac {1}{1-|z|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e76d4622ad23887e5014cf6088d491243b310e75)
定理
特定の零点を持つ整函数の存在
次の定理は下記のワイエルシュトラスの因数分解定理を簡略化したものであるが、任意に与えられた可算無限数列の全ての点のみを零点として持つ整函数の存在を保証している。この定理は単にワイエルシュトラスの定理 (Weierstrass theorem) と呼ばれることがある[6]。
定理(簡略版):
を 0 を含まず、集積点を持たない複素数の無限数列とする。整数の数列
がすべての
に対して、
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{p_{n}+1}}\left({\frac {r}{|a_{n}|}}\right)^{p_{n}+1}<\infty ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27c1075d44899c87a3e41c03751e0c04fe803312)
であるとすると、函数
![{\displaystyle f(z)=\prod _{n=1}^{\infty }E_{p_{n}}(z/a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/496377c57ccdf4f4e6cfa99585e92b5d6c112147)
は点
にのみ零点を持つ整函数である。数
が数列
の中にちょうど m 回あれば、函数 f は
に多重度 m の零点を持つ。
証明:
の対数を取ると次のようになる。
![{\displaystyle \log f(z)=\sum _{n=1}^{\infty }\log E_{n}(z/a_{n})=\sum _{n=1}^{\infty }(\log(1-z/a_{n})+h_{n}(z/a_{n}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3de2b92e218fc5b0ca4575f8dc93cb6fc6fbcf44)
前節で示したように
が集積点を持たないことは、任意の正数
に対して自然数
が決まり、
であれば
となるという条件と同値である。
とそれに対応する
を固定して考える。 無限和
を
である有限和
と
である無限和
に分けて考える。
有限和
は
である各零点
で負の無限大になり、複素平面のそれ以外の点では有限確定値を取る。
一先ず
として、 無限和部分の絶対値を考え、前節で示した補題を援用すると次のようになる。
![{\displaystyle <\sum _{n=N+1}^{\infty }{\frac {|z/a_{n}|^{{p_{n}}+1}}{{p_{n}}+1}}{\frac {1}{1-|z/a_{n}|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a2226e82a818384e7125a4ca49c6cbf901640b0)
![{\displaystyle <{\frac {1}{1-|R/a_{N+1}|}}\sum _{n=N+1}^{\infty }{\frac {|R/a_{N+1}|^{p_{n}+1}}{p_{n}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85dce84e5cb17e3f16aebe2cdf304c6eabcfa4f5)
従って、定理の条件によって、無限和部分は収束し有限確定値を取る。
は任意に大きくできるので、任意の
に対して、無限和部分の絶対値は有限確定値を取る。従って、無限和
は各零点
でのみ負の無限大になり、複素平面のそれ以外の点では有限確定値を取る。
以上から 無限積
は各零点
でのみ 0 となり、複素平面のそれ以外の点では 0 以外の有限確定値を取る。つまり
は整函数である。
注意:
- 定理の条件を満たす数列
は常に存在することに注意せよ。たとえば、
とすれば収束が保証される。これから、任意に与えられた可算無限数列の全ての点のみを零点として持つ整函数の存在も保証される。ただし、収束する数列は一意ではない。この数列を有限回位置を変えて、他の数列 p'n ≥ pn をとっても、常に収束する。 - 定理は次のように一般化される。リーマン球面上の開集合の中の数列(したがって、領域)に対して、それらの部分集合の中で正則であり、数列の点で零点を持つ函数が存在する[4]。
- 代数学の基本定理により与えられる場合も含まれることに注意せよ。もし数列
が有限であれば、
として
が得られる。
ワイエルシュトラスの因数分解定理
次の定理が一般にワイエルシュトラスの因数分解定理と呼ばれている完全形式である。ワイエルシュトラスの積/因子定理と呼ばれることもある[7]。
定理(完全版): f を整函数とし、
を f の 0 以外の零点とする(多重度だけ繰り返すものとする)。f が z = 0 で位数 m ≥ 0 である零点を持つとする( z = 0 で位数 m = 0 の零点とは、ƒ(0) ≠ 0 を意味する)と、整函数 g と整数の数列
が存在し、
![{\displaystyle f(z)=z^{m}e^{g(z)}\prod _{n=1}^{\infty }E_{p_{n}}\!\!\left({\frac {z}{a_{n}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d774366b02c34afff55aeb5291037b57f83425)
となる[8]。
因数分解の例
![{\displaystyle \sin \pi z=\pi z\prod _{n\neq 0}\left(1-{\frac {z}{n}}\right)e^{z/n}=\pi z\prod _{n=1}^{\infty }\left(1-{\frac {z^{2}}{n^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e45cefb3048821694b536186c92591f6e7402be)
![{\displaystyle \cos \pi z=\prod _{q\in \mathbb {Z} ,\,q\;{\text{odd}}}\left(1-{\frac {2z}{q}}\right)e^{2z/q}=\prod _{n=0}^{\infty }\left(1-{\frac {4z^{2}}{(2n+1)^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63981ba8bec23f472c754b8388e1ef03a71ad5a6)
アダマールの因数分解定理
f が有限の位数[9]の整函数は、因数分解
![{\displaystyle f(z)=z^{m}e^{g(z)}\displaystyle \prod _{n=1}^{\infty }E_{p}(z/a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32798fa681299e8306b559162f1108ca8b7ae42a)
を持つ。ここに g(z) は次数 q の多項式であり、q ≤ ρ で p=[ρ] である[8]。
参照項目
脚注
- ^ Knopp, K. (1996), “Weierstrass's Factor-Theorem”, Theory of Functions, Part II, New York: Dover, pp. 1–7 .
- ^ 大沢健夫 (2017年11月20日). 現代複素解析への道標. 現代数学社. p. 35. ISBN 978-4-7687-0480-6
- ^ Boas, R. P. (1954), Entire Functions, New York: Academic Press Inc., ISBN 0-8218-4505-5, OCLC 6487790 , chapter 2.
- ^ a b Rudin, W. (1987), Real and Complex Analysis (3rd ed.), Boston: McGraw Hill, pp. 301–304, ISBN 0-07-054234-1, OCLC 13093736 .
- ^ a b 遠木幸成、阪井章 (1966年2月). 関数論. 学術図書出版社. pp. 101-105
- ^ Weisstein, Eric W. "Weierstrass's Theorem". mathworld.wolfram.com (英語).
- ^ Weisstein, Eric W. "Weierstrass Product Theorem". mathworld.wolfram.com (英語).
- ^ a b Conway, J. B. (1995), Functions of One Complex Variable I, 2nd ed., springer.com: Springer, ISBN 0-387-90328-3
- ^ z = 0 で m 位の零点 (m ≧ 0) を持ち、その他の零点が α1,α2, ..., αn, αn+1,... (0 < |α1| ≦ |α2| ≦ |α3| ...→ ∞) である超越整函数 f(z)を、ワイエルシュトラスの標準乗積で、
![{\displaystyle f(z)=e^{g(z)}z^{m}\prod _{k=1}^{\infty }{\biggl (}1-{\frac {z}{\alpha _{k}}}{\biggr )}e^{g_{k}(z/\alpha _{k})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ac5dcd75ce4b91412360b29d35e31d18d7b823d)
と表すことができる。ここに、g(z) は整函数で、 ![{\displaystyle g_{k}(z)=z+(1/2)z^{2}+(1/2)z^{3}+\cdots +(1/p_{k})z^{p_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b997de0352804d8b87eef0e6a1f0fb3e8c4a8f45)
である。ここでは、p1, p2,... は、
がすべての z に対して収束するような自然数である。このとき超越整函数の位数は、 ![{\displaystyle \rho =\limsup _{r\rightarrow \infty }\log \log {M(r)}/\log {r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0c49153759e3dd5a7cf96e70c55536fb41eae98)
で定義される。M(r) は |z| = r における |f(z)| の最大値である。
外部リンク
- Hazewinkel, Michiel, ed. (2001), “Weierstrass theorem”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Weierstrass_theorem