コンテンツにスキップ
Wikipedia

アーベルの連続性定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』

アーベルの連続性定理(アーベルのれんぞくせいていり)とは、収束半径が1の冪級数が収束円周上の点において連続であるための十分条件を与える定理である。冪級数は収束円板の内部で広義一様に絶対収束するが、収束円上の一般の点での挙動はわからない。この定理はそこでの連続性を保証している。数学者ニールス・アーベルにちなんで名付けられた。

定理

[編集 ]

係数 a n {\displaystyle a_{n}} {\displaystyle a_{n}}, 変数 x {\displaystyle x} {\displaystyle x}が実数の時、この定理は次のようになる。

アーベルの連続性定理(実数版) ―  ∑ n = 0 ∞ a n {\displaystyle \sum _{n=0}^{\infty }a_{n}} {\displaystyle \sum _{n=0}^{\infty }a_{n}} は収束するとし、中心 x = 0 {\displaystyle x=0} {\displaystyle x=0} 、収束半径が1の冪級数を f ( x ) = ∑ n = 0 ∞ a n x n {\displaystyle f(x)=\sum _{n=0}^{\infty }a_{n}x^{n}} {\displaystyle f(x)=\sum _{n=0}^{\infty }a_{n}x^{n}} とおく。ここでは各 a n {\displaystyle a_{n}} {\displaystyle a_{n}}, x {\displaystyle x} {\displaystyle x} は実数とする。このとき、 x {\displaystyle x} {\displaystyle x} が | x | < 1 {\displaystyle |x|<1} {\displaystyle |x|<1} であるようにして1に近づくならば、 f ( x ) {\displaystyle f(x)} {\displaystyle f(x)} は f ( 1 ) {\displaystyle f(1)} {\displaystyle f(1)} に近づく。

係数 a n {\displaystyle a_{n}} {\displaystyle a_{n}}, 変数 z {\displaystyle z} {\displaystyle z}が複素数の時、この定理は次のように拡張される。

アーベルの連続性定理(複素数版) ―  ∑ n = 0 ∞ a n {\displaystyle \sum _{n=0}^{\infty }a_{n}} {\displaystyle \sum _{n=0}^{\infty }a_{n}} は収束するとし、中心 z = 0 {\displaystyle z=0} {\displaystyle z=0} 、収束半径が1の冪級数を f ( z ) = ∑ n = 0 ∞ a n z n {\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}} {\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}} とおく。ここでは各 a n {\displaystyle a_{n}} {\displaystyle a_{n}}, z {\displaystyle z} {\displaystyle z} は複素数とする。このとき、 z {\displaystyle z} {\displaystyle z} が | z | < 1 {\displaystyle \left|z\right|<1} {\displaystyle \left|z\right|<1}で | 1 − z | 1 − | z | {\displaystyle {\frac {|1-z|}{1-|z|}}} {\displaystyle {\frac {|1-z|}{1-|z|}}} が有界であるようにして1に近づくならば、 f ( z ) {\displaystyle f(z)} {\displaystyle f(z)} は f ( 1 ) {\displaystyle f(1)} {\displaystyle f(1)} に近づく。

| 1 − z | 1 − | z | {\displaystyle {\frac {|1-z|}{1-|z|}}} {\displaystyle {\frac {|1-z|}{1-|z|}}} が有界とは、適当な正の実数 M が存在して | 1 − z | 1 − | z | < M {\displaystyle {\frac {|1-z|}{1-|z|}}<M} {\displaystyle {\frac {|1-z|}{1-|z|}}<M} が成立することである。この条件は、「ストルツの角(英: Stolz angle)[1] の中から近づく」という言い方をすることがある[2] [3] 。その幾何学的な意味は、実軸上の区間 ( − ∞ , 1 ) {\displaystyle (-\infty ,1)} {\displaystyle (-\infty ,1)} に対称で1を頂点としてその角が180°より小さい角領域の中に z {\displaystyle z} {\displaystyle z} があるということである。

応用例

[編集 ]
∑ n = 0 ∞ ( − 1 ) n 2 n + 1 = 1 − 1 3 + 1 5 − ⋯ = π 4 {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}=1-{\frac {1}{3}}+{\frac {1}{5}}-\dotsb ={\frac {\pi }{4}}} {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}=1-{\frac {1}{3}}+{\frac {1}{5}}-\dotsb ={\frac {\pi }{4}}}

を証明する。 arctan {\displaystyle \arctan } {\displaystyle \arctan } を tan {\displaystyle \tan } {\displaystyle \tan } の逆関数で主値をとるものとする。(逆三角関数を参照) arctan ⁡ x {\displaystyle \arctan x} {\displaystyle \arctan x} を x {\displaystyle x} {\displaystyle x} で微分する。

( arctan ⁡ x ) ′ = 1 1 + x 2 {\displaystyle (\arctan x)'={\frac {1}{1+x^{2}}}} {\displaystyle (\arctan x)'={\frac {1}{1+x^{2}}}}

よく知られているように右辺は級数に展開できて、収束半径は1である。 0 < x < 1 {\displaystyle 0<x<1} {\displaystyle 0<x<1} として、0を基点とする両辺の不定積分を考える。収束半径の内部で級数は広義一様に絶対収束するので、積分と無限和を交換できることに注意すると、

arctan ⁡ x = ∑ n = 0 ∞ ( − 1 ) n 2 n + 1 x 2 n + 1 {\displaystyle \arctan x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}x^{2n+1}} {\displaystyle \arctan x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}x^{2n+1}}

が得られる。ここで、交項級数に関するライプニッツの定理によって ∑ n = 0 ∞ ( − 1 ) n 2 n + 1 {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}} {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}} が収束することがわかる。以上のことからアーベルの連続性定理が使えて、求める式が得られる。

log ⁡ ( 1 + x ) {\displaystyle \log(1+x)} {\displaystyle \log(1+x)} について同様の議論をすると、

∑ n = 0 ∞ ( − 1 ) n n + 1 = 1 − 1 2 + 1 3 − ⋯ = log ⁡ 2 {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n+1}}=1-{\frac {1}{2}}+{\frac {1}{3}}-\dotsb =\log 2} {\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n+1}}=1-{\frac {1}{2}}+{\frac {1}{3}}-\dotsb =\log 2}

がわかる。

証明の概略

[編集 ]

証明 — 必要なら a 0 {\displaystyle a_{0}} {\displaystyle a_{0}} に定数を加えて ∑ n = 0 ∞ a n = 0 {\displaystyle \sum _{n=0}^{\infty }a_{n}=0} {\displaystyle \sum _{n=0}^{\infty }a_{n}=0} と仮定してよい。第 n {\displaystyle n} {\displaystyle n} 部分和を s n {\displaystyle s_{n}} {\displaystyle s_{n}} と書くと、 a n = s n − s n − 1 {\displaystyle a_{n}=s_{n}-s_{n-1}} {\displaystyle a_{n}=s_{n}-s_{n-1}} である。これを利用すると、

s n ( z ) = a 0 + a 1 z + ⋯ + a n z n = s 0 + ( s 1 − s 0 ) z + ⋯ + ( s n − s n − 1 ) z n = s 0 ( 1 − z ) + s 1 ( z − z 2 ) + ⋯ + s n − 1 ( z n − 1 − z n ) + s n z n = ( 1 − z ) ( s 0 + s 1 z + ⋯ + s n − 1 z n − 1 ) + s n z n {\displaystyle {\begin{aligned}s_{n}(z)&=a_{0}+a_{1}z+\cdots +a_{n}z^{n}\\&=s_{0}+(s_{1}-s_{0})z+\cdots +(s_{n}-s_{n-1})z^{n}\\&=s_{0}(1-z)+s_{1}(z-z^{2})+\cdots +s_{n-1}(z^{n-1}-z^{n})+s_{n}z^{n}\\&=(1-z)(s_{0}+s_{1}z+\cdots +s_{n-1}z^{n-1})+s_{n}z^{n}\end{aligned}}} {\displaystyle {\begin{aligned}s_{n}(z)&=a_{0}+a_{1}z+\cdots +a_{n}z^{n}\\&=s_{0}+(s_{1}-s_{0})z+\cdots +(s_{n}-s_{n-1})z^{n}\\&=s_{0}(1-z)+s_{1}(z-z^{2})+\cdots +s_{n-1}(z^{n-1}-z^{n})+s_{n}z^{n}\\&=(1-z)(s_{0}+s_{1}z+\cdots +s_{n-1}z^{n-1})+s_{n}z^{n}\end{aligned}}}

となる。 s n z n → 0 {\displaystyle s_{n}z^{n}\rightarrow 0} {\displaystyle s_{n}z^{n}\rightarrow 0} であるから、

f ( z ) = ( 1 − z ) ∑ n = 0 ∞ s n z n = ( 1 − z ) ∑ n = 0 m − 1 s n z n + ( 1 − z ) ∑ n = m ∞ s n z n {\displaystyle f(z)=(1-z)\sum _{n=0}^{\infty }s_{n}z^{n}=(1-z)\sum _{n=0}^{m-1}s_{n}z^{n}+(1-z)\sum _{n=m}^{\infty }s_{n}z^{n}} {\displaystyle f(z)=(1-z)\sum _{n=0}^{\infty }s_{n}z^{n}=(1-z)\sum _{n=0}^{m-1}s_{n}z^{n}+(1-z)\sum _{n=m}^{\infty }s_{n}z^{n}}

と表せる。 s n → 0 {\displaystyle s_{n}\rightarrow 0} {\displaystyle s_{n}\rightarrow 0} より、任意の正の実数 ε に対して十分大きな m {\displaystyle m} {\displaystyle m} 以降の項 s n {\displaystyle s_{n}} {\displaystyle s_{n}} は | s n | < ε {\displaystyle |s_{n}|<\varepsilon } {\displaystyle |s_{n}|<\varepsilon } にできるので、十分大きな m {\displaystyle m} {\displaystyle m} 以降の項の和の絶対値 | ∑ n = m ∞ s n z n | {\displaystyle \left|\sum _{n=m}^{\infty }s_{n}z^{n}\right|} {\displaystyle \left|\sum _{n=m}^{\infty }s_{n}z^{n}\right|} は幾何級数 ε ∑ n = m ∞ | z | n = ε | z | m / ( 1 − | z | ) < ε / ( 1 − | z | ) {\displaystyle \varepsilon \sum _{n=m}^{\infty }|z|^{n}=\varepsilon |z|^{m}/(1-|z|)<\varepsilon /(1-|z|)} {\displaystyle \varepsilon \sum _{n=m}^{\infty }|z|^{n}=\varepsilon |z|^{m}/(1-|z|)<\varepsilon /(1-|z|)} で上から評価される。ゆえに、三角不等式により、

| f ( z ) | < | 1 − z | | ∑ n = 0 m − 1 s n z n | + ε | 1 − z | 1 − | z | . {\displaystyle |f(z)|<|1-z|\left|\sum _{n=0}^{m-1}s_{n}z^{n}\right|+\varepsilon {\frac {|1-z|}{1-|z|}}.} {\displaystyle |f(z)|<|1-z|\left|\sum _{n=0}^{m-1}s_{n}z^{n}\right|+\varepsilon {\frac {|1-z|}{1-|z|}}.}

第1項は z → 1 {\displaystyle z\rightarrow 1} {\displaystyle z\rightarrow 1} として < ε {\displaystyle <\varepsilon } {\displaystyle <\varepsilon } にできる。第2項はストルツの角から近づくという条件[1] により < M ε {\displaystyle <M\varepsilon } {\displaystyle <M\varepsilon } にできる。したがって、 | f ( z ) | < ( 1 + M ) ε {\displaystyle |f(z)|<(1+M)\varepsilon } {\displaystyle |f(z)|<(1+M)\varepsilon } にできるので、定理に述べた条件のもとで z → 1 {\displaystyle z\rightarrow 1} {\displaystyle z\rightarrow 1} とすれば f ( z ) → 0 {\displaystyle f(z)\rightarrow 0} {\displaystyle f(z)\rightarrow 0} となることが証明された[2] [3] 。

注意

[編集 ]

定理の仮定にある「 ∑ n = 0 ∞ a n {\displaystyle \sum _{n=0}^{\infty }a_{n}} {\displaystyle \sum _{n=0}^{\infty }a_{n}} は収束する」という条件は必要である。この条件がないと、次のような反例がある:

1 1 + x = 1 − x + x 2 − ⋯ {\displaystyle {\frac {1}{1+x}}=1-x+x^{2}-\cdots } {\displaystyle {\frac {1}{1+x}}=1-x+x^{2}-\cdots }(収束半径1)

左辺は lim x → 1 − 0 1 1 + x = 1 2 {\displaystyle \lim _{x\to 1-0}{\frac {1}{1+x}}={\frac {1}{2}}} {\displaystyle \lim _{x\to 1-0}{\frac {1}{1+x}}={\frac {1}{2}}} に収束するが、右辺は 1 − 1 + 1 − 1 + ⋯ {\displaystyle 1-1+1-1+\cdots } {\displaystyle 1-1+1-1+\cdots } に近づき収束しない。

補足

[編集 ]

以上の議論で「冪級数の中心は z = 0 {\displaystyle z=0} {\displaystyle z=0} 」としたが、一般の点を中心としても定理が成り立つ。同じく、「収束半径が1」、「円周上の点 z = 1 {\displaystyle z=1} {\displaystyle z=1} 」という仮定も本質的でない。これらは正規化された結果と見るべきであろう。実際、平行移動、拡大縮小、回転を施せば上の議論は一般化できる。

出典

[編集 ]
  1. ^ a b Andrzej Kozlowski. "Stolz Angle". the Wolfram Demonstrations Project. 2018年3月10日閲覧。
  2. ^ a b アールフォルス 1982, p. 44
  3. ^ a b Ahlfors 2006, pp. 41f

参考文献

[編集 ]

関連項目

[編集 ]

外部リンク

[編集 ]

AltStyle によって変換されたページ (->オリジナル) /