ED Mediante Series PDF
ED Mediante Series PDF
ED Mediante Series PDF
Existen ciertas ecuaciones diferenciales que no pueden resolverse exactamente en trminos de funciones elementales por cualquiera de los mtodos vistos. Para estos casos existe el mtodo que usa series de potencia.
5.2. Serie de potencias
serie de potencias
Una
es de la forma:
c0 + c1 x + c2 x2 + c3 x3 + . . . + cn xn =
n=0
cn xn
Esta serie de potencias, se pueden obtener mediante el desarrollo en serie de Taylor de una funcin.
5.2.1. Propiedades de la notacin sumatoria
uk = u0 + u1 + u2 + u3 + . . . + un
k=0
2.
uk = u0 + u1 + u2 + u3 + . . .
k=0
47
48CAPTULO 5. 3.
k (k + 1) = 0 + 1 2 + 2 3 + 3 4 + . . . + n(n + 1)
k=0
4.
cn xn =
n=2 n=0
cn+2 xn+2 =
k=0
ck+2 xk+2
5.
cn xn+2 =
n=0 n=2
cn2 xn
6.
cn+m xn+p =
n=k n=0
cn+m+k xn+p+k
7.
k=0
8.
uk +
k=j k=j
vk =
k=j
(uk + vk )
9.
ck =
n=k n=k
ck
5.3.
El mtodo para obtener la solucin de una ecuacin diferencial en serie de potencias es similar a la tcnica de los coecientes indeterminados para ello se necesita conocer la derivada de una serie de potencias y de las propiedades de serie de potencias. Se ilustra el mtodo al resolver la ecuacin diferencial:
dy 2xy = 0 dx
y = c0 + c1 x + c2 x + c3 x + . . . + cn x =
n=0
cn xn
49
Con el objeto de igualar el inicio, se considera k = n 1 para la primera serie y k = n + 1 para la segunda, la ecuacin se transforma en:
dy 2xy = c1 + dx
(k + 1)ck+1 x
k=1 k=1
2ck1 xk = 0
y=
n=0
cn xn = c0 + c1 x + c2 x2 + c3 x3 + c4 x4 + c5 x5 + c6 x6 + . . .
y=
n=0
cn xn = c0 + 0 + c0 x2 + 0 +
1 1 c0 x4 + 0 + c0 x6 + . . . 2! 3!
y=
n=0
cn xn = c0 [1 + x2 +
1 4 1 x2n x + x6 + . . .] = c0 2! 3! n! n=0
50CAPTULO 5.
5.3.1.
x0
es punto ordi-
P (x)
Q(x)
son analticas en
x0 .
La ecuacin diferencial
y +
senx y=0 x
tiene un punto ordinario en x = 0, puesto que Q(x) = senx x se puede desarrollar en serie de Taylor alrededor de x = 0:
Q(x) = senx x2 x4 x6 =1 + + + ... x 3! 5! 7!
es un punto sin-
P (x)
Q(x)
no son analticas en
x0 .
La ecuacin diferencial
y + (lnx)y = 0
tiene un punto singular en x = 0 porque Q(x) = lnx no se puede desarrollar como serie de potencias en x en ese punto.
5.4. El mtodo de la serie de Taylor
Existe un mtodo alternativo para hallar soluciones con series de potencias de la ecuacin diferencial alrededor de un punto ordinario x = a y se conoce como el mtodo de la serie de Taylor. Este mtodo usa los valores de las derivadas evaluadas en el punto ordinario, los cuales se obtienen de la ecuacin diferencial por diferenciacin sucesiva. Cuando se encuentran las derivadas, se realiza la expansin en serie de Taylor alrededor del punto a:
y (x) = y (a) + y (a)(x a) + 1 1 y (a)(x a)2 + y (a)(x a)3 + . . . 2! 3!
Ejemplo 5.1
2y 5y + 3y = 0, a = 1
5.5.
51
5.5.
Existe un mtodo muy interesante debido al matemtico Picard el cual se puede usar para obtener soluciones con series de ecuaciones diferenciales.
Ejemplo 5.2
y =x+y+1
Considerando que
y = c
cuando
x = 0,
x
ambos
y =c+
0
(x + y + 1)dx
de
x.
y = c es una primera aproximacin a y . Denotamos esta y1 = c. Cuando este valor se sustituye por y en el el valor resultante de y por y2 , el cual es una segunda
x
y,
x
esto es:
y2 = c +
0
(x + y1 + 1)dx = c +
0
(x + c + 1)dx = c +
x2 + cx + x 2
y3 ,
dado por:
y3 = c +
0
(x + y2 + 1)dx = c + (c + 1)x +
(c + 2)x2 x3 + 2! 3!
5.6.
El Mtodo de Frobenius
Para resolver una ecuacin diferencial como la (1) en torno a un punto singular regular, se aplica el siguiente teorema, debido a Georg Ferdinand Frobenius. Existen ecuaciones como:
y +
que no se pueden resolver por el mtodo anterior, pues sus coecientes no son funciones analticas en el origen, sin embargo, se observa que tiene la solucin:
ex 1 x2 x3 = (1 + x + + + . . .) x x 2! 3!
2 y y =0 x
mtodo de Frobenius
r n=0
cn x =
n=0
cn xn+r
con r < 0.
52CAPTULO 5.
Ejemplo 5.3
1.
enciales siguientes:
d2 y dy +3 y =0 dx dx2 d2 y dy + (x + 1) +y =0 dx dx2
2.
2x
5.7.
Suponiendo que c = 0 y c = a + b + 1. Bajo estas condiciones las func (a + b + 1)x ciones P (x) = y Q(x) = ab solo no son analticas en x(1 x) x(1 x) los punto x = 0 y x = 1. Por lo tanto, estos son lo nicos puntos singuc (a + b + 1)x y lares de la ecuacin. Como las funciones a(x) = xP (x) =
(1 x) b(x) = x2 Q(x) = abx son analticas en x = 0, este es un punto singular. (1 x)
5.8.
La Ecuacin de Legendre
La ecuacin diferencial:
(1 x2 )y 2xy + n(n + 1)y = 0
se conoce como la ecuacin diferencial de Legendre de orden n. Se ve que en x = 0 es un punto ordinario de la ecuacin, de modo que se puede obtener soluciones de la forma:
y= cj xj
(1 x2 )
j =2 n
j (j 1)cj xj 2 2x
j =1 n
jcj xj 1 +
j =0 n
n(n + 1)cj xj = 0
n
j (j 1)cj xj 2
j =2 n j =2
j (j 1)cj xj
j =1
2jcj xj +
j =0
n(n + 1)cj xj = 0
5.9.
53
5.9.
La ecuacin diferencial:
x2 y + xy + (x2 n2 )y = 0
donde n puede y tomar cualquier valor pero generalmente toma un valor entero, se conoce como la ecuacin de Bessel de orden n Se llama funcin de Bessel a toda solucin de esa ecuacin. Estas aparecen en problemas sobre vibraciones de una cadena colgante (Daniel Bernoulli), vibraciones de una membrana circular (Euler), movimiento de planetas (Bessel), propagacin de ondas, elasticidad, movimiento de uidos, teora del potencial, etc.
5.10.
5.10.1.
de Hermite
para el caso
xy + (1 x)y + ny = 0
Esta ecuacin tiene soluciones llamadas polinomios de Laguerre para el caso n = 0, 1, 2, . . . y se denotan por Ln (x) y tienen las siguientes propiedades: