Sándor-Yang平均關(guān)于經(jīng)典平均凸組合的確界

張帆, 楊月英, 錢偉茂

(1. 湖州職業(yè)技術(shù)學(xué)院 建筑工程學(xué)院, 浙江 湖州 313000； 2. 湖州職業(yè)技術(shù)學(xué)院 機(jī)電與汽車工程學(xué)院, 浙江 湖州 313000；3. 湖州廣播電視大學(xué) 遠(yuǎn)程教育學(xué)院， 浙江 湖州 313000)

0 引 言

2013年,YANG[1]介紹了4個Sándor-Yang平均：

(1)

其中，

(2)

(3)

分別為2個正數(shù)a和b的幾何平均、算術(shù)平均、二次平均, Neuman-Sándor平均[2-3]和第二類Seiffert平均[4], 第一類Yang平均和第二類Yang平均[5-7].

設(shè)p∈R，a,b>0, 則調(diào)和平均H(a,b),反調(diào)和平均C(a,b)和p階冪平均Mp(a,b)[8]分別定義為

(4)

并且p階冪平均Mp(a,b)對于固定的a,b>0和a≠b關(guān)于p∈R是連續(xù)和嚴(yán)格單調(diào)上升的.

不等式

H(a,b)=M-1(a,b)

L(a,b)

NS(a,b)

C(a,b)

和

L(a,b)

NS(a,b)

對所有a,b>0且a≠b均成立,其中，P(a,b)=(a-b)/[2sin-1((a-b)/(a+b))]和L(a,b)=(b-a)/(lnb-lna)分別為2個正數(shù)a和b的第一類Seiffert平均和對數(shù)平均.

最近, Sándor-Yang平均關(guān)于其他二元平均或其組合的比較研究取得了一定進(jìn)展. 國內(nèi)外學(xué)者證明了在特殊情形下一些涉及Sándor-Yang平均的重要不等式[1, 9-14].

Mα(a,b)

Mλ(a,b)

對所有a,b>0且a≠b成立的最佳參數(shù).

徐會作[13]證明了雙向不等式

α1Q(a,b)+(1-α1)A(a,b)

β1Q(a,b)+(1-β1)A(a,b)，

α2Q(a,b)+(1-α2)A(a,b)

β2Q(a,b)+(1-β2)A(a,b),

α3C(a,b)+(1-α3)A(a,b)

β3C(a,b)+(1-β3)A(a,b),

α4C(a,b)+(1-α4)A(a,b)

β4C(a,b)+(1-β4)A(a,b)

對所有a,b>0且a≠b成立當(dāng)且僅當(dāng)α1≤1/3,

本文發(fā)現(xiàn)并證明了最佳參數(shù)α1,α2,α3,α4,β1,β2,β3,β4∈(0,1),雙向不等式

α1A(a,b)+(1-α1)H(a,b)

β1A(a,b)+(1-β1)H(a,b),

α2A(a,b)+(1-α2)G(a,b)

β2A(a,b)+(1-β2)G(a,b),

α3Q(a,b)+(1-α3)A(a,b)

β3Q(a,b)+(1-β3)A(a,b),

α4C(a,b)+(1-α4)A(a,b)

β4C(a,b)+(1-β4)A(a,b)

對所有a,b>0且a≠b均成立,并且推得一個新的不等式鏈：

G(a,b)

1 引 理

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

引理1設(shè)p∈(0,1),

(1) 若p=5/6, 則對所有x∈(1,+∞)有f(x)<0;

證明經(jīng)簡單計算得

(5)

(6)

其中，

f1(x)=p(4-p)x6+2(3p2-2p-2)x4-

(7p2-10p+3)x2+2(1-p)2.

(7)

下面分2種情形討論：

(1) 當(dāng)p=5/6時, 式(7)變?yōu)?/p>

(8)

對所有x∈(1,+∞)成立.

所以, 由式(5)、(6)和(8)易得對所有x∈(1,+∞)有f(x)<0.

6p-5=-1.878 4…<0,

(9)

2p2+14p-11=-3.175 0…<0,

(10)

3p2+8p-4=0.974 0…>0,

(11)

式(7)和式(9)～(11)經(jīng)簡單計算可得

(12)

(13)

其中，對所有x∈(0,+∞),

f2(x)= 3p(4-p)x4+4(3p2-2p-2)x2-

