Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Reporte
1
131281 – Ecuaciones Diferenciales EDOs Lineales de Orden Superior
Índice
2. Resolución de una Ecuación Diferencial Lineal de Tercer Orden por tres mé-
todos 13
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:
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
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:
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
y = emx (11)
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:
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:
Con ayuda del Wronskiano, se puede mostrar que dichas soluciones son linealmente inde-
pendientes y por el teorema 1.3.2,
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)
y por lo tanto:
yc (x) = (c1 + c2 x + ... + ck xk−1 )em1 x + ck+1 emk+1 x + ... + cn emn x (20)
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:
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,
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:
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).
yp = u1 y1 + u2 y2 + ... + un yn (26)
por determinar, derivando, obtenemos:
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:
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:
yp = u1 y1 + u2 y2 + ... + un yn (26)
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:
Resolviendo el sistema de ecuaciones para u01 , u02 , ..., u0n y luego integrando, obtenemos u1 , u2 , ..., un ,
conocidas las funciones, habremos obtenido yp .
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 .
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.
L[f ] = F, (44)
L−1 [F ] = f. (45)
En otras palabras, la transformada inversa recupera la función continua f si tenemos F .
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
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)
Z ∞
L[y (n)
]= e−sx y (n) dx (55)
0
Ahora hacemos la suposición adicional de que y(x), es una función que cumple
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.
y 000 + y 00 + y 0 + y = 0 (3)
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
0=0 (8)
Probando con y2 (x)
0=0 (10)
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:
−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
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.
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 + 2x − 2 = x2 + 2x − 2 (37)
Finalmente, la solución general de 1 será y(x)
W1 W2 W3
u01 = u02 = u03 = , (41)
W W W
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
−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
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 000 + y 00 + y 0 + y = x2 + 2x − 2 (56)
obtenemos
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,
1 1 1 1
−1 −1 0 −1
1 0 1 0
s3 + s2 + s + 1 = (s + 1)(s2 + 1) (73)
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 + B + E = y(0) (80)
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)
A − F = −y 0 (0) + C (93)
Sumando (91) y (93)
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
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.