Mtodos Variacionales y Problemas de Contorno Elpticos Semilineales

Oswaldo Dede Mejia

VII Encuentro de Matemticas del Caribe
Colombiano.
Universidad del Atlntico
Barranquilla, Colombia
Noviembre de 2011
1
Mtodos Variacionales y Problemas de Contorno Elpticos Semilineales
Oswaldo Dede Mejia
Resumen
El presente trabajo pretende introducir algunos mtodos variacionales para
estudiar la existencia de soluciones a problemas de contorno formulados por
ecuaciones diferenciales elpticas semilineales con condiciones de Dirichlet.
1. INTRODUCCIN
Muchos fenmenos del mundo fsico, de las finanzas, de la ingeniera y de la
fisiologa, se modelan mediante ecuaciones diferenciales acompaadas de
condiciones accesorias. Para que tales modelos tengan sentido, las respectivas
ecuaciones restringidas por las condiciones sobre el contorno del recinto,
deben poseer soluciones que permitan validar la eficacia de aquellos, ya que
un modelo sin soluciones es intrascendente.
En algunos casos, los problemas pueden estudiarse buscando soluciones que
sean puntos crticos de una cierta funcional definida de un espacio de
funciones sobre un dominio
n
el cual debe cumplir ciertas condiciones
de suavidad.
En nuestro caso nos limitaremos a problemas del tipo:
( )
0 en u u f +
(1)
0 en u
,
donde es un dominio acotado en
n
con frontera suave,
2
2 2
1
n
i
i
x

es el
operador de Laplace y
: f
es una funcin no lineal con algn tipo de
suavidad.
2
Otros problemas a considerar y un tanto ms generales son:
( )
, en u u u f +
.
(2)
en u g ,
( )
0, en u u f +
:
(3)
0 en u
.
La existencia de soluciones y el nmero de las mismas dependen de la
geometra del dominio .
Los mtodos variacionales tratan de encontrar una funcional J relacionada
con el problema en cuestin y obtener puntos crticos de la misma que seran
soluciones del problema.
2. PRELIMINARES
2.1 Funciones diferenciables en un espacio de Banach.
Definicin 2.1.1. Sea
: f
donde es un conjunto abierto en un
espacio real de Banach X, la funcional f tiene una derivada de Gateaux
'
en u X si para todo h X se tiene que
. ( )
( )
1
lim , 0
0
f u th f u th
t
t

1
]
+

,
donde
'
X es el dual topolgico de X, es decir,

es una transformacin lineal

continua de X
3
La derivada de Gateaux en u se nota por
( )
'
u f
y se expresa por
( ) ( ) ( )
'
0
, : lim
t
f u h f u th f u

+ 1
]
Si X es un espacio de Hilbert y f tiene una derivada de Gateaux en u, el
gradiente de f en u se define por
( ) ( )
'
, : , f u h f u h
Definicin 2.1.2. La funcional f es diferenciable Gateaux en si en cada
u existe derivada de Gateaux. En este caso se define la aplicacin
derivada de Gateaux ( )
'
: L X, f que asocia cada u con la
derivada de Gateaux ( )
'
f u en u.
Definicin 2.1.3. Una funcional
: f
, donde es un subconjunto
abierto de un espacio real de Banach, tiene una derivada de Frchet
'
X
en
u si
( )
( )
1
lim . 0
0
f u h f u h
h h

1
]
+

.
Nota 2.1.1. Cualquier derivada de Frchet es una derivada de Gateaux.
Definicin 2.1.4. Sea
: f
, decimos que f es diferenciable Frchet en
si f tiene una derivada de Frchet en cada u. En este caso podemos
definir una funcin ( )
'
: L X, f que asocia a cada u la derivada
( )
'
f u . La funcin
'
f se denomina la derivada de Frchet en .
Nota 2.1.2. El espacio
( ) , L X
de las transformaciones lineales continuas de
X en los reales se dota de una norma dada por
sup T
{
: Tx x
X}
Definicin 2.1.5. Sea
: f
La funcional f pertenece a
( )
1
C
si la
derivada de Frchet de f existe y es continua en .
4

