Desigualdad de Hölder

Teoría

La Desigualdad de Hölder es un resultado fundamental en el análisis matemático y el álgebra que sirve como una generalización poderosa de la Desigualdad de Cauchy-Schwarz. Mientras que Cauchy-Schwarz relaciona la suma de productos con las raíces cuadradas de sumas de cuadrados (que corresponde a un exponente de 2), la Desigualdad de Hölder extiende esta relación a exponentes "conjugados" arbitrarios $p$ y $q$ tales que $1/p + 1/q = 1$. Básicamente, acota la norma $L^1$ de un producto de sucesiones por el producto de sus normas $L^p$ y $L^q$. Esta desigualdad es clave en el estudio de los espacios $L^p$ y es una piedra angular del análisis funcional moderno.

En el contexto de las olimpiadas de matemáticas, vas a usar la Desigualdad de Hölder seguido para probar desigualdades algebraicas complejas donde los grados de los términos no encajan con lo que pide Cauchy-Schwarz. Es muy útil para "separar" términos y obtener los exponentes que quieres, o para manejar expresiones que tienen raíces y potencias fraccionarias. Una aplicación común es su forma generalizada para varias sucesiones, que te permite acotar una suma de productos de tres o más términos (por ejemplo, $a_i b_i c_i$) mediante el producto de las sumas de sus respectivas potencias (por ejemplo, cubos), dándote un camino directo para probar desigualdades que serían muy pesadas de resolver solo con AM-GM o la Desigualdad de Jensen.

La intuición detrás de la Desigualdad de Hölder se basa en la convexidad de la función potencia $x^p$ (para $p > 1$) y de la función logarítmica. Puedes verla como una medida de qué tan "alineadas" están dos o más sucesiones. Así como el producto punto se maximiza cuando los vectores son paralelos, la suma $\sum a_i b_i$ se maximiza respecto a las magnitudes de las sucesiones individuales cuando las sucesiones son proporcionales en un sentido específico de potencias pesadas. Entender la condición de igualdad —que ocurre cuando las sucesiones son proporcionalmente iguales después de elevarlas a sus respectivas potencias conjugadas— suele ser la clave para resolver problemas difíciles de extremos.

Fórmulas Clave

La Desigualdad Estándar Toma $a_1, \dots, a_n$ y $b_1, \dots, b_n$ como números reales (o complejos). Sean $p, q \in (1, \infty)$ números reales tales que $\frac{1}{p} + \frac{1}{q} = 1$. Entonces: $$ \sum_{i=1}^n |a_i b_i| \le \left( \sum_{i=1}^n |a_i|^p \right)^{\frac{1}{p}} \left( \sum_{i=1}^n |b_i|^q \right)^{\frac{1}{q}} $$

Condición de Igualdad La igualdad se cumple si y solo si existen constantes $\alpha, \beta \ge 0$ (no ambas cero) tales que para toda $i$: $$ \alpha |a_i|^p = \beta |b_i|^q $$ Básicamente, las sucesiones $|a_i|^p$ y $|b_i|^q$ tienen que ser proporcionales.

Generalización para Varias Sucesiones Esta es la forma que más vas a ver en problemas avanzados de olimpiada. Sean $p_1, \dots, p_k > 1$ tales que $\sum_{j=1}^k \frac{1}{p_j} = 1$. Para $k$ sucesiones de números reales positivos, la desigualdad se cumple: $$ \sum_{i=1}^n \left( \prod_{j=1}^k a_{i,j} \right) \le \prod_{j=1}^k \left( \sum_{i=1}^n a_{i,j}^{p_j} \right)^{\frac{1}{p_j}} $$

Caso Especial: Cauchy-Schwarz Cuando $p=q=2$, recuperas la Desigualdad de Cauchy-Schwarz: $$ \sum_{i=1}^n |a_i b_i| \le \sqrt{\sum_{i=1}^n |a_i|^2} \sqrt{\sum_{i=1}^n |b_i|^2} $$

Demostración

