数学における不定和分(ふていわぶん、英: indefinite sum)∑x または逆差分(ぎゃくさぶん、英: antidifference; 反差分)Δ−1 [1][2][3] は、微分に対する不定積分(反微分)の離散版で、前進差分 Δ の逆演算となる線型作用素である。[注 1]
文献によっては "indefinite sum" の語を、例えば
![{\displaystyle \sum _{k=1}^{n}f(k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89a071fa7df29c71d7467e3b3dd459081d294ee5)
のような和において、上の限界となる値 (この例では n) をとくに固定せずに考える場合を指すのに用いることもある。この場合、この和を表す閉じた式 F(n) は函数方程式(畳み込み方程式)
![{\displaystyle F(x+1)-F(x)=f(x+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0b38126b64cb3c5bad9bb3d7116cb68ed2ba095)
の解[4]であり、これは後退差分作用素 ∇ の逆である。この後退和分作用素と先の(前進)和分作用素との間には後述の和分差分学の基本定理を通じて関係がある。
定義
与えられた函数 f(x) に対し F(x) := ∑x f(x) が f(x) の不定和分であるとは、F(x) が函数方程式
![{\displaystyle \Delta \sum _{x}f(x)=f(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cd66f61b0f93564c1ae3a42855d2038c2d0e4f1)
つまりより直接的に述べれば
![{\displaystyle F(x+1)-F(x)=f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d5133ea116dad0c26ed81175f14a549f9242219)
の解であることを総称して言う。函数 F(x) が与えられた f(x) に対するこの函数方程式の解ならば、周期 1 を持つ任意の周期函数 C(x) に対して f(x) + C(x) もまた同方程式の解である[注 2]から、各不定和分とは実際にはそのような(互いに周期 1 函数だけ異なる)函数の族を表すものと理解される。ただし、解のうちで自身のニュートン級数(英語版)展開と一致するようなものは任意定数 C (和分定数)を加える違いを除いて一意に定まる。
注意
和分定数 C の選び方について、
![{\displaystyle F(x)=\sum _{x}f(x)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0deda6a6fa4324fbc682482e62510245caa8c47e)
と置くとき、
![{\displaystyle \int _{0}^{1}F(x)dx=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b935d28dcc79ed231b1b941877cc3f07527adf9)
あるいは
![{\displaystyle \int _{1}^{2}F(x)dx=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2689d6353b3e7af6d5dc9608ae8a7a32b28c317)
を満たすように C を固定することがしばしばある。ラマヌジャン和を用いて書けば、それぞれ
![{\displaystyle \sum _{x\geq 1}^{\Re }f(x)=-f(0)-F(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9a1dcb27f63b109dae35714dc64add00b360705)
あるいは
![{\displaystyle \sum _{x\geq 1}^{\Re }f(x)=-F(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48c1c7c5898a76d3304fe46b819dca27524a436f)
である[5][6]。
性質
和分差分学の基本定理
微分積分学の基本定理の離散版として、不定和分を用いて定和分の計算ができる[7]。即ち
![{\displaystyle \sum _{k=a}^{b}f(k)=\Delta ^{-1}f(b+1)-\Delta ^{-1}f(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf851a6acd5515931c322c275b27dff83578c17)
が成り立つ。
部分和分法
部分積分法の離散版として、以下のように部分和分の公式が成り立つ。
- 不定和分に関する部分和分
![{\displaystyle \sum _{x}f(x)\Delta g(x)=f(x)g(x)-\sum _{x}(g(x)+\Delta g(x))\Delta f(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca88a58a66948ce39f91f8db6bb3ec3a30f1553)
![{\displaystyle \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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccd6e19f363ec328702b73d2cf49a69b589dca8e)
- 定和分に関する部分和分
![{\displaystyle \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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a8221e76161e5b83171e3f1f13e95be7dbbee6c)
周期法則
周期函数 f(x) の周期が T に対し、
![{\displaystyle \sum _{x}f(Tx)=xf(Tx)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af9d9ed55b94ee534e369385cd77981d7facb070)
が成り立つ。また T が函数 f(x) の反周期、即ち f(x + T) = −f(x) のとき、
![{\displaystyle \sum _{x}f(Tx)=-{\frac {1}{2}}f(Tx)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/484b172257d17f59e3b6785c0dc335b15a2715aa)
が成り立つ。
ラプラス和公式
![{\displaystyle \sum _{x}f(x)=\int _{0}^{x}f(t)dt+\sum _{k=1}^{\infty }{\frac {c_{k}\Delta ^{k-1}f(x)}{k!}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b45e6bb182de9152ce5e9c8051d4844014526b81)
ただし、
![{\displaystyle c_{k}=\int _{0}^{1}{\frac {\Gamma (x+1)}{\Gamma (x-k+1)}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cee9013f3dffc4fdc60ff899b1ae7ba5e07b16b0)
は第二種ベルヌイ数(英語版)[8]である。
ニュートンの公式
![{\displaystyle \sum _{x}f(x)=-\sum _{k=1}^{\infty }{\frac {\Delta ^{k-1}f(x)}{k!}}(-x)_{k}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0504dba780de4c18c2be0ce299bfd94e6e6822b)
ただし
![{\displaystyle (x)_{k}={\frac {\Gamma (x+1)}{\Gamma (x-k+1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c6d59390dc0ed246775ef031d57657228e721c)
は下降階乗冪である。
ファウルハーバーの公式
![{\displaystyle \sum _{x}f(x)=\sum _{n=1}^{\infty }{\frac {f^{(n-1)}(0)}{n!}}B_{n}(x)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a27e93b5dbcf338ef5fb65c818258238275632e)
ただし、右辺が存在する場合に限る。
ミューラーの公式
のとき
![{\displaystyle \sum _{x}f(x)=\sum _{n=0}^{\infty }(f(n)-f(n+x))+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08aacc3cc81b8cba310148a012b92ac0b8459cd1)
が成り立つ[9]。
オイラー・マクローリンの公式
![{\displaystyle \sum _{x}f(x)=\int _{0}^{x}f(t)dt-{\frac {1}{2}}f(x)+\sum _{k=1}^{\infty }{\frac {B_{2k}}{(2k)!}}f^{(2k-1)}(x)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6686f4e6c2ce50f833b19efa9f1e4e5bf5a3298)
例
以下、いくつかの函数の不定和分を記す。初等函数の不定和分でも必ずしも初等函数で書けないことに注意。
初等函数
![{\displaystyle \sum _{x}a=ax+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/246117c02c9a3f3f30e19b170ef5bb5231cab0da)
![{\displaystyle \sum _{x}x={\frac {x^{2}}{2}}-{\frac {x}{2}}+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b87dba5b5fc8a6e3407e99eb3ffacf986ca55fb3)
- ただし、Ba(x) = −aζ(−a+1,x) は次数を実数に一般化したベルヌイ多項式.
- ただし、ψ(n)(x) はポリガンマ函数.
- ただし、ψ(x) はディガンマ函数.
- 特に
![{\displaystyle \sum _{x}2^{x}=2^{x}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb6510142b7293595c80889f37f24b20960c503c)
![{\displaystyle \sum _{x}\log _{b}x=\log _{b}\Gamma (x)+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fa705df9e8ad21583aaf1fd78c37bb1e3e52b89)
![{\displaystyle \sum _{x}\log _{b}ax=\log _{b}(a^{x-1}\Gamma (x))+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5869633cf7de8137f86c7cc16528512a85e5a95e)
三角函数・双曲線函数
![{\displaystyle \sum _{x}\sinh ax={\frac {1}{2}}\operatorname {csch} \left({\frac {a}{2}}\right)\cosh \left({\frac {a}{2}}-ax\right)+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c229db50248446d687e6f50ae584cacef8b909e)
![{\displaystyle \sum _{x}\cosh ax={\frac {1}{2}}\coth \left({\frac {a}{2}}\right)\sinh ax-{\frac {1}{2}}\cosh ax+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4ff5c0a409ce95c17dfcf9160ef777ca5e33bad)
- ただし、ψq(x) は q-ディガンマ函数.
![{\displaystyle \sum _{x}\sin ax=-{\frac {1}{2}}\csc \left({\frac {a}{2}}\right)\cos \left({\frac {a}{2}}-ax\right)+C\quad (a\neq n\pi ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a843b81cfcf42834820505a2532efe8882e25dd)
![{\displaystyle \sum _{x}\cos ax={\frac {1}{2}}\cot \left({\frac {a}{2}}\right)\sin ax-{\frac {1}{2}}\cos ax+C\quad (a\neq n\pi ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22f7229bc890cc263805b73dfdcf2d43d0444caa)
![{\displaystyle \sum _{x}\sin ^{2}ax={\frac {x}{2}}+{\frac {1}{4}}\csc(a)\sin(a-2ax)+C\quad (a\neq {\frac {n\pi }{2}}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d407c4a0a657234a4968b43bffc0bf47e3db44c)
![{\displaystyle \sum _{x}\cos ^{2}ax={\frac {x}{2}}-{\frac {1}{4}}\csc(a)\sin(a-2ax)+C\quad (a\neq {\frac {n\pi }{2}}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34878caa847d3188a9c3ce86336bbe4f8d3d0aea)
- ただし、ψq(x) は q-ディガンマ函数.
![{\displaystyle {\begin{aligned}\sum _{x}\tan x&=ix-\psi _{e^{2i}}\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{aligned}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c12508acd8f29e280689c37b0306885cd314f2e)
![{\displaystyle \sum _{x}\cot ax=-ix-{\frac {i\psi _{e^{2ia}}(x)}{a}}+C\quad (a\neq {\frac {n\pi }{2}}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7666b7b70edb9fb6de1f4ba05f1a1aec5d28150b)
![{\displaystyle \sum _{x}\operatorname {artanh} \,ax={\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,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2a6974393711c5b8a3314bf1346aedda9209eaa)
![{\displaystyle \sum _{x}\arctan ax={\frac {i}{2}}\ln \left({\frac {(-1)^{x}\Gamma ({\frac {-i}{a}})\Gamma (x+{\frac {i}{a}})}{\Gamma ({\frac {i}{a}})\Gamma (x-{\frac {i}{a}})}}\right)+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e867684395e3c2fffb89a0b874ceb4dfa195019)
特殊函数
![{\displaystyle \sum _{x}\psi (x)=(x-1)\psi (x)-x+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/825078946b45fb84f16a8c625276f9ef176b1125)
- ただし、Γ(s,x) は不完全ガンマ函数.
- ただし、(x)a は下降階乗冪.
![{\displaystyle \sum _{x}\operatorname {sexp} _{a}(x)=\ln _{a}{\frac {(\operatorname {sexp} _{a}(x))'}{(\ln a)^{x}}}+C.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dead993aa65a8eba6dcaed0a2d29558b0c0e946)
- (ただし、sexp は超指数函数(英語版))
関連項目
注
- ^ 一つのパラメータ h を導入して、歩み h の差分 Δh f(x) := f(x + h) − f(x) あるいは差分商 Δhf(x)⁄Δhx = f(x+h)−f(x)⁄h の逆演算として、歩み h の不定和分 ∑f(x)Δhx を考えることもある。h = 1 が本項における場合であり、また h→0 の極限で Δhf(x)⁄Δhx → df(x)⁄dx は微分商、∑f(x)Δhx → ∫f(x)dx は不定積分となる。
- ^ 従って特に、函数 f(x) として定義域が整数全体となるようなもの、即ち数列 (an) を取るならば、周期 1 の周期函数とは定数列に他ならない。
参考文献
- ^ Indefinite Sum - PlanetMath.(英語)
- ^ On Computing Closed Forms for Indefinite Summations. Yiu-Kwong Man. J. Symbolic Computation (1993), 16, 355-376
- ^ "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
- ^ Algorithms for Nonlinear Higher Order Difference Equations, Manuel Kauers
- ^ 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.
- ^ Éric Delabaere, Ramanujan's Summation, Algorithms Seminar 2001–2002, F. Chyzak (ed.), INRIA, (2003), pp. 83–88.
- ^ "Handbook of discrete and combinatorial mathematics", Kenneth H. Rosen, John G. Michaels, CRC Press, 1999, ISBN 0-8493-0149-1
- ^ Bernoulli numbers of the second kind on Mathworld
- ^ 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)
関連文献
- "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