JJ II

(1)

volume 7, issue 1, article 25, 2006.

Received 26 May, 2005;

accepted 09 December, 2005.

Communicated by:S.S. Dragomir

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

ZERO AND COEFFICIENT INEQUALITIES FOR HYPERBOLIC POLYNOMIALS

J. RUBIÓ-MASSEGÚ, J.L. DÍ AZ-BARRERO AND P. RUBIÓ-DÍ AZ

Applied Mathematics III

Universitat Politècnica de Catalunya

Jordi Girona 1-3, C2, 08034 Barcelona, Spain.

EMail:josep.rubio@upc.edu EMail:jose.luis.diaz@upc.edu EMail:pere.rubio@upc.edu

c

2000Victoria University ISSN (electronic): 1443-5756 166-05

(2)

Zero and Coefficient Inequalities for Hyperbolic

Polynomials

J. Rubió-Massegú, J.L. Díaz-Barrero and

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of14

J. Ineq. Pure and Appl. Math. 7(1) Art. 25, 2006

Abstract

In this paper using classical inequalities and Cardan-Viète formulae some inequalities involving zeroes and coefficients of hyperbolic polynomials are given.

Furthermore, considering real polynomials whose zeros lie inRe(z) >0,the previous results have been extended and new inequalities are obtained.

2000 Mathematics Subject Classification:12D10, 26C10, 26D15.

Key words: Zeroes and coefficients, Inequalities in the complex plane, Inequalities for polynomials with real zeros, Hyperbolic polynomials.

1. Introduction

The problem of finding relations between the zeroes and coefficients of a polynomial occupies a central role in the theory of equations. The most well known of such relations are Cardan-Viète’s formulae [1]. Many papers devoted to ob- taining inequalities between the zeros and coefficient have been written giving new bounds or improving the classical known ones ([2], [3], [4]). Furthermore, inequalities for polynomials with all zeros real also called hyperbolic polynomials, have been fully documented in [5]. In this paper, using some classical inequalities, several inequalities involving zeros and coefficients of polynomials with real zeros have been obtained and the main result has been extended to polynomials whose zeros lie in the right half plane.

(4)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of14

2. The Inequalities

In what follows some zero and coefficient inequalities involving polynomials whose zeros are strictly positive real numbers are obtained. We begin with Theorem 2.1. Let A(x) = Pn

k=0a_kx^k, a_n 6= 0, be a hyperbolic polynomial with all its zeroesx₁, x₂, . . . , x_nstrictly positive. Ifα, pandbare strictly posi- tive real numbers such thatα < p,then

(2.1)

n

X

k=1

1

[x^p_k+b]^α¹ ≤ α¹^p p^α¹

p−α b

_α¹−¹_p

a1

a₀ .

Equality holds whenA(x) = a_n

x−

bα p−α

¹_pn

.

Proof. Letβandabe strictly positive real numbers defined byβ = 1− ^α_p >0 anda= _pβ^bα >0. Taking into account that ^α_p +β = 1and applying the powered AM-GM inequality, we have for allk,1≤k ≤n,

(2.2) (x^p_k)^α^p a^β ≤ α

px^p_k+βa.

Inverting the terms in (2.2) yields 1

α

px^p_k+βa ≤ 1

x^α_ka^β, 1≤k ≤n, or equivalently

1

x^p_k+_α^pβa ≤ α p · 1

x^α_ka^β.

(5)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of14

Taking into account that _α^pβa=bandβ = ^p−α_p ,we have 1

x^p_k+b ≤ α p · 1

bα pβ

β

1 x^α_k

= α

p · p^ββ^β b^βα^β

1 x^α_k

= α

p · p¹⁻^α^p(^p−α_p )¹⁻^α^p b¹⁻^α^pα¹⁻^α^p · 1

x^α_k

= α^α^p p

p−α b

1−^α_p

1 x^α_k. Raising to _α¹ both sides of the preceding inequality, yields

1

[x^p_k+b]^α¹ ≤ α¹^p p^α¹

p−α b

_α¹⁻¹_p 1 xk

, 1≤k ≤n.

Finally, adding up the preceding inequalities, we obtain

n

X

k=1

1

[x^p_k+b]^α¹ ≤ α^p¹ p¹^α

p−α b

_α¹−¹_p n

X

k=1

1

x_k = α¹^p p^α¹

p−α b

_α¹−_p¹

a₁ a₀

and (2.1) is proved.

Notice that equality holds in (2.1) if and only if equality holds in (2.2) for 1 ≤ k ≤ n. Namely, equality holds whenx^p_k = a, 1 ≤ k ≤ n orxk = a¹^p = bα

pβ

¹_p

=

bα p−α

_p¹

. That is, whenA(x) = a_n

x−

bα p−α

¹_pn

, a_n 6= 0.

(6)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of14

Whenα > pchangingαby ¹_α andpby ¹_p into (2.1), we have the following:

Corollary 2.2. Ifα, pandbare strictly positive real numbers such thatα > p,

then n

X

k=1

1 [x

1 p

k +b]^α

