Vous êtes sur la page 1sur 62

0

More

Next Blog

Create Blog

Sign In

La Mecnica Cuntica
MA R TE S , 1 1 DE A GOS TO DE 2 009

Operadores tensoriales
Antes de dar un inicio formal al tema de esta entrada, a manera de repaso
se considerar el siguiente:
PROBLEMA: Dado un operador mecnico-cuntico Q = (Q1 ,Q2 ,Q3 )
cuyas tres componentes Q1 , Q2 y Q3 en un sistema de coordenadas
S E GU I DOR E S

rectangulares Cartesianas son matrices, explquese el significado de la

Participar en este sitio

siguiente relacin:

Google Friend Connect

Miembros (277) Ms

Demustrese asimismo a partir de esta relacin que los elementos


Ya eres miembro? Iniciar sesin

open in browser PRO version

matriciales de cada componente Cartesiano matricial Qk :

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

A R CHI V O DE L B L OG

se transforman como vectores bajo la operacin matricial indicada.

2009 (1 36)
agosto (1 36)

Considerando el tpico espacio Euclideano tridimensional, de la relacin


proporcionada se obtienen las siguientes tres relaciones:

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

Reflex ionando sobre la naturaleza de estas relaciones, puede considerarse


a los operadores (matrices) Qk como operadores a los cuales no se les ha
aplicado rotacin alguna en el espacio tridimensional Euclideano,
mientras que los operadores (matrices) UQk U-1 son operadores que han
sido sometidos a una rotacin. Bajo esta luz, la ecuacin:

La regla de multiplicacin de
Heisenberg
Observ ables compatibles e
incompatibles
Oscilador armnico simple:
solucin matricial
Matrices y probabilidad
open in browser PRO version

puede ser considerada como una ecuacin que conecta a los operadores

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Matrices y probabilidad

no rotados con los operadores despus de que han sido sometidos a una

El principio de incertidumbre I

rotacin. El lado derecho de la ecuacin nos dice que los operadores

El principio de incertidumbre II

despus de una rotacin son simplemente combinaciones lineales de los

El ex perimento Stern-Gerlach
El spin del electron

operadores originales antes de ser aplicada la rotacin indicada.


Aplicando un bra de Dirac por el lado izquierdo y un ket de Dirac por el
lado derecho a las relaciones:

Momento angular: tratamiento


matricial I
Momento angular: tratamiento
matricial II
Momento angular: tratamiento
matricial III
La energa rotacional

se obtiene:

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

Poniendo atencin en esto ltimo, resulta ev idente que esta es la misma

Rotaciones de las matrices de


Pauli

v ector ordinario:

open in browser PRO version

relacin de transformacin que la relacin de transformacin para un

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

El aspecto estadstico de la
Mecnica Matricial
Ev olucin temporal de los
sistemas fsicos
Matrices continuas

Se concluy e entonces que cada uno de los elementos matriciales:

Ondas de materia
La ecuacin de Schrdinger
Solucin matemtica de la
ecuacin de onda
Solucin numrica de la
ecuacion de Schrdinger

se transforman al igual que las componentes de un v ector.

Interpretacin probabilista de
I

Ahora bien, ex isten cantidades interrelacionadas en la fsica tales como la

Interpretacin probabilista de
II

cual de acuerdo a la segunda ley de Newton y bajo un sistema de

Operadores y esperanzas
matemticas I
Operadores y esperanzas
matemticas II

open in browser PRO version

aceleracin a de un cuerpo y la fuerza F que se le aplica a dicho cuerpo, lo


coordenadas rectangulares Cartesianas, trae como consecuencia que la
aceleracin que ex perimenta una partcula tendr tres componentes
independientes de aceleracin ocasionadas por las componentes
respectiv as de la fuerza que le es aplicada a la partcula:

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

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

De este modo, la aceleracin a y de la partcula a lo largo del eje-y depende

Ondas de simetra circular y


esfrica

nica y ex clusiv amente de la componente Fy de la fuerza F, y no depende


en lo absoluto de las componentes de la fuerza Fx y Fz.

La notacin bra-ket de Dirac


El espacio de Hilbert I
El espacio de Hilbert II

Sin embargo, no es inusual encontrar situaciones en las cuales hay a un


traslape inev itable de efectos que debe ser tomado en consideracin.
Considrese el caso de un tomo esfricamente simtrico que es

Operadores Hermitianos

sumergido en un campo elctrico E. Cuando esto ocurre, se induce en el

Los operadores escalera I

tomo un momento de dipolo elctrico que apunta en la misma

Los operadores escalera II


