RESOLUCION EN SERIES

DE POTENCIAS
TERCER PARCIAL CLASE X

Joe Garcı́a Arcos

August 25, 2020

1 / 80
Contenido

1. Resolución en series de potencias

2. Solución en series de potencias sobre un punto ordinario

2 / 80
Resolución en series de potencias
Las soluciones en serie para ecuaciones diferenciales ordinarias de
segundo orden con coeficientes no constantes ocupan un lugar esencial
en el desarrollo de las técnicas de solución para ecuaciones diferenciales.

3 / 80
Resolución en series de potencias
Las soluciones en serie para ecuaciones diferenciales ordinarias de
segundo orden con coeficientes no constantes ocupan un lugar esencial
en el desarrollo de las técnicas de solución para ecuaciones diferenciales.
La parte difı́cil de resolver muchas ecuaciones diferenciales ordinarias de
segundo orden se relaciona con la existencia de puntos singulares
regulares y puntos singulares irregulares en estas ecuaciones
diferenciales ordinarias.

4 / 80
Resolución en series de potencias
Las soluciones en serie para ecuaciones diferenciales ordinarias de
segundo orden con coeficientes no constantes ocupan un lugar esencial
en el desarrollo de las técnicas de solución para ecuaciones diferenciales.
La parte difı́cil de resolver muchas ecuaciones diferenciales ordinarias de
segundo orden se relaciona con la existencia de puntos singulares
regulares y puntos singulares irregulares en estas ecuaciones
diferenciales ordinarias.
Una técnica llamada la serie Frobenius se ha encontrado útil para
resolverla.

5 / 80
Resolución en series de potencias
Las soluciones en serie para ecuaciones diferenciales ordinarias de
segundo orden con coeficientes no constantes ocupan un lugar esencial
en el desarrollo de las técnicas de solución para ecuaciones diferenciales.
La parte difı́cil de resolver muchas ecuaciones diferenciales ordinarias de
segundo orden se relaciona con la existencia de puntos singulares
regulares y puntos singulares irregulares en estas ecuaciones
diferenciales ordinarias.
Una técnica llamada la serie Frobenius se ha encontrado útil para
resolverla. Muchas funciones especiales se definieron como las
soluciones para estas ecuaciones diferenciales ordinarias de segundo
orden con coeficientes no constantes.

6 / 80
Resolución en series de potencias
Las soluciones en serie para ecuaciones diferenciales ordinarias de
segundo orden con coeficientes no constantes ocupan un lugar esencial
en el desarrollo de las técnicas de solución para ecuaciones diferenciales.
La parte difı́cil de resolver muchas ecuaciones diferenciales ordinarias de
segundo orden se relaciona con la existencia de puntos singulares
regulares y puntos singulares irregulares en estas ecuaciones
diferenciales ordinarias.
Una técnica llamada la serie Frobenius se ha encontrado útil para
resolverla. Muchas funciones especiales se definieron como las
soluciones para estas ecuaciones diferenciales ordinarias de segundo
orden con coeficientes no constantes. Las soluciones para la ecuación de
Bessel se denominan funciones de Bessel del primer y segundo tipo.

7 / 80
Resolución en series de potencias
Las soluciones en serie para ecuaciones diferenciales ordinarias de
segundo orden con coeficientes no constantes ocupan un lugar esencial
en el desarrollo de las técnicas de solución para ecuaciones diferenciales.
La parte difı́cil de resolver muchas ecuaciones diferenciales ordinarias de
segundo orden se relaciona con la existencia de puntos singulares
regulares y puntos singulares irregulares en estas ecuaciones
diferenciales ordinarias.
Una técnica llamada la serie Frobenius se ha encontrado útil para
resolverla. Muchas funciones especiales se definieron como las
soluciones para estas ecuaciones diferenciales ordinarias de segundo
orden con coeficientes no constantes. Las soluciones para la ecuación de
Bessel se denominan funciones de Bessel del primer y segundo tipo. En
esta sección, consideraremos algunas ecuaciones diferenciales clásicas
que caen dentro de esta categorı́a, incluyendo la ecuación de Bessel, la
ecuación de Bessel modificada, la ecuación de Legendre, la ecuación de
Legendre asociada.

8 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas.

9 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas. En
general, sin embargo, las ecuaciones lineales de orden superior no tienen
soluciones que puedan expresarse de una manera tan simple.

10 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas. En
general, sin embargo, las ecuaciones lineales de orden superior no tienen
soluciones que puedan expresarse de una manera tan simple. Por lo
tanto, debemos buscar otros medios de expresión para las soluciones de
estas ecuaciones.

11 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas. En
general, sin embargo, las ecuaciones lineales de orden superior no tienen
soluciones que puedan expresarse de una manera tan simple. Por lo
tanto, debemos buscar otros medios de expresión para las soluciones de
estas ecuaciones. Uno de estos medios de expresión lo proporcionan las
representaciones de series infinitas, y el presente capı́tulo está dedicado
a los métodos para obtener soluciones en forma de serie infinita.

