Revista Joven Matematico

ISSN 0719-0077
variados, siendo los nicos requisitos el incluir

contenidos de ndole matemtica, y el que estn
escritos en lengua espaola. Estos pueden ser sobre
historia de las matemticas, matemtica aplicada,
fsica matemtica, enseanza de las matemticas, y
cualquiera de los campos de las matemticas puras.
El nivel de los artculos debe ser apto para estudiantes avanzados de carreras universitarias afines a
matemtica, aunque tambin son bienvenidos artculos de tipo introductorio a temas ms especializados.
Para ser considerados para publicacin en el prximo
nmero, los artculos deben ser enviados al correo de
contacto antes del 15 de Agosto de 2011. Artculos
recibidos despus de esta fecha sern considerados
para publicacin en ediciones posteriores. Los artculos deben ser enviados en formato TEX, con el
correspondiente archivo PDF adjunto.
Revista Joven Matemtico, Edicin 2. Publicada
de forma electrnica el da 31 de Marzo de 2011.
Prxima edicin: 30 de Septiembre de 2011.
La revista cuenta con el patrocinio del Ncleo
Milenio Teora Matemtica de Sistemas Magnticos
Cunticos y Clsicos.
Contacto:
joven.matematico@gmail.com
Equipo editorial:
Rafael Benguria
Departamento de Fsica, P. Universidad Catlica de
Chile, Santiago, Chile
rbenguri@puc.cl
Sebastin Garca Senz
Departamento de Fsica, P. Universidad Catlica de
sgarciasaenz@gmail.com
Suscripcin:
Personas e instituciones interesadas en recibir copias
electrnicas de ediciones futuras pueden suscribirse
enviando un correo a la direccin de contacto,
indicando el nombre, ciudad, pas, y afiliacin en el
caso de estudiantes y profesores.
Informacin para autores:
Los editores invitan a alumnos y profesores a
enviar artculos para su publicacin en esta revista,
previa revisin por parte del equipo editorial. Los
temas que pueden incluir los artculos son muy
Ricardo Repenning
Facultad de Ingeniera, P. Universidad Catlica de
ricardo.repenning@gmail.com
Felipe Soto Arvalo
Facultad de Ingeniera, P. Universidad Catlica de
felipe.soto.arevalo@gmail.com
Francisco Vial
cole Polytechnique, Pars, Francia
fvialp@gmail.com
Artculos
Edicin 2 / 2011
Contenidos
El trascendental nmero de Euler
Transformadas de Laplace de funciones de Bessel:

funciones de orden cero
Acerca del interior de un polgono
19
Problemas de obstculos y curvas convexas
26
Mtodos a conmutadores en teora espectral

y teora del scattering
36
Problemas y Soluciones
43
Noticias
52
Artculos
Edicin 2 / 2011
El trascendental nmero de Euler

Magdalena Eterovic
P. Universidad Catlica de Chile, Santiago, Chile
1. Introduccin
Probablemente muchos hemos escuchado sobre el famoso nmero e. Es un nmero irracional y su valor es
aproximadamente e 2.71828182845. Junto con el 0, el 1, la constante y la unidad imaginaria i, e es uno
de los nmeros ms importantes en matemticas. En esta monografa responderemos las siguientes preguntas:
De dnde viene el nmero e? Cul es su definicin y cmo se puede calcular su valor? Cmo sabemos que
es un nmero irracional? Qu relacin tiene con los nmeros complejos?
2. Antecedentes histricos
Leonhard Euler (1707-1783), matemtico suizo, fue quien le dio el nombre al nmero e. Tal vez la definicin
ms conocida del nmero e es que es la base de los logaritmos naturales. Pero, qu quiere decir que e sea la
base de los logaritmos naturales?. Primero, veamos brevemente el origen de los logaritmos.
Los logaritmos fueron inventados por el matemtico escocs John Napier (1550-1617). Napier quera facilitar el clculo de las funciones trigonomtricas, por la va de reemplazar las operaciones de multiplicacin y
divisin por sumas y restas. Para esto, Napier se bas en el trabajo del matemtico alemn Michael Stifel
(1487-1567), quien haba llegado a determinar las relaciones q m q n = q m+n , y q m /q n = q mn para los
nmeros enteros.
Napier razon que si podemos escribir cualquier nmero como una potencia de algn nmero fijo dado
(una base), entonces la multiplicacin y divisin de nmeros seran equivalentes a la suma y resta de sus
exponentes. Para evitar introducir fracciones, Napier eligi el valor 107 para el radio del crculo (es decir, una
unidad dividida en 107 subunidades); y como base para sus potencias, eligi 1 107 = 0.9999999 (es decir,
el siguiente nmero ms pequeo que la unidad, que resulta de restarle una subunidad a la unidad). Entonces
un nmero N puede escribirse como
L
N = 107 1 107 ,
en que el exponente L es el logaritmo naperiano de N . Napier acu la palabra logaritmo a partir de las
palabras griegas logos, que significa razn, y arithmos, que significa nmero. Es interesante observar que
107

n

1
1
1
lim 1
= .
1 7
n
10
n
e
Es decir, aunque Napier no se lo propuso, l prcticamente obtuvo un sistema de logaritmos en base 1e . A
n
propsito, no sabemos quin fue la primera persona que not el comportamiento de la expresin 1 + n1 a
medida que n tiende a infinito, de modo que la fecha de nacimiento del nmero e permanece en la oscuridad.
Los logaritmos de Napier y, posteriormente, los del matemtico ingls Henry Briggs (1561-1631), los
logaritmos en base 10 o comunes, se difundieron rpidamente en la comunidad cientfica europea (incluso
fueron introducidos en China 1653), y muy pronto dieron origen a la regla de clculo. La regla de clculo
apareci por primera vez en 1620 y fue usada por cientficos e ingenieros durante los prximos 350 aos, hasta
que en 1970 apareci la calculadora.
Artculos
Edicin 2 / 2011
Que e sea la base de los logaritmos naturales significa que el logaritmo natural de un nmero x es la
potencia a la que habra que elevar e para obtener x. El logaritmo natural de x es r si y slo si er = x. Estos
logaritmos en base e se llaman naturales porque aparecen frecuentemente en matemticas; por ejemplo,
cuando diferenciamos una funcin logartmica,
d
logb (e)
1
logb (x) =
=
,
dx
x
ln(b)x
como veremos ms abajo. En todo caso, el calificativo de natural le fue dado por Mergoli y Mercator antes
de que Isaac Newton (1643-1727) y Gottfried Leibniz (1646-1716) desarrollaran el clculo.
3. Definicin del nmero e
Hay varias formas de definir conceptualmente el valor del nmero e, y todas son, naturalmente, equivalentes
entre ellas. Para partir por una de estas, analicemos el siguiente problema: derivar la funcin y = ax con
respecto a x. Lo primero que debemos hacer es recordar el concepto de derivada: geomtricamente hablando,
la derivada de la funcin f (x) es otra funcin, f 0 (x), que corresponde a la pendiente de la recta tangente a la
curva y = f (x); en general, esta pendiente vara para cada valor de x. Analticamente, esta definicin puede
escribirse como
f (x + h) f (x)
f 0 (x) = lim
(1)
h0
h
Armados con esta herramienta, una forma de definir el valor de e es la siguiente. Como dijimos en la
introduccin, e es la base de los logaritmos naturales, es decir, e est relacionado con los logaritmos. Si e est
relacionado con los logaritmos, entonces e tambin est relacionado con las funciones de la forma ax , inversas
de los logaritmos. As, si queremos derivar y = ax usando la definicin anterior, obtenemos
ax+h ax
ax ah ax
= lim
.
h0
h0
h
h
(ax )0 = lim
Si se saca factor comn resulta
ah 1
.
h0
h
Aqu nos enfrentamos con el verdadero problema, cmo calculamos este lmite? Desde el punto de vista
prctico, lo mejor que nos podra pasar es que este lmite fuese igual a 1, es decir, que la derivada de ax fuese
igual a ax . Pero esto no es necesariamente cierto para cualquier valor de a. Entonces, definamos e como aquel
nmero real que cumple esta condicin:
eh 1
= 1.
(2)
lim
h0
h
Otra forma de entender esto es que la derivada de ex es ex . Con este lmite hemos logrado obtener una definicin
para el numero e. Sin embargo, en la prctica, no es fcil calcularlo. Qu podemos hacer? Primero, veamos
si existe un nmero e que satisfaga el lmite anterior. Para ello, calculamos el valor del lmite sustituyendo e
por distintos nmero enteros y, en cada caso, evaluando la expresin para valores cada vez ms pequeos de h.
La siguiente tabla sugiere que e efectivamente existe, y debe ser mayor que 2 y menor que 3.
ax lim
h
1
0.5
0.2
0.1
0.05
2h 1
h
3h 1
h
1
0.828
0.743
0.717
0.705
2
1.464
1.228
1.161
1.129
Artculos
Edicin 2 / 2011
An estamos muy lejos de tener el valor exacto de e. Veamos cmo podemos aprovechar el hecho de que la
derivada de ex es ex para esto. Definamos la funcin ln(x) como la funcin logartmica con base e (ya veremos
que no solo tiene sentido hacer esta definicin, sino que tambin es muy til). A continuacin, demostraremos
que la derivada del ln(x) es x1 . Consideremos la funcin
y = loga x.
Esto significa que ay = x. Adems sabemos que podemos expresar a como z logz (a) para cualquier valor de z.
Por lo tanto, z (logz a)y = x. Entonces, reemplazando z por e nos queda
ey(ln(a)) = x.
Ahora derivamos parcialmente esta igualdad con respecto a x. En el lado derecho obtenemos 1, mientras que
en el lado izquierdo aplicando la regla de la cadena queda ey(ln(a)) ln(a)y 0 = 1. Este es el e que definimos en
(2), porque estamos usando el hecho de que la derivada de ex es ex . Si ahora despejamos y obtenemos
y0 =
1
ey(ln(a))
ln(a)
ay
1
1
=
.
ln(a)
x ln(a)
1
Es decir, la derivada de la funcin y = loga x es y 0 = x ln(a)
. Finalmente, si substituimos a por e, entonces
y = ln(x) y la expresin anterior queda
1
1
= .
(3)
y0 =
x ln(e)
x
As, hemos demostrado que la derivada del ln(x) es 1/x. Y para qu nos sirve esto? Haber calculado la
derivada del logaritmo natural de esta forma, nos ayudar a calcular el valor de e, como veremos a continuacin.
Si usamos la definicin de derivada, dada en (1), para calcular la derivada del logaritmo natural en el punto
x = 1, e igualamos esta expresin con el valor que acabamos de obtener en (3), obtenemos la siguiente
igualdad:
ln(1 + h) ln(1)
ln(1 + h)
1 = lim
= lim
.
h0
h0
h
h
Ahora, por propiedad de los logaritmos, esto es igual a

1 = lim ln (1 + h)1/h ,
h0
y como las funciones logartmicas son continuas, entonces

1/h
1 = ln lim (1 + h)
.
h0
Reemplazando n = 1/h, esta expresin queda

n
1
.
1 = ln lim 1 +
n
n

Finalmente, aplicando la funcin inversa del logaritmo (que es la exponencial, es decir, ex ) a ambos lados,
concluimos que

n
1
e = lim 1 +
.
(4)
n
n
Hemos encontrado una forma de calcular el valor de e. La siguiente figura muestra cmo cambia el valor de
este lmite a medida que aumenta el valor de n.
Artculos
Edicin 2 / 2011
4. La irracionalidad del nmero e

En la seccin anterior vimos distintas definiciones y formas de calcular e. Cuando tratamos de obtener el valor
de e, nos damos cuenta que ninguna de las definiciones se puede expresar directamente como un valor conocido, y que en las aproximaciones que hemos hecho, no hay un patrn en las cifras decimales. Esto nos da
razn para pensar que e es irracional. A continuacin demostraremos este hecho.
Adems de las definiciones (2) y (4) para e, tambin se puede demostrar que
ex =
X
xn
.
n!
n=0
(5)
A partir de esta nueva definicin de e, podemos demostrar su irracionalidad por contradiccin (reductio ad
absurdum), de la siguiente forma. Supongamos que e es un nmero racional; entonces, e se puede escribir
como el cuociente de dos nmeros naturales:
a b N| e =
a
.
b
A partir de los nmeros naturales a y b anteriores, definamos un nmero x de la siguiente forma:

!
b
b
X
X
b!
1
= a(b 1)!
.
x = b! e
n!
n!
n=0
n=0
Es fcil ver que x es un nmero entero, porque a(b 1)! es un producto de enteros (que da por resultado un
Pb
b!
b!
entero) y, como es b n, n!
es siempre entero, y por lo tanto n=0 n!
es una suma de nmeros enteros, que
tambin es un nmero entero. As, x es la resta de dos nmeros enteros, y por lo tanto es entero.
Ahora, trataremos de acotar el valor de x. En primer lugar, sabiendo de (5) que e =
sustituir este valor en la definicin de x:
!
X
X
X
1
1
1
x = b!
= b!
.
n!
n!
n!
n=0
n=0
1
n=0 n! ,
podemos
n=b+1
Vemos as que x es claramente mayor que 0. Por otra parte, ntese que en esta ltima expresin n tiene valores
estrictamente mayores que b. En estas condiciones, se da que
b!
1
1
=
,
n!
(b + 1)(b + 2)...(n b)
(b + 1)nb
Artculos
y por lo tanto,
x=
Edicin 2 / 2011
X
X
b!
1
.
n!
(b + 1)k
n=b+1
k=1
Esta ltima sumatoria es la suma de una serie geomtrica infinita de razn 1/(b + 1), cuyo valor es
!
X
1
1
1
1
= .
=
1
(b + 1)k
b + 1 1 b+1
b
k=1
Como por hiptesis b es un nmero natural, 1/b es menor o igual que 1, y como x es menor que la suma de
la serie geomtrica infinita, entonces x es estrictamente menor que 1. En consecuencia, tenemos que x es un
nmero entero que es a la vez mayor que 0 y menor que 1. Esta es una contradiccin que invalida nuestra
suposicin de que e es un nmero racional.
5. El teorema de De Moivre
Una de las ms importantes aplicaciones de e es su directa relacin con los nmeros complejos. El teorema de
De Moivre nos permite expresar cualquier nmero complejo como el resultado de una exponencial. Cuando uno
tiene un nmero complejo z cualquiera, lo primero es expresar este nmero de la forma z = r(cos + i sin ),
siendo r el mdulo de z y el ngulo que z forma con el eje x medido en sentido antihorario y en radianes. Esta
forma de escribir los nmeros complejos se llama a veces r cis . El teorema de De Moivre dice lo siguiente:
n
z n = rn (cos + i sin ) = rn ein .

A continuacin demostraremos este teorema. Primero, definamos al nmero complejo unitario (mdulo = 1)
como una funcin de :
y = (cos + i sin ),
y derivemos la funcin con respecto a ,
dy
= i cos sin = i(cos + i sin ).
d
Notemos que en esta ltima expresin aparece y en el parntesis. Es decir,
dy
= iy.
d
Esto que tenemos es una ecuacin diferencial para y. Resolviendo obtenemos
y = ei .
Ahora bien, si nosotros consideramos que el nmero complejo tiene mdulo r, esto lo escribiramos as en
trminos de y: z = r(cos + i sin ) = ry. Entonces, por lo que acabamos de mostrar,
ry = rei .
Si elevamos ambos lados a la potencia n, entonces
rn y n = rn (cos + i sin )n = rn ei
n
= rn eni .
Hemos demostrado as el teorema de De Moivre. Para terminar con el teorema, revisemos una caracterstica.
Al hablar de dijimos que era un ngulo medido en radianes. Enfoqumonos en el caso particular en que
= . Usemos el teorema para este caso en que el nmero complejo adems tiene mdulo unitario:
ei = cos + i sin = 1 + 0 = 1.
Artculos
Edicin 2 / 2011
Esta identidad es bastante famosa. En particular, fue catalogada por el fsico norteamericano Richard Feynman
(1918-1988) como la identidad ms espectacular en matemticas. En general, escribimos la identidad como
ei + 1 = 0.
De esta forma, aparecen en una sola igualdad los nmeros e, , el neutro multiplicativo 1, el neutro aditivo 0,
y adems el componente imaginario i.
Bibliografa
Jan Gullberg, Mathematics: From the Birth of Numbers, W.W. Norton and Company, 1997.
Eli Maor, e: The Story of a Number, Princeton Paperbacks, 1998.
http://www.mathsisfun.com/numbers/e-eulers-number.html
(Fecha en que se utiliz esta pgina: 21/07/08.)
James Stewart, Clculo: Trascendentes Tempranas (4a ed.), Thomson Learning, 2002.
Artculos
Edicin 2 / 2011
Transformadas de Laplace de Funciones de Bessel:

