SERIES para EDL PDF

UNACAR TÓPICOS SELECTOS DE MATEMÁTICAS
CONTENIDO
ECUACIONES LINEALES CON COEFICIENTES VARIABLES Y

SOLUCIONES EN FORMA DE SERIES
UNIDAD 1. SERIES DE POTENCIAS………………………….….……………….….1
1.1. Serie matemática………………………………………………………….…2

1.2. Algunos tipos de series………………………………… …………………..2
1.3. Criterios de convergencia……………………………… …………………..3
1.3.1. Criterio de D'Alembert o Criterio del Cociente (prueba de la
razón)………..................................……………..……………………………………….4
1.3.2. Criterio de Cauchy (raíz enésima)……………….………………..4
1.3.3. Criterio de Raabe…………………………….……………………5
1.3.4. Criterio de la integral de Cauchy…………………….……………5
1.3.5. Criterio de Leibniz…………………………………….………….5
1.3.6. Criterios de convergencia comparativos………………….……….6
1.3.7. Tipos de convergencia……………………………………………6
1.4. Región de convergencia para una serie de potencias……………..……...….7
1.5. Desarrollo de una función en serie de potencias…………………..……….12
Problemas 1-1 ………………………...……………………………………....16
UNIDAD 2. SOLUCIÓN DE LAS ECUACIONES DIFERENCIALES

EN FORMA DE SERIES DE POTENCIAS ………………………………………….17
2.1. Puntos ordinarios y singulares…………………………………………..…17

2.2. Solución mediante series de potencias en el entorno de un punto ordinario..20
2.2.1. Niveles de solución……………………………………………...20
2.2.2. Empleo de series de Taylor para la resolución de las ecuaciones
diferenciales (derivación sucesiva)……………………...………21
2.2.3. Empleo de series de Taylor para la resolución de las ecuaciones
diferenciales en el en torno de un punto ordinario.…………..….23
Problemas 2-1…………………………..…………………………………….....31
2.3. Solución en torno a un punto singular ……………………….……….…..33

2.3.1. Puntos singulares……………………..…..…………………..……..33
2.3.2. Método de Frobenius……………………..……..………………….34
Problemas 2-2……………………………………………………………….…..39
2.4. Ecuación de Bessel ………………………………..………………………39

2.5. Ecuación de Legendre …………………………………………………….41
Problemas 2-4 ……………………………………………………………….....43
CLAVE DE RESPUESTAS………………………………………………………….46
EJERCICIOS PARA AUTOAPRENDIZAJE………………………………………..50
BIBLIOGRAFIA……………………………………………………………………..53
1
INTRODUCCIÓN
Se ha visto en cursos anteriores cómo resolver algunas ecuaciones lineales de segundo orden:
las de coeficientes constantes y algunas de coeficientes variables, como las de Euler o aquellas de las
que se conoce una solución particular de la correspondiente homogénea.
Pero, en general, no se ha visto cómo resolver las ecuaciones lineales con coeficientes variables,
algunas de las cuales aparecen ligadas a importantes problemas de la Física, como las ecuaciones de
Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes polinómicos.
Además, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables en
términos de un numero finito de funciones elementales (polinomios, exponenciales, trigonométricas,
etc., o inversas de éstas). Otras veces, aún sabiendo resolver la ecuación, había que expresar la solución
por medio de una integral. Pero en general, las soluciones no pueden expresarse tan fácilmente.
Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones lineales de
segundo orden, que propicien a su vez nuevos métodos de resolución de las mismas.
En este tema se estudiará un método de resolución basado en la representación de soluciones
mediante series de potencias. .
OBJETIVO
Que el alumno aprenderá la estrategia usual para resolver ecuaciones

diferenciales lineales de orden superior con coeficientes variables es suponer una
solución en forma de serie infinita y pasar, en forma parecida, al método de los
coeficientes indeterminados.
2
1. SERIES DE POTENCIAS
OBJETIVO: Como las soluciones en serie son, con frecuencia, series de potencias, es
conveniente enunciar algunos de los hechos más importantes acerca de las series de
potencias.
1.1 Serie matemática
En matemáticas, una serie es la suma de los términos de una sucesión.
Si a0 , a1 ,....  an  es una sucesión de números, entonces la expresión
a
n 0
n  a 0  a1  a 2  ..... se llama una serie infinita.
N
Se representa una serie con términos an como a
n 1
n donde N es el índice final de la serie. Las series
infinitas son aquellas donde i toma el valor de absolutamente todos los números naturales, es decir,
n  1,2,3..... .
M
La m-esima suma parcial sm esta dada por sm   an  a0  a1  a2  .....  am
n 0
Las series convergen o divergen. En cálculo, una serie diverge si lim s m no existe o si tiende a infinito;
m 
converge si lim s m  L (las sumas parciales tienen un limite) para algún .

m 

Si la serie a
n 0
n converge, entonces lim a n  0
n 
1.2. Algunos tipos de series

Una Serie geométrica es una serie en la cual cada término se obtiene multiplicando el anterior por
una constante. Ejemplo (con constante 1/2):

1 1 1 1 1
1         n
2 4 8 16 n 0 2
En general, para las series geométricas
3

1
z
n 0
n

1 z
Sólo si |z| < 1.
• La serie armónica es la serie

1 1 1 1 1
1       
2 3 4 5 n 1| n
La serie armónica es divergente.
• Una Serie alternada (o Serie telescópica) es una serie donde los términos alternan el signo.
Ejemplo:

1 1 1 1 1
1          (1) n 1
2 3 4 5 n 1 n
• Serie de potencias son las funciones de la forma

y  c0  c1( x  a)  c2 ( x  a)2  c3 ( x  a)3  ...  cn ( x  a)n  ...   cn ( x  a)n  Sn (x)
n 0
donde cn son los coeficientes constantes, a es una constante llamada centro.
1.3. Criterios de convergencia

Clasificar una serie es determinar si converge a un número real o si diverge (   u oscilante).
Para esto existen distintos criterios que, aplicados a la serie en cuestión, mostrarán de qué tipo es
(convergente o divergente).
Condición del resto


Si una serie a
k 1
k es convergente, entonces lim a k  0 .
k 
El recíproco no es cierto. El contra recíproco es:

Si lim a k  0
k 
entonces a
k 1
k es divergente.
Esta afirmación es muy útil, ya que nos ahorra trabajo en los criterios cuando el límite es distinto de
cero.
4
Demostración:
Por Hipótesis:
Sk = a1 + a2 + ... + ak lim S k  S
k 
para todo S ℝ
Sabemos que Sk − 1 = a1 + a2 + ... + ak − 1 y que lim S k 1  S para todo S ℝ

k 
Por lo tanto teniendo en cuenta que Sk − Sk − 1 = ak entonces lim( S k  S k 1 )  lim a k  0

k  k 
Queda demostrada la proposición.
1.3.1. Criterio de D'Alembert o Criterio del Cociente (prueba de la razón)


Sea una serie a
k 1
k , tal que ak > 0 (serie de términos positivos).
 l con l  0,,
a k 1
Si existe lim
k  a
k
el Criterio de D'Alembert establece que:
• si l < 1, la serie converge.

• si l > 1, entonces la serie diverge.
• si l = 1, no es posible decir nada sobre el comportamiento de la serie.
En este caso, es necesario probar otro criterio, como el criterio de Raabe.
1.3.2. Criterio de Cauchy (raíz enésima)

Sea una serie a
k 1
k , tal que ak > 0 (serie de términos positivos). Y supongamos que existe
lim k ak  l , siendo l  0,

k 
Entonces, si:
• l < 1, la serie es convergente.

• l > 1 entonces la serie es divergente.
• l=1, no podemos concluir nada a priori y tenemos que recurrir al criterio de Raabe, o de
comparación, para ver si podemos llegar a alguna conclusión.
5
1.3.3. Criterio de Raabe
En algunas series, puede ocurrir que ni el criterio de D'Alembert ni el de la raíz nos permitan
determinar la convergencia o divergencia de la serie, entonces recurrimos al criterio de Raabe.

Sea una serie a
k 1
k , tal que ak > 0 (serie de términos positivos). Y supongamos que existe
)  l , siendo l   ,
a k 1
lim k ( 1 
k  ak
Por tanto, si l > 1, entonces la serie es convergente y si l < 1, la serie es divergente
Tened cuidado aquí, pues las conclusiones son al contrario que en los criterios de D'Alembert y de
la raíz.
1.3.4. Criterio de la integral de Cauchy
Si f(x) es una función positiva y monótonamente decreciente definida en el intervalo

 
[1, ∞) tal que f(n) = an para todo n, entonces a
n 1
n converge si y sólo si  f ( x)dx es finita.
1
1.3.5. Criterio de Leibniz

Una serie de la forma  (1)
k 1
n
a k (con ak  0 ) se llama alternada. Tal serie converge si se
cumplen las siguientes condiciones:

a) lim ak  0
k 
b) La serie tiene que ser absolutamente decreciente es decir que:


Si esto se cumple la serie a
k 1
k es condicionalmente convergente de lo contrario la serie diverge.

Nota :Se debe descartar primero la convergencia absoluta de  a k antes de aplicar este criterio,
k 1
usando los criterios para series positivas.
Serie geométrica

Dada la serie a r
n 1
n
n
puede afirmarse que:
• Si |r|<1 la Serie Converge.

• Si |r|>=1 la Serie Diverge.
6
1.3.6. Criterios de convergencia comparativos
Son aplicables en caso de disponer de otra serie b n tal que se conozca su condición, tal
como la divergencia para la serie geométrica. Entonces:
Criterio de comparación directa ( de la mayorante o de Gauss )]

Si 0  an  bn , n  n0
• Si b n converge   a n converge
• Si a n diverge   bn diverge
•
Criterio de comparación por paso al límite del cociente
ak
lim( )l
k  bk
Entonces:
• Si l = 0 y b n converge   a n converge
• Si y  bn diverge   a n diverge
• En otro caso, ambas series comparten la misma condición (ambas convergen, o bien ambas son
divergentes).
1.3.7. Tipos de convergencia
Convergencia absoluta
 
Se dice que una serie es absolutamente convergente si  an y
n 0
n 0
an convergen
ambas. Las series absolutamente convergentes tienen la agradable propiedad de que los términos se
pueden arreglar en cualquier orden y la serie sigue teniendo la misma suma. Por ejemplo, se puede
sumar todos los términos numeradas como impares y después sumar todos los términos numerados
como pares.
  
Una serie  an es condicionalmente convergente si
n 0
 an converge pero
n 0

n 0
an es
divergente.

( 1 )n 1 1 1
Considere la serie 
n 0 n  1
 1     ....
2 3 4
1
Se tiene an  lim an  0 , sin embargo, la serie diverge ya que sabe que lim s m  
n 1 n  m 

( 1 )n 
1
Puesto que 
n 0 n 1

n 0 n  1
la serie no converge absolutamente, sin embargo
7
1 1 1 1
 0,  y lim 0 la serie converge condicionalmente.
n 1 n 1 n  2 n  n  1
Región de convergencia para una serie de potencias


La expresión  c ( x  a)
n0
n
n
se llama una serie de potencias centrada en a . Algunos veces también se conoce como serie de
Taylor centrada en a o serie de Maclaurin si a  0
Intervalo de convergencia es el conjunto de los números para los cuales converge la serie.

c
Cuando x esté en el intervalo de convergencia, la serie de valores absolutos  n  ( x  a) n
n 0 c n 1
converge.
Todo intervalo de convergencia posee un radio de convergencia R.

Para una serie de potencias de la forma  c ( x  a)
n0
n
n
solo hay tres posibilidades:
1) La serie converge en un centro a, entonces R = 0.

