Está en la página 1de 80

Fsica Cuntica

UNIVERSIDAD DE MURCIA
Departamento de Fsica
Miguel Ortuo Ortn
moo@um.es
Miguel Albaladejo Serrano
mikiman@fisimur.org

ndice general

ndice

iii

Figuras

iv

Bibliografa

iv

Notas del autor

vi

1. Orgenes de la Fsica Cuntica

1.1. Radiacin del cuerpo negro. Postulado de Planck . . . . . . . . . . . . .

1.2. Efecto fotoelctrico. Efecto Compton . . . . . . . . . . . . . . . . . . . .

1.3. Postulado de De Broglie . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Modelo atmico de Bohr . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Experimento de la doble rendija . . . . . . . . . . . . . . . . . . . . . . .

1.5.1. Experimento con proyectiles (clsicos) . . . . . . . . . . . . . . .

1.5.2. Experimento con ondas . . . . . . . . . . . . . . . . . . . . . . . .

1.5.3. Experimentos con proyectiles (cunticos): electrones . . . . . . . .

tomo de Rutherford . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

A.1.

Potencia radiada . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

A.2.

Conclusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

A.

2. Ecuacin de Schrdinger

14

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

25

Introduccin. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.

25

Ecuacin de Schrdinger para potenciales constantes. Continuidades


y discontinuidades . . . . . . . . . . . . . . . . . . . . . . . . . .

25

Simetras. Operador paridad . . . . . . . . . . . . . . . . . . . . .

27

Potencial escaln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

2.1.

Reflexin parcial . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

2.2.

Reflexin total . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

Pozo de potencial finito . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

3.1.

Estados ligados . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

3.2.

Coeficientes de transmisin . . . . . . . . . . . . . . . . . . . . . .

33

4.

Barreras de potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36

5.

Pozo de potencial infinito . . . . . . . . . . . . . . . . . . . . . . . . . . .

37

5.1.

Centrado en el origen . . . . . . . . . . . . . . . . . . . . . . . . .

37

5.2.

Pozo asimtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

Potenciales delta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42

1.2.
2.

3.

6.

4. Estructura y postulados
1.

43

Preliminares. Funciones de onda . . . . . . . . . . . . . . . . . . . . . . .


ii

44

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 fina 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 Jz . . . . . . . . . . . . . . . . . . . . . . . . . . .

64

8.4.

Autovalores de J2 . . . . . . . . . . . . . . . . . . . . . . . . . . .

64

8.5.

Autovectores de J2 y Jz . . . . . . . . . . . . . . . . . . . . . . .

66

iii

ndice de figuras

1.1. Ondas estacionarias del electrn . . . . . . . . . . . . . . . . . . . . . . .

1.2. Dispositivo para el experimento de la doble rendija . . . . . . . . . . . .

1.3. Experimento de la doble rendija con proyectiles macroscpicos . . . . . .

1.4. Experimento de la doble rendija para un fenmeno ondulatorio . . . . . .

1.5. Experimento de la doble rendija con los electrones. . . . . . . . . . . . .

1.6. Curvas con interferencias suavizadas . . . . . . . . . . . . . . . . . . . .

11

3.1. Potencial escaln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

3.2. Representacin del coeficiente de transmisin T en funcin de = V0 /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 infinito centrado en el origen

. . . . . . . . . . . . . .

37

3.7. Primeros estados separados segn su forma: cos kn x o sin kn 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.

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 suficientemente
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 reflexiones 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 definicin, 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 orificio 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 orificio 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 kB T ,
siendo kB 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
8 2
(1.1)
u(, T ) = 3 kB T
c
Esta teora coincida con los experimentos para frecuencias bajas (T /gj1 ,j2 1010 K s),
pero fallaba para frecuencias altas. Adems, la teora tena que ser incorrecta ya que
predeca una energa total infinita, 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 campo electromagntico slo poda realizarse en cuantos de energa, no de forma continua.
Planck no lleg a proponer que la radiacin electromagntica en s estuviera cuantizada. 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 1034 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 exp{E/kB T }
de modo que su energa media ser:
P
En /kb T
n=0 En e
, En = nh
E() = N () P

En /kb T
n=0 e
Sumando la serie llegamos a:
E() = N ()

h
eh/KB 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 electromagnticas 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 individuales, partculas (llamadas fotones) de energa E = h cada una. Esta fue, precisamente,
la propuesta de Einstein. Esta propuesta era revolucionaria1 . Las interacciones se produciran as de manera individual. Cunticamente, se tiene I = N h. 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 conseguir que sean arrancados electrones.
Para una intensidad dada, la energa del electrn emitido depende proporcionalmente de la frecuencia.
1 2
mv
= h W, W = hc donde c es la frecuencia umbral
2 max
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 manifiesto que la luz est compuesta por partculas). Se tiene, para la energa
del fotn, segn la teora de la relatividad restringida:
q
h
h
=
E = m20 c4 + p2 c2 = pc = h p =
c

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)
h
p =
(1.3b)

En la fsica clsica se distingua perfectamente entre las partculas y las ondas. Con estos
experimentos mencionados se puso de manifiesto que, de algn modo, las ondas electromagnticas 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

1.4. Modelo atmico de Bohr

Captulo 1. Orgenes de la Fsica Cuntica

tambin un carcter corpuscular, de Broglie postul (1923) que las partculas materiales 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 frmula 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 estar compuesta por tomos, y tambin permitieron discriminar la naturaleza de estos2 .
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 debera 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 falso3 . 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 energa, un fotn, lo que permitira explicar las lneas espectrales discretas observadas. Las
2

l mismo afirma:
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...

Para un clculo ms detallado ver apndice A, pg. 10.

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:
h
h
deBroglie h
L = pr =
r=
=
n = n~ L = n~
(1.5)

2r/n
2
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 entender 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 ondulatorio (las ondas en el mar, o cosas similares). Dicho experimento se encuentra esquematizado en la figura 1.2.
5

1.5. Experimento de la doble rendija

Captulo 1. Orgenes de la Fsica Cuntica

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 proyectiles. Entre el can que dispara y la pared que detecta los proyectiles hay otra pared
con dos rendijas intermedias R1 y R2 , que podemos tener abiertas y cerradas, independientes entre s. En la pared final, 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 punto 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 nuestro 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 R1 abierta y R2 cerrada, encontraremos un diagrama de probabilidad como el que se
recoge en la figura 1.3. Si lo hacemos al revs, con R1 abierta y R2 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
P12 (x) = P1 (x) + P2 (x). Decimos entonces que en este experimento no hay interferencia.

1.5. Experimento de la doble rendija

Captulo 1. Orgenes de la Fsica Cuntica

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 nuestro 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 experimento 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 I12 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 I12 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 = |A1 (x) + A2 (x)|2 = |A1 (x)2 | + |A2 (x)|2 + 2|A1 (x)||A2 (x)| =
p
=I1 (x) + I2 (x) + 2 I1 (x)I2 (x) 6= I1 (x) + I2 (x)
En definitiva, en los experimentos con ondas, la intensidad puede tomar cualquier valor,
no llega en cuantos, y se obtienen interferencias.

1.5. Experimento de la doble rendija

Captulo 1. Orgenes de la Fsica Cuntica

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
grfica para la probabilidad que sea la suma de ambos resultados por separado, sino que
obtenemos una grfica en la que se observa interferencia: P12 6= P1 + P2 . La situacin se
encuentra representada en la figura 1.5. Esto no es lo que esperaramos si cada electrn
pasase por una y slo una de las rendijas R1 o R2 . 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 figura 1.4, y aquella figura 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

1.5. Experimento de la doble rendija

Captulo 1. Orgenes de la Fsica Cuntica

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 R1 , por R2 , 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 R1 obtendremos un destello luminoso
en sus alrededores, si pasa por R2 , 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 R1 o desde R2 , 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 figura
1.5. Ahora bien, que obtenemos para la probabilidad total, con ambas rendijas?. Ya
no tenemos lo que obtuvimos en esa figura, ahora tenemos algo como la figura 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 responderemos 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 interferencias?. Bueno, es que en realidad si las obtenamos, pero ni nosotros ni nuestros
detectores ramos capaces de detectarlas, por eso creamos que no tenamos interferencias. 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 figura 1.6.

A.

A.1.

Decaimiento del electrn al ncleo en el tomo de


Rutherford
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

A. tomo de Rutherford

Captulo 1. Orgenes de la Fsica Cuntica

Figura 1.6: Curvas con interferencias suavizadas


Para el caso de la carga del electrn, esta es:
dW
e2 a2
=
dt
60 c3

