arxiv: v1 [math.cv] 17 May 2018

Transcription

1 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS arxiv: v [math.cv] 7 May 208 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Abstract. For a pair of conjugate trigonometrical polynomials Ct = a j jt, St = a j jt with real coefficients and normalization a = we solve the extremal problem { sup min R F e it : I F e it = 0 } = a 2,...,a t 4 sec2. We show that the solution is unique and is given by a 0 j = U U j+ U j, where the U j x are the Chebyshev polynomials of the second kind, j =,...,. As a consequence, we obtain some theorems on covering of intervals by polynomial images of the unit disc. We formulate several conjectures on a number of extremal problems on classes of polynomials.. Introduction One of the fundamental problems in nonlinear dynamics is suppression of the chaotic regime of a system [22, ]. To solve this problem, various schemes connected with special representation of the delayed feedback DFC have been suggested [25, 4, 7]. The classical linear DFC scheme [24] is only applicable for a limited range of parameters involved in the nonlinear system [28, 8]. On the other hand, the nonlinear DFC scheme with several delays allows solving the problem of controling chaos in a fairly general case [9, 0]. At the same time, it is necessary to keep the length of the prehistory applied at a minimal possible level. The problem reduces to the following optimization problem: find G = sup min {RF e it : IF e it = 0}, t a Key words and phrases. Geometric complex analysis, Koebe radius, Suffridge polynomials, positive trigonometric polynomials.

2 2 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS where the supremum is taken over all real a,..., a n summing to and where F z = a jz j, and also find a polynomial F that achieves the supremum. The coefficients a 0 j of this polynomial determine the parameters of the required DFC. This problem is solved in [0]: G = tan 2 2 +, a 0 j = 2 + tan 2 + j j, j =,...,, + and the coefficients a 0 j can be expressed through Chebyshev polynomials of the second kind: a 0 = 2, + + a 0 j = a 0 j U j, j = 2,...,, + where The polynomial 2 S z = a 0 U j x = U j t = j + t t = 2 j x j j U j z j + was first considered in [27] and is called the Suffridge polynomial. The polynomial is univalent. Various properties of these polynomials were obtained in [2, 6]. The Suffridge polynomial has S 0 = 0, S =, so it is natural to restrict problem to polynomials with this normalization. Such an optimization problem also appears in linear feedback control. So, let us consider the following problem: Problem. Find { J = sup min R F e it : I F e it = 0 } a 2,...,a R t where F z = z + j=2 a jz j, and find the extremal polynomial F. It is clear that I F e it = 0 when t = 0 or t =.

3 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 3 2. Auxiliary results First, we prove a property of the image of the unit disc under a polynomial mapping. Lemma. Let F z = z + a 2 z a z a j C, j = 2,...,, and let D = {z : z < } be the unit disc. Then F D contains a disc of radius centered at zero. Proof. Let γ C and assume that F z takes the value γ for no z D. Since F z + j=2 a j for all z D, such values exist. Then the polynomial γ + F z does not vanish for z D, and the reciprocal polynomial z γ + F z = γz + z + a 2 z 2 + a is Schur stable. The Vieta theorem now implies, hence γ. Remark. The Vieta theorem implies that a j γ j, j =,...,, therefore a j 2 and a j 2 γ. γ The following lemma about factorization of conjugate trigonometrical polynomials can be considered as a real analogue of the Bézout theorem. Lemma 2. Let 3 Ct = γ a j jt, St = a j jt be a couple of conjugate trigonometrical polynomials with real coefficients. Suppose that 4 St =... = St m = 0, Ct =... = Ct m = γ, for some t,..., t m 0, with 2m n. Then the trigonometrical polynomials 3 have a representation of the form Ct = γ + St = m t t k k= m t t k k= m j=m m j=m α j jt, α j jt, where the coefficients α m,..., α m are uniquely determined by γ, a,..., a, and α m = 2 m γ, a = α m+ αm m 2 m 2 m t j.

4 4 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Proof. Consider the algebraic polynomial F z = γ + n a j z j. Then Ct = γ + R F e it and St = I F e it. Because of 4, F e it j = F e it j = 0 for j =,..., m. By the Fundamental Theorem of Algebra there are numbers β,..., β n 2m such that m F z = z e it k z e it k γ + k= n 2m Let us write m z e it j z e it j m = z 2 2z t j + β j z j. = 2 m z m m z + t j. 2 z Then F z = Therefore m z + n 2m t k 2 m γz m + 2 m β j z m+j. 2 z k= R F e it = I F e it = m t t k 2 m γ mt + 2 m k= m t t k 2 m γ mt + 2 m k= which implies that Ct = γ + St = m t t k k= m t t k k= m j=m m j=m α j jt n m j=m+ n m j=m+ α j jt, with α m = 2 m γ and α m+j = 2 m β j for j =,..., n 2m. β j m jt β j m jt,,

