Tesis Deboli

UNIVERSIDAD DE BUENOS AIRES
Facultad de Ciencias Exactas y Naturales

Departamento de Matemtica
Mtodos topolgicos para algunas ecuaciones diferenciales funcionales

resonantes no lineales.
Tesis presentada para optar al ttulo de Doctor de la Universidad de Buenos Aires en el

rea Ciencias Matemticas.
Alberto Fernando Dboli.
Director de tesis: Dr. Pablo Amster.

Consejero de estudios: Dr. Pablo Amster.
Buenos Aires, 10 de diciembre de 2014.

Mtodos topolgicos para algunas
ecuaciones diferenciales funcionales
resonantes no lineales.
Resumen
En esta tesis se estudia la existencia de soluciones de dos ecuaciones diferenciales fun-

cionales resonantes no lineales. Por un lado, se estudia existencia de al menos una solu-
cin de un problema de segundo orden con condiciones de Neumann bajo diferentes
condiciones impuestas a la no linealidad, con la particularidad de que sta depende de los
valores de la solucin desconocida en el borde del dominio. Ms precisamente, se prueba
la existencia de al menos una solucin adaptando a este tipo de problemas las condiciones
clsicas de Landesman-Lazer para el caso escalar y para el caso de un sistema, la condi-
cin de Nirenberg. Por otro lado, se estudia un problema de primer orden con una no
linealidad que depende de varios retardos variables. Ms precisamente, se prueba un
resultado de existencia de al menos una solucin peridica positiva para el caso escalar
y para un sistema, y un resultado de estabilidad generalizando los obtenidos por otros
autores. En todos los problemas estudiados, las no linealidades estn condicionadas en
sus argumentos y se trata de problemas resonantes en el sentido de que el operador lineal
de diferenciacin involucrado tiene ncleo no trivial. El principal mtodo que se imple-
menta, en cada caso, para probar existencia de solucin se basa en la teora del grado
de coincidencia de Mawhin, el cual es una generalizacin del grado topolgico de Leray
Schauder. No obstante, existen problemas resonantes en los que el grado de coincidencia
no se aplica; el problema de segundo orden bajo condiciones de Neumann en un dominio
no acotado es un caso particular de ese tipo y se aborda recurriendo al mtodo de las sub
y super soluciones ordenadas combinado con un argumento del tipo diagonal.
Palabras clave: ecuaciones diferenciales funcionales resonantes no lineales, problemas de
contorno, grado de coincidencia, mtodo de sub y super soluciones ordenadas, mtodo
diagonal de Cantor, condiciones de tipo Landesman-Lazer, Condicin de Nirenberg, ecua-
ciones diferenciales con retardo, soluciones peridicas positivas, atractor global.
iii
Topological methods for some
resonant nonlinear functional
differential equations.
Abstract
In this work, we study the existence of solutions of two nonlinear resonant ordinary func-
tional differential equations. In the first place, we consider an abstract second order pro-
blem under Neumann boundary conditions arising on an electro-diffusion model. This
problem has the particularity that the nonlinear term depends on the Dirichlet values of
the yet-to-be-determined solution. We shall prove the existence of solutions by adapting
the classical Landesman-Lazer conditions for the scalar case, and a condition by Niren-
berg for a system of equations. In the second place, we study a first order Nicholson type
equation with several delays. We shall prove the existence of a positive periodic solution
both for the scalar equation and for a system. Also, we shall prove an stability result. In
both cases, the nonlinear term is a functional operator and the problems are resonant in
the sense that the associated linear operators have nontrivial kernel. Our main tool for
proving existence of solutions shall be Mawhins coincidence degree, which is a genera-
lization of Leray-Schauder degree. There are, however, some cases in which this theory
cannot be applied: for example, the case of a boundary value problem on the half-line,
for which we adapt the method of upper and lower solutions combined with a diagonal
argument.
Keywords: nonlinear functional differential equations, boundary value problems, coin-
cidence degree, upper and lower solutions, Cantors diagonal method, Landesman-Lazer
conditions, Nirenberg conditions, delay differential equations, positive periodic solutions,
global attractor.
v
Agradecimientos
En primera instancia quiero agradecer a mi consejero, director de estudios y amigo Pablo

Amster, por su justa intervencin en los momentos en los que la cosa no estaba clara; a
todos mis profesores que, mediante el ejemplo, me ensearon a ubicar bien la lmpara, a
ver la luna y no al dedo que la seala; en especial a Diego Rial, Pablo De Npoli y Julin
Fernndez Bonder.
A la institucin pblica, a la que debo toda mi formacin; al CONICET, a la Facultad
de Ciencias Exactas y Naturales de la Universidad de Buenos Aires y en particular al
Departamento de Matemtica que me dio un lugar y los medios para mi desarrollo.
A todos mis compaeros de estudio; a los organizadores y participantes del seminario de
Ecuaciones Diferenciales y Anlisis Numrico y en particular a mis amigos del grupo
de estudio Anlisis No Lineal: Manuel Maurette, Julin Haddad, Paula Kuna y Roco
Balderrama.
Finalmente quiero agradecer a mi familia, a mi madre, mi hermana y en especial a mis
dos hijos, Sol y Maximiliano, a quienes adoro.
vii
Contents
Resumen iii
Abstract v
Introduccin xi
1 Preliminares. 1
1.1 El grado de Leray-Schauder. . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 El grado de coincidencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Principales propiedades del grado de coincidencia. . . . . . . . . . 9
1.2.2 Teorema de continuacin generalizado. . . . . . . . . . . . . . . . . 11
1.3 Algunas aplicaciones de la teora del grado de coincidencia a ciertos prob-
lemas resonantes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.1 Condiciones de Landesman-Lazer. . . . . . . . . . . . . . . . . . . . 15
1.3.2 Condicin de Nirenberg . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.3.3 Una condicin geomtrica. . . . . . . . . . . . . . . . . . . . . . . . 21
1.4 Combinacin del mtodo de sub y super soluciones ordenadas con el mtodo
diagonal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5 Ecuaciones diferenciales con retardo. . . . . . . . . . . . . . . . . . . . . . . 27
1.5.1 Algunos ejemplos y observaciones. . . . . . . . . . . . . . . . . . . . 28
1.5.2 Condiciones suficientes para la existencia y unicidad de solucin. . 31
1.5.3 El operador de Poincar para ecuaciones con retardo. . . . . . . . . 39
2 Formulacin y antecedentes de los problemas. 43

2.1 Modelo de electrodifusin multi-in en rgimen estacionario. . . . . . . . 43
2.1.1 Descripcin del modelo general. . . . . . . . . . . . . . . . . . . . . 44
2.1.2 El caso de dos iones. . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.1.3 Algunos antecedentes del problema de electrodifusin de dos iones
con idnticas valencias. . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.2 Modelo Generalizado de Nicholson. . . . . . . . . . . . . . . . . . . . . . . 52
2.2.1 El modelo logstico de Verhulst-Pearl. . . . . . . . . . . . . . . . . . 54
2.2.2 El modelo logstico con retardo de Hutchinson. . . . . . . . . . . . 55
2.2.3 Modelos con funcin de natalidad denso-dependiente con retardo. 58
2.2.4 El modelo de Nicholson: antecedentes y generalizaciones. . . . . . 60
ix
x CONTENTS
3 Resultados principales para el modelo de electrodifusin abstracto. 69

3.1 Demostraciones de los resultados para el caso escalar . . . . . . . . . . . . 73
3.1.1 Intervalo acotado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.1.2 Intervalo no acotado. . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.2 Demostraciones de los resultados para el caso de sistemas. . . . . . . . . . 83
3.2.1 Una generalizacin de la condicin de Nirenberg. . . . . . . . . . . 85
3.2.2 Adaptacin de la condicin de la cpsula convexa. . . . . . . . . . . 86
4 Resultados principales para el modelo generalizado de Nicholson. 89

4.1 Existencia de soluciones T -peridicas positivas . . . . . . . . . . . . . . . . 91
4.1.1 Caso escalar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.1.2 Caso sistema. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.2 El equilibrio trivial es un atractor global. . . . . . . . . . . . . . . . . . . . . 105
Lineamientos de futuras Investigaciones. 109
Notacin, Referencias e ndice. 111

Introduccin.
El objetivo de esta tesis consiste en la adaptacin de algunos mtodos topolgicos del

anlisis no lineal para probar existencia de solucin de algunas ecuaciones diferenciales
ordinarias bajo condiciones de borde del tipo de Neumann o peridicas en las que el ope-
rador lineal de diferenciacin involucrado tiene ncleo no trivial, esto es, problemas que
usualmente se denominan resonantes. La particularidad de los problemas resonantes que
estudiaremos es que las no linealidades que en ellos intervienen estn condicionadas en
sus argumentos por ciertas funciones que representan tiempos de retardos o bien por los
valores de la solucin desconocida en el borde del dominio.
La tesis se organiza del siguiente modo. En el captulo 1 se darn los conceptos y resul-
tados tericos que se usarn en posteriores captulos. Ms precisamente, el mtodo prin-
cipal que implementaremos se basa en la teora del grado de coincidencia de Mawhin
([53], [50]), el cual es una generalizacin del grado topolgico de Leray Schauder ([48]);
en general, esta teora ha resultado ser un instrumento muy adecuado para el estudio de
problemas resonantes. No obstante, como veremos ms adelante, existen problemas re-
sonantes en los que el grado de coincidencia no se aplica; abordaremos un problema de
esa clase recurriendo al mtodo de las sub y super soluciones ordenadas ([30]) combinado
con un argumento del tipo diagonal ([89],[90]). Asimismo, en el captulo 1 se darn los
elementos bsicos de la teora de las ecuaciones diferenciales con retardo.
En el captulo 2 se describen dos modelos que tienen su origen en dos problemas prove-
nientes de la biofsica y se dan los antecedentes que contextualizan el trabajo realizado en
esta tesis; en ambos casos las condiciones impuestas a la no linealidad intervienen como
factores de autoregulacin o control del fenmeno. Ms precisamente, en la seccin 2.1 se
deriva el modelo que describe la difusin-migracin de dos especies de iones con idn-
ticas valencias a travs de una membrana permeable a ambas especies bajo la accin de
un campo elctrico en rgimen estacionario y con condiciones de borde elctricamente
neutras; la ecuacin diferencial que resulta es la siguiente:
y 2 y 2 y 2 y 2 y 2 y 2
n h i o h i
y 00 = y 0 2 + l + 0 2 1 x l + 0 2 1 D (0.0.1)
donde y0 := y(0), y1 := y(1) y las constantes > 0, l > 0 y D (1, 1) dependen de

parmetros fsicos, tales como la constante de difusin, la movilidad inica, etc. La neu-
tralidad elctrica de los reservorios se traduce en condiciones homogneas de Neumann
sobre el borde. Este modelo, usualmente llamado de electrodifusin, fue originalmente es-
tudiado por L. Bass ([18], [19]) y posteriormente utilizado para describir por ejemplo el
proceso de transmisin de las seales electroqumicas en las clulas nerviosas. El modelo
xi
xii Introduccin
fue generalizado en varias direcciones ([26],[44]) y vale la pena destacar que las tcnicas
clsicas del anlisis no se aplican a este tipo de problemas por el hecho de que en la no
linealidad intervienen los valores de la solucin desconocida sobre el borde del dominio.
A partir de (0.0.1) se considera la formulacin abstracta de la ecuacin correspondiente al
modelo de electrodifusin
y 00 (x) = f (x, y(x), y(0), y(1)) (0.0.2)
El problema de electrodifusin correspondiente al caso de dos o ms iones ha sido estu-

diado, con cierto detalle, por muchos autores ([13],[14],[81],[82]); no obstante, hasta donde
nosotros conocemos, no se ha estudiado sistemticamente el caso correspondiente al pro-
blema abstracto (0.0.2).
En la seccin 2.2 se presenta un modelo que describe la dinmica poblacional de cierto
tipo de insectos, basado en los experimentos realizados por el entomlogo Nicholson [60]
en el ao 1955; los resultados sugirieron que el crecimiento de la poblacion es aproxi-
madamente cclico y depende, bajo ciertas condiciones bio-ambientales, del tiempo de
maduracin necesario para que una larva en convierta en un individuo adulto capaz de
reproducirse. A lo largo de las subsecciones (2.2.1), (2.2.2) y (2.2.3) se describen princi-
pios generales de modelos de crecimiento poblacional con funciones de natalidad denso
dependiente con retardo y en particular se considera la ecuacin logstica con retardo
como el antecedente fundamental del modelo de Nicholson. En la subseccin (2.2.4) se
describen algunas generalizaciones [21] y se dan algunos resultados relativos al modelo
generalizado de Nicholson que extenderemos en el captulo 4.
Por un lado se ha formulado el llamado modelo generalizado de Nicholson
m
X
x0 (t) = (t)x(t) + pk (t)f (xk (t)) (0.0.3)
k=1
siendo , pk C(R, R+ ) y k C(R, [0, +)) funciones T -peridicas para todo k =

1, 2, 3, m, xk (t) := x(t k (t)) y f (x) := xex , x R. J. Li et al [47] han obtenido
un resultado de existencia de solucin T -peridica positiva para el modelo generalizado
(0.0.3) usando el teorema de punto fijo de Krasnoselskii sobre un cono [90] bajo la condi-
cin
Xm
pk (t) > (t), t [0, T ]. (0.0.4)
k=1
Asimismo en [47] se prueba que si
x(s) = (s), C([ , 0], R+ ) := max1km {maxt[0,T ] {k (t)}} (0.0.5)
entonces toda solucin postiva del problema de valores iniciales (0.0.3)-(0.0.5) tiende a
cero cuando t tiende a + asumiendo que
m
X
pk (t) (t), t [0, T ]. (0.0.6)
k=1
Introduccin xiii
Por otro lado se ha considerado el modelo generalizado de Nicholson (0.0.3) con un tr-
mino H de recoleccin
m
X
x0 (t) = (t)x(t) + pk (t)f (xk (t)) H(t, x(t)) (0.0.7)
k=1
siendo H C(R [0, +), R+ ) T -peridica en su primera variable. En el ao 2009 L.

Berezansky formula el siguiente problema (4. open problems and conjectures, 6. [21]):
Dar condiciones suficientes para la existencia de solucin T -peridica positiva para el
modelo autnomo de Nicholson con un trmino de recoleccin lineal dependiente de un
retardo arbitrario, con m = 1, es decir para
x0 (t) = x(t) + px(t )eax(t ) hx(t ) (0.0.8)
siendo , p, a, h, y constantes positivas.

Este problema fue resuelto por F. Long y M. Yang [49] para el caso no autnomo con un
trmino de recoleccin lineal dependiente del retardo estimado de la poblacin usando
teora del grado de coincidencia; ms precisamente en [49] se prueba existencia de al
menos una solucin T -peridica positiva del problema
x0 (t) = (t)x(t) + p(t)x(t (t))ea(t)x(t (t)) hx(t (t)) (0.0.9)
con , p, a C(R, R+ ) y , h C(R, [0, +)) funciones T -peridicas, asumiendo que

+ u+
p ea h+ 0
donde se usa la notacin
g + := sup{g(t)}, g := inf {g(t)} (0.0.10)

tR tR
p(t)
para cualquier g continua y acotada definida sobre R y u(t) := a(t)(t)e .
Asimismo se ha considerado sistemas tipo Nicholson

0
x1 (t) = 1 x1 (t) + 1 x2 (t) + p1 x1 (t 1 )ea1 x1 (t1 )
(0.0.11)
x02 (t) = 2 x2 (t) + 2 x1 (t) + p2 x2 (t 2 )ea2 x1 (t2 )

donde i , i , pi y son constantes positivas para i = 1, 2.

Este tipo de modelos se utiliz por ejemplo para describir la dinmica de las clulas B
de la leucemia linfoctica crnica (LLC-B). Berezanky L. et al [22] analizan la dinmica de
(0.0.11) con dato inicial xi (s) = i (s), s [, 0], i (0) > 0 donde i C([, 0], [0, +))
para i = 1, 2.
Qiyuan Zhou [91] considera el sistema (0.0.11) no autnomo con trminos lineales de
recoleccin, utilizado para modelar estrategias sustentables de explotacin de recursos
biolgicos en reas tales como la pesca o forestacin.
xiv Introduccin
0
x1 (t) = 1 (t)x1 (t) + 1 (t)x2 (t) + p1 (t)f (x11 (t)) h1 (t)x1 (t 1 (t))
(0.0.12)

donde i , i , pi C(R, R+ ) y hi , i C(R, [0, +)) son T -peridicas para i = 1, 2. Usando

la misma notacin dada en (0.0.10), en [91], se prueba existencia de solucin T -peridica
positiva de (0.0.12) asumiendo, para i = 1, 2 que
RT
pi pi (t) dt
1 2 1+ 1+ > 0, > 1, RT 0
>1
i + hi (i (t) + hi (t) i (t)) dt
0
y que
Di
p
i e
e
h+
i 0
donde
2 1+

p 1 + p 2 +

D1
ln
1 2 1+ 2+ e +
1 2 1+ 2+ e
:=
2+ 1+
.
D2 p 1 + p 2 +
ln 1 2 1+ 2+ e + 1 2 1+ 2+ e
En el captulo 3 se considera la formulacin abstracta del modelo de electrodifusin (0.0.2)

para el caso escalar y de un sistema y se estudia existencia de solucin bajo diferentes
condiciones de borde y diversas hiptesis impuestas a f .
En la seccin 3.1 se demostrarn los resultados que hemos obtenido y publicado en los
artculos ([9], [10]) referidos al modelo abstracto de electrodifusin para el caso escalar;
ms precisamente, en la subseccin 3.1.1, se considera la ecuacin (0.0.2) bajo condiciones
homogneas de Neumann
y 0 (0) = y 0 (1) = 0 (0.0.13)
y se prueba, usando teora de grado de coincidencia, por un lado, un teorema de existencia
de solucin para f : [0, 1]R3 R continua y acotada bajo condiciones asintticas del tipo
de Landesman-Lazer ([43], [52]) (teorema 3.0.1, [10]) y por otro un teorema de existencia
de solucin con hiptesis ms dbiles, esto es, para f no necesariamente acotada y bajo
condiciones no asintticas de Landesman-Lazer (teorema 3.0.2, [10]).
En la subseccin 3.1.2 consideramos el problema anlogo reemplazando en la no lineali-
dad, que aparece en (0.0.2), el valor y(1) por y() := limx+ y(x) y bajo condiciones de
Neumann en un dominio no acotado
y 0 (0) = v0 , y 0 () = 0, (0.0.14)
donde y 0 () := limx+ y 0 (x) y f : [0, +) R3 R es continua y acotada. Para

este caso se demuestra, bajo cierta condicin de control para la no linealidad y usando el
mtodo de sub y super soluciones ordenadas en combinacin con un argumento del tipo
diagonal, un teorema de existencia de solucin (teorema 3.0.3, [9]).
Finalmente, en la seccin 3.2, se prueban los resultados obtenidos para el problema abs-
tracto de electrodifusin correspondiente a sistemas, esto es para f : [0, 1] R3n Rn
Introduccin xv
con n > 1 y que hemos publicado en el artculo [12]. Anlogamente a lo que se hizo
con el caso escalar, en la subseccin 3.2.1 se demuestra un teorema de existencia para f
continua y acotada bajo condiciones del tipo Nirenberg (teorema 3.0.4) y en la subseccin
3.2.2 un resultado de existencia de solucin bajo hiptesis ms dbiles, esto es para f no
necesariamente acotada y bajo condiciones no asintticas (teorema 3.0.5, [12]).
En el captulo 4 se prueban algunos resultados referidos al modelo generalizado de Nichol-

son con un trmino de recoleccin no lineal que hemos publicado recientemente [11]; esos
resultados generalizan los obtenidos por otros autores.
En la seccin 4.1 se estudian condiciones suficientes para la existencia de solucin T -
peridica positiva. Ms precisamente, en la subseccin 4.1.1 se trata el caso escalar y se
demuestra que la ecuacin (0.0.7) tiene al menos una solucin positiva T -peridica bajo
la hiptesis de que
H(t, x)
Hsup (t) := lim sup
x0+ x
es uniforme en la variable t y se cumple
m
X
(t) + Hsup (t) < pk (t) (0.0.15)
k=1
para todo t R (teorema 4.0.4), resultado que extiende al de J. Li et al [47]. Por otro lado
tambin se da una condicin necesaria para la existencia de solucin T -peridica (teorema
4.0.6). Posteriormente se considera la ecuacin (0.0.7) pero con H = H(t, xk (t)) donde
k = k para algn k {1, 2, 3, , m} y plantearemos el problema (4. open problems
and conjectures, 6. [21]) en un contexto ms general extendiendo los resultados obtenidos
por F. Long y M. Yang [49]. Ms precisamente se prueba que si adems de satisfacerse la
condicin (0.0.15) se cumple que
H(t, x)
pk (t)ex (0.0.16)
x
Pm
k=1 pk (t)
para todo t y 0 < x < maxt[0,T ] e(t) entonces la ecuacin (0.0.7) con H =
H(t, xk (t)) tiene al menos una solucin T -peridica positiva (teorema 4.0.5).
Por otro lado en la subseccin 4.1.2 se considera un sistema tipo Nicholson, anlogo a
(0.0.12), pero con trminos no lineales de recoleccin, libres de retardos; ms precisamente
se considera
0
x1 (t) = 1 (t)x1 (t) + 1 (t)x2 (t) + p1 (t)f ((x1 )1 (t)) H1 (t, x1 (t))
(0.0.17)
0
x2 (t) = 2 (t)x2 (t) + 2 (t)x1 (t) + p2 (t)f ((x2 )2 (t)) H2 (t, x2 (t))
y se demuestra 1 que si
Hi (t, x) Hi (t, x)
Hi,sup (t) := lim sup , Hi,inf (t) := lim inf
x0+ x x+ x
1
Este resultado no se incluye en [11] y ser parte de un artculo que prximamente enviaremos para su
publicacin.
xvi Introduccin
son uniformes en la variable t para i = 1, 2 y se satisfacen las condiciones
(H1) : i (t) + Hi,sup (t) i (t) + pi (t)
para todo t R e i = 1, 2 entonces el sistema (0.0.17) tiene al menos una solucin x =

(x1 , x2 ) tal que xi es T -peridica y positiva para i = 1, 2 (teorema 4.0.7).
Finamlmente en la seccin 4.2 se dan condiciones suficientes para que el equilibrio trivial
sea un atractor global extendiendo el resultado de estabilidad obtenido por J. Li et al [47];
ms precisamente se demuestra que si
m
X H(t, x)
pk (t) (t) + para todo t, x > 0
x
k=1
entonces todas las soluciones del problema de valores iniciales (0.0.7)-(0.0.5) estn global-
mente definidas, son positivas y tienden a 0 cuando t + (teorema 4.0.8).
Chapter 1
Preliminares.
En este captulo se darn las herramientas necesarias para abordar posteriores captulos;
si bien los mtodos y conceptos que aqu se tratan son conocidos se opta por hacer una
breve exposicin de los mismos a los efectos de facilitar la lectura de esta tesis.
En la seccin 1.1 se define el grado de Leray-Schauder, se establecen algunas propiedades

frecuentemente utilizadas y se enuncian los teoremas de punto fijo de Schauder (teorema
1.1.3) y el de Poincar-Miranda (teorema 1.1.4).
En la seccin 1.2 se hace una breve exposicin de la teora del grado de coincidencia; se
enuncian sus propiedades principales y se demuestran los resultados bsicos necesarios
para aplicar el mtodo de continuacin (teorema de continuacin generalizado 1.2.5 y
corolario 1.2.6) que sern fundamentales en las aplicaciones de la tesis.
En la seccin 1.3 se consideran algunas condiciones de la no linealidad bajo las cuales,

usando teora del grado de coincidencia, se prueba existencia de solucin T -peridica
para el caso escalar y de sistema; estas condiciones sern adaptadas al tipo de problemas
tratados aqu.
Posteriormente en la seccin 1.4 daremos un ejemplo en el que se combina el mtodo de

las sub y super soluciones ordenadas y un argumento del tipo diagonal para demostrar,
bajo determinadas condiciones, existencia de solucin para un problema de Dirichlet en
un dominio no acotado.
Finalmente en la ltima seccin 1.5 se da una breve introduccin a las ecuaciones diferen-
ciales con retardo; ms precisamente en la subseccin 1.5.1 se ilustran, a travs de ejem-
plos, algunas de sus principales diferencias con respecto a las ecuaciones diferenciales
ordinarias. En la subseccin 1.5.2 se prueba existencia y unicidad de solucin (teoremas
1.5.5 y 4.1.2) y dependencia continua respecto del dato inicial para ecuaciones con retardo
(teorema 1.5.4); por ltimo en la subseccin 1.5.3 se considera el operador de Poincar en
el contexto de las ecuaciones diferenciales con retardo, frecuentemente utilizado en las
aplicaciones de las ecuaciones diferenciales ordinarias para establecer existencia de solu-
cin peridica, y se observan algunas de las dificultades que surgen en su aplicacin.
1
2 CHAPTER 1. PRELIMINARES.
1.1 El grado de Leray-Schauder.

Comenzamos con una definicin axiomtica del grado topolgico debida a Amann y
Weiss [1] que nos permitir definir el grado de Leray-Schauder como un caso particular.
Sean X un espacio normado con la topologa y la mtrica inducidas por la norma y G
una familia de abiertos tal que G. Para G denotamos
C() := {F : X X/ F es continua }
dotado de la topologa uniforme y consideramos, para cada G fijo, una subcoleccin

de funciones M () C() con la topologa inducida .
Definicin 1.1.1. Funciones Admisibles. Se dice que

