arxiv: v2 [math.ca] 28 Apr 2016

Transcription

1 Bernstein type inequalities for rational functions on analytic curves and arcs Sergei Kalmykov and Béla Nagy arxiv: v2 [math.ca] 28 Apr 206 Abstract Borwein and Erdélyi proved a Bernstein type inequality for rational functions on the unit circle and on the real line. Here we establish asymptotically sharp extensions of their inequalities for rational functions on analytic Jordan arcs and curves. In the proofs key roles are played by Borwein-Erdélyi inequality on the unit circle, Gonchar-Grigorjan type estimate of the norm of holomorphic part of meromorphic functions and Totik s construction of fast decreasing polynomials. Keywords: rational functions, Bernstein-type inequalities, Borwein- Erdélyi inequality, conformal mappings, Green function Classification MSC 200: 4A7, 30C20, 30E0 Introduction Inequalities for polynomials and rational functions have rich history and numerous applications in different branches of mathematics, in particular in approximation theory see, for example, [BE95], [MMR94] and references therein. One of the best known inequalities is Bernstein inequality for the derivative of polynomial on the interval [, ]. This inequality was generalized and improved in several directions, for instance, instead of one interval it was considered on compact subsets of the real line see [Tot0], [Bar92] and on circles [NT3],[NT4], on lemniscates [Nag05], on systems of Jordan curves [NT05], and more recently, on analytic Jordan arcs [KN5b]. For rational functions, Bernstein type inequalities were shown for a circle [BE96], on compact subsets of the real line and circle see [BE96], [Luk04], [DK07]. For improvements of some of such inequalities, see [Dub2] and references therein. The aim of this paper is to extend the mentioned above Borwein-Erdélyi inequality for rational functions from a circle to an arbitrary analytic Jordan curve when poles are from a given compact set away from the curve. The obtained inequality is asymptotically sharp. As a consequence we get a similar estimate on an analytic arc as well. All the results are formulated in terms of normal derivatives of Green functions of corresponding domains. For the necessary background on potential theory, we refer to [Ran95] and [ST97]. The basic theme of this paper is similar to a recently developed method in [KN5b], but most of the details are rather different. This approach is based on using the Borwein-Erdélyi inequality as a model case, estimates for Green s functions, fast decreasing polynomials, Gonchar-Grigorjan estimate of the norm of holomorphic part of meromorphic functions, and an appropriate interpolation; for the case of an analytic arc we apply open-up mapping a rational function. Although

2 Bernstein inequality was developed to prove inverse theorems in approximation theory, we use direct approximation theorems to establish Theorem. The structure of the paper is the following: in Section 2 we formulate the statements of new results, in Section 3 auxiliary facts are collected and the main theorem is proved, in Section 4 we consider the case of one analytic arc, the last section is devoted to sharpness. 2 Statements of the new results We denote the unit disk by D = {z : z < }, D = {z : z > } { } is called exterior of the unit disk and C = C { } denotes the extended complex plane. We frequently use g D z, α for Green s function of domain D with pole at α D. Theorem. Let Γ C be an analytic Jordan curve, u 0 Γ. Let G C be the interior of Γ, G 2 be the exterior domain G 2 := C \ Γ G and let Z G G 2 be a closed set. Denote the two normals to Γ at u 0 by n u 0 and n 2 u 0, n 2 u 0 = n u 0, where n u 0 and n 2 u 0 are pointing inward and outward respectively. Then, for any rational function f u with poles in Z only, we have f u 0 + o f Γ max α n u 0 g G u 0, α, β n 2 u 0 g G 2 u 0, β where the sum with α or β is taken over all poles of f in G or in G 2, respectively, counting multiplicities, and o denotes an error term that depends on Γ, u 0 and Z, tends to 0 as the total degree of f tends to infinity and is independent of f itself. Applying an appropriate open-up mapping, we obtain Theorem 2. Let Γ 0 C be an analytic Jordan arc, z 0 Γ 0 not endpoint. Denote the two normals to Γ 0 at z 0 by n z 0 and n 2 z 0, n 2 z 0 = n z 0. Let G := C \ Γ 0 be the complementing domain and let Z G be a closed set. Then, for any rational function f z with poles in Z only, we have f z 0 + o f Γ0 max β n z 0 g G z 0, β, β n 2 z 0 g G z 0, β where the sum with β is taken over all poles of f in G counting multiplicities, and o denotes an error term that depends on Γ 0, z 0 and Z, tends to 0 as the total degree of f tends to infinity and is independent of f itself. Theorem is asymptotically sharp as the following theorem shows. Theorem 3. We use the notations of Theorem. 2

3 Then there exists a sequence of rational functions {f n } with deg f n = n with poles in Z such that f n u 0 o f n Γ max α n u 0 g G u 0, α, β n 2 u 0 g G 2 u 0, β where o tends to 0 as degf n = n and it depends on Γ, u 0 and Z too and the sum with α or β is taken over all poles of f in G or in G 2, respectively, counting multiplicities. A particular sequence of rational functions showing sharpness in Theorem 2 can be obtained from Theorem 2 from [KN5b] in standard way if we take a point from Z and apply a fractional-linear mapping which maps this point to infinity. The error term o in Theorems and 2 cannot be dropped in general, even for polynomials, see [Nag05]. 3 Some background results and the proof of Theorem 3. A rough Bernstein type inequality We need the following rough Bernstein type inequality on Jordan curves. Proposition 4. Let Γ be a C 2 smooth Jordan curve and Z C \ Γ be a closed set. Then, there exists C > 0 such that for any u 0 Γ and any rational function f with poles in Z only, we have f u 0 C deg f f Γ. Proof. This quickly follows from an idea attributed to Szegő Cauchy integral formula around the point, see e.g. [Wid69], p. 33. Fix u 0 Γ and and put G := IntΓ, G 2 := C \ Γ IntΓ and let δ 0 := dist Z, Γ. Now fix α 0 j G j arbitrarily, j =, 2. Let N be the total order of poles of f in G, N 2 be the total order of poles of f in G 2. Obviously, N + N 2 = deg f. Since the poles are from a compact set, it is standard see, e.g. [KN5a], Lemma that there exist δ 0, > 0 and C 2 > 0 such that if dist u, Γ < δ 0,, u G j and α, α 2 Z G j, j =, 2, then g G j u, α C 2 g Gj u, α 2 C 2. Let γ := {u : u u 0 = / deg f} assume degf > 2/δ 0 and we use Bernstein-Walsh estimate for f on G and G 2 see, e.g. [Ran95], Theorem 5.5.7, p. 56: f u f Γ exp g Gj u, α α 3

