Solucin inferior y superior de ecuaciones diferenciales

R.V. Quispe Zavala y G.E. Aleman Lopez

February 11, 2017

Resumen
Palabras clave Ecuaciones diferenciales - Soluciones periodicas - solucin inferior - solu-
cin superior.

1 Introduccin
La teoria de soluciones inferior y superior es conocida por ser un mtodo fcil y elemental
para tratar con problemas de valor de frontera de segundo orden.
Algunas de las ideas bsicas de este mtodo, es decir, comparacin entre desigualdades
diferenciales, aparecen en el estudio de problemas de Cauchy de primer orden
u0 = f (t, u), u(0) = u0 realizado en 1915 por O. Perron y generalizado a cuando f
satisface las condiciones de Carathodory en 1996 por M.N. Nkashama.
El mtodo de soluciones inferior y superior es usado en el intento de probar la existencia
de soluciones peridicas de una ecuacin diferencial ordinaria.

2 Preliminares
Primero veremos algunas definiciones y teoremas importantes de la teoria bsica de ecua-
ciones diferenciales ordinarias, pero vamos asumir que el lector conoce algunos tpicos
fundamentales de anlisis como continuidad, diferenciacin e integracin, para el buen
desarrollo de este trabajo.

Definicin 1 Sea D un conjunto abierto en Rn+1 con elemento en D de la forma (t, u),
f : D Rn una funcin contnua y u0 = du
dt
. Una ecuacin diferencial ordinaria es una
relacin de la forma

u0 (t) = f (t, u(t)), o compactamente u0 = f (t, u). (1)

Note que una ecuacin diferencial ordinaria de primer orden involucra una funcin
escalar y su primera derivada, mas no sus derivadas de orden superior.
Decimos que u es una solucin de la ecuacin (1) en un intervalo I R, si u es una
funcin continuamente diferenciable definida en I, (t, u(t)) D, t I y u satisface (1)
en I. Nos referimos a f como un campo de vetores en D.
Supongamos (t0 , u0 ) D dado. Un problema de valor inicial para la ecuacin (1)
consiste en encontrar un intervalo I que contiene t0 y la solucin u de (1) tal que u(t0 ) = u0 .
Escribimos este problema simbolicamente como:
(
u0 = f (t, u),
(2)
u(t0 ) = u0 .

1
 Una solucin constante para u0 = f (t, u) existe si, y solamente si, f (t, u) tiene una raiz
en u para todo t R.
Toda solucin constante es T -peridica(T -rbitrario).
Una funcin f (t, u) definida en un dominio D Rn+1 es llamada de localmente lips-
chitziana en u si, para cualquier conjunto cerrado X D existe una constante k = k(X)
tal que |f (t, u) f (t, v)| |u v| para todo (t, u), (t, v) X.
Si f (t, u) tiene primera derivada parcial contnua con respecto a u X, entonces
f (t, u) es localmente lipschitziana.
Para hablar de la existencia y unicidad de un problema de valor inicial, necesitamos
el siguiente teorema:
Teorema 1 (Picard lindelf) Si f (t, u) es contnua en D y localmente lipschitziana con
respecto a la variable u en D, entonces para cualquier punto (t0 , u0 ) existe una solucin
nica u(t, t0 , u0 ), u(t0 , t0 , u0 ) = u0 de (1) que pasa por el punto (t0 , u0 ).
La demostracin de este teorema se puede encontrar en [2].

Una ecuacin diferencial ordinaria (de orden n) es llamada de lineal, si puede ser escrita
en la forma:
an (t)u(n) (t) + an1 (t)u(n1) + + a1 (t)u0 (t) + a0 (t)u = g(t) donde an es una funcin no es
idnticamente nula.
Caso contrario la ecuacin es llamada de no lineal.
En este trabajo nos vamos a centrar en ecuaciones diferenciales ordinarias no lineales,
puesto que se puede encontrar la solucin explicita de las ecuaciones diferenciales ordi-
narias lineales en muchos libros.
En particular veremos un mtodo para encontrar soluciones peridicas. Para lo que
necesitamos algunos resultados.
Teorema 2 (Punto fijo de Brouwer) Sea C un conjunto no vacio, cerrado acotado y
convexo de Rn . Toda aplicacin contnua f : C C tiene por lo menos un ponto fijo.
Lema 1 Una solucin de v 0 = f (t, v) onde f (t + T, v) = f (t, v) es t-peridica se, y
solamente si, existe t0 R tal que (t0 + T ) = (t0 ).
Prueba
Consideremos la funcin (t) = (t + T ).
=] es fcil ver que (t) tambin es T-peridica en el caso que (t) es T-peridica e
existe t0 R tal que (t0 + T ) = (t0 ).

=] Supongamos que existe t0 R tal que (t0 + T ) = (t0 ).