12 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas. En
general, sin embargo, las ecuaciones lineales de orden superior no tienen
soluciones que puedan expresarse de una manera tan simple. Por lo
tanto, debemos buscar otros medios de expresión para las soluciones de
estas ecuaciones. Uno de estos medios de expresión lo proporcionan las
representaciones de series infinitas, y el presente capı́tulo está dedicado
a los métodos para obtener soluciones en forma de serie infinita.
Cuando consideramos las ecuaciones diferenciales lineales de orden
superior, tales soluciones no son posibles en la mayorı́a de los casos.

13 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas. En
general, sin embargo, las ecuaciones lineales de orden superior no tienen
soluciones que puedan expresarse de una manera tan simple. Por lo
tanto, debemos buscar otros medios de expresión para las soluciones de
estas ecuaciones. Uno de estos medios de expresión lo proporcionan las
representaciones de series infinitas, y el presente capı́tulo está dedicado
a los métodos para obtener soluciones en forma de serie infinita.
Cuando consideramos las ecuaciones diferenciales lineales de orden
superior, tales soluciones no son posibles en la mayorı́a de los casos.
Pero la familia de funciones simples que ocurren en las situaciones
anteriores tiene una buena propiedad de que son analı́ticas en la
vecindad de cada punto en el intervalo dado y tienen representaciones
elegantes de series de potencias cerca de estos puntos.

14 / 80
Hasta ahora, hemos aprendido que ciertos tipos de ecuaciones
diferenciales lineales de orden superior (por ejemplo, aquellas con
coeficientes constantes) tienen soluciones que pueden expresarse como
combinaciones lineales finitas de funciones elementales conocidas. En
general, sin embargo, las ecuaciones lineales de orden superior no tienen
soluciones que puedan expresarse de una manera tan simple. Por lo
tanto, debemos buscar otros medios de expresión para las soluciones de
estas ecuaciones. Uno de estos medios de expresión lo proporcionan las
representaciones de series infinitas, y el presente capı́tulo está dedicado
a los métodos para obtener soluciones en forma de serie infinita.
Cuando consideramos las ecuaciones diferenciales lineales de orden
superior, tales soluciones no son posibles en la mayorı́a de los casos.
Pero la familia de funciones simples que ocurren en las situaciones
anteriores tiene una buena propiedad de que son analı́ticas en la
vecindad de cada punto en el intervalo dado y tienen representaciones
elegantes de series de potencias cerca de estos puntos. Por lo tanto,
surge la pregunta ¿se pueden intentar soluciones analı́ticas o en series
de potencia de estas ecuaciones?
15 / 80
Para responder a esta pregunta, hemos seguido tres tipos de soluciones
de serie de potencia.

16 / 80
Para responder a esta pregunta, hemos seguido tres tipos de soluciones
de serie de potencia.
a) Método de la serie de Taylor. Con la ayuda de las condiciones
iniciales y las ecuaciones diferenciales dadas, obtenemos la serie de
Taylor que contiene solo unos pocos términos como las soluciones
de la serie de potencia. En este método, no podemos obtener ni la
relación de recurrencia entre los coeficientes ni la fórmula general
para el enésimo término de la solución.

17 / 80
Para responder a esta pregunta, hemos seguido tres tipos de soluciones
de serie de potencia.
a) Método de la serie de Taylor. Con la ayuda de las condiciones
iniciales y las ecuaciones diferenciales dadas, obtenemos la serie de
Taylor que contiene solo unos pocos términos como las soluciones
de la serie de potencia. En este método, no podemos obtener ni la
relación de recurrencia entre los coeficientes ni la fórmula general
para el enésimo término de la solución.
b) Método de las series de potencias. Suponemos la solución de
la ecuación dada como una serie de potencias y expresamos la
solución en términos de una constante arbitraria que puede
evaluarse utilizando las condiciones iniciales. Este método es
aplicable cuando resolvemos las ecuaciones en un punto ordinario.

18 / 80
Para responder a esta pregunta, hemos seguido tres tipos de soluciones
de serie de potencia.
a) Método de la serie de Taylor. Con la ayuda de las condiciones
iniciales y las ecuaciones diferenciales dadas, obtenemos la serie de
Taylor que contiene solo unos pocos términos como las soluciones
de la serie de potencia. En este método, no podemos obtener ni la
relación de recurrencia entre los coeficientes ni la fórmula general
para el enésimo término de la solución.
b) Método de las series de potencias. Suponemos la solución de
la ecuación dada como una serie de potencias y expresamos la
solución en términos de una constante arbitraria que puede
evaluarse utilizando las condiciones iniciales. Este método es
aplicable cuando resolvemos las ecuaciones en un punto ordinario.
c) Método de la serie de Frobenius. El método de Frobenius
proporciona a las soluciones de la serie de potencias de ecuaciones
diferenciales en puntos singulares regulares. En este método
obtenemos una ecuación llamada ecuación indicial. Dependiendo
de las raı́ces de la ecuación indicial, obtenemos la solución general.
19 / 80
Método de la serie de Taylor
El método de la serie de Taylor generalmente se ilustra con la ecuación
del movimiento de un péndulo simple.

20 / 80
Método de la serie de Taylor
El método de la serie de Taylor generalmente se ilustra con la ecuación
del movimiento de un péndulo simple. En este método, suponemos la
expansión de la serie de Taylor de una función f (t) en t = t0 . Tal
expansión está dada por
f 0 ( t0 ) f 00 (t0 ) f 000 (t0 )
f ( t ) = f ( t0 ) + ( t − t0 ) + ( t − t0 )2 + ( t − t0 )3 + · · ·
1! 2! 3!

