Polinomios de Legendre Aspectos Matemáticos

0
More
Next Blog
Create Blog
Sign In
La Mecnica Cuntica
MA R TE S , 1 1 DE A GOS TO DE 2 009
Polinomios de Legendre: aspectos matemticos

En los problemas que inv olucran cualquier tipo de simetra esfrica, sobre todo los
problemas propios de la Mecnica Cuntica en donde la cuantizacin del momento angular
es una consecuencia directa del empleo de un sistema de coordenadas esfricas para
resolv er las ecuaciones diferenciales que describen la parte angular (,) de una funcin
S E GU I DOR E S
de onda , inv ariablemente se requiere del uso de los polinomios de Legendre que sirv en a
su v ez para definir a las armnicas esfricas Y lm . Hablar acerca de las armnicas esfricas es
tanto como hablar de los polinomios de Legendre Hemos v isto en las entradas prev ias todo
lo que tiene que v er con las consecuencias fsicas del aparato matemtico empleado para
describir esta fenomenologa, haciendo a un lado v arios detalles finos que resulta
conv eniente tener en mente para darle may or rigor y formalismo a lo que estamos
desarrollando. En esta entrada ampliaremos lo que hemos v isto en las entradas prev ias en lo
concerniente a los polinomios de Legendre, con el propsito de irle dando may or
familiaridad al lector acerca de los polinomios de Legendre.
A R CHI V O DE L B LOG
Dentro del interv alo -1 ..x ..+1 , los primeros siete polinomios de Legendre estn dados por
2009 (1 36)
las siguientes ex presiones:
agosto (1 36)
PDF creado por htmlapdf.com a travs de la Interfaz de programacin
Indice
Prlogo
El modelo atmico planetario de Bohr I
El modelo atmico planetario de Bohr II
La espectroscopa de ray os-X
La ex traa ecuacin de Max Born
V ectores y matrices I
V ectores y matrices II
El anlisis de Fourier
La regla de multiplicacin de Heisenberg
Observ ables compatibles e
incompatibles
Oscilador armnico simple: solucin
matricial
Las grficas (por separado) de los primeros nuev e polinomios de Legendre tienen el
siguiente aspecto:
matricial
Matrices y probabilidad
El principio de incertidumbre I
El principio de incertidumbre II
El ex perimento Stern-Gerlach
El spin del electron
Momento angular: tratamiento matricial
I
II
III
La energa rotacional
Matrices y sub-matrices
Solucin matricial del tomo de
hidrgeno
Funciones matriciales
De la mecnica clsica a la mecnica
matricial
La matriz momentum como generadora
de traslacin
La matriz generadora de rotacin
Rotaciones de las matrices de Pauli
El aspecto estadstico de la Mecnica
Matricial
Ev olucin temporal de los sistemas
fsicos
Matrices continuas
Ondas de materia
Las grficas de los primeros seis polinomios de Legendre, superimpuestas una sobre la otra,
se muestran a continuacin:
La ecuacin de Schrdinger
La ecuacin de Schrdinger
Solucin matemtica de la ecuacin de
onda
Solucin numrica de la ecuacion de
Schrdinger
Interpretacin probabilista de I
Interpretacin probabilista de II
Operadores y esperanzas matemticas I
Operadores y esperanzas matemticas II
Oscilador armnico simple: solucin
ondulatoria
La funcin delta de Dirac
Transmisin y reflex in de partculas I
Transmisin y reflex in de partculas II
Transmisin y reflex in de partculas III
Transmisin y reflex in de partculas IV
El potencial delta de Dirac
Ondas de simetra circular y esfrica
La notacin bra-ket de Dirac
Los polinomios de Legendre son las soluciones a la siguiente ecuacin diferencial que surge
inev itablemente cuando se resuelv e la parte angular de una funcin de onda al emplear la
ecuacin de Schrdinger:
El espacio de Hilbert I
El espacio de Hilbert II
Operadores Hermitianos
Los operadores escalera I
Los operadores escalera II
El principio de incertidumbre, rev isitado
Esta misma ecuacin puede aparecer en numerosos tex tos y tratados escrita de la siguiente
manera:
El acto de medicin
Momento angular orbital: anlisis
ondulatorio I
Momento angular orbital: anlisis
ondulatorio II
Momento angular orbital: funciones de

onda I
La may or utilidad de los polinomios de Legendre en los estudios de Mecnica Cuntica se

onda II
una funcin cosenoidal:
obtiene cuando se substituy e la v ariable independiente de los polinomios de Legendre por
Polinomios de Legendre: aspectos

matemticos
x cos()
La funcin de onda radial
obtenindose de este modo los siguientes polinomios de Legendre redefinidos para manejar
La funcin de onda del momento angular

del spin
la cuestin de funciones angulares:
El principio de ex clusin de Pauli

El proceso de construccin A ufbau
El acoplamiento LS
La suma de momentos angulares
Las reglas de seleccin
Tcnicas de aprox imacin I
Tcnicas de aprox imacin II
Tcnicas de aprox imacin III
El mtodo de aprox imacin WKB I
El mtodo de aprox imacin WKB II
El mtodo de aprox imacin WKB III
El mtodo de aprox imacin WKB IV
El enlace molecular I
La razn para llev ar a cabo esta substitucin es que el interv alo -1 ..x ..+1 v lido para la
v ariable independiente del polinomio de Legendre resulta algo restrictiv o para aplicaciones
El enlace molecular II
prcticas. Sin embargo, esta limitacin aparente es solv entada haciendo la substitucin
La hibridacin de los orbitales atmicos
indicada, con la cual el rango de v alores que se le pueden dar a la v ariable independiente
La teora de los orbitales moleculares

