Está en la página 1de 22

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA

Cdigo del Curso- Ecuaciones Diferenciales


Act 12: Leccin Evaluativa Unidad 3


1
Base terica sobre serie de potencias
Recordemos que una sucesin S
n
converge a un nmero p o que es convergente
con el limite p, si para cada nmero positivo dado , se puede encontrar un
numero N tal que
S
n
- p< para todo n>N
Geomtricamente hablando, la expresin anterior significa que S
n
se encuentra
entre (S
n
) y (S
n
) cuando n>N. Se debe tener en cuenta que N depende del
valor que se elija para .
Ahora para el caso que tratamos p=S
n
R
n
. Por lo tanto, S
n
- p= R
n
luego la
convergencia en x=x
0
significa que podemos hacer R
n
(x
0
)tan pequeo como
queramos.
Podemos resumir que una sucesin converge en un punto x=a si se cumple que
x

- a< R y diverge si x

- a> R, donde R se llama radio de convergencia.
El radio de convergencia puede determinarse a partir de los coeficientes de la
serie, por medio de las siguientes formulas:
1
1 1
) lim ) lim
n
n
n
n n
n
C
A c B
R R c
+

= =
Siempre y cuando existan los limites.
Ejemplo
1) Para el caso de la serie
1
1
1
1 ( 1)3 1 1
3
lim lim lim
( )(3 ) 3 3
3
n
n
n
n n n
n
m
m m
m
R m m
+
+

+
+ +
= = = = , el radio de
convergencia es: 1/R= 1 dado que C=1
2) Si tenemos la serie , el radio de convergencia ser:
1
1
1
1 ( 1)3 1 1
3
lim lim lim
( )(3 ) 3 3
3
n
n
n
n n n
n
m
m m
m
R m m
+
+

+
+ +
= = = =
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


2
Luego el radio de convergencia es R=3, entonces el intervalo de convergencia
X< 3, luego se tiene que [-3 x 3].

Soluciones mediante series de potencias
1

Se ha visto en temas anteriores cmo resolver algunas ecuaciones lineales de 2 orden:
las de coeficientes constantes y algunas de coeficientes variables, como las de Euler o
aquellas de las que se conoce una solucin particular de la correspondiente homognea.

Pero, en general, no se ha visto cmo resolver las ecuaciones lineales con coeficientes
variables, algunas de las cuales aparecen ligadas a importantes problemas de la Fsica,
como las ecuaciones de Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes
polinmicos.

Adems, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables
en trminos de un n finito de funciones elementales (polinomios, exponenciales,
trigonomtricas, etc., o inversas de stas). Otras veces, aun sabiendo resolver la
ecuacin, haba que expresar la solucin por medio de una integral. Pero en general, las
soluciones no pueden expresarse tan fcilmente.

Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones
lineales de 2 orden, que propicien a su vez nuevos mtodos de resolucin de las mismas.

En este tema se estudiar un mtodo de resolucin basado en la representacin de
soluciones mediante series de potencias. Y en los dos siguientes, mediante series de
Frobenius.
1. SOLUCIN MEDIANTE SERIES DE POTENCIAS EN EL ENTORNO DE UN PUNTO
ORDINARIO

Se va a considerar el caso de la ecuacin diferencial lineal homognea de 2 orden:

1
Tomado de la pagina web: www1.ceit.es/Asignaturas/EcDif1/ApuntesED/edtema11.doc
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


3