(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:
Fcent
acent
Fcoul

me v 2
=
r
v2
=
r
1 e2
=
4 0 r2

(1.6b)

El equilibrio que se supone implica que el balance de fuerzas sea nulo:


Fcent + Fcoul =

me v 2
1 e2

=0
r
40 r2
11

(1.6c)

A. tomo de Rutherford

Captulo 1. Orgenes de la Fsica Cuntica

De aqu se deduce que


1 e2
(1.6d)
40 r
Adems, la energa para una rbita de este tipo, anlogamente a las rbitas planetarias,
viene dada por:
mv 2 =

1 e2
1 1 e2
1 e2
1 1 e2
1
=

=
E = me v 2
2
40 r
40 2 r
40 r
40 2 r

(1.6e)

Esta ecuacin, derivada, nos da la variacin de la energa orbital de la partcula:


dE
1 1 e2 dr
=
dt
2 40 r2 dt

(1.6f)

Conviene definir una constante, k0 , de la forma


k0 =

1
40

para mayor simplicidad en los clculos posteriores.


Si tenemos en cuenta que debe cumplirse:
dW
dE
+
=0
dt
dt

(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 m2e c3 2
r dr = dt
4 k02 e4

Ahora integramos esta ecuacin:


Z
Z
Z
0
3 m2e c3 0 2
3 m2e c3 r=r
2

r dr = + 2 4
r dr = dt
4 k02 e4 r=r0
4 k0 e 0
0

(1.6h)

(1.6i)

Esto significa que:


=

3 m2e c3 3
r
4 k02 e4 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

A. tomo de Rutherford

Captulo 1. Orgenes de la Fsica Cuntica

Cuadro 1.1: Valores de las magnitudes


Magnitud

Valor

Unidades

Masa del electrn me

9,1 1031

kg

Velocidad de la luz c

3 108

m/s

Constante culombiana k0

9 109

Nm2 C2

1,6 1019

' 1010

Carga del electrn e


Radio de la rbita del electrn r0

' 3 1010

Efectivamente, el tiempo en que supuestamente el electrn caera sobre el ncleo no


nos da un valor infinito, o similar, sino un valor concreto, finito, 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 manifiesto, 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 eikx es una onda plana. Segn la frmula de Euler, eikx =
cos kx + i sin kx. kx ha de ser adimensional, luego [k] = L1 . k es el nmero de ondas, es
inversamente
a la longitud de onda. El mdulo de la exponencial compleja
ikx 2 proporcional
ikx
ikx
es 1, e = e
e = 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 cuntica1 .
Una onda plana est totalmente extendida. Si sumamos dos ondas (o un nmero
finito de ellas) de distinta frecuencia, parece que se vayan localizando. Para localizarlas
totalmente, sumamos un nmero infinito de ellas, es decir, las integramos. Formamos
entonces un paquete de ondas. Tenemos:
Z +
g(k)eikx 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:
Z
+

e(kk0 ) eikx dk

(x) =

(2.2)

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 k0 = k 0 , por lo que dk = dk 0 , y queda:
Z +
02
0
ik0 x
ek eik x dk 0
(x) = e

Como aparece un trmino en k 0 y otro en k 02 , lo que intentamos es completar el cuadrado


perfecto.
Z +
ix 2
x2
0
ik0 x
(x) = e
e(k 2 ) e 4 dk 0

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


dk 0 = dk 00 , y obtenemos:
r
ik0 x x2
(x) =
e e 4

ix
2

= k 00 , luego
(2.3)

Por tanto:
x2
|(x)|2 =
e 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:


Z
i(px Et)
dp
(x, t) =
g(p) exp
~

En general, se tendr exp(ikx wt), solo que hemos sustituido las propiedades particulares (cunticas) que hemos visto. Por motivos de inters matemtico, y sin ninguna
implicacin fsica, hacemos:


Z
1
i(px Et)
(x, t) =
(p) exp
dp
~
2~
As conseguiremos que (x, t) y (p, t) sern las funciones de onda en x y p, respectivamente.

15

2. Ecuacin de Schrdinger

Captulo 2. Ecuacin de Schrdinger

Vamos a ver la ecuacin diferencial que satisface la anterior ecuacin:




Z
iE

1
i(px Et)
(p) exp
=
dp
t
~
2~ ~


Z
ip

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


Z 2
p
i(px Et)
~2 2
1
(p) exp
dp

=
2m x2
~
2~ 2m

Si consideramos que el electrn tiene solo energa cintica, E = p2 /2m, se cumple


entonces que:
~2 2

=
(2.4)
i~
t
2m x2
Schrdinger generaliz2 2.4, pensando que debera existir tambin un trmino que
contribuyera con energa potencial, V , de la forma:
i~

(x, t)
~2 2 (x, t)
=
+ V (x)(x, t)
t
2m x2

(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 motivacin, 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

3.

Captulo 2. Ecuacin de Schrdinger

Interpretacin probabilstica de la mecnica cuntica

La interpretacin estadstica de la mecnica cuntica3 data de los inicios de sta.


Hemos visto que toda estado de una partcula viene definido 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 afirmar 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 all4 .
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 fluidos.
Definimos la corriente de probabilidad como:
j(r, t) =

i~
((r, t) (r, t) (r, t)(r, t))
2m

(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 cientficos de la poca, hasta
el punto de que el mismo Einstein, que propuso la necesaria cuantizacin de la radiacin electromagntica 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:





~2

i~
= i~
+
=
2 2
t
t
t
2m

(2.8)

Ahora bien, de la definicin de j, y teniendo en cuenta que f 2 f f 2 f =


(f f f f ), podemos llegar a la ecuacin:
(r, t)
+ j(r, t) = 0
(2.9)
t
Esta es la ecuacin de continuidad que andbamos buscando. Podemos integrarla sobre
un volumen V encerrado en una superficie (real o imaginaria) V para obtener:
Z
Z
Z
Z
(r, t)
(r, t)
dv +
j(r, t)dv = 0 =
dv +
j(r, t) ds = 0
t
t
V
V
V
V
Esto nos permite interpretar j(r, t) como la probabilidad por unidad de tiempo de que
la partcula atraviese la superficie V . As pues, podemos visualizar la partcula como
si fuera un fluido con densidad (r, t), que, como tal, cumple una/la ecuacin de continuidad.
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:
Z
Z b
j
b
(x, t)dx =
dx = j(a, t) j(b, t)
t a
a x
Pero, en el lmite en que a y b , como la funcin de onda no puede diverger
(se debe hacer cero en los infinitos), tenemos que j(, t) = j(, t) = 0, y por tanto:
Z
Z
2
|(x, 0)| dx = 1
|(x, t)|2 dx = 1 t

Este hecho, como hemos dicho varias veces, se puede enunciar diciendo que la probabilidad 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 onda5 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 resultados tiles que nos permitan trabajar sobre ciertos problemas sencillos, como haremos en el captulo
3.

18

4. Operadores. Valores esperados

Captulo 2. Ecuacin de Schrdinger

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:
Z
Z
2
(x)x(x)dx
(2.10)
x |(x)| dx =
hx i =

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 implicarn, 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 A, cuyo operador
asociado es A, viene dado por:
Z
(x, t)A(x, t)dx
(2.11)
hA i =
inf ty

Hasta ahora hemos visto, sin darnos cuenta de ello, dos operadores: el operador posicin, 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 momento 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):

p2
~2 2 (x, t)

(x, t)
2m x2
2m

o viendo que (como caso particular) para una onda plana:




i(pxEt)
exp
~
i
~
= p exp(. . .) p =
x
~
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. Definimos, en general, el
operador momento (para la variable x, solamente) como:
p=

~
i x

operador momento lineal


19

(2.12)

4. Operadores. Valores esperados

Captulo 2. Ecuacin de Schrdinger

As, por ejemplo, el valor medio del momento lineal es:


Z
~
(x, t)
((x, t))dx
hp i =
i x

De los operadores de la energa, ya conocemos el operador energa potencial, y tenemos cierto conocimiento del operador hamiltoniano, pero no conocemos la energa cintica. Por la analoga con la fsica clsica, donde Ec = 2 /2m, con el momento cintico,
se tendr que el operador energa cintica est dado por el trmino 1/2m multiplicado
por p2 . 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:
~2 2
p2
Ec =
=
2m
2m x2
Podemos escribir la ecuacin de Schrdinger de forma ms compacta definiendo H, el
operador hamiltoniano, como:
~2 2
+ V (x)
2m x2
de modo que la ecuacin fundamental de la mecnica cuntica queda como:
H=

i~

(x, t)
= H(x, t)
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 definicin 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:
Z b
 Z b
Z b

2 A1 dx =
1 A2 dx =
1 (A2 ) dx
(2.14)
a

Es directo entonces comprobar que el valor esperado de todo operador hermtico es real. Para ello, tomamos sobre la definicin de hermiticidad las funciones
1 = 2 = , por lo que tenemos:
Z

Z

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

20

4. Operadores. Valores esperados

Captulo 2. Ecuacin de Schrdinger

Es decir, se cumple hA i = hA i , por lo que hA i 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
,
x2

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




x
~

~
x

=
x

x
=
[x, p] () =
i
x
x
i
x
x
x

momento:
~
()
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

5.

Captulo 2. Ecuacin de Schrdinger

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 A. Supongamos que, a aplicarlo sobre una funcin, se tiene lo siguientes:
An,i (x) = n n,i (x)

(2.17)

Las funciones que cumplen la anterior relacin, para algn valor , se llaman autofunciones 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 colocamos 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 6= m hn |m i (La expresin
h|i denota el producto escalar).
El conjunto de las funciones propias de casi6 cualquier operador hermtico forma
una base en el espacio vectorial correspondiente.
Los postulados de la mecnica cuntica afirman 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
(x) =
cn n (x)
n
6

En los espacios vectoriales de dimensin infinita, 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 coeficientes cn 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:
P(n ) = |cn |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 A de la siguiente manera:
X
hA i =
n |cn |2
(2.18)
n

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:
(x, t)
~2 2 (x, t)
i~
=
+V (x)(x, t) Ecuacin de Schrdinger independiente del tiempo
t
2m x2
(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:
~2 1 d2 (x)
i~ (t)
=
+ V (x) cte. = En
(t) t
2m (x) dx2
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) = En (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
23

iEn t
~

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:
Hn (x) = En 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, combinacin lineal que depender del ndice n:
(x, t) =

n e

24

iEn t
~

n (x)

(2.22)

Captulo 3

Problemas unidimensionales
1.
1.1.

Introduccin. Generalidades
Ecuacin de Schrdinger para potenciales constantes. Continuidades 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 dimensin 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 operd2
ador 2 pasa a ser simplemente dx
2 . Adems buscaremos soluciones estacionarias de la
ecuacin, es decir, independientes del tiempo. Tenemos pues la siguiente ecuacin:

i~

~2 d2 (x, t)
(x, t)
+ (x, t)V (x)
=
t
2m dx2

(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 obtiene (omitimos las dependencias respecto a las variables por simplicidad):
i~
~2 1 d2
=
+ V (x) cte.
t
2m dx2
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 d2 (x)
+ V (x)(x) = E(x)
2m dx2

(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
b = E, que es una ecuacin de autovalores, y donde H
b es el
varios) de la ecuacin H
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 dependencias1 ):
d2 2m
+ 2 (E V ) = 0
dx2
~

(3.3)

Segn los casos, la solucin ser:


E V > 0 En este caso la solucin ser una combinacin lineal de exponenciales imaginarias:
(x) = A exp (ikx) + B exp (ikx)
(3.4a)
definiendo k como:

r
k=

2m
(E V )
~2

(3.4b)

E V < 0 En este otro caso la solucin ser una combinacin lineal de exponenciales
normales:
(x) = A exp (qx) + B exp (qx)
(3.5a)
donde hemos definido q como:
r
q=

2m
(E V )
~2

(3.5b)

Tambin es importante como ha de ser la funcin de onda en las discontinuidades.


Deber de ser siempre continua, y su derivada tambin2 , 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 infinito, mientras que en la ecuacin de Schrdinger aparece igualada a algo finito.

26

1. Introduccin. Generalidades

Captulo 3. Problemas unidimensionales

delta (definido 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 :




Z
Z 2
d(x)
d(x)
d (x)
0
(E V )(x)dx 0
=
dx =

dx2
dx
dx

Sin embargo, si el potencial viene definido 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:




Z
d(x)
2m
d(x)
2m

=
(x)(0)dx = 2 (0)
2
dx
dx
~
~
+

Esto deriva en la siguiente condicin, para una discontinuidad situada en un punto


a:




d(x)
d(x)
2m
(3.6)

= 2 (a)
dx
dx
~
a+
a
Otra cosa importante que tendremos que tener en cuenta sern las condiciones de
contorno, es decir, las condiciones especficas 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

Definimos el operador paridad, , mediante la siguiente ecuacin:


| (x) i = | (x) i
Para ver los posibles autovalores de en la ecuacin (x) = | i slo tenemos
que hacer actuar dos veces sobre un vector propio (x):

2 | (x) i = 2 | i = | (x) i = | (x) i = | (x) i = 1 = 1


Por otro lado, veremos ms adelante (captulo 4) que la variacin del promedio temporal de una magnitud asociada a un operador A vara como t hA i [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:
 2 
P , = 0
27

2. Potencial escaln

Captulo 3. Problemas unidimensionales




[V (x), ] =

= 0, si V (x) es par, V (x) = V (x);


6= 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


figura 3.1), definido matemticamente de la siguiente forma:

0 si x < 0;
V (x) =
V0 si x > 0.
I

V (x)

II

V0

O
-

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 < V0 E > V0 tendremos distintos tipos de solucin.

2.1.

E > V0 . Reflexin parcial

En este caso, la solucin en uno y otro lado del salto de potencial es exponencial
imaginaria, y escribimos:
I (x) = AI eikI x + BI eikI x
II (x) = AII eikII x + BII eikII x
28

2. Potencial escaln
r
kI =

2mE
~2

kII

Captulo 3. Problemas unidimensionales


r
2m(E V0 )
=
~2

Elegimos arbitrariamente BII = 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:
AI + BI = AII
ikI (AI BI ) = ikII AII
De aqu, y atendiendo a las definiciones de kI y kII , se tiene:

AII
AI
BI
AI

2kI
kI + kII
kI kII
=
kI + kII

Ahora vamos a definir dos magnitudes y conceptos que usaremos con frecuencia. El
coeficiente de transmisin, T , representa la probabilidad de que una onda incidente sea
transmitida a travs del salto de potencial, mientras que el coeficiente de reflexin, R, es
la probabilidad de que una onda incidente se refleje. Si tenemos en cuenta como hemos
escrito las funciones de onda, podemos definirlos de la siguiente manera:

2
kII AII
T =
k I AI
2
BI
R =
AI

kII
4kI2
kI (kI + kII )2
(kI kII )2
R =
(kI + kII )2
T =

Es directo comprobar que se cumple T +R = 1, es decir, la onda incidente ciertamente


se transmite o se refleja. 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 refleje. En la figura 3.2 hay
una representacin del coeficiente T frente a , donde hemos definido E V0 = E(1 ),
es decir, = V0 /E.
29

2. Potencial escaln

Captulo 3. Problemas unidimensionales

Figura 3.2: Representacin del coeficiente de transmisin T en funcin de = V0 /E.

2.2.

E < V0 . Reflexin total

En este caso se tiene que la solucin en un lado (izquierdo) se corresponde con combinacin de exponenciales imaginarias, mientras que en el otro la solucin viene dada
por una exponencial real. Escribimos:
I (x) = AI eikx + BI eikx
II (x) = AII eqx + BII eqx
r
r
2mE
2m(E V0 )
q=
k=
2
~
~2
Para que la funcin de onda sea normalizable, y la integral no diverja, es necesario
hacer AII = 0. En estas circunstancias, y estableciendo las misma condiciones de empalme que antes, se llega a un resultado muy parecido al anterior (solo hay que cambiar
kI k y kII iq):

BII
AI
BI
AI

2k
k + iq
k iq
=
k + iq
=

Si intentamos hallar el coeficiente de reflexin, R, y operamos con l, obtenemos


R = 1. Esto quiere decir que la partcula siempre se refleja. 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 definimos je
30

3. Pozo de potencial finito

Captulo 3. Problemas unidimensionales

como la corriente entrante, y js como corriente saliente, se tendr:


~k
(|AI |2 + |BI |2 )
m
~q 2
=
|C|
m

je =
js

Si operamos y atendemos a los resultados obtenidos anteriormente:




(k q)2
~q 4k 2
~q
2 ~k
je = |AI |
1
=
= |AII |2 = js .
2
2
m
(k + q)
m (k + q)
m
Adems, se puede observar, teniendo en cuenta los resultados de los coeficientes que
acompaan a las exponenciales complejas, que la reflexin produce un cierto desfase.
Si hallamos las constantes en el lmite V0 encontramos:
BI V0
1 BI AI
AI
BII V0
1 BII 0
AI
Esto es, cuando el potencial se hace muy grande, toda la onda se refleja, si desfase
alguno, y adems no hay probabilidad de que la onda/partcula penetre en el escaln.

3.

Pozo de potencial finito

Vamos a estudiar un pozo cuadrado de potencial, cuya definicin matemtica est


dada en (3.7). Una representacin esquemtica viene dada en la figura 3.3.

0,
si |x| a;
V (x) =
(3.7)
V0 , si |x| a .

3.1.

V0 < E < 0. Estados ligados

Las soluciones de este caso vienen dadas por:


1 (x) = A exp (qx) + B exp (qx)
2 (x) = C exp (ikx) + D exp (ikx)
3 (x) = F exp (qx) + G exp (qx)
31

3. Pozo de potencial finito

Captulo 3. Problemas unidimensionales

V =0
I

V =0
II

III
a

V0

Figura 3.3: Pozo cuadrado de potencial

r
2m|E|
2m(V0 |E|)
q=
k
=
~2
~2
Para evitar la divergencia en la normalizacin tendremos que tomar G = A = 0.

(3.8)

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)) = B exp (qx)
ikC (exp (ika) exp (ika)) = qB exp (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:
q
condicin de estado ligado
(3.9)
tan (ka) =
k
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
grfico. Atendiendo a la definicin de k y q, en la ecuacin (3.8), y si hacemos estas otras
definiciones:
2mV0 2
y =ka
= a2 (k 2 + q 2 ) =
a
~2
32

3. Pozo de potencial finito

Captulo 3. Problemas unidimensionales

llegamos fcilmente a la expresin:


p
y2
tan(y) =
y

(3.10)

Los niveles de un pozo dependen del producto de a2 y V0 , 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:
p
y2
cot(y) =
y

(3.11)

Representacin
Ahora representamos las posibles soluciones, para soluciones pares e impares, en una
nica grfica. En realidad, en la grfica estn representadas
las funciones cot(x),

n2 x2

tan(x), f (x) =
, hemos hecho y = x, y n = . Las soluciones los posibles esx
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:
!
2
= 1 + int(2n)
= 1 + int

3.2.

E > 0 > V0 . Coeficientes de transmisin

Lo que se pretende en este caso es calcular los coeficientes de transmisin y reflexin.


Tenemos las funciones de onda:

1 = A exp(ikx) + B exp(ikx)
2 = C exp(iqx) + D exp(iqx)
3 = E exp(ikx) + F exp(ikx)
r
k=

2mE
~2

r
q=
33

2m(E |V0 |
~2

3. Pozo de potencial finito

Captulo 3. Problemas unidimensionales

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)

34

i kq cot(qa) 1
i kq cot(qa) + 1

(3.12)

3. Pozo de potencial finito

Captulo 3. Problemas unidimensionales

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 kq tan(qa) 1
i kq 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 = 13 . Adems imponemos que G = 1, queriendo significar con ello que
no consideramos ondas que provengan desde +. En definitiva, queremos una solucin
= Cpar par + Cimpar impar , donde las par , impar vienen dadas, en cada parte del
potencial, mediante las ecuaciones generales con los coeficientes vistos en cada uno de
los apartados anteriores, y los coeficientes Cpar y Cimpar se obtendrn imponiendo las
condiciones anteriormente mencionadas:
Cpar A+ + Cimpar A = A = 1 Cpar + Cimpar = 1
Cpar G+ + Cimpar G = G = 0 Cpar Cimpar = 0
En definitiva, se obtiene:
Cpar = Cimpar =

1
2

Como los coeficientes se obtendrn a partir de B y F , nos interesa expresar estos en


funcin de B y B+ :
B+ + B
B =
2
B+ B
F =
2
Coeficientes de transmisin y reflexin
Como de costumbre, hallamos:
1
(B+ + B ) (B+ + B )
4
1
=
(B+ B ) (B+ B )
4

R = |B|2 =
T = |F |2
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:


(q 2 k 2 )2 sin2 (2qa)
4k 2 q 2 + (q 2 k 2 )2 sin2 (2qa)
4q 2 k 2
T =
4k 2 q 2 + (q 2 k 2 )2 sin2 (2qa)

R =

Es directo comprobar que R + T = 1. Decimos que hay resonancias cuando el coeficiente de transmisin es mximo, esto es, cuando sin2 (2qa) = 0 2qa = n, n N.

4.

Barreras de potencial

Vamos a estudiar ahora las soluciones de la ecuacin de Schrdinger para los potenciales conocidos como barreras de potencial, definidos como (3.14), cuya representacin
esquemtica se encuentra en la figura 3.5.

0, si x < a;
V0 , si a x a;
V (x) =

0, si x > a.

(3.14)

V0
I

II

III

V =0
-

Figura 3.5: Barrera cuadrada de potencial


DESARROLLAR EL EFECTO TNEL.

36

5. Pozo de potencial infinito

5.

Captulo 3. Problemas unidimensionales

Pozo de potencial infinito

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
infinito, es decir, un potencial que la partcula no puede superar nunca, cualquiera que
sea su energa.

5.1.

Centrado en el origen

En la figura 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 infinito centrado en el origen

V (x)
V (x) = +
V (x) = +
V (x) = 0
x

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
(x; |x| > a) = 0

(3.16a)
(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 coeficientes constantes de la manera siguiente:
d2
+ k2 = 0
dx2
37

(3.17a)

5. Pozo de potencial infinito

Captulo 3. Problemas unidimensionales

Siendo
k2 =

2mE
~2

(3.17b)

Las autofunciones de esta ecuacin las podemos tomar como:


(x) = Aeikx + Beikx = C1 eik(xa) + C2 eik(xa)

(3.18)

El cambio en la segunda igualdad lo podemos hacer sin prdida de generalidad ninguna sin ms que reabsorber la constante eika en las distintas constantes A y B. Aplicando
las condiciones de contorno dadas por 3.16, obtenemos:

(a) = C1 + C2 = 0 C1 = C2 (x) = C1 eik(xa) eik(xa)
(3.19a)
Podemos reescribir la anterior expresin en forma sinusoidal:
(x) = 2iC1 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 2
n,
8ma2

n = 1, 2, . . .

(3.20)

Ahora normalizaremos la funcin de onda para obtener el valor de la constante C 1 :

a
2

|C 1 | sin (k(x a))dx = |C 1 |


a

= |C 1 |2

sin2 (k(z a))dz

2a

z sin(2kz)

2
4k

0
2a

1
= |C 1 |2 a = 1 |C 1 | =
a

(3.21)

Por lo tanto, podemos escribir la solucin como sigue:

 n

1
(x) = C 1 sin(k(x a)) = sin
(x a)
2a
a
38

n = 1, 2, 3, . . .

(3.22)

5. Pozo de potencial infinito

Captulo 3. Problemas unidimensionales

Sin embargo, es ms cmodo desarrollar el seno de la diferencia como una diferencia


de senos y cosenos, pues la situacin se simplifica. En efecto, tenemos:

 n
 n
1
n 
1
(x a) = sin
x
(x) = sin
2a
2a
2
a
a



 n 


n
1
1
n
n 
x cos
cos
x sin
= sin
(3.23)
2a
2
2a
2
a
a
Ahora tenemos en cuenta que:
n
=1
2
n
n par cos
=1
2

n impar sin

n
=0
2
n
sin
=0
2

cos

Podemos entonces separar la solucin en los dos casos posibles sealados arriba, n
par o impar, y obtener, como solucin final (ver representacin en las figuras 3.7 y 3.8):
1
 n 

x n = 1, 3, 5, . . .
cos
2a
a

n (x) =
1
n 

sin
x n = 2, 4, 6, . . .
2a
a

(3.24)

Podemos calcular el valor del incremento relativo de energa entre dos niveles consecutivos:
En+1 En
=
En

~2 2
(n
8ma2

+ 1)2
~2 2 2
n
8ma2

~2 2 2
n
8ma2

2n 1
2
=n
2
n
n

(3.25)

Es decir, para nmeros cunticos suficientemente 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) = C1 eikx + C2 eikx
39

(3.27)

5. Pozo de potencial infinito

Captulo 3. Problemas unidimensionales

Figura 3.7: Primeros estados separados segn su forma: cos kn x o sin kn x

Las condiciones de contorno son ahora:


(0) = (L) = 0
(x; 0 < x < 2a) = 0

(3.28a)
(3.28b)

Aplicndolas, obtenemos de nuevo C1 = C2 , y por tanto:


(x) = 2iC1 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 2
n,
8ma2

n = 1, 2, . . .

La constante de normalizacin es tambin la misma, |C 1 | =


40

(3.29c)

1 .
a

Y obtenemos, como

5. Pozo de potencial infinito

Captulo 3. Problemas unidimensionales

Figura 3.8: Los cuatro primeros estados

resultado final:
 n 
1
n (x) = sin
x
2a
a

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

6.

Captulo 3. Problemas unidimensionales

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 infinito (consideramos E < V0 ), y la anchura del mismo tiende a cero, mantenindose
constante el producto de ambos, es decir:

V0 , |x| a;
V (x) =
0, |x| a.
cumplindose:
lm
a0
V0

2aV0 = 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:
2m
d1 d2

= 2 V 1
dx
dx
~

(3.31)

Por analoga con la seccin 3, las soluciones en las regiones son4 :


1 (x) = exp(ikx) +

B+ + B
exp(ikx)
2

B+ B
exp(ikx)
2
3 (x) = C exp(qx) + D exp(qx)
2 (x) =

(3.32a)
(3.32b)
(3.32c)

donde los coeficientes B+ y B son:


B+ = exp(2ika)
B = exp(2ika)
r
q=

2m(E + V0 )
~2

r
k=

Para las expresiones de C y D ver 3

42

i kq coth(qa) 1
i kq coth(qa) + 1
i kq tanh(qa) 1
i kq tanh(qa) + 1

2mE
~2

(3.32d)
(3.32e)
(3.32f)

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 distribuye 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 probabilidad de su momento. Por ltimo, veamos que cuando tenemos un pozo infinito, o en
los estados ligados de un pozo finito, 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 ci 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

1.

Captulo 4. Estructura y postulados

Preliminares. Funciones de onda

Una funcin de onda bsicamente ha de ser continua, derivable, y para guardar consistencia con su interpretacin probabilstica, ha de verificarse:
Z
|(x)|2 d3 x = 1 (caso unidimensional)
(4.1)

El conjunto de todas las funciones de Rn en C tal que existe la integral de su cuadrado


extendida a todo Rn (esto es, converge a un valor no infinito) se denomina el espacio
de funciones de cuadrado integrable L2C (Rn ). En realidad una funcin de onda estar
contenida en el subespacio de L2C (Rn ) 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 L0 .
Al ser L0 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 definido por:
Z
Z
Z

(x)(x)dn x
(4.2)
...
=
(, ) =
Rn

Este producto escalar cumple las propiedades que son de esperar en un espacio eucldeo 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 definir el


concepto de base ortonormal. Un conjunto de funciones de onda {ui }I (donde el conjunto
de ndices I en principio es infinito 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

1. Preliminares. Funciones de onda

Captulo 4. Estructura y postulados

i) Toda funcin de onda puede desarrollarse como combinacin lineal de las funciones
de la base:

X
=
ci ui
(4.7)
i=1

ii) El conjunto es ortonormal, esto es :


(ui , uj ) = 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 L0 sean numerables (discretas), como hemos supuesto antes. Veamos la
forma en que pueden calcularse los coeficientes ci :
(uj , ) = (uj ,

ci ui ) =

i=1

ci (uj , ui ) =

i=1

ci ji = cj

i=1

As: ci = (ui , )

(4.9)

Esto nos lleva inmediatamente a que el producto escalar puede expresarse como:
=

ai u i

i=1

(, ) =

bj uj

j=1

ai bj (ui , uj ) =

i=1 j=1

ai bj ij =

i=1 j=1

ai bi

(4.10)

i=1

Y tambin tenemos una expresin, pues, para la norma al cuadrado de una funcin:
||2 =

|ci |2 =

i=1

|(ui , )|2

(4.11)

i=1

A modo formal, se hace necesario introducir el concepto de funcin de onda generalizada y base generalizada. Como puede verse en el apndice, mediante la distribucin
de Dirac, puede escribirse:
Z
(x) =
(y) (y x) dn y
(4.12)
Rn

Tambien, dada la transformada de Fourier de , sta verifica por definicin:


Z
1
(x) =
(p)eipx~ dn p
(4.13)
n/2
(2~)
Rn
45

1. Preliminares. Funciones de onda

Captulo 4. Estructura y postulados

Estas expresiones nos inducen a considerar los conjuntos:


{y }yRn ,
{vp }pRn ,

y = (x y)

vp =

1
eipx~
(2~)n/2

(4.14)
(4.15)

como bases del espacio de funciones de onda. El problema es que esto en s no tiene
sentido: las bases de L0 son numerables (stas son no numerables), y lo que es ms
importante, estn formadas por vectores de L0 (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 significado 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 L0 . 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 coeficientes es continuo, y la combinacin lineal debe ser entendida como integral. As, reproduciendo los resultados anteriores para bases ortonormales en sentido estricto:
Z
Base generalizada {ui (x)}I
(ut , us ) =
ut (x)us (x) ds = (t s)
(4.16)
Rn

Z
(t)ut (x) dt ,

(x) =

(s)us (x) ds

(x) =

(4.17)

Z
(t) = (ut , ) =

ut (x)(x) dn x

(4.18)

Rn

Z
(, ) =

(t)(t) dt

(4.19)

|(t)|2 dt

(4.20)

I
2

|| =
I

Las dos primeras lneas son la definicin definitiva 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, Rm (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
En el caso de ndices continuos, nos referimos ciertamente a un subconjunto I de Rn . Es importante
destacar que todos los espacios Rn tienen idntico cardinal (nmero de elementos). En principio si la
base no es numerable, la consideraremos continua.
2

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 onda3 :
A : L0 L0
A( + ) = A + A , , C , L0

(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 A para un estado
puede escribirse ahora como:
Z
A = (, A)
(4.22)
hA i =
Rn

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 especificamos una base {i }N , conocer los coeficientes ci del desarrollo de
nos proporciona el mismo conocimiento. Tambien vale esto para una base continua
{u }A . De hecho, dada {y }yRn , los coeficientes 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 coeficientes
respecto a la base de ondas planas {vp }pRn .
Un mismo estado se ve representado por distintas funciones de onda (segn trabajemos en el espacio de momentos, en el espacio natural de la posicin,etc.), sucesiones
de escalares complejos ci ,. . . 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 refieren a un espacio de Hilbert separable de dimensin infinita. L0 lo es ya, y
a l pertenecen las funcines de onda, funcines de onda en el espacio de momentos, los
coeficientes referentes a una base continua. . . Por otro lado, las sucesiones de escalares

X
complejos ci tales que:
|ci |2 < son el marco natural donde se trabaja cuando
i=1

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: A . Ntese que A(x) es el valor de la funcin A 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) {ci }N (p) . . .
. . . 0 (y) {c0j }N 0 (q) . . .
Z
... =
Rn

...............
Z

0
n
0
(x) (x) d x =
ci ci =
i=1

(p)0 (p) dn p = . . .

Rn

As, simplemente diremos que el estado de un sistema viene representado por un


vector de un espacio E, 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 | i. As, usualmente convendremos que el vector de E correspondiente a una
funcin de onda (del espacio natural de la posicin) se escribe | i. En este espacio
existe tambin un producto escalar que denotaremos de momento por ( | i, | i).
El espacio dual E Un funcional lineal en un espacio vectorial como E es una funcin
que asocia a cada vector | i un escalar ( | i) C, de forma que se verifique:
( | i + 0 | i0 ) = ( | i) + 0 ( | i0 ),

(4.23)

dados , 0 C, , 0 E cualesquiera. Al conjunto de todos los funcionales lineales


se le denota por E , y es un espacio vectorial de Hilbert (no exactamente isomorfo a E,
ahora lo veremos). El inters de considerar esta definicin es descubrir el potencial de la
notacin de Dirac. Un famoso teorema del anlisis funcional4 afirma que a cada funcional
lineal le corresponde un vector | i, de forma que ( | i) = ( | i, | i) , | i E.
Denotaremos entonces el funcional lineal asociado al vector | i, que actuando sobre
otro vector | i, da ( | i, | i), por h | . Los vectores del espacio E los llamaremos
entonces vectores bra, y el producto escalar de | i por | i se denotar de ahora en
adelante como el funcional h | actuando sobre | i, escrito h | i. Esto justifica los
nombres de bra y ket de la notacin de Dirac5 .
4
5

El teorema de
brackets: del ingls, parntesis h | i

48

A. Resumen de los postulados

A.

Captulo 4. Estructura y postulados

Resumen de los postulados

A.1.

Descripcin del estado de un sistema

Postulado 1 (Estado de un sistema). En un instante de tiempo concreto t0 , el estado


de un sistema fsico viene descrito por un vector | (t0 ) i, llamado ket, de un espacio de
Hilbert H
El hecho de que especifiquemos los estados como vectores de espacios de Hilbert
implica la linealidad, lo que en la prctica implica superposicin: si dos vectores | 1 i y
| 2 i son posibles estados de un sistema, tambin lo ser la combinacin lineal | i =
| 1 i + | 2 i , C.

A.2.

Descripcin de magnitudes fsicas

Postulado 2 (Magnitudes fsicas). Toda magnitud fsicamente medible A viene descrita


b que acta en H. Este operador es un observable.
por un operador A
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 A es uno de los autovalores
b asociado a dicha magnitud.
del operador A
Los posibles valores de una medida, como es de esperar, son siempre reales, ya que
b
A es hermtico por definicin.
b es discreto, entonces la magnitud
Si el espectro de los autovalores de un operador A
A est cuantizada.

49

A. Resumen de los postulados

A.4.

Captulo 4. Estructura y postulados

Valores posibles de una medida

Postulado 3.1 (Caso discreto no degenerado). La probabilidad de obtener como resultado de una medida de A sobre un sistema en el estado normalizado | i el autovalor no
degenerado n correspondiente al autovector normalizado a la unidad | n i viene dada
por:
P (n ) = |h n | i|2
(4.24)
Postulado 3.2 (Caso discreto degenerado). La probabilidad de obtener como resultado de una medida de A sobre un sistema en el estado normalizado | i el autovalor
b viene dada por:
degenerado n del operador asociado A
gn
X
i

h n | i 2
P (n ) =

(4.25)

i=1

gn es la degeneracin del autovalor n y los | in i 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 A sobre un sistema en el estado normalizado | i un resultado entre y
+ d viene dada por:
dP (n ) = |h | i|2 d
(4.26)
b asociado al
donde | i es el autovector correspondiente al autovalor del operador A
observable A.

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 Schrodinger 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 modificaciones respecto a lo que significa la ecuacin
de Schrodinger. 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 fijaremos solo en aquellos experimentos que son ms clsicos e intuitivos, y que nos
permitirn extraer las consecuencias necesarias para justificar la existencia del espn.

2.1.

Estructura fina de las lneas espectrales

Cuando hablbamos del tomo de hidrgeno afirmbamos sin miedo que la teora desarrollada entonces explicaba perfectamente las lneas espectrales observadas (las frecuenciasenergas observadas en las transiciones de un estado a otro de los electrones en los distintos 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 desdoblamiento, conocido como estructura fina 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 anteriormente 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:
B
q~
M=
L
B =
~
2me
El factor B es conocido como magnetn de Bohr. Esta teora es confirmada 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

2.3.

Captulo 5. Espn. Momentos Angulares

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 dificultades, Uhlenbeck y Goudsmit propusieron en


1925 la hiptesis de que el electrn gira1 sobre s mismo y esto le confiere un momento
angular intrnseco que llamamos espn. (MOMENTO MAGNTICO ??).
Posteriormente Pauli propuso estas hiptesis ms precisamente, dando una descripicin 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 P y R, que actan en el espacio de estados Er ,
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:
[Si , Sj ] = i~ijk Sk
(5.1)
2. Los operadores de espn actan sobre un nuevo espacio, el espacio de
estados de espn, Es , donde S2 y Sz consituyen un sistema completo de observables compatibles. Es est generado por un conjunto de vectores propios | s, m i
comunes a S2 y Sz que satisfacen:
S2 | s, m i = s(s + 1)~2 | s, m i
Sz | s, m i = m~ | s, m i

(5.2)
(5.3)

3. El espacio de estados total, E es el producto tensorial de Er y Es :


E = Er Es
1

En ingls el verbo girar es spin, de donde viene el nombre spin, castellanizado como espn.

53

(5.4)

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
finita de valor 2s + 1, y todos los estados de espn de una partcula son vectores propios
de S2 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 refieren 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 especificar un
ket del espacio Er , es decir, los sistemas {X, Y, Z}, o {PX , PY , PZ }, 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 Er y otro
de Es .

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 descripcin una base de Es formada por los vectores { | + i, | i}, desentendindonos por
completo de la parte angular. Los vectores | + i y | i satisfacen las propiedades:

S2 | i =
| S iz | i =
h+|i =
h+|+i =
b =
1

3 2
~ |i
4
1
~| i
2
0
h|i = 1
| + ih + | + | ih |

54

(5.5)
(5.6)
(5.7)
(5.8)
(5.9)
(5.10)

5. Descripcin

Captulo 5. Espn. Momentos Angulares

Los operadores S se definen a partir de Sx y Sy , cumpliendo las siguientes propiedades:


S
S+ | + i
S+ | i
S | + i
S | i
S+2

=
=
=
=
=
=

Sx iSy
0
~| + i
~| i
0
S2 = 0

(5.11)
(5.12)
(5.13)
(5.14)
(5.15)
(5.16)

La expresin ms general para un vector de estado de espn se describe mediante un


vector arbitrario de Es :
| i = c+ | + i + c | i
(5.17)
Los operadores Sx , Sy u y Sz tienen las siguientes expresiones matriciales en la base
{ | + i, | i}:
S = ~

0
x =
1

1
y =
0

0
z =
i

(5.18)

1
0

0
1

i
0

(5.19)
(5.20)
(5.21)

Estas matrices poseen las siguientes propiedades, que pueden deducirse directamente
de su expresin explcita anterior:
i2
i j + j i
[i , j ] = 2iijk
i j
Tri = 0
det i

5.

= 1
= 0
= iz
= 1

(5.22)
(5.23)
(5.24)
(5.25)
(5.26)
(5.27)

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 E = Er Es . Para
55

5. Descripcin

Captulo 5. Espn. Momentos Angulares

ello, habremos de extender (en el sentido matemtico de la palabra) los operadores que
antes habamos definido para los dos espacios de estado por separado al espacio total
E. Usaremos como sistema de observables el formado por {X, Y, Z, S2 , Sz }. Como base,
tomaremos los kets obtenidos como producto tensorial de vectores de las bases de Er ,
| r i | x, y, z i, y vectores de la base de Es , | i, donde puede referirse a | + i o | i.
Es decir, por definicin, los vectores de la base anteriormente indicada son de la forma:
| r, i | x, y, z, i = | r i | i

(5.28)

Estos vectores, por definicin, son autovectores de los operadores X, Y , Z, S 2 y Sz , con


autovalores:
X | r, i = x | r, i
Y | r, i = y | r, i
Z | r, i = z | r, i
3 2
S 2 | r, i =
~ | r, i
4
~
Sz | r, i = | r, i
2

(5.29)
(5.30)
(5.31)
(5.32)
(5.33)

Adems, los autovectores cumplen las relaciones de ortonormalidad y cierre:


h r0 , 0 | r, i = 0 , (r0 r)
XZ
b
dr | r, ih r, | = 1

(5.34a)
(5.34b)

Todo vector puede ser expresado en la base { | r, i}, de la forma:


XZ
|i =
dr | r, ih r, | i

(5.35)

Los coeficientes h r, | i son las coordenadas del vector | i en la base { | r, i}, es


decir, existen dos funciones que especifican el estado del sistema, que son:
+ (r) = h r, + | i
(r) = h r, | i

(5.36)
(5.37)

Estas dos funciones son las dos componentes de una estructura llamada espinor, que
escribimos de la forma:


+ (r)
[] (r) =
(5.38)
(r)
La representacin anloga a esta del bra h | asociado al estado | i es la matriz
adjunta de esta, es decir, un espinor de la forma:

?
?
(r)
(r)
[] (r) = +
(5.39)
56

5. Descripcin

Captulo 5. Espn. Momentos Angulares

Esta notacin compacta permite simplificar la expresin del producto escalar de dos
vectores de estado, que podemos escribir como:
Z
XZ
h |i =
drh | r, ih r, | i = dr [] (r) [] (r)
(5.40)

En la notacin anterior, primero se realiza el producto de matrices y despus la integracin.


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:
|i = |i |i ,
(5.41)
con | i y | i dados por:
h r | i = (r)
| i = c+ | + i + c | i
El espinor tiene entonces una forma ms simple que la general, ya que:
 
c
[] (r) = (r) +
c

(5.42)
(5.43)

(5.44)

Esto equivale a decir que las funciones del espinor (r) son
(r) =
R simplemente
3
2
2

c (r). Por tanto, h | i = h | ih | i = (|c+ | + |c | ) V d 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, E = Er Es ,
recordando que cada operador de un espacio no afecta sobre las componentes del vector
que corresponden al otro espacio. Por ejemplo, el operador Sz , que antes considerbamos
que actuaba solo sobre Es , ahora acta sobre E, pero sobre un vector | r, i, 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 Er y otro factor sobre el espacio Es .
Por ejemplo, el operador Sz en una representacin | r, i, viene dado por:


1 0
Sz ~
0 1

(5.45)

Que es la misma forma que tena en Es , evidentemente. Pero operadores como X o Px


ya no son simples operaciones, sino matrices cuyos elementos consisten en operaciones:



0
x 0

(5.46)
bXc
bPy c i~ y
0 x
0
y
57

6. Momento angular total

Captulo 5. Espn. Momentos Angulares

Operadores mixtos, ms complicados, pueden ser:

~2 0 z
bPz Sy c

2
0
z

(5.47)

La representacin espinorial tambin permite expresar el valor esperado de un operador en un estado | i que tenga en cuenta el espn, de la forma:
Z
hA i = h | A | i =
d3 r [] (r) bAc [] (r)
(5.48)
V

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
PN
O es la suma de los momentos individuales, L = i=1 Li . 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 0 =
H1 + H2 , siendo Hi :
~2 2
+ V (ri )
(5.49)
Hi =
2mi
Es claro entonces que los momentos angulares cumplen la relacin de conmutacin
[Li , H 0 ] = 0, que es el equivalente cuntico de decir que Li es una constante de movimiento. 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 0 + U . Ahora las relaciones de conmutacin de los
momentos angulares son de la forma [Li , H] = [Li , U ]. Para el caso de la componente z
del momento angular de la partcula 1 se tiene:


~

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


~
U
U
U
U
[Lz , H] = [Lz , U ] = [L1z , U ] + [L2z , U ] =
x1
y1
+ x2
y2
=
i
y1
x1
y2
x2
~ v0
=
(x1 (y1 y2 ) y1 (x1 x2 ) x2 (y1 y2 ) + y2 (x1 x2 )) = 0
(5.51)
i r
58

7. Suma de espines

Captulo 5. Espn. Momentos Angulares

Vemos entonces que el momento angular total Li es una constante de movimiento,


como sucede en mecnica cuntica. Este resultado lo hemos obtenido para el caso particular 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 { | i}. La base que decimos ser entonces
{ | 1 i | 2 i} { | 1 i | 2 i}, donde los i = , y que escribiremos de forma ms
abreviada como { | 1 2 i}. Estos vectores son autovectores de los operadores Si2 y de los
Siz 2 :
3 2
~ | 1 2 i
4
Siz | 1 2 i = i ~ | 1 2 i
Si2 | 1 2 i =

(5.52)
(5.53)

Como queremos expresar estos vectores en otra base, en la que entre el operador S2 ,
debemos definir el espn total, S = S1 + S2 , comprobando que S es un momento angular,
ya que obedece las relaciones de conmutacin que definen un momento angular.
Tenemos que realizar un cambio de base. Partimos de una base dada por un conjunto
completo de observables compatibles, dado mediante {S12 , S22 , S1z , S2z }, y debemos cambiar a otro, dado por {S12 , S22 , S 2 , Sz }, para lo que construiremos una base cuyos vectores
denotaremos por { | SM i}, en vista de que queremos obtener:
S 2 | SM i = S(S + 1)~2 | SM i
Sz | SM i = M ~ | SM i
3 2
Si2 | SM i =
~ | SM i
4

(5.54)
(5.55)
(5.56)

Estas son las relaciones habituales de vectores y valores propios de un momento angular
S.
Est claro que los | 1 2 i son autovectores de la componente z del espn total, ya
que Sz | 1 2 i = ~2 (1 + 2 ) | 1 2 i. Como i = 1, entonces los valores posibles de M son
2

Los ndices i hacen referencia a las partculas 1 y 2

59

7. Suma de espines

Captulo 5. Espn. Momentos Angulares

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
| + + i (ambos espines hacia arriba). Anlogamente, para el caso M = 1, el nico
autovector posible es el | i (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

1
~
0
Sz

2 0
0

Sz es:
0
0
0
0

0 0
0 0

0 0
0 1 | 1 2 i

(5.57)

El subndice hace referencia a la base en la que se escribe la matriz. El operador S2 se


puede obtener de varias formas, ya que:
S2 = S21 + S22 + 2S1 S2
S1 S2 = S1x S2x + S1y S2y + S1z S2z = S1z S2z +

1
(S1+ S2 + S1 S2+ )
2

La matriz que representa entonces al operador S2 es:

2 0 0 0
~ 0 1 1 0

S2
2 0 1 1 0
0 0 0 2 | 1 2 i

(5.58)
(5.59)

(5.60)

Sz ya es diagonal en esta base. Por los teoremas que vimos en los primeros captulos,
ahora solo resta diagonalizar la restriccin de S2 al subespacio generado por { | + i, |
+ i} (el subespacio correspondiente a M = 0), es decir, la parte central de S2 , ya que
es la que debera romper la degeneracin de Sz y no lo hace. En definitiva, hay que
diagonalizar la submatriz:


2 1 1
2
S0 ~
(5.61)
1 1
Si designamos con ~2 , los autovalores, se tiene que = 2 o bien = 0. Los correspondientes autovectores son:
1
= 2 [ | + i + | + i]
2
1
= 0 [ | + i | + i]
2
60

(5.62)
(5.63)

7. Suma de espines

Captulo 5. Espn. Momentos Angulares

Encontramos entonces, en definitiva, que, en la base del espn total, el operador S2


tiene dos autovalores posibles, 2~2 y 0. Como S 2 | SM i = S(S + 1)~2 | SM i, tenemos
que los valores posibles de S son, respectivamente, S = 1 y S = 0. Los autovectores
asociados a S = 1 son:
| + +i

1
( | + i + | + i)
2

| i

A su vez, stos son autovectores de Sz , con autovalores:


| + + i M = 1
1
( | + i + | + i) M = 0
2
| i M = 1
Por otro lado, asociado a S = 0, solo existe un autovector,
autovalor de Sz dado por M = 0.

1
2

( | + i + | + i), con

Tenemos, tal y como cabra esperar, que, para cada S, los autovalores posibles de Sz
son de la forma S, S + 1, . . . 0 . . . , S 1, S. Por otro lado, hemos visto que los vectores
que obtenemos como base son de la forma:
singlete

triplete

1
| 00 i = ( | + i | + i)
2

| 11 i = | + + i
| 10 i = 12 ( | + i + | + i)

| 11 i = | i

Por ltimo, destacar algunas propiedades de simetra de la base anterior. El vector


| 00 i es lo que se conoce como singlete (dado que aparece solo), y es antisimtrico respecto del intercambio de dos partculas. El conjunto de vectores | 1M i, al estar compuesto
por tres elementos, es lo que se conoce como triplete, y es simtrico respecto del intercambio 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 forma de los vectores de la base. De los vectores | 1M i han de formar parte, claramente,
los vectores | + + i (con M = 1, pues los espines estn hacia arriba, y | i (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 | + i y | + i (que, adems, son los que faltan aparte de los | + + i y
| i). Pero como ha de ser simtrico, como el resto del triplete, y estar normalizado,
entonces est claro que ha de ser | 10 i = 12 ( | + i + | + i). Finalmente, el estado
singlete, con S = M = 0, ha de ser tambin una combinacin lineal de los | + i y
| + i. Pero como ha de ser antisimtrico, entonces | 00 i = 12 ( | + i | + i).
61

8. Mtodo general

8.
8.1.

Captulo 5. Espn. Momentos Angulares

Mtodo general de suma de momentos angulares


Introduccin

Sea un momento angular J y una base { | k, j, m i} asociada a J. Se cumplen entonces


las siguientes ecuaciones de valores propios:
J2 | k, j, m i = j(j + 1)~2 | k, j, m i
Jz | k, j, m i = m~ | k, j, m i
Adems, se tienen los operadores J , cuya accin viene dada por:
p
J | k, j, m i = ~ j(j + 1) m(m 1) | k, j, m 1 i

(5.64)
(5.65)

(5.66)

Llamemos (k, j) a los subespacios generados por los vectores de la base correspondiente a k y j fijos. Estos subespacios:
Son (2j + 1)-dimensionales.
Son invariantes bajo la accin de J2 , Jz 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 distintos (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 separado, = 1 2 . Tomamos como base de estados del sistema los vectores de la forma
| k1 , k2 ; j1 , j2 ; m1 , m2 i, con:
| k1 , k2 ; j1 , j2 ; m1 , m2 i = | k1 , j1 , m1 i | k2 , j2 , m2 i
El espacio de estados se puede descomponer en la suma directa:
X
X
=
(k1 , k2 ; j1 , j2 ) =
1 (k1 ; j1 ) (k2 ; j2 )

(5.67)

(5.68)

Los subespacios (k1 , k2 ; j1 , j2 ) son (2j1 + 1)(2j2 + 1)-dimensionales.


El momento angular total del sistema, J, es la suma de los momentos angulares3 J1
y J2 , es decir:
J = J1 + J2
(5.69)
3

En realidad, es la suma de las extensiones de los operadores J1 y J2 , desde los espacios originales
en que actuaban, 1 y 2 , respectivamente, al espacio de estados .

62

8. Mtodo general

Captulo 5. Espn. Momentos Angulares

Se puede comprobar, de la definicin anterior, que se cumplen las siguientes relaciones


de conmutacin:

 
 
 

Jz , J21 = Jz , J22 = J2 , J21 = J2 , J22 = [J1z , Jz ] = [J2z , Jz ] = [J1 , J2 ] = 0 (5.70)
El operador J2 se puede expresar como:
J2 = J21 + J22 + 2J1z J2z + J1+ J2 + J1 J2+

8.2.

(5.71)

Cambio de base

Los vectores { | k1 , k2 ; j1 , j2 ; m1 , m2 i} son autovectores simultneamente de los operadores:


J21 , J22 , J1z y J2z ,
(5.72)
con sus respectivos autovalores. Tambin los operadores
J21 ,

J22 ,

J2

y Jz

(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 j1 y j2 fijos)
como | J, M i que satisfagan simultneamente:
J2 | J, M i = J(J + 1)~2 | J, M i
Jz | J, M i = M ~ | J, M i

(5.74)
(5.75)

Adems, por supuesto, debern ser autovectores de J21 y J22 , con autovalores asociados
a j1 y a j2 , respectivamente. Como los subespacios (k1 , k2 ; j1 , j2 ) 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 J21 , J22 , J 2 yJz son independientes de los valores de
k1 y k2 , el problema de la diagonalizacin ser el mismo en cada subespacio. Por tanto,
adoptaremos la siguiente notacin reducida:
(k1 , k2 ; j1 , j2 ) (j1 , j2 )
| k1 , k2 ; j1 , j2 ; m1 , m2 i | j1 , j2 ; m1 , m2 i
Por otro lado, como J es un momento angular, y los (j1 , j2 ) son invariantes bajo la
accin de cualquier funcin de J, se tiene que (j1 , j2 ) 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 J2 , Jz y J ,
esto es:
X
(j1 , j2 ) =
(k, J)
(5.76)

Tenemos, por ahora, un doble objetivo:


63

8. Mtodo general

Captulo 5. Espn. Momentos Angulares

Dados j1 y j2 , encontrar los valores posibles de J, y cuantos subespacios (k, J)


existen para cada par de valores j1 y j2 .
Expresar los autovectores de J2 y Jz en funcin de los vectores de la antigua base,
es decir, 5.72.

8.3.

Autovalores de Jz

Asumimos, sin prdida de generalidad alguna, que j1 j2 . Los vectores | j1 , j2 ; m1 , m2 i


son autovectores de Jz , luego
Jz | j1 , j2 ; m1 , m2 i = (m1 + m2 )~ | j1 , j2 ; m1 , m2 i,

(5.77)

y sus autovalores son M = m1 + m2 . Como los valores mximos que pueden alcanzar m1
y m2 son j1 y j2 , respectivamente, y los mnimos j1 y j2 , entonces los valores posibles
de M son:
M = j1 + j2 ,

j1 + j2 1,

...

j1 j2 + 1,

(j1 + j2 )

(5.78)

Ahora estudiaremos la degeneracin4 gj1 ,j2 (M ) de cada autovalor M , es decir, el


nmero de vectores que hay con el mismo autovalor. Para ello consideremos el grfico
5.1, en el que se muestran los valores posibles de m1 y m2 y el valor M al que dan
lugar, para dos valores concretos de j1 y j2 (j1 = 3 y j2 = 2). Con cada punto va
asociado un vector | j1 , j2 ; m1 , m2 i. 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 gj1 ,j2 (M ). As, gj1 ,j2 (j1 +j2 ) = 1,
gj1 ,j2 (j1 + j2 1) = 2, . . . , gj1 ,j2 (j1 j2 ) = 2j2 1. Conforme M disminuye en una unidad,
su degeneracin aumenta (tambin en una unidad), hasta llegar a j1 j2 . A partir de ah
toma un valor constante hasta llegar a M = (j1 j2 ), valor tras el cual la degeneracin
empieza a disminuir de forma simtrica con respecto a como suba, es decir, se tiene
gj1 ,j2 (M ) = gj1 ,j2 (M ), de donde, concretando, gj1 ,j2 ((j1 + j2 )) = 1. Esta informacin
se resume en el grfico 5.2.
Por ltimo, resaltar que los valores de M sern enteros si j1 y j2 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.

8.4.

Autovalores de J2

Comentamos en el apartado anterior que el mximo valor que puede tomar M es


M = j1 + j2 . Por otro lado, como los valores de M de un momento angular van desde
4

Explicarlo ms matemticamente

64

8. Mtodo general

Captulo 5. Espn. Momentos Angulares


m2
6

x j2 = 2

(3, 2)

M = 1

M =5

M =4
M = 3

x - m1

j1 = 3
x

(3, 2)

M =0
Figura 5.1: Valores de M y autovectores asociados.

gj1 ,j2 (M )

5
4
3
2
1
M
5

Figura 5.2: Valores de M y degeneracin asociada.


65

8. Mtodo general

Captulo 5. Espn. Momentos Angulares

hasta J, deducimos que no hay valores de J mayores que j1 + j2 . Con J = j1 + j2 se


asocia un subespacio nico, (J = j1 + j2 ), en el que est el nico vector con M = j1 + j2 .
Este subespacio tambin contiene un nico vector (porque J es un momento angular)
con autovalor de Jz asociado a M = j1 + j2 1. Ahora bien, este autovalor es doblemente
degenerado, luego existe otro vector en (j1 , j2 ). Dicho vector est en otro subespacio,
(J = j1 + j2 1), y adems, est en l de forma no degenerada. Formalicemos esto un
poco ms. Sea pj1 ,j2 (J) el nmero de subespacios de un autovalor asociado a J. Entonces
se tiene:
gj1 ,j2 (M ) = pj1 ,j2 (|M |) + pj1 ,j2 (|M | + 1) + . . . + pj1 ,j2 (j1 + j2 )
(5.79)
Podemos invertir la relacin para obtener pj1 ,j2 (J):
pj1 ,j2 (J) = gj1 ,j2 (M = J) gj1 ,j2 (M = J + 1)

(5.80)

De aqu podemos observar que:


pj1 ,j2 (J > j1 + j2 ) = 0, ya que gj1 ,j2 (M ) = 0 para |M | > j1 + j2 .
pj1 ,j2 (j1 j2 J j1 + j2 ) = 1, porque gj1 ,j2 (M ) disminuye en una unidad al
aumentar el valor de M en una unidad.
pj1 ,j2 (J < j1 j2 ) = 0, porque no podemos aceptar valores de pj1 ,j2 (J) negativos,
no tendra sentido.
Es decir, hemos llegado a la conclusin de que:
J = j1 + j2 ,

j1 + j2 1,

...

|j1 j2 |

(5.81)

Hemos puesto |j1 j2 | para generalizar al caso en que fuera j1 < j2 , aunque no tiene
mayor trascendencia, claro est.
Otra forma de ver que el valor mnimo de J ha de ser j1 j2 es ver la dimensin de
(j1 , j2 ). 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 = j1 + j2 . Como la dimensin de (j1 , j2 ) es (2j1 + 1)(2j2 + 1),
se debe cumplir:
j1 +j2
X
2J + 1 = (2j1 + 1)(2j2 + 1)
(5.82)
J=x

Desarrollando la suma, se encuentra que x = |j1 j2 |.

8.5.

Autovectores de J2 y Jz

66

Formulario general
Mecnica ondulatoria

Z
1
(p)eipx/~ dp
(x) =
2~
Z
1
(x)eipx/~ dx
(p) =
2~

x2
e 22 dx =
2

1
2

eik(xx ) dk = (x x0 )

i~
j(x) =
2m


x
x

= ||2

+ divj(x) = 0
t
dhA i
i
= h[H, A] i
dt
~

Potencial delta:

d
dx

0+

67

d
dx


=
0

2m
(0)
~2

i~t | i = H | i
H | in i = En | in i
X
| (t) i =
cn eiEn t/~ | n (0) i
n

~
i x
P2
H =
+ V (x) (Expresin general)
2m
Z
p2
1
dp0 V (p)(p p0 )
E(p) =
(p) +
2m
2~
P =

Problemas unidimensionales
Pozo infinito
Centrado en origen, anchura 2a

~2 2 2
n
8ma2

 n 
1

x , n = 2, 4, 6, . . .
sin
2a 
a

n (x) =
1
n

cos
x , n = 1, 3, 5, . . .
2a
a
En =

Centrado en L/2, anchura L

~2 2 2
En =
n
2mL2
r
 n 
2
n (x) =
sin
x
L
L

68

Oscilador armnico
H=

1
P2
+ mX 2
2m 2

=
X

m
X
~

1
P
m~

P =

= 1 (P 2 + X
2)
H
2

H = ~ H

1
a = (X
+ iP )
2
1
a = (X
iP )
2
= a a + 1 = N + 1
H
2
2

n + 1 | n+1 i
a | n i =

a | n i =
n | n1 i
1
| n i = (a )n | 0 i
n!

h n0 | a | n i =
n 0
n ,n1

h n0 | a | n i =
n + 1 n0 ,n+1
r
i

~ h
h n0 | X | n i =
n + 1 n0 ,n+1 + n n0 ,n1
r2m h
i

m~
h n0 | P | n i = i
n + 1 n0 ,n+1 n n0 ,n1
2

69


n 1/2 

n
m 2
~
m 1/4 m
d
1
x
e 2~ x
n
2 n! m
~
~
dx
 m 1/4
m 2
e 2~ x
~
 
1/4
m 2
4 m 3
xe 2~ x
~
i m 2
 m 1/4 h m
2
x2 1 e 2~ x
4~
~


n (x) =
0 (x) =
1 (x) =
2 (x) =

Momento angular
General

J
[J , J ]
 i2 j
J ,J
[Jz , J]
[J+ , J ]
JJ
J2

J 2 | k, j, m i
Jz | k, j, m i
2
J J | k, j, m i
Jz J | k, j, m i

Jx iJy
i~i,j,k Jk
0
~J
2~Jz
Jx2 + Jy2 ~Jz = J 2 Jz2 ~Jz
1
=
(J+ J + J J+ ) + Jz2
2

=
=
=
=
=
=

j(j + 1)~2 | k, j, m i
m~ | k, j, m i
j(j + 1)~2 | k, j, m i
(m 1)~ | k, j, m i
p
J | k, j, m i = ~ j(j + 1) m(m 1) | k, j, m 1 i
=
=
=
=

h k, j, m | Jz | k 0 , j 0 , m0 i = m~ k,k0 j,j 0 m,m0


h k, j, m | J 2 | k 0 , j 0 , m0 i = j(j + 1)~2 k,k0 j,j 0 m,m0
p
h k, j, m | J | k 0 , j 0 , m0 i = ~ j(j + 1) m0 (m0 1) k,k0 j,j 0 m,m0 1
70

~
h k, j, m | Jx | k 0 , j 0 , m0 i = k,k0 j,j 0
2
hp
i
p
0
0
0
0
j(j + 1) m (m + 1) m,m0 +1 + j(j + 1) m (m 1) m,m0 1
~
h k, j, m | Jy | k 0 , j 0 , m0 i =
k,k0 j,j 0
2i
hp
i
p
j(j + 1) m0 (m0 + 1) m,m0 +1 j(j + 1) m0 (m0 1) m,m0 1

(1/2)

(Jz )

~
=
2

(1/2)

(Jx )

~
=
2


1 0
0 1

2 (1/2)

(J )


0 1
1 0

(1/2)

(Jy )

(Jz )(1)

(Jx )(1)

1 0 0
= ~ 0 0 0
0 0 1

0 1 0
~
= 1 0 1
2 0 1 0

3~2
=
4
~
=
2


1 0
0 1

0 i
i 0

(J 2 )(1)

(Jy )(1)

1 0 0
= 2~2 0 1 0
0 0 1

0 i 0
~
= i 0 i
2 0 i
0

Momento angular orbital


cos

i~ sin +
tan



sin
i~ cos +
tan

i~

 2


1
1 2
2
~
+
+
2 tan sin2 2


Lx =
Ly =
Lz =
L2 =

L2 Ylm (, ) = l(l + 1)~2 Ylm (, )


Lz Ylm (, ) = m~Ylm (, )
71




L = ~e
+ i cot

l
l
L+ Yl (, ) = 0 Yl (, ) = cl (sin )l eil
r
(1)l (2l + 1)!
cl =
2l l!
4
i

1
Y00 (, ) =
4
r

3
Y11 (, ) =
sin ei
8
r
3
cos
Y10 (, ) =
4
r
15
Y22 (, ) =
sin2 e2i
32
r
15
1
Y2 (, ) =
sin cos ei
8
r

5
0
3 cos2 1
Y2 (, ) =
16

Composicin de espines

~ 0
S1x =
2 1
0

0 0
~
0 0
S1y =

2 i 0
0 i

1 0
~
0 1
S1z =
2 0 0
0 0

0
0
0
1
i
0
0
0
0
0
1
0

1
0
0
0

0
1

0
0

0
i

0
0

0
0

0
1

~ 1
S2x =
2 0
0

0
~
i
S2y =

2 0
0

1
~
0
S2z =
2 0
0

72

1
0
0
0

0
0
0
1

0
0

1
0

0 0
0 0

0 i
i 0

0 0 0
1 0 0

0 1 0
0 0 1
i
0
0
0

s
P21
| SM i = (1)S+1 | SM i

1 2
S S12 S22
S1 S2 =
2

Teora de perturbaciones
General

H = H 0 + W = H 0 + W
| n i = | 0 i + | 1 i + 2 | 2 i +
En () = En0 + 1 + 2 2 + ...

Nivel no degenerado

| n i
1 = h n | W
| n i
X X h ip | W
|1i =
| ip i
0 E0
E
n
p
p6=n i
2


| i i
X X h ip | W
p
2 =
0
0
En Ep
p6=n i

Nivel degenerado
n | 0 i = 1 | 0 i
W

73

También podría gustarte