コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

ボレル総和

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ボレル総和法から転送)
Borel, then an unknown young man, discovered that his summation method gave the 'right' answer for many classical divergent series. He decided to make a pilgrimage to Stockholm to see Mittag-Leffler, who was the recognized lord of complex analysis. Mittag-Leffler listened politely to what Borel had to say and then, placing his hand upon the complete works by Weierstrass, his teacher, he said in Latin, 'The Master forbids it'. (編集者訳す)当時あまり知られていなかったボレルは、古典的な発散級数の多くに対して「正しい」答えを与える手法となる総和法を発見した。彼は複素解析の権威として認知されていたミッタク=レフラーに会うためにストックホルムを訪れた。ミッタク=レフラーはボレルの話を礼儀正しく聞いた後、レフラーの師であったワイエルシュトラスの全作品に手を置き、ラテン語で「この手法を使うことを禁じる」と言った。
マーク・カッツ、(Reed & Simon 1978, p. 38)より

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

定義

[編集]

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

記事全体を通して、A(z)形式的べき級数

を表すことにし、A(z) のボレル変換 B(A) を指数型の形式的べき級数

として定義する。

ボレルの指数型総和法

[編集]

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

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

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

と書く。

ボレルの積分総和法

[編集]

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

この積分がある zC で値 a(z) に収束するとき、A(z) のボレル総和は z で収束すると言い、

と書く。

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

[編集]

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

基本性質

[編集]

正則性

[編集]

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

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

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

弱-ボレル総和(wB)とボレル総和(B)の正則性から A(z) の解析接続が得られる。

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

[編集]

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

定理 (Hardy 1992)
A(z)を形式的べき級数とし、zCを固定する。このとき:
  1. wB)の意味でならば、(B)の意味でである。
  2. B)の意味でであり、かつであるならば、(wB)の意味でである。

他の総和法との関係

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

一意性定理

[編集]

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

ワトソンの定理

[編集]

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

  1. ある正の定数 Rε が存在して、領域 |z| < R|arg(z)| < π/2 + ε 上で f が正則となる。
  2. ある定数 C が存在して、上述の領域の任意の点 z
を満たす漸近展開 a0 + a1z + … を持つ。

このとき、この領域で f は漸近級数のボレル和によって与えられるというのがワトソンの定理の主張である。より正確には、ボレル変換された級数が原点の近傍上で収束し、正の実軸に沿って解析接続可能であり、ボレル和(B)を定義する積分はこの領域で f(z) に収束する。

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

カーレマンの定理

[編集]

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

  1. f が扇状領域 |z| < CRe(z) > 0 の内部で解析的である。
  2. この領域内においてすべての非負整数 n に対して |f (z)| < |bnz|n が成り立つ。

このとき、逆数和 1/b0 + 1/b1 + … が発散するならば f ≡ 0 が成立する、ということを主張する。

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

カーレマンの定理の具体例

[編集]

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

具体例

[編集]

幾何級数

[編集]

次のような幾何級数

は通常の意味で |z| < 1 に対して 1/(1 − z) に収束する。このボレル変換は

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

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

この代わりに弱-ボレル変換を考えると、A(z) の部分和 AnAn = (1 − zn+1)/(1 − z) と与えられるから、弱-ボレル和は

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

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

交代階乗級数

[編集]

次の級数を考える。

この級数は z = 0 を除く zC で収束しない。このボレル変換は |t| < 1 において

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

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

再び、

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

同値性が成り立たない例

[編集]

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

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

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

となる(ここに、S(x)フレネル積分を表す)。線分に沿って収束定理を適用することにより、ボレル積分は z ≤ 2 を満たすすべての z に対して収束する(明らかに z > 2 を満たす z に対しては積分は発散する)。 弱-ボレル和について、

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

存在性定理と収束領域

[編集]

線分上での総和可能性

[編集]

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

が成立するような関数 a(z) が存在する。

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

ボレルポリゴン

[編集]

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

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

となる。

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

定理 (Hardy 1992, 8.8)
B)の意味において、級数 A(z)int(ΠA) 上総和可能であり、CΠA 上発散する。

境界上の点 z ∈∂ ΠA での総和可能性については、その点における級数の性質に依存する。

例1

[編集]

正の整数 mに対し、ωi (i = 1, 2, …, m) は1の m 乗根を表すとする。次の級数

開球 B(0, 1) ⊂ C 上収束する。C 上の関数として A(z)SA = {ωi | i = 1, 2, …, m} を特異点に持ち、したがってボレルポリゴン ΠA は原点を中心とし、1 ∈ C を辺の中心とするm角形 として与えられる。

例2

[編集]

次の形式的べき級数

|z| < 1 で収束する(たとえば、幾何級数との比較判定法による)。しかし、ある非負整数 nに対して z2n = 1 を満たすような任意の zC に対しては収束しないことが示される[2]。このような z は単位円上で稠密に存在するため、A(z)B(0, 1) ⊂ C の外部へ解析接続することはできない。従って、A(z) を解析接続できる最大の星型領域は S = B(0, 1) であり、ここからボレルポリゴン ΠAΠA = B(0, 1) となる。特に、ボレルポリゴンは必ずしも多角形とはならないことが判る。

タウバー型定理

[編集]

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

定理 (Hardy 1992)
A(z)z0C において(wB)の意味で収束してとなり、かつすべての k ≥ 0 において
が成立するとき、が成立してかつ |z| < |z0| を満たすすべての z で収束する。

応用

[編集]

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

脚注

[編集]
  1. ^ Hardy, G. H. (1992). Divergent Series. AMS Chelsea, Rhode Island.
  2. ^ Natural Boundary”. MathWorld. 19 October 2016閲覧。

参考文献

[編集]
  • Borel, E. (1899), “Memoire sur les series divergentes”, Ann. Sci. Ec. Norm. Super., Series 3 16: 9?131, doi:10.24033/asens.463, http://www.numdam.org/item?id=ASENS_1899_3_16__9_0 
  • Glimm, James; Jaffe, Arthur (1987), Quantum physics (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-4728-9, ISBN 978-0-387-96476-8, MR887102 
  • Hardy, Godfrey Harold (1992) [1949], Divergent Series, New York: Chelsea, ISBN 978-0-8218-2649-2, MR0030620, https://books.google.com/books?isbn=0821826492 
  • Reed, Michael; Simon, Barry (1978), Methods of modern mathematical physics. IV. Analysis of operators, New York: Academic Press [Harcourt Brace Jovanovich Publishers], ISBN 978-0-12-585004-9, MR0493421 
  • Sansone, Giovanni; Gerretsen, Johan (1960), Lectures on the theory of functions of a complex variable. I. Holomorphic functions, P. Noordhoff, Groningen, MR0113988 
  • Weinberg, Steven (2005), The quantum theory of fields., II, Cambridge University Press, ISBN 978-0-521-55002-4, MR2148467, https://archive.org/details/quantumtheoryoff00stev 
  • Zakharov, A. A. (2001) [1994], "Borel summation method", Encyclopedia of Mathematics, EMS Press

関連項目

[編集]