Sunteți pe pagina 1din 48

Minimizacin de Funcionales, Mtodo de Reduccin de

Lyapunov-Schmidt y Aplicaciones a Problemas Elpticos


Semilineales

por

John Bayron Baena Giraldo

Trabajo presentado como requisito parcial


para optar al Ttulo de

Magister en Matemticas

Director: Dr. Jorge Cossio

Universidad Nacional de Colombia


Sede Medelln
Facultad de Ciencias
Escuela de Matemticas

Septiembre 2003

Este trabajo ha sido apoyado parcialmente por COLCIENCIAS,


Contrato No. 063-2002, Cdigo 1118-05-11412.

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

Dos Teoremas de Minimizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Aplicaciones a Problemas Elpticos Semilineales . . . . . . . . . . . . . . . . . . . 15


2.2.1

Aplicaciones del Corolario 2.1.2 . . . . . . . . . . . . . . . . . . . . . . . . 15

2.2.2

Una Aplicacin del Teorema 2.1.5 . . . . . . . . . . . . . . . . . . . . . . 21

3 El Mtodo de Reduccin de Lyapunov-Schmidt

24

3.1

Teorema Central . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

3.2

Aplicaciones a Problemas Elpticos Semilineales . . . . . . . . . . . . . . . . . . . 33

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

En el Captulo 1 se presentan algunos resultados del Anlisis Funcional y de la teora general


de Ecuaciones Diferenciales Parciales, necesarios en los Captulos 2 y 3. Entre ellos se destacan
dos teoremas abstractos de minimizacin, un teorema de teora espectral, la desigualdad de
Poincar y el Teorema de Inmersin de Rellich-Kondrachov. Las pruebas de todos los teoremas
de este captulo aparecen en los textos que se citan como referencia.
En el Captulo 2 se demuestran dos teoremas de minimizacin de funcionales definidos en
espacios de dimensin infinita. Los dos resultados siguientes son consecuencia del primer
teorema de optimizacin.
Teorema A. Supongamos que existe una constante , 0 < < 1 , tal que para casi todo
x se tiene que
f (x, s)
y
s+
s
f (x, s)
.
f 0 (x, ) : = lim
s
s
f 0 (x, +) : = lim

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.

Teorema B. (Mawhin-Ward-Willem [11]) Sea f : R R una funcin Carathodory


(ver Definicin 1.1.2) que satisface la condicin de crecimiento
|f (x, s)| c |s|p1 + b(x)

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,

= 1 y c es una constante positiva. Supongamos que


2F (x, s)
s2
s+
2F (x, s)
lim sup
s2
s

(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

entonces el problema de Dirichlet

u = f (u) en
u=0
en

(2)

tiene al menos una solucin dbil u0 H01 () .


En el Captulo 3 se presenta el Mtodo de Reduccin de Lyapunov-Schmidt, el cual es una
tcnica para encontrar puntos crticos de funcionales y consiste en transformar un problema
variacional en dimensin infinita a un problema de optimizacin en un espacio de dimensin
finita, generalmente, ms fcil de resolver. En la Seccin 3.1 se demuestra el teorema central
del mtodo de reduccin que se usar en las dos aplicaciones que se presentan en la Seccin 3.2,
las cuales se enuncian a continuacin.
Sea 0 < 1 < 2 3 ..... k .... la sucesin de valores propios de - en con
condicin de Dirichlet cero en la frontera.
Teorema D. Sea f : R R una funcin que satisface las siguientes condiciones:
i) f es Lipschitz, con constante de Lipschitz tal que 0 < < k+1 , donde k es algn
entero positivo.
ii) Existen constantes y , con > k , tales que
F (s)

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

ii) Existe una constante tal que


f 0 (s) < k+1

s R.

Entonces el problema de Dirichlet (2) posee al menos una solucin dbil en H01 () .

viii

Captulo 1
Preliminares

En este captulo se presentan algunos resultados de Anlisis Funcional y de la teora general de


Ecuaciones Diferenciales Parciales. Entre ellos destacamos dos teoremas abstractos de minimizacin, un teorema de teora espectral, la desigualdad de Poincar y el Teorema de Inmersin
de Rellich-Kondrachov. Estos resultados se usarn en captulos posteriores, especialmente en
las aplicaciones.

Las pruebas de estos teoremas aparecen en los textos que se citan como

referencia.

1.1

Teoremas

Definicin 1.1.1 Sea X un espacio normado. Un funcional G : X R {+} se dice


inferiormente semicontinuo si
xn x = G (x) lim inf G (xn ) y
n+

dbilmente inferiormente semicontinuo si


xn

x = G (x) lim inf G (xn ) .


n+

Teorema 1.1.1 Sean X un espacio de Banach y G : X R {+} una funcin convexa,


entonces
G es inferiormente semicontinua si y slo si G es dbilmente inferiormente semicontinua.

Prueba. Ver Brzis [2], p. 38.

Teorema 1.1.2 Sean X un espacio topolgico compacto y G : X R {+} un funcional


