黃華平，胡松林(湖北師范學(xué)院 數(shù)學(xué)與統(tǒng)計學(xué)院，湖北 黃石 435002)

0 引言

眾所周知，不等式不僅在數(shù)學(xué)的其它學(xué)科，諸如高等代數(shù)、微分方程、概率論、數(shù)理統(tǒng)計、離散數(shù)學(xué)、運籌學(xué)、復(fù)變函數(shù)、實分析與泛函分析等方面有重要的應(yīng)用，而且在普通物理學(xué)、量子力學(xué)、材料學(xué)、建筑學(xué)等其它學(xué)科也有廣泛的應(yīng)用. 所以探討各種不等式的性質(zhì)，想辦法把它應(yīng)用到實際生活生產(chǎn)中顯得尤為必要. 本文首先將初等數(shù)學(xué)中一個常用的不等式進(jìn)行了各種形式的推廣，然后給出了它的一些應(yīng)用.

1 主要結(jié)果

初等數(shù)學(xué)中有這樣一個不等式：

此式當(dāng)且僅當(dāng)x=y時取等號. 這是一個非常重要的不等式，在中學(xué)數(shù)學(xué)或高等數(shù)學(xué)中會經(jīng)常碰到. 下面給出上述不等式的幾種推廣形式.

定理1 設(shè)p≥1,x≥0,y≥0,則有不等式：

(1)

此式當(dāng)且僅當(dāng)x=y或p=1 時取等號.

證明 當(dāng)x=y=0 時不等式顯然成立. 當(dāng)x+y>0 時不等式(1)等價于

(2)

L(u,v,λ)=up+vp+λ(u+v-1)

所以

注意，上述證明過程首先考慮了將原不等式轉(zhuǎn)化二元函數(shù)的條件極值問題，然后充分利用了Lagrange乘數(shù)法，從而將問題迎刃而解. 此方法有一定的優(yōu)越性，但是計算量比較大. 下面首先給出(1)式的幾種推廣形式，然后給出了詳細(xì)的證明過程. 證明中避開了利用Lagrange乘數(shù)法的解題思想，進(jìn)而將問題大大簡化.

定理2 設(shè)0≤λ≤1,x≥0,y≥0,p≥1,則有

λxp+(1-λ)yp≥[λx+(1-λ)y]p

(3)

此式當(dāng)且僅當(dāng)x=y或p=1 時取等號.

證明 當(dāng)x,y中至少有一個為 0時，結(jié)論顯然成立. 下設(shè)x>0,y>0, 將(3)式不等號兩端同除以xp可得

(4)

下證(4)式成立. 事實上，令

f(t)=λ+(1-λ)tp-[λ+(1-λ)t]p

則f′ (t)=p(1-λ)tp-1-p(1-λ)[λ+(1-λ)t]p-1=p(1-λ){tp-1-[λ+(1-λ)t]p-1}

下面分兩種情況討論.

1)當(dāng)t≥1 時，t≥λ+(1-λ)t,從而tp-1≥[λ+(1-λ)t]p-1，進(jìn)而f′(t)≥0, 導(dǎo)致f(t) 在[1,+∞)上單調(diào)遞增，于是f(t)≥f(1)=0，即得(4)式.

2)當(dāng)t≤1 時，t≤λ+(1-λ)t,從而tp-1≤[λ+(1-λ)t]p-1，進(jìn)而f′(t)≤0, 導(dǎo)致f(t)在 (0,1]上單調(diào)遞減，于是f(t)≥f(1)=0，即得(4)式.

推論1 設(shè)α,β≥0,α+β=1,x,y≥0,p≥1,則有

αxp+βyp≥(αx+βy)p

(5)

此式當(dāng)且僅當(dāng)x=y或p=1 時取等號.

(6)

此式當(dāng)且僅當(dāng)x1=x2=…=xn或p=1 時取等號.

證明 當(dāng)n=1 時結(jié)論顯然成立. 當(dāng)n=2 時，由推論1得到結(jié)論也成立. 下面先假設(shè)(6)式成立，要證

由(6)式和(5)式得到