≤ p^p α^α

α−p b

^α−p

a₁ a0

.

Multiplying both sides of (2.2) by _α^p and raising to _α¹, we obtain for1≤k≤ n,

x^p_k+ p αβa_α¹

≥p α

_α¹ a^β^αx_k.

Settingβ = 1− ^α_p,a = _pβ^bα into the preceding expression and, after adding up the resulting inequalities, we get

Corollary 2.3. Ifα, pandbare strictly positive real numbers such thatα < p, then

n

X

k=1

(x^p_k+b)^α¹ ≥ p¹^α α¹^p

b p−α

_α¹−¹

p

an−1

a_n holds.

Another, immediate consequence of (2.1) is the following.

Corollary 2.4. Let A(x) = Pn

k=0a_kx^k, a_n 6= 0, be a hyperbolic polynomial with all its zeroesx1, x2, . . . , xnstrictly positive. Then,

n

X

k=1

1

[xⁿ_k + 2n−1]² ≤ 1 4n²

a₁ a₀

holds.

(7)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of14

Proof. Settingα = ¹₂, p=nandb = 2n−1into (2.1), we have

n

X

k=1

1

[xⁿ_k+ 2n−1]² ≤

1 2

_n¹

n²

n−¹₂ 2n−1

²⁻_n¹

a₁ a₀

=

1 2

_n¹

n² 1

2

2−_n¹

a₁ a0

= 1 4n²

a₁ a0

.

Note that equality holds when x_k = 1, 1 ≤ k ≤ n. That is, when A(x) = a_n(x−1)ⁿ. This completes the proof.

Considering the reverse polynomial A^∗(x) = xⁿA(1/x) = Pn

k=0an−kx^k, we have the following

Theorem 2.5. Ifα, pandb are strictly positive real numbers such thatα < p, then

(2.3)

n

X

k=1

x^p_k x^p_k+b

_α¹

≤ α¹^p p^α¹b¹^p

·(p−α)^α¹⁻^p¹

a_n−1 a_n

.

Equality holds whenA(x) = a_n

x−_b(p−α)

α

¹_pn

, a_n 6= 0.

(8)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of14

Proof. SinceA^∗(x)has zeros _x¹

1, . . . ,_x¹

n, then applying (2.1) to it, we get

n

X

k=1

1 h 1

x_k

p

+bi_α¹

≤ α¹^p p^α¹ ·

p−α b

_α¹−¹

p

an−1

a_n .

Developing the LHS of the preceding inequality, we have 1

b^α¹

n

X

k=1

x^p_k

1 b +x^p_k

_α¹

≤ α¹^p p^α¹ ·

p−α b

_α¹⁻_p¹

an−1

an

, and rearranging terms, yields

n

X

k=1

x^p_k

1 b +x^p_k

_α¹

≤b^α¹ · α¹^p p^α¹ ·

p−α b

_α¹−_p¹

an−1

a_n

= α¹^p

p^α¹ ·b¹^p ·(p−α)^α¹⁻^p¹

an−1

a_n .

Finally, replacingbby1/bin the preceding inequality we get (2.3) as claimed.

Applying Theorem2.1, equality in (2.3) holds when A^∗(x) =a_n x−

α b(p−α)

¹_p!n

.

Taking into account that we have changed b by 1/b, equality will hold if and only if

A(x) =an x−

b(p−α) α

¹_p!n

, an6= 0

(9)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of14

and the proof is completed.

Next, we state and prove the following:

Theorem 2.6. Let A(x) be a hyperbolic polynomial with zeros x₁, x₂, . . . , x_n such that x₁ ≤x₂ ≤ · · · ≤ x_n.Letα, pandbbe strictly positive real numbers such thatα < p.Ifa < x₁ ora > x_n, then

(2.4)

n

X

k=1

1

[|x_k−a|^p+b]^α¹ ≤ α¹^p p^α¹

p−α b

_α¹−¹_p

P⁰(a) P(a) . Equality holds when

A(x) =a_n x−

"

a+ bα

p−α

¹_p#!n

or

A(x) =a_n x−

"

a− bα

p−α

¹_p#!n

.

Proof. First, we observe that (2.1) applied to polynomialP(−t)whereP(t)has all its zerost₁, t₂, . . . , t_nnegative, yields

(2.5)

n

X

k=1

1

[|t_k|^p+b]^α¹ ≤ α¹^p p^α¹ ·

p−α b

_α¹−¹_p

a1

a₀ ,

where equality holds when

P(t) = an t+ bα

p−α ¹_p!n

, an6= 0.

(10)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of14

Now, we consider the hyperbolic polynomial of the statement and assume that (i) a < x1 or (ii) a > xn. Let B(x) = A(x+ a), the zeros of which arex₁−a, x₂ −a, . . . , x_n−a.Observe that, they are positive for case (i), and negative for case (ii). On the other hand, coefficients a₀ and a₁ of B(x) are B(0) = A(a)andB⁰(0) = A⁰(a)respectively. Applying (2.1) toB(x)in case (i) or (2.5) in case (ii) we get (2.4).