Teora del campo cristalino
Operadores clase T
El espacio-posicin y el espaciomomentum I
El espacio-posicin y el espaciomomentum II
El espacio-posicin y el espacio-
(que es ahora ) se v uelv e infinito. En efecto, gracias al hecho de que el coseno de un ngulo
solo puede tomar v alores comprendidos entre -1 y +1 :
-1..cos()..+1
la utilidad de los polinomios de Legendre resulta ex tendida enormemente, al poder v ariar a
desde -1 80 hasta +1 80 o bien desde 0 hasta +360 (precisamente el rango que
necesitamos para el anlisis de muchos fenmenos propios de la Mecnica Cuntica). A l
substituir a la v ariable independiente de los polinomios de Legendre por cos() estamos
El espacio-posicin y el espaciomomentum III
conv irtiendo a cada polinomio de Legendre en una funcin de una funcin (hay una rama en
El espacio-posicin y el espaciomomentum IV
A nlisis Funcional). A l hacer la substitucin:
las matemticas que se encarga del estudio formal de este tipo de cosas, conocida como el
Pl.(x) Pl.(cos())
La partcula libre I
La partcula libre II
La ecuacin de mov imiento de
Heisenberg
resulta conv eniente aqu (y un poco ms esttico) escribir de la siguiente manera a la

funcin de Legendre y a modificada:
Mecnicas Matricial y Ondulatoria:

equiv alencia
Ev olucin temporal de las ondas de
materia I
Ev olucin temporal de las ondas de
materia II
El operador de traslacin
Pl.[cos()]
en donde lo que est dentro los parntesis cuadrados es el argumento del polinomio de
Legendre, y lo que est dentro de los parntesis ordinarios es el argumento del
argumento del polinomio de Legendre. Estaremos recurriendo dentro de esta obra a este
tipo de simbolizacin.
El operador de ev olucin del tiempo
El cambio de argumento en los polinomios de Legendre implica que, adems del
Las representaciones de Heisenberg y

Schrdinger
comportamiento pseudo-oscilatorio que los polinomios de Legendre manifiestan y a de por
Operadores de rotacin I
coseno, En la Mecnica Cuntica en donde aparecen los nmeros cunticos l y m asociados
Operadores de rotacin II
s dentro del interv alo -1 ..x .+1 , se suma el comportamiento oscilatorio real de la funcin
al momento angular de una partcula, lo que se v iene utilizando con may or frecuencia son
las funciones asociadas de Legendre del primer gnero, conocidas tambin como
Los grupos de rotacin I
polinom ios asociados de Legendre de orden m, simbolizados indistintamente y a sea
Los grupos de rotacin II
como Pl. m o como Plm , en donde el super-ndice indica el orden del polinomio y de ninguna
Los grupos de rotacin III
manera representa una ex ponenciacin, algunos de los cuales son los siguientes:
La simetra como piedra angular

Representaciones irreducibles I
Representaciones irreducibles II
Los coeficientes Clebsch-Gordan I
Los coeficientes Clebsch-Gordan II
Los coeficientes Clebsch-Gordan III
Operadores tensoriales
El momento de cuadripolo
El teorema Wigner-Eckart I
El teorema Wigner-Eckart I
El teorema Wigner-Eckart II
emplendose tambin aqu la misma substitucin del argumento por el de una funcin
Mecnica Estadstica Cuntica I
cosenoidal en funcin del ngulo , siendo esta subsitucin la que nos produce grficas ricas
Mecnica Estadstica Cuntica II
e interesantes en funcin de , precisamente las mismas grficas para las armnicas
Mecnica Estadstica Cuntica III

Mecnica Estadstica Cuntica IV
Mecnica Estadstica Cuntica V
esfricas Y lm que y a hemos v isto prev iamente en una entrada anterior pero llev adas a cabo
empleando coordenadas polares (r,). Para fines comparativ os, a continuacin se
mostrarn las grficas lineares (en las coordenadas Cartesianas usuales) de los polinomios
de Legendre:
Mecnica Estadstica Cuntica V I

