Abstract:The classic Poincare inequality bounds the $L^q$-norm of a function $f$ in a bounded domain $\Omega \subset \R^n$ in terms of some $L^p$-norm of its gradient in $\Omega$. We generalize this in two ways: In the first generalization we remove a set $\Gamma$ from $\Omega$ and concentrate our attention on $\Lambda = \Omega \setminus \Gamma$. This new domain might not even be connected and hence no Poincare inequality can generally hold for it, or if it does hold it might have a very bad constant. This is so even if the volume of $\Gamma$ is arbitrarily small. A Poincare inequality does hold, however, if one makes the additional assumption that $f$ has a finite $L^p$ gradient norm on the whole of $\Omega$, not just on $\Lambda$. The important point is that the Poincare inequality thus obtained bounds the $L^q$-norm of $f$ in terms of the $L^p$ gradient norm on $\Lambda$ (not $\Omega$) plus an additional term that goes to zero as the volume of $\Gamma$ goes to zero. This error term depends on $\Gamma$ only through its volume. Apart from this additive error term, the constant in the inequality remains that of the `nice' domain $\Omega$. In the second generalization we are given a vector field $A$ and replace $\nabla $ by $\nabla +i A(x)$ (geometrically, a connection on a U(1) bundle). Unlike the A=0 case, the infimum of $\|(\nabla +i A)f\|_p $ over all $f$ with a given $\|f\|_q$ is in general not zero. This permits an improvement of the inequality by the addition of a term whose sharp value we derive. We describe some open problems that arise from these generalizations.

FA ] 2 2 Se p 20 06 A sharp Trudinger-Moser type inequality for unbounded domains in R n

A Sharp Trudinger-Moser Type Inequality for Unbounded Domains in $\Mathbb{r}^n$

The Lp-Brunn-Minkowski Inequality for P < 1

Singular Trudinger--Moser inequality involving $L^{p}$ norm in bounded domain

A Sharp Moser-Trudinger Type Inequality Involving Lp Norm in Rn with Degenerate Potential

ON THE ANISOTROPIC MOSER-TRUDINGER INEQUALITY FOR UNBOUNDED DOMAINS IN R<i><SUP>n</SUP></i>

A Sharp Moser–Trudinger Type Inequality Involving Adimurthi–Druet Term in Two Dimensional Hyperbolic Space

Moser–Trudinger Inequality Involving the Anisotropic Dirichlet Norm (∫ΩFN(

On the anisotropic Moser-Trudinger inequality for unbounded domains in <inline-formula><tex-math id="M1">\begin{document}$ \mathbb R^{n} $\end{document}</tex-math></inline-formula>

Anisotropic Moser-Trudinger Inequality Involving Ln Norm

Poincare Inequalities in Punctured Domains

Sharp anisotropic singular Trudinger–Moser inequalities in the entire space

Extremal function for a sharp Moser-Trudinger type inequality on the upper half space

Remarks on the Extremal Functions for the Moser–Trudinger Inequality

Weighted Trudinger-Moser inequalities in the subcritical Sobolev spaces and their applications

Trudinger-Moser inequalities on the entire Heisenberg group

On Hermite-Fejer Interpolation in A Jordan Domain

The Trudinger type inequality in fractional boundary Hardy inequality

Boundedness of G-Functions on Triebel-Lizorkin Spaces

Extremals for the Singular Moser-Trudinger Inequality via n-Harmonic Transplantation

Maz'ya's $Φ$-inequalities on domains