Tu pregunta es,

Halle la solución general de la ecuación diferencial, usando series de potencias. Exprese dicha ecuación me-
diante funciones elementales.
(1 + x2 )y 00 + 2xy 0 − 2y = 0
Lo primero que tienes que ver son las singularidades, para eso nos fijamos en los puntos donde se hace cero la
segunda derivada, entonces,
1 + x2 = 0
y ésto tiene dos raı́ces imaginarias... que son x1 = ±i, y por tanto, una solución en serie de potencias centrada
en 0 que converge al menos para |x| < 1, donde 1 es la distancia en el plano complejo desde 0 a i o −i. La
suposición, comenzamos por,
X∞
y= cn x n (1)
n=0

y debemos hallar sus respectivas derivadas, necesitamos la primera y segunda, espero sepas como hacerlo,
∞
X
y0 = cn nxn−1 (2)
n=1

∞
X
y 00 = cn n(n − 1)xn−2 (3)
n=2

y lo hacemos es armar la ecuación diferencial, usando (1), (2) y (3)

∞ ∞ ∞
! ! !
X X X
2 n−2 n−1 n
(1 + x ) cn n(n − 1)x + 2x cn nx −2 cn x =0 (4)
n=2 n=1 n=0

desarrollando, tenemos,
∞ ∞ ∞ ∞
! ! ! !
X X X X
n−2 2 n−2 n−1 n
cn n(n − 1)x +x cn n(n − 1)x + 2x cn nx −2 cn x =0
n=2 n=2 n=1 n=0

usando las leyes de los exponentes... xm xn = xm+n , entonces,

∞
X ∞
X ∞
X ∞
X
cn n(n − 1)xn−2 + cn n(n − 1)xn + 2 cn nxn − 2 cn xn = 0 (5)
n=2 n=2 n=1 n=0

ahora, para comprimir todas las sumatorias en una sola, debemos tener los lı́mites inferiores de cada sumatoria
IGUALES¡... Para eso, debemos sacar o agregar términos, lo más práctico serı́a...poner todo para n = 2 entonces
a la primera y segunda suma no tenemos que hacerle nada para el tercero hay que sacarle un término y para el
cuarto debemos sacarle dos términos, haber,
∞
X ∞
X
n 1
cn nx = c1 (1)x + xn nxn
n=1 n=2

∞
X ∞
X
n 0 1
cn x = c0 x + c1 x + cn xn
n=0 n=2

entonces, (5) podemos reescribir ası́,

∞ ∞ ∞ ∞
" # " #
X X X X
n−2 n 1 n 0 1 n
cn n(n − 1)x + cn n(n − 1)x + 2 c1 (1)x + xn nx − 2 c0 x + c1 x + cn x =0
n=2 n=2 n=2 n=2

∞
X ∞
X ∞
X ∞
X
cn n(n − 1)xn−2 + cn n(n − 1)xn + 2c1 x1 + 2 xn nxn − 2c0 − 2c1 x1 − 2 cn xn = 0
n=2 n=2 n=2 n=2
∞
X ∞
X ∞
X ∞
X
cn n(n − 1)xn−2 + cn n(n − 1)xn +2 xn nxn −2 cn xn −2c0 = 0
n=2 n=2 n=2 n=2
| {z } | {z } | {z } | {z }
k=n−2 k=n k=n k=n

1
las sustituciones se las hace en base al grado de la variable equis...pero tenemos un problema con la prime-
ra...porque nos va a quedar k = 0 y las demás nos queda como k = 2...y no vamos a poder comprimir todo,
para eso vamos a sacar dos elementos más de la primera,
∞
X ∞
X ∞
X ∞
X
c2 (2)(2−1)x2−2 +c3 (3)(3−1)x3−2 + cn n(n − 1)xn−2 + cn n(n − 1)xn +2 cn nxn −2 cn xn −2c0 = 0
n=4 n=2 n=2 n=2
| {z } | {z } | {z } | {z }
k=n−2 k=n k=n k=n

ahora sı́,
∞
X ∞
X ∞
X ∞
X
ck+2 (k + 2)(k + 1)xk + ck k(k − 1)xk + 2 ck kxk − 2 ck xk − 2c0 + 2c2 + 6c3 x = 0
k=2 k=2 k=2 k=2

