Borel総和法について

はじめに

どうもこんにちは、🐟🍊みかん🍊🐟です。今回は らららさんの記事 を読んで思ったことを起点に書いていこうと思います。先の記事で発散級数を使って積分

$${\int }_0^{\mathrm{\infty }}\frac{x}{\sinh x}dx=\frac{{\pi }^2}{4}$$

を求めていました。概略としては留数定理を用いることによって

$$\eta (-1)=\sum _{n=0}^{\mathrm{\infty }}n(-1{)}^{n-1}=\frac{1}{4}$$

を正規化することに帰着させていました。記事の内容の大まかな部分は正しいと考えていますが、やはり発散級数を使っているという点で「怪しい」ものになってしまっています。実際、Abelは「発散級数は悪魔が発明したものだ。そのようなものを少しでも証明中に用いるのは恥だ。」と述べていました。しかし、そののちに出てくるように「それは[発散級数を用いても]結果は大抵正しい。それが実に不思議なのだ。僕はその理由が知りたいのだ」とも言っています。実際、以前に書いた $\zeta (1)$を正規化する 記事においても、厳密性はある程度捨てて複数の手法を用いましたが、結果的にすべて同じ結果となりました。

つまり、発散級数においてもある程度のバックグラウンドが存在し、我々がその断面を異なる側面から見ている、と解釈するのがある程度正当な見方と言えるかもしれません。事実、Eulerの時代においては「各関数はそれぞれ天賦の法則に支配されるものと信じられた」ものでしたが、解析関数の理論によって(複素)微分可能な関数についてはかなり強い制約がかかることによって「一定の法則によって支配される」ことになります。このことは実関数の断面においては思いもよらないことになるわけです。

そこでここでは、数多くある正規化のうちでも、当時無名の数学者、Émile Borelによって「当時知られていた多くの古典的な発散級数に対して"正しい"答えを与える」方法、即ちBorel総和法について書いていきたいと思います。

Borel総和法の定義と正当性

まずBorel変換を次のように定義します。但し、以下

$$A(z)=\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n$$

とします。

さらにこのBorel変換に対して、次のような積分を考えます。

まずこの定義の正当性を示すために、元の和$A(z)$が収束する限りにおいて$a(z)$と一致することを見ます。まず$A(z)$が収束するので元の級数の収束半径は$R>|z|$となります。従って、WeierstrassのM判定法によって$\mathcal{B}A(z)$は一様連続性が出てくることから積分と級数の順序の交換をすることができて、

$$\begin{array}{rl}A(z)& =\sum _{n=0}^{\mathrm{\infty }}{a}_n{z}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{a_n}{n!}{z}^n{\int }_0^{\mathrm{\infty }}{e}^{-t}{t}^{n}dt\\ & ={\int }_0^{\mathrm{\infty }}{e}^{-t}\sum _{n=0}^{\mathrm{\infty }}\frac{a_n}{n!}(tz{)}^n\\ & ={\int }_0^{\mathrm{\infty }}{e}^{-t}\mathcal{B}A(tz)dt\\ & =a(z)\end{array}$$

とできるので、実際に$A(z)$が収束する限りにおいて$a(z)$と一致することが分かりました。残る問題点としてはこのように漸近展開された級数から関数が一意的に定まるかどうか、というものがありますが、今は冪級数御形でしか考察していないので形式的冪級数環において一致の定理が成立することを考えると大した問題ではなさそうです。一応きちんと考えます。実は、次の主張が成立することが知られています。

これの証明を探そうとしたのですが、どうやら この本 に載っているようで、内容の確認ができていません。ほかに情報源があれば教えてください。どうしようもないのでとりあえず成立は仮定します。ここで、十分大きい$N$とある定数$c$に対して不等式

$$|f(z)-\sum _{n=0}^N{a}_n{z}^n|<|cnz{|}^n$$

が成立してほしくなります。実際は、次の定理によってBorel総和可能ならば、上記の不等式より強い不等式が成立することが知られているようです。

この定理に関してもCarlemanの定理と同様で、 この本 に載っているらしいです。Watsonの定理をを考えると、Borel総和可能ならば明らかにCarlemanの定理の主張を満たすことが分かります。なぜなら、Watsonの定理によって漸近級数が(少なくとも一つ)与えられ、そのうちの一つと上で挙げた不等式を考えることによって

$$|f(z)-\sum _{n=0}^N{a}_n{z}^n|\to 0(N\to \mathrm{\infty })$$

となることから$f$が$A$と一致することになります。これによって、Borel総和がある種「正当な」正規化方法である、と考えることができます。

少し蛇足ですが、Borel和は$xz\mapsto x$と置換することにより

