You are on page 1of 11

Miscel anea Matem atica 52 (2011) 6373 SMM

Miscel anea de desigualdades:


Bernoulli, Young y varias mas
Cesar L. Garca
clgarcia@itam.mx
Hector E. Lomel
lomeli@itam.mx
Departamento de Matematicas
Instituto Tecnologico Autonomo de Mexico
Mexico, DF 01080
1. Introducci on
Esta historia comienza en un primer curso de analisis matematico. De
manera estandar, el curso inicia con los preliminares de rigor y sigue
con la construccion de los n umeros reales o su presentaci on axiomatica.
Las reglas del juego son, entre otras, no usar algo que no haya sido
previamente demostrado y con esta losofa alcanzar una buena des-
cripci on de las propiedades estructurales del conjunto de los n umeros
reales y de ah hacer lo propio para el espacio R
n
. Ya despues vendra lo
correspondiente para los espacios metricos y los espacios normados.
En este esquema, las desigualdades numericas ofrecen todo un reto.
R apidamente uno encuentra desigualdades tan precisas (o justas) que
decidir su validez y establecer su optimalidad es todo un tour de force.
Desafortunadamente, uno es orillado a veces sin remedio a recurrir
a una herramienta que permite lograr neza y exactitud: el c alculo
diferencial e integral. Sin embargo, las nociones de derivada e integral
difcilmente llegan a discutirse en un primer curso de analisis matemati-
co por lo que la herramienta aparece fuera de contexto y en conicto
con la losofa del curso.
En este artculo queremos mostrar y resolver un ejemplo de la
problem atica anterior. Describiremos como manejar la desigualdad de
Young dentro de un curso de analisis sin recurrir al calculo que es la
64 C esar L. Garca y H ector E. Lomel
manera clasica en la que esta se demuestra. La insistencia de querer
comprobarla con lo que tenemos a la mano nos llevo a lo que es
material de las siguientes secciones.
El reto que nos planteamos es obtener la desigualdad de Young y
otras desigualdades cl asicas a partir de una desigualdad aparentemente
sencilla: la desigualdad de Bernoulli. Al nal encontraremos tambien
que las desigualdades que resultan de la desigualdad de Bernoulli son
equivalentes entre s.
2. Por que la desigualdad de Young?
La primera vez que uno puede encontrarse con la desigualdad de Young
1
es cuando se buscan otras maneras de normar el espacio vectorial R
n
.
La norma usual con la que se equipa a R
n
es la norma euclidiana:
|(x
1
, x
2
, . . . , x
n
)|
2
=
_
n

