UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

E.P. ELÉCTRICA

ASIGNATURA: Ecuaciones Diferenciales

Mg. Jesús Rule Flores Cruz

2021 - I
UNIDAD DIDÁCTICA 3 SEMANA 10 SESIÓN 1

TEMA DE SESIÓN: Series de Potencia

APRENDIZAJES ESPERADOS:

• Al finalizar la semana, el estudiante discute e interpreta ciertos fenómenos de la naturaleza y los modela mediante
ecuaciones diferenciales y encuentra la solución usando Series de Potencia.

CAPACIDAD GENERAL:

• Al finalizar el curso, el estudiante aplica las series y ecuaciones diferenciales para resolver problemas relacionados a su
carrera profesional, apoyándose estratégicamente en herramientas matemáticas con responsabilidad y trabajo en equipo.

CAPACIDAD ESPECÍFICA:

• Resuelve situaciones problemáticas de contexto real referidas a analizar cambios discontinuos o regularidades, entre
fenómenos naturales, valores o expresiones; traduciéndolas a modelos matemáticos en ecuaciones diferenciales que mejor
se ajusten al comportamiento del fenómeno observado.
• Series de Potencias

Una serie de potencias en (x – a) es una serie de la

forma 
 cn ( x − a) = c0 + c1 ( x − a) + c2 ( x − a) + 
n 2

n =0

Se dice que es una serie de potencias centrada en a.

3
 ◼ Serie de Taylor y Maclaurin

Suponiendo que f es cualquier función representable mediante una serie de

potencias:

f ( x) = c0 + c1 ( x − a) + c2 ( x − a) 2 + c3 ( x − a) + c4 ( x − a ) + ... x−a  R
3 4

f (a) = c0

f ' ( x) = c1 + 2c2 ( x − a) + 3c3 ( x − a) 2 + 4c4 ( x − a)3 + ... x−a  R

f ' (a) = c1

f ' ' ( x) = 2c2 + 2  3c3 ( x − a) + 3  4c4 ( x − a) 2 + ... x−a  R

f ' ' (a) = 2c2

◼ Serie de Taylor y Maclaurin

f ' ' ' ( x) = 2  3c3 + 2  3  4c4 ( x − a) + 3  4  5c5 ( x − a) + ... x−a  R

2

f ' ' ' (a) = 2  3c3 = 3!c3

f ( n) (a) = 2  3  4  ... ncn = n!cn

f ( n ) (a)
cn =
n!
◼ Serie de Taylor y Maclaurin

Teorema: Si f tiene una representación (desarrollo) en forma de serie de

potencias en a, esto es, si


f ( x ) =  cn ( x − a ) n x−a  R
n =0

Los coeficientes están expresados por la fórmula

f ( n ) (a)
cn =
n!
◼ Serie de Taylor y Maclaurin


f ( n ) (a)
f ( x) =  ( x − a) n
n =0 n!
f ' (a)
= f (a) + ( x − a) + f ' ' (a) ( x − a) 2 + f ' ' ' (a) ( x − a)3 + ...
1! 2! 3!


f ( n ) (0) n
f ( x) =  x = f (0) +
f ' (0)
x+
f ' ' (0) 2
x + ...
n =0 n! 1! 2!
 ◼ Serie de Taylor y Maclaurin

EJEMPLO 1 – Determina la serie de Maclaurin de la función f(x) = ex y su

radio de convergencia

SOLUCIÓN – Si f(x) = ex , de modo que f n (0) = e0 = 1 para toda n.

En consecuencia, la serie de Taylor de f en 0 (esto es, la serie de Maclaurin) es
 
f ( n ) (0) n xn
 n!
x =  x x 2 x3
= 1 + + + + ...
n =0 n = 0 n! 1! 2! 3!
Para hallar el radio de convergencia, sea an = x n / n! . Entonces

an +1 x n +1 n! x
=  n = → 0 1
an (n + 1)! x n +1

