不定和分

数学における不定和分（ふていわぶん、） または逆差分（ぎゃくさぶん、; 反差分） は、微分に対する不定積分（反微分）の離散版で、前進差分 の逆演算となる線型作用素である。
文献によっては "indefinite sum" の語を、例えば
のような和において、上の限界となる値 (この例では ) をとくに固定せずに考える場合を指すのに用いることもある。この場合、この和を表す閉じた式 は函数方程式（畳み込み方程式） 
の解であり、これは後退差分作用素 の逆である。この後退和分作用素と先の（前進）和分作用素との間には後述の和分差分学の基本定理を通じて関係がある。
定義.
与えられた函数 に対し が の不定和分であるとは、 が函数方程式
つまりより直接的に述べれば
の解であることを総称して言う。函数 が与えられた に対するこの函数方程式の解ならば、周期 1 を持つ任意の周期函数 に対して もまた同方程式の解であるから、各不定和分とは実際にはそのような（互いに周期 1 函数だけ異なる）函数の族を表すものと理解される。ただし、解のうちで自身の展開と一致するようなものは任意定数 （和分定数）を加える違いを除いて一意に定まる。
注意.
和分定数 の選び方について、
と置くとき、
あるいは
を満たすように を固定することがしばしばある。ラマヌジャン和を用いて書けば、それぞれ
あるいは
である。
性質.
和分差分学の基本定理.
微分積分学の基本定理の離散版として、不定和分を用いて定和分の計算ができる。即ち
が成り立つ。
部分和分法.
部分積分法の離散版として、以下のように部分和分の公式が成り立つ。
周期法則.
周期函数 の周期が に対し、
が成り立つ。また が函数 の反周期、即ち のとき、
が成り立つ。
ラプラス和公式.
ただし、
はである。
ニュートンの公式.
ただし
は下降階乗冪である。
ファウルハーバーの公式.
ただし、右辺が存在する場合に限る。
ミューラーの公式.
formula_21 のとき
が成り立つ。
例.
以下、いくつかの函数の不定和分を記す。初等函数の不定和分でも必ずしも初等函数で書けないことに注意。