Soluciones Periódicas Del Péndulo Forzado y Condiciones de Landesman-Lazer

UNIVERSIDAD DE BUENOS AIRES
Facultad de Ciencias Exactas y Naturales

Departamento de Matemtica
Tesis de Licenciatura
Soluciones peridicas del pndulo forzado y condiciones

de Landesman-Lazer
Marina Sosa
Director: Dr. Pablo Amster
Ao 2006
Si Dios no existe, no se pierde nada creyendo en l, mientras que si s
existe, se perdera todo no creyendo (en l).
Blaise Pascal
ndice general
1. Un poco de historia 4
1.1. El pndulo linealizado . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Construccin de relojes . . . . . . . . . . . . . . . . . . . . . . 12
1.3. Movimiento planetario . . . . . . . . . . . . . . . . . . . . . . 18
2. Algunas ideas en la teora de puntos crticos 27
3. Minimizacin de funcionales dbilmente semicontinuos infe-

riormente en un espacio de Banach reexivo 33
4. Deformacin de funcionales reales en un espacio de Banach

y el principio variacional de Ekeland 37
5. La geometra del paso de la montaa 52
6. Una aplicacin al problema de Dirichlet 60
7. Soluciones peridicas del pndulo forzado y condiciones de

Landesman-Lazer 69
i
ndice de guras
1.1. El pndulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Longitud recorrida por el pndulo . . . . . . . . . . . . . . . . 7
1.3. Recorrido del pndulo . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Perodo del pndulo en funcin del ngulo inicial . . . . . . . . 10
1.5. Solucin del pndulo linealizado . . . . . . . . . . . . . . . . . 12
1.6. Perl de la funcin f (x) . . . . . . . . . . . . . . . . . . . . . 13
1.7. Longitud de arco de f . . . . . . . . . . . . . . . . . . . . . . 15
1.8. Cicloide invertida . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9. Reloj de pndulo de Huygens . . . . . . . . . . . . . . . . . . 18
1.10. Movimiento Planetario . . . . . . . . . . . . . . . . . . . . . . 22
1.11. rea barrida . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.12. Velocidad del planeta . . . . . . . . . . . . . . . . . . . . . . . 25
ii
Agradecimientos
A mis padres, Hilda y Camilo, por todo.
A mi hermana Laura, por sus consejos y por quererme ms de lo yo lo
merezco.
A Pablo Amster, por aceptar dirigir este trabajo, por su paciencia y
constante aliento.
A Claudia Lederman, por su comprensin y consejos.
A mis amigos (qu hara sin ellos?!) Mariana Perez (por esforzarse en
mejorar este trabajo), Ezequiel Martin, Mercedes Marchesin, Mara Marta
Canillia, Alejandro Weil, Irene Drelichman y Leandro del Pezzo, por
ayudarme a ser mejor persona.
iii
Introduccin
En estas notas nos proponemos estudiar la existencia de soluciones de la
ecuacin del pndulo forzado. Este a su vez, constituye un ejemplo de los
llamados problemas resonantes, de los cuales se probar otro resultado de
existencia, usando herramientas del clculo variacional.
Para empezar, en el captulo 1, describiremos el problema fsico que motiv
el inters por el pndulo. Posteriormente, estudiaremos la vibraciones de un
pndulo y su relacin con la construccin de relojes de precisin. Tambin
analizaremos en detalle el movimiento planetario.
Recientemente, la teora de puntos crticos constituy una herramienta

muy til en el estudio de las ecuaciones diferenciales. Para algunas de ellas,
es posible trasladar el problema a otro de la teora de puntos crticos, es
decir, encontrar un funcional cuyo conjunto de puntos crticos coincida con
el conjunto de soluciones de nuestra ecuacin diferencial. Al estudiar este
funcional, podemos ser capaces de mostrar que tiene un punto crtico, y as
que la correspondiente ecuacin tiene una solucin. En el captulo 2, se men-
cionar la evolucin histrica de estas tcnicas que usaremos en lo sucesivo.
Si el funcional est acotado inferiormente (o superiormente), puede

tener un mnimo (o mximo) absoluto. Tal punto es un punto crtico, y as,
una solucin a la correspondiente ecuacin diferencial. En muchos casos, el
funcional no est acotado, y no tiene un mximo o mnimo global. As, un
mtodo minimax puede ser til. El teorema minimax ms conocido es el del
paso de la montaa. En esta ocasin, pensamos a (y) representando
1
la altura de una montaa en el punto y . De esta manera, si el valor de
en 0 y en algn punto e (valles), son estrictamente ms pequeos que
el nmo de los valores de en una esfera de centro 0 y radio r < kek
(cordillera), uno puede esperar que, dado un camino que une 0 y e, si
el nmero maxt[0,1] ((t)) es la altura mxima sobre tal camino, y si se
toma nmos sobre todos los caminos que unen 0 y e (que llamaremos c), se
obtendr el valor de en algn punto crtico. No obstante, no siempre existe
un valor mnimo de maxt[0,1] ((t)).
An si no podemos encontrar una altura mxima ms pequea, siempre
podemos encontrar una sucesin (xj )j E tales que
(xj ) c
0 (xj ) 0
es decir, una sucesin de puntos casi crticos. Casos especiales de este ra-
zonamiento fueron usados en dimensin nita para estudiar el problema de
Plateau, pero el lema general del paso a la montaa en un espacio de Banach
fue introducido por Ambrosetti y Rabinowitz en 1973, desde entonces fue
una de las herramientas ms usadas y ms fructferas del anlisis funcional
no lineal. Este estudio ser objeto del captulo 5.
La demostracin de la existencia de una sucesin de puntos casi crticos

es una tcnica de deformacin que fue introducida en 1934 por Lusternik y
Schnirelman. sta consiste, en el caso de un espacio de Hilbert, en defor-
mar un funcional , afuera del conjunto de sus puntos crticos, a travs de
soluciones de su sistema gradiente asociado 0 = () u otro cualitativa-
mente equivalente. Recientes versiones de esta tcnica, en particular el lema
2
cuantitativo de deformacin introducido por Willem en 1983, se decribirn
en el captulo 4, y se usar tambin, para motivar la introduccin de varias
condiciones de compacidad (siguiendo la hecha en 1965, por Palais y Smale),
que llevan a la existencia de puntos crticos. Se darn las deniciones bsicas
en el captulo 3 y se probar el lema de deformacin en el captulo 4.
El problema de existencia de soluciones peridicas de ecuaciones del pn-

dulo forzado ser analizado con tcnicas de minimizacin y paso de la mon-
taa, en el captulo 7. La solucin asociada a un mnimo del correspondiente
funcional de accin fue esencialmente descubierto por Hamel en 1922, y sesen-
ta aos despus una segunda solucin del tipo paso a la montaa fue obtenida
por Mawhin y Willem. El pndulo provee, tal vez, el caso ms simple de un
funcional que no satisface la clsica condicin de Palais-Smale, es decir el
de un problema sin compacidad. Finalmente, se dar una breve descripcin
de los problemas resonantes, y se probar un resultado de existencia usando
condiciones del tipo Landesman-Lazer.
Para terminar, basta aclarar que al comienzo de cada uno de los captulos
se encontrar una pequea introduccin local, para que queden ms claros
los resultados expuestos en esta tesis.
3
Captulo 1
Un poco de historia
El inters por el pndulo fue y an sigue siendo inmenso. A travs de los

siglos ha constituido una fuente inagotable de problemas, ideas y tcnicas.
Por un lado, describiremos el perodo del pndulo y veremos que ste no es
propiamente independiente de la amplitud inicial de la oscilacin. Pero s lo
es cuando se trata de oscilaciones pequeas. Galileo fue el primero en no-
tar esto, observando una lmpara en oscilacin de la catedral de Pisa. Esto
condujo al reloj de pndulo, el primero realmente preciso que lleg a ser el
estndar durante siglos. Sin embargo, hubo gente que estudi el problema
general de encontrar una curva sobre la cual las oscilaciones debidas a la
accin de la gravedad fueran independientes de la posicin inicial. Christian
Huygens (1629-1695) lleg a demostrar, con argumentos geomtricos,que es-
ta curva era una cicloide.
Por otra parte, el estudio del pndulo estaba ligado a dos problemas
fundamentales de la poca: la forma de la tierra y la vericacin de la ley
de atraccin gravitatoria. Aunque el perodo de oscilacin de un pndulo
depende de la amplitud de oscilacin, con una buena aproximacin y para
4
oscilaciones pequeas, este viene dado por T = 2 l/g donde l es la lon-
p
gitud del pndulo y g es la aceleracin de la gravedad. De esta forma, si se

calculan los distintos valores de g a lo largo de un meridiano de la Tierra
y se sabe la relacin entre g y la distancia al centro de gravedad, se puede
obtener la forma de la Tierra.
Tambin, conocida la forma de la Tierra, se podra utilizar esta frmula para
vericar la ley de la gravitacin universal combinando el hecho de que la
Tierra gira y, por lo tanto, todo cuerpo sobre la supercie experimenta dos
fuerzas, una centrpeta, por la rotacin que es conocida si se sabe la forma
de la Tierra, y la fuerza de gravedad. El valor experimental de g obtenido es
una combinacin de las dos fuerzas.
Vamos a analizar ahora en detalle la ecuacin del pndulo.

El pndulo consiste en un objeto puntual de masa m suspendida de una
cuerda (que no se estira) sin masa de longitud l, cuyo extremo superior est
jo. Vamos a expresar la posicin del pndulo en cada instante t por la
funcin (t) que expresa el desplazamiento angular de la masa con respecto
a su posicin de equilibrio = 0, ver gura 1.1.
Al moverse el pndulo, la masa describe arcos de circunferencia de radio

l y al trasladarse del ngulo 1 hasta 2 , la masa ha recorrido la longitud
l(1 2 ). Por lo tanto, el espacio recorrido por la masa entre el tiempo t1
y el tiempo t2 es l((t1 ) (t2 )). La velocidad y la aceleracin instantnea
sern respectivamente, l0 (t),l00 (t2 ), ver gura 1.2.
Las fuerzas que actan sobre el objeto son: la fuerza T que se ejerce a lo
largo de la cuerda y la fuerza de gravedad mg .
5
Figura 1.1: El pndulo
La componente normal de esta fuerza se anula con la T , por la ley de ac-

cin y reaccin. La componente tangencial de la fuerza de gravedad mg sen()
siempre actua hacia = 0, en sentido opuesto al desplazamiento.
La fuerza tangencial es, por lo tanto, una fuerza restauradora y podemos

utilizar la segunda Ley de Newton para escribir la ecuacin del movimiento
en la direccin tangente como (suponiendo la situacin ideal en donde no hay
rozamiento de ningn tipo):
Ft = mat mg sen((t)) = ml00 (t)
o lo que es equivalente :
g
00 (t) + sen((t)) = 0 (1.0.1)
l
6
Figura 1.2: Longitud recorrida por el pndulo
La ecuacin (1.0.1) es la conocida Ecuacin del pndulo

