Tangential boundary behavior of M-harmonic Besov functions in the unit ball (Q2367778)

In the paper under review, the author derived the following results about the boundary behavior of an \(M\)-harmonic Besov function on the unit ball in \(C^ n\). Let \[ \begin{aligned} B(\zeta,\delta)&=\{\eta\in S:\;| 1- \langle\zeta,\eta\rangle|<\delta\}\\ D_ \alpha(\zeta)&= \{z= | z|\eta\in B:\;|1-\langle \eta,\zeta\rangle| < \alpha(1-| z|)\}\\ \Omega_{\alpha,\tau}(\zeta)&= \{z= | z|\eta\in B:\;| 1-\langle \eta,\zeta\rangle|^ \tau < \alpha(1- | z|)\}\\ M_ \alpha f(\zeta)&= \sup\{ | f(z)- f(0)|:\;z\in D_ \alpha(\zeta)\}\\ M_{\alpha,\tau} f(\zeta)&= \sup\{ | f(z)- f(0)|:\;z\in \Omega_{\alpha,\tau} (\zeta)\}\\ b(z,\zeta)&= \Biggl\{ {{(1-| z|^ 2) |\zeta|^ 2+ |\langle z,\zeta\rangle|^ 2} \over {(1-| z|^ 2)^ 2}} \Biggr\}^{1/2}\\ Qf(z)&= \sup_{|\zeta|=1} {{|\nabla f(z)\zeta|} \over {b(z,\zeta)}}\\ \| f\|_{p,s}&=\{{\textstyle{\int}} -B(Qf)^ p(w)(1-| w|^ 2)^ s d\lambda(w)\}^{1/p}.\end{aligned} \] Theorem 1. Let \(p\in(1,\infty)\), \(m,s\in R\) and \(\tau>1\). Suppose that \(\mu\) is a positive measure on \(S\) that satisfies \(\mu(B(\zeta,\delta))\leq\delta^ n\) for all \(\zeta\in S\) and \(\delta>0\). If \(s<m\), then there is a positive constant \(C\) such that \[ \| M_ \alpha f\|_{L^ p(S,\mu)}\leq C\| f\|_{p,s}, \] for all \(M\)-harmonic functions \(f\) on \(B\). If, in addition, \(s<{m\over\tau}\), then there exists a positive constant \(C'\) such that \[ \| M_{\alpha,\tau}f\|_{L^ p(S,\mu)}\leq C' \| f\|_{p,s} \] for all \(M\)-harmonic functions \(f\) on \(B\). As a consequence, suppose \(\| f\|_{p,s}<\infty\) and if \(s<m\) then the admissible limit \(\lim f(z)\) as \(z\to\zeta\), \(z\in D_ \alpha(\zeta)\) exists for \(\mu\)-almost all \(\zeta\in S\). If, in addition \(s< {m\over\tau}\), then the tangential limit \(\lim f(z)\) as \(z\to\zeta\), \(z\in\Omega_{\alpha,\tau}(\zeta)\) exists for \(\mu\)-almost all \(\zeta\in S\). Theorem 2. Let \(p\in(1,\infty),m\) and \(-p<s<0\). Then there exists a positive constant \(C\) such that \[ | f(z)-f(a)|\leq{C\over {| z-a|^{s/p}}}\| f\|_{p,s} \] for all \(M\)-harmonic functions \(f\) on \(B\). In particular if \(\| f\|_{p,s}<\infty\), \(f\) satisfies the Lipschitz condition of order \(-s/p\), hence can be continuously extended to the closed unit ball.