FUNCIONES ESPECIALES

No existe una definicin precisa para el trmino funciones especiales,

pero podramos decir que muchas de ella aparecen con frecuencia en
diversos problemas y que, debido a ello, poseen un nombre propio. Estas
funciones especiales de la fsica Matemtica y dentro de ellas los
polinomios ortogonales se originan como soluciones a ecuaciones
diferenciales o integrales de funciones elementales. Por tal razn, las
tablas de integrales por lo general incluyen la descripcin de algunas
funciones especiales, y las tablas de funciones especiales incluyen las
integrales ms importantes; por lo menos, la representacin integral de
las funciones especiales.
El conocimiento de las propiedades bsicas de las funciones especiales
de la fsica matemtica es relevante para el desarrollo cientfico y
tecnolgico actual. Estas funciones han sido y son un rea fascinante
dentro de las matemticas tanto puras como aplicadas. La primera
familia de polinomios ortogonales se remonta a los trabajos de Legendre
sobre gravitacin a finales del siglo XVIII y en 1769 Euler, ya haba
considerado la hoy conocida funcin hipergeomtrica de Gauss. Sus
aplicaciones se dan en varias ramas de la matemtica desde las
ecuaciones diferenciales en derivadas parciales, anlisis clsico, anlisis
numrico, teora de aproximacin, teora de probabilidad, estadstica,
matemtica aplicada, prediccin lineal en series temporales, teora de
filtros y procesado de seales etc. y aparecen de forma natural en
numerosas ramas de la fsica y la tecnologa, como en conduccin del
calor, sistemas de comunicacin, optoelectrnica, propagacin de ondas
no-lineal, teora electromagntica, mecnica cuntica, mecnica de
fluidos etc.
Lenguajes computacionales de clculo analtico, por lo general
reconocen a la mayora de las funciones especiales. Sin embargo, no
todos los sistemas de clculo poseen algoritmos eficientes de
evaluacin, especialmente en el plano complejo.
Nomenclatura utilizada en las funciones especiales
En la mayora de los casos, se utiliza la siguiente notacin estndar para
indicar una funcin especial: el nombre de la funcin (escrita en letra
Roman), subndices, si es que tiene, se abre parntesis, y luego sus
variables independientes, separados por comas. Esta notacin permite
traducir las expresiones a lenguajes algortmicos sin ambigedades.
Algunas funciones con nomenclaturas reconocidas internacionalmente
son sin , cos , exp , erf , etc.

A veces, una funcin especial puede tener varios nombres. El logaritmo

log , log o ln , segn cual sea el contexto. La
natural puede ser llamado
tan , tan o tg

tangente puede ser llamada

rusa); arctangente puede ser llamado

Bessel puede ser llamada
J n (x) ,

atan, arctg o tan 1 . La funcin de

J n (x) ; y por lo general, las expresiones:

Bessel J [ n , x ]

besselj (n , x)

