Una familia de desigualdades de incrustación que acotan normas de funciones en espacios de Lebesgue por normas de sus derivadas débiles en espacios de Sobolev, afirmando que una integrabilidad suficiente de las derivadas implica mejor integrabilidad o continuidad de la propia función.

Principio

Las derivadas controlan integrabilidad y regularidad: la cantidad de integrabilidad y el número de derivadas determinan el espacio objetivo de Lebesgue o Hölder, con exponentes críticos fijados por la dimensión espacial y la invariancia de escala.

Demostración

En R^n para n>2, la incrustación Sobolev estándar afirma que funciones en el espacio homogéneo de Sobolev con una derivada cuadrado-integrable se incrustan en L^{2n/(n−2)}, de modo que una función H^1 tiene una cota en L^q con q = 2n/(n−2); en dominios acotados se mantienen incrustaciones similares con constantes que dependen del dominio y de las condiciones de frontera.

Aplicación incorrecta

Aplicar una incrustación de Sobolev sin comprobar la dimensión, los exponentes de integrabilidad o la regularidad de la frontera; usar una incrustación en el exponente crítico como si fuera compacta cuando la compacidad puede fallar y se pierde control.

Consecuencia

Proporciona el marco funcional para la existencia, unicidad y regularidad de soluciones de EDP elípticas y parabólicas, controla términos no lineales mediante normas adecuadas y produce resultados de interpolación y compacidad esenciales en métodos variacionales.

Inversión

Cuando las derivadas carecen de suficiente integrabilidad o la dimensión es demasiado alta, las incrustaciones fallan y las funciones pueden exhibir comportamiento singular; la lección invertida es que la regularidad de las derivadas es necesaria para mejorar la integrabilidad o continuidad de la función.

Límite

Depende críticamente de la dimensión espacial, el orden de las derivadas y los exponentes de Lebesgue; falla en combinaciones críticas o supercríticas sin estructura adicional y exige que las funciones tengan derivadas débiles en el espacio de Sobolev correspondiente.

Tensión semántica

Interacciona con Poincaré, Gagliardo–Nirenberg y desigualdades de traza: Sobolev da control global de incrustación, mientras que desigualdades relacionadas intercambian orden de derivadas, integrabilidad y trazas en la frontera de formas diferentes.

Síntesis

Las desigualdades de Sobolev formalizan cómo el control de derivadas débiles mejora cuantitativamente la integrabilidad y regularidad de una función: proporcionan las reglas de mapeo desde espacios de Sobolev a espacios de Lebesgue o Hölder determinadas por la dimensión y el orden diferencial.