De modo que, de acuerdo con la prueba de la razón, la serie converge

para toda x y el radio de convergencia R = 
 ◼ Serie de Taylor y Maclaurin

La conclusión a la que llegamos con el teorema 5 y el ejemplo 1 es que en

caso de que ex tenga un desarrollo como serie potencias en 0, entonces

xn
e =
x

n = 0 n!

Así pues, ¿cómo determinar si acaso ex posee una representación en forma de

serie de potencias?

Investigaremos la pregunta más general: ¿en qué circunstancias una

función es igual a la suma de su serie de Taylor? En otras palabras,
si f tiene derivadas de todos los órdenes, ¿cuándo se cumple?


f ( n ) (a)
f ( x) =  ( x − a) n
n =0 n!
A partir de la Serie Geométrica podemos generar otras series de
potencias y series numéricas importantes: Ver Applet

1
= 1 + x + x 2 + x 3 + x 4 + ... Cambiamos x por -x
1− x

1
= 1 − x + x 2 − x 3 + x 4 − ... Antiderivando en ambos lados
1+ x

x 2 x3 x 4 x5 
( −1) n +1
ln(1 + x) = x − + − + − ... =
2 3 4 5 
n =1 n
x n Ver Applet

Sustituyendo x =1, obtenemos:

n +1
1 1 1 1
ln 2 = 1 − + − + − ... = 

( −1) Ver Applet
2 3 4 5 n =1 n
Procedamos ahora de la siguiente manera:
1
= 1 + x + x 2 + x 3 + x 4 + ... Cambiamos x por -x
1− x
1
= 1 − x + x 2 − x 3 + x 4 − ... Cambiamos x por x 2
1+ x
1
= 1 − x 2
+ x 4
− x 6
+ x 8
− ... Antiderivando en ambos lados
1+ x 2

x3 x5 x7 x9 
(−1) n +1 2 n −1
arctan x = x − + − + − ... =  x
3 5 7 9 n =1 2n − 1

Sustituyendo x =1,
 1 1 1 1 
(−1) n +1
= arctan 1 = 1 − + − + − ... = 
4 3 5 7 9 n =1 2n − 1

4 4 4 4 Ver Applet
 = 4 − + − + − ...
3 5 7 9
El Teorema de Taylor con residuo, también nos proporciona
interesantes series de potencias. Por ejemplo del desarrollo de
Taylor para la función exponencial:
0
2 3 n
x x x
e x = 1 + x + + + ... + + En
2! 3! n!
Tendremos una representación en serie de potencias

2 3 


x x xn
e x = 1 + x + + + ... e =
x
Ver Applet
2! 3! n =0
n!
Análogamente podemos representar en serie de potencias a la
función seno

(−1) n+1 x 2 n−1

3 5 7
x x x senx =
senx = x − + − + ...
3! 5! 7 ! n =1
(2n − 1) !
Ver Applet
En los cursos de Cálculo Integral se menciona que la función
− x2
f ( x) = e no tiene una antiderivada representable por medio
de un número finito de funciones “conocidas”

En nuestros términos, podemos preguntarnos por la solución de:

dy − x2 x 4
x 6 Ver Applet
= e = 1 − x 2 + − + ... Con y(0) = 0
dx 2! 3!
Antiderivando en ambos términos, obtenemos:

x3 x5 x7
y ( x) = x − + − + ...
3 5(2!) 7(3!)
Así pues la solución de la ecuación planteada se representa por
medio de una serie de potencias.
Ver Applet
 lim N → S N ( x) = lim N →  n=0 cn ( x − a) n
N
• La serie converge
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 para todo x, entonces escribimos R = ∞.