[
M(G) := M ()
G
es un conjunto de funciones admisibles de X si se cumple
(a): I| M () para todo G no vaco.
(b): Para cada par 1 , 2 G con 1 2 y cada F M (2 ) se tiene que F |1 M (1 ).
Ahora fijemos una clase de funciones admisibles M(G) asociada a cierta subfamilia de
abiertos G. Para cada G y p X, difinimos
Mp () := {F M () : p
/ F ()},
Ap := {(F, , p) : G, F Mp ()}
y
[
A := Ap .
pX
Con estas notaciones damos la siguiente
Definicin 1.1.2. Grado Topolgico. Un grado topolgico para M(G) es una funcin
d:AZ
que satisface los siguientes axiomas:
(A1). Normalizacin. Si G y p entonces d(I| , , p) = 1.
(A2). Aditividad. Sean G no vaco, 1 , 2 abiertos disjuntos y p X. Si F M ()

yp / F ( (1 2 )) entonces
d(F, , p) = d(F |1 , 1 , p) + d(F |2 , 2 , p).

1.1. EL GRADO DE LERAY-SCHAUDER. 3
(A3). Invariancia bajo Homotopa. Sea G no vaco y p X.

Para cada
H : [0, 1] Mp ()
continua se cumple que
d(H(t), , p) = d(H(0), .p)
para todo t [0, 1].
(A4). Traslacin. Si G es no vaco y F Mp () entonces
d(F, , p) = d(F p, , 0).
Una funcin d(, , p) : Mp () Z que satisface (A1), (A2), (A3) y (A4) se denomina
grado topolgico en p relativo a y el entero d(F, , p), el grado topolgico de la funcin
admisible F en p relativo a .
Para definir el grado de Leray-Schauder comencemos con la siguiente
Definicin 1.1.3. Operador compacto. Sean X, Y espacios normados. Se dice que el

operador K : Dom(K) X Y es compacto si K es continuo y adems para todo
B Dom(K) acotado se verifica que K(B) es relativamente compacto, es decir, K(B) es
compacto en Y
y recordemos el siguiente resultado til para probar la compacidad de un operador
Teorema 1.1.1. Arzel-Ascoli. Si Y un espacio de Banach y X un espacio mtrico compacto

entonces A := {fi }iI C(X, Y ) es relativamente compacto en C(X, Y ) si y slo si la familia
de funciones A es equicontinua y para cada x X el conjunto A(x) := {fi (x) : para todo i I}
es relativamente compacto en Y .
Ahora consideramos un espacio de Banach E, E un conjunto abierto y acotado y K :

E un operador compacto; teniendo en cuenta que es acotado K puede aproximarse
por un operador de rango finito; ms precisamente, dado > 0 existe V un subespacio
de E de fimensin finita y un operador K : E continuo tal que Im(K ) V y
adems ||K(x) K (x)|| < para todo x . El operador K se llama usualmente
una -aproximacin del operador K. Por otro lado observamos que siendo K compacto
inf x ||x K(x)|| =
6 0, luego podemos dar la siguiente
Definicin 1.1.4. Grado de Leray Schauder. Con las notaciones anteriores si K : E

es compacto y 0 / (I K)1 () definimos el grado de Leray Schauder de I K en 0
relativo a del siguiente modo
dLS (I K, , 0) := d((I K )|V , V , 0) (1.1.1)
donde 0 < < 12 inf x ||x K(x)||, I : denota la identidad sobre y K es una
-aproximacin del operador compacto K.
En primer lugar sealamos que la definicin 1.1.4 es independiente de la aproximacin

elegida [6] y en segundo lugar si tomamos G como
S el conjunto de todos los abiertos y
acotados de X de dimensin infinita y M(G) = G KI () donde
KI () := {F : X/ F := I K con K : X compacto} (1.1.2)
entonces dLS es una funcin que verifica las propiedades (A1)-(A4) de la definicin 1.1.2
[48]. Ms an Amann y Weiss [1] han probado el siguiente resultado de unicidad
Teorema 1.1.2. Existencia y Unicidad del Grado Topolgico. Sea X un espacio vectorial
localmente convexo y G la familia de todos los abiertos acotados de X. Entonces existe un nico
grado topolgico para la clase admisible de funciones
M(G) := {KI () : G}.
Observacin 1.1.1. El clsico ejemplo de Kakutani [48] muestra que el grado topolgico
de Leray-Schauder no se puede definir si G se elige como el conjunto
S de los abiertos y
acotados de un espacio normado X de dimensin infinita y M(G) = G C().
La teora del grado topolgico es un instrumento que bsicamente permite obtener, bajo
ciertas condiciones, una cota inferior de la cantidad de soluciones de una ecuacin determi-
nada; en ese sentido la propiedad que con mayor frecuencia se utiliza es llamada existencia
de solucin: si d(F, , p) 6= 0 entonces existe x tal que F (x) = p.
Muchas veces, en la prctica, se requiere calcular el grado de una aplicacin continua
: S n1 S n1 donde S n1 := {x Rn : ||x|| = 1}. Esto puede hacerse de varias ma-
neras diferentes, por ejemplo usando homologa. No obstante podemos proceder, en el
marco de nuestro desarrollo de la teora de grado, de la siguiente manera: en primer lu-
gar recordamos una propiedad que se utiliza frecuentemente para el clculo del grado
y que se refiere al hecho de que su valor slo depende del punto, del dominio y de
cmo la funcin se defina sobre el borde del dominio; ms precisamente, si dos fun-
ciones admisibles F, G : X X coinciden sobre entonces sus grados coinciden
d(F, , 0) = d(G, , 0). Teniendo en cuenta esta propiedad damos la siguiente
Definicin 1.1.5. Grado Relativo a una Esfera. Dada : S n1 S n1 continua, conside-

ramos F : B1 (0) Rn una extensin continua arbitraria de y definimos su grado
deg() := dB (F, B1 (0), 0) (1.1.3)
donde B1 (0) = {x Rn : ||x|| < 1} y dB es el grado de Brouwer.
Finalmente enunciamos dos teoremas de gran importancia que usaremos posteriormente

y que son consecuencias de la invariancia bajo homotopa del grado topolgico.
El primero es el teorema, bien conocido, de punto fijo de Schauder
Teorema 1.1.3. Punto Fijo de Schauder. Sea X un espacio de Banach y S X un conjunto

acotado, cerrado y convexo tal que el operador K : S X X es compacto y adems S es
K-invariante. Entonces K tiene al menos un punto fijo en S.
1.2. EL GRADO DE COINCIDENCIA. 5
El segundo resultado fue formulado por primera vez por Poincar [67] en el ao 1886 y
demostrado posteriormente por Miranda [56] en el ao 1940; es conocido como teorema
de Poincar-Miranda. El enunciado tal cual figura en el trabajo de Miranda [56] es el
siguiente
Teorema 1.1.4. Poincar-Miranda. Sea
:= {x Rn : |xi | L, i = 1, 2, , n}
y F : Rn F = (f1 , f2 , , fn ) continua tal que
fi (x1 , x2 , . . . , xi1 , L, xi+1 , xi+2 , , xn ) 0

(1.1.4)
fi (x1 , x2 , . . . , xi1 , L, xi+1 , xi+2 , , xn ) 0
para todo i = 1, 2, , n. Entoncces existe x tal que F (x) = 0.
Para n = 1 el resultado coincide con el teorema de Bolzano. Miranda prob que el teorema
(1.1.4) es equivalente al teorema del punto fijo de Brouwer [42].
El siguiente corolario dice que el teorema sigue siendo vlido para rectngulos arbitrarios
con caras paralelas a los ejes coordenados y si se intecambian las desigualdades.
Corolario 1.1.5. Sea F : Rn Rn (F = (f1 , f2 , , fn )) continua en el paraleleppedo
= [r1 ; r1+ ] ... [r2 ; r2+ ] ... [rn ; rn+ ]

con ri < ri+ para cada i = 1, 2, ..., n.
Consideremos,para cada i = 1, 2, ..., n, las caras anterior y posterior i-simas de
c(i, ) = {x I : xi = ri }, c(i, +) = {x I : xi = ri+ }
respectivamente.
Supongamos que para todo i = 1, 2, , n y para todo x c(i, ), x c(i, +) se cumple
fi (x)fi (x) 0. (1.1.5)
Entonces existe x tal que F (x) = 0.
Finalmente sealamos que el resultado puede generalizarse para funciones continuas en

espacios de dimensin infinita [80].
1.2 El grado de coincidencia.

Como se sabe el grado de coincidencia de Mawhin es una generalizacin del grado topolgico
de Leray-Schauder; en esta seccin daremos la definicin del grado de coincidencia pero
antes debemos establecer una serie de definiciones y resultados preliminares.
Definicin 1.2.1. Operador de Fredholm. Sean X e Y espacios de Banach y L : Dom(L)

X Y un operador lineal con Dom(L) X un subespacio. Se dice que el operador L es
de Fredholm si se cumplen la siguientes condiciones:
(F1): ker(L) es finito dimensional.
(F2): Im(L) es un subespacio cerrado de Y y de codimensin finita, o sea
codim(Im(L)) = dim(coker(L)) <
donde coker(L) := Y /Im(L).
Adems si L es de Fredholm se define su ndice como el entero
i(L) := dim(ker(L)) codim(Im(L))
Nos interesa en particular los operadores de Fredholm de ndice cero.

De resultados bsicos del anlisis funcional sabemos que existen complementos directos
del ker(L) y de Im(L) y en tal caso podemos definir proyectores continuos P : X X y
Q:Y Y
P/ Q
X Dom(L)
L /Y /Y
de manera que
Im(P ) = ker(L) (1.2.1a)

ker(Q) = Im(L) (1.2.1b)
y
X = ker(L) ker(P ) (1.2.2a)

Y = Im(L) Im(Q) (1.2.2b)
Como veremos en la prxima seccin, cuando se reformulan ciertos problemas resonantes
en el contexto funcional, aparece un operador de diferenciacin que no es inversible; en
esos casos se considera la inversa generalizada sugn se establece en la siguiente
Definicin 1.2.2. Inversa generalizada de L. Con las notaciones previas, se define la inversa
generalizada de L
KP,Q : Y Dom(L) ker(P )
como
KP,Q := KP (I Q) (1.2.3)
donde
KP : Im(L) Dom(L) ker(P )
es la inversa algebraica del operador
LP : Dom(L) ker(P ) Im(L).
Observacin 1.2.1. Efectivamente Lp := L|Dom(L)ker(P ) es un isomorfismo; par ello basta

observar que si x Dom(L)ker(P ) y L(x) = 0 entonces x ker(P )ker(L) y de acuerdo
a la suma directa (1.2.2a) se tiene x = 0. Adems se verifican las siguientes relaciones
LKP = I|Im(L) y KP L = [I P ]|Dom(L) . (1.2.4)

Ahora consideramos el co-ncleo de L con la topologa cociente y
: Y coker(L)
la sobreyeccin cannica definida (y) = [y] = {y + Im(L), y Y } y observamos que
y ker Q = Im(L) sii y ker . (1.2.5)
En lo que resta consideraremos L : Dom(L) X Y un operador de Fredholm de

ndice cero y N : X Y no necesariamente lineal con abierto y acotado.
Nuestro objetivo es estudiar condiciones suficientes para que la ecuacin
Lx = N x
tenga al menos una solucin x Dom(L) .
En el contexto de la teora del grado de coincidencia interesan las no linealidades que

satisfacen ciertas propiedades; ms precisamente fijados los proyectores P y Q damos la
siguiente
Definicin 1.2.3. Operador L-Compacto. Un operador N : Y si dice que es L-compacto
en si se satisfacen las siguientes condiciones:
(L1): N : X coker(L) es continuo y N () es acotado.
(L2): KP Q N : X es un operador compacto en es decir KP Q N es continuo y

KP Q N () un conjunto relativamente compacto.
Observacin 1.2.2. La condicin (L2) no depende del par (P, Q) de proyecciones, ms
precisamente se tiene el siguiente resultado (Proposition III.1, [53]): si L es un operador de
Fredhom de ndice cero y se cumple (L1) entonces si para algn par de proyectores (P, Q) se
cumple (L2) entonces (L2) se cumple para cualquier par de proyectores continuos (P 0 , Q0 )
que satisfacen (1.2.1a) y (1.2.1b).
Por ltimo consideramos , la clase de todos los isomorfismos del coker(L) con el ker(L)
y damos la siguiente
Definicin 1.2.4. Se dice que 0 y son homotpicas en si y slo si existe un operador
continuo
: [0, 1] coker(L) ker(L)
tal que
(0, ) = 0 y (1, ) = 00 .
Asimismo teniendo en cuenta la orientacin del ker(L) decimos que
: coker(L) ker(L)
es un isomorfismo que preserva la orientacin si y slo si fijadas las orientaciones B1 :=

{vi }1in y B2 = {wi }1in para el coker(L) y ker(L) respectivamente entonces (B1 )
define la misma orientacin para ker(L) que la dada por B2 . En caso contrario decimos
que la invierte.
Observacin 1.2.3. Se demuestra (Proposition III.4 , [53]) que existen slo dos clases ho-
motpicas que particionan a , ms precisamente: 0 y 00 son homotpicas en si y slo
si
det(0 (00 )1 ) > 0.
El siguiente diagrama ilustra la situacin que tenemos hasta aqu
LP
? _ ker(P ) Dom(L) o /
XO o Im(L) = ker(Q)
i i KP O
IP IQ
KP,Q
XO Y o X
N

i
? r
Im(P ) = ker(L) o coker(L)

Basndonos en estos preliminares definimos el operador
F :XX
como
F := I K (1.2.6)
donde
K := P + ( + KP Q )N
y probaremos dos resultados bsicos para alcanzar nuestro objetivo: en primer lugar que
el operador K es compacto y en segundo que el conjunto de ceros de F es el conjunto de
soluciones de la ecuacin Lx = N x.
Proposicin 1.2.1. Si L es un operador de Fredholm de ndice cero y N es L-compacto entonces
el operador K es compacto en .
Demostracin. Por la condicin (L2) KP Q N es compacto. Por otro lado P es de rango
finito, de manera que P es compacto. Finalmente por la condicin (L1) tenemos que N
es continua y N () es acotado, luego N es continua de rango finito y se sigue el
resultado.
Con las notaciones y definiciones previas tenemos
Proposicin 1.2.2. Si : coker(L) ker(L) es un isomorfismo arbitrario entonces para todo
x Dom(L)
Lx = N x Fx = 0 (1.2.7)
Demostracin. Teniendo en cuenta que I Q es proyectar sobre Im(L) y que ker(Q) =
Im(L) tenemos
Lx = N x Lx = (I Q)N x, QN x = 0.
Aplicando KP en ambos miembros de la ecuacin Lx = (I Q)N x y usando la equiva-
lencia QN x = 0 N x = 0 (relacin (1.2.5)) vemos que
Lx = N x KP Lx = KP (I Q)N x, N x = 0
Finalmente teniendo en cuenta que KP L = [I P ]|Dom(L) (relacin (1.2.4)), que KP,Q =

KP (I Q) y que es un isomorfismo
Lx = N x (I P )x = KP,Q N x, N x = 0
es decir
Lx = N x (I P )x = ( + KP Q )N x
de donde se sigue el resultado.

Observacin 1.2.4. De acuerdo a la equivalencia (1.2.7), si se cumple la condicin
Lx 6= N x para todo x Dom(L) (1.2.8)
el grado de Leray Schauder dLS (F, , 0) est definido y tenemos el siguiente resultado
(Proposition III.6, [53]) que es la antesala de la definicin del grado de coincidencia: Si
L : Dom(L) X Y es un operador de Fredholm de ndice cero, N : X Y es L-
compacto y se cumple (1.2.8) entonces el grado de Leray-Schauder dLS (F, , 0) depende
solamente de L, N , y de la clase de homotopa de elegida.
Teniendo en cuenta el desarrollo previo, podemos extender la nocin del grado topolgico
de Leray-Schauder; para ello fijamos orientaciones para el ker(L) y el coker(L) y elegimos
un isomorfismo que preserve la orientacin y damos la siguiente
Definicin 1.2.5. Grado de Coincidencia. Si L es un operador de Fredholm de ndice cero

y N es L-compacto entonces el grado de coincidencia del par (L, N ) en es el entero
d((L, N ), ) := dLS (F, , 0) = dLS (I K, , 0)
donde K se define como en (1.2.6).
Observacin 1.2.5. Si X = Y y L = I entonces L es claramente un operador de Fredholm

de ndice cero y se tiene que P = 0, Q = 0 y KP Q = I. En este caso las condiciones (L1) y
(L2) se satisfacen si N es compacto sobre . Luego, efectivamente, el grado de coincidencia
del par (I, N ) es el grado de Leray-Schauder de la perturbacin compacta de la identidad
I N , es decir
d((I, N ), ) := dLS (I N, , 0).
Obviamente, para espacios normados de dimensin finita, el grado de coincidencia es el

grado de Brouwer. Tambin observamos que en el caso no resonante, ker(L) = {0}, se
tiene que P = 0, Q = 0, = 0 y KP Q = L1 de manera que
d[(L, N ), ] = dLS (I L1 , , 0).
En la subseccin que sigue usaremos la siguiente convencin referida al grado de Brouwer

para un espacio de dimensin cero, es decir X = {0}. En ese caso, definimos d(I, {0}, 0) =
1 y para la aplicacin vaca d(, {0}, 0) = 0.
1.2.1 Principales propiedades del grado de coincidencia.

En esta subseccin enunciamos algunas de las propiedades fundamentales del grado
de coincidencia que se aplican usualmente, en particular las propiedades (A1), (A2) y
(A3) de la definicin axiomtica del grado topolgico (1.1.2); las demostraciones de esas
propiedades son consecuencias de la definicin del grado de coincidencia y de la validez
de las propiedades anlogas para el grado topolgico de Leray Schauder.
Teorema 1.2.3. Si L es un operador de Fredholm de ndice cero y N es L-compacto en entonces

el grado de coincidencia satisface las propiedades
1. Normalizacin. Si G y 0 entonces d[(I, 0), ] = 1.
2. Aditividad. Si = 0 1 con 0 y 1 abiertos disjuntos entonces
d[(L, N ), ] = d[(L, N ), 0 ] + d[(L, N ), 1 ]
3. Invariancia del grado bajo Homotopa. Si N : [0, 1] Y es L-compacto en [0, 1]

tal que para cada [0, 1]
0
/ (L N (, ))(Dom(L) )
entonces
d[(L, N (, )), ]
es independiente de [0, 1].
4. Existencia de Solucin. Si d[(L, N ), ] 6= 0 entonces existe x Dom(L) tal que

Lx = N x.
5. Escisin. Si 0 es un abierto tal que (L N )1 (0) 0 entonces
d[(L, N ), ] = d[(L, N ), 0 ].
6. El grado de coincidencia d[(L, N ), ] slo depende de L, y de la restriccin de N sobre

.
7. Teorema de Rouch. Para cada N 0 : Y tal que
sup{||Fx F 0 x|| : x } < r
donde Fx := x P x ( KP,Q )N x,
r := inf{||Fx|| : x } > 0
y F 0 x := x P x ( KP,Q )N 0 x se tiene que
d((L, N ), ) = d((L, N 0 ), ).
8. Teorema de Borsuk Generalizado. Si es un conjunto abierto, acotado y simtrico res-

pecto del origen y N es impar entonces d((L, N ), ) es impar.
En la prctica se combinan varias de estas propiedades: existencia de solucin, aditivi-

dad, escisin e invariancia bajo homotopa. La aditividad es frecuentemente utilizada
para probar multiplicidad de solucin. No obstante, la propiedad ms potente es la inva-
riancia bajo homotopa. Para ilustrar su alcance probaremos algunas de las consecuencias
enunciadas.
Por ejemplo que el grado no depende sino de L, y de la restriccin de N al borde de
se puede probar as: supongamos que N y N 0 son L-compactos y coinciden sobre ;
entonces si consideramos la ms simple de todas las homotopas que es la combinacin
convexa
N (, x) := N x + (1 )N 0 x (1.2.9)
el resultado se sigue de la propiedad de invariancia bajo homotopa enunciada en el teo-
rema (1.2.3).
Tambin el teorema de Rouch es una consecuencia de la invariancia; nuevamente consi-
deramos la homotopa (1.2.9) y Fx := x P x ( KP,Q )N (, x). Entonces fcilmente
se comprueba que para x se tiene ||Fx|| > 0 lo que muestra que Lx 6= N (, x) para
x Dom(L) y [0, 1] y de ah el resultado.
1.2.2 Teorema de continuacin generalizado.

Ahora estamos en condiciones de establecer la herramienta fundamental para esta tesis,
esto es, un teorema de continuacin generalizado que garantiza, bajo ciertas condiciones,
existencia de solucin.
Dado L : Dom(L) X Y un operador de Fredholm de ndice cero y
N : [0, 1] Y
un operador L-compacto en [0, 1] se considera la familia uniparamtrica de ecuaciones
Lx = N (, x) + y, [0, 1], y Im(L) (1.2.10)
y se tiene la siguiente equivalencia
Lema 1.2.4. Para cada (0, 1] el conjunto de soluciones de la familia (1.2.10) coincide con el
conjunto de soluciones de la ecuacin
Lx = (Q + (I Q))N (, x) + y = QN (, x) + (I Q)N (, x) + y (1.2.11)
y si = 0 cada solucin de (1.2.11) es una solucin de (1.2.10).
Demostracin. Supongamos que (0, 1], entonces teniendo en cuenta que ker(Q) =
Im(L) se tiene que (1.2.10) es equivalente a
0 = QN (, x) y Lx = (I Q)N (, x) + y
y en consecuencia a (1.2.11).
Por otro lado si = 0 entonces (1.2.11) queda
0 = QN (0, x) Lx = y
y por lo tanto cada solucin de (1.2.11) es una solucin de (1.2.10).
El resultado funcamental de esta seccin es el siguiente

Teorema 1.2.5. de Continuacin Generalizado. Sean L : Dom(L) X Y un operador

de Frdedholm de ndice cero, N : [0, 1] Y L-compacto en [0, 1] con N (1, ) := N e
y Im(L) fijo, tal que se satisfacen las siguientes condiciones
(H1): Lx 6= N (, x) + y para cada (0, 1) y cada x Dom(L) .
(H2): N (0, x) 6= 0 para cada x L1 (y) .
(H3): El grado de Brouwer de la funcin N (0, ) restringida al espacio finito dimensional afin
L1 (y) relativo al conjunto L1 (y) es no nulo, es decir
dB [N (0, )|L1 (y) , L1 (y), 0] 6= 0.
Entonces para cada [0, 1) la ecuacin (1.2.10) tiene al menos una solucin en y la ecuacin
Lx = N (x) + y
tiene al menos una solucin en .
Demostracin. Aplicaremos la propiedad de invariancia bajo homotopa para el operador

L-compacto
N (, x) = QN (, x) + (I Q)N (, x) + y.
Tenemos que verificar en primer lugar que se cumple
0
/ (L N (, ))(Dom(L) )
para todo [0, 1].

Por la hiptesis (H1) tenemos que si (0, 1) y x Dom(L) entonces Lx 6=
N (, x) + y; luego por el lema (1.2.4)
Lx 6= QN (, x) + (I Q)N (, x) + y = N (, x),
es decir que para todo (0, 1) y todo x Dom(L) se verifica que 0

/ (L
N (, ))(Dom(L) ).
Por otro lado si = 0 entonces nuevamente por el lema (1.2.4) toda solucin de L(x) =
N (0, x) = QN (0, x) + y es solucin de Lx = y de manera que QN (0, x) = 0 y teniendo
en cuenta que Qz = 0 sii z ker tenemos que N (0, x) = 0. Ahora de la hiptesis
(H2) se tiene N (0, x) 6= 0 para cada x L1 y y entonces tambin se verifica que
0 / (L N (0, ))(Dom(L) ) para todo x Dom(L) .
Finalmente si para = 1 y x Dom(L) se cumple que L(x) = N (1, x) = N (1, x) + y
entonces se verifica en forma directa la ltima afirmacin del teorema y entonces podemos
asumir en definitiva que 0 / (L N (, ))(Dom(L) ) para todo [0, 1] y x
Dom(L) .
Por la propiedad de invariancia bajo homotopa tenemos que d[(L, N (, )), ] no depende
de [0, 1] de manera que podemos calcular su valor para = 0.
d[(L, N (0, )), ] = d[(L, QN (0, x) + y), ] =

(1.2.12)
= dLS (I P N (0, ) KP y, , 0).
Ahora distinguimos dos casos:
1) Si ker(L) = {0} entonces tenemos que P = 0, Q = 0, = 0, KP,Q = L1 y
d[(L, N (0, )), ] = dB (I L1 y, , 0).
En este caso la hiptesis (H2) es equivalente a que L1 {y} = y con la convencin

del grado de Brouwer para espacios de dimensin cero (observacin 1.2.5) la hiptesis
(H3) se transforma en la condicin L1 {y} 6= es decir si L1 (y) lo cual implica
L1 {y} = . Ahora dB (I L1 y, , 0) = dB (I, , L1 y) = 1 y el resultado se sigue
de la propiedad de existencia de solucin.
2) Si ker(L) 6= {0} entonces
d[(L, QN (0, x) + y), ] = dLS (I P N (0, ) KP y, , 0) =

= dLS (I P N (0, + KP y), KP y + , 0) =
= dLS (I P N (0, + KP y)|ker(L) , (KP y + ) ker(L), 0) =
(1.2.13)
= dLS (N (0, + KP y)|ker(L) , (KP y + ) ker(L), 0) =
= dLS (N (0, + KP y)|ker(L) , (KP y + ) ker(L), 0) =
= dLS (N (0, )|L1 {y} , L1 {y}, 0)
donde se ha usado la invariancia del grado bajo traslacin, la propiedad multiplicativa
del grado de Brouwer y el hecho de que el grado de un isomorfismo lineal es 1. Ahora
el resultado se sigue usando la hiptesis (H3).
Generalmente la verificacin de las hiptesis (H2) y (H3) del teorema 1.2.5 no son inme-
diatas; a los efectos de evitar trabajar con el espacio cociente procedemos de la siguiente
manera. Consideramos el caso y = 0 y observamos que si
J : Im(Q) ker(L)
es un isomorfismo para algn proyector continuo Q : Y Y que satisface la condicin

(1.2.1b) entonces la equivalencia formulada en la proposicin (1.2.2) se cumple con
Fx = x P x JQN x KP,Q N x (1.2.14)
y se tiene el siguiente corolario del teorema 1.2.5 que usaremos en captulos posteriores
Corolario 1.2.6. Sean L : Dom(L) X Y un operador de Frdedholm de ndice cero

y N : [0, 1] Y L-compacto sobre [0, 1] , N (0, ) := N y J : Im(Q) ker(L)
un isomorfismo para algn proyector continuo Q : Y Y que satisface la condicin (1.2.1b).
Supongamos que se cumplen las hiptesis
(H1): Lx 6= N (, x) para cada (0, 1) y cada x Dom(L) .
(H2): QN 6= 0 para cada x ker(L) .

(H3):
dB (JQN |ker(L) , ker(L), 0) 6= 0.
Entonces las conclusiones del teorema (1.2.5) siguen siendo vlidas.

Demostracin. Con la notacin Q := |Im(Q) observamos que
N = QN = (Q )QN
siendo Q un isomorfismo de Im(Q) sobre ker(L). Luego
d[N |ker(L) , ker(L), 0] = d[JQN |ker(L) , ker(L), 0]
de donde se sigue el resultado.

Observacin 1.2.6. Notamos que las hiptesis (H2) y (H3) conjuntamente dicen que el
grado de Brouwer de la funcin QN existe y es distinto de cero. Adems para algn
isomorfismo : ker(L) Rn ponemos
G := (ker(L) )
e identificamos JQN |ker(L) con h := JQN 1 |G
Q
ker(L)
N /Y / Im(Q) J / ker(L)
O
1 |G

G
h / Rn
1.3 Algunas aplicaciones de la teora del grado de coincidencia a

ciertos problemas resonantes.
En esta seccin se dan algunos resultados que se adaptarn a ciertos problemas resonantes
que se describen en el siguiente captulo.
La estrategia del mtodo del grado topolgico comienza reformulando una determinada
ecuacin diferencial como una ecuacin funcional
Lx = N x
donde x pertenece a cierto espacio de Banach adecuado. En general el operador L es un

operador lineal de diferenciacin y la no linealidad N involucra derivadas de orden infe-
rior a las que ocurren en L. Dependiendo de las condiciones de contorno del problema, el
operador L puede invertirse (ver por ejemplo (1.4.4)) y en tal caso Lx = N x es equivalente
al problema de punto fijo
x = L1 N (x).
Si L no es inversible se dice que el problema es resonante y bajo ciertas condiciones, por

ejemplo en una ecuacin de segundo orden bajo condiciones de tipo Neumann o peri-
dicas, podemos usar la teora del grado de coincidencia de acuerdo al siguiente esquema
basado en el corolario 1.2.6:
1.3. ALGUNAS APLICACIONES DE LA TEORA DEL GRADO DE COINCIDENCIA A
CIERTOS PROBLEMAS RESONANTES. 15
1. Se eligen espacios de Banach adecuados X e Y ; un operador lineal L : Dom(L)

X Y con Dom(L) un subespacio de X y N : X Y de forma tal que el problema
a resolver sea equivalente a la ecuacin L(x) = N (x), x Dom(L).
2. Se prueba que L es un operador de Fredholm de ndice cero y a partir de la determi-

nacin de proyectores continuos P, Q que satisfacen las relaciones (1.2.1a) y (1.2.1b),
un isomorfismo J : Im(Q) ker(L) y la inversa generalizada de L, es decir KP,Q ,
se define la homotopa (1.2.14).
3. Se prueba la existencia de un conjunto X abierto y acotado de forma tal que

N : X Y resulte ser un operador L-compacto y se verifiquen las hiptesis
(H1), (H2) y (H3) del corolario 1.2.6.
Se observar que en todos los casos tratados en esta tesis el operador N es independiente
del parmetro , de manera que la familia uniparamtrica de problemas sobre la que se
aplica el mtodo de continuacin es Lx = N x con [0, 1] y x Dom(L) .
El procedimiento para la determinacin de la existencia del conjunto est basado, en
parte, en el obtencin de cotas a priori de las supuestas soluciones del problema; en este
sentido usaremos, en la prxima subseccin, la desigualdad de Wirtinger, segn la cual
para una funcin x : [0, T ] R absolutamente continua que satisface x(0) = x(T ) y
x0 (0) = x0 (T ) existe una constante 1 C > 0 tal que
||x x||L2 (0,T ) C||x0 ||L2 (0,T ) (1.3.1)

RT
donde x := 0 x(t) dt es el promedio de x sobre [0, T ]. en
1.3.1 Condiciones de Landesman-Lazer.

En un artculo clsico Landesman y Lazer dan condiciones suficientes para la existencia de
solucin de un problema elptico resonante con condiciones de Dirichlet ([43],[52]); esas
condiciones se pueden formular para el caso de las ecuaciones diferenciales ordinarias en
trminos del comportamiento asinttico de la no linealidad.
Consideramos el problema de segundo orden T -peridico
00
x = f (t, x)
(1.3.2)
x(0) = x(T ), x0 (0) = x0 (T )
donde f C([0, T ] R, R). Un primer resultado es el siguiente
Teorema 1.3.1. Landesman-Lazer. Caso Asinttico. Sea f (t, x) = p(t)g(x) con g C(R)
acotada, p C([0, T ]) tal que existen los lmites
g(+) := lim g(x)

x+
y
g() := lim g(x).
x
1 T
Se puede probar que la constante ptima es C = 2
Si se satisface que
g() < p < g(+) (1.3.3a)
g(+) < p < g() (1.3.3b)

RT
donde p := T1 0 g(x) dx designa el promedio de p sobre [0, T ] entonces el problema (1.3.2) tiene
al menos una solucin T -peridica.
Observacin 1.3.1. Si para todo x R se cumple que
g() < g(x) < g(+) (1.3.4)
entonces la condicin (1.3.3a) es tambin necesaria.

De la demostracin de este teorema ([6], [7],[52]) se sigue que las condiciones de Landesman-
Lazer as enunciadas pueden debilitarse en el sentido de levantar la exigencia de la exis-
tencia del lmite de la no linealidad, por ejemplo pidiendo que para alguna constante
R > 0 se cumpla
g(x) < p < g(x) (1.3.5a)
g(x) < p < g(x) (1.3.5b)

para todo x R.
Bajo cualquiera de estas dos condiciones (1.3.5a) (1.3.5b) se verifica que si p = 0 entonces
el problema tiene solucin an cuando g() = 0, es decir para el caso de las llamadas
vanishing nonlinearities.
Un segundo resultado, ms general, es el siguiente
Teorema 1.3.2. Landesman-Lazer. Caso Asinttico Generalizado. Sea f C([0, T ]R, R)

acotada tal que
lim sup f (t, x) = fs (t) lim inf f (t, x) = fi (t). (1.3.6)
x x
Si se satisface que
Z T Z T
fs (t) dt < 0 < fi+ (t) dt (1.3.7a)
0 0
Z T Z T
fs+ (t) dt < 0 < fi (t) dt (1.3.7b)
0 0
entonces el problema (1.3.2) tiene al menos una solucin T peridica.
Demostracin. Siguiendo el esquema recin enunciado, en primer lugar elegimos, en este

caso, X = Y = C[0, T ] con la norma || || y consideramos los operadores
L : Dom(L) X X
con
Dom(L) = {x C 2 [0, T ] : x(0) = x(T ), x0 (0) = x0 (T )}
y
N :XX
definidos
Lx(t) = x00 (t), x Dom(L) ; N x(t) = f (t, x(t)), x X
para todo t [0, T ].
Fcilmente se verifica que el problema es resonante, pues ker(L) = R y adems
Im(L) = {x X : x = 0}.
Luego L resulta ser un operador de Fredholm de ndice cero .

Ahora consideramos los proyectores continuos P, Q : X X definidos Q(x) = P (x) :=
x, el isomorfismo J : Im(Q) ker(L) dado por la identidad y la inversa de LP =
L|Dom(L)ker(P ) ; ms precisamente, dada Im(L), se define KP () := x siendo x la
nica solucin de promedio cero del problema
00
x =
x(0) = x(T ), x0 (0) = x0 (T ).
Usando la desigualdad de Wirtinger (1.3.1) y el teorema 1.1.1 de Arzel-Ascoli se com-
prueba que KP es compacto; luego la inversa generalizda KP,Q = (I Q)KP es compacta.
En segunda instancia, se considera la familia uniparamtrica de problemas
(P ) : Lx = N x, x Dom(L), [0, 1]
y segn la proposicin (1.2.2) tenemos que x Dom(L) es solucin de (P ) para (0, 1]

si y slo si F (x) = 0 donde
F (x) := x P (x) JQ(N x) KP,Q (N x) =

= x P (x)
h JQ(f (, x)) KP (I Q)(f (, x))
i =
= x x + f (, x) + KP ( f (, x) f (, x) ) .
Finalmente debemos probar la existencia de un conjunto X abierto y acotado de

forma tal que N : X sea L-compacto y se verifiquen las hiptesis (H1) (H2) y (H3)
del corolario 1.2.6. Consideraremos el caso (1.3.7b) pues el otro es anlogo.
En primera instancia observamos que si X es un conjunto abierto y acotado arbitrario
entonces N : coker(L) es continuo, N () es acotado y KP,Q N es un operador
compacto, de manera que N es L-compacto en .
Ahora veamos que existe r1 > 0 suficientemente grande tal que si x Dom(L) y ||x|| >
r1 entonces Lx 6= N x para todo (0, 1). Por el absurdo, supongamos que existen
sucesiones (xn ) Dom(L), (n ) (0, 1) tal que ||xn || + y Fn (xn ) = 0. Luego
x00n (t) = n f (t, xn (t)) con n (0, 1), xn (0) = xn (T ) y x0n (0) = x0n (T ) y observamos que si
zn = xn xn entonces usando la desigualdad de Wirtinger
||zn || C||zn00 || = C||x00n || < C||f (, xn )|| M

para cierta constante M > 0; as debemos tener que xn y pasando a una subsucesin
si fuera necesario podemos suponer que xn +.
RT
Ahora teniendo en cuenta que 0 f (t, xn ( )) dt = 0 para todo n N y usando el lema de
Fatou se concluye que
Z T Z T
0 = lim inf f (t, xn ( )) dt = lim inf f (t, zn ( ) + xn ) dt
n+ 0 n+ 0
Z T Z T
lim inf f (t, zn ( ) + xn ) dt fs+ (t) dt
0 n+ 0
lo cual es absurdo. El caso xn se trata de manera anloga.
Por otro lado podemos elegir r2 > 0 de forma tal que QN x 6= 0 para todo x ker(L) con
||x|| > r2 . En primer lugar observamos que, teniendo en cuenta las definiciones de N ,
P , Q y J y que ker(L) = R
1 T
Z
F0 |ker(L) (x) = JQ(N x) = Q(N x) = f (, x) = f (t, x(t)) dt
T 0
luego, segn lo observado en (1.2.6), identificamos QN |ker(L) con la funcin h : R R
definida
1 T
Z
h(r) := f (t, r) dt.
T 0
Ahora usando nuevamente el lema de Fatou tenemos

1 T +
Z
lim sup h(r) f (t, r) dr < 0
r+ T 0 s
y
Z T
1
lim sup h(r) fi (t, r) dr > 0
r T 0
luego existe r2 suficientemente grande tal que h(r2 ) < 0 < h(r2 ).
En definitiva si elegimos := Br (0) := {x X : ||x|| < r} con r > max{r1 , r2 }
se verifican las hiptesis (H1) y (H2) del corolario (1.2.6) y adems dB (JQN |ker(L) ,
ker L, 0) = dB (h, Br (0) R, 0) = 1 de donde se obtiene el resultado .
Es interesante observar que para el caso (1.3.7a) el grado dB (JQN |ker(L) , ker(L), 0) =
1; la diferencia en el valor del grado segn el caso se ve reflejada, cuando se aborda el
problema por mtodos variacionales, en el tipo de punto crtico de la funcional en juego:
para el caso (1.3.7a) la funcional es coerciva y se tiene un mnimo mientras que para el
caso (1.3.7b) un punto silla.
En todos los casos considerados hasta aqu, la no linealidad se supone acotada y se impo-
nen ciertas condiciones sobre su comportamiento en el infinito.
En primer lugar observamos que la hiptesis de la acotacin de la no linealidad no puede
eliminarse sin imponer alguna restriccin como se ve a partir del siguiente ejemplo
x00 (t) + x(t) = sen(t)

que an cumpliendo la condicin (1.3.5a) no tiene soluciones 2-peridicas.
Por otro lado, podemos evitar la condicin de acotacin en el siguiente sentido. Usando
la desigualdad de Wirtinger (1.3.1) en la ecuacin
x00 = (p g(x)), (0, 1]
se tiene
T T
||x0 ||L2 (0;T ) ||x00 ||L2 (0;T ) ||p g(x)||L2 (0;T ) .
2 2
Luego si ||x|| = R
3
T2 1

||x x|| ||p||L2 + T 2 GR := R (1.3.8)
2
donde
GR = sup{g(x) : x BR (0)}.
Ahora si consideramos R > 2R entonces
|x(t)| |x| ||x x|| R 2R > 0.
Por otro lado integrando la ecuacin obtenemos

Z T Z T
p(t) dt = g(u(t)) dt
0 0
de donde deducimos que si x > 0 entonces
inf(g(IR )) p sup(g(IR ))
con
IR := [R 2R , R]
y si x 0
inf(g(JR )) p sup(g(JR ))
con
JR := [R, 2R R].
De esta forma, por ejemplo, la condicin (1.3.5a) puede sustituirse por esta otra
g(x) 0 con IR = [R 2R , R] R+ .

1.3.2 Condicin de Nirenberg

En esta subseccin queremos dar condiciones suficientes, anlogas a las de Landesman-
Lazer, para sistemas de la forma
00
x (t) + g(x(t)) = p(t), t (0, T )
(1.3.10)
x(0) = x(T ), x0 (0) = x0 (T )
con g C(Rn , Rn ) acotada y p C([0, T ], Rn ).

Para adaptar las condiciones de Landesman-Lazer al caso de sistemas comenzamos ob-
servando que para el caso escalar, n = 1, los lmites de g : R R en pueden ser
considerados como lmites radiales de los bordes de la bola B1 (0) R, es decir:
g() = lim g(s v) = gv

s+
con v = 1.
De esta forma g puede definirse en forma continua en la recta extendida. La condicin
de Landesman Lazer dice, en particular, que gv 6= p para v en S 0 = {1} lo cual permite
definir la aplicacin : S 0 S 0
gv p
(v) = .
|gv p|
De la definicin de y de las condiciones de Landesman-Lazer se ve que su grado, en el
sentido de la definicin 1.1.5, es no nulo.
En este sentido el resultado que sigue es una adaptacin de las condicones de Landesman-
Lazer para sistemas a la vez que una adaptacin de un resultado ms general dado por
Nirenberg para un sistema elptico.
Teorema 1.3.3. Nirenberg. Sea g C(Rn , Rn ) acotada y p C([0, T ], Rn ) tal que los lmites
radiales
gv := lim g(s v) (1.3.11)
s+
existen y son uniformes respecto de v S n1 y adems se satisfacen las hiptesis:

(N1): gv 6= p para todo v S n1
(N2): el grado de la funcin : S n1 S n1 definida

gv p
(v) := (1.3.12)
||gv p||
es distinto de cero.
Entonces el sistema (1.3.10) tiene al menos una solucin T -peridica.
R. Ortega y L. Snchez [62] han dado un ejemplo en el cual se muestra que para el caso
para n > 1 la generalizacin de las condiciones (1.3.5a)-(1.3.5b) no son vlidas; ms pre-
cisamente, presentan un sistema que no tiene soluciones T-peridicas y que sin embargo,
para alguna constante R > 0, satisface las siguientes hiptesis:
(O1): g(x) 6= p para todo ||x|| R.
(O2): El grado de la funcin : S n1 S n1 definida
g(R v) p
(v) := (1.3.13)
||g(R v) p||
es distinto de cero.
Por otro lado en el artculo de R. Ortega y J.R Ward [63] se estudia existencia de solucin
de sistemas para los que no valen las condiciones de Nirenberg; las hiptesis acerca de gv
g(x)p
se reeemplazan por otras referidas al cociente ||g(x)p|| de forma tal que eventualmente
los lmites radiales pueden ser iguales al promedio p para algunos puntos de la esfera,
incluso para todos o an ni siquiera existir.
1.3.3 Una condicin geomtrica.

En todos los casos considerados hasta aqu la no linealidad se supone acotada. En esta
subseccin levantamos esta restriccin. Comencemos recordando la siguiente
Definicin 1.3.1. Cpsula Convexa. Sea X un espacio vectorial y A X. Se define la

cpsula convexa de A, notada co(A), como el conjunto convexo ms pequeo que contiene
al conjunto A
\
co(A) := { C : A C y C es convexo }.
Teorema 1.3.4. de la Cpsula Convexa. Con las notaciones y definiciones dadas anteriormente
si existen constantes R, R tal que R > R > 0 y se satisfacen
(C1): R+R < R
(C2): Para cada v Rn con ||v|| = R

p
/ co g BR (v) (1.3.14)
(C3): dB (g p, BR (0), 0) 6= 0
entonces el problema (1.3.10) tiene al menos una solucin T peridica.
Observacin 1.3.2. Este resultado depende del comportamiento de g sobre la corona
C = {x Rn : R R ||x|| R + R}
y en este sentido puede ser interpretado como una extensin de la condicin (1.3.9); asimismo
observamos que la hiptesis (1.3.14) no puede ser sustituida por esta otra ms dbil
g 6= p para todo v Rn tal que ||v|| = R.

Demostracin. Siguiendo el esquema general establecido a partir del corolario (1.2.6) se

considera el espacio de Banach
E = {x C([0, T ]) : x(0) = x(T )}
dotado de la norma infinito, el abierto
= {x E : ||x x|| < R, ||x|| < R}
y se prueba que
1) x00 6= (p g(x)) para x y 0 < < 1
2) g(x) 6= p para x Rn y
3) dB (g p, BR (0), 0) 6= 0
Por un lado observamos que 2) y 3) se siguen directamente de las hiptesis del teorema y
del hecho de que Rn = BR (0).
Por otro lado si x00 = (p g(x)) para x y 0 < < 1 entonces
T 3/2
||x x|| ||p||L2 + T 1/2 GR+R = R+R < R
2
de manera que ||x|| = R y x(t) Br (x) para cierto r < R y todo t [0, T ].
A partir de la condicin de la cpsula convexa (1.3.14) y usando la versin geomtrica

del teorema de Hahn-Banach existe un hiperplano
H = hwi que separa estrictamente el
punto p del conjunto compacto y convexo co g Br (v) ; es decir
hg(a + x) p, wi
para cierta constante > 0 y todo vector ||a|| < r.
Ahora integrando la ecuacin se ve que

Z T
1
g(a(t) + x) dt = p
T 0
donde a(t) = x(t) x y entonces

Z T
1
0= hg(a(t) + p) p, wi dt > 0
T 0
lo cual es absurdo.
1.4. COMBINACIN DEL MTODO DE SUB Y SUPER SOLUCIONES ORDENADAS
CON EL MTODO DIAGONAL. 23
1.4 Combinacin del mtodo de sub y super soluciones orde-