El principio de incertidumbre,
rev isitado

direccin en la cual apunta el campo elctrico E que est induciendo


dicho momento de dipolo:
= E

El acto de medicin
Momento angular orbital:
open in browser PRO version

Aqu es una constante de proporcionalidad conocida como la

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

anlisis ondulatorio I
Momento angular orbital:
anlisis ondulatorio II
Momento angular orbital:
funciones de onda I
Momento angular orbital:
funciones de onda II

polarizabilidad elctrica. En esta relacin se supone que se est aplicando


al caso de un tomo esfricamente simtrico. Pero en el caso de una
molcula que consta de dos o ms tomos, la simetra esfrica se esfuma, y
cada componente ( x , y , z) del momento de dipolo inducido puede
depender no de una sino de todas las componentes (Ex ,Ey ,Ez) del campo
elctrico E, algo descrito por un conjunto de ecuaciones como el
siguiente:

Polinomios de Legendre:
aspectos matemticos
La funcin de onda radial
La funcin de onda del
momento angular del spin
El principio de ex clusin de
Pauli

Como puede v erse, ha dejado de ser una simple constante numrica,

El proceso de construccin
Aufbau

porque ahora se requiere todo un conjunto div erso de v arias constantes

El acoplamiento LS

ecuaciones, ex presado en forma matricial, tiene el siguiente aspecto:

numricas para poder interrelacionar los efectos. Este sistema de

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
open in browser PRO version

La matriz , resaltada de color azul, la cual nos describe la polarizabilidad


de una molcula cualesquiera, es ahora algo que llamamos un tensor, una

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

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

palabra deriv ada de la palabra francesa tenseur por su aplicacin por v ez


primera en el estudio de la elasticidad al describirse las deformaciones de
un cuerpo elstico bajo la accin de v arias fuerzas laterales tensionando
las caras del cuerpo. Aunque se requieren de nuev e componentes para
especificar completamente al tensor de polarizabilidad , en realidad solo
seis de dichas componentes son independientes, y a que se puede
argumentar que x y .=.y x , x z.=.zx y y z.=.zy .

El enlace molecular II

Al considerar ciertos problemas que tienen que v er con el momento

La hibridacin de los orbitales


atmicos

angular, resulta til definir una clase de operadores que tienen ciertas

La teora de los orbitales


moleculares
Teora del campo cristalino

relaciones de conmutacin en comn. Empezaremos designando a este


grupo de operadores como operadores de clase T , los cuales tienen los
siguientes conmutadores con cualquier operador de momento angular tal
como el operador J:

Operadores clase T

[Jx , Tx ] = 0

El espacio-posicin y el
espacio-momentum I

[Jx , Ty ] = iTz

El espacio-posicin y el
espacio-momentum II

[Jx , Tz] = - iTy

El espacio-posicin y el
espacio-momentum III

Estos operadores clase T , definidos por su relacin con los operadores del

El espacio-posicin y el
espacio-momentum IV
La partcula libre I
La partcula libre II

momento angular, son conocidos hoy en da como operadores


tensoriales (lo cual ex plica la seleccin del smbolo T que se ha hecho
aqu para representarlos). Considerando la representacin vectorial en
coordenadas rectangulares Cartesianas del operador del momento
angular J que est bajo consideracin:

La ecuacin de mov imiento de


open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Heisenberg
Mecnicas Matricial y
Ondulatoria: equiv alencia

J = (Jx , Jy , Jz)
podemos ir un poco ms lejos, definiendo la siguiente relacin:

Ev olucin temporal de las


ondas de materia I

[J , T 1 T 2 ] = 0

Ev olucin temporal de las


ondas de materia II

Aunque no hay a sido obv io al principio, para que esta ltima relacin sea

El operador de traslacin
El operador de ev olucin del
tiempo

cierta se requiere que el operador del momento angular J conmute con la


cantidad T 1 T 2 , lo cual solo puede ser cierto si esta ltima cantidad es
una constante numrica, esto es, un operador escalar; o ms
precisamente y con may or generalidad, un operador tensorial de

Las representaciones de
Heisenberg y Schrdinger

orden cero. Como un caso especial de esta cantidad, podemos hacer

Operadores de rotacin I

para escribir:

T 1 .=.T 2

Operadores de rotacin II
[J , T2 ] = 0

Los grupos de rotacin I


Los grupos de rotacin II
Los grupos de rotacin III

El v ector radial r, el v ector momentum P, e inclusiv e el mismo v ector


momento angular J, as como sus productos v ectoriales cruz, caen dentro

