ECUACIONES DIFERENCIALES ORDINARIAS DE 1er ORDEN (EDO)

Son ecuaciones en las que solo aparase la primera derivada de la variable dependiente y los
coeficientes son funciones de la variable independiente.

Ecuaciones separables: (/) = ()(). Separe las variables e integre.

1
= () () = g() () = g()
()

Ecuaciones lineales: / + () = (). El factor integrante se lo calcula mediante

() = () . Al multiplicar toda la EDO por el factor integrante, reduce la ecuacin a

(())/ = ()() se convierte en una ecuacin separable de modo que al integrar se

obtiene
() = ()() = ()1 [ + ()()]

Ecuaciones exactas: (, ) = . Las soluciones estn dadas de manera implcita por

(, ) = . Si / = /, entonces Mdx + Ndy = 0 es exacta y F est dada por

= + g(), g () =

= + (), () =

Cuando una EDO no es separable, lineal ni exacta, podra hallarse un factor integrante o
realizar una sustitucin que nos permita resolver la ecuacin.

Factores integrantes especiales: () + () = .

/ /
) / /
() = ( . Es un factor integrante si solo depende de x.

/ /
) / /
() = ( . Es un factor integrante si solo depende de y.

Ecuaciones Homogneas: / = (). Sea = /. Entonces

/ = + (/) y la nueva ecuacin en las variables v y x es separable.

Ecuaciones de la forma: / = ( + ). Sea z = ax + by. Entonces

/ = + (/) y la nueva ecuacin en las variables z y x es separable.
Ecuaciones de Bernoulli: (/) + () = () . Para n 0 o 1, sea = 1.
Entonces / = (1 ) (/) y la nueva ecuacin en las variables v y x es lineal.

Ecuaciones lineales: ( + + ) + ( + + ) = . Para 1 2 2 1,

sean x = u + h y y = v + k, donde h y k satisfacen

1 + 1 + 1 = 0
{
2 + 2 + 2 = 0

Entonces la nueva ecuacin en las variables u y v es homognea.

ECUACIONES DIFERENCIALES DE 2do ORDEN (EDO)

Son ecuaciones de la forma 2 2 = (, , )

Ecuaciones de 2do orden que admiten reduccin de orden

d2y
Ecuaciones en las que no aparece la variable dependiente y: 2 f x, y '.
dx
Sustitucin: y ' w y ' ' w' ; Ecuacin transformada: w' f x, w.

d2y
Ecuaciones en las que no aparece la variable independiente x: f y, y '.
dx 2
dy
d
d w dw dy
w y' ' 2
2
dy d y dx dw
Sustitucin: y ' w
dx dx dx dx dy dx dy

f y, w.
dw
Ecuacin transformada: w
dy
Ecuaciones diferenciales lineales de 2do orden

Son ecuaciones cuya forma cannica est dada por: y' ' x pxy' x qxyx g x

Si g(x) = 0: se tiene la ecuacin homognea: y' ' x pxy' x qxyx 0

TEOREMA (Principio de Superposicin)

Si y1 y y2 son soluciones de la ED: y' ' x pxy' x qxyx 0

Entonces una combinacin lineal: (c1y1+c2y2) tambin es solucin de la ED tal que c1 , c2 R.

Demostracin: Planteamos las siguientes hiptesis

Hiptesis 1: y1 es una solucin de la ED, es decir y1 ' ' x pxy1 ' x qxy1 x 0

Hiptesis 2: y2 es una solucin de la ED, es decir y2 ' ' x pxy2 ' x qxy2 x 0

Por demostrar: c1 y1 c2 y2 ' ' pxc1 y1 c2 y2 'qxc1 y1 c2 y2 0

Multiplicando la ecuacin de la hiptesis 1 por c1: c1 y1 ' ' x c1 pxy1 ' x c1qxy1 x 0

Multiplicando la ecuacin de la hiptesis 2 por c2: c2 y2 ' ' x c2 pxy2 ' x c2 qxy2 x 0

Sumando ambas ecuaciones se obtiene: c1 y1 ' 'c2 y2 ' ' c1 pxy1 'c2 pxy2 ' c1qxy1 c2 qxy2 0

c1 y1 c2 y2 ' ' pxc1 y1 c2 y2 'qxc1 y1 c2 y2 0 c1 y1 c2 y2 es solucin de la ED

WRONSKIANO: Para cualquier par de funciones f y g, la funcin:

f x g x
W f , g x f x g ' x f ' x g x : se denomina wronskiano de f y g.
f ' x g ' x

Considerando la combinacin lineal: c1 f x c2 g x 0 c1 f ' x c2 g ' x 0

f x g x c1 0
Representacin matricial de las ecuaciones:
f ' x g ' x c2 0
Anlisis del sistema de ecuaciones homogneo:

f x g x
1) Si el determinante de la matriz de coeficientes constantes 0 , el sistema
tiene solucin trivial c1 = c2 = 0. f ' x g ' x
Por lo tanto las funciones f y g son linealmente independientes (L. I.).
(Esto es: 0 (. . ): (, )(0 ) 0, g . .)

f x g x
2) Si el determinante de la matriz de coeficientes constantes 0 , el sistema
tiene infinitas soluciones. f ' x g ' x
Por lo tanto las funciones f y g son linealmente dependientes (L. D.).
(Esto es: 0 (. . ): (, )(0 ) = 0, g . .)
Representacin de Soluciones (Caso Homogneo)

