TEMA 6: Soluciones definidas por medio de series.

Funciones especiales.

Esquema del Tema

6.1) Introduccion (Series de potencias).
6.2) Definicion de punto regular u ordinario y de punto singular.
6.3) Resolucion de la ecuacion alrededor de un punto ordinario.
6.4) Definicion de punto singular regular.
6.5) Resolucion de la ecuacion alrededor de un punto singular regular. Metodo de Frobenius.
6.6) La ecuacion de Euler.
6.7) Funciones especiales.
6.8) Funciones de Bessel
6.9) Polinomios de Legendre.

Objetivos
Ampliar el campo de resolucion de las ecuaciones diferenciales y, en cierto modo, el concepto
de solucion, al caso de puntos regulares y puntos singulares regulares mediante soluciones
definidas por series de potencias. Estudiar algunas funciones especiales definidas precisamente
como soluciones de ecuaciones diferenciales.

Bibliografa
Introduccion a las Ecuaciones Diferenciales Ordinarias. E. A. Coddington. McGraw-Hill
(N.Y.).
Ecuaciones Diferenciales. F. Simmons. McGraw-Hill .
Ecuaciones Diferenciales. Vicente Bargue
no Fari
nas. UNED.
NIST Handbook of Mathematical Functions. Cambridge University Press.

1.

Introducci
on

Recordemos los conceptos de serie funcional dados al comienzo del tema 5 y consideremos
el caso particular de las series de potencias, que generalizan los polinomios con coeficientes
reales.
Definici
on 1.1 (Serie de potencias) Una serie de potencias centrada en x = x0 es una
serie funcional de la forma

an (x x0 )n .

(1)

n=0

A las funciones f (x) que, dado x0 , admiten un desarrollo de la forma (1), se las denomina
analticas en x0 , y analticas en un conjunto A si lo son para todo x0 A
Para estas series, se tiene el siguiente resultado:
Teorema 1.1 (Teorema
de Cauchy-Hadamard) Dada una serie de potencias (1), existe

+
un n
umero r R
{0, } tal que la serie (1) converge para los x que cumplen |x x0 | < r
y diverge para los x que cumplen |x x0 | > r. Al conjunto o intervalo {x ; |x x0 | < r} se
le llama Intervalo de convergencia de la serie de potencias y a r se le denomina
Radio de convergencia. Para determinarlo pueden utilizarse las tecnicas estudiadas en el
primer curso para la convergencia de series numericas.
Ejemplo 1.1 Consideremos la serie de potencias centrada en x = 1 dada por

n=0

n2 + 1
(x 1)n
n3 n2 + 2

Para determinar su radio de convergencia, utilizaremos el criterio del cociente como si la

serie fuera una serie numerica. En este caso
n2 + 1
n2 + 2n + 2
n
an = 3
(x 1) = an+1 = 3
(x 1)n+1
2
2
n n +2
n + 2n + n + 2
an+1
n5 + n4 + 4n + 4
= 5
(x 1)
an
n + 2n4 + 2n3 + 4n2 + n + 2
y se tendra
por tanto



 an+1 
n5 + n4 + 4n + 4
 = |x 1| lm

lm 
n n5 + 2n4 + 2n3 + 4n2 + n + 2
n
an 
= |x 1|
por tanto la serie de potencias converge si |x 1| < 1, es decir 0 < x < 2, y por tanto el
radio de convergencia es r = 1 y el intervalo de convergencia es (0, 2).

Que ocurre en los puntos extremos del intervalo de convergencia? No existe un resultado
general y hay por tanto que estudiar caso a caso. En la serie del ejemplo 1.1, puede comprobarse que la serie converge en un extremo del intervalo (0, 2) y que diverge en el otro
extremo.
Definici
on 1.2 Sean

an y

n=0

como

bn dos series numericas. Se define su producto de Cauchy

n=0

an

n=0

)(

n=0

)
bn

cn , donde cn =

n=0

ak bnk .

k=0

Para series de potencias la definicion es analoga.

Se verifica el siguiente resultado:
Teorema 1.2 (Teorema de Mertens) Si la serie
A su suma, y la serie

an converge absolutamente, siendo

n=0

bn converge, siendo B su suma, entonces su producto de Cauchy

n=0

converge a AB.

2.

Definici
on de punto regular u ordinario y de punto
singular.

Definici
on 2.1 Diremos que un punto x0 [a, b] es un punto regular u ordinario de la
ecuaci
on lineal y homogenea de segundo orden
a0 (x)y (x) + a1 (x)y (x) + a2 (x)y(x) = 0,

(2)

si la ecuacion (2) se puede escribir en la forma

y (x) + p(x)y + q(x)y = 0 ,
siendo las funciones p(x) y q(x) analticas en x0 ,1 (p(x) =

n=0

(3)
pn (x x0 )n , q(x) =

x0 )n ). Un punto que no es ordinario, diremos que es un punto singular.

1

