Szegő's condition on compact subsets of \(\mathbb{C}\) (Q2315031)

Let \(K\) be a compact subset of \(\mathbb{C}\) with positive logarithmic capacity \(\operatorname{Cap}(K)\) and let \(\mu_{K}\) be the equilibrium measure of \(K\). Let \(\Omega\) denote the unbounded component of \(\mathbb{C}\setminus K\) and let \(G_{\Omega}\) denote the Green function of \(\Omega\) with pole at infinity. The compact set \(K\) is called a Parreau-Widom set if it is regular for the Dirichlet problem and \[\sum_{n}G_{\Omega}(c_{n})<+\infty,\] where \((c_{n})\) is the set of critical points of \(G_{\Omega}\) counting multiplicities. For any positive integer \(n\) and any unit Borel measure \(\mu\) having an infinite compact support, let \[W_{n}(\mu)=\frac{||P_{n,\mu}||_{L^{2}(\mu)}}{\operatorname{Cap}(\mbox{supp}(\mu))^{n}},\] where \(P_{n,\mu}\) is the \(n\)-th monic orthogonal polynomial for \(\mu\). In the paper under review, the author studies the behavior of \(W_{n}(\mu)\) and proves the following generalization of Szegő's theorem on Parreau-Widom sets: Theorem. Let \(\mu\) be a unit Borel measure supported on the compact set \(K\). If \(d\mu=hd\mu_{K}+\mu_{s}\) is the Lebesgue decomposition of \(\mu\) with respect to \(\mu_{K}\) and \(M:=\int hd\mu_{K}>-\infty\), then \[\inf_{n}\left(W_{n}(\mu)\right)^{2}\geq e^{M}.\] Also, the author gives a sufficient condition for \(K\) to be a Parreau-Widom set. Let \(B_{\Omega}\) be a multivalued analytic function on \(\Omega\) satisfying \(|B_{\Omega}(z)|=e^{-G_{\Omega}(z)}\), \(z\in\Omega\), and \[B_{\Omega}(z)=\operatorname{Cap}(K)/z+O(|z|^{-2}),\qquad z\to\infty.\] For \(n\in\mathbb{Z}\), let \(\chi_{n}\) be the character of \(B_{\Omega}^{n}\). Theorem. Let \(K\) be a regular compact subset of \(\mathbb{C}\) and suppose that \((\chi_{n})_{n\in\mathbb{Z}}\) is dense in the character group \(\Pi(\Omega)^{*}\). If \((W_{n}(\mu_{K}))_{n=1}^{\infty}\) is bounded, then \(K\) is a Parreau-Widom set.