A convergence theorem for harmonic measures with applications to Taylor series (Q2790187)

Let \(f\) be a holomorphic function on the unit disc, \(\mathbb{T}\) the unit circle, \((S_{n_k})_k\) a subsequence of the partial sums of its Taylor series about 0, NEWLINE\[NEWLINE E = \{ \zeta \in \mathbb{T} : S(\zeta) := \lim_{k \to \infty} S_{n_k}(\zeta) \text{ exists} \} NEWLINE\]NEWLINE and NEWLINE\[NEWLINE F = \{ \zeta \in \mathbb{T} : f(\zeta) := \text{nt} \lim_{z \to \zeta} f(z) \text{ exists} \}, NEWLINE\]NEWLINE where \(\text{nt} \lim\) denotes the nontangential limit, wherever it exists (finitely). Using the following convergence theorem for harmonic measures, the authors prove that \(S=f\) almost everywhere (with respect to the arc length measure) on \(E \cap F\). This result yields also new information about the boundary behaviour of universal Taylor series.NEWLINENEWLINEOf independent interest is the already mentioned convergence theorem, which is also proved in this article. Let \(\Omega\) be a domain in \(\mathbb{R}^N\), \(N \geq 2\), possessing a Green function \(G_{\Omega}(\cdot,\cdot)\), \(\xi_0 \in \Omega\), and \(\omega\) be an open subset of \(\Omega\). For any Borel set \(A\) and any point \(x\) in \(\mathbb{R}^N\), let \(\mu_x^\omega(A)\) denote the harmonic measure of \(A \cap \partial\omega\) for \(\omega\) evaluated at \(x\). (If \(x \notin \omega\), this measure is assigned the value 0.) Suppose that \((v_k)_k\) is a decreasing sequence of subharmonic functions on \(\omega\) such that \(v_1/G_\Omega(\xi_0,\cdot)\) is bounded above and \(\lim_{k\to\infty} v_k < 0\) on \(\omega\). If \(\mu_{x_1}^\omega(\partial\Omega) > 0\) for some \(x_1\), then \(\mu_{x_1}^{\{v_k<0\}}(\partial\Omega) > 0\) for all sufficiently large \(k\).