舒尔茨不等式的推广（schurzinequation）..docVIP

Schur不等式的优化推广 林亚庆 （湖南大学化学化工学院 长沙 410082） schur不等式的推广 一、原始schur不等式 若n为实数,x,y,z=0，证明x^n(x-y)(x-z)+y^n(y-x)(y-z)+z^n(z-x)(z-y)=0 若t=0则设x=y=z,否则设x=y=z,则原不等式即 x^n(x-y)(x-z)+z^n(x-z)(y-z)=y^n(x-y)(y-z) 由z^n(x-z)(y-z)=0 x^n(x-y)(x-z)=y^n(x-y)(y-z)相加即可 取得条件为x=y=z或者x=0,y=z和其置换 二、推广 本文试着把该不等式推广为 ∑(a-b)(a-c)f(a)?=0 f(a)为a,b,c的以a为主元的函数,如上面例中f(a)=a^n,文[1]中f(a)=a/(a2+2bc) 像文[1]那样,不妨设a=b=c 证∑(a-b)(a-c)f(a)?=0 可以试证??(a-b)(a-c)f(a)?+?(b-a)(b-c)f(b)=0 =(a-b)[?(a-c)f(a)?-?(b-c)f(b)?]=0 =(a-b)[?af(a)-bf(b)-c(f(a)-f(b))?]=0 易见,令a=b得中括号内为0,这说明 1.(a-b)还是其因式,再约去(a-b)进一步分析 2.这不是最小值0,就是最大值为0了,是最小值就证得了 1 引言 定义 设函数在其定义域上连续可导，若存在一点，使得，则称为在点处的调零函数，称在点处的调零合成函数，记作. Schur不等式可表示为： 设，则严格递减的充要条件是。 关于Schur不等式，近年来已有不少文献，但其方法主要基于级数展开，这就大大限制了Schur不等式的普遍化推广. 本文旨在利用函数单调性理论的基础上，逐层逼近，并通过介入调零函数，给出了Schur不等式一个相对较为完善的优化形式. 2 Schur不等式的优化 命题1 设，与不同时为零，不妨取，则有 （1）当时，在上为单调递减函数；若再附加条件，则在上亦为单调递减函数. （2）当时，在上为单调递增函数；若再附加条件，则在上亦为单调递增函数. 证明：取，，得 〈1〉当时，. 〈2〉当时，，则. 〈3〉当时，，则. 综合〈1〉,〈2〉,〈3〉，当时，恒有. 又，即在上为单调递增函数. 故 . 则 [1] 由，得，即在上为单调递减函数. [2] 由，得，又，，则，即在上为单调递减函数. 综上，（1）式成立，同理易证得（2）式亦成立. 命题2 设，与不同时为零，不妨取，则有 （1）当时，在上为单调递增函数；若再附加条件，则在上亦为单调递增函数. （2）当时，在上为单调递减函数；若再附加条件，则在上亦为单调递减函数. 证明：取，，则由命题1易知在上为单调递增函数. 故 . 则 [1] 由， 得，即在上为单调递增函数. [2] 由，得，又，，则，即在上为单调递增函数. 综上，（1）式成立，同理易证得（2）式亦成立. 命题3 设，不妨取，则有 （1）当时，在上为单调递减函数；若再附加条件，则在上亦为单调递减函数. （2）当时，在上为单调递增函数；若再附加条件，则在上亦为单调递增函数. 证明：取，，则. 又因为〈1〉当时，，则，即在上为单调递增函数. 〈2〉当时，，则，即在上为单调递减函数. 故 . 则 [1] 由, ，即在上为单调递减函数. [2] 由，得，又, ，则，即在上为单调递减函数. 综上，（1）式成立，同理易证得（2）式亦成立. 命题4 设，，， ，不妨取，则有（1）当时，在上为单调递增函数；若再附加条件，则在上亦为单调递增函数. （2）当时，在上为单调递减函数；若再附加条件，则在上亦为单调递减函数. 证明：取，，得 ，故依命题3易知 . 则 [1] 由,， 即在上为单调递增函数. [2] 由，得，又，, 则，即在上为单调递增函数. 综上，（1）式成立，同理易证得（2）式亦成立. 命题5 设，，， ，不妨取，，，则有 （1）当时，在上为单调递增函数；若再附加条件，则在上亦为单调递增函数. （2）当时，在上为单调递减函数；若再附加条件，则在上亦为单调递减函数. 证明：取，，得， 故依命题3易知. 则 [1] 由， 得，即在上为单调递增函数. [2] 由，得，又，,则，即在上为单调递增函数. 综上，（1）式成立，同理易证得（2）式亦成立. 3 Schur不等式的应用 命题6 设,则有 . 证明:在命题1中取,则有 (1) 当时, 在上为单调递减函数, 又, 故 , 即 . (2) 当时, 在上为单调递增函数, 又, 故 , 即