Aquí vas a ver la demostración de la desigualdad estándar para números reales positivos $a_i, b_i$. La prueba se basa en la Desigualdad de Young, que dice que para $x, y > 0$ y $\frac{1}{p} + \frac{1}{q} = 1$: $$ xy \le \frac{x^p}{p} + \frac{y^q}{q} $$

Paso 1: Demostración de la Desigualdad de Young Como la función logaritmo natural $\ln(t)$ es cóncava para $t > 0$, puedes aplicar la Desigualdad de Jensen (o la definición de concavidad). Toma $u = x^p$ y $v = y^q$. Aplica la desigualdad de la media aritmética-media geométrica pesada (AM-GM pesada) con pesos $\frac{1}{p}$ y $\frac{1}{q}$: $$ \ln\left( \frac{1}{p} u + \frac{1}{q} v \right) \ge \frac{1}{p} \ln(u) + \frac{1}{q} \ln(v) $$ Al aplicar la exponencial en ambos lados: $$ \frac{1}{p} u + \frac{1}{q} v \ge u^{1/p} v^{1/q} $$ Sustituyendo de nuevo $u=x^p$ y $v=y^q$: $$ \frac{x^p}{p} + \frac{y^q}{q} \ge (x^p)^{1/p} (y^q)^{1/q} = xy $$ Con esto queda lista la Desigualdad de Young.

Paso 2: Normalización Define $A = \left( \sum_{i=1}^n a_i^p \right)^{1/p}$ y $B = \left( \sum_{i=1}^n b_i^q \right)^{1/q}$. Si $A=0$ o $B=0$, entonces todos los $a_i$ o todos los $b_i$ son cero, lo que hace que ambos lados de la desigualdad de Hölder sean cero, así que la desigualdad se cumple de forma trivial. Supón que $A > 0$ y $B > 0$.

Define los términos normalizados como $\tilde{a}i = \frac{a_i}{A}$ y $\tilde{b}i = \frac{b_i}{B}$. Nota que: $$ \sum{i=1}^n \tilde{a}i^p = \sum{i=1}^n \frac{a_i^p}{A^p} = \frac{1}{A^p} \sum{i=1}^n a_i^p = 1 $$ De la misma forma, $\sum_{i=1}^n \tilde{b}_i^q = 1$.

Paso 3: Aplicando la Desigualdad de Young Aplica la Desigualdad de Young a los términos normalizados $\tilde{a}_i$ y $\tilde{b}_i$ para cada $i$: $$ \tilde{a}_i \tilde{b}_i \le \frac{\tilde{a}_i^p}{p} + \frac{\tilde{b}_i^q}{q} $$

Paso 4: Suma Suma esta desigualdad para todas las $i$ desde $1$ hasta $n$: $$ \sum_{i=1}^n \tilde{a}_i \tilde{b}i \le \sum{i=1}^n \left( \frac{\tilde{a}_i^p}{p} + \frac{\tilde{b}i^q}{q} \right) $$ $$ \sum{i=1}^n \tilde{a}_i \tilde{b}i \le \frac{1}{p} \sum{i=1}^n \tilde{a}i^p + \frac{1}{q} \sum{i=1}^n \tilde{b}_i^q $$

Usando los resultados del Paso 2 ($\sum \tilde{a}_i^p = 1$ y $\sum \tilde{b}i^q = 1$): $$ \sum{i=1}^n \tilde{a}_i \tilde{b}_i \le \frac{1}{p}(1) + \frac{1}{q}(1) = \frac{1}{p} + \frac{1}{q} = 1 $$

Paso 5: Conclusión Sustituye las definiciones de $\tilde{a}i$ y $\tilde{b}i$ de regreso en la desigualdad: $$ \sum{i=1}^n \frac{a_i}{A} \frac{b_i}{B} \le 1 $$ $$ \frac{1}{AB} \sum{i=1}^n a_i b_i \le 1 $$ Multiplicando ambos lados por $AB$: $$ \sum_{i=1}^n a_i b_i \le AB = \left( \sum_{i=1}^n a_i^p \right)^{1/p} \left( \sum_{i=1}^n b_i^q \right)^{1/q} $$ $\square$