i=1
[x
i
[
2
_
1/2
.
Esta norma satisface la desigualdad del triangulo, | x + y|
2
| x|
2
+
| y|
2
, donde x = (x
1
, x
2
, . . . , x
n
) y y = (y
1
, y
2
, . . . , y
n
), porque se tiene
la desigualdad de Cauchy-Bunyakovskii-Schwarz
2
(CBS):
n

i=1
[x
i
y
i
[
_
n

i=1
[x
i
[
2
_
1/2
_
n

i=1
[y
i
[
2
_
1/2
, (1)
que a su vez es consecuencia del teorema egregio que rige a la geometra
del espacio eucldeo, a saber, el teorema de Pit agoras
3
:
| x + y|
2
2
= | x|
2
2
+| y|
2
2
si y solo si x y = 0,
donde x y :=
n

i=1
x
i
y
i
.
Existen otras normas naturales para R
n
como la norma del taxis-
ta:
|(x
1
, x
2
, . . . , x
n
)|
1
=
n

i=1
[x
i
[,
1
William Henry Young, 1863-1942.
2
Augustin-Louis Cauchy, 1789-1857; Victor Bunyakovskii, 1804-1889; Hermann
Amandus Schwarz, 1843-1921.
3
Pitagoras de Samos, -569 a -475.
Miscel anea de desigualdades: Bernoulli,. . . 65
o la norma del maximo:
|(x
1
, x
2
, . . . , x
n
)|

= m ax[x
i
[ : i = 1, 2, . . . , n.
Tambien se pueden considerar otras normas, como las llamadas de
Minkowski
4
: si p es un n umero real mayor o igual a uno entonces
|(x
1
, x
2
, . . . , x
n
)|
p
=
_
n

i=1
[x
i
[
p
_
1/p
es una norma en R
n
. La desigualdad del triangulo para las normas de
Minkowski ya no es geometricamente evidente como en el caso eucli-
diano (p = 2). Ahora es una desigualdad analtica que depende de una
desigualdad que generaliza la desigualdad de CBS y que se conoce como
la desigualdad de Holder
5
: si p y q son n umeros reales, ambos mayores
a uno y tales que 1/p + 1/q = 1, entonces
n

i=1
[x
i
y
i
[
_
n

i=1
[x
i
[
p
_
1/p
_
n

i=1
[y
i
[
q
_
1/q
. (2)
La desigualdad de H older, como muchas otras desigualdades, puede
comprobarse f acilmente si uno encuentra y comprueba la desigualdad
real adecuada, en este caso es la desigualdad de Young:
Proposicion 2.1 (Desigualdad de Young) Si a y b son n umeros
reales no-negativos y p y q son n umeros reales, ambos mayores a uno y
tales que 1/p + 1/q = 1 entonces
ab
a
p
p
+
b
q
q
(3)
con igualdad si y solo si a
p
= b
q
.
La desigualdad de Young es una desigualdad muy justa o precisa y
no es claro a priori como comprobarla sin recurrir al c alculo. De hecho,
casi seguramente cualquier b usqueda de una demostraci on conduce a
una de las siguientes dos:
2.1. Una prueba con calculo integral
La prueba va integraci on consiste en apelar a una gura escogida ade-
cuadamente. Considerar la gr aca de y = x
p1
sobre el intervalo [0, a]
66 C esar L. Garca y H ector E. Lomel
x
y
A
B
y = x
a
b
p - 1
Figura 1: Prueba de la desigualdad de Young para el caso b a
p1
.
(recordemos que p > 1) y marquemos el intervalo [0, b] sobre el eje y.
Supongamos ademas que b a
p1
como en la gura 1.
El area A en la gura 1 es
_
a
0
y dx =
_
a
0
x
p1
dx =
a
p
p
.
mientras que el area B es
_
b
0
x dy =
_
b
0
y
1/(p1)
dy =
(p 1)b
p/(p1)
p
=
b
q
q
.
La suma de estas dos areas ciertamente es mayor o igual al area, ab,
del rect angulo [0, a] [0, b] y de ah la desigualdad de Young. La gura
misma sugiere cu al es la condici on para que se tenga igualdad en la
desigualdad de Young. El caso b a
p1
corresponde a b
q1
a y se
resuelve de manera similar.
La gurita es tan buena (no nos referimos a ning un merito artstico)
que facilmente puede enunciarse la versi on de la desigualdad de Young
para una funcion estrictamente creciente y continua sobre el intervalo
[0, a]: si f : [0, a] R es una tal funci on y f(0) = 0 entonces,
_
a
0
f(t)dt +
_
b
0
f
1
(t)dt ab.
4
Hermann Minkowski, 1864-1909.
5
Ludwig Otto Holder, 1859-1937.
Miscel anea de desigualdades: Bernoulli,. . . 67
Con igualdad si y solo si b = f(a) (ver, por ejemplo [1] para una discu-
si on completa de la desigualdad en esta forma).
2.2. Una prueba con calculo diferencial
Una demostraci on, usando la nocion de derivada, es va la siguiente
desigualdad
t

t + (1 ) si 0 < < 1 y t > 0. (4)


El lado derecho de la desigualdad (4) es la ecuaci on de la recta
tangente a la gr aca de t

en (1, 1). Notemos que la funci on h(t) =


t + (1 ) t

tiene un mnimo absoluto en t = 1 y es convexa


(c oncava hacia arriba) luego h(t) h(1) = 0 y de aqu la desigualdad.
En particular, para t = a
p
/b
q
y = 1/p, la desigualdad (4) implica que
t
1/p

1
p
t +
1
q
,
y por lo tanto,
a
b
q/p

1
p
a
p
b
q
+
1
q
.
Notemos que
b
q
b
q/p
= b
q
q
p
= b.
Si se multiplica la desigualdad anterior por b
q
, se obtiene la desigualdad
de Young (3).
ab
a
p
p
+
b
q
q
.
Young comprob o esta desigualdad para la convolucion de funciones
en espacios L
p
en el contexto de series de Fourier alrededor de 1912 (ver
por ejemplo, [6, secciones 8.3, 8.4] y las referencias ah citadas). Esta
versi on de la desigualdad, al igual que la desigualdad de Minkowski
(del tri angulo para normas p), se obtiene a partir de la desigualdad de
Young (3).
3. Dandole la vuelta al calculo
C omo comprobar la desigualdad de Young sin apelar al c alculo? Par-
tiendo de primeros principios, lo unico que se tendra disponible es la
denici on de potencias reales para n umeros reales: si t > 1 y 0 < < 1
entonces
68 C esar L. Garca y H ector E. Lomel
t

:= supt
q
: q Q, q . (5)
Por supuesto, para llegar a la denici on (5) se dene o comprueba
la existencia, seg un sea el caso, de las potencias: t

, N; t

, Z
y t

, = 1/r, r N (la raz r-esima de t). Amen de las extensiones


naturales de (5) a rangos m as grandes de t y (el rango aqu elegido,
t > 1 y 0 < < 1, ser a suciente para nuestros nes). Veamos pues
una demostracion de la desigualdad de Young usando la denicion de
potencia de un n umero real. La idea es deducir (4) a partir de una
desigualdad elemental, a saber, la desigualdad de Bernoulli:
6
Teorema 3.1 (Desigualdad de Bernoulli) Si x > 1 entonces
(1 + x)
n
1 + nx para todo n N. (6)
La desigualdad de Bernoulli es obvia si x 0 pues el lado dere-
cho de la desigualdad est a constituido solamente por los primeros dos
sumandos de la expansi on del binomio (1 + x)
n
y para 1 < x < 0
una prueba sencilla por inducci on matematica resuelve el problema (de
hecho el caso para cualquier x > 1). En efecto, sea S = n N :
(1 +x)
n
1 +nx. Primero, (1 +x)
1
= 1 +1 x, luego 1 S. Por otro
lado si k S, es decir, (1 + x)
k
1 + kx, entonces
(1 + x)
k+1
= (1 + x)(1 + x)
k
(1 + x)(1 + kx)
= 1 + (k + 1)x + kx
2
1 + (k + 1)x.
Por el principio de induccion se concluye que S = N; es decir, la f ormu-
la es valida para todo n umero natural. Para ser honestos, notemos que
aunque estamos exhibiendo la desigualdad de Bernoulli como una pro-
piedad meramente aritmetica de n umeros reales, la desigualdad esconde
una propiedad geometrica que se decide f acilmente con calculo: la recta
tangente en x = 0 a la gr aca de la funci on y = (1 +x)
n
es y = 1 +nx
y esta ultima va por abajo de la gr aca de (1+x)
n
en el rango x 1.
La desigualdad de Bernoulli resulta, a pesar de ser elemental, una
llave m agica: no s olo se logran corolarios como la desigualdad del trian-
gulo para las normas de Minkowski como ya mencionamos, sino tam-
bien, puede ser usada para dar estimaciones elegantes y sencillas de las
cuales se obtienen teoremas fundamentales en el an alisis matem atico
como el teorema de aproximacion polinomial de Weierstrass (ver por
ejemplo, [7]). Para una revision completa de la desigualdad, as como
6
Jacob Bernoulli, 1654-1705.
Miscel anea de desigualdades: Bernoulli,. . . 69
de sus extensiones ver [9] y [10]. Tambien recomendamos [3] y las re-
ferencias ah citadas pues comparte la losofa de este artculo y, por
supuesto, usa la desigualdad de Bernoulli entre otras.
Aunque la desigualdad de Bernoulli aparece en el artculo de Jacob
Bernoulli: Positiones arithmeticae de seriebus innitis earumque sum-
ma nita de 1689, no es la primera noticia sobre esta desigualdad: se
sabe que la desigualdad ya era conocida por Isaac Barrow
7
(contem-
poraneo de Isaac Newton
8
y solamente por esto segundo gran cientco
de la epoca seg un sus colegas, [4]) desde al menos veinte a nos antes del
artculo de Bernoulli. De hecho, la primera aparicion por escrito de la
desigualdad es en el Mesolabum de Sluze
9
seg un M. Feingold, [4].
4. La desigualdad de Bernoulli a buen uso
Demostremos algunas de las sorprendentes consecuencias de la des-
igualdad de Bernoulli. El primero de tres pasos hacia la desigualdad
de Young y en el que se usa la desigualdad de Bernoulli es la siguiente
proposici on:
Proposicion 4.1 Sea m N y z > m. Entonces, para todo n N
con n m se cumple
_
1 +
z
n
_
n

_
1 +
z
m
_
m
. (7)
El avezado lector habra notado que en esta desigualdad aparecen
terminos de la conocida sucesi on asociada a la funci on exponencial. No
es coincidencia, pues recordemos que en la desigualdad de Young involu-
cramos potencias reales de n umeros reales. La desigualdad (7) resulta
adem as pedagogicamente muy ventajosa pues lleva casi de manera
inmediata a la denici on de funcion exponencial y todas sus propie-
dades. Los terminos de la forma
_
1 +
z
n
_
n
fueron asociados a la funci on
exponencial por primera vez por Euler
10
quien ademas fue el primero
en entender el papel fundamental del n umero e y la funcion exponencial
y = e
z
en el analisis. Hasta antes de Euler la funci on exponencial era
considerada como la funcion al reves de la funci on logartmica. Euler
es el primero en denir e
z
como lmite de la sucesi on
__
1 +
z
n
_
n
_
. Un
hecho simp atico, seg un Maor (ver, [8, pag. 156]), es que Euler en su
7
Isaac Barrow, 1630-1677.
8
Sir Isaac Newton, 1643-1727
9
Rene Francois Walter de Sluze, 1622-1685.
10
Leonhard Euler, 1707-1783.
70 C esar L. Garca y H ector E. Lomel
Introductio escribi o lm
n
_
1 +
z
n
_
n
como
_
1 +
z
i
_
i
donde i denota un
n umero innito cosa que, agrega Maor, ning un estudiante de primer
a no universitario se atrevera a hacer.
La demostraci on de (7) es por inducci on sobre n. En efecto, notemos
que para cualquier n m se cumple que 1+z/n > 0. El paso inductivo
se sigue de la desigualdad de Bernoulli (6), (1 + x)
n+1
1 + (n + 1)x,
usando como x a
x =
z
(n + 1)n
_
1 +
z
n
_
1
.
En efecto, un poco de algebra muestra que
1 + x =
_
1 +
z
n + 1
_
_
1 +
z
n
_
1
> 0 (luego se puede aplicar (6))
y que
1 + (n + 1)x =
_
1 +
z
n
_
1
.
As, se tiene la desigualdad
(1 + x)
n+1

_
1 +
z
n
_
1
.
Al multiplicar ambos lados de esta desigualdad por (1 + z/n)
n+1
el
lado derecho queda (1 + z/n)
n
, que por hipotesis de inducci on es mayor
o igual a (1 + z/m)
m
, mientras que el lado izquierdo se simplica en
(1 + z/(n + 1))
n+1
.
El segundo paso en la demostraci on de la desigualdad de Young
es usar la desigualdad (7) para comprobar la desigualdad (4). Sean
entonces t 1 y 0 < < 1. Consideremos un n umero racional m/n
Q, con m/n y m < n. Denimos z = m(t1). Claramente z > m
y por la desigualdad (7) se cumple que
_
1 +
z
m
_
m

_
1 +
z
n
_
n
.
Pero entonces,
t
m

_
1 +
m
n
(t 1)
_
n
,
y por lo tanto
t
m/n
1 +
m
n
(t 1) 1 + (t 1).
As, al tomar el supremo tomando en cuenta la denici on 5 se obtiene
la desigualdad (4) enunciada anteriormente:
t

t + (1 ).
Miscel anea de desigualdades: Bernoulli,. . . 71
Finalmente, el tercer y ultimo paso consiste en observar que si a
p

b
q
entonces al sustituir t = a
p
/b
q
1 y = 1/p en (4) se obtiene
la desigualdad de Young. La conclusion en el caso a
p
< b
q
se obtiene
de manera similar, usando ahora t = b
q
/a
p
y = 1/q. La igualdad
en la desigualdad de Young es consecuencia de que la igualdad en la
desigualdad (4) ocurre si y s olo si t = 1 (dejamos al amable lector
incursionar en los detalles).
5. Una desigualdad mas
Sin duda una de las desigualdades mas importantes de la geometra y
del an alisis convexo es la que compara la media geometrica con la media
aritmetica (MG-MA) de n umeros reales positivos. Como corolario de la
desigualdad de Young se obtiene facilmente la siguiente version de la
desigualdad entre las medias mencionadas.
Corolario 5.1 (MG-MA) Sean x
1
, . . . , x
n
n umeros reales positivos.
Sean
1
, . . . ,
n
n umeros no negativos tales que
n

k=1

k
= 1.
Entonces se cumple
x

1
1
x
n
n

1
x
1
+ +
n
x
n
.
La version usual de la desigualdad MG-MA se obtiene cuando cada

i
es igual a 1/n con n un n umero natural.
Haremos la demostraci on del corolario por inducci on sobre n. Cla-
ramente la armaci on es cierta para n = 1 pues en este caso
1
= 1.
Supongamos que la armaci on es cierta para el n umero natural n. Sean
x
1
, . . . , x
n+1
n umeros positivos y sean
1
, . . . ,
n+1
n umeros no negati-
vos tales que
n+1

k=1

k
= 1.
Los casos
n+1
= 0 y
n+1
= 1, son triviales. Supongamos, sin perdida
de generalidad, que 0 <
n+1
< 1. Denimos q = 1/
n+1
. Claramente
q > 1. Sea p el exponente conjugado a q; es decir, p satisface 1/p+1/q =
1.
72 C esar L. Garca y H ector E. Lomel
Si a = x

1
1
x
n
n
y b = x

n+1
n+1
entonces la desigualdad de Young
implica que
x

1
1
x
n
n
x

n+1
n+1
= ab
a
p
p
+
b
q
q
.
Ahora,
b
q
q
=
n+1
x
n+1
y ademas,
a
p
= x
p
1
1
x
pn
n
.
Pero como
n

k=1

k
= 1
n+1
=
1
p
concluimos que
n

k=1
p
k
= 1.
Usando la hip otesis de inducci on, tenemos que
a
p
p

1
x
1
+ +
n
x
n
,
y esto implica el resultado.
6. Eplogo
La version usual de la desigualdad MG-MA,
(x
1
x
2
x
n
)
1/n

x
1
+ x
2
+ + x
n
n
,
con n un n umero natural y x
1
, . . . , x
n
n umeros reales positivos puede
comprobarse, tambien a partir de primeros principios por inducci on.
La prueba cl asica es la de Cauchy, quien resuelve la desigualdad para
n umeros naturales de la forma n = 2
k
y despues, extiende la desigual-
dad para todo n umero natural sin usar m as que mera aritmetica. La
demostraci on de Cauchy puede consultarse en el muy recomendable
libro de desigualdades de Garling [5]. Otra demostraci on, tambien in-
ductiva, puede verse en esta Miscelanea [2].
Sorprendentemente, la desigualdad (7) tambien es consecuencia de
la desigualdad MG-MA. En efecto, si en la desigualdad MG-MA hace-
mos x
1
= x
2
= = x
m
= 1 +
z
m
y x
m+1
= = x
n
= 1 entonces
_
1 +
z
m
_
m/n
= (x
1
x
n
)
1/n

x
1
+ + x
n
n
= 1 +
z
n
.
Miscel anea de desigualdades: Bernoulli,. . . 73
Se cierra as un crculo de desigualdades que pende de la desigualdad
de Bernoulli:
Bernoulli

_
1 +
z
n
_
n

_
1 +
z
m
_
m

MG-MA t

t + (1 )

Young
Referencias
[1] J. B. Daz, F. T. Metcalf, An Analytic Proof of Youngs Inequality,
Amer. Math. Monthly, 77, no. 6 (1970), 603609.
[2] J. Cruz Sampedro, M. Tetlalmatzi Montiel, Una demostracion in-
ductiva directa de la desigualdad media geometrica media aritmeti-
ca, Miscelanea Mat. 28, (1999), 11-15.
[3] R. M Dimitric, Using Less Calculus in Teaching Calculus: an His-
torical Approach, Math. Magazine, MAA74, no. 3 (2001), 201211.
[4] M. Feingold, Newton, Leibniz, and Barrow too: An Attempt at a
Reinterpretation, Isis 84, no. 2 (1993), 310338 (Disponible en JS-
TOR).
[5] D. J. H. Garling, Inequalities, a Journey into Linear Analysis,
Cambridge University Press, Cambridge, 1999.
[6] G. H. Hardy, J. E. Littlewood, G. P olya, Inequalities, Cambridge
University Press, Cambridge, 1999.
[7] H. Kuhn, Ein elementary Beweis des Weierstrasschen Approxima-
tionssatzes, Arch. Math. 15 (1964), 316317.
[8] E. Maor, e: The Story of a Number, Princeton University Press,
Princeton, 1994.
[9] D. S. Mitrinovic, J. E. Pecaric, Bernoullis inequality, Rend. Circ.
Mat. Palermo, serie II, tomo XLII (1993), 317337.
[10] H. N. Shi, Generalizations of Bernoullis inequality with applica-
tions, J. Math. Inequalities, 2, no. 1 (2008), 101107.