Capítulo 7

Resolución de ecuaciones diferenciales por medio de series de potencias

En esta unidad abordaremos como se pueden resolver ciertas ecuaciones diferenciales utilizando
series de potencias, por lo que primero recordaremos algunas de las ideas que están relacionadas con
las series de potencias.

= es una expresión de la forma:

Definición (series de potencias). Una serie de potencias centrada o desarrollada en torno al punto

Obsérvese que la suma de la serie anterior es una función de la forma:

= + − + − + ⋯+ − +⋯
Cuyo dominio consta, de todos los valores de , para los cuales la serie de potencias es convergente.

intervalos de la forma | − | < , que es equivalente al intervalo − , + para algún número

Las series de potencias siempre son absolutamente convergentes y por tanto convergentes, en

real positivo , llamado radio de convergencia de la serie de potencias.

Teorema (convergencia de series de potencias). Para una serie de potencias centrada en = de
la forma:

1 La serie solo converge en = .

Entonces, solo se tienen 3 posibilidades:

2 La serie converge para todo número real.

3 Existe algún número real > 0, tal que la serie de potencias converge en | − |<
en | − | > .
y diverge

Nota: una serie de potencias puede o no ser convergente en los extremos de su intervalo de
convergencia.
Existen, varios métodos para determinar el radio de convergencia de una serie de potencias, de
donde mencionamos el teorema de la razón.
Teorema de la razón. Consideremos la serie ∑ con ≠ 0 ∀ y sea:

lim # #=%
$
→

1 Si % < 1, entonces la serie converge absolutamente y por ende ∑

2 Si % > 1 o bien % → ∞, entonces la serie es divergente.
converge.

3 Si % = 1, entonces el criterio falla.

potencias se debe definir de la forma = 1/%.

En el caso, de las series de potencias, por el teorema anterior, el radio de convergencia de la serie de

154
Ejemplo. Determine el intervalo de convergencia de la siguiente serie de potencias, también determine
si converge en los extremos:

−3

Solución. En este caso, si aplicamos el criterio de la razón tendremos que:

