アーベルの連続性定理

アーベルの連続性定理とは、収束半径が1の冪級数が収束円周上の点において連続であるための十分条件を与える定理である。冪級数は収束円板の内部で広義一様に絶対収束するが、収束円上の一般の点での挙動はわからない。この定理はそこでの連続性を保証している。数学者ニールス・アーベルにちなんで名付けられた。
定理.
係数formula_1, 変数formula_2が実数の時、この定理は次のようになる。
係数formula_1, 変数formula_4が複素数の時、この定理は次のように拡張される。
formula_5 が有界とは、適当な正の実数 が存在して formula_6 が成立することである。この条件は、「ストルツの角（）の中から近づく」という言い方をすることがある。その幾何学的な意味は、実軸上の区間 formula_7 に対称で1を頂点としてその角が180°より小さい角領域の中に formula_4 があるということである。
応用例.
を証明する。formula_10 を formula_11 の逆関数で主値をとるものとする。（逆三角関数を参照）formula_12 を formula_2 で微分する。
よく知られているように右辺は級数に展開できて、収束半径は1である。formula_15 として、0を基点とする両辺の不定積分を考える。収束半径の内部で級数は広義一様に絶対収束するので、積分と無限和を交換できることに注意すると、
が得られる。ここで、交項級数に関するライプニッツの定理によって formula_17 が収束することがわかる。以上のことからアーベルの連続性定理が使えて、求める式が得られる。
formula_18 について同様の議論をすると、
がわかる。
注意.
定理の仮定にある「 formula_20 は収束する」という条件は必要である。この条件がないと、次のような反例がある:
左辺は formula_22 に収束するが、右辺は formula_23 に近づき収束しない。
補足.
以上の議論で「冪級数の中心は formula_24 」としたが、一般の点を中心としても定理が成り立つ。同じく、「収束半径が1」、「円周上の点 formula_25 」という仮定も本質的でない。これらは正規化された結果と見るべきであろう。実際、平行移動、拡大縮小、回転を施せば上の議論は一般化できる。