Observemos que 0 (t) = 0 (t + T ) = f(t+T,(t + T )) = f(t,(t)). Logo, es solucin de
u0 = f (t, u)
As que (t) y (t) son dos soluciones que coinciden en el punto t = t0 por el teorema de
existencia y unicidad (t) = (t) = (t + T ) .

Primero definiremos solucin inferior y superior, luego presentaremos un teorema que

aplicaremos en un ejemplo.
Definicin 2 Considereremos u0 = f (t, u) donde f satisface las necesarias para la exis-
tencia y unicidad de solucin.
Decimos que u es una solucin superior de la ecuacin v 0 = f (t, v) si u0 f (t, u).
Decimos que l es una solucin inferior de la ecuacin v 0 = f (t, v) si l0 f (t, l).

2
Teorema 3 Consideremos la ecuacin (1 ) v 0 = f (t, v) donde f es T -periodica con
respecto a t, es decir, f (t+T, v) = f (t, v). Si (1 ) tiene soluciones u(superior) y l(inferior)
tales que:
1) l(0) l(T ), u(0) u(T ),
2) l(t) l(t), para todo t [0, T ].
Entonces (1 ) tiene una solucin peridica.
(
v 0 = f (t, v)
Prueba Sea v(t, t0 ) solucin de (1 )
v(0) = v0

Definamos : R R , es decir, toma el valor de la solucin de (1 ) que

x 7 v(T, x)
pasa por v(0) = x Supongamos que est definida para todo x R, es decir, tenemos
soluciones que pasan por v(0) = x para todo x y el intervalo maximal de v contiene [0, T ].
Luego,

i) Como l(0) l(T ) y u(0) u(T ).

ii) es continua, de fato, , : |x y| < |(x) (y)| < |v(T, x) v(T, y)| <
k|x y| =l < k , k constante de lipschitz.
iii) Se l es una solucin inferior de (1 ) y v una solucin tal que v(0) l(0) entonces
v(t) l(t), t Iv , Iv es el intervalo maximal de v(t, v0 ).
iv) Se u es una solucin superior de (1 ) y v una solucin tal que v(0) u(0) entonces
v(t) u(t), t Iv , Iv es el intervalo maximal de v(t, v0 ).

Por lo tanto, de (i), (iii) y (iv) tenemos que ([l(0), u(0)]) = [l(T ), u(T )] [l(0), u(0)].
Ahora usando el teorema del punto fijo de Brouwer, por (ii) y como [l(0), u(0)] es un
subconjunto cerrado, acotado y convexo de R , tenemos que tiene un punto fijo, es
decir, v(T, x) = x mas x = v(0, x) luego v(0) = v(T ). As, por el lema (1) tenemos que v
es solucin peridica de (1 )

3 Resultado principal
Afirmacin 1 Seam f : R R una funcin continua definida en todo R T -peridica
y g : R R una funcin definida en todo R lipschitziana, acotada y decreciente o (T -
peridica). Si la imagen de f est contenida en la imagen de g entonces l0 R tal que
g(l0 ) = max f (t) y u0 R tal que g(u0 ) = min f (t) es solucin inferior y es solucin
[0,T ] [0,T ]
superior respectivamente de la ecuacin v 0 = g(v) f (t). Luego, esta ecuacin tiene una
solucin peridica.

Prueba
Como la imagen de f est incluida en la imagen de g y ambas son continuas entonces

max f (t) sup g(v) = l0 R tal que g(l0 ) = max f (t)

[0,T ] R [0,T ]

min f (t) inf g(v) = u0 R tal que g(u0 ) = min f (t)

[0,T ] R [0,T ]

3
Por la definicin de solucin inferior tenemos que
0 g(l0 ) f (t) = f (t) g(l0 ) = max f (t)
[0,T ]
Por la definicin de solucin superior tenemos que
0 g(u0 ) f (t) = f (t) g(u0 ) = min f (t).
[0,T ]
Luego, una vez que g(l0 ) g(u0 )
1) En el caso g decreciente tenemos l0 u0 .
2) En el caso g T -peridica tomamos l0 [T , 0] y u0 [0, T ] luego l0 u0 .
Por lo tanto, usando el teorema anterior tenemos que la ecuacin v 0 = g(v) f (t) tiene
una solucin peridica.

Ejemplos:
1) u0 = sen2 (t) + cos(u2 ):

2) u0 = sen(t) tan1 (u):

4
4 Aplicacin

5 Conclusin

References
[1] De coster, C. and Habets, P., Two-point boundary value problems: Lower and upper
solutions, Elsevier science pub., Amsterdan, the nethelands, 2006.
[2] Hale, Jack K.: Ordinary differential equations, 2.ed. Robert E. Krieger publishing
company(1980).
[3] Nkashama, M., A generalized upper and lower solutionsmethod and multiplicity re-
sults for nonlinear first order ordinary differential equations, J. Math. Anal. Appl.,
140, no. 2,381-395, (1989).