2) La serie converge para toda x, que satisfaga x  a  R y diverge para x  a  R . En los
puntos extremos del intervalo de convergencia x  a  R puede tener lugar tanto la convergencia, como
la divergencia de serie de potencias.
3) La serie converge para toda x , entonces R = .
Criterio de convergencia absoluta (criterio de DÁlembert)
Para la serie de los valores absolutos el límite de la razón de
cn1 ( x  a) n1 cn1

es: lim  xa  L.
c n ( x  a) n n  c
n
La serie es converge si L  1 , y divergente si L  1 . Cuando L  1 , la convergencia de la serie se

queda sin aclarecer.
8
cn
Para la serie convergente, el radio de convergencia es R  lim
siempre y cuando existe
n  c
n 1
este límite. La serie de potencias converge absoluta en cualquier intervalo situado dentro de su
intervalo de convergencia.
La serie de potencias se puede derivar e integrar término a término dentro de su intervalo de

convergencia (para x  a  R ): y   c1  2c 2 x  3c3 x 2  4c 4 x 3 ...   ncn x n 1 ,
n 1

y   1  2c 2  2  3c3 x  3  4c 4 x 3 ...   (n  1)ncn x n  2 , etc.
n2
Una función f ( x) es analítica en el punto a si para todos x, que cumplen la condición
x  a  R , se puede representar por una serie de potencias
La suma, la diferencia y el producto de las funciones analíticas es una función analítica.
Ejemplo 1:
1 
( x  a) n
1) La función f ( x)   es analítica en todo punto a, para el cual a  1 .
(1  x) n 0 (1  a ) n 1

x2 x3 xn xn
2) La función f ( x)  e  1  x 
x
  ...   ...   es analítica para todo a.
2! 3! n! n 0 n!
Ejemplo 2:
 ( x  1) n
Determinar el intervalo de convergencia de la serie de potencias  n .
n 1 2 n
Solución:
El centro de la serie de potencias es a  1 .
cn 1 n 2n x 1
lim  x  a  lim  x 1 
n cn n (n  1)2n 1 2 .
2n1(n  1) 2(n  1)
R  lim  lim  2.
n n n n
2 n
x 1
Según el criterio de DÁlembert, la serie converge absolutamente cuando  1 , entonces,
2
x 1  2 , y 3  x  1 .
9
 1
En los puntos extremos: cuando x  1 , se obtiene la serie armónica  que es divergente1;
n 1 n
 (1) n
cuando x  3 , se obtiene la serie  n que es convergente. Entonces la serie converge cuando
n 1
x  [ 3,1) .
Ejemplo 3:

n!
Determine converge o diverge la serie  10
n 1
n
Solución:
n! (n  1)! a n 1 (n  1)!10 n n 1
an  a n 1  Lim  lim  lim 
10 n 10 n 1 n  an n  10 n 1
 n! n 10
Según el criterio de DÁlembert, la serie diverge cuando l  1
Ejemplo 4:

n3
Determine converge o diverge la serie  n
n 1 3
Solución:
a n 1 (n  1) 3  3 n 1 (n  1) 3 1 3 3 1 1
lim  lim n 1 3  lim  lim(1   2  3 )   1
n  a
n
n  3 n 3 n   n 3
3 n   n n n 3
Según el criterio de DÁlembert, la serie converge absolutamente cuando l  1 ,

entonces la serie converge.
Ejemplo 5:

1
Determine converge o diverge la serie  ln n
(5  n)
n 1
Solución:
Aplicamos el criterio de Cauchy (raíz enésima)
1 1
lim n a n  lim n  lim  0 1
n  n  ln (5  n) n ln(5  n)
n
1
Sumas de algunas series numéricas convergentes se encuentra en el Apéndice
10
Ejemplo 6:

1
Utiliza la prueba de la razón para determinar si la serie  (n  1)
n 0
2
converge o no.
Solución:
1 1 a n1 (n  1) 2
an  a n 1  Lim  lim 1
(n  1) 2 (n  2) 2 n  an n  ( n  2) 2
Fracaso del método. En este caso, es necesario probar otro criterio, como el criterio de Raabe.
a n 1 (n  1) 2
lim n(1  )  lim n(1  )  lim n(1  1)  0  1 la serie diverge
n  an n  (n  2) 2 n 
Ejemplo 7:

n
Utiliza la prueba de la razón para determinar si la serie 2
n 1
n
converge o no.
Solución:
n n 1 a n1 (n  1)  2 n n 1 1
an  n a n1  n1 Lim  lim n 1
 lim  1
2 2 n  an n 
2 n n  2n 2
Ejemplo 8:

1
Utiliza la prueba de la razón para determinar si la serie  3n
n 1
converge o no.
Solución:
1 1 a n1 3n
an  a n1  Lim  lim 1
3n 3(n  1) n  an n  3(n  1)
Fracaso del método. En este caso, es necesario probar otro criterio, como el criterio de Raabe.
a n1 3n n(3n  3  3n)
lim n(1  )  lim n(1  )  lim  1 Fracaso del método.
n  an n  3(n  1) n 3n  3
Criterio de comparación directa.
 
1 1 1 1
La serie armónica 
n 1 n
diverge, entonces y serie  3n
n 1
diverge : pues 
3n n
11
Ejemplo 9:

Determinar el intervalo de convergencia de la serie de potencias  n! x
n 0
n
Solución:
a n1 (n  1)!
Lim  lim  lim(n  1)  
n  an n  n! n 
1
Así,   o por convención r=0 y el conjunto de convergencia es solo el centro b=0
r
Ejemplo 10:

1
Determinar el intervalo de convergencia de la serie de potencias  n  1 ( x  2)
n 0
n
Solución:
1 an1 n 1
 Lim  lim 1 r 1
r n  an n  n2
La serie converge para x  2  1 y diverge para x  2  1
x  2  1 x =1 -(x-2)=1 x =3 +(x-2)=1
Para determinar si estos puntos están incluidos en el intervalo de convergencia debemos examinar
por separado. Si x = 1, entonces

1 
(1) n

n 0 n  1
( x  2) n
 
n 0 n  1
1 1
este serie converge según el Criterio de Leibniz a n  a n 1  a n  a n 1
n 1 n2
 
1 1
Por otro lado si x =3 
n 0 n  1
( x  2) n
 
n 0 n  1
que diverge (ejemplo 8)
Por lo tanto el conjunto de convergencia es el intervalo [1,3)
Ejemplo 11:

xn
Determinar el intervalo de convergencia de la serie de potencias 
n 0 n!
12
Solución:
1 a n1 n! 1
 Lim  lim  lim 0 r 
r n  an n  (n  1)! n  n  1
La serie converge para toda x.
Ejemplo 12:

Determinar el intervalo de convergencia de la serie de potencias  3 ( x  2)
n 0
n n
Solución:
1 a n1 3n1
 Lim  lim 3 serie diverge
n  n 
r an 3n
Ejemplo 13:

xn
Determinar el intervalo de convergencia de la serie de potencias  n!
n 0 2n
Solución:
1 a n1 (n  1)!2 n n 1
 Lim  lim n 1
 lim 
r n  an n 
2  n! n  2
1
Así,   o por convención r=0 y el conjunto de convergencia es solo el centro x=0
r
Desarrollo de una función en serie de potencias
Si una función es una función analítica (dada por una serie de potencias con un radio de
convergencia distinto de cero) entonces la función es infinitamente diferenciable y todas sus derivadas
son también analíticas. En general, si f es una función analítica

f ( n ) (b)
f ( x )   a n ( x  b) n an  (*)
n 0 n!
En este caso la serie (*) se llama la representación por una serie de Taylor de la función
analítica f(x). Se dice que la serie esta centrada en b. Muchas de las funciones que se estudian en
Ecuaciones Diferenciales son analíticas para la mayor parte de valores de x.
Son funciones polinomios, exponenciales, funciones trigonometricas, fracciones, composiciones e
inversas de estas funciones.
13
Serie de Taylor para una función de una variable en torno del punto b:
x b ( x  b) 2 ( x  b) n ( n)
f ( x)  f (b)  f (b)  f (b)  ...  f (b)  ... (**)
1! 2! n!
Serie de Mac-Laurin es un caso particular de la serie de Taylor para b = 0:

x x2 xn (n)
f ( x)  f (0)  f (0)  f (0)  ...  f (0)  ...
1! 2! n!
La igualidad (**) es cierta, si para x  b  R el término complementario de la fórmula de

Taylor
( x  b) n1 ( n1)
Rn  f [b   ( x  b)]  0 , 0    1 (forma de Lagrange)
(n  1)!
Polinomios de Taylor.
Si f(x) es l veces continuamente diferenciable en un intervalo abierto que contiene a b, entonces
para m  l
m
f ( n ) (b)
Pm ( x)   ( x  b) n
n 0 n!
se llama el polinomio de Taylor de grado m para f(x) , centrado en b.
P1 ( x)  f (b)  f (b)( x  b)
es la linearización de f(x) en b.
Si f(x) tiene un desarrollo en serie de potencias, entonces Pm es justo la m-esima suma parcial de
la serie de Taylor para f(x) y lim Pm ( x)  f ( x) para toda x en el conjunto de convergencia de la serie
m 
de potencias.
Ejemplo 14:
Escriba la función indicada f ( x)  e 2 x como una serie de Taylor con el centro en b =1.
Solución:

f ( n ) (b)
f ( x )   c n ( x  b) n
cn 
n 0 n!
14
f ( x)  2e 2 x f (1)  2e 2
f ( x)  4e 2 x f (1)  4e 2 
2n e2
f ( x)   ( x  1) n
f ( x)  8e 2 x f (1)  8e 2 n 0 n !
f (n)  2 n e 2 x f ( n ) (1)  2 n e 2
Ejemplo 15:
1
Verifique que la serie de Taylor alrededor de x=0 para f ( x)  es:
1 x

1
 1  x  x2  x3           xn para x 1
1 x n 0
Solución:
f ( x)  (1  x) 1 f (0)  1
f ( x)  (1  x) 2 f (0)  1
f ( x)  2(1  x) 3 f (0)  2
f ( x)  6(1  x) 4 f (0)  6
 
f ( x)  n !(1  x)  n 1
(n)
f  n!
(n)

1 f ( n ) (0) n  n! n  n
 x   x  x
1  x n0 n! n 0 n! n 0
1 1
La serie converge para x 1 lim  1  r 1 x 0 1 x 1
n  1 r
1 1
Sin embargo tiene razón para toda x  1 . Para escribir como una serie de potencias
1 x 1 x
para x  1 o x  1 se debe elegir un centro distinto. Por ejemplo si se toma b =3, entonces
f ( n) (3)  n!(1  3)  n1
1 
f ( n ) (3) 
(1) n1
 ( x  3)   n1 ( x  3) n
n
1  x n0 n! n 0 2
Prueba de la razón:
(1) n  2
1 2 n2 1 x  3  2, x5
 lim  r2 x3  2
r n (1) n 1
2  ( x  3)  2 x 1
2 n 1
15
La serie converge para x  3  2 , que es el intervalo (1,5).
Ejemplo 16:
Escriba la función indicada como una serie de Taylor con el centro en b =0.
f ( x)  x 3
Solución:

f ( n ) (b)
f ( x )   c n ( x  b) n cn 
n 0 n!
f ( x)  3x 2 f (0)  0
f ( x)  6 x f (0)  0 3
0 0 0 0 6
f ( x)   c n ( x  0) n  x  x  x2  x3  x3
f ( x)  6 f (0)  6 n 0 0! 1! 2! 3!
f ( 4 ) ( x)  0 f ( 4) (0)  0
Ejemplo17:
Desarrollar la función f ( x)  cosh x en serie de potencias de x.
Solución:
Hallamos las derivadas de la función dada:
Poniendo b  0 , obtenemos:
f ( x)  cosh x ; f ( x)  sinh x ; f ( x)  cosh x ; f ( x)  sinh x ; ...;
cosh x, si n es par
f ( n ) ( x)   .
 sinh x, si n es impar
