##  [Poincaré Inequality](/poincare-inequality-1) 

 Definition

An inequality that bounds the L2 norm of a function (after subtracting an appropriate mean or enforcing boundary conditions) by a constant times the L2 norm of its gradient on a domain, quantifying how oscillation is controlled by first derivatives.

 

 

 

 

 

 





## Principle

Principle

Spectral gap and gradient control: the smallest positive eigenvalue of the associated elliptic operator sets the sharp constant, so control of gradients yields control of variance or energy of functions modulo constants.

 

 

 

 

 





## Demonstration

Demonstration

On a bounded domain with appropriate boundary conditions, for any square-integrable function f with mean zero, one has ∫ f² ≤ C ∫ |∇f|² where C is the inverse of the first nonzero eigenvalue of the Laplacian; this implies that the variance of f under the uniform measure is bounded by its Dirichlet energy.

 

 

 

 

## Misapplication

Misapplication

Using the inequality on unbounded domains without coercivity, or neglecting to remove constant modes (mean or boundary constraints), which invalidates the bound or makes C infinite.

 

 

 

 

 





## Consequence

Consequence

Gives quantitative control of fluctuations, underlies exponential convergence rates for heat semigroups and mixing in Markov processes, and provides coercivity estimates in variational problems and PDE analysis.

 

 

 

 

## Reversal

Reversal

The reverse perspective is that absence of a spectral gap (first nonzero eigenvalue zero) permits persistent low-energy, large-amplitude modes; thus failure of Poincaré indicates lack of control of variance by gradients.

 

 

 

 

 





## Boundary

Boundary

Applies when the domain, measure, and boundary/mean conditions ensure a positive spectral gap; excluded are settings without coercivity, critical embedding cases, or measures with heavy tails needing weighted variants.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Sits near Sobolev and logarithmic Sobolev inequalities: Poincaré controls L2 fluctuations via gradients, while stronger inequalities control higher norms or provide entropy-type control at the cost of stronger assumptions.

 

 

 

 

 





## Synthesis

Synthesis

The Poincaré inequality asserts that for functions orthogonal to constants, L2 size is controlled by gradient energy with a constant determined by the spectral gap, making it a fundamental coercivity tool linking derivatives to variance.