La simetra como piedra


angular

de esta categora de operadores clase T . De hecho, cualquier cantidad

Representaciones irreducibles I

coordenadas como lo hace el vector radial r cae dentro de esta

Representaciones irreducibles
II

categora.

Los coeficientes ClebschGordan I


Los coeficientes Clebschopen in browser PRO version

vectorial que se transforme bajo una rotacin apropiada de las

El uso de la palabra tensorial para describir estos operadores de clase


T no es accidental, y a que estn relacionados con las propiedades de
esos objetos matemticos llamados tensores que resultan indispensables

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Los coeficientes ClebschGordan II

en temas importantes tales como la Teora de la Relativ idad en donde se

Los coeficientes ClebschGordan III

tales como sus curv aturas cuatri-dimensionales as como las

Operadores tensoriales

coordenadas a otro dentro de esos espacios relativ istas cuatri-

El momento de cuadripolo

dimensionales. En el Anlisis Tensorial, suponiendo que se cuenta con dos

El teorema Wigner-Eckart I
El teorema Wigner-Eckart II

describen las propiedades de espacios relativ istas de cuatro dimensiones


especificaciones para poder dar el brinco de un cierto sistema de

sistemas de coordenadas tales como (el primero es el y a conocido sistema


de coordenadas rectangulares Cartesianas, mientras que el segundo es el
sistema de coordenadas cilndricas):

Mecnica Estadstica Cuntica I


Mecnica Estadstica Cuntica
II

(x 1 , x 2 , x 3 ) = (x , y , z)

Mecnica Estadstica Cuntica


III

(x 1 , x 2 , x 3 ) = (, , z)

Mecnica Estadstica Cuntica


IV

se define formalmente un tensor de orden uno como una cantidad:


T = (T1 , T2 , T3 , T4 , ... )

Mecnica Estadstica Cuntica


V
Mecnica Estadstica Cuntica
VI

cuyas N componentes se transforman de un sistema de coordenadas al


otro acuerdo con la siguiente regla:

La matriz densidad I

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

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
Esparcimiento clsico de
partculas
Esparcimiento de las ondas de
luz
Aspectos matemticos de las
ondas esfricas
El mtodo de las ondas
parciales

Esto lo podemos definir de una manera un poco ms compacta como


sigue:

La aprox imacin de Born I


La aprox imacin de Born II
El teorema ptico
La ecuacin LippmannSchwinger
teorema
I
Are you a developer?
Try out the HTML to PDF API
open in browser El
PRO
versionadiabtico

pdfcrowd.com

El teorema adiabtico I
El teorema adiabtico II
La Mecnica Cuntica
Relativ ista
Recursos de software

Si recurrimos a la convencin de sumacin de Einstein, la cual


recomienda que siempre que hay a dos ndices repetidos en una sumatoria
se prescinda del smbolo de sumacin entendindose que hay una
sumacin implcita sobre los ndices repetidos, lo anterior lo podemos
representar de la manera ms compacta posible:

Constantes fundamentales y
factores de conv ersin
Bibliografa

DA TOS P E R S ON A L E S

En realidad, y de acuerdo a esta definicin que se ha dado, un tensor de


orden uno es un vector. Si las nuev as componentes definen al tensor de
orden uno como A, y si lo nico que estamos llev ando a cabo es una
rotacin de las coordenadas o un cambio de un sistema de coordenadas a
otro sistema de coordenadas para describir al mismo vector (tensor) cuy a
A R MA NDO MA R T NEZ T L L EZ
V E R TODO MI P E R F I L

longitud permanece intacta, entonces la longitud del v ector o tensor de


orden uno permanece invariante ante el cambio de coordenadas del
mismo modo que la magnitud de una cantidad escalar (un simple nmero
como la temperatura o la longitud de onda) tambin permanece
inv ariante bajo un cambio en el sistema de coordenadas que lo ubica. Este
es quiz el concepto ms importante que suby ace detrs de la idea y el uso
de los tensores, la inv ariancia.
PROBLEMA: Un tensor T de orden uno (un vector) tiene las siguientes
componentes en coordenadas rectangulares Cartesianas:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Encuntrense las componentes del tensor en coordenadas esfricas.


Usando la notacin tensorial alterna de super-ndices para denotar en
forma generalizada las coordenadas, se pueden escribir las siguientes
equiv alencias:

La transformacin de coordenadas rectangulares Cartesianas a


coordenadas esfricas, en ambos tipos de notacin (notacin
conv encional y notacin tensorial de super-ndices) est dado por las
relaciones:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Usando la definicin fundamental del tensor de orden uno que se ha dado