Analicemos el comportamiento del pndulo cuando la masa se suelta des-
de el reposo a un cierto ngulo 0 (0, ), es decir, jamos las condiciones
iniciales del movimiento por (0) = 0 , 0 (0) = 0
Multiplicando la ecuacin 1.0.1 por 0 (t) obtenemos por una parte, el trmino:
1d 0
00 (t)0 (t) = ( (t))2
2 dt
y por otra parte:
g g d
sen((t))0 (t) = cos((t))
l l dt
de donde se deduce que:
d 1 0 g
( ( (t)) cos((t)) = 0
dt 2 l
Por lo tanto, la cantidad 12 (0 (t)) gl cos((t)) se conserva a lo largo del
movimiento. Esto no es ms que la ley de conservacin de energa, pues la
energa total (mecnica), energa cintica ms potencial, viene dada por:
1
E = mv 2 + mgy
2
7
donde y es la altura vertical del pndulo en cualquier momento. Por lo tanto,
1
E = m(l0 )2 mg(l l cos())
2
En particular, tenemos que dada la posicin inicial del pndulo 0 y suponien-

do que la masa se deja caer del reposo (v0 = 0), tendremos que para todo
tiempo t:
1 2 02
ml + mgl mgl cos() = cte.
2
mgl + l cos(0 ) = cte
Luego,
1 0 2 g g
(t) + cos((t)) = cos(0 )
2 l l
o lo que es equivalente:
1 0 2 g
(t) = (cos((t)) cos(0 ))
2 l
En particular, puesto que 21 (0 (t))2 0 tendremos que cos((t) cos(0 ), lo

que implica que siempre tendremos que (t) [0 , 0 ] (nunca puede subir
ms alto que = 0 ).
Una de las caractersticas importantes del pndulo, es el perodo de os-

cilacin T (0 ), es decir el tiempo que tarda en ir desde 0 hasta 0 y volver
de nuevo a 0 . Obviamente, por simetra este tiempo es el doble que el toma
en ir desde 0 hasta 0 .
Mientras el pndulo va desde 0 hasta 0 , tendremos que 0 (t) < 0. Despe-
8
Figura 1.3: Recorrido del pndulo
jando de la ltima ecuacin obtenemos que:

r
d 2g
= cos() cos(0 )
dt l
Separando variables e integrando, obtenemos que si es el tiempo que tarda

en ir desde 0 hasta 0 , entonces
Z 0 Z
d
q = dt =
2g
0
l
(cos() cos(0 )) 0
Por lo tanto, el perodo viene dado por:

s
Z 0 Z 0
d l d
T (0 ) = 2 = 2 q =2 p
0 2g
(cos() cos(0 )) 2g 0 (cos() cos(0 ))
l
tras el cambio de variable sen(/2) = sen(0 /2)sen(), teniendo en cuenta

que cos() = 1 2 sen2 (/2), el valor de T (0 ) se puede expresar por la
integral:
9
Figura 1.4: Perodo del pndulo en funcin del ngulo inicial
s Z
l /2 d
T (o ) = 4 p
g 0 1 k 2 sen2 ()
donde k = sen(0 /2).
Se sabe que T (0 ) realmente depende de 0 . De hecho, la grca de T (0 )
es como la de la gura 1.4. Se observa que para oscilaciones pequeas, es decir,
q
para 0 prximo a 0, el perodo de oscilacin es aproximadamente 2 l
g
.
1.1. El pndulo linealizado
A diferencia de las oscilaciones de la ecuacin del pndulo ya vista, las

del pndulo linealizada s tienen un perodo constante. Si suponemos que la
amplitud de la oscilacin es pequea, es decir, 0 es muy cercano a cero y,
por lo tanto, (t) estar tambin cercano a cero, podemos aproximar sen()
10
por 1 y la ecuacin se transforma en:
g
00 (t) + (t) = 0 (1.1.1)
l
que es la ecuacin del pndulo linealizada.
Con un anlisis similar al hecho para el pndulo (multiplicando la ecuacin

por 0 y expresando 00 0 = 21 (0 )2 y 0 = 12 (2 )0 , obtenemos que la cantidad
1 g
V = ((0 (t))2 ) + ((t))2
2 2l
se conserva y, por lo tanto,
1 0 g g
( (t))2 + ((t))2 = (0 )2
2 2l 2l
El perodo en este caso se expresa como:

s Z s Z s s
0 1
l d l dx l l
T (0 ) = 4 p =4 =4 = 2
g 0 2
(0 ) ()2 g 0 1x 2 g2 g
que es obviamente independiente del ngulo inicial. Este resultado est
diciendo que en una primera aproximacin y para desplazamientos angulares
pequeos, el perodo de las oscilaciones del pndulo se puede considerar in-
dependiente del desplazamiento original y slo depende de la longitud del
pndulo.
1 Esto puede verse observando el desarrollo en serie de sen():

3 5 7
sen() = + + ...
3! 5! 7!
11
Figura 1.5: Solucin del pndulo linealizado
De hecho las soluciones de la ecuacin 1.1.1, se pueden obtener directa-

mente y vienen dadas por
r r
g g
(t) = A sin( t) + B cos( t)
l l
Las constantes A y B vienen determinadas por las condiciones iniciales.

Por ejemplo, si el pndulo parte del reposo (0 (0) = 0) y desde un ngulo
(0) = 0 ), la solucin viene dada por
r
g
(t) = 0 cos( t)
l
1.2. Construccin de relo jes
Los resultados de las secciones anteriores no son sucientes para el diseo

de un mecanismo que tenga oscilaciones independientes del desplazamien-
to angular original, base en la que se asienta la construccin de relojes de
pndulo. Por lo tanto, cabe preguntarse, y as se lo pregunt Huygens en
el siglo XVII, qu condiciones debera tener una curva y = f (x) para que
las oscilaciones producidas por un objeto al deslizarse a lo largo de ella no
12
Figura 1.6: Perl de la funcin f (x)
dependiesen de la posicin inicial del objeto.
Ya que el movimiento de una masa acoplada a un pndulo es equivalente

al moviemiento de una masa que se desliza a largo de una curva circular es
evidente que la funcin que se est buscando y = f (x) no es circular.
Resulta esperable que la funcin y = f (x) tenga un perl como el de la gura
1.6. En particular, debe ser simtrica con respecto del eje vertical, convexa,
y asumiremos que es tal que f (0) = 0 y f (x) > 0 para x 6= 0.
Para el movimiento de un objeto deslizndose a lo largo de esta curva

tambin se tiene un principio de conservacin de la energa, que viene dado
como es usual por la suma de la cintica 21 mv 2 y la energa potencial mgh,
donde v es la velocidad de la masa y h la altura a la que se encuentra. Si
el objeto se mueve de acuerdo a la curva (x(t), y(t)) donde y(t) = f (x(t)),
tenemos que la velocidad v verica
v(t)2 = (x0 (t))2 + (y 0 (t))2 = (1 + f 0 (x(t))2 )(x0 (t))2
y
mgh = mgf (x(t)).
Por lo tanto, tenemos que si originariamente el objeto se deja deslizar
13
del reposo desde la posicin (x0 , f (x0 )), tendremos, en virtud de la ley de
conservacin de la energa, que
1
m(1 + f 0 (x(t))2 )(x0 (t))2 + mgf (x(t)) = mgf (x0 ).
2
Por un anlisis similar al realizado anteriormente tendremos que
f (x0 ) f (x(t))
(x0 (t))2 = 2g
1 + f 0 (x(t))2
que implica que p
dx p f (x0 ) f (x(t))
= 2g p
dt 1 + f 0 (x(t))2
y separando variables e integrando, el tiempo que tarda en ir desde (x0 , f (x0 ))
hasta (x0 , f (x0 )) viene dado por:
r Z x0 p
1 1 + f 0 (x)2
= p dx
2g x0 f (x0 ) f (x)
Por lo tanto, el perodo, es decir, el tiempo que tarda en ir desde (x0 , f (x0 ))
hasta (x0 , f (x0 )) y volver a (x0 , f (x0 )) viene dado por

r Z x0 p
2 1 + f 0 (x)2
T (x0 ) = 2 = 2 p dx
g 0 f (x0 ) f (x)
Se trata, por lo tanto, de obtener una funcin f tal que la integral no

dependa de x0 . Observamos primero que el trmino 1 + f 0 (x)2 es familiar
p
y est relacionado con la longitud de arco. Hagamos entones, el siguiente

cambio de variable Z x
(1.2.1)
p
s(x) = 1 + f 0 (z)2 dz
0
Este cambio tiene un sentido geomtrico: estamos reparametrizando la

funcin y el problema en trminos de la longitud de arco de la curva (x, f (x)),
14
Figura 1.7: Longitud de arco de f
medida desde x = 0, con la convencin de que para x positivos, la longitud

de arco es positiva y para x negativos, la longitud de arco es negativa. De-
notaremos por x(s) la funcin inversa de s(x). Derivando la expresin 1.2.1
con respecto de x, obtenemos que ds = 1 + f 0 (x)2 dx.
p
r Z s(x0 )
2 ds
T (x0 ) = 2 p
g 0 f (x0 ) f (x(s))
En vista de lo establecido para el pndulo linealizado si la funcin f (x(s)) =
s2 tendremos que
s(x0 )
r Z r
8 ds 2
T (x0 ) = p =
g 0 s(x0 )2 s2 g
y es independiente de la posicin inicial x0 . Por lo tanto, se est buscando
una funcin f tal que, en funcin de su longitud de arco, es una parbola,

ver gura 1.7.
Este problema fue resuelto utilizando las herramientas del Clculo por
Jacques Bernoulli en 1960. La demostracin se basa en reescribir la ecuacin
f (x) = s2 como una ecuacin diferencial. La ecuacin es equivalente a
15

s. Derivando con respecto de x obtenemos
p
f (x) =
f 0 (x) p
p = 1 + (f 0 (x))2
2 f (x)
Elevando al cuadrado y agrupando trminos se llega a

4f (x)
(f 0 (x))2 =
1 4f (x)
que implica s
df 4f (x)
=
dx 1 4f (x)
que es una ecuacin de variables separables y, por lo tanto,
Z s
1 4f (x)
df = x
4f
Sustituyendo 4f = sin2 (z), 2df = sen(z) cos(z)dz , obtenemos

Z
cos2 (z)dz = 2x
1 1
z + sen(2z) + C = 2x
2 4
Por lo tanto, la solucin viene dada en coordenadas paramtricas por
1 1 1
x= ( z + sen(2z)) + C
2 2 4
1 1 1 1
f= sen2 (z) = ( cos(2z))
4 4 2 2
Como f (0) = 0 tendremos que C = 0.
Haciendo el cambio de variable 2z = , obtenemos
16
Figura 1.8: Cicloide invertida
1
x= 8
( + sen())
1
f= (1 cos())

8
que es la ecuacin paramtrica de una cicloide invertida, ver gura 1.8.
Esta curva fue muy estudiada por Galileo, quien intent calcular el rea
debajo de la curva y la longitud de un arco de cicloide. Esta curva tiene
propiedades geomtricas y fsicas interesantes. Ya hemos visto que las os-
cilaciones de una masa que se desliza sobre ella tienen el mismo perodo,
independientemente del punto inicial desde donde parte la oscilacin, hecho
que fue probado por Huygens. Esta es la propiedad iscrona.
Tambin se prob que esta curva tiene la propiedad braquistcrona (brchis-

tos, en griego, es el superlativo de brachys, que signica corto, y chrnos sig-
nica tiempo): si tenemos dos puntos a distinta altura y nos preguntamos
cul es la curva que une esos dos puntos con la propiedad que un objeto que
se desliza sobre la curva toma el menor tiempo posible en ir desde el punto
ms alto al ms bajo con tan slo la accin de la gravedad, esta curva es una
cicloide tambin. Esto lo probaron Newton, Leibnitz, Bernoulli y L`Hospital.
A partir de la propiedad isocrona de la cicloide, Huygens propuso la con-
17
Figura 1.9: Reloj de pndulo de Huygens
struccin de relojes de acuerdo al diseo de la gura 1.9.
1.3. Movimiento planetario
El campo de investigacin ms activo durante los siglos XVI-XVIII es,

sin lugar a duda, el de la astronoma. A partir del establecimiento por Copr-
nico de la teora heliocntrica y con la posterior defensa de esta teora por
parte de Galileo, posicin que le vali no pocos problemas con la Iglesia,
los cientcos se centraron en estudiar y deducir las rbitas planetarias. En
base a los innumerables datos experimentales del astrnomo Tycho Brahe,
principalmente sobre la rbita de Marte, Kepler en sus trabajos Astronoma
Nueva (1609)y La Armona del Mundo (1619) lleg a enunciar sus tres leyes
fundamentales sobre el movimiento de los planetas:
1. Los planetas se mueven en rbitas elpticas ocupando el Sol uno de los

focos de la elipse.
2. El rea barrida por el radio vector de un planeta en tiempos iguales es

igual.
18
3. El cuadrado del perodo de revolucin es proporcional al cubo de los
semiejes mayores de la elipse.
Estas tres leyes son totalmente empricas. Newton en su obra Principios

Matemticos de la Filosofa Natural, dedujo estas tres leyes a partir de las
leyes de la Mecnica y de la Ley de Gravitacin Universal que l mismo haba
enunciado. Fue un primer logro de la Mecnica.
El inters por el estudio del movimiento planetario, en especial por el de

la Luna, viene motivado entre otros aspectos por la navegacin. El mtodo
usual para determinar la posicin de un barco en el mar dependa de un
conocimiento exacto (con un error de menos de 15"de arco) de la posicin
de la Luna en cada instante en relacin a un meridiano dado, que en aquella
poca se j en el meridiano de Greenwich. En esos tiempos, la precisin era
mucho peor. Esto provoc el inters por estudiar de forma exacta la rbita
de la Luna.
Newton, en sus Principia, resolvi ya el movimiento de dos cuerpos, es

decir, el movimiento de un planeta alrededor del Sol sin considerar las per-
turbaciones que otros planetas puedan ejercer sobre el movimiento bajo la
accin gravitatoria del Sol de una masa puntual, es decir, despreciando la
accin que el planeta pueda ejercer sobre el Sol debido a que su masa es muy
pequea en comparacin con la del Sol. Tambin Newton abord el proble-
ma fundamental de los tres cuerpos, es decir, el del sistema Sol-Tierra-Luna.
Este es el comienzo de un itinerario cientco que llega incluso a nuestros das.
19
Paradjicamente, a pesar de ser Newton el padre de la Mecnica y uno de
los creadores del Clculo, la mayora de las demostraciones realizadas en sus
obras son de ndole geomtrica. No obstante, en el siglo XVII y en base a es-
fuerzos considerables de matemticos de la talla de Euler, Lagrange, Laplace,
etc., se instaur la Mecnica Analtica que utiliza las herramientas del Cl-
culo para el anlisis de los problemas de Mecnica.
Veamos una demostracin sencilla del movimiento planetario. Consider-

emos que el Sol ocupa el origen de coordenadas y que tenemos una masa
m que se mueve bajo la accin gravitatoria de ste. Denotamos por ~r(t) el
vector posicin del planeta a tiempo t, es decir, ~r(t) = (x(t), y(t), z(t)). Por
las leyes de la mecnica, la fuerza que acta sobre la masa m es responsable
de la aceleracin del cuerpo, que viene dada por d2 ~
dt2
r
. Es decir,
d2~r
m = F~
dt2
Pero la fuerza que acta sobre la masa es tan slo la accin gravitatoria del
Sol, que es proporcional al producto de las masas, inversamente proporcional
al cuadrado de la distancia y va dirigida hacia el Sol, es decir,
M m ~r
F~ = G 2
r r
donde r = |~r| = x2 + y 2 + z 2 , que representa la distancia de la mas al Sol.
p
Obsrvese tambin que ~

r
r
representa un vector unitario en la direccin de ~r.
Por lo tanto, la ecuacin que rige el comportamiento de m viene dada por
20
d2~r M m ~r
m 2
= G 2
dt r r
que, simplicando, se reduce a

d2~r M
= G ~r (1.3.1)
dt2 r3
Esta ecuacin consta en realidad de tres ecuaciones,
d2 x
dt2
= GM (x2 +y2x+z2 )3 /2
d2 y
dt2
= GM (x2 +y2y+z2 )3 /2
d2 z
dt2
= GM (x2 +y2z+z2 )3 /2
Multiplicando vectorialmente la ecuacin 1.3.1 por ~r, es decir,

d2~r M
2
~r = G 3 ~r ~r = 0 (1.3.2)
dt r
y observando que d2 ~
dt2
r
~r = d d~
( r
dt dt
~r), se tiene que d2 ~
dt2
r
~r debe ser constante
a lo largo de la trayectoria.
Esto se traduce en que la rbita del planeta est siempre en un mismo

plano, que podemos suponer que es el plano (x, y). Por lo tanto, reduci-
mos el nmero de ecuaciones a dos o, similarmente, podemos considerar que
~r = (x(t), y(t)). Es necesario tambin especicar las condiciones iniciales del
planeta. Supongamos, por lo tanto, que el planeta inicialmente est en la
posicin ~r(0) = (a, 0) y su velocidad inicial viene dada por ~r(0)
= (0, v), ver
gura 1.10.
21
Figura 1.10: Movimiento Planetario
Pasando a coordenadas polares, de forma que x = r cos(), y = r sen()

y escribiendo las ecuaciones en estas dos coordenadas, es decir, describiendo
el movimiento del planeta como (r(t), (t)), tenemos que x = r cos()
r sen(), y = r sen() + r cos(). Derivando de nuevo estas expresiones,
obtenemos
sen(),
r r 2 ) cos() (2r + r)
x = (
cos().
r r 2 ) sen() + (2r + r)
y = (
Sustituyendo estos valores en las ecuaciones, se obtiene,
r r 2 ) cos() (2r + r)
( sen() = GM cos()
r2
r r ) sen() + (2r + r)
( 2 cos() = GM 2
sen()
r
Multiplicando la primera ecuacin por cos(), la segunda ecuacin por

sen() y sumando ambas, obtenemos
GM
r r2 = 2 (1.3.3)
r
22
Multiplicando ahora la primera ecuacin por sen(), la segunda ecuacin
por cos(), y restando ambas obtenemos
2r + r = 0 (1.3.4)
Las ecuaciones 1.3.3 y 1.3.4 son equivalentes a las originales y describen

todo el movimiento planetario. Observar, adems que las condiciones iniciales
se pueden escribir como (r(0), (0)) = (a, 0) y (r(0),

(0)) = (0, v/a).
La segunda ecuacin se puede expresar como dtd (r2 d
dt
) = 0, lo que equivale
a
r2 = C (1.3.5)
donde C es una constante independiente de t, que se puede calcular a

partir de las condiciones iniciales. De hecho, C = a2 av = av . Es decir, a lo
largo de la trayectoria del planeta, la cantidad r(t) = r2 d
dt
se mantiene con-
stante. En particular, para dos instantes de tiempo t1 < t2 , tenemos que
Z t2
d(t)
r(t)2 dt = av(t1 t2 )
t1 dt
Pero la cantidad dt tiene un signicado claro y es el rea barri-
R t2
t1
r(t)2 d(t)
dt
da por el radio vector del planeta desde el tiempo t1 hasta el tiempo t2 . Se

obtiene, por lo tanto, la ley de las masas de Kepler: el rea barrida por el
radio vector de un planeta en tiempos iguales es igual.
A modo de ancdota, Kepler utiliz la siguiente frmula para el rea ba-

rrida por un planeta:
23
Figura 1.11: rea barrida
Z s2
1
A= r ds
2 s1
donde s es la longitud de arco.

Esta frmula es incorrecta pues se puede ver que si x = r() cos(), y =
r() sen(), entonces
r r
dx dy dr 2
ds = ( )2 + ( )2 d = ( ) + r2 d.
d d d
De forma que la frmula de Kepler es
Z 2
r
1 dr 2
A= r ( ) + r2 d
2 1 d
que no coincide con la frmula del rea en coordenadas polares:
Z 2
1
A= r2 d.
2 1
Afortunadamente, Kepler cometi otro error que se autocancel con el primero

y as lleg a la formulacin correcta de la ley de las reas. Supuso que la ve-
locidad de un instante dado era inversamente proporcional a la distancia
al Sol, cuando, de hecho (y as se puede ver a travs de las ecuaciones del
24
Figura 1.12: Velocidad del planeta
movimiento planetario), es inversamente proporcional a las distancia del Sol

a la recta tangente de la rbita del planeta, ver gura 1.12. Volviendo a nues-
tras ecuaciones y despejando de 1.3.5 y sustituyendo en 1.3.3, obtenemos
GM a2 v 2
r + =0 (1.3.6)
r2 r3
que es una ecuacin de segundo orden en r. La variable se ha eliminado.
La presencia de trminos de la forma 1/r en la ecuacin sugiere el cambio
de variable, z = 1/r. Se tiene,
dr d 1 1 dz 1 dz d 1 dz av dz
= ( )= 2 = 2 = 2 = av
dt dt z z dt z d dt z d r2 d
en donde hemos utilizado la ecuacin 1.3.5. Similarmente se puede obtener
d2 r d dz dz 2 d 2 2 dz
2
= av = av = (av) z
dt2 dt d d2 dt d2
y sustituyendo en 1.3.6, obtenemos que:
d2 z GM
2
+z = (1.3.7)
d (av)2
Si ahora denotamos porw = z (av)
GM
2 obtenemos que
d2 w
+w =0
d2
25
que es la ecuacin del pndulo linealizado (ver Seccin 1.1) y cuya solu-
cin general viene dada por
w() = A sin() + B cos()
donde A y B se obtienen a partir de las condiciones iniciales. Puesto que

2 , deshaciendo el cambio de variable y utilizando las condiciones
1 GM
w= r
(av)
iniciales, podemos obtener que
a2 v 2 /GM
r() =
1 + e cos()
donde e = |av 2 /GM 1|. Esta es la ecuacin de una cnica con excentricidad
e. De forma que:
i) Si e = 0 es un crculo.
ii) Si 0 < e < 1 es una elipse.
iii) Si e = 1es una parbola.
iv) Si e > 1 es una hiprbola.
De est a forma se prueba que las rbitas de los planetas son elipses
(av 2 /GM < 1). Adems, del anlisis matemtico hecho, se desprende la
posibilidad de la existencia de otros cuerpos sujetos a la accin gravitatoria
del Sol siguiendo rbitas que describen parbolas o hiprbolas. Este hecho
ha sido posteriormente corroborado por la obsevacin.
26
Captulo 2
Algunas ideas en la teora de
puntos crticos
La Teora de Puntos Crticos es una evolucin moderna de una vie-

ja parte del Anlisis Matemtico llamada Clculo de Variaciones .
Los problemas del Clculo de variaciones se remontan a los matemticos
griegos, por ejemplo, con el problema de Dido, de encontrar la curva cerrada
de longitud ja que encierra el rea mxima. Pero si exceptuamos algunas
cuestiones de ptica hechas por Pierre de Fermat, los primeros problemas
del futuro clculo de variaciones fueron introducidos en el mismo momento
del nacimiento del Clculo, a nes del siglo diecisiete. Podemos mencionar el
problema de Newton del slido de revolucin que ofrece la menor resistencia
de un uido, o el problema de encontrar la trayectoria ms corta que une
dos puntos jos en el plano, el espacio o sobre una supercie (geodsica ), o el
problema de encontrar la curva sobre la cual un mvil sin friccin se mueve
en un plano vertical, slo bajo el efecto de la gravedad, desde un punto a
otro (braquistcrona ).
La teora de puntos crticos aparece naturalmente en Mecnica clsica,
27
con el llamando principio de mnima accin. Si queremos saber cmo un sis-
tema fsico evoluciona de un estado A a un estado B , uno puede denir una
funcin que asocia a cada camino de A a B una cantidad real llamada accin.
El principio fsico dice que el camino seguido por el sistema ser un punto
crtico de esta funcin. Ac es donde el nombre del principio es engaoso: el
sistema fsico no slo puede seguir caminos de mnima accin, que correspon-
den a mnimos, sino que tambin pueden ser mximos o puntos silla. Pero tal
formulacin del problema es bastante nueva, y los fsicos encontraron muchos
trucos para evitar esta clase de espacios y funciones.
En trminos modernos (ha tomado siglos llegar a esto y hacerlo eciente),
los problemas de clculo de variaciones consisten en encontrar mximos o
mnimos de funciones reales denidas en un espacio de funciones. El problema
tpico, como mostr Euler a mediados del siglo XVIII, consiste en encontrar
el mnimo ( el mximo) de una expresin del tipo
Z b
f (x, y(x), y 0 (x)) dx (2.0.1)
a
sobre todas las funciones suaves y que vayan de (a, y(a)) a (b, y(b)).
Euler mostr de una manera bastante indirecta y luego Lagrange, que si

tal funcin y existe, debe ser solucin de la ecuacin diferencial ordinaria de
segundo orden
d
y0 f (x, y(x), y 0 (x)) y f (x, y(x), y 0 (x)) = 0 (2.0.2)
dx
Esta es la ecuacin de Euler-Lagrange que corresponde para el pro-
blema de Clculo de variaciones, la condicin necesaria
F (x) = 0.
28
para que la funcin con valores reales F alcance un mximo o un mnimo.
Por supuesto, cuando y(x) es una funcin de n variables, y 2.0.1 una corres-
pondiente integral mltiple sobre un conjunto n-dimensional, , entonces la
ecuacin de Euler-Lagrange asociada es una ecuacin diferencial en derivadas
parciales, y las condiciones en a y b se reemplazan por condiciones para y
sobre el borde (condiciones de borde).
Por mucho tiempo, el esfuerzo de los matemticos se ha concentrado en

resolver explcitamente cuando fuera posible la ecuacin de Euler-Lagrange, y
luego encontrar un candidato para mnimo de 2.0.1 sobre una familia de fun-
ciones. Pero esto no siempre se poda hacer, por ejemplo, cuando la ecuacin
2.0.2 es no lineal o no es integrable.
Por mucho tiempo, la existencia de un mnimo mximo no fue cuestio-

nada, siendo considerada como evidente en contextos matemticos o fsicos.
Cerca de la mitad del siglo XIX, se desarroll un nuevo punto de vista,
motivado por el creciente inters por los teoremas de existencia iniciado por
Gauss. Este nuevo punto de vista, consista en mostrar la existencia de una
solucin a la ecuacin 2.0.2 que satisfaca las condiciones de borde:
y(a) = A , y(b) = B (2.0.3)
y probar directamente que la expresin 2.0.1 tiene un mximo o mnimo sobre

la clase de funciones que satisfacen las condiciones 2.0.3. Tal mtodo, llamado
el mtodo directo del cculo de Variaciones primero surgi de forma heurstica
en demostraciones incompletas de Gauss, Dirichlet, Kelvin y Riemann sobre
29
la solubilidad del llamado Problema de Dirichlet :
y(x) = 0 x , y(x) = f (x) x (2.0.4)
donde es el Laplaciano y f es una funcin con valores reales denida sobre

.
La ecuacin 2.0.4 es la ecuacin de Euler-Lagrange asociada a la integral

de Dirichlet Z
|y(x)|2 dx (2.0.5)

y la existencia de un mnimo fue considerada una consecuencia trivial de su
positividad (Principio de Dirichlet ), hasta que Weierstrass dio un contrae-
jemplo en 1870, en dimensin 1, mostrando que la integral
Z 1
[xy 0 (x)]2 dx
1
no tiene mnimos sobre el conjunto de funciones C 2 tales que y(1) = a,

y(1) = 1 cuando a 6= b.
No obstante, este no fue un contraejemplo del principio de Dirichlet, y, a
nes del siglo XIX, Arzel trat de usar su teorema de compacidad para una
familia de funciones equiacotadas y equicontinuas, para probar la existencia
del mnimo y lleg a estar cerca de la conclusin en 1897.
Aparentemente desconociendo las contribuciones de Arzel (al menos no

las mencionaba), Hilbert esboz una demostracin rigurosa del Principio de
Dirichlet cuando n = 2 en 1900, bajo ciertas condiciones sobre f y . Fue el
primer paso de una larga sucesin de artculos que daban cuenta de la profeca
que Hilbert hizo en su famosa conferencia en el Congreso Internacional de
Matemticos en Paris:
30
Estoy convencido de que ser posible probar teoremas de existen-
cia usando un principio general, cuya naturaleza est motivada
por el Principio de Dirichlet.
En particular, el trabajo de Levi, Fubini, Lebesgue, Zaremba, Lichtenstein,

Courant, Tonelli y otros ha enfatizado el importante rol que juega la integral
2.0.1, a saber: su semicontinuidad, con respecto a un tipo de convergen-
cia apropiada para y . La famosa monografa Fundamenti di Calcolo delle
Variazioni, de Tonelli, publicada entre 1921 y 1923 mayormente dedicada a
este concepto, ha motivado el trabajo posterior de matemticos como Hahn,
Lavrentiev, Graves y otros en los treinta. La situacin en este momento es
bien resumida por Volterra, quien en 1932, escribi:
En lugar de estudiar los problemas de clculo de variaciones re-

ducindolos a ecuaciones diferenciales, es conveniente reducir los
problemas que, a primera vista son de ecuaciones diferenciales , a
problemas de clculo de variaciones. Esto tiene una importancia,
que puede decirse losca, y tambin una importancia prctica.
Los nuevos mtodos del Calculo de Variaciones no slo son im-
portantes desde el punto de vista de esta ciencia, sino tambin
tienen gran inters para el estudio de ecuaciones diferenciales y
de muchos problemas que estn conectados. Tambin le dan un
nuevo inters a la teora de funcionales.
En la terminologa de su fundador Volterra, la teora de funcionales, es lo

que ahora llamamos, debido a Paul Levy, anlisis funcional. Esta parte de
la matemtica ha unicado y generalizado el mtodo del clculo de varia-
ciones. No es de sorprender, que un artculo sobre minimizar un funcional en
31
un espacio de Banach, debido a los matemticos polacos Mazur y Schaud-
er, haya sido presentado en Oslo en 1936, despus de que Golomb deni
el concepto de gradiente de un funcional en un espacio de Hilbert. Algu-
nas condiciones restrictivas fueron eliminadas en lo sucesivo por Lusternik,
Sobolev, Tsitlanadze, Vainberg y otros. Este tipo de resultados sern descrip-
tos en el siguiente captulo.
32
Captulo 3
Minimizacin de funcionales
dbilmente semicontinuos
inferiormente en un espacio de
Banach reexivo
Si es una funcin real denida en un subconjunto de un espacio de

Banach E , y si queremos encontrar condiciones para que tenga un mnimo,
necesitamos una generalizacin apropiada del concepto de derivada. La ms
simple es la de derivada de Gateaux.
Denotemos por E el espacio dual de E y h, i la dualidad entre E y E . Sea
U E un abierto no vaco.
Denicin 3.0.1 Si : U R, decimos que tiene una derivada de

Gateaux u E en y U , si para todo h E se tiene
(y + th) (y) hu , thi
lm =0
t0 ktk
Una condicin ms fuerte es la derivabilidad de Frchet:
33
Denicin 3.0.2 Si : U R, decimos que tiene una derivada de
Frchet u E en y U , si
(y + v) (y) hu , vi
lm = 0.
v0 kvk
Claramente la derivada de Frchet en y es la derivada de Gateaux en y y

la notamos por u = 0 (y)(v) = h0 (y), vi. Decimos que pertenece a
C 1 (U, R) si su derivada de Frchet existe y es continua en U .
Con estas notaciones, es sencillo generalizar en el contexto de espacios de
Banach la condicin necesaria para la existencia de un mximo o un mnimo
local de en y U ,
0 (y) = 0 (3.0.1)
cuando es diferenciable Gateaux en y . Cualquier y A que satisface la

ecuacin 3.0.1 se llama un punto crtico de , y el correspondiente nmero
(y) se llama valor crtico.
En consecuencia, si una aplicacin : E E puede escribirse como = 0
para alguna funcin diferenciable Gateaux : E R, todo punto crtico de
es una solucin de la ecuacin
(u) = 0
En particular, es el caso de un mximo o un mnimo local de .
La introduccin por Calkin y Morrey, antes de la Segunda Guerra Mundial,

de los espacios de Sobolev en problemas variacionales de dimensin innita,
muestra el rol que cumple la reexividad del espacio para probar la existencia
de un mnimo para un funcional. Una versin moderna del teorema de Mazur-
Schauder, puede ser enunciada as:
34
Teorema 3.0.1 Si E es un espacio de Banach reexivo, C E es dbil-
mente cerrado, y : C R es dbilmente semicontinua inferiormente, en-
tonces tiene un mnimo sobre C s y slo s tiene una sucesin minimizante
acotada en C .
Recordemos algunos conceptos que se mencionan en el teorema:

E es reexivo si la inyeccin cannica J : E E entre E y su doble dual
E es biyectiva. Por ejemplo, cualquier espacio de Hilbert es reexivo.
C es dbilmente cerrado si contiene el lmite de todas sus sucesiones d-
bilmente convergentes.
Que sea dbilmente semicontinua inferiormente (DSCI) en y C
E signica que
yk * y lm inf (yk ) (y).
k
Finalmente, una sucesin minimizante para en C es una sucesin

(yk )k1 C tal que
(yk ) nf .
C
La demostracin del Teorema 3.0.1 depende del siguiente lema de compacidad

dbil :
Lema 3.0.2 Cualquier sucesin acotada en un espacio de Banach reexivo

contiene una subsucesin dbilmente convergente.
Demostracin:(del teorema 3.0.1)

Es clara, ya que tomamos la sucesin (yk )k1 = mnyC (y).
Se sabe que existe (yk )k1 C acotada tal que (yk ) nf C .
Pasando a una subsucesin si fuera necesario, podemos suponer que
35
yk * y0 C , pues C es dbil cerrado, entonces
lm inf (yk ) (y0 ).

k
Pero (yk ) nf C , entonces
nf (y0 )
C
nf = (y0 ).
C
Algunas de la hiptesis del Teorema 3.0.1 pueden que no sean fciles de

vericar, por lo que los siguientes resultados sern tiles:
Lema 3.0.3 Un conjunto convexo en un espacio de Banach es dbilmente
cerrado si y slo s es cerrado (con la topologa fuerte).
Lema 3.0.4 Una funcin convexa : E R es DSCI en y si y slo si es
semicontinua inferiormente (SCI) en y .
La semicontinuidad inferior de una funcin consiste en reemplazar la
convergencia dbil por la convergencia fuerte, en la denicin de DSCI .
Es claro que si C est acotado, cualquier sucesin minimizante en C
tambn lo estar. Si C no est acotado, todas las sucesiones minimizantes
de en C sern acotadas si es coerciva en C , o sea si
(x) + cuando kxk
Combinando estos resultados con el Teorema 3.0.1 obtenemos otra proposi-

cin ms fcil de usar:
Corolario 3.0.5 Sea E un espacio de Banach reexivo, C E cerrado
convexo y : C R DSCI y coerciva. Entonces tiene un mnimo sobre
C.
En particular, esto ocurre cuando es SCI y convexa.
36
Captulo 4
Deformacin de funcionales reales
en un espacio de Banach y el
principio variacional de Ekeland
Sabemos que una funcin coerciva est acotada inferiormente, pero el

recproco no es cierto: una funcin que est acotada por abajo no necesari-
amente tiene un mnimo, como lo vemos por ejemplo en la exponencial. No
obstante, Ekeland ha mostrado en 1974 que, bajo condiciones bastante ge-
nerales, las funciones que estan acotadas inferiormente admiten puntos casi
crticos. Existen varias demostraciones y variantes del resultado de Ekeland.
Una de ellas est basada en un lema cuantitativo de deformacin introducido
en 1966 por R. Palais. Dada una funcin con valores reales en un Banach,
la idea ser construirse una ecuacin diferencial
0 (t) = g((t))
en E tal que decrezca a lo largo de sus soluciones (t; y) con condicin

inicial y en t = 0. En el caso de un Hilbert se tiene:
d
((t, y)) = h((t, y)), 0 (t, y)i = h((t, y)), g((t, y))i
dt
37
y esta expresin ser negativa (fuera del conjunto de los puntos crticos de
), si uno elige:
g() = h()().
donde h es una funcin escalar positiva apropiada que podemos elegir arbi-
trariamente de forma tal de facilitar el estudio de la ecuacin diferencial.
Ahora hagamos ms precisas esas ideas.

Empezaremos introduciendo el concepto de pseudogradiente 1 .
Denicin 4.0.3 Sean E un espacio Banach, U E , y C 1 (U, R).

Entonces, v E es un vector pseudogradiente para en y U si:
kvk 2k0 (y)k, h0 (y), vi k0 (y)k2 .
Sean C 1 (E, R) y E {y E| 0 (y) 6= 0}. Entonces, g : E E es

un campo pseudogradiente sobre E si g es localmente Lipschitz y g(x) es
un vector pseudogradiente para para todo x E .
Observacin 4.0.6 En el caso de un Hilbert H , para : H R, y cada

x H aplicando el Teorema de Representacin de Riesz, existe y H nico
tal que D(x)(y) = hy, zi para todo z H , luego se pude denir el gradiente
de en x por (x) = y . Y en este caso, las desigualdades de la denicin
anterior se cumplen trivialmente:
kyk = kD(x)k
y
D(x)(y) = hy, yi = kD(x)k2 .
1 Palais introdujo este concepto por primera vez en 1966
38
Por lo tanto,el gradiente es, en particular, un campo pseudogradiente.
El siguiente lema de existencia se debe a Palais.
Lema 4.0.7 Con las notaciones y bajo las hiptesis de la denicin 4.0.3,
existe un campo pseudogradiente para sobre E .
Demostracin: Para cada v E , podemos encontrar x E tal que kxk = 1

y
2
h(v), xi > k0 (v)k.
3
Denimos u := 23 k0 (v)kx, de manera que
3
kuk = k0 (v)kkxk < 2k0 (v)k
2
y
3 3 3 2
h0 (v), ui = h0 (v), k0 (v)kxi = k0 (v)kh0 (v), xi > k0 (v)k k0 (v)k =
2 2 2 3
= k0 (v)k2 .
Es decir u es un vector pseudogradiente para 0 en v .

La continuidad de 0 implica que u es un vector pseudogradiente para todo
y Nv , un entorno abierto de v , es decir, las desigualdades anteriores valen
para todo y Nv . La familia N = {Nv : v M } es un cubrimiento abierto
del espacio paracompacto E 2 .
2 Un espacio X es paracompacto si todo cubrimiento (abierto) tiene un renamiento
(abierto) localmente nito. Esto es, si C es un cubrimiento de X entonces existe C 0 =
(C )L , otro cubrimiento de X tal que para todo C C existe algn C C 0 tal que
C C y para todo x X , existen ndices 1 , ...n L y un entorno V 3 x tales que
V C 6= {1 , ...n }.
Se sabe que todo espacio mtrico es paracompacto.
39
Entonces, existe un renamiento de N , digamos M = {Mi : i I} local-
mente nito.
Sea
i (y) := d(y, E \ Mi ),
entonces i (y) = 0 si x
/ Mi y i es Lipschitz. Veamos esto:
Debemos ver que y, z E
|i (y) i (z)| = |d(y, E \ Mi ) d(z, E \ Mi )| Lky zk
Para todo x E \ Mi , tenemos
d(y, E \ Mi ) d(y, x) d(y, z) + d(z, x)
o sea
d(y, E \ Mi ) d(y, z) d(z, x), x E \ Mi
entonces,
d(y, E \ Mi ) d(y, z) d(z, E \ Mi )
d(y, E \ Mi ) d(z, E \ Mi ) d(y, z)
Anlogamente, se puede ver que
d(z, E \ Mi ) d(y, E \ Mi ) d(y, z)
As,
|d(y, E \ Mi ) d(z, E \ Mi )| d(y, z) = ky zk
es decir es Lipschitz, con L = 1.

Sea
i (y)
i (y) = P
kI k (y)
40
El denominador de j es, en realidad una suma nita (y distinta de 0 pues
{Mi } es un cubrimiento abierto de E ), ya que cada y E pertenece slo a
nitos Mk . Cada uno de los conjuntos Mi est incluido en algn Nvi .
Con la misma construccin que antes, sea
3
ui = k0 (vi )kxi
2
el vector pseudogradiente para en Mi y sea
X
g(y) = i (y)ui
iI
Resta ver que g es localmente Lipschitz, y g(y) es un vector pseudogradiente

para cada y E .
Teniendo en cuenta que j = 1, y la denicin 4.0.3,
P
j
? Sea y E y sea z Ny
X X
kg(y) g(z)k = k i (y)ui i (z)ui k
iI iI
X
=k (i (y) i (z))ui k
iI
X
|i (y) i (z)|kui k
iI

X i (y) i (y)
P P kui k

iI
k (y)
kI k (y) kI
P P
X i (y) k (y) k (y) i (y)

kI kI

P P kui k

iI
k (y)
kI k (y)kI

P P P
X
kI k (z)[i (y) i (z)] + i (z)[ kI k (z) kI k (y)]
kui k
= P P
iI

kI k (y) kI k (y)

P
X|
kI k (z)|Cky zk + M ky zk
P P kui k
iI kI k (y) kI k (y)
41
Lky zk.
P
? kg(y)k = iI i (y)ui = sumiI i (y)kui k sumiI i (y)2k0 (y)k
2k0 (y)k.
? h0 (y), g(y)i = h0 (y), i (y)h0 (y), ui i k0 (y)k2 .

P P
iI i (y)ui i = iI
Luego, g es un campo pseudogradiente para sobre E .
Si S E , > 0 y c R, usaremos las notaciones:
S := {y E : dist(y, S) }, c := 1 ((, c])
Este ltimo se llama conjunto de nivel c de la funcin .
Ahora enunciaremos y probaremos el lema cuantitativo de defor-
macin:
Lema 4.0.8 Sea E un espacio de Banach, C 1 (E, R), S E , c

R, , > 0 sean tales que para todo y 1 ([c 2, c + 2]) S2 ,
8
k0 (y)k (4.0.1)

Entonces, existe una deformacin C([0, 1] E, E) tal que:

1. (t, y) = y , si t=0 o si y / 1 ([c 2, c + 2]) S2 ;
2. (1, c+ S) c ;
3. (t, ) es un homeomorsmo de E en E , para cada t [0, 1];
4. k(t, y) yk , para todo y E ;
5. Si t1 , t2 [0, 1] tal que t1 t2 entonces ((t2 , y)) ((t1 , y)) y E ,
6. ((t, y)) < c, para todo y c S , y todo t [0, 1].
42
Demostracin: Como C 1 (E, R), por el lema anterior, existe un
campo pseudogradiente g , para 0 sobre E .
Denamos:
A = 1 ([c 2, c + 2]) S2
B = 1 ([c , c + ]) S
d(y, E \ A)
(y) =
d(y, E \ A) + d(y, B)
entonces es localmente Lipschitz:
? Sea y E y z Ny

d(y, E \ A) d(z, E \ A)
|(y) (z)| =

d(y, E \ A) + d(y, B) d(z, E \ A) + d(z, B)

d(y, E \ A)[d(z, E \ A) + d(z, B)] d(z, E \ A)[d(y, E \ A) + d(y, B)]
=
[d(y, E \ A) + d(y, B)][d(z, E \ A) + d(z, B)]

d(y, E \ A)[d(z, B) d(y, B] + d(y, B)[d(y, E \ A) d(z, E \ A)]
=
[d(y, E \ A) + d(y, B)][d(z, E \ A) + d(z, B)]

d(y, E \ A)d(z, y) + d(y, B)d(y, z)

[d(y, E \ A) + d(y, B)][d(z, E \ A) + d(z, B)]

d(y, E \ A) + d(y, B)
= d(y, z)
[d(y, E \ A) + d(y, B)][d(z, E \ A) + d(z, B)]
es decir,
|(y) (z)| Cky zk
? |E\A = 0, |B = 1 y 0 1
Denimos tambin, el campo vectorial localmente Lipschitz:

g(y)

(y). kg(y)k2 si y A
f (y) :=
si y E \ A

0
43
Entonces, por denicin de campo pseudogradiente y la hiptesis 4.0.1,
tenemos que:
kg(y)k 1
kf (y)k = k(y)k. 1.
kg(y)k2 k0 (y)k
Esta ltima desigualdad la tenemos por Cauchy-Schwartz y la denicin de
pseudogradiente: k0 (y)k2 h0 (y), g(y)i k0 (y)kkg(y)k
Continuando con la acotacin
1
kf (y)k
k0 (y)k 8
Consideremos ahora, el problema de Cauchy:
0
(t, y) = f ((t, y))
(4.0.2)
(0, y) = y

Por el teorema de existencia y unicidad para ecuaciones diferenciales ordi-

narias 3 , existe una nica solucin (t, y) denida para t en un intervalo
maximal (t (y), t+ (y)). Denimos : [0, 1] E E por (t, y) := (8t, y).
Veamos que (t (y), t+ (y)) = (, +). Si esto no fuera cierto, digamos
3 Sea
W E un abierto de un espacio normado, f : W E una aplicacin C 1 y
x0 W . Entonces, existe algn a > 0 y una nica solucn
x : (a, a) W
de la ecuacin diferencial
x0 = f (x)
satisfaciendo la condicin inicial
x(0) = x0
44
t+ (y) < . Tomemos tn % t+ , entonces
Z tn+1 Z tn
k(tn+1 , y) (tn , y)k = k f ((8s, y)) ds f ((8s, y)) dsk
0 0
Z tn+1 Z tn+1
=k f ((8s, y)) dsk kf ((8s, y))kds
tn tn
Z tn+1

ds = |tn+1 tn |
tn 8 8
Entonces, ((tn , y))n1 es una sucesin de Cauchy, por lo tanto converge
a algn y0 E . Pero este y0 es una continuacin de la solucin (t, y)
para valores de t > t+ (y), lo que contradice la maximalidad de t+ (y). En-
tonces, t+ (y) = +. Anlogamente, se prueba que t (y) = . Por otro
lado, el Teorema de dependencia continua de las condiciones iniciales f 4 ,
C([0, 1] E, E). Veamos que cumple las condiciones del lema.
1 Tenemos que (0, y) = (0, y) = y , por 4.0.2.
Supongamos, ahora que y
/ 1 ([c 2, c + 2]) S2 , es decir y
/ A con
lo cual f (y) = 0, as, (t, y) = (8t, y) = y + f ((s, y))ds = y , por la
R 8t
0
unicidad de la solucin.
3 Por las propiedades del ujo de una ecuacin diferencial5 , t : t s (y) =
t+s (y) y t t = t t = id, t es un homeomorsmo (con inversa t ).
4 Sea
E un Banach, W E un abierto, y sea f : W E Lipschitz, con constante K .
Sean y(t), z(t) soluciones de
x0 = f (x)
en el intervalo cerrado [t0 , t1 ]. Entonces, para todo t [t0 , t1 ]:
|y(t) z(t)| |y(t0 ) z(t0 )|eK(tt0 )
.
5 Si
f : W E E , es localmente Lipschitz y W es un abierto de un espacio normado
E , se dene, para cada y W , el ujo asociado a la ecuacin diferencial x0 (t) = f (y(t)),
por (t) = (t, y) la nica solucin de la ecuacin tal que (0, y) = (y) denida en un
intervalo maximal J(y) R
45
4
k(t, y) yk = k(8t, y) yk =
Z 8t Z 8t
ky + f ((s, y))ds yk = k f ((s, y))dsk
0 0
Z 8t
kf ((s, y))kds
0

8t. .
8
5 Como
d d
((t, y)) = h0 ((t, y)), (t, y)i =
dt dt
g((t, y))
= h0 ((t, y)), f ((t, y))i = h0 ((t, y)), ((t, y)) i
kg((t, y))k2
((t, y)) 0 k0 ((t, y))k2
= h ((t, y)), g((t, y))i ((t, y))
k((t, y))k2 k((t, y))k2
d ((t, y))
((t, y)) . (4.0.3)
dt 4
entonces es decreciente como funcin de t.
6 Sean y c S , t [0, 1], entonces (y) < c. Por otro lado 5 dice que si
0 < t se tiene
((t, y)) < ((0, y)) = (y)
donde la ltima igualdad se sigue de 1.

As,
((t, y)) < c.
2 Supongamos que y c+ S . Debemos ver que (1, y) c

Si existe algn t [0, 8] tal que ((t, y)) < c entonces por 5,
((8, y)) ((t, y)) < c .
46
Si (t, y) 1 ([c , c ]) para todo t [0, 8], entonces usando 4.0.3
podemos escribir
Z t Z t
0 1
((s, y))ds ((s, y))ds
0 4 0
para todo t. En particular, t = 8,

Z 8 Z 8
0 1
((s, y))ds ((s, y))ds
0 4 0
Z 8
1
((8, y)) ((0, y)) ((s, y))ds
4 0
1
((1, y)) ((0, y)) 8
4
((1, y)) (y) 2 = c ,
es decir (1, y) c .
Observacin 4.0.9 Este teorema dice que si c no es un valor crtico, los

conjuntos de nivel cerca de c se parecen y es posible deformarlos uno en el
otro, sin cambiar las propiedades topolgicas de los conjuntos.
Una forma simple de encontrar un punto crtico sera mirar los conjuntos
de nivel a y b : si tienen diferente topologa, entonces sabemos que debera
haber un valor crtico en [a, b].
El siguiente es el Principio de Ekeland que es una consecuencia inmediata

del lema anterior:
Corolario 4.0.10 Sea E un espacio de Banach, C 1 (E, R), acotada in-

feriormente, > 0, > 0 y z E tales que
(z) nf + .
E
47
Entonces, existe y E con las siguientes propiedades:
1. (y) nf E + 2;
2. ky zk 2;
3. k0 (y)k < 8 .
Demostracin: Aplicaremos el lema anterior con S = {z} y c := nf E .

Supongamos que para todo y 1 ([c, c + 2]) S2 se tiene k0 (y)k 8

.
Luego, por 2. del lema tendremos que ((1, z)) c , lo que contradice
la denicin de c. Por lo tanto, existe y E con las propiedades pedidas.
Tomando = 1
k2
, = k1 , (k = 1, 2, ...) en el corolario 4.0.10, se obtiene la
existencia de una sucesin minimizante formada por casi puntos crticos:

feriormente. Entonces, existe una sucesin (yk )k1 tal que
(yk ) nf , 0 (yk ) 0, k
E
Otra consecuencia del corolario 4.0.8 es este resultado probado por Brezis
y Niremberg en 1991.
Corolario 4.0.12 Sea E un espacio de Banach y C 1 (E, R) tal que
c := lm inf (y) R.
kyk
48
Entonces, para todo , > 0, R > 2 , existe y E tal que:
1. c 2 (y) c + 2;
2.kyk R 2;
3. k0 (y)k < 8

.
Demostracin: Supongamos que la tesis es falsa, y sea S = E \ B(0, R).

Por la denicin de c, el conjunto c+ S es no acotado y c B(0, R)
para r > 0 grande. Por 2 del lema 4.0.8, se tiene (1, c+ S) c ,
tambin, por 4, se tiene que
(1, c+ ) (c ) B(0, + )
lo que es una contradiccin.

El corolario anterior 4.0.12, da una relacin entre la existencia de suce-
siones minimizantes de casi puntos crticos y la coercitividad para funciones
acotadas inferiormente. Este resultado fue dado por Shujie Li en 1986.

feriormente. Si, para cada c R, toda sucesin (yn )n1 E tal que
(yn ) c, 0 (yn ) 0 n
est acotada, entonces es coerciva.
Demostracin: Supongamos que no es coerciva.

Tomando c = lm inf kyk (y) R, por el corolario 4.0.12 con = 1
k2
.= 1
k
y R = k , k = 1, 2..., existe una sucesin (yk )k1 E tal que
(yk ) c, 0 (yk ) 0 kyk k ,
49
si k , lo que contradice que (yk )k est acotada.
Para estudiar la existencia de puntos crticos de una funcin acotada

inferiormente, introduciremos variantes en las condiciones de compacidad,
debidas a Palais y Smale.
Sea E un espacio de Banach y : E R diferenciable Gateaux. La condicin
original de Palais-Smale es la siguiente:
Denicin 4.0.4 Una sucesin de Palais-Smale para es una sucesin

(yn )n1 E tal que ((yn ))n1 est acotada y (0 (yn ))n1 converge a 0. La
funcin satisface la condicin de Palais-Smale (PS) si cada sucesin
de Palais-Smale contiene una subsucesin convergente.
Una condicin ms dbil es la siguiente:
Denicin 4.0.5 Sea E un espacio de Banach y : E R diferenciable

Gateaux. Una sucesin de Palais-Smale en el nivel c para es una
sucesin (yn )n1 E tal que
(yn ) c, 0 (yn ) 0 n
La funcin satisface la condicin de (P S)c si la existencia de una suce-

sin de Palais-Smale en el nivel c implica que c es un valor crtico de .
Observacin 4.0.14 Por el corolario 4.0.13, una funcin C 1 (E, R),

acotada inferiormente, que tiene, para cada c R sus sucesiones (P S)c aco-
tadas, es coerciva. Recprocamente, es inmediato que una funcin coerciva
tiene todas sus sucesiones (P S)c acotadas.
50
El siguiente resultado es una consecuencia de la denicin anterior y el
corolario 4.0.11.

feriormente. Si satisface la condicin (P S)c para c = nf E , entonces
tiene un mnimo y c es un valor crtico de .
Demostracin: Como est acotada inferiormente, por el corolario

4.0.11, existe una sucesin (yk )k1 E tal que
(yk ) nf , 0 (yk ) 0, k
E
es decir,(yk )k1 es una sucesin de (P S) para en el nivel c = como

satisface (P S)c , c es una valor crtico para , es decir, existe y E punto
crtico tal que (y) = c.
51
Captulo 5
La geometra del paso de la
montaa
A partir del lema de deformacin obtendremos algunos resultados de

existencia para puntos casi crticos, bajo la geometra del paso de la montaa.
Teorema 5.0.16 Sean E un espacio de Banach y C 1 (E, R), e E, r >

0, tales que kek > r y
a := max{(e), (0)} < b := nf (y).

kyk=r
Sean
= { C 1 ([0, 1], E) : (0) = 0, (1) = e},
c := nf max ((t))
t[0,1]
.
Luego,
b c < ,
52
y para cada e > 0, > 0 y tal que
max ((t)) c + , (5.0.1)

t[0,1]
existe y E tal que

1. c 2 (y) c + 2
2. dist(y, ([0, 1]) 2
3. k0 (y)k < 8
Demostracin: Observamos primero que, k(0)k < r < k(e)k y por la

conexin, se tiene , [0, 1] tal que k( )k = r, entonces
max ((t)) ((t)), t [0, 1]

t[0,1]
En particular, si t = se tiene maxt[0,1] ((t)) (( ))

y tomando nmos sobre las
c ((t)) b
Sin prdidad de generalidad, podemos suponer que: < ba

2
, o sea que a <
b 2 c 2. Ahora, supongamos que la ltima conclusin del teorema no
es cierta, es decir: y E tal que 1. y 2. se verican pero k0 (y)k 8

.
Usando el Lema de deformacin, con S = ([0, 1]) E , C 1 ([0, 1]
E, E) tal que se cumple el Lema.
En particular, si (t) = (1, (t)), tenemos que:
(0) = (1, (0)) = (1, 0) = 0,
(1) = (1, (1)) = (1, e) = e
53
pues por hiptesis (e) a < c 2. Anlogamente, (0) a < c 2.
En consecuencia, , entonces, por 5.0.1
c + max ((t)) ((t)) t [0, 1]

t[0,1]
entonces (t) c+ .
Por 2 del Lema,
((t)) c
lo que contradice la denicin de c.
Necesitaremos una variante de este resultado, dado por Brezis y Niren-

berg.

a := max{(e), (0)} < b := nf (y).

kyk=r
Sean P : E E una aplicacin lineal tal que, y E ,
(P (y)) (y), P (0) = 0, P (e) = e,
= { C 1 ([0, 1], E) : (0) = 0, (1) = e},
c := nf max ((t))
t[0,1]
Luego,
b c < ,
y para cada e > 0, > 0 y tal que
max ((t)) c + , (5.0.2)

t[0,1]
54
existe y E tal que
1. c 2 (y) c + 2
2. dist(y, ([0, 1]) 2
3. k0 (y)k < 8
Demostracin: Es anloga a la demostracin del teorema 5.0.16. Como

k(0)k < r < k(e)k y la conexin, se tiene , [0, 1] tal que
k( )k = r, entonces
max ((t)) (( ))
t[0,1]
y
c ((t)) b
Tomanos < ba
2
, entonces a < b 2 c 2. Usando el Lema de defor-
macin, con S = P (E) E , C 1 ([0, 1] E, E) con las propiedades del
Lema.
En particular, si (t) = (1, P ((t))), tenemos que:
(0) = (1, P ((0))) = (1, P (0)) = 0,
(1) = (1, P ((1))) = (1, P (e)) = e
pues por hiptesis (P (e)) (e) a < c 2. Anlogamente, (P (0))

(e) a < c 2.
En consecuencia, . Adems,
c + max (P ((t))) (P ((t))) t [0, 1]

t[0,1]
entonces P ((t)) c+ .
Por 2 del Lema,
((t)) c
55
lo que contradice la denicin de c.
Otra consecuencia inmediata del teorema 5.0.16 es la versin de Ambrosetti-

Rabinowitz del lema del paso de la montaa obtenida por Brezis-Coron-
Nirenberg en 1980 (Ambrosetti-Rabinowitz requirieron la clsica condicin
de P S ).

a := max{(e), (0)} < b := nf (y) (5.0.3)

kyk=r
Sean
= { C 1 ([0, 1], E) : (0) = 0, (1) = e},
c := nf max ((t))
t[0,1]
y supongamos que satisface la condicin de (P S)c .

Luego, c b es un valor crtico para .
Demostracin: Por el teorema 5.0.16, b c y para = 1

n2
, = 21 , n =
1, 2, ..., tenemos una sucesin (yn )n1 E tal que:
(yn ) c cuando n
y
0 (yn ) 0 cuando n
56
entonces (yn )n1 es una sucesin de P S en el nivel c para , as, por hiptesis,
c es un valor crtico para .
Ahora introduciremos otra condicin de compacidad, que permitir una

hiptesis ms dbil en el teorema del paso de la montaa.
Denicin 5.0.6 Sea E una Banach y : E R diferenciable Gateaux. La

funcin satisface la condicin BPS si, cualquier sucesin acotada (yn )n1
tal que ((yn )) est acotada y 0 (yn ) 0 tiene una subsucesin convergente.
El siguiente resultado es una versin del Teorema del paso de la montaa

obtenida esencialmente por Pucci y Serrin en la mitad de los ochenta, mo-
tivado por un resultado de Mawhin y Willem para la ecuacin del pndulo
forzado.
Teorema 5.0.19 Sea E un espacio de Banach y C 1 (E, R), e E ,

R > r > 0, sean tales que kek > R y
a := max{(e), (0)} < b := nf (y).

rkykR
Sean
= { C 1 ([0, 1], E) : (0) = 0, (1) = e},
c := nf max ((t)).
t[0,1]
y supongamos que satisface las condiciones de (P S)c y BP S .

Entonces, c b es un valor crtico para . Adems, si b = c, existe un punto
crtico z tal que (z) = b y kzk = R+r
2
.
57
Demostracin: Por el Teorema 5.0.18, c > b es un valor crtico de , as
que supongamos que c = b.
Para cada entero positivo n tal que
1 Rr
(5.0.4)
n 2
existe un n tal que
1
max (n (t)) b + ,
t[0,1] n
por denicin de nmo, ya que c = b. Por la conexin, dado que kn (0)k = 0
y kn (e)k = kek > r+R
2
, existe una sucesin (tn )n1 [0, 1] tal que
r+R
kn (tn )k = .
2
Si llamamos wn := n (tn ), se tiene
1
(wn ) max (n (t)) b +
t[0,1] n
lo que muestra que wn b+ n y

1
kwn k = k(n (t))k = R+r

2
, para n = 1, 2, 3...
Apliquemos el lema de deformacin con S = {wn }, c = b, = 1

n
y= 1 .
n
Si, y 1 ([b n2 , b + n2 ]) S2 , tenemos k0 (y)k 8 .

n
Entonces, vn := (1, wn ) b n S1/n , (por 2. y 4. del lema).

1
En consecuencia, usando 5.0.4

1 R+r Rr R+r
kvn k = kvn wn +wn k kvn wn k+kwn k + + = R.
n 2 2 2
Adems como
1
| kvn k kwn k | kv wk
n
58
tenemos que
1
+ kwn k kvn k
n
entonces por 5.0.4 es
r kvn k.
Luego, tenemos que

1
(vn ) b ,
n
lo que contradice la denicin de b.
As, existe alguna sucesin (yn )n tal que:
2 2
b (yn ) b +
n n
2
kyn wn k
n
8
k0 (yn )k <
n
Esto implica que (yn )n es una sucesin de P S para , entonces, por hiptesis,
c = b es valor crtico de .
Y adems, como satisface BP S , (yn )n , tiene una subsucesin convergente,
digamos a y E tal que (y) = c, por unicidad del lmite, y tambin
kyk = R+r
2
, pues
2 R + r 2 R+r
+ kyn k + .
n 2 n 2
Observacin 5.0.20 Cuando b = c, el teorema 5.0.19 implica la existencia

de un punto crtico en cada esfera centrada en 0 de radio (r, R).
59
Captulo 6
Una aplicacin al problema de
Dirichlet
Pensamos en una partcula que se mueve en una recta y cuya posicin,

y = y(t), cumple con la ecuacin de Newton
m
y = f (t, y) (6.0.1)
La constante m es positiva (masa) y la fuerza f es una funcin peridica

en el tiempo,
f (t + T, y) = f (t, y) (t, y) R2
El perodo T ser jo.

Como ya mencionamos, en el captulo 2, el Clculo de Variaciones, nos
lleva a considerar el funcional de accin asociado
Z
(y) = (T U )dt, y = y(t),
donde T es la energa cintica y U es la potencial. Para dar contenido a esta

armacin hay que especicar un dominio para el funcional.
60
Vamos a considerar la accin peridica1
Z T
1
: E R, (y) = my(y)
2
F (t, y(t)) dt (6.0.2)
0 2
donde Z x
F (t, x) = f (t, s)ds
0
y E = H01 (0, ) es el espacio de Hilbert denido por:
H01 (0, ) = {y AC([0, ]) : y 0 L2 (0, ), y(0) = y() = 0}
con el producto interno:

Z
hy, zi1 = [y(x)z(x) + y 0 (x)z 0 (x)] dx
0
y como la desigualdad de Poincar:

Z Z
2
y (x)dx y 02 (x)dx dx
0 0
vale y H01 (0, ), el producto interno h, i1 puede ser reemplazado por otro
equivalente: Z
hy, zi = y 0 (x)z 0 (x) dx
0
Ms especcamente, consideremos el problema de Dirichlet para una

ecuacin diferencial ordinaria de segundo orden:
00
y + f (x, y) = 0
(6.0.3)
y(0) = y() = 0

1 En lo que sigue, supondremos que m = 1
61
donde f : [0, ] R R es continua y tal que existe una constante A 0
tal que su integral
Z y
F (x, y) := f (x, s) ds
0
satisface la condicin
|F (x, y)| A, (x, y) [0, ] R (6.0.4)
Los puntos crticos de , coinciden con las soluciones de 6.0.3. Veamos esto:
supongamos que y es un punto crtico de , digamos, y es un mnimo,
entonces 0 (y) = 0. Deno i(t) = (y + tv) para alguna v C0 (0, ). As, i
tiene un mnimo en t = 0, pues i0 (0) = 0 (y) = 0. Tenemos
Z
1
i(t) = (y + tv) = (y + tv)02 F (y + tv)dt
0 2
d 1
Z
d
i(t) = (y + tv)02 F (y + tv)dt
dt dt 0 2
Z
d d 1 02
i(t) = (y + tv) F (y + tv) dt
dt 0 dt 2
Z
d
i(t) = (y 0 + tv 0 )v 0 + f (y + tv)v dt
dt 0
Z
d
i(0) = y 0 v 0 + f (y)v dt = 0
dt 0
En otras palabras, Z Z
0 0
yv = f (y)v dt
0 0
v C0 (0, ), y se deduce que y H (0, ), con 2
y 00 = f,
esto es
y 00 + f = 0,
62
que es la ecuacin de la cual partimos.
Veamos que C 1 (E, R):
Para esto, escribamos (y) = 1 (y) 2 (y), donde

y 02 (x)
Z
1
1 (y) = dx = kyk2
0 2 2
y Z
2 (y) = F (x, y(x))dx.
0
Veamos entonces, que cada una de ellas, pertenece a C 1 (E, R):

Z Z Z Z
1 1 0 0 21 02 0 0 1
1 (y+v) = ky+vk2 = (y +v ) dx = y (x)dx+ y v dx+ v 02 (x)dx
2 2 0 2 0 0 2 0
1
= 1 (y) + hy, vi + kvk2
2
Luego,
1 (y + v) 1 (y) hy, vi
lm =0
v0 kvk
entonces y h01 (y), vi = y 0 v 0 , y es continua, por lo tanto 1 C 1 (E, R).
R
0
Por otro lado, teniendo en cuenta que

R R
2 (y + tv) 2 (y) 0
F (x, y + tv)dx 0 F (x, y)dx
lm = lm =
t0 t t0 t
Z
F (x, y + tv) F (x, y)
lm dx =
t0 0 t
Z Z
dF
= lm (x, )vdx = lm f (x, )vdx.
t0 0 dx t0 0
donde = (x, t) est en (y, y + tv).

Como f es continua, est acotada en el intervalo (y, y + tv), luego
lm f (x, ) = f (x, y).

t0
63
Entonces, por convergencia mayorada, tenemos
Z Z
lm f (x, )v(x)dx = f (x, y)v(x)dx
t0 0 0
R R
Luego, lmv0 2 (y+v) 2 (y)hf,vi [F (x,y+v)F (x,y)]dx f (x,y)v(x)dx
kvk
= lmv0 0
kvk
0
=
Z
1
= lm [f (x, ) f (x, y)]v(x)dx = 0
v0 kvk 0
entonces, h02 (y), vi = 0 f (x, y)v(x)dx y es continua, por lo tanto 2

R
C 1 (E, R).
Luego, C 1 (E, R) y h0 (y), vi = y 0 (x)v 0 (x) + f (x, y)v(x)dx.
R
0
Por la condicin 6.0.4:

y 02 (x)
Z
1
(y) = [ F (x, y(x))] dx kyk2 A (6.0.5)
0 2 2
y as el funcional es coercivo. Ahora probaremos que es DSCI .
Sea (yk )k E tal que
yk * y
Debemos ver que

lm inf (yk ) (y).
k
Si yk * y , entonces, por la inclusin compacta de H01 ([0, ]) en C([0, ]),

yk y uniformemente en [0, ]. Adems, como
Z
(yk0 y 0 )2 dx 0
0
se deduce Z Z Z
yk02 (x) 2yk0 (x)y 0 (x)dx y 02 dx
0 0 0
Tomando lmite inferior para k , y por la convergencia dbil
R R R
lm inf k 0
yk02 (x) lm inf k 0
2yk0 (x)y 0 (x)dx 0
y 02 dx
64
R R R R
2 0
lm inf k yk0 (x)y 0 (x)dx 0
y 02 dx = 2 0
y 02 (x)dx 0
y 02 (x)dx =
R
= 0
y 02 (x)dx.
Entonces, por la convergencia dbil tenemos
1
lm inf (yk ) lm inf kyk k2
k k 2
1 1
lm inf kyk k2 kyk2
2Z k 2

1
kyk2 F (x, y(x)) dx = (y).
2 0
Luego, es DSCI sobre E , y, por el corolario 3.0.5, se sigue que tiene un

mnimo sobre E . As, hemos probado el siguiente:
Teorema 6.0.21 (Lichtenstein- 1915)

Supongamos que f : [0, ] R R es una funcin continua y su integral F
satisface la condicin 6.0.4. Entonces, el problema de Dirichlet 6.0.3 tiene
por lo menos una solucin.
Como aplicacin del teorema consideremos el problema
u00 aeu = h(x), u(0) = u() = 0, (6.0.6)
donde a > 0 y h L1 (0, ). Un simple clculo muestra que el problema lineal
u00 = h(x), u(0) = u() = 0,
tiene una nica solucin U (x). Haciendo u(x) = U (x) + y(x), el problema
6.0.6 se reduce al equivalente
y 00 aeU (x)+y = 0, y(0) = y() = 0,
y la correspondiente funcin F viene dada por
F (x, y) = aeU (x)+y 0
65
satisface la condicin 6.0.4. As, el problema 6.0.5 tiene al menos una solucin.
Una segunda aplicacin, est dada por el problema de Dirichlet para la
ecuacin del pndulo forzado
u00 + a sen(u) = h(x), u(0) = u() = 0, (6.0.7)
con a y h como antes. Con el cambio de variable anterior, se llega al problema

equivalente
u00 + a sen(U (x) + y) = 0, y(0) = y() = 0, (6.0.8)
en este caso, la funcin F est dada por
F (x, y) = a cos(U (x) + y) a
y satisface la condicin 6.0.4. As el problema 6.0.7 siempre tiene una solucin.

El funcional de accin en este caso est dado por
Z
1 0 2
(y) = y (x) + a cos(U (x) + y(x)) dx
0 2
y Z
0
h (y), vi = [y 0 (x)v 0 (x) a sen(U (x) + y(x)v(x)] dx
0
Ya vimos, en el caso general, que est acotada inferiormente en E .
Ahora, veamos que satisface P S .
Sea (yn )n1 H01 ([0, ]) tal que |(yn )| M y (0 (yn ))n1 0.
Tenemos,
R 0 R 0
yn2 R yn2 R
M |(yn )| = 0 dx F (x, y) dx 0 dx F (x, y) dx

2 0 2 0
1
kyn k2 A
2
esto es
kyn k2 (M + A)2
66
Entonces, (yn ) est acotada en E .
Luego, existe una subsucesin (ynk ) que converge dbilmente a algn
y H 1 (0, ), podemos suponer que yn * y y, adems yn y tiende
uniformemente a y sobre [0, ], por la inclusin compacta de H01 ([0, ]) en
C([0, ]).
Debemos ver que (yn )n converge en H01 (0, ).
Sabemos que (0 (yn ))n1 0, es decir h0 (yn ), vi 0 v H01 (0, ),
luego
lm h0 (yn y), yn yi = 0
n
Pero sabemos que h0 (yn ), vi = 0 yn v a sen(U + yn )v dx, entonces

R
h0 (yn y), yn yi = 0 {|yn0 y 0 |2 [a sen(U +yn )a sen(U +y)](yn y)} dx.

R
Por la convergencia uniforme de (yn ) se tiene

Z
lm [a sen(U + yn ) a sen(U + y)](yn y) dx = 0.
n 0
As, Z
lm |yn0 y 0 |2 dx = 0
n 0
lo que implica que yn y en H01 (0, ) .
Entonces, satisface P S . Esto implica que (P S)c vale para todo c y, por
el corolario 4.0.15, se sigue que tiene un punto crtico.
En 1930, usando un enfoque variacional un poco ms complicado para

ecuaciones integrales no lineales, Hammerstein generaliz el teorema de Licht-
enstein, reemplazando la condicin 6.0.4, por otra ms general
y2
F (x, y) +A (6.0.9)
2
para algn < 1 y A 0. No es difcil adaptar el argumento de Lichtenstein,
a este caso ms general, si se usa la desigualdad de Poincar para reemplazar
67
la desigualdad 6.0.5 por
1
(y) kyk2 A.
2
68
Captulo 7
Soluciones peridicas del pndulo
forzado y condiciones de
Landesman-Lazer
Consideremos el problema de encontrar soluciones peridicas para la

ecuacin del pndulo peridicamente forzada:
00

y + g(y) = f (t)

y(0) = y(T ) (7.0.1)

y 0 (0) = y 0 (T )

donde:
g : R R es continua, 2 -peridica y con promedio 0, es decir:
Z 2
1
g := g(s)ds = 0
2 0
y f L1 (0, T ) con promedio 0,

Z T
1
f := f (t)dt = 0
T 0
69
Trabajaremos en el espacio
E = HT1 ([0, T ]) = {y AC[0, T ] : y 0 L2 (0, T ), y(0) = y(T )}
con el producto interno

Z T Z T
1 1
hy, zi = y(t)z(t)dt + y 0 (t)z 0 (t)dt
T 0 T 0
y su correspondiente norma, kyk, con esto E resulta un espacio de Hilbert.

Adems, las soluciones del problema 7.0.1 corresponden a los puntos crticos
del funcional de accin : E R denido por
T
y 02 (t)
Z
(y) = G(y(t)) + f (t)y(t) dt,
0 2
donde Z y
G(y) = g(s)ds.
0
Observamos que G es 2 -peridica, pues g tiene promedio 0:

Z y+2 Z y Z y+2
G(y + 2) = g(s)ds = g(s)ds + g(s)ds
0 0 y
Z y Z 2 Z y
= g(s)ds + g(t + y)dt = g(s)ds = G(y)
0 0 0
Notemos, adems, que si y es solucin de 7.0.1, entonces y + 2k tambin es

solucin para cualquier k Z.
Dos soluciones de 7.0.1 sern llamadas geomtricamente distintas si
no dieren en un mltiplo de 2 .
Para ver que C 1 (E, R), procedemos de manera anloga al caso de Dirich-
let, teniendo en cuenta que kykL2 kyk. En este caso, tenemos
Z T
0
h (y), vi = [y 0 (t)v 0 (y) g(y(t))v(t) + f (t)v(t)]dt.
0
70
Ahora escribamos 1 ,
y(t) = y(t) + y(t)
donde Z T
y(t)dt = 0,
0
En lo que sigue usaremos la desigualdad de Wirtinger

2 Z T Z T
2 2
y (t)dt y 02 (t)dt,
T 0 0
y la desigualdad de Sobolev
T 1/2
T 1/2
Z
02
max | y (t)| y (t)dt .
t[0,T ] 2 3 0
Lema 7.0.22 es 2-peridica, acotada inferiormente, satisface BP S , y

(P S)c para cada c R.
Demostracin: es 2-peridica
Queremos ver que (y) = (y + 2)
RT h i RT
(y+2) = 0 12 (y + 2)02 (t) G(y + 2) + f(t)( y + y + 2) dt = 0 12 y 02 (t)
RT RT RT RT
G(y)dt + f(t)
y (t)dt + (t)
f y (t)dt + 2 f(t)dt = (y)
0 0 0 0
pues G es 2 -peridica y f tiene promedio 0.

est acotada inferiormente
T T T
y 02 (t)
Z Z Z
(y) = dt G(y(t))dt + f(t)
y (t)dt
0 2 0 0
1 Siempre podemos conseguir esto, ya que
y(t) = y(t) + (y(t) y(t)),
donde y(t) y(t) tiene promedio 0. En particular, si y tiene perodo 0, y = y.
71
Como
Z T Z T
f(t) |f(t)||
y (t)dt y (t)|dt
0 0
Z T Z T

|f (t)| max |y (t)|dt = max |
y (t)| |f(t)|dt
0 t[0,T ] t[0,T ] 0
1/2
Z T 1/2 Z T
T
02
y (t)dt |f(t)|dt
2 3 0 0
entonces,
Z T 1/2
Z T 1/2 Z T
T
f(t)
y (t)dt 02
y (t)dt
|f (t)|dt
0 2 3 0 0
donde usamos la desigualdad de Sobolev.

Por otro lado,
Z T Z T Z y Z T Z y
G(y(t))dt |g(s)|ds max |g(s)| = M T,
0 0 0 0 0 s[0,T ]
Z T
G(y(t))dt M T
0
Luego,
T T 1/2 Z T
y 02 (t) T 1/2
Z Z
(y) dt M T 02
y (t)dt
|f (t)|dt
0 2 2 3 0 0
1
(y) ky 0 k2L2 M T Kky 0 k2L2
2

0 2 1 0 2
(y) + M T ky kL2 ky kL2 K .
2
satisface BP S
Dada (yn )n1 E acotada tal que |(yn )| c y 0 (yn ) 0. Debemos ver
que (yn ) tiene una subsucesin convergente en E .
72
Podemos suponer que (yn ) converge dbil en E , (ya que es acotada) si
no, tomamos una subsucesin. Adems yn y uniformemente en [0, T ].
En consecuencia,
lm h0 (yn ) 0 (y), yn yi = 0
n
Como
Z T Z T
0 0
h (yn ) (y), yn yi = [yn0 (t)y 0 (t)]2 dt [g(yn (t))g(y(t))][yn (t)y(t)]dt,
0 0
entonces, por la convergencia uniforme, tenemos,

Z T
[g(yn (t)) g(y(t))][yn (t) y(t)]dt 0
0
cuando n . Luego,
Z T
[yn0 (t) y 0 (t)]2 dt 0
0
cuando n . As, yn y en HT1 [0, T ]. Entonces, satisface BP S .

Veamos que satisface (P S)c .
Sea (yn )n1 E tal que (yn ) c y 0 (yn ) 0. Entonces, ((yn )) est
acotada y, adems, por estar acotada inferiormente tenemos que kyn0 kL2
est acotada para cada n.
Ahora bien, como es 2 -peridica, existe una sucesin (zn )n1 [0, 2) tal
que zn = yn (mod 2 ).
Sea wn (t) = zn + yn (t), entonces tenemos,
(yn ) = (yn + yn ) = (zn 2k + yn ) = (zn + yn ) =
= (wn ).
Anlogamente, se puede ver que 0 (yn ) = 0 (wn ). Adems, wn est acotada

en HT1 , por la desigualdad de Wirtinger, ya que tenamos que kyn k2L estaba
73
acotada.
Con el mismo razonamiento al hecho anteriormente, para probar BP S , apli-
cado a wn , concluimos que wn w HT1 [0, T ]. Luego
(wn ) (w) n
es decir
(yn ) c n
por lo que (w) = c.

Tambin,
0 (wn ) 0 (w) n
que es lo mismo que

0 (yn ) 0 n
entonces, 0 (w) = 0. Luego, c es un valor crtico de .
Observacin 7.0.23 Mostramos en el captulo anterior que en el caso de

Dirichlet, vericaba P S en H01 ([0, T ]). El resultado del lema muestra que,
en el caso peridico, slo verica la condicin ms dbil, (P S)c y la BP S ,
en HT1 ([0, T ]). De hecho, no puede vericar P S , y esto se debe a su pe-
riodicidad. En efecto, supongamos que s verica la condicin, esto es: si
(yn )n es una sucesin en HT1 ([0, T ]) tal que |(yn )| c para alguna constante
c > 0 y k0 (yn )k 0, entonces existe una subsucesin (ynj )j convergente
en HT1 ([0, T ]). Consideremos la sucesin znj = ynj + 2n, entonces (znj )j es
una sucesin de P S para , por ser sta 2 -peridica. Pero (znj )j no est
acotada, por lo tanto no admite ninguna subsucesin convergente, absurdo.
Teorema 7.0.24 Para cada f L1 ([0, T ]) tales que f = 0, el problema 7.0.1

tiene como mnimo dos soluciones geomtricamente distintas.
74
Demostracin: Por el lema anterior , verica las hiptesis del corolario
4.0.15. As, el problema 7.0.1 tiene una solucin y que minimiza sobre
HT1 ([0, T ]).
Veamos que tiene otra solucin geomtricamente distinta.
Sea (y) = (y +y). Entonces satisface las condiciones del lema 7.0.22: que
sea 2 -peridica y acotada inferiormente, es claro. Para ver que satisface
(P S)c , sea (yn )n E tal que |( yn )| M y |0( yn )| 0. Entonces, por la
denicin de , la sucesin (y + yn )n es una sucesin de Palais-Smale en
el nivel c para , luego c es valor crtico de . Por otro lado, si (yn )n est
acotada y es tal que ((yn ))n est acotada y ( 0 (yn ))n tiende a cero, entonces
se sigue inmediatamente que (yn )n tiene una subsucesin covergente, ya que
cumpla BP S .
Adems,
(0) = (y ) = mn
1

HT
(2) = (y + 2) = (y ) = mn

1

HT
Sean 0 < r < R < 2 , e = 2 . Entonces, se verican las condiciones

del 5.0.19. Luego, si el valor crtico (de ) c > mnHT1 , entonces el co-
rrespondiente punto crtico es geomtricamente distinto de y . Veamos esto:
si pasara que v y = 2k , donde v es el punto crtico de correspon-
diente a c, con lo cual y + v es punto crtico de . En este caso tendramos,
mnHT1 = (y ) = (0) = (v 2k) = (v) = c, que es una contradiccin.
Si c = mnHT1 , entonces el teorema dice que tiene un punto crtico z tal
que r kzk R. En consecuencia, y = y + z es un punto crtico de ,
pues (y + z) = (z) = c y 0 (y + z) = 0 (z) = 0.
y cumple que 0 < r ky y k R < 2 , por lo tanto y y y son dos
soluciones geomtricamente distintas del problema 7.0.1.
75
La primera solucin fue esencialmente descubierta por Hamel en 1922, y
la segunda por Mawhin y Willem en 1983.
Observacin 7.0.25 El teorema anterior tambin puede ser probado con-

siderando el funcional anlogo al que se us en el captulo anterior. Como
f = 0, el problema
u00 = f, u(0) = u(T ), u0 (0) = u0 (T ), u = 0
tiene una nica solucin U (x). Sea y = U + u, entonces el problema 7.0.1 es

equivalente a
u00 + g(U + u) = 0, u(0) = u(T ), u0 (0) = u0 (T ),
con el funcional asociado

T
u02 (t)
Z
(y) = G(U (t) + u(t)) dt.
0 2
Para concluir estas notas, veremos un caso diferente del problema pe-
ridico del pndulo. En general,
00
y = f (t, y)
y(0) = y(T ) (7.0.2)
0
y (0) = y 0 (T )
donde f satisface unas ciertas condiciones, llamadas condiciones de Landesman-

Lazer, tiene al menos una solucin, usando mtodos variacionales.
Ms explcitamente:
76
Sea Z u
F (t, u) = f (t, s) ds
0
tal que |F (t, u)| = | f (t, s)ds| C|u| para alguna constante C . Conside-
Ru
0
remos el funcional
T
y 02 (t)
Z
J(y) = F (t, y) dt
0 2
denido sobre el espacio E = HT1 ([0, T ]) , con la norma usual, que ser deno-
tada por k k. Entonces,
Z T
0 0
J (y)(v) = hJ (y), vi = y 0 (t)v 0 (t) f (t, y)v(t)dt.
0
Como antes, podemos ver que cualquier punto crtico de J es una solucin
de 7.0.2.
Como ya habamos anticipado, probaremos la existencia de puntos crticos
de J bajo las siguientes condiciones:
f : [0, T ] R R, acotada, con lmites en el innito, es decir
lm f (t, s) := f (t)
s
Teorema 7.0.26 Supongamos que

Z T Z T
+
f (t)dt < 0 < f (t)dt (7.0.3)
0 0
entonces el problema 7.0.2 admite al menos una solucin.
Observacin 7.0.27 La condicin 7.0.3 se llama condicin de Landesman-

Lazer.
77
Para probar el teorema veremos que J es coerciva y satisface P S , luego
por el corolario 4.0.15 se tiene el resultado.
Demostracin: En primer lugar, veremos que J verica P S .
Sea entonces (yn )n E tal que
|J(yn )| c, kJ 0 (yn )k = n 0, (7.0.4)
Debemos ver que (yn ) tiene una subsucesin convergente. Armamos que
(yn )n est acotada.
Supongamos que no, entonces kyn k +. Sea vn = yn
kyn k
(luego, (vn )n
est acotada en E ). Pasando a una subsucesin, si fuera necesario, podemos
suponer que vn * v E y vn v uniformemente en [0, T ]. Veamos que
v c0 donde c0 es una constante.
Como J(yn ) y |F (t, u)| estn acotadas, tenemos que
T Z T
yn02
Z
M
dt 2 c + F (t, yn )dt
0 kyn k 0 kyn k2
entonces,
T
yn02
Z
dt 0.
0 kyn k
Escribamos
yn yn (0) yn (0)
vn = + ,
kyn k kyn k
entonces como |yn yn (0)| = | 0t yn0 dt| kkyn0 kL2 < , donde la anteltima
R
desigualdad la tenemos por Cauchy-Swchartz, tenemos que

yn yn (0)
0.
kyn k
Luego, tomando una subsucesin si fuera necesario, podemos suponer que
v c0 uniformemente sobre [0, T ] (pues kvn k = 1 para todo n) donde
78
c0 R {0}.
Adems, como
yn
vn0 = 0,
kyn k
se concluye que vn c0 en E .
Por otro lado, de 7.0.4 tenamos que
Z T
2c yn02 (t) 2F (t, yn (t))yn (t)dt 2c
0
y hJ 0 (yn ), yn i n kyn k o equivalentemente

Z T
n kyn k yn02 (t) + f (t, yn (t))yn (t)dt n kyn k
0
Luego,
Z T
(t, yn (t))]vn (t)dt 2c + n

[f (t, y n (t) 2F kyn k
0
donde
F (t,u)

u
si u 6= 0
F (t, yn (t)) =

f (t, 0) si u = 0
Esto dice que,

Z T Z T
lm f (t, yn (t))vn (t)dt = 2 lm F (t, yn (t))vn (t)dt. (7.0.5)
n 0 n 0
Supongamos, por ejemplo que c0 > 0. Entonces, tenemos que yn (t) +,

para cada t [0, T ]. Adems, por hiptesis, dado > 0 y t [0, T ] existe u0
tal que si u u0 entonces |f (t, u) f + (t)| < 2 . Entonces,
F (t, u0 ) 1 u
Z
F (t, u) + + u0 +
u f (t) = u + [f (t, u) f (t)]ds f (t) <

u u0 u
79
para u > 0 grande.
Entonces, F (t, u) f + (t), cuando u +. Por 7.0.5, y convergencia ma-
yorada, ya que f + es integrable sobre el [0, T ] tenemos:
Z T Z T
+
f c0 dt = 2 f + c0 dt,
0 0
entonces, Z T
f + dt = 0,
0
lo que contradice 7.0.3. Luego, yn est acotada. (Si c0 < 0 la demostracin

es anloga).
As, pasando a una subsucesin, podemos suponer que yn * y E y uni-
formemente sobre [0, T ].
Adems, tenemos que
lm hJ 0 (yn ), yn yi = 0
n
Pero
Z T
0
hJ (yn ), yn yi = yn0 (t)(yn0 y 0 )(t) f (t, yn )(yn y)(t)dt,
0
entonces, por la convergencia uniforme de (yn )n y del hecho de que f est

acotada, se tiene que
Z T
f (t, yn )(yn y)(t)dt 0
0
con lo cual, Z T
yn0 (t)(yn0 y 0 )(t)dt 0.
0
Entonces, por la convergencia dbil de yn , se concluye

Z T
(yn0 y 0 )2 dt 0,
0
80
As, yn y en E .
Resta ver que J es coerciva.
Supongamos que J(yn ) c y que kyn k +. De la misma forma que antes,
podemos deducir yn
kyn k
c0 R {0}. Si c0 > 0 de nuevo tendramos,
Z T Z T
F (t, yn )
lm dt = c0 f + dt < 0,
n 0 kyn k 0
Anlogamente, si c0 < 0. Luego,

T T
y 02 (t)
Z Z
J(yn ) F (t, yn ) c
= dt dt
kyn k 0 2kyn k 0 kyn k kyn k
T T
y 02 (t)
Z Z
c F (t, yn )
dt + dt
0 2kyn k kyn k 0 kyn k
es decir, para n grande se tiene
T T
y 02 (t)
Z Z
dt + c0 f + dt < 0
0 2kyn k 0
(donde 0 < < c

kyn k
), que es un absurdo. Por lo tanto, J es coerciva.
Observacin 7.0.28 En particular, el problema
y 00 + g(y) = p(t)
admite una solucin T - peridica cuando g < p < g+ , donde
g = lm g(s).
s
Es el caso, por ejemplo de f (t, y) = p(t) (t) arctan(y), en 7.0.2. Para una
apropiada.
81
Resultados como el que se prob en el teorema anterior, surgieron del
estudio de los llamados problemas resonantes tanto para ecuaciones diferen-
ciales ordinarias, como en derivadas parciales. La mayora de los problemas
del anlisis no lineal se pueden escribir de la siguiente forma:
L(x) = N (x)
donde L es un operador diferencial lineal, denido en un apropiado espacio

de funciones y N es un operador no lineal. El problema se llama no resonante
cuando el operador L es inversible. En tal caso, tenemos
x = L1 N (x)
y se pueden usar, por ejemplo, teoremas de punto jo. Cuando L no es in-

versible, el problema se llama resonante.
Para las ecuaciones de segundo orden, se conoce el siguiente resultado.
Teorema 7.0.29 Supongamos que c > 0, p C(R) es 2-peridica y que

g C(R) tiene lmites en el innito
g = lm g(x)
x
entonces la ecuacin resonante de segundo orden
x + cx + g(x) = p(t)
tiene una solucin 2 -peridica si
g() < p < g(+). (7.0.6)
82
Adems, si g satisface
g() < g(x) < g(+) x R.
entonces, 7.0.6 es tambin una condicin necesaria para la existencia de solu-

ciones 2 -peridicas.
Observacin 7.0.30 En este caso, la ecuacin tiene un trmino lineal, y

el estudio no se puede realizar por mtodos variacionales sino que se usan
herramientas topolgicas.
Condiciones del tipo 7.0.6, son tpicas en muchos resultados de existen-

cia de soluciones para problemas resonantes. Se conocen con el nombre de
condiciones del tipo Landesman-Lazer, por el trabajo pionero de estos
autores sobre el problema resonante de Dirichlet para ecuaciones elpticas de
segundo orden.
83
Bibliografa
[1] Amster P. , De Npoli P. and Mariani M.C.: Resonant Problems for

Ordinary Dierential Equations
[2] Arrieta, Jose M.: El Clculo y La Modelizacin Matemtica, artculo.
[3] Brezis,H.: Anlisis Funcional: teora y aplicaciones, Serie: Alianza uni-

versidad textos, Madrid: Alianza, c1984
[4] Giancoli, D: Fisica Vol. I, Editorial Revert SA, Barcelona, primera

edicin, 1998.
[5] Hirsh, Morris W.- Smale Stephen: Dierential Equation, Dynamical Sys-
tems and Linera Algebra, Academis Press Inc., 1974.
[6] Lima, Elon Lages: Espaos metricos, Conselho Nacional de Desem-

volvimiento Cientco e Tecnolgico, CNPq., Serie Proyeto Euclides, Av.
W-3 Norte, Brasilia, DF, 1977.
[7] Maad, Sara: Critical Point Theory with applications to Semilinear Prob-
lems without compactness, article 2005.
[8] Mawhin, Jean: Critical Point Theory and Applications to Nonlinear Dif-
ferential Equations, Lectures given at the VIGRE Minicourse on Varia-
84
tional Method and Nonlinear PDE University of Utah, May 28- June 8,
2002.
[9] Ortega, Rafael: Puntos jos del plano y mnimos del funcional de accin,
pginas 1-3.
[10] Perko, Lawrence: Dierential Equations and Dynamical Systems,

Springer-Verlag, New York Inc., 1991.
[11] Rabinowitz, Paul H.: Minimax methods in critical point theory with ap-
plications to dierential equations, Regional conference series in mathe-
matics, ISSN 0160-7642, no.65, Miami January 9-13, 1984.
[12] Rousseau, Olivier: Ideas in Critical Point Theory, article, February 15,
2005.
[13] Serway, Raymond A. - Jewett, John W.: FISICA. 3a. ed, Mxico DF,
International Thomson, 2004.
[14] Wheeden, R- Zygmund, A: Measure and Integral, Dekker, 1977.
85

Soluciones Periódicas Del Péndulo Forzado y Condiciones de Landesman-Lazer

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Soluciones Periódicas Del Péndulo Forzado y Condiciones de Landesman-Lazer

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDAD DE BUENOS AIRES

Facultad de Ciencias Exactas y Naturales

Soluciones peridicas del pndulo forzado y condiciones

Director: Dr. Pablo Amster

2. Algunas ideas en la teora de puntos crticos 27

3. Minimizacin de funcionales dbilmente semicontinuos infe-

4. Deformacin de funcionales reales en un espacio de Banach

5. La geometra del paso de la montaa 52

6. Una aplicacin al problema de Dirichlet 60

7. Soluciones peridicas del pndulo forzado y condiciones de

Recientemente, la teora de puntos crticos constituy una herramienta

Si el funcional est acotado inferiormente (o superiormente), puede

La demostracin de la existencia de una sucesin de puntos casi crticos

El problema de existencia de soluciones peridicas de ecuaciones del pn-

El inters por el pndulo fue y an sigue siendo inmenso. A travs de los

gitud del pndulo y g es la aceleracin de la gravedad. De esta forma, si se

Vamos a analizar ahora en detalle la ecuacin del pndulo.

Al moverse el pndulo, la masa describe arcos de circunferencia de radio

La componente normal de esta fuerza se anula con la T , por la ley de ac-

La fuerza tangencial es, por lo tanto, una fuerza restauradora y podemos

Ft = mat mg sen((t)) = ml00 (t)

La ecuacin (1.0.1) es la conocida Ecuacin del pndulo

En particular, tenemos que dada la posicin inicial del pndulo 0 y suponien-

En particular, puesto que 21 (0 (t))2 0 tendremos que cos((t) cos(0 ), lo

Una de las caractersticas importantes del pndulo, es el perodo de os-

jando de la ltima ecuacin obtenemos que:

Separando variables e integrando, obtenemos que si es el tiempo que tarda

Por lo tanto, el perodo viene dado por:

tras el cambio de variable sen(/2) = sen(0 /2)sen(), teniendo en cuenta

1.1. El pndulo linealizado

A diferencia de las oscilaciones de la ecuacin del pndulo ya vista, las

Con un anlisis similar al hecho para el pndulo (multiplicando la ecuacin

El perodo en este caso se expresa como:

1 Esto puede verse observando el desarrollo en serie de sen():

De hecho las soluciones de la ecuacin 1.1.1, se pueden obtener directa-

Las constantes A y B vienen determinadas por las condiciones iniciales.

1.2. Construccin de relo jes

Los resultados de las secciones anteriores no son sucientes para el diseo

dependiesen de la posicin inicial del objeto.

Ya que el movimiento de una masa acoplada a un pndulo es equivalente

Para el movimiento de un objeto deslizndose a lo largo de esta curva

v(t)2 = (x0 (t))2 + (y 0 (t))2 = (1 + f 0 (x(t))2 )(x0 (t))2

Por lo tanto, tenemos que si originariamente el objeto se deja deslizar

hasta (x0 , f (x0 )) y volver a (x0 , f (x0 )) viene dado por

Se trata, por lo tanto, de obtener una funcin f tal que la integral no

y est relacionado con la longitud de arco. Hagamos entones, el siguiente

Este cambio tiene un sentido geomtrico: estamos reparametrizando la

medida desde x = 0, con la convencin de que para x positivos, la longitud

y es independiente de la posicin inicial x0 . Por lo tanto, se est buscando

una funcin f tal que, en funcin de su longitud de arco, es una parbola,

Elevando al cuadrado y agrupando trminos se llega a

que es una ecuacin de variables separables y, por lo tanto,

Sustituyendo 4f = sin2 (z), 2df = sen(z) cos(z)dz , obtenemos

que es la ecuacin paramtrica de una cicloide invertida, ver gura 1.8.

Tambin se prob que esta curva tiene la propiedad braquistcrona (brchis-

A partir de la propiedad isocrona de la cicloide, Huygens propuso la con-

struccin de relojes de acuerdo al diseo de la gura 1.9.

1.3. Movimiento planetario

El campo de investigacin ms activo durante los siglos XVI-XVIII es,

1. Los planetas se mueven en rbitas elpticas ocupando el Sol uno de los

2. El rea barrida por el radio vector de un planeta en tiempos iguales es

Estas tres leyes son totalmente empricas. Newton en su obra Principios

El inters por el estudio del movimiento planetario, en especial por el de

Los resultados de las secciones anteriores no son sucientes para el diseo

que es la ecuacin paramtrica de una cicloide invertida, ver gura 1.8.

struccin de relojes de acuerdo al diseo de la gura 1.9.

que, simplicando, se reduce a

donde es el Laplaciano y f es una funcin con valores reales denida sobre

Si es una funcin real denida en un subconjunto de un espacio de

Denicin 3.0.1 Si : U R, decimos que tiene una derivada de

Lema 3.0.2 Cualquier sucesin acotada en un espacio de Banach reexivo

Denicin 4.0.3 Sean E un espacio Banach, U E , y C 1 (U, R).