不定和分

数学における**不定和分**（ふていわぶん、） または**逆差分**（ぎゃくさぶん、; 反差分）  は、微分に対する不定積分（反微分）の離散版で、前進差分  の逆演算となる線型作用素である。

文献によっては "indefinite sum" の語を、例えば

:\sum_{k=1}^n f(k)

のような和において、上の限界となる値 (この例では ) をとくに固定せずに考える場合を指すのに用いることもある。この場合、この和を表す閉じた式  は函数方程式（畳み込み方程式） 
: F(x+1) - F(x) = f(x+1)
の解であり、これは後退差分作用素  の逆である。この後退和分作用素と先の（前進）和分作用素との間には後述の和分差分学の基本定理を通じて関係がある。

## 定義
与えられた函数  に対し  が  の**不定和分**であるとは、 が函数方程式

: \Delta \sum_x f(x) = f(x),

つまりより直接的に述べれば

:F(x+1) - F(x) = f(x)

の解であることを総称して言う。函数  が与えられた  に対するこの函数方程式の解ならば、周期 1 を持つ任意の周期函数  に対して  もまた同方程式の解であるから、各不定和分とは実際にはそのような（互いに周期 1 函数だけ異なる）函数の族を表すものと理解される。ただし、解のうちで自身の展開と一致するようなものは任意定数  （和分定数）を加える違いを除いて一意に定まる。

## 注意
和分定数  の選び方について、
: F(x)=\sum_x f(x)+C
と置くとき、

: \int_0^1 F(x) dx=0 
あるいは
: \int_1^2 F(x) dx=0 

を満たすように  を固定することがしばしばある。ラマヌジャン和を用いて書けば、それぞれ

: \sum_{x \ge 1}^{\Re}f(x)=-f(0)-F(0)
あるいは
: \sum_{x \ge 1}^{\Re}f(x)=-F(1)

である。

## 性質
### 和分差分学の基本定理
微分積分学の基本定理の離散版として、不定和分を用いて定和分の計算ができる。即ち
 
:\sum_{k=a}^b f(k)=\Delta^{-1}f(b+1)-\Delta^{-1}f(a)

が成り立つ。

### 部分和分法

部分積分法の離散版として、以下のように部分和分の公式が成り立つ。

; 不定和分に関する部分和分
:\sum_x f(x)\Delta g(x)=f(x)g(x)-\sum_x (g(x)+\Delta g(x)) \Delta f(x),
:\sum_x f(x)\Delta g(x)+\sum_x g(x)\Delta f(x)=f(x)g(x)-\sum_x \Delta f(x)\Delta g(x).
; 定和分に関する部分和分
: \sum_{i=a}^b f(i)\Delta g(i)=f(b+1)g(b+1)-f(a)g(a)-\sum_{i=a}^b g(i+1)\Delta f(i).

### 周期法則
周期函数  の周期が  に対し、

: \sum _x f(Tx)=x f(Tx) + C

が成り立つ。また  が函数  の反周期、即ち  のとき、

:\sum _x f(Tx)=-\frac12 f(Tx) + C

が成り立つ。

### ラプラス和公式

:\sum_x f(x)=\int_0^x f(t) dt +\sum_{k=1}^\infty \frac{c_k\Delta^{k-1}f(x)}{k!} + C 

ただし、
: c_k=\int_0^1 \frac{\Gamma(x+1)}{\Gamma(x-k+1)}dx
はである。

### ニュートンの公式

: \sum_x f(x)=-\sum_{k=1}^{\infty}\frac{\Delta^{k-1}f(x)}{k!}(-x)_k+C

ただし
: (x)_k=\frac{\Gamma(x+1)}{\Gamma(x-k+1)}
は下降階乗冪である。

### ファウルハーバーの公式

: \sum_x f(x)= \sum_{n=1}^{\infty} \frac{f^{(n-1)} (0)}{n!} B_n(x) + C.

ただし、右辺が存在する場合に限る。

### ミューラーの公式
\lim_{x\to{+\infty}}f(x)=0 のとき
: \sum _x f(x)=\sum_{n=0}^\infty(f(n)-f(n+x))+ C
が成り立つ。

### オイラー・マクローリンの公式

:\sum _x f(x)= \int_0^x f(t) dt - \frac12 f(x)+\sum_{k=1}^{\infty}\frac{B_{2k}}{(2k)!}f^{(2k-1)}(x) + C.

## 例
以下、いくつかの函数の不定和分を記す。初等函数の不定和分でも必ずしも初等函数で書けないことに注意。