21 / 80
Método de la serie de Taylor
El método de la serie de Taylor generalmente se ilustra con la ecuación
del movimiento de un péndulo simple. En este método, suponemos la
expansión de la serie de Taylor de una función f (t) en t = t0 . Tal
expansión está dada por
f 0 ( t0 ) f 00 (t0 ) f 000 (t0 )
f ( t ) = f ( t0 ) + ( t − t0 ) + ( t − t0 )2 + ( t − t0 )3 + · · ·
1! 2! 3!

Tenga en cuenta que la serie de Taylor converge en el entorno de t0 y

representa una función analı́tica.

22 / 80
Método de la serie de Taylor
El método de la serie de Taylor generalmente se ilustra con la ecuación
del movimiento de un péndulo simple. En este método, suponemos la
expansión de la serie de Taylor de una función f (t) en t = t0 . Tal
expansión está dada por
f 0 ( t0 ) f 00 (t0 ) f 000 (t0 )
f ( t ) = f ( t0 ) + ( t − t0 ) + ( t − t0 )2 + ( t − t0 )3 + · · ·
1! 2! 3!

Tenga en cuenta que la serie de Taylor converge en el entorno de t0 y

representa una función analı́tica. Por lo tanto, la cuestión de la
existencia de la solución de la serie de potencia no surge en este método.

23 / 80
Método de la serie de Taylor
El método de la serie de Taylor generalmente se ilustra con la ecuación
del movimiento de un péndulo simple. En este método, suponemos la
expansión de la serie de Taylor de una función f (t) en t = t0 . Tal
expansión está dada por
f 0 ( t0 ) f 00 (t0 ) f 000 (t0 )
f ( t ) = f ( t0 ) + ( t − t0 ) + ( t − t0 )2 + ( t − t0 )3 + · · ·
1! 2! 3!

Tenga en cuenta que la serie de Taylor converge en el entorno de t0 y

representa una función analı́tica. Por lo tanto, la cuestión de la
existencia de la solución de la serie de potencia no surge en este método.
Example
Considere la ecuación diferencial

x 00 (t) + α sin x (t) = 0

donde α es una constante y x (0) = π

6, x 0 (0) = 0.
24 / 80
Solution
A partir de la ecuación dada, tenemos

x 00 (t) = −α sin x (t) (1)

Diferenciando (1) sucesivamente, tenemos

x 000 (t) = −α cos x (t) x 0 (t)

x4) (t) = −α cos x (t) x 00 (t) + α sin x (t) x 02 (t)

Como x (0) = π
6 y x 0 (0) = 0, obtenemos
π α
x 00 (0) = −α sin x (0) = −α sin
=−
6 2
000 π 0 π
x (0) = −α cos x (0) = −α cos · 0 = 0
6 6 √
4) 00 02 3 α2
x (0) = −α cos x (0) x (0) + α sin x (0) x (0) =
2 2
25 / 80
Procediendo de manera similar, podemos calcular las derivadas
sucesivas en t = 0.

26 / 80
Procediendo de manera similar, podemos calcular las derivadas
sucesivas en t = 0. Usando estos valores x 0 , x 00 , x 000 y x4) en t = 0,
tenemos la siguiente serie de Taylor para x (t) en t = 0
√ 2 4
π α t2 3α t
x (t) = − + −··· (2)
6 2 2! 4 4!
(2) da la solución de la serie de Taylor para la ecuación diferencial dada.
lcqs

27 / 80
Procediendo de manera similar, podemos calcular las derivadas
sucesivas en t = 0. Usando estos valores x 0 , x 00 , x 000 y x4) en t = 0,
tenemos la siguiente serie de Taylor para x (t) en t = 0
√ 2 4
π α t2 3α t
x (t) = − + −··· (2)
6 2 2! 4 4!
(2) da la solución de la serie de Taylor para la ecuación diferencial dada.
lcqs
La ecuación diferencial dada es una ecuación no lineal.

28 / 80
Procediendo de manera similar, podemos calcular las derivadas
sucesivas en t = 0. Usando estos valores x 0 , x 00 , x 000 y x4) en t = 0,
tenemos la siguiente serie de Taylor para x (t) en t = 0
√ 2 4
π α t2 3α t
x (t) = − + −··· (2)
6 2 2! 4 4!
(2) da la solución de la serie de Taylor para la ecuación diferencial dada.
lcqs
La ecuación diferencial dada es una ecuación no lineal. El método de la
serie de Taylor se usa a menudo para ecuaciones no lineales, siempre
que las condiciones iniciales se cumplan antes.

29 / 80
Procediendo de manera similar, podemos calcular las derivadas
sucesivas en t = 0. Usando estos valores x 0 , x 00 , x 000 y x4) en t = 0,
tenemos la siguiente serie de Taylor para x (t) en t = 0
√ 2 4
π α t2 3α t
x (t) = − + −··· (2)
6 2 2! 4 4!
(2) da la solución de la serie de Taylor para la ecuación diferencial dada.
lcqs
La ecuación diferencial dada es una ecuación no lineal. El método de la
serie de Taylor se usa a menudo para ecuaciones no lineales, siempre
que las condiciones iniciales se cumplan antes.
Hay ecuaciones diferenciales para las cuales la solución de serie de
potencias no existe en un punto dado. El siguiente ejemplo ilustra esta
observación.

