CUADERNO DE MATEMÁTICAS VI

CÁLCULO DE ECUACIONES
DIFERENCIALES ORDINARIAS

Vladimir Moreno G.
Gerardo Tole G.

c 19 de febrero de 2019
Índice general

Contents I

Preface 1

1. Transformada de Laplace 3
1.1. Propiedades básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. E J E R C I C I O S . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2. Sistemas de ecuaciones diferenciales de primer orden 19

2.1. Teorı́a básica: Sistemas de ecuaciones diferenciales de primer orden . 19
2.2. Sistemas homogéneos con coeficientes constantes . . . . . . . . . . . 23
2.2.1. Caso 1: Matriz diagonalizable, con valores propios reales dife-
rentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3. Existencia y unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

Bibliography 27

i
ii ÍNDICE GENERAL
Índice de figuras

1.1. Función escalón unitario . . . . . . . . . . . . . . . . . . . . . . . . . 11

2.1. The log-gamma family of densities with central mean < N > = 21 as
a surface and as a contour plot. . . . . . . . . . . . . . . . . . . . . . 25

iii
iv ÍNDICE DE FIGURAS
Índice de cuadros

v
vi ÍNDICE DE CUADROS
Preface

The book root file bookex.tex gives a basic example of how to use LATEX for
preparation of a book. Note that all LATEX commands begin with a backslash.
Each Chapter, Appendix and the Index is made as a *.tex file and is called
in by the include command—thus ch1.tex is the name here of the file containing
Chapter 1. The inclusion of any particular file can be suppressed by prefixing the
line by a percent sign.
Do not put an enddocument command at the end of chapter files; just one such
command is needed at the end of the book.
Note the tag used to make an index entry. You may need to consult Lamport’s
book [1] for details of the procedure to make the index input file; LATEX will create
a pre-index by listing all the tagged items in the file bookex.idx then you edit this
into a theindex environment, as index.tex.

1
2 ÍNDICE DE CUADROS
Capı́tulo 1

Transformada de Laplace

“Sin duda Laplace se mostró como un hombre de talento en la mecánica celeste; dio
prueba de la sagacidad más penetrante para descubrir las causas de los fenómenos...”
Siméon Denis Poisson

Cuando los matemáticos, ingenieros, economistas y cientı́ficos en general plan-

tean cierto tipo de ecuaciones para representar una situación idealizada del mundo
real, manifiestan un gran interés en encontrar métodos eficientes y eficaces para ana-
lizar los diferentes modelos. Una forma para lograrlo es, transformar los modelos en
principio complejos en representaciones mucho más elementales y finalmente revertir
la transformación a las variables originales para la correspondiente interpretación de
resultados.
Hasta el momento se han presentado métodos para resolver ecuaciones dife-
renciales, dependiendo de su naturaleza y estructura algebraica. En éste capı́tulo, se
presentará un método alternativo para el estudio de ecuaciones diferenciales linea-
les no homogéneas y sistemas de ecuaciones diferenciales lineales; incluso cuando la
función de entrada o de forzamiento tiene discontinuidades no infinitas.
Entre las herramientas que son más útiles para la solución de ecuaciones dife-
renciales lineales son las transformadas integrales. Una transformada integral es
una relación de la forma

Z β
F (s) = K(s, t)f (t)dt
α

donde la función dada f (t) es transformada en otra función F (s) por medio de
la tranformación integral. La función F (s) es llamada la transformada de f (t), y la
función K(s, t) se denomina el kernel ó núcleo de la transformación. En particular,

3
4 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

dado que las soluciones a ecuaciones diferenciales lineales con coeficientes constantes
son tipo exponencial, se usa el kernel K(s, t) = est , para definir se define la siguiente
transformación.

Definición 1.0.1. Sea f (t) una función seccionalmente continua y exponencial de

orden α en t ∈ [0, +∞), se define a la transformada de Laplace de f (t) como
Z ∞
(1.1) F (s) = e−st f (t)dt1
0

para todos aquellos valores del parámetro s para los que la integral impropia resulte
ser convergente.

Recordar que una función es seccionalmente continua en un intervalo (α, β)

SN
con, (α, β) = (ti−1 , ti ) de modo que:
i=1

a) f (t) es continua en todo subintervalo abierto (ti−1 , ti ).

b) Lı́m f (t) = h1 ∈ R y Lı́m f (t) = h2 ∈ R

t→(ti−1 )+ t→(ti )−

Proposición 1.0.2. Supongase que:

a) f (t) es una función continua a trozos en el intervalo [0, A], para cualquier A > 0.

b) f (t) es una función exponencial orden α, esto es, existen constantes positivas K
y M tales que |f (t)| 6 Keαt , para toda t > M .