La siguiente proposicin aparece en la literatura:
Proposicin 2.1.1. Si f tiene una derivada continua de Gateaux en
entonces
( )
1
f C
Definicin 2.1.6. Sea
( )
1
f C
. La funcional f tiene una segunda derivada
de Gateaux ( )
'
, X X L
en u si para todo par h, v en X
( )
( )
( )
1
' '
lim , 0
0
f u th f u th v
t
t
+

.
La segunda derivada de Gateaux se expresa por
( ) ( ) ( )
'' ' '
0
1
, : lim ,
t
f u h v f u th f u v
t

+
.
Si en cada u existe derivada segunda de Gateaux, podemos definir la
funcin segunda derivada como
( )
''
: .
n
f L
donde ( )
.
n
L
es el
conjunto de todas las transformaciones lineales de en el conjunto de las
transformaciones lineales de
n
en . Tal funcin asocia a cada u la
segunda derivada de Gateaux en u.
Definicin 2.1.7. La funcional f tiene una segunda derivada de Frchet

en
u si

es una transformacin lineal de X en el dual topolgico de X tal

que
( )
( )
1
' '
lim 0
0
f u h f u h
h h

1
1
]
+

.
Anlogamente al caso de la derivada de Gateaux, podemos definir la funcin
segunda derivada de Frchet en .
Definicin 2.1.8. La funcional f es de la clase
( )
2
C
si la derivada segunda
de Frchet de f existe y es continua en .
5
Nota 2.1.3. Cualquier segunda derivada de Frchet es una segunda derivada
de Gateaux.
Proposicin 2.1.2. Si f tiene segunda derivada continua de Gateaux en
entonces ( )
2
f C .
Existe un isomorfismo natural entre
( ) ( ) ( )
2
, , y , L L L
que asocia a
cada transformacin lineal
( ) : , T L
una transformacin bilineal
: T
%
tal que ( ) ( ) , T u v T u v
%
. Esto nos permite considerar la
segunda derivada como una transformacin bilineal. ( ) ( ) , T u v T u v
%
.
2.2. Derivadas de orden superior y los espacios
( )
k
C .
Podemos definir inductivamente las derivadas de orden superior.
Definicin 2.2.1. Si
: f
es ( )
1 k
veces diferenciable, entonces su
( )
1 k
-sima derivada es una aplicacin
( )
1
: ,
1
k
n
f L
k
_

,

de en
el espacio de aplicaciones lineales de en
n
. Si
1 k
f

es diferenciable en
un punto u diremos que f es k veces diferenciable en u. Mediante el
isomorfismo cannico ( ) ( ) ( )
1
, , ,
n n n
k k
L L L

, identificamos
( )
k
f u
_

, , la derivada de f en u, como una aplicacin k- lineal de en
n

que denominaremos la k-sima derivada de f en el punto u. Cuando
( ) u
k
f
_

,
existe en cada u, diremos que f es k veces diferenciable en . En este
caso se define una aplicacin
( )
( )
: ,
k n
f L
. Diremos que f es k veces
continuamente diferenciable en o de clase
( )
k
C si
k
f
_

, es continua, en
cuyo caso escribimos
( )
k
f C .
6
Definicin 2.2.2. La clase de las funciones infinitamente diferenciables en
. ( ) C

, es la interseccin de todas las clases

( )
k
C , es decir ( ) C

:=
( )
0
k
C

I donde ( )
0
C es el conjunto de las funciones continuas de en
.
Definimos adems

( )
( )
( )
: : : tiene una extensin continua a
k k k
C f f C f { }
.
Definicin 2.2.3. El soporte de una funcin
: f
es la clausura del
conjunto ( ) : 0 x f x { }
. Denotamos el soporte de f por ( ) sop f
y
( ) ( ) ( ) : : es compacto
k k
c
C f C sop f { }.
El conjunto ( ) ( ) :
c
C