Funciones de Orden Cero
Mark S. Ashbaugh1 , y Sebastin Garca Senz2
1
Department of Mathematics, University of Missouri, Columbia, MO, ashbaughm@missouri.edu.
Departamento de Fsica, P. Universidad Catlica de Chile, Santiago, Chile, sgarciasaenz@gmail.com.
Resumen
Este artculo constituye una aproximacin pedaggica a la transformada de Laplace de la funcin de
Bessel Y0 , obtenida mediante un desarrollo adicional del mtodo que usan los libros de texto para obtener la
transformada de J0 de tal modo que se superan los problemas aparentes de la generalizacin del mtodo para
Y0 . En el camino notamos los modos ms directos de obtener las transformadas de Laplace de las funciones de
Bessel, y adicionalmente a los desarrollos para Y0 notamos una identidad binomial interesante que involucra
los nmeros armnicos.
1. Introduccin
En este artculo derivamos la transformada de Laplace de la funcin de Bessel Y0 , siguiendo el desarrollo de
la transformada de la funcin de Bessel J0 que se encuentra en muchos libros de texto. Una gran cantidad de
libros elementales sobre ecuaciones diferenciales, o sobre mtodos matmaticos de la fsica, contienen breves
derivaciones de la transformada de Laplace de J0 ya sea como un ejemplo o como un ejercicio, usualmente en el
captulo sobre la transformada de Laplace, y en el que el clculo es hecho tomando transformada a la ecuacin
de Bessel de orden 0 en la forma ty 00 + y 0 + ty = 0. Vase, por ejemplo, [7] (ver Prob. 35, p. 322), [9] (ver
Ejemplo 4, pp. 216-217), [12] (ver Ejemplo 5, p. 483), [15] (ver Ejemplo 6-4, pp. 305-306), [17] (ver Ejemplos
16 y 17, pp. 205-206), [21] (ver Ejemplo 3, pp. 403-404), [22] (ver Prob. 14, pp. 314-315), o una cantidad de
otros textos ([2], [3], [4], [5], . . .). Un resultado clave usado en esta derivacin es que, si F (s) = L{f (t)}
representa la transformada de Laplace de f (t), entonces la transformada de Laplace de tf (t) est dada por
F 0 (s), esto es, la transformada de Laplace convierte multiplicacin por t en d/ds. As, dada la forma de
la ecuacin de Bessel de orden 0, con coeficientes lineales en t, la aplicacin de la transformada de Laplace
la convierte en una ecuacin diferencial de primer orden en la funcin transformada Y (s). A menudo estas
derivaciones tambin contienen un breve argumento para identificar la constante de integracin multiplicativa
que surge de resolver esta ecuacin homognea de primer orden, la cual se necesita para identificar la forma
precisa de la transformada de Laplace de J0 (t). En particular, uno encuentra que la solucin toma la forma
Y (s) = C(s2 + 1)1/2 , y uno identifica C = 1 comparando la serie obtenida al expandir Y (s) en potencias
de 1/s con la serie resultante de aplicar transformada de Laplace trmino a trmino a la serie de potencias de
J0 (t) (bastara aqu comparar solamente los trminos dominantes, aunque la mayora de los autores consideran
la serie completa, ya que este clculo requiere poco trabajo adicional). Este clculo usualmente se sugiere de
manera formal, sin justificar el procedimiento de transformar trmino a trmino (que no es ms que el intercambio de los rdenes de suma e integracin, pues
transformada de Laplace consiste en multiplicar por est
R last
e integrar desde t = 0 a , i.e., L{f (t)} =: 0 e f (t)dt). La expansin de Y (s) = C(s2 + 1)1/2 en
potencias de 1/s es una aplicacin simple de la expansin binomial (para la cual es necesario asumir que s > 1;
aqu y en adelante asumiremos s > 1 al expandir en 1/s).
Estos clculos, aunque instructivos en muchos sentidos y apropiados para presentar en libros elementales,
tienen sin embargo ciertos defectos. Uno de ellos es obviamente la falta de justificacin de la integracin trmino a trmino (transformacin de Laplace), pero como esto se remedia fcilmente mediante teoremas estndar de
Artculos
Edicin 2 / 2011
clculo avanzado o teora de integracin, no nos detendremos ms tiempo en esto. Otras objeciones, algo ms
serias, incluyen (1) el hecho de que resolver la ecuacin diferencial adems de aplicar transformada de Laplace
a la expansin en serie constituye una tarea engorrosa, pues cada uno de estos procedimientos por s mismo
permite obtener casi todo lo que uno busca, y (2) la transformacin de la ecuacin diferencial deja al estudiante
serio (y al profesor) con la duda acerca de qu ha pasado con la segunda solucin de la ecuacin con la que
empezamos, esto es, la ecuacin de Bessel de orden 0, que es una ecuacin de segundo orden. De hecho, si uno
quisiera asegurar todo directamente, incluyendo la constante C, entonces el mejor mtodo sera transformar
la expansin en serie desde el principio, obteniendo L{J0 } explcitamente, sin necesidad de tocar la ecuacin
de primer orden que esta satisface. Uno entonces podra emplear la expansin binomial para sumar la serie y
llegar a la expresin en forma cerrada de L{J0 }. Algunas razones que podran ayudarnos a explicar la presente
organizacin del argumento incluyen (i) que el mtodo de transformar la ecuacin es ms simple y completo,
de modo que su exposicin calza mejor en el contexto de una discusin de la transformada de Laplace (ilustrando tambin el teorema de que L{tf } = F 0 (s)); (ii) el mtodo de la ecuacin diferencial permite obtener la
transformada de Laplace de J0 (t) en forma cerrada, no solamente la expansin en serie, y por lo tanto permite
a los autores evitar hacer uso en un principio de la expansin binomial de (s2 + 1)1/2 = 1/s(1 + 1/s2 )1/2 ; y
(iii) relegando el uso de las series solamente para la identificacin de la constante C hace quizs ms justificable en nuestra opinin el uso de argumentos formales en este punto, sin preocuparnos de que el argumento sea
cabalmente riguroso. (Un camino para evitar esta crtica es usar el resultado lms [sL{f (t)}] = f (0), que
se puede encontrar, por ejemplo, en [23] (ver Teorema 1, p. 275). Pero muy pocos autores que tratan L{J0 (t)}
usan esto, siendo los nicos de nuestro conocimiento [8], [14], [16], [17], y [20].)
En particular, notamos que si el objetivo es obtener la transformada de Laplace de J0 (t) explcitamente
de la forma ms fcil y directa posible, entonces con seguridad uno debera simplemente tomar la expansin
en serie, aplicar transformada trmino a trmino, y luego identificar la serie resultante como la expansin de
(s2 + 1)1/2 mediante el teorema del binomio. Nada de este procedimiento es ajeno al estudiante de un curso
de ecuaciones diferenciales, excepto tal vez la teora de convergencia que justifica la transformacin trmino a
trmino, lo cual al menos se puede mostrar como plausible al notar que la serie tiene un radio de convergencia
infinito mientras que la funcin que representa es acotada para t grande (y de hecho es acotada por K/ t para
cierta eleccin de la constante K).
Quizs algo ms para pensar, o para confundir, son las cosas que omiten muchos autores cuando aplican el
mtodo de transformar la ecuacin diferencial. La mayora introduce condiciones iniciales para J0 o llaman la
atencin hacia J0 desde el principio. Pero si uno piensa por qu este procedimiento no captura nada de la segunda solucin de la ecuacin de Bessel, la primera impresin es probablemente que, aunque no se mencione,
la solucin que buscamos posee una transformada de Laplace, mientras que la funcin Y0 no. Pero esto no es
as, pues un poco de reflexin (usando los principios de la teora de Frobenius para resolver ecuaciones con
puntos singulares regulares, o simplemente haciendo referencia a la expansin de Y0 (t) desarrollada ya en los
libros (ver, por ejemplo, [7], p. 295)) nos convence de que esto no es cierto. Y0 (t), cuya expansin comienza
comienza como una constante por ln t para t pequeo, s posee una transformada de Laplace (su singularidad
en t = 0 es muy dbil, de modo que la integral de la transformacin es convergente hacia t = 0; notar que
ln t, o cualquier potencia no negativa de t por ln t es un integrando convergente en el intervalo 0 < t < 1).
As pues, el problema no es que Y0 (t) no tenga transformada de Laplace. En cambio, lo que uno encuentra
cuando se examina lo que est pasando con Y0 , Y00 , e Y000 , es que Y00 es demasiado singular en t = 0 como para
admitir una transformada de Laplace, y similarmente con Y000 o incluso con el trmino tY000 que aparece en la
ecuacin diferencial de Bessel. As, para y = Y0 , los trminos ty 00 e y 0 en la ecuacin ty 00 + y 0 + ty = 0 causan
problemas. Sin embargo, un poco ms de reflexin nos muestra que el trmino ty se comporta bien obviamente, y por lo tanto la combinacin de los otros dos trminos en la ecuacin debe comportarse bien tambin.
Y cuando uno observa que esos trminos se pueden agrupar en un solo trmino como (ty 0 )0 , y que (ty 0 )0 posee
transformada de Laplace, entonces se ve que uno est avanzando. De hecho, aunque an quede trabajo por
delante, esta aproximacin s funciona, y nos lleva por algunos caminos nuevos, dando un nuevo aire al mtodo
de ecuaciones diferenciales que en la mano de los autores de los libros de texto podra haber sonado como
Artculos
Edicin 2 / 2011
una aplicacin interesante, pero tal vez menor o demasiado especializada. En particular, esta aproximacin que
desarrollamos aqu nos permite iluminar tanto la capacidad como el rango de aplicacin del mtodo, y permite
entender algo del juego que existe entre el mtodo de la transformada de Laplace y la bsqueda de soluciones
singulares de ecuaciones diferenciales. Especficamente, uno ve un poco mejor cmo las condiciones iniciales
entran en este juego, cmo es la relacin entre la preservacin de las condiciones iniciales y el orden de la
ecuacin transformada, y cmo el mtodo de la transformada de Laplace se puede emplear en un nivel relativamente elemental como un modo efectivo de lidiar incluso con soluciones algo singulares.
As, tenemos dos objetivos principales en lo que haremos a continuacin: En primer lugar, mostramos
cmo el mtodo de la transformada de Laplace se puede utilizar, va transformacin de la ecuacin diferencial,
para desarrollar la transformada de Laplace de todas las soluciones de la ecuacin de Bessel de orden 0, esto es,
tanto de J0 como de Y0 . Y en segundo lugar, ilustramos el mtodo directo de transformar una solucin en serie,
mostrando que tambin puede hacerse cargo de los dos tipos de soluciones de la ecuacin de Bessel de orden 0,
haciendo uso de solamente un herramienta adicional. En el camino tambin nos encontramos con una identidad
binomial interesante, que involucra coeficientes binomiales y los nmeros armnicos Hk , la cual es fcil de
probar usando la transformada de Laplace de Y0 desde dos puntos de vista distintos. Una de las principales
razones para escribir este artculo es que sentimos que, despus de leer las presentaciones estndar, la mayora
de la gente queda con la impresin de que la transformada de Laplace de Y0 (t) no se puede encontrar transformando la ecuacin diferencial, y dar a conocer a los lectores de que esto no es as. Con algunos pequeos
ajustes, tomando en cuenta el comportamiento dominante de Y0 (t), veremos que L{Y0 (t)} se puede encontrar
desde la ecuacin diferencial de manera muy similar a como se encuentra L{J0 (t)}.
2. Aplicando transformada de Laplace a la ecuacin diferencial
Como hicimos notar en la introduccin, si uno quiere llevar a cabo la idea de usar la transformada de Laplace
para obtener tanto Y0 como J0 , va transformacin de la ecuacin de Bessel de orden 0, uno debe entender qu
tan singulares pueden ser los trminos de la ecuacin, e intentar agruparlos de modo de evitar tener que lidiar
con una funcin que es demasiado singular en el origen como para admitir una transformada de Laplace. Ya
hemos visto que los trminos en y 0 e y 00 no suponen problemas si se consideran en la combinacin (ty 0 )0 , pero
si uno comienza a calcular la transformada de este trmino, uno empezara por
L{(ty 0 )0 } = sL{ty 0 } (ty 0 )(0)
d
= s L{y 0 } (ty 0 )(0),
ds
(2.1)
(2.2)
y aqu uno se encuentra con un nuevo problema, pues y 0 no posee transformada de Laplace (aqu y en adelante
(ty 0 )(0) y expresiones similares se usarn para denotar el valor lmite de tal expresin cuando t 0+ , segn
sea necesario). Pero ahora nuestro problema es con el orden de las operaciones, y aqu vemos que es mejor
tener factores de t (o de t2 , etc., segn se necesite) en el interior, y cualquier diferenciacin necesaria en
el exterior. As vemos que una mejor manera de agrupar nuestros trminos, permitiendo rodear el problema
que encontramos arriba, es como (ty)00 y 0 , o mejor, como ((ty)0 y)0 . Ahora, si procedemos como antes
encontramos
L{((ty)0 y)0 } = sL{(ty)0 y} ((ty 0 ) y)(0)
= sL{(ty 0 y)} (ty 0 )(0)
0
= s[L{(ty )} Y (s)] a,
(2.3)
(2.4)
(2.5)
10
Artculos
Edicin 2 / 2011
donde introdujimos la constante a para denotar (ty 0 )(0). A diferencia de antes, aqu podemos proseguir con
L{((ty)0 y)0 } = s[sL{ty} (ty)(0) Y (s)] a

d
= s s L{y} Y (s) a
ds
= s2 Y 0 (s) sY (s) a,
(2.6)
(2.7)
(2.8)
Podemos combinar este resultado con la ecuacin diferencial orginal, escrita en la forma ((ty)0 y)0 + ty = 0,
para ver que nuestra ecuacin diferencial transformada queda como
s2 Y 0 (s) sY (s) a Y 0 (s) = 0,
(2.9)
(s2 + 1)Y 0 (s) + sY (s) = a.
(2.10)
o mejor,
Esta es la misma ecuacin diferencial de primer orden que resulta si uno se enfoca en J0 , excepto que en ese
caso la constante a (el trmino inhomogneo en la ecuacin) desaparece. De hecho, esta ecuacin representa la
ecuacin diferencial general que satisface la transformada de Laplace de cualquier funcin de Bessel de orden
0 si uno toma a como una constante arbitraria (la eleccin a = 2/ es la necesaria para obtener Y0 , como
puede verse al mirar las convenciones empleadas para definir Y0 ; vase, por ejemplo, (3.2)-(3.4) ms abajo).
As, manteniendo a arbitrario permite mantener la solucin asociada a la transformada de Y0 , mientras que la
otra solucin (ms regular) se mantiene a travs del hecho de que nuestra ecuacin es de primer orden, de modo
que aperecer otra constante arbitraria al encontrar la solucin general.
La ecuacin (2.10) es fcil de resolver usando el mtodo estndar para ecuaciones lineales de primer orden.
En forma estndar se escribe como
a
s
Y (s) = 2
.
(2.11)
Y 0 (s) + 2
s +1
s +1
Esta tiene el factor integrante (s2 + 1)1/2 , de donde se puede escribir
[(s2 + 1)1/2 Y (s)]0 =
a
.
(s2 + 1)1/2
(2.12)
Para la solucin general uno obtiene

1
1
a 2
Y (s) = C 2
1/2
(s + 1)
(s + 1)1/2
Z
0
( 2
d
.
+ 1)1/2
(2.13)
La integral que aparece aqu se hace de manera sencilla con la substitucin = sinh . Como entonces
2
1/2
d = cosh d y (
= cosh , la integral indefinida es , o sinh1 , y la integral definida queda
+ 1)
1
sinh s, o ln(s + s2 + 1). As nuestra solucin es
1
ln(s + s2 + 1)
Y (s) = C 2
a
.
(2.14)
(s + 1)1/2
s2 + 1
Con a general, esta es la transformada de Laplace de la solucin general de la ecuacin de Bessel de orden
0. Como se mencion antes, las elecciones C = 1 y a = 0 entregan L{J0 (t)}(s). Esto ser confirmado ms
abajo cuando obtengamos L{J0 (t)}(s) va integracin trmino a trmino (i.e., transformacin de Laplace) de
la expansin en serie de potencias de J0 (t) (en potencias de t). Similarmente, las elecciones C = 0 y a = 2/
se confirmar que entregan L{Y0 (t)}(s), y as veremos que
Z s
2
1
d
2 ln(s + s2 + 1)
L{Y0 (t)}(s) =
=
.
(2.15)
(s2 + 1)1/2 0 ( 2 + 1)1/2
s2 + 1
11
Artculos
Edicin 2 / 2011
La expresin para L{Y0 (t)} dada en esta frmula (especialmente la primera) se presta para encontrar su expansin en el lmite de s grande como un producto de dos series (i.e., un producto de Cauchy), y esta, junto a
la expansin ms directa que derivamos en la siguiente seccin, permite concluir una identidad interesante que
involucra sumas de coeficientes binomiales y ciertas restas de nmeros armnicos, Hk . Todo esto se desarrolla
en detalle en la seccin 4.
Notamos para cerrar que la ecuacin diferencial de segundo orden que contiene todas las transformadas
de Laplace de las funciones de Bessel de orden 0 como soluciones se obtiene fcilmente de la ecuacin (2.10),
simplemente diferenciando con respecto a s. Esto claramente elimina la constante a, quedando una ecuacin
de segundo orden homognea. As se obtiene
(s2 + 1)Y 00 (s) + 3sY 0 (s) + Y (s) = 0.
(2.16)
En cierta forma esta ecuacin debera considerarse como ms bsica que (2.10), pues es una ecuacin de
segundo orden que contiene las transformadas de Laplace de J0 e Y0 (y combinaciones lineales de ellas) como soluciones, y por lo tanto trata a ambas funciones de manera equivalente. Tambin se podr ver que esta
ecuacin es generalizable al caso de funciones de Bessel de orden p, y que esta ecuacin general comprende
las transformadas de Laplace de Jp (t) e Yp (t) para un rango adecuado de ps.
3. La expansin en serie de Y0 (t) y su transformacin trmino a trmino
Del mtodo estndar de series de Frobenius (vase [7], Sec. 5.4-5.7), y adoptando las convenciones usuales
para las definiciones de J0 (t) e Y0 (t) (vase, por ejemplo, [7], pp. 293-295, o [1], p. 360, frmulas 9.1.10 y
9.1.11), se tiene
X
(1)k 2k
t ,
(3.1)
J0 (t) =
22k (k!)2
k=0
y
Y0 (t) =
2 X (1)k (k + 1) 2k
2
J0 (t) ln(t/2)
t
22k (k!)2
(3.2)
2
2 X (1)k Hk 2k
[ln(t/2) + ]J0 (t)
t
22k (k!)2
(3.3)
k=1
k=1
X
2
(1)k 2k 2 X (1)k Hk 2k
= [ln(t/2) + ]
t
t
22k (k!)2
22k (k!)2
k=0
(3.4)
k=1
(la funcin , estrechamente relacionada con la funcin , se definir en seguida, al igual que los nmeros
armnicos Hk , y su conexin con la funcin ). Aplicando transformada de Laplace trmino a trmino a Y0 (t)
se obtiene
L{Y0 (t)}(s) =
2 X (1)k
2 X (1)k Hk
2k
L{t
[ln(t/2)
+
]}
L{t2k }.
22k (k!)2
22k (k!)2
k=0
(3.5)
k=1
Para proseguir necesitamos conocer las transformadas

L{tp } =
(p + 1)
,
sp+1
(3.6)
y el correspondiente resultado para tp ln t, el cual se obtiene fcilmente derivando la expresin anterior con
respecto a p. As llegamos a que
L{tp ln t} =
(p + 1)
0 (p + 1)
(p + 1)
ln
s
+
=
[ ln s + (p + 1)],
p+1
p+1
s
s
sp+1
(3.7)
12
Artculos
Edicin 2 / 2011
donde la funcin digamma se relaciona con la funcin a travs de (p) = 0 (p)/(p), esto es, es la
derivada logartmica de . Notamos adems que, para argumentos enteros positivos, el valor de la funcin
Pk
est dado por (k + 1) = (1) + Hk , donde Hk denota el k-simo nmero armnico, dado por Hk = i=1 1i
(con la convencin de que H0 = 0). Esta identidad es fcil de demostrar de manera iterativa tomando derivada
logartmica de la relacin funcional de la funcin , (x + 1) = x(x). Dado que (1) = 0 (1) = es
conocido, donde es la constante de Euler ( 0.5772156649), obtenemos la relacin explcita
(k + 1) = + Hk , para todo k = 0, 1, 2, . . . .
(3.8)
Esto nos permite escribir, continuando desde (3.5),

