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é-Type Inequalities for the Composite Operator in L𝒜-Averaging Domains

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

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

Some Orlicz norms inequalities for the composite operator T ∘ d ∘ H

The norm inequalities for compositions of Laplace-Beltrami operator and the Green's operator

A(R) (Omega)-Weighted Inequalities For A-Harmonic Tensors And Related Operators

The Liouville Theorem for Discrete Symmetric Averaging Operators

Poincare Inequalities in Punctured Domains

Sobolev-Poincaré Embeddings for Operators on Harmonic Forms on Manifolds

Two-weight Poincaré Inequalities for the Projection Operator and $A$-Harmonic Tensors on Riemannian Manifolds

Variational Inequalities for Bilinear Averaging Operators over Convex Bodies

Vector-valued Q-Variational Inequalities for Averaging Operators and the Hilbert Transform

$\bar\partial$ Poincaré inequality and an improved $L^2$-estimate of $\bar\partial$ on bounded strictly pseudoconvex domains

A Poincaré Inequality on Loop Spaces

Sharp weighted inequalities for iterated commutators of a class of multilinear operators

A sharp quantitative nonlinear Poincaré inequality on convex domains

Global Poincaré Inequalities on the Heisenberg Group and Applications

Li-Yau and Harnack inequalities via curvature-dimension conditions for discrete long-range jump operators including the fractional discrete Laplacian

Quantitative mean ergodic inequalities: Power bounded operators acting on one single noncommutative L space

Complementary inequalities to Davis-Choi-Jensen's inequality and operator power means

$L^p$ improving properties and maximal estimates for certain multilinear averaging operators