D se denomina conjunto de funciones de

prueba.
Nota 2.2.1. Los conjuntos ( ) , 0
k
C k son espacios vectoriales de
dimensin infinita sobre .
Las siguientes proposiciones de vital importancia se hallan demostradas en
muchas obras.
Proposicin 2.2.1. (a) Si ( )
1
c
C entonces
0 para 1, 2, ...,
i
i n
x

.
(b) [ ]
Integracin por partes
. Si ( )
1
c
C y ( )
1
f C entonces


( ) ( ) ( ) ( )
' '
0 f x x dx f x x dx

+
.


(c) [ ]
Frmula de Green
Si ( )
2
f C y ( )
1
c
C entonces
( ) ( ) ( ) + . 0 f f


.
7
2.3. Los espacios
p
L

Consideraremos las medida de Lebesgue en
n

con la relacin dada por

f g f g
casi en todas partes.
Definicin 2.3.1. Si f es una funcin medible sobre y ( ) 0, p

definimos
1
p
p
p
f f

1
]

Definicin 2.3.2. Sean ( ) 0, p

y
n
definimos

( ) : : : es medible y
p
p
L f f f { < }
.
Este es un espacio vectorial que con la norma mencionada resulta ser
completo y, por tanto un espacio de Banach.
Proposicin 2.3.1. [ ]
Holder
Si
1 p < <
y
1 1
1
p q
+
satisfacen
( ) ( ) y
p q
f L g L entonces ( )
1
fg L y
1 p q
fg f g
.

Proposicin 2.3.2. Si es acotado y
1 p r < < <
, entonces
( ) ( )
r p
L L y para toda ( )
r
f L ,
r p
rp
p r
f f

donde
1

es la
medida de Lebesgue de en
n

.
En particular nos interesa el espacio ( )
2
L el cual es un espacio de Hilbert
con el producto interno
, : f g fg

el cual genera la norma

2
f
Para un espacio de Hilbert H con producto interno
.
, se define para un
elemento fijo
0
u H
la aplicacin
0
:
u
T H
mediante ( )
0
0
,
u
T v u v
para
todo v H . Constituye un sencillo ejercicio probar que
0
u
T
es lineal y
continua.
8
Teorema 2.3.1. [ ]
Teorema de representacinde Riesz
. Si H es un espacio de
Hilbert real y : T H es lineal y continua, existe un elemento nico
0
u H
tal que ( )
0
, T v u v
.
Teorema 2.3.2. Sea H un espacio de Hilbert, : T H , T lineal y continua,
0
u H
. ( )
0
, , T v u v v H
si y solamente si
0
u
es un mnimo del
funcional : J H definido por ( ) ( )
2 1
2
J v v T v
Demostracin. Sea ( )
0,
T v u v
v H , entonces tenemos:
( ) ( )
0 0
J v J u v u +
( )
2
0 0 0 0
1
2
u v u T u v u + +
( )
2 2
0 0 0
1 1
2 2
u T u v u +
( )
2
0 0
1
2
J u v u +

( )
0
J u

>
, v H .
Recprocamente, si
0
u
es un mnimo de ( ) ( )
2 1
2
J v v T v , la funcin
( ) ( )
0 v
J t J u tv +
( )
( )
( )
2 2
2
0 0, 0
1 1
2 2
u t u v T v t v T u + +
tiene derivada
( ) ( )
2
'
0
,
v
J t u v T v t v + .

2
0 0
, , u v u v t v + .

2
t v .
En consecuencia:
( )
'
0 0
v
J t t
Es claro que ( )
v
J t
tiene un mnimo si 0 t .
Ello que implica ( )
0
, 0 u v T v
,
9
es decir: ( )
0
, . T v u v

Definicin 2.3.3. Sea H un espacio de Hilbert, se dice que una sucesin ( )
k
u

en H converge dbilmente a u H si para cada v H se tiene que
, ,
lim k
k
u v u v