Si y1 y y2 son soluciones en el intervalo (a,b) de: y' ' x pxy' x qxyx 0 donde p(x)
y q(x) son funciones continuas en (a,b) y si existe algn punto x0 en (a,b) donde w(y1, y2) 0,
entonces cualquier solucin de y' ' x pxy' x qxyx 0 se puede expresar como:
yx c1 y1 c2 y2 ; c1 , c2 R. Esta ltima expresin se llama solucin general de la ecuacin
diferencial y {y1(x), y2(x)} es una base o conjunto fundamental de soluciones.

Cmo hallar una segunda solucin L. I. a una primera solucin conocida?

Sea y1(x) una solucin de: y' ' pxy'qxy 0 es decir: y1 ' ' pxy1 'qxy1 0
Una solucin L. I. a y1(x) est dada por: y2(x) = v(x)y1(x) tal que v1(x) es una funcin por
hallar. Por tanto y2 ' vy1 'v' y1 y2 ' ' vy1 ' '2v' y1 'v' ' y1 sustituyendo y2 , y2 ' , y2 ' ' en la ED:
y' ' x pxy' x qxyx 0 se obtiene:
y2 ' ' pxy2 'qxy2 0 vy1 ' '2v' y1 'v' ' pxvy1 'v' y1 qxvy1 0
vy1 ' ' pxy1 'qxy1 v' 2 y1 ' pxy1 v' ' y1 0 v' 2 y1 ' pxy1 v' ' y1 0 :
ED de segundo orden en la que no aparece la variable v. Al realizar la sustitucin para
reducir el orden de la ED: v' w ; v' ' w' se obtiene w2 y1 ' pxy1 y1 dw dx 0
2 y ' px y1 2y '
w2 y1 ' px y1 dx ln w 1 px dx
dw dw
y1 1
dx w y1 y1

ln w 2 ln y1 px dx w exp ln y1 px dx w y1 exp px dx
2 2

px dx

dv
dx
2

y1 exp px dx vx e
y1 2
dx.

()
Entonces una solucin L. I. a la solucin y1(x) conocida es: 2 () = 1 () 2
1 ()
( )
As la solucin general de la ED es: () = 1 1 () + 2 1 () 2 ; 1 , 2
1 ()

TEOREMA DE ABEL

Si y1 y y2 son soluciones de la ED: y' ' pxy'qxy 0 tal que p y q son funciones continuas
en un intervalo abierto I. entonces el W(y1, y2)(x) est dado por (1 , 2 )() = () .
Tal que y depende de y1 y y2 pero no de x.
Demostracin: Planteamos las siguientes hiptesis

H1: y1 satisface la ED: y1 ' ' pxy1 'qxy1 0

H2: y2 satisface la ED: y2 ' ' pxy2 'qxy2 0

Al multiplicar H1 por y2 y H2 por y1, al sumar las ecuaciones obtenemos:

H1 y2 y1 ' ' y2 pxy1 ' y2 qxy1 y2 0

H 2 y1 y1 y2 ' ' pxy1 y2 'qxy1 y2 0

H 2 y1 H1 y 2 y1 y 2 ' ' y1 ' ' y 2 px y1 y 2 ' y1 ' y 2 0 ; W y1 , y 2 y1 y 2 ' y1 ' y 2

W ' y1 , y2 y1 y2 ' y1 ' y2 ' y1 ' y2 ' y1 y2 ' ' y1 ' ' y2 y1 ' y2 ' y1 y2 ' ' y1 ' ' y2

W ' px W 0
dW
dx
px W
dW
W
px dx ln W k px dx W exp k px dx
(1 , 2 ) = () 0 ; =

Por lo tanto los wronskianos de conjuntos fundamentales de soluciones de una ED solamente

se diferencian por una constate multiplicativa. Adems, puede determinarse el wronskiano de
cualquier conjunto fundamental de soluciones sin tener que resolver la ED, es decir, sin
conocer las funciones de dicho conjunto.

Si una solucin de la ED es conocida y1 y se quiere encontrar una segunda solucin

linealmente independiente y2, se puede utilizar el teorema de Abel suponiendo que: c 0
como sigue: (1 , 2 ) = () 1 2 1 2 = () . Se obtiene la ED lineal:

1 () 1
2 2 = ; () =
1 1 1

1 1
El factor integrante es: () = 1 = . Multiplicando la ED por el factor integrante:
1

2 1 () 2 () 2 ()
= ( )= ( ) =
1 (1 )2 2 (1 )2 1 (1 )2 1 (1 )2

2 () ()
= 2 = 1
1 (1 )2 (1 )2

As, la solucin general de la ED: + () + () = 0 est dada por:

()
() = 1 1 +
2 (1 ) ; 1 , 2
(1 )2
1 2
EDO LINEAL DE 2do ORDEN HOMOGNEA DE COEFICIENTES CONSTANTES

Es una ecuacin de la forma ay' ' x by' x cyx 0 , tal que: a, b, c R

Para hallar la solucin: se hace la suposicin de que yx e tal que r es una constante por
rx

determinar que satisface la ecuacin diferencial. Luego para verificar si la suposicin es

vlida, se la sustituye en la ED. As, y' x re rx ; y' ' x r 2 e rx.

Sustituyendo en la ED se obtiene: ar 2 e rx bre rx ce rx 0 e rx ar 2 br c 0
Se sabe que la ecuacin exponencial no tiene solucin sin embargo la segunda ecuacin
cuadrtica tiene dos soluciones y presenta tras posibles casos, por lo tanto la suposicin de
que: yx e rx es una solucin es vlida siempre que r sea solucin de la ecuacin