0 y ) x R( y ) x Q( y ) x P( = + ' + ' ' |1|

en forma cannica :

0 y ) x q( y ) x p( y = + ' + ' '
|1|
Definiciones.

Un punto x
0
se llama punto ordinario de |1| o |1| si las funciones p( )
Q( )
P( )
x
x
x
= y
q( )
R( )
P( )
x
x
x
= son analticas en x
0
(es decir, si p(x) y q(x) tienen desarrollos en serie de
Taylor en torno a x
0
con radios respectivos de convergencia R
1
y R
2
no nulos)

Si P(x), Q(x), R(x) son polinomios, entonces x
0
es punto ordinario de |1| si y slo si P(x
0
) =
0 (siendo |1| no simplificable).

Si x
0
no es punto ordinario, se llama punto singular de la ecuacin |1| |1|.

Segn el estudio de las ecuaciones diferenciales lineales homogneas, la simple
continuidad de p(x) y q(x) en un entorno I de un x
0
, es suficiente para garantizar la
existencia de dos soluciones linealmente independientes de la ecuacin |1| en dicho
entorno, as como para garantizar la existencia y unicidad de solucin del problema de
valor inicial definido por |1| y las condiciones: y(x
0
) = y
0
, y(x
0
) = b
0
con x
0
e I

Pero si adems es x
0
un punto ordinario de |1| |1|, las p(x) y q(x) no slo son
continuas en I, sino analticas. Y cabe preguntarse entonces si las soluciones de tal
ecuacin heredarn dicha propiedad. Por tanto, si x
0
es un punto ordinario de |1| , surgen
las preguntas siguientes:
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


4

- Existen soluciones analticas de |1| en un entorno de x
0
, es decir, soluciones de la
forma :

... ) x x ( a ... ) x x ( a ) x x ( a a y
n
0 n
2
0 2 0 1 0
+ + + + + =
|2|

En caso afirmativo:

- Cmo se obtienen los coeficientes a
n
?
- Dnde converge la serie |2| ?

Es importante poder responder a estas preguntas, pues sera absurdo intentar buscar
soluciones de la forma |2|, si no existen. Si existen en I, pueden adems derivarse
trmino a trmino en I.

Las respuestas a estas preguntas las da el siguiente teorema, que ser enunciado, pero
no demostrado.

Teorema:

Si x
0
es un punto ordinario de |1| ( |1| ) entonces la solucin general de |1| en un cierto
entorno de x
0
puede escribirse en la forma |2| y a su vez:


) x ( y a ) x ( y a ) x x ( a y
2 1 1 0
0 n
n
0 n
+ = =

=

Siendo a
0
, a
1
ctes arbitrarias e y
1
(x), y
2
(x) analticas en un entorno I de x
0
, y linealmente
independientes en I.

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


5
El radio de convergencia de las series y
1
(x) e y
2
(x) es al menos tan grande como el
mnimo de los radios de convergencia de los desarrollos en serie de p(x) y q(x) en torno a
x
0
(es decir, al menos igual a la distancia de x
0
al punto singular ms prximo de la
ecuacin |1|, sea dicho punto real o complejo)

Los coeficientes a
n
de la serie |2| se obtienen en trminos de a
0
y a
1
, sustituyendo la
serie genrica

=
=
0 n
n
0 n
) x x ( a y en |1|, (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 solucin puede converger con radio mayor que el indicado en el teorema.

b) Si el punto ordinario es x
0
= 0, pueden simplificarse las notaciones trasladando x
0
al
origen, mediante el cambio x - x
0
= t.

c) Segn el teorema de existencia y unicidad, cada solucin est determinada de manera
nica por los valores y(x
0
) e y(x
0
), es decir por a
0
y a
1
. Por eso, todos los coeficientes se
obtienen en trminos de a
0
y a
1
.

d) El mtodo para resolver una ecuacin completa : '' + ' + = y x y x y x p( ) q( ) h( ) , siendo
x
0
punto ordinario y h(x) analtica en x
0
, es anlogo. En este caso, tambin hay que
desarrollar h(x) en serie de potencias en torno a x
0
, antes de proceder por coeficientes
indeterminados. Tambin podra resolverse en primer lugar la ecuacin homognea y
actuar luego por variacin de constantes, o por reduccin de orden.

e) Es claro que podra usarse un mtodo semejante para ecuaciones diferenciales
lineales, de primer orden.
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


6
2. EJEMPLOS
Ejemplo 1

Hallar la solucin general de la ecuacin diferencial 0 y y x y = ' ' ' , determinando dos
soluciones linealmente independientes en serie de potencias de x. Campo de validez de
las mismas. En particular obtener la solucin tal que y (0) = 1 y(0) = 0.
_____________

Es
p( )
q( )
x x
x
=
=

1
. Ambas analticas en x
0
= 0, con radios de convergencia de sus
respectivos desarrollos
R
R
1
2
=
=

, es decir x
0
= 0 es punto ordinario..

Luego, segn el teorema anterior, existe solucin de la ecuacin en serie de potencias de
x, vlida para todo x e R.
Sea y a x
n
n
n
=
=

0
. Por tanto : ' =

=

y n a x
n
n
n
1
1
, ' ' =

=

y n n a x
n
n
n
( ) 1
2
2


