2

Resultados básicos sobre un

PVI para una EDOPO

Las bases en matemática tienen el rol

de las columnas sobre las que
descansa una estructura.
2.1 Formulación integral equivalente
Consideremos un PVI dado por

�
�
� dy
� = f ( x, y ), ( x, y ) �W ��2 (2.1)
� dx
�y ( x ) = y
� 0 0

para la función real incógnita y = y ( x) .

( x0 , y0 ) es un punto interior de la región W , tal como se ilustra en la Fig. 1

Fig. 1
Sea I un intervalo alrededor de x0 tal como se ilustra en la Fig. 2 siguiente

Fig. 2

Si el (PVI) establecido por (2.1) admite una solución y = y ( x) en el

intervalo I entonces y = y ( x) satisface también la ecuación integral
x
y ( x) = y0 + �f ( z , y ( z ) ) dz (2.2)
x0

Recíprocamente, cualquier y ( x) que satisface (2.2) debe necesariamente

satisfacer el (PVI) (2.1) (ser una solución de dicho (PVI)).
En consecuencia, se sigue que la cuestión de existencia de solución para el
(PVI) (2.1) es equivalente a la de existencia de solución para la ecuación
integral (2.2)

EJERCICIO 1
Probar la antes mencionada equivalencia .-
2.2 Funciones Lipschitzianas respecto de la variable dependiente
R. Lipschitz (1832-1903) matemático alemán, enunció una condición de la
siguiente manera:
La función real f = f ( x, y ) de las variables reales x e y , satisface una
condición de Lipschitz respecto de y, "xy �W, si $L > 0 tal que

f ( x, y1 ) - f ( x, y2 ) �L y2 - y1 , " ( x, y1 ) , ( x, y2 ) �W (2.3)

OBSERVACIÓN 1: Si f = f ( x, y ) es continuamente diferenciable respecto

de y en una región W cerrada acotada y convexa de �2 , satisface una
:

condición de Lipschitz allí pudiéndose tomar:

Max �
f
L= : (2.4)
( x, y ) �W �
y

2.3 Espacios Métricos Completos

Nos interesa en el presente texto, trabajar asiduamente con Espacios cuyos

elementos constitutivos son funciones (por ejemplo funciones continuas,
con derivadas primeras, segundas, etc, continuas) definidas en algún
intervalo del conjunto de los reales (eventualmente todos los reales). Estos,
se denominan Espacios Funcionales (infinito dimensionales), siendo
clásicamente usada la siguiente notación:
CI0 , C1I , CI2
para representar a los Espacios de funciones continua, con derivada primera
continua, con derivada segunda continua en el intervalo real cerrado I
respectivamente .
0
Por ejemplo C[ a ,b] podría representar al conjunto de funciones continuas en
[ a, b ] .
Si a un Espacio Funcional se lo provee de una métrica o distancia (esta
noción es conocida desde los cursos de Cálculos Diferencial de funciones
de una y varias variable /s real/es) , se tiene un Espacio Métrico.
En este texto, a la vista del tipo de Espacios Funcionales en interés, usamos
la así denominada métrica del supremo. Esto es, si f = f ( x ) y g = g ( x ) son
dos elementos (funciones cualesquiera por ejemplo de CI ( f , g �CI ) , la
0 0

distancia de entre f y g se define como:

d ( f , g ) = Max f ( x) - g ( x ) , (2.6)

x �I
Sucesiones Funcionales
Se expresan sencillamente estableciendo una correspondencia entre
elementos del Espacio y el conjuntos de los Naturales �. Ejemplo, sea
f n ( x), n �� un elemento genérico de la sucesión funcional { f i ( x)} i�� , con
x�I

1
f n ( x) = , x �[ 0,1] = I
1 + nx
Es claro que cada elemento de la sucesión provista en precedencia
pertenece por ejemplo al espacio CI0 con I = [ 0,1] pudiéndose proveer a tal
Espacio con la distancia explicitada por (2.6)

Sucesiones Funcionales Convergentes Puntual y Uniformemente.

La sucesión funcional { fi ( x)} i�� se dice que converge puntualmente para

x�I

x = x0 �I , al limite f ( x0 ) .Si dado e > 0, existe M > 0 ( M ��) de modo que

d ( fi ( x0 ), f ( x0 ) ) = Max fi ( x0 ) - f ( x0 ) < e (2.7)
con tal de tomar i �M
Si (2.7) se cumple para cada x0 �I , se dice que la convergencia es uniforme
hacia la función límite f = f ( x )

Sucesiones Funcionales de Cauchy

La sucesión funcional { fi ( x)} ,i�� se dice que es de Cauchy si dado e > 0

x�I

arbitrario, existe M natural tal que d ( f m , f n ) < e , x �I , siempre que

( x) (x)

m, n �M . -
Def.
Un espacio funcional métrico es completo si toda sucesión de Cauchy en el
es convergente (podemos en particular considerar la convergencia
uniforme)

Aplicaciones

En cursos de álgebra es frecuente trabajar con aplicaciones o

transformaciones (en particular lineales) definidas sobre elementos de
espacios vectoriales (de dimensión finita), por ejemplo la definida por las
matrices reales cuadradas operando (mediante el producto matricial) sobre
los vectores de �n . En Espacios Funcionales se definen aplicaciones o
transformaciones) sobre los elementos (funciones) de Espacios
Funcionales. Si el elemento resultante de transformar f , por efecto de
aplicar la transformación o aplicación L pertenece al mismo espacio en
que esta f , se dice que la transformación es cerrada.
Aplicaciones Contractivas