qn (x

n=0

Observaci
on: La condicion de ser analticas p(x) y q(x) solo es necesaria para poder obtener soluciones
mediante series de funciones. Bastara para la sola definicion que p(x) y q(x) fueran continuas.

3.

Resoluci
on de la ecuaci
on alrededor de un punto ordinario.

Teorema 3.1 Si el punto x0 = 0 de [a, b] es un punto ordinario de la ecuaci

on (3), entonces
existe una serie de la forma
y(x) =

an x n ,

n=0

con radio de convergencia no nulo, que satisface la ecuaci

on diferencial y contiene dos constantes arbitrarias (si el punto ordinario es x0 = 0, un cambio de variable z = x x0 nos
permitira obtener que z0 = 0 es el punto ordinario).
Nota 3.1 Por la naturaleza del problema planteado y conocidas las condiciones del teorema
de existencia y unicidad, sabemos que por el punto (x0 , y0 ) con y0 arbitrario y la condicion
adicional de que y (x0 ) = y0 , existe una u
nica solucion que satisface estas dos condiciones.
Para hallar la solucion de (2) alrededor de un punto ordinario supondremos que el punto
x0 = 0 y que el intervalo en que a0 (x0 ) = 0 es el [a, b] en tanto no se indique lo contrario.
Dada la ecuacion en la forma normalizada (3)
y (x) + p(x)y + q(x)y = 0 ,
donde suponemos que p(x) y q(x) admitan sendos desarrollos en serie de Taylor con radios
de convergencia R1 y R2 :
p(x) =

pn x , para |x| < R1 , q(x) =

n

n=0

qn xn , para |x| < R2

n=0

tomamos derivadas formales de la serie de potencias solucion:

y(x) =

an x , y (x) =

n=0

(n + 1)an+1 x , y (x) =

n=0

(n + 1)(n + 2)an+2 xn ,

n=0

y sustituimos en la ecuacion diferencial normalizada,

n=0

(
(n + 1)(n + 2)an+2 xn +
|

n=0

pn x n

)(

)
(n + 1)an+1 xn

{z

+
}

n=0

(
|

n=0

qn x n

)(

{z

n=0

)
an xn

=0
}

efectuando los productos de series de potencias mediante el producto de Cauchy, se tiene una
serie de potencias igualada a cero, por lo que igualando a cero los coeficientes de cada potencia
de x nos determinaran los coeficientes an buscados. Una vez obtenidos dichos coeficientes, la
serie y(x) resultante converge con radio de convergencia R = mn {R1 , R2 }.
4

Ejemplo 3.1 Resolver mediante series de potencias

y + xy + y = 0 .
Observemos que el punto x0 = 0 es un punto regular de la ecuaci
on diferencial, pues p(x) = x
y q(x) = 1 son analticas alrededor de x0 = 0. Sea
y(x) =

an xn = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 +

n=0

la solucion en serie buscada. Derivando formalmente, se obtiene

y (x) = a1 + 2a2 x + 3a3 x + 4a4 x =

2

(n + 1)an+1 xn ,

n=0

y ahora

y (x) = 2a2 + 3 2a3 x + 4 3a4 x =

2

(n + 1)(n + 2)an+2 xn .

n=0

Sustituyendo en la ecuacion diferencial

y + xy + y = 0 =

(n + 1)(n + 2)an+2 x +

n=0

(n + 1)an+1 x

n+1

n=0

an x n = 0

n=0

(Reordenando ndices)

n
n
=
(n + 1)(n + 2)an+2 x +
nan x +
an xn = 0
n=0

n=1

= a0 + 1 2a2 +

n=0

[(n + 1)(n + 2)an+2 + nan + an ] xn = 0

n=1

= (a0 + 2a2 ) +

[(n + 1)(n + 2)an+2 + (n + 1)an ] xn = 0.

n=1

Para que se cumpla la igualdad, debe ser

a0 + 2a2 = 0 , (n + 1)(n + 2)an+2 + (n + 1)an = 0 , n 1 .
De la primera ecuacion, obtenemos
1
a2 = a0 ,
2
con lo que dejamos a0 como parametro libre.
De la segunda ecuacion obtenemos
5

an+2 =

(n + 1)
1
an = an+2 =
an , n 1,
(n + 1)(n + 2)
(n + 2)

es decir
n = 1 =

a3 =

1
a1
3

(1)1
a1
3

n = 2 =

a4 =

1
a2
4

(1)2
a0
42

n = 3 =
..
.

a5 =

1
a3
5

(1)2
a1
53

n = 2k + 1 = a2k+1 =

n = 2k =

(1)k
a1 , k 1,
(2k + 1)(2k 1) 3

a2k =

(1)k
a0
(2k)(2k 2) 2

, k 1.

Conforme calculamos los coeficientes, vemos que los coeficientes de ndice par, a2 , a4 , a6 , . . .
dependen de a0 y los coeficientes de ndice impar, a3 , a5 , a7 , . . . dependen de a1 , con lo que
dejamos tambien a1 como parametro libre. Es bien conocido que n! = n(n 1)(n 2) , si
denotamos por n!! = n(n 2)(n 4) se tiene que
a2k+1 =

(1)k
(1)k
a1 , a2k =
a0
(2k + 1)!!
(2k)!!

y por tanto la solucion en serie buscada que contiene a dos constantes arbitrarias es
(
)
(
)

(1)k
(1)k
y(x) =
an xn = a0
x2k + a1
x2k+1 .
(2k)!!
(2k
+
1)!!
n=0
k=0
k=0
Puede comprobarse que ambas series de potencias convergen para todo x real.

4.

Definici
on de punto singular regular.

Definici
on 4.1 Un punto x0 es un punto singular regular de una ecuaci
on diferencial
lineal y homogenea de segundo orden (2) si la ecuaci
on puede escribirse en la forma
y (x) +

p(x)
q(x)
y +
y=0,
(x x0 )
(x x0 )2

(4)

con p(x) y q(x) analticas alrededor del punto x0 ( esto es p(x) =

pn (x x0 )n , q(x) =

n=0

qn (x x0 )n , con p0 , q0 y q1 no simultaneamente nulos2 . En caso contrario se dice que x0

n=0

es un punto singular irregular.

5.

Resoluci
on de la ecuaci
on alrededor de un punto singular regular. M
etodo de Frobenius.

En el caso de un punto singular regular x0 , buscamos soluciones de la ecuacion diferencial de

la forma
y(x) = (x x0 )c

an (x x0 )n = y(x, c) ,

n=0

donde tendremos el problema de determinar los coeficientes an y n

umero c.
Para simplificar, supongamos que el punto singular regular es x0 = 0 (en caso contrario se
efectuara un cambio de variable adecuado). Tenemos la ecuacion diferencial normalizada
y + P (x)y + Q(x)y = 0
y buscamos formalmente una solucion de la forma
y(x) = x

an x

n=0

an xn+c ,

n=0

y derivando formalmente

y (x) = ca0 x

c1

+ (c + 1)a1 x + (c + 2)a2 x

c+1

+ =
(n + c)an xn+c1 ,
n=0

y (x) = c(c 1)a0 xc2 +(c+1)ca1 xc1 +(c+2)(c+1)a2 xc + =

(n + c)(n + c 1)an xn+c2 .

n=0

Como xP (x) y x2 Q(x) son funciones analticas , se tiene

xP (x) = p0 + p1 x + p2 x + =
2

pn x , x Q(x) = q0 + q1 x + q2 x + =
n

n=0

n=0

de donde
2

La condicion sobre p0 , q0 y q1 es para que el punto no sea ordinario.

qn x n ,

P (x) =

)
)
1(
1(
p0 +p1 x+p2 x2 + =
pn xn1 , Q(x) = 2 q0 +q1 x+q2 x2 + =
qn xn2 .
x
x
n=0
n=0

Sustituyendo en la ecuacion diferencial y + P (x)y + Q(x)y = 0 se obtiene

(
)(
) (
)(
)

(n+c)(n+c1)an xn+c2 +
pn xn1
(n + c)an xn+c1 +
qn xn2
an xn+c =0
n=0

n=0

{z

n=0

} |

n=0

{zn=0

efectuando los productos de series de potencias mediante el producto de Cauchy se tiene

una serie de potencias igualada a cero, por lo que igualando a cero los coeficientes de cada
potencia de x nos determinaran los coeficientes an buscados. La potencia de menor orden
que aparece en dicha serie corresponde a la potencia xc2 . Igualando a cero su coeficiente (y
suponiendo que a0 = 0) se obtiene la expresion:
c(c 1) + p0 c + q0 = 0 c2 + (p0 1)c + q0 = 0 ,

(5)

los valores de c se obtienen a traves de la ecuacion (5) (tambien llamada ecuaci

on indicial

o ecuaci
on caracterstica) permiten obtener el resto de los an y son los u
nicos valores
posibles de c que pueden llevar a la solucion buscada. El sistema fundamental de soluciones
depende de las soluciones de esta ecuacion indicial y hay que atender al cuadro siguiente.

Nota 5.1 Recordemos que una ecuaci

on de Euler homogenea de segundo orden viene dada
por
x2 y + a0 xy + a1 y = 0 ,

(6)

que tiene en x = 0 un punto singular regular, y pueden buscarse tambien sus soluciones
mediante el metodo de series.

cuadro resumen
Raices ecuacion caracterstica (Re (c2 ) Re (c1 ))

a)

Sistema fundamental de soluciones

y1 (x) = y(x, c) |c=c1

c1 = c2 y c2 c1 no entero

y2 (x) = y(x, c) |c=c2

y1 (x) = y(x, c) |c=c1

b)

c1 = c2
y2 (x) =

y(x, c) |c=c1
c

a0 = b0 (c c1 )
c)

