A NOTE ON NEWTON’S INEQUALITY SLAVKO SIMIC Mathematical Institute SANU, Kneza Mihaila 36 11000 Belgrade, Serbia. Newton’s Inequality Slavko Simic vol. 10, iss. 2, art. 44, 2009 EMail: ssimic@turing.mi.sanu.ac.rs Title Page Received: 25 March, 2009 Accepted: 12 April, 2009 Communicated by: S.S. Dragomir 2000 AMS Sub. Class.: Contents JJ II 26E60. J I Key words: Symmetric functions, Weighted means. Page 1 of 8 Abstract: We present a generalization of Newton’s inequality, i.e., an inequality of mixed form connecting symmetric functions and weighted means. Two open problems are also stated. Go Back Full Screen Close Contents 1 Introduction 3 Newton’s Inequality Slavko Simic vol. 10, iss. 2, art. 44, 2009 Title Page Contents JJ II J I Page 2 of 8 Go Back Full Screen Close 1. Introduction A well-known theorem of Newton [1] states the following: Theorem 1.1. If all the zeros of a polynomial (1.1) Pn (x) = e0 xn + e1 xn−1 + · · · + ek xn−k + · · · + en , e0 = 1, Newton’s Inequality are real, then its coefficients satisfy Slavko Simic (n) ek−1 ek+1 ≤ Ak e2k , (1.2) (n) where Ak := k = 1, 2, . . . , n − 1; n−k k . k+1 n+1−k For a sequence a = {ai }ni=1 of real numbers, by putting (1.3) n n Y X Pn (x) = (x + ai ) = ek xn−k , i=1 k=0 we see that the coefficient ek = ek (a) represents the kth elementary symmetric function of a, i.e. the sum of all the products, k at a time, of different ai ∈ a. There are several generalizations of Newton’s inequality [2], [3]. In this article we give another one. For this purpose define the sequences a0i := a/{ai }, i = 1, 2, . . . , n, and by ek (a0i ) denote the k-th elementary symmetric function over a0i . We have: Theorem 1.2. Let c = fying (1.4) {ci }ni=1 be a weight sequence of non-negative numbers satisn X i=1 ci = 1, vol. 10, iss. 2, art. 44, 2009 Title Page Contents JJ II J I Page 3 of 8 Go Back Full Screen Close and, for an arbitrary sequence a = {ai }ni=1 of real numbers, define (c) Ek (1.5) := n X ci ek (a0i ), (c) E0 = 1, i=1 or equivalently, (1.6) (c) Ek = ek − ek−1 f1 + ek−2 f22 − · · · + (−1)r ek−r frr + · · · + (−1)k fkk , Newton’s Inequality Slavko Simic where vol. 10, iss. 2, art. 44, 2009 n X fs := (1.7) ! 1s ci asi . Title Page i=1 Contents Then (1.8) (c) (c) (n−1) Ek−1 Ek+1 ≤ Ak (c) Ek 2 , k = 1, 2, . . . , n − 1. Proof. We shall give an easy proof supposing that the sequence c consists of arbitrary positive rational numbers. Since a and c are independent of each other, the truthfulness of the above theorem follows by the continuity principle. Therefore, let p = {pk }nk=1 be an arbitrary sequence of positive integers and put (1.9) pi ci = Pn 1 pk , i = 1, 2, . . . , n; p ∈ N. Now, for a given real sequence a, consider the polynomial Q(x) defined by (1.10) n Y Q(x) := (x + ai )pi . i=1 JJ II J I Page 4 of 8 Go Back Full Screen Close Since all its zeros are real, by the well-known Gauss theorem, the zeros of Q0 (x), 0 Q (x) = Q(x) (1.11) n X i=1 pi , x + ai are also real. In particular, the same is valid for the polynomial R(x) defined by n n Y X R(x) := (x + ai ) (1.12) i=1 i=1 Newton’s Inequality ci . (x + ai ) Slavko Simic vol. 10, iss. 2, art. 44, 2009 Since (c) (c) (c) the result follows by simple application of Theorem 1.1. P Remark 1. Since ni=1 ek (a0i ) = (n − k)ek (a), putting ci = 1/n, i = 1, 2, . . . , n in (1.5) and (1.8), we obtain the assertion from Theorem 1.1. Hence our result represents a generalization of Newton’s theorem. P (c) 1/s Also, denoting by fs (a) = fs := ( ni=1 ci asi ) , s > 0, the classical weighted mean (with weights c) of order s, and using the identity ek (a0i ) = ek (a) − ai ek−1 (a0i ), (1.14) (c) an equivalent form of Ek arises, i.e., (1.15) Title Page R(x) = xn−1 + E1 xn−2 + · · · + Ek xn−1−k + · · · + En−1 , (1.13) (c) Ek = ek − ek−1 f1 + ek−2 f22 − · · · + (−1)r ek−r frr + · · · + (−1)k fkk . Putting this in (1.8), we obtain a mixed inequality connecting elementary symmetric functions with weighted means of integer order. Contents JJ II J I Page 5 of 8 Go Back Full Screen Close Problem 1.1. An interesting fact is that non-negativity of c is not a necessary condition for (1.8) to hold. We shall illustrate this point by an example. For k = 1, n = 3, we have (c) (c) (c) (E1 )2 − 4E0 E2 = (c1 (a2 + a3 ) + c2 (a1 + a3 ) + c3 (a1 + a2 ))2 − 4(c1 a2 a3 + c2 a1 a3 + c3 a1 a2 ) = (1 − c2 )2 (a1 − a2 )2 + 2(c1 − c2 c3 )(a1 − a2 )(a3 − a1 ) + (1 − c3 )2 (a3 − a1 )2 , and this quadratic form is positive semi-definite whenever c1 c2 c3 ≥ 0. Hence, in this case the inequality (1.8) is valid for all real sequences a with c satisfying (1.16) c1 + c2 + c3 = 1, Problem 1.2. There is an interesting application of Theorem 1.2 to the well known Turan’s problem. Under what conditions does the sequence of polynomials {Qn (x)} satisfy Turan’s inequality Contents JJ II J I Page 6 of 8 Go Back 2 Qn−1 (x)Qn+1 (x) ≤ (Qn (x)) , Full Screen for each x ∈ [a, b] and n ∈ [n1 , n2 ]? Close This problem is solved for many classes of polynomials [4]. We shall consider here the following question [5]. An arbitrary sequence {di }, i = 1, 2, . . . of real numbers generates a sequence of polynomials {Pn (x)}, n = 0, 1, 2, . . . defined by (1.18) Slavko Simic vol. 10, iss. 2, art. 44, 2009 Title Page c1 c2 c3 ≥ 0. Therefore there remains the seemingly difficult problem of finding true bounds for the sequence c satisfying (1.4), such that the inequality (1.8) holds for an arbitrary real sequence a. (1.17) Newton’s Inequality Pn (x) := xn + d1 xn−1 + d2 xn−2 + · · · + dn−1 x + dn , P0 (x) := 1. Denote also by An the set of zeros of Pn (x). Now, if for some m > 1 the set Am consists of real numbers only, then from Theorem 1.2, it follows that (1.19) Pn−1 (a)Pn+1 (a) ≤ Pn2 (a), for each a ∈ Am and n ∈ [1, m − 1]. Is it possible to establish some simple conditions such that the Turan inequality (1.20) Pn−1 (x)Pn+1 (x) ≤ Pn2 (x), Newton’s Inequality Slavko Simic vol. 10, iss. 2, art. 44, 2009 holds for each x ∈ [min a, max a]a∈Am and n ∈ [1, m − 1]. Title Page Contents JJ II J I Page 7 of 8 Go Back Full Screen Close References [1] G.H. HARDY, J.E. LITTLEWOOD AND G. POLYA, Inequalities, Camb. Univ. Press, Cambridge, 1978. [2] J.N. WHITELEY, A generalization of a theorem of Newton, Proc. Amer. Math. Soc., 13 (1962), 144–151. [3] K.V. MENON, Inequalities for symmetric functions, Duke Math. J., 35 (1968), 37–45. [4] S. SIMIC, Turan’s inequality for Appell polynomials, J. Ineq. Appl., 1 (2006), 1–7. Newton’s Inequality Slavko Simic vol. 10, iss. 2, art. 44, 2009 Title Page [5] S. SIMIC, A log-concave sequence, Siam Problems and Solutions, [ONLINE: http//:www.siam.org]. Contents JJ II J I Page 8 of 8 Go Back Full Screen Close