(7p2-10p+3),

f2(1)=2p2+14p-11<0,

(14)

4(3p2+8p-4)x>0.

(15)

由式(14)和(15)可得，存在λ0∈(1,+∞)，使得當(dāng)x∈(1,λ0)時f2(x)<0，當(dāng)x∈(λ0,+∞)時f2(x)>0.

由式(12)和(13)及當(dāng)x∈(1,λ0)時f2(x)<0可知，f1(x)<0.由式(13)和當(dāng)x∈(λ0,+∞)時f2(x)>0得到函數(shù)f1(x)在區(qū)間(λ0,+∞)上嚴(yán)格單調(diào)上升；則由式(12)和f1(λ0)<0及函數(shù)f1(x)在區(qū)間(λ0,+∞)上的單調(diào)性,可得存在λ1>λ0，使得當(dāng)x∈(λ0,λ1)時f1(x)<0，當(dāng)x∈(λ1,+∞)時f1(x)>0.

下面分2種情形討論：

情形1x∈(1,λ1].易由式(5)和(6)及在區(qū)間(1,λ1)上f1(x)<0得到f(x)>0.

情形2x∈(λ1,+∞).由式(6)和f1(x)>0，得到函數(shù)f(x)在區(qū)間(λ1,+∞)上嚴(yán)格單調(diào)下降. 由式(5)和f(λ1)>0及函數(shù)f(x)在區(qū)間(λ1,+∞)上的單調(diào)性，可得存在λ>λ1>λ0∈(1,+∞)，使得當(dāng)x∈(λ1,λ)時f(x)>0，當(dāng)x∈(λ,+∞)時f(x)<0.

引理2設(shè)p∈(0,1)，

(1) 若p=2/3, 則對所有x∈(1,+∞)有g(shù)(x)<0;

證明經(jīng)簡單計算可得

(16)

(17)

其中，

g1(x)=-(p2+4p-2)x3+2p2x+p(1-p).

(18)

下面分2種情形討論：

(1) 當(dāng)p=2/3時, 式(18)變?yōu)?/p>

(19)

且對所有x∈(1,+∞)成立.

所以, 由式(16)、(17)和(19)易得,對所有x∈(1,+∞)有g(shù)(x)<0.

g1(1)=2-3p=0.439 2…>0,

(20)

-p2-12p+6=-0.513 7…<0

(21)

對所有x∈(1,+∞)…成立.

由式(20)和(21)可知，存在μ0∈(1,+∞)，使得當(dāng)x∈(1,μ0)時有g(shù)1(x)>0，當(dāng)x∈(μ0,+∞)時有g(shù)1(x)<0.

下面分2種情形證明：

情形1x∈(1,μ0]. 根據(jù)式(16)和(17)及在區(qū)間(1,μ0)上g1(x)>0，可知g(x)>0.

情形2x∈(μ0,+∞).由式(17)和在區(qū)間(μ0,+∞)上g1(x)<0得到函數(shù)g(x)在區(qū)間[μ0,+∞)上嚴(yán)格單調(diào)下降.注意到式(16)變成

(22)

由不等式(22)和g(μ0)>0及函數(shù)g(x)在區(qū)間[μ0,+∞)上的單調(diào)性, 可得存在μ∈(μ0,+∞)?(1,+∞)，使得當(dāng)x∈(μ0,μ)時有g(shù)(x)>0，當(dāng)x∈(μ,+∞)時有g(shù)(x)<0.

證畢.

引理3設(shè)p∈(0,1)，

證明經(jīng)簡單計算可得

(23)

(24)

其中，

h1(x)= -p(1-p)x3-2(1-p)2x2+

p2-6p+3.

(25)

下面分2種情形討論：

(1) 當(dāng)p=1/3時, 式(25)變?yōu)?/p>

(26)

h1(1)=1-3p=0.706 5…>0,

(27)

(28)

對所有x∈(0,+∞)成立.

下面分2種情形證明：

情形1x∈(1,σ0]. 由式(23)和(24)及在區(qū)間(1,σ0)上h1(x)>0，可知h(x)>0.

引理4設(shè)p∈(0,1)，

k(x)<0;

證明經(jīng)簡單計算可得

(29)

(30)

其中，

k1(x)=2p2x6+p(4-7p)x4+

2(3p2-4p-1)x2-(p2+2p-3).

(31)

