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.

On the Poincaré Inequality on Open Sets in

Equivalence between validity of the $p$-Poincaré inequality and finiteness of the strict $p$-capacitary inradius

Poincare Inequalities in Punctured Domains

Capacitary inradius and Poincaré-Sobolev inequalities

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

A Poincaré formula for differential forms and applications

A sharp quantitative nonlinear Poincaré inequality on convex domains

The One Dimensional Free Poincaré Inequality

A Poincaré Inequality on Loop Spaces

On the sharp Makai inequality

Poincaré inequality for one forms on four manifolds with bounded Ricci curvature

An optimal anisotropic Poincaré inequality for convex domains

A Concrete Estimate for the Weak Poincaré Inequality on Loop Space

The role of topology and capacity in some bounds for principal frequencies

On fractional Hardy-type inequalities in general open sets

Non-negative Ollivier curvature on graphs, reverse Poincaré inequality, Buser inequality, Liouville property, Harnack inequality and eigenvalue estimates

Sharp Cheeger-Buser Type Inequalities in RCD ( K , ∞ ) Spaces

Sharp Hardy-type inequalities for non-compact harmonic manifolds and Damek-Ricci spaces

The sharp lower bound of the first Dirichlet eigenvalue for geodesic balls

The lower bound of first Dirichlet eigenvalue of p-Laplacian in Riemannian manifolds