Strong \(L^ p\) estimates for maximal functions with respect to singular measures; with applications to exceptional sets (Q1080989): Difference between revisions

Let D denote a domain in \({\mathbb{C}}^ n\) with boundary \(\partial D\) of class \(C^ 2\). The existence of limits at the boundary of holomorphic and of harmonic functions in D depends upon the approach regions under consideration, and there are various ways to measure the exceptional sets as well. Results on this subject are obtained through the associated maximal functions. The authors first prove a theorem in the context of spaces of homogeneous type, involving a pseudo-metric and a non-negative measure \(\mu\) [cfr. \textit{R. Coifman} and \textit{G. Weiss}, 'Analyse harmonique non-commutative sur certains espaces homogènes. Etude de certaines integrales singulières' (1971; Zbl 0224.43006)], that asserts the \(L^ p\)-boundedness of a maximal function: Consider the half-space \(X\times (0,\infty)\) over X and for a function u defined thereon, put \[ N[u](x)=\sup | u(y,s)|,\quad (y,s)\in \Gamma (x), \] and \[ M_ p[u]=\sup | u(y,s)| \eta (s)^{1/p},\quad (y,s)\in \Omega (x). \] Here \(\Gamma(x)\) is the analogue of a non-tangential (conical) approach region, \(\Omega(x)\) is a more general approach region and \(\eta\) is an appropriate weight function. Then, for certain measures \(\nu\) on X, there exists a constant C such that \[ \| M_ p[u]\|_{L^ p(d\nu)} \leq C^{1/p}\| N[u]\|_{L^ p(d\mu)},\quad \forall u. \] Holomorphic functions and the space \(H^ p(D)\) come into consideration in {\S} 3. A maximal function \({\mathcal M}\) involving the gradient over admissible approach regions is shown to be bounded in \(L^ p\) of an appropriate singular measure \[ \nu: \| {\mathcal M}[F]\|_{L^ p(d\nu)}\leq C_ p\| F\|_{H^ p},\quad \forall F\in H^ p(D). \] {\S} 4 applies the results of {\S} 3 to the case where the measure \(\nu\) is defined through a ''transverse'' curve \(\phi: [a,b]\to \partial D\) situated on the boundary of D, \[ \int f d\nu =\int^{b}_{a} f(\phi(t))dt,\quad \forall \text{ continuous f on }\partial D. \] The main result consists in a decomposition \(\partial D=E_ 1\cup E_ 2\cup N\) relative to \(F\in H^ p(D)\), where lim F(z) \((z\in\) appropriate approach region \(\to\xi)\) exists at \(\xi\in E_ 1\), the cluster set of F is all of C at each \(\xi\in E_ 2\) and \(\nu(N)=0\). {\S} 5 is devoted to certain analogues on D of the Lusin area integral. {\S} 6 establishes the boundedness in \(L^ p(d\nu)\) of a maximal function belonging to the Poisson integral of Bessel potentials of \(f\in H^ p(R^ n)\), \(0<p<\infty\). {\S} 7 shows that the result of {\S} 6 remains valid for f belonging to certain Besov spaces.