下面分2種情形討論：

(1) 當(dāng)p=1/6時, 式(31)變?yōu)?/p>

(32)

4-7p=3.716 3…>0,

(33)

p2+4p-1=-0.836 2…<0,

(34)

k1(1)=1-6p=0.756 8…>0,

(35)

4(3p2-4p-1)x,

(36)

由不等式(33)、(34)和等式(36)可知

(37)

下面分2種情形證明：

情形1x∈(1,τ0]. 由式(29)和(30)及在區(qū)間(1,τ0)上k1(x)>0，可知k(x)>0.

2 主要結(jié)果

定理1雙向不等式

α1A(a,b)+(1-α1)H(a,b)

β1A(a,b)+(1-β1)H(a,b)

H(a,b)=G(a,b)/x,

(38)

(39)

由式(38)和(39)有

(40)

(41)

(42)

log[RGQ(a,b)]-log[pA(a,b)+(1-p)H(a,b)]=

(43)

設(shè)

(44)

經(jīng)簡單計算可得

F(1+)=0,

(45)

(46)

(47)

其中f(x)的定義見引理 1.

下面分2種情形證明：

情形1p=5/6. 由式(43)～(45)、(47)及引理1(1)得

(48)

(49)

由式(43)～(45)、(49)及函數(shù)F(x)的分段單調(diào)性可知

(50)

所以, 定理1可由等式(48)和(50)結(jié)合下面的陳述得到.

RGQ(a,b)>pA(a,b)+(1-p)H(a,b).

RGQ(a,b)

定理2雙向不等式

α2A(a,b)+(1-α2)G(a,b)

β2A(a,b)+(1-β2)G(a,b)

(51)

(52)

(53)

ln[RGQ(a,b)]-ln[pA(a,b)+(1-p)G(a,b)]=

ln(px+1-p)-1.

(54)

設(shè)

ln(px+1-p)-1,

(55)

經(jīng)簡單計算得

G(1+)=0,

(56)

(57)

(58)

其中g(shù)(x)的定義見引理2.

下面,分2種情形證明：

情形1p=2/3. 由式(54)～(56)、(58)及引理2(1)得

(59)

(60)

由式(54)～(56)、(60)及函數(shù)G(x)的分段單調(diào)性知

(61)

所以,由等式(51)～(53)和不等式(59)、(61)易得定理2.

定理3雙向不等式

α3Q(a,b)+(1-α3)A(a,b)

β3Q(a,b)+(1-β3)A(a,b)

Q(a,b)=A(a,b)x,

(62)

RQG(a,b)=

(63)

由式(62)和(63),得到

(64)

(65)

(66)

ln[RQG(a,b)]-ln[pQ(a,b)+(1-p)A(a,b)]=

ln(px+1-p)-1.

(67)

設(shè)

ln(px+1-p)-1.

(68)

經(jīng)簡單計算得

H(1+)=0,

(69)

(70)

(71)

其中h(x)的定義見引理3.

下面,分2種情形證明：

情形1p=1/3.由式(67)～(69)、(71)及引理3(1)得

(72)

(73)

由式(67)～(69)、(73)及函數(shù)H(x)的分段單調(diào)性知

(74)

所以, 定理3可由式(72)和(74)結(jié)合下面陳述得到.

RQG(a,b)>pQ(a,b)+(1-p)A(a,b).

RQG(a,b)

定理4雙向不等式

α4C(a,b)+(1-α4)A(a,b)

β4C(a,b)+(1-β4)A(a,b)

則由式(62)，(63)和C(a,b)=A(a,b)x2可得

(75)

(76)

(77)

ln[RQG(a,b)]-ln[pC(a,b)+(1-p)A(a,b)]=

ln(px2+1-p)-1.

(78)

設(shè)

ln(px2+1-p)-1.

(79)

經(jīng)簡單計算得

K(1+)=0,

(80)

(81)

(82)

其中k(x)的定義見引理4.

下面,分2種情形證明：

情形1p=1/6.由式(78)～(80)、(82)及引理4(1)得

(83)

(84)

由式(78)～(80)、(84)及函數(shù)K(x)的分段單調(diào)性知

(85)

所以, 由等式(75)、(77)和不等式(83)、(85)易得定理4.

注記由定理2和定理3, 不難得到對所有a,b>0且a≠b，不等式鏈G(a,b)