Вы находитесь на странице: 1из 22

Universidad Nacional Mayor de San Marcos

Universidad del Perú, DECANA DE AMÉRICA


Facultad de Ciencias Físicas
Escuela Profesional de de Física
131281 – Ecuaciones Diferenciales
Ciclo 2017–1

Reporte

Método de Coeficientes Indeterminados


Método de Variación de Parámetros
Transformada de Laplace para EDOs

Jorge Fernández Sedano, 12130085


Profesor: Heidi Chupayo Evangelista

1
131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Índice

1. Teoría de las Ecuaciones Diferenciales Lineales de Orden Superior 3


1.1. Introduccíon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Independencia Lineal de Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Ecuación diferencial lineal de orden n . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Solución de la ecuación diferencial lineal homogénea de orden n con coeficientes
constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. Solución de la ecuación diferencial lineal no homogénea de orden n con coeficientes
constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5.1. Solución por el Método de Coeficientes Indeterminados . . . . . . . . . . . 6
1.6. Solución de la ecuación diferencial lineal no homogénea de orden n por el Método
de Variación de Parámetros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.7. Solución de la ecuación diferencial lineal no homogénea de orden n por el Método
de la Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.7.1. Expansión en fracciones parciales . . . . . . . . . . . . . . . . . . . . . . . 9
1.7.2. La Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2. Resolución de una Ecuación Diferencial Lineal de Tercer Orden por tres mé-
todos 13

Escuela Profesional de Física 2 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

1. Teoría de las Ecuaciones Diferenciales Lineales de Orden


Superior
1.1. Introduccíon
Una ecuación diferencial de orden n es una ecuación que se puede escribir de la forma:

fn (x)y (n) + fn−1 (x)y (n−1) + ... + f1 (x)y 0 + f0 (x)y = Q(x), (1)

donde f0 (x), f1 (x), ..., fn (x), y Q(x) son cada una funciones continuas de x definidas en un
intervalo común I y fn (x) 6≡ 0 en I.
Note que en la ecuación diferencial lineal de orden n, y y cada una  (n)de
3 sus derivadas tienen
0 1/2
exponente uno. No puede tener por ejemplo, términos como (y ) o y
.
Definición: si Q(x) 6≡ 0 en I la ecuación (1) se llama ecuación diferencial lineal no
homogénea de orden n. Si en (1), Q(x) ≡ 0 en I, la ecuación resultante:

fn (x)y (n) + fn−1 (x)y (n−1) + ... + f1 (x)y 0 + f0 (x)y = 0, (2)

es llamada ecuación diferencial lineal homogénea de orden n.

Para un entendimiento más claro de la solución de la ecuación diferencial lineal de orden n,


necesitaremos:

El significado de la independencia lineal de un grupo de funciones.

1.2. Independencia Lineal de Funciones


Definición: Un conjunto de funciones f0 (x), f1 (x), ..., fn (x) cada una definida en un intervalo
común I, es llamada linealmente dependiente, si existe un conjunto de constantes c0 , c1 , ..., cn
no todas cero, tal que :
c1 f1 (x) + c2 f2 (x) + ... + cn fn (x) = 0, (3)
para todo x en I. Si tal conjunto de constantes c0 , c1 , ..., cn no existe, entonces el conjunto de
funciones es llamado linealmente independiente

Definición: El lado izquierdo de (3) es llamado una combinación lineal del conjunto de
funciones f0 (x), f1 (x), ..., fn (x).
Una forma equivalente, pero más práctica es derivando (n-1) la ecuación (3),

c1 y1 +c2 y2 + ... + cn yn = 0
c1 y10 +c2 y20 + ... + cn yn0 = 0
c1 y100 +c2 y200 + ... + cn yn00 = 0
..
.
(n−1) (n−1)
c1 y 1 +c2 y2 + ... + cn yn(n−1) = 0

Del Álgebra lineal, si el determinante de los coeficientes c1 , c2 , ...cn no es cero, entonces la


única solución para el sistema es la solución trivial c1 = c2 = ... = cn = 0, a dicho determinante,
se le llama Wronskiano de las funciones f1 , f2 , ..., fn .

Escuela Profesional de Física 3 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

1.3. Ecuación diferencial lineal de orden n


En la sección 1.2 ya hemos introducido la ecuación diferencial lineal de orden n, en relación
con esta ecuación, hay dos teoremas extremadamente importantes :

Teorema 1.3.1: Si f0 (x), f1 (x), ..., fn (x), y Q(x) son cada una funciones continuas de x de-
finidas en un intervalo común I y fn (x) 6≡ 0 en I cuando x esta en I, entonces la ecuación
diferencial:
fn (x)y (n) + fn−1 (x)y (n−1) + ... + f1 (x)y 0 + f0 (x)y = Q(x), (4)
tiene una y solo una solución:
y = y(x), (5)
que satisface la condiciones iniciales:

y(x0 ) = y0 , y 0 (x0 ) = y1 , ..., y (n−1) (x0 ) = yn−1 , (6)