arriba, y empleando primero la notacion tensorial de super-indices para
despus regresar a la notacin conv encional, encontramos que la primera
componente T1 del tensor T estar dada en coordenadas esfricas por (es
importante no confundir los super-indices tensoriales usados para
distinguir componentes coordenados con ex ponentes que de otra manera
indican una v erdadera ex ponenciacin numrica!):

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Procediendo de la misma manera, podemos obtener la segunda


componente T2 del tensor T en coordenadas esfricas:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Y por ltimo, obtenemos la tercera componente T3 del tensor T en


coordenadas esfricas:

Definidos lo que son un tensor de orden uno (un v ector) y un tensor de


open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

orden cero (un escalar), el siguiente paso natural consiste en definir un


tensor de orden dos como todo aquello cuy as N2 componentes Tqs se
transformen de un sistema de referencia a otro de la siguiente manera:

Esta definicin dada para un tensor de orden dos puede ser generalizada
de modo natural para definir un tensor de orden tres, o un tensor de orden
cuatro, o un tensor de cualquier orden.
Un caso muy especial, que es el que realmente nos interesa en el estudio
de la Mecnica Cuntica, es aqul en el cual, generalizando la operacin de
rotacin aplicada a un v ector V cuy a longitud permanece rgida mediante
el uso de una transformacin R.=.(Rij ) cuy as componentes (acomodadas
en una matriz) especifican una matriz ortogonal:

se define un tensor T de la siguiente manera recurriendo tambin a


open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

matrices ortogonales:

Esto puede tomarse como la definicin general de un tensor


Cartesiano.
En el caso de un tensor de orden dos, decimos que dicho tensor es un
tensor simtrico cuando el intercambio de dos de sus ndices en la
ex presin que define al tensor no slo nos produce la misma ex presin
(los mismos componentes) sino que adems se mantiene el mismo signo
intacto:

En cambio, cuando hay una inv ersin de signo al llev arse a cambio el
intercambio de los dos ndices en la ex presin que define al tensor, se dice
que se tiene un tensor antisimtrico o hemisimtrico:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Esta definicin puede ser generalizada para tensores de orden superior.


Por ejemplo, en el caso del siguiente tensor de orden cinco para el cual:

se puede decir que este tensor T es simtrico en el segundo y el quinto


ndices, y es antisimtrico en el primero y el tercer ndices.
Los tensores Cartesianos, tal y como estn definidos, no son lo mejor en
cuestiones tensoriales que puede utilizarse dentro de la Mecnica
Cuntica. En relacin a esto, un ejemplo sencillo frecuentemente citado
recurre a la definicin de una dada o didica, descrito por algunos
educadores como un artificio burdo para tratar de ex tender el Anlisis
V ectorial ordinario para cubrir el tema de los tensores de orden dos. La
dada consiste en adjuntar los tres componentes de dos v ectores
tridimensionales A.=.(A i ) y B.=.(Bj ), tomando el producto Cartesiano de
los mismos para especificar por multiplicacin directa los nuev e
elementos de un tensor T .=.(Tij ) de segundo orden:

Un tensor Cartesiano como ste frecuentemente presenta el problema de


open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

que es reducible, pudiendo ser descompuesto en objetos que se


transforman de distinta manera bajo operaciones de rotacin. Si tomamos
la dada y llev amos a cabo las siguientes operaciones:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

lo que obtenemos al lado derecho del signo de la igualdad son tres


componentes independientes (resaltados con colores distintos). El primer
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

trmino (en color negro), AB, es un producto punto (escalar) de los dos
v ectores, o sea, un nmero, un tensor de orden cero, el cual obv iamente
permanecer inv ariante bajo operaciones de rotacin. El segundo trmino
(en color azul) es en realidad un producto v ectorial cruz de los dos
v ectores, AB, o sea un tensor de orden uno, con tres componentes
independientes (al ser un v ector tridimensional). Y el tercer trmino (en
color magenta) es un tensor simtrico libre de traza (en su representacin
matricial), o sea un tensor de orden dos, con cinco componentes
independientes (normalmente son seis componentes independientes, pero
al carecer de traza el nmero de componentes independientes se reduce a
cinco). El numero de componentes independientes que se tienen despus
de las operaciones efectuadas arriba es el mismo que el nmero de
componentes independientes que se tenan en un inicio:
33 = 1 + 3 + 5
Si estudiamos esto ltimo con detenimiento, descubriremos que los
nmeros que aparecen del lado derecho de la igualdad tienen las mismas
multiplicidades de los objetos identificados mediante su momento angular
con l.=.0, l.=.1 y l.=.2, respectiv amente:

Esto nos sugiere que la dada ha sido descompuesta en tensores que


open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

pueden transformarse como las arm nicas esfricas Y lm (las cuales


fueron introducidas en las entradas tituladas Momento angular orbital:
funciones de onda). Lo que se ha mostrado arriba es el ejemplo ms
sencillo que pueda haber de la reduccin de un tensor Cartesiano a
tensores esfricos irreducibles. Esto ltimo es un hecho, porque todos
los tensores esfricos son irreducibles, tal y como lo son las armnicas
esfricas con las cuales se corresponden.
Si aquello con lo que estamos trabajando son tensores de orden uno
(v ectores), entonces la notacin que manifiesta sus componentes tanto en
representacin Cartesiana como en representacin esfrica es la siguiente:

Se puede demostrar que la relacin entre los componentes de un tensor


Cartesiano de orden uno y un tensor esfrico de orden uno son:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Esto mismo es ex presado a v eces en notacin ms conv encional como la


siguiente:

De esto ltimo, podemos obtener fcilmente las relaciones de


transformacin inv ersas:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Una operacin muy utilizada en el Anlisis V ectorial es aquella que


inv olucra el producto punto entre dos v ectores Cartesianos A y B,
definida de la siguiente manera:

V ale la pena comparar esta definicin con la definicin del producto


punto entre dos v ectores esfricos U y V:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Antes de entrar en may ores detalles, anotaremos aqu un ejemplo de un


tensor esfrico de orden k. Empezaremos tomando la armnica esfrica
Y lm (,). La armnica esfrica puede ser especificada no en funcin de los
ngulos y sino en funcin del v ector unitario n, o sea como Y lm (n), en
donde el v ector n es la orientacin que est a su v ez fijada por los ngulos
y en coordenadas esfricas. Si reemplazamos al v ector unitario n con
un v ector V el resultado ser que tendremos un tensor esfrico de orden k
(en lugar de l) con un nmero cuntico magntico q (en lugar del nmero
cuntico m). Esto establece la siguiente correspondencia entre el tensor
esfrico y la armnica esfrica:

Para el caso especfico en el cual k.=.1 , tmese la armnica esfrica para la


cual l.=.1 , y aplquense los siguiente reemplazos:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Entonces, para la armnica esfrica:

el tensor esfrico correspondiente ser:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Del mismo modo, para la armnica esfrica (el factor puesto en color rojo
no llev a peso alguno en esto y puede ser borrado):

el tensor esfrico correspondiente ser:

Y en lo que respecta a la armnica esfrica:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

el tensor esfrico correspondiente ser:

PROBLEMA: Dadas las siguientes expresiones dentro de un sistema de


coordenadas rectangulares Cartesianas:

escrbanse dichas expresiones como componentes de un tensor esfrico


irreducible de orden 2.
Tomando a las armnicas esfricas Y 2 m (con m.=.0, m.=.1 y m.=.2)
como los componentes de un tensor esfrico irreducible de orden 2,
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

entonces empezando con la relacin:

que en realidad son dos relaciones en una sola se obtiene desarrollando el


ex ponente en el lado derecho:

Tenemos, pues, dos relaciones, una para cada signo:

Despejando, se tiene:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Restando la segunda relacin de la primera, obtenemos el primer


resultado deseado:

Sumando (en v ez de restar) las dos relaciones, con lo cual se cancelan los
trminos imaginarios, se obtiene el otro resultado deseado:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Para obtener el tercer resultado que nos falta, recurriremos a la siguiente


relacin que agregaremos a la lista de relaciones dadas arriba, ignorando
el factor de fase (destacado en color rojo) por tratarse de un parmetro
que es inconsecuente en las mediciones fsicas:

De nuev a cuenta, se tienen dos relaciones en una sola, las cuales son:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Despejando en ambas, se tiene:

De este modo, la tercera relacin que nos faltaba v iene siendo:

Hay , pues, dos tipos de tensores, los tensores Cartesianos, y los


tensores esfricos. Y si bien los tensores Cartesianos son deseables en
ramas del conocimiento tales como la Ingeniera Mecnica o la Ingeniera
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

ramas del conocimiento tales como la Ingeniera Mecnica o la Ingeniera