Consideremos dos elementos cuales quiera f = f ( x), g = g ( x), x �I de un

espacio funcional genérico CI y una aplicación L cerrada en CI . Además
CI esta provisto de una métrica d
Def.
Se dice que tal L es contractiva en CI si:
d [ L( f ),( L( g ) ] �a d ( f , g ) , x �I , 0 < a < 1 (2.8)

2.4 Resultado Local de Existencia y Unicidad de Solución

Teorema 1 (Local)(ver [1])
Sea el (PVI) de la forma expresada por (2.1) esto es
�dy
� = f ( x, y ) , ( x, y ) �W
�dx
�
�y ( x0 ) = y0
donde f = f ( x, y ) es continua definida en una región W y satisface la
condición de Lipschitz (2.3) en W , ( x0 , y0 ) �W .
Sea R el rectángulo tal que R � W definido por
+

{ }
R � ( x, y ) �W x - x0 �a, y - y0 �b (2.9)
Entonces existe una única solución del (PVI) (2.1) para x - x0 �h con h
� b �
dado por h = min �a, �, donde M es una constante positiva tal que
M � �
f ( x, y ) �M si ( x, y ) �R .
En la fig. 3 siguiente se ilustra gráficamente lo establecido por el Teorema
precedente

Fig. 3
La curva gráfica de la solución única queda confinada en SAR (curva
integral ).
El lector interesado puede intertar la demostración del Teorema 1
precedente haciendo uso oportuno de lo visto en la sección 2.3, para probar
que la ecuación integral dada por (2.2) posee solución única.

OBSERVACIÓN 2: Como se ve el resultado precedente solo asegura

existencia y unicidad de solución en un entorno I de x0 (resultado “local”)
que podría ser muy pequeño o no. Desde el punto de vista práctico interesa
poder saber si dicho entorno se puede ir extendiendo, esto es si se puede
prolongar o extender la validez del resultado si fuera posible hasta tocar el
borde de W . En tal sentido es oportuno tener presente el siguiente resultado
sobre
Prolongación de la Solución

Teorema 2
Sea el (PVI) (2.1) con W acotada entonces el intervalo I de existencia y
unicidad se puede prolongar a izquierda y derecha hasta que la
correspondiente “curva integral” (gráfica de la solución única del PVI),
toque la frontera o borde de W .-

2.5 Lema de Gronwall

Sean u = u ( x), v = v ( x ), w = w( x) funciones continuas no negativas en un

intervalo I del eje real �.
Sea
x
u ( x ) �v ( x ) + �w(t ) u (t ) dt
x0
(2.10)
entonces resulta la siguiente acotación para la función u :
x
�x �
u ( x) �v( x) + �w(t )v(t ) exp �
x0 ��
w( s) ds dt
t �
�
(2.11)
x
Prueba . Sea V ( x) = �
x
w(t ) u (t ) dt
0

dV
Entonces = w( x) u ( x)
dx
Para x �x0 , de ((2.10) se sigue que
u ( x) �v ( x ) + V( x) (2.12)

y ahora multiplicando (2.12) por w( x) y restando w( x) V ( x) se obtiene

u ( x) w( x) - w( x) V ( x ) �v( x) w( x)
es decir
dV
- w( x) V( x) �w( x) v( x) (2.13)
dx
w( s ) dt ] sale
x
y multiplicando (2.13) por exp - �
x 0
d �
�
dx � (x0 �
� )
V ( x) exp - �w( s) dt ��w( x)v( x) exp
x
( �w(s) dt )
x

x0

en consecuencia

( x0 )
V ( x) exp - �w( s) ds ���
x x
w(t ) v(t ) exp - �w( s) ds �
�
x0 �
x

x0 (
dt
�
� )
Por consiguiente, para x �x0 resulta
V ( x) ���
x

x0 �
� (x
w(t )v(t ) exp - �w( s) ds
x0 ) ���dt
por lo que de (2.12) se obtiene
u ( x) �v( x) + ��
x
w(t )v(t ) exp
x0 �
� ( �w(s) ds ) ���dt
t
x

que expresa parcialmente (para x �x0 ) el resultado de acotación enunciado

EJERCICIO 2
Para x < x0 , proceder en forma análoga a lo echo precedentemente con el fin
ce completar la demostración del Lema de Gronwall, estableciendo la
desigualdad

u ( x) �v( x) + ��
x
w(t )v(t ) exp
x0 �
� ( �w(s) ds ) ���dt
t

2.6 Otros Resultados de Existencia y Unicidad de Solución

Teorema 3
Sea f continua y lipschitziana respecto de y en la faja W de �2
determinada como W = [ a, b ] x� (ver figura 4) sea ( x0 , y0 ) un punto de W.
2

Entonces el (PVI) (2.1), posee solución única en [ a, b] .

Es de destacar que f no necesariamente debe estar acotada en W .

Fig. 4

Teorema 4
Sea f continua en la faja W de �2 definida por a < x < � (un semiplano
abierto a la derecha de a ). Supongamos además de que f es lipschitziana
respecto de y en toda subfaja cerrada de W de la forma a < x1 �x �x2 < �
ver figura 5. Entonces el PVI
 �dy
� = f ( x, y )
�dx (2.14)
�
�y ( x0 ) = y 0 , ( x0 , y0 ) �W
posee solución única en (a, �)

Fig. 5
Teorema 5
Sea f = f ( x, y ) definida y continuamente diferenciable en una región R
abierta de �2 . Entonces, cualquiera sea ( x0 , y0 ) �R , el PVI

�dy
� = f ( x, y )
�dx (2.15)
�
�y ( x0 ) = y 0

posee solución única definida en el intervalo x0 �x < d con d �� de modo

que, si d < �, o y ( x) se aproxima al borde o frontera de R o y ( x) se vuelve
no acotada conforme x � d .

2.7 Blow – up (escape) de la solución para un valor finito de la

variable independiente.
EJEMPLO 2
Sea el (PVI)
�dy
�dx
2
{
� = y , R � ( x, y ) �� y < k
2
}
�y ( 0 ) = y0 > 0, y0 < k
�
es f ( x, y ) = y 2 es definida y de clase C1 en R , claramente Lipschitziana con
por ejemplo L = 2k (nótese que R es no acotada, ver figura 6).

Fig. 6
 y
Por otro lado, se obtiene fácilmente que y ( x) = 1 - y x es solución del PVI
0

propuesto y en consecuencia se ve que tal solución “escapa” en el valor

1
finito xe = y (ver figura 6 ).
0

Se verifica un comportamiento de la solución de acuerdo a lo previsto por

el TEOREMA 5 precedente. Con relación al cuestión de posibilidad de
“escape” de la solución de un (PVI) para un valor finito de la variable
independiente, es oportuno establecer el siguiente resultado:
Sea el PVI denotado como (2.15), con f Lipschitziana respecto de y en
todo �2 y además verifica f ( x, 0) = 0 , "x ��, entonces la solución de (2.15)
no puede escapar para ningún x finito.
En efecto:
Como f ( z, y ( z )) �L y ( z )
x
y ( x) �y0 + L �y ( z ) dz
x0

aplicando el LEMA DE GRONWALL a la última desigualdad se obtiene

y ( x) �y0 e L ( x - x0 ) lo que concluye el resultado.

2.8 Dependencia continua de la solución del PVI (2.1) Con f Lipschitz

respecto de y en W .

(a) Con el dato inicial y0

Cambiamos el dato inicial y0 en (2.1) de modo que el nuevo punto inicial
( x0 , y0 ) sea interior a la región de existencia y unicidad de solución para el
PVI en cuestión.
En virtud de (2.2) podemos poner
x
y ( x ) = y0 + �f ( z, y ( z ))dz
x0

x - x0 �d
x
y ( x ) = y0 + �f ( z, y ( z ))dz
x0

En consecuencia:
x
y ( x) - y ( x) �y0 - y0 + �f ( z, y ( z )) - f ( z, y ( z ))dz (2.16)
x0

Teniendo presente (2.3) de (2.16) se sigue

x
y ( x) - y ( x) �y0 - y0 + L �y( z ) - y ( z ) dz (2.17)
x0

aplicando el Lema de Gronwall a (2.17) se concluye que:

y ( x ) - y ( x ) �y0 - y0 e L ( x - x0 ) (2.18)
lo que expresa la dependencia continua de la solución con el dato inicial .-
b) Con el valor inicial x0 Se mueve ahora x0 de modo que el nuevo punto
inicial a la región de extensiones y unicidad de la solución. Análogamente
que en (1) a) podemos poner
x
y ( x ) = y0 + �f ( zy ( z ))dz
x0

