ラマヌジャン総和法0：総和法とは

はじめに

　この記事ではラマヌジャンの総和法について勉強していきます。
　最近ラマヌジャン関係の調べ物をしていたときに"Ramanujan Summation of Divergent Series"という面白そうな本を見つけたのでまずはその導入でも読んで思ったこととかを書いていこうと思います。

総和法とは

　皆さんは無限和というと、それがどういうものであると理解しているでしょうか。
　我々の扱っている数、ここでは複素数としましょう、には二数$a,b$に対し和$a+b$という演算が組み込まれています。また$n$個の数$a_1,a_2,\dots ,a_n$に対し繰り返し和を取ることでその総和
$$\sum _{k\in \{1,2,\dots ,n\}}{a}_k=\sum _{k=1}^n{a}_k=a_1+a_2+\cdots +a_n$$
という演算が考えられます。しかしより一般に無限個の数の族$(a_{\lambda }{)}_{\lambda \in \mathrm{\Lambda }}$に対してその総和
$$\sum _{\lambda \in \mathrm{\Lambda }}{a}_{\lambda }$$
を考えることはできません。もしこのような演算を考えたいのであればこの和というものの何らかの"解釈"、あるいは"意味付け"が必要となります。そしてその解釈や意味付けの方法のことを総和法と言います。

　最も一般的かつ解析的に重要な総和法としてはCauchyの極限による解釈
$$\sum _{n=0}^{\mathrm{\infty }}{a}_n=\underset{n\to \mathrm{\infty }}{lim}\sum _{k=0}^n{a}_k$$
があります。

　通常Cauchy和のことを総和法の一つと数えたりCauchy和と呼んだりすることはありませんが、説明の都合上何かと便利なのでこのような解釈をすることにしました。
　一般に総和法と言った場合、その醍醐味はCauchy総和可能でない級数、いわゆる発散級数の値を定めることにあります。例えばCauchyの手法では調和級数
$$\sum _{n\ge 1}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots$$
のように値が無限大に向かってゆくものやGrandi級数
$$\sum _{n\ge 0}(-1{)}^n=1-1+1-1+1+\cdots$$
のように振動するものに対してその値を定めることはできませんでしたが、これらの級数も適当な解釈に基づけば
$$\begin{array}{rl}\sum _{n\ge 1}^{\mathcal{R}}\frac{1}{n}& =\gamma \\ \sum _{n\ge 0}^{\mathcal{C}}(-1{)}^n& =\frac{1}{2}\end{array}$$
のような値を割り当てることができます(ただし$\gamma$はEuler定数としました)。

正規性を持つ総和法

　では実際上のような級数の意味付けとしてどのような方法が考えられるでしょうか。まず総和法と言うからにはCauchy和を基点とした延長線上になければ、ということで少なくとも収束級数に対しては
$$\mathrm{\Sigma }(a_n)=\sum _{n=0}^{\mathrm{\infty }}{a}_n$$
を返すような操作$\mathrm{\Sigma }$を考えてみましょう。
　具体的には次のような定理を活用していきます。

　これらの定理から次のような総和法が考えられます。

