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

4.

Soluciones de ecuaciones lineales


en series de potencias

(© Chema Madoz, VEGAP, Madrid 2009) 1


• Repaso de Series de Potencias
Recuerda de cálculo que una serie de
potencias en (x – a) es una serie de la forma

n
c ( x  a ) n
 c0  c1 ( x  a )  c2 ( x  a ) 2

n 0

Se dice que es una serie de potencias


centrada en a.

2
N   n 0 n
N
• La serie converge
lim S
N  N ( x )  lim c ( x  a ) n

si existe el siguiente límite de las sumas


parciales:
• Intervalo de convergencia
Es el conjunto de números reales x o intervalo
para los que la serie converge.
• Radio de convergencia
Si R es el radio de convergencia, la serie de
potencias converge para |x – a| < R y
diverge para |x – a| > R. Si R = 0 la serie
converge solo para x = a. Y si la serie converge 3
• Convergencia absoluta
Dentro de su intervalo de convergencia, una
serie de potencias converge absolutamente. Es
decir, la siguiente serie converge:
 n 0 n

| c ( x  a ) n
|

• Prueba de convergencia (criterio del cociente)


Suponiendo cn  0 para todo n, y
cn1 ( x  a) n1 cn1
lim  | x  a | lim L
n  cn ( x  a) n n c
n

• Si L < 1, la serie converge absolutamente; si L > 1,


la serie diverge; y si L = 1, el criterio no es
concluyente. Ch5_4
• Una serie de potencias define una función
y( x)   n0 cn x n cuyo dominio es el intervalo de

convergencia de la serie, donde es continua,


derivable e integrable:
y' ( x)   n1 n x , y" ( x)   n2 n(n  1) x n2
 n 1 

• Función analítica en un punto


Una función f(x) es analítica en un punto a, si se
puede representar mediante una serie de
potencias en (x – a) con un radio de convergencia
positivo. Por ejemplo:
x x2 x3 x5
e  1    , sin x  x    
x
1! 2! 3! 5!
x2 x 4 x6
cos x  1      5
2! 4! 6!
• Aritmética de series de potencias
Las series de potencias se pueden combinar
mediante operaciones de suma, resta,
multiplicación y división.
e x sin x
 x 2 x3 x 4  x3 x5 x7 
 1  x      x     
 2 6 24  6 120 5040 
 (1) x  (1) x 2      x3      x 4      x5  
1 1 1 1 1 1 1
 6 2  6 6  120 12 24 
3 5
x x
 x  x2    
3 30
6

Escribir  n2 n ( n  1) cn x n2
  c
n 0 n x n 1
como una sola
serie de potencias (i.e., bajo el mismo sumatorio).

Solución
Primero, buscamos que ambos sumatorios comiencen por la
misma potencia:
   

 n
n2
( n  1) c n x n2
 n
c
n 0
x n 1
 2.1c 2 x 0
  n (
n 3
n  1) c n x n2
 n
c
n 0
x n 1

Ahora cuando sustituimos el primer valor de n en ambos


sumatorios, las series comienzan potencias x1. Haciendo los
cambios de índice k = n – 2 para la primera serie y k = n + 1 para
la segunda serie:
 
2c2   (k  2)(k  1)ck 2 x k   ck 1x k
k 1 k 1

 2c2   [( k  2)( k  1)ck  2  ck 1 ]x k
Ch5_7
k 1
• Supongamos la ED lineal
a2 ( x) y  a1 ( x) y  a0 ( x) y  0
que podemos escribir como
y  P( x) y  Q( x) y  0
DEFINICIÓN

Se dice que un punto x0 es un punto ordinario o regular


de la ED si P(x) y Q(x) son analíticas en x0; es decir si
admiten desarrollos en serie de potencias alrededor de x0.
Un punto que no es un punto ordinario es un punto
singular.

• Si P(x) y Q(x) son cocientes de polinomios: P(x) = a1(x)/a2(x),


Q(x) = a0(x)/a2(x), entonces x = x0 es un punto ordinario de nuestra
ecuación simplemente si a2(x0)  0.
8
Soluciones respecto a puntos ordinarios
TEOREMA
Existencia de soluciones
en series de potencias
Si x = x0 es un punto ordinario o regular, siempre es
posible hallar dos soluciones linealmente independientes
en forma de series de potencias centradas en x0:

