Mecanica Cuantica

Fsica Cuntica
UNIVERSIDAD DE MURCIA
Departamento de Fsica
Miguel Ortuo Ortn
moo@um.es
Miguel Albaladejo Serrano
mikiman@simur.org
ndice general
ndice iii
Figuras iv
Bibliografa iv
Notas del autor vi
1. Orgenes de la Fsica Cuntica 1
1.1. Radiacin del cuerpo negro. Postulado de Planck . . . . . . . . . . . . . 1
1.2. Efecto fotoelctrico. Efecto Compton . . . . . . . . . . . . . . . . . . . . 2
1.3. Postulado de De Broglie . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4. Modelo atmico de Bohr . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. Experimento de la doble rendija . . . . . . . . . . . . . . . . . . . . . . . 5
1.5.1. Experimento con proyectiles (clsicos) . . . . . . . . . . . . . . . 6
1.5.2. Experimento con ondas . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.3. Experimentos con proyectiles (cunticos): electrones . . . . . . . . 8
A. tomo de Rutherford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
A.1. Potencia radiada . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
A.2. Conclusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2. Ecuacin de Schrdinger 14
i
ndice general ndice general
1. Paquetes de ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2. Ecuacin de Schrdinger . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3. Interpretacin probabilstica . . . . . . . . . . . . . . . . . . . . . . . . . 17
4. Operadores. Valores esperados . . . . . . . . . . . . . . . . . . . . . . . . 18
5. Representacin de momentos . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.1. Funcin de onda en p como transformada de Fourier . . . . . . . . 22
5.2. Teorema de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . 22
6. Autovalores y autovectores . . . . . . . . . . . . . . . . . . . . . . . . . . 22
7. Evolucin temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3. Problemas unidimensionales 25
1. Introduccin. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.1. Ecuacin de Schrdinger para potenciales constantes. Continuidades
y discontinuidades . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.2. Simetras. Operador paridad . . . . . . . . . . . . . . . . . . . . . 27
2. Potencial escaln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.1. Reexin parcial . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2. Reexin total . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3. Pozo de potencial nito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1. Estados ligados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2. Coecientes de transmisin . . . . . . . . . . . . . . . . . . . . . . 33
4. Barreras de potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5. Pozo de potencial innito . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.1. Centrado en el origen . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2. Pozo asimtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6. Potenciales delta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4. Estructura y postulados 43
1. Preliminares. Funciones de onda . . . . . . . . . . . . . . . . . . . . . . . 44
ii
ndice general ndice general
2. Espacio de estados. Notacin de Dirac . . . . . . . . . . . . . . . . . . . 47
A. Resumen de los postulados . . . . . . . . . . . . . . . . . . . . . . . . . . 49
A.1. Descripcin del estado de un sistema . . . . . . . . . . . . . . . . 49
A.2. Descripcin de magnitudes fsicas . . . . . . . . . . . . . . . . . . 49
A.3. Teora de la medida . . . . . . . . . . . . . . . . . . . . . . . . . . 49
A.4. Valores posibles de una medida . . . . . . . . . . . . . . . . . . . 50
5. Espn. Momentos Angulares 51
1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2. Evidencia experimental . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.1. Estructura na de las lneas espectrales . . . . . . . . . . . . . . . 52
2.2. Efecto Zeeman anmalo . . . . . . . . . . . . . . . . . . . . . . . 52
2.3. Existencia de momentos angulares semienteros . . . . . . . . . . . 53
3. Postulados de Pauli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4. Espn 1/2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5. Descripcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6. Momento angular total . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
7. Suma de espines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
8. Mtodo general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
8.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
8.2. Cambio de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
8.3. Autovalores de J
z
. . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . 64
8.5. Autovectores de J
2
y J
z
. . . . . . . . . . . . . . . . . . . . . . . 66
iii
ndice de guras
1.1. Ondas estacionarias del electrn . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Dispositivo para el experimento de la doble rendija . . . . . . . . . . . . 6
1.3. Experimento de la doble rendija con proyectiles macroscpicos . . . . . . 7
1.4. Experimento de la doble rendija para un fenmeno ondulatorio . . . . . . 8
1.5. Experimento de la doble rendija con los electrones. . . . . . . . . . . . . 9
1.6. Curvas con interferencias suavizadas . . . . . . . . . . . . . . . . . . . . 11
3.1. Potencial escaln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.2. Representacin del coeciente de transmisin T en funcin de = V
0
/E. 30
3.3. Pozo cuadrado de potencial . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.4. Representacin de estados ligados en un pozo cuadrado . . . . . . . . . . 34
3.5. Barrera cuadrada de potencial . . . . . . . . . . . . . . . . . . . . . . . . 36
3.6. Pozo de potencial innito centrado en el origen . . . . . . . . . . . . . . 37
3.7. Primeros estados separados segn su forma: cos k
n
x o sin k
n
x . . . . . . . 40
3.8. Los cuatro primeros estados . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.1. Valores de M y autovectores asociados. . . . . . . . . . . . . . . . . . . . 65
5.2. Valores de M y degeneracin asociada. . . . . . . . . . . . . . . . . . . . 65
iv
Bibliografa
[1] C. Cohen-Tannoudji. Quantum Mechanics, volume I.
[2] C. Cohen-Tannoudji. Quantum Mechanics, volume II.
[3] R. Ferrer. Mecnica Cuntica I. Apuntes Universidad de Chile.
[4] R. P. Feynman, R. B. Leighton, and M. Sands. The Feynman lectures on Physics,
volume I. Pearson, 1963.
[5] R. P. Feynman, R. B. Leighton, and M. Sands. The Feynman lectures on Physics,
volume III. Pearson, 1963.
[6] F. J. Yndurin Muoz. Mecnica Cuntica. Alianza Editorial, 2003.
v
Notas del autor
Estas notas de clase estn sacadas de la asignatura Fsica Cuntica, del 3 curso de
la Licenciatura en Fsica de la Universidad de Murcia, impartida por Miguel Ortuo
Ortn, al que el autor est agradecidsimo. Concretamente, se basan en el desarrollo de
la asignatura 2003-2004.
Por supuesto, estn sin terminar, estn en continuo desarrollo, y agradecer todas
las sugerencias y comentarios que me mandis a la direccin de correo de la portada.
Sin ms, os dejo con Feynman.
Dijo una vez un poeta: El Universo entero est contenido en un vaso de vino.
Probablemente nunca sabremos lo que quera decir, ya que los poetas no escriben para
ser comprendidos. Pero es cierto que si miramos un vaso de vino lo sucientemente
cerca, vemos el Universo entero. Ah estan las cosa de la fsica: el lquido que se
arremolina y se evapora dependiendo del viento y del tiempo, las reexiones en el
vidrio, y nuestra imaginacin agrega los tomos. El vidrio es un destilado de las rocas
terrestres y en su composicin vemos los secretos de la edad del universo y la evolucin
de las estrellas. Qu extrao arreglo de elementos qumicos hay en el vino? Cmo
llegaron a ser? Estn los fermentos, las enzimas, los sustratos y los productos. All en
el vino se encuentra la gran generalizacin: toda vida es fermentacin. Nadie puede
descubrir la qumica del vino sin descubrir, como lo hizo Louis Pasteur, la causa de
muchas enfermedades. Cun vvido es el vino tinto que imprime su existencia dentro
del conocimiento de quien lo observa! Si nuestras pequeas mentes, por alguna
conveniencia, dividen este vaso de vino, este universo, en partes fsica, biologa,
geologa, astronoma, psicologa, etc. . . , recuerden que la naturaleza no lo sabe! As,
reunamos todo de nuevo sin olvidar en ltima instancia para qu sirve. Dejemos que
nos d un ltimo placer: bbanselo y olvdense de todo!
Richard P. Feynman, 1918-1988
vi
Captulo 1
Orgenes de la Fsica Cuntica
Vamos a comenzar describiendo los experimentos que hicieron patente la necesidad
de una nueva teora fsica, que hoy en da conocemos como Fsica Cuntica, para explicar
los fenmenos de la naturaleza.
1.1. Radiacin del cuerpo negro. Postulado de Planck
Un cuerpo negro es, por denicin, una cavidad que absorbe completamente toda la
luz que llega a ella. Se trata de un concepto ideal, pero una buena realizacin del mismo es
una cavidad con las paredes de negro y un pequeo oricio al exterior. Imaginemos dicho
cuerpo negro con las paredes a una temperatura absoluta T. Podemos medir la intensidad
de la radiacin que sale de l por el pequeo oricio en funcin de la temperatura T y
la frecuencia . En muy buena aproximacin, dicha intensidad ser igual a la que incide
en las paredes del cuerpo negro.
A travs de dos conceptos clsicos muy generales podemos predecir cmo debera
de ser la intensidad en el marco de la teora clsica. En primer lugar, el teorema de
equiparticin nos dice que la energa media por grado de libertad ha de ser igual a k
B
T,
siendo k
B
la constante de Boltzmann. En segundo lugar, el nmero de grados de libertad
del campo electromagntico en el interior de un cuerpo negro viene dado por el nmero
de modos estacionarios. Teniendo en cuenta estos dos ingredientes, Rayleigh-Jeans
dedujeron la ley que lleva su nombre y que nos dice que la intensidad de la radiacin en
funcin de la frecuencia es
u(, T) =
8
2
c
3
k
B
T (1.1)
Esta teora coincida con los experimentos para frecuencias bajas (T/g
j
1
,j
2
10
10
K s),
pero fallaba para frecuencias altas. Adems, la teora tena que ser incorrecta ya que
predeca una energa total innita, pues el nmero de modos diverge en el lmite de altas
frecuencias, mientras que la energa por modo se mantiene constante. Este resultado se
conoce como divergencia o catstrofe ultravioleta.
1
1.2. Efecto fotoelctrico. Efecto Compton Captulo 1. Orgenes de la Fsica Cuntica
Planck (1900,1901) propuso una frmula de la intensidad de la radiacin del cuerpo
negro que se ajustaba perfectamente a los datos experimentales. Estaba basada en la
proposicin de que el intercambio energtico entre las paredes del cuerpo negro y el cam-
po electromagntico slo poda realizarse en cuantos de energa, no de forma continua.
Planck no lleg a proponer que la radiacin electromagntica en s estuviera cuantiza-
da. El cuanto de energa o unidad energtica elemental sera proporcional a la frecuencia
y vendra dado por
E = h (1.2)
en donde h es una constante universal conocida como constante de Planck, cuyo valor es
h = 6,626 10
34
Js.
Cada modo propio de oscilacin del campo electromagntico puede vibrar con una
energa mltiplo entero del cuanto de energa. A una temperatura T, la probabilidad de
que un modo tenga una energa E es proporcional al factor de Boltzmann expE/k
B
T
de modo que su energa media ser:
E() = N()
n=0
E
n
e
En/k
b
T
n=0
e
En/k
b
T
, E
n
= nh
Sumando la serie llegamos a:
E() = N()
h
e
h/K
B
T
1
Esta expresin est de acuerdo con la teora clsica, ecuacin (1.1), en el lmite de
pequeo y, como hemos dicho, reproduce perfectamente los resultados experimentales.
1.2. Efecto fotoelctrico. Efecto Compton
Fue Einstein (1905) quien realmente propuso la cuantizacin de las ondas electro-
magnticas para explicar el efecto fotoelctrico.
Si se ilumina un metal (hacemos incidir radiacin electromagntica sobre l), podemos
observar que se arrancan electrones, es decir, son emitidos. Podemos variar la frecuencia
con la que la luzradiacin incide y medir la energa y la dependencia de la energa con
la frecuencia. Experimentalmente se observan los siguientes hechos:
Existe una frecuencia umbral, ms hacia abajo de la cual no se emiten electrones
El nmero de electrones que se emiten, una vez superada dicha frecuencia umbral,
es proporcional a la intensidad de la radiacin incidente, pero la energa de los
electrones emitidos no.
2
1.3. Postulado de De Broglie Captulo 1. Orgenes de la Fsica Cuntica
Estos dos hechos seran lgicos si la luz estuviese compuesta de entidades individ-
uales, partculas (llamadas fotones) de energa E = h cada una. Esta fue, precisamente,
la propuesta de Einstein. Esta propuesta era revolucionaria
1
. Las interacciones se pro-
duciran as de manera individual. Cunticamente, se tiene I = Nh. Una intensidad
alta puede deberse a que N o sean altos, pero clsicamente no se saba distinguir esto.
Tenemos entonces los siguientes resultados:
Si lanzamos fotones de muy baja energa, da igual cuantos lancemos (es decir, el
tiempo que transcurra desde que empecemos a lanzarlos), ninguno de ellos con-
seguir que sean arrancados electrones.
Para una intensidad dada, la energa del electrn emitido depende proporcional-
mente de la frecuencia.
1
2
mv
2
max
= h W, W = h
c
donde
c
es la frecuencia umbral
Otra de las principales evidencias del carcter corpuscular de la luz fue el efecto
Compton. Al golpear con fotones la materia (generalmente electrones) se obtienen
unos resultados que no son explicables clsicamente. Si lo son, sin embargo, al considerar
que la interaccin fotnelectrn se produce como un choque elstico (este punto es el
que pone de maniesto que la luz est compuesta por partculas). Se tiene, para la energa
del fotn, segn la teora de la relatividad restringida:
E =
_
m
2
0
c
4
+p
2
c
2
= pc = h p =
h
c
=
h
Compton us lo que Einstein ya haba dicho para explicar su experimento. A las

