Polynomials with prescribed zeros on an analytic curve (Q625977)

The authors improve a recent result of \textit{V. Totik} and \textit{P. P. Varjú} [Acta Sci. Math. 73, No. ~3--4, 593--611 (2007; Zbl 1174.26013)] about estimates of the uniform norm of a monic polynomial with prescribed zeros on the unit circle. They prove the following theorem. Theorem 1. Let \(n, k\) and \(\{\theta_j \}\) satisfy \( \theta_{j+1}-\theta_j \geq \alpha \frac {2\pi}{n}\), \(j=1,\dots,k\), with some \(\alpha>1\). Then there exists a polynomial \(P_n=z^n+\dots\) such that \(P_n(z_j)=0\), where where \(z_j=e^{i\theta_j}\), \(j=1,\dots,k\), and \(\| P_n\| _{\mathbb{T}} \leq 1 +c\frac{k}{n}\), where \(c=c(\alpha)>0\). (Here, \(\mathbb{T}\) denotes the unit circle, and the notation \(\| \cdot \| _S\) means the supremum norm over a compact subset \(S\subset\mathbb{C}\).) This estimate is best possible with respect to the power of \(k/n\). For comparison, note that in the above-mentioned work of Totik and Varjú [loc. cit.], the last inequality has the form \(\| P_n\| _{\mathbb{T}} \leq 1 +c\sqrt{\frac{k}{n}}\). The authors extend this result to the case of polynomials with some zeros on an arbitrary analytic curve in the complex plane. Assume that \(L\subset \mathbb{C}\) is an analytic curve. Denote by \(G:=\operatorname{int} L\) and \(\Omega:=\operatorname{ext} L\) the bounded and the unbounded component of \(\overline{\mathbb{C}}\setminus L\), respectively, where \(\overline{\mathbb{C}}:=\mathbb{C}\cup\{ \infty \}\) is the extended complex plane. Denote by \(\Phi:\Omega\rightarrow \overline{\mathbb{C}}\setminus\overline{\mathbb{D}}\) the conformal mapping normalized by \( \Phi(\infty)=\infty\) and \(\Phi'(\infty):=\lim_{z\to\infty}\frac{\Phi(z)}{z}>0\). Assume that the function \(\Phi\) continuously extends to \(L\). For \(k<n\), let \(z_1,\dots,z_k,z_{k+1}=z_1\) be points on \(L\) and set \(e^{i\theta_j} :=\Phi(z_j)\in \mathbb{T}\). Theorem 2. Let \(n, k\) and \(\{\theta_j \}\) satisfy \( \theta_{j+1}-\theta_j \geq \alpha \frac {2\pi}{n}\), \(j=1,\ldots,k\), with some \(\alpha>1\), and let \(\xi_0 \in G\). Then there exists a complex polynomial \(P_n\) of degree at most \(n \in \mathbb{N} \), such that \(P_n(\xi_0)=1\), \(P_n(z_j)=0\), \(j=1,\ldots,k\), and \(\| P_n\| _{\mathbb{T}} \leq 1 +c\frac{k}{n}\), where \(c=c(L,\alpha,\xi_0)>0\). This estimate is best possible with respect to the power of \(k/n\).