Professional Documents
Culture Documents
INDICE GENERAL
Prlogo .................................................................................
TEMA 1. LA MATEMTICA DE LA MECANICA
CUANTICA .........................................................................
1.1. El espacio de los estados. Notacin de Dirac .............
1.2. Operadores que actan en el espacio de los estados ..
1.3. Bases discretas en el espacio de los estados ...............
1.4. Bases continuas en el espacio de los estados .............
1.5. Dos ejemplos de bases continuas: representaciones
{|r} y {|p} .................................................................
1.6. Representaciones matriciales .....................................
1.7. Cambio de base ..........................................................
1.8. Autovalores y autovectores de los operadores lineales
1.9. Soluciones de las ecuaciones de autovalores .............
1.10. Operadores hermticos ................................................
1.11. Observables ................................................................
1.12. Los observables posicin y cantidad de movimiento .
1.13. Observables que conmutan: Teoremas .......................
1.14. Cantidades fsicas compatibles y conjuntos completos
de observables que conmutan .....................................
1.15. El operador paridad ....................................................
1.16. Producto tensorial de dos espacios .............................
TEMA 2. LOS POSTULADOS DE LA MECANICA
CUANTICA NO RELATIVISTA .......................................
2.1. Postulados referidos a la representacin de estados
y cantidades fsicas .....................................................
11
15
15
20
27
31
35
40
45
48
52
58
60
66
70
77
81
85
91
93
MECNICA CUNTICA
103
107
111
115
124
125
127
130
134
134
136
138
142
145
151
151
151
156
162
173
201
201
201
203
206
208
211
217
220
220
225
MECNICA CUNTICA
230
230
234
238
240
242
244
247
247
247
249
249
253
257
263
269
269
271
273
273
275
MECNICA CUNTICA
MECNICA CUNTICA
11
PRLOGO
Este libro est destinado a los estudiantes de mecnica
cuntica de las licenciaturas de fsica y qumica. Se ha supuesto
que estos estudiantes tienen los conocimientos de matemticas
que se adquieren en los tres primeros aos (o en los seis primeros semestres) de dichas carreras y que estn familiarizados con
los experimentos realizados a fines del siglo XIX y comienzos
del siglo XX. Como es sabido, los cientficos de ese periodo
fracasaron en el intento de explicar tales experimentos a partir
de las teoras clsicas vigentes para la poca: la mecnica clsica (en sus distintas versiones) y el electromagnetismo. Lo cual
plante la necesidad de introducir nuevos conceptos, y condujo
a la formulacin de la mecnica cuntica tal como la conocemos hoy en da.
Los estudiantes deberan haber estudiado tanto los experimentos previamente referidos como los conceptos introducidos para explicarlos en una materia que, generalmente, recibe el
nombre de Fsica Moderna. A continuacin detallamos la
lista:
La radiacin del cuerpo negro y la catstrofe del ultravioleta;
el anlisis debido a Einstein del efecto fotoelctrico;
el efecto Compton;
la hiptesis de de Broglie;
el atmo de Bohr;
el experimento de Frank-Hertz;
el principio de incertidumbre de Heisenberg; y
el experimento de Stern-Gerlach y el concepto de espn.
12
MECNICA CUNTICA
13
considerable. Esto, en virtud de que las herramientas all expuestas son imprescindibles para encarar tanto la lectura de los
restantes temas, como la de textos ms avanzados y de artculos
sobre temas actuales. Y, como en general los principiantes tienen dificultades con estas herramientas matemticas, me pareci conveniente exponerlas en forma detallada.
Debo advertir al lector que si no intenta responder las
preguntas y resolver al menos parte de los ejercicios propuestos
al final de cada seccin, la mera lectura de este libro difcilmente rinda los frutos deseados. Salvo contadas excepciones, los
ejercicios son muy sencillos y el estudiante debe tener en claro
que su progreso depende, ante todo, de su trabajo y empeo;
poco o nada aprender si se limita a seguir el anlisis del problema hecho por otra persona. Asimismo, cualquier lector que
desee consultarme sobre el contenido de esta obra, puede ubicarme en la siguiente direccin electrnica: mbugos25@
gmail.com.
Finalmente: Agradezco a los Profesores Alejandra Melfo,
Nelson Pantoja y Luis Rincn por la revisin de algunos temas,
y sus sugerencias. En particular, estoy en deuda con el Profesor
Daniel Morales por una revisin exhaustiva de la totalidad del
manuscrito y sus mltiples observaciones. Va tambin mi profundo agradecimiento al Profesor Mario Peralta, por su estmulo
para llevar a cabo esta obra.
14
MECNICA CUNTICA
15
TEMA 1.
LA MATEMTICA DE LA MECANICA
CUANTICA
1.1. El espacio de los estados. Notacin de Dirac. 1.2. Operadores que actan en el espacio de los estados. 1.3. Bases discretas
en el espacio de los estados. 1.4. Bases continuas en el espacio
de los estados. 1.5. Dos ejemplos de bases continuas: representaciones {|r} y {|p}. 1.6. Representaciones matriciales. 1.7.
Cambio de base. 1.8. Autovalores y autovectores de los operadores lineales. 1.9. Soluciones de las ecuaciones de autovalores.
1.10. Operadores hermticos. 1.11. Observables. 1.12. Los observables posicin y cantidad de movimiento. 1.13. Observables
que conmutan: Teoremas. 1.14. Cantidades fsicas compatibles
y conjuntos completos de observables que conmutan. 1.15. El
operador paridad. 1.16. Producto tensorial de dos espacios.
En este tema nos proponemos proporcionar al lector una
revisin somera de los conceptos matemticos utilizados en
mecnica cuntica, sin entrar en demostraciones rigurosas.
16
entes matemticos, los kets y los bras, que tambin pueden representar dicho estado.
Vamos a asociar un ket , identificado por el smbolo |,
y un bra , identificado por el smbolo |, a la funcin de onda
(r). Subrayemos que el vector posicin r no figura ni en el
smbolo | ni en el smbolo |. El conjunto de asociaciones de
entes matemticos que representan el estado puede ser resumido as:
(r) (funcin de onda) | (ket) | (bra)
(1.1)
MECNICA CUNTICA
17
1 + 2 = 2 + 1
(1.2a)
1 + (2 + 3) = (1 + 2) + 3
(1.2b)
( + ) 1 = 1 ( + ) = 1 + 1
(1.3a)
(1 + 2) = 1 + 2
(1.3b)
( ) 1 = ( 1) = ( 1)
(1.3c)
1 + = 1
(1.4a)
0 1 = 0
(1.4b)
Veremos que se puede elegir una base en el espacio y expresar los estados del sistema en trminos de los vectores que
componen dicha base. En la Tabla 1.1 se explicitan algunas
analogas entre el espacio ordinario SO(3) y el espacio de los
estados .
La correspondencia ket bra es antilineal. Esto significa
que dados los estados 1 y 2 y los nmeros complejos 1 y 2,
la correspondencia entre combinaciones lineales de kets y bras
es
1 |1 + 2 |2 1* 1| + 2* 2|
(1.5)
18
(1.6)
(1.7)
en general resulta | |.
Si | = 0, se dice que los vectores | y | son ortogonales. Por definicin, la norma de es | 1/2, donde, de
acuerdo con (1.6), resulta
| = d3r |(r)|2
(1.8)
MECNICA CUNTICA
19
|(11 + 22) = 1 |1 + 2 |2
(1.9a)
(11 + 22)| = 1* 1| + 2* 2|
(1.9b)
Preguntas y ejercicios
1.1. Utilizando la definicin (1.6) probar la igualdad (1.7)
1.2. Verificar que el cuadrado de la norma del vector |, dado
por (1.8), es un nmero real no negativo que se anula si y
20
(1.10)
respetando la relacin
A (1|1 + 2|2) = 1 A |1 + 2 A |2
(1.11)
(1.12)
Se dice que si el operador A acta (a la derecha) en el espacio de los kets, el operador A acta (a la izquierda) en el
espacio de los bras. Esto es, tomando el adjunto de ambos
miembros de la expresin (1.10), nos trasladamos del espacio
de los kets al espacio de los bras. Notar, sin embargo, que esto
MECNICA CUNTICA
21
(1.13)
(1.14)
(A) = A
(1.15)
( A) = * A
(1.16)
(A + B) = A + B
(1.17)
y que
El producto A B de dos operadores lineales A y B se define por su accin sobre un ket genrico |. Se cumple que
(A B) | = A (B |)
(1.18)
22
MECNICA CUNTICA
23
El producto de dos o ms operadores goza de la propiedad asociativa, pero en general no goza de la propiedad conmutativa; ms adelante veremos varios ejemplos de operadores
que no conmutan. El conmutador de los operadores A y B, tomados en ese orden, se denota por [A, B] y es, por definicin,
[A, B] = A B B A
(1.19)
(1.20a)
(1.20b)
(1.21a)
(1.21b)
(1.22)
La regla general para obtener el adjunto de una expresin que contiene kets, bras, operadores y nmeros, puede resumirse as: (i) se reemplazan los kets por los bras, los bras por
los kets, los operadores por sus adjuntos y los nmeros por sus
24
(1.23)
(1.24)
MECNICA CUNTICA
25
llamados proyectores elementales, son idempotentes; esto significa que satisfacen la relacin
(P)2 = P
(1.25)
La extensin del concepto de proyector a un ket al concepto de proyector a un subespacio de dos o ms dimensiones
es sencilla. Sea {|j} (j = 1, 2,... , q) un conjunto de vectores
ortonormalizados, lo cual implica que se satisfacen las relaciones
j|k = jk
(1.26)
donde jk es la delta de Kronecker. Llamaremos q al subespacio que subtienden dichos vectores. Por definicin, el proyector
Pq al subespacio q es la suma de los proyectores elementales
|j j|, esto es
Pq = j=1q |j j|
(1.27)
26
MECNICA CUNTICA
27
Preguntas y ejercicios
1.3. Demostrar que las relaciones (1.14) - (1.17) son vlidas.
1.4. Probar que se cumplen las relaciones (1.20).
1.5. Verificar que para cualquier |, cualquier |, cualquier
operador lineal A y cualquier nmero complejo se cumplen las siguientes relaciones: (i) | = |; (ii) | =
|; (iii) A = A; y (iv) | | = |.
1.6. Dados |, |, | y |, el operador lineal A y el nmero
complejo , encontrar los adjuntos de las expresiones: (i)
A | |; y (ii) | A | | |. Se puede identificar
un elemento de matriz en dichas expresiones? Se puede
identificar un proyector?
1.7. Sea PN el operador que aplicado al ket | da como resultado su norma. Probar que PN no es lineal.
1.8. Demostrar que tanto el proyector P, dado por (1.23),
como el proyector Pq, dado por (1.27), son operadores lineales e idempotentes.
1.9. La desigualdad de Schwarz establece que si | y | son
dos vectores cualesquiera, se cumple que |||2
| |. Probar dicha desigualdad y mostrar que la
igualdad es vlida si y slo si | y | son proporcionales.
1.3. Bases discretas en el espacio de los estados
Hemos dicho que el espacio de los estados es un espacio
vectorial. Por lo tanto, tal como ocurre en todo espacio vectorial, es posible escoger una base en el espacio . En esta seccin
28
(1.28)
(1.29)
(1.30)
MECNICA CUNTICA
29
(1.31)
(1.32)
donde I es el operador identidad. Esta ltima relacin, denominada de clausura o cierre, desempea un papel fundamental en
mecnica cuntica. Es asimismo fcil mostrar que, si se cumplen las condiciones de ortonormalizacin (1.28) y de clausura
(1.32), cualquier vector de estado | puede escribirse en la
forma (1.29). Lo cual implica que el conjunto numerable {|uj}
es una base discreta en el espacio de los estados si y slo si
los vectores |uj cumplen con las condiciones de ortonormalizacin y clausura.
A continuacin veamos la expresin del producto escalar
de dos vectores | y | en trminos de sus componentes en
una base particular {|uj}. Si
| = j bj |uj
(1.33a)
| = k ck |uk
(1.33b)
(1.34)
30
una funcin de onda como en los casos en que tal representacin no existe. En particular, el cuadrado de la norma de | es
| = j |cj|2
(1.35)
Para concluir esta seccin, volvamos a destacar la analoga entre el espacio y el espacio ordinario SO(3) resumida en
la Tabla 1.1:
- El conjunto numerable de kets ortonormalizados {|uj} desempea un papel similar al conjunto de versores {e1, e2, e3}.
- Se cumplen las condiciones de ortonormalizacin: como los
versores e1, e2 y e3, los vectores |uj estn normalizados y son
ortogonales entre s.
- Se cumple la relacin de clausura: si se aplica el operador
j |uj uj| a cualquier vector | del espacio , se obtiene
nuevamente el vector |; si se aplica el operador (e1 e1.
+ e2 e2. + e3 e3.) a cualquier vector V del espacio ordinario, se obtiene nuevamente el vector V. En ambos casos la
suma de la totalidad de los proyectores a vectores normalizados y ortogonales entre s es la unidad.
- Del mismo modo que cualquier vector V del espacio ordinario se puede expresar en trminos de sus componentes V1, V2
y V3 en la base {e1, e2, e3}, cualquier vector | del espacio
se puede expresar en trminos de sus componentes cj en la
base {|uj}.
- En el espacio ordinario, la componente Vj de V es el producto escalar ej.V; en el espacio , la componente cj de | es el
producto escalar uj|.
MECNICA CUNTICA
31
Preguntas y ejercicios
1.10. Demostrar que el coeficiente cj que figura en la expresin
(1.29) est dado por (1.30).
1.11. Verificar que si se cumplen las condiciones de ortonormalizacin (1.28) y de clausura (1.32), cualquier vector de
estado | puede escribirse en la forma (1.29).
32
w()|w() = ()
(1.36)
(1.37)
(1.38)
(1.39)
de donde se obtiene
d |w() w()| = I
(1.40)
MECNICA CUNTICA
33
| = d c() |w()
(1.41a)
(1.41b)
= d b*() c()
(1.42)
y el cuadrado de la norma de | es
| = d |c()|2
(1.43)
34
Tabla 1.1.
Analoga entre la base del espacio ordinario SO(3), la base discreta
{|uj} y la base continua {|w(
)}
Espacio SO(3)
Base
Ortonormalizacin*
Clausura
discreta: {|uj}
ej .ek = jk
uj|uk = jk
j ej ej. = I
j |uj uj| = I
V = j Vj ej
| = j cj |uj
| = j bj |uj
Componentes
W = j Wj ej
Vj = ej.V
Producto
escalar
V.W = j VjWj
| = j bj*cj
Expresin
del vector
cj = uj|
Espacio
continua: {|w()}
w()|w() = ()
d |w() w()| = I
| = d c() |w()
| = d b() |w()
c() = w()|
| =
d b*() c()
Para finalizar esta seccin, subrayemos que nuestro anlisis presupone que a cada valor del ndice le corresponde un
nico vector |w(). Si esta ltima condicin no se cumple, es
necesario tomar en cuenta que el nmero de estados en el intervalo d es dN() = () d, donde () es la correspondiente
densidad de estados.
Preguntas y ejercicios
1.12. Mostrar que el coeficiente c() que figura en la expresin
(1.37) est dado por (1.38).
MECNICA CUNTICA
35
1.13. Verificar que si se cumplen las condiciones de ortonormalizacin (1.36) y clausura (1.40), cualquier vector de estado | puede escribirse en la forma (1.37).
(1.44)
(1.45)
(1.46)
podemos afirmar que los kets del conjunto {|r0} cumplen con
las condiciones de ortonormalizacin de las bases continuas
dadas por (1.36).
36
(1.47)
(1.48)
(1.49)
(1.50a)
| = d3r (r) |r
(1.50b)
de donde
MECNICA CUNTICA
37
(1.51)
(1.52)
Nuestro segundo ejemplo de base continua ser el conjunto de funciones que representan las ondas planas de vectores de
onda p0/, donde es la constante de Planck dividida entre 2.
Como en este caso se asocia el ket |p0 a la funcin wpo(r) =
(2)3/2 exp[(i/)p0.r] (donde i es la unidad imaginaria), podemos escribir
|p0 wpo(r) = (2)3/2 exp[(i/)p0.r]
(1.53)
(1.54)
(1.55)
38
(1.56)
(1.57)
(1.58)
En el ltimo miembro de (1.58) figura la transformada de Fourier de la funcin de onda (r). Esto es, la transformada de
Fourier de la funcin de onda (r), que ser denotada por (p),
es la representacin {|p} del vector |. La transformada (p)
y la antitransformada (r) cumplen con las siguientes relaciones
(p) = p|
(1.59a)
(r) = r|
(1.59b)
MECNICA CUNTICA
= (2)3/2 exp[(i/)p0.r0]
39
(1.60)
(1.61)
(1.62)
Preguntas y ejercicios
1.14. Es legtimo intercambiar los factores |r0 y r0| como
se ha hecho en (1.48)?
1.15. Discutir la afirmacin La componente de | en |r0 (un
ket de la base {|r0}) es el nmero complejo dado por el
valor que toma la funcin de onda (r) en el punto r0.
Cuntas componentes tiene el vector de estado | en la
base {|r0}?
1.16. Mostrar que cualquier funcin de onda puede escribirse
como una combinacin lineal de las deltas de Dirac centradas en los distintos puntos r0 del espacio ordinario.
40
(1.63)
donde (p) y (p) son, respectivamente, las transformadas de Fourier de (x) y (x). Utilizar esta relacin para
probar la validez de las ec. (1.61) y (1.62) en el caso unidimensional.
1.21. Encontrar las expresiones de las ecuaciones que figuran en
la cuarta columna de la Tabla 1.1 (i) en el caso en que los
|w() corresponden a deltas de Dirac centradas en los
distintos puntos r0 del espacio ordinario; y (ii) en el caso
en que los |w() corresponden a ondas planas.
MECNICA CUNTICA
41
u1|
u2|
uj|
(1.64a)
(1.64b)
(1.65a)
que es una expresin anloga a la del vector V del espacio ordinario que figura en la Tabla 1.1 y que puede escribirse
42
V V1 V 2 V 3
(1.65b)
(1.66)
A11
A21
Aj1
A12
A22
Aj2
A1k
A2k
Ajk
(1.67a)
MECNICA CUNTICA
43
Tomando en cuenta la ec. (1.14), se muestra que la representacin matricial del adjunto de A se escribe
A11
A12
A1j
A21
A22
A2j
Ak1
Ak2
Akj
(1.67b)
(1.68a)
44
la restriccin de | al subespacio q es
q| = | Pq
(1.68b)
(1.68c)
Preguntas y ejercicios
1.22. Dada la base {|u1, |u2, |u3}, escribir las expresiones matriciales (i) de | = (1/2) |u1 + (1/2) |u2 y | =
(1/2) |u2 + (1/2) |u3; (ii) de | y |; (iii) del producto
|; y (iv) de los operadores | | y | |. Es alguno de estos operadores un proyector?
1.23. Aplicar los operadores | | y | | definidos en el
ejercicio anterior y escritos en forma matricial, a | (un
ket genrico expresado tambin en forma matricial). Qu
comentarios puede hacer sobre el resultado?
1.24. Partiendo de la ec. (1.14), mostrar que la representacin
matricial del adjunto de A est dada por (1.67b).
MECNICA CUNTICA
45
46
uj|ul = jl
(1.69a)
j |uj uj| = I
(1.69b)
vk|vm = km
(1.69c)
k |vk vk| = I
(1.69d)
(1.70a)
uj | = k uj |vk vk|
(1.70b)
MECNICA CUNTICA
47
(1.71a)
y recprocamente
|uj = k |vk vk|uj
(1.71b)
(1.72a)
(1.72b)
Preguntas y ejercicios
1.27. La traza del operador A expresada en la base {|uj} es
j uj| A |uj y en la base {|vk} es k vk| A |vk. Probar
que j uj| A |uj = k vk| A |vk.
1.28. Mostrar que las componentes de | en las bases {|uj} y
{|vk} se relacionan como explicitan las ec. (1.70).
1.29. Probar que se cumplen las ec. (1.72).
48
(1.73)
MECNICA CUNTICA
49
(1.74)
50
(1.75)
(1.76)
MECNICA CUNTICA
51
A efectos de ilustrar los conceptos que acabamos de presentar, consideremos el proyector elemental P = | |. Su
ecuacin de autovalores P | = | puede escribirse en la
forma
(| |) | = | | = |
(1.77)
Preguntas y ejercicios
1.31. Demostrar que toda combinacin lineal de los autovectores del operador lineal A correspondientes a un mismo autovalor es tambin un autovector de A correspondiente
a , y que la combinacin lineal de dos autovectores de A
correspondientes a dos autovalores diferentes y no es
un autovector de A.
1.32. Suponer que | = c1 |u1 + c2 |u2 representa el estado de
un sistema. Si | = ei (c1 |u1 + c2 |u2) y | = c1 ei |u1
+ c2 ei |u2 donde y son dos nmeros reales y distintos, (i) representan | y | el mismo estado del sistema? y (ii) representan | y | el mismo estado del sistema?
52
(1.78)
(1.79a)
(1.79b)
MECNICA CUNTICA
53
Este es un sistema de N ecuaciones lineales y homogneas donde figuran las N incgnitas c1, c2,... , cN, y la incgnita ; en
total, N+1 incgnitas. Para resolver dicho sistema se necesita
una ecuacin adicional. Adems, para que tal sistema tenga una
solucin no trivial es necesario que el determinante de los coeficientes de ck se anule. Por lo tanto, debe cumplirse que
A11
A12
A21
A22
AN1
AN2
A1N
A2N
=0
(1.80)
ANN
(1.81)
54
k (Ajk 1 jk) ck = 0
(1.82)
0
0
1
(1.83)
MECNICA CUNTICA
=0
55
(1.84)
Las races de esta ecuacin son 1 = a (simple) y 2 = a (doble). Por lo tanto, el espectro de A consta de dos autovalores: 1
= a (g = 1) y 2 = a (g = 2).
cribe
1 0
0 0
0 1
c1
c1
c2 = a c2
c3
c3
(1.85)
(1.86)
56
0
a 1
0
1 0
0 0
0 1
c1
c1
c2 = a c2
c3
c3
(1.87)
(1.88a)
(1.88b)
(1.88c)
donde d1 y d2 pueden tomar cualquier valor; en este ltimo anlisis hemos utilizado la notacin usual para dos autovectores
correspondientes al mismo autovalor; ver seccin 1.8. Todos los
vectores |2 pertenecen al autosubespacio correspondiente al
autovalor 2 = a; ver Fig. 1.3.
MECNICA CUNTICA
57
Preguntas y ejercicios
1.34. Dado el operador lineal A y la base {|uj}, indicar cules
de los elementos que figuran en las ec. (1.79) se suponen
conocidos.
1.35. La ecuacin caracterstica (1.80) puede expresarse en la
forma D (A I) = 0, donde D significa determinante
de. Utilizando esta expresin, mostrar que las soluciones
de la ecuacin caracterstica no dependen de la base elegida.
58
1.36. Verificar que tanto [P |] como [(I P) |] son autovectores del proyector elemental P = | | respectivamente correspondientes a los autovalores = 1 y = 0.
(1.89)
Cabe destacar que estos operadores tienen dos propiedades remarcables: (i) los autovalores de un operador hermtico son
reales; y (ii) dos autovectores de un operador hermtico correspondientes a dos autovalores diferentes son ortogonales
entre s.
Para demostrar que los operadores hermticos gozan de la
propiedad (i), proyectamos sobre | la ecuacin de autovalores
de A dada por (1.73). Resulta
| A | = |
(1.90a)
(1.90b)
MECNICA CUNTICA
| A | = * |
59
(1.90c)
(1.91)
A | = |
(1.92a)
A | = |
(1.92b)
donde | (|) es un autovector de A correspondiente al autovalor ( ). Tomando en cuenta la regla general para obtener el adjunto de una expresin y puesto que A = A y * =
(* = ), resulta
| A = | A = |
(1.93a)
| A = | A = |
(1.93b)
(1.94a)
60
| A | = |
(1.94b)
(1.95)
Preguntas y ejercicios
1.37. Probar que el proyector Pq dado por (1.27) es hermtico.
1.38. Dado el operador B = A |u v|, donde es un nmero
complejo y A un operador no hermtico, es B un operador hermtico? Si fuera real y A hermtico, sera B un
operador hermtico?
1.11. Observables
Entre los operadores hermticos, los denominados observables desempean un papel fundamental en mecnica cuntica.
A efectos de introducir este concepto, consideremos, en primer
lugar, un operador lineal y hermtico A cuyo espectro es ntegramente discreto. Denotaremos por n (n = 1, 2,) sus autovalores, por gn la degeneracin del autovalor n y por |nj (j = 1,
2,... , gn) un nmero gn de autovectores de A que son linealmente independientes y pertenecen al autosubespacio n (de dimen-
MECNICA CUNTICA
61
(1.96)
(1.97)
(1.98)
62
(1.99)
(1.100)
donde Pn = j |nj nj| es el proyector al autosubespacio correspondiente al autovalor n. Por ejemplo, en trminos de sus
autovalores, el proyector P se escribe P = 1 P + 0.
Hemos dicho que los autovectores |nj de A constituyen
una base en el espacio de los estados . La representacin del
observable A en dicha base es la matriz diagonal dada por
MECNICA CUNTICA
1
0
0
0
0
1
0
0
0
0
1
0
63
0
0
0
2
n 0
0 n
(1.101)
64
1 0 0
A = a 0 1 0
0 0 1
(1.102)
(1.103a)
(1.103b)
(1.104a)
()|() = ( )
(1.104b)
nj|() = 0
(1.104c)
y la relacin de clausura es
n,j |nj nj| + d |() ()| = I
(1.105)
MECNICA CUNTICA
65
Preguntas y ejercicios
1.39. Demostrar que cualquier observable A puede expresarse
como A = n n Pn, donde Pn = j |njnj| es el proyector al autosubespacio correspondiente al autovalor n. Sugerencia: Mostrar que la aplicacin del operador n n Pn
y la aplicacin del operador A a un ket de la base {|nj}
dan el mismo resultado.
1.40. Probar que la representacin de un observable A en la
base de sus autoestados tiene la forma dada por la ec.
(1.101).
1.41. Obtener la expresin (1.101) partiendo de la ec. (1.100).
1.42. Mostrar que el operador A, cuya representacin en la base
{|u1, |u2, |u3} es la matriz Au dada por (1.83), es un observable; y verificar que la representacin A de A en la
base {|1, |21, |22} est dada por (1.102). Qu comentarios pueden hacerse sobre este resultado?
1.43. Sea Sn el operador que representa la componente del espn
S en la direccin del versor n = sen cos x + sen sen y
+ cos z, donde x, y y z son respectivamente los versores
en las direcciones x, y, z; y , son respectivamente los
ngulos polar y azimutal de las coordenadas esfricas en
el espacio ordinario. Tomando en cuenta que S =
(/2) (x x + y y + z z), donde x, y, z son las matrices de Pauli dadas por
0
x = "
1
1
#
0
0
y = "
i
1 0
z = "
#
0 1
i
#
0
(1.106)
66
(1.107a)
y anlogamente
Y |r0 = y0 |r0
(1.107b)
Z |r0 = z0 |r0
(1.107c)
(1.108)
MECNICA CUNTICA
67
(1.109a)
(1.109b)
Px | p0 = px0 |p0
(1.110a)
Py | p0 = py0 |p0
(1.110b)
Pz | p0 = pz0 |p0
(1.110c)
En consecuencia
p| Px | = px p|
(1.111a)
p| Py | = py p|
(1.111b)
p| Pz | = pz p|
(1.111c)
68
(1.112a)
y que
[Px, Px] = [Px, Py] = [Px, Pz]
= [Py, Py] = [Py, Pz] = [Pz, Pz] = 0
(1.112b)
(1.113a)
(1.113b)
MECNICA CUNTICA
69
(1.113c)
(1.114)
Notar que los observables posicin y cantidad de movimiento no conmutan. A partir de estas ecuaciones es posible
deducir las relaciones de Heisenberg que figuran en la versin
formal del principio de incertidumbre.
Finalmente, subrayemos que como los operadores R (X,
Y, Z) y P (Px, Py, Pz) son hermticos, las relaciones
| X | = | X |*
(1.115a)
| Px | = | Px |*
(1.115b)
etc., son vlidas para todo par de vectores (|, |). Y, adems,
que los autovectores |r0 de R que figuran en las ec. (1.107)
cumplen con las condiciones de ortonormalizacin (1.46) y
con la relacin de clausura (1.47); y los autovectores |p0 de P
que figuran en las ec. (1.110) cumplen con las condiciones de
ortonormalizacin (1.55) y con la relacin de clausura (1.56).
En consecuencia, R y P son observables.
70
Preguntas y ejercicios
1.45. Demostrar la validez de la relacin (1.108).
1.46. Mostrar que en la representacin {|r} el operador Px coincide con el operador diferencial (/i) /x. Sugerencias:
(i) Utilizando (1.111a), la relacin de clausura d3p |p p|
= I y (1.59), verificar que
r| Px |
= (2)3/2 d3p exp[(i/)p.r] px (p)
(1.116)
(1.117a)
(1.117b)
MECNICA CUNTICA
71
(1.118)
72
Fig. 1.4. En el caso en que [A, B] = 0: si |1 es un autovector de A correspondiente a un autovalor de A no degenerado, B |1 y |1 son
colineales; si |21 es un autovector de A correspondiente a un
autovalor de A doblemente degenerado, B |21 pertenece al autosubespacio 2 pero no necesariamente es colineal con |21.
Teorema III: Si los observables A y B conmutan, es posible hallar una base en el espacio de los estados cuyos elementos son autovectores comunes a A y B.
Sea A un observable cuyos autovalores n (n = 1, 2,)
tienen orden de degeneracin gn; por simplicidad nos referiremos nicamente al caso en que su espectro es ntegramente discreto. Si |nj es un autovector de A correspondiente al autovalor n, la ecuacin de autovalores de A es
MECNICA CUNTICA
A |nj = n |nj
73
(1.119a)
nj |mk = nm jk
(1.119b)
(1.119c)
B22
0
Bnn
(1.120a)
74
n1| B |ngn
ngn| B |ngn
n2| B |ngn
n3| B |ngn
(1.120b)
Y, por otra, de acuerdo con las ec. (1.100) y (1.101) la representacin de A en la base de sus autovectores {|nj} es
A11
0
0
A22
Ann
(1.121a)
n
0
(1.121b)
o, lo que es lo mismo,
Ann = n In
(1.121c)
MECNICA CUNTICA
75
(1.122)
(lo cual implica que los |nk son tambin autovectores del observable A correspondientes al autovalor n; ver Seccin 1.8).
Una vez obtenidos los |nk y tomando en cuenta las ec. (1.73),
se obtienen las restricciones de Ann y Bnn en la base {|nk}.
Por una parte, la restriccin Bnn escrita en la base de sus
autovectores {|nk} es una matriz diagonal; ver Seccin 1.11.
Y, por otra, como de acuerdo con la ec. (1.121c) la restriccin
Ann es la matriz identidad multiplicada por un nmero, dicha
restriccin no se modifica cuando se cambia de base. Podemos,
en consecuencia, concluir que la base {|nk} es comn a Ann y
Bnn. Procediendo del mismo modo en los distintos subespacios
n (n = 1, 2,...), se obtiene una base comn a los observables A
y B, que es la base en la cual las representaciones de ambos
observables son diagonales. Por lo tanto, queda demostrado el
Teorema III.
76
Preguntas y ejercicios
1.50. Probar que si existe una base de autovectores comunes a
los observables A y B, dichos observables conmutan. Sugerencia: Escribir la representacin matricial de los observables A y B en la base de sus autovectores comunes.
1.51. En la base de los autovectores de Lz, las matrices
Lx = (/2)
0
1
0
1
0
1
0 '
Ly = (/2) '
0
0 '
y
Lz =
1
0
0
0
0
0
0
0
1
0
1
0
0
'
0
(1.123a)
(1.123b)
(1.123c)
MECNICA CUNTICA
77
[A, B] = 0;
(ii)
78
Consideremos, por ejemplo, el caso del tomo de hidrgeno, donde las cantidades fsicas energa, cuadrado del momento angular orbital, y componente z del momento angular
orbital, son respectivamente representadas por los observables
HH (Hamiltoniano), L2 y Lz. Puesto que
[HH, L2] = [L2, Lz] = [Lz, HH] = 0
(1.124)
MECNICA CUNTICA
79
estado para el cual la componente x de la posicin y la componente px de la cantidad de movimiento tomen, al mismo tiempo,
valores bien definidos. En el Tema 2 mostraremos que las cantidades fsicas compatibles pueden ser medidas simultneamente, con tanta precisin como las tcnicas disponibles lo permitan. En cambio, dos cantidades fsicas incompatibles no pueden
ser medidas simultneamente con una precisin que supere un
cierto lmite fijado, no por la tcnica, sino por la teora. En particular, la componente x de la posicin y la componente px de la
cantidad de movimiento, que son cantidades fsicas incompatibles, no pueden ser medidas simultneamente en forma precisa,
tal como establece el principio de incertidumbre.
En muchos casos es til expresar el estado del sistema en
trminos de los autovectores del Hamiltoniano. Si el espectro
del Hamiltoniano es ntegramente no degenerado, la base de sus
autovectores es nica. Esto es lo que ocurre con el Hamiltoniano HO del oscilador armnico simple: puesto que cada autovalor
lleva asociado un nico autovector, la identificacin de un autovalor basta para identificar tambin el correspondiente autovector. Por el contrario, en el caso del Hamiltoniano HH del
tomo de hidrgeno, slo el autovalor correspondiente al estado
fundamental es no degenerado (por simplicidad nos referimos al
tratamiento en el que se ignora el espn). En consecuencia, la
base de los autovectores de HH no es nica.
Se puede remover esta indeterminacin considerando un
conjunto de observables que conmutan de a pares. Por definicin, el conjunto de observables {A, B, C,...} es un conjunto de
observables que conmutan si los observables A, B, C,... satisfacen las relaciones
[A, B] = [B, C] = [C, A] = ... = 0
(1.125)
80
Preguntas y ejercicios
1.54. Las componentes Lx, Ly y Lz del momento angular orbital,
son o no cantidades fsicas compatibles?
1.55. Decir si en el caso del tomo de H los siguientes conjuntos son o no conjuntos de observables que conmutan: (i)
{Lx, Lz}; y (ii) {L2, Lx}. Es alguno de ellos un CC?
1.56. En la base {|u1, |u2, |u3} el operador A est dado por la
ec. (1.83), y el operador B por
1
B(b 0
0
0
1
0
0
0
0
(1.126)
MECNICA CUNTICA
81
(1.127)
(1.128)
(1.129)
(1.130a)
82
(1.130b)
concluimos que
=
(1.131)
(1.132a)
resulta
= = I
(1.132b)
(1.133)
Por lo tanto, los autovalores de son = +1 y = 1. Los autovectores de correspondientes al autovalor +1 satisfacen la
ecuacin
MECNICA CUNTICA
|+ = |+
83
(1.134a)
(1.134b)
y se denominan impares.
Los operadores tambin se clasifican en pares e impares.
Por definicin, un operador par A+ satisface la condicin
A+ = A+
(1.135a)
(1.135b)
(1.136)
84
X |r = x |r = x |r = x |r
(1.137a)
(1.137b)
de donde, como X + X = 0, concluimos que X es un operador impar (la prueba de que las restantes componentes de la
posicin son tambin impares es trivial). De modo similar se
demuestra que tambin las componentes del operador cantidad
de movimiento lineal P son impares. Por el contrario, el operador P2 es par y lo mismo ocurre con el operador que representa
la energa cintica. Si, adems, lo mismo vale para el operador
que representa la energa potencial, el Hamiltoniano resultante
es par. En particular, para todos los potenciales centrales el
Hamiltoniano es par y tiene autofunciones que son tambin
autofunciones de : tales autofunciones son, o pares o impares.
En los temas que siguen utilizaremos con frecuencia esta importantsima propiedad de los Hamiltonianos correspondientes a
los potenciales centrales.
Preguntas y ejercicios
1.57. Mostrar que el ket |r difiere del ket |r. Sugerencia:
Encontrar y comparar las representaciones {|r} de ambos.
1.58. Considerar los operadores = (1/2) (I ). Probar que
ambos son proyectores y que + = + = 0.
MECNICA CUNTICA
85
(1.138)
86
(1.139a)
(1.139b)
|(1) = j cj |uj(1)
(1.140a)
|(2) = k bk |vk(2)
(1.140b)
resulta
| = [j cj |uj(1)] [k bk |vk(2)]
= j,k cj bk |uj(1) |vk(2)
(1.141)
MECNICA CUNTICA
87
(1.142)
(1.143a)
y, anlogamente,
B(2) | = |(1) [B(2) |(2)]
(1.143b)
(1.144a)
88
(1.144b)
(1.145)
(1.146)
(1.147)
MECNICA CUNTICA
89
Preguntas y ejercicios
1.60. Sea un sistema de dos partculas 1 y 2, Sz(1) el operador
que representa la componente z del espn de la partcula 1
y Sx(2) el que representa la componente x del espn de la
partcula 2. Cunto vale [Sz(1), Sx(2)] Son compatibles
las cantidades fsicas correspondientes?
1.61. Escribir los vectores que representan el estado de un sistema de dos partculas de espn 1/2: (i) cuando el estado
de ambas partculas es un autovector de la componente z
del operador que representa su spin; y (ii) en el caso general.
MECNICA CUNTICA
MECNICA CUNTICA
91
TEMA 2.
LOS POSTULADOS DE LA MECANICA
CUANTICA NO RELATIVISTA
2.1. Postulados referidos a la representacin de estados y cantidades fsicas. 2.2. La ecuacin de Schrdinger. 2.3. Sistemas
conservativos. 2.4. Estados estacionarios, constantes de movimiento, frecuencias de Bohr y reglas de seleccin. 2.5. Postulados referidos a la medicin. 2.6. Las predicciones experimentales de la mecnica cuntica. 2.6.1. Medicin de una cantidad
fsica. 2.6.2. Medicin de dos cantidades fsicas compatibles
2.6.3. Medicin de dos cantidades fsicas incompatibles. 2.7. El
operador densidad. 2.8. El operador de evolucin. 2.9. El tratamiento de Heisenberg.
La mecnica clsica, mal llamada elemental, est ntegramente implcita en las leyes de Newton. De hecho, esta teora se reduce a dichas leyes y los resultados que de ellas se derivan, como el teorema del trabajo y la energa, o las leyes de
conservacin de los momentos lineal y angular. Algo similar
ocurre con los postulados de la mecnica cuntica: esta ltima
teora no es ms que el conjunto de sus postulados y los resultados que de ellos se derivan.
A pesar de que existen varias formulaciones de la mecnica cuntica, la que verdaderamente ha dado frutos (y la nica
que actualmente recogen los libros de texto) es la mecnica
cuntica ortodoxa. Otras versiones de la teora, frecuentemente
denominadas interpretaciones de la mecnica cuntica, modi-
92
MECNICA CUNTICA
93
94
MECNICA CUNTICA
95
(2.1)
96
(2.2)
de los estados |j del sistema (donde cj es un nmero complejo) pertenece tambin al espacio y es, asimismo, un posible
estado del sistema.
I.e. El Postulado I establece que los vectores del espacio
describen completamente los estados del sistema; en este punto
la versin del primer postulado que aqu reportamos coincide
con la versin original. Quedan por lo tanto excluidas de la teora todo tipo de variables ocultas destinadas a completarla,
por ejemplo a efectos de asignar al sistema una posicin y una
cantidad de movimiento bien definidas.
Postulado II: A cada cantidad fsica medible A le corresponde un observable A que acta en el espacio de los estados
.
MECNICA CUNTICA
97
Comentarios:
II.a. La versin original del segundo postulado dice: A
cada observable A le corresponde nicamente un operador autoadjunto que acta en . Notemos la diferencia de nomenclatura: en la versin moderna la expresin cantidad fsica medible
reemplaza a la expresin observable de la versin original y
la expresin observable reemplaza a la expresin operador
autoadjunto de la versin original.
Cabe destacar que von Neumann establece una distincin
clara entre lo que l llama observable (algo que se puede observar) y el operador autoadjunto (ente matemtico) que lo representa. Del mismo modo, en la versin moderna de este postulado salta a la vista la distincin entre la cantidad fsica (que se
puede medir) y el observable (ente matemtico) que la representa. No obstante, y a pesar de esta importante diferencia conceptual, con frecuencia los trminos cantidad fsica y observable se utilizan de manera indistinta y, excepcin hecha de la
cantidad fsica energa y del Hamiltoniano (que es el operador
que la representa), se utiliza la misma letra para denotarlos.
II.b. Recordemos que la ecuacin de autovalores del operador A en el caso del espectro discreto es
A |anj = an |anj
(2.3a)
98
anj|amk = nm jk
(2.3b)
n,j |anjanj| = I
(2.3c)
(2.3d)
(2.4)
Esto implica que las nicas cantidades fsicas que pueden tomar
valores perfectamente bien definidos (y esto, slo para ciertos
estados) son aquellas representadas por observables cuyos autovectores son normalizables. Como sealamos en la Seccin 1.8,
el espectro de tales operadores es discreto.
MECNICA CUNTICA
99
(2.5)
(2.6)
(2.7a)
de donde
(A)2 = A2 (A)2
(2.7b)
A = n an j |cnj|2
(2.8a)
A2 = n an2 j |cnj|2
(2.8b)
100
A = an
(2.9a)
A2 = an2
(2.9b)
(A)2 = 0
(2.9c)
II.e. Por simplicidad, en este comentario vamos a referirnos al caso unidimensional. Si el estado del sistema es |, la
desviacin cuadrtica media de la posicin es (X) =
[X2 (X)2]1/2 y la desviacin cuadrtica media de la cantidad de movimiento es (P) = [P2 (P )2]1/2. Es posible
probar que para cualquier estado | se cumple la desigualdad
de Heisenberg
(X) (P) /2
(2.10)
Ntese que, a pesar de que nos recuerda el principio de incertidumbre, esta desigualdad es un resultado de los Postulados I y
II. No es necesario invocar ningn postulado referido a la medicin para demostrarla.
En este punto cabe mencionar que el principio de incertidumbre guarda relacin con el principio de complementaridad,
debido a Bohr. Tomando en cuenta que los objetos tradicionalmente asociados con ondas presentan tambin un comportamiento corpuscular (como la luz en el efecto fotoelctrico) y
que los objetos tradicionalmente asociados con corpsculos
presentan tambin un comportamiento ondulatorio (como los
electrones difractados por un cristal en el experimento de Davisson y Germer), Bohr estableci un principio segn el cual la
descripcin completa de la naturaleza requiere de dos imgenes
que, aunque contradictorias, son complementarias: onda y
MECNICA CUNTICA
101
corpsculo. En opinin de Bohr, los resultados de todo experimento deben necesariamene ser expresados en trminos de dichos conceptos clsicos; y la mejor adecuacin de una o otra
imagen a la descripcin del fenmeno considerado depende del
dispositivo experimental utilizado. Por lo cual, afirma Bohr, es
imposible establecer una separacin completa entre el comportamiento de los objetos atmicos y los instrumentos de medicin utilizados que son, justamente, los que definen las condiciones en las cuales se presenta un fenmeno particular.
Asimismo, mencionemos que Bohr fue tambin el autor
del principio de correspondencia. Por una parte, el xito de la
teora cuntica en el dominio de lo microscpico es indudable;
y, por otra, tambin lo es el xito de las teoras clsicas en el
dominio de lo macroscpico. Sin embargo, es razonable suponer que las leyes de la fsica deberan ser independientes del
tamao de los objetos considerados. Para enfrentar esta contradiccin, Bohr estableci el principio de correspondencia. Segn
este principio, las leyes de la fsica clsica emergen de las de la
mecnica cuntica a medida que aumenta el tamao de los objetos. Ms precisamente, cuando los nmeros cunticos que caracterizan el sistema son elevados, el comportamiento del objeto en cuestin sigue las leyes de la fsica clsica.
Preguntas y ejercicios
2.1. Utilizando las relaciones de Einsteinde Broglie, encontrar la longitud de onda asociada a (i) un electrn; (ii)
un protn; y (iii) un tomo de plata. Suponer que todos
ellos viajan a la velocidad del sonido.
102
0
x = "
1
1
#
0
1
z = "
0
0
#
1
y = "
0 i
#
i 0
(2.11)
MECNICA CUNTICA
103
(2.12)
(2.13)
104
Comentarios:
III.a. Como el vector de estado |(t) depende nicamente del tiempo, podemos escribir d|(t)/dt = |(t)/t. Tomando
la representacin {|r} de la ecuacin (2.13), se obtiene
i (r,t)/t = H(r,t) (r,t)
(2.14)
MECNICA CUNTICA
105
(2.15)
donde t1 y t2 son dos instantes arbitrarios. Este importante resultado se conoce como conservacin de la probabilidad, una expresin que adquiere pleno sentido si admitimos que (t)|(t)
es la probabilidad de encontrar el sistema en algn punto del
espacio ordinario al tiempo t.
III.d. La evolucin del valor medio A , dado por (2.5),
queda determinada por la ecuacin de Schrdinger. En efecto, si
A depende del tiempo
A (t) = (t)| A(t) |(t)
y
(2.16a)
(2.16b)
(2.16c)
III.e. El caso de los observables que representan la posicin R y la cantidad de movimiento P de un sistema es de particular inters. Puesto que ni R ni P dependen explcitamente del
tiempo,
106
(2.17a)
(2.17b)
Si el sistema es una partcula de masa m situada en un potencial escalar que no depende del tiempo, el Hamiltoniano es H
= P2/2m + V(R) y las expresiones anteriores se escriben
(2.18a)
(2.18b)
dR (t)/dt = (1/m) P
(2.19a)
dP (t)/dt =
V(R)
(2.19c)
Preguntas y ejercicios
2.12. Explicar por qu es conveniente reemplazar la derivada
total que figura en la ec. (2.13) por la derivada parcial que
figura en la ec. (2.14).
2.13. Probar que los productos R.P y P.R no son operadores
hermticos. Verificar que, por el contrario, la expresin
MECNICA CUNTICA
107
(2.20)
108
n,j |n n | = I
(2.21a)
(2.21b)
(2.22a)
donde
cnj(t) = nj|(t)
(2.22b)
MECNICA CUNTICA
109
(2.23a)
(2.23b)
(2.24)
(2.25)
110
En suma, la rutina para encarar problemas que involucran sistemas conservativos puede resumirse del siguiente modo: (i) se identifica un conjunto completo de observables que
conmutan (CC) que incluya el Hamiltoniano H del sistema; y
(ii) se resuelven las ecuaciones de autovalores de tales observables. Estas dos operaciones permiten determinar en forma unvoca la base de los vectores |ni que figuran en la ec. (2.25).
El estudio de los sistemas conservativos es de particular
inters pues en muchos problemas prcticos H no depende
explcitamente del tiempo. Ms an, cuando H depende explcitamente del tiempo, se procede a separarlo en dos trminos: H0,
que se supone constante, y W(t), que incluye toda la dependencia temporal. Si este segundo trmino es mucho ms pequeo
que el primero, es usual encarar el problema recurriendo a la
teora de perturbaciones dependientes del tiempo, donde los
autovalores y autovectores del Hamiltoniano constante H0 desempean un papel fundamental.
Preguntas y ejercicios
2.18. Qu se entiende por sistema conservativo en el dominio
de la fsica clsica? Y en el dominio de la mecnica
cuntica? Dar ejemplos de tales sistemas.
2.19. Verificar que en los procesos regidos por la ecuacin de
Schrdinger el valor medio del Hamiltoniano permanece
constante para todo estado del sistema.
2.20. Es posible obtener la ec. (2.23b) a partir de la ec. (2.23a)
sin suponer que H es hermtico?
MECNICA CUNTICA
111
(2.26)
(2.27)
Es importante notar que, como las ecuaciones anteriores involucran solamente un autovalor En, el ket |(t) pertenece al autosubespacio correspondiente a dicho autovalor.
Hay que destacar que los kets dados por las ec. (2.26) y
(2.27) difieren nicamente en un factor global de fase. Como
veremos, el cambio del factor global de fase no cambia las predicciones referidas a las mediciones y diremos que |(t0) y
112
A/t = 0
(2.28a)
[A, H] = 0
(2.28b)
(2.29)
(2.30a)
MECNICA CUNTICA
113
(2.30b)
(2.31a)
(2.31c)
y nn = EnEn.
Adems, si B no depende explcitamente del tiempo, resulta
114
(2.32b)
MECNICA CUNTICA
115
Preguntas y ejercicios
2.22. Qu se entiende por estado estacionario en el dominio de
la fsica clsica? Y en el dominio de la mecnica cuntica?
2.23. Si el espectro del Hamiltoniano H es ntegramente continuo, es posible que el estado del sistema sea un estado
estacionario?
2.24. Probar que si A es una constante de movimiento, la desviacin cuadrtica media (A) permanece constante en
el tiempo, sea cual fuere el estado |(t).
2.25. Es el Hamiltoniano H una constante movimiento? Lo es
la cantidad de movimiento P? Y la posicin R? Responder estas preguntas si el sistema es (i) una partcula libre;
y (ii) un oscilador armnico simple.
2.26. La desviacin cuadrtica media de la cantidad de movimiento (P), se modifica con el tiempo? Y la desviacin cuadrtica media de la posicin (R)? Responder
estas preguntas si el sistema es (i) una partcula libre; y
(ii) un oscilador armnico simple en un estado estacionario.
2.27. Dar una expresin general de las frecuencias de Bohr en
el caso en que el sistema es (i) un oscilador armnico
simple; y (ii) un tomo de H.
116
(2.33)
MECNICA CUNTICA
117
(2.34a)
(2.34b)
(2.35a)
j|k) = () jk
(2.35b)
d j |j j| = I
(2.35c)
(2.36)
(2.37)
118
Postulado V (caso general): Si el espectro de A es parcialmente discreto y parcialmente continuo, y el estado normalizado del sistema es
| = n,j cnj |anj + d j cj() |j
(2.38)
la probabilidad de que el resultado de una medicin de la cantidad fsica A arroje el resultado an est dada por la ec. (2.34) y
la probabilidad de que arroje un resultado comprendido entre
y + d est dada por la ec. (2.37).
Tomando en cuenta las relaciones (2.34) y (2.37), es fcil
probar que el valor medio del observable A es
A = n P(an) an + dP()
(2.39)
MECNICA CUNTICA
119
V.b. En la versin original de la mecnica cuntica (debida a von Neumann) los Postulados IV y V conforman un nico
postulado que contiene todo lo que la teora dice sobre los resultados de una medicin.
V.c. Si se reemplaza el ket | dado por la ec. (2.38) por
el ket | = ei |, donde es un nmero real arbitrario, no se
modifica la probabilidad de que una medicin de la cantidad
fsica A arroje el resultado an; y lo mismo vale para la probabilidad de obtener un resultado comprendido entre y + d.
Por tal razn se dice que dos kets que slo difieren en un factor
global de fase representan el mismo estado.
V.d. En particular, si |(t0) es un estado estacionario de
un sistema conservativo, de acuerdo con la ec. (2.27) |(t) =
exp [i En (t t0)/] |(t0). Como los kets |(t0) y |(t) representan el mismo estado, la probabilidad de obtener el resultado
an cuando se efecta una medicin de la cantidad fsica A no
depende del tiempo.
V.e. Cabe destacar que las probabilidades a las que se refiere este postulado hacen su aparicin si y slo si se efectan
mediciones. A diferencia de la ecuacin de Schrdinger que,
como dijimos, es una ley determinista, el Postulado V no lo es;
por lo tanto es imprescindible recurrir al concepto de probabilidades.
Postulado VI-a (caso discreto): Si se mide la cantidad
fsica A relativa a un sistema en el estado normalizado dado
por la ec. (2.38), y si el resultado de la misma es el autovalor an
situado en la parte discreta del espectro de A, inmediatamente
despus de efectuar la medicin el estado del sistema es la pro-
120
(2.41a)
(2.41b)
(2.42a)
donde P (0, 0 + ) es el proyector al subespacio correspondiente a los autovalores de A comprendidos en el intervalo (0,
0 + ) y
N0 = | P (0, 0 + ) |1/2
(2.42b)
Comentarios:
VI.a. La proyeccin a la que se refiere este postulado recibe tambin el nombre de reduccin y de colapso. Estas expresiones aluden a la desaparicin de parte de las componentes del
MECNICA CUNTICA
121
122
MECNICA CUNTICA
123
Preguntas y ejercicios
2.28. Verificar que si la degeneracin del autovalor an es gn = 1,
la relacin (2.34a) se reduce a P(an) = |an||2.
2.29. Demostrar que las probabilidades dadas por las ec. (2.34)
y (2.37) no se modifican cuando se reemplaza el ket |
(dado por (2.33), por (2.36) o por (2.38)) por | =
ei |, donde es un nmero real arbitrario.
2.30. Tomando en cuenta las relaciones (2.34) y (2.37) probar
que el valor medio del observable A est dado por la ec.
(2.39) y que su desviacin cuadrtica media est dada por
(2.40).
2.31. Sean |nj y |w() los autoestados del Hamiltoniano H de
un sistema conservativo respectivamente correspondientes
a las partes discreta y continua de su espectro. El estado
del sistema al tiempo t es
|(t) = n,j cnj(t) |nj + d c(, t) |w()
(2.43)
124
(2.44)
mostrar que el estado |0 dado por (2.42) es la proyeccin normalizada de | a dicho subespacio.
2.35. Discutir la afirmacin de que los conceptos microscpico y macroscpico desafan las definiciones precisas.
MECNICA CUNTICA
125
(2.45)
126
(2.46a)
(2.46b)
A A
(2.47a)
(A) (A)
(2.47b)
Cabe destacar que las cantidades A y (A), que figuran en los miembros de la derecha de (2.47), son resultados de
clculos; no es necesario efectuar ninguna medicin para obtenerlas. Por el contrario, las cantidades A y (A) son resultados de mediciones. Ntese, asimismo, que si el nmero de me-
MECNICA CUNTICA
127
(2.48a)
(2.48b)
128
(2.49)
donde al menos dos coeficientes cn,p,j con subndices n (p) distintos son no nulos. Como el estado | no es un autovector del
observable A (B), la cantidad fsica A (B) no tiene un valor bien
definido. Sea Pam el proyector al autosubespacio correspondiende al autovalor am. De acuerdo con los postulados de la mecnica cuntica, la probabilidad de que el resultado de la medicin
de A sea am es
P(am) = p,j |cm,p,j|2
(2.50a)
(2.50b)
(2.51a)
(2.51b)
MECNICA CUNTICA
129
(2.52)
130
(2.53a)
(2.53b)
Si primero se mide A y despus B, el vector | se proyecta en primer lugar a un autovector de A y luego a un autovector
MECNICA CUNTICA
131
de B; ver Fig.
g. 2.2(a). Por el contrario,
contra
si primero se mide B y a
continuacin A, el vector | se proyecta en primer lugar a un
autovector de B y luego a un autovector de A; ver Fig. 2.2(b).
Ahora bien, como los autovectores
tovectores de A y B son, en general,
diferentes, el estado del sistema al completar las dos mediciones
depende del orden en que se hicieron. Lo mismo ocurre con las
probabilidades; en general resulta
P(am) Pam(bq) P(bq) Pbq(am)
(2.54)
132
Preguntas y ejercicios
2.36. Comparar probabilidades y frecuencias de resultados de
lanzamientos de una moneda en los siguientes casos: (i) la
moneda se lanza una sola vez y el resultado es cara; (ii)
la moneda se lanza 10 veces y el resultado es 7 caras;
(iii) la moneda se lanza 100 veces y el resultado es 48
caras; (iv) la moneda se lanza 100 veces y el resultado es
75 caras. Qu comentarios puede hacer sobre estos resultados?
2.37. Sean n, l y m respectivamente los nmeros cunticos principal, azimutal y magntico del tomo de H. Si inicialmente el tomo est en el estado | = |n=1, l=0, m=0 y
se mide el cuadrado del momento angular orbital, qu resultados pueden obtenerse y cules son las correspondientes probabilidades? Cul es el estado del tomo inmediatamente despus de efectuar la medicin?
2.38. Si se mide primero la energa y luego el cuadrado del
momento angular orbital de un tomo de H en el estado
| = |n=1, l=0, m=0, qu resultados pueden obtenerse
y cules son las correspondientes probabilidades? Cul
es el estado del tomo inmediatamente despus de efectuar las mediciones? Cambia alguno de estos resultados
si las mediciones se efectan en orden inverso?
2.39. Si el estado inicial del tomo de H es
MECNICA CUNTICA
133
(2.55)
(2.56)
134
cul es el estado del tomo al completar ambas mediciones? Qu ocurre si las mediciones se efectan en orden
inverso y se obtienen los mismos resultados?
2.43. Puede alguna de las mediciones referidas desde el ejercicio 2.37 hasta el ejercicio 2.42 ser calificada de proceso
de preparacin de estado?
(2.57)
MECNICA CUNTICA
135
Sea {|m} una base del espacio de los estados del sistema. Si el estado es |(t) = n cn(t) |n, la representacin de
(t) en dicha base es la matriz densidad cuyos elementos son
mn(t) = m|(t) (t)|n = cm(t) cn*(t)
(2.58)
(2.59a)
(2.59b)
(2.60)
(2.61)
y se puede probar que, si en el tiempo t se mide la cantidad fsica A, la probabilidad de obtener el autovalor an es
P(an) = Tr {(t)Pn}
(2.62)
136
donde Pn es el proyector al subespacio correspondiente al autovalor an. Teniendo en cuenta las relaciones que preceden, diremos que en el caso de un estado puro las representaciones del
estado del sistema dadas por el ket |(t) y por el operador
densidad (t) son completamente equivalentes.
(2.63)
(2.64)
MECNICA CUNTICA
137
Los elementos de la diagonal de esta matriz se denominan poblaciones, y los que estn fuera de la diagonal coherencias.
El cuadrado del operador densidad es
2 = (j pj |j j|) (k pk |k k|)
= j (pj)2 |j j|
(2.65)
(2.66a)
(2.66b)
Ahora bien, si el sistema est en un estado mezcla representado por el operador densidad , las correspondientes expresiones del valor medio A y de la probabilidad P(an) de obtener an son
A = Tr {A}
(2.67a)
P(an) = Tr {Pn}
(2.67b)
138
Por lo tanto, tomando en cuenta que si el sistema est en el estado puro |j(t), la ec. (2.61) se escribe
dj(t)/dt = (1/i ) [H(t), j(t)]
(2.68a)
(2.68b)
(2.69a)
(2.69b)
(2.70)
MECNICA CUNTICA
139
(2.71a)
(2.71b)
(2.71c)
(2.72a)
(2.72b)
(2.73)
140
(2.74a)
(2.74b)
(2.75)
donde I(2) es el operador identidad que acta en (2); ver Seccin 1.16. Tomando en cuenta (2.67) se puede escribir
A(1) (S) = Tr {(S) A(1)}
= jkuj(1)| vk(2)| (S) A(1) I(2) |uj(1) |vk(2)
= juj(1)| [kvk(2)| (S) |vk(2)] A(1) |uj(1)
(2.76a)
de donde
A(1) (S) = Tr1 {(1) A(1)}
(2.76b)
MECNICA CUNTICA
141
Preguntas y ejercicios
2.44. N partculas de espn 1/2 estn en el autoestado correspondiente al autovalor /2 del operador Sn referido en el
ejercicio 2.4. Si se mide la componente Sx de cada una de
ellas, qu resultados pueden obtenerse y cules son las
correspondientes probabilidades? Qu valor del promedio de estas mediciones cabe esperar para N elevado?
2.45. Si los estados de las N partculas del ejercicio anterior
estuvieran uniformemente distribuidos en los autoestados
de todos los Sn posibles, esto es, correspondientes a todos
los ngulos en el intervalo (0, ) y en el intervalo (0,
2), qu valor del promedio de mediciones de Sx cabra
esperar para N elevado?
2.46. Verificar las relaciones dadas por (2.59).
2.47. Probar que se cumple la ec. (2.62) para un estado puro (i)
si an es no degenerado; y (ii) si an es degenerado.
2.48. Mostrar que si representa un estado mezcla, se cumple
que Tr = 1 y que Tr 2 < 1.
2.49. Partiendo de las ec. (2.66) obtener las ec. (2.67).
142
(2.77)
MECNICA CUNTICA
143
(2.78)
(2.79)
La expresin de U(t, t0) se obtiene integrando esta ecuacin y tomando en cuenta que, si t = t0, resulta |(t) = |(t0) y
U(t0, t0) = I
(2.80)
(2.81)
(2.82)
(2.83)
144
(2.84)
el operador U(t0, t), que transforma |(t) en |(t0), es el inverso de U(t, t0), y se puede escribir
U(t0, t) = [U(t, t0)]1
(2.85)
de donde
(2.86a)
(2.86b)
En el caso de un sistema conservativo, efectuando la integral en (2.81), el operador de evolucin adquiere la forma sencilla
U(t, t0) = exp [ (i/) H (t t0)]
(2.87)
MECNICA CUNTICA
145
Preguntas y ejercicios
2.53. En un proceso regido por la ecuacin de Schrdinger, el
estado |(t) queda completamente determinado por el estado inicial |(t0). Si definimos |(t) por la relacin
|(t) = U(t, t0) |(t0), es posible que en algn caso resulte |(t) |(t)?
2.54. Sea C = A B, donde A y B son dos operadores unitarios
(esto es, que cumplen con las condiciones A A = B B =
I). Demostrar que C tambin es un operador unitario.
2.55. Sea |nj el autovector del Hamiltoniano de un sistema
conservativo correspondiente al autovalor En y j = 1, 2,
gn (donde gn es la degeneracin de En). Mostrar que aplicando el operador de evolucin U(t, t0) al estado inicial
|(t0) = n,j cnj(t0) |nj, el estado al tiempo t es |(t) =
n,j cnj(t0) exp [i En (t t0)/] |nj. Sugerencia: Desarrollar U(t, t0) en serie de potencias del exponente que figura
en su expresin.
146
(2.88)
donde |S(t0) es el estado inicial y U(t, t0) el operador de evolucin. En el tratamiento de Heisenberg, el estado del sistema se
representa por el ket
|H = U(t, t0) |S(t) = |S(t0)
(2.89)
MECNICA CUNTICA
AS = n an j |anj anj|
147
(2.90)
(2.91a)
que representa la cantidad fsica A en el tratamiento de Heisenberg. Y haciendo |bnj(t) = U(t, t0) |anj, podemos escribir
AH(t) = n an j |bnj(t) bnj(t)|
(2.91b)
148
(2.92)
(2.93)
Preguntas y ejercicios
2.56. Utilizando la ecuacin de Schrdinger, probar que |S(t)
slo puede permanecer constante si el Hamiltoniano del
sistema se anula.
2.57. Probar que las constantes de movimiento de un sistema
conservativo satisfacen la ec. (2.92).
2.58. Dar ejemplos de observables que no dependen explcitamente del tiempo en el tratamiento de Schrdinger. Son
todos ellos constantes de movimiento?
MECNICA CUNTICA
149
150
MECNICA CUNTICA
151
TEMA 3.
ESTUDIO DE DOS SISTEMAS CONSERVATIVOS
3.1. Sistemas en un potencial uniforme: 3.1.1. La partcula libre.
3.1.2. El potencial escaln. 3.1.3. La barrera rectangular y el
pozo rectangular de potencial. 3.2. El oscilador armnico: 3.2.1.
El Hamiltoniano del oscilador armnico simple: algunas propiedades de sus autovalores y autofunciones. 3.2.2. Los operadores de creacin y de destruccin. 3.2.3. Autovalores y autovectores del Hamiltoniano del oscilador armnico simple. El
nmero de ocupacin. 3.2.4. Representacin {|x} de los autovectores del Hamiltoniano. 3.2.5. Evolucin temporal. 3.2.6. El
oscilador armnico tridimensional.
(3.1a)
152
(3.1b)
(3.2a)
i d(t)/dt = E (t)
(3.2b)
y el autovalor E de H es la energa.
Haciendo p = k y E = (donde k y son, respectivamente, el vector de onda y la frecuencia angular; recordar las
relaciones de Einsteinde Broglie), es fcil mostrar que las expresiones de (r) y (t) son
(3.3a)
(t) = exp(it)
(3.3b)
(3.3c)
Esta ltima relacin se denomina de dispersin. En consecuencia, la solucin de la ecuacin de Schrdinger (3.1) es
k(r,t) = k(r) (t) = A(k) exp[i(k.r t)]
(3.4)
MECNICA CUNTICA
153
(3.5a)
donde las integrales previas se extienden a la totalidad del espacio de k. Esta ltima integral recibe el nombre de paquete de
ondas y es usual escribirla as:
(r,t) = (2)3/2 d3p (p) exp{i[(p.r/) t]}
(3.5b)
(3.6a)
(3.6b)
154
(3.7)
(3.8)
MECNICA CUNTICA
155
Preguntas y ejercicios
3.1. Utilizando (3.1) probar que (r) y (t) satisfacen (3.2).
3.2
156
(3.9)
(3.10)
MECNICA CUNTICA
157
Hay que subrayar que en la naturaleza no existen potenciales verdaderamente uniformes por secciones; los casos aqu
tratados son slo aproximaciones tiles para estudiar problemas
como la reflexin y transmisin parciales debidas a la presencia
de un potencial escaln, que son efectos tpicamente cunticos y
no tienen analoga en la mecnica clsica.
Vamos a restringir nuestro anlisis al comportamiento de
las componentes individuales de la funcin de onda que tienen
la energa bien definida E; el del paquete de ondas puede efectuarse en forma ulterior y similar a la detallada en la seccin
previa.
Consideraremos por separado los casos: (i) E > V1 y (ii) 0
< E < V1.
158
(3.11a)
k1 = +[2 m (EV1)]1/2/
(3.11b)
y las frecuencias correspondientes a k0 y k1 son, respectivamente, 0 = k02/2m y 1 = k12/2m. Las ondas con k > 0 viajan
hacia la derecha y las ondas con k < 0 viajan hacia la izquierda.
Como k1 < k0, las ondas viajan ms rpido en la regin x < 0
que en la regin x > 0, y la longitud de onda 0 = 2/k0 es ms
pequea que la longitud de onda 1 = 2/k1.
Si E > V1 la solucin ms general de la ecuacin de
Schrdinger correspondiente al autovalor E del Hamiltoniano H
es
0(x,t) = A0+ exp[i(k0x 0t)]
+ A0 exp[i(k0x 0t)]
(3.12a)
para x < 0 y
1(x,t) = A1+ exp[i(k1x 1t)]
+ A1 exp[i(k1x 1t)]
(3.12b)
MECNICA CUNTICA
159
para x > 0, donde A0+, A0, A1+ y A1 son constantes. Notar que
en las dos regiones se presenta una superposicin de ondas que
viajan en ambos sentidos.
En el problema unidimensional que nos ocupa, la validez
de (3.1b) implica que tanto (x,t) como (x,t)/x son funciones continuas. Por lo tanto
0(0,t) = 1(0,t)
(3.13a)
[0(x,t)/x]x=0 = [1(x,t)/x]x=0
(3.13b)
(3.14a)
(3.14b)
(3.15a)
(3.15b)
160
(3.16)
(3.17a)
MECNICA CUNTICA
161
para x < 0 y
1(x,t) = B1+ exp(1x i1t)
+ B1 exp(1x i1t)
(3.17b)
(3.18)
Por lo tanto, en este caso los coeficientes de reflexin y transmisin estn dados por
(3.19a)
T(E) = 0
(3.19b)
162
Preguntas y ejercicios
3.8. Utilizando las ec. (3.12) y (3.13) probar que se cumple
(3.14).
3.9. Explicar por qu la ec. (3.15b) incluye el factor k1/k0.
Qu ocurrira si se elimina dicho factor?
3.10. Discutir la afirmacin la discontinuidad del potencial
genera una reflexin parcial que es independiente del sentido en el que incide la onda.
3.11. Por qu la solucin 1(x,t) dada por (3.17b) debe estar
acotada para x ?
3.12. Utilizando las ec. (3.17) y (3.13) demostrar que se cumplen las ec. (3.18) y (3.19).
MECNICA CUNTICA
163
(3.20a)
164
para x < 0,
1(x,t) = A1+ exp[i(k1x 1t)]
+ A1 exp[i(k1x 1t)]
(3.20b)
(3.20c)
0(0,t) = 1(0,t)
(3.21a)
1(d,t) = 2(d,t)
(3.21b)
[0(x,t)/x]x=0 = [1(x,t)/x]x=0
(3.21c)
[1(x,t)/x]x=d = [2(x,t)/x]x=d
(3.21d)
se demuestra que los coeficientes de reflexin R(E) y transmisin T(E) estn dados por
R(E) = |A0 / A0+|2
= 2 sen2 (k1d) / [4k02k12) + 2 sen2 (k1d)]
y
(3.22a)
(3.22b)
MECNICA CUNTICA
165
(3.23a)
Fig. 3.3. El coeficiente de transmisin de una barrera o un pozo de potencial para una energa E fija vara en funcin del ancho d. El mximo es TM = 1 y el mnimo es Tm = 4 k02 k12/(k02 + k12)2.
166
para x < 0,
1(x,t) = B1+ exp(1x i1t)
+ B1 exp(1x i1t)
(3.23b)
(3.23c)
R(E) = 1 T(E)
(3.24b)
MECNICA CUNTICA
167
V1 en la expresin de k1 (notar que los coeficientes de reflexin R(E) y de transmisin T(E), dados por (3.22), dependen
del signo de V1). En este caso el pozo se comporta como una
barrera, ya que genera tanto una reflexin como una transmisin que, en general, son parciales; la transmisin total y la reflexin nula slo se presentan para d = n1/2, donde n es un
entero.
Caso iv: Pozo rectangular y V1 < E < 0: espectro de
energa discreto y estados ligados; ver Fig. 3.4. En este caso la
solucin ms general de la ecuacin de Schrdinger correspondiente al autovalor E del Hamiltoniano H es
0(x,t) = B0+ exp(0x i0t)]
+ B0 exp(0x i0t)
(3.25a)
168
(3.25b)
(3.25c)
(3.26a)
MECNICA CUNTICA
169
(3.26b)
(3.26c)
para x > d/2, donde A y B son constantes. Aplicando las condiciones de continuidad
0(d/2,t) = 1(d/2,t)
(3.27a)
1(d/2,t) = 2(d/2,t)
(3.27b)
[0(x,t)/x]x=d/2 = [1(x,t)/x]x=d/2
(3.27c)
[1(x,t)/x]x=d/2 = [2(x,t)/x]x=d/2
(3.27d)
resulta
tg(k1d/2) = 0/k1
(3.28a)
(3.28b)
(3.29a)
(3.29b)
170
(3.29c)
para x > d/2, donde A y B son constantes. Aplicando las condiciones de continuidad (3.27), se obtiene
tg(k1d/2) = k1/0
(3.30a)
(3.30b)
MECNICA CUNTICA
171
(3.31)
Preguntas y ejercicios
3.13. Probar que los coeficientes de reflexin R(E) y de transmisin T(E) estn dados por (3.22), tanto en el caso de
una barrera rectangular como en el de un pozo rectangular
de potencial.
3.14. Imponiendo las condiciones de continuidad (3.21) a las
soluciones (3.23), verificar que el coeficiente de transmisin T(E) est dado por (3.24).
3.15. Obtener el coeficiente de transmisin T(E) reemplazando
k1 por i1 en la ec. (3.24). Discutir la validez de dicho reemplazo.
172
MECNICA CUNTICA
173
3.2.1. El Hamiltoniano del oscilador armnico simple: algunas propiedades de sus autovalores y autofunciones
En el tratamiento clsico del oscilador armnico constituido por una partcula de masa m unida a un resorte de constante k, la ecuacin de movimiento de la partcula es
m d2x(t)/dt + k x(t) = 0
(3.32a)
174
(3.32b)
E = p2/2m + (1/2) m 2 x2
(3.33)
es constante. Esto es, el oscilador armnico simple es un sistema conservativo: cuando aumenta la energa cintica, disminuye la potencial, y viceversa.
Fig. 3.5. El potencial del oscilador armnico V(x) = (1/2) m 2 x2. Las lneas
punteadas indican los tres primeros niveles de energa.
MECNICA CUNTICA
175
(3.34)
(3.35a)
donde se ha omitido el ndice que indica la posible degeneracin del autovalor En porque, como veremos en la Seccin
3.2.4, todos los autovalores de H son no degenerados. La representacin {|x} de esta ltima ecuacin es
[( 2/2m) d2/dx2 + (1/2) m 2 x2] n(x)
= En n(x)
(3.35b)
176
Tal como ocurre con los estados ligados a un pozo de potencial, podemos anunciar que el espectro de H es discreto; ver Seccin 3.1.3.
(ii)
+
X=X
(3.36a)
+
P = (1/ ) P
(3.36b)
= (m / )1/2
(3.36c)
donde
(3.37)
MECNICA CUNTICA
177
y, haciendo
+ = (1/2) (X
+2++
H
P2)
(3.38a)
resulta
+
H=H
(3.38b)
+ tiene la forma
Por lo tanto, la ecuacin de autovalores de H
+ |n = n |n
H
(3.39)
Preguntas y ejercicios
3.23. Una partcula de masa m est sometida a un potencial
V(x) que tiene un mnimo en x = 0. Mostrar que si x es
pequeo, V(x) + x2 y > 0, la ecuacin de movimiento de la partcula tiene la forma dada por (3.32).
3.24. En un circuito L C, la carga del condensador al tiempo t
es Q(t) y su potencial es V(t). Escribir la ecuacin que satisface Q(t) y encontrar su solucin. Cmo varan las
energas almacenadas en el condensador y en la inductancia en funcin del tiempo? Comparar el comportamiento
de este sistema con el de una masa unida a un resorte.
3.25. Obtener la ec. (3.35b) partiendo de la ec. (3.35a).
178
+i+
a = (1/2) (X
P)
++i+
a = (1/2) (X
P)
(3.40a)
(3.40b)
(en la seccin siguiente veremos la razn de estas denominaciones). Hay que subrayar que a es el adjunto de a y que a y a no
son observables; por lo tanto, el Postulado II de la mecnica
cuntica nos dice que no pueden representar cantidades fsicas
medibles.
Se verifica que
[a, a] = 1
(3.41a)
+ = a a + 1/2 = a a 1/2
H
(3.41b)
+2 + +
a a = (1/2) (X
P2 1)
(3.41c)
de donde, haciendo
+ = a a
N
(3.42)
MECNICA CUNTICA
179
y n = n + 1/2, se obtiene
+=N
+ + 1/2
H
+ |n = n |n
N
y
+ , a ] = a
[N
+ , a] = a
[N
(3.43)
(3.44)
(3.45a)
(3.45b)
+ , a] |n = N
+ (a |n) a n |n
a |n = [N
(3.46a)
Por lo tanto,
+ (a |n) = (n + 1) (a |n)
N
(3.46b)
Y, analgamente,
+ (a |n) = (n 1) (a |n)
N
(3.46c)
(3.47a)
|n1 = Cn (a |n)
(3.47b)
180
Preguntas y ejercicios
Fig. 3.6. La restriccin del espacio de Hilbert que subtienden los autovectores |0, |1 y |2. Estos autovectores, que son ortogonales entre s, se pueden obtener los unos de los otros por aplicacin de
los operadores de creacin a y de destruccin a.
MECNICA CUNTICA
181
3.2.3. Autovalores y autovectores del Hamiltoniano del oscilador armnico simple. El nmero de ocupacin
Como la norma de (a |n) no puede ser negativa,
n| a a |n = n n|n 0
(3.48a)
n0
(3.48b)
con
Si n = 0, n = 0 = 1/2, |n = |0
y
a |0 = 0
(3.49)
(3.50a)
(3.50b)
Si n es un nmero entero positivo, el ltimo vector no nulo de esta sucesin es |0; por el contrario, si n no es un nmero entero positivo, se obtienen autovectores correspondientes a
+ , en contradiccin con la conclusin
autovalores negativos de N
de que n 0; ver ec. (3.48). Por lo tanto, los nicos autovalores
+ son enteros no negativos; los nicos autovalores
posibles de N
posibles de H son (n + 1/2) (n = 0, 1, 2,); y su ecuacin de
autovalores (3.35) puede escribirse en la forma
H |n = En |n = (n + 1/2) |n
(3.51)
182
Como anunciamos en la Seccin 3.2.1, el espectro de H es ntegramente discreto y todos sus autovalores son positivos. Vemos, adems, que dos autovalores sucesivos difieren en .
En la Fig. 3.5 se han indicado los tres primeros niveles de
energa del oscilador armnico; en la Fig. 3.6 se ha representado la restriccin del espacio de Hilbert que subtienden los autovectores |0, |1 y |2; y en la Fig. 3.7 el nmero de cuantos
correspondientes a esos estados. Supongamos que inicialmente
el oscilador se encuentra en el estado |0, no hay ningn cuanto
presente y su energa es (1/2) , que es la energa del vaco.
La aplicacin de a transforma |0 en |1 y cambia la energa
correspondiente de (1/2) a (3/2) ; esto es, crea un cuanto
de energa que se suma a la energa inicial del oscilador, por
eso a recibe el nombre de operador de creacin. Obviamente
una segunda aplicacin de a transforma |1 en |2 y agrega un
cuanto adicional a la energa del oscilador, etc. Anlogamente, si el estado inicial del oscilador es |1, la aplicacin de
a transforma |1 en |0 y cambia la energa del oscilador de
(3/2) a (1/2) ; esto es, destruye un cuanto de energa
que se sustrae a la energa inicial del oscilador; por esta razn a
recibe el nombre de operador de destruccin. Por su parte, el
nmero n se denomina nmero de ocupacin del oscilador
armnico ya que se corresponde con la presencia de n cuantos
de energa .
Para obtener las expresiones de los autovectores |0, |1,
|2, que figuran en las sucesiones (3.50), basta con normalizarlos. Suponiendo que |0 est normalizado, resulta
1|1 = |C0+|2 0| a a |0
+ + 1)|0 = |C0+|2 = 1
= |C0+|2 0|(N
(3.52a)
MECNICA CUNTICA
183
Fig. 3.7. Representacin esquemtica del nmero de cuantos correspondientes a los estados |0, |1 y |2 del oscilador armnico. La
aplicacin del operador a transforma |n en |n+1 y agrega un
cuanto a la energa del oscilador; la aplicacin del operador a
transforma |n en |n1 y sustrae un cuanto a la energa del
oscilador.
(3.52b)
De igual modo,
+ + 1)|1 = 2 |C1+|2 = 1
2|2 = |C1+|2 1|(N
(3.53a)
(3.53b)
En general,
+ + 1)| (n1)
n|n = |C(n1)+|2 (n1)|(N
= n |C(n1)+|2 = 1
(3.54a)
184
(3.54b)
(3.55a)
n |n n| = I
(3.55b)
(3.56a)
a |n = n |n1
(3.56b)
(3.57a)
p| a |n = n p,n1
(3.57b)
MECNICA CUNTICA
185
Preguntas y ejercicios
3.31. Un pndulo simple de masa 100 g y longitud 1 m oscila
con una amplitud de 1 cm. (i) Calcular su energa. (ii) Si
un oscilador armnico cuntico tuviera la misma frecuencia y la misma energa, cunto valdra el nmero cuntico n?
3.32. Probar que la separacin entre regiones clsicamente
permitidas y clsicamente prohibidas se sita en:
(i) x = 1 para n = 0; (ii) x =3 para n = 1; (iii) x =5
para n = 2; y (iv) x = 21 para n = 10.
3.33. Por qu se pueden escoger reales y positivas las constantes Cn+ que figuran en (3.52), (3.53) y (3.54)?
3.34. Justificar las afirmaciones de que los autovectores del
Hamiltoniano del oscilador armnico simple cumplen con
las relaciones de ortonormalidad y clausura y constituyen
una base en el espacio de sus estados.
3.35. Probar las ec. (3.56).
3.36. Obtener las ec. (3.57).
3.37. Escribir las restricciones de a y de a al subespacio que
subtienden los autovectores del Hamiltoniano del oscilador armnico |0, |1 y |2.
3.38. Escribir las restricciones de la posicin X y de la cantidad
de movimiento P al subespacio del ejercicio anterior.
186
(3.58a)
(3.58b)
y su solucin es
0j(x) = C exp[(m/2) x2]
(3.59)
MECNICA CUNTICA
187
mismo n, y la aplicacin de an sobre ambos producira los autovectores no colineales |0 y |0. Esto implicara que n = 0 es
tambin un autovalor degenerado, en contradiccin con nuestra
conclusin previa. Queda probado que, tal como afirmamos en
la Seccin 3.2.1, todos los autovalores de H son no degenerados y {H} es un conjunto completo de observables que conmutan (CC).
La normalizacin de 0(x) arroja el resultado
0(x) = (m/)1/4 exp[(m/2) x2]
(3.60)
(3.61a)
(3.61b)
con
188
(3.62a)
(3.62b)
(ii)
(3.63)
(3.64)
MECNICA CUNTICA
189
X2 = ( / 2 m ) (a + a) (a + a)
(3.65a)
P2 = (m / 2) (a a) (a a)
(3.65b)
(3.66)
(3.67a)
= (n + 1/2) m
(3.67b)
(3.67c)
190
Tn = n|(P2/2m)|n = En/2
(3.68a)
Vn = n|V|n = En/2
(3.68b)
Preguntas y ejercicios
3.39. Obtener las ec. (3.60) y (3.62).
3.40. Encontrar la funcin 10(x).
3.41. Verificar las ec. (3.65), (3.66) y (3.67).
3.42. Mostrar que se cumplen las ec. (3.68).
3.43. Probar que Xn,p = n| X |p = 0 si n p 1; Xn,p =
[(n + 1) / 2 m )]1/2 si n = p + 1; y Xn,p = (n / 2 m )1/2
si n = p 1. Comparar estas expresiones de Xn,p con las
obtenidas en el ejercicio 3.38.
3.44. Probar que, si n p 1, Pn,p = n| P |p = 0; si n = p + 1,
Pn,p = i [(n + 1) m /2]1/2; y cuando n = p 1, Pn,p =
i (n m / 2)1/2. Comparar estas expresiones de Pn,p con
las obtenidas en el ejercicio 3.38.
MECNICA CUNTICA
191
(3.69a)
donde
cn(0) = n|(0)
(3.69b)
(3.70a)
(3.70b)
que implican
d2X (t)/dt2 + 2 X(t) = 0
(3.71)
El valor medio de la posicin satisface la ecuacin de un oscilador armnico clsico que oscila con la frecuencia .
192
(3.72a)
Bn,p = n| B |p
(3.72b)
con
(3.73a)
(3.73b)
(3.74)
MECNICA CUNTICA
193
(3.75)
Preguntas y ejercicios
3.45. Sea |(0) = (1/2) |0 + (1/2) |1 el estado inicial de
un oscilador armnico. Encontrar el valor medio de la posicin en el tiempo t. Comparar el resultado con el que se
obtendra si |(0) = |1.
3.46. Repetir el ejercicio anterior en el caso en que el estado
inicial es |(0) = (1/2) |0 + (1/2) ei |1, donde es
una constante real. Cmo depende X (t) de ?
3.47. Sea |(0) = (1/3) |0 + [(2/3)] |1 el estado inicial de
un oscilador armnico. Encontrar el valor medio de la
cantidad de movimiento en el tiempo t. Comparar el resultado con el que se obtendra si |(0) = |1.
194
(3.76)
donde k es una constante. Tal como ocurre en el caso del oscilador armnico simple, la fuerza es restitutiva y su mdulo F es
proporcional a la distancia r que separa la partcula del origen.
Adems, como F depende slo de r, el oscilador es isotrpico.
La fuerza F(r) es generada por el potencial
V (r) = (1/2) k r2
(3.77)
(3.78)
MECNICA CUNTICA
195
(3.79)
(3.80a)
donde
Hx = Px2/2m + (1/2) m 2 X2
(3.80b)
Hy = Py2/2m + (1/2) m 2 Y2
(3.80c)
Hz = Pz2/2m + (1/2) m 2 Z2
(3.80d)
Las tres ltimas ecuaciones dan los Hamiltonianos de tres osciladores armnicos simples cuyas oscilaciones se restringen respectivamente al eje x, al eje y y al eje z.
Sea u uno de los ejes x, y o z; U el observable que representa X, Y o Z; Pu el que representa Px, Py o Pz; y Hu el que re-
196
+
Pu = (1/ ) Pu
+ u = (1/2) (U
+2 + P
+u2)
H
(3.81a)
(3.81b)
(3.81c)
donde
= (m / )1/2
(3.81d)
+i+
au = (1/2) (U
Pu)
++i+
au = (1/2) (U
Pu)
(3.82a)
(3.82b)
La ecuacin de autovalores de Hu es
Hu |nu = (nu + 1/2) |nu
(3.83)
donde nu = 0, 1, 2,; |nu es un autovector de Hu correspondiente al autovalor (nu + 1/2) , y se verifican las siguientes
relaciones
(3.84a)
au |nu = nu |nu1
(3.84b)
MECNICA CUNTICA
197
Sea x (y, z) el espacio de los estados del oscilador cuyas oscilaciones se restringen al eje x (y, z). Los observables X,
Px y Hx actan en x, y los autovectores |nx pertenecen a x.
Anlogamente, los observables Y (Z), Py (Pz) y Hy (Hz) actan
en el espacio de los estados y (z) y los autovectores |ny (|nz)
pertenecen a y (z). El espacio de los estados del oscilador tridimensional es el producto tensorial
= x y z
(3.85)
(3.86)
(3.87)
y la ecuacin de autovalores de H es
H |nx, ny, nz = (n +3/2) |nx, ny, nz
(3.88)
198
(3.89a)
donde
Hx = Px2/2m + (1/2) m x2 X2
(3.89b)
Hy = Py2/2m + (1/2) m y2 Y2
(3.89c)
Hz = Pz2/2m + (1/2) m z2 Z2
(3.89d)
Ntese que si las tres frecuencias x, y y z son distintas, todos los autovalores de H son no degenerados.
Preguntas y ejercicios
3.49. Verificar la validez de la ec. (3.88).
3.50. Probar que la degeneracin de los autovalores de H dado
por (3.88) es gn = (n +1) (n +2)/2.
MECNICA CUNTICA
199
MECNICA CUNTICA
MECNICA CUNTICA
201
TEMA 4.
EL MOMENTO ANGULAR
4.1. El momento angular en mecnica clsica y en mecnica
cuntica: 4.1.1. El momento angular en mecnica clsica. 4.1.2.
El momento angular en mecnica cuntica. 4.1.3. Operadores
de creacin J+ y de destruccin J del momento angular. 4.1.4.
Resultados de la aplicacin de J+ y J a los autovectores de Jz y
J2. 4.1.5. Determinacin de los autovalores de los operadores J2
y Jz. 4.1.6. La base standard. 4.2. El momento angular orbital:
4.2.1. Representacin {|r} del momento angular orbital. 4.2.2.
Autovalores y autofunciones de L2 y Lz. Armnicos esfricos.
4.3. El espn del electrn: 4.3.1. Evidencia experimental. 4.3.2.
Operadores y estados en el espacio del espn. 4.4. Simetras y
leyes de conservacin: 4.4.1. Simetra de traslacin espacial.
4.4.2. Simetra de rotacin. 4.4.3. Simetra de traslacin temporal.
(4.1a)
(4.1b)
202
donde es el torque o momento respecto de O de la fuerza resultante que acta sobre la partcula.
El momento angular, tambin llamado cantidad de movimiento angular, desempea un papel fundamental en mecnica
clsica. Para justificar esta afirmacin, baste recordar que si la
resultante de las fuerzas que actan sobre la partcula est dirigida hacia O, su torque o momento respecto de O es nulo y el
momento angular de la partcula se conserva. En consecuencia,
su movimiento (i) queda restringido a un plano que contiene el
punto O y es perpendicular al momento angular de la partcula;
y (ii) obedece la segunda ley de Kepler.
El momento angular de una partcula es un (pseudo) vector cuyas componentes (escalares) sern denotadas por lx, ly y lz.
Si las componentes de su cantidad de movimiento lineal p son
px, py y pz, las expresiones de lx, ly y lz son
lx = y pz z p y
(4.2a)
ly = z px x pz
(4.2c)
lz = x p y y px
(4.2d)
(4.3a)
se cumple que
dl/dt = k=1N dlk/dt = k=1N k =
(4.3b)
MECNICA CUNTICA
203
Preguntas y ejercicios
4.1. Mostrar que en el dominio de validez de la mecnica
clsica, si las nicas fuerzas que actan sobre una partcula son centrales, su movimiento tiene lugar en un plano
perpendicular al momento angular de la partcula y obedece la segunda ley de Kepler.
4.2. Dar un ejemplo de sistema de varias partculas en el cual
los momentos angulares de algunas de ellas varan y el
momento angular del sistema permanece constante.
(4.4a)
204
Lx = Y P z Z P y
(4.4b)
L y = Z Px X Pz
(4.4c)
Lz = X P y Y P x
(4.4d)
(4.5a)
Anlogamente, se obtiene
[Ly, Lz] = i Lx
(4.5b)
[Lz, Lx] = i Ly
(4.5c)
MECNICA CUNTICA
205
Tomando en cuenta el anlisis que precede, vamos a generalizar el concepto de momento angular como se detalla a
continuacin: Dados los observables Jx, Jy y Jz, diremos que
J = Jx x + Jy y + Jz z
(4.6)
[Jx, Jy] = i Jz
(4.7a)
[Jy, Lz] = i Jx
(4.7b)
[Jz, Jx] = i Jy
(4.7c)
Haciendo
J2 = Jx2 + Jy2 + Jz2
(4.8)
[Jx2, Jx] = 0
(4.9a)
[Jy2, Jx] = i Jy Jz i Jz Jy
(4.9b)
[Jz2, Jx] = i Jy Jz + i Jz Jy
(4.9c)
de modo que
[J2, J] = 0
(4.10)
206
Preguntas y ejercicios
4.3. En el dominio de validez de la mecnica cuntica, es
posible afirmar que una partcula se mueve estrictamente
en un plano (sin salir de l)? Responder la pregunta (i)
tomando en cuenta las desigualdades de Heisenberg; y (ii)
a partir de las relaciones de conmutacin (4.5).
4.4. Cmo escogera las direcciones de los ejes x, y y z al
encarar un problema concreto? Procedera de un modo
diferente del que utiliza en mecnica clsica?
4.5. La cantidad fsica representada por el operador Jx, puede
tomar un valor bien definido? Y la cantidad fsica representada por el operador Jy? Pueden las cantidades fsicas
representadas por Jx y Jy tomar valores simultneamente
bien definidos?
4.6. Partiendo de las ec. (4.7) y (4.8) probar las ec. (4.9) y
(4.10).
J+ = Jx + i J y
(4.11a)
J = Jx i Jy
(4.11b)
MECNICA CUNTICA
207
[Jz, J+] = J+
(4.12a)
[Jz, J] = J
(4.12b)
[J+, J] = 2 Jz
(4.12c)
(4.12d)
(4.13a)
(4.13b)
(4.14)
208
Notemos que los operadores Jx, Jy, Jz, J+ y J actan en el espacio de los estados del sistema, un espacio de Hilbert que difiere
del espacio ordinario SO(3); ver Secciones 1.1 y 1.2.
Preguntas y ejercicios
4.7. Decir si los operadores Jx, Jy y Jz son o no observables.
Lo son los operadores J+ y J dados por (4.11)? Justifique sus afirmaciones.
4.8. Utilizando las definiciones (4.11), mostrar que se cumplen las relaciones (4.12), (4.13) y (4.14).
J2 |n, , m = 2 |n, , m
(4.15a)
Jz |n, , m = m |n, , m
(4.15b)
MECNICA CUNTICA
209
(4.16)
(4.17)
(4.18)
(4.19)
210
(4.20a)
(4.20b)
J2 (J |n, , m) = 2 (J |n, , m)
(4.20c)
y que
Esto es, el ket (J+ |n, , m) es un autovector comn a los observables Jz y J2, respectivamente correspondiente a los autovalores (m + 1) y 2; y el ket (J |n, , m) es un autovector
comn a los observables Jz y J2, respectivamente correspondiente a los autovalores (m 1) y 2. La aplicacin de J+ a
un autovector de Jz correspondiente al autovalor m lo transforma en un autovector de Jz correspondiente al autovalor
(m + 1) , y la de J lo transforma en un autovector de Jz correspondiente al autovalor (m 1) . Por lo tanto, podemos escribir
(4.21a)
(4.21b)
MECNICA CUNTICA
211
Preguntas y ejercicios
4.9. Probar que los nmeros y m que figuran en las ec.
(4.15) son adimensionales.
4.10. Demostrar que las ec. (4.20b) y (4.20c) son vlidas.
4.11. Verificar que las constantes C+(n, , m) y C(n, , m) que
aparecen en las ec. (4.21) son adimensionales.
212
(4.22a)
Aplicando el operador J a ambos miembros de la ecuacin anterior y tomando en cuenta la ec. (4.13b), resulta
J J+ |n, , j = (J2 Jz2 Jz) |n, , j
= ( j2 j) |n, , j = 0
(4.22b)
MECNICA CUNTICA
213
de donde
= j (j+1)
(4.23)
(4.24a)
Aplicando el operador J+ a ambos miembros de la ecuacin anterior y en vista de la ec. (4.13a), se obtiene
J+ J |n, , j = (J2 Jz2 + Jz) |n, , j
= ( j2 + j) |n, , j = 0
(4.24b)
En consecuencia,
= j (j1)
(4.25)
Para que el sistema de las ec. (4.23) y (4.25) tenga solucin, es necesario que sea (i) j = j o (ii) j = j+1 > j; pero la
segunda opcin es inadmisible porque implica que el mnimo m
en el autosubespacio (n, ) supera el mximo (que es j). Por lo
tanto, los autovalores de J2 estn dados por
2 = j (j+1) 2
(4.26)
214
(4.27a)
(4.27b)
Ntese que, partiendo de un vector cualquiera |n, j, m, la aplicacin de los operadores de creacin J+ y de destruccin J del
momento angular produce los restantes vectores de la base
{|n, j, m} pertenecientes al autosubespacio (n, j). Esto es, si en
una situacin particular est presente uno de los kets del conjunto {|n, j, j, |n, j, j1, |n, j, j2, |n, j, j}, queda garanti-
MECNICA CUNTICA
215
Fig. 4.2. Accin de los operadores de creacin y de destruccin del momento angular J+ y J en el autosubespacio (n, j = 1).
zada la presencia de todos los otros que pertenecen a dicho conjunto. Por el contrario, la presencia de uno de dichos kets no
garantiza que otros kets con j o n distintos tambin estn presentes.
Como veremos ms adelante, el nmero cuntico j puede
ser asociado tanto con el momento angular orbital, que tiene
una analoga clsica, como con el momento angular intrnseco o
de espn, que no tiene analoga clsica. En el primer caso se
acostumbra reemplazar J por L (y j por l, etc.); y en el segundo
es usual reemplazar J por S (y j por s, etc.); el smbolo J se reserva para el tratamiento general y para la suma de ambos momentos angulares L + S.
216
(4.28a)
o la serie
j = 1/2, 3/2, 5/2,
(4.28b)
Preguntas y ejercicios
4.12. Discutir la afirmacin de que el momento angular J no
puede estar ntegramente contenido en una nica direccin. Dicha afirmacin, sera vlida si dos componentes
cualesquiera del momento angular conmutaran y pudieran
tener valores simultneamente bien definidos? Y sera
vlida si los operadores que representan la posicin y la
cantidad de movimiento conmutaran?
4.13. Si no se toma en cuenta el espn del tomo de H, los observables H, L2 (cuadrado del momento angular orbital) y
Lz (componente z del momento angular orbital) constituyen un CC. Pueden H, L2 y Lz tomar valores simult-
MECNICA CUNTICA
217
(4.29a)
218
podemos escribir
n, j, m| J = C+*(n, j, m) n, j, m+1|
(4.29b)
de donde
n, j, m| J J+ |n, j, m
= |C+(n, j, m)|2 2 n, j, m+1|n, j, m+1
(4.30a)
Por otra parte, en vista de (4.13b), (4.15) y (4.26), se puede afirmar que
n, j, m| J J+ |n, j, m = n, j, m| (J2 Jz2 Jz) |n, j, m
= 2 [j (j+1) 2 m2 2 m 2] n, j, m|n, j, m
(4.30b)
(4.30c)
(4.31a)
(4.31b)
MECNICA CUNTICA
219
Finalmente, teniendo en cuenta la relacin (4.26), escribimos las ecuaciones de autovalores (4.15) en la forma
(4.32a)
Jz |n, j, m = m |n, j, m
(4.32b)
(4.32c)
(4.32d)
Tabla 4.1
Los (2j+1) g(j) vectores de una base standard con un j fijo
Hay (2j+1)
autosubespacios
(j, m).
Cada uno
tiene g(j)
vectores
(j, m = j)
|1, j, j
|2, j, j
|g(j), j, j
(j, m = j1)
|1, j, j1
|2, j, j1
|g(j), j, j1
J J ...
J J ...
J J ...
(j, m)
|1, j, m
|2, j, m
J J ...
J J ...
J J ...
(j, m = j)
|1, j, j
|2, j, j
J J ...
|g(j), j, m
J J ...
|g(j), j, j
220
Hay que destacar que no todas las bases cumplen con las
condiciones previas. Por ejemplo, la base de los autovectores
del operador posicin no es standard.
Preguntas y ejercicios
4.16. Encontrar todos los kets que pueden obtenerse por aplicacin de los operadores L+ y L cuando se parte del estado
|n = 3, l = 2, m = 1 de un tomo de H.
4.17. Probar la validez de la ec. (4.31b).
4.18. Escribir los vectores de la base standart pertenecientes al
subespacio (n = 3, l = 2) del tomo de H. Idem para los
subespacios (n = 4, l = 2) y (n = 5, l = 2).
Lx = (/i) (y /z z /y)
(4.33a)
Ly = (/i) (z /x x /z)
(4.33b)
Lz = (/i) (x /y y /x)
(4.33c)
MECNICA CUNTICA
221
(como es usual, al referirnos al momento angular orbital reemplazaremos J por L, y j por l, etc.).
Frecuentemente puede considerarse que, al menos en
forma aproximada, el sistema tiene simetra esfrica; y ste es,
en particular, el caso de muchos tomos y molculas. Por lo
tanto, es preferible utilizar las expresiones de Lx, Ly y Lz en
coordenadas esfricas. Para efectuar las correspondientes transformaciones, comencemos por recordar que las coordenadas
cartesianas x, y y z de la posicin r de un punto P del espacio
ordinario se relacionan con las coordenadas esfricas r, y a
travs de las ecuaciones
x = r sen cos
(4.34a)
y = r sen sen
(4.34b)
z = r cos
(4.34c)
con r 0, 0 y 0 2; ver Fig. 4.3. Asimismo, utilizando estas coordenadas, el elemento de volumen d = dx dy dz
se escribe
d = r2 dr d
(4.34d)
222
Fig. 4.3
(4.35a)
(4.35b)
Lz = (/i) (/)
(4.35c)
de donde
L2 = 2 [(2/2) + (1/tg) (/) + (1/sen2) (2/2)]
(4.36a)
MECNICA CUNTICA
223
(4.36b)
(4.36c)
= l (l + 1) nlm(r, , )
(4.37a)
(4.37b)
En consecuencia, haciendo
nlm(r, , ) = Rnlm(r) Ynlm(, )
(4.38)
L2 Ynlm(, ) = l (l + 1) 2 Ynlm(, )
(4.39a)
Lz Ynlm(, ) = m Ynlm(, )
(4.39b)
224
(4.39c)
El resultado previo es importante pues muestra que las soluciones de las ecuaciones de autovalores de L2 y Lz no dependen ni
de la funcin radial Rnlm(r) ni del valor particular que toma el
ndice n. Por tal razn, en los problemas que involucran nicamente el momento angular orbital, es usual reemplazar el ket |n,
l, m por el ket |l, m. Subrayemos, asimismo, que las funciones
Ylm(, ) se sitan en el subespacio que hemos denotado por
(, ).
Supongamos que {A, L2, Lz} es un CC. Como en este caso, {|n, l, m} constituye una base en el espacio de los estados,
nlm(r) = r|n, l, m es la representacin {|r} de dichos autovectores en el espacio de los estados del sistema, que puede ser
denotado por (r). Obviamente, (, ) es un subespacio de
(r).
Preguntas y ejercicios
4.19. Mostrar que, en coordenadas esfricas, las expresiones de
los operadores Lx, Ly y Lz estn dadas por las ec. (4.35).
4.20. Verificar que, en coordenadas esfricas, las expresiones
de los operadores L2, L+ y L estn dadas por las ec.
(4.36).
MECNICA CUNTICA
225
(4.40a)
(4.40b)
m() = eim
(4.40c)
con
(4.40d)
(4.40e)
(4.41a)
donde l es no negativo. Esto implica que los nicos valores posibles de l son
l = 0, 1, 2,
(4.41b)
226
(4.42b)
En consecuencia,
ll() = cl (sen)l
(4.42c)
(4.42d)
(4.44a)
MECNICA CUNTICA
227
ei (/ m cot) Ylm(, )
= [l (l+1) m (m1)]1/2 Ylm1(, )
(4.44b)
(4.45a)
(4.46a)
conocida como la ecuacin diferencial de Legendre. La solucin de esta ltima es proporcional al polinomio de Legendre de
orden l
Pl () = (dl/dl) (1 2)l
(4.46b)
228
Resulta
l0 () = cl [dl/d(cos)l] (sen)2l
(4.46c)
(4.47)
MECNICA CUNTICA
229
Fig. 4.4. Diagramas polares de los productos Ylm(, ) [ Ylm(, )]* para
m = l y l 4; notar que m()[m()]* = 1.
Preguntas y ejercicios
4.21. Justificar la afirmacin de que Ylm(, ) = lm() m()
con m() = eim.
4.22. Utilizando la ec. (4.42a) mostrar que se cumple la ec.
(4.42b).
4.23. Mostrar que, si m = 0, la ecuacin de autovalores de L2 es
equivalente a las ec. (4.45).
4.24. Verificar que la ec. (4.46a) es equivalente a las ec. (4.45)
y que su solucin es de la forma (4.46b).
4.25. Obtener todos los armnicos esfricos pertenecientes al
subespacio (l = 2). Utilizando la expresin Y20(, ) =
+(5/16) (3 cos2 1),
230
(4.48)
(4.49a)
(4.49b)
MECNICA CUNTICA
231
232
MECNICA CUNTICA
233
alcalinos. La adopcin de este concepto explica cualitativamente varios fenmenos y, en particular, el hecho de que el nmero
de marcas sobre la pantalla en un dispositivo de Stern-Gerlach
es par. No obstante, cabe destacar que la mera adopcin de este
concepto no explica por qu la distancia entre las marcas es la
que se obtiene experimentalmente. En efecto, reemplazando l
(clsico) por el operador L, la ec. (4.48) puede escribirse en la
forma
ML = gl (q/2me) L
(4.50a)
(4.50b)
con gs = 2.
Preguntas y ejercicios
4.26. Verificar que la ec. (4.48) se justifica en base a los siguientes argumentos clsicos: (i) una espira circular de
radio r y superficie r2 que transporta una corriente I
produce un momento magntico M perpendicular a la superficie de la espira cuyo mdulo es M = I r2; (ii) la corriente generada por un electrn de carga q que se mueve
en un crculo con rapidez v es I = q v/(2 r); y (iii) el
momento angular L de dicho electrn tiene mdulo L =
me v r, donde me es la masa del electrn.
234
S+ = Sx + i S y
(4.51a)
S = Sx i S y
(4.51b)
MECNICA CUNTICA
235
(4.52a)
Sz |s, ms = ms |s, ms
(4.52b)
|s = 1/2, ms = +1/2 = |+
(4.53a)
|s = 1/2, ms = 1/2 = |
(4.53b)
236
+|+ = | = 1
(4.54a)
+| = 0
(4.54b)
|++| + || = I
(4.54c)
(4.55a)
0
1
1
0
0
Sy = /2 /
'
'
0
(4.55b)
(4.55c)
(4.56)
MECNICA CUNTICA
237
(4.57)
(4.58a)
(4.58b)
(4.58c)
(4.58d)
(4.58e)
238
Hemos dicho que ni los kets | ni el ket |s tienen representacin {|r}. No obstante, cuando el vector de estado |
tiene una forma como la dada por (4.57), su representacin
{|r, } (donde = ) puede escribirse en la forma
4, 6 |
[(r)] = /
0
4, |
(4.59)
Preguntas y ejercicios
4.30. Escribir las relaciones de conmutacin de las componentes del espn Sx, Sy y Sz.
4.31. Probar que en el caso del espn se obtienen ecuaciones
equivalentes a las dadas por (4.9) y (4.10).
4.32. Deducir las relaciones anlogas a las (4.12), (4.13) y
(4.14) para el caso del espn.
4.33. Mostrar que las expresiones (4.55) son vlidas.
MECNICA CUNTICA
239
(4.60)
Ahora bien, si el operador A que representa una determinada cantidad fsica no se modifica cuando se opera una transformacin de simetra particular, resulta A | = A |, lo
cual implica que
[, A] = 0
(4.61a)
240
(4.61b)
(4.61c)
MECNICA CUNTICA
241
mismo valor para todas las partculas. Si la traslacin es denotada por r, podemos escribir
rk = rk + r
(4.62)
Llamaremos r al operador asociado a este desplazamiento. La aplicacin de r a la funcin de onda (r1, r2, , rN) la
transforma en (r1, r2, , rN) = (r1+r, r2+r, , rN+r); y
suponiendo que r es pequeo, podemos hacer la aproximacin
(r1+ r, r2+ r, , rN+ r)
= (r1, r2, , rN) + r . kk (r1, r2, , rN)
= (1 + r . kk) (r1, r2, , rN)
(4.63a)
(4.63b)
(4.64)
242
pequea) equivale a sucesivas aplicaciones de r, queda probado que cualquier traslacin que no modifique el Hamiltoniano
conserva el momento lineal del sistema.
(4.65)
(4.66a)
(4.66b)
MECNICA CUNTICA
243
(4.67)
El operador krk x k es proporcional a la suma de los operadores que representan el momento angular de las partculas que
integran el sistema y no depende explcitamente del tiempo. Por
lo tanto, la rotacin
conserva el momento angular del sistema. Adems, como una rotacin arbitraria (no necesariamente
pequea) equivale a sucesivas aplicaciones de (siempre alrededor del mismo eje), queda probado que cualquier rotacin
244
(4.68)
(4.69a)
(4.69b)
de donde
t = exp ( H/i)
(4.69c)
El operador Hamiltoniano representa la energa del sistema. Por lo tanto, si H no depende explcitamente del tiempo,
MECNICA CUNTICA
245
246
MECNICA CUNTICA
247
TEMA 5.
EL ATOMO DE H
5.1. El potencial central: 5.1.1. Hiptesis fundamentales. 5.2. El
tomo de H libre: 5.2.1. El modelo de Bohr. 5.2.2. El Hamiltoniano del tomo de H libre. 5.2.3. Soluciones de la ecuacin
radial. 5.2.4. Nmeros cunticos y degeneracin de los autovalores del Hamiltoniano. Notacin espectroscpica. 5.3. El tomo de H en un campo magntico uniforme: 5.3.1. Modificacin
del Hamiltoniano y rdenes de magnitud de los distintos trminos. 5.3.2. Los trminos paramagntico y diamagntico. 5.4. El
efecto Zeeman: 5.4.1. Modificacin de los niveles de energa.
5.4.2. El momento dipolar del tomo.
248
(5.1a)
se ubica en la posicin
rM = (m1 r1 + m2 r2)/( m1 + m2)
(5.1b)
(5.2a)
est en la posicin
r = r1 r2
(5.2b)
(5.3)
De este modo, el problema de dos partculas se reduce al problema de una partcula sometida a un potencial central (esfricamente simtrico).
En el dominio de la mecnica cuntica, el mtodo del potencial central tiene numerosas aplicaciones: el estudio del to-
MECNICA CUNTICA
249
Preguntas y ejercicios
5.1. Calcular la masa reducida del tritio, del positronio, y del
Li++.
5.2. Decir qu origen tiene la fuerza de interaccin entre las
partculas que componen cada uno de los sistemas referidos en el ejercicio anterior: gravitatorio, elctrico u otro?
Los electrones de los tomos se mueven en rbitas circulares alrededor del ncleo; dicho movimiento es regido
por las leyes de la fsica clsica.
(ii)
250
(5.4a)
MECNICA CUNTICA
251
(5.4b)
su energa total es
E = me v2/2 (q2/40) (1/r)
(5.4c)
(5.4d)
(5.5a)
a = 2/ me e2
(5.5b)
(5.5c)
EI = me e4/22
(5.5d)
252
rn = n2 a
(5.6a)
vn = v0/n
(5.6b)
En = EI/n2
(5.6c)
En la primera rbita, correspondiente al estado fundamental del tomo, n = 1. El radio de esta rbita es el radio de Bohr;
esto es
r1 = a 0,52
(5.7a)
(5.7b)
MECNICA CUNTICA
253
Preguntas y ejercicios
5.3. Explicar cmo el modelo de Bohr del tomo de H contradice los postulados de la mecnica cuntica.
5.4. Tomando en cuenta las definiciones dadas por (5.5), mostrar que las expresiones de rn, vn y En dadas por (5.6) son
vlidas.
5.5. Por qu es razonable llamar energa de ionizacin del
tomo de H a EI?
5.6. Justifique la afirmacin de que los resultados obtenidos
cuando se toma en cuenta el movimiento del protn difieren en menos del 1 por 1000 de los reportados en esta
seccin.
254
Como el potencial V(r) tiene simetra esfrica, el Hamiltoniano no se modifica con ninguna rotacin del sistema; esto
implica que el momento angular L es una constante de movimiento (ver Seccin 4.4.2). Adems, como no estamos tomando
en cuenta el espn, el conjunto {H, L2, Lz} es un CC. Los autovectores comunes a los observables H, L2 y Lz, que denotaremos por |lm, satisfacen las ecuaciones de autovalores
(5.8a)
L2 |lm = l (l + 1) 2 |lm
(5.8b)
Lz |lm = m |lm
(5.8c)
(5.9a)
(5.9b)
MECNICA CUNTICA
255
(5.9d)
(5.10a)
L2 lm(r, , ) = l (l + 1) 2 lm(r, , )
(5.10b)
Lz lm(r, , ) = m lm(r, , )
(5.10c)
Por lo tanto, haciendo lm(r, , ) = Rlm(r) Ylm(, ) (ver Secciones 4.2.1 y 4.2.2), se obtiene
L2 Rlm(r) Ylm(, ) = l (l + 1) 2 Rlm(r) Ylm(, ) (5.11a)
y
(5.11b)
Ahora bien, puesto que tanto L2 como Lz actan nicamente sobre la parte angular de las funciones que representan el
estado del sistema, podemos escribir estas ltimas ecuaciones
en la forma
L2 Ylm(, ) = l (l + 1) 2 Ylm(, )
(5.12a)
Lz Ylm(, ) = m Ylm(, )
(5.12b)
256
Tomando en cuenta las ec. (5.9d) y (5.10), vamos a expresar la ecuacin de autovalores del Hamiltoniano en la forma
( 2/2r) (2/r2) [rRlm(r)] Ylm(, )
+ (1/2r2) l (l + 1) 2 Rlm(r) Ylm(, )
+ V(r) Rlm(r) Ylm(, )
= Elm Rlm(r) Ylm(, )
(5.13a)
(5.13b)
Preguntas y ejercicios
5.7. Cmo se modificara el tratamiento de esta seccin si el
sistema estuviera constituido por dos partculas de masas
comparables?
MECNICA CUNTICA
257
(5.14a)
(5.14b)
(5.15)
Cuando tratamos el caso del pozo rectangular de potencial, vimos que, cuando la energa no supera la profundidad del
pozo, esto es, si la regin clsicamente permitida abarca slo
una parte del eje, el espectro de autovalores del Hamiltoniano es
discreto; y que, por el contrario, si la energa supera dicha profundidad, los autovalores del Hamiltoniano se sitan en un continuo; ver Seccin 3.1.3. Esta es una caracterstica de todos los
sistemas cunticos y, en particular, del tomo de H (cuyo potencial efectivo es el de un pozo no rectangular). Esto implica
que, en el caso que nos ocupa, si E < 0, el espectro del Hamiltoniano es discreto y tenemos estados ligados; y si la energa es
258
Fig. 5.1. Representacin del potencial efectivo Vef(r) del tomo de H cuando l > 0. El espectro de Hamiltoniano es discreto para E < 0 y
contnuo para E > 0. En el primer caso, la regin clsicamente
permitida abarca el intervalo (r2 , r3); en el segundo, el intervalo
(r1 , )
MECNICA CUNTICA
259
(5.16a)
(5.16b)
(5.16c)
(5.17)
260
= r/a
(5.18a)
l = +( El/EI)
(5.18b)
(5.19)
(5.20)
MECNICA CUNTICA
261
k ck (k + l + 1) (k + l) k+l1 2l k ck (k + l + 1) k+l
l (l + 1) k ck k+l1 + 2 k ck k+l = 0
(5.21)
(5.22a)
c1 (l + 2) (l + 1) 2l c0 (l + 1)
l (l + 1) c1 + 2 c0 = 0
y
(5.22b)
ck (k + l + 1) (k + l) 2l ck1 (k + l)
ck l (l + 1) + 2ck1 = 0
(5.22c)
(5.23a)
(5.23b)
donde
gk = (2l)k/k!
(5.23c)
262
De modo que, si k ,
gk/gk1 = 2l/k
(5.23d)
Como en el lmite k , ck/ck1 coincide con gk/gk1, concluimos que, en dicho lmite,
k ck k+l exp(2l)
(5.24a)
(5.24b)
(5.25a)
de donde
[ 2l ( + l) + 2] c1 = 0
(5.25b)
(5.25c)
MECNICA CUNTICA
El = EI/( + l)2
263
(5.26a)
con = 1, 2, 3,; l = 0, 1, 2, (ver Seccin 4.2.2); y las autofunciones de la ecuacin radial son
l() = (l+1) [k=0 ck k] exp(l)
(5.26b)
Preguntas y ejercicios
5.9. Discutir el significado del grfico que aparece en la Fig.
5.1.
5.10. Verificar la validez de la relacin dada por la ec. (5.16b).
5.11. Por qu debe ser descartada la solucin de la ec. (5.17)
que diverge en el infinito?
5.12. Tomando en cuenta las ec. (5.14b) y (5.18), deducir la ec.
(5.19).
5.13. Partiendo de la ec. (5.19), verificar que se cumplen las ec.
(5.21) y (5.22).
(5.27a)
264
(5.27b)
(5.27c)
(5.27d)
(5.28)
MECNICA CUNTICA
265
(5.29)
266
(5.30a)
(5.30b)
MECNICA CUNTICA
267
Fig. 5.3. Los primeros niveles de energa del tomo de H: 1s (n=1, l=0); 2s
(n=2, l=0), 2p (n=2, l=1); 3s (n=3, l=0), 3p (n=3, l=1), 3d (n=3, l=2);
4s (n=4, l=0), 4p (n=4, l=1), 4d (n=4, l=2) y 4f (n=4, l=3).
(5.31a)
(5.31b)
268
(5.32)
Preguntas y ejercicios
5.14. Explicar en forma detallada por qu la funcin Rnl(r) es
no nula en el origen si l = 0 y se anula en los restantes
casos (ver Fig. 5.2).
Tabla 5.1
Autofunciones normalizadas comunes a H, L2 y Lz
Nivel 1s
Nivel 2s
Nivel 2p
MECNICA CUNTICA
269
(5.33)
270
Sea q la carga y me la masa del electrn. Tal como hicimos antes, no tomaremos en cuenta su espn. En presencia del
campo magntico generado por A(r), el Hamiltoniano del tomo es
H = (1/2 me) [P qA(R)]2 + V(R)
(5.34)
(5.35)
(5.36)
(5.37a)
(5.37b)
H1 = (q/2 me) B . L
(5.37c)
H2 = (q2/8 me) B2 R2
(5.37d)
con
MECNICA CUNTICA
271
No es difcil mostrar que, si E0, E1 y E2 son respectivamente los valores estimados de H0, H1 y H2 cuando el tomo de
H se encuentra en un autoestado del Hamiltoniano, los rdenes
de magnitud de dichas cantidades satisfacen las relaciones
E2 << E1 << E0
(5.38)
Preguntas y ejercicios
5.18. Verificar que el campo magntico B deducido de la ec.
(5.33) es uniforme.
5.19. Si E0, E1 y E2 son respectivamente los valores estimados
de H0, H1 y H2 cuando el tomo de H se encuentra en un
autoestado del Hamiltoniano, cmo justificara las relaciones (5.38)? Sugerencias: (i) Calcular un valor tpico de
E0, E1 y E2 para una induccin elevada como B = 10 tesla
(recordar que tesla = Newton seg/coulomb m); y (ii) Trabajar en el sistema MKS.
(5.39)
272
H1 = M1 . B
(5.40a)
(5.40b)
de donde
H1 = (B/) L . B
(5.40c)
Es importante destacar que M1 es un momento magntico permanente, esto es, no depende de B. El trmino H1 se origina en
el acoplamiento entre dicho momento magntico permanente y
el campo externo B. Por tal razn, H1 se denomina trmino paramagntico.
Ahora bien, si el momento angular es nulo, M1 tambin se
anula y toda la correccin del Hamiltoniano proviene del trmino H2. Haciendo
H2 = M2 . B
(5.41a)
M2 = (q2/8 me) R2 B
(5.41b)
con
MECNICA CUNTICA
273
Preguntas y ejercicios
5.20. Discutir detalladamente la diferencia entre los trminos
para y diamagntico.
5.21. El momento paramagntico M1, apunta siempre en la
direccin del campo magntico?
274
turaleza; pues para obtener un modelo ms adecuado es necesario incluir el parmetro espn. Digamos, de paso, que el efecto
Zeeman que resulta de considerar nicamente el movimiento
orbital del electrn se denomina normal, y que el que resulta
de incluir el espn se denomina anmalo.
Despreciando el trmino diamagntico, el Hamiltoniano
se reduce a
H = H0 + H1
(5.42)
(5.43a)
(5.43b)
Vemos que la accin de B tiene como nico efecto separar los niveles En en tantos subniveles como distintos valores
puede tomar m; ver Fig. 5.4. Pero los autovectores de H son los
mismos que en ausencia de campo.
MECNICA CUNTICA
275
(5.44a)
y su frecuencia angular es
= (E2 E1)/ = (3/4) (EI/)
(5.44b)
276
(5.45)
(5.46)
(5.47a)
(5.47b)
210| Dz |100 = q /3
(5.47c)
= dr r3 R10(r) R21(r)
(5.47d)
con
MECNICA CUNTICA
277
(recordar que R10(r) y R21(r) son respectivamente las partes radiales de las funciones de onda 100(r, , ) y 210(r, , ); ver
Seccin 4.2.2).
Puesto que los valores medios no nulos de las componentes de D involucran slo los autoestados |100 y |21m (donde
m = 0, 1), veamos qu ocurre cuando el estado inicial del sistema es
|(t = 0) = cos |100 + sen |21m
(5.48a)
(5.48b)
(5.48c)
(5.49)
278
Si m = 0,
Dy(t) = Dx(t) = 0
(5.50a)
(5.50b)
(ii)
Si m = 1,
(5.51a)
(5.51b)
Dz(t) = 0
(5.51c)
(iii) Si m = 1,
(5.52a)
(5.52b)
Dz(t) = 0
(5.52c)
donde
L = qB/2
(5.53)
MECNICA CUNTICA
279
280
ubicamos en la direccin z, obtendremos una mezcla de las radiaciones circularmente polarizadas: a la derecha y de frecuencia ( + L) si m = 1, y a la izquierda y de frecuencia ( L)
si m = 1; ver Fig. 5.5.
MECNICA CUNTICA
281
Preguntas y ejercicios
5.22. Si se tomara en cuenta el trmino diamagntico, se modificaran las expresiones de la energa dadas por (5.43b)?
5.23. Probar que 100| D |100 = 21m| D |21m = 0 para todo
par m, m.
5.24. Verificar que 210| Dx |100 = 211| Dz |100 = 0.
5.25. Demostrar que se cumplen las relaciones (5.47b) y
(5.47c), donde est dado por (5.47d).