ボレル総和

数学、特に解析学において、ボレル総和とはエミール・ボレルによって1899年に導入された、発散級数に対する総和法のひとつである。これは発散するような漸近級数に対して有用で、級数に対してある意味で最適な「和」と呼ばれる値を与える。同じ「ボレル総和」という語で呼ばれる数種類の手法があり、さらにその一般化にミッタク＝レフラー総和法がある。

1. 定義
-----

ボレル総和にはわずかに異なる3種類の方法がある。それらは適用できる級数の範囲が異なるものの、一貫性がある。すなわち、同じ級数に対して以下のうちの2種類の方法で総和した場合、収束するならば同じ値を与える。

記事全体を通して、//A//}} で形式的べき級数

を表すことにし、//A//}} のボレル変換 mathcal を指数型の形式的べき級数

として定義する。

1.1. ボレルの指数型総和法
---------------

非負整数n}}に対して、//A//}} の第 n}} 部分和を An}} で表す:

//A//}} の弱-ボレル総和は以下のように定義される。まず、//A//}} のボレル和を次で定義する:

この t → ∞}} での極限がある z ∈ C}} で値 //a//}} に収束するとき、//A//}} の弱-ボレル総和は z}} で収束すると言い、

と書く。

1.2. ボレルの積分総和法
--------------

すべての正の実数について、//A//}} のボレル変換 mathcal が、次の広義積分がwell-definedになるほど緩やかに増加する関数に収束すると仮定する。このとき、//A//}} のボレル総和を次で定義する:

この積分がある z ∈ C}} で値 //a//}} に収束するとき、//A//}} のボレル総和は z}} で収束すると言い、

と書く。

1.3. 解析接続を伴うボレルの積分総和法
---------------------

これはボレルの積分総和法と同様であるが、すべての t}} についてボレル変換が収束することまでは要求しない。しかし、正の実軸に沿って解析接続した結果が t =}} 0}} の近傍においてある解析関数に収束することは要求する。

2. 基本性質
-------

2.1. 正則性
--------

弱-ボレル総和とボレル総和はどちらも正則な総和法である。すなわち、//A//}} が通常の意味で収束するならば、弱-ボレル総和とボレル総和も同じ値に収束する:

ボレル総和の正則性は積分と級数の順序を変更することで簡単に確認できる。これは絶対収束性により妥当であって、今 //A//}} が z}} で収束すると仮定すれば、

と計算でき、最右辺は z}} における //A//}} のボレル総和である。

弱-ボレル総和とボレル総和の正則性から //A//}} の解析接続が得られる。

2.2. 弱-ボレル総和とボレル総和の非等価性
-----------------------

ある z ∈ C}} で弱-ボレル総和可能な任意の級数 //A//}} は、常に同じ点 z}} でボレル総和可能である。しかし弱-ボレル総和法では発散し、かつボレル総和可能であるような級数の例を構築できる。次の定理により2つの方法はある条件の下で同値となることが示される。

定理 Hardy //A//}}を形式的べき級数とし、z ∈ C}}を固定する。このとき:
の意味でならば、の意味でである。
の意味でであり、かつであるならば、の意味でである。

2.3. 他の総和法との関係
--------------

は、ミッタク＝レフラー総和法において α =}} 1}} とした場合に相当する。
オイラー総和法 }} の収束領域が q → ∞}} の極限においての収束領域へ収束するという意味で、は一般化オイラー総和法の極限ケースとみなせる。

3. 一意性定理
--------

与えられた関数が漸近展開となるような関数は常に多く存在する。ただし、ある領域における有限次元での近似誤差が可能な限り小さいという意味で、最良の関数が存在する場合がある。以下に提示するワトソンの定理とカーレマンの定理は、漸近級数に対する「最良の和」をボレル総和が与えることを示す。

3.1. ワトソンの定理
------------

ワトソンの定理は、関数がその漸近級数のボレル総和になる条件を与える。f}} が次の条件を満たす関数であると仮定する。