(especialmente en la literatura

hacen referencia a la misma

funcin.
A menudo los subndices se utilizan para indicar argumentos, que se
supone es un nmero entero. En algunos casos, el punto y coma (;) o
an la barra invertida (\) son usados como separadores. Esto hace ms
compleja la traduccin a lenguajes algortmicos y puede prestarse a
confusiones.
FUNCIONES HIPERGEOMETRICAS
Definiciones preliminares:
1. La Ecuacin hipergeomtrica:
Son ecuaciones diferenciales de la forma:
x ( 1x ) y '' + [ ( + +1) x ] y ' y =0
xR

Donde

(1)

, , R .

La ecuacin (1) se puede expresar de la forma:

y'' +

Aqu,

x=0

( + +1) x '

y
y=0
x (1x )
x (1x)

x=1

(2)

son puntos singulares ya que

P ( x )=

( + +1) x
x (1x)

y
Q ( x )=

x (1x )

Adems, siendo:

no son funciones analticas en dichos puntos.

p0=lim xP ( x ) =
x 0

q 0=lim x Q ( x )=0
x 0

, entonces,

x=0

es un punto singular regular, lo que nos lleva a buscar

soluciones de la forma:

y ( x )= ak x k+r
k=0

Donde

es la raz de la ecuacin indicial:

p0

Reemplazando los valores de

r 2r + r=0

Si

q0

( r1 ) r + p0 r +q 0=0

se tiene:

r 1=0
r 2=1

r=0 :

Se obtiene una solucin que se conoce como funcin

hipergeomtrica y se denota: F1 ( , ; ; x ) o simplemente
F( , ; ; x)

y est dada por:

( )k () k k
x
k=0 k ! ()k

F1 ( , ; ; x )=

Donde el smbolo de Pochhammer se define como:

si k =0
+ , Z
0

( +1 ) ( +k 1)
si k Z
()k =

Determinando el intervalo de convergencia:

()k +1( )k+1 k+1
x
2
ak +1 ( k +1)! ( )k +1
k + ( + ) k +
=
=|x| 2
ak
( )k ( )k k
k + ( +1 ) k +
x
k ! ( )k

| |

||

lim

| |

ak +1
=|x|<1
ak

Luego la funcin hipergeomtrica converge

x 1,1 .

Si

r=1 :

Asumiendo que 2,3,4, , se obtiene una solucin de la forma:

(1 + )k (1 + )k k +1
x
=
k ! (2 )k
k=0

y ( x )=

x1 F1 (1 + , 1 + ; 2 ; x )
Luego:
y ( x )=x

F 1 (1 + ,1 + ; 2 ; x)

para

La cual es una funcin linealmente independiente con

As, si

|x|<1
F1 ( , ; ; x ) .

(RZ ) , entonces, la solucin general de ecuacin

hipergeomtrica (1) alrededor de

y (t )=C 1 F 1 ( , ; ; x)+C 2 x

x=0

est dado por:

F 1 (1 + ,1 + ; 2 ; x) ,

|x|<1

2. La Funcin Hipergeomtrica:
0
|
x
|
<1
Si
y Z , la funcin hipergeomtrica est dada por:

( )k () k k
x
k=0 k ! ()k

F1 ( , ; ; x )=

Pero, adems esta funcin admite una representacin integral.

En efecto:
Supongamos que > > 0 ; entonces:
( +k )
( )k
( )
( +k ) ( )
=
=
( ) k ( +k ) ( +k) ( )
()
Tambin:
( )
( + k , )=
( ) ( )
1
( )

( ) ( ) 0

t 1 +k ( 1t ) 1 dt=

As:

( ) ( + k ) () k
=
( ) ( + k ) ( )k

( 1t ) 1 dt=

()k k 1
()
F1 ( , ; ; x )=
x
( ) ( ) k=0 k !
0
t

1+k

( )

t 1 ( 1t ) 1

( ) ( ) 0

( )k k
x dt
k=0 k !

Entonces:
1

()
F1 ( , ; ; x )=
t 1 ( 1t ) 1

( ) ( ) 0

k=0

( )k k
x dt (3)
k!

Siendo adems:
= (1 ) (k +1) =(1)k ( + 1 ) ( + k1) =(1)k ( )k
k!
k!
k!
k

( )

Y:

( )k

k
k
k
(1xt ) = (1) ( xt) =
(xt ) ;|xt|<1
k
!
k
k=0
k=0

( )

Entonces de (3) y considerando

> > 0

|x|<1 , se concluye:

()
F1 ( , ; ; x )=
t 1 ( 1t ) 1 (1xt) dt
( ) ( ) 0
3. Propiedades elementales de la Funcin Hipergeomtrica:
Las propiedades que a continuacin se enuncian son consecuencia
inmediata de la definicin de funcin hipergeomtrica como una suma
de serie de potencias.
a) Propiedad de simetra:
F1 ( , ; ; x )= F 1 ( , ; ; x)
b) Para la derivada, se cumple:
d
.
[ F 1 ( , ; ; x )]= F1 ( +1, +1 ; +1; x )
dx
c) Si

+
n Z , generalizamos:
( ) . ( )n
dn
F 1( , ; ; x) ]= n
F 1 ( + n , +n ; +n ; x)
n[
( )n
dx

Por comodidad denotaremos:

F1 ( , ; ; x )=F
F 1 ( 1, ; ; x )=F ( 1)
F 1 ( , 1 ; ; x )=F ( 1)
F 1 ( , ; 1; x )=F( 1)

d)
( )F + ( 1x ) F ( + 1 )( ) F ( 1 )=0

e)

( 1 ) F+ F ( +1 )( 1 ) F ( 1 )=0
f)

( 1x ) F F ( 1 )x ( ) F ( +1 )=0
g)
( )F + ( 1x ) F ( +1 )( ) F ( 1 )=0
h)
( 1)F + F ( +1 ) ( 1 ) F ( 1 )=0

