熊駿

(長江大學(xué)信息與數(shù)學(xué)學(xué)院，湖北 荊州 434023)

1 歐拉積分的余元公式

歐拉積分是《數(shù)學(xué)分析》[1～3]中含參量反常積分中的一種，包括伽馬函數(shù)與貝塔函數(shù)，其表達(dá)式分別為:

通過變量代換可得到貝塔函數(shù)的另外2種表達(dá)式:

歐拉積分都在定義域內(nèi)內(nèi)閉一致收斂，具有很好的性質(zhì)，如在定義域內(nèi)連續(xù)、可導(dǎo)等。由變量代換及分部積分法可以得到它們的性質(zhì)及遞推公式：

Γ(s+1)=sΓ(s) (s>0)

Γ(1)=1Γ(n+1)=n!

Β(p,q)=Β(q,p) (p>0,q>0)

伽馬函數(shù)與貝塔函數(shù)的關(guān)系式如下：

歐拉積分的余元公式[4]為：

下面，筆者結(jié)合冪級數(shù)與傅里葉級數(shù)及復(fù)變函數(shù)中的留數(shù)給出余元公式的2種證明。

2 余元公式的證明

2.1 第1種證明

由：

當(dāng)0

從而：

即：

(1)

下面考慮將cosπx在[-α,α]上進(jìn)行傅里葉級數(shù)展開，首先將其周期延拓為周期為2α的周期函數(shù)。又cosπx在[-α,α]為偶函數(shù)，其傅里葉級數(shù)為余弦級數(shù)，且傅里葉系數(shù)為：

由傅里葉級數(shù)的收斂定理有：

特別地，取x=0得到：

化簡得：

(2)

比較式(1)和式(2)可得余元公式：

2.2 第2種證明

由：

(3)

而：

且：

由式(3)，令R→+∞，ε→0得：

即：

3 余元公式的應(yīng)用

于是：

由余元公式有：

注:n=4,m=1時(shí)即為例1。

解這是含有瑕點(diǎn)a,b的反常積分，由于：

由柯西判別法知,該反常積分收斂。

令x=a+t(b-a),則dx=(b-a)dt,當(dāng)x=a時(shí)t=0,當(dāng)x=b時(shí)t=1。于是：

4 結(jié)語

余元公式是歐拉積分的一個(gè)重要公式,其證明還有許多方法，其應(yīng)用也非常廣泛。由于伽馬函數(shù)可以延拓,因此還可以研究更一般情況下的余元公式。