nadas con el mtodo diagonal.
El mtodo de sub y super soluciones ordenadas es una herramienta bsica del anlisis no
lineal para resultados de existencia de problemas de contorno; fue introducido por Scorza
Dragoni [76] en el ao 1931 para funciones de clase C 2 y en el ao 1938 para funciones L1 -
Caratheodory. Desde entonces el mtodo ha sido desarrollado bajo mltiples variantes
([17],[29],[34],[64],[69],[70],[80]).
Nosotros aqu describiremos una situacin tpica en la que se aplica el mtodo de C 2 -sub
y super soluciones ordenadas que adaptaremos, en un captulo posterior, al problema de
electrodifusin abstracto. A tales efectos consideremos el siguiente problema de segundo
orden con condiciones de contorno separadas o de Sturm-Louville
00
y = f (x, y), x (a, b)
a1 y(a) a2 y 0 (a) = A (1.4.1)
0
b1 y(b) + b2 y (b) = B
donde A, B R, a1 , b1 R y a2 , b2 R+ con a21 + a22 > 0, b21 + b22 > 0.
Si la funcin f : [a, b] R R es continua las soluciones de (1.4.1) son de clase C 2 y
una definicin de sub y super soluciones adecuada al problema es la siguiente (para una
definicin menos restrictiva ver [30])
Definicin 1.4.1. C 2 -sub y super soluciones ordenadas. Una funcin C 1 ([a, b])C 2 ((a, b))
se dice que es una C 2 -sub solucin del problema (1.4.1) si
1. 00 (x) f (x, (x)) para todo x (a, b).
2. a1 (a) a2 0 (a) A, b1 (b) + b2 0 (b) B.
Una funcin C 1 ([a, b]) C 2 ((a, b)) se dice que es una C 2 -super solucin del problema
(1.4.1) si
1. 00 (x) f (x, (x)) para todo x (a, b).
2. a1 (a) a2 0 (a) A, b1 (b) + b2 0 (b) B.
Adems decimos que y es un par de sub y super soluciones ordenadas del problema
(1.4.1) si es una sub-solucin, una super-solucin del problema (1.4.1) y
(x) (x)
para todo x [a, b].
Ahora consideremos el conjunto
E = {(x, u) [a, b] R : (x) u (x)} (1.4.2)

con y un par de C 2 -sub y super soluciones ordenadas del problema (1.4.1) y f : E R
continua y acotada.
Teorema 1.4.1. Bajo los supuestos dados, existe al menos una solucin y C 2 ([a, b]) del pro-
blema (1.4.1) de forma tal que
(x) y(x) (x) (1.4.3)
para todo x [a, b].
Demostracin. El esquema de la demostracin es el siguiente:

(I): Se considera el problema auxiliar que es una modificacin del original
00
y y = f (x, P (x, y)) P (x, y), x (a, b)
y(a) a2 y 0 (a) = A + (1 a1 )P (a, y(a)), (1.4.4)
y(b) + b2 y 0 (b) = B + (1 b1 )P (b, y(b))

donde P : [a, b] R R es la funcin de truncamiento

(x) si y < (x)
P (x, y) = y si (x) y (x) (1.4.5)
(x) si y > (x)

es decir P (x, y) := max{(x), min{y, (x)}}.

Luego definimos los operadores
Ly := (y 00 y, y(a) a2 y 0 (a), y(b) + b2 y 0 (b))
N y := (f (x, P (x, y)) P (x, y), A + (1 a1 )P (a, y(a)), B + (1 b1 )P (b, y(b)))
de forma tal que el problema (1.4.4) es equivalente a la ecuacin Ly = N y y como el

operador L es inversible en definitiva es equivalente al problema de punto fijo
y = L1 N y.
Finalmente teniendo en cuenta que el segundo miembro de la ecuacin del problema

modificado es acotado, se comprueba, usando el teorema 1.1.3 de punto fijo de Schauder,
que (1.4.4) tiene al menos una solucin.
(II) En segundo lugar se verifica que toda solucin y del problema modificado satisface
(1.4.3).
En efecto, si asumimos que y tiene un mnimo negativo en x0 (a, b) entonces obte-
nemos la siguiente contradiccin
0 y 00 (x0 ) 00 (x0 ) = f (x0 , (x0 )) + y(x0 ) (x0 ) 00 (x0 ) < 0
Tampoco es posible que el mnimo negativo se alcance en los bordes. Si por ejemplo x0 = a
tenemos y 0 (a) 0 (a) 0 y
0 = A + (1 a1 )P (a, y(a)) y(a) + a2 y 0 (a) > A a1 (a) + a2 0 (a) 0

1.4. COMBINACIN DEL MTODO DE SUB Y SUPER SOLUCIONES ORDENADAS
CON EL MTODO DIAGONAL. 25
y si x0 = b
0 = B + (1 b1 )P (b, y(b)) y(b) b2 y 0 (b) = B b1 y(b) b2 y 0 (b) 0.
Anlogamente se prueba tambin que y(x) (x) par todo x [a, b].
En definitiva si consideramos una solucin del problema modificado observamos que
P (x, y(x)) = y(x) de forma tal que P nada trunca y el problema original tiene al menos
una solucin que naturalmente satisface (1.4.3), es decir
(x) y(x) (x)
para todo x [a, b].