i)
( 1x ) F F ( 1 ) + x ( ) F ( +1 )=0
j)

( ) FF ( +1 )F ( +1 ) =0
Para

+
l ,m , n Z ,

F1 ( , ; ; x )

existen

F1 ( l , m; n; x )

relaciones

cualquier
las

par
mismas

similares

de

entre

funciones

que

pueden

directamente usando la representacin en serie de

de

la

funcin

la

forma:

ser

probadas

o usando

repetidamente las propiedades anteriores. Se enuncian a continuacin:

k)
. x
F1 ( , ; ; x ) F 1 ( , ; 1; x )=
F1 ( +1, +1 ; +1; x )
( 1)
l)
F1 ( , +1 ; ; x ) F 1 ( , ; ; x)=
m)

x
F1 ( +1, +1 ; +1; x )

 F1 ( , +1 ; +1; x ) F 1( , ; ; x)=

( ) x
F 1 ( +1, +1; +2 ; x)
( +1)

n)
F1 ( 1, +1; ; x) F1 ( , ; ; x )=

4. Clculo del

Sea

x 1 F 1 ( , ; ; x )
lim

para

> > 0

( 1) x
F 1 ( , +1 ; +1 ; x)

>0 :

En efecto:
y considerando que la integral

t 1 ( 1t ) 1(1xt) dt
0

es uniformemente convergente en

0 x 1

(probarlo!), entonces:
1
1

t ( 1t )
(1xt) dt=
1
( )

x1

( ) ( ) 0
x 1 F 1 ( , ; ; x )=lim

lim

( )
( ) ( )

t 1 ( 1t ) 1 dt=

( ) ( ) 0
( ) ( )
x 1 F 1 ( , ; ; x )=

( ) ( )
( ) ( )

lim

Observacin: La condicin

> > 0

resultados, entonces, supongamos

podra restringir nuestros

>0 , >1 ; >1

haciendo uso de la relacin:

( +1) F 1( , ; ; x)=( +1) F 1 ( , +1 ; + 2; x )+
+ [ ( ) x ] F 1 ( +1, +1 ; + 2; x )
Se obtiene:

x 1 F 1 ( , ; ; x )=

+ 1 ( +2 ) ( +1 )
+
+1 ( +2 ) ( +1 )
lim

( +2 ) ( )
( ) ( )
+
=
( +1) ( + 1 ) ( +1 ) ( ) ( )

x 1 F 1 ( , ; ; x )=

( ) ( )
( ) ( )

lim

>0 ; por induccin se llega

Repitiendo el proceso y considerando

a demostrar que.

x 1 F 1 ( , ; ; x )=

( ) ( )
( ) ( )

lim

5. La Funcin Hipergeomtrica Confluente:

Esta funcin juega un papel muy importante en la teora de
0

|
x
|
<
funciones especiales y est definida para
y para Z ;
como:

F1 ( ; ; x )=
k=0

( )k k
x
k !( )k

Se observa que esta es una serie convergente con radio de

convergencia infinito.
En efecto
( )k+1
x k+1
ak +1 (k +1)! ()k +1
+k
=
=
x
ak
( )k k
( + k ) ( k +1)
x
k ! ( )k

| |
lim

||

| | |

ak +1
+k
= lim
x =0
ak
k ( +k ) (k +1)

Del mismo modo, es fcil comprobar que:

x
F1 ( ; ; x )=lim F 1 ( , ; ; )

Propiedades:
a)
d

F 1 ( ; ; x) ] = F 1( +1 ; +1; x )
[
dx

b) Si

+
n Z , se cumple:

( )
dn
F 1( ; ; x ) ]= n F 1 ( +n ; +n ; x)
n[
( )n
dx
c)
( 1) F 1 + F 1( +1)( 1 ) F 1( 1)=0
d)
F 1 F 1 ( 1)x F 1 ( +1)=0
e)

( 1+ x ) F 1+ ( ) F 1( 1)( 1 ) F 1 ( 1)=0
f)
( + x ) F 1 . F1 ( +1)( ) F 1 ( +1)=0
g)
( ) F 1 ( 1)+ ( x + 2 ) F 1 F 1 ( +1)=0
h)
( 1 ) F 1 ( 1) ( 1+ x ) F 1+ ( ) x F 1 ( +1)=0
i)

