Una desigualdad de interpolación que acota una norma intermedia de Lebesgue o Sobolev de una función por una combinación multiplicativa de la norma de una derivada y una norma Lp de orden inferior, típicamente expresada como ||u||_{L^p} ≤ C ||∇^m u||_{L^r}^α ||u||_{L^q}^{1−α} con exponentes ligados por condiciones de escala y dimensión.

Principio

Principio de interpolación convexa: la regularidad e integrabilidad intermedias se estiman equilibrando el control de derivadas de orden superior con el control Lp de orden inferior mediante exponentes que respetan la homogeneidad y las relaciones de inclusión.

Demostración

En R^n, para 0 ≤ m < k y exponentes p,q,r adecuados y α en (0,1) que satisfacen la relación de escala, se tiene ||u||_{L^p(R^n)} ≤ C ||D^k u||_{L^r(R^n)}^α ||u||_{L^q(R^n)}^{1−α}. Escenario ilustrativo: deducir una cota en L^∞ interpolando entre control en L^2 y una norma H^s de derivada.

Aplicación incorrecta

Aplicar la fórmula con exponentes que no satisfacen la homogeneidad requerida o las restricciones según el dominio (por ejemplo ignorar la dimensión), o usarla para funciones que no poseen la regularidad o el comportamiento en la frontera supuestos, lo que conduce a estimaciones incorrectas.

Consecuencia

Cuando se usa correctamente, produce estimaciones de interpolación cuantitativas que conectan clases de regularidad, permiten cerrar estimaciones no lineales en pruebas de PDE y proporcionan resultados de decaimiento o acotamiento en ecuaciones en evolución.

Inversión

La inversión formal — afirmar una cota inferior de la norma de derivada en términos de una norma intermedia y una norma de menor orden — no suele ser cierta sin estructura adicional (p. ej., hueco espectral o coercividad), por lo que una inversión ingenua tergiversa la dirección de la desigualdad.

Límite

Requiere hipótesis precisas: exponentes admisibles vinculados a la dimensión y al orden de derivación, espacios de funciones apropiados (contextos Sobolev o Besov) y a menudo regularidad del dominio o condiciones en la frontera; las constantes dependen del dominio y los casos críticos pueden necesitar refinamientos.

Tensión semántica

Muy relacionada con la inclusión de Sobolev y la interpolación de Hölder: la desigualdad de Gagliardo–Nirenberg interpola entre estas nociones, pero puede confundirse con una inclusión de Sobolev pura o una aplicación trivial de Hölder; la tensión es si se la considera una inclusión estructural o una herramienta de interpolación ajustable.

Síntesis

La desigualdad de Gagliardo–Nirenberg integra el control por derivadas y el control de masa/integrabilidad en una estimación de interpolación: al elegir exponentes compatibles con la escala se sacrifica fuerza de derivada por integrabilidad para obtener cotas intermedias esenciales en estimaciones no lineales y en la regularidad de PDE, respetando siempre las restricciones de dominio, exponentes y regularidad.