cuadrtica ar br c 0 la cual se denomina ecuacin caracterstica o auxiliar.
2

CASOS DE LA ECUACIN AUXILIAR

Caso 1: Si el discriminante = 2 4 > 0, la ecuacin auxiliar tiene dos soluciones reales

distintas r1 y r2 y las funciones 1 () = 1 2 () = 2 son soluciones de la ED.
Para que estas soluciones sean un conjunto fundamental de soluciones de la ED, se debe
probar que sean linealmente independientes, es decir que W(y1, y2)(x) 0.
e r1x e r2 x
W y1 , y 2 x r x r2 x
r2 e r1x e r2 x r1e r1x e r2 x r2 r1 e r1 r2 x 0 ya que r1 r2
r1e 1
r2 e
Entonces la solucin general de la ED est dada por: yx c1e r1x c 2 e r2 x ; c1 , c2 R

Caso 2: Si el discriminante = 2 4 = 0, la ecuacin auxiliar tiene solucin real

repetida r y la funcin 1 () = es solucin de la ED. Para hallar la segunda solucin
linealmente independiente se utiliza reduccin de orden, es decir:
()
2 () = 1 () 2
, considerando la ecuacin de la forma cannica:
1 ()


y ' ' x y ' x y x 0 , entonces: 2 () = 1 () 2 . Analizando el discriminante:
a c
b a
b b 2 4ac b b
= 4 = 0, entonces r
2
2r
2a 2a a
2rdx 2 rx
rx e
Por lo tanto, y 2 x e
rx e
dx e 2 rx dx e rx dx xerx
e
rx 2 e

Por lo tanto la solucin general de la ED est dada por: yx c1e rx c 2 xerx ; c1 , c2 R

Caso 3: Si el discriminante = 2 4 < 0, la ecuacin auxiliar tiene soluciones complejas

12 = y las funciones 1 () = 1 2 () = 2 son soluciones de la ED, es decir,

las funciones: 1 () = (+ ) = = () + () ;
2 () = ( ) = = () () son soluciones de la ED dada.
Entonces la suma de y1(x) y y2(x) tambin es una solucin y la llamaremos y3(x) para la ED
pero no es solucin general por la dependencia lineal entre dichas funciones: y3 = c1 y1 + c2 y2
Sin embargo podemos realizar los siguientes artificios a la solucin y3(x) para obtener la
solucin general y(x):
y 3 x c1e x cosx isen x c 2 e x cosx isen x

y 3 x c1e x cosx c1e x isen x c 2 e x cosx c 2 e x isen x

y 3 x c1 c 2 ex cosx ic1 c 2 ex senx

k1 k2

Lema: Sea z(t) = u(t) + iv(t) una solucin de la ED: az' ' t bz' t czt 0, donde a, b, c son
nmeros reales. Entonces la parte real u(t) y la parte imaginaria v(t) son soluciones de la ED
con valores reales.

Demostracin: Por hiptesis az' ' t bz' t czt 0 , de donde

au' ' t iv' ' t bu' t iv' t cut ivt 0
au' ' t bu' t cut iav' ' t bv' t cvt 0

Pero un nmero imaginario se anula si y solamente si, sus partes real e imaginaria se anulan.
As debemos tener au' ' t bu' t cut 0 y av' ' t bv' t cvt 0
Lo que significa que u(t) y v(t) son soluciones con valores reales de la ED. Al aplicar este
lema a la solucin y3(x) obtenemos lo siguiente:

Si la ecuacin auxiliar tiene races complejas conjugadas , entonces dos soluciones

linealmente independientes de la ED son () , () y una solucin general es:
yx k1ex cosx k 2 ex senx ; k1 , k 2 R
ECUACIN DE CAUCHY-EULER DE 2do ORDEN

Es una ecuacin de la forma: 2 2 () + 1 () + 0 () = 0 tal que 2 , 1 , 0

Se transforma en una ED de coeficientes constantes utilizando la sustitucin:
x e t t ln x t e t Adems, y ' x e e t y ' t
dt 1 1 dy dt dy t

dx x e dt dx dt
dy dy
d d
y' ' x
dx


dx dt d e t y' t dt t dy
e
d2y d 2 y dy
e t 2 e t e 2t 2
dx dt dx dt dx dt dt dt dt

2t d y dy

2
t dy
a e 2t
e
dt a e t
e a0 y 0
dt
Al sustituir ; ; en la ED de CauchyEuler se obtiene: 2 2 1
dt
ED de coeficientes constantes: a2 y' ' t a1 a2 y' t a0 yt 0 . La ecuacin auxiliar es:
2 2 + (1 2 ) + 0 = 0

CASOS:

1. Si la ecuacin auxiliar tiene soluciones reales distintas r1, r2, las soluciones L.I. son las
funciones: y1 t e 1 y1 x x 1 y 2 t e r2t y 2 x x r2
rx r
;
2. Si la ecuacin auxiliar tiene solucin real repetida r, las soluciones L. I. son las
funciones: y1 t e rx y1 x x r ; y 2 t te rt y 2 x x r ln x
3. Si la ecuacin auxiliar tiene soluciones complejas conjugadas: 12 = , las
soluciones L. I. son:
y1 t et cost y1 x x cos ln x ; y 2 t et sent y 2 x x sen ln x

Solucin general: yx c1 x cos ln x c2 x sen ln x ; c1 , c2 R

EDO LINEAL DE 2do ORDEN NO HOMOGNEA