inferiormente semicontinuo. Entonces G est acotado inferiormente y existe x0 X tal que
G(x0 ) = min G(x).
xX

Prueba. Ver De Figueiredo [6], p. 1.

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.

Teorema 1.1.4 Sea X un espacio de Banach reflexivo.

Si G : X R {+} es un

funcional coercivo, es decir,


lim

kxk+

G (x) = +,

dbilmente inferiormente semicontinuo y no idnticamente igual a +, entonces G est acotado


inferiormente y existe x0 X tal que
G(x0 ) = min G(x).
xX

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

Prueba. Ver Brzis [2], p. 36.

Teorema 1.1.6 (Rellich-Kondrachov) Sea p R tal que

1 p < 2N
si N 3
N 2
1 p < + si N = 2,

entonces

H01 () Lp () ,
con inclusin compacta.

Prueba. Ver Brzis [2], p. 169.

+
Teorema 1.1.7 sea {i }+
i=1 la sucesin de valores propios y {i }i=1 la sucesin de funciones

propias de con condicin de Dirichlet cero en la frontera. Sean X = gen {1 , 2 , ..., k } y

Y = gen k+1 , k+2 , ... . Entonces:


X y Y son subespacios cerrados de H01 () .

H01 () = X Y.
kyk2H 1 k+1
0

kxk2H 1 k
0

2
x

y Y.
x X.

ubrinic [10], p. 243.


Prueba. Ver Brzis [2], p. 192 y Mitrovic-Z

Teorema 1.1.8 (Desigualdad de Poincar) Para todo u H01 () se tiene


Z

u2

1
1

|u|2 .

Prueba. Ver Brzis [2], p. 168-174, A. Castro [4] y De Figueiredo [7].

Definicin 1.1.2 f : R R es una funcin Carathodory si se cumplen las siguientes


dos condiciones:
Para todo s R fijo, la funcin f (, s) es medible en .
Para casi todo x fijo la funcin f (x, ) es continua en R.
Sea f : R R una funcin Carathodory. Consideremos el problema de Dirichlet

u = f (x, u) en

u=0
en .

(1.1)

Definicin 1.1.3 Decimos que u es una solucin clsica de (1.1) si

u C 2 () C ,

u(x) = f (x, u(x)) x


u(x) = 0

x .

Decimos que u es una solucin dbil (o generalizada) de (1.1) si

u H 1 ()
y
0
R
R

u.v = f (x, u) v

v H01 () .

(1.2)

Teorema 1.1.9 Sea f : R R una funcin Carathodory que cumple la condicin de


crecimiento
|f (x, s)| c |s|p1 + b(x)
donde

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 y c es una constante positiva.

(1.3)

Sea J : H01 () R el funcional definido por


J(u) =

1
2

|u|2

F (x, u) ,

Rs

f (x, ) d . Entonces J est bien definido, J es dbilmente inferiormente

semicontinuo, J C 1 H01 () , R y adems

donde F (x, s) =

J 0 (u) [v] = hJ(u), viH 1


0
Z
Z
=
u.v
f (x, u) v

v H01 () .

(1.4)

Prueba. Ver De Figueiredo [6], p. 18, y Rabinowitz [12], p. 90.

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

En este captulo se demuestran dos teoremas referentes a la minimizacin de funcionales. Estos


teoremas, que se demuestran en la Seccin 2.1, se usarn en la Seccin 2.2 en algunas aplicaciones
a ecuaciones elpticas semilineales; as mismo el segundo de ellos se utilizar, de manera esencial,
en la demostracin del teorema central del Captulo 3. En las aplicaciones de la Seccin 2.2
lo que se hace es exhibir condiciones suficientes que garantizan las hiptesis de los teoremas
de la Seccin 2.1 y de esta manera asegurar la existencia de soluciones dbiles para algunos
problemas de Dirichlet no lineales.

2.1

Dos Teoremas de Minimizacin

Sea f : R R una funcin Carathodory que satisface la condicin de crecimiento


|f (x, s)| c |s|p1 + b(x)
donde

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,

= 1 y c es una constante positiva.

Consideremos el funcional J : H01 () R definido por


J(u) =
donde F (x, s) =

Rs
0

1
2

|u|2

F (x, u) ,

f (x, ) d . Este funcional est bien definido, es C 1 H01 () , R y es dbil-

mente inferiormente semicontinuo, de acuerdo al Teorema 1.1.9.


6

El siguiente resultado se demostrar usando el Teorema 1.1.2.


Teorema 2.1.1 Si f satisface la condicin (2.1), entonces para todo r > 0

existen r 0 y

ur B r (0) H01 () tales que J(ur ) = r ur y J restringido a B r (0) asume su mnimo en


ur , es decir,
J(ur ) = min J(u).
uB r (0)

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

como J(ur ) = min J(u) : u B r (0) se tiene


J(ur ) J(tv + (1 t)ur ) = J(ur + t(v ur )).
Como J es Frchet diferenciable se sigue que J es Gateaux diferenciable, por lo tanto
J(ur + t(v ur )) = J(ur ) + t hJ(ur ), v ur iH 1 + o(t).
0