4 where the sum is taken over all poles α of f in G j, each of them appearing as many times as the order of the pole of f at α and u G j. It is again standard see, e.g., Lemma from [KN5a] that there exist δ 0,2 > 0 and C 3 > 0 such that if dist u, Γ < δ 0,2, then g Gj u, α 0 j C 3 dist u, Γ C 3 u u 0. This way we can estimate the sum in the previous displayed formula as follows g Gj u, α C 2 g Gj u, α 0 j C 2 C 3 u u 0 α α α We apply Cauchy integral formula ˆ f u 0 = 2πi γ f u u 0 u 2 du ˆ 2π = C 2 C 3 N j u u 0 = C 2 C 3 N j deg f C 2C 3. γ f u u 0 u 2 du 2π 2π f Γ exp C 2 C 3 degf degf 2 = f Γ degf exp C 2 C 3. The proposition is proved with C = exp C 2 C 3 which is independent of f, degf and u Conformal mappings on simply connected domains Recall, for a given curve Γ, G denotes the interior of Γ and G 2 denotes the unbounded component of C \ Γ. As earlier, D = {v : v < } and D = {v : v > } { }. With these notations, G = G 2. Using Kellogg-Warschawski theorem see e.g. [Pom92] p. 49, Theorem 3.6, if the boundary is C,α smooth, then the Riemann mappings of D, D onto G, G 2 respectively and their derivatives can be extended continuously to the boundary. Under analyticity assumption, we can compare the Riemann mappings as follows. Proposition 5. Let u 0 G = G 2 be fixed. Then there exist two Riemann mappings Φ : D G, Φ 2 : D G 2 such that Φ j = u 0 and Φ j =, j =, 2. If G = G 2 is analytic, then there exist 0 r < < r 2 such that Φ extends to D := {v : v < r 2 }, G + := Φ D and Φ : D G + is a conformal bijection, and similarly, Φ 2 extends to D 2 := {v : v > r } { }, G + 2 := Φ 2 D 2 and Φ 2 : D 2 G + 2 is a conformal bijection. This proposition is Proposition 7 in [KN5b]. From now on, we fix such two conformal mappings. These mappings and domains are depicted on figure. We may assume that D and Z 2 are of positive distance from one another by slightly decreasing r, if necessary. Denote the normal vector of unit length to Γ at u 0 or D at pointing inward by n u 0 or n respectively. Similarly, the outward normal vectors are denoted by n 2 u 0 and n 2. 4

5 Figure : The two conformal mappings Φ, Φ 2, the domain D and the possible location of poles Proposition 6. The following hold for arbitrary α G, β G 2 with α := Φ α, β := Φ 2 β if β and if β =, then n u 0 g G u 0, α = n g D, α = α 2 α 2, n 2 u 0 g G 2 u 0, β = n 2 g D, β = β 2 β 2, n 2 u 0 g G 2 u 0, β = n 2 g D, =. This proposition is a slight generalization of Proposition 8 from [KN5b] with the same proof. 3.3 Fast decreasing rational functions with prescribed poles The next result is based on a general construction of fast decreasing polynomials by Totik, see [Tot0], Corollary 4.2 and Theorem 4. too. Theorem 7. Let K C be a compact set, ũ K be a boundary point. Assume that K satisfies the touching-outer-disk condition, that is, there exists a closed disk with positive radius such that its intersection with K is {ũ}. Let Z2 C \ K be a finite set and τ >. Then there exist C 4, C 5 > 0 with the following properties. For any given multiplicity function m : Z2 {, 2,...} introduce ñ := α m α where the sum is taken for α Z2 and there exists a rational function Q such that Q ũ =, Q K, Q has poles at the points of Z2 only and the order of the pole of Q at α Z2 is at most m α and for u K we have Q u C 4 exp C 5 ñ u ũ τ. Proof. Roughly speaking, we transform for each α Z2 the fast decreasing polynomials to move their poles from to α and multiply them together. 5

6 Let α Z2 be fixed and let K { α := u α : u K }. Obviously, Kα is a compact set and also satisfies the touching-outer-disk condition at ũ α. Using theorem 4. on page 2065 from [Tot0], we know that there are d α,τ, D α,τ > 0 depending on α, K and τ only and we get a polynomial Q α such that Q α =, Q α Kα =, deg Q α m α and for u K Q α D α,τ exp u α D α,τ exp d α,τ m α u α ũ α d α,τ m α dist K, Z2 τ ũ α 2τ u ũ τ. Let Q u := α Z Q 2 α u α. We immediately have Q ũ =, Q K =, and Q has poles at the points of Z2 only, the order of the pole of Q at α Z2 is at most m α. We multiply the estimates above together, so Q u D α,τ exp dist K, 2τ Z 2 τ u ũ d α,τ m α α C 4 exp min d α,τ dist K, 2τ Z2 τ n u ũ α where C 4 = α D α,τ and C 5 = min α d α,τ dist K, 2τ Z2. α = C 4 exp C 5 n u ũ τ 3.4 Outer touching circles and other quantities In this subsection we construct some auxiliary sets and the fast decreasing rational functions. We also use argz in the following sense: if z 0, then argz = z/ z and arg0 = 0. Let Γ = {v : v = + δ } where 0 < δ < r 2, δ < /2 is fixed. It is important that δ depends on G only. Let D 3 := {v : v 2 < }, this disk touches the unit disk at. For every δ 2,3 0, δ ], {v : v = + δ 2,3 } D 3 consists of exactly two points, v = v δ 2,3 and v2 = v2 δ 2,3. It is easy to see that the length of the two arcs of {v : v = + δ 2,3 } lying between v and v2 are different, therefore, by reindexing them, we can assume that the shorter arc is going from v to v2 counterclockwise. Elementary geometric considerations show that for all v, v +δ 2,3 with arg v { arg vj δ 2,3 : j =, 2 }, we have since δ 2,3 < Let δ2,3 v 2 δ 2,3. 2 K v := {v : v + δ } \ D 3. Obviously, this K v is a compact set and satisfies the touching-outer-disk condition at of Theorem 7. Consider K u := Φ 2 [K v D ] Φ [K v D ] G. 6