ahora, podemos comprimir todas las sumatorias en una sola...y de una vez sacaste el factor común,
∞
X
[ck+2 (k + 2)(k + 1) + ck k(k − 1) + 2ck k − 2ck ]xk − 2c0 + 2c2 + 6c3 x = 0
k=2

intentemos simplificar un poco más,

∞
X
[ck+2 (k + 2)(k + 1) + ck (k(k − 1) + 2k − 2)]xk − 2c0 + 2c2 + 6c3 x = 0
k=2

∞
X
[ck+2 (k + 2)(k + 1) + ck (k + 2)(k − 1)]xk − 2c0 + 2c2 + 6c3 x = 0
k=2

de ésta identidad se concluye que,

−2c0 + 2c2 = 0 6c3 = 0
c0 = c2 c3 = 0 (6)
y además,
ck+2 (k + 2)(k + 1) + ck (k + 2)(k − 1) = 0
k−1
ck+2 = −ck
k+1
entonces, de aquı́ para adelante debemos desarrollar los términos de la sucesión e intentaremos hallar un patrón.
Sustituı́mos para k = 2, 3, 4, · · · ,
2−1 1 1
c4 = − c2 = − c2 = − c0
2+1 3 3
3−1
c5 = − c3 = 0
3+1
 
4−1 3 1 1
c6 = − c4 = − − c0 = c0
4+1 5 3 5
5−1 4
c7 = − c5 = − c5 = 0
5+1 6
 
6−1 5 1 1
c8 = − c6 = − c0 = − c0
6+1 7 5 7
7−1 8
c9 = − c7 = − c7 = 0
7+1 6
 
8−1 7 1 1
c10 =− c8 = − − c0 = c0
8+1 9 7 9
mira que tenemos que buscar la forma de poner todo en función de alguna constante en particular en éste
caso..obtuvimos (6), que es el resultado NECESARIO de igualar lo que tenga equis a cero y por otra parte las
términos SOLITOS que extrajimos de las sumatorias también las igualamos a cero y obtenemos (6), luego se
obtiene la relación de recurrencia que no es más que despejar ck+2 en función de ck y averiguar los términos
de la sucesión, usando las igualdades que hayas obtenido...Lo simpático es que algunos términos se hacen cero,
por una especie de efecto dominó puesto que c3 entonces c5 , entonces c7 y entonces c9 valen cero...debes
obtener los que tu necesites para darte cuenta del patrón...aquı́ bastó con obtener los 10 primeros términos para
obtenerla...entonces,

2
Sabemos que la solución será,

y = c0 + c1 x + c2 x2 + c3 x3 + c4 x4 + c5 x5 + c6 x6 + c7 x7 + c8 x8 + c9 x9 + c10 x10 + ... (7)

reemplacemos todo lo que sabemos,

         
2 3 1 4 5 1 6 7 1 8 9 1 10
y = c0 + c0 x + (0)x + − c0 x + (0)x + c0 x + (0)x + − c0 x + (0)x + c0 x + ... +c1 x
3 5 7 9

como solo obtuvimos los diez primero, entonces los demás no nos interesa...además, mira que no sabemos nada
acerca de c1 entonces lo apartamos...también, date cuenta que todos los términos dependen del coeficiente c0 ,
entonces,  
1 1 1 1
y = c0 1 + x2 − x4 + x6 − x8 + x10 + ... + c1 x
3 5 7 9
entonces según veo, La respuesta es la opción 2... Pero como los profes son bien¡¡....jajaja...te puso otra
escondida...pero no hay porque asustarse...

Lo que si te sugiero es que repases el tema de Series de Maclaurin no es muy complicado, pero si es largo y
para ponerte a desarrollar en un examen te puede costar caro...entonces mejor apréndetelas al menos las más
importantes...por ejemplo,
1 1 1 1
(x) arctan(x) : x2 − x4 + x6 − x8 + x10 ...
3 5 7 9
por supuesto si es de Maclaurin tiene que ser centrada en cero... entonces se reduce a que,

f 0 (0) f 00 (0) 2 f 000 (0) 3

f (x) = f (0) + (x) + (x) + (x) + ...
1! 2! 3!
y ponerte a calcular las derivadas de x arctan(x) y evaluar cada una en cero (es fácil), pero cuando no estás
acostumbrado es un contrapeso.

Bien, entonces la otra respuesta es la 4...

Las respuesta son 2 y 4