Determination of the pluripolar hull of graphs of certain holomorphic functions. (Q1774091): Difference between revisions

Let \(f\in \mathcal O(D)\) be a bounded holomorphic function on an open set \(D\) in \(\mathbb C\). We say that \(w\in \mathbb C\) is an interior value of \(f\) at \(z_0\in \partial D\) if there exist \(\alpha >0\), a closed disk \(B\subset D\), and a sequence \(\{z_k\}\subset D\) such that \(z_k\rightarrow z_0\), \(f(z_k)\rightarrow w\), and \(\omega (z_k,B,D) > \alpha\) \((k\geq 1)\), where \(\omega\) is the harmonic measure of \(B\) with respect to \(D\). Let \(L_{z_0}(f;D)\) denote the set of all interior values of \(f\) at \(z_0\in \partial D\). If \(f\) is unbounded we set \(L_{z_0}(f;D) = \bigcup_{R>0}L_{z_0}(f;D_R)\), where \(D_R = \{z\in D; | f(z)| <R\}\). Main results. Let \(A\) be a closed polar subset of an open set \(D\). Fix \(f\in \mathcal O (D\setminus A)\) and \(z_0\in A\). Let \(\Gamma_f\) be the graph of \(f\) over \(D\setminus A\). Then the following statements are true. \(1^o\). \((\Gamma_f)^*_{D\times \mathbb C} \cap \{z_0\}\times \mathbb C = \{z_0\}\times L_{z_0}(f;D\setminus A) \), which implies that the set on the left-hand-side contains at most one point. \(2^o\). If \(U\subset \mathbb C\) is an open set then \((\{z_0\}\times \mathbb C)\cap (\Gamma_f\cap (D\times U) ^*_{D\times U} = \emptyset\) if and only if for any bounded open set \(V\) the set \((D\setminus A)\setminus f^{-1}(V) \) is not thin at \(z_0\). \(3^o\). If \(U, V\) are open sets such that \(V\) is bounded, \(\bar V\subset U\) and \((D\setminus A)\cap f^{-1}(V)\) is thin at \(z_0\) then there exists \(w_0\in \overline V\) such that \((z_0,w_0)\in (\Gamma_f\cap D\times U)^*_{D\times U}\). Recall that if \(E\) is a pluripolar subset of an open set \(\Omega \subset \mathbb C^2\) then \(E^*_{\Omega}\) denotes the pluripolar hull of \(E\) with respect to \(\Omega\), i.e. \(E^*_{\Omega} = \bigcap_{u\in P(\Omega, E)}\{z\in \Omega ; u(z)=-\infty\}\), where \(P(\Omega, E) = \{ u\in \text{PSH}(\Omega ); u(z)=-\infty\) on \(\Omega \}\).