Академический Документы
Профессиональный Документы
Культура Документы
obtiene el sistem
Pontificia Universidad Catlica de Chile
Facultad de Matemticas
Departamento de Matemtica
5 con solucin ge
4
3
2
1
0
y
1
2
3 Con C = A2
4 dada en (14) en
5
5 4 3 2 1 0 1 2 3 4 5
x
FIGURA 6.1.8. Campo
Importante:
direccional y trayectorias elpticas
Este texto es una versin preliminar de la edicin final, por lo cual se1encuentra en constante
para
construccin y revisin. el contener
Puede sistema x9 5siny,desarrollar
secciones y9 5 o2errores, x. de aqu clarame
4 por lo cual se ruega
leer con atencin y El origen
revisar es un lacentro
constantemente pgina webestable. es una
de publicacin para revisar elipse co
nuevas
versiones.
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.2. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2
2.5. Reduccin de orden: mtodo de Abel . . . . . . . . . . . . . . . . . . . . . . . . . . 124
3
1. Ecuaciones diferenciales de primer orden
1.1. Introduccin
Definicin:
Una ecuacin que relaciona una funcin desconocida y una o ms de sus derivadas se
denomina ecuacin diferencial.
De esta forma, una ecuacin diferencial ordinaria (EDO) se puede notar como
F x, y, y 0 , . . . , y (n) = 0 (1)
Se denomina problema del valor inicial (PVI) a una ecuacin diferencial junto a sus
condiciones iniciales y (n) (x0 ) = y0 . La solucin de este problema se denomina solucin
particular.
Para revisar el concepto de solucin de una ecuacin diferencial revisemos los siguientes problemas:
P1 Dada la ecuacin diferencial:
x2 y 00 + xy 0 y = ln x
Demuestre que las siguientes funciones son soluciones de dicha ecuacin:
1
y1 (x) = x ln x ; y2 (x) = ln x
x
4
Solucin:
Este problema se resuelve directamente reemplazando y sustituyendo en la ecuacin
diferencial. Partamos por y1 (x):
1 1
y10 (x) = 1 ; y100 (x) =
x x2
Luego,
1 1
x2 y100 + xy10 2
y1 = x 2 + x 1 x + ln x = ln x
x x
Entonces se concluye que y1 (x) satisface la ecuacin diferencial. Para y2 (x):
1 1 2 1
y20 (x) = y2
00
(x) = +
x2 x x3 x2
Reemplazando,
2 1 1 1 1
x2 y200 + xy20 y2 = x 2
3
+ 2 x 2
+ + ln x
x x x x x
2 1 1
= + 1 1 + ln x
x x x
= ln x
P2 Determine el valor de r de modo que y (x) = e sea solucin de la ecuacin:
rx
3y 00 + 3y 0 4y = 0
Solucin:
El valor de r que escojamos debe ser tal que al derivar dos veces y reemplazar en la
ecuacin diferencial, esta se satisfaga. Se tiene que:
Es decir,
3r2 erx + 3rerx 4erx = 3r2 + 3r 4 erx
Como erx 6= 0 para todo x, entonces:
2 3 9 + 48 3 57
3r + 3r 4 = 0 r = r =
6 6
5
P3 (a) Si k es una constante, demuestre que una solucin general de la ecuacin diferencial
dx
= kx2
dt
1
est dada por x (t) = donde c es una constante arbitraria.
c kt
(b) Determine por inspeccin una solucin del problema de valor inicial x0 = kx2 , x (0) = 0.
(c) Determine todas las soluciones del problema de valor inicial x0 = kx2 , x (0) = 6= 0.
Solucin:
(a) Este problema se razona de forma similar a los dos problemas anteriores. Derivando,
mediante regla de la cadena:
k k k
x0 (t) = 2 2 =
(c kt) (c kt) (c kt)2
1 1
x (0) = = c =
c
En el caso que f (x, y) sea en realidad una funcin de la variable dependiente, es decir f (x, y) =
f (x), basta con integrar:
y (x) = f (x) dx + c
Esta se define como solucin general de la ecuacin. Si G (x) es una antiderivada de f (x) y tenemos
la condicin inicial y (x0 ) = y0 , entonces:
c = y0 G (x0 )
P4 En los siguientes problemas encuentre la funcin y = f (x) que satisfaga la ecuacin diferen-
cial dada y la condicin inicial prescrita:
6
dy
(a) = x x2 + 9, y (4) = 0.
dx
dy
(b) = xex , y (0) =1.
dx
Solucin:
y (0) = 1 + c = 1 c = 2
Finalmente,
y (x) = 2 xex ex
Velocidad y aceleracin. Conocida una fuerza F (t), entonces a masa constante, se deduce de
la segunda ley de Newton que:
F (t) = ma (t)
Como a (t) = dv/dt = d2 x/dt2 , entonces se puede obtener x (t) integrando dos veces a partir de
las condiciones iniciales dadas.
7
P5 [Propuesto] El conductor de un auto involucrado en un accidente sostena que iba solamente
a 40 km/h. Cuando la polica prob su vehculo y aplic los frenos del automvil a 40 km/h,
este recorri 15 metros antes de deternse. Sin embargo, las marcas del recorrido en la escena
del accidente eran de 64 m. Asumiendo la misma desaceleracin (constante), determine la
velocidad aproximada a la cual viajaba el conductor antes de detenerse.
El caso ms sencillo de ecuaciones diferenciales de primer orden son las ecuaciones separables, las
cuales estudiaremos a continuacin.
dy
(a) 2 x = cos2 y, y (4) = /4.
dx
(b) x0 = x x2 .
dy x2 + 1
(c) x2 = 2 .
dx 3y + 1
8
(d) (x2 + 1) (tan y) y 0 = x.
(e) x2 y 0 = 1 x2 + y 2 x2 y 2 .
Solucin:
dy dx dx
2
= sec2 y dy =
cos y 2 x 2 x
dx
x0 = x x2 = x x2
dt
Luego,
dx
= dt
x x2
Integrando a ambos lados:
dx
=t+c
x (1 x)
Aplicando el mtodo de fracciones parciales:
1 a b
= + a (1 x) + bx = 1
x (1 x) x 1x
9
con k = ec . Luego, abriendo el mdulo:
x
= ket x = ket xket x 1 ket = et
1x
Finalmente,
1
x (t) =
1 ket
(c) Notando que la ecuacin es separable, se puede entonces multiplicar cruzado, ob-
teniendo as que:
x2 + 1 1
3y + 1 dy =
2
dx 3y + 1 dy = 1 + 2 dx
2
x2 x
1
y3 + y = x +c
x
10
(e) x2 y 0 = 1 x2 + y 2 x2 y 2 . La clave de esta pregunta consiste en detectar que, si
bien no lo parece, la ecuacin es separable, y esto puede lograrse notando que el
lado derecho puede factorizarse:
x2 y 0 = 1 + y 2 1 x2
Luego,
dy 1
= 1 dx
1 + y2 x2
Integrando,
1
arctan (y) = x + c
x
Es decir, tomando tangente a ambos lados de la ecuacin:
1
y (x) = tan +xc
x
P7 Resuelva la ecuacin
t2 xt2 x0 + x2 + tx2 = 0
Solucin:
Notemos que la ecuacin puede reescribirse como:
t2 (1 x) x0 + x2 (1 + t) = 0 t2 (x 1) x0 = x2 (1 + t)
Es decir,
0 x2 (1 + t)
x =
(x 1) t2
Aqu se evidencia que la ecuacin es claramente separable. Procediendo como correspon-
de:
(x 1) t+1 1 1 1 1
dx = 2 dt dx = + dt
x2 t x x2 t t2
Integrando, obtenemos la relacin implcita:
1 1
ln |x| + = ln |t| + c
x t
P8 [Propuesto] La siguiente figura muestra una cuenta deslizndose hacia abajo en una cuerda
sin friccin del punto P al punto Q:
11
donde a representa el ngulo de deexin (desde la ver- d2 y dy
tical) de la lnea tangente a la curva por tanto, cot a = 1+
dx2 dx
a ! y(x) (por qu?) y v = 2gy es la velocidad de la
cuenta cuando ha descendido una distancia vertical y (de donde la constante a ! T/r es la re
KE ! 1 mv2 ! mgy ! "PE). cable T en su punto ms bajo x ! 0
6 densidad lineal (constante) es r.
P
dymyslashdx, dv/dx ! d2y/dx2 en
cial de segundo orden, se obtiene
orden
dv $
a = 1 + v2
dx
Resolviendo esta ecuacin diferenc
senh(x/a) senh(x/a) e integrando d
Q forma de la funcin
FIGURA 1.4.11. Cuenta deslizndose hacia %x &
abajo sobre una cuerda el problema de la y(x) = a cosh +
El problema de la braquistcrona pregunta qu forma debe tener la cuerda a fin de minimizar a
braquistrcrona.
el tiempo de deslizamiento para descender de P a Q. Se puede demostrar mediante principios
del cable colgando. Esta curva se
bre que proviene de la palabra latin
fsicos y de clculo variacional que la
(a) A partir curva
de la y (x)
primera quedeminimiza
derivada el tiempo
la ecuacin (i), ob- debe satisfacer la
ecuacin diferencial: tenga la ecuacin diferencial
r!
dy dy 2a y
= = 2a y , (ii) y
dxd x yy
(L, H)
donde a es una constante apropiada.
donde a es unaSustituyendo = 2a sen2 t en la ecuacin anterior
constante positivay apropiada.
(b) Sustituyendo y ! 2a sen2 t, dy ! 4a sen t cos t dt en
obtenga la solucin (ii) para obtener la solucin
y0
x (t) = ax(2t sen
! a(2t 2t)2t), ;
" sen yy!(t)
a(1=
" acos cos(iii)
(12t) 2t)
El hecho clave que debe notarse es que una funcin homognea puede escribirse de la forma F (y/x).
En efecto, y y y
f (x, y) = F f (x, y) = F =F = f (x, y)
x x x
12
La ecuacin se reescribe como:
dv dv
x + v = F (v) x = F (v) v (3)
dx dx
Esta ecuacin es en efecto separable, de modo que:
dv dx dv dx
= = +c
F (v) v x F (v) v x
y podemos obtener as las soluciones particular y/o general de la ecuacin.
P9 Encuentre la solucin general de la ecuacin
dy
x2 = xy + 3y 2 (x > 0)
dx
Solucin:
Reescribiendo la ecuacin diferencial se tendr que:
dy xy + 3y 2
= = f (x, y)
dx x2
Observe que tanto en el numerador como en el denominador todos los trminos son de
grado 3, lo cual nos hace sospechar que la ecuacin es homognea. En efecto,
2 xy + 32 y 2 xy + 3y 2
f (x, y) = = = f (x, y)
2 x2 x2
Aplicamos entonces la sustitucin v (x, y) = y/x y = vx. Luego, derivando mediante
regla de la cadena:
dy dv
= x+v
dx dx
Podemos escribir f (x, y) exclusivamente en trminos de v. En efecto,
xy + 3y 2 y y2 y
f (x, y) = = + 3 = F
x2 x x2 x
Es decir, F (v) = v + 3v 2 . Luego,
dv dy
x = v
dx dx
Pero de acuerdo a la definicin de la ecuacin diferencial,
dy xy + 3y 2
= = F (v)
dx x2
Es decir,
dv
x = F (v) v = v + 3v 2 v = 3v 2
dx
13
Reordenando trminos,
dv dx 1
= = ln |x| + c
3v 2 x 3v
Despejando v:
1
v=
3 (ln |x| + c)
Finalmente, como y = vx concluimos as que:
x
y (x) =
3 (ln |x| + c)
Otro tipo bsico de ecuaciones diferenciales de primer orden son las ecuaciones lineales, las cuales
se definen como se muestra a continuacin:
Resolucin. Para resolver este tipo de ecuaciones diferenciales multiplicamos ambos lados de la
ecuacin en su forma estndar por un factor conocido como factor integrante, tal que la multipli-
cacin de cada miembro por este factor produce una ecuacin en la que cada miembro se conoce
como una derivada.
Digamos que este factor es (x) y busquemos una expresin en trminos de x, P y Q para resolver
cualquier ecuacin diferencial. Multiplicando a ambos lados por la ecuacin:
y 0 + P y = Q
Buscamos que el lado derecho pueda escribirse como una derivada, y la forma ms sencilla de
lograrlo es imponiendo que sea tal que genere el producto de una derivada. Es decir, buscamos
que sea tal que:
y 0 + P y = (y)0
14
Es decir,
y 0 + P y = y 0 + 0 y 0 y = P y
Obtenemos as la ecuacin separable
0 (x)
= P (x)
(x)
Integrando a ambos lados obtenemos que:
ln | (x)| = P (x)dx + c
Debe notarse que para cualquier valor de c se satisfar la ecuacin diferencial, por lo que encon-
trando un solo factor integrante tendremos la ecuacin resuelta. Luego, es suficiente tomar la rama
positiva del mdulo y hacer c = 0, de modo que:
(x) = exp P (x) dx (5)
Solucin:
Entonces,
e3x y 0 3e3x y = e3x ex = e2x
15
Es decir,
0 1
e3x y = e2x e3x y(x) = e2x + c
2
Por lo tanto,
1
y (x) = ex + ce3x
2
Reemplazando con la condicin inicial:
1 1
y (0) = + c = y0 c = y0 +
2 2
Finalmente,
1 x 1 3x
y (x) = e + y0 + e
2 2
Integrando,
x
= t + c x (t) = (t + 1)2 (t + c)
(t + 1)2
De la condicin inicial x (0) = 0:
x (0) = 12 c = 0 c = 0
Finalmente,
x (t) = t (t + 1)2
16
Entonces,
y 2 2x
x0 = yx0 + 2x = y 2
y
O bien,
2
x0 + x = y
y
Es claro que en esta ecuacin debemos despejar x en funcin de y. Entonces, si
P (y) = 2/y deducimos que el factor integrante es:
2
dy
(y) = e y = e2 ln|y| = y 2
Luego,
0 y4
y 2 x0 + 2yx = y 3 y 2 x = y 3 y 2 x = +c
4
Despejando x en funcin de y obtenemos finalmente:
y4 c
x (y) = + 2
4 y
P11 Considere la ecuacin y + (cos x) y = e .
0 sen x
y (k) y (0) = k
Solucin:
De la condicin inicial,
y () = + c = c = 0
17
(b) Se tiene que para una solucin cualquiera:
y (k) = (k + c) e sen k = k + c
Asimismo,
y (0) = ce sen k = c
Finalmente,
y (k) y (0) = k
demostrando as lo pedido.
P12 Resolver el Problema de Valor Inicial
xy 00 + y 0 = 0 ; y (2) = 1 ; y 0 (2) = 1.
Solucin:
Notamos que no aparece y explcitamente en la ecuacin diferencial, si no que su primera
y segunda derivada. Por esta razn, es conveniente realizar la sustitucin u = y 0 , con lo
cual se obtiene la ecuacin diferencial:
1
xu0 + u = 0 u0 + u = 0
x
Utilizando el factor integrante (x) = e
1
x
dx = eln|x| = |x| se tendr que:
|x|
|x| u0 (x) + u (x) = 0
x
Si x > 0 el mdulo se abre positivo y por lo tanto se obtiene la ecuacin diferencial:
Integrando,
c
[xu (x)]0 = 0 xu (x) = c u (x) =
x
Integrando nuevamente,
c
y 0 (x) = y (x) = c ln |x| + d
x
18
c
De y 0 (2) = 1 = c = 2. Es decir,
2
y (x) = 2 ln |x| + d
19
1.2.4. Ecuacin diferencial de Bernoulli
Revisaremos ahora las ecuaciones de Bernoulli, las cuales son un tipo particular de ecuaciones
lineales en que se complica la resolucin debido a la aparicin de una potencia de y n (x) como
sumando.
Resolucin. El objetivo es convertir esta ecuacin en una ecuacin lineal de primer orden. Esto
se logra mediante la sustitucin v (x) = y 1n (x) , de modo que:
dv dy dy y n dv
= (1 n) y n =
dx dx dx 1 n dx
Reordenando la ecuacin 1.6:
1 dy
+ y 1n P (x) = Q(x)
y n dx
Es decir,
1 y n dv
+ vP (x) = Q(x)
y n 1 n dx
Finalmente, la ecuacin diferencial queda reescrita como:
dv
+ (1 n) P (x) v (x) = (1 n) Q(x) (8)
dx
Esta ecuacin es lineal de primer orden y puede resolverse mediante el factor integrante ya estudiado
en la seccin anterior.
cos (x)
P13 Resuelva la ecuacin xy 2 y 0 + y 3 =
x
, x > 0.
Solucin:
Dado que aparece y 3 en uno de los sumandos, intuimos que esta es una ecuacin de
Bernoulli. Dejamos la ecuacin de la forma,
dy
+ P (x) y = Q (x) y n
dx
Se tiene que:
y cos (x) y cos (x) 2
y0 + = 2 2 y 0 + = y
x xy x x2
Es decir,
1 cos (x)
P (x) = y Q (x) =
x x2
20
Luego, n = 2 y por lo tanto se toma v = y 3 . De acuerdo a lo ya estudiado, la ecuacin
queda de la forma:
dv 3 cos (x)
+ v=3
dx x x2
Calculamos el factor integrante:
3
(x) = e x
dx
= e3 ln x = x3
Despejando v:
3 c
v (x) = 3
(x sen x + cos x) + 3
x x
Es decir,
p
3 3 c 3
3 (x sen x + cos x) + c
y (x) = 3 (x sen x + cos x) + 3 y (x) =
x x x
P14 Resuelva la siguiente ecuacin diferencial de Bernoulli:
Solucin:
Reconocemos P (x) = 6, Q (x) = 30 y n = 2/3. Entonces, hacemos v = y 12/3 = y 1/3 .
De esta forma, la ecuacin se reescribe como:
dv 1 1 dv
+ 6v = 30 + 2v = 10
dx 3 3 dx
Esta es una ecuacin lineal para la cual utilizamos el factor integrante (x) = e 2dx
=
e2x . Entonces, 0
e2x v 0 + 2e2x v = 10e2x e2x v = 10e2x
21
Luego,
e2x v = 5e2x + c v (x) = 5 + ce2x
En cursos de clculo vectorial estaremos interesados en determinar funciones escalares f (x, y) tales
que:
f
(x, y) = M (x, y)
x
f
(x, y) = N (x, y)
y
dx dy
~ 0 (t) = 0 M (x, y)
F + N (x, y) = 0 M (x, y) dx + N (x, y) dy = 0
dt dt
La familia de ecuaciones M (x, y) dx + N (x, y) dy = 0 es la que estudiaremos en esta seccin.
Mediante conocimientos adicionales de un curso de clculo vectorial, puede demostrarse que la
curva
~ (t) que satisface la ecuacin diferencial anterior es la curva f (x, y) = c con c una constante
arbitraria. Es decir, en otras palabras, la curva que lo satisface es cualquier curva de nivel de f .
En otras palabras, el problema se reduce a determinar f que satisfaga las condiciones anteriores!
Sin embargo, no siempre es posible determinar estas funciones f , pues no siempre existen. Indis-
tintamente de ello, no todo es negativo, pues en el mismo curso puede determinarse una condicin
necesaria para poder determinar estas funciones, y es que:
M N
(x, y) R3 : (x, y) =
y x
Esto motiva la siguiente definicin:
22
Definicin: Una ecuacin diferencial de la forma
P15 Demuestre que la ecuacin diferencial
xy + 1 2y x
dx + dy = 0
y y2
es exacta y resulvala.
Solucin:
En efecto, digamos:
xy + 1 M xy xy 1 1
M (x, y) = = 2
= 2
y y y y
De la misma forma,
2y x N y 2 1
N (x, y) = 2
= 4
= 2
y x y y
M N
Como = entonces la ecuacin es exacta. Integramos para resolver la ecuacin:
y x
f xy + 1 1 1 x2 x
= = x + f (x, y) = x + dx = + + h (y)
x y y y 2 y
23
Es decir,
2y x x 2
2
= 2 + h0 (y) h0 (y) = h (y) = 2 ln (y) + c
y y y
De esta forma,
x2 x
F (x, y) = + + 2 ln (y) + c
2 y
Y por lo tanto, la solucin general a esta ecuacin es:
x2 x
+ + 2 ln (y) + c = d
2 y
con c y d constantes arbitrarias. En otras palabras, la solucin es:
x2 x
+ + 2 ln (y) = C
2 y
con C = d c.
La pregunta es, sin embargo: qu podemos hacer con este tipo de ecuaciones cuando no
son exactas? Podemos multiplicarlas por una funcin (x, y) conocida como factor integrante,
que la hace exacta. Por lo general, en la tipologa estndar de estos problemas suele sugerirse la
estructura que tiene el factor integrante: polinomial, exponencial, etc.
Revisemos a continuacin ejemplos de ecuaciones no exactas y cmo estas pueden ser resueltas
mediante la aplicacin de un factor integrante:
P16 Dada la ecuacin diferencial (3xy + 4y) dx + (3x y + 2x) dy = 0.
3 2 2
(a) Demuestre que no es exacta pero que admite un factor integrante de la forma (x) y
encuntrelo.
(b) Encuentre la solucin general de la ecuacin.
Solucin:
M
M (x, y) = 3xy 3 + 4y = 9xy 2 + 4
y
Asimismo:
N
N (x, y) = 3x2 y 2 + 2x = 6xy 2 + 2
x
24
Ahora bien, buscamos = (x) tal que la ecuacin
(x) = x
f
= 3x3 y 2 + 2x2 + 0 (y) = 3x3 y 2 + 2x2 0 (y) = 0
y
25
Es decir,
(y) = c
La solucin general de la ecuacin es entonces:
x3 y 3 + 2x2 y c = d x3 y 3 + 2x2 y = C
P17 Muestre que la ecuacin (2y 6x) dx + (3x 4x y ) dy = 0 no es exacta y encuentre un
2 1
factor integrante de la forma (x, y) = xm y n . Luego use tal factor integrante para resolver
la ecuacin.
Solucin:
Procedemos de forma anloga al problema anterior:
M
M (x, y) = 2y 6x =2
y
N x
N (x, y) = 3x 4x2 y 1 =38
x y
M N
Luego, claramente 6= y por lo tanto la ecuacin no es exacta.
y x
Ahora bien, buscamos tal que
M dx + N dy = 0
genere una ecuacin exacta. Debe cumplirse la condicin necesaria de las derivadas
parciales cruzadas, razn por la cual:
(x, y) M (x, y) dx = (x, y) N (x, y) y M + My = x N + Nx
y x
nxm y n1 M + xm y n My = mxm1 y n N + xm y n Nx
Expandiendo trminos:
26
Reordenando:
(2n + 2) xy 6nx2 = (3m + 3) xy (4m + 8) x2
De aqu se deduce que:
2 (n + 1) = 3 (m + 1)
4 (m + 2) = 6n
3x2 y 2 4x3 y = C
P18 La ecuacin:
2x
xy + 1 + xy dx + x2 dy = 0
e
es exacta cuando se multiplica por un factor integrante de la forma exy , con R. Determine
y resuelva la ecuacin ocupando el factor integrante.
Solucin:
La ecuacin exacta modificada sera:
xyexy + exy + 2xe(1)xy dx + x2 exy dy = 0
27
Se tiene que:
M (x, y) = xyexy + exy + 2xe(1)xy
M
= xexy + x2 yexy + xexy + 2 ( 1) x2 e(1)xy
y
N
N (x, y) = x2 exy = 2xexy + x2 yexy
x
Es decir, debe cumplirse que:
Reordenando trminos:
( 1) xexy + 2 ( 1) x2 e(1)xy = 0
Ambos trminos deben ser anulados mediante los coeficientes y esto se logra con = 1.
Por lo tanto, exy es el factor integrante que debe utilizarse. Obtenemos as la ecuacin
diferencial exacta:
(xyexy + exy + 2x) dx + x2 exy dy = 0
f
= xyexy + exy + 2x
x
f
= x2 exy
y
Resulta mucho ms sencillo en este caso integrar la segunda funcin con respecto a y,
obteniendo as:
f
f (x, y) = xexy + (x) = exy + xyexy + 0 (x) = xy xy + exy + 2x
x
Es decir,
0 (x) = 2x (x) = x2 + c
Finalmente, f (x, y) = xexy + x2 + c y por lo tanto la solucin a la ecuacin diferencial
es:
xexy + x2 = C
Las siguientes ecuaciones diferenciales de primer orden no es posible resolverlas mediante las tcni-
cas de integracin utilizadas en secciones anteriores. Sin embargo, mediante el uso de sustituciones
adecuadas estas pueden ser reducidas a ecuaciones diferenciales que s pueden ser resueltas me-
diante los mtodos conocidos.
28
P19 Usando la sustitucin u = ye encuentre la solucin de
x
y dx + (1 + yex ) dy = 0
Solucin:
Equivalentemente,
y + (1 + yex ) y 0 = 0
De la ecuacin de la sustitucin:
y = ex u y 0 = ex u + ex u0
Reemplazando,
ex u + (1 + u) ex u0 ex u = 0
O bien multiplicando por ex :
u + (1 + u) (u0 u) = 0 u + (1 + u) u0 u u2 = 0
Reordenando trminos:
(1 + u) 1 1
0
(1 + u) u = u 2
du = dx + du = dx
u2 u 2 u
Integrando,
1
+ ln |u| = x + c
u
Volviendo a la variable original obtenemos finalmente la relacin implcita:
1
+ ln |yex | = x + c
yex
P20 Resuelva xyy + y = sen (x), con y = 1 haciendo y 2 = u.
0 2
2
Solucin:
A partir de la sustitucin observamos que al derivar con respecto a x:
2yy 0 = u0
29
Multiplicando la ecuacin por este factor:
0
x2 u0 + 2xu = x sen x x2 u = x sen x
Es decir,
2
x u = x cos x + cos x dx + c = x cos x + sen x + c
Por lo tanto,
P21 Calcule la solucin del problema no lineal
2
0 1 ey
yy + = 2
x x
con condicin inicial y (2) = ln 2. Determine su intervalo mximo de definicin. Ayuda:
Trate con una sustitucin adecuada.
Solucin:
Observe que uno de los trminos complicados que aparece en la ecuacin diferencial
es ey , el cual genera una alta no linealidad en la ecuacin diferencial. Por lo tanto,
2
30
derivando la sustitucin con respecto a x:
0 y 2 0 0 u0
u (x) = 2ye y (x) = 2yu(x)y (x) = yy 0
2u
Reemplazando en la ecuacin:
u0 1 u
+ = 2
2u x x
Multiplicando por 2u:
2 2
u0 u = 2 u2
x x
obtenemos as una ecuacin de Bernoulli con P (x) = 2/x, Q(x) = 2/x2 y n = 2.
Bajo la sustitucin v = u12 = u1 obtenemos la ecuacin diferencial lineal:
dv 2 2
+ (1 n) P (x) v(x) = (1 n) Q(x) v 0 + v = 2
dx x x
2
Usamos el factor integrante (x) = e = x2 , de modo que:
x
dx
0
x2 v 0 + 2xv = 2 x2 v = 2 x2 v = 2x + c
Por lo tanto,
2 c 1
v(x) = + 2 u(x) =
x x 2 c
+ 2
x x
Volviendo a la variable y:
y 2 (x) 1 y 2 (x) 2 c 2 c
e = e = + 2 y 2 (x) = ln + 2
2 c x x x x
+ 2
x x
Finalmente, la solucin general viene dada por:
s
2 c
y(x) = ln +
x x2
p
Haciendo y (2) = ln (2) deducimos que debe tomarse la rama positiva como solucin
de la ecuacin diferencial y que:
r
c p c
y (2) = ln 1 + = ln (2) 1 + = 2 c = 4
4 4
Es decir, la solucin particular de la ecuacin es:
s
2 4
y (x) = ln +
x x2
31
2 4
+ 2 >0
x x
2 4 2 4
ln + 2 0 + 2 1
x x x x
Luego, para encontrar el intervalo maximal basta con resolver la segunda inecuacin:
4 2 x2 2x 4
+ 1 0 0
x2 x x2
La parbola x2 2x 4 tiene por races:
2 4 + 16
x= =1 5
2
Como esta se abre hacia arriba y x2 0 para todo x, entonces la solucin de la inecuacin
es: h i h i
x 1 5, 1 + 5 \ {0} Dom {y (x)} = 1 5, 1 + 5 \ {0}
Debe notarse que descartamos x = 0 pues en este punto tanto la funcin como la
inecuacin se indeterminan.
P22 [Propuesto] Recuerde que la curvatura de una curva y = y (x) en el punto (x, y) est
dada por:
4 |y 00 (x)|
= 3/2
1 + y 0 (x)2
y que la curvatura de una circunferencia de radio r es = 1/r. Sustituya = y 0 para obtener
una solucin general de la ecuacin de segundo orden
h i3/2
2
ry 00 = 1 + (y 0 )
Si bien es fundamental adquirir los conocimientos necesarios para resolver cada tipo relevante
de ecuacin de primer orden, tal como se hizo en apartados anteriores, tambin es importante
desarrollar la capacidad de resolver una ecuacin diferencial de este orden desconociendo a priori
qu tipo de ecuacin es.
Por esta razn se propone revisar los siguientes problemas, donde se sugiere la resolucin de ecua-
ciones diferenciales de primer orden sin especificar su tipo, agregando as una dificultad adicional.
32
La sugerencia evidente entonces es saber reconocer la estructura y caracterstica de cada uno de
los tipos de ecuaciones estudiados.
P23 Resuelva explcitamente las siguientes ecuaciones diferenciales y determine en cada caso el
intervalo mximo de definicin de la solucin:
(a) yy 0 = x, y (4) = 3.
(b) y 0 + (tan x) y = cos2 x, y (0) = 1.
(c) x2 y 0 = 4x2 + 7xy + 2y 2 con y (1) = 2 e y (1) = 4.
x2 + y 2
(d) y 0 = , x 1, y (1) = 1.
xy
(e) xy 0 + y = x4 y 3 .
Solucin:
y2 x2
y dy = x dx =c y 2 = 2c x2
2 2
Despejando y obtenemos que y (x) = 2c x2 y de la condicin inicial y (4) =
3 deducimos que debemos quedarnos exclusivamente con la rama positiva de la
solucin. Asimismo,
2c 16 = 3 2c = 25
por lo que finalmente la solucin del PVI es y (x) = 25 x2 cuyo intervalo m-
ximo de definicin es claramente x [5, 5] .
(b) Podemos observar que esta ecuacin es lineal de primer orden. Utilizamos entonces
el factor integrante:
1
(x) = exp tan x dx = exp ( log |cos x|) =
cos x
Entonces,
y (x) = sen (x) cos (x) + c cos (x)
De la condicin inicial y (0) = 1 reemplazamos y obtenemos que:
y (0) = c = 1
33
Con esto concluimos que:
v = 1 y = x
v = 2 y = 2x
Excluyendo estas soluciones, la ecuacin se hace separable, obteniendo as que:
dv 2
= dx
(v + 1) (v + 2) x
a (v + 2) + b (v + 1) = 1
34
Sacando los logaritmos:
v+1
= ec x2 = kx2
v+2
con k = ec a . Luego,
v + 1 = kx2 v + 2kx2 v 1 kx2 = 2kx2 1
Es decir,
2kx2 1
v (x) =
1 kx2
Como y = vx entonces:
2kx2 1
y (x) = x ; y (x) = 2x ; y (x) = x
1 kx2
2k 1 5
y (1) = = 4 2k 1 = 4 4k k =
1k 6
Es decir,
10x2 6 5x3 3x
y (x) = x = 2
6 5x2 6 5x2
r r !
6 6
La solucin queda definida para todo x , .
5 5
(d) Nuevamente, nos enfrentamos a una ecuacin homognea pues el grado del de-
nominador es igual al del numerador. Dejamos la expresin de la forma F (y/x)
multiplicando arriba y abajo por 1/x2 :
y 2
x2 + y 2 1+ 1 + v2
= x F (v) =
xy y v
x
35
Hacemos ahora la sustitucin v = y/x, con lo cual obtenemos la ecuacin diferencial:
1 + v2 1 + v2 v2 1
xv 0 = v = xv 0 =
v v v
Esta ecuacin es claramente separable:
1
v dv = dx v 2 = ln |x| + c
x
Es decir, p p
v = ln |x| + c y (x) = x ln |x| + c
Como x 1, entonces |x| = x y de la condicin inicial y (1) = 1:
y (1) = c = 1
(e) Bajo el mismo anlisis de la parte anterior, deducimos que esta ecuacin no es
homognea, separable ni lineal. Sin embargo, reescribindola:
1
y 0 + y = x3 y 3
x
obtenemos una ecuacin de Bernoulli, donde P (x) = x1 , Q (x) = x3 y n = 3.
Hacemos u = y 13 = y 2 y obtenemos as la ecuacin diferencial:
dv 2
v = 2x3
dx x
Para esta ecuacin lineal utilizamos el factor integrante:
dx 1
(x) = exp 2 = exp (2 ln x) = 2
x x
36
a
Observe la utilidad de esto: guardamos el hecho de que los signos pueden ser positivos o negativos
en la constante de la condicin inicial, y luego cuando la despejemos decidiremos el signo.
P24 Encuentre la solucin general de las siguientes ecuaciones:
dx t3 + x sen (t) dy
(a) = . (d) (1 x2 ) = 2y.
dt cos (t) 2x dx
p
dx (e) xy 0 = y + x2 + y 2 .
(b) (x2 t + t2 x) = x3 + t3 .
dt y
(c) x0 + 5x = tx3 . (f) 2y 0 + = x2 y 1 .
x
Solucin:
Se tiene que:
M N
= sen t ; = sen t
x t
Luego, como Mx = Nt la ecuacin es exacta y existe f (t, x) tal que:
f
= t3 + x sen t
t
f
= 2x cos t
x
Integrando la primera ecuacin:
t4
f (t, x) = x cos t + (x)
4
Derivando con respecto a x:
f
= cos t + 0 (x) = 2x cos t 0 (x) = 2x
x
Integrando:
(x) = x2 + c
Haciendo arbitrariamente c = 0 deducimos finalmente que:
t4 t4
f (t, x) = x cos t + x2 x cos t + x2 = C
4 4
37
(b) La ecuacin se puede reescribir como:
dx x3 + t3
= 2
dt x t + tx2
Como el numerador de la ecuacin es igual al denominador de la fraccin, entonces
la ecuacin es homognea. La reescribimos de la forma x/t:
x3
x3 + t3 3
+1 v3 + 1
= t F (v) =
x2 t + t 2 x x2 x v2 + v
t2
+
t
Haciendo v = x/t y la ecuacin se reescribe como:
dv dv v3 + 1 v3 + 1 v3 v2
t = F (v) v t = 2 v =
dt dt v +v v (1 + v)
Es decir,
dv 1 v2 (1 + v) (1 v) 1v
t = = =
dt v (1 + v) v v
Esta ecuacin es claramente separable, por lo cual hacemos:
v dt v1 1 dt
dv = + dv =
1v t 1v 1v t
ln |1 v| v = ln |t| + c
(c) Dado que aparece un trmino con x3 al lado derecho y una ecuacin lineal al lado
izquierdo, reconocemos una ecuacin de Bernoulli, donde P (t) = 5, Q (t) = t y
n = 3. Por lo tanto, hacemos la sustitucin v = y 13 = y 2 y obtenemos as la
ecuacin lineal:
dv dv
+ (1 n) P (t) v(t) = (1 n) Q(t) 10v = 2t
dt dt
Utilizamos el factor integrante (t) = e 10 dt = e10t . Luego, obtenemos la ecua-
cin integrable 0
e10t v = 2t e10t v(t) = t2 + c
38
Es decir,
v (t) = ce10t t2 e10t
Finalmente,
1 1
2
= ce10t t2 e10t y (t) =
y ce t2 e10t
10t
dy 2 2
= 2
dx =
y 1x (1 x) (1 + x)
a (1 + x) + b (1 x) = 1
1+x 1+x
y(x) = ec =k
1x 1x
donde k = ec .
p
(e) Observe que x2 + y 2 se comporta aproximadamente como un polinomio de grado
2/2 = 1. Por lo tanto, dividiendo:
p
0 y + x2 + y 2
y (x) = = f (x, y)
x
obtenemos una ecuacin homognea. En efecto,
p p
y + x2 + y 2 y + x2 + y 2
f (x.y) = = = f (x, y)
x x
39
Ahora bien, identificamos nuestra funcin F (y/x) dividiendo tanto el numerador
como el denominador por x:
r
y y + px2 + y 2 y y2
F = = + 1 + 2 F (v) = v + 1 + v 2
x x x x
Hacemos la sustitucin v = y/x y obtenemos as la ecuacin diferencial
dv
x = F (v) v xv 0 = v + 1 + v 2 v = 1 + v 2
dx
que es claramente separable. En efecto,
dv dx dv
= = ln |x| + c
1 + v2 x 1 + v2
Para calcular la integral, hacemos v = senh t dv = cosh t dt, de modo que:
dv
= dt = t = senh1 v
1 + v2
Es decir,
y x2
y0 + = y 1
2x 2
con P (x) = 1/2x, Q(x) = x2 /2 y n = 1. Hacemos la sustitucin v = y 11 = y 2
y obtenemos as la ecuacin diferencial lineal:
dv 1
+ (1 n) P (x) v(x) = (1 n) Q(x) v 0 + v = x2
dx x
40
1
Usamos el factor integrante e x
dx
= x:
x4 x3 c
(xv)0 = x3 xv(x) = + c v(x) = +
4 4 x
Es decir,
r
x3 c x3 c
y 2 (x) = + y(x) = +
4 x 4 x
Cabe notar que esta ecuacin es separable, por lo cual su resolucin es sencilla y la estudiaremos
en los siguientes problemas de modelamiento.
P25 Un objeto con temperatura desconocida es llevado a una habitacin la cual se mantiene a
temperatura constante de 30 F. Diez minutos despus la temperatura del objeto es de 0
F y veinte minutos despus (del instante inicial) la temperatura del objeto llega a 15 F.
Asumiendo a la ley de enfriamiento/calentamiento de Newton, determine la temperatura
inicial del objeto.
Solucin:
Sea T (t) la temperatura del objeto en el instante t (en minutos). El objeto se ca-
lienta/enfra de acuerdo a la ley de Newton, de modo que el modelo que gobierna la
temperatura est dado por el PVI
dT
= k (A T ) = k (A T )
dt
con T (0) = T0 por determinar. La ecuacin es separable, de modo que:
dT
= k dt ln |A T | = kt + c
AT
41
Es decir,
A T = ekt T (t) = A ekt
con = ec . Entonces,
De acuerdo a la informacin del enunciado se tiene que A = 30, T (10) = 0 y T (20) = 15.
Es decir,
0 = 30 (30 T0 ) e10k
15 = 30 (30 T0 ) e20k
De la primera ecuacin,
30 T0 = 30e10k
De la segunda,
30 T0 = 15e20k
Dividiendo ambas ecuaciones,
1 1
1 = e10k 2 = e10k k = ln 2
2 10
Reemplazando en la primera ecuacin,
T0 = 30 30eln 2 = 30 30 2 = 30 F
P26 Un cadver fue hallado dentro de un cuarto que estaba a temperatura constante de 70 F.
Al momento del descubrimiento la temperatura del cadver era de 85 F y una hora despus,
una segunda medicin mostr que la temperatura del cadver era de 80 F. Suponiendo que
en el momento de la muerte el cuerpo estaba a 98 F, determine cuntas horas pasaron
antes de que el cadver fuera encontrado. Asuma que la temperatura del cadver cambia con
rapidez proporcional a la diferencia entre ella y la temperatura del cuarto.
Solucin:
Nuevamente, asumimos la ley de enfriamiento de Newton. Sea T la temperatura del
cadver en el instante t (en minutos). Entonces,
dT
= k (A T )
dt
Del problema anterior ya sabemos que:
T (t) = A (A T0 ) ekt
42
Interpretemos ahora los datos del problema. En efecto, sabemos que A = 70, T (0) = 85,
T (60) = 80 y T (td ) = 98 con td el instante de descubrimiento (por determinar). Luego,
85 = 70 (70 T0 ) T0 = 85
T (t) = 70 + 15ekt
Supongamos que la poblacin cambia solo por la ocurrencia de nacimientos y muertes (descartando
as inmigracin y emigracin de individuos). Suele tratarse el crecimiento o disminucin de una
poblacin en trminos de funciones de tasas de natalidad y mortalidad:
(t) es el nmero de nacimientos por unidad de poblacin por unidad de tiempo en el tiempo
t.
(t) es el nmero de muertes por unidad de poblacin por unidad de tiempo en el tiempo t.
43
Haciendo t 0 para eliminar el error de aproximacin obtenemos la ecuacin de poblacin
general.
dP
= [ (t) (t)] P (t) (12)
dt
La ecuacin logstica. En muchas situaciones se ha observado que la tasa de nacimientos decrece
en la medida que la poblacin se incrementa. A modo de ejemplo, esto sucede cuando los recursos
del medio son limitados. Supongamos entonces que (t) en el caso ms sencillo es una funcin
lineal de la poblacin en el instante t, i.e. (t) = 0 1 P (t) y que la tasa de mortalidad permanece
constante como (t) = 0 . Luego,
dP dP
= (0 1 P 0 ) P = kP (M P ) (13)
dt dt
1 0 0
donde k = yM= . Asumimos una poblacin inicial P (0) = P0 .
1 1
Si k y M son positivos, entonces esta ecuacin se conoce como ecuacin logstica.
Es decir,
M eM kt
P (t) =
1 + eM kt
Haciendo P (0) = P0 obtenemos que:
M P0
P (0) = = P0 (M P0 ) = P0 =
1+ M P0
Reemplazando en P (t):
P0
M eM kt
M P0 M P0 eM kt
P (t) = =
P0 M P0 + P0 eM kt
1+ eM kt
M P0
44
Finalmente,
M P0
P (t) =
P0 + (M P0 ) eM kt
Observe que:
M P0
lm P (t) = =M
t P0
Por lo tanto, la poblacin logstica se aproxima a la poblacin lmite finita M conforme t . Asi-
mismo, salvo en el caso M = P0 , en el cual la poblacin es constante e igual M , el comportamiento
de una poblacin logstica depende de P0 y M (ambos valores positivos):
P27 Una persona de un pueblo de 1000 habitantes contrajo la gripe. Si se supone que la gripe se
propaga con una rapidez directamente proporcional al nmero de contagiados como tambin
al nmero de no contagiados, determinar el nmero de contagiados cinco das despus, si se
observa que el nmero de contagiados despus de un da es de 100.
Solucin:
Digamos que x (t) es el nmero de contagiados en el da t. Entonces, de acuerdo al
modelo descrito se tiene que:
dx
= kx (1000 x)
dt
donde k es la constante de proporcionalidad. Entonces,
dx
= k dt
x (1000 x)
45
Integrando a ambos lados obtenemos que:
dx
= kt + c
x (1000 x)
1000 111t
x (t) =
999 111t
1+
999
46
Finalmente, la cantidad de contagiados 5 das despus (t = 5) es:
1000 1115
x (5) = 999,99
999 1115
1+
999
Sin desmedro del problema anterior, existen modelos ms complejos para describir la evolucin de
una poblacin, los cuales pueden ser enunciados, planteados y posteriormente resuelta la ecuacin
diferencial asociada utilizando las tcnicas ya aprendidas. Revisemos los siguientes ejemplos:
P28 Considere una poblacin P (t) de animales simples en la cual las hembras solamente sostienen
encuentros casuales con los machos para propsitos reproductivos, de modo que la tasa de
nacimientos es proporcional a P 2 . La tasa de mortalidad es proporcional a la poblacin P ,
de modo que la ecuacin que describe el comportamiento de la poblacin est dada por el
problema con valores iniciales:
dP
= kP 2 P = kP (P M ) ; M=
dt k
con condicin inicial P (0) = P0 . Este problema se conoce como el problema de extincin
explosin.
Solucin:
dP
= k dt
P (P M )
47
donde = eM c . Entonces, obtenemos la ecuacin algebraica
P M M
= eM kt P 1 eM kt = M P (t) =
P 1 eM kt
Reemplazando con la condicin inicial
M P0 M
P (0) = P0 = P0 P0 = M =
1 P0
Es decir,
M M P0
P (t) = =
P0 M M kt P0 + (M P0 ) eM kt
1 e
P0
48
Queda de manifiesto que M es un valor crtico de poblacin en el sentido de que la
posicin relativa de la poblacin inicial P0 con respecto a M determina la evolucin
de la poblacin.
Qu sucede si P0 = M ? En dicho caso la solucin se convierte en P (t) = M ,
por lo que la poblacin se mantiene constante en M .
P29 (?) Comnmente las tasas de natalidad y mortalidad en poblaciones de animales no son
constantes, sin embargo, varan peridicamente con el paso de las estaciones. Encuentre
P (t) si la poblacin P satisface la ecuacin diferencial
dP
= (k + b cos 2t) P
dt
donde t est en aos, y k y b son constantes positivas. De este modo, la funcin de la tasa
de crecimiento r (t) = k + b cos 2t vara peridicamente alrededor del valor medio k. Disee
una grfica que contraste el crecimiento de esta poblacin con otra que tenga el mismo valor
inicial P0 pero que satisfaga la ecuacin de crecimiento natural kP (con la misma constante
k). Cmo son las dos poblaciones al paso de muchos aos?
Solucin:
La ecuacin diferencial sigue siendo separable, de modo que:
dP
= (k + b cos 2t) dt
P
49
Integrando,
b
ln |P | = kt + sen 2t + c
2
Es decir,
b
P (t) = ekt+ 2 sen 2t
con = ec . Luego, si P (0) = P0 , entonces = P0 y por lo tanto:
b
P (t) = P0 ekt+ 2 sen 2t
Para el crecimiento natural, ya sabemos que la solucin es Pn (t) = P0 ekt , por lo que
graficando ambas soluciones con P0 = 100 y k = b = 0,01:
Grficamente puede apreciarse que la diferencia entre ambas curvas se hace mnima a
medida que la poblacin aumenta. En efecto,
b
P (t) Pn (t) = P0 ekt e 2 sen 2t 1
b
Para valores de b pequeos e 2 sen 2t 1, por lo que la diferencia entre ambas poblaciones
es aproximadamente cero.
50
3 (1, 3) elementales. Se estudiarn m
0 5 10 15 20 nes al evaluar las funciones
x abordar con cierto detalle la
Curvas
FIGURA 1.5.3.
solucin tpicas denidas por la
1.3.3. Problema de mezclas
ecuacin (15).
Problemas de mezc
En este tipo de problemas se considera un tanque que contiene una solucinComo unayprimera
(soluto solvente).aplicacin
Hay tanto flujo que entra como que sale del tanque y se desea calcular la se
cantidad
un tanquedeque
x (t) soluto
contiene u
en el tanque en el instante t dada la cantidad inicial x (0) = x0 .
como sal disuelta en agua.
Suponemos que la solucin con una concentracin de ci gramos de soluto por quiere
litro calcular la cantidad x
fluye al interior
del tanque a una tasa constante de ri litros por segundo, y que la solucinx(0)
en el !
tanque fluye
x0 en hacia t ! 0. S
tiempo
afuera con una tasa de r0 litros por segundo. Es decir, el problema del estanque puede resumirse
en el siguiente grfico:
gramos de soluto por litro de
tante de ri litros por segundo,
mente mezclada por agitaci
Entrada: ri L/s, ci g/L
litros por segundo.
Para obtener una ecuac
Cantidad x(t) durante un breve intervalo d
Volumen V(t) dentro del tanque durante t
Concentracin co(t) = Vx
obsrvese cmo el anlisis di
Salida:
ro L/s, lit
co g/L r
i
FIGURA 1.5.4. Problema de
Se sigue que la variacin de masa de soluto
mezclas en un i producto
xsolo del ingreso de flujo puede aproximarse
tanque. llegando a una cantidad med
por:
xi ri ci t La cantidad de soluto q
tervalo de tiempo depende de
De forma anloga, la variacin de masa de soluto xo producto de la salida de flujo puede apro-
ximarse por: en el tiempo t. Pero como se
xo ro co t representa el volumen (no co
en elV tiempo
En todo instante el tanque tiene una cantidad x (t) de soluto y un volumen t. tanto,
(t). Por lo Entonces
asumiendo que se produce la mezcla se tendr que la concentracin de salida viene dada por
c0 = x(t)/V (t). Luego, la variacin total de masa de soluto queda expresada como:
x ! {gramos de ent
x (t)
x = xi xi t ri ci ro
V (t)
Tomando t 0 eliminamos el error en la aproximacin, obteniendo as que:
Ahora, dividiendo entre t:
dx x (t)
= ri ci ro
dt V (t)
Sin embargo, V (t) no es una funcin arbitraria, pues la evolucin para un volumen inicial V0 puede
determinarse como: Finalmente, se toma el lmite
V (t) = V0 + (ri ro ) t
continuas y x(t) es derivable,
Luego, a cero, y se obtiene la ecuaci
dx ro
+ x (t) = ri ci (14)
dt V0 + (ri ro ) t
51
Esta es una ecuacin lineal de primer orden que puede resolverse mediante los mtodos del factor
integrante.
P30 Un estanque con capacidad de 400 litros contiene 200 litros de agua en la que se hallan
disueltos 100 kg. de sal. Se comienza a introducir, a razn de 3 litros por minuto, salmuera
con una concentracin de 100 grs. de sal por litro de agua y la mezcla, que se mantiene
homognea por agitacin, sale del estanque a razn de 2 litros por minuto. Hallar la cantidad
de sal (en kgs.) presente en el estanque en el instante preciso que ste se llena.
Solucin:
Identificando los parmetros de acuerdo al modelo descrito anteriormente, se tiene que:
V0 = 200 litros.
x (0) = x0 = 100 kg.
ri = 3 litros/minuto.
ci = 0,1 kg/litro.
ro = 2 litros/minuto.
Luego,
(x)0 = ri ci [V0 + (ri ro ) t]ro /(ri ro )
Integrando,
ri ci 1 ro
+1
ri
x = ro [V0 + (ri ro ) t] ri ro + c = ci [V0 + (ri ro ) t] ri ro + c
ri ro ri ro
+1
Dividiendo por :
ro
r
x (t) = ci [V0 + (ri ro ) t] + c [V0 + (ri ro ) t] i ro
Reemplazando,
r rr
o
V0 i o
x (t) = ci [V0 + (ri ro ) t] + (x0 ci V0 ) (15)
V0 + (ri ro ) t
52
El estanque se llena cuando:
Vt V0
V0 + (ri ro ) tf = Vt tf =
ri ro
Reemplazando,
r rr
o
V0 i o
x (tf ) = ci Vt + (x0 ci V0 )
Vt
Asignando los valores numricos:
32
2
200 1
x (tf ) = 0,1 400 + (100 0,1 200) = 40 + 80 = 60 kg
400 4
P31 En un estanque ingresan 3 litros/seg de salmuera con una concentracin de sal de 10 grs/litro.
Desde el estanque salen 6 litros/seg de solucin homognea. Si inicialmente en el estanque hay
600 litros de salmuera con una concentracin de sal de 20 grs/litro, determine la cantidad de
sal en el estanque cuando quedan 300 litros de salmuera y el valor lmite de la concentracin
de sal cuando el estanque se vaca.
Solucin:
Nuevamente, interpretando los datos:
ri = 3 litros/seg.
ci = 0,01 kg/litro.
ro = 6 litros/seg.
V0 = 600 litros.
x0 = 0,02V0 = 12 kg.
El modelo es exactamente el mismo que el del problema anterior, por lo cual la evolucin
de la concentracin en el tiempo queda dada por:
r rr
o
V0 i o
x (t) = ci [V0 + (ri ro ) t] + (x0 ci V0 )
V0 + (ri ro ) t
V (t) = V0 + (ri ro ) t
53
Es decir,
r rr
o
V0 i o
x (t ) = ci V + (x0 ci V0 )
V
Como ri r0 < 0 entonces la expresin es equivalente a:
r rr
o
V o i
x (t ) = ci V + (x0 ci V0 )
V0
x (t ) x 0 ci V 0 x0 ci V0
ro ri
1 r
= ci + ro /(ro ri ) V ro ri
= ci + r /(ro ri )
V o ri
V V0 V0 o
x (t ) x 0 ci V 0
ri
lm = lm ci + ro /(ro ri ) V ro ri
t0 V t0 V0
x (t ) kg
lm = ci = 0,01
V 0 V litro
Los problemas de modelamiento estudiados con anterioridad pueden considerarse los tipos de
problemas estndar de esta seccin. Sin embargo, existen otro tipo de problemas de modelamiento
en que pueden emplearse ecuaciones diferenciales de primer orden tal como los que se presentan a
continuacin.
A partir de conocimientos bsicos se plantea el modelo que describe la evolucin del fenmeno
en el tiempo, as como sus condiciones iniciales.
Mediante las tcnicas de resolucin ya aprendidas se resuelve la ecuacin diferencial.
P32 Un cable se encuentra suspendido entre dos postes fijos de altura a. Se puede deducir que
la ecuacin que representa la forma que tiene el cable est dada por el problema de valores
54
iniciales: s 2
dy
2
1 dy
= 1+
dx 2 a dx
y (0) = a ; y 0 (0) = 0
Determine la curva y = y (x), que representa la forma que tiene el cable.
Solucin:
Partimos notando que en la ecuacin diferencial no aparece y (x), si no que su primera
y segunda derivada, razn por la cual resulta conveniente realizar la sustitucin v = y 0 .
De esta forma, la ecuacin diferencial se escribe como:
dv 1
= 1 + v2
dx a
Esta ecuacin puede resolverse mediante integracin directa:
dv 1 dv x
= dx = +c
1+v 2 a 1+v 2 a
| {z }
()
Clculo de la integral. Calculemos (). Para ello, recordamos de los primeros cursos
de Clculo que puede realizarse la sustitucin v = tan (t) dv = sec2 (t) dt y para
aplicar la condicin de inyectividad asumimos que t est en el primer cuadrante. Es
decir,
dv sec2 (t)
= p dt = sec (t) dt
1 + v2 1 + tan2 (t)
Recordando que la primitiva de sec (t) es ln |sec t + tan t|, entonces:
dv
= ln |sec t + tan t|
1 + v2
Pero v = tan t y como 1 + tan2 t = sec2 t 1 + v 2 = sec2 t sec t = 1 + v 2 dado
el cuadrante de t. Entonces,
x
2
ln v 1 + v = + c
a
Podemos eliminar la constante inmediatamente notando que y 0 (0) = 0 v (0) = 0.
Es decir c = 0. Despejando,
v + 1 + v = ex/a v + 1 + v 2 = ex/a
2
Solucin de la ecuacin. Entonces, de la ecuacin av 0 = 1 + v 2 obtenemos sustitu-
yendo que:
1 1
v + av 0 = ex/a v 0 + v = ex/a
a a
55
1
Usando el factor integrante (x) = e a
dx
= ex/a , entonces:
x/a 0 ex/a 1 0 1
e v + v = e2x/a ex/a v = e2x/a
a a a
Integrando la relacin anterior obtenemos que:
1 1
ex/a v = e2x/a + d v (x) = ex/a + dex/a
2 2
Como v (0) = 0, entonces:
1 1
0 = + d d =
2 2
Es decir,
1 x/a 1 x/a ex/a ex/a x
v (x) = e e = = senh
2 2 2 a
Como v = y , entonces:
0
x x
y (x) = senh dx + c = a cosh +c
a a
cosh () > 0 para todo por tratarse de una suma de exponenciales. Esta inconsistencia
de signos nos lleva a concluir que no es posible considerar la rama negativa, por lo cual
finalmente la nica solucin posible es la positiva:
x
y (x) = a cosh
a
P33 Un paracaidista se deja caer de un avin a 3000 m de altura. La aceleracin de gravedad es
g = 9,8 m/s2 y la desaceleracin debido a la resistencia del aire es proporcional al cuadrado
de la velocidad con constante de proporcin = 0,25 m1 . Determine el tiempo que toma
para llegar al piso y la velocidad del impacto.
56
Solucin:
Lo primero que debemos hacer es escribir el modelo asociado a este problema. La din-
mica vertical queda describa por la segunda ley de Newton. Digamos que y es la posicin
vertical del paracaidista, luego:
2
d2 y dy
= g +
dt 2 dt
57
Es decir,
1 1 1 1
= r r
u2 g 2 g g g
u u+
Integrando, r
g
u
du 1
= ln r
u2 g 2 g g
u +
Dado que el paracaidista parte del reposo, entonces u (0) = y 0 (0) = 0 y por lo tanto
c = 0. Es decir, r
g
u
r = e2 g t
g
u+
Observe que antepusimos el signo debido a que en caso contrario para u = 0 y t = 0
no se satisface la igualdad.
Despejando u obtenemos que:
r r
g g
u = e2 gt u e2 gt
Es decir,
r r
2 gt
g
2 gt
g 1 e2 gt
u 1+e = 1e u (t) =
1 + e2 gt
r
g
Es claro que cuando t , u (t) la cual ser la velocidad terminal.
Clculo de la posicin. Luego,
r
2 gt r
2 gt
g 1 e g 1 e
u (t) = y 0 (t) = y (t) = dt + c
1 + e2 gt 1 + e2 gt
58
Luego, r
1 g 1v 1 1v
y (t) = dv = dv
2 g v (1 + v) 2 v (1 + v)
Aplicando nuevamente fracciones parciales, se tiene que:
1v a b
= + a (1 + v) + bv = 1 v
v (1 + v) v 1+v
Es decir,
1 v 1 e gt
y (t) = ln + c = ln +c
2 (v + 1)2 e2 gt + 1
Reemplazando en la condicin inicial,
1 1 ln 2
y (0) = ln + c = y0 c = y0 +
2
Finalmente,
gt
1 2e
y (t) = ln + y0
e2 gt +1
Graficando esta funcin con los valores de , g e y0 dados obtenemos que:
59
Aqu se observa que la cada es prcticamente lineal pues el crecimiento exponencial
hace que la cada sea con velocidad aproximadamente constante.
Determinamos la velocidad que tarda en llegar al piso igualando a cero:
1 2e gt e gt 1
ln 2gt + y0 = 0 2gt = ey0
e +1 e +1 2
Entonces,
gt
e 1 1 1
= ey0 e gt = ey0 e2 gt + ey0
e2 gt
+1 2 2 2
Reordenando trminos,
2
e gt 2ey0 e gt + 1 = 0
Despejando al ecuacin cuadrtica:
gt
e = e y0 e2y0 1
Dado que el lado izquierdo de la igualdad tiene que ser positivo, nos quedamos con la
solucin positiva al lado derecho. Entonces,
e gt = ey0 + e2y0 1
Finalmente,
1
tf = ln ey0 + e2y0 1
g
Reemplazando en la velocidad obtenemos la velocidad al momento del impacto:
r 2 r
g 1 ey0 + e2y0 1 g
u (tf ) = 2
1 + ey0 + e2y0 1
P34 La venta esperada de un nuevo libro se describe por el modelo siguiente:
dp
dt = c (P0 p) t
p(0) = 0
Aqu p (t) es la cantidad de personas quienes han comprado el libro hasta el momento t 0,
P0 es la poblacin total y c > 0 es una constante de proporcionalidad. Se sabe que despus
de la primera hora una dcima parte de la poblacin ha comprado el libro.
60
Solucin:
(a) Partimos notando que la ecuacin es separable, por lo que esta puede escribirse
como.
dp ct2
= ct dt ln |P0 p| = d
P0 p 2
Despejando p (t):
ct2 ct2
P0 p = k exp p (t) = P0 k exp
2 2
p () = P0 k = 0 k = P0
Es decir,
ct2
p (t) = P0 1 exp
2
Podemos determinar la constante de proporcionalidad del hecho que a la primera
hora una dcima parte de la poblacin ha comprado el libro. Entonces,
h c i P c
0 9 10
p (1) = P0 1 exp = exp = c = 2 ln
2 10 2 10 9
Finalmente,
" t2 #
9 9
p (t) = P0 1 exp t2 ln p (t) = P0 1
10 10
Es decir,
r
1
t0 = log 9 6,58 horas
10 2
P35 (?) Curva de persecucin. Un ratn se encontraba pacficamente en el origen comiendo
su queso, cuando un gato hambriento localizado en el punto g0 = (a, 0) lo descubre y parte
en su direccin. De forma instantnea, el ratn presiente a su enemigo y toma la decisin de
escapar a lo largo del eje y en el sentido positivo y lo hace con velocidad constante vr . La
estrategia del gato es correr siempre en la direccin en que se encuentra el ratn, y lo hace
con velocidad constante vg .
61
En este problema determinaremos la curva descrita por el gato.
(a) Siendo g (t) = [x (t) , y (t)] la curva que describe la posicin del gato y r (t) = (0, r (t))
la curva que describe la posicin del ratn, escriba un modelo diferencial que describa
el comportamiento de la posicin del gato.
(b) Determine la posicin del ratn para instante de tiempo arbitrario.
(c) Pruebe que la trayectoria del gato satisface la ecuacin diferencial:
dy
x = y vr t
dx
Luego, derive la ecuacin anterior con respecto a x para probar que:
d2 y dt
x = vr
dx2 dx
(d) Sea s (t) la parametrizacin con respecto a arcoparmetro de la curva descrita por el
gato. Utilizando la sustitucin:
dt dt ds
=
dx ds dx
s 2
d2 y vr dy
pruebe que x 2 = 1+ .
dx vg dx
q
Ayuda: Puede serle til recordar que ds = (dx)2 + (dy)2 .
(e) Haciendo u = y 0 , resuelva la ecuacin diferencial del inciso anterior.
(f) [Propuesto] Determine condiciones sobre a, vr y vg para que el gato encuentre al ratn.
Solucin:
(a) El gato siempre corre en la direccin del ratn, dada por d (t) = [0, r (t)] g (t) =
[x (t) , r (t) y (t)]. La rapidez por otra parte ser constante e igual a vg . En otras
palabras,
d (t)
g0 (t) = vg
kd (t)k
Es decir, obtenemos el PVI:
0
x (t) vg x (t)
=q
y 0 (t) r (t) y (t)
x2 (t) + [r (t) y (t)]2
dr
= vr ; r (0) = 0
dt
Integrando,
r (t) = vr t
62
(c) La observacin que se realizar a continuacin no es del todo evidente pero sim-
plifica sustancialmente los clculos: dividiendo y 0 (t) por x0 (t) obtenemos dy/dx y
eliminamos el trmino exterior al vector. De esta forma,
Es decir,
dy y vr t dy
= x = y vr t
dx x dx
Derivando con respecto a x obtenemos que:
dy d2 y dy dt
+x 2 = vr
dx dx dx dx
En otras palabras,
d2 y dt
x 2 = vr
dx dx
(d) Notemos que:
dt dt ds
=
dx ds dx
dt 1
donde claramente = pues es la rapidez descrita por el gato.
ds vg
Por su parte, para el segundo trmino de la multiplicacin notamos que:
s 2
q
2 2 ds dy
ds = (dx) + (dy) = 1+
dx dx
De esta forma, s 2
dt 1 dy
= 1+
dx vg dx
Reemplazando en la ecuacin diferencial:
s 2
dy2
vr dy
x 2 = 1+
dx vg dx
Donde y (a) = 0.
(e) Haciendo la sustitucin sugerida obtenemos que:
du vr
x = 1 + u2
dx vg
63
Es decir,
du vr dx
=
1 + u2 vg x
Integrando a ambos lados de la ecuacin:
du vr
= ln |x| + c
1 + u2 vg
Notamos que:
La integral ya la calculamos en el problema anterior, obteniendo as que:
du
= ln u + 1 + u2
1 + u2
Para efectos de modelacin la componente x siempre ser positivo (tiene algn
sentido que el gato cruce el eje y?), por lo que el mdulo siempre lo tomamos
positivo.
De esta forma, v
r
ln u + 1 + u2 = ln (x) + c
vg
Como u (x) = y 0 (x) y el gato parte desde el reposo, entonces u (0) = y 0 (0) = 0 y
por lo tanto c = 0. Es decir,
v
r
ln u + 1 + u2 = ln (x)
vg
Pero si recordamos que ln u + 1 + u2 = senh1 (u) entonces:
1 vr vr
senh (u) = ln (x) u (x) = senh ln (x)
vg vg
64
Como y (a) = 0, entonces:
1 vr 1 vr
y (a) = a1+ vg a1 vg + k = 0
2 1 + vvgr 2 1 vr
vg
1 1
1+ vvr 1+ vvr vr vr
y (x) = x g a g x1 vg a1 vg
vr vr
2 1 + vg 2 1 vg
Si adems fy (x, y) es continua en ese rectngulo, entonces existe un > 0 que cumple
y tal que el problema tiene solucin nica en el intervalo (a , a + ).
A partir de la correcta aplicacin de este teorema puede resolverse una amplia tipologa de pro-
blemas. Revisemos a continuacin algunos de ellos:
65
P36 Encuentre todos los valores de a y b para los cuales el problema
dy
x =y ; y (a) = b
dx
Posee una solucin nica (y encuntrela).
No posee ninguna solucin.
Posee infinitas soluciones (y encuntrelas).
Solucin:
La ecuacin se puede escribir de forma anloga como:
dy y
= = f (x, y)
dx x
Derivando con respecto a y obtenemos:
1
fy (x, y) =
x
Esto nos permite responder cada una de las preguntas.
fy (x, y) es continua para todo x 6= 0, de la misma forma que f (x, y). Luego, en
todo punto a 6= 0 la solucin existe y es nica. La ecuacin es claramente separable,
luego:
dy dx
= ln |y| = ln |x| + c
y x
Tomando exponencial,
y = kx
con k = ec . Reemplazando con la condicin inicial
b
ka = b k =
a
Es decir, la solucin nica para el caso a 6= 0 y b cualquiera es:
b
y (x) = x
a
66
P37 Qu afirma el Teorema de Existencia y Unicidad en relacin al Problema de Valor Inicial
y 0 = y 2 1, y () = ? Encuentre todas las soluciones correspondientes al caso = 0,
= 1.
Solucin:
Observamos que f (x, y) = y 2 1 y que fy (x, y) = 2y son continuas siempre. Luego, el
teorema de existencia y unicidad garantiza que el problema tiene solucin nica para
todo par de nmeros (, ).
Resolvamos la ecuacin para obtener la solucin general, observando para ello que la
ecuacin es separable:
dy
= dx
y2 1
Aplicando el mtodo de fracciones parciales:
1 1 1 1 1
=
y2 1 2y1 2y+1
Es decir,
1 y 1 y1
ln = x + c = ke2x
2 y+1 y+1
donde k = ec . Luego, despejando y obtenemos que:
2x 2x 1 + ke2x
y 1 = yke + ke y (x) =
1 ke2x
1+k
= 1 1 + k = k 1
1k
Esta ecuacin es imposible de satisfacer, por lo que no existe solucin de esta forma en
el punto. Sin embargo, como el TEU garantiza la existencia de una solucin, esta debe
ser una solucin singular. En particular, notamos que:
y 2 1 = (y + 1) (y 1)
P38 Considere el siguiente PVI:
p
y0 = t 1 y ; y (0) = 1/2
(a) Utilizando el teorema de existencia y unicidad demuestre que el PVI tiene solucin nica
definida en algn intervalo abierto que contiene al punto t = 0.
67
(b) Resuelva explcitamente el problema.
(c) Encuentre el intervalo maximal para el PVI antes expuesto.
Solucin:
(a) Se tiene que f (t, y) = t 1 y es continua para todo t e y < 1. Asimismo, tomando
la derivada parcial con respecto a y:
1 t
fy (t, y) =
2 1y
Esta funcin tambin es continua para todo t e y < 1. Luego, para la condicin
inicial (0, 1/2) la solucin existe y es nica, demostrando as lo pedido.
(b) La ecuacin es claramente separable, de modo que:
dy 1 p 1
= t dt 2 1 y = t2 + c
1y 2 4
Es decir,
2 2
p c t2 t2 c t2 c
1 y = + 1 y = y(t) = 1
2 8 8 2 8 2
Sin embargo, debe observarse que y < 1 para satisfacer la condicin de la raz y
que c/2 t2 /8 0 c t2 /4 0. Haciendo t = 0 obtenemos que:
r r
1 c 1
1 = c = 2
2 2 2
Es decir,
r !2
t2 1
y (t) = 1 +
8 2
lm y(t) = 1 y lm y (t) = 1
x23/4 x23/4
68
Esto quiere decir que podemos pegar ambas funciones y obtener una funcin conti-
nua que sea solucin de la ecuacin diferencial. Por lo tanto, definiendo la funcin:
1, si t < 23/4 ,
r !2
t2 1
z (t) = 1 + , si 23/4 t 23/4
8 2
1, si t > 23/4 ,
es una funcin
que extiende y (t) para satisfacer la EDO inicial. Por lo tanto,
3/4 3/4
2 , 2 no es un intervalo maximal de existencia, si no que es el dominio
de z (t) que es todo R.
P39 Indique si los siguientes Problemas de Valor Inicial tienen solucin o no, y de tenerla, indique
cuntas soluciones hay. Contradicen los resultados al Teorema de Existencia y Unicidad?
Solucin:
La ecuacin diferencial se puede escribir como:
x x
x0 (t) = f (t, x) =
t1 t1
Se tiene que f (t, x) es continua para todo t 6= 1 y fx (t, x) = t1
1
es continua para todo
t 6= 1 (con x cualquiera). Asimismo, el problema es separable, de modo que:
dx dt
= ln |x| = ln |t 1| + c
x t1
Es decir,
x (t) = k (t 1)
con k = ec . Hecho esto podemos responder las preguntas.
(a) Observe que en la solucin general x (1) = 0. Por lo tanto, existen infinitas funciones
de la forma k (t 1) que satisfacen la condicin inicial, en particular x (t) 0.
(b) De la misma forma, la solucin general no puede satisfacer la condicin inicial
x (1) = 1. Por lo tanto, este problema no tiene ninguna solucin.
69
hiptesis del TEU, s se pueden encontrar infinitas soluciones. En la parte (b), en cambio,
no existe solucin. En otras palabras, como no se satisfacen las hiptesis del teorema,
ambos problemas no tienen por qu tener soluciones nicas (y de hecho, ni siquiera
tenerlas) sin que ello implique contradecir al TEU.
P40 Exhiba dos soluciones distintas del PVI
Solucin:
Por inspeccin, basta hacer x (t) 1 para satisfacer la ecuacin diferencial, es decir,
esta es una solucin singular. Asimismo, la ecuacin es separable, de modo que:
dx dt
=
(x 1)1/3 t1/3
Integrando,
3 3
(x 1)2/3 = t2/3 + c x 1 = (t + c) x (t) = 1 (t + c)
2 2
Haciendo x (0) = 1 se tiene que x (0) = 1 c = 1 c = 0. Es decir, tanto 1 + t como
1 t son soluciones del PVI, encontrando as no dos soluciones, si no que tres.
Ahora bien, f (t, x) = t1/3 (x 1)1/3 es claramente continua en (0, 1). Sin embargo,
t1/3
fx (t, x) = 31 (x1) 2/3 no es continua para x = 1 (y t cualquiera), de modo que el TEU
P41 Considere el problema de valor inicial:
dy p
= y y2 1 ; y (a) = b
dx
(a) Halle una solucin general y una solucin singular de la ecuacin diferencial.
(b) Determine los puntos (a, b) en el plano para el cual el problema de valor inicial:
No tiene solucin.
Tiene solucin nica.
Tiene infinidad de soluciones.
70
Solucin:
dy
p = dx
y y2 1
Integrando,
dy
p = dx + c
y y2 1
Haciendo y = sec t dy = tan t sec t dt se tiene que:
dy tan t sec t
p = dt = dt = t
y y2 1 sec t sec2 t 1
Entonces,
sec1 y = x + c y = sec (x + c)
p
Sin embargo, notemos que y y 2 1 se anula en y = 1 (descartamos y = 0
pues ah la raz se hace negativa), por lo tanto y (x) 1 e y (x) 1 son
soluciones singulares del problema.
p
(b) Se tiene que f (x, y) = y y 2 1 es continua para todo y (, 1] [1, )
y todo valor de x. Luego, en todos las condiciones iniciales que satisfagan esta
condicin est garantizada la existencia de solucin.
p p
Asimismo, se tiene que fy (x, y) = y 2 1 + y 2 / y 2 1 es continua para todo
y (, 1) (1, ) y todo x, de modo que por el T.E.U. est garantizada la
existencia de solucin nica en dicho intervalo.
Por el T.E.U., para todos los puntos de la forma y (a) = b con b (, 1)
(1, ) existe solucin nica.
En todos los puntos b (1, 1) ni las soluciones generales ni las soluciones
singulares pueden satisfacer la ecuacin diferencial. Por lo tanto, para estos
valores no existe solucin.
Para b = 1 no solo las soluciones singulares satisfacen el PVI, si no que se
tiene que:
71
P42 Considere el siguiente problema de valores iniciales
0 1+y
y = ; y (a) = b
1 + x2
(a) Encuentre todos los valores a, b R para los cuales el PVI no tiene solucin.
(b) Encuentre todos los valores a, b R para los cuales el PVI tiene solucin nica y
determnela.
(c) Encuentre todos los valores de a, b R para los cuales el PVI tiene ms de una solucin
y determnelas.
Solucin:
1+y 1
Partamos definiendo f (x, y) = 2
fy (x, y) = .
1+x 2 1 + y (1 + x2 )
Observamos que:
Ahora bien, observamos que esta ecuacin es separable, por lo que podemos determinar
su solucin general integrndola:
dy dx p
= 2 1 + y = arctan (x) + c
1+y 1 + x2
Es decir,
[arctan (x) + c]2
y (x) = 1
4
Asimismo, f (x, y) se anula en y = 1, por lo que y (x) 1 es una solucin singular
del problema. Esto nos permite responder cada una de las preguntas:
72
Es decir,
c = 2 b + 1 arctan (a)
Y finalmente,
arctan (x) arctan (a) + 2 b + 1
y (x) = 1
4
P43 Considere el problema con valor inicial:
dy
dx = y x + 1,
y (1) = 1.
Solucin:
Por inspeccin observamos que y = x anula la raz de la ecuacin diferencial. Ms an,
en dicho caso y 0 = 1 y esta queda satisfecha por dicha funcin, pues tambin se satisface
la condicin inicial. Esta solucin est claramente definida en todo R.
Para encontrar la solucin general, resulta de utilidad utilizar la sustitucin u = y x.
De esta forma, derivando con respecto a x:
u0 = y 0 1 u0 + 1 = u + 1 u0 = u
du x+c (x + c)2
= dx 2 u = x + c u = u (x) =
u 2 4
73
Volviendo a la variable original con y = u + x:
(x + c)2
y (x) = +x
4
Reemplazando en la condicin inicial y (1) = 1:
(1 + c)2
+ 1 = 1 (1 + c)2 = 0 c = 1
4
Finalmente,
(x 1)2
y (x) = +1
4
es otra solucin vlida del PVI, definida en todo R. Revisemos ahora la coherencia de
este resultado con lo que plantea el T.E.U.
Para este caso se tiene que f (x, y) = y x + 1 y es continua para todo y x, luego
para toda condicin inicial de la forma (a, b) con b a est garantizada la existencia de
solucin. Asimismo, fy (x, y) = 1/2 y x es continua para todo y > x (eliminamos el
caso y = x pues se anula el denominador) y por lo tanto para toda condicin inicial de
la forma (a, b) con b > a est garantizada la existencia de solucin nica.
La condicin inicial (1, 1) satisface la condicin para garantizar la existencia de solucin,
pero no la de solucin nica. Si bien puede existir una solucin nica para puntos de
esta forma (pues el T.E.U. es solo una condicin suficiente), este no es el caso y hemos
encontrado dos soluciones para una misma condicin inicial, por lo que este resultado
no contradice en forma alguna al teorema de existencia y unicidad.
En secciones anteriores revisamos una seleccin de tcnicas para resolver algunos tipos de ecua-
ciones diferenciales de primer orden. Sin embargo, es equivocado pensar que el objetivo principal
del estudio de las ecuaciones diferenciales es encontrar artificios para resolverlas. Basta ver que en
casos tan simples como:
dx 1
= +t
dt x
se desconocen soluciones analticas. Ante este hecho se presentan algunas alternativas, como m-
todos numricos, mtodos de aproximacin, o lo que revisaremos en esta seccin, mtodos cuali-
tativos.
74
Ejemplo inicial: la ecuacin logstica. Recordemos que para la dinmica de poblaciones dis-
ponemos del siguiente modelo logstico:
dx
= x (a bx)
dt
Sabemos por el T.E.U. que para este problema existe solucin nica para toda condicin inicial
y que las funciones constantes x (t) a/b y x (t) 0 son soluciones cuyos grficos son rectas
que dividen al plano t x. Ms an, sin determinar explcitamente las soluciones de la ecuacin
podemos determinar su monotona para una condicin inicial x (t0 ) = x0 y su concavidad. En
efecto, derivando nuevamente:
d2 x dx
= (a 2bx)
dt 2 dt
Si a/b < x0 , sabemos que el grfico de la solucin x (t) es una funcin montona decreciente
y que en el lmite tiende a a/b.
Si 0 < x0 < a/b, sabemos que el grfico de la solucin x (t) es una funcin montona creciente
que en el lmite tiende a a/b.
Definicin:
Una ecuacin diferencial de primer orden se dice autnoma si f (t, x) = f (x). En otras
palabras,
dx
= f (x) (16)
dt
Las soluciones constantes x (t) c, t R se llaman soluciones de equilibrio.
Interpretando una ecuacin diferencial como la descripcin de un sistema dinmico, las soluciones
de equilibrio son aquellas en las que el sistema no cambia con el tiempo. En efecto, derivando una
solucin de equilibrio:
dx dx
= 0 = f [x (t)] = f (c) = 0
dt dt
Es decir, las soluciones de equilibrio se determinan resolviendo f (c) = 0.
Proposicin:
75
Cualquier solucin de la ecuacin diferencial autnoma es o bien una solucin de equilibrio
o una funcin estrictamente montona.
Sea I = (, ), x0 I y t0 R. Entonces,
A = lm+ x (t) y B = lm x (t)
ta tb
Presentamos a continuacin un criterio para identificar los equilibrios estables e inestables de una
ecuacin autnoma.
Teorema:
Teniendo claro el teorema anterior se motiva la siguiente definicin para clasificar las soluciones
de equilibrio.
76
Puede observarse mediante el Teorema del Valor Medio que todo atractor es una solucin de equili-
brio asintticamente estable (con lmt x (t) = c) y que todo repulsor y nodo es una solucin de
equilibrio asintticamente inestable.
Signo de f (y)
Tipo Estabilidad Grfico
c<y<
c<y <c
c+
Atractor + Asint.
Estable
Repulsor + Inestable
Nodo Inestable
Nodo + + Inestable
P44 Dada la ecuacin x (t) = 16 x .
0 4
77
(a) Describa todos los puntos de equilibrio y estudie su estabilidad.
(b) Esboce el grfico de la funcin x (t) que es solucin de la ecuacin anterior y que satisface
x (0) = 0. En particular, determine lm x (t) justificando su respuesta.
t
Solucin:
(a) Partimos buscando los puntos de equilibrio. Como la ecuacin es autnoma, basta
igualar a cero:
16 x4 = 4 + x2 4 x2 = 4 + x2 (2 x) (x + 2)
78
P45 Encuentre todos los puntos de equilibrio de la ecuacin
dx
= x4 x3 2x2
dt
y determine su estabilidad. Cules son atractores (sumideros) y cules repulsores (fuentes)?
Solucin:
Partimos determinando todos los puntos de equilibrio igualando a cero la ecuacin au-
tnoma:
x4 x3 2x2 = 0 x2 x2 x 2 = x2 (x 2) (x + 1) = 0
79
Antes de 1 las soluciones son crecientes y despus de 1 son decrecientes, por
lo cual 1 es un atractor o sumidero y por lo tanto un equilibrio asintticamente
estable.
Antes de 0 las soluciones son decrecientes y despus del punto tambin, por lo cual
0 es un nodo y por lo tanto un equilibrio inestable.
Antes de 2 las soluciones son decrecientes y despus del mismo punto son crecientes,
concluyendo as que 2 es una fuente o repulsor y por lo tanto un equilibrio inestable.
P46 Considere el problema de valor inicial y 0 = (1 y 2 ) (y + 2), y (0) = .
Determine todos los valores de R de tal manera que lm y (x) = 1.
x
Solucin:
Analicemos los puntos de equilibrio y clasifiqumolos. Ello nos permitir determinar
el comportamiento asinttico de las soluciones y con ello las condiciones iniciales que
satisfacen la condicin pedida. Partimos igualando a cero la ecuacin autnoma:
1 y 2 (y + 2) = (1 y) (1 + y) (y + 2)
De lo anterior, se deduce que para toda condicin inicial y (x0 ) > 1 tendr como lmite
1, de modo que (1, ).
80
P47 Encuentre todos los puntos de equilibrio de la ecuacin autnoma
dx
= x3 x2 cos 2x ; para 2 x 2
dt
y clasifquelos. Cules son atractores (sumideros) y cules repulsores (fuentes)?
Solucin:
Partimos igualando a cero la ecuacin autnoma para determinar los puntos de equilibrio.
Se tiene que:
f (x) = x3 x2 cos 2x = x2 (1 x) cos 2x
Luego, esta ecuacin se anula cuando x = 0, cuando x = 1 y cuando cos 2x = 0. Es
decir, cuando:
2x = + 2k ; k Z
2
Para el intervalo [2, 2] las soluciones tiles son y . Graficando la funcin cos (2x):
4 4
Se sigue que:
x= corresponde a un repulsor o fuente. equilibrio inestable.
4
x = 0 corresponde a un nodo. equilibrio inestable.
81
x= corresponde a un atractor o sumidero. equilibrio asint. estable.
4
x = 1 corresponde a un repulsor o fuente. equilibrio inestable.
P48 Para la ecuacin diferencial y = (y 1) sen (y ):
0 2
L1 = lm y (t) y L2 = lm y (t)
t t
Solucin:
(a) Partimos igualando a cero la ecuacin autnoma para determinar los puntos de
equilibrio:
(y 1) sen y 2 = 0 y = 1 sen y 2 = 0
La segunda ecuacin nos indica que:
y 2 = k ; kZ
Sin embargo, como y 2 es siempre positivo nos quedamos con k N {0}. Despe-
jando,
y = k
Analizar los signos en este caso no resulta ser una tarea sencilla pues el compor-
tamiento de la funcin seno es variable. La forma ms sencilla de entender esto es
recordando la grfica de la funcin seno:
82
(2n + 2) , (2n + 1)
(2n + 1) , 2n
p
(2n 1) , 2n
(2n + 1)
p
2n,
(1, )
p
p
(0, 1)
p
y1 + + +
sen (y 2 ) + + + +
(y 1) sen (y 2 ) + + +
Analizando la tabla se deduce que: (n N)
p
Puntos de la forma (2n + 1) son repulsores o fuentes y por lo tanto equi-
librios inestables.
Puntos de la forma 2n son atractores o sumideros y por lo tanto equilibrios
asintticamente estables.
El punto x = 0 es un atractor o sumidero y por lo tanto un equilibrio asintti-
camente estable.
El punto x = 1 es un repulsor o fuente y por lo tanto un equilibrio inestable.
p
Puntos de la forma (2n + 1) son atractores o sumideros y por lo tanto
equilibrios asintticamente estables.
Puntos de la forma 2n son repulsores o fuentes y por lo tanto equilibrios
inestables.
(b) Para a (2, 2) encontramos los siguientes puntos y desde ah podemos deducir
los valores de sus lmites en :
1,77 que es un repulsor. Se sigue que:
Para y (2, ):
lm y (t) = 2 y lm y (t) =
t t
Para y ( , 0):
lm y (t) = 0 y lm y (t) =
t t
lm y (t) = 0 y lm y (t) = 1
t t
83
1 que es un repulsor. Se sigue que para y (1, ):
lm y (t) = y lm y (t) = 1
t t
1,77 que es un un atractor. Se sigue que para y ( , 2):
lm y (t) = y lm y (t) = 2
t t
84
2. Ecuaciones diferenciales lineales de orden superior
Se dice que una ecuacin diferencial es lineal con tal que y y sus derivadas lo sean. Por lo
tanto, una ecuacin lineal de orden superior es de la forma:
y = c1 y1 + + cn yn
Demostracin:
85
Teorema: (Existencia y unicidad) Suponga el problema con condiciones iniciales
Si f (x) y ci (x) son continuas para todo i {1, . . . , n 1} en un intervalo I tal que a I,
entonces el problema tiene solucin nica en I.
y consideramos las condiciones iniciales y(a) = b0 , . . ., y (n1) (a) = b0 . Recordamos que una solucin
puede escribirse de la forma
y = c1 y1 + . . . + cn yn
Luego, se verificar el sistema:
c1 y1 (a) + . . . + cn yn (a) = b0
..
.
(n1) (n1)
c1 y 1 (a) + . . . + cn yn (a) = bn
El lgebra lineal nos dice que tendr solucin nica si y solo si la matriz es invertible, lo que
verificamos por medio del determinante.
c1 y1 + . . . + cn yn = 0 ci = 0 (1 i n) (x I)
c1 y1 + . . . + cn yn = 0 (x I)
86
Definicin: Se define el Wronskiano de las funciones y1 , . . . , yn como la operacin W :
C n1 . . . C n1 R R definida por:
y1 (x) y (x)
n
.. ..
W {y1 (x), . . . , yn (x)} = W(x) = . .
(n1)
y 1 (n1)
(x) yn (x)
Luego,
P49 Verifique que las funciones y1 (x) = ex e y2 (x) = xex son linealmente independientes en
cualquier intervalo.
Solucin:
De acuerdo a lo visto anteriormente, basta demostrar que el Wronskiano es distinto de
cero. Para ello, derivamos:
x
e xe x
W {e , xe } = x x
x x
x = e
2x
6= 0
e e + xe
Por lo tanto, como el Wronskiano es distinto de cero para todo x, el conjunto de funciones
es l.i. en cualquier intervalo.
P50 Demuestre que el conjunto de funciones
3x
arctan (x) , arctan (2x) , arctan
1 2x2
es linealmente dependiente y muestre una forma de expresar alguno de sus elementos como
combinacin lineal de los otros.
Solucin:
Derivando para determinar el Wronskiano:
1 2
y10 (x) = ; y20 (x) =
1 + x2 1 + 4x2
87
1 3 (1 2x2 ) + 12x2
y30 (x) =
9x2 (1 2x2 )2
1+
(1 2x2 )
3 (1 + 2x2 ) 3 (1 + 2x2 )
= =
(1 2x2 )2 + 9x2 1 + 5x2 + 4x4
3 (1 + 2x2 )
=
(1 + x2 ) (1 + 4x2 )
Integrando:
y3 (x) = y1 (x) + y2 (x) + c
Como y1 (0) = y2 (0) = y3 (0) = 0, entonces c = 0 y por lo tanto,
y 00 + P (x) y 0 + Q(x)y = 0
Por lo tanto, la resta de las ecuaciones escrita en trminos del Wronskiano queda:
88
donde k es una constante arbitraria que se puede determinar a partir del sistema. Esta frmula se
conoce como frmula de Abel y resulta de gran utilidad para realizar demostraciones de indepen-
dencia lineal en las soluciones de ecuaciones lineales homogneas. A modo de ejemplo, un corolario
inmediato es que W (x) 6= 0 para todo x (cuando k 6= 0) W (x) = 0 para todo x (cuando k = 0).
P51 Considere la ecuacin diferencial
y 00 + a (x) y 0 + b (x) y = 0
donde las funciones a (x) y b (x) son continuas en el intervalo [0, 1] y sean y1 e y2 dos soluciones
de ella.
(a) Demuestre que si y1 (x0 ) = y2 (x0 ) = 0 para algn x0 (0, 1), entonces y1 e y2 son
linealmente dependientes.
(b) Suponga que y1 e y2 tienen ambas un punto de inflexin en algn x0 (0, 1). Demuestre
que si a (x0 ) y b (x0 ) no son ambas cero, entonces y1 e y2 son linealmente dependientes.
Solucin:
Como a (x0 ) no es cero por hiptesis y la exponencial tampoco puede serlo, entonces
k = 0 y por lo tanto para todo x (0, 1) se tendr que:
W (x) = 0 .
89
2.2. Ecuaciones homogneas de coeficientes constantes
En esta seccin resolveremos un caso particular de ecuaciones diferenciales lineales de orden su-
perior, correspondientes al caso en que los coeficientes que acompaan a y y sus derivadas son
constantes.
Antes de proceder a resolver ecuaciones de este tipo, debe tenerse claridad de los fundamentos
tericos inherentes al procedimiento que se describir. Para ello, realizaremos un breve repaso de
los conceptos clave de esta seccin.
Y = c1 y1 (x) + . . . + cn yn (x)
para todo x I.
y = c1 y 1 + . . . + cn y n + y p
90
Coeficientes constantes: la ecuacin caracterstica. Sea la ecuacin homognea
an y (n) + . . . + a1 y 0 + a0 y = 0
dk rx
e = rk erx
dxk
y la ecuacin queda de la forma
erx (an rn + . . . + a1 r + a0 ) = 0
Como erx > 0 para todo x R, los valores de r los determinaremos por medio del polinomio de la
derecha.
an r n + . . . + a1 r + a0 = 0
A modo de observacin, puede notarse que ex y ex con 6= son un conjunto l.i. Obsrvese que:
x
e ex
W (x) = x = ( ) ex 6= 0 (x R)
e ex
Races reales distintas. Si las races reales son distintas, esto motiva el siguiente teorema:
Races reales repetidas. Supongamos la ecuacin caracterstica de una ecuacin diferencial de orden
k:
(r r0 )k = 0
Evidentemente r0 es raz y er0 x es una solucin. Sin embargo, nos faltarn k 1 soluciones l.i. para
obtener la solucin general. De esta ecuacin debemos desprender k 1 soluciones l.i. ms.
91
Una sugerencia es intentar buscar una funcin u(x) tal que g(x) = u(x)er0 x sea solucin de la
ecuacin. Vemos que:
g 0 (x) = u0 er0 x + r0 uer0 x
d
r0 g = u0 er0 x + r0 uer0 x r0 uer0 x
dx | {z } | {z }
dg r0 g
dx
k
d dk u
r0 g= er0 x
dx dxk
dk u
Lo que implica que debe ocurrir que = 0. Intengrando, se obtiene que:
dxk
u (x) = c0 + c1 x + . . . + ck1 xk1
Podemos notar que xer0 x , . . . , xk1 er0 x son soluciones particulares de la ecuacin diferencial original.
Esto se resume en el siguiente resultado:
Teorema: Si la ecuacin caracterstica tiene una raz repetida con multiplicidad k, entonces
la parte de la solucin general de la ecuacin diferencial correspondiente a r0 es de la forma:
c1 + c2 x + . . . + ck xk1 er0 x
Por otro lado, las races complejas siempre se presentan de a pares en todo polinomio: la raz y su
conjugado. Si tenemos una ecuacin caracterstica de la forma
(r a + bi)(r a bi) = 0
92
las dos soluciones particulares sern y1 = e(a+bi)x y y2 = e(abi)x . Desarrollando, la solucin general
queda de la forma:
Se puede proceder de forma anloga en todos los casos. Reemplazando en la expresin anterior,
= eax c0 cos bx + d0 sen bx + x(c2 cos bx + d2 sen bx) + . . . + xk1 (ck1 cos bx + dk1 sen bx)
k1
X
ax
= e xk (ci cos bx + di sen bx)
i=0
2.2.2. Problemas
Como resumen de la seccin anterior, se puede enunciar un procedimiento general para resolver
ecuaciones diferenciales de orden superior con coeficientes constantes:
93
Si rk es real y con multiplicidad uno, entonces se propone como solucin erk x .
Si rk = a+bi es compleja y con multiplicidad uno (as como su conjugado abi), entonces
se proponen como soluciones linealmente independientes eax cos (bx) y eax sen (bx).
Si rk es real y con multiplicidad ` > 1, entonces se proponen ` soluciones linealmente
independientes dadas por:
yk,1 = erk x
yk,2 = xerk x
..
.
yk,` = x`1 erk x
(3) Digamos que cada una de las n soluciones linealmente independientes estn denotadas por
y1 , . . . , yn , entonces la solucin general viene dada por:
y (x) = c1 y1 (x) + + cn yn (x)
con c1 , . . . , cn coeficientes a determinar de acuerdo a las condiciones iniciales.
(4) Reemplazar en las n condiciones iniciales (si son especificadas) para obtener as la solucin
particular.
(a) y 00 + 3y 0 + 2y = 0.
(b) y 000 + y 00 2y = 0.
Solucin:
r2 + 3r + 2 = 0 (r + 1) (r + 2) = 0 r1 = 1 r2 = 2
94
(b) La ecuacin caracterstica asociada en este caso es:
r3 + r2 2 = 0.
P53 Resuelva el Problema de Valor Inicial y 2y + 2y = 0, y () = e , y () = 0.
00 0 0
Solucin:
Se tiene que el polinomio caracterstico asociado es r2 2r + 2 = 0, cuyas races son:
2+ 48
r= =1i
2
Es decir, la solucin general de la ecuacin es:
y () = c1 e = e c1 = 1
Es decir,
y 0 () = c1 e c2 e = 0 (c1 + c2 ) e = 0 c1 + c2 = 0
P54 Dado que y = sen x es una solucin de la ecuacin
000 00
y (4) 4y + 5y 4y 0 + 4y = 0
95
encuentre la solucin general de dicha ecuacin.
Solucin:
El polinomio caracterstico asociado a la ecuacin diferencial es:
r4 4r3 + 5r2 4r + 4 = 0
r4 4r3 + 5r2 4r + 4 r2 + 1 = r2 4r + 4
Es decir,
r4 4r3 + 5r2 4r + 4 = r2 4r + 4 r2 + 1 = (r 2)2 r2 + 1
Luego, las races son 2 (con multiplicidad 2) y i, por lo que las 4 soluciones linealmente
independientes son:
y1 (x) = e2x , y2 (x) = xe2x
y3 (x) = sen (x) e y4 (x) = cos (x) .
Es decir,
y (x) = c1 e2x + c2 xe2x + c3 sen (x) + c4 cos (x) .
P55 Considere la ecuacin homognea
4x2 y 00 + 4xy 0 3y = 0
Solucin:
(a) Deseamos convertir la ecuacin diferencial a una ecuacin en que las derivadas de
y aparezcan con respecto a t. En la ecuacin diferencial podemos hacer aparecer
estas derivadas utilizando la regla de la cadena:
dy dy dt
=
dx dt dx
Derivando nuevamente con respecto a x, debemos notar que como y depende de t
(y este a su vez de x), entonces ambas derivadas en el producto dependen de x y
96
por lo tanto debemos derivar utilizando regla del producto:
d2 y d dy dt d dy dt dy d2 t
= = +
dx2 dx dt dx dx dt dx dt dx2
dt 1 d2 t 1
= 2 = 2
dx x dx x
De esta forma,
dy 1 dy
=
dx x dt
dy
2
1 d2 y 1 dy
= 2 .
dx 2 x dt
2 2 x dt
Reemplazando en la ecuacin diferencial:
2 00 0 2 1 d2 y 1 dy 1 dy
4x y + 4xy 3y = 4x 2 + 4x 3y (t)
x dt
2 2 x dt x dt
d2 y dy dy
= 4 2 4 + 4 3y (t)
dt dt dt
Es decir, obtenemos as la ecuacin diferencial de segundo orden de coeficientes
constantes:
d2 y
4 2 3y (t) = 0 ,
dt
y demostrando as lo pedido.
(b) El polinomio caracterstico asociado a la ecuacin diferencial es
2 3
4r 3 = 0 r = .
2
De esta forma,
3 3
y (t) = c1 e 2
t
+ c2 e 2
t
97
Como t = ln x, reemplazamos y obtenemos la soluciones l.i. en funcin de x:
3 3
y (t) = c1 x 2 + c2 x 2 ,
3 3
de modo que 1 (x) = x 2 y 2 (x) = x 2 (o vice versa).
P56 (a) Demuestre que la ecuacin
d3 y 2d y
2
dy
x3 + 3x 2x + 2y = 0
dx 3 dx 2 dx
puede volverse una ecuacin lineal con coeficientes constantes con el cambio de variables
x = et . (Ayuda: Use la regla de la cadena para transformar derivadas respecto a x en
derivadas respecto a t)
(b) Resuelva la ecuacin anterior.
Solucin:
dt 1 d2 t 1 d3 t 2
Es decir, como = , = y = 3 , entonces:
dx x dx 2 x 2 dx 2 x
dy 1 dy
=
dx x dt
dy
2
1 d2 y 1 dy
= 2 2 2
dx 2 x dt x dt
d3 y 1 d3 y 3 d2 y 2 dy
= +
dx3 x3 dt3 x3 dt2 x3 dt
98
Reemplazando en la ecuacin diferencial:
3 2
3d y 2d y dy dy d2 y dy d y dy dy
3 2
x +3x 2x +2y = 3 2 +2 +3 2 +2y (t) = 0
dx 3 dx 2 dx dt 3 dt dt dt2 dt dt
d3 y dy
3 + 2y (t) = 0
dt3 dt
r3 3r + 2 = 0
P57 (a) Encuentre criterio sobre los parmetros reales b, c para que cada solucin y de la ecuacin
y 00 + by 0 + cy = 0
satisfaga lm y (t) = 0.
t
(b) Para la misma ecuacin anterior, encuentre condiciones sobre b, c para que cada solucin
y no idnticamente nula de la ecuacin tenga no ms de un punto crtico.
Solucin:
99
Si b2 4c > 0 la solucin ser de la forma
Para que el lmite de esta funcin sea cero, ambas exponenciales deben ser
decrecientes. Es decir,
r1 < 0 y r2 < 0
Resolviendo la primera condicin,
b + b2 4c < 0 b2 4c < b b2 4c < b2 c > 0.
Elevando al cuadrado,
b2 4c > b2 c < 0.
Resumiendo,
b2 4c 0 , c>0 , b < 0 c < 0
Como la segunda condicin se contradice con la tercera, no es posible tomar el
caso b < 0 y por lo tanto las condiciones son en este caso:
Para que el lmite sea cero, y considerando que las trigonomtricas estn aco-
tadas, la condicin que deber cumplirse es que las exponenciales sean decre-
cientes. Luego,
b
< 0 b > 0
2
Es decir, en este caso:
100
Si b2 4c = 0, habr una raz con multiplicidad dos: r = b/2. Las soluciones
sern
b b
y (x) = c1 e 2 x + c2 xe 2 x
Luego, al igual que en el caso interior, se impone b > 0.
Uniendo las condiciones condiciones deducimos finalmente que las condiciones son:
b > 0, y c < 0 si b2 4c 0
e(r1 r2 )(x1 x2 ) = 1
Entonces,
(r1 r2 ) (x1 x2 ) = 0
Como r1 6= r2 pues b2 4c > 0 en este caso, entonces necesariamente x1 = x2 y
se llega as a una contradiccin. De esta forma, en este caso si habr un nico
punto crtico.
Si b2 4c = 0, entonces
b
con r = . Derivando,
2
y 0 (x) = c1 rerx + c2 erx + c2 rxerx = (c1 r + c2 + c2 rx) erx
101
Si b2 4c < 0, entonces la solucin ser
2b x 4c b2 2b x 4c b2
y (x) = c1 e cos x + c2 e sen x
2 2
P58 Hallar los valores de y para que el problema de valores iniciales
Solucin:
El polinomio caracterstico asociado a la ecuacin diferencial es:
r2 + 3r 10 = 0 (r + 5) (r 2) = 0.
y (0) = c1 + c2 = .
Derivando,
y 0 (x) = 5c1 e5x + 2c2 e2x .
Imponiendo la segunda condicin inicial,
102
Generamos as el sistema:
c1 + c2 =
5c + 2c2 =
25c1 + 4c2 = 0
Debemos encontrar y de modo que el sistema tenga solucin tal que c1 y c2 no puedan
ser cero simultneamente. Multiplicando por dos la primera ecuacin y restndole la
segunda:
2
7c1 = 2 c1 =
7
7 2 + 5 +
Como c2 = c1 c2 = = . Luego, imponemos que:
7 7
2 5 +
25 +4 = 0 70 21 = 0
7 7
3
Es decir, = . Sin embargo, c1 y c2 no pueden ser cero simultneamente, de modo
10
que:
2 6= 0 6= y 5 + 6= 0 6=
2 5
3
Como = es la condicin, basta que y sean no nulos para imponer la condicin.
10
Concluimos as que las condiciones buscadas son:
3
= .
10
6= 0.
6= 0.
y = yp + yh
Ya conocemos el procedimiento para determinar yh en esta ecuacin. Falta hacerlo para yp , y este
es el objetivo de este apartado.
103
su forma. Aplica siempre que f (x) es una combinacin lineal finita de productos de funciones de
este tipo:
Polinomios.
Exponenciales.
Senos y cosenos (exponenciales elevadas a nmeros complejos).
Regla 1: (Ningn trmino en f (x) o sus derivadas satisface la ecuacin homognea asociada)
Se toma como solucin tentativa una combinacin lineal de todos los trminos y sus derivadas
que sean linealmente independientes. Se determinan los coeficientes por sustitucin tentativa.
Regla 2: Si la funcin f (x) es de la forma Pm (x)erx cos kx Pm (x)erx sen kx, entonces la
solucin tentativa de yp es de la forma
Otro enfoque: aniquiladores. Como ya sabemos, un sistema lineal con coeficientes constantes
tiene asociado un operador lineal escrito en trminos del operador derivada. Para la ecuacin
an y n + . . . + a1 y 0 + a0 y = f (x)
L(y) = f (x)
Como f (x) bajo las condiciones dadas es la funcin de una ecuacin lineal homognea M , se tiene
que
M (f ) = M (Ly) = 0
El objetivo es determinar las transformaciones M tales que M (f ) = 0, ya que de esta forma
crearemos una ecuacin con mayor cantidad de races, pero homognea.
Funcin Aniquilador
tn Dn+1
eat Da
cos(bt) D 2 + b2
sen(bt) D 2 + b2
eat cos(bt) D2 2aD + a2 + b2
eat sen(bt) D2 2aD + a2 + b2
104
El mtodo consistir en encontrar este Pf (D) = M , y luego se obtendr la ecuacin
Pf (D)P (D)y = 0
La solucin particular se encuentra a partir de la ecuacin anterior, cuidando que esta no sea
solucin de P (D), ya que en este caso sera solucin del sistema homogneo y se llegara a la
contradiccin 0 = f (x).
Notar adems que siempre deben haber soluciones distintas a las homogneas en esta nueva ecua-
cin homognea, debido a que en caso contrario, todas seran solucin del sistema homogneo y se
tendra que f (x) 0. En el peor de los casos pueden aumentar la multiplicidad de las races con
los nuevos aniquiladores.
Mediante el mtodo de los aniquiladores o las reglas enunciadas estamos en condiciones de resolver
los siguientes problemas:
P59 (a) Escriba la ecuacin diferencial homognea de menor orden posible que tenga entre sus
soluciones a la funcin f (t) = t + sen (2t).
(b) Hallar una ecuacin diferencial del menor orden posible que tenga por una de sus solu-
ciones a la funcin E (t) = e2t + t sen (t) + et sen (2t).
Solucin:
(a) Para poder resolver esta pregunta podemos recurrir a lo ya aprendido sobre el
mtodo de los aniquiladores. Para esto, consideramos cada uno de los miembros de
la suma:
t queda aniquilada por el operador D2 , y es el operador de menor grado que
puede aplicrsele para estos propsitos.
sen (2t) queda aniquilada por el operador D2 + 4, y de forma anloga al caso
anterior, es el operador de menor grado que puede aplicrsele.
De esta forma, observe que:
D2 + 4 D2 f = D2 D2 + 4 sen (2t)
= 0
105
e2t queda anulada por D 2.
sen (t) queda anulada por D2 + 1 y por lo tanto t sen (t) queda anulada por
2
(D2 + 1) .
et sen (2t) queda anulada por [D (1 2i)] [D (1 + 2i)] = (D 1)2 + 4, es
decir, queda anulada por D2 2D + 5.
De esta forma, E (t) queda anulada completamente por la multiplicacin de estos
operadores, i.e. E satisface la ecuacin diferencial
2
(D 2) D2 + 1 D2 2D + 5 E = 0
P60 Encuentre la solucin general de la ecuacin
y 00 3y 0 + 2y = x2 .
Solucin:
Recordamos que la solucin a esta ecuacin diferencial se compondr de la suma de la
solucin homognea con la solucin particular, i.e.
yh (x) = c1 ex + c2 e2x
yp (x) = a + bx + cx2
106
Es decir,
2c 3 (b + 2cx) + 2 a + bx + cx2 = x2
Agrupamos en trminos de los trminos l.i., es decir, las potencias:
2a + 2c 3b = 0
2b 6c = 0
2c = 1
De esta forma, resolviendo el sistema se tiene que a = 7/2, b = 3/2 y c = 1/2. Concluimos
que la solucin particular viene dada por:
7 3 1
yp (x) = + x + x2
2 2 2
Y por lo tanto, la solucin general de la ecuacin diferencial es:
7 3 1
y (x) = + x + x2 + c1 ex + c2 e2x
2 2 2
D3 (D 2) (D 1) y = 0
y (x) = c1 ex + c2 e2x + c3 + c4 x + c5 x2
Reemplazando,
c1 ex + 4c2 e2x + 2c5 3 c1 ex + 2c2 e2x + c4 + 2c5 x = x2
+ 2 c1 ex + c2 e2x + c3 + c4 x + c5 x2
107
Agrupando en los trminos l.i.:
Resolviendo este sistema obtenemos los mismos resultados que los obtenidos en la parte
anterior: c3 = 7/2, c4 = 3/2 y c5 = 1/2. Es decir,
7 3 1
y (x) = c1 ex + c2 e2x + + x + x2
| {z } 2 2
yh (x)
| {z 2 }
yp (x)
Acabamos de comprobar que mediante este mtodo se obtienen los mismos resultados,
y se obtiene tanto la solucin general como la particular simultneamente.
P61 Resuelva la siguiente ecuaciones diferenciales mediante el mtodo de coeficientes indetermi-
nados:
y 000 y 0 = e2x sen2 (x) .
Solucin:
Partimos resolviendo la ecuacin homognea. Su polinomio caracterstico viene dado
por:
r3 r = 0 r r2 1 = r (r 1) (r + 1) = 0
Es decir, la solucin homognea viene dada por:
yh (x) = c1 + c2 ex + c3 ex
108
De esta forma, debemos resolver:
1 1
y 000 y 0 = e2x e2x cos (2x)
2 2
Para cada uno de estos trminos proponemos:
1 2x
e axs e2x . s = 0 pues la multiplicidad de 2 en el polinomio caracterstico es
2
cero.
1
e2x cos (2x) xs [be2x cos (2x) + ce2x sen (2x)]. s = 0 bajo el mismo argumen-
2
to.
Luego, proponemos:
109
Finalmente, la solucin general a la ecuacin diferencial es:
1 2x 9 2x 7 2x
y (x) = c1 + c2 ex + c3 ex + e + e cos (2x) e sen (2x)
12 520 520
P62 Resolver el problema
y 00 5y 0 + 6y = 10 sen t 2te2t 6
con condiciones iniciales y (0) = 1, y 0 (0) = 1.
Solucin:
Solucin homognea. Partimos resolviendo la ecuacin homognea. Su polinomio ca-
racterstico es:
r2 5r + 6 = 0 (r 3) (r 2) = 0
Es decir, la solucin general a la ecuacin homognea viene dada por:
Derivando:
yp0 (t) = a sen t + b cos t + (c + 2dt) e2t + 2 ct + dt2 e2t
= a sen t + b cos t + c + 2 (c + d) t + 2dt2 e2t
yp00 (t) = a cos t b sen t + [2 (c + d) + 4dt] e2t + 2 c + 2 (c + d) t + 2dt2 e2t
= a cos t b sen t + 4c + 2d + (4c + 8d) t + 4dt2 e2t
(5a 5b) cos (t) + (5a + 5b) sen (t) + (2d c 2dt) e2t + 6f = 10 sen t 2te2t 6
110
Es decir,
5a 5b = 0
5a + 5b = 10
2d c = 0
2d = 2
6f = 6
(2c4 c3 2c4 t) e2t + (5c5 5c6 ) cos (t) + (5c5 + 5c6 ) sen (t) + 6c7 = 10 sen t 2te2t 6
111
De aqu se desprende que:
2c4 c3 = 0
2c4 = 2
5c5 5c6 = 0
5c5 + 5c6 = 10
6c7 = 6
Primero, se comprueba que los trminos en que aparecen c1 y c2 se anulan, por lo que
quedan indeterminados. En segundo lugar, resolviendo el sistema obtenemos que c3 = 2,
c4 = 1, c5 = c6 = 1 y c7 = 1. Es decir, la solucin es:
y (t) = c1 e3t + c2 e2t + 2t + t2 e2t + cos (t) + sen (t) 1
Observe que la solucin obtenida mediante este mtodo es exactamente la misma que la
obtenida mediante el mtodo anterior.
P63 Usar el mtodo de los coeficientes indeterminados para resolver la ecuacin
y 00 + 2y 0 + y = et + 3t + 1.
Solucin:
Partimos resolviendo la ecuacin homognea. La ecuacin caracterstica es:
r2 + 2r + 1 = 0 (r + 1)2 = 0
yh (t) = c1 et + c2 tet
Ahora resolvemos mediante el mtodo de los coeficientes indeterminados. Para cada una
de las soluciones proponemos un candidato:
112
Reemplazando con esta expresin en la ecuacin diferencial obtenemos los coeficientes
indeterminados:
a 2 4t + t2 et + 2 2at at2 et + 2c + at2 et + b + ct = et + 3t + 1
Reordenando trminos:
2aet + 2c + b + ct = et + 3t + 1
Luego,
2a = 1
2c + b = 1
c = 3
yp (t) = t2 et 5 + 3t
y (t) = t2 et 5 + 3t + c1 et + c2 tet
P64 Encuentre la solucin general de la ecuacin
Solucin:
Solucin homognea. Partimos obteniendo la solucin a la ecuacin homognea. El
polinomio caracterstico es:
r2 3r + 2 = (r 2) (r 1) = 0
Es decir, yh (t) = c1 et + c2 e2t . Ahora resolveremos la solucin particular mediante los dos
mtodos.
Mediante coeficientes indeterminados. Se tiene que:
113
Es decir, yp (t) = (at + bt2 ) et + ct + d. Derivando,
yp0 (t) = (a + 2bt) et + at + bt2 et + c
= a + (a + 2b) t + bt2 et + c
yp00 (t) = [(a + 2b) + 2bt] et + a + (a + 2b) t + bt2 et
= 2a + 2b + (a + 4b) t + bt2 et
Reemplazando,
2a + 2b + (a + 4b) t + bt2 et 3 a + (a + 2b) t + bt2 et = tet + 2t
3c + 2 at + bt2 et + ct + d
Reordenando trminos:
2b a = 0
2b = 1
2c = 2
2d 3c = 0
El sistema es equivalente a:
a = 2b
a + 2b = 1
c = 1
3
d = c
2
Es decir,
1 3
b = a = 1 y c = 1 d =
2 2
Por lo tanto, la solucin particular es
1 3
yp (t) = tet t2 et + t +
2 2
Y por lo tanto, la solucin general de la ecuacin diferencial es:
1 3
y (t) = tet t2 et + t + + c1 et + c2 e2t .
2 2
114
Mediante aniquiladores. El operador de la ecuacin diferencial es (D 2) (D 1).
Para anular a tet requerimos el operador (D 1)2 y para anular a ct + d requerimos
aplicar D2 . De esta forma, una solucin de la ecuacin diferencial satisface:
(D 2) (D 1)3 D2 y = 0
Derivando,
y 0 (t) = 2c1 e2t + (c3 + 2c4 t) et + c2 + c3 t + c4 t2 et + c6
= 2c1 e2t + c2 + c3 + (c3 + 2c4 ) t + c4 t2 et + c6
y 00 (t) = 4c1 e2t + [c3 + 2c4 + 2c4 t] et + c2 + c3 + (c3 + 2c4 ) t + c4 t2 et
= 4c1 e2t + c2 + 2c3 + 2c4 + (c3 + 4c4 )t + c4 t2 et
Observe que e2t qued con potencia nula a ambos lados, razn por la cual el coeficien-
te c1 queda indeterminado. Ocurre exactamente lo mismo para c2 . Luego, igualando
coeficientes:
c3 + 2c4 = 0
2c4 = 1
2c5 3c6 = 0
2c6 = 2
115
P65 Dada la ecuacin diferencial
Solucin:
r3 + r2 + 4r + 4 = 0
De esta forma, las races son 1 y 2i. Es decir, la solucin general es:
(b) Debemos tener cuidado con el valor que tome , pues si = 1 estaremos coin-
cidiendo con una de las races de la solucin general. Por esta razn es que nos
ubicaremos en dos casos:
= 1. En dicho caso, proponemos como solucin:
yp (x) = axex
Es decir,
116
Se sigue que a = 1/3. Es decir, la solucin particular es en este caso:
1 1
yp (x) = xex y (x) = xex + c1 ex + c2 cos (2x) + c3 sen (2x) .
3 3
De esta forma,
3 3
a= yp (x) = 3 ex
3 + 2 + 4 + 4 2
+ + 4 + 4
Concluimos que:
3
y (x) = ex + c1 ex + c2 cos (2x) + c3 sen (2x)
3 + 2 + 4 + 4
Este es otro mtodo para obtener yp en una ecuacin no homognea en el caso en que no se
pueda hacer uso del mtodo de los coeficientes determinados, ya sea porque los coeficientes no son
constantes o porque el mtodo resulta poco prctico. En efecto, este mtodo se ampla a cualquier
ecuacin lineal homognea, y no solo para coeficientes constantes.
El mtodo. La idea central del mtodo consiste en reemplazar los coeficientes constantes de la
solucin homognea por funciones u1 (x), . . . , un (x). En particular, escogeremos n = 2 para ilustrar
la idea y el lector podr realizar a posteriori la extensin para n > 2.
117
Como son dos funciones, debemos imponer una segunda ecuacin para obtener el sistema de
ecuaciones. Por simplicidad en los clculos, derivando:
0 0 0 0 0
yp = u1 y1 + u2 y2 + u1 y1 + u2 y2
Obsrvese que generaremos un sistema de una ecuacin y dos incgnitas, por lo que tendremos
infinitas soluciones. Esto hace necesario imponer una segunda condicin, y por lo tanto haremos lo
0 0
siguiente: impondremos arbitrariamente la condicin u1 y1 + u2 y2 = 0 para que se anulen las segun-
das derivadas de u1 y u2 de la expresin de la segunda derivada. Esto simplificar sustancialmente
los clculos y har que el mtodo resulte realizable.
Reordenamos trminos:
00 0 00 0 0 0 0 0
u1 (y1 + p1 y1 + p0 ) +u2 (y2 + p1 y2 + p0 ) +u1 y1 + u2 y2 = f (x)
| {z } | {z }
0 0
Es decir,
0 0 1
y1 y2 u1 0 u1 y1 y2 0
0 0 0 = 0 = 0 0
y1 y2 u2 f (x) u2 y1 y2 f (x)
Debido a que los coeficientes de la matriz son funciones y no nmeros, puede resultar complicado
o bien tedioso utilizar el mtodo de eliminacin Gaussiana. Por ello, hacemos uso del clculo de la
inversa por medio de la matriz adjunta:
1 0
y1 y2 0 1 y2 y2 0
0 0 = 0
y1 y2 f (x) W(x) y1 y1 f (x)
118
Teorema: Si la ecuacin no homognea y 00 + P (x)y 0 + Q(x)y = f (x) tiene como solucin
homognea yh (x) = c1 y1 (x) + c2 y2 (x), entonces una solucin particular est dada por:
y2 (x)f (x) y1 (x)f (x)
yp (x) = y1 (x) dx + y2 (x) dx,
W(x) W(x)
o bien,
x x
y2 (t)f (t) y1 (t)f (t)
yp (x) = y1 (x) dt + y2 (x) dt.
x0 W(t) x0 W(t)
P66 Aplique el mtodo de variacin de parmetros en los siguientes problemas para encontrar
una solucin particular de la ecuacin diferencial dada:
Solucin:
Luego,
sen 3x 2 sec 3x 2 2
u1 (x) = dx = tan 3x dx = ln |cos 3x|
3 3 9
cos 3x 2 sec 3x 2
u2 (x) = dx = x
3 3
119
Es decir, la solucin particular es:
2 2
yp (x) = ln |cos 3x| cos 3x + x sen 3x
9 3
Y la solucin general es:
2 2
y (x) = ln |cos 3x| cos 3x + x sen 3x + c1 cos 3x + c2 sen 3x
9 3
De esta forma,
yp (x) = u1 (x) y1 (x) + u2 (x) y2 (x) ,
donde:
y2 (x) f (x) 1
u1 (x) = dx = sen (2x) sen2 x dx
W (x) 2
= sen3 x cos x dx
sen4 x
=
4
Asimismo,
y1 (x) f (x) 1
u2 (x) = dx = cos 2x sen2 x dx
W (x) 2
1
= cos2 x sen2 x sen2 x dx
2
1
= 1 2 sen2 x sen2 x dx
2
1
= sen2 x 2 sen4 x dx
2
1
= 1 cos 2x dx sen4 x dx
4
120
Para resolver la segunda integral usamos la frmula de reduccin
senm1 (x) cos (x) m 1
sen (x) dx =
m
+ senm2 (x) dx
m m
Es decir,
1
sen4 (x) dx = (12x 8 sen 2x + sen 4x)
32
Y por lo tanto,
1
u2 (x) =(4 sen 2x sen 4x 4x)
16
Es decir, la solucin particular es:
sen4 x 1
yp (x) = cos (2x) + (4 sen 2x sen 4x 4x) sen (2x) ,
4 16
Concluimos que la solucin general es:
sen4 x 1
y (x) = cos (2x) + (4 sen 2x sen 4x 4x) sen (2x) + c1 cos (2x) + c2 sen (2x)
4 16
P67 Dada la ecuacin y +y = f (t), demuestre que el mtodo de variacin de parmetros conduce
00
a la solucin particular t
yp (t) = f (u) sen (t u) du
0
Solucin:
Partimos resolviendo la ecuacin homognea para determinar las funciones base que
usaremos en el mtodo de variacin de parmetros. Es as como obtenemos la ecuacin
caracterstica
r2 + 1 = 0 r = i
Es decir, la solucin de la ecuacin homognea es:
121
Luego,
t t
y2 (u) f (u)
u1 (t) = du = f (u) sen (u) du
0 W (u) 0
t t
y1 (u) f (u)
u2 (t) = du = f (u) cos (u) du
0 W (u) 0
P68 Por sustitucin directa puede verificarse que yh = c1 x + c2 x es una solucin homognea de
1
x2 y 00 + xy 0 y = 72x5 .
Solucin:
Partimos escribiendo la ecuacin normalizada. Es importante realizar este paso dado co-
mo se dedujo el mtodo, pues en caso contrario las integrales pueden resultar imposibles
de calcular o bien los resultados obtenidos pueden ser errneos.
1 1
y 00 + y 0 2 y = 72x3
x x
Partimos calculando el Wronskiano:
1
x
x 2
W (x) = =
x
1 1
x2
122
Luego,
1 72x3
y2 (x) f (x) x
u1 (x) = dx = dx = 36 x3 dx
W (x) 2
x
= 9x4
Anlogamente,
y1 (x) f (x) x 72x3
u2 (x) = dx = dx = 36 x5 dx
W (x) 2
x
= 6x6
y (x) = 3x5 + c1 x + c2 x1
P69 Aplique el mtodo de variacin de parmetros para encontrar la solucin particular de la
ecuacin dadas sus soluciones homogneas:
(a) x2 y 00 4xy 0 + 6y = x3 ; yh = c1 x2 + c2 x3 .
(b) x2 y 00 + xy 0 + y = ln x; yh = c1 cos (ln x) + c2 sen (ln x).
Solucin:
123
De esta forma,
yp (x) = x3 + x3 ln (x)
Finalmente,
y (x) = x3 + x3 ln (x) + c1 x2 + c2 x3
sen (ln x) ln x
x 2 sen (ln x) ln x
u1 (x) = dx = dx
1 x
x
cos (ln x) ln x
x 2 cos (ln x) ln x
u2 (x) = dx = dx
1 x
x
Hacemos u = ln x e integracin por partes y obtenemos as:
De esta forma,
y (x) = ln x + c1 cos (ln x) + c2 sen (ln x)
124
Se har la explicacin del mtodo para el caso particular de segundo orden. Consideremos una
ecuacin lineal homognea de segundo orden con coeficientes no constantes dada por
00
a2 (x)y + a1 (x)y 0 + a0 (x)y(x) = 0
Si logramos determinar una solucin y1 (x) buscaremos u(x) tal que y2 (x) = u(x)y1 (x) sea solucin
del problema homogneo. Derivando:
0 0
y2 = u0 y1 + uy1
00 0 00
y2 = u00 y1 + 2u0 y1 + uy1
Reordenando trminos:
h 00 0
i h 0
i
u a2 (x)y1 + a1 (x)y1 + a0 y +u 2a2 (x)y1 + a1 (x)y1 + u00 a2 (x)y1 = 0
0
| {z }
0
125
Una forma de obtener y1 . Solo para ciertos casos se puede utilizar xr , cuyas derivadas son de
la forma
dk r r!
x = xrk
dx k (r k)!
En estas ecuaciones quedar un polinomio de r multiplicado con xr e igualado a cero. Obteniendo
las races de r se obtienen los posibles xr como soluciones de la ecuacin.
Luego, una combinacin de estados soluciones tambin ser solucin de la ecuacin homognea.
Podemos eliminar la parte imaginaria tal como en casos anteriores.
Solucin:
(a) Partimos verificando que y1 (t) es solucin de la ecuacin diferencial. Derivamos dos
veces:
126
Por evaluar, a1 (t) 2
= (t + 1)2
dt dt
e a2 (t)
=e t+1
Integrando,
1 a1 (t)
dt 1
e a2 (t)
dt = cot (2t)
y12 (t) 2
De esta forma,
1
y2 (t) = (t + 1) sen (2t)
cot (2t)
2
O en otras palabras, la otra solucin linealmente independiente es
donde:
y2 (t) f (t)
u1 (t) = dt
W (t)
y1 (t) f (t)
u2 (t) = dt
W (t)
Calculamos el wronskiano:
(t + 1) sen 2t (t + 1) cos 2t
W (t) =
sen 2t + 2 (t + 1) cos 2t cos 2t 2 (t + 1) sen 2t
2 2
= (t + 1) sen 2t cos 2t 2 (t + 1) sen2 2t (t + 1) sen 2t cos 2t 2 (t + 1) cos2 2t
2
= 2 (t + 1)
Reemplazando en u1 (t):
(t + 1) cos 2t 2 (t + 1)
u1 (t) = dt = cos 2t dt
2 (t + 1)2
1
= sen 2t
2
Asimismo,
(t + 1) sen 2t 2 (t + 1) 1
u2 (t) = dt = sen 2t dt = cos 2t
2 (t + 1)2 2
127
Es decir,
1 1 (t + 1)
(t + 1) sen2 2t + (t + 1) cos2 2t =
yp (t) =
2 2 2
Luego, la solucin general de la ecuacin diferencial es:
(t + 1)
y (t) = + a (t + 1) sen 2t + b (t + 1) cos 2t
2
Reemplazando en y (0) = 1:
1 1
y (0) = + b = 0 b =
2 2
Asimismo, derivando:
1
y 0 (t) = + a sen 2t + 2a (t + 1) cos 2t + b cos 2t 2b (t + 1) sen 2t
2
Reemplazando en cero,
1
y 0 (0) = + 2a + b = 1
2
1
As, obtenemos que a = . Finalmente, la solucin al P.V.I. es:
2
(t + 1)
y (t) = [sen 2t cos 2t 1]
2
P71 Mediante el mtodo de reduccin de orden, encuentre las soluciones de las siguientes ecua-
ciones:
(a) x2 y 00 3xy 0 + 4y = 0.
(b) x2 y 00 x (x + 2) y 0 + (x + 2) y = 0.
Solucin:
(a) Proponemos una solucin de la forma y1 (x) = xr con r por determinar, ya que no
se nos entrega ninguna solucin l.i. De esta forma,
Reemplazando,
r (r 1) xr 3rxr + 4xr = 0 [r (r 1) 3r + 4] xr = 0
r (r 1) 3r + 4 = 0 r2 4r + 4 = 0 (r 2)2 = 0
128
Es decir, r = 2 y por lo tanto y = x2 es una solucin l.i. de la ecuacin. Ahora
buscamos mediante reduccin de orden una segunda solucin l.i. a esta. Tenemos
que: a (x)
1 a1 (x) dx
y2 (x) = y1 (x) e 2 dx
y12 (x)
En primer lugar, a1 (x) 3x
dx
e a2 (x)
=e x2
dx
= x3
Es decir,
1
a1 (x)
dx 1 3
e a2 (x)
dx = x dx = ln x
y12 (x) x4
Por lo tanto, la solucin general de la ecuacin diferencial queda expresada como:
y (x) = c1 x2 + c2 ln x
r (r 1) (r 1) (x + 2) = 0 (r 1) (r x 2) = 0
y (x) = c1 x + c2 xex
P72 (a) Resuelva
2
xy 00 y 0 = ln (x)
x
(b) Determine la solucin del problema
xy 00 + (x 1) y 0 y = x2 ; y (1) = 0, y 0 (1) = 1
129
Solucin:
(a) Si bien es posible hacer u = y 0 y luego resolver una ecuacin lineal, prescindire-
mos de ello para resolver esta pregunta mediante reduccin de orden. Partimos
resolviendo la ecuacin homognea. Para ello, debemos resolver:
xy 00 y 0 = 0
r (r 1) xr1 rxr1 = 0
De esta forma, hemos encontrado las dos soluciones l.i. Para obtener ahora la ecua-
cin particular usamos el mtodo de variacin de parmetros. Primero escribimos
la ecuacin normalizada:
1 2 1
y 00 y 0 = 2 ln (x)
x x x
Proponemos:
yp (x) = u1 (x) y1 (x) + u2 (x) y2 (x)
Entonces,
2 1
x 2
2
+ ln (x)
y2 (x) f (x) x x
u1 (x) = dx =
W (x) 2x
[2 + x ln (x)]
= dx
2x
1 ln (x)
= + dx
x 2
130
Resolviendo esta integral, en el segundo trmino hacemos u = ln (x) y dv =
1/2x2 dx. De esta forma,
x + x ln (x) + 1
u2 (x) =
2x2
Es decir,
1 1
yp (x) = ln (x) + x (ln x 1) + (x + x ln x + 1)
2 2
1
= ln (x) + [x ln x x + x + x ln x + 1]
2
1
= ln (x) + x ln x +
2
Finalmente, la solucin general de la ecuacin diferencial es:
1
y (x) = ln (x) + x ln (x) + + c1 + c2 x 2
2
(b) Aplicamos el mtodo de reduccin de orden para obtener la segunda solucin l.i.
con la primera. Calculamos en primer lugar el trmino exponencial:
a1 (x)
x1
dx 1 x1 dx
e a2 (x)
= e x
dx
= e = xex
Entonces,
1
a1 (x)
dx 1
u(x) = e a2 (x)
dx = xex dx
y12 (x) e2x
= xex dx
u (x) = (x 1) ex
De esta forma,
y2 (x) = u (x) y1 (x) = x 1
Para resolver la solucin particular requerimos escribir la ecuacin diferencial en su
forma normalizada:
(x 1) 0 1
y 00 + y y=x ; y (1) = 0, y 0 (1) = 1
x x
Luego, proponemos como solucin:
131
donde:
y2 (x) f (x) (x 1)
u1 (x) = dx = x dx
W (x) xex
= (x 1) ex dx
u1 (x) = (2 x) ex
Asimismo,
y1 (x) f (x) ex x
u2 (x) = dx = dx = x
W (x) xex
El wronskiano fue calculado como sigue:
x
e x 1
W (x) = x = ex + ex (x 1) = xex
e 1
Es decir,
yp (x) = (2 x) + x (x 1)
= 2 x + x2 x
= x2 2x + 2
Luego,
y (x) = x2 2x + 2 + c1 ex + c2 (x 1)
Haciendo y (1) = 0:
y (1) = 1 + c1 e1 = 0 c1 = e
Asimismo,
y 0 (x) = 2x 2 c1 ex + c2
y 0 (1) = c1 e1 + c2
Es decir,
y 0 (1) = 1 + c2 = 1 c2 = 0
Concluimos as que la solucin del P.V.I.
y (x) = x2 2x + 2 e(x1) .
P73 Resuelva (1 t ) x 2tx + 2x = 0 sabiendo que x = t es una solucin.
2 00 0
132
Solucin:
Aplicamos el mtodo de reduccin de orden, sabiendo que:
1 aa1 (t) dt 1 2t
dt
x2 (t) = t e 2 (t) dt = e 1t2 dt
x21 (t) t2
1 ln(1t2 )
= t e dt
t2
1 a b c a (1 t2 ) + bt2 (1 t) + ct2 (1 + t)
= 2+ + =
t2 (1 t2 ) t 1+t 1t t2 (1 t2 )
Es decir,
1 = a 1 t2 + bt2 (1 t) + ct2 (1 + t)
Haciendo t = 1 tenemos que:
1
1 = 2c c =
2
Haciendo t = 0 tenemos que:
1=a
Haciendo t = 1 tenemos que:
1
1 = 2b b =
2
Es decir,
1 1 1 1
x2 (t) = t 2 2
dt = t 2
+ + dt
t (1 t ) t 2 (1 + t) 2 (1 t)
1 1 1
= t + log |1 + t| log |1 t|
t 2 2
t 1 + t
= 1 + log
2 1 t
133
P74 Encuentre la solucin general de la ecuacin
Solucin:
Aplicamos el mtodo de reduccin de orden. Se tendr que:
x
1 1
y2 (x) = y1 (x) 2
e x 2 dx
= x cos [ln (x)] 2 2
x dx
y1 (x) x cos [ln (x)]
1
= x cos [ln (x)] 2 2
x dx
x cos [ln (x)]
sec2 [ln (x)]
= x cos [ln (x)] dx
x
= x
134
De esta forma,
y2 (x) f (x) cos [ln (x)]
u1 (x) = = dx
W (x) x
= sen [ln (x)]
Finalmente,
Consideramos una masa m sometida a la fuerza elstica de un resorte cuya posicin de equilibrio
es x = 0 y su constante k, a una fuerza de amortiguacin con constante c y a una fuerza externa
F (t). La ecuacin diferencial derivada de este modelo es
d2 x dx
m = kx b + F (t) mx00 + cx0 + kx = F (t)
dt2 dt
con k, c 0 y m > 0.
Esta es una ecuacin diferencial lineal de segundo orden con coeficientes constantes. En este apar-
tado haremos estudio de los diversos casos que se pueden dar a partir de esta ecuacin diferencial.
El caso homogneo. Corresponde al caso en que no estn actuando fuerzas externas. Es decir,
F (t) 0. En cualquier caso, conocer la solucin del sistema homogneo siempre ser objeto de
nuestro inters.
135
ya que m 6= 0. Consideremos diversos casos:
r2 + w2 = 0
(r + i) (r i) = 0
c
p 2 = sen
c21 + c22
!2 !2
c1 c2
ya que p + p = 1. Luego,
c21 + c22 c21 + c22
q q
x(t) = c21 + c22 (cos cos t + sen sen t) = c21 + c22 cos (t )
De esta forma, obtenemos una funcin mucho ms fcil de analizar desde el punto de vista
de su amplitud y fase.
Consideremos ahora los casos c 6= 0. Es decir, en los que s hay amortiguacin. La ecuacin
caracteristica queda de la forma:
c
r2 + r + 2 = 0
m
Las soluciones de la ecuacin cuadrtica estn dadas por
r
c c2
2
4 2 c c2 4 2 m2
r= m m =
2 2m
De aqu podemos distinguir tres casos:
136
Por lo tanto, la solucin general est dada por:
2 2 2 2
c/2mt 4 m c2 4 m c2
x(t) = e c1 cos t + c2 sen t
2m 2m
x(t) = e /2mt A cos (t )
c
4 2 m2 c2
con = .
2m
Observamos que ahora la solucin est acompaada de una funcin decreciente, ec/2mt .
Estamos ante el producto de una funcin decreciente y convergente a cero cuando t
por una acotada. Luego,
lm x(t) = 0
t
como podra esperarse de un sistema amortiguado.
El caso c2 4 2 m2 > 0, conocido como el caso sobreamortiguado. Tenemos como
races:
c c2 4 2 m2
r=
2m 2m
Las llamaremos 1 y 2 , con 1 < 2 . La solucin general estar dada por:
x(t) = c1 e1 t + c2 e2 t
= e1 t c1 + c2 e(2 1 )t
El comportamiento (reflejado en la grfica) depender de los valores de 1 y 2 . Sin
embargo, notar que no habr oscilacin, comparado con el caso anterior.
El caso c2 4 2 m2 = 0, conocido como caso crticamente amortiguado. La solucin
general quedara dada por:
x(t) = e /2mt (c1 + c2 t) .
c
137
Es decir, ocurre el fenmeno de resonancia.
Este extenso resumen puede resultar complejo de memorizar, razn por la cual se aconseja analizar
los fundamentos de cada uno de los casos y luego analizar problemas particulares, tal como se
realizar a continuacin.
P75 Determine la ecuacin de movimiento para un sistema no amortiguado descrito por
d2 x
+ 9x = 2 cos (3t) ; x (0) = 1 ; x0 (0) = 0
dt2
Describa (en palabras) el comportamiento del sistema cuando t .
Solucin:
Partimos resolviendo la ecuacin homognea, cuyo polinomio caracterstico es:
r2 + 9 = 0 r = 3i
Es decir,
xh (t) = c1 cos (3t) + c2 sen (3t)
Ahora podemos resolver la solucin particular tanto por coeficientes indeterminados o
aniquiladores como por variacin de parmetros. Por comodidad utilizaremos el segundo
mtodo, notando que cos (3t) queda aniquilada por D2 + 9. De esta forma, para una
solucin y de la ecuacin diferencial:
2
D2 + 9 x = 2 cos (3t) D2 + 9 x = 0
138
Como x (0) = 1, entonces c1 = 1. Derivando,
1
x0 (t) = sen (3t) + t cos (3t) 3c1 sen (3t) + 3c2 cos (3t)
3
Como x0 (0) = 0, entonces 3c2 = 0 c2 = 0. Finalmente,
1
x (t) = t sen (3t) + cos (3t)
3
Dado que sen (3t) y cos (3t) son funciones acotadas y t una funcin montona creciente,
se observa que:
lm x (t) =
t
P76 Una masa de 1 kg. est sujeta a un resorte cuya constante es 9 N/m. El medio ofrece una
resistencia al movimiento numricamente igual a 6 veces la velocidad instantnea. La masa se
suelta desde un punto que est 2 m sobre la posicin de equilibrio con una velocidad dirigida
hacia abajo de v0 m/seg. Determinar los valores de v0 de modo que posteriormente la masa
pase por la posicin de equilibrio.
(Las unidades estn todas expresadas en el Sistema Internacional de Unidades)
139
Solucin:
Partimos haciendo un diagrama de la situacin:
Fijamos el eje x en el mismo sentido de la velocidad inicial (hacia abajo) por comodidad
y bajo el mismo argumento lo ubicamos en el punto de equilibrio del resorte. Luego,
x (0) = 2 y x0 (0) = v0 .
Dado que no se indica, no consideraremos la gravedad. De esta forma, la ecuacin
de movimiento queda escrita como:
donde escribimos el trmino con x0 (t) restando pues se opone al signo de la velocidad,
y el trmino de x con signo negativo pues cuando la posicin es positiva (bajo el punto
de equilibrio), la fuerza mueve el resorte hacia arriba, es decir, en el sentido negativo.
Reemplazando con los parmetros obtenemos la ecuacin:
x00 + 6x0 + 9 = 0.
r2 + 6r + 9 = 0 (r + 3)2 = 0
x (0) = a = 2
Derivando,
140
De esta forma, la solucin general queda expresada por:
Para que la masa pase nuevamente por la posicin de equilibrio tenemos que imponer
que para algn t > 0 se cumpla que x (t) = 0. Es decir, este t viene dado por:
2
(v0 6) t 2 = 0 t =
v0 6
Como t > 0, imponemos que v0 > 6 , y concluimos as que esta es la condicin buscada.
P77 Un peso de 5 kg produce un estiramiento de 0.4 m en un resorte. Asuma tambin que hay
una fuerza externa que en un tiempo t ejerce 5 sen (t) N de manera uniforme (asuma 6= 5).
Ahora consideremos el objeto en la posicin de equilibrio y velocidad inicial de 10 m/s hacia
abajo. Encuentre la funcin que modela el movimiento del sistema para = 6. Indique el
perodo del movimiento en caso de que = 10 y = 6. (Use g = 10)
Solucin:
A partir de la primera oracin tenemos que 50 N producen un estiramiento de 0,4 m,
i.e.
50 = 0,4k k = 125
Modelando el problema de la misma forma que en la pregunta anterior tendremos la
ecuacin de movimiento:
donde x (0) = 0 y x0 (0) = 10, con todas las unidades en S.I. Ahora resolvemos la
ecuacin diferencial, partiendo por la ecuacin caracterstica:
r2 + 25 = 0 r = 5i
Es decir,
xh (t) = c1 cos (5t) + c2 sen (5t)
Proponemos como solucin particular (considerando que 6= 5):
141
Derivando dos veces:
Reemplazando,
25b 2 b cos (t) + 25c 2 c sen (t) + 25a = 10 + sen (t)
Se sigue que:
2
25a = 10 a =
5
2
25 b = 0 b = 0
1
25 2 c = 1 c =
25 2
Es decir,
2 1
+
xp (t) = sen (t)
5 25 2
La solucin general viene dada entonces por:
2 1
x (t) = + sen (t) + c1 cos (5t) + c2 sen (5t)
5 25 2
Reemplazando en t = 0:
2 2
x (0) = + c1 = 0 c1 =
5 5
Derivando:
x0 (t) = cos (t) 5c1 sen (5t) + 5c2 cos (5t)
25 2
Reemplazando:
x0 (0) = + 5c 2 = 10 c 2 = 2
25 2 5 (25 2 )
P78 [Propuesto] La amplitud de las oscilaciones peridicas forzadas estacionarias para el sistema
142
mx00 + cx0 + kx = F0 cos t est dada por
F0
C () = q
(k m 2 )2 + (c)2
(a) Si c ccr / 2 donde ccr = 4km, demuestre que C disminuye establemente conforme
se incrementa.
(b) Si c < ccr / 2, muestre que C alcanza un valor mximo (resonancia prctica) cuando
r r
k c2 k
= m = 2
< 0 =
m 2m m
Una forma til y vlida de resolver ciertas ecuaciones diferenciales lineales de orden superior
consiste en proponer una solucin como serie de potencias:
X
y (x) = ak (x x0 )k ,
k=0
La expresin para ak puede ser obtenida reemplazando con la expresin en la ecuacin diferencial
(derivando las veces que sea necesario). Posteriormente, se agrupan trminos para cada potencia
de xk e igualando potencias a ambos lados de la ecuacin se obtienen los valores de los coeficientes
asociados a xk , los cuales establecen relaciones sobre la recursin buscada para ak .
Debe tenerse en consideracin que este mtodo, a partir de las condiciones iniciales, genera inme-
diatamente la solucin nica analtica del problema, si esta existe. Asimismo, si se dispone de las n
condiciones iniciales requeridas, pueden agruparse las expresiones de ak en las diversas condiciones
iniciales, obteniendo as las n soluciones linealmente independientes que la teora indica que existen
para las ecuaciones lineales, sean o no de coeficientes constantes.
Dado que los problemas son altamente dependientes de la estructura de la ecuacin diferencial,
revisaremos inmediatamente problemas de ejemplo:
X
P79 y = an xn , resuelva:
n=0
(a) y 0 + y = 0.
(b) (1 x2 ) y 00 + 2y = 0.
(c) y 00 + xy 0 + y = 0.
143
Solucin:
de modo que:
X
X
nan xn1 + an xn = 0.
n=1 n=0
De esta forma, obtenemos una serie de potencias de x para distintos valores. Agru-
pando en cada una de las potencias:
r = 0 a1 + a0 = 0 a1 = a0 .
2
r = 1 2a2 + a1 = 0 a2 = a0 .
2
3
r = 2 3a3 + a2 = 0 a3 = a0 .
3!
..
.
r = k (k + 1) ak+1 + ak = 0.
Es decir,
ak k
ak+1 = = (1)k a0 .
k+1 k!
Reemplazando en la expresin de la serie de potencias:
X (1)k
y = a0 (x)k .
k=0
k!
y (x) = a0 ex ,
P80 Resuelva con serie de potencias centrada en x0 = 0 el P.V.I.
xy 00 + y 0 + xy = 0
144
con condiciones iniciales y (0) = 1, y 0 (0) = 0.
Solucin:
Proponemos como solucin:
X
y (x) = ak x k .
k=0
Derivando,
X
0
y (x) = ak kxk1 .
k=1
X
y 00 (x) = ak k (k 1) xk2 .
k=2
De esta forma,
X
X
X
k1 k1
ak k (k 1) x + ak kx + ak xk+1 = 0.
k=2 k=1 k=0
Para mantener el mximo orden posible, calculamos los trminos para cada potencia de
xr :
r =0 a1 = 0
r =1 2 1a2 + 2a2 + a0 = 0.
r =2 3 2a3 + 3a3 + a1 = 0.
r =3 4 3a4 + 4a4 + a2 = 0.
r =4 5 4a5 + 5a5 + a3 = 0.
r =5 6 5a6 + 6a6 + a4 = 0.
..
.
145
Notando que y (0) = a0 = 1 e y 0 (0) = a1 = 0, reemplazamos y resolvemos:
r = 0 a1 = 0
1
r = 1 2 1a2 + 2a2 + a0 = 0 a2 = .
21+2
r = 2 3 2a3 + 3a3 + a1 = 0 a3 = 0.
1
r = 3 4 3a4 + 4a4 + a2 = 0 a4 = .
(4 3 + 4) (2 1 + 2)
r = 4 5 4a5 + 5a5 + a3 = 0 a5 = 0.
1
r = 5 6 5a6 + 6a6 + a4 = 0 a6 = .
(6 5 + 6) (4 3 + 4) (2 1 + 2)
..
.
a2k+1 = 0.
(1)k
a2k = ,
[2k (2k 1) + 2k] [(2k 2) (2k 3) + (2k 2)] (2 1 + 2)
(1)k
= ,
(2k)2 (2k 2)2 (2k 4) (2 1 + 2)
(1)k
= .
(22 )k (k!)2
P81 Demuestre que para cualquier valor de en la ecuacin diferencial
10y 00 xy 0 + 5y = 0
Solucin:
Proponemos solucin de la forma:
X
y (x) = ak x k ,
k=0
146
una serie centrada en el origen, ya que resulta la ms sencilla de trabajar. De esta forma,
X
y 0 (x) = kak xk1 ,
k=1
X
y 00 (x) = k (k 1) ak xk2 .
k=2
Reemplazando,
X
X
X
k2 k
10k (k 1) ak x kak x + 5ak xk = 0.
k=2 k=1 k=0
k =0 10 2 1a2 + 5a0 = 0
k =1 10 3 2a3 a1 + 5a1 = 0.
k =2 10 4 3a4 2a2 + 5a2 = 0.
k =3 10 5 4a5 3a3 + 5a3 = 0.
..
.
k = j 10 (j + 2) (j + 1) aj+2 ja3 + 5a3 = 0.
147
obtenemos:
5
a2 = a.
10 (2 1)
(5 1)
a3 = b.
10 (3 2)
(5 2) (5 2) (5 0) 2
a4 = a2 = a.
10 (4 3) 102 (4 3 2 1)
(5 3) (5 3) (5 1) 2
a5 = a3 = 2 b.
10 (5 4) 10 (5 4 3 2 1)
(5 4) (5 4) (5 2) (5 0) 3
a6 = a4 = a.
10 (6 5) 103 (6 5 4 3 2 1)
(5 5)
a7 = a5 = 0.
10 (7 6)
(5 6) (5 6) (5 4) (5 2) (5 0) 4
a8 = a6 = a.
10 (8 7) 104 (8 7 6 5 4 3 2 1)
(5 7)
a9 = a7 = 0.
10 (9 8)
(5 8) (5 8) (5 6) (5 4) (5 2) (5 0) 5
a10 = a8 = a.
10 (10 9) 105 (10 9 8 7 6 5 4 3 2 1)
Desde aqu en adelante el patrn se hace evidente. Para los trminos dependientes de
b, en algn momento todos los trminos sucesivos se anulan. Factorizando todos los
trminos resultantes de b, obtenemos y1 :
(5 1) 3 (5 3) (5 1) 2 5 4 2 5
y1 (x) = x x + 2 x = x x3 + x .
10 (3 2) 10 (5 4 3 2 1) 15 1500
En otras palabras,
X k
k 5 (5 2) (5 4) [5 (2k 2)] 2k
y2 (x) = (1) x .
k=0
10 k!
Cmo no finalizar esta seccin con el problema corolario directo de lo anteriormente desarrollado:
148
la ecuacin diferencial de Bessel, cuyo campo de aplicacin es extremadamente amplio, pasando
desde problemas con ecuaciones diferenciales parciales con simetra de borde cilndrica hasta la
descripcin de la rbita lunar y problemas de anlisis espectral de telecomunicaciones.
P82 (?) Considere la ecuacin diferencial de Bessel de orden n, dada por:
x2 y 00 + xy 0 + x2 n2 y = 0.
Mediante una expansin en series de potencias (no derivando!), demuestre que una solucin
de esta ecuacin diferencial es la funcin de Bessel de primera especie y orden n dada por:
(1)n x 2n+p
X
J (x) = .
n=0
n! (n + p)! 2
Solucin:
Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tendremos
dos soluciones linealmente independientes. Construiremos la solucin inicial utilizando
series de potencias y aplicando el Teorema de Frobenius, dejando la segunda solucin
linealmente independientes propuesta al lector. La solucin debe escribirse como:
X
R (x) = x n
bk x k . (20)
k=0
Por lo tanto,
X
X
X
x2 R00 (x) = n (n 1) xn bk xk + 2nxn kbk xk + xn k (k 1) xk . (22)
k=0 k=0 k=0
149
Entonces, bk debe ser tal que:
Observe que la evaluacin puede hacerse incluso para n negativos. Se tiene que:
X (1)k x 2kn X
(1)n+k x 2k+n
Jn (x) = =
k=0
(k + 1) (n + k + 1) 2 k=0
(n + k + 1) (k + 1) 2
(30)
Es decir,
Jn (x) = (1)n Jn (x) . (31)
a
() = t1 et dt, converge ssi. Re () > 1 y adems (n + 1) = n! si n N.
0
150
2.8. Transformada de Laplace
A diferencia de una funcin real, que recibe un escalar y devuelve otro escalar, la transformada
de Laplace recibe una funcin f (t) o una modificacin de esta y devuelve otra funcin F (s). Al
hacer esta transformacin, no solo se devuelve otra funcin, si no que la representacin simblica
del parmetro tambin adquiere otro significado. La letra t para f puede representar, por ejemplo,
el tiempo. En cambio, en muchas aplicaciones la letra s es identificada como una frecuencia. Por
esta razn se dice que al aplicar este tipo de transformadas se realiza un cambio de dominio, en el
cual se representa la misma informacin de la funcin f , en otro espacio, en una forma similar a
como se aplican las transformaciones lineales en espacios vectoriales.
f (t) = 0 si t < 0.
El conjunto de valores de s para los cuales la integral impropia converge se conoce como regin
de convergencia.
Importante: Para las siguientes funciones estamos asumiendo implcitamente que f (t) = 0
para t < 0, lo cual en cualquier caso se vuelve irrelevante debido al dominio de integracin de
151
la funcin.
Para que esta integral converja, es necesario que a s < 0 s a > 0. Luego, evaluando:
(as)k
e 1 1
F (s) = lm = ; s>a
k as as sa
152
Seno hiperblico: Si f (t) = senh(kt), entonces
1
L{f (t)} = e e dt
st kt
e e dt
st kt
2 0 0
1 1 1
=
2 sk s+k
1 2k k
= 2 2
= 2
2s k s k2
Proposicin:
(1) = 1.
(x + 1) = x(x).
Si n N, entonces (n + 1) = n!.
Demostracin:
(1)
(1) = et dt = L{1}s=1 = 1
0
153
(2)
(x + 1) = et tx dt
0
(
u = tx du = xtx1
Haciendo , entonces:
dv = et v = et
t x
(x + 1) = e t + x et tx1 dt
0
= lm kek + x(x)
k
= x(x)
(n + 1) = n(n)
= n(n 1)(n 1)
= n(n 1)(n 2)(n 2)
..
.
= n(n 1)(n 2) 1(1)
= n!
Con esto en mente, consideremos la funcin f (t) = tr donde r es real y r > 1. Entonces,
r
L{t } = tr est dt
0
Para que esto sea equivalente a la funcin Gamma, tenemos que deshacernos del trmino s que
acompaa a t en el trmino exponencial. Para ello, hacemos u = st du = s dt.
r
u u (r + 1)
r
L{t } = r+1
e dt =
0 s sr+1
Observacin: Muchos de los valores de no pueden obtenerse de forma anlitica. Sin embargo,
cabe notar que:
1
et t /2 dt
1
=
2 0
154
1 1
Haciendo u = t1/2 u2 = t y du = t /2 , entonces
2
1 2
= 2 eu du
2
0
= 2
2
=
Linealidad:
L
af (t) + bg (t) aF (s) + bG(s)
Desplazamiento en el tiempo:
L
f (t a) u (t a) eas F (s),
1, si t a,
donde u (t a) = es una funcin que ser estudiada ms adelante.
0, en otro caso,
Desplazamiento en s:
L
eat f (t) F (s + a)
Clculo de transformadas inversas. Dada una transformada de Laplace F (s), ser de nuestro
inters para aplicaciones en resolucin de ecuaciones diferenciales el clculo de la funcin f (t) que
define dicha transformada. Los conocimientos matemticos actualmente adquiridos impiden definir
matemticamante la transformada de Laplace inversa, razn por la cual bajo el supuesto de que
esta transformacin es inyectiva, determinaremos las transformadas inversas a partir de tablas.
P83 Calcule las transformadas inversas de las siguientes funciones en el dominio de Laplace:
1 2 4s e2s 1
(a) G (s) = + + + . (c) G (s) = .
s3 s2 7 s2 + 2 s s3 (s2
+ 1)
e2s 1
(b) G (s) = 2 . (d) G (s) = .
s + 2s 1 (s 1) (s2 + 4)
155
Solucin:
(a) Dado que la transformada de Laplace es una aplicacin lineal, notamos que:
2s
1 1 1 1 2 1 4s 1 e
L {G (s)} = L 3
+L 2
+L 2
+L
s s 7 s +2 s
Calculamos cada una de las transformadas inversas por separado y luego sumamos.
En primer lugar, sabemos que:
n!
tn
sn+1
Entonces, haciendo n = 2 obtenemos que:
2
t2
s3
Dividiendo por 2 a ambos lados:
t2 1
3
2 s
Ahora bien, notamos que:
2 1 1 1 1
=
s2 7 7s 7 7s+ 7
Asimismo, notamos que:
1
7t
e
s 7
1
e 7t
s+ 7
Es decir, por linealidad:
1 1 1 1 1 1
e 7t e 7t
7 7 7s 7 7s+ 7
Por tabla sabemos que s
cos 2 t
s2 +2
Multiplicando por 4 a ambos lados:
4s
4 cos 2 t
s2 +2
156
Sabemos que:
1
u (t)
s
Luego, aplicando propiedad de desplazamiento en el tiempo:
e2s
u (t 2)
s
De esta forma,
t2 1 1 e2s
L1 {G (s)} = + e 7t e 7t + 4 cos 2t + .
2 7 7 s
(b) Notamos que la multiplicacin por e2s solo representa un retardo de dos unidades
en el tiempo de la transformada inversa de
1
s2 + 2s 1
De esta forma, la primera necesidad es determinar la transformada inversa de esta
funcin. Observamos que:
2 8
s2 + 2s 1 = 0 s = = 1 2
2
Aplicando separacin mediante fracciones parciales:
1 a b
= +
s2 + 2s 1 s+1+ 2 s+1 2
Es decir,
a s+1 2 +b s+1+ 2 =1
Haciendo s = 1 + 2 obtenemos que:
1
2 2 b = 1 b =
2 2
Haciendo s = 1 2 obtenemos que:
1
2 2 a = 1 a =
2 2
Luego,
1 1 1 1
2
=
s + 2s 1 2 2 s+1 2 s+1+ 2
157
Tomando transformada inversa:
1 1 1 (1+2)t 1 (12)t
L = e e
s2 + 2s 1 2 2 2 2
Aplicando el atraso en 2 unidades concluimos finalmente que:
1 1 1 (1+2)(t2) 1 (12)(t2)
L = e u (t 2) e u (t 2)
s2 + 2s 1 2 2 2 2
1 a b c ds + e
= + + +
s3 (s2 + 1) s3 s2 s s2 + 1
Luego,
Es decir,
c+d = 0
b+e = 0
a+c = 0
b = 0
a = 1
Luego,
1 1 1 1 1 1 1 s
L = L L +L
s3 (s2 + 1) s3 s s2 + 1
t2
= + u (t) + cos (t)
2
1 a bs + c a (s2 + 4) + (s 1) (bs + c)
= + =
(s 1) (s2 + 4) s 1 s2 + 4 (s 1) (s2 + 4)
158
Es decir,
a s2 + 4 + (s 1) (bs + c) = 1
as2 + 4a + bs2 + cs bs c = 1
(a + b) s2 + (c b) s + 4a c = 1
Luego,
a+b = 0
cb = 0
4a c = 1
Luego,
1 1 1 1 1 s 1 1
L = L1 L1 + L1 .
(s 1) (s2 + 4) 5 s1 5 2
s +4 5 2
s +4
De esta forma,
1 1 1 1 1
L = et cos (2t) + sen (2t)
(s 1) (s2 + 4) 5 5 20
2.8.2. Propiedades
t
1
P84 (a) Demuestre que L f (u) du (s) = L {f (t)} (s).
0 s
(b) Demuestre que si f (t) tiene transformada de Laplace F (s), entonces:
dF
L {tf (t)} (s) = (s)
ds
1
(c) Calcular L 1
.
(s2 + 1)2
159
Solucin:
Ahora bien,
f (u) e st
dtdu = f (u) st
e dt du
0 u 0 u
160
Calculamos la primitiva de la integral de adentro:
st
e esu
f (u) du = f (u) du
0 s 0 s
u
1
= f (u) esu du
s 0
Entonces,
t
F (s)
L f (u) du = .
0 s
d 1 2s
t sen (t) =
ds s2 + 1 (s2 + 1)2
161
Ahora bien, para compensar la s que apareci en el numerador de la expresin,
podemos dividir la expresin completa por s, lo que corresponde de acuerdo a (a),
a integrar en el tiempo:
t
1 2s 2
u sen (u) du = .
0
2
ss +1 (s2 + 1)2
Concluimos as que:
1 1 1
L = (sen t t cos t)
(s2 + 1)2 2
P85 Encuentre la siguiente transformada de Laplace inversa:
2
1 s + 2s 3
L
(s2 + 2s + 5)2
Solucin:
Notamos que debido a que el grado del numerador es igual al grado del polinomio cuadr-
tico repetido en el denominador, no se puede aplicar fracciones parciales directamente,
si no que se debe realizar la separacin respectiva. En consecuencia:
s2 + 2s 3 s2 + 2s + 5 8 1 8
2 = 2 = 2
(s2 + 2s + 5) (s2 + 2s + 5) s + 2s + 5 (s2 + 2s + 5)2
s2 + 2s 3 1 8
2 = 2 2 2
(s2 + 2s + 5) (s + 1) + 4 (s + 1) + 4
| {z } | {z }
(1) (2)
162
Para (1), partimos del caso ms sencillo notando que:
2
sen 2t
s2 + 4
2
et sen 2t
(s + 1)2 + 4
et 1
sen 2t
2 (s + 1)2 + 4
1 8
t cos (2t) sen (2t)
2 (s + 4)2
2
Desplazndonos en el dominio s:
t 1 8
e t cos (2t) sen (2t)
2 (s2 + 4)2
P86 Sea f (t) una funcin con la propiedad f (t + ) = f (t) para todo t R y donde > 0 es
una constante. Demuestre que:
1
L {f (t)} = f (t) est dt
1 + es 0
X (n+1)
Indicacin: Escriba = .
0 n=0 n
163
Solucin:
Por definicin tendremos que:
L {f (t)} = f (t) est dt
0
Aplicando la indicacin:
X (n+1)
L {f (t)} = f (t) est dt.
n=0 n
164
2.8.3. Convolucin
La convolucin es una operacin matemtica que adquiere especial relevancia para analizar cierto
tipo de ecuaciones diferenciales y en general los sistemas dinmicos. Asimismo, para la resolucin
de cierto tipo de problemas presta gran utilidad.
Sin lugar a dudas las propiedad ms importante de esta operacin para nuestros propsitos radica
en el comportamiento de la convolucin de dos funciones en el dominio de Laplce:
Teorema: Sean f (t) y g(t) continuas a tramos para t 0 y que son de orden exponencial. Entonces
la transformada de Laplace de la convolucin f g existe para s > c. Adems,
Demostracin:
Por definicin,
L{g(t)} = esu g (u) du u = t du = dt
0
= es(t ) g (t ) dt
= e s
est g (t ) dt
0
= e s
e g (t ) dt +
st
e st
g (t ) dt
0
Como la transformada de Laplace se evala para t 0 podemos asignar valor cero a f (t) y g(t)
cuando t < 0 (i.e. redefinir las funciones como funciones a tramos con los valores originales en
t 0 y y cero en t < 0). Con esto, podemos considerar que:
L{f (t)} L{g(t)} = L{g(t)} es f ( ) d
| {z } 0
G(s)
= es f ( )G (s) d
0
= f ( ) est g (t ) dtd
0 0
= est f ( ) g (t ) dtd
0 0
165
Como estamos integrando en una regin rectangular (primer cuadrante de R2 ) y la funcin h(t, ) =
est f ( )g(t ) es continua, se verifica el teorema de Fubini y luego se puede intertir el orden de
integracin:
L{f (t)} L{g(t)} = est
f ( ) g (t ) d dt
0
0
= est (f g) (t) dt
0
= L{f (t) g(t)}
Demostracin:
Notamos que:
t
(f g) (t) = f ( ) g (t ) d u = t du = d
0
0
= g (u) f (t u) du
t
t
= g (u) f (t u) du
0
= (g f ) (t)
P87 Determine una funcin continua f de tipo exponencial (es decir |f (t) | Ce para todo t,
mt
166
Solucin:
Dado que la funcin es continua de tipo exponencial, su transformada de Laplace existe,
y la denotaremos por F (s). Llevando al dominio de Laplace la ecuacin del enunciado
aplicando la propiedad de convolucin obtenemos que:
1
F (s) + F 2 (s) + F 3 (s) + + F k (s) + =
s2 + 1
Escribiendo el lado izquierdo como sumatoria:
X 1
[F (s)]k =
k=1
s2 +1
Asumiendo que |F (s)| 1, entonces la sumatoria es una serie geomtrica que converge
a F (s) / [1 F (s)] con lo cual:
F (s) 1
= 2 s2 F (s) + F (s) = 1 F (s)
1 F (s) s +1
Es decir,
2
1 1 2
s + 2 F (s) = 1 F (s) = 2 = 2
s +2 2 s2 + 2
Finalmente,
1
f (t) = sen 2t
2
P88 Determine una funcin f (t) tal que:
t
f (u)
1+t= du.
0 tu
Solucin:
Partimos observando
que el lado derecho de la ecuacin es una convolucin entre f (t) y
la funcin t. En otras palabras,
1
1 + t = f (t)
t
Resolver f por inspeccin o bien en el dominio temporal puede resultar complicado, razn
por la cual lo intentamos en el dominio de Laplace. Para ello, aplicamos la transformada
167
de Laplace a ambos lados de la ecuacin, y esta deber conservarse:
1
1
s
1
t 2
s
f (t) F (s)
1 (r + 1) 1
2
= 1
t sr+1 s2
r= 21
Luego,
1 1
+ 2 = F (s) 1/2
s s s
De aqu podemos despejar F (s) algebraicamente y aplicar transformada inversa:
1 1 1
F (s) = +
s1/2 s3/2
Notamos que:
1 1 1
t t
32
t
r s3/2
t 1
2 3/2
s
donde se calcul 3
2
= 12 1
2
= 2
.
Concluimos finalmente que:
1 1 1
F (s) = +
s1/2 s3/2
P89 [Propuesto] Aplique el teorema de convolucin para mostrar que:
t
1 2et 2
L1 = eu du.
(s 1) s 0
168
es de nuestro inters resolver dicho problema mediante la transformada de Laplace. Multiplicando
ambos lados de la ecuacin por est :
Aqu se hace inmediato que puede resultar til expresar la transformada de Laplace de la derivada
ksima de y en trminos de Y (s). Esto motiva el siguiente teorema:
Teorema: Sea f (t) continua, suave a tramos (derivada continua a tramos) y tal que su
transformada de Laplace existe. Entonces, L{f 0 (t)} existe para s > c y
Demostracin:
Observamos que
0
L{f (t)} = est f 0 (t) dt
0
(
u = est du = sest dt
Haciendo , entonces
dv = f 0 (t) v = f (t)
0
L{f (t)} = lm e sk
f (k) f (0) + sest f (t) dt
k 0
= sF (s) f (0)
Corolario: Anlogamente:
Demostracin:
169
Para demostrar (2) se procede inductivamente por analoga.
A partir de este corolario se observa que se puede tomar la transformada de Laplace a ambos lados,
aplicar la propiedad de la derivada. Se generar una ecuacin algebraica para Y (s) que puede
despejarse fcilmente. Luego, a esta expresin se le aplica la transformada inversa y se obtendr la
solucin completa de la ecuacin diferencial, tomando en cuenta tambin las condiciones iniciales.
(a) y 0 5y = 0, y (0) = 2.
(b) y 0 + y = sen 2t, y (0) = 1.
(c) y 00 y 0 2y = 4x2 , y (0) = 1, y 0 (0) = 4.
(d) y 00 2y 0 +y = f (x), y (0) = 0, y 0 (0) = 0, donde f es una funcin que posee transformada
de Laplace.
Solucin:
Es decir,
2
(s 5) Y (s) = 2 Y (s) =
s5
Volviendo al tiempo, tomando transformada inversa:
y (t) = 2e5t .
170
Volviendo al dominio temporal:
7 2 1
y (t) = et cos (2t) sen (2t) .
5 5 5
(d) Llevando al dominio de Laplace y reemplazando con las condiciones iniciales nulas:
F (s)
s2 2s + 1 Y (s) = F (s) Y (s) =
(s 1)2
Observamos que existe la multiplicacin de F (s) con (s 1)2 , por lo que al de-
volverse al tiempo el resultado ser la convolucin de ambas funciones. Notando
que:
1
t
s2
1
tet
(s 1)2
Es decir,
t
t
y (t) = f te = f (t u) ueu du .
0
P91 (a) Resolver con transformada de Laplace el PVI:
y 00 + 4y = 16x ; y (0) = 3 ; y 0 (0) = 6.
171
(b) Resolver utilizando transformada de Laplace:
Solucin:
De esta forma,
s 2 8
Y (s) = 3 7 2 + 2
s2 +4 s +4 s
Volviendo al dominio temporal:
(b) Observamos que esta ecuacin presenta una dificultad: la condicin inicial no est
centrada en cero como requiere el teorema de la derivada. Por esta razn, lo primero
que debemos hacer es desplazar toda la ecuacin diferencial al origen, lo que se
traduce en adelantarla. De esta forma, hagamos:
u = t 3 du = dt
172
Ahora s podemos llevar al dominio de Laplace:
s 4
s2 Y (s) sy (0) y 0 (0) + sY (s) y (0) = + 2
s2 +1 s
Reemplazando en las condiciones iniciales y reagrupando trminos:
s 4
s2 + s Y (s) = 7 + + 2.
s2 +1 s
Es decir,
7 s 4
Y (s) = + 2 + 3 .
s (s + 1) (s + 1) (s + 1) s (s + 1)
Aplicando el ya conocido mtodo de las fracciones parciales se tiene que:
7 7 7
=
s (s + 1) s s+1
s 1 1 1 s 1 1
2
= + 2 + 2
(s + 1) (s + 1) 2s+1 2s +1 2s +1
4 4 4 4 4
3
= 2 + + 3
s (s + 1) s s+1 s s
Es decir,
11 23 1 1 s 1 1 4 4
Y (s) = + 2 + 2 2+ 3
s 2 s+1 2s +1 2s +1 s s
Volviendo al tiempo u:
23 u 1 1
y (u) = 11 e + cos (u) + sen (u) 4u + 2u2
2 2 2
Haciendo u = t 3 concluimos que:
23 (t3) 1 1
y (t) = 11 e + cos (t 3) + sen (t 3) 4 (t 3) + 2 (t 3)2 .
2 2 2
P92 Encuentre la transformada de Laplace de la solucin de la ecuacin diferencial
ty 00 + y 0 + ty = 0
Solucin:
Para resolver esta ecuacin mediante la transformada de Laplace tendremos que aplicar
173
la propiedad de derivacin en s vista en un problema anterior. En efecto, sabemos que:
dY
ty (t)
ds
0
y (t) sY (s) y (0)
y 00 (t) s2 Y (s) sy (0) y 0 (0)
dY
ty 00 (t) 2sY (s) + s2 y (0)
ds
De esta forma, reemplazando en la ecuacin junto a las condiciones iniciales:
dY dY 3s
s2 1 + 3sY (s) = 0 + 2 Y (s) = 0
ds ds s 1
Esta es una ecuacin diferencial lineal de primer orden para Y (s) que puede resolverse
mediante factor integrante. En efecto, aplicamos:
3s 3 3/2
(s) = exp ds = exp log s 2
1 = s 2
1
s2 1 2
De esta forma, h i0
2
3/2 3/2
s 1 Y (s) = 0 s2 1 Y (s) = c
Luego, concluimos as que:
c
Y (s) = ,
(s2 1)3/2
donde c puede tomar cualquier valor a partir de la informacin proporcionada.
174
3. Sistemas de ecuaciones diferenciales
Muchos fenmenos diferenciales fsicos (mecnicos, eltricos, etc.) o matemticos (e.g. dinmicas
poblacionales) involucran o requieren la determinacin de dos o ms funciones que satisfacen ciertos
modelos variantes en el tiempo o de parmetros de naturaleza similar.
Para dichos fenmenos se hace necesario el anlisis y/o resolucin dichos sistemas, el cual es el
motivo de desarrollo de este captulo. En particular, se estudiarn los sistemas diferenciales lineales
de primero orden pues:
Al igual que ecuaciones diferenciales de orden superior, sistemas de orden superior pueden
ser reducidos a ecuaciones de primer orden.
Sistemas no lineales pueden ser linealizados mediante una expansin de Taylor de orden uno
y su comportamiento estudiado en torno al punto de linealizacin. Problemas que requieran
soluciones exactas pueden ser estudiados de forma numrica.
La resolucin de sistemas lineales puede realizarse de forma fcil (aunque con gran cantidad
de clculos de por medio) de forma analtica.
Previo al desarrollo de la teora general, debe realizarse una extensin de conceptos matemticos
que sern utilizados en esta seccin, partiendo por la definicin de derivadas en funciones vectoriales
y matriciales.
Definicin: Se definen la derivada de una funcin vectorial y una funcin matricial como:
dA dA1,n
dx1 1,1
dt dt
4 dt 4 . . .. .
0
x (t) = 0
; A (t) = . . . . .
dx
n dAn,1 dAn,n
dt
dt dt
Pueden deducirse como corolario (y ejercicio propuesto), propiedades bsicas como derivacin de
combinaciones lineales y composiciones de funciones1 .
0
1
E.g. demuestre que (Af ) = A0 f + Af 0 , siendo A funcin matricial y f funcin vectorial.
175
Posteriormente, puede definirse un sistema lineal:
Definicin: Se define un sistema lineal de primer orden como aquel sistema de la forma:
La teora del lgebra Lineal sugiere en consecuencia que T queda representado por una matriz de
transformacin, i.e.
T {x (t)} = Ax (t) ,
en particular una matriz de n n en el caso de inters.
En un anlogo a los conceptos estudiados para sistemas de orden superior, puede desarrollarse una
teora anloga para sistemas lineales:
tambin es solucin.
c1 x1 (t) + + cn xn (t) = 0
176
Definiendo X (t) = x1 x2 xn1 xn , entonces:
c = X1 (a) x (a) ,
c = X1 (a) x (a) ,
siendo X invertible pues los vectores sern siempre l.i., en particular para t = a.
Finalmente, siguiendo los anlogos ya estudiados para sistemas de ecuaciones lineales en lgebra
Lineal y ecuaciones diferenciales lineales de orden superior en el captulo anterior, se concluye un
resultado similar para resultados de esta naturaleza:
Proposicin: Si xp es solucin del sistema x0 (t) = Ax (t) + f (t), entonces cualquier otra solucin
x (t) del problema verificar que x xp es solucin del problema homogneo.
Demostracin:
Se cumplir que:
x0 = Ax + f (t) ,
x0p = Axp + f (t) .
(x xp )0 = A (x xp )
Se deduce entonces que cualquier solucin homognea puede ser expresada como la resta de dos
soluciones particulares, una arbitraria y otra conocida i.e. xh = x xp . Se sigue entonces que si se
conoce xp , cualquier solucin general de la ecuacin no homognea puede escribirse como:
x = xh + x p .
Es decir,
En cada una de las secciones siguientes se desarrollarn dichos mtodos. Por ahora, estos desarrollos
tericos permiten desarrollar los problemas expuestos a continuacin.
177
t
P93 (a) Sabiendo que 1 es una solucin del sistema
(
x0 = tx + (1 t2 ) y
y 0 = x ty
Solucin:
(a) Observe que W (t) es el Wronskiano de la solucin conocida junto a otra descono-
cida. Por lo tanto, estamos probando que en efecto existe otra solucin l.i. con la
primera. Expandiendo:
W (t) = ty (t) x (t) .
Podemos probar que el Wronskiano es constante si su derivada es cero. Derivando:
con c R. Usaremos esto para demostrar la segunda parte de esta pregunta. Como
el Wronskiano debe ser constante, en particular lo es para t = 0:
W (0) = x (0) = c.
Es decir,
ty (t) x (t) = c = x (0) .
Reordenando trminos,
x (t) = x (0) + ty (t) .
178
(b) Dicha solucin no puede ser aquella sealada como solucin en (a), pues no se pue-
den hacer coincidir las segundas componentes para ningn valor de t. Reemplazando
con el valor de x en y 0 :
y 0 = x (0) + ty ty = x (0) = 1.
De esta forma,
y (t) = t + c,
con c a determinar segn las condiciones iniciales. Como y (0) = 0, entonces c = 0
y por lo tanto y (t) = t. Segn la frmula de (a), entonces:
x0 = Ax,
Caso base: matriz diagonal. El anlisis de toda esta seccin parte considerando el caso ms
sencillo, en el cual A = D con D matriz diagonal. La resolucin no resulta complicada pues se hace
por integracin directa. En efecto, si D es una matriz diagonal, entonces para cada componente
isima del sistema se cumple:
x0i (t) = di xi (t) .
Observe que en cada componente no aparecen componentes del sistema que no sean la componente
isima. Esta es una ecuacin que ya fue resuelta mediante separabilidad en el primer captulo
del curso, y se realiza por integracin directa:
xi (t) = ci edi t .
1 ed1 t + + cn e
x (t) = c1 e n edn t .
Dada la independencia lineal de las funciones exponenciales, quedan determinadas las n soluciones
generales de este caso.
179
Sin embargo, el caso de matriz diagonal resulta ser un caso particular de todas las matrices de
n n existentes, por lo cual esta teora por s sola resulta insuficiente. Sin embargo, la teora
del lgebra Lineal establece que ciertas matrices pueden ser expresadas como el producto de tres
matrices, una de las cuales es diagonal. Este procedimiento se conoce como diagonalizacin y es
aplicable a funciones diagonalizables, valga la redundancia.
Valores y vectores propios complejos. Observe que si A tiene un valor propio complejo
i = a + bi, entonces i+1 = a bi tambin es valor propio, debido a que la ecuacin caracterstica
de A tiene coeficientes reales. Luego, si vi = p+iq es la solucin asociada al valor propio i = a+bi,
entonces por definicin se cumple:
Avi = i vi .
Si conjugamos este sistema, la matriz de coeficientes reales A permanece intacta y por lo tanto,
aplicando propiedades de conjugacin de nmeros complejos componente a componente:
A iv
vi = i.
Es decir, v
i es un vector propio asociado a i = i+1 . Luego, asociado al valor propio complejo
i = a + bi existen las siguientes soluciones linealmente independientes:
xi (t) = vi ei t = (p + qi) e(a+bi)t ,
i ei t = (p qi) e(abi)t .
xi+1 (t) = v
2
Vase el anexo al final de la seccin para un breve repaso de valores y vectores propios.
180
Sumando ambas soluciones en la solucin general:
xh (t) = + ci (p + qi) e(a+bi)t + ci+1 (p qi) e(abi)t + .
Reagrupando trminos:
xh (t) = + eat p ci ebit + ci+1 ebit + qi ci ebit ci+1 ebit + .
Sin embargo, ebit = cos (bt) + i sen (bt) y ebit = cos (bt) i sen (bt). Reemplazando,
xh (t) = + eat {p [ci (cos bt + i sen bt) + ci+1 (cos bt i sen bt)] + qi [ci (cos bt + i sen bt) ci+1 (cos bt i sen bt)]} + .
Bajo este marco terico, podemos resolver, por ejemplo, los siguientes problemas:
P94 Encuentre la solucin a los siguientes sistemas de ecuaciones:
9 5
(a) x =
0
x, x1 (0) = 1, x2 (0) = 0.
6 2
3 4
(b) x =
0
x.
4 3
3 0 1
(c) x0 = 9 1 2 x, x1 (0) = 0, x2 (0) = 0, x3 (0) = 17.
9 4 1
Solucin:
Es decir,
2 7 + 12 = 0 ( 3) ( 4) = 0.
Deducimos valores propios = 3 y = 4. Calculamos su vector propio asociado
para cada uno de ellos:
Si = 3, entonces debemos encontrar el espacio nulo de
6 5 6 5
A 3I = .
6 5 0 0
181
Es decir, 6x1 + 5x2 = 0 x1 = 5x2 /6. De esta forma,
5
v1 .
6
Matricialmente,
5 1 c1 1
= .
6 1 c2 0
Invertimos la matriz para determinar las constantesa :
c1 1
= .
c2 6
De esta forma,
5 3t 1
x (t) = e +6 e4t .
6 1
Es decir,
1,2 = 3 4i.
182
En este caso, basta con determinar un solo vector propio, pues el otro es el conjugado
del primero:
4i 4 1 i
A I = .
4 4i 0 0
i i
Es decir, para 1 = 3 + 4i v1 . Tomamos v1 = . Luego,
1 1
i
2 = 3 4i v2 = .
1
0 1
Se tiene que a = 3, b = 4, p = yq= . Las soluciones sern:
1 0
3t 0 1
x1 (t) = e cos 4t sen 4t ,
1 0
3t 1 0
x2 (t) = e cos 4t + sen 4t .
0 1
Reordenando trminos:
3 2 4 6 = 0.
Por inspeccin o teorema de los ceros racionales, se tiene que = 3 anula la
ecuacin. Realizando divisin sinttica:
3 2 4 6 = ( 3) 2 + 2 + 2 = 0.
183
Para 1 = 3:
0 0 1 0 0 1
A 3I = 9 4 2 9 4 2 .
9 4 4 0 0 2
v2 9 + 2i v2 = 9 + 2i .
17 17
4 4 1 1 4
x (t) = c1 9 e3t +c2 et 9 cos (t) 2 sen (t)+c3 et 2 cos (t) + 9 sen (t) .
0 17 0 0 17
184
Matricialmente,
4 4 1 c1 0
9 9 2 c2 = 0 .
0 17 0 c3 7
Desde aqu, invirtiendo, obtenemos:
7 7
c1 = ; c2 = ; c3 = 0.
17 17
Es decir, la solucin particular es:
4 4 1
7 3t 7 t
x (t) = 9 e + e 9 cos (t) 2 sen (t) .
17 17
0 17 0
1
a a b 1 d b
Recuerde que para una matriz de 2 2: = .
c d ad bc c a
P95 Demuestre que todas las soluciones del sistema
0 a b
x = x
c d
tienden a cero cuando t si y solo si a + d < 0 y ad bc > 0.
Solucin:
Observemos cmo afecta al tipo de solucin los parmetros obtenidos en la matriz. Para
ello, partimos determinando los valores propios mediante la ecuacin caracterstica:
( a) ( d) bc = 0 2 (a + d) + (ad bc) = 0.
Es decir,
q
(a + d) (a + d)2 4 (ad bc)
=
q 2
(a + d) (a d)2 + 4bc
= .
2
Observe que si la raz es negativa, entonces aparecern trminos con cosenos y senos.
Sin embargo, incluso en dicho caso, habr una parte real en el nmero complejo, que
determinar un comportamiento exponencial. Dado que las funciones trigonomtricas
son acotadas y los vectores propios no varan en el tiempo, el comportamiento asinttico
nulo de las soluciones depende de si la parte real de los valores propios hace que las
exponenciales tiendan a cero o no. En particular, buscamos que para cada valor propio:
Re {} < 0,
185
con desigualdad estricta, pues la igualdad a cero puede entregar soluciones puramente
trigonomtricas, que no tienden a cero cuando t . Luego, distinguimos los casos
reales de los casos complejos:
(a + d)
Si 1,2 son complejos, entonces su parte real vendr dada por . Imponemos
2
que:
a+d<0
para garantizar lo pedido.
Si 1,2 son reales, entonces debemos imponer que 1 2 > 0 y que 1 + 2 < 0, lo
cual es equivalente a imponer que cada una de ellas por separado sea negativa. De
esta forma,
(ad bc)
1 2 = > 0.
1
Es decir, ad bc > 0. Anlogamente,
(a + d)
1 + 2 = < 0.
2
Es decir, a + d < 0.
Como las condiciones de cada uno de los puntos debe cumplirse simultneamente, la
condicin final ser la interseccin de ambas. Es decir , (a + d) < 0 y (ad bc) > 0,
condiciones que son precisamente las que se deseaban demostrar.
P96 Determinar los vectores a que hacen que la solucin del problema
1 0 1
0
x = 0 1 2 x ; x (0) = a
0 0 2
Solucin:
Partamos determinando la solucin general del sistema, pues a partir de este podemos
determinar qu condiciones iniciales escoger para determinar soluciones asintticamente
nulas. Determinamos los valores propios tomando:
1 0 1
det (A I) = det 0 1 2
0 0 2
= 2 + 22 3 .
Por resolver,
3 + 22 2 = 0.
186
Por inspeccin, 1 = 1 es solucin, al igual que 2 = 1. Realizando divisin sintica:
3 + 22 2 = ( + 2) ( + 1) ( 1) .
La nica forma de que el lmite de x (t) tienda a cero es haciendo c1 = 0, por lo que
buscamos a tal que c1 = 0. Es decir, a debe ser tal que:
1 0 1 0
0 1 6 c2 = a.
0 0 3 c3
P97 Consideremos la ecuacin
x000 x00 + x0 x = 0
Resulvala transformndola en un sistema para luego resolver dicho sistema por alguno de
los mtodos matriciales visto en clases. Indique tambin si existe alguna solucin particular,
187
x (t), que satisfaga lm x (t) = .
t
Solucin:
y1 = x,
y 2 = x0 ,
y3 = x00 .
y30 y3 + y2 y1 = 0.
y10 = y2 ,
y20 = y3 ,
y30 = y1 y2 + y3 .
Matricialmente,
0 1 0
y0 = 0 0 1 y.
1 1 1
| {z }
A
det (A I) = 1 + 2 3 .
Por resolver,
3 2 + 1 = 0.
Por inspeccin, = 1 es solucin. Realizando divisin sinttica:
3 2 + 1 = ( 1) 2 + 1 .
Es decir, los valores propios faltantes son = i. Determinamos los vectores propios
asociados a cada valor propio:
Si 1 = 1, entonces:
1 1 0 1 1 0
A I = 0 1 1 0 1 1 .
1 1 0 0 0 0
188
Es decir, x1 = x2 y x2 = x3 . De esta forma,
*1+
1
v1 1
v1 = 1 .
1 1
Si 2 = i, entonces:
i 1 0
A iI = 0 i 1 .
1 1 1 i
Pivoteando, obtenemos que:
*1+ 1
v2 i v2 = i .
1 1
Luego,
x (t) = y1 (t) = c1 et c1 cos (t) c3 sen (t) .
Dado que las funciones trigonomtricas son acotadas, entonces para lograr la con-
dicin asinttica buscada sera necesaria una exponencial que diverja en . Dado
que la nica exponencial que aparece es et y esta tiende a 0 en , no es posible
satisfacer la condicin buscada (pero s es posible lograrlo en t ).
P98 Considere el problema
x0 = x + ay,
y 0 = x 2y.
Para qu valores de ase tiene que todas las soluciones x (t) satisfacen
lm kx (t)k = 0?
t
189
P99 (a) Demuestre que, independiente de los valores de a, b y c, si es un valor propio de la
matriz
0 1 0
A= 0 0 1 ,
a b c
entonces
1
x =
2
es vector propio de A asociado a .
(b) Escriba la ecuacin
y 000 + 4y 00 + y 0 6y = 0.
como un sistema de primer orden, y encuentre la solucin general de este sistema.
(Ayuda: = 1 es valor propio de la matriz del sistema).
(c) Encuentre la solucin general de la ecuacin y 000 + 4y 00 + y 0 6y = 1.
Si A no es diagonalizable, entonces existirn valores propios que cuyo espacio propio asociado
tiene dimensin (digamos gi ) menor a la multiplicidad algebraica (digamos ai ) del valor propio en
cuestin. Entonces, por teora de sistemas lineales falta por determinar ai gi (nmero conocido
como defecto del valor propio) soluciones linealmente independientes para resolver el problema.
Puede desarrollarse una teora completa de estudio para la determinacin sistemtica de los vecto-
res propios faltantes, conocida como vectores propios generalizados (el lector interesado puede
consultar la bibliografa sugerida del curso para profundizar en detalle en dichos contenidos). Sin
embargo, aqu de dar nfasis a los tres casos ms importantes, y en consecuencia los casos ms
generales pueden deducirse a partir de estos resultados.
190
Un vector que cumple la primera ecuacin es b = v1 . Luego, basta tomar a que cumpla con
la segunda ecuacin, o equivalentemente,
(A 1 I)2 a = 0.
191
Solucin:
La matriz asociada al sistema es
5A 2 4
A= .
1 5A + 2
(5A 2 ) (5A + 2 ) + 4 = 0.
Expandiendo (agrupando 5A en ambos factores para hacer una suma por su dife-
rencia) obtenemos,
(5A )2 = 0.
Es decir, = 5A es el nico valor propio asociado. De esta forma,
2 4 1 2
A 5AI = .
1 2 0 0
Por lo tanto,
2 2
v1 v1 = .
1 1
Tenemos un defecto de una unidad, por lo cual debemos determinar v2 no nulo tal que:
(A 5AI)2 v2 = 0,
(A 5AI) v2 = v1 .
Se tiene que:
2 4
2 2 4 0 0
(A 5AI) = = .
1 2 1 2 0 0
Cualquier vector nos sirve de acuerdo a la primera ecuacin. De acuerdo a la segunda,
buscamos v2 tal que:
2 4 2
v2 = .
1 2 1
Basta tomar la primera columna de la matriz y multiplicarla por 1. De esta forma,
1
v2 = .
0
192
Haciendo t = 0 obtenemos:
2 1 0
x (0) = c1 + c2 = .
1 0 0
2 1
Dado que la matriz es no singular (invertible), entonces c1 = c2 = 0. Es decir,
1 0
x (t) = 0
P104 [Propuesto] La ecuacin caracterstica de la matriz de coeficientes A del sistema
3 4 1 0
4 3 0 1
x0 =
0
x
0 3 4
0 0 4 3
2
es () = (2 6 + 25) = 0. Por lo tanto, A tiene un par de valores propios complejos
conjugados repetidos 3 4i. Primero, muestre que los vectores complejos:
T T
v1 = 1 i 0 0 y v2 = 9 0 1 i
forman una cadena {v1 , v2 } de longitud 2 asociada al valor propio = 3 4i. Entonces,
calcule las partes real e imaginaria de las soluciones de valores complejos
v1 et y (v1 t + v2 ) et
para encontrar las cuatro soluciones de valores reales independientes de x0 = Ax.
En desarollo.
Definicin: Para el sistema lineal homogneo de primer orden x0 (t) = F (t) x (t) se define la
matriz fundamental (t) como aquella matriz cuya columna ksima contiene la ksima solucin
linealmente independiente de dicho sistema, i.e.
4
(t) = x1 (t) xn (t) .
193
Para todo t sus columnas son l.i., por definicin.
Se cumple que:
0 (t) = F (t) (t) .
Para notar esto, basta observar que para toda columna ksima de esta ecuacin matricial
se tiene que:
x0k (t) = F (t) xk (t) ,
lo cual es cierto pues xk es solucin del sistema homogneo.
Una transformacin lineal isomrfica (invertible) genera una nueva matriz fundamental, i.e.
(t) = C (t) ,
con C una matriz de n n invertible. Observe que un conjunto l.i. de combinaciones lineales
de las columnas de (t) tambin es solucin del sistema, y por lo tanto matriz fundamental.
Existen, por lo tanto, infinitas matrices fundamentales3 .
En virtud de las definiciones anteriores, existe la motivacin de definir la exponencial de una matriz
por razones que se expondrn a continuacin. Partamos por la definicin:
En otras palabras, se realiza la expansin en series de Taylor, utilizando matrices en vez de escalares,
y considerando la potencia ksima como k multiplicaciones matriciales.
Demostracin:
194
De esta forma, eAt es una matriz fundamental del sistema x0 = Ax.
Como corolario inmediato de la demostracin anterior, observe entonces que existir una transfor-
macin lineal isomrfica representada por la matriz C tal que para cualquier otra matriz funda-
mental (t) se cumplir:
eAt = C (t) .
Si t = 0, entonces:
eA0 = C (0) .
Observe que eA0 = I (todos los trminos restantes de la definicin se anulan). En consecuencia,
C = 1 (0) .
Es decir, una vez determinada una matriz fundamental (t) del sistema x0 = Ax, la exponencial
de la matriz A viene dada por la frmula:
Asimismo, puede observar que eAt es una matriz fundamental, y de hecho la nica, tal que en t = 0
es igual a la identidad.
Proposicin:
Si A es diagonal, entonces
ea1 0 0
0 ea2 0
eA = .. .. .. .
. . . 0
0 0 ean
AB = BA eA+B = eA eB .
1
Para cualquier matriz A, eA es no singular y eA = eA .
Demostracin:
Es decir,
X
A Ak
e = ,
k=0
k!
195
(
aki,j , si i = j,
pero A i,j =
k
, i.e. cada elemento de la diagonal se eleva a su potencia
0, si i 6= j.
respectiva. Sumando matrices:
P ak1,1
k=0 k! 0 0 a1
e 0 0
P ak2,2
0 0 0 ea2 0
A
e = k=0
k! = . .. . . ,
.. .. ..
.. . . 0
. . . 0
0 0 ean
P akn,n
0 0 k=0
k!
demostrando as lo enunciado.
Como cada una de las sumas independiente, la segunda puede ser sacada de la primera como
constante o viceversa bajo la conmutacin de matrices:
eA+B = eB eA = eA eB .
eAt es una matriz fundamental, y por lo tanto sus columnas son l.i. para todo t. En particular,
para t = 1 se sigue que eA debe ser no singular. Sabemos asimismo que:
e0n = eAA = I.
eAA = eA eA = I.
Finalmente, despejando,
1
eA = eA .
196
En resumen existen dos formas de calcular la exponencial de una matriz:
Resolver el sistema asociado x0 = Ax, calcular la matriz (t) y luego hacer eAt = (t) 1 (0).
Si la matriz es nilpotente, para lo cual un buen punto de partida es calcular det (A) y verificar
si es cero, truncar la suma de Taylor y realizar las operaciones necesarias. Esto puede resultar
sustencialmente menos tedioso en cantidad de clculos que el paso anterior.
P105 Calcule e siendo:
At
2 1 1 0 0 1
(a) A = 1 2 1 . (b) A = 0 0 0 .
2 2 1 0 1 0
Solucin:
det (A I) = 3 32 + 3 1 = 0.
197
Para determinar el vector propio faltante, tomamos cualquier vector de este con-
junto. Buscamos v3 no nulo tal que:
(A I) v3 = v1 ,
(A I)2 v3 = 0.
Notamos que:
1 1 1 1 1 1 0 0 0
(A I)2 = 1 1 1 1 1 1 = 0 0 0 .
2 2 2 2 2 2 0 0 0
Concluimos que:
1
et 0 1 + tet 1 0 1
eAt = et et tet 1 1 0
2et et 2tet 2 1 0
1 + tet 1 + et tet 0
eAt = tet et tet et .
t t
2te 2te et
(b) Una matriz con muchos ceros sugiere que su determinante puede serlo tambin, y
esto a su vez nos hace sospechar que la matriz puede ser nilpotente. En efecto,
det (A) = 0.
198
Intentamos iterar realizando algunas multiplicaciones matriciales para comprobar
si en efecto es nilpotente:
0 0 1 0 0 1 0 1 0
A2 = 0 0 0 0 0 0 = 0 0 0
0 1 0 0 1 0 0 0 0
0 1 0 0 0 1 0 0 0
A3 = 0 0 0 0 0 0 = 0 0 0 .
0 0 0 0 1 0 0 0 0
P106 Demuestre que si A es una matriz cuadrada no nula que satisface que A = 3A entonces
2
1 3t
eAt = I + e 1 A.
3
Solucin:
Por definicin:
1 22 1 33
eAt = I + At + A t + A t +
2! 3!
Es de inters determinar A y potencias superiores de A. Observe que multiplicando
3
A2 = 3A por A obtenemos:
A3 = 3A2 = 32 A
Multiplicamos por A:
A4 = 32 A2 = 33 A,
haciendo uso de la misma ecuacin inicial. Luego, inductivamente:
An = 3n1 A.
199
Es decir,
1 1 1
eAt = I + At + 3At2 + 32 At3 + 33 At4 +
2! 3! 4!
1 2 1 23 1 34
= I + A t + 3t + 3 t + 3 t +
2! 3! 4!
1 1 22 1 33 1 44
= I + A 3t + 3 t + 3 t + 3 t +
3 2! 3! 4!
1 1 22 1 33 1 44
= I + A 1 + 3t + 3 t + 3 t + 3 t + 1
3 2! 3! 4!
1
= I + A e3t 1 .
3
Entonces, queda demostrado lo pedido.
P107 Calcule la matriz B si
2e2t et e2t et et e2t
eBt = e2t et 2e2t et et e2t .
3e2t 3et 3e2t 3et 3et 2e2t
Solucin:
La pregunta puede resultar complicada en cuanto debe determinarse la matriz B, i.e.,
realizar la operacin inversa a lo ivsto en el primer problema de esta seccin. Sin embargo,
dado que eBt es una matriz fundamental, entonces:
0
eBt = BeBt ,
Entonces:
41 21 12 3 1 1
B = 2 1 4 1 1 2 = 1 3 1 .
63 63 34 3 3 1
200
P108 [Propuesto] Calcule sen (At) y cos (At) y luego establezca su relacin con la matriz funda-
mental que es solucin del sistema de orden dos x00 = A2 x.
Supongamos que se conoce la matriz fundamental (t) de un sistema homogneo x0 = Ax. Desea-
mos resolver el sistema x0 (t) = Ax (t) + f (t). En un anlogo al mtodo de variacin de parmetros
ya desarrollado en ecuaciones diferenciales lineales de orden superior, proponemos como solucin
una funcin que multiplica a la matriz fundamental, lo cual puede entenderse nuevamente como
una combinacin lineal en que varan los coeficientes tambin con respecto a t, i.e.
El trmino c, residuo de la integracin, quedar multiplicado por (t) en la expresin final y por lo
tanto puede agruparse en la solucin general homognea. Para efectos prcticos, esto es equivalente
a hacer c = 0 pues las constantes finales dependern de las condiciones iniciales dadas.
1
Observe que si (t) = eAt , la inversin resulta muy sencilla, pues eAt = eAt . Se recomienda
entonces la resolucin mediante exponenciales de matrices.
201
2 3
P109 Si el sistema homogneo de orden dos x = Ax donde A = 1 2 posee matriz fundamental
0
t t
3e e
(t) = ,
et et
use el mtodo de variacin de parmetros para hallar la solucin del problema de valores
iniciales 2t
0 e 1
x (t) = Ax (t) + ; x (0) = .
1 0
Solucin:
No debe resolverse la parte homognea del sistema pues esta ya est especificada. Apli-
cando la frmula, requerimos invertir la matriz:
1 1 et et
(t) = .
2 et 3et
Es decir,
t
1 e et e2t
u (t) = dt
2 et 3et 1
t
1 e et
= dt
2 e3t + 3et
t
1 e + et
= 1 .
2 e3t + 3et
3
Reemplazando en la frmula de variacin de parmetros,
t
1 3et et e + et
xp (t) = 1
2 et et e3t + 3et
3
2t 1 2t
1 3e 3 e
= .
2 e2t 1 e2t + 4
3
La solucin general viene dada por:
2t 1 2t
3et et 1 3e 3 e
x (t) = c+ .
et et 2 e2t 1 e2t + 4
3
Haciendo t = 0:
3 1 1 4 1
x (0) = c+ = .
1 1 3 7 0
202
Es decir,
3 1 7 1
c= .
1 1 6 1
Dado que la matriz es invertible, la invertimos:
7 1 1 1 7 0
c= =
12 1 3 1 12 2
t
3e2t 1 e2t
7 e 1 3
x (t) = + .
6 et 2 e2t 1 e2t + 4
3
P110 Sea
1 2
A=
2 1
P112 Hallar funciones x1 (t), x2 (t), x3 (t) tales que x1 (0) = x2 (0) = x3 (0) = 1 y
x0 (t) = x + 3y + 3e4t
y 0 (t) = 3x + y 3e2t
y luego determine aquella solucin que satisface (x (0) , y (0)) = (1, 1).
203
P115 Resuelva el sistema lineal
t
0 3 2 2e 3/2
x = x+ ; x (0) = .
2 1 et 2
P116 [Propuesto] Resolver el sistema
5t
0 6 3 e 9
x = x+ ; x (0) = .
2 1 4 4
3.1.5. Aplicaciones
Sin embargo, el lector debe recordar que dicha ecuacin diferencial, si bien era lineal, no era
de coeficientes constantes, pues uno de los coeficientes respectivos representaba el volumen del
estanque en el tiempo, el cual poda perfectamente tener dependencia temporal. Si extendiramos
la idea a varios estanques, nos encontraramos con la dificultad de que generaramos un sistema de
ecuaciones de coeficientes no constantes, lo cual se escapa de lo estudiado en este captulo.
Por esta razn, una simplificacin realizada en esta seccin pasa por asumir que el volumen total
de cada estanque en el tiempo vara, i.e. el flujo neto es cero (suma de volmenes de entrada igual
a suma de volmenes de salida).
m
in,k = cin,k fin,k ,
Si se realizan conexiones entre estanques, el flujo de masa de salida de uno puede convertirse en el
flujo de masa de entrada de otro, situacin que debe analizarse con cuidado.
204
De esta forma, se genera un sistema lineal de coeficientes constantes, por lo general no homogneo.
Este puede resolverse en su parte homognea mediante el mtodo de valores y vectores propios y
su parte particular mediante el mtodo de variacin de parmetros, tal como puede comprobarse
en el siguiente ejemplo:
P117 Dos estanques, conteniendo 50 litros de salmuera cada uno, estn conectados entre s mediante
tubos que hacen que el lquido pase del estanque A al estanque B a razn de 4 litros por
minuto y del estanque B al estanque A a razn de 1 litro por minuto. Las mezclas dentro de
cada estanque
ntificia Universidad Catolicasede
mantienen
Chile homogneas. Salmuera, con una concentracin de 2 kg/litro de
cultad de Matemsalaticas
entra al estanque A a razn de 4 litros por minuto y una mezcla conteniendo 1 kg/litro
de sal entra al estanque A a razn de 1 litro por minuto.
de enero de 2012
Las mezclas salen del sistema por ambos estanques, del estanque A a 1 litro por minuto y
del estanque B a 4 litros por minuto. Si en un principio el estanque A contiene agua pura
MAT 640 - Ecuaciones Diferenciales
y el estanque B contiene 5 kg de sal, determine la cantidad de sal en cada estanque cuando
t . Interrogaci on N 3
1. [8 ptos.] Solucin:
Graficamos50
Dos estanques, conteniendo la litros
situacin
de de acuerdo a lo descrito en el enunciado:
salmuera cada uno, estan conectados
entre s mediante tubos que hacen que
el lquido pase del estanque A al es-
tanque B a razon de 4 litros por minuto
y del estanque B al estanque A a razon
de 1 litro por minuto. Las mezclas den-
tro de cada estanque se mantienen ho-
mogeneas. Salmuera, con una concen-
tracion de 2 Kg/litro de sal entra al es-
tanque A a razon de 4 litros por minu-
to y una mezcla conteniendo 1 Kg/litro
de sal entra al estanque A a razon de 1
litro por minuto.
Las mezclas salenPor delconservacin
sistema por de volumen,
ambos se observa
estanques, que el volumen
del estanque netopor
A a 1 litro de minuto
cada estanque
y se con-
del estanque B a serva y es
4 litros porigual
minuto,a 50 Silitros,
en unpuesto que el
principio el estanque
volumen de ingreso es
A contiene igual
agua al de
pura y salida. Esto
es coherente con el supuesto que nos permite resolver
el estanque B contiene 5 Kg de sal, determine la cantidad de sal en cada estanque despues este tipo de problemas con los
conocimientos
de t minutos e indique a cuantodisponibles.
tiende la cantidad de sal en cada estanque cuando t ! 1.
Por lo tanto, planteamos las ecuaciones de conservacin de masa para cada estanque de
Respuesta : Sean x(t) ea y(t)
acuerdo las cantidades de
los procedimientos sal (enanteriormente:
descritos Kgs) que hay en los estanques A y
B, respectivamente, despues de t minutos.
dx x2 x1 x1
Entonces las funciones x(t), y(t) satisfacen 1el sistema = 42+ 4 + ,
dt 50 50 50
dx2 x
2 x1 5 3 x 2 3
1 2 + 2 .
0 5
x = 50 x + 50 y + 81 = 1 + 4 50 4 8
dt 50 5050 50
) 0
~x = 4 5 ~x + 4 5
y = Las
0 4
50
xcondiciones
50 y + 1iniciales para este caso son
5 4
= 0 y x2 (0)1 = 5. Se obtiene de esta
x1 (0) 5
| 50 {z 50 }
A
7 3
Los valores propios de A son 1 = ; 1 = con vectores propios
50 50
2 3 2 3 205
1 1
4 5 4 5
forma el sistema: 0
x1 1 5 1 8
= + .
x2 50 4 5 1
Resolvemos el sistema de acuerdo a la metodologa ya estudiada:
donde se aplic la propiedad det (A) = n det (A). De esta forma, resolvemos:
(5 + 50)2 4 = 0.
Obtenemos as 1 = 50
7
v1 = 2 1
y 2 = 50
3
v2 = 1
2
. La matriz
fundamental vendr dada por:
e7t/50 e3t/50
(t) = xh (t) = (t) c .
2e7t/50 2e3t/50
con f (t) = 8
1
en este caso. Tenemos que:
1 1 2e7t/50 e7t/50 1 1 15e7t/50
(t) = (t) f (t) = .
4 2e3t/50 e3t/50 4 17e3t/50
206
Es decir,
c = 1 (0) x0 u (0) .
Reemplazando,
1 1 25 15/7
c= .
4 1 2 17/3
Se concluye que:
25 15e7t/50 /7
x (t) = (t) c + .
2 17e3t /3
Observe que (t) 0 cuando t , de modo que:
7t/50
25 15e /7
lm x (t) = lm (t) 3t
t 2 t 17e /3
25 15/7 + 17/3
= lm .
2 t 30/7 + 34/3
1 2050
= kg
21 1850
De esta forma,
x () 1 2050
= kg .
y () 21 1850
Sistemas de resortes. Una aplicacin directa de los sistemas de ecuaciones diferenciales son
los sistemas de resortes, donde es de inters determinar la posicin con respecto al equilibrio de
ms de un resortes, los cuales estn conectados mediante ligaduras cinemticas. Sin embargo, el
lector debe tener presente que si bien el planteamiento puede deducirse directamente a partir de la
segunda ley de Newton, contenidos aprendidos en un curso bsico de mecnica clsica, aparecern
involucradas ecuaciones diferenciales de orden dos.
Como marco terico, se revisar brevemente cmo resolver sistemas de ecuaciones de orden dos,
siguiendo un desarrollo terico similar al realizado para resolver sistemas de primer orden. En
general, estamos interesados en determinar la solucin de sistemas de forma:
x00 = Ax,
x00 = Dx
Resolver esta ecuacin es sencillo, porque es un juego de ecuaciones de orden dos, cada una inde-
pendiente de la otra. Cada una tendr ecuacin caracterstica s2 di y por lo tanto sus soluciones
4
Ejercicio propuesto para el lector: pruebe esta afirmacin! Pista: toda ecuacin diferencial de orden
superior de orden j puede reducirse a un sistema de ecuaciones de...
207
p p
son o bien e |di |t y e |di |t si di 0 o bien cos |di |t y sen |di |t en caso contrario. Es
decir, la solucin general queda expresada como la suma de cada una de las soluciones asociada a
su respectivo vector componente:
Xn e |di |t si di 0 |di |t
e si di 0
x (t) = ci,1 e
i p + ci,2 ei p .
i=1
cos |di |t si di < 0 sen |di |t si di < 0
Para este sistema ya conocemos la solucin, y basta reemplazar los elementos de la diagonal por
los valores propios respectivos:
Xn e |i |t si i 0 |i |t
e si i 0
y (t) = ci,1 e
i p i
+ ci,2 e p .
i=1
cos | i |t si i < 0 sen | i |t si i < 0
Finalmente, el caso no diagonalizable escapa a los propsitos de anlisis de este tipo de sistemas, por
lo cual se prescinde de l. La gran mayora de problemas de naturaleza mecnica puede resolverse
analticamente mediante las consideraciones anteriores.
P118 Considere el sistema de masas m1 = m2 = 1 kg y de resortes k1 , k2 y k3 con constantes 3
N/m, 2 N/m, 6 N/m respectivamente, como en la figura siguiente:
Determine las posiciones x1 (t), x2 (t) de las masas m1 , m2 respectivamente, con respecto a
sus posiciones de equilibrio para los datos iniciales x1 (0) = x2 (0) = 0, x01 (0) = 0, x02 (0) = 1.
208
Solucin:
(5 + ) (8 + ) 4 = 0.
Es decir,
13 5
2 + 13 + 36 = 0 = 1 = 9 2 = 4.
2
Calculamos los vectores propios asociados a cada valor propio, obteniendo as:
Para 1 :
4 2 2 1 1
A + 9I = v1 .
2 1 0 0 2
209
Para 2 :
1 2 1 2 2
A + 4I = v1 .
2 4 0 0 1
Es decir, concluimos que:
x1 1 2
= [c1 cos (9t) + c2 sen (9t)] + [c3 cos (4t) + c4 sen (4t)] .
x2 2 1
Haciendo t = 0 tenemos:
x1 1 2 0
= c1 + c3 = .
x2 2 1 0
210
Definicin:
Se definen los puntos crticos del sistema como aquellos puntos (x0 , y0 ) tales que:
F (x0 , y0 ) = 0
G(x0 , y0 ) = 0
x(t) = x0 ,
y(t) = y0 .
Los sistemas autnomos se grafican en el plano cartesiano xy por medio de campos de pendientes,
los cuales son segmentos de recta con pendiente:
dy
dt = dy = G(x, y) .
dx dx F (x, y)
dt
A la vez, se pueden asociar vectores para indicar la direccin a favor del flujo. Toda trayectoria
que pase por dicho punto tendr la pendiente en dicho punto. Las flechas representarn la direccin
de movimiento en la curva.
Se puede demostrar que cualquier trayectoria que no conste de un nico punto es una curva no
degenerada, es decir, sin autointersecciones.
Clasificacin de puntos crticos. Los puntos crticos pueden clasificarse de diversas formas. A
continuacin se muestran algunas de ellas de forma esquemtica:
Un punto crtico x se dice estable si para todo > 0 existe > 0 tal que para todo t > 0
k
x x0 k < k
x x(t)k <
211
6.1 E
y
misma linea recta que pase por el punto crtico. diferente de cero, es positivo o negativo.
1 y0
y = y0 ekt
CASO 1. k . 0. Si k es positivo, = k (x
entonces 0e
x0 de
2
2 se acerca al origen a lo largo de la curva y 5 bx
1 2 1 0 1 2 curva depende de la magnitud de k:
x
y 0 Sib k55y01,
donde /xk0entonces
. La naturaleza
y 5 bxdel conpunto
b 5 crti
y0/x
FIGURA 6.1.5. Nodo propio: las
diferente de cero, es positivo o negativo.
(x0, y0). Estas trayectorias en lnea recta
trayectorias se acercan al origen,
por tanto
1 fase de la gura 6.1.5.
es un nodo convergente.
CASO 1. k . 0. Si k es positivo, entonces de
2 Si k . 1, y si x y y0, en la ecuacin (10),
se acerca al origen a0lok largo de la curva y 5 bx
la curva y 5 bx es tangente al eje x en
2 1 0 1 2 curva depende de la magnitud de k:
x imagen del plano de fase de la gura 6.1
parbolas. De manera precisa, las trayec
Impropios: Si no son propios.FIGURA 6.1.5. Nodo propio: las Si k 5 1, entonces y 5 bx con b 5 y0/x
derecha e izquierda de estas parbolas.
trayectorias se acercan al origen, (x0, y0). Estas trayectorias en lnea recta
por tanto
2 es un nodo convergente. Si fase0, de kla,gura
1 y si6.1.5.
x0 y y0 son ambos dist
plano de fase es similar a la de la gura
Si k . 1, y si x0 y y0, en la ecuacin (10),
1 es tangente al ejek y (y no al eje x) en el o
la curva y 5 bx es tangente al eje x en
imagen del plano de fase de la gura 6.1
0 El tipo de puntos crticos ilustrados en la
y
En la
echas gura
delpero6.1.6
campo todas las
direccional trayectorias, except
del eje x, se aleja de ste aenlocada largouna deldeejel
1
tes a una
nodo nica lnea
divergente en cada recta que pasa por el pu
gura.
hay dos trayectorias que se acercan al punto cr
que es impropio.
no acotados conforme t S 1q. Este tipo de p
2 Un nodo tambin se llama convergente
6.1.7, se llaman puntos silla.
2 1 0 1 2
al punto crtico, y un nodo divergente si todas
de ste. De este modo, el origen en la gura
x
Estabilidad
mientras que en la gura 6.1.6 es un nodo impr
FIGURA 6.1.7. Punto silla cuyas
trayectorias se asemejan al Un
echaspuntodelcrtico
campo(xdireccional
w, yw) del sistema
en cadaautnom
una de
212 siempre
nodo que
divergenteel punto
en inicial
cada (x
gura. ,
0 0 y ) est sucie
contorno de las curvas de un punto
silla sobre una supercie. (x(t), y(t)) permanece cercano a (x w , y w para t
)
x(t) 5 (x(t), y(t)), la distancia entre el punto i
w x 5 0 (donde w 5 kym). Si se introduce la
obtiene el sistema
dx
= y,
dt
Centros: Un punto crtico se denomina centro si determina trayectorias cerradas peri- dy
= 2 x
dicas en torno al punto crtico. Este tipo de puntos son estables. dt
y
6.1 Problemas 1
2
3 Con C = A2 + B 2 , A = C cos a, y B 5 C s
4los siste-
En los problemas 1 al 8 encuentre el punto crtico de dx dada endy
(14) en la forma
mas autnomos dados y analice cada sistema con el 5plano de 3. = x 2y + 3,
= x y+2
fase al que corresponda dentro de las guras 6.1.12 a 6.1.19. dt dt
5 4 3 2 1 0 1 2 3 4 5 x(t) 5 C cos(wt 2 a)
x
dx dy
dx dy FIGURA 6.1.8. Campo 4. = 2x 2y 4, 3 5 2wC sen(wt 2 a)
= x + 4y +y(t)
1. = 2x y, = x 3y dt dt
dt Puntos espiraldt : Se define un punto espiral
direccional como aquellos
y trayectorias elpticas puntos en el cual las trayec-
1
dx torias giran
dy en espiral conforme tienden
para el sistema a el
x9 5o se
y, y9
d x 2 4 x.de2 de
alejan
5 aqu
este. claramente
dy El se observa que
comportamiento de cada trayecto
2. = x y, = x + 3y 4 El origen es un centro5.estable. = 1 y ,es una = x + 2y
elipse con ecuacin de la forma
dt acercamiento dt o alejamiento determinar la estabilidad dt del punto
dt crtico.
5 4 4 x2 y2
4 + =
3 3 C2 2 C 2
3
2 2
2
1 1 1
Como se ilustra por la imagen del plano de fas
0 0 cada punto 0(x0, y0) diferente del origen en el pla
y
y
y
0
y
2 u0 = JF (x0 ) u. 1
4 2
6 213 3
6 4 2 0 2 4 6 4
x 4 3 2 1 0 1 2 3 4
x
Puede demostrarse sin mayores dificultades que el comportamiento cualitativo del sistema no lineal
puede determinarse a partir del comportamiento del sistema lineal. Por lo tanto, se concluye que
es necesario determinar el compartimiento cualitativo de sistemas lineales para poder estudiar
cualquier sistema no lineal diferenciable. Esto es lo que haremos a continuacin.
x0 = Ax,
donde los valores propios de A los denotaremos por 1 y 2 . Si A es la matriz jacobiana evaluada
en x0 y suponiendo que x0 es un punto crtico aislado, entonces ad bc 6= 0 de modo que no se
generen trayectorias o valores en los cuales el sistema se iguala a cero. En otras palabras, ninguno
de los valores propios puede ser cero.
Para los valores propios 1 y 2 de la matriz se pueden considerar los siguientes casos:
Reales y distintos con el mismo signo: De acuerdo a lo estudiado sobre sistemas lineales,
se generan vectores propios v1 y v2 distintos y una solucin de la forma
x (t) = c1 v1 e1 t + c2 v2 e2 t .
Se observa que {v1 , v2 } generan una base de R2 y por lo tanto podemos considerar dicho
sistema de coordenadas como una transformacin vlida y denotarlo por B = {u, v}. De aqu
se sigue que x (t) puede escribirse en este sistema de coordenadas como:
1 t
c1 e u(t)
[x (t)]B = =
c2 e2 t v(t)
Analizar el sistema en este sistema de coordenadas resulta sustancialmente ms sencillo.
Si c1 = 0 c2 = 0 entonces la curva solucin est determinada por uno de los vectores propios
y por lo tanto est determinada sobre uno de estos ejes. En caso contrario, si tomamos
k = 2 /1 notar que:
ck1 c2
u(t) = c1 e1 t uk (t) = ck1 e2 t = v(t) v (t) = k uk (t)
c2 c1
Si k > 1 entonces las curvas son tangentes al eje u = v1 y si 0 < k < 1 las curvas son
tangentes al eje v = v2 . Por lo tanto, en cualquiera sea el caso el nodo es impropio.
Si 1 , 2 > 0, entonces las trayectorias se alejan del punto crtico y el nodo es una fuente.
Si 1 , 2 < 0, entonces las trayectorias se acercan al punto crtico y el nodo es un pozo.
Reales, distintos con distinto signo: Denotemos dichos valores propios como 1 < 0 < 2 .
Bajo la misma transformacin lineal descrita anteriormente se obtiene que:
c2 k
v (t) = u (t)
ck1
Ahora es claro que k < 0 y por lo tanto el comportamiento de las curvas es similar al de
hiprbolas. De esta forma, concluimos que el punto crtico es un nodo tipo punto silla.
214
Reales iguales: En este caso debemos cuidar si para el vector propio existe un vector
propio o dos vectores propios. Revisemos ambos casos:
x (t) = (c1 v1 + c2 v2 ) et
Bajo la transformacin lineal descrita con anterioridad tenemos en este caso que k = 1
y por lo tanto:
c2
v(t) = u (t)
c1
(Note que c1 = 0 implica en este caso una recta a lo largo del eje v) De esta forma, el
nodo es un nodo propio cuyo caracter atractor o repulsor estar dado por el signo de :
es una fuente si > 0 y un pozo si < 0.
Si existe un solo vector v1 , entonces podemos obtener el otro mediante el procedimiento
ya conocido, de modo que:
x (t) = c1 v1 et + c2 (v1 t + v2 ) et
De esta forma,
(c1 + c2 t) et
[x (t)]B =
c2 et
Se tiene entonces que:
dv dv/dt c2 et c2
= = =
du du/dt t
c1 e + (c1 + c2 t) e t c1 + (c1 + c2 t)
Cuando t es claro que que dv/du 0, por lo que cada trayectoria es tangente
al eje u, en particular cuando c2 = 0 coincide con el eje u. De esta forma, el sistema
describe un nodo impropio. Si < 0 entonces es un pozo (ver la solucin x (t)) y si
> 0 entonces es una fuente.
Complejos conjugados: Los valores propios los denotaremos por 1,2 = p+iq. Los vectores
propios asociados sern v1 = a + ib y v2 = a ib. Entonces, las soluciones sern
x1 (t) = ept (a cos qt b sen qt) y x2 (t) = ept (b cos qt a sen qt) .
Luego, cada una de las componentes oscila en torno a valores positivos y negativos conforme
t se incrementa. Por lo tanto, el sistema es un punto espiral. Asimismo, si p > 0 se observa
en x1 y x2 que la solucin diverge, por lo que el sistema es inestable y si p < 0 el sistema es
estable.
Imaginarias conjugadas: Entendindolo como un caso particular del caso anterior (p = 0),
se tendr que:
Entonces x (t) = c1 x1 (t) + c2 x (t) describe una elipse centrada en el origen del plano xy. En
consecuencia, el sistema es un centro (estable en consecuencia).
215
De acuerdo a lo anterior se puede hacer el siguiente cuadro resumen:
Observe entonces que los resultados de estabilidad de acuerdo al comportamiento de los valores
propios puede resumirse en el siguiente teorema:
Estable pero no asintticamente estable si las partes reales de 1 y 2 son ambas cero
(de tal manera que 1 , 2 = qi).
Bajo este marco terico estamos en condiciones de resolver los siguientes problemas:
P119 (a) Determine todos los puntos crticos del sistema
dx
= x2 1,
dt
dy = xy.
dt
Resuelva la ecuacin en el plano fase xy para determinar las curvas integrales. Pruebe
que hay dos trayectorias que son semicrculos genuinos. Cules son los extremos de los
semicrculos?
(b) Encuentre los puntos de equilibrio del sistema
0 2
x (t) = y x + 2
,
0 2
y (t) = x xy
y clasifquelos de acuerdo a su estabilidad.
216
Solucin:
x2 1 = 0
xy = 0
y 2 = 1 x2 x2 + y 2 = 1.
y x2 + 2 = 0
x2 xy = 0.
217
Es decir, x = y = 1 y x = y = 2 son los dos puntos crticos faltantes. Concluimos
entonces que los puntos de equilibrio son:
218
P120 Estudie la estabilidad del punto de equilibrio (0, 0) en relacin a los sistemas
0
x = x + y 2xy
(a) .
0 2
y = 2x + y + 3y
0
x = 4y
(b) .
y0 =x
0
x = x2 4y
(c) .
0 2
y = x 2y
Solucin:
(a) Dado que el sistema es claramente no lineal, lo primero que debemos hacer es
linealizarlo en torno a su punto (0, 0):
1 2y 1 2x 1 1
JF (x, y) = JF (0, 0) = .
2 1 + 6y 2 1
Es decir,
= 1 i 2.
A partir de la tabla resumen obtenida deducimos que el punto es un punto espiral
pues los valores propios son complejos conjugados. Como < {} = 1 > 0, entonces
el punto es un equilibrio inestable.
(b) El sistema ya es lineal, por lo que no hay necesidad de linealizarlo debido a que
esto sera una operacin redundante. De esta forma, buscamos los valores propios
de la matriz:
0 4 4
A= = 0 2 + 4 = 0
1 0 1
Es decir, = 2i. De esta forma, como los valores propios son puramente imagi-
narios, el equilibrio es un centro (estable).
219
(c) Linealizamos el sistema en torno a (0, 0), obteniendo as la matriz:
2x 4 0 4
JF (x, y) = JF (0, 0) = .
1 4y 1 0
P121 El punto (0, 0) es el nico punto de equilibrio del sistema
0
x = y
y0 = k (1 x2 ) y x
Determine su carcter (atractor, repulsor, centro o punto de silla) en funcin del parmetro
k.
Solucin:
Dado que el sistema es no lineal, partimos linealizndolo en torno al punto crtico (0, 0)
(entregado en el enunciado) para un valor de k cualquiera, y a partir de este generamos
el sistema que debemos estudiar:
0 1 0 1
JF (x, y) = JF (0, 0) =
2kxy 1 k (1 x2 ) 1 k
Si k 2 4 > 0 (k > 2 k < 2), entonces las races (valores propios) sern reales y
dadas por:
k + k2 4 k k2 4
1 = y 2 =
2 2
Observe que en este caso los valores propios no pueden ser en ningn caso iguales,
pues eso solo se cumple cuando k 2 4 = 0. Entonces, lo que puede suceder es
220
que estas tengan el mismo signo o distinto signo. Si ambas tienen el mismo signo,
entonces se cumplir que:
k2 k2 + 4
1 2 > 0 > 0 1 > 0,
4
lo cual se cumple para todo k en el intervalo. Esto implica que es imposible que las
races tengan signos opuestos. De esta forma, en ambos casos los equilibrios sern
nodos impropios. Si k > 2 entonces sern fuentes pues 1 y 2 sern positivos y si
k < 2 entonces sern pozos.
Si k 2 4 = 0 (k = 2) se tendr que 1 = 2 = k2 = 1. El tipo de nodo lo
determinaremos obteniendo el o los vectores propios. Reemplazamos, para obtener
as:
1 1 1 1 1
v =
1 1 0 0 0
donde el signo se decide segn el valor de k. Dado que tenemos un solo vector
propio, se sigue inmediatamente que el equilibrio ser un nodo impropio. Si k = 2
ser una fuente (inestable) y si k = 2 ser un pozo (estable).
Si k 2 4 < 0 (k (2, 2)) tendremos que las races sern complejas conjugadas, y
dadas por:
k + i 4 k2 k i 4 k2
1 = y 2 =
2 2
Es de particular inters el caso k = 0, donde la parte real de los valores propios ser
cero, ambos valores propios puramente imaginarios y por lo tanto el equilibrio un
centro (estable). En caso contrario, el punto ser un punto espiral, estable si k > 0
e inestable si k < 0.
P122 Determine y clasifique todos los puntos crticos del sistema:
(
y 0 = 3y + yz
.
z0 = z + y2
221
Solucin:
Partimos determinando los puntos crticos del sistema haciendo:
3y + yz = 0
z + y2 = 0
Es decir, los valores propios son = 3 y = 1. Como son valores propios reales,
distintos, de signos opuestos, concluimos que (0, 0) es un equilibrio tipo punto silla y por
lo tanto inestable.
P123 Considere el sistema siguiente:
2
x0 = ey + x x5 1
y 0 = sen (x) y 5
Determine los valores de 6= 0 para los cuales el origen (0, 0) es estable, inestable o asint-
ticamente estable.
Solucin:
Dado que solo nos preguntan el comportamiento del origen, linealizamos solo en torno
a dicho punto de operacin:
2
5x4 2yey 0
JF (x, y) = JF (0, 0) =
cos (x) 5y 4 1 0
( ) = 0 1 = 0 2 =
x` (t) = c1 v1 + c2 v2 et .
Observe que solo piden determinar la estabilidad del sistema y no el tipo de punto
crtico. Entonces, observamos que si = 0 entonces la solucin es constante y por lo
tanto estable (pero no asintticamente estable pues nunca converger al origen), si > 0
222
ser inestable pues el segundo termino diverger y si < 0 el equilibrio ser estable (pero
no asintticamente estable).
P124 [Propuesto] Realice los siguientes pasos para demostrar que las soluciones de ecuaciones de
la forma particular y 00 = f (y) satisfacen
1 0 2
(y ) F (y) = c
2
donde F (y) es una primitiva de f (y).
Estamos interesados en estudiar un caso particular de sistemas no lineales, que se conocen como los
Sistemas Hamiltonianos y cumplen ciertas condiciones que permiten aplicaciones interesantes
a nivel fsico. Partiremos definindolos:
Definicin: Un sistema no lineal se dice hamiltoniano si existe una funcin escalar C 2 H (x, y)
tal que:
dx H
= [x (t) , y (t)] = f [x (t) , y (t)] ,
dt y
dy H
= [x (t) , y (t)] = g [x (t) , y (t)] .
dt x
De existir la funcin H, esta se conoce como funcin hamiltoniana o constante de movimiento.
La primera propiedad interesante de este tipo de sistemas es que una curva solucin [x (t) , y (t)]
de un sistema hamiltoniano puede evaluarse en la funcin hamiltoniana, obteniendo una funcin
R R tal que:
g (t) = H [x (t) , y (t)] .
Derivando con respecto al tiempo y aplicando la regla de la cadena:
dg H x H y
= + .
dt x t y t
Dado que el sistema es hamiltoniano, se cumplir entonces que:
dg H H H H
= + = 0.
dt x y y x
223
En otras palabras, la curva solucin del sistema hamiltoniano mantiene la funcin hamiltoniana
constante en todo punto. Ms an, las curvas solucin del sistema sern curvas de nivel de la
funcin hamiltoniana bajo la deduccin anterior, pues sus vectores tangentes sern ortogonales a
~ (x, y) (haga el producto punto entre el vector gradiente y x0 (t) para comprobarlo).
H
2H 2H
= .
yx xy
Como no sabemos a priori H (x, y), debemos escribir esta informacin en funcin del sistema dado:
2H H g
= = ,
yx y x y
2H H f
= = .
xy x y x
Luego, un sistema ser hamiltoniano si:
g f
= .
y x
Como nos sirve cualquier funcin hamiltoniana, podemos hacer arbitrariamente d = 0. De esta
forma,
H (x, y) = g (x) + f (x, y) dy dx f (x, y) dy .
x
224
Ms que memorizar esta frmula se recomienda aplicar el procedimiento seguido en cada problema
en particular, siempre y cuando se haya determinado previamente que el sistema es hamiltoniano.
De serlo, nunca se encontrarn inconsistencias en este mtodo. De no serlo, el principal problema
que puede aparecer es que al despejar c (x) este no sea una funcin que depende exclusivamente
de x. Esto puede ser un indicador de problemas de desarrollo algebraico.
225
En la expresin anterior los trminos dentro de la raz nunca pueden hacerse negativos, razn
por la cual los valores propios sern siempre reales.
Si b = 0 y a = c entonces los valores propios son iguales a = a. En dicho caso, la matriz
Hessiana es nula y por lo tanto se pueden obtener dos valores propios inmediatamente. Es
decir, la matriz M (x0 ) es siempre diagonalizable.
Se sigue que:
0 1 0 1
M (x0 ) = PDP1 ,
1 0 1 0
1 0
donde P = [v1 v2 ] y D = . Como M (x0 ) es simtrica, entonces por teorema
0 2
espectral es diagonalizable ortogonalmente, por lo que P1 = PT . Es decir,
0 1 0 1
M (x0 ) = PDPT .
1 0 1 0
Observe que:
Este es el momento en que integramos todas las observaciones con anterioridad, podemos partir
notando que la funcin H evaluada en la curva solucin es constante pues es una curva de nivel.
Asimismo, como H es C 2 podemos obtener su aproximacin de Taylor de segundo orden. De esta
forma, expandiendo en trminos de u:
:0 1
~
H [x (t) , y (t)] H (x0 ) +
H (x0 ) u + ut M (x0 ) u = c
2
Es decir,
ut M (x0 ) u = 2 [c H (x0 )] .
Como M (x0 ) es diagonalizable, entonces:
ut PDPt u = 2 [c H (x0 )] .
Aplicando la transformacin lineal w = Pt u, que no es ms que expandir y/o rotar cada uno de
los ejes, se tendr entonces que para la curva solucin debe cumplirse que:
226
Si 1 y 2 tienen distinto signo (o equivalentemente |M (x0 )| = 1 2 < 0), entonces tendremos
una hiprbola en [w1 (t) , w2 (t)] que tambin lo ser en el sistema de coordenadas de u. Por
lo tanto, en este caso tendremos un punto silla, que es inestable.
Observe cmo en este caso las posibilidades de los comportamientos de los puntos crticos se ven
reducidas. Asimismo, ponga especial ojo en que es relevante determinar los valores propios de M
y no los de F. Ms an, solo importa determinar el producto de los valores propios y no los valores
propios en s, por lo cual solo basta calcular el determinante de M (x0 ) y luego determinar su signo.
Cualquiera sea el caso, el anlisis se ve sustancialmente simplificado para este tipo de sistemas.
Elaborado este marco terico podemos resolver sin mayores dificultades los siguientes problemas:
P125 Verifique que el sistema
dx
= 2xy,
dt
dy = 1 x2 y 2 ,
dt
es hamiltoniano y encuentre una constante de movimiento. Encuentre adems sus puntos de
equilibrio y decida si son estables o inestables.
Solucin:
H
= f (x, y) = 2xy H (x, y) = xy 2 + c (x) .
y
Es decir,
H
= y 2 + c0 (x) = 1 x2 y 2 c0 (x) = 1 x2 .
x
x3
Integrando, c (x) = x . Con esto concluimos que:
3
2 x3
H (x, y) = xy + x .
3
227
Determinamos los puntos de equilibrio resolviendo el sistema:
2xy = 0,
1 x y 2 = 0.
2
P126 (a) Demuestre que el sistema
dx
= 3y 2 3x2 + 6xy + 3,
dt
dy
= 6xy 3y 2 12x + 3,
dt
es hamiltoniano, encuentre una funcin de Hamilton, halle los puntos de equilibrio y
clasifquelos como estables o inestables.
(b) Demuestre que el sistema
dx
= sen x cos y,
dt
dy = cos x sen y,
dt
es hamiltoniano, encuentre una funcin de Hamilton, halle los puntos de equilibrio y
clasifquelos como estables o inestables.
228
Solucin:
3y 2 3x2 + 6xy + 3 = 0,
6xy 3y 2 12x + 3 = 0.
y 2 8y 15 = 0 (y 3) (y 5) = 0.
Es decir, y = 3 y = 5. De esta forma, los puntos crticos son (0, 1), (0, 1),
(4, 3) y (4, 5).
229
Clasificacin de puntos de equilibrio. Calculamos la matriz hessiana de
H:
6y 12 6x 6y
M (x, y) = .
6x 6y 6y 6x
Evaluamos en cada uno de los puntos y calculamos el determinante.
6 6
M (0, 1) = |M (0, 1)| = 36 36 < 0 inestable.
6 6
18 6
M (0, 1) = |M (0, 1)| = 18 6 36 > 0 estable.
6 6
6 6
M (4, 3) = |M (4, 3)| = 36 36 < 0 inestable.
6 6
18 6
M (4, 5) = |M (4, 5)| = 18 6 36 > 0 estable.
6 6
(b) Procedemos por analoga:
Demostrar que el sistema es hamiltoniano. Se tiene que:
f
f (x, y) = sen x cos y = cos x cos y.
x
g
g (x, y) = cos x sen y = cos x cos y.
y
f g
Es claro que = , con lo cual el sistema es hamiltoniano.
x y
Calcular la funcin hamiltoniana. Se tiene que:
H
= sen x cos y H (x, y) = sen x sen y + c (x) .
y
Luego,
H
= cos x sen y + c0 (x) = cos x sen y c0 (x) = 0 c (x) = 0.
x
De esta forma,
H (x, y) = sen x sen y .
Determinar puntos de equilibrio. Se genera el sistema:
sen x cos y = 0,
cos x sen y = 0.
sen x = 0 x = k con k Z.
230
sen y = 0 y = n con n Z.
Si cos x = 0, entonces sen x = 1, por lo que la segunda ecuacin necesaria-
mente implica que cos y = 0. De esta forma,
cos x = 0 x = + 2m con m Z.
2
cos y = 0 y = + 2` con ` Z.
2
Observe que hemos obtenido infinitos puntos crticos.
Clasificacin de puntos de equilibrio. Partimos calculando la matriz hes-
siana:
sen x sen y cos x cos y
M (x, y) = .
cos x cos y sen x sen y
Evaluamos en cada uno de los puntos crticos, sin embargo, como estos son
infinitos, separamos por casos y buscamos generalidades:
Si x = k e y = n, entonces las diagonales de la matriz se anulan. Asi-
mismo, cos (k) = (1)k y cos (n) = (1)n , de modo que:
" #
k+n
0 (1) 2k+2n
M (k, n) = k+n |M (k, n)| = (1) = 1 < 0.
(1) 0
P127 Considere la ecuacin diferencial del sistema masaresorte:
d2 x dx
m +b + kx = 0
dt 2 dt
(a) Determine condiciones sobre m, b y k para que el sistema sea hamiltoniano.
(b) Para las condiciones determinadas en (a), encuentre la funcin hamiltoniana asociada
al sistema.
231
(c) Determine condiciones para que el sistema sea estable.
Solucin:
(a) Lo primero que debemos hacer es escribir la ecuacin diferencial de segundo orden
como un sistema de primer orden de 2 2 de modo que se puedan aplicar los
conocimientos estudiados con anterioridad. En efecto, hacemos:
Es claro que:
f
f (x1 , x2 ) = x2
= 0.
x1
k b g b
g (x1 , x2 ) = x1 x2 = .
m m x2 m
b
Entonces, se deber cumplir que = 0 b = 0 para que el sistema sea
m
hamiltoniano.
(b) Se tendr que:
Derivando,
k
Hx1 (x1 , x2 ) = c0 (x1 ) =
x1 ,
m
donde desapareci el primer trmino debido a que b = 0. Luego,
k 2
c (x1 ) = x.
2m 1
De esta forma,
k 2
H (x1 , x2 ) = x22 x .
2m 1
(c) Calculamos la matriz hessiana de H:
k/m 0
M (x1 , x2 ) = .
0 1
232
El determinante de esta matriz es m k
y buscamos entonces que m k
> 0 para que el
sistema sea estable. Dado que m representa una masa y por lo tanto m > 0, esta
desigualdad se traduce en k > 0 , lo cual es perfectamente lograble para sistemas
fsicos, considerando en particular que k representa la constante de un resorte, de
naturaleza positiva.
233