y   n0 cn ( x  x0 )n

• Cada una de las dos soluciones linealmente independientes


en serie de potencias convergerá por lo menos dentro del
intervalo definido por |x – x0| < R, donde R es la distancia
desde x0 hasta el punto singular más próximo de la EDO.

9
Resolver y"xy  0
Solución P(x) = 0, Q(x) = x
No tenemos puntos singulares. Podemos buscar solución
en serie alrededor de cualquier punto porque todos son
regulares. En particular, lo haremos para x = 0.
y
 
  n2
y( x)  n0 cn x n
y" ( x )  n2
n ( n  1) cn x
Sustituyendo en la ED obtenemos:
 
y  xy   cn n(n  1) x n2
 x  cn x n

n2 n 0
 
  cn n(n  1) x n2
  cn x n 1

n2 n 0 10
Obtuvimos esta suma de series en el ejercicio
anterior

y  xy  2c2  [(k  1)(k  2)ck 2  ck 1 ]x k  0
k 1
Para que la identidad se cumpla es necesario que
todos los coeficientes sean cero: 2c2 = 0; c2 = 0 y

(k  1)( k  2)ck  2  ck 1  0 , k 1, 2 , 3 ,


Puesto que (k + 1)(k + 2)  0, obtenemos la
siguiente relación de recurrencia:

ck 1
ck 2  , k 1, 2 , 3 ,
(k  1)(k  2)
11
ck 1
ck 2  , k 1, 2 , 3 ,
(k  1)(k  2)
Tomando valores de k y recordando que c2 = 0:
c0 c5
k  1, c3   k  6, c8   0
2.3 7.8
c c6 1
k  2, c4   1 k  7, c9    c0
3.4 8.9 2.3.5.6.8.9
c c 1
k  3, c5   2  0 k  8, c10   7   c1
4.5 9.10 3.4.6.7.9.10
c 1
k  4, c6   3  c0 c
5.6 2.3.5.6 k  9, c11   8  0
10.11
c4 1
k  5, c7    c1
6.7 3.4.6.7 (....)

Observa que todos los coeficientes dependen o de c0, o de c1.


De hecho, si c0 y c1 no quedan indeterminados es que hemos
metido la gamba en algún sitio.
12
Nuestra solución era:
c0 3 c1 4 c0
y ( x)   n 0 cn x  c0  c1 x  0 
 n
x  x 0 x6
2 3 3 4 2356
c1
 x 7  0  ....  c0 y0 ( x)  c1 y1 ( x)
3 467
Entonces las dos soluciones linealmente independientes en serie de
potencias son:
1 3 1 1
y0 ( x )  1  x  x 
6
x9  
2 .3 2 .3 .5 .6 2 .3 .5 .6 .8 .9

(1) k
 1  x 3k
k 1 2 .3 (3k  1)(3k )

1 1 1
y1 ( x)  1  x 
4
x 
7
x10  
3 .4 3 .4 .6 .7 3 .4 .6 .7 .9 .10

(1) k
 x x 3k 1
k 1 3 .4 (3k )(3k  1) 13
Hay una manera algo menos trabajosa de realizar el
cálculo anterior para encontrar los coeficientes en la
relación de recurrencia:
ck 1
ck 2  , k 1, 2 , 3 ,
(k  1)(k  2)

Observa que si hacemos primero c0 = 1 y c1 = 0, (recordando


que en este caso particular además c2 = 0),
obtenemos directamente los coeficientes del desarrollo de
y0(x). Y haciendo c0 = 0 y c1 = 1, obtenemos directamente los
coeficientes del desarrollo de y1(x).
Repite el cálculo anterior desde el principio, utilizando esta
estrategia.
14
ck 1
ck 2  , k 1, 2 , 3 ,
(k  1)(k  2)
Si hacemos primero c0 = 1 y c1 = 0, (con c2 = 0):
1 c3 1
k  1, c3   k  4, c6   
2. 3 5. 6 2.
3. 5.
6
k  2, c4  0 k  5, c7  0

c2
k  3, c5   0 (...)
4.5

1 3 1 1
y0 ( x )  1  x  x 
6
x9  
2 .3 2 .3 .5 .6 2 .3 .5 .6 .8 .9