7 This is a compact set and also satisfies the touching-outer-disk condition at u 0 = Φ 2 of Theorem 7. Obviously, G 2 Ku, G Ku, u 0 Ku and if v Kv, then Φ v Ku and Φ 2 v Ku too. Take any finite set Z2 Z 2 with arbitrary multiplicity function such that the total multiplicity is at most N 3 := n 3/4. Now applying Theorem 7, there exists a fast decreasing rational function for Ku at u 0 and its degree is N 4, where N 4 N 3. Denote the poles of Q by ζ,..., ζ N4 Z2 counting multiplicities. Then degq = N 4 N 3, Q u 0 =, Q u on if u Ku, moreover Q u C 4 exp C 5 N 3 u u 0 τ. 2 Note that C 4 and C 5 depend on Z2 multiplicity function and N 3 and n. For simplicity, we put τ := 4/3. and K u but they are independent of the 3.5 The proof of Theorem 3.5. Decomposition of the rational function It is easy to decompose f into sum of rational functions, that is, f = f + f 2 where f is a rational function with poles in Z, f = 0 and f 2 is a rational function with poles in Z 2. This decomposition is unique. Put N := deg f, N 2 := deg f 2, then N + N 2 = n. Denote the poles of f by α j, j =,..., N and the poles of f 2 by β j, j =,..., N 2 with counting the orders of the poles. Now fix δ 2, := 2n, δ 2,3 := min n 2/3, δ. We use a Gonchar-Grigorjan type estimate for f 2 on G see Theorem in [KN5a] so there exists C 6 = C 6 G > 0 such that we have Obviously, we have Consider We know that f 2 Γ C 6 G log n f Γ. 3 f Γ + C 6 G log n f Γ. 4 ϕ v := f Φ v. ϕ D = f G2 5 and ϕ = f u 0. We use the fast decreasing rational function Q from Subsection 3.4. We decompose the essential part of ϕ as follows Q Φ ϕ = ϕ r + ϕ e 6 where ϕ r is a rational function, ϕ r = 0 and ϕ e is holomorphic in D. We use the decomposition Qf Φ = Q f + f 2 Φ = ϕ r + ϕ e + Qf 2 Φ. 7

8 We apply the Gonchar-Grigorjan type estimate see Theorem [KN5a] again for ϕ e on D, this way the following sup norm estimate holds ϕ e D C 6 D log n Q Φ ϕ D C 6 D log n ϕ D 7 where C D is a constant independent of ϕ. Furthermore, we can estimate ϕ e v on v D \ D as follows ϕ e v = Q f Φ v ϕ r v Q f Φ v + ϕ r v. 8 We also need to estimate Q outside G as follows. Using Bernstein-Walsh estimate, we can write for v D \ D N 4 Q Φ v exp g G2 Φ v, ζ j where we use that the set Φ D \ D is bounded, C 7 := sup {g G2 Φ v, β : v D \ D, β Z 2 } <. Therefore, for all v D \ D, Q f Φ v e C7N4 f Γ. This way we can continue 8 and we use u = Φ v and that ϕ r is a rational function with no poles outside D and the maximum principle for ϕ r e C7N4 f u + ϕ r D e C7N4 f Γ + ϕ D + ϕ e D and here we used that f has no pole in G 2 and the maximum principle. We can estimate these three sup norms with the help of 4 and 5, 4 and 7, 5, 4. Hence we have for v D \ D ϕ e v e C7N4 + + C 6 D log n + C 6 G log n f Γ = O log n e C7N4 f Γ Approximating the interior error function In this subsection we construct an approximation to ϕ e which is holomorphic on a larger set containing D. Later we will use properties 7 and 8 only. The approximation is done by interpolating ϕ e as follows. ϕ e is holomorphic in D = {v C : v < + δ }. Put N 5 := N 2 + N 4 + [n 4/5 ], where N 2 is deg f 2 and n is degf. For simplicity, put α j := Φ α j and β k := Φ 2 β k where j =,..., N and k =,..., N 2. Introduce q for the interpolation as follows N 2 β j qv := v N 5 N 2 2 γ j v v β j v 2 0 v γ j 8