Es una ecuacin de la forma: y' ' x pxy' x qxyx g x

TEOREMA 1

Si y1(x) y y2(x) son soluciones de la ED no homognea: y' ' x pxy' x qxyx g x

Entonces: y1(x) y2(x) es solucin de la ED homognea y' ' x pxy' x qxyx 0
Demostracin: Planteamos las siguientes hiptesis

H1: y1(x) es solucin de la ED no homognea, esto es: y1 ' ' x pxy1 ' x qxy1 x g x
H2: y2(x) es solucin de la ED no homognea, esto es: y2 ' ' x pxy2 ' x qxy2 x g x
PD: y1(x) y2(x) es solucin de la ED homognea correspondiente.
Restando las ecuaciones de H1 y H2 se obtiene:
y1 ' ' x y2 ' ' x pxy1 ' x pxy2 ' x qxy1 x qxy2 x g x g x
Agrupando trminos semejantes: y1 x y2 x' ' px y1 x y2 x'qx y1 x y2 x 0

TEOREMA 2

Dada una solucin cualquiera yp(x) (denominada solucin particular) de la ED no homognea:

() + ()() + ()() = g(), cualquiera de sus otras soluciones puede escribirse
como: y(x) = yc(x) + yp(x). tal que yc(x) = c1Y1(x) + c2Y2(x) es la solucin general de la ED
homognea correspondiente (denominada solucin complementaria).
Por lo tanto, y(x) = yc(x) + yp(x) es la solucin general de la ED no homognea.

Demostracin: Por el teorema 1, si y1(x) y y2(x) son dos soluciones de la ED no homognea,

entonces y1(x) y2(x) es solucin de la ED homognea correspondiente y por tanto igual a la
combinacin lineal de dos soluciones linealmente independientes de la ED homognea para
algn par de constantes c1, c2, esto es: y1(x) y2(x) = c1Y1(x) + c2Y2(x). si suponemos que y1(x)
es desconocida y la denominamos y(x) y adems suponemos que y2(x) es una solucin
conocida de la ED no homognea y se la denomina yp(x), se obtiene lo siguiente:
y(x) yp(x) = c1Y1(x) + c2Y2(x). Entonces, al despejar y(x) se obtiene: y(x) = yc(x) + yp(x).
y(x) = c1Y1(x) + c2Y2(x) + yp(x); yc(x) = c1Y1(x) + c2Y2(x)

PRINCIPIO DE SUPERPOSICIN

Se tiene la ED: () + ()() + ()() = g1 () + + g ()

Sea 1 () la solucin de la ED: () + ()() + ()() = g1 ()

Sea () la solucin de la ED: () + ()() + ()() = g ()

Entonces: () = 1 () + 2 () + + () es la solucin de la ED

() + ()() + ()() = g1 () + + g ()
 MTODOS PARA HALLAR yp(x)

Mtodo de los coeficientes indeterminados.

Mtodo de variacin de parmetros (mtodo general)

MTODO DE LOS COEFICIENTES INDETERMINADOS

Dada la ED no homognea: y' ' x pxy' x qxyx g x tal que: , , 0

Sea S: el menor entero no negativo (positivo o cero) tal que cada trmino de la solucin Yp(x)
es linealmente independiente a la solucin de la ED homognea (solucin complementaria).

Si g(x) es de la siguiente forma: Se asume Yp(x) de la forma:

? ?
? ?
?

n 1
i) Polinomial : a n x a n 1 x a1 x a0
n
: An x An 1 x A1 x A0 x S
n n 1


? x S
ii ) Exponencia l : ae x
: Ae x


? ?
iii ) Combinaci n lineal de senos y cosenos : asenx b cosx : Asenx B cosx x S


?
? ?
?

iv ) ex a n x n a1 x a0 : An x n A1 x A0 ex x S


? ?

v) ex asenx b cosx : Asenx B cosx ex x S


?
?

vi ) Pn x senx Qm x cosx : PN x senx QM x cosx x S


tal que N max {n,m}

?
?

vii ) e x
Pn x senx Qm x cosx
: PN x senx Q N x cosx ex x S


 MTODO DE VARIACIN DE PARMETRO

Es un mtodo general para hallar la solucin particular de una ED lineal:

y' ' x pxy' x qxyx g x , siempre que se conozca la solucin complementaria yc(x)
de la ED homognea correspondiente: y' ' x pxy' x qxyx 0

El mtodo consiste en suponer la solucin particular de la forma yp(x) = v1(x)Y1(x) + v2(x)Y2(x)

tal que v1,v2 son parmetros variables (funciones) que deben hallarse y Y1(x), Y2(x) son las
soluciones L. I. de la solucin complementaria.

De esta forma: y p ' x v1 ' Y1 v1Y1 'v 2 ' Y2 v 2Y2 ' y p ' x v1Y1 'v 2Y2 'v1 ' Y1 v 2Y2 '

Se hace la suposicin: 1 1 + 2 2 = 0 primera condicin que debe satisfacer v1, v2.

Por lo tanto: y p ' x v1Y1 'v 2Y2 ' y p ' ' x v1Y1 ' 'v1 ' Y1 'v 2 ' Y2 'v 2Y2 ' '

Sustituyendo (), (), () en la ED no homognea se obtiene:

v1Y1 ' 'v1 ' Y1 'v2 ' Y2 'v2Y2 ' ' pxv1Y1 'v2Y2 ' qxv1Y1 v2Y2 g x

