ボレル総和のソースを表示

{{複数の問題
| 孤立 = 2020年7月30日 (木) 03:00 (UTC)
| Wikify = 2020年7月30日 (木) 03:00 (UTC)
| 要改訳 = 2020年8月
}}
{{Quote box
| align=right
| width=33%
| quote=[[Emile Borel|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 [[Gosta Mittag-Leffler|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 [[Karl Weierstrass|Weierstrass]], his teacher, he said in Latin, 'The Master forbids it'. 

（編集者訳す）当時あまり知られていなかった[[エミール・ボレル|ボレル]]は、古典的な発散級数の多くに対して「正しい」答えを与える手法となる総和法を発見した。彼は[[複素解析]]の権威として認知されていた[[ヨースタ・ミッタク＝レフラー|ミッタク＝レフラー]]に会うためにストックホルムを訪れた。ミッタク＝レフラーはボレルの話を礼儀正しく聞いた後、レフラーの師であった[[カール・ワイエルシュトラス|ワイエルシュトラス]]の全作品に手を置き、ラテン語で「この手法を使うことを禁じる」と言った。| source=[[マーク・カッツ]]、{{Harv|Reed|Simon|1978|p=38}}より
}}

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

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

記事全体を通して、{{math|''A''(<var>z</var>)}} で[[形式的冪級数|形式的べき級数]]

: <math>
A(z) = \sum_{k = 0}^{\infty} a_{k}z^{k}
</math>

を表すことにし、{{math|''A''(<var>z</var>)}} のボレル変換 {{math|{{mathcal|B}}(<var>A</var>)}} を指数型の形式的べき級数

: <math>
\mathcal{B}(A)(t) \colon = \sum_{k = 0}^{\infty} \frac{a_{k}}{k!} t^{k}
</math>

として定義する。

=== ボレルの指数型総和法 ===
非負整数{{mvar|n}}に対して、{{math|''A''(<var>z</var>)}} の第 {{mvar|n}} 部分和を {{math|<var>A<sub>n</sub></var>(<var>z</var>)}} で表す:

: <math>
A_{n}(z) = \sum_{k = 0}^{n} a_{k}z^{k}.
</math>

{{math|''A''(<var>z</var>)}} の'''弱-ボレル総和'''は以下のように定義される。まず、{{math|''A''(<var>z</var>)}} のボレル和を次で定義する:

: <math>
\lim_{t \to \infty} e^{-t} \sum_{n = 0}^{\infty} \frac{A_{n}(z)}{n!} t^{n}.
</math>

この {{math|<var>t</var> &rarr; &infin;}} での極限がある {{math|<var>z</var> &isin; '''C'''}} で値 {{math|''a''(<var>z</var>)}} に収束するとき、{{math|''A''(<var>z</var>)}} の弱-ボレル総和は {{mvar|z}} で収束すると言い、

: <math>
\sum a_{k}z^{k} = a(z) \qquad (\textbf{wB})
</math>

と書く。

=== ボレルの積分総和法 ===
すべての正の実数について、{{math|''A''(<var>z</var>)}} のボレル変換 {{math|{{mathcal|B}}(<var>A</var>)}} が、次の広義積分が[[well-defined]]になるほど緩やかに増加する関数に収束すると仮定する。このとき、{{math|''A''(<var>z</var>)}} の'''ボレル総和'''を次で定義する:

: <math>
\int_{0}^{\infty} e^{-t} \mathcal{B}(A)(tz) \, dt.
</math>

この積分がある {{math|<var>z</var> &isin; '''C'''}} で値 {{math|''a''(<var>z</var>)}} に収束するとき、{{math|''A''(<var>z</var>)}} のボレル総和は {{math|<var>z</var>}} で収束すると言い、

: <math>
\sum a_{k}z^{k} = a(z) \qquad (\textbf{B})
</math>

と書く。

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

== 基本性質 ==
=== 正則性 ===
弱-ボレル総和（'''wB'''）とボレル総和（'''B'''）はどちらも[[発散級数#総和法の性質|正則]]な総和法である。すなわち、{{math|''A''(<var>z</var>)}} が通常の意味で収束するならば、弱-ボレル総和とボレル総和も同じ値に収束する:

: <math>
A(z) = \sum_{k=0}^{\infty} a_{k}z^{k} < \infty
\quad \Rightarrow \quad
\sum a_{k}z^{k} = A(z) \qquad (\textbf{wB}, \textbf{B}).
</math>

ボレル総和（'''B'''）の正則性は積分と級数の順序を変更することで簡単に確認できる。これは[[絶対収束|絶対収束性]]により妥当であって、今 {{math|''A''(<var>z</var>)}} が {{mvar|z}} で収束すると仮定すれば、

: <math>
A(z)
= \sum_{k=0}^{\infty} a_{k}z^{k}
= \sum_{k=0}^{\infty} a_{k} \left(\int_{0}^{\infty} e^{-t}t^{k} \, dt\right) \frac{z^{k}}{k!}
= \int_{0}^{\infty} e^{-t} \sum_{k=0}^{\infty} \frac{a_{k}}{k!} (tz)^k \, dt
= \int_{0}^{\infty} e^{-t} \mathcal{B}(A)(tz) \, dt
</math>

と計算でき、最右辺は {{mvar|z}} における {{math|''A''(<var>z</var>)}} のボレル総和である。

弱-ボレル総和（'''wB'''）とボレル総和（'''B'''）の正則性から {{math|''A''(<var>z</var>)}} の解析接続が得られる。

=== 弱-ボレル総和とボレル総和の非等価性 ===
ある {{math|<var>z</var> &isin; '''C'''}} で弱-ボレル総和可能な任意の級数 {{math|''A''(<var>z</var>)}} は、常に同じ点 {{mvar|z}} でボレル総和可能である。しかし弱-ボレル総和法では発散し、かつボレル総和可能であるような級数の例を構築できる。次の定理により2つの方法はある条件の下で同値となることが示される。 

: '''定理''' {{Harv|Hardy|1992}} 
: {{math|''A''(<var>z</var>)}}を形式的べき級数とし、{{math|<var>z</var> &isin; '''C'''}}を固定する。このとき:
:#（'''wB'''）の意味で<math>\sum a_{k}z^{k} = a(z)</math>ならば、（'''B'''）の意味で<math>\sum a_{k}z^{k} = a(z)</math>である。
:#（'''B'''）の意味で<math>\sum a_{k}z^{k} = a(z)</math>であり、かつ<math>\lim_{t \to \infty} e^{-t} \mathcal{B}(A)(tz) = 0</math>であるならば、（'''wB'''）の意味で<math>\sum a_{k}z^{k} = a(z)</math>である。

=== 他の総和法との関係 ===
*（'''B'''）は、[[ミッタク＝レフラー総和法]]において {{math|<var>&alpha;</var> {{=}} 1}} とした場合に相当する。
* [[オイラー総和法]] {{math|('''E''', <var>q</var>)}} の収束領域が {{math|<var>q</var> &rarr; &infin;}} の極限において（'''B'''）の収束領域へ収束するという意味で、（'''wB'''）は一般化オイラー総和法の極限ケースとみなせる<ref name="Hardy1992">Hardy, G. H. (1992). ''Divergent Series''. AMS Chelsea, Rhode Island.</ref>。

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

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

# ある正の定数 {{mvar|R}} と {{mvar|&epsilon;}} が存在して、領域 {{math|{{abs|<var>z</var>}} &lt; <var>R</var>}}、{{math|{{abs|arg(<var>z</var>)}} &lt; {{pi}}/2 + <var>&epsilon;</var>}} 上で {{mvar|f}} が正則となる。
# ある定数 {{mvar|C}} が存在して、上述の領域の任意の点 {{mvar|z}} で

::: <math>
\left\vert f(z) - a_{0} - a_{1}z - \cdots - a_{n-1}z^{n-1} \right\vert
< C^{n+1}n! \left\vert z \right\vert^{n}
</math>

:: を満たす漸近展開 {{math|<var>a</var><sub>0</sub> + <var>a</var><sub>1</sub><var>z</var> + &hellip;}} を持つ。

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

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

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

# {{mvar|f}} が扇状領域 {{math|{{abs|<var>z</var>}} &lt; <var>C</var>}}、{{math|Re(<var>z</var>) &gt; 0}} の内部で解析的である。
# この領域内においてすべての非負整数 {{mvar|n}} に対して {{math|{{abs|''f''&thinsp;(<var>z</var>)}} &lt; {{abs|<var>b<sub>n</sub>z</var>}}<var><sup>n</sup></var>}} が成り立つ。

このとき、逆数和 {{math|1/<var>b</var><sub>0</sub> + 1/<var>b</var><sub>1</sub> + &hellip;}} が発散するならば {{math|''f'' &equiv; 0}} が成立する、ということを主張する。

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

=== カーレマンの定理の具体例 ===
関数 {{math|''f''(<var>z</var>) {{=}} exp(&minus;1/<var>z</var>)}} は、任意の{{math|&theta; &lt; {{pi}}/2}} に対する領域 {{math|{{abs|arg(<var>z</var>)}} &lt; <var>&theta;</var>}} において、上述のような誤差範囲をもつ漸近級数 {{math|0 + 0<var>z</var> + &hellip;}} を持つが、この漸近級数のボレル総和にならない。ここからもワトソンの定理における {{math|{{pi}}/2}} は誤差項がより小さくできない限り最良の値であることが示される。

== 具体例 ==
=== 幾何級数 ===
次のような[[幾何級数]]

: <math>
A(z) = \sum_{k = 0}^{\infty} z^{k}
</math>

は通常の意味で {{math|{{abs|<var>z</var>}} &lt; 1}} に対して {{math|1/(1 &minus; <var>z</var>)}} に収束する。このボレル変換は

: <math>
\mathcal{B}(A)(tz)
= \sum_{k = 0}^{\infty} \frac{z^{k}}{k!} t^{k}
= e^{tz}
</math>

であり、ここからより広い領域 {{math|Re(<var>z</var>) &lt; 1}} で収束するボレル和

: <math>
\int_{0}^{\infty} e^{-t} \mathcal{B}(A)(tz) \, dt
= \int_{0}^{\infty} e^{-t} e^{tz} \, dt
= \frac{1}{1-z}
</math>

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

この代わりに弱-ボレル変換を考えると、{{math|''A''(<var>z</var>)}} の部分和 {{math|''A''<sub><var>n</var></sub>}} は {{math|<var>A<sub>n</sub></var> {{=}} (1 &minus; <var>z<sup>n+1</sup></var>)/(1 &minus; <var>z</var>)}} と与えられるから、弱-ボレル和は

: <math>
\lim_{t \to \infty} e^{-t} \sum_{n = 0}^{\infty} \frac{1-z^{n+1}}{1-z} \frac{t^{n}}{n!}
= \lim_{t \to \infty} \frac{e^{-t}}{1-z} \left(e^{t}-ze^{tz}\right)
= \frac{1}{1-z}
</math>

となり、再び {{math|{{abs|<var>z</var>}} &lt; 1}} に対して {{math|1/(1 &minus; <var>z</var>)}} に収束する。あるいは[[ボレル総和#弱-ボレル総和とボレル総和の非等価性|上記の定理]]の2によって、{{math|Re(<var>z</var>) &lt; 1}} において

: <math>
\lim_{t \to \infty} e^{-t} \mathcal{B}(A)(tz)
= \lim_{t \to \infty} e^{-t(1-z)}
= 0
</math>

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

=== 交代階乗級数 ===
次の級数を考える。 

: <math>
A(z) = \sum_{k = 0}^{\infty} k!(-1 \cdot z)^{k}
</math>

この級数は {{math|<var>z</var> {{=}} 0}} を除く {{math|<var>z</var> &isin; '''C'''}} で収束しない。このボレル変換は {{math|{{abs|<var>t</var>}} &lt; 1}} において

: <math>
\mathcal{B}(A)(t)
= \sum_{k = 0}^{\infty} \left(-1 \cdot t\right)^{k}
= \frac{1}{1+t}
</math>

となり、これはすべての {{math|<var>t</var> &ge; 0}} に対して解析接続できる。したがってボレル和は

: <math>
\int_{0}^{\infty} e^{-t} \mathcal{B}(A)(tz) \, dt
= \int_{0}^{\infty} \frac{e^{-t}} {1+tz} \, dt
= \frac{e^{1/z}}{z} \cdot \Gamma \left(0, \frac{1}{z}\right)
</math>

（ここに {{math|&Gamma;(*, *)}} は[[不完全ガンマ関数|第二種不完全ガンマ関数]]を表す）となる。この積分はすべての {{math|<var>t</var> &ge; 0}} に対して収束するので、元の発散級数もすべての {{math|<var>t</var> &ge; 0}} に対してボレル総和可能となる。この関数は {{math|<var>z</var> &rarr; 0}} の極限において元の級数を[[漸近展開]]にもつ。これは、時として発散するような漸近展開をボレル総和法が「正しく」総和するという事実の典型的な例である。

再び、

: <math>
\lim_{t to \infty} e^{-t} \mathcal{B}(A)(tz)
= \lim_{t \to \infty} \frac{e^{-t}}{1+tz}
= 0
</math>

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

=== 同値性が成り立たない例 ===
次の例は{{Harv|Hardy|1992}}での例を拡張したものである。次の級数 

: <math>
A(z) = \sum_{k = 0}^{\infty} \left(\sum_{l = 0}^{\infty} \frac{(-1)^{l} (2l + 2)^{k}}{(2l + 1)!}\right) z^{k}
</math>

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

: <math> 
\begin{align}
\mathcal{B}(A)(t)
&= \sum_{l = 0}^{\infty} \left(\sum_{k = 0}^{\infty} \frac{\bigl((2l+2) t\bigr)^{k}}{k!}\right) \frac{(-1)^l}{(2l+1)!} \\
&= \sum_{l = 0}^{\infty} e^{(2l+2)t} \frac{(-1)^l}{(2l+1)!} \\
&= e^{t} \sum_{l = 0}^{\infty} (-1)^{l} \frac{\big(e^{t}\big)^{2l+1}}{(2l+1)!} \\
& = e^{t} \sin(e^{t})
\end{align}
</math>

と計算できる。{{math|<var>z</var> {{=}} 2}} におけるボレル和は

: <math>
\int_{0}^{\infty} e^{t} \sin(e^{2t}) \, dt
= \int_{1}^{\infty} \sin(u^2) \, du
= \sqrt{\frac{\pi}{8}} - S(1) < \infty
</math>

となる（ここに、{{math|''S''(<var>x</var>)}} は[[フレネル積分]]を表す）。線分に沿って収束定理を適用することにより、ボレル積分は {{math|<var>z</var> &le; 2}} を満たすすべての {{mvar|z}} に対して収束する（明らかに {{math|<var>z</var> &gt; 2}} を満たす {{mvar|z}} に対しては積分は発散する）。
弱-ボレル和について、

: <math>
\lim_{t \to \infty} e^{-t(1-z)} \sin(e^{tz}) = 0
</math>

が成立するのは {{math|<var>z</var> &lt; 1}} のみであるから、弱-ボレル和はこの領域でのみ収束する。 

== 存在性定理と収束領域 ==
=== 線分上での総和可能性 ===
形式的べき級数 {{math|''A''(<var>z</var>)}} がある {{math|<var>z</var> {{=}} <var>z</var><sub>0</sub> &isin; '''C'''}} でボレル総和可能であるとすれば、それはまた[[複素平面]]において原点 {{mvar|O}} と {{math|<var>z</var><sub>0</sub>}} を結ぶ線分 {{math|<var>Oz</var><sub>0</sub>}} 上の任意の点でボレル総和可能である。さらに、線分 {{math|<var>Oz</var><sub>0</sub>}} を半径とする円盤上で解析的かつ {{math|<var>&theta;</var> &isin; {{closed-closed|0, 1}}}} を満たす任意の点 {{math|<var>z</var> {{=}} <var>&theta;z</var><sub>0</sub>}} で

: <math>
\sum a_{k}z^{k} = a(z) \qquad (\textbf{B})
</math>

が成立するような関数 {{math|''a''(<var>z</var>)}} が存在する。

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

=== ボレルポリゴン ===
級数 {{math|''A''(<var>z</var>)}} の収束半径が厳密に正であると仮定すると、{{math|''A''(<var>z</var>)}} は原点を含む非自明な領域で解析的となる。今、{{mvar|S<sub>A</sub>}} を {{mvar|A}} の特異点集合とすると、{{math|<var>P</var> &isin; '''C'''}} が {{math|<var>P</var> &isin; <var>S<sub>A</sub></var>}} を満たすということと {{mvar|A}} が原点 {{mvar|O}} から {{mvar|P}} への開線分に沿って解析接続できるということが同値となる。{{math|<var>P</var> &isin; <var>S<sub>A</sub></var>}} に対して、{{mvar|L<sub>P</sub>}} で {{mvar|P}} を通り直線 {{mvar|OP}} に垂直な直線の集合とする。集合 {{math|&Pi;<var><sub>P</sub></var>}} を

: <math>
\Pi_{P} = \{ z \in \mathbf{C} \, \colon \, Oz \cap L_{P} = \varnothing \}
</math>

と定めると、この集合の元は原点と {{mvar|L<sub>P</sub>}} が同じ側にあるような点からなる。{{mvar|A}} のボレルポリゴン {{math|&Pi;<var><sub>A</sub></var>}} は

: <math>
\Pi_{A} = \operatorname{cl} \left(\bigcap_{P \in S_{A}} \Pi_{P} \right)
</math>

となる。

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

: '''定理''' {{harv|Hardy|1992|loc=8.8}}
: （'''B'''）の意味において、級数 {{math|''A''(<var>z</var>)}} は {{math|int(&Pi;<var><sub>A</sub></var>)}} 上総和可能であり、{{math|'''C''' {{setminus}} <var>&Pi;<sub>A</sub></var>}} 上発散する。

境界上の点 {{math|<var>z</var> &isin;&part; &Pi;<var><sub>A</sub></var>}} での総和可能性については、その点における級数の性質に依存する。

==== 例1 ====
正の整数 {{mvar|m}}に対し、{{math|<var>&omega;<sub>i</sub></var> (<var>i</var> {{=}} 1, 2, &hellip;, <var>m</var>)}} は1の {{mvar|m}} 乗根を表すとする。次の級数

: <math>
\begin{align}
A(z)
&= \sum_{k = 0}^{\infty} \left(\omega_{1}^{k} + \cdots + \omega_{m}^{k}\right) z^{k} \\
&= \sum_{i = 1}^{m} \frac{1}{1-\omega_{i}z}
\end{align}
</math>

は[[球体#一般の距離空間における球体|開球]] {{math|''B''(0, 1) &sub; '''C'''}} 上収束する。{{math|'''C'''}} 上の関数として {{math|''A''(<var>z</var>)}} は {{nowrap|{{math|<var>S<sub>A</sub></var> {{=}} }}{{mset|''&omega;<sub>i</sub>''|''i'' {{=}} 1, 2, &hellip;, ''m''}}}} を特異点に持ち、したがってボレルポリゴン {{math|&Pi;<var><sub>A</sub></var>}} は原点を中心とし、{{math|1 &isin; '''C'''}} を辺の中心とする[[正多角形|正{{math|<var>m</var>}}角形]] として与えられる。

==== 例2 ====
次の形式的べき級数

: <math>
A(z) = \sum_{k = 0}^{\infty} z^{2^{k}}
</math>

は {{math|{{abs|<var>z</var>}} &lt; 1}} で収束する（たとえば、幾何級数との[[比較判定法]]による）。しかし、ある非負整数 {{mvar|n}}に対して {{math|<var>z</var><sup>2<sup><var>n</var></sup></sup> {{=}} 1}} を満たすような任意の {{math|<var>z</var> &isin; '''C'''}} に対しては収束しないことが示される<ref>{{Cite web|title=Natural Boundary|url=http://mathworld.wolfram.com/NaturalBoundary.html|website=MathWorld|accessdate=19 October 2016}}</ref>。このような {{mvar|z}} は単位円上で稠密に存在するため、{{math|''A''(<var>z</var>)}} を {{math|''B''(0, 1) &sub; '''C'''}} の外部へ[[解析接続#自然な境界（自然境界）|解析接続することはできない]]。従って、{{math|''A''(<var>z</var>)}} を解析接続できる最大の星型領域は {{math|''S'' {{=}} ''B''(0, 1)}} であり、ここからボレルポリゴン {{math|&Pi;<var><sub>A</sub></var>}} は {{math|&Pi;<var><sub>A</sub></var> {{=}} ''B''(0, 1)}} となる。特に、ボレルポリゴンは必ずしも[[多角形]]とはならないことが判る。

=== タウバー型定理 ===
タウバー型定理は、ある総和法の収束性が別の総和法の収束性を導く条件を提示する。ボレル総和に対する主なタウバー型定理は、弱-ボレル総和法での総和可能性から級数の収束性が導かれる十分条件を与える。
: '''定理''' {{Harv|Hardy|1992}}
: {{math|''A''(<var>z</var>)}} が {{math|<var>z</var><sub>0</sub> &isin; '''C'''}} において（'''wB'''）の意味で収束して<math>\sum a_{k}z_{0}^{k} = a(z_{0})</math>となり、かつすべての {{math|<var>k</var> &ge; 0}} において

:: <math>
a_{k}z_{0}^{k} = O(k^{-1/2})
</math>

: が成立するとき、<math>\sum_{k = 0}^{\infty} a_{k}z_{0}^{k} = a(z_{0})</math>が成立してかつ {{math|{{abs|<var>z</var>}} &lt; {{abs|<var>z</var><sub>0</sub>}}}} を満たすすべての {{mvar|z}} で収束する。

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

== 脚注 ==
{{脚注ヘルプ}}
<references />

== 参考文献 ==
* {{Citation|last=Borel|first1=E.|title=Memoire sur les series divergentes|journal=Ann. Sci. Ec. Norm. Super.|series=Series 3|volume=16|year=1899|pages=9?131|url=http://www.numdam.org/item?id=ASENS_1899_3_16__9_0|doi=10.24033/asens.463}}
* {{Citation|last=Glimm|first1=James|last2=Jaffe|first2=Arthur|title=Quantum physics|publisher=Springer-Verlag|place=Berlin, New York|edition=2nd|isbn=978-0-387-96476-8|mr=887102|year=1987|doi=10.1007/978-1-4612-4728-9}}
* {{Citation|last=Hardy|first1=Godfrey Harold|author-link=G. H. Hardy|title=Divergent Series|origyear=1949|url=https://books.google.com/books?isbn=0821826492|publisher=Chelsea|place=New York|isbn=978-0-8218-2649-2|mr=0030620|year=1992}}
* {{Citation|last=Reed|first1=Michael|last2=Simon|first2=Barry|authorlink2=Barry Simon|title=Methods of modern mathematical physics. IV. Analysis of operators|publisher=Academic Press [Harcourt Brace Jovanovich Publishers]|place=New York|isbn=978-0-12-585004-9|mr=0493421|year=1978}}
* {{Citation|last=Sansone|first1=Giovanni|last2=Gerretsen|first2=Johan|title=Lectures on the theory of functions of a complex variable. I. Holomorphic functions|publisher=P. Noordhoff, Groningen|mr=0113988|year=1960}}
* {{Citation|last=Weinberg|first1=Steven|author-link=Steven Weinberg|title=The quantum theory of fields.|volume=II|publisher=Cambridge University Press|isbn=978-0-521-55002-4|mr=2148467|year=2005|url=https://archive.org/details/quantumtheoryoff00stev}}
* Zakharov, A. A. (2001) [1994], "Borel summation method", Encyclopedia of Mathematics, EMS Press

== 関連項目 ==

* [[アーベル総和法]]
* [[アーベルの連続性定理]]
* [[アーベル・プラナの公式]]
* {{仮リンク|オイラー総和法|en|Euler summation}}
* [[チェザロ和|チェザロ総和法]]
* {{仮リンク|ランベルト総和法|en|Lambert summation}}
* {{仮リンク|ナハビンの定理|en|Nachbin's theorem}}
* {{仮リンク|アーベル型・タウバー型定理|en|Abelian and Tauberian theorems}}
* {{仮リンク|Van Wijngaarden変換|en|Van Wijngaarden transformation}}

{{DEFAULTSORT:ほれるそうわ}}
[[Category:級数]]
[[Category:総和法]]
[[Category:漸近解析]]
[[Category:解析学]]
[[Category:数学に関する記事]]
[[Category:量子色力学]]
[[Category:数学のエポニム]]