9 where γ j, j =,..., N 5 N 2 2 are from Φ 2 Z 2, the first N 4 coincide with the ζ j s i.e. ζ j = γ j = Φ 2γ j for j =,..., N 4 and are arbitrary anyway. Modulus of q can be written as follows when ξ N 2 qξ = exp 2 log ξ + log B β j, ξ N 5 N log B γ k, ξ where Ba, v = av v a. Note that if ξ =, then qξ 4. On D \ D, q. can be estimated from below as follows. We know that D and Φ 2 Z 2 are disjoint and they are of positive distance from one another. Therefore there exists C 8 > 0 such that for all β Φ 2 Z 2 and v D \ D, the modulus of the derivative of the Blaschke factor at v with pole at β is at least C 8 : B β, v C 8. This implies that for all β Φ 2 Z 2 and v D \ D k= exp g D v, β + C 8 v. 2 Moreover there is a similar upper estimate. That is, there exists C 9 > 0 such that for all β Φ 2 Z 2 and v D \ D exp g D v, β + C 9 v. 3 Multiplying 2 for all Blaschke factors appearing in 0, we obtain for v = + δ, qv + C 8 δ N5 2 δ 2. 4 We also have a sharper lower estimate: qv + C 8 δ N5 N2 2 δ 2 N 2 B β j, v. 5 We define the approximating rational function see e.g. [Wal65] chapter VIII r,n5 v := ˆ ϕ e ξ q v q ξ dξ. 2πi Γ q ξ v ξ It is well known that r,n5 does not depend on Γ. Since is a double zero of q, therefore r,n5 and r,n 5 coincide there with ϕ e and ϕ e respectively. The error of the approximating rational function r,n5 can be written as ϕ e v r,n5 v = 2πi ˆ Γ ϕ e ξ ξ v q v dξ, 6 q ξ where Γ = {v C : v = + δ } and recall that ϕ e is holomorphic in { v < + δ } and is continuous on { v + δ }. For v D the error can be estimated as follows ϕ e v r,n5 v = 2π 4 + δ δ 3 ˆ Γ ξ v dξ ϕ e D 4 + C 8 δ N5 2 δ 2 ϕ e D + C 8 δ N5 2 = 4 + δ O logne C7N4 δ 3 + C 8 δ N5 2 f Γ 9

10 which tends to 0 as n, because N 5 /N 4 and δ is fixed, that is e C7N4 + C 8 δ N5 2 = exp C 7N 4 log + C 8 δ N 5 + o 0. So, r,n5 is a rational function with poles in Φ 2 Z 2 only and we know that ϕ e r,n5 D = o f Γ 7 where o is independent of f and depends only on Γ and tends to 0 as n, furthermore ϕ e = r,n Approximating the term with poles outside Now we interpolate and approximate Q f 2 Φ. We have the following description of the growth of Green s function. Lemma 8. There exists C 0 > 0 depending on G 2 only and is independent of n and f such that for all v + δ and β Z 2 we have g G2 Φ v, β C 0 v. 9 Proof. We can express Green s function in the following way for u G 2, where B β, v = β v v β g G2 u, β = log B β, Φ 2 u is Blaschke factor. Hence g G2 Φ v, β = log B β, Φ 2 Φ v. Here we use that there exists C such that for all v + δ, Φ 2 Φ. v C and there exists C 2 such that for all v + δ, and β Z 2, B β, v C2. Finally, the directional derivative of g D at v from direction v = v/ v can be estimated as g D v, β B β,. v Φ Φ 2 Φv 2 Φ. v C C 2 and integrating it along the radial ray [v, v], we obtain 9. Now we give the approximating rational function as follows r 2,N5 v := ˆ Q f 2 Φ ξ q v q ξ dξ 2πi q ξ v ξ Γ 2 0

11 Figure 2: The integration curve Γ 2 where Γ 2 can be arbitrary as long as D IntΓ 2 and Γ 2 D, and q is defined above. We remark that we use the same interpolating points, but we need a different Γ 2 for the error estimate. Now we construct Γ 2 for the estimate and investigate the error. We use δ 2, = /2n, δ 2,3 = min n 2/3, δ. We give four Jordan arcs that will make up Γ 2. Let Γ 2,3 be the shorter, circular arc between v δ 2,3 and v2 δ 2,3, Γ 2, be the longer circular arc between v δ 2,3 +δ2, +δ 2,3 and v2 δ 2,3 +δ2, +δ 2,3, and similarly Γ 2,2 : = {v : + δ 2, v + δ 2,3, arg v = arg v δ 2,3 } Γ 2,4 : = {v : + δ 2, v + δ 2,3, arg v = arg v 2 δ 2,3 } be the two segments connecting Γ 2, and Γ 2,3. Finally let Γ 2 be the union of Γ 2,, Γ 2,2, Γ 2,3 and Γ 2,4. The figure 2 depicts these arcs and K v defined above. We estimate the error of r 2,N5 to Q f 2 Φ on each integral separately: Q f 2 Φ v r 2,N5 v = ˆ 2πi Γ 2 Q f 2 Φ ξ ξ v ˆ = ˆ 2πi Γ 2, + q v q ξ dω Γ 2,2 + ˆ Γ 2,3 + For the first term, we use Bernstein-Walsh estimate for the rational function f 2 on G 2 and the fast decreasing rational function Q as follows. If v Γ 2,, then with 9, g G2 Φ v, β C 0 δ 2, = C 0 /2n uniformly in β Z 2, therefore f 2 Φ v f 2 Γ exp n C 0 f 2n Γ C 6 G log n e C0/2 ˆ Γ 2,4 = O log n f Γ.