−3 $ 1
lim ( ( = | − 3| lim = | − 3| 1 = | − 3| → % = 1 → = =1
→ +1 −3 → +1 1

Esto significa que el intervalo de convergencia de la serie tiene la forma:

| − 3| < 1 → −1 < −3<1→2< < 4 = 2,4

Para analizar la convergencia en los extremos, tendremos que si = 2, entonces la serie de potencias
correspondiente es:

2−3 −1
=

La cual es la serie alternada armónica y sabemos que es convergente. Similarmente, si = 4, entonces:

4−3 1 1
= =

que el intervalo de convergencia de la serie es 2 ≤ < 4 = +2,4 .

Que corresponde con la serie armónica, y sabemos que es divergente. Por lo tanto, podemos concluir

Teorema (Derivación e Integración de series de potencias). Sea la serie de potencias dada por:

= − = + − + − +⋯

Supongamos que su intervalo de convergencia es | − | < , entonces podemos derivar e integrar

término a término la serie anterior para obtener:

, -
= +2 − +3 . − +⋯= − /

− − .
− $
,, 0 1 = − + + + ⋯+ 2 = +2
2 3 +1

De donde el intervalo de convergencia de las 2 series anteriores sigue siendo | − |< .

155
En ocasiones es conveniente expresar las series anteriores de la forma:

1 1
, 3 − 4= + − 5
1 1

,, 0 − 1 = 0+ − 51

Nota: de igual forma como ocurre con una serie de potencias, al derivar o integrar una serie de
potencias, la serie que se obtiene puede o no ser convergente en los extremos.
Series de Taylor y de Maclaurin
Teorema. Si la función se puede expandir en serie de potencias en torno al punto = de la
forma:

= − válida en | − |<

Entonces sus coeficientes se pueden obtener con la expresión:

=
!
Del teorema anterior, podemos concluir entonces que el desarrollo de en torno al punto =
debe tener la forma:

− --
− ---
− .
= = + -
− + + +⋯
! 2! 3!

=
que = 0, entonces al desarrollo:
Al desarrollo anterior se le llama serie de Taylor centrada en . Si de manera particular, se tiene

0 --
0 ---
0 .
= = 0 + -
0 + + +⋯
! 2! 3!

Se le denomina desarrollo de Maclaurin.

Teorema (propiedad de identidad). Si la serie de potencias dada por:

Se anula para todo en algún intervalo =, entonces = 0.

En ocasiones es conveniente hacer un corrimiento del índice de una sumatoria, dando lugar a una serie
totalmente equivalente, ilustraremos la idea con el siguiente ejemplo.

156
>?@ABCD. Demuestre que la serie dada por N se puede expresar de la forma: N /

Solución. Consideremos la expresión:

Podemos correr el índice de la sumatoria haciendo = R − 1 → R = + 1, esto significa que cuando

= 0 entonces R = 1, por lo que la serie se puede expresar de la forma:

N = N S/ → si =R→ N = N /

solo se necesita que |N| < 1, siendo ∈ ℝ.

Con esto finaliza la prueba. La serie anterior es la conocida serie geométrica, y para su convergencia

Funciones analíticas

Definición (función analítica). Una función se dice ser analítica en el punto , si en algún intervalo
abierto entorno de , dicha función se puede representar como una serie de potencias de la forma:

Con un radio de convergencia positivo.

Resolución de ecuaciones diferenciales en torno a puntos ordinarios

Consideremos la ecuación lineal homogénea de segundo orden:

1 V 1V 1 V 1V
+ + V=0→ +W +X V=0
1 1 1 1

De donde hicimos:

W = y X =

En virtud de la ecuación anterior, se dice que es un punto ordinario siempre que las funciones W
yX sean funciones analíticas en . Si no es un punto ordinario de la ecuación anterior, entonces
se dice que es un punto singular de la misma.

En el caso particular de que W yX sean polinomios, entonces ambas funciones son analíticas en
cada valor , si por el contrario son funciones racionales (cocientes entre polinomios), entonces dejan
de ser analíticas en los valores donde el denominador se anula.

157
Teorema (solución en torno a puntos ordinarios). Si = es un punto ordinario de la ecuación
diferencial:

1 V 1V
+W +X V=0
1 1

potencias centrada en = .
Entonces es posible determinar 2 soluciones linealmente independientes con la forma de una serie de

| − | < , de donde es la distancia entre y el punto singular más cercano.

Nota: una solución en serie de potencias converge, por lo menos en un intervalo de la forma

Ejemplo. Resolver mediante serie de potencias la siguiente ecuación diferencial:

3
1− V -- − 2 V - + V = 0
4
Solución. Observe que si dividimos entre 1 − ambos lados de la ecuación diferencial entonces:
2 3
V -- − V- + V=0
1− 4 1−
Como las funciones:
2 3
W =− y X =
1− 4 1−
Poseen como puntos singulares = ±1, entonces ambas son analiticas en = 0, por lo que podemos
asumir una solución centrada en cero de la forma:

V = → V- = /
→ V -- = −1 /

Sustituyendo en la ecuación:

3
−1 /
− −1 −2 + =0
4

Ahora necesitamos que todas las series posean la potencia , con lo que solo es necesario correr el
índice en la primera sumatoria, por lo que:

−1 /
→R= −2→ =R+2→ R+2 R+1 S$
S

Entonces tendremos:

3
+2 +1 − −1 −2 + =0
$
4

Tomando algunos valores para que el índice de todas las sumas sea = 2, entonces:

158
 3 3
2 +6 −2 + + + +2 +1
.
4 4 $

3
− −1 −2 + =0
4

Y al agrupar:

3 3 5
\ +2 +1 + ]− − + ^ _ +2 + + ]6 − ^ =0
$
4 4 .
4

