Una desigualdad que acota la norma L2 de una función (tras restar la media apropiada o imponer condiciones en la frontera) por una constante multiplicada por la norma L2 de su gradiente en un dominio, cuantificando cómo la oscilación se controla por las derivadas primeras.

Principio

Brecha espectral y control por gradiente: el primer autovalor positivo del operador elíptico asociado fija la constante óptima, de modo que el control de los gradientes produce control de la varianza o de la energía de funciones módulo constantes.

Demostración

En un dominio acotado con condiciones de contorno adecuadas, para cualquier función f cuadrado-integrable con media cero se tiene ∫ f² ≤ C ∫ |∇f|², donde C es el inverso del primer autovalor no nulo del Laplaciano; esto implica que la varianza de f bajo la medida uniforme está acotada por su energía de Dirichlet.

Aplicación incorrecta

Usar la desigualdad en dominios no acotados sin coercividad, o no eliminar los modos constantes (restricción de media o condiciones de frontera), lo que invalida la cota o hace que C sea infinito.

Consecuencia

Ofrece control cuantitativo de las fluctuaciones, sustenta tasas de convergencia exponenciales para semigrupos de calor y mezcla en procesos de Markov, y proporciona estimaciones de coercividad en problemas variacionales y en el análisis de EDP.

Inversión

La perspectiva inversa es que la ausencia de una brecha espectral (primer autovalor no nulo igual a cero) permite modos de baja energía y gran amplitud persistentes; así, la falla de Poincaré indica falta de control de la varianza por los gradientes.

Límite

Se aplica cuando el dominio, la medida y las condiciones de frontera/media aseguran una brecha espectral positiva; quedan excluidos los contextos sin coercividad, los casos críticos de embeddings o medidas con colas pesadas que requieren variantes ponderadas.

Tensión semántica

Se sitúa cerca de las desigualdades de Sobolev y de las desigualdades logarítmicas de Sobolev: Poincaré controla fluctuaciones en L2 vía gradientes, mientras que desigualdades más fuertes controlan normas superiores o dan control de tipo entropía asumiendo hipótesis más fuertes.

Síntesis

La desigualdad de Poincaré afirma que, para funciones ortogonales a las constantes, el tamaño en L2 está controlado por la energía del gradiente con una constante determinada por la brecha espectral, siendo una herramienta fundamental de coercividad que enlaza derivadas y varianza.