ある正の定数 R}} と ε}} が存在して、領域 abs、abs 上で f}} が正則となる。
ある定数 C}} が存在して、上述の領域の任意の点 z}} で を満たす漸近展開 a0 + a1z + …}} を持つ。このとき、この領域で f}} は漸近級数のボレル和によって与えられるというのがワトソンの定理の主張である。より正確には、ボレル変換された級数が原点の近傍上で収束し、正の実軸に沿って解析接続可能であり、ボレル和を定義する積分はこの領域で //f//}} に収束する。

やや一般的には、f}} の漸近展開に対する誤差評価を n!}} から !}} に緩めても、領域の条件を abs へ強めることで //f//}} は決定できる。これは最良の評価であって、kpi}}/2}} をより小さい数に置き換えた場合には反例が存在する。

3.2. カーレマンの定理
-------------

カーレマンの定理は、扇状領域内における有限次近似の近似誤差が急速に増大しない限り、関数は漸近級数によって一意的に定まることを示す。より正確には以下の通りである。

f}} が扇状領域 abs、Re > 0}} の内部で解析的である。
この領域内においてすべての非負整数 n}} に対して abs が成り立つ。このとき、逆数和 1/b0 + 1/b1 + …}} が発散するならば //f// ≡ 0}} が成立する、ということを主張する。

カーレマンの定理は、各項がそれほど急速に増加しないような漸近級数に対する総和法を与え、その和は適切な扇状領域が存在する場合には漸近級数から一意的に定まる関数の値として求められる。ボレル総和法はカーレマンの定理において bn =}} cn}}としたものより弱い。より一般的には、数列 bn}} を bn =}} c′n log n log   log n}}などとすることにより、ボレル総和法よりもわずかに強い総和法を定義できる。しかし、この方法が適用できるようなボレル総和できない自然な例がほとんど無いため、この一般化はあまり有用ではない。

3.3. カーレマンの定理の具体例
-----------------

関数 //f// =}} exp}} は、任意のθ < pi}}/2}} に対する領域 abs において、上述のような誤差範囲をもつ漸近級数 0 + 0z + …}} を持つが、この漸近級数のボレル総和にならない。ここからもワトソンの定理における pi}}/2}} は誤差項がより小さくできない限り最良の値であることが示される。

4. 具体例
------

4.1. 幾何級数
---------

次のような幾何級数

は通常の意味で abs に対して 1/}} に収束する。このボレル変換は

であり、ここからより広い領域 Re < 1}} で収束するボレル和

が得られ、これは元の級数の解析接続を与える。

この代わりに弱-ボレル変換を考えると、//A//}} の部分和 //A//n}} は An =}} /}} と与えられるから、弱-ボレル和は

となり、再び abs に対して 1/}} に収束する。あるいは上記の定理の2によって、Re < 1}} において

が成立することからも示される。

4.2. 交代階乗級数
-----------

次の級数を考える。

この級数は z =}} 0}} を除く z ∈ C}} で収束しない。このボレル変換は abs において

となり、これはすべての t ≥ 0}} に対して解析接続できる。したがってボレル和は

となる。この積分はすべての t ≥ 0}} に対して収束するので、元の発散級数もすべての t ≥ 0}} に対してボレル総和可能となる。この関数は z → 0}} の極限において元の級数を漸近展開にもつ。これは、時として発散するような漸近展開をボレル総和法が「正しく」総和するという事実の典型的な例である。

再び、

がすべての t ≥ 0}} に対して収束することと上記の同値性定理から、同じ領域 t ≥ 0}} において弱-ボレル総和可能であることが保証される。

4.3. 同値性が成り立たない例
----------------

次の例はHardyでの例を拡張したものである。次の級数

を考える。和の順序を変更することで、ボレル変換は

と計算できる。z =}} 2}} におけるボレル和は

となる。線分に沿って収束定理を適用することにより、ボレル積分は z ≤ 2}} を満たすすべての z}} に対して収束する。 弱-ボレル和について、

が成立するのは z < 1}} のみであるから、弱-ボレル和はこの領域でのみ収束する。

5. 存在性定理と収束領域
-------------

5.1. 線分上での総和可能性
---------------

