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 0 kx + ayk = hx + ay, x + ayi = hx + ay, xi + hx + ay,ayi = hx, xi + a hx, yi + ahx, yi + a2 hy, yi kxk + 2 |a| |hx, yi| + |a| kyk ,
2 2 2 2

(1) (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. Tomando raz cuadrada en ambos miembros resulta la desigualdad de Schwartz |hx, yi| kxk kyk . (5) (4)

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 0 = kxk + 2 hx, yi a + kyk a2 , que se puede pensar como un polinomio en a; planteando que el discriminante de ecuacin esta 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.
2 2

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 grco 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 signica que el grco de p(t) no corta al eje real. Estas dos ltimas condiciones son las que se aplican en (4).

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

hx, yi kyk
2

hx, yi = kxk

|hx, yi|2 kyk

2

Multiplicando por kyk2 , transriendo 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 1 x2 + 1 y 2 , como se deduce al expandir el cuadrado del binomio. Al extender esta idea 2 2 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, 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 verica 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 hx, yi x= x hx, xi
1 2

y=

hy, yi 2

estn bien denidas. Sustituyendo estos valores por los de x e y en (6) se encuentra que h, yi x 1 1 h, xi + h, yi = 1. x y 2 2

pues h, xi = h, yi = 1. Reemplazando x e y por las variables originales, y aplicando las propiex y dades del producto interno para espacios vectoriales reales, se tiene + * 1 y 1 x = h, yi = x 1 , 1 1 1 hx, yi 1 hx, xi 2 hy, yi 2 hx, xi 2 hy, yi 2 de donde resulta hx, yi hx, xi 2 hy, yi 2 = kxk kyk .
1 1

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 nal 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 (7) a1 b1 + a2 b2 + + an bn a2 + a2 + a2 b2 + b2 + b2 , n n 1 2 1 2

y, extraamente, Cauchy no utiliz esta desigualdad en el texto, sino en algunos ejercicios ilustrativos. 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
b a

f (x)g(x)dx

b a

! 1 Z !1 2 2 b 2 [f (x)] dx [g(x)] dx .
2 a

(8)

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 (18041889) estudi en Pars con Cauchy, y estaba familiarizado con su trabajo en inecuaciones; en su Mmoire cita que la desigualdad clsica para sumas nitas (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 supercies mnimas. Schwartz buscaba un anlogo de la desigualdad de Cauchy para una integral bidimensional: necesitaba 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 coecientes 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 mathematical inequalities, Cambridge University Press.