Elctrica, resulta ms v entajoso trabajar en la Mecnica Cuntica con los
tensores esfricos precisamente porque los tensores Tq (k ) son
irreducibles al igual que lo son sus contrapartes las armnicas esfricas
Y lm .
Una manera de confirmar que los tensores esfricos se comportan de la
misma manera bajo rotaciones que los tensores Cartesianos es considerar
un tensor esfrico de orden 1 , o sea, un vector esfrico. En el material
prev io que v imos en las entradas correspondientes a los grupos de
rotacin, se demostr que la matriz reducida de rotacin d(.j) en funcin
de los ngulos de Euler para un momento angular .j igual a 1 , o sea d(1 ) (la
cual prescinde de los factores de fase que son inconsecuentes en las
mediciones fsicas) suponiendo una rotacin en torno al eje-y consta de
los siguientes elementos:

Podemos simplificar esto un poco de la siguiente manera:


open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

A continuacin, tomaremos un tensor esfrico de orden 1 , o sea un vector


esfrico V q (1 ) :

Despus de serle aplicada una rotacin a este v ector esfrico en un ngulo


en torno al eje-y , el nuev o v ector esfrico V q (1 ) : estar especificado por
un conjunto distinto de componentes:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

La ev aluacin de las componentes del v ector esfrico que ha sido


sometido a una operacin de rotacin con la matriz de rotacin d(1 )
queda especificada de la siguiente manera (pre-multiplicando el v ector
esfrico inicial por la matriz de rotacin):

De una manera ms ex plcita:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Injertando aqu las componentes Cartesianas (V x ,V y ,V z) en substitucin


de cada una de las componentes (V +1 (1 ) ,V 0 (1 ) ,V -1 (1 ) ) del v ector esfrico
y desarrollando, llegamos al siguiente resultado que podramos llamar (1 ):
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

En el entorno de rotaciones llev adas a cabo estrictamente en un sistema


de coordenadas rectangulares Cartesianas, sabemos y a que una rotacin
en torno al eje-y en una magnitud angular igual a produce el siguiente
conjunto de componentes:

Por lo tanto, en funcin de las equiv alencias que hay entre los v ectores
Cartesianos ordinarios y los v ectores esfricos, llegamos al siguiente
resultado que podemos llamar (2):

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Esto nos confirma que los resultados que esperamos obtener de una
transformacin de un tensor esfrico V q (1 ) bajo una operacin de
rotacin es lo mismo que lo que podemos esperar obtener de las
propiedades de una transformacin del v ector Cartesiano V cuando se
llev a a cabo la rotacin en torno al eje-y . Y puesto que la designacin de
los ejes de rotacin es arbitraria, esta conclusin se puede tomar como
v lida cuando la rotacin se llev a a cabo en torno al eje-x o en torno al
eje-z.
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

V eamos nuev amente el problema puesto al principio de esta entrada, en el


cual se le di una interpretacin a la ex presin:

Aqu U puede representar cualquier operador, el que sea, y al cual le


impondremos como nica condicin que sea un operador unitario.
Supngase que U es una matriz, especficamente un operador de rotacin
D(R). Entonces la ex presin queda escrita de la siguiente manera
(obsrv ese que en lugar del operador inverso D-1 estamos usando la
definicin ms general del transconjugado D , con la mira puesta en el
hecho de que estaremos trabajando con matrices):

Si redefinimos al operador Qk como un operador tensorial T q (k ) ,


entonces inspirados en esta ltima relacin podemos tratar de darle a un
operador tensorial esfrico la siguiente definicin formal:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Esta es, de hecho, la definicin formal de un tensor esfrico de orden


k. Una definicin completamente equiv alente basada en lo anterior es la
siguiente (obsrv ese el intercambio del transconjugado D en el lado
izquierdo de la igualdad con D, obsrv ese tambin en el lado derecho el
intercambio en el orden de los sub-ndices del elemento matricial as
como en la toma del conjugado complejo de dicho elemento resaltada con
el asterisco y el color rojo):

Cualquiera de las dos definiciones que se estn dando aqu para un tensor
esfrico de orden k generalmente son utilizadas como punto de inicio
ax iomtico para obtener resultados posteriores. Falta por demostrarse la
v alidez de las mismas, como falta tambin por v erse, desde luego, que
estas definiciones sean consistentes con lo que se est manejando. En la
notacin empleada en estas definiciones, para k.=.0 el tensor T q (0 ) es un
tensor esfrico de orden 0, lo cual v iene siendo el equiv alente de un
escalar (una constante numrica) en los tensores Cartesianos ordinarios,
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