dónde x0 esta en I y y0 , y1 , ..., yn−1 son constantes. Este teorema es el teorema de existencia y
unicidad, es de existencia porque nos dice bajo que condiciones una solución de (4) que satisfaga 6
debe existir, es de unicidad porque da condiciones bajo las cuales la solución de (4) que satisfaga
6 es única. El segundo teorema, incorpora tres propiedades ampliamente usadas.
Teorema 1.3.2: Si f0 (x), f1 (x), ..., fn (x), y Q(x) son cada una funciones continuas de x defi-
nidas en un intervalo común I y fn (x) 6≡ 0 en I cuando x esta en I, entonces:
1. La ecuación diferencial lineal homogénea

fn (x)y (n) + fn−1 (x)y (n−1) + ... + f1 (x)y 0 + f0 (x)y = 0, (7)


tiene n soluciones linealmente independientes y1 (x), y2 (x), ..., yn (x).
2. La combinación lineal de estas n soluciones

yc (x) = c1 y1 (x) + c2 y2 (x) + ... + cn yn (x) (8)


donde c0 , c1 , ..., cn es un conjunto arbitrario de n constantes, es también una solución de (7)
y se llama función complementaria
3. La función
y(x) = yc (x) + yp (x) (9)
dónde yc (x) quedó definida por 8 y yp (x) es una solución particular de la ecuación diferencial
no homogénea.

1.4. Solución de la ecuación diferencial lineal homogénea de orden n


con coeficientes constantes
Una ecuación diferencial lineal homogénea de orden n con coeficientes constantes es de la
forma :
an y (n) + an−1 y (n−1) + ... + a1 y 0 + a0 y = 0, (10)
dónde a0 , a1 , ..., an son constantes y an 6= 0.

Probemos una posible solución de la forma

y = emx (11)

Escuela Profesional de Física 4 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Ahora nos preguntamos, ¿para que valor de m la ecuación (11) será solución de (10)? Reem-
plazando en 10 y fijándonos que la k-ésima derivada de emx es mk emx tenemos:

an (emx )(n) + an−1 (emx )(n−1) + ... + a1 (emx )0 + a0 (emx ) = 0 (12)

an mn emx + an−1 mn−1 emx + ... + a1 memx + a0 emx = 0 (13)


Como emx 6= 0 para todo m y x, tenemos:

an mn + an−1 mn−1 + ... + a1 m + a0 = 0 (14)

Finalmente tenemos nuestra respuesta, cada valor de m que satisfaga (14) hará que y = emx sea
solución de (10).

Como (14) es una ecuación algebraica de grado n , por el teorema fundamental del Álgebra
sabemos que esta ecuación tiene al menos una solución y no más de n soluciones distintas, llame-
mos a estas n raices m1 , m2 , ..., mn , dónde las emes no tienen que ser necesariamente distintas,
entonces, cada función:

y1 = em1 x , y2 = em2 x , ..., yn = emn x (15)


es una solución de 10.

Definición: La ecuación (14) es llamada la ecuación característica de (10).

Tenga en cuenta que la ecuación característica se puede obtener fácilmente de 10 si se sustituye


y por m y el orden de las derivadas con un exponente numéricamente igual.

En la resolución de la ecuación característica, las siguientes tres posibilidades pueden ocurrir:

1. Todas la raices son reales y distintas.

Si las n raices m1 , m2 , ..., mn son distintas, entonces las n soluciones:

y1 = em1 x , y2 = em2 x , ..., yn = emn x (16)

Con ayuda del Wronskiano, se puede mostrar que dichas soluciones son linealmente inde-
pendientes y por el teorema 1.3.2,

yc (x) = c1 em1 x + c2 em2 x + ... + cn emn x (17)

2. Todas la raices son reales pero algunas se repiten.

Si, por ejemplo, la raíz m1 se repite k-veces (k > 1), entonces no hemos encontrado n
soluciones linealmente independientes, el Wronskiano de las soluciones, teniendo una o dos
columnas repetidas, será igual a cero. Debemos entonces encontrar k − 1 soluciones más que
sean linealmente independientes de las ya encontradas y de si mismas. Se puede conseguir
otras soluciones suponiendo que otra solución es de la forma

y = uem1 x (18)

Escuela Profesional de Física 5 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

dónde u = u(x), reemplazando dicha solución en la ecuación diferencial, luego de varias


simplificaciones se puede mostrar que:

u(x) = (c1 + c2 x + ... + ck xk−1 )em1 x (19)

y por lo tanto:

yc (x) = (c1 + c2 x + ... + ck xk−1 )em1 x + ck+1 emk+1 x + ... + cn emn x (20)

Si más de una raíz se repite, el argumento de arriba se puede extender fácilmente.

3. Algunas la raíces son complejas

Si los coeficientes de la ecuación característica son reales, entonces, las raíces complejas
que tenga, aparecerán en pares conjugados, es decir, si α + iβ es una raíz, otra raíz deberá
de ser α − iβ.
Si tiene un par conjugado m1 = α + iβ y m2 = α − iβ, entonces, las n soluciones serán:

y1 = e(α+iβ)x , y2 = e(α−iβ)x , y3 = em3 x ..., yn = emn x (21)


y la función complementaria:

yc (x) = c01 e(α+iβ)x + c02 e(α−iβ)x + c3 em3 x + ... + cn emn x (22)