El caso correspondiente a la condicin mixta y 0 (a) = A, y(b) = B, es decir con a1 =
b2 = 0 y a2 = b1 = 1, lo usaremos en un cptulo posterior.
Ahora veremos como se puede combinar el mtodo de las sub y super soluciones orde-
nadas con un argumento del tipo diagonal [89] para probar existencia de solucin en un
intervalo no acotado. A modo de ejemplo consideremos el siguiente problema de Dirich-
let
(
y 00 = f (x, y), x (0, +)
y(0) = y0 , y() = y := lim y(x) (1.4.6)
x+
y supongamos que existe un par de C 2 -sub y super soluciones ordenadas, esto es ,

C([0, +), R) C 2 ((0, +), R) con (x) (x) tal que
00 (x) f (x, ), 00 (x) f (x, )

(1.4.7)
(0) y0 (0), = = y
para todo x (0, +).
Teorema 1.4.2. Bajo este supuesto existe al menos una solucin y C([0, +), R)C 2 ((0, +), R)
del problema (1.4.6) tal que (x) y(x) (x).
Observacin 1.4.1. En la demostracin del teorema usaremos la norma C k de x con k =

1, 2; ms precisamente como es usual si I = [a, b] con a < b, x C k (I), k N0 definimos
la norma C k de x de la siguiente manera
k
X
||x||C k (I) := ||x(j) ||
j=0
donde (j) indica el orden de derivacin de x, x(0) := x y || || la norma infinito.

Demostracin. El esquema de la demostracin es como sigue. Consideramos la siguiente
sucesin de problemas
y 00 = f (x, y), x [0, n]

(Pn ) := (1.4.8)
y(0) = y0 , y(n) = (n)+(n)2
y una solucin yn de forma tal que |[0,n] yn |[0,n] .

Para m > 0 fijo y n m > 0, definimos
yn (m) y0
n (t) = t + y0
m
y observamos que existe una constante Cm independiente de n tal que ||yn n ||C 2 ([0,m])
Cm . Ahora usando Arzel-Ascoli, se comprueba que existe una subsucesin de (yn )nm
que converge en [0, m] en el sentido de la norma C 1 .
En lo que sigue se construye una sucesin infinita de subsucesiones de una cierta sucesin
de partida; a los efectos de poner de manifiesto la idea que est en juego se har explcita
la notacin usual para subsucesiones.
Procedemos del siguiente modo. Para m = 1, consideramos una sucesin de funciones
(yn )n1 donde cada trmino yn : [0, n] R es una solucin del problema Pn , n 1 y
elegimos una subsucesin (y1 (n) )n1 de (yn )n1 de forma tal que ((y1 (n) )|[0,1] )n1 con-
verge a cierta funcin
y 1 : [0, 1] R
en el sentido de la norma C 1 .
En el segundo paso, para m = 2, se elige una susubcesin (y2 (n) )n1 de la sucesin
(y1 (n) )n1 de forma tal que ((y2 (n) )|[0,2] )n1 converge, en el sentido de la norma C 1 , a
una funcin
y 2 : [0, 2] R.
Observacin 1.4.2. Notemos que 1 : N N y 2 : N Im(1 ) son funciones estricta-
mente crecientes y 2 (n) 1 (n) para todo n N. Hasta aqu tenemos que
(y2 (n) )n1 (y1 (n) )n1 (yn )n1
tal que las sucesiones ((y2 (n) )|[0,2] )n1 , ((y1 (n) )|[0,1] )n1 convergen en el sentido de la
norma C 1 y por unicidad del lmite se tiene que y 2 |[0,1] = y 1 .
Repitiendo este procedimiento se obtiene una sucesin de sucesiones (yk (n) )n1 , k N
de forma tal que cada sucesin ((yk (n) )|[0,k] )n1 converge en el sentido de la norma C 1 a
una funcin
y k : [0, k] R.
Ahora por construccin las funciones (y k )k1 se pegan bien en el sentido de que
y k+1 |[0,k] = y k
de manera que la funcin

y : [0, +) R
con y(x) = y k (x) si 0 x k est bien definida.
Observemos adems que cada funcin y k es una solucin del problema Pk de forma tal
que (y n )00nk converge uniformemente a la funcin f (, y()) en [0, k] y adems yk (0) = y0
para todo k N.
1.5. ECUACIONES DIFERENCIALES CON RETARDO. 27
Luego para x k n se tiene que

Z xZ s
n 0
n
y (x) = y0 + (y ) (0)x + (y n )00 (t) dt ds, (1.4.9)
0 0
de manera que si k + entonces n + y pasando al lmite obtenemos

Z xZ s
0
y(x) = y0 + y (0)x + f (t, y) dt ds
0 0
lo que muestra que y satisface la ecuacin del problema (1.4.6).
Finalmente teniendo en cuenta que = = y y que |[0,n] y n |[0,n] para

todo n N concluimos que y resulta ser una solucin del problema de Dirichlet (1.4.6) en
[0, +).
Observacin 1.4.3. El procedimiento anterior puede visualizarse en el siguiente esquema
y1 (1) y1 (2) y1 (k) y1 (n) y 1 en [0, 1]

y2 (1) y2 (2) y2 (k) y2 (n) y 2 en [0, 2]
.. .. .. .. .. .. .. .. ..
. . . . . . . . .
yk (1) yk (2) yk (k) yk (n) y k en [0, k]
.. .. .. .. .. .. .. .. .. (1.4.10)
. . . . . . . . .
yn (1) yn (2) yn (n) y n en [0, n]
.. .. .. .. .. ..
. . . . . . &
y en [0, +)
La sucesin diagonal del esquema (1.4.10), es decir (yn (n) )n1 , converge a y; adems
como (yn (n) )00 converge uniformemente a la funcin f (, y()) en [0, n], sustituyendo y n
por yn (n) en (1.4.9) se obtiene la misma conclusin lo que muestra que en efecto el argu-
mento es del tipo diagonal.
1.5 Ecuaciones diferenciales con retardo.

La teora de las ecuaciones diferenciales con retardo no es una simple extensin de la
teora de las ecuaciones diferenciales ordinarias ([20],[24],[32],[38]). En muchas ocasiones
los sistemas complejos requieren de procesos de autoregulacin para su correcto fun-
cionamiento y el efecto de la retroalimentacin no es inmediato, esto es, el sistema reac-
ciona al factor de control con cierto retardo, de manera que el estado actual del sistema
depende de valores previos; esta dependencia del pasado contrasta con los modelos de-
terministas basados en el clsico principio de causalidad.
Comenzamos heursticamente con algunos ejemplos que ilustran las principales diferen-
cias que se presentan respecto de las ecuaciones diferenciales ordinarias.
1.5.1 Algunos ejemplos y observaciones.

(1). La ecuacin
x0 (t) = x t (1.5.1)
2
tiene soluciones de la forma
x(t) = c1 cos(t) + c2 sen(t)
con c1 , c2 constantes arbitrarias, lo cual muestra que el retardo dado en el argumento

produce la existencia de soluciones oscilatorias no triviales.
(2). Consideremos el problema de valores iniciales hacia atrs (backwards)

0
x (t) = ax(t) + bx(t ) t <
(1.5.2)
x(t) = , t [, 0]
donde b 6= 0, a 6= b, > 0 es el retardo constante y : [, 0] R una funcin

constante no nula (t) := k.
Fcilmente se verifica que si x es una solucin entonces se tiene que
ak
x(t) =
b
para todo t [2, ] y como ak

b 6= k entonces la solucin no es continua a pesar
que el dato inicia es suave.
(3). El siguiente ejemplo, dado en 1969 por Winston y York [85], muestra que una ecuacin
diferencial con retardo puede tener infinitas soluciones o ninguna dependiendo del
dato inicial; ms precisamente consideramos
x0 (t) = b(t)x(t 1) t 0 (1.5.3)

con b : R R continua definida

0 si t 0
b(t) := cos(2t) 1 si 0 < t 1 (1.5.4)
0 si t > 1

En primer lugar observamos que x(t) = k, con k una constante cualquiera, es solucin
de (1.5.3) en (, 0].
Ahora, sobre [0, 1], tenemos que
x0 (t) = (cos(2t) 1)k
con x(0) = k e integrando

Z 1
x(1) = k + k (cos(2t) 1)dt = 0.
0
Pero entonces para t 1 se verifica x0 (t) = 0 y por lo tanto x(t) = 0 para todo t 1.
Luego si consideramos la ecuacin (1.5.3) con dato inicial 0 para t [1, 2] se ve

que el problema de valores iniciales correspondiente tiene infinitas soluciones contin-
uas en (, 2] mientras que con no idnticamente nula en [1, 2] no tiene ninguna
solucin en (, 2].
(4). El ejemplo anterior tambin muestra que si especificamos solamente un valor inicial
x(1) = x0 6= 0 entonces el problema de valores iniciales correspondiente no tiene
soluciones para t 1.
Lo mismo es vlido para el caso de sistemas como lo muestra el siguiente ejemplo
dado por Popov [67] en el ao 1971
x0 (t) = Ax(t) + Bx(t 1) t 1 (1.5.5)
donde
0 2 0 0 0 0
A = 0 0 1 y B = 1 0 1 .
0 0 0 0 2 0
Si x satisface el sistema tendremos
x01 (t) = 2x( t)

0
x (t) = x3 (t) + x1 (t 1) (1.5.6)
2
x03 (t) = 2x(t 1)
para t t1 con t1 > 1. En el paso siguiente se determinan para t t1 + 1 las

relaciones
0 0

x1 (t 1) x3 (t) = 0

x1 (t 1) x3 (t) = c1

(1.5.7)

x2 (t) = c2 = +c1 t
x1 (t) = c3 + 2c2 t + c1 t2

con c1 , c2 constantes arbitrarias.

Finalmente para t t1 + 2 tenemos
x3 (t) = c3 2c2 + 2(c2 c1 )t + c1 t2
de manera que
x1 (t) 2x2 (t) x3 (t) 0
luego no puede haber solucin de (1.5.5) en (, t0 ] si x(t0 ) = (x01 , x02 , x03 )t se
elige de forma tal que x01 2x02 x03 6= 0.
(5). Si un trmino del tipo x(t ) se sustituye por su correspondiente polinomio de Tay-
lor de cierto orden puede ocurrir que las soluciones de la correspondiente ecuacin
diferencial ordinaria obtenida presenten caractersticas muy diferentes a las de las
soluciones de la ecuacin original con retardo. A modo de ejemplo consideremos la
ecuacin
x0 (t) = 2x(t) + x(t ). (1.5.8)
Se puede probar [32] que todas las soluciones de la ecuacin (1.5.8) son acotadas y
tienden a cero cuando t +.
Ahora bien, si consideramos el desarrollo de Taylor de segundo orden alrededor de
= 0 de la funcin f ( ) := x(t ) obtenemos
000
1 x ( ) 3
x(t ) = x(t) x0 (t) + x00 (t) 2
2 3
para cierto (0, ) y si despreciamos los trminos de orden superior a dos obte-
nemos la ecuacin diferencial ordinaria
2 00
x (t) + (1 + )x0 (t) + x(t) = 0.
2
Ahora observamos que las races de la ecuacin caracterstica son

1
=
p
1 + (1 + )2 + 2 2 > 0.
2
Luego la ecuacin diferencial ordinaria tiene, en particular, soluciones de la forma
x(t) = cet con c > 0 y := + , lo cual muestra que tiene soluciones exponenciales
crecientes sin importar que tan pequeo sea el valor del retardo .
Anlogamente se comprueba que todas las soluciones de la ecuacin
x0 (t) = 3x(t) 2x(t 1)
estn acotadas mientras que la ecuacin diferencial ordinaria obtenida sustituyendo

el trmino x(t 1) por x(t) x0 (t), es decir
x0 (t) + 5x(t) = 0
tiene soluciones exponenciales crecientes de la forma x(t) = ce5t , c > 0.
(6). Consideremos el problema de Cauchy asociado al modelo exponencial con retardo
x0 (t) = c x(t ), t t0

(1.5.9)
x(t) = (t), t [t0 , t0 ]
donde c y son constantes positivas y definida en el intervalo [t0 , t0 ] es una
funcin continua.
Si proponemos soluciones de la forma ket para la ecuacin del problema (1.5.9) se

obtiene la ecuacin caracterstica
= ce
que tiene una sola solucin real. Para analizar la existencia de otras soluciones intro-
ducimos el cambio de variable = z1 de manera que una solcin de la ecuaciacin

caracterstica es un cero de la funcin h(z) = 1 + cze z . Ahora bien, h tiene una
singularidad esencial aislada en z = 0 y por el teorema de Picard concluimos que en
un entorno de dicha singularidad asume todos los valores complejos salvo quizs
uno. Pero teniendo en cuenta que h(z) 6= 1 para todo z 6= 0 concluimos que h tiene
infinitos ceros. Luego si = 1 + i2 es una de las infinitas soluciones complejas de
la ecuacin caracterstica entonces
x1 (t) = e1 t cos(t2 ), x2 (t) = e1 t sen(t2 )
son soluciones reales de la ecuacin y por lo tanto la ecuacin del problema (1.5.9)
tiene infinitas soluciones. 2
Para finalizar esta subseccin ilustraremos a travs de un ejemplo un mtodo que se utiliza
frecuentemente para construir una solucin de una ecuacin diferencial con retardo.
Para ello considaremos el problema de valores iniciales (1.5.9) y para fijar ideas, supon-
gamos que := k una constante positiva. El primer paso consiste en hallar una extensin
continua de la funcin en el intervalo [t0 , t0 + ] que satisfaga (1.5.9).3 Ms precisamente
consideramos el pvi 0
x (t) = c k, t t0 +
(P0 ) : (1.5.10)
x(t0 ) = k
e integramos
x1 (t) = k c k(t t0 ), t [t0 , t0 + ].
Ahora conociendo la solucin del problema (1.5.9) hasta el tiempo t = t0 + tenemos que
x(t0 + ) = k ck(t0 + t0 ) = k(1 c ) y podemos plantear el pvi
0
x (t) = c x1 (t ) = c k + c2 k (t t0 ), t t0 +
(P1 ) : (1.5.11)
x(t0 + ) = x1 (t0 + ) = k (1 c ).
Resolviendo (P1 ) en [t0 + , t0 + 2 ] obtenemos la solucin x2 (t) del problema (1.5.9) hasta
el tiempo t = t0 + 2 . En definitiva, procediedo de esta manera podemos prolongar,
paso a paso, la funcin correspondiente al dato inicial de forma tal que sea solucin del
problema (1.5.9).
El mtodo, recin descripto, se lo conoce como mtodo del paso a paso. Las limitaciones
que presenta el mtodo estn a la vista; slo en casos muy simples resulta posible la in-
tegracin explcita y en general no permite establecer las caractersticas principales de la
solucin.
1.5.2 Condiciones suficientes para la existencia y unicidad de solucin.

Una ecuacin diferencial con uno o varios retardos de orden n > 1 es equivalente a un
sistema de ecuaciones diferenciales con uno o varios retardos de primer orden; todos los
ejemplos de la subseccin anterior son casos particulares de este tipo. En muchos modelos
2
Se puede probar [38] que todos los valores caractersticos tienen parte real negativa si y slo si c < 2 ;
si c < 1e las soluciones convergen exponencialmente de manera que los retardos pequeos no influyen en
la dinmica; si 1e < c < 2 las soluciones convergen a cero pero oscilando; finalmente si c 2 aparecen
soluciones peridicas e incluso soluciones no acotadas.
3
Se sobreentiende, como es habitual, que x0 (t0 ) = x0 (t+
0 ).
las ecuaciones diferenciales presentan retardos constantes, en otros retardos variables.

En lo que sigue establecemos algunas definiciones y resultados bsicos para sisitemas de
ecuaciones diferenciales con retardos variables y acotados.
Consideremos el sistema de la forma
0
x (t) = f (t, x(g1 (t)), x(g2 (t)), , x(gm (t))), t [t0 , )
(1.5.12)
x(t) = (t), t [t0 , t0 ]
donde f : J Dm Rn , gj : J R, j = 1, 2, , m y : [t0 , t0 ] D son continuas

con J [t0 , ) R un intervalo no vaco y D Rn abierto.
La funcin describe la historia del sistema. Las funciones gj , j = 1, 2, , m se llaman
argumentos retardados y satisfacen la siguiente condicin: existe una constante t0 tal
que
gj (t) t
para cada j = 1, 2, . . . , m y para todo t [t0 , ). Eventuamente podemos tener gj (t) = t
para algn j y si = 0 se tiene un sistema de ecuaciones diferenciales ordinarias.
En el ltimo captulo usaremos la siguiente notacin gj (t) := t j (t) con j 0 (retardos
variables) y xj (t) := x(gj (t)), t J.
Interpretaremos el problema (1.5.12) en un contexto algo ms general. Comenzamos con

la siguiente definicin debida a Shimanov [77].
Definicin 1.5.1. Dada : I Rn con [t , t] I se define una nueva funcin
t : [, 0] Rn
del siguiente modo

t () := (t + ), [, 0] (1.5.13)
Notemos que el grfico de t se obtiene por desplazamiento del grfico de |[t,t] sobre
el segmento [, 0]; con esta definicin la condicin inicial del problema (1.5.12) es equi-
valente a xt0 = t0 .
Ahora intrudicimos las siguientes notaciones
C := C([, 0], Rn ) y CD := C([, 0], D), D Rn
y consideramos el pvi
x0 (t) = F (t, xt ), t [t0 , )

(1.5.14)
xt0 = , CD .
donde F : J CD Rn .
Observemos que xt0 = significa que x(t0 + ) = () con [, 0] o bien x(t) =
(t t0 ) si t = t0 + . En este contexto se tiene la siguiente
Definicin 1.5.2. Solucin de un PVI para una Ecuacin Diferencial con Retardo. Una solucin
del problema de valores iniciales (1.5.14) es una funcin continua x : [t0 r, 1 ) D para
algn 1 (t0 , ) que satisface
1. xt0 = , CD
2. (t, xt ) Dom(F ) y
3. x0 (t) = F (t, xt ) para todo t [t0 , 1 ).
Adems decimos que la solucin x es nica en [t0 , 1 ) si dada cualquier otra solucin
x tal que [t0 , 1 ) Dom(x) se tiene que x|[t0 ,1 ) = x.
Observacin 1.5.1. (I). El problema (1.5.12) se puede escribir en la forma (1.5.14). Para
ello basta definir
F (t, ) := f (t, (g1 (t) t), (g2 (t) t), , (gm (t) t))
para (t, ) [t0 , 1 ) CD .

En efecto, en tal caso tenemos
xt (gj (t) t) = x(t + gj (t) t) = x(gj (t))
para todo j = 1, 2, , m y
F (t, xt ) = f (t, xt (g1 (t) t), xt (g2 (t) t), , xt (gm (t) t)) =
(1.5.15)
= f (t, x(g1 (t)), x(g2 (t)), , x(gm (t))).
(II). La ecuacin logstica con retardo
x0 (t) = cx(t 1)(1 + x(t))
es de la forma (1.5.12) con m = 1, = 1, J = R, D = R y F : R C R definda
F (t, ) = c(1)(1 + (0)).
(III). Si definimos
Z 0
F (t, ) := ()d
r
tenemos el siguiente sistema diferencial con infinitos retardos

Z 0 Z t
x0 (t) = F (t, xt ) = xt () d = x(s)ds (1.5.16)
r tr
usualmente llamado sistema con retardos distribuidos.

Ahora damos una condicin que tendremos en cuenta para establecer un teorema de uni-
cidad que resulta ser un poco ms dbil que la continuidad.
Definicin 1.5.3. Condicin (C). Decimos que F : J CD Rn (J := [t0 , )) satisface

la condicin (C) si F (t, t ) es continua con respecto a la variable t J siempre que :
[t0 , ) D sea continua.
En particular si f y gj , j = 1, 2, , m son continuas entonces
F (t, (t)) = f (t, (g1 (t) t), (g2 (t) t), , (gm (t) t))
es continua cada vez que sea continua en [t0 , ), de manera F que satisface la condicin
(C).
Tambin observamos que si : R R es continua entonces
Z 0 Z t
F (t, t ) := t ()d = (s) ds
t
depende continuamente respecto de la variable t y por lo tanto satisface la concidin (C).

Lo mismo ocurre con los otros ejemplos dados en la observacin (1.5.1).
En este contexto damos la siguiente representacin integral de la solucin del problema
(1.5.14)
Definicin 1.5.4. Representacin Integral de una Solucin. Si F : J CD Rn satisface la
condicin (C) entonces una funcin continua x : [t0 , 1 ) D para algn 1 (t0 , ]
es solucin del problema de valores iniciales (1.5.14) si y slo si
(t t0 ), t [t0 , t0 ]

x(t) := Rt (1.5.17)
(0) + t0 F (s, xs ) ds, t0 [t0 , t0 + M ]
Si D = Rn entonces CD = C es un espacio lineal y podemos considerar el espacio de

Banach (C, || ||r ) con la norma
|||| := sup {||()||}.

[,0]
Si bien, en general, CD no es un espacio vectorial y por lo tanto || || no es una norma, se

puede trabajar en el espacio C que incluye CD y establecemos la siguiente
Definicin 1.5.5. Condicin de Lipschitz. Si existe una constante K > 0 tal que
F : J C D Rn
satisface
||F (t, 1 ) F (t, 2 )|| K||1 2 ||
para todo (t, 1 ), (t, 2 ) E J CD decimos que F es Lipschitz sobre E con constante
K.
Por otro lado la funcional F se dice que es localmente Lipschitz si para cada (t, ) J CD
existe un entorno Ea,b J CD sobre el cual F es Lipschitz donde
C
Ea,b := ([t a, t + a] J) B b ()
y
C
B b () := { C : || || b}
con a, b > 0 constantes.
Los dos lemas siguientes son necesarios para la demostracin del teorema de unicidad
y omitimos las pruebas que se pueden encontrar en el texto de R. D. Drive (Lemma B,
Lemma C, [32]).
Lema 1.5.1. Sea CD . Entonces existe > 0 tal que
{v Rn : ||v ()|| para algn [, 0]} D

C
y en particular B () CD .
Lema 1.5.2. Sea : [t0 , ) Rn continua. Entonces dado cualquier t [t0 , ) y > 0
existe > 0 tal que ||t t || < siempre que t [t0 , ) y |t t| < .
Teorema 1.5.3. Unicidad. Sea F : J CD Rn una funcional localmente Lipschitz con

constante K > 0 que satisface la condicin (C). Entonces dada CD el problema de Cauchy
(1.5.14) tiene a lo sumo una solucin sobre [t0 , 1 ) para cualquier 1 (t0 , ].
Demostracin. Supongamos que existen dos soluciones del problema de valores iniciales
x, x : [t0 , 1 ) D tales que x 6= x y consideremos
t1 := inf{t (t0 , 1 ) : x(t) 6= x(t)}.
Luego teniendo en cuenta que ambas satistacen la misma condicin inicial tenemos que
x(t) = x(t)
para todo t [t0 , t1 ]. Ahora dado (t1 , xt1 ) [t0 , 1 ) CD existen, segn lema previo
(1.5.1), constantes a, b > 0 tal que
Ea,b := [t1 , t1 + a] { C : || xt1 || b} [t0 , 1 ) CD
y F es Lipschitz sobre Ea,b con constante K.

Por otro lado segn el lema (1.5.2) existe 0 < a tal que (t, xt ), (t, xt ) Ea,b para todo
t [t1 , t1 + ).
Luego por la representacin integral de la solucin (1.5.17) tenemos que para t [t1 , t1 +)
R t
||x(t) x(t)|| = t0 (F (s, xs ) F (s, xs )) ds
Rt (1.5.18)
K t1 ||xs xs || ds.
As teniendo en cuenta que el miembro derecho es una funcin creciente de t y ||x(t)

x(t)|| = 0 para t [t1 r, t1 ] tenemos para t [t1 , t1 + )
Z t
||xt xt || K ||xs xs || ds (1.5.19)
t1
de manera que x(t) = x(t) para todo t [t1 , t1 + ) contradiciendo la definicin de t1 .
El teorema que sigue garantiza, bajo cierta condicin global de acotacin, que la solucin
depende continuamente de la condicin inicial
Teorema 1.5.4. Dependencia Continua. Sea F : J CD Rn una funcional globalmente

Lipschitz con constante K > 0 que satisface la condicin (C). Sean , CD valores iniciales y x
y x las nicas soluciones correspondientes al problema de Cauchy (1.5.14) con xt0 = y xt0 =
respectivamente. Si x y x estn definidas en [t0 , 1 ) entonces
||x(t) x(t)|| || || eK(tt0 )
para todo t [t0 , 1 ).
Demostracin. Sobre [t0 , 1 ) ambas, x y x, satisfacen la misma ecuacin con los valores
iniciales xt0 = y xt0 = ; luego por la representacin integral tenemos para todo t
[t0 , 1 )
Rt
||x(t) x(t)|| = ||(0) (0) + t0 (F (s, xs ) F (s, xs )) ds||
Rt
|| || + t0 K||xs xs || ds.
Luego, tomando supremo obtenemos para t [t0 , 1 )
Z t
||xt xt || || ||r + K||xs xs || ds
t0
y usado la desigualdad de Gronwall se obtiene el resultado.

El siguiente resultado, cuya demostracin es similar al caso correspondiente al de ecua-
ciones diferenciales ordinarias, da una condicin suficiente para la existencia local de solu-
cin.
Teorema 1.5.5. Existencia. Supongamos que F : J CD Rn es localmente Lipschitz con

constante K > 0 y satisface la condicin (C). Entonces para cada CD el problema de Cauchy
(1.5.14) tiene una nica solucin sobre [t0 , t0 + M ) para alguna constante M > 0.
Demostracin. La unicidad ya ha sido probada, slo debemos probar la existencia de

solucin. De acuerdo a la defincin de funcional localmente Lipschitz (1.5.5) considera-
mos un entorno Ea,b [t0 , ) CD sobre el cual F es Lipschitz con constante K > 0 y
definimos una funcin : [t0 , t0 + a) Rn del siguiente modo

(t t0 ), t [t0 , t0 )
(t) := (1.5.20)
(0), t0 [t0 , t0 + a]
Por satisfacer la condicin (C) F (t, t ) depende continuamente respecto de t y entonces

para alguna constante B1 > 0 tenemos ||F (t, t )|| B1 sobre [t0 , t0 + a].
Ahora definimos B := Kb + B1 y elegimos, de acuerdo al lema (1.5.2) una constante
a1 (0, a] tal que
||t || = ||t t0 || b
para t [t0 , t0 + a1 ] y M > 0 tal que M < min{a1 , Bb , K1 } y consideramos el conjunto S de
todas las funciones continuas : [t0 , t0 + M ] Rn tal que (t) = (t t0 ) para todo
t [t0 , t0 ] y
||(t) (0)|| b
para todo t [t0 , t0 + M ].

C
Observemos que si S entonces t B b (t ) y
||F (t, t )|| ||F (t, t ) F (t, t )|| + ||F (t, t )||
(1.5.21)
K||t t || + B1 B.
Ahora para cada S definimos T sobre [t0 r, t0 + M ]
(t t0 ), t [t0 , t0 ]

T (t); = Rt (1.5.22)
(0) + t0 F (s, xs )dz, t0 [t0 , t0 + M ]
y como ||F (s, xs )|| B tenemos
||T (t) (0)|| BM b
para todo t [t0 , t0 + M ].

Observando adems que T es continua tenemos que T S, es decir, T es S-invariante.
El resto de la prueba consiste en hacer uso del mtodo de las aproximaciones sucesivas
de Picard. Elegimos x0 S y definimos
xn := T (xn1 ), n N.
Observemos en primer lugar que para cada n N se cumple que
xn (t) = (t t0 ), t [t0 r, t0 ).
Por otro lado para cada n N y t [t0 , t0 + M ] tenemos

R t
||xn+2 (t) xn+1 (t)|| = t0 (F (s, xn+1
s ) F (s, xns ))ds
KM sups[t0 ,t0 +M ] {||xn+1
s xns ||}.
Ahora teniendo en cuenta esta acotacin, el hecho de que ||x1 (t) x0 (t)|| 2b para t
[t0 , t0 + M ] y usando induccin obtenemos
||xn+1 (t) xn (t)|| 2b(KM )n , t [t0 , t0 + M ]
y adems

X
X
k+1 k
||x (t) x (t)|| 2b(KM )k .
k=0 k=0
Luego como KM < 1 la serie del segundo miembro converge y por el criterio de Weier-
strass (xn )n0 converge a una funcin x que que es solucin del problema de valor inicial
(1.5.14) sobre [t0 , t0 + M ).
Definicin 1.5.6. Continuacin de solucin. Sea x definida sobre [t0 r, 1 ) y x definida

sobre [t0 , 2 ) soluciones del problema de valores iniciales (1.5.14). Si 2 > 1 decimos
que x es una continuacin de x. Una solucin se dice no continuable si no existe solucin
que la contine.
Para establecer algn resultado con relacin a la posibilidad de continuacin necesitamos

de la siguiente
Definicin 1.5.7. Funcional Cuasi Acotada. Una funcional F : J CD Rn se dice que es
cuasi-acotada si es acotada sobre cada conjunto [t0 , 1 ] CA J CD donde A D es un
subconjunto compacto.
Teorema 1.5.6. Existencia de Solucin Maximal. Sea F : J CD Rn localmente Lipschitz,
cuasi acotada y que satisface la condicin (C). Entonces
1. Para cada CD el problema de valor inicial (1.5.14) tiene una nica solucin no continu-
able x definida sobre [t0 , 1 ) y
2. Si 1 < , para cada compacto A D se tiene que x(t)

/ A para algn t (t0 , 1 ).
Demostracin. La unicidad sobre cualquier intervalo de la forma [t0 , 1 ) est probada.
Consideremos
1 := sup{s R : existe una solucin del problema (1.5.14) en [t0 , s)}.
Observamos que 1 > t0 y para cada s (t0 , 1 ) existe una nica solucin xs sobre [t0
, s); luego definimos la funcin x : [t0 , 1 ) D del siguiente modo: para cada
t [t0 , 1 ) x(t) := xs (t) si t [t0 , s). La buena definicin de x es consecuencia
de la unicidad y por construccin x es solucin de (1.5.14) en [t0 , 1 ) y no puede ser
continuada ms all de 1 .
Por otro lado para probar la segunda parte veremos que si la trayectoria no se escapa de
cualquier compacto A D entonces la solucin podra continuarse ms all de 1 .
Supongamos que 1 < y que para algn subconjunto A D compacto tenemos que
x(t) A para todo t [t0 , 1 ). En tal caso consideramos el conjunto A Im() que es
compacto de manera que x(t) A Im() para todo t [t0 , 1 ). Siendo F cuasi
acotada existe una constante B tal que
||x0 (t)|| = ||F (t, )|| B, para todo (t, ) [t0 , 1 ] CAIm() .
Luego como x0 est acotada en [t0 , 1 ) tenemos que existe limt1 x(t) = v1 A D.
Luego podemos extender x, definindola en 1 como su lmite x(1 ) = v1 .
Ahora como F satisface la condin (C) resulta que F (y, xt ) es continua en [t0 , 1 ], podemos
extender la representacin integral de x hasta 1 y considererar el problema
0
z (t) = F (t, zt ), t 1
(1.5.23)
z1 = x 1 , x1 CD
Luego por el teorema de existencia concluimos que existe una solucin z del problema
(1.5.23) en [1 , 1 + M ) para alguna constante M > 0 y
(
x(t), t [1 , 1 ]
z(t) = Rt
x(1 ) + 1 F (s, xs ) ds, t [1 , 1 + M )
En definitiva si definimos z := x sobre [t0 , 1 ] entonces


(t t0R),
t [t0 , t0 ]
t
z(t) = (0) + t0 F (s, xs ) ds, t [t0 , 1 ]
(0) + R 1 F (s, x ) ds + R t F (s, x ) ds, t [ , + M )

t0 s 1 s 1 1
es decir
(t t0 ), t [t0 , t0 ]

z= Rt
(0) + t0 F (s, xs ) ds, t [t0 , 1 + M )
de manera que z es solucin del problema (1.5.14) sobre [t0 r, 1 + M ) continuando a x
lo cual es absurdo.
La siguiente es una condicin suficiente para la existencia de solucin global
Teorema 1.5.7. Sea D = Rn y F : [t0 , )C Rn localmente Lischitz que satisface la condicin

C. Supongamos adems que
||F (t, )|| M (t) + N (t)|||| , (t, ) [t0 , ) C (1.5.24)
donde M y N son funciones continuas positivas definidas sobre [t0 , ) . Entonces existe una nica
solucin no continuable del problema (1.5.14) en el intervalo [t0 , ).
Demostracin. La condicin (1.5.24) implica que F es cuasi acotada. De acuerdo al

teorema (4.1.2) podemos considerar x la nica solucin no continuable definida sobre
[t0 , 1 ) con 1 < del problema (1.5.14). Luego existen constantes M1 , N1 > 0 tal
que M (t) M1 y N (t) N1 para todo t [t0 , 1 ]. Por la respresentacin integral de la
solucin (1.5.14) tenemos
Z t Z t
||x(t)|| |||| + M1 ds + N1 ||xs || ds
t0 t0
para todo t [t0 , 1 ) de donde deducimos que

Z t
||xt || |||| + M1 (1 t0 ) + N1 ||xs || ds
t0
para todo t [t0 , 1 ). Luego obtenemos
||x(t)|| ||xt || (|||| + M1 (1 t0 ))eN1 (1 t0 )
sobre [t0 , 1 ). Esto dice que x|[t0 ,1] permanece en un conjunto compacto y teniendo en
cuenta la conclusin del teorema (4.1.2) se concluye que 1 = .
1.5.3 El operador de Poincar para ecuaciones con retardo.

En esta subseccin describiremos como se puede utilizar el operador de Poincar para
probar la existencia de al menos una solucin peridica. Esta tcnica se adapta, no sin
ciertas dificultades, para el caso de las ecuaciones diferenciales con retardo.
A modo de ejemplo consideremos el siguiente problema peridico
x0 (t) = f (t, x(t)), t (0, 1)

(1.5.25)
x(0) = x(1)
y veamos que bajo determinadas condiciones para la no linealidad se tiene existencia de
solucin peridica; ms precisamente se tiene el siguiente:
Teorema 1.5.8. Si f : [0, 1] Rn Rn es continua y localmente Lipschitz en su segunda

variable y adems
hf (t, x), xi < 0 (1.5.26)
para todo x Rn tal que ||x|| = R y t [0, 1] entonces el problema (1.5.25) tiene al menos una
solucin x tal que ||x|| R.
Como ocurre con el mtodo del shooting, la idea es plantear un problema de valores ini-
ciales adecuado y buscar algn valor Rn para el cual la solucin del problema de
valores iniciales sea en efecto solucin del problema (1.5.25). Ms precisamente conside-
ramos el problema de valores iniciales
0
x (t) = f (t, x(t))
(1.5.27)
x(0) =
y para cada Rn definimos P () := x(1, ) donde x(, ) es la nica solucin del

problema (1.5.27) siempre y cuando la solucin est definida hasta el valor t = 1.
De esta forma definimos un operador P : U Rn Rn para algn conjunto U que en
general no es fcil determinar. No obstante teniendo en mente el teorema de punto fijo de
Brouwer, alcanza con garantizar que existe un subconjunto compacto y convexo K U
que sea P -invariante.
Demostracin del teorema 1.5.8.

Sea Rn tal que || R y supongamos que x(, ) est definida hasta algn tiempo
T 1. Afirmamos que |x(t, )| R para todo t [0, T ].
Para ello, dada x C 1 [0, T ], consideremos la funcin : [0, T ] R
(t) := |x(t)|2
y observamos que si x es solucin de (1.5.27) y satisface (1.5.26) entonces
0 (t) = 2hx(t), x0 (t)i = 2hx(t), f (t, x(t))i < 0
para todo t [0, T ] lo cual implica que si || R entonces (0) R2 y por lo tanto
(t) R2 para todo t [0, T ]. En particular esto dice que la solucin x debe estar definida
hasta t = 1 pues de lo contrario existira T < 1 de forma tal que x(t) si t T .
Finalmente vemos que si tomamos T = 1 entonces P (B R (0)) B R (0) y por el teorema
de punto fijo de Brouwer existe tal que
x(0, ) = = P ( ) = x(1, )
es decir (1.5.25) tiene al menos una solucin.
Ahora veamos cul es la idea para las ecuaciones diferenciales con retardo; en primer
lugar damos la siguiente
Definicin 1.5.8. Eyectividad. Sea X un espacio de Banach, U X un conjunto abierto,

x U y A : U \{x} X. Decimos que el punto x es eyectivo para el operador A si
existe un entorno abierto G X de x tal que si y G U \{x} entonces existe un entero
m = m(y) > 0 ta que Am (y) G U .
Generalmente se utiliza en este contexto dos teoremas cuyas demostraciones pueden en-
contrarse en Hale [38]. En primer lugar se tiene el siguiente resultado
Teorema 1.5.9. Sea X un espacio de Banach, K X es un conjunto cerrado, acotado y convexo,

A : K\{x0 } K un operador compacto y x0 K eyectivo para A. Entonces A tiene al menos
un punto fijo en K\{x0 }.
y para el caso en que K no sea necesariamente acotado
Teorema 1.5.10. Sea X un espacio de Banach, K X es un conjunto cerrado y convexo,

A : K\{0} K un operador compacto y 0 K eyectivo para A tal que si existe M > 0 tal
que Ax = x, x K BM (0) implica que < 1 entonces A tiene al menos un punto fijo en
K BM (0)\{x0 }.
Usualmente en la aplicacin de los teoremas 1.5.9 y 1.5.10 a las ecuaciones diferenciales

autnomas con retardo, el operador A juega el papel del operador de Poincar anterior-
mente descripto.
Ms precisamente, supongamos que existe un conjunto cerrado, acotado y convexo (o
cerrado y convexo) K C tal que para cada K, la nica solucin x = x(, , 0) de
(1.5.14) (con t0 = 0) retorna a K en algn tiempo := () > 0, o sea x () (, , 0) K si
K. Luego si el operador
A : K K, A() := x () (, , 0)
es compacto, por el teorema 1.5.9 (o bien 1.5.10) existe al menos una funcin K tal que
A() = es decir = x () (, , 0) y por lo tanto x(, , 0) es una solucin ()-peridica
del problema (1.5.14) (con x0 = ).
Usualmente K es un conjunto infinito dimensional y como lo hemos sealado para el caso
de las ecuaciones diferenciales ordinarias, difcil de determinar. No obstante, como vere-
mos en el ltimo captulo, se puede sortear esa dificultad utilizando la teora del grado
de coincidencia.
Chapter 2
Formulacin y antecedentes de los

problemas.
Este captulo est organizado del siguiente modo. En la seccin 2.1 se deriva el modelo
de electrodifusin multi-in en rgimen estacionario formulado por Leuchtag [44]; ms
precisamente, en la subseccin 2.1.1 se hacen explcitas las leyes fisicas que intervienen en
dicho proceso y se establece una familia de sistemas de ecuaciones diferenciales ordinarias
(2.1.9) que lo modelan; en particular los dos primeros trminos de la familia (2.1.27); en
la subseccin 2.1.2 se trata el caso, de nuestro inters, correspondiente a dos iones con
idnticas valencias (2.1.28). Por ltimo en la subseccin 2.1.3 se dan los antecedentes del
problema de electrodifusin de dos iones con idnticas valencias.
En la seccin 2.2 se deriva el modelo generalizado de Nicholson y se dan algunos de sus
antecedentes; ms precisamente en la subseccin 2.2.2 se deriva el modelo de crecimiento
poblacional basado en la ecuacin logstica con retardo (2.2.5) y en la subseccin 2.2.3 una
familia de modelos (2.2.15) que incluyen una funcin de natalidad denso-dependiente, del
cual el modelo de Nicholson es un ejemplo. Por ltimo en la subseccin 2.2.4 se introduce
el modelo de Nicholson, algunas de sus principales generalizaciones (modelos (2.2.25) y
(2.2.26)) como asi tambin los antecedentes que tendremos en cuenta en el captulo 4.
2.1 Modelo de electrodifusin multi-in en rgimen estacionario.

La teora de la electrodifusin es una descripcin macroscpica del transporte de partcu-
las cargadas por medio de una combinacin de flujos de migracin y difusin a travs de
un material que presenta determinadas caractersticas fsicoqumicas que determinan su
permeabilidad a determinados tipos de iones, tal como lo hace una membrana.
Esta descripcin tiene su origen en la teora de la juntura lquida de Nernst y Plank [66] y
constituye la base de la teora de Bernstein [23] del potencial elctrico de las membranas
de las clulas del sistema nervioso. La teora tuvo gran desarrollo y diversas aplicaciones,
entre otras, a la biofscia de las membranas, la fsica del plasma y de los superconductores,
etc.
H. R. Leuchtag [44] describe el proceso unidireccional del transporte de m-iones en rgi-
men estacionario sin restriccin en el tipo de iones presentes y da una formulacin unifi-
43
44 Formulacin y antecedentes
cada del proceso; ms precisamente, establece una familia de ecuaciones diferenciales or-
dinarias no lineales que modelan dicho fenmeno y cuyo orden viene dado por el nmero
de diferentes cargas inicas; por ejemplo, el primer miembro de la familia corresponde al
caso del transporte de partculas que presentan idnticas cargas y el segundo al transporte
de dos clases de partculas con distintas cargas.
2.1.1 Descripcin del modelo general.

Como lo sugiere Schllgl [74] conviene clasificar en diferentes clases al conjunto de todos
los iones del sistema de forma tal que todas las especies que conforman una misma clase
tengan la misma carga. Ms precisamente, suponemos que existen m clases, tal que en
la clase i-sima todas las especies j = 1, 2, , ki tienen carga qi con i = 1, 2, , m y
consideramos las dos ecuaciones acopladas que modelan este proceso:
(
dN
(N P ) : Jij = qj ij dXij + ij qi2 ENij
dE 4 P m P ki (2.1.1)
(G) : dX = i=1 j=1 qi Nij
donde X es la coordenada normal al borde de la membrana, E el campo elctrico, Nij el

nmero que indica la densidad del in ij, ij la movilidad o velocidad de deriva inica
del in ij, la constante dielctrica y = KB T la temperatura en unidades de energa,
siendo KB la constante de Boltzmann. Se supone que estos tres ltimos parmetros son
constantes a lo largo de la membrana.
La primera ecuacin (N-P) de (2.1.1) corresponde a la ecuacin de Nernst-Plank y establece
que la densidad de corriente del in ij tiene dos componentes: el primer trmino se debe
al proceso de disfusin mientras que el segundo al efecto de migracin causado por el
arrastre del campo elctrico; la segunda ecuacin (G) es la de Gauss segn la cual la
variacin del campo elctrico es proporcional a la superposicin de las densidades de
las clases inicas.
El nmero total de especies viene dado por m
P
i=1 ki y se supone que no hay interacciones
entre ellas.
En estado estacionario y bajo el supuesto de que no hay fuentes ni sumideros, la densi-
dad Jij es independiente de X. Tambin se asume la relacin de Einstein segn la cual la
movilidad y la constante de difusin estn relacionadas de acuerdo a la frmula
Dij = ij . (2.1.2)
En el estudio de las membranas se destacan dos magnitudes de inters; por un lado la

diferencia del potencial elctrico definida
Z L
V = E dX
0
donde L denota el espesor de la membrana y por otro, la corriente neta que atraviesa la
membrana.
Ahora veremos que el sistema (2.1.1) es equivalente, bajo ciertas condiciones, a un sistema
de m + 1 ecuaciones diferenciales ordinarias donde el campo elctrico oficia de variable
dependiente.
2.1. MODELO DE ELECTRODIFUSIN MULTI-IN EN RGIMEN ESTACIONARIO.45
Una familia de ecuaciones diferenciales ordinarias que modela el proceso de electro-

difusin multi-in.
En primer lugar observamos que el sistema (2.1.1) no es lineal y es invariante bajo un
reescalamiento dado por la transformacin
T : (X, V, E, Nij , Jij ) (1 X, V, E, 2 Nij , 3 Jij )
donde > 0. Ms an, ({T : R+ }, ) es un grupo abeliano siendo T1 el elemento

neutro y T1 el inverso de T ; as dada una solucin de (2.1.1) se obtienen via T infinitas
soluciones.
El sistema (2.1.1) puede reformularse de forma adimensional de manera tal que el sub-
ndice j que denota la especie en cuestin puede ser eliminado, lo cual pone de manifiesto
que efectivamente el proceso slo depende de la clase de carga y no del tipo especfico de
in que porta esa carga [74].
Comenzamos con algunas definiciones. El nmero entero
qi
i := (2.1.3)
q0
donde q0 = e es la unidad de carga del protn y qi la carga propia de la clase, representa
la valencia signada del i-simo in.
Para una unidad arbitraria de densidad N0 se define la longitud de Debye
1/2

:= . (2.1.4)
4q02 N0
Luego se define
ki
X
ni := N01 Nij (2.1.5)
j=1
que representa el nmero de iones con la misma carga relativa a la unidad de densidad
inica N0 establecida anteriormente y
ki
X Jij
ci := . (2.1.6)
N0 qi ij
j=1
un reescalamiento de las densidades de corriente.

Luego consideramos dos reescalamientos, el del campo elctrico denotado

q0
p := E (2.1.7)

y el de la coordenada normal X
X
x := + x1 (2.1.8)

con x1 una constante a definir.
Con estas definiciones y reescalamientos se puede probar que (2.1.1) se transforma en

0

ni = i ni p ci , i = 1, . . . , m

m
X (2.1.9)
p 0 = n

i i
i=1
donde 0 denota la derivada respecto de x.
Los dos primeros miembros de la familia.

Diferentes problemas de contorno derivan de este sistema de ecuaciones; los casos para
m = 1, 2 fueron estudiados y resueltos en ([13],[14]). La estructura de Painlev de estas
ecuaciones ha sido establecida en [26].
Por ejemplo, para el caso m = 1 el sistema (2.1.9) toma la forma
0
n = np c
(2.1.10)
p0 = n
Usando la segunda ecuacin de (2.1.10) para eliminar n de la primera tenemos

0 0 1 2
n = pp c = p cx .
2
Ahora integrando y usando la constante x1 que aparece en (2.1.8) para anular la constante
de integracin tenemos
1
n = p2 cx.
2
Finalmente eliminando n de la segunda ecuacin de (2.1.10) obtenemos

0 1 2 1
p = p cx = p2 cx (2.1.11)
2 2
que es el primer miembro de la familia.
Para el caso m = 2 el sistema queda

0
n1 = 1 n1 p c1
n0 = 2 n2 p c2 (2.1.12)
02
p = 1 n1 + 2 n2
Sumando las dos primeras ecuaciones de (2.1.12) y usando la tercera obtenemos

0 0 0 1 2
n1 + n2 = (1 n1 + 2 n2 )p c = pp c = p cx
2
donde c = c1 + c2 .
Nuevamente integrando y usando otra vez x1 que aparece en (2.1.8) para anular la cons-
tante de integracin tenemos
p2
n1 + n2 = cx.
2
Luego
p2
n1 cx
n2 =
2
y reemplazando en la tercera ecuacin de (2.1.12) obtenemos
2 2
p0 = 1 n1 + 2 ( p2 n1 cx) = 1 n1 + 2 p2 2 n1 2 cx =
(2.1.13)
= 12 2 p2 + (1 2 )n1 2 cx.
Despejando n1 de esta ltima ecuacin
p0 21 2 p2 + 2 cx
n1 =
1 2
y reemplazando en la primera ecuacin del sistema (2.1.12)
0 1 2
p 2 2 p +2 cx
n01 = 1 p 1 2 c1 =
(2.1.14)
1 pp0 12 2 1 p3 +1 2 cxpc1 (1 2 )
= 1 2 .
Finalmente derivando (2.1.13)
p00 = 2 pp0 + (1 2 )n01 2 (c1 + c2 ) (2.1.15)

y sustituyendo n01 por la expresin obtenida en (2.1.14) se tiene el segundo miembro de la
familia
pp0 1 p3 + cpxc ( )
p00 = 2 pp0 + (1 2 ) 1 2 2 1 1 2
1 2
1 1 2
2 (c1 + c2 ) =
0 0 1 3
= 2 pp + 1 pp 2 2 1 p + 1 2 cpx c1 (1 2 ) 2 (c1 + c2 ) = (2.1.16)
= (1 + 2 )pp0 21 2 1 p3 + 1 2 cpx c1 1 c2 2
La ecuacin (2.1.16) fue obtenida por primera vez en el ao 1965 por Bruner [25]. Para
iones con iguales cargas pero de signos distintos 1 fue obtenida por Bass ([18],[19]) en
el ao 1964 y por Cohen y Cooley en 1965; en este caso el segundo trmino 1 + 2 = 0 y
se tiene
1
p00 = 1 2 p3 + 1 2 cxp 1 c1 2 c2
2
.
Las ecuaciones correspondientes a los rdenes tres y cuatro pueden verse en el citado
artculo de Leuchtag [44].
2.1.2 El caso de dos iones.

Como lo mencionamos en la introduccin, a partir de las ecuaciones de Nernst-Plank y de
Gauss se elabora un modelo que describe el proceso fsico involucrado en la migracin-
difusin de ciertas partculas cargadas a travs de los bordes de una membrana permeable
que tiene gran importancia en el estudio de la transmisin de las seales electro-qumicas
de las clulas nerviosas.
Describiremos el modelo para m = 2, tratado originalmente por Bass, bajo condiciones
elctricamente neutras en los reservorios para dos iones con idnticas valencias y que da
origen al modelo abstracto que estudiaremos en esta tesis. Suponemos que los dos reser-
vorios estn separados por una sustancia dielctrica gelatinosa que ocupa cierta regin
del espacio (unidimensional) 0 x ; la constante dielctrica obviamente depender
de la conductancia inica selectiva de la membrana respecto a las dos especies de iones
en cuestin, por ejemplo sodio N a+ y cloruro Cl .
Con las notaciones y definiciones bsicas dadas en la subseccin anterior y tal como se des-
cribe en el trabajo de Thompson [82] para el caso m = 2 tenemos dos valencias := qq0
donde q0 = e es la unidad de carga del protn y q la carga propia de la clase segn la
clase ionica. En principio no supondremos ninguna relacin entre las valencias de los
iones y al final de la seccin deduciremos de esta ecuacin el caso de nuestro inters co-
rrespondiente a iones de idnticas valencias.
Fijada una unidad arbitraria de desidad inica N0 , definimos la longitud de Debye :=
1/2

4q 2 N
, las concentraciones inicas de las dos clases relativas a la unidad de densidad
0 0
N
n := N0 , las densidades de corriente c := N0 q0 D J y el campo elctrico reescalado
q0
p := E. Finalmente denotamos n := n+ + n y c := c+ + c .
Ahora procedemos de manera anloga a como lo hicimos en la subseccin anterior; las
ecuaciones de Nernst-Plank para este caso son
n0+ = + n+ p c+ (2.1.17)
y
n0 = n p c (2.1.18)
y la ley de Gauss
p0 = + n+ + n (2.1.19)
donde, como antes, 0 denota la derivada respecto de x.
Sumando (2.1.17) y (2.1.18) y usando (2.1.19) obtenemos
n0+ + n0 = (+ n+ n )p c = pp0 c (2.1.20)
e integrando
p2 p(0)2
n+ + n = ct + n(0). (2.1.21)
2
Luego podemos escribir
p2 p(0)2
n+ = ct n + n(0) (2.1.22)
2
y reemplazando esta ltima en (2.1.19) obtenemos
2 2

p0 = + n+ + n = n + + p p(0)
2 ct n + n(0) =
2 2
= n + + p p(0)
2 + ct + n + + n(0) (2.1.23)
p2 p(0)2
= ( + )n + + 2 + ct + + n(0)
de donde se deduce que
p2 p(0)2
p0 + ++ ct+ n(0) (2.1.24)
n = 2
+ .
Ahora diferenciando (2.1.23), reemplazando n0 por la expresin dada en (2.1.18) y n por

(2.1.24) tenemos
p00 = ( + )n0 + + pp0 + c = ( + )( n p c ) + + pp0 + c =

p2 p(0)2

p0 + ++ ct+ n(0)
= ( + ) 2
+ p c + + pp0 + c =
2 2
(2.1.25)
= (+ + )pp0 + p p(0) 2 ct + n(0) p c + c+ =
h 2 2
i
= (+ + )pp0 + p p(0) 2 ct + n(0) p + c ++ c+
+ .
Como no hay corriente a travs de la membrana se tiene 0 = + D+ c+ + D c =

(+ + c+ + c ) de forma tal que (+ + c+ + c )(+ ) = 0 y como conse-
cuencia
c + + c+ D D+
= c.
+ + D+ D
Luego se obtiene
h i
p2 p(0)2 D D+
p00 = (+ + )pp0 + 2 ct + n(0) p + v+ D+ v D c . (2.1.26)
Se supone que los valores de las concentraciones, esto es, n+ (0), n+ () y n (0) y n ()
de la interfase, son concidos; luego evaluando (2.1.21) en t = tenemos
p2 () p(0)2

1
c= n(0) n() + .
2
De la neutralidad elctrica de los reservorios y de la ley de Gauss (2.1.19) se obtiene la

condicin de Neumann p0 (0) = 0 = p0 () y podemos eliminar c de la ecuacin (2.1.26).
D D+
Ms an, si ponemos x := t, D := + v+ D + v D
, l := n(1)n(0)
n(0) , := 2 + n(0),

:=
++
+
e y := + p y reescalamos la ecuacin (2.1.26) obtenemos finalmente
y02 y 2 y02 y12 y02 y12

( h i
y 00 = yy 0 + y 2 l + 2 x + l + 2 D, x (0, 1)
(2.1.27)
y 0 (0) =0= y 0 (1)
donde usamos la notacin y0 := y(0) e y1 := y(1).
Observamos, tal cual lo adelantamos en la introduccin, que en la no linealidad inter-

vienen los valores de la solucin desconocida en el borde del dominio, es decir y0 e y1 .
Algunos resultados de inters para el problema (2.1.27) pueden encontrarse en [15].
Por otro lado tambin notamos que en general + 0 y si se cumple que n(1) > n(0)
y = + entonces tenemos el problema de contorno
y02 y 2 y02 y12 y02 y12

(
y 00 = y 2 + l + 2 x [l + 2 ]D (2.1.28)
y 0 (0) = 0 = y 0 (1)
Teniendo en cuenta la naturaleza de las constantes fsicas de las que dependen los par-
metros l, y D que intervienen en (2.1.28) se ve que los rangos para los cuales el problema
tiene sentido fsico son 1 < D < 1 y , l > 0.
2.1.3 Algunos antecedentes del problema de electrodifusin de dos iones con

idnticas valencias.
Se ha probado ([18],[26]) que la ecuacin del problema (2.1.28), bajo determinadas condi-
ciones iniciales, tiene estructura de Painlev II [65].
En 1988 Thompson [81] estudia existencia y unicidad del sistema
00
y = f (x, y, y 0 , y0 , y1 ), x (0, 1)
(2.1.29)
y 0 (0) = 0 = y 0 (1)
con f : [0, 1]R4n Rn continua, usando teora del grado de coincidencia conjuntamente
con el mtodo de sub y super soluciones ordenadas.
En primer lugar se formula un teorema de continuacin (Theorem 2.1 [81]) y el resultado
principal de existencia (Theorem 2.2, [81]). Como consecuencia se obtiene un corolario
(Corollary 2.3, [81]) clave para el posterior estudio del problema (2.1.28); ms precisa-
mente, con la notacin z < y si y slo si zi < yi para todo i = 1, 2, , n, y, z Rn se
demuestra que si f es continua y existen , Rn ( < ) de manera que se cumplen:
1. f (x, , 0, y0 , y1 ) < 0 < f (x, , 0, y0 , y1 ) para y, y0 , y1 y x [0, 1] .
2. Condicin de Nagumo. [57] Existe una funcin k : [0, +) (0, +) no decreciente

tal que |fi (x, y, z, y0 , y1 )| h(|zi |) para i = 1, 2, , n y x [0, 1] y y, y0 , y1
y
Z T
sds
> max (i i )
0 h(s) 1in
para cierto T > 0 y

R1
3. La funcin g(c) := 0 f (x, c, 0, c, c) dx tiene grado
d(g, , 0) 6= 0
con := {c Rn : < c < }
entonces el problema (2.1.29) tiene al menos una solucin.

Para el caso escalar, n = 1, se demuestra (Theorem 2.5 [81]) que si f es continua y de clase
C 1 en sus tres primeras variables y u es una solucin del problema (2.1.29) que satisface
f f
(x, u, u0 , u(0), u(1)) 0, (x, u, u0 , u(0), u(1)) 0
x y
entonces u es estrictamente decreciente o bien u es constante.
No obstante haber considerado el problema abstracto (2.1.29), los principales resultados

obtenidos por Thomson ([81],[82]) se refieren al problema de electrodifusin (2.1.28) para
l, , D 0 de manera que omitiremos la dependencia de la no linealidad respecto de y 0 .
Por otro lado la restriccin respecto del signo del parmetro D no constituye una ver-
dadera limitacin dado que si y es solucin del problema (2.1.28) para los parmetros
l, > 0 y D entonces y lo es para los parmentros l, > 0 y D.
Los resultados recin enunciados (Corollary 2.3, Theorem 2.5, [81]) son usados por Thomp-
son para probar existencia de solucin para el problema de electrodifusin (Theorem 2.6 ,
[81]). Ms precisamente se tiene el siguiente resultado: si D, l, > 0 y existe una constante
m > 0 tal que
l
m 1+ lD > 0 (2.1.30)
2
y
m2

D
m l m2 > 0 (2.1.31)
2 2
entonces el problema de electrodifusin (2.1.28) tiene al menos una solucin no negativa
estrictamente decreciente. Este resultado dice en particular que si es suficientemente
grande en comparacin con los valores de los parmetros l y D las soluciones no negativas
son decrecientes.
Ms an, usando el principio del mximo se prueba (Theorem 3.1, [81]) que si f es de
clase C 1 en tal que
f f f
0, 0 (2.1.32)
y y0 y1
entonces
1. Si u e y son soluciones de (2.1.28) entonces u y es constante.

f f f
2. Si y + y0 + y1 6= 0 entonces a lo sumo existe una solucin de (2.1.28).
3. Si f f f
y + y0 + y1 0 y u es una solucin de (2.1.28) entonces y = u c es otra
solucin para cada constante c R y toda solucin es de la forma y = u c.
Por otro lado se prueba el siguiente resultado que es clave para la unicidad (Theorem 3.3,
[81]): si f es de clase C 1 en tal que
f f f f
0, f + f f > 0

0, +
y y y0 y1 y y1 y0
entonces a lo sumo existe una solucin del problema (2.1.28). En particular (Theorem
f f
3.5, [81]) si f es de clase C 1 sobre con y 1
= 0, y 0
f
y 0 entonces si u e y son
f
soluciones entonces u y = c es constante y si y 0
+ f
y 6= 0 entonces existe a lo sumo
una solucin del problema (2.1.28); un resultado similar se tiene para el caso en que f sea
independiente de y0 (Corollary 3.6, [81]).
lD2
Otro resultado de inters (Theorem 3.7, [81]) establece que si 2(l+1) 0 entonces
lD2
cualquier solucin no negativa de (2.1.28) es decreciente y si 2(l+1) > 0 y adems de
cumplirse (2.1.30) y (2.1.31) se cumple
m2

m lD > 0 (2.1.33)
2
entonces (Corollary 3.8. [81]) existe slo una solucin no negativa tal que que 0 y
m. Notamos que efectivamente para l, D > 0 con suficientemente grande todas las
condiciones son satisfechas.
Usando un argumento de shooting Thompson prueba (Theorem 4.2, [81]) que si l0 D0 = 0
y 0 > 0 entonces existe > 0 tal que si |l l0 | + | 0 | + |D D0 | < entonces el
problema (2.1.28) tiene solucin y(x) = y(x, l, D, ) y adems |yi | < con i = 1, 2.
En el ao 1994 Thompson [82] retoma su trabajo acerca del problema de electrodifusin
unificando y extendiendo los resultados obtenidos en [81] para los parmtros con valores
l, , D > 0. Ms precisamente, usando el principio del mximo prueba que si l, , D > 0
entonces no existen soluciones negativas del problema (2.1.28) y que todas las soluciones
positivas son estrictamente decrecientes y satisfacen
y(0) y(1)(1 + l),
ms an, se prueba (Theorem 2,[82]) que efectivamente existen soluciones positivas si

existe una constante m > 0 tal que

1
m l + m2 1

D0 (2.1.34)
2(1 + l)2
lo cual es equivalente a pedir que

1
2l 1 D2 . (2.1.35)
(1 + l)2
Finalmente prueba en el mismo artculo (Theorem 6, [82]) que para l, , D > 0 las solu-
ciones obtenidas en el teorema 4.2 de [81] son positivas.
Amster et al [16], usando una tcnica de shooting bidimensional y teora de grado, han
probado que la condicin (2.1.35) puede ser suprimida.
2.2 Modelo Generalizado de Nicholson.

Una de las aplicaciones ms importantes de la matemtica a la ecologa consiste en la
formulacin de modelos que permiten describir, bajo determinados supuestos, las varia-
ciones de la densidad poblacional, esto es el nmero de individuos o biomasa por unidad
de espacio 1 , en funcin del tiempo.
Obviamente, la buena representacin del modelo exige que se cumplan ciertos principios
bsicos:
1
En general nos referiremos a la densidad como al tamao de la poblacin.
2.2. MODELO GENERALIZADO DE NICHOLSON. 53
1. Si la poblacin es nula entonces el crecimiento debe ser nulo,
2. La densidad de poblacin no debe ser negativa en ningn momento.
Como veremos, ms adelante, estos dos principios se verifican de manera adecuada si los
componentes de la densidad satisfacen ciertos supuestos.
En general se considera que el primer modelo 2 de crecimiento poblacional fue establecido

por Malthus en el ao 1798
dN
= rN. (2.2.1)
dt
En este caso el crecimiento es exponencial N (t) = N0 ert , siendo N0 el tamao inicial de la
poblacin. La constante no nula
1 dN
r=
N dt
se llama tasa intrnseca de crecimiento natural per cpita de la poblacin, y representa, en condi-
ciones biolgicas y ambientales ptimas, el potencial reproductivo de cada individuo, de
manera que dN dt es proporcional al nmero de unidades reproductoras. Las condiciones
ptimas incluyen un ambiente fisicoqumico bajo el cual el crecimiento de la poblacin es
mximo y una distribucin por edades estable.
Es claro que este modelo satisface las dos restricciones anteriores: la velocidad de creci-
miento es nula si la densidad lo es y adems la densidad es estrictamente positiva an
cuando la tasa de crecimiento sea negativa. En este modelo se asume, implcitamente,
que el efecto de la densidad poblacional sobre la velocidad de crecimiento es instantneo y
describe muy bien, durante un lapso de tiempo breve, la dinmica poblacional de ciertas
especies denominadas plagas en presencia de suficiente alimento y espacio; por ejemplo el
crecimiento de las moscas domsticas en un criadero de pollos en verano, el crecimiento
bacterial en un recipiente con caldo nutritivo, etc. Aun as, el modelo se aplica tambin a
poblaciones consideradas no plagas como la humana.
Para este modelo existen tres tipos posibles de comportamiento: la soluciones crecen ex-
ponencialente si y slo si r > 0; decrecen exponencialmente a cero si r < 0 y obviamente
son constantes si r = 0.
Un parmetro de cierto inters es el tiempo de duplicacin de la poblacin definido como el

tiempo que tardara la poblacin para alcanzar un tamao igual al doble que el actual; tal
parmetro coincide con el de semivida si la tasa de crecimiento es negativa. 3
El modelo de Malthus no explica el hecho de que, en general, la densidad se estabiliza

alrededor de cierto valor de equilibrio; ms precisamente este modelo no tiene en cuenta
que los recursos espacio nutricionales en general son escasos y por lo tanto la poblacin no
2
Tambin se destacan los aportes de Fibonacci.
3
El modelo exponencial tambin se usa en el estudio de la radioactividad y en ese contexto se considera
tambin el tiempo de semivida de cierto elemento radioactivo.
puede crecer de manera ilimitada 4 ; este proceso de autolimitacin se denomina en oca-

siones competicin intraespecfica; esto motiv la modificacin del modelo imponindole
cierto freno en funcin de la propia densidad.
2.2.1 El modelo logstico de Verhulst-Pearl.

Verhulst [51], en el ao 1836, propuso un modelo en el cual la tasa de mortalidad permace
constante mientras que la tasa de crecimiento depende linealmente de la densidad de la
poblacin a tiempo t. Ese modelo fue reconsiderado posteriormente, en el ao 1927, por
Pearl y actualmente se lo conoce como como el modelo logstico o ecuacin de Verhulst-Pearl.
Ms precisamente se propuso que r sea una funcin lineal decreciente de la densidad pobla-
cional, es decir de la forma
r(t) = mN (t) + r0
donde m y r0 son constantes relacionadas entre s y representan conjuntamente una ca-
racterstica intrnsiceca de la poblacin. Sealemos aqu que el modelo slo se ajusta bien
en determinadas especies y que la tasa en general vara con los factores abiticos 5 del
medio ambiente.
Reemplazando esta expresin en el modelo de Malthus (2.2.1), obtenemos
dN
= N (t) (mN (t) + r0 ) = mN 2 (t) + r0 N (t). (2.2.2)
dt
De acuerdo a este modelo la poblacin no crece de manera indefinida, presenta puntos
de equilibrio, es decir, valores de la densidad para los cuales la velocidad de crecimiento es nula.
Obviamente uno de esos puntos es el trivial, como lo exiga la restriccin inicial, y el
otro K := rm0 . El equilibiro no trivial es asintticamente estable mientras que el trivial es
inestable.
La constante N := K representa el tamao mximo que puede alcanzar la poblacin en
un hbitat especfico bajo ciertas condiciones de recursos y se llama capacidad mxima de
carga 6 . Por otro lado el parmetro r0 representa el valor mximo que puede asumir la tasa de
crecimiento intrnseca.
Con estas notaciones la ecuacin (2.2.2) asume la forma usual del modelo logstico
dN r0 2
dt = mN 2 (t)
+ r0 N(t) = r0 N (t) K N (t) =
KN (t)
(2.2.3)
= r0 N (t) K = r0 N (t) 1 NK(t)
que dice que la velocidad de crecimiento es proporcional tanto al tamao de la poblacin como
a la cantidad que le falta a la densidad para alcanzar su capacidad de carga mxima relativa, es decir
4
Desde el punto de vista de los recursos se pueden distinguir tres tipos de modelos de crecimiento de
poblaciones homogneas: a) Libres de restricciones de recursos externos para la sustentabilidad, b) con restriccin
de recursos externos para la sustentabilidad y c) con recoleccin.
5
Por ejemplo el eclogo L. Birch mostr que una hembra del gorgojo del arroz (Calandra oryzae) produce
una descendencia aproximada de 22 individuos al ao a 23 C, una descendencia anual de 37 a 29 C y de 6
a 33, 5 C; en el caso de la pulga de agua se encuentra tambin una situacin parecida.
6
Es usual en la literatura de la ecologa matemtica representar el valor del equilibrio con un asterisco
KN
K ; este factor es el que limita el crecimiento de la poblacin y acta en consecuencia
en contra del potencial de crecimieto r0 N .
Integrando la ecuacin (2.2.3) con N (0) := N0 tenemos
K N0 er0 t
N (t) = KN0 r t = N0 r t (2.2.4)
1+ N0
e 0 1+ K
(e 0 1)
Si la densidad inicial N0 es muy pequea comparada con la capacidad de carga del am-
biente K, o sea NK0 1, tenemos que N (t) N0 er0 t . Luego a densidades bajas el modelo
logstico se comporta como el modelo exponencial de Malthus. Tambin se observa que
N (t) K si t + de manera que para valores grandes se pone de manifiesto la
resistencia biolgica ambiental.
2.2.2 El modelo logstico con retardo de Hutchinson.

En verdad la situacin es ms compleja que la descripta hasta aqu; puede ocurrir que la
densidad poblacional siga creciendo ms all del nivel de carga terico K o incluso que
su crecimiento flucte alrededor del valor de carga; este fenmeno de oscilacin se presenta
en ciertas especies denominadas cclicas cuya dinmica es sensible a cambios estacionales;
en algunas plantas exticas ocurre que se alcanza abruptamente la capacidad de carga y
luego se reduce de manera drsatica. 7
En este sentido es de inters establecer condiciones bajo las cuales existen soluciones po-
sitivas peridicas de los modelos de crecimiento poblacional, tema especfico que tratare-
mos en el ltimo captulo a propsito de una variante del modelo logstico con retardo.
El modelo de Verhulst-Pearl se ajusta muy bien a especies en las que no hay un tiempo
de retardo significativo entre el nacimiento y la madurez reproductiva, y en donde no hay dife-
rencias reproductoras por edades (todos los individuos contribuyen de igual manera al
crecimiento de la poblacin). De esta forma el modelo funciona en poblaciones de plantas
o animales unicelulares con reproduccin asexual, ciclos de vida cortos y altas tasas de
reproduccin. En este modelo se supone que el efecto de retroalimientacin o autoregulacin
N
biolgica-ambiental dado por el factor 1 K es instantneo.
Si, por el contrario, suponemos que la autoregulacin produce su efecto pasado cierto
tiempo > 0 entonces tendremos una ecuacin diferencial con retardo

dN N (t )
= r0 N (t) 1 (2.2.5)
dt K
El parmetro > 0 representa la edad de mxima capacidad reproductiva de un indi-
viduo de la poblacin.
Esta ecuacin llamada ecuacin logstica con retardo fue aplicada en el ao 1934 en el estu-
dio de la dinmica de los ciclos econmicos y posteriormente en el ao 1948 usada por
Hutchinson [40] para estudiar el tiempo que tarda en recuperarse la vegetacin sometida
7
Otras simplificaciones hechas por los modelos de crecimiento poblacional es que no tienen en cuenta
la estructura poblacional por edades ni los efectos de recoleccin (harvesting); la primera supone que la
poblacin es homognea y la segunda que no existen factores exgenos que afecten el crecimiento y desarrollo
poblacional como por ejemplo la depredacin, la cosecha, etc.
al pastoreo de animales; nos referiremos a la ecuacin logsica con retardo como ecuacin
de Hutchinson.
Una generalizacin del modelo logstico con retardo fue dado en el ao 1963 por el ec-
logo Smith para interpretar sus experimentos sobre el crecimiento de la poblacin de la
mosca Daphina magna; ms precisamente propuso el siguiente modelo llamado modelo
de la rpida limitacin
K x(t )
x0 (t) = r0 x(t) . (2.2.6)
K + cr0 x(t )
Observamos que para c = 0 retornamos a la ecuacin logstica con retardo.
En el ao 1933 el bilogo W. Allee [4] descubre que en ciertas especies en las que la estruc-
tura cooperativa es esencial para el sustento poblacional, abejas, hormigas, peces, etc., la
tasa de crecimiento per cpita aumenta hasta un instante en el que se alcanza un valor
crtico. Superado este valor la poblacin empieza a disminuir debido a causas como por
ejemplo la competencia. Este fenmeno se denomin el efecto Allee; un modelo posible
que describe el efecto Alle viene dado por

x0 (t) = x(t) 1 x(t
K
)
(r0 + qx(t ) (2.2.7)
donde r0 > 0 y q 0; en particular con q = 0 se obtiene el modelo de Hutchinson.

Todos los modelos anteriores (2.2.5)-(2.2.6)-(2.2.7) son casos particulares8 del siguiente
tipo de ecuacin diferencial de primer orden con retardo
x0 (t)
x(t) = f (x(t )) (2.2.8)
Ms an, esta ecuacin puede escribirse en la forma z 0 (t) = F (z(t1)) para cierta funcin
F ; en efecto, si hacemos el cambio de variable
z(t) := ln(x( t))
en (2.2.8) se tiene ez(t) = x( t) y
0
z 0 (t) = xx(
( t)
t) = f (x( t )) = f (x( (t 1)) = f (e
z(t1) ) = F (z(t 1)) (2.2.9)
donde F (z) = f (ez ).

En particular haciendo el cambio de variable

N ( t)
z(t) := ln
K
en el modelo de Hutchinson obtenemos
N 0 ( t)

0 N ( t )
z (t) = = r0 1 = a(1 ez(t1) ) (2.2.10)
N ( t) K
donde a := r0 . Poniendo F (z) = a(1ez ) vemos que la ecuacin logstica con retardo
es de la forma (2.2.9).
La funcin F de este modelo tiene tres propiedades de inters
8 x

Para el modelo de Hutchinson se tiene f (x) = r0 1 K para el modelo del rpido crecimiento f (x) =
Kx x
r0 K+cr0 x
y para el modelo del efecto Alle f (x) = 1 K
(r 0 + qx).
1. F (0) = 0
2. F es de clase C 1 y F 0 (x) < 0 para todo x R, y
3. F est acotada inferiormente.
Las propiedades (1) y (2) implican que x F (x) < 0 para todo x 6= 0 propiedad que se
conoce como condicin del feedback negativo y significa que la tasa de crecimiento per cpita
es positiva si la densidad est por abajo del valor crtico K y negativa si est por arriba.
Las propiedades (2) y (3) implican que la tasa de crecimiento per cpita disminuye cuando
aumenta la densidad de la poblacin hasta cierto nivel crtico.
Uno de los aspectos ms importantes en el anlisis de la dinmica de una poblacin es

determinar condiciones bajo las cuales la densidad tiende a estabilizarse alrededor del
parmetro K, es decir del nivel de la mxima capacidad de carga. Wright [86] estudi la
estabilidad de la ecuacin logstica con retardo; ms precisamente propuso el cambio de
variable
N ( t)
w(t) := 1
K
en la ecuacin (2.2.5) obteniendo:

0 dN ( t) r0 N ( t )
w (t) = = N ( t) 1 = a w(t 1) (w(t) + 1) . (2.2.11)
K dt K K
La reformulacin de la ecuacin de Hutchinson (2.2.11) se la conoce en la literatura como

ecuacin de Wright. 9 Considerando la linealizacin de la ecuacin (2.2.10), es decir
z 0 (t) = F 0 (0)z(t 1) = az(t 1)
se puede probar que la solucin trivial de la ecuacin logstica con retardo es asinttica-
mente estable si y slo si a < 2 y si a 2 existen soluciones que no convergen a cero, es
decir, z = 0 no es globalmente asintticamente estable. 10
Finalizamos esta subseccin mostrando, muy brevemente y de manera heurstica, cierto
vnculo de la ecuacin de Hutchinson con el teorema de los nmeros primos. Si bien el
problema es propio del rea de la biologa matemtica tuvo su motivacin en un problema
de la teora analtica de numeros; ms precisamente en la bsqueda de una demostracin
sencilla del teorema de los nmeros primos conjeturado por primera en el ao 1793 por
Gauss, segn el cual
(x)ln(x)
lim =1
x+ x
9
Para la ecuacin de Wright el problema de la estabilidad consiste en encontrar valores de a para los cuales
lim w(t) = 0
t+
para toda solucin que satisface w(t) + 1 = N K

( t)
> 0; en tal caso se dice que w = 0 es globalmente asintti-
camente estable.
10
Wright formul la siguiente conjetura an no resuelta: " si a (0, 2 ) entonces el equilibrio z = 0 es
globalmente asintticamente estable para la ecuacin (2.2.11). "
donde es la funcin de Euler que asocia a cada x > 0 la cantidad de nmeros primos
menores o iguales a x. Este lmite dice que el orden de crecimiento de la funcin es
x
similar al de la funcin ln(x) .
En particular en el ao 1942 Lord Cherwell, estudiando este tema, considera la siguiente
ecuacin diferencial

2xy 00 (x)/y 0 (x) + y 0 ( x) = 0. (2.2.12)
Wright se interes en esta ecuacin a propsito de la teora de nmeros pero pronto ese
vnculo qued atrs; posteriormente prouso un cambio de variable en (2.2.12)
y 0 (x)ln(x) := 1 + w(v) y ln(x) := 2v
y obtuvo la ecuacin
w0 (v) = ln(2)w(v 1)(1 + w(v)) (2.2.13)
la cual es un caso particular de la ecuacin que llava su nombre (2.2.11).
Ahora bien, si
lim w(v) = 0 (2.2.14)
v+
para todas las soluciones de la ecuacin (2.2.13) entonces por un lado se tiene que
lim y 0 (x)ln(x) = 1
x+
de donde lim y 0 (x) = 0 y por otro usando la regla de LHospital

x+
y(x)ln(x)
lim = 1.
x+ x
En consecuencia demostrar (2.2.14) implicara probar11 el teorema de los nmeros primos.
2.2.3 Modelos con funcin de natalidad denso-dependiente con retardo.

En general los modelos de crecimiento poblacional presuponen la existencia de dos fuerzas
opuestas que interactan y tienen distintos efectos sobre el crecimiento y el desarrollo de
las poblaciones; una es de ellas es intrnseca a la poblacin y se refiere a su capacidad para
reproducirse a cierto ritmo; la otra, opuesta a la anterior, consiste en la mortalidad o si se
quiere la longevidad fisiolgica.
El eclogo Royal Chapman se refiri a estas fuerzas que regulan el crecimiento poblacional
como el Potencial bitico y la Resistencia del ambiente. En este sentido se considera que los
procesos bsicos, conformados por una diversidad de factores endgenos y exgenos que
afectan el crecimieto poblacional, son:
1. B: La funcin de natalidad, dependiente de todos los factores que contribuyen de

algn modo a la reproduccin de la especie.
11
Para una descripcin de la historia del vnculo de las ecuaciones diferenciales con retardo y la teora de
los nmeros primos remitimos al lector al texto de Sandor [73].
2. D: La funcin de mortalidad, dependiente de todos los factores que contribuyen de

algn modo a la extincin de la especie.
Es frecuente construir modelos en los que se supone que la funcin de natalidad depende
de la densidad poblacional teniendo en cuenta el efecto del tiempo biolgico necesario
que requiere un individuo de la especie para alcanzar la madurez reproductiva, mientras
que la funcin de mortalidad D depende slo del estado actual de la densidad pobla-
cional; ms precisamente modelos dados por una ecuacin diferencial de primer orden
con retardo del siguiente tipo:
N 0 (t) = F (N (t), N (t )) = B(N (t )) D(N (t)) (2.2.15)
donde B y D son las funciones de natalidad y mortalidad respectivamente; N (t) > 0

representa la densidad a tiempo t y > 0 (retardo de tipo discreto) el tiempo necesario para
alcanzar la madurez reproductiva.
En general se requiere que las funciones B y D satisfagan ciertas condiciones que refle-
jan hechos biolgicos estructurales de las poblaciones; estas condiciones se denominan
resticciones fuertes del modelo y bsicamente son tres:
(H1): B(0) = D(0) y B(N ) > D(N ) para N (0, ) con > 0.
(H2): Existe una constante K > 0 tal que B(K) = D(K).
(H3): (Z K)(B(N ) D(N )) < 0 para Z (0, +) con N 6= K.
La primera hiptesis (H1) dice que la velocidad de crecimiento es nula en ausencia de

densidad (equilibrio trivial) y es positiva a densidades poblacionales bajas.
La segunda y tercera hiptesis, (H2) y (H3), se refieren a la capacidad de carga: la segunda
afirma que efectivamente existe una capacidad de carga mxima (equilibrio no trivial) y
la tercera que la capacidad de carga es nica y adems establece que por debajo de la
capacidad mxima la densidad crece y por arriba la densidad decrece.
Dos ejemplos tpicos de funciones de natalidad son:
B1 (N ) = pN eN , p > 0 (2.2.16)
llamada usualmente de tipo Riker y
pN
B2 (N ) = , m>0 (2.2.17)
1 + Nm
de tipo Beverton-Holt. Asimismo es tpica la funcin de mortalidad
D(N ) = N, > 0.
Las funciones B1 y B2 conjuntamente con D, satisfacen las condiciones (H1), (H2) y (H3).
2.2.4 El modelo de Nicholson: antecedentes y generalizaciones.

Como lo sealamos anteriormente la densidad poblacional de ciertas especies pueden
fluctuar casi peridicamente en el tiempo; estos perodos no pueden explicarse mediante
una mera variacin temporaria; la regularidad de este fenmeno atrajo la atencin de
muchos eologos.
En particular se destacan los experimentos que realiz en el ao 1954 el entomlogo
Nicholson [60] acerca de la mosca de la oveja Australiana, declarada para entonces peste
en Australia. Nicholson control durante dos aos, en forma independiente, el alimento
suministrado a larvas y moscas adultas y observ que la densidad poblacional oscilaba
aproximadamente en ciclos de 35 a 40 das.
La conclusin de esos experimentos fue que la oscilacin se deba al tiempo de demora
que exista entre el estimulo dado (suministro de alimento) y la respuesta obtenida (cre-
cimiento demografico).
El primer modelo propuesto para explicar los resultados de los experimentos de Nichol-
son fue la ecuacin de Hutchinson 12 (2.2.5). En el ao 1980 Gurnay et al. [37] mostraron
que la ecuacin de Hutchinson no se ajustaba de manera adecuada a los resultados obser-
vados y propusieron el siguiente modelo
dN
= N (t) + pN (t )eN (t )
dt
donde N (t) designa el tamao de la poblacin en tiempo t, p la mxima produccin diaria
de huevos por individuo adulto; K = 1/ es el tamao en el que la poblacin se reproduce
a su mxima tasa intrnseca de crecimiento, es la tasa de mortalidad diaria por individuo
adulto y el tiempo de maduracin necesario para que una larva se convierta en individuo
adulto y pueda procrear. Haciendo el cambio de variable x(t) := N (t) tenemos
x0 (t) = x(t) + px(t )ex(t ) . (2.2.18)
Este modelo se dio en llamar la ecuacin de las moscas de Nicholson (Nicholsons

Blowflies) y nos referiremos al mismo como el Modelo de Nicholson; los trabajos referidos
a este modelo se centraron en el estudio de la existencia de soluciones positivas, periodi-
cidad, persistencia, permanencia, oscilacin y estabilidad [21].
Observamos que el Modelo de Nicholson es del tipo (2.2.15) con la funcin de natalidad
B(x) = pxex (tipo Riker) y de mortalidad D(x) = x con p > 0 y > 0 constantes.
En el artculo de J. So y Yu [79] se prueban varios resultados relacionados con la existencia

y unicidad de solucin del problema de valores iniciales (2.2.18) con el dato inicial
x(s) = (s), s [, 0] (2.2.19)
donde C([, 0], [0, +)). Ms precisamente se prueba que todas las soluciones
de (2.2.18)-(2.2.19) son no negativas si el valor inicial (t) 0 para todo t [, 0] y
12
May [54] encontr que el perodo no dependa de K sino de r0 donde r0 es la tasa intrnseca de creci-
miento poblacional generalmente desconocida; los valores de los parmetros de la ecuacin de Hutchinson
que, segn May, mejor se adaptaban a esos datos satisfacen aproximadamente la relacin r0 = 2, 1.
estrictamente positivas para t si adems no es idnticamente nula. Y en el caso en

que el valor inicial sea estrictamente positivo las soluciones son estrictamente positivas
para todo t 0 y adems
p
lim sup x(t) .
t+ e
Por otro lado tambn se prueba que si p entonces para cualquier solucin x se tiene
que x(t) 0 cuando t +, de manera que x = 0 es una atractor global para cualquier
retardo ; mientra que si p > el equilibrio trivial es inestable y si x es una solucin po-
p
sitiva no oscilatoria alrededor del equilibrio no trivial x = ln( e ), esto es, si la diferencia

x x es eventualmente positiva o bien eventualmente negativa, entonces
lim x(t) x .
t+
Ms an si
p
(e 1)( 1) < 1

entonces x es un atractor global, de donde se ve que si el retardo es suficientemente
chico el equilibiro no trivial es globalmente asintticamente estable. Asimismo se ve que
no existen soluciones no triviales tal que lim x(t) = 0 y todas las soluciones de (2.2.18)
t+
son uniformemente persistentes, esto es, existe m > 0 tal que
lim inf x(t) > m

t+
para toda solucin con dato inicial positivo.
El modelo autnomo (2.2.18) se ha generalizado en varias direcciones, en primer lugar se

consideraron las tasas p > 0 y > 0 variables obtenindose el Modelo No Autnomo con
retardo variable:
x0 (t) = (t)x(t) + p(t)x(t (t))ex(t (t)) . (2.2.20)

Luego se formul un modelo en el que intervienen m especies13 ; ms precisamente se con-
sidera para cada especie k = 1, 2, m la funcin de natalidad especfica Bk (x) := pk xex
con pk la tasa de produccin mxima de huevos por individuo adulto (no necesariamente
constante) y
Bk (x(t k (t))) = pk (t)x(t k (t))ex(tk (t))
con k el retardo variable especfico para la especie. A continuacin se define la funcin
natalidad, B, como una superposicin de las funciones de natalidad de las especies
B(t, x(t 1 (t)), x(t 2 (t)), , x(t m (t))) := m

P
Pm k=1 Bk (x(t k (t))) = (2.2.21)
= k=1 pk (t)x(t k (t))ex(tk (t))
y la funcin de mortalidad D(x) := x donde > 0 denota la tasa de motalidad promedio

(no necesariamente constante). Luego se obtiene el siguiente modelo
13
Se supone que cada especie contribuye a la densidad de la poblacin total a travs de sus tasas intrnsecas
de crecimiento y de sus tiempos especficos de maduracin reproductiva.
x0 (t) = F (t, x(t), x(t 1 (t)), x(t 2 (t)), , x(t m (t))) =

= B(t, x(t 1 (t)), x(t 2 (t)), , x(t m (t))) D(x(t)) = (2.2.22)
= m x(tk (t)) (t)x(t)
P
k=1 pk (t)x(t k (t))e
con , pk C(R+ , [0, )) y k , C([0, +), [0, )).

A los efectos de simplificar escribimos
Bk (x) := pk f (x)
con f (x) := xex y

xk (t) := x(t k (t)) (2.2.23)
de manera que (2.2.22) se transforma en
Pm
x0 (t) = k=1 pk (t)f (xk (t)) (t)x(t). (2.2.24)
A la ecuacin (2.2.24) se la conoce usualmente como el Modelo Generalizado de Nicholson

con varios retardos variables concentrados. 14
Por otro lado se ha considerado tambin el modelo (2.2.24) pero con un trmino de recolec-
cin H : [0, +), [0, +) (0, +) continuo tal que H(0, x) = 0
Pm
x0 (t) = (t)x(t) + k=1 pk (t)f (xk (t)) H(t, x(t)) (2.2.25)
o tambin el modelo con un trmino de recoleccin dependiente de uno de los retardos
variables de la poblacin
Pm
x0 (t) = (t)x(t) + k=1 pk (t)f (xk (t)) H(t, xk (t)) (2.2.26)
donde k := k para algn k {1, 2, 3, , m}.

El trmino de recoleccin afecta solamente a la funcin de mortalidad, ahora la funcin
D depende de t explcitamente; ms precisamente para el modelo (2.2.25)
D(t, x(t)) = (t)x(t) + H(t, x(t))
y para (2.2.26)
D(t, x(t k (t))) = (t)x(t) + H(t, x(t k (t)))
en este ltimo caso D depende a cada instante del pasado de la densidad retardada segn
k .
Con la notacin dada en la subseccin 1.5.2 del captulo 1,
x0 (t) = (t)x(t) + Pm
P
k=1 pk (t)f (xk (t)) = (2.2.27)
= (t)xt (0) + mk=1 pk (t)f (xt (k (t)).
14
Se puede formular el modelo generalizado de Nicholson (2.2.24) como un caso particular de una ecuacin
diferencial con retardo distribuido (1.5.16) [21].
Supongamos que los retardos k C([0, +), [0, +)) son acotados para todo k =
1, 2, , m y denotemos
:= max { max {k (t)}} (2.2.28)
1km t[0,T ]
y
CR+ := C([ , 0], R+ )
entonces el modelo (2.2.24) es de la forma x0 (t) = F (t, xt ) donde
F : [0, +) CR+ R
se define como
m
X
F (t, ) := (t)(0) + pk (t)f ((k (t))), (t, ) [0, +) CR+ .
k=1
Si adems , pk C([0, +), [0, +)) son funciones acotadas para todo k = 1, 2, , m
entonces F es globalmente Lipschitz (1.5.5) pues para alguna costante L > 0 se tiene
|F (t, ) F (t, )| = | (t)[(0) (0)] + m

P
Pm k=1 pk (t)[f ((k (t)) f ((k (t))]|
|(t)| |(0) (0)| + k=1 |pk (t)| |f ((k (t))) f ((k (t)))|
| | + L m
P
Pm
k=1 pk | | = ( + L k=1 pk ) | |
adems F es acuasi-acotada (1.5.7) pues si A R+ es un compacto y (t, ) [0, +) CA

entonces
(t)(0) + m
P
|F (t, )| = | P k=1 pk (t)f
Pm(( k (t)))|
(0) + 1e m p
k=1 k
M + 1
e p
k=1 k
:= K
donde M := sup(A). Finalmente F tambin satisface la condicin C (1.5.3) pues para cada
CR+ se tiene que F (t, ) es composicin de funciones continuas respecto de t.
Luego, de acuerdo al teorema (1.5.7), el problema de valores iniciales
0
x (t) = F (t, xt ), t (0, )
(2.2.29)
x0 = , CR+
tiene una nica solucin global. 15
Como lo observamos anteriormente, es de inters dar condiciones bajo las cuales exis-
tan soluciones T -peridicas poositivas. En este sentido se consideran que las funciones
15
Para el modelo (2.2.25) se tiene
m
X
F (t, ) = (t)(0) + pk (t)f ((k (t)) H(t, (0))
k=1
y para (2.2.26)
m
X
F (t, ) = (t)(0) + pk (t)f ((k (t)) H(t, (k (t)))
k=1
luego si se pide que H sea globalmente Lipschitz en su segunda variable se tiene la misma conclusin para
ambos modelos.
, pk , k , k C(R, [0, +)) son T -peridicas16 y que H C(RR, [0, +) es T -peridica

en su primera variable. En el artculo de J. Li et al [47] se ha considerado el modelo ge-
neralizado (2.2.24) obtenindose esencialmente dos resultados: en primer lugar, usando
el teorema de punto fijo de Krasnoselskii sobre un cono [90], se prueba la existencia de al
menos una solucin T -peridica positiva bajo la condicin
m
X
pk (t) > (t), t [0, T ]. (2.2.30)
k=1
En segundo lugar, tambin se prueba en [47] que si
x(s) = (s), C([ , 0], [0, )) (2.2.31)
entonces toda solucin postiva del problema de valores iniciales (2.2.24)-(2.2.31) tiende a
cero cuando t tiende a + asumiendo que
m
X
pk (t) (t), t [0, T ]. (2.2.32)
k=1
Por otro lado en el ao 2009 L. Berezansky formula el siguiente problema (4. open pro-
blems and conjectures, 6. [21]): dar condiciones suficientes para la existencia de solu-
cin T -peridica positiva para el modelo autno de Nicholson (2.2.18) con un trmino de
recoleccin lineal dependiente de un retardo arbitrario, esto es
x0 (t) = x(t) + px(t )eax(t ) hx(t ) (2.2.33)
siendo , p, a, h, y constantes positivas.
Este problema fue resuelto por fue resuelto por F. Long y M. Yang [49] usando teora del
grado de coincidencia; ms precisamente, se prueba existencia de solucin T -peridica
positiva de (2.2.33) asumiendo que = y
+ u+
p ea h+ 0
donde se usa la notacin
g + := sup{g(t)}, g := inf {g(t)}

tR tR
p(t)
para cualquier g continua y acotada definida sobre R y u(t) := a(t)(t)e .
En el ltimo captulo plantearemos el problema en un contexto ms general y extendere-
mos estos resultados; por un lado daremos condiciones suficientes para la existencia de
solucin T -peridica positiva para los modelos generalizados de Nicholson con recolec-
cin (2.2.25) y (2.2.26) y por otro una condicin necesaria para que haya al menos una
solucin T -peridica positiva. Asimismo veremos que bajo ciertas condiciones todas las
16
En este caso, todas las funciones del modelo pueden extenderse por periodicidad a R.
soluciones del problema de valores iniciales (2.2.25)-(2.2.31) estn definidas globalmente

y tienden a cero cuando t tiende a +.
Asimismo se ha considerado sistemas tipo Nicholson

0
x1 (t) = 1 x1 (t) + 1 x2 (t) + p1 x1 (t 1 )ea1 x1 (t1 )
(2.2.34)
x02 (t) = 2 x2 (t) + 2 x1 (t) + p2 x2 (t 2 )ea2 x1 (t2 )

donde i , i , pi , ai y son constantes positivas para i = 1, 2.

Este tipo de modelos se utiliz por ejemplo para describir la dinmica de las clulas B
de la leucemia linfoctica crnica (LLC-B). Berezanky L. et al [22] analizan la dinmica de
(2.2.34) con dato inicial xi (s) = i (s), s [, 0], i (0) > 0 donde i C([, 0], [0, +))
para i = 1, 2.
Qiyuan Zhou [91] considera el sistema (2.2.34) no autnomo con trminos lineales de
recoleccin, utilizado para modelar estrategias sustentables de explotacin de recursos
biolgicos, por ejemplo, en silvicultura 17 o pesca:
0
(2.2.35)

donde i , i , pi C(R, R+ ) y hi , i C(R, [0, +)) son T -peridicas para i = 1, 2. Usando

la misma notacin dada en (0.0.10), en [91], se prueba existencia de solucin T -peridica
positiva de (2.2.35) asumiendo, para i = 1, 2 que
RT
+ + pi 0 pi (t) dt
1 2 1 1 > 0, > 1, R T >1
i + hi (i (t) + hi (t) i (t)) dt
0
y que
Di
p
i e
e
h+
i 0
donde
2 1+

p 1 + p 2 +

D1
ln
1 2 1+ 2+ e +
1 2 1+ 2+ e
:=
2+ 1+
.
D2 p 1 + p 2 +
ln
1 2 1+ 2+ e +
1 2 1+ 2+ e
Finalmente sealamos que tambin se ha estudiado la existencia de soluciones casi peri-

dicas18 ([38],[39]) positivas para sistemas de tipo Nicholson; Wang et al [84] consideraron
el sistema
17
La silvicultura (del latn silva, selva, bosque, y cultura, cultivo) es el cuidado de los bosques, cerros o
montes y tambin, por extensin, la ciencia que trata de este cultivo; es decir, de las tcnicas que se apli-
can a las masas forestales para obtener de ellas una produccin continua y sostenible de bienes y servicios
demandados por la sociedad.
18
Una funcin u : R Rn continua se dice casi peridica en R si para todo > 0, el conjunto T (u, ) := {h :
||u(t+h)u(t)|| < para todo t R} es relativamente denso, es decir para cualquier > 0 existe l = l() > 0
tal que para todo intervalo Il de longitud de longitud l existe h = h() Il tal que |u(t + h) u(t)| < para
todo t R.

0
Pm
x1 (t) = 1 (t)x1 (t) + 1 (t)x2 (t) + k=1 p1k (t)f (x1,k1,k (t))

(2.2.36)
x0 (t) = 2 (t)x2 (t) + 2 (t)x1 (t) + Pm p2k (t)f (x2,k (t))

2 k=1 2,k
donde xi,ki,k (t) := xi,k (t i,k (t) para i = 1, 2 y k = 1, 2, , m y probaron, bajo cier-
tas condiciones, existencia y convergencia exponencial de las soluciones casi peridicas
positivas. Xingguo Liu et al. [88] estudiaron el sistema (2.2.36) pero con trminos de
recoleccin lineales dependientes de retardos arbitrarios

0
Pm
x1 (t) = 1 (t)x1 (t) + 1 (t)x2 (t) + k=1 p1,k (t)f (x1,k1,k (t)) h1 (t)x11 (t)

(2.2.37)
x0 (t) = 2 (t)x2 (t) + 2 (t)x1 (t) + Pm p2,k (t)f (x2,k (t)) h2 (t)x2 (t)

2 k=1 2,k 2
donde i , i , pi,k C(R, R+ ) y i , hi , i,k C(R, [0, +) son funciones casi peridicas
para i = 1, 2 y k = 1, 2, , m. Ms precisamente, se considera el valor inicial para el
sistema (2.2.37)
xt0 = = (1 , 2 ) C, i (0) > 0, i = 1, 2 (2.2.38)
donde
C := C([r1 , 0], R) C([r1 , 0], R)
y se asume que para i = 1, 2
n o
i+ > 0, i > 0, p
i,k > 0, ri := max max p+
i,k , i
+
>0
1km
y que existen constantes Ei1 e Ei2 tales que se verifican las siguientes condiciones
m + m +
+ E21 1 X pi,k + E11 1 X p2,k
Ei1 > Ei2 , 1 + < E11 , 2 + < E21 (2.2.39a)
1 e
k=1 1
2 e
k=1 2
m
1 E22 X p1,k h+
1 E11
+ + + f (E11 ) > E12 1 (2.2.39b)
1
k=1 1
1+
m
2 E12 X p2,k h+
2 E21
+ + + f (E21 ) + > E22 1 (2.2.39c)
2 k=1
2 2
Bajo estos supuestos en [88] se prueba que si x = x(t; , t0 ) es solucin de (2.2.37) con
C 0 := { C : Ei2 < i (t) < Ei1 , t [ri , 0], i = 1, 2}
entonces todo i = 1, 2
E12 < xi (t; t0 , ) < Ei2
para todo t [t0 , ()) y adems () = +. Ms an, usando el teorma de contraccin
de Banach se prueba que si adems de cumplirse (2.2.39a)-(2.2.39b) y (2.2.39c) se verifica
que
m m
( )
1+ X p1,k h+1 2+ X p2,k h+2
max + + , + + <1
1 k=1 1 e2 1 2 k=1 2 e2 2
entonces existe una nica solucin casi peridica del problema de valores iniciales (2.2.37)
-(2.2.38) en
B := { B : Ei2 i (t) Ei1 , t R}
donde
B := { C(R, R)2 : es casi peridica }
con la norma
||||B := sup{||(t)||}.
tR
Chapter 3
Resultados principales para el

modelo de electrodifusin abstracto.
En este captulo se considera la formulacin abstracta
y 00 (x) = f (x, y(x), y(0), y(1)) (3.0.1)
de la ecuacin (2.1.28) correspondiente al modelo de electrodifusin que hemos obtenido

en la subseccin 2.1.2 del captulo 2. Se estudia existencia de al menos una solucin del
modelo abstracto bajo diferentes condiciones de borde y diversas hiptesis impuestas a f
para el caso escalar y de un sistema.
En la seccin 3.1 se demuestran los principales resultados que hemos obtenido con relacin
al modelo abstracto de electrodifusin para el caso escalar. En particular en la subseccin
3.1.1 consideraremos el modelo en un intervalo acotado
00
y (x) = f (x, y(x), y(0), y(1)), x (0, 1)
(3.0.2)
y 0 (0) = y 0 (1) = 0
con f : [0, +) R3 R continua.

En primera instancia se adaptarn las condiciones asintticas de Landesman-Lazer para
el modelo abstracto de electrodifusin (3.0.2) y se probar el siguiente resultado de exis-
tencia de solucin.
Teorema 3.0.1. Landesman-Lazer. Caso Asinttico. Supongamos que f es continua, acotada
y existen los lmites
lim f (x, s + a, s, s + b) := f (x) (3.0.3)
s
uniformes para x [0, 1] y |a|, |b| kf k . Entonces, si se cumple alguna de las siguientes
condiciones: Z 1 Z 1

f (x) dx < 0 < f + (x) dx (3.0.4a)
0 0
Z 1 Z 1
f + (x) dx < 0 < f (x) dx (3.0.4b)
0 0
entonces el problema de electrodifusin abstracto (3.0.2) admite al menos una solucin
69
70 Electrodifusin
En segunda instancia probaremos un resultado ms fuerte que el dado en el teorema 3.0.1

en el sentido de que se debilitan las hiptesis relativas a la acotacin y a la existencia de
los lmites de la no linealidad.
Para ello comenzamos precisando la regin sobre la que se condiciona el crecimiento de
la no linealidad: para algunas constantes a 0 a determinar, consideramos los
compactos
Ks,r := Br (s) {s} Br (s), s [a, b]
Ks,r (x) := {x} Ks,r , x [0, 1]
y [ [
K[a,b],r := K([0, 1], [a, b], r) := Ks,r (x).
x[0,1] s[a,b]
Observamos que (x, y, y0 , y1 ) K[a,b],r sii x [0, 1], y0 [a, b] y y0 r y, y1 y0 + r.

Ahora definimos las funciones
a b a b
fsup , fsup , finf , finf : [0, 1] R
a (x) := sup
fsup b
(y,y0 ,y1 )Ka,r f (Ka,r (x)), fsup (x) := sup(y,y0 ,y1 )Kb,r f (Kb,r (x)), (3.0.5)
y
a (x) := inf
finf b
(y,y0 ,y1 )Ka,r f (Ka,r (x)), finf (x) := inf (y,y0 ,y1 )Kb,r f (Kb,r (x)), (3.0.6)
para todo x [0, 1] y consideraremos tres casos:
Primer Caso: Existe k L1 (0, 1)
y f (x, y, y0 , y1 ) k(x) (3.0.7)

R1
para todo (x, y, y1 , y0 ) K[a,b],r con r2 0 k(x) dx.
Segundo Caso:
|f (x, y, y0 , y1 )| r (3.0.8)
para todo (x, y, y1 , y0 ) K[a,b],r y alguna constante r > 0. 1
Tercer Caso: Existe k L1 (0, 1) tal que
f (x, y, y0 , y1 ) k(x) o f (x, y, y0 , y1 ) k(x) (3.0.9)

R1
para todo (x, y, y1 , y0 ) K[a,b],r con r kkkL1 + 0 k(x) dx.
1
Un caso particular ocurre cuando f crece a lo sumo linealmente, digamos
|f (x, y, y0 , y1 )| |y| + |y0 | + |y1 | +
con 2( + ) + < 1 entonces es suficiente tomar a = cr y b = cr para algunas constantes c > 1 y r > 0
suficientemente grandes.
Electrodifusin 71
Con las notaciones y definiciones anteriores tenemos el siguiente resultado

Teorema 3.0.2. Landesman-Lazer. Caso No Asinttico. Si f satisface alguna de las situa-
ciones dadas en los casos (3.0.7), (3.0.8) (3.0.9) y se verifica alguna de las sigientes desigualdades
Z 1 Z 1
a b
fsup (x) dx < 0 < finf (x) dx (3.0.10a)
0 0
Z 1 Z 1
b a
fsup (x) dx < 0 < finf (x) dx. (3.0.10b)
0 0
entonces el problema (3.0.2) admite al menos una solucin
Luego consideraremos, en la subseccin 3.1.2, el problema escalar de electrodifusin para
un intervalo no acotado
00
y (x) = f (x, y(x), y(0), y()), x (0, +),
(3.0.11)
y 0 (0) = v0 , y 0 () = 0,
donde
y() := lim y(x), y 0 () := lim y 0 (x).
x+ x+
Asumiendo que existen funciones suaves

, : [0, ) R
tal que
, 0 (0) v0 0 (0), () = () = C (3.0.12)
00 00
(x) f (x, (x), u, C), (x) f (x, (x), u, C) (3.0.13)
para cada x [0, ) y u [(0), (0)] y usando un argumento del tipo diagonal probare-
mos el siguiente
Teorema 3.0.3. Modelo Abstracto de Electrodifusin en la Semirecta. Sea y un par de
sub y super soluciones ordenadas segn se define en (3.0.12)-(3.0.13). Si existe L1 (x0 , +)
tal que
|f (x, y, u, C)| (x) (3.0.14)
para x x0 , (0) u (0) y (x) y (x) entonces el problema (3.0.11) admite al menos
una solucin y con y .
Finalmente, en la seccin 3.2 se trata el problema de electrodifusin correspondiente a
sistemas 00
y (x) = f (x, y(x), y(0), y(1)), x (0, 1)
(3.0.15)
y0 (0) = y0 (1) = 0
con f : [0, 1] R3n Rn continua.
Anlogamente a lo que se ha planteado para el caso escalar se probarn resultados de
existencia de solucin bajo condiciones del tipo asintticas y no asintticas; en primer
lugar, se adapta a nuestro problema un resultado de Nirenberg [61] que a su vez generaliza
las condicones de Landesman-Lazer. Ms precisamente, teniendo en cuenta la definicin
1.1.5 correspondiente al grado de una funcin definida sobre una esfera, se probar el
siguiente
72 Electrodifusin
Teorema 3.0.4. Nirenberg para el Modelo Abstracto de Electrodifusin Si f es acotada y

extisten los lmites
lim f (x, sv + A, sv, sv + B) := fv (x)
s+
uniformemente para x [0, 1], |v| = 1 y |A|, |B| kf k . tal que

R1
(N1): 0 fv (x) dx 6= 0 para cada v Sn1 := {v Rn : |v| = 1}.
R1
fv (x) dx
(N2): deg() 6= 0, con : Sn1 Sn1 definida por (v) := R01
| 0 fv (x) dx|
entonces el problema (3.0.15) admite al menos una solucin.
Para el caso no asinttico introducimos un supuesto que reemplaza la condicin de acotacin

para f y otro que elimina los lmites radiales. En primer lugar la condicin de acotacin
sobre f se reemplaza por una condicin ms general, a saber, que la imagen de la no linea-
lidad est contenida en un sector angular de Rn ; Ms especficamente, suponemos la
existencia de un vector c Rn y de hiperplanos linealmente independientes H1 , . . . , Hn
tal que
- n

[
Im(f ) Rn c + Hj (3.0.16)
j=1
Sin prdida de generalidad podemos asumir que Hj = {zj } , con {zj }1jn Sn1 una
base de Rn y
hf (x, y, v, w) c, zj i > 0
para cada 2 (x, y, v, w) [0, 1] R3n .
Por otro lado la hiptesis de la existencia del lmite uniforme puede ser removida si se
asume que la no linealidad f no rota muy rpido en el sentido que se detalla a continua-
cin. Para simplificar definimos para cada v Rn , el entorno Q(v) dado por
Q(v) := {w Rn : |hw v, zj i| < 2|hc, zj i| para 1 j n}
y consideramos la funcin : Rn Rn dada por

Z 1
(v) := f (x, v, v, v) dx. (3.0.17)
0
Observacin 3.0.1. Si f es acotada el entorno Q(v) puede ser reemplazado por Br (v) con
r = kf k .
Con estas notaciones y definiciones se tiene el siguiente resultado
Teorema 3.0.5. de la Cpsula Covexa para el Modelo Abstracto de Electrodifusin. Su-

pongamos que f satisface la condicin del sector angular (3.0.16). Si existe un dominio acotado
D Rn tal que
2
En este caso hc, zj i < 0 es una condicin necesaria para la existencia de solucin.
3.1. DEMOSTRACIONES DE LOS RESULTADOS PARA EL CASO ESCALAR 73
(H1):
0
/ co(f ([0, 1] Q(v) {v} Q(v))) (3.0.18)
para todo v D y
(H2): El grado de la funcin est bien definido y
degB (, D, 0) 6= 0
entonces (3.0.15) tiene al menos una solucin.

Observacin 3.0.2. La condicin (3.0.18) impide que f rote demasiado rpidamente alrede-
dor del cero y cerca del borde de D. Esta condicin puede ser interpretada como una
adaptacin de la condicin dada por Ruiz et al [72] para un problema peridico de se-
gundo orden. Notemos que las rpidas rotaciones son admisibles en el caso del resultado
principal dado en [5], aunque se debe dar en tal caso alguna condicin para la no lineali-
dad que compense ese efecto.
3.1 Demostraciones de los resultados para el caso escalar

3.1.1 Intervalo acotado.
Una manera de sortear la dificultad de la presencia en la no linealidad de los valores de
la solucin desconocida en el bordes del intervalo es considerar el siguiente sistema de
ecuaciones diferenciales ordinarias de primer orden:
0
y (x) = u(x)
0

u (x) = f (x, y(x), v(x), w(x))
(3.1.1)

v 0 (x) = 0
0
w (x) = 0
sujeto a las siguientes condiciones de borde

u(0) = u(1) = 0
v(0) = y(0) (3.1.2)
w(1) = y(1).

Observemos que el sistema (3.1.1)-(3.1.2) es equivalente al problema de electrodifusin

(3.0.2).
Planteo del problema en el marco de los mtodos de continuacin.
A los fines de aplicar la teora del grado de coincidencia consideramos el espacio de Ba-
nach
E := {X := (y, u, v, w) C([0, 1], R4 ) : X satisface (3.1.2)}
dotado de la norma kXk := max{kyk , kuk , kvk , kwk } y el subespacio E 1 := E
C 1 ([0, 1], R4 ) y los operadores
L : Dom(L) E E, (Dom(L) = E 1 ) y N : E E
74 Electrodifusin
definidos
L(X)(x) := (y 0 (x) u(x), u0 (x), v 0 (x), w0 (x)),

N (X)(x) := (0, f (x, y(x), v(x), w(x)), 0, 0).
El operador L es lineal y observamos que el problema es resonante pues X = (y, u, v, w)
ker(L) si y slo si X E 1 , u0 = v 0 = w0 = 0 e y 0 = u; luego teniendo en cuenta (3.1.2)
vemos que u = 0 y a posteriori y(0) = y = v = w; en definitiva el ker(L), es el espacio de
las funciones generadas por el vector V := (1, 0, 1, 1) E, es decir
ker(L) = {s V : s R} =< V > . (3.1.3)
Por otro lado Y = (, , , ) Im(L) si y slo si existe X = (y, u, v, w) Dom(L) E

tal que 0
y (x) = u(x) + (x)
0

u (x) = (x)
(3.1.4)

v 0 (x) = (x)
0
w (x) = (x)
si y slo si = 0. Luego
Y = (, , , ) Im(L) = 0. (3.1.5)
Claramente la imagen de L es un subespacio cerrado de E y concluimos que L es un

operador de Fredholm.
Por otro lado para ver que L tiene ndice cero observamos que si Y1 = (1 , 1 , 1 , 1 )
e Y2 = (2 , 2 , 2 , 2 ) entonces [Y1 ] = [Y2 ] en coker(L) si y slo si 1 = 2 . Luego
dado Y = (, , , ) consideramos = c y tomamos como representante de [Y] al vector
Yc := (0, c, 0, 0) E de manera que, teniendo en cuenta (3.1.3) y (3.1.5) 1 = dim(ker(L)) =
dim(coker(L)) y as L es de ndice cero .
A los efectos de aplicar a este problema el corolario 1.2.6 del teorema de continuacin 1.2.5
definimos los proyectores continuos P, Q : E E
Q(Y) = (0, , 0, 0)
P (X) = (y(0), 0, y(0), y(0) = y(0) V

y el isomorfismo J : Im(Q) ker(L) definido
J(0, c, 0, 0) = (c, 0, c, c).
Claramente se tiene
Im(P ) = ker(L) y Im(L) = ker(Q).
Por otro lado podemos caracterizar la inversa de LP = L|ker(P )Dom(L)
KP : Im(L) ker(P ) Dom(L)

del siguiente modo: dado Y = (, , , ) con = 0 consideramos X = (y, u, v, w)

Dom(L) con P (X) = 0 la nica solucin del sistema (3.1.4) y definimos X = KP (Y). Ms
precisamente, integrando el sistema obtenemos
Rx
y(x) = R0 (u(s) + (s))ds
u(x) = x (s)ds

R 0x (3.1.6)
v(x) = 0 (s)ds
x 1 1
R R R
w(x) = y(1) + 1 (s)ds = 0 (u(s) + (s))ds x (s)ds,

es decir
R X = KP (Y) = KP (, , , ) =
x Rs Rx Rx R1 Rs R1
= 0 0 (t)dt + (s) ds, 0 (s)ds, 0 (s)ds, 0 0 (t)dt + (s) ds x (s)ds
(3.1.7)
En particular si Y = N (X) tenemos = = = 0 y = f (, y(), v(), w()) de manera
que Z Z s s
(t)dt = f (t, y(t), v(t), w(t))dt,
0 0
Z x Z s Z x Z s
(t)dt + (s) ds = f (t, y(t), v(t), w(t))dt ds
0 0 0 0
y
Z x Z 1
(s)ds = (s)ds = 0
0 x
Para simplificar la notacin escribimos

Z x
TX (x) := f (s, y(s), v(s), w(s)) ds
0
y observando que TX (1) = 0 y Q(N (X)) = 0 podemos escribir la inversa generalizada

restringida a la imagen de N , KP,Q |Im(N ) , de la siguiente forma:
PR (I Q)(N (X)) = KP (N (X) RQ(N (X)))

KP,Q (N (X)) := K = KP (N (X)) =
(3.1.8)
x 1
= 0 TX (s) ds, TX (x) xTX (1), 0, 0 TX (s) ds
Por otro lado de acuerdo a las definiciones de P , Q y J
(y(0) + TX (1)) V = P (X) + J(Q(N (X))).
Ahora para [0, 1] consideramos la familia uniparamtrica de problemas

0
y (x) = u(x)
0

u (x) = f (x, y(x), y(0), y(1))
(3.1.9)

v 0 (x) = 0
0
w (x) = 0
es decir
L(X) = N (, X), X Dom(L) (3.1.10)
76 Electrodifusin
con N : [0, 1] E E definido N (, X)(x) := N (X)(x).

Finalmente, de acuerdo al desarrollo anterior, consideramos la homotopa F : [0, 1]E
E dada por
F(, X) = X P (X) J(Q(N (X))) KP,Q (N (X)) =

Rx R1 (3.1.11)
= X (y(0) + TX (1)) V 0 TX (s) ds, TX (x) xTX (1), 0, 0 TX (s) ds
A los efectos de simplificar ms la notacin definimos S, C : E E
C(X) := (y(0) + TX (1)) V = (y(0) + TX (1), 0, y(0) + TX (1), y(0) + TX (1))
y
Z x Z 1
S(X) := TX (s) ds, TX (x) xTX (1), 0, TX (s) ds
0 0
de manera que la homotopa se escribe
F (X) := F(, X) = X C(X) S(X). (3.1.12)
Luego, de acuerdo a la equivalencia (1.2.7) tenemos la siguiente equivalencia

Lema 3.1.1. Para cada 0 < 1, X Dom(L) satisface (3.1.10) si y slo si
F (X) = 0.
Por otro lado si definimos K (X) := K(, X) = C(X) + S(X) vemos que F = I K es
una perturbacin compacta de la identidad para cada [0, 1]. Adems
Im(K0 ) = Im(C) ker(L)
de manera que K0 es de rango finito, lo cual implica que si E es un dominio acotado

tal que F0 no se anula sobre ker(L), entonces de acuerdo a (1.1.1)
degLS (F0 , , 0) = degB (F0 |ker(L) , ker(L), 0).
Ahora bien ker(L) = {s V : s I} (podemos asumir que es convexo) para algn

conjunto abierto y acotado I = (a, b) R, a < b y
F0 (s V) = s V C(s V) =
R1 R1 R1
= (s, 0, s, s) s + 0 f (x, s, s, s), 0, s + 0 f (x, s, s, s), s + 0 f (x, s, s, s) = (3.1.13)
= TsV (1) V.
Luego degLS (F0 , , 0) coincide con el grado de Brouwer de la funcin : I R dada por
Z 1
(s) := TsV (1) = f (x, s, s, s) dx.
0
Finalmente de acuerdo al corolario 1.2.6 se tiene la siguiente versin del teorema de con-
tinuacin generalizado adaptada a nuestro problema
Teorema 3.1.2. de Continuacin. Con las notaciones previas, si se satisfacen las hiptesis:
(H1): La familia uniparamtrica de problemas (3.1.9) no tiene soluciones sobre para cualquier
(0, 1) y
(H2): La funcin : I R definida

Z 1
(s) := TsV (1) = f (x, s, s, s) dx
0
satisface que
(a)(b) < 0
entonces el problema (3.0.2) tiene al menos una solucin clsica X .

Probaremos solamente el resultado suponiendo que se cumple la condicin de Landes-
man Lazer (3.0.4a) pues para la condicin (3.0.4b) se procede de manera anloga.
A los efectos de aplicar el teorema 3.1.2 de continuacin, observamos en primer lugar que
si
y 00 (x) = f (x, y(x), y(0), y(1)), y 0 (0) = y 0 (1) = 0
para algn (0, 1), entonces
ky y(0)k ky 0 k ky 00 k < r := kf k . (3.1.14)
Ahora consideremos el conjunto
:= {X E : ky vk , kw vk , kuk < r, kvk < R}
con R > 0 una constante a determinar. A partir de (3.1.14) se deduce que si X = (y, u, v, w)
es solucin (3.1.9) para algn (0, 1), entonces ky vk , kw vk , kuk < r,
|y(0)| = R.
Por otro lado Z 1
f (x, y(0) + a(x), y(0), y(0) + b) dx = 0 (3.1.15)
0
donde
a := y y(0) = y v b := y(1) y(0) = w v.
Luego si y(0) entonces
f (x, y(0) + a(x), y(0), y(0) + b) f (x)
uniformemente para x [0, 1], |a| = |y v| < r |b| = |w v| < r y usando el teorema de la
convergencia dominada obtenemos, de acuerdo a la hiptesis (3.0.4a), una contradiccin.
De lo anterior se deduce que si R 1 entonces el sistema (3.1.9) no tiene soluciones sobre
para (0, 1).
78 Electrodifusin
Finalmente observamos que si s entonces

Z 1 Z 1
(s) = f (x, s, s, s) dx f (x) dx
0 0
de manera que para J = (R, R) con R suficientemente grande se satisfacen las hiptesis
(H1) y (H2) del teorema de continuacin 3.1.2 y de ah el resultado .
Demostracin del teorema 3.0.2

Aplicaremos el teorema de continuacin 3.1.2 al conjunto
:= {X E : ky vk , kw vk < r, kuk < r, a < v < b},
donde la constante r > 0 es la especificada segn el caso (3.0.7), (3.0.8) (3.0.9) y la cons-
tante r > 0 es a determinar.
Supongamos que X es una solucin (3.1.9) para algn (0, 1) y consideremos
cada uno de los casos en cuestin; veremos que en cualquier caso X = (y, u, v, w) es
una solucin (3.1.9) sii v = a v = b donde v y(0).
R1
1. En el primer caso (3.0.7) usando el hecho de que 0 f (x, y(x), y(0), y(1)) dx = 0 e
integrando por partes, obtenemos:
R1 R1
0y 0 (x)2 dx = 0 y 00 (x)(y(x) y(0)) dx =
R1 R1 (3.1.16)
= 0 y(x)f (x, y(x), y(0), y(1)) dx 0 k(x) dx < r2
de donde ||y 0 ||L2 < r.
Asimismo usando Cauchy-Schwarz

1
Z
y (x) dx ||y 0 ||L2 < r
0

|y(x) y(0)| =
0
lo cual muestra que

||y v|| < r y ||w v|| < r.
Por otro lado deducimos que
||u|| = ky 0 k ky 00 k < max |f (x, y, y0 , y1 )|

(x,y,y0 ,y1 )K[a,b],r
de manera que si elegimos r := max(x,y,y0 ,y1 )K[a,b],r |f (x, y, y0 , y1 )| se tiene tambin

que
||u|| < r.
2. En el segundo caso (3.0.8) obtenemos en forma directa que
|y 00 (x)| = |f (x, y(x), y(0), y(1))| < r,

de manera que
ky vk < r y ||w v|| < r
y tomando r := r tambin
kuk = ky 0 k < r
3. En el tercer caso (3.0.9), si por ejemplo se cumple la primera condicin, obtenemos
|y 00 (x)| [f (x, y(x), y(0), y(1)) + k(x)] + |k(x)|

de manera que
||y v|| < r y ||w v|| < r.
Asimismo Z 1
ky 0 k ky 00 kL1 k(x) dx + kkkL1 < r.
0
luego eligiendo r := r tenemos tambin
kuk = ky 0 k < r
As vemos que en todos los casos si la solucin est en el borde entonces y(0) = a
y(0) = b.
Ahora bien, si por ejemplo se tiene el caso en que y(0) = a y se cumple (3.0.10a) entonces
obtenemos la siguiente contradiccin
Z 1 Z 1
a
0= f (x, y(x), y(0), y(1)) dx fsup (x) dx < 0.
0 0
Los otros casos se tratan de manera similar.

Finalmente observamos que si se cumple (3.0.10a) entonces
Z 1 Z 1
a
(a) = f (x, a, a, a) dx fsup (x) dx > 0
0 0
y
Z 1 Z 1
b
(b) = f (x, b, b, b) dx finf (x) dx < 0
0 0
de manera que la hiptesis (H2) del teorema de continuacin 3.1.2 es satisfecha. La misma
conclusin se tiene si se cumple la segunda condicin de Landesman-Lazer no asinttica
(3.0.10b) .
Observacin 3.1.1. Es fcil verificar que el teorema 3.0.1 es una consecuencia del teorema
3.0.2, para ello basta tener en cuenta que el lmite (3.0.3) es uniforme.
80 Electrodifusin
Observacin 3.1.2. En el problema original de electrodifusin (3.0.2), la no linealidad no es

acotada
lim f (x, s, s, s) := .
s
En una primera impresin podramos suponer que la condicin (3.0.10a) es satisfecha

bajo el supuesto de que f satisface el primer caso (3.0.7) para alguna eleccin adecuada
de constantes positivas a < b y r. Pero esto no es posible pues para s suficientemente
grande el signo de f cambia en pequeos entornos del punto (x, s, s, s).
No obstante el resultado dado en [16] indicara que es posible aplicar el teorema 3.0.5
directamente sobre el conjunto := {X E : 0 < y, v, w < R, kuk < r} para algu-
nas constantes r, R > 0. En ese caso la segunda condicin del teorema 3.0.5 se satisface
trivialmente y la dificultad reside en establecer las cotas apriori para las soluciones del
problema (3.1.9) con y > 0.
Algunos Ejemplos.
En esta seccin se dan algunos ejemplos para los cuales se cumplen las diferentes hiptesis
establecidas en los casos (3.0.7), (3.0.8) y (3.0.9).
Para simplificar consideramos una no linealidad desacoplada respecto de los valores en
la frontera, por ejemplo
f = p(x) + h(y) + (y0 , y1 ),
donde p, h y son continuas.
R1
Sin prdida de generalidad se asume que 0 p(t) dt = 0 de manera que (3.0.10a) y (3.0.10b)
se traducen en las siguientes condiciones
hasup + asup < 0 < hbinf + binf (3.1.17)
hbsup + bsup < 0 < hainf + ainf , (3.1.18)

donde
hasup := sup h(y), asup := sup (a, y1 ),
arya+r ary1 a+r
y hbsup , bsup y ha,b a,b

inf , inf estn definidas de manera anloga.
Teniendo en mente un ejemplo tpico que satisface las condiciones clsicas de Landesman-
Lazer segn el teorema 1.3.1 podemos elegir para el caso de la no linealidad del teorema
(3.0.2) las funciones
h(y) = arctan(y)
y tal que (y0 , y1 ) 0 cuando |(y0 , y1 )| .
Una situacin ms general, que se verifica fcilmente, es considerada en los siguientes
ejemplos que corresponden a los respectivos casos (3.0.7), (3.0.8) y (3.0.9) del teorema
3.0.2
1.
h(y) = |y| y, |(y0 , y1 )| A + B|(y0 , y1 )|,
para algunas constantes A, B, > 0
2.
y
h(y) = , acotada ,
|y|
con 0 < < 1.
3.
h(y) = ey , acotada por arriba ,
lim inf (y0 , y1 ) > 0,

y0 ,y1
y
(y0 , y1 )
lim =0
y0 ,y1 + |(y0 , y1 )|
para alguna > 0.
3.1.2 Intervalo no acotado.
Como hemos visto en la seccin anterior, para el caso de un intervalo acotado el operador
Ly := y 00 resulta ser de Fredholm y de ndice cero, de forma tal que la teora del grado
de coincidencia puede ser utilizada. Este no es el caso que se presenta con el intervalo no
acotado pues el operador L no resulta ser de Fredholm aunque el problema es resonante. En
este sentido, un mtodo alternativo al de la teora de grado viene dado por el mtodo de
las sub y super soluciones ordenadas aunque ste no se aplica en forma directa a nuestro
problema debido a la dependencia de la no linealidad respecto de los valores en el borde;
no obstante podemos adaptarlo.
La estrategia es la siguiente; en primer lugar se establece un resultado de existencia de
solucin para un problema de condiciones de borde mixto sobre un intervalo acotado
[0, N ]; posteriormente se aplica un argumento de tipo diagonal con el objeto de obtener
una sucesin de funciones {yN } que converja a una solucin del problema (3.0.11).
Condicin Mixta para un Intervalo Acotado.

En primer lugar, vamos a probar existencia de solucin del problema
y 00 (x) = f (x, y(x), y(0), C)

x (0, T ),
(3.1.19)
y 0 (0) = v0 , y(T ) = yT ,
para algunas constantes arbitrarias yT , C R and T > 0, bajo el supuesto de la existencia
de un par de sub y super soluciones ordenadas de (3.1.19). Ms precisamente, asumimos
que existen funciones suaves que satisfcen
00 (x) f (x, (x), u, C), 00 (x) f (x, (x), u, C) (3.1.20)

82 Electrodifusin
para 0 x T y (0) u (0), y
0 (0) v0 0 (0), (T ) yT (T ). (3.1.21)
El siguiente teorema difiere muy poco del teorema 1.4.1 formulado en la seccin 1.4 del
captulo 1, para un problema con condiciones separadas.
Teorema 3.1.3. Sea funciones que satisfacen (3.1.20) y (3.1.21). Entonces el problema
(3.1.19) admite al menos una solucin y, con y .
Demostracin. El esquema es esencialmente el mismo que hemos dado para el teorema

1.4.1 con a1 = b2 = 0, a2 = 1, b1 = 1, A = v0 , B = yT y [a, b] = [0, T ]. Para > 0 y cada
w C([0, T ]) se considera el problema lineal modificado
y 00 (x) y(x) = f (x, P (x, w(x)), P (0, w(0)), C) P (x, w(x))

(3.1.22)
y 0 (0) = v0 , y(T ) = yT
donde P : [0, T ] R R es la funcin de truncamiento definda en (1.4.5).

Luego usando el teorema de punto fijo de Schauder 1.1.3 se prueba existencia de solu-
cin para 3.1.22 y finalmente, teniendo en cuenta la definicin de sub y super solucin
ordenadas (3.1.20) y (3.1.21), se verifica que cualquier solucin satisface y .
Un argumento diagonal
En esta subseccin adaptamos el argumento del tipo diagonal usado en la demostracin
del teorema 1.4.6 para dar una prueba del teorema 3.0.3. Observemos que ese argumento
no se aplica de forma directa a nuestro problema y sto por dos razones: en primer lugar
se trata de un problema con condiciones de Neumann en un dominio no acotado y en
segundo lugar ahora la no linealidad depende de los datos de la solucin desconocida en
los bordes.

De acuerdo al teorema 3.1.3, para cada N N podemos considerar una solucin yN del
problema
00
yN (x) = f (x, yN (x), yN (0), L) x (0, N ),
0 (N )+(N ) (3.1.23)
yN (0) = v0 , yN (N ) = 2 ,
tal que |[0,N ] yN |[0,N ] .
Para M fijo, observamos en primer lugar que si N M entonces

00 |
||yN [0,M ] || = supx[0,M ] {|f (x, yN (x), yN (0), L)|} C2
para alguna constante positiva C2 independiente de N . Ms an como
Z x
0 00
yN (x) = v0 + yN (s) ds
0
0 |
vemos que ||yN [0,M ] || |v0 | + M C2 := C1 y de
Z M
0
yN (x) = yN (M ) yN (s) ds
x
concluimos que ||yN |[0,M ] || C0 para alguna constante C0 que slo depende de M .
Luego, por el teorema de Arzel-Ascoli se deduce que existe una subsucesin de (yN )N M
que converge sobre [0, M ] segn la norma C 1 .
Ahora procedemos de la siguiente manera: para M = 1, elegimos una subsucesin, que

seguimos notndola {yN } que converge en C 1 ([0, 1]) a alguna funcin y 1 .
Repitiendo el argumento para M = 2, 3, . . ., podemos asumir que yN |[0,M ] converge en el

sentido de C 1 a alguna funcin y M : [0, M ] R.
De la construccin anterior se sigue que y M +1 |[0,M ] = y M y esto implica que la funcin

y : [0, +) R dada por y(x) = y M (x) si 0 x M est bien definida. Ms an
y 0 (0) = v0 , y yN
00 converge uniformemente en [0, M ] a f (, y(), y(0), C).
Ahora bien, para cualquier funcin test C0 (0, M ) obtenemos:
Z M Z M
00
f (x, y, y(0), L) (x) dx = lim yN (x) (x) dx
0 N 0
Z M Z M
00
= lim yN (x) (x) dx = y(x) 00 (x) dx,
N 0 0
de manera que
y 00 (x) = f (x, y(x), y(0), L)
en [0, M ], en sentido dbil. Ms an, como y es de clase C 2 deducimos que y es una

solucin clsica de la ecuacin.
Finamente vemos que se verifican las condiciones de borde. Por un lado es claro que
y() = L y para verificar la condicin en + usamos la hiptesis (3.0.14) referida al
control de la no linealidad en la semirecta. Ms precisamente para cada N x0 , por
Lagrange, podemos elegir un punto xN (N, N +1) tal que y 0 (xN ) = y(N +1)y(N ) 0;
entonces para x > xN tenemos:
x x +
Z Z Z
0 0

|y (x) y (xN )| = f (t, y(t), y(0), L) dt (t) dt (t) dt.
xN xN xN
Como es integrable concluimos que y 0 (x) 0 cuando x y esto completa la prueba.

84 Electrodifusin
3.2 Demostraciones de los resultados para el caso de sistemas.

Procedemos de manera completamente anloga a lo que se hizo en la subseccin 3.1.1; en
primer lugar observamos que el problema (3.0.15) es equivalente al sistema 4n-dimensional
de primer orden 0
y (x) = u(x)
0

u (x) = f (x, y(x), v(x), w(x))
(3.2.1)
v0 (x) = 0

0
w (x) = 0,
con las siguiente condiciones de borde:

u(0) = u(1) = 0
y(0) = v(0) (3.2.2)
y(1) = w(1).

y planteamos el problema en un contexto funcional.

Consideramos el espacio de Banach
E := {X := (y, u, v, w) C([0, 1], Rn )4 : X satisface (3.2.2)},
dotado de la norma
kXk := max{kyk , kuk , kvk , kwk }
y E1 := C 1 ([0, 1], Rn )4 E.
Luego definimos los operadores L : E1 E y N : E E
L(y, u, v, w) := (y0 u, u0 , v0 , w0 ), N (y, u, v, w) = (0, f (x, y(x), v(x), w(x)), 0, 0).
Fcilmente se verifica que el ncleo de L es un subespacio no trivial n-dimensional gene-

rado por los vectores Xc = (c, 0, c, c), donde c Rn y adems Y = (, , , ) Im(L)
si y slo si = 0. En este caso tenemos que n = dim(ker(L)) = dim(coker(L)). Por otro
lado definimos los proyectores continuos P, Q : E E
Q(Y) = (0, , 0, 0)
P (X) = (y(0), 0, y(0), y(0))

de forma tal que Im(P ) = ker(L) y Im(L) = ker(Q). Luego L es un operador de Fredholm
de ndice cero y adems la inversa generalizada se obtiene de la misma forma.
Por otro lado consideramos el isomorfismo J : Im(Q) ker(L) definido
J(0, c, 0, 0) = (c, 0, c, c)
y finalmente se tiene una homotopa anloga para el caso de sistema; ms precisamente,

con la notacin Z x
FX (x) := f (s, y(s), v(s), w(s)) ds
0
3.2. DEMOSTRACIONES DE LOS RESULTADOS PARA EL CASO DE SISTEMAS. 85
para X E y los operadores S, C : E E

Z x Z 1
S(X)(x) := FX (s) ds, FX (x) xFX (1), 0, FX (s) ds
0 0
y
C(X) := (y(0) + FX (1), 0, y(0) + FX (1), y(0) + FX (1))
se define F : [0, 1] E E del siguiente modo:
F (X) = F(, X); = X C(X) S(X). (3.2.3)
Si ponemos K : [0, 1] E E
K (X) = K(, X) := C(X) + S(X) (3.2.4)
vemos que F (X) = X K (X) es una perturbacin compacta de la identidad para todo
[0, 1].
Ahora consideramos la familia uniparamtrica
0
y (x) = u(x)
0

u (x) = f (x, y(x), y(0), y(1))
(3.2.5)

v0 (x) = 0
0
w (x) = 0
y segn (1.2.7) se tiene la siguiente equivalencia
Lema 3.2.1. Para 0 < 1 fijo, X E es solucin del sistema (3.2.5) si y slo si F (X) = 0.
Por otro lado K0 es de rango finito, ms precisamente Im(K0 ) = Im(C) ker(L) y para
algn conjunto abierto y acotado G Rn
ker(L) = {X = (v, 0, v, v) E : v G Rn }.
Luego si definimos : G Rn como

Z 1
(v) := T(v,0,v,v) (1) = f (x, v, v, v) dx
0
tenemos
F0 |ker(L) (v, 0, v, v) = (v, 0, v, v) C(v, 0, v, v) = ((v), 0, (v), (v)). (3.2.6)
Finalmente si E es un conjunto abierto y acotado tal que F no se anula sobre para

[0, 1], entonces usando (1.1.1), la observacin (1.2.6) y la invariancia bajo homotopa
del grado de Leray-Schauder
degLS (F , , 0) = degB (F0 |Ker(L) , Ker(L), 0) = (1)n degB (, G , 0)
y de acuerdo al corolario (1.2.6) tenemos el siguiente teorema de continuacin:

86 Electrodifusin
Teorema 3.2.2. de Continuacin. Sea E un conjunto abierto y acotado y G Rn como

antes. Si se satisfacen las siguientes hiptesis
(H1): La familia uniparamtrica de problemas (3.2.5) no tiene soluciones sobre para (0, 1)
y
(H2): Para todo v G se satisface (v) 6= 0 y
deg(, G , 0) 6= 0
entonces el problema (3.0.15) tiene al menos una solucin X .
3.2.1 Una generalizacin de la condicin de Nirenberg.

En primer lugar se demostrar que las soluciones del sistema (3.2.5) para 0 < < 1 son
acotadas. Supongamos que no, esto es, existe una sucesin (Xn )n1 E tal que cada
trmino Xn satisface (3.2.5) con 0 < n < 1 y kXn k . Entonces por un lado tenemos
que
yn00 (x) = n f (x, yn (x), yn (0), yn (1)), yn0 (0) = yn0 (1) = 0
y
kyn yn (0)k kyn0 k kyn00 k kf k
de donde deducimos que un , yn vn y wn vn estn acotadas y |vn | = |yn (0)| . Por

otro lado
Z 1
f (x, yn (x), yn (0), yn (1)) dx = yn0 (1) yn0 (0) = 0. (3.2.7)
0
vn
Finalmente pasando a una subsucesin si fuese necesario podemos suponer que |vn |
v Sn1 y usando el teorema de la convergencia dominada concluimos que:
Z 1 Z 1
f (x, yn (x), yn (0), yn (1))dx fv (x) dx 6= 0,
0 0
lo cual es absurdo.
Por otro lado vemos que si R 1 entonces deg() = deg(, BR (0), 0) y tomando :=
BR (0) E se sigue el resultado .
3.2.2 Adaptacin de la condicin de la cpsula convexa.

En esta subseccin se adaptar, a nuestro caso, la estategia utilizada en la demostracin
del teorema 1.3.4

Para simplificar la notacin escribimos para todo j = 1, . . . , n:
xj := hx, zj i
mj := 2|cj |
para todo x Rn .
Nuevamente, la estrategia de la demostracin consiste en seguir los lineamientos del teo-
rema de continuacin 3.2.2 sobre el conjunto
:= {(y, u, v, w) E : v D, kyj vj k , kwj vj k , kuj k < mj j}.
Observamos que si X = (y, u, v, w) es una solucin arbitraria del problema (3.2.5) para
algn (0, 1), entonces
y00 (x) = f (x, y(x), y(0), y(1)), y0 (0) = y0 (1) = 0
y en consecuencia
yj00 (x) = hf (x, y(x), y(0), y(1)), zj i = hf (x, y(x), y(0), y(1)) c, zj i + cj .
Esto implica que
|yj00 (x)| < hf (x, y(x), y(0), y(1)) c, zj i + |cj |.
Ahora, teniendo en cuenta la condicin de Neumann si integramos ambos miembros ob-

tenemos R 1 00
0 |yj (x)|dx < 2|cj | = mj ,
para cada 1 j n. Ms an, como yj0 (0) = hzj , u(0)i = 0 se tiene

Z x
|yj0 (x)| |yj00 (t)|dt < mj ,
0
esto es
kyj0 k < mj .
Asimismo Z x
|yj (x) yj (0)| |yj0 (t)|dt ky 0 k < mj
0
para cada x [0, 1] y en particular
|yj (1) yj (0)| kyj yj (0)k < mj
para cada 1 j n.
En sntesis kyj vj k , kwj vj k , kuj k < mj de manera que si X entonces v D
y
88 Electrodifusin
(x, y(x), y(0), y(1)) I Q(v) {v} Q(v)

para cada x [0, 1].
Se sigue que f ([0, 1], y(x), y(0), y(1)) es un compacto de f ([0, 1] Q(v) {v} Q(v)).
De (3.0.18) y de la versin geomtrica del teorema de Hahn-Banach, vemos que existe un
vector m = m(v) tal que
hm , f (x, y(x), y(0), y(1))i > 0
para todo x [0, 1] y obtenemos la siguiente contradiccin

Z 1 Z 1
0< hm, f (x, y(x), y(0), y(1))i dx = m, f (x, y(x), y(0), y(1)) dx = 0.
0 0
Finalmente si tomamos G = D se puede aplicar el teorema de continuacin 3.2.2 y de

ah el resultado.
Algunos Ejemplos y Obsevaciones Finales.

El siguiente ejemplo motivado por el trabajo de Ortega [62] muestra que el teorema 3.0.5
no es necesariamente ms fuerte que el teorema 3.0.4. Consideremos el caso n = 2, iden-
tificando R2 C y la no linealidad f : [0, 1] C3 C definida por
eix z
f (x, z, z0 , z1 ) := p + (z0 , z1 )
|z|2 + 1
con R y lim (z0 , z1 ) = , || < 1. En este caso los lmites radiales

|z0 |,|z1 |
fz (x) = lim f (x, sz + A, sz, sz + B) = eix z +

s+
son uniformes para |z| = 1, |A|, |B| 1 + kk y las condiciones del teorema 3.0.4 se
satisfacen si 6= 2k para k Z\{0}. Pero las hiptesis del teorema 3.0.5 no se satisfacen
si por ejemplo tomamos || > y kk pequeo.
Tambin observamos que, en una amplia gama de casos, el teorema 3.0.5 mejora el re-
sultado dado en el teorema 3.0.4. A tal efecto se establece el siguiente resultado que es
una clara extensin del teorema 3.0.5 cuya demostracin es anloga y en consecuencia se
omite.
Teorema 3.2.3. Supongamos que la condicin del sector angular (3.0.16) se cumple y adems
exsite un dominio acotado D Rn tal que se satisface:
R1
(H1) Para cada v D existe una funcin continua : [0, 1] Rn tal que 0 (x) dx = 0 y
0
/ co(f ([0, 1] Q(v) {v} Q(v))) (3.2.8)
donde f (x, y, v, w) := f (x, y, v, w) (x).

Entonces (3.0.15) tiene al menos una solucin.
Es fcil verificar, en el caso particular en que la no linealidad sea de la forma f (x, y, v, w) =

(x) + g(y, v, w), que el precedente resultado es ms fuerte que el dado por el teorema
3.0.4.
En efecto, en primer lugar observamos que la funcin v 7 gv is continua; dado > 0
fijamos s de forma tal que |g(sv, sv, sv) gv | < 4 para cada v Sn1 ; luego

|gw gv | |g(sw, sw, sw) g(sv, sv, sv)| + <
2
si w est suficientemente cerca de v. En particular esto implica que |gv | c para cada
v Sn1 , con c > 0 una constante.
Ahora fijamos s0 tal que |g(sv + A, sv, sv + B) gv | < para cada v Sn1 , s s0 y
|A|, |B| kf k . Luego tomando D = BR (0) con R > s0 , si w = Rv D y |A|, |B| <
kf k se obtine:
hg(w + A, w, w + B), gv i |gv |2 |g(w + A, w, w + B) gv | > 0.
Esto ltimo implica que la cpsula convexa de g(Bkf k (w) {w} Bkf k (w)) queda
de un lado del hiperplano {gv } y, en particular, no contiene al vector nulo. Teniendo
presente la observacin 3.0.1, se concluye que se satisface (3.0.18).
Observacin 3.2.1. En todos los resultados precedentes es claro que el rol de los valores
en el borde, y(0) y y(1), pueden ser intercambiados. Por ejemplo en (3.0.18) podramos
considerar
0
/ co(f ([0, 1] Q(v) Q(v) {v})).
Chapter 4
Resultados principales para el

modelo generalizado de Nicholson.
Este captulo est organizado de la siguiente manera. En la seccin 4.1 se darn condi-
ciones suficientes para la existencia de soluciones T -peridicas positivas para el modelo
generalizado de Nicholson con un trmino de recoleccin y como se ha hecho para el mo-
delo abstracto de electrodifusin, trataremos en primera instancia el caso escalar y luego
el de sistema.
En la subseccin 4.1.1 consideraremos para el caso escalar dos variantes del modelo gene-
ralizado de Nicholson con un trmino de recoleccin no lineal, a saber, los modelos (2.2.25)
y (2.2.26) que hemos introducido en la subseccin 2.2.4 del captulo 2 y que recordaremos
aqu; ms precisamente, en primera instancia se considera el caso correspondiente al tr-
mino no lineal de recoleccin1 H : R (0, +) (0, +) contnuo y T -peridica en su
primera variable, independiente de los retardos dados
Pm
x0 (t) = (t)x(t) + k=1 pk (t)f (xk (t)) H(t, x(t)) (4.0.1)
y posteriormente el caso correspondiente al trmino de recoleccin no lineal dependiente

de uno de los retardos estimados de la poblacin
Pm
x0 (t) = (t)x(t) + k=1 pk (t)f (xk (t)) H(t, xk (t)) (4.0.2)
siendo , pk , k C(R, R+ ) funciones T -perdicas para todo k = 1, 2, 3, m, k = k para

algn k {1, 2, 3, , m} y f : R R, f (x) := xex .
Observacin 4.0.2. Para simplificar, en lo que sigue, se usar la siguiente notacin:
x := max {x(t)}, x := min {x(t)}. (4.0.3)

t[0,T ] t[0,T ]
Se probarn los siguientes teoremas:
1
Por continuidad podemos definir H(t, 0) = 0 para todo t R.
91
92 Nicholson
H(t, x)
Teorema 4.0.4. Si Hsup (t) := lim sup es uniforme en t y se satisface
x0+ x
m
X
(t) + Hsup (t) < pk (t) (4.0.4)
k=1
para todo t R entonces la ecuacin (4.0.1) tiene al menos una solucin positiva T -peridica.
Teorema 4.0.5. Si adems de satisfacerse la condicin (4.0.4) se cumple que
H(t, x)
pk (t)ex (4.0.5)
x
Pm Pm
k=1 pk k=1 pk (t)
para todo t R y 0 < x < := max entonces la ecuacin (4.0.2)
e t[0,T ] e(t)
tiene al menos una solucin T -peridica positiva.
Por otro lado tambin se establecer una condicin necesaria para la existencia de al menos
una solucin T -peridica positiva, ms precisamente se probar el siguiente resultado
Teorema 4.0.6. Si (4.0.1) tiene al menos una solucin T-peridica positiva entonces
m
X H(t, x)
pk (t) > (t) + (4.0.6)
x
k=1
para algn t, x > 0.

En la subseccin 4.1.2 se considera el caso de un sistema del tipo de Nicholson para dos
especies bajo trminos de mutualismo y se establecern condicones suficientes para la
existencia de al menos una solucin T -peridica positiva
0
x1 (t) = 1 (t)x1 (t) + 1 (t)x2 (t) + p1 (t)f (x11 (t)) H1 (t, x1 (t))
(4.0.7)
0
x2 (t) = 2 (t)x2 (t) + 2 (t)x1 (t) + p2 (t)f (x22 (t)) H2 (t, x2 (t))
donde las funciones i , i , pi , i C(R, R+ ) son T -peridicas, f : R R, f (x) = xex ,
xii (t) := xi (t i (t)), y Hi C(R R+ , R+ ) T peridicas en la variable t para todo
i = 1, 2; ms precisamente, se probar el siguiente resultado
Teorema 4.0.7. Si los lmites
Hi (t, x)
Hi,sup (t) := lim sup
x0+ x
y
Hi (t, x)
Hi,inf (t) := lim inf
x+ x
son uniformes en t para i = 1, 2 y se satisfacen las condiciones
(H1) : i (t) + Hi,sup (t) i (t) + pi (t) (4.0.8b)
para todo t R e i = 1, 2 entonces el sistema (4.0.7) tiene al menos una solucin x = (x1 , x2 ) tal
que xi es T -peridica y positiva para i = 1, 2.
4.1. EXISTENCIA DE SOLUCIONES T -PERIDICAS POSITIVAS 93
Finalmente en la seccin 4.2 se dar una condicin suficiente para que el equilibrio trivial
sea un atractor global. Dado el dato inicial
x(s) = (s), C([ , 0], R+ ), := max{i } (4.0.9)
se considera el problema de valores iniciales (4.0.1) - (4.0.9) y se probar que si (4.0.6) no

se cumple, entonces el punto de equilibrio x = 0, es un atractor global para las soluciones
positivas; ms precisamente tenemos el siguiente resultado que generaliza el resultado
anlogo dado por J. Li [47].
Teorema 4.0.8. Si
m
X H(t, x)
pk (t) (t) + para todo t, x > 0 (4.0.10)
x
k=1
entonces todas las soluciones del problema de valores iniciales (4.0.1)-(4.0.9) estn globalmente
definidas, son positivas y tienden a 0 cuando t +.
Observacin 4.0.3. Si la condicin (4.0.6) no se cumple entonces vale (4.0.10) y por lo tanto
el teorema 4.0.6 tambin puede verse como una consecuencia del teorema 4.0.8.
4.1 Existencia de soluciones T -peridicas positivas

4.1.1 Caso escalar.
A los fines de aplicar la teora del grado de coincidencia al problema (4.0.1) se estable-
cer un teorema de continuacin siguiendo los lineamientos dados en la seccin 1.2 del
captulo 1; el teorema de continuacin para el caso (4.0.2) se obtendr por analoga.
Considaremos los operadores
L : Dom(L) X Y, y : X Y
con X = Y = CT
CT := {x C(R, R) : x(t + T ) = x(t)}
dotado de la norma ||x|| = maxt[0,T ] {|x(t)|}, los subespacios
Z T
eT := {x CT : x := 1
C x(t) dt = 0}, CT1 := C 1 (R, R) CT , y Dom(L) := CT1
T 0
definidos del siguiente modo

m
X
0
L(x)(t) := x (t), (x)(t) := (t)x(t) + pk (t)f (xk (t)) H(t, x(t)))
k=1
para todo t R.
94 Nicholson
Observamos que la ecuacin (4.0.1) es equivalente a
L(x) = (x), x CT1 .
Se verifica fcilmente que
ker(L) = {x CT : x es constante} = R CT
de manera que el problema es resonante y adems
Im(L) = {z CT : z = 0} = C
eT .
Entonces ker(L) es un subespacio finito dimensional y Im(L) es un subespacio cerrado;

luego teniendo en cuenta que coker(L) R se ve que L es un operador de Fredholm de
ndice 0 .
Ahora definimos los proyectores continuos P, Q : CT CT como P (x) = Q(x) = x de
forma tal que
Im(P ) = ker(L) y Im(L) = ker(Q)
y el isomorfismo J : Im(Q) ker(L) como la identidad.
En este caso la inversa de LP = L|ker(P )Dom(L)
KP : Im(L) Ker(P ) Dom(L)
viene dada por

KP (z)(t) = (z)(t) (z). (4.1.1)
donde a los fines simplificar la notacin escribimos
Z t
(x)(t) := x(s)ds.
0
Por otro lado, teniendo en cuenta que

Z t Z T
1 T
(x)(t) = x dt = tx, y (x) = tx dt = x
0 T 0 2
vemos que la inversa generalizada de L es
KP,Q (z)(t) := KP (I Q)(z)(t) = KP (z)(t) KP (z) =

= (z)(t) (z) (z)(t) + (z) =
(4.1.2)
= (z)(t) (z) tz + T2 z =
= (z)(t) (z) + T2 t z.

para todo t R.
Finalmente definimos N : [0, 1] CT CT
N (, x) = (x)
y consideramos la siguiente familia uniparamtrica de problemas
L(x) = N (, x), x CT1 . (4.1.3)
Ahora, a los efectos de aplicar el corolario 1.2.6, de acuerdo a (1.2.14) definimos la homo-
topa
F : [0, 1] CT CT
del siguiente modo
F (x) := F(, x) = x P (x) J(Q((x))) KP,Q ((x)) =

(4.1.4)
= x x (x) KP,Q ((x)).
Luego por (1.2.7) tenemos la siguiente equivalencia
Lema 4.1.1. Para cada (0, 1], x es solucin del problema (4.1.3) si y slo si F (x) = 0.
Por otro lado, como es habitual, escribimos F(, ) = I K(, ()) donde
K (x) := K(, (x)) = x + (x) + KP,Q ((x)) (4.1.5)
de manera que F es una perturbacin compacta de la identidad.
Luego observamos que Im(P JQ) ker L = R CT de forma tal que F0 = I (P

JQ) es una perturbacin de rango finito de la identidad. Luego identificando F0 |KerL
con la funcin g : R R definida g(x) = (x) con CT un conjunto abierto
acotado tal que 0 / F () para todo [0, 1], vemos que el grado est bien definido y
usando (1.1.1), la observacin (1.2.6) y la invariancia bajo homotopa del grado de Leray-
Schauder, se tiene
degLS (F , , 0) = degLS (F0 , , 0) = dB (F0 |ker L , Ker(L), 0) = dB (g, R, 0).
En definitiva obtenemos, de acuerdo al corolario 1.2.6 el siguiente
Teorema 4.1.2. de Continuacin. Con las notaciones anteriores, si existe CT abierto y

acotado tal que:
(H1) : La familia uniparamtrica de problemas T -peridicos (4.1.3) no tiene soluciones sobre

Dom(L) para ningn (0, 1) y
(H2) : Existe el grado de Brouwer de la funcin g y
dB (g, R, 0) 6= 0
entonces (4.0.1) tiene al menos una solucin x CT .
Para el problema (4.0.2) consideramos para [0, 1] la familia uniparamtrica
L(x) = N (, x) = (x) x CT1 (4.1.6)

96 Nicholson
con
m
X
(x)(t) := (t)x(t) + pk (t)f (xk (t)) H(t, xk (t)))
k=1
y definimos, con los mismos proyectores P y Q, el isomorfismo J y la inversa generalizada

KP,Q , la siguiente homotopa
F : [0, 1] CT CT
F (x) := F(, x) = x x (x) KP,Q ((x)).
A los efectos de facilitar la posterior referencia se enuncian los siguientes resultados que
son completamente anlogos a los establecidos en el lema 4.1.1 y el teorema de continua-
cin 4.1.2.
Teorema 4.1.4. Si existe CT abierto y acotado tal que:
(H1) : La familia uniparamtrica de problemas T -peridicos (4.1.6) no tiene soluciones sobre

(H2) : Existe el grado de Brouwer de la funcin g := (x),
dB (g, R, 0) 6= 0
entonces (4.0.2) tiene al menos una solucin x CT .
Cotas a priori.
En esta seccin se demuestran dos lemas que sern fundamentales para la aplicacin de
los teoremas de continuacin 4.1.2 y 4.1.4; en stos se establecen cotas a prori para las
soluciones T -peridicas positivas de los problemas (4.0.1) y (4.0.2) respectivamente.
Observacin 4.1.1. Por la condicin (4.0.4) se tiene que existen constantes positivas , tal
que
m
H(t, x) X
<< pk (t) (t)
x
k=1
para todo t R, x (0, ) y por lo tanto

m
H(t, x) X
(t) + < pk (t) (4.1.7)
x
k=1
para alguna constante > 0, para todo t R y x (0, ). En particular por (4.0.4) existe
> 0 tal que si 0 < x < entonces
"m #
X
0 < H(t, x) < x pk (t) (t) (4.1.8)
k=1
para todo t R y por lo tanto podemos extender H C(R R+ , R+ ) en forma continua

en x = 0 de forma tal que H(t, 0) = 0 para todo t R. Si adems H es continuamente
diferenciable respecto de x podemos escribir la condicin (4.0.4) del siguiente modo:
m
H X
(t) + (t, 0) < pk (t)
x
k=1
para todo t R de manera que la condicin dada en el teorema 4.0.4 generaliza la condi-
cin de suficiencia (2.2.30) dada en el teorema 2.1 del artculo de J. Li [47].
Lema 4.1.5. Existen constantes positivas N1 , M1 tal que si x es una solucin T -peridica positiva
de (4.1.3) para (0, 1) entonces
0 < N1 x(t) M1 para todo t R.
Demostracin. (I ) Supongamos que x es una solucin positiva T-peridica del problema
(4.1.3) para (0, 1), entonces por el lema (4.1.1) tenemos F (x) = 0 para (0, 1).
Consideramos un punto donde x alcanza su valor mximo absoluto, x = x() y usando
la ecuacin (4.1.3) obtenemos
m
!
X

0 = ()x + pk ()f (xk ()) H(, x )
k=1
con (0, 1), o sea
m
X m
X

()x = pk ()f (xk ()) H(, x ) < pk ()f (xk ()).
k=1 k=1
Luego, teniendo en cuenta que f (x) 1e para todo x R,

Pm Pm Pm
k=1 pk ()f (xk ()) k=1 pk () k=1 pk
x < < .
() e() e
De esta forma obtenemos para cualquier solucin positiva una cota superior a priori que
depende solamente de pk , k = 1, 2, , m y , es decir
Pm
k=1 pk
x < M1 := . (4.1.9)
e
(II) Para obtener una cota inferior a priori para cualquier solucin postiva de (4.1.3) con
(0, 1), supongamos que x es una de tales soluciones y que alcanza en el valor mnimo
absoluto x() = x .
En primer lugar observamos que si x 1 tendramos la cota buscada, de manera que
slo debemos considerar el caso x < 1. Distinguimos dos subcasos a) x 1 y b) x > 1.
a): Si x 1 entonces siendo f estrictamente creciente en [0, 1] tenemos que f (xk (t))
f (x ) para todo k = 1, 2, , m. Luego usando la ecuacin (4.1.3) con (0, 1) obtene-
mos
Xm
()x + H(, x ) = pk ()f (xk ())
k=1
98 Nicholson
y
Pm m
H(, x ) k=1 pk ()f (xk ())
X
() + = pk ()ex (4.1.10)
x x
k=1
Ahora dado > 0, por la condicin (4.0.4) y la observacin (4.1.1), existe una constante
0 < < 1 independiente de tal que
m
H(, x ) X
() + < pk () (4.1.11)
x
k=1
para x < . Entonces de (4.1.10) y (4.1.11) se deduce que

Pm
k=1 pk () 1
ex H(,x ) > >1
() x
y as x > ln( 1 ) > 0.
b): El caso correspondiente a que x > 1 se reducealPanterior.

En efecto, si x > 1
m
p
k=1 k
consideramos 0 < < 1 tal que f () := f (M1 ) = f e que slo depende de
pk , k = 1, 2, , , m y . Si x no hay nada que probar y si x < < 1 podemos
proceder como en el caso a), pues en tal caso observamos que si 0 < x < x x entonces
f (x) > f (x ). Luego vale que f (x(t k (t)) > f (x ) para todo k = 1, 2, 3, , m y se
obtiene la misma cota que se obtuvo para el caso x 1 usando nuevamente la ecuacin
(4.1.3) y la desigualdad (4.0.4).
En definitiva del caso a) y b) tenemos que si N1 := ln() entonces
x > N1 > 0 (4.1.12)

y de I) y II) se obtiene el resultado.
Lema 4.1.6. Existen constantes positivas N1 , M1 tal que si x es una solucin T peridica positiva
de (4.1.6) para (0, 1) entonces
0 < N1 x(t) M1 para todo t R.
Demostracin. (I) Si x es una solucin positiva T-peridica del problema (4.1.6) para
(0, 1), entonces por el lema (4.1.3) F (x) = 0 para (0, 1) y teniendo en cuenta que
H es positiva obtenemos la misma cota superior (4.1.9) obtenida en el lema (4.1.5)
Pm
k=1 pk
x < M1 := M1 = (4.1.13)
e
Observacin 4.1.2. Dado
que para cualquier solucin positiva del problema (4.1.6) se tiene
P m
k=1 pk
que x < e entonces usando (4.0.5) vale que
H(t, xk (t)) x (t)

pk (t)e k
xk (t)
para todo t R.
(II) Para obtener una cota inferior a priori para cualquier solucin positiva x de (4.1.6)
suponemos que x() = x es el valor mnimo absoluto de x y como lo hicimos en el lema
previo suponemos que x < 1 y x 1, de manera que f (xk (t)) f (x ) para todo t y
k = 1, 2, , m.
Usando la ecuacin (4.1.6) y la observacin (4.1.2) se tiene
h i
x0 (t) = (t)x(t) + m
P
k=1 p k (t)f (x k
(t)) H(t, x k
(t)) =

x (t) H(t,x (t))
= (t)x(t) + m p (t)f (xk (t)) + xk (t) pk (t)e k
P
k6=k k
k
x (t)
k
(t)x(t) > (t)x(t)
para (0, 1) y todo t R.
Luego integrando x0 (t) (t)x(t) obtenemos
Rt
() (s)ds
x(t) xk ()e k
para todo t R, o sea Rt

() (s)ds
e k x(t) xk ()
para todo t R.
Ahora evaluando en t = obtenemos
R
()
(s)ds
x e k xk () (4.1.14)
y teniendo en cuenta R
()
(s)ds RT
(s)ds
e k C := e 0
concluimos que existe una constante C > 0 tal que
Cx xk ().
Por otro lado, usando nuevamente la observacin (4.1.2)
()x = m p ()xk ()exk () +

P
k6=k k
x () H(,xk ())
+xk () pk ()e k x ()
k
x () H(,x ())
m p ()x ex + x pk ()e k
P k
k6=k k x ()
k
es decir
Pm x () H(,x ())
() k6=k
pk ()ex + pk ()e k x () .
k
(4.1.15)
k
Ahora supongamos que no existe ninguna constante positiva N1 tal que x N2 para toda
solucin del problema, entonces en tal caso podramos elegir una sucesin de soluciones
(xn ) CT de forma tal que xn 0 si n +. Luego usando la desigualdad (4.1.14)
0 < xn (n ) Cxn
k
100 Nicholson
y por lo tanto xn (n ) 0 si n +; ms an, pasando a una subsucesin, si fuera

k
necesario, xn () 0 si n + para cierto [0, T ].
k
Para ver esto observamos que como (n ) [0, T ] existen (nj ) (n ) y [0, T ] tal que
n n
nj si j de manera que por un lado tenemos que xkj (nj ) 0 y por otro que xkj
es uniformemente continua en [0, T ] para caja j. Luego podemos considerar (nkl ) (nj )
n n 1 n 1
y l0 N de forma tal que si l l0 entonces |xkj () xkj (nkl )| < 2j y xkj (nkl ) < 2j y
por lo tanto
n n n n
0 < xkj () = xkj () xkj (nkl ) + xkj (nkl )
n n n
|xkj () xkj (nl )| + xkj (nl ) 1j .
n
Luego haciendo que j + se ve que xkj () 0 y renombrando los trminos de la
sucesin obtenemos el resultado.
Finalmente si consideramos (4.1.15) para la sucesin (xn ())
k
H(,xn
()) xn
n ()
Pm
xn
k
p ()ex + pk ()e
k6=k k
k ()
()
k
y tomando lmite superior en ambos miembros

Pm Pm
Hsup () k6=k
pk () + pk () () = k=1 pk () ()
es decir
m
X
() + Hsup () pk ()
k=1
lo cual contradice la hiptesis (4.0.4).

En definitiva existe una constante N1 tal que si x es solucin de (4.1.6) entonces
x N1 > 0 (4.1.16)
y se sigue el resultado.
Demostracin de los principales resultados.

En esta subseccin se darn las demostraciones de los teoremas 4.0.4, 4.0.5 y 4.0.6

Vamos a probar que para cierto CT abierto y acotado se satisfacen las dos hiptesis
(H1) y (H2) del teorema de continuacin (4.1.2).
En primer lugar observemos que si x R+ entonces
g(x) = x m x + x T H(t,x) dt =
P R
k=1 pk xe T 0 x
= x( m x ) + x T H(t,x) dt > x
P R Pm x .

p
k=1 k e T 0 x k=1 pk e
Ahora elegimos M > M1 > 0 donde M1 es la constante dada por

Pm
el lema (4.1.5) de
Pm M M pk
forma tal que k=1 pk e > 0 o equivalentemente e > k=1

> 1, es decir
Pm
k=1 pk
M > ln
.
Entonces existe M > 0 tal que
m
!
X
g(M ) > M pk eM >0
k=1
Por otro lado teniendo en cuenta (4.0.4) y la observacin (4.1.1) existen constantes > 0
y > 0 tal que
m
H(t, x) X
(t) + < pk (t)
x
k=1
para todo t R y x (0, ). Luego obtenemos
g(x) = x m x + x T H(t,x) dt =
P R
k=1 pk xe T 0 x
RT
= Tx 0 (t) + H(t,x)
Pm x dt <
x p
k=1 k (t)e
x T Pm
< T 0 ( k=1 pk (t) m x
R P
k=1 pk (t)e ) dt =
T m
= Tx 0 ( k=1 pk (t)(1 ex ) ) dt.
R P
De esta forma vemos que si x 0+ entonces m x

P
k=1 pk (t)(1 e ) < 0 y por lo
tanto existe 0 < N < N1 donde N1 es la constante dada por el lema (4.1.5) de forma tal
que g(N ) < 0.
En definitiva podemos elegir
:= {x CT : N < x(t) < M, t R}
y concluir que las dos hiptesis (H1) y (H2) del teorema de continuacin (4.1.2) se cumplen
de manera que existe al menos una solucin T - peridica positiva x CT de la
ecuacin (4.0.1).

La cuenta realizada en la demostracin del teorema (4.0.1) prueba que dB (g, R, 0) 6= 0
con g(x) = (x); luego usando el lema (4.1.6) se cumplen las hiptesis (H1) y (H2) del
teorema de continuacin 4.1.4 y se sigue el resultado.

Si x = x() 1 entonces f (xk ()) f (x ) = x ex para todo k = 1, 2, , m y
m m
H(, x )
X

X

x () +
= p k ()f (x k ()) < pk ()x ex .
x
k=1 k=1
102 Nicholson
Luego
m m
H(, x ) X x
X
() + < pk ()e < pk ().
x
k=1 k=1
Por otro lado si x > 1, teniendo en cuenta que f (xk ()) 1

e para todo k = 1, 2, , m,
llegamos a la misma conclusin
m m m
H(, x ) X pk ()f (xk ()) X pk () X
() + = < < pk ().
x x ex
k=1 k=1 k=1
En definitiva, en cualquiera de los casos, se sigue el resultado.
4.1.2 Caso sistema.

En primer lugar consideramos el espacio de Banach
X := {x C(R, R2 ) : xi (t + T ) = xi (t), i = 1, 2}
con la norma ||x|| = max{|xi | , i = 1, 2} donde
|xi | := max {|xi (t)|}

t[0,T ]
para i = 1, 2 y los subespacios
X := {x X : x = 0} y X 1 := C 1 (R, R2 ) X.
Definimos los operadores
L : Dom(L) X X, Dom(L) := X 1 y := (1 , 2 ) : X X
del siguiente modo

L(x) = x0
1 (x1 , x2 )(t) := 1 (t)x1 (t) + 1 (t)x2 (t) + p1 (t)f (x11 (t)) H1 (t, x1 (t)))
y
2 (x1 , x2 )(t) := 2 (t)x2 (t) + 2 (t)x1 (t) + p2 (t)f (x22 (t)) H2 (t, x2 (t))).
Luego observamos que
ker(L) = {x X : x es constante} = R2 X
de manera que el problema es resonante y adems
Im(L) = {z Z : z = 0} = X
con x := (x1 , x2 ). Claramente ker(L) es finito dimensional y Im(L) es un subespacio

cerrado; luego teniendo en cuenta que coker(L) R2 tenemos que 2 = dim(ker(L)) =

codim(Im(L)) y concluimos que L es un operador de Fredholm de ndice 0.
Ahora definimos los proyectores continuos P, Q : X X como los promedios P (x) =
Q(x) = x de manera que se verifica que
Im(P ) = ker(L) = R2 , ker(Q) = Im(L)
y J : Im(Q) ker(L) como la identidad. Por otro lado
KP := L1
P : Im(L) Ker(P ) Dom(L)
viene dada por
KP (z)(t) = (z)(t) (z) (4.1.17)

donde a los fines de simplificar la notacin, como lo hicimos para el caso escalar, escribi-
mos (x1 , x2 ) := (1 (x1 ), 2 (x2 )) con
Z t
i (xi )(t) := xi (s) ds, i = 1, 2.
0
Finalmente, como
T
(x)(t) = tx y (x) = x
2
obtenemos que la inversa generalizada viene dada, como en (4.1.2), por
T

KP,Q (z)(t) = KP (I Q)(z)(t) = (z)(t) (z) + 2 t z. (4.1.18)
Ahora definimos el operador N : [0, 1] X X
N (, x)(t) = (x)(t)
y consideramos la correspondiente familia uniparamtricas de problemas asociada
L(x) := N (, x), x X 1 (4.1.19)
Por ltimo definimos la homotopa
F : [0, 1] X C
que usaremos en la demostracin del teorema 4.0.7
F (x) := F(, x) = x P (x) J(Q((x))) KP,Q ((x))) =

(4.1.20)
x x (x) KP,Q ((x))
De acuerdo a la equivalencia (1.2.7) tenemos el siguiente
104 Nicholson
Finalmente observamos que podemos escribir F(, ) = I K(, ()) donde
K (x) := K(, (x)) = x + (x) + KP,Q ((x)) (4.1.21)
de manera que F es una perturbacin compacta de la identidad.

Luego si X es un abierto acotado tal que 0
/ F () para todo [0, 1], entonces el
grado de Leray-Schauder est bien definido y por invariancia de la homotopa, se tiene
degLS (F , , 0) = degLS (F , , 0) = degLS (F0 , , 0).
Ahora observamos que Im(P JQ) ker L = R2 X de manera que F0 = I (P Q)

es una perturbacin de rango finito de la identidad y por lo tanto, usando (1.1.1), tenemos
degLS (F0 , , 0) = dB (F0 |KerL , Ker(L), 0).
As identificando F0 |KerL con la funcin g : R2 R2 definida g(x) = (x) obtenemos,

con las notaciones anteriores y de acuerdo al corolario (1.2.6), el siguiente
Teorema 4.1.8. de Continuacin Si existe X abierto y acotado tal que:
(H1): La familia uniparamtrica de problemas T -peridicos (4.1.19) no tiene soluciones sobre

(H2): Existe el grado de Brouwer de g y
dB (g, R2 , 0) 6= 0
entonces (4.0.7) tiene al menos una solucin x X con xi > 0 para i = 1, 2.
Cotas a priori.
En esta seccin se demuestra un lema que ser fundamental para garantizar la hiptesis
(H1) del teorema de continuacin 4.1.8 y en el cual se establecen cotas a prori para las
soluciones T -peridicas positivas de (4.1.19).
Lema 4.1.9. Existen constantes 0 , R0 > 0 tal que si x es una solucin T -peridica de (4.1.19)
con xi > 0 para i = 1, 2 con (0, 1) entonces
0 < xi (t) < R0 para todo t R, i = 1, 2.
Demostracin. De acuerdo a la notacin que hemos establecido en la observacin 4.0.2

escribimos:
xi := max {xi (t)} y xi, := min {xi (t)}, i = 1, 2
t[0;T ] t[0;T ]
Supongamos que x = (x1 , x2 ) es una solucin T -peridica arbitraria de (4.1.19) con xi > 0
para i = 1, 2 para (0, 1) y consideremos max{x1 , x2 }. Para fijar ideas supongamos que
x1 (t1 ) = R es tal valor mximo absoluto de forma tal que x2 (t) R para todo t R.
Usando la primera ecuacin del sistema se ve que 1 (x1 (t1 ), x2 (t1 )) = 0 es decir
1 (t1 )x1 (t1 ) H1 (t1 , x1 (t1 )) = 1 (t1 )x2 (t1 ) + p1 (t1 )f (x11 (t1 )).
Teniendo en cuenta que x2 (t1 ) R y f (x11 (t1 )) 1e

R 1 (t1 ) + H1 (tR1 ,R) = 1 (t1 )x2 (t1 ) + p1 (t1 )f (x11 (t1 ))
p1
1 (t1 )R + e
Luego
p1

H1 (t1 ,R)
R 1 (t1 ) + R 1 (t1 ) e
Y segn la hiptesis (4.0.8b), concluimos que existe alguna constante R0 > 0 tal que
xi (t) < R0 para todo t R e i = 1, 2.
Anlogamente supongamos que min{x1, , x2, } se alcanza en x1 (t0 ) = de manera que

x2 (t0 ), entonces, como antes,
1 (t0 )x1 (t0 ) H1 (t0 , x1 (t0 )) = 1 (t0 )x2 (t0 ) + p1 (t0 )f (x11 (t0 )).
Basta con considerar el caso en el que x1, 1 pues en caso contrario no hay nada que
probar. Por otro lado podemos suponer tambin que x1 1, pues el caso contrario se trata
de manera anloga a como lo hicimos para el caso escalar (ver II) b) de la demostracn de
4.1.5).
Luego tenemos x1 (t0 1 (t0 ) 1 y siendo f creciente en [0, 1] f (x11 (t0 )) f (); en
consecuencia

1 (t0 ) + H1 (t0 ,) = 1 (t0 )x2 (t0 ) + p1 (t0 )f (x11 (t0 ))
1 (t0 ) + p1 (t0 )f () = (1 (t0 ) + p1 (t0 )e )
y
H1 (t0 ,)
1 (t0 ) + 1 (t0 ) + p1 (t0 )e
y segn la hiptesis (4.0.8a), concluimos que existe alguna constante 0 > 0 tal que
0 < xi (t) para todo t R e i = 1, 2.

Vamos a probar que para cierto X abierto y acotado se satisfacen las dos hiptesis
(H1) y (H2) del teorema de continuacin 4.1.8.
Veremos que el grado de la funcin g = (x) no es nulo y para ello basta aplicar el
teorema 1.1.4. Consideramos el compacto
,R := {x R2 : xi R, i = 1, 2}
con las constantes > 0 y R > 0 a determinar.

106 Nicholson
Primero observemos que

RT
) = 1 x1 1 x2 p1 x1 ex1+ xT1 0 H1 (t,x
g1 (x1 , x2 x1
1)
dt =
x1 T x H(t,x )
R 1
= T 0 1 (t) p1 (t)e 1 + x1 dt 1 x2 .
En particular si x1 = x2 R tenemos
RT
g1 (, x2 )= 1 1 x2 p1 e +T 0 H1 (t,) dt =
T H(t,)
R
= T 0 1 (t) p1 (t)e + dt 1 x2

R T + H(t,)
T 0 1 (t) p1 (t)e dt 1 =

R T (t) + H(t,) dt = g (, )
T 0 1 (t) p 1 (t)e 1 1
Luego usando la hiptesis (4.0.8a) vemos que para todo t R
H(t, )
lim sup < 1 (t) + p1 (t) + 1 (t) =
0+
lim (1 (t) + p1 (t)e + 1 (t))
0+
y por lo tanto
H(t, )
lim sup + 1 (t) p1 (t)e 1 (t) < 0
0+
uniformemente en t.
En definitiva si 0 < < 1 < 0 donde 0 es la constante del lema 4.1.9 entonces
g1 (, x2 ) g(, ) < 0, para todo x2 R.
Ahora si x2 R = x1 tenemos
R T H1 (t,R)
g1 (R, x2 ) = 1 R 1 x2 p1 ReR + R T 0 R dt =
R T R H(t,R)
R
= T 0 1 (t) p1 (t)e + R dt 1 x2

R
R T R + H(t,R)
T 0 1 (t) p1 (t)e R dt 1 R =

R
R T R (t) + H(t,R) dt = g (R, R)
T 0 1 (t) p 1 (t)e 1 R 1
Luego usando la hiptesis (4.0.8b) vemos que
H(t, R)
lim inf < 1 (t) + 1 (t) =
R+ R
lim (1 (t) + p1 (t)eR + 1 (t))
R+
uniformemente en t y por lo tanto

H(t, ) R
lim inf + 1 (t) p1 (t)e 1 (t) > 0
R+
uniformemente en t.
4.2. EL EQUILIBRIO TRIVIAL ES UN ATRACTOR GLOBAL. 107
En definitiva existe una constante R1 > R0 > 0, donde R0 es la constante del lema 4.1.9,
tal que si R > R1 entonces
g1 (R, x2 ) g1 (R, R) > 0, para todo x2 R.
De manera anloga se prueba que existen constantes positivas 2 , R2 (2 < 0 y R2 > R0 )

tal que si < 2 y R > R2 entonces
g2 (x1 , ) < 0, para todo x1 R
y
g2 (x1 , R) > 0, para todo x1 R.
Si elegimos < min{i , i = 1, 2} y R > max{Ri , i = 1, 2} y := {x X : < xi <
R, i = 1, 2} vemos que el grado de g est bien definido y dB (g, R2 , 0) 6= 0 de manera
que se cumplen las hiptesis (H1) y (H2) del teorema de continuacin 4.1.8 y de ah el
resultado.
4.2 El equilibrio trivial es un atractor global.

En primer lugar observemos que si x es una solucin no trivial del problema de valores
iniciales entonces es estrictamente positiva en su dominio. En efecto, si existe
t1 = inf{t R+ : x(t) 0}
entonces x(t1 ) = 0 pero entonces H(t1 , x(t1 )) = H(t1 , 0) = 0 y

m
X
0
x (t1 ) = pk (t1 )f (xk (t1 )) > 0
k=1
lo cual es absurdo.
Observemos adems que si x0 (t0 ) 0 entonces x(t0 ) 1
e pues en tal caso
m
X
(t0 )x(t0 ) + H(t0 , x(t0 )) pk (t0 )f (xk (t0 ))
k=1
de manera que
P
x(t0 ) (t0 ) + H(tx(t
0 ,x(t0 ))
0)
m
k=1 pk (t0 )f (xk (t0 ))
m
1e k=1 pk (t0 )
P
y por lo tanto usando la hiptesis (4.0.10)

Pm
k=1 pk (t0 ) 1
x(t0 ) < . (4.2.1)
(t0 ) + H(tx(t
0 ,x(t0 ))
e e
0)
108 Nicholson
De las observaciones anteriores deducimos que x est definida globalmente en [0, ) y es

estrictamente positiva pues si el dominio maximal de x fuera [0, a) con a < entonces
tomando la sucesin de compactos
Kn = [0, a tn ] [n, n]
con 0 a tn < a y tn 0 se tendra, segn (1.5.6), que el grfico de x escapa de cada

compacto Kn lo cual es imposible pues x es estrictamente positiva y adems x(t) 1e cada
vez que x0 (t) 0.
En definitiva slo resta probar que x 0 si t +. Para ello distinguimos tres casos: I):
x es eventualmente montona creciente, II): x es eventualmente estrictamente decreciente
y III): x es oscilatoria.
I): Supongamos que existe t0 > 0 tal que si t t0 entonces x0 (t) 0.