Poniendo b  0 , obtenemos: f (0)  1 ; f (0)  0 ; f (0)  1 ; f (0)  0 ; ...;
1, si n es par
f ( n ) (0)   .
0, si n es impar
x2 x4 x 2n
obtenemos: cosh x  1    ...   ... .
2! 4! (2n)!
16
Para determinar el intervalo de convergencia de la serie obtenida aplicamos el criterio de

DÁlambert:
c 1
lim n1  x  b  lim  x  0 para cualquier x.
n  c n (2n  1)(2n  2)
n
Entonces, la serie es convergente en el intervalo    x   .
Problemas:
1-1. Halle una fórmula para el término general cn de la sucesión, suponiendo que el patrón de los
primeros términos continúa
1 1 1 1   2 4 8 
a.  , , , ,.... b. {2, 7, 12, 17,...} c. 1, , , ,...
 2 4 8 16   3 9 27 
1-2. Haga la lista de los cinco primeros términos
3(1) n n
b). cn  c). cn  sin 2
n
a). cn  1 0.2
n!
1-3. Determina el intervalo de convergencia de cada serie de potencias:

  xn  x 2 n 1  ( x  3) n
a).  xn b).  n c).  2n  1 d). 
n 1 n  2
3
n 0 n 1 n 1 n
1-4. Desarrollar en series de Taylor las siguientes funciones. Hallar los intervalos de convergencia.
Investigar el comportamiento de las serias obtenidas.

a. a x , a  0 b. sin( x  ) c. cos(x  a)   x  
4
17
UNIDAD 2. SOLUCIÓN DE LAS ECUACIONES DIFERENCIALES EN

FORMA DE SERIES DE POTENCIAS
OBJETIVO:
Que el alumno analizará algunas propiedades cualitativas de las ecuaciones diferenciales

con coeficientes constantes y sepa resolver ecuaciones diferenciales con coeficientes constantes
alrededor de puntos ordinarias y singulares.
2.1. Puntos ordinarios y singulares
Se va a considerar el caso de la ecuación diferencial lineal homogénea de segundo orden:

P( x ) y   Q( x ) y   R( x ) y  0 (*)
ó en forma canónica :
y   p( x ) y   q( x ) y  0 (**)
Definiciones.
Un punto x0 se llama punto ordinario de la ecuación diferencial (*),(**) si las funciones

Q( x ) R( x)
p( x )  y q( x)  son analíticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie
P( x ) P( x)
de Taylor en torno a x0 con radios respectivos de convergencia R1 y R2 no nulos)
Si P(x), Q(x), R(x) son polinomios, entonces x0 es punto ordinario de (*) si y sólo si P(x0)  0 ( siendo
(*) no simplificable ).
Si x0 no es punto ordinario, se llama punto singular de la ecuación (*) ó (**).
Según el estudio de las ecuaciones diferenciales lineales homogéneas, la simple continuidad de

p(x) y q(x) en un entorno I de un x0, es suficiente para garantizar la existencia de dos soluciones
linealmente independientes de la ecuación (**) en dicho entorno, así como para garantizar la
existencia y unicidad de solución del problema de valor inicial definido por (**) y las condiciones:
y(x0) = y0 , y´(x0) = b0 con x0  I
Pero si además es x0 un punto ordinario de (*) ó (**), las p(x) y q(x) no sólo son continuas en I
, sino analíticas. Y cabe preguntarse entonces si las soluciones de tal ecuación heredarán dicha
propiedad. Por tanto, si x0 es un punto ordinario de (*), surgen las preguntas siguientes:
• ¿Existen soluciones analíticas de * en un entorno de x0 , es decir, soluciones de la forma :
y  c0  c1 ( x  x0 )  c 2 ( x  x0 ) 2  ...  c n ( x  x0 ) n  ... (***)
18
En caso afirmativo:
• ¿Cómo se obtienen los coeficientes cn?

• ¿Dónde converge la serie (***) ?
Es importante poder responder a estas preguntas, pues sería absurdo intentar buscar soluciones de la
forma (***), si no existen. Si existen en I, pueden además derivarse término a término en I.
Las respuestas a estas preguntas las da el siguiente teorema, que será enunciado, pero no demostrado.
Teorema:
Si x0 es un punto ordinario de (*) (ó (**)) entonces la solución general de (*) en un cierto

entorno de x0 puede escribirse en la forma (***) y a su vez:

y   c n ( x  x0 ) n  c0 y1 ( x)  c1 y 2 ( x)
n 0
siendo c0 , c1 constantes arbitrarias e y1(x), y2(x) analíticas en un entorno I de x0, y

linealmente independientes en I.
El radio de convergencia de las series y1(x) e y2(x) es al menos tan grande como el mínimo de los
radios de convergencia de los desarrollos en serie de p(x) y q(x) en torno a x0 (es decir, al menos
igual a la distancia de x0 al punto singular más próximo de la ecuación (*), sea dicho punto real o
complejo)
Los coeficientes an de la serie (***) se obtienen en términos de c0 y c1 , sustituyendo la serie

genérica

y   c n ( x  x0 ) n
n 0
en (*), (así como los desarrollos de p(x) y q(x) si P(x), Q(x), R(x) no son polinomios) y procediendo
por coeficientes indeterminados.
Observaciones:
a) La serie solución puede converger con radio mayor que el indicado en el teorema.
b) Si el punto ordinario es x0  0, pueden simplificarse las notaciones trasladando x0 al origen,

mediante el cambio x - x0 = t.
19
c) Según el teorema de existencia y unicidad, cada solución está determinada de manera única
por los valores y( x0 ) e y( x0 ) , es decir por c0 y c1 . Por eso, todos los coeficientes se obtienen en
términos de c0 y c1.
d) El método para resolver una ecuación completa : y   p( x ) y   q( x ) y  h( x ) , siendo x0

punto ordinario y h(x) analítica en x0, es análogo. En este caso, también hay que desarrollar h(x) en
serie de potencias en torno a x0 , antes de proceder por coeficientes indeterminados. También podría
resolverse en primer lugar la ecuación homogénea y actuar luego por variación de constantes, o por
reducción de orden.
e) Es claro que podría usarse un método semejante para ecuaciones diferenciales lineales, de
primer orden.
Ejemplo 18:
a). Para la ecuación diferencial y   e x y   (senx) y  0

Todo valor finito de x es un punto ordinario ya que tanto e x como senx son analíticas en toda x.
b). Para la ecuación diferencial y   e x y   (ln x) y  0

x0  0 es un punto singular de la ecuación diferencial porque q( x)  ln x es discontinua en x =0; por
lo que no se puede representar por una serie de potencias en x.
c). Para la ecuación diferencial xy   4 xy   3 y  0

todos los valores de x son puntos ordinarios excepto x =0 , P(x) = x.
d). Para la ecuación diferencial ( x  1)( x  2) y   3 y  0

P(x) =(x+1)(x+2), x =-1 y x =-2 son puntos singulares.
Ejemplo 19:
( x  1) y   y   x( x  1) y  e x ( x  1)
Todos los coeficientes son analíticos. (x-1)=0. Si x =1 tenemos punto singular. Según el teorema ,
está garantizado que todas las soluciones de la ecuación diferencial se comportan bien en todas partes
excepto en x =1 .
Suponga que x0  3 es un punto especial de interés. Como x0  3 es un punto ordinario, todas las
soluciones se puede escribir como una serie de potencias centrada en x0  3 .

y   c n ( x  3) n
n 0
La región de convergencia x  3  2 (dos es distancia entre 3 y punto singular 1)
20
Ejemplo 20:
La ecuación diferencial (1  x 2 ) y   6 xy   4 y  0 tiene x=1 y x = -1 como sus puntos
singulares en el plano finito.
La ecuación y   2 xy   y  0 no tiene puntos singulares en el plano finito.
La ecuación xy   y   xy  0 tiene el origen, x = 0, como único punto singular en el plano finito.
Ejemplo 21:
x2
f ( x) 
( x  3)( x  4)( x 2  25)
Denominador se anula en x = 3, 4, 5i, -5i.

La función tiene entonces un válido desarrollo en serie de potencias dentro de una circunferencia
con el centro en x0  0 y con radio R de convergencia –3 < x < 3.
2.2. Solución mediante series de potencias en el entorno de un punto ordinario
2.2.1. Niveles de solución
Al resolver la ecuación diferencial por series de potencias, existen tres niveles de solución.

Suponga que la solución es y   c n ( x  b) n donde las cn son constantes.
n 0
NIVEL I
Dado un número, por ejemplo 5, se pueden determinar los primeros cinco
coeficientes c0 , c1 , c2 , c3 , c4 
4
Entonces el polinomio de Taylor P5   c n ( x  b) n produce una aproximación a la solución.
n 0
NIVEL II
Se tiene una relación recursiva (también conocida como ecuación en diferencias) para los
coeficientes. Por ejemplo, podría tomar la forma: cn 1  ncn  cn 1  n 2cn  2
Con esta relación se pueden generar de manera automática, tantos coeficientes como sean necesarios.
NIVEL III
Se tiene una formula para los coeficientes mismos. Ocasionalmente se puede alcanzar nivel III
por inspección de una solución nivel I o nivel II. Algunas veces la expresión para cn se puede obtener
resolviendo la relación recursiva encontrada en nivel II.
21
2.2.2. Empleo de series de Taylor para la resolución de las ecuaciones diferenciales (derivación
sucesiva)
Es el método de la diferenciación sucesiva en torno de un punto ordinario x0=b. Usa los valores
evaluados de las derivadas. En ciertos casos puede ser aplicado para resolución de las ecuaciones
diferenciales no lineales.
Para resolver ecuación diferencial a ( x) y( x)  b( x) y( x)  c( x)  f ( x) (*)

1. Se elije el centro x0 y se asegura que a,b,c,f se pueden escribir como una serie de potencias
centrada en x0 con radios de convergencia mayores que cero y que a(x0)  0 .
2. Se determina cuantos términos de desarrollo se necesitan.
 
y ( n ) ( x0 ) y ( n ) (b)
y( x)   cn ( x  x0 )  
n
( x  x0 ) n cn 
n 0 n 0 n! n!
3. Si las condiciones iniciales para y están dadas en x0 se usan para determinar c0 y c1

Si no se dan condiciones iniciales, c0 y c1 se toman como arbitrarias.
4 Se evalúa (*) en x0 , después se despeja y( x0 ) , se hace c2  y( x0 ) / 2

5. Se deriva expresión para y( x0 ) y se evalúa y( x0 ) usando las funciones y ( x0 ) , y( x0 ) ,
y( x0 ) .
y( x0 ) conocidas. Se hace c3 
3!
6. Se continua de esta manera derivando expresión para la derivada repetidas veces y evaluando en
x0 para encontrar y ( n ) ( x0 ) para tantas n como sea necesario.
Ejemplo 22:
Encuentre los primeros cinco términos del desarrollo en serie de Taylor de la solución
y  3 y  xy  senx y(0)  0 y(0)  2
centrada en x0=0, usando el método de series de Taylor.
Solución:
Punto x0=0 es un punto ordinario, entonces ecuación diferencial tiene solución por series de
potencias alrededor de x0=0.
Las condiciones iniciales dan y(0)  0 y(0)  2
Despejamos: y  sen( x)  3 y  xy
Evaluamos y(0)  sen(0)  3 y(0)  0 y (0)  3  2  6
Ahora derivamos y(x ) y  cos x  3 y  y  xy
Evaluamos en y(x) en x=0 y(0)  1  3(6)  0  0  2  19
Ahora se deriva y ( 4)  senx  3 y  y  xy  y
22
y ( 4) (0)  0  3(19)  2  0(6)  2  61

