张 帆

(湖州职业技术学院 建筑工程学院， 浙江 湖州 313000)

一、研究背景

设0

第一类和第二类完全椭圆积分满足下列微分公式和Landen恒等式[1]474-475:

且第一类完全椭圆积分κ(r)在区间(0,1)内严格单调递增,第二类完全椭圆积分ε(r)在区间(0,1)内严格单调递减.

设x,y>0和x≠y.则将调和平均H(x,y),几何平均G(x,y),算术平均A(x,y),Toader平均T(x,y)[2]358-368,正弦平均Msin(x,y)和双曲正切平均Mtanh(x,y)[3]1 071-1 092分别定义如下:

(1)

(2)

(3)

最近,Toader平均,正弦平均和双曲正切平均与其他二元经典平均的比较得到了国内外学者的深入研究，在特殊情形下,发现了许多关于完全椭圆积分,三角函数和双曲函数的重要不等式.

有人证明了λ=3/2和μ=ln2/ln(π/2)=1.534 9L是使得双向不等式

Mλ(x,y)

还有人证明了双向不等式

A(x,y)

(4)

对所有x,y>0和x≠y成立[3]1 078.

显然,双向不等式

H(x,y)

(5)

对所有x,y>0和x≠y成立.

从不等式(4)和(5)可推得

H(x,y)

(6)

对所有x,y>0和x≠y成立.

根据不等式(6),本文的主要结果为以下两个定理:

定理1双向不等式

对所有x,y>0和x≠y成立的充分必要条件是:α1≤4sin2(1)/π2=0.286 9L和β1≥9/14.

定理2双向不等式

对所有x,y>0和x≠y成立的充分必要条件是:α2≤4tanh2(1)/π2=0.235 0L和β2≥9/16.

二、引 理

为证明本文的主要结果,需要以下引理:

引理1对-∞

也在(a,b)内单调上升(下降);如果f′(x)/g′(x)的单调性是严格的,则结论中的单调性也是严格的[3]10.

引理3幂级数公式:

其中,Bn是Bernoulli数[7]4 874-4 888.

引理4双向不等式

对所有n∈+成立,其中Bn是Bernoulli数[8]1-14.

引理5(1)函数r[κ(r)-ε(r)]/r2在区间(0,1)内是严格单调递增的，且值域为(π/4,1)[1]70.(2)函数r[ε2(r)-r′2κ2(r)]/r4在区间(0,1)内是严格单调递增的，且值域为(π2/32,1)[1]70.

引理6函数rε(r)[(1+r2)ε(r)-r′2κ(r)]/r2在区间(0,1)内是严格单调递减的，且值域为(2,3π2/8).

证明:设

φ(r)=ε(r)[(1+r2)ε(r)-r′2κ(r)]/r2.

简单计算可得:

(7)

(8)

所以,引理6容易从引理5及等式(7)和(8)得到.

引理7函数

在区间(0,1)内严格单调递增，且值域为(7/3,……