En (22) podemos cambiar las exponenciales complejas usando propiedades de exponentes y


la Fórmula de Euler:

eix = cosx + isinx (23)


Lo que nos da:

yc (x) = eαx (c1 cosβx + c2 sinβx) + c3 em3 x + ... + cn emn x (24)

Si más de una raíz es compleja, se procede de igual forma.

1.5. Solución de la ecuación diferencial lineal no homogénea de orden


n con coeficientes constantes
1.5.1. Solución por el Método de Coeficientes Indeterminados
En la sección anterior nos hemos encargado de encontrar yc (x), lo queda ahora es determinar
yp (x).
El procedimiento que vamos a describir es llamado el Método de Coeficientes Indetermi-
nados. Puede ser usado solamente si Q(x) consiste en un suma de términos, cada uno de los
cuales tiene un número finito de derivadas linealmente independientes, esta restricción implica
que Q(x) solo puede contener términos como a, xk , eαx sinx cosx y sus combinaciones, dónde a
es una constante y k es un entero positivo.

Para hallar yp (x) por el método de coeficientes indeterminados, es necesario comparar los tér-
minos de Q(x) en con los términos de la función complementaria yc (x). Al hacer esta comparación,

Escuela Profesional de Física 6 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

se puede producir un número de diferentes posibilidades, cada una de las cuales consideramos por
separado en los siguientes casos:

Caso 1. Ningún término en Q(x) es el mismo que yc (x), en este caso, la solución particular
yp (x) será la combinación lineal de Q(x) y sus derivadas linealmente independientes.

Caso 2. Q(x) contiene un término que, sin contar coeficientes constantes, es xk veces un
término en u(x) de yc (x), dónde k es cero o un entero positivo. En este caso, la solución particular
yp (x) será la combinación lineal de xk+1 u(x) y todas sus derivadas linealmente independientes
(ignorando coeficientes constantes). Si además Q(x) contiene términos que pertenezcan al caso 1,
entonces los términos correspondientes deberán de incluirse en yp (x).
Caso 3. Este caso es aplicable solo si se cumplen las dos siguientes condiciones:

A. La ecuación característica tiene un raíz de multiplicidad r.


B. Q(x) contiene un término que, ignorando coeficientes constantes, es xk veces un término u(x)
en yc (x), dónde u(x) fue obtenido de la raíz de multiplicidad r.

En este caso, una solución particular yp (x) será la combinación lineal de xk+r u(x) y todas sus
derivadas linealmente independientes. Si, además Q(x) contiene términos que pertenezcan a los
caso 1 y 2, entonces los términos correspondientes deberán de incluirse en yp (x).

1.6. Solución de la ecuación diferencial lineal no homogénea de orden


n por el Método de Variación de Parámetros
El método de variación nos permite resolver algunas ecuaciones diferenciales lineales con co-
eficientes que dependen de x, y además nos permite resolver ecuaciones en las que Q(x) tiene un
número infinito de derivadas linealmente independientes.
Si las n soluciones linealmente independientes de la ecuación homogénea asociada son cono-
cidas, es posible encontrar una solución particular yp (x), suponiendo que las solución particular
yp (x) tiene la siguiente forma

yp (x) = u1 (x)y1 (x) + u2 (x)y2 (x) + ... + un (x)yn (x) (25)


dónde u1 , u2 , ..., un son funciones desconocidas de x , podemos simplificar la notación de la si-
guiente manera:

yp = u1 y1 + u2 y2 + ... + un yn (26)
por determinar, derivando, obtenemos:

yp0 = u01 y1 + u1 y10 + u02 y2 + u2 y20 + ... + u0n yn + un yn0 (27)


Podemos observar en 26 que si seguimos derivando, van a aparecer derivadas de orden cada vez
mayor, debido a que las funciones u que satisfacen (25) son infinitas, podemos imponer condiciones
para facilitarnos los cálculos. La primera condición será que :

u01 y1 + u02 y2 + ... + u0n yn = 0 (28)

Con lo cual tendriamos:


yp0 = u1 y10 + u2 y20 + ... + un yn0 (29)

Escuela Profesional de Física 7 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Calculamos la segunda derivada:

yp00 = u01 y10 + u1 y100 + u02 y20 + u2 y200 ... + u0n yn0 + un yn00 (30)
Si queremos calcular la tercera derivada, tendríamos las segundas derivadas de u, por lo que
imponemos la segunda condición:

u01 y10 + u02 y20 + ... + u0n yn0 = 0 (31)


La ecuacion 29 se convertiria en

yp00 = u1 y100 + u2 y200 + ... + un yn00 (32)


Calculamos la tercera derivada:

yp000 = u01 y100 + u1 y1000 + u02 y200 + u2 y2000 ... + u0n yn00 + un yn000 (33)
Imponiendo que :
u01 y100 + u02 y200 + ... + u0n yn00 = 0 (34)
Tendremos:

yp000 = u1 y1000 + u2 y2000 + ... + un yn000 (35)


Hasta ahora hemos calculado las primeras tres derivadas de yp :

yp = u1 y1 + u2 y2 + ... + un yn (26)

yp0 = u1 y10 + u2 y20 + ... + un yn0 (29)