As
J(ur ) J(ur ) + t hJ(ur ), v ur iH 1 + o(t)
0

t (0, 1].

Dividiendo por t y tomando lmite cuando t 0+ se tiene que


hJ(ur ), v ur iH 1 0
0

Analicemos dos casos:


7

v B r (0).

(2.2)

I ur es un punto interior de B r (0):


Existe > 0 tal que B (ur ) Br (0), luego, por (2.2), es claro que
hJ(ur ), wiH 1 0

w B (0).

(2.3)

Sea w B (0). Claramente w B (0) y as, por (2.3),


hJ(ur ), wiH 1 0 y hJ(ur ), wiH 1 0,
0

por lo tanto
hJ(ur ), wiH 1 = 0

w B (0).

Si v H01 () con v 6= 0 entonces v/ kvkH 1 B (0) y as


0

v
J(ur ),
kvkH 1
0

=0

H01

y por lo tanto
v H01 () .

hJ(ur ), viH 1 = 0
0

En particular, tomando v = J(ur ) se tiene que


J(ur ) = 0,

(2.4)

es decir, ur es un punto crtico de J. La conclusin del teorema se sigue tomando r = 0.


I ur B r (0):
Si J(ur ) = 0 la conclusin del teorema se tiene con r = 0. Para J(ur ) 6= 0, supongamos,
por contradiccin, que
< 0, J(ur ) 6= ur .
En partcular para = kJ(ur )kH 1 / kur kH 1 se tiene
0

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

Por la desigualdad de Cauchy-Schwarz se sigue que


hv0 , ur iH 1 < kv0 kH 1 kur kH 1 = r2 .
0

(2.5)

Por otro lado, tomando v = v0 en (2.2) tenemos


hJ(ur ), v0 ur iH 1 0.
0

Por consiguiente

r
J(ur ), v0 ur
kJ(ur )kH 1
0

H01

= hv0 , v0 ur iH 1 ,
0

lo cual implica que


hv0 , ur iH 1 kv0 k2H 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)

entonces el funcional J posee un punto crtico.

Prueba. Como J(0) = 0 y J(u) > 0 u B r0 (0), conclumos que el mnimo de J en


B r0 (0) se logra en un punto interior de la bola, digamos ur0 . De (2.4) se sigue que J(ur0 ) = 0,
con lo cual se concluye la demostracin.
A continuacin se demostrarn dos lemas que sern utilizados en la prueba del Teorema
2.1.5.

Lema 2.1.3 Sea H un espacio de Hilbert real.

Sean x, y H fijos, definamos la funcin

por
:R

(2.7)

s 7 (s) = x + s(y x).


Entonces C 1 (R, H) y 0 (s) = y x ( 0 (s) BL (R, H) se identifica con 0 (s) [1] H).
Prueba. Sean s, t R
(s + t) (s)

x + (s + t) (y x) [x + s (y x)]

= (y x)t.
=

De donde se concluye que la derivada de Gateaux de en s es 0G (s) = y x.


0G : R

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)

luego 0G : R BL (R, H) es continua, por lo tanto la derivada de Frchet es igual a la


derivada de Gateaux, es decir,
0 (s) = 0G (s) = y x
10

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.

Prueba. Sean x, y H. Consideremos la restriccin de la funcin , definida por (2.7), a


[0, 1]. Es decir,
: [0, 1] H
s

7 (s) = x + s(y x).

Por el lema anterior C 1 ([0, 1], H) . Definamos la siguiente funcin


h = G : [0, 1]

s 7 h(s) = G ((s)) = G (x + s(y x)) .


Es claro que h C 1 ([0, 1], R) . Por el Teorema Fundamental del Clculo se tiene
h(1) h(0) =
o equivalentemente
G(y) G(x) =

h0 (s)ds

(G )0 (s)ds.

Pero

(G )0 (s) = G0 ((s)) 0 (s)

= G0 ((s)) [y x]

= hG ((s)) , y xi
= hG (x + s(y x)) , y xi .
As
G(y) G(x) =

hG (x + s(y x)) , y xi ds,


11

y de esta manera queda demostrado el lema.


A continuacin presentamos un segundo resultado de minimizacin de funcionales.

Teorema 2.1.5 Sean H un espacio de Hilbert real y G : H R una funcin de clase C 1 .


Si existe m > 0 tal que
hG(u) G(v), u vi m ku vk2

u, v H

(2.8)

entonces existe un nico punto u0 H tal que


G(u0 ) = min G(u).
uH

Adems, u0 es el nico punto crtico de G : H R; es decir, G(u0 ) = 0.


Prueba. La demostracin se har usando las dos afirmaciones siguientes:
Afirmacin 1: G es convexa.
En efecto, sean x, y H, t (0, 1) y s (0, 1]. Usando (2.8) con u = x + ts(y x) y
v = x + s(y x) se tiene
hG(x + ts(y x)) G(x + s(y x)), s (t 1) (y x)i
m kx + ts(y x) x s(y x)k2 0,
entonces
s (t 1) hG(x + ts(y x)) G(x + s(y x)), y x)i 0,
pero s (t 1) < 0, luego
hG(x + ts(y x)) G(x + s(y x)), y x)i 0.
Por lo tanto
hG(x + ts(y x)), y x)i hG(x + s(y x)), y xi .
12