(λ1x1+λ2x2+…+λn+1xn+1)p

最后由數(shù)學(xué)歸納法即得結(jié)論.

注1 顯然(6)式將(5)式進(jìn)行了大大的推廣.

注2 上述各結(jié)論中，若p<0 ，其它條件不變，則不等號同樣成立；若0

定理4 設(shè)p≥1,x≥0,y≥0,則

xp+yp≤(x+y)p≤2p-1(xp+yp)

當(dāng)且僅當(dāng)p=1時上式都取等號.

證明 首先，直接由(1)式得出

(x+y)p≤2p-1(xp+yp)(x,y≥0)

故只需證

xp+yp≤(x+y)p(x,y≥0)

(7)

1+tp≤(1+t)p

(8)

推論2 設(shè)p≥1,0≤x≤1, 則

當(dāng)且僅當(dāng)p=1 時上式都取等號.

證明 由定理4得

由于 0≤x≤1， 上式取y=1-x即得結(jié)論. 或者這樣證：考慮f(x)=xp+(1-x)p在[0,1] 上的最大值和最小值即可.

定理5 設(shè)p≥1,xi≥0,i=1,2,… ，n,則

當(dāng)且僅當(dāng)p=1 時上式都取等號.

下證

(9)

事實上，當(dāng)n=1 時顯然成立. 當(dāng)n=2 時，即為(7)式. 下面假設(shè)(9)式成立，然后由(7)式和(9)式得到

于是由數(shù)學(xué)歸納法即得(9)式.

注 當(dāng)0

其中x=(x1,x2,…,xn,…)∈lp,y=(y1,y2,…,yn,…)∈lq.

定理6 設(shè)x=(x1,x2,…,xn,…)∈lp,y=(y1,y2,…,yn)∈lq, 若規(guī)定

xy=x1y1+x2y2+…+xnyn+…

則

‖xy‖1≤‖x‖p‖y‖q≤‖x‖1‖y‖1

證明 ‖xy‖1≤‖x‖p‖y‖q即為引理1中的H?lder不等式. 下證

‖x‖p‖y‖q≤‖x‖1‖y‖1

(10)

由定理5得到

上式不等號兩邊分別讓n→∞ ,得到 ‖x‖p≤‖x‖1，同理可得‖x‖q≤‖y‖1.此兩式相乘即得(10)式.

2 應(yīng)用

定義1[5]設(shè)X為一個非空集合，K≥1為一常數(shù). 如果映射ρ:X×X→[0,+∞)對于?x,y,z∈X，滿足下述條件：

i)ρ(x,y)≥0,?x,y∈X,ρ(x,y)=0?x=y;

ii)ρ(x,y)=ρ(y,x);

iii)ρ(x,y)≤K[ρ(x,z)+ρ(z,y)].

則稱(X,ρ) 為度量型空間.

注 當(dāng)K=1 時，度量型空間退化為度量空間，從而可以知道度量型空間是度量空間的大大推廣.

例1 設(shè)p≥1,X=K，K為實數(shù)域或復(fù)數(shù)域. 定義

則 (X,ρ)為度量型空間.

證明 定義1中的i)、ii)顯然成立. 下面只驗證iii). 如下：

?x,y,z∈X,由(1)式得到

從而

ρ(x,y)≤2p-1[ρ(x,z)+ρ(z,y)]

所以結(jié)論成立.

例2 設(shè)ai≥0,i=1,2,… ，9,證明

證明 注意到

于是由定理3即得結(jié)論.

參考文獻(xiàn)：

[1]朱來義.微積分(第三版)[M]. 北京：高等教育出版社, 2009.

[2]陳慶華.高等數(shù)學(xué)(第一版)[M]. 北京：高等教育出版社, 1999.

[3]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析[M]. 北京：高等教育出版社, 2002.

[4]張恭慶，林源渠.泛函分析講義(上冊) (第一版) [M]. 北京：北京大學(xué)出版社, 1987.

[5]Khamsi M A, Hussain N. KKM mappings in metric type spaces[J]．Nonlinear Analysis，2010, 73: 3123～3129.