### 初等函数
* \sum_x a = ax + C,
* \sum_x x = \frac{x^2}{2}-\frac{x}{2} + C,
* \sum_x x^a = \frac{B_{a+1}(x)}{a+1} + C,\quad(a\notin \mathbb{Z}^-),
*: ただし、 は次数を実数に一般化したベルヌイ多項式.
* \sum_x x^a = \frac{(-1)^{a-1}\psi^{(-a-1)}(x)}{\Gamma(-a)}+ C,\,a\in\mathbb{Z}^-
*: ただし、 はポリガンマ函数.
* \sum_x \frac1x = \psi(x) + C,
*: ただし、 はディガンマ函数.
* \sum_x a^x = \frac{a^x}{a-1} + C,
*: 特に \sum _x 2^x = 2^x + C.
* \sum_x \log_b x = \log_b \Gamma (x) + C,
* \sum_x \log_b ax = \log_b (a^{x-1}\Gamma (x)) + C.

### 三角函数・双曲線函数

* \sum_x \sinh ax = \frac{1}{2} \operatorname{csch} \left(\frac{a}{2}\right) \cosh \left(\frac{a}{2} - a x\right) + C,
* \sum_x \cosh ax = \frac{1}{2} \coth \left(\frac{a}{2}\right) \sinh ax -\frac{1}{2} \cosh ax + C,
* \sum_x \tanh ax = \frac1a \psi _{e^a}\left(x-\frac{i \pi }{2 a}\right)+\frac1a \psi _{e^a}\left(x+\frac{i \pi }{2 a}\right)-x + C,
*: ただし、 は''q''-ディガンマ函数.
* \sum_x \sin ax = -\frac{1}{2} \csc \left(\frac{a}{2}\right) \cos \left(\frac{a}{2}- a x \right) + C \quad(a\ne n \pi),
* \sum_x \cos ax = \frac{1}{2} \cot \left(\frac{a}{2}\right) \sin ax -\frac{1}{2} \cos ax + C \quad (a\ne n \pi),
* \sum_x \sin^2 ax = \frac{x}{2} + \frac{1}{4} \csc (a) \sin (a-2 a x) + C\quad (a\ne \frac{n\pi}2),
* \sum_x \cos^2 ax = \frac{x}{2}-\frac{1}{4} \csc (a) \sin (a-2 a x) + C\quad (a\ne \frac{n\pi}2),
* \sum_x \tan ax = i x-\frac1a \psi _{e^{2 i a}}\left(x-\frac{\pi }{2 a}\right) + C \quad (a \ne \frac{n\pi}2),
*: ただし、 は''q''-ディガンマ函数.
* \begin{align}
    \sum_x \tan x &= ix-\psi _{e^{2 i}}\left(x+\frac{\pi }{2}\right) + C \\
 &= -\sum_{k=1}^{\infty } \left(\psi \left(k \pi -\frac{\pi }{2}+1-z\right)+\psi \left(k \pi -\frac{\pi }{2}+z\right)-\psi \left(k \pi -\frac{\pi }{2}+1\right)-\psi \left(k \pi -\frac{\pi }{2}\right)\right) + C
\end{align},
* \sum_x \cot ax =-i x-\frac{i \psi _{e^{2 i a}}(x)}{a} + C \quad (a\ne \frac{n\pi}2),
* \sum_x \operatorname{artanh}\, a x =\frac{1}{2} \ln \left(\frac{(-1)^x \Gamma \left(-\frac{1}{a}\right) \Gamma \left(x+\frac{1}{a}\right)}{\Gamma \left(\frac{1}{a}\right) \Gamma \left(x-\frac{1}{a}\right)}\right) + C,
* \sum_x \arctan a x = \frac{i}{2} \ln \left(\frac{(-1)^x \Gamma (\frac{-i}a) \Gamma (x+\frac ia)}{\Gamma (\frac ia) \Gamma (x-\frac ia)}\right)+C.

### 特殊函数
* \sum _x \psi(x)=(x-1) \psi(x)-x+C,
* \sum _x \Gamma(x)=(-1)^{x+1}\Gamma(x)\frac{\Gamma(1-x,-1)}e+C,
*: ただし、 は不完全ガンマ函数.
* \sum _x (x)_a = \frac{(x)_{a+1}}{a+1}+C,
*: ただし、 は下降階乗冪.
* \sum _x \operatorname{sexp}_a (x) = \ln_a \frac{(\operatorname{sexp}_a (x))'}{(\ln a)^x} + C.
: (ただし、 は)

## 関連項目
* 乗法的不定和分 (Indefinite product)
* 時間尺度微分積分学: 連続と離散の間を埋める時間尺度 (time-scale) での微分積分を考察する
* 異種微分積分学における導函数と積分函数の一覧
* 離散フーリエ変換

## 注

## 参考文献

## 関連文献
* "Difference Equations: An Introduction with Applications", Walter G. Kelley, Allan C. Peterson, Academic Press, 2001, ISBN 0-12-403330-X
* Markus Müller. How to Add a Non-Integer Number of Terms, and How to Produce Unusual Infinite Summations
* Markus Mueller, Dierk Schleicher. Fractional Sums and Euler-like Identities
* S. P. Polyakov. Indefinite summation of rational functions with additional minimization of the summable part. Programmirovanie, 2008, Vol. 34, No. 2.
* "Finite-Difference Equations And Simulations", Francis B. Hildebrand, Prenctice-Hall, 1968