(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 + s [x + t(y x) x]) , t (y x)i ds.

De sta ltima igualdad y de (2.9) se tiene que


G(x + t(y x)) = G(x) + t
G(x) + t

hG (x + ts(y x)) , y xi ds

hG(x + s(y x)), y xi ds.

Por el Lema de Hadamard


G(y) G(x) =

hG (x + s(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

Usando (2.8) y la desigualdad de Cauchy-Schwarz se sigue que


G(x) G(0) +

ms kxk2 ds kG(0)k kxk

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

es decir, u0 es un mnimo de G. Como G es diferenciable G(u0 ) = 0, luego u0 es un punto


crtico de G.
Para la unicidad supongamos que existe otro punto crtico u1 H. Por (2.8) se tiene
0 = hG(u0 ) G(u1 ), u0 u1 i m ku0 u1 k2 0
de donde se concluye que
u0 = u1,
por lo tanto el punto crtico es nico.

14

2.2
2.2.1

Aplicaciones a Problemas Elpticos Semilineales


Aplicaciones del Corolario 2.1.2

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) ,

f (x, ) d . J est asociado al problema de Dirichlet

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)

De (2.12) y (2.13) se tiene que para casi todo x


|f (x, s)| |s| + c1

s R,

es decir, f satisface (2.1) con p = 2.


Usando (2.12) y la continuidad de F (x, ) en R se sigue que
1
F (x, s) s2 + c2
2

s R, x ,

(2.14)

donde c2 es una constante positiva.


Sea u H01 (). De (2.14) se sigue que
J(u) =

Z
Z
1
2
|u|
F (x, u)
2
Z
Z
1
1
|u|2 u2 c2 || .
2
2

Por la caracterizacin variacional de 1 (ver Teorema 1.1.8) sabemos que


Z

Por lo tanto
1
J(u)
2

u2

1
1

|u|2 .

1
kuk2H 1 c2 || .
0
1

Como < 1 se sigue que


J(u) + cuando kukH 1 +,
0

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).

Teorema 2.2.2 (Mawhin-Ward-Willem [11]) Supongamos que (2.1) es vlido y que


2F (x, s)
s2
s+
2F (x, s)
lim sup
s2
s
lim sup

(x) 1 y
(x) 1 ,

(2.15)

donde L () y (x) < 1 en un conjunto de medida positiva. Entonces el problema de


Dirichlet (2.10) tiene al menos una solucin dbil u0 H01 () .
Prueba. sea J : H01 () R el funcional definido por
1
J(u) =
2
donde F (x, s) =

Rs
0

|u|

F (x, u) ,

f (x, ) d . Demostremos que J es coercivo.

Veamos primero que

> 0 tal que

(u) :=

|u|

(x)[u(x)]2

kukH 1 = 1.

(2.16)

En efecto, supongamos por contradiccin que n N un H01 () con kun kH 1 = 1 y


0

(un ) <

1
n.

Como (x) 1 en y por la caracterizacin variacional de 1 se tiene que


(u) 0

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

u0 en H01 () para algn u0 H01 () . Por otro lado, segn en el


17

Teorema 1.1.6 la inclusin H01 L2 es compacta. Luego un u en L2 ().


De otra parte, si g(x, s) = (x)s con x y s R, entonces g satisface (2.1). En efecto
|g (x, s)| = |(x)| |s| kkL |s|

para casi todo x .

Si consideramos el funcional
Jg : H01 () R
7 Jg (u) =

u
donde Fg (x, s) =

Rs
0

2
|u|

1
2

Fg

(x, u) ,

g (x, ) d , entonces Jg est bien definido, Jg C 1 H01 () , R y J es

dbilmente inferiormente semicontinuo, segn el Teorema 1.1.9. Ahora, como (u) = 2Jg (u),
u0 en H01 () , se tiene que

entonces tiene las mismas propiedades. Como un

0 (u0 ) lim inf (un ) = lim (un ) = 0


n+

n+

(2.17)

y por lo tanto (u0 ) = 0.


Por otro lado, como kun kH 1 = 1 se sigue que
0

(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)|

kkL kun u0 kL2 kun + u0 kL2


c1 kun u0 kL2 0,

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 | =

(x)[u0 (x)] < 1

[u0 (x)]2 .

Como ku0 kL2 > 0 se sigue que


1 < 1 .
Esta contradiccin demuestra (2.16).
Sea u H01 () , u 6= 0. Por (2.16) se tiene

u
kukH 1
0

0.

De donde se sigue que


(u)

2
0 kukH 1
0

u H01 () .

Sea 0 < < 1 0 . Como

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

De estas dos ltimas expresiones se puede ver que


F (x, s) <

(x) + 2
s +c
2

s R, x .