12 where we used 3. Now we use the fast decreasing property of Q as follows. We use C 3 := inf { Φ v : v D } > 0. Hence, if v Γ 2, Γ 2,2 Γ 2,4, then by, v /2 δ 2,3, and then u u 0 C 3 δ2, where u = Φ v and u 0 = Φ and therefore the fast decreasing rational function Q is small, see 2, in other words, C3 Q Φ v C 4 exp C 5 N 3 /2 τ δ 2,3. 2 Therefore we can write C3 Q f 2 Φ v O log n f G2 C 4 exp C 5 N 3 /2 τ δ 2,3 log n O exp C 5 C 3 /2 τ N 3 n τ/3 f Γ =: E 2, f Γ where the coefficient tends to 0 because, with the definition of δ 2,3, we can write N 3 δ τ/2 2,3 = n3/4 min n τ/3, δ τ/2 and n 3/4 n τ/3 since τ = 4/3. Integrating along Γ 2,, we can write for v D ˆ 2πi Γ 2, Q f 2 Φ ξ q v ξ v q ξ dξ ˆ 2π Γ 2, ξ v E 2, f Γ 4 dω + C 8 δ 2, N2 δ2, 2 2 2π + δ 2, E 2, f π + C 8 δ 2, N2 δ2, 3 Γ = O n 3 E 2, f Γ here we used δ 2, = /2n and n 3 E 2, 0. We estimate the third term, the integral on Γ 2,3, as follows for v D ˆ 2πi Γ 2,3 Q f 2 Φ ξ q v ξ v q ξ dω ˆ 2π ξ v Q f 2 Φ ξ dξ. 22 q ξ Γ 2,3 4 Here, ξ = +δ 2,3 and v ξ δ 2,3. Roughly speaking, f 2 grows and this time Q grows too and only q ξ decreases. We are going to estimate the growths with the help of Bernstein-Walsh estimate and Blaschke factors. For simplicity, put F ξ := Φ 2 Φ ξ, hence F =, F =. This latter holds because Φ = Φ 2 = u 0. Moreover, Φ D = Φ 2 D = Γ, hence argφ = argφ 2 and together with Φ = Φ 2 =, it implies that Φ = Φ 2. Therefore Φ 2 Φ =. Moreover, exp gg2 Φ ξ, Φ 2 γ = Bγ, F ξ if γ >. 2

13 First, Bernstein-Walsh estimate for f 2 on G 2 yields for ξ D \ D and in particular, if ξ Γ 2,3 that N 2 f 2 Φ ξ f 2 Γ exp g G2 Φ ξ, β j As for q, we use and, hence for ξ D \ D q ξ ξ 2 exp = N 5 N 2 2 k= N 2 = f 2 Γ B β j, F ξ. 23 N 2 log B γ k, ξ log B β j, ξ N 5 N 2 2 N 2 ξ 2 B γ k, ξ k= B β j, ξ. 24 As for Q, we use Bernstein-Walsh estimate for Q on G G and that G G Ku. Therefore, Q Γ = and N 4 N 4 Q Φ ξ Q Γ exp g G2 Φ ξ, ζ j B ζ j, F ξ. 25 Now we are going to multiply together these estimates. Consider the quotients Hβ, ξ = Hξ := B β, F ξ B β, ξ for β D. First, loghξ is continuous and holomorphic near, using the main branch of the logarithm since H =, logh = 0 because F = 0. So there exists C 4 > 0 such that loghξ C 4 ξ and this is uniformly true for all β Φ 2 Z 2 since Φ 2 Z 2 is compact in D. Now, taking the real part and integrating along radial rays see also the proof of Lemma 9 in [KN5b], we get log Hξ C 4 ξ ξ. 26 Applying this estimate for the product of 23, 24, and 25 we can write 3

14 f 2 Φ ξ q ξ Q Φ N 2 ξ f 2 Γ B β j, F ξ N 5 N 2 2 N 2 ξ 2 B γ k, ξ B β j, ξ N 4 B ζ j, F ξ k= f 2 Γ δ2,3 2 + C 8 δ 2,3 N5 N2 2 N4 N 2 exp log H β j, ξ N 4 + log H ζ j, ξ f 2 Γ n 4/3 + C 8 n 2/3 n 4/5 f 2 Γ n 4/3 e C8/2 n2/5 exp exp C 4 N 2 + N 4 δ 2,3 2 δ 2,3 O n n 2/3 n /3 = f 2 Γ n 4/3 e C8/2 n2/5 O =: f 2 Γ E 2,3 where we used N 5 N 2 2 = N 4 + [n 4/5 ] 2 and 26 at the second step, the definition of δ 2,3 and at the third step, again the the definition of δ 2,3 and that n is large hence + C8 e C 8/2 at the fourth step. Therefore, the integral over Γ 2,3 can be written as see 22 ˆ Q f 2 Φ ξ q v 2πi ξ v q ξ dω f 8 2 Γ E 2,3 27 δ 2,3 Γ 2,3 n 2/3 n 2/3 where we used that qv 4 if v =, and the length of Γ 2,3 is at most 4π. For Γ 2,2 and Γ 2,4, we apply the same estimate which we detail for Γ 2,2 only. We again start with the integral for v D ˆ 2πi Γ 2,2 Q f 2 Φ ξ q v v ξ q ξ dξ ˆ 2π v ξ Q f 2 Φ ξ dξ. 28 q ξ Γ 2,2 4 Since ξ Γ 2,2, we can rewrite it in the form ξ = + δ v where δ 2, δ δ 2,3 with v = v δ 2,3. We use similar steps to estimate f 2 and q and Q. We use the estimate 23 for f 2, 25 for / q and 2 for Q. We also use ξ = + δ, so f 2 Φ ξ q ξ Q Φ N 2 ξ f 2 Γ exp log Hβ j, ξ ξ 2 + C 8 δ N5 N2 2 C 4 exp C 5 C 3 /2 τ N 3 δ τ/2 2,3 4