habiendo solo un v alor posible para q que es cero, razn por la cual
cuando hablamos de T q (0 ) en realidad estamos hablando simplemente de
T 0 (0 ) . Para k.=.1 el tensor T q (1 ) es un tensor esfrico de orden 1 , lo cual
v iene siendo el equiv alente de un vector en los tensores Cartesianos
ordinarios, habiendo tres componentes para q identificadas como -1 , 0 y
1 ; razn por la cual cuando hablamos de T q (0 ) estamos hablando de T 1

(0 ) , T (0 ) y T (0 ) . Para k.=.2 el tensor T (2 ) es un tensor esfrico de


0
1
q

orden 2, y habr cinco v alores posibles de q que son -2, -1 , 0, 1 y 2; razn


por la cual cuando hablamos de T q (2 ) estamos hablando de T -2 (0 ) , T 1

(0 ) , T (0 ) , T (0 ) y T (0 ) . Del mismo modo, para k.=.3 se tendr un


0
1
2

tensor esfrico de orden tres, el cual constar de siete componentes; para


k.=.4 se tendr un tensor esfrico de orden cuatro, el cual constar de
nuev e componentes; y as sucesiv amente. En general, un tensor esfrico
de orden k constar de 2k+1 componentes.
Un teorema esencial en lo que toca a los tensores esfricos es el que nos
garantiza la posibilidad de poder construr un tensor esfrico irreducible a
partir de dos tensores esfricos tambin irreducibles: Dados dos tensores
esfricos irreducibles X y Z de orden k1 y k2 respectiv amente:

entonces:
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

es un tensor esfrico irreducible de orden k. Obsrv ese en el lado derecho


de la igualdad que el coeficiente numrico que v a anex ado a cada
producto de los elementos matriciales de los operadores tensoriales es un
coeficiente Clebsch-Gordan. De hecho, estableciendo las
correspondencias:

se tiene, tras el cambio de notacin, a los mismos coeficientes ClebschGordan usados en el anlisis de la suma de los momentos angulares v isto
en las entradas prev ias. Lo nico que se est haciendo aqu es darle a
dichos coeficientes un may or nfasis matemtico que fsico. En algunos
tex tos es comn encontrar al smbolo del coeficiente Clebsch-Gordan en
la relacin de arriba ex presado en su forma de producto interno bra-ket:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Para demostrar la v eracidad del teorema, es necesario demostrar que el


producto de dos tensores irreducibles en la forma en la cual se ha dado
arriba se comporta en efecto como un tensor bajo una operacin de
rotacin. Empezaremos por pre-multiplicar en ambos lados de la igualdad
la relacin por el operador matricial de rotacin D (R) -obsrv ese que es
un operador transconjugado- teniendo entonces:

A continuacin, post-multiplicaremos esto en ambos lados de la igualdad


por el operador matricial de rotacin D(R):
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

El siguiente paso consiste en introducir un operador identidad 1 injertado


entre los dos tensores esfricos irreducibles que se tienen del lado
derecho:

Puesto que, por hiptesis, la matriz de rotacin es una matriz unitaria, se


debe cumplir la condicin:

Podemos meter esto tal como est en lugar del operador identidad 1 para
tener:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Podemos aplicar ahora la definicin indiv idual de lo que es un tensor


esfrico irreducible tanto sobre el tensor X como sobre el tensor Z. Por lo
tanto:

Obsrv ese que, por conv eniencia como paso intermedio, se ha recurrido
en esto ltimo a la relacin:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

sin tomarse el conjugado complejo al tomar a todos los elementos


matriciales del operador de rotacin como nmeros reales (lo cual no
cambiar en nada la conclusin final).
Recurriremos ahora a la serie Clebsch-Gordan citada prev iamente en las
entradas anteriores:

En el caso que nos ocupa, con un ligero cambio en la notacin se tiene


aqu:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Haciendo uso de la serie Clebsch-Gordan, se tiene entonces:

Haciendo uso de la propiedad de ortogonalidad de los coeficientes


Clebsch-Gordan, lo anterior queda simplificado y reducido a lo siguiente:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Aplicando rigurosamente los deltas de Kronecker, lo anterior se reduce


entonces a la siguiente ex presin:

Reagrupando:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Pero lo que se tiene entre los parntesis grandes es simplemente el tensor


esfrico, o sea:

Esto lo podemos escribir finalmente de la siguiente manera:

Con esto hemos logrado lo que queramos, se ha demostrado que


efectiv amente el producto de dos tensores esfricos irreducibles se
comporta como un tensor.
La relacin usada para la construccin de un tensor esfrico irreducible
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

de orden k a partir de dos tensores esfricos irreducibles de orden k1 y k2


