On the Totik-Widom property for a quasidisk

DOI10.1007/S00365-018-9452-4MaRDI QIDQ2007619zbMATH OpenOpenAlexWikidataFDO

Authors V. V. Andrievskii, Fedor Nazarov

Publication date 22 November 2019

Published in Constructive Approximation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.06948

Chebyshev polynomial equilibrium measure quasiconformal curve

Inequalities in the complex plane (30A10) Polynomials and rational functions of one complex variable (30C10) Quasiconformal mappings in the complex plane (30C62) Approximation in the complex plane (30E10)

Abstract: Let

K

be a quasidisk on the complex plane. We construct a sequence of monic polynomials

p_{n} = p_{n} (c d o t, K)

with zeros on

K

such that

| | p_{n} | |_{K} l e O (1) m a t h r m c a p (K)^{n}

as

n o i n f t y .

Review text

Let \(K\subset\mathbb{C}\) be a compact set in the complex plane with a simply connected complement and assume that the logarithmic capacity \(\mathrm{cap}(K) \) of \(K\) is positive. Denote by \(\tau_n (z) = \tau_n(z, K)\) be \(n\)-th Chebyshev polynomial associated with \(K\), i.e., the unique monic polynomial which minimizes the uniform norm. Further let \(\tilde\tau_n (z)= \tilde\tau_n(z,K)\) the \(n\)-th Chebyshev polynomial with zeros on \(K\). The Widom factors of \(K\) are defined by \[ \omega_n(K) = \frac{\| \tau_n \|_K}{\mathrm{cap}(K)^n} \text{ and } \tilde\omega_n(K) = \frac{\|\tilde \tau_n \|_K}{\mathrm{cap}(K)^n}. \] Here the authors consider the case when \(K={\bar G}\) is a closure of a Jordan domain \(G\) bounded by a quasiconformal curve (a quasidisk for short). Their main result is the estimate \[ \tilde\omega_n(K)=O(1) \text{ as } n\to \infty \] for a quasidisk \(K\). In particular, any quasidisk obeys the Totic-Widom bound, i.e., \[ \omega_n(K)=O(1) \text{ as } n\to \infty. \] See [\textit{V. V. Andrievskii}, Acta Math. Hung. 152, No. 2, 505--524 (2017; Zbl 1399.30002)]. To prove the main result the authors construct a sequence of monic polynomials \(p_n = p_n(\cdot, K)\) with all zeros on \(K \) such that \[ \mid \mid p_n \mid \mid _K \leq O(1)\mathrm{cap}(K)^n \text{ as } n\to\infty. \]

Recommendations

Cites work

Cited in

(12)

This page was built for publication: On the Totik-Widom property for a quasidisk

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2007619)