.
Las siguientes proposiciones se cumplen en un espacio de Hilbert H.
Proposicin 2.3.3. Si ( )
k
u
converge dbilmente en H, entonces
liminf
k
u
k
u

.
Adems, si
lim k
k
u u

, entonces ( )
k
u
converge fuertemente en H.
Proposicin 2.3.4. Si ( )
k
u
converge dbilmente a u H , entonces es
acotada en H.
Teorema 2.3.3. Toda sucesin acotada en H tiene una subsucesin
dbilmente convergente en H.
3. Problemas de Dirichlet.
El siguiente problema present una dificultad, como veremos a continuacin,
y motiv a la construccin de ciertos tipos de espacios denominados de
Sobolev.
Dada una funcin continua en

existe alguna funcin ( )

2
u C
tal que
en u f
(4)
0 en u
10
En la bsqueda de soluciones realizamos el siguiente proceso:
Multiplicamos por una funcin ( )
c
C


e integramos
( ) u f



.
Por la frmula de Green aplicada a la primera integral
. u f



, ( )
c
C


.
El miembro a la izquierda en esta ltima igualdad es
1
, u
, en tanto que el
miembro a derecha es una funcin lineal en

dada por
T f

.
Por la desigualdad de Holder para
2 p q
se tiene
2 2 2 2
T f f
lo que prueba que ( ) : C
c
T


es continua. De esta forma, si ( ) C
c

con
su producto interno fuera un espacio de Hilbert con su producto interno, el
teorema 2.3.2 nos garantizara la existencia de una funcin u que satisfara el
problema. Pero, desafortunadamente no lo es, lo amerita otro camino para
determinar la existencia de al menos una solucin.
La idea fue construir un espacio de Hilbert D tal que ( ) C
c
D

con la
propiedad de que ( ) C
c

fuese denso en D.
3.1. Derivadas dbiles.
Estableceremos el conjunto de las funciones localmente integrables en
como:
( )
1
: : : abierto y acotado con
loc
W
L u u W W

{ < }
.
11
La siguiente propiedad se ha establecido por diversos autores:
( ) ( )
1 P
loc
L L
.
Definicin 3.1.1. Sea ( )
1
loc
u L
, decimos que u es dbilmente diferenciable
en si para cada
1, 2,..., i n
existe ( )
1
i loc
v L
tal que
( ) 0, C
i c
i
u v
x

.
Se prueba que
i
v
es nica y se le denomina la i-sima derivada dbil de u
en , notndose por
i i
Du v
.
El gradiente dbil se define como la funcin :
n
dada por
( )
1 2
, ,...,
n
u Du D u D u
.
Es fcil probar que la derivada dbil es lineal y que si ( )
1
u C
, es
dbilmente diferenciable y
, 1, 2,..., .
i
i
u
Du i n
x

Nota 3.1.1. Existen funciones dbilmente diferenciables que no son

diferenciables, como es el caso de la funcin ( ) u x x
en ( ) 1,1
que es
dbilmente diferenciable en este intervalo pero no es diferenciable.
3.2. Los espacios de Sobolev ( ) ( )
1 1
0
y H H
.
Definicin 3.2.1.
( ) ( ) ( )
1 2 2
:
i
H u L u es dbilmentediferenciable y Du L { }
.
Este es un espacio vectorial de Hilbert con el producto interno definido por
1
, . u v u v

que genera la norma

1
2
2
1
u u
_


,

.
El espacio
( )
( )
1
c
C H

y este ltimo es un espacio de Hilbert.
Definicin 3.2.2. ( )
1
0
H
es la clausura de ( )
0
C

.
12
Es claro que ( )
1
0
H
es cerrado y por tanto completo, al ser sub-espacio de un
espacio completo, es decir es un espacio de Hilbert. Este es nuestro D,
3.2 Retomando el problema (4).
Definicin 3.2.1. Una funcin ( )
1
0
u H
que satisfaga:
( ) . , C
c
u u