La solución del problema de valor inicial (hasta 5 términos) es
y(0) 2 y(0) 3 y ( 4) (0) 4 19 61

y( x)  y(0)  y(0) x  x  x  x  ....  2 x  3x 2  x3  x 4  ....
2! 3! 4! 6 24
Ejemplo 23
Resuelva el problema de valor inicial xy   y  0 , y (2)  0 , y ( 2)  3 .
Solución:
Por la diferenciación sucesiva obtenemos:
xy   y   y   0 ,
xy ( IV )  2 y   y   0 ,
xy (V )  3 y ( IV )  y   0 ,
xy (VI )  4 y (V )  y ( IV )  0 , …
Para x  2 obtenemos
2 y (2)  y (2)  0 ,
2 y (2)  y (2)  y (2)  0 ,
2 y ( IV ) (2)  2 y (2)  y(2)  0 ,
2 y (V ) (2)  3 y ( IV ) (2)  y (2)  0 ,
2 y (VI ) ( x)  4 y (V ) ( x)  y ( IV ) ( x)  0 , …
Usando las condiciones y (2)  0 y y ( 2)  3 obtenemos:
3 3 27
y (2)  0 , y(2)  , y ( IV ) (2)   , y (V ) (2)  3 , y (VI ) (2)   , ...
2 2 2
y (2)( x  2) 2 y (2)( x  2) 3 y ( n) (2)( x  2) 3
Por tanto, y( x)  y(2)  y (2)( x  2)    ...   ... 
2! 3! n!
3/ 2  3/ 2 3  27 / 2
3( x  2)  ( x  2) 3  ( x  2) 4  ( x  2) 5  ( x  2) 6  ... 
3! 4! 5! 6!
( x  2)3 ( x  2)4 ( x  2)5 3( x  2)6
3( x  2)      ...
4 16 40 160
Según el criterio de DÁlambert, la serie es convergente para x  2  2 , entonces, para 0  x  4 .
En los puntos extremos la serie puede ser convergente o divergente.
23
2.2.3. Empleo de series de Taylor para la resolución de las ecuaciones diferenciales en el en

torno de un punto ordinario
Es un método alternativo para la determinación de una solución por series de
a ( x) y( x)  b( x) y( x)  c( x)  f ( x)
en torno a un punto x0 , donde a,b,c,f tienen todas desarrollo en series de potencias y a  0 , es decir
en un punto ordinario de la ecuación diferencial.
La idea detrás del método se parece mucho a la del método de coeficientes indeterminadas.
Dada una forma para la solución, en este caso una serie de Taylor , se sustituye esta forma en la
ecuación diferencial. Después se debe resolver un problema algebraico cuyas incógnitas son los
coeficientes de la serie.
Cambio de índices de la suma en la serie.
Al resolver los ejemplos y ejercicios de series de potencias, por lo general se requiere un

cambio elemental en los índices de la suma. Considere la serie de potencias alrededor de x = 0

c x
n 0
n
n
 c0 c1x  c2 x 2    
Con frecuencia se deseará considerar la misma serie pero, por ejemplo, en potencias n+2 en lugar de
n. Se asegura que la serie es la misma si n se incrementa en 2 cada término, siempre y cuando la serie
comienza 2 términos antes.

c
n  2
n2 x n  2  c0 c1x  c2 x 2    
 
Al comparar se ve que: c x
n0
n
n
 c
n  2
n2 xn2
Ejemplo 24
Hallar la solución general de la ecuación diferencial y   xy   y  0 , determinando dos soluciones

linealmente independientes en serie de potencias de x . Campo de validez de las mismas. En particular
obtener la solución tal que y(0) = 1 y´(0) = 0.
Solución:
p( x )   x
Es  . Ambas analíticas en x0 = 0, con radios de convergencia de sus respectivos
q( x )  1
R 1  
desarrollos  , es decir x0 = 0 es punto ordinario..
R 2  
24
Luego, según el teorema anterior, existe solución de la ecuación en serie de potencias de x, válida para
todo x  R .
  
Sea y   cn x n . Por tanto: y   ncn x n 1 , y   n(n  1)cn x n  2
n0 n 1 n2
En la ecuación diferencial :
  
 n(n  1)c x
n2
n
n2
-  nc x -  c x
n 1
n
n
n 0
n
n
 0 en 
c0
Término independiente: 2  1  c2  c0  0 c2 
2
c1
Coeficiente de x: 3  2  c3  c1  c1  0 c3 
3
............................ ................................. .................
Coeficiente de xn: n  2n  1cn  2  n  1cn  0 cn  2  n
c
n2
cn  2
Formula de recurrencia : cn  n2
n
 c0
c2 n  (2n)!!
Luego c0 y c1 son libres y 
c c1
2 n 1 
 (2n  1)!!
Por tanto :
 x2 x4 x2n   x3 x5 x 2 n 1 
y ( x)  c0 1    ...   ...  c1  x    ...   ...
 2!! 4!! (2n)!!   3!! 5!! (2n  1)!! 
 c0 y1 ( x)  c1 y2 ( x)x 
 y (0)  1 c0  1
Solución particular: 
 y(0)  0c1  0
n
 x2 
  x2
x 2n
x2n
 2
Luego y( x)    y( x)     y(x)  e 2
0 (2n)!! 0 2 n n! 0 n!
25
Ejemplo 25
Hallar, por el método de series de potencias en torno a x0 = 0, la solución general de la ecuación

diferencial: (1  x 2 )y   2xy   2y  0
Solución:
 2x
p( x )  1  x 2
Es  Ambas analíticas en x0 = 0 con R1 = R2 = 1
q( x )  2
 1 x2
Luego existe solución analítica en x0 = 0, válida al menos para x  1 .


Sustituyendo y   cn x n en la ecuación diferencial:
n 0
   
 n(n  1)c x
n2
n
n2
+  n(n  1)c x
n2
n
n
+2  ncn x n - 2  cn x n  0
n 1 n 0
Cambiando en la primera sumatoria n por n+2
   
 (n  2)(n  1)c
n 0
n2 xn +  n(n  1)c x
n2
n
n
+2  ncn x n - 2  cn x n  0
n 1 n 0
Término independiente n=0 : 2c2  2c0  0  c2  c0

Coeficiente de x n=1 : 6c3  2c1  2c1  0  c3  0
............................ ................................. .................
Coeficiente de x n>=2: n
n  2n  1cn  2  nn  1cn  2n  cn  2cn  0
Luego c0 y c1 libres, c2 = c0 , c3 = 0,
n(n  1)  2n  2 (n  1)(n  2) n3

cn  2   cn   cn  cn   cn  2 n  2
(n  1)(n  2) (n  1)(n  2) n 1
Como c3 = 0  c5 = c7 = ... = c2n+1 = ... = 0
2n  3 n 2n  3 2 n  5 3 1  1 (1)n 1
c2 n =  c2 n  2 ... (1)  ...     c0  c0
2n  1 2n  1 2 n  3 5 3  1  2n  1
Por tanto:
26
 x 2 x 4 x6 (1) n 1 2 n 
y = c0 1    ... x ... c1 x x 1
 1 3 5 2n  1 
En este caso puede sumarse la serie:
 x x3 x5 x7 
y = c0 1  x    ... c1 x  y  c0 1  x arctgx  c1x
 1 3 5 7 
Nota
En los dos primeros ejemplos, la relación de recurrencia ha consistido únicamente en dos términos y
además podía deducirse fácilmente de ella, la forma general de cn . Pero, pueden aparecer relaciones
con dos o más términos, que sean más complicadas, tales que no pueda determinarse la forma general
de los coeficientes cn. Entonces sólo podrán obtenerse algunos términos.
Ejemplo 26
Hallar por el método de series de potencias en torno a x0 = 1 los términos hasta la potencia de grado 4,
correspondientes a la solución general de la ecuación diferencial: 2y   xy   y  0
Solución:
Se efectúa el cambio de variable: x - 1 = t ó x = t + 1.
d y d y dt
Entonces y   , 2 y  (t  1) y  y  0 , t0 = 0
d x dt d x
 t 1
p(t )  2
 Ambas analíticas en t = 0 con R1 = R2 = 
q(t )  1
 2
Luego existe solución analítica en t = 0, válida para todo t.

Sustituyendo y   cnt n en la ecuación diferencial:
n0
   
2 n(n  1)cnt n  2 +  ncnt n +  ncnt n 1 + c t n
n
0
n2 n 1 n 1 n 0
Cambiando en la primera sumatoria n por n+2 y en la tercera n por n+1
   
2 (n  2)(n  1)cn  2t n +  ncnt n +  (n  1)cn 1t n + c t n
n
0
n 0 n 1 n0 n 0
27
c0  c1
Término independiente n=0: 2  2  1c2  c1  c0  0 c2  
4
c1  c2
Coeficiente de t n=1: 2  3  2c3  c1  2c2  c1  0 c3  
6
............................ ................................. ..........................
Coeficiente de tn n>=2: 2n  2n  1cn  2  ncn  (n  1)cn 1  cn  0
(n  1)cn 1  (n  1)cn c c cn  2  cn 1
cn  2     n 1 n  cn  
2(n  1)(n  2) 2(n  2) 2n
c c
c1  0 1
Luego : c2  
c0  c1
; c3   4   3c1  c0
4 6 24
c0  c1 3c1  c0

c2  c3 24  6c0  6c1  3c1  c0  5c0  9c1
c4    4
8 8 192 192
 ( x  1) 2 ( x  1)3 5 
 y ( x)  c0 1    ( x  1) 4 ...
 4 24 192 
 ( x  1) 2 ( x  1)3 9 
 c1 ( x  1)    ( x  1) 4 ... x
 4 8 192 
Ejemplo 27
Hallar, por el método de series, la solución del problema de valor inicial:

y  2 xy  8 y  0 ; y(0)  3 y(0)  0
Solución:
Son p(x) = -2x y q(x) = 8 , ambas analíticas en xo = 0 , con R1 = R2 = 

Por tanto, existe solución y = y(x), analítica en xo = 0, válida para todo x.

Sustituyendo y   cn x n en la ecuación diferencial:
n 0
  
 n(n  1)cn x n  2 - 2
n2
 ncn x n + 8
n 1
c x
n 0
n
n
0
28
Cambiando en la primera sumatoria n por n+2
  
 (n  2)(n  1)c
n 0
n2 xn - 2  nc x
n 1
n
n
+8 c x
n 0
n
n
0
Término independiente n=0: 2c2  8c0  0  c2   4c0

Coeficiente de x n=1: 6c3  2c1  8c1  0  c3   c1
............................ ................................. .................
Coeficiente de xn n>=2: n  2n  1cn  2  2n  cn  8cn  0
2(n  4) 2(n  6)
Luego : cn  2  cn . De donde: cn  cn  2 n  2
(n  1)(n  2) n(n  1)
Se pide la solución tal que : y(0) = 3 e y (0) = 0 , es decir, tal que co = 3 y c1 = 0.
 c0  3
 c1  0

 c2   12

Luego: c3  c5  ......  0 Por tanto: y = 3 – 12 x2 + 4 x4
  4c2
c4  4
 12
c6  0  c8  c10  .....  0
Ejemplo 28
Resuelva la ecuación diferencial y  y  0 usando series.
Solución:

Para y  c0  c1 x  c 2 x 2  c3 x 3  c 4 x 4  c5 x 5  ...   c n x n
n 0