En la ecuacin diferencial:
n n a x
n
n
n
( )

=

1
2
2
- n a x
n
n
n=

1
- a x
n
n
n=

0
0 en 9

Trmino independiente: 2 1 0
2 0
= a a = a
a
2
0
2

Coeficiente de x: 3 2 0
3 1 1
= a a a = a
a
3
1
3

............................ ................................. .................
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


7
Coeficiente de x
n
: ( )( ) ( ) n n a n a
n n
+ + + =
+
2 1 1 0
2
=
+
+
a
a
n
n
n
2
2


Ley de recurrencia : a
a
n
n
n
n
= >
2
2

Luego a
0
y a
1
son libres y
a
a
n
a
a
n
n
n
2
0
2 1
1
2
2 1
=
=
+

+
( )!!
( )!!

Por tanto :


y x a
x x x
n
a x
x x x
n
a y x a y x x
n n
( )
!! !!
...
( )!!
...
!! !!
...
( )!!
...
( ) ( )
= + + + + +

(
+ + + + +
+
+

(
= + e9
+
0
2 4 2
1
3 5 2 1
0 1 1 2
1
2 4 2 3 5 2 1

Solucin particular:
y
y
a
a
( )
( )
0 1
0 0
1
0
0
1
=
' =

=
=

Luego y x
x
n
n
( )
( )!!
=

2
0
2
= =
|
\

|
.
|


y x
x
n
x
n
n
n
n
( )
! !
2
0
2
0
2
2

2
x
2
e ) x ( y =


Ejemplo 2

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


8
Hallar, por el mtodo de series de potencias en torno a x
0
= 0, la solucin general de la
ecuacin diferencial: 0 y 2 y x 2 y ) x 1 (
2
= ' + ' ' +
_____________

Es
p( )
q( )
x
x
x
x
x
=
+
=

+

2
1
2
1
2
2
Ambas analticas en x
0
= 0 con R
1
= R
2
= 1

Luego existe solucin analtica en x
0
= 0, vlida al menos para x < 1.


Sustituyendo y a x
n
n
n
=
=

0
en la ecuacin diferencial:

n n a x
n
n
n
( )

=

1
2
2
+ n n a x
n
n
n
( )
=

1
2
+2 n a x
n
n
n=

1
- 2 a x
n
n
n=

0
0

Trmino independiente: 2 2 0
2 0
a a = = a a
2 0

Coeficiente de x: 6 2 2 0
3 1 1
a a a + = = a
3
0
............................ ................................. .................
Coeficiente de x
n
: ( )( ) ( ) n n a n n a n a a
n n n n
+ + + + =
+
2 1 1 2 2 0
2


Luego a
0
y a
1
libres, a
2
= a
0
, a
3
= 0,

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


9
a
n n n
n n
a
n n
n n
a
n n n +
=
+
+ +
=
+
+ +

2
1 2 2
1 2
1 2
1 2
( )
( )( )
( )( )
( )( )
a
n
n
a
n n
=


3
1
2
n > 2

Como a
3
= 0 a
5
= a
7
= ... = a
2n+1
= ... = 0

a
n 2
=

= =


|
\

|
.
|
=

2 3
2 1
1
2 3
2 1
2 5
2 3
3
5
1
3
1
1
2 2 0
n
n
a
n
n
n
n
a
n
n
... ( ) ...
( )

+
1
2 1
1
0
n
n
a


Por tanto :
y = a
x x x
n
x a x x
n
n
0
2 4 6 1
2
1
1
1 3 5
1
2 1
1 + + + +

(
+ <
+
...
( )
...

En este caso puede sumarse la serie :

y = a x
x x x x
a x
0
3 5 7
1
1
1 3 5 7
+ + +
|
\

|
.
|

(
(
+ ... | | x a x arctg x 1 a y
1 0
+ + =

Nota
En los dos primeros ejemplos, la relacin de recurrencia ha consistido nicamente en dos
trminos y adems poda deducirse fcilmente de ella, la forma general de a
n
. Pero,
pueden aparecer relaciones con dos o ms trminos (Con 3 en el Ejemplo 3), que sean
ms complicadas, tales que no pueda determinarse la forma general de los coeficientes
a
n.
Entonces slo podrn obtenerse algunos trminos.

Ejemplo 3
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


10
Hallar por el mtodo de series de potencias en torno a x
0
= 1 los trminos hasta la
potencia de grado 4, correspondientes a la solucin general de la ecuacin diferencial:
0 y y x y 2 = + ' + ' '
Se efecta el cambio de variable: x - 1 = t x = t + 1.

Entonces y y , y
x d
t d
t d
y d
x d
y d
y = ' ' = = = ' 2 1 0 ( ) y t y y + + + = , t
0
= 0

p( )
q( )
t
t
t
=
+
=

1
2
1
2
Ambas analticas en t

= 0 con R
1
= R
2
=
Luego existe solucin analtica en t

= 0, vlida para todo t.

Sustituyendo y a t
n
n
n
=
=

0
en la ecuacin diferencial:
2 1
2
2
n n a t
n
n
n
( )

=

+ n a t
n
n
n=

1
+ n a t
n
n
n

1
1
+ a t
n
n
n=

0
0

Trmino independiente: 2 2 1 0
2 1 0
+ + = a a a =
+
a
a a
2
0 1
4

Coeficiente de t: 2 3 2 2 0
3 1 2 1
+ + + = a a a a =
+
a
a a
3
1 2
6

............................ ................................. ..........................
Coeficiente de t
n
: ( )( ) 2 2 1 1 0
2 1
n n a n a n a a
n n n n
+ + + + + + =
+ +
( )

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


11
a
n a n a
n n
a a
n
a
a a
n
n
n n n n
n
n n
+
+ +
=
+ + +
+ +
=
+
+
=
+
2
1 1 2 1
1 1
2 1 2 2 2 2
( ) ( )
( )( ) ( )


Luego: a
a a
2
0 1
4
=
+
; a
a
a a
a a
3
1
0 1
1 0 4
6
3
24
=

+
=


a
a a
a a a a
a a a a a a
4
2 3
0 1 1 0
0 1 1 0 0 1
8
4
3
24
8
6 6 3
192
5 9
192
=
+
= +
+
+

=
+ +
=
+



x ... ) 1 x (
192
9
8
) 1 x (
4
) 1 x (
) 1 x ( a
... ) 1 x (
192
5
24
) 1 x (
4
) 1 x (
1 a ) x ( y
4
3 2
1
4
3 2
0

(
(

+ +

+
(
(

+ +

=



Ejemplo 4

Hallar, por el mtodo de series, la solucin del problema de valor inicial:
y 2xy + 8y = 0 ; y(0) = 3 , y(0) = 0.


Son p(x) = -2x y q(x) = 8 , ambas analticas en x
o
= 0 , con R
1
= R
2
=
Por tanto, existe solucin y = y(x), analtica en x
o
= 0, vlida para todo x.

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


12
Sustituyendo y a x
n
n
n
=
=

0
en la ecuacin diferencial:

n n a x
n
n
n
( )

=

1
2
2
- 2 n a x
n
n
n=

1
+ 8 a x
n
n
n=

0
0

Trmino independiente : 0 a 8 a 2
0 2
= +
0 2
a 4 a =
Coeficiente de x : 0 a 8 a 2 a 6
1 1 3
= +
1 3
a a =
............................ ................................. .................
Coeficiente de x
n
: ( )( ) 0 a 8 a n 2 a 1 n 2 n
n n 2 n
= + + +
+


Luego :
n 2 n
a
) 2 n )( 1 n (
) 4 n ( 2
a
+ +

=
+
. De donde:
2 n n
a
) 1 n ( n
) 6 n ( 2
a

= n > 2

Se pide la solucin tal que: y(0) = 3 e y(0) = 0, es decir, tal que a
o
= 3 y a
1
= 0.

Luego:

= = = =
=

=
= = =
=
=
=
0 ..... a a 0 a
4
12
a 4
a
0 ...... a a
12 a
0 a
3 a
10 8 6
2
4
5 3
2
1
0
Por tanto: y = 3 12 x
2
+ 4 x
4


Ejemplo 5: Ecuacin y polinomios de Legendre (1752-1833)

La ecuacin de Legendre de parmetro m > 0 es:
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


13


0 y ) 1 m ( m y x 2 y ) x 1 (
2
= + + ' ' '
|3|

Se trata de hallar soluciones en serie de potencias de x, es decir en torno a x
0
= 0.

Es

+
=

=
2
2
x 1
) 1 m ( m
) x ( q
x 1
x 2
) x ( p
Ambas analticas en x
0
= 0 con radio de convergencia de los
respectivos desarrollos: R
1
= R
2
= 1
Luego x
0
= 0 es punto ordinario, existiendo solucin en serie de potencias de x, vlida, al
menos para x < 1.

Sea

=
=
0 n
n
n
x a y . Sustituyendo en la ecuacin :

2 n
2 n
n
x a ) 1 n ( n -

=

2 n
n
n
x a ) 1 n ( n -2

=1 n
n
n
x a n +

=
+
0 n
n
n
x a ) 1 m ( m 0

Habrn de ser nulos los coeficientes de todas las potencias de x.

x
0
: 0 a ) 1 m ( m a 1 2
0 2
= + +
0 2
a
1 2
) 1 m ( m
a

+
=
x
1
: 0 a ) 1 m ( m a 2 a 2 3
1 1 3
= + +
1 1 3
a
! 3
) 2 m )( 1 m (
a
2 3
2 ) 1 m ( m
a
+
=

+
=
..... ............................................................................................
x
n
: ( )( ) ( ) 0 a ) 1 m ( m a n 2 a 1 n n a 1 n 2 n
n n n 2 n
= + + + +
+


ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


14

+ +
+ +
=
+ n 2 n
a
) 1 n )( 2 n (
) 1 n m )( n m (
a 2 n a
) 1 n ( n
) 1 n m )( 2 n m (
a
2 n n
>

+ +
=


Luego:

1 x ... x
! 5
) 4 m )( 2 m )( 1 m )( 3 m (
x
! 3
) 2 m )( 1 m (
x a
... x
! 4
) 3 m )( 1 m ( m ) 2 m (
x
! 2
) 1 m ( m
1 a y
5 3
1
4 2
0
<
(


+ +
+
+


+ +
+
+
=



Es decir : ) x ( y a ) x ( y a y
2 1 1 0
+ =
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios
p
n
(x) son respectivamente :
p
0
= 1 p
1
(x) = x p
2
(x) = 1 - 3 x
2
p
3
(x) = x -
3
5
x
3
......

Se llama polinomio de Legendre de orden m y se designa con P
m
(x), a la solucin
polinmica de la ecuacin de Legendre de parmetro m (o sea, el mltiplo de p
n
(x), tal que
P
m
(1) = 1.
Ser:
P
0
(x) = 1 P
1
(x) = x
2
1
x
2
3
) x ( P
2
2
= x
2
3
x
2
5
) x ( P
3
3
=
.........

Algunas propiedades: (Sin demostraciones)

- Los polinomios de Legendre pueden darse mediante la frmula de Rodrguez :

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


15

n 2
n
n
n
) 1 x (
x d
d
! )! n 2 (
1
) x ( P =


- O mediante una funcin generadora, debida a Legendre :


( ) ... t ) x ( P t ) x ( P ) x ( P t xt 2 1
2
2 1 0
2 2
1
+ + + = +



Tambin mediante frmulas de recurrencia:


n 1 n 1 n
1 n n 1 n
P ) 1 n ( 2 P P
) x ( P
1 n
n
) x ( P x
1 n
1 n 2
) x ( P
+ = ' '
+

+
+
=
+
+

- Cumplen la relacin de ortogonalidad :

=
+
=
=
}

n m
1 n 2
2
n m 0
x d ) x ( P ) x ( P
1
1
n m |4|

La ecuacin de Legendre aparece en varios problemas de la Fsica dotados de simetra
esfrica.

Ejemplo 6: Ecuacin y polinomios de Hermite (1822 -1901)

La ecuacin de Hermite es:


0 y 2 y x 2 y = + ' ' '
|5|
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


16

Aparece esta ecuacin, por ejemplo en la mecnica cuntica, a partir de la ecuacin de
Schrdinger para un oscilador armnico.

Se trata ahora de obtener su solucin por el mtodo de series, en torno a x
0
= 0.

El x
0
= 0 es un punto ordinario de la ecuacin |5|, pues p(x) = -2x y q(x) = 2 son
analticas en x = 0. Adems los radios de convergencia de los respectivos desarrollos, son
ambos infinitos. Luego existe solucin de |5| , de la forma

=
=
0 n
n
n
x a y , vlida para todo x
real.

Sustituyendo en la |5| :

9 e =


=

x 0 x a 2 x na 2 x a ) 1 n ( n
2 n
n
n
2 n
n
n
2 n
2 n
n

Luego:

Coeficiente de 1 : 0 a 2 a 2
0 2
= +
0 2
a a =
--------------------------------------------------------------------------------------
Coeficiente de x
n-2
: n(n-1)a
n
-2(n-2)a
n-2
+2a
n
= 0

Relacin de recurrencia:
) 1 n ( n
a ) n 2 ( 2
a
2 n
n

+
=

n> 2
Luego:

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


17
x ... x
! 7
) 5 )( 3 )( 1 ( 2
x
! 5
) 3 )( 1 ( 2
x
! 3
) 1 ( 2
x a
... x
! 6
) 4 )( 2 ( 2
x
! 4
) 2 ( 2
x
! 2
2
1 a ) x ( y
7
3
5
2
3
1
6
3
4
2
2
0

(
(

(
(

+ =




Para = 0, 1,2,... una de las dos series es un polinomio. Dichos polinomios h
n
(x),
para = n = 0, 1,2,... son respectivamente:

... , x
3
2
- x = ) x ( h , x 2 - 1 = ) x ( h , x ) x ( h , 1 ) x ( h
3
3
2
2 1 0
= =

Se llama polinomio de Hermite de grado n, y se designa H
n
(x), a la solucin polinmica de
la ecuacin de Hermite de parmetro = n ( o sea el mltiplo de h
n
(x)), cuyo coeficiente
de x
n
es 2
n
. Ser por tanto:

... , x 12 - x 8 = ) x ( H 2, - x 4 = ) x ( H , x 2 ) x ( H , 1 ) x ( H
3
3
2
2 1 0
= =


Algunas propiedades: (sin demostracin)

- Los polinomios de Hermite pueden darse mediante la frmula de Rodrigues :


2 2
x
n
n
x n
n
e e
x d
d
) 1 ( ) x ( H

=


- Tambin por medio de la funcin generadora :

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


18

=
0 n
n n t tx 2
t
! n
) x ( H
2
e


- O mediante las frmulas de recurrencia :


) x ( H n 2 ) x ( H
) x ( H n 2 ) x ( H x 2 ) x ( H
1 n
'
n
1 n n 1 n

+
=
=


- Cumplen la relacin de ortogonalidad:

=
=
=
}



n m ! n 2
n m 0
x d ) x ( H ) x ( H
n
n m
x
2
e
t












ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


19
Solucin de ecuaciones diferenciales mediante Series de Taylor



ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


20
Ejemplos de Series de Potencias
La forma de resolver las ecuaciones diferenciales aplicando el mtodo de las
series de potencias es el siguiente:
Primero se tiene que una serie de potencias es una serie infinita (en potencia de x-
a) de la forma:

donde c
0
, c
1
, son constantes, llamadas coeficientes de la serie, la a es una
constante, llamada centro y x es una variable.
Si en particular a=0, se obtiene una serie de potencias de x

Las series de potencias muy familiares son:
La series de Maclaurin:




Para resolver una ecuacin diferencial por medio de series de potencia, primero se
representan las funciones dadas en la ecuacin por medios de series de potencias
de x (o en potencias de x-a).
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


21
Por lo tanto debemos saber cmo derivar una serie:
Suponga que tenemos la serie


Entonces la primera derivada es:

La segunda derivada es:

Y as sucesivamente.
Ejemplo
Resolver la ecuacin diferencial y y = 0
Sustituimos la primera derivada y y la funcin y, se tiene:

Se agrupan las potencias iguales de x y se encuentra:

Igualando a cero los coeficientes de cada potencia de x, se tiene

Resolviendo estas ecuaciones, se pueden expresar c
1
, c
2
, en trminos de c
0
,
entonces:
, , ;
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3


22
Con estos valores la ecuacin , se transforma en:

Si despejamos c
0
y tenemos como solucin:


Bibliografia
Edwards J, P. D. (1986). Ecuaciones Diferenciales elementales con aplicaciones.
Mexico: Calypso S.A.
SHEPLEY, R. (1979). Ecuaciones Diferenciales. Barcelona: Revert S.A.
Simmons, G. F. (1993). ECUACIONES DIFERENCIALES, Con aplicaciones y
notas historicas. Mexico: McGrawHill.
ZILL, D. G. (1997). Ecuaciones Diferenciales con Aplicaciones de Modelado.
Mexico: Thomson Editores.