*preprint*

**Inserted:** 17 jul 2018

**Year:** 2015

**Abstract:**

Extending several works, we prove a general Adams-Moser-Trudinger type
inequality for the embedding of Bessel-potential spaces $\tilde
H^{\frac{n}{p},p}(\Omega)$ into Orlicz spaces for an arbitrary domain
$\Omega\subset \mathbb{R}^n$ with finite measure. In particular we prove
$$\sup_{{u\in} \tilde H^{{\frac{n}{p},p}}(\Omega),
\;\

(-\Delta)^{{\frac{n}{2p}}u\}_{{L}^{{p}}(\Omega)}\leq
1}\int_{{\Omega}e}^{{\alpha}_{{n,p}}

u^{\frac{p}{p}-1}}dx \leq c_{{n,p}\Omega,} $$
for a positive constant $\alpha_{n,p}$ whose sharpness we also prove. We
further extend this result to the case of Lorentz-spaces (i.e.
$(-\Delta)^\frac{n}{2p}u\in L^{(p,q)})$. The proofs are simple, as they use
Green functions for fractional Laplace operators and suitable cut-off
procedures to reduce the fractional results to the sharp estimate on the Riesz
potential proven by Adams and its generalization proven by Xiao and Zhai. We
also discuss an application to the problem of prescribing the $Q$-curvature and
some open problems.