yp00 = u1 y100 + u2 y200 + ... + un yn00 (32)

yp000 = u1 y1000 + u2 y2000 + ... + un yn000 (35)


si seguimos imponiendo condiciones consecutivamente, la (n − 1)-ésima condición será
(n−2) (n−2)
u01 y1 + u02 y2 + ... + u0n yn(n−2) = 0 (36)
por lo tanto la derivada de yp será
(n−1) (n−1)
yp(n−1) = u1 y1 + u2 y2 + ... + un yn(n−1) (37)
La n-ésima condición será que yp satisfaga la ecuación

fn (x)y (n) + fn−1 (x)y (n−1) + ... + f1 (x)y 0 + f0 (x)y = Q(x), (38)

Para que la condición se cumpla, se reemplaza yp y sus n primeras derivas en (38), luego se agrupa
y simplifica para finalmente obtener:

(n−1) (n−1) Q(x)


u01 y1 + u02 y2 + ... + u0n yn(n−1) = (39)
fn (x)

Escuela Profesional de Física 8 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Con todas las n condiciones, podemos formar el siguiente sistema de ecuaciones:

u01 y1 +u02 y2 + ... + u0n yn = 0


u01 y10 +u02 y20 + ... + u0n yn0 = 0
u01 y100 +u02 y200 + ... + u0n yn00 = 0
..
.
(n−2) (n−2)
u01 y1 +u02 y2 + ... + u0n yn(n−2) = 0
(n−1) (n−1) Q(x)
u01 y1 +u02 y2 + ... + u0n yn(n−1) =
fn (x)

Resolviendo el sistema de ecuaciones para u01 , u02 , ..., u0n y luego integrando, obtenemos u1 , u2 , ..., un ,
conocidas las funciones, habremos obtenido yp .

1.7. Solución de la ecuación diferencial lineal no homogénea de orden


n por el Método de la Transformada de Laplace
Antes de empezar con el método de la Transformada de Laplace, será necesario repasar la
expansión por fracciones parciales.

1.7.1. Expansión en fracciones parciales


La forma general de determinar la forma de cada numerador en las expansión por fracciones
parciales del cociente P (x)/Q(x) dónde P (x) es de un grado menor que Q(x) será evidente en el
ejemplo siguiente

Q(x) = (x + a)(x3 + b)(x2 + c)2 (x + d)3 , (40)


y sea P (x) un polinomio un grado menor que Q(x), entonces la expansión en fracciones parciales
de P (x)/Q(x) tendrá la forma:

P (x) A Bx2 + Cx + D Ex + F Gx + H I J K
= + 3
+ 2 + 2 2
+ + 2
+ . (41)
Q(x) x+a x +b x +c (x + c) x + d (x + d) (x + d)3

Note que:

1. Cada numerador es un polinomio de un grado menor que el término dentro del paréntesis
del denominador.

2. Un término como (x2 + c) tiene el exponente fuera del paréntesis. Por lo tanto (x2 + c)
aparece dos veces en el denominador, una vez como (x2 + c), la segunda vez como (x2 + c)2 .

3. Un término como (x + d)3 tiene exponen tres fuera del paréntesis. Por lo tanto, (x + d)
aparece tres veces en el denominador, una vez como (x + d), la segunda vez como (x + d)2
y la tercera vez como (x + d)3 .

Escuela Profesional de Física 9 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

1.7.2. La Transformada de Laplace


Definición: Sea f (x) una función definida en el intervalo I: 0 ≤ x < ∞. Entonces la Trans-
formada de Laplace de f (x) esta definida por
Z ∞
L[f (x)] = F (s) = e−sx f (x) dx, (42)
0

dónde se asume que f (x) es una función para la cual la integral de la derecha existe para algún
valor de s.

1.7.2.1 Propiedades de la Transformada de Laplace


Teorema. Si la transformada de Laplace de f1 (x) coverge para s > s1 y la transformada de
Laplace de f2 (x) converge para s > s2 , entonces para s mayores que s1 y s2 ,

L[c1 f1 + c2 f2 ] = c1 L[f1 ] + c2 L[f2 ], (43)


dónde c1 y c2 son constantes. La transformada de Laplace es un operador lineal.

Teorema. Si f1 (x) y f2 (x) son funciones continuas de x y f1 = f2 , entonces L[f1 ] = L[f2 ]. De


igual forma, si L[f1 ] = L[f2 ], y f1 (x),f2 (x) son funciones continuas de x, entonces f1 = f2 .

Definición. Si F es la transformada de Laplace de una función continua f, es decir:

L[f ] = F, (44)

entonces la transformada inversa de Laplace de F , escrita como L−1 , es

L−1 [F ] = f. (45)
En otras palabras, la transformada inversa recupera la función continua f si tenemos F .

Teorema. La transformada inversa de Laplace es una operación lineal.

L−1 [c1 f1 + c2 f2 ] = c1 L−1 [f1 ] + c2 L−1 [f2 ], (46)

1.7.2.2 Construcción de la tabla de transformadas de Laplace