obtenemos: y   c1  2c 2 x  3c3 x 2  4c 4 x 3  5c5 x 4  ...   ncn x n 1
n 1

y   2c 2  6c3 x  12c 4 x 2  20c5 x 3  ...   (n  1)ncn x n  2
n2
Sustituimos y  y y en la ecuación inicial dada:
y   y  (c0  2c 2 )  (c1  6c3 ) x  (c 2  12c 4 ) x 2  (c3  20c5 ) x 3  ... =
29
 
 cn x n   (n  1)ncn x n2 = 0
n 0 n2
El primer término de la primera serie corresponde a n  0 y la primera potencia de x es cero. El

primer término de la segunda serie corresponde a n  2 , pero la primera potencia de x también es cero
( n  2 = 0 para n  2 ) .
Cambiaremos los índices: k  n en la primera serie y k  n  2 en la segunda:
  
c
k 0
k x k   (k  1)(k  2)c k  2 x k =
k 0
 [c
k 0
k  (k  1)(k  2)c k  2 ]x k = 0
Para que la última suma sea idéntica a 0 es necesario que los coeficientes de las potencias iguales
de x sean cero:
ck  (k  1)(k  2)ck 2  0 , k = 0, 1, 2, ... .
ck
ck 2   .
(k  1)(k  2)
La última ecuación es una relación de recurrencia o relación recursiva.

c0 c1 c c 2 c0 c3 c1
Entonces, c 2   , c3    1, c4    , c5    , ... .
2 6 3! 12 4! 20 5!
c0 2 c1 3 c0 4 c1 5
Sustituimos en ecuación de solución: y  c0  c1 x  x  x  x  x  ...
2 3! 4! 5!
La solución general con 2 constantes arbitrarias: c0 y c1 :
x2 x4 x3 x5
y  c0 (1 
  ...)  c1 ( x    ...) .
2! 4! 3! 5!
x2 x4 x3 x5
Por otra parte, cos x  1    ... , sin x  x    ... .
2! 4! 3! 5!
Entonces, la solución general: y  c0 cos x  c1 sin x .
Ejemplo 29
Resuelva la ecuación diferencial y  xy  0 en torno al punto ordinario x0.
Solución:
Puesto que no hay puntos singulares, está garantizado que hay dos soluciones en forma de series
de potencias centradas en 0, convergentes para x  
30
 
y   cn x n y y   (n  1)ncn x n  2
n 0 n2
Sustituimos en la ecuación inicial:

   
y  xy   (n  1)nc x
n2
n
n2
 x cn x n   (n  1)ncn x n  2   cn x n 1 =
n0 n2 n 0
 
2  1  c2 x 0   (n  1)ncn x n  2   cn x n 1 .
n 3 n 0
Ambas series comienzan con x1 , entonces, podemos cambiar los índices. En la primera serie
k  n  2 , y en la segunda k  n  1 :
  
y  xy  2c2   (k  2)(k  1)ck  2 x k   ck 1 x k = 2c2  [(k  2)(k  1)ck  2  ck 1 ]x k  0 .
k 1 k 1 k 1
Se debe cumplir que 2c2  0 y (k  2)(k  1)ck  2  ck 1  0 .
ck 1
Entonces c2  0 y ck  2   , k = 1, 2, 3, … - relación de recurrencia.
(k  2)(k  1)
c
Iterando obtenemos: k  1  0  k  1 : c3   0
3 2
c1
k  2 : c4  
43
c
k  3 : c5   2  0
54
c 1
k  4 : c6   3  c0
65 653 2
c 1
k  5 : c7   4  c1
76 7643
c
k  6 : c8   5  0
87
c 1
k  7 : c9   6   c0
98 9 8 653 2
k  8 : c10   c7   1
c1
10  9 10  9  7  6  4  3
c
k  9 : c11   8  0 , …
11  10
Se ve que c0 y c1 son arbitrarias.


1 1 1 1
y   cn x n  c0  c1 x  0  c0 x3  c1 x 4  0  c0 x 6  c1 x 7  0 
n0 3 2 43 653 2 7643
31
1 1
 c0 x9  c1 x10  0  ... =
98 653 2 10  9  7  6  4  3
1 3 1 1
 c0 [1  x  x6  x9  ...] 
3 2 653 2 9 8 6 53 2
1 4 1 1
 c1[ x  x  x7  x10  ...] =
43 7643 10  9  7  6  4  3
La respuesta podemos presentar en la forma y  y1 ( x)  y2 ( x) , donde
 
(1) k [1  4  7    (3k  2)] 3k 
y1 ( x)  c0 1   x 
 k 1 (3k )! 
 
(1) k [2  5  8    (3k  1)] 3k 1 
y2 ( x)  c1  x   x .
 k 1 (3k  1)! 
Con el criterio de la razón se puede demostrar que cada serie converge cuando x   .
Problemas:
2-1.1. Para cada ecuación diferencial, enliste los puntos singulares en el plano finito:
1. ( x 2  4) y   6 xy   3 y  0 2. x(3  x) y   (3  x) y   4 xy  0
3. 4 y   3 xy   2 y  0 4. x( x  1) 2 y   3xy   ( x  1) y  0
5. x 2 y   xy   (1  x 2 ) y  0 6. x 4 y   y  0
7. (1  x 2 ) y   2 xy   6 y  0 8. ( x 2  4 x  3) y   x 2 y   4 y  0
9. x 2 (1  x) 3 y   (1  2 x) y  0 10. 6 xy   (1  x 2 ) y   2 y  0
11. 4 xy   y  0 12. 4 y   y  0
13. x 2 ( x 2  9) y   3xy   y  0 14. x 2 (1  4 x 2 ) y   4 xy   y  0
15. (2 x  1)( x  3) y   y   (2 x  1) y  0 16. x 3 ( x 2  4) 2 y   2( x 2  4) y   xy  0
17. x( x 2  1) 2 y   y  0 18. ( x 2  6 x  8) y   3 y  0
19. (4 x  1) y   3xy   y  0
32
2-1.2. Determine dos soluciones linealmente independientes en forma de series de potencias de

cada ecuación diferencial en torno al punto ordinario x  0 :
1. y   xy  0 2. y   x 2 y  0 3. y   2 xy   y  0
4. y   xy   2 y  0 5. y   x 2 y   xy  0 6. y   2 xy   2 y  0
7. ( x  1) y   y   0 8. ( x  2) y   xy   y  0 8. ( x
2
 1) y   4 xy   2 y  0
10. ( x 2  1) y   6 y  0 11. ( x 2  2) y   3xy   y  0 12. ( x 2  1) y   xy   y  0
13. y   ( x  1) y   y  0 14. y   xy   ( x  2) y  0
2-1-3. Encuentra la solución usando el método series de Taylor, si es aplicable; en torno al punto
x  a , cuando está indicado. En cada caso determina el conjunto de valores de x, donde la serie
converge. Si es posible, representa la respuesta en la forma cerrada:
1. y    y; y (0)  4 2. y   xy; y (0)  5

3. y   2 x  y; 4. y   y  0 , y (0)  1 ; y (0)  0
5. xy   y   0 ; y (1)  2 ; y (1)  3 6. xy   y  0 ; a  1
y   xy   y  0 8. x y   xy   y  0 ; a  2
2
7.
9. (1  x 2 ) y   y  0 ; y (0)  1 ; y (0)  0 10. (1  x ) y   2 y   0 ; a  1
33
2.3.Solución en torno a un punto singular
2.3.1. Puntos singulares

Los puntos singulares se subdividen en regulares e irregulares. Ponemos la ecuación
c2 ( x) y  c1 ( x) y  c0 ( x) y  0
en su forma reducida:
y¨ P( x) y  Q( x) y  0 (*)
como x  a es un punto singular, y ya que P(x) y Q(x) son funciones racionales de x, al menos
una (o quizá ambas) de P(x) y Q(x) tienen un denominador que contiene el factor x  a .
Si x  a es un punto singular de la ecuación (*), y el denominador de P(x) no contiene el factor
x  a en una potencia mayor que uno, y el denominador de Q(x) no contiene el factor x  a a alguna
potencia mayor que dos, entonces x  a se llama punto singular regular .
Si x  a es un punto singular, pero no es un punto regular singular, entonces se llama punto
singular irregular.
Ejemplo 30:
Clasificación de los puntos singulares.
1) x  0 y x  1 son puntos singulares de la ecuación diferencial x2 ( x  1) y  ( x2  1) y  2 y  0
( x 2  1) 2
y  y  2 y 0;
x ( x  1)
2
x ( x  1)
x 1 2
P( x)  ; Q( x)  .
x ( x  1)
2
x ( x  1)
2
x  0 es un punto singular irregular porque ( x  0) aparece elevado al cuadrado en el

denominador de P (x ) .
x  1 es un punto singular regular.
2) x  1 y x  1 son puntos singulares regulares de (1  x2 ) y  2 xy  30 y  0 :
2x 30
y  y  y  0;
(1  x)(1  x) (1  x)(1  x)
2x 30
P( x)   ; Q( x) 
(1  x)(1  x) (1  x)(1  x)
34
3) x  0 es un punto singular irregular de x3 y  2 xy  5 y  0 :

2 5
y  2
y  3 y  0 ;
x x
2 5
P( x)   ; Q( x) 
x2 x3
4) x  0 es un punto singular regular de xy  2 xy  5 x  0 :
5
y  2 y  x 0;
x
5
P ( x )  2 ; Q( x)  .
x
2.3.2. Método de Frobenius
Se aplica para resolver una ecuación diferencial como c2 ( x) y  c1 ( x) y  c0 ( x) y  0 en torno a

un punto singular regular. Consiste en identificar un punto singular regular a, sustituir

y   cn ( x  a) n  r
n 0
en la ecuación diferencial y determinar el exponente r desconocido y los coeficientes cn .

Si x=a es un punto singular regular de la ecuación diferencial, existe al menos una solución en
serie de la forma:
 
y  ( x  a)r  cn ( x  a) n   cn ( x  a) n  r ,
n0 n 0
en donde el número r es una constante por determinar. Esta serie converge cuando menos en algún
intervalo 0  x  a  R .
Sin pérdida de generalidad podemos suponer que a = 0:
 
y  x r  cn x n   cn x n  r .
n0 n0
Entonces,
y  c0 x r  c1 x1 r  c2 x 2  r  ...  cn x n  r ;

y  c0 rx r 1  c1 (1  r ) x r  c2 (2  r ) x1 r  ...  cn (n  r ) x n  r 1   (n  r )cn x n  r 1 ;
n 0
y  c0 r (r  1) x r 2
 c1 (1  r )rx r 1
 c2 (2  r )(1  r ) x  ...  cn (n  r )(n  r  1) x n  r  2
r

y   (n  r )(n  r  1)cn x n  r  2 .
n 0
35
Ejemplo 31
1
Resolver la ecuación diferencial en torno al punto singular regular x  0 . x 2 y  xy  ( x  ) y  0
9
Solución:
  
y   cn x n  r y   cn (n  r ) x n  r 1 y   cn (n  r )(n  r  1) x n  r  2
n0 n0 n 0
  
1 
 cn (n  r )(n  r  1) x n  r +  cn (n  r ) x n  r +  cn x n  r 1 
n 0 n 0 n 0
 cn x n  r  0
9 n0
Se divide todo entre xr
  
1 
 cn (n  r )(n  r  1) x n +  cn (n  r ) x n 
n 0 n0
 cn x n 1 
n0

9 n0
cn x n  0
El índice n+1 en la tercera suma necesita reducirse en 1.

  
1 
 c (n  r )(n  r  1) x +  c (n  r ) x
n 0
n
n
n0
n
n
 c
