INVERSE BERNSTEIN INEQUALITIES AND MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE arxiv:1307.4056v1 [math.mg] 15 Jul 013 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Abstract. We give a short and elementary proof of an inverse Bernsteintype inequality found by S. Khrushchev for the derivative of a polynomial having all its zeros on the unit circle. The inequality is used to show that equally-spaced points solve a -max- problem for the logarithmic potential of such polynomials. Using techniques recently developed for polarization (Chebyshev-type) problems, we show that this optimality also holds for a large class of potentials, including the Riesz potentials 1/r s with s > 0. 1. Inverse Bernstein-type inequality Inequalities involving the derivatives of polynomials often occur in approximation theory (see, e.g. [4], [6]). One of the most familiar of these inequalities is due to Bernstein which provides an upper bound for the derivative of a polynomial on the unit circle T of the complex plane. In [9], S. Khrushchev derived a rather striking inverse Bernstein-type inequality, a slight improvement of which may be stated as follows. Theorem 1.1. If P(z) = n (z z j ), z j T, z j = e it j, 0 t 1 < t < < t n < π, t n+1 := t 1 +π, ( ) (1.1) m := max 1 j n t [t j,t j+1 ] P(eit ), then ( n ) ( P(z) (1.) P (z) +(m P(z) ) ( nm ) + ), z T, where (x) + := max{x,0}. Date: July 15, 013. 000 Mathematics Subject Classification. 11C08, 41A17, 30C15, 5A40. Key words and phrases. Chebyshev constants, polarization inequalities, Riesz energy, potentials. The research of these authors was supported, in part, by the U. S. National Science Foundation under grant DMS-110966. 1
TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Khrushchev used a potential theoretic method to prove his inequality. Here we offer a simple and short proof based on an elementary zero counting argument. Proof. Write P(e it ) = R(t)e iϕ(t), R(t) := P(e it ), where R and ϕ are differentiable functions on [0,π)\{t 1,t,...,t n }. Since P (e it ) is a continuous function of t R, in the rest of the proof we may assume that t [0,π)\{t 1,t,...,t n }. We have P (e it )e it i = R (t)e iϕ(t) +ir(t)e iϕ(t) ϕ (t), and it follows that (1.3) P (e it ) = (R (t)) +R(t) (ϕ (t)). Using the fact that w = z/(z z j ) maps T onto the vertical line Rew = 1/, we have ( ) ( ϕ (t) = Re ϕ (t) R (t) P R(t) i (e it )e it ) n = Re P(e it = Re e it ) e it e it = n j. Thus from (1.3) we get ( n ) R(t) (1.4) P (e it ) = (R (t)) +, and so, if R(t) m, then (1.) follows immediately. Assume now that R(t) < m. Observe that Q defined by Q(t) := R(t) = P(e it ) is a real trigonometric polynomial of degree n; that is, Q T n. Now let t 0 [0,π) \{t 1,t,...,t n } be fixed, and let T T n be defined by T(t) := m cos (n(t α)/) = m (1+cos(n(t α)), where α R is chosen so that (1.5) T(t 0 ) = Q(t 0 ) and (1.6) sign(t (t 0 )) = sign(q (t 0 )). We claim that (1.7) Q (t 0 ) T (t 0 ). Indeed, Q (t 0 ) < T (t 0 ) together with (1.5) and (1.6) would imply that the not identically zero trigonometric polynomial T Q T n had at least
MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE 3 n+ zeros in the period [0,π) (at least two zeros on each of the intervals [t 1,t ), [t,t 3 ),..., [t n,t n+1 ), and at least four zeros on the interval (t j,t j+1 ) containing t 0 ) by counting multiplicities, a contradiction. Thus (1.7) holds and implies that Q (t 0 ) m ncos(n(t 0 α)/)sin(n(t 0 α)/), which, together with (1.5), yields Q (t 0 ) n (m cos (n(t 0 α)/))(m sin (n(t 0 α)/)) = n ( Q(t 0 ) (m Q(t 0 ) ). SubstitutingQ(t 0 ) = R(t 0 ) and Q (t 0 ) = R(t 0 )R (t 0 ) in the above inequality, we conclude that (R (t 0 )) n 4 (m R(t 0 ) ). Finally, combining this last inequality with (1.4) and recalling that R(t 0 ) = P(e it 0 ) yields (1.). A natural question that arises is finding the maximal value m (n) of the quantity m given in (1.1) or, equivalently (using the notation of Theorem 1.1), detering (1.8) m (n) := max max 1 j nt [t j,t j+1 ] k=1 n (e it z k ), z k = e it k, where Ω n is the collection of all n-tuples ω n [0,π) n of the form ω n = (t 1,...,t n ), 0 t 1... t n < π. In Corollary 6.9 of [9], Khrushchev proved that m (n) =, the value of m correspondingto P(z) = z n 1 for which equality holds throughout in (1.). Here we deduce this fact as a simple consequence of Theorem 1.1. Corollary 1.. Let m (n) be as in (1.8). Then m (n) = and this maximum is attained only for n distinct equally spaced points {z 1,...,z n } on the unit circle. In other words, for any monic polynomial of degree n all of whose zeros lie on the unit circle, there must be some sub-arc formed from consecutive zeros on which the modulus of the polynomial is at most. Proof of Corollary 1.. Assume m (n) >. According to Theorem 1.1, P o(z) > n for all z on T, where P o is a monic polynomial of degree n for which the maximum value m (n) is attained. By the Gauss-Lucas theorem, P o has all its zeros in the open unit disk (clearly it can t have any on T). So now consider the f(z) := P o(z)/z n 1, which is analytic on and outside T, even at infinity where it equals n. Since f does not vanish outside or on T, its modulus must attain its imum on T. But f(z) > n on T, while f( ) = n, which gives the desired contradiction. Thus m (n) =
4 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF and the argument above also shows that if this maximum is attained by a polynomial P o, then f(z) = for all z on or outside T, which implies that f is constant and so P o has equally spaced zeros on T. Observe that the deteration of m (n) can alternatively be viewed as a -max- problem on the unit circle for the logarithmic potential log(1/r) with r denoting Euclidean distance between points on T. In the next section we consider such problems for a general class of potentials.. Min-max- problems on T Let g be a positive, extended real-valued, even function defined on R that is periodic with period π and satisfies g(0) = lim t 0 g(t). Further suppose that g is non-increasing and strictly convex on (0,π]. For ω n = (t 1,...,t n ) Ω n, we set (.1) P ωn (t) := n g(t t j ). Here and in the following we assume that t j is extended so that t j+n = t j +π, (j Z); inparticular, wehavet 0 = t n π andt n+1 = t 1 +π. Forω n = (t 1,...,t n ) Ω n and γ [0,π), let ω n + γ denote the element in Ω n corresponding to the set {e i(t k+γ) } n k=1. Then P ω n+γ(t) = P ωn (t γ). We further let ω n := ( t 1,..., t n ) denote the equally-spaced configuration given by t j := (j 1)π/n, j = 1,,...,n. By the convexity of g, it follows that t [0,π) P ω n (t) = P ωn (π/n). Motivated by recent articles on polarization of discrete potentials on the unit circle (cf. [1], [], [7], [8]) we shall prove the following generalization of Corollary 1.. Theorem.1. Let g be a positive, extended real-valued, even function defined on R that is periodic with period π and satisfies g(0) = lim t 0 g(t). Suppose further that g is non-increasing and strictly convex on (0, π]. Then we have { { }} (.) max 1 j n t [t j,t j+1 ] P ω n (t) = P ωn (π/n); that is, the solution to the -max- problem on T is given by n distinct equally-spaced points on T and, moreover, these are the only solutions.
MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE 5.1. Logarithmic and Riesz kernels. It is straightforward to verify that g(t) = g log (t) := log(1/ e it 1 ) = log(sin t/ ) satisfies the hypotheses of Theorem.1 providing an alternate proof of Corollary 1.. Furthermore, for the case (relating to Euclidean distance), (.3) g(t) = g s (t) := e it 1 s = (sin t/ ) s, s > 0, we obtain the Riesz s-potential and it is again easily verified that g s satisfies the hypotheses of Theorem.1. Consequently, with z k = e it k, (.4) max 1 j n t [t j,t j+1 ] k=1 n e it z k s = n e iπ/n e kπi/n s = Mn(T), s where Mn s (T) is the Riesz s-polarization constant for n points on the unit circle (cf. [8]). We remark that for s an even integer, say s = m, the precise value of Mn s (T) can be expressed as a polynomial in n; namely, as a consequence of the formulas derived in [5], (.5) M m n (T) = (π) m k=1 m n k ζ(k)α m k (m)( k 1), m N, k=1 where ζ(s) is the classical Riemann zeta function and α j (s) is defined via the power series for sincz = (sinπz)/(πz) : (sincz) s = α j (s)z j ; α 0 (s) = 1, j=0 see Corollary 3 from [8]. In particular, M n(t) = n 4, M4 n(t) = n 4 + n4 48, M6 n(t) = n 10 + n4 19 + n6 480... Proof of Theorem.1. Theorem.1 is a consequence of the following lemma which is the basis of the proof of the polarization theorem established by Hardin, Kendall and Saff in [8]. (In Section 3 we state a slightly stronger version of this polarization result as Theorem 3.1 and present some related results.) Lemma.. Let g be as in Theorem.1 and suppose ω n = (t 1,...,t n ) and ω n = (t 1,...,t n ) are in Ω n. Then there is some l {0,1,...,n} and some γ [0,π) (where l and γ depend on ω n and ω n but not on g) such that (.6) P ω n (t γ) P ωn (t), t [t l,t l+1 ], and [t l,t l+1 ] [t l +γ,t l+1 +γ]. The inequality is strict for t (t l,t l+1 ) unless t j+1 t j = t j+1 t j for all j = 1,...,n.
6 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Sketch of proof. This lemma follows from techniques developed in[8], specifically from Lemmas 5and6inthat paper. For theconvenience of thereader, we provide herean outline of its proof. First, the convexity of g implies that, for n =, the inequality (.7) P (t1,t + )(t) < P (t1,t )(t), t (t 1,t ), holds for sufficiently small > 0 (this observation was also used in []). That is, the potential due to two points decreases on an interval when the points are moved symmetrically away from the interval. For simplicity, we consider the case that sep(ω n ) := j (t j+1 t j ) > 0, (see [8] for the case of coincident points where sep(ω n ) = 0). Next, using elementary linear algebra, we find a vector = ( 1,..., n ) such that (a) k 0 for all k, (b) l = 0 for some l and (c) solves the equations (.8) (t j+1 t j) = (t j+1 t j ) j+1 + j j 1, (j = 1,...,n) where we take 0 := n and n+1 := 1. For j = 1,...,n, consider the transformation τ j, (ω n ) := (t 1,...,t j,t j 1,t j +,t j+1,...,t n ). Then (.8) implies that ω n := τ 1, 1 τ, τ n, n (ω n ) equals ω n +γ for some γ [0,π). If max j j (1/)sep(ω n ) then, since l = 0 and k 0, we may apply the inequality (.7) n times to obtain (.6). Moreover, unless k = 0 for all k, inequality (.8) is strict. If max j j > (1/)sep(ω n ), then we may choose m such that (1/m)max j j < (1/)sep(ω n ) and then recursively applying τ (1/m) to ω n the number m times, we again obtain (.6). Finally, since l = 0 and l 1, l+1 0, we have [t l,t l+1 ] [t l,t l+1 ] = [t l +γ,t l+1 +γ]. Proof of Theorem.1. Let ω n Ω n be fixed but arbitrary and recall that ω n denotes an equally spaced configuration. By Lemma., there is some l {0,1,...,n} and some γ [0,π) such that P ωn (t γ) P ωn (t), t [t l,t l+1 ]. Hence, P ωn (π/n) = t [0,π) P ω n (t) t [t l,t l+1 ] P ω n (t γ) P ω n (t) max P ω n (t). t [t l,t l+1 ] j t [t j,t j+1 ]
MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE 7.3. Derivatives of logarithmic potentials. We next consider a class of kernels g derived from g log that were considered in [7]. For an even positive integer m, we define the kernel: Then, for t [0,π), and hence g (t) = d dt g m (t) := g (m) dm log (t) = dt mg log(t). ( 1 ( )) t cot = 1 ( ) t 4 csc g m (t) = 1 4 f(m ) (t), where f(t) := csc (t/). Following [7], we next verify that g m satisfies the hypotheses of Theorem.1. It is well known and elementary to check that tant = a j t j, t ( π/,π/), with each a j 0, j = 1,,... Hence, if h(t) := tan(t/), then Now observe that and hence, h (k) (t) > 0, t (0,π), k = 0,1,.... f(t) = csc ( t ) = sec π t ( 1) k f (k) (t) = h (k+1) (π t) > 0, = h (π t), t (0,π). This implies that if m is even, then g m (t) = 1 4 f(m ) (t) is a positive, decreasing, strictly convex function on (0,π). It is also clear that if m is even, then g m is even since f is even. Thus, g = g m satisfies the hypotheses of Theorem.1. We remark that, for an even positive integer m, an induction argument implies that g m (t) = p m (r ), r = sin(t/), for some polynomial p m of degree m/. The induction follows from the recursive relation (.9) p m+ (x) = (6x x)p m (x)+(4x3 x )p m (x), which is easily derived using (r ) = 1 (r/) and r = r/4. Thus, g m can be expressed as a linear combination of Riesz s-potentials with s =,4,...,m with coefficients corresponding to the polynomial p m. Table 1 displays p m for m =,4,6, and 8. For ω n Ω n, we let Q ωn (t) := n sin t t j
8 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF and set T n (t) := Q ωn (t) = 1 n sin nt. Our next two results are consequences of Lemma. and Theorem.1, respectively. Theorem.3. Let m be a positive even integer and ω n Ω n. Then there is some γ [0,π) and some j {1,,...,n} (with γ and j depending on ω n ) such that (log Q ωn ) (m) (t) (log T n ) (m) (t γ), t (t j,t j+1 ). Proof. This is an immediate consequence of Lemma. with g = g m and ω n = ω n,andsop ωn (t) = (log Q ωn ) (m) (t)andp ωn (t) = (log T n ) (m) (t)). Since g m satisfies the hypotheses of Theorem.1, we obtain the following theorem. Theorem.4. We have { { max 1 j n t [t j,t j+1 ] (log Q ω n ) (m) (t) for every even positive integer m. }} = (log T n ) (m) (π/n), From (.9), one can show that the leading coefficient of p m is (m 1)!. A somewhat more detailed computation using (.5) and (.9) yields (.10) (log T n ) (m) (π/n) = (π) mζ(m)(m 1)!(m 1). Table 1 gives the values (log T n ) (m) (π/n) for m =,4,6,8, and for n N. m p m (x) (log T n ) (m) (π/n) x n /4 4 6x x n 4 /8 6 10x 3 30x +x n 6 /4 8 5040x 4 1680x 3 +16x x 17n 8 /16 Table 1. The polynomials p m (x) and the values (log T n ) (m) (π/n) from (.10) (see Theorem.4 and Corollary 3.3) for m =,4,6,8, and for n N.
MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE 9 3. Comments on polarization The main part of the following polarization theorem was proved in [8]. As observed in [7], for each ω n Ω n, we may restrict the set over which we search for a imum to n E(ω n ) := [0,π)\ (t j π/n,t j +π/n) (mod π). Theorem 3.1. Let g be as in Theorem.1. Then { } { (3.1) max t [0,π) P ω n (t) = max t E(ω n) P ω n (t) } = P ωn (π/n). Proof. Let ω n Ω n be arbitrary. The proof follows from Lemma. and is similar to the proof of Theorem.1, except that the roles of ω n and ω n are switched. By Lemma., there is some l {0, 1,..., n} and some γ [0,π) such that P ωn (t γ) P ωn (t), t [ t l, t l+1 ], and [ t l, t l+1 ] [t l +γ,t l+1 +γ]. Then t l +π/n π(l 1)/n γ t l+1 π/n, and so π(l+1)/n γ E(ω n ). We then obtain t [0,π) P ω n (t) t E(ω n) P ω n (t) P ωn (π(l+1)/n γ) which completes the proof. P ωn (π(l+1)/n) = P ωn (π/n), Theorem 3.. Let ω n Ω n. Then there is a number θ [0,π) (depending on ω n ) such that (log Q ωn ) (m) (t) (log T n ) (m) (t θ), for every nonnegative even integer m. t (θ,θ +π/n), Proof. Let m be a nonnegative even integer. We apply Lemma. with g = g m, ω n = ω n and ω n = ω n (in which case, P ωn (t) = (log Q ωn ) (m) (t) and P ωn (t) = (log T n ) (m) (t)) to deduce that there is an l {1,,...,n} and a number γ [0,π) (depending on ω n ) such that (log Q ωn ) (m) (t γ) (log T n ) (m) (t), t [ t l, t l+1 ), which can be rewritten using θ := t l γ, u := t γ, and the fact that T n is π/n periodic as (log Q ωn ) (m) (u) (log T n ) (m) (u θ), u [θ,θ+π/n).
10 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Corollary 3.3. We have { max t [0,π) (log Q ω n ) (m) (t) for every even integer m. } { } = max (log Q ω n ) (m) (t) t E(ω n) = (log T n ) (m) (π/n) Proof. This is an immediate corollary of Theorem 3.1. References [1] G. Ambrus, Analytic and Probabilistic Problems in Discrete Geometry, Ph.D. Thesis, University College London, 009 [] G. Ambrus, K. Ball, and T. Erdélyi, Chebyshev constants for the unit circle, Bull. London Math. Soc., 45() (013), 36 48. [3] S.N. Bernstein,, Leçons sur les propriétés extrémales et la meilleure approximation des fonctions analytiques d une variable réelle, Gauthier-Villars, Paris (196). [4] P. Borwein and T. Erdélyi, Polynomials and Polynomial Inequalities, Springer-Verlag, New York, N.Y. (1995). [5] J. S. Brauchart, D. P. Hardin, and E. B. Saff, The Riesz energy of the Nth roots of unity: an asymptotic expansion for large N, Bull. London Math. Soc. 41(4) (009), 61 633. [6] R. A. DeVore and G. G. Lorentz, Constructive Approximation, Springer-Verlag, Berlin, Heidelberg (1993). [7] T. Erdélyi and E. B. Saff, Riesz polarization in higher dimensions, J. Approx. Theory, 171 (013), 18-147. [8] D. P. Hardin, A. P. Kendall and E. B. Saff, Polarization optimality of equally spaced points on the circle for discrete potentials, (to appear) Discrete Comput. Geom. [9] S. Khrushchev, Rational compacts and exposed quadratic irrationalities, J. Approx. Theory 159 () (009), 43-89. Department of Mathematics, Texas A&M University, College Station, Texas 77843, USA E-mail address: terdelyi@math.tamu.edu Center for Constructive Approximation, Department of Mathematics, Vanderbilt University, Nashville, TN 3740, USA E-mail address: doug.hardin@vanderbilt.edu E-mail address: edward.b.saff@vanderbilt.edu