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}(��)$ into Orlicz spaces for an arbitrary domain $��\subset \mathbb{R}^n$ with finite measure. In particular we prove $$\sup_{u\in \tilde H^{\frac{n}{p},p}(��), \;\|(-��)^{\frac{n}{2p}}u\|_{L^{p}(��)}\leq 1}\int_��e^{��_{n,p} |u|^\frac{p}{p-1}}dx \leq c_{n,p}|��|, $$ for a positive constant $��_{n,p}$ whose sharpness we also prove. We further extend this result to the case of Lorentz-spaces (i.e. $(-��)^\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.

Added references