v1 Y1 ' ' p x Y1 ' qx Y1 v 2 Y2 ' ' px Y2 ' qx Y2 v1 ' Y1 'v 2 ' Y2 ' g x

0: y1 :solucin 0: y 2 :solucin
de la ED homognea de la ED homognea

Entonces: 1 1 + 2 2 = g() segunda condicin que debe satisfacer v1, v2.

Por lo tanto, para que todas las suposiciones sean vlidas, v1, v2 deben satisfacer el sistema:

v1 ' Y1 v2 ' Y2 0 Y Y2 v1 ' 0

Reprecenta cin matricial : 1 v ' g x
1 1 2 2
v ' Y ' v ' Y ' g x 1
Y ' Y2 2
'

As, las soluciones del sistema (utilizando la regla de Crammer) son las siguientes:
0 Y2 Y2 0
g x Y2 ' Y2 g x Y2 g x Y2 ' g x
Y g x Y g x
v1 ' v1 x dx ; v 2 ' 1 v 2 x 1 dx
Y1 Y2 W Y1 , Y2 W Y1 , Y2 Y1 Y2 W Y1 , Y2 W Y1 , Y2
Y1 ' Y2 ' Y1 ' Y2 '

Y2 g x Y g x
As, la solucin particular est dada por: y p x Y1 dx Y2 1 dx
W Y1 , Y2 W Y1 , Y2
EDO LINEAL DE ORDEN SUPERIOR HOMOGNEA

Es una ED de la forma: y n x a n 1 y n 1 x a n 2 y n 2 x a1 y ' x a0 yx 0

y1 y2 yn
y1 ' y2 ' yn '
WRONSKIANO DE n FUNCIONES: W y1 , y 2 , , y n y1 ' ' y2 ' ' yn ' '

n 1 n 1 n 1
y1 y2 yn

SOLUCIN GENERAL

Si y1, y2,, yn son soluciones de la ecuacin diferencial:

y n x a n 1 y n 1 x a n 2 y n 2 x a1 y ' x a 0 y x 0 tal que W y1 , y 2 , , y n 0

Entonces la solucin general est dada por: yx c1 y1 x c2 y2 x cn yn x ; c1 , c2 ,, cn R

EDO Lineal de Orden Superior Homognea de Coeficientes Constantes

Es una ED de la forma: a n y x a n 1 y x a n 2 y x a1 y' x a0 yx 0

n n 1 n 2

tal que 1 , , . Se supone la solucin de la forma: yx e rx y' x re rx y n x r n e rx

Sustituyendo y(x) y sus derivadas n la ED, se obtiene:

a n r n e rx a n 1 r n 1e rx a 2 r 2 e rx a1 re rx a 0 e rx 0

e rx a n r n a n 1 r n 1 a 2 r 2 a1 r a 0 0 . Por lo tanto, la suposicin es vlida si los
valores de r son las races de la ecuacin (auxiliar): a n r n a n 1 r n 1 a 2 r 2 a1 r a 0 0

CASOS DE LA ECUACIN AUXILIAR

Caso 1: Si la ecuacin auxiliar tiene soluciones reales distintas r1,,rn, entonces debido a
estas races se tienen n soluciones L. I. de la forma: y1 x e r1x y 2 x e r2 x y n x e rn x

Caso 2: Si la ecuacin auxiliar tiene alguna solucin real repetida de multiplicidad m,

entonces debido a sta raz hay m soluciones linealmente independientes de la forma:

y1 x e rx y 2 x xerx y m x x m 1e rx
Caso 3: Si la ecuacin auxilia tiene alguna solucin compleja conjugada de multiplicidad
m, entonces debido a sta raz existen 2m soluciones L. I. de la forma:

y11 x ex cosx ; y12 x ex senx

y 21 x xex cosx ; y 22 x xex senx

y m1 x x m1ex cosx ; y m 2 x x m1ex senx

EDO LINEAL DE ORDEN SUPERIOR NO HOMOGNEA

Sea yp(x) una solucin particular de la ED no homognea:

y n x a n 1 y n 1 x a n 2 y n 2 x a1 y ' x a 0 yx g x

Sea {y1, y2,, yn} un conjunto fundamental de soluciones en cierto intervalo para la
correspondiente ED homognea: y n x a n 1 y n 1 x a n 2 y n 2 x a1 y ' x a 0 y x 0

Entonces la solucin general de la ED no homognea se puede expresar de la forma:

yx c1 y1 x c2 y 2 x cn y n x y p x ; c1 , c2 , , cn R

Mtodo de los coeficientes indeterminados (Para hallar yp(x))

Se aplica bajo las mismas condiciones planteadas en las ED de 2do orden.

Mtodo de variacin de parmetros (Para hallar yp(x))

Sea {y1, y2,, yn} un conjunto fundamental de soluciones de la ED homognea:

y n x a n 1 y n 1 x a n 2 y n 2 x a1 y ' x a 0 y x 0

Entonces la solucin particular de la ED no homognea:

y n x a n 1 y n 1 x a n 2 y n 2 x a1 y ' x a 0 yx g x

tiene la forma: y p x v1 x y1 x v 2 x y 2 x v n x y n x tal que v1 x , v 2 x , , v n x

son parmetros (funciones) que deben ser hallados y que deben satisfacer el siguiente sistema
de ecuaciones:
 y1v1 ' y 2 v 2 ' y n v n ' y1 y2 y n v1 ' 0