respectiv amente se puede entender mejor con un ejemplo especfico. A
continuacin, construiremos un tensor esfrico de orden 1 a partir de dos
v ectores distintos U y V, los cuales a su v ez por ser v ectores son tensores
de orden 1 . De este modo, con k.=.1 , k1 .=.1 y k2 .=.1 , la relacion general:

toma la forma:

Hay tres posibilidades a calcular:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Empezaremos por la primera posibilidad, llev ando a cabo la ex pansin


plena de la doble sumatoria y dndole v alores especficos a los
coeficientes Clebsch-Gordan de acuerdo a las tablas (aquellos coeficientes
Clebsch-Gordan cuy o v alor sea igual a cero han sido destacados de color
rojo):

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Los otros dos tensores son ev aluados de modo similar, y no es necesario


reproducir los detalles dados en la ev aluacion del primer tensor, siendo el
resultado de dichas ev aluaciones:
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Los v ectores U y V estn dados como tensores esfricos (irreducibles).


Podemos llev ar a cabo la especificacin de los tres tensores T usando
componentes Cartesianos rectangulares, esto es, haciendo

Podemos ir ms lejos, construy endo tensores esfricos T de orden 2 a


partir de los mismos tensores U y V. En este caso, la relacin general toma
la forma:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Para esta situacin, se pueden construr cinco tensores esfricos


irreducibles T , los cuales son:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

De nuev a cuenta, haciendo efectiv as las dobles sumatorias en cada caso, y


substituy endo los coeficientes Clebsch-Gordan por sus v alores numricos
y simplificando, se obtienen los siguientes resultados:

Al igual que como lo hicimos en el caso de los tensores esfricos de orden


1 , podemos ex presar tambin estos resultados en funcin de los
componentes rectangulares Cartesianos de los tensores U y V de orden 1
en lugar de los componentes que corresponden a la notacin tensorial
esfrica, obtenindose con ello:
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Continuando de este modo, podemos construr siete tensores esfricos T


de orden 3 a partir de los tensores U y V de orden 1 , nuev e tensores
esfricos T de orden 4, y as sucesiv amente.
Ex iste otra manera ms conv eniente de definir los tensores esfricos, la
cual consiste en tomar la definicin formal que se ha dado arriba:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

y ex presar a los operadores de rotacin D(R) usando la misma


aprox imacin infinitesimal utilizada en la obtencin de los operadores de
rotacin en su forma operacional ex ponencial, esto es, haciendo:

en donde es un ngulo muy pequeo, tomado como infinitesimal para


fines prcticos. Considerando al operador de rotacin como una matriz,
podemos ex traer un elemento cualquiera de dicha matriz de la siguiente
manera usando la simbologa bra-ket de Dirac:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Usando la forma infinitesimal del operador de rotacin, el lado izquierdo


de la definicin del tensor esfrico toma la siguiente forma en donde se
recurre al final al conmutador como paso simplificador:

en donde el trmino de segundo orden que y a no se muestra


ex plcitamente se considera despreciable. Por otro lado, usando
nuev amente la forma infinitesimal del operador de rotacin, el lado
derecho de la definicin del tensor esfrico toma la siguiente forma que es
simplificada tomando en cuenta la ortonormalidad de los kets de base:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Igualando ambas ex presiones (la del lado izquierdo y la del lado derecho),
se tiene entonces:

Los primeros trminos en cada lado de la igualdad se cancelan


mutuamente, dejndonos simplemente con:

Tomando el producto Jn de modo tal que ste sea igual a Jz, la


componente-z del v ector momento angular, y recurriendo nuev amente a
las propiedades de ortonormalidad de los kets, se llega a lasiguiente
relacin definitoria para operadores tensoriales esfricos:

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

Recurriendo a los mismos procedimientos ex cepto con algunas ligeras


modificaciones, obtenemos las siguientes dos relaciones (resumidas en
una sola) que tambin nos sirv en para dar una definicin alterna a los
operadores tensoriales esfricos:

Al estudiar un tema como el de los operadores tensoriales, la aparicin de


los coeficientes Clebsch-Gordan es algo prcticamente inev itable, y
open in browser PRO version

Are you a developer? Try out the HTML to PDF API

pdfcrowd.com

ev entualmente nos conduce a un teorema fundamental de la Mecnica


Cuntica conocido como el teorem a Wigner-Eckart.
P U B LI CA DO P OR A R MA N DO MA R T N E Z T LLE Z E N 1 6 :3 4

Entrada ms reciente

open in browser PRO version

Are you a developer? Try out the HTML to PDF API

Pgina principal

Entrada antigua

pdfcrowd.com

Vous aimerez peut-être aussi