琴生不等式的高维推广

《琴生不等式的高维推广》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、琴生不等式的高维推广李世杰吴光耀(衢州市教育局教研室浙江324002)单保良(衢州职业技术学院，浙江324000)摘要：将琴生(Jensen)不等式作了高维推广，并由它得到了m维空间的一系列不同类型的函数不等式，它们是算术——几何平均值不等式、柯西不等式等的联合推广.关键词：琴生不等式，函数不等式，高维推广.HigherDimensionalGeneralizationofJensenInequalityLiShijieWuGuangyao（DepartmentofTeachingResearch，QuzhouEducationCo

2、mmittee，Zhejiang，324002，China）DanBaoliang（QuzhouCollegeofVocationalTechuology，Zhejiang，324000，China）Abstract：ThehigherdimensionalgeneralizationofJensen’inequalityisestablished.Asby-products,aseriesofdifferentfunctioninequalitiesonm-dimensionalspaceisobtainedwhichextend

3、theA-GmeaninequalityandCauchy’sinequality.Keywords：Jensen’inequality；functioninequality；higherdimensionalgeneralization1．引言1905年，丹麦数学家琴生（Jensen，1859－1925）证明了如下著名的琴生不等式[1]：设f(x)是定义在实数集M上的函数，且对任意的xl、x2∈M，都有，(1.1)则对任意的xi∈M（i=1，2，…，n），有，(1.2)在文[2]中，李世杰证明了如下的“母”函数不等式：设f(x)的

4、定义域为M（M为[a，b]，或（a，b），或无穷区间），(x)是M上的连续函数，且存在反函数．若对任意的xl、x2∈M，都有，(1.3)则对任意的xi∈M（i=1，2，…，n），有，(1.4)若(1.3)中等式成立的条件是x1=x2，则(1.4)中等式成立的条件是x1=x2=…=xn．本文下面先给出不等式(1.4)的一个高维推广，为方便计，引入下列记号:设M=M1×M2×…×Mm（Mi为[ai，bi]，或（ai，bi），或无穷区间，m≥1）.特别地，收稿日期：[作者简介]：李世杰，(1960-)，男，浙江东阳人，汉,中学高级教师，理

5、学士,研究方向：解析不等式及数学教学若Mi=R+=，i=1，2，…，m，则M记作.7对于，表示m维向量:其它符号意义依次类推.2．主要结论定理1设f(X)的定义域为M，i(x)是定义在Mi上的连续函数，且存在反函数，i=1，2，…，m．若对X1、X2∈M，，和常数，都有，且，(2.1)等式成立的条件是X1=X2.则对Xi∈M(，n≥2)，，，都有(2.2)这里p是满足的整数，，(2.2)中等式成立的条件是X1=X2=…=Xn．下面用反向数学归纳法证明这一不等式.证明首先证明n=2p(p∈N，p≥2)时，结论成立.当n=2时，由(2.

6、1)及其等式成立的条件知结论成立.假设n=2k(k∈N，k≥2)时，结论成立，即对Xi∈M()，有，(2.3)等式成立的条件是X1=X2=…=.则对Xi∈M()，有，(2.4)等式成立的条件是…．又根据n=2时的结论，在(2.1)中作置换7，，可得+即+，(2.5)等式成立的条件是，.联合(2.3)、(2.4)、(2.5)得(2.6)等式成立的条件是，由于存在反函数，必一一对应，故由上面方程组可推得不等式(2.6)中等式成立的条件是X1=X2=…=．因此对n=2p(p∈N，p≥2)结论恒成立.7当时，前面已证成立结论:(2.7)当时

7、，取Xn+1=Xn+2=…，则Xn+1=Xn+2=…，代入（2.7）式化简后即可得到（2.2）式.综上，我们就证明了不等式（2.2）结论对n≥2恒成立.定理2设f(X)的定义域为M，i(x)是定义在Mi上的连续函数，且存在反函数，i=1，2，…，m．若对X1、X2∈M和常数，都有，且，(2.8)等式成立的条件是X1=X2.则对Xi∈M(，n≥2)，有(2.9)这里p是满足的整数，(2.9)中等式成立的条件是X1=X2=…=Xn．证明与定理1相似，首先证明n=2p(p∈N，p≥2)时结论成立，再如对(2.7)式取特值，即可获证，过程略

8、去.定理3设f(X)的定义域为M，i(x)是定义在Mi上的连续函数，且存在反函数，i=1，2，…，m．若对X1、X2∈M，和常数，都有，且，等式成立的条件是X1＝X2.则对任意的Xi∈M(，n≥2)，有这里p是满足的整数，等式成立的条