La matriz densidad I
La matriz densidad II
El lser
El teorema v irial
Espectroscopas de resonancia
magntica I
magntica II
magntica III
magntica IV
as como las grficas polares de los mismos polinomios (en este caso, las grficas en color
rojo corresponden al polinomio de Legendre escrito arriba en color rojo, mientras que las
grficas en color azul corresponden al polinomo de Legendre escrito arriba en color azul;
obsrv ese con precaucin que en las grficas Cartesianas lineares el ngulo est
especificado en radianes, mientras que en las grficas polares el ngulo est especificado
en grados):
magntica IV
Esparcimiento clsico de partculas
Esparcimiento de las ondas de luz
A spectos matemticos de las ondas
esfricas
El mtodo de las ondas parciales
La aprox imacin de Born I
La aprox imacin de Born II
El teorema ptico
La ecuacin Lippmann-Schwinger
El teorema adiabtico I
El teorema adiabtico II
La Mecnica Cuntica Relativ ista
Recursos de software
Constantes fundamentales y factores de
conv ersin
Bibliografa
DA TOS P E R S ON A LE S
A R MA NDO MA R T NEZ
T L L EZ
V E R TODO MI P E R F I L
Los polinomios asociados de Legendre Pl. m son las soluciones a una ecuacin diferencial un
poco ms elaborada que la ecuacin diferencial de Legendre dada arriba, la cual es:
Resulta ev idente que esta es una ecuacin diferencial ms general que la ecuacin
diferencial dada prev iamente y la cual a su v ez es un caso especial para m.=.0, como resulta
igualmente obv io que los polinomios de Legendre tales como P0 , P1 , P2 y P3 .en realidad
tambin son polinomios asociados de Legendre cuy a simbolizacin correcta debera ser
P0 0 , P1 0 , P2 0 y P3 0 . El super-ndice 0 casi nunca se les anex a argumentando que tal
cosa se sobreentiende, aunque desafortunadamente son muy pocos los tex tos que hacen
la aclaracin pertinente. Ex ceptuando los casos en los cuales hacerlo sera
contraproducente, omitiremos aqu tambin el poner un cero como super-ndice a los
polinomios de Legendre de orden cero, aunque el lector debe quedar adv ertido de este
recov eco en la notacin.
Podemos obtener las funciones asociadas de Legendre Pl. m de los polinomios de Legendre
Pl mediante la siguiente relacin:
Los polinomios de Legendre Pl. forman un conjunto ortogonal completo de funciones con
respecto a la v ariable x . Podemos escribir por lo tanto para cuaquier funcin arbitraria f(x):
Si multiplicamos esta relacin por Pl(x ) y llev amos a cabo la integracin, entonces usando
la relacin de ortonormalidad para polinomios de Legendre:
obtenemos el siguiente resultado:
A l ser posible obtener de esta manera todos los coeficientes de la ex pansin para cualquier
funcin matemtica f(x) bien comportada, queda demostrado formalmente que los
polinomios de Legendre constituy en un conjunto ortogonal completo de funciones.
El v alor inapreciable que tienen los polinomios de Legendre dentro de la Mecnica Cuntica
es que, por ser un conjunto ortogonal completo de funciones con respecto a la v ariable
independiente, estos permiten representar cualquier funcin f(x ) como una ex pansin
infinita en series de polinomios de Legendre:
Puesto que los polinomios de Legendre Pl nos son conocidos, el problema consiste en
determinar los coeficientes A l. Esto, desde luego, en realidad no es ms que una ex pansin
en series de Fourier, ex cepto que el conjunto de funciones ortogonales usado es el conjunto
de polinomios de Legendre en lugar de ser funciones trigonomtricas.
El hecho de que una funcin matemtica pueda ser representada como la suma infinita de un
conjunto de funciones ortogonales multiplicadas cada una de ellas por una constante, y a
sean funciones trigonomtricas, polinomios de Legendre, etc., nos arroja a un dilema

filosfico serio sobre cul de todos estos conjuntos de funciones ortogonales pueda ser el
predilecto de la Naturaleza. Tratando de establecer una comparacin algo forzada,
podramos imaginar a una funcin de onda como una meloda musical. La meloda puede
ser reproducida usando los acordes emanados de un piano. Pero la misma meloda puede
ser reproducida usando los acordes emanados de un v ioln. Y tambin puede ser
reproducida usando los acordes emanados de un arpa. Cada instrumento musical
mencionado es distinto en su construccin a los dems, cada uno de ellos tiene su
propio timbre. Y sin embargo, podramos reconocer a la meloda musical como la misma
aunque fuera interpretada en cualquiera de estos instrumentos, e inclusiv e la seguiramos
identificando como la misma meloda aunque en su interpretacin se utilizara una
combinacin simultnea de algunos de los instrumentos musicales, habiendo v arias
combinaciones posibles. Cul es el instrumento matemtico preferido por la Naturaleza?
En realidad, resulta imposible el tratar de dar una respuesta, porque no hay elementos que
nos permitan poder darle una respuesta, y la pregunta deja de ser tema propio de la ciencia
para pasar a ser tema propio de la filosofa. En lo que a nosotros respecta, no perderemos el
tiempo div agando sobre cosas que no puedan ser corroboradas ex perimentalmente en
algn laboratorio.
A ntes de entrar en may ores detalles en el estudio de los polinomios de Legendre, un
resultado importante que sirv e a su v ez para obtener otras conclusiones igualmente
importantes lo es la frmula de Rodrigues, descubierta por el matemtico francs Benjamn
Olinde Rodrigues, que en su forma ms conocida se puede enunciar de la siguiente manera:
Como puede v erse, esta frmula nos d una manera sencilla y compacta de poder obtener
los polinomios de Legendre Pl(x ) para cualquier v alor entero positiv o de l. Por esto mismo,
tambin nos proporciona la herramienta para poder obtener de una manera ms rpida
otros resultados que seran ms laboriosos y ms tardados de obtener, como el que
v eremos a continuacin.
PROBLEMA.- Demustrese que:
Ex plcitamente, para:
se tiene:
Obsrv ese que en ambos casos el resultado de la integracin es igual a cero, pero por
diferentes motiv os. P1 es una funcin impar, esto es:
P1 (x ) = - P1 (-x )
y por lo tanto la integral se desv anece cuando es ev aluada entre lmites colocados
simtricamente en relacin al origen. Por otro lado, P2 es una funcin par:
P2 (x ) = P2 (-x )
y la integral cuando es tomada entre lmites simtricos generalmente no se desv anece. En

