数学における不定和分(ふていわぶん、: indefinite sumx または逆差分(ぎゃくさぶん、: antidifference; 反差分)Δ−1 [1][2][3] は、微分に対する不定積分(反微分)の離散版で、前進差分 Δ の逆演算となる線型作用素である。[注 1]

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

のような和において、上の限界となる値 (この例では n) をとくに固定せずに考える場合を指すのに用いることもある。この場合、この和を表す閉じた式 F(n) は函数方程式(畳み込み方程式

の解[4]であり、これは後退差分作用素 の逆である。この後退和分作用素と先の(前進)和分作用素との間には後述の和分差分学の基本定理を通じて関係がある。

定義

編集

与えられた函数 f(x) に対し F(x) := ∑xf(x)f(x)不定和分であるとは、F(x)函数方程式

 

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

 

の解であることを総称して言う。函数 F(x) が与えられた f(x) に対するこの函数方程式の解ならば、周期 1 を持つ任意の周期函数 C(x) に対して f(x) + C(x) もまた同方程式の解である[注 2]から、各不定和分とは実際にはそのような(互いに周期 1 函数だけ異なる)函数の族を表すものと理解される。ただし、解のうちで自身のニュートン級数英語版展開と一致するようなものは任意定数 C (和分定数)を加える違いを除いて一意に定まる。

注意

編集

和分定数 C の選び方について、

 

と置くとき、

 

あるいは

 

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

 

あるいは

 

である[5][6]

性質

編集

和分差分学の基本定理

編集

微分積分学の基本定理の離散版として、不定和分を用いて定和分の計算ができる[7]。即ち

 

が成り立つ。

部分和分法

編集

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

不定和分に関する部分和分
 
 
定和分に関する部分和分
 

周期法則

編集

周期函数 f(x) の周期が T に対し、

 

が成り立つ。また T が函数 f(x) の反周期、即ち f(x + T) = −f(x) のとき、

 

が成り立つ。

ラプラス和公式

編集
 

ただし、

 

第二種ベルヌイ数英語版[8]である。

ニュートンの公式

編集
 

ただし

 

下降階乗冪である。

ファウルハーバーの公式

編集
 

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

ミューラーの公式

編集

  のとき

 

が成り立つ[9]

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

編集
 

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

初等函数

編集
  •  
  •  
  •  
    ただし、Ba(x) = −aζ(−a+1,x) は次数を実数に一般化したベルヌイ多項式.
  •  
    ただし、ψ(n)(x)ポリガンマ函数.
  •  
    ただし、ψ(x)ディガンマ函数.
  •  
    特に  
  •  
  •  

三角函数・双曲線函数

編集
  •  
  •  
  •  
    ただし、ψq(x) q-ディガンマ函数.
  •  
  •  
  •  
  •  
  •  
    ただし、ψq(x) q-ディガンマ函数.
  •  
  •  
  •  
  •  

特殊函数

編集
  •  
  •  
    ただし、Γ(s,x)不完全ガンマ函数.
  •  
    ただし、(x)a下降階乗冪.
  •  
(ただし、sexp超指数函数英語版)

関連項目

編集
  1. ^ 一つのパラメータ h を導入して、歩み h の差分 Δhf(x) := f(x + h) − f(x) あるいは差分商 Δhf(x)Δhx = f(x+h)−f(x)h の逆演算として、歩み h の不定和分 f(xhx を考えることもある。h = 1 が本項における場合であり、また h→0 の極限で Δhf(x)Δhxdf(x)dx は微分商、f(xhx → ∫f(x)dx は不定積分となる。
  2. ^ 従って特に、函数 f(x) として定義域が整数全体となるようなもの、即ち数列 (an) を取るならば、周期 1 の周期函数とは定数列に他ならない。

参考文献

編集
  1. ^ Indefinite Sum - PlanetMath.(英語)
  2. ^ On Computing Closed Forms for Indefinite Summations. Yiu-Kwong Man. J. Symbolic Computation (1993), 16, 355-376
  3. ^ "If Y is a function whose first difference is the function y, then Y is called an indefinite sum of y and denoted Δ−1y" Introduction to Difference Equations, Samuel Goldberg
  4. ^ Algorithms for Nonlinear Higher Order Difference Equations, Manuel Kauers
  5. ^ Bruce C. Berndt, Ramanujan's Notebooks Archived 2006年10月12日, at the Wayback Machine., Ramanujan's Theory of Divergent Series, Chapter 6, Springer-Verlag (ed.), (1939), pp. 133–149.
  6. ^ Éric Delabaere, Ramanujan's Summation, Algorithms Seminar 2001–2002, F. Chyzak (ed.), INRIA, (2003), pp. 83–88.
  7. ^ "Handbook of discrete and combinatorial mathematics", Kenneth H. Rosen, John G. Michaels, CRC Press, 1999, ISBN 0-8493-0149-1
  8. ^ Bernoulli numbers of the second kind on Mathworld
  9. ^ Markus Müller. How to Add a Non-Integer Number of Terms, and How to Produce Unusual Infinite Summations (note that he uses a slightly alternative definition of fractional sum in his work, i.e. inverse to backwards difference, hence 1 as the lower limit in his formula)

関連文献

編集