15 which we continue using /2 δ ξ 2 δ see and /2n = δ 2, δ δ 2,3 and 26 for the sum. So f 2 Γ 8n 2 exp C 4 N 2 δ 2,3 2 δ 2,3 C 4 exp C 5 C 3 /2 τ N 3 δ τ/2 2,3 which tends to 0 if N 3 δ τ/2 2,3 and we can continue this estimate using δ 2,3 = n 2/3, so f 2 Γ 8C 4 e 2C4 n 2 exp C 5 C32 τ 3τ/2 N 3 n τ/2 f 2 Γ 8C 4 e 2C4 n 2 exp C 5 C32 τ 3τ/2 n /2 =: f 2 Γ E 2,2. Now continuing 28 we write ˆ 4 2n f 2 2π Γ E 2,2 dξ 2 Γ 2,2 π nδ 2,3E 2,2 f 2 Γ where δ 2,3 = n 2/3 and ne 2,2 0. Summarizing these estimates on Γ 2,, Γ 2,3 and Γ 2,2 and also on Γ 2,4, and using 3 with the exponential decay of E 2,,..., E 2,4, we have uniformly for v, r 2,N5 v Q f 2 Φ v = o f Γ where o tends to 0 as n but it is independent of f and f 2. Obviously, r 2,N5 is a rational function with poles in Φ 2 Z 2 only with deg r 2,N5 = N 5 = + o n and therefore we uniformly have for v that is, r 2,N5 v Q f 2 Φ v = o f Γ, r 2,N5 Q f 2 Φ D = o f Γ 29 where o tends to 0 as n but it is independent of f. Since is double zero of q, so we have r 2,N 5 = Q f 2 Φ A similar rational function and final estimates Consider the constructed rational function h v := ϕ r v + r,n5 v + r 2,N5 v. Recall that the poles of ϕ r are α j, j =,..., N, the poles of both r,n5 and r 2,N5 β j, j =,..., N 2 and the poles of Q are ζ j, j =,..., N 4 counting multiplicities. Hence, this function h has poles at α j = Φ α j and with exactly the same multiplicities, and h has poles at β j -s and here the multiplicities may change a bit. We use the identity to calculate the derivatives as follows f Φ = Q f + Q f Φ Q f Φ = Q f u 0 Φ + Q f u 0 Φ 5

16 where the second term is zero because of the fast decreasing rational function Q u 0 = and for the first term we can apply the rough Bernstein type inequality Proposition 4 in the following way Q Γ 2: Q u 0 deg Q C 2 = on where degq = N 4 n 3/4. Here we use that { } C 6 := inf n 2 u g G 2 u, β, n u g G u, α : u Γ, α Z, β Z 2 > 0 3 because g G u, α = log B Φ u, Φ α, the derivatives of Blaschke factors are bounded away from 0 in modulus Φ Z is closed and disjoint from the unit circle and Φ. is bounded away from 0. Similarly for g G2.,.. There is a uniform upper estimate for the normal derivatives: { } C 7 := sup n 2 u g G 2 u, β, n u g G u, α : u Γ, α Z, β Z 2 <. Therefore Q f u 0 Φ f Γ C n 3/4 2 f Γ 2n 3/4 C 2 nc 6 N 2 max N 2 = o f Γ max n 2 u 0 g N G 2 u 0, β j, n 2 u 0 g N G 2 u 0, β j, 32 n u 0 g G u 0, α j n u 0 g G u 0, α j 33 where we used that 2 nc N 2 6 max n 2 u 0 g N G 2 u 0, β j, n u 0 g G u 0, α j. 34 This way we need to consider Q f Φ only. The derivatives at of the original f and h coincide, because of 6, 8 and 30, so h = ϕ r + r,n 5 + r 2,N 5 = Q f Φ. 35 As for the sup norms, we use 6, 7, 29, so we write Q f Φ h D = o f G2 36 where o tends to 0 as n = degf but it is independent of f, this follows from the considerations after 7 and 29. Now we apply Borwein-Erdélyi inequality for h as follows: N h h D max n g D, α j, N 2 N5 N2 2 n 2 g D, β j + n 2 g D, γ j 37 6

17 where we also used the definition of γ j s see 0. Now we apply Proposition 6 and 34 with N 5 N 2 2 = on and the uniform upper estimate 32 so we can continue the main estimate 37 N = h D max n u 0 g G u 0, α j, N 2 N 2 N 5 N n 2 u 0 g 2 2 G 2 u 0, β j + n 2 u 0 g G 2 u0, Φ 2 γ j N h D + o max n u 0 g G u 0, α j, n 2 u 0 g N G 2 u 0, β j + o f Γ max N 2 n u 0 g G u 0, α j, n 2 u 0 g G 2 u 0, β j where in the last step we used 36 and the properties of Q. Here, o tends to 0 as n = degf but it is independent of f, this follows from the consideration 36 and N 5 N 2 2 = on. Using that h = f u 0 and summarizing these estimates, we have f f Γ + o N max which is the assertion of Theorem. 4 Proof of Theorem 2 n u 0 g G u 0, α j, N 2 n 2 u 0 g G 2 u 0, β j Here we use an analytic open-up tool to transform the arc setting z plane to the curve setting u plane. For a Jordan curve Γ, IntΓ denotes the interior of Γ and ExtΓ denotes the exterior of Γ, ExtΓ := C \ Γ IntΓ. Proposition 9. Let Γ 0 C be an analytic Jordan arc. Then there exist a rational function F and an analytic Jordan curve Γ such that F is a conformal bijection from IntΓ and from ExtΓ onto C \ Γ 0. This is a special case of [KN5b], Proposition 5 and actually can be established with the Joukowskii mapping z = Ju = /2u + /u and using a suitable linear transformation. This mapping is depicted on figure 3. Denote the inverse of z = F u restricted to IntΓ by F z = u and that restricted to ExtΓ by F2 z = u. We need the mapping properties of F as regards the normal vectors. For the full details, we refer to [KN5b] p Briefly, there are exactly two 7

18 Figure 3: The open-up u, u 2 Γ, u u 2 such that F u = F u 2 = z 0. Denote the normal vectors to Γ pointing outward by n 2. and the normal vectors pointing inward by n.. By reindexing u and u 2 and the exchanging n z 0 and n 2 z 0, we may assume that the normal vector n 2 u is mapped by F to the normal vector n 2 z 0. This immediately implies that n u, n 2 u 2, n u 2 are mapped by F to n z 0, n z 0, n 2 z 0 respectively. Moreover, we need to relate the normal derivatives of Green s functions as follows. Proposition 0. Using the notations above, for the Green s functions of G 2 := ExtΓ and G := IntΓ and for b C \ K we have n z g C \Γ 0 z, b = n u g G u, F b / F u and, similarly for the other side, = n 2 u 2 g G 2 u2, F 2 b / F u 2 n 2 z g C \Γ 0 z, b = n u 2 g G u2, F b / F u 2 = n 2 u g G 2 u, F 2 b / F u. This proposition follows immediately from Proposition 6 from [KN5b] and is a two-to-one mapping analogue of Proposition 6. Proof of Theorem 2. Use Proposition 9, and consider f u := f F u on the analytic Jordan curve Γ at u where F u = z 0 and put G := F C \ Γ 0 = IntΓ and G 2 := F2 C \ Γ 0 = ExtΓ, similarly as above. Obviously, G = C \ Γ 0. We have then f u + o f Γ max n u g G u, F β, β β n 2 u g G 2 u, F 2 β 8

