Weak trace measures on Hardy-Sobolev spaces (Q395047)

Let \(H_s^p\) be the Hardy-Sobolev spaces on \(B^n\), the unit ball of \(\mathbb C^n\). If \(f\) is a function on \(B^n\) and \(S^n\) is the unit sphere, let \(M | f | (\zeta) := \sup_{0 < \rho <1} | f(\rho \zeta)| \), \(\zeta \in S^n\), be the radial maximal function. We say that a non-negative Borel measure on \(S^n\) is a trace measure for \(H_s^p\) if \[ \| M{ | f | }\|_{L^p(d\mu)} \leq C \| f \|_{H_s^p}. \] When \(p \leq 1\), \textit{P. Ahern} [Mich. Math. J. 35, No. 1, 29--41 (1988; Zbl 0668.32006)] characterized the trace measures for \(H_s^p\). If \(p>1\) and \(n-1 < sp <n\), \textit{W. S. Cohn} and \textit{I. E. Verbitsky} [Indiana Univ. Math. J. 43, No. 4, 1079--1097 (1994; Zbl 0846.32007)] characterized them in terms of non-isotropic Riesz capacities. The authors give a characterization of the weak trace measures. We say that \(\mu\) is a weak trace measure for \(H_s^p\) if \[ \| M{ | f | }\|_{L^{p, \infty}(d\mu)} \leq C \| f \|_{H_s^p}. \] They prove the following result. Let \(1<p<\infty\), \(0<sp<n\). The measure \(\mu\) is a weak trace measure for \(H_s^p\) if and only if \(\mu\) satisfies the following two conditions. (1) \( \mu(B(\zeta, r)) \leq C r^{n-sp}, \) where \( B(\zeta, r) = \{ \eta \in S^n : | 1 - \zeta\overline{\eta} | <r\} \). (2) For any non-isotropic ball \(B \subset S^n\), \[ \int_B \sup_{\rho <1} \left| \int_B \frac{f(\eta)}{ ( 1 - \rho \zeta\overline{\eta})^{n-s}} d\sigma(\eta) \right| d\mu(\zeta) \leq C \left( \int_B | f |^p d\sigma \right)^{1/p} \mu(B)^{1/p'}, \] where \(d\sigma\) is the normalized Lebesgue measure on \(S^n\). When \(1<p<\infty\) and \(n-1 <sp <n\), they prove that \(\mu\) is a weak trace measure for \(H_s^p\) if and only if \(\mu\) is a trace measure for \(H_s^p\). They also consider \(H_s^p \to L^q\) estimates.