i

i
arrazola 2005/10/30 18:48 page 9 #1
i
i
i
i
i
i
Minimizacion de funcionales en Espacios de
Banach Reexivos
Edson Arrazola Iriarte
UNINCOR, Minas Gerais - Brasil
e-mail: eaai86@ig.com.br
1. Introduccion
El clasico Teorema de existencia de Weierstrass nos dice que el problema de mini-
mizacion
mn
uA
(u)
tiene solucion, si el funcional : A X R es continuo en un subconjunto compacto A
de un espacio de Banach X de dimension nita. Por ejemplo, si A = [a, b] es un intervalo
cerrado, la funcion tiene un mnimo, mas a un, es una funcion acotada. Entretanto,
no es inmediato que funciones continuas en toda la recta tengan esta propiedad. La
funcion (u) = u
2
+ 1 tiene mnimo en el intervalo [1, 1], pero no esta acotada
inferiormente ni alcanza su mnimo en R. Vemos entonces que no basta la continuidad
del funcional para que el problema de minimizacion
nf
uX
(u) (1)
tenga solucion. Necesitamos de una condicion adicional que este relacionada con el
comportamiento de la funcion fuera de un subconjunto compacto de X. En efecto, si
: R R es una funcion continua restricta a un intervalo cerrado I, tiene mnimo en
I. Si se hace sucientemente grande fuera de I, este mnimo tambien sera un mnimo
en R (mnimo absoluto). Mas precisamente, se tiene el
Teorema 1.1 Si : R R es una funci on continua tal que
lm
u+
(u) = lm
u
(u) = +,
entonces, alcanza su mnimo en R.
Analogamente, si X = R
N
y es una funcion continua que se hace sucientemente
grande fuera de una bola cerrada, el problema (1) tiene solucion, ver Teorema 2.1.
Desafortunadamente, el Teorema de Weierstrass no es util cuando se trata de espa-
cios de Banach de dimension innita, puesto que, bolas cerradas en estos espacios no
Acta Nova; Vol. 3, N

1, junio 2005 9
i
i
arrazola 2005/10/30 18:48 page 10 #2
i
i
i
i
i
i
10 Edson Arrazola I.: Minimizacion de funcionales en. . .
son compactas . Esta dicultad se resuelve usando el Teorema de Eberlein-

Smulian,
Teorema 3.1, que nos garantiza que una sucesion acotada en un espacio de Banach
reexivo, posee una subsucesion debilmente convergente.
En estas notas discutimos las condiciones sobre el funcional que nos garantizan
la existencia de solucion para el problema de minimizacion (1). En la primera parte
estudiamos el caso X = R
N
. En la segunda parte, estudiamos el caso de los espacios
de Banach de dimension innita. Suponemos que el lector esta familiarizado con los
conceptos basicos de Analisis Funcional, sin embargo, muchos de los conceptos aqu uti-
lizados y sus consecuencias son introducidos en el momento en que se hacen necesarios.
Para mas detalles, sugerimos consultar el libro de Brezis [4] o el de Kreyszig [2], que
son excelentes referencias sobre el asunto.
Finalmente, observemos que si u
0
X es solucion de (1), y el funcional : X R
es Frechet diferenciable, u
0
sera un punto crtico de , o sea,