Finally, we see that equality in (2.4) holds in the case (i) when B(x) =a_n x−

bα p−α

¹_p!n

,

or equivalently when

A(x) = a_n x−

"

a+ bα

p−α

_p¹#!n

.

In case (ii) we will get equality when B(x) =a_n x+

bα p−α

_p¹!n

, a_n 6= 0.

That is, when

A(x) =a_n x−

"

a− bα

p−α

_p¹#!n

and the proof is completed.

(11)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of14

Finally, in the sequel we will extend the result obtained in Theorem2.1 to real polynomials whose zeros lie in the half planeRe(z)>0and they have an imaginary part “sufficiently small”. This is stated and proved in the following.

Theorem 2.7. Let A(z) = Pn

k=0a_kz^k be a polynomial with real coefficients whose zerosz1, z2, . . . , znlie inRe(z)>0and suppose that|Im(z)| ≤rRe(zk), 1≤k ≤n for some realr ≥0.Letα, pandbbe strictly positive real numbers such thatα < p,then

(2.6)

n

X

k=1

1

[|z_k|^p+b]^α¹ ≤ α¹^p p^α¹ ·

p−α b

_α¹−¹_p

·√ 1 +r²

a1

a₀ .

Forr >0, equality holds whennis even and

A(z) = z² − 2

√1 +r² · bα

p−α ¹_p

z+ bα

p−α ²_p!ⁿ₂

.

Note that whenr= 0the preceding result reduces to (2.1).

Proof. Settingx_k =|z_k|and repeating the procedure followed in proving (2.1), we get

n

X

k=1

1

[|z_k|^p+b]^α¹ ≤ α¹^p p^α¹ ·

p−α b

_α¹−¹

p n

X

k=1

1

|z_k|. Next, we will find an upper bound for the sum S = Pn

k=1 1

|z_k|. Reordering the zeros ofA(z)in the wayz₁, z₁, z₂, z₂, . . . , z_s, z_s, x₁, . . . , x_t,wherex₁, . . . , x_tare

(12)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of14

the real zeros (if any), then the preceding sum becomes S= 2

s

X

k=1

1

|z_k| +

t

X

k=1

1

|x_k| = 2

s

X

k=1

|z_k|

|z_k|² +

t

X

k=1

1

|x_k|. On the other hand, by Cardan-Viète formulae, we have

−a1

a₀ =

s

X

k=1

1 z_k + 1

z_k

+

t

X

k=1

1 x_k = 2

s

X

k=1

Rezk

|z_k|² +

t

X

k=1

1 x_k. Taking into account that |z_k| = p

(Rez_k)²+ (Imz_k)² ≤ √

1 +r²|Rez_k| and the fact that the zeros ofA(z)lie inRe(z)>0, yields

S = 2

s

X

k=1

|zk|

|z_k|² +

t

X

k=1

1

|x_k| (2.7)

≤2√ 1 +r²

s

X

k=1

|Rez_k|

|z_k|² +

t

X

k=1

1

|xk|

≤√

1 +r² 2

s

X

k=1

|Rezk|

|z_k|² +

t

X

k=1

1

|x_k|

!

=√ 1 +r²

a1

a₀ , from which (2.6) immediately follows.

Next, we will see when equality holds in (2.6). If r > 0, to get equality in (2.6) we require that (i) all the zeros of A(z) have modulus |z_k| =

bα p−α

¹_p ,

(13)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of14

because when x_k = |z_k| the powered GM-AM inequality (2.2) must become equality, (ii) |Imzk| = rRezk, 1 ≤ k ≤ s, due to the fact that the inequality in (2.7) must become equality, and (iii) all the zeros ofA(z)must be complex because the second inequality in (2.7) also must be an equality. Now it is easy to see that the previous conditions are equivalent to say thatnis even and

z_k = 1

√1 +r²

bα p−α

¹_p

[1 +ri], 1≤k ≤ n 2.

Multiplying the preceding zeros we get that inequality in (2.6) holds whennis even and

A(z) = z² − 2

√1 +r²

bα p−α

¹_p z+

bα p−α

²_p!ⁿ₂ .

This completes the proof.

(14)

Polynomials

P. Rubió-Díaz

Title Page Contents

JJ II

J I

Go Back Close

Quit Page14of14

References

[1] F. VIÈTE, Opera Mathematica, Leiden, Germany, 1646.

[2] M. MARDEN, Geometry of Polynomials, American Mathematical Society, Providence, Rhode Island, 1989.

[3] Th.M. RASSIAS, Inequalities for polynomial zeros, 165–202, in Th.M.

Rassias, (ed.), Topics in Polynomials, Kluwer Academic Publisher, Dor- drecht, 2000.

[4] Q.I. RAHMAN AND G. SCHMEISSER, Analytic Theory of Polynomials, Clarendon Press, Oxford 2002.

[5] D. MITRINOVI ´C, G. MILOVANOVI ´C AND Th.M. RASSIAS, Topics in Polynomials: Extremal Problems, Inequalities and Zeros, World Scientific, Singapore, 1994.