Sea u H01 () . Con base en esta ltima expresin estimemos J(u)


J(u) =

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

Usando (2.20) y la caracterizacin variacional de 1 se tiene que


J(u)
=
Como

< 1

Z
1
1
2
|u|2 c ||
0 kukH 1
0
2
2 1

1
2
c || .
kukH 1 0
0
2
1

se sigue que J(u) + si kukH 1 +, lo cual prueba que J es coercivo.


0

Por lo tanto existen constantes a > 0 y r0 > 0 tales que


u Br0 (0) .

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

Una Aplicacin del Teorema 2.1.5

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

entonces el problema de Dirichlet

0
f (t) k < 1

t R

u = f (u) en

u=0
en

tiene al menos una solucin dbil u0 H01 () .

Prueba. Sea s R. Por el Teorema del Valor Medio existe R tal que
f (s) f (0) = f 0 ()s.
As

|f (s)| = f 0 ()s + f (0)

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|

f (t) dt, es tal que J C 1 H01 () , R y


hJ(u), viH 1 =
0

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)) .

hJ(u) J(v), u viH 1 =


0

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

f 0 ((x)) [u(x) v(x)]2


k(u v)2 .

Por la caracterizacin variacional de 1 se tiene


Z
k
|(u v)|2
hJ(u) J(v), u viH 1 ku vk2H 1
0
0
1

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

En este captulo se presenta el Mtodo de Reduccin de Lyapunov-Schmidt, as como tambin


algunas aplicaciones de ste. Como se estudi en el Captulo 2, cuando se tiene una ecuacin
diferencial parcial y se quiere estudiar la existencia de soluciones dbiles, a veces es posible
obtener un problema variacional asociado a dicha ecuacin, al cual se le puede encontrar solucin
mediante una tcnica de optimizacin del funcional asociado a la ecuacin diferencial parcial.
El mtodo de reduccin es una tcnica para encontrar puntos crticos de funcionales y consiste
en transformar el problema variacional en dimensin infinita a un problema de optimizacin en
un espacio de dimensin finita, el cual, normalmente, es ms fcil de resolver. En la Seccin
3.1 se demuestra el teorema central del mtodo de reduccin y su respectivo corolario, el cual
se usar en las dos aplicaciones que se presentan en la Seccin 3.2 a problemas elpticos no
lineales.

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

entonces Gx C 1 (Y, R) , G0x (y) = G0 (x + y)|Y Y 0 y adems


hGx (y), ti = hG(x + y), ti

y, t Y.

(3.1)

Prueba. Sean y, t Y, t 6= 0. Por definicin


|Gx (y + t) Gx (y) G0 (x + y)[t]|
|G (x + y + t) G (x + y) G0 (x + y)[t]|
=
,
ktk
ktk
pero
|G (x + y + t) G (x + y) G0 (x + y)[t]|
0
ktk
cuando ktk 0, ya que G es Frchet diferenciable en x+y. Se tiene entonces que Gx es Frchet
diferenciable y que G0x (y) = G0 (x + y)|Y Y 0 y Y .
Por el Teorema de Representacin de Riesz se tiene que
hGx (y), ti = G0x (y) [t] = G0 (x + y) [t] = hG(x + y), ti

y, t Y.

(3.2)

Por ltimo veamos que


G0x : Y

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,

es decir, G0x (yn ) G0x (y) en Y 0 . Se tiene entonces que Gx C 1 (Y, R) .


Ahora si veamos el teorema central en el cual se basa el mtodo de reduccin.

Teorema 3.1.2 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. Supongamos que existe una

25

constante m > 0 tal que


hG(x + y1 ) G(x + y2 ), y1 y2 i m ky1 y2 k2

x X, y1 , y2 Y.

Entonces se tiene lo siguiente:


(i).

Existe una funcin continua : X Y tal que


G (x + (x)) = min G (x + 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.

Prueba. Sea x X. Por el Lema 3.1.1 sabemos que el funcional


Gx : Y

y 7 Gx (y) = G (x + y)
es C 1 , G0x (y) = G0 (x + y)|Y Y 0 y adems que

hGx (y), ti = hG(x + y), ti

y, t Y.

De esta ltima expresin y de la hiptesis (3.3) se observa que


hGx (y1 ) Gx (y2 ), y1 y2 i = hG(x + y1 ) G(x + y2 ), y1 y2 i
m ky1 y2 k2
26

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

Como x X se escogi arbitrariamente, podemos definir la funcin


: X Y
x 7 (x) = ux ,
la cual es tal que
Gx ( (x)) = 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)

con lo cual se prueba (iii).


Demostremos ahora que es continua. Supongamos por contradiccin que : X Y no es

continua. Por lo tanto existen x1 X, > 0 y {xn }+


n=1 X tales que
xn x1 en X

k (xn ) (x1 )k

n N.

(3.5)

Claramente xn + (x1 ) x1 + (x1 ) en H, y como G C 1 (H, R) , entonces


G(xn + (x1 )) G(x1 + (x1 )) en H.

(3.6)