entonces la transformada de laplace L, definida por la ecuación 1.1, existe para s > α

Demostración. Por hipótesis, se tiene que f (t) es una función continua a trozos, lo
cual garantiza la integrabilidad de ella. Por otro lado, f (t) es una función exponencial
orden α, esto garantiza que dicha función es acotada, ası́:

|f (t)| 6 Keαt
−Ke−αt 6 f (t) 6 Ke−αt
−Ke−αt 6 f (t) 6 Ke−αt
−Ke−αt e−st 6 f (t)e−st 6 Ke−αt e−st
1
Por razones estrictamente objetivas, la definición corresponde a la transformada de Laplace
unilateral.
1.1. PROPIEDADES BÁSICAS 5

−Ke−(s−α)t 6 f (t)e−st 6 Ke−(s−α)t

Z +∞ Z +∞ Z +∞
−(s−α)t −st
−K e dt 6 f (t)e dt 6 K e−(s−α)t dt
0 0 0
+∞ +∞
Z  Z
−st 
e−(s−α)t dt
 

 f (t)e dt 6 K
0 0

1.1. Propiedades básicas

Sean f (t) y g(t) funciones con transformadas de Laplace F (s) y G(s), respec-
tivamente. Entonces:

a) Aditividad L {f (t) + g(t)} = L {f (t)} + L {g(t)}

b) Homogeneidad L {kf (t)} = kL {f (t)}, donde k es un escalar.
c) Linealidad L {k1 f (t) + k2 g(t)} = k1 L {f (t)} + k2 L {g(t)}, , donde k1 y k2 son
escalares cualesquiera.

Nota 1 Entiendase como par transformado de Laplace, a toda aquella expresión

de la forma:

f (t) ←→ F (s)

A continuación se presentan, algunas propiedades básicas de la transformada

de Laplace, que terminan generando diferentes pares transformados de Laplace.
k
Teorema 1.1.1. Si f (t) = k ∈ R, entonces L {f (t)} = , para s > 0.
s
Demostración. A partir de la definición de TL:
Z ∞
L {k} = ke−st dt
0
Z b 
−st
= Lı́m ke dt
b→∞ 0
 
k −st b
= Lı́m e |0
b→∞ −s
−k
Lı́m e−sb − 1


=
s b→∞
k
= , para s > 0
s
6 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

1
Teorema 1.1.2. Si f (t) = ekt , donde k ∈ R, entonces L {f (t)} = , para
s−k
s > k.

Demostración. A partir de la definición de TL:

Z ∞
L {e } =
kt
ekt e−st dt
0
Z b 
−(s−k)t
= Lı́m e dt
b→∞ 0
 
−1 −(s−k)t b
= Lı́m e |0
b→∞ s−k
−1
Lı́m e−(s−k)b − 1


=
s − k b→∞
1
= , para s > k
s−k

Teorema 1.1.3. Para s > 0, se cumple que:

1
a) L {t} =
s2
2
b) L {t2 } =
s3
n!
c) L {tn } = , para n ∈ Z+ .
sn+1
Teorema 1.1.4. Si L {f (t)}} = F (s), entonces:

dF
a) L {tf (t)}} = −
ds
d2 F
b) L {t2 f (t)}} =
ds2
dn F
c) L {tn f (t)}} = (−1)n
dsn
Ejemplo 1.1.5. Utilice transformada de Laplace, para resolver el PVI, dado por:
(
y 00 + ty 0 − y = 0
y(0) = 0, y 0 (0) = 3
1.1. PROPIEDADES BÁSICAS 7

Solución. Tomando transformada de Laplace término a término, se obtiene:

L {y 00 } + L {ty 0 } − L {y} = 0
d
(s2 Y − sy(0) − y 0 (0)) − (sY − y(0)) − Y = 0
ds
d
s2 Y − 3 − (sY ) − Y = 0
ds
dY 2s2 − 3
− Y =0
ds s 
2s2 − 3
  
3 −s2 dY 3 −s2 −10
se − Y =s e
ds s s2
 
d  3 −s2  3 −s2 −10
s e Y =s e
ds s2
Z  
2 2
s3 e−s Y = −10 se−s ds + K
2 2
s3 e−s Y = 5e−s + K
1
L −1 {Y } = Sen(2(t − π/2))U (2(t − π/2))
2
1
y(t) = Sen(2t − π)U (2t − π)
2

k
Teorema 1.1.6. Sea f (t) = Sen(kt), con k ∈ R, entonces L {f (t)} = 2 ,
s + k2
para s > 0.
Demostración. A partir de la definición de TL y utilizando integración por partes,
es facil ver que:
Z ∞
L {Sen(kt)} = Sen(kt)e−st dt
0
Z b 
−st
= Lı́m Sen(kt)e dt
b→∞ 0
 
−st kCos(kt) + sSen(kt) b
= Lı́m −e |0
b→∞ s2 + k 2
 
k kCos(kb) + sSen(kb) −sb
= Lı́m − e
b→∞ s2 + k 2 s2 + k 2
 
k kCos(kb) + sSen(kb) −sb
= 2 − Lı́m e
s + k 2 b→∞ s2 + k 2
k
= 2 , para s > 0
s + k2
8 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

donde el último resultado es obtenido debido al acotamiento de las funciones

seno y coseno.
s
Teorema 1.1.7. Sea f (t) = Cos(kt), con k ∈ R, entonces L {f (t)} = 2 ,
s + k2
para s > 0.
Demostración. A partir de la definición de TL y utilizando integración por partes,
es facil ver que:
Z ∞
L {Cos(kt)} = Cos(kt)e−st dt
0
Z b 
−st
= Lı́m Cos(kt)e dt
b→∞ 0
 
−st sCos(kt) − kSen(kt) b
= Lı́m −e |0
b→∞ s2 + k 2
 
s sCos(kb) − kSen(kb) −sb
= Lı́m − e
b→∞ s2 + k 2 s2 + k 2
 
s sCos(kb) − kSen(kb) −sb
= 2 − Lı́m e
s + k 2 b→∞ s2 + k 2
s
= 2 , para s > 0
s + k2
donde nuevamente, el último resultado, es obtenido debido al acotamiento de
las funciones seno y coseno.
s
Teorema 1.1.8. Sea f (t) = Cos(kt), con k ∈ R, entonces L {f (t)} = 2 ,
s + k2
para s > 0.
Demostración. A partir de la definición de TL y utilizando integración por partes,
es facil ver que:
Z ∞
L {Cos(kt)} = Cos(kt)e−st dt
0
Z b 
−st
= Lı́m Cos(kt)e dt
b→∞ 0
 
−st sCos(kt) − kSen(kt) b
= Lı́m −e |0
b→∞ s2 + k 2
 
s sCos(kb) − kSen(kb) −sb
= Lı́m − e
b→∞ s2 + k 2 s2 + k 2
 
s sCos(kb) − kSen(kb) −sb
= 2 − Lı́m e
s + k 2 b→∞ s2 + k 2
s
= 2 , para s > 0
s + k2
1.1. PROPIEDADES BÁSICAS 9

Ejercicios
1) Para cada una de las siguientes funciones f (t), determine la correspondiente
transformada de Laplace:

 t
 06t61
a) f (t) = 3−t 1<t62

1 2<t63


−t
 e
 06t<1
b) f (t) = 3 t=1

 −t
e t>1
(
Sen(t) 0 6 t 6 π
c) f (t) =
0 t>π

 t
 0<t<1
d) f (t) = 1 16t62

1−t t>2


2) La Función Gamma es denotada por Γ(p) y es definida por la integral:

Z ∞
Γ(p + 1) = e−x xp dx
0

La integral converge cuando x  ∞, para todo p.

a) Muestre que para p > 0, Γ(p + 1) = pΓ(p).

b) Si p ∈ Z+ , muestre que Γ(n + 1) = n!.
√
c) Asumiendo que Γ( 12 ) = π, determine el valor de Γ( 23 ) y Γ( 11
2
).

Teorema 1.1.9. Sea f (t) una función continua y f 0 (t) continua a trozos sobre
cualquier intervalo de la forma 0 6 t 6 A. Si f (t) es una función exponencial orden
α, entonces L {f 0 (t)} existe para s > α dada por:

L {f 0 (t)} = sL {f (t)} − f (0).

Corolario 1.1.10. Si f (t), f 0 (t), f 00 (t), . . . , f (n−1) (t) son funciones exponenciales de
orden α continuas y f (n) (t) es continua a trozos sobre cualquier intervalo de la forma
0 6 t 6 A, entonces L {f (n) (t)} existe para s > α y es dada por:

L {f (n) (t)} = sn L {f (t)} − sn−1 f (0) − sn−2 f 0 (0) − · · · − sf (n−2) (0) − f (n−1) (0)
10 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

Teorema 1.1.11. Si f (t) es una función exponencial de orden α y seccionalmente

continua, entonces para a > 0 la función definida por
Z t
g(t) = f (x)dx
a

F (s)
tiene transformada de Laplace y es dada por L {g(t)} = , para s > 0
s

Veamos a continuación, cómo se utiliza la transformada de Laplace para la

solución de problemas de valor inicial.

Ejemplo 1.1.12. Resolver el problema de valores iniciales:

