ワイエルシュトラスの因数分解定理 – Wikipedia
複素解析において、ワイエルシュトラスの因数分解定理(ワイエルシュトラスのいんすうぶんかいていり、英: Weierstrass factorization theorem)とは、整函数がその零点に関係する積で表すことができるという定理である。さらに、無限大へ向かう任意の数列に対し、ちょうどその数列の点を零点に持つ整函数が存在する。
この定理の名前はカール・ワイエルシュトラスに因んでいる。
混同の恐れのない限り、単にワイエルシュトラスの定理(ワイエルシュトラスのていり、英: Weierstrass theorem)とも呼ばれる。
定理は有理型函数へ拡張され、与えられた有理型函数を 3つの要素の積として考えることが可能になる。3つの要素とは、函数の極、函数の零点に依存するものと、これらに付帯する 0 でない正則函数である。
代数学の基本定理から 2つのことが分かる[1]。
- 複素平面内の有限列
{cn}{displaystyle {c_{n}}} に対し、正確にその数列の値に零点を持つ多項式 p(z){displaystyle p(z)} が存在する。 p(z)=∏n(z−cn){displaystyle p(z)=,prod _{n}(z-c_{n})}
- 複素平面内のすべての多項式函数
p(z){displaystyle p(z)} は、因数分解 p(z)=a∏n(z−cn){displaystyle p(z)=aprod _{n}(z-c_{n})} を持つ。ここで、a は 0 でない定数で、cn は p の零点である。
上記の方法を整函数へ拡張する方法を考える。一般の整函数の場合、数列
{cn}{displaystyle {c_{n}}}sin z{displaystyle sin z} が有限でない場合が有り得る。つまり、零点が可算無限個存在する場合もあり得る(例えば、
{cn}{displaystyle {c_{n}}} )。もし、無限数列
が有界であれば、必ず集積点を持つ(ボルツァーノ=ワイエルシュトラスの定理)ので、一致の定理により
f(z){displaystyle f(z)} を零点とする函数
は、複素平面全体で恒等的に 0 である。
従って、函数
f(z){displaystyle f(z)}{cn}{displaystyle {c_{n}}} が、
{cn}{displaystyle {c_{n}}} を零点とし、かつ複素平面全体で恒等的に 0 ではないためには、
{cn}{displaystyle {c_{n}}} は有界であってはならないことになる。この場合、
f(z)=∏n=1∞(z−cn){displaystyle f(z)=,textstyle prod _{n=1}^{infty }(z-c_{n})} が有限集合の場合と同様に、函数
n{displaystyle n} を考えても、
(z−cn){displaystyle (z-c_{n})} が一定値を超えれば、因子
の絶対値は全て 1 を超えるので、この無限積は収束しない。
発想を変えて、函数
f(z)=∏n=1∞(1−zcn){displaystyle f(z)=,textstyle prod _{n=1}^{infty }(1-{tfrac {z}{c_{n}}})}{cn}{displaystyle {c_{n}}} とすればどうであろうか(
{cn}{displaystyle {c_{n}}} は0を含まないものとする)。この無限積は、もし収束するのであれば、数列
(1−zcn){displaystyle (1-{tfrac {z}{c_{n}}})} を零点として持つ。また、因子
n→∞{displaystyle nto infty } は
のとき 1 に漸近して行くので、収束する可能性はある。なお、無限積は z に関係なく恒等的に 0 に収束する場合は、収束とはみなされない点も考慮する必要がある。
実は、単純にこの形では無限積の収束は保証できないが、各因子
(1−zcn){displaystyle (1-{tfrac {z}{c_{n}}},)}Ep(z){displaystyle E_{p}(z)} にある係数(zの函数)を掛けてから無限積を取ると収束することを証明するのが、本定理「ワイエルシュトラスの因数分解定理」である。次に示す、ワイエルシュトラスの基本因子(elementary factors)
(1−zcn){displaystyle (1-{tfrac {z}{c_{n}}})} を使えば、
Ep(zcn){displaystyle E_{p}({tfrac {z}{c_{n}}})} と係数を掛けた因子は
と表される。
基本因子[編集]
主要因子(primary factors)とも呼ばれる[2]。
n∈N{displaystyle nin mathbb {N} }
に対し、基本因子を次のように定義する[3]。
- En(z)={(1−z)if n=0,(1−z)exp(z11+z22+⋯+znn)otherwise. .{displaystyle E_{n}(z)={begin{cases}(1-z)&{text{if }}n=0,\(1-z)exp left({frac {z^{1}}{1}}+{frac {z^{2}}{2}}+cdots +{frac {z^{n}}{n}}right)&{text{otherwise}}.end{cases}} .}
上の式で、指数関数の引数になっている
z11+z22+z33+⋯+znn{displaystyle {tfrac {z^{1}}{1}}+{tfrac {z^{2}}{2}}+{tfrac {z^{3}}{3}}+cdots +{tfrac {z^{n}}{n}}}|z|<1{displaystyle |z|<1} という級数について、注目すべき点をいくつか述べておく。
の場合、
- 11−z=1+z1+z2+z3+⋯{displaystyle {frac {1}{1-z}}=1+z^{1}+z^{2}+z^{3}+cdots }
とテイラー展開可能である。この両辺を積分すると次のようになる。
- ∫11−zdz=−ln(1−z)=z11+z22+z33+⋯{displaystyle int {frac {1}{1-z}},dz=-ln(1-z)={tfrac {z^{1}}{1}}+{tfrac {z^{2}}{2}}+{tfrac {z^{3}}{3}}+cdots }
z11+z22+z33+⋯+znn{displaystyle ,{tfrac {z^{1}}{1}}+{tfrac {z^{2}}{2}}+{tfrac {z^{3}}{3}}+cdots +{tfrac {z^{n}}{n}}}
は上のテイラー展開を有限項で打ち切った形になっている。さらに、
- (1−z)=exp(ln(1−z))=exp(−z11−z22−z33+⋯){displaystyle (1-z)=exp(ln(1-z))=exp left(-{tfrac {z^{1}}{1}}-{tfrac {z^{2}}{2}}-{tfrac {z^{3}}{3}}+cdots right)}
- 11−z=exp(z11+z22+z33+⋯){displaystyle {frac {1}{1-z}}=exp left({tfrac {z^{1}}{1}}+{tfrac {z^{2}}{2}}+{tfrac {z^{3}}{3}}+cdots right)}
である。
また、
z11+z22+z33+⋯+znn{displaystyle ,{tfrac {z^{1}}{1}}+{tfrac {z^{2}}{2}}+{tfrac {z^{3}}{3}}+cdots +{tfrac {z^{n}}{n}}}1+z1+z2+⋯+zn−1=1−zn1−z{displaystyle 1+z^{1}+z^{2}+cdots +z^{n-1}={tfrac {1-z^{n}}{1-z}}} を微分すると、
となる。
以上の性質を用いて、次の補題が証明できる[3]。
補題(15.8, ルーディン(Rudin)): |z| ≤ 1, n ∈ No に対し、
- |1−En(z)|≤|z|n+1.{displaystyle vert 1-E_{n}(z)vert leq vert zvert ^{n+1}.}
定理の 2つの形[編集]
特定の零点を持つ整函数の存在[編集]
単にワイエルシュトラスの定理 (Weierstrass theorem) と呼ばれることがある[4]。
{an}{displaystyle {a_{n}}}
|an|→∞{displaystyle |a_{n}|to infty } を 0 にはならない複素数の数列で、
{pn}{displaystyle {p_{n}}} とする。整数の数列
r>0{displaystyle r>0} がすべての
∑n=1∞(r/|an|)1+pn<∞,{displaystyle sum _{n=1}^{infty }left(r/|a_{n}|right)^{1+p_{n}}
であるとすると、函数
- f(z)=∏n=1∞Epn(z/an){displaystyle f(z)=prod _{n=1}^{infty }E_{p_{n}}(z/a_{n})}
は点
an{displaystyle a_{n}}z0{displaystyle z_{0}} にのみ零点を持つ整函数である。数
{an}{displaystyle {a_{n}}} が数列
z=z0{displaystyle z=z_{0}} の中にちょうど m 回あれば、函数 f は
に多重度 m の零点を持つ。
ワイエルシュトラスの因数分解定理[編集]
ワイエルシュトラスの定理は、ワイエルシュトラスの積/因子定理と呼ばれることもある[5]。
f を整函数とし、
{an}{displaystyle {a_{n}}}{pn}{displaystyle {p_{n}}} を f の 0 以外の零点とする(多重度だけ繰り返すものとする)。f が z = 0 で位数 m ≥ 0 である零点を持つとする( z = 0 で位数 m = 0 の零点とは、ƒ(0) ≠ 0 を意味する)と、整函数 g と整数の数列
が存在し、
- f(z)=zmeg(z)∏n=1∞Epn(zan){displaystyle f(z)=z^{m}e^{g(z)}prod _{n=1}^{infty }E_{p_{n}}!!left({frac {z}{a_{n}}}right)}
となる[6]。
因数分解の例[編集]
sinπz=πz∏n≠0(1−zn)ez/n=πz∏n=1∞(1−z2n2){displaystyle sin pi z=pi zprod _{nneq 0}left(1-{frac {z}{n}}right)e^{z/n}=pi zprod _{n=1}^{infty }left(1-{frac {z^{2}}{n^{2}}}right)}
cosπz=∏q∈Z,qodd(1−2zq)e2z/q=∏n=0∞(1−4z2(2n+1)2){displaystyle cos pi z=prod _{qin 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)}
アダマールの因数分解定理[編集]
f が有限の位数[7]の整函数は、因数分解
- f(z)=zmeg(z)∏n=1∞Ep(z/an){displaystyle f(z)=z^{m}e^{g(z)}displaystyle prod _{n=1}^{infty }E_{p}(z/a_{n})}
を持つ。ここに g(z) は次数 q の多項式であり、q ≤ ρ で p=[ρ] である[6]。
参照項目[編集]
- ^ Knopp, K. (1996), “Weierstrass’s Factor-Theorem”, Theory of Functions, Part II, New York: Dover, pp. 1–7 .
- ^ Boas, R. P. (1954), Entire Functions, New York: Academic Press Inc., ISBN 0-8218-4505-5, OCLC 6487790 , chapter 2.
- ^ a b c Rudin, W. (1987), Real and Complex Analysis (3rd ed.), Boston: McGraw Hill, pp. 301–304, ISBN 0-07-054234-1, OCLC 13093736 .
- ^ Weisstein, Eric W. “Weierstrass’s Theorem“. MathWorld (英語).
- ^ Weisstein, Eric W. “Weierstrass Product Theorem“. MathWorld (英語).
- ^ 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)を、ワイエルシュトラスの標準乗積で、
- f(z)=eg(z)zm∏k=1∞(1−zαk)egk(z/αk){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})}}
と表すことができる。ここに、g(z) は整函数で、
- gk(z)=z+(1/2)z2+(1/2)z3+⋯+(1/pk)zpk{displaystyle g_{k}(z)=z+(1/2)z^{2}+(1/2)z^{3}+cdots +(1/p_{k})z^{p_{k}}}
である。ここでは、p1, p2,… は、
∑k=1∞|zαk|pk+1{displaystyle sum _{k=1}^{infty }{biggl |}{frac {z}{alpha _{k}}}{biggr |}^{p_{k}+1}} がすべての z に対して収束するような自然数である。このとき超越整函数の位数は、- ρ=lim supr→∞loglogM(r)/logr{displaystyle rho =limsup _{rrightarrow infty }log log {M(r)}/log {r}}
で定義される。M(r) は |z| = r における |f(z)| の最大値である。
Recent Comments