y1 ' v1 ' y 2 ' v 2 ' y n ' v n ' y' y2 ' y n ' v 2 ' 0
1
y 1 ' ' v1 ' y 2 ' ' v 2 ' y n ' ' v n ' Matricialm ente : y1 ' ' y2 ' ' y n ' ' v3 ' 0


n 1
v n ' g x
n 1 n 1 y1 n 1 n 1 n 1
y1 v1 ' y 2 v 2 ' y n v n ' y2 yn

Por lo tanto:
0 y2 yn y1 0 yn y1 y2 0
0 y2 ' yn ' y1 ' 0 yn ' y1 ' y2 ' 0
0 y2 ' ' yn ' ' y1 ' ' 0 yn ' ' y1 ' ' y2 ' ' 0

g x y 2 g 0 y n g x
n 1 n 1 n 1 n 1 n 1 n 1
yn y1 y1 y2
v1 ' ; v2 ' ; ; v n '
y1 y2 yn y1 y2 yn y1 y2 yn
y1 ' y2 ' yn ' y1 ' y2 ' yn ' y1 ' y2 ' yn '
y1 ' ' y2 ' ' yn ' ' y1 ' ' y2 ' ' yn ' ' y1 ' ' y2 ' ' yn ' '

n 1 n 1 n 1 n 1 n 1 n 1 n 1 n 1 n 1
y1 y2 yn y1 y2 yn y1 y2 yn

v1 x v1 ' x dx ; v 2 x v 2 ' x dx ; ; v n x v n ' x dx

Finalmente, y p x y1 x v1 ' x dx y 2 x v 2 ' x dx y n x v n ' x dx

ECUACIN DE CAUCHY EULER DE ORDEN SUPERIOR

Es una ED de la forma: a n x y x a n 1 x y x a 2 x 2 y' ' x a1 xy' x a0 yx 0

n n n 1 n 1

tal que: 1 , , . Se transforma en una ED de coeficientes constantes utilizando la

sustitucin: x = et.

Ecuacin de Cauchy Euler de 3er Orden: a3 x y ' ' ' x a 2 x y ' ' x a1 xy' x a 0 y x 0
3 2

2
Sustitucin: x e t t ln x dt 1 e t Adems, y' x e t dy ; y' ' x e 2t d y dy
2
dt
dx x dt dt
d 2 y dy
d e 2t 2
d y ' ' x d y ' ' x dt dt dt dt d3y dy

d2y
y' ' ' x e 3t 3 3 2 2
dx dt dx dt dx dt dt dt
Al sustituir: ; (); (); () en la ED de Cauchy Euler se obtiene:
d 3 y dy d 2 y dy
d2y
dy
a 3 e 3t e 3t 3 3 2 2 a 2 e 2t e 2t 2 a1 e t e t
a 0 y t 0
dt dt dt dt dt dt
d3y d2y dy d 2 y dy
a 0 y t 0
dy
a 3 3 3 2 2 a 2 2 a1
dt dt dt dt dt dt
d3y d2y
a3 3
a 2 3a 3 2
2a 3 a 2 a1 a 0 y t 0
dy
dt dt dt
a 3 y ' ' ' t a 2 3a 3 y ' ' t 2a 3 a 2 a1 y ' t a 0 y t 0
y t e rt y ' t re rt y ' ' t r 2 e rt y ' ' ' t r 3 e rt
Al sustituir y t ; y t ' ; y t ' ' ; y t ' ' ' en la ED de coeficient es constantes obtenemos :
a 3 r 3 e rt a 2 3a 3 r 2 e rt 2a 3 a 2 a1 re rt a 0 e rt 0
Por lo tanto la ecuacin auxiliar es : a3 r 3 a 2 3a3 r 2 2a 3 a 2 a1 r a 0 0

MTODO DEL ANULADOR

Observe que todos los tipos adecuados de no homogeneidades f(x) tales como polinomios,
exponenciales, sinusoidales o cualquier combinacin lineal de estas son a su vez soluciones
de ED homogneas con coeficientes constantes.

Cualquier trmino no homogneo de la forma:

(i) f (x) = erx satisface (D r)[ f ] = 0.

(ii) f (x) = xkerx satisface (D r)m[ f ] = 0. Para k = 0, 1, , m 1
(iii) f (x) = cos(x) o sen(x) satisface (D2 2)[ f ] = 0.
(iv) f (x) = xkexcos(x) o xkexsen(x) satisface [(D )2 2]m[ f ] = 0.

Definicin: Un operador diferencial lineal A anula a f si A[ f ] = 0, para toda x. Es decir, A

anula a f si f es una solucin de la ecuacin diferencial homognea en ( , ).

Considere la ecuacin diferencial de orden n con coecientes constantes.

() () + 1 (1) () + + 2 () + 1 () + 0 () = ()

Que se puede escribir en la forma de operador diferencial () = ()

Donde = () + 1 (1) + + 2 2 + 1 + 0

Suponga que A es un operador diferencial lineal con coeficientes constantes que anula a f (x).
Entonces [ ]() = 0, de modo que toda solucin de () = () es tambin solucin
de la ED homognea () = 0
SERIES DE POTENCIAS

Una serie de potencias en (x 0) tiene la forma: a
n 0
n x n a 0 a1 x a 2 x 2 a3 x 3

Una serie de potencias en (x c), tal que tiene la forma:

a x c a 0 a1 x c a 2 x c a3 x c
n 2 3
n
n 0

Al reemplazar la variable x de una serie de potencias por una constante, se obtiene una serie
numrica. Ejemplo:

n2 n2 n
x 1 n
: es una S. P., pero si x 3 : 2 : se obtiene una serie numrica .
n 0 n! n 0 n!
an

INTERVALO DE CONVERGENCIA DE LA SERIE DE POTENCIAS

Una serie de potencias es una funcin que depende de x: f x a n x c
n
tal que su
n 0
dominio es el conjunto de valores de x para los cuales la serie de potencias se convierte en
una serie numrica convergente; por ello, el dominio se denomina intervalo de convergencia.
Toda serie de potencias converge en su centro x = c, puesto que:

f x a n x c a 0 a1 x c a 2 x c a3 x c
n 2 3

n 0

f c a n c c a 0 a1 c c a 2 c c a3 c c
n 2 3

n 0

f c a 0 : finito : convergent e. As, x c siempre pertenece al intervalo de convergenc ia.

POSIBLES INTERVALOS DE CONVERGENCIA Y RADIOS DE CONVERGENCIA

Para hallar el intervalo de convergencia es necesario utilizar alguno de los criterios de

convergencia absolutos utilizados en las series numricas, siendo el ms adecuado el criterio
del cociente absoluto.

Caso 1: Si la serie converge solo en su centro x = c, entonces I.C. = {c} y R = 0.

Caso 2: Si la serie converge para todos los reales, entonces I.C. = {, } y R = .

Caso 3: Si la serie converge para algn intervalo | x c | < R, entonces I.C. =

Para analizar la convergencia en los extremos del I.C. en el caso 3 se debe reemplazar cada
uno de stos valores extremos en la S. P. y analizar si la serie numrica obtenida CV. o DV.
DERIVACIN E INTEGRACIN DE SERIES DE POTENCIAS

Sea la funcin: S x a n x n a0 a1 x a 2 x 2 a3 x 3 , entonces :
n 0

T. I . de " x"

i) S ' x Dx an x n an Dx x n nan x n1 a1 2a2 x 3a3 x 2
n 0 n1 n 1

T. I . de " x"



S ' ' x Dx nan x n1 nan Dx x n1 nn 1an x n2 2 a2 6 a3 x
n1 n2 n2
T. I . de " x"
n

x n1

x2 x3
S x dx an x dx an x dx an
a0 x a1 a2
n
ii )
n 0 n 0 n 0 n 1 2 3

LISTA BSICA DE SERIES DE POTENCIA

f x
a
1) ar n ; r 1
1 r n 0

f x
a
2) ax n ; x 1
1 x n 0
1
f x 1 x 1 ; 0 x 2
n n
3)
x n 0

4) f x ln x

1n x 1n1 ; 0 x2
n 0 n 1

xn
5) f x e x ; xR
n 0 n!

6) f x senx

1n x 2n1 ; xR
n 0 2n 1!

7) f x cosx

1n x 2n ; xR
n 0 2n!

8) f x arctan x

1n x 2n1 ; 1 x 1
n 0 2n 1

9) f x arcsenx

2n! x 2n1 ; 1 x 1
n 0 2 n! 2n 1
n 2
ndice de suma: El ndice de suma de una serie infinita es un parmetro ficticio, en la misma
forma que la variable de integracin en una integral definida es una variable ficticia. Por
tanto, que letra se utilice para el ndice de una suma es indiferente. Por ejemplo:

2n x n 2i x i

n 0 n!

i 0 i!

2n x n
2 m 3 x m 3
2 n 3 x n 3
Desplazamiento del ndice de suma:
n 0 n! m 3 m 3! n 3 n 3!

2n x n 4 3 2n x n
Desarrollo de trminos iniciales: x x
1 2x 2 2

n 0 n! 3
n 0 n 1 n 2 n4 n!
n 3

RESOLUCIN DE EDO UTILIZANDO SERIES DE POTNCIAS

Se consideran las EDO lineales de 2do orden de la forma:

Pxy' ' x Qxy' x Rxyx Gx (1)

Una gran cantidad de problemas de la fsica matemtica nos lleva a ecuaciones de la forma:
Pxy' ' x Qxy' x Rxyx 0 ( 2)

Como ejemplos se puede citar:

La ecuacin de Bessel (de orden v): 2 + + ( 2 2 ) = 0 (3)

La ecuacin de Legendre: (1 2 ) 2 + ( + 1) = 0 ( 4)

La ecuacin de Hermite: 2 + = 0 ( 5)
La ecuacin de Chebyshev: (1 2 ) + 2 = 0 ( 6)

Casos: Considere el caso de que P(x), Q(x), y R(x) sean polinomios:

I. Un punto x0 tal que P(x0) 0 se conoce como punto ordinario. Dado que P(x) es
continua, se puede deducir que existe un intervalo alrededor de x0 en el que P(x) nunca es
cero. En dicho intervalo es factible dividir la ecuacin (1) para obtener:
Q x R x Gx
y ' ' x y ' x yx
P x
P x
P x

(7 )
p x q x g x

tal que p(x) y q(x) son continuas, por lo que, segn el teorema de existencia y unicidad,
en ese intervalo existe una solucin nica para la ED que satisface las condiciones
iniciales y(x0) = y0, y(x0) = y0 para valores arbitrarios de y0, y0.
 Alrededor de un punto ordinario se buscan soluciones de la forma:
?

yx a n x x0 a0 a1 x c a 2 x c a0 y1 x a1 y 2 x ; c1 , c2 R
n 2

n 0

c1 c2
Y se supone que la serie converge en el intervalo |x x0| < para algn > 0.