Encontraremos la transformada de Laplace para algunas funciones simples.
Z ∞ Z h
−sx
L[k] = e dx = k lı́m e−sx dx
0 h→+∞ 0
h
−e−sx −e−sx 1 (47)
= k lı́m [ ] = k lı́m [ + ]
h→+∞ s 0
h→+∞ s s
k
= , s>0
s

Escuela Profesional de Física 10 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Z ∞ Z h
−sx n
n
L[x ] = e x dx = lı́m e−sx xn dx
0 h→+∞ 0
n n−1
h
−sx −x nx n(n − 1)xn−2 n!x n! (48)
= lı́m e ( − − − ... − n − n+1 )
h→+∞ s s2 s3 s s 0
n!
= , s>0
sn+1
Z ∞ Z h
ax −sx ax
L[e ] = e e dx = lı́m e(a−s)x dx
0 h→+∞ 0
h
e(a−s)x

= lı́m [ ]
h→+∞ a − s (49)
0
1
= lı́m (e(a−s)h − 1)
a − s h→+∞
1
=
s−a
eiax − e−iax
L[sin ax] = L[ ]
2i
1 1 1
= ( − )
2i s − ia s + ia (50)
1 2ai
= ( 2 )
2i s + a2
a
= 2
s + a2
eiax + e−iax
L[cos ax] = L[ ]
2
1 1 1
= ( + )
2 s − ia s + ia (51)
1 2s
= ( 2 )
2 s + a2
s
= 2
s + a2

1.7.2.3 Solución de la ecuación diferencial lineal de orden n con coeficientes cons-


tantes por el método de la la transformada de Laplace
Tomando la transformada de Laplace a :

an y (n) + an−1 y (n−1) + ... + a1 y 0 + a0 y = f (x) (52)

tenemos

L[an y (n) ] + L[an−1 y (n−1) ] + ... + L[a1 y 0 ] + L[a0 y] = L[f (x)], (53)

an L[y (n) ] + an−1 L[y (n−1) ] + ... + a1 L[y 0 ] + a0 L[y] = L[f (x)], (54)

Nuestra siguiente tarea es calcular L[y (n) ]

Escuela Profesional de Física 11 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Z ∞
L[y (n)
]= e−sx y (n) dx (55)
0

Si n = 0, se convierte en (recuerde que n es el orden, no un exponente)


Z ∞
L[y] = e−sx y dx (56)
0
sin = 1, tenemos Z ∞
0
L[y ] = e−sx y 0 dx (57)
0

Integrando por partes, tenemos que u = e−sx , dv = y 0 dx


h Z ∞
0 −sx
e−sx y dx

L[y ] = lı́m [e y(x)] + s
h→+∞ 0
0 (58)
Z ∞
−sh
= lı́m [e y(h) − y(0)] + s e−sx y dx
h→+∞ 0

Ahora hacemos la suposición adicional de que y(x), es una función que cumple

lı́m e−sx y k (x) = 0, k = 0, 1, 2, ..., n − 1 (59)


h→+∞

Entonces, 58 se convierte en:

L[y 0 ] = −y(0) + sL[y]. (60)


Podemos calcular L[y 00 ] rápidamente con ayuda de (60), si en dicha ecuación, reemplazamos
y por y 0 :

L[y 00 ] = −y 0 (0) + sL[y 0 ].


(61)
= s2 L[y] − [y 0 (0) + sy(0)].
Repitiendo el proceso hasta llega a la n-ésima derivada de y, tenemos :

L[y n ] = sn L[y] − [y n−1 (0) + sy n−2 (0) + ... + sn−2 y 0 (0) + sn−1 y(0)]. (62)
Con todo lo expuesto anteriormente, ahora estos listos para resolver un problema por los tres
métodos estudiados.

Escuela Profesional de Física 12 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

2. Resolución de una Ecuación Diferencial Lineal de Tercer


Orden por tres métodos
Resolver
y 000 + y 00 + y 0 + y = x2 + 2x − 2 (1)
Resolución por el Método de Coeficientes Indeterminados
Por el teorema de existencia y unicidad, (1) tiene solución única y es de la forma

y(x) = yc (x) + yp (x) (2)


Calculamos la función complementaria yc (x) resolviendo la ecuación homogénea asociada:

y 000 + y 00 + y 0 + y = 0 (3)

Formando la ecuación característica suponiendo una solución de la forma y = emx como se


indicó

m3 + m2 + m + 1 = 0 (4)
Las posibles raíces racionales de (4) son ± {1}

1 1 1 1
−1 −1 0 −1
1 0 1 0

(m + 1)(m2 + 1) = 0
(m + 1)(m2 − (−1)) = 0
(5)
(m + 1)(m2 − (−i)2 ) = 0
(m + 1)(m + i)(m − i) = 0

De dónde obtenemos m1 = −1, m2 = i y m3 = −i, por lo que las soluciones serían:

y1 (x) = e−x y2 (x) = eix y3 (x) = e−ix (6)


Para que las ecuaciones en (6) sean soluciones, deben de verificar 3, probando con y1 (x)

(e−x )000 + (e−x )00 + (e−x )0 + (e−x ) = 0


(7)
(−e−x ) + (e−x ) + (−e−x ) + (e−x ) = 0

0=0 (8)
Probando con y2 (x)