$$\begin{array}{rl}a(z)& =\frac{1}{z}{\int }_0^{\mathrm{\infty }}{e}^{-\frac{x}{z}}\mathcal{B}A(x)dx\\ & =\frac{1}{z}\mathcal{L}\{\mathcal{B}A\}\left(\frac{1}{z}\right)\end{array}$$

と、Laplace変換を使って書けます。

具体例

一般論ばかり話していても面白くないので、いくつか具体例を挙げて使ってみましょう。

幾何級数

まずは幾何級数

$$A^1(z)=\sum _{n=0}^{\mathrm{\infty }}{z}^n$$

を考えます。これのBorel変換が

$$\mathcal{B}{A}^1(z)=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}=e^z$$

となるので、幾何級数のBorel正規化は

$$\begin{array}{rl}{a}^1(z)& ={\int }_0^{\mathrm{\infty }}{e}^{-x}\mathcal{B}{A}^1(xz)dx\\ & ={\int }_0^{\mathrm{\infty }}{e}^{-(1-z)x}dx\\ & =\frac{1}{1-z}\end{array}$$

となります。これは$A^1$の$\mathbb{C}$への解析接続を与えていますね。

母関数に$n!$を掛けたもの

この変形を使うと

$${\mathcal{A}}^2(z)=\sum _{n=0}^{\mathrm{\infty }}n!a_n^2{z}^n$$

として$A^2=\mathcal{B}{\mathcal{A}}^2(z)$が既知とすれば${\mathcal{A}}^{\mathcal{2}}$を求めるのはLaplace変換の計算に帰着されますね。つまり

$${\mathcal{A}}^2(z)=\frac{1}{z}\mathcal{L}\{A^2(t)\}\left(\frac{1}{z}\right)$$

となります。

$a_n^2=1$

このときは$A^2=\frac{1}{1-z}$が分かるので、簡単な計算により

$$\mathcal{A}(z)=\sum _{n=0}^{\mathrm{\infty }}n!z^n=-\frac{1}{z}{e}^{-\frac{1}{z}}\mathrm{\Gamma }(0,-\frac{1}{z})$$

を得ます。ちなみに右辺は$z=1$を中心に展開すると

$$-e^{-1}\mathrm{\Gamma }(0,-1)+(1-z)+O((1-z{)}^2)$$

となるので無理やり正規化すると、(極を通らないように積分経路を変更して)

$$\sum _{n=0}^{\mathrm{\infty }}n!=\frac{-\mathrm{E}\mathrm{i}(1)-i\pi +2ni\pi }{e},n\in \mathbb{Z}$$

となります。このような表示になっているのは原点に対数分岐点があるからですね。もしCauchyの「教程」のような立場を貫くのであれば積分は主値として解釈するものになり上の実部が和として解釈されるものの、複素関数として見れなくなるのであまりうれしくない気もします。

$\eta (-1)$

らららさんの記事でやっていたものですね。要するに

$${\mathrm{Li}}_{-1}(x)=\sum _{n=1}^{\mathrm{\infty }}n{x}^n,\eta (-1)=-{\mathrm{Li}}_{-1}(-1)$$

となるので、右側をどうにかすることが目標になります。Borel変換すると

$$\begin{array}{rl}\mathcal{B}{\mathrm{Li}}_{-1}(x)& =\sum _{n=1}^{\mathrm{\infty }}\frac{n}{n!}{x}^n\\ & =x{e}^x\end{array}$$

となるので、

$$\begin{array}{rl}{\mathrm{Li}}_{-1}(z)& =z{\int }_0^{\mathrm{\infty }}x{e}^{-x}{e}^{zx}dx\\ & =\frac{z}{(1-z{)}^2}\end{array}$$

となりました。Dirichlet$\eta$functionはポリログの特殊値として出てくるので、$z\to -1$とすることで結果的に

$$\eta (-1)=\frac{1}{4}$$

を得ることができました。$\zeta (-1)$をこれと同じようにやろうとすると発散してしまうのでちょっとうれしくなかったり...(解析接続すればいいとか言わないで)

おわりに

今回は正規化について少し話しました。Borel総和法は色々遊びやすそうな正規化で、Taylor展開が分かっていればかなり多くの「和」を計算することができるなかなか便利なものでした。しかし、例えば以前話したような
$$\zeta (1)=\gamma$$
のような正規化は(少なくとも僕が試した範囲では)直接計算することができないなど、正規化の強さだけを考えると多少難点があります。上で述べたものも正規化を正当化することができ、例えばRamanujan総和法などを使えばうまく「計算」できます。他の正規化についてももしかしたら暇があったらまた記事を書くかもしれません。