Sean P : H Y H la proyeccin de H sobre Y y P : H H el operador adjunto de P.


Recordemos que
hP x, yi = hx, P yi

27

x, y H.

Sean u X y v H. Como H = X Y existen x X y y Y tales que v = x + y, por lo


tanto
hP G(u + (u)), vi = hP G(u + (u)), xi + hP G(u + (u)), yi
= hG(u + (u)), P xi + hG(u + (u)), P yi = 0.
En esta ltima expresin hemos usado (3.4). Se tiene entonces que
P G(x + (x)) = 0

x X.

Volviendo a (3.6) y como P : H H es continuo, se sigue que


P G(xn + (x1 )) P G(x1 + (x1 )) = 0 en H.
Por lo tanto existe n0 N tal que
kP G(xn0 + (x1 ))k < m.

(3.7)

De otra parte, por (3.3), se tiene que


hG (xn0 + (xn0 )) G (xn0 + (x1 )) , (xn0 ) (x1 )i m k (xn0 ) (x1 )k2 .
Pero como (xn0 ) (x1 ) Y, entonces P ( (xn0 ) (x1 )) = (xn0 ) (x1 ) . Adems,
por (3.4), se tiene que hG(xn0 + (xn0 )), (xn0 ) (x1 )i = 0, por lo tanto
hG (xn0 + (x1 )) , P ( (xn0 ) (x1 ))i m k (xn0 ) (x1 )k2 .
As
hP G (xn0 + (x1 )) , (xn0 ) (x1 )i m k (xn0 ) (x1 )k2 .
Por la desigualdad de Cauchy-Schwarz se sabe que
hP G (xn0 + (x1 )) , (xn0 ) (x1 )i kP G (xn0 + (x1 ))k k (xn0 ) (x1 )k .
28

De las dos desigualdades anteriores se sigue que


kP G (xn0 + (x1 ))k k (xn0 ) (x1 )k m k (xn0 ) (x1 )k2 .
Usando (3.5) y la desigualdad anterior se tiene
kP G (xn0 + (x1 ))k m k (xn0 ) (x1 )k
m,
lo cual contradice (3.7).

Por lo tanto es una funcin continua.

De esta manera queda

demostado (i).
Consideremos ahora el funcional
b : X R
G
x

b
7 G(x)
= G (x + (x)) .

Sean x, h X y > 0. Por el Lema de Hadamard se tiene que


G (x + (x) + h) G (x + (x)) =

hG (x + (x) + sh) , hi ds.

(3.8)

Teniendo en cuenta que (x) es el mnimo de Gx : Y R y la expresin (3.8), estimemos el


siguiente cociente de diferencias
b (x + h) G
b (x)
G

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

lim sup hG (x + (x) + sh) , hi ds


0+

hG (x + (x)) , hi ds

= hG (x + (x)) , hi .

(3.10)

Teniendo en cuenta que la funcin : X Y es continua y con justificaciones similares a las


anteriores se sigue que
b (x + h) G
b (x)
G

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

lim inf hG (x + (x + h) + sh) , hi ds


+
0 0
Z 1
=
hG (x + (x)) , hi ds
0

= hG (x + (x)) , hi .

(3.11)

De (3.10) y (3.11) se tiene que

lim

0+

b (x + h) G
b (x)
G
= hG (x + (x)) , hi

x, h X.

(3.12)

x, h X.

(3.13)

De manera anloga se demuestra que


lim

b (x + h) G
b (x)
G
= hG (x + (x)) , hi

30

De (3.12) y (3.13) se sigue que


b (x + h) G
b (x)
G
= hG (x + (x)) , hi
0

x, h X.

lim

(3.14)

De (3.14), por la continuidad del producto interno y sabiendo que la funcin : X Y es

b posee derivada de Gateaux continua. Por lo


continua y que G es C 1 (H, R) , se tiene que G

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)

Con lo cual se demuestra (ii). Se concluye as la prueba del teorema.


A continuacin se presenta un corolario del teorema anterior que se usa para conseguir
puntos crticos de funcionales de tipo "maxmin". Este corolario lo usaremos frecuentemente
en las aplicaciones en la Seccin 3.2.

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)

b : X R es dbilmente inferiormente semicontinuo entonces existe u0 H tal que


Si G
G(u0 ) = 0 y

G(u0 ) = max min G(x + y).


xX yY

Prueba. En esta demostracin utilizaremos las mismas definiciones y notaciones de la


b C 1 (X, R) .
prueba del Teorema 3.1.2. Sabemos que la funcin : X Y es continua y que G
Teniendo en cuenta que (x) es el mnimo de Gx : Y R, se sigue que
b (x) = G (x + (x)) G (x)
G

31

x X.

Por lo tanto
lim

kxk+

b (x) = +
G

(x X) .

b : X R es dbilmente inferiormente semicontinua y coerciva.


Se tiene entonces que G
Adems X es un espacio de Banach reflexivo, por ser un espacio de Hilbert. Por el Teorema
1.1.4 se sigue que existe x0 X tal que

b (x0 ) = min G
b (x)
G
xX