(1) k
 1  x 3k
k 1 2 .3 (3k  1)(3k )

15
ck 1
ck 2  , k 1, 2 , 3 ,
(k  1)(k  2)

Si hacemos ahora c0 = 0 y c1 = 1, obtenemos:


c3
k  1, c3  0 k  4, c6   0
5 .6
1 c 1
k  2, c4   k  5, c7   4 
3 .4 6 .7 3 .4 .6 .7
c2
k  3, c5   0
4.5 (....)

1 4 1 1
y1 ( x)  1  x  x7  x10  
3 .4 3 .4 .6 .7 3 .4 .6 .7 .9 .10

(1) k
 x x 3k 1
k 1 3 .4 (3k )(3k  1)
16
Resolver ( x  1) y" xy' y  0
2

Solución
Puesto que x2 + 1 = 0, x = i, −i son puntos singulares, la
solución en serie de potencias centrada en 0
convergerá al menos para |x| < 1. Usando la solución
en forma en serie de potencia de y, y’ e y”:

  
( x 2  1)  n(n  1)cn x n2  x  ncn x n1   cn x n
n2 n 1 n 0
   
  n(n  1)cn x n   n(n  1)cn x n2   ncn x n   cn x n
n2 n2 n 1 n 0

17
Primero hacemos que todos los sumatorios comiencen por la potencia más
alta, que en este caso es x2, y separamos los términos "sobrantes":


 2c2 x 0  c0 x 0  6c3 x  c1 x  c1 x   n(n  1)cn x n
 2
n  
k n
  
  n(n  1)cn x n2   ncn x n   cn x n
 4
n 
n2 
 n  2
k n2 k n k n
Ahora reindexamos:

 2c2  c0  6c3 x  [k (k  1)ck  (k  2)( k  1)ck  2  kck  ck ]x k
k 2

 2c2  c0  6c3 x   [( k  1)( k  1)ck  (k  2)( k  1)ck  2 ]x k 18 0
k 2
De lo anterior, tenemos 2c2-c0 = 0, 6c3 = 0 , y

(k  1)(k  1)ck  (k  2)(k  1)ck 2  0

Así que c2 = c0/2, c3 = 0, ck+2 = (1 – k)ck/(k + 2). Luego:

1 1 1
c4   c2   c0   2 c0
4 2.4 2 2!
2
c5   c3  0
5
3 3 1.3
c6   c4   c0  3 c0
6 2.4.6 2 3!
4
c7   c5  0
7 19
5 3.5 1.3.5
c8   c6   c0   4 c0
8 2.4.6.8 2 4!
6
c9   c7  0
9
7 3.5.7 1.3.5.7
c10   c8  c0  5
c0 ... y así
10 2.4.6.8.10 2 .5!
sucesivamente.
y  c0  c1 x  c2 x 2  c3 x 3  c4 x 4  c5 x 5
 c6 x 6  c7 x 7  c8 x8  c9 x 9  c10 x10  
 1 2 1 4 1. 3 6 1.3. 5 8 1.
3. 5.7 10 
 c0 1  x  2 x  3 x  4 x  x    c1 x
 2 
5
2 2! 2 3! 2 4! 2 5!
 c0 y0 ( x)  c1 y1 ( x)
1 2  n 1 1.3 .5 (2n  3) 2 n
y0 ( x)  1  x   (1) n
x , | x | 1
2 n2 2 n!
y2 ( x)  x 20
Si se busca una solución en serie de potencias y(x)
centrada en cero para y  (1  x) y  0

obtenemos c2 = c0/2 y la siguiente relación de


recurrencia:
ck  ck 1
ck 2  , k 1, 2 , 3 ,
(k  1)(k  2)
Examinando la fórmula se ve que c3, c4, c5, … se
expresan en términos de c1 y c2. Eligiendo primero
c0  0, c1 = 0, tenemos:

1
c2  c0 y
2
21
c1  c0 c0 1
c3    c0
2.3 2.3 6
c2  c1 c0 1
c4    c0
3.4 2.3.4 24
c3  c2 c0  1 1 1
c5        c0 y así sucesivamente...
4.5 4.5  6 2  30
1
Ahora elegimos c0 = 0, c1  0, y entonces c2  c0  0
2
c1  c0 c1 1
c3    c1
2.3 2.3 6
c2  c1 c1 1
c4    c1
3.4 3.4 12
c3  c2 c1 1
c5    c1 Etc.
4.5 4.5.6 120 22
Finalmente, la solución será:
y = c0y0 + c1y1, donde