30 / 80
Solución en series de potencias sobre un punto ordinario
Considere la ecuación diferencial lineal homogénea de segundo orden
con coeficientes variables definidos en un intervalo I = [ a, b]
a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0 (3)

31 / 80
Solución en series de potencias sobre un punto ordinario
Considere la ecuación diferencial lineal homogénea de segundo orden
con coeficientes variables definidos en un intervalo I = [ a, b]
a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0 (3)
y supongamos que esta ecuación no tiene soluciones expresables como
combinaciones lineales finitas de las funciones elementales conocidas.

32 / 80
Solución en series de potencias sobre un punto ordinario
Considere la ecuación diferencial lineal homogénea de segundo orden
con coeficientes variables definidos en un intervalo I = [ a, b]
a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0 (3)
y supongamos que esta ecuación no tiene soluciones expresables como
combinaciones lineales finitas de las funciones elementales conocidas.
Supongamos que la ecuación (3) admite una solución en la siguiente
forma de una serie infinita
∞
c0 + c1 ( t − t0 ) + c2 ( t − t0 )2 + · · · = ∑ c n ( t − t0 ) n (4)
n =0

33 / 80
Solución en series de potencias sobre un punto ordinario
Considere la ecuación diferencial lineal homogénea de segundo orden
con coeficientes variables definidos en un intervalo I = [ a, b]
a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0 (3)
y supongamos que esta ecuación no tiene soluciones expresables como
combinaciones lineales finitas de las funciones elementales conocidas.
Supongamos que la ecuación (3) admite una solución en la siguiente
forma de una serie infinita
∞
c0 + c1 ( t − t0 ) + c2 ( t − t0 )2 + · · · = ∑ c n ( t − t0 ) n (4)
n =0

donde c0 , c1 , c2 , ... son constantes. Una expresión de la forma (2) se

llama serie de potencias en x − x0 .

34 / 80
Solución en series de potencias sobre un punto ordinario
Considere la ecuación diferencial lineal homogénea de segundo orden
con coeficientes variables definidos en un intervalo I = [ a, b]
a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0 (3)
y supongamos que esta ecuación no tiene soluciones expresables como
combinaciones lineales finitas de las funciones elementales conocidas.
Supongamos que la ecuación (3) admite una solución en la siguiente
forma de una serie infinita
∞
c0 + c1 ( t − t0 ) + c2 ( t − t0 )2 + · · · = ∑ c n ( t − t0 ) n (4)
n =0

donde c0 , c1 , c2 , ... son constantes. Una expresión de la forma (2) se

llama serie de potencias en x − x0 . Suponiendo que la ecuación (3)
tiene una solución de serie de potencias (4), encontraremos las
constantes cn tales que (4) satisface (3).

35 / 80
Solución en series de potencias sobre un punto ordinario
Considere la ecuación diferencial lineal homogénea de segundo orden
con coeficientes variables definidos en un intervalo I = [ a, b]
a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0 (3)
y supongamos que esta ecuación no tiene soluciones expresables como
combinaciones lineales finitas de las funciones elementales conocidas.
Supongamos que la ecuación (3) admite una solución en la siguiente
forma de una serie infinita
∞
c0 + c1 ( t − t0 ) + c2 ( t − t0 )2 + · · · = ∑ c n ( t − t0 ) n (4)
n =0

donde c0 , c1 , c2 , ... son constantes. Una expresión de la forma (2) se

llama serie de potencias en x − x0 . Suponiendo que la ecuación (3)
tiene una solución de serie de potencias (4), encontraremos las
constantes cn tales que (4) satisface (3). Ahora surge la pregunta ¿en
qué condiciones es esta suposición realmente válida?

36 / 80
Es decir, ¿en qué condiciones podemos estar seguros de que la ecuación
diferencial (3) realmente tiene una solución de la forma (4)?

37 / 80
Es decir, ¿en qué condiciones podemos estar seguros de que la ecuación
diferencial (3) realmente tiene una solución de la forma (4)? Esta es
una cuestión de considerable importancia; porque serı́a bastante
absurdo tratar de encontrar una solución de la forma (4) si realmente
no se encontrara tal solución.

38 / 80
Es decir, ¿en qué condiciones podemos estar seguros de que la ecuación
diferencial (3) realmente tiene una solución de la forma (4)? Esta es
una cuestión de considerable importancia; porque serı́a bastante
absurdo tratar de encontrar una solución de la forma (4) si realmente
no se encontrara tal solución.
Para responder a esta pregunta, necesitamos las siguientes definiciones
básicas.

