我们有
B年代pan>(年代pan>x年代pan>,年代pan>y年代pan>)年代pan>=年代pan>γ.年代pan>(年代pan>x年代pan>+年代pan>y年代pan>)年代pan>γ.年代pan>(年代pan>x年代pan>)年代pan>γ.年代pan>(年代pan>y年代pan>)年代pan>.年代pan>
为正整数<年代pan class="katex">
x年代pan>和<年代pan class="katex">
y年代pan>,我们可以定义测试功能
B年代pan>(年代pan>x年代pan>,年代pan>y年代pan>)年代pan>=年代pan>(年代pan>x年代pan>+年代pan>y年代pan>−年代pan>1年代pan>)年代pan>!年代pan>(年代pan>x年代pan>−年代pan>1年代pan>)年代pan>!年代pan>(年代pan>y年代pan>−年代pan>1年代pan>)年代pan>!年代pan>.年代pan>
回想伽马函数的定义
γ.年代pan>(年代pan>年代年代pan>)年代pan>=年代pan>∫年代pan>0年代pan>∞年代pan>x年代pan>年代年代pan>−年代pan>1年代pan>e年代pan>−年代pan>x年代pan>d年代pan>x年代pan>.年代pan>
现在可以写字了
γ.年代pan>(年代pan>米年代pan>)年代pan>γ.年代pan>(年代pan>n年代pan>)年代pan>=年代pan>∫年代pan>0年代pan>∞年代pan>x年代pan>米年代pan>−年代pan>1年代pan>e年代pan>−年代pan>x年代pan>d年代pan>x年代pan>∫年代pan>0年代pan>∞年代pan>y年代pan>n年代pan>−年代pan>1年代pan>e年代pan>−年代pan>y年代pan>d年代pan>y年代pan>.年代pan>
然后我们可以把它写成二重积分:
γ.年代pan>(年代pan>米年代pan>)年代pan>γ.年代pan>(年代pan>n年代pan>)年代pan>=年代pan>∫年代pan>0年代pan>∞年代pan>∫年代pan>0年代pan>∞年代pan>x年代pan>米年代pan>−年代pan>1年代pan>y年代pan>n年代pan>−年代pan>1年代pan>e年代pan>−年代pan>(年代pan>x年代pan>+年代pan>y年代pan>)年代pan>d年代pan>x年代pan>d年代pan>y年代pan>.年代pan>
应用替换<年代pan class="katex">
x年代pan>=年代pan>v年代pan>t年代pan>和<年代pan class="katex">
y年代pan>=年代pan>v年代pan>(年代pan>1年代pan>−年代pan>t年代pan>)年代pan>,年代pan>我们有
γ.年代pan>(年代pan>米年代pan>)年代pan>γ.年代pan>(年代pan>n年代pan>)年代pan>=年代pan>∫年代pan>0年代pan>1年代pan>t年代pan>米年代pan>−年代pan>1年代pan>(年代pan>1年代pan>−年代pan>t年代pan>)年代pan>n年代pan>−年代pan>1年代pan>d年代pan>t年代pan>∫年代pan>0年代pan>∞年代pan>v年代pan>米年代pan>+年代pan>n年代pan>−年代pan>1年代pan>e年代pan>−年代pan>v年代pan>d年代pan>v年代pan>.年代pan>
利用函数和函数的定义,我们有
γ.年代pan>(年代pan>米年代pan>)年代pan>γ.年代pan>(年代pan>n年代pan>)年代pan>=年代pan>B年代pan>(年代pan>米年代pan>,年代pan>n年代pan>)年代pan>γ.年代pan>(年代pan>米年代pan>+年代pan>n年代pan>)年代pan>.年代pan>
因此证明。<年代pan class="katex">
□年代pan>
计算<年代pan class="katex">
B年代pan>(年代pan>5年代pan>,年代pan>7年代pan>)年代pan>.年代pan>
如果我们通过测试函数来计算的定义<年代pan class="katex">
B年代pan>(年代pan>5年代pan>,年代pan>7年代pan>)年代pan>,我们要解下面的积分
B年代pan>(年代pan>5年代pan>,年代pan>7年代pan>)年代pan>=年代pan>∫年代pan>0年代pan>1年代pan>t年代pan>4年代pan>(年代pan>1年代pan>−年代pan>t年代pan>)年代pan>6年代pan>d年代pan>t年代pan>,年代pan>
这是一个非常繁琐的工作。下面是当伽玛功能测试功能的关系就派上用场了:
B年代pan>(年代pan>5年代pan>,年代pan>7年代pan>)年代pan>=年代pan>1年代pan>1年代pan>!年代pan>4年代pan>!年代pan>6年代pan>!年代pan>=年代pan>1年代pan>1年代pan>×年代pan>1年代pan>0年代pan>×年代pan>⋯年代pan>×年代pan>7年代pan>4年代pan>!年代pan>=年代pan>2年代pan>3.年代pan>1年代pan>0年代pan>1年代pan>.年代pan>□年代pan>