(eix )000 + (eix )00 + (eix )0 + (eix ) = 0


(9)
(−ieix ) + (−eix ) + (ieix ) + (eix ) = 0

0=0 (10)

Escuela Profesional de Física 13 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Probando con y3 (x)

(e−ix )000 + (e−ix )00 + (e−ix )0 + (e−ix ) = 0


(11)
(ieix ) + (−eix ) + (−ieix ) + (e−ix ) = 0

0=0 (12)
Como se puede ver, las tres ecuaciones son soluciones de (3), ahora, veremos si son linealmente
independientes, para eso, calculamos el Wronskiano, pero antes de eso cambiamos las exponen-
ciales complejas por senos y cosenos:

yc (x) = c1 e−x + c02 eix + c03 e−ix (13)


Usando la fórmula de euler, tenemos:

yc (x) = c1 e−x + c02 (cosx + isinx) + c03 (cos(−x) + isin(−x)) (14)


Agrupando

yc (x) = c1 e−x + (c02 + c03 )cosx + i(c02 − c03 )sinx (15)

Haciendo (c02 + c03 ) = c2 y i(c02 − c03 ) = c3 , tenemos

yc (x) = c1 e−x + c2 cosx + c3 sinx (16)


Calculando el Wronskiano de { e−x , cosx, sinx}

−x
e
−x cosx sinx
−x −sinx cosx −x cosx sinx −x cosx sinx

W = −e
−sinx cosx = e
− (−e ) + e
e−x −cosx −sinx −cosx −sinx −cosx −sinx −sin cosx

W = e−x (sin2 x + cos2 x) + 0 + e−x (cos2 x + sin2 x)


W = e−x + e−x (17)
W = 2e−x 6= 0
Como el Wronskiano no es cero, las soluciones son linealmente independientes, por el teorema
de superposición, la combinación lineal de las soluciones también es una solución:

yc (x) = c1 e−x + c2 cosx + c3 sinx (18)


Derivando tres veces, tenemos:

yc0 (x) = −c1 e−x − c2 sinx + c3 cosx (19)

yc00 (x) = c1 e−x − c2 cosx − c3 sinx (20)

yc000 (x) = −c1 e−x + c2 sinx − c3 cosx (21)

Escuela Profesional de Física 14 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Como el lado izquierdo de (3) es la suma de (18)(19)(20) y (21), tenemos:

yc000 +yc00 +yc0 +yc = (−c1 +c1 −c1 +c1 )e−x +(c2 −c2 −c2 +c2 )cosx+(−c3 −c3 +c3 +c3 )sinx = 0 (22)

0=0 (23)
Lo que comprueba que yc (x) es solución y además es la solución general de la ecuación homo-
génea asociada.

Calculamos yp (x) por el Método de Coeficientes Indeterminados. Comparando los términos


de Q(x) con los términos de yc (x) vemos que no tienen términos comunes, por lo que se cumple
el caso 1, por lo que la solución particular yp (x) tendrá la siguiente forma

yp (x) = Ax2 + Bx + C (24)


Derivando sucesivamente:

yp0 (x) = 2Ax + B (25)

yp00 (x) = 2A (26)

yp000 (x) = 0 (27)


Sustituyendo yp (x) y sus derivadas en (1), tenemos:

yp000 (x) + yp00 (x) + yp0 (x) + yp (x) = x2 + 2x − 2 (28)

0 + 2A + (2Ax + B) + (Ax2 + Bx + C) ≡ x2 + 2x − 2 (29)

Ax2 + (2A + B)x + (2A + B + C) ≡ x2 + 2x − 2 (30)


De dónde

A=1 (31)

B=0 (32)

c = −4 (33)
Por lo que la solución particular sería:

yp (x) = x2 − 4 (34)
Comprobando que yp (x) satisface (1):

(x2 − 4)000 + (x2 − 4)00 + (x2 − 4)0 + (x2 − 4) = x2 + 2x − 2 (35)

0 + 2 + (2x) + (x2 − 4) = x2 + 2x − 2 (36)

Escuela Profesional de Física 15 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

x2 + 2x − 2 = x2 + 2x − 2 (37)
Finalmente, la solución general de 1 será y(x)

y(x) = yc (x) + yp (x) (38)

y(x) = yc (x) = c1 e−x + c2 cosx + c3 sinx + x2 − 4 (39)


Calculamos yp (x) por el Método de Variación de Parámetros Suponemos una solución parti-
cular de la forma

yp (x) = u1 (x)e−x + u2 (x)cosx + u3 (x)sinx (40)

Formamos el sistema de ecuaciones

u01 (e−x )+u02 (cosx) + u0n (sinx) = 0


u01 (−e−x )+u02 (−sinx) + u0n (cosx) = 0
u01 (e−x )+u02 (−cosx) + u0n (−sinx) = x2 + 2x − 2

Este sistema se puede resolver mediante el uso de determinantes, de manera que

W1 W2 W3
u01 = u02 = u03 = , (41)
W W W

dónde W es el Wronskiano de las soluciones y



0 cosx sinx
W1 = 0 −sinx cosx = (x2 + 2x − 2)(cos2 x − (−sin2 x))
x2 + 2x − 2 −cosx −sinx