x
F1 ( ; ; x )= F1 ( +1 ; ; x) F 1 ( +1 ; +1 ; x )

6. Representacin de algunas funciones en trminos de

funciones hipergeomtrica
0
a) Si Z ; la funcin hipergeomtrica F1 ( , ; ; x ) se
reduce a un polinomio. Ejemplo:
F1 ( , 0 ; ; x)=1
F1 ( ,2 ; ; x )=1

(+ 1) 2
2
x+
x

( +1)

b) Al desarrollar algunas funciones en serie de potencias, estas se

pueden expresar en trminos de F1 ( , ; ; x ) . Por ejemplo, si

|x|<1 , se tiene:

ln ( 1x )=
k=0

(1) (1)
x k+1
=x k k x k
k +1
k =0 (1) k k !

ln ( 1x )=x F 1 (1,1 ; 2; x ) .
c) Relacionadas a la funcin hipergeomtrica confluente, se tiene:

xk
F1 ( ; ; x)= =e x
k=0 k !

xk
e x 1
=
x
k=0 (k +1)!

F1 (1 ; 2; x )=

1 2
F1 (2 ; 1; x)=12 x+ x
2

7. Funciones hipergeomtricas generalizadas

+
x , r , s R
p<q+1 ,
p , q Z0 , con
Para

consideremos la siguiente serie de potencias:

p

k=0

( r )k x k
r=1
q

( s )k

( 1) k ( p )k xk
(1)
k ! k=0 ( 1 )k ( q )k k !
=

s=1

Luego, analizando la convergencia de la serie se tiene:

0
s Z ;

| |
p

( r )k+1
r=1
q

| |

ak +1
=
ak

( s )k+1

s=1

x k+1
(k +1)!

( r )k x k
r =1
q

( s )k

s=1

| |

a
lim k +1 =lim
k ak
k

( r + k)

r=1
q

( s + k)

x
k+1

s=1

k!

|{

( r + k )

r =1
q

( s+ k )

x
pq
= 0
k +1 |x| p=q+1

s=1

Nota:
a) la suma de la serie (1) se denomina funcin hipergeomtrica
generalizada y se denota:
1, , p

; x p F q ( r ; s ; x )
pFq
1 , , q

Luego, escribimos:
p

F q ( r ; s ; x )=
k =0

( r )k
r=1
q

( s )k

xk
k!

s=1

q+1

b) La funcin
funciones

Fq ( r ; s; x )

F q ( r ; s ; x )

est definida para

estn definidas en todo cuando

Ejemplo 1:

F 0 ( r ; s ; x )=
k=0

xk
=e x
k!

Ejemplo 2:

Ejemplo 3:

|x|<1

F 0 ( r ; s ; x )= ( 1)k
k=0

=(1x)
k!

las

p q .

( 1) k x k
= 1F 1 ( 1 ; 1 ; x )
k=0 ( 1 )k k !

F 1 ( r ; s ; x ) =

Ejemplo 4: La funcin

F q ( r ; s ; x )

es solucin de la ecuacin

diferencial:

[
q

s=1

Donde

( + s1)x (+ r ) y=0
r =1

denota al operador diferencial:

=x

d
dx , es decir:

d
dx

Nota: Veamos algunos casos particulares.

1. Si p=q=1

[ (
x

p=2

2. Si

d
d
d
x + 11 x (x + 1 ) y =0 x y ' ' + ( 1x ) y ' 1 y=0
dx dx
dx
y

q=1

''

'

x (1x) y + [ 1( 1+ 2 +1) x ] y 1 2 y=0

FUNCIONES DE BESSEL Y ASOCIADAS
Estas funciones surgen al resolver la EDO
Ecuacin de Bessel de orden

(1)

t 2 x ' ' ( t ) +t x ' (t ) + ( t 2 2 ) x ( t ) =0

donde

es un parmetro real mayor o igual que cero.

El mtodo que se utiliza para resolver este tipo de EDO se llama mtodo
de Frobenius y es una mezcla entre el mtodo de serie de potencias y el
mtodo para resolver la ecuacin de Euler, dado que la ecuacin de
Bessel puede considerarse un hbrido" entre ambas EDO. Consiste en
suponer t >0, soluciones del tipo:
x ( t )=t

an t = a n t n+
n=0

n=0

Donde

an

y los coeficientes

, son constantes por determinar. En

N , por lo que, en principio,

general,

solo tiene sentido en ,

t >0 , tal como estamos suponiendo.

Consideremos

1
2 ; se observa que la serie de potencias que resulta

es una EDO con coeficientes analticos, mientras que

tiene que ver

con la resolucin de la ecuacin de Euler.

Con la solucin supuesta, verifiquemos la EDO (1), previamente
calculamos:

x = ( n+ ) a n t n+ 1
' (t )

n=0

x ' ' ( t )= ( n+ )(n+ 1)an t n +2

n=0

Entonces, reemplazando en la ecuacin de Bessel y agrupando trminos

convenientemente, se tiene:

(n+ )(n+ 1)an t

n+

n=0

+ ( n+ ) an t

n +

n=0

+ an t

n+ +2

n=0

a n t

2 n+

n=0

Entonces:

n=0

n=2

[ ( n+ )22 ] an tn + an2 t n

t =0

Equivalentemente:

n=0

n =2

[ ( n+ )22 ] an tn + an2 t n=0

Con lo cual:

2
2
2
2
2
2
n
a0 ( ) + a1 [ ( +1) ] t + ([ ( n+ ) ] a n+ an2) t =0
n=0

Por semejanza de polinomios se tiene:

a 0 ( 2 2 )=0 (2)

a1 [ (+1)2 2 ]=0(3)
[ ( n+ )22 ] an +a n2=0(4)

De (2): Si

a0 0

1=
2=

=0

a)

= :

(3)

a1 [ 2 +1 ] =0

y siendo

( 4 ) n ( n+2 ) an +a n2=0

n 2

En la frmula de recurrencia (5), siendo

a1=0

a1=0
(5)

a3 =a5==a 2 k+1=0

por lo que slo se tendr coeficientes con subndices pares; como se

detalla:

a2=
a4=

a6=

a 0
2

2 ( + 1)
a0

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

a 0

26 .3! ( +1)( +2)( +3)

En general:
k

(1) a0
a2 k = 2 k
2 . k ! ( +1 ) ( +2 ) ( + 3 ) ( + k )
Si hacemos:
1
a0 =
2 ( +1)

a2 k =

(1)k a0 . 2
22 k+ . k ! ( +1 ) ( + 2 )( +3 ) ( +k )

2 a0
(1)k
a2 k = 2 k+ .
2
k ! ( + 1 )( +2 ) ( +3 ) ( +k )

1
(1)
( +1)
a2 k = 2 k+ .
2
k ! ( + 1 )( +2 ) ( +3 ) ( +k )
k

b)

(6)

(1)k
a2 k = 2 k+
2
k ! (k + + 1)

= : Siguiendo el procedimiento anterior y haciendo los

clculos correspondientes, se enuncia la siguiente definicin:

LA FUNCIN DE BESSEL DE PRIMERA ESPECIE Y DE ORDEN

Se define:

J ( t )=
k =0

Donde

(1)
t 2 k+
( )
k ! (k + +1) 2

y t> 0 .

LA FUNCIN DE BESSEL DE PRIMERA ESPECIE Y DE ORDEN

Se define:

2 k
(1)
t
J ( t )=
( )
k=0 k ! (k +1) 2

Donde

y t> 0 .

Nota: Utilizando criterios de convergencia, Fcilmente se puede

comprobar, que las series J ( t ) y J ( t ) son convergentes; ms an,
si

>0

la serie

J ( t )

diverge en

t=0

por las potencias negativas

que tiene.
Las soluciones J ( t ) y J ( t ) son linealmente independientes si
+
Z 0 y t> 0 . As, la solucin general de la ecuacin Bessel de orden
, est dada por:
x ( t )=C 1 J ( t ) +C 2 J ( t ) ,
Si

=0

Si

C 1 ,C 2 R

+
=n Z

J ( t )=J ( t )

t> 0 ; se tiene:

J n ( t )=

k=0

(1)
t 2 k+n
( ) (7)
k ! (k + n) 2

J n (t )=

k=0

As, si

(0) = (1) == (1n) =0 , entonces:

Del mismo modo, siendo

(1)k
(1)k
t 2 kn
t 2 kn
( ) =
( )
k ! (k n+1) 2
k =n k ! (k n) 2

m=k n , entonces:

J n (t )=

m=0

(1)m+n t 2m +n
( ) =(1)n J n ( t )
m! ( m+n ) ! 2

INTRODUCCIN A LAS ECUACIONES EN DERIVADAS PARCIALES

+
Si consideramos =n Z 0 y siendo J n ( t ) y J n (t ) linealmente
dependientes, entonces es necesario tener una segunda solucin,
linealmente independiente con J n ( t ) , para completar la solucin de la
ecuacin de Bessel de orden

n . Por analoga con la resolucin de la

ecuacin de Cauchy Euler, para el caso de una raz doble, se supone,

para t> 0 , una solucin de la forma:

x ( t )=b1 ( logt ) . J n ( t )+t

Donde

bk

b k t k (8)
k=0

son los coeficientes que se determinan cuando se hace

comprueba que

x (t )

satisface la ecuacin de Bessel de orden

LA FUNCIN DE BESSEL DE SEGUNDA CLASE Y DE ORDEN

Se define, para t> 0 :
Y n ( t )=lim

Observacin:

n .

n:

cos ( ) J ( t ) J ( t )
(9)
sen( )

Si en la relacin (9) se reemplaza =n , se llega a una indeterminacin

0
de la forma 0 , luego por la regla de LHpital se obtiene:

 sen ( ) J ( t ) +cos ( )

Y n ( t )=lim

J (t ) J ( t )

sen ( )

Luego:
Y n (t)

Si

+
=n Z 0

Y n (t)

J (t)
1 J (t )
(
+(1)n+1 ) =n

t> 0 , se puede demostrar que las soluciones

J n (t)

son linealmente independientes, luego la solucin general de la

ecuacin de Bessel de orden

n , est dada por:

x ( t )=C 1 J ( t ) +C 2 Y n ( t ) ,

C 1 ,C 2 R

Nota:
Son mucha las propiedades de las funciones de Bessel. Nuestro inters
principal son las funciones de Bessel de primera clase y orden natural o
cero, aunque la mayora son vlidas tambin para las funciones de
segunda clase y/o con orden no natural.
Consideraremos a
n=0

n=1

J 0 (t)

J 1(t )

como funciones habituales y haciendo

en la relacin (7), se obtiene:

(1)k t 2 k
t2
t4
t6
J 0 ( t )=
( ) =1 2 + 2 2 2 2 2 + (10)
2
2
2 2 .4 2 .4 .6
k=0 (k !)

(1)
t 2 k +1 t
t3
t5
t7
J 1 ( t )=
( ) = 2 + 2 2 2 2 2 + (11)
2 2 .4 2 . 4 .6 2 4 6 8
k =0 k ! (k +1)! 2
Se deduce fcilmente la divergencia de estas funciones cuando

+
t 0 .

Adems:
J 0 ( t )=0 n 1
En particular:

J 0 ( 0 )=1

J 1 ( 0 )=0 .

La figura muestra las grficas de

(curva continua)

J 0 (t)

(curva a puntos) y de

Y 0 (t)

Se aprecia en la figura el carcter oscilatorio de estas curvas, asimismo

se observa que los ceros de estas funciones se van alternando. Esto nos
hace recordar las propiedades de las funciones seno y coseno.
TEOREMA: Para todo
Adems:
a) Si
de