y1 (x) = y(x, c) |c=c1

c1 = c2 y c2 c1 entero

y2 (x) =
d)

y(x, c) |c=c1
c

Caso Especial: La ecuacion de Euler

Ejemplo 5.1 (Caso (a) de la tabla) Resolver mediante series de potencias

4xy + 2y + y = 0 .
Observemos que podemos escribir la ecuaci
on diferencial dada en la forma
(1)
(1 )
x
2
1

2
y + y + y = 0 = y +
y + 42 y = 0 ,
4x
4x
x
x
1
1
donde p(x) = 2 y q(x) = 4 x son polinomios (analticas) en el punto x0 = 0, que sera por
tanto un punto singular regular de la ecuaci
on diferencial.
Buscamos por tanto soluciones de la forma
y(x, c) = x

an x

n=0

an xn+c , a0 = 0 ,

n=0

y derivando formalmente, se obtiene

y (x, c) =

(n + c)an xn+c1 ,

n=0

y ahora

y (x, c) =

(n + c)(n + c 1)an xn+c2 .

n=0

Sustituyendo en la ecuacion diferencial y +

1
y
4x

=0

1
1
+
(n + c)an xn+c1 +
an xn+c = 0
2x n=0
4x n=0

(n + c)(n + c 1)an x

(n + c)(n + c 1)an xn+c2 +

n=0

n+c2

n=0

1
y
2x

(n + c)

n=0

an n+c2 an1 n+c2

x
+
x
=0
2
4
n=1