n 1
n 1 xn  
9 n0
cn x n  0
1 1 1
n0  [r (r  1)  r  ]c0  0 Esto es la ecuación indicial. r1  , r2  
9 3 3
1
n 1  [(n  r )(n  r  1)  (n  r )  ]c n cn 1  0
9
 cn 1
cn  n  1,2,3,..... Formula recursiva
1
(n  r )(n  r  1)  (n  r ) 
9
 cn 1
cn  n  1,2,3,.....
1 1
(n  r  )(n  r  )
3 3
Al sustituir dos valores obtenidos de r en la última ecuación, obtenemos dos relaciones de
recurrencia distintas:
1  cn 1
n 1 r1  , cn  n  1,2,3,.....
3 2
n( n  )
3
 3c0  3c1 9c0
c1  , c2  
5 16 80
 
3 9
y1   cn x n  r  x c x
1 1
3
n
n
 c0 x 3 (1  x  x 2    )
n0 n0 5 80
36
1  cn 1
n 1 r1   , cn  n  1,2,3,.....
3 2
n( n  )
3
 3c1 9c0
c1  3c0 , c2  
8 8
   9
y2   cn x n  r  x  c n x n  c0 x
1 1
3 3
(1  3x  x 2    )
n 0 n0 8
1 3 9 1 9
y  C1 y1  C2 y2  C1 x 3 (1  x  x 2    ) + C2 x 3 (1  3x  x 2    )
5 80 8
Ejemplo 32:
Resolver la ecuación diferencial 3 xy  y  y  0 en torno al punto singular regular x  0
Solución:
  
3 xy  y  y  3x (n  r )(n  r  1)cn x n  r  2   (n  r )cn x n  r 1   cn x n  r =
n 0 n 0 n 0
  
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)c x
n 0
n
n  r 1
  cn x n  r =
n 0
  

x r r (3r  2)c0 x 1   (n  r )(3n  3r  2)cn x n 1   cn x n  
 n 1 n 0 
Ahora en ambas sumas la primera potencia de x es 0.
  

x r r (3r  2)c0 x 1   (n  r )(3n  3r  2)cn 
x n 1   cn 
xn  
 n 1 k  n 1 n 0 k n
Aplicamos el cambio de los índices: en primera sumatoria k  n  1 (n  k  1) , en segunda kn
 

x r r (3r  2)c0 x 1   [(k  r  1)(3k  3r  1)ck 1  ck ] x k  0
 k 0 
Igualamos los coeficientes de serie al cero:

r (3r  2)c0  0
(k  r  1)(3k  3r  1)ck 1  ck  0 , k = 0, 1, 2, ... .
Como la solución c0  0 es trivial, se debe cumplir:
37
r (3r  2)  0
2
sus raíces son: r1  ; r2  0
3
ck
ck 1  , k = 0, 1, 2, ... . - relación de recurrencia
(k  r  1)(3k  3r  1)
Al sustituir dos valores obtenidos de r en la última ecuación, obtenemos dos relaciones de
recurrencia distintas:
2 ck
r1   ck 1  , k = 0, 1, 2, ... .
3 (3k  5)(k  1)
ck
r2  0  ck 1  , k = 0, 1, 2, ... .
(k  1)(3k  1)
ck
Al iterar ck 1  obtenemos:
(3k  5)(k  1)
c0
c1 
5 1
c1 c
c2   0
8  2 2!5  8
c2 c0
c3  
11  3 3!5  8  11
c3 c0
c4   , n = 1, 2, ... ,
14  4 4!5  8  11  14
..........................................
c0
cn  ,
n!5  8  11    (3n  2)
ck
mientras que al iterar ck 1  obtenemos:
(k  1)(3k  1)
c0
c1 
1 1
c c
c2  1  0
2  4 2!1  4
c c0
c3  2 
3  7 3!1  4  7
c c0
c4  3 
4  10 4!1  4  7  10
..........................................
38
c0
cn  , n = 1, 2, ... .
n!1  4  7    (3n  2)
Hemos llegado a dos soluciones en serie:

 
1 
y1  c0 x 2 / 3 1   xn 
 n 1 n!5  8  11    (3n  2) 
 
1 
y2  c0 x 0 1   xn 
 n 1 n!1  4  7    (3n  2) 
Con el criterio de DÁlambert se puede demostrar que ambas soluciones convergen para todos los
valores finitos de x. Además, ninguna de esas series es la combinación lineal de otra, y por tanto y1 y
y2 son las soluciones linealmente independientes. Entonces, de acuerdo con el principio de
superposición, en cualquier intervalo que no contiene el punto x  0 la solución general de la ecuación
diferencial es:
 
1   
1 
y  C1 y1  C2 y2  C1  x 2 / 3   x n  2 / 3   C2 1   xn  .
 n 1 n!5  8  11    (3n  2)   n 1 n!1  4  7    (3n  2) 
Ecuación indicativa o indicial

2
La ecuación r (3r  2)  0 se llama ecuación indicativa del problema, y los valores r1 
y
3
r2  0 , donde r1 es el raíz mayor, son las raíces o exponentes indicativas. Al aplicar el método de
Frobenius se pueden diferenciar tres casos, que corresponden a la naturaleza de las raíces indicativas:
1) las raíces no difieren en un entero:

 
y1   cn x n  r1 , c0  0 ; y2   bn x n  r2 , b0  0 ;
n0 n 0
2) las raíces difieren en un entero:

 
y1   cn x n  r1 , c0  0 ; y2  Cy1 ( x) ln x   bn x n  r2 , b0  0 ;
n0 n 0
3) raíces indicativas iguales:

 
y1   cn x n  r1
, c0  0 ; y2  y1 ( x) ln x   bn x n  r1 .
n0 n0
39
Problemas:
2-2-1. Determine los puntos singulares de cada ecuación diferencial. Clasifique cada punto
singular en regular o irregular:
1. x2 y  4 x2 y  3 y  0 2. xy  ( x  3)2 y  0

1 1
3. ( x2  9)2 y  ( x  3) y  2 y  0 4. y  y  y0
x ( x  1)3
5. ( x3  4 x) y  2 xy  6 y  0 6. x2 ( x  5)2 y  4 xy  ( x2  25) y  0
7. ( x2  x  6) y  ( x  3) y  ( x  2) y  0 8. x( x2  1)2 y  y  0
9. x3 ( x2  25)( x  2)2 y  3x( x  2) y  7( x  5) y  0
10. ( x3  2 x2  3x)2 y  x( x  3)2 y  ( x  1) y  0
2-2-2. Demuestre que las raíces indicativas no difieren en un entero. Use el método de Frobenius
para llegar a dos soluciones linealmente independientes en serie alrededor del punto singular regular
x0  0 . Forme la solución general en (0, )
1
1. 2 xy  y  2 y  0 2. 2 xy  5 y  xy  0 3. 4 xy  y  y  0
2
2
4. 2 x2 y  xy  ( x2  1) y  0 5. 3xy  (2  x) y  y  0 6. x 2 y  ( x  ) y  0
9
4
7. 2 xy  (3  2 x) y  y  0 x 2 y  xy  ( x 2  ) y  0
8. 9. 9 x2 y  9 x2 y  2 y  0
9
10. 2 x y  3xy  (2 x 1) y  0 11. 2 x y  x( x  1) y  y  0
2
  2
 12. x( x  2) y  y  2 y  0
2.4. Ecuación de Bessel
Ecuación de Bessel es la ecuación de la forma

x2 y  xy  ( x2  v2 ) y  0 , x  0 , v  0 .
Tiene la ecuación indicativa r 2  v 2  0 . Las raíces son r1  v y r2  v .

Tiene la solución en serie y   c2 n x 2 n  v que puede presentarse mediante las funciones de
n 0
Bessel.
40
Función Gamma

La definición de Euler de la función gamma: ( x)   t x 1e  t dt .
0

1
Por ejemplo,     t 1 / 2et dt   .
2 0
La función gamma está definida para todos los números reales y complejos, excepto x  n ,
n = 0, 1, 2, ... .
La relación de recurrencia: ( x  1)  x( x) , x  n .

x 1  (1)   et dt  1 .
0
Con la relación de recurrencia obtenemos:
(2)  1(1)  1
(3)  2(2)  2  1
(4)  3(3)  3  2  1
..................................
(n  1)  n!
La función gamma también tiene el nombre la función factorial generalizada.

Funciones de Bessel de primera clase:
2n  v

(1) n  x
Para r1  v  J v ( x)    
n  0 n!(1  v  n)  2 
2n v
(1) n 
 x
Para r2  v  J  v ( x)    
n  0 n!(1  v  n)  2 
Funciones de Bessel de segundo clase:
cos vJ v ( x)  J  v ( x)
Yv  .
sin v
Ecuación paramétrica de Bessel:

x 2 y  xy  (2 x 2  v 2 ) y  0
Solución general de la ecuación de Bessel:
1) v es no entero y  c1J v ( x)  c2 J v ( x)
2) para cualquier valor de v: y  c1J v ( x)  c2Yv ( x)
3) ecuación paramétrica: y  c1J v (x)  c2Yv (x)
41
Ejemplo 33:
1) v es no entero.
1 1 1
x 2 y  xy  ( x 2  ) y  0  v2  ; v ;
4 4 2
y  c1J1 / 2 ( x)  c2 J 1 / 2 ( x)
2) v es entero:
x 2 y  xy  ( x2  9) y  0  v2  9 ; v  3 ;
y  c1J 3 ( x)  c2Y3 ( x)
3) ecuación paramétrica:
x2 y  xy  (100x2  9) y  0  v2  9 ; v  3 ;
y  c1J 3 (10x)  c2Y3 (10x)

Algunos propiedades de las funciones de Bessel
Es evidente que se puede asociar el parámetro v con la variable n.

Existen muchas identidades, que connectan las funciones varias de Bessel. Entre otras:
1. J  n ( x)  (1) n J  n ( x)
2. J n ( x)  (1) n J n ( x)
0, n  0
3. J n (0)  
1, n  0
4. lim Yn ( x)  
x 
d n d n
5. [ x J n ( x)]  x n J n 1 ( x) , [ x J n ( x)]   x  n J n 1 ( x)
dx dx
2n
6. J n 1 ( x)  J n ( x)  J n 1 ( x) - relación de recurrencia.
x

7. e( x / 2)(t 1 / t )  J
n  
n ( x)t n - generadora para las funciones de Bessel en serie de potencias de t.
2.5. Ecuación de Legendre

La ecuación de Legendre de parámetro m  0 es :
(1  x2 ) y  2 xy  m(m  1) y  0
42
Se trata de hallar soluciones en serie de potencias de x, es decir en torno a x0= 0.
 2x
 p( x)   1  x 2
Es  Ambas analíticas en x0 = 0 con radio de convergencia de los respectivos
q( x)  m(m  1)
 1  x2
desarrollos : R1 = R2 = 1
Luego x0 = 0 es punto ordinario, existiendo solución en serie de potencias de x, válida, al menos para
x  1.

Sea y   cn x n . Sustituyendo en la ecuación:
n0
   
 n(n  1)c x
n2
n
n2
-  n(n  1)c x
n2
n
n
-2  ncn x n +  m(m  1)cn x n  0
n 1 n0
Habrán de ser nulos los coeficientes de todas las potencias de x.
m(m  1)
x0 : 2  1  c2  m(m  1)c0  0  c2   c0
2 1
m(m  1)  2 (m  1)(m  2)
x1 : 3  2  c3  2c1  m(m  1)c1  0  c3   c1   c1
3 2 3!
..... ............................................................................................
xn : n  2n  1cn  2  nn  1cn  2n  cn  m(m  1)cn  0
(m  n)(m  n  1) (m  n  2)(m  n  1)
cn  2   cn  cn   cn  2 n2
(n  2)(n  1) n(n  1)
Luego :
 m(m  1) 2 (m  2)m(m  1)(m  3) 4 

