Академический Документы
Профессиональный Документы
Культура Документы
Curso de Introduccin
Jos C. Sabina de Lis
Universidad de La Laguna
26 de junio de 2013
ii
ndice general
PRLOGO
1. Mtodos elementales
1.1.
1.2.
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1.
Ejemplos
. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2.
Escritura unicada . . . . . . . . . . . . . . . . . . . . . .
1.1.3.
Campo de direcciones
. . . . . . . . . . . . . . . . . . . .
1.1.4.
Poligonales de Euler
. . . . . . . . . . . . . . . . . . . . .
1.1.5.
Ejercicios
1.1.6.
El problema de Cauchy
1.5.
. . . . . . . . . . . . . . . .
11
. . . . . . . . . . . . . . . . . . . . . . .
14
18
19
1.3.1.
. . . . . . . . . . . . .
19
1.3.2.
Ecuaciones Homogneas . . . . . . . . . . . . . . . . . . .
22
1.3.3.
Ejercicios
23
1.3.4.
1.3.5.
Ecuaciones Lineales
1.3.6.
Ejercicios
1.3.7.
1.3.8.
1.3.9.
Ejercicios
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
25
. . . . . . . . . . . . . . . . . . . . .
27
. . . . . . . . . . . . . . . . . . . . . . . . . . .
28
. . . . . . . . . . . . . . . .
29
. . . . . . . . . . . . .
32
. . . . . . . . . . . . . . . . . . . . . . . . . . .
33
. . . . . . . . . . . . . . . . . . . . .
34
. . . . . . . . . . . . . . . . . . . . .
38
. . . . . . . . . . . . . . . . . . . . . . . . . . .
38
41
1.4.1.
. . . . . . . . . . . . . . . . . . . . . . . . . . .
43
Ecuaciones implcitas . . . . . . . . . . . . . . . . . . . . . . . . .
44
1.5.1.
. . . . . . . . . . . . .
48
1.5.2.
. . . . . . . . . . . . . . .
49
1.5.3.
Envolventes . . . . . . . . . . . . . . . . . . . . . . . . . .
51
1.5.4.
53
1.5.5.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
57
1.5.6.
Algunas soluciones . . . . . . . . . . . . . . . . . . . . . .
59
1.3.12. Ejercicios
1.4.
. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1.
1.3.
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Ejercicios
iii
iv
NDICE GENERAL
2. Existencia y Unicidad
2.1.
2.2.
2.3.
2.4.
61
. . . . . . . . . . .
61
2.1.1.
Preliminares
. . . . . . . . . . . . . . . . . . . . . . . . .
61
2.1.2.
Puntos jos . . . . . . . . . . . . . . . . . . . . . . . . . .
63
2.1.3.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
67
Teorema de Picard-Lindel . . . . . . . . . . . . . . . . . . . . .
69
2.2.1.
Problemas en bandas . . . . . . . . . . . . . . . . . . . . .
69
2.2.2.
. . . . . . . . . .
71
2.2.3.
72
2.2.4.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
74
2.2.5.
Algunas soluciones . . . . . . . . . . . . . . . . . . . . . .
77
Teorema de Cauchy-Peano . . . . . . . . . . . . . . . . . . . . . .
79
2.3.1.
79
2.3.2.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
81
2.3.3.
Teorema de Cauchy-Peano . . . . . . . . . . . . . . . . . .
83
86
2.4.1.
89
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.
. . . . . . . . . . . . . . . .
2.6.
Anexo
93
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
3. Depencia continua
3.1.
97
. . . . . . .
97
. . . . . . . . . . . . 101
3.2.
3.3.
3.4.
Ejercicios
3.5.
Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
3.6.
Ejercicios suplementarios
4.2.
4.3.
4.4.
. . . . . . . . 103
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
. . . . . . . . . . . . . . . . . . . . . . 113
4. Ecuaciones lineales
4.1.
. . . . . . . . . . . 103
Teora bscia
115
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
La ecuacin de orden
. . . . . . . . . . . . . . . . . . . . . . . 119
4.2.1.
Sistemas fundamentales
4.2.2.
Ejercicios
. . . . . . . . . . . . . . . . . . . 119
4.2.3.
4.2.4.
4.2.5.
Ejercicios
4.2.6.
4.2.7.
Ejercicios
4.2.8.
. . . . . . . . . . . . . . . . . . . . . . . . . . . 121
. . . . . . . . . . . . . . . . . . . . . . . . . . . 125
. . . . . . . . . . . . . . . . . . . . . . . . . . . 126
Sistemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.3.1.
4.3.2.
Eliminacin . . . . . . . . . . . . . . . . . . . . . . . . . . 132
4.3.3.
. . . . . . . . . . . . . 138
NDICE GENERAL
4.5.
4.6.
4.4.2.
4.4.3.
4.4.4.
Casos complejos
4.4.5.
4.4.6.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Sistemas fundamentales
. . . . . . . . . . . . . . . . . . . . . . . 159
4.5.1.
Casos no diagonalizables
4.5.2.
Casos no diagonalizables
4.5.3.
Casos no diagonalizables
4.5.4.
Ejercicios
Ejercicios
4.6.1.
. . . . . . . . . . . . . . . 150
. . . . . . . . . . . . . . . . . . . . . . . 153
2 2.
3 3.
4 4.
. . . . . . . . . . . . . . . 161
. . . . . . . . . . . . . . . 161
. . . . . . . . . . . . . . . 162
. . . . . . . . . . . . . . . . . . . . . . . . . . . 164
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . 168
4.7.
4.8.
. . . . . . . . . . . . . . . . . . . . . 171
4.9.
Ejercicios suplementarios
. . . . . . . . . . . . . . . . . . . . . . 174
5. Teora cualitativa
175
5.1.
5.2.
5.3.
5.4.
5.5.
. . . . . . . . . . . . . . . . . . . . . . . . . . . 184
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
5.4.1.
5.4.2.
5.4.3.
5.4.4.
. . . . . . . . . . . . . . . . . . . . . 191
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . 193
5.6.
Ejercicios
Puntos crtcios
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . 204
5.7.
5.8.
Ecuacin orbital
BIBLIOGRAFA
. . . . . . . . . . . . . . . . . . . . . . . . . . . 208
213
vi
NDICE GENERAL
Prlogo
vii
viii
NDICE GENERAL
Captulo 1
Introduccin y Mtodos
elementales
1.1. Introduccin
En trminos informales, una ecuacin diferencial tiene por incgnita una
n,
F (x, y, . . . , y (n) ) = 0.
El objetivo consiste en hallar
y(x)
y (n) ,
es
1.1.1. Ejemplos
Ejemplo 1.1. Teorema fundamental del clculo. La ms elemental de las ecuaciones es
y = f (x),
1
donde
f (x)
(a, b).
Esta
Propiedad 1.1.
Sea
f : (a, b) R continua.
{
y = f (x)
y(x0 ) = y0 ,
(a, b).
x0 (a, b)
A saber,
y0 R,
Entonces el problema
(1.1)
y(x) = y0 +
f (s) ds.
x0
La conclusin ms importante es que genricamente, las ecuaciones diferenciales admiten innitas soluciones. Lo corroboraremos en los siguientes ejemplos.
m se mueve sin rozamiento sobre la recta bajo el campo de fuerzas F (x) = kx,
k > 0 (Ley de Hooke), donde x es la posicin.
Propiedad 1.2.
Para
x0 , v0 R dados, el problema
mx = kx
x(t0 ) = x0
x (t0 ) = v0 ,
(1.2)
x = x0 cos
k
(t t0 ) + v0
m
m
sen
k
k
(t t0 )
m
mx = F (x)
x(t0 ) = x0
x (t0 ) = v0 ,
donde los datos son los valores
conocido.
x0 , v0 R3
y el campo de fuerzas
(1.3)
F (x) se supone
1.1. INTRODUCCIN
Ejemplo 1.4. Problema de los dos cuerpos. Dos cuerpos aislados de masas
x
1 = Gm2
x
2 x
1
,
|
x1 x
2 |3
x
2 = Gm1
x
1 x
2
.
|
x1 x
2 |3
m1 ,
desplazan en un plano
1.
movimiento son
El centro de masas
r = x
1 + (
x2 x
1 ) = (1 )
x1 +
x2 ,
M = m1 + m2
1 =
m1
m2
, =
,
M
M
cumple
r = 0.
Se tiene que
x
1 r =
x,
x
2 r = (1 )
x
x
=x
2 x
1 . Por tanto el movimiento relativo de los dos objetos celestes
m1 , m2 con respecto al centro de masas r se reduce a conocer x
(t). Se comprueba
donde
inmediatamente que
x
= GM
donde
= |
x|.
,
3
(1.4)
x
0 , v0 para
x
= (x(t), y(t)).
determinar el movimiento.
Fue Newton quien plante y resolvi a plena satisfaccin el problema. Trataremos de ello un poco ms adelante. Obsrvese que (1.4) constituye en realidad
un sistema de dos ecuaciones diferenciales
= GM 3
x
y = GM 3 ,
donde
x
= (x, y).
x(t)
representa el nmero de
x (t)
x(t)
se llama tasa
Propiedad 1.3.
1 Basta
k , k > 0.
El problema
{
x (t) = kx(t) + g(t)
x(t0 ) = x0 ,
(1.5)
para ello que las velocidades iniciales y el vector diferencia de posiciones iniciales
sean coplanarios.
x = x0 ek(tt0 ) +
ek(t ) g( ) d.
0
El trmino
k = k(t)
una funcin
x (t)
= kx(t)
x(t)
Propiedad 1.4.
Para cada t0
x 0 R,
el problema,
x (t) = x(k x)
x(t0 ) = x0 ,
(1.6)
admite una nica solucin. Adems, dos de las soluciones de la ecuacin (las
que corresponden, respectivamente, a los datos iniciales
x0 = 0
x0 = k/)
son
constantes.
x (t)
forma:
x = f (t, x),
x = (x1 , . . . , xn ), f = (f1 , . . . , fn ).
Todas las ecuaciones de los ejemplos anteriores, incluso la ecuacin diferencial de orden
en forma normalizada
x (t) + x(t) = 0,
1.1. INTRODUCCIN
con
xR
equivale al sistema
x1 = x2
x2 = x1 ,
(x1 , x2 ) = (x, x ).
El caso general se
trata igual.
Por lo tanto, toda la teora de ecuaciones diferenciales se desarrolla para
sistemas de primer orden.
y(x)
f (x, y)
R2 .
y = f (x, y),
en cada uno de los puntos
pendiente
(x, y(x))
de la curva
(1.7)
y = y(x)
m = f (x, y(x)).
Si
cada punto
(x, y)
m = f (x, y),
las
soluciones de la ecuacin son curvas que se ajustan al campo pues pasan por
los puntos de
sus elementos (x, y(x), y (x)) pertenecen al campo de direcciones (x, y, f (x, y)).
Una manera de visualizar las soluciones de (1.7) consiste en trazar en las
isoclinas de su campo de direcciones. Para m jado, el conjunto
Cm = {(x, y) /f (x, y) = m}
se denomina curva isoclina, siempre que
Cm
Cm
y(x)
y = fx + fy f.
Las soluciones son por tanto convexas en la regin
en
{fx + fy f 0}.
{fx + fy f 0}
y cncavas
{
x = f (t, x)
x(a) = x0 .
Se sustenta en las ideas geomtricas del epgrafe anterior. Se trata de aproximar
(t, x(t)) en
P 0 , P1 , . . . , P N .
un cierto intervalo
[a, b]
mediante una
Pi de la
Pi1 . As, conocida la regla de paso Pi1 Pi slo necesiP0 para obtener P1 , . . . , PN tras la aplicacin del procedimiento
veces.
Primeramente se divide [a, b] en N partes {t0 = a, t1 = t0 + h, . . . , tN =
ba
N se denomina el paso del algoritmo. Por otra parte
decir, los datos iniciales del problema de Cauchy cuya
t0 + N h = b} donde h =
se toma P0 = (t0 , x0 ), es
Pi = (ti , xi )
ti = ti1 + h,
xi1
con
xi
f (Pi1 ).
y = xy
y(0) = 1,
y = ex /2 . En
h = 0,1, h = 0,01.
1.1.5. Ejercicios
1. Probar que la ecuacin del Ejemplo 1.1 se reduce a
x
+ x = 0.
2.
x x = 0
x(0) = x0
x (0) = v0 ,
admite una nica solucin.
x0
1.1. INTRODUCCIN
h=.1
1.7
aprox
exacta
1.6
1.5
1.4
1.3
1.2
1.1
1
0
0.2
0.4
0.6
0.8
h = 0,1.
h=.01
1.7
aprox
exacta
1.6
1.5
1.4
1.3
1.2
1.1
1
0
0.2
0.4
0.6
0.8
h = 0,01.
1.1. INTRODUCCIN
nula.
4. Determnense los valores de
y + 2y = 0.
b)
y + y 6y = 0.
c)
y y = 0.
d)
y 3y + 2y = 0.
Soluciones. a)
= 2,
b)
= 2, 3,
c)
= 1,
d)
= 1, 2.
x2 y + 4xy + 2y = 0.
b)
x2 y 4xy + 4y = 0.
Soluciones. a)
p = 1, 2,
b)
p = 1, 4.
y + 2y y = et
b)
y 4(y )2 + sen x = 3 y
c)
x + f (x) = 0.
7. Sea
g C(R).
Probar que
ek(t ) g( ) d
x(t) =
0
resuelve la ecuacin diferencial
x = kx + g.
8.
x = t2 + x,
esbozando la grca aproximada de las soluciones.
de periodo
T,
i.e.
10
x = 1 + t x,
x(t) = t
es una solucin
y
.
x
a)
y =
b)
y = y.
c)
y = x + y.
d)
y = y y2 .
12. Sea
y(x)
una solucim
y = f (x, y)
de la que se sabe que
y (iv)
es de clase
C .
y , y
derivadas de
que se quieran.
13. Resolver aproximadamente, usando el mtodo de Euler, los siguientes problemas, en los intervalos especicados y con el paso dado.
a)
y =
b)
c)
prubese que
con
yn
h = 1/n
y = y
y(0) = 1,
(
)n
1
yn = 1 +
,
n
el valor aproximado de
y(1).
15. Escribir en cada caso la ecuacin diferencial que satisfacen las curvas
a) que contenidas en el primer cuadrante, cada uno de sus puntos divide en
partes iguales al segmento de tangente que queda en dicho cuadrante,
b) aquellas cuya la normal en cada punto y la recta que lo une con el origen
forman un tringulo issceles con el eje
OX ,
1.1. INTRODUCCIN
11
et , et
cumple:
z z = 0.
Multiplicando por
encontramos que
z z 2 = C,
2
con
constante y al ser
z = z = 0
en
t=0
resulta
z (t) z(t)2 = 0
2
es decir
para todo
z (t) = z(t)
t.
Armamos que
dad que existe
z(t) = 0. Si no,
t1 > 0 donde
z(t1 ) > 0,
por tanto existe
0 t0 < t 1
de la ecuacin
es convexa en
tal que
z>0
en
z = z,
[t0 , t1 ]
luego necesariamente:
z (t1 ) > 0,
(t0 , t1 ]
z(t0 ) = 0.
Al ser,
12
z > 0
en
(t0 , t1 ].
Por tanto:
z = z
en
[t0 , t1 ].
z = z(t1 )e(tt1 )
z
> 0).
x1 (t), x2 (t)
con lo cual
dieren en
que
z = kz,
z
es
T -perdica
z(t) = Cekt .
La nica manera en la que el segundo miembro es
C = 0.
Luego
T peridico
es con
x1 (t) = x2 (t).
Buscamos ahora
x0
x = kx + g(t):
x(t) = x0 ekt +
ek(t ) g( ) d
0
sea
T peridica.
t+T
x(t + T ) = x0 ek(t+T ) +
ek(t+T ) g( ) d =
x0 ek(t+T ) +
ek(t+T ) g( ) d +
ek(ts) g(s + T ) ds =
0
x0 ek(t+T ) +
ek(t+T ) g( ) d +
ek(t ) g( ) d.
0
Igualando
x(t) = x(t + T )
resulta
kt
x0 e
= x0 e
k(t+T )
ek(t+T ) g( ) d,
0
de donde, simplicando
ekt
resulta:
(1 e
kT
)x0 =
ek(T ) g( ) d,
0
es decir:
x0 =
Este es el valor de
x0
1
(1 ekT )
ek(T ) g( ) d.
(1.8)
1.1. INTRODUCCIN
13
t0
h(t) = c(t t0 ),
donde
Llamamos
el ancho de la carretera
vdt = Ah(t)dx.
De aqu:
v
dx
=
.
dt
Ac(t t0 )
La trayectoria de la mquina es:
x(t) = x0 +
v
log
Ac
t t0
12 t0
)
.
x(13) = x0 + 2
Haciendo
x(14) = x0 + 3.
= 12 t0 resulta:
(
)3 (
)2
+1
+2
1 + 5
=
=
.
(
12
horas.
1 +
2
)
5
14
f:
diremos que
R Rn
(t, x)
7
el par (x, I), donde I
Rn
f (t, x)
continua,
R Rn
es un intervalo abierto de
x:
I
t
un abierto,
Rn
x(t)
x = f (t, x),
(1.9)
si
(a) Para cada t I : (t, x(t)) ,
I.
f (t, x)
Cuando
f:
Rn
x
Rn
no depende de t,
f (x)
. Una solucin x(t) de
se dice que
es un
la ecuacin
x = f (x)
parametriza una curva
f.
x1
= f1 (t, x1 , . . . , xn )
.
.
.
xn
= fn (t, x1 , . . . , xn ).
Denicin 1.5.
iniciales
(x, I)
de
x = f (t, x)
(1.10)
tal que t0
x(t0 ) = x0 .
15
Observaciones. La denicin de solucin que hemos dado resalta que debe tenerse en cuenta el dominio de denicin
la solucin se construye de manera terica, sta slo est denida en un pequeo intervalo que va prolongndose paulatinamente. Puede considerarse en
la denicin cualquier tipo de intervalo
son abiertos.
El concepto de solucin introducido, amn de aparatoso, lleva a especulaciones triviales del tipo siguiente. Si
(y, J)
I J , se
I ) y entonces (x, I) tambin es otra
x = y|I
solucin de (1.9).
Denicin 1.6.
de:
x = f (t, x),
(y, J) es una prolongacin de (x, I) o simplemente
I J mientras y(t) = x(t) para todo t I .
se dice que
a
x(t)
si
que
y(t)
extiende
(x , I )
(x, I)
del
Propiedad 1.7.
Sean
y : (a, b] Rn , z : [b, c) Rn
soluciones de la ecuacin:
x = f (t, x),
tales que
y(b) = z(b).
Entonces
x(t) = y(t)
si
si
t (b, c)
Denicin 1.8.
x(t) = y(t)
para cada
t I J.
(1.11)
I J.
>0
(t0 , t0 + )
16
Propiedad 1.9.
S = {(y, J) : (y, J)
solucin de (2)}
= {(y , J ) : A}.
(t0 , x0 )
Propiedad 1.10.
(t0 , x0 ) ,
y la propiedad de unicidad
(x, I)
(t0 , x0 ).
E = {t J S : y(t) = z(t)}.
E = pues t0 E . Supongamos ahora que tn E y que tn t
(t1 , t1 + ) E
conexidad E = J S .
, t1 + ).
Por
Luego
y(t) = z(t)
J S.
para
t (t1
es abierto en
x = |x|
x(0) = 0,
17
(1.12)
donde,
G:
R Rk
(t, y0 , y1 , . . . , yk1 )
R
G(t, y0 , y1 , . . . , yk1 ),
R Rk
un par
x(t0 )
x (t0 )
=
=
1
2
.
.
.
x(k1) (t0 ) =
k .
Las ecuaciones (1.12) se puede expresar de forma equivalente como una ecuacin del tipo (1.9).
Propiedad 1.11.
I.
x(t)
es una solucin de
(1)
denida en el in-
Entonces la funcin
x
(t) = (x1 (t), x2 (t), . . . , xk (t)) = (x(t), x (t), . . . , x(k1) (t))
es solucin de:
x1 = x2
x = x
3
2
...
(1.13)
x
= f(t, x
) donde f = (f1 , . . . , fk )
es f1 = x2 , . . . , fk = G(t, x1 , . . . , xk ). Por otra parte, si (
x, I) es una solucin de
sta ltima, x
(t) = (x1 (t), . . . , xk (t)), entonces x1 (t) ( (x1 , I)) es solucin de
(1.12).
18
1.2.1. Ejercicios
1. Sea
x(t)
x = f (x).
y(t) = x(t c)
c R.
Prubese que
constante
x =
a) Es
x(t) = t2 /4
|x|.
de
R?
Deter-
I.
x(0) = 0.
[0, ]
cumpliendo
x(0) = 1?
3. Para
x = kx( x),
sin resolverla.
19
G(, y) = 0 donde es
0 es fcil resolver la
ecuacin, y en efecto podemos hallar una solucin en particular y0 . Bajos ciertas
probar la existencia de soluciones
de una ecuacin
prximas a
y0 ,
para valores de
prximos a
0 .
Se puede
unicidad.
Teorema 1.12
F :
U
un conjunto abierto de
existe
Sea
(x0 , y0 ) U
U Rn Rm
(x, y)
Rn Rm ,
Rm
F (x, y),
C 1.
Supongamos que
tal que
F (x0 , y0 ) = 0.
F
Supongamos adems que y (x0 , y0 ) es nosingular, o lo que es lo mismo, que
F
1
1
existe la inversa y (x0 , y0 ) . Entonces, existen , > 0 y una funcin C ,
g:
con
a)
B (x0 )
x
Rm
g(x)
es solucin
de la ecuacin:
F (x, y) = 0.
(E)
t0 (a1 , a2 ), x0 (b1 , b2 )
{
x = p(t)f (x)
x(t0 ) = x0 ,
(x, I).
el problema de Cauchy
(1.14)
Adems:
f (x0 ) = 0.
20
b) Si
es de clase
C1
entonces
se suele representar
(, ).
El semintervalo
[t0 , )
ciona la ecuacin.
Uno de los grandes problemas abiertos en ecuaciones que se resuelve explcitamente en el caso de variables separadas consiste en dar informacin sobre
dicho intervalo en clases generales de ecuaciones (ver la observacin ii) debajo).
Observaciones 1.11.
i) Como prueba el ejemplo de
conseguir la unicidad local si
x = |x| la
f (x0 ) = 0.
sola continuidad de
t (a1 , a2 ).
no basta para
siguen muestran que en general las soluciones no estn denidas en dicho intervalo.
x = x2
x(t0 ) = x0 .
x (t) = x(k x)
x(t0 ) = x0 .
x0
x = cos t (1 + x2 )
parmetro .
f (x0 ) = 0
Cuando
(c) x0 <
x(t) = x0
k
.
para diversas
Denicin 1.14.
x = f (t, x)
si
Se dice que
x(t) = c
con
x(t)
constante.
Propiedad 1.15.
solamente si
todo t.
2 En
x(t) = c
f (t, c) = 0 para
x = f (t, x)
si y
por ejemplo,
localmente Lipschitzciana en
(b1 , b2 ).
21
x = f (x),
x = f (x)
x(t0 ) = x0 .
Si:
F (x) =
x0
y si
f (x0 ) = 0
(1.15)
ds
,
f (s)
la solucin cumple:
x(t) = F 1 (t t0 ).
(1.16)
La relacin (1.16) dice que basta resolver el problema con t0 = 0, cuya solucin
1
es y(t) = F
(t), para tener la de (1.15) por traslacin x(t) = y(t t0 ).
Otra propiedad que tiene que ver con la ecuacin autnoma es la siguiene.
Propiedad 1.16.
Si
x(t)
resuelve
x = f (x),
t [t0 , )
cumple:
lm x(t) = c,
t+
entonces
y(t) = c
f (c) = 0.
x = f (x)
las soluciones de equilibrio juegan un papel importante con respecto a las soluciones prximas.
Propiedad 1.17.
un cero de
f.
Sea
una funcin
C1
en el intervalo
(c1 , c2 )
f (x) > 0
Entonces para todo
est denida en
x (c1 , c),
f (x) < 0
x0 (c1 , c2 ) la solucin de
{
x = f (x)
x(t0 ) = x0 ,
[t0 , )
y adems:
lm x(t) = c.
x (c, c2 ).
c (c1 , c2 )
22
ecuacin
Propiedad 1.18.
Sea
una funcin
C1
x0 > b
la solucin maximal
es creciente en
(a, )
mientras
x > b a.
f (x) > 0
Entonces para cada
en el intervalo
(x, I)
de
x = f (x)
x(t0 ) = x0 ,
I [t0 , ) = [t0 , )
y satisface:
lm x(t) = +.
Ms an:
= t0 +
x0
ds
.
f (s)
= log x, x =
f : (a1 , a2 ) R
(x)
t
. Es decir,
x = f
(x)
t
f (t, x) =
x
{(t, x)/a1 < < a2 }.
t
el cambio de variable
u(t) =
t > 0.
Dichas
Cauchy,
es equivalente a,
x(t)
. En efecto,
t
(x)
x = f
t
x(t0 ) = x0 ,
para
f (u) u
u (t) =
t
x
0
u(t0 ) =
.
t0
(t0 , x0 )
el problema de
23
Proposicin 1.19.
solucin. Si
es nica.
Si f C(a1 , a2 ) el
f C 1 (a1 , a2 ) dicha solucin
x = mt
es solucin si y solamente si
f (m) = m.
x dy = y + x2 + y 2
dx
y(1) = 0.
Algunas ecuaciones sencillas se reducen a ecuaciones homogneas. Esto se
muestra en los siguientes ejercicios.
du
t+u+1
=
.
dt
tu+3
Estudiar un cambio de variable de la forma
U = u + k1 , = t + k2
que permita
resolver la ecuacin.
Ejercicio 1.2. Demustrese que la ecuacin diferencial,
du
at + bu + m
=
,
dt
ct + du + n
puede reducirse a casos elementales. Para ello es conveniente distinguir entre
ad bc = 0
ad bc = 0.
ecuaciones diferenciales:
(t + 2y + 3) + (2t + 4y 1)y = 0.
1.3.3. Ejercicios
1. Resolver las siguientes ecuaciones en variables separadas:
dy
+ y cos t = 0.
dt
(c) y = et+y+3
dy
(e)
= 1 t + y 2 ty 2
dt
(a)
(b) y = (1 + t)(1 + y)
dy
(d) cos y sen t
= sen y cos t
dt
(f ) t2 (1 + y 2 ) + 2yy = 0
24
dy
(a) t2 (1 + y 2 ) + 2y
= 0,
dt
dy
t sen y
(b) cos y
=
,
dt
1 + t2
dy
(c) 3t
= y cos t,
dt
dy
+ 1 + t2 y = 0,
(d)
dt
dy
2t
(e)
=
,
dt
y + yt2
dy
= k(a y)(b y),
(f )
dt
dy
(g) (1 + t2 )1/2
= ty 3 (1 + t2 )1/2 ,
dt
t
Indicacin. En d)
1 + t2 = t 1 + t2 argsh
0
hacer t = senh s.
y(0) = 0
lmt0+ y(t) =
y(1) = 0
y(0) = 5
y(0) = 1
y(0) = 0 (a, b > 0)
y(0) = 1.
t,
3. Determinar las curvas tales que la normal en cada punto y la recta que lo
une con el origen forman un tringulo issceles con el eje
OX .
4. Demustrese que una curva regular plana tal que todas sus normales pasan
por un punto jo es una circunferencia.
5. Demostrar que una curva regular plana tal que la pendiente de la tangente
en cualquier punto es proporcional a la abcisa en dicho punto es una
parbola.
6.
C.
de produccin de
concentraciones de
del tiempo.
7. Comprobar que las siguientes ecuaciones son homogneas, y resolverlas:
y 2 + 2ty
y2
(c) xy = x2 y 2 + y
(a)
y =
(b)
(d)
y 3 + t3
y 2 t + t3
y3
y = 2
.
xy x3
y =
y(1) = 1
x(1) = 1
y(1) = 1
y(1) = 1.
Soluciones. a)
9.
y = x,
b)
x = t.
y = mx
dy
y
= .
dx
x
condiciones es
la ecuacin
10.
25
y = mx
y = f (x)
A + B C.
a, b, c representan
a, b, c son:
Si
Se conocen
a 0 , b0
las concentraciones de
A, B, C
a = kab
b = kab
c = kab.
c0 = c(0)
de donde:
k=
c0
.
a0 b0
a + c = a0
pues
c(0) = 0.
b + c = b0 ,
dc
= k(a0 c)(b0 b)
dt
c(0) = 0.
C = {(x, g(x)) : x I}
26
entonces:
donde suponemos
Si
y = g(x),
x
C = {(x, g( )) : x I}
> 0 e I (0, ).
parametrizando la curva
resuelve
{
y = f (y/x)
y(x0 ) = y0 ,
entonces
es la solucin de
(0, 0)
son ne-
cesariamente homotticas.
C = C .
Solucin 10. En la reexin en un espejo, la tangente en el punto de incidencia es bisectriz del ngulo formado por el rayo incidente y el reejado.
Suponemos que los rayos parten de
paralela a
e1 = (1, 0)
(0, 0),
(x(s), y(s)).
c(s)(x(s),
y(s))
=
Escribiendo la curva en la forma
(x(s), y(s))
+ e1 .
r
y = y(x)
y =
la ecuacin es
y
.
x+r
x2 + y 2 = V0 .
(1.17)
27
x.
Tal
ecuacin,
x = a(t)x,
(1.18)
x = a(t)x + b(t),
(1.19)
Propiedad 1.20.
Para cada
(t0 , x0 ) (a1 , a2 ) R
{
x = a(t)x
x(t0 ) = x0 ,
el problema
t
x(t) = x0 exp{
a( ) d }.
t0
Propiedad 1.21.
a) Si
y2 (t)
y1 (t), y2 (t)
x(t) = y1 (t)
xp (t) es una
y(t), una cierta
b) Si
x(t)
solucin de (1.19)
t
t
t
x(t) = x0 exp{
a(s) ds} +
exp{
a( ) d }b(s) ds.
t0
t0
(1.20)
28
a) x + (cos t)x = 0
2t
1
b) x + 1+t2 x = 1+t2
2
2 5
c) (1 + t )x + tx = (1 + t ) 2
Observaciones 1.20. Las soluciones de las ecuaciones lineales (1.18) y (1.19)
existen donde estn denidos los coecientes, es decir en
(a1 , a2 ).
(a1 , a2 ) (
a1 , a
2 ),
(a1 , a2 )
(
a1 , a
2 ),
se extiende
con unicidad a dicho intervalo (ejercicio). Sin embargo, si los coecientes a(t) o
b(t) no pueden extenderse continuamente ms all de (a1 , a2 ), porque presentan
alguna singularidad en uno de los extremos, en general, las soluciones tampoco
podrn ser prolongadas. Vanse los siguientes ejemplos.
x = 1t x +
1
t2 ,
2 t
b) x = x + e
t > 0 (todas son regulares en t 0+).
t
1
sen t
c) x = x+cos t+
t > 0 (algunas de las soluciones son regulares cuando
t
t
t 0+).
Ejemplos 1.21. a)
1.3.6. Ejercicios
1. Resolver las siguientes ecuaciones lineales:
(a)
(c)
(e)
dy
2t
1
+
y=
dt
1 + t2
1 + t2
dy
+ t2 y = t2
dt
2
y y = 2xex+x
dy
+ y = tet
dt
dy
(d) (1 + t2 )
ty = t(1 + t2 )5/2
dt
y
1
(f ) y
= (x + 1)3 .
x+1
2
(b)
dy
(a) (1 + t2 )
+ 4ty = t,
dt
dy
(b)
2ty = t,
dt
(c) y + y tan x = sec x,
(d) y + y cos x = sen x cos x,
y(1) =
1
4
y(0) = 1
y(0) = 0
y(0) = 1.
y + ay = bect donde
cero cuando t +.
b R,
tienden a
4. Hallar las curvas contenidas en el primer cuadrante tales que cada punto divide en partes iguales al segmento de tangente que queda en dicho
cuadrante.
5.
son continuas
las soluciones
29
y + y = g(t)
{
donde
g(t) =
7.
y(0) = 0,
2 0t1
0 t > 1.
T del cuerpo
o
del medio. Si la temperatura del medio es de 20 C y
o
o
el cuerpo se enfra en 20 minutos desde 100 hasta 60 , dentro de cuanto
o
tiempo su temperatura decender hasta 30 ?
un medio es proporcional a la diferencia entre la temperatura
y la temperatura
T0
C = C(t)
es:
dC
C
=62
.
dt
300 + t
y = y0 e
t
0
t
s
0
En primer lugar:
y2 (t) = e
t
M
a
0
c
2
M
s
si
t M > 0.
t .
Escribimos:
f (s) ds +
t
s
t .
30
Por tanto
|y3 (t)|
si
t M1 M .
|y4 (t)|
para
t M1 . Se
t .
Asimismo
= ,
2c
2
|y2 (t)|
si
t M1
y2 (t) 0
cuando
donde
u = c(u T )
u(t)
t0
es
c > 0
es la constante de
u0
u T = (u0 T )ec(tt0 ) .
Usando los datos del problema:
40 = 80e20c
donde
c=
10 = 80ect ,
log 2
20
t =
30o
C. Por tanto:
1
log 8 = 60.
c
vi
ci
ve
litos/minuto.
La variacin de volumen es (en litros minuto)
dV
= vi ve
dt
V (t) = V0 +
(vi ve ),
0
as
dCi
= ci vi
dt
gramos/minuto y sale del depsito a razn de
C(t)
dCe
= c(t)ve = ve
dt
V (t)
vi
ve
son variables
C(t)/V (t)
es:
C(t)
31
t, c(t) =
dC
dCi
dCe
C(t)
=
= ci vi ve
.
dt
dt
dt
V (t)
Substituyendo datos, la
C(t)
(C)
C(t)
dC
=62
dt
300 + t
C(0) = 50.
(cV )
= vi ci ve c
dt
V c + cV = vi ci ve c,
por tanto:
vi
c
=
,
ci c
V (t)
(
) t
ci c0
vi
log
=
ds.
ci c
0 V (s)
Por tanto:
donde
ci c0
ci c
ci = 2, c0 = 1/6, vi = 34.
(
=
300 + t
300
)vi
32
x:
f (t, x) = a0 (t) + a1 (t)x + + an (t)xn ,
ai (t), 1 i n,
(a1 , a2 ) R. Sin embargo esta
intervalo
ecuaciones como para poder ser estudiada desde el punto de vista elemental del
presente captulo. De hecho, el nico caso que es integrable elementalmente es
x = a1 (t)x + an (t)xn ,
(n 2).
y(t) = x(t)1n ,
para llegar a:
y = (1 n)a1 y + (1 n)an .
El problema:
x = a1 (t)x + an (t)xn
x(t0 ) = x0 ,
(1.21)
es equivalente entonces a:
{
y = (1 n)a1 (t)y + (1 n)an (t)
y(t0 ) = x1n
,
0
Obsrvese que si
x0 = 0, x(t) 0
mismo argumento que en el Teorema 1.13 se demuestra que (1.21) admite una
nica solucin para cada
Si
a0 (t) 0
x0 R, t0 (a1 , a2 ).
f (t, x) correspondiente
en la expresin de
n = 2,
la ecuacin
x0 (t)
de la ecuacin
33
x = x x2 + f (t),
donde
f (t) = cos tsen t+sen2 t o bien f (t) = cos tsen t+e2t +2et sen t+sen2 t.
x = tx + x2 + 1.
1.3.9. Ejercicios
1. Usar el argumento del Teorema 1.13 para probar la unicidad local de
soluciones del problema de Cauchy para la ecuacin de Bernouilli
{
x = a1 (t)x + an (t)xn
x(t0 ) = x0 .
2. Resolver las siguientes ecuaciones de Bernouilli y de Riccati:
(a) (1 + x3 )y + 2xy 2 + x2 y + 1 = 0
dy
(c) y 2 (x + x2 ) + 3 + x2 y
=0
dx
dy
+ 2x + x2 y y 2 = 0
(e) (1 x3 )
dx
Indicacin (e): usar
yp (x) = x2
dy
y = y 2 log x
dx
dy
(d) x
+ y = (x log x)y 2
dx
dy
a3
(f ) xy 2
+ y3 = .
dx
x
(b) x
(a) y = x2 2xy + y 2 ,
(b) x2 y + 2x3 y = y 2 (1 + 2x2 ),
(c) x(1 x2 )y x2 + (x2 1)y + y 2 = 0,
y
1
(d) y +
= (x + 1)3 y 2 ,
x+1
2
y(0) = 1
y(2) = 2
y(1) = 1
y(0) = 1.
y + a(t)y = b(t)y n ,
donde
en la forma
ltima como
(F ((t)y)) = b(t)
e intgrese as la ecuacin.
34
M, N
(1.22)
R2 .
s I.
Esto signica geomtricamente que las curvas solucin son ortogonales al campo
(M, N )
en cada punto de
y = y(x), x J ,
forma:
y =
mientras que si expresamos
x = x(y)
M (x, y)
,
N (x, y)
(1.23)
x =
N (x, y)
.
M (x, y)
(1.24)
trizacin. Es decir:
V (x(s), y(s)) = c,
para
s I.
Entonces
(x(s), y(s))
cumple:
M = Vx , N = Vy .
s I.
Dene esencialmente lo
Denicin 1.22.
Sean
M, N : R continuas
(x, y) R2 . Se dice que la
R2 ,
diferencial y =
en un dominio
N (x, y)
1
de (x, y) y V (x, y) C (U, R) tales que M = Vx y N = Vy en U .
abierto
y la correspondiente
(x, y) .
Teorema 1.23.
exacta en
35
(x0 , y0 )
y =
M (x, y)
N (x, y)
es
el problema,
y = M (x, y)
N (x, y)
y(x0 ) = y0 ,
admite una nica solucin que localmente satisface
V (x, y) = c,
donde
es constante.
Teorema 1.24.
Sean
R2
un dominio y
My = Nx
Entonces, la ecuacin diferencial
y =
en
M, N C 1 (, R)
tales que,
M (x, y)
N (x, y)
es exacta en
V (x, y)
soluciones
V (x, y)
constante) es:
V1 (x, y) =
N (x, s) ds,
x0
o tambin,
y0
V2 (x, y) =
N (x0 , s) ds.
y0
V (x, y)
M (t, y) dt +
x0
valor comn
M (t, y0 ) dt +
(x0 , y0 ).
condicin necesaria y suciente para que esto suceda es que sea simplemente
2
conexo. Un dominio R es simplemente conexo si toda curva de Jordan
en
enteramente contenido en
En otras palabras,
carece de agujeros.
V (x, y) como:
V (x, y) =
M dx + N dy,
donde
con
x0 , x
RN
36
Si
Propiedad 1.25.
V C 1 (), R2 un dominio, M = Vx , N = Vy , y
1
cerrada contenida en de clase C a trozos (sin restricciones
cualquier curva
Sea
M dx + N dy = 0.
Demostracin. Si
M dx + N dy =
d
V (g(s)) ds = V (g(t))|ba = 0.
ds
C 1 , V = V (x, y),
denida en todo
V
y
= 2
x
x + y2
En efecto, si tal
existe y
tal que:
V
x
= 2
.
y
x + y2
x2
orientada
que:
y
x
dx + 2
dy = 2.
2
+y
x + y2
Por tanto
y
x
dx + 2
dy =
2
2
x +y
x + y2
{Vx x + Vy y } dt = 0.
no puede existir.
es por ejemplo
menos un radio.
Teorema 1.26.
1
C ()
2
Sea R un dominio plano simplemente conexo,
1
de clase C cumpliendo la condicin de exactitud:
M, N
My = Nx .
Para P0 = (x0 , y0 ) jado en y P = (x, y) arbitrario sea (P0 , P ) una
poligonal de lados paralelos a los ejes que conecta P0 con P . La funcin
V (P ) =
M dx + N dy
(P0 ,P )
es
C 1 y Vx = M , Vy = N . En consecuencia, y en virtud
(P0 , P ) puede sustituirse por cualquier arco C 1 a
P.
de la propiedad precedente
trozos que conecte
P0
con
37
como
cerrada con lados paralelos a los ejes; por tanto con un nmero nito de autointersecciones (salvo coincidencia parcial de lados). Dicha poligonal se factoriza
en una suma nita de curvas de Jordan, ms curvas cerradas triviales del tipo
segmentos recorridos en un sentido y el contrario. Con ayuda del teorema de
Green (ver ms abajo) en los lazos no triviales concluimos:
M dx + N dy = 0.
M dx + N dy =
M dx + N dy
(P0 ,P )
(P0 ,Q)
+
M dx + N dy =
{M dx + N } dy + W (P ),
V (P ) =
(Q,P )
donde
(P0 ,Q)
1.25 entonces
Teorema 1.27
(Teorema de Green)
1
, una curva de
int . Entonces:
Jordan
Sean
M, N
de clase
C1
en un dominio
R=
(Nx My ) dxdy.
M dx + N dy =
, R
Sean
M, N
de clase
C1
en
(Nx My ) dxdy.
M dx + N dy =
Observacin 1.27. Para la prueba del Teorema 1.26 se observa que la poligonal
cerrada
R ms segmentos
38
y =
con
(1.25)
R2 ,
= (x, y)
y =
.
Siendo
, M
equivalente:
es exacta en
M (x, y)
,
N (x, y)
M (x, y)
,
N (x, y)
de clase
C1
en
es evidente que:
(M )y = (N )x ,
constituye una condicin necesaria y suciente para que
(x, y)
sea un factor
Ejemplos 1.28.
1) La ecuacin,
1
x
x =
t
1
x2
x
2t +
( =
d
)
dt
es exacta.
2) La ecuacin:
y =
admite a
(x, y) = e2x
xy 2 + x2 y 2 + 3
x2 y
( =
d
)
dx
1.3.12. Ejercicios
1. Resolver las siguientes ecuaciones exactas:
(a)
(b)
(c)
(d)
dy
2t sen y + y 3 et + (t2 cos y + 3y 2 et )
=0
dt
dy
1 + (1 + ty)ety + (1 + t2 ety )
=0
dt
dy
y sec2 t + sec t tan t + (2y + tan t)
=0
dt
( 2
)
y
2yet dt + (yt 2et )dy = 0.
2
V = t2 sen y + y 3 et ,
b)
V = (1 + ety )t + y ,
c)
V = y 2 + y tan t + sec t
d)
V =
ty 2
2
V = c, c
39
constante, donde
2yet .
dy
= 0, la
P (x, y) + Q(x, y)
dx
y Q
cual suponemos es exacta. Prubese que P (x, y)
(x, s) ds es una
y0 x
funcin que slo depende de la variable x.
2. Para
P , Q C 1 ()
se considera la ecuacin
M (x, y)
ms general
x
)dy = 0
y
a)
M dx + (sec2 y
b)
(b) y = e2x + y 1
(d) x + y 2 2xyy = 0.
Soluciones.
a)
= y . V = xy 2 (1 + y)ey .
b)
= ex . V = 2 cosh x yex .
c)
1
x2 .
V =
d)
1
x2 .
V = log |x|
y2
2
xy
1
x.
y2
x .
(a)
(b)
(c)
(d)
Soluciones.
a)
= (t + x2 )3
b)
= 2, =
1
x2y+3
= (t + x2 )
= (x + y),
= (x2 + y 2 )
= 1t (y).
por determinar,
40
1
(x2 +y 2 )3/2
c)
d)
(y) =
1
y3 .
b)
c)
7. Supngase que
Nx My
= h(xy),
xM yN
es decir, el primer miembro es una funcin de
xy .
Demustrese que la
ecuacin diferencial:
xy . Como
aplicacin resul-
vase la ecuacin:
(
)
(
)
1
x 1
2 + cos xy dx +
+ cos xy dy = 0.
x
y
y
(d) 2ty + y 2 (
+ (t2 + 2ty)y
) = 0,
2x
y 2 3x2
(e)
dx +
dy = 0,
y3
y4
(f ) x + sen x + sen y + cos y y = 0,
y(0) = 0
(g) 2xy 2 3y 3 + (7 3xy 2 )y = 0,
9. Hllense todas las
f (t)
y(0) = 1
y(0) = 0
y(0) = 2
y(2) = 1
y(1) = 1
y(1) = 1.
y 2 sen t + yf (t)y = 0
sea exacta.
10. Se sabe que la ecuacin:
f (t)y + t2 + y = 0
admite a
(t, y) = t
f (t).
41
(x, y) R2
y
2
y = f (x, y)
{(x, y(x), y (x)) : x I} de F . Un campo de
rectas en y una solucin es toda curva que se
de curvas de clase
{(y, I) : I
tales que para cada
y0 = y(x0 ).
C1
en
un intervalo abierto
(x0 , y0 )
en
f C 1 (I)}
en
(y, I) C
tal que
x0 I ,
decir una ecuacin, de la que las curvas son soluciones. Tal ecuacin es:
y = f (x, y),
donde
f (x0 , y0 ) = y (x0 ),
donde (y, I) F es la curva que pasa por (x0 , y0 ). Recprocamente, toda funcin
f (x, y) sucientemente regular dene una familia de curvas en . Esto se probar
ms tarde.
R, x (0, ),
y = sen x
es una familia de curvas en
(0, ) R.
y = (tag x)y.
Una familia de curvas parametrizadas de clase
C = {((x, y), I) : I
un intervalo abierto
C1
a dems:
a) Para cada
(x0 , y0 )
((x, y), I) C
s0 I .
con
en
42
b) Si para
como en a) se cumple:
s1 = s0 ,
entonces:
es peridica de periodo
x2 + y 2 = 2
dene para
>0
R2 \ {(0, 0)}.
F (x0 , y0 , 0 ) = 0.
Puede probarse que entonces
de curvas en
F (x, y, ) = 0
Toda familia
de curvas parametrizadas en
de la forma:
(x, y) , = (x, y)
(x, y)
F = 0.
F,
de F
satisfaga
es aquella
y =
1
.
f (x, y)
aquella
el campo asociado a
F,
diferencial
y =
f + tag
.
1 (tag )f
43
Ejemplo 1.32. La familia de las circunferencias del ejemplo anterior tiene por
ecuacin
xdx + ydy = 0,
luego su campo en
y = 0
es
x
y = ,
y
y =
y
.
x
y = x.
1.4.1. Ejercicios
1. En cada uno de los siguientes casos, determinar una ecuacin diferencial
que satisfaga la familia en cuestin hallando una familia de curvas ortogonales a las de la familia dada.
(a)
(b)
(c)
(d)
(e)
(f )
xy = C
y = Cx2
x2 + 4y 2 = C 2
y 2 = Cx3 .
44
F (x, y, y ) = 0,
y
en la que
(1.26)
(x, y).
p en trminos
(x, y)
en la ecuacin:
F (x, y, p) = 0,
(1.27)
en la forma
p = f (x, y),
para obtener una o varias ecuaciones en forma normal:
y = f (x, y).
Estos son unos ejemplos.
y + (x 1)y y = 0
y =
(1 x)
(x 1)2 + 4y
2
en la regin
= 4y + (x 1)2 > 0.
Ntese que las ecuaciones resultantes no estn propiamente denidas en los
puntos donde
= 0.
y (x + y)y + xy = 0
2
en
y =
x + y |x y|
2
R2 .
y yy x2 y + x2 y = 0
3
y = y, y = x, y = x.
(ver ms
{
F (x, y, y ) = 0
y(x0 ) = y0 ,
(1.28)
45
p:
F (x0 , y0 , p) = 0
admita al menos una solucin
p = f (x, y)
para todo
(x, y, p)
prximo a
(x0 , y0 , p0 ).
Teorema 1.29.
Sea
de clase
C1
(x0 , y0 , p0 )
un elemento de la ecuacin:
F (x, y, y ) = 0
tal que:
Fp (x0 , y0 , p0 ) = 0.
Entonces el problema de Cauchy (1.28) admite una nica solucin local
se impone la condicin extra de que en el punto
condicin:
x0
y(x)
si
y (x0 ) = p0 .
y = f (x, y)
y(x0 ) = y0
Corolario 1.30.
Si la ecuacin
F (x0 , y0 , p) = 0
admite exactamente
soluciones
p01 , . . . , p0N
Fp (x0 , y0 , p0i ) = 0
tales que
i = 0, . . . , N,
soluciones locales
y (x0 ) = p0i
Observaciones 1.36.
i = 0, . . . , N.
yi = yi (x)
46
y = f (x, y),
la ecuacin (1.26) puede asignar a un punto dado
valor de
(x, y)
F (x, y, p) = 0.
Esto signica que, jado
b) Se llama elemento
(x0 , y0 ),
p0 .
(x, y)
x I, I
un intervalo.
Las que siguen son unas cuantas deniciones clsicas en este tema. Un
elemento
, p0 + )
slo admite en
regular.
P = (x, y)
se dice
clase
funciones
C1
denidas en
R2 ,
en
P0 = (x0 , y0 )
entonces
Corolario 1.31.
rencial
P0
y son regulares. Si
F (x, y, y ) = 0,
(x, y, p)
de la ecuacin dife-
47
{
F (x, y, p) = 0
Fp (x, y, p) = 0.
(1.29)
Observaciones 1.38.
a) Al falta de una terminologa mejor, se dene lugar singular de la ecuacin
F (x, y, y ) = 0
(x, y) para los que existe p de forma que (x, y, p)
Fp . Es decir, los puntos (x, y) para los que existe p tal
{
F (x, y, p) = 0
Fp (x, y, p) = 0.
De la discusin anterior se deduce que los puntos singulares y por tanto las
soluciones singulares deben yacer en el lugar singular. Sin embargo, no todos
los puntos del lugar singular tienen por que ser singulares (en este aspecto la
terminologa lugar singular debe tomarse con extrema precaucin).
b) Un ejemplo cannico de elemento singular
y1 , y2 ,
x0
y = fi (x, y),
p = fi (x, y), 1 i n,
la
i-sima
raz de la ecuacin:
y + (x 1)y y = 0.
2
Si
= 4y + (x 1)2 ,
la ecuacin no est denida en la regin
< 0.
48
>0
En cambio, en la regin
a cada
(x, y)
p=
En
=0
los puntos
(x, y)
(1 x)
>0
(x 1)2 + 4y
2
1x
.
2
p=
En los puntos de
renciales:
y =
(1 x)
(x 1)2 + 4y
.
2
u = (x 1)2 + 4y
u C = x
para concluir:
C 0.
De ah
u = (C x)2 ,
y=
(C 1)
(C 2 1)
x+
2
4
C+1
12 y =
2
manera unicada en la forma:
Tomando
C1
C 0.
1
2 podemos escribir las soluciones de
y = x + ( 1).
Ejemplo 1.41. La ecuacin:
y (x + y)y + xy = 0
2
asocia a cada
(x, y)
los elementos:
p=
Para
x = y
(x + y) |x y|
.
2
x=y
singular.
x = (p)
y = (p),
p = p(x) = 1 (x),
se puede expresar en
49
y = y(x)
(p)
mediante:
y(x) = (p(x))
y((p)) = (p).
para todo
p,
donde
y =
dy
.
dx
Como:
y ((p)) =
(p)
.
(p)
(p)
= p.
(p)
en la ecuacin:
y (x) = p.
curva y =
1 x2 .
en
= p,
1 x2
de donde:
p
x=
1 + p2
1
y=
.
1 + p2
{
F (x, y, p) = 0
Fp (x, y, p) = 0,
dene
x = (p), y = (p)
p = p(x)
(1.30)
x = (p) se resuelve
x, y = y(x)
mediante la relacin:
y(x) = (p(x)).
La cuestin es saber si
y = y(x)
y(x)
50
y(p)
(p)
=
= p,
x(p)
(p)
pues entonces
p = y (x(p))
(x(p), y(p))
la ecuacin es que
Fx + pFy = 0.
(1.31)
y 2xy + y = 0,
2
el lugar singular es
x2 y = 0.
Fx + pFy = 2p + p = p.
Como la expresin slo se anula en
p=0
Ejemplo 1.44. En el Ejemplo 1.40 las ecuaciones del lugar singular son:
p2 + (x 1)p y = 0
1x
p =
.
2
De aqu resulta:
x = 1 2p
y = p2 .
y
= p.
x
Por tanto, la funcin que dene:
y=
(x 1)2
4
es solucin. Adems, todos sus elementos son singulares y por tanto constituye
una integral singular.
p2 2p2 + xy = 0
x+y
p =
.
2
En forma equivalente
51
{
xy = p2
x + y = 2p.
curva no est parametrizada por la derivada y por tanto no puede ser solucin.
En este caso la ecuacin no admite integrales (soluciones) singulares.
1.5.3. Envolventes
Una nocin bsica cuando se trata con familias uniparamtricas
y = Y (x, )
de soluciones de la ecuacin implcita
dicha familia. Se intersecta una curva
F (x, y, y ) = 0
y = Y (x, 0 ) de
es la de envolvente de
la familia con las curvas
prximas
tos
lmite conforma la
y = Y (x, 0 )
1
{Y (x, ) Y (x, 0 )} = 0.
0
0 se obtiene
{
y = Y (x, 0 )
Y (x, 0 ) = 0.
ecuacin, dando
la envolvente:
(x) selecciona
y = g(x).
al tomar
resulta:
(1.32)
52
{Y (x, )}.
y = g(x) que corte a cada una de las de la familia haciendo contacto de primer orden. Si (a, b) es el dominio de g esto signica
que para cada x (a, b) existe un = (x) tal que:
&
x (a, b).
Y (x, (x)) = 0,
pues suponemos
y particularizando
Fy Y + Fp Y = Fp Y = 0,
mientras que derivando
Y (x, (x)) = 0
con respecto a
nos lleva a:
plcita y que
producto
y = x + ( 1)
de soluciones es:
y=
(x 1)2
4
x0 2 + y0 2 .
Tomando
( = tag )
x = x0 t
y = yo t g2 t2 .
y=
y velocidad inicial
v=
53
x g
obteniendo:
y=
usando la ecuacin:
x2
= 0,
v2
)
1 ( 4
v g 2 x2 ,
2
2gv
F (y ) = 0.
(I)
Por ejemplo:
y + 3y y 3 = 0.
3
y = p0 x + C
F (p0 ) = 0. El ejemplo
y = x C , y = 3x + c.
donde
F (x, y ) = 0.
y = x + C,
(II)
en trminos de
x = g(y ).
y
=p
x
obteniendo
x = g(p)
mientras:
y = pg(p),
con lo que
y(p) = y0 +
tg(t)
dt.
p0
y(x0 ) = y0
se determina primero
la ecuacin:
x0 = g(p).
Otro camino para resolver (II) es resolver:
F (x, p) = 0
en la forma:
x = (t)
p = (t).
p = p0
en
54
En este caso:
y (x) = (t),
mientras
y(t)
.
x(t)
y (x) =
Despejando sale
y = (t)(t),
luego:
y(t) = y0 +
(s)(s)
ds.
t0
Como antes
t = t0
debe calcularse en
y0 .
Ejemplos 1.49.
a)
b)
x = y y 1.
x 1 + y 2 = y .
3
F (y, y ) = 0.
La opcin natural es despejar
en trminos de
(III)
y . En ocasiones es factible tener:
y = f (y ).
Parametrizando por la derivada
y = f (p)
con
y
= p,
x
luego:
x =
en donde se puede calcular
f(p)
,
p
x = x(p).
F (y, p) = 0
permita escribir:
y = (t)
y si
y = y(x)
buscamos representar
x(t).
y(x(t)) = (t)
p = (t),
Habr de ser:
y (x(t)) = (t).
55
x(t) = x0 +
ds.
t0 (s)
t = t0
y(x0 ) = y0
en la ecuacin:
y0 = (t),
y usar ese valor de
t0
en la expresin de
x(t).
Ejemplos 1.50.
a)
b)
y = y + y + y + 5.
y
= 1.
1 + y 2
5
Ms generalmente, la ecuacin
F (x, y, y ) = 0
se puede abordar parametrizando la supercie:
F (x, y, p) = 0,
mediante las funciones:
x = (u, v)
La solucin
y = y(x)
y = (u, v)
p = (u, v).
cumple:
v = v(u)
u:
y ((u, v))(u + v v)
= u + v v,
da:
v =
u u
u u
=
.
v v
v v
F (x, y, p) = 0
dene
x = (p), y = (p).
entonces
y((p)) = (p).
y = y(x)
56
Para que
y(x)
F (x, y, y ) = 0,
debe cumplirse que
y ((p)) = p.
= p.
En ecuaciones como:
basta obtener
y = G(x, y )
(IV )
de la ecuacin. Derivando
con respecto a
Gp
.
p Gx
x =
x = H(x, y ).
y = y(p)
y =
(V )
es:
pHp
.
1 pHy
y = xf (y ) + g(y )
que da lugar a la ecuacin lineal en
x =
x(p):
f
g
x+
.
f (p) p
f (p) p
y = xf (y ) + g(y )
se calcula primero
p = p0
y(x0 ) = y0
en la ecuacin
y0 = x0 f (p) + g(p).
Una vez vez hallado
p0
x =
se resuelve:
f
g
x+
f (p) p
f (p) p
x(p0 ) = x0 .
57
El procedimiento falla si
f (p0 ) = p0
porque la ecuacin es singular en
p0 .
y = p0 x + g(p0 )
es la solucin buscada.
En cuanto a soluciones singulares, el lugar singular es:
y = xf (p) + g(p)
0 = xf(p) + g(p).
x = x(p), y = y(p)
entonces
y = xf
+ xf + g = xf.
f (p) = p
para cada
p.
ecuacin de Clairaut:
y = xy + g(y ).
y = x + g().
Genricamente, el lugar singular contiene como hemos visto una solucin. sta
constituye la envolvente de la familia de rectas.
1.5.5. Ejercicios
1. Integrar las siguientes ecuaciones diferenciales:
a)
b)
xy + 2xy y = 0
c)
y 2xy 8x2 = 0
d)
y + (x + 2)ey = 0
e)
y yy x2 y + x2 y = 0.
2
3
3
y = x3
como parme-
58
b)
y = sen x.
a)
y = y ey
b)
y=ey
c)
x = log y + sen y
d)
x = y 2y + 2
e)
y = (y 1)ey
f)
x(1 + y )3/2 = a
g)
y 2/5 + y
h)
y 4 y yy = 0
2/5
= a2/5 .
i)
x = y + sen y
j)
y = y (1 + y cos y ).
y = xy + ey .
5. Estdiese la existencia de solucin singular para las siguientes ecuaciones:
a)
y = 2xy y
b)
y + y 2 = 4.
c)
y = 5xy y
d)
(y 2)3 = x 5y .
xy =
8 3
4 2
y y .
9
27
y e2x y = 0.
b)
y = x2 + 2y x +
c)
y + (x + a)y y = 0
d)
y 2xy + y = 0.
e)
y + 2yy cot x y 2 = 0.
y 2
2 .
donde
2
2
es una constante.
59
y = p2
x=p
mientras:
y
= 2p.
x
no
es la derivada.
b) La condicin de singularidad da:
p2 + y 2 = 4,
p = 0,
y = 2.
Integrando la ecuacin con
p = 2 cos t
y = 2 sen t,
y = 2 sen(x + C),
por lo que las rectas
y = 2
p=2
luego
y = 2x + C.
Es inmediato comprobar que ninguna recta de esa forma cumple
Para
p = 0, y = x
x y = 49 p2
p(p 1) = 0.
8 3
27 p
y =x+
8
4
,
27 9
5yx = 0.
60
correspondiente a
como:
x=
4 2
p +
9
y=
8 3
p ,
27
y se obtienen de
4 2
8
p p3
9
27
hacer y = px
.
xy =
tras derivar con respecto a
Captulo 2
Existencia y Unicidad.
Prolongacin
|x| = 0
b)
|x| = |||x|
c)
|x + y| |x| + |y|
implica
Una norma
||
x = 0,
para
real o complejo y
para
x, y X
induce la mtrica
cualesquiera,
arbitrarios.
d(x, y) = |x y|.
(X, | |)
es un espacio de
Banach.
Denicin 2.1.
en
(X, | |b )
xn
Teorema 2.2.
Dos normas
constantes positivas
k, K
las normas
61
62
k, K
normas sealadas.
Entre los espacios de dimensin innita que usaremos aqu destaca X =
n
el espacio de las funciones x : I R que son continuas en
Teorema 2.3.
El espacio
a) La sucesin
en
X = C(I, Rn )
Adems:
xn (t)
converge a
x(t)
en
si y slo si
xn x
uniformemente
I.
xn (t) es de Cauchy en
de Cauchy uniformemente en I .
b) La sucesin
Denicin 2.4.
Para
>0
como:
si y slo si
xn x satisface la condicin
| |,
en
C(I, Rn )
Teorema 2.5.
supremo
| |
| |,
X = C(I, Rn ).
La norma de Bielecki
en el espacio
Proposicin 2.6.
Sean
L:XY
es continua en
x = 0,
b)
es continua en
X,
c)
B(x, R)
de
X.
Slo cuando
Cn
en
Cm
son continuas.
no son continuas.
De c) se sigue que si
L(X, Y )
. Denotando
X a Y puede
probarse que
L(X, Y ).
para todo
x X},
|y|=1
Lx
en lugar de
L(x).
Para
X=Y
denotamos
Proposicin 2.7.
Si
(X, | |)
(L(X), )
L L(X)
a) Si
para todo
b) Para
63
|L(x)| L |x|,
x X.
T, L L(X)
T L T L,
El siguiente resultado de clculo diferencial para funciones de varias variables
resulta de suma utilidad.
Propiedad 2.8
R , una aplicacin
[x, y] . Entonces:
un abierto de
el segmento
de clase
F : Rn Rm ,
x, y son tales que
Sea
mientras
Demostracin. Dados
l = 1
x, y R
l : Rm R
tal que
Existe entonces
c (0, 1)
tal que:
es inmediata en espacios
de dimensin nita. Para el caso general ver [1], Captulo I. Usando esta informacin la propiedad se extiende a funciones
F : X Y , X, Y
espacios de
Banach.
Denicin 2.9.
Se dice que
0<1
Sean
(X, d)
un espacio mtrico y
es contractiva o que
x, y X
T :XX
es una contraccin en
cualesquiera se cumple:
la constante de contraccin.
una aplicacin.
si existe un
64
Denicin 2.10.
que
xX
Teorema 2.11
T
mtrico completo y
Entonces
Sea
es un punto jo de
T : X X
1. Para cada
X, n, h N
x0 X
se tiene que
en
X.
(X, d)
un espacio
Adems,
x
= lm T n (x0 ),
arbitrarios se satisface:
Sea
1 h
d(T (x), x).
1
n N:
d(T n (x0 ), x
)
n
d(T (x0 ), x0 ).
1
Una ligera extensin de este resultado que tiene cierto inters es la siguiente.
Teorema 2.12
([10])
Sea
x
.
x
= lm T n (x0 ),
donde
x0
es un elemento arbitrario de
T :XX
una
k)
T k = T T
Adems,
(2.1)
X.
la convergencia (2.1).
Denicin 2.13
aplicacin
en
con
y1 , y2 Y, x X
Teorema 2.14.
cualesquiera.
contraccin uniforme en
entonces
g:
X
x
Y
y = g(x)
es continua.
El teorema de la funcin implcita (Captulo I) es sin duda la consecuencia
ms impotante del teorema del punto jo de Banach.
Teorema 2.15.
clase
F : U Rn Rm Rm , U
Supongamos que existe (x0 , y0 ) tal que:
F (x0 , y0 ) = 0,
F
ii)
(x0 , y0 ) es
y
Sea
65
i)
invertible.
Entonces existen
1 , 2
positivos y
g : B 1 (x0 ) B 2 (y0 )
de clase
C1
tales
que:
1)
y0 = g(x0 )
y adems
F (x, g(x)) = 0,
para cada
2) Si
x B 1 (x0 ).
F (x, y) = 0,
entonces
y = g(x).
Demostracin. Sea
(x0 , y0 )
el punto de referencia y
L0 =
F
(x0 , y0 ),
y
que es
F (x, y) = 0,
es equivalente a:
y L1
0 F (x, y) = y.
B 2 (y0 ),
Tx (y) = T (x, y) = y L1
0 F (x, y).
y de la ecuacin F (x, y) = 0 dene un punto jo y de la aplicacin
Tx (y) = T (x, y).
Que T constituye una contraccin uniforme es consecuencia de y T (x0 , y0 ) =
0 junto con la continuidad de dicha derivada (vase Teorema 2.8, de los incrementos nitos). Esto permite jar 1 , 2 tal que
Una solucin
y T (x, y) < 1
(x, y) B 1 (x0 ) B 2 (y0 ). En segunda instancia corregimos 1 para
B 2 resulte invariante por Tx . En efecto, para y B 2 (y0 ) con x jo
B 1 (x0 ),
para todo
lograr que
en
66
Basta reducir
Anexo
Probamos la diferenciabilidad de la funcin
Teorema 2.16.
x Rn
tomamos
h Rn ,
X =
el punto
L L(Rn , Rm )
donde
o(|h|)
lm
h0
o(|h|)
= 0.
|h|
Llamamos
g = g(x + h) g(x),
usando que
y = g(x)
es punto jo de
T (x, y)
para todo
resulta:
Tx =
T
(x, g(x)),
x
Ty =
T
(x, g(x)).
y
Ty .
En consecuencia, la aplicin lineal
tible (Ejercicio 2.2).
I Ty (I
es la identidad de
L(Rm ))
es inver-
De la identidad para
67
obtenemos:
(I Ty )1
L := (I Ty )1 Tx
y observando que:
o(1)
|h| + |g| 0,
concluimos
que:
cuando
|h| R.
|g| C|h|
Por tanto,
|h| 0
y al ser
g = L(h) + o(|h|)
resulta que
M >0
f : Rm Rm
L.
tal que
Df (x)
cumple
Df (x) M.
Ejercicio 2.2. Sea
L L(Rm )
L < 1.
Si
L(Rm )
demustrese que
I L
es una aplicacin invertible.
L.
2.1.3. Ejercicios
1. Prubese que
2. Sea
f (x) = x3
f : (a, b) R
es Lipschitziana en
una funcin
C 1.
[0, 1]
Es Lipschitziana en
R?
sea Lipschitziana en
(a, b)
es que su derivada
68
f (t, x) = 1 + x2
b)
f (t, x) = 1 + t2
c)
f (t, x) =
1
.
1 + x2
4. Demustrese que
5. Sea
x:
f (x) = x1/3
no es localmente lipschitziana en
[1, 1].
que es es Lipschitziana de
constante
Df (x) L,
para todo
x G.
f C[0, 1]
t [0, 1]
que para
satisface la identidad:
f (t) =
1
3
dada por
T (f )(t) = L
f (s) ds.
a
Donde
a) Prubese que
T k (f )(t) = Lk
a
b) Bajo qu condiciones es
c) Demostrar que existe
9. Se considera
para que
f :RR
contractiva?
tal que
(t s)k1
f (s) ds.
(k 1)!
Tk
es contractiva.
T?
f (x) = x + (2 x tanh x)
dada por
f (x) = log(e + 1)
sea contractiva en
R.
Es una contraccin?
10. Sea
a) Probar que
tal que
0 < k1 f (x)
(a, b).
T (x) = x f (x)
donde
es un parmetro.
para
69
campo)
Lema 2.17.
(x, I)
ii)
x C(I, Rn )
x = f (t, x)
x(t0 ) = x0
(2.2)
satisface
x(t) = x0 +
para cada
t I.
(Teorema de Picard-Lindelf )
(t, y) [a, b] Rn
x,
es decir,
f : [a, b] Rn Rn una
existe L 0, tal que para (t, x),
Sea
arbitrarios se tiene,
{
x = f (t, x)
x(a) = x0
(2.3)
[a, b].
1 Se
(x, I) es una
t0 I , x(t0 ) = x0 .
recuerda que
ecuacin y
solucin de (P) si
x = x(t)
es diferenciable en
I,
satisface la
70
Corolario 2.19
(t0 , x0 )
(El dato
{
x = f (t, x)
x(t0 ) = x0
(2.4)
Entonces
(x, I)
[a, b],
I [a, b]
R
L
(x, I)
en principio distinto
se toma libremente)
[a, b].
f : (a1 , a2 )RN
todo intervalo [a, b] (a1 , a2 ) existe
[a, b]) tal que f es Lipschtiziana con
Sea
(t0 , x0 ) (a1 , a2 ) RN
x(t)
el proble-
(a1 , a2 ).
Observacin 2.6. El ltimo enunciado es de capital importancia en las aplicaciones. Es vlido en cualquier tipo de intervalo
o
(a1 , ).
Corolario 2.22.
[a, +).
t a,
la funcin
f (t, x)
L(t)
es Lipschitz en
x, y Rn ,
[a, t1 ]
x:
se puede tomar en el
como
L = sup L(t).
att1
71
rial de dimensin nita, una innidad de normas, todas ellas equivalentes. Por
ejemplo, para
A = (aij ):
||
A = max |aij |.
es cualquier norma en
CN
entonces
A = sup |Ax|
|x|1
es otra norma en
MN N (C).
a)
|Ax| A|x|
b)
AB AB
c)
|A B| A B.
x CN ,
para todo
para
A, B MN N (C),
MN N (C)
Lema 2.23.
Corolario 2.24.
x = A(t)x + b(t)
x(t0 ) = x0 ,
[a, b]
de la sucesin de funciones
es el lmite uniforme
f (s, y(s)) ds
T (y)(t) = x0 +
y C 0 ([a, b], Rn ),
a
donde
x0 (t) = x0 .
xn (t) es la nica
{
x = f (t, xn1 (t))
x(a) = x0 .
Obsrvese que
72
x(t)
xn (t).
[a, b] Rn
que si
f (t, x)
es Lipschitz en
xn (t)
x = x2
x(0) = x0 .
2
3
Anlogamente, x2 = x1 , x2 (0) = x0 , es decir x2 (t) = x0 +(x0 /3){(1+x0 t) 1}.
Similarmente se hallan x3 , x4 , etc.
Empezando por
f (t, x)
f : R2 R
la funcin (no
Lipschitziana):
2t
f (t, x) = (2t) + (2t)(1 )
2t
si
si
si
x t2
(t, x) = (t, t2 ) + (1 )(t, 0)
x0
{
x = f (t, x)
x(0) = 0
no converge siquiera puntualmente.
Otro ejemplo similar se recoge en el Ejercicio 6.
Q(h, R, t0 , x0 )
R (x0 )
[t0 h, t0 + h] B
designa el conjunto:
h > 0, R > 0,
+
abreviadamente
Teorema 2.25.
Sea
Lipschitziana en
f : Q R Rn Rn , Q = Q(h, R, t0 , x0 ), continua y
x, es decir, existe L 0 tal que para cada
con respecto a
73
mientras designamos:
M = sup |f |.
Q
Entonces el problema
{
x = f (t, x)
x(t0 ) = x0
(2.5)
admite una nica solucin maximal x(t) que est denida al menos en el interR
R
valo I1 = [t0 m
n{h, M
}, t0 + mn{h, M
}].
Se emplea la siguiente propiedad.
Proposicin 2.26.
Sean
Lipschitziana de constante
f : B Rn
F (x) = f (
x),
donde
x
=R
Entonces
x
.
|x|
L.
{
y = f(t, y)
y(t0 ) = x0 .
f de
t [t0 h, t0 + h]
J = [t1 , t2 ] Ih
y(t)
denida en
tal que
R = |y(t2 ) x0 |
t2
t0
y resulta
t2 t0 +
R
M . En ambos casos
t2 t0 + mn{h,
R
}.
M
t1 t0 mn{h,
R
}
M
74
y la solucin
t0 mn{h,
R
R
} t t0 + mn{h, }.
M
M
t0 +
entonces
|x(t) x0 | < R
para todo
R
> t0 + h,
M
t0 t t + h.
R (x0 ).
(t, x), (t, y) Q = [t0 h, t0 + h] B
f : R Rn Rn
son continuas en (pero
no necesariamente acotadas en
respecto a
Lipschitziana con
x .
Teorema 2.27
R Rn Rn
(t0 , x0 ) es
Sea
con respecto a
x,
f :
mientras
{
x = f (t, x)
x(t0 ) = x0
tiene la propiedad de unicidad de soluciones. Adems admite una nica solucin
(, ).
En el lenguaje de las ecuaciones
(y, J)
de todas las posibles soluciones de (P). En otras palabras, todas las soluciones
locales
x.
2.2.4. Ejercicios
1. Se puede aplicar el teorema de Picard-Lindelf a la ecuacin
y = y +
en alguna banda de la forma
|x|,
[a, b] R?
75
{
x = x
x(0) = 1
(a)
{
(b)
{
(c)
t [0, 2].
x = x2
x(0) = 1
t [0, 2].
x = x2
x(0) = 1
t [0, 2].
y = 2y(1 + x)
que verica
y(1) = 1.
y = 1 + y2
y(0) = 0.
yn (t)
y4 (t).
estn denidas en
R.
c) Resolver el problema de valor inicial para probar que la solucin slo est
denida en el
(/2, /2).
x = f (t, x)
x(t0 ) = x0 .
{
x = t x
x(0) = 1,
estimando la diferencia
k-
|x(0 2) xk (0 2)|.
76
6. (W. Walter, Ordinary Dierential Equations, Springer, 2000). Se considera el problema de Cauchy:
y = 2t 2 y+
y(0) = 0,
donde
y+
es la parte positiva de
de soluciones aproximadas
yn
es convergente.
7. Estdiense los dominios de existencia maximal de las soluciones de las
siguientes ecuaciones:
1
sen(x + t2 ).
t
a)
x =
b)
x = (log t)
c)
x =
x + t2
.
1 + x2
ex t
t 2x
.
e + t2
8. Se considera el problema:
y = 2y + x2
y(0) = 1.
y
1 + y2
Prebese que admite una nica solucin la cual est denida en la totalidad de la recta real
R.
x
y
dy = 2y + 4 e
x
dt
e + 1 y2 + 4
y(1) = 1.
Explquese por qu dicho problema admite una nica solucin que est
denida para todo valor del tiempo
10. En el tonel
t 1.
Q = [1, 1] [1 R, 1 + R]
se considera el problema:
{
x = x2
x(0) = 1.
Hllese el intervalo de seguridad
[tR , tR ]
Q.
tR
77
x = 1 + x2
x(0) = 0.
Q = [ 2 , 2 ] [R, R].
Hallar el tiempo de
Q.
13. Sean
t0 (a1 , a2 ), x0 , x1 C
t (a1 , a2 ).
Pru-
arbitrarios el problema:
x (t0 ) = x1 ,
admite una nica solucin denida en todo el intervalo
(a1 , a2 ).
donde
f :RR
x = f (x) + sen x
x(0) = 0,
a0 (t),
...,
C 2.
C 3.
es una funcin
an (t)
(a, b) R.
a < t0 < b.
(, ) = (a, b)?
|
x y| |x y|
si
|x|
|y|
junto con
|
x y| |x y|
si
|x| > R
|y| R.
78
equivale a:
es decir
|x y|
t 1,
xy |y |2 .
Como
|
x y| |x y |
hemos terminado.
En el segundo supuesto
probar
t 1,
2xy (t + 1)|y |2
|
x y| |t
x y|
x = t
x
con
t 1
2
xy (t + 1)|
x|2
sto se sigue de que
mientras
que es consecuencia de
x
y |
x||y|.
t 1.
|y| < |
x|.
Se trata de
79
(X, d)
Proposicin 2.28.
sucesin
x K.
xn
en
Un conjunto
K X
Si se toma el espacio
X = C([a, b], RN ),
xn
convergente a un cierto
Proposicin 2.29.
adherencia
una
adherencia
Proposicin 2.30.
entonces
Sea
(X, d)
un espacio mtrico. Si
KX
es un compacto
es un espacio
Teorema 2.31.
Sea
(X, | |)
ii) Un conjunto
KX
(C([a, b], RN ), ) no
tiene dimensin nita. Para que una sucesin de funciones continuas fn cumpla
que K = {fn } es compacto dicho conjunto tiene que ser acotado en X . Esto
se reduce simplemente a la acotacin de la sucesin fn en el espacio X (como
se dene ms abajo, que fn est uniformemente acotada en [a, b]). De hecho
Desafortunadamente, el espacio que nos interesa
2 La
adherencia
de
es el menor cerrado de
que contiene a
A.
80
un subconjunto
adherencia
de un espacio mtrico
si su
fn
para que
de lo siguiente.
Denicin 2.32.
Sea
n N, t, s [a, b]
Denicin 2.33.
fn
tales que
[a, b]
|t s| <
se
es decir si
est
Sea
Se dice que
|fn (t)| M
t [a, b]
para todo
n N.
La siguiente propiedad presenta el ejemplo estndar de sucesin equicontinua. Constituye el criterio ms til para localizar dichas sucesiones.
Propiedad 2.34.
en
[a, b]
para
Sea
que cumple:
fn : [a, b] RN ,
L > 0.
a trozos
y cierta
|fn (t)| L
fn , todo n
es equicontinua en [a, b].
constante
C1
Entonces la sucesin
fn
Demostracin. Sean
a t ck < < cl s b
Entonces:
|fn (t) fn (s)| |fn (t) fn (ck )| + |fn (ck ) fn (ck1 )| + + |fn (cl ) fn (s)|
L((ck t) + (s cl )) = L(s t) = L|t s|.
Por tanto todas las
fn
es equicontinua.
Ejemplos 2.10.
a)
fn (x) =
3 Giulio
1
sen nx
n
es equicontinua en
[0, 1].
y de ah
fn
81
b)
es en
[0, b]
para
equicontinua en
1
2
0tb
[0, b].
Denicin 2.35.
N
Una sucesin de funciones fn : [a, b] R
converge uniN
formemente a f : [a, b] R
si |fn (t) f (t)| es uniformemente pequeo con
tal de que n sea grande. Es decir, si para todo > 0 existe n N tal que
para
n n .
fn
fn
[a, b],
[a, b].
Corolario 2.37.
Sea
fn : [a, b] RN
fn
[a, b],
ii)
a una funcin
continua en
fn
[a, b].
2.3.2. Ejercicios
1. Sea
x =
(x, x).
82
Se sabe que si
xn
(xn , xm ) = mn
Prubese que
xn
(la
de Kronecker).
2. Sea
f:
[a, b] RN
(t, x)
RN
f (t, x)
de
la familia
es equicontinua en
[a, b].
no es vaco (Teorema de
CauchyPeano).
3. Sea
B = {y(t) Y : y x0 R},
y el operador
B
y(t)
T :
donde
Y
(T y)(t)
(T y)(t) = x0 +
y uniformemente acotadas.
4. (Poligonales de Euler) Sea
|f (t, x)| M
en
[a, b] R.
f : [a, b] R R
x = f (t, x)
x(t0 ) = x0 ,
n N tomamos t0 = a t1
h
tn = b donde ti = a + i , 0 i n, h = b a. La poligonal nn
sima Pn (t) est denida como Pn (t0 ) = x0 mientras Pn (t) = Pn (ti1 ) +
f (ti1 , Pn (ti1 ))(t ti1 ) para ti1 t ti .
se construyen a continuacin. Para cada
{Pn (t)}nN
c) Demustrese que
{Pn (t)}nN
es equicontinua.
5.
[Funnels ]. Para
x0 RN
jo, sea
problema de Cauchy
en donde
83
x = f (t, x)
x(a) = x0
St = {y(t) : y S}.
Prubese que
St
es compacto.
f : [a, b] Rn Rn una
M 0, tal que para cada (t, x)
(Teorema de Cauchy-Peano)
[a, b] R
Sea
|f (t, x)| M.
Entonces el problema
{
x = f (t, x)
x(a) = x0
xn (t)
[a, b].
de funciones continuas en
[a, b]
[a, b]
x(t)
de
en
que cumple:
x(t) = x0 +
t [a, b].
f (s, x(s)) ds
(2.6)
a
La sucesin se dene como sigue.
Para
nN
h=
y denimos la particin
ba
n
como
tk = a + kh,
para
1 k n.
Llamando
Ik
al intervalo parcial
In .
I1 ,
a continuacin en
xn (t) =
4 Foniles
x0
th
x0 + a f (s, xn (s)) ds
a t t1
tk1 t tk , k 2.
84
xn (t)
I1 :
xn (t) = x0 .
En
I2 :
th
xn (t) = x0 +
a
xn (t)
Por tanto
En
th
f (s, xn (s)) ds = x0 +
f (s, x0 ) ds.
a
en continua hasta
t = t2 .
I3 :
th
xn (t) = x0 +
t1
f (s, xn (s)) ds = x0 +
a
f (s, x0 ) ds
a
th
t1
con lo que
xn (t)
es continua hasta
sh
f (s, x0 +
t = t3 .
In .
xn (t) = f (t h, xn (t h)).
Tambin es derivable en
quizs en
t = t1
I1
con derivada
0.
Por tanto,
xn
es derivable excepto
donde:
xn (t1 ) = 0,
En cualquier caso:
xn (t1 +) = f (a, x0 ).
|xn (t)| M,
xn (t)
es equicontinua.
t t1 .
en
[a, b].
Probamos que
ba
.
n
uniformemente en
[a, b]
xn (t)
= x0 +
a
th
f (s, xn (s)) ds =
t
x0 +
f (s, xn (s)) ds +
a
85
[a, b].
M h y que M h 0 cuando
uniformemente en
Como
es uniformemente continua en
K.
|x y| < .
Existe ahora
tal que
para
n n .
n n
Luego:
Corolario 2.39.
uniformemente en
[a, b]
{
x = f (t, x)
x(t0 ) = x0
[a, b],
cualquiera que
(x, I)
del
{
x = f (t, x)
x(t0 ) = x0
f : [a, b]RN RN
(x, I) del problema
Sea
una funcin
{
x = f (t, x)
x(t0 ) = x0
es prolongable al intervalo
[a, b].
86
Teorema 2.41.
M,
f : Q(h, R, t0 , x0 ) R RN RN
cada (t, x) Q(h, R, t0 , x0 ),
Sea
es decir, para
|f (t, x)| M.
{
x = f (t, x)
x(t0 ) = x0
Entonces
x(t)
Ih = [t0 mn{h,
R
R
}, t0 + mn{h, }].
M
M
Teorema 2.42
RN RN
Ih .
Sea
f : R
{
x = f (t, x)
x(t0 ) = x0
(x, I) maximal.
I = (, ).
Adems, el intervalo
de la
Demostracin. Con el lema de Zorn se puede dar una demostracin directa (no
constructiva). Una prueba ms tolerable se recoge en el Anexo nal y usa el
Corolario 2.50 (ver [6]).
cuando
y su
es continua
ejemplo,
de
Denicin 2.43.
tal que
x = x(t), x : (t0 , t1 ) R RN
t (t0 , t1 ). Se dice que
Denicin Sea
(t, x(t))
para cada
(t, x(t))
t t1
una funcin
(2.7)
(respectivamente,
existe un tiempo
87
Observaciones 2.13.
a) Si
dist
b) Si
R RN es un dominio acotado
((t, x(t)), ) 0 cuando t t1
= (a, b) RN , a < t1 < b,
x(t)
lm |x(t)| = .
tt1
c)
b) Si
x(t)
bien
lm x(t) = ,
tt1
o bien
lm x(t) = .
tt1
Denicin 2.44.
Sea
x : I = (t0 , t1 ) RN
{tn } (t0 , t1 )
Ejemplo 2.14. Si
tal que tn
t1
= t1 = +.
(t1 , x1 )
si existe
x = x(t) cuando t t1
x(tn ) x1 .
lm x(t) = .
tb
Q = [b h, b + h] B R ()
|f (t, x)| M .
(b, )
donde
Si la armacin no
|x(tn ) | > 0 .
Asimismo, para cada
tn
existe
tn > tn
de suerte que:
|x(tn ) | <
Todava ms, y por continuidad, existen
|x(tn )| = 0
0
.
4
0
4
tales que:
88
con
para todo
t [tn , tn ].
0
|x(t)| 0
4
Escribimos:
|x(tn ) x(tn )|
mientras:
Esto no es
t
n
tn
30
.
|x(tn ) x(tn )| |(x(tn ) ) (x(tn ) )|
4
n tn 0.
posible pues t
Teorema 2.46.
Sea
f : R RN RN
continua,
un abierto y sea
x(t)
{
x = f (t, x)
x(t0 ) = x0
denida en el intervalo
I = (, ).
(t, x(t))
(respectivamente,
(t, x(t))
Demostracin. Si existiese
para todo
(, )
n,
para
(C)
t +).
para algn
(, ) K
luego
lm x(t) = ,
(, ).
x(t)
x(t).
Ejemplo 2.17. Si
denida en
x(t) es una solucin ma(, ) tal que |f (t, x(t))| M para t (, ) entonces o bien
existe l
mt x(t) = y (, ) .
o bien
solucin maximal
89
2.4.1. Ejercicios
1. En
= (0, +) R
se considera la funcin
donde
1 x0 1.
Tmese
x = 1 x2
x(t0 ) = x0 ,
= R [1, 1]
x = (log t)x
x(1) = x0 ,
{
x = f (x)
x(0) = 0,
> 0 x0 > 0.
0<1
donde
{
|x| |x| < 1
f (x) =
1
|x| 1.
d)
x = |t|(1 + x2 )
x(0) = x0 .
e)
{
x = sen x
x(0) = x0 .
f)
{
x = |x|
x(0) = 1.
Indicacin. Distnganse los cases
g)
donde
x 0, f (x) = x2 log( x1 )
si
> 0.
0<1
x = f (x)
x(0) = x0
> 1.
> 1.
x0 0,
x > 0, f (0) = 0.
90
3. Para
(t, x) = R [1, 1]
se considera
f (t, x) = 1 x2 .
Hllense
4. Para
t0
x0
x = f (t, x)
x(0) = 1.
se considera la funcin
{
x log
f (t, x) =
0
1
x
x>0
x = 0.
x = f (t, x)
x(t0 ) = x0 .
x =
1 x2
2
2(1 t )
x(0) = 1.
6. Sea
a = a(t)
continua en
[0, +)
de forma que
a(t) 2t
para
t 0.
{
x = a(t)(1 + x2 )
x(0) = x0 ,
admite una nica solucin maximal
7. Sea
denida como:
2x
f (t, x) =
t
2t
x0
t2 x > 0
x t2 > 0.
x 2 2 t3 x + tx2 = 0
1
x(1) = .
2
i) Admite soluciones?
91
{
y = xy + y k
y(0) = A,
k > 1, A > 0.
< +.
[0, ),
Cumple adems
lm y(x) = +.
(, )
{
x1 = x21 + x2
x2 = x1 + x22
11. Sea
f : RN RN
es una solucin de
x1 (0) = 1
x2 (0) = 1.
decir si
12. Sea
f : [0, +) R
continua y
C1
en
x > 0.
x = f (x)
x(0) = 0,
lm sup |f (x)| = +.
x0+
13. Sea
f : [a, b] R R
continua y acotada, y
S = {x : [a, b] R : x
Demustrese que para
es solucin de
a t1 b
el conjunto
I(t1 ) = {x(t1 ) : x S}
f:
RR
(t, x)
R
f (t, x)
es
92
continua y no creciente en
x,
es decir,
x1 x2
x = f (t, x)
x(t0 ) = x0 ,
t t0 .
implica
f (t, x1 ) f (t, x2 ).
93
Teorema 2.47
Sea
(Teorema de Brouwer)
n
. Entonces
T :B
continua donde
es
.
B
X e Y es compacta
Y , es decir si T (X)
si transforma
T : X Y
en una parte
es relativamente compacto en
Y.
Teorema 2.48
punto jo en
(Teorema de Schauder)
T : B B
cerrado y convexo,
Sea
un espacio de Banach,
BX
admite un
Demostracin. En
Sea
M 0,
f : [a, b]
|f (t, x)| M.
{
x = f (t, x)
x(t0 ) = x0
T :XX
[a, b].
se considera el operador
T (y)(t) = x0 +
T (X)
es relativamen-
2.6. Anexo
Corolario 2.50.
f : R RN RN continua y un dominio. Si 0
es cualquier subdominio de tal que 0 0 con 0 compacto. Entonces
existe h0 > 0, que depende de 0 , tal que para todo (t0 , x0 ) 0 todas las
Sea
{
x = f (t, x)
x(t0 ) = x0
[t0 h0 , t0 + h0 ].
94
Demostracin. Usamos en
P = (t, x), P = (t , x )
R RN
la distancia
en la que la bola
0 = dis(0 , ) > 0.
Tomamos
h = 0 /2,
la unin de toneles
P0 0 Q(h, P0 ) K,
donde
K = {P : dist(P, 0 ) h}
es compacto. Tomando
M = sup |f |,
K
correspondiente a un
P0 0
Ih0 ,
el intervalo
tales
que:
n n n+1
donde los
son compactos y
n=1 n = .
1
n } B((0, 0), n).
la solucin de referencia: nos ocupamos de prolongarla por la
(x, I)
n = {(t, x) : dist(P, )
Si
b =
o bien
2.50).
Procediendo de esta manera encontramos una sucesin creciente
y una prolongacin
Pk
/ k1 ,
el punto
Pk = (bk , k )
nk
de suerte que
2.6. ANEXO
95
bk
< . La solucin x(t) se puede
prolongar a [t0 , ) por el mecanismo de denir y(t) = xk (t) si t0 t tk .
Finalmente y(t) es maximal, de otra manera {(t, y(t)) : t0 t < } estara
x(t)
96
Captulo 3
Depencia continua y regular
con respecto a datos iniciales
y parmetros
{
x = f (t, x)
x(t0 ) = x0
(, ) (si f (t, x) est
(t0 , x0 ), x = x(t)
y su dominio de denicin (, ) dependen de los datos iniciales (t0 , x0 ). Como
2
ejemplo, analcese una vez ms con detalle el ejemplo x = x , x(t0 ) = x0 . En el
).
presente captulo se estudia cmo varan dichas soluciones con los datos iniciales
y otras perturbaciones de la ecuacin. La siguiente denicin recoge la hiptesis
mnima sobre
f (t, x)
Denicin 3.1.
Se dice que
f : R Rn Rn ,
continua en
R Rn ,
(t0 , x0 )
el problema de Cauchy
{
x = f (t, x)
x(t0 ) = x0
admite una nica solucin. Si
dependencia de
y
(P )
con respecto a
w(t0 , x0 ).
97
98
Se designa por
x = x(t, t0 , x0 )
a la nica solucin de (P) denida sobre su dominio de existencia maximal
(, ).
de Cauchy. El conjunto:
= {(t, t0 , x0 )/(t0 , x0 ) ,
en
(por ejemplo
es de clase
de soluciones.
El siguiente resultado de tipo cualitativo expresa la continuidad de la solucin general de (P).
x.
a)
R R R Rn
b)
x = x(t, t0 , x0 )
es un conjunto abierto,
es continua en
> 0
tal que
est denida en
[t0 , b + ] [t0 + , b + ]
y adems:
y(t) = x(t, t0 , x
0 ) x(t)
uniformemente en
[t0 , b + ]
cuando
(t0 , x
0 ) (t0 , x0 ).
Vanse ms detalles en
la seccin 3.1.1.
La idea clave para probar el Teorema de Peano consiste en demostrar primero
la siguiente propiedad.
Propiedad 3.3.
(t0 , x0 )
las
tales que
1 Basta
Si
x(t)
lasolucin
xn (t)
n0
xn x,
uniformemente en
[a, b].
{
x = x2
x(0) = 1,
est denida en
[0, 1).
Si
b<1
la solucin de
est denida en
[0, b]
siempre que
x = x2
x(t0 ) = x0 ,
x0 > 0
(t0 , x0 ) =
Como
1
+ t0 > b.
x0
(t0 , x0 ) = 1 en (t0 , x0 ) = (0, 1) basta con que |t0 |, |x0 1| sean pequeos
Teorema 3.4
Supongamos que
f = f (t, x, ), f : R
2 con
abierto en R R R
respecto a x. Sea x = x(t, t0 , x0 , ) la
,
{
x = f (t, x, )
x(t0 ) = x0
= {(t, t0 , x0 , )/(t0 , x0 ) , ,
dominio de denicin. Entonces se tiene que,
y sea
a)
R R R Rn Rk
b)
x = x(t, t0 , x0 , )
su
es un conjunto abierto,
es continua.
Observacin 3.5. Un resultado mucho ms potente que los anteriores puede establecerse con la sola hiptesis sobre
2 Como
100
en donde
g 0.
Si
Sean
y = y(t)
y(t) c(t) +
g(s)y(s) ds
para
atb
entonces,
y(t) c(t) +
a
Si adems,
c(t) c = constante
c(s)g(s) exp
g( ) d
ds.
entonces
y(t) c exp
g(s) ds .
a
Y (t) =
g(s)y(s) ds,
a
Y gY + gc con Y (a) = 0.
c(t) es constante la funcin auxiliar
para obtener
Cuando
Z(t) = c +
adecuada es
g(s)y(s) ds.
a
x2 (t)
Sean
x1 (t), x2 (t)
(i = 1, 2)
funciones diferen-
para
a t b.
Si la funcin
a t b.
a,
por ejemplo en
|t a| K
es:
Corolario 3.7.
x1 (t) y
entonces la estimacin toma la forma
x = f (t, x)
soluciones de
x2 (t)
son
con
compacto
dist(, )
>0
y tomamos
Kh = P B h (P ) = P Q(h, h, P ),
en donde se usa la distancia habitual
Tomamos:
y denimos
h0 = mn{h,
h
}.
M
P 0 Kh
la solucin est
t Ih0 (t0 )}
3 En
est contenida en
soluciones para
el teorema 5.
t [a, b].
102
h1 = h0 /2,
x(t, P 0 )
P 0 Kh y |t0 t | h1 ,
Ih1 (t ) y an ms:
con
x(t, P 0 ) x(t)
[a, b] cuando P 0 (t , x(t )). Aqu, naturalmente, estamos
designando como x(t) a la solucin bajo estudio. En efecto, est clara la arma-
uniformemente en
x(t) = x +
x = x(t ),
f (s, x) ds
t
t}
x(t, P 0 ) = x
0 +
+
t0
luego:
|xn | ds,
t0
en
x(t, P 0 ) x(t),
uniformemente en
[t0 h1 , t0 + h1 ]
cuando
P 0 (t , x ).
conviene llamar
xn (t) = x(t, Pn )
denidas en
Ih1 (t0 )
n1
los valores
Pn Q(t0 )
y ms an:
xn (t) x(t)
uniformemente en
Ih1 (t0 ).
[t1 , t1 + h1 ],
xn (t) x(t),
en la totalidad del intervalo [t0 h1 , t1 + h1 ] = [t0 h1 , t0 + 2h1 ]. Esto es as
103
fn : R Rn Rn y f : R Rn
R funciones continuas tales que fn f converge uniformemente sobre cada
compacto K (es decir, para cada compacto K , las restricciones de fn
a K convergen uniformemente a la restriccin de f a K ). Sea {(t0n , x0n )}
tal que (t0n , x0n ) (t0 , x0 ). Sea (xn , In ) una solucin maximal del problema
{
x = fn (t, x)
x(t0n ) = x0n
Sean
para cada
n N.
f = f (t, x)
x = x(t) es la solucin de
{
x = f (t, x)
x(t0 ) = x0
tiene la propiedad de
x
(t, t0 , x0 ) (donde puede ser cualquiera de las variables t, t0 , x0i ) considerada
104
Teorema 3.9
(dependencia diferenciable)
1
Rn Rn es una funcin de
x = x(t, t0 , x0 ) es de clase C 1
clase
sobre
Supongamos que
f : R
. Entonces
(vase la denicin de
).
Adems,
a) Para cada
1 i n, y(t) =
problema de Cauchy,
x
(t, t0 , x0 ), t (, )
x0i
es la solucin del
f
(t, x0 (t)) y
x
y(t ) = e ,
0
i
donde
b)
ei
z(t) =
y =
x
(t, t0 , x0 ), t (, ) es la solucin del
t0
f
(t, x0 (t)) z
z =
x
z(t ) = f (t , x ),
0
Corolario 3.10.
con
k = ).
Rn , x0 (t) = x(t, t0 , x0 ).
problema de Cauchy,
x0 (t) = x(t, t0 , x0 ).
C1
C k (incluso
de x(t, t0 , x0 ),
por
Corolario 3.11
x
uU (t) =
(t, t0 , x0 ), t (, ) es la solucin del problema de
u(t ) = 0,
1 m,
Cauchy,
donde
x0 (t) = x(t, t0 , x0 ).
R)
R)
xx0 (t) =
2x
(t, t0 , x0 ),
x0
con un
xx0
es la funcin incgnita,
x
x
y x =
ya se han calcux0
xx0 =
106
3.4. Ejercicios
1. Se considera la familia de problemas:
y = y 2 1
n2
y(0) = 1,
y el problema lmite:
y = y2
y(0) = 1.
[0, 1] independientemente de n,
[0, 1). Este ejemplo prueba que los
el intervalo
est en
f : R2 R continua
x. Sea y(t) la solucin de
2. Sea
f (0, 0) = 0
|P0 | < , P0 = (t0 , x0 ),
x = f (t, x)
x(0) = 0
,
Suponiendo que
para
P0
[, ].
3. Se considera el problema:
y = y + x2 sen y
y(0) = 1,
en el intervalo
4. El problema
y = y
y(0) = 1,
|x| 1.
{
y = y
y(0) = 1
3.4. EJERCICIOS
107
y = y +
y(0) = 1,
en el intervalo
|x| 1
y
1 + y2
y = xy
y = xy + y 10
1
y(0) =
10
a) Prebese que la solucin
donde satisface
|y(x)|
y(x)
y(0) =
1
.
10
|x|
1
.
5
1
2
en
|y(x)
1 x2 /2
2
e
| 10 (e|x|/2 1).
10
5
6. Se considera:
y = t + y + y 2
y(0) = 1,
(P )
y el problema aproximado,
{
y = t + y
y(0) = 1.
(P0 )
|y(t)| K , K > 0,
y(t) es la solucin de
para t > 0. Probar que,
b) Si
y(t) > 1 + (1 + )t
c) Prubese que la solucin
y(t)
de (P) satisface:
y y 2
t > 0,
1
.
[0, )
es nito
108
y(t)
de (P) satisface:
y A()y 2
con
A() = 1 + +
1
.
1+
t > 0,
en el
apartado a).
7. La desigualdad de Gronwall establece que si:
y(t) a(t) +
t ,
b(s)y(s) ds
(1)
donde
a, b, y
son continuas,
b 0,
entonces,
y(t) a(t) +
a(s)b(s)e
t
s
b() d
t .
ds
(2)
Prubese que si
a es C 1
y(t) a(t)e
8. Supongamos que f
1
es C y satisface:
= f (x, y, )
en el intervalo
[a, b].
f :RRR
admite la solucin
b(s) ds
.
a x b, y R, R,
f
(x, y, )| K,
y = y(x, ) la solucin
{
y = f (x, y, )
y(a) = y0 ,
Sea
de:
Prubese que:
|y(x, ) y(x, )|
9. Sea
est denida en
f
(x, y, )| L
y
x [a, b], y R, R.
de clase
K
| |(eL|xa| 1).
L
C 1 tal que:
{
x = f (t, x)
x(0) = 0
x = sen t.
x = f (t, x) + 1
n
x(0) = 0,
sucientemente
3.4. EJERCICIOS
109
(0, 2).
(0, 2). Para encontrar un segundo cero demustrese que xn (t) > x(t) para
todo n y todo t (0, 2].
10. Se considera la familia de funciones:
fn (x, t) =
f = lm fn
sen t sen nx
.
n2
x = f (t, x)
x(0) = 0.
xn del problema:
x = fn (t, x)
1
x(0) =
?
n2
11. Sea
designando por
x =
x = x(t, t0 , x0 , )
x = f (t, x, )
x(t0 ) = x0 .
12. Calclense, justicando su existencia, todas las derivadas parciales de primer orden de
x = x2 + x3
x(t0 ) = x0 .
110
(x 1)2
x =
+ et
2
x(t ) = x ,
0
en
(t, t0 , x0 , ), x0 = 1, = 0.
{
x = x(1 x)(x )
x(t0 ) = x0 ,
en
(t, t0 , x0 ), x0 = .
en
x(t, t0 , x0 , )
x = x2 + t2
x(t0 ) = x0 ,
= 0.
en los puntos
17. Para
x = x( x)
x(t0 ) = x0 ,
f = f (t, x, )
de clase
C2
en
RRR
x = x(t, t0 , x0 )
3.5. Soluciones
[0, n )
con
n =
0
s2
ds
,
n12
3.5. SOLUCIONES
111
n > 1
h = mn{h,
M
R
}
M
Q. Tal cota
( )10
1 1
1
M=
+
.
2 10
10
Entonces:
Por tanto
R
1
=
M
2
h =
Es inme-
ds
= 1.
s2
donde
[0, 1).
porque:
1
2
1
1
( 1 )9 > .
2
+
5
1
2 lo que prueba que
es:
1
5 para
|x| <
1
2.
e1 (x) = y(x)10
por lo que
1 =
Por tanto:
|y(x)
1
.
510
)
1 x2
2 ( |x|
e 2 | 10 e 2 1 .
10
5
y0 (t)
es la solucin de
(P0 )
entonces
[0, )
y(t) > 1.
y(t) > 1 + (1 + )t
se sigue de la convexidad.
Est claro que
t+y >0
luego
y y 2 ,
y(t)
de donde:
1
.
1 t
y(t1 ) = 1
1. De ah
112
Por tanto
1
.
y <
y > 1 + (1 + )t
se sigue que:
1
(y 1) + y + y 2 < A()y 2 .
1+
y(t) <
luego
1
.
1 A()t
1
A() .
y(t) a(t) +
a(s)b(s)e
t
s
ds a(t) + a(t)
De aqu:
y(t) a(t)e
b(s) ds
( t )
d e s b ds.
113
x(t, t0 , x0 , x0 , )
x + x + x = 0
x(t0 ) = x0 x (t0 ) = x0 .
2
x(t, t0 , x0 , x0 , )
= 0.
2. Se considera el problema:
{
x + x + sen x = 0
x(0) = x0 x (0) = x0 ,
|x0 | <
.
2
y que adems satis-
facen la desigualdad:
1 2
1 2
x + 1 cos x x0 + 1 cos x0 ,
2
2
para
t 0.
{
x + x = 0
x(0) = x0 x (0) = x0 ,
que como bien se sabe viene dada explcitamente por
x0 sen t.
3. Sea
Si
i)
ii)
X(t) =
X(0) = I
x
(t, y),
y
{
x = A(t)x
x(0) = y.
prebese que
X (t) = A(t)X(t)
x(t) = x0 cos t +
para todo
satisface:
n n).
t R.
mientras
x=
114
x1 = x1
x2 = x2 + x1
x3 = x3 + x1
x = x(t, y)
x1 (0) = y1
x2 (0) = y2
x3 (0) = y3 .
y prubese que si
que satisface:
i)
ii)
para todo
tR
5. Hllese la solucin
x = x(t, y)
x1
x
2
x3
x4
donde
n n).
del problema:
= 2x1
= x1 + 2x2
= x1 + 3x2 x3
= x1 + 2x2 + x3 x4
x1 (t) =
x1 (0) = y1
x2 (0) = y2
x3 (0) = y3
x4 (0) = y4 .
x
(t, y).
y1
del problema:
{
x(0) = x0
y(0) = y0 .
x
y
(t, 1, 0), y1 (t) =
(t, 1, 0).
x0
x0
Captulo 4
Ecuaciones lineales
es
tes
b(t)
Todos los resultados que siguen son igualmente vlidos si las funciones
y
b(t)
A(t)
cientes
b(t)
Sean
son conti-
nuos en el intervalo
x(t)
denida en
arbitrarios.
115
para
t0 J
x01 , . . . , x0n C
116
x = A(t)x +
b(t).
x(t)
de
x
= (x1 , . . . , xn ) = (x, x , . . . , x(n1) )
del sistema
x
= A(t)
x + b(t)
x1
x2
donde
= x2
= x3
xn
donde
.
.
.
0
1
...
0
0
...
A(t) = .
.
..
.
.
.
.
.
an (t) an1 (t) . . .
a1 (t)
gnea si
(no homogna si
b = 0).
.
.
.
Denicin 4.2.
b(t) 0
0
0
0
0
b(t) =
.. .
.
b(t)
x = A(t)x + b(t)
se dice homo-
la ecuacin escalar.
La siguiente propiedad, consecuencia inmediata de la propiedad de unicidad,
es sin embargo fundamental en lo que sigue.
Proposicin 4.3.
se anula en un punto
Si
x(t)
Si una solucin
entonces
x(t) = 0
para todo
t J.
n1
en un punto t1
Sobre la estructura del conjunto de soluciones de una ecuacin lineal homognea se tiene el siguiente resultado.
Teorema 4.4
(Principio de Superposicin)
C 1 (J, Rn ) : x = A(t)x, t J}
El conjunto
S = {x = x(t)
x = A(t)x,
117
donde
y(t)
Sb = S + y(t)
Asimismo, el conjunto:
de todas las
Eb = E + (t),
donde
(t)
Observaciones 4.2.
a) En el teorema se dice que si se conoce una solucin particular
ecuacin completa, entonces todas las soluciones
x(t)
y(t)
de la
de la ecuacin completa
se escriben como:
z(t)
i (t)
la solucin de
v1 , . . . , v n
de
Rn
t0 J .
x = A(t)x
x(t0 ) = vi .
La familia
x0 = x(t0 )
y lo representamos:
x0 =
ci vi ,
i=1
entonces:
x(t) =
i=1
Luego
ci
tales que:
ci i (t) = 0
i=1
para todo
t J,
al tomar
t = t0
resulta
c1 = = cn = 0.
118
Denicin 4.5.
Corolario 4.6.
La ecuacin
x = A(t)x
para la ecuacin
L(x) = 0.
t0 J , un sistema
La misma armacin es vlida
t0 .
Corolario 4.7.
Sea S = {1 (t), . . . , n (t)} un sistema fundamental de solux = A(t)x. Entonces, para cada t0 R, x0 Rn existen n nmeros
nicos (slo dependen de t0 y de x0 ) c1 , . . . , cn R tales que, la solucin
ciones de
reales
del problema
x = A(t)x
x(t0 ) = x0
se escribe en la forma
(4.1)
donde
L(x) = 0
L(x) = 0
x(t0 ) = x01 , . . . , x(n1) (t0 ) = x0n ,
x = c1 x1 + + cn xn
para constantes nicas
ci .
(4.2)
ci = x0i .
Proposicin 4.8.
a)
x = A(t)x.
C 1 (J, Cn ),
Las
es decir
119
t J , {1 (t), . . . , n (t)}
b) Para cada
decir,
det col
para cada
N
es linealmente independiente en
Cn ,
es
[1 (t), . . . , n (t)] = 0
t J.
Cn ,
[1 (t0 ), . . . , n (t0 )] = 0.
son
n:
x(n) + a1 (t)x(n1) + + an (t)x = 0,
se dene el determinante Wronskiano de las
x1 (t)
.
.
W (x1 , . . . , xn )(t) =
.
(n1)
x
(t)
1
Proposicin 4.9.
{x1 , . . . , xn }
Sea
soluciones como:
..
.
.
,
.
(n1)
(t)
xn
xn (t)
una familia de
t J.
soluciones de la ecuacin
{x1 , . . . , xn }
tal que
tJ
c) Para cada
W (x1 , . . . , xn )(t0 ) = 0.
se cumple
W (x1 , . . . , xn )(t) = 0.
ai C :
x(n) + a1 x(n1) + + an x = 0.
(4.3)
1 , . . . , p de multiplicidades m1 , . . . , mp ,
m1 + + mp = n.
races
o complejas y
Proposicin 4.10.
La familia de funciones:
para
i = j
120
Demostracin. Se tiene:
L(et ) = q()et ,
k
L(tk et ) =
k ( )
l=0
kl q (l) ()et .
tk ei t , k mi 1,
Lema 4.11.
Sean
q(t)
p(t)
polinomios complejos en t,
C, = 0.
Si
et q(t) = p(t)
para todo
entonces
p(t)
q(t)
t R,
p(t) + q(t)e1 t = 0
con
polinomios,
1 = 0,
son cero. Si
de
m + 1 trminos, de:
q0
q1 (t)e1 t + + qm+1
(t)em+1 t = 0,
donde:
(t)e(m+1 1 )t = 0.
q1 (t) + q2 (t)e(2 1 )t + + qm+1
Luego todos los
qi
qi (t)ei t = p(t)
para cierto polinomio
p.
Por el lema
qi 0.
121
p.
Si es
cero
et q(t) = c
con
luego
con
constante. Como
q 0.
q(t) = cet
= 0
de grado
m + 1,
c = 0
y partimos de la igualdad
al derivar obtenemos
Si los coecientes
una raz compleja de
es tambin una raz
en este caso funciones complejas. Sin embargo stas van acompaadas de las
correspondientes funciones conjugadas.
t
m1 t t
ste cada grupo complejo {e , . . . , t
e , e , . . . , tm1 et } por el siguiente
grupo real:
S1
en
4.2.2. Ejercicios
1. Para
1 . . . , n C, i = j
si
i = j
1 (t) = e1 t , . . . , n (t) = en t .
Calclese el el Wronskiano
L(x) = 0
W (1 , . . . , n ).
x + x 6x = 0
x + 2x 5x 6x = 0
x(iv) x 9x 11x 4x = 0
x(vi) + 9x(iv) + 24x + 16x = 0
xiv + 5x 36x = 0
x 2x + 5x = 0
x + 4x = 0
(D2 2D + 5)2 x = 0.
122
t = e .
De acuerdo con esta estrategia hllese en los siguientes casos un sistema
fundamental de soluciones de las ecuaciones correspondientes.
t2 x 3tx + 4x = 0
t2 x 2tx + 2x = 0
t3 x + tx x = 0.
4. Sea
V CN
(t + 1)2 x + (t + 1)x x = 0
(2t + 1)2 x 2(2t + 1)x 12x = 0
2n
forma
B = {u1 , . . . , un , u
1 , . . . , u
n }.
a) Escribiendo
uk = vk + iwk
con los
vk , wk RN ,
prubese que
{v1 , w1 , . . . , vn , wn }
tambin es una base de
b) Se representa
xV
V.
en la forma:
x=
ck uk +
i=1
Prubese que
x V RN
dk u
k .
i=1
si y slo si
dk = ck
para
k = 1, . . . , n.
En ese caso:
x=
(ck uk ) =
i=1
donde
xk vk +
i=1
yk wk ,
i=1
xk , yk R.
B = {ej }
ej B
entonces
RN ).
5.
Be = {
ej }
ej B,
formada por vectores reales (e
j
A
1 , . . . , n C.
V CN
autovalores distintos
matriz compleja
nn
que
123
C,
x(t) = et w
w Cn
x = Ax.
b) Hallar un sistema fundamental de soluciones
{1 , . . . , n }
de la ecuacin:
x = Ax
c) Hallar la solucin general de la ecuacin
de valor inicial
x(0) = (3, 0)
(
0
1
)
3
.
2
2 0
A = 0 1
0 2
x(0) = (1, 1)
y resolver el problema
para
A=
de valor inicial
x = Ax
x = Ax
y resolver el problema
0
0 .
3
x = Ax
y resolver el problema
para
(
1
A=
1
)
1
.
1
2.
3.
4.
x 2x + 5x = 0, = 1 2i.
6.
2k
x + 4x = 0, = 3 4e 3 i e 3 i , k = 0, 1, 2, e 6 i = 12 + i 23 .
7.
5.
124
8.
(D2 2D + 5)2 x = 0, = 1 2i
tx = x,
t2 x = x
x,
d
d se tiene:
t3 x =
d3 x
3
x + 2x.
d 3
t2 x 3tx + 4x = 0, x
4x + 4x = 0, q() = ( 2)2 .
2.
t2 x 2tx + 2x = 0, x
3x + 2x = 0, q() = ( 1)( 2).
3.
t3 x + tx x = 0,
4.
5.
d3 x
d 3
3
x + 3x x = 0, q() = ( 1)3 .
Hacemos
= 2t + 1 = e .
Se obtiene
x = c1 e2 + c2 e2 = c1 t2 + c2 t2 log t.
{1 , . . . , n }
x(t)
denida por
ci (t)
satisfacen el sistema:
1
1
..
.
(n1)
1
Para
f C((a, b), C)
...
...
..
...
la funcin
n
c1
0
n
c2 0
=
.
.
.
.
.
.. ..
.
(n1)
cn
f (t)
n
xp (t)
homognea:
Las funciones
para
donde
W.
(4.4)
(i)
Wi (s)
ni
en el Wronskiano
Teorema 4.12
125
Si
t
n
Wi (s)
xp (t) =
f (s)i (t) ds.
t0 i=1 W (s)
1 , . . . , n
t = t0
la solucin de
4.2.5. Ejercicios
1. Usar el mtodo de variacin de las constantes para calcular una solucin
de las siguientes ecuaciones:
x + 3x 4x = te2t
x + 4x = 2 cos t cos 3t
y 8y = eix
y (iv) 4y + 6y 4y + y = ex
y 2iy y = eix 2eix .
L=
ak D
L1 =
k=0
bl D l .
l=0
Lx = f (t),
cuando se admite que la funcin
(4.5)
cumple:
L1 (f ) = 0.
En la prctica, para una
L1
sen(bt), cos(bt).
En primer lugar se tiene que si
satisface (4.5) y
L2 x = 0.
L2 = L1 L
entonces:
126
L (q )
L1 (q1 ).
L2 es el producto
El mtdo de coecien-
tes indeterminados consiste en hallar una solucin de (4.5) buscando entre las
soluciones de
L2 x = 0.
Un primer caso:
L(x) = tm et
Se toma
q1 () = ( )
m+1
r(t) = c0 + + cm tm .
xp (t) = r(t)et
Anlogamente, si
q() = 0.
q( i) = 0
para
L(x) = tm et cos t
L(x) = tm et sen t,
r1 (t)
r2 (t)
polinomios de la forma
r(t) = c0 + + cm tm .
L(x) = tm et
= es raz de orden k de q(). Al tomar q1 () = ( )m+1 resulta que
= a es raz de orden m + k + 1 de q2 (). En este caso la solucin particular
y
r(t) = c0 + + cm tm ,
xp (t) = tk r(t)et ,
L(x) = tm et cos t
y
= i
es raz de orden
de
L(x) = tm et sen t,
q()
r1 (t)
r2 (t)
polinomios de la forma
r(t) = c0 + + cm tm .
4.2.7. Ejercicios
1. Hallar una solucin particular de las ecuaciones siguientes:
y + 4y = cos x
y + 4y = sen 2x
y 4y = 3e2x + 4ex
y + iy + 2y = 2 cosh 2x + e2x
y + 3y + 3y + y = x2 ex
y y 2y = x2 + cos x
y + 9y = x2 e3x
y + y = xex cos 2x
y = x2 + ex sen x .
127
2. Se considera el operador:
Ly = y + a1 y + a2 y
Sea
tal que
p(i) = 0
con
el polinomio caracterstico de
A R, L(y) = Aeit
forma:
(x) =
donde
b) Sea
L.
a
ei(t) ,
|p(i)|
= (t)
Prubese que
c) Sean
ai R.
una solucin de
L, R, C , E ,
L(y) = Ly + Ry +
en el que se supone
p(i) = 0.
1
y
C
L(y) = E cos t,
admite una solucin de la forma
d) Supngase que
R2 C < 2L.
(t) = B cos(t ).
Hllese el valor de
para el que
es mxi-
t ?
y + 2 y = A cos t
a) Calclense sus soluciones en
A > 0, > 0.
t 0.
1.
y + 4y = cos x, y =
2.
3.
1
3
t +.
cos x.
128
4.
1
2x
20 (3 i)e
5.
y + 3y + 3y + y = x2 ex , q() = ( + 1)3 , y =
1 5 x
.
60 x e
6.
x
cos x
y y 2y = x2 +cos x, q() = (+1)(2), y = 34 x2 x2 sen
10 3 10 .
7.
1 2
y + 9y = x2 e3x , y = { 18
x
1
27 x
1
3x
162 }e .
1 x
y + y = xex cos 2x, y = 25
e sen 2x + 51 xex sen 2x +
1
x
10 xe cos 2x.
8.
y = x2 + ex sen x, y =
9.
x5
60
ex
4 (sen x
11 x
50 e
cos 2x +
cos x).
En el caso 5) se tiene:
( )
( )
( )
5 (5)
5 (4)
5 (3)
t
t
L(t e ) =
q ()e +
q ()te +
q ()t2 et + .
0
1
2
5 t
Haciendo
= 1:
L(t5 et ) = 60t2 et .
y = ex sen x,
llamamos
= 1 + i
y observamos que:
( ( x ))
e
= (ex ).
3
Se tiene
3 = 2(1 + i),
luego
ex
1 ex
ex
=
=
(1 i)(cos x + i sen x)
3
21+i
4
=
(
Por tanto:
Una solucin de
y = x2
es
ex
3
y=
=
x5
60 .
ex
(cos x sen x + i(sen x cos x)).
4
ex
(sen x cos x).
4
4.3. SISTEMAS
129
4.3. Sistemas
4.3.1. Representacin matricial de soluciones
Denicin 4.13.
{v1 , . . . , vn },
denota-
remos por
col
nn
v i , 1 i n.
a la matriz
[v1 , . . . , vn ]
col
A Mnn (C)
entonces:
Mnn (C)
Denicin 4.14.
de
x = A(t)x.
Propiedad 4.15.
C 1.
i)
: (, ) Mnn (C)
(t)
ii)
Sea
(, ) se dice que
= I (la identidad).
(t)
(t) = A(t)(t).
y
iii)
(t)
(t)
(t) = A(t)(t).
y existe t0
(, )
tal que
(t0 )
es invertible.
(t)
(t)
Observacin 4.5. Si
x(t)
x = A(t)x
130
(t)
c Cn :
x(t) = (t)c
con
c = (c1 , . . . , cn )t ,
c1
.
.
.
cn
Propiedad 4.16.
Sean
C 1.
i) Si
(t)
entonces
ii) Si
(t) = (t)C
(t)
(t)
(t) = (t)C
C Mnn (C),
para todo t.
(t)
(t) = (t)ci .
Formando la matriz
C = col [c1 , . . . , cn ]
(t) = (t)C,
para todo
t.
Observaciones 4.6.
a) De la propiedad se deduce que toda ecuacin lineal admite innitas matrices
fundamentales. Por otra parte que esto cierto ya es consecuencia de que la
ecuacin admite innitos sistemas fundamentales de soluciones.
b) De la propiedad se deduce que si (t) es una matriz fundamental entonces
(t)(t0 )1 es una matriz fundamental normalizada en t0 .
Teorema 4.17.
Sean
J = (, )
de
del problema
x = A(t)x
x(t0 ) = x0
x(t, t0 , x0 ) = (t)(t0 )1 x0 ,
t J.
4.3. SISTEMAS
131
x = A(t)x + b(t)
x(t0 ) = x0
x(t, t0 , x0 ) = (t)(t0 )1 x0 +
(t)(s)1 b(s) ds
t J.
t0
Sea
(t)
(t) = A(t)(t).
Entonces su determinante:
z = (traza A(t))z.
En otras palabras,
(
det
traza
)
A(s) ds .
t0
Demostracin. Como:
(t) = A(t)(t),
si
i (t) =
1i (t)
ni (t)
(t)
.
.
.
entonces:
ij = aik kj ,
donde se suma en el ndice repetido.
As:
(det
11
21
(t)) = .
..
n1
a1k k1
21
= .
..
n1
a1k k2
22
.
.
.
n2
11 12 . . . 1n
1n
21 22 . . . 2n
2n
.
. + + .
.
.
..
..
.
.
.
.
.
.
.
.
.
.
.
.
n2 . . . nn
n1 n2 . . . nn
11
. . . a1k kn
12
...
1n
21
...
2n
22
...
2n
+ + .
.
.
.
..
.
.
.
..
.
..
.
.
.
.
...
nn
ank k1 ank k2 . . . ank kn
12
22
...
...
132
11
21
= a11 .
..
n1
12
22
...
...
.
.
.
..
n2
...
11
1n
21
2n
. + + ann .
.
..
.
n1
nn
= traza A(t)
det
12
22
...
...
.
.
.
..
n2
...
(t).
1n
2n
.
.
.
nn
es
soluciones de la ecuacin:
como un sistema.
x + x = 0, x x = 0, x t2 x = 0
ms generalmente
x + a(t)x = 0,
se sigue que el Wronskiano
W (t)
4.3.2. Eliminacin
Antes de abordar el estudio del caso general presentamos algunas ideas sencillas sobre eliminacin que permiten integrar sistemas de ecuaciones diferenciales
de coecientes constantes.
La idea consiste en reducir el sistema a una ecuacin escalar. En el caso
de dos ecuaciones, por ejemplo, se despeja una funcin incgnita en una de las
ecuaciones y se substituye en la otra.
x = 3x 4y
y = 4x 7y.
{
4y = x + 3x
y = 4x 7y.
4y + 28y = 16x
La solucin de sta es
x = c1 et + c2 e5t
de donde
y=
c1 t
2 e
+ 2c2 e5t .
4.3. SISTEMAS
133
x = ax + by + f (t)
y = cx + dy + g(t)
b = 0,
donde
en la forma
{
y = b1 (L1 (x) + f (t))
b1 L4 (L1 (x)) cx = g(t) + b1 L4 (f ).
Ejemplo 4.11.
x = 4x + y + z
y = 2x + 3y + z
z = 2x y + 5z.
En la segunda despejamos
z:
L(y) = y 3y.
z = L(y) 2x,
Yendo a la primera:
x 4x y (L(y) 2x) = 0
x 2x (y 2y) = 0.
(L(y)2x) 5(L(y)2x)2x+y = 0
{
x 2x (y 2y) = 0
2(x 4x) + y 8y + 16y = 0
{
L1 (x) + L2 (y) = 0
L3 (x) + L4 (y) = 0,
donde: L1 (x)
Ejercicios
1. Usar el mtodo de eliminacin para hallar la solucin general de los siguientes sistemas:
1)
{
x = 3x 4y
y = 4x 7y,
{
2)
x = ay
y = (4a + 1)x y,
a > 0,
134
{
x = x y
y = y 4x,
3)
3)
dx = 5x + 2y + 5t
dt
dy
= 3x + 4y + 17t.
dt
x = 3x + y z
y = x + 2y z
z = 3x + 3y z,
1)
3)
2)
x = y + z
y = x + z
z = x + y.
x = x + z + e
x = 3x z + e
4)
y = 2y
y = 4y + z
z = x + z,
z = 2y + 2z,
x = x 2y 2z + 2e
5)
y = 2x + y + 2z + 4et
z = 2x + 2y + z 2et .
Algunas soluciones
Solucin 2
Para 1) se despeja
para llegar a:
{
x 2x y + y = 0
(x 2x) y + 2y = 0.
De aqu:
(y y) = y 2y
y 2y + 2y = 0,
luego
y = c1 e1 t + c2 e2 t ,
1,
1 = 1 + i, 2 =
con lo que
y y = c1 (1 1)e1 t + c2 (2 1)e2 t .
Para calcular
se resuelve:
x 2x = c1 (1 1)e1 t + c2 (2 1)e2 t ,
para dar:
x = c1
Finalmente,
1 1 1 t
2 1 2 t
e + c2
e + c3 e2t .
1 2
2 2
sale de la relacin:
z = y (x 3x).
4.3. SISTEMAS
135
xz
{
(x y) = (x y)
(x z) = (x z),
de donde:
x y = c1 et
y z.
As:
x z = c2 et ,
x = 2x (c1 + c2 )et
cuya solucin es:
x=
1
(c1 + c2 )et + c3 e2t .
3
Caso general
El modelo general es:
{
L1 (x) + L2 (y) = f (t)
L3 (x) + L4 (y) = g(t),
donde los
Li
(4.6)
ejemplos 4.9 y 4.10 los L son de primer orden como mucho. Concretamente en
{
L1 (x) + L2 (y) = f (t)
L3 (x) + L4 (y) = g(t),
como sigue:
L1 (x) + L2 (y) = f
L1 L4 (y) L3 L2 (y) = L1 (g) L3 (f ).
De forma exquemtica
L1 (x) + L2 (y) = f
L1 (II) L3 (I) = 0
donde (I) y (II) representan las ecuaciones del sistema original (4.6) con los
trminos
f, g
en el primer miembro.
y(t) = y(t, C) +
(t) y el resultado se lleva a la primera resolviendo en x: x(t) = x(t, C, C )+(t).
En la expresin de y(t), C representa las r constantes de la solucin homognea,
r dado por el grado del operador L1 L4 L3 L2 . El trmino C representa
las m1 constantes de la solucin homognea correspondiente a L1 .
Sin embargo x(t) e y(t) no proporcionan en principio la solucin del sistema
En el sistema integramos la segunda ecuacin para obtener
L1 (x) + L2 (y) = f
L1 (L3 (x) + L4 (y) g) = 0.
(4.7)
136
(j)
m1
es el orden de
L1 .
0 j m1 1,
L1
en el pri-
mer miembro de de la segunda ecuacin de (4.7). Por otra parte las relaciones
anteriores conforman un sistema de m1 ecuaciones con m1 + s incgnitas, las
C y C . Estas relaciones permiten, en general, la eliminacin de las constantes
superuas que se introdujeron al aplicar los operadores
L3
L1
a las ecuaciones
de (4.6).
Debe sin embargo advertirse que el formato del sistema (4.6) no concuerda
con el de la teora general de existencia y unicidad del Captulo II pues no estn
x e y . En particular, el sistema
L1 L4 L3 L2 es idnticamente cero.
{
x = 3x 4y + t
y = 4x 7y + et
Ahora
{
x 3x + 4y = t
4x + y + 7y = et .
y + 4y 5y = 4t 4et
y su solucin general es:
y = c1 et + c2 e5t
16 4t 1 t
+ e = c1 et + c2 e5t + g(t).
25
5
2
x = 2c1 et +
con
f (t) =
Sustituyendo
y(t)
e integrando obtenemos:
c2 5t
e
+ c3 e3t + f (t),
2
64 et
7
1
+
(t + ).
75
2
5
3
4x + y + 7y = et
y haciendo
t=0
obtenemos el valor de
c3 =
c3 :
4.3. SISTEMAS
137
{
x 2x (y 2y) = 0
2(x 4x) + y 8y + 16y = 0
{
L1 (x) + L2 (y) = 0
L3 (x) + L4 (y) = 0.
La eliminacin da:
L1
t = 0,
obte-
niendo:
(C3 C4 ) + C1 + C3 = 0,
luego
C4 = C3 .
Finalmente:
Ejercicios
1. Usar el mtodo de eliminacin para hallar la solucin general de los siguientes sistemas:
{
1)
x + y x + y = 1
x + y x = t2 ,
{
2)
x + y x = 5
x + y + y = 1,
{
(D + 1)[x] (D + 1)[y] = et
3)
(D 1)[x] + (2D + 1)[y] = 5,
{
{
x + y + 2x = 0
D2 [x] + D[y] = 2
4)
5)
x + y x y = sen t,
4x + D[y] = 6,
{
{
x + y = t2
y + x + x = sen t
6)
7)
x + y = 1,
y y + x = 0,
138
Si
lineales y continuas
T = supxX,x=0
Es consecuencia de la denicin de
|T (x)|
.
|x|
|T (x)| T |x|
para todo
x X.
T1 , T2 L(X)
entonces:
T1 T2 T1 T2 .
El paralelismo entre matrices y aplicaciones lineales en
natural para dotar al espacio de las matrices
n
a cualquier norma | | de C . A saber:
Mnn (C)
Cn habilita un camino
para todo
x Rn }.
(4.8)
A, B Mnn (C)
se tiene
AB A B,
2)
|Ax| A |x|.
Sin embargo
Mnn (C)
Cn
. Por tanto se
puede dotar a las matrices de una multitud de normas (todas ellas equivalentes
entre s). Sin embargo estas normas no son adecuadas para nuestros propsitos.
n
La siguiente denicin resulta entonces pertinente. Dada una norma | | en C
y una norma
en
propiedades 1) y 2) cuando
norma
denida
En lo que sigue se supone siempre que las matrices estn dotadas de una
n
norma compatible con una dada | | de C .
Denicin 4.19.
n=1 xn converge
donde
SN =
N
n=1
Sea
a
A =
(X, | |)
i,j
|aij |
son compatibles.
si
x = lm SN ,
xn .
4.3. SISTEMAS
139
Proposicin 4.20.
Si
n=1
xn
es absolutamente convergente en
entonces
n=1
X:
|xn | <
n=1
xn
converge y adems:
Proposicin 4.21.
Sea
xn |
n=1
n=1
xn
|xn |.
n=1
x=
con suma
x:
xn ,
n=1
T L(X).
Entonces
T (x) =
T (xn ).
n=1
B:
X X
(x, y)
X
B(x, y)
es aquella que es lineal separadamente en cada una de las variables. Toda aplicacin bilineal que es continua satisface:
B de B
K > 0 y x, y X
Teorema 4.22.
Sean
un espacio de Banach
n=1 xn ,
n=1
con sumas x e
zn =
Entonces
B(xk , ynk ).
k=1
n=1 zn es convergente y
B(x, y) =
n=1
zn .
140
Teorema 4.23.
Sea
(X, | |)
T : X X
un
Tn
n!
n=0
converge absolutamente en
L(X).
Denicin 4.24.
a la suma (en
Dado
L(X))
Adems
Tn
< exp(T ).
n!
n=0
T L(X),
se dene la exponencial
eT
del operador
de la serie
Tn
.
n!
n=0
A Mnn (C)
eA =
se dene
An
.
n!
n=0
Sean
A, B Mnn (C)
enton-
ces,
e0 = I
a)
b) Si
AB = BA
n n).
entonces
eA+B = eA eB = eB eA .
c)
eA
d) Si
es invertible y
AB = BA
eA
}1
= eA .
entonces
B k eA = eA B k para
cada
k N.
e) La funcin
:
es
C .
R
t
Mnn (C)
etA
Adems,
dk tA
(e ) = Ak etA = etA Ak .
dtk
Teorema 4.26.
Dada la matriz
fundamental de la ecuacin,
A Mnn (C),
x = Ax.
la funcin
etA
es una matriz
141
x = Ax
x(t0 ) = x0
se escribe
x(t) = e(tt0 )A x0 .
b : R Cn continua, la nica
{
x = Ax + b(t)
x(t0 ) = x0
Anlogamente, para
se representa en la forma:
x(t) = e(tt0 )A x0 +
Sean
J, P Mnn (C), P
(P
para cada
n N.
JP ) = P
invertible. Entonces,
J n P,
En particular,
eP
JP
= P 1 eJ P.
eA . La idea
P tal que
A = P 1 JP,
y de forma que
tenga el
Proposicin 4.28.
1
..
exp .
0
..
.
.
.
En particular:
exp t
.
.
.
..
.
.
.
= exp
e1
.
.
.
..
1 t
.
.
.
..
0
.
.
.
n t
.
.
.
n
(i C).
e1 t
.
.
.
..
.
.
.
n t
142
2. Sea
Ln
la matriz
nn
dada por,
0
1
Ln = ...
0
0
Entonces
etLn
0
0
.
.
.
..
.
.
.
0
0
...
0
1
0
1
.
.
.
..
tn3
(n3)!
tn2
(n2)!
1
t
..
.
=
n2
t
(n2)!
tn1
(n1)!
A1
0
..
.
0
0
A2
.
.
.
..
0
0
.
.
.
Ap
0
0
.
.
.
.
.
.
.
1 0
t 1
0
0
0
0
.
. .
.
0
0
0
0
etA1
0
et A = .
..
0
0
etA2
.
.
.
..
0
0
. .
.
.
etAp
A = P 1 JP , J con el mximo
P nos lleva al de la
T L(Cn ), o lo
v Cn \ {0} es un
n n, A.
autovalor C
autovector de
compleja
Se dice que
un
si
v N (T I)
El espacio
asociado a
T v = v.
y se denomina multiplicidad
geomtrica de
= dim N (T I).
Si
A Mnn (C)
son
autovalores
es la matriz asociada a
en una base
{ei }, 1 i n,
los
Si
un autovalor de
T L(Cn )
143
de
tales que
N (T I)k = N (T I)k+1 .
En este caso, el subespacio
N (T I) ,
que contiene al autoespacio
asociado a
N (T I)k ,
(es decir
A).
kN
k)
Obsrvese que
dada por
0
1
Lk = .
..
0
(
0
L1 = (0), L2 =
1
0
0
0
0
.
.
.
..
0
)
0 0
0 0
.
. .
.
.
.
.
1 0
, etc.
de ndice
se
representa en la forma:
A = P 1 N P,
Lk
0
N =0
..
.
0
0
Lk
0
0
0
Lk
...0
...0
...0
.
.
.
.
.
.
..
...
.
.
.
L1
Entonces existe una base {e1 , . . . , en } (una matriz invertible P ) sobre la cual la
1
matriz asociada a T (la matriz J = P AP
) es diagonal s y slo s
1 + + p = n.
144
Cn formada
por autovectores.
El siguiente resultado muestra cmo representar de manera ptima una aplicacin lineal
cuando no es diagonalizable.
Sea
un operador lineal de
L(Cn )
J1 0 . . . 0
0 J2 . . . 0
.. . .
. ,
..
.
.
.
.
.
0
0 . . . Jp
cidades geomtricas
1 i p, Ji
ni ni
de la forma:
Ji = i Ii + Ni
Ii la matriz identidad de dimensiones ni ni , y siendo Ni la forma
cannica de un operador nilpotente de ndice i , es decir, una matriz ni ni de
siendo
la forma
Li
0
..
.
0
0
Li
...
...
.
.
.
..
...
0
0
. ,
.
.
L1
(4.9)
r1 bloques nilpotentes de
bloques nilpotentes de ndice i 1, y
as en rdenes decrecientes hasta que se cierra la serie con ri bloques de ndice
i ,
ri
r2
rj
ni = dim N (T i I)i .
Observaciones 4.19.
a) La ltima lnea muestra que la multiplicidad geomtrica
coincide con el nmero total de bloques
Ni
de la submatriz
Ji .
Lk
i = dim N (T i I)
145
i , ha de aparecer al
Lk con k i 1.
Li ,
menos un bloque
bloques
A = P 1 JP.
{ei } se busca primero una base adecuada Bi del autoespacio
Ji .
La base
BJ = {ei },
ge-
cuya
BJ = B1 Bp .
La construccin de las bases
Bi
Teorema 4.31.
Mnn (C)),
Sea
un operador lineal de
L(Cn )
con autovalores
multiplicidades algebraicas
T (N (T i I)i ) N (T i I)i
b)
Cn
T,
es decir
1 i p.
Cn = N (T I)1 N (T I)p .
ni = dim N (T i I)i coincide con la multiplicidad de
polinomio caracterstico de T .
c)
Lema 4.32.
Sea
T L(Cn ),
y sean
subespacios de
Cn
tales que
a)
Cn = U V ;
1 Ms
146
b)
V son
invariantes frente a
T,
T (U ) U
es decir,
&
T (V ) V.
base {e1 , . . . , ep , e1 , . . . , eq } es
(
)
A1 0
.
0 A2
Sean
omo se apuntaba ms arriba, la demostracin del teorema de la forma cannica de Jordan procede como sigue. En funcin del Teorema 4.31 y del Lema
4.32 basta con encontrar una base adecuada
N (T i I)i sobre la cual, la aplicacin
Ti = T N (T i I)i ,
Bi
Ti : N (T i I)i N (T i I)i
Ji .
La base,
BJ
cuya existencia
BJ = B1 Bp
de las bases
Bi .
Bi
N (T i I)i , se observa
Ti = i I N (T i I)i + (T i I)N (T i I)i
N (T i I)i
la representacin matricial,
Ji = i Ini + Ni
ni ni , Ni .
(T i I)N (T i I)i
es nilpotente de ndice
(luego
i I)N (T i I)i
Ni
es tambin
Bi sobre la que (T
4.30.
Para ello se demuestra el siguiente teorema. En el mismo, T juega el papel de
(T i I)N (T i I)i , Cn juega el papel de N (T i I)i y el ndice representa
a i .
Teorema 4.33.
Sea
de
L 0 . . . 0
0 L . . . 0
N = .
.
. ,
..
.
.
..
.
.
.
0
0 . . . L1
Entonces
r2
147
L1 ,
r1 = dim N (T ) dim N (T 1 ),
r1 + r2 = dim N (T 1 ) dim N (T 2 ),
...
r1 + + r1 = dim N (T 2 ) dim N (T )
r + + r1 + r = dim N (T ),
y en donde
n = dim N (T ).
Observacin 4.20.
r1 1
ri
podran
ser cero.
1
Demostracin. Como N (T
) N (T ) = Cn existe H1 tal que N (T ) =
1
1
H1 N (T
). Sea B1 = {v1 , . . . , vr11 } una base arbitraria de H1 , entonces la
1
1
familia {T (v1 ), . . . , T (vr )} es linealmente independiente y est contenida en
1
1
2
N (T
) \ N (T
), por eso es posible encontrar r2 vectores {v12 , . . . , vr22 } (r2
podra ser cero en algn caso) tales que,
la base buscada
148
e
J1
..
.
0
J =
0
.
..
0
0
...
...
..
.
.
.
.
.
.
.
.
.
..
.
.
.
...
...
...
Jer
0
0
0
J1
0
0
0
J1
...
...
...
0
0
0
..
.
.
.
.
.
.
.
.
.
..
.
.
.
...
...
0
0
0
0
0
0
...
...
J:
.
.
.
0
.
.
.
Js
0
Js
un autovalor complejo y supongamos que el grupo de vectores asocia en la base de Jordan BJ es {v1 , . . . , vn }, siendo por tanto {
v1 , . . . , vn }
.
grupo contiguo en BJ asociado al autovalor
Sea
dos a
el
Si
{v1 , . . . , vn , v1 , . . . , vn }
se substituye por
{v1 , v1 , . . . , vn , vn },
en
BJ
2nj 2nj
Rj = Dj + Nj ,
donde si
j = + i
Di
mientras
Nj
0
0
.
.
.
...
0 . . .
= . .
..
..
0 ...
e
L
.
..
0
=
0
..
.
0
(
=
...
...
..
.
.
.
.
.
.
..
...
...
e
L
0
0
e
L1
...
...
..
.
.
.
.
.
.
..
...
...
ek
L
0
.
0
.
.
.
e1
L
.
.
.
tienen dimensiones
2k 2k
149
son de la forma:
0
I2
ek =
L
..
.
0
y los
e , L
e 1 ,
L
0 ...
0 ...
.
.
.
..
e1
L
.
.
.
0 ...
...,
0
0
I2
0
0
. ,
.
.
0
e1 =
L
(
0
0
0
0
)
I2 =
(
)
1 0
,
0 1
L , L1 , . . . , L1 , en los bloques de Jordan corres j . La matriz JR de T en esta nueva base es la forma cannica
real:
e
J1
..
.
0
JR =
0
.
..
0
...
...
..
.
.
.
.
.
.
..
...
...
Jer
0
0
R1
...
...
..
.
.
.
.
.
.
..
...
...
etJR
0
.
0
.
.
.
Rs
et . De hecho, se tiene
(
exp(t) = e
Si ponemos
.
.
.
que:
En efecto si
)
cos t
sen t
.
sen t cos t
x
0 = (x0 , y0 ), x
(t) = et x
0 es la solucin de x
=
x con x
(0) = x
0 .
z = x + iy , = + i , z0 = x0 + iy0 , la versin compleja de este
problema es:
Su solucin es
z = z
z(0) = z0 .
a11 . . . a1n
. . . . . . . . . . . . . .
( )
an1 . . . ann
A
.
=
I
1 ... 0
.........
Cuando una apicacin lineal
T L(Cn )
...
150
b11 . . . b1r
0
...
b21 . . . b2r
0
...
.
.
.
..
..
.
.
.
.
.
.
.
.
( )
bn1 . . . bnr
0
...
B
=
d
D
11 . . . d1r d1(r+1) . . .
d
21 . . . d2r d2(r+1) . . .
.
.
.
..
..
..
.
.
.
.
.
.
dn1
en la cual,
tiene rango
. . . dnr
dn(r+1)
...
0
0
d1n
d2r
.
.
.
dnn
es la imagen
de la correspondiente columna de D.
(
)
0
J=
,
1
y la base de Jordan:
B = {v, (A )v}.
A Mnn (C), n = 3. Hay tres casos no
(A) = {, } con = = 1, n = 2, n = 1. La
Se sigue con
primero
Jordan es:
0 0
J = 1 0 ,
0 0
B = {v1 , (A )v1 , v2 }.
diagonalizables, el
forma cannica de
151
0 0
J = 1 0 ,
0 0
donde
con
es
(A) = {} (
triple)
B = {v1 , (A )v1 , v2 }.
Ahora
0 0
J = 1 0 ,
0 1
independiente de
forma
y base de Jordan:
B = {v1 , (A )v1 , (A )2 v1 }.
Para nalizar se estudia ahora el caso
con tres autovalores
= = = 1
(A) = {, , }.
Se supone
y forma cannica:
0
1
J =
0 0
0 0
0 0
0 0
.
0
0
B = {v1 , (A )v1 , v2 , v3 },
(A )2 v1 = 0, Av2 = v2 , Av3 = v3 .
Ahora se supone que A posee dos autovalores (A) = {, }
casos. El primero = = 1. La forma cannica es
0 0 0
1 0 0
J =
0 0 0 .
0 0 1
donde
y hay cuatro
(A )2 v1 = (A )2 v2 = 0.
1
J =
0
0
El segundo es
cannica es
0 0
0
0
0 0
0
0
.
0
= 1 , = 2 ,
la forma
152
B = {v1 , (A )v1 , v2 , v3 },
(A )2 v1 = 0 y {v2 , v3 } es una base del autoespacio asociado a . En el
tercero es triple, por tanto es simple, con = 1. Le corresponde la forma
cannica:
0 0 0
1 0 0
J =
0 1 0 .
0 0 0
donde
B = {v1 , (A )v1 , (A )2 v1 , v2 },
donde
es:
0 0 0
1 0 0
J =
0 0 0 .
0 0 0
B = {v1 , (A )v1 , v2 , v3 },
donde
A(v2 ) = v2
autovector asociado a
= 1 ,
(A )v1
v3
es un
.
(A) = {}. El primer
la forma cannica es
0 0
1 0
J =
0 1
0 0 1
0
0
,
0
la base de Jordan,
B = {v1 , (A )v1 , (A )2 v1 , (A )3 v1 },
que, sobra decirlo, requiere que
El siguiente caso es
= 3,
(A )3 v1 = 0.
con forma cannica
0 0
1 0
J =
0 0
0 0 0
0
0
.
0
La base de Jordan,
B = {v1 , (A )v1 , v2 , v3 }.
153
{v2 , v3 }
(A )v1
un
= 2
= 3
que
0 0
0 0
.
0
0
0
1
J =
0 1
0 0
La base de Jordan es:
B = {v1 , (A )v1 , (A )2 v1 , v2 },
donde
v2
= 2, forma
0
1
J =
0 0
0 0
El segundo corresponde a
(A)2 v1 .
cannica de Jordan:
0 0
0 0
.
0
1
y base de Jordan:
v1 , v2
N (A I)2 \ N (A
I).
es
22
= i
JR = =
Si
es
los autovalores
complejos y
Cuando
es
44
JR =
Finalmente, si
(
)
0
,
0 1
= i
(
1 =
JR =
)
0
,
0
JR =
=1
(
I2
= i , = i
)
=2
)
0
.
154
A Mnn (Cn ),
x = Ax
x(0) = x0
x(t) = etA x0 .
Si
problema en
la solucin de
x = Py
transforma el
y = Jy
y(0) = P 1 x0 (= y0 )
cuya solucin es
y(t) = etJ y0 ,
siendo
tJ
tJ
e 1
0
= .
..
0
donde
etJi
y donde
etLi
0
= .
..
0
1
t
etLi =
.
.
.
0
etJ2
.
.
.
..
...
0
etLi
(i 1)!
etJp
0
0
.
.
.
...
...
.
.
.
..
...
etL1
0
1
... 0
... 0
.
.
.
..
.
.
.
t
(i 2)
...
i 2
ti 1
0
0
.
.
.
...
...
0
0
. .
.
.
1
Teorema 4.34.
Sea
x = x(t)
x = Ax,
siendo
ponente
n n en las condiciones del teorema 19, en par1 , . . . , p , de ndices 1 , . . . , p . Entonces, cada com-
xj = xj (t)
qij (t)
es un polinomio de grado
x(t) = e
donde Qi (t)
1 i p.
1 t
i 1, 1 i p.
Q1 (t) + + e
p t
Equivalentemente,
Qp (t)
i 1,
155
4.4.6. Ejercicios
1. Sea
0 0 0
A = 1 0 0 .
0 1 0
la matriz:
Evaluar
s() = + 2 +
s(A), A Mnn (C)?
2. Se considera la serie
denir
3. Sea
A Mnn (C).
que:
det
eAt = e(traza
A)t
t R.
(
A=
b)
(
A=
c)
A=
Para qu valores de
a
ab
)
0
,
b
ab
b
2b a + b
a, b R.
)
,
a, b R.
(
)
2a + 1
1
,
1
2a 1
a, b R.
es nilpotente la matriz?
( ) (
)( ) ( )
x
1 2
x
1
=
+
,
y
3 2
y
1
( ) (
) ( ) ( 2)
x
0 1
x
t
=
+
,
y
1 0
y
1
( ) (
) ( ) ( 1 )
x
4 2
x
t
=
+
,
y
2 1
y
4 + 2t1
3 3, A,
calclese un sistema
x = Ax.
Calclese asimismo la forma cannica de Jordan
tA
paso P y la exponencial e .
de
A,
una matriz de
156
a)
4
A = 2
2
1 1
3 1
1 5
2 0
A = 1 2
1 1
0
0
3
p() = ( 2)2 ( 3)
c)
3 0
A = 1 4
1 0
1
1
3
3
A = 0
0
1 0
3 0
1 3
p() = ( 3)3
e)
3 0
A = 0 4
0 2
1
1
2
2
0
3
a
0 .
3
3 0
A = 0 3
0 1
p() = ( 3)3
g)
3 0
A = 0 3
0 a
p() = ( 3)3
7. Se sabe que
157
x = 4x + y + z + 2t 2
y = 2x + 3y + z + t
z = 2x y + 5z + t.
de
x(0) = 1
y(0) = 0
z(0) = 0.
Solucin:
(x, y, z) = e2t v +
e6t
2 w , con
x = 3x + z + e
y = 3y + t
z = y + 3z
b)
x = 3x z
y = 4y + z
z = 2y + 2z
donde
, , R.
x(0) = 1
y(0) = 2
z(0) = 1.
x(0) =
y(0) =
z(0) = ,
, , ?
0
x
y = 1
z
1
x
1
y = 0
z
0
t
1
x
3e
1 y + et ,
et
z
0
1 1
x
0
0 1 y + et .
1 2
z
et
1
0
1
4 4, A,
calclese un sistema
x = Ax.
Calclese asimismo la forma cannica de Jordan
tA
paso P y la exponencial e .
de
A,
una matriz de
158
a)
2
0
0
0
b)
2
0
0
0
c)
2
0
0
0
d)
2
0
0
0
e)
1
2
0
0
2
1
1
0
1
1
1
1
1
2
0
0
1
0
2
0
1
1
1
2
0
2
0
0
1
1
2
0
0
2
1
2
1
2
0
0
2
1
2
0
0
2
1
2
2
2
2
3
2
2
2
3
2
1
2
3
2 2 1
1 4 4
0 0
1
0 0
1
f)
1 2 2
1 3 3
0 0
1
0 0
1
g)
1 2 3
1 3 3
0 0
1
0 0
1
h)
2 0
1 2
1 0
1 1
0 0
0 0
2 0
1 2
i)
159
2 0
1 2
1 3
1 2
j)
ab
2b
1 2b
2b
k)
1
1
0
0
m)
0
0
0
0
ab
b
2b a + b
b
a+b
b
2b + 1
1 2
4 3
4 3
4 6
l)
0
0
0
0
1 0
1 1
3
0
0
0
0
0
3
6
0
0
3
3
0
1
1
1
0
0
1
3
0
0
0
2
0
3
0
0
0
0
3
5
0
0
0
2
Av = v,
entonces
x = et v,
es solucin de
x = Ax.
de una matriz
A:
160
Proposicin 4.35.
A admite n autovectores {v1 , . . . , vn }, asocia(que muy bien pudieran repetirse), de forma que
n
constituye una base de C , entonces:
dos a autovalores
{v1 , . . . , vn }
Si la matriz
1 , . . . , n
{e1 t v1 , . . . , en t vn }
dene un sistema fundamental de soluciones. En particular, esta situacin se
da si
posee
autovalores distintos.
Observaciones 4.21.
a) Se sabe que las matrices
precisamente aquellas que son diagonalizables. Por tanto existen casos donde
sta no se puede aplicar. Las matrices diagonalizables
siguientes trminos. Si
1 , . . . , p
se caracterizan en los
Vi = N (A i I),
sus dimensiones dimVi
trica de
i .
= i . El valor i
1 + + p = n.
n
Esta relacin es otra forma de decir que el espacio (C en general) admite una
base formada por autovectores. Resulta til saber, y no es trivial demostrar,
que
i ni
donde
ni
i .
b) Los
v = + i
, Rn .
Por tanto, si
v = i,
{e1 t v1 , . . . , et v, et v, . . . , en t vn }
basta remplazar cada grupo correspondiente a un autovalor complejo
{et v, et v}
por
161
y que su autespacio
(A I)v1 = 0
En ese caso es inmediato que
{v1 , v2 }
(A I)2 v1 = 0.
v2 = (A I)v1
es un autovector,
Av2 = v2 ,
que
2 (t) = et v2
x = Ax.
y un slo autovalor
decir
v3
2 (t) = et v2 ,
.
es un autovector asociado a
= 1,
En el otro caso
En el primero
3 (t) = et v3 ,
v1
existe un vector
(A I)2 v1 = 0
con:
(A I)3 v1 = 0.
Poniendo:
v2 = (A I)v1 ,
la familia
{v1 , v2 , v3 }
es una base,
v3
v3 = (A I)2 v1 ,
es un autovector y
t
v3 ),
2
triple,
=2
(A I)v1 = 0
(A I)v1 .
Av3 = v3 , {v1 , v2 , v3 }
v1 , v 3
tales que:
(A I) v1 = 0,
2
v2 =
x = Ax.
de suerte que
3 (t) = et v3
2 (t) = et v2 ,
3 (t) = et v3 .
Madrid, 1975.
162
, 1 , 2
1 = 2 = 1.
(A I)v1 = 0
Si
v2 = (A I)v1
v3 , v4
v1
n = 2, = 1,
por tanto
tal que
(A I)2 v1 = 0.
1 , 2 ,
un sistema
fundamental es:
2 (t) = et v2 ,
=1
{v1 , v2 , v3 , v4 }
4 (t) = e1 t v4 .
(A I)v1 = 0 (A I)2 v1 = 0,
con
3 (t) = e1 t v3 ,
v1 , v3
(A I)v3 = 0
independientes siendo
dobles con
cumpliendo:
(A I)2 v3 = 0,
v2 = (A I)v1 , v4 = (A I)v3 .
Un
2 (t) = et v2 ,
4 (t) = et v4 .
, son dobles pero = 1, = 2 y tiene dos autovec{v3 , v4 }. Usando los vectores {v1 , v2 } denidos en el caso
2 (t) = et v2 ,
triple con
=1
t2
v3 ),
2
3 (t) = et v3 ,
donde
v1 , v 2 , v 3
autovector asociado a
La cuarta es
33
4 (t) = et v4 .
4 (t) = et v4 ,
triple en
33
v4
es un
v4
2 (t) = et v2 ,
3 (t) = et v3 ,
4 (t) = et v4 ,
.
de multiplicidad 4 en donde los diferentes
directos son = 1 y = 3.
es un autovector asociado a
= 1, 2, 3. Los ms
= 1 el sistema fundamental
casos son
Para
es
t3
t2
v3 + v4 ),
2
3!
t2
v4 ),
2
163
v1
se elige con:
(A I)3 v1 = 0,
y
4 (t) = et v4 ,
(A I)4 v1 = 0,
vi = (A I)i v1 = 0, i = 2, 3, 4.
En el caso = 3 se pueden encontrar
(A I)v1 = 0,
{v1 , v2 , v3 , v4 }
vectores
v1 , v3 , v4
tales que:
(A I)2 v1 = 0,
Avi = vi , i = 3, 4.
El sistema
fundamental es:
2 (t) = et v2 ,
3 (t) = et v3 ,
4 (t) = et v4 .
(A I)k = 0,
es decir, la matriz nula. Si
=2
y en este caso
k = 3.
Si k = 2
existen vectores
(A I)v1 = 0,
tales que poniendo
v1 , v3
k=2
con:
(A I)2 v1 = 0,
(A I)v3 = 0,
(A I)2 v3 = 0,
son lineal-
k = 3,
2 (t) = et v2 ,
existen vectores
v1 , v4
(A I)2 v1 = 0,
t2
v3 ),
2
tales que:
(A I)3 v1 = 0,
independientes con
44
vi = (A I)i v1 ,
matrices
4 (t) = et v4 .
nn
4 (t) = et v4 .
164
4.5.4. Ejercicios
1. Resolver los problemas de valor inicial:
)( )
(
) (
)
( ) (
x
6 3
x
x(0)
10
=
=
,
y
2 1
y
y(0)
6
( ) (
)( )
(
) ( )
x
1 3
x
x(0)
3
=
=
,
y
2 1
y
y(0)
1
1 2 2
x
x(0)
2
x
y(0) = 3 ,
y = 2 1 2 y
z
2 2 1
z
z(0)
2
0 1 1
x
x(0)
1
x
y = 1 0 1 y
y(0) = 4 .
z
1 1 0
z
z(0)
0
Resolver los siguientes problemas de valor inicial:
( ) (
)( )
x
3 1
x
=
y
2 1
y
x
1 0 1
x
y = 0 2 0 y
z
1 0 1
z
) ( )
x(0)
1
=
,
y(0)
0
2
x(0)
y(0) = 2 .
1
z(0)
( ) (
)( ) (
)
x
6 1
x
11
=
+
,
y
4 3
y
5
( ) (
)( ) (
)
x
2 2
x
4 cos t
=
+
,
y
2 2
y
sen t
t
x
1 2 2
x
2e
y = 2 1 2 y + 4et .
z
2
2 1
z
2et
y + a1 (x)y + a2 (x)y = 0,
(4.10)
4.6. EJERCICIOS
165
y(x) =
n (x x0 )n .
n=0
Esta tcnica se puede aplicar cuando los coeentes son analticos o son la restriccin a
Kowalevsky el quien fundamenta este enfoque ([4], [12]). En algunos casos importantes los coecientes presentan singularidades aisladas y se hace necesario
introducir una variante del mtodo para construir un sistema fundamental de
soluciones (teorema de Frobenius, [12]).
Por otra parte, las ecuaciones de segundo orden poseen una rica teora cualitativa (teora de Sturm-Liouville) que comprende resultados de oscilacin y
localizacin de ceros, as como teoremas de comparacin. Los ejercicios que siguen muestran algunos de estas facetas.
4.6. Ejercicios
1. Se considera la ecuacin diferencial de segundo orden:
y + a1 (x)y + a2 (x)y = 0,
(4.11)
R.
incgnita
en
y1
y1
ligada a
bajo la relacin
y = y1 ,
la ecuacin resultante
y1 , es decir para que
y1 + (x)y1 = 0.
2. Prubese que la ecuacin:
y + a1 (x)y + a2 (x)y = 0,
admite una solucin
de la forma:
p(s) ds
u = exp
x0
si y slo si
p(x)
p = p2 a1 (x)p a2 (x).
Este resultado viene a decir que las ecuaciones lineales de segundo de orden
no son en general integrables elementalmente.
166
3. Sean
{1 , 2 }, {1 , 2 }
cin:
y + a1 (x)y + a2 (x)y = 0,
mientras
W (1 , 2 ) = kW (1 , 2 ),
para cierta constante
k.
y + (t)y = 0,
donde
= (t)
es peridica de perodo
designa su wronskiano.
a) Probar que
W (t) = 1.
si y slo si 1 (T ) + 2 (T ) = 2.
5. Demostrar que todos los ceros de soluciones de una ecuacin de segundo
orden son simple, por tanto aislados.
6. (Teorema de Sturm). Se consideran las ecuaciones de segundo orden:
y + a(x)y = 0,
(A)
y + b(x)y = 0,
(B)
(, ) donde b
Sea ya (x) una
solucin arbitraria de (A) que admite dos ceros consecutivos x1 < x2 en
el intervalo (, ). Demustrese que toda solucin yb de (B) posee un cero
en el intervalo (x1 , x2 ). Para ello prubese que
cuyos coecientes son funciones continuas en un intervalo
mayora estrictamente a
a,
es decir
(yb ya yb ya ) = (b a)ya yb .
Lo que lleva, cualquiera que sea
yb (x)
a la relacin:
yb (x)
debe anularse en
(0, +).
4.6. EJERCICIOS
167
y1 , y2
independientes de la ecuacin:
y + a(x)y = 0,
entonces, entre dos ceros consecutivos de
y1
y2 .
y +
en
x>0
sabiendo que
y1 = x1/2
1
y = 0,
4x2
de una ecuacin:
y + a1 (x)y + a2 (x)y = 0,
el cambio
y = y1
9. Considrese la ecuacin.
donde
es continua en
y + a(x)y = 0,
x > 0.
Prubese que si
x > 0.
todas sus
a(x) > 0.
168
4.6.1. Ejercicios
1. Supongamos que las dos races del polinomio caracterstico del operador
b(t) C[0, +)
satisface
Ly = b
est acotada en
t 0.
solucin de
Ly = b
1 x [, 0)
f (t) = 1
x [0, ] ,
0
|x| >
Ly = y + y .
continuidad de f .
y el operador diferencial
los puntos de
Ly = f
en
3. Hallar mediante la frmula de variacin de las constantes la solucin general del problema de Cauchy,
{
x = Ax + b(t)
x(t0 ) = x0 ,
para:
A=
t0 = 0, x0 = (, ) R2 ,
b(t) = (senh t, cosh t).
4. Sean,
(
A=
Calcular
eA
0
b
0
1
y las opciones
)
b
,
0
y como aplicacin
A1 =
a b
b a
)
.
eA1 .
5. Se considera el sistema:
(
2
1
x = ax + by
y = bx + ay
x(0) = x0
y(0) = y0 .
t = 0.
4.6. EJERCICIOS
169
{
x = ax + 1 at
y = (a b)x + by + bt2 + (b a 2)t.
[Solucin:
b)
[Solucin:
c)
[Solucin:
7. Se considera el sistema:
x1
x
2
x4
= 2x1 + x2 x3 + x4
= 2x2 + x4
= 2x3 + x4
= 2x4 .
t0 = 0
y trmino de perturbacin
fundamental.
8. Hllese la solucin del problema de Cauchy:
x1
x
2
x4
con
a, b, c, d R.
x1 (0) = a
x (0) = b
2
x
3 (0) = c
x4 (0) = d,
170
x1
x
2
x3
x4
171
de ndices
i , 1 i p n,
Sea
A Mnn (C)
p0 (z) es
mientras
p0 (z) = (z 1 )1 . . . ( p )p .
Si
p(z)
En particular
pc (A) = 0
si
p(A) = 0
si y slo si
es el polinomio caracterstico de
p0
divide a
p.
A.
eAt =
n1
qk (t)Ak .
k=0
Esta es la idea bsica que permite calcular
eAt
Teorema 4.37
(Putzer)
Sea
una matriz
nn
con autovalores
1 ,
...,
eAt =
n1
k=0
rk = k rk + rk1 , rk (0) = 0, k 2.
4.8.
0 (t)
el problema
x(t) = (t) 0 (t) de
de perodo
baciones
= 1 r1 , r1 (0) = 1,
= f ()
x = A(t)x,
(4.12)
donde
ejemplo
que
[0, ].
172
Lema 4.38.
Si
t R.
X(t + ) = X(t)C
Si
Se llama a
t=0
C = X().
entonces
del perodo. Si
est normalizada
X()
son una
Floquet. Si en efecto
de (4.12) con dato
designar a los
caractersticos
ecuacin).
Teorema 4.39.
X(t + ) = X(t)C
X(t)
B
una matriz fundamental arbitraria. Se sabe (ver [12]) que existe una matriz
tal que:
C = eB .
Por tanto:
X(t + ) = X(t)eB
X(t + )eB = X(t)
X(t + )e(t+)B = X(t)etB ,
Q(t) = X(t)etB ,
es
-peridico
en
t.
Teorema 4.40.
matriz constante
de (4.12), una
de suerte que,
X(t) = Q(t)etB ,
donde
es
-peridica.
Si
X() = eB .
Teorema 4.41.
sicin
Sea
X() = eB .
173
Entonces la ecuacin:
x = A(t)x + b(t),
es equivalente, mediante el cambio
constantes:
x(t) = Q(t)z(t)
a la ecuacin de coecientes
z = Bz + Q1 (t)b(t).
de multiplicidad algebraica k exisk soluciones de (4.12) de la forma:
pm
es un polinomio de grado
m,
0 m k 1,
o bien,
(4.13)
-peridicas.
z = 0).
|z| = 1
u (t) + b(t)u(t) = 0,
174
X : (a, b) Mnn (C) una funcin matricial diferenciable en el inter(a, b). Demustrese que si X es invertible en (a, b), X 1 es diferen-
ciable con:
2. Sea
d
(X 1 ) = X 1 X X 1 .
dt
Y : R Mnn (C)(C)
t, s R,
Y (t + s) = Y (t)Y (s)
junto con
Y (0) = I .
Demustrese que
es diferenciable en
con
Y = AY,
donde
es cierta matriz,
A Mnn (C).
del problema:
x = A(t)x + b(t)
x(t0 ) = x0 ,
[a, b]. Prubese asimismo que la
x = (t)x0 donde Mnn (C) es una
C1
a trozos.
Captulo 5
Introduccin a la teora
cualitativa
x = f (x),
donde el tiempo
(5.1)
f : G Rn Rn
donde
es un abierto de
para cada
t0 R
x0 G
Rn ,
es de clase
el problema de Cauchy
x = f (x)
,
x(t0 ) = x0
I = (, ).
C 1.
(x, I),
(5.2)
x(t).
x = x(t, t0 , x0 ).
Se sabe ver Captulo III que el dominio de denicin de dicha solucin es
n+2
1
un abierto de R
, siendo x(t, t0 , x0 ) una funcin C en todas sus variables.
Teorema 5.1
a
(1 Propiedad de traslacin de fase)
maximal de (5.1) en
(, )
175
176
t0 = 0
la
x = x(t, x0 ).
Es decir, por denicin
x(t, x0 ) = x(t, 0, x0 ).
x(t, t0 , x0 ) = x(t t0 , x0 ).
Denicin 5.2.
(t, x0 ) = x(t, x0 ).
f : G Rn Rn , G un abierto de Rn , tambin
G. La aplicacin se denomina en este caso
Teorema 5.3
la ecuacin
f.
a
(2 Propiedad de traslacin de fase)
x = f (x).
Sea
el ujo asociado a
Entonces:
(t, (s, x0 )) = (t + s, x0 ).
En el siguiente resultado se supone por simplicidad que todas las soluciones
de
x = f (x)
Teorema 5.4.
R.
R.
estn denidas en
RG
(t, x0 )
G
(t, x0 ) = x(t, x0 )
C1
a)
(t, x0 )
b)
es
c) Para cada t,
1
inversa C :
y verica
(0, z) = z ,
t (x) := (t, x)
para
z G.
y t1 , t2 R arbitrarios.
1
es una aplicacin C y biyectiva de G en
para
x0 G
con
1
t = t .
y = t (x),
t : G G
G:
x = t (y).
t1 t2 = t1 +t2 .
177
x = Ax
este hecho es consecuencia inmediata de la representacin explcita:
Denicin 5.5.
t (, ), x(t)
Una rbita
t = etA .
= {x(t) :
x0
es un
+ ( ) = {x(t, t0 , x0 ) : t (, ), t t0 (t t0 )}.
C 1 (un camino) es una aplicacin :
I R de clase C que cumple (t) = 0 para todo t I . Una curva de clase
C 1 es el conjunto imagen = (I) de una parametrizacin C 1 . Las rbitas son
Observacin 5.4. Una parametrizacin
n
1
t ).
Teorema 5.6.
una semirbita
y(t) = x(t + ).
Observacin 5.6. El teorema precedente invita a reemplazar las soluciones que
toman en algn momento el valor
x0
por la bita
x0 .
Por
otro lado, el estudio (geomtrico) de las rbitas de (5.1) puede resolver algunos
problemas de tratamiento analtico muy complicado. Por ejemplo el estudio de
la existencia y estabilidad de soluciones peridicas de (5.1).
x = x
2.
x = x(1 x)
3.
x = x(1 x)(2 x)
C 1 , x = f (x), x R
x = x(1 x), y = y .
y = y0
x0 x 1
.
x0 1 x
178
y(t) = y0 et
mientras que
1x
1 x0 t
=
e .
x
x0
x = y , y = x.
6.
x2 + y 2 = r2 .
1
Ya hemos hablado de parametrizaciones C . Cuando una parametrizacin
n
, : I R , es inyectiva en I se dice que es de Jordan. Una parametrizacin
C
es
cerrada si
= (I)
se dice
I = [a, b],
[a, b),
en
t=a
t=b
no tienen por qu
C 1 (o regular)
Cuando
extensin
Jordan regular,
admite una
Lema 5.7.
Sea
x(t)
es peridica de periodo
T.
x(0) = x(T ).
tales que
x(t1 ) = x(t2 )
Demostracin. Si
entonces
Teorema 5.8.
Sea
x = x(t)
x(t1 ) =
se dice abierta),
a) O bien,
x(t2 )
para t1
= t2
por
x(t)
b) O bien existe
x(t1 ) = x(t2 )
1 En
para
(b) = (a)
para algn
> 0.
c) O bien
x(t) = x0
para todo
179
x0
la rbita es un
punto crtico).
Observaciones 5.8.
a)
x0
f (x0 ) = 0.
x(t)
es una
= )
o terminan (t
= )
en puntos
Lema 5.9.
Sea
x : R Rn
posee un periodo mnimo T > 0. En ste ltimo caso, todos los periodos de
x(t)
x(t)
bien T = 0. En ste ltimo caso existe Tn > 0 una sucesin de periodos tal que
Demostracin. Si
Tn 0.
Dado
tR
para todo
existe
k = k(n)
tal que:
k.
t1 < t2 tales que x(t1 ) = x(t2 ) luego x(t) = x(t + (t2 t1 )) para todo t. Es decir,
T := t2 t1 es un periodo. Si x(t) no es constante entonces (Lema 5.9) admite
Teorema 5.10.
180
Se introduce ahora un resultado que permite probar la existencia de soluciones peridicas a travs de sus rbitas. La prueba que ofrecemos al lector
curioso la derivamos al Anexo I de este captulo (ver [12]).
Teorema 5.11.
Si
( )
entonces
y por tanto
Teorema 5.12.
Si
de una solucin
x(t)
de Jordan entonces tal rbita est parametrizada por una solucin peridica.
Ntese que esta observacin tiene en la prctica menos inters que el Teorema
5.11, el cual se aplica fcilmente a ecuaciones con una integral primera.
x = Ax
x R2 ,
(5.3)
A = 0.
A,
por
V1
V2
los autovalores
2 (traza
donde traza
A)
det
= 0,
A = a11 + a22 .
x2
181
x1
x1
lineal x = Ax.
y2
x2
y1
x1
182
(0, 0)
sea un foco
es:
A>0
la condicin det
El punto
&
det
A>0
&
traza
A<0
A = 0.
(5.4)
(5.4).
si:
traza
A = 0.
Ejemplos 5.10.
a) Foco estable.
)( )
( ) (
5
4
x
x
=
y
10 7
y
b) Centro.
( ) (
)( )
x
6
4
x
=
y
10 6
y
Al aplicar la transformacin
x=P
( ) (
)( )
x
0 2
x
=
y
1 2
y
En ambos casos los autovalores son
( ) (
x
2
=
y
1
= 1 i.
)( )
2
x
.
0
y
En el primero la rotacin es a
Teorema 5.14.
Sean
1 = 2 .
Se tienen los
siguientes casos:
1 2 < 0 (1 < 0 < 2 > 0), las nicas semirbitas positivas acotadas
cuando t +, que adems tienden a (0, 0) cuando t + son (0, 0) y las
a) Si
dos semirrectas de
acotadas cuando
dos semirrectas
5.3).
b)
por
(0, 0)
se llama
x2
183
x2
V2
V2
V1
V1
x1
x1
(0, 0)
(0, 0)
es un
nodo estable.
(0, 0)
que:
det
A < 0.
A>0
Si traza
A>0
(0, 0)
&
A<0
el nodo es estable.
Ejemplo 5.13.
a) Punto de silla.
b) Nodo estable.
Teorema 5.15.
3
4
)( )
x
y
( ) (
x
3
=
y
2
1
0
)( )
x
y
Supongamos que
V1 = 2 entonces todas
t + (Figura 5.4).
a) Si dim
cuando
( ) (
x
5
=
y
6
b) Si dim
t +
(0, 0)
(0, 0)
por
t.
(0, 0)
es
sea un
1 I .
= 2.
184
x2
x2
V1
x1
x1
Ejemplo 5.15.
a) Nodo impropio estable.
( ) (
)( )
x
4 1
x
=
y
4
0
y
5.3.1. Ejercicios
1. Hllense todas las rbitas junto con la orientacin respectiva de las mismas
de las siguientes ecuaciones:
a) x = x,
b) x = x x2 ,
a)
x = 2x + 6y
y = 2x + 5y.
b)
x = 9x + 13y
y = 5x + 7y.
c)
x = 18x + 30y
y = 10x + 17y.
d)
e)
f)
g)
x = 8x + 13y
y = 5x + 8y.
x = 6y
y = 2x 7y.
x = 5x 4y
y = x y.
x = 4y
y = x + 4y.
h)
x = 7x + 13y
y = 5x + 9y.
185
186
Consideraremos la ecuacin
en un abierto
del plano,
x1 = f1 (x1 , x2 )
x2 = f2 (x1 , x2 )
(5.5)
(xc , yc ). Recurde-
Denicin 5.16.
rado si
f (pc ),
Un punto crtico pc = (xc , yc ) de (5.5) se dice no degenela matriz jacobiana de f = (f1 , f2 ) en pc , es invertible (tiene
determinante no nulo).
Teorema 5.17.
(x1 , x2 )
y , z respecto
(x, y).
representar en al-
de
(y1 , y2 )
(z1 , z2 )),
x = f (x)
cerca de un punto crtico
(5.6)
y = Ay + g(y),
donde
y donde
o(|y|)
(5.7)
es una funcin
C1
que tiene la
propiedad:
lm
|y|0
o(|y|)
= 0.
|y|
y=0
pc
y=0
se corresponde con el de
z = Jz + h(z),
(5.8)
con h(z) = o(|z|), ecuacin que se obtiene de (5.7) tras el cambio lineal y =
P 1 z , P una matriz n n invertible; en la que J = P AP 1 . Esto permite
simplicar la matriz
A).
187
{
x = f (x, y)
y = g(x, y),
se puede expresar, haciendo
2 = x2 + y 2 , x = cos , y = sen ,
{
= R(, )
= (, ).
en la forma:
(5.9)
Lema 5.18.
Sea
que no se anula
tales que:
20 = x20 + y02 .
: (a, b) R
de clase
y:
Ck
tal que
(t0 ) = 0
t (a, b),
A los efectos del presente estudio conviene establecer la relacin entre ambas
ecuaciones. En efecto, escribiendo
=
.
y
sen
cos
= cos f + sen g
= 1 ( sen f + cos g),
( ) (
)( )
cos
sen
f
=
.
sen / cos /
g
x = 1 Rx y
y = 1 Ry + x,
( ) (
x
x/
=
y
y/
y
x
)( )
R
.
188
x2
x2
p0
p0
x1
x1
Figura 5.5:
x = f (x).
Teorema 5.19.
Demostracin. Suponemos
ecuacin se reescribe:
donde
si y slo si
la
y 0.
Cambiado
Tomamos
(t) <
La negatividad de
tal que
|y| < .
[0, ).
para
tiene inicialmente:
< ( + )
t .
existe
Adems
(t) 0
(t) < ,
luego
exponencialmente cuando
0 ( + )t (t) 0 + ( + )t
para todo
t 0.
As
(t) y
t .
la semirbita
+ (p0 )
Observacin 5.17. Si
=0
pc .
189
2/
{
= 3
= 1
que en coordenadas cartesianas se expresa
x = y x(x2 + y 2 )
y = x y(x2 + y 2 ),
{
= 0
= 1
Lo mismo sucede con
{
= 3
= 1
x = y
y = x.
x = y + x(x2 + y 2 )
y = x + y(x2 + y 2 ).
f = f (x)
es de clase
C2
en (5.5).
Teorema 5.20.
distintos,
1 = 2 .
de
pc
de
f (pc )
son reales y
Entonces,
contenidas todas ellas en U con las propiedades siguientes. Todas las semirbitas
+ que estn contenidas en U satisfacen + 1 2 {pc } y convergen
positivas
semirbita negativa
en U debe estar contenida en 1 2 {pc } y deber
aproximarse a pc cuando t de forma tangente a la recta pc + V2 (V2 el
autoespacio asociado a 2 ). Adems, 1 y 2 , as como 1 y 2 se aproximan a
pc siguiendo sentidos opuestos (Figura 5.6).
adems a
recta
b)
pc
t +.
pc
de forma tangente a
(Figura 5.6).
El siguiente teorema generaliza los fenmenos correspondientes observados
en el caso lineal.
190
V2
G1
G1
V2
V1
V1
g1
g1
p0
p0
g2
g2
G2
G2
pc .
V1
p0
p0
Figura 5.7:
Teorema 5.21.
Supongamos que
representando por
V1
del punto
pc .
f (pc )
el correspondiente autoespacio.
a) Si dim
semirrecta, cuando
t +.
pc + V1
(Figura 5.7).
Denicin 5.22.
dice estable si
(que depende de
si
entonces
x
0
cumple
> 0 > 0
|
x0 pc | <
191
Un punto crtico
b) existe
r>0
lm x(t, t0 , x
0 ) = pc .
t+
Ejemplos 5.18.
a) El punto crtico
(0, 0)
{
x = y
y = x ,
(x, y) = (0, 0)
donde
x = y
y = x cy ,
c > 0.
En los resultados precedentes estn implcitos los siguientes teoremas tambin debidos a Lyapunov.
Teorema 5.23
que
f (pc )
tticamente estable.
Corolario 5.24.
tal que alguno de los autovalores de f (pc ) tiene la parte real positiva. Entonces
pc es inestable.
Observacin 5.19. Se demuestra en un curso de teora de estabilidad (ver [6]) que
tanto el Teorema 5.23 como el Corolario 5.24 son ciertos en el caso n-dimensional.
Ms an, en el caso del Corolario 5.24 la condicin de no degeneracin de
pc
resulta superua.
l,
masa
+ k + h sen = 0,
Los equilibrios, mdulo simetras son
( , 0).
2
c > 0
se describe mediante la
c
g
,
h= .
m
l
=
(, v) = (, ) = (0, 0) y (, v) = (, )
k=
c =0
= 4h
y un
es ligeramente ms difcil de
192
x
y
)
x = r1 x(1
K1
B
x
y
).
y = r2 y(1
A K2
en donde
x(t)
y(t)
u=
x
,
K1
v=
y
,
K2
A
,
K1
B
,
K2
= r1 t,
r2
,
r1
v
u = u(1 u )
v = v(1 u v).
Como estamos interesados nicamente en soluciones positivas, existe un equilibrio positivo (de componentes positivas) si y slo si
( 1)( 1) > 0.
ste es:
uc =
El punto
El punto
( 1)
,
1
vc =
( 1)
.
1
(uc , vc ) es estable cuando > 1. En ese caso (1, 0) y (0, 1) son sillas.
(uc , vc ) es un punto de silla cuando < 1. En ese caso (1, 0) y (0, 1)
(0, 0)
x = rx(1 x y )
K
B
y = Cxy Dy,
193
en donde todas las constantes implicadas son positivas. Si efectuamos las normalizaciones:
u=
x
,
x
x
=
D
,
C
v=
y
,
B
K
,
x
B
,
K2
= rt,
D
,
r
u = u(1 u v)
v = v(u 1).
El punto
silla. El punto
para
Para
>1
(, 0)
es un nodo estable
brio de componentes positivas (en el modelo slo tienen sentido las soluciones
positivas) dado por:
uc = 1
vc =
1
.
0<
1
4( 1)
>
1
.
4( 1)
5.4.4. Ejercicios
f : U R2 R2 continua en un entorno U del
A M22 una matriz invertible. Supngase adems que
1. Sea
origen
(0, 0)
|f (x)|
= 0.
|x|0 |x|
lm
de
Ax + f (x) = 0.
2. Estudiar los equilibrios de las ecuaciones:
= 3
= 1
= (1 )
= 1
(0, 0)
en el que
(0, 0)
es la
194
v
u = u(1 u )
v = v(1 u v),
Demostrar que todas las solucin con datos iniciales positivos son siempre
positivas.
5. Analizar los equilibrios de la ecuacin:
u = u(1 u v)
v = v(u 1)
> 0, > 0.
Demostrar que todas las solucin con datos iniciales positivos son siempre
positivas.
6. Estudiar el comportamiento de las rbitas de la ecuacin:
x1 = x1
x2
,
log(x21 + x22 )1/2
(0, 0).
(0, 0).
x2 = x2 +
x1
log(x21 + x22 )1/2
C1
pero no es
C2
cerca de
(0, 0). Ntese que la parte lineal de la ecuacin constituye un nodo estable
impropio.
7. Estudiar el comportamiento de las rbitas de la ecuacin:
x1 = x1 + x2 +
log(x21
(0, 0).
(0, 0).
x1
,
+ x22 )1/2
x2 = x1 x2 +
log(x21
x2
+ x22 )1/2
Sea
pc
mtrica 1. Demustrese
x = P 1 y +pc , donde P
>0
se transforma en:
y = Jy + g(y),
(
J=
)
0
,
1
lm|y|0 |g(y)|
|y| = 0. Prubese, cambiando a polares y eligiendo
+
adecuadamente , que todas las semirbitas positivas
que empiezan
cerca de (0, 0) tienden a (0, 0) exponencialmente cuando t .
en donde
195
x = f (x, y)
y = g(x, y)
C1
en algn dominio
f (p0 )
p0 no es
g(p0 ) son
G del plano.
p0 = (x0 , y0 ).
f (p0 ) = 0
{(x, y) : f (x, y) = 0}
(5.10)
dy = g(x, y)
dx
f (x, y)
y(x0 ) = y0 .
(x, y)
(5.11)
dx = f (x, y)
dy
g(x, y)
(5.12)
x(y1 ) = x1 .
Normalmente, la rbita completa
conjunto (5.10) a travs del lugar
dx
dy
=
.
f (x, y)
g(x, y)
Todas estas ideas se extienden fcilmente al caso
n-dimensional.
{
x = y
y = x,
en la regin
y = 0
es
x
dy
= .
dx
y
196
dx
= Ax Bxy
dt
dy
= Cy + Dxy
dt
constituyen un modelo sencillo para imitar la relacin trca entre una presa
(x el nmero de efectivos) y su depredador
xc =
C
,
D
yc =
u=
x
,
x0
v=
En efecto, llamando:
A
.
B
y
,
y0
= At
obtenemos:
du
= u(1 v)
d
(5.13)
dv
= v(u 1)
dt
=
C
.
A
v(u 1)
dv
=
,
du
u(1 v)
y haciendo separacin de variables se observa que la funcin:
V (u(t), v(t))
(u(t), v(t)).
Denicin 5.25.
Una funcin
la ecuacin n-dimensional
x(t).
Teorema 5.26.
Una funcin
la ecuacin (5.5) en
V = V (x)
x G.
C1
si y slo si
V (x) f (x) = 0
para cada
de clase
(producto
escalar)
197
slo si
(t) = 0,
(t) = V (x(t)),
sta es constante si y
pero
Observaciones 5.23.
G y G es
{x G : V (x) = c} para cierta constante
c.
b) La funcin
ecuaciones de Lotka-Volterra.
La siguiente propiedad se sigue del estudio de las ecuaciones exactas en el
Captulo I.
Proposicin 5.27.
Consideremos la ecuacin
C1
en un dominio
del plano:
{
x = f (x, y)
y = g(x, y)
y supongamos que
div(f, g)
f
f
+
=0
x
y
(x, y) G.
V = V (x, y)
V
=f
y
V
= g
x
V (x, y) es una integral primera en dicho entorno. Si adeG es simplemente conexo, entonces se puede construir una integral primera
la totalidad de
en U. En particular,
ms,
en
Ejemplo 5.25. Si
en un dominio
en el dominio
(la notacin
x = Vy
y = Vx .
sistema Hamiltoniano
198
x + f (x) = 0
se puede escribir,
{
x = y
y = f (x).
V (x, y) =
x
F (x) =
y2
+ F (x)
2
Debe resaltarse que los puntos crticos del sistema son de la forma (x , 0)
estricto de
y para valores
de la energa:
c = F (x ) < c < c +
las curvas de nivel
V =c
y = 2(c F (x)).
El punto
un centro no lineal.
(x , 0)
y = 2(c F (x)),
contiene a las variedades estable e inestable de
c < c < c +
V = c en la forma:
y = 2(c F (x)).
+ sen = 0
una integral primera es:
V =
v2
+ (1 cos ),
2
v = .
Ya se dijo que si
199
del plano entonces sus rbitas estn contenidas en los conjuntos de nivel
V = c
tenemos la siguiente
Proposicin 5.28.
Sea
Sea
V : R2 R una funcin C 2
{
x = Vy
y = Vx .
y consideremos el sistema
junto de nivel
{V = c}
es no vaco. Entonces en
{V = c}\P
p0 = (x0 , y0 ) {V = c}\P
U0 de p0 en
dy
g
=
dx
f
y(x0 ) = x0 .
una rbita cualquiera en {V = c} \ P parametrizada por una
solucin ((t), (t)), t (, ). Sabemos que {V = c} \ P y como es
conexa, est contenida en la componente conexa C en {V = c} \ P que pase por
cualquiera de los puntos de .
Probamos en primer lugar que es un abierto en {V = c} \ P . En efecto si
p0 = ((t0 ), (t0 )) sabemos que:
con la condicin inicial
Sea ahora
(t) = h((t))
mientras
= f (, h())
200
(t)
recorre la banda
una solucin maximal, el intervalo de tiempo donde ello transcurre est incluido
(, ). Ahora si (t) recorre (x0 , x0 +) ello signica que ((t), (t)) recorre
{V = c} \ P) U0 que est entonces contenido en .
Ahora demostramos que es un cerrado en {V = c} \ P . Supongamos
que p = (x , y ) = l
m((tn ), (tn )) y sean U y h (x) el entorno y la funcin
completamente
= f (, h ())
{V = c} \ P
entonces
=C
y hemos
terminado.
x = y
y = x2 x,
V =
y2
x2
x3
+ .
2
2
3
El conjunto,
V (x, y) =
1
,
6
(1, 0)
(1, 0).
Si de
V = 1/6
Proposicin 5.29.
(x, y)
Sean
(f, g)
un campo
C1
en un dominio
del plano y
{
x = (x, y)f (x, y)
y = (x, y)g(x, y),
G.
201
pc = (1, 1),
(5.13). La matriz:
f (pc ) =
Los autovalores son
cerca de
(1, 1)
= i
)
1
.
0
(1, 1)
b)
(1, 1)
c)
es estrictamente convexa en
Para cada
u > 0, v > 0.
c>0
la curva de nivel
en el primer cuadrante.
c
V (u, v) = c
(1, 1)
en su interior.
Como no contiene punto crtico alguno se concluye (ver la primera seccin del
captulo) que es la rbita de una solucin peridica. Adems,
c 0+.
Por tanto
(1, 1)
c (1, 1) cuando
(1, 1).
Representan las
(0, 0),
ma, es un punto de silla. Los ejes constituyen sus variedades estable e inestable.
u = Vv
v = Vu .
202
m1
m2
x
1 r, x
2 r son las posiciones relativas
de gravedad, x
=x
2 x
1 entonces
x
1 r =
x,
donde
1 = m1 /M , = m2 /M
x
2 r = (1 )
x,
y nalmente:
=
x
donde
= GM = G(m1 + m2 ).
,
|
x|3
El movimiento de
el producto vectorial:
= 0,
(
xx
) = x
x
+ x
x
luego
x
x
= e (e
constante) y
x
e = 0.
(, ) se
r2 = 2 ,
+ 2 = 0.
J = 2
t0
A() =
0
en donde
(A((t))
= ()
en la rbita. Como
1
(1 )2 d1 ,
2
= (t), = (t),
vale:
A = 2 (t)(t).
2
la velocidad areolar
La conservacin de
203
dt =
luego, si
h = h(t)
es una funcin de
2
d,
J
t:
J dh
dh
= 2
,
dt
d
(
)
d2 h
J d
J dh
=
.
dt2
2 d 2 dt
Para
= ():
J d
2 d
u=
Poniendo
J d
2 dt
)
=
J2
+
.
2
3
llegamos por n a:
u + u =
de donde:
u=
El valor de las constantes
,
J2
+ C cos( ),
J2
J , y C viene dado
x
0 = 0 ei0 ,
B > 0.
(5.14)
x
0 = 1 ei1 ,
en la forma:
1
0 =
sen(1 0 ),
0
0 = 1 cos(1 0 ),
donde
0
Cei =
2 i ei0 ,
0
J
J
en particular:
(
C=
De la ecuacin (5.14)
=
con
J = 1 0 sen(1 0 ),
p1 =
, e = Cp,
J2
e=1
)2
(
+
0
J
)2
.
p
,
1 + e cos( )
2
0
J
e.
a la parbola y
204
las rbitas del movimiento relativo son cnicas. Obsrvese que en el caso de las
elipses y circunferencias se obtienen rbitas cerradas. Se deduce as de forma
directa la existencia de movimientos peridicos en el problema.
En todos los casos, el origen
x
=0
cnica, lo que signica que los planetas orbitan entorno al centro de gravedad
que constituye uno de los focos de la cnica. Cuando
que
m2
m1
m1 .
m1
es mucho ms grande
m2
Esta es la primera ley de Kepler que arma que las rbitas de los planetas
alrededor del sol son elipses y que ste se halla en un de sus focos.
Suponiendo rbitas elpticas
m2 m1
(el sol).
es proporcional
al cubo del semieje mayor de la rbita, con una constante que es independiente
del planeta (ver ms detalles en [8], una excelente introduccin a la mecnica
celeste). El periodo
5.6.1. Ejercicios
1. Hllense los puntos singulares y decdase siempre que sea posible el
comportamiento de las rbitas en las proximidades de dichos puntos:
a)
x = y 1
y = x + y + 5.
b)
x = 3x2 xy
y = 4xy 3y 2 .
c)
x = (x + 1)(y 2)
y = x2 x 2.
2. Las mismas cuestiones que en el problema anterior para los sistemas pla-
nos:
a)
{
c)
x1 = 1 x2
x2 = x31 + x2 ,
x = y
y = x3 x,
{
b)
x1 = (x1 1)(x2 1)
x2 = (x1 + 1)(x2 + 1),
u = v + u 1 u3
d)
3
v = u
e) u + cu + u(1 u) = 0
c R.
( > 0),
205
(x(t), y(t))
de la ecuacin
V (x, y) =
1 2 1 2 1 4
y + x x .
2
2
4
x = x2
y = x2 + y 2 + xy.
b)
x = x + y + 6
y = 3x y 6.
c)
x = x2 2y 3
y = 3x2 2xy.
x + sen x = 0.
5. Estudiar las rbitas de la ecuacin (ver el Ejemplo 5.26):
{
x = y
y = x2 x,
6. Analizar las rbitas de la ecuacin:
{
x = (3x y)(x2 + y 2 1)
y = 2x(x2 + y 2 1).
0 , 0 , J , C
presentadas en el pro-
Indicacin. Se tiene:
x
= ei
i .
x
= ( + i)e
206
[a, b]
Lema 5.30.
ces
Sea
h : J R, J = [a, b],
[, ],
J, I
respectivamente.
es inyectiva en
c = sup{t [a, b] : h
creciente en
[a, t]}.
para cierto
Lema 5.31.
z:J R
: I Rn
Sea
una parametrizacin
h:J I
tal que:
z(t) = (h(t))
para cada
t J.
Demostracin. Como
Por otro lado
z(t)
es inyectiva
h = 1 z .
t0 J
admite un entorno
z (t) = 0
en
J.
En efecto,
consecuencia,
hemos terminado.
n
En el siguiente resultado consideramos f : G R
1
de clase C y la ecuacin diferencial autnoma (5.1):
Rn , G
un abierto,
x = f (x).
Teorema 5.32.
Sea
C Rn
= C.
207
parametrizacin:
x(0) = () = ().
Ahora denimos:
c>0
porque
x[0, ] x(0) = ()
cuando
0+
no es un punto.
0 < c < c, x[0, c ] C C donde C es un arco de Jordan. En efecto, observamos que C \ {x(0)} (, ) ( = homeomorfo). Por
1
otro lado, x(0, c ) es conexo en C \ {x(0)} luego
(x(0, c )) es un subintervalo
1
estrictamente contenido en (, ) lo que signica que
(x(0, c )) (, )
1
o que
(x(0, c )) ( + , ) para algn . Suponiendo por ejemplo el primer
x(t) = (h(t))
Como
c < c
t [0, c ].
h se puede extender
h : [0, c) [, ] tal que
es arbitrario la aplicacin
x(t) = (h(t))
para todo
t [0, c).
Vamos a llamar
existira:
y cumple
<
caso contrario
x = lm x(t) = lm (s).
t
Entonces
Como
que
x[0, c] = [, ] = C = [, ].
Como
contradice la denicin de
x[0, c] = C
con
que
208
Teorema 5.33.
Si
x(t)
es compacta,
x : R
es
una biyeccin continua en caso de ser abierta. Por otro lado la condicin
x (t) = 0 implica que x() dene un homeomorsmo local sobre su imagen .
hecho este argumento prueba que todas las soluciones no constantes denen una
aplicacin recubridora sobre su rbita). Si
clasicacin) resulta que
es homeomorfo a
C 1 en un abierto G
{
x = f (x, y)
y = g(x, y).
del plano:
+
k representa una componente conexa del conjunto {(x, y) G :
f (x, y) > 0} que por el momento representamos como + para abreviar. Te-
Asimismo
Proposicin 5.34.
Sean
p0 = (x0 , y0 ) +
(5.5):
observada en
+ .
la rbita de la ecuacin
x = f (x, y)
y = g(x, y)
Entonces:
+ = {(x, y) : y = h(x),
donde
x (a, b)}
dy
g(x, y)
=
dx
f (x, y)
(x, y) +
(5.15)
y(x0 ) = y0 .
Demostracin. El problema:
{
x = f (x, y)
y = g(x, y)
(x(t), y(t)) +
para
t I+ .
x(0) = x0
y(0) = y0
(5.16)
Como
209
t I+ ,
+ = {(x, y) : y = h+ (x),
Ahora consideramos la solucin maximal
problema:
x (a+ , b+ )}.
x = f (x, h(x))
x(t0 ) = x0 .
(, (0 , 0 ))
t 0 , respectivamente. Ello
x (a, b). Asimismo:
de (5.15). Introducimos el
x (a, b)
(t) a
(t) b cuando t 0
f (x, h(x)) > 0 para
Su solucin maximal
satisface
es consecuencia de que
t (0 , 0 )
(0 , 0 ) I+ luego (0 , 0 ) = x(0 , 0 )
(a, b) (a+ , b+ ). De lo establecido ms arriba (a, b) = (a+ , b+ ) y por
h = h+ , luego hemos terminado.
En la siguiente propiedad
{(x, y) G :
Proposicin 5.35.
+
una rbita de la ecuacin (5.5). Entonces se
2
representa mediante la grca en R de una solucin maximal de la ecuacin
Sea
orbital
dy
g(x, y)
=
,
dx
f (x, y)
+ .
(
x, (, )) la solucin maximal
x
(t) = (x(t), y(t)). Resulta que:
Sea
donde
por
p0 ,
siendo entonces
= x
(, ),
+ = x
(I ),
I (, ). Ahora, + es abierto en y si x
= x(t) + existe
+
, as (t , +)
I . Esto prueba que I es
> 0 tal que x
(t , +)
donde
I = (n , n ).
210
x (t) > 0
para
t I
+ = x
((n , n )) + ,
pues
(
x, (n , n ))
es solucin de (5.15) y
Observacin 5.29. Si
G : f (x, y) > 0}
(
x, (+ , + ))
es su solucin maximal.
+
es una rbita de la ecuacin (5.5) y
= {(x, y)
+
+
+ = +
donde
son
las
componentes
de .
n
n
entonces
Entonces:
+ = n ( +
n ),
y cada componente
+
n
dy
g(x, y)
=
.
dx
f (x, y)
= {(x, y) G : f (x, y) < 0} y
n son sus componentes, entonces
= n (
n ) y un anlisis idntico al de arriba prueba que cada
observada en
dx
f (x, y)
=
dy
g(x, y)
n.
0)
{
x = Ax Bxy
y = Cy + Dxy,
en el primer cuadrante
Cy + Dxy
dy
=
,
dx
Ax Bxy
en las componentes:
+ = {y <
A
}
B
= {y >
A
}.
B
>
211
dx
Ax Bxy
=
,
dy
Cy + Dxy
en las componentes:
+ = {x >
C
}
D
= {x <
C
}.
D
Como se vio, las rbitas se representan de manera conjunta mediante las curvas
de nivel de la funcin:
V (x, y) = c
ambas ecuaciones.
212
Bibliografa
[1]
[2]
Berln, 1982.
[3]
Ed. Blu-
[7]
Ediciones de
[10]
Madrid, 1977.
[12]
Revert, Barcelona.
213