este caso particular, la integral se desv anece porque sucede que la integral indefinida es
igual a cero en cada uno de los lmites dados.
De la tabla para los polinomios de Legendre dada arriba, se comprueba que las
funciones Pl. (x ) son ex clusiv amente funciones pares o impares del argumento x
dependiendo de que el orden l sea par o impar, respectiv amente. Por lo tanto, podemos
emplear de inmediato el argumento de simetra para dar por demostrado que:
para todos los rdenes impares de l.

Para ex tender el teorema a rdenes pares (y de hecho, para cualquier orden ex ceptuando
cero), podemos recurrir a la frmula de Rodrgues que se di arriba, con la cual se tiene:
Para poder llev ar a cabo esta integracin, es necesario recurrir a una integracin por partes,
haciendo:
y haciendo tambin:
Puesto que v contiene un factor (x 2 .-.1 ) despus de la diferenciacin, el trmino uv se

desv anece en los lmites. El integrando v du tambin se desv anece. Por lo tanto, el v alor de
la integral original es igual a cero.
Obsrv ese que el integrando puede ser considerado como conteniendo el factor P0 .=.1 .
Hemos demostrado por lo tanto que todos los polinomios de Legendre Pl son ortogonales
a P0 para l..1 . Para l.=.0 la integral es elemental y tiene el v alor de 2, consistente con la
relacin de ortogonalidad dada arriba.
Una tcnica matemtica para poder obtener resultados importantes lo es el mtodo de los
mnimos cuadrados. El lector puede obtener ms detalles sobre las mltiples aplicaciones
de esta tcnica consultando la obra El ajuste de datos a frmulas de este mismo autor
disponible en Internet a trav s de Blogger. Con la ay uda de esta tcnica se puede confirmar
que las ex pansiones de funciones mediante series infinitas usando un conjunto de funciones
ortogonales de base son ex pansiones con las cuales se minimiza el error cometido en el
modelaje de una funcin. Considrese por ejemplo la representacin de una funcin f(t)
mediante una serie finita de Fourier en la cual se retiene solo una cantidad finita de los
primeros trminos truncndose los trminos restantes:
siendo Sk (t) la suma de los primeros (2k+1 ) trminos de una serie de Fourier que representa
a f(t) en el interv alo:
- T/2 t T/2
Si f(t) se aprox ima por Sk (t), es decir:
siendo k (t) la diferencia o error entre f(t) y su aprox imacin:
entonces el error cuadrtico medio Ek est definido por:
Si substitumos en esto ltimo las ex presiones anteriores para la serie finita de Fourier, se
tiene:
Considrese a Ek como una funcin de a 0 , a n y b n . Entonces para que el error cuadrtico

medio Ek sea un mnimo, sus deriv adas parciales con respecto a a 0 , a n y b n deben ser
iguales a cero, es decir:
Intercambiando el orden de la diferenciacin y la integracin, se tiene:
Si se usan las propiedades de ortogonalidad de las funciones seno y coseno, las integrales de
arriba se reducen a:
Estas son precisamente las condiciones para ev aluar las constantes a 0 , a n y b n de una serie
finita de Fourier. Y puesto que podemos inclur cualquier cantidad de trminos adicionales
sin limitacin alguna en la ev aluacin de la serie, el resultado para la serie finita puede
tomarse igualmente v lido para la ex pansin de Fourier usando una cantidad infinita de
trminos.
A hora v eremos la forma en la cual podemos utilizar el mtodo de los mnimos cuadrados
para justificar las ex pansiones llev adas a cabo usando polinomios de Legendre.
PROBLEMA: Demustrese que si una funcin f(x) es continua en el intervalo 1 ..x ..+1 , entonces el polinomio F(x) de grado n que es la mejor aproximacin por
mnimos cuadrados a f(x) est dado por:
en donde los coeficientes A l estn dados por:
Por la mejor aproximacin por mnimos cuadrados, se quiere decir que la integral:
es un mnimo.
Desde el punto de v ista del lgebra elemental, cualquier polinomio de grado n:
puede ser reagrupado como una suma de polinomios de Legendre:
Hay una transformacin nica entre los (n+1 ) coeficientes a i y los (n+1 ) coeficientes A l. El
caso triv ial es aqul en el cual A n .=.a n y A n-1 .=.a n-1 , pero de all hacia abajo la v erificacin
de las relaciones se v uelv e tediosa. El mtodo conv encional de mnimos cuadrados para
hacer una aprox imacin a una funcin f(x ) consiste en resolv er las n+1 ecuaciones
algebraicas simultneas (con 0..i..n):
para las n+1 a is. Una operacin equiv alente consiste en resolv er las n+1 ecuaciones:
Esta ltima integral puede ser ex pandida de la siguiente manera:
En v irtud de la ortogonalidad de los polinomios de Legendre, la ltima integral se
desv anece. Usando la relacin de ortonormalidad dada prev iamente para los polinomios de
Legendre, la penltima integral resulta ser 2/(2l+1 ). Por lo tanto, fijando la deriv ada con
respecto a A l igual a cero, obtenemos la n+1 ecuaciones independientes:
Esto ltimo se puede simplificar y reducir a lo siguiente:
De este modo, aunque la aprox imacin por mnimos cuadrados de la funcin f(x) por las dos
sumatorias Fn (x ) (del mismo grado n) dadas al principio implica que ambas sumatorias son
idnticas numricamente, el clculo de los coeficientes en la sumatoria:
no inv olucra la solucin de ecuaciones simultneas, porque las Pl. s son ortogonales
mientras que los x i s no lo son. Ms an, si uno desea mejorar la aprox imacin ex tendiendo
las series a un orden n may or, todos los n+1 coeficientes en la sumatoria:
tienen que ser recalculados mientras que en la otra sumatoria solo se requiere de los
coeficientes adicionales.
El par de ecuaciones:
muestra cmo una funcin arbitraria bien comportada puede ser ex presada en la forma de
una serie infinita de polinomios de Legendre. Cuando la serie es truncada a un orden finito n,
la serie es la mejor aprox imacin (bajo el criterio de los mnimos cuadrados) que se pueda
lograr mediante una serie de potencias de grado n. Esto, desde luego, est restringido a
funciones que estn definidas dentro del interv alo -1 ..x ..+1 .
PROBLEMA: Demustrese que si f(x).=.x n , en donde n es un entero positivo, entonces los
coeficientes A l de una expansin de la funcin en polinomios de Legendre est dada por:
y A l.=.0 de la otra manera.