En este caso, si t t0 + entonces t k (t) t t0 y en consecuencia
f (xk (t)) = xk (t)exk (t) < x(t)
para todo t t0 y k = 1, 2, , m. Luego usando (4.0.10)
0 x0 (t)= (t)x(t) + m
P
k=1 pk (t)f (x
k
(t)) H(t, x(t)) <
Pm H(t,x(t))
< x(t) k=1 pk (t) (t) + x(t) 0
lo cual es absurdo.
II): Ahora supongamos que existe t0 tal que si t t0 entonces x0 (t) < 0.
En este caso, existe limt+ x(t) = P0. Supongamos que > 0; para > 0 arbitrario
podemos elegir > 0 de forma tal que m k=1 pk (t) < y como f (xk (t)) f () existir

t0 > 0 tal que si t t0 + entonces f (xk (t)) < f () + de manera que
Pm Pm
k=1 p k (t)f (x k
(t))
Pm k=1 pk (t)(f P
() + ) =
= k=1 pk (t)f () + k=1 pk (t) < m
Pm
k=1 pk (t)f () +
para t t0 + . Luego usando (4.0.6) con x = obtenemos:

Pm
x0 (t)
k=1 pk (t)f () + (t)x(t) H(t.x(t))
H(t,)
(t) + f () + (t)x(t) H(t.x(t)) =
(t)e + H(t, )e + (t)x(t) H(t.x(t)) = (4.2.2)
(t)e + (t) (t) H(t, ) + H(t, )
H(t, )e + (t)x(t) H(t.x(t)) =
(t)( x(t)) + H(t, ) H(t, x(t)) + ((t) + H(t, ))(1 e ).
Ahora definimos
A(t) := (t)( x(t)) + H(t, ) H(t, x(t))
y
B(t) := (() + H(.))(1 e )
4.2. EL EQUILIBRIO TRIVIAL ES UN ATRACTOR GLOBAL. 109
y elegimos 0 para t t0 + y esto implica