+
Z 0
J (t )

t> 0 , cada funcin de Bessel posee infinitos ceros:

t> 0 , entonces, entre cada dos ceros consecutivos

existe exactamente un cero de

entre cada dos ceros consecutivos de

J ( t )

J ( t )

y, viceversa,

existe exactamente

un cero de J ( t ) .
+
b) Si n Z 0 y t> 0 , entonces, entre cada dos ceros consecutivos
de

J n (t)

existe exactamente un cero de

entre cada dos ceros consecutivos de

un cero de

Y n (t)

Y n (t)

y, viceversa,

existe exactamente

J n (t) .

PROPIEDADES ADICIONALES:
'
a) J 0 ( t )=J 1 ( t )
'

b)

( t J 1 ( t ) ) =t J 0 ( t )

c)

(t 2 J 2 ( t )) =t 2 J 1 ( t )

d)

(t 3 J 3 ( t ) ) =t 3 J 2 ( t )

'

'

POLINOMIOS DE LEGENDRE
Los polinomios de Legendre son funciones que surgen en problemas de
electrosttica como solucin de la Ecuacin de Legendre:

( 1x 2 ) y ' ' 2 x y' + ( + 1 ) y =0

Z . Los polinomios de

y son efectivamente polinomios para

Legendre tambin pueden ser generados a partir de la frmula de

