Otras demostraciones de la desigualdad de Schwartz

Prueba 1
Esta prueba sigue el estilo de la propuesta por Schwartz (Steele, 2004). Considere la funcin
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 + a hx, yi + ahx, yi + a2 hy, yi (1)
2 2 2
kxk + 2 |a| |hx, yi| + |a| kyk , (2)

pues a hx, yi + ahx, yi = 2 Re {a hx, yi} 2 |a| |hx, yi| . Si se nota t = |a| , la relacin (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 segn (3) este polinomio es positivo
o nulo. En consecuencia, su discriminante1 debe satisfacer

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

Tomando raz cuadrada en ambos miembros resulta la desigualdad de Schwartz

|hx, yi| kxk kyk . (5)

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

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

La relacin (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 ecuacin
debe ser nulo, repitiendo los pasos indicados ms arriba, y teniendo en cuenta que x2 = |x| , se
obtiene
|hx, yi| = kxk kyk ,
que vale slo en el caso en que x e y son linealmente dependientes.

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

0 hx, xi + a hx, yi + ahx, yi + a2 hy, yi ,

que puede escribirse

0 kxk2 + a hx, yi + a hx, yi + a kyk2 .
1 El discriminante de una funcin polinomial p(t) = at2 + bt + c, cuyo grfico es una parbola, es = b2 4ac.

Si > 0, p(t) tiene un par de races reales: la parbola corta al eje real en dos puntos; si = 0, el polinomio tiene
una raz doble: la parbola es tangente al eje real. Finalmente, si < 0, el polinomio tiene races complejas, lo que
significa que el grfico 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 a = 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 trmino a la izquierda, y aplicando la raz cuadrada
a ambos miembros, se obtiene la desigualdad de Schwartz (5). La igualdad se satisface si y slo
2
si y = 0X o si kx + ayk = 0, de manera que x = ay, o en otras palabras, que x e y estn
linealmente relacionados.

Prueba 3
Esta demostracin (Steele, 2004) surge a partir de la observacin 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 prdida de generalidad que x 6= 0X , y 6= 0X , de manera que las variables normalizadas
x y
x = 1 e y = 1
hx, xi 2
hy, yi 2
estn bien definidas. Sustituyendo estos valores por los de x e y en (6) se encuentra que
1 1
hx, yi hx, xi + hy, yi = 1.
2 2
pues hx, xi = hy, yi = 1. Reemplazando x e y por las variables originales, y aplicando las propie-
dades del producto interno para espacios vectoriales reales, se tiene
* +
x y 1 1
hx, yi = 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 .

Resea histrica
Agustin-Louis Cauchy (17870-1857) public su famosa desigualdad en 1821, en la segunda de dos
notas sobre la teora de desigualdades que formaban la parte final de su libro Cours dAnalyse
Algbrique, que fue posiblemente el primer libro de clculo riguroso editado en el mundo. La
desigualdad estaba planteada para el caso de nmeros reales,
q q
a1 b1 + a2 b2 + + an bn a21 + a22 + a2n b21 + b22 + b2n , (7)

y, extraamente, 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 mtodo de Newton para
el clculo de las races de ecuaciones algebraicas y trascendentes.

2
Gran cantidad de aplicaciones dependen de un anlogo 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 Mmoire de Victor Yacovlevich Bunyakovsky,
publicada por la Academia Imperial de Ciencias de San Petersburgo en 1859. Bunyakovsky (1804-
1889) estudi en Pars con Cauchy, y estaba familiarizado con su trabajo en inecuaciones; en su
Mmoire cita que la desigualdad clsica para sumas finitas (7) es bien conocida. Slo demora una
lnea en pasar de esta desigualdad a su anlogo continuo (8).
Aunque la Mmoire estaba escrita en francs, 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 teora sobre superficies mnimas.
Schwartz buscaba un anlogo 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 aproximacin a este resultado por va de la desigualdad de Cauchy es problemtico por varias
razones, entre ellas que la desigualdad estricta puede perderse en el pasaje al lmite 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 demostracin en la observacin 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 frmula 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 rpida y directa. Como muestra la
Prueba 1, puede utilizarse casi sin cambios para probar la versin con el producto interno (5), y
an en sta permite una rpida comprensin 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.