Bounded point evaluations for certain \(P^t(\mu)\) spaces (Q1282988)

For a positive measure \(\mu\) with compact support in the complex plane \({\mathbb C}\) and for \(1\leq t<\infty\), let \(P^t(\mu)\) denote the closure in \(L^t(\mu)\) of the polynomials in \(z\). A point \(w\) in \({\mathbb C}\) is a bounded point evaluation for \(P^t(\mu)\) if there exists a constant \(M>0\) such that \(|p(w)|\leq M\|p\|_{L^t(\mu)}\) for each polynomial \(p\). The set of bounded point evaluations for \(P^t(\mu)\) is denoted by \(\text{bpe}(P^t(\mu))\). \(P^t(\mu)\) is irreducible if \(P^t(\mu)\) does not split into the direct sum of nontrivial spaces \(P^t(\mu_1)\) and \(P^t(\mu_2)\). Let \(K\) be a compact subset of the unit circle \(\partial \mathcal D\), let \(\{J_n\}\) denote the components of \(\partial \mathcal D\setminus K\), and for each \(n\), let \(I_n\) denote the chord in the closed unit disk \(\overline{\mathcal D}\) with the same end points as \(J_n\). The region with boundary \(J_n\cup I_n\) is denoted by \(G_n\), and let \(\Gamma\) be the rectifiable Jordan curve \(K\cup\bigcup_{n} \{I_n\}\) and \(U\) the interior of \(\Gamma\). The authors study bounded point evaluations for \(\mu\) of the form \(d\mu=h dm|_K+WdA|_{\cup G_n}\), where \(m, A\) are, respectively, Lebesgue measure on \(\partial {\mathcal D}\) and area measure on the unit disk \({\mathcal D}\). Let \(z_0\in U\) and let \(\omega\) be the harmonic measure for \(U\) at \(z_0\). The lengths of \(I_n\) and \(J_n\) are denoted by \(|I_n|\) and \(|J_n|\), respectively. The authors prove the following main result (\(W\equiv 1\)). Theorem A. Let the measure \(d\mu=h dm|_K+ dA|_{\cup G_n}\), where \(h\) is a nonnegative integrable function satisfying \(\int_K \log h dm>-\infty\). Then the following conditions are equivalent: (a) \(z_0\) is a bounded point evaluation for \(P^t(\mu)\), (b) \(\text{bpe}(P^t(\mu)) = {\mathcal D}\) and \(P^t(\mu)\) is irreducible, (c) \(P^t(\mu)\) does not split, (d) \(\sum_{n=1}^{\infty} \omega(I_n) \log\frac{1}{|I_n|}<\infty\). Another result proved by the authors is related to the Carleson condition on the set \(K\), that is, \(\sum\limits_{n=1}^{\infty}|J_n|\log\frac{1}{|J_n|} <\infty\). Theorem B. There is a compact subset of the unit circle \(\partial{\mathcal D}\) with \(m(K)>0\) such that \(K\) satisfies Theorem A(d) but \(\sum_{n=1}^{\infty}|J_n|\log\frac{1}{|J_n|}=\infty\).