W1 = x2 + 2x − 2 (42)

−x
e 0 sinx −x
−x e sinx
W2 = −e 0 cosx = (x2 + 2x − 2) −x
−x 2 −e cosx
e x + 2x − 2 −sinx

W2 = (−e−x )(x2 + 2x − 2)(cosx + sinx) (43)

Escuela Profesional de Física 16 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

−x
e cosx 0 −x
−x 2
e cosx
W3 = −e −sinx 0 = (x + 2x − 2) −x

e−x −cosx x2 + 2x − 2
−e −sinx

W3 = (e−x )(x2 + 2x − 2)(cosx − sinx) (44)


conocidos W , W1 , W2 y W3 , tenemos:

W1 x2 + 2x − 2
u01 = = (45)
W 2e−x
W2 (−e−x )(x2 + 2x − 2)(cosx + sinx) (x2 + 2x − 2)(cosx + sinx)
u02 = = = (46)
W 2e−x −2
W3 (e−x )(x2 + 2x − 2)(cosx − sinx) (x2 + 2x − 2)(cosx − sinx)
u03 = = = (47)
W 2e−x 2
0 0 0
Integrando u1 , u2 y u3 obtenemos:
1
u01 = x2 ex − ex (48)
2
1 1
u02 = (x2 − 6)cosx − (x2 + 4x − 2)sinx (49)
2 2
1 1
u03 = (x2 − 6)sinx + (x2 + 4x − 2)cosx (50)
2 2
Multiplicando (48),(49) y (50) por y1 ,y2 y y3 respectivamente, obtenemos
1
u01 (e−x ) = x2 − 1 (51)
2
1 1
u02 (cosx) = (x2 − 6)cos2 x − (x2 + 4x − 2)sinxcosx (52)
2 2
1 1
u03 (sinx) = (x2 − 6)sin2 x + (x2 + 4x − 2)sinxcosx (53)
2 2
Sumando estas últimas tres ecuaciones, tenes muestra solución particular yp (x)
1 1
yp (x) = x2 − 1 + (x2 − 6) = x2 − 4 (54)
2 2
Nuestra solución será:

y(x) = yc (x) = c1 e−x + c2 cosx + c3 sinx + x2 − 4 (55)


La cual concuerda con la solución particular que encontramos por el método de coeficientes
indeterminados.

Escuela Profesional de Física 17 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Calculamos y(x) por el Método de la transformada de Laplace:


Tomando la Transformada de Laplace a :

y 000 + y 00 + y 0 + y = x2 + 2x − 2 (56)
obtenemos

L[y 000 ] + L[y 00 ] + L[y 0 ] + L[y] = L[x2 + 2x − 2] (57)

L[y 000 ] + L[y 00 ] + L[y 0 ] + L[y] = L[x2 ] + 2L[x] − L[2] (58)


Reemplazando en (57) las ecuaciones obtenidas en la sección teórica de la transformada de
Laplace, tenemos

L[y 000 ] = s3 L[y] − [y 00 (0) + sy 0 (0) + s2 y(0)] (59)

L[y 00 ] = s2 L[y] − [y 0 (0) + sy(0)] (60)

L[y 0 ] = sL[y] − [y(0)] (61)

L[y] = L[y] (62)

2! 2
L[x2 ] = = (63)
s2+1 s3
1! 1
L[x] = = (64)
s1+1 s2
2
L[2] = (65)
s
Reemplazando estas ecuaciones en (58) y agrupando, obtenemos:

2 2 2
(s3 + s2 + s + 1)L[y] − [y 00 (0) + sy 0 (0) + s2 y(0) + y 0 (0) + sy(0) + y(0)] = 3
+ 2− (66)
s s s
Facto rizando en el corchete y transformando la fracción del lado derecho,

2 + 2s − 2s2
(s3 + s2 + s + 1)L[y] − [y 00 (0) + (s + 1)y 0 (0) + (s2 + s + 1)y(0)] = (67)
s3
Pasando el corchete al lado derecho de la ecuación,

2 + 2s − 2s2
(s3 + s2 + s + 1)L[y] = + [y 00 (0) + (s + 1)y 0 (0) + (s2 + s + 1)y(0)] (68)
s3
Uniformando denominadores,

2 + 2s − 2s2 + y 00 (0)s3 + (s + 1)s3 y 0 (0) + (s2 + s + 1)s3 y(0)


(s3 + s2 + s + 1)L[y] = (69)
s3

2 + 2s − 2s2 + y 00 (0)s3 + (s3 + s3 )y 0 (0) + (s5 + s4 + s3 )y(0)


(s3 + s2 + s + 1)L[y] = (70)
s3
Escuela Profesional de Física 18 de 22 UNMSM
131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Ordenando el lado derecho en términos de s de forma decreciente,

y(0)s5 + [y(0) + y 0 (0)]s4 + [y(0) + y 0 (0) + y 00 (0)]s3 − 2s2 + 2s + 2


(s3 + s2 + s + 1)L[y] = (71)
s3
Despejando L[y]

y(0)s5 + [y(0) + y 0 (0)]s4 + [y(0) + y 0 (0) + y 00 (0)]s3 − 2s2 + 2s + 2


