Una desigualdad que acota una norma de una función en un espacio de Lebesgue o Hölder por una norma de Sobolev, típicamente de la forma ||u||_{L^q} ≤ C||u||_{W^{k,p}} o variantes que relacionan normas del gradiente con mayor integrabilidad o continuidad.

Principio

El control diferencial implica control integral o puntual: las derivadas medidas en L^p imponen cotas en normas de orden inferior mediante interpolación y balance de escalas consistente con la dimensión ambiente.

Demostración

Forma clásica: en R^n o en un dominio adecuado, para 1≤p

Aplicación incorrecta

Usar la desigualdad con exponentes incorrectos, ignorar términos de frontera o aplicarla a funciones sin la decaída o integrabilidad requerida produce estimaciones inválidas y puede falsear pruebas de existencia.

Consecuencia

Proporciona control cuantitativo explícito necesario en pruebas de existencia, regularidad y argumentos de Bootstrap en EDP; aporta constantes y comportamiento de escala para estimaciones de compacidad y convergencia.

Inversión

La inversión formal (acotar la norma de Sobolev por una norma L^q) es falsa sin información adicional sobre derivadas; los casos de igualdad son delicados y se relacionan con fenómenos de concentración en el crítico.

Límite

Válida bajo condiciones específicas de integrabilidad, soporte o frontera y en dominios con la regularidad requerida; las constantes dependen del dominio y la normalización y pueden fallar en contextos ponderados o singulares.

Tensión semántica

Cercana a desigualdades de Gagliardo–Nirenberg y Poincaré; la desigualdad de Sobolev enfatiza la escala y los exponentes críticos, mientras que Gagliardo–Nirenberg mezcla distintas normas mediante interpolación.

Síntesis

Una desigualdad de Sobolev es una afirmación cuantitativa compatible con la escala que traduce el control de derivadas en control de normas de la función, con exponentes críticos que señalan transiciones cualitativas.