Universidad Nacional Autonoma de Honduras

Departamento de Fsica
POLINOMIOS DE LEGENDRE Y FUNCIONES ASOCIADAS DE
LEGENDRE
Gerardo Gamez Aguilera, Angel Alexander Zelaya, Walter Geovanny Jerezano
Estudiantes de Maestra en Fsica
24 de Agosto del 2013
Res umen: El actual artculo tiene como proposito mostrar el desarrollo de los Polinomios
de Legendre y los Polinomios Asociados de Legendre a partir de la ecuaci on de Legendre, los
cuales, son de importancia por su naturaleza en la resoluci on de problemas de electrost atica,
en el calculo de potenciales electricos con simetras avanzadas, en transferencia de calor, en
gravitaci on clasica y en el tratamiento de las soluciones de la ecuaci on de Schr odinger. Se tra-
tan tambien los arm onicos esfericos para conguracion de simetra azimutal y polar, as como
ejemplos, mostr ando aplicaciones de resoluci on utilizando los polinomios de Legendre y sus
propiedades.
Palabras claves: Polinomio, Legendre, ecuacion diferencial, soluci on, series de potencias,
polinomio ortogonal, linealmente independiente, Funci on de Legendre, funci on generatriz,
recurrencia, formula de Rodrguez, ortogonalidad, norma, simetra.
Abstract: The present paper aims to show the unfolding of the Legendre Polynomials and
Associated Legendre Functions from Legendres equation, which are of importance for its
nature in solving electrostatic problems, in the calculation of electric potentials with advan-
ced symmetries, in heat transfer, in classical gravitation and the treatment of the solutions
of Schrodinger equation. They also lead the spherical harmonics for azimuthal and polar
symmetry as well as examples, showing resolution applications using Legendre polynomials
and their properties.
Key words: Polynomial, Legendre, dierential equation, solution, power series, orthogonal
polynomial, linearly independent, Legendre function, generatrix function, recurrence, Rodri-
guez formula, orthogonality, norm, symmetry.
POLINOMIOS DE LEGENDRE
Los Polinomios de Legendre, llamados as en honor al matematico frances Adrien-Marie Le-
gendre (1752-1833).
1
Adrien-Marie Legendre
Fue un matem atico frances, hizo numerosas contribuciones a las matem aticas y fsica. Concep-
tos muy conocidos e importantes tales como los Polinomios de Legendre y la transformaci on
de Legendre fueron nombrados por el.
Naci o en Paris el 18 de Septiembre de 1752 en una familia adinerada. Recibi o una exce-
lente educaci on en el colegio Mazarin en Paris, defendiendo su tesis de fsica y matem aticas
en 1770. Desde 1775 a 1780 el ense n o en el

Ecole Militaire en Paris, y desde 1795 en el

