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.

Poincaré inequalities and the sharp maximal inequalities with Lφ-norms for differential forms

Poincaré inequalities and the sharp maximal inequalities with -norms for differential forms

A Generalization of Pólya Conjecture and Li–Yau Inequalities for Higher Eigenvalues

Global Poincaré Inequalities for the Composition of the Sharp Maximal Operator and Green’s Operator with Orlicz Norms

Some Local Poincaré Inequalities for the Composition of the Sharp Maximal Operator and the Green’s Operator

A sharp quantitative nonlinear Poincaré inequality on convex domains

A Poincaré formula for differential forms and applications

On the Poincaré Inequality on Open Sets in

Global Poincaré Inequalities on the Heisenberg Group and Applications

Poincar\'e Inequality on Minimal Graphs over Manifolds and Applications

New Weighted Poincaré-Type Inequalities for Differential Forms

Weighted Poincaré inequality and Hardy improvements related to some degenerate elliptic differential operators

Poincare Inequalities in Punctured Domains

Sharp maximal function estimates for linear and multilinear pseudo-differential operators

On the sharp Makai inequality

The sharp constant for truncated Hardy-Littlewood maximal inequality

The sharp higher order Lorentz--Poincaré and Lorentz--Sobolev inequalities in the hyperbolic spaces

Sharp Maximal function estimates for Multilinear pseudo-differential operators of type (0,0)

A Poincaré Inequality on Loop Spaces

A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

Inequalities for Maximal Operators Associated with a Family of General Sets