Métodos Topológicos

Mtodos Topolgicos
en el Anlisis no Lineal

Publicaes Matemticas

Mtodos Topolgicos
en el Anlisis no Lineal
2
a
edio

Pablo Amster
Universidad de Buenos Aires
Consejo Nacional de Investigaciones
Cientficas y Tcnicas (CONICET)

impa
Copyright 2009 by Pablo Amster
Direitos reservados, 2009 pela Associao Instituto
Nacional de Matemtica Pura e Aplicada - IMPA
Estrada Dona Castorina, 110
22460-320 Rio de J aneiro, RJ

Impresso no Brasil / Printed in Brazil
Capa: Noni Geiger / Srgio R. Vaz
Publicaes Matemticas

Introduo Anlise Funcional Csar R. de Oliveira
Introduo Topologia Diferencial Elon Lages Lima
Criptografia, Nmeros Primos e Algoritmos Manoel Lemos
Introduo Economia Dinmica e Mercados Incompletos Alosio Arajo
Conjuntos de Cantor, Dinmica e Aritmtica Carlos Gustavo Moreira
Geometria Hiperblica J oo Lucas Marques Barbosa
Introduo Economia Matemtica Alosio Arajo
Superfcies Mnimas Manfredo Perdigo do Carmo
The Index Formula for Dirac Operators: an Introduction Levi Lopes de Lima
Introduction to Symplectic and Hamiltonian Geometry Ana Cannas da Silva
Primos de Mersenne (e outros primos muito grandes)
Carlos Gustavo T. A. Moreira e Nicolau Saldanha
The Contact Process on Graphs Mrcia Salzano
Canonical Metrics on Compact almost Complex Manifolds Santiago R. Simanca
Introduction to Toric Varieties J ean-Paul Brasselet
Birational Geometry of Foliations Marco Brunella
Introduo Teoria das Probabilidades Pedro J . Fernandez
Teoria dos Corpos Otto Endler
Introduo Dinmica de Aplicaes do Tipo Twist Clodoaldo G. Ragazzo, Mrio J .
Dias Carneiro e Salvador Addas Zanata
Elementos de Estatstica Computacional usando Plataformas de Software Livre/Gratuito
Alejandro C. Frery e Francisco Cribari-Neto
Uma Introduo a Solues de Viscosidade para Equaes de Hamilton-J acobi Helena J .
Nussenzveig Lopes, Milton C. Lopes Filho
Elements of Analytic Hypoellipticity Nicholas Hanges
Mtodos Clssicos em Teoria do Potencial Augusto Ponce
Variedades Diferenciveis Elon Lages Lima
O Mtodo do Referencial Mvel Manfredo do Carmo
A Student's Guide to Symplectic Spaces, Grassmannians and Maslov Index Paolo
Piccione e Daniel Victor Tausk
Mtodos Topolgicos en el Anlisis no Lineal Pablo Amster
Tpicos em Combinatria Contempornea Carlos Gustavo Moreira e Yoshiharu
Kohayakawa
Uma Iniciao aos Sistemas Dinmicos Estocsticos Paulo Ruffino

Distribuio: IMPA - E-mail: ddic@impa.br - http://www.impa.br

ISBN: 978-85-244-0285-2
apunteimpa5New
2009/11/19
page 1
i
i
i
i
i
i
i
i
Prefacio
El presente libro constituye una introduccion elemental a la apli-
cacion de metodos topologicos en el analisis no lineal. Por simplici-
dad, estudiaremos unicamente problemas de contorno para ecuaciones
diferenciales ordinarias, aunque las mismas ideas se pueden emplear
tambien para la resolucion de ecuaciones en derivadas parciales.
En el captulo 1 se brindan algunas ideas basicas que involucran
tecnicas topologicas en dimension nita, tales como el teorema de
Bolzano (y su generalizacion a R
n
), o el teorema de punto jo de
Brouwer. En particular, se demuestra la existencia de soluciones de
ciertas ecuaciones por medio del denominado metodo de shooting,
as como del operador de Poincare, para problemas periodicos. En
el captulo 2 se muestran algunas aplicaciones del conocido teorema
de la contraccion, debido a Banach, para la obtencion de soluciones
de ciertos problemas mediante un operador de punto jo apropiado.
En el captulo 3 se demuestra el teorema de Schauder, que puede
pensarse como una extension del teorema de Brouwer a espacios de
dimension innita. El captulo siguiente esta dedicado a desarrollar
uno de los metodos mas conocidos para la resolucion de problemas
de contorno: el metodo de super y subsoluciones. A modo de ejem-
plo, se muestra su utilidad para la resolucion de ciertos problemas
clasicos, como la ecuacion del pendulo forzado. En el captulo 5 se
presenta una extension elemental del teorema de Schauder, conocida
como teorema de Schaefer, que puede verse como un caso particular
de los teoremas de continuacion de Leray-Schauder. Algunas de estas
ideas aparecen tambien en el captulo siguiente, en donde se expone
el tradicional metodo de Newton, y se lo combina con un argumento
de continuacion. Una version mas general de los metodos de contin-
1
apunteimpa5New
2009/11/19
page
i
i
i
i
i
i
i
i
uacion se introduce a partir de los captulos 7 y 8, en donde se dene
el grado de Brouwer y su extension a dimension innita, dada por
el grado de Leray-Schauder. Finalmente, en el captulo 9 veremos al-
gunas aplicaciones a ciertos problemas denominados resonantes, en
los que el operador lineal asociado no es inversible y en consecuencia
no pueden ser tratados, en forma directa, mediante un operador de
punto jo. El libro incluye ademas un apendice, en donde se repasan
algunos aspectos basicos de ecuaciones diferenciales ordinarias y se
brindan algunas ideas adicionales.
El texto esta basado en las notas de los cursos Analisis no lineal:
metodos topologicos (Universidad de Buenos Aires, 2007) y Meto-
dos topologicos en el analisis no lineal (Instituto de Matematica Pu-
ra e Aplicada, Ro de Janeiro, 2009). Quiero expresar mi profundo
agradecimiento a todas aquellas personas que colaboraron con esta
publicacion; en especial, a los alumnos de los cursos mencionados,
que con su entusiasmo me motivaron a revisar y ampliar aquel lejano
e imperfecto manuscrito.
Pablo Amster, marzo de 2009
apunteimpa5New
2009/11/19
page
i
i
i
i
i
i
i
i
Indice general
Introduccion 1
1. Metodos topologicos: ideas elementales 5
1.1. El metodo de shooting . . . . . . . . . . . . . . . . . 5
1.2. Operador de Poincare . . . . . . . . . . . . . . . . . . 9
1.3. Un ejemplo en R
2
: el ndice de una curva . . . . . . . 10
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.1. Teorema de valores intermedios y metodo de
shooting . . . . . . . . . . . . . . . . . . . . . . 15
1.4.2. Teorema de Brouwer . . . . . . . . . . . . . . . 16
1.4.3. Operador de Poincare . . . . . . . . . . . . . . 17
2. El teorema de Banach 19
2.1. Metodos de punto jo. El teorema de Banach . . . . . 19
2.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 25
3. El teorema de Schauder 27
3.1. Un ejemplo de Kakutani . . . . . . . . . . . . . . . . . 27
3.2. El teorema de Schauder . . . . . . . . . . . . . . . . . 28
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 35
4. El metodo de super y subsoluciones 39
4.1. Introduccion: un caso particular . . . . . . . . . . . . . 39
4.1.1. Un metodo iterativo . . . . . . . . . . . . . . . 43
4.2. Super y subsoluciones - Caso general . . . . . . . . . . 45
apunteimpa5New
2009/11/19
page
i
i
i
i
i
i
i
i
INDICE GENERAL
4.2.1. Acotaciones para la derivada. Condicion de Nagu-
mo . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2.2. Otras condiciones de contorno. Un ejemplo clasico 51
4.2.3. Peque na digresion: principio del antimaximo . 56
4.3. Intervalos no acotados - Metodo diagonal . . . . . . . 59
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.4.1. Metodo diagonal . . . . . . . . . . . . . . . . . 64
5. El teorema de Leray-Schauder: un caso particular 66
5.1. El teorema de Leray-Schauder . . . . . . . . . . . . . . 69
5.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 71
6. El metodo de Newton 73
6.1. Metodo de Newton . . . . . . . . . . . . . . . . . . . . 73
6.2. Metodo de Newton-continuacion . . . . . . . . . . . . 83
6.3. Cuasilinealizacion . . . . . . . . . . . . . . . . . . . . . 84
6.3.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . 88
7. El grado de Brouwer 90
7.1. Teora de grado topologico. Denicion y propiedades . 90
7.2. Algunas aplicaciones . . . . . . . . . . . . . . . . . . . 100
8. El grado de Leray-Schauder 104
8.1. El grado de Leray-Schauder. Denicion . . . . . . . . . 104
8.2. Algunas aplicaciones . . . . . . . . . . . . . . . . . . . 107
9. Problemas resonantes 111
9.1. Condiciones de Landesman-Lazer . . . . . . . . . . . . 111
9.2. Generalizacion a sistemas. Condicion de Nirenberg . . 117
9.3. Una condicion geometrica . . . . . . . . . . . . . . . . 121
9.3.1. Demostracion . . . . . . . . . . . . . . . . . . . 122
9.4. Resonancia en un autovalor de orden superior. . . . . 123
9.5. Algunos resultados preliminares . . . . . . . . . . . . . 126
9.6. Teorema de Lazer-Leach generalizado . . . . . . . . . 129
9.6.1. Un ejemplo sencillo . . . . . . . . . . . . . . . . 132
apunteimpa5New
2009/11/19
page
i
i
i
i
i
i
i
i
INDICE GENERAL
10.Apendice 134
10.1. Repaso de ecuaciones diferenciales ordinarias . . . . . 134
10.2. La ecuacion lineal de segundo orden . . . . . . . . . . 136
10.3. La funcion de Green . . . . . . . . . . . . . . . . . . . 138
10.4. Desigualdades de Poincare y Wirtinger . . . . . . . . . 139
10.5. El teorema de Brouwer . . . . . . . . . . . . . . . . . . 142
10.5.1. Una demostracion elemental . . . . . . . . . . . 143
10.5.2. El teorema fundamental del algebra . . . . . . 144
10.5.3. La demostracion de Milnor y Rogers . . . . . . 146
apunteimpa5New
2009/11/19
page
i
i
i
i
i
i
i
i
apunteimpa5New
2009/11/19
page 1
i
i
i
i
i
i
i
i
Introducci on
En este trabajo se presentan algunas de las ideas y metodos
topologicos basicos del analisis no lineal. Por simplicidad, nos li-
mitaremos a considerar la aplicacion de tales metodos a problemas
en ecuaciones diferenciales ordinarias, aunque las mismas ideas se
pueden emplear para estudiar diversas ecuaciones no lineales en de-
rivadas parciales.
Para comprender la importancia de los metodos topologicos, va-
mos a comenzar describiendo una situacion que se puede estudiar me-
diante los llamados metodos variacionales. Por ejemplo, el
siguiente problema para una ecuacion (no lineal) de segundo orden,
con condiciones de Dirichlet:
_
u
(t) u(t) = f(t, u)

u(0) = u(1) = 0,
(1)
en donde f : [0, T] R R es continua.
La idea en este caso es simple: se propone la siguiente funcional,
denida en algun conjunto apropiado,
Ju =
_
1
0
u
(t)
2
2
+
u(t)
2
2
+F(t, u(t)) dt,
en donde F(t, u) =
_
u
0
f(t, s) ds. Un espacio razonable para traba-
jar este problema es el espacio de Sobolev
H
1
0
(0, 1) := u : [0, 1] R absolutamente continua :
u
L
2
(0, 1), u(0) = u(1) = 0 ,
1
apunteimpa5New
2009/11/19
page 2
i
i
i
i
i
i
i
i
2 Introducci on
que es un espacio de Hilbert para el producto interno dado por
u, v) =
_
1
0
u
(t)v
(t) +u(t)v(t) dt.

Resulta entonces inmediato ver que J es diferenciable, y vale:
DJ(u)() =
_
1
0
u
(t)
(t) +u(t)(t) +f(t, u(t))(t) dt

De esta forma, si u es un punto crtico de J (es decir, DJ(u) 0),
entonces resulta una solucion debil del problema (1).
El sentido de solucion debil se hace claro, pues si u H
1
0
(0, 1)
es un punto crtico de J que ademas tiene una segunda derivada en
L
2
(0, 1), entonces se puede integrar por partes el primer termino de
DJ(u)() para obtener:
_
1
0
[u
(t) +u(t) +f(t, u(t))] (t) dt = 0.

Como esta igualdad vale para toda en H, que es denso en L
2
(0, 1),
se deduce que u
(t) +u(t) +f(t, u(t)) = 0. En otras palabras, una

solucion clasica del problema es tambien solucion debil, aunque
el enunciado recproco, si bien es cierto en este caso, no vale en un
contexto mas general.
Un caso de sencilla resolucion se da por ejemplo cuando f es una
funcion acotada (o, mas en general, sublineal): de ser as, podemos
pensar intuitivamente que J se comporta como una parabola, y em-
pleando argumentos usuales del analisis funcional es facil ver que
alcanza un mnimo absoluto.
Sin embargo, si por ejemplo f depende tambien de u
, entonces
el problema pierde su estructura variacional; esto quiere decir que
sus soluciones no pueden obtenerse como puntos crticos de una fun-
cional. En tal caso, una forma alternativa para probar la existencia
de soluciones esta dada por los llamados metodos topologicos.
El presente trabajo esta dedicado a presentar y desarrollar algunos
de dichos metodos. A nes de simplicar la exposicion, y centrar la
atencion mas en las tecnicas que en los problemas especcos, nos
apunteimpa5New
2009/11/19
page 3
i
i
i
i
i
i
i
i
Introducci on 3
dedicaremos a estudiar principalmente el problema semilineal de se-
gundo orden
u
(t) = f(t, u, u
) (2)
con condiciones de Dirichlet u(0) = u
0
, u(T) = u
T
. En algunas sec-
ciones consideraremos tambien otras condiciones de contorno impor-
tantes, como las periodicas, que permiten presentar ciertos casos el-
ementales de aquella clase de problemas llamados resonantes.
En la medida de lo posible se ha optado por el modo de resolucion
mas simple y que requiera menor cantidad de conocimientos previos:
en particular, se ha evitado casi por completo el uso de los espa-
cios de Sobolev, de modo que el texto pueda comprenderse con un
conocimiento basico de los espacios de funciones continuas y eventual-
mente del espacio de funciones L
2
. Algunos comentarios involucran
aspectos algo mas avanzados, pero en general pueden ser omitidos.
En ocasiones, un mismo problema se resuelve mas de una vez, por
diferentes metodos: eso permite ir mejorando las condiciones que
garantizan la existencia de soluciones a medida que se cuenta con
herramientas topologicas mas poderosas.
La ecuacion (2) con distintas condiciones de contorno fue estu-
diada por diversos autores, a partir del trabajo original de Picard
[33], por medio del conocido metodo de aproximaciones sucesivas. En
1922, Hamel [12] obtuvo resultados mas precisos en el caso especial
de la ecuacion del pendulo forzado (ver tambien [19], [20]).
La aplicacion de metodos topologicos a esta clase de problemas
tiene su origen historico en el metodo de shooting, introducido en
1905 por Severini [36], hasta llegar al planteo mucho mas general,
que emplea metodos mas sosticados tales como la teora de grado
de Leray-Schauder, que veremos en el captulo 8. Una breve historia
del problema de Dirichlet para la ecuacion de segundo orden y los
metodos de resolucion puede consultarse por ejemplo en [21].
En el apendice se brindan algunas ideas adicionales, y un repaso
de los principales temas de ecuaciones diferenciales ordinarias que se
emplean a lo largo del trabajo.
apunteimpa5New
2009/11/19
page 4
i
i
i
i
i
i
i
i
apunteimpa5New
2009/11/19
page 5
i
i
i
i
i
i
i
i
Captulo 1
Metodos topol ogicos:
ideas elementales
1.1. El metodo de shooting
En esta seccion desarrollaremos una idea muy sencilla, que se
corresponde con el origen historico de la aplicacion de herramientas
topologicas al analisis no lineal. A modo de ejemplo, consideremos el
problema de Dirichlet para la ecuacion de segundo orden:
_
u
= f(t, u)
u(0) = u(1) = 0.
(1.1)
Supongamos que la funcion f : [0, 1] R R es continua, y local-
mente Lipschitz en la variable u, lo cual garantiza que para cualquier
valor R el problema de valores iniciales
_
u
= f(t, u)
u(0) = 0, u
(0) =
(1.2)
tiene una unica solucion u
denida en cierto intervalo (maximal) no

trivial I
= [0, M), con M = M() (0, +]. En general, no se