II. Si P(x0) = 0, entonces x0 es llamado punto singular. En este caso, Q(x0) 0 o R(x0) 0 y
al menos uno de los coeficientes p(x) o q(x) de la ecuacin (7) se vuelve no acotado
(discontinuo) cuando x se acerca a x0 y por lo tanto el teorema de existencia y unicidad no
es aplicable. En este caso se utiliza la teora de Frobenious.

TEORA DE FROBENIOUS

Desarrollo en series de potencias alrededor de puntos singulares regulares.

Dada la ecuacin diferencial: Pxy' ' x Qxy' x Rxyx 0

Se dice que x0 es un punto singular regular si:

x x0 Qx
1) xlm existe y es finito : p0
x 0 P x

2) lm x x0 Rx existe y es finito : q
2

P x
0
x x0

Cualquier punto singular que no sea regular se conoce como punto singular irregular.

Para hallar la solucin: alrededor de un punto singular regular se buscan soluciones

linealmente independientes de la forma:

y1 x x x 1 a n x x0 a n x x n r1
r n

0 n 0 n 0 0

y 2 x x x r2 bn x x0 bn x x n r2
n

0 n 0 n 0 0

Para esto se hace la suposicin de que la solucin tiene la forma:

?

yx x x0 a n x x0 a n x x0
r n nr

n 0 n 0
Luego se deduce una ecuacin cuadrtica para r (llamada ecuacin inicial) y as se pueden
plantear las soluciones y1(x) y y2(x) para luego encontrar los coeficientes an y bn.

Finalmente, la solucin general de la ED es: yx a0 y1 x b0 y 2 x ; c1 , c 2 R

c1 c2

Se puede demostrar que la ecuacin inicial tiene la forma: r(r 1) + p0r + q0 = 0

Caso 1: Se tienen dos races r1 r2 reales que no difieren de un entero, esto es: r1 r2 Z

x x0 x x0 n r2

y1 x a n n r1 ; y 2 x bn
n 0 n 0

Caso 2: Si tiene races iguales: r1 = r2 = r (multiplicidad: 2)

x x0 x x0 n r

y1 x a n nr ; y 2 x y1 x ln x x0 bn
n 0 n 0

Caso 3: Se tienen dos races r1 r2 reales que difieren por un entero, esto es: r1 r2 Z

y1 x a n x x n r1 ; y 2 x ay1 x ln x x0 bn x x n r2
n 0 0 n 0 0

OBSERVACIN: Si la primera solucin obtenida es alguna de las potencias de la lista

bsica, se puede hallar la segunda solucin utilizando el mtodo de reduccin de orden o el
teorema de Abel.
MTODO DE LA TRANSFORMADA DE LA PLACE

El mtodo de la transformada de Laplace es una forma til de hallar las soluciones de una
ecuacin diferencial, en el que se reemplazan el proceso de (calcular las derivadas, soluciones
de prueba, descomponer en intervalos o evaluar constantes mediante los datos iniciales) por
algebra elemental. El siguiente esquema ilustra el proceso.

DEFINICIN

Sea f (t) una funcin en [0, ). La transformada de Laplace de f es una funcin F definida
mediante la integral:


() = () = lim ( ())

0 0

El dominio de F(s) est formado por todos los valores de s para los que la integral impropia
existe. La transformada de Laplace de f se denota como F o L{ f }.

TEOREMA DE LINEALIDAD

Sean f, f1, f2 funciones cuyas transformadas de Laplace existen para s > y sea c una
constante. Entonces, para s > ,

{1 + 1 } = {1 } + {2 } {} = {}
CONTINUIDAD POR PARTES

Una funcin f (t) es continua por partes en un intervalo finito [a, b] si f (t) es continua en
cada punto de [a, b] excepto en un nmero finito de pontos donde f (t) tiene una
discontinuidad de salto.

Una funcin f (t) es continua a trozos en [0, ) si f (t) es continua por partes en [0, N] para
toda N > 0.

EXPONENCIAL DE ORDEN

Una funcin f (t) es de orden exponencial si existen constantes positivas A y B tales que:

|()| ,

TEOREMA DE EXISTENCIA DE LA TRANSFORMADA DE LAPLACE

Si f (t) es continua por a trozos en [0, ) y de orden exponencial , entonces L{ f }(s) existe
para s > .

TEOREMA DE TRASLACIN EN s

Si la transformada de Laplace L{ f }(s) = F(s) existe pasa s > , entonces

{ ()}() = ( ) , > +

TEOREMA DE TRASLACIN EN t

Suponga que F(s) = L{ f }(s) existe para s > 0. Si a es una constante positiva, entonces

TEOREMA DE LA TRANSFORMADA DE LAPLACE DE LA DERIVADA

Sea f (t) continua en [0, ) y f (t) continua a trozos en [0, ), ambas de orden exponencial .
Entonces, para s > ,

{()}() = {()} (0).

Teorema de la Transformada de Laplace de Derivadas en Orden Superior

Sean (), (), , (1) () continuas en [0, ) y sea f (n)(t) continua a trozos en [0, ), con
todas las funciones de orden exponencial . Entonces, para s > ,

{ () ()}() = {()} 1 (0) 2 (0) (1) (0).

TEOREMA DE LAS DERIVADAS DE LA TRANSFORMADA DE LAPLACE

Sea () = {()}() y suponga que f (t) es continua a trozos en [0, ) y de orden

exponencial . Entonces para s > ,

()
{ () ()}() = (1)

d n F s
L 1
n

ds n