Desigualdad de Poincaré

En matemáticas, la desigualdad de Poincaré es un resultado en la teoría de los espacios de Sóbolev, que lleva el nombre del matemático francés Henri Poincaré. La desigualdad permite obtener límites en una función mediante límites en sus derivadas y la geometría de su dominio de definición. Tales límites son de gran importancia en los modernos métodos directos del cálculo de variaciones. Un resultado muy estrechamente relacionado es la desigualdad de Friedrichs.

Sea p, tal que 1≤p<∞ y Ω un subconjunto con al menos un borde. Entonces existe una constante C, dependiendo sólo de Ω y p , tal que para cada función u del Espacio de Sóbolev W₀^1,p(Ω) se tiene:

Asumiendo que 1 ≤ p ≤ ∞ y que Ω es a subconjunto abierto acotado y conexo del espacio euclídeo n-dimensional Rⁿ con un dominio de Lipschitz. Entonces existe una constante C, dependiente solo de Ω y p, tal que para función u en el espacio de Sóbolev W^1,p(Ω) se tiene:

donde

es el valor medio de u sobre Ω, con |Ω| representando la medida de Lebesgue del dominio Ω. Cuando Ω es una bola, la desigualdad superior es llamada una (p,p)-desigualdad de Poincaré; para dominios más generales Ω, se conoce como desigualdad de Sóbolev.

En el contexto de espacios métricos, estos espacios soportanuna (q,p)-desigualdad de Poincaré para ${displaystyle 1leq q,p<infty }$ si hay constantes C y ${displaystyle lambda geq 1}$ de modo que para cada bola B en tal espacio se tiene lo siguiente:

En el contexto de espacios métricos, ${displaystyle | abla u|}$ es el mínimo p-débil gradiente superior de u en el sentido de Heinonen y Koskela [J. Heinonen and P. Koskela, Quasiconformal maps in metric spaces with controlled geometry, Acta Math. 181 (1998), 1–61]

Existen otras generalizaciones de la desigualdad de Poincaré en otros espacios de Sóbolev. Por ejemplo, el siguiente (Garroni y Müller (2005)) es una desigualdad de Poincaré para el espacio de Sóbolev H^1/2(T²), es decir, el espacio de funciones u en el espacio L² del toro T² con la transformada de Fourier û satisfaciendo:

existe una constante C tal que para cada u ∈ H^1/2(T²) con u identicamente cero en un abierto E ⊆ T2 se tiene:

donde cap(E × {0}) denota la capacidad armónica de E × {0} cuando se ve como un subconjunto de R³.

La constante óptima C en la desigualdad de Poincaré es algunas veces conocida como la constante de Poincaré para el dominio Ω. Determinar la constante de Poincaré es, en general, una tarea muy difícil que depende tanto de p como de la gemometría del dominio Ω. Aunque en algunos casos es tratable.

---