39 / 80
Es decir, ¿en qué condiciones podemos estar seguros de que la ecuación
diferencial (3) realmente tiene una solución de la forma (4)? Esta es
una cuestión de considerable importancia; porque serı́a bastante
absurdo tratar de encontrar una solución de la forma (4) si realmente
no se encontrara tal solución.
Para responder a esta pregunta, necesitamos las siguientes definiciones
básicas. Dado que la mayorı́a de las ecuaciones familiares que ocurren
en problemas fı́sicos son ecuaciones homogéneas de segundo orden, nos
limitamos al problema importante de la existencia de soluciones de serie
de potencia para las ecuaciones lineales de segundo orden de tipo (3).

40 / 80
Es decir, ¿en qué condiciones podemos estar seguros de que la ecuación
diferencial (3) realmente tiene una solución de la forma (4)? Esta es
una cuestión de considerable importancia; porque serı́a bastante
absurdo tratar de encontrar una solución de la forma (4) si realmente
no se encontrara tal solución.
Para responder a esta pregunta, necesitamos las siguientes definiciones
básicas. Dado que la mayorı́a de las ecuaciones familiares que ocurren
en problemas fı́sicos son ecuaciones homogéneas de segundo orden, nos
limitamos al problema importante de la existencia de soluciones de serie
de potencia para las ecuaciones lineales de segundo orden de tipo (3).
Para esto, reescribamos la ecuación (3) como

x 00 (t) + p(t) x 0 (t) + q(t) x (t) = 0

41 / 80
Es decir, ¿en qué condiciones podemos estar seguros de que la ecuación
diferencial (3) realmente tiene una solución de la forma (4)? Esta es
una cuestión de considerable importancia; porque serı́a bastante
absurdo tratar de encontrar una solución de la forma (4) si realmente
no se encontrara tal solución.
Para responder a esta pregunta, necesitamos las siguientes definiciones
básicas. Dado que la mayorı́a de las ecuaciones familiares que ocurren
en problemas fı́sicos son ecuaciones homogéneas de segundo orden, nos
limitamos al problema importante de la existencia de soluciones de serie
de potencia para las ecuaciones lineales de segundo orden de tipo (3).
Para esto, reescribamos la ecuación (3) como

x 00 (t) + p(t) x 0 (t) + q(t) x (t) = 0

donde
a1 ( t ) a2 ( t )
p(t) = y q(t) =
a0 ( t ) a0 ( t )

42 / 80
Definition
Una función f definida en un intervalo I que contiene el punto t0 se
dice que es analı́tica en t0 , si f se puede expandir en serie de
potencia alrededor de t0 que tiene un radio de convergencia
positivo.

43 / 80
Definition
Una función f definida en un intervalo I que contiene el punto t0 se
dice que es analı́tica en t0 , si f se puede expandir en serie de
potencia alrededor de t0 que tiene un radio de convergencia
positivo.
De la definición, observamos que los polinomios e x , sin x y cos x son
analı́ticos en todas partes. Una función racional también es analı́tica,
excepto en los puntos donde el denominador es cero.

44 / 80
Definition
Una función f definida en un intervalo I que contiene el punto t0 se
dice que es analı́tica en t0 , si f se puede expandir en serie de
potencia alrededor de t0 que tiene un radio de convergencia
positivo.
De la definición, observamos que los polinomios e x , sin x y cos x son
analı́ticos en todas partes. Una función racional también es analı́tica,
excepto en los puntos donde el denominador es cero.
Por lo tanto, si f es analı́tico en t = t0 , se puede expresar en la forma
∞
f (t) = ∑ c n ( t − t0 ) n
n =0
donde los cn son constantes y la serie se traslada para |t − t0 | < r0
donde r0 es el radio de convergencia de la serie de potencias.

45 / 80
Definition
Una función f definida en un intervalo I que contiene el punto t0 se
dice que es analı́tica en t0 , si f se puede expandir en serie de
potencia alrededor de t0 que tiene un radio de convergencia
positivo.
De la definición, observamos que los polinomios e x , sin x y cos x son
analı́ticos en todas partes. Una función racional también es analı́tica,
excepto en los puntos donde el denominador es cero.
Por lo tanto, si f es analı́tico en t = t0 , se puede expresar en la forma
∞
f (t) = ∑ c n ( t − t0 ) n
n =0
donde los cn son constantes y la serie se traslada para |t − t0 | < r0
donde r0 es el radio de convergencia de la serie de potencias.
El intervalo de convergencia de la serie de potencias puede determinarse
en términos de los coeficientes cn de la serie de potencias.

46 / 80
Definition
Una función f definida en un intervalo I que contiene el punto t0 se
dice que es analı́tica en t0 , si f se puede expandir en serie de
potencia alrededor de t0 que tiene un radio de convergencia
positivo.
De la definición, observamos que los polinomios e x , sin x y cos x son
analı́ticos en todas partes. Una función racional también es analı́tica,
excepto en los puntos donde el denominador es cero.
Por lo tanto, si f es analı́tico en t = t0 , se puede expresar en la forma
∞
f (t) = ∑ c n ( t − t0 ) n
n =0
donde los cn son constantes y la serie se traslada para |t − t0 | < r0
donde r0 es el radio de convergencia de la serie de potencias.
El intervalo de convergencia de la serie de potencias puede determinarse
en términos de los coeficientes cn de la serie de potencias. El hecho
importante sobre la serie de potencias es que converge de manera
uniforme y absoluta dentro del intervalo de convergencia.
47 / 80
Se puede diferenciar término por término y las series diferenciadas
también convergen uniformemente y absolutamente dentro del intervalo
de convergencia.