(u
0
) = 0
que corresponde a la clasica ecuacion de Euler-Lagrange. Ademas, si es estrictamente
convexo, u
0
sera unico. Estos topicos seran discutidos en una segunda parte de este
trabajo. Al lector interesado sugerimos consultar [1].
2. Minimizacion en R
N
La demostracion del siguiente Lema puede encontrarse en [3].
Lema 2.1 (Weierstrass) Sean (A, d) un espacio metrico compacto y : A R una
funci on continua. Entonces alcanza su mnimo en A, o sea, existe u
0
A tal que
(u
0
) (u), u A.
Teorema 2.1 Sea : R
N
R una funci on
(i) continua y
(ii) coerciva , o sea, lm
|u|+
(u) = +
Entonces alcanza su mnimo en R
N
.
Demostracion: Como es coerciva, existe R > 0 tal que para [u[ > R
(u) (0) + 1.
La bola cerrada B
R
= u R
N
: [u[ R es compacta, entonces por el Teorema de
Weierstrass, existe u
0
B
R
tal que (u
0
) (u), u B
R
. Por otro lado, si u , B
R
se tiene que (u) > (u
0
). Por consiguiente
(u) (u
0
), u R
N
.

i
i
arrazola 2005/10/30 18:48 page 11 #3
i
i
i
i
i
i
Acta Nova; Vol. 3, N

1, junio 2005 Artculos Cientcos 11

Observacion 2.1 Este resultado nos garantiza la existencia del mnimo, pero no nos
dice nada sobre la unicidad, ver por ejemplo la funci on : R R denida por (u) =
u
2

1 + sen
1
u

si u ,= 0, (0) = 0. Esta funci on es continua en R y es tal que (u) 0

para todo u R. Luego, u = 0 es un mnimo de . Es claro que en cualquier vecindad
de 0 existen puntos u ,= 0 tales que (u) = 0.
3. Minimizacion en espacios de dimension innita
En lo que sigue, si X es un espacio de Banach, designaremos por X

= L(X, R) el
dual topologico de X, o sea, el espacio de los funcionales lineales y continuos sobre X.
El espacio X

esta dotado de la norma

||
X
= sup[(u)[ : u X y |u| 1 .
El dual de X

se denota por X

, y es conocido como bidual de X. El dual de X

esta dotado de la norma

||
X
= sup[()[ : X

y ||
X
1 .
Denamos la inyecci on can onica J : X X

como sigue: sea u X jo, la aplicacion

(u) de X

en R es lineal y continua sobre X

. Asi pues,
Ju() = (u), u X, X

.
Claramente J es lineal y una isometra, o sea, |Ju|
X
= |u|
X
. Decimos que X es
reexivo si J(X) = X

. Cuando X es reexivo se identican X y X

. Observemos que
todo espacio de Hilbert H es reexivo, ver [2].
3.1. Convergencia debil
3.1 For the development of Functional Analysis, the most important concepts introdu-
ced by Hilbert (1906) were what he calls continuity and complete continuity, which
correspond to what will later be called the strong and weak topologies on Hilbert
space. (Jean Dieudonne - 1981)
3.2 (Riesz - 1918) Un espacio de Banach es de dimensi on nita si y solamente si la
bola cerrada unitaria es compacta.
Este famoso resultado nos dice que en espacios de Banach de dimension innita existen
sucesiones acotadas (u
n
) que no poseen subsucesiones convergentes. Esta perdida de
compacidad en espacios de Banach de dimension innita, es responsable por algunas
dicultades que se encuentran en el calculo de variaciones y en la teora de las ecuaciones
diferenciales parciales. Para resolver estas dicultades, en 1906, Hilbert introdujo el
concepto de convergencia debil.
i
i
arrazola 2005/10/30 18:48 page 12 #4
i
i
i
i
i
i
12 Edson Arrazola I.: Minimizacion de funcionales en. . .
Denicion 3.1 (Convergencia debil) Sea X un espacio de Banach. Una sucesi on
(u
n
) converge debilmente a u X, escribimos u
n
u, si
(u
n
) (u), X

.
Recordemos que una sucesion (u
n
) en X converge fuertemente, o converge en norma, si
|u
n
u| 0.
Observacion 3.1 Cualquier sucesi on fuertemente convergente es debilmente conver-
gente, sin embargo la recproca es falsa. En el caso de espacios de Banach de dimensi on
nita, los dos conceptos coinciden, ver [2].
Observacion 3.2 Una sucesi on (u
n
) debilmente convergente, u
n
u, es acotada. M as
a un
|u| lminf
n+
|u
n
|.
La demostraci on de esta armaci on puede encontrarse en [4] o en [2].
Si H es un espacio de Hilbert, el Teorema de representaci on de Riesz nos garantiza
que si H

, existe un unico v H que lo representa, o sea, existe un unico v H

tal que
(u) = v, u) u H.
Entonces, u
n
u si y solamente si v, u
n
) v, u) para todo v X.
Ejemplo 3.1 Consideremos el siguiente espacio de Hilbert
l
2
l
2
(IN) =

u = (u
n
) R :
+

i=1
u
2
i
< +

con el producto interno denido por

u, v) =

i=1
u
i
v
i
La sucesi on e
n
= (0, , 0, 1, 0, ) es tal que e
n
0 = (0, 0, ). En efecto se tiene
que
v
n
= v, e
n
) v, 0) = 0, v l
2
.
La demostracion del siguiente Teorema puede encontrarse en Yosida [5].
Teorema 3.1 (Eberlein -

Smulian) Un espacio de Banach X es reexivo si y sola-
mente si toda sucesi on acotada (u
n
) posee una subsucesi on (u
nj
) debilmente convergen-
te. Por lo tanto, bolas cerradas en X son debilmente compactas.
i
i
arrazola 2005/10/30 18:48 page 13 #5
i
i
i
i
i
i
Acta Nova; Vol. 3, N

1, junio 2005 Artculos Cientcos 13

3.2. Semicontinuidad inferior
Decimos que el funcional : X R es debilmente continuo si para una sucesion
(u
n
) tal que u
n
u se tiene que (u) = lm(u
n
)
Ya vimos que en espacios de dimension nita, el problema de minimizacion (1) tiene
solucion si es un funcional continuo y coercivo. Parece natural que en el caso de los
espacios de dimension innita, si debilitamos la continuidad del funcional garanti-
zamos la existencia de solucion para el problema (1), sin embargo, esta condicion es
incompatible con la coercividad como veremos en el siguiente ejemplo.
Ejemplo 3.2 Supongamos que : l
2
R es un funcional
(i) debilmente continuo, y
(ii) coercivo
La sucesi on (e
n
) es tal que e
n
0 y |e
n
| = 1 . Sea r > 0 arbitrario, entonces
r e
n
0 y |r e
n
| = r . Como es debilmente continuo se tiene que
(r e
n
) (0), (2)
lo que contradice la coercividad de .
Observemos que si en (2) tuviesemos que (u) lm(u
n
), la incompatibilidad desa-
parece, esta condicion es conocida como semicontinuidad inferior.
Denicion 3.2 Decimos que el funcional : X R es semicontinuo inferior si para
cualquier sucesi on (u
n
) X tal que u
n
u se tiene que
(u) lminf (u
n
).
Si esta desigualdad es v alida para toda sucesi on (u
n
) X tal que u
n
u, decimos que
el funcional es debilmente semicontinuo inferior.
Observacion 3.3 Es claro que si es debilmente semincontinuo inferior es semicon-
tinuo inferior, pues cualquier sucesi on fuertemente convergente es debilmente conver-
gente.
Ejemplo 3.3 La funci on : R R denida por
(u) =

0, si u ,= 0
c, si u = 0
es semicontinua inferior, si y solamente si c 0.
i
i
arrazola 2005/10/30 18:48 page 14 #6
i
i
i
i
i
i
14 Edson Arrazola I.: Minimizacion de funcionales en. . .
Ejemplo 3.4 La funci on : R R denida por
(u) =

u + 1, si u > 0
u, si u 0
es semicontinua inferior. Entretanto, si (u) = u + 1 para u 0, y (u) = u para
u < 0, no es semicontinua inferior.
Ejemplo 3.5 Sea : [a, b] R una funci on continua. Entonces es debilmente
semicontinua inferior. En efecto, los conceptos de convergencia fuerte y debil coinciden,
luego (u) = lm
n+
(u
n
)
Teorema 3.2 Sea X un espacio de Banach reexivo y sea : X R un funcional
(i) debilmente semicontinuo inferior y
(ii) coercivo, o sea, lm
u
(u) = +
Entonces es acotado inferiormente y alcanza su mnimo en X
Demostracion: Como es coercivo existe R > 0 tal que para |u| > R
(u) (0) + 1.
Sea
= nf
uBR
(u),
donde B
R
= u X : |u| R. Entonces, existe (u
n
) B
R
tal que (u
n
) . Como
(u
n
) es una sucesion acotada y X es reexivo, por el Teorema de Eberlein-

Smulian, posee
una subsucesion (u
nj
) tal que u
nj
u
0
. Es claro que
(u
nj
) .
Usando la observacion 3.2 concluimos que u
0
B
R
, entonces (u
0
) . Finalmente,
como es debilmente semicontinuo inferior se tiene que
(u
0
) lminf (u
nj
) = ,
de ah el resultado
Observacion 3.4 Otra demostraci on de este teorema puede encontrarse en [1].
Referencias
[1] Dragisa Mitrovi c y Darko

Zubrini c, Fundamentals of Applied Functional
Analysis, Addison Wesley Logman, 1998.
i
i
arrazola 2005/10/30 18:48 page 15 #7
i
i
i
i
i
i
Acta Nova; Vol. 3, N

1, junio 2005 Artculos Cientcos 15

[2] Erwin Kreyszig, Introductory Functional Analysis and Applications, John Wiley
and Sons Inc., 1978.
[3] Elon Lages Lima, Espacos Metricos, Projeto Euclides, IMPA, Rio de Janeiro,
1977.
[4] Ham Brezis, An alisis Funcional, Alianza Editorial, 1984.
[5] K. Yosida, Functional Analysis, Springer, 1965.