L[y] = (72)
(s3 + s2 + s + 1)s3
Para factorizar s3 + s2 + s + 1, lo dividimos por una de las dos posibles raíces racionales ± {1}

1 1 1 1
−1 −1 0 −1
1 0 1 0

Con lo que podemos factorizarla de la siguiente manera

s3 + s2 + s + 1 = (s + 1)(s2 + 1) (73)

Reemplazando (73) en (72)

y(0)s5 + [y(0) + y 0 (0)]s4 + [y(0) + y 0 (0) + y 00 (0)]s3 − 2s2 + 2s + 2


L[y] = (74)
((s + 1)s3 (s2 + 1)
Haciendo

N = y(0)s5 + [y(0) + y 0 (0)]s4 + [y(0) + y 0 (0) + y 00 (0)]s3 − 2s2 + 2s + 2 (75)

N
L[y] = (76)
(s + 1)s3 (s2 + 1)
El lado derecho se puede expandir por fracciones parciales de la siguiente manera
N A B C D Es + F
L[y] = 3 2
= + + 2+ 3+ 2 (77)
(s + 1)s (s + 1) s+1 s s s s +1
Homogeneizando denominadores en el lado derecho,

A(s5 + s3 ) + B(s5 + s4 + s3 + s2 ) + C(s4 + s3 + s2 + s) + D(s3 + s2 + s + 1) + E(s5 + s4 ) + F (s4 + s3 )


(s + 1)s3 (s2 + 1)
(78)
Ordenando en potencias de s de forma decreciente,

(A + B + E)s5 + (B + C + E + F )s4 + (A + B + C + D + F )s3 + (B + C + D)s2 + (C + D)s + D


(s + 1)s3 (s2 + 1)
(79)

Escuela Profesional de Física 19 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Igualando el numerador de (79) con (75), obtenemos el siguiente sistema de ecuaciones,

A + B + E = y(0) (80)

B + C + E + F = y(0) + y 0 (0) (81)

A + B + C + D + F = y(0) + y 0 (0) + y 00 (0) (82)

B + C + D = −2 (83)

C +D =2 (84)

D=2 (85)
Podemos ver que
D=2 (86)

C=0 (87)

B = −4 (88)
Despejando A,E en (80), E y F en (81) y A, F en (82),

A + E = y(0) − B (89)

E + F = y(0) + y 0 (0) − (B + C) (90)

A + F = y(0) + y 0 (0) + y 00 (0) − (B + C + D) (91)


Restando 90 de 89

(A + E) − (E + F ) = [y(0) − B] − [y(0) + y 0 (0) − (B + C)] (92)

A − F = −y 0 (0) + C (93)
Sumando (91) y (93)

(A + F ) + (A − F ) = [y(0) + y 0 (0) + y 00 (0) − (B + C + D)] + [−y 0 (0) + C] (94)

2A = y(0) + y 00 (0) − B − D (95)

y(0) + y 00 (0) − B − D y(0) + y 00 (0) + 2


A= = (96)
2 2
Reemplazando (96) en (89), (93) tenemos:

y(0) − y 0 (0) − B + D y(0) − y 0 (0) + 6


E= = (97)
2 2

Escuela Profesional de Física 20 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

y(0) + 3y 0 (0) − B − D − C y(0) + 3y 0 (0) + 2


F = = (98)
2 2
Como podemos observar, ecuaciones (96),(97),(98) dependen de las condiciones iniciales, por
lo tanto, son constantes arbitrarias,

y(0) + y 00 (0) + 2
A= = c01 (99)
2
y(0) − y 0 (0) + 6
E= = c02 (100)
2
y(0) + 3y 0 (0) + 2
F = = c03 (101)
2
Reemplazando todo en (77),

c01 −4 0 2 c0 s + c03
L[y] = + + 2 + 3 + 22 (102)
s+1 s s s s +1
Ordenando y separando el último cociente,

c01 −4 2 c0 s c0
L[y] = + + 3 + 22 + 2 3 (103)
s+1 s s s +1 s +1
Tomando la Transformada inversa,

c01 −4 2 c0 s c0
y(x) = L−1 [ ] + L−1 [ ] + L−1 [ 3 ] + L−1 [ 2 2 ] + L−1 [ 2 3 ] (104)
s+1 s s s +1 s +1
Comparando con las transformadas de Laplace calculadas en la página ,tenemos

y(x) = c1 e−x − 4 + x2 + c2 cosx + c3 sinx (105)


Ordenando,

y(x) = yc (x) = c1 e−x + c2 cosx + c3 sinx + x2 − 4 (106)


La cual es la misma solución obtenida por los dos métodos anteriores.

Escuela Profesional de Física 21 de 22 UNMSM


131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior

Referencias
[1] Ordinary Differential Equations: An Elementary Textbook for Students of Mathematics,
Engineering, and the Sciences. Morris Tenenbaum, Harry Pollard. Courier Corporation, 1963.
[2] Mathematical Methodos for Physics and Engineering: A Comprehensive Guide. K. F. Riley,
M. P. Hobson, S. J. Bence. Cambridge University Press, 2006.

Escuela Profesional de Física 22 de 22 UNMSM