,
se denomina solucin dbil del problema (4).
Obsrvese que la anterior condicin puede expresarse como
1
, u f T

.
Teorema 3.2.1. Para cada ( )
2
f L
existe una solucin nica de (4) que es
el nico mnimo de la funcional definida por

( )
2
1
1
2
J v v fv

.
Demostracin. Fijemos ( )
2
f L
y consideremos la funcional
( ) ( )
1
0
: definida por : T H T v fv

.
Esta funcional es lineal y cumple
2 1
v v
. Por la desigualdad de Holder,
2 2
Tv f v
lo que implica que T es continua en ( )
1
0
H
. Por el teorema de representacin
de Riesz, existe ( )
1
0
u H
tal que
( )
1
, u v T v
y u es nica. Esto es
( )
1
0
. , u v fv v H



,
lo que significa que u es solucin dbil de (4) y, debido al teorema 2.3.2, u es
el nico mnimo de J.
13
Definicin 3.2.2. Un dominio es de clase
k
C si para cada
0
x
existen
un conjunto abierto
n
U tal que
0
x U
y un difeomorfismo
( )
1
: 1,1
n
F B U

de clase
k
C tal que ( )
0
0, 0 F x
siendo
1 n
B

la bola unitaria en
1 n

-
Proposicin 3.2.1. [ ]
Regularidad
Si es de clase
1
C , ( )
( )
2 0
f L L
I
y
la solucin dbil ( )
1
0
u H
de (4) cumple ( )
2
u C
, entonces u es solucin
clsica de (4).
Para demostrar esta proposicin se utiliza la hiptesis y se aplica la frmula
de Green.
El problema de la regularidad de una solucin dbil, es decir, asegurar la
existencia de una solucin clsica, se reduce, segn la proposicin anterior a
verificar que la solucin dbil es de clase ( )
2
C
, pero existe un problema:
no conocemos la solucin dbil, slo sabemos que existe
El siguiente teorema [ ]
Evans
, nos da condiciones suficientes de regularidad,
advirtiendo que hay otros criterios.
Teorema 3.2.2 Si es acotado y de clase C

, ( ) ( )
1
0
y f C u H

,
entonces ( ) u C

.
Teorema 3.2.3. Si es acotado y de clase C

, y, ( ) f C

, entonces el
problema (4) tiene solucin nica ( ) u C

.
4. Un problema semilineal.
14
Consideremos el problema
.
( )
0 en u u f +
(1)
0 en u
,
Inspirndose en lo estudiado para el problema (4) se define:
Definicin 4.1.1. Una solucin dbil de (1) es una funcin ( )
1
0
u H
que
satisface

( )
1
0
. ( ) , u v f u v v H

.
Observemos que el integrando del miembro a derecha depende de u y de v, lo
que no ocurre en el caso estudiado anteriormente.
Sin embargo, definimos la funcional ( )
1
0
: J H
mediante

( ) ( )
2 1
:
2
J u u F u dx

_


,

.
donde ( ) ( )
0
u
F u f s ds

.
As, encontrar soluciones dbiles de (1) supone encontrar puntos crticos de
la funcional J,
Para ello determinamos la derivada mediante clculos un tanto dispendiosos y
llegamos a lo siguiente:

( ) ( ) ( ) ( )
' 1
0
. , , J u v u v f u v dx u v H

.
Anlogamente se obtiene


( ) ( ) ( ) ( )
'' '
. . J u v w v w f u vw

.
La consecucin de puntos crticos de la funcional J puede hacerse va
minimizacin en el caso en que el funcional sea acotado, En los casos en que
15
los puntos crticos no se puedan obtener por minimizacin o que existan
puntos crticos que no son de mnimo estos pueden determinarse por mtodos
de Mnimas una de cuyas fuertes herramientas la constituyen el Teorema del
Paso de Montaa y el Teoremas de Punto de Silla: o los mtodos de reduccin
[ ]
Cossio
.
16