乗法的不定和分

数学における乗法的不定和分（じょうほうてきふていわぶん、英: indefinite product; 不定乗積）∏x は、不定積分の離散版である不定和分の乗法版で、乗法的差分 Q; Q ( f ( x ) ) = f ( x + 1 ) f ( x ) {\displaystyle Q(f(x))={\frac {f(x+1)}{f(x)}}} の逆演算である。これはまた乗法的積分の離散版であり、離散乗法的積分 (discrete multiplicative integration) と呼ぶものもある。 文献によっては、これと無関係ではないがやや異なる用法として、例えば ∏ k = 1 n f ( k ) {\displaystyle \prod _{k=1}^{n}f(k)} のような形の、上の限界となる数値を特に固定せずに考えた乗積に対して "indefinite product" の語を用いていることもあるので注意。 函数 f(x) の乗法的不定和分 F(x) := ∏x f(x) は、函数方程式 Q ( ∏ x f ( x ) ) = f ( x ) , {\displaystyle Q(\prod _{x}f(x))=f(x),} あるいはより明示的に F ( x + 1 ) F ( x ) = f ( x ) {\displaystyle {\frac {F(x+1)}{F(x)}}=f(x)} の解として定義される。与えられた f(x) に対して F(x) がこの函数方程式の解となるならば、任意定数 C に対する CF(x) もまたこの函数方程式の解になる。従って乗法的不定和分は実際には（互いに定数倍だけ異なる）函数の族を表しているものと理解される。 ∏ x f ( x ) g ( x ) = ∏ x f ( x ) ∏ x g ( x ) , {\displaystyle \prod _{x}f(x)g(x)=\prod _{x}f(x)\prod _{x}g(x),} ∏ x f ( x ) a = ( ∏ x f ( x ) ) a , {\displaystyle \prod _{x}f(x)^{a}=\left(\prod _{x}f(x)\right)^{a},} ∏ x a f ( x ) = a ∑ x f ( x ) . {\displaystyle \prod _{x}a^{f(x)}=a^{\sum _{x}f(x)}.} 周期函数 f(x) の周期 T に対して ∏ x f ( T x ) = C f ( T x ) x − 1 {\displaystyle \prod _{x}f(Tx)=Cf(Tx)^{x-1}} が成り立つ。 基本性質から明らかに、不定和分 ∑x の言葉を用いて ∏ x f ( x ) = exp ⁡ ( ∑ x ln ⁡ f ( x ) ) {\displaystyle \prod _{x}f(x)=\exp \left(\sum _{x}\ln f(x)\right)} と書くことができる。ここに exp は自然指数函数、ln は自然対数である。 幾つか基本的な函数に対する乗法的不定和分の例を挙げる。初等函数の乗法的不定和分が必ずしも初等函数とならないことに注意。以下、Γ(x) はガンマ函数とする。 ∏ x a = C a x , {\displaystyle \prod _{x}a=Ca^{x},} ∏ x x = C Γ ( x ) , {\displaystyle \prod _{x}x=C\Gamma (x),} ∏ x a x = C a x Γ ( x ) , {\displaystyle \prod _{x}ax=Ca^{x}\Gamma (x),} ∏ x x + 1 x = C x , {\displaystyle \prod _{x}{\frac {x+1}{x}}=Cx,} ∏ x x + a x = C Γ ( x + a ) Γ ( x ) , {\displaystyle \prod _{x}{\frac {x+a}{x}}={\frac {C\Gamma (x+a)}{\Gamma (x)}},} ∏ x x + a = C Γ ( x + a ) , {\displaystyle \prod _{x}x+a=C\Gamma (x+a),} ∏ x a x + b = C a x Γ ( x + b a ) , {\displaystyle \prod _{x}ax+b=Ca^{x}\Gamma \left(x+{\frac {b}{a}}\right),} ∏ x x 2 + 1 = C Γ ( x − i ) Γ ( x + i ) , {\displaystyle \prod _{x}x^{2}+1=C\Gamma (x-i)\Gamma (x+i),} ∏ x a x 2 + b x = C a x Γ ( x ) Γ ( x + b a ) , {\displaystyle \prod _{x}ax^{2}+bx=Ca^{x}\Gamma (x)\Gamma \left(x+{\frac {b}{a}}\right),} ∏ x x + 1 x = C Γ ( x − i ) Γ ( x + i ) Γ ( x ) , {\displaystyle \prod _{x}x+{\frac {1}{x}}={\frac {C\Gamma (x-i)\Gamma (x+i)}{\Gamma (x)}},} ∏ x x a = C Γ ( x ) a , {\displaystyle \prod _{x}x^{a}=C\Gamma (x)^{a},} ∏ x a x = C a x 2 ( x − 1 ) , {\displaystyle \prod _{x}a^{x}=Ca^{{\frac {x}{2}}(x-1)},} ∏ x a 1 x = C a Γ ′ ( x ) Γ ( x ) , {\displaystyle \prod _{x}a^{\frac {1}{x}}=Ca^{\frac {\Gamma '(x)}{\Gamma (x)}},} ∏ x x x = C e ζ ′ ( − 1 , x ) − ζ ′ ( − 1 ) = C e ψ ( − 2 ) ( z ) + z 2 − z 2 − z 2 ln ⁡ ( 2 π ) = C K ⁡ ( x ) . {\displaystyle \prod _{x}x^{x}=Ce^{\zeta ^{\prime }(-1,x)-\zeta ^{\prime }(-1)}=Ce^{\psi ^{(-2)}(z)+{\frac {z^{2}-z}{2}}-{\frac {z}{2}}\ln(2\pi )}=C\operatorname {\mathit {K}} (x).} (ただし、K(x) はK函数である) ∏ x Γ ( x ) = C Γ ( x ) x − 1 K ⁡ ( x ) = C Γ ( x ) x − 1 e z 2 ln ⁡ ( 2 π ) − z 2 − z 2 − ψ ( − 2 ) ( z ) = C G ⁡ ( x ) , {\displaystyle \prod _{x}\Gamma (x)={\frac {C\Gamma (x)^{x-1}}{\operatorname {\mathit {K}} (x)}}=C\Gamma (x)^{x-1}e^{{\frac {z}{2}}\ln(2\pi )-{\frac {z^{2}-z}{2}}-\psi ^{(-2)}(z)}=C\operatorname {\mathit {G}} (x),} (ただし、G(x) はバーンズのG函数である) ∏ x sexp a ⁡ ( x ) = C ( sexp a ⁡ ( x ) ) ′ sexp a ⁡ ( x ) ( ln ⁡ a ) x . {\displaystyle \prod _{x}\operatorname {sexp} _{a}(x)={\frac {C(\operatorname {sexp} _{a}(x))'}{\operatorname {sexp} _{a}(x)(\ln a)^{x}}}.} (ただし、sexp は超指数函数である) ∏ x csc ⁡ x sin ⁡ ( x + 1 ) = C sin ⁡ x , {\displaystyle \prod _{x}\csc x\sin(x+1)=C\sin x,} ∏ x sec ⁡ x cos ⁡ ( x + 1 ) = C cos ⁡ x , {\displaystyle \prod _{x}\sec x\cos(x+1)=C\cos x,} ∏ x cot ⁡ x tan ⁡ ( x + 1 ) = C tan ⁡ x , {\displaystyle \prod _{x}\cot x\tan(x+1)=C\tan x,} ∏ x tan ⁡ x cot ⁡ ( x + 1 ) = C cot ⁡ x . {\displaystyle \prod _{x}\tan x\cot(x+1)=C\cot x.} 不定和分 乗法的積分 乗法的微分積分学（英語版） 異種微分積分学における導函数と積分函数の一覧