1 2 1 3 1 4 1 5
y0 ( x )  1  x  x  x  x 
2 6 24 30
1 3 1 4 1 5
y1 ( x)  x  x  x  x 
6 12 120

que convergen para todo x.

23
Resolver y"(cos x) y  0
Solución
Observemos que en este caso Q(x) no es un polinómio.
x = 0 es un punto ordinario de la ecuación. Usando la
serie de Maclaurin para
y   n0 cn x n como solución:

cos x, y empleando

y  (cos x) y

 x 2
x 4
x 6
 
  n(n  1)cn x  1       cn x
n2
  n

n2  2! 4! 6!  n 0
 1  2  1  3
 2c2  c0  (6c3  c1 ) x  12c4  c2  c0  x   20c5  c3  c1  x  
 2   2 
0 Ch5_24
De ahí deducimos que
1 1
2c2  c0  0 , 6c3  c1  0 , 12c4  c2  c0  0 , 20c5  c3  c1  0
2 2
c2 =-1/2c0, c3 =-1/6c1, c4 = 1/12c0, c5 = 1/30c1,….
Agrupando términos llegamos a la solución general
y = c0y1 + c1y2, con radio de convergencia |x| < :

1 2 1 4
y0 ( x )  1  x  x  
2 12
1 3 1 5
y1 ( x)  1  x  x  
6 30
25
Soluciones respecto a puntos singulares
Un punto singular x0 de una ED lineal
a2 ( x) y  a1 ( x) y  a0 ( x) y  0
puede ser regular o irregular. La clasificación
depende de y  P( x) y  Q( x) y  0
DEFINICIÓN
Puntos singulares regulares e irregulares

Se dice que un punto singular x0 es un punto singular


regular si p(x) = (x – x0)P(x) y q(x) = (x – x0)2Q(x)
son analíticas en x0 , i.e. admiten desarrollos en series
de potencias centradas en x0. Un punto singular que no
es regular es un punto singular irregular de la ecuación.

26
Coeficintes polinomiales

• Si (x – x0) aparece a lo sumo a la primera potencia en el


denominador de P(x) y a lo sumo a la segunda potencia
en el denominador de Q(x), entonces x0 es un punto
singular regular.
• Para resolver la EDO la multiplicaremos en forma
(x  x ) 2 ypor
estándar
0
  ((xx–x0x)2:) 2 P( x) y  ( x  x ) 2 Q( x) y
0 0 0
( x  x0 ) y  ( x  x0 ) p( x) y  q( x) y  0
2

donde p(x) = (x – x0)P(x) y q(x) = (x – x0)2Q(x) son analíticas en x = x0.


27
Observa que de esta manera hemos "matado" las singularidades.
• Ejemplo: observemos que x = 2, x = – 2 son puntos
singulares de:
(x2 – 4)2y” + 3(x – 2)y’ + 5y = 0
Entonces:
3 5
P( x)  Q( x) 
( x  2)( x  2) 2
( x  2) 2 ( x  2) 2

Para x = 2, la potencia de (x – 2) en el denominador de P(x)


es 1, y la potencia de (x – 2) en el denominador de Q(x) es 2.
Así que x = 2 es un punto singular regular.

Para x = −2, la potencia de (x + 2) en el denominador de P(x)


y Q(x) es 2. Así que x = − 2 es un punto singular irregular.

28
Teorema de Frobenius

TEOREMA

Si x = x0 es un punto singular regular, entonces


existe al menos una solución de la forma
 
y  ( x  x0 ) r
 c (x  x )   c (x  x )
n 0
n 0
n

n 0
n 0
n r

donde el número r es una constante por determinar.


La serie converge al menos en algún intervalo
0 < x – x0 < R.

29
Ejemplo del método de Frobenius

• Debido a que x = 0 es un punto singular


regular de
3xy  y  y  0
trataremos de hallar una solución en serie con:
y   n0 cn x nr


y   (n  r )cn x nr 1
n 0

