Documente Academic
Documente Profesional
Documente Cultură
por
Magister en Matemticas
Septiembre 2003
ii
Resumen
En este trabajo se estudian, en primer lugar, algunos teoremas relacionados con la minimizacin
de funcionales y algunas aplicaciones de stos a la existencia de soluciones dbiles de problemas
elpticos semilineales. En segunda instancia se estudia el Mtodo de Reduccin de LyapunovSchmidt, herramienta importante para buscar puntos crticos de funcionales, y se presentan
aplicaciones a problemas de Dirichlet no lineales.
iii
Contenido
Introduccin
vi
1 Preliminares
1.1
Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Teoremas de Minimizacin
1
6
2.1
2.2
2.2.2
24
3.1
Teorema Central . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2
Bibliografa
39
iv
Agradecimientos
Quisiera agradecer, en primer lugar, a los Profesores Abraham Asmar, Jorge Meja, Pedro Isaza,
Horacio Arango y Carlos Meja, por ser unos grandes maestros y amigos, y por ayudarme, con
mucha paciencia, a ingresar lentamente en este inmenso universo de las matemticas. Un
agradecimiento especial va para el Profesor Jorge Cossio, quien no slo ha sido esa persona
que ha enriquecido mi pequeo conocimiento de las matemticas, sino tambin ese alguien
que, con consejos y uno que otro regao, me ha enseado lecciones muy valiosas e importantes
para mi vida laboral y personal. Tambin quisiera agradecer a esos profesores que sin darme
clase siempre estuvieron disponibles a cualquier pregunta que les hiciera, ellos son Diego Meja,
Carlos Parra, Volker Stallbohm, Margarita Toro, Dbora Tejada, Rodney Jaramillo y Sigifredo
Herrn, este ltimo de gran ayuda por sus valiosos aportes bibliogrficos. De igual manera
agradezco a los Profesores Arturo Jessie Manuel, Carlos Rivillas, Luis Alfonso Velez, Luz Elena
Muoz e Ivn Asmar, por la paciencia y por el apoyo recibido durante la realizacin de estos
estudios. Tambin agradezco a mis compaeros de Maestra por haber creado un agradable
ambiente de estudio, de compaerismo y de amistad.
Agradezco a mi familia por estar siempre ah y por haberme inculcado los buenos valores,
la honestidad y la humildad. Nuevamente agradezco a la familia Lozada Carrillo por haberme
recibido en su casa y permitir que pudiera estudiar, y por acogerme como un hijo ms. A mi
novia Adriana por la paciencia y apoyo, y a su familia por ser incondicionales a cada momento.
Muchas gracias a la familia Bonett Daz por haber sido tan autnticos y amables conmigo.
Agradezco a mis amigos, los de antes, los de ahora y los de siempre (Edwin, Luis, Diego,
Babintong, Carlos, Jorge, los de rugby, los de petrleos y sus secuaces, Alejandro, Leiva, Jos
Manuel y todos los dems). Un agradecimiento especial a Jos Manuel por su apoyo en la
revisin y deteccin de errores en este trabajo.
Tambin quisiera agradecer a los profesores Guillermo Ramrez y Gonzalo Castro quienes
con sabidura y desprendimiento sembraron en m las semillas del gusto por las matemticas.
Esto est tan largo que ya no s si queda alguien por fuera, as que doy las gracias a todo aquel
que haya sido importante en mi vida.
Dedicado a la memoria de mi gran amigo Carlos Alberto Bonett Daz y de mi abuela Ana
Luca Rendn.
v
Introduccin
En este trabajo se estudian dos teoremas de minimizacin y el Mtodo de Reduccin de
Lyapunov-Schmidt. Se presentan aplicaciones de estos resultados a la existencia de soluciones
para problemas elpticos no lineales, ms precisamente, a la bsqueda de soluciones dbiles del
problema de Dirichlet
u = f (x, u) en
(1)
u=0
en ,
donde RN es un dominio acotado con frontera suave, =
y f : R R es una funcin no lineal.
N
P
i=1
2
x2i
es el operador de Laplace
Entonces el problema de Dirichlet (1) posee al menos una solucin dbil u0 H01 ().
denota el primer valor propio de en con condicin de Dirichlet cero en la frontera.
s R y casi todo x ,
vi
donde
b Lp (), con
1
p
1
p0
2N
si N 3
1 p < N2
1 p < + si N = 2,
(x) 1 y
lim sup
(x) 1 ,
Rs
donde F (x, s) = 0 f (x, ) d , L () y (x) < 1 en un conjunto de medida positiva.
Entonces el problema de Dirichlet (1) tiene al menos una solucin dbil u0 H01 () .
El segundo teorema de minimizacin del Captulo 2, que se usar de manera esencial en
la demostracin del resultado principal del Captulo 3, nos permite demostrar la siguiente
aplicacin.
Teorema C. Sea f : R R una funcin diferenciable. Si existe k > 0 tal que
f 0 (t) k < 1
t R
u = f (u) en
u=0
en
(2)
2
s +
2
vii
s R,
Rs
donde F (s) = 0 f (t) dt. Entonces el problema de Dirichlet (2) posee al menos una solucin
dbil en H01 () .
Teorema E. (A. Castro y J. Cossio [5]) Sea f : R R una funcin diferenciable que
satisface las siguientes condiciones:
i) Existe k 2 entero positivo tal que
f (s)
(k , k+1 ) y
s+ s
f (s)
f 0 () : = lim
(k , k+1 ).
s s
f 0 (+) : = lim
s R.
Entonces el problema de Dirichlet (2) posee al menos una solucin dbil en H01 () .
viii
Captulo 1
Preliminares
Las pruebas de estos teoremas aparecen en los textos que se citan como
referencia.
1.1
Teoremas
Teorema 1.1.3 Sea X un espacio de Banach. Las siguientes afirmaciones son equivalentes:
X es reflexivo.
B 1 (0) = {x X : kxk 1} es compacta en la topologa dbil.
B 1 (0) = {x X : kxk 1} es dbilmente compacta para sucesiones.
Prueba. Ver Brzis [2], p. 44.
De los dos teoremas anteriores se obtiene el siguiente resultado.
Si G : X R {+} es un
kxk+
G (x) = +,
Teorema 1.1.5 En un espacio normado X con dim X < +, una sucesin {xn }+
n=1 es
dbilmente convergente si y slo si es fuertemente convergente.
2
1 p < 2N
si N 3
N 2
1 p < + si N = 2,
entonces
H01 () Lp () ,
con inclusin compacta.
+
Teorema 1.1.7 sea {i }+
i=1 la sucesin de valores propios y {i }i=1 la sucesin de funciones
H01 () = X Y.
kyk2H 1 k+1
0
kxk2H 1 k
0
2
x
y Y.
x X.
u2
1
1
|u|2 .
u = f (x, u) en
u=0
en .
(1.1)
u C 2 () C ,
x .
u H 1 ()
y
0
R
R
u.v = f (x, u) v
v H01 () .
(1.2)
b Lp (), con
1
p
1
p0
s R y casi todo x ,
1 p < 2N
si N 3
N 2
1 p < + si N = 2,
(1.3)
1
2
|u|2
F (x, u) ,
Rs
donde F (x, s) =
v H01 () .
(1.4)
Nota 1.1.1 De (1.4) es claro que u H01 () es un punto crtico de J si y slo si u es una
solucin dbil de (1.1). Por lo tanto la bsqueda de soluciones dbiles de (1.1) se transforma en
la bsqueda de puntos crticos de J, lo cual es precisamente lo que haremos en las aplicaciones.
Captulo 2
Teoremas de Minimizacin
2.1
b Lp (), con
1
p
1
p0
s R y casi todo x ,
(2.1)
1 p < 2N
si N 3
N2
1 p < + si N = 2,
Rs
0
1
2
|u|2
F (x, u) ,
existen r 0 y
Prueba. Sea r > 0. Como H01 () es un espacio de Hilbert, se sigue que la bola
n
o
B r (0) = u H01 () : kukH 1 r
0
es dbilmente compacta (ver Teorema 1.1.3). Aplicando el Teorema 1.1.2, en la topologa dbil,
al funcional J|B r (0) obtenemos un punto ur B r (0) tal que
J(ur ) = min J(u).
uB r (0)
Sea v B r (0). Como B r (0) es convexa entonces tv + (1 t)ur B r (0) para todo t [0, 1], y
As
J(ur ) J(ur ) + t hJ(ur ), v ur iH 1 + o(t)
0
t (0, 1].
v B r (0).
(2.2)
w B (0).
(2.3)
por lo tanto
hJ(ur ), wiH 1 = 0
w B (0).
v
J(ur ),
kvkH 1
0
=0
H01
y por lo tanto
v H01 () .
hJ(ur ), viH 1 = 0
0
(2.4)
J(ur )
ur
6=
,
kJ(ur )kH 1
kur kH 1
0
as
ur 6= kur kH 1
0
J(ur )
J(ur )
= r
.
kJ(ur )kH 1
kJ(ur )kH 1
0
Por lo tanto
v0 := r
J(ur )
B r (0) y v0 6= ur .
kJ(ur )kH 1
0
(2.5)
Por consiguiente
r
J(ur ), v0 ur
kJ(ur )kH 1
0
H01
= hv0 , v0 ur iH 1 ,
0
= r ,
lo cual contradice (2.5). Por lo tanto existe r < 0 tal que J(ur ) = r ur , y as se concluye
la demostracin del teorema.
El siguiente corolario se usa en la demostracin de los Teoremas 2.2.1 y 2.2.2.
Corolario 2.1.2 Si f satisface la condicin (2.1) y existen constantes r0 > 0 y a tales que
u B r0 (0)
J(u) a > 0
9
(2.6)
por
:R
(2.7)
x + (s + t) (y x) [x + s (y x)]
= (y x)t.
=
BL (R, H)
s 7 0G (s) = y x
Sea {sn }+
n=1 R tal que sn s en R, entonces
0G (sn ) = y x
(n+)
y x = 0G (s) en BL (R, H)
y adems es C 1 (R, H) .
Lema 2.1.4 (Lema de Hadamard) Sea H un espacio de Hilbert real. Si G : H R es
C 1 entonces
G(y) G(x) =
hG (x + s(y x)) , y xi ds
x, y H.
h0 (s)ds
(G )0 (s)ds.
Pero
= G0 ((s)) [y x]
= hG ((s)) , y xi
= hG (x + s(y x)) , y xi .
As
G(y) G(x) =
u, v H
(2.8)
(2.9)
Esta ltima expresin es trivialmente cierta para s = 0, por lo que (2.9) es vlida s [0, 1].
Por otro lado, por el Lema de Hadamard se tiene que
G(x + t(y x)) G(x) =
hG (x + ts(y x)) , y xi ds
Luego
G((1 t)x + ty) G(x) + t [G(y) G(x)]
= (1 t)G(x) + tG(y),
lo cual demuestra la Afirmacin 1.
Afirmacin 2: G es coerciva, es decir, G (x) + cuando kxk +.
En efecto, por el Lema de Hadamard para x H se tiene
G(x) = G(0) +
hG (sx) , xi ds
= G(0) +
hG (sx) G(0), xi ds +
= G(0) +
hG(0), xi ds
1
hG (sx) G(0), sx 0i ds + hG(0), xi .
s
13
m
= G(0) + kxk2 kG(0)k kxk .
2
Como m > 0 entonces G(x) + cuando kxk +. Hemos demostrado que la funcin
G es coerciva.
Afirmacin 3: G es dbilmente inferiormente semicontinua.
En efecto, como G es continua, G es inferiormente semicontinua y adems, por la Afirmacin
1, G es convexa, se sigue que G es dbilmente inferiormente semicontinua, esto ltimo por el
Teorema 1.1.1.
Usando las Afirmaciones 2 y 3, y el hecho de que H es reflexivo (por ser Hilbert), por el
Teorema 1.1.4, se concluye que existe u0 H tal que
G(u0 ) = min G(u),
uH
14
2.2
2.2.1
En esta seccin se presentan dos aplicaciones del Corolario 2.1.2 que demuestran la existencia
de soluciones dbiles para problemas elpticos semilineales.
Sea f : R R una funcin Carathodory. Retomemos el funcional J : H01 () R
definido por
J(u) =
donde F (x, s) =
Rs
0
1
2
|u|2
F (x, u) ,
u = f (x, u) en
u=0
en .
(2.10)
Teorema 2.2.1 Supongamos que existe una constante , 0 < < 1 , tal que para casi todo
x se tiene que
f (x, s)
y
s
f (x, s)
.
f 0 (x, ) : = lim
s
s
f 0 (x, +) : = lim
s+
(2.11)
Entonces el problema de Dirichlet (2.10) posee al menos una solucin dbil u0 H01 ().
Prueba. Sea > 0 tal que < < 1 . Por lo tanto f 0 (x, ) < y f 0 (x, +) < para
casi todo x . Luego existe M1 > 0 tal que
f (x, s)
|s| M1
s
o equivalentemente
|f (x, s)| |s|
15
|s| M1 .
(2.12)
Ahora, como para casi todo x f (x, ) es continua en R, existe una constante c1 > 0 tal que
|s| M1 .
|f (x, s)| c1
(2.13)
s R,
s R, x ,
(2.14)
Z
Z
1
2
|u|
F (x, u)
2
Z
Z
1
1
|u|2 u2 c2 || .
2
2
Por lo tanto
1
J(u)
2
u2
1
1
|u|2 .
1
kuk2H 1 c2 || .
0
1
lo cual prueba que el funcional J es coercivo. Por lo tanto existen constantes a > 0 y r0 > 0
16
tales que
u Br0 (0) .
J (u) a > 0
Como f satisface (2.1), usando el Corolario 2.1.2 se concluye que J posee un punto crtico, el
cual es solucin dbil del problema (2.10).
(x) 1 y
(x) 1 ,
(2.15)
Rs
0
|u|
F (x, u) ,
(u) :=
|u|
(x)[u(x)]2
kukH 1 = 1.
(2.16)
(un ) <
1
n.
u H01 ().
Por lo tanto, podemos suponer que un H01 () tal que kun kH 1 = 1 y (un ) 0. Como
n0
o
H01 () es un espacio de Banach reflexivo, entonces B 1 (0) = u H01 () : kukH 1 1 es
0
dbilmente compacta (ver Teorema 1.1.3). Por lo tanto, sin prdida de generalidad, podemos suponer que un
Si consideramos el funcional
Jg : H01 () R
7 Jg (u) =
u
donde Fg (x, s) =
Rs
0
2
|u|
1
2
Fg
(x, u) ,
dbilmente inferiormente semicontinuo, segn el Teorema 1.1.9. Ahora, como (u) = 2Jg (u),
u0 en H01 () , se tiene que
n+
(2.17)
(un ) = 1
(x)[un (x)]2 0.
Como
Z
Z
Z
2
2
(x)un (x)
(x)u
(x)
|(x)| u2n (x) u20 (x)
0
Z
kkL
|un (x) u0 (x)| |un (x) + u0 (x)|
se sigue que
(x)[un (x)]
18
(x)[u0 (x)]2 .
(2.18)
Por lo tanto
(x)[u0 (x)]2 = 1.
(2.19)
De (2.19) se sigue que ku0 kL2 > 0. De otra parte, volviendo a (2.17), usando la caracterizacin
variacional de 1 (Teorema 1.1.8) y el hecho de que (x) < 1 en un conjunto de medida
positiva, se tiene que
1
u20
|u0 | =
[u0 (x)]2 .
u
kukH 1
0
0.
2
0 kukH 1
0
u H01 () .
2F (x, s)
2F (x, t)
y
: = inf sup
lim sup
s>0 ts
s2
t2
s+
2F (x, s)
2F (x, t)
sup
,
:
=
inf
lim sup
s<0 ts
s2
t2
s
(ver Royden [13], p. 48), de (2.15) se tiene que existe s1 > 0 tal que
sup
|t|s1
2F (x, t)
< (x) + .
t2
19
(2.20)
Por lo tanto
F (x, s) <
(x) + 2
s
2
|s| s1 .
De otro lado, como F (x, ) es continua en R, entonces existe una constante c > 0 tal que
|s| s1 .
F (x, s) c
(x) + 2
s +c
2
s R, x .
Z
Z
1
2
|u|
F (x, u)
2
Z
Z
Z
Z
1
1
2
2
2
|u|
(x)u
u
c
2
2
2
Z
Z
1
(u)
u2
c.
2
2
< 1
Z
1
1
2
|u|2 c ||
0 kukH 1
0
2
2 1
1
2
c || .
kukH 1 0
0
2
1
J (u) a > 0
Como f satisface (2.1), usando el Corolario 2.1.2 se concluye J posee un punto crtico, el cual
es solucin dbil del problema (2.10).
Nota 2.2.1 Si en el teorema anterior la hiptesis (x) < 1 en un conjunto de medida positiva
20
se cambia por
existe una constante < 1 , tal que (x) para casi todo x ,
entonces se tendra (2.14) y de esta manera la demostracin anterior se reducira a la prueba
que se di en el Teorema 2.2.1.
2.2.2
En esta seccin se presentar una aplicacin del Teorema 2.1.5 a la existencia de soluciones
dbiles para un problema elptico semilineal.
Teorema 2.2.3 Sea f : R R una funcin diferenciable. Si existe k > 0 tal que
0
f (t) k < 1
t R
u = f (u) en
u=0
en
Prueba. Sea s R. Por el Teorema del Valor Medio existe R tal que
f (s) f (0) = f 0 ()s.
As
f 0 () |s| + |f (0)|
k |s| + |f (0)| .
21
(2.21)
Luego f satisface la hiptesis de crecimiento (2.1), con p = 2. Por lo tanto, por el Teorema
1.1.9, el funcional
J : H01 () R
u
donde F (s) =
Rs
0
1
2
7 J(u) =
2
|u|
u.v
(u)
v H01 () .
f (u) v
Para poder aplicar el Teorema 2.1.5 probemos que se satisface la hiptesis (2.8).
En efecto, sean u, v H01 () , luego
hJ(u), u viH 1 =
0
hJ(v), u viH 1 =
0
u. (u v)
v. (u v)
f (u) (u v)
f (v) (u v)
y por tanto
Z
Z
(u v) . (u v)
[f (u) f (v)] (u v)
Z
2
= ku vkH 1
[f (u(x)) f (v(x))] (u(x) v(x)) .
Por el Teorema del Valor Medio existe (x) entre u(x) y v(x) tal que
f (u(x)) f (v(x)) = f 0 ((x)) [u(x) v(x)] .
Se sigue que
hJ(u) J(v), u viH 1 = ku vk2H 1
0
ku vk2H 1
0
22
k
ku vk2H 1 .
=
1
0
1
Luego (2.8) se satisface con m := 1 k/1 > 0. Por lo tanto existe un nico punto crtico u0
del funcional J, el cual es la nica solucin dbil de (2.21).
23
Captulo 3
El Mtodo de Reduccin de Lyapunov-Schmidt
3.1
Teorema Central
En esta seccin se demuestra el teorema central del mtodo de reduccin. Para su demostracin
se usar fundamentalmente el Teorema 2.1.5.
Veamos primero el siguiente lema, el cual ser de mucha utilidad en la demostracin del
teorema principal.
Lema 3.1.1 Sean H un espacio de Hilbert real y G : H R un funcional de clase C 1 . Sean
X y Y subespacios cerrados de H tales que H = X Y. Para cada x X definamos el funcional
Gx : Y
y 7 Gx (y) = G (x + y) ,
24
y, t Y.
(3.1)
y, t Y.
(3.2)
Y 0
y 7 G0x (y)
es una funcin continua. En efecto, supongamos que yn y en Y, luego x + yn x + y en H
y como G es C 1 (H, R) , entonces, por la continuidad del producto interno, se tiene que
hG(x + yn ), ti hG(x + y), ti
t Y,
25
x X, y1 , y2 Y.
x X.
yY
(ii). El funcional
b:X
G
es de clase C 1 y
(iii).
b
x 7 G(x)
= G (x + (x))
D
E
b
G(x),
h = hG(x + (x)), hi
hG(x + (x)), yi = 0
x, h X.
y Y.
y 7 Gx (y) = G (x + y)
es C 1 , G0x (y) = G0 (x + y)|Y Y 0 y adems que
y, t Y.
y1 , y2 Y.
(3.3)
Utilizando el Teorema 2.1.5, se tiene que existe un nico punto ux Y donde Gx alcanza su
mnimo, es decir,
Gx (ux ) = min Gx (y).
yY
o equivalentemente
G(x + (x)) = min G(x + y)
yY
x X.
Como Gx es diferenciable, entonces G0x ( (x)) = 0 Y 0 . Por lo tanto, por (3.1), se tiene que
(x) es el nico elemento de Y tal que
0 = hGx ( (x)), yi = hG(x + (x)), yi
y Y,
(3.4)
k (xn ) (x1 )k
n N.
(3.5)
(3.6)
27
x, y H.
x X.
(3.7)
demostado (i).
Consideremos ahora el funcional
b : X R
G
x
b
7 G(x)
= G (x + (x)) .
(3.8)
G (x + h + (x + h)) G (x + (x))
G (x + h + (x)) G (x + (x))
Z 1
=
hG (x + (x) + sh) , hi ds.
=
29
(3.9)
Como G es C 1 (H, R) , de (3.9) y el Lema de Fatou (ver Fleming [8], p. 230-232) se sigue que
b (x + h) G
b (x)
G
lim sup
0+
lim sup
0+
Z 1
hG (x + (x) + sh) , hi ds
hG (x + (x)) , hi ds
= hG (x + (x)) , hi .
(3.10)
G (x + h + (x + h)) G (x + (x))
G (x + h + (x + h)) G (x + (x + h))
Z 1
=
hG (x + (x + h) + sh) , hi ds
=
y
lim inf
0+
b (x + h) G
b (x)
G
Z 1
lim inf
hG (x + (x + h) + sh) , hi ds
0+
0
Z 1
= hG (x + (x)) , hi .
(3.11)
lim
0+
b (x + h) G
b (x)
G
= hG (x + (x)) , hi
x, h X.
(3.12)
x, h X.
(3.13)
b (x + h) G
b (x)
G
= hG (x + (x)) , hi
30
x, h X.
lim
(3.14)
b es Frchet diferenciable, G
b C 1 (X, R) y
tanto G
D
E
b
G(x),
h = hG(x + (x)), hi x, h X.
(3.15)
b : X R como
Corolario 3.1.3 Supongamos las mismas hiptesis del Teorema 3.1.2, y sea G
en dicho teorema. Supongamos, adems, que
lim
kxk+
G (x) =
(x X) .
(3.16)
31
x X.
Por lo tanto
lim
kxk+
b (x) = +
G
(x X) .
b (x0 ) = min G
b (x)
G
xX
o equivalentemente
b (x) .
b (x0 ) = max G
G
xX
D
E
b (x0 ) , x = 0
G
x X.
(3.17)
(3.18)
yY
(3.19)
32
3.2
Rs
0
7 J(u) =
1
2
2
|u|
(u) ,
u = f (u) en
u=0
en .
(3.20)
2
s +
2
s R.
(3.21)
Entonces el problema de Dirichlet (3.20) posee al menos una solucin dbil en H01 () .
Prueba. Sean X = gen {1 , 2 , ..., k } y Y = gen k+1 , k+2 , ... . Del Teorema 1.1.7
s, t R.
(3.22)
hJ(u), viH 1 =
0
u.v
f (u) v
v H01 () .
[f (x + y1 ) (y1 y2 ) f (x + y2 ) (y1 y2 )]
(y1 y2 ). (y1 y2 )
[f (x + y1 ) f (x + y2 )] (y1 y2 ) .
= ky1 y2 k2H 1
0
k+1
34
y2
y Y.
|y1 y2 | (y1 y2 )
(y1 y2 )2 .
Por lo tanto
hJ(x + y1 ) J(x + y2 ), y1 y2 iH 1
0
k+1
ky1 y2 k2H 1
0
x X, y1 , y2 Y.
Luego la hiptesis (3.3) del Teorema 3.1.2 se satisface con m := 1 /k+1 > 0.
Sea x X. Usando (3.21) se tiene
J (x) =
Z
Z
1
2
|x|
F (x)
2
Z
Z
1
2
2
kxkH 1
x
.
0
2
2
2
x .
Luego
1
1
kxk2H 1 ||
J (x)
0
2
k
x X.
Por lo tanto
lim
kxk+
J (x) =
(x X) ,
ya que > k .
Por otra parte, sea Jb : X R el funcional definido en el Teorema 3.1.2. Por este teorema
Por lo tanto u0 es un punto crtico del funcional J y por consiguiente una solucin dbil del
problema (3.20).
Teorema 3.2.2 (A. Castro y J. Cossio [5]) Sea f : R R una funcin diferenciable que
satisface las siguientes condiciones:
35
s+
s R.
(3.23)
Entonces el problema de Dirichlet (3.20) posee al menos una solucin dbil en H01 () .
Prueba. Sean X = gen {1 , 2 , ..., k } y Y = gen k+1 , k+2 , ... . Del Teorema 1.1.7
s R.
hJ(u), viH 1 =
0
u.v
f (u) v
v H01 () .
Sean x X y y1 , y2 Y. Entonces
hJ(x + y1 ) J(x + y2 ), y1 y2 iH 1 =
0
(y1 y2 ). (y1 y2 )
[f (x + y1 ) (y1 y2 ) f (x + y2 ) (y1 y2 )]
36
[f (x + y1 ) f (x + y2 )] (y1 y2 ) .
ky1 y2 k2H 1
0
hJ(x + y1 ) J(x + y2 ), y1 y2 iH 1
0
k+1
f 0 () (y1 y2 )2
Z
(y1 y2 )2 .
y Y. Luego
ky1 y2 k2H 1
0
x X, y1 , y2 Y.
Por lo tanto la hiptesis (3.3) del Teorema 3.1.2 se satisface con m := 1 /k+1 > 0.
Por otro lado, como f 0 () , f 0 (+) (k , k+1 ), se prueba fcilmente que existen
constantes R y > k tales que
F (s)
2
s +
2
s R.
Z
Z
1
2
|x|
F (x)
2
Z
Z
1
2
2
x
.
kxkH 1
0
2
2
2
x .
Luego
1
1
kxk2H 1 ||
J (x)
0
2
k
x X.
Por lo tanto
lim
kxk+
J (x) =
(x X) ,
ya que > k .
Por otra parte, sea Jb : X R el funcional definido en el Teorema 3.1.2. Por este teorema
-Jb : X R tambin lo es. Luego, por el Corolario 3.1.3, existe u0 H01 () tal que J (u0 ) = 0
y
Por lo tanto u0 es un punto crtico del funcional J y por consiguiente una solucin dbil del
problema (3.20).
38
Bibliografa
[1] A. Ambrosetti and G. Prodi, A Primer Nonlinear Analysis, Cambridge University Press,
1993.
[2] H. Brzis, Anlisis Funcional, Alianza Editorial, S.A., Madrid, 1984.
[3] A. Castro, Mtodos de Reduccin Via Minimax, Primer Simposio Colombiano de Anlisis
Funcional, Medelln, 1981.
[4] A. Castro, Mtodos Variacionales y Anlisis Funcional no Lineal, X Coloquio Colombiano
de Matemticas, Paipa, Colombia, 1980.
[5] A. Castro and J. Cossio, Multiple Solutions for a Nonlinear Dirichlet Problem, SIAM J.
Math. Anal. 25 (1994), 1554-1561.
[6] D. G. De Figueiredo, The Ekeland Variational Principle with Applications and Detours,
Tata Institute of Fundamental Research, Bombay, 1989.
[7] D. G. De Figueiredo, Positive Solutions of Semilinear Elliptic Problems, Lecture Notes in
Mathematics, Dierential Equations, Proceedings (Se
ao Paulo), Springer-Verlag, 1981.
[8] W. Fleming, Functions of Several Variables, Springer-Verlag, New York, 1977.
[9] E. Kreyszig, Introductory Functional Analysis with Applications, Wiley and Sons, New
York, 1978.
ubrinic, Fundamentals of Applied Functional Analysis, Pitman Mono[10] D. Mitrovic and D. Z
graphs and Survey in Pure and Applied Mathematics, 1991.
39
[11] J. Mawhin, J. R. Ward Jr. and M. Willem, Variational Methods and Semilinear Elliptic
Equations, Sem. Math. Louvain, Rap. 32 (1983).
[12] P. H. Rabinowitz, Minimax Methods in Critical Point Theory with Applications to
Dierential Equations, Regional Conference Series in Mathematics, number 65, American Mathematical Society, Providence, R.I., 1986.
[13] H. L. Royden, Real Analysis, Collier Macmillan, New York, 1968.
40