(
y 00 + 3y 0 + 2y = 0
y(0) = 1 y 0 (0) = 0

Solución. Utilizando transformada de Laplace, aplicada término a término en la

ecuación diferencial dada, se obtiene:

L {y 00 + 3y 0 + 2y} = 0
L {y 00 } + L {3y 0 } + L {2y} = 0
s2 Y − sy(0) − y 0 (0) + 3(sY − y(0)) + 2Y = 0
s2 Y − s + 3(sY − 1) + 2Y = 0
(s2 + 3s + 2)Y − s + 3 = 0
s−3
Y = 2
s + 3s + 2
s−3
Y =
(s + 1)(s + 2)
5 4
Y = −
s+2 s+1
1 1
L −1 {Y } = 5L −1 { } − 4L −1 { }
s+2 s+1
y(t) = 5e−2t − 4e−t

Ejemplo 1.1.13. Resolver la ecuación integro-diferencial dada por:

( R∞
y 0 = cos(t) + 0 y(τ )cos(t − τ )dt
y(0) = 1
1.1. PROPIEDADES BÁSICAS 11

Solución. Utilizando transformada de Laplace, aplicada término a término en la

ecuación integro-diferencial dada, se obtiene:
Z ∞
L {y } = L {cos(t) +
0
y(τ )cos(t − τ )dt}
0
s
sY − y(0) = 2 + L {y(t) ∗ cos(t)}
s +1
s s
sY − 1 = 2 +Y 2
 s +1
 s +1
s s
s− 2 Y =1+ 2
s +1 s +1
1 1 1
Y = + 2+ 3
s s s
−1 1 1 1
L {Y } = L { + 2 + 3 }
−1
s s s
t2
y(t) = 1 + t +
2

Definición 1.1.14. Se define a(la función escalón unitario o función de Heaviside,

0 t<c
denotada Uc (t), como: Uc (t) =
1 t>c

A continuación se muestra la gráfica de la función escalón unitario, para c = 0:

Figura 1.1: Función escalón unitario

Una de las aplicaciones de la función escalón, es que permitirá deducir la trans-

formada de una función peródica, ası́ como la transformada de funciones definidas
a trozos.
e−as
Teorema 1.1.15. Sea f (t) = U (t − a), con a ∈ R, entonces L {U (t − a)} = .
s
Demostración. A partir de la definición de TL y utilizando la definición de la función
12 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

escalón unitario, es facil ver que:

Z ∞
L {U (t − a)} = U (t − a)e−st dt
0
Z b 
−st
= Lı́m U (t − a)e dt
b→∞ 0
Z b 
−st
= Lı́m e dt
b→∞ a
 −st 
e
= Lı́m |b
b→∞ −s a
−1
Lı́m e−sb − e−sa


=
s b→∞
e−as
= , para s > 0
s
Corolario 1.1.16. Si L {f (t)} = F (s), entonces L {f (t − a)U (t − a)} = e−as F (s).

Demostración. A partir de la definición de TL y utilizando la definición de la función

escalón unitario, es facil ver que:
Z ∞
L {f (t − a)U (t − a)} = f (t − a)U (t − a)e−st dt
0
Z b 
−st
= Lı́m f (t − a)U (t − a)e dt
b→∞ 0
Z b 
−st
= Lı́m f (t − a)e dt
b→∞ a
Z b−a 
−s(z+a)
= Lı́m f (z)e dz
b→∞ 0
Z b−a 
−as −sz
= e Lı́m f (z)e dz
b→∞ 0
Z ∞
−as
=e f (z)e−sz dz
0
−as
=e F (s), para s > a

Teorema 1.1.17. Si f (t + T ) = f (t), para T ∈ R escalar, entonces:

RT
f (t)e−st dt
L {f (t)} = 0
1 − e−sT
Teorema 1.1.18. Si L {f (t)} = F (s), entonces L {f (t)eat } = F (s−a). con a ∈ R.
1.1. PROPIEDADES BÁSICAS 13

Demostración. A partir de la definición de TL y considerando a ∈ R, es facil ver

que:
Z ∞
L {f (t)e } =
at
f (t)eat e−st dt
0
Z b 
at −st
= Lı́m f (t)e e dt
b→∞ 0
Z b 
−(s−a)t
= Lı́m f (t)e dt
b→∞ a
Z ∞
= f (t)e−(s−a) dt
0
= F (s − a), para s > a

El anterior teorema recibe el nombre de segundo teorema de translación. A

partir de dicho teorema, fácilmente se pueden obtener otros pares transformados.

Definición 1.1.19. El impulso total I(g) de una función de forzamiento g(t) es

definido como la integral impropia:

Z ∞
I(g) = g(t)dt
−∞

Para el caso de una función de forzamiento gε , definida por:

(
0 |t − t0 | > c
gε (t) =
1 |t − t0 | < c

se obtiene que:

Z t0 +ε
I(gε ) = g(t)dt
t0 −ε

Al imponer la condición Lı́m I(gε ) = 1, se redefine una nueva ”función” dada

( ε→0
0 t 6= 0 R +∞
por: g0 (t) = , con, I(g0 ) = −∞ g(t)dt.
∞ t=0
14 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

Observese que la integral de cualquier función nula excepto en un punto, debe

ser cero. Por consiguiente, g0 no puede ser una función en el sentido formal. Sin
embargo, podemos ”tratar” de darle sentido a g0 . Primero se considera t0 = 0 y se
define la función dε , por:

 1 , −ε < t < ε
dε (t) = 2ε
 0, otros casos

Claramente,

Z ∞ Z ε
1
I(dε ) = dε (t)dt = dt = 1
−∞ −ε 2ε

Además, Lı́m dε (t) = 0, para t 6= 0, y Lı́m I(dε ) = 1. Con base, en lo anterior

ε→0 ε→0
puede definirse, la siguiente ”función idealizada”.
Definición 1.1.20. La función Delta de Dirac, es caracterizada por las siguientes
propiedades:

δ(t) = 0, para t 6= 0,
Z ∞
I(δ) = δ(t)dt = 1
−∞

La función Delta de Dirac, es claramente un ejemplo de una ”función genera-

lizada”, ası́ es obvio concluir que:

δ(t − t0 ) = 0, para t 6= t0 ,
Z ∞
δ(t − t0 )dt = 1
−∞

Lema 1.1.21. Sea g(t) una función seccionalmente continua definida para t ∈ R.
Entonces para −∞ 5 a < t0 < b 5 ∞, se tiene que:
Z b
g(t)δ(t − t0 )dt = g(t0 )
a

Corolario 1.1.22. La transformada de Laplace de la función δ(t − t0 )g(t), es dada

por L {δ(t − t0 )g(t)} = e−st0 g(t0 ). En particular, la transformada de Laplace de la
función delta de Dirac es dada por L {δ(t − t0 )} = e−st0 y L {δ(t)} = 1.
1.2. E J E R C I C I O S 15

Ejemplo 1.1.23. Resolver el problema de valor inicial:

(
y 00 + 4y = δ(t − π/2)
y(0) = y 0 (0) = 0

Solución. Aplicando transformada de Laplace, aplicada término a término en la

ecuación diferencial, se obtiene:

L {y 0 } + 4L {y} = L {δ(t − π/2)}

sY − y(0) + 4Y = esπ/2
esπ/2
Y =
s2 + 4
1 2
Y = esπ/2
2 s2 + 4
1
L −1 {Y } = Sen(2(t − π/2))U (2(t − π/2))
2
1
y(t) = Sen(2t − π)U (2t − π)
2

1.2. Ejercicios
1. Utilice, el teoremade convolución, pa- b. 
00

s I + 4I = g(t)
ra encontrar £−1

.
(s2 + 4)2 I(0) = 1

 0
I (0) = 3
2. Utilice la transformada de Laplace pa-
ra determinar la solución al problema sabiendo que:
de valor inicial:
(
3Sen(t) 0 6 t < 2π
a. g(t) =
( 0 t > 2π
y 0 − 5y = f (t)
y(0) = 1 c.

00 0
x + 2x + 10x = h(t)

sabiendo que:
x(0) = −1

 0
( x (0) = 0
t2 06t<1
f (t) =
0 t>1 sabiendo que:
16 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

dy Rt
 f. = 1 − sen(t) − 0 y(τ ) dτ
10 0 6 t 6 10
 dt
y(0) = 0
h(t) = 20 10 < t < 20


0 t ≥ 20 4. Utilice la transformada de Laplace,
para determinar la solución al siste-
d.  ma de ecuaciones diferenciales dado,
00
y + 4y = f (t)

en cada caso:
y(0) = 1

 0
y (0) = 0 a)
(
sabiendo que: x0 = 4x + y, x(0) = 1
( y 0 = −2x + y, y(0) = 0
t 06t<1
f (t) =
1 t>1 b)
e. (
( x0 = 2x + y − e2t , x(0) = 1
I 00 + 4I = k(t)
y 0 = 2x + y, y(0) = −1
I(0) = I 0 (0) = 0
 
sabiendo que: −1 s−3
5. Encuentre £ ln
s+1

0
 06t<1 6. En cada caso, determine la solución al
k(t) = t − 1 1 6 t < 2 problema de valor inicial dado:

1 t≥2

a. 
00 0 2
ty − y = 2t

3. Para cada ecuación integro-diferencial
y(0) = 0
ó integral, determine la correspondien- 
 0
te solución: y (0) = −1
Rt
a. y(t) + 0 y(τ )(t − τ )dτ = 0. b. 
00 0
2y + ty − 2y = 10

dy Rt
b. = cos(t) + 0 y(τ ) cos(t − τ )dτ , y(0) = 0
dt 
 0
con y(0) = 1. y (0) = 0
dy Rt c.
c. + y(t) − 0 y(τ ) sin(t − τ )dτ = 
00 0
dt ty + 2y + 2y = 0

− sin(t), con y(0) = 1. y(0) = 0
Rt
d. y(t)+2 0 y(τ ) cos(t−τ )dτ = 4e−t +

 0
y (0) = 3
sin(t).
dy Rt d. (
e. + 6y(t) + 9 0 y(τ )dτ = 1, con t2 y 00 + 2ty 0 + t2 y = 0
dt
y(0) = 0. y(0) = C ∈ R
1.2. E J E R C I C I O S 17

e.  8. Utilice el teorema de convolución pa-

00 0 2
ty − ty − y = 2t
 ra calcular la transformada inversa de
4
y(0) = 0 Laplace de F (s) = 3

 0 s (s + 1)
y (0) = 3
9. Utilice la transformada de Laplace pa-
7. Sabiendo que ra dar solución al sistema de ecuacio-
nes diferenciales dado:
 R∞

 Γ(α) = 0 tα−1 e−t dt,





L{tα } = Γ(α+1)
sn+1


 Utilice la transformada de Laplace pa-
Γ( 1 ) = √π


 ra resolver el problema de valores ini-
2 ciales:
Determine la transformada de Laplace
de: (
y 00 − y 0 = et Cos(t),
√ 5
f (t) = 2 t + 8t 2 y 0 (0) = 0, y(0) = 0

10. Utilice las propiedades de la integral y, cuando sea necesario, la descomposición

fracciones parciales, para calcular la transformada inversa de las siguientes
funciones:
s3 + 3s2 + 1
a) L−1 { }
s2 (s2 + 2s + 2)
s
b) L−1 { π2 − tan−1 }
2
−1 s − π2 s
c) L { 2 e }
s +1
s π
d) L−1 { 2 e− 2 s }
s +1
1
e) L−1 { e−πs }
(s + 1)2 + 4

11. Determine la TL de las funciones dadas:

12. Utilice el teorema de convolución, para evaluar la transformada inversa de

1
Laplace de F (s) = 3
s (s − 1)

13. Utilice la transformada de Laplace para resolver el sistema de ecuaciones di-

ferenciales dado:
18 CAPÍTULO 1. TRANSFORMADA DE LAPLACE

n
x00 + 3y = te−t y(0) = 0

14. Use la Transformada de Laplace para resolver:

a.) (
y 00 − 7y 0 + 6y = et + δ(t − 2) + δ(t − 4)
y(0) = 0 y 0 (0) = 0

b.) (
2y 00 + ty 0 − 2y = 10
y(0) = 0 y 0 (0) = 0
Capı́tulo 2

Sistemas de ecuaciones
diferenciales de primer orden

...el cientı́fico no estudia la naturaleza por la utilidad que le pueda reportar; la estudia
por el gozo que le proporciona, y este gozo se debe a la belleza que hay en ella.... La
belleza intelectual se basta a sı́ misma, y es por ella, más que quizá por el bien futuro de
la humanidad, por lo que el cientı́fico consagra su vida a un trabajo largo y difı́cil...
Henri Poincaré

2.1. Teorı́a básica: Sistemas de ecuaciones dife-

renciales de primer orden
La teorı́a general de los sistemas de ecuaciones diferenciales de primer orden:


dx1
= a11 (t)x1 (t) + · · · + a1n (t)xn (t) + g1 (t)


dt









 dx2

 = a21 (t)x1 (t) + · · · + a2n (t)xn (t) + g2 (t)
dt




..
.










 dxm

 = am1 (t)x1 (t) + · · · + amn (t)xn (t) + gm (t)
dt






19
20CAPÍTULO 2. SISTEMAS DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN

el cual puede escribirse en forma matricial, como:

dx1
 
 dt     



   x 1 (t) g1 (t)
 dx2 
  a11 (t) . . . a1n (t)   x2 (t)   g2 (t) 
  
  a21 (t) . . . a2n (t)  
 dt  
     
 =  .. ..   ..  +  .. 
  
 ..
  . . .  .   . 
 .. 
   
 . 

  am1 (t) . . . amn (t)    

 dx 
 xn (t) gn (t)
n
dt
en forma más compacta y sencilla:

X0 (t) = A · X(t) + B(t)

donde,

dx1
 
 dt 
 
 
 dx2 
 
dt
 
X0 (t) = 
 

.
 
 . 
 . 
 
 
 dx 
n
dt
 
a11 (t) . . . a1n (t)
 a21 (t) . . . a2n (t) 
A =  ..
 
. . .. 
 . . . 
am1 (t) . . . amn (t)
 
g1 (t)
 
 
 g2 (t) 
 
B(t) = 
 

 .. 
 . 
 
 
gn (t)
2.1. TEORÍA BÁSICA: SISTEMAS DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN21

Cuando el vector B(t) = 0, se dice que el sistema es homogéneo; en caso

contrario es no homogéneo.
Un vector X(t) = Φ(t), es llamado una solución al sistema no homogéneo
siempre que cada una de sus funciones componentes satisfagan el sistema corres-
pondiente. Por consiguiente, se asumirá que las funciones A(t) y B(t) son continuas
dentro del intervalo α < t < β; esto es, cada una de las funciones aij (t) y gi (t) son
continuas en dicho intervalo. Éste hecho garantizará la existencia y unicidad de la
solución al problema de valor inicial correspondiente.
Es conveniente considerar primero, el sistema homogéneo X0 (t) = A · X(t),
para obtener el conjunto fundamental de soluciones y la matrı́z fundamental. Se
designará, por soluciones al sistema homogéneo, con la notación:
(j)
Nótese que xij (t) = xi , se refiere a la i-ésima componente de la j-ésima
solución x(j) (t).
Definición 2.1.1. Un conjunto de funciones reales de valor vectorial,
 
x11 (t)
 
 
 x21 (t) 
 
x(1) (t) = 
 

 .. 
 . 
 
 
xn1 (t)
, ...  
x1n (t)
 
 
 x2n (t) 
 
x(n) (t) = 
 

 .. 
 . 
 
 
xnn (t)

es denominado conjunto fundamental de soluciones, correspondiente al sistema

de ecuaciones diferenciales homogéneo X0 (t) = A · X(t), siempre que cada una de
las funciones satisfagan el sistema dado. Además, cualquier otra solución, puede ser
escrita de la forma:

x(t) = C1 x1 (t) + C1 x2 (t) + · · · + C1 xn (t)

para cualesquiera escalares C1 , . . . , Cn . Podemos llamar a la anterior ecuación, la

solución general al sistema de ecuaciones diferenciales homogéneo dado.
22CAPÍTULO 2. SISTEMAS DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN

Definición 2.1.2. Una matriz fundamental para el sistema X0 (t) = A · X(t), es una
matriz (phi)(t) consistente en n vectores de un conjunto fundamental de soluciones,
esto es, los n − vectores columna x1 (t), x2 (t), . . . , xn (t):
 
x11 (t) . . . x1n (t)
 x21 (t) . . . x2n (t) 
φ(t) =  ..
 
.. .. 
 . . . 
xn1 (t) . . . xnn (t)
Teorema 2.1.3. El sistema X0 (t) = A · X(t), tiene un conjunto fundamental de
soluciones x1 (t), x2 (t), . . . , xn (t) sobre un intervalo a < t < b, tal que para cada i
se cumple que  
0
 .. 
.
xi (t0 ) = 1
 
.
 .. 
0
donde la entrada i-ésima es 1 y todas las demás son 0, entonces la fórmula que expre-
sa cualquier solución x(t) es una combinación lineal de los elementos del conjunto
fundamental, esto es:

x(t) = C1 x1 (t) + C1 x2 (t) + · · · + C1 xn (t)

donde C1 , C2 , . . . , Cn son escalares.

Definición 2.1.4. Dado el conjunto fundamental de soluciones S = {x1 (t), x2 (t), . . . , xn (t)},
se define al Wronskiano de S, denotado como W(S), como:
 
x11 (t) . . . x1n (t)
 x21 (t) . . . x2n (t) 
W(S) = det  ..
 
.. .. 
 . . . 
xn1 (t) . . . xnn (t)
Teorema 2.1.5. Supóngase que x1 (t), x2 (t), . . . , xn (t) son n funciones vectoriales,
las cuales son soluciones del sistema n-dimensional X0 (t) = A · X(t) sobre el inter-
valo a < t < b. Las siguientes proposiciones son equivalentes:

i) El Wronskiano W (S) es no nulo, para todo t con a < t < b.

ii) El conjunto S es linealmente independiente, para todo t con a < t < b.
iii) Los vectores columna del conjunto S, forma un conjunto fundamental de solu-
ciones al sistema dado, para todo t con a < t < b.
2.2. SISTEMAS HOMOGÉNEOS CON COEFICIENTES CONSTANTES 23

2.2. Sistemas homogéneos con coeficientes cons-

tantes
En ésta sección, se presentará la estructura de las soluciones para sistemas
homogéneos con coeficientes constantes. El sistema de ecuaciones objeto de estudio
es X0 (t) = A · X(t), donde A es una matrı́z nxn de entradas constantes.
Por analogı́a con lo presentado con ecuaciones diferenciales lineales de orden
superior, la solución al sistema dado es de la forma:

x(t) = ξeλt

donde ξ es un vector constante en Rn . Para ésta función vectorial, se obtiene:

x0 (t) = λξeλt , Ax(t) = λeλt Aξ

Aξ = λξ

por consiguiente, la anterior igualdad es válida si y sólo si el vector ξ es un vector

propio con valor propio λ. Ésto nos lleva inmediatamente al siguiente resultado, el
cual aplica al caso de matrices diagonalizables.
Teorema 2.2.1. Supóngase que la matrı́z (A) es diagonalizable, con n vectores
linealmente independientes ξ1 , ξ2 , . . . , ξn y n valores propios λ1 , λ2 , . . . , λn . Entonces,
un conjunto fundamental de soluciones al sistema X0 (t) = A · X(t), contiene a los
n vectores:

x1 (t) = ξ1 eλ1 t , x2 (t) = ξ2 eλ2 t , . . . , xn (t) = ξn eλn t

Ası́ la solución general, al sistema dado es:

x(t) = C1 ξ1 eλ1 t + C2 ξ2 eλ2 t + · · · + Cn ξn eλn t

donde C1 , C2 , . . . , Cn son escalares.

2.2.1. Caso 1: Matriz diagonalizable, con valores propios

reales diferentes
Teorema 2.2.2. Supóngase que la matrı́z real (A) es diagonalizable, con n valores
propios λ1 , λ2 , . . . , λn n. Entonces los vectores propios ξ1 , ξ2 , . . . , ξn son reales, el
conjunto fundamental de soluciones es:
24CAPÍTULO 2. SISTEMAS DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN

x1 (t) = ξ1 eλ1 t , x2 (t) = ξ2 eλ2 t , . . . , xn (t) = ξn eλn t

Ası́ la solución general, es:

x(t) = C1 ξ1 eλ1 t + C2 ξ2 eλ2 t + · · · + Cn ξn eλn t

donde C1 , C2 , . . . , Cn son escalares.

Ejemplo 2.2.3. Resolver el sistema definido por X0 (t) = A · X(t), donde:

 
1 −1 4
A = 3 2 −1
2 1 −1
Solución. El polinomio caracterı́stico es:

2.3. Existencia y unicidad

El hecho más importante, en el tratamiento matricial de sistemas de ecuaciones
diferenciales, es que permite en forma fácil, breve y sencilla el entendimiento de los
teoremas que soportan toda la teorı́a.

Teorema 2.3.1. Si los vectores x(1) , x(2) , . . . , x(n) son n-soluciones al sistema ho-
mogéneo, entonces cualquier combinación lineal de ellos es también solución, ası́:

c1 x(1) + c2 x(2) + · · · + cn x(n)

donde ci son escalares, para toda i = 1, . . . , n.

i f
The Extension Problem Given an inclusion A ,→ X, and a map A → Y , does
there exist a map f † : X → Y such that f † agrees with f on A?
Here the appropriate source category for maps should be clear from the context
and, moreover, commutativity through a candidate f † is precisely the restriction
requirement; that is,
f † : f † ◦ i = f † |A = f .
If such an f † exists1 , then it is called an extension of f and is said to extend f .
In any diagrams, the presence of a dotted arrow or an arrow carrying a ? indicates
1†
suggests striving for perfection, crusading
 2.3. EXISTENCIA Y UNICIDAD 25

10

β
8

3
10
2
6
1 8
0 6 β
0.2 4

0.4 4
0.6
0.8 2 2
N
1
0N 0.8 0.2 0.4 0.6 1

Figura 2.1: The log-gamma family of densities with central mean < N > = 12 as a
surface and as a contour plot.

a pious hope, in no way begging the question of its existence. Note that we shall
usually omit ◦ from composite maps.
p f
The Lifting Problem Given a pair of maps E → B and X → B, does there exist
a map f ◦ : X → E, with pf ◦ = f ?
That all existence problems about maps are essentially of one type or the other
from these two is seen as follows. Evidently, all existence problems are representable
by triangular diagrams and it is easily seen that there are only these six possibilities:

- -    
 6 6  
? ? ? ? ? ?
? ? ?
?

1 2 3 4 5 6
26CAPÍTULO 2. SISTEMAS DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN

Teorema 2.3.2. Supongamos que Xn es una sucesión

Ejemplo 2.3.3. Sea X Y el conjunto de todas las funciones de X en Y

Bibliografı́a

[1] L. Lamport. LATEX A Document Preparation System Addison-Wesley,

California 1986.

27