Desigualdad que acota la integral (o suma) del producto de dos funciones medibles por el producto de sus normas L^p y L^q cuando los exponentes p y q son conjugados (1/p + 1/q = 1).

Principio

Para 1 ≤ p,q ≤ ∞ con 1/p + 1/q = 1, si f∈L^p y g∈L^q entonces fg es integrable y ∫ |f g| ≤ ||f||_p ||g||_q. La forma general se extiende a familias finitas mediante Hölder para varios factores con exponentes cuyas recíprocas suman 1.

Demostración

Ejemplo: con p=q=2 en un espacio de probabilidad, Hölder se reduce a Cauchy–Schwarz: |∫ f g| ≤ ||f||_2 ||g||_2. Concretamente, para señales de cuadrado integrable f y g el producto interior queda acotado por el producto de sus normas L^2.

Aplicación incorrecta

Intentar aplicar Hölder con exponentes no conjugados o con funciones que no pertenezcan a los espacios L^p correspondientes es inválido; asimismo, Hölder no se cumple para p<1 porque L^p no es un espacio normado en ese régimen.

Consecuencia

Hölder es una herramienta fundamental para estimar integrales y sumas, para demostrar la dualidad entre L^p y L^q, y para derivar otras desigualdades (Minkowski, Young) y la acotación de operadores lineales.

Inversión

No existe una desigualdad inversa general: no se puede acotar ||f||_p ||g||_q por ∫ |f g| en general. El caso de igualdad caracteriza condiciones de proporcionalidad entre |f|^p y |g|^q (salvo en conjuntos nulos).

Límite

Válida para 1 ≤ p,q ≤ ∞ con 1/p+1/q=1; excluye regímenes cuasi-normativos p<1 y requiere la pertenencia de f y g a los espacios L^p y L^q respectivos.

Tensión semántica

Hay tensiones con Minkowski (desigualdad triangular en L^p) y con Young (convolución); conceptualmente Hölder intercambia integrabilidad entre factores mientras otras desigualdades gestionan suma o convolución.

Síntesis

La desigualdad de Hölder afirma que la integral de un producto está controlada por el producto de las normas L^p para exponentes conjugados, sustentando la dualidad y las estimaciones en análisis.