Title:Adams' trace principle on Morrey-Lorentz spaces over $β$-Hausdorff dimensional surfaces

Abstract:In this paper we strengthen to Morrey-Lorentz spaces the trace principle studied by Adams, Xiao and Liu. We show that Riesz potential $I_{\alpha}$ is bounded \begin{equation} \Vert I_{\alpha}f\Vert_{\mathcal{M}_{q\infty}^{\lambda_{\ast}}(d\mu)}\lesssim \Arrowvert\mu\Arrowvert_{\beta}^{{1}/{q}}\,\Vert f\Vert_{\mathcal{M}_{p\infty}^{\lambda}(d\nu)}\nonumber\\[0.02in] \end{equation} if and only if the Radon measure $\mu$ supported in $\Omega\subset \mathbb{R}^n$ satisfy $\Arrowvert \mu\Arrowvert_{\beta}=\sup_{r>0}r^{-\beta}\mu(B_r(x))<\infty$, provided that $1<p<q<\infty$ satisfies $n-\alpha p<\beta\leq n,\; \alpha=\frac{n}{\lambda}-\frac{\beta}{\lambda_\ast}\; \text{ and }\;\frac{\lambda_\ast}{q}\leq \frac{\lambda}{p}\nonumber\,$. Our result provide a new larger class of functions space than previous ones, since we have strict continuous inclusions $ \dot{B}_{p,\infty}^{s}\hookrightarrow L^{\lambda\infty}\hookrightarrow\mathcal{M}_{p}^{\lambda}\hookrightarrow\mathcal{M}_{p\infty}^{\lambda} \nonumber $ as $1<p<\lambda<\infty$ and $s\in\mathbb{R}$ satisfies $\frac{1}{p}-\frac{s}{n}=\frac{1}{\lambda}$. The brand-new, we obtain Sobolev-Morrey trace inequality on half-spaces which extend the well-known Sobolev trace inequality. Let $M_{\alpha}$ be fractional maximal function, by a suitable analysis on non-doubling Caderón-Zygmund decomposition we show that \begin{equation} \Vert M_{\alpha}f\Vert_{\mathcal{M}_{p\ell}^{\lambda}(d\mu)}\,\sim\, \Vert I_{\alpha}f\Vert_{\mathcal{M}_{p\ell}^{\lambda}(d\mu)}\nonumber \end{equation} provided that $\mu(B_r(x))\lesssim r^{\beta}$ on $\text{spt}(\mu)$ and $n-\alpha <\beta\leq n$ with $0<\alpha<n$. This result extend the previous ones and as a byproduct we get a trace theorem for $M_{\alpha}$.