15
• Convergencia absoluta
Dentro de su intervalo de convergencia, una serie de potencias converge
absolutamente. Es decir, la siguiente serie converge:
n=0 | cn ( 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_16
• 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 −1  n−2

• 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:
2 3 5
x x x x
e x = 1 + + + , sin x = x − + − 
1! 2! 3! 5!
x2 x4 x6
cos x = 1 − + − + 
2! 4! 6!
17
• Aritmética de series de potencias
Las series de potencias se pueden combinar mediante
operaciones de suma, resta, multiplicación y división.
 x 2
x 3
x 4
  x 3
x 5
x 7

e x sin x = 1 + x + + + +  x − + − − 
 2 6 24  6 120 5040 
 1 1 3  1 1 4  1 1 1  5
= (1) x + (1) x +  − +  x +  − +  x + 
2
− + x +
 6 2  6 6  120 12 24 
3 5
x x
= x + x2 + − −
3 30

18
 
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 − 1)cn x
n=2
n−2
+  cn x
n =0
n+1
= 2．1c2 x +  n(n − 1)cn x
0

n =3
n−2
+  cn x n+1
n =0

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 +  ck −1x = 2c2 +  [( k + 2)(k + 1)ck + 2 + ck −1 ]x k
k k

k =1 k =1 k =1

Ch5_19
• 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.
20
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.

21
Resolver y"+xy = 0
Solución P(x) = 0, Q(x) = x
No tenemos puntos singulares. Podemos buscar solución en serie
alrededor de, lo haremos para x = 0. cualquier punto porque todos son
regulares. En particular


y ( x) = 
n  n−2
cn x
n =0
y y" ( x) = n(n − 1)c x
n=2 n

Sustituyendo en la ED obtenemos:
 
y + xy =  cn n(n − 1) x + x  cn x
 n−2 n

n=2 n =0
 
=  cn n(n − 1) x n−2
+  cn x n+1

n=2 n =0
22
Obtuvimos esta suma de series en el ejercicio anterior

y + xy = 2c2 + [(k + 1)(k + 2)ck +2 + ck −1 ]x = 0

 k

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)
23
 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.
24
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 4 1 1
y1 ( x) = 1 − x + 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)
25
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.

26
 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 )

27
 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 + 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)

28
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”:
y '( x) =  n =1 ncn x

y" ( x) =  n=2 n(n − 1)cn x

y( x) =  n=0 cn x
 n n −1 n−2

  
( 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 − 1)cn x
n n−2
+  ncn x −  cn x
n n

n=2 n=2 n =1 n =0

29
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

n = 2 
k =n
  
+  n( n − 1)cn x n−2 +  ncn x n −  cn x n

n = 4 
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 = 0
k

k =2
30
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
31
 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 ... y así sucesivamente.
c10 = − c8 = c0 = c0
10 2．4．6．8．10 25．5!

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 32
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

33
 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
35
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.

36
BIBLIOGRAFIA

1. Zill, Dennis G. Ecuaciones diferenciales con aplicaciones de modelado, novena edición.

2. https://www.google.com.pe/search?q=(%C2%A9+Chema+Madoz,+VEGAP,+Madrid+2009)&tbm=isch&source=iu&ict
x=1&fir=SNleSXNRch0W3M%252C5G9ylbhrbgBBkM%252C_&vet=1&usg=AI4_-
kQtXl22a749gwvMV_E0zwlOGYpnqQ&sa=X&ved=2ahUKEwjq-
K_f1r3qAhVuILkGHULtARYQ9QEwAnoECAkQGQ&biw=1020&bih=613#imgrc=-Cti5MZ_LU5w_M.
3. https://www.google.com.pe/search?q=(%C2%A9+Chema+Madoz,+VEGAP,+Madrid+2009)&tbm=isch&source=iu&ict
x=1&fir=SNleSXNRch0W3M%252C5G9ylbhrbgBBkM%252C_&vet=1&usg=AI4_-
kQtXl22a749gwvMV_E0zwlOGYpnqQ&sa=X&ved=2ahUKEwjq-
K_f1r3qAhVuILkGHULtARYQ9QEwAnoECAkQGQ&biw=1020&bih=613#imgrc=Qkbzjq79FkYIcM
4. José Olarrea en Soluciones_series.pdf.