ca0 ) c2
an an1 ] n+c2
x +
(n + c)(n + c 1)an + (n + c) +
x
=0
2
2
4
n=1
)
]
[(
(

c)
(n + c)
an1 n+c2
c2
= (c 1)c +
a0 x +
(n + c)(n + c 1) +
an +
x
= 0.
2
2
4
n=1
=

(c 1)ca0 +

La ecuaci
on indicial (pues a0 = 0) es
c
1
= 0 c1 = 0 , c 2 = .
2
2
Las races de la ecuacion indicial son distintas y su diferencia no es un entero. Estamos por
tanto en el caso (a) del cuadro adjunto. Para el resto de ndices obtenemos
)
(
an1
(n + c)
an +
=0, n1.
(n + c)(n + c 1) +
2
4
(c 1)c +

de donde
an =

1
an1 .
4(n + c)(n + c 12 )

CASO c = c1 = 0
Se tiene en este caso
an =

1
an1 ,
4n(n 12 )

10

es decir

1
a0 =
4 1 12

a1 =

(1)1
a0
(2 1)!

n = 2 = a2 =

1
(
) a1 =
4 2 2 12

a2 =

(1)2
a0
(2 2)!

n = 3 = a3 =

1
(
) a2 =
4 3 3 12

a3 =

(1)3
a0
(2 3)!

n = 1 =

a1 =

..
.
n =

an =

(1)n
a0
(2 n)!

y por tanto, teniendo en cuenta que a0 puede escribirse como a0 =

(1)0
a,
(20)! 0

se tiene:

y1 (x) = y(x, c) |c=0

= a0 + a1 x + a2 x2 + a3 x3 +
(1)0
(1)1
(1)2
(1)3
=
a0 +
a0 x +
a0 x2 +
a 0 x3 +
(2 0)!
(2 1)!
(2 2)!
(2 3)!

(1)n n
= a0
x .
(2n)!
n=0
CASO c = c2 =

1
2

Se tiene
an =
es decir

1
an1 ,
4n(n + 12 )

n = 1 = a1 =

1
(
) a0 =
4 1 1 + 12

a1 =

(1)1
a0
3!

n = 2 = a2 =

1
(
) a1 =
4 2 2 + 12

a2 =

(1)2
a0
5!

..
.
n =

an =

(1)n
a0
(2n + 1)!

y por tanto, teniendo en cuenta que a0 puede escribirse como a0 =

(1)0
a
(20+1)! 0
1
2

(1)0
a0 ,
1!

y que
1

para que la solucion sea valida para x > 0 y x < 0, debemos tomar |x| en vez de x 2 , se

11

tiene:
y2 (x) =
=
=
=



y(x, c) c= 1
2
]
1 [
|x| 2 a0 + a1 x + a2 x2 + a3 x3 +
[
]
1
(1)0
(1)1
(1)2
(1)3
2
3
|x| 2
a0 +
a0 x +
a0 x +
a0 x +
1!
3!
5!
7!
[
]
(1)n
1
a0 |x| 2
xn .
(2n
+
1)!
n=0

Por tanto, la solucion general de la ecuaci

on diferencial 4xy + 2y + y = 0 viene dada por
y(x) = Ay1 (x) + By2 (x).
siendo A y B constantes arbitrarias.
En algunos casos, como este, es posible identificar las funciones definidas por las series solu1
1
ci
on. Observemos que, si x > 0, |x| 2 = x 2 , y teniendo en cuenta los desarrollos de Taylor

(1)n 2n
(1)n 2n+1
cos (y) =
y , sen (y) =
y
, podemos escribir
(2n)!
(2n + 1)!
n=0
n=0
y1 (x) = A

(1)n
n=0

(2n)!

xn = A cos ( x) , y2 (x) = Bx

1
2

(1)n n
x = B sen ( x).
(2n + 1)!
n=0

1
Observemos que, si x < 0, entonces x > 0, |x| 2 = x, y teniendo en cuenta los desarrollos

1
1 2n
2n+1
de Taylor senh (y) =
y
, cosh (y) =
y , podemos escribir
(2n + 1)!
(2n)!
n=0
n=0
y1 (x) = A

(1)n
n=0

(2n)!

(x)n = A cosh ( x) , y2 (x) = B(x)

1
2

(1)n
(x)n = B senh ( x).
(2n + 1)!
n=0

Ejemplo 5.2 (Caso (b) de la tabla) Resolver mediante series de potencias

xy + y 4y = 0 , x > 0 .
Observemos que podemos escribir la ecuaci
on diferencial dada en la forma
(4x)
1
y=0,
y + y +
x
x2
donde p(x) = 1 y q(x) = 4x son una constante y un polinomio en x respectivamente (y por
tanto funciones analticas) en el punto x0 = 0, que sera por tanto un punto singular regular
de la ecuacion diferencial.
Buscamos por tanto soluciones de la forma
12

y(x, c) = xc

a n xn =

n=0

an xn+c , a0 = 0 ,

n=0

y derivando formalmente, se obtiene

y (x, c) =

(n + c)an xn+c1 ,

n=0

y ahora

y (x, c) =

(n + c)(n + c 1)an xn+c2 .

n=0

Sustituyendo en la ecuacion diferencial y + x1 y x4 y = 0

=
=

n=0

1
4
+
(n + c)an xn+c1
an xn+c = 0
x n=0
x n=0

(n + c)(n + c 1)an x

n+c2

(n + c)(n + c 1)an x

n+c2

n=0

(n + c)an x

n+c2

n=0

= ((c 1)c + c) a0 xc2 +

4an xn+c1 = 0

n=0

[(n + c)(n + c 1) + (n + c)] an xn+c2

n=1

= ((c 1)c + c) a0 x

c2

= ((c 1)c + c) a0 x

4an xn+c1 = 0

n=0

[(n + c)(n + c 1) + (n + c)] an x

n=1
c2

n+c2

4an1 xn+c2 = 0

n=1

[((n + c)(n + c 1) + (n + c)) an 4an1 ] xn+c2 = 0.

n=1

La ecuaci
on indicial (pues suponemos a0 = 0) es
(c 1)c + c = 0 = c = c1 = c2 = 0 .
Las races de la ecuacion indicial son iguales. Estamos por tanto en el caso (b) del cuadro
adjunto. Para el resto de ndices obtenemos
an =

4
an1 , n 1,
(n + c)2

13

es decir
n = 1 = a1 =

4
a0
(c + 1)2
42
a2 =
a0
(c + 2)2 (c + 1)2

4
n = 2 = a2 =
a1 =
(c + 2)2
n = 3 = a3 =
..
.
n =

4
a2 =
(c + 3)2

an =

a3 =

43
a0
(c + 3)2 (c + 2)2 (c + 1)2

4n
a0 ,
(c + n)2 (c + (n 1))2 (c + 1)2

por tanto,

y(x, c) = xc

an xn

[n=0
]
= x a0 + a1 x + a2 x2 + a3 x3 + a4 x4
[
]
4
42
43
c
2
3
= x a0 +
a0 x +
a0 x +
a0 x +
(c + 1)2
(c + 2)2 (c + 1)2
(c + 3)2 (c + 2)2 (c + 1)2
c

y obtenemos finalmente que

[
y(x, c) = a0 x 1 +
c

42
43
4
2
3
x
+
x
+
2
2
2
2
2
2x +
(c + 1)
(c + 2) (c + 1)
(c + 3) (c + 2) (c + 1)

]
(7)

Sustituyendo en (7) el valor c = 0, se tiene, para a0 = 0 y arbitrario, la primera solucion en

serie de la ecuacion diferencial:
[
]
42
43
4
2
3
y1 (x) = y(x, c) |c=0 = a0 1 +
2x +
2
2x +
2
2
2x +
(1)
(2)
(1)
(3)
(2)
(1)
[ 0
]
4
4
42 2
43 3
= a0
+
x+
x +
x +
(0!)2 (1!)2
(2!)2
(3!)2

4n n
x .
= a0
(n!)2
n=0
Para encontrar la otra solucion linealmente independiente de la ecuaci
on diferencial, derivamos respecto de c en (7), obteniendo
y(x, c)
c

14

[
]
4
42
43
2
3
= a0 x log (x) 1 +
x+
x +
x +
(c + 1)2
(c + 2)2 (c + 1)2
(c + 3)2 (c + 2)2 (c + 1)2
[ (
)
(
)
(
)
]
2
(4c + 6)
2(3c2 + 12c + 11)
c
2 2
3 3
+a0 x 4x
+4 x
+4 x
+ (8)
(c + 1)3
(c + 1)3 (c + 2)3
(c + 1)3 (c + 2)3 c + 3)3
c

y evaluando

y(x, c)
dada en (8) cuando c = 0, obtenemos
c
y(x, c)
y2 (x) =
|c=0
c
=
+
=
=

[
]
4
42
43
2
3
a0 log (x) 1 +
x+
x +
x +
(1)2
(2)2 (1)2
(3)2 (2)2 (1)2
[
]
42 6 2
43 22 3
42
a0 3 x 3 3 x 3 3 3 x +
1
1 2
1 2 3
[
]

4
42
42 6 2 43 22 3
n
log (x)a0
x + a0
x
x
x
2
3
3
3
(n!)
(1!)
(2!)
(3!)
n=0
]
[
42 6 2 43 22 3
42
y1 (x) log (x) + a0
x
x
x
(1!)3
(2!)3
(3!)3

formando y1 (x) e y2 (x) un conjunto fundamental de soluciones de la ecuaci

on diferencial.
Ejemplo 5.3 (Caso (c) de la tabla) Resolver mediante series de potencias
x2 y + (x2 2x)y + 2y = 0 , x > 0.
Observemos que podemos escribir la ecuaci
on diferencial dada en la forma
x2
2
y + 2y = 0 ,
x
x
donde p(x) = x 2 y q(x) = 2 son polinomios (analticas) en el punto x0 = 0, que sera por
tanto un punto singular regular de la ecuaci
on diferencial.
y +

Buscamos por tanto soluciones de la forma

y(x, c) = x

an x

n=0

an xn+c , a0 = 0 ,

n=0

y derivando formalmente, se obtiene

y (x, c) =

n=0

(n + c)an x

n+c1

, y (x, c) =
(

Sustituyendo en la ecuacion diferencial y + 1

15

(n + c)(n + c 1)an xn+c2 .

n=0

)
2
x

y +

2
y
x2

=0

=
=

n=0

(n + c)(n + c 1)an x

n+c2

n+c2

(n+c)(n+c1)an x

n=0

2
+ 1
x

n=0

(n+c)an x

n+c1

(n+c)an xn+c1 +

c 3c + 2 a0 x
2

c2

2(n+c)an x

an xn+c = 0

n=0

n+c2

2an xn+c2 = 0

n=0

[(n+c)(n+c1)2(n+c)+2] an xn+c2 = 0

n=1

(n+c 1)an1 x

n+c2

n=1

2
+ 2
x

n=0

n=0

(n+c)an x

n=0

= ((c1)c2c+2)a0 xc2 +
(

n+c1

[(n+c)(n+c1)2(n+c)+2]an xn+c2 = 0

n=1

)
c2 3c + 2 a0 xc2 +
[((n + c)(n + c 3) + 2) an + (n + c 1)an1 ] xn+c2 = 0.
n=1

La ecuacion indicial (pues a0 = 0) es

c2 3c + 2 = 0 c1 = 1, c2 = 2 .
Las races de la ecuacion indicial son distintas pero su diferencia c2 c1 = 1 es un entero.
Estamos por tanto en el caso (c) del cuadro adjunto. Para el resto de ndices obtenemos
((n + c)(n + c 3) + 2) an + (n + c 1)an1 = 0 , n 1 .
es decir
an =

(n + c 1)
an1 , n 1.
(n + c)(n + c 3) + 2

Dando valores a n, se obtiene

n = 1 = a1 =

1
a0
(c 1)

n = 2 = a2 =

1
a1 =
c

n = 3 = a3 =

1
(1)3
a2 = a3 =
a0
(c + 1)
(c + 1) c (c 1)

n = 4 = a4 =

(1)4
1
a3 = a4 =
a0
(c + 2)
(c + 2) (c + 1) c (c 1)

..
.

a2 =

(1)2
a0
c (c 1)

por tanto
y(x, c) = xc

n=0

16

an xn

= xc [a0 + a1 x + a2 x2 + a3 x3 + a4 x4 ]
[
]
(1)1
(1)2
(1)3
(1)4
2
3
4
c
= x a0 +
a0 x +
a0 x +
a0 x +
a0 x +
(c 1)
c (c 1)
(c + 1) c (c 1)
(c + 2) (c + 1) c (c 1)
Tomemos como indica en la tabla adjunta para el caso (c) el valor a0 = b0 (c c1 ), siendo
c1 la raz con la parte real mas peque
na. En nuestro caso esta es c1 = 1, por tanto tomamos
a0 = b0 (c 1) y sustituyendo obtenemos:
y(x, c) =
[
=

xc

b0 (c 1) +

1
(1)2
(1)3
b0 (c 1) x +
b0 (c 1) x2 +
b0 (c 1) x3
(c 1)
c (c 1)
(c + 1) c (c 1)
]
(1)4
4
+
b0 (c 1) x + .
(9)
(c + 2) (c + 1) c (c 1)

y cancelando los terminos (c 1) comunes a cada fracci

on, podemos escribir
]
[
(1)2 2
(1)3 3
(1)4
4
y(x, c) = x b0 (c 1) x +
x +
x +
x + , (10)
c
(c + 1) c
(c + 2) (c + 1) c
c

y sustituyendo finalmente en (10) el valor c1 = 1, para b0 = 0 y arbitrario, obtenemos la

solucion buscada:

y1 (x) =
=
=
=

[
]
(1)2 2 (1)3 3
(1)4 4
y(x, c) |c=1 = b0 x x +
x +
x +
x +
1
21
321
[
]
(1)1
(1)2 2 (1)3 3 (1)4 4
b0 x
x+
x +
x +
x +
0!
1!
2!
3!
[
]
(1)0 (1)1
(1)2 2 (1)3 3
2
b0 (x )
+
x+
x +
x +
0!
1!
2!
3!
(1)n
b0 (x2 )
xn .
n!
n0

Teniendo en cuenta el desarrollo de Taylor e

(1)n
n=0

n!

y n , se tiene que y1 (x) = x2 b0 ex .

Para encontrar la otra solucion linealmente independiente de la ecuaci

on diferencial, derivamos respecto de c en la expresion (10), obteniendo
y(x, c)
=
c
[

]
(1)2 2
(1)3 3
(1)4
4
= b0
(c 1) x +
x +
x +
x +
c
(c + 1) c
(c+2) (c+1)c
[
( )
(
)
(
)
]
c
2 1
2
3 (2c+1)
3
4 ((c+1)c+(2c+1)(c+2)))
4
+x b0 +(1)
b0 x + (1)
b0 x +(1)
b0 x +
c2
c2 (c+1)2
c2 (c+1)2 (c+2)2
xc log (x)

