Mtodos de Soluciones de Ecuaciones Diferenciales Ordinarias

Soluciones en Series de Potencias de las EDOs. Funciones Especiales

a. Mtodo de series de potencia
De clculo recordamos que una serie de potencia (en potencia de x-

x0

) es un serie infinita

de la forma:

a m ( x x0 ) m=a 0+ a1 ( xx 0 ) +a2 ( xx 0 )2+ .

m=0

Donde, x es una variable.

x0

a0 , a1 , a2 ,

Son constantes, llamadas coeficientes de la serie.

es una constante, llamada centro de la serie. En particular, si

x 0=0

, obtenemos la

serie de potencia de x.
Ejemplo:
y-y = 0
Primero,
Se supone una solucin en la forma de una serie de potencias con coeficientes desconocidos.

y= am ( x ) =a 0+ a1 ( x ) +a 2 ( x ) + a3 ( x ) .
m =0

Segundo,
Derivamos las veces necesarias.

y '= mam ( x )
m =1

m1

=a 1+2 a 2 ( x )+ 3 a3 ( x ) .

Tercero,
Reemplazar las funciones en serie en la ecuacin del problema y agrupar las potencias
semejantes.
2

a1 +2 a2 ( x ) +3 a 3 ( x ) a0 a1 ( x )a2 ( x ) a3 ( x ) =0

a
2a
2
( 2a1) ( x )+(3 a3 a2 ) ( x ) =0
( 1a0 )+

Cuarto,

Igualar los coeficientes de cada potencia a cero y llegar a la solucin general.

a
( 1a0)=0 a1=a0

2a
1
1
( 2a1)=0 a 2= a1= a 0
2
2!

( 3 a3 a2 )=0 a3 = 3 a2= 3 ! a0
Con estos valores de los coeficientes, la solucin general es:
y=a0+ a0 ( x )+

a0 2 a0 3
1
2
1 3
( x ) + ( x ) +=a0 1+ ( x ) + ( x ) + ( x ) =a 0 e x .
2!
3!
2!
3!

b. Mtodo de Frobenius
Es un procedimiento para resolver ecuaciones diferenciales lineales con coeficientes
variables; sin embargo, se aplica a ecuaciones para las que el mtodo de series de potencias
deja de ser aplicable, como la ecuacin de Bessel.
Ecuacin de Bessel
x 2 y ' ' + x y ' + ( x 2v 2 ) y=0
Como se ve tiene a x = 0 como punto singular. Si

x0

es un punto singular, deja de ser el

caso en que el mtodo de las series de potencias de soluciones en potencias de x-

x0

simplemente porque la ecuacin puede no tener una solucin de esa forma.

Teorema 1: Toda ecuacin diferencial de la forma
''

(1) y +

b ( x) ' c (x)
y + 2 y =0
x
x

Donde las funciones B(x) y c(x) son analticas en x = 0, tiene al menos una solucin que
puede representarse en la forma

( 2 ) y ( x )=x r a m x m =xr ( a0 +a 1 x +a2 x2 + ) (a0 0)

m=0

Donde el exponente r puede ser cualquier nmero (real o complejo). (r es escogido de modo
a 0
que 0
).
La EDO (1) tiene una segunda solucin que puede ser similar a (2) (de modo que estas dos
soluciones son linealmente independiente con una r y unos coeficientes diferentes, o puede
que contenga un trmino logartmico).
Por ejemplo, la ecuacin de Bessel es de la forma (1) con b(x) = 1 y c(x) =

x 2v 2

analtica en x = 0, por lo que el teorema es aplicable.

Ejemplo:
Para resolver la ecuacin de bessel
2