x - x0 �d
x
y ( x ) = y0 + �f ( z y ( z)) dz
x0

Entonces
x x
y ( x ) - y ( x) = �f ( z, y )dz - �f ( z, y( z ))dz
x0 x0

Caso x0 > x0 :

x x0 x
�f ( z, y( z))dz =�f ( z, y( z))dz + �f ( z, y( z))dz
x0 x0 x0

Luego de (2.18) se sigue que

x0 x0
y ( x) - y ( x ) = �f ( z, y( z))dz + ��
x0
�
�f ( z, y ( z ) - f ( z, y ( z ) �
x0
dz

y usando la acotación y lipschitzianidad de f resulta:

( )
x0
y ( x ) - y ( x ) �M x0 - x0 + L �y ( z ) - y ( z ) dz
x0

aplicando el Lema de Gronwall a esta última desigualdad se concluye que

y ( x) - y ( x) �M ( x0 - x0 ) e L ( x - x ) (2.20) 0

lo que provee la dependencia continua de la solución con x0 , en el caso

x0 > x0 .
EJERCICIO 3
Completar el resultado sobre dependencia continua con x0 , considerando
x0 < x0 .
En consecuencia, se obtiene la desigualdad
(
y ( x) - y ( x) �M x0 - x0 e ) L x - x0
(2.21)
(C) Con parámetros
Supongamos que la f en (2.1 contiene ademas el parámetro p, esto es, se
tendría el PVI.
�dy
� = f ( x, y, p ) , ( x0 y0 ) �D
* �dx
�y ( x0 ) = y0
�
Se destaca que la respectiva constante de Lipschitz L no depende de p, y
por otra parte que f es continua de p para p0 �p �p1 .
Entonces, se tiene
TEOREMA 6
La solución y ( x, p ) de (*) depende en forma continua del parámetro p.
d) Con la función f = f ( x, y )
Sea el PVI (2.1) con f que satisface las hipótesis ya explicitadas de modo
que se puede asegurar existencia y unicidad de solución en el intervalo
I �{ x : x - x0 �d } . Sea Q = Q ( x ) tal solución única.
Sea g=g(x,u) continua en D. Supóngase que además $d > 0 tal que
f ( x, y ) - g ( x, u ) �d para ( x, y ) ( x, u ) �D
Veremos que si 0 = 0 ( x) satisface el PVI:
�du
� = g ( x, u )
�dx (2.22)
�
�u ( x0 ) = u0 = y0
para x �I , ( x, 0 ( x)) �D
Entonces, para x �I se tiene
0 ( x) - Q( X ) �d .d , x �I (2.23)
En efecto en virtud de (2.2) se puede poner
x
y ( x ) = y0 + �f ( z , y ( z ))dz
x0
x
u ( x ) = y0 + �g ( z , u ( z )) dz
x0

es decir
x
Q ( x ) = y0 + �f ( z , Q ( z ))dz
x0
x
Q ( x ) = y0 + �g ( z , 0 ( z ))dz
x0
x
Q ( x ) - 0 ( x ) ��f ( z, Q( z )) dz
x0

usando ahora la suposición sobre la proximidad entre f y g se sigue que

x
Q( x ) - ( x) ��dz = d ( x - x0 ) �d x - x0 �d .d
x0

que es el resultado anunciado

OBERVACIÓN 3

Si al puesto de (2.22) se considera

�du
� = g ( x, u )
�dx (2.22)
�
�u = ( x1 ) = u0 �y0 , x1 �x0
con x1 �I ( x1 interior), ( x1u0 ) �D, es posible resumir en una sola desigualdad
los resultados precedentes sobre dependencia de la solución del PVI (2.1)
x0 , con y0 y con f . En tal sentido se plantea el siguiente ejercicio:
EJERCICIO 4
Bajo las hipótesis oportunamente establecidas, obtener la siguiente
desigualdad
L x - x0
0 ( x) - Q( x ) �� ��
�u0 - y0 + N x1 - x0 + d .d �e
� - 1�
�

donde N = Max g ( x, u ( x) ) , J el intervalo x �J de extremos x0 y x1

EJERCICIO 5
Considérese el (PVI):
�du
�dx + P ( x ) y = p, p = cte, b �x �C
�
�Y ( x0 ) = y0 , x0 �(b, c ), P �C[0b ,c]
�
Analizar el comportamiento de la solución de tal (PVI):
(i) A la luz de lo establecido por el TEOREMA 6
(ii) Resolviendo el PVI.
2.9 Resultados de comparación de soluciones
LEMA 1
Sea u = u ( x) una función diferenciable que satisface la desigualdad:
du
�ku ( x ), a �x �b
dx
siendo k una constante. Entonces

u ( x) �u (a)e k ( x -a ) , "x �[ a, b ]
Prueba: Multiplicando ambos miembros de la desigualdad dada por ek ( x -a ) ,
se puede expresar
du
� � d
� - ku ( x) �e - kx = � u ( x )e - kx �
� ��0
�dx � dx

En consecuencia debe ser

u ( x)e- kx �u ( a)e - ka
que es el resultado anunciado

TEOREMA 7

Sea F = F ( x, y ) Lipschitziana para x �x0 Si la función u satisface la

desigualdad diferencial
du
�F ( x, u ( x )), x �a
dx
y si v = v( x) es una solución del PVI
�dv
� = F ( x, v ( x ) )
�dx
�
�v( x0 ) = v0 = u ( x0 )
Entonces se tiene
u ( x ) �v ( x ) , x �x0
Prueba: Supongamos que u ( x1 ) > v ( x1 ) para algún x1 en el intervalo
considerado. Denotemos con x al mayor x en el intervalo x0 �x �x1 tal que
u ( x) �v ( x ) .
Entonces debe ser u ( x) = vx.
Se ahora w( x) = u ( x) definida como w( x) = u ( x) - v( x) siendo en consecuencia
w( x ) �0 para x �x �x1 y también
w '( x ) = u '( x ) - v '( x) �F ( x, u ( x) - F ( x, v( x) �L [ u ( x ) - v( x) ] = Lw( x)
En dicho intervalo. [L es la constante de Lipschitz de F].
Luego, la función w satisface
dw
�Lw( x), x �x �x1
dx
y consecuentemente a tal función cabe aplicarle el resultado del Lema 1
precedente lo que da
(
L x-x )
w( x) �wxe =0
es decir
0 �w( x) = 0x �x �x1
lo que esta en contradicción con lo supuesto w ( x1 ) > 0 y entonces se debe
tener u ( x ) �v ( x ) , "x �, x0 que es el resultado anunciado

TEOREMA 8

Sean u = u ( x), v = v( x) soluciones de los PVI:

�du �dv
� = f ( x, u ), x0 < x �a � = g ( x, u ), x0 < x �a
�dx �dx
�
�u ( x0 ) = u0 �
�v( x0 ) = v0 = u0
donde f y /o g se suponen lipschitzianas en la banda x0 �x �a . Además
f ( x, u ) �g ( x, v ) en x0 �x �a entonces se tiene
u = ( x) �v ( x ) "x �[ x0 , 0]
du
Prueba: supongamos que g es Lipschitz. Dado que = f ( x, u ), �g ( x, u ) , las
dx
u v
funciones y satisfacen las condiciones del TEOREMA 7 precedente.
En consecuencia, la desigualdad (comparación)
u ( x) �v ( x ) x �x0 se concluye inmediatamente. Si se supiera que f es
Lipschitz se arriba también al resultado.
Un (PVI) Autónomo
Se entiende por tal a un caso especial del (PVI) (0.1.0) cuando la función f
no depende explícitamente de la variable x . Para tal (PVI) denotaremos
con t a la variable independiente en atención al echo de que una gran
cantidad de problemas de aplicaciones en interés tienen al tiempo como
variable (problemas dinámicos)
Entonces, un PVI autónomo se formula de la siguiente manera :
�dy
� = F ( y ), t > t0 o´ t0 < t �T
�dt (0.1.20)
�
�y (t0 ) = y0
donde sin perder generalidad t0 se puede considerar como cero.
Mas allá de los resultados comentados hasta ahora para el PVI (0.1.0), se
estima oportuno analizar la resolución de (0.1.20)
QUESTION Nº1 : Dado el PVI:
�dy
� =+ y
�dt
�
�y (0) = 0
1
se puede rápidamente obtener que las funciones y (t ) �0 e y = t 2
4
satisfacen tal PVI. Esta esto en contradicción con el TEOREMA 8?
EJERCICIO 6
Considérese el siguiente PVI:
�dy
� = -1 - py (ay +by+c), t > 0
2

�dt
�
�y (0) = 0
donde se imponen a priori las siguientes restricciones
(i) p > 0, a > 0, b > 0, c > 0
1
(ii) b 2 < 4ac, c > b - a, p >
a -b+c
(iii) -1 �y �0
Entonces, analizar el comportamiento de la solución del PVI dado. Exhibir
gráficamente el comportamiento de F vs Y y de la solución Y vs t en el
contexto del resultado establecido por el siguiente TEOREMA (ver [2] )

TEOREMA 9

Sea F en (o.1.20) una función diferenciable con ceros simples. Entonces tal
PVI posee una única solución. Además:
(i) si F ( y0 ) < 0, la solución tiende al mayor cero de F el cual es
menor que ( y0 ) cuando t � +�.
(ii) Si F ( y0 ) > 0, la solución tiende al menor cero de F , el cual es
mayor que ( y0 ) cuando t � +�.
(iii) Si F ( y0 ) = 0, la solución es y = y0"t �t0 (solución estacionaria)

OBSERVACIÓN 4

Como podrá apreciarse oportunamente al analizarse problemas de

aplicación, con bastante frecuencia es posible obtener un panomarama
amplio sobre el comportamiento de la solución de (0.1.20) basándose en
lo establecido por el TEOREMA precedente.