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.

Higher order concentration in presence of Poincaré-type inequalities

Second order concentration via logarithmic Sobolev inequalities

Concentration of measure on spheres and related manifolds

Multiscale second-order Poincaré inequalities in probability

Stability of the concentration inequality on polynomials

Wasserstein convergence rates of increasingly concentrating probability measures

Concentration Inequalities in Locally Dependent Spaces

From Poincaré Inequalities to Nonlinear Matrix Concentration

Constructive approaches to concentration inequalities with independent random variables

Multiple Sets Exponential Concentration and Higher Order Eigenvalues

Concentration inequalities for Poisson $U$-statistics

On the Poincaré Inequality on Open Sets in

A sharp quantitative nonlinear Poincaré inequality on convex domains

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

Concentration and Poincaré type inequalities for a degenerate pure jump Markov process

Poincare Inequalities in Punctured Domains

Optimal concentration inequalities for dynamical systems

Quantitative Stability for the Caffarelli-Kohn-Nirenberg Inequality

Sharp boundary concentration for a two-dimensional nonlinear Neumann problem

A new multicomponent Poincaré-Beckner inequality

On some sharp Landau--Kolmogorov--Nagy type inequalities in Sobolev spaces of multivariate functions