5 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 5 Further, F z = d m z 2 2z t j + n 2m γ + β j z j dz n 2m m m = 2 γ + β j z j z t k z 2 2z t j + + m k= z 2 2z t j + n 2m j k jβ j z j. Hence F 0 = 2γ m k= t k + β = αm proves the lemma. 2 m m k= t k+ α m+, which 2 m We will need some properties of Chebyshev polynomials of the second kind. Lemma 3. The following identities are valid: U j xu j+k x = U j xu j+k x U k x, U j+k x = U j xu k x U j xu k x, d dx U kx = 2 x 2 k + 2U k x ku k+ x = x k + U k x kxu 2 k x. Proof. This follows from the definition of Chebyshev polynomials by straightforward computations. ow, let us define two matrices: 0 / /2 0 / A = 0 /2 0 / /2 0..., B = Let I denote the unit matrix. 0 0 / /2... / / Lemma 4. det 4x 2 I A I B = U 2 x +xu + x. Proof. Set Φ = 4x 2 I A I B = U 2 xu / xu U 2 xu / /2 xu U 2 xu / ,

6 6 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS where U = 2x and U 2 = 4x 2 are the Chebyshev polynomials of the second kind of degree and 2 respectively we drop the variable in the polynomials for brevity. Let Φ = xu xu / /2 0 Φ.... We compute the determinant of Φ by expanding along the first row: 5 Φ = U 2 Φ + xu Φ xu Φ U 2 Φ 3 8 Φ 4. Similarly, 6 Φ = xu Φ + x 2 U Φ 2 + Φ 2. 4 ow, write 5 for Φ + and substitute Φ from 6: Φ + = U 2 Φ x 2 U 2 Φ + x2 2 U 2 Φ 2 4 U 2 Φ Φ 3 x 2 U Φ x + 4 U Φ 2. Taking into account 5, we will exclude Φ and Φ 2 from the last equation; note that the structure of 5 allows us to exclude the whole linear combination xu 2 Φ + x U 4 Φ 2 at one go, which is crucial: Φ + = U 2 2 Φ + U 2 2 x 2 U 2 Φ x + 2 U 2 2 U 4 2 Φ 2 + U Φ 3 + Φ ote that U 2 = 2 4x2 3 and U x 2 U 2 = 4x 4 +2x 2. Consider 2 the difference equation 7 Z + = 4x Z 8 Z 3 + 4x 4 + 2x 2 2 Z 2 Z Z 4. It is a linear equation with constant coefficients with respect to of the fifth order. For any initial values of Z,..., Z 5 there exists a unique solution Z of 7 for = 6, 7, 8,.... ote that the function Z = Φ satisfies 7. To prove the lemma, we have to show that the function φ = 2 x U +xu + x satisfies 7 and the initial conditions φ j = Φ j for j =, 2, 3, 4, 5.

7 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 7 We apply Lemma 3 to write φ = 2 +3 x x 2 U +x + 3U x + U x. The equalities 8 φ j = Φ j, j =, 2, 3, 4, 5, can easily be checked directly. Denote U 3 = ξ and U 4 = η. By Lemma 3, U +j = ξu j+3 ηu j+2, j = 2,, 0,, 2, 3. After substituting φ in 7 we get 8 U + 4U + U +3 = x 2 3 U + + 3U + U 8 + 2x 4 + x 2 U U U x 4 x 2 + U + U 2 U 4 + x U 2 U 3 2U U 3 U 4 3U 2. Inserting the above formulas for U +j, we can express everything through the parameters ξ, η and the Chebyshev polynomials U 0 x,..., U 5 x. As a result, the left and right sides become the same fourteenth degree polynomial of the variables ξ, η, x, : x x x x x 3 3/2 + 9/2xξ x x x x 3 + 5/4 + 7/2xη x x x x x 2 /4 + 3/4ξη, which can be easily checked by computer. Thus, φ satisfies 7. Because it satisfies the same initial conditions 8, by the uniqueness of solution to the difference equation 7 with given initial conditions we conclude that φ Φ.