que x(t) (t t0 ) + x(t0 + ) para t t0 + lo cual es absurdo, pues x es
siempre positiva y as = 0.
III) El tercer caso posible es que x oscile a partir de cierto t0 > 0. En este caso procedemos
por etapas, para construir un esquema adecuado de iteracin.
En primera instancia consideramos todos los intervalos In = (an , bn ), an < bn en los que
x es montona creciente y de acuerdo con (4.2.1) tenemos que x(t) 1e := f (1) para todo
S
t In para todo n N. Ms an, como x decrece en cada componente de Ra0 In
concluimos que debe existir t1 > 0 tal que si t t1 entonces
0 < x(t) x1 := f (x0 )
con x0 := 1.
En una segunda etapa, consideramos t t1 + de manera que t k (t) t t1 y
por lo tanto 0 < xk (t) 1e para todo k = 1, 2, m.
Como f es estrictamente creciente en [0, 1] entonces 0 < f (xk (t)) f (x1 ) para todo
k = 1, 2, m y todo t t1 + con x1 := 1e .
Aplicando nuevamente (4.2.1) en cada uno de los intervalos In Rt1 + tenemos que
m
X
(t)x(t) + H(t, x(t)) pk (t)f (xk (t))
k=1
y as
H(t,x(t)) Pm
0 < x(t) (t) + x(t) k=1 pk (t)f (xk (t))
f (x1 ) m
P
k=1 pk (t).
Luego usando (4.0.10)

Pm
k=1 pk (t)f (x1 )
x(t) < f (x1 ).
(t) + H(t,x(t))
x(t)
S
Nuevamente, esta cota sirve an para los puntos que estn en Rt1 + In y concluimos
que si t t1 + entonces
0 < x(t) < x2 := f (x1 ).
En una tercera etapa, aplicando el mismo razonamiento, concluimos que existe t2 > t1 +
tal que si t t2 + entonces
0 < x(t) x3 := f (x2 ).

110 Nicholson
Repitiendo este esquema de iteracin obtenemos una sucesin 0 < t1 < t2 < t3 < tal
que tn + y si t tn + entonces
0 < x(t) xn+1 := f (xn ).
Finalmente como la sucesin (xn ) [0, 1) el esquema de iteracin xn = f (xn1 ) converge

al nico punto fijo de f y se obtiene el resultado.
Lineamientos Futuros de
Investigacin.
A modo de conclusin se presenta en este apartado algunos lineamientos futuros de in-

vestigacin relacionados con los temas de los que trata esta tesis.
En primer lugar, como lo hemos establecido en [11] se mantiene abierto el problema
siguiente: dar condiciones suficientes para la existencia de al menos una solucin T -
peridica para el modelo generalizado de Nicholson con un trmino no lineal de recolec-
cin dependiente de un retardo variable, esto es
x0 (t) = (t)x(t) + m
P
k=1 pk (t)f (xk (t)) H(t, x (t)) (4.2.4)
siendo , pk , k , C(R, R+ ), H C(R [0, +), R+ ) funciones T -perdicas para todo

