Otras demostraciones de la desigualdad de Schwartz

Prueba 1
Esta prueba sigue el estilo de la propuesta por Schwartz (Steele, 2004). Considere la función
f (a) = kx + ayk2 = hx + ay, x + ayi , donde x, y ∈ X, y a ∈ F son arbitrarios. Es evidente que
2
0 ≤ kx + ayk = hx + ay, x + ayi
= hx + ay, xi + hx + ay,ayi
= hx, xi + ā hx, yi + ahx, yi + a2 hy, yi (1)
2 2 2
≤ kxk + 2 |a| |hx, yi| + |a| kyk , (2)

pues ā hx, yi + ahx, yi = 2 Re {a hx, yi} ≤ 2 |a| |hx, yi| . Si se nota t = |a| , la relación (2) se puede
escribir
0 ≤ kxk2 + 2 |hx, yi| t + kyk2 t2 = g(t). (3)
Es evidente que g(t) es un polinomio de segundo grado en t, y según (3) este polinomio es positivo
o nulo. En consecuencia, su discriminante1 debe satisfacer

(2 |hx, yi|)2 − 4 kxk2 kyk2 ≤ 0. (4)

Tomando raíz cuadrada en ambos miembros resulta la desigualdad de Schwartz

|hx, yi| ≤ kxk kyk . (5)

Si x e y son linealmente dependientes, existe algún a tal que x + ay = 0X ; note que este caso
2
a ∈ R. Entonces ahora f (a) = kx + ayk = 0, y en particular

ā hx, yi + ahx, yi = 2 Re {a hx, yi} = 2a hx, yi .

La relación (2) se convierte en la igualdad

2 2
0 = kxk + 2 hx, yi a + kyk a2 ,

que se puede pensar como un polinomio en a; planteando que el discriminante de √ esta ecuación
debe ser nulo, repitiendo los pasos indicados más arriba, y teniendo en cuenta que x2 = |x| , se
obtiene
|hx, yi| = kxk kyk ,
que vale sólo en el caso en que x e y son linealmente dependientes.

Prueba 2
Kreyszig (1978) propone esta demostración, cuyo planteo es similar al anterior hasta el paso (1):

0 ≤ hx, xi + ā hx, yi + ahx, yi + a2 hy, yi ,

que puede escribirse ³ ´

0 ≤ kxk2 + ā hx, yi + a hx, yi + ā kyk2 .
1 El discriminante ∆ de una función polinomial p(t) = at2 + bt + c, cuyo gráfico es una parábola, es ∆ = b2 − 4ac.

Si ∆ > 0, p(t) tiene un par de raíces reales: la parábola corta al eje real en dos puntos; si ∆ = 0, el polinomio tiene
una raíz doble: la parábola es tangente al eje real. Finalmente, si ∆ < 0, el polinomio tiene raíces complejas, lo que
significa que el gráfico de p(t) no corta al eje real. Estas dos últimas condiciones son las que se aplican en (4).

1
Esta desigualdad debe satisfacerse para cualquier valor de a; en particular (asumiendo y 6= 0X , ya
2
que en este caso la igualdad se verifica trivialmente), si se elige ā = −hx, yi/ kyk se tiene que

2 hx, yi 2 |hx, yi|2

0 ≤ kxk − 2 hx, yi = kxk − 2 .
kyk kyk

Multiplicando por kyk2 , transfiriendo el último término a la izquierda, y aplicando la raíz cuadrada
a ambos miembros, se obtiene la desigualdad de Schwartz (5). La igualdad se satisface si y sólo
2
si y = 0X o si kx + ayk = 0, de manera que x = −ay, o en otras palabras, que x e y están
linealmente relacionados.

Prueba 3
Esta demostración (Steele, 2004) surge a partir de la observación trivial que (x − y)2 ≥ 0 implica
que xy ≤ 12 x2 + 12 y 2 , como se deduce al expandir el cuadrado del binomio. Al extender esta idea
para el caso del producto interno de espacios vectoriales reales, se obtiene

0 ≤ kx − yk2 = hx − y, x − yi = hx, xi − 2 hx, yi + hy, yi

de donde surge la cota aditiva