Para resolv er este problema, queremos usar la relacin:
para ev aluar:
Como se hizo hincapi del hecho en el primer problema, los Pl. s son funciones impares
cuando l es impar, y son funciones pares cuando l es par. Una regla similar es v lida para x n .
Claramente la integral desde -1 hasta +1 se desv anece cuando el integrando es una funcin
impar, o sea en los casos:
n impar, l par n - l impar
n par, l impar n - l impar
Cuando el integrando es una funcin par, tenemos que hacer uso de alguna propiedad
especfica de los polinomios de Legendre que no sea la simetra de los mismos. Recurriendo
a la frmula de Rodrigues, podemos escribir lo siguiente para la relacin de los A l:
Para poder llev ar a cabo esta integracin, es necesario recurrir a una integracin por partes,
haciendo:
y haciendo tambin:
El trmino uv se desv anece en ambos lmites porque v contiene un factor no-diferenciado

de (x 2 .-.1 ). La integral remanente de v du es:
Este proceso es continuado un total de l v eces. Si n es menor que l, la integral se desv anece
en algn punto porque u ha sido reducido a una constante. Para l may or o igual a n, el
resultado tras l integraciones es igual a:
Consultando las tablas de integrales, encontramos que este tipo de integral puede ser
ev aluada mediante la funcin Gamma de la siguiente manera:
Puesto que estamos suponiendo que n y l se presentan en las combinaciones par-par o

impar-impar, los argumentos de ambas funciones Gamma en el numerador y el
denominador son de medio orden integral. Recurriendo nuev amente a las tablas, se tiene
que:
El resultado final para las A l es ahora:
Simplificando:
Obsrv ese con detenimiento que hemos utilizado aqu en la primera lnea tanto en el
numerador como en el denominador la notacin de doble factorial definida de la siguiente
manera:
n!! = n(n - 2)(n - 4)(n - 6) (4)(2)

para n impar. En su forma final, el numerador es tomado como la unidad para l.=.0.
Usando el resultado obtenido, podemos obtener lo siguiente:
PROBLEMA: Obtngase la relacin de ortogonalidad para los polinomios de Legendre

empezando con la siguiente ecuacin:
que claramente es vlida en virtud de la forma familiar de la ecuacin de Legendre que se

encuentra en el estudio de las ecuaciones diferenciales ordinarias:
Llvese a cabo la integracin del primer trmino con una integracin por partes. Escrbase
entonces una ecuacin comparable con l y l intercambiadas y rstense ambas ecuaciones
para demostrar la ortogonalidad. Para l.=.l encuntrese la constante de normalizacin
usando la frmula de Rodrigues y llevando a cabo una integracin l-veces por partes.
Hgase uso del hecho de que:
La integral final:
puede ser evaluada de las tablas en trminos de la funcin Gamma.
Para poder llev ar a cabo la integracin requerida, es necesario recurrir a una integracin
por partes, haciendo:
y haciendo tambin:
Claramente, el trmino uv se desv anece en los lmites de -1 y +1 . De este modo, la integral

queda del siguiente modo:
Restando la misma ecuacin con l y l intercambiados y simplificando un poco, obtenemos:
Claramente, si l.=.l entonces Pl y Pl son ortogonales.
Usando la frmula de Rodrigues, podemos escribir:
De nuev a cuenta, para poder llev ar a cabo la integracin, es necesario recurrir a una
integracin por partes, haciendo:
y haciendo tambin:
El trmino uv se desv anece en ambos lmites porque contiene un factor de (x 2 .-.1 ) despus
de que se ha llev ado a cabo la diferenciacin. En la integral del trmino v du que sobrev iv e,
el orden de una deriv ada ha sido incrementado mientras que el orden de la otra deriv ada ha
sido disminudo. Por lo tanto, despus de llev ar a cabo l integraciones por partes, se tiene:
De este modo, la potencia ms alta de x en la ex pansin de (x 2 .-.1 )l es x 2 l. Por lo tanto, la 2lav a deriv ada es simplemente igual a la constante (2l)!
Falta por ev aluar:
De las tablas de integrales, se tiene:
en donde (1 /2).=. y :
Recolectando todos los coeficientes, se tiene:
Con la ay uda del delta de Kronecker, tanto la condicin de ortogonalidad como la

