楊 萍 萍

(湖州市體育運動學(xué)校 理科教研組， 浙江 湖州 313000)

一、研究背景

設(shè)r∈(0,1),第一類和第二類完全橢圓積分κ(r)和ε(r)分別定義為：

且滿足:

κ(0+)=ε(0+)=π/2,κ(1-)=+∞,ε(1-1)=1,

函數(shù)κ(r)和ε(r)可表示為：

其中,Gauss超幾何函數(shù)定義為：

且當(dāng)a≠0時,(a)0=1;當(dāng)n∈≡{k:k是正整數(shù)}時,(a)n=a(a+1)(a+2)…(a+n-1)=Γ(a+n)/Γ(a)為移位階乘函數(shù),Γ(x)=e-ttx-1dt(x>0)是經(jīng)典Gamma函數(shù).

近年來，第二類完全橢圓積分ε(r)的確界引起了國內(nèi)外許多數(shù)學(xué)學(xué)者的關(guān)注,得到了許多特殊情形的關(guān)于ε(r)的重要不等式.例如:有人證明了λ=3/2和μ=log2/log(π/2)=1.534 9L，是使得雙向不等式

對所有r∈(0,1)成立的最佳參數(shù)[2]693-699[3]289-312.

Wallis比定義為[4]1-11 [5]303-307:

且滿足:

(1)

第二類完全橢圓積分ε(r)應(yīng)用Wallis比Wn可以寫成：

(2)

設(shè)x,y>0且x≠y,則調(diào)和平均H(x,y)，幾何平均G(x,y)，算術(shù)平均A(x,y)，正弦平均Msin(x,y)，雙曲正切平均Mtanh(x,y)和涉及第二類完全橢圓積分ε(r)的積分平均V(x,y)分別定義為[6]1 071-1 092：

(3)

(4)

(5)

(6)

且不等式

H(x,y)

(7)

和

A(x,y)

(8)

對所有x,y>0且x≠y成立.

Anderson，Vuorinen等證明了函數(shù)r→ε(r)/(1-r2)在區(qū)間(0,1)內(nèi)是嚴(yán)格單調(diào)上升的且值域為(π/2,∞).由等式(6)可得

H(x,y)

(9)

對所有x,y>0且x≠y成立[1]54.

由不等式(7)～(9)可得

H(x,y)

(10)

對所有x,y>0且x≠y成立.

根據(jù)不等式(10),本文將證明存在最佳參數(shù)α1,α2,β1,β2∈，使得雙向不等式

和

對所有x,y>0且x≠y成立.

二、引 理

為證明本文主要結(jié)果,需要以下引理：

引理1對-∞

也在(a,b)內(nèi)單調(diào)上升(下降);如果f′(x)/g′(x)的單調(diào)性是嚴(yán)格的,則結(jié)論中的單調(diào)性也是嚴(yán)格的[1]10.

引理3函數(shù)

在區(qū)間(0,1)內(nèi)是嚴(yán)格單調(diào)上升的，且值域為(π/4,∞)[1]70.

引理4函數(shù)

在區(qū)間(0,1)內(nèi)是嚴(yán)格單調(diào)上升的，且值域為(3/14,1-2/π).

證明：設(shè)f1(r)=1-2ε(r)/π,f2(r)=1-r′2sin(r)/r.簡單計算可得：

(10)

(11)

其中，

設(shè)φ1(r)=r2sin(r)-rr′2cos(r)+sin(r)，φ2(r)=r3，φ3(r)=(2+r′2)sin(r)+4rcos(r)和φ4(r)=3r.簡單計算可得

(12)

(13)

(14)

(15)

對所有r∈(0,1)成立.

(16)

引理5函數(shù)

在區(qū)間(0,1)內(nèi)嚴(yán)格單調(diào)上升且值域為(3/16,1-2/π).

證明：函數(shù)g(r)可寫成：

g(r)=cosh(r)γ(r)，

(17)

其中，

根據(jù)式(1)，式(2)和冪級數(shù)展開式有：

(18)

(19)

設(shè)

(20)

由等式(18)～(20)，使得

(21)

(22)

對所有n≥0成立.

由不等式(22)和引理2可以清楚地看到函數(shù)γ(r)在區(qū)間(0,1)內(nèi)是單調(diào)上升的,這樣等式(17)和函數(shù)cosh(r)協(xié)同γ(r)的單調(diào)性導(dǎo)致的結(jié)論是，函數(shù)g(r)在區(qū)間(0,1)內(nèi)是嚴(yán)格單調(diào)上升的.注意到：

(23)

所以,引理5容易從等式(23)和函數(shù)g(r)的單調(diào)性得到.

三、主要結(jié)果

定理1雙向不等式

對所有x,y>0且x≠y當(dāng)且僅當(dāng)α1≤2/π，β1≥11/14時成立.

證明：根據(jù)H(x,y),Msin(x,y)和V(x,y)是對稱的且一階齊次.不失一般性,我們假設(shè)x>y>0.設(shè)r=(x-y)/(x+y)∈(0,1).則由等式(3)，(4)和(6)，使得

(24)

其中,f(r)定義在引理4.

所以,定理1容易從引理4和等式(24)得到.

定理2雙向不等式

對所有x,y>0且x≠y當(dāng)且僅當(dāng)α2≤2/π和β2≥13/16時成立.

證明：根據(jù)H(x,y),Msinh(x,y)和V(x,y)是對稱的且一階齊次.不失一般性,假設(shè)x>y>0.設(shè)r=(x-y)/(x+y)∈(0,1).則由等式(3)，(5)和(6)，使得

(25)

其中，g(r)定義在引理5.

所以,定理2容易由引理5和等式(25)得到.

根據(jù)定理1和定理2，可得到第二類完全橢圓積分ε(r)的一個新的上下確界:

推論3雙向不等式

綜上，平均值理論是一個既經(jīng)典又十分活躍的數(shù)學(xué)分支，現(xiàn)已滲透到應(yīng)用數(shù)學(xué)的許多領(lǐng)域.本研究利用調(diào)和平均、正弦平均和雙曲正切平均，對一個積分平均進(jìn)行估計,獲得了兩個最佳不等式,并由此發(fā)現(xiàn)了第二類完全橢圓積分的精確上下界。所得結(jié)果大大改進(jìn)了已有的相關(guān)不等式.本研究方法對從事特殊函數(shù)理論研究的愛好者具有一定的借鑒作用.