48 / 80
Se puede diferenciar término por término y las series diferenciadas
también convergen uniformemente y absolutamente dentro del intervalo
de convergencia.
No se puede decir nada sobre la existencia de la solución de la serie de
potencias de la ecuación diferencial en un punto a menos que
conozcamos la convergencia de la serie de potencias en ese punto.

49 / 80
Se puede diferenciar término por término y las series diferenciadas
también convergen uniformemente y absolutamente dentro del intervalo
de convergencia.
No se puede decir nada sobre la existencia de la solución de la serie de
potencias de la ecuación diferencial en un punto a menos que
conozcamos la convergencia de la serie de potencias en ese punto. Esto
lleva a la clasificación de los puntos del intervalo con respecto a la
analiticidad de los coeficientes de la ecuación diferencial dada como
puntos ordinarios y singulares que se definen de la siguiente manera.

50 / 80
Se puede diferenciar término por término y las series diferenciadas
también convergen uniformemente y absolutamente dentro del intervalo
de convergencia.
No se puede decir nada sobre la existencia de la solución de la serie de
potencias de la ecuación diferencial en un punto a menos que
conozcamos la convergencia de la serie de potencias en ese punto. Esto
lleva a la clasificación de los puntos del intervalo con respecto a la
analiticidad de los coeficientes de la ecuación diferencial dada como
puntos ordinarios y singulares que se definen de la siguiente manera.
Definition
Consideremos la ecuación diferencial

a0 (t) x 00 + a1 (t) x 0 + a2 (t) x = 0, t∈I (5)

Un punto t = t0 ∈ I se llama ordinario para la ecuación (5) si p(t) y

q(t) son analı́ticas en t = t0 , es decir, para que un punto t = t0 sea
un punto ordinario para (5), entonces tanto p(t) como q(t) deberı́an
tener representaciones de series de potencias en el entorno de t = t0 .
51 / 80
Definition
Un punto t = t0 se llama singular para (5), si t = t0 no es un punto
ordinario para (5), es decir, un punto t0 ∈ I es un punto singular
para (5), entonces p(t) o q(t) no son analı́ticas en el sentido de la
definición anterior.

52 / 80
Definition
Un punto t = t0 se llama singular para (5), si t = t0 no es un punto
ordinario para (5), es decir, un punto t0 ∈ I es un punto singular
para (5), entonces p(t) o q(t) no son analı́ticas en el sentido de la
definición anterior.
Example
Determine si t = 0 es un punto ordinario para la ecuación
diferencial
(t2 − 1) x 00 + tx 0 − x = 0
¿Qué pasa con el punto t = 1?

53 / 80
Definition
Un punto t = t0 se llama singular para (5), si t = t0 no es un punto
ordinario para (5), es decir, un punto t0 ∈ I es un punto singular
para (5), entonces p(t) o q(t) no son analı́ticas en el sentido de la
definición anterior.
Example
Determine si t = 0 es un punto ordinario para la ecuación
diferencial
(t2 − 1) x 00 + tx 0 − x = 0
¿Qué pasa con el punto t = 1?
Solution
La ecuación diferencial dada es
t 1
x 00 + x0 − 2 x=0 (6)
t2 −1 t −1

54 / 80
Ahora
t 1
p(t) = y q(t) = −
t2 −1 t2 −1
Usando la expansión binomial, p(t) y q(t) tienen las siguientes
representaciones de serie de potencias
∞
t
p(t) = −
1 − t2
= − t ( 1 − t 2 −1
) = t ∑ ( t2 ) k = − t − t3 − t5 − t7 − · · ·
k =0
(7)
∞
t
q(t) = = (1 − t2 )−1 = ∑ (t2 )k = 1 + t2 + t4 + t6 + · · · (8)
1 − t2 k =0

(7) y (8) muestran que p(t) y q(t) tienen representaciones de series de

potencias en |t| < 1 o −1 < t < 1. En otras palabras, p(t) y q(t) son
analı́ticos en t = 0. Por lo tanto, t = 0 es un punto ordinario para (6).
Cabe señalar que p(t) y q(t) tienen representaciones de series de
potencias con radio de convergencia positivo 1.

55 / 80
Cuando consideramos t = 1, entonces p(t) y q(t) no están definidos en
t = 1. Por lo tanto, no pueden ser representados por series de
potencias. Por lo tanto, no son analı́ticos en t = 1. Por lo tanto t = 1
no es un punto ordinario para la ecuación dada. lcqs

56 / 80
Cuando consideramos t = 1, entonces p(t) y q(t) no están definidos en
t = 1. Por lo tanto, no pueden ser representados por series de
potencias. Por lo tanto, no son analı́ticos en t = 1. Por lo tanto t = 1
no es un punto ordinario para la ecuación dada. lcqs
Example
Encuentra los puntos singulares de la ecuación diferencial

1
(t − 1) x 00 + tx 0 + x = 0 (9)
t