normalizacin de los polinomios de Legendre se pueden ex presar en una sola ecuacin
como:
que es la relacin clsica encontrada usualmente en muchos tex tos.

La relacin de ortogonalidad para los polinomios de legendre bsicos Pl . puede ser
ex tendida hacia los polinomios asociados de Legendre Pl. m de orden m siempre y cuando
los dos polinomios sean del mismo orden m, la cual resulta ser:
Obv iamente, para m.=.0 esta relacin de ortogonalidad se reduce a la misma relacin de
ortogonalidad que acabamos de obtener en la solucin del problema anterior, pudindose
considerar por lo tanto como un caso especial de la misma.
Otra relacin importante dentro de la Mecnica Cuntica es la siguiente que nos permite
obtener las armnicas esfricas Y l. m a partir de los polinomios asociados de Legendre Pl. m :
PROBLEMA: Obtngase la armnica esfrica Y l. l usando la relacin anterior.

Usando la relacin proporcionada (en recuadro rosa) y haciendo m.=.l, se tiene:
Tomando la relacin dada arriba que nos permite obtener los polinomios asociadas de
Legendre Pl. m de los polinomios de Legendre Pl. :
y haciendo m.=.l en ella, combinndola adems con la frmula de Rodrigues:
se tiene entonces para Pl. l que:
A hora bien:
en donde todos los dems trminos de la ex pansin binomial inv olucran potencias de x
menores que 2l, las cuales se v an conv irtiendo en cero al ser diferenciadas 2l v eces. Por lo
tanto:
Pero:
De este modo:
con lo cual:
Finalmente, simplificando un poco ms:
A dems de las relaciones dadas para los polinomios de Legendre Pl. , hay otras relaciones
conocidas como las relaciones recursivas, de las cuales algunas de ellas son las siguientes:
PROBLEMA: Demustrese que las funciones:
son soluciones de la ecuacin de Legendre para l.=.0 y l.=.1 . Qu desventaja tienen estas
soluciones?
Para la primera relacin se tiene:
Substituy endo esto directamente en la ecuacin diferencial de Legendre, se tiene:
y por lo tanto se confirma que es una solucin. En cuanto a la segunda relacin, se tiene:
Substituy endo esto directamente en la ecuacin diferencial de Legendre, se tiene:
y por lo tanto se confirma que tambin es una solucin. Estas funciones son conocidas como
funciones de Legendre del segundo gnero, y tienen la desv entaja de que son irregulares en
x .=.1 en donde estallan.
Usando la primera de las relaciones recursiv as dadas arriba, escrita de la siguiente manera:
podemos obtener la siguiente funcin de Legendre del segundo gnero:
El coeficiente del logartimo muestra un aspecto familiar. Si usamos la misma ecuacin
recursiv a para ev aluar la siguiente funcin de Legendre del segundo gnero, encontramos
que:
y nuev amente el coeficiente del logaritmo muestra un aspecto familiar. Continuando con el
mismo procedimiento, podemos demostrar en forma plausible la siguiente relacin general:
A hora bien, podemos combinar ciertos productos de pares de armnicas esfricas

Y l. m sumando dichos productos para obtener polinomios de Legendre Pl. . El teorem a de
adicin de arm nicas esfricas permite ex presar cualquier polinomio de
Legendre Pl como una suma de productos de armnicas esfricas, razn por la cual se le
conoce como un teorema de adicin. Si usamos la siguiente definicin basada en el coseno
de un ngulo :
entonces, utilizando una ray ita horizontal puesta encima de una armnica esfrica
Y l. m (adems de utilizar el color rojo) para indicar que se debe tomar el conjugado complejo
de la armnica esfrica Y l. m , el enunciado matemtico de dicho teorema puede ser escrito
de la siguiente manera (en cada trmino, si tomamos el conjugado complejo de la segunda
armnica esfrica en lugar de la primera el resultado que se obtiene es el mismo):
poniendo a m como sub-ndice, o bien de la siguiente manera poniendo a m como superndice (ambas formas representan lo mismo):
PROBLEMA: V erifquese el teorema de adicin de armnicas esfricas para el caso en el

cual el nmero cuntico l.=.1 .
Cuando l.=.1 , los v alores que puede tomar m son -1 , 0 y 1 .
Para m.=.-1 , se tiene:
Para m.=.0, se tiene:
Por ltimo, para m.=.1 , se tiene:
La ev aluacin de la sumatoria procede entonces de la siguiente manera:
Simplificando un poco y usando la relacin trigonomtrica que se di arriba para definir al

coseno del ngulo , se tiene entonces:
Por lo tanto:
y el teorema de adicin de armnicas esfricas queda v erificado para l.=.1 .

