Soluciones Mximas, Mnimas y Desigualdades

Diferenciales
Ral Angel Barrios Mendoza
Ica - Per
2004
ndice general
1. Conceptos Preliminares 1
1.1. Mtodo de las poligonales de Euler: Teorema de Peano . . . . . . . 2
1.1.1. Conceptos generales sobre espacios de funciones continuas . 3
1.1.2. Teorema de Ascoli - Arzela . . . . . . . . . . . . . . . . . . . 4
1.1.3. Teorema de Peano . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Prolongacin de soluciones. Unicidad global . . . . . . . . . . . . . 5
1.2.1. Aproximacin a la frontera . . . . . . . . . . . . . . . . . . . 6
2. Estimacin de soluciones e intervalos de existencia 8
2.1. Soluciones mxima y mnima . . . . . . . . . . . . . . . . . . . . . 8
2.1.1. Teorema de existencia de la solucin maxima y minima . . . 10
2.1.2. Teorema de existencia de las soluciones extremas no pro-
longables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. Desigualdades diferenciales estrictas 11
3.1. Teoremas de comparacin . . . . . . . . . . . . . . . . . . . . . . . 12
3.1.1. Primer teorema de comparacin . . . . . . . . . . . . . . . . 12
3.1.2. Segundo teorema de comparacin . . . . . . . . . . . . . . . 12
4. Desigualdades diferenciales no estrictas. Criterios de unicidad 17
4.1. Teorema de existencia de la funcin de acotacin mnima . . . . . . 17
4.2. Determinacin del intervalo de no prolongabilidad para un problema
de Cauchy vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
i
4.3. Teorema de unicidad a la derecha de Kamke . . . . . . . . . . . . . 20
4.4. Criterio de unicidad de Nagumo . . . . . . . . . . . . . . . . . . . . 23
4.5. Criterio de unicidad de Osgood . . . . . . . . . . . . . . . . . . . . 24
Conclusiones 25
Sugerencias 26
ii
Introduccin
Si es una regin abierta de R R
a
, y 1 : R
a
es una funcin continua,
decimos entonces que una funcin de la forma

r = 1 (t. r)
es una ecuacin diferencial ordinaria. Aqu la incognita r es una funcin deriv-
able r = .(t) y

r denota su derivada
o,
ot
. Ms precisamente, una solucin de la
ecuacin diferencial es una funcin derivable . : 1 R
a
denida en un intervalo
abierto (nito o innito) 1, tal que para todo t 1, (t. .(t)) , y

.(t) =
d.
dt
(t) = 1 (t. .(t))
Aveces, para explicitar el dominio, denotaremos (1. .) a una solucin . denida
sobre un intervalo 1.
Si (t
0
. r
0
) , decimos que las soluciones que verican t
0
1 y c(t
0
) = r
0
son
soluciones al problema de Cauchy con la condicin inicial (t
0.
r
0
) .
Ejemplo 0.1 Consideremos la ecuacin diferencial de segundo orden

r = 2tr
2
+ sen (t)

r
Una funcin r = .(t) es solucin de esta ecuacin si y solo si el par (r. n) =

.(t) .

.(t)

es solucin del sistema de dos ecuaciones de primer orden

r = n

n = 2tr
2
+ sen (t) n
iii
Si denimos la funcin 1 : R R
2
R
2
(t. (r. n)) 1 (t. (r. n)) =

n. 2tr
2
+ sen (t) n

entonces llamando n al vector (r. n), el sistema es equivalente a la ecuacin vectorial

n = 1 (t. n)
Observemos que en este caso dar una condicin inicial n
0
= n(t
0
) equivale a
dar para la ecuacin de segundo orden los valores r (t
0
) y

r (t
0
) .
El problema de Cauchy para una condicin inicial dada puede tener muchas (o
innitas) soluciones, como lo muestra el siguiente ejemplo
Ejemplo 0.2 Consideremos la ecuacin