y  c0 1  x  x ...
 2! 4! 
 (m  1)(m  2) 3 (m  3)(m  1)(m  2)(m  4) 5 
c1  x  x  x ... x 1
 3! 5! 
Es decir : y  c0 y1 ( x)  c1 y2 ( x)
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios pn(x) son
respectivamente :
5 3
p0 = 1 p1(x) = x p2(x) = 1 - 3 x2 p3(x) = x - x ......
3
43
Se llama polinomio de Legendre de orden m y se designa con Pm(x), a la solución polinómica de la

ecuación de Legendre de parámetro m ( o sea, el múltiplo de pn(x), tal que Pm(1) = 1.
Será:
3 1 5 3
P0(x) = 1 P1(x) = x P2 ( x)  x 2  P3 ( x)  x 3  x .........
2 2 2 2
Algunas propiedades : (Sin demostraciones)
• Los polinomios de Legendre pueden darse mediante la fórmula de Rodrigues :
1 dn 2
Pn ( x)  n
( x  1)n
(2n)!! d x
• O mediante una función generadora, debida a Legendre :
1  2 xt  t 2  2
1
 P0 ( x)  P1 ( x)t  P2 ( x)t 2 ...
También mediante fórmulas de recurrencia:
2n  1 n
Pn 1 ( x)  xPn ( x)  Pn 1 ( x)
n 1 n 1
Pn1  Pn1  2(n  1) Pn
• Cumplen la relación de ortogonalidad :
0 mn

1 Pm ( x)Pn ( x)d x   2
1
 2n  1 mn
La ecuación de Legendre aparece en varios problemas de la Física dotados de simetría esférica.
Problemas:
2-4-1. Aplique la función gamma para resolver los problemas:
 3  5
1. Evalúe: a) (5); b) (7); c)    ; d)    .
 2  2
2. Aplique la definición de Euler de la función gamma ( x)  0 t x 1e t dt y el hecho de que
6
   0.92 para evaluar
5
44
 5 x 5 5
0 x e dx . [Sugerencia: sea t  x ]
5
para evaluar 0 x 4e  x
3
3. Aplique (1) y el hecho de que    0.89 dx .
3
4. Evalúe 01 x 3 (ln 1 ) 3 dx . [Sugerencia: sea t   ln x ]

x
5. Use el hecho de que ( x)  01 t x 1e t dt para demostrar que  (x ) no es acotada cuando x  0 .
6. Aplique (1) para deducir ( x  1)  x( x) cuando x  0 .
2-4-2. Emplea las funciones de Bessel o métodos indicados para resolver los problemas:
( x / 2) 2 ( x / 2) 4 ( x / 2) 6
1. Demuestre que J 0 ( x)  1    ... 
2 2
2! 1! 3!2
2. Demuestre que a) J 0 ( x)   J1( x) ; b) d [ xJ1 ( x)]  xJ 0 ( x)
dx
3. Resuelva la ecuación de Bessel x y  xy   ( x 2  1 ) y  0

2 
usando directamente el método de
9
Frobenius.
4. Demuestre que
a) J 1 ( x)   J1 ( x) , J  2 ( x)   J 2 ( x) , y, en general, J  n ( x)  (1) n J n ( x) ;
b) J n ( x)  (1) n J n ( x) , donde n es entero.
5. Escribe la solución general a) x 2 y   xy   ( x 2  9) y  0 ; b) x 2 y   xy   ( x 2  8) y  0 .
6. Demuestre que
2  sin x  2  cos x 
a) J 3 / 2 ( x)    cos x  ; b) J  3 / 2 ( x)    sin x  
x  x  x  x 
7. Demuestre que reemplazando x por x , donde  es una constante, obtenemos la ecuación de

Bessel
x 2 y   xy   (2 x 2  n 2 ) y  0
8. Use el problema 7 para resolver

a) x 2 y  xy  (3x 2  4) y  0 ; b) 4 x 2 y   4 xy   (2 x 2  1) y  0
2
9. Demuestre que Y1 / 2 ( x)   cos x
x
10. Encuentre la solución de x 2 y   xy   (4 x 2  1) y  0 , que está restringido con x0 y satisface la

condición y (2)  5 .
d n
[ x J n ( x)]   x  n J n 1 ( x) .
d n
11. Derive el resultado a) [ x J n ( x)]  x n J n 1 ( x) ; b)
dx dx
12. Demuestre que
45
1 1
a) J n ( x)  [ J n 1 ( x)  J n 1 ( x)] ; b) J n ( x)  [ J n  2 ( x)  2 J n ( x)  J n  2 ( x)]
2 4
13. Demuestre que
a)  x n J n 1 ( x)dx  x n J n ( x)  c ; b)  J n 1n( x) dx   J n (nx)  c

x x
14. Con el cambio de variable y  x 1 / 2v( x) determine la solución general de la ecuación
x 2 y  2 xy  2 x 2 y  0 , x 0.
2-4-3. Emplea las funciones de Bessel para determinar la solución general de la ecuación
diferencial respectiva en (0, )
1
1. x 2 y   xy   ( x 2  ) y  0 2. x 2 y   xy   ( x 2  1) y  0
9
3. 4 x 2 y  4 xy  (4 x 2  25) y  0 4. 16 x 2 y   16 xy   (16 x 2  1) y  0
d 4
5. xy   y   xy  0 6. [ xy ]  ( x  ) y  0
dx x
1
7. x 2 y   xy   (9 x 2  4) y  0 8. x y  xy   (36 x 2  ) y  0
2 
4
2-4-4. Emplea los polinomios de Legendre para resolver problemas:

1. Emplee las soluciones explícitas y1 ( x) y y 21 ( x) de la ecuación de Legendre y los valores
adecuados de c0 y c1 para determinar los polinomios de Legendre P6 ( x) y P7 ( x) .
2. Escriba las ecuaciones diferenciales para las que P6 ( x) y P7 ( x) son soluciones particulares.
d dy
3. Demuestre que la ecuación de Legendre tiene la forma alternativa [(1  x 2 ) ]  n(n  1) y  0
dx dx
d2y dy
4. Demuestre que la ecuación sin   cos  n(n  1)(sin  ) y  0 se puede transformar en la
d 2 d
ecuación de Legendre con la sustitución x  cos .
5. El polinomio general de Legendre se puede escribir en la forma
[ n / 2] (1) k (2n  2k )!
Pn ( x)   x n  2k , en donde [n / 2] es el máximo entero no mayor que n/2. Compruebe
n
k  0 2 k!(n  k )!(n  2k )!
los resultados para n = 0, 1, 2, 3, 4 y 5.

6. Emplee la serie binomial para demostrar formalmente que (1  2 xt  t 2 ) 1 / 2   Pn ( x)t n
n 0
7. Aplique el resultado del problema 6 para demostrar que Pn (1)  1 , y que Pn (1)  (1) n .
8. Utilice la relación de recurrencia (k  1) Pk 1 ( x)  (2k  1) xPk ( x)  kPk 1 ( x)  0 , k = 2, 3, 4, ... y P0 ( x)  1 ,
P1 ( x)  x para generar los siguientes cinco polinomios de Legendre.
1 dn
9. Compruebe los resultados de la fórmula de Rodríguez Pn ( x)  [( x 2  1) n ] para n = 0, 1, 2,
n n
2 n! dx
46
CLAVE DE RESPUESTAS
UNIDAD 1. SERIES DE POTENCIAS

n 1
1  2
1.1. a) n b). 5n  3 c).   
2  3
1-2 a). 0.8, 0.96, 0.992, 0.9984, 0.99968
3 1 1 1
b).  3, , , ,
2 2 8 40
c). 1, 0, -1, 0, 1
1-3. a) (1,1) b). [2,2) c). (1,1) d). [ 2, 4 ]

x n ln n a
1-4 a. ax  1  ,   x  
n 1 n!
n2 n
2 x 2 x3 x4 x5 xn
1-4 b. sin( x  )  [1  x      ...  (1) 2  ...]
4 2 2! 3! 4! 5! n!
x2 x3 x4 xn (n  1)
1-4c. cos( x  a )  cos a  x sin a  cos a  sin a  cos a  ...  sin[a  ]  ...
2! 3! 4! n! 2
UNIDAD 2. SOLUCIÓN DE LAS ECUACIONES DIFERENCIALES

EN FORMA DE SERIES DE POTENCIAS
Solución en el entorno de un punto ordinario.
2-1.1. 1) x  2i,2i 2) x  0,3 3) Ninguno 4). x  0,1
1 3 1 1
2-1-2 1). y1 ( x)  c0 [1  x  x6  x 9  ...] ;
3 2 653 2 9 8 653 2
1 4 1 1
y 2 ( x)  c1[ x  x  x7  x10  ...]
43 7643 10  9  7  6  4  3
1 3 21 6
3). y1 ( x)  c0 [1  x 2  x 4  x  ...] ;
2! 4! 6!
1 5 45 7
y 2 ( x)  c1[ x  x 3  x 5  x  ...]
3! 5! 7!
1 3 42 6 7 2  42 9
5). y1 ( x)  c0 [1  x  x  x  ...] ;
3! 6! 9!
2 2 4 5 2  2 2 7 8 2  5 2  2 2 10
y 2 ( x)  c1[ x  x  x  x  ...]
4! 7! 10!

7). y1 ( x)  c0 ; y 2 ( x)  c1  x n
n 0
47
 
9). y1 ( x)  c0  x 2n ; y 2 ( x)  c1  x 2n 1
n0 n 0
1 7 4 23  7 6
11). y1 ( x)  c0 [1  x 2  x  x  ...] ;
4 4  4! 8  6!
1 14 5 34  14 7
y 2 ( x)  c1[ x  x 3  x  x  ...]
6 2  5! 4  7!
1 1 1
12). y1 ( x)  c0 [1  x 2  x 3  x 4  ...] ;
2 6 6
1 1 1
y 2 ( x)  c1[ x  x 2  x 3  x 4  ...]
2 2 4
2
x3 x 4
2-1.3 1) y  4(1  x  x    ...)  4e  x , para toda x
2! 3! 4!
x2 x4 x6 x8 2
2). y  5(1      ...)  5e x / 2 , para toda x
2 2 2  2! 23  3! 2 4  4!
x 2 x3 x 4
3). y  c  cx  (c  2)(    ...)  2 x  2  (c  2)e  x , para toda x
2 3! 4!
x2 x4 x6
 ...  cosh x  (e x  e  x ) , para toda x
1
4). y  1  
2! 4! 6! 2
1 1 1
5). y  2  3[( x  1)  ( x  1) 2  ( x  1) 3  ( x  1) 4  ...] , x  1  1 ; la solución actual para toda x
2 3 4
es y  2  3 ln x .
2
( x  1) ( x  1) 3 ( x  1) 4 2( x  1) 5
6). y  c1[1      ...]
2! 3! 4! 5!
( x  1) 3 ( x  1) 4 2( x  1) 5
 c 2 [( x  1)     ...] , x  1  1 .
3! 4! 5!
x2 x4 x6 x3 x5 x7
7). y  c1 (1     ...)  c2 ( x     ...) , para toda x.
2 24 246 3 35 35 7
( x  2) ( x  2) 2 ( x  2) 3
8). y  c1 x  c2 [1     ...] , x  2  2 ; la solución actual para toda x0
2 22 23
es y  c1x  c2 / x
x 2 x 4 11x 6 311x 8
9). y  1    ... , x  1  1 .
2! 4! 6! 8!
( x  1) ( x  1) 2 ( x  1) 3
10). y  c1  c2 [1     ...] , x  1  2 ; la solución actual para toda x  1 es
2 22 23
y  c1  2c2 /( x  1) .
Solución en torno a un punto singular