17

y(x, c)
cuando c1 = 1, obtenemos
c
[
]
(1)2 2 (1)3 3
(1)4 4
y(x, c)
y2 (x) =
|c=c1 =1 = b0 x log (x) x +
x +
x +
x +
c
1
21
321
[
( )
(
)
(
)
]
3
11
2 1
2
3
3
4
4
+ xb0 1+(1)
x + (1)
x +(1)
x + ,
12
22 12
32 22 12

y evaluando

formando y1 (x) e y2 (x) un conjunto fundamental de soluciones de la ecuaci

on diferencial.

6.

La ecuaci
on de Euler

Las ecuaciones de la forma

a0 xn y (n) + a1 xn1 y (n1) + + an1 xy + an y = 0 ,

(11)

o de la forma
a0 (x + )n y (n) + a1 (x + )n1 y (n1) + + an1 (x + ) y + an y = 0 ,

(12)

donde todos los ai son constantes, se llaman ecuaciones de Euler homogeneas. En el caso
en que las ecuaciones (11) o (12) tengan el segundo miembro distinto de cero, las ecuaciones
de Euler se dicen que son no homogeneas.
La ecuacion de Euler (11) se reduce a una ecuacion lineal homogenea con coeficientes constantes mediante el cambio x = et si x > 0 y x = et si x < 0. En el punto x = 0 no se puede
aplicar el teorema de existencia o de existencia y unicidad. Para la ecuacion (12) el cambio
es x + = et si x + > 0 y x + = et cuando x + < 0.
Ejemplo 6.1 Resolver la ecuacion diferencial
x3 y (3) (x) 2xy (x) = 0 ,
en el dominio ]0, +[.
Soluci
on. En este caso es una ecuaci
on de Euler del tipo (11) de tercer orden homogenea,
y dado que x > 0, el cambio a realizar es
dt
1
= = et ,
dx
x
...
de donde, aplicando la regla de la cadena y denotando por y,
y e y las derivadas respecto la
variable t, se tiene:
x = et t = log (x),

dy
dy dt
=
dx
dt dx
dy
= et
dt
t
= e y,

18

( )
d2 y
d dy

=
dx2
dx dx
( )
d dy dt
=
dt dx dx
(
)
d
t dy
e
et
=
dt
dt
(
)
2
t dy
t d y
=
e
+e
et
dt
dt2
( 2
)
d y dy
2t
= e

dt2
dt
2t
= e (
y y)
,
(
)
d3 y
d d2 y

=
dx3
dx dx2
(
)
d d2 y dt
=
dt dx2 dx
)
d ( 2t
=
e (
y y)
et
(dt 2t
)
...
= 2e (
y y)
+ e2t ( y y) et
...
= e3t ( y 3
y + 2y)
.
Sustituyendo estas derivadas en la ecuaci
on diferencial queda:
x3 y (3) (x) 2xy (x) = 0

[ 3t ...
]
[ t ]
3t
t
e e ( y 3
y + 2y)
2e e y = 0

...
y 3
y = 0
...
Y ahora la ecuacion y 3
y = 0 es una ecuaci
on lineal de coeficientes constantes. La ecuacion
3
2
caracterstica asociada es 3 = 0 2 ( 3) = 0, por tanto tiene una u
nica raiz
simple, = 3, y una raz doble, = 0. Por tanto, por la teora vista en el tema 3, un sistema
fundamental de soluciones viene dado por
{

}
e3t , 1, t .

...
Por tanto, la solucion de la ecuacion y 3
y = 0 es:
y(t) = C1 e3t + C2 + C3 t,
19

pero como t = log (x), se tiene, deshaciendo el cambio de variable:

y(x) = C1 x3 + C2 + C3 log (x) .
Para la resolucion de la ecuacion de Euler no homogenea se realizan los cambios sugeridos para
la homogenea. Una vez reducida a una ecuacion diferencial lineal de coeficientes constantes,
se atendera a la forma del segundo miembro resultante, para aplicarle los procedimientos
establecidos para dichas ecuaciones en el tema 3.
Ejemplo 6.2 Resolver la ecuacion diferencial
x2 y xy + y = x (log(x))3 , x > 0.
Soluci
on. En este caso es una ecuaci
on de Euler del tipo (11), luego el cambio a realizar es
x = et t = log (x),

dt
1
= = et ,
dx
x

dy
d2 y
de donde
= et y,

= e2t (
y y),
siendo y e y las derivadas respecto de la variable t.
dx
dx2
Sustituyendo en la ecuacion diferencial queda:
x2 y xy + y = x (log(x))3

[
]
[
]
(
)3
e2t e2t (
y y)
et et y + y = et log(et )

y 2y + y = t3 et
Y ahora la ecuacion y 2y + y = t3 et es una ecuaci
on lineal de coeficientes constantes. La
ecuaci
on homogenea asociada es y 2y +y = 0 que tiene ecuaci
on caracterstica 2 2+1 =
2
0 ( 1) = 0, por tanto la u
nica raiz es = 1 (doble). Por lo estudiado en el tema 3, un
sistema fundamental de soluciones viene dado por
{

}
et , tet .

Para determinar una solucion particular de la ecuaci

on completa y2y+y

= t3 et , observamos
que el termino independiente b(t) = t3 et es del tipo 2 de la tabla dada en el tema 3, con
P3 (t) = t3 , = 1, donde es raz de la ecuaci
on caracterstica de orden 2. Por tanto
ensayamos una solucion particular de la forma
yp (t) = t2 P3 (t)et ,
donde P3 (t) = a + bt + ct2 + dt3 . En este caso tenemos
(
)
yp (t) = at2 + bt3 + ct4 + dt5 et
20

y sustituyendo en la ecuacion diferencial y 2y + y = t3 et se tiene que debe cumplirse

(
)
et 2a + 6bt + 12ct2 t3 + 20dt3 = 0
de donde obtenemos, igualando coeficientes, que a = b = c = 0, 20d 1 = 0, y la solucion
particular buscada es
1 5 t
t e.
20
La solucion completa de la ecuacion y 2y + y = t3 et es, por tanto:
yp (t) =

1 5 t
te
20
pero como t = log (x), se tiene, deshaciendo el cambio de variable:
y(t) = C1 et + C2 tet +

y(x) = C1 x + C2 x log (x) +

1
(log (x))5 x .
20

Nota 6.1 Dado que el cambio para resolver la ecuaci

on de Euler homogenea es x = et y
las soluciones de la ecuacion lineal resultante son de la forma ert , otra forma equivalente de
resolver dicha ecuacion es ensayar soluciones de la forma y(x) = xr ya que ert = (et )r = xr .
Y en el caso de races m
ultiples cualquier solucion de la forma ts ert se escribe directamente
s r
de la forma (log (x)) x . Por ejemplo, para resolver
x2 y xy + y = 0
si y = xr = 0, sustituyendo obtenemos
xr (r(r 1) r + 1) = 0
de donde r(r 1) r + 1 = 0 = r = 1 (raz doble). Por tanto, un sistema fundamental de
soluciones de x2 y xy + y = 0 es
{

6.1.

}
x1 , x1 (log(x))1 = {x, x log (x)} .

Resoluci
on de la ecuaci
on de Euler por el m
etodo de series.

Observemos que el metodo de Frobenius puede aplicarse a resolver la ecuacion homogenea

de tipo Euler (11) de segundo orden:
a0 x2 y + a1 xy + a2 y = 0 ,

(13)

pues x0 = 0 es punto singular regular de dicha ecuacion, que puede escribirse de la forma
( )
( )

y +

a1
a0

y +

21

a2
a0

x2

y=0,

y tambien puede aplicarse para resolver la ecuacion homogenea de tipo Euler (12) de segundo
orden:
a0 (x + )2 y + a1 (x + ) y + a2 y = 0 ,

(14)

pues x0 = / es punto singular regular de dicha ecuacion, que puede escribirse de la forma
( )
(
)
a1
a0

y +(

x+

)y + (

a2
2 a0

x+

) y
2

=0.

Ejemplo 6.3 Resolver mediante series de potencias la ecuaci

on de Euler
x2 y 2xy + 2y = 0 .
Observemos que podemos escribir la ecuaci
on de la forma
2
2
y + 2y = 0 ,
x
x
donde p(x) = 2, q(x) = 2 son constantes (analticas) en x0 = 0. Por tanto x0 = 0 es un
punto singular regular de la ecuacion diferencial.
y +

Buscamos por tanto soluciones de la forma

y(x, c) = x

an x

n=0

an xn+c , a0 = 0 ,

n=0

y derivando formalmente, se obtiene

y (x, c) =

(n + c)an x

n+c1

, y (x, c) =

n=0

Sustituyendo en la ecuacion diferencial y

(n + c)(n + c 1)an xn+c2 .

n=0

(n + c)(n + c 1)an xn+c2

n=0

2
y
x

= ((c 1)c 2c + 2) a0 xc2 +

=0

2(n + c)an xn+c2 +

n=0

2
y
x2

2an xn+c2 = 0

n=0

[(n + c)(n + c 1) 2(n + c) + 2] an xn+c2 = 0.

n=1

La ecuaci
on indicial (pues a0 = 0) es
(c 1)c 2c + 2 = 0 = c1 = 1, c2 = 2 .
Para el resto de ndices obtenemos
[(n + c)(n + c 1) 2(n + c) + 2] an = 0 , n 1 = [(n + c)(n + c 3) + 2] an = 0 , n 1.
22

De este modo, todos los an son nulos salvo que (n + c)(n + c 3) + 2 = 0, pero
(n + c)(n + c 3) + 2 = 0 = (n + c)2 3(n + c) + 2 = 0.
Si en la u
ltima ecuacion (n + c)2 3(n + c) + 2 = 0 reemplazamos c por la raiz de parte real
m
as peque
na (c1 = 1), obtenemos la ecuaci
on
(n + 1)2 3(n + 1) + 2 = 0,
que se anula cuando n = 0 y cuando n = 1(= c2 c1 ), por lo que todos los coeficientes an
son cero salvo a0 y a1 , obteniendo
y(x, c) = xc (a0 + a1 x) .
CASO c = c1 = 1
En este caso tomando c = c1 = 1, obtenemos una solucion de la ecuaci
on diferencial dada
por:
y1 (x) = x1 (a0 + a1 x) = a1 x2 + a0 x.
Observemos que como la solucion obtenida depende de dos par
ametros arbitrarios a1 y a0 ,
hemos obtenido la solucion general de la ecuaci
on de Euler homogenea dada y no hace falta
y(x, c)
considerar el otro caso que se obtendra tomando
|c=c1 etc pues ya hemos obtenido
c
el sistema fundamental de soluciones.
Ejemplo 6.4 Resolver mediante series de potencias la ecuaci
on de Euler
x2 y xy + y = 0 .
Observemos que podemos escribir la ecuaci
on de la forma
1
1
y + 2y = 0 ,
x
x
donde p(x) = q(x) = 1 son constantes (analticas) en x0 = 0. Por tanto x0 = 0 es un punto
singular regular de la ecuacion diferencial.
y +

Buscamos por tanto soluciones de la forma

y(x, c) = x

an x

n=0

an xn+c , a0 = 0 ,

n=0

y derivando formalmente, se obtiene

y (x, c) =

(n + c)an xn+c1 , y (x, c) =

n=0

n=0

23

(n + c)(n + c 1)an xn+c2 .

Sustituyendo en la ecuacion diferencial y x1 y +

(n + c)(n + c 1)an x

n+c2

n=0

1
y
x2

=0

(n + c)an x

n+c2

n=0

= ((c 1)c c + 1) a0 xc2 +

an xn+c2 = 0

n=0

[(n + c)(n + c 1) (n + c) + 1] an xn+c2 = 0.

n=1

La ecuaci
on indicial (pues a0 = 0) es
(c 1)c c + 1 = 0 c1 = c2 = 1 .
Para el resto de ndices obtenemos
[(n + c)(n + c 2) + 1] an = 0 , n 1.
De este modo, todos los an son nulos salvo que (n + c)(n + c 2) + 1 = 0, pero
(n + c)(n + c 2) + 1 = 0 (n + c)2 2(n + c) + 1 = 0.
Si en la u
ltima ecuacion (n + c)2 2(n + c) + 1 = 0 reemplazamos c por la raiz de parte real
m
as peque
na (en este caso solo hay una c = 1), obtenemos la ecuaci
on
(n + 1)2 2(n + 1) + 2 = 0,
que se anula cuando n = 0 y cuando n = 0(= c2 c1 ), por lo que todos los coeficientes an
son cero salvo a0 , obteniendo
y(x, c) = xc a0 ,
y entonces una solucion de la ecuaci
on diferencial es:
y1 (x) = x1 (a0 ) = a0 x.
Para obtener la otra solucion linealmente independiente, derivamos parcialmente respecto de
c, obteniendo
y(x, c)
= a0 xc log (x),
c
y finalmente
y(x, c)
|c=c1 = a0 x log (x),
c
formando y1 (x) e y2 (x) un conjunto fundamental de soluciones de la ecuaci
on diferencial.
y2 (x) =

24

7.

Funciones especiales

Una funcion especial es una funcion matematica particular que, por su importancia en alg
un
area cientfica o tecnologica, posee nombres y designaciones mas o menos establecidas. Por
su relacion con las soluciones de ecuaciones diferenciales definidas mediante series, vamos a
estudiar brevemente las funciones de Bessel y los polinomios de Legendre.

7.1.

Funciones de Bessel

Una de las ecuaciones diferenciales de mayor interes en las aplicaciones es la denominada

ecuaci
on de Bessel, dada por
(
)
1
2
2

2
2

x y (x) + xy (x) + (x )y(x) = 0 = y + y + 1 2 y = 0,

(15)
x
x
donde 0 es un parametro real. Observemos que x0 = 0 es un punto singular regular de
la ecuacion (15) y buscamos por tanto soluciones de la forma
y(x, c) = x

an x

n=0

an xn+c , a0 = 0 .

n=0

Derivando formalmente y sustituyendo en la ecuacion diferencial, se obtiene

y (x, c) =

(n + c)an x

n+c1

, y (x, c) =

n=0

(n + c)(n + c 1)an xn+c2 .

n=0

Sustituyendo en la ecuacion diferencial (15) se tiene

(n + c)(n + c 1)an x

n+c2

n=0

(
)

1
2
n+c1
+
(n + c)an x
+ 1 2
an xn+c = 0
x n=0
x n=0

[
]
2
2
n+c2
=
(n + c) an x
+
an xn+c = 0
n=0

n=0

)
(
)
([
]
)
c2 2 a0 xc2 + (c + 1)2 2 a1 xc1 +
(n + c)2 2 an + an2 xn+c2 = 0.
n=2