8 8 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Corollary. The roots of the equation det 4x 2 I A I B = 0 + are the real numbers {±µ j } + 2 2, {±ν j }, where µ j = j U + ν j = 0, which can be ordered as 0 < µ < ν 2 < ν 2 < µ 2 <... < ν < µ if is odd, <... < ν < µ if is even., The corollary follows from the fact that the zeros of the polynomials U + x and U + x are alternating. The one- Lemma 5. Let A and B be as in the previous lemma. parameter family cδ 0 j, where c R, δ 0 x = U 0 xu x,..., U xu x T, and T denotes transposition, is a solution to the system of linear equations in δ, 4 2 j + I A I B δ = 0, j =,...,. 2 Proof. Let Φ x = 4x 2 I A I B, as in the proof of Lemma 4. Let us multiply this matrix by the vector δ 0 x and write the product in coordinates: 4x 2 U 0 xu x 2x 2 U xu 2 x + 2 U 2xU 3 x = 0, 2x 2 U 0 xu x + 4x 2 U xu 2 x 2x 2 U 2 xu 3 x + 2 U 3xU 4 x = 0, 2 U jxu j+ x 2x 2 U j+ xu j+2 x + 4x 2 U j+2 xu j+3 x 2x 2 U j+3 xu j+4 x + 2 U j+4xu j+5 x = 0, j = 0,..., 5, 2 U 4xU 3 x 2x 2 U 3 xu 2 x + 4x 2 U 2 xu x 2x 2 U xu x = 0, 2 U 3xU 2 x 2x 2 U 2 xu x + 4x 2 U xu x = 0.

9 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 9 ow let us make the substitutions U j x ξ j+ 2 ξ j+ and x = ξ j+ + ξ j+. 2 The first 2 equations are identities for any ξ, in particular for ξ = e i j. The next to last and the last equations are equivalent to ξ 2 ξ 2+4 = 0, 2ξ 2 ξ 2 + ξ ξ 2+4 = 0. Both these equations have roots ξ = e i j. We will need the following trigonometric identity. Lemma 6. For any k = 0,,...,, j + k Proof. We have k 2 = k j + k = k k k + k k + 3 k + j + j + k k 2j + k + = k + k + k + k k k + k + 2j 2 k + + k 2j = k k k + + k + 2 k +.

10 0 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS k + k k = k + k + k + k k + k = k = k On the other hand, k k k + k + k + k + k + k k = k + k = k k k = k k+ = k k+ k + 2. k + 3 k+ k+ 2 k k+ k 2 k 2 2 k k+ + + k+ k+2 +. These imply the identity in the lemma. + 2 k 2 k k + 3. The main result ow, let us turn to Problem. Recall that the polynomials considered are of the form F z = z + j=2 a jz j. Lemma 7. If a trigonometric polynomial I F e it has a zero in 0,, then min t { R F e it : I F e it = 0 } < J.

11 Proof. Set ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS Ct = R F e it = a j jt, St = I F e it = a j jt, where a =. Since the coefficients a j are real, we can restrict ourselves to t [0, ]. Let ρ a 2,..., a = min t [0,] {Ct : St = 0}. It is clear that sup aj ρ a 2,..., a increases in, and by Lemma it is bounded from above by. In addition, ρ 2a 2 = /2 if a 2 = /2 and by Lemma we have J 2 = /2. It follows from the comments to Lemma that a j 2. 2 So the supremum sup aj ρ a 2,..., a can be taken over a bounded set A R = {a 2,..., a : j=2 α j R} for some R > 0. The function ρ a 2,..., a is continuous on A R except at those points a 2..., a for which the minimum value of Ct is achieved at a zero of St where this function does not change sign. The lower limit of ρ a 2,..., a at each discontinuity point is equal to the value of the function. This means that on A R the function ρ a 2,..., a is lower semicontinuous. Along with ρ a 2,..., a we will consider the function ˆρ a 2,..., a = min {Ct : t T {}}, where T is the set of points in 0, where St changes sign. T {} is contained in the set of zeros of St, we have sup ρ a 2,..., a sup ˆρ a 2,..., a. a 2,...,a A R a 2,...,a A R Since ˆρ a 2,..., a is upper semicontinuous, it attains on A R a maximal value ˆρ 0 = max ˆρ a 2,..., a. a 2,...,a A R It follows from Lemma that ˆρ 0 < 0. Let us call a pair of trigonometric polynomials { C 0 t, S 0 t } at which the maximum is achieved an optimal pair. Let us assume that for the optimal polynomial S 0 t the set T = {t,..., t q }, where q, is not empty. Assume moreover that min { C 0 t,..., C 0 t q } = C 0 t, As

