Está en la página 1de 56

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:

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

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
Momento angular: tratamiento matricial
II
Momento angular: tratamiento matricial
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

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

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

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

Momento angular orbital: funciones de


onda I

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

Momento angular orbital: funciones de


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

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

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

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

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
Espectroscopas de resonancia
magntica II
Espectroscopas de resonancia
magntica III
Espectroscopas de resonancia
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):

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

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:

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

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

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

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

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

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:

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

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 )

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

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:

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

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:

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

- 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:

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

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:

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

Si se usan las propiedades de ortogonalidad de las funciones seno y coseno, las integrales de
arriba se reducen a:

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

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:

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

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):

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

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

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

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

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

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:

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

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:

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

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:

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

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:

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

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:

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

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.

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

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.

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

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:

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

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 :

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

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:

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

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. :

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

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:

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

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:

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

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:

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

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:

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

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

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

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

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

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:

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

Por ltimo, para m.=.1 , se tiene:

La ev aluacin de la sumatoria procede entonces de la siguiente manera:

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

Simplificando un poco y usando la relacin trigonomtrica que se di arriba para definir al


coseno del ngulo , se tiene entonces:

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

Por lo tanto:

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

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

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

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):

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

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:

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

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:

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

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

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

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:

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

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:

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

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:

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

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

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

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

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

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):

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

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:

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

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

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

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

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