Schur不等式的优化推广.doc

PAGE PAGE 8 Schur不等式的优化推广 林亚庆 （湖南大学化学化工学院 长沙 410082） 摘要：应用函数单调性理论建立了Schur不等式的一类优化推广形式. 关键词：Schur不等式；单调函数；不等式 中图分类号：O178 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) 当时, 在上为单调递增函数, 又, 故 , 即 . 命题7 设,则有 . 证明:在命题4中取, 并令; ; ; ; ; ; 则有 (1) 由. 显然, 当时, , 即在上为单调递减函数; 当时, , 即在上为单调递增函数. 故 , 则 . (2) 由. 显然, 当时, , 即在上为单调递增函数; 当时, , 即在上为单调递减函数. 故 , 则 . 又. 即在上为单调递减函数,再由. 则当时, ; 当时, , 即. 故 . 则 . (3) 由. 显然, 当时, , 即在上为单调递减函数; 当时, , 即在上为单调递增函数. 故 , 则 . 又. 即在上为单调递增函数,再由. 则当时, ; 当时, , 即. 故 . 则 . 综上, 当时, . 又. 故依命题4有 . 即 . 参考文献： [1] 匡继昌. 常用不等式（第三版）[M]. 济南：山东科学技术出版社，2004. [2] G. Klambauer. Ploblems and Proposesitions in Snalysis [M] .New York: Marcel Dekker, Inc, 1979:213～220. [3] 徐晓泉