12 2 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS and C 0 t = C 0 t j, j =,..., m m q, C 0 t < C 0 t j, j = m +,..., q. Our goal is to show that T is in fact empty. For this purpose, we construct an auxiliary class of polynomials with the first coefficient equal to, and compare the value of ˆρ a 2,..., a for { C 0 t, S 0 t } with the value for a pair of conjugate trigonometric polynomials from the auxiliary class. Two cases are possible:. C 0 t < C 0 or 2. C 0 C 0 t. Case. According to Lemma 2, S 0 t = m t t k k= m j=m C 0 t = α m 2 + m t t m k k= α j jt, m j=m α j jt. As C 0 t = αm and ˆρ 2 m 0 < 0, we have α m m > 0. In addition, a =, so by Lemma 2, α m+ αm m 2 m 2 m t j =. Let us construct an auxiliary class of trigonometric polynomials Sθ..., θ m ; t = θ..., θ m Cθ..., θ m ; t = θ..., θ m m k= m t θ k α j jt, α m 2 + m m k= j=m m t θ k j=m α j jt where θ..., θ m ensures that the first coefficient of Sθ..., θ m ; t and Cθ..., θ m ; t is :, θ..., θ m = α m+ αm m 2 m 2 m θ. j The polynomials Cθ..., θ m ; t and Sθ..., θ m ; t are conjugate and for {θ,..., θ m } = {t..., t m } coincide with C 0 t and S 0 t respectively. ote that the set of sign changes o for Sθ..., θ m ; t is T θ = {θ,..., θ m, t m+,..., t q }.

13 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 3 Finally, Sθ..., θ m ; t, Cθ..., θ m ; t can be written as m k= Sθ,..., θ m ; t = t θ k m j=m α j jt α m+ αm m 2 m 2 m θ, j Cθ,..., θ m ; t = αm + m 2 m k= t θ k m j=m α j jt α m+ αm m 2 m 2 m θ. j Let us show that the value ˆρ for {Cθ..., θ m ; t, Sθ..., θ m ; t} is greater than for {C 0 t, S 0 t}, so the pair {C 0 t, S 0 t} is not optimal. It is clear that Cθ,..., θ m ; θ =... = Cθ,..., θ m ; θ m = α m 2 m α m+ 2 m αm 2 m m θ j = 2 m θ j α. m+ a m If 0 < θ j t j < ε for all j =,..., m, then the value of 2 m θ j αm α m is close to αm = C 0 t 2 m. Since the ine function decreases on 0,, the value of Cθ..., θ m ; θ increases in each of the parameters θ,..., θ m. By continuity of trigonometric polynomials in t and in all coefficients we have Cθ..., θ m ; θ j > C 0 t j, j =,..., m, Cθ..., θ m ; t j C 0 t j < δ, j = m +,..., q, Cθ..., θ m ; C 0 < δ, for any arbitrarily small δ for an appropriate choice of ε. These inequalities mean that min{cθ,..., θ m ; θ,..., Cθ,..., θ m ; θ m, Cθ,..., θ m ; t m+,..., Cθ,..., θ m ; t q,..., Cθ,..., θ m ; } is larger than min {C 0 t,..., C 0 t q, C 0 }, at least for sufficiently small positive values of θ j t j, j =,..., m. Thus, {C 0 t, S 0 t} is not optimal. Case 2. We have C 0 = αm 2 m m k= + t k m j=m j α j, α m Cθ,..., θ m ; = 2 m + m k= + θ k m j=m j α j α m+ αm m 2 m 2 m θ, j

14 4 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS and Ct..., t m ; = C 0. Since by the assumptions C 0 αm it follows that m j=m j α j 0, and the value α m 2 + m m k= m + θ k j=m j α j decreases in each parameter θ,..., θ m. For small positive θ j t j, j =,..., m the value α m+ αm m 2 m 2 m θ j is close to and increases in each parameter θ,..., θ m. Thus, Cθ,..., θ m ; increases in each θ,..., θ m as well. Moreover, the values Cθ,..., θ m ; θ j, j =,..., m, are all equal and also increase in θ,..., θ m. Hence, in this case too, the pair {C 0 t, S 0 t} is not optimal. Thus, it is shown that the set T is empty, i.e., the optimal pair {C 0 t, S 0 t} satisfies S 0 t 0 for all t [0, ]. 3.. Remarks. The idea of the proof is the construction of an auxiliary set of polynomials with further variation of the original polynomial over this set. Suppose for S 0 t the set T is a disjoint union T T 2, where T = {t,..., t m }, T 2 = {t m+,..., t q }, and both sets are nonempty. The trigonometric polynomial S 0 t is determined by the parameters α m,..., α m and by the set T. Let us use the parameters α m,..., α m to build an auxiliary set of polynomials. First, let θ j = t j, j =,..., m. Further, we will vary the parameters θ,..., θ m independently. If C 0 < C0t then as a result of variation we can ensure that C = C t, where C t is obtained from C 0 t by variation of parameters. Then we recalculate the set T = {t,..., t m } for the polynomial S t. The parameters α m,..., α m remain the same because T 2 does not change. Then we construct a new auxiliary set. For the new set we again vary θ,..., θ m until we get C 2 t s = C t, t s T 2. This means that T 2 has at least one element less. For S 2 t we construct a new auxiliary set. By variation of parameters one can make T 2 empty. In this case T will be either empty, or a gleton. In the latter case by variation over the auxiliary set of polynomials we achieve that T is empty. Finally, the set T will be empty. It follows from Lemma 7 that the optimal polynomial is necessarily typically real. Recall that the function is typically real in D if it is real for at every real point of the disc and in all the others points of the disc we have I{fz}I{z} > 0. The set of all typically real polynomials of degree will be denoted by T. 2 m,