La v erificacin del teorema de adicin de armnicas esfricas se puede llev ar a cabo del
mismo modo para otros v alores del nmero cuntico l. Por ejemplo, para l.=.2:
Ex iste una notacin alterna para la simbolizacin del teorema de adicin de armnicas
esfricas que se encuentra en algunos tex tos contemporneos de Mecnica Cuntica. Para
ello, definiremos dos v ectores k y r que tienen la misma longitud y el mismo punto de
origen en un sistema de coordenadas esfricas. Si definimos ambos v ectores como v ectores
unitarios (de longitud igual a la unidad) poniendo para ello un sombrero encima de cada
uno de dichos v ectores, entonces por la definicin usual que se le d al producto punto de
dos v ectores (como el producto de la magnitud de cada v ector multiplicado todo por el
coseno del ngulo que hay entre dichos v ectores) por un lado se tiene lo siguiente:
Sobre un sistema de coordenadas esfricas, uno de los v ectores unitarios puede estar
ubicado mediante las coordenadas (1 , 1 ) mientras que el otro v ector unitario puede estar
ubicado mediante las coordenadas (2 , 2 ), en una forma muy parecida a la de los siguientes
dos v ectores (los dos puntos en la superficie de la esfera separados por un ngulo comn ,
adems de estar especificados por los ngulos polares 1 y 1 que se muestran en la figura,
tambin estn separados por los ngulos azimutales 1 y 2 , aunque estos ltimos no se
muestran para no complicar ms la figura):
El ngulo que hay entre los dos v ectores unitarios es precisamente el mismo ngulo del
que hemos estado hablando en la relacin trigonomtrica utilizada en el teorema de adicin
de armnicas esfricas, y el cual adquiere ahora una may or claridad y perspectiv a.
Por otro lado, si adoptamos las siguientes notaciones alternas para los v ectores unitarios
que estamos utilizando en el caso que nos ocupa:
entonces podemos escribir de la siguiente manera el teorema de adicin de armnicas

esfricas:
PROBLEMA: Demustrese el teorema de Unsld que dice la suma de todos los orbitales
con el mismo nmero cuntico de momento angular orbital l es igual a una esfera (por
ejemplo, sumando todos los orbitales 7 f que en un tomo de hidrgeno comparten todos el
mismo nmero cuntico l, se forma una esfera).
Este teorema, demostrado por v ez primera por A lbrecht Unsld, puede ser demostrado
rpidamente usando la relacin que se acaba de dar, con el simple hecho de hacer iguales
los v ectores unitarios:
obtenindose:
Basta con v er el lado izquierdo para darnos cuenta de que lo que se tiene es una esfera de
radio unitario, la cual debe resultar de la sumatoria cuando esta se llev a a cabo sumando
todos los orbitales con el mismo nmero cuntico de momento angular orbital l.
En algunas circunstancias resulta deseable reemplazar el ex ponente imaginario de una
armnica esfrica asociado con el factor ex p(im) recurriendo para ello a la frmula de
Euler:
separando la parte real de la parte imaginaria dndoles designaciones ligeramente

diferentes, tal y como lo propusieron Philip Morse y Herman Feshbach en su libro Methods
of Theoretical Physics de la siguiente manera:
en donde:
y:
aclarndose de antemano que en este esquema Y (0 ) 0 ,0 no ex iste. Estas armnicas esfricas
son frecuentemente nombradas de acuerdo a los patrones de v alores positiv os o negativ os

que tomen sobre la superficie de una esfera, a saber:
Arm nicas zonales.- A quellas para las cuales m.=.0.
Arm nicas sectoriales.- A quellas para las cuales m.=.n.
Arm nicas teserales.- A quellas para las cuales m est comprendido entre
los v alores de cero y n.
En un principio, se v olv i costumbre graficar estas armnicas esfricas sobre la superficie
de una esfera unitaria delimitando las regiones con signos opuestos en lo que se conoce
como un mapa de contorno, como lo muestran los siguientes ejemplos en los cuales se tiene
una armnica zonal (ex tremo izquierdo), una armnica teseral (figura central) y una
armnica sectorial (ex tremo derecho):
Pintando las regiones de signo positiv o con un tono de gris y dejando las regiones con signo
negativ o con un tono blanco (o v icev ersa) se tiene algo un poco ms ilustrativ o:
Sin embargo, ev entualmente se lleg a la realizacin de que con la inclusin del factor
color usando los colores del arco iris para representar sobre la superficie de la esfera no
slo los v alores positiv os y negativ os de cada regin sino tambin los v alores intermedios
entre -1 y +1 se poda obtener una v isualizacin mucho mejor del v erdadero significado de
estas armnicas esfricas. Es as como tenemos algo como lo siguiente:
Un ejemplo sobre cmo se interpreta numricamente la escala de temperaturas lo