2-2.1
1. x0, punto singular irregular
3. x  3 , punto singular regular; x  3, punto singular irregular
5. x  0, 2i, -2i, puntos singulares regulares
48
7. x = -3, 2, puntos singulares regulares

9. x0, punto singular irregular; x = -5, 5, 2, puntos singulares regulares
2-2.2
3
1. r1  , r2  0 ;
2
2 22 23 23 2
y ( x)  c1 x 3 / 2 [1  x x2  x 3  ...]  c2 [1  2 x  2 x 2  x  ...]
5 75 2 9  7  5  3! 3  3!
7
3. r1  , r2  0 ;
8
2 22 23 22 2 23
y ( x)  c1 x 7 / 8 [1  x x2  x 3  ...]  c2 [1  2 x  x  x 3  ...]
15 23  15  2 31  23  5  3! 9  2! 17  9  3!
1
5. r1  , r2  0 ;
3
1 1 1 1 1 2 1
y( x)  c1x1 / 3[1  x x2  x 3  ...]  c 2 [1  x  x  x 3  ...]
3 2
3 2 2
3  3! 2 5  2 8  5 2
5
7. r1  , r2  0 ;
2
22 22  3 2 22  4 3 1 1 1
y ( x)  c1 x 5 / 2 [1  x x  x  ...]  c2 [1  x  x 2  x 3  ...]
7 97 11  9  7 3 6 6
2 1
9. r1  , r2  ;
3 3
1 5 2 1 3 1 1 7 3
y ( x)  c1 x 2 / 3 [1  x x  x  ...]  c2 x1 / 3 [1  x  x 2  x  ...]
2 28 21 2 5 120
1
11. r1  1 , r2   ;
2
x 3  ...]  c2 x 1 / 2 [1  x 
1 5 2 1 1 1 2 1
y ( x)  c1 x[1  x x  x  x 3  ...]
5 57 579 2 24 246
Ecuación de Bessel
 8 
2-4.1 1. a) 24; b) 720; c) 4 ; d)  3. 0.297
3 15
2-4.2 5. a) y  c1J 3 ( x)  c2Y3 ( x) ; b) y  c1 J 2 2 ( x)  c2 J  2 2 ( x)
8. a) y  c1J 2 ( 3 x)  c2Y2 ( 3 x) ;
A cos( 2 x / 2)  B sin( 2 x / 2)
b) y  c1J1 / 2 ( 2 x / 2)  c2 J 1 / 2 ( 2 x) 
x
10. 5J1 (2 x) / J1 (4)
14. y  c1x 1 / 2 J1 / 2 (x)  c2 x 1 / 2 J 1 / 2 (x)
2-4.3 1. y  c1J1 / 3 ( x)  c2 J 1 / 3 ( x) 3. y  c1J 51 / 2 ( x)  c2 J  5 / 2 ( x)
49
5. y  c1 J 0 ( x)  c2Y0 ( x) 7. y  c1 J 2 (3x)  c2Y2 (3x)
Ecuación de Legendre
1
2-4.4 1. P6 ( x)  (231 x 6  315 x 4  105 x 2  5)
16
1
P7 ( x)  (429 x 7  693 x 5  315 x 3  35 x)
16
2. P6 ( x) satisface a (1  x 2 ) y   2 xy   42 y  0
P7 ( x) satisface a (1  x 2 ) y   2 xy   56 y  0 .
50
EJERCICIOS PARA AUTOAPRENDIZAJE
“Tópicos Selectos de Matemáticas”

TEMA 1:
Soluciones en forma de series de potencias de ecuaciones diferenciales lineales
TAREA 1.1
1. Criterio de convergencia.
Utiliza la prueba de razón, el criterio de Cauchy para determinar si la serie converge o no.
No No
1  6 
1 1 n2
2
n 1
n
(1 
n
)  ( 1 )
n 1
n 1
2  n 7 n
2 
 2n 2  2n  1 
 10   2 
n 1 n n 1  5n  2n  1 
3  8  n
n  10  5
 n    n
n 1 3 2 n 1  11 
4  9
10 n 
 3n  1 
n
   
n 1 n! n 1  n  2 
5 
n 10 1 4 7 10 3n  2
 ( 1 )
n 1
n
n 1
      ( 1 ) n 1
2 5 8 11 3n  1

2. Encuentre radio y intervalo de convergencia
1 2 3 4 5
  
1  n 
( x  1 )n
 nx  n! ( x  5 )  nx
x
 
n n
n 1 n 1 n 1 n! n 1 10 n n 1
3. Escriba la función indicada como una serie de Taylor con el centro dado en “b”.

3.1. f ( x )  senx b
2

3.2. f ( x )  cos x b
2
3.3. f ( x )  e 3 x b 1
4. Encuentre polinomio de grado “m” de f ( x ) centrada en “b”.

4.1 f ( x )  senx b  0 m  7
4.2. f ( x )  cos x b  0 m  6
Cada problema vale 0.5 puntos
51

TEMA 1:
TAREA 1.2
Empleo de series de Taylor para la resolución de las ecuaciones diferenciales
Resuelva los problemas aplicando el método derivación sucesiva. Encuentre cinco términos
diferentes de cero.
1. y   y  x y( 0 )  0 y ( 0 )  2
2. y   x 2 y   y  senx y( 0 )  1 y ( 0 )  1
3. y   y  0 y( x0 )  C0 y ( x0 )  C1
4. y   x 2 y  e x y( x0 )  C 0 y ( x0 )  C1
5. y   2 xy   y  0 y( x0 )  C0 y ( x0 )  C1
Solución en torno a un punto ordinario.

Determine dos soluciones linealmente independientes en forma de series de potencias de cada
ecuación diferencial en torno de un punto ordinario x  0
1
6. y   xy  y( 0 )  0 y ( 0 )  0
1 x
7. y   2 xy   6 y  0 y( 0 )  0 y ( 0 )  1
8. ( 1  x 2 ) y   y  0 y( x0 )  C 0 y ( x0 )  C1
9. y   2 xy  0 y( x0 )  C0 y ( x0 )  C1
10. y   x 2 y   xy  0 y( x0 )  C 0 y ( x0 )  C1
Cada problema vale 1 punto
52

TEMA 1:
TAREA 1.3
Empleo de series de Taylor para la resolución de las ecuaciones diferenciales
Solución en torno a un punto singular.
Use el método de Frobenius para llegar a dos soluciones linealmente independientes en serie
alrededor del punto singular regular x0  0
1. 36x 2 y   x 2 y   5 y  0
2. 3xy   2 y   y  0
3. 6 x( 1  x ) y   ( 2  15x ) y   3 y  0
4. 2 x 2 y   3xy   ( 3  x ) y  0
5. 2 x 2 y   5xy   ( 5  4 x ) y  0
Cada problema vale 2 puntos
53
Bibliografía básica y complementaria
1. ZILL DENNIS G., Ecuaciones Diferenciales con aplicaciones. Grupo Editorial

Iberoamérica. 2000
2. ZILL DENNIS y MICHAEL R. CULLEN., Ecuaciones Diferenciales con

problemas de valor de frontera, Editorial Thomson, Quinta edición, 2002
3. CAMPBELL STEFEN y HABERMAN RICHARD., Introducción a las

Ecuaciones Diferenciales con problemas de valor de frontera, Edit. McGrawHill,
1998
1. http://www.recursosmatematicos.com/redemat.html
2. http://www.mitareanet.com/mates1.htm
3. http://mathforum.org/dr.math/
4. Wikipedia, la enciclopedia libre http://es.wikipedia.org
54

SERIES para EDL PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

SERIES para EDL PDF

Uploaded by

Copyright:

Available Formats

UNACAR TÓPICOS SELECTOS DE MATEMÁTICAS

ECUACIONES LINEALES CON COEFICIENTES VARIABLES Y

1.1. Serie matemática………………………………………………………….…2

UNIDAD 2. SOLUCIÓN DE LAS ECUACIONES DIFERENCIALES

2.1. Puntos ordinarios y singulares…………………………………………..…17

2.3. Solución en torno a un punto singular ……………………….……….…..33

2.4. Ecuación de Bessel ………………………………..………………………39

Que el alumno aprenderá la estrategia usual para resolver ecuaciones

1.1 Serie matemática

En matemáticas, una serie es la suma de los términos de una sucesión.

Si a0 , a1 ,....  an  es una sucesión de números, entonces la expresión

converge si lim s m  L (las sumas parciales tienen un limite) para algún .

1.2. Algunos tipos de series

• La serie armónica es la serie

La serie armónica es divergente.

• Serie de potencias son las funciones de la forma

donde cn son los coeficientes constantes, a es una constante llamada centro.

1.3. Criterios de convergencia

Condición del resto

El recíproco no es cierto. El contra recíproco es:

Sabemos que Sk − 1 = a1 + a2 + ... + ak − 1 y que lim S k 1  S para todo S ℝ

Por lo tanto teniendo en cuenta que Sk − Sk − 1 = ak entonces lim( S k  S k 1 )  lim a k  0

Queda demostrada la proposición.

1.3.1. Criterio de D'Alembert o Criterio del Cociente (prueba de la razón)

el Criterio de D'Alembert establece que:

• si l < 1, la serie converge.

En este caso, es necesario probar otro criterio, como el criterio de Raabe.

1.3.2. Criterio de Cauchy (raíz enésima)

lim k ak  l , siendo l  0,

• l < 1, la serie es convergente.

1.3.3. Criterio de Raabe

Por tanto, si l > 1, entonces la serie es convergente y si l < 1, la serie es divergente

1.3.4. Criterio de la integral de Cauchy

Si f(x) es una función positiva y monótonamente decreciente definida en el intervalo

cumplen las siguientes condiciones:

b) La serie tiene que ser absolutamente decreciente es decir que:

• Si |r|<1 la Serie Converge.

1.3.6. Criterios de convergencia comparativos

Criterio de comparación directa ( de la mayorante o de Gauss )]

1.3.7. Tipos de convergencia

Región de convergencia para una serie de potencias

1) La serie converge en un centro a, entonces R = 0.

Criterio de convergencia absoluta (criterio de D´Alembert)

Para la serie de los valores absolutos el límite de la razón de

cn1 ( x  a) n1 cn1

La serie es converge si L  1 , y divergente si L  1 . Cuando L  1 , la convergencia de la serie se

Según el criterio de D´Alembert, la serie diverge cuando l  1

Según el criterio de D´Alembert, la serie converge absolutamente cuando l  1 ,

entonces la serie converge.

La serie converge para x  2  1 y diverge para x  2  1

Por lo tanto el conjunto de convergencia es el intervalo [1,3)

La serie converge para toda x.

Desarrollo de una función en serie de potencias

Serie de Mac-Laurin es un caso particular de la serie de Taylor para b = 0:

La igualidad (**) es cierta, si para x  b  R el término complementario de la fórmula de

f ( n) (3)  n!(1  3)  n1

La serie converge para x  3  2 , que es el intervalo (1,5).

Desarrollar la función f ( x)  cosh x en serie de potencias de x.

Hallamos las derivadas de la función dada:

f ( x)  cosh x ; f ( x)  sinh x ; f ( x)  cosh x ; f ( x)  sinh x ; ...;

Poniendo b  0 , obtenemos: f (0)  1 ; f (0)  0 ; f (0)  1 ; f (0)  0 ; ...;

Para determinar el intervalo de convergencia de la serie obtenida aplicamos el criterio de

Entonces, la serie es convergente en el intervalo    x   .