1
現代数学解説
文献あり

ラマヌジャン総和法3:主要な定理と交代級数

157
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \newcommand{d}[0]{\delta} \newcommand{D}[0]{\Delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{E}[0]{\mathcal{E}} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\mathcal{O}} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathcal{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{tC}[0]{\tilde{C}} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では 前回の記事 に引き続きラマヌジャンの総和法について勉強していきます。
 さて 前回の記事 では$f\in\O^\pi$に対してラマヌジャン和を
$$\sum^\R_{n\geq1}f(n):=\frac{f(1)}2+i\int^\infty_0\frac{f(1+it)-f(1-it)}{e^{2\pi t}-1}dt$$
によって定めたのでした。特にラマヌジャン和を特徴付ける関数
$$R[f](x)=-\int^x_1f(t)dt+\frac{f(x)}2+i\int^\infty_0\frac{f(x+it)-f(x-it)}{e^{2\pi t}-1}dt$$
は正則関数$f$の積分変換となっているので解析的に非常に優れた性質を持つこととなります。
 今回の記事ではラマヌジャン和の解析的・代数的な性質から導かれる様々な定理について紹介し、次回の記事でその応用例について解説していこうと思います。

定理集

 以下$f\in\O^\pi$に対し
$$R[f](x)=-\int^x_1f(t)dt+\frac{f(x)}2+i\int^\infty_0\frac{f(x+it)-f(x-it)}{e^{2\pi t}-1}dt$$
と定める(これを$f$fractional remainderと言う)。

部分和分

 $f,g\in\O^\pi$かつ$fg\in\O^\pi$なる関数$f,g$に対し
\begin{align} \sum^\R_{n\geq1}(f(n+1)-f(n))g(n) &=-\sum^\R_{n\geq1}f(n+1)(g(n+1)-g(n))\\ &\qquad-f(1)g(1)+\int^2_1f(t)g(t)dt \end{align}
が成り立つ。

証明

 推移性
$$\sum^\R_{n\geq1}f(n)g(n)=\sum^\R_{n\geq1}f(n+1)g(n+1)+f(1)g(1)-\int^2_1f(t)g(t)dt$$
に注意して
$$f(x)g(x)-f(x+1)g(x+1) =(f(x)-f(x+1))g(x)+f(x+1)(g(x)-g(x+1))$$
の両辺のラマヌジャン和を取ることでわかる。

$\Z$上の総和

 整関数$f\in\O^\pi$に対し$\Z$上のラマヌジャン和を
\begin{align} \sum^\R_{n\in\Z}f(n) &=\sum^\R_{n\geq1}f(n)+\sum^\R_{n\geq1}f(1-n)-\int^1_0f(x)dx\\ &=\sum^\R_{n\geq1}f(n)+f(0)+\sum^\R_{n\geq1}f(-n)-\int^1_{-1}f(x)dx\\ \end{align}
によって定める。

 任意の$m\in\Z$に対して
$$\sum^\R_{n\in\Z}f(n+m)=\sum^\R_{n\in\Z}f(n)$$
が成り立つ。

証明

 推移性
\begin{align} \sum^\R_{n\geq1}f(n+1)&=\sum^\R_{n\geq1}f(n)-f(1)+\int^2_1f(x)dx\\ \sum^\R_{n\geq1}f(2-n) &=\sum^\R_{n\geq1}f(1-n)+f(1)-\int^2_1f(1-x)dx\\ &=\sum^\R_{n\geq1}f(1-n)+f(1)-\int^1_0f(x)dx \end{align}
に注意すると
\begin{align} \sum^\R_{n\in\Z}f(n+1) &=\sum^\R_{n\geq1}f(n+1)+\sum^\R_{n\geq1}f(2-n)-\int^1_0f(x+1)dx\\ &=\sum^\R_{n\geq1}f(n)+\sum^\R_{n\geq1}f(1-n)-\int^1_0f(x)dx\\ &=\sum^\R_{n\in\Z}f(n) \end{align}
とわかる。

倍数公式

$$\int^{x+1}_xR[f](t)dt=-\int^x_1f(t)dt$$

証明

\begin{align} \int^{x+1}_xR[f](t)dt &=\int^{x+1}_1R[f](t)dt-\int^x_1R[f](t)dt\\ &=\int^2_1R[f](t)dt+\int^x_1(R[f](t+1)-R[f](t))dt\\ &=-\int^x_1f(t)dt \end{align}
とわかる。

$$\sum^\R_{n\geq1}f(n+a)=R[f](a+1)+\int^{a+1}_1f(x)dx$$

証明

$$R[f](x+a)-R[f](x+a+1)=f(x+a)$$
および
$$\int^2_1R[f](x+a)dx =\int^{a+2}_{a+1}R[f](x)dx=-\int^{a+1}_1f(x)dx$$
に注意すると$f(x+a)$のfractional remainderは
\begin{align} R(x) &=R[f](x+a)-\int^2_1R[f](x+a)dx\\ &=R[f](x+a)+\int^{a+1}_1f(x)dx \end{align}
と表せる。よって
$$\sum^\R_{n\geq1}f(n+a)=R(1)=R[f](a+1)+\int^{a+1}_1f(x)dx$$
を得る。

倍数公式

 $f\in\O^\pi$に対し
$$\sum^\R_{n\geq1}f\l(\frac nN\r) =\sum^{N-1}_{k=0}\sum^\R_{n\geq1}f\Big(n-\frac kN\Big) -\sum^N_{k=2}\int^{k/N}_{1/N}f(x)dx$$
特に$g\in\O^{\pi/N}$に対し
$$\sum^\R_{n\geq1}g(n) =\sum^{N-1}_{k=0}\sum^\R_{n\geq1}g(Nn-k)-\frac1N\sum^N_{k=2}\int^k_1g(x)dx$$
が成り立つ。

証明

$$R(x)=\sum^{N-1}_{k=0}R[f]\l(\frac{x+k}N\r)$$
とおくと
$$R(x)-R(x+1)=R[f]\l(\frac xN\r)-R[f]\l(\frac xN+1\r)=f\l(\frac xN\r)$$
が成り立つので
\begin{align} \int^2_1R(x)dx &=\int^{N+1}_1R[f]\l(\frac xN\r)dx\\ &=N\int^{1/N+1}_{1/N}R[f](x)dx\\ &=-N\int^{1/N}_1f(x)dx \end{align}
に注意すると$g(x)=f(x/N)$のfractional remainderは
$$R[g](x)=\sum^{N-1}_{k=0}R[f]\l(\frac{x+k}N\r)-N\int^1_{1/N}f(t)dt$$
と表せる。
 また上の補題より
$$\sum^\R_{n\geq1}f\l(n-1+\frac kN\r) =R[f]\l(\frac kN\r)+\int^{k/N}_1f(x)dx$$
が成り立つことに注意すると
\begin{align} \sum^\R_{n\geq1}f\l(\frac nN\r) &=\sum^{N-1}_{k=0}R[f]\l(\frac{k+1}N\r)-N\int^1_{1/N}f(x)dx\\ &=\sum^N_{k=1}\l(R[f]\l(\frac kN\r)-\int^1_{1/N}f(x)dx\r)\\ &=\sum^N_{k=1}\l(\sum^\R_{n\geq1}f\l(n-\frac{N-k}N\r)-\int^{k/N}_1f(x)dx-\int^1_{1/N}f(x)dx\r)\\ &=\sum^{N-1}_{k=0}\sum^\R_{n\geq1}f\bigg(n-\frac kN\bigg) -\sum^N_{k=2}\int^{k/N}_{1/N}f(x)dx \end{align}
を得る。またこれを$g(x)=f(x/N)$について書き直すことで
$$\sum^\R_{n\geq1}g(n) =\sum^{N-1}_{k=0}\sum^\R_{n\geq1}g(Nn-k)-\frac1N\sum^N_{k=2}\int^k_1g(x)dx$$
を得る。

$$\sum^\R_{n\geq1}f(n)=\sum^\R_{n\geq1}f(2n)+\sum^\R_{n\geq1}f(2n-1)-\frac12\int^2_1f(x)dx$$

fractional sum

 $f\in\O^\pi$に対し
$$\vp(x)-\vp(x-1)=f(x),\quad\vp(0)=0$$
なる$\vp\in\O^\pi$が一意に存在し、特に
$$\vp[f](x)=R[f](1)-R[f](x+1)$$
と表せる。この関数のことを$f$fractional sumと言う。

$\vp$の倍数公式

$$\vp[f(x/N)](x) =\sum^{N-1}_{k=0}\vp[f]\Big(\frac{x-k}N\Big)+\sum^\R_{n\geq1}f\l(\frac nN\r)-N\sum^\R_{n\geq1}f(n)+N\int^1_{1/N}f(x)dx$$
が成り立つ。

証明

 上の証明より
$$R[f(x/N)](x)=\sum^{N-1}_{k=0}R[f]\l(\frac{x+k}N\r)-N\int^1_{1/N}f(t)dt$$
が成り立っていたのでこれを$x\mapsto x+1$とすることで
\begin{align} \sum^\R_{n\geq1}f\l(\frac nN\r)-\vp[f(x/N)](x) &=\sum^N_{k=1}\l(\sum^\R_{n\geq1}f(n)-\vp[f]\l(\frac{x+k}N-1\r)\r)-N\int^1_{1/N}f(t)dt\\ &=N\sum^\R_{n\geq1}f(n)-\sum^{N-1}_{k=0}\vp[f]\l(\frac{x-k}N\r)-N\int^1_{1/N}f(t)dt \end{align}
を得る。

関数項級数

項別微分

 $\Re(x)>0$およびある領域$z\in D$において定義された関数$f(x,z)$が各変数について正則であり、また任意のコンパクト集合$K\subset D$に対しある$C,\e>0$が存在して
$$|f(x,z)|< Ce^{(\pi-\e)|x|}$$
を満たすものとする。
 このとき
$$\sum^\R_{n\geq1}f(n,z)$$
$z\in D$において正則関数を定め、特に
$$\frac{d^k}{dz^k}\sum^\R_{n\geq1}f(n,z)=\sum^\R_{n\geq1}\frac{\partial^kf}{\partial^kz}(n,z)$$
が成り立つ。

証明

 仮定より任意のコンパクト集合$K\subset D$に対し
$$\l|\frac{f(1+it,z)-f(1-it,z)}{e^{2\pi t}-1}\r|<2C\frac{e^{(\pi-\e)(1+t)}}{e^{2\pi t}-1}$$
と優関数によって抑えられるので積分記号下微分が正当化でき
\begin{align} \frac{d}{dz}\sum^\R_{n\geq1}f(n,z) &=-\frac{f_z(1,z)}2+i\int^\infty_0\frac{f_z(1+it,z)-f_z(1-it,z)}{e^{2\pi t}-1}dt\\ &=\sum^\R_{n\geq1}\frac{\partial f}{\partial z}(n,z) \end{align}
を得る。
 また
$$\frac{\partial f}{\partial z}(x,z)=\frac1{2\pi i}\oint_C\frac{f(x,w)}{(w-z)^2}dw$$
に注意するとこれは再び上の仮定を満たすことがわかるので繰り返し項別微分することができ
$$\frac{d^k}{dz^k}\sum^\R_{n\geq1}f(n,z)=\sum^\R_{n\geq1}\frac{\partial^kf}{\partial^kz}(n,z)$$
を得る。

級数の交換

 ある点$z_0\in D$の近傍において
$$f(x,z)=\sum^\infty_{k=0}a_k(x)(z-z_0)^k$$
とテイラー展開したとき
$$\sum^\R_{n\geq1}f(n,z)=\sum^\infty_{k=0}\l(\sum^\R_{n\geq1}a_k(n)\r)(z-z_0)^k$$
とテイラー展開できる。

 $f\in\O^\pi$が整関数であれば
$$\sum^\R_{n\geq1}f(nz) =\frac1z\int^z_0f(x)dx-\frac{f(0)}2 -\sum^\infty_{k=1}\frac{B_{2k}}{2k}\frac{f^{(2k-1)}(0)}{(2k-1)!}z^{2k-1}$$
が成り立つ。特に
$$\sum^\R_{n\geq1}f(n) =\int^1_0f(x)dx-\frac{f(0)}2-\sum^\infty_{k=1}\frac{B_{2k}}{2k}\frac{f^{(2k-1)}(0)}{(2k-1)!}$$
が成り立つ。

証明

 仮定より$g(x,z)=f(xz)$$g\in\O^\pi_z$を満たすので
\begin{align} \sum^\R_{n\geq1}f(nz) &=\sum^\infty_{k=0}\frac{f^{(k)}(0)}{k!}\l(\sum^\R_{n\geq1}n^k\r)z^k\\ &=\frac{f(0)}2+\sum^\infty_{k=1}\frac{f^{(k)}(0)}{k!}\frac{1-B_{k+1}}{k+1}z^k\\ &=-\frac{f(0)}2+\sum^\infty_{k=0}\frac{f^{(k)}(0)}{(k+1)!}z^k -\sum^\infty_{k=1}\frac{B_{2k}}{2k}\frac{f^{(2k-1)}(0)}{(2k-1)!}z^{2k-1}\\ &=-\frac{f(0)}2+\frac1z\int^z_0f(x)dx -\sum^\infty_{k=1}\frac{B_{2k}}{2k}\frac{f^{(2k-1)}(0)}{(2k-1)!}z^{2k-1}\\ \end{align}
を得る。

 $f\in\O^\pi$が整関数であれば正整数$p$に対し
\begin{align} \sum^\R_{n\geq1}\frac{f(n)}{n^p} &=\int^1_0\frac1{x^p}\l(f(x)-\sum^{p-1}_{k=0}\frac{f^{(k)}(0)}{k!}x^k\r)dx+\sum^p_{k=1}\l(\sum^\R_{n\geq1}\frac1{n^k}\r)\frac{f^{(k-1)}(0)}{(k-1)!}\\ &\qquad-\frac12\frac{f^{(p)}(0)}{p!}-\sum^\infty_{k=1}\frac{B_{2k}}{2k}\frac{f^{(2k+p-1)}(0)}{(2k+p-1)!} \end{align}
が成り立つ。ただし$\g$はオイラー定数とした。

証明

$$g(x)=\frac1{x^p}\l(f(x)-\sum^{p-1}_{k=0}\frac{f^{(k)}(0)}{k!}x^k\r)\\ =\sum^\infty_{k=0}\frac{f^{(k+p)}(0)}{(k+p)!}x^k$$
についてラマヌジャン和を取ることでわかる。

項別積分

 $\Re(x)>1-\d\;(\d>0)$およびある区間$u\in I$において定義された関数$f(x,u)$に対しある$C(u),\e>0$が存在し
$$|f(x,u)|< C(u)e^{(\pi-\e)|x|},\quad\int_IC(u)du<\infty$$
が成り立つとする。
 このとき
$$\int_I\l(\sum^\R_{n\geq1}f(x,u)\r)du=\sum^\R_{n\geq1}\int_If(x,u)du$$
が成り立つ。

証明

\begin{align} \int_I\int^\infty_0\l|\frac{f(1+it,u)-f(1-it)}{e^{2\pi t}-1}\r|dtdu &\leq\int_I\int^\infty_0C(u)\frac{2e^{(\pi-\e)(1+t)}}{e^{2\pi t}-1}dtdu\\ &\leq\int_IC(u)du\int^\infty_0\frac{2e^{(\pi-\e)(1+t)}}{e^{2\pi t}-1}dt<\infty\\ \end{align}
が成り立つのでフビニの定理より積分の順序交換が正当化でき
\begin{align} \int_I\l(\sum^\R_{n\geq1}f(x,u)\r)du &=\frac12\int_If(1,u)du+i\int^\infty_0\frac{\int_If(1+it,u)du-\int_If(1-it,u)du}{e^{2\pi t}-1}dt\\ &=\sum^\R_{n\geq1}\int_If(x,u)du \end{align}
を得る。

二重和の交換

 $\Re(x),\Re(y)>0$において各変数について正則な関数$f$がある$C,\e>0$に対し
$$|f(x,y)|< Ce^{(\pi-\e)(|x|+|y|)}$$
を満たすとき
$$\sum^\R_{m\geq1}\sum^\R_{n\geq1}f(m,n)=\sum^\R_{n\geq1}\sum^\R_{m\geq1}f(m,n)$$

証明

\begin{align} R(x,y)-R(x+1,y)=f(x,y),\quad\int^2_1R(x,y)dx=0\\ S(x,y)-S(x,y+1)=R(x,y),\quad\int^2_1S(x,y)dy=0 \end{align}
なる関数$R,S$を取る。このとき
$$S(1,1)=\sum^\R_{n\geq1}R(1,n)=\sum^\R_{n\geq1}\sum^\R_{m\geq1}f(m,n)$$
が成り立つことに注意する。
 ここで
$$T(x,y)=S(x,y)-S(x+1,y)$$
とおくと
\begin{align} T(x,y)-T(x,y+1) &=S(x,y)-S(x+1,y)-(S(x,y+1)-S(x+1,y+1))\\ &=R(x,y)-R(x+1,y)\\ &=f(x,y) \end{align}
および
$$\int^2_1T(x,y)dy=\int^2_1(S(x,y)-S(x+1,y))dy=0$$
が成り立つので
$$U(x,y)=S(x,y)-\int^2_1S(t,y)dt$$
とおくことで
$$U(1,1)=\sum^\R_{m\geq1}T(m,1)=\sum^\R_{m\geq1}\sum^\R_{n\geq1}f(m,n)$$
を得る。
 さらに仮定より項別積分が適用でき
$$\int^2_1S(x,1)dx=\sum^\R_{n\geq1}\int^2_1R(x,n)dx=0$$
と求まるので
$$S(1,1)=U(1,1)$$
を得る。

交代級数の総和

 さて最後に交代級数の総和法について簡単に触れておきましょう。
 いま級数$\sum f(n)$がラマヌジャン総和可能であるためには$f(n)\in\O^\pi$という条件が必要なのでした。したがって交代級数$\sum (-1)^nf(n)=\sum e^{\pi in}f(n)$のラマヌジャン和を一般に考えるには例えば$f\in\O^0$という強い条件が必要となります。したがって例えば$\sum(-1)^n$$\sum(-1)^nn$のような級数の和すら考えられないため少し不便です。
 そこで交代級数に対してはラマヌジャン和とは少し異なる総和法を考えることにします。具体的にはラマヌジャン和がオイラー・マクローリンの和公式
\begin{align} \sum^n_{k=1}f(k) =\int^n_1f(x)dx+\frac{f(n)+f(1)}2 &+\sum^m_{k=1}\frac{B_{2k}}{(2k)!}(f^{(2k-1)}(n)-f^{(2k-1)}(1))\\ &+\int^n_1\frac{B_{2m+1}(\{x\})}{(2m+1)!}f^{(2m+1)}(x)dx \end{align}
に着想を得ていたように、交代級数にはオイラー・ブールの和公式
$$\sum^{n-1}_{k=1}(-1)^{k-1}f(k) =\frac12\sum^m_{k=0}\frac{E_k(0)}{k!}(f^{(k)}(1)+(-1)^nf^{(k)}(n)) +\frac12\int^n_1\frac{\tilde{E}_m(x)}{m!}f^{(m+1)}(x)dx$$
(ただし$E_n(x)$はオイラー多項式とし$\tilde{E}_m(x)=(-1)^{m+\lfloor x\rfloor}E_m(\{x\})$とおいた)
を基点とした次のような総和法が考えられます。

オイラー総和法(仮)

 ある$M$より先の任意の$m$に対し
$$\int^\infty_1E_m(\{x\})f^{(m+1)}(x)dx$$
が収束するとき$m\geq M$において
$$\tC(f)=\frac12\sum^m_{k=0}\frac{E_k(0)}{k!}f^{(k)}(1) +\frac12\int^\infty_1\frac{E_m(\{x\})}{m!}f^{(m+1)}(x)dx$$
$m$に依らない定数となる。この定数のことを級数$\sum f(n)$オイラー和と言い
$$\tC(f)=\sum^\E_{n\geq1}(-1)^{n-1}f(n)$$
と表す。

 これは方程式
$$T(n+1)-T(n)=(-1)^{n-1}f(n)$$
によって特徴づけられる関数
$$T(n)=\frac{(-1)^n}2\sum^m_{k=0}\frac{E_k(0)}{k!}f^{(k)}(n) -\frac12\int^\infty_n\frac{\tilde{E}_m(x)}{m!}f^{(m+1)}(x)dx$$
によって$\tC(f)=-T(1)$と表せ、特に$A(n)=(-1)^nT(n)$とおくと次のような基本定理が成り立ちます。

 $f\in\O^\pi$に対し
$$A(x)+A(x+1)=f(x)$$
を満たすような$A\in\O^\pi$が一意に存在する。特に
$$A(x)=R[f(2x)]\l(\frac x2\r)-R[f(2x)]\Big(\frac{x+1}2\Big)$$
が成り立つ。

 一意性については方程式の線形性から
$$A(x)+A(x+1)=0$$
を満たすような$A\in\O^\pi$$A=0$のみであることを示せばよい。これについては 前回の記事 の補題4と同様にして
$$A(x)=\sum^\infty_{n=-\infty}c_ne^{(2n+1)\pi ix}$$
とフーリエ級数展開できること、および$A\in\O^\pi$であることからわかる。
 また存在性については$f(2x)\in\O^{2\pi}$から 前回の記事 の定理5より
$$R(x)-R(x+1)=f(2x)$$
を満たすような関数$R$が存在することに注意して
$$A(x)=R[f(2x)]\l(\frac x2\r)-R[f(2x)]\Big(\frac{x+1}2\Big)$$
とおくと
$$A(x)+A(x+1)=R[f(2x)]\l(\frac x2\r)-R[f(2x)]\l(\frac x2+1\r)=f(x)$$
とわかる。

 ラマヌジャン和とは違ってフーリエ級数の定数項が存在しないため$\int^2_1R(x)dx=0$のような条件が必要ないというのが面白いですね。
 さてこれによりオイラー和は次のように定められます。

オイラー総和法(決定版)

 交代級数$\sum(-1)^{n-1}a_n$がオイラー総和可能であるとは$f(n)=a_n$なる$f\in\O^\pi$が存在することを言い、このとき方程式
$$A(x)+A(x+1)=f(x)$$
によって一意に定まる関数$A\in\O^\pi$を用いて
$$\sum^\E_{n\geq1}(-1)^{n-1}a_n=A(1)$$
と定まる値のことをオイラー和と言う。

ラマヌジャン和との関係

 こうして交代級数の和が定まったわけですが、実のところ$f\in\O^{\pi/2}$という条件下でオイラー和はラマヌジャン和を用いて以下のように表せることがわかります。

 $f\in\O^{\pi/2}$に対し
$$\sum^\E_{n\geq1}(-1)^{n-1}f(n) =\sum^\R_{n\geq1}f(2n-1)-\sum^\R_{n\geq1}f(2n)+\frac12\int^2_1f(x)dx$$
が成り立つ。

 補題4から
\begin{align} R[f(2x)]\l(\frac12\r) &=\sum^\R_{n\geq1}f(2\l(n-1+\frac12\r))-\int^{1/2}_1f(2x)dx\\ &=\sum^\R_{n\geq1}f(2n-1)+\frac12\int^2_1f(x)dx \end{align}
が成り立つことに注意すると
\begin{align} \sum^\E_{n\geq1}(-1)^{n-1}f(n)&=R[f(2x)]\l(\frac12\r)-R[f(2x)]\l(\frac{1+1}2\r)\\ &=\sum^\R_{n\geq1}f(2n-1)-\sum^\R_{n\geq1}f(2n)+\frac12\int^2_1f(x)dx \end{align}
を得る。

\begin{align} \sum^\E_{n\geq1}(-1)^{n-1}f(n) &=\sum^\R_{n\geq1}f(n)-2\sum^\R_{n\geq1}f(2n)+\int^2_1f(x)dx\\ &=2\sum^\R_{n\geq1}f(2n-1)-\sum^\R_{n\geq1}f(n)\\ \sum^\R_{n\geq1}f(2n-1) &=\frac12\sum^\R_{n\geq1}f(n)+\frac12\sum^\E_{n\geq1}(-1)^{n-1}f(n)\\ \sum^\R_{n\geq1}f(2n) &=\frac12\sum^\R_{n\geq1}f(n)-\frac12\sum^\E_{n\geq1}(-1)^{n-1}f(n)+\frac12\int^2_1f(x)dx \end{align}

 倍数公式
$$\sum^\R_{n\geq1}f(n)=\sum^\R_{n\geq1}f(2n-1)+\sum^\R_{n\geq1}f(2n)-\frac12\int^2_1f(x)dx$$
に注意するとわかる。

 ちなみに
$$\sum^\R_{n\geq0}f(n):=\sum^\R_{n\geq1}f(n-1)=\sum^\R_{n\geq1}f(n)+f(0)-\int^1_0f(x)dx$$
とおくと
$$\sum^\R_{n\geq0}f(2n)=\sum^\R_{n\geq1}f(2n)+f(0)-\frac12\int^2_0f(x)dx$$
が成り立つので上の関係は次のようにも表せます。

\begin{align} \sum^\E_{n\geq1}(-1)^{n-1}f(n) &=\sum^\R_{n\geq0}f(n)-2\sum^\R_{n\geq0}f(2n)\\ \sum^\R_{n\geq0}f(2n) &=\frac12\sum^\R_{n\geq0}f(n)-\frac12\sum^\E_{n\geq1}(-1)^{n-1}f(n) \end{align}

基本性質

線形性

$$\sum^\E_{n\geq1}(-1)^{n-1}(af(n)+bg(n)) =a\sum^\E_{n\geq1}(-1)^{n-1}f(n)+b\sum^\E_{n\geq1}(-1)^{n-1}g(n)$$

並進性

$$\sum^\R_{n\geq1}(-1)^{n-1}f(n)=f(1)+\sum^\R_{n\geq1}(-1)^nf(n+1)$$

 $A[f(x+1)](x)=A[f(x)](x+1)$が成り立つことから
\begin{align} \sum^\R_{n\geq1}(-1)^{n-1}f(n+1) &=A[f](2)\\ &=f(1)-A[f](1)\\ &=f(1)-\sum^\R_{n\geq1}(-1)^{n-1}f(n) \end{align}
を得る。

正規性

 $f\in\O^\pi$$\sum^\infty_{n=0}(-1)^nf(x+n)\in\O^\pi$を満たすとき
$$\sum^\E_{n\geq1}(-1)^{n-1}f(n)=\sum^\infty_{n=1}(-1)^{n-1}f(n)$$
が成り立つ。

収束級数表示

オイラーの級数変換公式

 $\Re(x)>x_0\;(x_0<1)$における正則関数$f$がある$C>0$に対し
$$|f(x)|\leq C2^{|x|}$$
を満たすとき
$$\sum^\E_{n\geq1}(-1)^{n-1}f(n)=\sum^\infty_{k=0}(-1)^k\frac{(\D^kf)(1)}{2^{k+1}}$$
が成り立つ。ただし$\D$は差分作用素$(\D f)(n)=f(n+1)-f(n)$とした。

証明

 いくつかの議論については省略して説明する。
 仮定から$f$$\Re(x)>\max(x_0,1/2)$で収束するニュートン級数展開
$$f(x)=\sum^\infty_{n=0}\binom{x-1}n(\D^nf)(1)\quad\l(\binom{x-1}n=\frac{(x-1)(x-2)\cdots(x-n)}{n!}\r)$$
を持つことが知られている(Nörlund)。
 いま
$$B(x)=\frac{(1+z)^{x-1}}{2+z}$$
とおくと
$$B(x)+B(x+1)=(1+z)^{x-1}$$
が成り立つので
$$(1+z)^{x-1}=\sum^\infty_{n=0}\binom{x-1}nz^n,\quad \frac1{2+z}=\frac12\sum^\infty_{n=0}\l(-\frac z2\r)^n$$
に注意してこの両辺の$z^n$の係数を比較することで
$$A\l[\binom{x-1}n\r](x)=\frac12\sum^n_{k=0}\binom{x-1}k\l(-\frac12\r)^{n-k}$$
つまり
$$A[f](x)=\sum^\infty_{n=0}(-1)^n\frac{(\D^nf)(1)}{2^{n+1}}\sum^n_{k=0}\binom{x-1}k(-2)^k$$
と求まる(これが$A\in\O^\pi$を満たすことは別途示せる)。
 したがって
$$\sum^\R_{n\geq1}f(n)=\sum^\infty_{k=0}(-1)^k\frac{(\D^kf)(1)}{2^{k+1}}$$
を得る。

 またこれと同様にしてラマヌジャン和は次のような収束級数表示があることが示せます。

 $\Re(x)>x_0\;(x_0<1)$における正則関数$f$がある$C>0$に対し
$$|f(x)|\leq C2^{|x|}$$
を満たすとき
$$\sum^\E_{n\geq1}(-1)^{n-1}f(n)=\sum^\infty_{k=0}\frac{\b_{k+1}}{(k+1)!}(\D^kf)(1)$$
が成り立つ。ただし
$$\frac{\b_n}{n!}=\int^1_0\binom xndx$$
とおいた。

証明

$$\binom x{n+1}-\binom{x-1}{n+1}=\binom{x-1}n\frac{x-(x-(n+1))}{n+1}=\binom{x-1}n$$
に注意すると
\begin{align} R\l[\binom{x-1}n\r](x) &=-\binom{x-1}{x+1}+\int^2_1\binom{x-1}{n+1}dx\\ &=-\binom{x-1}{x+1}+\frac{\b_{n+1}}{(n+1)!} \end{align}
つまり
$$R[f](x)=\sum^\infty_{n=0}\l(\frac{\b_{n+1}}{(n+1)!}-\binom{x-1}{k+1}\r)(\D^nf)(1)$$
および
$$\sum^\R_{n\geq1}f(n)=\sum^\infty_{k=0}\frac{\b_{k+1}}{(k+1)!}(\D^kf)(1)$$
を得る。

 ちなみにこの$\b_n$は第二種ベルヌーイ数と言い
\begin{align} \sum^\infty_{n=0}\frac{\b_n}{n!}t^n &=\int^1_0\l(\sum^\infty_{n=0}\binom xnt^n\r)dx\\ &=\int^1_0(1+t)^xdx\\ &=\frac t{\log(1+t)} \end{align}
という母関数を持ちます。

具体例

 $f(x)=x^k\;(k\geq0)$とおくとオイラー多項式
$$\frac{2e^{tx}}{e^t+1}=\sum^\infty_{n=0}\frac{E_n(x)}{n!}t^n$$
の性質
$$E_k(x)+E_k(x+1)=2x^k$$
から
$$A[f](x)=\frac{E_k(x)}2$$
つまり
$$\sum^\E_{n\geq1}(-1)^{n-1}n^k=\frac{E_k(1)}2$$
と求まる。なお下に示すようにこれは$(1-2^{k+1})\z(-k)$とも求まる。
 ちなみに
$$\frac{2e^t}{e^t+1}=2-\frac2{e^t+1}$$
より$k\neq0$において
$$\sum^\E_{n\geq1}(-1)^{n-1}n^k=-\frac{E_k(0)}2$$
とも表せる。

 $f(x)=1/x^s$とおくと正規性より$\Re(s)>1$において
\begin{align} \sum^\E_{n\geq1}\frac{(-1)^{n-1}}{n^s} &=\sum^\infty_{n=1}\frac1{n^s}-2\sum^\infty_{n=1}\frac1{(2n)^s}\\ &=(1-2^{1-s})\z(s) \end{align}
と求まる。
 また$s\in\C$に対して明らかに$f(x)\in\O^{\log2}$が成り立つので
$$\sum^\E_{n\geq1}\frac{(-1)^{n-1}}{n^s} =\sum^\infty_{k=0}(-1)^k\frac{(\D^kf)(1)}{2^{k+1}}$$
と収束級数表示でき、これによりゼータ関数の解析接続
$$\z(s)=\frac1{1-2^{1-s}}\sum^\infty_{k=0}(-1)^k\frac{(\D^kf)(1)}{2^{k+1}}$$
が与えられる(このことは この記事 でも紹介している)。

 ちなみにラマヌジャンのノートブックには次のような記述が見られる。
Notebook 2より Notebook 2より
 この変形の正当性を考えてみよう。いま
$$C=\sum^\R_{n\geq0}n$$
とおくと
\begin{align} -3C &=C-4C\\ &=\sum^\R_{n\geq0}n-2\sum^\R_{n\geq0}2n\\ &=\sum^\E_{n\geq1}(-1)^{n-1}n \end{align}
が成り立つ。また$|z|<1$において
$$\sum^\E_{n\geq1}(-z)^{n-1}n=\sum^\infty_{n=1}(-z)^{n-1}n=\frac1{(1+z)^2}$$
が成り立つのでこれを$z\to1$とすることで
$$\sum^\E_{n\geq1}(-1)^{n-1}n=\frac14$$
つまり
$$C=-\frac1{12}$$
を得る。

 ラマヌジャンはこんなことまで考えてはなかったと思いますが、このような議論も実はちゃんと正当化できるというのは面白いですね。

参考文献

[1]
Bernard Candelpergher, Ramanujan Summation of Divergent Series, Springer, 2017
投稿日:210
更新日:211
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
986
227066
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中