Rodrguez:
+
n
1 d
P n ( x )= n
( x 21)n n Z 0
2 n ! d xn

P1 ( x )=x
5
P3 ( x )=x x3
3
65
35
15
P5 ( x ) = x 5 x 3 + x
8
4
8

P 0 ( x )=1
2
P2 ( x ) =13 x

3 35
15
P 4 ( x )= + x 4 x 2
8 8
4

Generalidades de los Polinomios de Legendre

Es fcil comprobar que los polinomios de Legendre

P P (x)

son

mutuamente ortogonales para un producto interno definido como:

1
2
P n , Pm = Pn ( x ) Pm ( x ) dx= 2 n+1 nm
1
Con una norma definida por:

P
2

( n ( x ) ) dx=

2
2 n+1
1

Pn = P n , Pn =
1

Tambin se dispone de una frmula de recurrencia:

( n+1 ) P n+1 ( x ) =( 2n+ 1 ) x P n ( x )n Pn1 ( x )
Ntese que los polinomios de Legendre, calculados a partir de la
Frmula de Rodrguez no estn normalizados.
Al ser los Polinomios de Legendre un conjunto completo de funciones,
ellos expanden el espacio de funciones continuas en el intervalo cerrado
x [1,1 ] . Por ello cualquier funcin en el intervalo [ 1,1 ] puede ser
expresada en esa base.

Pk , F
. Pk
k=0 P k , Pk

f ( x )=
F = ak P k =
k=0

Ilustrando esta aplicacin:

1. Si f ( x ) es un polinomio:

k=0

k=0

n=0

f ( x )= bn x n = a k Pk = an Pn (x)
No se requiere calcular alguna integral por cuanto los coeficientes
an
se determinan a travs de un sistema de ecuaciones
algebraicas.
Para el caso de

f ( x )=x 2

tendremos:

1
f ( x )=x 2=a 0 P0 ( x )+ a1 P1 ( x )+ a2 P2 ( x )=a 0+ a1 x + a2 (3 x 21)
2
1
2
2
f ( x )=x = P0 ( x )+ P 2 ( x )
3
3
2. Consideremos una funcin ms compleja:
1x
f ( x )=
2

En efecto:

Pk, F
1x
f ( x )=
=
. P k (1)
2
k=0 Pk , Pk

P k , F = f ( x ) P k ( x ) dx=
1

1x
P k ( x ) dx . Expandiendo en serie de
2

Legendre, se tiene:

Pn ( x )
1x 2
= P0 ( x )2
2
3
n=1 ( 2 n1 ) (2 n+3)

Antes de entrar en el detalle de las propiedades de estos polinomios,

hay que enfatizar que los Polinomios de Legendre constituyen la nica
base ortogonal para un espacio de Hilbert con un producto interno
definido como el producto simple de funciones en el intervalo cerrado.
Los polinomios de Legendre se obtienen al ortonormalizar mediante
2
n
Pn
Gram Schmidt la base { 1, x , x , , x , } del espacio de polinomios,
; de grado

en el intervalo

por:
1

f ( x ), g( x ) = f ( x ) . g(x )dx
1

[ 1,1 ] , con el producto interno definido

Los polinomios de Legendre surgen, originalmente, como soluciones a la

ecuacin diferencial ordinaria del tipo:
2
d Pn ( x )
d P n( x)
( 1x 2 )
2 x
+ n ( n+1 ) Pn ( x )=0
2
dx
dx
Veamos algunos casos particulares:
n
0

Ecuacin de Legendre
2

( 1x 2 )

( 1x 2 )

d P0 ( x )
dx

2 x

d2 P1 ( x )
d P1 (x )
2 x
+2 P2 ( x )=0
2
dx
dx
2

( 1x 2 )

d P 0( x)
=0
dx

d P2 ( x )
dx

2 x

d P2 ( x )
+6 P2 ( x ) =0
dx

( 1x 2 )

d P3 ( x )
d P3 ( x )
2 x
+12 P3 ( x )=0
2
dx
dx
2

( 1x 2 )

d P4 ( x )
dx

2 x

d P4 (x )
+20 P4 ( x )=0
dx

Polinomio Asociado
P0 ( x )=1

P1 ( x )=x

P2 ( x )=13 x 2

5
P3 ( x )=x x3
3

P4 ( x )=110 x +

35 4
x
3