La ecuacion indicial (pues a0 = 0) es

c2 2 = 0 = c = .
Para el resto de potencias de x obtenemos
(
[

)
(c + 1)2 2 a1 = 0 = a1 = 0.

]
(n + c)2 2 an + an2 = 0 , n 2 ,
25

= an =

1
an2 , n 2 ,
(n + c)2 2

(16)

de donde se tiene que todos los an de ndices impar son todos nulos puesto que a1 = 0.
Tomemos c = . Se tiene en este caso
an =

1
an2 , n 2 ,
(n + )2 2

es decir
n = 2 =

a2 =

1
a0 =
(2 + )2 2

a2 =

(1)1
a0
22 ( + 1)

n = 4 =

a4 =

1
a2 =
(4 + )2 2

a4 =

(1)2
a0
24 ( + 2)( + 1) 1 2

n = 6 =

a6 =

1
a4 =
(6 + )2 2

a6 =

(1)3
a0
26 ( + 3)( + 2)( + 1) 1 2 3

..
.
2n = a2n =

(1)n
a0
22n n!( + 1)( + 2) ( + n)

y por tanto, la solucion para c = es:

y1 (x) = a0

n=0

(1)n
x2n+ .
22n n!( + 1)( + 2) ( + n)

Dando a a0 el valor
a0 =