y   (n  r )(n  r  1)cn x nr 2
n 0 30
3 xy  y  y
  
 3 (n  r )( n  r  1)cn x n r 1   (n  r )cn x n r 1   cn x n r
n 0 n 0 n 0
 
  (n  r )(3n  3r  2)cn x n  r 1
  cn x n r

n 0 n 0

 
  
n
 x r (3r  2)c0 x   (n  r )(3n  3r  2)cn x   cn x 
r 1 n 1

 n 1
     n 0
 
 k  n 1 k n 
 
k
 x r (3r  2)c0 x   [( k  r  1)(3k  3r  1)ck 1  ck ]x   0
r 1

 k 0 
31
Que implica:
r(3r – 2)c0 = 0
(k + r + 1)(3k + 3r + 1)ck+1 – ck = 0, k = 0, 1, 2, …
Haciendo c0 = 1, r(3r c–k 2) = 0. Entonces: r = 0, 2/3.
ck 1  , k  0, 1, 2, 
Cada valor de(kr nos
r transforma
1)(3k  3r  1la) ecuación de
recurrencia
ck
r1 = 2/3, ck 1  , k = 0, 1, 2,…
(3k  5)(k  1)
en:
ck
r2 = 0, ck 1  , k = 0, 1, 2,…
(k  1)(3k  1) 32
r1 = 2/3, r2 = 0,
ck ck
ck 1  , ck 1  ,
(3k  5)(k  1) (k  1)(3k  1)
k = 0, 1, 2,… k = 0, 1, 2,…

c1 c0 c1 c0
c2   c2  
8.2 2! 5.8 2.4 2!1.4
c2 c0 c2 c0
c3   c3  
11.3 3! 5.8.11 3.7 3!1.4.7
c3 c0 c3 c0
c4   c4  
14.4 4! 5.8.11.14 4.10 4!1.4.7.10
 
c0 (1)n c0
cn  cn 
n! 5.8.11  (3n  2) n!1.4.7  (3n  2)
Ch5_33
Observa que los dos conjuntos contienen el
mismo múltiplo c0. Si se omite este término,
haciéndolo igual a ,1 tenemos:
 
1 n
y0 ( x)  x 1  
2/3
x 
 n1 n! 5 .
8.11 (3n  2) 

 
1 n
y1 ( x)  x 1  
0
x 
 n1 n!1 .
4.7  (3n  2) 

que convergen para |x| <  y son linealmente


independientes. Así que la solución es:
y(x) = C0y0(x) + C1y1(x), 0 < x < 
34
Ecuación indicial
• La ecuación r (3r – 2) c0 = 0 se llama ecuación indicial, y los
valores de r se llaman raíces indiciales.

• Recordemos que si x0 = 0 es un punto singular regular,


entonces p(x) = x P(x) y q(x) = x2 Q(x) son analíticas en x0 = 0.

Sus desarrollos en serie de potencia son:


p(x) = xP(x) = a0+a1x+a2x2+…
q(x) = x2Q(x) = b0+b1x+b2x2+…
que serán válidos en intervalos con ciertos radios de
convergancia.

35
y  P( x) y  Q( x) y  0


 
x y  x[ xP( x)] y  [ x Q( x)] y  0
2 2

Multiplicando por x2, tenemos


x y  xp( x) y  q( x) y  0
2

 
y   n0 cn x
 n r
y   (n  r )cn x nr 1 y   (n  r )(n  r  1)cn x nr 2
n 0 n 0

Después de sustituir

p(x) = xP(x) = a0+a1x+a2x2+…