r = [r[
1/2
. El unico punto de equilibrio
para esta ecuacin es el punto r
0
= 0, es decir, la unica solucin constante de esta
ecuacin es la solucin .
0
(t) = 0. \t R. Por otra parte, el mtodo de separacin
de variables nos permite hallar las soluciones
.
+
o
: (c. +) (0. +) .
+
o
(t) =
1
4
(t c)
2
.

o
: (. c) (. 0) .

o
(t) =
1
4
(t c)
2
Pero entonces para cada c. / R con c < / podemos construir una solucin .
denida en R como sigue:

.(t) = .
+
o
si t < c
.(t) = 0 si c _ t _ /
.(t) = .

o
si t /
Esto muestra que para esta ecuacin el problema de Cauchy tiene innitas solu-
ciones para cualquier condicin inicial.
Esta es entonces la idea que nos lleva a plantear las siguientes hiptesis
iv
1. Es posible restringir el dominio de la solucin de tal manera que la solucin
sea nica
2. Podemos determinar una solucin mxima y una solucin mnima (soluciones
extremas)
3. Se pueden establecer a partir de las hipotesis anteriores desigualdades dife-
renciales.
Bajo estas hipotesis centraremos nuestro estudio de las soluciones de una
ecuacin diferencial, que nos llevar a determinar sus soluciones extremas y el
planteo de las desigualdades diferenciales.
v
Captulo 1
Conceptos Preliminares
Las ecuaciones que estudiaremos correspondern siempre a modelos determi-
nistas de fenomenos evolutivos. Esto quiere decir que cada condicin inicial deter-
mina completamente la evolucin futura y el pasado de la evolucin. En trminos
de soluciones de la ecuacin, esto signica que para cada (t
0.
r
0
) existe una
nica solucin maximal al problema de Cauchy correspondiente. Veremos aho-
ra condiciones sucientes para que una ecuacin diferencial se corresponda a un
modelo determinista.
Comenzaremos estableciendo las deniciones y teoremas que necesitaremos
para fundamentar nuestro estudio y sobre las que estableceremos las demostra-
ciones de los resultados principales.
Denicin 1.1 (Unicidad) Diremos que el problema de Cauchy tiene solucin
nica de tamao c 0 en (t
0.
r
0
) si existe
.
c
: 1
c
= (t
0
c. t
0
+ c) R
a
solucin por (t
0
. r
0
), es decir tal que .
c
(t
0
) = r
0
, con la propiedad: si (1. .) es
otra solucin por (t
0
. r
0
) entonces .[
t\t
0
= .
c
[
t\t
0
Evidentemente, si (1. .) es una solucin, entonces para cualquier intervalo
abierto J 1 la restriccin de . a J es tambien solucin. Nos interesaremos
1
ms adelante en las soluciones que no son la restriccin de otra denida en un in-
tervalo mayor; por ejemplo las que estan denidas en R, o las que estan denidas
en un intervalo 'c. /` pero tienden a innito cuando t /
+
y cuando t c

Denicin 1.2 (Funcin lipschitziana) Dado un subconjunto 1 de RR

a
y
una funcin 1 : 1 R
a
, diremos que 1 cumple la condicin de Lipschitz respecto
de n, con constante igual a / 0 (o, ms brevemente, que 1 es /-lipschitziana
respecto de n si se verica
|1 (r. n
1
) 1 (r. n
2
)| _ / |n
1
n
2
|
para cualesquiera (r. n
1
) . (r. n
2
) 1
Teorema 1.3 Dado (r
0
. n
0
) R R
a
, y c. / 0, sea
1 = [r
0
c. r
0
+ c] 1 (n
0
. /)
1
y una funcin 1 : 1 R
a
continua y con la condicinde Lipschitz repecto de n.
Entonces, siendo ` 0 tal que, para todo (r. n) 1
` _ |1 (r. n)|
2
el problema de Cauchy dado por la ecuacin diferencial
n/ = 1 (r. n)
con la condicin inicial n (r
0
) = n
0
, admite solucin c, denida, al menos, en el
intervalo [r
0
c. r
0
+ c], con c = mn c. /`
1.1. Mtodo de las poligonales de Euler: Teore-
ma de Peano
Teniendo en cuenta que toda ecuacin diferencial escalar puede interpretarse
como un campo de pendientes, tal vez el mtodo ms intuitivo para construir
1
B (y
0
; b) es la bola cerrada de centro y
0
y radio b
2
Un tal M existe por ser f continua y D compacto
2
una solucin, a partir de una condicin o punto inicial, sera comenzar tomando,
con origen en dicho punto y con su inclinacin asociada, un pequeo segmento
(mejor, tan pequeo como fuera posible), y en su extremo repetir la construccin,
es decir, con la pendiente que le corresponda segn el campo dado, trazar desde
el otro pequeo segmento, y as sucesivamente. No ser un mtodo exacto, pero
parece razonable pensar que la gura o poligonal de Euler resultante tendr
bastante similitud con la grca de una solucin del problema de Cauchy.
1.1.1. Conceptos generales sobre espacios de funciones con-
tinuas
Denicin 1.4 Dado un conjunto cualquiera , el conjunto 1 (. R
a
) de las fun-
ciones acotadas denidas en , con valores en R
a
, es un espacio vectorial res-
pectode la suma y el producto por escalar, entendidos de la forma natural, al que
inmediatamente se puede dotar de la norma
||
1
= sup
a2
| (r)|
El espacio normado formado segn la denicin anterior es completo, acotado
y converge uniformemente en .
Si aadimos la condicin de que sea un espacio metrico compacto, como
toda funcin continua sobre con valores en R
a
es acotada, se tendr entonces la
inclusin
1 (. R
a
) ( (. R
a
)
donde la expresin de la derecha representa a la totalidad de las funciones continuas
en 1. Puesto que toda funcin lmite uniforme de funciones continuas es, a su vez,
continua, signica que ( (. R
a
) es cerrado dentro del espacio mtrico completo
1 (. R
a
) y, por tanto, tambien completo.
Denicin 1.5 En ( (. R
a
), se dir que un conjunto 1 es equicontinuo si,
para cualquier 0, dado, existe un o 0 tal que, siendo d la distancia en .
3
para cualesquiera r. : con la condicin
|d (r. :)| _ o
se verica para toda c 1
|c(r) c(:)| _
Denicin 1.6 Diremos que 1 es uniformemente acotado si lo es respecto de
la norma ||
1
y que es puntualmente acotado si, para cada r R
a
jo, el
conjunto c(r) : c 1 es acotado en R
a
. Evidentemente, la acotacin uniforme
implica la puntual.
1.1.2. Teorema de Ascoli - Arzela
Teorema 1.7 Si es un espacio mtrico compacto, entonces todo subconjunto 1
de ( (. R
a
) equicontinuo y puntualmente acotado es relativamente compacto ( es
decir su clausura es compacta)
1.1.3. Teorema de Peano
Teorema 1.8 Bajo la hiptesis de continuidad de la funcin 1, la ecuacin dife-
rencial n/ = 1 (r. n) tiene al menos una solucin, con el valor n
0
en el punto r
0
y
denida en el intervalo [r
0
c. r
0
+ c] . en otras palabras es solucin del problema
de Cauchy:

n/ = 1 (r. n)
n
0
= n (r
0
)
(1.1)
Lema 1.9 Siendo
j
la funcin, denida en [r
0
. r
0
+ c]:

j
(t) =

1 (r
I
. c
j
(r
I
)) para r ]r
I
. r
I+1
] 0 _ / _ ` 1
1 (r
0
. n
0
) para r = r
0
y construida anlogamente a la izquierda de r
0
, se verica
c
j
(r) = n
0
+
a

a
0

j
(t) dt
4
Teorema 1.10 Si una sucesin 1
n

n2N
de particiones de [r
0
c. r
0
+ c] con-
teniendo a r
0
y tal que
lm
a!1
j(1
n
) = 0
genera una sucesin de poligonales de Euler uniformemente convergente, la funcin
c lmite de dichas poligonales es solucin del problema de Cauchy.1.1
Corolario 1.11 Si 1
n

n2N
es una sucesin de particiones de [r
0
c. r
0
+ c]
conteniendo a r
0
y tal que
lm
a!1
j(1
n
) = 0
entonces la sucesin de poligonales generada admite una subsucesin que converge
uniformemente a una funcin que resulta ser solucin del problema de Cauchy1.1
1.2. Prolongacin de soluciones. Unicidad global
Denicin 1.12 Dadas dos funciones, c : 1 R
a
, : J R
a
, diremos que
es una extensin, o prolongacin, de c, si J 1 y, para todo r 1:
(r) = c(r)
si adems J = 1, diremos que la prolongacin es propia, o estricta.
Lema 1.13 Sea 1 un subconjunto de RR
a
y 1 : 1 R
a
una funcin continua.
Si c : J R
a
es una solucin de la ecuacin diferencial n/ = 1 (r. n), y s es
uno de los extremos de J, vericndose que existe el lmite
w = lm
a!c
c(r) y (s; w) es interior a 1
entonces existe un c 0 tal que c puede prolongarse por el lado de s, hasta s c
conservando su condicin de solucin.
Teorema 1.14 (Lema de Wintner) Con las condiciones del lema anterior, sien-
do (s; w) 1, una condicin necesaria y suciente para que
w = lm
x!s
(r)
5
es que exista al menos una sucesin r
n

n2N
convergente a s tal que
w = lm
n!1
c(r
n
)
Lema 1.15 Sea 1 un abierto en RR
a
y 1 : 1 R
a
una funcin continua. Sea
K un subconjunto compacto de 1. Entonces, para cada (:. :) K, el problema
de Cauchy
(1
.a
) =

n/ = 1 (r. n)
n (:) = :
tiene una solucin que est denida, al menos, en un intervalo cuya longitud, 2c,
no depende de (:. :) cuando este punto vara en K:
Corolario 1.16 Con las notaciones e hiptesis del lema 1.15, si c : [:. :]
R
a
es una solucin de la ecuacin n/ = 1 (r. n) de modo que (:. c(:)) K (o
bien (:. c(:)) K) entonces c se puede extender, como solucin de la ecuacin
diferencial, al intervalo [:. : + c] (respectivamente, a [: c. :]).
Todos estos Lemas, Teoremas y corolarios nos llevan como coclusin al siguiente
resultado fundamental sobre prolongabilidad.
Teorema 1.17 Siendo 1 abierto en RR
a
. 1 : 1 R
a
una funcin continua, y
c : [:. :] R
a
una solucin de la ecuacin diferencial, se demuestra que existe una
solucin, no prolongable como tal, denida en un intervalo abierto, que estiende a
la dada.
1.2.1. Aproximacin a la frontera
Manteniendo las hiptesis del teorema anterior, los resultados siguientes pre-
cisan de manera denitiva el comportamiento de las soluciones no prolongables,
cuando la variable se aproxima a los extremos del intervalo de denicin. Lo que
sucede entonces, es que, jado un compacto K, subconjunto de 1, arbitraria-
mente grande, si r se aproxima mucho a alguno de los dos extremos del intervalo,
la graca queda fuera de K, lo que puede entenderse como que se sita cerca
de la frontera de 1.
6
Teorema 1.18 Con las hiptesis del teorema 1.17 , y siendo c : 1 R
a
una
solucin no prolongable de la ecuacin diferencial, se cumple que para cada sub-
conjunto compacto, K, del abierto 1, existe un subintervalo compacto, J, de 1,
tal que, para todo r 1 ~ J
(r. c(r)) K
Teorema 1.19 Siendo 1 un subconjunto de RR
a
y 1 : 1 R
a
una funcin
cualquiera, toda solucin c : 1 R
a
de la ecuacin diferencial asociada a 1 puede
prolongarse, como solucin, de forma maximal.
Teorema 1.20 Sea K un subconjunto cerrado de R R
a
tal que su proyeccin
K
0
= r R : (r. n) K
es acotada y sea 1 : 1 R
a
continua y acotada. Entonces, si c es una solucin
no prolongable de la ecuacin
n/ = 1 (r. n)
su intervalo de existencia es compacto y, siendo : y : los extremos del mismo, se
verica
(:. c(:)) Fr.K y (:. c(:)) Fr.K
7
Captulo 2
Estimacin de soluciones e
intervalos de existencia
Adems de los mtodos numricos, pero de modo auxiliar para su puesta en
practica, el conocimiento de estimaciones sobre el tamao de las soluciones y de sus
intervalos de existencia constituye una informacin muy til en el caso frecuente
de que estas no puedan calcularse explcitamente y con exactitud.
En este captulo que es un complemento de los temas Soluciones locales y
Soluciones globales, complementando el estudio de la existencia de soluciones,
demostraremos que todo problema de Cauchy escalar y con solucin no nica ad-
mite dos soluciones extremas, mxima y mnima que, en cierto sentido, acotan
superior e inferiormente a las dems soluciones. Cuestin que aparece ligada desde
un punto de vista histrico a la prueba del teorema de Peano.
2.1. Soluciones mxima y mnima
Denicin 2.1 Sean 1, subconjuntos de R
2
, (r
0
. n
0
) 1 y 1 : 1 R. Diremos
que una solucin c : 1 R del problema
(1)

n/ = 1 (r. n)
n (r
0
) = n
0
(2.1)
8
es mxima (mnima) si para toda solucin, c : J R, de (1) se verica, para
todo r 1 J :
(r) _ (_) c(r) (2.2)
Lema 2.2 Sea 1 un subconjunto cualquiera de R
2
, 1 : 1 R y
c
1
: J
1
R; c
2
: J
2
R
dos soluciones de la ecuacin diferencial n/ = 1 (r. n). Entonces, si la interseccin
J
1
J
2
es no vaca, las funciones

1
(r) = max c
1
(r) . c
2
(r) y
2
(r) = mn c
1
(r) . c
2
(r)
denidas ambas en J
1
J
2
tambien son soluciones de la ecuacin diferencial
Prueba.
Lema 2.3 Sean c. / 0; 1 = [r
0
c. r
0
+ c] 1 (n
0
. /) y 1 : 1 R
a
,
continua. Como es habitual, llamaremos ` a una cota positiva de la norma de los
valores de 1 y
c = mn c. /`
Entonces el intervalo de existencia de cualquier solucin no prolongable del prob-
lema (1) contiene a [r
0
c. r
0
+ c].
Demostracin. Sea c una solucin no prolongable, denida en J. De acuerdo con
el teorema??, por ser 1 compacto, tambien lo es J y, siendo : _ : sus extremos,
se ha de vericar (:. c(:)) y (:. c(:)) sean puntos frontera. Lo cual, referido a :,
signica que
: = r
0
+ c _ r
0
+ c o bien |c(:) n
0
| = /
y por lo tanto / _ ` (: r
0
), de donde : _ r
0
+/` _ r
0
+c. Anlogamente se
prueba que : _ r
0
c
9
2.1.1. Teorema de existencia de la solucin maxima y min-
ima
Teorema 2.4 Sea 1 = [r
0
c. r
0
+ c] [n
0
/. n
0
+ /] y 1 : 1 R, continua.
Entonces existe una solucin mxima y una solucin mnima del problema (1)
(2.1) denidas ambas en el intervalo [r
0
c. r
0
+ c]
2.1.2. Teorema de existencia de las soluciones extremas no
prolongables
Teorema 2.5 Si en las hiptesis del teorema precedente se sustituye el rectngulo
cerrado 1 por un abierto cualquiera 1, se mantiene la conclusin sobre la ex-
istencia de soluciones extremas (mxima y mnima) pero adems ambas pueden
conseguirse no prolongables.
10
Captulo 3
Desigualdades diferenciales
estrictas
En este captulo, se estudian relaciones entre una funcin c, solucin de un
problema de Cauchy escalar

n/ = 1 (r. n)
n (r
0
) = n
0
y otra, , que cumple una desigualdad del tipo n/ _ 1 (r. n) (donde el signo,
constante, puede tambin ser _, <, ). En la prctica se presentan a menudo
situaciones en que slo una de ambas funciones es conocida, sirviendo entonces
aquellas relaciones (llamadas teoremas de comparacin) para obtener informacin
sobre la otra funcin.
En primer lugar veremos la teora de las desigualdades estrictas, que se basa en
un sencillo lema del Clculo de una variable. En el captulo siguiente pasaremos
ya a desigualdades en sentido amplio, cuyo estudio es ms sosticado y requiere
los resultados del presente captulo.
Por razones pedgogicas, para la exposicin detallada supondremos que es
derivable (podemos debilitar esta hipotesis, considerando las derivadas de Dini en
lugar de /.
11
Lema 3.1 Sea I un intervalo cerrado por la izquierda y denotemos por r
0
a su
extremo de ese lado.
Sea j : 1 R una funcin derivable que, para cualquier punto, r, del intervalo
cumple la implicacin
j(r) = 0 == j/ (r) 0
o bien
j(r) = 0 == j/ (r) < 0
Supongamos que j(r
0
) _ (o bien j(r
0
) _ 0). Entonces para todo r 1 s r
0

se verica
j(r) 0
o bien
j(r) < 0
3.1. Teoremas de comparacin
3.1.1. Primer teorema de comparacin
Teorema 3.2 Dados 1, subconjuntop de R
2
, 1 : 1 R, continua, y otras dos
funciones c, : 1 R derivables, con grca contenida en 1, satisfaciendo la
primera la ecuacin diferencial n/ = 1 (r. n) y siendo 1 un intervalo cerrado por la
izquierda, con r
0
como extremo de ese lado, se tienen las implicaciones
/ (r) < 1 (r. (r)) , \ r 1
(r
0
) _ (r
0
)

== (r) < c(r) , \ r 1 s r

0

/ (r) 1 (r. (r)) , \ r 1

(r
0
) _ (r
0
)

== c(r) < (r) , \ r 1 s r

0

3.1.2. Segundo teorema de comparacin

Teorema 3.3 Conservando las notaciones e hiptesis de la proposicin prece-
dente pero siendo ahora 1 un intervalo cerrado por la derecha, con r
0
como
12
extremo de ese lado, se cumplen las implicaciones
/ (r) < 1 (r. (r)) , \ r 1
(r
0
) _ (r
0
)

== (r) c(r) , \ r 1 s r
0

/ (r) 1 (r. (r)) , \ r 1

(r
0
) _ (r
0
)

== c(r) (r) , \ r 1 s r
0

Comentario 3.4 Resulta lgico preguntarse si las proposiciones 3.2 y 3.3 siguen
siendo vlidas cuando en las hiptesis se sustituye el signo < por el signo _.
La respuesta es negativa, en general, ya que en caso contrario se deducira inmedi-
atamente que todo problema de Cauchy dado tendra solucin nica (en caso de
existencia) lo que sabemos es falso.
Corolario 3.5 Si variamos las hipotesis de 3.2 y 3.3 introduciendo una nueva
funcin sobre 1, o, tal que para todo (r. n) 1:
1 (r. n) < o (r. n)
y sustituyendo las desigualdades diferenciales sobre por la condicin de que sat-
isfaga la ecuacin diferencial n/ = o (r. n), entonces se siguen cumpliendo los re-
sultados de las proposiciones mencionadas
Corolario 3.6 Sea 1 un producto cartesiano de intervalos J
1
J
2
, de los cuales
J
1
es cerrado por la izquierda (por la derecha) con r
0
como extremo de ese lado
y supongamos que 1 y o son dos funciones escalares denidas en 1, continua la
primera de ellas, que no toman valores negativos y guardan entre si la relacin
1 (r. n) < o (r. n)
para todo (r. n) 1.
Sean c : 1
c
R, : 1

R soluciones respectivas de los problemas de

13
Cauchy

n/ = 1 (r. n)
n (r
0
) = n
0
y

n/ = o (r. n)
n (r
0
) = .
0
entonces, si c es no prolongable y adems n
0
_ .
0
(n
0
_ .
0
), se puede demostrar
que
1
c
1

(1

1
c
)
Demostracin. Razonaremos para el caso en que J
1
es cerrado por la izquierda.
Se observa, en primer lugar que las relaciones:
c/ (r) = 1 (r. c(r)) _ 0, para todo r 1
c
/ (r) = o (r. (r)) 1 (r. (r)) _ 0, para todo r 1

implican, respectivamente que c y son crecientes en sus respectivos intervalos

de denicin, la segunda en sentido estricto.
Denotemos por /
c
y /

a los extremos derechos respectivos de los intervalos

1
c
e 1

. Probaremos por reduccin al absurdo, que /

c
_ /

y de ello se seguir la
inclusin que se arma en el enunciado.
Si /
c
< /

, entonces /
c
sera nito y pertenecera a 1

. Por tanto, segn el

corolario 3.5, se tendra, para todo r [r
0
. /
c
[
c(r) _ (r) ( _ (/
c
) , por ser creciente)
relacin que implica (teniendo en cuenta el caracter creciente de c) la existencia y
nitud del lmite
lm
a!b

c(r)
que denotaremos por d, as como la desigualdad
d _ (/
c
) (3.1)
14
2 1
J J

x = x
0
2 1
J J
x = x
0

Figura 3.1: Interpretacin geomtrica del corolario (3.6)

por otra parte , de la no prolongabilidad de c, con la circunstancia de ser 1
continua, se deduce que
(/
c
. d) Fr 1
y dentro de ello, por ser 1 un rectngulo (tal vez innito), sus lados (los que tenga)
son la frontera, y hay por tanto, a lo sumo, tres posibilidades:
1. /
c
= sup J
1
(si J
1
es acotado), en contradiccin con /
c
< /

2. d = sup J
2
. lo cual, por ser creciente, implica, mediante 3.1, que
(r) = d
para todo r [/
c
. /

[. Relacin a su vez contradictoria con el crecimiento

estricto de dicha funcin.
3. d =nf J
2
, en cuyo caso debera ser constante la funcin creciente c. Ahora
bien, entonces, por ser 1 (que es continua) no negativa, se podran construir
a la derecha de /
c
poligonales de Euler que convergeran a una solucin de
la ecuacin n/ = 1 (r. n), con graca dentro de J
1
J
2
que yuxtapuesta con
c, la prolongara, lo cual es absurdo.
15
Por consiguiente /
c
_ /

, como queriamos demostrar. Ello lleva consigo que

1
c
1

, excepto cuando /
c
= /

y 1
c
e 1

sean abierto y cerrado por la derecha,

respectivamente. Pero esto signicara que
(/
c
. d) 1 y (/

. (/

)) 1
donde la primera relacin, al ser /
c
J
1
y c no prolongable, hara que d J
2
,
en contradiccin con ser d _ (/

) J
2
. As queda eliminada la nica excepcin
desfavorable y naliza la demostracin.
16
Captulo 4
Desigualdades diferenciales no
estrictas. Criterios de unicidad
En este captulo generalizaremos para desigualdades diferenciales no estrictas
los principales resultados del captulo anterior. La diferencia ahora est en que la
funcin que verica la desigualdad diferencial no se compara con cualquier solucin
del problema de Cauchy , sino slo con las soluciones extremas.
Como aplicacin de dichos resultados se establece un criterio general de uni-
cidad, del que se deducen varios criterios particulares.
Al igual que en el captulo precedente los razonamientos se detallan para fun-
ciones diferenciables y los enunciaremos sin demostrar los teoremas correspondi-
entes con derivadas de Dini, pues los argumentos no varan.
4.1. Teorema de existencia de la funcin de acotacin
mnima
Teorema 4.1 Dados 1, abierto de R
2
. 1 : 1 R, continua, . : 1 R
derivables y con la graca contenida en 1, siendo 1 un intervalo cerrado por la
17
derecha, con r
0
como extremo correspondiente, se tienen las implicaciones
es una solucin mnima de n/ = 1 (r. n)
/ (r) _ 1 (r. (r)) , para todo r 1
(r
0
) _ (r
0
)

== (r) _ (r) , \ r 1
es una solucin mxima de n/ = 1 (r. n)
/ (r) _ 1 (r. (r)) , para todo r 1
(r
0
) _ (r
0
)

== (r) _ (r) , \ r 1
Teorema 4.2 conservando las notaciones del 4.1, si 1 es cerrado por la izquierda
(con r
0
como extremo izquierdo) se verica
es una solucin mxima de n/ = 1 (r. n)
/ (r) _ 1 (r. (r)) , para todo r 1
(r
0
) _ (r
0
)

== (r) _ (r) , \ r 1
es una solucin mnima de n/ = 1 (r. n)
/ (r) _ 1 (r. (r)) , para todo r 1
(r
0
) _ (r
0
)

== (r) _ (r) , \ r 1
4.2. Determinacin del intervalo de no prolonga-
bilidad para un problema de Cauchy vecto-
rial
Teorema 4.3 Sea 1 = [r
0
. /[ (donde / puede ser +) y sean
1 : 1 R
a
R
a
y
o : 1 [0. +[ [0. +[
funciones continuas tales que, para todo (r. n) 1 R
a
|1 (r. n)| _ o (r. |n|)
18
Dado n
0
R
a
sea c una solucin no prolongable de la ecuacin diferencial n/ =
1 (r. n) con condicin inicial n (r
0
) = n
0
y sea la solucin mxima no prolongable
de la ecuacin n/ = o (r. n) con respecto a una condicin inicial n(r
0
) = n
0
_
|n
0
|. Entonces, siendo [r
0
. /
c
[ y [r
0
. /

[ los respectivos intervalos de existencia,

se verica que
1. /
c
_ /

2. |c(r)| _ (r), para todo r [r

0
. /

[
Corolario 4.4 Siendo 1 un intervalo, c
j;
: 1 R
a
, (con i. , = 1. 2. . . . . :) / :
1 R
a
continuas y la matriz (r) = [c
j;
(r)]
1j.;a
cualquier solucin c de la
ecuacin diferencial lineal
n/ = (r) n + / (r)
puede considerarse denida en 1 (o ser extendida a dicho intervalo) y jado r
0
1,
c verica la estimacin
|c(r)| _ c

x
R
x
0
k(t)kot

|c(r
0
)| +

a
0
|/ (t)| c

x
R
x
0
k(c)koc

dt

Lema 4.5 Dados 1 R R

a
y 1 : 1 R
a
, c
1
. c
2
: 1 R
a
satisfacen la
ecuacin n/ = 1 (r. n), la funcin
o (r) = |c
1
(r) c
2
(r)|
verica
1. Siendo una cualquiera de la derivadas de Dini, se cumple
[o (r)[ _ |1 (r. c
1
(r)) 1 (r. c
2
(r))|
para todo r 1 donde tenga sentido.
2. Para los r 1 tales que o (r) = 0, o es derivable en r y o/ (r) = 0
3. Para el caso en que || es la norma eucldea, o es derivable en todo el
intervalo 1.
19
4.3. Teorema de unicidad a la derecha de Kamke
Teorema 4.6 Sea un conjunto de la forma 1 = [r
0
. r
0
+ c[ int1 (n
0
. /) (con
c. / 0, sin excluir la posibilidad c = +, o / = +, r
0
R e n
0
R
a
) y sea
una funcin 1 : 1 R
a
, supongamos existe una funcin continua
j : ]r
0
. r
0
+ c[ [0. 2/[ [0. +[
que cumple las siguientes condiciones:
1. |1 (r. n
1
) 1 (r. n
2
)| _ j (r. |n
1
n
2
|) para cada (r. n
1
), (r. n
2
) 1.
2. j (r. 0) = 0 para todo r ]r
0
. r
0
+ c[.
3. La nica solucin, j, de la ecuacin diferencial n/ = j (r. n) que verica
lm
a!a
+
0
j(r)
r r
0
= 0 (4.1)
es la funcin identicamente nula (condicin de Yanaga - Kamke).
Entonces, dos soluciones cualesquiera del problema
(1)

n/ = 1 (r. n)
n (r
0
) = n
0
coinciden en el intervalo donde ambas estan denidas.
Demostracin. Procederemos a demostrar el teorema por reduccin al absurdo.
Supongamos que el problema (1) admite dos soluciones
c
1
: 1 int1 (n
0
. /) , c
2
: J int1 (n
0
. /)
que dieren en algn punto, r
-
1 J. Es decir, tales que
o (r
-
) 0
signicando o lo mismo que en el lema 4.5 (observese, por otra parte, que
o (r
-
) < 2/
20
por ser c
1
(r
-
) y c
2
(r
-
) interiores a 1 (n
0
. /)). Segn dicho lema, siendo una
cualquiera de las cuatro derivadas de Dini y como consecuencia de (1), se tendr
o (r) _ j (r. o (r))
para todo r 1 J donde tenga sentido.
Consideremos ahora el problema auxiliar
(()

n/ = j (r. n)
n(r
-
) = o (r
-
)
planteado en el subconjunto abierto de R
2
= ]r
0
. r
0
+ c[ ]. 2/[
tras haber extendido la funcin j con el valor cero a los puntos de ordenada
negativa, y sea . la solucin de (() mnima y no prolongable por la izquierda.
Buscaremos llegar a la conclusin, contradictoria con la condicin inicial de ((),
de que . es idnticamente nula.
El signo no negativo de j hace que . sea no decreciente y adems, debido a
que j (r. n) = 0, siempre que n _ 0, es inmediato (utilizando la propiedad de
Darboux y el teorema del valor medio) que todos los valores que toma . son no
negativos, es decir, estn acotados inferiormente por cero. Por consiguiente, para
cualquier punto : del intervalo donde . est denida, existe y es nito el lmite
lm
a!
. (r)
Esto obliga, dado que . es no prolongable por la izquierda, a que el extremo de
ese lado del citado intervalo de denicin sea, precisamente, el punto r
0
.
Entoces, segn el teorema 4.1 se tendr
. (r) _ o (r)
para cada r ]r
0
. r
-
] y por tanto
0 _ lm
a!a
+
0
. (r)
r r
0
_ lm
a!a
+
0
o (r)
r r
0
= o/ (r
0
) = 0
21
X
w
x = x
0
x = x
0
+ a
w = 2b
(x,w) = 0 si w 0
(x*,(x*))
Figura 4.1: Interpretacin geometrica del teorema (4.6)
teniendo en cuenta el lema 4.5. Luego el primero de dichos lmites es nulo y,
por tanto, segun la armacin (3) del enunciado, . es idnticamente nula, que es
absurdo.
existe un teorema simetrico al que acabamos de demostrar, que enunciaremos
sin demostracin
Teorema 4.7 Sea 1 = ]r
0
c. r
0
] int1 (n
0
. /) (con c. / 0, sin excluir la
posibilidad c = +, o / = +, r
0
R e n
0
R
a
) y sea una funcin
1 : 1 R
a
, supongamos existe una funcin continua
j : ]r
0
c. r
0
[ [0. 2/[ [0. +[
que cumple las siguientes condiciones:
1. |1 (r. n
1
) 1 (r. n
2
)| _ j (r. |n
1
n
2
|) para cada (r. n
1
), (r. n
2
) 1.
2. j (r. 0) = 0 para todo r ]r
0
c. r
0
[.
22
3. La nica solucin, j, de la ecuacin diferencial n/ = j (r. n) que verica
lm
a!a

0
j(r)
r r
0
= 0
es la funcin identicamente nula.
Entonces, dos soluciones cualesquiera del problema
(1)

n/ = 1 (r. n)
n (r
0
) = n
0
coinciden en el intervalo donde ambas estan denidas.
Notas
1. El criterio de la unicidad de la condicin de Lipschitz, se puede interpretar
como un caso particular del criterio de amke, cuando la funcin j es j (r. n) =
/n, con / 0.
2. En el caso de la norma eucldea, el lector comprobar que la condicin (1) del
teorema 4.6 puede sustituirse por la siguiente desigualdad, menos restrictiva
'(1 (r. n
1
) 1 (r. n
2
)) [ (n
1
n
2
)` _ j (r. |n
1
n
2
|) |n
1
n
2
|
Para la prueba se debe considerar, en lugar de la funcin |c
1
(r) c
2
(r)|,
su cuadrado y tener en cuenta que las soluciones de / = j

r.
1/2

1/2
son
siempre el cuadrado de soluciones de n/ = j (r. n) .
4.4. Criterio de unicidad de Nagumo
Proposicin 4.8 La funcin
j (r. n) =
n
[r r
0
[
verica las condiciones (1) y (2) de los teoremas 4.6 y 4.7
23
4.5. Criterio de unicidad de Osgood
Proposicin 4.9 Sea 1 : [0; 2/[ [0; +[ continua, con
1 (0) = 0 ; 1 (n) = 0, para todo n ]0; 2/[
y tal que la integral impropia

0
d:
1 (:)
es divergente. entonces la funcin j (r. n) = 1 (n) verica las condiciones (2) y
(3) de los teoremas 4.6 y 4.7
24
Conclusiones
1. A partir de los teoremas mostrados en el Captulo 3, podemos determinar
los intervalos de existencia de las soluciones mxima y mnima.
2. Al demostrar la existencia de soluciones locales, se establece las soluciones
extremas a travez del uso de las desigualdades diferenciales
3. Las desigualdades diferenciales fueron introducidas por primera vez por Peano
para demostrar el teorema de existencia que lleva su nombre.
4. Con los teoremas mostrados en el Captulo 4, se puede determinar las fun-
ciones que acotan las soluciones de un problema de Cauchy.
5. Nagumo di su criterio en 1926, pero su forma actual con desigualdades no
estrictas en las hiptesis, se debe a Perron (1928)
25
Sugerencias
Al concluir el presente trabajo el investigador presenta las siguientes sugerencias
1. En la Universidad se debe fomentar la formacin de equipos de trabajo mul-
tidisciplinario, atravs de las ocinas de investigacin de cada Facultad y
dirigidos por la Direccin General de Investigacin.
2. Se sugiere que la U.N.ICA adquiera material bibliograco de nivel avanzado,
ya que el investigador tuvo problemas para recopilar informacin para el pre-
sente trabajo en las bibliotecas de las facultades, de ser posible de Editoriales
e idiomas extranjeros.
3. La universidad a travs de las unidades pertinentes debe suscribirse a revistas
y publicaciones especializadas en investigacin matemtica, ya que en la
actualidad no se puede hacer investigacin sin conocer los avances de otras
latitudes del mundo.
4. La Universidad debe instalar el servicio de internet en las Facultades y pon-
erlo a disposicin de los investigadores, para facilitar la recopilacin de in-
formacin.
5. La Universidad debe adquirir software especializado y con su respectiva li-
cencia, para que los investigadores puedan modelar sus trabajos y relalizar
calculos de alta precisin.
26
Bibliografa
[Cartan] CARTAN, H. Clculo Diferencial. Edit. Omega 1972
[Cod. - Lev] E.A. CODDINGTON y N. LEVINSON. Theory of ordinary dier-
ential equations Edit. Mac-Graw Hill, 1955
[Guzman] de GUZMAN, M. Ecuaciones Diferenciales Ordinarias. Teora de Es-
tabilidad y Control Edit. Alhambra, 1975
[Yosida] YOSIDA, K. Equations Dierentielles et Intgrales. Edit. Dunod,
1971
[Pontryagin] PONTRYAGIN, L.S. Equations Direntielles Ordinaires. Edit.
MIR, 1969
[Dieudonne] DIEUDONNE, J. Fundamentos de Analisis Moderno. Edit. Revert
1966
[Rudin] RUDIN, W. Anlisis Real y Complejo. Edit Alhambra, 1979
[Simmons] SIMMONS, F. Ecuaciones Diferenciales, con Aplicaciones y Notas
Histricas. Mc.Graw Hill 1972
27