Y0 (t) =
2 X (1)k Hk (2k + 1)
2 X (1)k (2k + 1)
[
ln
s
+
(2k
+
1)
ln
2
+
]
22k (k!)2 s2k+1
22k (k!)2 s2k+1
2
=
k=0
X
k=0
X
k=0
(3.9)
k=1
2 X (1)k Hk (2k + 1)
(1)k (2k + 1)
[ ln(2s) + H2k ]
22k (k!)2 s2k+1
22k (k!)2 s2k+1
(3.10)
(1)k (2k + 1)
[ ln(2s) + H2k Hk ].
22k (k!)2 s2k+1
(3.11)
k=0
(Notar que la convencin H0 = 0 permite extender el rango de la segunda suma para incluir k = 0.)
Para terminar nuestra identificacin de los trminos dominantes de las expansiones para s grande de
L{J0 (t)} y L{Y0 (t)}, y de ah obtener sus expresiones en forma cerrada a partir de (2.14), notamos que
los comportamientos dominantes de estas funciones son, respectivamente,

1
1
+O
(3.12)
s
s3
y

2
ln s
ln(2s)
+O
s
s3
Estas expresiones y los trminos dominantes de

ln s
ln(s + s2 + 1)
ln(2s)
=
+O
s
s3
s2 + 1
(3.13)
(3.14)
son suficientes para concluir que
2 ln(s + s2 + 1)
,
L{Y0 (t)} =
s2 + 1
(3.15)
sin una contribucin de L{J0 (t)}. Tambin vemos fcilmente que

L{J0 (t)} =
1
.
+1
s2
(3.16)
Puesto de manera un poco diferente, vemos que la funcin Y (s) de (2.13) y (2.14) se puede identificar como
Y (s) = CL{J0 (t)} +
aL{Y0 (t)}.
2
(3.17)
De esta forma, como se mencion antes, la eleccin C = 1, a = 0 entrega L{J0 (t)}, mientras que C = 0,
a = 2/ entrega L{Y0 (t)}.
13
Artculos
Edicin 2 / 2011
4. Un segundo clculo de la expansin de L{Y0 (t)} para s grande y una identidad binomial interesante
En esta seccin procedemos a calcular la expansin de L{Y0 (t)} en el lmite de s grande a partir de las expresiones en forma cerrada de (2.13) y (2.14), esto es, a partir de las representaciones dadas en (2.15), que
escribimos en la forma
Z s
d
1
ln(s + s2 + 1)
=
.
(4.1)
L{Y0 (t)} = 2
2
(s + 1)1/2 0 ( 2 + 1)1/2
s2 + 1
El mtodo natural para usar en este procedimiento es encontrar las expansiones de (s2 + 1)1/2 y ln(s +
s2 + 1) para s grande en potencias de 1/s (de ser posible) y luego multiplicar ambas expansiones.
Sin embargo, este proceso se complica un poco por el hecho de que el trmino dominante de ln(s + s2 + 1) es
ln(2s) (y por lo tanto uno no puede tener expansiones slo de potencias
de 1/s, sino que tambin debe incluir
un trmino en ln(2s)) y tambin por el hecho de que expandir ln(s+ s2 + 1) directamente requirira expandir
una composicin de series, algo que preferiramos
evitar. Podemos rodear estos dos problemas reorganizando
un poco la integral que nos da ln(s + s2 + 1). As, elegimos trabajar con la expresin para 2 L{Y0 (t)}
como integral, y no con su forma cerrada. Lo que hacemos es esencialmente remover el comportamiento de
ln(2s) de la integral explcitamente, para lo cual convertimos la integral hacia el intervalo [s, ) (cuidando de
que sea convergente). No es difcil mostrar que otra representacin de la funcin es

Z s
Z
p
1
d
1
ln(s + s2 + 1) =
=
ln(2s)
+
d.
(4.2)
2
1/2
2 + 1
0 ( + 1)
s
Para ver esto, notar que estas dos funciones tienen la misma derivada, y el mismo comportamiento lmite cuando s (en el sentido de que el lmite de la diferencia es 0). Tambin notamos que la ltima integral es
convergente porque los dos trminos del integrando se comportan como 1/ para grande, y su diferencia cae
lo suficientemente rpido como para garantizar la convergencia.
Usando la ltima expresin en (4.2), uno puede simplemente hacer una expansin binomial del trmino
( 2 + 1)1/2 (asumiendo que 1 < s < ) e integrar trmino a trmino para obtener
ln(s +
s2 + 1) = ln(2s)

X
X
1/2 1 1
(1)k 2k 1
=
ln(2s)
.
k
2k s2k
22k+1 k k s2k
k=1
(4.3)
k=1
Puesto que
2
L{J0 (t)} = (s + 1)
=
1/2
1
=
s

X
1/2
k=0
1/2
1
1+ 2
s
X (1)k 2k 1
=
,
22k
k s2k+1
1
s2k+1
(4.5)
k=0
la expresin completa que buscamos se calcula como
ln(s + s2 + 1)
L{Y0 (t)} =
2
s2 + 1
" k

#
X
(1)k 2k ln(2s) X (1)k X 1 2m 2k 2m
1
=
.
2k
2k+1
2k
2k+1
2
k s
2
2m m
km
s
m=1
k=0
(4.4)
(4.6)
(4.7)
k=1
14
Artculos
Edicin 2 / 2011
Por otro lado, de (3.11) se tiene
X (1)k (2k)!
L{Y0 (t)} =
[ln(2s) (H2k Hk )]
2
22k (k!)2 s2k+1
k=0

X
1
(1)k 2k
=
[ln(2s) (H2k Hk )],
2k
2k+1
k s
2
(4.8)
(4.9)
k=0
y la comparacin de estas expresiones nos convence de que para n entero positivo,

n
X
2n
1 2k
2n 2k
(H2n Hn ) =
,
n
2k k
nk
(4.10)
k=1
que tambin se puede escribir como

H2n Hn =
o tambin como

n 2
k
,
2k 2n
2k
k=1
n
X

n
X
1/2
1 1/2
1/2
(H2n Hn ) =
.
n
2k
k
nk
(4.11)
(4.12)
k=1
Esta es una identidad binomial interesante, que bien podra ser difcil de establecer por otros medios (quizs
al lector le gustara intentarlo?). Que (4.10) y (4.12) son equivalentes se sigue del hecho que

1/2
(1)k 2k
= 2k
,
(4.13)
k
2
k
mientras
que (4.11) se sigue de (4.10) al recombinar los factoriales que aparecen en el coeficiente binomial

2k
,
etc.,
de manera alternativa.
k
Adems de eso, notamos que
2n
X
1
(1)m1
=
,
m m=1
m
m=n+1
(4.14)
X
(1)m1
,
lm (H2n Hn ) = ln 2 =
n
m
m=1
(4.15)
H2n Hn =
y
2n
X
implican la siguiente representacin:

