## [Desigualdad de Poincaré](/es/node/60619) Definición 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 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 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 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 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 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 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 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 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.