Beruflich Dokumente
Kultur Dokumente
A BSTRACT. Let f (x, y, z) be a cyclic homogeneous polynomial of degree four with three vari-
ables which satisfies f (1, 1, 1) = 0. In this paper, we give the necessary and sufficient conditions
to have f (x, y, z) ≥ 0 for any real numbers x, y, z. We also give the necessary and sufficient
conditions to have f (x, y, z) ≥ 0 for the case when f is symmetric and x, y, z are nonnegative
real numbers. Finally, some new inequalities with cyclic homogeneous polynomials of degree
four are presented.
Key words and phrases: Cyclic inequality, Symmetric inequality, Necessity and sufficiency, Homogeneous polynomial of de-
gree four.
2000 Mathematics Subject Classification. 26D05.
1. I NTRODUCTION
Let x, y, z be real numbers. The fourth degree Schur’s inequality ([3], [5], [7]) is a well-
known symmetric homogeneous polynomial inequality which states that
X X X
(1.1) x4 + xyz x≥ xy(x2 + y 2 ),
P
where denotes a cyclic sum over x, y and z. Equality holds for x = y = z, and for x = 0
and y = z, or y = 0 and z = x, or z = 0 and x = y.
In [3], the following symmetric homogeneous polynomial inequality was proved
X X X X
4 2 2
(1.2) x +8 x y ≥3 xy x2 ,
105-09
2 VASILE C IRTOAJE
2. M AIN R ESULTS
In 2008, we posted, without proof, the following theorem in the Mathlinks Forum [4].
Theorem 2.1. Let p, q, r be real numbers. The cyclic inequality
X X X X X
(2.1) x4 + r x2 y 2 + (p + q − r − 1)xyz x≥p x3 y + q xy 3
holds for any real numbers x, y, z if and only if
(2.2) 3(1 + r) ≥ p2 + pq + q 2 .
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
C YCLIC H OMOGENEOUS P OLYNOMIAL I NEQUALITIES 3
For p = q = 1 and r = 0, we obtain the fourth degree Schur’s inequality (1.1). For p = q = 3
and r = 8 one gets (1.2), while for p = q = k + 1 and r = k(k + 2) one obtains (1.3). In
addition, for p = 3, q = 0 and r = 2 one gets (1.4), while for p = 2, q = −1 and r = 0 one
obtains (1.5).
In the particular cases r = 0, r = p + q − 1, q = 0 and p = q, by Theorem 2.1, we have the
following corollaries, respectively.
Corollary 2.2. Let p and q be real numbers. The cyclic inequality
X X X X
(2.3) x4 + (p + q − 1)xyz x≥p x3 y + q xy 3
holds for any real numbers x, y, z if and only if
(2.4) p2 + pq + q 2 ≤ 3.
Corollary 2.3. Let p and q be real numbers. The cyclic inequality
X X X X
(2.5) x4 + (p + q − 1) x2 y 2 ≥ p x3 y + q xy 3
holds for any real numbers x, y, z if and only if
(2.6) 3(p + q) ≥ p2 + pq + q 2 .
Corollary 2.4. Let p and q be real numbers. The cyclic inequality
X X X X
(2.7) x4 + r x2 y 2 + (p − r − 1)xyz x≥p x3 y
holds for any real numbers x, y, z if and only if
(2.8) 3(1 + r) ≥ p2 .
Corollary 2.5. Let p and q be real numbers. The symmetric inequality
X X X X
(2.9) x4 + r x2 y 2 + (2p − r − 1)xyz x≥p xy(x2 + y 2 )
holds for any real numbers x, y, z if and only if
(2.10) r ≥ p2 − 1.
Finding necessary and sufficient conditions such that the cyclic inequality (2.1) holds for any
nonnegative real numbers x, y, z is a very difficult problem. On the other hand, the approach
for nonnegative real numbers is less difficult in the case when the cyclic inequality (2.1) is
symmetric. Thus, in 2008, Le Huu Dien Khue posted, without proof, the following theorem on
the Mathlinks Forum [4].
Theorem 2.6. Let p and r be real numbers. The symmetric inequality (2.9) holds for any
nonnegative real numbers x, y, z if and only if
(2.11) r ≥ (p − 1) max{2, p + 1}.
√ √
From Theorem 2.1, setting p = 1 + 6, q = 1 − 6 and r = 2, and then p = 3, q = −3 and
r = 2, we obtain the inequalities:
X X X √ X X
(2.12) x2 x2 − xy ≥ 6 x3 y − xy 3 ,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.4493 and β ≈ −0.1009 were found using a computer;
X
(2.13) (x2 + y 2 + z 2 )2 ≥ 3 xy(x2 − y 2 + z 2 ),
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.2469 and β ≈ −0.3570.
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
4 VASILE C IRTOAJE
√ √
From Corollary 2.2, setting p = 3 and q = − 3 yields
X X √ X 3 X
(2.14) x4 − xyz x≥ 3 x y− xy 3 ,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.3767 and β ≈ −0.5327. Notice√ that if x, y, z are nonnegative real numbers, then the best
constant in inequality (2.14) is 2 2 (Problem 19, Section 2.3 in [3], by Pham Kim Hung):
X
4
X √ X 3 X
3
(2.15) x − xyz x≥2 2 x y− xy .
√ √
From Corollary 2.3, setting p = 1 + 3 and q = 1, and then p = 1 − 3 and q = 1, we
obtain the inequalities:
X
4
X
3
√ X 3 X
2 2
(2.16) x − xy ≥ 1 + 3 x y− xy ,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.7760 and β ≈ 0.5274;
X X √ X X
(2.17) x4 − xy 3 ≥ 3−1 x2 y 2 − x3 y ,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 1.631 and β ≈ −1.065. √ √
From Corollary 2.4, setting in succession p = 3 and r = 0, p = − 3 and
√ r = 0, p = 6
and r = 11, p = 2 and r = 1/3, √ p = −1 and √ r = −2/3, p = r = (3 + 21)/2, p = 1
and r = −2/3, p = r = (3 − 21)/2, p = 6 and r = 1, we obtain the inequalities below,
respectively:
X √ X √ X 3
(2.18) x4 + 3 − 1 xyz x≥ 3 x y,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.7349 and β ≈ −0.1336 (Problem 5.3.10 in [6]);
X √ X 3 √ X
(2.19) x4 + 3 x y ≥ 1 + 3 xyz x,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 7.915 and β ≈ −6.668;
X X X X
(2.20) x4 + 11 x2 y 2 ≥ 6 x3 y + xyz x ,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.5330 and β ≈ 2.637;
X X 2 X
4
(2.21) 3 x + xy ≥ 6 x3 y,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.7156 and β ≈ −0.0390;
X
4
X
3 2 X 2
(2.22) x + xy≥ xy ,
3
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 1.871 and β ≈ −2.053;
√
X
4
X 3 + 21 X 3 X
2 2
(2.23) x − xyz x≥ x y− xy ,
2
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
C YCLIC H OMOGENEOUS P OLYNOMIAL I NEQUALITIES 5
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.570 and β ≈ 0.255;
X X 2 X 2 2 X
(2.24) x4 − x3 y ≥ x y − xyz x ,
3
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.8020 and β ≈ −0.4446;
√
X
4
X 21 − 3 X 2 2 X 3
(2.25) x − xyz x≥ xy − xy ,
2
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 1.528 and β ≈ −1.718;
X √ X
(2.26) (x2 − yz)2 ≥ 6 xy(x − z)2 ,
with equality for x = y = z, and for x = y/α = z/β or any cyclic permutation, where
α ≈ 0.6845 and β ≈ 0.0918 (Problem 21, Section 2.3 in [3]).
From either Corollary 2.5 or Theorem 2.6, setting r = p2 − 1 yields
X X X X
(2.27) x4 + (p2 − 1) x2 y 2 + p(2 − p)xyz x≥p xy(x2 + y 2 ),
which holds for any real numbers p and x, y, z. For p = k + 1, the inequality (2.27) turns into
(1.3).
Corollary 2.7. Let x, y, z be real numbers. If p, q, r, s are real numbers such that
(2.28) p + q − r − 1 ≤ s ≤ 2(r + 1) + p + q − p2 − pq − q 2 ,
then
X X X X X
(2.29) x4 + r x2 y 2 + sxyz x≥p x3 y + q xy 3 .
Let
r+s+1−p−q
α= ≥ 0.
3
Since
3(1 + r − α) ≥ p2 + pq + q 2 ,
by Theorem 2.1 we have
X X X X X
x4 + (r − α) x2 y 2 + (α + p + q − r − 1)xyz x≥p x3 y + q xy 3 .
Adding this inequality to the obvious inequality
X 2
α xy ≥ 0,
we get (2.29).
From Corollary 2.7, setting p = 1, q = r = 0 and s = 2, we get
X X X
(2.30) x4 + 2xyz x≥ x3 y,
with equality for x = y/α = z/β or any cyclic permutation, where α ≈ 0.8020 and β ≈
−0.4451. Notice that (2.30) is equivalent to
X X 2
2 2 2 2
(2.31) (2x − y − z − xy + yz) + 4 xy ≥ 0.
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
6 VASILE C IRTOAJE
X
(3.2) [3y 2 − 3z 2 − (p + 2q)xy − (p − q)yz + (2p + q)zx]2 ≥ 0,
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
C YCLIC H OMOGENEOUS P OLYNOMIAL I NEQUALITIES 7
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
8 VASILE C IRTOAJE
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
C YCLIC H OMOGENEOUS P OLYNOMIAL I NEQUALITIES 9
Remark 1. We obtained the identity AB = C 2 −CD+D2 in the following way. For 3(r+1) =
p2 + pq + q 2 , by Theorem 2.1 we have
A + (1 + r)B − pC − qD ≥ 0,
which is equivalent to
Bp2 + (Bq − 3C)p + Bq 2 − 3Dq + 3A ≥ 0.
Since this inequality holds for any real p and B ≥ 0, the discriminant of the quadratic of p is
non-positive; that is
(Bq − 3C)2 − 4B(Bq 2 − 3Dq + 3A) ≤ 0,
which is equivalent to
B 2 q 2 + 2B(C − 2D)q + 4AB − 3C 2 ≥ 0.
Similarly, the discriminant of the quadratic of q is non-positive; that is
B 2 (C − 2D)2 − B 2 (4AB − 3C 2 ) ≤ 0,
which yields AB ≥ C 2 − CD + D2 . Actually, this inequality is an identity.
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/
10 VASILE C IRTOAJE
J. Inequal. Pure and Appl. Math., 10(3) (2009), Art. 67, 10 pp. http://jipam.vu.edu.au/