Poincaré Inequality

The Poincaré inequality is a fundamental bound in analysis and geometry that relates the variation of a function to its gradient. In its simplest form on a Euclidean domain, it states that the L² norm of a function (minus its mean) is controlled by the L² norm of its gradient, with a constant that depends on the domain's geometry. The inequality is the analytical engine behind the spectral gap: on a graph, the discrete Poincaré inequality is exactly the statement that the graph Laplacian has a positive smallest non-zero eigenvalue.

The constant in the Poincaré inequality — the Poincaré constant — is the reciprocal of the spectral gap. A domain with a small Poincaré constant mixes quickly, dissipates energy rapidly, and resists concentration. A domain with a large constant traps probability, sustains gradients, and supports persistent spatial structure. The inequality thus transforms geometric questions about connectivity into analytical questions about function spaces.

The Poincaré inequality is not merely a technical tool for proving convergence theorems. It is the statement that geometry constrains function — that the shape of a space limits what can happen in it. In Sobolev spaces, in isoperimetric inequalities, and in the design of efficient Markov chains, the same principle recurs: the global behavior of a process is bounded by the local geometry of its domain.