o equivalentemente

b (x) .
b (x0 ) = max G
G
xX

b C 1 (X, R) , se sigue que


Como G

D
E
b (x0 ) , x = 0
G

x X.

b (x) = G (x + (x)) = min G (x + y) . De (3.17) se tiene


Por otro lado se sabe que G

(3.17)

(3.18)

yY

G (x0 + (x0 )) = max min G (x + y) .


xX yY

(3.19)

Sea u H. Como H = X Y, existen x X y y Y tales que u = x + y. Usando (ii) del


Teorema 3.1.2, (3.4) y (3.18) se sigue que
hG (x0 + (x0 )) , ui = hG (x0 + (x0 )) , xi + hG (x0 + (x0 )) , yi
E
D
b (x0 ) , x + 0
=
G
= 0.

Por lo tanto u0 := x0 + (x0 ) H es tal que G (u0 ) = 0 y


G (u0 ) = max min G (x + y) ,
xX yY

con lo cual se concluye la prueba del corolario.

32

3.2

Aplicaciones a Problemas Elpticos Semilineales

En esta seccin se presentan algunas aplicaciones del mtodo de reduccin a la existencia de


soluciones dbiles para problemas de Dirichlet no lineales.
En toda esta seccin consideraremos el funcional
J : H01 () R
u
donde F (s) =

Rs
0

7 J(u) =

1
2

2
|u|

(u) ,

f ( ) d . Este funcional est asociado al problema de Dirichlet

u = f (u) en

u=0
en .

(3.20)

Sea 0 < 1 < 2 3 ..... k .... la sucesin de valores propios y {i }+


i=1 la sucesin de
funciones propias de con condicin de Dirichlet cero en la frontera.
Teorema 3.2.1 Sea f : R R una funcin que satisface las siguientes condiciones:
i) f es Lipschitz, con constante de Lipschitz tal que 0 < < k+1 , donde k es algn
entero positivo.
ii) Existen constantes y , con > k , tales que
F (s)

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

sabemos que X y Y son subespacios cerrados de H01 () y que H01 () = X Y.


De las hiptesis se tiene que
|f (s) f (t)| |s t|
33

s, t R.

(3.22)

De (3.22) se sigue que f es continua en R. De (3.22) tambin se tiene que


|f (s)| |f (0)| |f (s) f (0)| |s 0| .
De donde
|f (s)| |s| + |f (0)| ,
es decir, (2.1) se satisface con p = 2.

Por lo tanto, segn el Teorema 1.1.9, el funcional

J : H01 () R est bien definido, J C 1 H01 () , R , J es dbilmente inferiormente

semicontinuo y para u H01 ()

hJ(u), viH 1 =
0

u.v

f (u) v

v H01 () .

Sean x X y y1 , y2 Y. Usando la igualdad anterior se sigue que


hJ(x + y1 ) J(x + y2 ), y1 y2 iH 1 =
0

[(x + y1 ). (y1 y2 ) (x + y2 ). (y1 y2 )]

[f (x + y1 ) (y1 y2 ) f (x + y2 ) (y1 y2 )]

(y1 y2 ). (y1 y2 )

[f (x + y1 ) f (x + y2 )] (y1 y2 ) .

Usando (3.22) se tiene


f (x + y1 ) f (x + y2 ) |y1 y2 | .
As
hJ(x + y1 ) J(x + y2 ), y1 y2 iH 1 ky1 y2 k2H 1
0

= ky1 y2 k2H 1
0

Del Teorema 1.1.7 se tiene que


kyk2H 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

Del Teorema 1.1.7 se tiene que kxk2H 1 k


0

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 es continuo y por lo tanto es inferiormente semicontinuo.

Como dim X < +, entonces

Jb : X R es dbilmente inferiormente semicontinuo (ver Teorema 1.1.5) y por consiguiente


-Jb : X R tambin lo es. Luego, por el Corolario 3.1.3, existe u0 H01 () tal que J (u0 ) = 0
y

J(u0 ) = max min J(x + y).


xX yY

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

i) Existe k N tal que


f (s)
(k , k+1 ) y
s
f (s)
(k , k+1 ).
f 0 () : = lim
s s
f 0 (+) : = lim

s+

ii) Existe una constante tal que


f 0 (s) < k+1

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

sabemos que X y Y son subespacios cerrados de H01 () y que H01 () = X Y

Como f C (R, R) y f 0 () , f 0 (+) R, existen constantes positivas c1 y c2 tales que


|f (s)| c1 |s| + c2

s R.

Es decir, (2.1) se satisface con p = 2.

Por lo tanto, segn el Teorema 1.1.9, el funcional

J : H01 () R est bien definido, J C 1 H01 () , R , J es dbilmente inferiormente


semicontinuo y para u H01 ()

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

[(x + y1 ). (y1 y2 ) (x + y2 ). (y1 y2 )]

(y1 y2 ). (y1 y2 )

[f (x + y1 ) (y1 y2 ) f (x + y2 ) (y1 y2 )]

36