1
2 (

+ 1)

donde (x) es la funcion gamma de Euler definida por (x) =

solucion particular que puede escribirse como
( )2n+

(1)n x2
J (x) =
,
n!(n + + 1)
n=0

et tx1 dt, resulta una

(17)

Esta solucion, que se denota por J (x), se denomina funci

on de Bessel de primera especie de orden .
Si es tal que c1 c2 = 2 es distinto de cero o de un entero, entonces c2 = nos
proporciona la otra solucion, denotada por J (x) linealmente independiente con la J (x):

26

( )2n

(1)n x2
J (x) =
,
n!(n + 1)
n=0

(18)

Puede comprobarse que ambas series de potencias son convergentes para cualquier valor de x.
Volviendo a la solucion de la ecuacion de Bessel (15), las soluciones particulares que acabamos
de encontrar no siempre seran linealmente independientes. Pueden suceder los siguientes
casos:
1. Si 2 es distinto de cero o de un n
umero par estamos en el caso a) de la tabla resumen y
por tanto ambas funciones son linealmente independientes, por tanto la solucion general
de (15) sera
y(x) = C1 J (x) + C2 J (x).
2. Si es semientero3 la relacion de recurrencia (16) permite el calculo de los coeficientes
(pues 2 es un n
umero impar negativo, en tanto que n toma u
nicamente valores pares
positivos). Puede comprobarse que tambien en este caso J (x) y J (x) son linealmente
independientes.4
3. Si es un entero, pongamos = n Z, puede comprobarse que existe una relacion de
dependencia entre ambas funciones de Bessel, dada por
Jn (x) = (1)n Jn (x).
Existen diferentes formas de buscar otra solucion de la ecuacion linealmente independiente aparte de la que se indica en la tabla. Lo habitual en este caso es hacerlo mediante
la llamada funci
on de Newman, definida por:
N (x) =

J (x) cos () J (x)

sen ()

que por ser combinacion lineal de soluciones de la ecuacion de Bessel (15) es tambien
solucion de (15) para no entero. Como J (x) Jn (x) y J (x) Jn (x) cuando
n con x fijo, veamos que N (x) tiene lmite cuando n para x fijo, obteniendose
una funcion que denotaremos Yn (x).
En efecto, aplicando la regla de LHopital, se sigue que
con k Z.
Es decir, de la forma 2k+1
2
En este caso estamos es el caso c) de la tabla. Si aplicamos lo que se indica en la tabla, obtendremos
soluciones independientes de la ecuacion de Bessel que no tienen por que ser funciones de Bessel como las
definidas en (17).
3

27

Yn (x) = lm

J (x) cos () J (x)

sen ()

(x)
J (x) sen () + cos () J

= lm
n
cos ()
(
)
1 J (x)
n J (x)
=
+ (1)
.

=n

J (x)