　例えば
$$\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n,\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n(n+1)$$
という発散級数の値を考えると、その部分和は
$$\sum _{k=0}^n(-1{)}^k=\{\begin{array}{rl}1& n=2k\\ 0& n=2k+1\end{array},\sum _{k=0}^n(-1{)}^k(k+1)=\{\begin{array}{rl}k+1& n=2k\\ -k-1& n=2k+1\end{array}$$
と表せ、また$|t|<1$において
$$\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{t}^n=\frac{1}{1+t},\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n(n+1)t^n=\frac{1}{(1+t{)}^2}$$
が成り立つのでこれらのCesàro和、Abel和はそれぞれ
$$\begin{array}{rlrl}\sum _{n\ge 0}^{\mathcal{C}}(-1{)}^n& =\frac{1}{2}& \sum _{n\ge 0}^{\mathcal{C}}(-1{)}^n(n+1)& =(\text{収束しない})\\ \sum _{n\ge 0}^{\mathcal{A}}(-1{)}^n& =\frac{1}{2}& \sum _{n\ge 0}^{\mathcal{A}}(-1{)}^n(n+1)& =\frac{1}{4}\end{array}$$
と求まります。
　ちなみにCesàro総和可能な級数はAbel総和可能でもあり、その和の値は一致することが知られているようです。

おまけ：Toeplitz総和法

　ちなみに部分和分によりAbel和は
$$\sum _{n\ge 0}^{\mathcal{A}}{a}_n=\underset{t\to 1-0}{lim}\sum _{n=0}^{\mathrm{\infty }}{s}_n(t^n-t^{n+1})$$
のようにも表せます。
　これとCesàro和の一般化としてToeplitz和というものがあります。

　例えばCesàro和はこの$T=\mathbb{N},l=\mathrm{\infty }$および
$$p_n(N)=\{\begin{array}{cl}1& 0\le n\le N-1\\ 0& N\le n\end{array}$$
の場合であり、Abel和はこの$T=(0,1),l=1$および$p_n(t)=t^n$の場合となっています。
　Toeplitz和って存在するなら$p_n$の取り方に依らず一意だったりするのでしょうかね？残念ながら今回読んでいる本ではこれ以降Toeplitz和は登場しないので、詳しいことについてはHardyの"Divergent Series"などを参照してください。

総和法の性質と問題点

　上のようにCauchy和の延長線として考えられた総和法においては次のような性質が成り立ちます。

• 正規性(regularity)：収束級数$\sum _{n=0}^{\mathrm{\infty }}{a}_n$に対して
  $$\sum _{n\ge 0}^{\mathcal{T}}{a}_n=\sum _{n=0}^{\mathrm{\infty }}{a}_n$$
• 線形性：
  $$\sum _{n\ge 0}^{\mathcal{T}}(A{a}_n+B{b}_n)=A\sum _{n\ge 0}^{\mathcal{T}}{a}_n+B\sum _{n\ge 0}^{\mathcal{T}}{b}_n$$
• 並進性(translation property)：
  $$\sum _{n\ge 0}^{\mathcal{T}}{a}_n=a_0+\sum _{n\ge 0}^{\mathcal{T}}{a}_{n+1}$$

　これらは"総和"の持ってほしい性質として我々の直感に従う結果ではありますが、この三つ目の性質が強い制限を課しているがゆえに、このような総和法では考えることができない発散級数というのが多数存在してしまいます。例えば$\sum _{n\ge 0}1$のような級数が総和可能であったとすると
$$\sum _{n\ge 0}^{\mathcal{T}}1=1+\sum _{n\ge 0}^{\mathcal{T}}1$$
が成り立つことになり矛盾してしまいます。したがって総和法の例としてよく挙げられる
$$1+1+1+\cdots =-\frac{1}{2}$$
という言説を正当化するにはこのような総和法、つまり並進性を満たすようなものでは不十分ということになります。

Ramanujan総和法の性質

　ということでここからはより多くの発散級数を扱えるRamanujan総和法について解説していきたいと思いますが、その導入については書くと長くなりそうなので次回の記事に回すことにして、ここではRamanujan総和法の持つ性質について簡単に紹介しておこうと思います。
　上で触れたようにこれから考えるRamanujan総和法は並進性を破る総和法となっており、その代わりに
$$\sum _{n\ge 1}^{\mathcal{R}}f(n)=\sum _{n\ge 1}^{\mathcal{R}}f(n+1)+f(1)-{\int }_1^{2}f(x)dx$$
という推移性(shift property)を満たすことになります。そしてそれゆえにこれは正規性
$$\sum _{n\ge 1}^{\mathcal{R}}f(n)=\sum _{n=1}^{\mathrm{\infty }}f(n)$$
すら満たしません。例えば右辺の級数・積分がそれぞれ収束するときは
$$\sum _{n\ge 1}^{\mathcal{R}}f(n)=\sum _{n=1}^{\mathrm{\infty }}f(n)-{\int }_1^{\mathrm{\infty }}f(x)dx$$
が成り立ちます。
　この表示だとRamanujan和は我々の考える"無限和"とは全く外れた無意味な値を返すようにも見えます。しかし例えば$f(x)=1/x^s$とおくと$\mathrm{Re}(s)>1$において
$$\sum _{n\ge 1}^{\mathcal{R}}\frac{1}{n^s}=\zeta (s)-\frac{1}{s-1}$$
が成り立ちますが、実はこれは$\mathrm{Re}(s)\le 1$においても成り立ち、そして$\mathrm{Re}(s)<0$において一項ずらすことで
$$\sum _{n\ge 1}^{\mathcal{R}}(n-1{)}^k=\sum _{n\ge 1}^{\mathcal{R}}{n}^k-\frac{1}{k+1}=\zeta (-k)$$
つまり
$$\begin{array}{rlrl}\sum _{n\ge 1}^{\mathcal{R}}\frac{1}{n}& =1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots & & =\gamma \\ \sum _{n\ge 1}^{\mathcal{R}}1& =1+1+1+1+\cdots & & =\frac{1}{2}\\ \sum _{n\ge 1}^{\mathcal{R}}(n-1)& =0+1+2+3+\cdots & & =-\frac{1}{12}\\ \sum _{n\ge 1}^{\mathcal{R}}(n-1{)}^2& =0+1+4+9+\cdots & & =0\\ \sum _{n\ge 1}^{\mathcal{R}}(n-1{)}^3& =0+1+8+27+\cdots & & =\frac{1}{120}\end{array}$$
といった興味深い結果が得られます。
　さらに解析的にもRamanujan和は興味深い性質を持つようで、例えばゼータ関数や重さ$2$のアイゼンシュタイン級数
$$G_2(z)=\sum _{m=-\mathrm{\infty }}^{\mathrm{\infty }}(\sum _{\begin{array}{c}n=-\mathrm{\infty }\\ (m,n)\ne (0,0)\end{array}}^{\mathrm{\infty }}\frac{1}{(mz+n{)}^2})$$
をRamanujan和と結びつけることでその関数等式
$$\begin{array}{rl}\zeta (1-s)& =2^{1-s}{\pi }^{-s}\cos \frac{\pi s}{2}\mathrm{\Gamma }(1-s)\zeta (s)\\ G_2(-\frac{1}{z})& =z^2{G}_2(z)-2\pi iz\end{array}$$
を導出できたりするようです。
　具体的にRamanujan和から一体どのような理論が展開できるのか、ということについては次回以降の記事で考察していこうと思います。