形式的べき級数 //A//}} がある z =}} z0 ∈ C}} でボレル総和可能であるとすれば、それはまた複素平面において原点 O}} と z0}} を結ぶ線分 Oz0}} 上の任意の点でボレル総和可能である。さらに、線分 Oz0}} を半径とする円盤上で解析的かつ θ ∈ closed-closed を満たす任意の点 z =}} θz0}} で

が成立するような関数 //a//}} が存在する。

直ちに得られる結果として、ボレル和の収束領域はC上の星状領域になることがあげられる。この星状収束領域はボレルポリゴンと呼ばれ、級数 //A//}} の特異点により決定される。

5.2. ボレルポリゴン
------------

級数 //A//}} の収束半径が厳密に正であると仮定すると、//A//}} は原点を含む非自明な領域で解析的となる。今、SA}} を A}} の特異点集合とすると、P ∈ C}} が P ∈ SA}} を満たすということと A}} が原点 O}} から P}} への開線分に沿って解析接続できるということが同値となる。P ∈ SA}} に対して、LP}} で P}} を通り直線 OP}} に垂直な直線の集合とする。集合 ΠP}} を

と定めると、この集合の元は原点と LP}} が同じ側にあるような点からなる。A}} のボレルポリゴン ΠA}} は

となる。

ボレルと Phragmén の手による別の定義が用いられることもあるSansone。S}} を A}} が解析的となるような最大の星型領域とするとき、ΠA}} は任意の点 P ∈ ΠA}} に対してOP}} を直径とする円の内部がS}} に含まれるような、S}} の最大の部分集合となる。この集合 ΠA}} は多角形とは限らないので、「ポリゴン」と呼ぶことはいささか不適切ではあるが、しかし //A//}} が特異点を有限個しか持たなければ ΠA}} は実際に多角形となる。ボレルと Phragmén による次の定理はボレル総和法に対する収束判定法を与える。

定理 の意味において、級数 //A//}} は int}} 上総和可能であり、C setminus}} ΠA}} 上発散する。境界上の点 z ∈∂ ΠA}} での総和可能性については、その点における級数の性質に依存する。

5.2.1. 例1
---------

正の整数 m}}に対し、ωi }} は1の m}} 乗根を表すとする。次の級数

は開球 //B// ⊂ C}} 上収束する。C}} 上の関数として //A//}} は math を特異点に持ち、したがってボレルポリゴン ΠA}} は原点を中心とし、1 ∈ C}} を辺の中心とする正m}}角形 として与えられる。

5.2.2. 例2
---------

次の形式的べき級数

は abs で収束する。しかし、ある非負整数 n}}に対して z2n =}} 1}} を満たすような任意の z ∈ C}} に対しては収束しないことが示される。このような z}} は単位円上で稠密に存在するため、//A//}} を //B// ⊂ C}} の外部へ解析接続することはできない。従って、//A//}} を解析接続できる最大の星型領域は //S// =}} //B//}} であり、ここからボレルポリゴン ΠA}} は ΠA =}} //B//}} となる。特に、ボレルポリゴンは必ずしも多角形とはならないことが判る。

5.3. タウバー型定理
------------

タウバー型定理は、ある総和法の収束性が別の総和法の収束性を導く条件を提示する。ボレル総和に対する主なタウバー型定理は、弱-ボレル総和法での総和可能性から級数の収束性が導かれる十分条件を与える。

定理 //A//}} が z0 ∈ C}} においての意味で収束してとなり、かつすべての k ≥ 0}} において が成立するとき、が成立してかつ abs を満たすすべての z}} で収束する。

6. 応用
-----

ボレル総和は、場の量子論における摂動展開へ応用される。特に、2次元ユークリッド場の理論では、しばしばボレル総和法を利用することで摂動級数からシュウィンガー関数を復元できることがあるGlimm。ボレル変換の特異点には、場の量子論におけるインスタントンやリノーマロンと関連するものもあるWeinberg。

7. 脚注
-----

8. 参考文献
-------

Zakharov, A. A.  [1994], "Borel summation method", Encyclopedia of Mathematics, EMS Press

9. 関連項目
-------

アーベル総和法
アーベルの連続性定理
チェザロ総和法