p進数の解析学と実解析：積分編

はじめに

この記事では 前回の記事 に続いて$p$進関数の積分を実関数の積分と比較したりしながら解説していきます。
内容は薄めです。

積分の定義

逆微分としての積分

実解析における積分は、微分積分学の基本定理によって逆微分という重要な側面を持っていました。
$$\frac{d}{dx}\int^x_af(t)dt=f(x)$$
$$\int^x_a\frac{d}{dt}f(t)dt=f(x)-f(a)$$
そういうわけで$p$進関数の積分も逆微分というモチベーションから始めたいところなのですが、 前回の記事 で解説したように逆微分の不定性は定数関数の域に留まらないのでした。
$$f'(x)=g'(x)\Rightarrow f(x)=g(x)+C(x)\quad(C'(x)=0)$$
つまるところ関数$f(x)$の$a$から$x$までの積分を
$$\int^x_af(x)dx=F(x)-F(a)\quad(F'(x)=f(x))$$
と定めようにも、$F$の取り方によって$F(x)-F(a)$の値が変わってしまうわけなのです。

じゃあ$F$の取り方を固定すればいいじゃないか、例えば
$$\int x^ndx=\frac{1}{n+1}x^{n+1}+Const.$$
を基準として解析関数$f(x)$の不定積分を
$$\int f(x)dx=\int\l(\sum^\infty_{n=0}c_nx^n\r)dx=\sum^\infty_{n=0}\frac{c_n}{n+1}x^n+Const.$$
と定めれば良いだとか、 前回の記事 の定理7に倣って連続関数$f(x)$の不定積分を
$$\int f(x)dx=\sum^\infty_{n=0}(x^{(n+1)}-x^{(n)})f(x^{(n)})+Const.$$
と定めれば良いだとか考えたくなりますが、こうなってくると積分の積分としての本来の意味があやふやになってしまい本質的ではない(気がする)ので逆微分として積分を定めることはひとまず諦めることにしましょう。

リーマン積分からの考察

とりあえず逆微分として積分を考えるには難があるとわかったところで、そもそもの実解析における積分の定義であるリーマン積分に立ち返ってみましょう。
　リーマン積分では区間$[a,b]$を無数の小区間$[x_n,x_{n+1}]$に分割したときにリーマン和
$\dis\sum^N_{n=0}f(\xi_n)(x_{n+1}-x_n)\quad(\xi_n\in[x_n,x_{n+1}])$
が近づく値を
$\dis\int^b_a f(x)dx$
と定めたのでした。

では$p$進関数に対しても同じようなプロセスで積分を構成してみましょう。

$p$進関数の積分は定義しようと思えば色々な積分が考えられますが、この記事ではリーマン積分から自然に定義される積分としてVolkenborn積分のみを扱います。
　Volkenborn積分においてはリーマン積分と違って区間$\Z_p$の分割の仕方が「$p^n$等分」で固定されており任意性がありませんが、実際分割の仕方を任意に選んでしまうとその値が一意に定まらなくなってしまいます。例えば$f(x)=x$を積分したとき、
$\dis\int xdx=\lim_{n\to\infty}\frac1{p^n}\sum^{p^n-1}_{a=0}a =\lim_{n\to\infty}\frac1{p^n}\cdot\farc{p^n(p^n-1)}{2}=-\frac12$
と求められますが、
$\dis\Z_p=(p^{n-1}\Z_p)\cup\l(\coprod_{a=p}^{p^n-1}(a+p^n\Z_p)\r)$
と分割して求めようとすると
$\dis\lim_{n\to\infty}\frac1{p^n}\sum^{p^n-1}_{a=p}a=\lim_{n\to\infty}\frac1{p^n}(\frac{p^n(p^n-1)}{2}-\frac{p(p-1)}{2})$
となりますが
$\dis\lim_{n\to\infty}\frac1{p^n}\cdot\frac{p(p-1)}{2}$
は発散してしまうので値が定義できなくなります。

代表元の取り方も$\xi_a=a\in a+p^n\Z_p$と固定されているのも同様の理由になります。実際
$\dis\int_{\Z_p}f(x)dx=\lim_{n\to\infty}\frac1{p^n}\sum^{p^n-1}_{a=0}f(a)$
が収束するとき$\xi_0=p^n\in p^n\Z_p$とすると
$\dis\lim_{n\to\infty}\frac1{p^n}\sum^{p^n}_{a=1}f(a) =\lim_{n\to\infty}\frac1{p^n}\sum^{p^n-1}_{a=0}f(a)+\lim_{n\to\infty}\frac{f(p^n)-f(0)}{p^n} =\int_{\Z_p}f(x)dx+f'(0)$
と$f'(0)$だけのズレが出る(もしくは定義できない)ことになります。

とりあえず$p$進関数の積分が定義できたので以下でその性質を見ていきましょう。

Volkenborn積分の性質

とりあえずVolkenborn積分の持つ性質をざっと列挙していきます。

変換公式

線形性

$\dis\int_{\Z_p}(af(x)+bg(x))dx=a\int_{\Z_p}f(x)dx+b\int_{\Z_p}g(x)dx$

平行移動に対する変換公式

\begin{eqnarray} \int_{\Z_p}f(x+m)dx&=&\lim_{n\to\infty}\farc1{p^n}\sum^{p^n-1}_{a=0}f(a+m) \\&=&\lim_{n\to\infty}(\frac1{p^n}\sum^{p^n-1}_{a=0}f(a)+\sum^{m-1}_{a=0}\frac{f(a+p^n)-f(a)}{p^n}) \\&=&\int_{\Z_p}f(x)dx+\sum^{m-1}_{a=0}f'(a) \end{eqnarray}
(ただし$m$は正整数で$f$は$x=0,1,2,\ldots,m-1$において微分可能であるものとした。)

反転に対する変換公式

\begin{eqnarray} \int_{\Z_p}f(-x)dx&=&\lim_{n\to\infty}\frac1{p^n}\sum^{p^n-1}_{a=0}\sum^\infty_{k=0}a_k\binom{-a}k \\&=&\lim_{n\to\infty}\frac1{p^n}\sum^\infty_{k=0}a_k\sum^{p^n-1}_{a=0}(\binom{-a+1}{k+1}-\binom{-a}{k+1}) \\&=&\lim_{n\to\infty}\frac1{p^n}\sum^\infty_{k=0}a_k(\binom1{k+1}-\binom{-(p^n-1)}{k+1}) \\&=&\lim_{n\to\infty}\frac1{p^n}(a_0p^n+\sum^\infty_{k=1}(-1)^{k+1}a_k\frac{(p^n-1)p^n(p^n+1)\cdots(p^n+k-1)}{(k+1)!}) \\&=&a_0+\sum^\infty_{k=1}(-1)^k\frac{a_k}{k(k+1)} \\&=&\sum^\infty_{k=0}\farc{(-1)^k}{k+1}a_k+\sum^\infty_{k=1}(-1)^{k-1}\farc{a_k}{k} \\&=&\int_{\Z_p}f(x)dx+f'(0) \\&=&\int_{\Z_p}f(x+1)dx \end{eqnarray}
ただし連続関数
$\dis f(x)=\sum^\infty_{k=0}a_k\binom xk$
に対し
$\dis\int_{\Z_p}f(x)dx=\sum^\infty_{k=0}\frac{(-1)^k}{k+1}a_k$
であること(後述)と
$\dis f'(0)=\sum^\infty_{k=1}(-1)^{k-1}\farc{a_k}k$
であること( 前回の記事 の定理1)を用いた。

区間の変換公式

$f$の$a+p^n\Z_p\;(0\leq a\leq p^n-1)$における積分を特性関数
$\dis 1_{a+p^n\Z_p}(x)=\l\{\begin{array}{lc}1&x\in a+p^n\Z_p\\0&x\not\in a+p^n\Z_p\end{array}\r.$
を用いて
$\dis\int_{a+p^n\Z_p}f(x)dx=\int_{\Z_p}1_{a+p^n\Z_p}(x)f(x)dx$
と定めると、
\begin{eqnarray} \int_{a+p^n\Z_p}f(x)dx&=&\lim_{m\to\infty}\farc1{p^m}\sum_{\substack{x\in a+p^n\Z\\0\leq x\leq p^m-1}}f(x) \\&=&\lim_{m\to\infty}\frac1{p^n}\cdot\farc1{p^{m-n}}\sum^{p^{m-n}-1}_{x=0}f(a+p^nx) \\&=&\frac1{p^n}\int_{\Z_p}f(a+p^nx)dx \end{eqnarray}

積分公式

単項式

ファウルハーバーの公式
$\dis\sum^n_{a=0}a^k=\frac1{k+1}\sum^k_{j=0}\binom{k+1}{j+1}B_{k-j}\,n^{j+1}\quad(\frac{t}{e^t-1}=\sum^\infty_{n=0}\frac{B_n}{n!}t^n)$
より
\begin{eqnarray} \int_{\Z_p}x^kdx&=&\lim_{n\to\infty}\farc1{p^n}\sum^{p^n-1}_{a=0}a^k \\&=&\lim_{n\to\infty}\frac1{k+1}\sum^k_{j=0}\binom{k+1}{j+1}B_{k-j}\,p^{jn} =B_k \end{eqnarray}
特に
$\dis\int_{\Z_p}(z+x)^ndx=\sum^n_{k=0}\binom nkB_nz^{n-k}=B_n(z)\quad(\frac{te^{zt}}{e^t-1}=\sum^\infty_{n=0}\frac{B_n(z)}{n!}t^n)$

二項係数

$\dis\binom xk=\binom{x+1}{k+1}-\binom{x}{k+1}$
より
\begin{eqnarray} \int_{\Z_p}\binom xkdx&=&\lim_{n\to\infty}\farc1{p^n}\sum^{p^n-1}_{a=0}\binom ak \\&=&\lim_{n\to\infty}\frac1{p^n}(\binom{p^n}{k+1}-\binom0{k+1}) \\&=&\lim_{n\to\infty}\frac1{p^n}\cdot\frac{p^n(p^n-1)\cdots(p^n-k)}{(k+1)!} =\frac{(-1)^k}{k+1} \end{eqnarray}

連続関数

$\dis\int_{\Z_p}f(x)dx=\sum^\infty_{n=0}a_n\int_{\Z_p}\binom xndx=\sum^\infty_{n=0}\frac{(-1)^n}{n+1}a_n$

解析関数

$\dis\int_{\Z_p}f(x)dx=\sum^\infty_{n=0}c_n\int_{\Z_p}x^ndx=\sum^\infty_{n=0}c_nB_n$

奇関数

$f(-x)=-f(x)$のとき反転に関する変換公式から
$\dis\int_{\Z_p}f(x)dx=-\farc12f'(0)$

指数関数

$\dis\int_{\Z_p}e^{xt}dx=\sum^\infty_{n=0}\farc{B_n}{n!}t^n=\frac{t}{e^t-1}$

積分の存在

上では積分の存在を仮定していましたがここで積分が存在する十分条件について確認しておきます。

おわりに

この記事の内容は以上になります。ちょっとそっけないですがVolkenborn積分から何か面白い議論ができるのかはよくわからなかったので、$p$進数でも積分ができるんだなあくらいのイメージで締めさせていただきます。