n 2
k
,
n
2k 2n
2k
k=1
ln 2 = lm
n
X
(4.16)
que es otro hecho que podra ser difcil de establecer de manera directa. Por supuesto esta frmula no es particularmente til para computar ln 2, pues la convergencia de esta expresin a ln 2 es precisamente la de las sumas
parciales pares de la serie armnica alternante (ver ecuacin (4.14)), que es relativamente lenta.
Comentario. Finalmente, mencionamos otra ruta posible para llegar a estas expansiones en serie (ver,
en particular, las ecuaciones (4.5) y (4.9); estamos hablando pues de las expresiones ms simples para las
expansiones en potencias de 1/s), al menos hasta la cuestin de qu combinacin lineal elegir, es usar el
mtodo de Frobenius en la ecuacin diferencial de segundo orden (2.16). Para esto es importante transformar
15
Artculos
Edicin 2 / 2011
el punto singular s = a 0, para lo cual uno hace el cambio de variable u = 1/s, obteniendo la ecuacin
diferencial (con u como variable independiente, e Y (u) como nueva variable dependiente)
u2 (1 + u2 )Y 00 u(1 2u)Y 0 + Y = 0.
(4.17)
El anlisis de esta ecuacin por el mtodo de Frobenius es directo, aunque algo largo. Baste decir aqu que la
ecuacin indicial tiene 1 como raz repetida, de modo que no es sorpresa que ln s aparezca en la respuesta (de
hecho, es necesario que aparezca en al menos una de las dos soluciones independientes). El punto principal
aqu es que la teora de Frobenius nos da una manera de calcular explcitamente los coeficientes para todo k
de las expansiones (4.5) y (4.9) de forma clara y sistemtica. Existen en realidad dos maneras (distintas en los
detalles) de implementar este mtodo: una es diferenciar con respecto a la raz de la ecuacin indicial (que uno
mantiene arbitraria al principio del proceso), mientras que la otra es usar la forma general de la solucin (como
expansin en serie) y derivar ecuaciones de diferencias para los coeficientes, que luego se pueden resolver de
manera relativamente directa. Invitamos al lector interesado a trabajar estos mtodos en detalle, o a consultar
las referencias apropiadas.
5. Comentarios finales
En este artculo nos concentramos en mostrar que el mtodo de la transformada de Laplace para lidiar con la
ecuacin de Bessel es suficiente, con los cuidados adecuados, para derivar las transformadas de Laplace de
J0 (t) e Y0 (t) en forma cerrada. Pareciera ser esta una observacin nueva, que al menos ha sido pasada por alto
por todo autor que ha escrito un libro de texto en que se discuta la aplicacin de la transformada de Laplace a
ecuaciones diferenciales y que contenga un tratamiento de L{J0 (t)}. En un artculo futuro esperamos atacar
el problema ms general de tratar la ecuacin de Bessel de orden p por medios similares. Tambin esperamos
poder dar una discusin detallada de las transformadas de Laplace de todas las funciones J e Y de Bessel,
siempre que existan, y similarmente para los productos de potencias de t con Jp (t) e Yp (t).
Derivar L{Y0 (t)} mediante uno o ms de los mtodos tratados aqu podra funcionar como un problema o
proyecto estimulante para estudiantes de un curso elemental de ecuaciones diferenciales, o para estudiantes de
un curso de mtodos matemticos de la fsica. O tambin, siguiendo la derivacin usual de los libros de texto de
L{J0 (t)}, los autores podran comenzar a notar los problemas de lidiar con Y0 en paralelo a J0 y cmo estos se
pueden resolver. La situacin actual, en que la mayora de los autores parecieran querer evitar esta discusin,
nos parece algo obtusa y de poca ayuda para los intereses de la bsqueda del conocimiento, una bsqueda que
desearamos que todo autor quisiera imprimir en sus lectores.
De los libros que estudian la transformada de Laplace de J0 (t), aquellos que contienen los comentarios
ms interesantes o tiles incluyen Butkov [9], Carrier, Krook, y Pearson [10], y Churchill [11]. Adems, los
nicos libros que conocemos en que se hagan comentarios acerca de lo que sucede con la segunda solucin
en situaciones como esta, o qu se puede hacer para recuperarla, son [2], [7], y [9] (y todos ellos dicen bsicamente que no es posible, i.e., que un procedimiento similar no se puede llevar a cabo para Y0 , por el hecho de
que esta segunda solucin es demasiado singular).
Tambin Boccara (vase [6], Ejemplo 6, pp. 100-101) tiene una discusin de la ecuacin diferencial que
satisfacen las funciones de Bessel esfricas de orden 0 (sin mencionar esta conexin) y observa que, aunque
es capaz de capturar la transformada de Laplace de mltiplos de j0 (r), el mtodo no permite obtener la transformada de Laplace de y0 (r) (ni de ninguna solucin que contenga contribuciones de y0 ), debido a que y0
es demasiado singular en r = 0 para tener transformada de Laplace. Puesto que esto concierne a la ecuacin
diferencial que satisfacen las funciones de Bessel esfricas de orden 0, e y0 se comporta como r1 para r cerca
de 0, esta afirmacin es perfectamente correcta, en oposicin a lo que ocurre con la ecuacin de Bessel de
orden 0. (Aqu hemos usado la notacin usual para las funciones esfricas de Bessel, con letras minsculas js
e ys (vase, por ejemplo, Abramowitz y Stegun [1], p. 437). Tambin notamos que las races indiciales de la
ecuacin de orden ` son ` y (` + 1), lo que explica la singularidad de y0 para r pequeo. Las funciones de
16
Artculos
Edicin 2 / 2011
Bessel esfricas de orden 0 son, por supuesto, muy cercanas a las funciones de Bessel de orden 1/2.)
Para un indicio de algunas de las trampas en que uno puede caer al intentar aplicar el mtodo de la transformada de Laplace de manera indiscriminada a las ecuaciones diferenciales estndar de la fsica matemtica,
sugerimos al lector considerar el Prob. 36, p. 322, de [7]. Dejamos como desafo al lector entender por qu este
problema no es ni tan simple ni tan directo como su presentacin sugiere.
Finalmente, cabe mencionar que la expresin explcita para L{Y0 (t)} se conoce desde hace mucho tiempo,
y se puede encontrar en un nmero de tablas estndar de transformadas de Laplace. En particular, la frmula
(2.15) aparece en [11] (ver p. 187, frmula (44)), [16] (ver la primera frmula en la p. 447), y [17] (ver p. 58,
frmula 20). Es bastante sorprendente que no aparezca en [1].
Referencias
[1] M. Abramowitz and I. A. Stegun, editors, Handbook of Mathematical Functions with Formulas,
Graphs, and Mathematical Tables, U.S. Department of Commerce, National Bureau of Standards,
Applied Mathematics Series, vol. 55, Superintendent of Documents, U.S. Government Printing Office,
Washington D.C., 1964.
[2] L. C. Andrews, Ordinary Differential Equations with Applications, Scott, Foresman and Company,
Glenview, Illinois, 1982.
[3] L. C. Andrews, Elementary Partial Differential Equations, Academic Press, Orlando, Florida, 1986.
[4] G. B. Arfken, Mathematical Methods for Physicists, 2nd edition, Academic Press, San Diego, 1970.
[5] G. B. Arfken and H. J. Weber, Mathematical Methods for Physicists, 4th edition, Academic Press, San
Diego, 1995.
[6] N. Boccara, Functional Analysis: An Introduction for Physicists, Academic Press, Boston, 1990.
[7] W. E. Boyce and R. C. DiPrima, Elementary Differential Equations and Boundary Value Problems,
9th ed., Wiley, 2009.
[8] L. Brand, Differential and Difference Equations, Wiley, New York, 1966.
[9] E. Butkov, Mathematical Physics, Addison-Wesley, Reading, Massachusetts, 1968.
[10] G. F. Carrier, M. Krook, and C. E. Pearson, Functions of a Complex Variable: Theory and Technique,
McGraw-Hill, New York, 1966.
[11] R. V. Churchill, Modern Operational Mathematics in Engineering, McGraw-Hill, New York, 1944.
[12] C. H. Edwards and D. E. Penney, Differential Equations and Boundary Value Problems, 2nd edition,
Prentice Hall, Upper Saddle River, New Jersey, 2000.
[13] A. Erdlyi, editor, Tables of Integral Transforms, vol. I, Bateman Manuscript Project, McGraw-Hill,
New York, 1954.
[14] R. L. Finney and D. R. Ostberg, Elementary Differential Equations with Linear Algebra, AddisonWesley, Reading, Massachusetts, 1976.
[15] E. A. Kraut, Fundamentals of Mathematical Physics, McGraw-Hill, New York, 1967.
[16] D. L. Kreider, R. G. Kuller, and D. R. Ostberg, Elementary Differential Equations, Addison-Wesley,
Reading, Massachusetts, 1968.
17
Artculos
Edicin 2 / 2011
[17] D. L. Kreider, R. G. Kuller, D. R. Ostberg, and F. W. Perkins, An Introduction to Linear Analysis,

Addison-Wesley, Reading, Massachusetts, 1966.
[18] W. Magnus, F. Oberhettinger, and R. P. Soni, Formulas and Theorems for the Functions of Mathematical Physics, 3rd enlarged ed., Springer-Verlag, 1966.
[19] G. E. Roberts and H. Kaufman, Table of Laplace Transforms, W. B. Saunders Company, Philadelphia,
1966.
[20] M. R. Spiegel, Theory and Problems of Laplace Transforms, Schaums Outline Series, Schaum Publishing Co., New York, 1965.
[21] G. F. Simmons, Differential Equations, with Applications and Historical Notes, McGraw-Hill, New
York, 1972.
[22] M. T. Vaughn, Introduction to Mathematical Physics, Wiley-VCH, 2007.
[23] C. R. Wylie, Advanced Engineering Mathematics, 4th ed., McGraw-Hill, New York, 1975.
18
Artculos
Edicin 2 / 2011
Acerca del interior de un polgono

Mario Ponce
Resumen
En esta nota proponemos una demostracin elemental del Teorema de la curva de Jordan para polgonos,
justificando as la existencia del interior de un polgono.
Un polgono cerrado simple es un camino continuo : [0, 1] R2 verificando

(0) = (1).
i) Cerrado.
ii) Simple.
Si (x) = (y) entonces x = y o bien {x, y} = {0, 1}.
Esta segunda propiedad debe entenderse como que el camino no se corta a si mismo, salvo al momento
de cerrarse. Una curva verificando (i) y (ii) es llamada una curva de Jordan. Un polgono cerrado simple es
entonces una curva de Jordan que verifica una propiedad adicional
iii) Poligonal. Existe una particin x0 = 0 < x1 < x2 < . . . < xn = 1 del intervalo [0, 1] de manera tal que
la restriccin de a cualquier subintervalo [xj , xj+1 ] es una funcin afn.
En otras palabras, es una concatenacin continua y cerrada de una cantidad finita de segmentos de recta
que no se cortan.

A los segmentos [x ,x ] se les llama lados del polgono y a los puntos (xj ) se les llama vrtices
j
j+1
del polgono. Por conveniencia asumiremos que la particin x0 , . . . , xn es minimal en el sentido que en cada
vrtice existe efectivamente una discontinuidad en la direccin de la funcin afn (un quiebre). De esta manera
el nmero de vrtices (y de lados) es una cantidad bien definida (igual a n). En lo que sigue, denotaremos los
vrtices por vj = (xj ) y escribiremos polgono en lugar de polgono cerrado simple.
En general, los polgonos son los primeros objetos geomtricos a los que se ve expuesto un estudiante.
Muchos conceptos geomtricos se encuentran ya en los polgonos: ngulos, permetro, rea, etc. Se puede ir
an ms lejos y plantear resultados generales acerca de los polgono tales como:
Proposicin 1.
1. La suma de los ngulos exteriores de un polgono es 360 grados.
2. La suma de los ngulos interiores de un polgono de n lados es 180(n 2) grados.
Otro resultado ms complejo, pero ampliamente aceptado es
Proposicin 2. Todo polgono puede subdividirse, por medio de diagonales interiores, en un nmero finito de
tringulos.
La proposicin anterior es la clave para la demostracin de resultados mucho ms sofisticados como
Teorema 3 (de equidescomposicin de Bolyai-Gerwie, ver [2]). Dados dos polgonos de igual rea, es posible
cortar uno de ellos a travs de cortes rectos de manera tal que con las piezas as obtenidas se pueda formar (sin
sobras ni traslapes) el otro polgono.
19
Artculos
Edicin 2 / 2011
Figura 1: Polgono complicado

Teorema 4 (de Pick, ver [1]). Considere un polgono trazado sobre el plano R2 , en donde se han marcado los
puntos con coordenadas enteras Z2 . Si todos los vrtices de tienen coordenadas enteras, entonces el rea de
viene dada por la frmula
B
A() = I + 1,
2
en donde I es el nmero de puntos con coordenadas enteras en el interior de y B es el nmero de puntos con
coordenadas enteras en (en el borde de ).
El objetivo de esta nota no es demostrar estos resultados, si no que llamar la atencin en que stos, as como
muchos otros, presuponen la existencia de dos objetos fundamentales acerca de los polgonos: el interior de
un polgono y una diagonal interior. La existencia de estos objetos es intuitiva, sin embargo, una demostracin
rigurosa requiere de argumentos no triviales, y merece por lo tanto la dedicacin de este trabajo. El interior de
un polgono es aquella regin delimitada por el polgono. Definida de una manera ms precisa, una regin es
un sub-conjunto abierto del plano R2 , que es conexo, esto es, dado cualquier par de puntos x, y existe un
camino continuo enteramente contenido en , que une x con y. El siguiente es el teorema que nos asegura la
existencia de la regin interior:
Teorema 5 (de la curva de Jordan, ver [3]). Sea R2 una curva de Jordan. El complemento R2 \ es
exactamente la unin de dos regiones I , E , de manera que I es acotada y simplemente conexa, mientras
que E es no acotada.
Se dice que una regin es simplemente conexa cuando no tiene hoyos". La regin I es llamada la regin
interior delimitada por la curva y E la regin exterior a la curva . Como un polgono es en particular una
curva de Jordan, este teorema nos permite definir las regiones interior y exterior al polgono. Sin embargo, las
demostraciones clsicas del Teorema de la curva de Jordan hacen uso de herramientas complejas de topologa
del plano. En esta nota presentaremos una demostracin elemental para una versin particular del teorema
Teorema 6 (de la curva de Jordan para polgonos). Sea R2 un polgono. El complemento R2 \ es
exactamente la unin de dos regiones I , E , de manera que I es acotada y simplemente conexa, mientras
que E es no acotada.
Antes de pasar a la demostracin del teorema, intentemos convencernos de la real necesidad de presentar
una prueba para este, aparentemente, evidente hecho. Primero, la figura 1 muestra un polgono complicado, en
el que, al menos para el autor, la existencia de una nica regin interior no es del todo evidente.
Por otra parte, debemos notar que este teorema es una propiedad del plano R2 . Efectivamente, si consideramos un polgono como el de la figura 2, dibujado esta vez sobre un cilindro, notamos que aparecen dos
regiones, pero que no gozan de las propiedades de sus contrapartes del plano R2 . Otro ejemplo muy interesante
20
Artculos
Edicin 2 / 2011
Figura 2: Polgono sobre un cilindro
Figura 3: Polgono sobre una banda de Mbius

ocurre con el polgono de la figura 3. En este caso el polgono est dibujado sobre una banda de Mbius, y el
complemento del polgono est constituido por exactamente una regin.
El segundo concepto que trataremos es la existencia de una diagonal interior al polgono. Dos vrtices
consecutivos vj , vj+1 definen un segmento vj vj+1 , llamado diagonal del polgono . Una tal diagonal es llamada diagonal interior cuando, salvo por sus extremos, est enteramente contenida en la regin interior I al
polgono. La demostracin de varios de los resultados arriba citados hacen uso de argumentos inductivos sobre
el nmero de vrtices del polgono. La existencia de una diagonal interior permite cortar el polgono a lo largo
de ella y obtener as dos nuevos polgonos con un nmero menor de vrtices, a los cuales se les pueden aplicar
hiptesis inductivas. Desarrollemos a continuacin una prueba clsica de la Proposicin 2.
Para n = 3 el resultado es evidente.
Supongamos que el resultado se tiene para todo polgono con n k vrtices.
Sea un polgono con n = k + 1 vrtices. Cortando el polgono a lo largo de una diagonal interior
obtenemos dos polgonos 1 , 2 con n1 , n2 vrtices respectivamente, verificando n1 + n2 = k + 3. Se deduce
que n1 k, n2 k y se puede aplicar la hiptesis de induccin a los polgonos 1 , 2 . Las particiones en
tringulos de los polgonos 1 , 2 inducen una particin del polgono total .
Volvamos a la existencia de una diagonal interior
Proposicin 7. Todo polgono con al menos 4 vrtices posee al menos una diagonal interior.
Demostracin. Sean vn1 , v0 , v1 tres vrtices consecutivos y tales que el ngulo interior vn1 v0 v1 < 180.
Si la diagonal vn1 v1 es interior, entonces el resultado est probado. Asumamos que ste no es el caso. Deben
entonces existir vrtices en el interior del tringulo vn1 v0 v1 (pues el segmento vn1 v1 debe ser cortado por
lados del polgono, que no pueden salir de dicho tringulo una vez que entran en l). Sea vj el vrtice dentro
del tringulo vn1 v0 v1 y que est ms alejado del segmento vn1 v1 de entre todos los vrtices en el interior
del tringulo. No es difcil darse cuenta que la diagonal v0 vj es una diagonal interior.
21
Artculos
Edicin 2 / 2011
Figura 4: Existencia de una diagonal interior

Demostracin del Teorema 6. La idea es demostrar la existencia de las regiones interior y exterior al polgono. Para ello comenzaremos por determinar qu puntos son candidatos a pertenecer a estas regiones y luego
demostraremos que efectivamente nuestros candidatos son exactamente aquellos puntos que constituyen estas
regiones. Para definir a nuestros candidatos, asumamos por un instante que el resultado es cierto, es decir,
que existen las regiones interior y exterior al polgono: >qu propiedades debe verificar un punto interior al
polgono? Una respuesta interesante es que el punto debera poder moverse hacia el exterior del polgono.
Supongamos que el punto a R2 es un punto interior. Tomemos una semirecta partiendo desde a y que no
pasa por ningn vrtice del polgono. Movamos ahora el punto a a lo largo de la semirecta en direccin al
infinito. A medida que se mueve, el punto va cortando al polgono, y luego de un rato, el punto se encuentra
lejos del polgono, y definitivamente en la regin exterior. Cada vez que el punto cortaba al polgono, pasaba de
una regin a la otra. Como el recorrido parti en el interior y acab en el exterior, la semirecta debi cortar al
polgono un nmero impar de veces. De manera anloga, si hacemos el mismo ejercicio, empezando esta vez
desde un punto exterior, la semirecta cortar al polgono un nmero par de veces.
Esta construccin nos sugiere una manera de definir candidatos naturales para los puntos en las regiones
interior y exterior. Pasemos ahora a la definicin de ellos. Sea a un punto en R2 \ . Decimos que una semirecta
T que parte en a est en posicin general si T no pasa por ningn vrtice de . Como tiene un nmero finito
de vrtices, casi todas las semirectas que parten en a estn en posicin general. Definimos el nmero Ca (T )
como la cantidad de veces que la semirecta T corta al polgono . Nos interesar la paridad del nmero Ca (T ).
Lema 8. Sean T, U dos semirectas en posicin general partiendo desde el punto a. La paridad de los nmeros
Ca (T ) y Ca (U ) es la misma.
Demostracin. Las dos semirectas T, U separan al plano en dos regiones R1 , R2 . Tomemos un vrtive v0 R1
y recorramos el polgono partiendo desde v0 . Al completar una vuelta del recorrido habremos pasado de la
regin R1 a la R2 y de la R2 a la R1 varias veces. Estos cambios de regin ocurren exactamente en aquellos
puntos en donde alguna de las semirectas T, U corta al polgono. Como el recorrido comienza y acaba en la
regin R1 , la cantidad de cambios de regin debe ser par, luego la suma Ca (T )+Ca (U ) es un nmero par.
Este lema nos permite asociarle una paridad a los puntos del complemento R2 \ : decimos que un punto
a R2 \ es par si Ca (T ) es un nmero par, y decimos que es impar si Ca (T ) es impar, esto para cualquier
semirecta T en posicin general que parte desde a.
Lema 9. Si un segmento ab est enteramente contenido en el complemento R2 \ entonces todos los puntos
del segmento tienen la misma paridad. En particular los extremos a, b tienen la misma paridad.
Demostracin. Consideremos la semirecta T que parte en a y que contiene al segmento ab. Si esta semirecta
est en posicin general, entonces puede ser usada para calcular la paridad de a as como de todos los puntos
22
Artculos
Edicin 2 / 2011
Figura 5: La paridad de un punto est bien definida

del segmento. Como el segmento no corta al polgono, el nmero de cortes (luego la paridad) es el mismo para
todos los puntos del segmento. Si la semirecta T no est en posicin general, podemos escoger un punto c
muy cercano al punto medio del segmento ab y de manera que los segmentos ac, cb no cortan al polgono y las
semirectas que los contienen y parten de a y c respectivamente estn en posicin general (esto es posible pues
tiene un nmero finito de vrtices). Aplicando el razonamiento anterior, podemos deducir que las paridades
de todos los puntos del segmento ac son la misma y las de los puntos en cb tambin. Como el punto c es comn
a ambos segmentos se deduce que las paridades de a y b son iguales. El mismo razonamiento se puede aplicar
para otro punto del segmento ab y el punto a.
Defimos ahora nuestros candidatos a regiones interior y exterior:

I =
a R2 \ a es impar ,

E =
a R2 \ a es par .
Proposicin 10.
1. I E = R2 \ .
2. I y E son conjuntos abiertos.
3. I es un conjunto acotado y no vaco. E es un conjunto no acotado.
Demostracin. La parte 1. es evidente de la definicin de paridad. La parte 2. se deduce rpidamente con la
ayuda del Lema 9. Tomemos un punto a R2 \ y una pequea bola B centrada en a y contenida en R2 \ .
Cualquier punto de B puede ser unido con a por medio de un segmento contenido en B. Aplicando el Lema
9 concluimos que todos los puntos de B tienen la misma paridad que su centro. Para mostrar la parte 3. consideremos una gran bola que contenga a en su interior. Es claro que todos los puntos exteriores a la bola son
pares y que los puntos impares estn confinados al interior de la bola. Para mostrar que I es no vaco, basta
con tomar un punto par a y una semirecta en posicin general T que parta desde este punto y corte al polgono.
Luego del primer corte de T con hay puntos en T que no estn en y que realizan un corte menos que a,
23
Artculos
Edicin 2 / 2011
Figura 6: Construccin del camino

luego son puntos impares.
Lo nico que nos falta por probar para completar la demostracin del Teorema de la curva de Jordan para
polgonos es que las regiones I , E son conexas. Los siguientes lemas nos sern de utilidad
Lema 11. Sea una camino poligonal que est completamente contenido en
tienen la misma paridad.
R2 \ . Todos los puntos de
Demostracin. Por el Lema 9, en cada segmento que forma al camino , la paridad de los puntos es la misma.
Como los segmentos estn concatenados, dos segmentos consecutivos tienen la misma paridad, y as, todos los
puntos del camino tienen la misma paridad.
Lema 12. Sean a, b R2 \ . Existe un camino poligonal que une a con b y que corta al polgono en 0 1
punto.
Demostracin. Sean T, U dos semirectas en posicin general partiendo desde a y b respectivamente y que
cortan al polgono. Sea pa el primer punto (desde a) en la interseccin T y sea pb el primer punto (desde b)
en la interseccin U . El camino se define de la siguiente manera: parte en a y sigue por T hasta detenerse
muy prximo (pero antes) de pa . Continua acompaando al polgono de manera poligonal y paralela a ste
(tan cerca como sea necesario para no cortan al polgono ), hasta que se encuentra con la semirecta U en un
punto c, de manera que entre b y c aparece a los ms un punto (necesariamente pb ) de la interseccin entre U y
. Completamos uniendo c con b usando el segmento sobre U . Es claro que si c est antes de pb (sobre U ),
entonces no corta a . Si no es el caso, corta en exactamente un punto (pb ) a .
La demostracin del teorema se termina con
Proposicin 13. Las regiones I , E son conexas. Adems, I es simplemente conexa.
Demostracin. Sean a, b R2 \ con la misma paridad. Sea el camino poligonal que une a con b dado por
el lema anterior. Sea c el punto definido en la demostracin del lema anterior. Usando el Lema 11 deducimos
que a y c tienen la misma paridad. Si cortase a (en un nico punto necesariamente ), las paridades de c y
b seran diferentes, luego no corta al polgono. Como E es una regin conexa y no acotada, I no puede
24
Artculos
Edicin 2 / 2011
tener hoyos", los que forzozamente seran puntos en E que estaran desconectados de los puntos cercanos al
infinito.
Ejercicio. Encuentre la razn por la cual la demostracin precedente no es correcta en los casos de un polgono
sobre un cilindro y sobre la banda de Mbius.
Referencias
[1] M. A IGNER & G. Z IEGLER . Proofs from THE BOOK. Springer (2010).
[2] V. G. B OLTIANSKII . Hilberts Third Problem. V. H. Winston & Son (Washington DC 1978).
[3] J. D IEUDONN . Foundations of Modern Analysis, Pure and Applied Mathematics, vol. X, Academic
Press (1960).
25
Artculos
Edicin 2 / 2011
Problemas de obstculos y curvas convexas

Benjamn Loewe
Este artculo presenta la solucin al problema propuesto para el Concurso al Talento Matemtico Joven 2010 del Colegio de Ingenieros
de Chile. En esa ocasin, el autor obtuvo mencin honrosa por su solucin.
Enunciado del problema

(a) Considere un crculo y dos puntos A y B exteriores al crculo, ubicados sobre la extensin de un dimetro.
Determine un camino que una A con B, que no pase por el interior del crculo y cuya longitud sea la
menor entre todos los caminos que unen A con B y que no pasan por el interior del crculo.
(b) Considere ahora una elipse y dos puntos A y B exteriores a la elipse y ubicados sobre la extensin del
semi-eje mayor de la elipse. Determine un camino que una A con B, que no pase por el interior de la
elipse y cuya longitud sea la menor entre todos los caminos que unen A con B y que no pasan por el
interior de la elipse.
(c) Proponga y resuelva extensiones de estos problemas.
La solucin de este problema, en todas sus variantes, estar basada en el siguiente teorema bsico:
Teorema I: En un espacio eucldeo, la curva ms corta entre dos puntos es la lnea recta que los une.
(a) Circunferencia
Consideremos primero el caso de la circunferencia. El problema se ilustra en la siguiente imagen.
Figura 1: Diagrama del Problema

Para simplificar, elegimos nuestro sistema coordenado de manera tal que el eje X sea la prolongacin del radio
en la cual se encuentran los puntos A y B, los cuales consideraremos independientes uno del otro. Es decir, podrn ubicarse a diferentes distancias del centro de la circunferencia. Como vemos hay una simetra de reflexin
en torno a este eje X por lo tanto, podemos enfocarnos, sin prdida de generalidad, ya sea en la mitad superior
o en la mitad inferior de la circunferencia. Nosotros escogeremos la mitad superior.
Ahora, debido a la simetra antes expuesta, la reflexin de la solucin respecto al eje X tambin es solucin.
Por lo tanto nuestro problema no tiene solucin nica.
26
Artculos
Edicin 2 / 2011
Ocuparemos la siguiente notacin:

1. 4ABC denota un tringulo con vrtices A, B y C.
e
2. 4ABC
denota un tringulo con vrtices A, B y C, cuya base es un arco curvo (no recto) comprendido
entre los vrtices A y C.
3. _ AB denota un arco que une los puntos A y B.
4. _ AB denota la longitud del arco _ AB.
5. ABC...D denota una curva poligonal: rectas que unen los puntos A, B, C,. . ., D en ese orden. Notemos
entonces, que un segmento de recta que une dos puntos A y B se escribe AB.
6. ABC...D es la longitud de la curva poligonal ABC...D.
Queremos encontrar la curva con menor largo que una los puntos A y B y que no atraviese el interior de la
circunferencia. Con este propsito, tracemos primero las rectas tangentes desde A y B a la circunferencia (sean
E y F los respectivos puntos de tangencia) y la lnea vertical que pasa por el punto de interseccin de estas,C,
tal cual se ilustra en la siguiente figura:
Figura 2: Crculo con las rectas tangentes y vertical

Toda curva que no pase por el interior del crculo debe estar sobre ste. Por el teorema I, la longitud de toda
curva que parta de A (o desde B), que est bajo la recta tangente AE (o F B) y finalice en E (o F ), sin cortar la
circunferencia en dos, es mayor que el segmento de recta AE (o F B) Luego, todas las curvas candidatas deben
estar por sobre estas rectas, al menos en los tramos comprendidas desde el punto de origen hasta el respectivo
punto de tangencia con la circunferencia. Ahora, la curva la podemos segmentar en dos tramos: el primero es el
que va desde el punto A hasta la recta vertical que pasa por el punto C, y el segundo es el que va desde la recta
vertical hasta el punto B. Llamemos D al punto de interseccin entre la curva y la recta de marras. Utilizando
el teorema I, tenemos entonces que el largo de esta curva esta acotada por la longitud de los segmentos de rectas
AD y BD. Luego, la curva la reducimos a dichas rectas, tal cual como se ve en la figura 3.
Por ahora, supongamos que el punto D est por sobre el punto C. Llamemos O al punto de interseccin de la
recta vertical con el eje X. Como vemos, se han formado 4 tringulos rectngulos: 4AOD, 4AOC, 4BOD
y 4BOC. Considerando lo anterior y utilizando el teorema de Pitgoras, resulta obvio que AD AC y
BD BC.
De aqu se deduce que cualquier curva cuyo punto de interseccin con la lnea vertical est por sobre el punto
C, tendr un largo mayor que el trayecto ACB, y por ende, estn descartados como posibles soluciones.
27
Artculos
Edicin 2 / 2011
Figura 3: Reduccin en rectas

Por lo tanto D debe estar por debajo de C. Esto significara que la curva debe pasar por la envolvente que
forman las rectas tangentes y el arco de circunferencia. Sean E y F los puntos de tangencia de la circunferencia con las rectas AC y BC. Es claro que si D es menor que C, no podemos tomar AD junto a DB
como una posible solucin, pues estas rectas tendran, en mdulo, pendientes menores que las rectas AC y
BC (las rectas tangentes a la circunferencia), respectivamente, y por lo tanto pasaran por el interior de la circunferencia. Luego, la curva minimazante deber tener los tramos AE y F B. Otra forma de ver esto ltimo
es trazar las rectas verticales que pasen por los puntos E y F , considerar los puntos de interseccin, E 0 y F 0
de las curvas con estas rectas. Usando Pitgoras se deduce que la alternativa ms corta para ide A a la recta
vertical que pasa E es la recta tangente AE y anlogamente para ir de la recta vertical que pasa por F a B
es la recta tangente F B. De este modo cortamos la curva ptima en tres tramos: de A a E, de E a F y de F a B.
Finalmente, demostraremos que la ruta ms corta que une a E y F , sin entrar a la circunferencia, es el arco de
circunferencia, tal cual aparece en la figura 4. De este modo, como en cada uno de los tramos descritos anteriormente tomamos la opcin ms corta posible, la unin de estas curvas es la curva ptima que buscbamos.
Figura 4: Divisin en tramos

Lo nico que nos falta por demostrar entonces, es que en el segundo tramo la mejor opcin posible es irse por
el arco de la circunferencia. Existen varias formas de demostrar esto, pero todas se basan en lo siguiente: ya
vimos que la curva adecuada debe estar dentro de la envolvente (o tringulo con base curva) que forman las
lneas tangentes y el arco _ EF . Nuevamente, en vez de considerar curvas cualesquiera, es mejor reducirlas
por poligonales, es decir, unin de tramos rectos. Esto pues, gracias al teorema I, el largo de estas curvas poligjoven.matematico@gmail.com
28
Artculos
Edicin 2 / 2011
onales acotan por debajo el largo de las curvas originales.

e
Procederemos de la siguiente forma. Tenemos el tringulo 4ECF
. Consideremos el punto medio sobre el arco
de circunferencia _ EF , al cual llamaremos G. Teniendo este punto, podemos trazar una recta tangente a la
circunferencia, la cual, por ser tangente slo la toca una vez (en G). Esta recta est dentro de la envolvente antes
mencionada, y por lo tanto debe intersectar a las rectas EC y EF , tal cual se ilustra en la figura 5. Llamemos
E 0 y F 0 a estos puntos de interseccin.
Figura 5: Curva ptima

0
0
e
e
e
Con esto, se han formado dos nuevos tringulos: 4EE
G y 4GF
F , los cuales son ms pequeos que 4ECF
.
Adems, notemos que tenemos, gracias al teorema I un camino ms corto para ir de E a F : ste es EE 0 GF 0 F .
Este proceso lo podemos repetir cuantas veces queramos, eligiendo ahora puntos medios entre los dos nuevos
arcos que hemos formado. Con esto siempre obtenemos nuevos tringulos, cada vez ms pequeos, y una curva
poligonal, que consiste en la unin de los segmentos rectos de todos los nuevos tringulos con base curva, las
cuales son a su vez cada vez ms cortas. Entonces, toda curva que una E y F puede ser acotada, en largo, entre
dos de estas poligonales que hemos construido.
Una forma posible para demostrar lo que queremos, es recurrir a la definicin misma de longitud de una curva.
Esto es, dada una curva dependiente de un parmetro t [a, b], (t), podemos elegir n puntos de esta curva (es
decir n valores distintos del parmetro t en [a, b]) y luego unirlos consecutivamente con lneas rectas. De esta
forma construimos lneas poligonales (t1 )(t2 )...(tn ). Entonces, se define la longitud de la curva como
el supremo (es decir, la menor de las cotas superiores) del conjunto de las longitudes de estas poligonales,
(t1 )(t2 )...(tn ), para todas las particiones posibles de [a, b].
Lo que hacemos entonces, es construir en forma ordenada estas poligonales, que llamaremos Ik , para el arco
de circunferencia _ EF ya descrito previamente.
La primera curva poligonal va a ser el segmento de recta EF , entonces: I1 = EF , la segunda se construye
agregando el punto medio en el arco _ EF , llamado G1 , de modo que queda I2 = EG1 F . La tercera se
construye de la misma forma, agregando los puntos medios de los arcos _ EG1 y _ G1 F , llamados: G12 y
G22 respectivamente. As, I3 = EG12 G1 G22 F . Las siguientes curvas se van construyendo de la misma forma.
Observemos que todas estas curvas van desde E hasta F , pero varan en el nmero de puntos intermedios que
recorren. En forma general, y por construccin, Ik+1 pasa por todos los puntos de Ik , pero adems posee 2k1
puntos intermedios adicionales. Recurriendo entonces al teorema I, tenemos que k N, Ik < Ik+1 . Ahora,
existen una infinidad de otras posibles particiones para el arco _ EF , pero las longitudes de las poligonales
asociadas a estas particiones siempre podrn, debido a la anterior desigualdad, clasificarse como pertenecientes
29
Artculos
Edicin 2 / 2011
a algn intervalo [Ik , Ik+1 ], si esto no fuera cierto, querra decir que la longitud de esta poligonal sera una
cota superior para el conjunto de las longitudes de estas poligonales as construidas, sin embargo, esta es una
sucesin creciente y con un supremo, y por ende su lmite es el supremo. Por lo tanto la longitud de la poligonal
sera mayor o igual que el supremo, lo cual es una contradiccin. Por esto mismo, en lo que concierne al supremo de los conjuntos de poligonales nos podemos restringir a los elementos Ik . Por la definicin de longitud de
arco tenemos entonces que: _ EF = sup{Ik , k N}. Ms tarde veremos que este supremo efectivamente
existe.
Dado que la circunferencia limita un conjunto convexo, todas las poligonales anteriores se encuentran al interior del conjunto, y por ende, debajo del arco de circunferencia. Ahora, en un modo similar, podemos construir
una sucesin de poligonales que se encuentre por encima de la circunferencia, que llamaremos Sk . Este procedimiento ya fue mencionado anteriormente y consiste en trazar rectas tangentes en los mismos puntos medios
usados para construir los Ik , intersectar estas rectas e ir viajando desde los puntos tangentes al punto de interseccin inmediato y despus al siguiente punto de interseccin. As, S1 solo considera las rectas tangentes
en E y F y su punto de interseccin, mientras que las siguientes, ya incorporan a las recta tangente en G1 .
Gracias a esta construccin, tenemos entonces que Sk pasa por todos los puntos de Ik , pero adems agrega los
puntos de interseccin. Utilizando el teorema I deducimos entonces que Ik < Sk . Adems, por lo deducido
anteriormente Sk > Sk+1 (esto pues, seguimos ocupando las mismas rectas tangentes, pero acortamos trecho
entre ellas agregando una nueva recta tangente). Estas poligonales siempre estn por sobre el arco, debido a que
la circunferencia es una curva convexa, y por lo tanto las lneas tangentes siempre quedan fuera de la curva, excepto en un punto, que es el punto de tangencia. La figura 6 ilustra un poco la construccin de estas sucesiones
Ik y Sk .
Figura 6: Construccin de sucesiones: En rojo se encuentran S1 (arriba) e I1 (abajo), mientras que en azul
aparecen S2 (arriba) e I2 (abajo)
Una vez que tenemos estas sucesiones, procedemos a demostrar que (k) se cumple Ik0 < Sk , k 0 . Esto lo
hacemos por contradiccin.
Supongamos que existe un k 0 tal que Sk Ik0 . Entonces, podemos distinguir 3 casos: k < k 0 ,k = k 0 o k > k 0 .
Si k < k 0 , entonces Sk0 < Sk Ik0 y por lo tanto Sk0 < Ik0 , lo cual es una contradiccin.
Si k = k 0 ,tendramos que Sk Ik , lo que es una contradiccin.
Finalmente, si k > k 0 , entonces Sk Ik0 < Ik , y por lo tanto Sk < Ik , que es, nuevamente, contradictorio.
Por ende, no existe tal k 0 . De esto concluimos entonces que todos los Sk son mayores que todos los Ik , o bien:
30
Artculos
Edicin 2 / 2011
(k, k 0 ) se cumple Ik0 < Sk .

Esto ltimo nos muestra que el conjunto de los Ik es un conjunto acotado y por lo tanto, por el axioma del
supremo, su supremo existe.
Ahora, todos los Sk son cotas superiores del conjunto de los Ik , pero ninguno de estos puede ser su supremo.
Dado la poligonal con longitud Sk , tenemos una poligonal con longitud Sk+1 , la cual tambin es cota superior
del conjunto y cumple con Sk+1 < Sk . Es decir, Sk no es la menor cota superior y por ende, no es el supremo.
Lo anterior nos dice que todos los Sk son mayores que el supremo, o bien k, Sk > sup{Ik , k N} = _ EF .
Entonces, como ya vimos que la longitud de toda curva atrapada en la envolvente la podamos acotar por algn
Sk , y todos estos son mayores que _ EF , concluimos entonces que el camino ms corto para ir desde E a F ,
sin cortar la circunferencia en dos, es irse por el arco _ EF .
Notemos que en la demostracin anterior, slo se ocup la convexidad de la circunferencia. Por lo tanto, esta
demostracin tambin es vlida para cualquier otra posible curva convexa, incluyendo a la elipse.
Como ltimo comentario respecto a esta forma de definir la longitud de la curva, notemos que es muy similar
a lo que son las sumas de Riemann. En estas sumas, no importa la particin del intervalo que uno escoja ni
tampoco el punto de la particin que uno escoja, siempre el lmite es el mismo y tenemos una suma superior y
una inferior. Entonces, en vez de utilizar las poligonales Ik para definir la longitud, podramos haber ocupado
las poligonales Sk , y definir el largo como el nfimo del conjunto de los Sk . Anlogamente, los Ik seran una
suma inferior y los Sk la suma superior.
(b) Elipse
Cuando consideramos el caso de la elipse, tenemos algo muy similar al caso del crculo, pues seguimos teniendo la simetra respecto al eje X. De hecho, el anlisis por tramos hecho para el crculo es igual vlido
para este caso (as como para cualquier curva convexa), y por lo tanto, no ser repetido ac. El problema sigue
traducindose a encontrar la curva que va desde E a F dentro de la envolvente, pero reemplazando el arco de
circunferencia por un arco de elipse. Este problema tambin ya fue considerado con la ltima demostracin
para el crculo, seccin A.2, por lo que rpidamente vemos que la forma ms corta de ir desde E a F , es a
travs del arco de elipse _ EF .
Entonces, las curvas son muy similares a las del crculo: partimos desde A con la recta tangente a la elipse
hasta E, seguimos por la elipse hasta F , y de ah, continuamos con la recta tangente en F hasta B. Reflejando
esta curva, respecto al eje X, obtenemos la otra solucin. En la figura 7 se ilustra el tipo de soluciones.
Figura 7: Soluciones al problema de la elipse.

Si bien, el problema ya est resuelto, existen otra forma para tratar el problema de las curvas en la envolvente,
31
Artculos
Edicin 2 / 2011
la cual sirve en general para cualquier curva convexa. Es un clculo explcito utilizando geometra analtica y
anlisis convexo.
Demostraremos que irse por las rectas tangentes es ms largo que irse por el arco comprendido por dichas
rectas, para cualquier par de puntos de tangencia.
Consideraremos una curva convexa plana . Pediremos que en el arco comprendido entre los puntos tangentes,
esta pueda ser parametrizada como = (x, f (x)), x [a, b], donde x es el valor de la coordenada x y f (x)
una funcin suave y positiva. Dada la convexidad de la curva, y que hemos escogido hacer los clculos en la
region sobre el eje X, debemos tener que d2 f (x)/dx2 < 0. Esto implica que df (x)/dx = f 0 (x) es una funcin
decreciente. Esto lo traducimos en que: f 0 (a) > f 0 (b). Ahora acotando las curvas con poligonales siempre nos
quedamos con envolventes cada vez ms pequeas, por lo tanto, es razonable suponer que el intervalo [a, b] que
sustenta al arco es tal que las pendientes de las rectas tangentes es positiva. Es decir, consideraremos: f 0 (x) 0
para x [a, b]. Ahora, el signo de la derivada se debe a como orientamos el eje X, y sabemos que las distancias
involucradas no dependen de esta orientacin. De hecho, basta hacer una reflexin respecto al eje Y para que
las derivadas cambien de signo. Por lo tanto, el clculo tambin se cumplir para una zona donde las derivadas
sean negativas.
Entonces, lo primero que hacemos es escribir las ecuaciones de las rectas tangentes en los puntos extremos del
arco a considerar: A = (a, f (a)) y B = (b, f (b)). Las pendientes de estas rectas sern respectivamente f 0 (a)
y f 0 (b). Por lo tanto, las rectas son
y1 = f 0 (a)x + [f (a) f 0 (a)a],
(1)
y2 = f 0 (b)x0 + [f (b) f 0 (b)b].
(2)
Una vez hecho esto, podemos encontrar el punto de interseccin de estas rectas, C, imponiendo la igualdad
entre y1 e y2 . En realidad, lo nico que nos importa es la componente horizontal de dicho punto, que llamaremos
xC . Entonces, en este punto se cumple que
f (a)0 xC + [f (a) f 0 (a)a] = f 0 (b)xC + [f (b) f 0 (b)b].
(3)
Despejando obtenemos trivialmente que

xC =
f (b) f (a) + f 0 (a)a f 0 (b)b

.
f 0 (a) f 0 (b)
(4)
Un anlisis de convexidad de la curva (x, f (x)) nos mostrar que a < x0 < b. Dado que esta curva es convexa,
la recta tangente y2 en el punto (b, f (b)), slo toca a la curva en dicho punto. Como hemos orientado la curva
sobre el eje X, esto implica que esta recta tangente debe estar por sobre toda la curva, incluyendo el punto
(a, f (a)) por donde pasa la segunda recta tangente y1 . Supongamos que la componente horizontal xC de C
estuviese a la izquierda de a (es decir xC < a < b). Dado que y2 est por sobre y1 para x = a, tendramos entonces que y1 < y2 slo para los x menores a xC . Sin embargo, debemos tener que, en x = b, se debe cumplir
que y2 < y1 . Esto es una contradiccin, lo que implica que xC a. El mismo anlisis, pero suponiendo que
xC > b, nos llevar al mismo tipo de contradiccin, y por lo tanto: xC b.
Ahora, podemos calcular el largo de la poligonal ACB Este est dado por ACB = AC + CB. Pero AC
es la distancia entre los puntos (a, f (a)) y (xC , y1 (xC )), mientras que CB es la distancia entre los puntos
(xC , y1 (xC )) y (b, f (b)). Entonces
p
p
AC = (xC a)2 + (f 0 (a)xC + f (a) f 0 (a)a f (a))2 = (xC a) 1 + [f 0 (a)]2 .
(5)
De la misma forma,
p
CB = (b xC ) 1 + [f 0 (b)]2 .
(6)
32
Artculos
Edicin 2 / 2011
Entonces
p
p
ACB = (b xC ) 1 + [f 0 (b)]2 + (xC a) 1 + [f 0 (a)]2 .
Definiendo g(x)
(7)
1 + [f 0 (x)]2 , tenemos que

ACB = (b xC )g(b) + (xC a)g(a).
(8)
Utilizando la forma explcita de xC , es posible calcular (xC a) y (b xC ); despus de sumar las fracciones
y simplificar, obtenemos que
f (a) f (b) + f 0 (a)(b a)
b x0 =
,
(9)
f 0 (a) f 0 (b)
f (b) f (a) f 0 (b)(b a)
.
f 0 (a) f 0 (b)
x0 a =
(10)
Ahora, concentrmonos en el largo del arco de curva _ AB. En forma general, es sabido que su largo est
dado por la siguiente integral:
b
_ AB =
1+
[f 0 (x)]2 dx
Z
=
g(x)dx.
(11)
Utilizando el teorema del valor medio para integrales tenemos entonces que
_ AB = (b a)g(c),
(12)
(b a)g(c) = (b xC )g(c) + (xC a)g(c).
(13)
donde c [a, b] es una constante.

Ahora, notemos que
Ocupando (9) y (10), obtenemos

f (a) f (b) + f 0 (a)(b a)
f (b) f (a) f 0 (b)(b a)
(b a)g(c) =
g(c)
+
g(c).
f 0 (a) f 0 (b)
f 0 (a) f 0 (b)
(14)
Eliminando trminos,

0

f (b)(b a)
f 0 (a)(b a)
g(c) 0
g(c).
(b a)g(c) =
f 0 (a) f 0 (b)
f (a) f 0 (b)

(15)
Notemos que g(x) es decreciente para x [a, b]. Esto pues, si x < y entonces f 0 (x) > f 0 (y), pues f 0 (x) es
0
0
2
0
2
decreciente,
p y como f (x) > 0, tenemos
pque 1 + [f (x)] > 1[f (y)] . Como la raz cuadrada es creciente se
0
2
0
2
obtiene: 1 + [f (x)] = g(x) > g(y) 1 + [f (x)] , por lo tanto g(x) es creciente. Por ende,
g(a) > g(c) > g(b) > 0.
Por otra parte, notemos que

f 0 (a)(b a)
> 0.
f 0 (a) f 0 (b)
(17)

0

f 0 (a)(b a)
f (a)(b a)
g(c)
<
g(a).
f 0 (a) f 0 (b)
f 0 (a) f 0 (b)
(18)

Luego,

(16)
Mientras que, por otra parte,


f 0 (b)(b a)
< 0.
f 0 (a) f 0 (b)
(19)
33
Artculos
Por lo tanto,
Edicin 2 / 2011

0

f 0 (b)(b a)
f (b)(b a)
0
g(c) < 0
g(b).
f (a) f 0 (b)
f (a) f 0 (b)

Recopilando todo lo anterior, deducimos que

0

0
f (b)(b a)
f (a)(b a)
g(a) 0
g(b).
(b a)g(c)
f 0 (a) f 0 (b)
f (a) f 0 (b)
(20)
(21)
Ahora, imponemos nuevamente el que la curva sea convexa. Esto se puede hacer imponiendo que las rectas
tangentes estn siempre por sobre la curva. Esto implica que f (a) y2 (a), o bien
f (a) f 0 (b)(a b) + f (b).
(22)
f (b) f 0 (b)(b a) + f (a).
(23)
f (b) f (a) (f 0 (a) + f 0 (b))(b a) = [f (b) (b a)f 0 (b)] [f (a) (a b)f 0 (a)].
(24)
Reacomodando, tenemos que

Ahora, consideremos el trmino
Ocupando (23) en el lado derecho de esta ltima expresin, obtenemos que

[f (b) (b a)f 0 (b)] [f (a) (a b)f 0 (a)] [f (a) + f 0 (b)(b a) (b a)f 0 (b)]
[f (a) (a b)f 0 (a)]
(25)
=(b a)f 0 (a) > 0.

Es decir, f (b) f (a) (f 0 (a) + f 0 (b))(b a) > 0, y por lo tanto, recordando que g(a) g(b) > 0, vemos
que se cumple que
4 = (g(a) g(b))[f (b) f (a) (f 0 (a) + f 0 (b))(b a)] > 0.
Ocupando esto en la ltima desigualdad que vincula a g(c), tenemos que

0

0
f (b)(b a)
f (a)(b a)
g(a) 0
g(b) + 4.
(b a)g(c)
f 0 (a) f 0 (b)
f (a) f 0 (b)
(26)
(27)
Utilizando (26), vemos que

(b a)g(c)
1
{g(a)[f (b) f (a) (f 0 (a) + f 0 (b))(b a) + f 0 (a)(b a)]
f 0 (a) f 0 (b)
+ g(b)[f (a) f (b) + (f 0 (a) + f 0 (b))(b a) f 0 (b)(b a)]}.
Cancelando trminos, tenemos que

f (a) f (b) + (b a)f 0 (a)
f (b) f (a) (b a)f 0 (a)
(b a)g(c)
g(b) +
g(a).
f 0 (a) f 0 (b)
f 0 (a) f 0 (b)
(28)
(29)
Ocupando esto ltimo y las ecuaciones (9) y (10), observamos que

(b a)g(c) (b xC )g(b) + (xC a)g(a),
(30)
_ AB ACB,
(31)
y por lo tanto,
que es lo que queramos demostrar. Es decir, es ms corto viajar por el arco que por los lados rectos del tringulo con base curva. Como esto se cumple para cada envolvente pequea de las cuales se construye una poligonal
34
Artculos
Edicin 2 / 2011
(que acotan el largo de la envolvente original), entonces se cumplir tambin para cualquier tringulo. Como
esto lo demostramos para un tringulo arbitrario, dados los argumentos anteriores para las cotas por curvas
poligonales, tenemos entonces que siempre, para cualquier curva convexa, es ms corto irse por el arco.
(c) Extensin: Puntos A y B fuera de un eje de simetra del obstculo convexo
Cuando los puntos A y B colineales no se encuentran en un eje de simetra del objeto obstculo, no podemos
quedarnos arbitrariamente con un slo semiplano, y con nuestro mtodo ya no obtenemos una solucin limpia.
Una forma de resolver el problema sera colocar el eje X a lo largo de la linea AB y estudiar el problema por
separado en los semiplanos y 0 e y < 0. Con esto obtenemos dos posibles soluciones: la curva minimizante
en el semiplano superior y la curva minimizante en el semiplano inferior. Entre estas dos escogemos la que
tenga menor largo. Esa ser la solucin al problema global.
Es notable entonces que la perdida del eje de simetra puede implicar unicidad de la solucin. Esto lo podemos
discutir con un ejemplo: la elipse rotada. Consideramos el mismo problema que en la seccin B, pero con la
diferencia que la linea AB no coincide con alguno de los semiejes, pero aun contiene al centro de la elipse la
cual hemos rotado.
En este caso la unicidad de la solucin depender de la ubicacin de los puntos A y B. Si estos se encuentran a
la misma distancia que el centro de la elipse, entonces seguiremos manteniendo dos soluciones distintas, slo
que estas, ya no son un reflejo (una de la otra) respecto al eje X. Esto se debe a que en este caso, sigue existiendo una simetra remanente, que es la simetra de reflexin en torno al centro de la elipse. De esta manera,
las soluciones sern ahora reflejos una de la otra, pero respecto al origen.
Si ahora, colocamos los puntos A y B en forma no simtrica respecto al origen, habremos perdido cualquier
simetra. Tenemos entonces una solucin para cada semiplano y debemos escoger entre una de estas dos, obteniendo entonces unicidad.
Esto recuerda, un poco, la idea matemtica y fsica, de que las simetras acarrean consigo degeneraciones en la
solucin de ecuaciones y problemas en general.
35
Artculos
Edicin 2 / 2011
Mtodos a conmutadores en teora espectral y teora

del scattering
Rafael Tiedra de Aldecoa1
Facultad de Matemticas, P. Universidad Catlica de Chile, Santiago, Chile, rtiedra@mat.puc.cl
1. Teora cuntica del scattering

Consideramos una partcula elementaria de spin s N moviendose en un espacio de configuraciones Rd ,
d 1, en presencia de un potencial externo V . En cada tiempo t R, el conjunto de los estados posibles
de la partcula consituye un mismo espacio (Hilbertiano) de funciones H := L2 (; C2s+1 ). La dinmica de
la particula est constreida por el principio de conservacin de la energa, el mismo formalizado por una
ecuacin diferencial llamada ecuacin de Schrdinger [8]:
i
t
= Ht
t
(~ = 1),
donde t H es el estado de la partcula al tiempo t y H el operador auto-adjunto + V actuando en

H. Por analoga al caso clsico, el operador diferencial de Laplace-Beltrami (con condiciones al borde
si necesario) est usualmente asociado a (menos) la energa cintica de la partcula, mientras que el operador
(matricial) de multiplicacin V representa su energa potencial. Luego, el operador
H est naturalmente in
terpretado como el Hamiltoniano del sistema partcula + potencial externo y el grupo unitario {eitH }tR
como su grupo de evolucin temporal. (Recordamos que un operador U en un espacio de Hilbert H es unitario
si verifica U U = U U = idH , con U el adjunto de U .)
La teora espectral tiene como objeto de estudio el subconjunto (H) de R, llamado espectro de H, siendo
el soporte en R del clculo funcional asociado al operador H.2 El anlisis de (H) permite, entre otros, determinar totalmente (o parcialmente) la descomposicin del espacio de Hilbert H en sus componentes Hp (H)
y Hc (H) := Hac (H) Hsc (H), cada uno teneniendo su interpretacin fsica. Hp (H) es el subespacio (asociado a la parte puntual del espectro de H) generado por el conjunto de los vectores propios de H, mientras
que Hc (H) es el subespacio (asociado a la parte continua del espectro de H) de continuidad respecto a H. Los
vectores propios de H estn considerados como los estados acotados del sistema, ya que queden invariantes
(aparte de una fase) bajo el grupo de evolucin temporal {eitH }tR . Los vectores de Hc (H) estn por su
parte interpretados como los estados de difusin del sistema porque se escapan, en medida temporal, de cada
parte finita del espacio de configuraciones cuando t +.
1 Financiado por el Fondo Fondecyt 1090008 y por la Iniciativa Cientifica Milenio ICM P07-027-F Mathematical Theory of Quantum
and Classical Magnetic Systems".
2 En su formulacin la ms sencilla, el clculo funcional asociado a un operador H auto-adjunto en un espacio de Hilbert H consiste en
el hecho que existe una medida real E H ( ) sobre (H) (la medida espectral de H) a valores en los operadores acotados tal que
Z
f (H) =
dE H () f ()
(H)
para cualquiera funcin f : (H) C continua acotada. Para cada H, la aplicacin B 7 kE H (B)k2 , con B
y k k la norma de H, define una medida real . Esta medida admite una descomposicin nica
R un boreliano
=
p + ac + sc ,
donde
p , ac y sc son respectivamente medidadas puntual, absolutamente continua y singularmente continua respecto a la medida de
Lebesgue. Por consiguiente, el espacio de Hilbert H se descompone en la suma directa
H = Hp (H) Hac (H) Hsc (H),

donde Hp (H) := { H |
de [9] para ms detalles.
p },
Hac (H) := { H | =
ac } y Hsc (H) := { H | = sc }. Ver la Seccin 7.4
36
Artculos
Edicin 2 / 2011
Figura 1: Operadores de ondas W y operador S de scattering

En la prctica, la teora espectral toma frecuentemente beneficio del esquema perturbativo siguiente: si
el potencial V est acotado relativamente al Laplaciano con cota b < 1, el sistema caracterizado por el
Hamiltoniano H puede ser considerado como una perturbacin3 del sistema sin interaccin externa descrito
por el operador .
Esta estructura adicional, facultativa en teora espectral, es de cierta manera el dato inicial de la teora del
scattering. En efecto, esta teora tiene como objectivo principal la descripcin asntotica del grupo de evolucin
(total) {eitH }tR en trminos de un grupo de evolucin (libre) {eitH0 }tR . Luego, una de las metas de la
teora del scattering es de determinar un operador H0 (ms simple que H) tal que para cada estado de difusin
Hac (H) al tiempo t = 0 se verifique lo siguiente: existen estados de difusin Hac (H0 ) tales que la
diferencia
eitH eitH0
converge a 0 en norma cuando t . Esencialmente, este problema es equivalente a la cuestin de existencia y de completitud4 de los operadores de ondas (generalizados)
W := s- lm eitH eitH0 Pac (H0 ),
t
donde Pac (H0 ) es el proyector ortogonal sobre Hac (H0 ) y s- lm hace referencia al lmite fuerte en H. La
interpretacin usual de los operadores W est esquematizada en la Figura 1.
El mtodo del operador conjugado, tcnica aparecida en los aos 1960 [6] y continuamente desarollada
desde entonces, permite obtener muchos resultados encontrados en teora espectral y teora del scattering. Se
funda sobre la introduccin de un operador auto-adjunto auxiliar A teniendo ciertas propiedades de compatibilidad (expresadas en trminos de la resolvente (H z)1 , z C \(H), de H y del grupo unitario {eitH }tR )
respecto al Hamiltoniano H. Si estas condiciones de regularidad estn satisfechas, y si el conmutador [iH, A] es
estrictamente positivo cuando localizado sobre un intervalo J del espectro de H, entonces varias informaciones
relativas a H pueden ser deducidas localmente en J.
Como el mtodo del operador conjugado se basa solamente sobre el dato de un triplete abstracto {H, A, H}
adecuado, su dominio de aplicacin es muy amplio. Los ejemplos que siguen forman una lista revelatriz de
3 Aqu, la expresin el operador T + S es una perturbacin del operador T hace referencia a la invariancia de las propiedades de
auto-adjuncin en el sentido del Teorema de Rellich-Kato. Es decir, si T es un operador auto-adjunto (esencialmente auto-adjunto) en
un espacio de Hilbert H y S es simtrico y acotado relativamente a T con cota b < 1, entonces el operador T + S es auto-adjunto
(esencialmente auto-adjunto), T + S = T + S y el dominio de T + S es igual al dominio de T . Ver la Seccin 2.7 de [1] para ms
detalles.
4 Uno dice que los operadores de ondas W son completos si sus imgenes Ran(W ) en H verifican la identidad
Ran(W ) = Ran(W+ ) = Hac (H).
37
Artculos
Edicin 2 / 2011
situaciones fsicas donde el mtodo del operador conjugado ya ha permitido obtener resultados sutiles: operadores de Schrdinger (simples o a N cuerpos), medios estratificados, operadores de Dirac, teora cuntica
de campos, teora de los grafos, mecnica estadstica, efecto Hall cuntico, scattering en relatividad general, etc.
2. Operadores conjugados
2.1. Hiptesis generales
Consideramos un operador auto-adjunto H actuando en un espacio de Hilbert H con producto escalar h , i
y norma k k. Notamos D(H) el dominio de H equipado del producto escalar grafo h , iD(H) := h , i +
hH , H i. Con esta estructura, D(H) constituye tambin un espacio de Hilbert encajado continuamente y
densamente en H. Identifcando H con su adjunto5 va el isomorfismo de Riesz, obtenemos una sucesin de
encajes continuos y densos:
D(H) H D(H) .
La primera propiedad de regularidad de H requerida en el mtodo del operador conjugado permite de extender
esta sucesin como sigue. Sea A un segundo operador auto-adjunto en H con dominio D(A) tambin equipado
del producto escalar grafo. Entonces, uno dice que H es de clase C 1 (A) si la aplicacin (de conjugacin)
R 3 t 7 eitA (H i)1 eitA
(1)
a valores en el conjunto B(H) de los operadores acotados sobre H, es fuertemente de clase C 1 . De manera
equivalente, H es de clase C 1 (A) si existe una constante C 0 tal que

(H + i)1 , A A, (H i)1 C kk2
(2)
para todos D(A) (la intuicin debajo de esta equivalencia es que la derivada en t = 0 de (1) da el
conmutador [(H i)1 , A] = (H i)1 A A(H i)1 ). En este caso, si el conjunto D(A) D(H) est
equipado con la topologa de la interseccin, todos los encajes de la sucesin
{D(A) D(H)} D(H) H D(H) {D(A) D(H)}
son continuos y densos. Adems, para cada z C \ (H), el conmutador [(H z)1 , A], definido sobre D(A)
como en (2), se extiende por continuidad a un operador acotado sobre H. De manera similar, el conmutador
[H, A], definido sobre D(A) D(H) como en (2), se extiende por continuidad a un operador acotado de D(H)
a D(H) . Las extensiones de [(H z)1 , A] y [H, A] (ambas escritas con los mismos smbolos) verifican
entonces (en el sentido de los productos escalares, como en (2)), la relacin fundamental:
[(H z)1 , A] = (H z)1 [H, A](H z)1 .
Aparte del hecho de que H sea de clase C 1 (A), el mtodo del operador conjugado requiere de manera crucial
la hiptesis siguiente de positividad local del conmutador [iH, A]: Sea E H ( ) la medida espectral de H. Si
H es de clase C 1 (A), entonces el operador E H (J)[iH, A]E H (J) est bien definido para cualquier conjunto
J R acotado (porque [iH, A] enva D(H) en D(H) y E H (J) enva H en D(H)). Tambin, existen nmeros
a R tales que6
E H (J)[iH, A]E H (J) aE H (J).
(3)
5 El adjunto de un espacio de Banach F , notado F , es el espacio vectorial constituido de las funciones continuas y anti-lineales
: F C equipado de la norma dual
kkF := sup{|(f )| | f F, kf kF 1}.
6 Dados
dos operadores acotados C1 y C2 en un espacio de Hilbert H, uno escribe C1 C2 si

h, C1 i h, C2 i
H.
38
Artculos
Edicin 2 / 2011
Si esta desigualdad est verificada para un nmero a > 0, uno dice que A es localmente estrictamente conjugado a H sobre J (por eso el calificativo de operador conjugado para designar A).
Dedicamos en el resto de esta seccin a una presentacin de varios resultados que pueden ser deducidos,
tanto en teora espectral como en teora del scattering, de las hiptesis hechas en el prrafo anterior.
2.2. Operadores conjugados y teora espectral
Si (H) y > 0, el operador acotado (H i)1 no admite un lmite en B(H) cuando & 0
(porque H no es invertible !). Sin embargo, el lmite

lm , (H i)1
(4)
&0
puede existir para ciertos vectores H. Si para todo en un subconjunto J R y para todo en un subconjunto denso de H este lmite existe y si la convergencia es uniforme en sobre cada subconjunto compacto
de J, uno dice que un principio de absorcin lmite para H est verificado en J. La existencia de un tal principio tiene como consecuencia principal el hecho que el espectro de H en J sea pura y absolutamente continuo
(cf. [2, Sec. 7.1.1 & 7.1.2]).
En los aos 80, el matemtico francs Eric Mourre [5] observ que si la desigualdad (3) est verificada para
un a > 0 y si H es de clase C 2 (A) (es decir, dos veces de clase C 1 (A)), entonces un principio de absorcin
lmite existe. Por eso, hablamos de desigualdad estricta de Mourre cuando la desigualdad (3) est satisfecha
para un a > 0. Las demostraciones usuales de la existencia del lmite (4) a partir de una desigualdad estricta
de Mourre se fundan sobre un mtodo iterativo, hecho de desigualdes diferenciales, relativamente tcnico.
Referimos el lector a [2, Sec. 7.3 & 7.4] para una presentacin general del tpico y a [2, p. 267-268] para una
exposicin del caso particular (fundador) en que [iH, A] = H.
Dado un operador H, el problema principal reside entonces en la construccin de un operador adecuado A
conjugado a H. Si el operador H difiere mucho del Laplaciano negativo en L2 (Rd ), uno utiliza usualmente
el generador del grupo de las dilataciones A = D (cf. Seccin 3) que verifica la regla de conmutacin

i(), D = 2.
Si el operador H difiere sensiblemente de en L2 (Rd ), la eleccin de un operador conjugado constituye un
problema abierto sujeto, hasta hoy da, a ninguna teora general.
2.3. Operadores conjugados y teora del scattering
Varias propiedades de propagacin del estado eitH pueden ser obtenidas gracias al mtodo del operador
conjugado. Explicamos en lo siguiente como una desigualdad de Mourre (local) induce la existencia de operadores (localmente) H-suaves, la cual permite a su turno inferir la existencia (local) de los operadores de
ondas.
Empezamos para recordar la relacin entre operadores H-suaves y operadores de ondas. Un operador T
cerrado con dominio D(T ) D(H) es localmente H-suave sobre J R si para cada intervalo [b, c] J
existe una constante C 0 tal que la desigualdad

T Im(H i)1 T C
(5)
sea verificada para todos [b, c] y (0, 1) (aqu la parte imaginaria Im est definida como para los
nmeros complejos). Utilizando la relacin
Z
dt eit eitH|t| ,
Im(H i)1 = 21
podemos mostrar (ver Seccin XIII.7 de [7]) que T es localmente H-suave sobre J si y slo si existe para cada
intervalo [b, c] J una constante C 0 tal que
Z

dt T eitH E H ([b, c]) C kk2
39
Artculos
Edicin 2 / 2011
Figura 2: Gua de ondas cuntico = R

para todo H. As, la existencia de un operador T localmente H-suave sobre J provee informaciones relativas a la propagacin del estado eitH E H ([b, c]) (es decir, sobre el estado con evolucin temporal dada por
H y con energa en el intervalo [b, c]). De hecho, suponiendo que la diferencia entre los Hamiltonianos libre y
total de un proceso de scattering se expresa en trminos de operadores localmente suaves, uno puede mostrar
teoremas de existencia de los operadores de ondas como el siguiente:
Teorema 2.1. Sean H1 y H2 dos operadores auto-adjuntos en un espacio de Hilbert H, Ej ( ) la medida
espectral de Hj y J R. Supongamos que para cada j D(Hj ) se tiene la igualdad hH1 1 , 2 i
h1 , H2 2 i = hT1 1 , T2 2 i, con Tj un operador localmente Hj -suave sobre J. Entonces, los operadores de
ondas
W (H1 , H2 ; J) := s- lm eitH1 eitH2 E2 (J)
t
existen y son isometras parciales de E2 (J)H sobre E1 (J)H. Adems, los operadores W (H1 , H2 ; J) satisfacen la identidad
W (H1 , H2 ; J) = s- lm eitH2 eitH1 E1 (J) W (H2 , H1 ; J)
t
(mdulo el intercambio E2 (J) E1 (J), el adjunto pasa a travs del lmite fuerte).
Supongamos ahora que un principio de absorcin lmite para H sea obtenido sobre un conjunto abierto
J R a partir de una desigualdad de Mourre. As pues, el conjunto de vectores tales que el lmite (4) existe
contiene el dominio D(A) (cf. [2, Sec. 7.4]). Adems, si [b, c] J, existe una constante C 0 (dependiendo
de b y c) tal que

, (H i)1 C kk2 + kAk
para todo D(A), [b, c] y > 0. De esta estimacin sigue la existencia de una constante D 0 tal que

(1 + |A|)1 (H i)1 (1 + |A|)1 D
uniformemente en [b, c] y > 0. Comparando esta relacin con la definicin (5) de operadores H-suaves,
deducimos que el operador (1+|A|)1 es localmente H-suave sobre J. De eso sigue que todo operador T en H
satisfaciendo (1+|A|)T B(H) tambin es localmente H-suave sobre J. En particular, si la diferencia entre
los Hamiltonianos libre y total es igual a un producto de operadores T1 T2 con (1 + |A|)Tj B(H), entonces
el mtodo del operador conjugado permite mostrar, va el Teorema 2.1, la existencia de los operadores de ondas.
3. Ejemplo: gua de ondas cuntico
En esta seccin, ilustramos parte de la teora de las secciones anteriores con el caso de un gua de ondas cuntico. El operador auto-adjunto H0 que representa la dinmica cuntica libre es el Laplaciano con condiciones
en la frontera de Dirichlet
D actuando en un espacio de configuraciones igual a (o difeomorfo a) un gua de
ondas infinito := R.
40
Artculos
Edicin 2 / 2011
Como el dominio = R es un producto directo, el espacio de Hilbert H := L2 () es isomtrico al

producto tensorial hilbertiano L2 () L2 (R), y el Hamiltoniano H0 admite la descomposicin
2
H0 =
D1+1P ,
2
2
donde
D es el Laplaciano de Dirichlet en L (), P i x es el operador de impulso en L (R), el
producto tensorial cerrado de operadores y 1 los operadores identidades. Consideramos el operador A := 1D,
donde D es el generador del grupo unitario de dilataciones en R, es decir,

ei D (x) := e /2 (e x),
R, Cc (R),
con Cc (R) el conjunto de las funciones suaves y con soporte compacto en R. Como D verifica la relacin de
conmutacin [iP 2 , D] = P 2 sobre Cc (R), el operador satisface la regla de conmutacin
[iH0 , A] = 2 P 2 .
Por otro lado,
D posee un espectro puramente discreto T := { }1 consistiendo en valores propios
0 < 1 < 2 3 . . . repetidas de acuerdo a la multiplicidad7 . En particular, la medida espectral E H0 ( )
de H0 admite la descomposicin tensorial [9, Ex. 8.21]
X
2
E H0 ( ) =
P E P + ( ),
(6)
1
2
donde P es la proyeccin ortogonal 1-dimensional asociada a y E P + ( ) la medida espectral de P 2 + .

Luego, tenemos para cada J R acotado la igualdad
X
2
E H0 (J)[iH0 , A]E H0 (J) = 2
P P 2 E P + (J),
(7)
N(J)
con N(J) := { 1 | sup(J) }. Si sup(J) < 1 , entonces E H0 (J) = 0 y la desigualdad

E H0 (J)[iH0 , A0 ]E H0 (J) aE H0 (J)
est trivialmente satisfecha para cualquier a > 0. En consecuencia, suponemos que sup(J) 1 y notamos
F la transformada de Fourier en L2 (R). Como el operador 1 F es unitario, existe un nmero aJ > 0 tal que
E H0 (J)[iH0 , A0 ]E H0 (J) aJ E H0 (J) si y slo si
(1 F )E H0 (J)[iH0 , A0 ]E H0 (J)(1 F 1 ) aJ (1 F )E H0 (J)(1 F 1 ).
(8)
Gracias a las frmulas (6)-(7), es directo mostrar que la desigualdad (8) est verificada con
aJ = nf nf(J ).
N(J)
(9)
En particular, si existe un compacto K (1 , ) \ T tal que J K, entonces aJ > 0. En consecuencia, el

operador A est localmente estrictamente conjugado a H0 sobre R \ T . En otros trminos, para cada R \ T
existen nmeros > 0 y a > 0 tales que

E H0 ( , + ) [iH0 , A0 ]E H0 ( , + ) aE H0 ( , + ) .
Observe que la cota inferior (9) puede ser obtenida directamente gracias a la teora (ms abstracta) del
operador conjugado para sistemas con varios canales [3, Eq. (3.8)]. En efecto, si los operadores P (P 2 +
7 Referimos
el lector a [4, Ch. 6] para ms informaciones sobre el Laplaciano de Dirichlet sobre un dominio acotado.
41
Artculos
Edicin 2 / 2011
) estn interpretados como Hamiltonianos a un canal (el canal correspondiente a la energ transversa ),
entonces H0 puede ser considerado como un Hamiltoniano a varios canales ya que
X
H0 =
P (P 2 + )
1
para cada D(H0 ). Luego, no es soprendente que sea difcil obtener propiedades de propagacin o una
estimacin de Mourre para los estados localizados en energa alrededor de los valores T . Por esta razn,
los puntos de T estn usualmente llamados umbrales (thresholds en ingls) del sistema cuntico a varios
canales dado por H0 . De hecho, la obtencin de resultados en los thresholds en teora espectral o del scattering
sigue siendo un campo de investigacin intenso dentro la comunidad de fsicos matemticos.
Referencias
[1] W. O. Amrein. Hilbert space methods in quantum mechanics. Fundamental Sciences. EPFL Press, Lausanne, 2009.
[2] W. O. Amrein, A. Boutet de Monvel, and V. Georgescu. C0 -groups, commutator methods and spectral
theory of N -body Hamiltonians, volume 135 of Progress in Math. Birkhuser, Basel, 1996.
[3] A. Boutet de Monvel-Berthier and V. Georgescu. Graded C -algebras and many-body perturbation theory.
II. The Mourre estimate. Astrisque, (210): 67, 7596, 1992. Mthodes semi-classiques, Vol. 2 (Nantes,
1991).
[4] E. B. Davies. Spectral theory and differential operators, volume 42 of Cambridge Studies in Advanced
Mathematics. Cambridge University Press, Cambridge, 1995.
[5] E. Mourre. Absence of singular continuous spectrum for certain selfadjoint operators. Comm. Math. Phys.,
78(3):391408, 1980/81.
[6] C. R. Putnam. Commutation properties of Hilbert space operators and related topics. Ergebnisse der
Mathematik und ihrer Grenzgebiete, Band 36. Springer-Verlag New York, Inc., New York, 1967.
[7] M. Reed and B. Simon. Methods of modern mathematical physics. IV. Analysis of operators. Academic
Press [Harcourt Brace Jovanovich Publishers], New York, 1978.
[8] E. Schrdinger. An Undulatory Theory of the Mechanics of Atoms and Molecules. Phys. Rev. 28, pages
10491070, 1926.
[9] J. Weidmann. Linear operators in Hilbert spaces, volume 68 of Graduate Texts in Mathematics. SpringerVerlag, New York, 1980. Translated from the German by Joseph Szcs.
42
Edicin 2 / 2011
Los problemas propuestos y las soluciones a los problemas de esta seccin deben ser enviados por correo
electrnico a joven.matematico@gmail.com antes del da 15 de Septiembre de 2011. Los nombres
de los autores de las soluciones recibidas sern publicados en una prxima edicin, junto con las mejores
soluciones. Generalizaciones y comentarios adicionales son bienvenidos. Se incentiva a alumnos y profesores
a enviar soluciones y problemas propuestos, tanto como problemas antiguos presentando una solucin nueva.
Un asterisco () junto al nmero del problema indica que los editores no disponen de una solucin.
Problemas
7. Propuesto por Ricardo Repenning, PUC, Santiago, Chile. En Chile, un juego muy popular es el amigo
secreto, en el cual los n miembros de un grupo escriben sus respectivos nombres en hojas de papel. Posteriormente se juntan los n papeles con los nombres y al azar cada persona saca un papel. Cada uno debe hacer un
regalo a la persona cuyo nombre aparece en el papel extraido. Sin embargo, muchas veces una persona saca su
propio nombre, obligando a hacer el sorteo nuevamente.
Considere un juego de amigo secreto con muchas personas. A qu valor converge la probabilidad de que, en
el primer sorteo, nadie obtenga su propio nombre?
8.() Propuesto por Mark Ashbaugh, University of Missouri, Columbia, MO. Muestre que
Z
1
ln x
dx = (ln 2)2
ex + 1
2
0
usando medios elementales, i.e., utilizando solamente cambios de variable, o posiblemente integracin de
contorno. La evaluacin del autor utiliz series y la constante de Euler, , pero dado que la respuesta no
involucra l cree que debe haber una forma de obtener este resultado de manera ms elemental. En particular,
para los propsitos de este problema, el uso directo de series, la funcin , , y lo que sea que involucre la
funcin de Riemann y otras funciones relacionadas (tales como la funcin , o la funcin de Hurwitz) est
fuera de lmites.
9. Propuesto por los editores. Calcule
lim n

n
Y
1
1
1
+
.
m 2m2
k=1
10. Propuesto por los editores. Sea A una matriz de n n entradas reales aij , positiva definida, y sean
i , i = 1, 2, . . . , n sus valores caractersticos con repeticin. Muestre que
n
Y
i=1
n
Y
aii
i=1
11. Propuesto por los editores. Sean A, B dos matrices de n n, positivas definidas. Muestre que
| det(AB)|
1
(Tr(A)n + Tr(B)n )2 .
4n2n
43
Edicin 2 / 2011
Soluciones
1. Solucin al problema propuesto nmero 2. Sea An una matriz de n n con entradas
1
i2 + 1 si i = j,
(An )i,j =
1
si i 6= j.
ij
Calcule det(An ), lim det(An ), y muestre que An es definida positiva para todo n 1.
Solucin por Mark S. Ashbaugh, University of Missouri, Columbia, MO.
Pn
El valor del determinante det(An ) es 1 + i=1 i12 , y luego su lmite cuando n es 1 + 2 /6
P
2
2.644934067 (por la solucin de Euler al problema de Basilea, i=1 i12 = 6 ). Un argumento para probar
que An es definida positiva para todo n 1 ser dado ms abajo, en el contexto de nuestro clculo de det(An ).
La primera parte de este problema se puede trabajar fcilmente al considerar una matriz cualquiera de nn que
sea una perturbacin de rango uno de la identidad. As, si u y v denotan n-vectores (que consistentemente veremos como n-vectores columna, i.e., como matrices de n por 1), uno considera la matriz B = Bn = I + uv T
(donde el superndice T denota transpuesta). Por simplicidad, consideramos este problema en el contexto de
los reales, tomando todos los vectores y matrices como reales, y trabajando en el espacio vectorial Rn . Como se
ver, esto no restringe en exceso nuestra abilidad de completar el anlisis, y, en cualquier caso, esta restriccin
puede ser removida fcilmente (ms simplemente cambiando T por , por el conjugado hermtico, ms
arriba, de modo de trabajar en Cn , y usando el producto interno hermtico estndar para definir ortogonalidad).
Como uv T aniquila todos los vectores que son ortogonales a v, uv T tiene a 0 como autovalor de multiplicidad
geomtrica a lo menos n 1. De hecho, simpre que uv T 6= 0 (que es equivalente a que ni u ni v sean 0, lo
cual asumimos de aqu en adelante, y que hace a uv T genuinamente una matriz de rango uno), la multiplicidad
geomtrica del autovalor 0 ser precisamente n 1. Claramente el rango de uv T ser entonces 1 (pues el
espacio imagen consistir de todos los mltiplos de u), y entonces su kernel debe tener dimensin n 1 (y
su kernel es precisamente el autoespacio del autovalor 0, cuya dimensin es la multiplicidad geomtrica de 0).
(Como comentario aparte, para el caso n = 1 uno debe entender lo anterior como vaco de contenido, y si acaso
0 es un autovalor de uv T como indeterminado. Por supuesto, el caso n = 1 es fcilmente tratable directamente
y no da ninguna sorpresa.)
Para determinar el ltimo autovalor y autoespacio uno usa la propiedad del rango uno para notar que si existe
un autoespacio independiente, este debe consistir de todos los mltiplos de u (u siendo el generador del espacio
imagen de uv T ). De modo que intentamos u como autovector. Actuando sobre u con uv T obtenemos (v T u)u,
o hv, uiu, donde h, i denota el producto interno estndar en Rn . As u es un autovector de uv T con autovalor
hv, ui, y ahora tenemos dos casos que considerar.
(i) Si u y v son ortogonales, entonces u est de hecho en el autoespacio asociado al autovalor 0 identificado
ms arriba (todos los vectores ortogonales a v, que denotamos por v a continuacin), y por lo tanto an nos
falta informacin sobre el espectro de uv T en un espacio unidimensional, por decirlo as. Este es el caso
anmalo que ocurre, y se relaciona en realidad con el hecho de que uv T tenga una estructura de bloque de
Jordan no trivial en su forma cannica de Jordan. En este caso claramente (uv T )2 = 0, por lo que el polinomio mnimo de uv T es 2 , y no simplemente . Puesto de manera diferente, la multiplicidad algebraica de
0 como autovalor de uv T es n, mientras que su multiplicidad geomtrica es n 1. Finalmente, para exhibir
uv T en su forma cannica de Jordan, uno puede tomar una base ordendada con v como el ltimo elemento,
con hv, viu como penltimo elemento, y con el resto de los elementos elegidos de forma de llenar la base para
v comenzando desde hv, viu. Expresada con respecto a esta base, uv T se representa como la matriz de n n
44
Edicin 2 / 2011
que tiene 0s en todas sus entradas salvo en la entrada (n 1, n), que es 1 (i.e., hay un 1 en la ltima entrada
de la penltima fila, con todas las dems siendo 0).
(ii) Si u y v no son ortogonales, entonces, por lo que hemos dicho ms arriba, u es un autovector de uv T con
autovalor hv, ui =
6 0, lo que claramente significa que el ltimo par autovalor-autovector (autopar para abreviar)
de uv T se puede tomar como (hv, ui, u), y, en particular, nuestro ltimo autovalor es hv, ui.
Juntando todo esto, vemos que en todos los casos la lista de autovalores de uv T (con multiplicidades algebraicas) est dada por 0, . . . , 0 , hv, ui. Aqu la multiplicidad algebraica de 0 como autovalor de uv T puede ser
| {z }
n1 veces
n (si hv, ui = 0) o n 1 (si hv, ui =

6 0).
Con este anlisis completo, podemos rpidamente concluir nuestra solucin. Vemos que los autovalores de
B = I + uv T estn dados por (con mltiplicidades algebraicas) 1, . . . , 1 , 1 + hv, ui, y por lo tanto
| {z }
n1 veces
detB = producto de todos sus autovalores = 1 + hv, ui.

1 1
1 T
Especializando ahora al caso de An , donde
P u1 = v = (1, 2 , 3 , . . . , n ) , vemos que los autovalores de An son
1, . . . , 1 , 1 + hu, ui, o 1, . . . , 1 , 1 + i=1 i2 .
| {z }
| {z }
n1 veces
n1 veces
Por lo tanto,
det(An ) = 1 +
y
lim det(An ) = 1 +
pues
1
i=1 i2
2
6 ,
n
X
1
,
2
i
i=1
X
2
1
=1+
,
2
i
6
i=1
por la solucin de Euler al problema de Basilea.
Finalmente, para mostrar que An es definida positiva, volvemos atrs a B = Bn = I + uv T , especializando al

caso u = v, y mostramos que B = I + uuT (que es obviamente una matriz simtrica) es definida positiva. Si
x denota un vector arbitrario no nulo en Rn , tenemos
hx, Bxi = hx, xi + xT uuT x = hx, xi + hx, uihu, xi = |x|2 + |hu, xi|2 > 0,
demostrando que B es definida positiva.
Comentarios. De la determinacin del conjunto completo de autovalores de la matriz uv T dado ms arriba (con
sus multiplicidades algebraicas) es por supuesto obvio que el polinomio caracterstico de uv T est dado por
PuvT () = det(I uv T ) = n1 ( hv, ui).
Uno entonces puede calcular detBn va
detBn = det(I + uv T ) = (1)n det((1)I uv T ) = (1)n PuvT (1) = 1 + hv, ui,
y as esto provee otra manera de concluir el clculo de detBn .
45
Edicin 2 / 2011
Finalmente, uno tambin puede llegar a esto calculando el polinomio caracterstico de uv T directamente, basndose en la frmula para la expansin del polinomio caracterstico de una matriz C en trminos de sus menores
principales. Esta caracterizacin dice que, para una matriz C de n n,
PC () = n +
n
X
(1)m nm [suma de todos los menores principales de orden m de C].
m=1
Para nuestro caso, con C = uv T , la propiedad del rango uno hace evidente que todos los menores de orden m
se anulen para m 2. As nuestra frmula para el polinomio caracterstico de C = uv T se reduce a
PuvT () = n (TrC)n1 = n (Tr uv T )n1 = n hv, uin1 .
Evaluando en = 1 se obtiene
det(I uv T ) = PuvT (1) = (1)n hv, ui(1)n1 ,
y por lo tanto,
det(I + uv T ) = (1)n [(1)n hv, ui(1)n1 ] = 1 + hv, ui,
como antes.
Como se mencion antes, existen generalizaciones simples para todo lo anterior en el caso de vectores u, v
Cn . Ms exigente, pero todava abordable, sera la generalizacin al caso de perturbaciones de rango dos de la
identidad, o incluso perturbaciones de rango k, donde k es un entero arbitrario entre 1 y n. Cualquiera de los
mtodos recin utilizados (la aproximacin va autovalores y autovectores usada en la demostracin principal,
o aquella desarrollada en el ltimo prrafo bajo Comentarios, usando la caracterizacin de los coeficientes
del polinomio caracterstico de una matriz arbitraria en trminos de sus menores principales) se podran utilizar para empezar a analizar estos problemas ms generales (al menos para k pequeo). Uno tambin podra
considerar perturbaciones de rango k de matrices ms generales.
2. Soluciones al problema propuesto nmero 3. Muestre que

Z 1
2
1
dx = 1
,
x
x
12
0
donde {a} = a bac denota la parte fraccionaria del real a.
Solucin por Mark S. Ashbaugh, University of Missouri, Columbia, MO.
La ocurrencia de la funcin parte fraccionaria sugiere que dividamos la integral en una suma de integrales
sobre intervalos Ik = [1/(k + 1), 1/k) para k = 1, 2, 3, . . .. Ntese que los intervalos Ik son disjuntos y su
unin es [0, 1), que es el intervalo sobre el que debemos integrar. Entonces para x Ik , 1/x estar entre los
enteros k y k + 1. Entonces tiene sentido hacer el cambio de variable en Ik va x = 1/(k + t), de modo
que 1/x = k + t, con la variable
t denotando la parte fraccional de 1/x en Ik . Tenemos x = 1/(k + t),

dx = dt/(k + t)2 , y x1 = t, con x = 1/(k + 1) siendo t = 1, y x = 1/k siendo t = 0. As podemos
escribir

Z 1
Z
Z 1
Z 1
X
X
X
1
1
1
dt
t
x
dx =
x
dx =
t
=
dt.
2
3
x
x
0
Ik
0 k + t (k + t)
0 (k + t)
k=1
k=1
k=1
46
Edicin 2 / 2011
Ahora procedemos a integrar por partes cada integral, tomando u = t y dv = dt/(k + t)3 . Esto nos permite
llegar a que

X

t=1 1 Z 1
X
dt
1 1 t=1
1
t
1
1

+
=

2 (k + t)2 t=0 2 0 (k + t)2
2 (k + 1)2
2 k + t t=0
k=1
k=1

X
1
1
1
1
1
=
.
2 (k + 1)2
2 k+1 k
k=1
Los ltimos dos trminos aqu dan una suma telescpica, y hacen una contribucin total de 1/2. As nuestra
expresin se simplifica a
1 1X 1
1 1
1 1X
1
=
=
2
2 2
(k + 1)
2 2 i=2 i2
2 2
k=1
donde en la evaluacin final de la serie usamos la frmula

problema de Basilea.
1
i=1 i2
2
1
6
2
6 ,

=1
2
,
12
que Euler obtuvo en su solucin al
Comentario. Otro modo de concluir el resultado es evitar la integracin por partes utilizada en la solucin
anterior, y en cambio simplificar algebraicamente usando
(k + t) k
1
k
t
=
=
.
(k + t)3
(k + t)3
(k + t)2
(k + t)3
En este punto es fcil llevar a cabo las integrales, y llegamos a que
Z
0

Z 1
Z 1
X
X
1
t
1
k
x
dx =
dt =
dt
x
(k + t)3
(k + t)2
(k + t)3
k=1 0
k=1 0

X
1
k
1
t=1
+
=

2
k + t 2 (k + t) t=0
k=1

X
1 1
k
1 k
1
=
+ +
k + t k 2 (k + 1)2
2 k2
k=1

X
1 1 (k + 1) 1 1 1
1
+ +
k + t k 2 (k + 1)2
2k
k=1

X
1
1 1 1
1
1
11
=
+ +
k + t k 2 k + 1 2 (k + 1)2
2k
k=1

1X 1
1
1
=
,
2
k k + 1 (k + 1)2
k=1
que es la misma expresin a la que habamos llegado en nuestra primera solucin, y por lo tanto desde aqu
podemos concluir como antes.
47
Edicin 2 / 2011
Solucin por Jorge Fandez, PUC, Santiago, Chile.

De la definicin de la parte fraccionaria se tiene que
Z 1
Z 1
Z 1
Z 1
1
1
1
1
x
dx =
x dx
x
dx = 1
x
dx.
x
x
x
x
0
0
0
0
Ahora,

1
1
1
1
= k k < k + 1
<x .
x
x
k+1
k
As, por Teorema de Fubini se sigue que

Z 1
Z 1/k
X
1
1
1X
1
x
.
dx =
kxdx =
k
x
2
k2
(k + 1)2
0
1/(k+1)
k=1
k=1
Probaremos ahora que

X
X
1
1
1
2
k
=
=
.
2
2
2
k
(k + 1)
k
6
k=1
k=1
Lo anterior se puede hacer de dos formas. La primera es la siguiente:

X
X

k
X
k
X
X
1
1
1
1
1
1
k
1
,
k2
(k + 1)2
k2
(k + 1)2
k2
(k + 1)2
j=1
j=1
k=1
k=1
k=1
y cambiando el orden de las sumas se llega a que

X
X

X
X
1
1
1
1
1
k
.
=
=
2
2
2
k2
(k + 1)2
k
(k
+
1)
j
j=1
j=1
k=1
k=j
Otra forma de ver el resultado anterior es la siguiente. Definiendo

n
X
1
1
Sn =
k
,
k2
(k + 1)2
k=1
se puede probar fcilmente, usando induccin u otro mtodo, que

Sn =
n
X
n
1
,
2
k
(n + 1)2
k=1
de donde se sigue que

X
X
1
1
1
k
=
lim
S
=
.
n
2
2
n
k
(k + 1)
k2
k=1
k=1
As, se tiene finalmente que

Z
x
0

Z
1
1 1
1
2
dx = 1
x
dx = 1
.
x
2 0
x
12
3. Sea ABC un tringulo con BC = a, CA = b, y AB = c. Sea ra el radio del excrculo tangente a BC, rb
el radio del excrculo tangente a CA, y rc el radio del excrculo tangente a AB. Probar que
ra rb
rb rc
rc ra
9
+
+
.
(a + b)2
(b + c)2
(c + a)2
16
48
Edicin 2 / 2011
(Enunciado publicado originalmente en la revista Mathematics Magazine como problema 1829.)

Solucin por Sebastin Garca Senz, PUC, Santiago, Chile.
Los exradios y los lados de un tringulo estn relacionados por las siguientes frmulas:
s
s(s b)(s c)
ra =
=
,
sa
(s a)
s
s(s c)(s a)
rb =
=
,
sb
(s b)
s
s(s a)(s b)
=
,
rc =
sc
(s c)
donde denota el rea del tringulo, y usamos la frmula de Hern para expresar en trminos del semipermetro
s. Se sigue entonces que
1
(a + b + c)(a + b c) =
4
1
rb rc = s(s a) = (b + c + a)(b + c a) =
4
1
rc ra = s(s b) = (c + a + b)(c + a b) =
4
ra rb = s(s c) =
1
((a + b)2 c2 ),
4
1
((b + c)2 a2 ),
4
1
((c + a)2 b2 ).
4
Denotando por S1 a la suma dada, tenemos entonces que

(b + c)2 a2
(c + a)2 b2
1 (a + b)2 c2
+
+
S1 =
4
(a + b)2
(b + c)2
(c + a)2

1
c2
a2
b2
=
3
+
+
.
4
(a + b)2
(b + c)2
(c + a)2
La suma entre parntesis se puede acotar de la siguiente manera:
S2
c2
a2
b2
+
+
2
2
(a + b)
(b + c)
(c + a)2

2
c
a
b
1
+
+
3 a+b b+c c+a
2
1 3
3
= .
3 2
4
La primera desigualdad corresponde a la desigualdad de Cauchy-Schwarz, mientras que la segunda corresponde

a la desigualdad de Nesbitt (notar que a, b, c > 0). Finalmente,

1
1
3
9
S1 = (3 S2 )
3
=
.
4
4
4
16
Comentario. Tambin es posible encontrar una cota superior para S2 , de donde se sigue una cota inferior para
S1 . De la desigualdad triangular, se tiene que a + b > s, b + c > s, y c + a > s. Entonces,
S2 <
(a2 + b2 + c2 )
a2 + b2 + c2
=
4
.
s2
(a + b + c)2
49
Edicin 2 / 2011
Adems, la desigualdad triangular tambin implica que las variables x = b+ca, y = c+ab, y z = a+bc
deben ser estrictamente positivas. As,
2(a2 + b2 + c2 )
1
((x + y)2 + (y + z)2 + (z + x)2 )
2
= x2 + y 2 + z 2 + xy + yz + zx
=
<
x2 + y 2 + z 2 + 2(xy + yz + zx)
(x + y + z)2
(a + b + c)2 .
As se concluye que S2 < 2, y por lo tanto S1 > 1/4. Esta cota inferior es alcanzada slo si consideramos un
tringulo degenerado en el cual uno de sus lados mide cero, y los otros dos tienen igual longitud.
Finalmente podemos escribir las cotas para la suma original:
1
ra rb
rb rc
rc ra
9
<
+
+
.
4
(a + b)2
(b + c)2
(c + a)2
16
4. Sean a1 , . . . , an no negativos y sea r un entero positivo. Muestre que
2
n
X ir j r ai aj
X
X ir j r k r ai aj ak

mr1 am
.
i+j1
i+j+k2
m=1
1i,jn
1i,j,kn
(Enunciado publicado originalmente en la revista American Mathematical Monthly como problema 11458.)
Solucin por Francisco Vial, cole Polytechnique, Pars, Francia.
Usaremos una funcin generatriz para la sucesin a1 , . . . , an y la desigualdad de Cauchy-Schwarz. Sea
f (x) :=
n
X
ir ai xi1 .
i=1
Entonces,
Z
f (x)dx
f (x)2 dx
n
X
ir ai
0
1
3
f (x) dx
n
X
mr1 am ,
i
m=1
i=1
Z 1
X
ir j r ai aj xi+j2 dx =
Z
1i,jn
1
1i,jn
ir j r ai aj
,
i+j1
r r r
i j k ai aj ak x
i+j+k3
dx =
1i,j,kn
1i,j,kn
Por lo tanto, la desigualdad propuesta es equivalente a

Z 1
2 Z 1
Z
2
f (x) dx
f (x)dx
0
ir j r k r ai aj ak
.
i+j+k2

f (x) dx ,
3
que se sigue por la desigualdad de Cauchy-Schwarz con las funciones f (x)1/2 , f (x)3/2 y el producto interno
estndar (notar que, como ai 0, f (x) 0 en [0, 1], estas funciones son reales y bien definidas).
50
Edicin 2 / 2011
Comentario. r puede ser cualquier nmero real, no necesariamente un entero. De hecho, la misma desigualdad se cumple si usamos cualquier funcin positiva en [1, n] en vez de ir ai . Por ejemplo, usando la funcin
exponencial,
1i,jn
n
X
e
em

i+j1
m
m=1
i+j
X
1i,j,kn
ei+j+k
.
i+j+k2
5. Sean , nmero reales positivos, y r un nmero racional. Encontrar condiciones necesarias y suficientes
para que existen infinitos m N tales que
bmc
= r.
bmc
(Enunciado publicado originalmente en la revista Mathematics Magazine como problema 1830.)
Solucin por Andrs Fielbaum, Universidad de Chile, Santiago, Chile.
La condicin es simplemente
= r. Veamos primero que es una condicin necesaria. Sabemos que existe una
sucesin estrictamente creciente de enteros (mk )kN tal que

wk =
bmk c
bmk c
= r k. Definamos ahora la secuencia
bmk c
bmk c
Por lo ya discutido, es claro que wk es una sucesin constante e igual a r. Pero adems tenemos que
mk
mk + 1
wk
.
mk + 1
mk
Las sucesiones que acotan a wk claramente convergen a
tenemos as que r = wk
, i.e., r = .
luego por el teorema del sandwich wk
Veamos ahora que la condicin es suficiente. Notemos que r =

= p
q . Dividamos la demostracin en dos casos:
q
p
para ciertos p, q naturales, tenemos entonces
Caso 1: es racional. Escribimos entonces = ab para ciertos a, b naturales, y tomemos m de la forma

q
m
m = kbq, para cualquier k N. Entonces m = kqa, m = kpa, y luego bmc
bmc = m = p = r. Como k es
cualquier natural, tenemos infinitos m que cumplen la condicin buscada.
Casoh2: es irracional.
Tomemos m = nq, y definamos x = n. Probaremos que si k N tal que

bqxc
1
x k, k + max(p,q) , entonces bmc
bmc = bpxc = r (notar que la primera igualdad es directa del hecho que
= r). En efecto,

1
kq xq < k +
q kq + 1 bxqc = kq.
max(p, q)
Anlogamente encontraremos que bxpc = kp y de ah se concluye lo antes afirmado.
Para terminar
la demostracin,
basta probar que existen infinitos n N tales que n entra en un intervalo de
h

1
la forma k, k + max(p,q) . Esto es equivalente a probar que la secuencia zn = bnc tiene una subsucesin
convergente a 0. Un resultado conocido nos indica que, dado que es irracional, el conjunto {zn : n N} es
denso en [0, 1], por lo que tiene tal subsucesin, lo que concluye la demostracin.
51
Noticias
Edicin 2 / 2011
El Profesor Gunther Uhlmann recibe el Premio Bcher de la AMS.

Gunther Uhlmann, profesor del Departamento de
Matemticas de la Universidad de Washington, en
Seattle, obtuvo el Premio Bcher de la American Mathematical Society (AMS) en Enero recin
pasado. El premio le fue otorgado por su trabajo
fundamental sobre problemas inversos y, en particular por la solucin del problema de Caldern en los
artculos: The Caldern problem with partial data
(escrito en colaboracin con Carlos E. Kenig y Johannes Sstrand, Annals of Math. 165 (2007), 567
591) y The Caldern problem with partial data in
two dimensions (escrito en colaboracin con Oleg Yu.
Imanuvilov , y Masahiro Yamamoto, J. Amer Math.
Soc. 23 (2010), 655691). El premio tambin reconoce el destacado trabajo sobre rigidez de frontera con L. Pestov y P. Stefanov y sobre no unicidad (en otras palabras el problema de invisibilidad)
con A. Greenleaf, Y. Kurylev, y M. Lassas. Gunther
Uhlmann naci en Quillota, Regin de Valparaso,
Chile, en 1952. Estudi en la Facultad de Ciencias
de la Universidad de Chile, donde obtuvo su Licenciatura en Matemticas en 1973. Luego continu sus
estudios en el MIT, donde recibi su doctorado en
1976 bajo la direccin de Victor Guillemin.
Tuvo posiciones postdoctorales en el MIT, Harvard

y en el Courant Institute de Nueva York. Desde
1980 fue Profesor Asistente en el MIT, y en 1985 se
traslad a la Universidad de Washington, donde fue
nominado como Walker Family Endowed Professor en 2006. A partir del 2010 tambin tiene la Endowed Excellence in Teaching Chair en la Universidad de California, Irvine. Gunther Uhlmann obtuvo
la Sloan Research Fellowship en 1984 , y la John
Simon Guggenheim Fellowship en 2001. Tambin
en 2001 fue elegido como Miembro Correspondiente de la Academia Chilena de Ciencias. Gunther
Uhlmann es "Fellow" del Institute of Physics desde
el 2004. Fue elegido a la American Academy of Arts
and Sciences (AAAS) en el 2009 y Fellow de la Society for Industrial and Applied Mathematics, SIAM,
en el 2010. Gunther Uhlmann fue Conferencista Invitado en el Congreso Internacional de Matemticos,
ICM, en Berlin, en 1998, y Charlista Plenario en el
ICIAM de Zrich, en el 2007. Recientemente, el
Profesor Uhlmann fue nominado como uno de los
seis Senior Scholars para el perodo 20102011 por
el Instituto Clay. Tambin ha recibido el Chancellors Award del Instituto MSRI y de la Universidad
de California, Berkeley, premio que reconoce a investigadores sobresalientes que al mismo tiempo se
destacan por su excelencia en la enseanza. El Professor Gunther Uhlmann ha sido invitado a presentar
la 6th AMS Einstein Public Lecture in Mathematics, que tendr lugar en el campus de la Universidad George Washington, en Washington D.C., el s
bado 17 de Marzo de 2012. La AMS Einstein Public Lecture se da anualmente en una de las ocho reuniones seccionales de la Sociedad. Estas Charlas
empezaron el 2005 como una manera de celebrar el
centsimo aniversario del annus mirabilis de Albert
Einstein, i.e., 1905, ao que marc la publicacin de
tres artculos fundamentales de Albert Einstein que
cambiaron el curso de la Fsica del Siglo XX.
52

Revista Joven Matematico

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Revista Joven Matematico

Загружено:

Авторское право:

Доступные форматы

ISSN 0719-0077

variados, siendo los nicos requisitos el incluir

Transformadas de Laplace de funciones de Bessel:

Acerca del interior de un polgono

Problemas de obstculos y curvas convexas

Mtodos a conmutadores en teora espectral

El trascendental nmero de Euler

y como las funciones logartmicas son continuas, entonces

Reemplazando n = 1/h, esta expresin queda

4. La irracionalidad del nmero e

A partir de los nmeros naturales a y b anteriores, definamos un nmero x de la siguiente forma:

z n = rn (cos + i sin ) = rn ein .

Transformadas de Laplace de Funciones de Bessel:

Department of Mathematics, University of Missouri, Columbia, MO, ashbaughm@missouri.edu.

Departamento de Fsica, P. Universidad Catlica de Chile, Santiago, Chile, sgarciasaenz@gmail.com.

(s2 + 1)Y 0 (s) + sY (s) = a.

Para la solucin general uno obtiene

Para proseguir necesitamos conocer las transformadas

Esto nos permite escribir, continuando desde (3.5),

22k (k!)2 s2k+1

22k (k!)2 s2k+1

22k (k!)2 s2k+1

son suficientes para concluir que

sin una contribucin de L{J0 (t)}. Tambin vemos fcilmente que

la expresin completa que buscamos se calcula como

Por otro lado, de (3.11) se tiene

y la comparacin de estas expresiones nos convence de que para n entero positivo,

que tambin se puede escribir como

implican la siguiente representacin:

[17] D. L. Kreider, R. G. Kuller, D. R. Ostberg, and F. W. Perkins, An Introduction to Linear Analysis,

Acerca del interior de un polgono

Un polgono cerrado simple es un camino continuo : [0, 1] R2 verificando

Si (x) = (y) entonces x = y o bien {x, y} = {0, 1}.

Figura 1: Polgono complicado

Figura 2: Polgono sobre un cilindro

Figura 3: Polgono sobre una banda de Mbius

Figura 4: Existencia de una diagonal interior

Figura 5: La paridad de un punto est bien definida

Figura 6: Construccin del camino

R2 \ . Todos los puntos de

Problemas de obstculos y curvas convexas

Enunciado del problema

Figura 1: Diagrama del Problema

Ocuparemos la siguiente notacin:

Figura 2: Crculo con las rectas tangentes y vertical

Figura 3: Reduccin en rectas

Figura 4: Divisin en tramos

onales acotan por debajo el largo de las curvas originales.

Figura 5: Curva ptima

(k, k 0 ) se cumple Ik0 < Sk .

Figura 7: Soluciones al problema de la elipse.

y2 = f 0 (b)x0 + [f (b) f 0 (b)b].

Despejando obtenemos trivialmente que

f (b) f (a) + f 0 (a)a f 0 (b)b

1 + [f 0 (x)]2 , tenemos que

(b a)g(c) = (b xC )g(c) + (xC a)g(c).

donde c [a, b] es una constante.

Mientras que, por otra parte,

Recopilando todo lo anterior, deducimos que

f (b) f 0 (b)(b a) + f (a).

Reacomodando, tenemos que

Ocupando (23) en el lado derecho de esta ltima expresin, obtenemos que

=(b a)f 0 (a) > 0.

Utilizando (26), vemos que