k = 1, 2, 3, m y f : R R, f (x) := xex . Las dificultades que surgen para aplicar
teora de grado de coincidencia respecto de este problema radican en la obtencin de
cotas a priori. El mismo problema se puede plantear para un sistema de tipo Nicholson
(4.0.7).
Tambin es interesante, usando la propiedad de escisin del grado topolgico, estudiar
la multiplicidad de soluciones en todos los modelos tratados en esta tesis, como as tam-
bin estudiar la estabilidad global asinttica del equilibrio trivial para los modelos (4.0.2),
(4.2.4) o (4.0.7).
Por otro lado se plantea el problema de hallar condiciones suficientes para la existencia
de soluciones casi peridicas para los modelos (4.0.1), (4.0.2) o (4.2.4), como as tambin
su estudio para el caso neutral [32].
Finalmente, siempre en el contexto de las ecuaciones diferenciales funcionales resonantes,
es de inters el estudio de las ecuaciones diferenciales con retardo bajo distintas condi-
ciones de contorno; en particular, el estudio del modelo abstracto de electrodifusin con
retardo.
111
Notacin, Referencias e ndice.
R+ (0, ).
Br (a) {x X : ||x a||X < r} con (X, || ||) segn el contexto.
X Conjunto abierto y acotado del espacio de Banach X
G Subcoleccin de abiertos de X.
C() {F : X X continua }
dotado de la topologa uniforme
M () Subcoleccin de C()
M(G) Funciones admisibles asociadas a la coleccin G.
Mp () {F M () : p / F ()}.
Ap {(F, , p) : G, F Mp ()}.
KI () {F
S := I K : X X : K es compacto }
A pX Ap : ternas (F, , p) admisibles.
ker(L) Ncleo del operador lineal L.
Dom(L) Dominio del operador L.
Im(L) Imagen del operador L.
KP,Q Inversa generalizada del operador lineal L.
dLS (f, , p) grado topolgico de Leray-Schuader de f relativo a en p
dB (f, , p) grado topolgico de Brouwer de f relativo a en p
||x|| maxt[0,T ] {|x(t)|}, x C([0, T ]).
Pk (j) k (j) al derivada j sima.
||x||C 2 (I) j=0 ||x || , x C ([0, T ]) con x
f (x) lims f (x, s + a, s, s + b).
Ks,r Br (s) {s} Br (s), s [a, b]
Ks,r (x) {x}
S KS s,r , x [0, 1]
K[a,b],r x[0,1] s[a,b] Ks,r (x)
a
fsup (x) sup(y,y0 ,y1 )Ka,r f (Ka,r (x))
a
finf (x) inf (y,y0 ,y1 )Ka,r f (Ka,r (x))
y() limx+ y(x)
y 0 () limx+ y 0 (x)
S n1 {x Rn : ||x|| = 1}
Q(v) {w Rn : |hw v, zj i| < 2|hc, zj i| para 1 j n}
con {zj }1jn Sn1 y c Rn dados .
1 T
R
x T 0 x(t) dt
CT {x C(R, R) : x(t + T ) = x(t)}
CT1 C 1 (R, R) CT .
CT {x CT : x = 0}
113
114 Notacin
t () (t + ), [, 0] con > 0.
xk (t) x(t k (t)) con k C([0, T ], R+ ).
C C([, 0], Rn )
CD C([, 0], D), D Rn .
C
B b () { C : || || b} con a, b > 0 constantes.
C
Ea,b ([t a, t + a] J) B b (), J = [t0 , ) R.
x max{x(t) : t [0, T ]}, x CT .
x min{x(t) : t [0, T ]}, x CT .
co(A) Cpsula convexa de A X.
v Accin del escalar sobre el vector v X
hx, yi Producto interno entre x, y Rn .
< v1 , , vn > Subespacio de X generado por los vectores v1 , , vn X
< v > Subespacio ortogonal a v 6= 0, v X
Bibliography
[1] Amann, H. and Weiss. On the uniqueness of the topological degree. Math. Mech. 15
877-898. (1973).
[2] Amann H. Fixed Point equation and nonlinear eigenvalue problems in ordered Banach
spaces. Siam Rev- 18, 620-709 (1976)
[3] Amann, H. Ordinary Differential Equations. An Introdution to Nonlinear Analysis.

Walter de Gruyter Berlin. New York (1990).
[4] Allee W. Animal aggregations: a study in general sociology. Chicago University Press,
1933.
[5] P. Amster and M. Clapp Periodic solutions of resonant systems with rapidly rotating
nonlinearities, Differential Equations and Dynamical Systems, Series A 31 N 2 (2011),
373-383.
[6] P. Amster. Mtodos Topolgicos en el anlisis no lineal. Publicacoes Matemticas

IMPA. 2009.
[7] P. Amster. Topological methods in the Dtudy of Boundary Value Problems. Springer.
New York 2014.
[8] Amster P., Berezansky L. and Idels L. Peoriodic solution of angiogenesis

model with time lags. Nonlinear Analysis: Real World Applications. (2011).doi:
1016/j.nonrwa.2011.07.035
[9] Amster P., Dboli A. A Neumann Boundary-Value Problem on an Unbounded Inter-

val. Autores. Electronic Journal of Differential Equations. Vol. 2008(2008) N 90. pag.
1-5.
[10] Amster P., Dboli A. A nonlinear problem depending on the unknown Dirichlet val-
ues of the solution. Differential Equations and Dynamical Systems 18, N 4 (2010),
363-372.
[11] Amster P. , Dboli A. Existence of positive T -periodic solutions of a generalized

Nicholsons blowflies model with a nonlinear harvesting term. Elsevier Editorial Sys-
tem(tm) for Applied Mathematics Letter. Vol 25 Issue 9 Septiembre 2012 pg. 1203/
1207.
115
116 BIBLIOGRAPHY
[12] Amster P. Dboli A. A Neumann problem for a system depending on the un-
known boundary values of the solution P. Amster, A. Dboli. Electronic Journal of
Qualitative Theory of Diferential Equations 2012, N 1, 1 - 12; http://www.math.u-
szeged.hu/ejqtde/
[13] P. Amster, M. C. Mariani, C. Rogers and C. C. Tisdell, On two-point boundary value

problems in muti-ion electrodiffusion. J. Math. Anal. Appl. 289 (2004), 712-721.
[14] P. Amster, C. Rogers, On boundary value problems in three-ion electrodiffusion. J.

Math. Anal. Appl. 333 (2007), 42-51.
[15] P. Amster, M. K. Kwong and C. Rogers. A Neumann Boundary Value Problem in

Two-Ion Electro-diffusion with unequal valencies. Discrete and continuous dynamical
systems. Series B. Vol 17 (7) (2012) 2299-2311.
[16] P. Amster, M. K. Kwong and C. Rogers. On a Neumann Boundary Value Problem

for Painlev II in Two Ion Electro-Diffusion. Nonlinear Analysis, TMA. 74 (9) (2011)
2897-2907.
[17] Andres J., Gabor G., Grniewicz L. Boundary value problems on infinite intervals,
Trans. Amer. Math. Soc. 351 (1999) 4861-4903.
[18] Bass L. Electrical structures of interfaces in steady electrolysis, Trans. Faraday. Soc.
60, 1656-1663 (1964).
[19] Bass L. Potential of liquid junctions, Trans. Faraday. Soc. 60, 1914-1919 (1964).
[20] Bellman R., K. Cooke. Differential-Difference Equations. Academic Press New York.
(1963)
[21] Berezansky L., Braverman E., Idels L. Nicholsons blowflies differential equations
revisited: Main results and open problems. Applied Mathematical Modelling 34 (6)
pp 1405-17.
[22] Berezansky L., Idels L., L. Troib. Global dynamics of Nicholson-type delay systems
whit applications. Nonlinear Anal. Real Word Appl. 12 (2011) 436-445.
[23] Bernstein J., Arch. Gesamte Physiol. (Pflgers) 92, 521 (1902)
[24] Brown, R. F. A Topological Introduction to Nonlinear Analysis. Birkhaser. Boston -

Basel - Berlin. (1993).
[25] Bruner L. J. Biophys. L. 5, 867 (1965)
[26] R. Conte, W. K. Schief and C. Rogers, Painlev structure of a multi-ion electrodiffu-

sion system, J. Physics A: Math. Theor. 40 (2007).
[27] Cooke K. L. and Kaplan J. L. A. A periodic threshold theorem dor epidemics and
population growth. Math Biosc. 31, 87-104 (1976)
BIBLIOGRAPHY 117
[28] Cronin, J. Fixed Point and Topological degree in Nonlinear Analysis. Mathematical
Survey. Number 11 American Mathematical Society. 190. providence, Rhode Island.
(1964).
[29] Constantin A. On an infinite interval boundary value problem Annali di Matematica

pura ed applicata (IV) Vol. CLXXVI (1999) 379-394.
[30] C. De Coster and P. Habets: Upper and lower solutions in the theory of ode boundary
value problems: classical and recent results. Nonlinear Analysis and boundary value
problems for ODEs. CISM Courses and Lectures 371. Springer, 1997.
[31] De Coster, C. and Habets, P. An Overview of the Method of Lower Upper Solutions
for ODEs.
[32] Driver Functional-Differencial System of Neutral Type arisin in a Two-body Problem

of Classic Electrodinamical pp 474-483 in International Symposium on Nonlinear Dif-
ferential equation and Nonlineal Mechanics. Academic Press Inc. New York 1963.
[33] Franco D. and ORegan D. Existence of solutions to second order problems with non-
linear boundary conditions. Proc. of the Fourth Int. Conf. on Dynamical Systems and
Diff. Equations, Discrete and Continuous Dynamical Systems 2003, 273-280.
[34] Furi M., Pera P. A continuation method on locally convex spaces and applications
to ordinary differential equations on noncompact intervals, Ann. Polon. Math. XLVII
(1987) 331-346.
[35] Gavalas G. R. Nonlinear Differential Equations of Chemically Reactinf System.

Springer-Verlang New York (1968)
[36] Guo D. and Lakshmikantham V. Nonlinear Problem in Abstract Cones. Academic

Press. London (1988)
[37] Gurney W.S., S.P. Blythe, R.M. Nisber, Nicholsons blowflies (revised) Nature 287
(1980) 17-21
[38] Hale J. K. y Verduyn Lunel S. M. Introduction to functional differential equations.

Applied Mathmatical Sciences, Springer-Verlang, 1993.
[39] Hale J. K. Ordinary Differential Equations. Krieger, Malabar, Florida, 1980.
[40] Hutchinson S. M. Circular causal system in ecology. Ann Gazette 45 (1961) 13-14.
[41] Krasnoselskii M. A. Positive Solutions of Operator Equations. Noordhoff. Groningen.

The Netherlands (1964).
[42] Wladyslaw Kulpa. The Poincar-Miranda Theorem. JSTOR. http://www.jstor.org
[43] Landesman E and A. Lazer A. Nonlinear perturbations of linear elliptic boundary

value problems at resonance, J. Math. Mech. 19 (1970), 609-623.
[44] Leuchtag H. R. A family of differential equations arising from multi-ion electrodif-

fusion, J. Math. Phys., 22, 1317-1320 (1981).
118 BIBLIOGRAPHY
[45] Leray, L. and Schauder, J. Topologie et equations fonctionnelles. Ann. cole Norm.
51 45-78 (1934).
[46] Leug A. W. Systems of Nonlinear Partial Differential Equations. Kluwer Academic

Publishers. Dordrecht. The Netherlands (1989).
[47] Li H. J., Du Ch. Existence of positive periodic solutions for a generalized Nicholsons
blowflies model. Journal of Computational and Applied Mathematics 221 (2008) 226-
233.
[48] Lloyd N. Degree Theory. cambrige University. Press. Cambrige. 1978.
[49] Long F., Yang M. Positive Periodic Solutions of Delayed Nicholsons Blowflies Model
with a Linear Harvesting Term. Electronic Journal of Qualitative Theory of Differential
Equations (2011), 41, pp 1-11.
[50] Mawhin J. Topological degree methods in nonlinear boundary value problems, vol-
ume 40 of CBMS Regional Conference Series in Mathematics. American Mathematical
Society, Providence, R.I., 1979. Expository lectures from the CBMS Regional Confer-
ence held at Harvey Mudd College, Claremont, Calif., June (1977) 9 - 15.
[51] Mawhin J. The legacy of Pierre-Francois Verhulst and Vito Volterra in population
dynamics, en "The firs 60 yeras of nonlinear analysis of J Mawhin" . 147-160. World
Sci. Publ. River Edge. NJ 2004.
[52] Mawhin J. Landesman-Lazer conditions for boundary value problems: A nonlinear

version of resonance. Bol. de la Sociedad Espaola de Mat. Aplicada 16 (2000), 45-65.
[53] Mawhin J., Gaines R. Coincidence degree and Nonlinear Differential Equations Lec-
ture Notes in Mathematics. Springer-Verlangvalue. Berlin - Heidelberg - New York
1977.
[54] May R. M.. Stability and complexity in model ecosystems. Princeton University Press,
1975.
[55] Milnor, J. W. Topology From the Differentiable viewpoint. The University Press of
Virginia Charlorresville. (1965).
[56] Miranda C., Un osservazione su un teorema di Brouwer, Bollettino dellUnione

Matematica Italiana, vol. 3, pp. 57, 1940.
[57] M. Nagumo: Uber die differentialgleichung y 00 = f (t, y, y 0 ). Proc. Phys-Math. Soc.

Japan 19 (1937), 861-866.
[58] Nagumo, M. A theory of degree of mapping based on infinitesimal analysis. Amer.

J. Math. 73 485-496 (1951).
[59] Nagumo, M. Degree of mapping in convex linear topological spaces. Amer. J. Math.
73 497-511 (1951).
[60] Nicholson A. J. An outline of the dinamics of animal populations. Austral, J, Zool 2

(1954) 9-25
BIBLIOGRAPHY 119
[61] Nirenberg L., Generalized degree and nonlinear problems, Contributions to nonlin-
ear functional analysis, Ed. E. H. Zarantonello, Academic Press New York (1971), 1-9.
[62] Ortega R. and Sanchez L. Periodic solutions of forced oscillators with serveral de-
grees of freedom, Bull. London Math. Soc. 34 (2002), 308-318
[63] Ortega R. y Ward Jr. J.R. A semilinear Eliptic System with vanishing nolinearities.
Proceedings of the Fourth international Conference on Dynamical System and Differ-
ential Equations (2002) 688 - 693.
[64] ORegan D. Solvability of some singular boundary value problems on the semi-
infinite intevral, Can. J. Math. 48 (1) (1996) 143-158.
[65] Painlev P. Acta Math. 25, 1 (1902).
[66] Plank M. Amm Phys. Chem. 39, 161 (1890)
[67] Poincar H. Sur les courbes dfinies par une quation diffrentielle. IV. J. Math. Pures
Appl. 85 (1986) 151-217.
[68] Popov V. M. Pointwise degeneracy f linear time-invariant, delay-differential equa-
tions, J. Differential Equations 11 (1972) 541-561 MR 45 5515
[69] Przeradzki B. A new continuation method for the study of nonlinear equations at
resonance, J. Math. Anal. Appl. 180 No 2 (1993) 553-565.
[70] Rabier P. J., Stuart C.A. A Sobolev space approach to boundary-value problems on
the half-line. Comm. in Contemp. Math. 7 No.1 (2005) 1-36.
[71] Rothe, E. H. Introduction to Various Aspects of Degree theory in Banach Spaces.
American Mathematical Society. Number 23. providence, Rhode Island. (1984).
[72] Ruiz D. and Ward Jr. J. R., Some notes on periodic systems with linear part at reso-
nance, Discrete and Continuous Dynamical Systems 11 (2004), 337-350.
[73] Sandor J., D. Mitrinovi y Crstici. Handbook of Number Theory. springer. Dordrecht
[74] Schlgl R 1954Z. Phys. Chem.1305
[75] Schfer Uwe. A Fixed Point Theorem Based on Miranda. Hindawi Publishing Cor-
poration Fixed Point Theory and Applications Volume 2007, Article ID 78706, 6pages
doi:10.1155/2007/78706
[76] Scorza Dragoni G.. Il problema dei valori ai limiti studiato in grande per gli inte-
grali di una equazione differenziale de secondo ordine. Giornale di Mat. (Battaglini)
69 (1931), 77-112.
[77] Shimanov S. N. On stability in the critical case of a zero root for system with time
lag, J. Appl. Math. Mech. 24 653-668 MR 22 - 9697
[78] Siegberg, H. W Brouwer degree; history and numerical computation. (Sympos,
Fixes point algorithms and complementarity problem. Univ. of Shouthampton, North-
Holland 389-411 (1980).
120 BIBLIOGRAPHY
[79] So J., Yu S. Global attractivity and uniform persistence in Nicholsons blowflies, Diff.
Eqns. Dynam. Syst. 2 (1) (1994) 11-18
[80] Szymaska, K. Resonant problem for some second-order differential equation on the
half-line. Electronic Journal of Differential Equations Vol. 2007(2007), N 160, pp. 1-9.
[81] Thompson H.B, Existence for a Two Point Boundary Value Problems arising in elec-
trodiffusion Acta Mathematica Scientia. 8 (1988) 4, 373 - 387
[82] Thompson H. B. Existence for Two-Point Boundary Value Problems in Two Ion Elec-
trodiffusion, Journal of Mathematical Analysis an Applications 184, No. 1 (1994) 82-94.
[83] Wall C.T.C A geometric introduction to topology. Dover Publications, Inc. New York.
1993.
[84] Wang L., Wang W., Chen. Existence and exponential stability of positive almost pe-
riodic solution for Nicholson-type delay system. Nonlinear Anal. Real Word Appl. 12
(4) (2011) 1938-1949.
[85] Winston E., Yorke J. Linear delay differential equations whose solutions become iden-
ticallly zero, Rev. Roumaine Math. Pures Appl. 14 (1969) 885-887 MR 40 7603
[86] Wright E. M. A functional equation in the heuristic theory of primes. Math. Gazette
45 (1961) 15-16.
[87] Xi. Lu and W. Li. Existence and uniqueness of positive periodic solutions of funtional
differential equations. J. Math. Anal. Appl. 293 (2004) 28-39
[88] Xingguo Liu, Junxia Meng. The positive almost periodic solution for Nicholson-
type delay systems whit linear harvesting terms. Applied Mathematical Modelling
36 (2012) 3289-3298.
[89] Yosida K. Lectures on differential and Integral Equations. Interscience Publishers,

Inc. New York (1960)
[90] Zeidler E. Nonlinear Functional Analysis and its Applicatons. I: Fixed-Point Theo-
rems. Springer (1992).
[91] Qiyuan Zhou. The positive periodic solution for Nicholson-type dely system whit
linear harvesting terms. Applied Mathematical Modelling. 37 (2013) 5581-5590.
Index
Condicin Operador de
De la Cpsula Convexa, 21, 73 Fredholm de Indice Cero, 5, 17, 74, 84,
De Landesman-Lazer, 15, 16, 69 92, 101
De Nirenberg, 20, 71 Poincar, 39
Del Sector Angular, 72
Principales Propiedades del Grado de Co-
Definicin incidencia, 9
Axiomtica del Grado Topolgico, 2 Teorema de
Condicin (C) de Continuidad, 33 Continuacin, 77, 85, 93, 94, 102
Condicin de Lipschitz para F (t, xt ), 34 Generalizado, 11, 13
Del Grado Relativo a una Esfera, 4 Dependencia Continua, 36
Funcin De Truncamiento, 24 Existencia de Solucin T -peridica po-
Funcional Cuasi Acotada, 38 sitiva, 89, 90
Funciones Admisibles, 2, 4 Existencia de Solucin Maximal, 38
Grado de Coincidencia, 9 Existencia y Unicidad, 35, 36
Grado Topolgico de Leray-Schauder, 3 Existencia y Unicidad del Grado, 4
Invesa Generalizada, 6 La Cpsula Convexa, 21
Operador L-Compacto, 7 La Cpsula Convexa para el Modelo Abs-
Problema de Valores Iniciales (PVI), 32 tracto de Electrodifusin, 72
Solucin de un PVI, 32, 34 Landesman-Lazer : Caso Asinttico Ge-
Sub y Super Soluciones Ordenadas, 23, neralizado, 16
71 Landesman-Lazer : Caso Asinttotico, 15
Desigualdad de Wirtinger, 15, 19 Landesman-Lazer Asinttico para el Mo-
Ecuacin de Wright, 57 delo Abstracto de Electrodifuson,
69
Mtodo Landesman-Lazer No Asinttico para el
De las sub y super soluciones ordenadas, Modelo Abstracto de Electrodifusin,
23, 81 71
Del paso a paso, 31 Nirenbeg para el Modelo Abstracto de
Diagonal, 25, 82 Electrodifusin, 72
Modelo Nirenberg, 20
Abstracto de Electrodifusin, 71 Poincar-Miranda, 4, 103
De Electrodifusin de dos iones, 50, 51 Punto Fijo de Schauder, 4
De Malthus, 53 Teorema del
Generalizado de Nicholson, 60, 62 Equilibrio trivial como Atractor Global,
Logstico con Retardo de Hutchinson, 91
56 Modelo Abstracto de Electrodifusin en
Logstico de Verhulst-Pear, 54, 55 la Semirecta, 71
121

Tesis Deboli

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tesis Deboli

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE BUENOS AIRES

Facultad de Ciencias Exactas y Naturales

Mtodos topolgicos para algunas ecuaciones diferenciales funcionales

Tesis presentada para optar al ttulo de Doctor de la Universidad de Buenos Aires en el

Alberto Fernando Dboli.

Director de tesis: Dr. Pablo Amster.

Buenos Aires, 10 de diciembre de 2014.

En esta tesis se estudia la existencia de soluciones de dos ecuaciones diferenciales fun-

En primera instancia quiero agradecer a mi consejero, director de estudios y amigo Pablo

2 Formulacin y antecedentes de los problemas. 43

3 Resultados principales para el modelo de electrodifusin abstracto. 69

4 Resultados principales para el modelo generalizado de Nicholson. 89

Lineamientos de futuras Investigaciones. 109

Notacin, Referencias e ndice. 111

El objetivo de esta tesis consiste en la adaptacin de algunos mtodos topolgicos del

donde y0 := y(0), y1 := y(1) y las constantes > 0, l > 0 y D (1, 1) dependen de

y 00 (x) = f (x, y(x), y(0), y(1)) (0.0.2)

El problema de electrodifusin correspondiente al caso de dos o ms iones ha sido estu-

siendo , pk C(R, R+ ) y k C(R, [0, +)) funciones T -peridicas para todo k =

Asimismo en [47] se prueba que si

x(s) = (s), C([ , 0], R+ ) := max1km {maxt[0,T ] {k (t)}} (0.0.5)

siendo H C(R [0, +), R+ ) T -peridica en su primera variable. En el ao 2009 L.

x0 (t) = x(t) + px(t )eax(t ) hx(t ) (0.0.8)

siendo , p, a, h, y constantes positivas.

x0 (t) = (t)x(t) + p(t)x(t (t))ea(t)x(t (t)) hx(t (t)) (0.0.9)

con , p, a C(R, R+ ) y , h C(R, [0, +)) funciones T -peridicas, asumiendo que

donde se usa la notacin

g + := sup{g(t)}, g := inf {g(t)} (0.0.10)

Asimismo se ha considerado sistemas tipo Nicholson

donde i , i , pi y son constantes positivas para i = 1, 2.

donde i , i , pi C(R, R+ ) y hi , i C(R, [0, +)) son T -peridicas para i = 1, 2. Usando

En el captulo 3 se considera la formulacin abstracta del modelo de electrodifusin (0.0.2)

donde y 0 () := limx+ y 0 (x) y f : [0, +) R3 R es continua y acotada. Para

En el captulo 4 se prueban algunos resultados referidos al modelo generalizado de Nichol-

son uniformes en la variable t para i = 1, 2 y se satisfacen las condiciones

(H1) : i (t) + Hi,sup (t) < i (t) + pi (t)

para todo t R e i = 1, 2 entonces el sistema (0.0.17) tiene al menos una solucin x =

En la seccin 1.1 se define el grado de Leray-Schauder, se establecen algunas propiedades

En la seccin 1.3 se consideran algunas condiciones de la no linealidad bajo las cuales,

Posteriormente en la seccin 1.4 daremos un ejemplo en el que se combina el mtodo de

1.1 El grado de Leray-Schauder.

dotado de la topologa uniforme y consideramos, para cada G fijo, una subcoleccin

Definicin 1.1.1. Funciones Admisibles. Se dice que

es un conjunto de funciones admisibles de X si se cumple

(a): I| M () para todo G no vaco.

(b): Para cada par 1 , 2 G con 1 2 y cada F M (2 ) se tiene que F |1 M (1 ).

Con estas notaciones damos la siguiente

que satisface los siguientes axiomas:

(A1). Normalizacin. Si G y p entonces d(I| , , p) = 1.

(A2). Aditividad. Sean G no vaco, 1 , 2 abiertos disjuntos y p X. Si F M ()

d(F, , p) = d(F |1 , 1 , p) + d(F |2 , 2 , p).

(A3). Invariancia bajo Homotopa. Sea G no vaco y p X.

d(H(t), , p) = d(H(0), .p)

para todo t [0, 1].

(A4). Traslacin. Si G es no vaco y F Mp () entonces

d(F, , p) = d(F p, , 0).

Definicin 1.1.3. Operador compacto. Sean X, Y espacios normados. Se dice que el

y recordemos el siguiente resultado til para probar la compacidad de un operador

Teorema 1.1.1. Arzel-Ascoli. Si Y un espacio de Banach y X un espacio mtrico compacto

Ahora consideramos un espacio de Banach E, E un conjunto abierto y acotado y K :

Definicin 1.1.4. Grado de Leray Schauder. Con las notaciones anteriores si K : E

dLS (I K, , 0) := d((I K )|V , V , 0) (1.1.1)

En primer lugar sealamos que la definicin 1.1.4 es independiente de la aproximacin