19 where β runs through the poles of fz counting multiplicities. Now use Proposition 0 and f u = f z 0 F u, hence f z 0 + o f Γ0 max β which we wanted to prove. n z 0 g G z 0, β, β n 2 z 0 g G z 0, β 5 Sharpness - proof of Theorem 3 The idea is as follows. On the unit circle v plane, we use some special rational functions for which Borwein-Erdélyi inequality is sharp. Then we transfer it back to Γ u plane and approximate it with rational functions. In other words, we do the reconstruction step in the opposite direction. Recall that D = {z : z > } { } and Ba, v = av v a factor with pole at a. First, we state the cases when we have equality in Borwein-Erdélyi inequality. is the Blaschke Proposition. Suppose h is a Blaschke product with all poles are either inside or outside the unit circle, that is, hv = n B α j, v where all α j D, or hv = n B β j, v where all β j D. Then h = h D max n α g D, α, n 2 g D, β β where the sum with α or β is taken over all poles of h in D or in D, respectively, counting multiplicities. This proposition is contained in Borwein-Erdélyi inequality as stated in [BE95] pp The proof starts as follows. Take n not necessarily different points from Φ Z, denote them by α,..., α n and let h n v := n B α j, v. Obviously h n D =. Now we transfer h n to u plane. Let f,n u be the sum of principal parts of h n Φ u. And approximate h n Φ u f,n u with rational functions with poles outside Γ as follows. It is immediate that ϕ e u := h n Φ u f,n u is holomorphic in G + := {Φ v : v < + δ }. Fix any ζ 0 Z 2 arbitrarily. Take a rational function w = ψu such that ψ ζ 0 = and deg ψ =. Hence ψ is a conformal mapping from C onto itself. 9

20 Figure 4: The three planes w, u and v and the mappings Let Γ w := ψ Γ and G +,w := ψ G + and w0 := ψ u 0. Fix a smooth Jordan curve Γ w+ such that Γ w IntΓ w+, Γ w+ G +,w and ψ Z 2 Γ w+ IntΓ w+ =. These are depicted on figure 4. Put N 6 := [n 4/5 ] and denote a Fekete polynomial monic polynomial with zeros at a Fekete point set of Γ w with degree N 6 by P w. We are going to use the sharpness of Bernstein-Walsh lemma see, e.g. [Ran95], Theorem b, p. 56 therefore we put C 8 := inf { g C \Γ w w, : w Γ w+ } > 0, C 9 := sup {τw, : w Γ w+ } < where τ.,. denotes the Harnack distance. It is known that the n-th diameter δ N6 of Γ w is close to the capacity capγ w, see Fekete-Szegő theorem [Ran95], Theorem on page 53, since δ N6 capγ w. Hence N 6 is large, then C 9 log τw, log Let δ N6 capγ w < C 8/2 and gw, δ N6 capγ w > C 8/2. This way we have for large N 6 that P w P Γw exp N 6 C 8 /2, w Γ w+. 38 qw := P w w w 0 2, this q is a polynomial with degree N and w 0 is at least a double zero. Introduce f 2,w w := ˆ ϕ e ψ w q w q ξ dξ 2πi Γ w+ q ξ w ξ where w IntΓ w+ and this f 2,w. is a polynomial with degree N Here, f 2,w w 0 = ϕ e u 0 /ψ u 0. The error of interpolation on the w plane is ϕ e ψ w f 2,w w = ˆ ϕ e 2πi Γ w+ 20 ψ ξ ξ w q w q ξ dξ,

21 where w IntΓ w+. It can be estimated from above as follows if w Γ w ϕ e ψ w f 2,w w ˆ ϕ e ψ ξ q w 2π Γ w+ ξ w q ξ dξ ˆ ϕe ψ ξ P w 2π Γ w+ P ξ C 20 2 dξ 39 ξ w ξ w 0 where C 20 > 0 actually C 20 = diam Γ w+ 2 and we continue this estimate later. Here ϕe ψ ξ, ξ Γw+ can be estimated using that h n v is a Blaschke product with all poles in the unit disk, therefore hn Ψ ψ Γw+ and using the Gonchar-Grigorjan type estimate see Theorem in [KN5a] on IntΓ for h n Φ which implies that f,n Γ C 6 Γ logn h n Φ Γ = C 6 Γ logn and, since f,n has poles in IntΓ, the maximum principle yields f,n Γw f,n Γw+. Hence ϕ e ψ ξ h n Ψ ψ Γw+ + f,n Γw+ + C 6 Γ logn = Ologn 40 where n is large enough depending on Γ only. We also use ˆ C 20 2π Γ w+ ξ w ξ w 0 2 dξ C 2 for some constant C 2 > 0 depending on Γ and Γ w+, since w Γ w, and Γ w+ is fixed and is from positive distance from Γ w. Finally, we estimate qw/qξ using 38 when w Γ w, ξ Γ w+, whence qw qξ P Γw P Γw e = N6C8/2 e N6C8/2. Putting these estimates together, we can finish 39 O logne N6C8/2. Now substituting w = ψu, we can write ϕ e f 2,w ψ Γ O logne N6C8/2 4 where δ 3 and the constant in O. is independent of h n and n and depends only on Γ and Γ w+ only. Finally, let f n u := f,n u + f 2,w ψu this is a rational function with poles in IntΓ with total order n and one pole in the exterior of Γ at ζ 0 with order N = On 4/5 = on. Moreover f n u 0 = f,n u 0 + ϕ e u 0 /ψ u 0 ψ u 0 = h n 2

22 since Φ =. We know that h n D = and using 4, f n Γ = f,n + f 2,n ψ Γ = f,n + ϕ e + f 2,n ψ ϕ e Γ = hn Φ + f 2,n ψ ϕ e Γ = ± O therefore f n Γ + o h n D. We use Propostition for h n, hence f n u 0 = h n = h n D max n α g D, α, β o f n Γ max n α g D, α, β n 2 g D logne N6C8/2, β n 2 g D, β where actually the second term in the max is void h n has poles only inside the unit disk and by Proposition 6, so max α = max n g D, α, β α = α n 2 g D, β = α n u 0 g G u 0, Φ α n u 0 g G u 0, Φ α, N n g D, α n 2 u 0 g G 2 u 0, ζ 0 in the last step we used that the first term in the max is On and the second one is on, hence if n is large depending on Γ, then the last equality holds. This finishes the proof of Theorem 3. 6 Acknowledgement This research was partially done when the first author had a postdoctoral position at the Bolyai Institute, University of Szeged, Aradi v. tere, Szeged 6720, Hungary and was supported by the European Research Council Advanced grant No He was partially supported by the Russian Science Foundation under grant too Theorem 3. The authors would like to thank Vilmos Totik for the interest and useful discussions. References [Bar92] Mirosław Baran, Bernstein type theorems for compact sets in R n, J. Approx. Theory , no. 2, MR e:402 22

23 [BE95] [BE96] [DK07] [Dub2] [GG76] [KN5a] [KN5b] [Luk04] [Mar77] Peter Borwein and Tamás Erdélyi, Polynomials and polynomial inequalities, Graduate Texts in Mathematics, vol. 6, Springer-Verlag, New York, 995. MR e:400, Sharp extensions of Bernstein s inequality to rational spaces, Mathematika , no. 2, MR k:2604 V. N. Dubinin and S. I. Kalmykov, A majorization principle for meromorphic functions, Mat. Sb , no. 2, 37 46, English translation in Sb. Math , no. -2, MR c:30074 V. N. Dubinin, Methods of geometric function theory in classical and modern problems for polynomials, Uspekhi Mat. Nauk , no. 4406, 3 88, English translation in Russian Math. Surveys , no. 4, MR A. A. Gončar and L. D. Grigorjan, Estimations of the norm of the holomorphic component of a meromorphic function, Math. USSR-Sb , no. 4, , Russian original in Mat. Sb. N.S MR S. I. Kalmykov and B. Nagy, On estimate of the norm of the holomorphic component of a meromorphic function in finitely connected domain, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. POMI , no. Analiticheskaya Teoriya Chisel i Teoriya Funktsii. 30, , Polynomial and rational inequalities on analytic Jordan arcs and domains, J. Math. Anal. Appl , no. 2, MR A. L. Lukashov, Inequalities for the derivatives of rational functions on several intervals, Izv. Ross. Akad. Nauk Ser. Mat , no. 3, 5 38, English translation in Izv. Math , no. 3, MR j:2600 A. I. Markushevich, Theory of functions of a complex variable. Vol. I, II, III, english ed., Chelsea Publishing Co., New York, 977, Translated and edited by Richard A. Silverman. MR #3258 [MMR94] G. V. Milovanović, D. S. Mitrinović, and Th. M. Rassias, Topics in polynomials: extremal problems, inequalities, zeros, World Scientific Publishing Co., Inc., River Edge, NJ, 994. MR m:30009 [Nag05] [NT05] [NT3] Béla Nagy, Asymptotic Bernstein inequality on lemniscates, J. Math. Anal. Appl , no. 2, MR c:409 Béla Nagy and Vilmos Totik, Sharpening of Hilbert s lemniscate theorem, J. Anal. Math , MR g:30008, Bernstein s inequality for algebraic polynomials on circular arcs, Constr. Approx , no. 2, MR

24 [NT4], Riesz-type inequalities on general sets, J. Math. Anal. Appl , no., MR [Pom92] Ch. Pommerenke, Boundary behaviour of conformal maps, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 299, Springer-Verlag, Berlin, 992. MR b:30008 [Ran95] [SL68] [ST97] [Tot0] [Tot0] [Wal65] [Wid69] Thomas Ransford, Potential theory in the complex plane, London Mathematical Society Student Texts, vol. 28, Cambridge University Press, Cambridge, 995. MR e:300 V. I. Smirnov and N. A. Lebedev, Functions of a complex variable: Constructive theory, Translated from the Russian by Scripta Technica Ltd, The M.I.T. Press, Cambridge, Mass., 968. MR #5369 Edward B. Saff and Vilmos Totik, Logarithmic potentials with external fields, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 36, Springer- Verlag, Berlin, 997, Appendix B by Thomas Bloom. MR h:300 Vilmos Totik, Polynomial inverse images and polynomial inequalities, Acta Math , no., MR h:407, Christoffel functions on curves and domains, Trans. Amer. Math. Soc , no. 4, MR b:30006 J. L. Walsh, Interpolation and approximation by rational functions in the complex domain, Fourth edition. American Mathematical Society Colloquium Publications, Vol. XX, American Mathematical Society, Providence, R.I., 965. MR #672b Harold Widom, Extremal polynomials associated with a system of curves in the complex plane, Advances in Math , MR #48 Sergei Kalmykov Department of Mathematics, Shanghai Jiao Tong University, 800 Dongchuan RD, Shanghai, , China and Far Eastern Federal University, 8 Sukhanova Street, Vladivostok, , Russia address: sergeykalmykov@inbox.ru Béla Nagy MTA-SZTE Analysis and Stochastics Research Group, Bolyai Institute, University of Szeged, Szeged, Aradi v. tere, 6720, Hungary address: nbela@math.u-szeged.hu 24