57 / 80
Cuando consideramos t = 1, entonces p(t) y q(t) no están definidos en
t = 1. Por lo tanto, no pueden ser representados por series de
potencias. Por lo tanto, no son analı́ticos en t = 1. Por lo tanto t = 1
no es un punto ordinario para la ecuación dada. lcqs
Example
Encuentra los puntos singulares de la ecuación diferencial

1
(t − 1) x 00 + tx 0 + x = 0 (9)
t

Solution
Reescribiendo la ecuación (9), obtenemos

t 1
p(t) = y q(t) =
t−1 t ( t − 1)

La función p es analı́tica excepto en t = 1 y q es analı́tica excepto en

t = 0 y t = 1.
58 / 80
Por lo tanto, t = 0 y t = 1 son puntos singulares para (9). Cabe señalar
que t = 0 es un punto singular, aunque p es analı́tica en t = 0. lcqs

59 / 80
Por lo tanto, t = 0 y t = 1 son puntos singulares para (9). Cabe señalar
que t = 0 es un punto singular, aunque p es analı́tica en t = 0. lcqs
Antes de ilustrar la solución de series de potencias de algunas de las
ecuaciones diferenciales lineales homogéneas bien conocidas de segundo
orden en o cerca de los puntos ordinarios.

60 / 80
Por lo tanto, t = 0 y t = 1 son puntos singulares para (9). Cabe señalar
que t = 0 es un punto singular, aunque p es analı́tica en t = 0. lcqs
Antes de ilustrar la solución de series de potencias de algunas de las
ecuaciones diferenciales lineales homogéneas bien conocidas de segundo
orden en o cerca de los puntos ordinarios.
Theorem
Sea t = t0 un punto ordinario de la ecuación diferencial

L( x ) = x 00 + p(t) x 0 + q(t) x = 0 (10)

donde x0 y x1 sean constantes arbitrarias. Entonces existe una

función única x que es analı́tica en t0 es una solución de (10) en un
vecindario de t0 que satisface las condiciones iniciales x (t0 ) = x0 y
x 0 ( t0 ) = x1 .
Si las expansiones de la serie de potencias de p y q convergen en
|t − t0 | < r, r > 0, la solución de la serie de potencias también es
convergente en |t − t0 | < r.

61 / 80
El teorema anterior nos da una condición suficiente para la existencia de
la solución de serie de potencias de (10) en un punto ordinario. Es
interesante observar que la analiticidad de los coeficientes p(t) y q(t)
obliga a la solución x (t) a ser analı́tica.

62 / 80
El teorema anterior nos da una condición suficiente para la existencia de
la solución de serie de potencias de (10) en un punto ordinario. Es
interesante observar que la analiticidad de los coeficientes p(t) y q(t)
obliga a la solución x (t) a ser analı́tica.
Sabemos que una ecuación diferencial lineal homogénea de orden 2
tiene dos soluciones linealmente independientes que forman una base.

63 / 80
El teorema anterior nos da una condición suficiente para la existencia de
la solución de serie de potencias de (10) en un punto ordinario. Es
interesante observar que la analiticidad de los coeficientes p(t) y q(t)
obliga a la solución x (t) a ser analı́tica.
Sabemos que una ecuación diferencial lineal homogénea de orden 2
tiene dos soluciones linealmente independientes que forman una base.
Aunque L( x ) = 0 tiene solo una solución de serie de potencias en un
punto ordinario t = t0 , es una suma de dos series de potencias en t = t0
y estas dos series de potencias son linealmente independientes en el
sentido de que uno no es múltiplo constante del otro.

64 / 80
El teorema anterior nos da una condición suficiente para la existencia de
la solución de serie de potencias de (10) en un punto ordinario. Es
interesante observar que la analiticidad de los coeficientes p(t) y q(t)
obliga a la solución x (t) a ser analı́tica.
Sabemos que una ecuación diferencial lineal homogénea de orden 2
tiene dos soluciones linealmente independientes que forman una base.
Aunque L( x ) = 0 tiene solo una solución de serie de potencias en un
punto ordinario t = t0 , es una suma de dos series de potencias en t = t0
y estas dos series de potencias son linealmente independientes en el
sentido de que uno no es múltiplo constante del otro. Por lo tanto,
cuando t = t0 es un punto ordinario, podemos obtener una solución de
serie de potencias general como una combinación lineal de dos series de
potencias linealmente independientes.

65 / 80
El teorema anterior nos da una condición suficiente para la existencia de
la solución de serie de potencias de (10) en un punto ordinario. Es
interesante observar que la analiticidad de los coeficientes p(t) y q(t)
obliga a la solución x (t) a ser analı́tica.
Sabemos que una ecuación diferencial lineal homogénea de orden 2
tiene dos soluciones linealmente independientes que forman una base.
Aunque L( x ) = 0 tiene solo una solución de serie de potencias en un
punto ordinario t = t0 , es una suma de dos series de potencias en t = t0
y estas dos series de potencias son linealmente independientes en el
sentido de que uno no es múltiplo constante del otro. Por lo tanto,
cuando t = t0 es un punto ordinario, podemos obtener una solución de
serie de potencias general como una combinación lineal de dos series de
potencias linealmente independientes.
Antes de proceder a ilustrar el teorema con ejemplos, describiremos
brevemente la técnica común en todos los ejemplos en soluciones de
serie de potencias de ecuaciones diferenciales lineales homogéneas de
orden 2.