15 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 5 Theorem. We have J = 4 sec2, a 0 j = U U j+ U j Proof. By Lemma 7, { J = sup min R F e it : I F e it = 0 } a = t max a = min t T {} { R F e it },. where T is the set of points in 0, at which I F e it changes sign. By Lemma 7 the maximum is achieved on the class T, and if F 0 z is the optimal polynomial, then J = F 0. Further, we have I e it = t + α j jt = β 0 t + 2 β j jt, F 0 j=2 where β 0 = + 2 α 2j+, β = 2 β 0 α 2j, β 2 = 2 β 0 α 2j+,..., β = β 0 α. By Lemma 7 the trigonometric polynomial + 2 β j jt is nonnegative on [0, ], and therefore J = F 0 = sup {F } F T { = sup α j = sup β j { + α 2 α : + 2 β β 2 : + 2 β j jt 0 β j jt 0 By the Fejér-Riesz theorem [23, 6.5, problem 4] any nonnegative trigonometric polynomial can be represented as the square of the modulus of some polynomial: d + d 2 e it d e i t 2 = + 2 β j jt. }. }

16 6 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Consequently, 9 0 d 2 + d d 2 n =, d d 2 + d 2 d d d = β, d d 3 + d 2 d d 2 d = β 2,... d d = β. } Then we can write J = max dj { dt Ad : d T Bd dt d =, where d = d..., d T, and 0 / /2 0 / A = 0 /2 0 / /2 0..., / /2... B = / / are the matrices of the quadratic forms 0 and, respectively. Consequently, { J = max } dt Ad { } d T d = max dt I Ad d j dt Bd d d T j d T I Bd d { } d T I Ad = min, d j d T I Bd where I is the unit matrix. It is clear that the matrices I A and I B are positive definite. { } The problem of finding J = min d T I Ad dj reduces to computing generalized eigenvalues [20, 2]: if λ λ are the roots d T I Bd of the equation det I A λi B = 0, then J = λ. Because I A and I B are positive definite, we have λ > 0. The corresponding minimum is achieved on the generalized eigenvector δ 0, which is determined from the relation I Aδ 0 = λ I Bδ 0.

17 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 7 By Corollary, and by Lemma 5, δ 0 = c U 0 J = λ = 4 2 U U,...,, U T. The next step is to find the coefficients a 0 j, j =,...,. ote that the scaling constant c appears as a factor to both numerator and denominator in formula for a 0 j below, thus without loss of generality we can take c =. We have the following relations between δ 0 j, β 0 j and a 0 j : j β 0 j = δ 0 k δ0 k+j, j = 0,...,, β 0 a 0 j = k= = β0 + = 0, β 0 0 β 0 2 β 0 j β0 j+, j =,...,, where δ 0 j = U j Uj, j =,...,. Denote x 0 =. Then β 0 0 β 0 2 = Lemma 3 implies that 2 U j x 0 U j x 0 2 U j x 0 U j x 0 U j+ x 0 U j+2 x 0. U j x 0 U j+ x 0 = U j x 0 2, U j x 0 U j+2 x 0 = U j+ x 0 2.

18 8 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Taking into account that U j x 0 = U j x 0 we get = 2 2 = 2 + β 0 0 β 0 2 = U 0 x 0 U x 0 2 U j x 0 U j x U x 0 U x 0 2 Uj x 0 U j+ x 0 2 U j x 0 2 U j+ x = 2 U j x j = cot 2. Thus, x 2 0 β 0 0 β 2 0 =. x 2 0 Similarly β 0 k β0 k+ = k+ U j x 0 U j x 0 U j+k 2 x 0 U j+k x 0 k U j x 0 U j x 0 U j+k x 0 U j+k+ x 0. Lemma 3 implies that U j x 0 U j+k x 0 = U j x 0 U j+k x 0 U k x 0, U j x 0 U j+k+ x 0 = U j+ x 0 U j+k x 0 U k x 0.

19 Then k + ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 9 β 0 k β0 k+ = U 0 x 0 U x 0 U k x 0 U k x 0 k + j=2 U j x 0 U j x 0 U j+k 2 x 0 U j+k x 0 +U k x 0 U k+ x 0 U x 0 U x 0 k U j x 0 U j+ x 0 U j+k x 0 U j+k x 0 k + U j x 0 U j+k x 0 U k x 0 U j+ x 0 U j+k x 0 U k x 0 k U k x 0 2 = U x 0 U k x 0 U k x 0 + k + k U j+ x 0 U j+k x 0 U k x 0 U j x 0 U j+k x 0 U k x 0 +U k x 0 U k+ x 0 U x 0 k U k x 0 2 k = 2U k x 0 U j x 0 U j+k x 0 k U k x 0 2 = U k x k k j + k Ug the identity from Lemma 6 we get β 0 k β0 k+ = U k x 0 2 x 0 2 j + k. k + k k + 3 k +. Further, ug last formula from Lemma 3, and bearing in mind that U j x 0 = U j x 0, we can write β 0 k β0 k+ = U k x 0 U k+ x 0,

20 20 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS which yields a 0 j = β0 j β0 j+ β 0 0 β 0 2 = U = x 2 0 U j+ x 2 0 U k x 0 U k+ x 0 U j. Here we have used U =. 2 Thus, the optimal polynomial F 0 z has been constructed. Let us show that the function ρ a,..., a attains its supremum equal to ˆρ 0 = max a = 0 min RF t T eit To do that, consider the one-parameter family of conjugate trigonometric polynomials C ε t = C0 t + ε + ε + ε t, Sε t = S0 t + ε + ε t, + ε which obviously satisfy a =. For all t 0, and ε > 0 it is obvious that S ε t > 0. Since C ε = ˆρ0 + ε ε + ε, we have C ε < ˆρ 0 and Cε ˆρ 0 as ε 0. Therefore sup min a = t { R F e it : I F e it = 0 } = max a = min t T {}. { R F 0 e it }. The theorem is proved. Corollary 2. { inf max R F e it : I F e it = 0 } = a 2,...,a t 4 sec2. The coefficients of the extremal polynomial are a 0 j+ j = U U j+ U j.

21 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 2 4. The optimization problem and coverings The first and most important result about covering line segments and circles by a conformal mapping of the unit disc D = {z : z < } is the well-known theorem of Koebe, whose complete proof was given by Bieberbach in 96. According to that theorem the image of D under a univalent mapping with standard normalization contains a central disc of radius /4. The sharpness of this constant is witnessed by the function e iθ Kze iθ, where z 2 Kz = z 2 is called the Koebe function. Several generalizations of covering theorems were given in [26, 9, 7]. In [9] the Koebe theorem was generalized to nonunivalent functions with real coefficients by showing that the minimal simply connected set that contains the image of D contains a central disc of radius /4. The proof follows from the Riemann conformal mapping theorem and the Lindelöf principle: the minimal simply connected set that contains the image of D can be conformally mapped onto D by a function whose derivative at the origin is greater than or equal to [8]. Some such covering theorems can be proved for polynomials [2]. For univalent polynomials F z = z + j=2 a jz j with real coefficients the estimate of the Koebe radius R can be obtained via the Rogoski- Szegö estimate a 2 2 2ψ, where ψ = / + 3 if is odd, and ψ is the smallest positive root of the equation + 4 ψ + + 4ψ = 0 if is even [29]. One can check that in the even case, / + 3 < ψ < /. Hence the Koebe radius has the estimate 3 R 2 + max{ a 2 } This estimate from below can be completed by an estimate from above by ug the results of Section 3. Theorem 2. The minimum simply connected set that contains the image of D under the polynomial mapping F z = z + j=2 a jz j contains the interval 4 4 sec2, 4 sec2. If the polynomial F z = z + j=2 a jz j is typically real, then the interval 4 is covered by F D.

22 22 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS The interval 4 is best possible, as shown by F z = z + j a j z j, j=2 where a 0 j = U U j+ U j. Corollary 3. The Koebe radius R for typically real polynomials satisfies 5 R 4 2. ote that we cannot apply the Riemann Theorem and the Lindelöf principle here because there is no guarantee that the univalent function that maps the minimal simply connected set containing the image of D onto D is a polynomial of degree. In [27, 2] the Suffridge polynomial was used to approximate the Koebe function 2. Several extremal properties of the Suffridge polynomials were established in [6, ]. In particular, the following is valid. Theorem 3. The minimal simply connected set that contains the image of D under the polynomial map F z = a jz j with F = contains the interval 6 tan 2 2,. If F z is typically real then the interval 6 is covered by F D. In general, we cannot replace the interval 6 by a disc in this result. Indeed, for even the image of D under the univalent polynomial map F z = a jz j with F = does contain the central disc of radius tan 2. For odd, on the contrary, the radius equals F 2 eiτ, where τ is the root of the equation F e it = 0 that is closest to. 5. Connection with nonnegative trigonometric polynomials onnegative trigonometric polynomials appear in many problems of real analysis, theory of univalent maps, approximation theory, theory of orthogonal polynomials on the unit cricle, number theory and other branches of mathematics. The most natural and nicest examples of application of nonnegative trigonometric polynomials occur in solving extremal problems.

23 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 23 onnegative trigonometric polynomials + a j jt satisfy the Fejér inequality [23, 4] a 2. The inequality is sharp, with the unique extremal polynomial 2 2 Φ t, where Φ t = t 2 2. t The above polynomial has coefficients [3] a 0 j = csc or by Lemma 3, j + 3 a 0 j = 2 2 j + U j+ j j +,. In 900 Fejér [5] established that the trigonometric polynomial + 2 j jt + is nonnegative by proving for it the representation + 2 j jt = + + Φ2 t, where Φ 2 2 t + t = t 2 2. Further, Fejér [23, 6] established an extremal property of Φ 2 t: the maximum of a nonnegative trigonometric polynomial + a j jt does not exceed +, with equality attained solely for t and + Φ2 only at the points 2k, k = 0, ±, ±2,.... The functions Φ t and Φ2 t are called Fejér kernels and have various extremal properties [6, ].

24 24 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Let us consider the following problem: for a trigonometric polynomial Ct = a j jt with real coefficients and a = find Theorem 4. max a j min Ct. t 7 max min Ct = a j t 2 sec. The solution is unique and is given by a 0 j = U j+ U, j =,...,. Proof. Suppose the trigonometric polynomial γ + t + j=2 a j jt is nonnegative. Then + t γ γ = j=2 a j γ U j+ jt 0. Thus, from the Fejér inequality we get 2 γ with equality attained for a 0 j Hence a 0 j = 2 sec 2 2 U j+, or γ sec, 2. = U j+. U ote that the Fejér trigonometric polynomial with appropriate normalization Φ2 t = j jt gives the estimate +, which is worse than 7. 2 Let us note that a different normalization leads to another extremal polynomial: max min Ct = a t, a0 j = 2 + j, j =,...,, + which is the suitably normalized classical Fejér polynomial + + Φ2 t.

25 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 25 Figure. The image of the unit disc under the Fejér polynomial ˆΦz = j z j red and the polynomial U U j+ zj blue for = 5 left and = 0 right. Figure 2. The Fejér kernel j jt red and the polynomial U U j+ jt blue for = Final Conjectures If = 3, 4 then the polynomials F z = U U j+ take the form F 3 z = z z U j z j 5 z 3, F 4 z = z z z3 + 6 z4.

26 26 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Figure 3. The images if the unit disc under the Suffridge red polynomial and under 8 blue for = 5. 2 The polynomial F 3 z is univalent in D because the point 5, 2 5 is in the univalence region of cubic polynomials in the space of coefficients a 2, a 3 [3]. For = 3 the Koebe radius is R = 4 sec2 5. A nice proof of the univalence of F 4 z is found in [5]. simulations suggest univalence for all. This justifies Conjecture. The polynomial 8 F z = U is univalent in D. U j+ U j umerical z j Conjecture 2. The Koebe radius of every univalent polynomial of degree is R = 4 2 /. Conjecture 3. Conjecture 2 remains valid for polynomials with complex coefficients. All optimal polynomials are given by e iα F ze iα, where F z is the polynomial 8. In [27], together with 2 the author considers the polynomials S q, z = a 0 j U jq z j + where q =,...,. It is shown that each such polynomial is univalent.

27 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 27 Conjecture 4. The polynomial F q, z = U q U U j+ U jq is univalent for every q =,..., and =, 2, 3,..... z j Conjecture 5. For a couple of conjugate polynomials Ct = a j 2j t, St = a j 2j t with real coefficients and the normalization condition a =, we have 9 inf a j max { Ct : St = 0} = t 2 sec2 2. The solution is unique and is given by a 0 j = U 2 j+ 2, j =,...,. U 2 2 ote that the Suffridge polynomial S, z = a 0 2 j 2 = 2 j+ 2, j =,...,, and the esti- produces the coefficients a 0 j mate, which is worse than 9. 2 U j z j 2 It is interesting to mention that the Koebe radius for odd univalent functions equal to /2 is twice that for all univalent functions. Apparently, the same result holds for polynomials. Conjecture 6 Bounds for coefficients of univalent polynomials. For every positive integer k, there exists such that if F z = z+ M j=2 a jz j is univalent and M then 20 a j U U j+ U j for all j =,..., k. Finally, let us note that a right hand of the estimate 20 monotonically approaches j as, which is an additional argument in favor of Conjecture.

28 28 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Figure 4. The image of D under the Suffridge polynomial S, z of degree 2 red and the polynomial F +, z of degree 2 blue for = Acknowledgment The authors would like to thank Konstantin Dyakonov for fruitful discussions and Jerzy Trzeciak for the help in preparation of the manuscript. References [] G. Chen and X. Dong From chaos to order: Methodologies, Perspectives and Application. World Scientific, Singapore 999. [2] A. Cordova and St. Ruscheweyh, On the maximal range problem for slit domains, Proceedings of a Conference, Valparaıso, 989, Lecture otes in Mathematics, Vol. 435, Springer, Berlin, 990, pp [3] V.F. Cowling and W.C. Royster, Domains of variability for univalent polynomials, Proc. Amer. Math. Soc., 9 968, pp [4] d.s.m. Vieira and A.J. Lichtenberg Controlling chaos ug nonlinear feedback with delay. Phys. Rev. E 54, pp [5] J. Dillies, Univalence of a certain quartic function. arxiv: [6] D. Dimitrov, Extremal Positive Trigonometric Polynomials. Approximation Theory: A Volume Dedicated to Blagovest Sendov B. Bojoanov, ed.: DARBA, 2002, pp [7] D. Dmitrishin, A. Stokolos, I. Skrynnik, and E. Franzheva, Generalization of nonlinear control for nonlinear discrete systems. arxiv: [8] D. Dmitrishin, P. Hagelstein, A. Khamitova, and A. Stokolos. Limitations of Robust Stability of a Linear Delayed Feedback Control, SIAM J. Control Optim. 56, 208, pp [9] D. Dmitrishin, A. Khamitova, A. Stokolos, and M. Tohaneanu, Finding Cycles in onlinear Autonomous Discrete Dynamical Systems. Harmonic Analysis, Partial Differential Equations, Banach Spaces, and Operator Theory Volume 2, Springer AWM series, Volume 5, 207, pp

29 ESTIMATIG THE KOEBE RADIUS FOR POLYOMIALS 29 [0] D. Dmitrishin and A. Khamitova, Methods of harmonic analysis in nonlinear dynamics, Comptes Rendus Mathematique, V. 35, Issues 9-0, pp [] D. Dmitrishin, A. Khamitova, A. Korenovskyi and A. Stokolos, Fejer and Suffridge Polynomials in the Delayed Feedback Control Theory. arxiv: [2] V.. Dubinin, Russian Mathematical Surveys, V. 67, 4 202, pp [3] E.V. Egervary and O. Szasz, Einige Extremalprobleme in Bereiche der trigonometrischen Polynomen, Math. Z , pp [4] Fejer L. Ueber trigonometrische polynome, J. fuer die reine und angew. Math. 95. Bd. 46. S. pp [5] L. Fejer,. Sur les fonctions bornées et intégrables, C. R. Acad. Sci. Paris, 3 900, pp [6] L. Fejer, Sur les polynomes trigonométriques, C. R. Acad. Sci. Paris, 57 93, pp [7] M. Gregorczyk and L. Koczan, A survey of a selection of methods for determination of Koebe sets, Annales Universitatis Mariae Curie-Skodowska Lublin - Polonia, Vol. Lxxi, o. 2, 207 Sectio A, pp [8] G.M. Goluzin, Geometric theory of functions of a complex variable. Translations of Mathematical Monographs, V. 26, Providence, R.I. : American Mathematical Society, 969. [9] J. A. Jenkins, On values omitted by univalent functions. Amer. J. Math., V. 75, 2, 953, pp [20] D.E. Longe, Simultaneous Rayleigh-quotient minimization methods for Ax=λ Bx, 980, pp [2] R.S. Martin and J.H.Wilkinson, Reduction of the symmetric eigenproblem Ax=λ Bx and related problems to standard form, umer. Math. : pp [22] E. Ott, C. Grebodgi, and J.A. Yorke, Controlling chaos. Phys. Rev. Lett. 64, pp [23] G. Polya and G. Szego Problems and theorems in analysis. II. Theory of functions, zeros, polynomials, determinants, number theory, geometry. Springer- Verlag, Berlin p. [24] K. Pyragas, Continuous control of chaos by self controlling feedback. Phys. Rev. Lett. A 70, pp [25] J.E.S. Socolar, D.W. Sukow, and D.J. Gauthier, Stabilizing unstable periodic orbits in fast dynamical systems. Phys. Rev. E 50, pp [26] D.. Spenser, On distortion in analytic transformations, J. Math, and Phys., 20, 94, pp [27] T. Suffridge, On univalent polynomials. J. London Math. Soc , pp [28] T. Ushio, Limitation of delayed feedback control in nonlinear discrete - time systems, IEEE Trans. Circ. Syst., 43, pp [29] W.W. Rogoski and G. Szego, Extremum problems for non-negative e polynomials, Acta Sci. Math. Szeged 2 950, pp

30 30 DMITRIY DMITRISHI, ADREY SMORODI, AD ALEX STOKOLOS Odessa ational Polytechnic University, Shevchenko Ave., Odessa 65044, Ukraine address: Odessa ational Polytechnic University, Shevchenko Ave., Odessa 65044, Ukraine Georgia Southern University, Statesboro GA, address: