5

二重ベータ積分の公式

161
0

ベータ積分は
01ta1(1t)b1dt=Γ(a)Γ(b)Γ(a+b)
とガンマ関数で表すことができる. その二重類似として,
0<s<t<1sa1(1s)b1tc1(1t)d1dsdt
という積分を考えると, これは一般にはガンマ関数では表せないようである. しかし, 次のような場合にはガンマ関数で表すことができる.

a+b+c+d=1のとき,
0<s<t<1sa1(1s)b1tc1(1t)d1dsdt=Γ(a)Γ(d)Γ(a+c)Γ(b+d)Γ(1b)Γ(1c)

sの方から展開すると,
0<s<t<1sa1(1s)b1tc1(1t)d1dsdt=0<s<t<10n(1b)nn!sn+a1tc1(1t)d1dsdt=0<t<10n(1b)nn!(n+a)tn+a+c1(1t)d1dt=Γ(a+c)Γ(d)Γ(a+c+d)0n(1b)n(a+c)nn!(n+a)(a+c+d)n=Γ(a+c)Γ(d)Γ(1b)0n(a+c)nn!(n+a)=Γ(a+c)Γ(d)Γ(1b)01ta1(1t)acdt=Γ(a+c)Γ(d)Γ(1b)Γ(a)Γ(1ac)Γ(1c)=Γ(a)Γ(d)Γ(a+c)Γ(b+d)Γ(1b)Γ(1c)

これはかなり綺麗な公式であり, 様々な応用が考えられそうである. 上の証明からa+b+c+d=1の条件がない場合も
0<s<t<1sa1(1s)b1tc1(1t)d1dsdt=Γ(a+c)Γ(d)Γ(a+c+d)0n(1b)n(a+c)nn!(n+a)(a+c+d)n
は成り立つことが分かる. これらの間の関係式を考えるというのも面白そうな問題かもしれない.

投稿日:414
更新日:414
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

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

コメント

他の人のコメント

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