66 / 80
 ∞
Sustituiremos la serie de potencias ∑ cn tn y sus series derivadas en la
n =0
ecuación diferencial y después de la disposición juiciosa de coeficientes
de diferentes potencias, obtenemos de las ecuaciones diferenciales una
serie de potencias cuya suma es cero.

67 / 80
 ∞
Sustituiremos la serie de potencias ∑ cn tn y sus series derivadas en la
n =0
ecuación diferencial y después de la disposición juiciosa de coeficientes
de diferentes potencias, obtenemos de las ecuaciones diferenciales una
serie de potencias cuya suma es cero. Entonces equiparamos el
coeficiente de diferentes potencias de esta serie de potencias a cero.
Esto conducirá a una fórmula de recurrencia entre los coeficientes que
determinará cn en términos de c0 y c1 dando dos soluciones
independientes de serie de potencias.

68 / 80
 ∞
Sustituiremos la serie de potencias ∑ cn tn y sus series derivadas en la
n =0
ecuación diferencial y después de la disposición juiciosa de coeficientes
de diferentes potencias, obtenemos de las ecuaciones diferenciales una
serie de potencias cuya suma es cero. Entonces equiparamos el
coeficiente de diferentes potencias de esta serie de potencias a cero.
Esto conducirá a una fórmula de recurrencia entre los coeficientes que
determinará cn en términos de c0 y c1 dando dos soluciones
independientes de serie de potencias.
Theorem
El punto t0 es un punto ordinario de la ecuación diferencial (3). La
ecuación diferencial (3) tiene dos soluciones no triviales de series de
∞
potencia linealmente independientes de la forma ∑ c n ( t − t0 ) n , y
n =0
estas series de potencias convergen en algún intervalo |t − t0 | < R
(donde R > 0) alrededor de t0 .

69 / 80
Este teorema nos da una condición suficiente para la existencia de
soluciones de serie de potencia de la ecuación diferencial (3).

70 / 80
Este teorema nos da una condición suficiente para la existencia de
soluciones de serie de potencia de la ecuación diferencial (3). Establece
que si t0 es un punto ordinario de la ecuación (3), esta ecuación tiene
dos soluciones de serie de potencia en potencias de t − t0 y que estas
dos soluciones de serie de potencia son linealmente independientes.

71 / 80
Este teorema nos da una condición suficiente para la existencia de
soluciones de serie de potencia de la ecuación diferencial (3). Establece
que si t0 es un punto ordinario de la ecuación (3), esta ecuación tiene
dos soluciones de serie de potencia en potencias de t − t0 y que estas
dos soluciones de serie de potencia son linealmente independientes. Por
lo tanto, si t0 es un punto ordinario de (3), podemos obtener la solución
general de (3) como una combinación lineal de estas dos series de
potencia linealmente independientes.

72 / 80
Este teorema nos da una condición suficiente para la existencia de
soluciones de serie de potencia de la ecuación diferencial (3). Establece
que si t0 es un punto ordinario de la ecuación (3), esta ecuación tiene
dos soluciones de serie de potencia en potencias de t − t0 y que estas
dos soluciones de serie de potencia son linealmente independientes. Por
lo tanto, si t0 es un punto ordinario de (3), podemos obtener la solución
general de (3) como una combinación lineal de estas dos series de
potencia linealmente independientes.
Example
Resolver la ecuación diferencial

x 00 + k2 x = 0

en donde k es una constante positiva.

73 / 80
Example
Resolver la ecuación diferencial

x 00 + tx 0 − x = 0

74 / 80
Example
Resolver la ecuación diferencial

x 00 + tx 0 − x = 0

Example
Resolver la ecuación diferencial

x 00 + x 0 − 2tx = 0

75 / 80
Example
Resolver la ecuación diferencial

x 00 + tx 0 − x = 0

Example
Resolver la ecuación diferencial

x 00 + x 0 − 2tx = 0

Example
Encuentre una solución en serie de potencias del problema de valor
inicial

(t2 − 1) x 00 + 4tx 0 + 2x = 0, x (0) = 1, x 0 (0) = −1.

76 / 80
Example
Encuentre una solución en serie de potencias de la ecuación
diferencial
x 00 − t2 x 0 + (t + 2) x = t

77 / 80
Example
Encuentre una solución en serie de potencias de la ecuación
diferencial
x 00 − t2 x 0 + (t + 2) x = t

Example
Encuentre las soluciones en potencias de t − 1 de la ecuación
diferencial:
t2 x 00 + 3tx 0 − x = 0.

78 / 80
Example
Encuentre una solución en serie de potencias de la ecuación
diferencial
x 00 − t2 x 0 + (t + 2) x = t

Example
Encuentre las soluciones en potencias de t − 1 de la ecuación
diferencial:
t2 x 00 + 3tx 0 − x = 0.

Example
Encuentre las soluciones en potencias de t − 1 del problema de valor
inicial:
tx 00 + x 0 + 2x = 0, x (1) = 2, x 0 (1) = 4.

79 / 80
Bibliografı́a

J. Garcı́a A., Ecuaciones diferenciales ordinarias y aplicaciones, 1ra

edición/Editorial López 2020.

80 / 80