4

二重ベータ積分の公式

116
0
$$\newcommand{bk}[0]{\boldsymbol{k}} \newcommand{bl}[0]{\boldsymbol{l}} \newcommand{BQ}[5]{{}_{#1}\psi_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{calA}[0]{\mathcal{A}} \newcommand{calS}[0]{\mathcal{S}} \newcommand{CC}[0]{\mathbb{C}} \newcommand{F}[5]{{}_{#1}F_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{inv}[0]{\mathrm{inv}} \newcommand{maj}[0]{\mathrm{maj}} \newcommand{ol}[0]{\overline} \newcommand{Q}[5]{{}_{#1}\phi_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{QQ}[0]{\mathbb{Q}} \newcommand{ZZ}[0]{\mathbb{Z}} $$

ベータ積分は
\begin{align} \int_0^1t^{a-1}(1-t)^{b-1}\,dt=\frac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)} \end{align}
とガンマ関数で表すことができる. その二重類似として,
\begin{align} \int_{0< s< t<1}s^{a-1}(1-s)^{b-1}t^{c-1}(1-t)^{d-1}\,dsdt \end{align}
という積分を考えると, これは一般にはガンマ関数では表せないようである. しかし, 次のような場合にはガンマ関数で表すことができる.

$a+b+c+d=1$のとき,
\begin{align} \int_{0< s< t<1}s^{a-1}(1-s)^{b-1}t^{c-1}(1-t)^{d-1}\,dsdt&=\frac{\Gamma(a)\Gamma(d)\Gamma(a+c)\Gamma(b+d)}{\Gamma(1-b)\Gamma(1-c)} \end{align}

$s$の方から展開すると,
\begin{align} \int_{0< s< t<1}s^{a-1}(1-s)^{b-1}t^{c-1}(1-t)^{d-1}\,dsdt&=\int_{0< s< t<1}\sum_{0\leq n}\frac{(1-b)_n}{n!}s^{n+a-1}t^{c-1}(1-t)^{d-1}\,dsdt\\ &=\int_{0< t<1}\sum_{0\leq n}\frac{(1-b)_n}{n!(n+a)}t^{n+a+c-1}(1-t)^{d-1}\,dt\\ &=\frac{\Gamma(a+c)\Gamma(d)}{\Gamma(a+c+d)}\sum_{0\leq n}\frac{(1-b)_n(a+c)_n}{n!(n+a)(a+c+d)_n}\\ &=\frac{\Gamma(a+c)\Gamma(d)}{\Gamma(1-b)}\sum_{0\leq n}\frac{(a+c)_n}{n!(n+a)}\\ &=\frac{\Gamma(a+c)\Gamma(d)}{\Gamma(1-b)}\int_0^1t^{a-1}(1-t)^{-a-c}\,dt\\ &=\frac{\Gamma(a+c)\Gamma(d)}{\Gamma(1-b)}\frac{\Gamma(a)\Gamma(1-a-c)}{\Gamma(1-c)}\\ &=\frac{\Gamma(a)\Gamma(d)\Gamma(a+c)\Gamma(b+d)}{\Gamma(1-b)\Gamma(1-c)} \end{align}

これはかなり綺麗な公式であり, 様々な応用が考えられそうである. 上の証明から$a+b+c+d=1$の条件がない場合も
\begin{align} \int_{0< s< t<1}s^{a-1}(1-s)^{b-1}t^{c-1}(1-t)^{d-1}\,dsdt&=\frac{\Gamma(a+c)\Gamma(d)}{\Gamma(a+c+d)}\sum_{0\leq n}\frac{(1-b)_n(a+c)_n}{n!(n+a)(a+c+d)_n}\\ \end{align}
は成り立つことが分かる. これらの間の関係式を考えるというのも面白そうな問題かもしれない.

投稿日:7日前
更新日:7日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Wataru
Wataru
683
46756
超幾何関数, 直交関数, 多重ゼータ値などに興味があります

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中