tenemos en los siguientes grficos en donde se muestra el termmetro de v alores
numricos en el lado izquierdo y en donde aparece un ejemplo de cada tipo de armnica
esfrica (la notacin usada coincide con la notacin que usualmente se le d a las armnicas
esfricas cuando son usadas para hacer coincidir el radio de la esfera con el radio de la
Tierra en el estudio de las v ariaciones del campo grav itacional de la misma, siendo en las
coordenadas esfricas geocntricas r el radio de la esfera (globo terrqueo), la latitud y
la longitud:
Puesto que los v alores que pueden tomar las armnicas esfricas definidas de esta manera
sobre la superficie de una esfera estn limitadas a los v alores ex tremos del interv alo 1 ..x ..+1 , con la finalidad de poder darle una mejor v isualizacin e interpretacin a la
v ariacin de las funciones se utiliza la escala v isual de temperaturas en la cual el color azul
se le asigna el v alor ms negativ o o fro, o sea -1 , y el color rojo se le asigna el v alor ms

positiv o o caliente, o sea +1 . Inspeccionando las tres grficas tridimensionales dadas
arriba, se puede apreciar que la funcin zonal ex hibe lo que parece ser una div isin de la
esfera en zonas parecidas en cierto modo a lo que en cuestin de temperaturas ex tremas
ocurre en la Tierra de polo a polo; la funcin sectorial por su parte div ide la superficie de la
esfera en sectores cuy os v alores ex tremos son ms manifiestos a lo largo de lo que v endra
siendo el ecuador de la esfera; mientras que la funcin teseral subdiv ide la superficie de la
esfera en lo que parece ser una teselacin a manera de mosaicos.
Las siguientes figuras (las cuales se pueden apreciar un poco mejor amplindolas) ilustran
los planos imaginarios que atrav iesan la esfera unitaria produciendo una armnica esfrica
zonal para l.=.6 y m.=.0 (ex tremo izquierdo), una armnica teseral para l.=.6
y m.=.3 (figura central) y una armnica sectorial (ex tremo derecho) para l.=.6 y m.=.6:
Si multiplicamos una armnica esfrica definida sobre la superficie de una esfera unitaria
por una funcin que v are con el tiempo como cos(,t), obtendremos una armnica esfrica
animada cuy os v alores oscilan de positiv o a negativ o y v icev ersa sobre la superficie de la
esfera. Usando como referencia la misma escala de temperaturas definida arriba mediante
la cual al v alor mx imo (positiv o) que puede tomar la armnica esfrica se le asigna un
color rojo y al v alor mnimo (negativ o) se le asigna un color azul, a continuacin se

mostrarn unos ejemplos de v ariaciones en funcin del tiempo de armonicas esfericas
Y (1 ) m n multiplicadas por cos(,t), las cuales al adquirir una dependencia sobre la v ariable
tiempo se pueden apreciar mejor en los siguientes tres grficos animados elaboradao por
Catherine Potel y Michel Bruneau de la Univ ersit du Maine en Francia:
arm nica esfrica zonal Y (1 ) 3 ,0 (m.=.0):
arm nica esfrica zonal Y (1 ) 3 ,0 (m.=.n):
arm nica esfrica teseral Y (1 ) 3 ,2 :
No hay que perder de v ista el hecho de que estos mapas de contorno llev ados a cabo sobre
la superficie de una esfera son proy ecciones de armnicas esfricas que a su v ez estn
definidas en base a los polinomios de Legendre, como lo sugiere la siguiente figura:
Ms recientemente, y con la ay uda de software para graficados tridimensionales ms

sofisticados, ha sido posible graficar sobre la superficie de la esfera unitaria no slo los
v alores entre -1 y +1 usando colores para identificar el v alor en cada punto, sino que es
posible darle tambin una pequea elev acin (a manera de monte o montaa) sobre la
superficie de la esfera a los v alores positiv os y una pequea depresin por debajo de la
superficie de la esfera a los v alores negativ os, con un v alor de cero (que corresponde a un
color entre el amarillo y el ciano) actuando como la superficie de referencia y con la altura o
la depresin con respecto a dicha superficie de referencia determinando el v alor numrico
de cada punto, dando de este modo dos referentes (color y altura relativ a) para poder
apreciar mejor lo que est ocurriendo. Este tipo de v isualizaciones es precisamente lo que
puede dar origen a las nuev as ideas que permiten seguir av anzando el campo de la ciencia.
Se v uelv e necesario asentar aqu otro teorema importante relacionado con las armnicas
esfricas que dice: Si la funcin g(,) es cuadrticamente integrable (en literatura tcnica
inglesa, square integrable) sobre un ngulo slido completo (cubriendo todo el espacio
angular interno de una esfera) entonces la funcin g(,) puede ser escrita como una
combinacin linear de armnicas esfricas. A l decir que la funcin g(,) debe ser
cuadrticamente integrable, se da a entender que la doble integral:
ex iste y tiene un v alor finito. Esta requisito es conocido como una de las condiciones de
Dirichlet.
Por ltimo, y sin entrar en may ores detalles, se agregar aqu que las armnicas esfricas
deriv an su nombre del hecho de que son soluciones a la ecuacin de Laplace, estando
adems especificadas sobre la superficie de una esfera como lo hemos v isto arriba.
P U B L I CA DO P OR A R MA N DO MA R T N E Z T L L E Z E N 1 8 :5 8
Entrada ms reciente
Pgina principal
Entrada antigua

Polinomios de Legendre Aspectos Matemáticos

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Polinomios de Legendre Aspectos Matemáticos

Hochgeladen von

Copyright:

Verfügbare Formate

0

Polinomios de Legendre: aspectos matemticos

las siguientes ex presiones:

PDF creado por htmlapdf.com a travs de la Interfaz de programacin

PDF creado por htmlapdf.com a travs de la Interfaz de programacin

PDF creado por htmlapdf.com a travs de la Interfaz de programacin

PDF creado por htmlapdf.com a travs de la Interfaz de programacin

Momento angular orbital: funciones de

La may or utilidad de los polinomios de Legendre en los estudios de Mecnica Cuntica se

Momento angular orbital: funciones de

una funcin cosenoidal:

obtiene cuando se substituy e la v ariable independiente de los polinomios de Legendre por