[f (x + y1 ) f (x + y2 )] (y1 y2 ) .

Usando (3.23) y el Teorema del Valor Medio se sigue


hJ(x + y1 ) J(x + y2 ), y1 y2 iH 1 = ky1 y2 k2H 1
0

ky1 y2 k2H 1
0

Del Teorema 1.1.7 se tiene que kyk2H 1 k+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.

Sea x X. De la expresin anterior se sigue que


J (x) =

Z
Z
1
2
|x|
F (x)
2
Z
Z

1
2
2
x
.
kxkH 1
0
2
2

Del Teorema 1.1.7 se tiene que kxk2H 1 k


0

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 es continuo y por lo tanto es inferiormente semicontinuo.

Como dim X < +, entonces

Jb : X R es dbilmente inferiormente semicontinuo (ver Teorema 1.1.5) y por consiguiente


37

-Jb : X R tambin lo es. Luego, por el Corolario 3.1.3, existe u0 H01 () tal que J (u0 ) = 0
y

J(u0 ) = max min J(x + y).


xX yY

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

S-ar putea să vă placă și

  • La Pubertad. Triptico
    La Pubertad. Triptico
    Document2 pagini
    La Pubertad. Triptico
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • 12proyecto Costos Biografia 27 (Reparado) WW
    12proyecto Costos Biografia 27 (Reparado) WW
    Document81 pagini
    12proyecto Costos Biografia 27 (Reparado) WW
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Tarjetas Lindo
    Tarjetas Lindo
    Document1 pagină
    Tarjetas Lindo
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • TESIS Casi Casi
    TESIS Casi Casi
    Document94 pagini
    TESIS Casi Casi
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • La Pubertad. Triptico
    La Pubertad. Triptico
    Document2 pagini
    La Pubertad. Triptico
    Angel Moreno Paico
    Încă nu există evaluări
  • Salida Llantas: Audio
    Salida Llantas: Audio
    Document1 pagină
    Salida Llantas: Audio
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Ens. Seguridad Industrial
    Ens. Seguridad Industrial
    Document18 pagini
    Ens. Seguridad Industrial
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Primera Clase para Gente W
    Primera Clase para Gente W
    Document23 pagini
    Primera Clase para Gente W
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Tarea Fisica
    Tarea Fisica
    Document41 pagini
    Tarea Fisica
    Walter Jesus Rojas Fhon
    100% (1)
  • Minimizaciondg
    Minimizaciondg
    Document48 pagini
    Minimizaciondg
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Upaowww PDF
    Upaowww PDF
    Document13 pagini
    Upaowww PDF
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Ejercicios Propuestos - Vectores
    Ejercicios Propuestos - Vectores
    Document7 pagini
    Ejercicios Propuestos - Vectores
    Luis Castillo
    Încă nu există evaluări
  • Tikes
    Tikes
    Document1 pagină
    Tikes
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Eres La Luz
    Eres La Luz
    Document1 pagină
    Eres La Luz
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • CV Leiter 2016
    CV Leiter 2016
    Document9 pagini
    CV Leiter 2016
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • CV - CARLOS MONTOYA Satt
    CV - CARLOS MONTOYA Satt
    Document5 pagini
    CV - CARLOS MONTOYA Satt
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Upao
    Upao
    Document2 pagini
    Upao
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Analisis Vectorial
    Analisis Vectorial
    Document6 pagini
    Analisis Vectorial
    Frank Rodriguez
    Încă nu există evaluări
  • Radio Final Word
    Radio Final Word
    Document16 pagini
    Radio Final Word
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • El Antracenjjo
    El Antracenjjo
    Document5 pagini
    El Antracenjjo
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Platos Tipicos de La Costa
    Platos Tipicos de La Costa
    Document18 pagini
    Platos Tipicos de La Costa
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Aefewf
    Aefewf
    Document4 pagini
    Aefewf
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Chatarra para Obtencion de Acero
    Chatarra para Obtencion de Acero
    Document8 pagini
    Chatarra para Obtencion de Acero
    Josué David Peláez Morales
    Încă nu există evaluări
  • Egergr
    Egergr
    Document8 pagini
    Egergr
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Cheque Informeqdqwd
    Cheque Informeqdqwd
    Document1 pagină
    Cheque Informeqdqwd
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Chatarra para Obtencion de Acero
    Chatarra para Obtencion de Acero
    Document8 pagini
    Chatarra para Obtencion de Acero
    Josué David Peláez Morales
    Încă nu există evaluări
  • 1°sesion2 Unidad5sf2
    1°sesion2 Unidad5sf2
    Document6 pagini
    1°sesion2 Unidad5sf2
    Walter Jesus Rojas Fhon
    Încă nu există evaluări
  • Eco2 Productividade
    Eco2 Productividade
    Document5 pagini
    Eco2 Productividade
    Oliver Sucari P
    Încă nu există evaluări
  • Problemas Resueltos Economía Financiera
    Problemas Resueltos Economía Financiera
    Document169 pagini
    Problemas Resueltos Economía Financiera
    paolamerlo
    93% (14)