puede garantizar que M() > 1 (es decir, que el intervalo I
llegue
hasta el 1), aunque sobre el conjunto : M() > 1 la funcion
5
apunteimpa5New
2009/11/19
page 6
i
i
i
i
i
i
i
i
6 [CAP. 1: M
ETODOS TOPOL
OGICOS: IDEAS ELEMENTALES

u
(1) resulta continua. Esto se debe a la dependencia continua

respecto de los valores iniciales.
Es claro que estamos buscando un valor de para el cual u
(1)
este denido y valga 0; en virtud de la continuidad antes mencionada,
alcanza con encontrar un intervalo = [
,
+
] tal que u
(1) exista
para todo , y ademas u
(1) 0 u
+
(1), o viceversa.
Por ejemplo, si f es acotada, entonces por el ejercicio (4b) de la
seccion 10.1 las soluciones de (1.2) estan denidas en todo el intervalo
[0, 1]. Ademas, integrando la ecuacion vale:
u
(t) = +
_
t
0
f(s, u
(s)) ds.
Esto dice que si > |f|
entonces
u
(t) t|f|
> 0
para t 1. De esta forma, u
es creciente, y resulta u
(1) > 0. Del

mismo modo, para < |f|
se obtiene que u
(1) < 0, lo que

permite deducir que u
(1) = 0 para alg un [|f|
, |f|
]
Observaci on
El resultado anterior se prueba de la misma forma para el caso no
variacional, con f = f(t, u, u
).
A modo de ejemplo, veamos que en algunos casos es posible ase-
gurar la existencia de mas de una solucion. Para ello, consideremos
nuevamente el problema (1.1), y supongamos que f es continua, aco-
tada y de clase C
1
respecto de u. Ademas, supondremos que
f(t, 0) = 0,
f
u
(t, 0) (4
2
,
2
)
para todo t [0, 1]. Es facil ver que la funcion : R R dada
por () = u
(1) es diferenciable, y como u 0 es solucion, se

deduce que (0) = 0. Ademas, por el ejemplo anterior sabemos que
() < 0 < () para > |f|
. Vamos a probar que
(0) < 0, lo
que garantiza que el problema tiene al menos tres soluciones (una de
ellas es la solucion trivial).
apunteimpa5New
2009/11/19
page 7
i
i
i
i
i
i
i
i
[SEC. 1.1: EL M
ETODO DE SHOOTING 7
En efecto, si pensamos a u como funcion de y t, entonces la
funcion w
(t) :=
u
(, t) satisface
_
w
(t) =
f
u
(t, u
(t))w
(t)
w
(0) = 0, w
(0) = 1.
Como u
0
0, se deduce que
(0) = w
0
(1), donde w
0
es la unica
solucion del problema
_
w
0
(t) =
f
u
(t, 0)w
0
(t)
w
0
(0) = 0, w
0
(0) = 1.
Ahora emplearemos el siguiente principio de comparacion de Sturm:
Si
u
(t) = q(t)u(t)
y
v
(t) = q(t)v(t),
con q, q continuas tales que q > q, y a < b son dos ceros consecutivos
de u, entonces v se anula en (a, b). Para probar esto, basta suponer que
u > 0 en (a, b), y si por ejemplo ocurre que v > 0 en (a, b), entonces
multiplicando las igualdades anteriores por v y u respectivamente, y
luego integrando por partes, se obtiene:
u
b
a
_
b
a
u
(t)v
(t) dt =
_
b
a
q(t)u(t)v(t) dt,
_
b
a
u
(t)v
(t) dt =
_
b
a
q(t)u(t)v(t) dt.
Restando ambas ecuaciones, resulta
u
b
a
=
_
b
a
(q(t) q(t))u(t)v(t) dt > 0.
Por otra parte, u
(a) 0 u
(b), lo que es absurdo.

Podemos aplicar este resultado a las funciones
v
1
(t) = sen(t), v
2
(t) = sen(2t),
apunteimpa5New
2009/11/19
page 8
i
i
i
i
i
i
i
i
8 [CAP. 1: M
ETODOS TOPOL

que satisfacen:
v
1
=
2
v
1
, v
2
= 4
2
v
2
.
Como
f
u
(t, 0) <
2
, se deduce que w
0
se anula en (0, 1). Por otra
parte, como
f
u
(t, 0) > 4
2
, entonces w
1
no puede anularse mas de
una vez en (0, 1); entonces se anula exactamente una vez, y ello ocurre
en el intervalo (
1
2
, 1). Como w
0
(0) > 0, se deduce que w
0
(1) < 0, lo
que prueba que
(0) < 0.
Vale la pena destacar que los resultados anteriores emplean un
teorema topologico muy elemental: el teorema de Bolzano, o de los
valores intermedios. Pero resulta claro que la misma idea puede apli-
carse si (1.1) es un sistema, en donde f : [0, 1] R
n
R
n
, o tambien
para f : [0, 1] R
2n
R
n
, con f dependiente tambien de u
, asu-
miendo que es Lipschitz en (u, u
). En este caso, el dato inicial de la

derivada en 0 es un vector R
n
. Si suponemos como antes que
f es acotada, el resultado se deduce tambien en forma inmediata,
pero usando ahora un teorema bastante menos trivial, el de valores
intermedios generalizado a R
n
:
Teorema
Sea f = (f
1
, . . . , f
n
) : [1, 1]
n
R
n
continua tal que para todo
i = 1, . . . , n y todo x tal que x
i
= 0 vale:
f
i
(e
i
+x) 0 f
i
(e
i
+x).
Entonces existe alg un x [1, 1]
n
tal que f(x) = 0.
Este resultado fue enunciado por Poincare en 1884, aunque luego
se conocio como teorema de Miranda, quien probo en 1940 que es
equivalente al teorema de Brouwer (y en denitiva, ambos enunciados
equivalen al axioma de completitud de los n umeros reales):
Teorema (Brouwer)
Sea B la bola unitaria de R
n
y sea f : B B continua. Entonces
existe x B tal que f(x) = x.
En el apendice se da una demostracion sencilla de este teorema,
basada en el artculo [34]. Sobre la equivalencia con el teorema de
Poincare-Miranda (ver ejercicio 4, en la seccion 1.4.2) y otros resul-
tados similares, puede consultarse por ejemplo el artculo [13].
apunteimpa5New
2009/11/19
page 9
i
i
i
i
i
i
i
i
[SEC. 1.2: OPERADOR DE POINCAR
E 9
Como veremos mas adelante, se extiende de manera apropiada
a espacios de Banach, cosa que nos resultara util para obtener al-
gunos resultados de existencia de soluciones para ciertas ecuaciones.
Pero incluso la version en R
n
sirve para resolver por ejemplo algunos
problemas periodicos, seg un se muestra en la proxima seccion.
1.2. Operador de Poincare
Intentaremos resolver bajo ciertas hipotesis el problema periodico
_
u
= f(t, u)
u(0) = u(1),
(1.3)
en donde f : [0, 1] R
n
R
n
es continua y localmente Lipschitz en
u.
Como en el metodo de shooting, la idea consiste en resolver el
problema de valores iniciales para cierto dato R
n
, y buscar alg un
adecuado para que la solucion obtenida sea solucion de (1.3). Mas
concretamente, denimos u
como la unica solucion del problema

_
u
= f(t, u)
u(0) = .
Luego, si u
(t) existe hasta t = 1, eso nos permite a su vez denir

P() = u
(1). Esta funcion P, llamada operador de Poincare, esta de-

nida en cierto subconjunto A R
n
y toma valores en R
n
. En gene-
ral, no es posible determinar el conjunto A con exactitud, aunque por
ejemplo alcanza con saber que contiene a cierto subconjunto com-
pacto y convexo K tal que P() K para todo K. En efecto, el
teorema de Brouwer garantiza en este caso que P tiene un punto jo
K, y en consecuencia u
es solucion de (1.3). Veamos un ejemplo

en donde el teorema puede aplicarse:
Proposici on
Sea f : [0, 1] R
n
R
n
continua y localmente Lipschitz en u tal
que
f(t, u) u < 0 para [u[ = R,
en donde y [ [ denotan respectivamente el producto interno y la
norma usuales de R
n
, y R es una constante positiva. Entonces el
problema (1.3) tiene al menos una solucion u tal que |u|
R.
apunteimpa5New
2009/11/19
page 10
i
i
i
i
i
i
i
i
10 [CAP. 1: M
ETODOS TOPOL

Demostraci on. Sea R
n
tal que [[ R, y supongamos que u
esta denida hasta cierto valor T.

Veamos que [u
(t)[ R para t [0, T]. En efecto, si llamamos

(t) := [u(t)[
2
, entonces
(t) = 2u(t) u
(t) = 2u(t) f(t, u(t)).

Esto dice que si [u(t)[ = R (y (t) = R
2
), entonces
(t) < 0; en
otras palabras, si (0) =
2
< R
2
, entonces no puede crecer hasta
tomar el valor R
2
, mientras que si [[ = R, entonces decrece en un
entorno del 0, y luego no puede volver a crecer hasta R
2
.
En primer lugar, esto garantiza que entonces u
puede extenderse
hasta T = 1, pues en caso contrario (ver apendice, seccion 10.1)
debera tender a innito o explotar cuando t se aproxima a cierto
valor T
< 1, lo que es absurdo.

Por otra parte, tomando T = 1 vemos que P enva a la bola
(cerrada) de radio R en s misma, de donde se concluye que tiene
all al menos un punto jo.
1.3. Un ejemplo en R
2
: el ndice de una
curva
En esta seccion veremos una aplicacion de una herramienta topo-
logica de gran utilidad para resolver ciertas ecuaciones que pueden
reducirse a un problema en el plano: el ndice de una curva.
Estudiaremos el problema
u
+g(u) = p(t), u(0) = u(1) = 0

en donde g satisface la siguiente condicion:
lm
|u|
g(u)
u
= +. (1.4)
Los problemas de este tipo se denominan superlineales; a continuacion
probaremos que existen innitas soluciones.
apunteimpa5New
2009/11/19
page 11
i
i
i
i
i
i
i
i
[SEC. 1.3: UN EJEMPLO EN R
2
: EL

INDICE DE UNA CURVA 11
Para ello, en primer lugar conviene hacer una observacion basica
en relacion a las integrales curvilneas. Si : [0, 1] C es una curva
continua que no pasa por el origen, y ademas (0), (1) R, entonces:
Re
_
1
2i
_
1
z
dz
_
1
2
Z.
En efecto, si (0) = (1), la anterior integral no es otra cosa que el
ndice de la curva respecto del 0, cuyo valor es un n umero entero. Si
(1) = (0), entonces por medio de la homotopa
h(t, ) = (t) + (1 )
[(0)[
[(t)[
(t)
se deduce que la integral vale
k
2
, con k entero impar. El caso general
se reduce ahora a cualquiera de estos dos, agregandole a la curva un
segmento [a, b] R 0, sobre el cual el valor de la integral es una
constante imaginaria.
Este simple hecho tiene una aplicacion directa a las ecuaciones de
segundo orden: supongamos en primer lugar que tenemos una solucion
del problema
u
= f(t, u, u
), u(0) = u(1) = 0,
y consideremos la curva denida en el plano de fases (u
, u), iden-
ticado con el plano complejo:
(t) = u
(t) +iu(t).
Por la condicion de Dirichlet, (0) y (1) son n umeros reales, que
corresponden respectivamente a los valores de u
en 0 y 1. En con-
secuencia, si de alguna forma logramos probar que no pasa por el
origen (es decir, que u y u
no se anulan simultaneamente), el valor

Re
_
1
2i
_
1
z
dz
_
=
k
2
nos brinda informacion cualitativa acerca de u;
por ejemplo, proporciona una cota inferior para la cantidad de ceros
de u en [0, 1]. En efecto, la curva comienza sobre el eje horizontal, y
cada medio giro que efect ua agrega por lo menos un cero a u; de esta
forma, se tiene:
ceros de u [k[ + 1.
apunteimpa5New
2009/11/19
page 12
i
i
i
i
i
i
i
i
12 [CAP. 1: M
ETODOS TOPOL

El interes de esta observacion reside en que el n umero k puede
expresarse facilmente como una integral en terminos de u, de la si-
guiente manera:
k = Re
_
1
i
_
1
z
dz
_
=
1
Im
__
1
z
dz
_
=
1
_
1
0
Im
_
(t)
(t)
_
dt.
Escribiendo

||
2
, resulta claro que
k =
1
_
1
0
u
(t)
2
u(t)u
(t)
u(t)
2
+u
(t)
2
dt
=
1
_
1
0
u
(t)
2
u(t)f(t, u(t), u
(t))
u(t)
2
+u
(t)
2
dt.
En realidad, este resultado no debe sorprender si se piensa que el
integrando es igual a la derivada de la funcion arctan
_
u
u
_
. En
efecto, al asumir que no pasa por el origen, en particular estamos
diciendo que hay solo un n umero nito de ceros, y son simples. Si
a < b son dos ceros consecutivos de u, se tiene que
lm
ta
+
u
(t)
u(t)
= += lm
tb
(t)
u(t)
.
En consecuencia,
_
b
a
u
(t)
2
u(t)u
(t)
u(t)
2
+u
(t)
2
dt = arctan
_
u
u
_
a
b
= arctan(+) arctan() = .
Finalmente, si 0 = t
0
< t
1
< . . . < t
k
= 1 son todos los ceros de u,
entonces
_
1
0
u
(t)
2
u(t)u
(t)
u(t)
2
+u
(t)
2
dt =
k1
j=0
_
t
j+1
t
j
u
(t)
2
u(t)u
(t)
u(t)
2
+u
(t)
2
dt = k.
Pero mas alla de la posibilidad de estimar la cantidad de ceros de
una solucion ya conocida, veamos que en realidad este ndice permite,
apunteimpa5New
2009/11/19
page 13
i
i
i
i
i
i
i
i
[SEC. 1.3: UN EJEMPLO EN R
2
: EL

INDICE DE UNA CURVA 13
en determinados casos, probar la existencia de soluciones con cierto
n umero pre-establecido de ceros.
Por simplicidad, vamos a verlo con un ejemplo concreto como
u
+u
3
= p(t), u(0) = u(1) = 0,
aunque se puede llegar a conclusiones similares si se reemplaza u
3
por cualquier g que satisfaga (1.4). En realidad, solo vamos a dar las
ideas principales; los detalles quedaran como ejercicio.
Paso 1: Sea u
la unica solucion del problema de valores iniciales

u
+u
3
= p(t), u
(0) = 0, u
(0) = ,
denida en alg un intervalo [0, T] con T > 0. Vamos a probar una
acotacion que es fundamental para todo el desarrollo posterior.
Para ello, llamemos R a la norma de u en el sentido del espacio
C
1
([0, T]), es decir:
R = max|u
, |u
.
Armacion: existe una constante r > 0 independiente de T,
de modo tal que para R 0 y 0 t T vale:
u
(t)
2
+u
(t)
2
R
r
.
Para ver esto, alcanza con integrar la ecuacion de la siguiente
manera: multiplicamos por u
de ambos lados, y entonces

u
(t)
2
2
+
u
(t)
4
4
=

2
2
+
_
t
0
p(s)u
(s) ds.
Como
2
R
2
, para R grande y t [0, T] resulta:
u
(t)
4
4

2
2
+cR R
2
<
R
4
4
donde c := |p|
L
1.
En consecuencia, existe t
0
tal que R = [u
(t
0
)[, y de la igualdad
anterior se deduce que
R
2
2

2
2
+cR.
apunteimpa5New
2009/11/19
page 14
i
i
i
i
i
i
i
i
14 [CAP. 1: M
ETODOS TOPOL

Luego, para cierto R
0
independiente de T se cumple que si
R R
0
vale por ejemplo que
2
R
2
2
. Fijemos un valor r < 1,
entonces para aquellos valores de t tales que u
(t)
2
< R
r
, se
obtiene:
u
(t)
2
=
2
+2
_
t
0
p(s)u
(s) ds
u
(t)
4
2

R
2
R
2r
2
2cR > R
r
para R grande. Esto implica que u
(t)
2
+ u
(t)
2
> R
r
para
todo t [0, T].
Paso 2: u
esta denida en [0, 1]: para [[ R

0
, a partir de los calculos
anteriores vale que si u esta denida en [0, T] para T 1 y
R := |u|
C
1
([0,T])
, entonces R
2
2
2
. Esto dice que al extender
u
a la derecha de T, su norma no puede aumentar mas alla del

valor
2, de donde el resultado se deduce en forma inmediata.

Paso 3: Para [[ 0, la funcion
I() :=
1
_
1
0
u
(t)
2
u
(t)u
(t)
u
(t)
2
+u
(t)
2
dt
=
1
_
1
0
u
(t)
2
+u
(t)
4
u
(t)p(t)
u
(t)
2
+u
(t)
2
dt
esta bien denida, y es continua. Ademas, el integrando es po-
sitivo, y usando la desigualdad obtenida en el paso 1 se verica
que
I() + para [[ .
Luego, existe cierto k
0
N tal que si k k
0
entonces la
ecuacion I() = k tiene al menos dos soluciones. Notemos,
ademas, que la curva u
+ iu
gira en sentido anti-horario y

no vuelve hacia atras: esto dice que existen por lo menos dos
soluciones del problema que tienen exactamente k + 1 ceros en
[0, 1].
apunteimpa5New
2009/11/19
page 15
i
i
i
i
i
i
i
i
[SEC. 1.4: EJERCICIOS 15
1.4. Ejercicios
1.4.1. Teorema de valores intermedios y metodo
de shooting
1. Probar que la ecuacion del pendulo forzado con friccion
u
+au
+b sin(u) = p(t), (1.5)

en donde p es una funcion continua, admite al menos una solu-
cion para cualquier dato de Dirichlet
u(0) = u
0
, u(T) = u
T
.
Puede decirse lo mismo para las condiciones periodicas
u(0) = u(T), u
(0) = u
(T)?
2. Sea f : [0, 1] R
n
R
n
una funcion globalmente Lipschitz
en u con constante L sucientemente peque na. Probar que el
problema de Dirichlet
_
u
= f(t, u)
u(0) = u
0
, u(1) = u
1
tiene solucion unica. Deducir que si f es de clase C
1
respecto
de u y vale que

f
u
i
(t, u)
c
i
con c
i
sucientemente peque no para i = 1, . . . , n, entonces el
problema tiene solucion unica.
3. Sea f : [0, 1] R
n
R
n
continua y globalmente Lipschitz en
u tal que para cada t jo la funcion u f(t, u) es creciente.
Probar que el problema
_
u
= f(t, u)
u(0) = u
0
, u(1) = u
1
tiene solucion (que ademas es unica).
apunteimpa5New
2009/11/19
page 16
i
i
i
i
i
i
i
i
16 [CAP. 1: M
ETODOS TOPOL

4. Consideremos el problema
u
+f(u) = 0, u(0) = u(1) = 0 (1.6)

en donde por simplicidad supondremos que f : [0, +) R es
continua y positiva. Luego, si F(u) =
_
u
0
f(s) ds, entonces F
es estrictamente creciente en u. Una solucion u de (1.6) se dice
positiva si u > 0 en (0, 1).
a) Probar que toda solucion positiva tiene un unico punto
crtico, que resulta ser un maximo.
b) Probar que toda solucion positiva es simetrica respecto de
t =
1
2
.
c) Probar que (1.6) tiene una solucion positiva u tal que
|u|
= M si y solo si
_
M
0
du
_
F(M) F(u)
=
2
2
.
d) Deducir un resultado de existencia y unicidad de solu-
ciones positivas para f(u) = u
, con > 0. Es posible

probar esto en forma directa?
1.4.2. Teorema de Brouwer
1. a) Sea f : [a, b] R continua tal que [a, b] f([a, b]). Probar
que f tiene al menos un punto jo.
b) Mostrar con un ejemplo que el resultado anterior no vale
para n > 1. Mas concretamente, encontrar R R
2
rectan-
gulo cerrado y f : R R
2
continua sin puntos jos tal
que R f(R).
2. Probar que el teorema de Brouwer es equivalente al hecho de
que no existen retracciones de R
n
a la esfera unitaria, es decir:
no existe r : R
n
S
n1
continua tal que r(x) = x para todo
x S
n1
.
apunteimpa5New
2009/11/19
page 17
i
i
i
i
i
i
i
i
3. a) Sea : [0, 1] R
2
una curva continua cerrada simple, y
sean U = int(), f : U R
2
continua con f ,= 0 sobre
. Probar que si el ndice I(f , 0) de la curva f es
distinto de 0, entonces f se anula en U.
b) Probar el Teorema de Brouwer en el plano. Sugerencia:
considerar g
(z) = z f(z) y aplicar (3a).

c) Probar el Teorema de valores intermedios generalizado,
para el caso del plano: si f = (f
1
, f
2
) : [1, 1]
2
R
2
es
continua, y verica
f
1
(1, y) 0 f
1
(1, y) para todo y [1, 1],
f
2
(x, 1) 0 f
2
(x, 1) para todo x [1, 1],
entonces f tiene al menos un cero.
4. Probar en R
n
que el teorema de Brouwer es equivalente al teo-
rema de valores intermedios generalizado.
5. Probar en R
n
que el teorema de Brouwer es equivalente al sigu-
iente enunciado: si f : R
N
R
N
es continua y existe una
constante M tal que [f(x) x[ M para todo x, entonces f
tiene al menos un cero.
6. Sea : S
n1
R
n
continua con (x) ,= 0 para todo x S
n1
,
y sea : S
n1
S
n1
dada por =

||
. Probar que son
equivalentes:
a) Toda extension continua de a la bola unitaria se anula
en alg un punto.
b) es homotopicamente no trivial (es decir, no existe una
homotopa continua h : S
n1
[0, 1] S
n1
tal que
h(, 0) = y h(, 1) = constante).
1.4.3. Operador de Poincare
1. Probar que el problema periodico
_
_
_
x
= (t) +y x
3
y
= (t) y
5
+ 4xy
x(0) = x(1), y(0) = y(1)
apunteimpa5New
2009/11/19
page 18
i
i
i
i
i
i
i
i
18 [CAP. 1: M
ETODOS TOPOL

con , : [0, 1] R continuas tiene al menos una solucion.
2. Sea f : R R
n
R
n
continua y localmente Lipschitz en x.
Supongamos ademas que f es T-periodica en t y sublineal en
x, es decir:
f(t +T, x) = f(t, x) para todo (t, x),
lm
|x|
f(t, x)
[x[
= 0 uniformemente en t.
x
+x = f(t, x)
tiene al menos una solucion T-periodica x : R R
n
.
3. Sean f, g : [0, T] R
2
R continuas y localmente Lipschitz en
(x, y) R
2
. Supongamos ademas:
a) [f(t, x, y)[ M para (t, x, y) [0, T] R
2
R.
b) [g(t, x, y)[ C(x) para (t, x, y) [0, T] R
2
R, en
donde C es una funcion continua.
c) Existe R > 0 tal que
f(t, x, y) 0 f(t, x, y)
para todo (t, x, y) tal que x R, y
g(t, x, y) 0 g(t, x, y)
para todo (t, x, y) tal que y R.
_
_
_
x
= f(t, x, y)
y
= g(t, x, y)
x(0) = x(T), y(0) = y(T)
tiene al menos una solucion. Vericar, ademas, que las anteri-
ores desigualdades para f y g se pueden invertir (una de ellas,
o las dos).
apunteimpa5New
2009/11/19
page 19
i
i
i
i
i
i
i
i
Captulo 2
El teorema de Banach
2.1. Metodos de punto jo. El teorema de
Banach
En el captulo previo hicimos uso del conocido teorema de exis-
tencia y unicidad de ecuaciones diferenciales ordinarias, que dice:
Teorema
Sean R R
n
un abierto, (t
0
, x
0
) y f : R
n
una
funcion continua y localmente Lipschitz en x. Entonces existe un
> 0 tal que el problema de valores iniciales
_
x
= f(t, x)
x(t
0
) = x
0
(2.1)
tiene una unica solucion denida en [t
0
, t
0
+].
La demostracion clasica esta dada por el llamado metodo de Pi-
card de aproximaciones sucesivas, que consiste en construir la suce-
sion
x
0
(t) x
0
x
n+1
(t) = x
0
+
_
t
t
0
f(s, x
n
(s))ds,
19
apunteimpa5New
2009/11/19
page 20
i
i
i
i
i
i
i
i
20 [CAP. 2: EL TEOREMA DE BANACH
y mostrar que para alg un > 0, x
n
esta bien denida y converge
uniformemente en [t
0
, t
0
+ ] a cierta funcion x. Luego, resulta
claro que x es una solucion de (2.1), pues vale que:
x(t) = x
0
+
_
t
t
0
f(s, x(s))ds.
La unicidad se deduce facilmente a partir por ejemplo del lema de
Gronwall (ver ejercicio 2 de la seccion 10.1).
En su tesis doctoral de 1917, S. Banach mostro que el metodo de
Picard es en realidad un caso particular de un resultado que mucho
mas general: el llamado lema de la contraccion, o tambien teorema
de punto jo de Banach.
Recordemos que una funcion entre dos espacios metricos es una
contraccion cuando es (globalmente) Lipschitz con constante menor
que 1. En otras palabras, T : X Y es una contraccion si existe
< 1 tal que d
Y
(Tx, Ty) d
X
(x, y) para todo par de elementos
x, y X.
Teorema (Banach)
Sea X un espacio metrico completo, y sea T : X X una contrac-
cion. Entonces T tiene un unico punto jo x. Ademas, x puede cal-
cularse en forma iterativa a partir la sucesion x
n+1
= T(x
n
), comen-
zando en cualquier x
0
X.
Este sencillo resultado se prueba en forma inmediata: inductiva-
mente, es claro que d(x
n+1
, x
n
)
n
d(x
1
, x
0
). Entonces
d(x
n+k
, x
n
)
n+k1
j=n
d(x
j+1
, x
j
)
n+k1
j=n
j
d(x
1
, x
0
),
lo que prueba que x
n
es una sucesion de Cauchy. y es facil ver que
su lmite x es punto jo de T. La unicidad es trivial, pues si T(x) = x
entonces d(x, x) = d(T(x), T( x)) d(x, x).
La cota que proporciona la serie geometrica permite calcular tam-
apunteimpa5New
2009/11/19
page 21
i
i
i
i
i
i
i
i
[SEC. 2.1: M
ETODOS DE PUNTO FIJO. EL TEOREMA DE BANACH 21

bien la velocidad a la cual la sucesion converge a x: en efecto,
d(x
n
, x) = lm
k
d(x
n
, x
n+k
) lm
k
n+k1
j=n
d(x
j+1
, x
j
)

n
1
d(x
1
, x
0
).
Pero vale la pena mencionar una demostracion aun mas elemental
del teorema, debida a Richard Palais [32], que no requiere conocer
siquiera la suma de la serie geometrica: para x, y cualesquiera, vale
d(x, y) d(x, T(x)) +d(T(x), T(y)) +d(y, T(y)),
y en consecuencia
(1 )d(x, y) d(x, T(x)) +d(y, T(y)).
Tomando x = x
n
, y = x
m
, se deduce que
d(x
n
, x
m
)
1
1
[d(T
n
(x
0
), T
n
(x
1
)) +d(T
m
(x
0
), T
m
(x
1
))]

n
+
m
1
d(x
0
, x
1
).
Esto prueba que la sucesion es de Cauchy, y tambien la convergencia
lineal de la sucesion: es decir, la cota que obtuvimos anteriormente,
d(x
n
, x)

n
1
d(x
1
, x
0
).
El lema de la contraccion permite dar una demostracion directa
del teorema de existencia y unicidad local. En efecto, el operador
evidente para buscar un punto jo es
Tx(t) = x
0
+
_
t
0
f(s, x(s)) ds.
Solo necesitamos encontrar un espacio metrico completo X tal que
T : X X este bien denido y resulte una contraccion.
Consideremos

, r > 0 tales que [t
0

, t
0
+

] B
r
(x
0
) .
Sean M y L respectivamente el maximo y la constante de Lipschitz
de la funcion f en dicho conjunto, y tomemos como espacio X a la
apunteimpa5New
2009/11/19
page 22
i
i
i
i
i
i
i
i
bola cerrada de radio r centrada en x
0
, pero ahora dentro del espacio
C([t
0
, t
0
+], R
n
) para cierto

conveniente:
X = x: [t
0
, t
0
+] B
r
(x
0
) continua,
provisto de la metrica usual
d(x, y) = max
t[t
0
,t
0
+]
[x(t) y(t)[.
Es claro que T : X C([t
0
, t
0
+ ], R
n
) esta bien denido, y
ademas
[Tx(t) x
0
[ =
_
t
t
0
f(s, x(s))ds
M.
Luego, si elegimos
r
M
entonces X resulta invariante, es decir:
T(X) X. Por otro lado, para x, y X se tiene:
d(Tx, Ty) = max
t[t
0
,t
0
+]
_
t
t
0
(f(s, x) f(s, y))ds
Ld(x, y).
De esta forma, si ademas <
1
L
entonces T : X X es una contrac-
cion.
Observaci on
Notemos que el teorema realmente garantiza que la solucion x
obtenida es unica en el intervalo [t
0
, t
0
+ ]: en efecto, si y fuera
otra solucion denida en alg un entorno de t
0
, entonces valdra, para
cierto (0, ] que [y(t)[ r cuando t [t
0
, t
0
+]. Pero si ahora
redenimos el espacio X con este nuevo valor , T va a resultar una
contraccion all, lo que dice que x = y en [t
0
, t
0
+]. Esto permite
asegurar que x = y en cualquier intervalo que contenga a t
0
en el cual
ambas soluciones esten denidas.
El teorema de Banach se puede aplicar tambien a problemas de
contorno como (1.1) o, un poco mas en general, con una condicion
no homogenea
u(0) = u
0
, u(1) = u
1
.
La idea es la siguiente: para v C([0, 1]) ja, consideremos el pro-
blema lineal
_
u
= f(t, v)
u(0) = u
0
u(1) = u
1
,
(2.2)
apunteimpa5New
2009/11/19
page 23
i
i
i
i
i
i
i
i
[SEC. 2.1: M
ETODOS DE PUNTO FIJO. EL TEOREMA DE BANACH 23

que, si pedimos f continua, tiene solucion unica u C
2
([0, 1]). De
esta forma, el operador T : C[0, 1] C[0, 1] dado por
Tv = unica solucion de (2.2)
esta bien denido. Mas aun, dados v
1
, v
2
C[0, 1] y u
i
= Tv
i
, se
tiene:
(u
1
u
2
)
= f(t, v
1
) f(t, v
2
)
(u
1
u
2
)(0) = (u
1
u
2
)(1) = 0
Observemos tambien que (u
1
u
2
)(t) =
_
t
0
(u
1
u
2
)
(s)ds, de donde
resulta
[[u
1
u
2
[[
[[u
1
u
2
[[
.
Ademas, por el teorema de Rolle existe t
0
tal que (u
1
u
2
)
(t
0
) = 0,
entonces podemos escribir (u
1
u
2
)
(t) =
_
t
t
0
(u
1
u
2
)
(s)ds, y en
consecuencia:
[[u
1
u
2
[[
[[u
1
u
2
[[
.
Luego, [[u
1
u
2
[[
[[f(, v
1
) f(, v
2
)[[
. Si f es Lipschitz en
u con constante L, para todo t vale:
[f(t, v
1
(t)) f(t, v
2
(t))[ L[v
1
(t) v
2
(t)[ L|v
1
v
2
|
.
En particular, si L < 1 entonces T resulta una contraccion. En con-
secuencia, existe una ( unica) solucion del problema.
Observaci on
El resultado previo vale tambien para un sistema de ecuaciones
de segundo orden.
Observaci on
Se pueden obtener cotas mas precisas si se trabaja en el espacio
L
2
(0, 1). En efecto, si v
1
, v
2
L
2
(0, 1), y u
i
= Tv
i
para i = 1, 2,
resulta:
|u
1
u
2
|
L
2
1
|u
1
u
2
|
L
2.
Esta es la llamada desigualdad de Poincare (ver seccion 10.4). Por
otro lado,
|(u
1
u
2
)
|
2
L
2
=
_
1
0
(u
1
u
2
)
(s)(u
1
u
2
)
(s)ds =
apunteimpa5New
2009/11/19
page 24
i
i
i
i
i
i
i
i
_
1
0
(u
1
u
2
)
(s)(u
1
u
2
)(s)ds |(u
1
u
2
)
|
L
2|u
1
u
2
|
L
2.
As tenemos que
|(u
1
u
2
)
|
L
2
1
|(u
1
u
2
)
|
L
2,
y
|u
1
u
2
|
L
2
1
2
|u
1
u
2
|
L
2
L
2
|v
1
v
2
|
L
2.
Luego, basta pedir que L <
2
.
El inconveniente de este enfoque es que en principio, no queda
claro como se dene Tv si v es un elemento de L
2
. Sin embargo,
eso puede hacerse apropiadamente, pues si f es Lipschitz entonces
f(, v) L
2
(0, 1), y entonces es posible integrarla dos veces para
obtener una solucion u del problema (2.2). Es claro que u no es nece-
sariamente una funcion de clase C
2
, aunque resulta C
1
y ademas
u
es absolutamente continua, con u
L
2
(0, 1): esta clase de fun-
ciones dene un nuevo espacio de Sobolev llamado H
2
(0, 1), que mas
adelante nos sera de utilidad.
Una consecuencia del teorema de Banach es la siguiente:
Teorema
Sea X un espacio metrico completo, y supongamos que T : X X
es tal que T
n
es una contraccion, en donde T
n
(x) = T T T(x)
(n veces). Entonces T tiene un unico punto jo.
La demostracion es sencilla: si x es el unico punto jo de T
n
,
entonces T
n
(T(x)) = T(T
n
(x)) = T(x). Por unicidad, resulta T(x) =
x. Ademas, si y es punto jo de T, entonces tiene que ser tambien
punto jo de T
n
, y en consecuencia y = x.
Una aplicacion tpica de este resultado es la prueba de que si f es
Lipschitz en u con cierta constante que no depende de u sobre cierta
franja [a, b] R
n
, entonces las soluciones del problema de valores
iniciales estan denidas en todo el intervalo [a, b]. Mas precisamente:
apunteimpa5New
2009/11/19
page 25
i
i
i
i
i
i
i
i
Proposici on
Sea f : [a, b] R
n
R
n
una funcion continua, globalmente Lips-
chitz en x con constante L. Entonces, la unica solucion del problema
_
x
= f(t, x)
x(t
0
) = x
0
para cualquier (t
0
, x
0
) (a, b) R esta denida en todo [a, b].
En realidad, este resultado puede verse como una aplicacion di-
recta del lema de Gronwall (ver ejercicio 2 de la seccion 10.1), pero si
pensamos como antes en el operador T : C([a, b], R
n
) C([a, b], R
n
)
dado por
Tx(t) = x
0
+
_
t
t
0
f(s, x(s))ds,
se tiene que
[T
n+1
x(t) T
n+1
y(t)[ =
_
t
t
0
[f(s, T
n
x(s)) f(s, T
n
y(s))]ds
L
_
t
a
[T
n
x T
n
y[(s)ds.
En particular, para n = 0 resulta
[Tx(t) Ty(t)[ L
_
t
a
[x(s) y(s)[ ds L(t a)|x y|
.
Por induccion, se deduce que
[T
n
x(t) T
n
y(t)[ L
n
(t a)
n
n!
|x y|
,
y luego |T
n
x T
n
y|
(b a)
n L
n
n!
|x y|
para todo n. Por lo

tanto, T
n
es una contraccion para n sucientemente grande.
2.2. Ejercicios
1. Probar que el teorema de Banach no vale en general para cualquier
operador T : X X tal que
d(Tx, Ty) < d(x, y) para todo x, y X, x ,= y.
apunteimpa5New
2009/11/19
page 26
i
i
i
i
i
i
i
i
Que ocurre cuando X es compacto?
2. Probar que si f : [0, T] R
2n
R
n
es continua y Lipschitz
en (u, u
) con constante L sucientemente peque na, entonces el

sistema
_
u
= f(t, u, u
)
u(0) = u
0
, u(T) = u
T
tiene solucion unica. Especicar el valor de L.
3. Denir un esquema de aproximaciones sucesivas de Picard para
el problema anterior.
4. Sea X un espacio metrico completo, y sea T : X X tal que
d(T(x), T(y)) G(d(x, y)) si d(x, y) R
en donde G : [0, R] [0, R) es continua y satisface:
G es creciente.
G(r) < r para r > 0.
a) Probar que el esquema de aproximaciones sucesivas dado
por u
n+1
= T(u
n
) converge a un punto jo de T para
cualquier u
0
tal que d(T(u
0
), u
0
) < R.
b) Probar que el punto jo obtenido en (4a) es unico.
c) Encontrar un ejemplo de f = f(t, u) que no cumpla las
hipotesis del ejercicio 2, pero igualmente el problema
u
= f(t, u), u(0) = u

0
, u(T) = u
T
tenga solucion unica.
apunteimpa5New
2009/11/19
page 27
i
i
i
i
i
i
i
i
Captulo 3
El teorema de Schauder
3.1. Un ejemplo de Kakutani
El teorema de Brouwer, cuyo enunciado hemos visto en el captulo
1, vale para cualquier conjunto homeomorfo a la bola unitaria B
R
n
; en particular, vale para cualquier conjunto cerrado, acotado y
convexo en un espacio normado de dimension nita.
En la siguiente seccion veremos una extension de este resultado
para espacios de dimension innita; sin embargo, el siguiente ejemplo
de Kakutani de 1943 muestra que es preciso pedir alguna condicion
adicional para f.
Por simplicidad, consideremos el espacio H := L
2
(, ) provisto
de la base ortonormal usual e
n
nZ
en donde e
n
(t) =
e
int
2
1
.
Denamos ahora la aplicacion lineal
T
_
nZ
x
n
e
n
_
:=
nZ
x
n
e
n+1
,
1
Recordemos que toda f L
2
(, ) admite un ( unico) desarrollo en serie de
Fourier dado por S(t) =
nZ
x
n
e
n
, en donde x
n
:= f, e
n
. La igualdad f = S
signica que la serie converge a f en el sentido de L
2
. Ademas, vale la identidad
de Parseval: f
2
L
2
=
nZ
x
2
n
27
apunteimpa5New
2009/11/19
page 28
i
i
i
i
i
i
i
i
28 [CAP. 3: EL TEOREMA DE SCHAUDER
que resulta una isometra. Luego, la funcion f : H H dada por
f(x) =
1 |x|
2
e
0
+Tx
es continua; ademas, si |x| 1 vale
|f(x)|
1 |x|
2
+|x| 1;
es decir, f(B
1
(0)) B
1
(0). Veremos que, sin embargo, f no tiene
puntos jos en la bola unitaria.
Supongamos que f( x) = x para cierto x B
1
(0), entonces clara-
mente x ,= 0. Ademas, | x| < 1, pues en caso contrario se tendra que
T( x) = x, lo que es absurdo pues el unico punto jo de T es el 0.
Escribiendo x =
x
n
e
n
, por ser x = f( x) resulta
x T x =
1 | x|
2
e
0
,
es decir:
nZ
(x
n
x
n1
)e
n
=
1 | x|
2
e
0
.
Por la unicidad de la serie, se deduce que
x
n
x
n1
=
_
0 si n ,= 0
1 x
2
si n = 0.
En consecuencia
. . . x
2
= x
1
,= x
0
= x
1
= x
2
. . . ,
lo que tambien es absurdo, pues

x
2
n
= | x|
2
< .
En la siguiente seccion veremos que el teorema de Brouwer puede
extenderse para espacios de dimension innita, si se agrega a f la
condicion de ser compacta.
3.2. El teorema de Schauder
Antes de enunciar el teorema de Schauder, veamos una motivacion
sencilla. Consideremos una vez mas el problema de valores iniciales
apunteimpa5New
2009/11/19
page 29
i
i
i
i
i
i
i
i
[SEC. 3.2: EL TEOREMA DE SCHAUDER 29
_
x
= f(t, x)
x(t
0
) = x
0
,
(3.1)
pero ahora supongamos unicamente que f : RR
n
R
n
es con-
tinua. Un resultado conocido, debido a Peano, dice que el problema
(3.1) tiene al menos una solucion denida en un entorno de t
0
. Esto
puede demostrarse por ejemplo de la siguiente manera (los detalles
quedan como ejercicio):
1. Considerar K = [t
0
, t
0
+

] B
r
(x
0
) y, empleando el
teorema de Weierstrass, elegir p
n
polinomios tales que p
n
f
uniformemente en K. Extendiendo a p
n
adecuadamente mas
alla de K, podemos suponer que p
n
: R R
n
R
n
es una
funcion de clase C
1
, con
sup
(t,x)RR
n
[p
n
(t, x)[ M
para cierto M independiente de n.
2. Para cada n resolvemos el problema
_
x
n
= p
n
(t, x
n
)
x
n
(t
0
) = x
0
,
que tiene una unica solucion x
n
, denida en todo R.
3. Escribiendo
x
n
(t) = x
0
+
_
t
t
0
p
n
(s, x
n
) ds,
para [t t
0
[

resulta:
[x
n
(t) x
0
[ M.
En particular, podemos elegir
r
M
, de modo que resulte
(t, x
n
(t)) K. Por otra parte,
[x
n
(t +h) x
n
(t)[
_
t+h
t
p
n
(s) ds
M[h[,
apunteimpa5New
2009/11/19
page 30
i
i
i
i
i
i
i
i
de donde se ve que el conjunto A = x
n
: n N es acotado y
equicontinuo en el espacio C([t
0
, t
0
+], R
n
). Por el teorema
de Arzela-Ascoli, A es compacto; luego, existe una subsucesion
x
n
j
que converge uniformemente a cierta funcion continua
x : [t
0
, t
0
+] R
n
. De las igualdades
x
n
j
(t) = x
0
+
_
t
t
0
p
n
j
(s, x
n
j
)ds
para t [t
0
, t
0
+] se deduce que
x(t) = x
0
+
_
t
t
0
f(s, x(s))ds,
de donde x resulta una solucion del problema.
Sin embargo, el resultado anterior se demuestra en forma mucho
mas directa por medio del siguiente teorema:
Teorema (Schauder)
Sea E un espacio normado, y sea C E un conjunto convexo,
cerrado y acotado. Supongamos que T : C C es una funcion
continua tal que T(C) es compacto. Entonces T tiene al menos un
punto jo.
Demostraci on. Sea k N. Por la compacidad de T(C), podemos
elegir x
1
, x
2
, . . . , x
n
T(C) C tales que
T(C)
n
_
j=1
B
1/k
(x
j
).
Sea C
k
C la capsula convexa del conjunto x
1
, x
2
, . . . , x
n
, y
denamos la funcion J
k
: T(C) C
k
, dada por
J
k
(y) =
n
j=1
dist(y, T(C) B
j
)
n
i=1
dist(y, T(C) B
i
)
x
j
,
en donde B
j
= B
1/k
(x
j
). Es claro que J
k
esta bien denida, porque
si y T(C), entonces y B
j
para alg un j, y d(y, T(C) B
j
) > 0.
apunteimpa5New
2009/11/19
page 31
i
i
i
i
i
i
i
i
Por otro lado, si y / B
j
vale d(y, T(C) B
j
) = 0, de donde se
deduce que para todo j resulta:
d(y, T(C) B
j
)|y x
j
|
1
k
d(y, T(C) B
j
).
En consecuencia, |J
k
(y)y|
1
k
para todo y T(C), y en particular
|J
k
T(x) Tx|
1
k
para todo x C.
Ademas, por el teorema de Brouwer J
k
T[
C
k
: C
k
C
k
tiene al
menos un punto jo z
k
. Por compacidad, Tz
k
admite una subsuce-
sion Tz
k
j
que converge a cierto z T(C) C, y
|z
k
j
Tz
k
j
| = |(J
k
j
T)(z
k
j
) Tz
k
j
|
1
k
j
0.
Se deduce que z
k
j
z, y por continuidad Tz = lm
j
Tz
k
j
= z.
Observaci on
La prueba anterior ademas muestra, en general, que si T : C F
es un operador continuo tal que T(C) es compacto, en donde C E
es cualquier conjunto cerrado y acotado y F es un espacio normado,
entonces T puede aproximarse por operadores de rango nito. Mas
precisamente: para todo > 0 existe T
: C F tal que |T
T| <
y dim(Im(T)) < .
Veamos ahora como se puede aplicar el teorema de Schauder al
problema (3.1): es suciente con tomar, para > 0 y R > 0 conve-
nientes, E = C([t
0
, t
0
+], R
n
), y el subconjunto (convexo, cerrado
y acotado) C E dado por
C = x E : |x x
0
| R.
El operador de punto jo va a ser, nuevamente:
Tx(t) = x
0
+
_
t
t
0
f(s, x(s)) ds.
Veamos que si es sucientemente peque no, T esta bien denido en
C, y ademas T(C) C.
apunteimpa5New
2009/11/19
page 32
i
i
i
i
i
i
i
i
En efecto, si K := [t
0

, t
0
+

] B
R
(x
0
) , existe cierta
constante M tal que [f(t, x)[ M para (t, x) K. Eligiendo

,
se cumple que si x C entonces (t, x(t)) K, y
[Tx(t) x
0
[ =
_
t
t
0
f(s, x) ds
M.
De esta forma, basta tomar mn
,
R
M
.
Como antes, la compacidad de T(C) es consecuencia inmediata
del teorema de Arzela-Ascoli, escribiendo
[Tx(t +h) Tx(t)[ =
_
t+h
t
f(s, x) ds
[h[M.
Hace falta probar tambien que T es una funcion continua, pero
esto es muy facil por tratarse de un operador integral: por ejemplo, si
x
n
x en C (vale decir, uniformemente), entonces f(, x
n
) f(, x)
uniformemente, de donde
[Tx
n
(t)Tx(t)[ =
_
t
t
0
f(s, x
n
) f(s, x) ds
|f(, x
n
)f(, x)|
.
Como el termino de la derecha tiende a cero para n , el
resultado queda demostrado.
Veamos otra aplicacion, al problema de segundo orden con condi-
ciones de Dirichlet
_
u
= f(t, u)
u(0) = u
0
, u(1) = u
1
(3.2)
donde f : [0, 1] R
n
R
n
es continua y por ejemplo sublineal:
lm
|u|
f(t, u)
u
= 0 uniformemente en t.
Un poco mas en general, podemos suponer directamente que vale
[f(t, u)[ A[u[ +B para ciertas constantes A, B > 0, con A sucien-
temente peque na. Notemos que este problema se puede resolver por
el metodo de shooting, en el caso de que f sea localmente Lipschitz
apunteimpa5New
2009/11/19
page 33
i
i
i
i
i
i
i
i
en la variable u. Sin embargo, si f es solamente continua, el metodo
de shooting no se puede aplicar.
Vamos a resolver el problema empleando el teorema de Schauder.
Por simplicidad, trabajaremos en C([0, 1]) aunque, al igual que en
el captulo anterior, es posible obtener mejores cotas para A si se
trabaja en el espacio L
2
(0, 1).
Dada v C([0, 1]) ja, ya sabemos que el problema lineal
_
u
= f(t, v)
u(0) = u
0
, u(1) = u
1
tiene una unica solucion u, lo que nos permite denir como en el
captulo previo el operador T : C([0, 1]) C([0, 1]) dado por Tv = u.
Buscamos un punto jo de T; para ello, veamos en primer lugar
que es un operador compacto:
T es una funcion continua.
T enva conjuntos acotados en conjuntos pre-compactos (es de-
cir, de clausura compacta).
Para comprobar esto, recordemos las estimaciones del captulo previo:
si w es una funcion en C
2
([0, 1]) que se anula en los extremos, entonces
|w|
|w
|w
.
Luego, si v
n
v uniformemente, resulta:
|Tv
n
Tv|
|(Tv
n
)
(Tv)
= |f(, v
n
) f(, v)|
0,
lo que prueba que T es continua. Ademas, si por ejemplo considera-
mos u
l
(t) = (u
1
u
0
)t + u
0
la funcion lineal que pasa por (0, u
0
) y
(1, u
1
), entonces para |v|
R, como Tv y u
l
valen lo mismo en los
extremos se obtiene:
|Tv u
l
|
|(Tv)
l
|
|(Tv)
l
|
= |f(, v)|
M
R
,
en donde M
R
es el maximo (que depende solo de R y los datos de
Dirichlet) de la funcion [f(t, u)[ sobre la franja
(t, u) R
2
: 0 t 1, [u[ R.
apunteimpa5New
2009/11/19
page 34
i
i
i
i
i
i
i
i
Por el teorema de Arzela-Ascoli, se deduce que T(B
R
(0)) tiene clausura
compacta: en efecto, resulta claramente un conjunto equiacotado, y
para v B
R
(0) por las desigualdades anteriores se ve que |(Tv)

M
R
+|u
l
|
= M
R
+[u
1
u
0
[. Luego
[Tv(t +h) Tv(t)[ = [(Tv)
().h[ (M
R
+[u
1
u
0
[)[h[,
lo que prueba la equicontinuidad.
Esto muestra que T resulta un operador continuo y compacto
para cualquier f continua, cosa que nos sera de utilidad para otros
problemas mas generales. Pero bajo nuestras hipotesis especcas,
las acotaciones pueden precisarse aun mas: en efecto, es claro que
M
R
AR +B, de modo que si |v|
R obtenemos
|Tv|
|u
l
|
+M
R
max[u
0
[, [u
1
[ +AR +B.
De esta forma, si A < 1 y
R
B + max[u
0
[, [u
1
[
1 A
,
vale que T(B
R
(0)) B
R
(0), y el teorema de Schauder asegura la
existencia de una solucion u del problema con |u|
R.
Observaci on
Vale la pena observar que, si bien el operador anterior resulta
compacto para cualquier f continua, la existencia de un convexo cer-
rado y acotado que sea invariante por T no esta garantizada sin poner
alguna hipotesis adicional sobre f. A modo de ejemplo, consideremos
el problema
u
+
2
u = sen(t), u(0) = u(1) = 0, (3.3)
donde f(t, u) = sen(t)
2
u es lineal en u, pero el problema no
tiene solucion. En efecto, multiplicando la ecuacion por sen(t) y
luego integrando por partes el primer termino, se obtiene
0 =
_

0
usen(t)
dt +
2
_

0
u dt =
_

0
sen
2
(t) dt > 0,
lo que es absurdo.
apunteimpa5New
2009/11/19
page 35
i
i
i
i
i
i
i
i
Tambien hemos mencionado el hecho de que se puede obtener una
cota mejor para A si se busca un punto jo directamente en L
2
(0, 1);
sin embargo, para f arbitraria no siempre es posible trabajar en este
espacio. Mas aun, para v L
2
(0, 1), nada permite asegurar siquiera
que f(, v) sea integrable.
3.3. Ejercicios
1. Sea l
2
el espacio denido por
l
2
:= x := (x
n
)
nN
R
N
:
nN
x
2
n
<
provisto de la norma usual dada por
|x| :=
nN
x
2
n
.
Denimos T : B
1
(0) l
2
l
2
dado por
T(x) =
_
_
1 |x|
2
, x
1
, x
2
, . . .
_
.
Probar que T es continua, T(B
1
(0)) B
1
(0), pero T no tiene
puntos jos.
2. a) Probar usando el teorema de Schauder que la ecuacion del
pendulo forzado con friccion
u
+au
+b sin(u) = p(t),
en donde p es una funcion continua, admite al menos una
solucion para cualquier dato de Dirichlet
u(0) = u
0
, u(T) = u
T
.
Puede decirse lo mismo para las condiciones periodicas
u(0) = u(T), u
(0) = u
(T)?
apunteimpa5New
2009/11/19
page 36
i
i
i
i
i
i
i
i
Sugerencia: obtener acotaciones similares a las empleadas
en este captulo, pero ahora para el operador lineal dado
por Lu = u
+au
.
Comparar con el ejercicio 1 de la seccion 1.4.1.
b) Probar que si b es sucientemente peque no, entonces la
solucion es unica, y se puede obtener en forma iterativa
comenzando en cualquier funcion u
1
C([0, T]) a partir
de los problemas lineales
_
u
n+1
+au
n+1
= p(t) b sin u
n
u(0) = u
0
, u(T) = u
T
.
Que se puede decir acerca del orden de convergencia?
c) Mas en general, probar la existencia de soluciones para
el problema del ejercicio 2 del captulo 2, pero suponiendo
que en vez de ser Lipschitz la funcion f verica: [f(t, x, y)[
A[x[ +B[y[ +C para ciertas constantes adecuadas.
3. Sea f : [0, 1]R
n
R
n
continua y sublineal, y sea C([0, 1])
tal que (t) 0 para todo t. Probar que el problema
_
u
(t)u = f(t, u, u
)
u(0) = u
0
, u(1) = u
1
.
tiene al menos una solucion. Sugerencia: encontrar acotaciones
analogas a las empleadas en el problema (3.2) para el operador
lineal Lu := u
u.
4. Condicion de Hartman-Nagumo
a) Sean f : [0, 1] R
n
R
n
continua y R > 0 tales que
f(t, u) u 0 para u R
n
con [u[ = R. Probar que el
problema de Dirichlet
_
u
= f(t, u)
u(0) = u
0
, u(1) = u
1
con [u
0
[, [u
1
[ R tiene al menos una solucion.
Sugerencia: probar que el problema
u
= f(t, Pu) u(0) = u

0
, u(1) = u
1
,
apunteimpa5New
2009/11/19
page 37
i
i
i
i
i
i
i
i
en donde
Pu =
_
u si [u[ R
R.
u
|u|
si [u[ > R,
tiene al menos una solucion u. Luego, denir r(t) = [u(t)[
2
y vericar que r(t) R para todo t.
b) Sea f : [0, 1] R
2n
R
n
continua tal que
[f(t, u, v)[ c
_
2u f(t, u, v) +[v[
2
_
+K
para [u[ R y ciertas constantes c, K con 2cR < 1. Probar
que existe M > 0 tal que si u verica u
= f(t, u, u
), y
|u|
R, entonces |u
M.
Sugerencia: usando la representacion de Green (ver seccion
10.3), deducir que
u
(t) = u(1) u(0) +

_
1
0
G
t
(t, s)f(s, u(s), u
(s)) ds,
con
G
t
(t, s) =
_
s si t > s
s 1 si t < s.
Entonces
[u
(t)[ [u(1) u(0)[

+
_
t
0
(1 s)(cr
(s) +K) ds +
_
1
t
s(cr
(s) +K) ds,

donde r es como antes. Integrando por partes, se obtiene
la acotacion deseada.
c) Deducir un resultado de existencia para el problema
_
u
= f(t, u, u
)
u(0) = u
0
, u(1) = u
1
.
5. Consideremos el problema del pendulo forzado con rozamiento
del ejercicio (2a), con b = 1 y T < , y escribamos p(t) =
p
0
(t) +c en donde p
0
: [0, T] R tiene promedio 0.
apunteimpa5New
2009/11/19
page 38
i
i
i
i
i
i
i
i
a) Probar que el problema tiene solucion unica en C([0, T])
para cualquier dato de Dirichlet. Comparar con el ejercicio
(2b). Sugerencia: emplear la acotacion para el operador
Lu = u
+au
obtenida en (2a).
b) Para r [0, 2] y c [1, 1], denir u
r,c
C([0, T]) como
la unica solucion del problema con u
r,c
(0) = u
r,c
(T) = r.
Probar que la aplicacion (r, c) u
r,c
es continua.
c) Sea : [0, 2] [1, 1] R dada por
(r, c) =
1
T
_
T
0
sen[u
r,c
(t)] dt c.
Probar que para todo r existe alg un c tal que (r, c) = 0.
Deducir que la ecuacion tiene soluciones periodicas para
alg un c.
d) Probar que si la ecuacion no tiene soluciones periodicas
para c ,= c
0
, entonces toda solucion del problema
u
+au
+ senu = p
0
(t) +c
0
que verica u(0) = u(T) es periodica.
apunteimpa5New
2009/11/19
page 39
i
i
i
i
i
i
i
i
Captulo 4
El metodo de super y
subsoluciones
4.1. Introducci on: un caso particular
Ademas de las aplicaciones directas del teorema de Schauder que
hemos visto en el captulo previo, veremos ahora las nociones basicas
de un metodo clasico de resolucion de ecuaciones conocido como
metodo de super y subsoluciones, que fue introducido por Scorza-
Dragoni en 1931 [35]. Se trata de una de las herramientas funda-
mentales del analisis no lineal, que a grandes rasgos permite obtener
soluciones que se encuentran entre dos funciones y (respectiva-
mente, una subsolucion y una supersolucion del problema). Para una
descripcion mas general del metodo aplicado a ecuaciones ordinarias
de segundo orden con condiciones de Dirichlet o periodicas, puede
consultarse por ejemplo [6].
Vamos a comenzar una vez mas con la ecuacion de segundo orden
u
= f(t, u); en tal caso diremos que las funciones suaves y son
respectivamente una subsolucion y una supersolucion de la ecuacion
si se cumple:
f(t, ),
f(t, ).
Ademas, si queremos resolver el problema de Dirichlet, entonces pedi-
39
apunteimpa5New
2009/11/19
page 40
i
i
i
i
i
i
i
i
40 [CAP. 4: EL M
ETODO DE SUPER Y SUBSOLUCIONES

remos tambien:
(0) u
0
(0), (1) u
1
(1).
Probaremos que si existen y una sub y una supersolucion
ordenadas, es decir, tales que , entonces el problema tiene al
menos una solucion u, con u .
A nes de entender la idea del metodo, resolvamos en primer
lugar una situacion simple, que se produce cuando f es decreciente
respecto de u. En tal caso, la existencia de una solucion se obtiene en
forma directa del teorema de Schauder, aplicado al mismo operador
compacto T : C([0, 1]) C([0, 1]) que empleamos en los captulos
previos. Vale la pena observar que, en general, el resultado no vale
sin asumir la existencia de un par (, ), como lo muestra el problema
lineal que vimos en (3.3),
u
+
2
u = sen(t), u(0) = u(1) = 0,
donde f(t, u) = sen(t)
2
u es decreciente en u.
En cambio, si se supone que existe un par (, ) consistente en
una sub y una supersolucion ordenadas, entonces puede considerarse
el conjunto cerrado, convexo y acotado al de aquellas funciones que
estan entre y , es decir:
C = u C([0, 1]) : (t) u(t) (t) para todo t.
Probaremos que este conjunto es invariante por T; vale decir, que
T(C) C. La prueba de que C cumple las otras hipotesis requeridas
por el teorema de Schauder es la misma que hemos efectuado en el
captulo anterior.
Si v C y u = Tv, entonces siendo f decreciente en la segunda
coordenada vale:
u
= f(t, v) f(t, )
.
En otras palabras, la funcion u es concava, por ser (u )
0.
Pero ademas (u)(0) = u
0
(0) 0 y (u)(1) = u
1
(1) 0,
de donde se concluye que u 0 en todo [0, 1]. De la misma forma
se prueba que u 0, y en consecuencia u C.
apunteimpa5New
2009/11/19
page 41
i
i
i
i
i
i
i
i
[SEC. 4.1: INTRODUCCI
ON: UN CASO PARTICULAR 41

El caso anterior nos da una buena pista para resolver la situacion
en un contexto mas general: si el termino de la derecha no es de-
creciente en u... podemos intentar buscar una forma de que lo sea.
Obviamente, para eso hace falta restarle una funcion continua apropi-
ada creciente en u, de modo tal que los anteriores argumentos
puedan repetirse. En principio, si queremos reemplazar a f(t, u) por
f(t, u) (u), el operador de punto jo se denira a partir del pro-
blema:
u
(u) = f(t, v) (v), u(0) = u

0
, u(1) = u
1
.
Es facil demostrar (por ejemplo, si es globalmente Lipschitz en-
tonces basta aplicar el ejercicio (3) de la seccion 1.4.1) que el oper-
ador T : v u esta bien denido y es compacto. Para nuestros nes,
alcanza con tomar (u) = u para alg un 0.
El inconveniente es que en general no existe un valor tal que
f(t, u)u sea una funcion decreciente en u para todo t; sin embargo,
como nuestro objetivo es unicamente comprobar que T(C) C, en-
tonces alcanzara con pedir que para cada t jo la funcion f(t, u) u
sea decreciente en u cuando (t) u (t).
De este modo, si por ejemplo f es de clase C
1
respecto de u, basta
elegir 0 tal que
max
K
f
u
(t, u)
en donde K = (t, u) R
2
: 0 t 1, (t) u (t). En tal caso,
para cada t jo se tiene que
[f(t, u) u] [f(t, v) v] =
_
f
u
(t, )
_
(u v) 0
si (t) v u (t).
De un modo analogo al caso que vimos, con = 0, el operador T
que a cada v asigna la unica solucion u del problema
u
u = f(t, v) v, u(0) = u
0
, u(1) = u
1
esta bien denido y es compacto; veamos ahora que si v
entonces u . En principio, resulta
u
u = f(t, v) v f(t, ) ,
apunteimpa5New
2009/11/19
page 42
i
i
i
i
i
i
i
i
42 [CAP. 4: EL M

de donde
(u )
(u ) 0. (4.1)
A diferencia del caso anterior ahora no se puede argumentar que u
es concava; sin embargo se puede aplicar un resultado mas general,
que es un caso elemental del denominado principio del maximo:
Proposici on (Principio del maximo, caso particular):
Si w es una funcion suave que satisface
w
w 0, w(0), w(1) 0
para cierto 0, entonces w 0 en [0, 1].
Este hecho puede demostrarse de maneras diferentes; vamos a ver
dos pruebas sencillas, que pueden resultar utiles para luego genera-
lizar el principio a otros casos.
1. Supongamos que w , 0; entonces existe t
0
(0, 1) tal que
w(t
0
) > 0 y ademas w(t
0
) es maximo.
Resulta entonces 0 w
(t
0
) w(t
0
) > 0, lo que es absurdo.
2. Sea I
+
= t [0, 1] : w(t) > 0. Como w(0), w(1) 0, vale
w = 0 en I
+
, y ademas:
0
_
I
+
(w
(t) w(t))w(t) dt
=
_
I
+
w
(t)
2
dt
_
I
+
w(t)
2
dt 0.
Luego
_
I
+
w
(t)
2
+ w(t)
2
dt = 0 lo cual prueba que I
+
tiene
medida 0. Como w es continua, se deduce que I
+
es vaco.
Observaci on
Vale la pena notar que la primera demostracion no comprende en
realidad el caso = 0, aunque se la puede adaptar convenientemente.
Sin embargo, esto no vale para otras condiciones de contorno como
Neumann o periodicas, pues w puede ser constante. Tampoco vale si
se supone que la desigualdad w
w 0 vale unicamente en casi

todo punto: por ejemplo, si w(t) = t
2
+t4
_
t
0
C(s) ds, en donde C es
apunteimpa5New
2009/11/19
page 43
i
i
i
i
i
i
i
i
[SEC. 4.1: INTRODUCCI
ON: UN CASO PARTICULAR 43

la funcion de Cantor, entonces w(0) = w(1) = 0 y w
= 2 en casi todo
punto. Esto implica que w
u en [0, 1] para > 0 sucientemente

peque no, y sin embargo w
(0) = 1, de modo que w , 0.

Volviendo al problema, a partir de la desigualdad (4.1) el principio
del maximo nos permite concluir que u 0, y de un modo analogo
se prueba tambien que u 0.
Ejemplo
A modo de ejemplo, consideremos el siguiente problema con p
continua:
_
u
u
3
= p(t)
u(0) = u
0
u(1) = u
1
En realidad, se trata de un caso particular de una situacion facil de
resolver mediante el teorema de Schauder, en la cual la no-linealidad
f(t, u) = u
3
es decreciente respecto de u. Este hecho, como veremos
mas adelante, garantiza la existencia y unicidad de soluciones.
Pero podemos ver ahora que la demostracion de existencia es aun
mas inmediata si se emplea el metodo de super y subsoluciones: en
efecto, alcanza con tomar M y M, con M una constante
positiva tal que M u
0
, u
1
M y ademas
M
3
p(t) M
3
para todo t.
Vale la pena destacar que si cambiamos el signo del termino no
lineal u
3
, la situacion es muy distinta: se trata de un caso particular
de un problema superlineal que -como vimos en el captulo 1- tiene
innitas soluciones.
4.1.1. Un metodo iterativo

Veremos ahora que en la situacion anterior, si se supone la
existencia de una subsolucion y una supersolucion del proble-
ma, con , y que f es de clase C
1
respecto de u, puede obtenerse
una solucion del problema entre y en forma iterativa. Como se
vera, los argumentos que permiten asegurar que la sucesion denida
converge a una solucion del problema son elementales, y no requieren
hacer uso del teorema de Schauder.
apunteimpa5New
2009/11/19
page 44
i
i
i
i
i
i
i
i
44 [CAP. 4: EL M

Fijemos como antes una constante 0 tal que
f
u
(t, u) para
todo t [0, 1] y todo u [(t), (t)], y consideremos:
U
0
(t) = (t),
U
n+1
la unica solucion del problema lineal
U
n+1
U
n+1
= f(t, U
n
) U
n
, U
n+1
(0) = u
0
, U
n+1
(1) = u
1
.
En otras palabras, U
n+1
= T(U
n
), donde T es el operador denido en
la seccion previa. Un hecho sorprendente es que puede probarse que
esta sucesion de aproximaciones sucesivas converge, a pesar de que
T no tiene por que ser una contraccion. Mas precisamente, vamos a
probar que
= U
0
U
1
U
2
. . . .
Esto dice que U
n
converge (puntualmente) a cierta funcion u, que
como veremos resulta ser solucion del problema.
El razonamiento es inductivo: dado que es subsolucion, alcanza
con probar que U
1
es una subsolucion que verica U
1
.
En primer lugar, veamos que U
1
: en efecto, a partir de la
denicion (y por ser una subsolucion) sabemos que
U
1
U
1
= f(t, )
.
Ademas, como U
1
en los extremos del intervalo por el principio
del maximo se deduce que U
1
en [0, 1]. Por otra parte, siendo
f(t, u) u decreciente en u, vale:
U
1
U
1
= f(t, ) f(t, U
1
) U
1
.
Luego, U
1
es subsolucion (recordemos que U
1
(0) = u
0
y U
1
(1) = u
1
).
Finalmente,
U
1
U
1
= f(t, ) f(t, ) ,
y nuevamente por el principio del maximo se concluye que U
1
.
Resulta entonces que U
n
es una sucesion de subsoluciones que
converge en forma creciente a cierta funcion u, con u . Por
el teorema de Dini, resulta que en realidad U
n
u uniformemente,
apunteimpa5New
2009/11/19
page 45
i
i
i
i
i
i
i
i
[SEC. 4.2: SUPER Y SUBSOLUCIONES - CASO GENERAL 45
y a partir de la denicion de U
n
se ve entonces que U
n
f(, u)
uniformemente. Mas aun, podemos escribir
U
n+1
(t) = u
0
+a
n+1
t+
_
t
0
_
s
0
(U
n+1
(r)U
n
(r))+f(r, U
n
(r)) dr ds
para cierta a
n+1
. Por la convergencia uniforme, el termino integral
converge a
_
t
0
_
s
0
f(r, u(r)) dr ds, y como el termino de la izquierda
tambien converge, se deduce que a
n
a para cierta constante a.
Luego
u(t) = u
0
+at +
_
t
0
_
s
0
f(r, u(r)) dr ds,
lo que prueba que u es de clase C
2
, y u
= f(t, u). La condicion de

borde se cumple, por el simple hecho de que U
n
(t) u(t) para todo
t.
Vale la pena observar que si se dene la misma recurrencia, pero
comenzando en U
0
= , se obtiene una sucesion decreciente de super-
soluciones que converge a una solucion. Sin embargo, esta solucion no
es necesariamente la misma que la obtenida al comenzar en .
En la proxima seccion veremos que la existencia de al menos una
solucion entre una sub y una supersolucion puede probarse si
se asume unicamente que f es continua.
4.2. Super y subsoluciones - Caso general
Como hemos visto, el teorema de Schauder permite obtener solu-
ciones de un problema de Dirichlet para la ecuacion de segundo orden,
bajo la hipotesis de que existen una sub y una supersolucion
del problema.
Sin embargo, el metodo empleado se basa en la posibilidad de
restar a la no linealidad f = f(t, u) un termino lineal u, para trans-
formarla, para cada t jo, en una funcion decreciente en u cuando
u [(t), (t)]. Esta propiedad vale en casos como el que vimos, con
f de clase C
1
respecto de u, o mas en general si f es localmente Lip-
schitz, pero no siempre. A continuacion veremos que puede probarse
un teorema de existencia pidiendo unicamente que f sea continua.
La idea consiste en denir un problema asociado al problema ori-
ginal, que se resuelve facilmente por medio del teorema de Schauder,
apunteimpa5New
2009/11/19
page 46
i
i
i
i
i
i
i
i
46 [CAP. 4: EL M

cuyas soluciones resultan en realidad soluciones del problema original
en el conjunto u C([0, 1]) : u . Esto nos dara tambien
una pauta sobre como plantear el problema en un caso todava mas
general, en el que f depende tambien de u
.
Dado que buscamos soluciones entre y , resulta conveniente
denir una funcion de truncamiento P : [0, 1] R R, de la
siguiente manera:
P(t, u) =
_
_
_
u si (t) u (t)
(t) si (t) > u
(t) si u > (t).
Entonces podemos jar una constante > 0 y resolvemos en primer
lugar el problema
u
u = f(t, P(t, u)) P(t, u) u(0) = u

0
, u(1) = u
1
. (4.2)
Como el termino de la derecha de la ecuacion es acotado, sabemos
por el ejercicio (3) del captulo 3 que (4.2) tiene al menos una solucion
u. Veremos que u , lo que garantiza que P(t, u(t)) = u(t), y
entonces u es solucion del problema original.
Supongamos por ejemplo que u , ; luego u alcanza un valor
maximo positivo en cierto t
0
. Por las condiciones de borde, debe ser
t
0
(0, 1). Ademas, P(t
0
, u(t
0
)) = (t
0
), y entonces
u
(t
0
) u(t
0
) = f(t
0
, (t
0
)) (t
0
)
(t
0
) (t
0
).
Luego (u )
(t
0
) > 0, lo que es absurdo. De la misma forma se
deduce que u .
4.2.1. Acotaciones para la derivada. Condici on de
Nagumo
En esta seccion aplicaremos el metodo de super y subsoluciones
para resolver un problema de Dirichlet mas general:
_
u
= f(t, u, u
)
u(0) = u
0
, u(1) = u
1
,
(4.3)
apunteimpa5New
2009/11/19
page 47
i
i
i
i
i
i
i
i
2
R es una funcion continua. Como antes,
supondremos que son funciones suaves que satisfacen
f(t, ,
),
f(t, ,
),
(0) u
0
(0), (1) u
1
(1).
La dicultad reside en el hecho de que ahora no es posible, como
en el caso anterior, trabajar en el espacio de funciones continuas: si
queremos denir un operador de punto jo apropiado -de un modo
similar al que ya vimos, jando una funcion v en el termino no lineal
dado por f- necesitamos un espacio funcional en el que los elemen-
tos sean funciones derivables. Un espacio posible es C
1
([0, 1]), en el
que la norma se dene como |u|
C
1 = max|u|
, |u
o alguna
equivalente. Pero para aplicar el teorema de Schauder en este espacio
debemos encontrar una region invariante que sea convexa, cerrada y
acotada para esta nueva norma. Esto requiere obtener estimaciones
para la derivada: mas precisamente, lo que haremos es encontrar una
solucion del problema en la region
C = u C
1
([0, 1]) : u , |u
R
para cierto R adecuado.
Si tomamos a la demostracion anterior como inspiracion, pode-
mos intentar buscar en primer lugar una solucion de un problema
truncado: dado > 0, planteamos
u
u = f(t, P(t, u), Q(u
)) P(t, u), u(0) = u

0
, u(1) = u
1
,
en donde P es como antes y
Q(v) =
_
_
_
v si [v[ R
R si v > R
R si v < R
para un cierto valor R > 0 a ser establecido mas adelante. Nueva-
mente, como el termino derecho de la ecuacion esta acotado, es facil
ver empleando el teorema de Schauder -ahora en el espacio C
1
([0, 1])-
que este problema tiene al menos una solucion u. Vamos a mostrar
que bajo ciertas hipotesis adicionales sobre f, puede asegurarse como
antes que en realidad u es solucion del problema original.
apunteimpa5New
2009/11/19
page 48
i
i
i
i
i
i
i
i
48 [CAP. 4: EL M

El comienzo es exactamente igual que en el caso anterior: si por
ejemplo la funcion u alcanza un valor maximo positivo en cierto
t
0
(0, 1), entonces P(t
0
, u(t
0
)) = (t
0
). Para aplicar la denicion de
supersolucion y terminar la cuenta igual que en el caso previo, hace
falta poder garantizar que Q((u
(t
0
)) =
(t
0
). Pero notemos que t
0
es punto crtico de u , de modo que u
(t
0
) =
(t
0
). Entonces
nuestra primera restriccion para R sera: R max|
, |
.
De este modo, podemos asegurar que Q en realidad no trunca al
valor u
(t
0
) =
(t
0
), y en consecuencia u .
Pero esto no es suciente: tambien necesitamos probar que resulta
|u
R. Para ello, impondremos a f una condicion que es una

ligera variante de otra, conocida en la literatura como condicion de
Nagumo [25].
Vamos a pedir que sobre el conjunto
E = (t, u, v) : t [0, 1], (t) u (t), [v[ R (4.4)
valga:
[f(t, u, v)[ ([v[), (4.5)
en donde es una funcion apropiada. Veamos que quiere decir apropi-
ada en este caso.
Nuestra intencion es probar que la solucion u del problema an-
terior verica que [u
(t)[ < R para todo t; si esto no ocurriera, y

tuvieramos por ejemplo que u
(t) R para alg un valor de t, entonces

resultara de utilidad saber que para cierta r 0 independendiente
de u se tiene que r < u
(t) < R para t entre ciertos valores t

0
< t
1
,
con u
(t
0
) = r y u
(t
1
) = R o viceversa,
Ahora bien, el unico valor que podemos asegurar que la funcion
u
efectivamente alcanza, es el que proporciona el teorema de valor

medio: u(1) u(0) = u
() para alg un . Entonces basta elegir r =

[u(1)u(0)[, e imponer una nueva condicion: que R sea estrictamente
mayor que r.
Para terminar de deducir la condicion de Nagumo, observemos
tambien que si s = u
(t) obtenemos:
_
R
r
ds
(s)
=
_
t
1
t
0
u
(t)
(u
(t))
dt
_
t
1
t
0
f(t, u, u
)
(u
(t))
dt
.
apunteimpa5New
2009/11/19
page 49
i
i
i
i
i
i
i
i
Ademas, como ya probamos que u , y para t (t
0
, t
1
) vale
r < u
(t) < R, entonces (t, u, u
) E y se cumple:
_
R
r
ds
(s)

_
t
1
t
0
(u
(t))
(u
(t))
dt = t
1
t
0
< 1.
Un razonamiento analogo se puede hacer en el caso u
(t) R; de
esta forma, hemos encontrado una condicion apropiada para f, que
se expresa en la siguiente proposicion:
Proposici on (Condicion de Nagumo):
Sean r = [u
1
u
0
[ y R > max|
, |
, r, y supongamos
que f cumple la condicion (4.5) sobre el conjunto E denido en (4.4)
para cierta tal que
_
R
r
ds
(s)
1.
Entonces toda solucion u del problema
u
= f(t, u, Q(u
)), u(0) = u
0
, u(1) = u
1
con u verica: |u
< R. En particular, u
= f(t, u, u
).
Corolario
Sean una sub y una supersolucion de (4.3), y supongamos
que f cumple las hipotesis de la proposicion anterior. Entonces (4.3)
tiene al menos una solucion u tal que u y |u
< R.
Ejemplo
Una situacion tpica en la que la condicion de Nagumo se verica,
es aquella en la que f es subcuadratica respecto de u
. En realidad,
basta pedir
[f(t, u, v)[ cv
2
+d para (t) u (t)
en donde c es una constante sucientemente peque na. En efecto, se
tiene que
_
+
r
dv
cv
2
+d
=
1
dc
_
2
arctan
_
r
_
c
d
__
> 1
apunteimpa5New
2009/11/19
page 50
i
i
i
i
i
i
i
i
50 [CAP. 4: EL M

si c 1, y la condicion se cumple tomando R sucientemente grande.
Vale la pena mencionar que la condicion de que c sea peque no puede
evitarse, si se efect ua una acotacion algo mas precisa (ver ejercicio 8,
seccion 4.4).
Observaci on
En [26], el autor observa que la presencia de un par de super y
subsoluciones ordenadas no es suciente para garantizar la existencia
de una solucion para el problema de Dirichlet. El siguiente ejemplo
proviene de un comentario mas general, debido a Habets y Pouso [11].
Consideremos el problema
_
u
(t)
_
1 +u
(t)
2
_
= u(t) + 2
con condicion de Dirichlet
u(0) = u(T) = 0.
Es claro que = 3 y = 3 son, respectivamente, una sub y una
super solucion del problema. Sin embargo, para T >
2 no existen
soluciones. En efecto, es facil vericar que una solucion del problema
debe tener energa E constante, donde
E =
1
_
1 +u
(t)
2
+
(u(t) + 2)
2
2
.
Por la condicion de Dirichlet, en este caso resulta E > 2. Por otro
lado, veamos que la solucion no puede estar denida en un intervalo
de longitud mayor que
2. En efecto, como E es mayor que 1, resulta

que u ,= 2 a lo largo del intervalo, y luego u > 2. Sea t
0
el mnimo
absoluto de u; entonces para t > t
0
vale (llamando s = u(t)):
t t
0
=
_
t
t
0
dt =
_
u(t)
u(t
0
)
E (s + 2)
2
/2
_
1 (E (s + 2)
2
/2)
2
ds.
Tomando w = w(s) = E (s + 2)
2
/2, resulta 0 < w 1, y
(s + 2)
2
= 2(E w) 2. Luego
t t
0
=
_
w(u(t
0
))
w(u(t))
w
_
2(E w)
1 w
2
dw
1
2
_
1
0
w
1 w
2
dw.
apunteimpa5New
2009/11/19
page 51
i
i
i
i
i
i
i
i
Este ultimo termino vale
1
2
; de la misma forma, para t < t
0
se
obtiene t
0
t
1
2
. En consecuencia, si T >
2
2
=
2, entonces no
hay soluciones.
Claramente, lo que falla en este ejemplo es que la condicion de
Nagumo no se cumple. Notemos, en efecto, que la ecuacion equivale
a
u
(t) = (u(t) + 2)
_
1 +u
(t)
2
_
3/2
,
de donde se ve que la no-linealidad es c ubica en u
.
El operador
_
u
(t)
1+u
(t)
2
_
es bien conocido en la literatura: se

trata del operador de curvatura media, que proviene de la ecuacion
general para una hipersupercie dada por el graco de una funcion
u : R
n
R con curvatura media H:
div
_
u
1 +u
2
_
= nH.
4.2.2. Otras condiciones de contorno. Un ejemplo
clasico
En esta seccion presentaremos una aplicacion del metodo de super
y subsoluciones a un problema periodico. Es facil comprobar (ver
ejercicio 2, seccion 4.4) que el metodo funciona igual que para el pro-
blema de Dirichlet, empleando como antes funciones de truncamiento,
o haciendo uso del siguiente principio del maximo asociado a estas
nuevas condiciones (la demostracion queda como ejercicio):
apunteimpa5New
2009/11/19
page 52
i
i
i
i
i
i
i
i
52 [CAP. 4: EL M

Proposici on
Sean > 0 y u una funcion periodica que satisface u
u 0
en [0, T]. Entonces u 0 en [0, T]
1
.
Como hemos mencionado, el resultado no vale si = 0 pues, entre
otras cosas, el principio del maximo implica unicidad: si un operador
L cumple el principio del maximo, el problema lineal Lu = tiene a
lo sumo una solucion.
Vamos a aplicar el metodo de super y subsoluciones para de-
mostrar un teorema de existencia de soluciones T-periodicas de la
ecuacion del pendulo forzado con rozamiento:
u
+au
+ senu = p(t) (4.6)

Por simplicidad, vamos a suponer que p es una funcion continua,
aunque el resultado vale mas en general. Por ejemplo, si p es un
elemento de L
2
(0, T), entonces se obtienen soluciones en el espacio
de Sobolev H
2
(0, T) mencionado en el captulo (2).
Un resultado conocido, que se demuestra por medio de argumentos
variacionales, dice que si a = 0 entonces el problema tiene solucion
cuando p = 0, donde p denota el promedio de p:
p :=
1
T
_
T
0
p(t) dt.
Por otra parte, es facil ver que si p es grande, el problema no tiene
solucion: integrando la ecuacion, si u es una solucion T-periodica
resulta:
_
T
0
senu(t) dt =
_
T
0
p(t) dt,
de donde se concluye que [p[ 1.
Estas observaciones motivan a escribir al termino forzante p en la
forma p = p
0
+c, en donde p
0
= 0 y la constante c es el promedio de
p; de este modo, el problema que estudiaremos es:
u
+au
+ senu = p
0
(t) +c. (4.7)
1
En realidad, el resultado tambien vale si en vez de suponer que u es periodica
se pide unicamente que u(0) = u(T), u
(0) u
(T)
apunteimpa5New
2009/11/19
page 53
i
i
i
i
i
i
i
i
Empleando el teorema de Schauder y el metodo de super y sub-
soluciones probaremos el siguiente teorema:
Teorema [9]
Sea p
0
una funcion continua tal que p
0
= 0. Entonces existen
n umeros d(p
0
) y D(p
0
), con 1 d(p
0
) D(p
0
) 1, tales que (4.7)
tiene al menos una solucion T-periodica si y solo si c [d(p
0
), D(p
0
)].
Observaci on
Este resultado generaliza un resultado probado en [4] por meto-
dos variacionales para a = 0. De acuerdo con lo mencionado anterior-
mente, en este caso puede probarse que existen soluciones para c = 0,
es decir: d(p
0
) 0 D(p
0
). Para el problema con friccion (a ,= 0)
el teorema asegura, en primer lugar, que el conjunto de valores de c
para los cuales hay solucion es no vaco. Para ciertos casos, esto ya
lo vimos en el ejercicio (5c) del captulo previo; sin embargo, aun si
a = 0, hasta el momento no se sabe si existe o no alguna funcion
p
0
para la cual d(p
0
) = D(p
0
). Cuando esto ocurre, se dice que el
problema es singular: se demostro que el conjunto de funciones para
las que vale d(p
0
) < D(p
0
) es abierto y denso en L
2
(0, T), pero el
problema general permanece irresuelto.
En el ejercicio (5d) del captulo previo se ve tambien que, en cier-
tos casos particulares, si el problema es singular entonces las solu-
ciones periodicas forman un continuo; esto ha sido probado en forma
mas general por Ortega y Tarallo. Mas concretamente, en [30] se de-
muestra (para a = 0) que los siguientes enunciados son equivalentes:
(i) d(p
0
) = D(p
0
).
(ii) Para todo r R existe una unica solucion T-periodica u
r
para
p = p
0
tal que u
r
(0) = r.
(iii) Existe una curva continua r u
r
tal que
lm
r
u
r
(t) =
uniformemente en t.
Aunque el problema general es difcil, es posible dar algunas condi-
ciones concretas sobre p
0
que garantizan que el intervalo de valores
apunteimpa5New
2009/11/19
page 54
i
i
i
i
i
i
i
i
54 [CAP. 4: EL M

para los cuales hay solucion no se reduce a un punto. Por ejemplo, si
|p
0
|
< 1 esto es evidente: en efecto, en tal caso |p

0
+c|
1 para
c en alg un entorno del 0, y tomando =

2
, =
3
2
resulta:
+a
+ sen = 1 p
0
+c,
+a
+ sen = 1 p
0
+c.
Luego, el metodo de super y subsoluciones asegura que el problema
tiene al menos una solucion entre

2
y
3
2
. Otro ejemplo de condiciones
concretas para que el problema sea no singular se ve mas adelante,
en el ejercicio 7, seccion 4.4.
Demostracion del Teorema:
Sea I(p
0
) := c R : (4.7) tiene alguna solucion T-periodica.
Por el metodo de super y subsoluciones, se ve en primer lugar que
I(p
0
) es un intervalo: si c
1
, c
2
I(p
0
) son tales que c
1
< c
2
, tomamos
u
1
y u
2
soluciones respectivas para c
1
y c
2
. Entonces para c [c
1
, c
2
]
se tiene que
u
1
+au
1
+ senu
1
p
0
+c u
2
+au
2
+ senu
2
.
En consecuencia, u
1
y u
2
son respectivamente una super y una sub-
solucion del problema. El inconveniente es que nada permite asegurar
que u
1
y u
2
esten ordenadas; sin embargo, por la periodicidad del
problema es claro que podemos reemplazar a u
1
por u
1
+ 2k, en
donde k Z es sucientemente grande, de modo que valga u
1
u
2
(esto es posible porque u
1
y u
2
son continuas).
Empleando el teorema de Schauder, veremos ahora que I(p
0
) es
no vaco y compacto. Para ello, observemos nuevamente que si u
es una solucion T-periodica de (4.7), entonces c tiene que ser igual
al promedio de la funcion senu(t). Esto nos motiva a considerar el
siguiente problema integro-diferencial:
u
+au
+ senu = p
0
(t) +c(u),
u(0) = u(T) = r
(4.8)
en donde c(u) =
1
T
_
T
0
senu(t) dt. Como la parte no lineal de este
problema es acotada, una aplicacion del teorema de Schauder analoga
a la empleada para el problema (3.2) con f sublineal, nos dice que
apunteimpa5New
2009/11/19
page 55
i
i
i
i
i
i
i
i
para todo r R existe al menos una solucion u de (4.8). Integrando,
se ve que u satisface:
_
T
0
(u
+au
+ senu) dt =
_
T
0
c(u) dt.
Por denicion de c(u) y por ser u(T) = u(0), se deduce que
u
(T) u
(0) =
_
T
0
u
(t) dt = 0;
vale decir: u es T-periodica.
Luego, podemos pensar directamente:
I(p
0
) = c(u) : u es solucion de (4.8) para alg un r,
de donde se prueba que I(p
0
) es no vaco
2
. Mas aun, si u es solucion
de (4.8) para alg un r, entonces u +2 es solucion para r +2, y vale
c(u) = c(u + 2). De esta forma,
I(p
0
) = c(u) : u es solucion de (4.8) para alg un r [0, 2].
Para ver la compacidad, supongamos que u
n
es solucion de (4.8) para
alg un r
n
[0, 2]. Por medio de estimaciones a priori similares las
que ya vimos (cf. con el ejercicio (2a) del captulo previo), existe una
constante C tal que
|u
n
r
n
|
C|u
n
+au
n
|
L
2,
|u
n
|
C|u
n
+au
n
|
L
2.
Pero la sucesion u
n
+au
n
esta claramente acotada; en consecuen-
cia, el teorema de Arzela-Ascoli dice que existe una subsucesion u
n
j
que converge uniformemente a cierta funcion u. Es claro, ademas, que

c(u
n
j
) c(u). Por otra parte, tambien la sucesion u
n
j
esta aco-
tada para la norma innito, y nuevamente el teorema de Arzela-
Ascoli nos dice que existe una subsucesion u
n
j
k
tal que u
n
j
k
con-
verge uniformemente a cierta funcion continua v. Escribiendo u
n
(t) =
2
En particular, si I(p
0
) = {c
0
} para cierto c
0
, se obtiene un continuo de
soluciones periodicas para p = p
0
+c
0
.
apunteimpa5New
2009/11/19
page 56
i
i
i
i
i
i
i
i
56 [CAP. 4: EL M

u
n
(0)+
_
t
0
u
n
(s) ds y tomando lmite sobre la subsucesion, vemos que
u(t) = u(0) +
_
t
0
v(s) ds, de donde se deduce que u es de clase C
1
y
u
= v. Finalmente, a partir de la ecuacion

u
n
+au
n
+ senu
n
= p
0
+c(u
n
)
se ve que u
n
j
k
converge uniformemente a cierta funcion continua w.
Escribiendo ahora u
n
(t) = u
n
(0) +
_
t
0
u
n
(s) ds deducimos que u es de
clase C
2
y resulta solucion del problema (4.8). Esto prueba que I(p
0
)
es compacto.
4.2.3. Peque na digresi on: principio del antimaxi-
mo
Como vimos, uno de los principales argumentos en el metodo de
super y subsoluciones consiste en la aplicacion del principio del maxi-
mo, del que vimos dos demostraciones diferentes. Pero vale la pena
pensarlo tambien en terminos de la funcion de Green denida en el
apendice: si u
u = , entonces:
u(t) = [u(1) u(0)]t +u(0) +
_
1
0
G(t, s)(s) ds.
De esta manera, es facil comprobar que el principio del maximo es
consecuencia inmediata del hecho (cuya demostracion queda como
ejercicio) de que la funcion de Green es negativa: de esta forma, si
0 y u(0), u(1) 0 entonces u(t) 0 para t [0, 1].
Esto da lugar a una observacion interesante, que vale por ejemplo
para el problema periodico. En primer lugar, notemos que el problema
u
+ u = 0 tiene soluciones T-periodicas no triviales unicamente

cuando =
_
2k
T
_
2
para cierto k N
0
. Entonces es facil ver que para
0 < <
_
2
T
_
2
el problema u
+ u = (t) tiene para toda una

unica solucion T-periodica, que se puede expresar en la forma
u(t) =
_
T
0
G
(t, s)(s)ds,
apunteimpa5New
2009/11/19
page 57
i
i
i
i
i
i
i
i
en donde G
es la funcion de Green dada por

G
(t, s) =
_
_
_
1
2
_
cos[
(t s)] + sen[
(t s)]
_
si t s
1
2
_
cos[
(t s)] sen[
(t s)]
_
si t < s,
(4.9)
con
=
sen(
T)
1 cos(
T)
.
Un simple calculo muestra que si ademas <
_

2T
_
2
, vale G
0; en
consecuencia, se obtiene el siguiente resultado, conocido como prin-
cipio del anti-maximo para el problema periodico de segundo orden:
Principio del anti-maximo. Si u es T-periodica y satisface u
+
u 0 para 0 < <
_

2T
_
2
, entonces u 0.
Entre otras cosas, este principio nos dice que en ciertos casos
es posible obtener obtener soluciones de un problema periodico en
presencia de una supersolucion y una subsolucion periodicas,
pero en orden inverso, es decir: . La condicion que pediremos
para f es evidente, si tenemos en cuenta el rango de valores para los
que se cumple el principio del anti-maximo:
Proposici on
Sea f : [0, T] R R continua, y sean funciones T-
periodicas tales que y son respectivamente una subsolucion y una
supersolucion del problema u
= f(t, u). Si para cada t [0, T] la

funcion u f(t, u) +u es creciente para (t) u (t), en donde
satisface 0 < <
_

2T
_
2
, entonces existe al menos una solucion
T-periodica u del problema con u .
La demostracion es inmediata: alcanza con denir el operador de
punto jo dado por Tv = u, con u la unica solucion T-periodica del
problema u
+u = f(t, v) +v. Por la hipotesis, usando el principio

del anti-maximo se ve que si v entonces u y el
resultado se deduce del teorema de Schauder.
Tambien puede efectuarse la demostracion deniendo el metodo
iterativo que vimos en 4.1.1. Notar que si f es de clase C
1
respecto de
apunteimpa5New
2009/11/19
page 58
i
i
i
i
i
i
i
i
58 [CAP. 4: EL M

u, entonces la condicion de la proposicion anterior equivale a pedir:
mn
K
f
u
>
_

2T
_
2
, en donde
K = (t, u) : 0 t T, (t) u (t).
A modo de ejemplo, podemos volver a considerar la ecuacion del
pendulo forzado
u
+au
+ senu = p(t).
Como vimos, si 1 p 1, entonces el metodo de super y subsolu-
ciones permite encontrar facilmente una solucion T-periodica entre
=

2
y =
3
2
. Pero este nuevo resultado permite ver que si
T es peque no entonces existe una segunda solucion entre =
2
y =

2
. En efecto, por ejemplo para el caso a = 0 basta pedir
cos u >
_

2T
_
2
para
2
u

2
, lo que obviamente equivale a
decir: T <

2
.
En general, la existencia de una segunda solucion ha sido probada
por ejemplo en [23]. Para el caso no variacional, en [9] se ha demostra-
do que si c pertenece al interior del intervalo [d(p
0
), D(p
0
)] entonces
el problema tiene al menos dos soluciones para p = p
0
+ c. Lo que
mostramos con este ejemplo es que en esta situacion especca en
que 1 p 1 y T es peque no, el resultado se puede probar por
metodos elementales.
3
En rigor, la segunda solucion para p y T cualesquiera se puede
obtener empleando un metodo mas general de super y subsoluciones,
en el que y no estan necesariamente ordenadas (ver por ejemplo
[6]). Vale la pena se nalar que este metodo requiere indefectiblemente
alguna condicion en los terminos de la ecuacion: por ejemplo, si con-
sideramos el problema
u
+ 4u = sen(2t) u(0) = u() = 0,

entonces multiplicando ambos terminos por sen(2t) se ve que no hay
soluciones, a pesar de que = sen(t) y = sen(t) son respectiva-
mente una sub y una supersolucion, en este caso en orden inverso:
.
3
Cabe aclarar que el problema tiene en realidad innitas soluciones, pues si
u es solucion entonces u + 2 tambien. Por eso, cuando decimos que existen dos
soluciones distintas nos referimos a soluciones que no dieren en un m ultiplo de
2.
apunteimpa5New
2009/11/19
page 59
i
i
i
i
i
i
i
i
[SEC. 4.3: INTERVALOS NO ACOTADOS - M
ETODO DIAGONAL 59
4.3. Intervalos no acotados - Metodo di-
agonal
Consideremos ahora el problema
_
u
= f(t, u) t (0, +)
u(0) = u
0
, u() = u
,
(4.10)
donde
u() = lm
t+
u(t).
y supongamos que , C
2
([0, +)) son respectivamente una sub
y una supersolucion del problema, lo que en este caso signica:
f(t, ),
f(t, ),
(0) u
0
(0), () = () = u
.
Vamos a introducir un argumento diagonal, que demostrara la
existencia de una solucion de (4.10).
Teorema
Sean y como antes, y supongamos que . Entonces el
problema (4.10) tiene al menos una solucion u tal que u .
Demostraci on. Para cada N N, consideremos el siguiente problema
de Dirichlet en el intervalo acotado [0, N]:
_
u
= f(t, u) t (0, N)
u(0) = u
0
, u(N) =
(N)+(N)
2
.
(4.11)
Por los resultados que ya vimos para un intervalo acotado, existe al
menos una solucion u
N
de (4.11) tal que [
[0,N]
u
N
[
[0,N]
. Para
M jo y N M, denimos
N
(t) =
u
N
(M) u
0
M
t +u
0
.
Entonces
_
_
(u
N

N
)
_
_
L
(0,M)
c
apunteimpa5New
2009/11/19
page 60
i
i
i
i
i
i
i
i
60 [CAP. 4: EL M

para cierta constante c que depende solamente de M (pues u
N
esta en-
tre y ). Luego, |u
N

N
|
C
2
([0,M])
esta acotada por cierta con-
stante c
M
independiente de N.
Por el teorema de Arzela-Ascoli, es facil comprobar que existe una
subsucesion de u
N
NM
que converge en [0, M], para la norma C
1
.
Vamos a proceder de la siguiente manera: tomemos M = 1 y elijamos
una subsucesion, a la que volveremos a llamar u
N
, que converge
en C
1
([0, 1]) a cierta funcion u
1
. Repitiendo el procedimiento para
M = 2, 3, . . ., podemos suponer que u
N
[
[0,M]
converge a cierta funcion
u
M
en el sentido de la norma C
1
.
A partir de la construccion, se ve que u
M+1
[
[0,M]
= u
M
; de
este modo, la funcion u : [0, +) R dada por u(t) = u
M
(t) si
0 t M esta bien denida. Ademas, u(0) = u
0
, y u
N
converge
uniformemente en [0, M] a f(t, u). Entonces para t M N pode-
mos escribir
u
N
(t) = u
0
+u
N
(0)t +
_
t
0
_
s
0
u
N
(r) drds,
y tomando lmite obtenemos
u(t) = u
0
+u
(0)t +
_
t
0
_
s
0
f(r, u) drds.
De esta forma, u es una solucion de la ecuacion en [0, +), y clara-
mente cumple las condiciones de contorno.
4.4. Ejercicios
1. Probar que el problema
_
u
= u
4
+ cos(t) 1
u(0) = u(2)
tiene al menos una solucion u tal que sent u(t) sent + 2
para todo t [0, 2].
2. Desarrollar el metodo de super y subsoluciones para la ecuacion
u
= f(t, u) con f continua, bajo condiciones

apunteimpa5New
2009/11/19
page 61
i
i
i
i
i
i
i
i
a) Periodicas: u(0) u(T) = u
(0) u
(T) = 0.
b) De Neumann: u
(0) = u
0
, u
(T) = u
T
.
c) De Sturm-Liouville:
a
0
u(0) +b
0
u
(0) = c
0
, a
T
u(T) +b
T
u
(T) = c
T
.
Que condiciones deben cumplir a
0
, a
T
, b
0
y b
T
?
d) Algunas condiciones no lineales, por ejemplo:
u
(0) = g
0
(u(0)) u
(T) = g
T
(u(T)),
con g
0
, g
T
: R R funciones continuas.
u
= p(t) +u
5
+g(t, u
)
con p : [0, T] R y g : [0, T] R R continuas y g acotada
tiene al menos una solucion T-periodica.
4. Desarrollar un metodo iterativo analogo al de la seccion 4.1.1
para otras condiciones de contorno. Puede decirse algo acerca
del orden de convergencia?
5. Probar que la ecuacion del pendulo forzado admite soluciones
T periodicas para |p|
1.
6. a) Sea g : R R continua y periodica con perodo T
g
, y sean
u
1
y u
2
funciones T-periodicas tales que
u
i
+au
i
+g(u
i
) = p(t) +c
i
,
con c
1
0 c
2
. Probar que el problema
u
+au
+g(u) = p(t)
tiene al menos una solucion T-periodica. Vale el resultado
si p L
2
(0, T)?
apunteimpa5New
2009/11/19
page 62
i
i
i
i
i
i
i
i
62 [CAP. 4: EL M

b) Sea p L
2
(0, T), y sea I
g
(p) el conjunto de todos los
valores c R tales que el problema
u
+au
+g(u) = p(t) +c
tiene al menos una solucion T-periodica. Deducir de (a)
que I
g
(p) es un intervalo acotado. Es cerrado? Es no
vaco?
7. En la situacion del Teorema de la seccion 4.2.2, escribir u =
v +P
0
, en donde P
0
es la unica solucion del problema
P
0
+aP
0
= p
0
, P
0
(0) = P
0
(T), P
0
= 0.
Como p
0
= 0 vale: P
0
(0) = P
0
(T).
a) Probar que
[c(v +P
0
) c(v +P
0
)[ T
1/2
|v v|
L
2.
b) Usando que |v v|
L
2
T
2
|v
|
L
2 y que v(T) = v(0),
vericar que
|v
|
L
2
T
2
|v
+av
|
L
2.
En consecuencia:
[c(v +P
0
) c(v +P
0
)[ 2
_
T
2
_
2
:= M
c) Siendo d(p
0
) el mnimo valor de c(u) sobre el conjunto X
de soluciones de (4.8) para alg un r, deducir que
d(p
0
) = mn
uX
c(u) = mn
v+P
0
X
c(v+P
0
) inf
v+P
0
X
c(v+P
0
)+M.
d) Como (4.8) tiene soluciones con promedio arbitrario, con-
cluir que
d(p
0
) inf
rR
c(r +P
0
) +M = M M(P
0
),
apunteimpa5New
2009/11/19
page 63
i
i
i
i
i
i
i
i
donde
M(P
0
) =
1
T
__
_
T
0
cos P
0
(t) dt
_
2
+
_
_
T
0
senP
0
(t) dt
_
2
_
1/2
.
De modo analogo, ver que D(p
0
) M(P
0
) M.
e) Obtener en forma explcita una condicion suciente para
que valga d(p
0
) < 0 < D(p
0
).
8. Consideremos la ecuacion u
= f(t, u, u
), con f : [0, T] R
2
R continua tal que

[f(t, u, v)[ c(u)(1 +v
2
)
para cierta funcion c : R R
+
continua. Probar que para todo
k > 0 existe R = R(k) tal que si u es una solucion tal que
[u(t)[ k en [0, T] entonces [u
(t)[ R. Deducir un resultado

de existencia analogo al de la seccion 4.2.1.
Sugerencia: si u
,= 0 en (t
0
, t
1
) y por ejemplo u
(t
0
) = 0, escribir
a t como funcion de u y denir u
0
= u(t
0
), p(u) = u
(t) y q = p
2
.
Entonces
dq
dy
2c(1 +q(u)), q(u
0
) = 0,
de donde se deduce una cota para q. Analizar por separado el
caso en que u
no se anula en [0, T], empleando el teorema de

Lagrange.
Deducir un resultado de existencia de soluciones para el proble-
ma de Dirichlet.
9. Probar que la ecuacion
u
(t) +u
(t)
2
= 1
con condicion de Dirichlet u(0) = u(T) = 0 no tiene solucion
para T . Contradice esto el ejercicio anterior?
apunteimpa5New
2009/11/19
page 64
i
i
i
i
i
i
i
i
64 [CAP. 4: EL M

4.4.1. Metodo diagonal
_
_
_
u
= u
3
+u
u(0) = u
0
,
lm
t+
u(t) = 0
tiene al menos una solucion. Puede haber mas de una?
2. Sea f : [0, +) R R continua tal que f(t, u)sgn(u)
0 para [u[ 0. Supongamos ademas que para todo M > 0
existe
M
L
1
(0, +) tal que [f(t, u)[
M
(t) para [u[ M.
_
_
_
u
= f(t, u)
u
(0) = u
0
,
lm
t+
u
(t) = 0
tiene al menos una solucion.
3. Generalizar el metodo diagonal para f = f(t, u, u
).
4. Generalizar el metodo de super y subsoluciones y el metodo
diagonal para un sistema de ecuaciones de segundo orden.
5. a) Sean c > 0 y : [0, +) R continua tal que (t) 0
exponencialmente para t +, es decir: [(t)[ Me
rt
para ciertas constantes M, r > 0. Probar que el problema
lineal
_
u
cu = (t)
u(0) = u
0
, u(+) = 0.
tiene solucion unica para todo u
0
R.
b) Consideremos f : [0, +) R R una funcion continua
y sean , : [0, +) R tales que ,
f(t, ),
f(t, ), (+) = (+) = 0. Supongamos ademas

que para cierto c > 0 se cumple que f(t, ) c 0 y
f(t, ) c 0 exponencialmente para t +, y que
para cada t la funcion u f(t, u) cu es decreciente en
apunteimpa5New
2009/11/19
page 65
i
i
i
i
i
i
i
i
el conjunto u : (t) u (t). Denimos u
1
= , e
inductivamente u
n+1
u
n+1
cu
n+1
= f(t, u
n
) cu
n
,
u
n+1
(0) = u
0
, u
n+1
(+) = 0
para cierto valor u
0
[(0), (0)]. Probar que u
n
converge
a una solucion del problema
_
u
= f(t, u)
u(0) = u
0
, u(+) = 0.
apunteimpa5New
2009/11/19
page 66
i
i
i
i
i
i
i
i
Captulo 5
El teorema de
Leray-Schauder: un caso
particular
En este captulo veremos una extension del teorema de Schauder
que tiene importantes aplicaciones a los problemas no lineales.
Comencemos por un ejemplo, a partir del problema (3.2) que ya
hemos estudiado, pero ahora supondremos que para todo t la fun-
cion f es continua y creciente en u. Como vimos, en este caso la
existencia de soluciones se puede probar de un modo sencillo si se
asumen hipotesis mas fuertes: por ejemplo, en el ejercicio (3) de la
seccion 1.4.1 se propone demostrar la existencia (y unicidad) de solu-
ciones suponiendo que f es globalmente Lipschitz. Vamos a ver que
en realidad esta hipotesis no hace falta: en alg un sentido, probaremos
un resultado del tipo unicidad implica existencia. Esto no pasa de
ser un comentario informal, aunque vagamente podra pensarse como
una version no lineal de la alternativa de Fredholm. O bien, en un
contexto mas elemental, del resultado que dice: si T : R
n
R
n
es
lineal e inyectiva, entonces es suryectiva.
Veamos entonces, en primer lugar, la unicidad. Si u y v son dos
66
apunteimpa5New
2009/11/19
page 67
i
i
i
i
i
i
i
i
Captulo 5: El teorema de Leray-Schauder 67
soluciones del problema, como f es creciente vale:
(u v)
(u v) = [f(t, u) f(t, v)](u v) 0

Ademas, u v se anula en los extremos, y al integrar por partes se
obtiene:
0
_
1
0
(u v)
(u v) dt =
_
1
0
[(u v)
]
2
dt.
Luego u v es constante, y por la condicion de borde resulta u = v.
Daremos ahora dos ideas diferentes para resolver el problema;
cada una de ellas nos va a dar nuevas herramientas topologicas que
pueden ser de utilidad para otros casos.
1) Un argumento de continuacion:
La idea consiste en agregar un parametro [0, 1] a la ecuacion,
_
u
= f(t, u)
u(0) = u
0
, u(1) = u
1
y empleando el hecho de que sabemos resolver el problema para = 0,
tratar de llegar de alguna manera al caso que nos interesa, con = 1.
Como veremos, esto es apenas el ejemplo mas elemental de una
homotopa, pero puede generalizarse para diversas situaciones.
En este problema particular, es suciente con emplear el simple
hecho de que el intervalo [0, 1] es conexo, y probar:
1. Si hay solucion para < 1, entonces hay solucion para + ,
con sucientemente peque no.
2. Si hay solucion para , con sucientemente peque no, en-
tonces hay solucion para .
Si logramos probar estas dos armaciones, entonces el conjunto
de valores de [0, 1] para los que hay solucion es abierto y cerrado,
y ademas no vaco pues contiene al 0, de donde resulta que es todo
el intervalo [0, 1].
Mas precisamente, se puede probar el siguiente resultado, que que-
da como ejercicio: Si para < 1 y para toda continua el problema
_
u
= f(t, u) +(t)
u(0) = u
0
, u(1) = u
1
apunteimpa5New
2009/11/19
page 68
i
i
i
i
i
i
i
i
68 [CAP. 5: EL TEOREMA DE LERAY-SCHAUDER: UN CASO PARTICULAR
tiene solucion, entonces para [[ peque no el problema
_
u
= ( +)f(t, u) +(t)
u(0) = u
0
, u(1) = u
1
tiene solucion para toda continua. Esto se obtiene por medio del
teorema de Schauder, deniendo para cada v jo u = Tv como la
solucion ( unica, por ser f creciente) del problema
u
= f(t, u) +f(t, v) +(t), u(0) = u

0
, u(1) = u
1
.
Puede probarse que T es compacto, y si es peque no entonces hay
un conjunto invariante apropiado.
2) Acotaciones a priori: como hemos visto, para poder aplicar
el teorema de Schauder no solo hace falta denir un operador com-
pacto T en cierto espacio apropiado, sino tambien encontrar un con-
junto (convexo, cerrado y acotado) que sea invariante por T.
Esto no siempre es facil, aunque en muchos casos resulta de gran
ayuda encontrar estimaciones a priori para las soluciones. Ello sig-
nica que, en muchos casos, antes de saber si existe alguna solucion
es posible encontrar una cota superior para su norma. Veamos como
esto puede hacerse en nuestro ejemplo. Si u es una solucion de (3.2),
entonces llamando u
l
a la recta que une los puntos (0, u
0
) y (1, u
1
),
por ser f creciente en u se tiene:
(u u
l
)
(u u
l
) = (f(t, u) f(t, u
l
))(u u
l
) +f(t, u
l
)(u u
l
)
f(t, u
l
)(u u
l
).
Integrando ambos miembros obtenemos:
|(u u
l
)
|
2
L
2
_
1
0
f(t, u
l
)(u u
l
) dt |u u
l
|
L
2|f(, u
l
)|
L
2.
Luego, por la desigualdad de Poincare (ver apendice, seccion 10.4)
dada por |u u
l
|
L
2
1
|u
l
|
L
2, se concluye que
|u
l
|
L
2
1
|f(, u
l
)|
L
2,
apunteimpa5New
2009/11/19
page 69
i
i
i
i
i
i
i
i
[SEC. 5.1: EL TEOREMA DE LERAY-SCHAUDER 69
y en denitiva
|u|
|u
l
|
+
1
|f(, u
l
)|
L
2 := R.
Notemos que R solo depende de los datos del problema; esto dice que
si vamos a trabajar en el espacio C([0, 1]), entonces no tiene sentido
buscar soluciones fuera de la bola de radio R.
A continuacion veremos como, renando un poco el argumento
de punto jo, se puede obtener una ventaja de esto para encontrar
soluciones del problema.
5.1. El teorema de Leray-Schauder
En la seccion previa hemos mostrado una forma de resolver el
problema (3.2) por medio de un argumento de continuacion. Ademas,
vimos que las posibles soluciones de (3.2) estan acotadas a priori:
existe un R > 0 tal que si u es solucion de (3.2) entonces |u|
R.
Esto dice que todos los posibles puntos jos del operador compacto
T : C([0, 1]) C([0, 1]) dado como en los captulos previos por
Tv = u, con u la unica solucion del problema lineal
u
= f(t, v) u(0) = u
0
, u(1) = u
1
se encuentran en la bola de radio R. Sin embargo, no vale en general
que T(B
R
(0)) B
R
(0), de modo que el teorema de Schauder no se
puede aplicar directamente.
Vamos a esbozar un argumento intuitivo, que nos va a dar una
manera de resolver el problema; mas aun, nos permitira formular una
extension del teorema de Schauder.
La idea es la siguiente: como sabemos que las soluciones se encuen-
tran en la bola de radio R, podemos denir otro operador compacto
T
de la siguiente forma:
T
u =
_
Tu si |Tu|
R
R
Tu
Tu si |Tu|
> R.
Por denicion, la imagen de T
esta contenida B
R
(0); en partic-
ular, esto implica que T
tiene un all punto jo u. Veremos que es

apunteimpa5New
2009/11/19
page 70
i
i
i
i
i
i
i
i
posible elegir el valor de R con un poco mas de cuidado, de modo tal
que se pueda asegurar que |Tu|
R: en otras palabras, que u es

en realidad punto jo de T.
Para lograr esto, veamos en primer lugar que ocurre si se tiene un
punto jo u B
R
(0) del operador T
que no es punto jo de T: en
tal caso, debe ser |Tu|
> R, y
u = T
u =
R
|Tu|
Tu.
En otras palabras, resulta u = Tu para :=
R
Tu
(0, 1); de
esta forma, la existencia de un punto jo de T quedara garantizada
si logramos encontrar R de modo tal que todas las soluciones de la
ecuacion u = Tu con (0, 1] esten acotadas a priori por R.
En este ejemplo particular, esto puede hacerse practicamente del
mismo modo que en el caso = 1: la unica diferencia consiste en que
si u = Tu, entonces
u
= (Tu)
= f(t, u),
u(0) = Tu(0) = u
0
, u(1) = Tu(1) = u
1
.
Llamemos ahora u
l,
a la recta que une (0, u
0
) con (1, u
1
), se tiene
que
|u
l,
|
L
2

|f(, u
l,
)|
L
2,
y como f es continua vale
|u|
max[u
0
[, [u
1
[ +
1
sup
[0,1]
|f(, u
l,
)|
L
2 := R < .
Podemos observar que, mas alla de resolver el problema (3.2),
el procedimiento anterior aplicado para un operador T cualquiera
permite probar el siguiente teorema:
Teorema (Leray-Schauder, caso particular)
Sea E un espacio de Banach y T : E E un operador compacto.
Si existe R > 0 tal que
Si x = Tx para cierto [0, 1] |x| < R,
entonces T tiene al menos un punto jo.
apunteimpa5New
2009/11/19
page 71
i
i
i
i
i
i
i
i
Observaci on
El resultado anterior es conocido tambien como Teorema de Schae-
fer. Como mencionamos (y seg un veremos mas adelante), el hecho de
agregar un parametro a la ecuacion puede interpretarse en cierto
contexto adecuado como una homotopa entre dos funciones F y G.
El teorema de Schaefer corresponde al caso mas sencillo, que es el de
una homotopa lineal: h(x, ) = F(x) + (G(x) F(x)); la version
general del teorema surgira en forma inmediata cuando denamos el
denominado grado de Leray-Schauder.
5.2. Ejercicios
1. Sea f : [0, T] R R una funcion continua y decreciente en u.
a) Probar que la aplicacion T : C([0, T]) R
2
C
2
([0, T])
que a cada (p, u
0
, u
T
) le hace corresponder la unica solu-
cion del problema
u
+f(t, u) = p(t) u(0) = u

0
, u(T) = u
T
esta bien denida y es continua. Que relacion tiene esto
con el ejercicio 3 de la seccion 1.4.1?
b) Probar que si se piensa T : C([0, T]) R
2
C([0, T]),
entonces T es compacta (es decir: es continua, y enva
conjuntos acotados en conjuntos de clausura compacta).
c) Dada p C([0, T]), probar que el conjunto
S(p) = u C
2
([0, T]) : u
+f(t, u) = p(t)
es homeomorfo a R
2
. Interpretar este hecho como una ge-
neralizacion del resultado conocido para la ecuacion lineal
u
+(t)u = p(t) con 0.

Como es S(p) en este caso?
2. a) Sea

f : [0, T] R R una funcion continua y creciente en
u, y sea u una funcion que verica
u
=

f(t, u) u(0) = u
0
, u(1) = u
1
.
apunteimpa5New
2009/11/19
page 72
i
i
i
i
i
i
i
i
Probar que existe > 0 tal que si
|f

f|
< , [u
0
u
0
[ < , [u
1
u
1
[ <
entonces el problema
u
= f(t, u) u(0) = u
0
, u(1) = u
1
(5.1)
tiene al menos una solucion. Es unica?
b) Expresar el resultado de (2a) en terminos de la topologa
del conjunto
(f, u
0
, u
1
) : (5.1) tiene solucion C([0, T] R) R
2
.
apunteimpa5New
2009/11/19
page 73
i
i
i
i
i
i
i
i
Captulo 6
El metodo de Newton
6.1. Metodo de Newton
En el captulo 4 hemos probado la validez un metodo iterativo que
permite, asumiendo que existe una sub y una supersolucion
de cierto problema, construir una sucesion monotona que converge
a una solucion. El argumento tiene varias ventajas: por un lado, la
iteracion es facil de denir, pues solo consiste en resolver en cada paso
un problema lineal. Para la ecuacion de segundo orden u
= f(t, u)
(por ejemplo, con condiciones de Dirichlet), una vez que se conoce u
n
el problema que se debe resolver en el siguiente paso es: u
u =
f(t, u
n
(t)) u
n
. Mas aun, la representacion de Green que se da en
el apendice muestra que u
n+1
puede expresarse en la forma
u
n+1
(t) = l(t) +
_
1
0
G(t, s)[f(s, u
n
(s)) u
n
(s)] ds, (6.1)
en donde G es la funcion de Green asociada al problema y l es una
funcion lineal que depende solamente de los datos de contorno (en
particular, G y l no dependen de u
n
). Esto da una forma directa de
denir la sucesion por medio de una integral.
Ademas, la prueba de la convergencia de u
n
a una solucion del
problema es sencilla, y no requiere emplear siquiera teoremas de punto
jo como el de Schauder.
73
apunteimpa5New
2009/11/19
page 74
i
i
i
i
i
i
i
i
74 [CAP. 6: EL M
ETODO DE NEWTON
Sin embargo, este metodo iterativo tiene la desventaja de que no
permite estimar el error. En general, para esto es necesario imponer
alguna condicion mas fuerte sobre f; por ejemplo, el metodo de apro-
ximaciones sucesivas de Picard que vimos en el captulo 2 garantiza
la convergencia lineal, a condicion de que f sea globalmente Lipschitz
en u con constante sucientemente peque na.
A continuacion veremos un metodo que permite, bajo hipotesis
adecuadas, asegurar la convergencia cuadratica. En realidad, se trata
simplemente de una generalizacion del conocido metodo de Newton,
que se emplea para hallar ceros de una funcion F de una variable,
por medio de la iteracion u
n+1
= u
n
F(u
n
)
F
(u
n
)
.
Intentaremos extender este metodo a problemas del tipo
u
= f(t, u), u(0) = u

0
, u(1) = u
1
, (6.2)
para lo cual vamos a pensar a las soluciones como ceros de la apli-
cacion F(u) := u
f(, u) en alg un espacio funcional adecuado. Al

igual que en el metodo de Newton para una funcion en R, deberemos
pedir condiciones sobre las derivadas de F; esto nos va a llevar a
pensarla como una aplicacion diferenciable en el sentido habitual de
Frechet:
Denici on
Sean X e Y espacios normados, y sean A X un abierto, y
F : A Y una funcion. Se dice que F es diferenciable en x
0
A si
existe una transformacion lineal continua DF(x
0
) : X Y tal que
F(x) F(x
0
) = DF(x
0
)(x x
0
) +R(x),
con
R(x)
xx
0
0 para x x
0
.
Mas aun, si F es diferenciable en todo punto de A, entonces se
tiene una nueva aplicacion DF : A L(X, Y ), en donde L(X, Y ) :=
T : X Y : T es lineal y continua.
Recordemos que L(X, Y ) es un nuevo espacio normado, cuya nor-
ma se dene por
|T| := sup
x
X
=1
|T(x)|
Y
.
Esto motiva las siguientes deniciones: dada F : A Y diferenciable,
apunteimpa5New
2009/11/19
page 75
i
i
i
i
i
i
i
i
[SEC. 6.1: M
ETODO DE NEWTON 75
1. Si DF : A L(X, Y ) es continua, entonces F se dice de clase
C
1
.
2. Si DF : A L(X, Y ) es difenciable en x
0
A, entonces F se
dice dos veces diferenciable en x
0
.
En el ultimo caso, la diferencial D(DF)(x
0
) : X L(X, Y ) es una
aplicacion lineal y continua; vale decir, un elemento de L(X, L(X, Y )).
Sin embargo, se la puede interpretar de otro modo a partir del hecho,
facil de probar, de que si F es dos veces diferenciable en x
0
entonces
para todo y, z X resulta:
D(DF)(x
0
)(y)(z) = D(DF)(x
0
)(z)(y).
Esto generaliza el resultado conocido para funciones dos veces dife-
renciables de R
n
quen dice que la matriz hessiana es simetrica; en
particular, permite denir a la diferencial segunda como una apli-
cacion bilineal simetrica (y continua) de X X en Y :
D
2
F(x
0
)(y, z) := D(DF)(x
0
)(y)(z).
De la misma forma que antes, si F : A Y es dos veces diferen-
ciable, entonces podemos pensar a D
2
F como una aplicacion de A en
el espacio L
2
(X, Y ) de aplicaciones bilineales, simetricas y continuas
de X X en Y , provisto de la la norma usual
|B| := sup
x
X
=y
X
=1
|B(x, y)|
Y
.
Si D
2
F : A L
2
(X, Y ) es continua para esta norma, entonces F se
dice de clase C
2
.
Obviamente estas deniciones pueden generalizarse aun mas; sin
embargo, para desarrollar el metodo de Newton y demostrar la con-
vergencia cuadratica en un contexto abstracto sera suciente consi-
derar funciones de clase C
2
. Vamos a probar el siguiente caso parti-
cular del desarrollo de Taylor:
Teorema (Desarrollo de Taylor de orden 1, y expresion del resto)
Sean A, X, Y como antes, F : A Y de clase C
2
, y sean x, y A
tales que el segmento [x, y] := ty+(1t)x : t [0, 1] esta contenido
en A. Entonces vale la formula
F(y) F(x) = DF(x)(y x) +R(y),
apunteimpa5New
2009/11/19
page 76
i
i
i
i
i
i
i
i
76 [CAP. 6: EL M
ETODO DE NEWTON
en donde R satisface:
|R(y)|
Y

1
2
M|y x|
2
X
con
M = max
[x,y]
|D
2
F()|.
Observaci on
En la formula anterior, el maximo se alcanza, porque [x, y] es un
compacto.
Demostraci on. Obviamente, podemos suponer Y ,= 0, pues el caso
Y = 0 es trivial.
En primer lugar, veamos que la formula vale para Y = R. En tal
caso, si (t) = ty + (1 t)x tenemos (usando la regla de la cadena):
F(y) F(x) DF(x)(y x) = F (1) F (0) (F )
(0).
Por la expresion del resto de Lagrange para funciones de una variable,
sabemos que el ultimo termino es igual a
1
2
(F )
(c), en donde
c (0, 1). Un simple calculo muestra que entonces
F(y)F(x)DF(x)(yx) =
1
2
D
2
F(x+c(yx))[yx, yx]. (6.3)
Luego
|F(y) F(x) DF(x)(y x)|
Y

1
2
|D
2
F(x +c(y x))|.|y x|
2
X
,
lo que prueba la tesis. Si ahora tenemos Y ,= 0 cualquier espacio
normado, tomando Y

sabemos que para F vale una formula
analoga a (6.3), para cierto c = c(). Como es lineal, empleando
la regla de la cadena resulta inmediato que
_
F(y)F(x)DF(x)(yx)
_
=
1
2
_
D
2
F(x+c(yx))[yx, yx]
_
.
apunteimpa5New
2009/11/19
page 77
i
i
i
i
i
i
i
i
[SEC. 6.1: M
ETODO DE NEWTON 77
Llamando z = F(y)F(x)DF(x)(yx), podemos elegir Y

tal
que (z) = |z|
Y
y ademas || = 1 (esto es una aplicacion elemental
del teorema de Hahn-Banach). En consecuencia
|z|
Y
= (z)
1
2
||
_
_
(D
2
F(x +c(y x))[y x, y x]
_
_
Y
.
Como
_
_
(D
2
F(x +c(y x))[y x, y x]
_
_
Y
M|x y|
2
, el resulta-
do se deduce entonces.
Antes de desarrollar el metodo de Newton abstracto, vale la pena
volver a nuestro problema (6.2) y calcular la diferencial de la funcion
F(u) := u
f(, u). En este caso, los elementos del espacio X deben

ser funciones dos veces derivables en alg un sentido; una posibilidad
sera elegir X = C
2
([0, 1]) provisto de la norma usual
|u|
C
2 := max|u|
, |u
, |u
.
Sin embargo, para obtener mejores estimaciones resulta mas conve-
niente el espacio de Sobolev
H
2
(0, 1) = u C
1
([0, 1]) : u
absolutamente continua, u
L
2
(0, 1)
con la norma (proveniente de un producto interno) dada por
|u|
H
2 :=
_
|u|
2
L
2
+|u
|
2
L
2
+|u
|
2
L
2
_
1/2
.
En cualquiera de los dos casos, si F es diferenciable entonces su dife-
rencial en u aplicada a un elemento esta dada por el lmite
DF(u)() = lm
h0
F(u +h) F(u)
h
=
lm
h0
f(, u +h) f(, u)
h
.
De esta forma, si pedimos que f sea de clase C
1
respecto de u, es
facil ver que F tambien resulta de clase C
1
, y vale:
DF(u)() =
f
u
(, u).
apunteimpa5New
2009/11/19
page 78
i
i
i
i
i
i
i
i
78 [CAP. 6: EL M
ETODO DE NEWTON
Finalmente, si f es de clase C
2
respecto de u, entonces F es de clase
C
2
, y vale:
D
2
F(u)(, ) =
2
f
u
2
(, u).
Veamos ahora el metodo de Newton, en principio para una apli-
cacion cualquiera F : X Y de clase C
2
, en donde X es un espacio
de Banach. De acuerdo con el metodo conocido para X = Y = R,
vamos a comenzar en cierto u
0
X y denir
u
n+1
= u
n
DF(u
n
)
1
(F(u
n
)). (6.4)
Es claro que esta denicion exige, tal como ocurre en el metodo
clasico, tener una region en la que DF(u) sea un operador inversible,
y asegurarse de que la sucesion u
n
no escapa de dicha region.
Para el problema (6.2), esto se transformara en una condicion conc-
reta en terminos de f. Por otra parte, (6.4) se puede escribir en la
forma
DF(u
n
)(u
n+1
u
n
) = F(u
n
) (6.5)
y restando la igualdad analoga para u
n
resulta:
DF(u
n
)(u
n+1
u
n
) = [F(u
n
) F(u
n1
] DF(u
n1
)(u
n
u
n1
)].
Por la expresion del resto de Taylor, tenemos que
|DF(u
n
)(u
n+1
u
n
)|
Y

M
n
2
|u
n
u
n1
|
2
X
,
en donde M
n
es la norma de la diferencial segunda evaluada en cierto
valor intermedio [u
n1
, u
n
]. Luego, si C
n
= |DF(u
n
)
1
|, se
deduce:
|u
n+1
u
n
|
X

C
n
M
n
2
|u
n
u
n1
|
2
X
.
Ahora supongamos que existen constantes C y M tales que
C
n
C, M
n
M para todo n. (6.6)
En tal caso, se prueba inductivamente la siguiente estimacion:
|u
n+1
u
n
|
X

_
CM
2
_
2
n
1
|u
1
u
0
|
2
n
X
= A
2
n
1
|u
1
u
0
|
X
,
apunteimpa5New
2009/11/19
page 79
i
i
i
i
i
i
i
i
[SEC. 6.1: M
ETODO DE NEWTON 79
en donde A =
CM
2
|u
1
u
0
|
X
. De esta forma, la convergencia (cuadra-
tica) de la sucesion estara garantizada si A < 1, lo que signica que
u
0
debe estar cerca de una solucion. En efecto, siendo
u
1
= u
0
DF(u
0
)
1
(F(u
0
))
resulta
|u
1
u
0
|
X
|DF(u
0
)
1
(F(u
0
))|
X
|DF(u
0
)
1
|.|F(u
0
)|
Y
,
lo que en cierta forma dice que |F(u
0
)|
Y
tiene que ser peque no.
Obviamente, una manera de lograr que valga (6.6) consiste en
pedir directamente que para todo u la diferencial DF(u) sea in-
versible, con |DF(u)
1
| C, y ademas |D
2
F(u)| M. Sin em-
bargo, estas hipotesis pueden debilitarse. Por ejemplo, supongamos
que para cierto R > 0 sabemos que DF(u) es inversible en B
R
(u
0
),
y ademas
C := sup
uB
R
(u
0
)
|DF(u)
1
| <
M := sup
uB
R
(u
0
)
|DF
2
(u)| < .
Los calculos anteriores nos aseguran que, si se puede probar que
u
n
B
R
(u
0
) para todo n, entonces la convergencia esta garantizada
cuando A < 1. Vamos a poner una condicion que permita asegurar
que valen las condiciones anteriores y ademas |u
n
u
0
|
X
R para
todo n. En primer lugar, observemos que si u
1
, , u
n
B
R
(u
0
),
resulta:
|u
n+1
u
0
|
X

n
j=0
|u
j+1
u
j
|
X
|u
1
u
0
|
X
n
j=0
A
2
j
1
1
1 A
|u
1
u
0
|
X
.
En consecuencia, si se cumple que |u
1
u
0
|
X
< (1 A)R, entonces
A < 1 y u
n
B
R
(u
0
) para todo n. Teniendo en cuenta las anteriores
acotaciones, una condicion suciente para que esto ocurra es:
C|F(u
0
)|
Y
_
1 +
CMR
2
_
< R. (6.7)
apunteimpa5New
2009/11/19
page 80
i
i
i
i
i
i
i
i
80 [CAP. 6: EL M
ETODO DE NEWTON
As planteada, la condicion (6.7) es difcil de vericar pues las
constantes C y M dependen de R. Sin embargo, tiene una aplicacion
muy concreta que sera de utilidad en la proxima seccion. La idea
consiste simplemente en mostrar que si se conoce una solucion u
0
de determinado problema, entonces el metodo de Newton permite
encontrar una solucion de cierto problema perturbado. Mas conc-
retamente, dados F de clase C
2
y u
0
un cero de F se puede denir
F
:= F + para cierta y ver que bajo condiciones adecuadas

el problema F
(u) = 0 tiene solucion para > 0 sucientemente

peque no.
En efecto, supongamos como antes que DF(u) es inversible para
u B
R
(u
0
), con C, M < . Pedimos que tambien sea de clase C
2
,
tal que
sup
uB
R
(u
0
)
|D(u)| := C
< sup
uB
R
(u
0
)
|D
2
(u)| := M
< .
Por otra parte, recordemos que el subconjunto de operadores in-
versibles es abierto en L(X, Y ); mas precisamente, es facil probar
que si T es inversible y |B| <
1
T
1
, entonces T +B es inversible, y
se cumple:
|(T +B)
1
|
|T
1
|
1 |T
1
|.|B|
.
Tomando T = DF(u) y B = D(u), entonces para u B
R
(u
0
) vale
|T
1
| C, y |B| C
; de esta forma, si tomamos <

1
C
C
resulta
que DF
(u) es inversible y ademas |DF
(u)
1
|
C
1C
C
:= C
.
Ademas,
sup
uB
R
(u
0
)
|D
2
F
(u)| M +M
:= M
.
Buscamos ahora que se cumpla una desigualdad analoga a (6.7) para
la funcion F
. Pero esto es evidente si es peque no, pues para 0

se ve que C
C, M
M y F
(u
0
) = (u
0
) 0.
Vamos a aplicar lo anterior al problema (6.2). Si f es de clase C
2
respecto de u entonces la iteracion de Newton se dene por medio de
la siguiente sucesion de problemas:
_
U
n+1
= f(t, U
n
) +
f
u
(t, U
n
)(U
n+1
U
n
),
U
n+1
(0) = u
0
, U
n+1
(1) = u
1
.
(6.8)
apunteimpa5New
2009/11/19
page 81
i
i
i
i
i
i
i
i
[SEC. 6.1: M
ETODO DE NEWTON 81
Esto resulta en forma inmediata a partir de (6.5) y la formula para la
diferencial de F(u) = u
f(, u) antes calculada. Sin embargo, para

que la sucesion este bien denida debemos pedir que DF(U
n
) sea
inversible. En realidad, alcanza con pedir solamente que (6.8) tenga
solucion unica; mas adelante veremos que a veces basta incluso con
asegurar que (6.8) tiene al menos una solucion.
Ahora bien, el problema (6.8) es lineal, del tipo u
(t)u = (t),
con (t) =
f
u
(t, U
n
); como vimos, una manera de garantizar que
tiene solucion unica consiste en pedir que
f
u
(t, U
n
) 0
1
.
Bajo esta hipotesis, es facil vericar del mismo modo que en el
captulo 5 que el operador lineal
L
n
w := w
f
u
(t, U
n
)w
verica la estimacion |w
|
L
2
1
|L
n
w|
L
2 para cualquier w tal que
w(0) = w(1) = 0. Esto nos va a resultar de utilidad, pues si restamos
las ecuaciones correspondientes a U
n+1
y U
n
obtenemos:
L
n
(U
n+1
U
n
) = f(t, U
n
) f(t, U
n1
)
f
u
(t, U
n1
)(U
n
U
n1
).
En consecuencia, existe un valor intermedio
n
(t) tal que
L
n
(U
n+1
U
n
) =
1
2
2
f
u
2
(t,
n
(t))(U
n
U
n1
)
2
.
Notemos que para esta aplicacion especca no es preciso usar el
desarrollo de Taylor para operadores en espacios de Banach: lo que
estamos usando es la expresion usual del resto de Lagrange para f,
para cada t jo. Por otra parte, para asegurar la convergencia de U
n
podemos mejorar un poco las condiciones que pedimos en nuestro
anterior planteo abstracto: esto se debe esencialmente al hecho de
que alcanzara con probar por ejemplo la convergencia uniforme de
U
n
, y luego deducir que el limite U es de clase C
2
y resulta solucion
1
En realidad alcanza con menos:
f
u
(t, U
n
) c para cierta constante c >
2
.
Esto se debe a que el primer autovalor del operador u
para el problema de
Dirichlet en [0, 1] es justamente
2
: de esta forma, se obtienen acotaciones a priori
similares a las del captulo 3, para el operador u

f
u
(, U
n
).
apunteimpa5New
2009/11/19
page 82
i
i
i
i
i
i
i
i
82 [CAP. 6: EL M
ETODO DE NEWTON
del problema. En este aspecto, el procedimiento coincide con lo que
hemos hecho para el metodo iterativo del captulo 4.
En virtud de las estimaciones anteriores, si para todo t y todo n
vale que [
2
f
u
2
(t,
n
(t))[ M para cierta M, entonces
|U
n+1
U
n
|
L
2
1
|L
n
(U
n+1
U
n
)|
L
2
M
2
|(U
n
U
n1
)
2
|
L
2
y en consecuencia
|U
n+1
U
n
|

M
2
|U
n
U
n1
|
2
.
Inductivamente,
|U
n+1
U
n
|
A
2
n
1
|U
1
U
0
|
,
donde A =
M
2
|U
1
U
0
|
. Por otra parte,

U
1

f
u
(t, U
0
)(U
1
U
0
) = f(t, U
0
),
de donde
|U
1
U
0
|
|L
0
(U
1
U
0
)|
=
1
|U
0
f(, U
0
)|
:= E
0
.
Esto da una condicion suciente para que el metodo funcione: si
f
u
(t, u) 0,
2
f
u
2
(t, u)
M para t [0, 1], y [u U

0
(t)[ R,
(6.9)
y ademas
E
0
_
1 +
MR
2
_
R,
entonces U
n
converge en C([0, 1]) en forma cuadratica a una funcion
U tal que |U U
0
|
R. Seg un mencionamos, se puede probar

(queda como ejercicio) que U es una solucion del problema.
A modo de comentario nal, observemos que si las condiciones
que se piden en (6.9) valen para toda u (y no solo en una bola de
radio R), entonces la convergencia esta garantizada siempre que U
0
se encuentre sucientemente cerca de la solucion. Vale la pena se nalar
que en este caso ya sabamos de antemano que dicha solucion existe
y es unica, pues f es decreciente (ver captulo 5).
apunteimpa5New
2009/11/19
page 83
i
i
i
i
i
i
i
i
[SEC. 6.2: M
ETODO DE NEWTON-CONTINUACI
ON 83
6.2. Metodo de Newton-continuaci on
El metodo de Newton presentado en la seccion anterior tiene la
limitacion de que, ademas de imponer condiciones muy restrictivas
para f, para poder asegurar la convergencia pueda asegurarse es pre-
ciso que la iteracion comience sucientemente cerca de la solucion. En
ciertos casos, no es facil garantizar esto; veremos ahora un metodo
que combina el metodo de Newton con el de continuacion, deniendo
una homotopa de parametro [0, 1] con un problema cuya solu-
cion es conocida. De esta forma, conociendo una solucion u
para
cierto valor de , podemos aplicar el metodo de Newton y as obte-
ner soluciones para + . Los resultados de la seccion previa sobre
el problema perturbado permiten decir que si es sucientemente
peque no, la sucesion converge cuando se comienza la iteracion en u
.
Para la ecuacion abstracta F(u) = 0, la idea consiste en denir
una homotopa h : X [0, 1] Y de clase C
2
, de modo tal que
h(, 1) = F, y h(, 0) := F
0
sea cierta funcion de la cual conocemos
alg un cero. El caso mas sencillo esta dado obviamente por la homo-
topa lineal
h(u, ) = F + (1 )F
0
.
De esta forma, si conocemos un cero de F
:= h(, ), eso nos per-

mitira por medio del metodo de Newton, buscar una solucion de
F
+
(u) = 0. Para la homotopa lineal, esto consiste simplemente en
resolver el problema
F
(u) +(F(u) F
0
(u)) = 0,
que corresponde a lo desarrollado en la seccion previa, tomando en
particular = F F
0
. Veamos a grandes rasgos el ejemplo concreto
correspondiente al anterior problema de Dirichlet, para el cual la
homotopa toma la siguiente forma:
u
= f(t, u) u(0) = u
0
, u(1) = u
1
. (6.10)
Para = 0, obviamente conocemos la ( unica) solucion de este proble-
ma. Supongamos ahora que tenemos una solucion u
de (6.10) para
cierto < 1, e intentemos resolver el problema para + 1 con
sucientemente peque no. La iteracion de Newton que comienza en
apunteimpa5New
2009/11/19
page 84
i
i
i
i
i
i
i
i
84 [CAP. 6: EL M
ETODO DE NEWTON
U
0
= u
esta dada ahora por los problemas

_
U
n+1
= ( +)
_
f(t, U
n
) +
f
u
(t, U
n
)(U
n+1
U
n
)
_
,
U
n+1
(0) = u
0
, U
n+1
(1) = u
1
.
(6.11)
Los calculos son exactamente iguales que antes (podemos acotar di-
rectamente + por 1), asumiendo que (6.9) vale para cierto R. La
diferencia es que ahora la cota para E
0
es una funcion de : como
U
0
= u
, que es solucion de (6.10), entonces U
0
= f(t, U
0
), y
(U
1
U
0
)
( +)
f
u
(t, U
0
)(U
1
U
0
) = ( +)f(t, U
0
) U
0
= f(t, U
0
).
Luego
|U
1
U
0
|
|f(, U
0
)|
,
y de esta forma (no importa cuanto vale R) la sucesion converge si
es peque no; mas concretamente:
|f(, U
0
)|
_
1 +
MR
2
_
R.
Lo anterior asegura que siempre que valga (6.9) en un entorno de
u
, entonces existe una solucion del problema para +; luego, existe

una sucesion
0 =
0
<
1
<
2
< . . .
para los cuales se puede construir una solucion u
i
. Sin embargo, el
valor de depende de u
; en consecuencia, a menos que se pueda

probar que el paso dado por no decrece demasiado rapidamente, no
hay forma de asegurar que el valor = 1 se alcanza.
6.3. Cuasilinealizaci on
En esta seccion veremos un argumento de cuasilinealizacion para
el problema (6.2), que combina el metodo de Newton con el de super
y subsoluciones.
apunteimpa5New
2009/11/19
page 85
i
i
i
i
i
i
i
i
[SEC. 6.3: CUASILINEALIZACI
ON 85
Supongamos que f es de clase C
2
respecto de la variable u, y
sean como en el captulo 4. La idea es denir una iteracion que
consiste en resolver en cada paso un problema cuasi-lineal, aunque
despues de probar que la sucesion as denida se encuentra en la re-
gion u C([0, 1]) : u se vera que en realidad la iteracion es
la misma que la denida por la linealizacion de Newton. Bajo ciertas
hipotesis adicionales, esto permite probar entonces la convergencia
cuadratica.
Vamos a comenzar en U
0
:= , y pediremos ademas que f sea
concava como funcion de u, es decir:

2
f
u
2
0 (si comenzamos en
U
0
:= , debemos pedir que f sea convexa).
Al igual que en el metodo de super y subsoluciones, tomemos
0 tal que
f
u
(t, u) para cada t [0, 1] y u [(t), (t)]. Pero
a diferencia de antes, el problema que resolveremos ahora es
_
u
u = f(t, ) P(t, u) +
f
u
(t, )[P(t, u) ]
u(0) = u
0
, u(1) = u
1
(6.12)
en donde P es la funcion de truncamiento denida en el captulo 4.
Una vez mas, el teorema de Schauder asegura que este problema tiene
al menos una solucion, que cumple
u
u = f(t, ) +
_
f
u
(t, )
_
[P(t, u) ] f(t, ) ,
y entonces u . Por otra parte, para cualquier y podemos escribir
f(t, y) = f(t, ) +
f
u
(t, )(y ) +R(y),
y la condicion

2
f
u
2
0 implica que R(y) 0. En particular, si
tomamos y = P(t, u) obtenemos:
u
u = f(t, P(t, u)) P(t, u) R(P(t, u)) f(t, )

,
lo que prueba que u . Finalmente, sabiendo ya que u , se
cumple en realidad que
u
= f(t, ) +
f
u
(t, )(u ) = f(t, u) R(u) f(t, u),
apunteimpa5New
2009/11/19
page 86
i
i
i
i
i
i
i
i
86 [CAP. 6: EL M
ETODO DE NEWTON
lo que implica que u es subsolucion.
Llamando U
1
a esta solucion u, tenemos que := U
0
U
1
, y
U
j
es una subsolucion para j = 0, 1. De esta forma, podemos repetir
el argumento para obtener una sucesion
= U
0
U
1
U
2

en donde U
n
es subsolucion del problema, y ademas
_
U
n+1
= f(t, U
n
) +
f
u
(t, U
n
)(U
n+1
U
n
),
U
n+1
(0) = u
0
, U
n+1
(1) = u
1
(6.13)
Observaci on
Notemos que el argumento de cuasilinealizacion requiere en cada
paso redenir la funcion de truncamiento, pues se vuelve a poner en
el lugar de a la subsolucion U
n
.
Vemos as que nalmente la iteracion no es otra que la de Newton;
sin embargo, la prueba de la convergencia de U
n
es diferente, y em-
plea en forma esencial argumentos de monotona. Como U
n
converge
puntualmente a cierta funcion u, por el teorema de Dini sabemos la
convergencia es uniforme. Esto permite probar (tal como hicimos en
4.1.1) que u es solucion del problema.
Vale la pena observar que no hubiera sido correcto denir la suce-
sion directamente a partir de (6.13), ya que nada garantiza de ante-
mano que dicho problema pueda resolverse. Una forma de asegurar
esto sera pidiendo (ver nota 1 de este captulo) que
f
u
(t, u) c >
2
. (6.14)
Veamos ahora que, para este nuevo metodo, la condicion (6.14) per-
mite probar la convergencia cuadratica. Vale la pena recordar que en
el metodo de Newton se pide tambien que la derivada segunda de f
este acotada, condicion que ahora no va a hacer falta.
Mas aun, la propia condicion (6.14) puede debilitarse: alcanza con
pedir que valga unicamente para todos los (t, u) [0, 1] R tales que
(t) u (t). En efecto, llamando
n
:= u U
n
al error n-esimo,
resulta
n
0, y ademas
n
= f(t, u) f(t, U
n1
)
f
u
(t, U
n1
)(U
n
U
n1
),
apunteimpa5New
2009/11/19
page 87
i
i
i
i
i
i
i
i
ON 87
n
(0) =
n
(1) = 0.
Por consiguiente,
f
u
(t, U
n1
)
n
=f(t, u) f(t, U
n1
)
f
u
(t, U
n1
)(u U
n1
)
=
1
2
2
f
u
2
(t,
n
(t))
2
n1
.
Por hipotesis,
f
u
(t, U
n1
) c >
2
; entonces podemos denir
n
n
c
n
=
1
2
2
f
u
2
(t,
n
(t))
n1
2
que verica
n
(0) =
n
(1) = 0.
Entonces
n
c
n
=
f
u
(t, U
n1
)
n
+
_
f
u
(t, U
n1
) c
_
n
c
n
,
y por el principio del maximo se deduce que
n

n
. Ademas,
|
n
|
L
2|
n
c
n
|
L
2
_
1
0
n
(
n
c
n
) |
n
|
2
L
2
,
de donde se deduce que |
n
|
L
2
1
n
c
n
|
L
2. Luego
n
|
n
|
L
2 K|
2
n1
|
L
2 K|
n1
|
2
,
en donde K =
1
2
sup

2
f
u
2
(t, v), para t [0, 1] y (t) v (t).
En denitiva, hemos probado el siguiente resultado:
Teorema (Metodo de cuasilinealizacion)
Sea f : [0, T]R R continua y de clase C
2
respecto de u, y sean
respectivamente una sub y una supersolucion del problema 6.2.
Supongamos ademas que

2
f
u
2
(t, u) 0 para todo t [0, 1] y todo u
tal que (t) u (t). Entonces la sucesion (no necesariamente
unica) denida anteriormente converge a una solucion del problema.
Si ademas vale (6.14) para todo t [0, 1] y (t) u (t), entonces
la convergencia es cuadratica.
apunteimpa5New
2009/11/19
page 88
i
i
i
i
i
i
i
i
88 [CAP. 6: EL M
ETODO DE NEWTON
6.3.1. Ejercicios
1. Generalizar los metodos desarrollados en este captulo para
otras condiciones de contorno.
2. En que casos es posible aplicar los metodos desarrollados en
este captulo a la ecuacion del pendulo?
3. Consideremos el problema de cuarto orden
u
(4)
+g(t, u, u
) = p(t), (6.15)
en el que por simplicidad se supone que g es continua, y de clase
C
2
respecto de u y u
.
Supongamos que existen funciones suaves y tales que
(4)
+g(, ,
) p,
(4)
+g(, ,
) p
y
K
para cierta constante K > 0. Ademas, supongamos que
g
u
(t, u, v) +K
g
u
(t, u, v) +K
2
0
para (t, u, v) (, donde ( es el conjunto de todos los elementos
(t, u, v) [0, T] R
2
tales que
(t) u (t),
(t) K(t) v Ku
(t) K(t).
a) Probar que (6.15) tiene al menos una solucion T-periodica
u con u .
Sugerencia: probar el siguiente principio del maximo: sean
, > 0 tales que
2
4, y sean K
2
4
2
.
Entonces, si u es periodica y satisface
u
(4)
u
+u 0,
apunteimpa5New
2009/11/19
page 89
i
i
i
i
i
i
i
i
ON 89
tambien verica:
u
u 0.
En particular, u 0.
b) Desarrollar un metodo de cuasilinealizacion (y vericar la
convergencia) para encontrar una solucion T-periodica de
u
(4)
2u
+u
5
= p(t)
en donde |p|
es sucientemente peque no.

Sugerencia: probar con < 0 < constantes.
apunteimpa5New
2009/11/19
page 90
i
i
i
i
i
i
i
i
Captulo 7
El grado de Brouwer
7.1. Teora de grado topol ogico. Deni-
ci on y propiedades
Vamos a ver ahora algunos aspectos de una importante nocion
topologica denida por Brouwer: la teora de grado, que a grandes
rasgos puede pensarse como un conteo algebraico de los ceros de
una funcion continua. Primero deniremos el grado para aplicaciones
en R
n
, y en el proximo captulo veremos su extension para ciertos
operadores en espacios de Banach (grado de Leray-Schauder).
Comenzaremos con una situacion bien conocida, que nos permi-
tira denir el grado para n = 2. Sea C un abierto acotado, al
que por simplicidad supondremos simplemente conexo, y cuya fron-
tera := es una curva continua (orientada positivamente). Dada
una funcion f : C analtica, tal que f ,= 0 en , se tiene la
siguiente formula, que es un caso particular del teorema de los ceros
y polos, y cuenta los ceros de f (con su multiplicidad):
1
2i
_
(z)
f(z)
dz = # ceros de f en (7.1)
Llamando d(f, ) a esta integral, podemos hacer algunas primeras
observaciones:
90
apunteimpa5New
2009/11/19
page 91
i
i
i
i
i
i
i
i
[SEC. 7.1: TEOR
IA DE GRADO TOPOL
OGICO. DEFINICI
ON Y PROPIEDADES 91
1. Si f = Id y 0 / , entonces
d(f, ) =
_
1 si 0
0 si 0 /
2. Si d(f, ) ,= 0, entonces f se anula en . Este hecho, com-
pletamente trivial para f analtica, va a transformarse en la
propiedad fundamental (y para nada trivial) del grado cuando
extendamos la denicion para el caso en que f sea solamente
continua.
3. Invariancia por homotopa: supongamos que f y g son ho-
motopicas, es decir, que existe h : [0, 1] C continua
tal que h(z, 0) = f(z) y h(z, 0) = g(z), con h(z, ) ,= 0 para
z . Entonces d(f, ) = d(g, ).
4. d(f, ) depende solamente del valor de f restringida a . En
virtud de la denicion anterior, esto es una nueva trivialidad
porque dos funciones analticas que coinciden en una curva son
iguales; sin embargo, vale la pena verlo como una consecuencia
directa de 3.
En efecto, si f y g coinciden en , entonces podemos denir la
homotopa lineal h(z, ) = f(z) +(1 )g(z), cuyo valor para
z es f(z) = g(z) ,= 0. De este modo, d(g, ) esta denido,
y vale igual a d(f, ).
En realidad, para que la invariancia por homotopa tenga sentido
en el contexto anterior, podra pensarse que hace falta pedir que
h
:= h(, ) sea una funcion analtica para todo , de modo que

d(h
, ) este denido por medio de una integral como en (7.1) para

todo . Sin embargo, esto no es as; mas aun, entender esto en detalle
es lo que nos permitira extender la denicion de la funcion d para
cualquier funcion continua. En efecto, basta observar que
1
2i
_
(z)
f(z)
dz =
1
2i
_
f
1
z
dz = I(f , 0);
en otras palabras, d no es otra cosa que el ndice de la curva f
respecto del origen. Pero estendice esta denido para cualquier curva
continua, con la unica condicion de que no pase por el 0.
apunteimpa5New
2009/11/19
page 92
i
i
i
i
i
i
i
i
92 [CAP. 7: EL GRADO DE BROUWER
De esta forma, para f : R continua tal que f ,= 0 en de-
nimos el n umero d(f, ) := I(f , 0). Es facil ver que las propiedades
2 y 3 (y en consecuencia, tambien 4) siguen valiendo.
En lo que sigue extenderemos esta denicion para cualquier fun-
cion continua f : R
n
, en donde R
n
es un abierto aco-
tado. Por conveniencia, deniremos mas en general para cualquier
y R
n
f(), el grado d(f, , y), que sera un n umero entero que
(intuitivamente) cuenta el n umero de soluciones en de la ecuacion
f(x) = y. En el caso n = 2, si es como antes, resulta evidente que
la denicion adecuada es d(f, , y) = I(f , y). Pero este ndice es
igual al de la funcion f y respecto del 0; por eso vamos a denir en
general
d(f, , y) = d(f y, , 0). (7.2)
De acuerdo con esta denicion, la primera de las propiedades anteri-
ores cobrara la siguiente forma:
d(Id, , y) =
_
1 si y
0 si y /
(7.3)
Finalmente, teniendo en cuenta una vez mas lo que ocurre para
n = 2, una de las propiedades que vamos a pedir que cumpla el grado
es la aditividad: si
1
y
2
son disjuntos y f :
1

2
R
n
no toma
el valor y sobre
1

2
, entonces d(f,
1

2
, y) = d(f,
1
, y) +
d(f,
2
, y).
Observemos en primer lugar que la denicion para el caso n = 1 es
inmediata, si pretendemos que se cumplan las propiedades antes enu-
meradas. Alcanza con denirlo para el caso en que es un intervalo;
la extension al caso general es obvia a partir de la regla de aditividad
1
. En efecto, dados = (a, b) y f : [a, b] R una funcion continua tal
que f(a), f(b) ,= 0, en virtud de la propiedades 3 y (7.3), es claro que
cuando f(a) < 0 < f(b) debe valer deg(f, , 0) = 1. Por otra parte,
si sgn(f(a)) = sgn(f(b)), entonces f es homotopica a una funcion
que no se anula, y en consecuencia debe ser deg(f, , 0) = 0. Final-
mente, observemos que es razonable pensar que si f(a) > 0 > f(b)
1
Notar que al ser un abierto acotado, la condicion f = 0 sobre implica
que f solo puede tener races en un n umero nito de componentes conexas de .
De esta forma, al sumar el grado de f sobre dichas componentes conexas, resulta
una suma nita.
apunteimpa5New
2009/11/19
page 93
i
i
i
i
i
i
i
i
[SEC. 7.1: TEOR
IA DE GRADO TOPOL
OGICO. DEFINICI
ON Y PROPIEDADES 93
entonces debe valer deg(f, , 0) = 1: por ejemplo, podemos obser-
var que eso es lo que ocurre en el caso n = 2 cuando f(z) = z, que
invierte la orientacion del espacio: si 0 , entonces
1
2i
_
1
z
dz =
1
2i
_
1
z
dz = 1.
A partir de esta denicion del grado para n = 1, podemos
intentar una generalizacion para n > 1. En primer lugar veamos,
todava con n = 1, que ocurre cuando f es de clase C
1
, y por ejemplo
f(a) < 0 < f(b). En tal caso, si f no tiene ceros m ultiples, entonces
tiene un n umero nito e impar de ceros en (a, b); mas aun, si x
0
es el primero de ellos, entonces f
(x
0
) > 0, y luego los signos de la
derivada en cada una de las sucesivas races se van alternando. Un
razonamiento analogo se puede hacer cuando f(a) > 0 > f(b), y
tambien cuando f(a) y f(b) tienen el mismo signo. De esta forma,
el grado puede pensarse directamente como la suma de los signos de
la derivada sobre el conjunto f
1
(0). Esto explica por que el grado
no cuenta realmente la cantidad de ceros; una funcion puede tener
muchos ceros, pero los signos se van compensando uno a uno de modo
que el grado es (en el caso n = 1) nalmente 0, 1 o 1.
Obviamente, una funcion continua no tiene por que cumplir lo an-
terior, aunque siempre puede aproximarse por funciones suaves. Pero
incluso una funcion suave puede tener races m ultiples; en particular,
puede tener ceros que no son aislados. La idea consiste en mostrar
que de cualquier forma se aproxima por funciones buenas como las
anteriores. En terminos mas precisos, lo que esta bondad signi-
ca es que el 0 es un valor regular: para cada x f
1
(0) se tiene
que f
(x) ,= 0. Esto implica que las races de f en son simples, y

obviamente nitas, pues f no se anula en .
Mas en general, para R
n
y f : R
m
de clase C
1
se dice
que y R
m
es un valor regular de f cuando para todo x f
1
(y)
la diferencial Df(x) : R
n
R
m
es suryectiva (obviamente, esto
requiere que m n). Los valores que no son regulares se denominan
crticos. De la denicion se desprende tautologicamente que si y /
f(), entonces y es un valor regular.
En base a las observaciones previas para el caso n = 1, dado
R
n
abierto acotado y f : R
n
de clase C
1
tal que 0 es valor
apunteimpa5New
2009/11/19
page 94
i
i
i
i
i
i
i
i
regular y 0 / f(), se dene el grado de Brouwer
deg(f, , 0) =
xf
1
(0)
sgn(Jac(f(x)))
en donde Jac(f(x)) denota el determinante jacobiano Jac(f(x)) =
det(Df(x)). Cabe observar que el grado esta bien denido por tratarse
de una suma nita: en efecto, como 0 es un valor regular el teorema
de la funcion inversa asegura que para cada preimagen del 0 existe
un entorno sobre el cual f es inyectiva. Ademas, f
1
(0) es compacto,
y como dichos entornos son disjuntos se deduce que f solo puede
anularse en nitos puntos. Tambien resulta evidente a partir de esta
denicion que si deg(f, , 0) ,= 0 entonces f se anula en .
A continuacion veremos algunas propiedades que nos permitiran
extender la denicion al conjunto de funciones continuas que no se
anulan en . Mas en general, vamos a denir como antes
deg(f, , y) = deg(f y, , 0)
si f es de clase C
1
tal que f ,= y sobre y ademas y es valor regular
de f, para luego extender el grado a la clase de funciones admisibles
/(y) := f C(, R
n
) : f ,= y sobre .
En primer lugar, observemos que este conjunto es abierto:
Lema
Si f /(y) y g C(, R
n
) satisface |g f|
< dist(y, f()),

entonces g /(y).
Demostraci on. Dado x , es claro que
[g(x) y[ [f(x) y[ [g(x) f(x)[ > 0.
El siguiente resultado es el conocido Teorema de Sard, que tiene
varias aplicaciones importantes. Daremos una demostracion particu-
lar para el caso n = m; la prueba general puede hallarse por ejemplo
en [24]. Vale la pena mencionar que en algunos textos, como [5] y
apunteimpa5New
2009/11/19
page 95
i
i
i
i
i
i
i
i
[SEC. 7.1: TEOR
IA DE GRADO TOPOL
OGICO. DEFINICI
ON Y PROPIEDADES 95
[27], se dene el grado empleando unicamente este caso particular;
aqu usaremos tambien el caso n = m+ 1.
Lema (Teorema de Sard)
Sean m n y f C
(, R
m
). Entonces el conjunto de valores
crticos de f tiene medida 0. En particular, el conjunto de valores
regulares es denso en R
m
.
Demostraci on. Consideremos m = n. Escribiendo a como una
union numerable de cubos, basta probar la propiedad para el caso
en que es un cubo de lado L. Dividiendo a cada lado de en N
partes iguales, se obtienen N
n
cubos de lado L/N; ademas, si x y x
0
pertenecen a uno de esos cubos y x
0
es un punto crtico, se tiene:
f(x) f(x
0
) = Df(x
0
)(x x
0
) +R(x)
en donde [R(x)[ c
1
[xx
0
[
2
c
1
_
L
N
_
2
, y ademas Im(Df(x
0
)) H
hiperplano de R
m
. Por otra parte,
[Df(x
0
)(x x
0
)[ |Df(x
0
)|.[x x
0
[ c
2
L
N
.
De esta forma, f(x) f(x
0
) (, en donde ( es un cilindro isometrico
a B[, ], con B R
m1
una bola de radio C
L
N
y = C
_
L
N
_
2
para
cierta constante C. Notemos que C puede elegirse de modo uniforme
para los N
n
cubos; luego, como el conjunto V C de valores crticos
se cubre por la imagen de aquellos cubos que contienen alg un punto
crtico, se deduce que
Medida(V C) N
n
_
C
L
N
_
n1
C
_
L
N
_
2
=
C
n
L
n+1
N
0
para N .
Como consecuencia del teorema de Sard, el conjunto C
reg
(, R
m
)
de funciones de clase C
para las que 0 es un valor regular resulta

un subconjunto denso de C(, R
m
):
Lema (densidad)
C
reg
(, R
m
) es denso en C(, R
m
).
apunteimpa5New
2009/11/19
page 96
i
i
i
i
i
i
i
i
Demostraci on. Dada f C(, R
m
) y > 0, por el teorema de Weier-
strass y el lema anterior podemos tomar

f C
(, R
m
) tal que
|
f f|
<

2
, y un valor y R
m
que sea valor regular de

f y tal
que [y[ <

2
. Entonces g =

f y es de clase C
y tiene al 0 como
valor regular.
Lema
Sea f : R
n
de clase C
1
tal que 0 es valor regular y f ,= 0 sobre
. Entonces existe un entorno V del 0 tal que si y V entonces y
es valor regular de f, f ,= y en y ademas
deg(f, , y) = deg(f, , 0).
Demostraci on. Si 0 / Im(f), el resultado es trivial por ser f()
cerrado. Si f
1
(0) = x
1
, , x
k
por el teorema de la funcion inversa
existe U
j
entorno conexo de x
j
y V
j
entorno de 0 tales que f : U
j
V
j
es un difeomorsmo de clase C
1
. Luego, basta tomar
V =
k
j=1
V
j
f(
k
_
j=1
U
j
).
En efecto, es claro que para cada y V el cardinal de f
1
(y) es
exactamente k, y como el signo del jacobiano es constante en cada
U
j
, el resultado queda probado.
El siguiente lema prueba que deg(f, , 0) es localmente constante
en /(0) C
reg
(, R
n
).
Lema
Sea f /(0) C
reg
(, R
n
). Si g C
reg
(, R
n
) verica que
|g f|
< dist(0, f()), entonces g ,= 0 en , y ademas vale

deg(g, , 0) = deg(f, , 0).
Demostraci on. Para [0, 1], denimos
h(x, ) := g(x) + (1 )f(x).
apunteimpa5New
2009/11/19
page 97
i
i
i
i
i
i
i
i
[SEC. 7.1: TEOR
IA DE GRADO TOPOL
OGICO. DEFINICI
ON Y PROPIEDADES 97
Entonces h(x, ) ,= 0 para x . Por el lema previo, existe un
entorno V tal que y es valor regular de f y g para todo y V , y el
grado de f y g respecto de y es el mismo que el grado en 0. Por el lema
de Sard, existe z V valor regular de h, y entonces reemplazando
f, g y h por f z, g z y h z, podemos suponer directamente que
0 es valor regular tambien para h.
Consideremos el conjunto ( = h
1
(0) [0, 1]. Por el teo-
rema de la funcion implcita, cada componente conexa de ( es una
curva regular, localmente parametrizada por una funcion (x(t), (t)).
Es claro, ademas, que si una de estas componentes no es una curva
cerrada, entonces tiene dos extremos, que tienen que estar en 0
o en 1. En consecuencia, su primera coordenada corresponde a
un cero de f o un cero de g. Por otra parte, si x
0
es un cero de f o de
g entonces (x
0
, 0) o (x
0
, 1) es un cero de h. De esta forma, alcanza con
analizar lo que ocurre en aquellas componentes conexas no cerradas
de (: mas precisamente, veremos que si una de ellas une los puntos
(x
0
, r
0
) y (x
1
, r
1
), con r
0
= 0, 1 (podemos suponer r
0
r
1
) entonces:
1. Si r
0
= 0 y r
1
= 1, entonces sgn(Jac(f(x
0
))) = sgn(Jac(g(x
1
))).
2. Si r
0
= r
1
= 0, entonces sgn(Jac(f(x
0
))) = sgn(Jac(f(x
1
))).
3. Si r
0
= r
1
= 1, entonces sgn(Jac(g(x
0
))) = sgn(Jac(g(x
1
))).
De esta forma, se verica que deg(f, , 0) = deg(g, , 0), pues cada
cero de f que se conecta con uno de g por medio de una componente
conexa de ( aporta el mismo signo al calculo del grado, y para los
ceros de f o de g que pertenecen a una misma componente conexa
los signos se compensan, y no aportan al grado.
Basta ver el caso 1; los otros dos son analogos. Llamemos (
x
0
,x
1
a
la componente conexa que une x
0
con x
1
, que es una curva que entra
por 0 y sale por 1. En cada punto P la curva (
x
0
,x
1
tiene
un vector tangente T
P
= (x
(t),
(t)) para cierta parametrizacion

(local) (x, ). Ademas, se puede elegir T
P
siguiendo una orientacion
ja de la curva, de forma tal que la matriz de R
(n+1)(n+1)
cuyas
primeras n las son las de Dh(P) R
n(n+1)
y la ultima la es T
P
,
tenga determinante con signo constante. Si por ejemplo pensamos a
(
x
0
,x
1
recorrida desde 0 hasta 1, es claro que puede pen-
sarse T
(x
0
,0)
= (x
(0), 1), T
(x
1
,1)
= (x
(1), 1), en donde directamente

apunteimpa5New
2009/11/19
page 98
i
i
i
i
i
i
i
i
se considera la parametrizacion (x(), )). Notar que esto puede hac-
erse cerca de = 0 y de = 1 justamente porque Df(x
0
) y Dg(x
1
)
son inversibles, y Dh(x, ) = (Dg(x)+(1)Df(x), [f(x)g(x)]
t
).
De esta forma, tenemos que el determinante de la matriz
M
0
:=
_
Df(x
0
) g(x
0
)
t
x
(0) 1
_
tiene el mismo signo que el de
M
1
:=
_
Dg(x
1
) f(x
1
)
t
x
(1) 1
_
.
Por otra parte, derivando la igualdad h(x(), ) = 0 por regla de la
cadena se obtiene que
Df(x
0
)x
(0)
t
= g(x
0
)
t
,
por lo que
_
Df(x
0
) g(x
0
)
t
x
(0) 1
_
.
_
Df(x
0
) 0
0 1
_
=
_
Df(x
0
)
2
g(x
0
)
t
g(x
0
) 1
_
,
que es denida positiva. Esto dice que el signo de Jac(f(x
0
)) es el
mismo que el del determinante de M
0
. De modo analogo se ve que
sgn(Jac(g(x
1
))) = sgn(det(M
1
)), lo que concluye la demostracion.
Completaremos ahora la denicion de grado de Brouwer, en base
a los resultados obtenidos anterioremente. En el captulo proximo
extenderemos esta denicion a operadores de la forma I K, con K
compacto, en espacios de Banach (grado de Leray-Schauder).
Como ya vimos, el grado deg(f, , y) esta bien denido y es local-
mente constante en aquel subconjunto de /(y) compuesto por aquel-
las funciones de clase C
para las que y es valor regular. Esto indica

que el grado es constante en las componentes conexas de dicho sub-
conjunto, y empleando el lema de densidad, se obtiene una funcion
continua (localmente constante) denida en /(y). En efecto, dada
f /(y) y <
1
4
dist(y, f()), basta denir deg(f, , y) como el
grado de cualquier funcion g y +C
reg
(, R
n
) tal que |f g|
< .
apunteimpa5New
2009/11/19
page 99
i
i
i
i
i
i
i
i
[SEC. 7.1: TEOR
IA DE GRADO TOPOL
OGICO. DEFINICI
ON Y PROPIEDADES 99
Es facil ver que esta funcion esta bien denida y es localmente con-
stante.
En otras palabras, tenemos el siguiente:
Teorema
Sea R
n
un abierto acotado, y sea y R
n
. Entonces existe
una ( unica) funcion continua
deg(; , y) : /(y) Z
llamada grado de Brouwer, con las siguientes propiedades:
1. Normalizacion: Si y , entonces deg(id, , y) = 1.
2. Invariancia por traslaciones:
deg(f, , y) = deg(f y, , 0).
3. Aditividad: Si
1
y
2
son subconjuntos abiertos y disjuntos
de , entonces si y / f( (
1

2
)) vale:
deg(f, , y) = deg( f[
1
,
1
, y) +deg( f[
2
,
2
, y).
4. Escision: Si
1
es un subconjunto abierto de , y / f(
1
),
entonces
deg(f, , y) = deg(f,
1
, y).
5. Solucion: Si deg(f, , y) ,= 0, entonces y f() (mas aun, f()
es un entorno de y).
6. Invariancia por homotopa: Si h : [0, 1] R
n
es continua y
se verica que
h(x, ) ,= y para x , [0, 1] (7.4)
entonces
deg(h(, ), , y)
es independiente de [0, 1]. Mas aun, puede reemplazarse
y por una funcion continua y : [0, 1] R
n
, tal que (7.4) siga
valiendo.
apunteimpa5New
2009/11/19
page 100
i
i
i
i
i
i
i
i
Demostraci on. La denicion es clara a partir de los parrafos previos
al teorema; las propiedades 1 y 2 se desprenden en forma inmediata
de la denicion. Lo mismo ocurre con la propiedad 3, que se verica
cuando f y C
reg
(, R
n
) y en consecuencia vale para cualquier
f /(y). Notemos tambien que si = entonces el grado de la
unica funcion posible (vaca) debe ser 0; de esta forma, la propiedad
4 se deduce de la anterior tomando
2
= .
Veamos ahora la propiedad 5: si y / f(), tomando
1
=
en la propiedad anterior resulta deg(f, , y) = 0, lo que es absurdo.
Por otra parte, como /(y) es abierto en C(, R
n
), entonces existe
> 0 tal que si z R
n
verica que [z[ < , entonces f + z /(y).
Como el grado es continuo, si es sucientemente peque no, vale que
deg(f +z, , y) ,= 0; de esta forma, y z pertenece a la imagen de f
para todo z B
(0).
Finalmente, para la propiedad 6 basta observar que la funcion
deg(h(, ), , y)
es continua, y como Z es discreto entonces resulta constante.
Observaci on
Resulta inmediato extender la denicion de grado a un espacio
normado V de dimension nita: en efecto, alcanza con tomar un iso-
morsmo : V R
n
, y dada f : V V continua tal que f ,= y
en se dene
deg(f, , y) = deg( f
1
, (), (y)).
Queda como ejercicio vericar que esta denicion es independiente
de .
7.2. Algunas aplicaciones
Una aplicacion inmediata de la denicion del grado topologico de
Brouwer es, precisamente, el teorema que lleva su nombre:
Teorema
Toda f : B
1
(0) B
1
(0) continua tiene al menos un punto jo.
apunteimpa5New
2009/11/19
page 101
i
i
i
i
i
i
i
i
[SEC. 7.2: ALGUNAS APLICACIONES 101
Demostraci on. Si f tiene alg un punto jo en B
1
(0), el resultado
vale. Supongamos entonces que f(x) ,= x para x B
1
(0), y veamos
que la funcion g(x) = x f(x) se anula en B
1
(0): en efecto, basta
denir la homotopa
h(x, ) = g(x) + (1 )x = x f(x).
Si h(x, ) = 0 para x B
1
(0), resulta x = f(x), de donde
[f(x)[ = 1. Luego = 1 y f(x) = x, lo que es absurdo. De es-
ta forma, f resulta homotopica a la funcion identidad, de donde
deg(f, B, 0) = 1.
Tambien resulta muy sencillo probar en forma directa el teorema
de Poincare-Miranda que vimos en el primer captulo:
Teorema
Sea f = (f
1
, . . . , f
n
) : [1, 1]
n
R
n
continua tal que para todo
i = 1, . . . , n vale:
sgn(x
i
)f
i
(x) 0
para todo x tal que [x
i
[ = 1, o bien
sgn(x
i
)f
i
(x) 0
para todo x tal que [x
i
[ = 1. Entonces existe alg un x [1, 1]
n
tal
que f(x) = 0.
Demostraci on. Componiendo con un isomorsmo de R
n
si hace falta,
podemos suponer que para todo j y todo x ( := [1, 1]
n
vale que
f
j
(x) 0 si x
j
= 1 y f
j
(x) 0 si x
j
= 1. Tambien podemos suponer
que f no se anula sobre el borde de (, y denir la homotopa h(x, ) =
x+(1)f(x). Como antes, supongamos que h se anula para cierto
y cierto x = (x
1
, . . . , x
j1
, 1, x
j+1
, . . . , x
n
) (. Entonces x
j
+
(1 )f
j
(x) = 0, y como f
j
(x).x
j
0 se deduce que = 0. Pero
entonces f(x) = 0, lo que es absurdo; de esta forma, f es homotopica
a la identidad y el resultado queda probado.
apunteimpa5New
2009/11/19
page 102
i
i
i
i
i
i
i
i
Veamos ahora una aplicacion directa a las ecuaciones diferenciales:
empleando el grado de Brouwer, daremos una condicion explcita para
la existencia de soluciones del problema periodico
u
= f(t, u), u(0) = u(1), (7.5)

n
R
n
es una funcion continua y localmente
Lipschitz en u. Supongamos que R
n
es un abierto acotado tal
que esta contenido en el dominio del operador de Poincare; vale
decir: si u
0
, entonces la unica solucion u del problema de valores
iniciales
u
= f(t, u), u(0) = u

0
(7.6)
esta denida en [0, 1]. En tal caso, recordemos que se dene P(u
0
) =
u(1), y si u
0
es un punto jo de P entonces u es solucion del problema
periodico.
Vamos a denir una homotopa, de modo que se pueda calcular
el grado de la aplicacion F(u
0
) := u
0
P(u
0
) de un modo sencillo.
Por ejemplo, podemos pensar en mover en forma continua el punto
nal del intervalo deniendo de un modo mas general la funcion F
=
Id P
, con P
(u
0
) = u(), en donde u es como antes la solucion
de (7.6). Sin embargo, en este caso se tiene que F
0
0, para la
cual el grado no esta denido. Pero una peque na variacion de esta
idea permitira obtener condiciones apropiadas para la existencia de
soluciones. La idea es denir la homotopa dada por
h(u
0
, ) =
_
u
0
P
(u
0
)
si ,= 0
f(0, u
0
) si = 0.
Es claro que el valor de h(u
0
, 0) esta elegido de forma tal que h resulte
continua: en efecto, para cualquier > 0 se tiene que h(u
0
, ) =
u
() = f(, u()) para cierto (0, ), de donde la continuidad es

clara. Por otra parte, si se verica que h(u
0
, ) ,= 0 para u
0
,
entonces el grado de h(, ) esta denido, y es constante: en tal caso,
deg(F
1
, , 0) = deg(h(, 1), , 0) = deg(h(, 0), , 0)
= (1)
n
deg(f(0, ), , 0).
En consecuencia, tenemos el siguiente resultado:
apunteimpa5New
2009/11/19
page 103
i
i
i
i
i
i
i
i
Proposici on
Sea f : [0, 1] R
n
R
n
continua y localmente Lipschitz en u,
y sea R
n
un abierto acotado tal que para todo u
0
la unica
solucion de (7.6) esta denida en [0, 1]. Supongamos ademas que
1. P
(u
0
) ,= u
0
para (0, 1) y u
0
.
2. f(0, u
0
) ,= 0 para u
0
.
3. deg(f(0, ), , 0) ,= 0.
Entonces el problema periodico (7.5) tiene al menos una solucion.
apunteimpa5New
2009/11/19
page 104
i
i
i
i
i
i
i
i
Captulo 8
El grado de
Leray-Schauder
8.1. El grado de Leray-Schauder. Deni-
ci on
En este captulo extenderemos la denicion del grado topologico
para aplicaciones denidas en la clausura de un abierto acotado
E, en donde E es un espacio de Banach. Sin embargo, por medio
de un argumento similar al de Kakutani que vimos en el captulo
3, es facil ver que tal denicion no es posible para una aplicacion
cualquiera; por este motivo, nos limitaremos a considerar operadores
de la forma IK, en donde K : E es compacto. Recordemos que
en tal caso, K puede aproximarse por operadores de rango nito: mas
precisamente, dado > 0 existe un operador K
: E continuo
tal que Im(K
) V
con V
un subespacio de dimension nita, y

|K(x) K
(x)| < para todo x

1
.
La denicion del grado de Leray-Schauder se basa en aproximar
al operador I K por medio de un operador (I K
)[
V
, en donde
K
es una -aproximacion de K de rango nito, con sucientemente

peque no. Para esto, debemos probar que la denicion no depende del
1
Ver la observacion que sigue al teorema de Schauder, en el captulo 3.
104
apunteimpa5New
2009/11/19
page 105
i
i
i
i
i
i
i
i
[SEC. 8.1: EL GRADO DE LERAY-SCHAUDER. DEFINICI
ON 105
operador K
elegido, propiedad que se desprende del siguiente lema:

Lema
Sean R
n
un abierto acotado, sea m < n y f : R
m
una
funcion continua. Denimos g : R
n
dada por g(x) = x f(x),
en donde se piensa directamente a R
m
como un subespacio de R
n
por medio de la identicacion (x
1
, . . . , x
m
) = (x
1
, . . . , x
m
, 0, . . . , 0).
Entonces para y R
m
tal que y / g() se verica:
deg(g, , y) = deg( g[
R
m
, R
m
, y). (8.1)
Demostraci on. Observemos en primer lugar que el termino derecho
de (8.1) esta bien denido, pues la restriccion de g a R
m
tiene
imagen en R
m
. Basta probar la igualdad para el caso en que f es de
clase C
1
, con y un valor regular para g.
Notemos que si g(x) = y R
m
, entonces como f(x) R
m
tam-
bien vale que x R
m
. Esto dice que g
1
(y) R
m
, y luego las
preimagenes de y para g coinciden con los de su restriccion a R
m
. Por
otra parte, escribiendo
g(x) = g(x
1
, . . . , x
m
, x
m+1
, . . . , x
n
)
= (x
1
f
1
(x), . . . , x
m
f
m
(x), x
m+1
, . . . , x
n
)
resulta, para x R
m
:
Dg(x) =
_
I
m
_
fi
x
j
(x)
_
1i,jm
_
f
i
x
j
(x)
_
m<jn
0 I
nm
_
en donde I
j
denota la matriz identidad de R
jj
. Ademas, para la
restriccion de g a R
m
, la matriz diferencial es el bloque superior
izquierdo de la matriz anterior, a partir de lo cual el resultado es
evidente.
A partir de ahora, consideraremos E un espacio de Banach, E
un abierto acotado y K : E un operador compacto. El siguiente
resultado es una consecuencia inmediata de la compacidad:
apunteimpa5New
2009/11/19
page 106
i
i
i
i
i
i
i
i
106 [CAP. 8: EL GRADO DE LERAY-SCHAUDER
Lema
Si K(x) ,= x para todo x , entonces
inf
x
|x K(x)| > 0.
Demostraci on. Por contradiccion, supongamos que K(x
n
) x
n
0
para ciertos x
n
. Tomando una subsucesion, podemos suponer
que x
n
converge a cierto valor x , y por la continuidad de K se
deduce que Kx = x, lo que es absurdo.
El grado de Leray-Schauder (en y = 0) se dene entonces de la
siguiente manera:
Denici on
Sean y E como antes, K : E compacto tal que Kx ,= x
sobre , y sea <
1
2
inf
x
|x Kx|. Denimos
deg
LS
(I K, , 0) = deg((I K
)[
V
, V
, 0),
en donde K
es una -aproximacion de K con Im(K
) V
y
dim(V
) < . Para ver que la denicion es independiente de la

aproximacion elegida, supongamos que tenemos dos -aproximaciones
K
y

K
, cuyas imagenes estan contenidas respectivamente en los

subespacios de dimension nita V
y

V
. Por el lema de la pagina

previa, si V = V
+

V
se tiene que
deg((I K
)[
V
, V
, 0) = deg((I K
)[
V
, V, 0),
deg((I

K
)[
,

V
, 0) = deg((I

K
)[
V
, V, 0).
Por otra parte, identicando V con R
n
para n adecuado, la eleccion
de permite ver que I

K
pertenece a la misma componente conexa

de /(0) que I K
, lo que prueba que tienen el mismo grado. Por

ejemplo, basta con denir la homotopa
h(x, ) = (I K
) + (1 )(I

K
)
apunteimpa5New
2009/11/19
page 107
i
i
i
i
i
i
i
i
que claramente no se anula en el borde de V . De esta forma,
deg((I K
)[
V
, V, 0) = deg((I

K
)[
V
, V, 0),
y la independencia queda demostrada.
Las propiedades del grado de Leray-Schauder son analogas a las
del grado de Brouwer, y quedan como ejercicio. En particular, la
invariancia por homotopa requiere la hipotesis adicional de que h
tenga la forma h(, ) = I K
, con K
compacto.
8.2. Algunas aplicaciones
Veamos algunas aplicaciones de la teora de grado de Leray-Schau-
der: en primer lugar, queda como ejercicio evidente probar nueva-
mente el teorema de Schauder.
Pero tambien podemos dar nuevas demostraciones para algunos
de los resultados ya obtenidos por medio del teorema de Schauder. A
modo de ejemplo, veamos otra vez el problema de Dirichlet
_
u
= f(t, u)
u(0) = u
0
, u(1) = u
1
en donde f : [0, 1] R R continua y sublineal
2
. Resulta claro que
conviene aqu establecer una homotopa con el problema u
= 0, para
el cual sabemos calcular su unica solucion; de este modo, podemos
denir F
(v) = v K
(v), en donde el operador (compacto) K
:
C([0, 1]) C([0, 1]) se dene como K
(v) = u, unica solucion del

problema lineal
_
u
= f(t, v)
u(0) = u
0
, u(1) = u
1
Notemos que si F
(u) = 0, entonces para l(t) = (u

1
u
0
)t + u
0
la
recta que une (0, u
0
) y (1, u
1
)) resulta
|u l|
|(u l)
)|
|f(, u)|
|u|
+A.
2
Como en ejemplos anteriores, solo usaremos el hecho de que |f(t, u)| |u|+A
para ciertas constantes y A apropiadas. En este caso, alcanzara con pedir < 1
(o bien <
2
, si trabajamos en L
2
(0, 1)).
apunteimpa5New
2009/11/19
page 108
i
i
i
i
i
i
i
i
En consecuencia,
|u|

A+|l|
1
,
y tomando R mayor que esta ultima cantidad se ve que F
(u) ,= 0
para u B
R
(0) C([0, 1]). Esto dice que el grado de F
en B
R
(0)
esta bien denido y es independiente de ; por otra parte, el grado
de F
0
es muy facil de calcular. En efecto, es claro que K
0
(v) = l para
toda v, de donde F
0
(u) = u l, y la -aproximacion es obviamente
el mismo K
0
, pues claramente Im(K
0
) es el subespacio de dimension
1 dado por V = l). Por otra parte, si u = cl para cierto c R,
entonces F
0
(u) = cl l = (c 1)l; de esta forma, F
0
[
V
se identica
con la funcion : R R dada por (x) = x 1. Si pedimos ademas
R > |l|
, entonces claramente
deg(F
0
, B
R
(0), 0) = deg(, (
R
|l|
,
R
|l|
), 0) = 1,
lo que prueba que deg(F
1
, B
R
(0), 0) = 1 y en consecuencia F
1
se
anula en B
R
(0).
Veamos un ejemplo algo diferente, un sistema de segundo orden
con condiciones de borde no lineales:
_
_
_
u
= f(t, u)
u
(0) = g(u(0)),
u
(1) = h(u(1)).
(8.2)
Supondremos que f : [0, 1] R
n
R
n
, g, h : R
n
R
n
son funciones
continuas. Para el caso Dirichlet hemos demostrado por medio de
Schauder la existencia de soluciones cuando f cumple la condicion de
Hartman:
f(t, u) u > 0 para [u[ = R. (8.3)
A modo de ejercicio, veremos un resultado similar para este nuevo
problema:
Proposici on
Supongamos que f cumple (8.3), y ademas
g(u) u 0 h(u) u
apunteimpa5New
2009/11/19
page 109
i
i
i
i
i
i
i
i
para [u[ = R. Entonces el problema (8.2) tiene al menos una solucion
u tal que |u|
R.
Sugerencia: para cada v C([0, 1], R
n
), A, B R
n
y [0, 1]
considerar K
(v, A, B) = u, la unica solucion de

u
= f(t, v) u(0) = A, u(1) = B.

Denir ahora F
: C([0, 1], R
n
) R
2n
C([0, 1], R
n
) R
2n
dada por
F
(u, A, B) = (u K
(u, A, B), (F
)
2
(u, A, B), (F
)
3
(u, A, B)) ,
donde
(F
)
2
(u, A, B) = [K
(u, A, B)
(0) g(A)] (1 )A,

(F
)
3
(u, A, B) = [K
(u, A, B)
(1) h(B)] + (1 )B.

Vericar que si (u, A, B) , con
= (u, A, B) : |u|
< R, [A[ < R, [B[ < R,

entonces F
(u, A, B) ,= 0, y comprobar que deg(F

0
, , 0) ,= 0.
Resolucion:
En realidad, existen diversas formas de plantear este problema
como un problema de punto jo. Siguiendo la sugerencia, buscaremos
un cero de F
1
en el conjunto
= (u, A, B) : |u|
< R, [A[ < R, [B[ < R.

A nes de aplicar la teora de grado, veamos en primer lugar que si
(u, A, B) , entonces F
(u, A, B) ,= 0. Podemos suponer que esto

es cierto para = 1, pues si F
1
(u, A, B) = 0 entonces u es solucion
del problema.
Supongamos entonces que (u, A, B) , y ademas F
(u, A, B) =
0 para cierto [0, 1). La primera coordenada de F
nos dice que

u
= f(t, u), u(0) = A, u(1) = B.

Se deduce que |u|
= R, de modo que existe un valor t

0
tal que
[u(t
0
)[ = R y la funcion (t) := [u(t)[
2
alcanza all su maximo abso-
luto. Separemos el argumento en tres casos:
apunteimpa5New
2009/11/19
page 110
i
i
i
i
i
i
i
i
1. Si t
0
(0, 1), entonces
0
(t
0
) = 2[u
(t
0
) u
(t
0
) +u(t
0
) u
(t
0
)] 2u(t
0
) u
(t
0
).
A partir de la hipotesis hecha para f, el ultimo termino es
positivo, lo que es absurdo.
2. Si t
0
= 0, entonces tiene un maximo en 0 y luego decrece;
de esta forma,
(0) 0. Esto dice que u
(0) u(0) 0. Como

u(0) = A, y ademas [u
(0)g(A)](1)A = 0, multiplicando
por A se obtiene:
[u
(0) u(0) g(A) A] (1 )R

2
= 0.
En consecuencia, como el primer termino es menor o igual que
cero, se deduce que = 1, lo que es absurdo.
3. Si t
0
= 1, se procede en forma analoga al caso anterior.
Para concluir la demostracion, observemos que K
0
(u, A, B) = l,
en donde l es la recta dada por l(t) = (B A)t + A, de modo que
F
0
(u, A, B) = (u l, A, B). De esta forma, el grado de F
0
respecto
de es igual al grado de F
0
restringida al subespacio V = l) R
2n
,
que se identica con la aplicacion : R R
2n
R R
2n
dada por
(r, A, B) = (r 1, A, B). Luego deg
LS
(F
0
, , 0) = 1, y la prueba
esta completa.
apunteimpa5New
2009/11/19
page 111
i
i
i
i
i
i
i
i
Captulo 9
Problemas resonantes
9.1. Condiciones de Landesman-Lazer
En este captulo veremos la aplicacion de las tecnicas de teora de
grado a la resolucion de ciertos problemas, denominados resonantes.
A partir de los diversos ejemplos que hemos presentado, podemos
observar que muchos problemas del analisis no lineal pueden escribirse
en la forma
Lu = Nu
en donde L es un operador diferencial lineal denido en alg un espacio
funcional adecuado, y N es un operador no lineal, que en general
involucra a derivadas de orden menor. Este es el caso de la ecuacion
de segundo orden
u
(t) = f(t, u(t), u
(t)), (9.1)
con diferentes condiciones de contorno.
Si el operador L es inversible, el problema se dice no resonante.
Por ejemplo, esto ocurre si se considera la ecuacion anterior bajo
condiciones de Dirichlet; en tal caso, se reduce al problema de punto
jo u = L
1
Nu, para cuya resolucion se pueden utilizar teoremas de
punto jo, o la teora de grado de Leray-Schauder.
Cuando el operador L no es inversible, el problema se denomi-
na resonante. Esto ocurre, por ejemplo, si a la ecuacion (9.1) se le
111
apunteimpa5New
2009/11/19
page 112
i
i
i
i
i
i
i
i
112 [CAP. 9: PROBLEMAS RESONANTES
ponen condiciones de Neumann o periodicas, para las cuales el ope-
rador lineal Lu = u
tiene n ucleo no trivial (mas precisamente, el

conjunto de funciones constantes). Este es un caso de resonancia en
el primer autovalor, denominacion que proviene del siguiente planteo:
consideremos el problema de autovalores
u
= u
con condiciones periodicas
u(0) = u(T), u
(0) = u
(T).
Entonces es facil ver que los autovalores son
k
=
_
2k
T
_
2
k N
0
.
De esta forma, el primer autovalor es
0
= 0, que tiene como espacio
de autofunciones asociadas a las constantes. Cabe observar que el
problema es mas sencillo para k = 0 que en el caso de resonancia en
alg un autovalor de orden superior, es decir:
u
+
k
u = f(t, u, u
)
con k > 0. Esto se debe esencialmente a dos aspectos: por un la-
do, para k > 0 las autofunciones asociadas ya no tienen signo cons-
tante, y eso requiere un cuidado mayor en algunos de los calculos que
efectuaremos. Pero la mayor dicultad reside en el hecho de que los
autovalores de orden k > 0 ya no son necesariamente simples: por
ejemplo, para el problema periodico el espacio de autofunciones aso-
ciadas a
k
es el generado por las funciones cos(
k
t) y sen(
k
t),
que tiene dimension 2. Sobre este problema hablaremos un poco mas
adelante, as como de la extension de estos resultados a sistemas de
ecuaciones.
En un trabajo clasico, E. Landesman y A. Lazer [14] obtuvieron un
resultado de existencia para un problema elptico con condiciones de
Dirichlet, que para el caso de una ecuacion ordinaria con condiciones
periodicas y resonancia en el primer autovalor puede adaptarse de la
siguiente forma:
apunteimpa5New
2009/11/19
page 113
i
i
i
i
i
i
i
i
[SEC. 9.1: CONDICIONES DE LANDESMAN-LAZER 113
Teorema (Landesman-Lazer)
Supongamos que p C([0, T]) y que g C(R) es acotada y tiene
lmites en . Entonces la ecuacion resonante
u
+g(u) = p(t)
admite una solucion T-periodica si
g() < p :=
1
T
_
T
0
p(t) dt < g(+). (9.2)
Ademas, si g satisface que:
g() < g(x) < g(+) x R
entonces (9.2) es tambien necesaria.
Observaci on
La necesidad de la condicion (9.2) es clara: si u es una solucion T-
periodica del problema, por integracion se obtiene que
_
T
0
g(u(t)) dt =
_
T
0
p(t) dt. Como la imagen de u es un subconjunto compacto de R,
se deduce que g() <
1
T
_
T
0
p(t) dt < g(+).
Observaci on
El resultado anterior vale tambien si se invierten las desigualdades
en (9.2).
Vamos a demostrar el resultado anterior en un contexto algo mas
amplio: consideremos el problema periodico
_
_
_
u
+g(t, u) = 0
u(0) = u(T),
u
(0) = u
(T),
(9.3)
en donde g : [0, T] R R es una funcion continua y acotada.
A nes de obtener condiciones de Landesman-Lazer apropiadas
para este problema, denamos los siguientes lmites:
lmsup
u
g(t, u) := g
s
(t) (9.4)
apunteimpa5New
2009/11/19
page 114
i
i
i
i
i
i
i
i
y
lminf
u
g(t, u) := g
i
(t). (9.5)
Obviamente, en el caso del Teorema de Landesman-Lazer, se tiene
que g
s
= g
i
= g() p, de modo que el siguiente resultado es
mas general:
Teorema
Si
_
T
0
g
+
s
(t)dt < 0 <
_
T
0
g
i
(t)dt (9.6)
o
_
T
0
g
s
(t)dt < 0 <
_
T
0
g
+
i
(t)dt, (9.7)
entonces el problema (9.3) tiene al menos una solucion.
Demostraci on. Consideremos el espacio C([0, T]), y el subespacio
D := u C
2
([0, T]) : u(0) = u(T), u
(0) = u
(T).
Notemos que el operador L : D C([0, T]) no es inversible, pues
ker(L) = R, aunque admite un operador inverso a derecha /, que
resulta compacto. En efecto, un sencillo calculo (y tambien el hecho
de que L es simetrico respecto del producto escalar de L
2
) muestra
que
Im(L) = C([0, T]) : = 0.
Luego, se puede denir / : Im(L) C([0, T]) como el operador dado
por / = u, en donde u es la unica solucion del problema
_
_
u
=
u(0) = u(T)
u
(0) = u
(T)
u = 0.
La compacidad de / se deduce de modo similar a los otros casos que
vimos, empleando ahora la desigualdad de Wirtinger y el teorema de
Arzela-Ascoli. Observemos entonces que para > 0, el problema
_
u
+g(t, u) = 0
u(0) = u(T), u
(0) = u
(T)
(9.8)
apunteimpa5New
2009/11/19
page 115
i
i
i
i
i
i
i
i
[SEC. 9.1: CONDICIONES DE LANDESMAN-LAZER 115
es equivalente al problema de punto jo
u = u g(, u) /(g(, u) g(, u)), (9.9)
En efecto, si u es solucion de (9.8) integrando la ecuacion resulta
g(, u) = 0, y u = u /g(, u). Recprocamente, si u es solucion de
(9.9) entonces
u
= (g(, u) g(, u)).

Ademas, tomando promedio en ambos terminos de (9.9), se ve que
u = u g(, u),
y luego g(, u) = 0.
En consecuencia, basta probar que (9.9) tiene solucion para = 1.
Por otra parte, observemos que si = 0 entonces (9.9) es equivalente
a la igualdad
g(, u) = 0
para cierto u R.
A partir de lo anterior, vamos a considerar la aplicacion dada por
F
(u) = u
_
u g(, u) /(g(, u) g(, u))
_
.
Armamos que F
1
(u) = 0 para alg un u, lo que corresponde a una
solucion del problema original. Para ello, probaremos:
1. F
(u) ,= 0 para |u|
0 y [0, 1].
2. deg
LS
(F
0
, B
R
, 0) = 1 para cierto R sucientemente grande,
donde B
R
C([0, T]) es la bola de radio R centrada en el
origen.
Observemos que una vez demostradas 1 y 2, el resultado se sigue a
partir de la invariancia por homotopa del grado de Leray-Schauder.
Veremos unicamente el caso en que vale (9.6), pues el otro es analogo.
A nes de probar la propiedad 1, supongamos en primer lugar
que tenemos F
n
u
n
= 0, con |u
n
|
y
n
(0, 1]. Entonces
u
n
+
n
g(t, u
n
) = 0, y u
n
es T-periodica.
Por otro lado, podemos escribir u
n
= u
n
+v
n
, y entonces
|v
n
|
c|v
n
|
= c|u
n
|
c|g(, u
n
)|
M
apunteimpa5New
2009/11/19
page 116
i
i
i
i
i
i
i
i
para cierta constante M. Se deduce que u
n
. Tomando una
subsucesion, podemos suponer por ejemplo que u
n
+. Por el
lema de Fatou resulta
0 = lmsup
n
_
T
0
g(t, u
n
)dt = lmsup
n
_
T
0
g(t, v
n
+u
n
)dt
_
T
0
lmsup
n
g(t, v
n
+u
n
)dt
_
T
0
g
+
s
(t)dt,
lo que es absurdo. La misma conclusion se obtiene si u
n
.
Por otra parte, si F
0
u
n
= 0, para cierta sucesion u
n
que verica
|u
n
|
, entonces u
n
R y
_
T
0
g(t, u
n
)dt = 0. Aplicando otra
vez Fatou, se llega como antes a un absurdo.
Finalmente, calculemos para R 0 el grado de Leray-Schauder
deg
LS
(F
0
, B
R
, 0). Como la imagen de F
0
Id esta contenida en R,
de acuerdo con la denicion del grado de Leray-Schauder alcanza con
calcular el grado de Brouwer deg
B
(F
0
[
R
, B
R
R, 0). Mas aun, F
0
[
R
se
identica con la aplicacion : R R dada por (r) =
_
T
0
g(t, r)dt.
Nuevamente, por Fatou vemos que
lmsup
r+
(r)
_
T
0
g
+
(t)dt < 0, lmsup
r
(r)
_
T
0
g
(t)dt > 0;
de esta forma, (R) < 0 < (R) para R 0, y en consecuencia
deg
B
(F
0
[
R
, B
R
R, 0) = 1
para R grande.
Observaci on
Vale la pena observar que en el caso (9.7) el grado de es 1. Esto
reeja dos situaciones diferentes que se producen cuando se resuelve
el problema por metodos variacionales: en el caso (9.7) se demuestra
que la funcional es coerciva, y alcanza un mnimo, mientras que para
(9.6) se obtiene un punto crtico que es del tipo punto silla.
apunteimpa5New
2009/11/19
page 117
i
i
i
i
i
i
i
i
[SEC. 9.2: GENERALIZACI
ON A SISTEMAS. CONDICI
ON DE NIRENBERG 117
9.2. Generalizaci on a sistemas. Condici on
de Nirenberg
En la seccion previa vimos que un problema resonante como la
ecuacion u
+g(u) = p(t) con u periodica admite solucion si se asumen

las condiciones de Landesman-Lazer
g() < p < g(+)
o
g(+) < p < g().
Vamos a ver ahora la generalizacion de este resultado al caso de un
sistema: supondremos entonces que g : R
N
R
N
es continua y
acotada, y p C([0, T], R
N
).
A nes de encontrar la generalizacion apropiada, vamos a re-
escribir las condiciones clasicas de Landesman-Lazer (caso N = 1)
de la siguiente forma. En primer lugar, observemos que los lmites
g() pueden interpretarse como una extension continua de g a la
recta extendida. Conviene pensar, para v = 1, en el valor g
v
dado
por
g
v
:= lm
s+
g(s.v).
Desde este punto de vista, las condiciones de Landesman-Lazer
(cualquiera de ellas) dicen que g
v
,= p para v en la esfera 0-dimensional
S
0
:= 1, 1, lo que permite denir la aplicacion : S
0
S
0
dada
por (v) =
g
v
p
|g
v
p|
. Pero en realidad dicen algo mas: no solo que
esta bien denida, sino que ademas su grado (como aplicacion de la
esfera en s misma) es distinto de 0.
Vale la pena entender esto un poco mejor, pues nos dara la pauta
para entender el caso N > 1. En general, el grado de una aplicacion
continua : S
N1
S
N1
, en donde S
N1
es la esfera unidad de
R
N
, puede denirse facilmente empleando homologa. Sin embargo,
en el marco del captulo 7 podemos observar simplemente que dada
una funcion continua : S
N1
S
N1
, cualquier funcion continua
f : B
1
(0) R
N
que extienda a va a tener el mismo grado de
Brouwer respecto del 0. De esta forma, el grado de se dene como
el grado de alguna de sus extensiones continuas.
apunteimpa5New
2009/11/19
page 118
i
i
i
i
i
i
i
i
En el caso anterior con N = 1, las condiciones de Landesman-
Lazer muestran que toda extension continua de al intervalo [1, 1]
tiene que anularse, con lo cual el resultado es trivial.
En este contexto, el siguiente resultado puede verse como una gen-
eralizacion natural del teorema de Landesman-Lazer. Se trata de una
adaptacion de un teorema mas abstracto de Nirenberg, para sistemas
del tipo elptico.
Teorema
Sea g : R
N
R
N
continua y acotada, y supongamos que los
lmites radiales g
v
:= lm
r+
g(rv) existen y son uniformes respecto
de v S
N1
. Supongamos, ademas, que:
g
v
,= p :=
1
T
_
T
0
p(t)dt para todo v S
N1
.
El grado de la aplicacion : S
N1
S
N1
dada por
(v) =
g
v
p
[g
v
p[
es distinto de 0.
Entonces el problema
u
+g(u) = p(t) 0 < t < T (9.10)

tiene al menos una solucion T-periodica.
Vamos a demostrar directamente un resultado mas general, que
en realidad no requiere la condicion de existencia de lmites radiales.
En primer lugar, observemos que en el caso N = 1 con g acota-
da, el mismo razonamiento de antes permite mostrar una condicion
suciente (mas debil que la de Landesman-Lazer) para la existencia
de soluciones:
g(x) < p < g(x) para x R
0
(o viceversa) (9.11)
para alg un R
0
> 0. En particular, esto incluye el caso de las llamadas
vanishing nonlinearities: si p = 0, el problema tiene soluciones cuando
vale (9.11), incluso si g() = 0.
apunteimpa5New
2009/11/19
page 119
i
i
i
i
i
i
i
i
[SEC. 9.2: GENERALIZACI
ON A SISTEMAS. CONDICI
ON DE NIRENBERG 119
Notemos que la condicion de que g sea acotada es, en cierto sen-
tido, esencial: si consideramos por ejemplo la ecuacion
u
+u = sent,
se ve que no hay soluciones 2-periodicas, aunque (9.11) se cumple.
De todas formas, es posible evitar la condicion de que g sea aco-
tada de diversas maneras: por ejemplo, si valen las desigualdades de
(9.11) en el sentido inverso, o si g es acotada solamente de un lado.
Estos dos casos quedan como ejercicio; a continuacion mostraremos
un resultado que incluye tambien el caso en que g es sublineal.
Vale la pena repasar nuestra demostracion anterior, en la que uno
de los principales pasos consistio en obtener cotas a priori para las
soluciones periodicas del problema u
= (p g(u)) con (0, 1].

Haciendo uso una vez mas de la desigualdad de Wirtinger, se ve
que
|u
|
L
2
T
2
|u
|
L
2
T
2
|p g(u)|
L
2.
En consecuencia, si |u|
= R deducimos que
|u u|

T
3/2
2
_
|p|
L
2 +T
1/2
G
R
_
:=
R
(9.12)
donde G
R
= sup
|u|R
[g(u)[. De este modo, si G
R
y |p|
L
2 son su-
cientemente peque nos respecto de R, podemos concluir que [u[ es
grande, y |u u|
is comparativamente peque no. Por ejemplo, si
R
<
R
2
, entonces
[u(t)[ [u[ |u u|
R 2
R
> 0.
Por otro lado, cuando integramos la ecuacion resulta:
_
T
0
p(t) dt =
_
T
0
g(u(t)) dt.
Luego,
inf
R2
R
xR
g(x) p sup
R2
R
xR
g(x)
si u > 0, y
inf
Rx2
R
R
g(x) p sup
Rx2
R
R
g(x)
apunteimpa5New
2009/11/19
page 120
i
i
i
i
i
i
i
i
en caso contrario.
En consecuencia, la condicion (9.11) puede en realidad debilitarse
de la siguiente manera:
g(x) < p < g(x) para x I
R
(o viceversa) (9.13)
para alg un R > 0, donde I
R
:= [R 2
R
, R] R
+
.
En [29] Ortega y Sanchez dieron un interesante ejemplo que mues-
tra que la generalizacion de este resultado para N > 1 no es inmedi-
ata. Mas precisamente, se presenta un sistema para el cual no hay
soluciones, aunque valen las siguientes condiciones para cierto R > 0:
g(u) ,= p para [u[ R.
El grado de la aplicacion
R
: S
N1
S
N1
dada por
R
(v) =
g(Rv) p
[g(Rv) p[
es distinto de 0.
La existencia de soluciones para sistemas en los que no vale la
condicion de Nirenberg fue analizada por ejemplo en [31]. En este
caso, las hipotesis para g
v
se reemplazan por otras analogas para el
cociente
g(u)p
|g(u)p|
; de esta forma, los lmites radiales de g podran ser
iguales a p para algunos puntos (quizas todos) de la esfera unidad, o
podran incluso no existir. Una situacion mas general se estudia en
[2], en donde la existencia de soluciones se deduce de una condicion
generalizada de Nirenberg, pero local: no se pide que existan lmites
radiales sobre toda la esfera, sino sobre un cubrimiento de ella, y
en ciertas direcciones. En cualquier caso, todos estos resultados re-
quieren un comportamiento especco de la no-linealidad (acotada)
g : R
N
R
N
en el innito.
Probaremos ahora un teorema algo mas general, que contiene a
todos los resultados mencionados y puede verse como una extension
de (9.13) para N > 1. En particular, no se asume ning un compor-
tamiento especco de g en el innito.
apunteimpa5New
2009/11/19
page 121
i
i
i
i
i
i
i
i
[SEC. 9.3: UNA CONDICI
ON GEOM
ETRICA 121
9.3. Una condici on geometrica
Sea denida como antes por (9.12). En primer lugar, proponemos
la siguiente condicion de crecimiento para g:
R+R
< R (9.14)
para alg un R > R. Como dijimos, esto incluye el caso en que g es sub-
lineal: mas en general, si [g(u)[ a[u[ +b con a <

T
2
, entonces (9.14)
se cumple tomando R = R con
_
1,
2
aT
2
1
_
y R sucientemente
grande.
La primera condicion del teorema de Nirenberg sera reemplazada
por la siguiente condicion geometrica:
p / co(g(B
R
(v)) (9.15)
para cada v R
N
tal que [v[ = R. Aqu co(X) denota la capsula
convexa de un subconjunto X R
N
.
Teorema
Supongamos que valen las condiciones (9.14) y (9.15) para ciertas
constantes R > R > 0. Ademas, supongamos que
deg
B
(g p, B
R
(0), 0) ,= 0. (9.16)
Entonces el problema (9.10) admite al menos una solucion T-periodi-
ca.
Observaci on
Seg un mencionamos, este resultado puede ser interpretado como
una extension de la condicion (9.13), en el sentido de que depende
unicamente del comportamiento de g sobre la corona
/ := u : R R [u[ R +R R
N
.
Vale la pena observar tambien que la condicion (9.15) no puede
ser reemplazada por esta otra, mas debil:
g ,= p en B
R
(v) v tal que [v[ = R.
Esta diferencia no se percibe en el caso N = 1, pues all la condicion
(9.13) implica (9.15), y contiene ademas a la condicion (9.16).
apunteimpa5New
2009/11/19
page 122
i
i
i
i
i
i
i
i
En particular, es facil vericar que el resultado de Nirenberg se
sigue como una consecuencia inmediata del Teorema 9.3.
9.3.1. Demostraci on
Sea E = u C([0, T]) : u(0) = u(T), y consideremos el conjun-
to
:= u E : |u u|
< R, [u[ < R.

De acuerdo a lo ya visto, es suciente comprobar que:
1. u
,= (p g(u)) para u y 0 < 1.

2. g(u) ,= p para u R
N
.
3. deg
B
(g p, R
N
, 0) ,= 0.
Como R
N
= B
R
(0), las dos ultimas condiciones se desprenden
en forma directa de las hipotesis. Ademas, si u
= (p g(u)) para
cierto (0, 1] y u , se deduce que
|u u|

T
3/2
2
_
|p|
L
2 +T
1/2
G
R+R
_
=
R+R
< R.
Luego [u[ = R, y u(t) B
r
(u) para cierto r < R, para cada t [0, T].
A partir de la condicion (9.15) y la version geometrica del teorema
de Hahn-Banach, existe un hiperplano H = w)
que separa p y el
conjunto compacto y convexo co(g(B
r
(u)); en otras palabras,
g(A+u), w) p, w) +
para cierta constante > 0 y todo [A[ r. Integrando la ecuacion,
se ve que
1
T
_
T
0
g(A(t) +u) dt = p,
donde A(t) := u(t) u. Entonces
0 =
1
T
_
T
0
g(A(t) +u) p, w) dt ,
apunteimpa5New
2009/11/19
page 123
i
i
i
i
i
i
i
i
[SEC. 9.4: RESONANCIA EN UN AUTOVALOR DE ORDEN SUPERIOR. 123
lo que es absurdo.
Observaci on
A la luz del teorema anterior, podemos examinar mas en detalle
el ejemplo de Ortega y Sanchez de [29]. Se trata de una no-linealidad
acotada g : R
2
R
2
, con deg(g, B
R
, 0) ,= 0, para la cual los autores
construyen una funcion p de promedio 0 de modo tal que el problema
u
+ g(u) = p no tiene soluciones T-periodicas. Por conveniencia, g

se escribe en notacion compleja de la siguiente forma:
g(z) = e
iRe(z)
z
_
1 +[z[
2
.
De acuerdo a lo que hemos visto, existe un valor R = R(p) tal que si
u es T-periodica y satisface u
+g(u) = p para (0, 1], entonces

|uu|
< R. Ahora bien, si consideramos [z[ R, para u B

R
(z)
se tiene
u
_
1 +[u[
2
z
_
1 +[z[
2
.
Sin embargo, si R >

2
, la funcion e
iRe(u)
toma en B
R
(z) valores
en un rango de angulos que excede a , de modo que g(B
R
(z)) no
puede mantenerse dentro de un mismo semiplano. En otras palabras,
la condicion (9.15) no se cumple.
Podemos observar tambien que, una vez jada p, el valor de R es
el mismo si ahora consideramos la no-linealidad
g
(z) = e
i
Re(z)
z
_
1 +[z[
2
.
Sin embargo, ahora se ve que para sucientemente grande el efecto
de la rotacion puede evitarse: basta considerar >
2R
y el teorema
anterior vale tomando R 0.
9.4. Resonancia en un autovalor de orden
superior. Condici on de Lazer-Leach
En esta seccion estudiaremos la existencia de soluciones de un
problema algo diferente al anterior:
u
+m
2
u +g(u) = p(t) 0 < t < 2 (9.17)
apunteimpa5New
2009/11/19
page 124
i
i
i
i
i
i
i
i
bajo condiciones periodicas:
u(0) = u(2), u
(0) = u
(2). (9.18)
El valor m ,= 0 es entero, p L
2
(0, 2), y la no-linealidad g es,
como antes, continua.
Se trata nuevamente de un problema resonante aunque, como
mencionamos al comienzo del captulo, el n ucleo del operador lineal
asociado L
m
u := u
+ m
2
u sobre el espacio de las funciones 2-
periodicas ya no es el subespacio de funciones constantes. En termi-
nos mas precisos, esta situacion es conocida en la literatura como
resonancia en un autovalor de orden superior: seg un mencionamos,
los n umeros
m
= m
2
con m = 0, 1, . . . corresponden a los autova-
lores del problema u
= u bajo condiciones 2-periodicas. El caso

m = 0 es el que ya estudiamos: si el promedio de p se encuentra entre
los lmites de g en , entonces hay solucion.
Notemos que el promedio p puede pensarse como la proyeccion del
termino forzante p sobre el n ucleo del operador lineal L
0
, que consiste
en el subespacio (unidimensional) de las funciones constantes.
A diferencia del caso anterior, cuando m ,= 0 se hace preciso
trabajar con un n ucleo que es 2-dimensional, mas precisamente:
Ker(L
m
) = cos(mt) + sin(mt) : , R := V
m
.
En consecuencia, sera razonable esperar para esta nueva situacion
un teorema analogo al de Landesman-Lazer, expresado en terminos
de la proyeccion de p sobre V
m
o, equivalentemente, en terminos de
los m-esimos coecientes de Fourier de p.
En 1969, D.E. Leach y A. Lazer mostraron que, en efecto, eso es
lo que ocurre (ver [15]):
apunteimpa5New
2009/11/19
page 125
i
i
i
i
i
i
i
i
[SEC. 9.4: RESONANCIA EN UN AUTOVALOR DE ORDEN SUPERIOR. 125
Teorema (Condiciones de Lazer-Leach)
Sea g C(R) acotada, con lmites en innito g(), y sean
p
,
p
los m-esimos coecientes de Fourier de p.
Entonces, si
_
2
p
+
2
p
<
2
[g(+) g()[ , (9.19)

el problema (9.17)-(9.18) tiene al menos una solucion 2-periodica.
Es posible obtener una extension inmediata del teorema de Lazer-
Leach si la cantidad [g(+) g()[ es reemplazada por
g
inf
(+) g
sup
()
o bien
g
inf
() g
sup
(+),
donde g
inf
y g
sup
son respectivamente los lmites inferior y superior
de g.
Como hicimos para el teorema de Nirenberg, vamos a demostrar
directamente un caso mas general, que no requiere un comportamien-
to asintotico especco: en particular, podra ocurrir que g tuviera el
mismo lmite en , o directamente que dicho lmite no existiera.
Las condiciones son comparables a (9.13): mas precisamente, vamos
a denir para R y > 0, ciertos intervalos no-triviales
I
+
R,
= [a
R,
, b
R,
], I
R,
= [b
R,
, a
R,
],
y las funciones C = C(R, ), = (), con () 2 para 0,
tales que si
()
_
_
inf
uI
+
R,
g(u) sup
uI
R,
g(u)
_
_
C(R, ) >
_
2
p
+
2
p
(9.20)
o
()
_
_
inf
uI
R,
g(u) sup
uI
+
R,
g(u)
_
_
C(R, ) >
_
2
p
+
2
p
, (9.21)
apunteimpa5New
2009/11/19
page 126
i
i
i
i
i
i
i
i
entonces el problema (9.17)-(9.18) tiene al menos una solucion.
En particular, si g es acotada, podra verse que a
R,
+ y
C(R, ) 0 para R + y 0; en consecuencia, las hipotesis
de nuestro teorema se satisfacen bajo las condiciones de Lazer-Leach:
2
[lminf
u+
g(u) lmsup
u
g(u)] >
_
2
p
+
2
p
o
2
[lminf
u
g(u) lmsup
u+
g(u)] >
_
2
p
+
2
p
.
9.5. Algunos resultados preliminares
Sea H el espacio de funciones 2-periodicas y absolutamente con-
tinuas con derivada en L
2
,
H = H
1
per
(0, 2) :=
_
u H
1
(0, 2) : u(0) = u(2)
_
provisto de la norma usual |u| := |u|
H
1 =
_
|u|
2
L
2
+|u
|
2
L
2
_
1/2
, y
sea
D = H
2
per
(0, 2) :=
_
u H H
2
(0, 2) : u
(0) = u
(2)
_
.
Consideremos ademas el operador L
m
: D L
2
(0, 2) denido ante-
riormente, y su n ucleo V
m
, que puede describirse del siguiente modo:
V
m
:= Ker(L
m
) = u
w
: w = (, ) R
2
,
donde
u
w
(t) := cos(mt) + sin(mt).
Por conveniencia, denimos J : R
2
V
m
como el isomorsmo dado
por J(w) = u
w
. Los coecientes m-esimos de Fourier de una funcion
u L
1
(0, 2) seran denotados respectivamente por
u
y
u
, vale
decir:
u
=
1
_
2
0
u(t) cos(mt) dt,
u
=
1
_
2
0
u(t) sen(mt) dt.
apunteimpa5New
2009/11/19
page 127
i
i
i
i
i
i
i
i
[SEC. 9.5: ALGUNOS RESULTADOS PRELIMINARES 127
Ademas, si w(u) = (
u
,
u
), entonces la proyeccion ortogonal T de
L
2
(0, 2) sobre V
m
puede escribirse como Tu = J(w(u)) = u
w(u)
.
Es inmediato ver (por simple calculo, o -nuevamente- usando el
hecho de que L
m
es simetrico respecto del producto interno de L
2
)
que la imagen de L
m
es el complemento ortogonal de V
m
:
R(L
m
) =
_
L
2
(0, 2) :
_
2
0
(t) cos(mt) dt
=
_
2
0
(t) sin(mt) dt = 0
_
.
En consecuencia, podemos denir un inverso a derecha / : R(L) H
del operador L
m
, dada por / = u, donde u D es la unica solucion
2-periodica del problema
_
u
+m
2
u =
Tu = 0.
Por otra parte, se puede obtener la siguiente estimacion:
Lema
Para cada u D vale:
|u Tu| |L
m
(u)|
L
2.
Demostraci on. Sea w = u Tu, entonces L
m
(u) = L
m
(w). Escribi-
endo el desarrollo de Fourier
w =
a
0
2
+
nN{m}
1
[a
n
cos(nt) +b
n
sin(nt)] ,
resulta
|w
+m
2
w|
2
L
2
= (a
0
m
2
)
2
+
nN{m}
(n
2
m
2
)
2
_
a
2
n
+b
2
n
_
a
2
0
+
nN{m}
(1 +n
2
)
_
a
2
n
+b
2
n
_
= |w|
2
L
2 +|w
|
2
L
2.
apunteimpa5New
2009/11/19
page 128
i
i
i
i
i
i
i
i
Observaci on
Como
|u
|
L
2 |L
m
(u)|
L
2 +m
2
|u|
L
2 (1 +m
2
)|L
m
(u)|
L
2,
se deduce facilmente que / es compacto. Esto puede verse empleando
el teorema de Arzela-Ascoli, o directamente a partir del hecho, facil
de vericar, de que la inmersion H
2
(0, 2) H es compacta.
Vamos a introducir la siguiente notacion. Para R > 0, denimos
las constantes
M
R
= sup
|u|
2R
[g(u)[,
R
= |p|
L
2 +M
R
2.
Ademas, para > 0 sean
a
R,
=
(R
R
)
_
(1 +m
2
)
2
R
, b
R,
= mn
_
2R,
R
2
R
_
y los intervalos
I
+
R,
= [a
R,
, b
R,
], I
R,
= [b
R,
, a
R,
].
Finalmente, consideremos los conjuntos
I
= t [0, 2] : [ cos(mt)[ <

J
+
= t [0, 2] : cos(mt) >

J
= t [0, 2] : cos(mt) <

y las funciones
() =
_
I
[ cos(mt)[ dt
() =
_
J
+
cos(mt) dt =
_
J
cos(mt) dt
C(R, ) =
_
()
+

R
_
2(1 +m
2
)
m(R
R
)
_
M
R
apunteimpa5New
2009/11/19
page 129
i
i
i
i
i
i
i
i
[SEC. 9.6: TEOREMA DE LAZER-LEACH GENERALIZADO 129
Observaci on
A partir de la denicion, se ve que () = 2
1
2
2, y
() = 4(1
1
2
) 0 cuando 0. Mas aun, si g es acotada
resulta a
R,
+ para R +, y C(R, ) 0 cuando R +
y 0.
9.6. Teorema de Lazer-Leach generaliza-
do
Con la notacion introducida en la seccion previa, podemos es-
tablecer el siguiente resultado de existencia:
Teorema
Supongamos a
R,
> 0, y que una de las condiciones (9.20) o (9.21)
se cumple para alg un R y alg un > 0. Entonces (9.17)-(9.18) admite
al menos una solucion u H
1
(0, 2) tal que |u|
H
1 < R.
Demostraci on. Supondremos que vale (9.20); el otro caso es analogo.
Para [0, 1], consideremos de modo similar al del caso Landes-
man-Lazer el operador F
: H H dado por F
u = u T
u, donde
el operador (compacto) T
se dene por:
T
u = Tu +T(p g(u)) +/
_
p g(u) T(p g(u))
_
.
Observemos que, para > 0, u es un cero de F
si y solo si u D, y
L
m
(u) = (p g(u)).
En efecto, si F
u = 0 resulta u = T
u D, y aplicando T en
ambos terminos se deduce que T(pg(u)) = 0. Ademas, como L
m
T
0 entonces L
m
(u) = L
m
/
_
pg(u)
_
= (pg(u)). Recprocamente,
si L
m
(u) = (p g(u)) y u D, entonces
_
2
0
L
m
u(t)(t) dt =
_
2
0
u(t)L
m
(t) dt = 0
para toda en el n ucleo de L
m
. En consecuencia T(p g(u)) = 0,
de donde u = Tu +/(p g(u)) = T
u.
Vamos a probar que F
1
tiene al menos un cero. En primer lu-
gar, veamos que F
no se anula sobre B
R
(0): de esta manera, la
apunteimpa5New
2009/11/19
page 130
i
i
i
i
i
i
i
i
demostracion se reduce a probar que el grado de Leray-Schauder
deg
LS
(F
0
, B
R
(0), 0) es distinto de 0.
Consideremos primero el caso (0, 1]. Si |u| = R, entonces
|u|
2R. Luego, si L
m
(u) = (p g(u)) resulta
|u Tu|
H
1 |p g(u)|
L
2 |p|
L
2 +M
R
2 =
R
.
Ademas, si Ker(L
m
) entonces
0 =
1
_
2
0
L
m
u(t)(t) dt =
1
_
2
0
[p(t) g(u(t))](t) dt.
Por conveniencia, escribamos Tu = cos(mt), con [0, 2).
Entonces
p
+i
p
=
1
_
2
0
g(u(t))e
imt
dt =
e
i
_
2
0
g( cos(mt)+(t))e
imt
dt,
(9.22)
donde (t) = u(t +

m
) Tu(t +

m
). Por otra parte, notemos que
R
R
|Tu|
H
1 = | cos(mt)|
H
1 =
_
(1 +m
2
)
y
R
2
|u|
2
L
2
= |u Tu|
2
L
2
+|Tu|
2
L
2

2
.
Esto implica que
R
R
_
(1 +m
2
)

R
.
Observemos ahora que
_
2
0
g( cos(mt) +(t)) sen(mt) dt =
_
2
0
g( cos(mt) +(t))
_
sen(mt)

(t)
m
_
dt
+
_
2
0
g( cos(mt) +(t))
(t)
m
dt
apunteimpa5New
2009/11/19
page 131
i
i
i
i
i
i
i
i
lo que permite obtener la cota
_
2
0
g( cos(mt) +(t)) sen(mt) dt
2M
R
m
|
|
L
2

R
M
R
_
2(1 +m
2
)
m(R
R
)
.
Por otra parte, podemos dividir el termino
_
2
0
g(u(t)) cos(mt) dt
en tres integrales sobre los conjuntos I
y J
, para obtener las esti-

maciones:
_
I
g( cos(mt) +(t)) cos(mt) dt
M
R
(),
_
J
+
g( cos(mt) +(t)) cos(mt) dt inf

uI
+
R,
g(u)()
_
J
g( cos(mt) +(t)) cos(mt) dt sup

uI
R,
g(u)().
En consecuencia, a partir de (9.22) se deduce:
2
p
+
2
p
()
_
_
inf
uI
+
R,
g(u) sup
uI
R,
g(u)
_
_
M
R
()

R
M
R
_
2(1 +m
2
)
m(R
R
)
,
lo cual contradice (9.20).
Finalmente, si F
0
u = 0 resulta u = Tu, y los mismos calculos de
antes valen para = 0. Luego, u / B
R
(0).
Podemos concluir que el grado de Leray-Schauder de F
en 0
esta denido sobre B
R
(0), y deg
LS
(F
1
, B
R
(0), 0) = deg
LS
(F
0
, B
R
(0), 0).
Ademas, por la denicion de grado y el hecho de que
F
0
u = u T(u +p g(u)),
se ve que deg
LS
(F
0
, B
R
(0), 0) = deg
B
(F
0
[
V
m
, B
R
(0) V
m
, 0).
apunteimpa5New
2009/11/19
page 132
i
i
i
i
i
i
i
i
Notemos que si u V
m
, entonces F
0
u = T(g(u) p); de esta
forma, si escribimos como antes u = cos(mt ) con [0, 2) se
ve que |u|
H
1 =
_
(1 +m
2
).
Luego, deg
LS
(F
0
, B
R
(0), 0) puede calcularse como el ndice I(, 0),
donde : [0, 2] C es la curva denida por
() =
1
_
2
0
g( cos(mt ))e
imt
dt z
p
,
con =
R
(1+m
2
)
y z
p
=
p
+i
p
. Mas aun, I(, 0) = I(z
p
+, z
p
),
y
z
p
+() =
1
_
2
0
g( cos(mt ))e
imt
dt
=
e
i
_
2
0
g( cos(mt))e
imt
dt.
Los mismos calculos anteriores considerando = 0 permiten probar
que
_
2
0
g( cos(mt))e
imt
dt
()
_
_
inf
uI
+
R,
g(u) sup
uI
R,
g(u)
_
_
M
R
().
De esta desigualdad y la hipotesis (9.20) se sigue facilmente que
I(, 0) = 1, lo cual completa la demostracion.
9.6.1. Un ejemplo sencillo
Dada p L
2
(0, 2), jemos una constante c tal que
4c
>
_
2
p
+
2
p
y cierto M > c. Vamos a denir una funcion continua g : R R
tal que [g(u)[ M para todo u R; luego, podremos considerar
M
R
= M para todo R 0. Sean R >
R
= |p|
L
2 +
2M sucien-
temente grande, y > 0 sucientemente peque no tales que:
C(R, ) <
2c()
2
p
+
2
p
.
apunteimpa5New
2009/11/19
page 133
i
i
i
i
i
i
i
i
Agrandando R si es necesario, podemos suponer que
(R
R
)
_
(1 +m
2
)
>
2
R
.
En consecuencia, basta con denir cualquier funcion continua g
con |g|
M, tal que
g(u)sgn(u) > c para
(R
R
)
_
(1 +m
2
)
2
R
u
R
2
R
.
Por ejemplo, si p Ker(L
m
) (i.e.
p
=
p
= 0), podemos considerar
una funcion g que satisfaga g(u)sgn(u) > 0 para u 0 y g(u) 0
para [u[ , para la cual las condiciones de Lazer-Leach no se
cumplen, siempre que la tasa de convergencia a 0 sea sucientemente
peque na. En efecto, por simplicidad supongamos que g(u)sgn(u) se
comporta como [u[
r
cuando [u[ 0 para cierto r (0, 1), y de-
namos R =
1
k
, con k (1, 2]. Entonces a
R,
+ para 0,
y
inf
uI
+
R,
g(u) sup
uI
R,
g(u) = O(
kr
).
Ademas, () = O(
2
), y luego C(R, ) = O(
k
). Como kr < k,
tomando peque no, vemos que la condicion (9.20) se verica.
apunteimpa5New
2009/11/19
page 134
i
i
i
i
i
i
i
i
Captulo 10
Apendice
10.1. Repaso de ecuaciones diferenciales
ordinarias
1. Sean R R
n
un abierto, (t
0
, x
0
) y f : R
n
una funcion continua, localmente Lipschitz en x. Entonces el
problema
_
x
= f(t, x)
x(t
0
) = x
0
admite una ( unica) solucion x : [t
0
, t
0
+] R
n
para cierto
> 0. Dar una cota inferior para .
2. Lema de Gronwall: Sean u, v : [t
0
, t
1
] R
0
continuas tales
que
u(t) +
_
t
t
0
u(s)v(s) ds
para todo t y cierto 0. Entonces
u(t) e
t
t
0
v(s) ds
134
apunteimpa5New
2009/11/19
page 135
i
i
i
i
i
i
i
i
[SEC. 10.1: REPASO DE ECUACIONES DIFERENCIALES ORDINARIAS 135
3. Dependencia continua:
Sean , (t
0
, x
0
) , f como en el ejercicio 1, y consideremos un
punto (
t
0
, x
0
) B
r
(t
0
, x
0
) para r > 0 sucientemente peque no.
Probar que la solucion x del problema
_
x
= f(t, x)
x(
t
0
) = x
0
verica
[ x(t) x(t)[ e
L|tt
0
|
para ciertas constantes = (
t
0
, x
0
), L 0, y t cerca de t
0
, en
donde verica: (
t
0
, x
0
) 0 para (
t
0
, x
0
) (t
0
, x
0
).
4. a) Sean , (t
0
, x
0
) , f como en el ejercicio 1, y sea K
un compacto. Probar que si una solucion de x
= f(t, x)
denida en [t
0
, t
1
) no se puede extender hasta t
1
, entonces
existe > 0 tal que (t, x(t)) / K para t (t
1
, t
1
).
Concluir que si [t
0
, t
1
] R
n
entonces [x(t)[ para
t t
1
.
b) Probar que si f : [t
0
, t
1
]R
n
R
n
es continua, localmente
Lipschitz en x y tiene crecimiento a lo sumo lineal en x
(es decir, [f(t, x)[ a[x[ + b), entonces toda solucion del
problema x
= f(t, x) puede extenderse a todo el intervalo

[t
0
, t
1
].
c) Sea f : [t
0
, t
1
] R
n
R
n
continua y globalmente Lip-
schitz en x con constante L, y consideremos el operador
T : C([t
0
, t
1
], R
n
) C([t
0
, t
1
], R
n
) denido por
Tx(t) = x
0
+
_
t
t
0
f(s, x(s)) ds.
Probar que para x, y C([t
0
, t
1
], R
n
) se tiene:
|T
n
x T
n
y|
(t
1
t
0
)
n
L
n
n!
|x y|,
en donde T
n
= T . . . T (n veces). Deducir que si n es
grande, T
n
es una contraccion. Tiene esto alguna relacion
con el ejercicio (4b)?
apunteimpa5New
2009/11/19
page 136
i
i
i
i
i
i
i
i
136 [CAP. 10: AP
ENDICE
10.2. La ecuaci on lineal de segundo orden
u
(t) +a(t)u
(t) +b(t)u(t) = (t)

con a, b, : [0, T] R continuas, es equivalente a la ecuacion
Lu = (t), en donde
Lu(t) = (p(t)u
(t))
+q(t)u(t)
para ciertas q, : [0, T] R continuas y cierta p : [0, T] R
>0
de clase C
1
.
2. Sea L como en el ejercicio anterior, y sea u
1
, u
2
una base
de soluciones del problema homogeneo Lu = 0. Probar que
w = p(u
1
u
2
u
2
u
1
) es una constante no nula.
3. Sean L, u
1
, u
2
y w como antes, y sea : [0, T] R una funcion
continua. Probar que todas las soluciones de la ecuacion Lu =
son de la forma u = c
1
u
1
+c
2
u
2
, con
c
1
= k
1
+
1
w
_
t
0
u
2
(s)(s) ds,
c
2
= k
2
1
w
_
t
0
u
1
(s)(s) ds.
4. Sea L como antes. Probar que si el problema de Dirichlet
Lu = 0, u(0) = u(T) = 0
admite solamente la solucion trivial, entonces el problema no
homogeneo
Lu = , u(0) = u
0
, u(T) = u
T
tiene una unica solucion para cualquier continua y cualquier
dato de borde (u
0
, u
T
) R
2
. Obtener conclusiones similares
para las condiciones de Neumann
u
(0) = u
0
, u
(T) = u
T
apunteimpa5New
2009/11/19
page 137
i
i
i
i
i
i
i
i
[SEC. 10.2: LA ECUACI
ON LINEAL DE SEGUNDO ORDEN 137

y periodicas
u(0) = u(T), u
(0) = u
(T).
5. Sea L como antes, con q 0. Probar que para toda funcion
continua el problema
Lu = , u(0) = u
0
, u(T) = u
T
,
tiene solucion unica. Puede decirse lo mismo para las condi-
ciones de Neumann o periodicas?
6. Sea L como antes, y sea f : [0, T] R R continua y creciente
en u. Probar que el problema
Lu = f(t, u), u(0) = u
0
, u(T) = u
T
tiene a lo sumo una solucion.
7. Desigualdad de Poincare: existe una constante c tal que si u :
[0, T] R es absolutamente continua con u(0) = u(T) = 0,
entonces
|u|
L
2
(0,T)
c|u
|
L
2
(0,T)
.
Comentario: veremos en 10.4 que la constante optima es c =
T
.
8. Desigualdad de Wirtinger: existe una constante c tal que si
u : [0, T] R es absolutamente continua con u(0) = u(T) y
u
(0) = u
(T), entonces
|u u|
L
2
(0,T)
c|u
|
L
2
(0,T)
en donde u es el promedio de u, dado por u :=
1
T
_
T
0
u(t) dt.
Comentario: en este caso, la constante optima es c =
T
2
.
9. Probar que existe una constante c tal que si u
es absolutamente
continua y u
(t
0
) = 0 para alg un t
0
entonces
|u
|
L
(0,T)
c|u
|
L
2
(0,T)
.
Generalizar para un operador L como antes.
apunteimpa5New
2009/11/19
page 138
i
i
i
i
i
i
i
i
138 [CAP. 10: AP
ENDICE
10.3. La funci on de Green
En esta seccion veremos que, en ocasiones, la unica solucion de un
problema lineal Lu = se puede expresar en terminos de un operador
integral (el inverso de L), aplicado a .
Vamos a encontrar esta expresion por medio de un calculo directo
cuando se trata el problema lineal
_
u
= (t)
u(0) = u(T) = 0.
En efecto, podemos escribir
u
(t) =c +
_
t
0
(s)ds = c +
_
T
0
[0,t)
(s)(s)ds,
y entonces
u(t) =
_
t
0
_
c +
_
T
0
[0,r)
(s)(s)ds
_
dr
=ct +
_
T
0
[0,t
(r)
__
T
0
[0,r)
(s)(s)ds
_
dr
=ct +
_
T
0
(s)
__
T
0
[0,t)
(r)
[s,T]
(r)dr
_
ds
=ct +
_
T
0
(s)(t, s)ds,
donde
(t, s) =
_
0 t s
t s s < t.
Ademas, como u(T) = 0, vale:
c =
1
T
_
T
0
(s)(, s)ds =
1
T
_
T
0
(s)(T s)ds.
Luego
u(t) =
_
T
0
G(t, s)(s)ds,
apunteimpa5New
2009/11/19
page 139
i
i
i
i
i
i
i
i
[SEC. 10.4: DESIGUALDADES DE POINCAR
E Y WIRTINGER 139
en donde
G(t, s) =
_
t
T
(T s) t s
s
T
(T t) t > s.
La funcion G : [0, T]
2
R se denomina funcion de Green del proble-
ma.
1. Deducir una expresion similar para condiciones de Dirichlet no
homogeneas.
2. Generalizar para condiciones de Neumann y periodicas.
3. Generalizar para un operador L como en los ejercicios anteri-
ores, y calcular explcitamente la funcion de Green para el caso
Lu = u
u, con > 0.
10.4. Desigualdades de Poincare y
Wirtinger
En muchas de las aplicaciones que hemos visto resulta de gran
importancia la llamada desigualdad de Poincare:
|u|
L
2
T
|u
|
L
2.
Esta formula es valida para cualquier funcion u del espacio de Sobolev
mencionado en la introduccion:
H
1
0
(0, T) := u : [0, T] R absolutamente continua :
u(0) = u(T) = 0, u
L
2
(0, 1).
En el ejercicio 7 se propone la existencia de alguna constante c
que permite acotar la norma de u mediante la norma de su deriva-
da; veremos ahora una idea informal (aunque esencialmente valida)
que permite demostrar que la constante optima para esta desigual-
dad es
T
, mediante argumentos sencillos. Por simplicidad, trataremos

unicamente el caso T = 1, la version mas general se obtiene facilmente
mediante un rescale del intervalo.
apunteimpa5New
2009/11/19
page 140
i
i
i
i
i
i
i
i
140 [CAP. 10: AP
ENDICE
Supongamos que queremos minimizar la funcional
I(u) =
_
1
0
u
(t)
2
dt
denida sobre H
1
0
(0, 1), sujeta a la condicion J(u) = 1, con
J(u) =
_
1
0
u(t)
2
dt.
Es posible probar que I restringida al conjunto u : J(u) = 1 alcanza
un mnimo absoluto u
1
, que ademas resulta una funcion suave. En tal
caso, por la teora de multiplicadores de Lagrange
1
existe un n umero
1
tal que DI(u
1
) =
1
DJ(u
1
), es decir:
_
1
0
u
1
(t)
(t) dt =
1
_
1
0
u
1
(t)(t) dt
para toda . Integrando por partes el termino de la izquierda, obte-
nemos:
_
1
0
(u
1
(t) +
1
u
1
(t))(t) dt = 0
Ademas, como la igualdad vale para toda , entonces
u
1
+
1
u
1
= 0.
Pero esta ecuacion es facil de resolver: como u
1
se anula en 0, tiene
que ser u
1
(t) = asen(
1
t) en donde a es una constante apropiada
de modo que valga
_
1
0
u
1
(t)
2
dt = 1. Por otra parte, u
1
(1) = 0, de
donde

1
= k. Finalmente, observemos que
I(u
1
) =
_
1
0
u
1
(t)
2
dt =
_
1
0
u
1
(t)u
1
(t) dt =
1
_
1
0
u
1
(t)
2
dt =
1
.
Entonces, como u
1
es un mnimo absoluto, se deduce que k = 1, es
decir:
1
=
2
. De esta forma,
mn
u
L
2
=1
_
1
0
u
(t)
2
dt =
2
,
1
Este hecho es consecuencia inmediata del Teorema de la funcion implcita
apunteimpa5New
2009/11/19
page 141
i
i
i
i
i
i
i
i
[SEC. 10.4: DESIGUALDADES DE POINCAR
E Y WIRTINGER 141
en donde el mnimo se toma sobre el espacio H
1
0
(0, 1). Esto dice que
si u H
1
0
(0, 1) es distinta de 0, entonces tomando w =
u
u
L
2
vale
_
1
0
w
(t)
2

2
, o equivalentemente
_
1
0
u
(t)
2

2
|u|
2
L
2
,
como queramos demostrar.
En realidad, existe una demostracion mucho mas elemental, que
es la siguiente: dado u C
1
([0, 1]) tal que u(0) = 0, denimos
(t) = u
2
(t)cotg(t),
que resulta continua en [0,
1
2
], y (0) = 0. Entonces
(t) = 2u(t)u
(t)cotg(t) u
2
(t)(1 + cotg
2
(t))
=
_
u
(t)
_
2
u
2
(t)
_
u(t)cotg(t)
u
(t)
_
2
(t)
2
u
2
(t).
Integrando, resulta
0 =
1/2
0
_
1/2
0
u
(t)
2
u
2
(t) dt,
de donde sale que
_
1/2
0
u
2
(t) dt
1
2
_
1/2
0
u
(t)
2
dt.
En forma analoga se prueba que si u(1) = 0, entonces
_
1
1/2
u
2
(t) dt
1
2
_
1
1/2
u
(t)
2
dt,
y sumando las dos desigualdades cuando u(0) = u(1) = 0 se obtiene
el resultado. El caso general para u absolutamente continua se deduce
en forma inmediata del hecho (bastante elemental) de que C
1
0
([0, 1])
es denso en H
1
0
(0, 1).
apunteimpa5New
2009/11/19
page 142
i
i
i
i
i
i
i
i
142 [CAP. 10: AP
ENDICE
Cabe aclarar que, aunque parece mas complicada, la otra de-
mostracion es mucho mas general, pues se aplica a otros operadores
lineales diferentes de u
.
Los anteriores argumentos pueden modicarse para probar tam-
bien que la constante optima para la desigualdad de Wirtinger (ver
el ejercicio 8 de la seccion 10.2) es
T
2
.
10.5. El teorema de Brouwer
Como vimos en el captulo 7, el teorema de Brouwer se demues-
tra en forma inmediata a partir de la teora de grado. Sin embargo,
existen diversas demostraciones directas, algunas mas complicadas
que otras. Por ejemplo, si se conoce el lenguaje de la homologa,
la demostracion se desprende en forma inmediata del hecho de que
no existen retracciones de R
n
(o de la bola unitaria) en la esfera:
en efecto, si f : B
1
(0) B
1
(0) es continua y sin puntos jos, se
puede construir una retraccion de la siguiente manera: para cada x
tomamos la semirrecta que sale de f(x) y pasa por x, y denimos r(x)
como el punto donde dicha semirrecta corta a S
n1
. Esta funcion es
claramente continua, y deja jos a los puntos de la esfera, lo que es
absurdo.
Pero vale la pena observar que existen demostraciones aun mas
sencillas. El caso n = 1 es claramente trivial, pues el resultado equi-
vale al teorema de Bolzano. Para n = 2 se puede argumentar de
muchas maneras distintas. Aqu el hecho de que no hay retracciones
se prueba de un modo mucho mas directo, recurriendo unicamente
al grupo fundamental: si hubiera una retraccion, debera existir un
epimorsmo del
1
del plano, que es trivial, al de la circunferencia,
que es Z. La dicultad en el caso n > 2 es que justamente el
1
de la
esfera ahora es tambien trivial.
Como sea, hay argumentos todava mas elementales. En primer
lugar, para n = 2 vale la pena mencionar aquella demostracion que
emplea un resultado combinatorio de la teora de juegos: el teorema
de Brouwer se deduce en forma casi inmediata a partir del teorema
del HEX, que a grandes rasgos dice, simplemente, que todo juego de
HEX tiene un ganador (ver [10]).
Tambien se puede probar el teorema de Brouwer en el plano
apunteimpa5New
2009/11/19
page 143
i
i
i
i
i
i
i
i
[SEC. 10.5: EL TEOREMA DE BROUWER 143
usando herramientas de variable compleja, aunque este procedimien-
to no diere mucho del que empleamos en la construccion del grado
en el captulo 7.
Veamos ahora otra prueba, que emplea unicamente el teorema de
Green. En realidad, nuestra demostracion consiste en probar que no
hay retracciones de clase C
2
, y repitiendo la construccion anterior
esto dice que el teorema de Brouwer vale para funciones de clase C
2
.
Pero usando el teorema de aproximacion de Weierstrass es muy facil
pasar luego al caso general: si f : B
1
(0) B
1
(0) es continua, existen
q
n
: B
1
(0) R
2
polinomios tales que |q
n
f|

1
n
. Observemos
que |q
n
|

n+1
n
; luego, si denimos p
n
:=
n
n+1
, se deduce que
p
n
: B
1
(0) B
1
(0), y p
n
f uniformemente. Como p
n
es de clase
C
, tiene un punto jo x
n
; por otra parte, existe una subsucesion
x
n
j
que converge a cierto x B
1
(0). Luego f(x
n
j
) f(x), y ademas
f(x
n
j
)x
n
j
= f(x
n
j
)p
n
j
(x
n
j
) 0, de donde se ve que f(x)x = 0.
Cabe aclarar que nuestra demostracion de que no hay retracciones
de B
1
(0) en S
1
puede extenderse para dimension mayor, empleando
la version general del teorema de Stokes, o el teorema de Gauss.
A modo de corolario del metodo empleado, probaremos tambien
el teorema fundamental del Algebra.
10.5.1. Una demostraci on elemental
Dada f : A R
2
de clase C
2
, f(x, y) = (u(x, y), v(x, y)) tal que
f(S
1
) S
1
, en donde A es cualquier entorno de S
1
, denimos
d(f) :=
_
S
1
(uv
x
vu
x
, uv
y
vu
y
) dl
=
_
S
1
u(v
x
dx +v
y
dy)
_
S
1
v(u
x
dx +u
y
dy).
Se cumplen las siguientes propiedades:
1. d(id) =
_
S
1
(y dx +x dy) = 2.
2. Si f : B
1
(0) S
1
es de clase C
2
, entonces d(f) = 0.
apunteimpa5New
2009/11/19
page 144
i
i
i
i
i
i
i
i
144 [CAP. 10: AP
ENDICE
Demostracion: como u
2
+ v
2
1, se deduce que (u
x
, v
x
) y
(u
y
, v
y
) son linealmente dependientes. Por otra parte,
(uv
y
vu
y
)
x
(uv
x
vu
x
)
y
= 2(u
x
v
y
u
y
v
x
)
= 2det
_
u
x
u
y
v
x
v
y
_
= 0,
y el resultado se deduce del teorema de Green.
3. Si f y g son de clase C
2
denidas en un entorno de S
1
tales que
f(S
1
) S
1
, g(S
1
) S
1
y f = g sobre S
1
, entonces d(f) = d(g).
Demostracion: si f = (u, v) y g = ( u, v), entonces las compo-
nentes tangenciales de u y v coinciden con las de u y v.
Mas concretamente, si parametrizamos S
1
por medio de una
curva c(t) se tiene que u c = u c y v c = v c, y luego
u(c(t)) c
(t) = u(c(t)) c
(t),
v(c(t)) c
(t) = v(c(t)) c
(t).
En otras palabras,
u
x
dx+u
y
dy = u
x
dx+ u
y
dy, v
x
dx+v
y
dy = v
x
dx+ v
y
dy,
de donde el resultado es inmediato.
Como conclusion, se deduce que no puede haber una retraccion
f : B
1
(0) S
1
de clase C
2
, pues en tal caso por la propiedad 2
tiene que ser D(f) = 0. Pero f = id sobre S
1
, y luego por 3 y 1 vale:
d(f) = d(id) ,= 0, lo que es absurdo.
10.5.2. El teorema fundamental del algebra
Una aplicacion sencilla de la funcion d denida en la seccion pre-
via permite probar el teorema fundamental del algebra. Para ello,
conviene escribir a una funcion f = (u, v) denida en un entorno
de S
1
como la funcion de la variable compleja z = x + iy dada por
f(z) = u(x, y) +iv(x, y). En tal caso, es facil ver que la funcion
f(z) =
_
z
[z[
_
n
apunteimpa5New
2009/11/19
page 145
i
i
i
i
i
i
i
i
es de clase C
, y vale d(f) = 2n. Esto es claro, por ejemplo,

si escribimos a f en coordenadas polares, f(r cos , r sen) =
(cos n, sen n).
Ahora veremos que la funcion d es continua, en un sentido apropi-
ado:
Teorema
Sea f : A R
2
de clase C
2
, en donde A es un entorno de S
1
.
Dado > 0, existe > 0 tal que si : A R
2
es de clase C
2
y vale
||
< , |D|
< , entonces [d(f +) d(f)[ < .

La demostracion de este resultado es inmediata a partir de la
denicion de d, y del hecho de que
F dl
|F|
.L(),
en donde L() es la longitud de la curva .
Podemos esbozar entonces una demostracion del teorema funda-
mental del algebra de la siguiente forma (los detalles quedan como
ejercicio): dado un polinomio P monico de grado n, podemos escribir-
lo en la forma P(z) = z
n
+ Q(z), en donde Q tiene a lo sumo grado
n 1. Si P no tiene races, entonces denimos para R > 0 la funcion
g(z) =
P(Rz)
|P(Rz)|
, que resulta de clase C
2
. Por otra parte, si conside-
ramos por ejemplo [z[
1
2
y hacemos tender R a innito, vemos que
tanto g como sus derivadas parciales tienden (de modo uniforme) res-
pectivamente a f y sus derivadas parciales, en donde f es la funcion
antes denida por f(z) =
_
z
|z|
_
n
. Esto dice que d(g) tiende a 2n.
Por otra parte, por la propiedad 2 de la seccion anterior vale d(g) = 0,
lo que es absurdo.
Vale la pena observar que la misma demostracion es valida para
funciones mas generales, para los cuales los metodos habituales de
variable compleja no pueden aplicarse directamente. Por ejemplo, se
puede deducir el teorema fundamental del algebra generalizado, para
un polinomio en z y z, del tipo
P(z, z) = z
n
+
j+kn1
a
jk
z
j
z
k
,
que no es una funcion analtica.
apunteimpa5New
2009/11/19
page 146
i
i
i
i
i
i
i
i
146 [CAP. 10: AP
ENDICE
Observaci on
A partir de lo visto en el captulo 7, es evidente que para una
aplicacion f : B
1
(0) R
2
suave tal que f(S
1
) S
1
la misteriosa
funcion d es equivalente al grado de f. En efecto, empleando la no-
tacion compleja, para z S
1
vale
1
f(z)
= f(z). Luego,
deg(f, B
1
(0), 0) =
1
2i
_
f
1
z
dz =
1
2i
_
2
0
f((t))(f )
(t) dt
=
1
2
_
2
0
Im
_
f((t))(f )
(t)
_
dt
=
1
2
_
(uv
x
vu
x
) dx + (uv
y
vu
y
) dy.
Sin embargo, esta prueba directa del teorema de Brouwer que
hemos dado no requiere hacer uso de la invariancia por homotopa de
la integral compleja.
10.5.3. La demostraci on de Milnor y Rogers
Veamos ahora otra demostracion elemental del teorema de Brouw-
er, valida para R
n
: la de Milnor-Rogers. A partir de lo antes comen-
tado, es suciente ver que no existen retracciones de clase C
1
de la
bola unitaria B en la esfera S
n1
.
En efecto, si f : B S
n1
es de clase C
1
tal que f(x) = x sobre
S
n1
, podemos denir, para t [0, 1],
f
t
(x) = (1 t)x +tf(x) = x +t(f(x) x).
Es claro que para todo x vale [f
t
(x)[ 1, y si x S
n1
entonces
f
t
(x) = x.
Por otra parte, g(x) := f(x) x es de clase C
1
, y entonces existe
una constante c tal que [g(x) g(y)[ c[x y[ para x, y B. En
consecuencia, si t <
1
c
la funcion f
t
es inyectiva, pues si f
t
(x) = f
t
(y)
entonces
[x y[ = t[g(x) g(y)[
t
c
[x y[.
Veamos que si t es sucientemente peque no, entonces f
t
es tambien
suryectiva. En efecto, observemos en primer lugar que para cierto
apunteimpa5New
2009/11/19
page 147
i
i
i
i
i
i
i
i
t
0
(0,
1
c
) vale que si t t
0
entonces la diferencial Df
t
= I +
tDg es inversible para todo x. Por el teorema de la funcion inversa,
esto implica que f
t
(B) es abierto para todo t t
0
. Supongamos que
f
t
(B) ,= B, y tomemos z B tal que z / f
t
(B). Uniendo a z con
cualquier punto de f
t
(B) por medio de un segmento, se deduce la
existencia de alg un y B (f
t
(B)). Si x
k
B es una sucesion tal
que f
t
(x
k
) y, por compacidad podemos suponer que converge a
cierto x, y luego f
t
(x) = y. Como f
t
es inyectiva y vale la identidad
sobre S
n1
, entonces x B. Pero por otra parte, f
t
(x) f
t
(B), lo
que contradice el hecho de que y es un punto de la frontera.
Denamos ahora la aplicacion
(t) :=
_
B
det(Df
t
(x)) dx = (t) =
_
B
det(I +tDg(x)) dx.
Claramente, es un polinomio en t pero ademas, como f
t
es un
difeomorsmo cuando t t
0
, por la formula de cambio de variables se
deduce que es constantemente igual al volumen de B. En particular,
(1) > 0. Pero f
1
= f, y a partir de la igualdad [f(x)[ = 1 se deduce
que para j = 1, . . . , n vale
j
f(x), f(x)) = 0.
Luego f(x) ker(Df(x)), y en particular esto muestra que
det(Df(x)) = 0 para todo x B. En consecuencia, (1) = 0, lo
que es absurdo.
Para concluir, veamos la siguiente generalizacion obvia del teore-
ma, para el caso de cualquier conjunto homeomorfo a la bola unitaria:
h : B K es un homeomorsmo y f : K K es continua, la apli-
cacion h
1
f h : B B es continua, y entonces tiene un punto
jo x. Luego, y = h(x) es un punto jo de f.
En particular, podemos tomar como K a cualquier conjunto com-
pacto y convexo en un espacio normado de dimension nita.
apunteimpa5New
2009/11/19
page 148
i
i
i
i
i
i
i
i
apunteimpa5New
2009/11/19
page 149
i
i
i
i
i
i
i
i
Bibliografa
[1] Amann, H. Ordinary Dierential Equations. An Introdution to
Nonlinear Analysis. Walter de Gruyter Berlin. New York (1990).
[2] P. Amster and P. De Napoli: Landesman-Lazer type conditions
for a system of p-Laplacian like operators. J. Math. Anal. and
Appl. 326, No 2 (2007) 1236-1243.
[3] Brown, R. F. A Topological Introduction to Nonlinear Analysis.
Birkha user. Boston - Basel - Berlin. (1993).
[4] Castro
Castro, A. Periodic solutions of the forced pendulum equation.
Di. Equations (1980), 149-60.
[5] Cronin, J. Fixed Point and Topological degree in Nonlinear Anal-
ysis. Mathematical Survey. Number 11 American Mathematical
Society, 190. Providence, Rhode Island. (1964).
[6] De Coster, C. and Habets, P. Upper and Lower Solutions in the
Theory of ODE Boundary Value Problems: Classical and Recent
Results. In Nonlinear Analysis and Boundary Value Problems for
Ordinary Dierential Equations, F. Zanolin ed., Springer, 1996,
CISM Courses and Lectures, 371.
[7] De Coster, C. and Habets, P. An Overview of the Method of
Lower Upper Solutions for ODEs. In: Nonlinear Analysis and its
Applications to Dierential Equations, Grossinho M.R., Ramos
M., Rebelo C., Sanchez L. ed., Boston, Birkhauser, 2001, 3-22,
149
apunteimpa5New
2009/11/19
page 150
i
i
i
i
i
i
i
i
150 BIBLIOGRAF
IA
Progress in Nonlinear Dierential Equations and their applica-
tions, 43.
[8] Derrick, W. Metodos topologicos en analisis. Suplemento Del
Boletn de Matematicas, Soc. Colombiana de Matematicas, Bo-
gota 1977.
[9] Fournier G., Mawhin J. On periodic solutions of forced
pendulum-like equations. Journal of Dierential Equations 60
(1985) 381-395.
[10] Gale, D. The game of hex and the Brouwer xed-point theorem.
American Mathematical Monthly, December 1979, 818-827.
[11] Habets, P. and Pouso, R. Examples of the nonexistence of a
solution in the presence of upper and lower solutions. ANZIAM
J. 44(2003), 591-594.
[12] Hamel G.:

Uber erzwungene Schwingungen bei endlichen Am-
plituden. Math. Ann., 86 (1922), 1-13.
[13] Kulpa, W.: The Poincare-Miranda Theorem. The American
Mathematical Monthly, Vol. 104, No. 6 (1997), 545-550.
[14] E. Landesman, A. Lazer: Nonlinear perturbations of linear el-
liptic boundary value problems at resonance, J. Math. Mech. 19
(1970), pp. 609-623.
[15] A. Lazer, D. Leach, Bounded perturbations of forced harmonic
oscillators at resonance, Ann. Mat. Pura Appl. 82 (1969), pp.
49-68.
[16] J. Leray, J. Schauder. Topologie et equations fonctionnelles An-
nales scientiques de l
Ecole Normale Superieure, Ser. 3, 51

(1934), 45-78.
[17] Lloyd, N. G. Degree Theory. Cambridge University. Press, Cam-
bridge (1978).
[18] Mawhin, J. Topological degree and boundary value problems for
nonlinear dierential equations CIME, Topological Methods in
Ordinary Dierential Equations, Montecatini Terme, 1991 Furi-
Zecca ed., Springer, Berlin 1993, pp. 74-142, 1993.
apunteimpa5New
2009/11/19
page 151
i
i
i
i
i
i
i
i
BIBLIOGRAF
IA 151
[19] Mawhin J.: Periodic oscillations of forced pendulum-like equa-
tions. Lecture Notes in Math., Springer, 964 (1982), 458-76.
[20] Mawhin J.: The forced pendulum: A paradigm for nonlinear
analysis and dynamical systems. Expo. Math., 6 (1988), 271-87.
[21] Mawhin J.: Boundary value problems for nonlinear ordinary dif-
ferential equations: from successive approximations to topolo-
gy. Development of mathematics 1900-1950 (Luxembourg, 1992),
443-477, Birkhauser, Basel, 1994.
[22] Mawhin J.: Topological degree methods in nonlinear boundary
value problems, CMBS Reg.Conf. in Math 40, AMS, Providence,
1979.
[23] Mawhin, J.; Willem, M. Multiple solutions of the periodic bound-
ary value problem for some forced pendulum-type equations. J.
Dierential Equations 52 (1984), 264-287.
[24] Milnor, J. Topology from the Dierential Viewpoint. Univ. Press
of Virginia, Charlottesville, 1965.
[25] Nagumo, M.: Uber die dierentialgleichung y
= f(t, y, y
).
Proc. Phys-Math. Soc. Japan 19 (1937), 861-866.
[26] Nagumo, M. On principally linear elliptic dierential equations
of the second order. Osaka Math. J. 6 (1954) 207-229.
[27] Nirenberg, L. Topics in Nonlinear Functional Analysis. Courant
Lecture Notes - Sciences, New York, 1974.
[28] L. Nirenberg: Generalized degree and nonlinear problems, Con-
tributions to nonlinear functional analysis, Ed. E. H. Zarantonel-
lo, Academic Press New York (1971), 1-9.
[29] R. Ortega and L. Sanchez: Periodic solutions of forced oscillators
with several degrees of freedom, Bull. London Math. Soc. 34
(2002), 308-318.
[30] R. Ortega; M. Tarallo. Degenerate equations of pendulum-type.
Commun. Contemp. Math. 2 (2000), no. 2, 127-149.
apunteimpa5New
2009/11/19
page 152
i
i
i
i
i
i
i
i
152 BIBLIOGRAF
IA
[31] R. Ortega and J.R. Ward Jr.: A semilinear Eliptic System with
vanishing nonlinearities. Proceedings of the Fourth International
Conference on Dynamical Systems and Dierential Equations
(2002), 688-693.
[32] Palais, R. A simple proof of the Banach contraction principle.
Journal of Fixed Point Theory and Applications 2 (2007), 221-
223.
[33] Picard, E.: Sur lapplication des methodes dapproximations suc-
cesives `a letude de certaines equations dierentielles ordinaires,
J.Math. Pures Appl. 9 (1893), 217-271.
[34] Rogers, C. A. A Less Strange Version of Milnors Proof of Brouw-
ers Fixed-Point Theorem. The American Mathematical Month-
ly, Vol. 87, No. 7 (Aug. - Sep., 1980), pp. 525-52
[35] Scorza Dragoni, G. Il problema dei valori ai limiti studiato in
grande per gli integrali di una equazione dierenziale del secondo
ordine, Giornale di Mat. (Battaglini) 69 (1931) 77-112.
[36] Severini, C.: Sopra gli integrali delle equazione dierenziali del
secondo ordine con valori prestabiliti in due punti dati, Atti R.
Acc. Torino 40 (1904-5), 1035-40.
[37] Teschl, G. Nonlinear Functional Analysis. Lecture notes, Univ.
of Wien, 2005.

Métodos Topológicos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Métodos Topológicos

Enviado por

Direitos autorais:

Formatos disponíveis

Mtodos Topolgicos

(t) u(t) = f(t, u)

(t) +u(t)v(t) dt.

(t) +u(t)(t) +f(t, u(t))(t) dt

(t) +u(t) +f(t, u(t))] (t) dt = 0.

(t) +u(t) +f(t, u(t)) = 0. En otras palabras, una

denida en cierto intervalo (maximal) no

= [0, M), con M = M() (0, +]. En general, no se

OGICOS: IDEAS ELEMENTALES

(1) resulta continua. Esto se debe a la dependencia continua

(1) > 0. Del

(1) < 0, lo que

(1) = 0 para alg un [|f|

(1) es diferenciable, y como u 0 es solucion, se

. Vamos a probar que

(b), lo que es absurdo.

OGICOS: IDEAS ELEMENTALES

). En este caso, el dato inicial de la

como la unica solucion del problema

(t) existe hasta t = 1, eso nos permite a su vez denir

(1). Esta funcion P, llamada operador de Poincare, esta de-

es solucion de (1.3). Veamos un ejemplo

OGICOS: IDEAS ELEMENTALES

esta denida hasta cierto valor T.

(t)[ R para t [0, T]. En efecto, si llamamos

(t) = 2u(t) f(t, u(t)).

< 1, lo que es absurdo.

+g(u) = p(t), u(0) = u(1) = 0

no se anulan simultaneamente), el valor

OGICOS: IDEAS ELEMENTALES

la unica solucion del problema de valores iniciales

de ambos lados, y entonces

OGICOS: IDEAS ELEMENTALES

esta denida en [0, 1]: para [[ R

a la derecha de T, su norma no puede aumentar mas alla del

2, de donde el resultado se deduce en forma inmediata.

gira en sentido anti-horario y

+b sin(u) = p(t), (1.5)

OGICOS: IDEAS ELEMENTALES

+f(u) = 0, u(0) = u(1) = 0 (1.6)

, con > 0. Es posible

(z) = z f(z) y aplicar (3a).

OGICOS: IDEAS ELEMENTALES

ETODOS DE PUNTO FIJO. EL TEOREMA DE BANACH 21

ETODOS DE PUNTO FIJO. EL TEOREMA DE BANACH 23

es absolutamente continua, con u

para todo n. Por lo

) con constante L sucientemente peque na, entonces el

= f(t, u), u(0) = u

= f(t, Pu) u(0) = u

(t) = u(1) u(0) +

(t)[ [u(1) u(0)[

(s) +K) ds,

ETODO DE SUPER Y SUBSOLUCIONES

ON: UN CASO PARTICULAR 41

(u) = f(t, v) (v), u(0) = u

ETODO DE SUPER Y SUBSOLUCIONES

w 0 vale unicamente en casi

ON: UN CASO PARTICULAR 43

u en [0, 1] para > 0 sucientemente

(0) = 1, de modo que w , 0.

4.1.1. Un metodo iterativo

ETODO DE SUPER Y SUBSOLUCIONES

= f(t, u). La condicion de