q(x) = x2Q(x) = b0+b 1) +2xa2+…
r(r –1x+b 0r + en
b0 la
= 0EDO, obtendremos la
ecuación indicial: 36
Resolver 2 xy"(1  x) y ' y  0
Solución
Sea y  n0 cn x n,rentonces

2 xy  (1  x) y  y
 
 2 (n  r )( n  r  1)cn x n r 1   (n  r )cn x n r 1
n 0 n 0
 
  (n  r )cn x n r   cn x n r
n 0 n 0
 
  (n  r )( 2n  2r  1)cn x n r 1   (n  r  1)cn x n r
n 0 n 0

Ch5_37
 
  
n
 x r (2r  1)c0 x   (n  r )( 2n  2r  1)cn x   (n  r  1)cn x 
r 1 n 1

 n 1
 0 
n
 k  n 1 k n 

r k
 x r (2r  1)c0 x  [( k  r  1)( 2k  2r  1)ck 1  (k  r  1)ck ]x 
1

 k 0 

(k  r  1)( 2k  2r  1)ck 1  (k  r  1)ck  0, k  0, 1, 2, 


r (2r – 1) = 0; r1 = ½ , r2 = 0.

 ck  ck
ck 1  , k  0, 1, 2,  ck 1  , k  0, 1, 2, 
2(k  1) 2k  1

38
 ck  ck
ck 1  , ck 1  ,
2(k  1) 2k  1
k  0, 1, 2,  k  0, 1, 2, 

 c0  c0
c1  c1 
2.1 1
 c1 c0  c1 c0
c2   2 c2  
2.2 2 .2! 3 1.3
 c2  c0  c2  c0
c3   3 c3  
2.3 2 .3! 5 1.3.5
 c3 c0  c3 c0
c4   4 c4  
2.4 2 .4! 7 1.3.5.7
 
(1) n c0 (1) n c0
cn  n cn 
2 n! 1.3.5.7  (2n  1) 39
Así para r1 = ½
 
(1) n
n
 
(1) n1/ 2
n
y1 ( x)  x 1   n x    n x
1/ 2

 n1 2 n!  n0 2 n!
y para r2 = 0

(1)n
y2 ( x )  1   xn , | x|
n 1 1.3.5.7  ( 2n  1)

Y la solución final es y(x) = C1y1 + C2y2.

40
Resolver xy" y  0
Solución
De xP = 0, x2Q = x, y el hecho de que 0 y x sean sus propias
series de potencias centradas en 0, se concluye a0 = 0, b0 = 0.
De modo que la ecuación indicial r(r – 1) + a0r + b0 = 0,
queda:
r(r – 1) = 0, r1 = 1, r2 = 0.
Comprueba que en este caso ambas raíces producen el
mismo conjunto de coeficientes. En otras palabras, que sólo
obtenemos una solución en serie


(1) n n1 x 2 x3
y1 ( x)   x  x    ...
n 0 n!( n  1)! 2 12 41
¿Cómo obtener la segunda solución?
Hay que distinguir tres casos:
(1) Si r1, r2 son distintas y la diferencia r1 - r2 no es un entero positivo,
entonces existen dos soluciones linealmente independientes de la
ecuación de la forma :
 
y1 ( x)   cn x n  r1 y2 ( x)   bn x n  r2
n 0 n 0
(2) Si r1 – r2 = N, donde N es un entero positivo, entonces existen
dos soluciones linealmente independientes de la ecuación de la
forma :

y1 ( x)   cn x n  r1 , c0  0
n 0

y2 ( x)  Cy1 ( x) ln x   bn x n  r2 , b0  0
n 0 42
(3) Si r1 = r2, entonces existen dos soluciones linealmente
independientes de la ecuación de la forma:

y1 ( x)   cn x n  r1 , c0  0
n 0

y2 ( x)  y1 ( x) ln x   bn x n  r2
n 0

Si ya conocemos una solución y1, la segunda


puede obtenerse de la siguiente manera

e
 Pdx

y2 ( x)  y1  2 dx
y1
Veamos un ejemplo.
43
Hallar la solución general de xy" y 0
Solución Habíamos hallado una solución:

(1) n n1 x 2 x3
y1 ( x)   x  x    ...
n 0 n!( n  1)! 2 12

e 
 0 dx
dx
y2 ( x)  y1 ( x)  dx  y1 ( x )   1 2 1 3 1 4 2
[ y1 ( x)]2
 x  2 x  12 x  144 x  
dx
 y1 ( x) 
 2 5 4 7 5 
 x  x 3
 x  x   
12 12
 1 1 7 19 
 y1 ( x)   2    x   dx
x x 12 72 
 1 7 19 2 
 y1 ( x)    ln x  x  x   dx
 x 12 144  44
Que finalmente nos proporciona como solución:

 1 7
y2 ( x)  y1 ( x) ln x  y1 ( x)   x 
19 2 
x  
 x 12 144 

Para ver más ejemplos resueltos y detalles de esta


última parte, consulta los apuntes de Jose Olarrea en
Soluciones_series.pdf.
45

Вам также может понравиться