Bergman Orthogonal Polynomials and the Grunsky Matrix Bernhard Beckermann, Nikos Stylianopoulos
Total Page:16
File Type:pdf, Size:1020Kb
Bergman orthogonal polynomials and the Grunsky matrix Bernhard Beckermann, Nikos Stylianopoulos To cite this version: Bernhard Beckermann, Nikos Stylianopoulos. Bergman orthogonal polynomials and the Grunsky matrix. 2016. hal-01325026v1 HAL Id: hal-01325026 https://hal.archives-ouvertes.fr/hal-01325026v1 Preprint submitted on 1 Jun 2016 (v1), last revised 5 Jul 2016 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Bergman orthogonal polynomials and the Grunsky matrix by Bernhard Beckermann1 and Nikos Stylianopoulos2 Abstract By exploiting a link between Bergman orthogonal polynomials and the Grunsky ma- trix, probably first observed by K¨uhnau in 1985, we improve some recent results on strong asymptotics of Bergman polynomials outside the domain G of orthogonality, and on entries of the Bergman shift operator. In our proofs we suggest a new matrix approach involving the Grunsky matrix, and use well-established results in the literature relating properties of the Grunsky matrix to the regularity of the boundary of G, and the associated conformal maps. For quasiconformal boundaries, this approach allows for new insights for Bergman polynomials. Key words: Bergman orthogonal polynomials, Faber polynomials, Conformal mapping, Grun- sky matrix, Bergman shift, Quasiconformal mapping. Subject Classifications: AMS(MOS): 30C10, 30C62, 41A10, 65E05, 30E10. 1 Introduction and statement of the main results Let G be a bounded simply connected domain in the complex plane C, with Jordan boundary Γ. We define, for n 0, the so-called Bergman orthogonal polynomials ≥ n pn(z)= λnz + terms of smaller degree, λn > 0, satisfying p ,p 2 := p (z)p (z) dA(z)= δ , h n miL (G) n m m,n ZG where dA(z) = dxdy denotes planar Lebesgue measure. There is a well developed theory re- garding Bergman polynomials. For their basic properties, and the asymptotic behavior including that of their zeros, see for instance [3, 28, 7, 20, 8, 9, 5, 26, 21, 27] and the references therein. In describing these we need two conformal maps. Denote by D the open unit disk, by D∗ the exterior of the closed unit disk, by Ω the exterior of the closure of G, and consider the Riemann map from Ω onto D∗ −1 w = φ(z)= φ1z + φ0 + φ−1z + ..., with inverse map −1 −1 z = ψ(w)= φ (w)= ψ1w + ψ0 + ψ−1w + ..., where γ := φ = 1/ψ = 1/ψ′( ) > 0 is the inverse of the logarithmic capacity of G. We make 1 1 ∞ also use of the n-th Faber polynomial Fn. This is the polynomial part of the Laurent expansion 1Laboratoire Painlev´eUMR 8524 (AN-EDP), UFR Math´ematiques – M3, Univ. Lille, F-59655 Villeneuve d’Ascq CEDEX, France. E-mail: [email protected]. Supported in part by the Labex CEMPI (ANR-11-LABX-0007-01). 2Department of Mathematics and Statistics, University of Cyprus, P.O. Box 20537, 1678 Nicosia, Cyprus. E-mail: [email protected]. Supported in part by the University of Cyprus grant 3/311-21027. 1 at of φ(z)n, and hence F is of degree n, with leading coefficient γn. The corresponding ∞ n Grunsky coefficients bℓ,n = bn,ℓ are defined by the generating series ∞ ∞ ∞ ψ(w) ψ(v) 1 log − = b w−ℓv−n = F (ψ(w)) wn v−n, (1.1) ψ′( )(w v) − n,ℓ − n n − n=1 n=1 ∞ − X Xℓ=1 X which is analytic and absolutely convergent for w > 1, v > 1, see, e.g., [18, Chapter 3, Eqns | | | | (8) and (10)]. In what follows it will be convenient to work with the normalized Grunsky coefficients Cn,k = Ck,n = √n + 1 √k + 1 bn+1,k+1, for n, k = 0, 1, 2, ..., (1.2) for which the Grunsky inequality [18, Theorem 3.1] reads as follows: For any integer m 0 and ≥ any complex numbers y0,y1, ..., ym there holds ∞ m m 2 C y y 2. (1.3) n,k k ≤ | k| n=0 k=0 k=0 X X X We note that (1.3) holds under the sole assumption that G is a continuum, i.e., closed and connected, and Ω is the component of C G that contains . \ ∞ Under various assumptions on Γ many results are scattered over the literature, saying that the Bergman polynomial pn behaves like a suitably normalized derivative of the Faber polynomial Fn+1, namely like ′ Fn+1(z) n + 1 n+1 n fn(z) := = γ z + smaller degree. (1.4) √π√n + 1 r π Taking derivatives with respect to w in (1.1), using (1.2) and comparing like powers of v leads, for w > 1, to the formula | | ∞ ′ n + 1 n ℓ + 1 −(ℓ+2) rn(w) := ψ (w)fn(ψ(w)) w = w Cℓ,n. (1.5) − r π − r π Xℓ=0 The Grunsky inequality (1.3) allows us to conclude3 that r L2(D∗), and more precisely by n ∈ choosing y0 = y1 = ... = yn−1 = 0, yn = 1 we obtain ∞ 2 2 ε := r 2 D∗ = C 1. (1.6) n k nkL ( ) | j,n| ≤ Xj=0 We note that, though there is a different normalization for fn, the quantity εn in (1.6) coincides 2 with that of [26, Eqn. (2.21)]. Also, it is interesting to observe that ε = 1 f 2 , see n − k nkL (G) Lemma 2.2 below. Most of the results of this paper require the additional assumption that the boundary Γ is quasiconformal. We refer the reader to, e.g., [18, 9.4] for a definition and elementary properties, § and recall that a piecewise analytic Jordan curve Γ is quasiconformal if and only if it does not have cusps. Also, a quasiconformal curve is a Jordan curve, with two-dimensional Lebesgue 3We do not need further assumptions on the boundary like Γ being rectifiable, compare with [26, Lemma 2.1]. 2 measure zero [1, Section B.2.1]. In our considerations in 2 the following fact will be important § [18, Theorem 9.12 and Theorem 9.13]: we can improve the Grunsky inequality (1.3) exactly for the class of quasiconformal curves, by inserting a factor strictly less than one on the right-hand side of (1.3). For quasiconformal Γ, the following inequalities have been established by one of the present authors in [26, Lemma 2.4 and Theorem 2.1]: n + 1 γ2n+2 εn 1 2 = (εn). (1.7) ≤ − π λn O In other words, the leading coefficient λ of p behaves like that of f if and only if ε 0. By n n n n → using (1.7) and the Pythagoras theorem, is is readily seen that 2 f p 2 = (ε ), (1.8) k n − nkL (G) O n that is, for ε 0 we also get L2 asymptotics on the support of orthogonality for p . Further- n → n more, by employing the argument of [22, p. 2449], the relation (1.8) will lead to the relative asymptotics fn(z) =1+ (√εn), (1.9) pn(z) O at least for z outside the closed convex hull conv(G) of G. Note that, by Fejer’s theorem [7, Theorem 2.1], pn is zero free outside conv(G). For the sake of completeness, we will provide an alternate proof of (1.7) and (1.8) in Remark 2.5 below, based on our Theorem 2.4. Moreover, a sharper result related to (1.9) will be established in Theorem 1.1 below. Here we give a short review of some cases where the behavior of εn is known. Further details are given in 3 below. For analytic Γ, the function ψ has an analytic and univalent continuation § to w > ρ for some ρ [0, 1). We then write Γ U(ρ) for the smallest such ρ. The asymptotic | | ∈ ∈ behavior of Bergman polynomials for Γ U(ρ) has been first derived by Carleman in [3] where, ∈ in particular, he showed that 2n+2 n + 1 γ 2n 0 < 1 2 = (ρ ). (1.10) − π λn O For Γ U(ρ), K¨uhnau [15, Eqn. (9)] established the inequality C ρℓ+n+2 and hence, ∈ | ℓ,n| ≤ from (1.6), ε = (ρ2n). Thus (1.10) can be also deduced from (1.7) by means of the Grunsky n O coefficients. The particular case of an ellipse discussed in 2.1 below shows that (1.10) is not 4n+4 § sharp for ellipses, because in this case εn = ρ . For a recent discussion of asymptotics inside G when Γ U(ρ) we refer to Mi˜na-D´ıaz [16]. ∈ Suetin considered Γ in the class (p, α), meaning that there is a parametrization of Γ C having a derivative of order p 1, which is H¨older continuous with index α (0, 1). Under ≥ ∈ the assumption Γ (p + 1, α), p 0, he showed in [28, Lemma 1.5] that ε = (1/nβ) with ∈ C ≥ n O β = 2p + 2α. In cases where β > 1, the upper bound of (1.7) can be found in [28, Theorem 1.1]. Finally, the case of piecewise analytic Γ without cusps has been considered recently by the second author, who showed in [26, Theorem 2.4] that ε = (1/n). An example of two n O overlapping disks considered by Mi˜na-D´ıaz [17] shows that this estimate cannot be improved, since lim infn nεn > 0, for this particular Γ.