Por la propiedad de identidad de las series de potencias, se concluye que:

3 3
⎧2 + =0→ =−
⎪ 4 8
⎪ 5 5
6 .− =0→ .=
4 24
⎨ 3
⎪
⎪ +2 3 f + − 4g
+ 1 $ + ]− − + ^ =0→ = ∀ ≥2
⎩ 4 $
+2 +1
Para = 2:
21 21 3 21
= = ]− ^=−
i
48 48 8 128
Para = 3:
45
f4g . 45 45 5 15
= = = ] ^=
j
20 80 .
80 24 128
Para = 4:
77
fg 77 77 21 539
= 4
i
= = ]− ^=−
k
30 120 i
120 128 5120
Para = 5:
117
f 4 g j 117 117 15 585
= = = ] ^=
n
42 168 j
168 128 7168
Y así sucesivamente, por lo que:

V = = + + + .
.
+ i
i
+ j
j
+ k
k
+ n
n
+⋯

Sustituyendo, la solución general viene dada por:

3 21 539 5 15 585
V = ]1 − − i
− k
+ ⋯^+ ] + .
+ j
+ n
+ ⋯^
8 128 5120 24 128 7168

159
Resolución de ecuaciones diferenciales en torno a puntos singulares
Si consideramos nuevamente la ecuación:
1 V 1V
+W +X V=0
1 1
Se dice que el punto =
funciones o = − W yp = − X sean funciones analíticas en = . Si no es
es un punto singular regular de la ecuación anterior siempre que las

un punto singular regular, entonces se dice que es un punto singular irregular de la ecuación anterior.
Definición (ecuación indicial). Si es un punto singular regular de la ecuación diferencial anterior,
entonces la ecuación indicial para este punto está dada por:
N N−1 +W N+X = 0
De donde:
lim − W =W y lim − X =X
q→qr q→qr

Teorema de Frobenius. Si = es un punto singular regular de la ecuación diferencial:

1 V 1V
+W +X V=0
1 1
Entonces existe al menos una solución de la forma:

V N, = − $s

La cual es una serie que converge en algún intervalo de la forma 0 < − < y N es alguna constante
por determinar.
Asumamos que = 0 es un punto singular regular de la ecuación anterior y que las raíces indíciales

la naturaleza de las raíces indíciales. En los dos primeros casos N , es la mayor de las raíces:
son reales. Cuando aplicamos el método de Frobenius nos encontramos con tres casos de acuerdo con

1. Si N y N son distintas y la diferencia N − N no es un entero positivo, entonces existen dos

soluciones 2 soluciones linealmente independientes de la forma:

V N, = − $st
con ≠0

V N, = v − $sw
con v ≠ 0

2. Si N y N son distintas y la diferencia N − N es un entero positivo, entonces existen dos

soluciones 2 soluciones linealmente independientes de la forma:

160
 V N, = − $st
con ≠0

V N, = 2V N , ln + v − $sw
con v ≠ 0

Siendo 2 una constante que puede ser cero.

3. Si N = N , entonces 2 soluciones linealmente independientes para la ecuación están dadas por:

V N, = − $st
con ≠0

V N, =V N, ln + v − $sw
con v ≠ 0

Observaciones:

Si N − N es un entero positivo N > N , en algunas ocasiones es conveniente intercambiar la

relación de recurrencia usando primero la raíz N más pequeña.


 Dado que una raíz indicial N es una solución de una ecuación cuadrática, ésta podría ser
compleja. Este caso no se analiza.
Si = 0 es un punto singular irregular, es posible que no se encuentre ninguna solución de la
ecuación diferencial de la forma V N, = ∑   − $s

.
Ejemplo. Resolver por el método de Frobenius la siguiente ecuación diferencial:
2 V -- − V - + +1 V =0

Solución. Dividiendo entre 2 tendremos:

1 - +1 1 +1
V -- − V + V=0→W =− ;X =
2 2 2 2
Se observa claramente que = 0 es un punto singular de la ecuación anterior, comprobemos si es un
punto singular regular:
1 1 +1 1
W = lim ]− ^ = − ; X = lim z {=
q→ 2 2 q→ 2 2

Como los limites anteriores existen, eso implica que = 0 es un punto singular regular para la
ecuación dada, por lo que podemos asumir una solución de la forma:

V N, = $s
→ Vq N, = +N $s/
→ Vqq N, = +N +N−1 $s/

Sustituyendo en la ecuación diferencial:

2 +N +N−1 $s
− +N $s
+ $s$
+ $s
=0

161
Debemos correr el índice en la 3ra suma, con lo que:

$s$
→R= +2→ = R−2 → S/
S$s
= /
$s

Con lo que la ecuación será:

2 +N +N−1 $s
− +N $s
+ /
$s
+ $s
=0

Desarrollando los dos primeros términos en las series correspondientes tendremos:

2 N N−1 s
+2 1+N N s$
− N s
− N+1 s$
+ s
+ s$

+2 +N +N−1 $s
− +N $s
+ /
$s
+ $s
=0

Por lo que:

+2 +N +N−1 − +N + / + 5 $s
+ s
2N − 3N + 1 + s$
2N + N = 0

Nótese que:
2 +N +N−1 − +N + / +
= |1 − − N + 2 + N +N−1 }+ /
= 1 − − N + 2 + 2 N − 2 + 2 N + 2N − 2N + /
= 2 + 2N + 4 N − 3N − 3 + 1 + /
Entonces:

+ 2 + 2N + 4 N − 3N − 3 + 1 + / 5 $s
+ s
2N − 3N + 1 + s$
2N + N = 0

Igualando a cero los coeficientes de la serie tendremos:

3N 1 1 1 1
⎧ 2N − 3N + 1 = 0 → 2N − 3N + 1 = 0 → N − + = N N − 1 − N + = 0 → N = 1, N =
⎪ 2 2 2 2 2
2N + N = 0 → =0
⎨
⎪ 2 + 2N + 4 N − 3N − 3 + 1 + =0→ =−
/
∀ ≥2
⎩ /
2 + 2N + 4 N − 3N − 3 + 1
Como N − N = 1 − 0.5 = 0.5 no es un entero positivo, entonces tenemos el caso 1, y las dos soluciones
deben de tener la forma:

V 1, = = $
; V 1/2, = /
v = v $ /

De donde = v = 0, al sustituir N = 1 y N = 1/2 en la relación de recurrencia anterior para

entonces el termino general para cada solución debe ser:

162
 =− ∀ ≥2
/
2 +
v
v =− ∀ ≥2
/
2 −
Para = 2:

=−
10
v
v =−
6
Para = 3:

=− =0
.
21
v
v. = − =0
15
Para = 4:
1
=− =− f− g =
i
36 36 10 360
v 1 v v
vi = − = − ]− ^ =
28 28 6 168
Para = 6:
1
=− =− f g=−
i
k
78 78 360 28080
vi 1 v v
vk = − =− ] ^=−
66 66 168 11088
Nótese que para impar, los coeficientes correspondientes se anulan, por lo que podemos expresar la
solución general como:

V = + + .
+ .
i
+ i
j
+ j
k
+ k
n
+⋯

+|v /
+v ./
+v j/
+ v. n/
+ vi ~/
+ vj /
+ vk ./
+ ⋯}

Sustituyendo:
v v v
V =f − .
+ j
− n
+ ⋯ g + ]v /
− j/
+ ~/
− ./
+ ⋯^
10 360 28080 6 168 11088
Por lo tanto, la solución general es:
1 1 1 1 1 1
V = ] − .
+ j
− n
+ ⋯^ +v ] /
− j/
+ ~/
− ./
+ ⋯^
10 360 28080 6 168 11088

163