siguientes relaciones se las llama relaciones de PlanckEinstein:
E = h (1.3a)
p =
h
(1.3b)
En la fsica clsica se distingua perfectamente entre las partculas y las ondas. Con estos
experimentos mencionados se puso de maniesto que, de algn modo, las ondas electro-
magnticas estaban compuestas por partculas. Es decir, las ondas electromagnticas (la
luz) tienen ambos caracteres: ondulatorio y corpuscular.
1.3. Postulado de De Broglie
Puesto que el campo electromagntico, que desde el siglo XIX (a partir de las leyes
de Maxwell) se haba considerado como un fenmeno ondulatorio, mostraba ahora
1
Desde los experimentos de Young, que estudiamos ms adelante, en torno a 1800, nadie dudaba
acerca de la naturaleza ondulatoria de la luz
3
1.4. Modelo atmico de Bohr Captulo 1. Orgenes de la Fsica Cuntica
tambin un carcter corpuscular, de Broglie postul (1923) que las partculas materi-
ales pueden tener tambin un comportamiento ondulatorio. Propuso que toda partcula
tiene una onda asociada cuya longitud de onda es = h/p, en analoga con la fr-
mula de Comptonrelaciones de PlanckEinstein. Por ejemplo, un electrn, bajo
determinadas circunstancias podra tener comportamientos ondulatorios tales como la
difraccin, que fueron observados poco despus de haberlos predicho de Broglie.
1.4. Modelo atmico de Bohr
Los experimentos de Ruhterford, en 1911, demostraron que la materia debe es-
tar compuesta por tomos, y tambin permitieron discriminar la naturaleza de estos
2
.
Bombardeando con partculas unas lminas de oro muy delgadas, observ que algunas
se desviaban, debido a la existencia de fuertes campos elctricos, mientras que la gran
mayora de las partculas atravesaban las lminas de oro. Esto le permiti deducir la
siguiente estructura en el tomo:
Ncleo El ncleo central debera estar compuesto por una carga positiva, y en el de-
bera concentrarse la mayor parte de la masa.
Corteza electrnica Los electrones, de carga negativa (en total, el tomo ha de ser
neutro) que se encontraran orbitando alrededor del ncleo.
Una amplia zona de vaco entre ambos.
Esta imagen estara en principio de acuerdo con la imagen clsica (newtoniana) de la
mecnica: los electrones orbitan alrededor del ncleo como los planetas alrededor del Sol.
El desacuerdo surga con las leyes de Maxwell: segn stas, una carga en movimiento
acelerado (y el movimiento circular lo es) debera radiar energa de forma continua, y
acabar precipitando en el ncleo, es decir, el tomo debera ser inestable, cosa que es a
todas luces falso
3
. Adems, en los espectros de absorcinemisin se observaban lneas
discretas, es decir, que las energas eran tomadas o emitidas en forma de cuantos, y no
de manera continua.
Esto condujo a Bohr a postular la existencia de rbitas estables para los electrones
en los tomos, sin saber muy bien a que podra deberse la existencia de dichas rbitas. Al
pasar un electrn de una rbita a otra lo hace absorbiendo o emitiendo un cuanto de en-
erga, un fotn, lo que permitira explicar las lneas espectrales discretas observadas. Las
2
l mismo arma:
Un clculo simple demuestra que el tomo debe de ser asiento de un intenso campo
elctrico para que se produzca una gran desviacin en una colisin simple...
3
Para un clculo ms detallado ver apndice A, pg. 10.
4
1.5. Experimento de la doble rendija Captulo 1. Orgenes de la Fsica Cuntica
rbitas son estables cuando la onda asociada al electrn es estable, esto es, estacionaria:
2r = n (1.4)
Los mltiplos de la longitud de onda han de caber exactamente en la longitud de la
circunferencia de la rbita, y esto implica la cuantizacin del momento angular:
L = pr
deBroglie
=
h
r =
h
2r/n
=
h
2
n = n L = n (1.5)
As pues, aadiendo este ingrediente a la frmula clsica de un movimiento orbital, se
tienen ciertas rbitas posibles, con sus correspondientes energas, y no cualquier rbita.
Figura 1.1: Ondas estacionarias del electrn
Pero extender esto a otros sistemas resultaba muy complicado. Pronto qued patente
que eran necesarias ciertas renovaciones profundas a nivel fundamental en la fsica, y
no slo la adicin de una serie de recetas como poda ser la ecuacin (1.5). Se hizo
necesario la formulacin axiomtica de una nueva Mecnica, la Mecnica Cuntica, que
revolucionara (y an hoy se siente ese revuelo) los conceptos y las aplicaciones de la
Fsica.
1.5. Experimento de la doble rendija
En esta seccin seguiremos bsicamente el libro de Feynman [4]. Para tratar de enten-
der el comportamiento cuntico de los electrones (usaremos los electrones para nuestros
ejemplos), compararemos su comportamiento en un dispositivo experimental especial,
con el comportamiento habitual que tendran otros fenmenos fsicos de carcter ondula-
torio (las ondas en el mar, o cosas similares). Dicho experimento se encuentra esquema-
tizado en la gura 1.2.
5
Figura 1.2: Dispositivo para el experimento de la doble rendija
1.5.1. Experimento con proyectiles (clsicos)
Para este experimento, nuestro dispositivo consiste en un can que dispara proyec-
tiles. Entre el can que dispara y la pared que detecta los proyectiles hay otra pared
con dos rendijas intermedias R
1
y R
2
, que podemos tener abiertas y cerradas, indepen-
dientes entre s. En la pared nal, de contencin, disponemos de un detector, algo que
permite controlar cuntos proyectiles y donde exactamente golpean la pared, o, lo que
es lo mismo, determinar la probabilidad de que un proyectil golpee la pared en un pun-
to concreto, en funcin de posicin en la pared, digamos, la coordenada x. Trataremos
ahora con cuerpos macroscpicos, como pudieran ser pelotas de tenis o balas, que no
puedan partirse por la mitad, ni hacer cosas extraas. Observaremos entonces, en nue-
stro experimento, que los proyectiles llegan al detector individualmente, y pasan, como
esperbamos, por una y solo una de las rendijas intermedias. Si hacemos el experimento
con R
1
abierta y R
2
cerrada, encontraremos un diagrama de probabilidad como el que se
recoge en la gura 1.3. Si lo hacemos al revs, con R
1
abierta y R
2
cerrada, el diagrama es
equivalente pero desplazado. No nos extraa, tampoco, que al hacer el experimento con
ambas rendijas abiertas, el diagrama que obtenemos se parece mucho a los anteriores,
pero ahora est centrado, y en realidad, es la suma de ambos resultados. Es decir, se tiene
P
12
(x) = P
1
(x) +P
2
(x). Decimos entonces que en este experimento no hay interferencia.
6
Figura 1.3: Experimento de la doble rendija con proyectiles macroscpicos
1.5.2. Experimento con ondas
Ahora deseamos hacer esencialmente el mismo experimento, pero con ondas de agua,
o algo parecido. Evidentemente, ya no tendremos un can, sino una fuente puntual
de ondas, que se propaguen por igual en todas las direcciones, en particular hacia nue-
stro sistema. Ahora ya no tendremos un detector que nos sirva para contar el nmero
de proyectiles que chocan con la pared, sino un detector de intensidad, o algo que nos
permita medir la intensidad de la onda al llegar a la pared. De nuevo hacemos el experi-
mento con una y despus otra rendijas abiertas, pero cuando hacemos el experimento con
ambas rendijas abiertas, el resultado que obtenemos no es la suma de los dos resultados
anteriores, por lo que decimos que existe interferencia entre ambas ondas. Qu es lo
que ocurre? En algunos lugares, donde I
12
tiene sus mximos, las ondas provinientes de
una y otra rendija estn en fase, y las ondas se suman para dar una gran amplitud. Por
contra, hay algunos lugares, justo all donde la amplitud de I
12
es mnima, en los que las
ondas van desfasadas con una diferencia justamente de . La intensidad es proporcional
al cuadrado de la amplitud de la onda, es decir:
I(x) =[A(x)[
2
= [A
1
(x) +A
2
(x)[
2
= [A
1
(x)
2
[ +[A
2
(x)[
2
+ 2[A
1
(x)[[A
2
(x)[ =
=I
1
(x) +I
2
(x) + 2
_
I
1
(x)I
2
(x) ,= I
1
(x) +I
2
(x)
En denitiva, en los experimentos con ondas, la intensidad puede tomar cualquier valor,
no llega en cuantos, y se obtienen interferencias.
7
Figura 1.4: Experimento de la doble rendija para un fenmeno ondulatorio
1.5.3. Experimentos con proyectiles (cunticos): electrones
Ahora imaginamos un experimento similar al de la seccin 1.5.1. Construimos un
can de electrones, de modo que conseguimos (imaginariamente)
4
que podamos disparar
los electrones de uno en uno.
Al tener cada una de las rendijas abiertas por separado, al llegar los electrones a
la pantalla, estos golpean por separado, golpean en un solo sitio: no son como una
onda, o eso parece. Pero si abrimos ambas rendijas a la vez, entonces no obtenemos una
grca para la probabilidad que sea la suma de ambos resultados por separado, sino que
obtenemos una grca en la que se observa interferencia: P
12
,= P
1
+P
2
. La situacin se
encuentra representada en la gura 1.5. Esto no es lo que esperaramos si cada electrn
pasase por una y slo una de las rendijas R
1
o R
2
. Podramos pensar entonces que los
electrones no van por una y slo una de las dos rendijas, que a lo mejor van en formas ms
complicadas: a lo mejor el electrn se divide en dos mitades... aunque esto es imposible,
porque hemos visto que llegan de uno en uno a la pantalla... Podemos intentar explicar,
y de hecho mucha gente lo ha intentado ya, la curva de probabilidad para el golpeo del
electrn, y no tendremos xito. Sin embargo, la matemtica necesaria para explicarla es
muy simple, pues es la misma que la de la gura 1.4, y aquella gura era simple, pues
describa una onda. Concluimos entonces que los electrones llegan a la pantalla como
4
Este experimento, descrito como lo hemos hecho, es en realidad impensable, pues el dispositivo
debera ser muy pequeo para apreciar los efectos que queremos ver. Sabemos lo que pasar porque se
han hecho experimentos distintos, pero esencialmente idnticos, en los que suceden estos fenmenos que
describimos
8
Figura 1.5: Experimento de la doble rendija con los electrones.
partculas, pero la probabilidad de llegar a un punto u otro de la pantalla se distribuye
como si fuera una onda. Por esto decimos que los electrones a veces se comportan como
una onda y otras veces como partculas, y esto es llamado por todos y con razn, la
dualidad onda-partcula.
Ahora podremos interesarnos un poco ms acerca de por donde pasa el electrn en
realidad: por la rendija R
1
, por R
2
, por ambas, o por ninguna. Podramos poner a nuestro
aparato un detector ms, una fuente de luz, cuya intensidad podemos variar, que nos
ayude a decir por donde ha pasado el electrn. As, si ponemos dicha fuente de luz entre
ambas rendijas, al pasar un electrn por la rendija R
1
obtendremos un destello luminoso
en sus alrededores, si pasa por R
2
, un destello cerca de dicha rendija, si el electrn se
divide, dos destellos, o algo as, lo importante es que esto nos ayudar a saber que hace
realmente el electrn. Si llevamos a cabo este experimento, resulta que justo antes de
cada golpeo de un electrn en la pantalla obtenemos un destello luminoso que llega desde
la rendija R
1
o desde R
2
, pero nunca de ambas a la vez, ni nada por el estilo. Debemos
concluir, en contra de lo que dijimos anteriormente, que cada electrn pasa por una y slo
una de las rendijas, pero esto ya es desconcertante, pues hemos obtenido dos conclusiones
contradictorias.
Si hacemos el experimento como hemos dicho, con este otro detector, cerrando una y
luego otra rendija, obtenemos los diagramas de probabilidad que obtuvimos en la gura
1.5. Ahora bien, que obtenemos para la probabilidad total, con ambas rendijas?. Ya
no tenemos lo que obtuvimos en esa gura, ahora tenemos algo como la gura 1.3, con
proyectiles macroscpicos. Ahora que observamos los electrones detenidamente, parecen
9
A. tomo de Rutherford Captulo 1. Orgenes de la Fsica Cuntica
comportarse bien, ya no generan interferencias. Y si apagamos la luz, volvemos a obtener
interferencia. Como vimos, la luz efectivamente lleva un cantidad de movimiento, de
valor p = h/. Podramos intentar usar luz con una longitud de onda mayor, intentando
evitar perturbar tanto los electrones, de modo que obtengamos interferencia, pero a la
vez sepamos perfectamente por donde pas el electrn. Pero no obtendremos xito, pues
encontraremos que es imposible conseguir que la luz no perturbe los electrones y no
perturbar el diagrama de interferencia, y a la vez determinar con exactitud a travs de
cual de las dos rendijas ha pasado todos y cada uno de los electrones. Y bsicamente en
esto consiste el principio de incertidumbre de Heisenberg, que imponen de algn modo
una limitacin a nuestra capacidad experimental, no una limitacin de nuestros aparatos
o de nuestras capacidades, sino una limitacin intrnseca a la naturaleza: hay cosas que no
se pueden determinar con exactitud absoluta al mismo tiempo. Por el momento, nadie ha
encontrado una manera de esquivar este principio de incertidumbre o de indeterminacin
propio de la naturaleza.
Quedan algunas preguntas a las que no hemos respondido totalmente, y ahora re-
sponderemos a ellas, al menos, tan totalmente como podamos. Los electrones, pasan
por una y solo una de las dos rendijas, o siguen otros caminos alternativos?. Lo nico
que podemos decir para no caer en contradiccin con los experimentos es que, cuando los
observamos de cerca, el electrn pasa efectivamente por una y slo una de las rendijas, y
entonces se observa interferencia. Pero si no los observamos, si no colocamos un aparato
que nos pueda decir esto, entonces no sabemos si el electrn atraviesa una rendija, las
dos o ninguna, es ms no sabemos ni siquiera que camino sigue de forma general, y se
obtiene una interferencia.
Por otro lado, si todo en la naturaleza tiene un carcter ondulatorio, por qu al
hacer el experimento con proyectiles grandes, sin ningn detector, no obtenamos in-
terferencias?. Bueno, es que en realidad si las obtenamos, pero ni nosotros ni nuestros
detectores ramos capaces de detectarlas, por eso creamos que no tenamos interferen-
cias. Las longitudes de las ondas asociadas a tales objetos son tan pequeas que ningn
detector sera capaz de distinguir los mximos y los mnimos, sino que presentara en
realidad un promedio, una curva de interferencia muy suavizada, algo parecido a lo que
se representa en la gura 1.6.
A. Decaimiento del electrn al ncleo en el tomo de
Rutherford
A.1. Potencia radiada
De las leyes de Maxwell se deduce que una carga en movimiento acelerado irradia
una energa por unidad de tiempo (potencia) que viene dada por la frmula de Larmor.
10
Figura 1.6: Curvas con interferencias suavizadas
Para el caso de la carga del electrn, esta es:
dW
dt
=
e
2
a
2
6
0
c
3
(1.6a)
Aqu a representa la aceleracin de la carga, c la velocidad de la luz, y e la carga
del electrn. Usaremos esta frmula ms tarde para considerarla en la conservacin de
la energa.
Por otro lado las fuerzas que intervienen son las de la propia atraccin elctrica (segn
la Ley de Coulomb) y la fuerza centrfuga para un movimiento circular, como se supone
en este caso. Es decir:
F
cent
=
m
e
v
2
r
a
cent
=
v
2
r
(1.6b)
F
coul
=
1
4
0
e
2
r
2
El equilibrio que se supone implica que el balance de fuerzas sea nulo:
F
cent
+F
coul
=
m
e
v
2
r

1
4
0
e
2
r
2
= 0 (1.6c)
11
De aqu se deduce que
mv
2
=
1
4
0
e
2
r
(1.6d)
Adems, la energa para una rbita de este tipo, anlogamente a las rbitas planetarias,
viene dada por:
E =
1
2
m
e
v
2
1
4
0
e
2
r
=
1
4
0
1
2
e
2
r

1
4
0
e
2
r
=
1
4
0
1
2
e
2
r
(1.6e)
Esta ecuacin, derivada, nos da la variacin de la energa orbital de la partcula:
dE
dt
=
1
2
1
4
0
e
2
r
2
dr
dt
(1.6f)
Conviene denir una constante, k
0
, de la forma
k
0
=
1
4
0
para mayor simplicidad en los clculos posteriores.
Si tenemos en cuenta que debe cumplirse:
dW
dt
+
dE
dt
= 0 (1.6g)
llegamos, dados los valores para a y v dados respectivamente por las condiciones (1.6b)
y (1.6d), a la siguiente ecuacin:
3
4
m
2
e
c
3
k
2
0
e
4
r
2
dr = dt (1.6h)
Ahora integramos esta ecuacin:
3
4
m
2
e
c
3
k
2
0
e
4
_
0
r=r
0
r
2
dr = +
3
4
m
2
e
c
3
k
2
0
e
4
_
r=r
0
0
r
2
dr =
_

0
dt (1.6i)
Esto signica que:
=
3
4
m
2
e
c
3
k
2
0
e
4
r
3
0
(1.6j)
Ahora tomaremos unos valores para los datos que aparecen en la ecuacin (1.6j). Estos
valores sern aproximados, pues tampoco queremos un valor exacto de este tiempo, sino
simplemente demostrar que es de un orden de magnitud tan pequeo, que si este clculo
se correspondiera con la realidad, no existiran tomos estables.
As pues, aplicando dichos valores a la expresin (1.6j), tendremos que el tiempo en
que se esperara que el electrn precipite sobre el ncleo es:
12
Cuadro 1.1: Valores de las magnitudes
Magnitud Valor Unidades
Masa del electrn m
e
9,1 10
31
kg
Velocidad de la luz c 3 10
8
m/s
Constante culombiana k
0
9 10
9
Nm
2
C
2
Carga del electrn e 1,6 10
19
C
Radio de la rbita del electrn r
0
10
10
m
3 10
10
s
Efectivamente, el tiempo en que supuestamente el electrn caera sobre el ncleo no
nos da un valor innito, o similar, sino un valor concreto, nito, y muy pequeo, en
contra de la evidencia experimental.
A.2. Conclusin
De este sencillo clculo se deduce que aunque las predicciones hechas por Rutherford
acerca de la estructura de la materia son en general acertadas, el modelo que se plantea
segn la fsica clsica es incompleto, esto es, necesita ser revisado con una nueva teora,
que es la mecnica cuntica. La hiptesis de Bohr acerca de la existencia de rbitas
estables cuantizadas (no puede existir cualquier rbita) en las cuales se puede localizar
el electrn, y la emisin discreta de energa en forma de cuantos al pasar aquellos de una
rbita a otra puso de maniesto, junto a otros hechos experimentales, la validez de la
mecnica cuntica a nivel atmico.
13
Captulo 2
Mecnica ondulatoria. Ecuacin de
Schrdinger
1. Paquetes de ondas
Ahora veremos algunas propiedades generales de las ondas, no importar de que tipo.
La exponencial compleja e
ikx
es una onda plana. Segn la frmula de Euler, e
ikx
=
cos kx+i sin kx. kx ha de ser adimensional, luego [k] = L
1
. k es el nmero de ondas, es
inversamente proporcional a la longitud de onda. El mdulo de la exponencial compleja
es 1,

e
ikx
2
= e
ikx
e
ikx
= 1.
El uso de nmeros complejos es una conveniencia matemtica til en algunas ramas
de la fsica clsica, pero es que resulta ser fundamental, una propiedad intrnseca, en la
fsica cuntica
1
.
Una onda plana est totalmente extendida. Si sumamos dos ondas (o un nmero
nito de ellas) de distinta frecuencia, parece que se vayan localizando. Para localizarlas
totalmente, sumamos un nmero innito de ellas, es decir, las integramos. Formamos
entonces un paquete de ondas. Tenemos:
_
+
g(k)e
ikx
dk (2.1)
En la anterior expresin, g(k) es una funcin de peso, que tomar valores en una
zona determinada, normalmente (Esto har que se pueda encontrar la onda localizada).
Lo ms normal es que g(k) sea una gaussiana, teniendo entonces un paquete de ondas
gaussiano:
(x) =
_
+
e
(kk
0
)
2
e
ikx
dk (2.2)
1
Por ejemplo, el estado de un sistema se describe mediante un vector de un espacio vectorial cuyo
cuerpo de escalares es el plano complejo, C
14
2. Ecuacin de Schrdinger Captulo 2. Ecuacin de Schrdinger
La funcin (x) es una funcin de onda (no necesariamente cuntica). La constante
estar relacionada con la anchura del paquete gaussiano. Para hacer esta integral,
hacemos la siguiente transformacin: k k
0
= k
, por lo que dk = dk
, y queda:
(x) = e
ik
0
x
_
+
e
k
2
e
ik
x
dk
Como aparece un trmino en k
y otro en k
2
, lo que intentamos es completar el cuadrado
perfecto.
(x) = e
ik
0
x
_
+
e
(k
ix
2
)
2
e
x
2
4
dk
El trmino en x vuelve a salir, y hacemos otro cambio de variables, k
ix
2
= k
, luego
dk
= dk
, y obtenemos:
(x) =
_
e
ik
0
x
e
x
2
4
(2.3)
Por tanto:
[(x)[
2
=

e
x
2
2
_
var(x) =
x
=
2. Ecuacin de Schrdinger
Vimos en el tema anterior que la funcin de onda para el electrn libre viene dada
por:
(x, t) =
_

g(p) exp
_
i(px Et)
_
dp
En general, se tendr exp(ikx wt), solo que hemos sustituido las propiedades par-
ticulares (cunticas) que hemos visto. Por motivos de inters matemtico, y sin ninguna
implicacin fsica, hacemos:
(x, t) =
1
2
_

(p) exp
_
i(px Et)
_
dp
As conseguiremos que (x, t) y (p, t) sern las funciones de onda en x y p, respec-
tivamente.
15
2. Ecuacin de Schrdinger Captulo 2. Ecuacin de Schrdinger
Vamos a ver la ecuacin diferencial que satisface la anterior ecuacin:
t
=
1
2
_

iE
(p) exp
_
i(px Et)
_
dp
x
=
1
2
_

ip
(p) exp
_
i(px Et)
_
dp
2
2m
x
2
=
1
2
_

p
2
2m
(p) exp
_
i(px Et)
_
dp
Si consideramos que el electrn tiene solo energa cintica, E = p
2
/2m, se cumple
entonces que:
i
t
=
2
2m
x
2
(2.4)
Schrdinger generaliz
2
2.4, pensando que debera existir tambin un trmino que
contribuyera con energa potencial, V , de la forma:
i
(x, t)
t
=
2
2m
2
(x, t)
x
2
+V (x)(x, t) (2.5)
De esta ecuacin son de destacar varios hechos:
La energa total aparece como una derivada temporal de un funcin, la funcin de
onda.
El momento, sin embargo, es introducido como una variacin espacial de dicha
funcin.
El tiempo, t, es un simple parmetro, se introduce exactamente igual que en la fsica
clsica, y no como en teoras como la Relatividad, general o especial, en las que
aparece como una coordenada ms, intrnsecamente relacionado con la estructura
del espacio-tiempo.
Adems, estos pasos que hemos presentado no son una demostracin, sino una moti-
vacin, si acaso. La ecuacin de Schrdinger no se deduce, se postula.
2
En realidad public primero una versin relativista de la ecuacin, la de Klein-Gordon ??
16
3. Interpretacin probabilstica Captulo 2. Ecuacin de Schrdinger
3. Interpretacin probabilstica de la mecnica cun-
tica
La interpretacin estadstica de la mecnica cuntica
3
data de los inicios de sta.
Hemos visto que toda estado de una partcula viene denido por una funcin de onda, que
representa su carcter ondulatorio. Cmo se da cuenta del comportamiento material?.
Para esto se interpreta la cantidad:
(r, t) = [(r, t)[
2
= (r, t)
(r, t) (2.6)
como la densidad de probabilidad de encontrar la partcula en el instante de tiempo
t en la posicin r. La funcin de onda permite pues determinar completamente el estado
de un sistema, tanto su carcter material como su carcter ondulatorio. Este concepto
es, sin duda, una de las grandes revoluciones de la mecnica cuntica: no somos capaces
de armar que la partcula est en un punto concreto en un cierto instante, sino que lo
nico que sabemos y no siempre la probabilidad de que una partcula est aqu y la
probabilidad de que est all
4
.
Vamos a demostrar ahora que la probabilidad total se conserva. Para ello vamos
a establecer una ecuacin de continuidad de forma anloga a las que encontramos en
electromagnetismo o en la mecnica de los uidos.
Denimos la corriente de probabilidad como:
j(r, t) =
i
2m
((r, t)
(r, t)
(r, t)(r, t)) (2.7)

Para obtener la evolucin temporal de la densidad de probabilidad debemos hacer su
derivada (omitimos las dependencias temporales por simplicidad), y tener en cuenta que
la evolucin temporal de la funcin de onda viene dada en funcin de su hamiltoniano
por la ecuacin (2.5), donde las derivadas de segundo orden en x han de ser generalizadas
3
Vese el discurso de Max Born al recibir el premio Nobel (11 de Diciembre de 1954):
The work, for which I have had the honour to be awarded the Nobel Prize for 1954
contains no discovery of a fresh natural phenomenon, but rather the basis for a new mode
of thought in regard to natural phenomena.
El trabajo por el que he tenido el honor de recibir el Premio Nobel de 1954 no presenta
el descubrimiento de un nuevo fenmeno natural, sino ms bien continene las bases de un
nuevo modo de pensamiento en relacin a los fenmenos naturales.
4
Este concepto tan anti-intuitivo es lo que produjo ms estupor entre los cientcos de la poca, hasta
el punto de que el mismo Einstein, que propuso la necesaria cuantizacin de la radiacin electromag-
ntica en fotones, escribiera su famosa frase, asegurando que Dios no puede estar jugando a los dados,
a lo que Bohr respondi: Deja de decirle a Dios lo que tiene que hacer.
17
4. Operadores. Valores esperados Captulo 2. Ecuacin de Schrdinger
a operadores laplacianos:
i
t
= i
_
t
+
t
_
=
2
2m
_
2

2
_
(2.8)
Ahora bien, de la denicin de j, y teniendo en cuenta que f
2
f
2
f =
(ff
f), podemos llegar a la ecuacin:

(r, t)
t
+ j(r, t) = 0 (2.9)
Esta es la ecuacin de continuidad que andbamos buscando. Podemos integrarla sobre
un volumen V encerrado en una supercie (real o imaginaria) V para obtener:
_
V
(r, t)
t
dv +
_
V
j(r, t)dv = 0 =
_
V
(r, t)
t
dv +
_
V
j(r, t) ds = 0
Esto nos permite interpretar j(r, t) como la probabilidad por unidad de tiempo de que
la partcula atraviese la supercie V . As pues, podemos visualizar la partcula como
si fuera un uido con densidad (r, t), que, como tal, cumple una/la ecuacin de con-
tinuidad.
Ahora, para demostrar, como anuncibamos, que la probabilidad total se conserva,
pasaremos al caso unidimensional, por ser ms cmodo e intuitivo, aunque la solucin
ser general. Para ello, escribimos la ecuacin de continuidad en una dimensin (x) y la
integramos:
t
_
b
a
(x, t)dx =
_
b
a
j
x
dx = j(a, t) j(b, t)
Pero, en el lmite en que a y b , como la funcin de onda no puede diverger
(se debe hacer cero en los innitos), tenemos que j(, t) = j(, t) = 0, y por tanto:
_

[(x, 0)[
2
dx = 1
_

[(x, t)[
2
dx = 1 t
Este hecho, como hemos dicho varias veces, se puede enunciar diciendo que la probabil-
idad total se conserva.
4. Operadores. Valores esperados
Un operador es un objeto matemtico que acta sobre un vector devolviendo otro.
En el caso de la mecnica cuntica, dichos operadores sern funciones, las funciones
de onda
5
Para calcular magnitudes, es decir, para obtener algn resultado tangible (un
5
Todo esto se ver con mayor detenimiento en el captulo 4. Aqu solo presentaremos algunos resul-
tados tiles que nos permitan trabajar sobre ciertos problemas sencillos, como haremos en el captulo
3.
18
nmero, algn valor de una cantidad fsica), qu debemos hacer en mecnica cuntica?.
Bien, las magnitudes llevan asociados operadores, que actan sobre las funciones de
onda. Un ejemplo de magnitudes calculables son los valores medios. Por ejemplo el
valor medio de la magnitud x, la posicin, que lleva asociada el operador X, que consiste
simplemente en multiplicar la funcin por x, venda dado por:
x) =
_

x [(x)[
2
dx =
_

(x)x(x)dx (2.10)
Obsrvese la abismal diferencia entre la fsica clsica y la nuevea fsica, la fsica cuntica.
Con la operacin anteriormente indicada, una integral de una funcin, tan complicada
como se requiera en cada caso, multiplicada por x, nos da simplemente un valor medio
de x. En la fsica clsica, una simple sustitucin de algn parmetro, como el tiempo,
nos dara inmediatamente el valor de la posicin exacto, no en promedio.
En general, los operadores no consistirn en una simple multiplicacin, sino que im-
plicarn, dentro de este mbito, derivadas, integraciones, etc. Entonces, el valor medio de
una magnitud no se calculara como hemos anunciado anteriormente, sino de una forma
similar, pero con una diferencia sutil. El valor medio de la magnitud /, cuyo operador
asociado es A, viene dado por:
/) =
_

infty
(x, t)A(x, t)dx (2.11)

Hasta ahora hemos visto, sin darnos cuenta de ello, dos operadores: el operador posi-
cin, x, y el operador energa potencial, V (x). Hemos trabajado con ellos sin saber nada
sobre como operar con ellos precisamente porque solo implican multiplicar la funcin de
onda por las magnitudes necesarias. El siguiente operador que vamos a ver, sin embargo,
ya no es tan trivial; se trata del operador momento, p, que est relacionado con el momen-
to cintico clsico. Su expresin la podemos intuir de la forma general del hamiltoniano
(viendo cual es la aportacin de la energa cinticaa ste), segn la ecuacin (2.5):
2
2m
2
(x, t)
x
2

p
2
2m
(x, t)
o viendo que (como caso particular) para una onda plana:
exp
_
i(pxEt)
_
x
=
i
p exp(. . .) p =

i
x
Como hicimos con la ecuacin de Schrdinger, debemos sealar que esto no es ni mucho
menos una deduccin, solo una orientacin, o una motivacin. Denimos, en general, el
operador momento (para la variable x, solamente) como:
p =

i
x
operador momento lineal (2.12)
19
As, por ejemplo, el valor medio del momento lineal es:
p ) =
_

(x, t)
x
((x, t))dx
De los operadores de la energa, ya conocemos el operador energa potencial, y ten-
emos cierto conocimiento del operador hamiltoniano, pero no conocemos la energa cinti-
ca. Por la analoga con la fsica clsica, donde E
c
=
2
/2m, con el momento cintico,
se tendr que el operador energa cintica est dado por el trmino 1/2m multiplicado
por p
2
. Pero ahora p es un operador. Surge la pregunta qu es el cuadrado de un
operador?. El cuadrado de un operador es este mismo actuando sobre el resultado de
hacer actuar dicho operador sobre una funcin, por ejemplo, T
2
() = T(T()). As, para
el caso de p, se tiene:
E
c
=
p
2
2m
=
2
2m
2
x
2
Podemos escribir la ecuacin de Schrdinger de forma ms compacta deniendo H, el
operador hamiltoniano, como:
H =
2
2m
2
x
2
+V (x)
de modo que la ecuacin fundamental de la mecnica cuntica queda como:
i
(x, t)
t
= H(x, t) Ecuacin de Schrdinger (2.13)
Es importante observar que la dependencia temporal est contenida de forma explcita
en la funcin de onda, y no en los operadores. As, los valores medios evolucionarn con
el tiempo no por la magnitud que representan, sino por como dependa del tiempo la
funcin de onda. Es por eso que, macroscpicamente, encontramos una depencia de x,
por ejemplo, con el tiempo: es porque lo que en realidad medimos en la fsica clsica son
promedios temporales de las magnitudes.
Por otro lado, como seguramente habr percibido el lector, parece posible que el valor
esperado de una magnitud sea un nmero complejo, atendiendo a la denicin dada en
(2.11). Esto no sucede as en la realidad, y se debe a que todo operador asociado a una
magnitud fsica observable es hermtico, es decir, cumple la relacin:
_
b
a
2
A
1
dx =
__
b
a
1
A
2
dx
_
=
_
b
a
1
(A
2
)
dx (2.14)
Es directo entonces comprobar que el valor esperado de todo operador her-
mtico es real. Para ello, tomamos sobre la denicin de hermiticidad las funciones
1
=
2
= , por lo que tenemos:
A) =
_

(x, t)A(x, t)dx =

__

(x, t)A(x, t)
_
= A)
20
Es decir, se cumple A) = A)
, por lo que A) es real si A es hermtico. Como ejercicio,

demuestrese que los operadores x, V y p son hermticos. Tngase en cuenta que los
operadores x y V solo involucran multiplicaciones por nmeros reales. En general, se
observa que son hermticos operadores en los que aparezcan:
(multiplicaciones por) Funciones reales.
Expresiones del tipo i

x
, por la aparicin de i.
Expresiones del tipo

2
x
2
, a travs de la integracin por partes.
Por ltimo, aparece entre los operadores una relacin muy importante, la realacin de
conmutacin. Es evidente que en esta mecnica que estamos desarrollando los operadores
no tienen por qu conmutar entre s, es decir, no es indiferente el orden en que se apliquen
dos operadores sobre una misma funcin. Esta mecnica de funciones de onda es la
mecnica de Schrdinger. Existe otra formulacin, desarrollada en paralelo y al mismo
tiempo que aquella, la formulacin matricial de Heisenberg, que se demuestra totalmente
equivalente a la primera, en la que tambin aparece de forma natural la no conmutacin
de los operadores, ya que en esta vienen dados por matrices, que, como se sabe de las
nociones fundamental del lgebra Lineal, no conmutan entre s.
Se dene el conmutador de dos operadores A y B, como:
[A, B] = AB BA (2.15)
El conmutador es un nuevo operador. Aplicado sobre una funcin, se tiene:
[A, B] = A(B) B(A)
Como ejemplo, calculemos el conmutador de los operadores posicin y momento:
[x, p] () =

i
_
x
x

x
x
_
=

i
_
x
x

x
x
x
x
_
=

i
()
Por tanto, se tiene:
[x, p] = i (2.16)
De esta relacin tan simple depende gran parte de la teora de la mecnica cuntica,
y del asombro que esta produce, pues sobre ella est fundamentado el famoso principio
de incertidumbre de Heisenberg.
21
5. Representacin de momentos Captulo 2. Ecuacin de Schrdinger
5. Representacin de momentos
5.1. Funcin de onda en p como transformada de Fourier
5.2. Teorema de Parseval
6. Autovalores y autovectores
Supongamos que tenemos un operador A, asociado a una magnitud fsica /. Supong-
amos que, a aplicarlo sobre una funcin, se tiene lo siguientes:
A
n,i
(x) =
n

n,i
(x) (2.17)
Las funciones que cumplen la anterior relacin, para algn valor , se llaman auto-
funciones o funciones propias del operador A, as como los se llaman autovalores
o valores propios. Pueden existir muchos autovalores de un operador A (por ello colo-
camos un subndice n en los autovalores). Adems, el conjunto de los autovalores puede
ser continuo o degenerado. Para un mismo valor de pueden existir varias funciones que
cumplan (2.17): decimos entonces que el espectro de A es degenerado (Por esto hay un
subndice i en las funciones). Hay varias propiedades generales, que sern demostradas
en el captulo 4, que resultan interesantes y que por ello adelantamos aqu:
Los valores propios de un operador hermtico son reales.
Si un operador tiene dos o ms valores propios distintos, se cumple que las funciones
asociadas a cada uno de dichos autovalores son ortogonales entre s (incluso las que
corresponden a un mismo autovalor). Es decir,
n
,=
m

n
[
m
) (La expresin
[) denota el producto escalar).
El conjunto de las funciones propias de casi
6
cualquier operador hermtico forma
una base en el espacio vectorial correspondiente.
Los postulados de la mecnica cuntica arman que, al realizar una medida de un
observable, los posibles valores que se pueden obtener son los valores propios del operador
asociado. Si tenemos un operador cuyas funciones propias forman una base, podemos
escribir cualquier funcin de estado del sistema en esa base de la forma:
(x) =
n
c
n
n
(x)
6
En los espacios vectoriales de dimensin innita, que aparecen a menudo en mecnica cuntica,
existe una sutil diferencia entre operadores hermticos y operadores autoconjugados, y de este hecho
proviene este casi.
22
7. Evolucin temporal Captulo 2. Ecuacin de Schrdinger
de manera que los coecientes c
n
adquieren una especial relevancia: estn relacionados
con las probabilidades de obtener los distintos valores propios (recordemos, los valores
posibles de una medida) del operador asociado a la base en la que est desarrollada la
funcin de onda del sistema. Es decir:
T(
n
) = [c
n
[
2
De nuevo nos encontramos con el hecho de que en mecnica cuntica solo podemos dar
probabilidades de que un cierto acontecimiento suceda. Vemos aqu una nueva manera de
obtener valores esperados. En la seccin 4 estudibamos como obtener valores esperados
para una distribucin de probabilidad continua. Con la ecuacin anterior tenemos una
distribucin de probabilidad discreta. Sustituyendo las integrales por sumas, podemos
obtener el valor esperado de la magnitud / de la siguiente manera:
A) =
n
[c
n
[
2
(2.18)
Esta ecuacin sera la anloga a la ecuacin (2.10).
7. Evolucin temporal
Vamos a estudiar aqu la solucin ms general de la ecuacin de Schrdinger. Partimos
de la ecuacin:
i
(x, t)
t
=
2
2m
2
(x, t)
x
2
+V (x)(x, t) Ecuacin de Schrdinger independiente del tiempo
(2.19)
Lo primero que podemos hacer es intentar probar con un cambio de variables, de la
forma:
(x, t) = (t)(x)
Si aplicamos lo anterior a la ecuacin y dividimos por la funcin dada en la forma anterior,
obtenemos:
i
(t)
(t)
t
=
2
2m
1
(x)
d
2
(x)
dx
2
+V (x) cte. = E
n
Como el primer miembro depende exclusivamente de t y el segundo de x, es lgico que
para que ambos trminos sean iguales debern ser una constante, que no dependa ni de
x ni de t. Esa constante viene dada por la energa E. Esto se debe a que los autovalores
del operador hamiltoniano, como se muestra en la siguiente ecuacin, vienen dados por
las posibles energas del sistema:
H(x, t) = E
n
(x, t) (2.20)
Hemos pasado de tener una ecuacin con dos incgnitas a tener dos ecuaciones de una
incgnita. La ecuacin que queda para (t) tiene como solucin:
(t) = Ce
iEnt
23
7. Evolucin temporal Captulo 2. Ecuacin de Schrdinger
Para (x) no sabemos nada, solo que en general ser una solucin de la ecuacin de
autovalores:
H
n
(x) = E
n
n
(x) Ecuacin de Schrdinger independiente del tiempo (2.21)
Esta es la ecuacin de Schrdinger independiente del tiempo. La solucin mas general
vendr dada por el una combinacin lineal del producto de estas dos funciones, combi-
nacin lineal que depender del ndice n:
(x, t) =
n
e
iEnt

n
(x) (2.22)
24
Captulo 3
Problemas unidimensionales
1. Introduccin. Generalidades
1.1. Ecuacin de Schrdinger para potenciales constantes. Con-
tinuidades y discontinuidades
Vamos a estudiar ahora problemas unidimensionales, para resolver la ecuacin de
Schrdinger en casos sencillos, ya que fuera de estos es de difcil solucin analtica.
Adems muchos de estos casos sencillos son modelos que sirven para aproximar casos
fsicos reales, como los ncleos atmicos. El hecho de que se estudien en una sola dimen-
sin es porque son de fcil generalizacin a ms dimensiones, y tambin porque a veces
la dependencia es efectivamente unidimensional (radial, por ejemplo).
Si consideramos la ecuacin de Schrdinger en varias dimensiones, dependiente del
tiempo (por ejemplo, (2.5)), al aplicarla al caso unidimensional tendremos que el oper-
ador
2
pasa a ser simplemente
d
2
dx
2
. Adems buscaremos soluciones estacionarias de la
ecuacin, es decir, independientes del tiempo. Tenemos pues la siguiente ecuacin:
i
(x, t)
t
=
2
2m
d
2
(x, t)
dx
2
+(x, t)V (x) (3.1)
Si introducimos una separacin de variables en la anterior ecuacin de la forma
(x, t) = (t)(x), y dividimos toda la ecuacin por (x, t) en la forma dada, se ob-
tiene (omitimos las dependencias respecto a las variables por simplicidad):
i
t
=
2
2m
1
d
2
dx
2
+V (x) cte.
La dos miembros de la ecuacin anterior tienen que ser iguales a una constante porque
el miembro de la izquierda depende solo de t, mientras que el segundo depende solo de
25
1. Introduccin. Generalidades Captulo 3. Problemas unidimensionales
x. As pues, llamando a esa constante E, que ser la energa (ahora veremos por qu),
tenemos:

2
2m
d
2
(x)
dx
2
+V (x)(x) = E(x) (3.2)
Esta es la ecuacin de Schrdinger unidimensional independiente del tiempo. Decimos
que esa constante E representa la energa porque es el autovalor (en realidad podr haber
varios) de la ecuacin

H = E, que es una ecuacin de autovalores, y donde

H es el
operador hamiltoniano. Todo esto se ver con ms detalle y quedar mejor entendido en
el captulo dedicado a la estructura y postulados de la mecnica cuntica.
Si consideramos, como haremos en este captulo, potenciales en los que, de una manera
u otra, el potencial es constante, V (x) = V , podemos resolver directamente la ecuacin,
considerando los casos en los que E > V E < V . Podemos escribir la ecuacin de la
forma (omitiendo las dependencias
1
):
d
2
dx
2
+
2m
2
(E V ) = 0 (3.3)
Segn los casos, la solucin ser:
E V > 0 En este caso la solucin ser una combinacin lineal de exponenciales imag-
inarias:
(x) = Aexp (ikx) +Bexp (ikx) (3.4a)
deniendo k como:
k =
_
2m
2
(E V ) (3.4b)
E V < 0 En este otro caso la solucin ser una combinacin lineal de exponenciales
normales:
(x) = Aexp (qx) +Bexp (qx) (3.5a)
donde hemos denido q como:
q =
_
2m
2
(E V ) (3.5b)
Tambin es importante como ha de ser la funcin de onda en las discontinuidades.
Deber de ser siempre continua, y su derivada tambin
2
, salvo en el caso de un potencial
1
Escribiremos a partir de ahora la parte espacial de la funcin de onda como = (x), y no como
, como hicimos antes en la separacin de variables, y no tomaremos como la funcin de onda total,
= (x, t)
2
Una forma de entender esto es que, si no lo fuera, tendramos que su derivada segunda tendra un
valor innito, mientras que en la ecuacin de Schrdinger aparece igualada a algo nito.
26
1. Introduccin. Generalidades Captulo 3. Problemas unidimensionales
delta (denido mediante una delta de Dirac, como veremos ms adelante). Esto se puede
ver integrando la ecuacin de Schrdinger en las cercanas de una discontinuidad, situada
arbitrariamente, por comodidad en la notacin, en x = 0. Se tiene, para el caso de un
potencial constante, V (x) = V :
d
2
(x)
dx
2
dx =
_

(E V )(x)dx
0
0
_
d(x)
dx
_
=
_
d(x)
dx
_
Sin embargo, si el potencial viene denido no por una constante sino por una funcin
delta, de intensidad , V (x) = (x), se tendr, usando los mismos clculos que en el
apartado anterior:
_
d(x)
dx
_
+
_
d(x)
dx
_
=
_

2m
2
(x)(0)dx =
2m
2
(0)
Esto deriva en la siguiente condicin, para una discontinuidad situada en un punto
a:
_
d(x)
dx
_
a+
_
d(x)
dx
_
a
=
2m
2
(a) (3.6)
Otra cosa importante que tendremos que tener en cuenta sern las condiciones de
contorno, es decir, las condiciones especcas que tendr que cumplir la ecuacin de
onda, que sern precisamente lo que dar origen a fenmenos interesantes, tales como la
cuantizacin de la energa y la aparicin de estados discretos, el efecto tnel, resonancias,
estados ligados, etc.
1.2. Simetras. Operador paridad
Denimos el operador paridad, , mediante la siguiente ecuacin:
[ (x) ) = [ (x) )
Para ver los posibles autovalores de en la ecuacin (x) =
[ ) slo tenemos
que hacer actuar dos veces sobre un vector propio (x):
2
[ (x) ) =
2
[ ) = [ (x) ) = [ (x) ) = [ (x) )
1 = 1
Por otro lado, veremos ms adelante (captulo 4) que la variacin del promedio tem-
poral de una magnitud asociada a un operador A vara como
t
A) [H, A]. Es decir,
una cantidad se conserva si su operador asociado conmuta con el hamiltoniano. Para el
caso de nuestro operador se tiene que:
_
P
2
,
= 0
27
2. Potencial escaln Captulo 3. Problemas unidimensionales
[V (x), ] =
_
= 0, si V (x) es par, V (x) = V (x);
,= 0, si V (x) no es par.
Es decir, si el potencial es par, V (x) = V (x), entonces [H, ] = 0, y la paridad se
conserva. Esto es importante, porque, si el potencial es par, permite elegir como funciones
propias del hamiltoniano funciones que sean pares o impares, que permitirn resolver con
ms facilidad los distintos problemas, segn como sea el espectro de H:
Estados no degenerados La funcin ha de ser necesariamente impar o impar.
Estados degenerados Se pueden elegir funciones propias pares o impares (y con ellas
establecer una combinacin lineal para obtener una solucin general)
2. Potencial escaln
Vamos a estudiar el comportamiento de una partcula en un potencial escaln (vase
gura 3.1), denido matemticamente de la siguiente forma:
V (x) =
_
0 si x < 0;
V
0
si x > 0.
6
O
V (x)
x
-
V
0
I II
Figura 3.1: Potencial escaln
Habr que considerar soluciones en uno y otro lado del salto de potencial, y despus
unirlas. Segn que la energa sea E < V
0
E > V
0
tendremos distintos tipos de solucin.
2.1. E > V
0
. Reexin parcial
En este caso, la solucin en uno y otro lado del salto de potencial es exponencial
imaginaria, y escribimos:
I
(x) = A
I
e
ik
I
x
+B
I
e
ik
I
x
II
(x) = A
II
e
ik
II
x
+B
II
e
ik
II
x
28
k
I
=
_
2mE
2
k
II
=
_
2m(E V
0
)
2
Elegimos arbitrariamente B
II
= 0. Esto lo hacemos queriendo indicar que no hay
ondas que provengan desde +. Estableciendo las condiciones de que la funcin de
onda y su derivada sean continuas en x = 0 obtenemos estas condiciones:
A
I
+B
I
= A
II
ik
I
(A
I
B
I
) = ik
II
A
II
De aqu, y atendiendo a las deniciones de k
I
y k
II
, se tiene:
A
II
A
I
=
2k
I
k
I
+k
II
B
I
A
I
=
k
I
k
II
k
I
+k
II
Ahora vamos a denir dos magnitudes y conceptos que usaremos con frecuencia. El
coeciente de transmisin, T, representa la probabilidad de que una onda incidente sea
transmitida a travs del salto de potencial, mientras que el coeciente de reexin, R, es
la probabilidad de que una onda incidente se reeje. Si tenemos en cuenta como hemos
escrito las funciones de onda, podemos denirlos de la siguiente manera:
T =
k
II
k
I
A
II
A
I
2
R =
B
I
A
I
2
T =
k
II
k
I
4k
2
I
(k
I
+k
II
)
2
R =
(k
I
k
II
)
2
(k
I
+k
II
)
2
Es directo comprobar que se cumple T +R = 1, es decir, la onda incidente ciertamente
se transmite o se reeja. Esto es un resultado que resulta chocante en comparacin
con la fsica clsica: un partcula que llegase a un salto de potencial de esta manera,
siendo su energa mayor que el potencial, jams rebotara, siempre sera transmitida.
Cunticamente cabe la posibilidad de que la onda/partcula se reeje. En la gura 3.2 hay
una representacin del coeciente T frente a , donde hemos denido EV
0
= E(1),
es decir, = V
0
/E.
29
Figura 3.2: Representacin del coeciente de transmisin T en funcin de = V
0
/E.
2.2. E < V
0
. Reexin total
En este caso se tiene que la solucin en un lado (izquierdo) se corresponde con com-
binacin de exponenciales imaginarias, mientras que en el otro la solucin viene dada
por una exponencial real. Escribimos:
I
(x) = A
I
e
ikx
+B
I
e
ikx
II
(x) = A
II
e
qx
+B
II
e
qx
k =
_
2mE
2
q =
_
2m(E V
0
)
2
Para que la funcin de onda sea normalizable, y la integral no diverja, es necesario
hacer A
II
= 0. En estas circunstancias, y estableciendo las misma condiciones de em-
palme que antes, se llega a un resultado muy parecido al anterior (solo hay que cambiar
k
I
k y k
II
iq):
B
II
A
I
=
2k
k +iq
B
I
A
I
=
k iq
k +iq
Si intentamos hallar el coeciente de reexin, R, y operamos con l, obtenemos
R = 1. Esto quiere decir que la partcula siempre se reeja. Sin embargo, dado que la
funcin de onda es no nula en la zona II, existe una cierta probabilidad de encontrar a
la onda dentro del escaln.
Es inmediato comprobar que la corriente de probabilidad se conserva. Si denimos j
e
30
3. Pozo de potencial nito Captulo 3. Problemas unidimensionales
como la corriente entrante, y j
s
como corriente saliente, se tendr:
j
e
=
k
m
([A
I
[
2
+[B
I
[
2
)
j
s
=
q
m
[C[
2
Si operamos y atendemos a los resultados obtenidos anteriormente:
j
e
= [A
I
[
2
k
m
_
1
(k q)
2
(k +q)
2
_
=
q
m
4k
2
(k +q)
2
=
q
m
[A
II
[
2
= j
s
.
Adems, se puede observar, teniendo en cuenta los resultados de los coecientes que
acompaan a las exponenciales complejas, que la reexin produce un cierto desfase.
Si hallamos las constantes en el lmite V
0
encontramos:
B
I
A
I
V
0
1 B
I
A
I
B
II
A
I
V
0
1 B
II
0
Esto es, cuando el potencial se hace muy grande, toda la onda se reeja, si desfase
alguno, y adems no hay probabilidad de que la onda/partcula penetre en el escaln.
3. Pozo de potencial nito
Vamos a estudiar un pozo cuadrado de potencial, cuya denicin matemtica est
dada en (3.7). Una representacin esquemtica viene dada en la gura 3.3.
V (x) =
_
0, si [x[ a;
V
0
, si [x[ a .
(3.7)
3.1. V
0
< E < 0. Estados ligados
Las soluciones de este caso vienen dadas por:
1
(x) = Aexp (qx) +Bexp (qx)
2
(x) = C exp (ikx) +Dexp (ikx)
3
(x) = F exp (qx) +Gexp (qx)
31
V = 0 V = 0
V
0
I
II III
a a
Figura 3.3: Pozo cuadrado de potencial
q =
_
2m[E[
2
k =
_
2m(V
0
[E[)
2
(3.8)
Para evitar la divergencia en la normalizacin tendremos que tomar G = A = 0.
A los estados que aparecern en la zona II se les llama estados ligados: el pozo
cuadrado atrae, liga a los electrones. Si stos van con mucha energa pasan por l sin ser
muy perturbados, pero si van con poca energa, pueden quedar ligados al pozo.
La complicacin que puede aparecer al solucionar el sistema de ecuaciones anterior
se resuelve mediante las consideraciones de paridad del potencial.
Funciones propias pares
En este caso se tiene B = F y C = D. Esto implica que las consideraciones de
empalme sern las mismas en a y en a. Se tiene:
C (exp (ika) + exp (ika)) = Bexp (qx)
ikC (exp (ika) exp (ika)) = qBexp (qx)
Las anteriores ecuaciones nos dicen implcitamente para que energas hay solucin.
Atendiendo a la frmula de Euler sobre la exponencial compleja, se tiene la siguiente
condicin:
tan (ka) =
q
k
condicin de estado ligado (3.9)
Pero la anterior ecuacin es una ecuacin implcita, no podemos despejar analticamente
E para saber para que energas existe solucin. Vamos a hallarlas mediante un mtodo
grco. Atendiendo a la denicin de k y q, en la ecuacin (3.8), y si hacemos estas otras
deniciones:
y = k a = a
2
(k
2
+q
2
) =
2mV
0
2
a
2
32
llegamos fcilmente a la expresin:
tan(y) =
_
y
2
y
(3.10)
Los niveles de un pozo dependen del producto de a
2
y V
0
, es decir, de la profundidad
energtica y la anchura espacial del pozo.
Funciones propias impares
Si realizamos las mismas operaciones que en el caso anterior, obtenemos:
cot(y) =
_
y
2
y
(3.11)
Representacin
Ahora representamos las posibles soluciones, para soluciones pares e impares, en una
nica grca. En realidad, en la grca estn representadas las funciones cot(x),
tan(x), f(x) =
n
2
x
2
x
, hemos hecho y = x, y n =
. Las soluciones los posibles es-

tados ligados vienen dados por los cortes de cualquiera de las funciones trigonomtricas
con la funcin f(x). Podemos ver que el nmero de soluciones es:
= 1 + int
_
2
_
= 1 + int(2n)
3.2. E > 0 > V
0
. Coecientes de transmisin
Lo que se pretende en este caso es calcular los coecientes de transmisin y reexin.
Tenemos las funciones de onda:
1
= Aexp(ikx) +Bexp(ikx)
2
= C exp(iqx) +Dexp(iqx)
3
= E exp(ikx) +F exp(ikx)
k =
_
2mE
2
q =
_
2m(E [V
0
[
2
33
Figura 3.4: Representacin de estados ligados en un pozo cuadrado
En este caso hay que usar tambin la paridad, pero es algo ms complicado. Podemos
elegir funciones propias del hamiltoniano pares o impares, pero no quiere decir que todas
las soluciones tengan que serlo. Lo mejor ser encontrar soluciones pares e impares, y
establecer una combinacin lineal que nos d la solucin general.
Funciones propias pares
En este caso, consideramos A = G = A
+
= 1, B = F = B
+
, y C = D = C
+
. Las
condiciones de empalme en a, que sern las mismas que en a, son:
B
+
exp(ika) + exp(ika) = C
+
(exp(iqa) + exp(iqa))
k (B
+
exp(ika) exp(ika)) = qC
+
(exp(iqa) exp(iqa))
Estas condiciones nos dan:
B
+
= exp(2ika)
i
k
q
cot(qa) 1
i
k
q
cot(qa) + 1
(3.12)
34
Funciones propias impares
Ahora consideramos A = G = A
= 1, B = F = B
y C = D = C
.
Haciendo los mismos pasos que en el apartado anterior, obtenemos:
B
= exp(2ika)
i
k
q
tan(qa) 1
i
k
q
tan(qa) + 1
(3.13)
Solucin general
Ahora, como dijimos con anterioridad, tenemos que encontrar una combinacin lineal
que nos d una solucin general con las condiciones que nosotros le impongamos. Como
hay una constante global que siempre permanecer por determinar, podemos considerar
arbitrariamente A = 1
3
. Adems imponemos que G = 1, queriendo signicar con ello que
no consideramos ondas que provengan desde +. En denitiva, queremos una solucin
= C
par
par
+ C
impar
impar
, donde las
par
,
impar
vienen dadas, en cada parte del
potencial, mediante las ecuaciones generales con los coecientes vistos en cada uno de
los apartados anteriores, y los coecientes C
par
y C
impar
se obtendrn imponiendo las
condiciones anteriormente mencionadas:
C
par
A
+
+C
impar
A
= A = 1 C
par
+C
impar
= 1
C
par
G
+
+C
impar
G
= G = 0 C
par
C
impar
= 0
En denitiva, se obtiene:
C
par
= C
impar
=
1
2
Como los coecientes se obtendrn a partir de B y F, nos interesa expresar estos en
funcin de B
y B
+
:
B =
B
+
+B
2
F =
B
+
B
2
Coecientes de transmisin y reexin
Como de costumbre, hallamos:
R = [B[
2
=
1
4
(B
+
+B
) (B
+
+B
T = [F[
2
=
1
4
(B
+
B
) (B
+
B
3
Otra alternativa sera calcular los cocientes A/A, B/A, C/A, etc. . . como hicimos con anterioridad.
Pero estos dos mtodos son totalmente equivalentes
35
4. Barreras de potencial Captulo 3. Problemas unidimensionales
Desarrollando los clculos anteriores, podemos llegar a las siguientes expresiones:
R =
(q
2
k
2
)
2
sin
2
(2qa)
4k
2
q
2
+ (q
2
k
2
)
2
sin
2
(2qa)
T =
4q
2
k
2
4k
2
q
2
+ (q
2
k
2
)
2
sin
2
(2qa)
Es directo comprobar que R + T = 1. Decimos que hay resonancias cuando el coe-
ciente de transmisin es mximo, esto es, cuando sin
2
(2qa) = 0 2qa = n, n N.
4. Barreras de potencial
Vamos a estudiar ahora las soluciones de la ecuacin de Schrdinger para los poten-
ciales conocidos como barreras de potencial, denidos como (3.14), cuya representacin
esquemtica se encuentra en la gura 3.5.
V (x) =
_
_
_
0, si x < a;
V
0
, si a x a;
0, si x > a.
(3.14)
-
6
V
0
x a a
V = 0
I II III
Figura 3.5: Barrera cuadrada de potencial
DESARROLLAR EL EFECTO TNEL.
36
5. Pozo de potencial innito Captulo 3. Problemas unidimensionales
5. Pozo de potencial innito
Vamos a estudiar este caso particularmente sencillo, un caso en el que, en realidad,
lo nico que se considera es que la funcin de onda no se extiende a todo el espacio, sino
que se localiza en una regin concreta del espacio. Fuera de ella se considera un potencial
innito, es decir, un potencial que la partcula no puede superar nunca, cualquiera que
sea su energa.
5.1. Centrado en el origen
En la gura 3.6 podemos observar como es este potencial. Matemticamente, viene
descrito por las partes:
V (x) =
_
0 si [x[ < a
+ si [x[ > a
(3.15)
Figura 3.6: Pozo de potencial innito centrado en el origen
x
V (x) = +
V (x) = +
V (x)
V (x) = 0
La forma de potencial nos asegura tajantemente que la funcin de onda se anular
en los extremos del potencial, es decir, tendremos las condiciones de contorno:
(a) = (a) = 0 (3.16a)
(x; [x[ > a) = 0 (3.16b)
En la zona central, como el potencial es cero, podremos escribir la ecuacin de
Schrdinger como ecuacin diferencial ordinaria de segundo grado con coecientes con-
stantes de la manera siguiente:
d
2
dx
2
+k
2
= 0 (3.17a)
37
Siendo
k
2
=
2mE
2
(3.17b)
Las autofunciones de esta ecuacin las podemos tomar como:
(x) = Ae
ikx
+Be
ikx
= C
1
e
ik(xa)
+C
2
e
ik(xa)
(3.18)
El cambio en la segunda igualdad lo podemos hacer sin prdida de generalidad ningu-
na sin ms que reabsorber la constante e
ika
en las distintas constantes A y B. Aplicando
las condiciones de contorno dadas por 3.16, obtenemos:
(a) = C
1
+C
2
= 0 C
1
= C
2
(x) = C
1
_
e
ik(xa)
e
ik(xa)
_
(3.19a)
Podemos reescribir la anterior expresin en forma sinusoidal:
(x) = 2iC
1
sin (k(x a)) = C
1
sin (k(x a)) (3.19b)
Aplicando la otra condicin de contorno, hallamos:
(a) = C
1
sin(2ka) = 0 2ka = n, n = 1, 2, . . . (3.19c)
Esto quiere decir que la energa est cuantizada, dada la relacin que existe entre
k y E, segn 3.17b:
E =

2
2
8ma
2
n
2
, n = 1, 2, . . . (3.20)
Ahora normalizaremos la funcin de onda para obtener el valor de la constante C
1
:
_
a
a
[C
1
[
2
sin
2
(k(x a))dx = [C
1
[
2
_
0
2a
sin
2
(k(z a))dz
= [C
1
[
2
_
z
2

sin(2kz)
4k
_
0
2a
= [C
1
[
2
a = 1 [C
1
[ =
1
a
(3.21)
Por lo tanto, podemos escribir la solucin como sigue:
(x) = C
1
sin(k(x a)) =
1
a
sin
_
n
2a
(x a)
_
n = 1, 2, 3, . . . (3.22)
38
Sin embargo, es ms cmodo desarrollar el seno de la diferencia como una diferencia
de senos y cosenos, pues la situacin se simplica. En efecto, tenemos:
(x) =
1
a
sin
_
n
2a
(x a)
_
=
1
a
sin
_
n
2a
x
n
2
_
=
1
a
sin
_
n
2a
x
_
cos
_
n
2
_
a
cos
_
n
2a
x
_
sin
_
n
2
_
(3.23)
Ahora tenemos en cuenta que:
n impar sin
n
2
= 1 cos
n
2
= 0
n par cos
n
2
= 1 sin
n
2
= 0
Podemos entonces separar la solucin en los dos casos posibles sealados arriba, n
par o impar, y obtener, como solucin nal (ver representacin en las guras 3.7 y 3.8):
n
(x) =
_
_
1
a
cos
_
n
2a
x
_
n = 1, 3, 5, . . .
1
a
sin
_
n
2a
x
_
n = 2, 4, 6, . . .
(3.24)
Podemos calcular el valor del incremento relativo de energa entre dos niveles consec-
utivos:
E
n+1
E
n
En
=
2
8ma
2
(n + 1)
2
2
8ma
2
n
2
2
8ma
2
n
2
=
2n 1
n
2
=
n
2
n
(3.25)
Es decir, para nmeros cunticos sucientemente grandes, el espectro de energas
parece casi continuo (ley de los nmeros grandes).
5.2. Pozo asimtrico
El potencial ahora es de la forma:
V (x) =
_
0 si 0 < x < 2a
+ si x < 0 x > 2a
(3.26)
Las autofunciones son las mismas que antes, salvo que ahora no conviene tomar como
argumentos de las exponenciales complejas los valores x a, sino simplemente x:
(x) = C
1
e
ikx
+C
2
e
ikx
(3.27)
39
Figura 3.7: Primeros estados separados segn su forma: cos k
n
x o sin k
n
x
Las condiciones de contorno son ahora:
(0) = (L) = 0 (3.28a)
(x; 0 < x < 2a) = 0 (3.28b)
Aplicndolas, obtenemos de nuevo C
1
= C
2
, y por tanto:
(x) = 2iC
1
sin kx = C
1
sin kx (3.29a)
Y tambin:
(2a) = C
1
sin(2ka) = 0 2ka = n, n = 1, 2, . . . (3.29b)
Evidentemente, la energa tambin est cuantizada y los posibles valores que obtenemos
para la energa son los mismos que en el caso anterior:
E =

2
2
8ma
2
n
2
, n = 1, 2, . . . (3.29c)
La constante de normalizacin es tambin la misma, [C
1
[ =
1
a
. Y obtenemos, como
40
Figura 3.8: Los cuatro primeros estados
resultado nal:
n
(x) =
1
a
sin
_
n
2a
x
_
n = 1, 2, 3, . . . (3.30)
Todas las consideraciones hechas respecto al caso anterior son vlidas en este caso,
con la salvedad de la aparicin de los estados pares e impares. Aqu obtenemos solo un
tipo de resultados. En realidad, el resultado tampoco es tan distinto del que obtuvimos
en el apartado 5.1. La equivalencia la tenemos que buscar entre esta expresin 3.30 y la
ecuacin 3.22 y no la 3.24. De hecho, si hacemos un cambio de variable x xa volvemos
a obtener el caso anterior. Todo esto se debe a que en el primer caso el potencial tiene
simetra par, por lo que el operador potencial conmuta con el operador hamiltoniano, y
entonces podemos elegir (en ciertos casos y bajo ciertas condiciones) las soluciones como
pares o impares. En este segundo caso, el potencial asimtrico, su operador no conmuta
con el hamiltoniano, y no podemos hacer esta eleccin.
41
6. Potenciales delta Captulo 3. Problemas unidimensionales
6. Potenciales delta
En muchas situaciones la forma matemtica de un potencial viene dado por una
funcin delta de Dirac, de la forma V (x) = (x a), dicindose entonces que existe un
potencial delta en a de intensidad . Vamos a estudiar en detalle el caso de una barrera
de potencial cuadrada (ver seccin 4), en el que el valor de la altura del potencial tiende
a innito (consideramos E < V
0
), y la anchura del mismo tiende a cero, mantenindose
constante el producto de ambos, es decir:
V (x) =
_
V
0
, [x[ a;
0, [x[ a.
cumplindose:
lm
a 0
V
0

2aV
0
= V
Trataremos de comprobar que en este lmite la funcin de onda en las dos partes es
continua, mientras que su derivada es discontinua y satisface:
d
1
dx

d
2
dx
=
2m
2
V
1
(3.31)
Por analoga con la seccin 3, las soluciones en las regiones son
4
:
1
(x) = exp(ikx) +
B
+
+B
2
exp(ikx) (3.32a)
2
(x) =
B
+
B
2
exp(ikx) (3.32b)
3
(x) = C exp(qx) +Dexp(qx) (3.32c)
donde los coecientes B
+
y B
son:
B
+
= exp(2ika)
i
k
q
coth(qa) 1
i
k
q
coth(qa) + 1
(3.32d)
B
= exp(2ika)
i
k
q
tanh(qa) 1
i
k
q
tanh(qa) + 1
(3.32e)
q =
_
2m(E +V
0
)
2
k =
_
2mE
2
(3.32f)
4
Para las expresiones de C y D ver 3
42
Captulo 4
Estructura y postulados de la mecnica
cuntica
Hemos avanzado en la descripcin de la perspectiva de la fsica cuntica. Introducido
el concepto de funcin de onda, y unas reglas para manejarse con ella, hemos resuelto
varios problemas relativos a movimiento unidimensional de una partcula. Ahora vamos
hacer una pausa para introducir las herramientas matemticas y la notacin necesarias
para profundizar en la estructura de la mecnica cuntica.
Principalmente, todo consiste en hacer abstraccin. Hemos considerado que una
partcula vena descrita por una funcin de onda (x), que representaba como se dis-
tribuye la probabilidad de encontrar a sta en el espacio. Tambin hablamos de la funcin
en el espacio de momentos (p), que nos daba lo equivalente para la densidad de proba-
bilidad de su momento. Por ltimo, veamos que cuando tenemos un pozo innito, o en
los estados ligados de un pozo nito, obtenemos un conjunto de funciones propias. Puede
escribirse entonces cualquier estado (ligado en el segundo caso) como combinacin lineal
de stas. En este caso, basta una sucesin de nmeros c
i
para caracterizar el estado por
completo.
Todas estas maneras de describir un sistema son igualmente vlidas, y aqu subyace la
motivacin de la abstraccin. Dada una de stas caracterizaciones del estado del sistema,
siempre es posible en principio encontrar las otras (haciendo la transformada de Fourier,
obteniendo funciones propias, etc.). Es por eso que debemos intentar extraer lo que
subyace en comn a todas ellas al hablar del mismo estado fsico.
43
1. Preliminares. Funciones de onda Captulo 4. Estructura y postulados
1. Preliminares. Funciones de onda
Una funcin de onda bsicamente ha de ser continua, derivable, y para guardar con-
sistencia con su interpretacin probabilstica, ha de vericarse:
_

[(x)[
2
d
3
x = 1 (caso unidimensional) (4.1)
El conjunto de todas las funciones de R
n
en C tal que existe la integral de su cuadrado
extendida a todo R
n
(esto es, converge a un valor no innito) se denomina el espacio
de funciones de cuadrado integrable L
2
C
(R
n
). En realidad una funcin de onda estar
contenida en el subespacio de L
2
C
(R
n
) de funciones continuas y derivables.
Para una partcula en el espacio tridimensional en principio tomaramos n = 3, ya
que la funcin de onda se evala en cada punto de ste, con cordenadas (x, y, z). Sin
embargo, continuaremos sin concretar este valor, ya que abre la posibilidad a grados
de libertad inferiores (en problemas uni o bidimensionales p.ej.) o superiores (varias
partculas). Denotaremos este espacio de funciones de onda L
.
Al ser L
un espacio vectorial, la combinacin lineal de funciones de onda es una

funcin de onda (sin tener en cuenta que la integral anterior valga 1 o no)
1
. En este
conjunto existe adems un producto escalar denido por:
(, ) =
_
R
n
=
_

. . .
_

(x)(x)d
n
x (4.2)
Este producto escalar cumple las propiedades que son de esperar en un espacio eu-
cldeo complejo:
(, ) = (, )
(Hermiticidad) (4.3)
(, +) = (, ) +(, )
( +, ) =
(, ) +
(, ) (Linealidad) (4.4)
(, ) = [[
2
0 (Norma) (4.5)
(, ) = 0 0 (4.6)
As, diremos que y son ortogonales si (, ) = 0. A partir de aqu podemos denir el
concepto de base ortonormal. Un conjunto de funciones de onda u
i
I
(donde el conjunto
de ndices I en principio es innito numerable o, de otra forma, N) es una base ortonormal
si:
1
Si no vale 1, no sucede nada, salvo que para calcular probabilidades, aparecern multiplicadas por un
factor igual al valor de esta integral. Si van a hacerse otras manipulaciones, lo que procede es normalizarla
a 1 dividiendo por una constante real (la raz cuadrada de su norma, vase ms adelante).
44
i) Toda funcin de onda puede desarrollarse como combinacin lineal de las funciones
de la base:
=
i=1
c
i
u
i
(4.7)
ii) El conjunto es ortonormal, esto es :
(u
i
, u
j
) =
ij
(4.8)
El espacio de funciones de onda se dice que es un espacio de Hilbert separable, y
esto conlleva varias consecuencias interesantes. Una de ellas es el hecho de que las bases
ortonormales de L
sean numerables (discretas), como hemos supuesto antes. Veamos la

forma en que pueden calcularse los coecientes c
i
:
(u
j
, ) = (u
j
,
i=1
c
i
u
i
) =
i=1
c
i
(u
j
, u
i
) =
i=1
c
i
ji
= c
j
As: c
i
= (u
i
, ) (4.9)
Esto nos lleva inmediatamente a que el producto escalar puede expresarse como:
=
i=1
a
i
u
i
, =
j=1
b
j
u
j
(, ) =
i=1
j=1
a
i
b
j
(u
i
, u
j
) =
i=1
j=1
a
i
b
j
ij =
i=1
a
i
b
i
(4.10)
Y tambin tenemos una expresin, pues, para la norma al cuadrado de una funcin:
[[
2
=
i=1
[c
i
[
2
=
i=1
[(u
i
, )[
2
(4.11)
A modo formal, se hace necesario introducir el concepto de funcin de onda general-
izada y base generalizada. Como puede verse en el apndice, mediante la distribucin
de Dirac, puede escribirse:
(x) =
_
R
n
(y) (y x) d
n
y (4.12)
Tambien, dada la transformada de Fourier de , sta verica por denicin:
(x) =
1
(2)
n/2
_
R
n
(p)e
ipx
d
n
p (4.13)
45
Estas expresiones nos inducen a considerar los conjuntos:
yR
n ,
y
= (x y) (4.14)
v
p
pR
n , v
p
=
1
(2)
n/2
e
ipx
(4.15)
como bases del espacio de funciones de onda. El problema es que esto en s no tiene
sentido: las bases de L
son numerables (stas son no numerables), y lo que es ms

importante, estn formadas por vectores de L
(en el caso de las

y
ni siquiera tenemos
funciones). Sin embargo, aceptaremos estas bases generalizadas porque tienen su utilidad
para la comprensin formal de la teora. Esto es idntico al proceso de introduccin de
la distribucin : tiene un cierto signicado y puede implementarse de un modo ms
riguroso a un nivel mucho ms profundo.
De hecho esto ya lo hemos utilizado, en la resolucin de problemas unidimensionales.
All obtenamos como funciones propias del hamiltoniano combinaciones de ondas planas
que no pertenecan a L
. Simplemente tenamos los ladrillos con los que se construyen

los estados, una base generalizada asociada a la energa.
Para estas bases generalizadas, el conjunto de coecientes es continuo, y la combi-
nacin lineal debe ser entendida como integral. As, reproduciendo los resultados anteri-
ores para bases ortonormales en sentido estricto:
Base generalizada u
i
(x)
I
(u
t
, u
s
) =
_
R
n
u
t
(x)u
s
(x) ds = (t s) (4.16)
(x) =
_
I
(t)u
t
(x) dt , (x) =
_
I
(s)u
s
(x) ds (4.17)
(t) = (u
t
, ) =
_
R
n
u
t
(x)(x) d
n
x (4.18)
(, ) =
_
I
(t)(t) dt (4.19)
[[
2
=
_
I
[(t)[
2
dt (4.20)
Las dos primeras lneas son la denicin denitiva de base ortonormal generalizada:
la ortonormalidad y la posibilidad de desarrollar cualquier funcin de onda como una
combinacin (integral) de las funciones de la base. I es un conjunto de ndices continuo
cualquiera, en general, R
m
(no tiene por qu ser m = n)
2
.
El ltimo concepto fundamental para el desarrollo de esta teora es el de operador.
Ya hemos visto que podemos obtener valores medios de magitudes como el momento o
2
En el caso de ndices continuos, nos referimos ciertamente a un subconjunto I de R
n
. Es importante
destacar que todos los espacios R
n
tienen idntico cardinal (nmero de elementos). En principio si la
base no es numerable, la consideraremos continua.
46
2. Espacio de estados. Notacin de Dirac Captulo 4. Estructura y postulados
la posicin de la partcula, transformando la funcin de alguna forma (y luego haciendo
una integral). En general, trabajaremos exclusivamente con operadores lineales, esto es,
aplicaciones lineales en el espacio de funciones de onda
3
:
/ : L
/( +) = / +/ , , C , L
(4.21)
Los operadores permiten manipular las funciones de onda para, entre otras cosas, obtener
informacin sobre el estado del sistema. Esto ya se ha sugerido antes, pero avanzaremos
ms sobre ello. Notemos ahora que el valor medio de un operador / para un estado
puede escribirse ahora como:
/) =
_
R
n
/ = (, /) (4.22)
Llegados a este punto hemos de mirar atrs y darnos cuenta de a dnde hemos llegado.
Dado un estado mediante la funcin de onda , sta contiene toda la informacin sobre
el sistema. Si especicamos una base
i
N
, conocer los coecientes c
i
del desarrollo de
nos proporciona el mismo conocimiento. Tambien vale esto para una base continua
u
A
. De hecho, dada
y
yR
n, los coecientes de con respecto a esta base son
precisamente (x), con lo que la propia funcin de onda se representa a s misma. Los
valores de la funcin de onda del espacio de momentos (p) no son sino los coecientes
respecto a la base de ondas planas v
p
pR
n.
Un mismo estado se ve representado por distintas funciones de onda (segn traba-
jemos en el espacio de momentos, en el espacio natural de la posicin,etc.), sucesiones
de escalares complejos c
i
,. . . Debemos encontrar alguna manera entonces de reunir todas
estas interesantes propiedades para acabar con la ambigedad que encontramos.
2. Espacio de estados. Notacin de Dirac
Las distintas formas en las que un estado queda caracterizado tienen algo en comn:
todas se reeren a un espacio de Hilbert separable de dimensin innita. L
lo es ya, y
a l pertenecen las funcines de onda, funcines de onda en el espacio de momentos, los
coecientes referentes a una base continua. . . Por otro lado, las sucesiones de escalares
complejos c
i
tales que:
i=1
[c
i
[
2
< son el marco natural donde se trabaja cuando
tenemos una base discreta, y tambin forman un espacio de este tipo.
3
As como diremos operador en vez de aplicacin lineal, utilizaremos una notacin distinta a la usual
f(x) para las funciones: / . Ntese que /(x) es el valor de la funcin / en x
47
2. Espacio de estados. Notacin de Dirac Captulo 4. Estructura y postulados
El paso que vamos a dar se apoya sobre un importante hecho: todos estos espacios
son perfectamente isomorfos, esto es, existe (al menos) una correspondencia biunvoca
entre cada pareja de ellos, que ademas conserva el producto escalar.
. . . (x) c
i
N
(p) . . .
. . .
(y) c
(q) . . .
. . . . . . . . . . . . . . .
. . . =
_
R
n
(x)
(x) d
n
x =
i=1
c
i
c
i
=
_
R
n
(p)
(p) d
n
p = . . .
As, simplemente diremos que el estado de un sistema viene representado por un
vector de un espacio c, llamado espacio de estados. Este espacio de estados es un espacio
de Hilbert separable genrico, sin ninguna de las connotaciones propias de los vistos
anteriormente.
A los vectores de este espacio se les denomina kets, y se les denota mediante el
smbolo [ ). As, usualmente convendremos que el vector de c correspondiente a una
funcin de onda (del espacio natural de la posicin) se escribe [ ). En este espacio
existe tambin un producto escalar que denotaremos de momento por ( [ ), [ )).
El espacio dual c
Un funcional lineal en un espacio vectorial como c es una funcin

que asocia a cada vector [ ) un escalar ( [ )) C, de forma que se verique:
([ ) +
[ )
) = ( [ )) +
( [ )
), (4.23)
dados ,
C, ,
c cualesquiera. Al conjunto de todos los funcionales lineales

se le denota por c
, y es un espacio vectorial de Hilbert (no exactamente isomorfo a c,

ahora lo veremos). El inters de considerar esta denicin es descubrir el potencial de la
notacin de Dirac. Un famoso teorema del anlisis funcional
4
arma que a cada funcional
lineal le corresponde un vector [ ), de forma que ( [ )) = ( [ ), [ )) , [ ) c.
Denotaremos entonces el funcional lineal asociado al vector [ ), que actuando sobre
otro vector [ ), da ( [ ), [ )), por [ . Los vectores del espacio c
los llamaremos
entonces vectores bra, y el producto escalar de [ ) por [ ) se denotar de ahora en
adelante como el funcional [ actuando sobre [ ), escrito [ ). Esto justica los
nombres de bra y ket de la notacin de Dirac
5
.
4
El teorema de
5
brackets: del ingls, parntesis [ )
48
A. Resumen de los postulados Captulo 4. Estructura y postulados
A. Resumen de los postulados
A.1. Descripcin del estado de un sistema
Postulado 1 (Estado de un sistema). En un instante de tiempo concreto t
0
, el estado
de un sistema fsico viene descrito por un vector [ (t
0
) ), llamado ket, de un espacio de
Hilbert H
El hecho de que especiquemos los estados como vectores de espacios de Hilbert
implica la linealidad, lo que en la prctica implica superposicin: si dos vectores [
1
) y
[
2
) son posibles estados de un sistema, tambin lo ser la combinacin lineal [ ) =
[
1
) + [
2
) , C.
A.2. Descripcin de magnitudes fsicas
Postulado 2 (Magnitudes fsicas). Toda magnitud fsicamente medible / viene descrita
por un operador

A que acta en H. Este operador es un observable.
Con estos dos postulados se observa la radical diferencia entre la mecnica clsica y
la cuntica: en la primera el estado de un sistema en un instante de tiempo se describe
mediante seis cantidades correspondientes a dos vectores tridimensionales (r y p) y las
magnitudes mediante cantidades escalares o vectoriales; en la mecnica cuntica el estado
de un sistema est dado por una nica funcin o vector de un espacio vectorial abstracto,
y las magnitudes por operadores.
A.3. Teora de la medida
Postulado 3 (Posibles valores de una medida). Los nicos posibles resultados de una
medida realizada sobre un sistema respecto a una magnitud / es uno de los autovalores
del operador

A asociado a dicha magnitud.
Los posibles valores de una medida, como es de esperar, son siempre reales, ya que
A es hermtico por denicin.

Si el espectro de los autovalores de un operador

A es discreto, entonces la magnitud
/ est cuantizada.
49
A. Resumen de los postulados Captulo 4. Estructura y postulados
A.4. Valores posibles de una medida
Postulado 3.1 (Caso discreto no degenerado). La probabilidad de obtener como resul-
tado de una medida de / sobre un sistema en el estado normalizado [ ) el autovalor no
degenerado
n
correspondiente al autovector normalizado a la unidad [
n
) viene dada
por:
T
(
n
) = [
n
[ )[
2
(4.24)
Postulado 3.2 (Caso discreto degenerado). La probabilidad de obtener como resulta-
do de una medida de / sobre un sistema en el estado normalizado [ ) el autovalor
degenerado
n
del operador asociado

A viene dada por:
T
(
n
) =
gn
i=1

i
n
[ )
2
(4.25)
g
n
es la degeneracin del autovalor
n
y los [
i
n
) forman una base ortonormal del
subespacio de H asociado al autovalor
n
.
Postulado 3.3 (Caso continuo). La probabilidad de obtener como resultado de una
medida de / sobre un sistema en el estado normalizado [ ) un resultado entre y
+ d viene dada por:
dT
(
n
) = [
[ )[
2
d (4.26)
donde [
) es el autovector correspondiente al autovalor del operador

A asociado al
observable /.
50
Captulo 5
Espn electrnico. Composicin de
momentos angulares
1. Introduccin
Hasta ahora hemos considerado las partculas, en particular los electrones, como
puntuales y con tres grados de libertad asociados a las posiciones x, y y z, es decir, hemos
caracterizado los electrones mediante una funcin de onda (x, y, z), normalmente. Con
estas herramientas de trabajo hemos conseguido muchas descripciones, que ampliaban
sin duda los contenidos de la mecnica clsica, explicando fenmenos atmicos con el
tomo de hidrgeno, sus niveles de energa, etc. . . ; adems, estos modelos sirven de base
para modelar otras estructuras de mayor complejidad (eso s, a travs de aproximaciones,
pues una resolucin analtica de la ecuacin de Schr
odinger suele ser imposible). Pero

la realidad, los experimentos, van ms all de lo que hemos estudiado hasta ahora.
Cuando se estudian ciertos experimentos en profundidad, aparecen ciertos fenmenos que
nuestra teora, en el estado en que se encuentra hasta nuestro desarrollo actual, no puede
explicar. Este resultado no debera ser sorprendente, ya que desde el primer momento,
como tuvimos a bien avisar, hemos despreciado toda aportacin que la teora de la
Relatividad pudiera hacer: son necesarias sin duda alguna gran cantidad de correcciones
relativistas que hemos despreciado: as, la variacin de la masa (no la masa en reposo)
con la velocidad, efectos magnticos, etc. . . Estos efectos son pequeos; son pequeos, s,
pero pueden ser medidos.
La ecuacin de Dirac plantea una descripcin cuntica y relativista del electrn, pero
sus implicaciones suponen profundas modicaciones respecto a lo que signica la ecuacin
de Schr
odinger. Adems, de esta teora emerge con total naturalidad una propiedad
fundamental del electrn, y de todas las partculas, el espn, con la misma relevancia que
puedan tener la masa en reposo o la carga de la partcula. Sin embargo, al contrario de
lo que sucede hoy en da, el espn del electrn fue descubierto experimentalmente mucho
antes de que fuera predicho tericamente. Es ms, Pauli desarroll una teora en la que
el espn se introduce de una forma simple de manera no-relativista, a travs de unos
51
2. Evidencia experimental Captulo 5. Espn. Momentos Angulares
nuevos postulados que se aaden -en ningn momento sustituyen- a los anteriores. La
teora demuestra estar en perfecto acuerdo con los experimentos. Nosotros estudiaremos
aqu esta teora de Pauli, que no incluye elementos relativistas y es bastante ms simple.
2. Evidencia experimental del espn electrnico
Son los experimentos los que mandan sobre nuestros modelos fsicos y no al revs. La
evidencia experimental de la existencia de una propiedad sin ninguna analoga clsica, y
con comportamiento de momento angular, al que llamamos espn, es numerosa. Nosotros
nos jaremos solo en aquellos experimentos que son ms clsicos e intuitivos, y que nos
permitirn extraer las consecuencias necesarias para justicar la existencia del espn.
2.1. Estructura na de las lneas espectrales
Cuando hablbamos del tomo de hidrgeno armbamos sin miedo que la teora de-
sarrollada entonces explicaba perfectamente las lneas espectrales observadas (las frecuencias-
energas observadas en las transiciones de un estado a otro de los electrones en los dis-
tintos niveles energticos). Bien, esto es cierto, pero solo hasta un grado de precisin
determinado. Ms all de esta precisin, estas lneas se desdoblan en otras que tienen
frecuencias casi idnticas, pero que se pueden distinguir con los aparatos adecuados. Es
decir, existen niveles atmicos que son muy parecidos, pero distintos. Este desdoblamien-
to, conocido como estructura na del tomo de hidrgeno, no puede ser explicado con las
herramientas y postulados desarrollados hasta ahora. Se hace necesaria la introduccin
de ciertas hiptesis adicionales.
2.2. Efecto Zeeman anmalo
Al colocar un tomo en el seno de un campo magntico las lineas espectrales anterior-
mente mencionadas se subdividen a su vez en un cierto nmero de lneas equiespaciadas,
siendo el intervalo proporcional al campo magntico. Esto se entiende si se tiene en
cuenta que aparece un momento magntico asociado al momento angular orbital de la
forma:
M =

B
L
B
=
q
2m
e
El factor
B
es conocido como magnetn de Bohr. Esta teora es conrmada por
los experimentos en ciertos casos efecto Zeeman normal, pero en otras ocasiones se
demuestra incapaz de dar cuenta cuantitativamente de todas estas subdivisiones efecto
Zeeman anmalo. Se hace necesaria la introduccin de ciertas hiptesis adicionales.
52
3. Postulados de Pauli Captulo 5. Espn. Momentos Angulares
2.3. Existencia de momentos angulares semienteros
El experimento de Stern-Gerlach, que no describiremos aqu, revela la existencia de
valores semienteros del momento angular. Sin embargo, como veremos ms adelante, en
este mismo captulo, la composicin de momentos angulares enteros da como resultado
otro momento angular de posibles valores distintos, pero siempre enteros. Y los momentos
angulares orbitales, como vimos en captulos anteriores, son siempre enteros. Es decir,
existen ciertos momentos angulares, no orbitales, cuyos valores son semienteros. Se hace
necesaria la introduccin de ciertas hiptesis adicionales.
3. Postulados de Pauli
Para resolver estas y otras dicultades, Uhlenbeck y Goudsmit propusieron en
1925 la hiptesis de que el electrn gira
1
sobre s mismo y esto le conere un momento
angular intrnseco que llamamos espn. (MOMENTO MAGNTICO ??).
Posteriormente Pauli propuso estas hiptesis ms precisamente, dando una descripi-
cin del espn que es el lmite del caso relativista, aadiendo una serie de postulados a los
ya conocidos. Hasta ahora hemos considerado la cuantizacin de variables orbitales como
p y r, asociando a ellas los observables T y 1, que actan en el espacio de estados c
r
,
que llamaremos espacio de estados orbitales. A estas variables orbitales debemos aadir
las variables de espn, que satisfagan los siguientes postulados:
1. El operador de espn S es un momento angular, con lo que como vimos
en el captulo dedicado al momento angular esto implica; es decir, satisfacen las
siguientes identidades:
[S
i
, S
j
] = i
ijk
S
k
(5.1)
2. Los operadores de espn actan sobre un nuevo espacio, el espacio de
estados de espn, c
s
, donde S
2
y S
z
consituyen un sistema completo de observ-
ables compatibles. c
s
est generado por un conjunto de vectores propios [ s, m)
comunes a S
2
y S
z
que satisfacen:
S
2
[ s, m) = s(s + 1)
2
[ s, m) (5.2)
S
z
[ s, m) = m[ s, m) (5.3)
3. El espacio de estados total, c es el producto tensorial de c
r
y c
s
:
c = c
r
c
s
(5.4)
1
En ingls el verbo girar es spin, de donde viene el nombre spin, castellanizado como espn.
53
4. Espn 1/2 Captulo 5. Espn. Momentos Angulares
Sabemos que todo valor (que llambamos j, en general) de un momento angular ha de
ser entero o semientero. Una partcula est caracterizada por un valor nico de s; se dice
que la partcula tiene un espn s. El espacio de estados de espn es siempre de dimensin
nita de valor 2s + 1, y todos los estados de espn de una partcula son vectores propios
de S
2
con autovalor s(s +1)
2
. Concretamente, el electrn es una partcula de espn 1/2,
como lo son tambin el neutrn y el protn. Se conocen partculas con espn desde 0
hasta 11/2, pasando por todos los enteros y semienteros.
Con estos nuevos postulados (a los que habremos de aadir los que se reeren a la
simetrizacin o antisimetrizacin de funciones de onda de partculas idnticas) queda
patente que, excepto para el caso particular en que s = 0, no basta con especicar un
ket del espacio c
r
, es decir, los sistemas X, Y, Z, o P
X
, P
Y
, P
Z
, etc. . . no constituyen
un sistema completo de observables compatibles. Todo vector de estado de una partcula
es una combinacin lineal de kets que son productos tensoriales de un ket de c
r
y otro
de c
s
.
4. Propiedades del momento angular 1/2
Ahora resumiremos algunas de las propiedades bsicas para un momento angular
s = 1/2 (no necesariamente un espn), que se deducen directamente de las propiedades
generales estudiadas para el momento angular. Tomaremos como base para nuestra de-
scripcin una base de c
s
formada por los vectores [ +), [ ), desentendindonos por
completo de la parte angular. Los vectores [ +) y [ ) satisfacen las propiedades:
S
2
[ ) =
3
4
2
[ ) (5.5)
[ S )
z
[ ) =
1
2
[ ) (5.6)
+[ ) = 0 (5.7)
+[ +) = [ ) = 1 (5.8)
1 = [ +) +[ + [ ) [ (5.9)
(5.10)
54
5. Descripcin Captulo 5. Espn. Momentos Angulares
Los operadores S
se denen a partir de S
x
y S
y
, cumpliendo las siguientes propiedades:
S
= S
x
iS
y
(5.11)
S
+
[ +) = 0 (5.12)
S
+
[ ) = [ +) (5.13)
S
[ +) = [ ) (5.14)
S
[ ) = 0 (5.15)
S
2
+
= S
2
= 0 (5.16)
La expresin ms general para un vector de estado de espn se describe mediante un
vector arbitrario de c
s
:
[ ) = c
+
[ +) +c
[ ) (5.17)
Los operadores S
x
, S
y
u y S
z
tienen las siguientes expresiones matriciales en la base
[ +), [ ):
S = (5.18)
x
=
_
0 1
1 0
_
(5.19)
y
=
_
1 0
0 1
_
(5.20)
z
=
_
0 i
i 0
_
(5.21)
Estas matrices poseen las siguientes propiedades, que pueden deducirse directamente
de su expresin explcita anterior:
2
i
= 1 (5.22)
j
+
j
i
= 0 (5.23)
[
i
,
j
] = 2i
ijk
(5.24)
j
= i
z
(5.25)
Tr
i
= 0 (5.26)
det
i
= 1 (5.27)
5. Descripcin no-relativista de una partcula de espn
1/2
Si se han de tener en cuenta todas las propiedades de una partcula (todos sus grados
de libertad), el estado de una partcula viene descrito por un vector de c = c
r
c
s
. Para
55
ello, habremos de extender (en el sentido matemtico de la palabra) los operadores que
antes habamos denido para los dos espacios de estado por separado al espacio total
c. Usaremos como sistema de observables el formado por X, Y, Z, S
2
, S
z
. Como base,
tomaremos los kets obtenidos como producto tensorial de vectores de las bases de c
r
,
[ r ) [ x, y, z ), y vectores de la base de c
s
, [ ), donde puede referirse a [ +) o [ ).
Es decir, por denicin, los vectores de la base anteriormente indicada son de la forma:
[ r, ) [ x, y, z, ) = [ r ) [ ) (5.28)
Estos vectores, por denicin, son autovectores de los operadores X, Y , Z, S
2
y S
z
, con
autovalores:
X[ r, ) = x[ r, ) (5.29)
Y [ r, ) = y [ r, ) (5.30)
Z[ r, ) = z [ r, ) (5.31)
S
2
[ r, ) =
3
4
2
[ r, ) (5.32)
S
z
[ r, ) =
2
[ r, ) (5.33)
Adems, los autovectores cumplen las relaciones de ortonormalidad y cierre:
r
[ r, ) =
,
(r
r) (5.34a)
_
dr[ r, ) r, [ =
1 (5.34b)
Todo vector puede ser expresado en la base [ r, ), de la forma:
[ ) =
_
dr[ r, ) r, [ ) (5.35)
Los coecientes r, [ ) son las coordenadas del vector [ ) en la base [ r, ), es
decir, existen dos funciones que especican el estado del sistema, que son:
+
(r) = r, +[ ) (5.36)
(r) = r, [ ) (5.37)
Estas dos funciones son las dos componentes de una estructura llamada espinor, que
escribimos de la forma:
[] (r) =
_
+
(r)
(r)
_
(5.38)
La representacin anloga a esta del bra [ asociado al estado [ ) es la matriz
adjunta de esta, es decir, un espinor de la forma:
[]
(r) =
_
+
(r)
(r)
_
(5.39)
56
Esta notacin compacta permite simplicar la expresin del producto escalar de dos
vectores de estado, que podemos escribir como:
[ ) =
_
dr [ r, ) r, [ ) =
_
dr []
(r) [] (r) (5.40)

En la notacin anterior, primero se realiza el producto de matrices y despus la inte-
gracin.
De los vectores de el espacio de estados, algunos (los de la base, entre otros) sern
producto vectorial de la base de vectores correspondiente a las partes orbital y de espn,
respectivamente:
[ ) = [ ) [ ) , (5.41)
con [ ) y [ ) dados por:
r [ ) = (r) (5.42)
[ ) = c
+
[ +) +c
[ ) (5.43)
El espinor tiene entonces una forma ms simple que la general, ya que:
[] (r) = (r)
_
c
+
c
_
(5.44)
Esto equivale a decir que las funciones del espinor
(r) son simplemente
(r) =
c
(r). Por tanto, [ ) = [ ) [ ) = ([c

+
[
2
+[c
[
2
)
_
V
d
3
r
(r)(r).
Discusiones similares se pueden hacer para conocer la forma de los operadores que
actan sobre una partcula, ya no solo en el espacio orbital, sino sobre el espacio vectorial
de estados, que es producto vectorial de los espacios de espn y orbital, c = c
r
c
s
,
recordando que cada operador de un espacio no afecta sobre las componentes del vector
que corresponden al otro espacio. Por ejemplo, el operador S
z
, que antes considerbamos
que actuaba solo sobre c
s
, ahora acta sobre c, pero sobre un vector [ r, ), actuar
solo sobre la parte del espn, no sobre la otra parte del vector. Aunque tambin puede
haber operadores mixtos, como productos de operadores en los que un factor acte sobre
el espacio c
r
y otro factor sobre el espacio c
s
.
Por ejemplo, el operador S
z
en una representacin [ r, ), viene dado por:
S
z

_
1 0
0 1
_
(5.45)
Que es la misma forma que tena en c
s
, evidentemente. Pero operadores como X o P
x
ya no son simples operaciones, sino matrices cuyos elementos consisten en operaciones:
X|
_
x 0
0 x
_
P
y
| i
_
_
_
y
0
0

y
_
_
_
(5.46)
57
6. Momento angular total Captulo 5. Espn. Momentos Angulares
Operadores mixtos, ms complicados, pueden ser:
P
z
S
y
|

2
2
_
_
_
0

z
z
0
_
_
_
(5.47)
La representacin espinorial tambin permite expresar el valor esperado de un oper-
ador en un estado [ ) que tenga en cuenta el espn, de la forma:
A) = [ A[ ) =
_
V
d
3
r []
(r) A| []
(r) (5.48)
6. Momento angular total en mecnica clsica y en
mecnica cuntica
El momento angular total de un sistema de N partculas clsicas respecto a un punto
O es la suma de los momentos individuales, L =
N
i=1
L
i
. Cuando las fuerzas externas
son cero o paralelas a los vectores de posicin, entonces el momento total de las fuerzas es
cero y el momento angular total es una (en realidad, tres) constante de movimiento. No
lo sern en general, sin embargo, los momentos angulares individuales de cada partcula.
Supongamos ahora un sistema cuntico de dos partculas, con un hamiltoniano H
=
H
1
+H
2
, siendo H
i
:
H
i
=

2
2m
i
2
+V (r
i
) (5.49)
Es claro entonces que los momentos angulares cumplen la relacin de conmutacin
[L
i
, H
] = 0, que es el equivalente cuntico de decir que L

i
es una constante de movimien-
to. Pero supongamos ahora que en el sistema hay tambin una interaccin dada por un
potencial central de la forma U(r), con r la distancia entre ambas partculas. Es decir,
el hamiltoniano es de la forma H = H
+U. Ahora las relaciones de conmutacin de los

momentos angulares son de la forma [L
i
, H] = [L
i
, U]. Para el caso de la componente z
del momento angular de la partcula 1 se tiene:
[L
iz
, U] =

i
_
x
1
y
1
y
1
x
1
_
, (5.50)
que, en general, ser distinto de cero. Es decir, debido a U(r), las componentes de los
L
i
dejan de ser constantes de movimiento. Pero podemos intentar ver que sucede con
el momento angular total, L = L
1
+ L
2
. Si tomamos la componente z de este operador
vectorial, y calculamos su conmutador con H, tenemos:
[L
z
, H] = [L
z
, U] = [L
1z
, U] + [L
2z
, U] =

i
_
x
1
U
y
1
y
1
U
x
1
+x
2
U
y
2
y
2
U
x
2
_
=
=

i
v
r
(x
1
(y
1
y
2
) y
1
(x
1
x
2
) x
2
(y
1
y
2
) +y
2
(x
1
x
2
)) = 0 (5.51)
58
7. Suma de espines Captulo 5. Espn. Momentos Angulares
Vemos entonces que el momento angular total L
i
es una constante de movimiento,
como sucede en mecnica cuntica. Este resultado lo hemos obtenido para el caso par-
ticular en el que sumamos dos momentos angulares orbitales. A menudos se presentarn
en mecnica cuntica el problema de sumar dos momentos angulares cualesquiera (sean
orbitales o de espn, o combinaciones de ellos). Por ello debemos desarrollar un mtodo
que nos permite hacer esto fcilmente. Para ello, comenzaremos con el ejemplo sencillo de
la suma de dos espines s = 1/2, en el apartado 7, del que sacaremos algunas directrices,
para luego aplicarlas al caso general, en la seccin 8.
7. Suma de espines s = 1/2
Para describir un sistema compuesto de dos espines, tomamos como base el conjunto
de vectores obtenidos como producto tensorial de cada uno de los vectores que describen
a una partcula de espn s = 1/2, los vectores [ ). La base que decimos ser entonces
[
1
) [
2
) [
1
) [
2
), donde los
i
= , y que escribiremos de forma ms
abreviada como [
1
2
). Estos vectores son autovectores de los operadores S
2
i
y de los
S
iz
2
:
S
2
i
[
1
2
) =
3
4
2
[
1
2
) (5.52)
S
iz
[
1
2
) =
i
[
1
2
) (5.53)
Como queremos expresar estos vectores en otra base, en la que entre el operador S
2
,
debemos denir el espn total, S = S
1
+S
2
, comprobando que S es un momento angular,
ya que obedece las relaciones de conmutacin que denen un momento angular.
Tenemos que realizar un cambio de base. Partimos de una base dada por un conjunto
completo de observables compatibles, dado mediante S
2
1
, S
2
2
, S
1z
, S
2z
, y debemos cam-
biar a otro, dado por S
2
1
, S
2
2
, S
2
, S
z
, para lo que construiremos una base cuyos vectores
denotaremos por [ SM), en vista de que queremos obtener:
S
2
[ SM) = S(S + 1)
2
[ SM) (5.54)
S
z
[ SM) = M[ SM) (5.55)
S
2
i
[ SM) =
3
4
2
[ SM) (5.56)
Estas son las relaciones habituales de vectores y valores propios de un momento angular
S.
Est claro que los [
1
2
) son autovectores de la componente z del espn total, ya
que S
z
[
1
2
) =

2
(
1
+
2
) [
1
2
). Como
i
= 1, entonces los valores posibles de M son
2
Los ndices i hacen referencia a las partculas 1 y 2
59
1, 0, 1, que es lo que esperaramos para un momento angular con S = 1 (M = 1, 0, 1)
S = 0 (M = 0).
Para el caso M = 1, la nica posibilidad es que
1
=
2
= 1, que se corresponde a
[ + +) (ambos espines hacia arriba). Anlogamente, para el caso M = 1, el nico
autovector posible es el [ ) (ambos espines hacia abajo). Estos dos autovalores
de M son, por tanto, no degenerados. Pero el caso M = 0 es distinto ya que podemos
tener
1
= 1 y
2
= 1, o bien
1
= 1 y
2
= 1. Por lo tanto, M = 0 es doblemente
degenerado.
La matriz que representa el operador S
z
es:
S
z

2
_
_
_
_
1 0 0 0
0 0 0 0
0 0 0 0
0 0 0 1
_
_
_
_
|
1
2

(5.57)
El subndice hace referencia a la base en la que se escribe la matriz. El operador S
2
se
puede obtener de varias formas, ya que:
S
2
= S
2
1
+S
2
2
+ 2S
1
S
2
(5.58)
S
1
S
2
= S
1x
S
2x
+S
1y
S
2y
+S
1z
S
2z
= S
1z
S
2z
+
1
2
(S
1+
S
2
+S
1
S
2+
) (5.59)
La matriz que representa entonces al operador S
2
es:
S
2

2
_
_
_
_
2 0 0 0
0 1 1 0
0 1 1 0
0 0 0 2
_
_
_
_
|
1
2

(5.60)
S
z
ya es diagonal en esta base. Por los teoremas que vimos en los primeros captulos,
ahora solo resta diagonalizar la restriccin de S
2
al subespacio generado por [ +), [
+) (el subespacio correspondiente a M = 0), es decir, la parte central de S
2
, ya que
es la que debera romper la degeneracin de S
z
y no lo hace. En denitiva, hay que
diagonalizar la submatriz:
S
2
0

2
_
1 1
1 1
_
(5.61)
Si designamos con
2
, los autovalores, se tiene que = 2 o bien = 0. Los correspon-
dientes autovectores son:
= 2
1
2
[ [ +) + [ +)] (5.62)
= 0
1
2
[ [ +) [ +)] (5.63)
60
Encontramos entonces, en denitiva, que, en la base del espn total, el operador S
2
tiene dos autovalores posibles, 2
2
y 0. Como S
2
[ SM) = S(S + 1)
2
[ SM), tenemos
que los valores posibles de S son, respectivamente, S = 1 y S = 0. Los autovectores
asociados a S = 1 son:
[ + +)
1
2
( [ +) + [ +)) [ )
A su vez, stos son autovectores de S
z
, con autovalores:
[ + +) M = 1
1
2
( [ +) + [ +)) M = 0
[ ) M = 1
Por otro lado, asociado a S = 0, solo existe un autovector,
1
2
( [ +) + [ +)), con
autovalor de S
z
dado por M = 0.
Tenemos, tal y como cabra esperar, que, para cada S, los autovalores posibles de S
z
son de la forma S, S+1, . . . 0 . . . , S1, S. Por otro lado, hemos visto que los vectores
que obtenemos como base son de la forma:
singlete [ 00 ) =
1
2
( [ +) [ +))
triplete
_
_
_
[ 11 ) = [ + +)
[ 10 ) =
1
2
( [ +) + [ +))
[ 11 ) = [ )
Por ltimo, destacar algunas propiedades de simetra de la base anterior. El vector
[ 00 ) es lo que se conoce como singlete (dado que aparece solo), y es antisimtrico respec-
to del intercambio de dos partculas. El conjunto de vectores [ 1M), al estar compuesto
por tres elementos, es lo que se conoce como triplete, y es simtrico respecto del inter-
cambio de dos espines. Estas propiedades de simetra, que podran considerarse fruto
de la casualidad, sern de gran importancia al tratar partculas idnticas, y aparecern
con frecuencia en la mecnica cuntica. Adems, ofrece una regla para recordar la for-
ma de los vectores de la base. De los vectores [ 1M) han de formar parte, claramente,
los vectores [ + +) (con M = 1, pues los espines estn hacia arriba, y [ ) (con
M = 1, ya que los espines se encuentran hacia abajo). El otro vector vector que falta
para completar el triplete ha de tener M = 0 y por tanto ser una combinacin lineal de
los vectores [ + ) y [ +) (que, adems, son los que faltan aparte de los [ + +) y
[ )). Pero como ha de ser simtrico, como el resto del triplete, y estar normalizado,
entonces est claro que ha de ser [ 10 ) =
1
2
( [ +) + [ +)). Finalmente, el estado
singlete, con S = M = 0, ha de ser tambin una combinacin lineal de los [ + ) y
[ +). Pero como ha de ser antisimtrico, entonces [ 00 ) =
1
2
( [ +) [ +)).
61
8. Mtodo general Captulo 5. Espn. Momentos Angulares
8. Mtodo general de suma de momentos angulares
8.1. Introduccin
Sea un momento angular J y una base [ k, j, m) asociada a J. Se cumplen entonces
las siguientes ecuaciones de valores propios:
J
2
[ k, j, m) = j(j + 1)
2
[ k, j, m) (5.64)
J
z
[ k, j, m) = m[ k, j, m) (5.65)
Adems, se tienen los operadores J
, cuya accin viene dada por:

J
[ k, j, m) =
_
j(j + 1) m(m1) [ k, j, m1 ) (5.66)
Llamemos (k, j) a los subespacios generados por los vectores de la base correspon-
diente a k y j jos. Estos subespacios:
Son (2j + 1)-dimensionales.
Son invariantes bajo la accin de J
2
, J
z
y F(J en general, es decir, los elementos de
matriz no nulos de estos operadores se encuentran solo en cada subespacio (k, j).
Sus elementos de matriz, en cada subespacio (k, j), son independientes de k.
Este pequeo resumen anterior contiene la informacin bsica que necesitaremos de
la teora del momento angular de un sistema. Ahora consideremos dos subsistemas dis-
tintos (que indicaremos a partir de ahora como 1 y 2). El espacio de estados del sistema
conjunto es el producto tensorial de los espacios de estados de los sistemas por separa-
do, =
1

2
. Tomamos como base de estados del sistema los vectores de la forma
[ k
1
, k
2
; j
1
, j
2
; m
1
, m
2
), con:
[ k
1
, k
2
; j
1
, j
2
; m
1
, m
2
) = [ k
1
, j
1
, m
1
) [ k
2
, j
2
, m
2
) (5.67)
El espacio de estados se puede descomponer en la suma directa:
=
(k
1
, k
2
; j
1
, j
2
) =
1
(k
1
; j
1
) (k
2
; j
2
) (5.68)
Los subespacios (k
1
, k
2
; j
1
, j
2
) son (2j
1
+ 1)(2j
2
+ 1)-dimensionales.
El momento angular total del sistema, J, es la suma de los momentos angulares
3
J
1
y J
2
, es decir:
J = J
1
+J
2
(5.69)
3
En realidad, es la suma de las extensiones de los operadores J
1
y J
2
, desde los espacios originales
en que actuaban,
1
y
2
, respectivamente, al espacio de estados .
62
Se puede comprobar, de la denicin anterior, que se cumplen las siguientes relaciones
de conmutacin:
_
J
z
, J
2
1
=
_
J
z
, J
2
2
=
_
J
2
, J
2
1
=
_
J
2
, J
2
2
= [J
1z
, J
z
] = [J
2z
, J
z
] = [J
1
, J
2
] = 0 (5.70)
El operador J
2
se puede expresar como:
J
2
= J
2
1
+J
2
2
+ 2J
1z
J
2z
+J
1+
J
2
+J
1
J
2+
(5.71)
8.2. Cambio de base
Los vectores [ k
1
, k
2
; j
1
, j
2
; m
1
, m
2
) son autovectores simultneamente de los oper-
adores:
J
2
1
, J
2
2
, J
1z
y J
2z
, (5.72)
con sus respectivos autovalores. Tambin los operadores
J
2
1
, J
2
2
, J
2
y J
z
(5.73)
conmutan entre s; nosotros buscamos una base basada en los operadores 5.73 para el
estudio del momento angular total, por lo que habr que realizar un cambio de base de
5.72 a 5.73. Es decir, buscamos vectores, que denotaremos (para dos valores j
1
y j
2
jos)
como [ J, M) que satisfagan simultneamente:
J
2
[ J, M) = J(J + 1)
2
[ J, M) (5.74)
J
z
[ J, M) = M[ J, M) (5.75)
Adems, por supuesto, debern ser autovectores de J
2
1
y J
2
2
, con autovalores asociados
a j
1
y a j
2
, respectivamente. Como los subespacios (k
1
, k
2
; j
1
, j
2
) tienen elementos de
matriz no nulos solo dentro de cada subespacio, el problema consistir solo en realizar
un cambio de base dentro de cada subespacio. Adems, como los elementos de matriz de
cualquier operador funcin de J
2
1
, J
2
2
, J
2
yJ
z
son independientes de los valores de
k
1
y k
2
, el problema de la diagonalizacin ser el mismo en cada subespacio. Por tanto,
adoptaremos la siguiente notacin reducida:
(k
1
, k
2
; j
1
, j
2
) (j
1
, j
2
)
[ k
1
, k
2
; j
1
, j
2
; m
1
, m
2
) [ j
1
, j
2
; m
1
, m
2
)
Por otro lado, como J es un momento angular, y los (j
1
, j
2
) son invariantes bajo la
accin de cualquier funcin de J, se tiene que (j
1
, j
2
) se puede descomponer en suma
directa de los distintos subespacios asociados a J (que tendrn que ver con los autovalores
de este operador), llammoslos (k, J), que son invariantes bajo la accin de J
2
, J
z
y J
,
esto es:
(j
1
, j
2
) =
(k, J) (5.76)
Tenemos, por ahora, un doble objetivo:
63
Dados j
1
y j
2
, encontrar los valores posibles de J, y cuantos subespacios (k, J)
existen para cada par de valores j
1
y j
2
.
Expresar los autovectores de J
2
y J
z
en funcin de los vectores de la antigua base,
es decir, 5.72.
z
Asumimos, sin prdida de generalidad alguna, que j
1
j
2
. Los vectores [ j
1
, j
2
; m
1
, m
2
)
son autovectores de J
z
, luego
J
z
[ j
1
, j
2
; m
1
, m
2
) = (m
1
+m
2
)[ j
1
, j
2
; m
1
, m
2
), (5.77)
y sus autovalores son M = m
1
+m
2
. Como los valores mximos que pueden alcanzar m
1
y m
2
son j
1
y j
2
, respectivamente, y los mnimos j
1
y j
2
, entonces los valores posibles
de M son:
M = j
1
+j
2
, j
1
+j
2
1, . . . , j
1
j
2
+ 1, (j
1
+j
2
) (5.78)
Ahora estudiaremos la degeneracin
4
g
j
1
,j
2
(M) de cada autovalor M, es decir, el
nmero de vectores que hay con el mismo autovalor. Para ello consideremos el grco
5.1, en el que se muestran los valores posibles de m
1
y m
2
y el valor M al que dan
lugar, para dos valores concretos de j
1
y j
2
(j
1
= 3 y j
2
= 2). Con cada punto va
asociado un vector [ j
1
, j
2
; m
1
, m
2
). Todos los puntos situados sobre la misma lnea dan
origen a un mismo valor de M (como se puede comprobar matemticamente de manera
fcil), luego el nmero de tales puntos es el nmero de vectores asociados al mismo
autovalor M, es decir, la degeneracin de dicho autovalor g
j
1
,j
2
(M). As, g
j
1
,j
2
(j
1
+j
2
) = 1,
g
j
1
,j
2
(j
1
+j
2
1) = 2, . . . , g
j
1
,j
2
(j
1
j
2
) = 2j
2
1. Conforme M disminuye en una unidad,
su degeneracin aumenta (tambin en una unidad), hasta llegar a j
1
j
2
. A partir de ah
toma un valor constante hasta llegar a M = (j
1
j
2
), valor tras el cual la degeneracin
empieza a disminuir de forma simtrica con respecto a como suba, es decir, se tiene
g
j
1
,j
2
(M) = g
j
1
,j
2
(M), de donde, concretando, g
j
1
,j
2
((j
1
+ j
2
)) = 1. Esta informacin
se resume en el grco 5.2.
Por ltimo, resaltar que los valores de M sern enteros si j
1
y j
2
son a la vez enteros
o semienteros, mientras que si uno de los dos es entero y el otro semientero, entonces los
valores de M sern semienteros.
2
Comentamos en el apartado anterior que el mximo valor que puede tomar M es
M = j
1
+ j
2
. Por otro lado, como los valores de M de un momento angular van desde
4
Explicarlo ms matemticamente
64
6
-
x
x
x
x
x
x x x
x
x x
x x x
x
x x
x
x
x x x
x
x
x
x
x x
x
x
x
x
x
x
x
x
m
2
m
1
j
2
= 2
j
1
= 3
(3, 2)
(3, 2)
M = 5
M = 4
M = 0
M = 3
M = 1
Figura 5.1: Valores de M y autovectores asociados.
g
j
1
,j
2
(M)
M
1 2 3 5 4 0 5 4 3 2 1
1
2
3
4
5
Figura 5.2: Valores de M y degeneracin asociada.
65
hasta J, deducimos que no hay valores de J mayores que j
1
+ j
2
. Con J = j
1
+ j
2
se
asocia un subespacio nico, (J = j
1
+j
2
), en el que est el nico vector con M = j
1
+j
2
.
Este subespacio tambin contiene un nico vector (porque J es un momento angular)
con autovalor de J
z
asociado a M = j
1
+j
2
1. Ahora bien, este autovalor es doblemente
degenerado, luego existe otro vector en (j
1
, j
2
). Dicho vector est en otro subespacio,
(J = j
1
+ j
2
1), y adems, est en l de forma no degenerada. Formalicemos esto un
poco ms. Sea p
j
1
,j
2
(J) el nmero de subespacios de un autovalor asociado a J. Entonces
se tiene:
g
j
1
,j
2
(M) = p
j
1
,j
2
([M[) +p
j
1
,j
2
([M[ + 1) +. . . +p
j
1
,j
2
(j
1
+j
2
) (5.79)
Podemos invertir la relacin para obtener p
j
1
,j
2
(J):
p
j
1
,j
2
(J) = g
j
1
,j
2
(M = J) g
j
1
,j
2
(M = J + 1) (5.80)
De aqu podemos observar que:
p
j
1
,j
2
(J > j
1
+j
2
) = 0, ya que g
j
1
,j
2
(M) = 0 para [M[ > j
1
+j
2
.
p
j
1
,j
2
(j
1
j
2
J j
1
+ j
2
) = 1, porque g
j
1
,j
2
(M) disminuye en una unidad al
aumentar el valor de M en una unidad.
p
j
1
,j
2
(J < j
1
j
2
) = 0, porque no podemos aceptar valores de p
j
1
,j
2
(J) negativos,
no tendra sentido.
Es decir, hemos llegado a la conclusin de que:
J = j
1
+j
2
, j
1
+j
2
1, . . . , [j
1
j
2
[ (5.81)
Hemos puesto [j
1
j
2
[ para generalizar al caso en que fuera j
1
< j
2
, aunque no tiene
mayor trascendencia, claro est.
Otra forma de ver que el valor mnimo de J ha de ser j
1
j
2
es ver la dimensin de
(j
1
, j
2
). Llamemos x a ese valor mnimo de J. Para cada valor de J hay un subespacio
de dimensin 2J +1 debida a los distintos valores posibles de M. Tambin sabemos que
el valor mximo de J es J = j
1
+j
2
. Como la dimensin de (j
1
, j
2
) es (2j
1
+1)(2j
2
+1),
se debe cumplir:
j
1
+j
2
J=x
2J + 1 = (2j
1
+ 1)(2j
2
+ 1) (5.82)
Desarrollando la suma, se encuentra que x = [j
1
j
2
[.
8.5. Autovectores de J
2
y J
z
66
Formulario general
Mecnica ondulatoria
(x) =
1
2
_

(p)e
ipx/
dp
(p) =
1
2
_

(x)e
ipx/
dx
_

x
2
2
2
dx =
2
1
2
_

e
ik(xx
)
dk = (x x
)
j(x) =
i
2m
_
x
_
= [[
2
t
+ divj(x) = 0
dA)
dt
=
i
[H, A] )
Potencial delta:
_
d
dx
_
0
+
_
d
dx
_
0
=
2m
2
(0)
67
i
t
[ ) = H[ )
H[
i
n
) = E
n
[
i
n
)
[ (t) ) =
n
c
n
e
iEnt/
[
n
(0) )
P =

i
x
H =
P
2
2m
+V (x) (Expresin general)
E(p) =
p
2
2m
(p) +
1
2
_

dp
V (p)(p p
)
Problemas unidimensionales
Pozo innito
Centrado en origen, anchura 2a
E
n
=

2
2
8ma
2
n
2
n
(x) =
_
_
1
a
sin
_
n
2a
x
_
, n = 2, 4, 6, . . .
1
a
cos
_
n
2a
x
_
, n = 1, 3, 5, . . .
Centrado en L/2, anchura L
E
n
=

2
2
2mL
2
n
2
n
(x) =
_
2
L
sin
_
n
L
x
_
68
Oscilador armnico
H =
P
2
2m
+
1
2
mX
2
X =
_
m
P =
_
1
m
P
H =
1
2
(

P
2
+

X
2
)
H =

H
a =
1
2
(

X +i
P)
a
=
1
2
(

X i
P)
H = a
a +
1
2
= N +
1
2
a
[
n
) =
n + 1[
n+1
)
a[
n
) =
n[
n1
)
[
n
) =
1
n!
(a
)
n
[
0
)

n
[ a[
n
) =
n
n
,n1

n
[ a
[
n
) =
n + 1
n
,n+1

n
[ X[
n
) =
_

2m
_
n + 1
n
,n+1
+
n
n
,n1
_

n
[ P [
n
) = i
_
m
2
_
n + 1
n
,n+1
n
n
,n1
_
69
n
(x) =
_
1
2
n
n!
_

m
_
n
_
1/2
_
m
_
1/4
_
m
x
d
dx
_
n
e
m
2
x
2
0
(x) =
_
m
_
1/4
e
m
2
x
2
1
(x) =
_
4
_
m
_
3
_
1/4
xe
m
2
x
2
2
(x) =
_
m
4
_
1/4
_
2
m
x
2
1
_
e
m
2
x
2
Momento angular
General
J = J
x
iJ
y
[J
i
, J
j
] = i
i,j,k
J
k
_
J
2
, J
= 0
[J
z
, J] = J
[J
+
, J
] = 2J
z
JJ
= J
2
x
+J
2
y
J
z
= J
2
J
2
z
J
z
J
2
=
1
2
(J
+
J
+J
J
+
) +J
2
z
J
2
[ k, j, m) = j(j + 1)
2
[ k, j, m)
J
z
[ k, j, m) = m[ k, j, m)
J
2
J[ k, j, m) = j(j + 1)
2
[ k, j, m)
J
z
J[ k, j, m) = (m1)[ k, j, m)
J[ k, j, m) =
_
j(j + 1) m(m1) [ k, j, m1 )
k, j, m[ J
z
[ k
, j
, m
) = m
k,k

j,j

m,m
k, j, m[ J
2
[ k
, j
, m
) = j(j + 1)
2
k,k

j,j

m,m
k, j, m[ J[ k
, j
, m
) =
_
j(j + 1) m
(m
1)
k,k

j,j

m,m
1
70
k, j, m[ J
x
[ k
, j
, m
) =

2

k,k

j,j
_
_
j(j + 1) m
(m
+ 1)
m,m
+1
+
_
j(j + 1) m
(m
1)
m,m
1
_
k, j, m[ J
y
[ k
, j
, m
) =

2i

k,k

j,j
_
_
j(j + 1) m
(m
+ 1)
m,m
+1
_
j(j + 1) m
(m
1)
m,m
1
_
(J
z
)
(1/2)
=

2
_
1 0
0 1
_
(J
2
)
(1/2)
=
3
2
4
_
1 0
0 1
_
(J
x
)
(1/2)
=

2
_
0 1
1 0
_
(J
y
)
(1/2)
=

2
_
0 i
i 0
_
(J
z
)
(1)
=
_
_
1 0 0
0 0 0
0 0 1
_
_
(J
2
)
(1)
= 2
2
_
_
1 0 0
0 1 0
0 0 1
_
_
(J
x
)
(1)
=

2
_
_
0 1 0
1 0 1
0 1 0
_
_
(J
y
)
(1)
=

2
_
_
0 i 0
i 0 i
0 i 0
_
_
Momento angular orbital
L
x
= i
_
sin

+
cos
tan
_
L
y
= i
_
cos

+
sin
tan
_
L
z
= i

L
2
=
2
_

2
2
+
1
tan
+
1
sin
2
2
_
L
2
Y
m
l
(, ) = l(l + 1)
2
Y
m
l
(, )
L
z
Y
m
l
(, ) = mY
m
l
(, )
71
L = e
i
_
+i cot

_
L
+
Y
l
l
(, ) = 0 Y
l
l
(, ) = c
l
(sin )
l
e
il
c
l
=
(1)
l
2
l
l!
_
(2l + 1)!
4
Y
0
0
(, ) =
1
4
Y
1
1
(, ) =
_
3
8
sin e
i
Y
0
1
(, ) =
_
3
4
cos
Y
2
2
(, ) =
_
15
32
sin
2
e
2i
Y
1
2
(, ) =
_
15
8
sin cos e
i
Y
0
2
(, ) =
_
5
16
_
3 cos
2
1
_
Composicin de espines
S
1x
=

2
_
_
_
_
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
_
_
_
_
S
2x
=

2
_
_
_
_
0 1 0 0
1 0 0 0
0 0 0 1
0 0 1 0
_
_
_
_
S
1y
=

2
_
_
_
_
0 0 i 0
0 0 0 i
i 0 0 0
0 i 0 0
_
_
_
_
S
2y
=

2
_
_
_
_
0 i 0 0
i 0 0 0
0 0 0 i
0 0 i 0
_
_
_
_
S
1z
=

2
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
S
2z
=

2
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
72
P
s
21
[ SM) = (1)
S+1
[ SM)
S
1
S
2
=
1
2
_
S
2
S
2
1
S
2
2
_
Teora de perturbaciones
General
H = H
0
+W = H
0
+

W
[
n
) = [ 0 ) +[ 1 ) +
2
[ 2 ) +
E
n
() = E
0
n
+
1
+
2
2
+ ...
Nivel no degenerado
1
=
n
[

W[
n
)
[ 1 ) =
p=n
i

i
p
[

W[
n
)
E
0
n
E
0
p
[
i
p
)
2
=
p=n

i
p
[

W[
i
p
)
2
E
0
n
E
0
p
Nivel degenerado
W
n
[ 0 ) =
1
[ 0 )
73

Mecanica Cuantica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Mecanica Cuantica

Uploaded by

Copyright:

Available Formats

Fsica Cuntica

Compton us lo que Einstein ya haba dicho para explicar su experimento. A las

Como aparece un trmino en k

El trmino en x vuelve a salir, y hacemos otro cambio de variables, k

(r, t)(r, t)) (2.7)

f), podemos llegar a la ecuacin:

(x, t)A(x, t)dx (2.11)

(x, t)A(x, t)dx =

, por lo que A) es real si A es hermtico. Como ejercicio,

[ ) = [ (x) ) = [ (x) ) = [ (x) )

. Las soluciones los posibles es-

un espacio vectorial, la combinacin lineal de funciones de onda es una

sean numerables (discretas), como hemos supuesto antes. Veamos la

son numerables (stas son no numerables), y lo que es ms

(en el caso de las

. Simplemente tenamos los ladrillos con los que se construyen

Un funcional lineal en un espacio vectorial como c es una funcin

c cualesquiera. Al conjunto de todos los funcionales lineales

, y es un espacio vectorial de Hilbert (no exactamente isomorfo a c,

A es hermtico por denicin.

) es el autovector correspondiente al autovalor del operador

odinger suele ser imposible). Pero

(r) [] (r) (5.40)

(r) son simplemente

(r). Por tanto, [ ) = [ ) [ ) = ([c

] = 0, que es el equivalente cuntico de decir que L

+U. Ahora las relaciones de conmutacin de los

, cuya accin viene dada por:

You might also like