A trace law for the Hardy-Morrey-Sobolev space (Q1675907)

The authors are concerned with trace inclusions between Hardy-Morrey spaces. Denote by \(HL^{p,\kappa}\) the \((p,\kappa)\) Hardy-Morrey space based on the standard Lebesgue measure and denote by \(HL^{q,\lambda}_{\mu}\) the \((p,\kappa)\) Hardy-Morrey space induced by a Radon measure \(\mu\geq 0\). The main result of the article establishes that, if following relations hold: (i) \(0<\lambda\leq \kappa\leq n\) (ii) \(0 < \alpha < n\), (iii) \( 0 < p < \kappa / \alpha\), (iv) \(n-\alpha p<\beta\leq n\), (v) \( 0 < q=p (\beta+\lambda-n)/(\kappa-\alpha p)\), then the Riesz operator \(I_\alpha:HL^{p,\kappa}\to HL^{q,\lambda}_{\mu}\) is continuous if and only if \[ |||\mu|||_\beta:=\sup_{(x,r)\in {\mathbb R}^n\times (0,\infty)} r^{-\beta}\mu(B(x,r))<\infty. \]