Efectuando los calculos indicados en el segundo miembro de esta igualdad, se tiene que
n1
)
2 ( (x)
1 (n r 1)! ( x )2rn
log
+ Jn (x)

2
r=0
r!
2
[
]
( )2r+n n+r

r
1

1 (1)n x2
1

+
,
r=0 r!(n + r)!
m
m
m=1
m=1

Yn (x) =

donde es la constante de Euler, definida como

(
= lm

)
p

1
log (p) 0,5772157...
m
m=1

A las soluciones Yn (x) de la ecuacion de Bessel linealmente independientes de Jn (x) (n

entero) se las denomina funciones de Bessel de segunda especie. As, la solucion
general de la ecuacion de Bessel (15) cuando es un entero n es
y(x) = C1 Jn (x) + C2 Yn (x).
Entre otras propiedades destacadas de las funciones de Bessel, podemos rese
nar las siguientes:

J (x) J (x) = J+1 (x).

x

J (x) + J (x) = J1 (x).

x
2
J (x) = J+1 (x) + J1 (x).
x
2J (x) = J1 (x) J+1 (x).
1
x
2

1
e (t t ) =

Jn (x)tn (Funcion generatriz de las funciones de Bessel).

n=

28

Nota 7.1 Ecuacion de Bessel aparece cuando se buscan soluciones a la ecuaci

on de Laplace
por el metodo de separacion de variables en coordenadas cilndricas o esfericas, y tambien
aparece con frecuencia en la resoluci
on del problema de Dirichlet en dichas coordenadas
cilndricas.
Por ello, las funciones de Bessel son especialmente importantes en muchos problemas de
propagaci
on de ondas, potenciales estaticos y cualquier otro problema descrito por las ecuaciones de Laplace en simetras cilndricas o esfericas. Cuando se resuelven sistemas en coordenadas cilndricas, se obtienen funciones de Bessel de orden entero y en problemas resueltos
en coordenadas esfericas, se obtienen funciones de Bessel de orden semientero, por ejemplo:
Ondas electromagneticas en guas de onda cilndricas.
Modos transversales electromagneticos en guas opticas.
Conduccion del calor en objetos cilndricos.
Modos de vibracion de una membrana delgada circular (o con forma de anillo).
Difusion en una red.
Tambien se usan funciones de Bessel en otro tipo de problemas como en procesado de se
nales.

7.2.

Polinomios de Legendre.

Sea l 0 un parametro real, y consideremos la ecuacion diferencial

(1 x2 )y (x) 2xy (x) + l(l + 1)y(x) = 0,

(19)

denominada ecuaci
on diferencial de Legendre. Observemos que (19) puede escribirse
de la forma
y (x)

2x
l(l + 1)
y(x) +
y(x) = 0,
2
(1 x )
(1 x2 )

l(l+1)
2x
ticas en el punto x0 = 0,
de donde p(x) = (1x
2 ) y q(x) = (1x2 ) son ambas funciones anal
que sera por tanto un punto ordinario de la ecuacion (19). Ademas, ambas funciones p(x)
y q(x) tienen radios de convergencia R1 = R2 = 1 (pues son infinitas en |x| = 1). Luego
la ecuacion (19) admite una solucion en serie centrada en x0 = 0 con radio de convergencia
R = 1.

Sea y(x) =

an xn la solucion en serie buscada. Derivando formalmente y sustituyendo en

n=0

la ecuacion diferencial (19), se obtiene

(1 x2 )y (x) 2xy (x) + l(l + 1)y(x) = 0 =
29

(n+1)(n+2)an+2 x
n

n=0

(n+1)(n+2)an+2 x

n+2

n=0

2(n+1)an+1 x

n=0

(21a2 +l(l+1)a0 )+(32a3 +l(l+1)a1 21a1 )x+

n+1

l(l+1)an xn = 0

n=0

[(n+2)(n+1)an+2 +(l(l+1)n(n+1)) an ] xn = 0.

n=2

Para que se cumpla la igualdad, deben cumplirse las siguientes tres relaciones:
2 1a2 + l(l + 1)a0 = 0,
3 2a3 + l(l + 1)a1 2 1a1 = 0,
(n + 2)(n + 1)an+2 + (l(l+1)n(n+1)) an = 0 , n 2 .
De la primera ecuacion, obtenemos
a2 =

l(l + 1)
a0 ,
21

con lo que dejamos a0 como parametro libre, y de la segunda ecuacion obtenemos

(l(l + 1) 2)
a1 ,
32
con lo que dejamos a1 tambien como parametro libre. De la tercera ecuacion obtenemos
a3 =

an+2 =

n(n + 1) l(l + 1)
an , n 2.
(n + 2)(n + 1)

(20)

Dadas las constantes arbitrarias a0 y a1 , la solucion general sera la combinacion lineal de

dos soluciones, una de las cuales solo contiene potencias pares de x y otra que solo contiene
potencias impares de x, la solucion en serie buscada es
)
l(l + 1) 2 l(l + 1)(l(l + 1) 6) 4
y(x) = a0 1
x +
x +
2
4!
(
)
(l(l + 1) 2) 3 (l(l + 1) 2)(l(l + 1) 12) 5
+ a1 1
x +
x + , |x| < 1.
3!
5!
(

Observemos que si l = m, com m un entero positivo, todos los coeficientes a partir de un termino se hacen cero en una de las series, obteniendose un polinomio, denominado polinomio
de Legendre y denotado por Pm (x). Como m es un entero, es inmediato por la estructura
de (20), que la serie de potencias pares (impares) si m es par (impar) terminara en am . Entonces en lugar de tomar a0 o a1 como constantes arbitrarias podemos tomar el termino am ,
obteniendo de (20):
am2 =
Tomando en (21) el valor am =

m(m 1)
am .
(m 2)(m 1) m(m + 1)

(2m)!
,
2m (m!)2

se obtienen sucesivamente
30

(21)

am2 =

m(2m 2)!
m(m 1)(2m 4)!
, am4 =
, ...
m
1!m!2 (m 2)!
2!m!2m (m 4)!

obteniendose la siguiente expresion para el polinomio de Legendre de grado m:

(2m)!

Pm (x) =

2m (m!)2

xm

m(2m 2)!
m(m 1)(2m 4)! m4
xm2 +
x
+
m
1!m!2 (m 2)!
2!m!2m (m 4)!

[ m2 ]
1 (1)r (2m 2r)! m2r
= m
x
,
2 r=0 r!(m r)!(m 2r)!
siendo

[m]
2

(22)

la parte entera de m/2.

En la siguiente tabla se recogen los primeros polinomios de Legendre:

Grado Polinomio de Legendre Pn (x)

n=0
1
n=1
x
1
(3x2 1)
n=2
2
1
(5x3 3x)
n=3
2
1
n=4
(35x4 30x2 + 3)
8
1
(63x5 70x3 + 15x)
n=5
8
Entre otras propiedades destacadas de los polinomios de Legendre, podemos rese
nar las siguientes:
Pm (x) = (1)m Pm (x).
Pm (x) =

)m ]
1 dm [( 2
x

1
(Formula de Rodrigues).
2m m! dxm

|Pm (x)| 1, x (1, 1).

1
2
nm (A esta propiedad se la denomina de OrtogonaliPm (x)Pn (x)dx =
2m + 1
1
dadde los polinomios de Legendre).
(m + 1)Pm+1 (x) = (2m + 1)xPm (x) + mPm1 (x) (Relacion de recurrencia de tres terminos).
(

) 1
2 2

1 2xt + t

Pm (x)tm , x [1, 1], |t| < 1 (Funcion generatriz).

m=0

31

Nota 7.2 La ecuacion diferencial de Legendre (19) aparece frecuentemente en Fsica y en

otras areas de la tecnica. En particular, cuando se resuelve la ecuaci
on de Laplace en coordenadas esfericas.
En general, y debido a la propiedad de ortogonalidad mencionada, los polinomios de Legendre
se considera un miembro de la familia de los polinomios ortogonales, que incluye entre
otros miembros los polinomios de Hermite, Laguerre, Chebyshev y Jacobi.

32