Ecole
Normale y fue asociado en el Bureau des Longitudes. En 1782 gan o el premio ofrecido por
la academia de Berlin por su tratado sobre proyectiles en un medio con resistencia, lo que
atrajo hacia el la atenci on de Lagrange.
En 1783 se converti o en adjunto de la Academie des Sciences y un asociado en 1785. En
1789 fue electo como compa nero de la Royal Society. Durante la revolucion francesa, en
1793, perdi o su fortuna privada, pero fue habilitado para poner sus negocios en orden con
la ayuda de su esposa, Marguerite-Claudine Couhin, con quien se caso en el mismo a no. En
1795 se convirti o en uno de los seis miembros de la secci on de matematicas del reconstituido
Academie des Sciences, llamado despues Institut National des Sciences et des Arts, y mas
tarde, en 1803, de la seccion de la geometra como reorganizado bajo Napole on. En 1824,
como consecuencia de la negativa a votar por el candidato del gobierno en el Instituto Nacio-
nal, Legendre fue privado por el Ministre de lInterieur del gobierno ultrarrealista, el comte
de Corbi`ere, de su pension de la ecole Militaire, donde tuvo servicio en 1799-1815 como exa-
minador de matem aticas para los estudiantes graduados de artillera. Esto fue parcialmente
restablecido con el cambio de gobierno en 1828 y en 1831 fue nombrado ocial de la Legion
de Honor .
Muri o en Pars el 9 de enero de 1833, despues de una larga y dolorosa enfermedad. La viuda
de Legendre hizo un culto a su memoria, conservando cuidadosamente sus pertenencias. A
su muerte en 1856, dejo su ultima casa de campo para el pueblo de Auteuil, donde vivi o la
pareja y est an enterrados. Su nombre es uno de los 72 nombres inscritos en la Torre Eiel.
Actividad Cientca
La mayor parte de su trabajo fue completado o perfeccionado por otros: su trabajo sobre las
races de polinomios inspir o la teora de Galois, el trabajo de Abel en las funciones elpti-
cas fue construido por Legendre, algunos trabajos de Gauss en las estadstica y la teora de
n umeros completo la de Legendre. Desarrollo el metodo de mnimos cuadrados, que tiene
una amplia aplicaci on en la regresi on lineal, procesamiento de se nales, estadstica y ajuste
de curvas, lo que fue publicado en 1806 como apendice de su libro sobre las trayectorias de
los cometas. Hoy en da, el termino metodo de los mnimos cuadradosse utiliza como una
traducci on directa del frances methode des moindres carres.
En teora de n umeros, conjetur o la ley de reciprocidad cuadr atica, posteriormente demos-
trado por Gauss, en relaci on a esto, el smbolo de Legendre lleva su nombre. Tambien hizo
un trabajo pionero en la distribucion de los n umeros primos, y en la aplicaci on del an alisis
2
de la teora de n umeros. Su conjetura 1798 del teorema del n umero primo fue rigurosamente
probada por Hadamard y de la Vallee-Poussin en 1896.
Legendre hizo una impresionante cantidad de trabajo en las funciones elpticas, como la clasi-
caci on de las integrales elpticas, pero tomo la genialidad de Abel para estudiar las funciones
inversas de Jacobi y resolver el problema por completo.
Es conocido por la transformacion de Legendre, que se utiliza para pasar de la funcion
de Lagrange a la formulaci on hamiltoniana de la mec anica clasica. En la termodin amica que
tambien se utiliza para obtener la entalpa y la energa libre de Helmholtz y Gibbs de la
energa interna. A el tambien se debe el nombre de los polinomios de Legendre, las solucio-
nes a la ecuaci on diferencial de Legendre, que se producen con frecuencia en la fsica y las
aplicaciones de ingeniera, por ejemplo, la electrost atica.
Legendre es mejor conocido como el autor de

Elements de geometrie, que se public o en
1794 y fue el texto elemental lder en el tema por unos 100 a nos. Este texto enormemente
reorganiz o y simplic o muchas de las proposiciones de los Elementos de Euclides para crear
un libro de texto mas ecaz.
Retrato debate
Durante dos siglos, hasta el reciente descubrimiento del error en 2005, libros, pinturas y
artculos han mostrado incorrectamente un retrato del poltico frances Louis Legendre (1752-
1797) como el Legendre matem atico. El error surgi o del hecho de que el boceto fue etiquetado
simplemente Legendre. El unico retrato conocido de Legendre, recientemente descubierto,
se encuentra en el libro de 1820 album de 73 retratos de carga acuarelas des membres de
IInstitut, un libro de caricaturas de los miembros de setenta y tres del Instituto de Francia
en Pars por el artista frances Julien-Leopold Boilly como se muestra a continuaci on:
Ecuacion de Legendre y Polinomios de Legendre
En matem atica y sus aplicaciones, una ecuaci on cl asica es la de Sturm-Liouville, que es
una ecuacion diferencial de segundo orden de la forma:

d
dx
_
p(x)
dy
dx
_
+ q(x)y = w(x)y (1)
Para el caso particular = n(n + 1), donde n N = 0, 1, 2, ... se tiene la ecuacion de
Legendre:
(1 x
2
)y

2xy

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

Ahora utilizamos el metodo de series de potencia, especcamente una serie de potencias
centrada en 0, esto es
y = f(x) =

k=0
a
k
x
k
(3)
3
(a) Perl poltico Louis Legen-
dre
(b) Matematico frances Adrien-Marie Legendre
(izq.) y Joseph Fourier (der.) por el artista frances
Julien-Leopold Boilly
Figura 1: Durante 200 a nos se estuvo mostrando una im agen err onea de Legendre (a), hasta
que en 2005 se mostro la im agen (b) que aparece en acuarela el matematico frances Legendre
as, obtenemos una familia de polinomios ortogonales, llamados Polinomios de Legendre, ge-
nerados por las soluciones de la ecuaci on. Derivando (3) y sustituyendo en (2), obtenemos
(1 x
2
)

k=2
k(k 1)a
k
x
k2
2x

k=1
ka
k
x
k1
+ n(n + 1)

k=0
a
k
x
k
= 0

k=2
k(k 1)a
k
x
k2
x
2

k=2
k(k 1)a
k
x
k2
2x

k=1
ka
k
x
k1
+ n(n + 1)

k=0
a
k
x
k
= 0 (4)
puesto que

k=2
k(k 1)a
k
x
k2
=

k=0
(k + 2)(k + 1)a
k+2
x
k
(5)
x
2

k=2
k(k 1)a
k
x
k2
= x
2

k=2
k(k 1)a
k
x
k
x
2

k=2
k(k 1)a
k
x
k
=

k=0
k(k 1)a
k
x
k
(6)
2x

k=1
ka
k
x
k1
= 2x

k=1
ka
k
x
k
x
1
= 2

k=1
ka
k
x
k
= 2

k=0
ka
k
x
k
(7)
sustituyendo (5), (6) y (7) en (4), obtenemos

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

k=0
k(k 1)a
k
x
k
2

k=0
ka
k
x
k
+ n(n + 1)

k=0
a
k
x
k
= 0
4
aplicando las propiedades de la sumatoria y factorizando, obtenemos

k=0
((k + 2)(k + 1)a
k+2
k(k 1)a
k
2ka
k
+ n(n + 1)a
k
)x
k
= 0

k=0
((k + 2)(k + 1)a
k+2
+ (n(n + 1) k(k + 1))a
k
)x
k
= 0 (8)
la ecuacion (8) se verica si los coecientes de x
k
son igual a 0, esto es
(k + 2)(k + 1)a
k+2
+ (n(n + 1) k(k + 1))a
k
) = 0
N otese que para k = 2, a
0
asume cualquier valor; de igual manera para k = 1, a
1
asume cualquier valor.
Ahora despejando a
k+2
, obtenemos
a
k+2
=
n(n + 1) k(k + 1)
(k + 2)(k + 1)
a
k
k = 0, 1, 2, 3, .... (9)
En (9), hagamos las siguientes consideraciones:
i) Sean a
0
= 0 y a
1
= 0 entonces
a
2
=
n(n + 1)
2 1
a
0
=
n(n + 1)
2!
a
0
a
4
=
n(n + 1) 2 3
4 3
a
2
=
n(n + 1)(n(n + 1) 2 3)
4 3 2!
a
0
=
n(n + 1)(n(n + 1) 2 3)
4!
a
0
,
a
6
=
n(n + 1) 4 5
6 5
a
4
=
n(n + 1)((n(n + 1) 2 3)(n(n + 1) 4 5)
6!
a
0
,
N otese, que para k impar: a
1
= a
3
= a
5
= = 0.
Luego, (3) se transforma en
y
1
= f
1
(x) =

k=0
a
2k
x
2k
= a
0
x
0

n(n + a)
2!
a
0
x
2
+
n(n + 1)(n(n + 1) 2 3)
4!
a
0
x
4

=
_
1
n(n + 1)
2!
x
2
+
n(n + 1)(n(n + 1) 2 3)
4!
x
4

_
a
0
que es una soluci on par de la ecuaci on de Legendre.
ii) Ahora consideremos a
0
= 0 y a
1
= 0 entonces
5
a
3
=
n(n + 1) 1 2
3 2
a
1
=
n(n + 1) 1 2
3!
a
1
a
5
=
n(n + 1) 3 4
5 4
a
3
=
(n(n + 1) 1 2)(n(n + 1) 3 4)
5!
a
1
a
7
=
n(n + 1) 5 6
7 6
a
5
=
(n(n + 1) 1 2)(n(n + 1) 3 4)(n(n + 1) 5 6)
7!
a
1
,
N otese, que para k par:a
0
= a
2
= a
4
= = 0.
Luego, (3) se transforma en
y
2
= f
2
(x) =

k=0
a
2k+1
x
2k+1
= a
1
x
n(n + 1) 1 2
3!
a
1
x
3
+
(n(n + 1) 1 2)(n(n + 1) 3 4)
5!
a
1
x
5

=
_
x
n(n + 1) 1 2
3!
x
3
+
(n(n + 1) 1 2)(n(n + 1) 3 4)
5!
x
5

_
a
1
que es una soluci on impar de la ecuaci on de Legendre.
Ya que, estas dos soluciones son linealmente independientes, por intermedio de ellas ob-
tenemos la soluci on general de la ecuaci on de Legendre,
y(x) = Ay
1
(x) + By
2
(x).
Las series y
1
y y
2
, para n

Z, convergen en |x| < 1, pero divergen en x = 1. Para n N, una
de estas series naliza, es decir, es un polinomio y la otra converge en |x| < 1, pero diverge
en x = 1.
Puesto que, por lo general n = 0, 1, 2, 3, , seguidamente consideramos algunas soluciones
polinomicas:
1, x, 1 3x
2
, x
5
3
x
3
,
luego, una soluci on de la ecuaci on de Legendre es un polinomio de grado n.
Hallemos con precision estas soluciones polinomicas, para ello consideremos la ecuaci on ob-
tenida de (8), esto es
(k + 2)(k + 1)a
k+2
+ (n(n + 1) k(k + 1))a
k
= 0 n N
haciendo k : n 2, n 4, n 6, , n 2i i = 1, 2, 3, , obtenemos
n(n + 1)a
n
= 2(2n 1)a
n2
= 2 1(2n 1)a
n2
(n 2)(n 3)a
n2
= 4(2n 3)a
n4
= 2 2(2n 3)a
n4
(n 4)(n 5)a
n4
= 6(2n 5)a
a6
= 2 3(2n 5)a
a6
6
.....................
(n 2i 2)(n 2i + 1)a
n2i+2
= 2 i(2n 2i + 1)a
n2i
efectuando el producto, miembro a miembro, de estas igualdades, obtenemos
n(n 1) (n 2i + 1)a
n
= (1)
i
2
i
i!(2n 1)(2n 3) (2n 2i + 1)a
n2i
(10)
utilizando la notacion factorial y sus propiedades, tenemos
n(n 1) (n 2i + 1) =
n(n + 1) (n 2i + 1)(n 2i)!
(n 2i)!
=
n!
(n 2i)!
(11)
(2n 1)(2n 3) (2n 2i + 1) =
=
2n(2n 1) (2n 2i + 1)(2n 2)(2n 4) (2n 2i + 2)(2n 2i)!
2n(2n 2)(2n 4) (2n 2i + 2)(2n 2i)!
=
(2n)!
2
i
n(n 1)(n 2) (n i + 1)(2n 2i)!
=
(2n)!(n i)!
2
i
n!(2n 2i)!
(12)
sustituyendo (11) y (12) en (10), obtenemos
=
n!
(n 2i)!
a
n
= (1)
i
2
i
i!
(2n)!(n i)!
2
i
n!(2n 2i)!
a
n2i
luego
a
n2i
= (1)
i
(n!)
2
(2n 2i)!
i!(2n)!(n 2i)!(n i)!
a
n
sea a
n
=
(2n)!
2
n
(n!)
2
, esto es posible, puesto que no hay alguna condici on sobre a
n
entonces
a
n2i
= (1)
i
(2n 2i)!
2
n
i!(n 2i)!(n i)!
Como se dijo anteriormente, si n es par (n = 2j), se obtiene una solucion par, es decir
un polinomio par y si n es impar (n = 2j + 1), se obtiene una soluci on impar, es decir
un polinomio impar. En cualesquiera de las dos alternativas, la solucion de la ecuacion de
Legendre se denomina polinomio de Legendre de grado n y viene dada por
y = P
n
(x) =
i

i=0
(1)
i
(2n 2i)!
2
n
i!(n 2i)!(n i)!
x
n2i
Desarrollando P
n
(x), utilizando las propiedades del factorial y factorizando obtenemos
P
n
(x) =
i

i=0
(1)
i
(2n 2i)!
2
n
i!(n 2i)!(n i)!
x
n2i
7
=
(2n)!
2
0
0!n!n!
x
n

(2n 2i)!
2
1
1!(n 2)!(n 1)!
x
n2
+
(2n 4)!
2
2
2!(n 4)!(n 2)!
x
n4

(2n 6)!
2
3
3!(n 6)!(n 3)!
x
n6
+
(2n 8)!
2
4
4!(n 8)!(n 4)!
x
n8
+(1)
j
(2n 2j)!
2
n
j!(n 2j)!(n j)!
x
n2j
P
n
(x) =
(2n)!
2
0
0!(n!)
2
x
n

(2n)!n(n 1)
2
1
1!2(n)!
2
(2n 1)
x
n2
+
(2n)!n(n 1)(n 2)(n 3)
2
2
2!2
2
(n!)
2
(2n 1)(2n 3)
x
n4

(2n)!n(n 1)(n 2)(n 3)(n 4)(n 5)

2
3
3!2
3
(n!)
2
(2n 1)(2n 3(2n 5)
x
n6

(2n)!n(n 1)(n 2)(n 3)(n 4)(n 5)(n 6)(n 7)

2
4
4!2
4
(n!)
2
(2n 1)(2n 3)(2n 5)
(2n 7)x
n8
=
(2n)!
2
n
(n!)
2
_
x
n

n(n 1)
2 1!(2n 1)
x
n2
+
n(n 1)(n 2)(n 3)
2
2
2!(2n 1)(2n 3)
x
n4

n(n 1)(n 2)(n 3)(n 4)(n 5)

2
3
3!(2n 1)(2n 3)(2n 5)
x
n6
+
n(n 1)(n 2)(n 3)(n 4)(n 5)(n 6)(n 7)
2
4
4!(2n 1)(2n 3)(2n 5)(2n 7
x
n8
_
Ahora, si podemos dar con precision las soluciones polin omicas de la ecuaci on de Legendre,
as como el trazado de sus gracas
8
Propiedades Basicas de Legendre
i) Funcion generatriz para los polinomios de Legendre
1

1 2sx + s
2
=

n=0
P
n
(x)s
n
Segun Arfken:
g(t, x) = (1 2xt + t
2
)
1/2
=

n=0
P
n
(x)t
n
Usando el teorema del binomio expandimos la funcion generatriz:
(1 2xt + t
2
)
1/2
=

n=0
(2n)!
2
2n
(n!)
2
(2xt t
2
)
n
De acuerdo a esto ultimo:
P
0
(x) = 1, P
1
(x) = x, P
2
(x) =
3
2
x
2

1
2
ii) Funcion recurrencia para los polinomios de Legendre
9
P
n+1
(x) =
2n + 1
n + 1
xP
n
(x)
n
n + 1
P
n
1(x)
Segun el texto de Arfken
2(n + 1)xP
n
(x) = (n + 1)P
n+1
(x) + nPn 1(x)
iii) F ormula de Rodrguez para los polinomios de Legendre
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
iv) Ortogonalidad de los polinomios de Legendre.
Esta es una valiosa propiedad, ya que conguran un sistema ortogonal sobre el intervalo
1 x con respecto al n ucleo p(x) = 1. Esto es, son ortogonales con respecto al producto
escalar denido en L
2
en este intervalo.
_
1
1
P
m
(x)P
n
(x)dx =
2
2n + 1

mn

mn
=
_
0 si m = n
1 si m = n
Polinomios asociados de Legendre
En matematicas, los polinomios de Legendre asociadas son las soluciones can onicas de la
ecuaci on general Legendre,
(1 x
2
)y

2xy

+
_
n[n + 1]
m
2
1 x
2
_
y = 0
o de forma equivalente
(1 x
2
)y

+
_
n(n + 1)
m
2
1 x
2
_
y = 0
Observe que para m = 0, la ecuaci on se reduce a la ecuaci o de Legendre. La soluci on se
llaman las funciones asociadas de Legendre y pueden ser desarrolladas directamente de la
ecuaci on de Legendre y sus soluciones.
Para mostrar esto ocupamos la f ormula de Leibniz para la m-derivada de un producto,
d
m
dx
m
(fg) =
m

k=0
_
m
k
_
d
mk
f
dx
mk
d
k
g
dx
k
, m = 1, 2, 3,....
Si z es una soluci on de la ecuaci on de Legendre, se desea demostrar que
y = (1 x
2
)
m/2
d
m
z
dx
m
es una soluci on de la ecuaci on asociada de Legendre.
Tomando la m-derivada se tiene,
10
d
m
dx
m
_
(1 x
2
)z

2
d
m
dx
m
(xz

) + n(n + 1)
d
m
z
dx
m
= 0
Aplicando la f ormula de Leibniz, se obtiene
(1 x
2
)
d
m+2
z
dx
m+2
2mx
d
m+1
z
dx
m+1
m(m1)
d
m
z
dx
m
2
_
x
d
m+1
z
dx
m+1
+ m
d
m
z
dx
m
_
+ n(n + 1)
d
m
z
dx
m
= 0
Recolect ando terminos semejantes da:
(1 x
2
)
d
2
dx
2
2(m + 1)x
du
dx
+ [n(n + 1) m(m + 1)]u = 0
donde, por conveniencia de notaci on, se coloca u =
d
m
z
dx
m
. Luego introduciendo la nueva variable
y = (1 x
2
)
m/2
u, o equivalentemente,
u = y(1 x
2
)
m/2
Encontramos,
(1x
2
)
d
2
dx
2
[y(1x
2
)
m/2
]2(m+1)x
d
dx
[y(1x
2
)
m/2
]+[n(n+1)m(m+1)]y(1x
2
)
m/2
= 0
Llevando a cabo las derivadas indicadas lleva a,
d
dx
[y(1 x
2
)
m/2
] = y

(1 x
2
)
m/2
+ mxy(1 x
2
)
1m/2
=
_
y

+
mxy
1 x
2
_
(1 x
2
)m/2
y similarmente,
d
2
dx
2
[y(1 x
2
)
m/2
] =
_
y

+
m(2xy

+ y)
1 x
2
+
m(m + 2)x
2
y
(1 x
2
)
2
_
(1 x
2
)
m/2
Finalmente sustituyendo estas ecuaciones,
(1x
2
)
_
y

+
m(2xy

+ y)
1 x
2
+
m(m + 2)x
2
y
(1 x
2
)
2
_
2(m+1)x
_
y

+
mxy
1 x
2
_
+[n(n+1)m(m+1)]y = 0
La anterior se reduce luego del desarrollo algebraico a,
(1 x
2
)y

2xy

+
_
n[n + 1]
m
2
1 x
2
_
y = 0
Entonces se dene las funciones asociadas de Legendre para (m = 0, 1, 2,...,n)
P
m
n
(x) = (1 x
2
)
m/2 d
m
dx
m
P
n
(x)
11
Propiedades basicas de polinomios asociados de Legendre
a) Relaciones de recurrencia
Utilizando la f ormula de Rodriguez y la diferienciacion de Liebniz,
P
m
n
(x) =
1
2
n
n!
(1 x
2
)
m/2
d
n+m
dx
n+m
[(x
2
1)
n
]
Tomamos importancia al lado derecho para encontrar la siguiente relacion:
P
m
n
(x) = (1)
m
(n m)!
(n + m)!
P
m
n
(x)
Otra relacion de recurrencia importante es:
(n m + 1)P
m
n+1
(x) (2n + 1)xP
m
n
(x) + (n + m)P
m
n1
(x) = 0
La relacion de paridad que relaciona x x,
P
m
n+1
(x) = (1)
n+m
P
m
n+1
(x)
b) Ortogonalidad.
_
1
1
P
m
p
(x)P
m
q
(x)dx =
2
2q + 1

(q + m)!
(q m)!

pq
,
y
_
1
1
P
m
n
(x)P
k
n
(x)(1 x
2
)
1
dx =
(n + m)!
m(n m)!

m,k
.
Armonicos esfericos
Una de las aplicaciones es la solucion de la ecuacio de Laplace, la ecuaci o de Helmontz y
la ecuacio de onda de Schr odinger,

2
+ k
2
f(r) = 0
La dependencia angular, proveniente enteramente del operador Laplaciano, es
()
sin
d
d
_
sin
d
d
_
+
()
sin
2

d
2
()
d
2
+ n(n + 1)()() = 0
La ecuacion azimutal separada es,
1
()
d
2
()
d
2
= m
2
con soluciones
() = exp
im
, exp
im
12
con m entero, la cual satisface la condicion ortogonal
_
2
0
exp
im
1
)
exp
im
2

d = 2
m
1
m
2
Para la condicion ortonormal

m
=
1

2
exp im
Separando esta dependencia azimutal, la dependencia del angulo polar () dirige a la ecuaci on
asociada de Legendre
1
sin
d
d
_
sin
d
d
_
+
_
n(n + 1)
m
2
sin
2

_
= 0
Por lo que su soluci on ser a de la misma forma que la soluci o encontrada para la ecuaci on
asociada de Legendre, es decir,
() = P
m
n
(cos ) =
1
2
n
n!
(1 x
2
)
m/2
d
m+n
dx
m+n
(x
2
1)
n
, n m n
Normalizando la funcion asociada de Legendre, obtenemos

2n + 1
2
(n m)!
(n + m)!
P
m
n
(cos ), n m n
La funci on
m
() es ortonormal con respecto al angulo azimutal , la cual tomada junto con
la funcion ortonormal en el angulo polar nos da la funci on de esfericos arm onicos,
Y
m
n
(, ) (1)
m

2n + 1
4
(n m)!
(n + m)!
P
m
n
(cos ) exp
im
13
Figura 2: [RY
m
n
(, )]
2
Ejemplos
1.1) Una distribuci on de carga electrica sobre la supercie T de un conductor aislado el
cual descansa totalmente en el interior de una supercie esferica S: r = R es simetrica con
respecto al eje z y es tal que sobre S el potencial V de la distribuci on de carga es igual a
C(1 + cos
4
) donde C es una constante y es el angulo de coordenadas esfericas. Obtenga
la ecuacion para V valida para todos los puntos en el exterior a S.
Desarrollo.
V es una funci on solamente de r y : V = V (r, ). El potencial V satisface la ecuaci on de
Laplace en cualquier punto exterior a T, se tiene

2
V = 0
V = V (r, )
Al aplicar el Laplaciano en coordenadas esfericas,
V =

n=0
_
C
n
r
n
+
B
n
r
n+1
_
P
n
(cos ).
Se debe tomar C
n
= 0, en la regi on exterior de S, ya que la ecuaci on no puede contener ning un
termino en series positivas de r, esto implicara que V (r, ) llegara a innito en magnitud a
14
Figura 3: Arm onicos Esfericos
r , por lo que la ecuaci on anterior se reduce a
V (r, ) =

n=0
B
n
r
n+1
P
n
(cos )
La anterior converge para r R e igual a C(1 cos
4
) sobre S donde r = R. Haciendo
u = cos , se requiere,
C(1 + u
4
) =

n=0
B
n
R
n+1
P
n
(u).
Para encontrar los B
n
, se utiliza ortogonalidad,
B
n
R
n+1
=
2n + 1
2
_
1
1
C(1 + u
4
)P
n
(u)du,
B
n
=
(2n + 1)CR
n+1
2
__
1
1
P
n
(u)du +
_
1
1
u
4
P
n
(u)du
_
.
P
0
(x) = 1
P
2
(x) =
1
2
(3x
2
1)
P
4
(x) =
1
8
(35x
4
30x
2
+ 3)
15
B
0
=
(2(0) + 1)CR
0+1
2
__
1
1
du
1
2
_
1
1
u
4
du +
3
8
_
1
1
u
4
du
_
=
6CR
5
B
2
=
(2(2) + 1)CR
2+1
2
_
3
2
_
1
1
u
4
u
2
du +
30
8
_
1
1
u
4
u
2
du
_
=
4CR
3
7
B
4
=
(2(4) + 1)CR
4+1
2
_
35
8
_
1
1
u
4
u
4
du
_
=
8CR
5
35
Por lo que la soluci on es,
V = V (r, ) = C
_
6
5
_
R
r
_
P
0
(cos ) +
4
7
_
R
r
_
3
P
2
(cos ) +
8
35
_
R
r
_
5
P
4
(cos )
_
1.2) Calcular el potencial electrost atico producido por dos cargas q
1
= +q y q
2
= q sepa-
radas por una distancia 2d en un punto P cualquiera de un plano (x, y).
Desarrollo.
El potencial en ese punto generico viene dado por
V = q
_
1
R

1
R
_
Como se aprecia en la gura
Figura 4: Potencial electrost atico de un dipolo electrico
(R

)
2
= r
2
+ d
2
2rd cos() R
2
= r
2
+ d
2
2rd cos( ),
16
por lo cual
1
R

=
1
r
_
1 2 cos()
_
d
r
_
+
_
d
r
_
2
_

1
2
1
R
=
1
r
_
1 2 cos( )
_
d
r
_
+
_
d
r
_
2
_

1
2
y consecuentemente
1
R

=
1
r

n=0
P
n
(cos())
_
d
r
_
n
1
R
=
1
r

n=0
P
n
[cos( )]
_
d
r
_
n
=
1
r

n=0
P
n
(cos())
_
d
r
_
n
El potencial ser a
V =
q
r

n=0
[P
n
(cos()) P
n
(cos())]
_
d
r
_
n
donde todos los terminos pares de P
n
(cos()) se anulan y nalmente tendremos la expresion
del potencial para cualquier punto del plano
V =
2q
r

n=0
P
2n+1
(cos())
_
d
r
_
2n+1
Nos quedamos con el primer termino de la serie, si
d
r
1 =V
q
r
2
2d cos().
Bibliografa
Andrews, L. (1985). Special Functions for Engineers and Applied Mathematicians. New York:
MACMILLAN PUBLISHING COMPANY.
Hern andez, H., N u nez, L. (2010). Series de Polinomios Ortogonales. Universidad de Los
Andes, Merida, 12.
J. Farrell, O., Ross, B. (1963). SOLVED PROBLEM IN ANALYSIS as applied to Gam-
ma, Beta, Legendre, Bessel Functions. New York: Dover Publications, Inc.
N u nez Rinc on, C. E. (2002). Polinomios de Legendre-Notas. UNET, 22.
WEBER, A. (2005). MATHEMATICAL METHODS FOR PHYSICISTS (Sixth ed.). San
Diego, USA: Elsevier Academic Press.
Wikipedia. (10 de 10 de 2010). Recuperado el 20 de 08 de 2013, de www.wikipedia.org
17