( 1' ) x y '' + x b (x) y ' + c (x) y=0

Primero,
Se desarrollan b(x) y c(x) en series de potencias.
b ( x )=b 0+ b1 x +b 2 x 2+ , c ( x ) =c 0+ c 1 x +c 2 x 2 + .
Despus,
Se deriva (2) trmino a trmino, encontrndose

y ' ( x )=x r ( m+ r ) am xm +r1=x r 1 [ ( r a 0+ ( r +1 ) a1 x + ) ] ,

m =0

Al insertar estas series en (1) se obtiene

( 3 ) xr [ r ( r 1 ) a 0+ ]+ ( b0 +b 1 x + ) xr ( r a 0+ ) + ( c 0 +c 1 x + ) x r ( a0 +a 1 x + )=0
Ahora,
Se iguala a cero la suma de los coeficientes de cada potencia de x. Se obtiene un sistema de
r
am .
ecuaciones que incluyen los coeficientes desconocidos
La menor potencia es x y
la ecuacin correspondiente es:

[ r ( r1 ) +b 0 r + c0 ] a 0=0

Puesto que

a0 0

, la expresin de los corchetes debe ser cero. Se obtiene as

[ r ( r1 ) +b 0 r + c0 ]=0

(4)

Esta importante ecuacin cuadrtica se conoce como la ecuacin indicial de la ecuacin

diferencial (1). El mtodo tratado llevar a una base de soluciones. Una de las dos soluciones
ser siempre de la forma (2), donde r es una raz de (4). La forma de la otra solucin la
indicar la ecuacin indicial; dependiendo de las races, hay tres casos posibles:

Caso 1: Races diferentes que no difieren por un entero 1, 2, 3, .

Caso 2: Raz doble.

Caso 3: Races que difieren por un entero 1, 2, 3, .

Caso 1: Races diferentes que no difieren por un entero

r1

y 1 (x)=x ( a0 +a1 x+a2 x 2 + )

Y
r2

y 2 (x)=x ( A 0+ A 1 x + A2 x 2+ )
Con coeficientes obtenidos sucesivamente de (3) con r = r1 y r = r2, respectivamente.

Caso 2: Raz doble r1 = r2 = r. Una base es

1
y 1 ( x )=x r ( a0 +a1 x+ a2 x 2 + ) [r= ( 1b0 ) ]
2
1

Y
r

y 2 ( x )= y 1 ( x ) ln x + x ( A1 x+ A 2 x 2+ ) (x >0)

Caso 3: Races que difieren por un entero 1, 2, 3, .

r1

y 1 (x)=x ( a0 +a1 x+a2 x 2 + )

r2

y 2 ( x )=k y1 ( x ) ln x + x ( A0 + A1 x+ A 2 x 2 + )

Donde las races se denotan de tal modo que r1 r2 > 0 y k puede ser cero.

Ejemplo:
Ecuacin de Euler-Cauchy
x 2 y ' ' +b 0 x y ' + c 0 y=0
Substituyendo y =

x r da la ecuacin auxiliar

[ r ( r1 ) +b 0 r + c0 ]=0
Que es la ecuacin indicial y (y = x
diferentes se obtiene una base
base

xr

y 1=x

es una forma muy especial de (2)). Para races r1, r2

r1

y 2=x

r2

, y para una raz doble se obtiene una

x r ln x . Por consiguiente, para esta ecuacin simple, el caso 3 sin un

logartmico no desempea un papel adicional y el caso 3 con un trmino logartmico no es

posible.

c. Transformada de Laplace

F ( s )= est f (t ) dt=L(f )
0

Con el mtodo de transformada de Laplace se resuelven ecuaciones diferenciales y problemas

con valores inicial y en la frontera correspondientes. El proceso para resolver EDOs por este
mtodo consiste de tres pasos:
Paso 1: La EDO se transforma en una ecuacin algebraica, llamada ecuacin subsidiaria.
Paso 2: La ecuacin subsidiaria se resuelve puramente con manipulaciones algebraicas.
Paso 3: La solucin del paso 2 se transforma de vuelta, resultando en la solucin del
problema dado.
Ejemplo:
Sea f(t) = 1 cuando t 0. Encontrar F(s).

F ( s )= est ( 1 ) dt =
0

1 st
e 0 ;
s

Por tanto, cuando s > 0,

T

1 st
1 sT 1 0
lim
e
= lim
e + e
s
s
s
T
T
0
L(1)=

1
s

c.1. Teorema 1: La transformada de Laplace es una operacin lineal; es decir, para

cualesquiera funciones f(t) y g(t) cuyas transformadas de Laplace existan y cualesquiera
constantes a y b.
L { af (t ) +bf ( t ) }=aL { f ( t ) } +bL {g ( t ) }

Ejemplo:
at
at
Sea f ( t )=cosh at =( e + e )/2 . Encontrar L(f).

at }= L

{12 e + 12 e }= 12 ( sa1 + s+1a )= s as (s >a 0)

at

at

L{cosh

Algunas funciones con sus transformadas de Laplace.

c.2. Teorema 2: Si f(t) tiene la transformada F(s) (donde s > k para algn valor de k), entonces
e at f (t ) tiene la transformada F(s-a) (donde s a > k). En formula,
L {e at f ( t ) }=F( sa)

c.3. La transformada de Laplace de Derivadas

'
n1
Sea f , f , , f
sean continuas para todo t 0.

L ( f n ) =s n L ( f )sn1 f ( 0 ) s n2 f ' ( 0 )f n1 (0)

c.4. La Transformada de Laplace de una Integral

1
1
L f ( ) d = F ( s ) , Por consiguiente f ( ) d=L1 F(s)
s
s
0
0

Ejemplo de problema de valor inicial.

Resolver:
''
'
y y=t , y ( 0 )=1, y ( 0 )=1

Paso 1:
Usar la transformada de Laplace en la ecuacin.
s 2 Y sy ( 0 ) y ' ( 0 )Y =

1
1
, As ( s 21 ) Y =s+1+ 2
2
s
s

Paso 2:
La funcin de transferencia es

Q=

1
s 1

1
s+1
1
Y =( s+1 ) Q+ Q= 2 + 2 2
2
s 1 s (s 1)
Y=

1
1
1
+ 2
2
s1 (s 1) s

Paso 3:

Obtenemos y utilizando la transformada de Laplace Inversa

y (t )=L1 (Y )=L1

{s11 }+ L {( s 11) }L { s1 }
1

y (t )=et + sinh tt

d. Teorema de la convolucin
t

h ( t ) =( f g ) ( t ) = f ( ) g ( t ) d
0

Ejemplo:
Sea

H ( s )=

1
[ ( sa ) s2 ] . Encontrar h(t).

Se sabe que
L

{ }

{}

1
1
=t , L1
=eat
2
sa
s

Usando el teorema de convolucin e integrando por partes, se llega a la respuesta

t

h ( t ) =te = e
at

a ( t )

d=e

at

ea d= a12 ( eat at 1 )
0