1 1
hx, yi ≤ hx, xi + hy, yi . (6)
2 2
Para obtener la desigualdad de Schwartz (5) es conveniente reemplazar x e y por sus versiones
normalizadas. Como la desigualdad (5) se verifica trivialmente si x o y son nulos, se puede suponer
sin pérdida de generalidad que x 6= 0X , y 6= 0X , de manera que las variables normalizadas
x y
x̂ = 1 e ŷ = 1
hx, xi 2
hy, yi 2
están bien definidas. Sustituyendo estos valores por los de x e y en (6) se encuentra que
1 1
hx̂, ŷi ≤ hx̂, x̂i + hŷ, ŷi = 1.
2 2
pues hx̂, x̂i = hŷ, ŷi = 1. Reemplazando x̂ e ŷ por las variables originales, y aplicando las propie-
dades del producto interno para espacios vectoriales reales, se tiene
* +
x y 1 1
hx̂, ŷi = 1 , 1 = 1 1 hx, yi ≤ 1
hx, xi 2 hy, yi 2 hx, xi 2 hy, yi 2
de donde resulta 1 1
hx, yi ≤ hx, xi 2 hy, yi 2 = kxk kyk .

Reseña histórica
Agustin-Louis Cauchy (17870-1857) publicó su famosa desigualdad en 1821, en la segunda de dos
notas sobre la teoría de desigualdades que formaban la parte final de su libro Cours d’Analyse
Algébrique, que fue posiblemente el primer libro de cálculo riguroso editado en el mundo. La
desigualdad estaba planteada para el caso de números reales,
q q
a1 b1 + a2 b2 + · · · + an bn ≤ a21 + a22 · · · + a2n b21 + b22 · · · + b2n , (7)

y, extrañamente, Cauchy no utilizó esta desigualdad en el texto, sino en algunos ejercicios ilustra-
tivos. Fue aplicada por vez primera en 1829, cuando Cauchy estudiaba el método de Newton para
el cálculo de las raíces de ecuaciones algebraicas y trascendentes.

2
Gran cantidad de aplicaciones dependen de un análogo natural de la desigualdad de Cauchy donde
las sumas se reemplazan por integrales,

Z ÃZ ! 12 ÃZ ! 12
b b b
2 2
f (x)g(x)dx ≤ [f (x)] dx [g(x)] dx . (8)
a a a

Esta cota apareció impresa por primera vez en una Mémoire de Victor Yacovlevich Bunyakovsky,
publicada por la Academia Imperial de Ciencias de San Petersburgo en 1859. Bunyakovsky (1804-
1889) estudió en París con Cauchy, y estaba familiarizado con su trabajo en inecuaciones; en su
Mémoire cita que la desigualdad clásica para sumas finitas (7) es bien conocida. Sólo demora una
línea en pasar de esta desigualdad a su análogo continuo (8).
Aunque la Mémoire estaba escrita en francés, no circuló ampliamente en Europa occidental; en
particular, parece no haber sido conocida en Gottinga en 1885 cuando Herman Amadeus Schwartz
(1843-1921) estaba trabajando en su teoría sobre superficies mínimas.
Schwartz buscaba un análogo de la desigualdad de Cauchy para una integral bidimensional: nece-
sitaba probar que si S ⊂ R2 , y f : S → R, g : S → R, entonces las integrales dobles
ZZ ZZ ZZ
A= f (x, y)2 dx dy, B= f (x, y) g(x, y) dx dy, C= g(x, y)2 dx dy,
S S S

deben satisfacer la desigualdad √ √

|B| ≤ A C.
Una aproximación a este resultado por vía de la desigualdad de Cauchy es problemático por varias
razones, entre ellas que la desigualdad estricta puede perderse en el pasaje al límite para obtener
las integrales. Enfrentado a la necesidad de encontrar otro camino ideó una prueba cuya simpleza
ha superado las barreras del tiempo.
Schwartz basó su demostración en la observación que el polinomio real
ZZ
2
p(t) = [t f (x, y) + g(x, y)] dx dy = At2 + 2Bt + C
S

es siempre no negativo, y es estrictamente positivo cuando f (x, y) y g(x, y) son proporcionales.

La fórmula del binomio permite deducir que los coeficientes deben satisfacer B 2 ≤ AC, y que
B 2 < AC si f (x, y) y g(x, y) son proporcionales.
Una vez planteado el polinomio p(t), la prueba de Schwartz es rápida y directa. Como muestra la
Prueba 1, puede utilizarse casi sin cambios para probar la versión con el producto interno (5), y
aún en ésta permite una rápida comprensión del caso de la igualdad. Por ello este argumento se
convirtió en un favorito de los libros de texto. (Steele, 2004)

Referencias
Kreyszig, E. (1978). Introductory Functional Analysis with Applications, John Wiley & Sons, New
York.
Steele, J. M. (2004). The Cauchy-Schwartz Master class: An introduction to the art of mathema-
tical inequalities, Cambridge University Press.