Professional Documents
Culture Documents
-- ~I
..
...' ,,1
oV- 5APS
y'>~~"'l>
.,,' :;~"
O
~
<ft
'7
;'~o
>,,-~-+-~
ftOJv 51\.1>\
..,
UNIVERSIDAD NACIONAL
DE EDUCACIN A DISTANCIA
I
I
P. Carca Conzlez
J. E. Alvarellos
J. J. Carca Sanz
INTRODUCCIN AL FORMALISMO
DE LA MECANICA CUANTICA
I
Indice General
t
iii
Prefacio
1 INTRODUCCIN
t
I
2 ESPACIOS DE HILBERT
2.1 Introduccin. . . . . . . . . . . . . . . . . . . . . . . .
2.2 Espacios vectoriales o lineales.. . . . . . . . . . . . . .
2.3 Base lineal de un espacio vectorial. . . . . . . . . . . .
2.4 Espacios lineales normados. . . . . . . . . . . . . . . .
2.5 Producto escalar. Ortogonalidad. . . . . . . . . . . . .
2.6 Espacios de Hilbert. Bases ortonormales.. . . . . . . .
2.7 Isomorfismosentre espacios de Hilbert.* . . . . . . . .
2.8 Operadores lineales en un espacio de Hilbert. . . . . .
2.9 Operador adjunto. Operadores hermticos y unitarios.
2.10 Representacin matricial de un operador. ............
2.11 Proyectores. Proyeccin ortogonal. . . . . . . . . . . .
2.12 Autovalores y autovectores. . . . . . . . . . . . . . . .
2.13 Espectro de los operadores hermticos. . . . . . . . . .
2.14 Forma espectral de un operador hermtico.. . . . . . .
2.15 El problema de los autovalores continuos.
. .
2.16 Conmutadores. Conjunto compatible de operadores. .
2.17 Producto tensorial de espacios de Hilbert. * ...........
2.18 La notacin de Dirac. .......................
2.19 Apndice: La delta de Dirac. ...................
2.20 Apndice: La transformada de Fourier . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.....
2.21 Problemasresueltos. . . . . . . . . . . . . . . . . . . . .
15
15
16
17
18
21
23
27
28
33
36
38
40
42
45
48
51
54
57
59
61
65
91
91
91
ii
,
I
:;1
,
I
r
I
[
[
NDICE
3.3
3.4
3.5
3.6
3.7
3.8
3.9
3.10
3.11
3.12
GENERAL
Relaciones de incertidumbre.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
95
. . 101
. . 108
. . 113
. . 117
. . 124
. . 126
129
. . 135
143
.
.
.
.
.
.
.
.
.
.
.
.
.
.
""""""'"
y glosario
146
152
157'(\>
159
164
170
170
187
194
212
233
242
253
261
Prefacio
Este libro expone el formalismo de la Mecnica Cuntica al nivel que se exige
en el tercer curso de Ciencias Fsicas de la UNED. Aunque, como es obvio,
este texto ser de gran utilidad para aquellos alumnos que siguen sus estudios
en esa Universidad, esperamos que sea tambin de ayuda a los estudiantes de
otros centros que cursen una Mecnica Cuntica a un nivel parecido.
En la UNED, el curso se articula en dos cuatrimestres, en cada uno de los
cuales se estudia bsicamente un libro de texto. En concreto:
- En el primer cuatrimestre de la asignatura se sigue el texto Fsica Cuntica de E. Wichman, volumen 4 del Curso de Fsica de Berkeley (publicado en espaol por la editorial Revert), en el cual se introduce de una
manera excelente la necesidad de una nueva formulacin de la mecnica
para el estudio de los objetos microscpicos.
"
- En el segundo cuatrimestre se estudia el formalismo cuntico propiamente dicho. Es ste el objeto del presente libro.!
As, en la primera parte del curso, el alumno se familiariza con aquellos
conceptos claves del formalismo cuntico, como pueden ser la funcin de ondas, los niveles de energa o la interpretacin probabilstica. Sin embargo, el
rigor matemtico es el mnimo imprescindible. Una vez que el alumno conoce el mundo cuntico, es cuando se le exponen los principios de la Mecnica
Cuntica desde una perspectiva formal, aunque adecuada a los conocimientos
de un estudiante de tercer curso (o de segundo curso dentro de un programa
de cuatro aos) de una licenciatura de Ciencias Fsicas.
No podemos olvidar que la Mecnica Cuntica es, para la mayora de los
fsicos, una herramienta necesaria para profundizar en otras disciplinas, como
la Fsica Atmica y Molecular o la Fsica del Estado Slido. Por esa razn,
1 El libro Introduccin a la Mecnica Cuntica de Gillespie, publicado por la editorial
Revert, tiene un temario tambin adecuado para esa parte del curso.
III
iv
Prefacio
I
I
I
equivalentes
en otras universidades).
El mate-'
Prefacio
..
Opcin B
Segunda
Prueba
Personal
Segunda
2005
Semana
INSTRUCCIONES
Escoja y resuel1Ja slo dos de los tres problemas.
Recuerde que no basta con indicar cmo se podr'an resolver los
problemas, sino que hay que resolverlos realmente y disctutir, si procede, los resultados.
Deber contestar razonadamente a cada una de las cuatro cuestiones tericas.
Cada problema se calificar con una puntuacin mxima de 5 y cada cuestin con una de 2.5. Se necesita un mnimo
de
en cada parte
No se permite
para aprobar
el examen.
el uso de calculadora
ni de material
auxiliar
alguno.
CUESTIONES
1.- Una partcula se mueve en tres dimensiones sometida a un potencial V (f) = a (x2 + y2)2, siendo a una constante
positiva. Encuentre al menos dos constantes del movimiento (adems de la energa) para dicho sistema.
2.- Consideremos un oscilador armnico unidimensional de frecuencia .J. Se sabe que al medir la energa slo se pueden
obtener los valores I.JJ
/2 y 7I.JJ
/2, ambos con igual probabilidad.
Obtenga, para cualquier instante de tiempo, la
3.- Una
partcula
normalizado
Calcule
de masa m en un potencial
cuadrado
I ,
:l:.L/2 se encuentra
en un estado
el valor esperado
de la paridad
(TI) 1/Jpara
dicho
estado
sabiendo
de la energa
es
(H)
1/1
1511'22/ (8mL2).
4.- Sea un potencial V (x) = kx4, y sea una partcula en el estado inicial
111
1j;(x, O)= '24>1(x) + v'24>3(x) + 24>5(x)
siendo cPn(x) los estados propios del sistema con energa En. Sean (X)l y (X\
tl = / (Eg - El) Y t2 = h/ (E5 - El)' Cual de ellos es mayor?
PROBLEMAS
de la posicin en
los instantes
2/:u., (a+
de una partcula
del oscilador
V4>n-1 (x),
de masa m es
~~
1 ~2
1 ~ 2 m p", + -T ( p",x+xpx )
estacionario.
estacionario
positiva. Se sabe que la partcula est en un estado tal que el valor esperado del momento
distinto de cero. Demuestre explcitamente que la partcula no puede estar en un estado
= O es
3.- Una partcula de masa m se encuentra en el estado fundamental del potencial V (x) = -g8 (x), donde 9 es una
constante positiva y 15(x) la funcin delta de Dirac.
a) Cul es la energa de la partcula?
b) Encuentrar Xo tal que Prob(lxl < xo) = 1/2 (es decir, la probabilidad de encontrar a la partcula en el intervalo
[-xQ, +xol es 1/2).
Captulo
INTRODUCCIN
.
..
. Otros
fen6menos, descubiertos posteriormente en relaci6n con el comportamiento puramente mecnico de las partculas subat6micas, no s610resultaban
inexplicables dentro de la mecnica clsica sino que parecan escapar al propio
marco de descripci6n de la misma. Una partcula clsica tiene una trayectoria
bien definida en el espacio ordinario tridimensional. El estado de la partcula
en un instante dado est determinado por su posici6n y velocidad. Por ello, es
conveniente matemticamente representar la partcula por un punto de coordenadas (x, y, z, Px, py, pz) en un espacio abstracto de 6 dimensiones (3 de ellas
correspondientes a las componentes del vector posici6n y 3 a las componentes
del vector momento linea11) que se denomina espacio de fases. La evoluci6n
temporal del estado de la partcula viene dada por el movimiento del punto
lEn lo sucesivo, cuando se hable de momento, sin especificar si es lineal o angular, ha de
entenderse momento lineal.
~
I
I
~
I
""'III!IIII
INTRODUccIN
h/p (longitud
. Por
",,'
3
corresponde a la curva ~P,que tiene un nico mximo frente a dicha rendija.
Esto parece lgico, puesto que todas las partculas que llegan a la pantalla
han tenido que pasar necesariamente por la rendija 1; el ensanchamiento de
la curva (mayor cuanto ms estrecha es la rendija) no sera difcil de explicar
teniendo en cuenta que los bordes de la rendija pueden afectar a algunas de
las partculas que la atraviesan. Una curva similar se obtiene cuando slo est
abierta la rendija 2.
I ,
~,, \
;
;it
, P,(z)
"
,
'\,)
a: -- -- d-- ~e~::::,..- ",
,/'~
,/
""""""
" P2(Z)
pantLa
,1
~
rr
rL______--.
l/;;"
Pantalla
Ahora bien, desde el punto de vista clsico parece claro que la trayectoria de
una partcula que pasa por la rendija 1 no debera verse afectada por el hecho
de que la rendija 2 est abierta o cerrada. Por consiguiente, cabra esperar que
cuando estn abiertas las dos rendijas, la curva que da la distribucin de los
puntos de llegada de las partculas fuera la suma de las curvas 1 y 2 (para una
misma duracin del experimento). Sin embargo, no es esto lo que se observa
cuando ambas rendijas estn abiertas; lo que se observa realmente es una
figura con varios mximos y mnimos, similar a los patrones de interferencia
de las ondas. Lo ms destacable es que existen puntos en la pantalla a los
INTRODUCCIN
que pueden llegar partculas cuando est abierta slo la rendija 1 o slo la
rendija 2, pero a los que apenas llegan partculas cuando estn abiertas ambas
rendijas. Asimismo, existen puntos para los que el nmero de partculas que
llegan cuando ambas rendijas estn abiertas es mayor que la suma de las
que llegaban atravesando la rendija 1 (cuando la 2 estaba cerrada) y las que
llegaban atravesando la rendija 2 (cuando la 1 estaba cerrada).
La forma de estas curvas puede explicarse, una vez ms, a partir de un
formalismo tomado de la teora ondulatoria. En efecto, supongamos que p =
~
I
i
= h/ (2n-)
I
I
incidentes, con
111
.
1/J
(O,z) =
yr
exp (ikr)
1/J2(0,z)
exp (zkr2),
yr2
12(0,z) =
11/J(0,z)12= IAI2 =
r
11/J2(0,
z)12= IAI2 =
r2
~exPikr
y r
+ y~exPikr2
r2
..
B
21AI2
11/J(O,z)1+11/J2(0,z)1+ ~cos[k(r-r2)'
y r r2
I
I
I
R
11/J2(0,z)12= 11/J(O,z)+1/J2(0,z)12
2
IAI2
y su intensidad
l2(0,Z)
IAI2
I
]
5
Si d a podemos aproximar r2 -r1 ~ zajd. Adems, ajd ~ O, siendo ste el
ngulo subtendido por las rendijas desde el centro de la pantalla. As, pues,
+ 2Jh
(1.1)
= 27f
=>
27f
~z
kO = P a .
. Lo nico
..
ba-
~
~
I
r
I
INTRODUCCIN
5000
-..,000
.S
e
"
....
o
:::
:1
JOOO
"
"-2000
!\
JJ
....
Vi
'000
I
I \.
V V
v\\
'OO.tm
01
SCANNING SLlr POS/TlON
I
,
Fig. 1.2. Figura de difraccin por una doble rendija para neutrones fros con una
longitud de onda de 2 nm, correspondiente a una velocidad de 200 mis. Las rendijas
tienen una anchura de 22 /-Lmy estn separadas una distancia de 104 /-Lm. Los ngulos
de difraccin resultantes son del orden de 10 microrradianes, de modo que el plano
de observacin est situado a 5 m de la doble rendija para poder resolver esta figura
de interferencia (de un experimento de Zeilinger et al Rev. Mod. Phys. 60 (1988)
1067).
Fig. 1.3. Evolucin temporal de la figura de interferencia de los electrones que atraviesan una doble rendija. El nmero de electrones registrados en cada placa es: (a)
10, (b) 100, (c) 3000, (d) 20000 Y (e) 70000. De un experimento de Tonomura et al
(Am. J. Phys. 57 (1989) 117). Ntese que las fotografas estn giradas y las franjas
aparecen verticalmente.
,
~
~
I
I
INTRODUCCIN
Prob(r) d3r
= I'lj;(r) 12d3r
~
9
ble rendija, la probabilidad clsica de detectar partculas en un punto cuando
ambas rendijas estn abiertas sera la suma de las probabilidades Probl(Z) y
Prob2(z). Sin embargo, las probabilidades
cunticas no se suman, como
vemos en la frmula (1.1). Lo que se suma son las amplitudes de onda o,
si queremos, amplitudes de probabilidad (para distinguirlas de las probabilidades; ntese que las amplitudes de probabilidad pueden ser complejas mientras
que las probabilidades son reales).
Esta ltima es una propiedad esencial. Una funcin de onda que corresponde a un estado fsico del sistema puede construirse como suma de otras
funciones de onda correspondientes a estados cunticos diferentes. La suma
de dos funciones de onda admisibles es tambin una funcin de onda admisible. ste es el principio de superposicin, e implica que las funciones de onda
deben obedecer a ecuaciones lineales.
Como muy bien puede concluirse de la discusin anterior, exp (ipxj) corresponde al estado fsico de una partcula con momento p perfectamente definido.4 Por tanto, debido al principio de superposicin, el estado definido por
Aexp (iplxj) + B exp (ip2xj) corresponde a un posible estado fsico, construido a partir de dos estados con Pl y P2 bien definidos, aunque en este nuevo
estado el momento lineal ya no estar bien definido. En general, cualquier
superposicin
~
'ljJ(x)
1: a(p) exp(ipxj)
(1.2)
dp
--
hablaremos
de sistemas
'-
r
I
I
~
~
.
r
I
I
10
INTRODUCCIN
de posicin,
la simple definicin
'<"
[
(x)
1:
x p(x) dx
1:
x 110(x)12dx
1:
(1.3)
1:
f(x) p(x) dx
1:
f(x)
110(x)12dx
1:
10*(x) f(x)
10(x) dx.
Este valor medio nos servir para asignar valores a la posicin o a la magnitud
f.
Pero, cmo podemos ahora calcular los valores medios del momento? Ya
hemos visto que cualquier funcin 10(x)que describa el estado cuntico de una
partcula puede escribirse como superposicin de ondas planas de la forma
(1.2), donde a(p) mide la contribucin de la onda plana de momento p a la
funcin de onda 10(
x). Adems, por las propiedades de la transformada de
Fourier, sabemos que 110(x)12dx = Ja(p)12dp. As pues, del mismo modo
(P)
1:
p la(p)12 dp.
(1.4)
,
de Fourier en el captulo 2.
11
Ahora bien, la funcin a(p) es una funcin cuya variable es el momento p y
no la posicin x. Lo que nos interesa realmente es cmo calcular directamente
(p) a partir de la funcin ~(x). Evidentemente, dada cualquier funcin ~(x)
siempre podramos calcular su transformada de Fourier y luego utilizar la
expresin (1.4). Sin embargo, no tendra sentido estar pasando continuamente
del espacio de posiciones al de momentos. Adems, cmo podramos calcular
entonces valores medios de magnitudes tales como (xp)?
Notemos que para una onda plana <ppo(x)= exp(ipoxjn), de momento
lineal bien definido Po, se tiene
d
.
-di
dx
<Ppo(x)
= Po
<Ppo(x)
(-in d~)
<p~(x)
<Ppo(x)
= Po
I<ppo(x) 12 .
Vamos a ver que esta relacin se puede generalizar para calcular el valor medio
de p para cualquier funcin de onda ~(x) en una forma similar a (1.3), a saber:
(p) =
~,
(1.5)
00
00
a(p) exp(ipxjn) dp
-00
=1
p a(p) exp(ipxjn)dp
-00
y as
{ 00
=
=
=
~*(x)
-00
(-ind~(X) )
dx
dx
p Ja(p)12 dp,
----
~
~
12
INTRODUCCIN
Para este clculo hemos utilizado la delta de Dirac que estudiaremos
en detalle ms adelante. En realidad, es una pequea trampa introducir directamente esta "funcin", pues en ella est contenido parte del
secreto del formalismo cuntico. En cualquier caso, el resultado matemtico anterior es intuitivo: si multiplicamos dos ondas planas infinitas
de diferentes longitudes de onda, en el producto se alternarn las partes
positivas con las negativas y, en la integral total, unas se cancelarn con
otras. La nica forma de que no haya cancelacin es que las longitudes
de onda sean iguales.
. Veamos una forma general de expresar todo lo visto hasta ahora. Si definmos
dos operadores X y Px que actan sobre 'IjJ(x) de modo que
I
I
Px'IjJ(x)= -ind'IjJ(x)
dx '
X'IjJ(x) = x'IjJ(x)
(cP(x), 'IjJ(x)) =
1:
(x),p = ('IjJ,X'IjJ)
Podemos preguntamos
~,
cP*(x)'IjJ(x)dx,
pueden extenderse:
(Q),p= Lqi
es de-
Qpermiten
p(qi) = ('IjJ,Q'IjJ),
L CicPi(X).
i
13
Llamaremos a esto condicin
(~,Q~)=
( =CjcPj(x),Q=CicPi(X) )
)
Si, finalmente,
exigimos (condicin
= ~qiC;Ci
),1
3) que
si i
(<pj(X),<p,(X))~
(cPj(X),cPi(X)),
bj,i
=j
si i i= j,
resulta
~
'"
(~,Q~) = L...qilcil,
i
si interpretamos
--
b}
Captulo
ESPACIOS DE HILBERT
trr
-Intr<:tUCCIOn.)
La teora de espacios de Hilbert, adems de ser la principal herramienta matemtica de la Mecnica Cuntica, ocupa un lugar cada vez mayor en cualquier
rama de la Fsica terica. En este captulo presentaremos un amplio resumen
de la misma que sirva para una mejor comprensin del formalismo de la Mecnica Cuntica, que se explicar con detalle en el prximo captulo. Muchas
de las ideas aqu expuestas ya debera~ ser conocidas, puesto que han sido
el contenido de la asignatura de Anlisis Matemtico 11de la licenciatura en
CC. Fsicas de la UNEDl (u otra equivalente en otros centros). Sin embargo, el alumno encontrar algunas diferencias, tanto en el enfoque como en la
terminologa, con respecto a dicha asignatura. Una buena referencia para profundizar en la teora de estos espacios es el libro de L. Abellanas y A. Galindo
Espacios de Hilbert (Eudema Universidad).
Esencialmente, los espacios de Hilbert son espacios vectoriales, o lineales,
en los que se ha definido un producto escalar y en los que se pueda extender
el concepto de combinacin lineal finita a un nmero infinito de sumandos.
Por ello, la parte ms delicada de su formulacin est en la extensin de los
resultados ya conocidos para espacios de dimensin finita a otros espacios,
como los espacios de funciones, cuya dimensin es infinita.
lVase, por ejemplo, el libro de Lins Escard Anlisis Matemtico JI, publicado por la
UNED.
15
--
16
ESPACIOS
f2':'~SPaCios
DE HILBERT
vecto!:!.!.Ies O 1e~
todoVEU.
v para
(
(
iv) Para todo v E U existe un elemento inverso, denotado por -v, tal
que v + (-V) =
O.
externa,
! ..
iv) 1v = v.
v) Ov= O,
siendo O y 1 los elementos neutros para la suma y la multiplicacin,
respectivamente, en C.
Nota: Aunque hemos utilizado la notacin v para denotar a los
elementos de un espacio vectorial, no hay que identificados con
los vectores a los que estamos acostumbrados en el clculo vectorial ordinario (por ejemplo, los del espacio eucldeo n-dimensional
En). As, el conjunto de todas las matrices complejas de dimensin
N x N, con la suma de matrices ordinaria y la multiplicacin por
un escalar, tiene estructura de espacio vectorial. Asimismo, el conjunto de todas las funciones complejas 'lfJ(Xl'X2,'.. ,xn) definidas
sobre JRn = JRx JRx . . . x JR,con la suma ordinaria de funciones y
2O espacio vectorial sobre el cuerpo de los nmeros complejos.
a
E
b
CI
L
nl
el
eE
"'
o
1-
o
o
Cuando tratamos con espacios vectoriales de dimensin finita puede resultar til hacer analogas con los vectores del espacio ordinario. Sin embargo,
;:
~:
17
tales casos la intuicin puede engaamos. A lo largo de este captulo pondremos especial nfasis en las cuestiones especficas que se plantean en estos
casos.
Definicin:
Un subconjunto W e U es un subespacio
vectorial (o lineal)
de U si es cerrado respecto a las dos leyes de composicin; es decir, para
~l
i-
< 00)
es un subespacio
;:
7.
disjuntos
r.
Oforma
vectorial.
~neaI
un espacio vectorial;'
l,
ai~
i=l
con
ai E
Vi EU.
aiVi
i=l
--
=O
con Vi E V
====}ai = O.
18
ESPACIOS
DE HILBERT
2.,
Si V est formado por un nmero infinito de vectores de U, entonces V es un conjunto linealmente independiente si todo subconjunto
finito de V es linealmente independiente. (Ntese cmo el concepto de combinacin lineal est siempre restringido a un nmero
finito de trminos en la suma).
ta
cu
Definicin:
Sea W un subconjunto cualquiera del espacio U. Llamamos
lin (W) a la envolvente lineal de W, que es el conjunto formado por todos
los elementos de U que son combinacin lineal de elementos de W.
T(
a)
b)
e)
d)
n(
UJ
Definicin:
Un conjunto B de vectores linealmente independientes de un
espacio lineal U se denomina base lineal si su envolvente lineal, lin (B), es el
espacio U.
Dado un espacio vectorial U, puede demostrarse que si una base lineal tiene
un nmero finito de elementos, todas las bases lineales tienen igual nmero
de vectores. A este cardinal, dim (U), se le denomina dimensin del espacio
vectorial U.
A su vez, tambin puede demostrarse que un conjunto linealmente
independiente no puede tener un nmero de vectores mayor que
la dimensin del espacio vectorial U. Adems, si dicho nmero es
igual a dim (U), entonces dicho conjunto es una base lineal. Recprocamente, si la envolvente lineal de un conjunto W es igual a
todo el espacio vectorial U, el nmero de vectores de dicho conjunto tiene que ser mayor o igual que dim (U). En el caso de que el
nmero de vectores de este conjunto W sea igual a la dimensin
del espacio, W ser tambin linealmente independiente y, por tanto base lineal. Como consecuencia de lo anterior, una base es todo
conjunto mximo de vectores linealmente independientes o bien
cualquier conjunto mnimo cuya envolvente lineal sea igual a todo
el espacio vectorial. De esta forma, si un espacio vectorial U tiene conjuntos linealmente independientes arbitrariamente grandes,
entonces U es un espacio lineal de dimensin infinita.
~c.m~"Jine.arRno~m:'t~
Definicin:
IR
U -->IR: u -->Jlull
-1..'
r:
VE
u
19
.
I
2.4 Espacios
'"
a) lIull
lineales
normados.
escalar a complejo,
se
;::: O.
b) Ilull = O {::} U = O.
)s
Ejercicio:
Consideremos el conjunto
convergentes de nmeros complejos a =
espacio
infinita ~11aj12
< oo. Definiendo la suma y el producto por un
escalar complejo en la forma habitual, es decir
le
'0
se denomina
si lIull = 1.
81
una norma
la
a+
lIall =
lajI2.
j=l
1,
"
Ejercicio: El conjunto de las funciones complejas de variable real, definidas en el intervalo [O,1] y que son continuas (al que designaremos
por
[O,1]) tambin es un espacio vectorial de dimensin infinita. En l
definimos la norma en media 2 (habitualmente llamada norma estndar
por el motivo que pronto veremos) como
114>11
11 4>(x)* 4>(x) dx
Definicin:
que
Ilun - ull = O.
r
20
ESPACIOS
DE HILBERT
lIun-
7111
< e para
IIm - Un 11=
m,n-->oo
O,
esto es, si para cualquier real e > O, existe un N tal que lIum - unll < e para
todo par de nmeros m, n mayores que N.
Es fcil demostrar que toda sucesin convergente es de Cauchy.
En espacios vectoriales de dimensin finita la recproca tambin es
cierta, pero no lo es para espacios vectoriales de dimensin infinita:
en ellos hay sucesiones de Cauchy que no son convergentes (bajo
la norma en cuestin) debido a que el lmite de la sucesin no
pertenece al espacio lineal que se est considerando.
El siguiente ejemplo lo aclara. Sea P [O,1] el espacio lineal de
los polinomios con coeficientes complejos definidos en el intervalo [0,1] de la recta real. Considrese la sucesin de polinomios
{ <1>1
(x) , <1>2(x) , <1>3 (x) , ...} e P [O,1] cuyo trmino general es
nI.
<l>n
(x)
=L
-:-
x1.
j=l J.
es espacio de Banach
{:>
de
Ejemplo:
Sea el intervalo cerrado
siguientes espacios lineales:
e [a,b]
2.5 Producto
escalar.
21
Ortogonalidad.
J:
l<,b(x)12 dx
<
00 (funciones
de cuadrado
integrable).
11<,b11
=
lb
<,b
(x)*
<,b
(x) dx
lb l<,b(x)12 dx,
t:2:5
Definicin:
Un producto
escalar
= (v, u) .
iii) (v, V) 2: O, Y (v, v) = Osi y slo si v=
iv) (,av) = a(,v).
11) (U, V)
O.
--
22
ESPACIOS
DE HILBERT
(~,~) = lb
</J
y la norma asociada,
lb
II~II= V (~, ~) =
</J(x)*
</J(x) dx
lb I</J(x)12 dx,
~ ~
~
-,
,
~,
(ej,V) = ej,
Asimismo, el producto
I:
Vi~
~1
I:
Vi
~1
(ej,~) =
I:
Vi8ji
~1
= Vj.
(u,v) =
~ ~
Ui~,
Vjej) =
~~
UiVi.
2.6 Espacios
de Hilbert.
23
Bases ortonormales.
""'
L., ai
i=1
= Nlimoo
L ai.
i=1
VM
= L Viei,
VN
i=1
Vi~'
i=1
--
JZ:6
~acios de~ses
ortgnOha~'S)
Ejemplo:
(~, 7;) =
J:</>(x)*
'IjJ(x) dx,
1:-2
es,
El
24
ESPACIOS
DE HILBERT
Definicin:
L VjJj,
Vi E
e = {,h,f~,Jj,oo.}
un conjunto
se le denomina desarrollo
de Fourier
{,h, f~,f~,...}
base
ortonormal
El conjunto ortonormal BF =
o de Fourier
i! = j VjJj. Los
del vector i! en la
Evidentemente,
para espacios de dimensin finita esta definicin
no es sino un caso particular de base lineal. Sin embargo, para
espacios de dimensin infinita la distincin entre los dos tipos de
base es esencial, pues puede demostrarse que las bases de Fourier
no son bases lineales. En un espacio de dimensin infinita slo
consideraremos bases de Fourier.
Por otro lado, cabe preguntarse si en un espacio de Hilbert de
dimensin infinita existe una base de Fourier numerable, tal y como
la acabamos de definir. En todos los casos de inters fsico la
respuesta
es afirmativa,
puramente
2.6 Espacios
de Hilbert.
25
Bases ortonormales.
= {f~,h, f~,...} de
un espacio de
(i,v).
Lj VjJ; y
Ilvll
J'2fIV;12
(v,w)
Ejercicio:
Demustrense
~V;Wj.
J
anteriores.
= {(o (x)
(mfx/L).
ESPACIOS
26
DE HILBERT
con
Pn (x)
(-x/2)
. Ln(x),
funciones SJn
(x) de Hermite BF =
(2nn!J7f)
'1"
(-x /2 ) . Hn(x),
1/2 exp
Hn(x) = (-1texp(x2)
dxn (exp(-x2)).
Aunque en este captulo nos movemos a un nivel puramente formal, conviene mencionar que estas bases van a jugar un papel importante en
Mecnica Cuntica. En concreto, las bases de Fourier, Legendre, Laguerre y Hermite desempean papeles esenciales en el tratamiento cuntico
del pozo cuadrado infinito, la teora del momento angular, el tomo de
hidrgeno y el oscilador armnico, respectivamente.
1t.
(Puede tambin
probarse,
2.7 Isomorfismos
entre espacios
27
de Hilbert. *
.l
v = vw + Vw..L, con Vw E W y VW..L E W .
de los subes-
g;;f
Jsomorpsmosentre espac.~-=Bn::;;?.r.t,:,.
Definicin.
morfos
Sean 1{(1) y 1{(2) dos espacios de Hilbert. Se dice que son iso-
si existe
una aplicacin
biyectiva
mo, que conserva el producto escalar. Esto significa que si la aplicacin asigna
a un vector cualquiera iJ<1)E 1{(1)un vector nico iJ<2)E 1{(2), Y hace corresponder a otro vector cualquiera w(1) E 1{(1) otro vector nico w(2) E 1{(2),
entonces la aplicacin conserva en 1{(2) el producto escalar en 1{(1), esto es,
que se cumple que (iJ<1),w(1)= (iJ<2),w(2).
Teorema: Todos los espacios
son isomorfos entre S.
de Hilbert
finita
consideremos
{4>1(x) , 4>2
usual de
Cr, y
B~ =
Sea BF
r (x)
L
j=l
siendo
rj4>j (x) ,
rj
(4)j
(x) , r(x)) ,
r(x)
-t
il
L rjJ; E cr,
j=l
B~ de 1:-2(~).
Esta
ESPACIOS
28
DE HILBERT
N ata: Naturalmente,
que dos espacios sean isomorfos no quiere
decir que el isomorfismo que los conecte sea nico. En el ejemplo
que hemos discutido, el isomorfismo depende de la base concreta
B~ utilizada. Este teorema de Reisz-Fisher es la clave para entender que las formulaciones de Heisenberg (matricial) y Schrodinger
(funcional) de la Mecnica Cuntica son equivalentes: la primera
trabaja en C:f', mientras que la segunda lo hace en el espacio de
Hilbert isomorfo .c2 (~).
~-QDerado'es.JeIe~~
"e-n esu}lci"~~./
Tras haber caracterizado los espacios de Hilbert es necesario, como ya se apunt en el primer captulo, hablar de los operadores definidos en un espacio de
Hilbert. La discusin de las prximas secciones no ser exhaustiva, ya que nos
centraremos slo en los puntos que vayamos realmente a necesitar. Invitamos
al alumno interesado en un tratamiento ms extenso y riguroso a que consulte
la Bibliografa sugerida al final de este libro.
Definicin:
Un operador
A es
cualquier
A es el subconjunto
R(A)
(A)
de forma que i1 =
Aw} ,
29
en un espacio de Hilbert.
Sean
A y B dos
operadores
H, y a un nmero complejo.
1. El operador
A + B, suma
de
A y B, se define de la forma
(A+B) = A+B,
siendo su dominio V(A) n V(B).
2. El operador aA, producto de A por el escalar complejo a, se define
mediante
(aA)=a(A)
y su dominio es igual al dominio de
A.
de los operadores
A y B se
define como
(AB) = A (B)
y su dominio es el subconjunto de V( B) formado por aquellos vectores
tales que B E V(A).
A la vez, dado el nmero natural n, definiremos el operador lineal An
como el resultado de componer A consigomismo n veces:
An = AA...A
(n veces)
.
30
ESPACIOS
Yes el operador
DE HIL~ERT
identidad.
A, y cuya
inverso
regla de actuacin
A-1,
es
A-1u = w, dondeAw = u.
Ntese que el recorrido de A-1 es, precisamente,
V(A).
Ejercicio: Demustrense las siguientes propiedades relativas al operador inverso (no preste atencin a los problemas relativos a los dominios de definicin):
a) A-1 es lineal.
b) (AB) -1
= B-1
c) (A-1)
= A.
d)
(aA)
-1
-1
(l/a)
A-l.
A-l.
Ejercicio: Demostrar que la condicin necesaria y suficiente para que un operador lineal
sea invertible es que Av = O{::?V = O.
Se define la norma
de un operador
IIAII
lineal como
sup IIAl1
EH
Ilull .
31
A E A(1-l)
IIAII.
Como
Aull
R es finito,
IIA 8ull
~R
118ull
R 118ull es infinitesimal,
que es lo que
se quera demostrar. Otra forma de decir lo anterior es que sucesiones convergentes en el dominio de un operador acotado se transforman en sucesiones
convergentes en su recorrido. Por ello, dada la sucesin {UI,U2, ...} e V(A),
con lmite u E V(A), podemos estar seguros que el lmite de la sucesin
{AUI, AU2, oo.}es Au.
Veamos dos consecuencias de la continuidad de los operadores acotados. En
primer lugar es posible extender la linealidad de un operador acotado
a una serie de Fourier (y, en general, a toda suma infinita convergente de
vectores): si {f~,f;, ...} es una base de Fourier contenida en V (A),tenemos
que para todo u E V(A):
u=
L
n
anln
=}
Au= L anAln
n
ESPACIOS
32
DE HILBERT
definir el operador
"Ynxn,
lineal 9
(A)
el operador
acotado
9 A il = lim
( ) N-too
n=O
simplemente
"YnAnil
Puesto que, como acabamos de comentar, el dominio de un operador acotado es todo el espacio de Hilbert, no existe problema
alguno relacionado con el dominio de 9 (A). El nico problema
es determinar cundo converge la serie. Esto ltimo es sencillo, ya
que si R
11AII,
lim
N-too
N
"YnAnil
n=O
= N-too
lim
"YnAnil
n=O
:::; N-too
lim
n=O
bnl
Rn 11ill 1
119(A) ull
IIJi!'=
~ 'nAnu
S (~I'In IR")
~=o
"Y
An
lIull
lineal 9
(A)=-
El problema es que los operadores lineales de inters en Mecnica Cuntica no tienen por qu ser acotados. Sin embargo en el formalismo aparecen
~,'
Operadoreshermticos
33
y unitarios.
g(.4)
AiI
L rnAn
n=O
A (~u,.f:)
~u,.Af:
que, en principio, son slo vlidas para operadores acotados. La primera igualdad (funcin de un operador) basta con entenderla en sentido simblico, pero
teniendo en cuenta que pueden existir vectores para los cuales la actuacin de
g(A) no tenga sentido (bien por problemas relacionados con el dominio de los
operadores o bien porque el resultado sea divergente, aunque conviene notar
que esto
ltimo
es lo que sucedera
tambin
si
A fuese
acotado
pero la se-
t:9
-:9p~rador. ~unto.
l.tarios)
(jperaores hermti~
yum-;
Definicin:
Sea el operador lineal A definido en un espacio de Hilbert
Ji. Definimos el operador adjunto de A, al que llamaremos At, como el
operador que verifica
(,A17)
para cualquier
Algunas propiedades
cio):
= (At,17)
E V(At).
del operador
como ejerci-
(
..
34
ESPACIOS
~
( )
AB
DE HILBERT
= Bt
(A-Ir = (At)-I.
~
si
de los operadores
hermticos
son (demustrense
"
. >,
como
En efecto,si A es hermtico(v, Au) = (At v, u) = (Av, u), quedando probada la condicin necesaria. Para probar la condicin
3 Al final del captulo hay un par de problemas en los que se discute la diferencia estricta
entre operadores hermticos y autoadjuntos.
Operadores hermticos
y unitarios.
35
suficiente, consideremos una base orto normal {i~, i~, ...} e V(A).
Dado un vector iJ E V(A) intentemos evaluar AtiJ. As
~t
A iJ = L., in, A iJ in
n
....
~t
~
L., Ain, iJ in,
n
""
~t
~
A iJ = L., (in, AiJ) in = AiJ
n
y, por construccin, At iJ existe y es igual a AiJ para todo vector iJ
del dominio de
A.
A es hermtico
Ejercicio:
g(x)
= L'Ynxn;
'Yn E IR.
(iA)existe, entonces
Definicin:
Un operador
hermtico
es positivo
11E V(A).
Dados dos operadores hermticos A y B con dominio comn, se dice que
mayor o igual que B si A - B es positivo.
A es
Definicin:
Un operador
lineal
fJ es
unitario
si fJfJt
= fJtfJ = 1.
..
36
ESPACIOS
1.
DE HILBERT
Des unitario
~-Repre~ntacio!! TIl~ffi2ar
un-oper~
Q:'
1 ..
A~n
=~
n
unln
UnAln
A un
operador
lineal
= {f, I;,...}
de 1{ y BF
A como
At (esto ser
siempre posible en la prctica). Entonces, dado un vector E 1)(A)
contenida tanto en el dominio de
'"'
->
en el de su adjunto
->
->
'"'
~t
->
A =
I:kud;,
en la base BF
~ ( At/:'~UkK ) 1: = ~~Uk
n
(At/:,/:) 1:
~ (~>k V;"Ah)) ;.
donde la "matriz"
= (h,A) = ~k
(/:,AK)Uk
= ~AnkUk
k
de coeficientes
Ank
se denomina representacin
= (/:,AI:)
matricial
del operador
A en la base
BF.
I,
2.10 Representacin
matricial
de un operador.
37
(:, A 2; u.~)
...
...
2; (1:,u.AL) .
partiendo
de la hiptesis
Esto ltimo nos permite afirmar que la suma Lk ukAf:, de converger, lo hace a Au, y esa es tambin la razn por la que muchas
veces se escriba directamente la ltima igualdad, aunque entonces sta ha de entenderse condicionalmente si el operador no es
acotado.4
De similar manera puede demostrarse que:
n
= aAnk.
3. (AB)nk = Lj AnjBjk.
a
A.
4De todas maneras, para que la igualdad no fuese cierta tendra que producirse una
situacin en principio excepcional: que la suma Lk ukAf~ fuese igual a un elemento no
perteneciente al espacio de Hilbert (por ejemplo a una funcin r (x) no normalizable) pero
tal que se cumpliese U:, j) = U:, Au). En la coleccin de problemas resueltos de este
captulo veremos un ejemplo sencillo en el que tal situacin aparece, pero tenga en cuenta
que la esencia del formalismo cuntico no se ve afectada en absoluto por este tipo de detalles.
Tmense stos, simplemente, como meras advertencias complementarias de los riesgos de
trabajar con expresiones que contengan sumas infinitas.
38
ESPACIOS
DE HILBERT
respectivamente,
~t
(u,lw)
~t
(A U,W ) = (A
=
Wn
UkWn
n
k
U,~Wnen
(u, Aen) = Wn
~
= ~Wn
~t
(A u,en ) =
k
(Uk4,An
)
(ek,An)
y, en definitiva,
(u,lw) = ukAknWn,
n k
con W E 'D(A) y u E 'D(At).
Dado un operador hermtico, todas las expresiones anteriores son vlidas
puesto que las hiptesis adicionales que hemos hecho se cumplen automticamente. Tambin lo son para un operador unitario para el que, al ser acotado,
las precauciones expuestas estn de ms.
- - ---
~-::i 1
P'oyctor~rqY;;;~~1n
Definicin:
Un operador lineal
bert, es un proyector
..Qrtagoa1?
P, cuyo
si es hermtico
idempotente) .
Como ya hemos comentado en el apartado 2.6, un subespacio W de 1t y su
complemento ortogonal W-L verifican el teorema de la proyeccin ortogonal,
de manera que cualquier vector u E 1t puede descomponerse de forma unvoca
como suma de un elemento de W (llamado proyeccin ortogonal de u sobre
W) y de un elemento de W-L:
U
= Uw + UW-L
con
Uw E W
-L
UW-L E W .
{h, f~,...} de W,
Pwu=uw = n (1:,u) f:
nos da la proyeccin ortogonal de u sobre W y, adems, define la actuacin
de un operador lineal Pw cuyo dominio es todo el espacio de Hilbert. Este
operador Pw es, por tanto, el proyector ortogonal sobre el sub espacio W.
Anlogamente, 1 - Pw es el proyector ortogonal sobre W-L.
2.11 Proyectores.
Proyeccin
39
ortogonal.
p) v
triangular
sobre su recorrido,
Por tanto,
:S Ilvll,
que es un subespacio
es tambin
de Hilbert
con
proyecta
vectorial
se prueba
= WI
EB W2 EB W3 EBoo.) si
= PWl +PW2
+PW3 + ...
W1-.
Demuestre
que
Bw
Bw 1-
es una base
ESPACIOS
40
DE HILBERT
~11tO~"'SJ.ies;J
C2:i2
Las siguientes definiciones son de gran importancia, ya que tendrn una interpretacin fsica directa dentro del formalismo cuntico.
Sea A un operador lineal de 1t y u E 1t un vector no nulo.
Diremos que u es un autovector de A (o funcin propia si estamos en un
espacio de funciones) con autovalor a, en general complejo, si se cumple que
Definicin:
A u = a u.
(Los autovalores y autovectores reciben tambin el nombre de valores propios
y vectores propios, respectivamente). El conjunto de todos los autovalores de
un operador se denomina espectro puntual y se designa mediante el smbolo
(Tp
(A)Un autovalor a de
A es no
degenerado
si, salvo constante multiplicativa,
sJo tje..ne asociado un autovectoI, esto es, si slo existe un vector v linealmente
independiente tal que
a v. Ntese que la condicin de independencia
Av =
( i=l
gn
CiVni
=L
i=l
gn
gn
ciAvni
CianVni
i=l
= an
( i=l
CiVni
lineales
A pueden
constipropio
plejos a 1: (Tp(A) para los que, no existiendo ningn vector u que satisfaga
estrictamente la expresin Au = a u, es posible encontrar una sucesin de
vectores normalizados Un de 1t tales que la sucesin { ( A - a) Un} tiende a
I o,
2.12 Autovalores
41
y autovectores.
cero. En ese caso, se dice que el nmero complejo o: rt. CJp(A) es un autovalor impropio. El conjunto de autovalores impropios de un operador A se
denomina espectro continuo y se designa mediante CJc(A).
-
(A
idnticamente
de
A con
autovector
A if = o:if.
de alguna
al espacio
.
ESPACIOS
42
DE HILBERT
ar (x)
r(x)
= Aexp
a E e,
(iax)
<Pn
(x) =
[n7rl1/4
exp ( -
2:2
)]
exp (iax)
(es decir, una onda plana eax modulada por una gaussiana normalizada, de anchura creciente con el valor de n) nos lleva a otra sucesin (Px - a) <Pn(x) ~cuyo lmite es igual a cero. De esta forma, el
espectro continuo de Px es igual al conjunto de todos los nmeros reales, y los autovectores impropios correspondientes son las ondas planas
r(x) = A exp (iax). Como ya hemos dicho, estas ondas planas no pertenecen al espacio de Hilbert 1:2 (JR), ya que no son normalizables.
,~.Rspectro de
-~-
los o:peradores_heritk9~
de cualquier
2.13 Espectro
de los operadores
43
hermticos.
A es hermtico
(,A)
(A,)
-
a*
= (a+j1,) =a*lIuI12+(j1,)
+ (,j1)
y, como consecuencia,
a
- a =
-> -
-> - *
'*
-lma = 1m (,j1).
Teniendo en cuenta que j1 puede ser tan pequeo como se quiera, el producto
escalar (, j1) es tambin infinitesimal. Ya que a es finito, resulta que la parte
imaginaria de a es arbitrariamente pequea, con lo que podemos concluir que
a es real.
Teorema
2: Sea
A un
Entonces,
los autovectores
asociados a autovalores
distintos son ortogonales
entre s.
En efecto, sean l y 2dos autovectores asociado a los autovalores al Y a2
respectivamente. Entonces
(l,
A2) =
A es hermtico
(l, A2) =
(l, a2 2) = a2 (l, 2) .
(Al, 2)
y al es real
= (al
l, 2)
= adl, 2).
44
ESPACIOS
Como consecuencia,
a2 ('171,'172) = al ('171,'172). Pero,
no queda ms remedio que ('171,'172) = o.
su vez, puede
demostrarse
DE HILBERT
por hiptesis,
al
=1
a2, Y
numerable
3: Sea
A un operador
En efecto, llamemos
al i-simo autovector y ai al autovalor
diente. Entonces, las condiciones del teorema se escriben
Ah = aih
con
correspon-
Sean ahora dos vectores cualesquiera U,v E 1i. Puesto que los autovectores de
A constituyen una base de Fourier de 1i podemos escribir
u=
v= LVjJ;.
uih
Admitiendo que no existen problemas con los dominios de definicin, usando el operador adjunto y escribiendo el producto escalar en trminos de las
coordenadas en la base de autovectores,
(Au,v)
(u, Av)
= LanU~Vn.
n
la definicin de operador
de un operador
45
hermtico.
A su vez
(,p2) = (P,P)
= a211ul12
o
Por tanto a = a20 Ya que a es real, la nica solucin de esa ecuacin es que
~ sea 1 o 00 De hecho, si W es el subespacio de ~lbert sobre el que proyecta
ortogonal
de
P con
autovalor O.
De manera similar se puede probar que los valores del espectro continuo
podran ser O o 1, pero acabamos de ver que estos dos valores espectrales
tienen como autovectores elementos del espacio de Hilbert, luego un proyector
no tiene espectro continuo.
Por otro lado, resulta obvio que el nico proyector que verifica (J"p= {1}es
el operador
nulo
identidad,
mientras
que si (J"
p = {O} el proyector sera el operador
lD4
Formaespectra17fe
operado't
herm(tico.
- ------- ----
Hemos visto que, en el caso de un operador hermtico, los subespacios propios son ortogonales entre s. Esto trae como consecuencia inmediata que,
si (J"p()
puntual
de un operador
hermtico
A,
se puede construir una ~ase ortonormal formada exclusivamente por autovectores normalizados de A. En concreto, consideremos el conjunto de dichos
autovectores,
eA = {n, 12, '00'lg j 21, 22, o.., 292; oo.},
donde gn es la multiplicidad
del autovalor
...
,.
...,...
ESPACIOS
46
DE HILBERT
A
A
es diagonal
en esa representacin.
A con autovalor
1-l = El
EB
E2 EB E3 EB ...
f
.~
A con
autovalor
ano Naturalmente
los
gn
wn =
L
(nj, w) nj,
j=l
de
Acon
autovalor
an y
de un operador
47
hermtico.
de un
9n Y sean Uni (i
PnV =
2)
Uni, V) Uni
i=l
y, por lo tanto,
gn
Av =
Ln anPnv = Ln an L(Uni,
i=l
v) Uni.
de
A, entonces
es posible definir
= h (al)
A + h (a2) P2 + h (a3) P3 +
oo.
...
48
~5
ESPACIOS
E.Lpaililema
DE HILBERT
~(gvarore~c.o~
'>'
2.15 El problema
de los autovalores
continuos.
49
= a (s) Uj (s)
es vlida.
b) los autovectores Uj (s), Ujl (s') asociados a dos autovalores a (s), a (s') son
ortonormales en el sentido
g(s)
iJ= Ln L
j=l (Un,j,V)Un,j+ J ds L
j=l (Uj(s) , iJ)Uj (s) ,
-L
50
ESPACIOS
DE HILBERT
donde la integral est extendida a todos los posibles valores del parmetro
y 9 (8) es la degeneracin del autovalor del continuo a (8). Anlogamente,
gn
Av =
g( 8)
an
j=l
j=l
Pnv= L(n,j,V)
j=l
n,jo
P (8) V =
As, la descomposicin
espectral
L
(j (8) , v)
j=l
hermtico
es
J P(8)d8,
A = Ln
Ejercicio:
..
de la identidad
I= LPn+
n
y la del operador
j (8)
anPn
Dada la descomposicin
J a (8) P (8) d8
espectral
de un vector
v, demuestre
que
gn
IIVII2
Ejemplo:
LL
n j=l
g(8)
I(n,j,v)12+
J L
I(j (8) ,v)12
j=l
d8
2.16 Conmutadores.
Conjunto compatible
51
de operadores.
[a,b] e O"c(A). Si suponemos un espectro no degenerado (la generalizacin al caso degenerado es inmediata) y que E 1t:
P[a,b] V
= lb (u(s),v) u(s)ds
y, entonces,
2
IIP[a,bjVII
I(u(s) ,v)12ds.
Pero como
IIvl12
Ln
I(Un,v)12+
I(u(s),
v)12 ds,
que IIP[a,bjVII :S IIvll. Ya que ves normalizable, P[a,b]Vtiene norma finita y pertenece al espacio de Hilbert. Por otro lado, para
cualquier vector
tenemos
(V,P[a,b]V)
= lb (u(s) ,v) (v,u(s))ds = lb
I(u(s)
,v)12ds E
ffi.
~2 -
P[a,b]v
=
-
g,.16
dOi&es5
~nmuta(lores~--ennjuIIt"'""tOlIfP-ati'ble
..
Definicim
define el conmutador
Ay B
de ambos como
[A,B] ==AB - BA.
..;~-OQ~I
--52
ESPACIOS
Definicin.
AB = BA.
Dos operadores
conmutan
DE HILBERT
ABv = AB
( ~ vih )
t
Anlogamente
se tiene
~
t
viAB
h = ~ viAbih = ~ viaibih.
t
de
B con
le corres-
Sean
A y B dos operadores
hermticos y sean
A = anPan
B = bmPbm
2.16 Conmutadores.
Conjunto
compatible
de operadores.
53
sus formas espectrales. Entonces A y E conmutan si y slo si todo proyector espectral Pa de A conmuta con todo proyector espectral Pb de E. (La
demostracin es sencilla y queda para el alumno).
Debe notarse que el hecho de que haya una base formada por autovectores
de A y E no quiere decir que todo autovector de A sea necesariamente autovector de E. Lo que s es cierto es que si definimos t:anh como el subespacio
formado por los autovectores simultneos de Ay E, el espacio de Hilbert puede
escribirse como suma directa de todos estos subespacios t:an,bk.
Puede ocurrir que cada subespacio t:an,bktenga dimensin unidad. Esto quiere decir que, salvo constantes multiplicativas, slo hay un autovector
simultneo de A E con autovalores an y bk. Como consecuencia (excepto cambios triviales en el orden y multiplicaciones por constantes de mdulo
unidad) la base ortonormal de autovectores comunes de A y E es nica, y
cada vector de la misma est determinado unvocamente por los autovectores
correspondientes a an y bk.
Ahora bien, tambin puede suceder que haya subespacios t:an,bkcon dimensin mayor que uno. Entonces, el par de valores an, bk no basta para
caracterizar un vector comn de A y E. Para discriminar una de las posibles
bases ortonormales de t:an,bk(y, por consiguiente, de todo 1i) necesitaramos
que conmute tanto con A como con E. Con
un tercer operador hermtico
com-
simultneamente.
es com-
......
54
ESPACIOS
~i7 j;ducto
~e esp~~
--- tensorial -~
DE HILBERT
lI.i!1Le~:I'
4>1(x)
4>2(x)
),
(
(
+ [r(x)] =
a [4>(x)]
4>1(x)
+ r1(x)
4>2(x) + r2(x)
a 4>1(x)
a 4>2(x)
L
L
(4)1(x)*
4>2(x)*)
~~~:~
dx
~
Puede entonces demostrarse que tenemos una estructura de espacio de Hilbert, llamada producto tensorial de 1:-2(JR)Y C2, simbolizndose esta nueva
estructura por 1:-2(JR)0 C2. Ntese que cualquier elemento de este espacio de
Hilbert que acabamos de construir puede escribirse como
[4>(x)] = 4>1(x)
( )+
~
4>2(x)
( ),
~
[4>(x)] = 4>1(x) 0
( )+
~
4>2(x) 0
( ).
~
2.17 Producto
Definicin
tensorial
de espacios
55
de Hilbert. *
Simbolicemos
productodirecto
o tensorial
'-'[2]
.-.[1]
'-'[2]
E 1i 1 0 1i2, asociacin
con las
siguientes propiedades:
(i) es lineal respecto a la multiplicacin por un nmero complejo:
'-'[1]
'-'[2]
a q; 0 q;
.-.[1]
) = aq;
'-'[2J
0 q;
.-.[1]
= q;
.-.[2]
0 aq; .
.
.
. 'lJ
.
"
;[1]
;[2]
Al ob Jeto
matematIco '1' 0'1' , per t eneClen t e a 1 espacIO vec t arIa 1 I L1 0
'-'[1]
'-'[2]
se le denomina producto tensorial de q; y q; .
'lJ
I t2,
ff!1]
56
ESPACIOS
DE HILBERT
= {Jj1] 0112]
de 112. Entonces
1
A[]
Los operadores
""[1]
jJ
""[2]
0jJ
)=
1 ""[1]
A [ ]jJ
) 0jJ.
[2]
""[1]
""[2]
A [ ] jJ 0jJ
""[1]
=jJ
2 ""[2]
A [ ] jJ
).
(A[l]~[l]) 0 (A[2]~[2])
(A[l][l]~[l])
0 ~[2]
[2]
[1] ""[1]
A jJ
0jJ
+
~
)
) 0jJ
1 ""[1]
A [ ] jJ
[2]
""[2]
[1] ""[1]
jJ
0jJ
""[1]
+jJ
2 ""[2]
(B [ ] ) ,
jJ
2.18 La notacin
51
de Dirac.
i) el conmutador [.-llIJ,B[2]]
y B[2].
[1]
ii) que, si <p es autovector
A~[lJ
""[1]
(<p
= O para
P]
de
""[2]
0<p
",,[1]
) =a (<p
""[2]
0<p
),
[1]
[2]
[]
esto es, <p 0<p es autovector de A 1 con igual autovalor a (pero ahora
[1] ""[2]
<p 0 <p es un vector de 1 01t2). Naturalmente
lo mismo ocurre con
los operadores del espacio de Hilbert 1t2.
~
~8"
L~taciOn(fe1Jir~--
(71, iJ)
(2.1)
= (71,iJ).
Hablamos, pues, del bra (ul, asociado al ket lu) a travs de la forma lineal
Lu. Es habitual suprimir el parntesis central y escribir directamente (ulv).
Podemos definir entonces el producto escalar (ulv) de los kets lu) y Iv) como
la actuacin del bra (ul sobre el ket Iv).
Con esta notacin, el desarrollo de un ket de 1t como combinacin lineal
de vectores ket de una base lei) es
Iv) =
I: lei)(eilv),
i
.
58
ESPACIOS
DE HILBERT
lei)(eil.
= (ule(eilv) = (eilu)*(eilv).
i
As, en el elemento de matriz (ul Alv), al igual que se lee que A acta sobre Iv)
para dar el nuevo ket Alv), puede tambin interpretarse que A acta sobre el
bra (uJ para dar el bra asociado al ket At lu). A efectos prcticos, supongamos
que la) es un autovector de A con autovalor (no necesariamente real) a. As,
para cualquier E 1{ se cumple que
(uIAla)
(,Aa) = a (,a)
Ala) =ala),
mientras que
(alA = a (al.
Anlogamente
At la) = a*la)
(alAt = a* (al.
Ntese que usando la descomposicin de la identidad se llega a la conocida
expresin
(uIAlv)
U;AkVk
i,k
2.19 Apndice:
59
La delta de Dirac.
A.
n,i
1 =
n
lan,i)(an,il = Pn'
n
Alv) = anlan,i)(an,ilv),
n
A se escribe
ahora
A = an lan,i)(an,il.
n
Una vez ms, nos hemos restringido al caso de que el operador que estamos
tratando tenga un espectro puramente puntual.
J]
Irac:=1
La denominada "funcin" delta de Dirac b(x) fue introducida por Dirac para
resolver los problemas que planteaba en la Mecnica Cuntica la aparicin de
funciones que no eran normalizables. Inicialmente este artificio matemtico
tena una justificacin dudosa, pero aos ms tarde el matemtico francs
.....
.
ESPACIOS
60
DE HILBERT
1: f(x)
8(x) dx
= f(O)
(2.2)
= 8(-x)
8(kx)
kEJR
= k 8(x),
={
si Ixl 2 a/2
si Ixl < a/2
l/a
(2.3)
-=
a/2
Ya(x) dx
-a/2
(l/a) dx
= 1.
Por otra parte, dada una funcin f(x) continua, se cumple que
-=
f(x) Ya(x)dx
donde el ltimo
=-
a/2
-a/2
1
f(x) dx = - a f(r),
a
l~
f(x) Ya(x) dx
.....
con rE [-a/2,a/2],
= f(O).
2.20 Apndice:
La transformada
61
de Fourier
De este modo podemos decir que 8(x) es el lmite de la funcin 9a(x) definida
en (2.3) cuando a -+ O. Es decir, podemos representar la delta de Dirac como
el lmite de un rectngulo cuya base tiende a cero, pero cuya rea total se
conserva.
Anlogamente puede demostrarse que la funcin definida en la forma
qn(x)
=-
27r
eiXYdy
-n
OO
ezxYdy.
8(x)
lim
X2
0'->0(27r)1/20'
exp
( )
--
20'2'
.!:.sin2 ax
lim
a->oo 7r ax2
lim
8(x) -
a->oo
( ),
( )
sinax
7rX
8x
()
GQ
= lim a->oo
7r a2x2
+1
= lim
r->O
7r x2
+ r2
Apndice; Latr'aiisTrmllita
).
tlBFbU'le~-:
Dada una funcin f(x) E .c(JR), donde .c(JR) designa a las funciones complejas
de variable real cuyo mdulo es integrable (funciones absolutamente
integrables), siempre podemos construir la funcin
g(k)
Entonces
f(x)
y 27r Jw.
(2.4)
f(x)
...
dk
(2.5)
,.
1""""
ESPACIOS
62
DE HILBERT
I
111
De una forma intuitiva, aunque no muy rigurosa, la transformada de Fourier puede entenderse como un paso al lmite del desarrollo en serie de
Fourier. Es sabido que una funcin f(x), definida en un intervalo finito
[- L /2, L/ 2], puede desarrollarse en serie de funciones trigonomtricas
discretas {cos (nlx) , sin (nlx)} . Bajo ciertas condiciones muy generales, el desarrollo converge a la funcin f(x), para casi todos los puntos
del intervalo. Cuando L --+ 00 la suma de la serie se transforma en la denominada integral de Fourier. La transformada de Fourier es una forma
compleja de la integral de Fourier, y puede interpretarse en cierto modo
como el desarrollo de una funcin como una combinacin lineal infinita
"
. Cuando
la funcin f(x) no slo es integrable sino que es de cuadrado integrable, es decir f(x) E L:2(IR),puede demostrarse adems el siguiente resultado
(teorema de Plancherel)
L If(x)12
dx
(2.6)
L Ig(k)12 dk.
:FcjJ(x)
definido en la forma
+00
= Vr.c;;
21fh 1
cjJ(k)exp (-ikx)
dk
-00
. Algunas propiedades
importantes
de la transformada
de Fourier son:
63
La transformada
de Fourier
2.20 Apndice:
= ikF
{J(x)}
= ~ro=
F { d~~) }
V 27r
00
-00
df(x)
-ikx
-e
dx
-I2ir
(ik) F {f(x)}.
.k
f(x)e-~
dx
+00
x -00
roo
+ J-oo f(x)
(ik) e-ikXdx}
dn f(X)
dxn
= (ik)F
dn-l f(X)
dxn-l
= (ikt
F {f(x)}.
1 roo
-I2ir J-oo -ixf(x)
1
exp (-ikx) dx
roo d
-I2ir dk
J-oo
F {(-ixt
f(x)}
dknF {f(x)}
(n
:kF {f(x)}.
= 0,1,2,
...,p) .
3. Dadas dos funciones g(x), h(x) E .c(IR) se denomina producto de convolucin (g * h) a la funcin
r+oo
f(x)
Entonces
= J-oo
g(s)h(x-s)ds=g*h(x).
se cumple que
F {g * h} = F {g} . F {h} ,
....
ESPACIOS
64
DE HILBERT
+00
+00
f(x)e-ikxdx
-00
{1
h(x - s)e-ikXdx} ds
h(t)e-ikte-ikSdt} ds
-00
g(s)h(x
-00
- s)ds
e-ikxdx
1.
de transformadas
de Fou-
+00
:F{l} = y r.c.
27r
-00
e-ikxdx = v21f8(k).
:F
= -
V21i
-
+00
1-00
'
k'
'
e~ xe-~ xdx=
V21i
+00
k ')
'
e-~ (k -
xdx
-00
v21f8(k - k').
:F{8(x
1
-
x')} = -
+00
V21i -00
'
V21i
'
2.21 Problemas
resueltos.
F{
-x2/a2
65
+00
-x2/a2
} = y2nro= 1
-00
-ikx
dx=
a_!!
Me
y2
2 2
L
4.
ProDrema'S- resueltOS.
~.2r
Problema
2.1
-i-
.- Demostrar
la desigualdad
I(, V) 1 :S
lIll
de Schwarz:
. 111111.
'VA.
Tomemos ahora A = - (, V)*/ (v, V). Sustituyendo este valor en la desigualdad anterior, tenemos
4'f,w) =
(,) - (,V)...
- (,v)(V,V)
(,V)* + (,v)(V,V)
(,V)*
(v,(,V)*
V)
... ...
(u, u ) -
(,V) (,V)*
1'"
2: O
v,v
=?
lIll 2. 1111112
2: I(, v)12 ,
2.2 .- Demostrar
Por defiriiin
Al\.
'A~J:.
I
I
..L
1\
11"
Al) -1>,4
la relacin
[AB,e] =AEe-eAB
............
66
ESPACIOS
DE HILBERT
[~>I,'~k] t.:
~
[X.,k].
[~x., ~k]
Problema
=1-
L:AiEk
- L:EkAi= L: (Ai~ i,k
i,k
i,k
L:
[Ai,Ek]
i,k
EkAi)
A y E dos
2.4 ,- Sean
en general, eAeB
Formalmente
que,
00
eA
= L..,,
'" -.!.. An '
n=On.
donde AO = 1. As
00
eAeB = L:
00
L: -;~AnEm.
n=Om=O n. m.
eAeB
'"
L.., '"
L..,
N=Om=O (
00
1 AN-mEm
N -1 m ) ! m!
()
= '"
~ '" N AN-mEm,
L.., N! L.., m
N=O
m=O
r::'J: ,",17)--")r",,.v...
2.21 Problemas
(""_'n .,I~)
'),
resueltos.
67
t-
eA+B
Sinembargo,en general A y
= N=O
L ~! (A+E)N.
(A+ E)N
se puede desarrollar
y Bconmutan (ya que entonces podemos reordenar los trminos que aparecen
~
en la expansin directa de
A+B
).
Problema 2.5 .- Dado un operador A(A) que depende de un parmetro A,se define la derivada con respecto al parmetro en la forma
dA(A)
dA
e-+O
d
dA AB
~~
( )
dA B
~-1
ddA
(A-1)
-A
~dE
+ A dA
dA ~-1
dA A
= A(A+c) [E(A+C)
-E (A)]+ [A(A+C)-A(A)] E(A)
c
c
.J
68
ESPACIOS
DE HILBERT
el lmite E
Oobtenemos la relacin pedida.
Para la segunda relacin, consideremos ahora la identidad A(A)A-1(A) =
y apliquemos la frmula anterior. Puesto que el operador identidad no depende
evidentemente de ningn parmetro, resulta
y tomando
~-1
+ A(A) dA
(A) = O,
A-1,
~-1
dA dA(A)
= -A-1(A)
dA(A)
dA' A-1(A)
Ntese que no podemos escribir el resultado en la forma
'1..
- [A-1(A)f (dA(A)jdA)
pues, en general, no est garantizado que A(A) conmute con (dA(A)jdA).8
Problema 2.6 .- Calcular
radores eAA y eAAeAB.
las derivadas
con respecto
a A de los ope-
= n=O
L ---;-
exp (AA)
:A exp (AA) =
= t,
nAn~?n
A~~~A~~'
A = (~A:n
= AexP(AA).
Aplicando ahora la regla de la derivada del producto, que hemos visto en el
problema anterior,
d (eAA)
dA
d (eAB)
= A exp (AA)
-
exp
(AA) . (A + B) .exp(AB) .
2.21 Problemas
resueltos.
69
Problema
en serie
2.7 .- Suponiendo
de potencias
de ). para
el operador
una expresin
(A- )'B)
-1
Escribamos
00
(A-
)'B) -1 = n=O).ncn,
(A-
00
= n=O
).n (A - )'B) Cn= ACo+ n=O
).n (ACnIgualando ahora los coeficientes de las sucesivas potencias
ACo =
ACn -
BCn-l
:::}
Co= A-1
:::}
Cn
=A
~-1
BCn-l)'
de ). obtenemos
~~
BCn-l,
de modo que
~
(A-
)'B) -1
A-1
(A- )'B)-1
Problema
= A-1
= O podemos
cial de un operador A.
de la representacin
matri-
70
ESPACIOS
a) Demostrar
b) Demostrar
para
todo
que si A es hermtico,
que para un operador
DE HILBERT
= Aji.
entonces
Aij
unitario
fJ se
=1
tiene IIUliI2
i.
a) Para un operador
Aij
cualquiera,
L:
!Ulil2
1
L:(e,fJeir
(e,fJei)= L:(fJei,e)
(e,fJei)
1
1
1'"
..'
A es hermtico,
que si
entonces el ope-
i - ""
-n
~A
-6, n.
n=O
~n
As,
(ei) t
= n=O(-ir
(An) t .
n.
= n=O(--:;nAn = e-i.
e-iei
= e-i+iA= eO= 1
ei-i
= eO = 1
conmutan.
2.21 Problemas
resueltos.
71
de vectores
{ea~l
Demostrar
que la condicin necesaria y suficiente para que {K}:l
lJl1tl1fflbMn UnH b.~ lJrtanarmal
de U es que el operador [j sea
unitario.
SUpongamos
inicialmenteque fJes unitario.
Entonces
{K}:l
es ortonormal.
fjtiJ =
Aplicando
ahora
Ciei.
i=l
00
00
fjfjtiJ
..
i=l
cifjei
=?
iJ= Cih
i=l
{ }~
Veamos ahora la recproca, es decir, que si {K }~ es una base ortonormal,
~=1
~
fjtfjei
fjt
00
h=
(ej,fjt h)ej =
j=l
j=l
00
(fjej, h)ej =
j=l
(1;,h) ej
= 8ijej = ei,
de modo que necesariamente fjt fj = f. Anlogamente,
00
fjfjtei
= fj
00
00
n
n
= (1;, ei) fjej = (1;,ei) 1; = ei
j=l
j=l
.t
72
ESPACIOS
DE HILBERT
A en
de un operador
la base
{ei}.
de la representaci6n
Obtener
ma-
los coeficientes
de
la representaci6n
matricial de dicho operador en una base {;} relacionada con la anterior mediante el operador unitario fj (es decir
; = fjei).
-+
-+
~~
Aij == !i,
Ah
~~
~t
es decir
,
. ..'
m,n
de ambas bases.
Problema
siguiente
9n(X)
= exp(-n2x2j2).
Calcule
la norma
del n-simo
.c2 (IR) y la
general es
elemento
de la
119nll
+00
-00
e-(nx)2
dx
~
n
1-00+00 e-u2du
= 71"1/4.
y'
2.21 Problemas
73
resueltos.
en concreto, la convergencia de una sucesin se entiende siempre como convergencia bajo la norma en cuestin. El segundo clculo no ha sido entonces
correcto, ya que hemos tomado como criterio de convergencia la "convergencia
puntual" y no la convergencia asociada a la norma.
Aun as, la respuesta no es totalmente satisfactoria, puesto que parece que
hay una diferencia entre la convergencia puntual (aquella que parece ser ms
intuitiva) y la convergencia asociada a la norma. Esta aparente contradiccin
se soluciona acudiendo a la teora de la medida (desarrollada, entre otros, por
Borel y Lebesgue) y redefiniendo el concepto de integral definida. Sin entrar
en detalles, la norma de la funcin 9 (x) E /:,2(IR)puede evaluarse como sigue:
Ilull=
lim
8--.0
(}
),
} +8
-00
..
2.13 .- Definamos
el operador
hermtico
X=
x de /:,2 (IR)
(x-a)T/(x)
=0,
por lo que la nica solucin posible es una funcin T/(x) que sea nula para
todovalor de x excepto para x = a. Ahora bien, si T/(a) es finito, entonces
dicha funcin es la funcin nula (recuerde la discusin sobre la convergencia
puntual). Por lo tanto, X carece de espectro puntual.
Ahora bien, si tratamos la delta de Dirac como una funcin normal, la
ecuacin de autovalores admite la solucin
T/(x)=8(x-a),
..
74
ESPACIOS
DE HILBERT
con a cualquier valor real. Por tanto, el espectro de X es continuo y las autofunciones correspondientes son las deltas de Dirac. Fjese, por otro lado, que
dado un vector 9 (x) de .c2 (IR),su coordenada a-sima en la base de deltas de
Dirac es simplemente el valor que toma 9 (x) en el punto a, ya que
r+oo
g(a)
J-oo
g(x)
8(x-a)dx.
Problema 2.14 .- Sea A un operador hermtico en un espacio de Hilbert 1t. Demuestre que si existe una base orto normal de 1t formada
por vectores
propios
A, entonces
de
A carece
de espectro
continuo.
Sean el, e2,... los vectores propios de A con autovalores al, a2,... que forman una base ortonormal del espacio de Hilbert. Consideremos un nmero
real a tal que a i= aj "i/ j. Dadoun vectorgenricou = j Uje'j normalizado,
se tiene que
Au = L ajuje'j
..'
y, entonces,
Au -
La n~a~,
au=
L (aj - a)uje'j.
j
entonces,
IIAu-aull =
L (aj - a)2IujI2.
j
Para probar el teorema, basta comprobar que IIAu - aull no puede ser arbitrariamente pequeo. Para ello, definamos .6. como el menor valor que toma
la diferencia laj - al, que por hiptesis es estrictamente finito. As:
IIAu-
aull ~
J
E""lu;I'
..
2.21 Problemas
75
resueltos.
que el dominio
</>(1).
operador
se restringe
a funciones
tales
que
</>(O)
a) Sean </>
(x) y r~) dos funciones del dominio de Px. Se tiene que
(</>,Pxr)
e, integrando
d:~X) dx
por partes,
= -i
(</>,Pxr)
..
[</>*
(1) "1(1) - </>*
(O) "1(O)] + i 11 d</>d~)*
"1(x) dx
(-id~~X))
* "1(x)
Como, en general,
</>*
(O)"1 (O)] + 11
O, entonces
=1=
dx
(</>,Pxr) =1=(Px</>,"1)
{ O
si n + m es par,
(Px)
Pn
"'
P21
P22
P23
P24
...
P31
P32
P33
P34...
P41
...
'.
,=(
1i
l~i
-1i
\fi
~4.
-7~
2ii
O
08.
-15~
-l;i
O
'.
76
ESPACIOS
DE HILBERT
Ntese que la representacin matricial es una matriz hermtica (esto es, que
coincide con su traspuesta conjugada) aunque el operador no sea hermtico.
Fjese que en espacios de Hilbert de dimensin infinita la representacin matricial no define unvocamente al operador. En efecto, si cambiamos el dominio
del operador de manera que BF sigue perteneciendo al mismo, la matriz representativa en esa base seguir siendo la misma.
Conviene que reflexionemos un poco ms sobre este hecho, ya que podra
"demostrarse" que Px con el dominioindicado es hermtico. Si {4>n}y {1]n}son
las coordenadas de 4>(x) y 1](x) en la base de senos, usando la representacin
matricial y el hecho de que la matriz (Px) es hermtica
*
1], Px4>
~n,k
1]'kPkn4>n
(4), Px1]
( n,k
1]kP~n4>~
*=
~ 4>~Pnk1]k
( n,k
= (Px4>,1])
dx
= v2 1 -
cos mf
nw
={
23/2j (mf)
O
n Impar
n par
= n
Pknun, es decir
si k es impar
=
{
~impar
wn
2ikn
k2-n2
23/2
mI"
= -.i 11"wn
"impar
4k
k2-n2
si k es par.
~,
2.21 Problemas
resueltos.
77
4k
00
4k
1f
= -1ftan
= O en cualquier
(-k2 )
~
00
Pxu (x)
= Px
~
00
unXn (x)
\(
unPxXn (x}
~
00
Unn1f(n (x),
PxU (X)
3/2 ~
=2
L., (n (x) ,
n
Px1/Jp(x)
= Wp
(x) ~ -i dx 1/Jp(x)
= Wp
(x),
cuya solucin es
1/Jp(x)
= Aeipx
siendo A una constante arbitraria y p cualquier nmero complejo. Las funciones 1/Jp(x) as obtenidas son normalizables y pertenecen al dominio de Px, por
lo que el espectro puntual O"P(Px)es el plano complejo C. Naturalmente no
puede tener espectro continuo diferenciado, ya que el espectro puntual O"p(Px)
llena todo el conjunto de los nmeros complejos. No ha de sorprendemos el
resultado, ya que Px puede tener autovalores complejos al no ser hermtico.
e) Por lo que hemos dicho, al cambiar el dominio tanto la representacin
matricial como el resultado de la actuacin de Px sobre la funcin unidad
....
78
ESPACIOS
DE HILBERT
(O)1] (O)]
4>*
+ (Px4>, 1]) .
Pero ahora las funciones son iguales en O y 1, por lo que el trmino entre
corchetes se anula y Px con el nuevo dominio s es hermtico.
La ecuacin de autovalores
Px'l/Jp(x)
= Wp
Aeipx, pero ahora hemos de restringirnos al dominio del operador, esto es,
hemos de imponer que
'l/Jp(O)
= 'l/Jp
(1)
= {27rn
= 21m, con
n cualquier nmero
, ..
; n = O,::1::1,::1::2,...}
(x) <Xe27rnxi,
que son los elementos de la base exponencial de Fourier. Puesto que estas
funciones propias forman una base ortonormal del Hilbert, el operador carece
de espectro continuo.
Problema 2.16* .- Sea ahora el mismo operador Px de .c2 [O,1] pero
cuyo dominio son las funciones derivables de Cl [0,1] tales que se
anulan en x = O Y x = 1.
a) Demuestre que Px es hermtico.
b) Obtenga el espectro del operador Px
c) Calcule la representacin
matricial de Px en la base de senos
BF
2.21 Problemas
79
resueltos.
p1/1 (x)
-i d~ 1/1p(x)
= Wp (x) ,
cuya solucin es
1/1p(x)
= Aexp
(ipx) .
al dominio de Px y, en consecuencia,
= 0.
normalizado
1/1(x) E D(Px)
11(Px
p) 1/1(x)11
r
80
ESPACIOS
DE HILBERT
Surge entonces una duda. Ya vimos en el captulo anterior que, salvo constante multiplicativa, Px representar al operador de momento lineal. A su vez,
.c2 [0,1] ser el espacio de Hilbert asociado de los estados de una partcula que
se mueve dentro del intervalo [0,1] (con las unidades fsicas correspondientes).
Cul de las tres realizaciones que hemos visto de Px representar al momento lineal? Como se comprobar en el prximo captulo, los operadores que
representan a magnitudes fsicas han de ser hermticos, pero esto no responde totalmente a la pregunta ya que todava tenemos dos posibles respuestas.
No vayamos ms all, es mucho mejor no restringirse a la pura matemtica
y razonar en trminos fsicos. Piense que la nica manera de tener la seguridad de que una partcula no escape de una regin es situando barreras de
potencial infinitas en los lmites de la misma, lo que fsicamente no parece
muy razonable pues deberamos preguntarnos entonces sobre cmo construir
fsicamente una pared infinita. Por tanto parece muy forzado el suponer que
.c2 [O,1] sea un espacio "fsico", y en todo caso describir una situacin ideal
imposible de alcanzar fsicamente. No es entonces extrao que el formalismo
plantee algunas ambigedades.
c) La representacin matricial es la misma que se ha calculado en el pro;-,
blema anterior.
Px = -id/dx de .c2 (JR)
son las ondas planas
Problema
2.17 .- El espectro del operador
es toda la recta real JR y sus autofunciones
TJk(x)
de
normalizacin.
Dada una funcin 9 (x) E .c2 (JR), halle sus "coordena..;.
das" en la base de autoestados
de Px.
Puesto que las TJk(x) constituyen una base de Fourier, cualquier funcin
g(x) puede escribirse de la forma
(+oo
g(x)
donde la coordenada
= J-oo
g(k) TJk(x)dk,
por el producto escalar en .c2 (JR)
1
+00
9 (k) = 1-00
Esto es,
conocida
TJ'k(x) 9 (x) dx
9 (k) no es ms que
9 (k) conocemos
+00
9 (x) =
1-00
I?C
y2~
+00
-00
+00
y 2~ -00
2.21 Problemas
resueltos.
81
de
de
a)
b)
2.18.-
Sea el operador
hermtico
K = P;/2 = - (1/2)cP/dx2
.c2(JR), cuyo dominio son todas las funciones derivables dos veces
cuadrado integrable.
Demuestre que K es positivo.
Calcule su espectro y las autofunciones
correspondientes.
K).
con K >
O.
K planteemos
1 d
-'2 dx217(x) = K17(x) ,
=}
K17 (x)
formalmente la ecuacin de
A eiy'2K:x + B e-iy'2K:x
arbitrarias.
Por tanto,
el espectro de
K es
igual
-e1
V'Er
iy'2K:x
c e-iy'2K:x
y21f
e~k x
17(x)
e -ikx
=A V'Er+B V'Er'
82
ESPACIOS
DE HILBERT
a) Para demostrar que es hermtico hay que comprobar que para dos funciones cualesquiera 9 (x) y h (x) pertenecientes a su dominio se cumple que
11
g*
(x) K h (x)
dx
(Kg* (x))
= 11
h (x) dx
{lIt
=!
2 10
=!
(integrando por partes una segunda vezy usando el hechode que h (x) tambin
se anula en Oy en 1)
=_! 2 10
{ld2g*(x)h(x)dx=
dx2
(1 (K9*(x))h(x)
10
dx,
K.
= Kr(X)
1~
=>
= Kr (x),
= Aehl2"Kx + Be-i..;'2Kx.
A+B
Aei..;'2K+ Be-i..;'2K
De esta manera, A = -By,
= O
por tanto
e i..;'2K
e-
i..;'2K .
O.
2.21 Problemas
resueltos.
83
(T
(k) = { ~ = ~2 n2,
= 1,2,...}
'T/K,(x)
=A
= a sin (mrx)
[eimrx - e-imrx]
2.20 .- Sean
definidos en L2 (ffi.).
a) Demuestre
que ambos
..
el operador
operadores
b) Obtenga
una b~e o!:tonormal
por autofunciones
de K y TI.
<jJ
(x) es TI<jJ
(x)
= <jJ(-x)
conmutan.
(impropia)
y TI conmutan.
de L2 (IR) formada
As, sea una funcin
cualquiera <jJ
(x) E L2 (ffi.). Entonces
kTI<jJ(x)
1 d2
---<jJ(-x)
2dx2
TIk<jJ(x)
Id?
TI ---<jJ(x)
2dx2
~
d2
ld2
KTI
= TIk =}
[fi,k] = O.
b) Pasemos ahora a la construccin de la base ortonormal.
que para el operador
de autofunciones
Es fcil ver
(en sentido
generalizado) es
BR: =
J21f
J21f
q;?:O
--------
.-84
ESPACIOS
DE HILBERT
1/;q,+1(x)
1 exp (iqx)
= V2
V2ii
1/;q,-l (x)
1 exp (iqx) -
V2i V2ii
1 exp (-iqx)
V2 V2ii
= ~ cos ( x)
.:r q
~V2i expV2ii
(-iqx) = ~ sin (qx)
.:r
,
K, pero
TI1/;q,+1(x)
1/;q,+1(-x)
TI1/;q,-l(x)
= 1/;q,+1
(x)
(esto es, el coseno es una funcin par y el seno es impar). Por tanto, 1/;q,+l(x)
es autofuncin de la paridad con autovalor +1, mientras que 1/;q,-l(x) lo es
con autovalor -1. En definitiva,
BR fi =
,
de
K y TI simul-
Problema
2.21 ,- Sea
un operador unitario en un espacio de Hilbert. Prubese
que todo valor propio de U tiene mdulo unidad.
Uv= av.
Por otro lado, ya que
Ues unitario
11vII
=
-
que si a E (j c(U) el
1......-
..
2.21 Problemas
85
resueltos.
FcjJ(x)
cjJ
v 211" -00
funcin
cjJ(x)
y, como consecuencia,
1:,2(IR) para
+00
Ft
F transformada
+00
el operador
v 211" -00
probar
cjJ
que F es unitario.
(4?(x), FcjJ(x)
(4?(X),
cjJ
+00
4?*(X)
-00
Reordenando el integrando
puede escribir como
V 211"
dY)
+00
-00
dentro de la integral
dy
dx
{+oo
J-oo
(Ft4?(y),cjJ(y),
(4?(x),FcjJ(x)
1
(+oo
~J-oo
4?(x)exp(ixy)dx
cjJ(y)dy
donde
+00
Ft 4?(y)
c
v 211" -00
(+oo
J-oo cjJ (y) exp (-ixy) dY)
Asimismo,
FtFcjJ(x)
~t
1
1
1
-
(~
{+oo
J-oo
{+oo
J-oo
(+oo
( V211"J-oo
1
{+oo
( V211"J-oo
exp (iz (x - y dZ
(+oo
J-oo l5(x - y)cjJ(y)dy = cjJ(x),
cjJ
(y) dy
.
86
ESPACIOS
DE HILBERT
(g (x) , d~~X) = -
(d~~) , <p(X)
donde la derivada de 9 (x) ha de entenderse en el sentido usual. Obviamente, esta "definicin" es una simple consecuencia de la aplicacin de la integracin por partes.
Sin embargo, consideremos
una funcin <p(x) que es discontinua
en x = a. La derivada usual de <p(x) est siempre bien definida,
salvo
en el punto
a donde
la funcin
no es derivablej
pero
la
d9 (x) , <p(x
dx
) = J~
dx
d9 (x) , <p(X
dx
) = (J
lim
6-+0
a-6
-00
=
(d~~X) , <p(x)
que <p(x)
(x) dx
a-6 9 (x) d<P
dx
J-oo
+00
a+6
(X) dX
9 (x) d<P
dX
),
'
T
2.21 Problemas
resueltos.
87
(d~~) ,cP(x))=
- [g(x)
[cP(a+) -cP(a-)]
( a-8
-lim
J-oo
8-+0
8(x-a)dx
(x) dX
9 (x) dcP
[+00 9 (x) dcP
dx(x) dx + Ja+8
dx
dgdx(x) , cP(x)
a-8
-lim
8-+0
-00
dcP(x)
g(x)- d
x
+ 8),
dx
[a+8
+
Entonces,
9 (x)
J[+00
a+8
8 (x - a) dx
).
dcP(x) dX
dx
en el enunciado) se obtiene
dcP(x)
-;;- =
.!!:.-cP
(x)
si x # a
~(a+) - cP(a-)] 8 (x - a) si x = a.
2.24 .- Considrese
la funcin normalizada
si Ixl 2: 1
qI(x)
={
perteneciente
a !:-2(~).
a) Calcule las coordenadas
ondas
planas
b) Usando
T/k (x)
el resultado
vkeikX
(l-Ixl)
~(k)
si Ixl ::; 1,
de la funcin
cP(x) en la base de
de !:-2 (~).
anterior,
(R) =
4>
(<jJ,RcP),
siendo R = (-lj2)d2jdx2.
I
I
J
88
ESPACIOS DE HILBERrI
calcule (R >1>
.
~(k)
a) La coordenada
00
cjJ(k) =
-00
f/;'(x)cjJ(x)dx=
!f"2(1-lxl)dx.
-1 Vm=e-zkx
27f
~(k)
(3
=
-
J-1 COSkx
(1 - Ixl) dx
"2 V -:
(31-cosk
V -: k2
(3 (1
= V Jo
-:
(1 - x) cos kx dx
Kf/k (x)
1 2
= -k
2 f/k (x).
De esta forma,
/ R = (<X)
\ )1> J
-00
k2
2
~(k)
1
dk
=~
27f
1-
(<X)
-00
COSkX
2 dk
"
=~.
2
c) Podemos escribir
R = -~d~ (d~)'
La primera derivada de cjJ(x) es
si Ixl 2 1
Afi.
dcjJ(x) =
dx
{ -Y2
si x E (-1, O)
si x E (0,1) .
Por lo tanto, ya que dcjJ(x) /dx es una funcin discontinua, la segunda derivada
ha de hacerse en el sentido de las distribuciones. Puesto que en x = -1
tenemos un salto
un tercer salto
3/2, en x
KcjJ (x)
O un salto -2J312
y, por ltimo, en x
1 d2
---cjJ
2dx2
(x)
-~[!f6(X+1) - 2!f6(X)
~ -!8(X+1)+8(X)-!8(X-1)
V"2 [ 2
2'
+ !f6(X -1)]
]
2.21 Problemas
resueltos.
89
~:
0.
cP*(x)
K es
[-~8 (x
+ 1) + 8 (x) - ~8 (x -1)]
V"2 [ 2
dx
=~
]
2'
cP(a)
De esta manera, 8a debe interpretarse como la aplicacin tal que a cada funcin
cP(x) le hace corresponder el valor de la misma en x = a:
8acP (x)
..
= cP(a)
Por tanto D8a es la forma lineal tal que al actuar sobre una funcin nos da el
(D8a)cP(x)
= -cP'(a)
-00
8'
---
!)
Captulo 3
POSTULADOS DE LA
MECNICA CUNTICA
l~_? .Descripcin
11
2.~, r X---
de los sistemasrScos:PostuHldos
--------------
. En la Fsica
1"""""'
92
POSTULADOS
DE LA MECNICA
CUNTICA
..
3.2 Descripcin
de los sistemas
fsicos: Postulados
1 y 2.
93
Ito =
(xo,po) de
..
1""""'"
94
POSTULADOS
DE LA MECNICA
CUNTICA
dos {1./Jto'
1./Jtl,1./Jt2'
oo.,1./Jtn,oo.}. Como en el caso anterior, de entre las infinitas
sucesiones de vectores en el espacio de Hilbert, slo una corresponder a la
evolucin real del sistema. La condicin de ligadura (esto es, la ecuacin
dinmica) que deben satisfacer los vectores de esta sucesin ser objeto del
postulado 5.
. Un observable
es cualquier variable dinmica A susceptible de ser medida (la posicin, el momento lineal, el momento cintico o angular, la energa
mecnica, etc.). En este sentido, el tiempo t no es un observable, sino que
es un parmetro que ordena los diferentes estados cunticos por los que pasa
el sistema en su evolucin dinmica. En un captulo anterior ya hemos dado
razones por las que cabra esperar que los observables deberan venir representados por operadores hermticos. Esto es precisamente el contenido del
segundo postulado.
POSTULADO
2.- Sea un sistema fsico cualquiera y sea 11 el
espacio de Hilbert de los estados correspondiente. Cada observable
A de dicho sistema fsico se representa mediante un operador lineal
hermtico
Puesto
ortonormal
A que
que el observable
es un operador hermtico, existe una base
del espacio de Hilbert formada por autovectores de A. En esa base
..
de un observable:
Postulado
3.
95
mientras que los operadores que representan a observables fsicos no dependen explcitamente del tiempo. Existe una formulacin alternativa
(la llamada imagen de Heisenberg) en la que los vectores de estado no
cambian con el tiempo mientras que s lo hacen los operadores. En cualquier caso, los resultados fsicos que se obtienen son los mismos ya que
dichos resultados surgen, como veremos, de la aplicacin de operadores
a vectores de estado.
de !!!!. o6sei~151~:.:J:~
POSTULADO
3.- Consideremos un observable A representado
por el operador hermtico A que acta en el espacio de Hilbert de
los estados.
a) Al realizar una medida del observable A en el estado cuntico 'l/J,
los nicos resultados posibles son los autovalores (ya sean discretos
o continuos) del operador A.
b) La probabilidad de obtener en dicha medida el valor a est dada
por
(3.1)
Prob1/J(a) = IIPa'l/J112,
donde Pa es el proyector ortogonal sobre el sub espacio de autovectores de A con autovalor a, esto es, el operador que proyecta el
estado 'l/Jsobre el sub espacio asociado al autovalor a.
Evidentemente, si el autovalor es no degenerado, el subespacio asociado ser simplemente el subespacio de una dimensin generado por el vector propio 'Pa tal que
A<pa
= a'Pa y entonces
~
a no degenerado
=* Pa'ljJ = ('Pa,'ljJ)'Pa
,....
POSTULADOS
96
DE LA MECNICA
CUNTICA
En el caso en que el autovalor a sea degenerado (con degeneracin g), utilizando una
base l.fJi (i
tendremos
9
degenerado
=> Pa'lj=I:(l.fJa,i''Ij)
i=l
I:
(l.fJa,i'
'Ij) 12 ,
i=l
En primer lugar el postulado 3 afirma que al medir A slo se puede obtener un autovalor del operador A (bien del espectro discreto o bien del espectro
continuo). La segunda parte establece el carcter netamente probabilstico del
proceso de medida: aunque el estado cuntico est bien definido, no podemos afirmar a priori cul es el resultado de una medida; a lo sumo podemos
establecer cul es su probabilidad de ocurrencia. Por ltimo, el postulado
cuantifica cul es esta probabilidad: la norma de la proyeccin ortogonal del
estado 'I/Jsobre el sub espacio de autovectores con autovalor igual al resultado
buscado de la medida.
~
Ejemplo:
Sea
A un observable
'Ij
= ~ <Palol +
<Pal,2 +
de
2i <Pa2'
Acon autovalor
al degenerado
A en el
..
de un observable:
Postulado
3.
97
1/J
=N
,x
(~
<Pal.l
~ <Pal.2 +
2i <Pa2) ,
111/J112=
INI2 x
(I~r
1~12
+ 12i12) =
1231NI2
por lo que
INI
= {K =} N = {KeXP(iS),
donde s es un nmero real cualquiera. Segn la discusin posterior al primer postulado, una constante multiplicativa de mdulo unidad no tiene
trascendencia
normalizado ser
{1
..
1/J
Al medir
26 <Pal.l
(9
+
J2/13
Y nuestro
estado
{16.
26 <Pal.2 +
V 26z
<Pa2'
{1
(9
V26<Pal.l + V26<Pal.2 =}
Pal1/J =
10
= 26 =
5
13
Y
~
Pa21/J =
Evidentemente,
{16.
V26z<Pa2
2
16
8
=} Probq, (a2) = IlPa21/J11
= 26 = 13'
~
A con autovalor
a,
98
POSTULADOS
DE LA MECNICA
CUNTICA
La
(3.2)
Prob1l'(a).
La
allPa'lj;112
= La
a
= Laa
hermtico,
('lj;,PaPa'lj;)= La
a
(Pa'lj;,Pa'lj;).
luego en el producto
('lj;,P;'lj;)= La
a
escalar lo
('lj;,Pa'lj;),
donde hemos hecho uso de la propiedad de idempotencia p2 = P de un proyector ortogonal. Si ahora consideramos que el producto escalar es lineal
(A)~
~aPa,p)
(,p,
= A, la
(3.3)
Esta demostracin est particularizada, por cQmodidad, al caso de un espectro puramente discreto o puntual, pero es fcil comprobar su validez general.
Ejercicio:
anterior.
de un observable:
Postulado
3.
99
(~A)1P
de la medida
del observable
.i en
un
(3.4)
~a2 Prob,,(a)
- (~aprob~(ar
(~.i)1P =
V(A2)1P - (A)~
(3.5)
( (A-(A)Jt
.i y
observable A2.
A la desviacin tpica (~.i)1P se le llama tambin incertidumbre
vable A.
Ejercicio:
del obser-
de que al medir
1 obtengamos
f(a) = b. (Fjese que puede haber distintos valores al, a2,... tales que
f(al) = f(a2) = ... = b. Entonces la probabilidad pedida ser igual a la
suma de cada una de las probabilidades asociadas a los aj). Sin embargo,
demustrese que en general (1(1)) =Jf((1)).
Ejercicio:
Sea un observable
A y <pun autoestado
Calcular
la incertidumbre
de
1 en
1 con autovalor
siendo el autovalor
de
terior.
. En el enunciado del postulado 3 hemos afirmado que al medir .ise puede obtener cualquier valor espectral, discreto o continuo. Sin embargo, la igualdad
(3.1) presupone que a pertenece al espectro discreto. Esto no tiene que preocupamos. Si al medir .i pueden obtenerse valores a( s) del espectro continuo
.............
100
POSTULADOS
DE LA MECNICA
CUNTICA
(recuerde que s era el ndice que caracterizaba a los autovalores del espectro
continuo), no tiene mucho sentido el preguntarse por un valor determinado,
sino por un intervalo de los mismos. As, la probabilidad de obtener un determinado valor espectral del continuo cuando se hace una medida del observable
A, que est dada por (3.1), debe entenderse como
2
Prob1/J (a(s)) ds
(3.6)
= IlPa(s)'l/J1I ds,
A en el in-
S2
(3.7)
IIPa(s)'l/J1I ds
SI
de que al medir
A se tenga
[a (s) , a (S2)].
+ D.s)] ~ IIPa(s)1/I112D.s
Prob1{J(a) =
1(1/1,1/1)12 '
(3.8)
puede tomar un valor finito, aunque cada uno de los factores diverja.
Ntese que (3.8) es una expresin general que sirve tambin para estados
3.4 Reduccin
del estado
cuntico:
Postulado
4.
101
Ejercicio:
~u.ccin
~O
cti!:J"\:~QttiJ.!ig.o
. En el postulado
1:
l1li
11
I
111
Medida de A
'l/J(T-)
= cP
-*
en el instante T
da el valor a
-*
'l/J(T ) -
IlpacPll PacP.
(3.9)
11
11
......
102
POSTULADOS
DE LA MECNICA
CUNTICA
(T
1/;
(9
[16.
1/;(T+)
ffo
cj>al.l
!fa
cj>al.2.
icj>a2
(note que podemos eliminar el prefactor i, que es una constante multiplicativa fsicamente irrelevante).
medida posible.
Imaginemos
A tiene
que el observable
autovalores
positivos
A.
Ello
no quiere
decir
que
la medida
sea imperfecta,
sino
solamente
del mismo. Entonces, si 4> = 'ljJ(T-) es el estado cuntico inmediatamente antes de la medida, el estado inmediatamente posterior a
sta ser
N
+ 'ljJ(T
) -
1
11 N
Lj=l
,,~
~Paj4>.
~
Paj 4>11 j=l
(3.10)
3.4 Reduccin
del estado
cuntico:
Postulado
103
4.
= ~ CPl + ~
2
cP
J2
+ exp(i7r/6)
CP3,
A con autovalores
A y su incertidumbre
en el estado wo?
Probwo( -a)
111
4 ; Probwo(a)
= 2 ; Probwo(2a) = 4'
(Aho
mientras que
1
(A2)wo
=4
1
x (-a)2
2x
1
(a)2
+4x
(2a)2
7
4a2.
Por lo tanto
(~A)wo
= V(A2)wo- (A)to =
~a2
4
(~a) = V9
2
4'
104
POSTULADOS
DE LA MECNICA
Medida de A
CUNTICA
Haz #1:
2500 partculas
en el estado el>
1
Haz #2:
5000 partculas
en el estado el>
2
Haz inicial:
10000 partculas
en el estado el>0
Haz #4:
7500 partculas.
Mezcla de los
haces #2 y #3
Fig.3.1. El dispositivo de medida desva cada partcula en funcin del resultado -a,
a o 2a de la medida de A. El segundo dispositivo mezcla las partculas para las que
haba dado resultado positivo (>0).
la medida de
= 1170M
7';,/6'
(~M
(~M
~311
exP(~./6)
~3
exp(~. /6) ~3
)
)
JI4>2+ exp(i7T/6)
y'3 4>3
y entonces
2
J2
<P3,
donde la interpretacin
de los estados <Pjes la del ejemplo anterior. Supongamos que este haz atraviesa un dispositivo que efecta sobre cada partcula una
Medida de A
Haz inicial:
10000partculas
en el estado 4>0
105
Haz #5:
2500 partculas
en el estado 4>
1
Haz #6:
7500 partculas
en el estado \fIF
Fig. 3.2. El dispositivo de medida desva ahora cada partcula en funcin del signo
de la medida de A, pero dicho dispositivo no es capaz de discernir valores concretos
de A.
medida de A (vase la figura 3.1). El dispositivo es tal que cada partcula sale
en un haz distinto segn haya sido el resultado de la medida. De este modo, el
nicohaz entrante se separa en 3 haces: el primero (nO 1) contiene partculas
en el estado cuntico <1>1;
el segundo (nO 2) est formado por partculas en el
estado <P2;por ltimo, el tercer haz (nO 3) contiene partculas en el estado
~3' Si el haz primitivo est formado por 10000 partculas, como N = 10000
es un nmero grande, podemos afirmar que aproximadamente en el haz n 1
hay N x 1/4 = 2500 partculas, en el n 2 hay N x 1/2 = 5000 partculas y
en el n 3 hay N x 1/4 = 2500 partculas. Para terminar este experimento,
mediante un segundo dispositivo nos limitamos a reunir las partculas,
sin modificar sus estados cunticos, de los haces n 2 y n 3. En este nuevo
haz (nO4) habr 7500 partculas, de las cuales 2500 estarn en el estado <P3
y las otras 5000 en el estado <P2' Diremos que este ltimo haz est formado
por una superposicin incoherente
de partculas en los estados <P2y <P3en la
proporcin 2:1.
Analicemos ahora un segundo experimento. De nuevo tenemos 10000 partculas en el estado \]io que atraviesan un dispositivo que mide el signo del
observable A (figura 3.2); si es negativo, desva la partcula hacia arriba y
si es positivo, hacia abajo. De esta manera, el haz primitivo se rompe en
dos haces: las partculas del haz n 5 estarn en el estado <Pl,mientras que
las partculas del haz n 6 estn en el estado \]iF. Naturalmente, hay 2500
POSTULADOS
106
DE LA MECNICA
CUNTICA
II
Prob~~)(b) = 1('l1F,<I>2)12
= 2/3. Por otra parte, si la partcula que llega al
detector est en el estado <1>3'
la probabilidad de obtener b es Prob~~)(b) =
1('l1 F, <1>3)
12 = 1/3. Combinando estos resultados tenemos que la probabilidad
(Probcla(<I>2)x Prob~~\b))
(Probcla(<I>3)x Prob~~)(b))
(~ x ~) + (~ x ~) = ~
3
Ejercicio:
9'
y 'P3
obtenga
(<1>2
8 cuyos
normalizados
- <1>3)
/ J2.
valores espectrales
respectivos
107
'P1 = <1>1'
'P2 = (<1>2
+
<1>3)
! J2
8 se
,........-
POSTULADOS
108
DE LA MECNICA
CUNTICA
:rJL..1;omJ!a~ncer~
.1.p~i\f~a )
. En
del forma-
Ay By
un estado
cuntico
1>. En el instante
T- me-
T+ volvemos a medir
A.
Diremos que
A y B son
me-
dibles simultneamente
a un autoestado
Anl.
'f'a, 1
tal que
7/Ja,l ex:p~A)1>
'Pb,l de
B y tras
B con
= a7/Ja , l'
(3.11)
dado por
'Pb,l ex:p~B)7/Ja,l ex:p~B) p~A)1>
tal que
B'Pb,l
= b'Pb,l'
(3.12)
de
A con
En otras palabras,
autovalor
a.
si los observables
A y B son
compatibles
entonces
'Pb,l ex:
3.5 Compatibilidad.
Relacin de incertidumbre
109
generalizada
DEFINICIN: Dos observables A y 13 son medibles simultneamente si dado cualquier autoestado 'l/;ade A, con autoval~ a, su
proyeccin sobre cualquier subespacio de autoestados de B sigue
siendo autoestado
de
A con
igual autovalor.
=:}
(p~B) p~)cP)
(3.13)
Dado que todos los proyectores son operadores hermticos, el producto p~B)p~)
es hermtico ya que es igual a un producto cclico de operadores hermticos.
Por tanto
~(B) ~() -
Pb Pa
~(B) ~()
Pb Pa
~()
Pa
13
..
~() ~(B) -
Pa
Pb
~(B) ~()
- Pb
Pa
=:}Pa
t) ( ) (Pb ) -
Pb
Pa
~(B)
~() ~(B)
Pa Pb ,
- Pb
Pa
Pa
~(B) ~()
- Pb
Pa
proyec!?r espectral
de
A conmuta
yector espectral de B.
Si ahora recordamos (vase el apartado 2.16) que si cualquier proyector
espectral de A conmuta con cualquiera de 13 entonces A y 13 son compatibles
(y recprocamente), obtenemos el importantsimo
TEOREMA (de compatibilidad): Sean A y 13 dos observables.
Todas las afirmaciones siguientes son equivalentes:
a) A y 13son dos observables medibles simultneamente.
.
110
POSTULADOS
DE LA MECNICA
CUNTICA
. Visto
A = f (B) ), puesto
que la medicin de
Ay
de
B.
A y B no
medir simultneamente (con total precisin, que en este contexto es una redundancia). Peor an, si medimos B en un autoestado 'l/Jade A, ni siquiera
'>
3.5 Compatibilidad.
Relacin
de incertidumbre
111
generalizada
. El concepto de compatibilidad que hemos analizado est directamente relacionado con el de preparaci6n de un estado. Supongamos que tenemos un
conjunto de partculas independientes, cada una de ellas en un estado cuntico
distinto. Sobre estas partculas realizamos una medida filtran te de un observable
A que
de
esa medida haya sido un valor concreto a. Sabemos que todas estas partculas
"filtradas". estn en un estado cuyo autovalor a puede ser degenerado, por lo
que no podemos afirmar que todas las partculas estn en el mismo estado, sino
en el subespacio de Hilbert asociado a dicho autovalor. Para romper esta ambigedad, efectuamos justamente a continuacin una segunda medida filtrante
de un observable
'"
B, compatible
con
A, con
seleccio-
nadas tras las dos medidas estn en un estado que es autoestado simultneo
de A y de B. Podemos seguir con el proceso hasta completar un conjunto
de medidas de observables cuyos operadores constituyen un conjunto completo
de observables compatibles (CCOC). As, si a, b,c,... son los resultados de las
distintas medidas filtrantes de los observables A,B,O,...del CCOC, el estado
final tras el proceso est unvocamente definido: es el nico autoestado comn de A,B,O,... con autovalores a, b, e,... De esta forma, tras esta medida
maximal hemos preparado un estado cuntico: todas las partculas que hayan
"sobrevivido" a todos los filtros estn en el mismo estado. Ntese que, por
una afortunada casualidad, CCOC significa igualmente "conjunto completo de
observables compatibles" y "conjunto completo de operadores compatibles",
conceptos que en nuestro formalismo son equivalentes.
. Dados dos observables A y B consideremos un tercer observable construido
a partir de ellos: 0= -i[A,B], (O es hermtico, como vimos en el captulo
anterior). Sea entonces un estado normalizado cualquiera 'IjJ. Se tiene otro
teorema fundamental:
TEOREMA
(relacin de incertidumbre
generalizada):
Sean
(~A)1/J. (~B)1/J2: ~
(0)1/J
(3.14)
112
POSTULADOS
DE LA MECNICA
CUNTICA
(3.15)
A' = A -
(A)1/; j
B' = B - (B)1/;.
(~A)
1/; =
11A'1/;
11
(~B)
1/;
= IIB'1/;1I
(3.16)
mientras que, como todo operador conmuta con un escalar (y (B)1/;, (A)1/;
lo son)
[A,Bj = [A',B'j.
(3.17)
De esta forma
1(1/;, [A,B]
= 1(1/;,A'B'1/;)
(1/;,A'B'1/;)*1
- (A'1/;,B'1/;)*1=
I (A'1/;,B'1/;)
[A,
B]
1/;) 1
1/;,B' 1/;)
I (A'1/;,
B'1/;)
IIA' 1/;11.IIB'
1/;11'
y usando (3.16)
1
~ (~A)1/;' (~B)1/;'
~ 2
(~A)
1/;
. (~B)
1/; ,
de una partcula
113
con espn. *
que el producto
de las incertidumbres
de
Ay
de
B estar
acotado inferiormente para cualquier estado, siendo Icl/2 dicha cota inferior.
Como consecuencia, si 'ljJaes un autoestado (no normalizable) de A, no quedar
('l/Ja,AE'l/Ja) -
('l/Ja,Ekpa)
('l/Ja,EA'l/Ja),
=
(A'l/Ja,E'l/Ja)
A es hermtico.
de 'l/Ja'
a'l/Ja
-a
('l/Ja,E'l/Ja) =0,
(~,A~) = (A~,~)
slo es vlida para vectores del dominio de
malizables de rt.
EL-.espaw
A, que
llnlLRaruCii11i' co.g
~J1-*~
Los espectros de tomos sometidos a un campo magntico muestran ciertas
caractersticas especiales. Esto se explica por la existencia de un momento
....
POSTULADOS
114
DE LA MECNICA
CUNTICA
(3.18)
~s,
_en
J-tB= 2
meC
6 x 10-9 eVjGauss
(3.19)
B ser
..
""
=-
J-te. B
J-tB
= ge h
""
(3.20)
s . B.
debido a la relacin
'\7 . ii
= O.
Sin embargo,
s podemos
hacer que una de las componentes del campo sea mucho mayor que las otras dos.
de una partcula
con espn. *
115
- -
= -/-Le'
/-LB
= gen
szB (z),
F(z)
8B(z)
Sz= ge /-LB
8z .
+n/2y -/2.
Nota: en realidad, la descripcin que estamos dando es una descripcin
ideal. En la prctica, es imposible hacer un experimento de Stern-Gerlach
con electrones porque la fuerza de Lorentz sobre una partcula cargada
enmascarara la fuerza debida al momento magntico. El experimento de
Stern-Gerlach original (1921) se llev a cabo con tomos de plata neutros
en su estado de menor energa, para los que la situacin es completamente
similar a la que aqu estamos tratando.
,...
116
POSTULADOS
DE LA MECNICA
CUNTICA
(~)
representa
=~
bien definido
(~)
representa
el estado
de espn
con Sz
= -~ bien
definido,
SZ
= 2'
-1
)'
(3.21)
Sx
= 2'
O 1
1
( )
sy=2'
O -i
(i
(3.22)
cumple todas estas propiedades (adems de otras ms generales que se estudiarn en cursos ms avanzados).
El espacio de Hilbert de una partcula en una dimensin espacial es
el de las funciones <1>
(x) de cuadrado integrable. Si dicha partcula
tiene espn s = 1/2 (en referencia a los valores que toma una cualquiera de las componentes de S) y queremos incluirlo en nuestra
3.7 Evolucin
temporal
de los estados
cunticos:
Postulado
5.
117
descripcin, tendremos que usar el producto tensorial de los espacios .c2(JR)y C2 = C X C (vaseel apartado 2.17 sobre el producto
tensorial de espacios de Hilbert). Por tanto, el estado cuntico de
un electrn estar dado por un objeto que es una funcin de dos
componentes
[w](x) =
cP+(x)
cP- (x)
)=
cP+
(x) 0
1
O
()
+ cP-(x) 0
O
1
( )
= :f:~) = L IcPx(x)12dx
~7
~volucin
emDOrarae'OS_~scual!tic~~
D'oStutado 5J
..,
Los postulados
1 a 4 establecen
de los sistemas
cunticos. No hemos dicho nada, sin embargo, de la evolucin de dichos sistemas entre dos procesos de medida separados temporalmente. Necesitamos,
por tanto, un nuevo postulado que nos indique cmo es la dinmica en la M.C.
Recordemos en primer lugar lo que dijimos acerca del tiempo como parmetro tras el postulado 1. Para ser consistentes con la notacin all establecida
deberamos escribir los estados en la forma 'ljJt.No obstante, en esta seccin
escribiremos tambin 'ljJt= 'ljJ(t)sin peligro de confusin, pues slo tratamos de
establecer la relacin entre los diferentes estados o vectores 'ljJtnque constituyen
la evolucin temporal del sistema.
POSTULADO
operador
lineal hermtico
ii,
llamado operador
hamiltoniano,
tal
que:
a) Es el operador asociado al observable energa total del sistema.
b) Determina la evolucin temporal del estado 'ljJt= 'ljJ(t)del sistema a travs de la ecuacin:
()
in 8t 'ljJ(t)
= H'ljJ(t),
(3.23)
118
POSTULADOS
DE LA MECNICA
CUN TIC A
3.1 Evolucin
temporal
de los estados
cunticos:
Postulado
119
5.
..
exterior
no englobada
en
i).
'IjJ(t).
(3.24)
===>
in8~~t)'IjJ(0) = (ifj(t))
'IjJ(0)
,.,
120
POSTULADOS
DE LA MECNICA
CUNTICA
~n
8t
= i fj(t);
(3.25)
= f,
(3.26)
( ) L, ( )
it
U(t) = exp --H
~
00
it
n=On.
--
(3.27)
Hn.
Evidentemente, fj(t) no es un operador hermtico, por lo que no representa magnitud observable alguna. Sin embargo supone una representacin
muy grfica de la evolucin temporal del estado cuntico dentro del contexto
matemtico de la teora de espacios de Hilbert. A partir de la expresin anterior es fcil ~mostrar las siguientes propiedades del operador fj (t) para un
hamiltoniano H independiente del tiempo:
1. 'IjJ(t)
= fj(t
- 7) 'IjJ(7).
Esta igualdad muestra la mencionada invariancia bajo traslaciones temporales de un sistema en el que la energa se conserva. La evolucin entre
dos instantes depende nicamente del intervalo de tiempo transcurrido:
si 4>(O) = 'IjJ(7) entonces
4>(t) = 'IjJ (7 + t).
2. fj(tl + t2) = fj(tl) fj(t2)'
3. fj-l(t)
= fj(
-t),
fjt(t)fj(t)
como consecuencia
fjt(t)
= 1, con
fj( -t),
fj(t)fj(
-t)
= fj( -t)fj(t)
= 1.
lo que:
fj(t) es un operador
unitario y la norma
conserva en la evolucin temporal.
del estado
'IjJ(t) se
112
= ('IjJ (t),
'IjJ(t))
3.7 Evolucin
temporal
de los estados
cunticos:
Postulado
5.
121
y, por tanto,
111/J
(t) 112=
(8~t),
1/J
111/J
(t) 112= (1/J (t)
2Re (1/J(t)
,8~t))
111/J
(t) 112=
2 Re (1/J(t) , ~iH1/J
(t)) = 2 Re{ ~i (1/J(t) ,H1/J
(t)) } .
1/J
(t)) es
~1I1/J(t) 11= O
(3.28)
ga En. Supongamos
que para t
= O el
iHt
1/J(t) = exp ( -T
iEnt
) 'Pn,j= exp( -T
) 1/J(0).
(3.29)
--122
POSTULADOS
DE LA MECNICA
CUNTICA
asociada al observable
i 'Pn,j
(3.30)
En 'Pn,j ,
de Schrodinger
independiente
del tiempo.
(O)=
LL
n
"
podemos
9n
j=l
L L Cn,j(O)'Pn,j'
n
(3.31)
j=l
'IjJ(t) =
9n
Ln L
('Pn,j'
j=l
'IjJ (t))
'Pn,j =
Ln j=l
L Cn,j (t) 'Pn,j'
(3.32)
~~ ( ~ )
i
9n
. (t)
'Pn,j
= ~~Cn,j(t)H'Pn,j
9n
= ~~Cn,j(t)En'Pn,j'
Si dos estados son iguales, son iguales sus coordenadas en una misma base.
De esta manera ha de cumplirse
que
= EnCn,j(t),
i OCn,j(t)
Bt
(3.33)
...
123
(- i~nt)
(3.34)
'l/J
(t)
~~
Cn,j(O)'Pn,j
exp
"E
- ~ /'in
).
(3.35)
..
1
(E)o
= IJ51
/0
v2
+ J5
-i
102
-1
102+ I J51
I J5\
l + 3102+ 103
103
...!...
J5 {
e-i"-'lt".,
TI
= n/.
J5
(E)o,
v2I1'
- i(1'J
T2,1
T2,2
- e-i"-'at(1'J
T3 } ,
De esta forma
2
e-i"-'lt
(E)t
+ e-i"-'2t
J5
-ie-i"-'2t
v2e-i"-'2t
102
1
J5
-e-i,,-,at
102
J5
103
----...
124
POSTULADOS
DE LA MECNICA
CUNTICA
~lorr~emJ2orarreliltjxa a~ser~.
. Consideremos un observable A independiente del tiempo.4
Al igual que
hemos postulado cul es la ecuacin de evolucin temporal para un estado,
podemos obtener una expresin que nos seale cul es la evolucin del valor
esperado (Ak En efecto, a partir de la definicin de valor esperado,
i~ (A)t =i~
y como A no depende explcitamente
(1/1(t),A1/1(t))
de t, esto es
..
i~
(A)t=
(-H1/1(t),A1/1(t)) + (1/1(t),AH1/1(t)) ,
(1/1
(t) , (AH
HA)
1/1
(t)) .
(3.36)
t '
4Esto no quiere decir, ni mucho menos, que los valores esperados, o las distribuciones
de probabilidad, de las magnitudes fsicas asociadas a A no varan el tiempo, pues estas
caractersticas se obtienen a partir de vectores de estado que s evolucionan en el tiempo.
As, el valor medio de
A para
el estado
(A)t
cuntico
== (1/J (t)
1/J(t) normalizado
, A1/J(t)) ,
vendr
dado por
3.8 Evolucin
temporal
relativa
a los observables.
125
si y slo si
[A,H] = o.
(3.37)
. Si A es una constante del movimiento, entonces A y H son observables compatibles. As podemos construir una base del espacio de los estados formada
por autoestados simultneos de A y H. Sea entonces 'Pe,a,j esta base, donde
indica el autovalor de la energa, a el del observable A y j, como siempre, es
LL
e,a
y, para un instante
Ce,a,j 'Pe,a,j
de tiempo dado,
'lj; (t)
L L exp (-itj)
e,a
= O como
de tiempo,
Prob1f(a)lt =
Ce,a,j 'Pe,a,j'
la probabilidad
de que al medir
A se tenga
el
ICe,a,jI2
donde el sumatorio
muestra
Lvable
se extiende
un importante
movimiento, la probabilidad
de que al medir A se obtenga un determinado valor es constante
en el tiempo para cualquier estado
cuntico. Obviamente, la recproca tambin es cierta: si las probabilidades
son constantes en el tiempo, los valores medios tambin lo son y, por tanto, el
,...
~
POSTULADOS
126
DE LA MECNICA
CUNTICA
Hy
cualquier
Si queremos
constante
construir
del movimiento
un
eeDe que
tiene
contenga
del estado,
no a ninguna
:C9-ReJacin
peculiaridad
H).
especial de
B (que, por
de incerlId!iiPre
energ@:tiernp;t
(~A)t
T ==
(3.38)
gt(A)J
lA
)t+TA
lA )
\
+T
,
~ lA
\ )t
ut
5La deduccin completa del espectro de los operadores del momento angular se hace en
cursos superiores.
Baste saber que los autovalores de L2 y Lz tienen la forma indicada en el
texto, con g un entero no negativo y mi un entero.
~aclo
127
energa-tiempo.
I\A)t+T
-\A)tl~(~A)t'
Por tanto, el tiempo propio de evolucin es, aproximadamente,
el tiempo necesario para que el cambio en el valor esperado de un observable sea del orden
de la incertidumbre
del mismo. Figuradamente,
el tiempo propio de evolucin
vare
es el tiempo que es necesario que transcurra para que el valor medio de
de forma apreciable (variacin del orden de la incertidumbre
del observable en
temporal
(~A)
IGA,H])J
t
(3.39)
> ---=.
- 2~H
(3.40)
Esta es la llamada relacin de incertidumbre energa/tiempo. Ntese que hemos eliminado la dependencia temporal de ~H puesto que H es una constante
del movimiento. Ntese tambin que esta relacin no se establece entre las incertidumbres de dos operadores determinados para un cierto estado cuntico,
sino entre la incertidumbre
quier observable.
estadonario.
.
POSTULADOS
128
DE LA MECNICA
CUNTICA
. Otro
con
a'P1 + b'P2
lal2 + Ibl2 = 1.
de 'l/Jes inmediata:
ie1t
'l/J
(t)
( )
= aexp ---:
ie2t
( )'P2'
'l/J
(t)
( )
= exp ---:
x a'P1+ bexp
i(e2-e1)t
n
) 'P2'}
(t)
= a'P1+
(3.41)
donde J12
'l/J(t)
= 'l/J (t + nT)
n = 0,1,2,
oo.
27f
J12
=~
e2 - el
(3.42)
y, naturalmente, todas las propiedades fsicas del estado poseen similar evolucin temporal.
Ejercicio: Considrese que el estado cuntico es una combinacin lineal
de N estados estacionarios de energas l, 2,"', N' Demostrar que el
estado evoluciona peridicamente en el tiempo si y solo si la razn entre
las energas l, 2,oo.,Nes conmensurable, esto es si
l : 2 :
oo.
= nI
: n2 :
oo.
: nN
con todos los nj nmeros enteros. Cul ser entonces el periodo Tasociado a dicha evolucin temporal?
Sugerencia:
imponer
la igualdad
'Ij;(t)
'Ij;(t
deducir que para que exista una solucin T se tiene que cumplir la relacin
de conmensurabilidad entre las energas.
..
3.10 Observables
..
Postulado
129
6.
~ervables
I
I
jI
i
posicin y momento.
poslcion
y I~Illeito.
Postttl'ad~
. Hasta ahora los postulados de la M.C. son muy generales, en el sentido de que
no hacen mencin alguna a un sistema fsico concreto. A pesar de ello hemos
adelantado cul ser el espacio de Hilbert de los estados de una partcula que
se mueve en una dimensin. Volvemos a hacer hincapi que los postulados no
nos dicen cmo describir un sistema cuntico determinado; ha de ser el propio
fsico quien, tras el anlisis pertinente, sea capaz de encontrar la descripcin
que mejor se adapte al sistema.
Sin embargo, hay un punto que debe postularse: cul es la relacin entre los
observables mecnicos "clsicos" y su descripcin a nivel cuntico. Esto ltimo
es esencial, puesto que es preciso salvaguardar el carcter de la mecnica clsica
como "lmite" de la mecnica cuntica. En el estudio de la Mecnica Analtica
podr el lector comprobar el fuerte paralelismo entre algunos resultados de la
misma y este postulado que ahora enunciamos:
.
130
POSTULADOS
DE LA MECNICA
CUNTICA
POSTULADO 6.- Si en un sistema clsico las coordenadas cartesianas de la posicin son Xl, X2, ..., XN YP1,P2, ..., PN son sus momentos cannicos conjugados, entonces los operadores hermticos
X1,X2,... y PI,P2,... que representan estos observables en M.e.
deben satisfacer las reglas de conmutacin cannicas
[Xi,Xj] = [Pi,Pj] = O
(3.43)
[Xi, Pj]
= i
8ij,
A se obtiene
a partir de la expresin anterior sustituyendo las variables Xi,Pj por los operadores
Xi, Pj. Ntese que, en general, ser necesario reescribir convenientemente A en funcin de las variables Xi,Pj para que la mencionada
sustitucin d lugar a un operador hermtico.
entonces,
el operador
correspondiente
~,
= i.
(3.44)
Puesto que cualquier observable mecnico es funcin de X y P (y, eventualmente, del tiempo), entonces
A
= A (x,p)
A = A(X,Px).
(3.45)
~2
2mPx,
(3.46)
v = V(X),
(3.47)
3.10 Observables
posicin
y momento.
Postulado
131
6.
1~2
(3.48)
H = 2mPx + V(X).
Nota: Como ya hemos comentado, pueden surgir dudas en situaciones como la siguiente. Sea el observable clsico xp. Si efectuamos directamente la asignacin x --+ X y p --+ Px el resultado
ser un operador no hermtico. Sin embargo, si reescribimos la
expresin clsica como (xp + px) /2, entonces (XPx + PxX)/2 s
es hermtico y ste ser el operador que represente a la cantidad
clsica xp.
No obstante, la regla anterior para construir operadores cunticos a partir
de magnitudes clsicas tampoco est libre de ambigedades. Supongamos, por ejemplo, que queremos construir el operador cuntico asociado
a la magnitud clsica xxp. Si partimos de x( xp) llegamos a
1
"2(XXPx + XPxX)
~
1
(X Px + PxX + 2XPxX),
~2
~2
~2
~2
"2(X Px + PxX ).
(3.49)
--...
132
POSTULADOS
DE LA MECNICA
CUNTICA
<Pa)
(<Pa,AB<Pa) -
(<Pa,BACPa)
a (<Pa,B<Pa)- a (<Pa,B<Pa) = O
por lo que [A, B] no puede ser igual a un escalar (excepto en el caso de que
el escalar sea el cero) y debe ser igual a algn otro operador. En definitiva, si
el conmutador
de dos operadores
es un escalar, dichos operadores
no pueden tener un espectro discreto.
Ms an, el desarrollo anterior sugiere que los espectros de X y de Px
tienen que ser estrictamente continuos y que sus autoestados son impropios
(esto es, que no son estados normalizables del espacio de Hilbert). Como
consecuencia, la asignacin estndar:
Espacio de los estados -+ L:2(~)
Estados cunticos -+ FuncionesvJ(x) de cuadrado integrable
~..~
(3.50)
x-+X
tal que
p -+ Px
tal que
XvJ(x) = xvJ(x)
. d
~
PxvJ(x)
= -'lndx
vJ(x)
cumple todas las propiedades requeridas del postulado 6. De hecho, la asignacin (3.50) puede considerarse como la versin restringida del postulado para
una partcula que se mueve en una dimensin (en la denominada representacin de posiciones, como veremos en el apartado 3.11).
. Para
Estados
cunticos
-+
-+ L:2(~3)
Funciones vJ (f) de cuadrado integrable
en ~3
x-+X
~
y-+y
Z -+
Px -+ Px
Py -+ Py
tal
tal
tal
tal
tal
que
que
que
que
que
= x vJ(f)
= y vJ(f)
ZvJ(f)
= z vJ(f)
. a
PxvJ (f)
PyvJ (f)
~
~
pz -+ Pz
XvJ (f)
YvJ (f)
tal que
-'lnax vJ(f)
. a
= -'lnavJy (f)
(3.51)
3.10 Observables
Ejercicio:
posicin y momento.
Postulado
133
6.
satis-
= YPz -
ZPy.
Ly
Lz
11
XPy - YPx'
De esta forma, el operador que representa de manera natural a la componente z del momento angular cuntico es
Lx = YPz - ZPy,
que es hermtico pues
~t
~t
Lx-PzY
a
a
11
a
~ t
~t
-PyZ
~t
-PzY-PyZ-YPz-ZPy-Lx,
~
[Py, Z] = O. Haciendo la
11
11
Ll = -i (y :z - z:Y) ,
procedindose de igual forma para el resto de las componentes de
L.
Ntese que
11
I
u
[Lx,Ly]
= (Ypz
Desarrollando
y escribiendo
principio no son nulos
[Lx,Ly]
ZPy,ZPX - XPz] .
solamente
aquellos
conmutadores
que en
(3.52)
...,.
134
POSTULADOS
DE LA MECNICA
CUNTICA
= iliLx
(3.53)
[Lz, Lx]
= iliLy.
+ L~ + L; comprobar
cintico como L2 = L;
[L
~2
, Lx
] = [L
~2
, Ly
que
] = [L , Lz ] = O
~2
(fjese que basta comprobar la compatibilidad de f} con una sola componente del momento cintico, ya que entonces el resto de la relaciones
se obtienen por transposicin de ndices).
Ejercicio: Verificar que, para una partcula de masa m que se mueve en
tres dimensiones, el observable energa cintica
1
K = 2m
~2
~2
~2
(Px + Py + Pz )
conmuta con todas las componentes del momento cintico. Como consecuencia, para una partcula que se mueve libremente en tres dimensiones
el momento cintico ser una constante del movimiento.
Ejemplo: Para una partcula en tres dimensiones que se mueve bajo la
accin de una fuerza central, la energa potencial depende nicamente de
x2 + y2 + z2 = r2. Verifiquemos que [Lx, r2]
clculo es idntica a la del ejemplo anterior:
[L, ;p2]
[17Pz - ZPy,X2
= O.
La metodologa del
+ 172+ Z2]
~
YPz,Z
=
-
~2
] [
-
~~
ZPy,Y
~2
=Y
~2
Pz,Z
-Z
~2
[Py,Y ]
17Z[Pz,Z] +17[Pz,Z]Z-Z17[Py,17]
-Z[Py,17]17
17Z(-ili) + Y (-ili) Z - Z17(-ili) - Z (-ili) Y
-2ili17Z + 2iliZ17
y como Z e Y conmutan
~ ~2
[Lx,r ] = O.
'>
de posiciones.
135
v = V(x2 + y2).
Demostrar que pz es una constante del movimiento. Comprobar que Lz
tambin lo es.
posicin
Xy
momento
Px para una
los problemas del captulo 2). De esta forma, dado el estado genrico 'IjJ,ste
estar representado por una funcin de estado \l1(x) de .c2(~) (evitemos por
el momento la costumbre de identificar directamente el estado con el vector 1/J
..
.
136
POSTULADOS
DE LA MECNICA
CUNTICA
del espacio de Hil~rt)6. Ntese que W(x) puede escribirse en trminos de las
autofunciones de X en la forma
W(x)=
L8(x-a)W(a)da
= L alw(a)12da,
. Repitamos
X, pero para
un opera-
y su representacin
como funcin
de onda \[1(x).
3.11 La funcin
de ondas en la representacin
de posiciones.
137
=L
a
1/1
si el espectro de A es discreto, o
1/1=
(4)a,1/1) 4>ada
La
L
a,a'
B estn
(<P,4>a)(4)a,B4>al)
(<p,4>a)(4)a, 1/1)da
dados por
(4)al,1/1)
J J (<P,4>a)(4)a,B4>al)
(4)al,1/1) dada'.
los autovectores
del operador
hamiltoniano
importante es
i,
pues es este
operador el que determina la evolucin temporal de los vectores de estado. Vimos tambin cmo se traduce la ecuacin general (3.23) del postulado de evolucin temporal en una ecuacin diferencial concreta (3.33) para la evolucin
temporal de las coordenadas de 1/1en la base constituida por los autovectores
deH.
Por otra parte, el postulado 6 nos ha sealado que otras dos bases especial~ent~ importantes son las constituidas por los autovectores de los operadores
X y P. Recordemos, una vez ms, que en mecnica clsica las magnitudes posiciny momento juegan un papel esencial como ejes del espacio de las fases, y
cualquier otra magnitud mecnica se construye a partir de ellas. El postulado
6 traduca esto en trminos cunticos, pues nos dice cmo se construyen los
Ii
138
POSTULADOS
DE LA MECNICA
CUNTICA
. Tras
'lj;
X, es
=
decir
X = xCPx' tenemos
CPx
que 'lj;puede
(3.54)
(cpx,'lj;)CPx dx
si elegimos un autovector
ser
(3.55)
Ntese que esta funcin de onda no es tampoco consecuencia de que las deltas
de Dirac sean las autofunciones del operador X = x, sino de la relacin de
ortonormalidad generalizada a los vectores de una base ortonormal impropia.
Por otra parte, sabemos que en su propia representacin (es decir, en la base
constituida por sus autovectores), un operador hermtico es diagonal, de modo
que para el operador posicin se debe cumplir que
(3.56)
En definitiva, como eso es cierto para todo estado CPx,la ecuacin de autovalores para el operador
en representacin de posiciones es
X = xCPx
CPx
(3.57)
1 (CPx',CPx)(CPx,'lj;)dx
w(x')
= 1 w(x)8(x
- x')dx. (3.58)
.,.'
3.11 La funcin
de ondas en la representacin
139
de posiciones.
TEOREMA:
En la representacin en la que el operador posicin
es X = x, si el estado cuntico de una partcula queda descrito por
la funcin normalizada ~ (x), entonces
= 1~(x)12
p(x)
(3.59)
es la densidad de probabilidad asociada a una medida de la posicin. Esto significa que p(x)dx es la probabilidad de que al medir
la posicin de la partcula se obtenga un valor dentro del intervalo
(x, x + dx). A ~(x) se le denomina funcin de onda de la partcula en la representacin de posiciones o, simplemente, funcin de
onda.
. Con esta
Px
= -i dx .
(3.60)
As, mediante sustitucin directa ya podemos escribir la asignacin del operador hamiltoniano en la representacin de posiciones y, por ende, tambin la
ecuacin de Schrodinger. Sin embargo es instructivo hacerlo a partir de los
autoestados de la posicin, ya que ste es el procedimiento general sugerido
por los postulados de la M.C. Si utilizamos el operador hamiltoniano
~2
H=
:~ +V(X)
(<Px,<Pxl)
(-id~,)2
) (
Ahora bien,
(<Px, P;7jJ )
-2
(3.62)
(<Px,,7jJ)dx'
ilR
dx'2
dx2
y
(<Px, V(X)7jJ
LL (<pX,<PXI)(<PXI,V(X)<PXIl)
(<Px",7jJ)dx'dx"
(3.63)
LL 8 (x - x') V(x)8(x' - x")~(x")dx'dx" = V(x)~(x).
.
140
POSTULADOS
DE LA MECNICA
CUNTICA
(3.64)
= 1 xp(x)dx = 1 x
1'lJ(x)12dx,
(1/;, Px1/;) =
1 w*(x)
(1/;, <Px)
(-i d:)
1/1=
(<Px, 1/;) dx
w(x)dx.
(Px)
(-i d:)
..'
complejos conjugados
1 w(x) (i d:)
en la an-
'lJ*(x)dx
- 'lJ*(x) d~~X))
dx.
(3.65)
A la cantidad
J(x) = ~
2m
se le llama corriente
W(X) d'lJ*(x)
- w*(x) d'lJ(X)
dx
dx
de probabilidad.
(PX)1/1
=m
(3.66)
1 J(x)
dx,
T
3.11 La funcin
de ondas en la representacin
de posiciones.
141
es V (x)
= mJ2
x2
/2.
X y Px
operadores
..
~ p (x, t ) -8t
'T'
'J'(X, t )
8'l1(x, t)
8'l1*(x, t)
'T'*
<::1 + 'J' (x, t )
-.L
1 2 82
-'l1(x, t)
+'l1(x, t)
i 2m 8x2 'l1(x, t)
1 2 82
i 2m 8x2 'l1(x, t)
- 'l1(x, t)*
Ahora bien, V (x) es real por lo que los dos ltimos sumandos se anulan entre
s. Queda por tanto
= -~
mP (x,t )
2m
'T'
..
I}~
POSTULADOS
DE LA MECNICA
CUNTICA
=_~OX ~2m
8tP (x,t )
{
'T'
(
'J.' x,t
) o'l1*(X,t)_.T'*
OX
'J.' (x,t )
O'l1(x,t)
OX
)} .
~p(x, t)
U~
= --JOX' (x
t)
(3.67)
lb p(x,
t)dt
y, como consecuencia
(3.68)
=}
Pxrpp= prpp
(rpx,Pxrpp) =p(rpx,rpp)
=p<I>p(x).
Ahora bien
(rpx, Pxrpp)
(rpx,rpx,) (rpx"pxrpx,)
ti(x
x')
-i d~
= iR( -id<I>p(x')
ti(x dx
(rpx,,4>p)dx'
<I>p(x')dx'
x')dx'
= -id<I>p(x).
dx
3.12 La funcin
de ondas en la representacin
143
de momentos.
En definitiva,
. d<pp(x)
-~n
dx =
'*
p <pp(x)
<pp(x)=
(3.69)
1
v'27rnexp (ipx/n),
(3.70)
de on<hrs~n
~uncin
b:1o~nt~
ta representacj6n-d~
- - ~ - --
En la seccin anterior escogimos como base ortonormal de trabajo la constituida por las autofunciones de la posicin, en la que la representacin de los
observables posicin y momento es la dada por (3.50) y las coordenadas de un
estado cuntico son la propia funcin de ondas W(x).
Supongamos que ahora tomamos como base del espacio de estados cunticos la constituida por los autovectores cPpdel operador momento Px. Tambin
ahora el espectro es continuo: los autovalores p llenan la recta real. Entonces,
cualquier vector de estado 1f;puede escribirse en la forma
1f;=
(1f;,
(3.71)
cPp)cPpdp.
(cPx, 1f;) =
(1f;,cPp)
(cPx, cPp)
'*
dp
W(x)
iE
Ii
dp,
(3.72)
donde
W(p) == (cPp,1f;)=
1
/:::J;
y27rn JRW(x)exp
iPX
( )dx
-- n
(3.73)
..
144
POSTULADOS
DE LA MECNICA
CUNTICA
= f(p)
8(p - p')
es decir, Px = pI. Con esto, y la condicin [X, Px] = i, es fcil ver que
la asignacin adecuada para el operador X en esta representacin es X =
i(djdp).
Naturalmente, IW(p)12dp = pp(p) dp es la densidad de probabilidad asociada a la medida del momento lineal y, como consecuencia los valores medios
del momento lineal y de la energa cintica son:
(Px )
iV
Lp
w (p)
(K)
dp
12
. Multiplicando
ahora escalarmente
ecuacin de evolucin temporal
iV
= 2~
la ecuacin
L p21
W (p) 12 dp.
i d (<p~,1/J) =
(3,.74)
. ~
(3.75)
1/J
Pero
(<pp,V(X)1/J
=
=
=
-
LLL
LLL
(<pp,<Px) (<Px,V(X)<Px')
(<Px"<PP')(<pp,,1/J)dxdx'dp'
(<pp',<Px')*
III
iE.
r;:c;;e- JV(x)8(x
JR JR JRY 21f
1 r r
21f iJRiJR V(x)e
1
r;:c;;
- x')
(<pp,,1/J) dxdx'dp'
~-
r;:c;;e J w(p')dxdx'dp'
y 21f
~J
w(p')dxdp'
V(p' - p)w(p')dp',
y 21f JR
siendo
V(p' - p) =
~
r V(x)
y21f iJR
exp
i (p' - p) x
)x
d
(3.76)
3.12 La funcin
de ondas en la representacin
145
de momentos.
.d~(P,t) = L~(p
2m'
t) + ~
(V(p
V27fiR
p')~(p')dp',
(3.77)
= L~(p t) + ~
2m'
(3.78)
. Como consecuencia de las relaciones cannicas de conmutacin entre la posicin y el momento, la dualidad onda-corpsculo tiene una explicacin transparente bajo el formalismo que estamos viendo en este captulo. Si la partcula
est muy localizada (carcter corpuscular de la partcula) alrededor de un
punto XQ,tendremos que su funcin de ondas es muy similar a una delta de
Dirac centrada en XQ. Por el contrario, si su momento lineal est prcticamente definido, siendo su valor Po (el comportamiento ondulatorio de la partcula
se corresponde a un estado en el que el momento est muy bien definido), el
estado cuntico de la partcula ser la funcin exp(ipx/)/v27f,
que es una
onda plana cuya longitud de onda es, naturalmente, A = h/p: la frmula de
De Broglie. Ambos lmites no se puedan satisfacer simultneamente y esto
Si aplicamos la relacin
refleja el hecho de que X y Px no son compatibles.
de incertidumbre generalizada (3.15) tendremos que, para cualquier estado
cuntico,
(~X)tP (~Px)tP 2 ~
(3.79)
que es la relacin de incertidumbre posicin/momento de Heisenberg. En definitiva, el carcter corpuscular puro est asociado al lmite ~X ---t O, mientras
que el carcter ondulatorio puro, incompatible con el anterior, se corresponde
al lmite ~Px ---tO.
Sin embargo, el carcter ondulatorio es algo intrnseco a la partcula,
puesto que su estado siempre se podr escribir como combinacin lineal
de ondas planas a travs de (3.72). En general, la funcin de onda de la
...
.
146
POSTULADOS
DE LA MECNICA
CUNTICA
partcula nunca ser ni una onda plana (con longitud de onda bien definida) ni una delta de Dirac (en la que la densidad de probabilidad est
concentrada en un punto). La funcin w(x, t) ser, pues, un paquete de
ondas dado, como acabamos de decir, por el desarrollo de Fourier (3.72)
cuya interpretacin fsica est ligada directamente a la naturaleza probabilstica subyacente al postulado 3. Esta interpretacin probabilista,
ms general, nos impide afirmar que una partcula es una onda (tambin
nos impide decir que es un corpsculo). La partcula es un ente bien
definido, siendo su funcin de onda una representacin vlida de su estado que nos permite extraer informacin fsica relevante. Si, como ya
hemos dicho, describimos el estado a partir de sus coordenadas en una
base discreta del espacio de los estados, tendramos que el estado est
representado por una sucesin de nmeros complejos, pero a nadie se le
ocurrira decir que una partcula es una sucesin convergente de nmeros
complejos!
Ejercicio: El hecho de que la posicin y el momento sean incompatibles
hace que en lmite cuntico expresiones como "partcula en reposo" dejen
de tener sentido. Si, a pesar de ello, definimos una partcula en reposo
como aquella para la cual el valor esperado de la energa cintica es nulo,
cul ser entonces la funcin de ondas de la partcula?, dnde estar
localizada la misma?
s:r3~i{u!e~- de-~reresC
Consideremos el hamiltoniano de una partcula que se mueve en una dimensin
bajo la accin de un potencial V(x), descrita por el hamiltoniamo
~
~2
82
+ V(x).
(3.80)
(X)t =
'l1*(x,t) x'l1(x,t)dx
(Px) t = -i
Sin embargo, vimos en la seccin 3.8 que dicha evolucin puede calcularse directamente sin necesidad de conocer la expresin explcita del estado cuntico
'l1(x, t), ya que se puede expresar en funcin del conmutador del observable
con el hamiltoniano.
3.13 Ecuaciones
147
de Ehrenfest.
As, la evolucin
por
temporal
~ (X)t = i~ ([X,H])t'
Si ahora tenemos en cuenta que X conmuta con V(X), sustituyendo y usando
el lgebra de conmutadores obtenemos
d
dt \X
)t =
1
2imli
/
\ [X,Px
~
1 /
2imli \PX [X,Px
~
~2
)t =
+ [X,Px
Px t'
expresin conocida como primera ecuacin de Ehrenfest. Por tanto, en cualquier instante de tiempo el valor medio del momento lineal es igual a
la masa de la partcula multiplicada por la derivada temporal del
valor medio de la posicin. Claramente, (3.81) es el anlogo cuntico a la
relacin clsica p(t) = m (dx(t)jdt).
. Procediendo
de
(Pxhes
[Px, V(X)]
<I>(x)
[-ili~,
V(X)] <I>(x)
Efectuando la derivada
[Px, V(X)]
<I>(x),
por lo que
[Px, V(X)]
= -iliV'(X) = iliF(X),
(3.82)
148
POSTULADOS
DE LA MECNICA
~ (Px ) t = (F (X) ) t
CUNTICA
= -dV(x)/dx.
De
(3.83)
'
=1=
((X)),
por lo
= axn,
= -naxn-l.
( )t-m ( Xt)
dt
mientras
--
que
~ (Px) = -na
).
Xn-l
dt2
xn-l
) = ~ (F (X))
t
(3.84)
3.13 Ecuaciones
de Ehrenfest.
149
= O.
a) Partcula libre: n
~ (X)
dt2
=O
~ (Px)t = O
::::}
= 1.
= -Fx
Escribiendo V(x)
~
-
dt2
tendremos
(X )t =- m
:t (Px ) t = F
de donde
(Px)t = (Px)o+ Ft
~
l~
lF2
= (X)o+ -(Px)ot
+ --t.
m
2m
(X)t
..
= 2.
I.JJy constante
recuperadora
~ (X ) =
dt2
t
donde la relacin
k es I.JJ= Jk/m.
As
_1.JJ2(X)t,
( )
(Pxh = m dt X t = mJAcos(l.JJt
+ 8).
Conocidas las condiciones iniciales (X)o y (Px)otenemos inmediatamente que
2
1
2
(X)o + 2"2"
(Px)o
ml.JJ
~
mJ
(~)o
=A
= tan 8,
(px)o
..
.
150
POSTULADOS
DE LA MECNICA
CUNTICA
(Px)o
(X)t = (X)o
cOS(Jt
+ -m(J sin(Jt.
para la que
el valor
. La expresin
~
/X dt2 \ ) -
J:.../ F
m \
(X ))
sera exactamente igual a la ecuacin del movimiento clsica slo si, como
ya hemos dicho,
(F(X))t
F( (X)t).
en
. Naturalmente,
Ya mencionamos
la posibilidad
de que
H dependiese
ex-
plcitamente del tiempo o bien pudiese suceder que la "fuerza" a la que est
sometida la partcula no sea conservativa (la evolucin de una partcula en el
seno de un campo magntico es un buen ejemplo, en el que adems tendramos que introducir el espn). El estudio completo de sistemas en los que el
hamiltoniano es dependiente del tiempo es extremadamente rico y se estudia
en cursos posteriores; sin embargo merece la pena analizar un ejemplo en el
que el hamiltoniano no es "energa cintica ms energa potencial" y, por tanto, las ecuaciones de Ehrenfest no sern vlidas en la forma dada en (3.81) y
(3.83).
Ejemplo:
toniano
~2
),
3.13 Ecuaciones
de Ehrenfest.
151
(X )
[ ]) =
= in ( X,H
1
2imn
1
t + 2rin
([X,Px ])
~
~2
([X,XPx
+PxX
])t'
-d
( )
=m
-(Px)t + -(Xk
r
dt X t
])t'
Efectuando el conmutador:
+ Pxx] = -2inPx,
[Px,XPx
,
y nos queda
d
dt
(Px )t = -;.(Pxk
(Px)t
= (Px)o exp
( )
-;.
(Px)o
-dt (X )t =-exp
m
~
t
-- r
( )
+-(X)t,
r
cuya solucin es
t
t
r{P",)o
(X)t = aoexp -:; - ~
exp --:;
""
( ),
()
siendo
ao
= (X)o + r(Px)o
2m
.....
152
B:n
POSTULADOS
DE LA MECNICA
CUNTICA
.propl~~sautoesta~
~ez:g~
Hemos visto que los autoestados del operador hamiltoniano son estados
estacionarios que no evolucionan (salvo una fase multiplicativa de mdulo
unidad) en el tiempo. A su vez tambin hemos visto que todo estado cuntico
puede escribirse como combinacin lineal de los estados estacionarios. De esta
manera resulta inmediato el estudiar la evolucin temporal tanto de cualquier
estado como de los valores esperados en dicho estado. Por ello, la obtencin y
el anlisis de los autoestados de la energa es esencial a la hora de estudiar un
problema bajo el formalismo de la Mecnica Cuntica. Aqu nos limitaremos
al caso sencillo de una partcula que se mueve en una dimensin. Para otros
sistemas fsicos habr que utilizar tcnicas matemticas distintas, pero muchas
de las ideas que vamos a ver seguirn siendo vlidas.
Como ya sabemos, el operador hamiltoniano de una partcula de masa
m que se mueve en una dimensin bajo un potencial V (x) est dado en la
representacin de posiciones por
i = -
2 82
(3:85)
2m 8x2 + V (x) .
WE (x, t)
( )
'
(3.86)
2 82
- 2m 8x2 + V (x)
<PE(x)
= E<PE(x)
(3.87)
. En primer
=
=
minV(x)
lim V (x)
x->+oo
V-
lim V(x).
x->-oo
3.14 Propiedades
generales
de los autoestados
de la energa.
153
11
Va
Fig. 3.3.
(-..j2m
(V+ - E)x/)
x 0.
La otra posible solucin, <PE(x 0) ex:exp +..j2m (V+ - E)x/),
no es admisible, puesto que entonces existira una probabilidad infinita de
encontrar a la partcula en +00.
Anlogamente, en la zona en que x Ola funcin que satisface la ecuacin
de Schrodinger es
<PE(x O) ex:exp
(..j2m (V-
- E)x/)
Por tanto, los autoestados con energas E E (V, V+) tienden asintticamente
a cero cuando x -t :1::00.De esta forma, estos auto estados son normalizables. Pero slo para determinados
valores de E es posible encontrar una
autofuncin que satisfaga simultneamente ambos lmites asintticos: la ecuacin de autovalores i<PE(x) = E<PE(x) tiene solucin nicamente para esos
valores concretos de E y dichas energas constituyen el espectro puntual de
i, (Tp (i).
~
154
POSTULADOS
DE LA MECNICA
CUNTICA
2.- Para un autovalor de la energa en el intervalo (V+, V-), esto es V+ < E <
V_, los correspondientes lmites asintticos son
~
'PE(x
O) =
(E - V+)xj)
no degenerada,
y la designaremos
por (Tc#l
(H).
'PE(x
(E - V_)xj) .
3.14 Propiedades
generales
de los autoestados
de la energa.
155
'PE,<-(x) (x
(E - V_)xj)
y seguimos en la parte continua del espectro de H. Esas soluciones se corresponden, respectivamente, a ondas planas que se propagan hacia la derecha
cuando x O y hacia la izquierda cuando x O. En definitiva, si E > V_,
los valores espectrales de la energa son doblemente degenerados.
En esta
parte del espectro, simbolizado por (J'C#2(H), cualquier autoestado es combinacin lineal de dos autoestados no ligados independientes.
La discusin anterior puede generalizarse. Por ejemplo, si V = V+ no pue= 00 no hay espectro continuo
doblemente degenerado, etc. Los resultados pueden resumirse en la siguiente
tabla. Ntese que si V- 2::V+ simplemente tendremos que intercambiar V+y
V-.
V< V+< V- = 00
V= V+ = V- < 00
V = V+ < V- =
V < V+
00
= V- = 00
Nota: el smbolo
H veamos
algunas propie-
---........
POSTULADOS
156
DE LA MECNICA
CUNTICA
entre - y + tenemos
(+E
= i.p~ () -
i.p~ (-)
2m
dx f,2[V (x) - E] i.pE(x) .
la continuidad
+E
= J-E
-E
de la derivada:
2m
dXt;2 [V (x) - E] i.pE(x)
del potencial
=O
es finita.
..
si x ::;a
v (x) si x > a
+00
V (x)
={
ser distinta de cero). As, todos los autoestados del momento y aquellos
autoestados de la posicin con autovalor Xo < a no son fsicamente
admisibles por doble motivo: no son normalizables y, adems, el valor
esperado de la energa sera infinito.
Otra opcin sera definir el espacio de los estados igual a /:,2 [a, +00).
En este caso, las funciones de onda fsicamente admisibles se han de
anular
en x
= ~
(y, naturalmente,
en x = +00)
porque
el operador
3.15 El formalismo
cuntico
en notacin
de Dirac.*
157
2.- Por otra parte, ya que V (x) es real, dada una solucin'PE (x) de la ecuacin de Schrodinger independiente del tiempo, su compleja conjugada tambin
lo es. Como consecuencia, puesto que el espectro puntual y la primera parte
del continuo son no degenerados, no queda ms remedio que las autofunciones 'PE(x) de la energa sean, salvo constante multiplicativa,
reales
para esta parte del espectro. Esto implica, entre otras cosas, que la corriente
de probabilidad es nula y, por tanto, el valor esperado del momento lineal es
igual a cero para los correspondientes estados estacionarios.
3.- Finalicemos enunciando una propiedad (que no demostraremos) referente a los auto estados ligados de la energa de una partcula que se mueve
en una dimensin. Sea {Eo, El, E2, ...} el espectro puntual del hamiltoniano
(x) , <1>2
(x) las correspondientes autofunciones. La fundel sistema y <1>0
(x) , <1>1
cin de onda <1>0
(x) corresponde al estado fundamental del sistema, mientras
que las funciones <1>1
(x), <1>2
(x), etc. corresponden al primer, segundo, etc.,
estados excitados. Resulta que el nmero de nodos (ceros aislados de una
funcin) del estado estacionario <l>n
(x) es igual a n. En otras palabras, la
auto funcin del estado fundamental
no tiene nodos, la funcin de
ondas del primer estado excitado posee un nodo, y as sucesivamente.
1IJ 5 --EJ]Ormal~lltr{;uMl"fico
~!!...!!..t..d'{;~n.d~~
..
158
POSTULADOS
DE LA MECNICA
CUNTICA
definida Xa se representan por el ket IXa), de modo que tales estados satisfacen
la ecuacin de autovalores
X IXa)= Xa IXa)
que, asimismo, es independiente de la representacin utilizada. La ortogonalidad de dos estados distintos IXa) y IXb)se expresa en la forma'
~
(XaIXb)
= b(xa
- Xb).
1'Ij1)
J (x I 'Ij1) Ix)
en la base constitui-
(3.88)
dx.
Los coeficientes (x I 'Ij1)son los productos escalares del ket Ix) y el ket 1'Ij1).
Para cada valor x, este producto escalar toma un valor diferente. Entonces
definimos el producto escalar
(x I 'Ij1)== w(x)
(x' I 'Ij1)=
(x I 'Ij1)(x' Ix) dx
W(X') =
de la medida
en Mecnica
Cuntica.*
159
(Pa 1Pb)
= 8(Pa -
Pb).
Asimismo, el ket l"p)puede expresarse en la base constituida por los kets Ip)
l"p) =
(3.89)
J (p l"p) (x Ip) dp
'*
= ~(p)
al ket l"p) en la representacin
w(x) = (2nh)-1/2
J ~(p)
puesto que (xlp) == Wp (x) = (2nh)-1/2 exp (ipxjh) es la funcin de onda del
estado Ip). Anlogamente, multiplicando escalarmente (3.88) por Ip), tenemos
(P I "p)=
J (x l"p)
(p 1x) dx,*
\I(p) = (2nh)-1/2
J w(x)
exp (-ipxjh)
dx,
eLpro61ema
de fa merliil::J en Mer.nkw
~j
. Recordemos que, segn el postulado 4, si el estado cuntico del sistema es
I~), entonces al hacer una medicin del observable A que da como resultado el
valor ak, el estado cuntico se colapsa transformndose en el autoestado lak)
de A con autovalor ak.7 Ahora bien, es interesante analizar el fenmeno de
la medida desde una perspectiva ms completa, centrndonos en el carcter
fsico del mismo. Sea S el sistema fsico que estamos midiendo y M el aparato
de medida, que al ser un sistema fsico en s mismo debiera estar tambin
sometido a las leyes de la Mecnica Cuntica. Sean entonces I~), I/L)los kets
que representan los estados del sistema bajo estudio y del aparato de medida,
7Supondremos,
degenerados.
por sencillez,
que todos
los valores
espectrales
de
A son
discretos
y no
.
160
POSTULADOS
DE LA MECNICA
CUNTICA
1Ji-)
es el
de la misma ser A
ak con certeza
absoluta
(postulado
3) y
(3.90)
lak) lJi-k)
Naturalmente, el proceso (3.90) ha de ser similar para todos los posibles autovalores ak. A su vez hemos de admitir que, si los estados iniciales de S son
respectivamente lak) y lak'), entonces los estados finales de M, lJi-k)y lJi-k'),
han de ser necesariamente distintos, puesto que de lo contrario la medida no
sera efectiva.
Supongamos ahora la situacin ms comn, en la que el estado I~) no es
un autoestado de A, sino que es de la forma
I~)
=
k
ak lak)
lakl2
k
=1
(podemos escribir lo anterior puesto que los autoestados de A, por ser ste un
observable, forman una base completa del espacio de los estados de S). Ya
que el sistema S + M est sometido a las leyes de la M.C. la interaccin entre
ambos sistemas ha de estar regida por un hamiltoniano, que es un operador
lineal (postulado 5). Sea fjS+M el operador de evolucin temporal en el sistema
S + M asociado al mencionado hamiltoniano (prescindamos de la variable
temporal). Entonces la evolucin descrita sucintamente por la ecuacin (3.90)
puede escribirse como
fjS+M (Iak) 1Ji-))= lak) lJi-k).
de la medida
en Mecnica
Cuntica.*
161
US+M
(I{) II'}}
US+M
L ak lak) IJLk)
k
I)IJL)
L ak lak) IJLk).
(3.91)
Esto nos indica que el resultado es una superposicin coherente de los estados
lak)IJLk),pero no podemos afirmar que sea uno de ellos en particular. Vemos,
pues, que esta argumentacin no nos permite afirmar que podemos medir
realmente el observable A.
I IJL)
lak) IJLk),
(3.92)
la cual sabemos que tiene una probabilidad lakl2 de producirse. Pero esta evo.. lucin, como acabamos de ver, contradice el carcter lineal del Hamiltoniano
del sistema interactuante S + M. La medida, entendida de esta forma, contradice las leyes de evolucin normal de un sistema fsico y esto fue lo que oblig
a von Neumann8 a postular que en algn momento se produca la transicin
discontinua desde el estado superposicin coherente k aklak) IJLk)hasta un
estado lak) IJLk) . Este es el postulado 4, que introduce como ya dijimos un
cambio discontinuo, irreversible y aleatorio en el estado I), cambio que,
como es evidente, no est regido por hamiltoniano alguno.
Lk ak lak) IJLk)
lak) IJLk),
(3.93)
el estado cuntico
de
M. Es entonces
"
162
POSTULADOS
DE LA MECNICA
CUNTICA
por un proceso mental del observador, proceso que no puede seguir las leyes de
la M.C. ya que entonces entraramos en un proceso de medidas del aparato de
medida que no tendra fin. Esta interpretacin aparece todava ms patente
en un libro posterior de London y Bauer, que confiere a la medida un carcter
inequvocamente subjetivo.
. Las extraas consecuencias de esta concepcin de la medida fueron
puestas de manifiesto en la famosa paradoja del gato de Schrodinger.
Imaginemos un gato encerrado en una habitacin. En la misma habitacin hay un tomo de un elemento radiactivo tal que al desintegrarse
rompe una ampolla de gas venenoso que hace que el gato muera envenenado instantneamente. En este ejemplo, el gato acta como aparato
de medida M respecto del estado del tomo. As, si el estado del gato
es Iv) (vivo), el tomo est en el estado 10) (no desintegrado), mientras
que si el gato est en el estado 1m) (muerto), el tomo est en el estado
11) (desintegrado). Al cabo de un tiempo correspondiente a un periodo
de semidesintegracin, la teora predice que hay un 50% de probabilidad
de que el tomo se haya desintegrado. De esta forma, si el sistema to- 1 ~
tal evoluciona de acuerdo con la ecuacin de Schrodinger, la funcin de
onda del gato ser (Iv) + 1m))/..;2. Entonces, de acuerdo con la teora
expuesta, no tiene sentido decir que el gato est vivo o muerto, sino que
est mitad vivo y mitad muerto. Slo cuando miramos dentro de la habitacin y vemos si, efectivamente, el gato est vivo o muerto, se produce
la reduccin del estado que nos permite inferir si el tomo o no se ha
desintegrado o s se ha desintegrado, respectivamente.
. Veamos ahora otra paradoja, relacionada con esta interpretacin de
la teora de la medida. Supongamos que un observador Oint, entendido
ste como el ente consciente que cierra el proceso fsico de la medida,
realiza medidas del sistema S con la ayuda del aparato de medida M.
Imaginemos
de la medida
en Mecnica
Cuntica.*
163
Para muchos fsicos, el apelar a entes conscientes para solucionar el problema del colapso no es admisible, ya que stos no siguen las leyes que queremos
explicar; pero si se niega esa independencia al observador Oint, resultar imposible explicar el colapso cuntico. Este es el gran dilema de la teora de
la medida cuntica. Adems, cada vez que estas consciencias actan, dotando de sentido fsico al sistema bajo estudio, la evolucin determinista que se
puede esperar de un sistema cerrado debe desterrarse. Slo evoluciona de manera determinista (mediante la ecuacin de Schrodinger) un sistema que no
es observado; pero si no lo podemos observar, qu importancia tiene cmo
evolucione?
. Algunas soluciones propuestas al problema de la medida son las siguientes:
1. Puesto que el dilema aparece en su mayor parte por la aceptacin del
principio de superposicin, esto es, por el carcter lineal del operador de
evolucin temporal, algunos fsicos como Wigner, Ludwig o Pearle han
sugerido que es necesario introducir leyes de evolucin no lineales a la
hora de tratar la interaccin entre sistemas microscpicos (por ejemplo
el sistema S) y sistemas esencialmente macroscpicos (como el aparato
de medida M). De esta manera, la solucin del problema de la medida
queda aplazada hasta que se conozcan estas hipotticas leyes fsicas. Por
otra parte el carcter lineal del mundo cuntico parece estar muy bien
establecido.
2. Una solucin ms fantstica es la propuesta por Hugh Everett con la
llamada formulacin del estado relativo o teora de los varios mundos.
Bsicamente esta formulacin afirma que cada vez que se realiza una
medida, el Universo se desdobla en tantos universos paralelos como posibles resultados pueda dar la medida. A cada uno de estos universos
corresponde un trmino de la combinacin Lk ak lak) IJLk)(as, habra
un universo en el que el gato de Schrodinger estara vivo y otro en el
que estara muerto), de modo que todos estos trminos existen simultneamente aunque en universos no interactuantes (ortogonales) y no
hay reduccin del paquete de ondas, por lo que el postulado 4 puede
eliminarse. Aunque Wheeler y De Witt han apoyado esta teora sobre
la base de que es la nica consistente con el formalismo cuntico, parece
claro que en este caso es peor el remedio que la enfermedad.
3. Una solucin ms razonable al problema de la medida afirma que la
reduccin del estado es un proceso fsico que se produce en el propio
aparato de medida. Segn esto, la interaccin de S con M (y ms
concretamente, con su sistema de registro: placa fotogrfica, contador,
...
~
164
POSTULADOS
DE LA MECNICA
CUNTICA
Se ha argumentado que este tipo de interpretaciones de la medida no explica los llamados experimentos de resultado negativo de Reninnger, tambin llamados de no medida de Dicke. Un ejemplo tpico es el siguiente:
supongamos una partcula encerrada en una caja. Su funcin de ondas
se extender por toda la caja y la partcula tiene una probabilidad finita
de estar en cualquier regin de la caja. Introduzcamos ahora un detector
en la mitad izquierda de la caja. Si el detector da seal quiere decir que
la partcula estaba en esa mitad y se produce la reduccin del estado.
Pero si el detector no da seal podemos inferir que la partcula est en la
mitad derecha de la caja: de esta forma se ha producido una reduccin
del paquete de ondas sin que la partcula haya interaccionado fisicamente con el detector. Lgicamente, la validez de estos argumentos depende
de lo que entendamos por interaccionar fsicamente o de si tiene sentido
hablar de las mitades izquierda y derecha de la caja separadamente.
. Toda las anteriores propuestas no niegan, como es evidente, la validez esencial del formalismo cuntico, sino que pretenden clarificar el contenido del
postulado 4 de nuestra teora fsica ms fundamental. Desgraciadamente, todava no tenemos una respuesta definitiva a la pregunta que abra esta seccin:
cundo y cmo se produce el colapso cuntico?; esto es, cundo la ecuacin
de Schrodinger deja de actuar y da paso a la reduccin del estado? Otro
tipo de argumentos que tambin pretenden completar el formalismo cuntico
(no negado), pero quitndole su carcter esencial, son los que veremos en la
prxima seccin.
~~losiiiod~lusw-~ltas.*
--
. En
le
3.17 Introduccin
a los modelos
de variables
ocultas. *
165
ninguna informacin sobre los detalles de cada suceso individual. El determinismo, hasta hoy considerado como la base de las ciencias exactas, debe
ser abandonado. [...] Mantenemos que la Mecnica Cuntica es una teora
completa, cuyas hiptesis fundamentales, fsicas y matemticas, no son susceptibles de modificacin". Einstein, a pesar de ser uno de los fundadores de
la fsica cuntica, nunca acept la M.C. como una teora definitiva. Tras un
famoso debate cientfico con Bohr, del que sali "vencido pero no convencido",
tuvo que admitir que la M.C. era consistente, pero sigui rechazando la base
probabilstica de la M.C. como descripcin completa de la realidad fsica.
Desde entonces, Einstein dedic sus esfuerzos no a mostrar posibles contradicciones de la Mecnica Cuntica, sino a demostrar que, aunque vlida, la
teora era incompleta. En 1935, Einstein en colaboracin con Boris Podolsky
y Nathan Rosen, public un artculo titulado Puede considerarse la Mecnica
Cuntica como una descripcin completa de la realidad?lO en el que se exponan estas ideas, usualmente conocidas desde entonces como el argumento
EPR. El artculo comenzaba afirmando que una teora fsica es completa si
cualquier elemento de la realidad fsica tiene su contrapartida en la teora.
Por realidad fsica, EPR entienden lo siguiente "Si, sin perturbar en modo
alguno el sistema, podemos predecir con certeza el valor de una magnitud
fsica, entonces existe un elemento de realidad fsica correspondiente a dicha
magnitud". Una vez aceptada esta definicin, EPR plantean un experimento que, por comodidad, expondremos en una versin diferente propuesta por
D. Bohm. Supongamos una molcula compuesta por dos tomos, cada uno
con espn s == 1/2, que se encuentra en un estado con momento cintico L
y de momento angular total J iguales a cero. A continuacin, y mediante
10 A.
..
..
166
completa del estado cuntico. Las teoras de variables ocultas van encaminadas en esta direccin. Tales variables pertenecen a un nivel "subcuntico"
inobservable y las variables observables del nivel cuntico resultaran de promedios realizados sobre una distribucin de variables ocultas. Segn esto, la
M.C. no sera la teora ms profunda y completa de la naturaleza, sino que
permanecera en un nivel de descripcin ms grosero.
11Estos argumentos son impecables, puesto que, efectivamente, si se mide Sz en el tomo
2 se obtendr con total seguridad el valor -/2. Lo que s es rechazable es la presuposicin
de que la medida sobre el tomo 1 se halla efectuado slo sobre el primer tomo, cuando
en realidad es una medida sobre el sistema formado por los dos tomos, aunque estn muy
separados espacialmente.
3.17 Introduccin
167
.J
,..
168
. Sin entrar
11,b)seran
distribuciones de los valores que toman las variables ocultas. Estas variables
ocultas se podran manifestar experimentalmente justamente despus de una
medicin, si no ha habido tiempo para que la distribucin de variables ocultas
se relaje y vuelva a ser la correspondiente al equilibrio termodinmico. En
este caso, una segunda medida dara un resultado contrario al predicho por la
M.C. ya que ste viene dado por configuraciones de equilibrio de los valores de
las variables ocultas. Experimentos llevados por Papaliolos en 1967, no dieron
resultados que violasen las predicciones de la M.C., pero tampoco sirvieron
para desechar definitivamente la idea de Bohm. A este tipo de variables ocultas
se les denomina variables ocultas de primera especie.
Si en lugar de querer justificar las leyes de la M.C. se pone el nfasis
en el principio de accin local se tiene la lnea iniciada por J. S. Bell. En
primer lugar, demostr un teorema menos restrictivo que el de von Neumann;
a saber que ninguna teora local de variables ocultas puede dar resultados ms
precisos que los de la M.C. La novedad aqu es la introduccin de la hiptesis
de localidad. Veamos lo que esto significa. Supongamos en el ejemplo anterior
que hemos medido el espn del primer tomo. Si, una vez conocido el resultado,
se puede enviar una seal con velocidad infinita al tomo 2 ste, cuyo espn
no estaba definida antes de la medida en 1, puede adquirir el valor necesario
para compensar el resultado de la medida del espn en el tomo 1. En otras
palabras, la medida en 1 puede afectar instantneamente al sistema 2, que por
tanto no se puede considerar separado localmente del primero. Esto es lo que
ocurre esencialmente en la explicacin ortodoxa del experimento.
Sin embargo, ninguna seal puede propagarse a velocidad mayor que la de
la luz. De esta manera, si el subsistema 1 se ha medido en un instante tI,
podemos afirmar que el subsistema 2 no se ver afectado por esta medida al
menos hasta el instante t2 = tI + die, siendo d la separacin espacial entre
ambos. Entonces, al menos durante el intervalo (tI, t2) los sistemas 1 y 2
pueden considerarse separados. Matemticamente esto quiere decir que, en
este lapso de tiempo, las distribuciones de los valores de las variables ocultas
en los dos subsistemas son independientes entre s. Las teoras de variables
..
3.17 Introduccin
a los modelos
de variables
ocultas. *
169
ocultas (de segunda especie) que contemplan este hecho se denominan locales,
aunque sera ms correcto decir separables. Siguiendo esta hiptesis, Bell
dedujo unas desigualdades matemticas entre resultados de medidas realizadas
en el tomo 1 y 2 que tendran que satisfacerse si una teora local de variables
ocultas fuese cierta. Los experimentos realizados desde entonces hasta la fecha,
en especial los realizados por Aspect en la dcada de los ochenta, han mostrado
sistemticamente la violacin de las desigualdades de Bell, dando la razn a
la.Mecnica Cuntica.
Otra variante de las teoras de variables ocultas se refiere al problema de
la contextualidad. Hemos dicho que las teoras de variables ocultas pretenden
que cada sistema cuntico individual tiene valores bien definidos para todos
los observables, aunque en la prctica sea imposible determinar experimentalmente dichos valores y tengamos que contentamos con promedios estadsticos
en medidas realizadas sobre un nmero muy grande de sistemas "semejantes".
Sin embargo, en 1967 Kochen y Specker demostraron un teorema que afirma
que, si se quieren respetar los valores medios que proporciona la teora cuntica, los valores individuales asignados a los observables de cada sistema fsico
deben depender del conjunto de observables compatibles que se consideren. En
otras palabras, consideremos tres observables A,B y C, tales que [A, B] = o,
[A,C] = O y [B, C] =1=
O. La mecnica cuntica nos dice que podemos medir
simultneamente A y B, o A y C, pero no podemos medir simultneamente B
y C. Pero el teorema de Kochen y Specker afirma que para asignar valores bien
definidos para los observables de cada sistema fsico individual, de modo que
se satisfagan las predicciones estadsticas, los valores de A deben ser diferentes
segn estemos considerando simultneamente el observable B o el observable
C. Es decir, los valores determinados por las variables ocultas dependen del
contexto experimental en el que est situado el sistema.
Obviamente, el problema de la localidad se puede ver como un caso particular de la contextualidad. En efecto, si tenemos un par de partculas como
las del experimento EPR, cualquier medida realizada en una de ellas es compatible con cualquier medida realizada sobre la otra. En particular, la medida
de la componente x del espn de la primera de ellas (que llamaremos s~1))es
compatible con la medida de cualquier componente del espn de la segunda
(s~2),s12)o s~2)),aunque estas ltimas s sean mutuamente incompatibles. Sin
embargo, los valores individuales (suponiendo que existieran) de s~l) dependeran de qu componente de espn estuviramos midiendo realmente sobre la
segunda.
.
.
todo en su intento
einsteniana
sino de dotar
,...
170
l?,~masresu'ettuy.
Los problemas que presentamos aqu no son una mera aplicacin mecnica
de las frmulas obtenidas en secciones anteriores. Por el contrario, estos problemas suponen un desarrollo y profundizacin en muchos de los conceptos
tericos. Algunos grupos de problemas constituyen, por s solos, una breve.
presentacin de la teora cuntica de ciertos sistemas sencillos, pero funda- ..
mentales en el estudio de la fsica. Por ello, antes de abordar cada problema
es conveniente que el lector repase las ideas bsicas que intervienen en su
solucin.
3.18.1
Formalismo
Problema
general.
3.1 .- Demostrar
la relacin
de conmutacin
[2,p:] =
nip:-l.
Hay varias maneras de resolver este problema. Podemos, por ejemplo, escribir la expresin de P: en la representacin de coordenadas como (-idjdxt
y utilizar las reglas de derivacin normales. Sin embargo, un mtodo ms sencillo es la demostracin por induccin. As, partiendo de que [2, Px] = i Y
utilizando las relaciones conocidas para conmutadores de productos de operadores, resulta
~3
X,Px
~2
3~Px .
..
3.18 Problemas
resueltos.
171
ninp~-l.
Para ello,
[X,p~+1]
la relacin
de conmutacin
[X,f(Px)] =
[X,f(Px)]
= an
n
= in"L
[X,p;] = an
(ninp;-l)
n
a npn-l
- .~df(Px )
x
- 'll
t n
dPx
Problema
(cpp(x),XPxCPp(x)) = p (cpp(x),XCPp(x)) = p
(X)rjJ
(cpp(x), PxXcpp(x))
Sin embargo,
los operadores
[X,q = in, y as
(cpp(x),XPxCPp(x))- (cpp(x),PxXCPp(x))
=
que
172
POSTULADOS
DE LA MECNICA
CUNTIC~
clara contradiccin
error
4
con el resultado
anterior.
Dnde est el
en el razonamiento?
que no
cuando
(f(x), Pxg(x))
-ili
f(x)
y g(x)
cualesquiera,
tenemos
y Px
(inte-
-ilij*(x)g(x)]!:
r+oo df*(x)
+ ili J-oo --;;;-g(x)dx
-ilij*(x)g(x)]!:
+ (Pxf(x),g(x)).
j
,
'!-'
Por lo tanto, para que Px sea hermtico, el producto f*(x)g(x) debe anularse
en x = ::1::00,lo que equivale a que las funciones sean de cuadrado integrable.
pero s lo es la suma
X Px+ PxX.
b) Demostrar
la identidad
X Px + PxX= im [i, X2], donde m es
la masa de la partcula.
c) A partir de esta ltima relacin, demostrar
que si 'ljJ(x) es un
estado propio de la energa (es decir, si i'ljJ(x) = E'ljJ(x) ) entonces
para dicho estado se tiene
(X Px+ PxX)1/1
= O.
de operadores
hermticos
AB es
hermtico
si y slo si los
-~
3.18 Problemas
173
resueltos.
(i,(XPx+PxX)g)
((XPx+ PxX)f,g),
X Px+ PxX,
~2
[H,X
=
-
~2
2m [ Px,X
1
2m
~2
]
~
(-2i/PxX
~2
~2
= 2m ([ Px,X ] X +X
~
- 2i/XPx
])
i/
- m XPx + PxX .
~
)=
[ Px,X
~
E'l/J
= i; [(H'l/J,X2'l/J)
- ('l/J,X2H'l/J)]
-
i; E ((X2)1j; - (X2)1j;) = O.
y las funciones
propias
de dicho opera-
174
POSTULADOS
DE LA MECNICA
CUNTICA
b) Calcular el conmutador
[H, fi] en el caso de que el hamiltoniano
H incluya un potencial simtrico V = V(lxl).
a) De la propia definicin del operador tenemos
= =}
.A?
z
=1
=}
= ::1:1.
El operador fi tiene as los valores propios .Al = 1 Y .A2 = -1. Las funciones
propias correspondientes a cada valor propio han de cumplir
.Al = 1
=}
fih(x)
.A2= -1
=}
==h(-x)
= +1. h(x)
Es decir, cualquier funcin par es funcin propia de fi con valor propio +1,
mientras que cualquier funcin impar ser funcin propia de fi con valor propio
-1.
b) Para calcular el conmutador [H, fi] veamos el resultado de aplicar Hfi
2 d2 f(
H.TIf(x)=Hf(-x)=-2m
L?
-x)
+V(lxl)f(-x)
fi. Hf(x) = fi
-
2~f(-x)
- 2m JI _\?
Pero es evidente que ambos resultados son iguales, ya que V(lxl) = V(I- xl)
y tambin
d2f(-x)=
d(-x)2
d df(-X)=_.!!:...
d( -x) d( -x)
dx
df(-X)
dx
=d2f(-X)
dx2'
Nota: Vemos as que el operador paridad conmuta con el hamiltoniano para un potencial simtrico (par). Esto tiene dos consecuencias importantes. En primer lugar, las funciones propias del
~~
~,
3.18 Problemas
resueltos.
175
= E'PE(X).
= E'PE(-x),
que es equivalente a
-ya que V(x)
2 d2'PE( -x)
V(-x).
+ V(X)'PE( -x)
= E'PE( -x),
tambin
= c'PE(x) = c2'PE(-x)
C= :I:1
'PE(X)
:!::'PE(-x),
...
.
POSTULADOS
176
DE LA MECNICA
CUNTICA
de modo que I.fJE(X)debe ser una funcin par (signo +) o impar (signo -).
b) Los valores esperados del momento y la posicin vienen dados por
(recurdese que I.fJE(x)es real)
{+oo
(X) =
J-oo
(Px)
XII.fJE(X)12dx
= -in
(+oo
J-oo I.fJE(x)I.fJ~(x)dx.
El primer resultado parece obvio. Puesto que el potencial es simtrico, la partcula tiene la misma probabilidad de estar en x que
en -x, por lo que el valor medio de su posicin estar en el centro
del pozo x
= O. Tambin
ya que
~2
que es el resultado
buscado.
\PX
'PE
im
=T
(I.fJE,[H,X
im
)= T
I.fJE
correspondiente
(I.fJE,HXI.fJE) -
im
T
al valor
~
(I.fJE,XHI.fJE) .
..
~.~
3.18 Problemas
resueltos.
177
Ahora bien
('PE,XH'PE)= ('PE,XE'PE)
=E('PE,X'PE)=E(X)
Por otra parte, teniendo en cuenta que
('PE,HX'PE)
'PE
H es hermtico
(X)
..
(Px)
Problema
pendiente
forma
3.8 .- Supongamos
que la ecuacin de Schrodinger
dedel tiempo para un potencial V(x) tiene soluciones de la
1,
W (x, t) 8W (x, t)
i
8.
n w (x, t) 8W -(x, t)
,.....
POSTULADOS
178
DE LA MECNICA
CUNTICA
82'l1(x, t) =
.T.
f 'i'
).
-~
82'l1(x, t)
2m
obtenemos
CI?
- --
.T.
.t;8'l1(x, t)
+ V( x ) 'i' (x, t ) = 'ln
finalmente
in 82W
---+2m 8x2
8W
( )
2m -8x
+V(x)=--,
8W
8t
-1
8W(x,
8t t) + H(p, x) = O
siendo H(p, x) = p2/2m + V(x), con p = ~W(x, t). Esta es la llamada ecuacin de Hamilton-Jacobi de la mecnica clsica,12 que
proporciona una va de unin entre la mecnica y la ptica. En
efecto, as como en ptica los rayos son perpendiculares a los frentes
de onda o superficies de fase constante, tambin podemos considerar que las trayectorias de las partculas son ortogonales a superficies de fase W(x, t) constante, donde la fase W(x, t) obedece a la
ecuacin de Hamilton-Jacobi.
b) En un estado estacionario, la funcin de onda depende del tiempo slo
a travs de una fase e-iEt/. Por lo tanto, W(x, t) debe ser de la forma
W(x, t)
el>(x)
- Et.
Sustituyendo
en la expresin
general para W(x, t), es fcil ver que la funcin el>(x)debe satisfacer la ecuacin
in d2el> 1
- 2m dx2 + 2m
del
dx
+ V(x) = E.
12Vase, por ejemplo, el libro de H. Goldstein Mecnica Clsica, segunda edicin, editorial
Revert.
3.18 Problemas
resueltos.
179
el resultado
de aplicar el operador
exp (iaPx/)
ea(dldx)f(x)
a2 d2
an
1+adx+2!dx2+"'+n!dxn+'"
f(x)
'
~ "
~ (n)
+ af (x ) + 2!f (x ) +... + n! f (x ) +...
( )
f x
consiste
en desplazar
dicha
a a lo largo
Taf(x)
f(x
a) Demostrar
que si el hamiltoniano
es peridico
l?.acial a, es decir si H(p, x) = H(p, x + a), entonces
+ a).
con periodo esTa conmuta con
H.
b) Encontrar la forma general de las funciones propias de dicho
hamiltoniano.
a) Veamos el resultado de aplicar HTa y TaH a una funcin f(x).
~~
2 d2f(x+a)
HTaf(x)=Hf(x+a)=-2m
A~2
+V(x)f(x+a)
y
~
TaHf(x)
Ta
(- 2m
2 d2f(x)
dx2
+ V(X)f(X)
+ a)2
2 d2f(x
.
180
+ na) = [eia(a)]n
7fJ(x)
a) = Uk(X), En efecto
<PE(X+ a)
= eik(x+a)Uk(X
+ a) = eikaeikxuk(X)
= eika<pE(X).
=1
ka
= 211"m
211"
m.
= uk(x)eikxj
es decir, tendrn
la forma de
una onda plana de longitud de onda 211"m/k= a cuya amplitud est modulada por una funcin peridica Uk(X) de periodo a. Tales
funciones 7fJ(x)se extienden por todo el espacio y no son de cuadrado integrable por lo que, estrictamente hablando, no podemos
calcular valores esperados del momento. No obstante, se pueden
normalizar las funciones Uk(X) en el intervalo (-a/2, a/2) y definir productos escalares sobre dicho intervalo. Entonces podemos
'
3.18 Problemas
resueltos.
181
a/2
= -i
a/2
du( x)
21fm.
(R) 1P = (1jJ,R1jJ) = 2~
(1jJ,P;1jJ)
= 2~
(Px1jJ,Px1jJ) =
2~
Ilpx1jJ112~
O.
La igualdad slo se satisface para Px1jJ = O,pero esto implica 1jJ= A = cte.;
y como hemos supuesto que el estado es normalizable, A debe ser cero. Por
consiguiente, para cualquier estado
1jJ
nor'malizable resulta
(R) 1P > O.
Problema 3.12 .- Una partcula se mueve bajo la accin de un potencial V(x) cuyo mnimo absoluto es Vrnin.Demostrar que no puede
existir un estado estacionario ligado cuya energa sea, precisamente,
Vrnin.
(i)
1P
= (R)
1P +
(V)
::::}
1P
= Vrnin, se
(R)
1P
Vrnin
cumplira
-
(V)
1P
que
.
Ahora bien
(V)1P = 1 V(x)
11jJ(x)12dx
Vrnin
11jJ(x) 12dx
= Vrnin,
y as
(R)
1P
..
182
POSTULADOS
DE LA MECNICA
CUNTICA
(K)
que
Por consiguiente, la
= Ne-alxl,
'11(x,O)
a) Calcular
b) Calcular
t=
la distribucin
la distribucin
libre
> real.
con a
de posicin para t = O.
del momento lineal para
de probabilidad
de probabilidad
O.
+00
N2
e-2axdx = -
y as
'11(x, O) = y"a exp (-a
Ixl) ,
Ixl) .
=~
r+oo
V27r 1-00
'11(x, O)e-ipx/.
~ (p,O) =
fa
r+oo
2y 2;h, 10
2;;ii r+oo
y -;:px 10
exp
( )
-;u
cos(u) duo
3.18 Problemas
resueltos.
183
13 = ali/p
[+00
{ =- lo
~'k~\-~~"~\~~~
r+oo
-(3 (1 + (31),
de donde
(3
1 + (32-
1=
alijp
1 + (alijp)2'
Por tanto,
- (p,O)
\lJ
lfJ
7rp21 + al(p
(alijp)2
/2 1+ 1~ .
= V;;;;;
dp.
(Px) = O.
(X) = O,
Por otro lado,
+00
(X2)
+00
2
a
x2p(x,0)dx=a
-00
-00
x2exp(-2alxl)dx
_
1
+00
= 2a 2
u2exp(-2u)du
y
~2
/Px
)= 1
+00 2
4li2a2
p Pp(x, O)dp= -
-00
7r
+00
1O
u2
?du=
(1 + u2)
Por tanto,
tlX = J(X2) = ~a
(ali) .
.
184
POSTULADOS
DE LA MECNICA
CUNTICA
(ntese que para este estado se cumple, como debe ser, D.X . D.Px = n/v'2 2:
n/2).
d) Segn el enunciado la partcula est libre, es decir, no sometida a ningn
potencial.13 Como consecuencia,
en el ins-
iPOX
( )'
(Px )
r+oo
iPOX
-T
) {
dx u(x)exp
iPOX
( )}dx
T
r+oo
du (x)
r+oo
-in J-oo u (x) -;;;;-dx + PoJ-oo lu (x)12dx.
(Px)=Po.
En cuanto a la incertidumbre, calculemos
2 r+oo
~2
(Px )
iPOX
d2u (x)
+00
u (x)
-00
13Evidentemente,
para
que en t
d2
) {
iPOX
( )}dx
r+oo
dX+P6 J-oo lu(x)12dx
du (x)
- d dx
x
habr habido que prepararlainteraccionando con ella de alguna manera; pero a partir de ese
instante, la partcula queda libre.
------
185
(+oo
d?u (x)
(P; ) = -2 J-oo
u (x) L? dx + p5.
Por tanto,
~Px
J(p;)- (Px/ =
:oo u (x)
d2:X~X)dx
=
que, efectivamente,
-2
es independiente
de Po.
L+
Calcular
= Lx
las relaciones
+iLy
= Lx
L-
de conmutacin
entre
es conveniente
- iLy.
L+, L- y Lz.
[L+, Lz]
-2i [Lx,Ly]
= 2Lz.
~ideremos
en coordenadas
polares
,p(r,9,<I.
POSTULADOS
186
DE LA MECNICA
CUNTICA
a la componente
r2dr sin ()d() dcjJ. Entonces (considerando por simplicidad slo la dependencia
radial de las funciones) para cualesquiera funciones f y 9
(f(r), -id~~)
-i
(':YO
f*(r) dg(r) 411-r2dr
lo
dr
100 (2rf*(r)
+r2df:;r)
g(r)dr
..
,g(r)
+i87r100r f*(r)g(r)dr.
As, aunque las funciones f(r), g(r) tiendan a cero lo suficientemente rpido
para que el primer trmino sea nulo en el infinito, la ltima integral ser
en general diferente de cero y, por lo tanto, no se cumple la condicin de
hermiticidad.
Problema
3.17 .- El operador
lar) se escribe
en coordenadas
Lz (componente
polares
z del momento
angu-
a
Lz = -i aep'
siendo ep el ngulo azimutal. Estudiar qu condiciones deben satisfacer las funciones f(ep) sobre las que debe actuar dicho operador
para que sea hermtico.
El operador Lz es formalmente idntico al operador Px. Sin embargo, epes
ahora un ngulo azimutal y, por consiguiente, los lmites de integracin en las
integrales que dan los productos escalares son O y 27r. Entonces, integrando
3.18 Problemas
187
resueltos.
1>'b"'t"'P'a~,~"Ttfb~~~~
~~~~,~
r\tp)~\~\
atp
dtp
-~' 2~
Jo
\ntp),lzg~tp))
m
a
-i f*(tp)g(tp)]~7r
+ i [27rdf*(tp)g(tp)dtp
i f*(<p)g(<p)]~7r+ CLf(<p),g(<p))
Jo
dtp
'tS
la
3.18.2
Relaciones
de incertidumbre.
"
lo
r
fe
V(x)
O
{ +00
ll-
si x E [-L/2,L/2]
si x ~ [-L/2,L/2].
(Px)
O Y (~Px)2
Elhamiltoniano
~X . ~P
>-
- 2
=}
(X2) . (P;) 2:
~.
s)r
es
as
lo
(H)
~2
(Px)
> -~
2m - 8m(X2)
Evidentemente, si la anchura del pozo es L, (X2) ser del orden de L2, lo que
nos dara una cota E 2: 2/8mL2. Esta cota es bastante pequea y no limita
mucho los posibles valores de la energa del estado fundamental.
..
188
POSTULADOS
DE LA MECNICA
CUNTICA
Para obtener una cota algo mejor (ms restrictiva) podemos afinar algo
ms el clculo de la desviacin tpica de la posicin. En una aproximacin
clsica, la partcula tendra la misma probabilidad de estar en cualquier punto
en el interior del pozo, de modo que su distribucin de probabilidad de posicin
sera p(x) dx = (l/L) dx. Entonces
(X2)
L/2
x2p(x) dx
-L/2
=L
L/2
-L/2
L2
x2 dx
= 12.
Con este valor para (X2) obtenemos una cota inferior para la energa E 2
32/2mL2, que es 12 veces mayor que la anterior, y por lo tanto limita ms el
intervalo de valores para la energa del estado fundamental.
De hecho, en el caso del pozo cuadrado infinito es fcil calcular (lo veremos
en un problema posterior) que la energa del estado fundamental es El =
7[22/2mL2, que es unas 40 veces mayor que nuestra cota ms tosca pero slo
3 veces mayor que la cota que hemos obtenido con un clculo ms aproximado
(aunque muy simple).
Problema 3.19 .- A partir de las relaciones de incertidumbre
hacer una estimacin de una cota inferior para la energa del estado
fundamental
de una partcula de masa m en un pozo de potencial
de [energa x tiempo]
ML2T-l
y [masa]
= M,
de [energa x L -n]
ML2-nT-2.
Con es-
Ixl =
~X . ~P x > ~
::::}
-2
(X2) . (P;) 2
~.
(ii) = (2Px) + b /
m
\
X
l
+ b/
8m(X2)
\
)=
+ b/
8m(IXI2)
\
x )
n
3.18 Problemas
189
resueltos.
IxI2)).
Clsica-
E 2: 8mlxl2 + blxln.
El segundo miembro es ahora una funcin de Ixl cuyo mnimo nos dar una
cota inferior. Dicho mnimo corresponde a
dE
dlxl =
4mlxl3 + bn Ixln-1 = O
1/(n+2)
( )
Ixl =
4mbn
y su valor es entonces
Emin
+b
( )
8m
-2/(n+2)
4mbn
n/(n+2)
( )
4mb
1/(n+2),
Caso
frecuencia
- 3
mm
= 2. Este
J = J2b/m.
a un pozo de potencial
simtrico con
::I::b.Entonces
1/3
-2b2
m
1/3
() ( )
24
caso corresponde
rv
-.
2b2 1/3
( )
09 4-
a un pozo de potencial
armnico
de
~
lb
b
8 V
-;;;;,= ) 2m'
Emin = y
evitar problemas
V (x) como
dimensionales,
V(x)=Va
1~ln
190
POSTULADOS
DE LA MECNICA
CUNTICA
Emin
J~
(~!an)')
1/(n+2)
fi2
8ma2
2mL2
-e
~~l:ctrn
"
'.....
'
\
\
TI
1
TI2
"
\
\
""',.
.
""',
"'"
Electrn
::8-e
"'"
\
"",
"'"
T2
Ncleo
+Ze
Fig. 3.4.
En rigor, y como sucede con el caso del tomo de hidrgeno simple, deberamos referir los movimientos de las 3 partculas a su centro de masas comn.
3.18 Problemas
resueltos.
191
I
I
E=-+P~
2m
P
2m
e2
TI
e2
TI
+-.e2
TI2
= TI + T2
2TIT2
cos <p,
siendo <jJel ngulo que forman las rectas que unen a los electrones con el protn
(vase la figura 3.4). Los dos primeros sumandos de la energa son las energas
cinticas de los electrones 1 y 2; el tercero y cuarto sumandos son las energas
potenciales de interaccin coulombiana entre el protn y los electrones 1 y
2, y el quinto sumando es la energa potencial de interaccin entre ambos
electrones.
Ntese que estamos trabajando en coordenadas esfricas y todava no sabemos cmo calcular exactamente (T), (T2), (P) Y (p2). No obstante, y puesto
que ahora T es positivo, podemos hacer una estimacin 14 de las incertidum-
y D.p rv p. Por consiguiente, las relaciones de incertidumbre estrictas las podemos aproximar por D.TI. D.PI rv TIPI rv f, y
rv
T2P2
rv
podemos
escribir la
E--+
- 2mT~
f2
e2
e2
2mT~
TI
T2
e2
8E =0
8TI
8E =0
8T2
8E =0.
8<jJ
..
7r,
...-
192
POSTULADOS
DE LA MECNICA
CUNTICA
BE
fi2
e2
+-mrr
r~
BrI BE
fi2
-=--+-Br2
mr~
fi2
e2
e2
4r21
-O
(rI + r2)2 -
e2
e2
r~
(rI + r2)2
--+---=0
mr31 r21
e2
=?
= r2 y, as,
=0
la condicin de mnimo se
4fi2
rI = r2 = 3me2 = 3"rE,
~ = ~8 Ef!,
Emin= -16 rE
que es ligeramente mayor (en valor absoluto) que la energa del estado fundamental del tomo de hidrgeno neutro Ef!.
Problema 3.21 .- Hacer una estimacin de una cota inferior para la
energa del estado fundamental
del tomo de hidrgeno en el caso
relativista.
La ecuacin de Schrodinger es vlida en tanto que las partculas a las que
se aplica tengan una velocidad pequea comparada con la de la luz. Entonces
(pc)2 (mc2)2 y podemos escribir
E
= J m2c4 + p2c2 ~
mc2 +
p2
-2m
.........
3.18 Problemas
resueltos.
193
a la variacin de la masa con la velocidad (excluyendo, por supuesto, la posible transformacin de partculas en energa o viceversa), podemos escribir la
expresin relativista para la energa cintica. Entonces, la energa del electrn
en el tomo de hidrgeno ser (prescindiendo de la energa en reposo)
e2
rp~h
e2p
E = vm~c4 + p2c2 - mec2 - T'
meac
vI - a2'
m2a2
e
24
1/2
1 -a 2
+ mec
m e a2c2
- meC -
V1-a
= meC
1-
a2
a4
2 +8 -
oo.
- 1 = -'2mec
2 2
2 4
+ SmeC a-...
...
.....
194
POSTULADOS
DE LA MECNICA
CUNTICA
Sin embargo hay otra objecin ms seria desde el punto de vista formal. Estrictamente hablando, la relacin de incertidumbre
afirma que ~A . ~ii 2: I( [A, ii] ) I /2, siendo A y ii dos operadores hermticos. Los problemas anteriores estn planteados en
coordenadas polares esfricas y no sabemos todava cules son los
operadores hermticos correspondientes a las componentes polares
del momento, ni cules son sus relaciones de conmutacin con r.
(De hecho, hemos visto en un problema anterior que el operador
hamiltoniano asociado a Pr no puede ser -ia /ar).
Por tanto, para resolver el problema de manera ms rigurosa deberamos conocer dichos operadores. Otra forma de resolver el
problema consistira en planteado en coordenadas cartesianas y
utilizar la relacin estricta ~X . ~Px 2: h/2, y las anlogas para
las otras dos componentes. Evidentemente esto complicara algo
los clculos.
3.18.3
Pozos cuadrados.
O
{ +00
estacionarios
si x E [O,L]
si x ~ [O,L].
y las energas
correspondientes
en
cp(x)=Asm. V2mE
li2x+Bcos
Esta funcin ha de anularse en x = y x
cp(O) =
::::}
= L.
li2x.
V2mE
Entonces
B=O,
3.18 Problemas
195
resueltos.
y
'P(L)
=O *
SIn
.
2 L
J2mE
=O
---:-L
J2mE
= n7r
con n entero.
As, pues, los posibles valores de la energa y las funciones propias correspondientes son
A
E n--- n27r22
La constante
<
. n7rX
nSlnT'
{L
lo
'Pn(x ) = nSln
~x
. J2mEn
{L
l'Pn(x) 12dx
= ~ lo
n7rx
sin2 (T ) dx = A~2 = 1
An
ji.
'Pn(x)
Ii
cos nlx
fi sin
{ VI.
que son alternativamente
un pozo simtrico,
mrx
L
si n es impar
si
n es Par
'
Problema 3.23 .- Una partcula de masa m se encuentra en un potencial cuadrado infinito de anchura L. Su estado inicial es tal que
al hacer una medida de su energa hay un 75% de probabilidades
de obtener
el valor
obtener el valor E
(7r)2/2mL2
y un 25% de probabilidades
de
= 2(7r)2/mL2.
...
196
POSTULADOS
DE LA MECNICA
CUNTICA
1e12
= 3/4
Y IC212=
{3
1/4. Como
consecuencia
fl
i6
v'3
ei6
encuentran en x
-L/2
Suponiendo
'~,
del pozo se
en el problema
(3
1fX
i6
w(x,O) = V2icosT
anterior,
(1 .
tenemos
21fx
+e V2ismy
w(x,t) =
LCn<?n(x)exp
n=l
B t
-1, n
),
Cn
= (<?n(x), w(x,O,
w(x , t) =
1fX
-cos-exp
2L
L
(3
= V 2i
1fX
cos T exp
iE1t
--
(
(
i6
) f!
{1
) 2i
+e
. 1f2
-1,t 2mL2
21fx
-sm-exp-2L
L
i6
+ e V
21fX
sm Y
exp
iE2t
. 21f2
-1,t mL2
I
"L
3.18 Problemas
resueltos.
197
y puesto que
V3e-iElt/
'l1(x, t) =
'Pdx) +
eie-iE2t/
'P2(x)
operando se obtiene
(x )t
(x)
+!J3e-iElt/e-i6eiE2t/
(x)
12
'
21
donde
+L/2
x
=
( )mn j-L/2 'P:n(x) x 'Pn(x) dx.
--
(X )
--
12
V3
= 4 (X )11 + 4 (X )22 + 2
(x)
(x)
21
E2 -El
cos
Y entonces
--
) (X )
t- 8
12'
(x)
11
= (X)22 = O,
mientras que
--
= -2
L
12
+L/2
7rX
27rX
-L/2
--
8V3L
cos
16 L
dx = ---.
9 7r2
Por consiguiente
(X )t = -
8),
siendo W12
T
= 27r/w12 = 4mL21
(37r).
--
( )
.
d X
8V3mw12.
t 8) - - 4 sm
(
(W12t - 8),
( Px) t - m dt t =
- y13L
97r2 sm W12,)
-..,......
POSTULADOS
198
DE LA MECNICA
(Px)t con
de probabilidad
CUNTICA
el mismo periodo
Iw (x, t)12
( oos C';;)e-iE,tl
(eos
(7)
+ {[ sinC~x) e"e-i"'tl)
eiE,tl
y, operando,
p(x,t)
3
2L
[
2
COS
v'3
+: COS
7rX
1.
27rX
(L ) + 2L (L )]
. 27rX
(L ) (L ) cos (J12t SIn
7rX
SIn
8) .
p(x,O) = p(x,nT)
, n = 0,1,2,
oo.
f) La corriente de probabilidad es
J(
x, t )
=~
2m {
w(
x, t )
i
2m
v'3e-iElt/
ei8e-iE2t/
[(
4'1 (x) +
v'3eiElt/
x
i
- 2m
[(
4'~(x)+
4'~(x)
v'3eiElt/
e-i8 eiE2t/
2
4'1 (x) +
2
4'2 (x)
e-i8eiE2t/
v'3e-iElt/
4'2 (x)
)]
ei8 e-iE2t/
4'~(x) +
4'~(x)
) ]
3.18 Problemas
resueltos.
199
y, operando,
J (x, t)
Al sustituir
(<p~
J(x,t)
y'37ffi
7fX
27fX
(L ) sm (L
2mL2 [ -sm
27fX
-2
COS
( )
L
7fX
(L )] sm (W12t -8)
cos
Es decir, J (x, t) vara con la misma frecuencia que p (x, t), pero con un desfase
de un cuarto de periodo. Por consiguiente, en los instantes nT se cumplir
. 7fX . 27fX
y'37ffisin8
sm-sm-+cos-cos2mL2
L
L
{
( )
( )
J(x,t)=
27fX
( )
L
7fX
( L )} .
Por otro lado (hgalo) es fcil comprobar que p (x, t) Y J (x, t) satisfacen, como
debe ser, la ecuacin de continuidad
ap(x,t)
at
_O
aJ(x,t)
ax
-.
H es una
puesto que
\H
) = El
+ E2 =
7 7f2 fi2
8mL2
/ H2 = ~E2
!E2
+ 4
19
16
7f2fi2
( )
mL2
'
de donde
~H = J(H2)
h) Por ltimo,
Ay
(H/ =
el tiempo
19 -
16
(~)
8
TA de evolucin
2 7f2fi2
mL2
= 3y'37f2fi2
8 mL2.
de un observable
cualquiera
incertidumbre
energa/tiempo,
TA
..
~H -> !::.2
en consecuencia
=*
TA >
- 2~H
- 4y'3mL2
97f2fi .
..
200
POSTULADOS
DE LA MECNICA
CUNTICA
Problema 3.24 .- Una partcula en un pozo cuadrado infinito de anchura L se encuentra, en el instante t = O,en un estado definido por
la funcin de onda W(x, O) = Ax (L - x), siendo A una constante de
normalizacin.
Calcular la distribucin
de probabilidad
PE (En) de
la energa, su valor medio (E) y su desviacin tpica !::lE.
Segn el enunciado del problema, el pozo se encuentra centrado entre O y
L, puesto que W(x, O) se anula en estos puntos. Empecemos normalizando la
funcin de ondas:
1 = A2
1o
X2
2
A2 L5
(L -x ) dx=30
'
(30x
y'3O
(H) = -
2m
lo
w (x, O)
a2w (x, O)
ax2
dx
52
mL2
10
7f2E1 ~ 1, OlE1-
Anlogamente,
/i2
J4W(x,O)dx= 304.
ax4
m2L4
Por tanto,
!::li=
Observamos
304 m 2L 4
52
( ) = V52 = 2V5E
mL 2
mL2
de la energa
7f2
1 '"
-,
O 45E 1.
(i) es prcticamente
el
del estado fundamental. Esto es lgico, puesto que la funcin W(x, O) es muy
similar a <P1(x).
Calculemos ahora la distribucin de probabilidad PE(En) = P (En), esto
es, la probabilidad de que al medir la energa obtengamos el valor n-simo del
espectro. Ahora bien, la funcin W(x, O) es simtrica respecto del centro del
pozo; luego, si llamamos <Pna las autofunciones de la energa del pozo, todos
los productos escalares (<Pmw) en los que la funcin <Pnsea impar respecto del
3.18 Problemas
201
resueltos.
centro del pozo se anularn, como sucede para todos los n pares (n = 2,4,...).
Por tanto, tenemos que
P (E2n)
=O
= 0,1,...
Puesto que
= VL
T'
nos queda
P (E2n+1)
(<t?2n+1,w) 12 == 60111
donde
In
= 7f3(8n3 + 12n2 + 6n + 1) =
7f3(2n + 1)3
y entonces
960
P (E2n+d
n = 0,1, ...
(22K - 1) 7f2K
n=O(2n + 1)2K -
2 x (2K)!
1/42,
.oo
BK
= 1/6, B2 = 1/30, B3 =
LP(E2n+1)
n=O
960
= (f7f
L
n=O(2n + 1)
00
7f
2 X.6'
B3 = 42B3 = lo
~
202
POSTULADOS
DE LA MECNICA
CUNTICA
(i)
= '"
P (E 2n+1 ) E 2n+ 1 -L.,;
n=O
480
960
6
7f
~
L.,;
7f2fi2
2
(2n + 1)
2m"
1
- 480 fi2 (24 - 1) 7f4
7f4 mL2 n=O (2n + 1)4 - 7f4 mL2
~
..
B2
(i2 )
960
00
~P(E2n+1)E~n+1
180fi4
7f6
7f2 fi2
00
( ) ~2mL2
30fi4
= m2L4'
m2L4B1
valores todos ellos que coinciden (naturalmente) con los obtenidos anteriormente.
Problema
3.25 .- Una partcula de masa m se encuentra
en el nsimo estado ligado de un pozo cuadrado infinito.
Determinar
la
distribucin de probabilidad
de momento lineal para dicha partcula.
Consideremos un pozo cuadrado infinito de anchura L con paredes en Oy
L. Las funciones propias son
<Pn(x)
(2 .
= V L sm
in7fx
n7fX
(exp ( ;- ) - exp (
= V2[i
-in7fx
))
1
V27ffi
1
-iPX
{L
lo
(--,:-)
( ( ;- ) - (
<Pn(x) exp
{L
lo
dx
in7fX
exp
-in7fX
exp
-iPX
)) (--,:-)
exp
dx.
15Esto podra hacer pensar que la forma de Fourier de 1/Jn (x) ser ~n (p) =
{h (p - Pn) + (p + Pn)} /.../2, donde pn = '2mEn. Pero esto no es completamente exacto.
En efecto, fuera del pozo la funcin de ondas es idnticamente nula, mientras que la combinacin lineal de autoestados del momento no 10 es. De esta forma, 1/Jn (x) no es combinacin
lineal de dos autofunciones del momento lineal y esto va a implicar contribuciones a ~n (p)
de valores p =1=
::I::pnaunque, como veremos inmediatamente, de menor amplitud.
3.18 Problemas
203
resueltos.
Agrupando trminos
'Pn(P)=
~.
lL exp[i (n
~-~
2 {exp [i (n -~) L] -1}
L
-~) x] dx =
-ie-ipL/
!!1!.- 2
L
e~nn:
lL exp[-i (7 +~) x] dx -
. -ipL/
'le
!!1!.
L + 2
.
e~P
t.
L/ lb
(n +~) L] -1}
{e-inn: -eiPL/ }
y as
e-inn: - eipL/
- -e-ipL/
'Pn(p) -
'Pn (p)
!!1!.
L
+ 2
einn: - eiPL/
!!1!.2
L
operando,
n2n2 - p2L2j2
= .~nexp
(~) (exp(~)
- (-l)nexp
(~))
n2n2 - p2 L2 j2
( ( )
exp
-(-1)
exp
-iPL
(~ ) si n es impar
2i sin (~) si n es par.
2cos
))
=
{
!'Pn(P)1=
4Ln
-, (n'1r' -rL'/'
(~)
) x { sin' (~)
sines par.
cos2
si n es impar
204
POSTULADOS
DE LA MECNICA
CUNTICA
(2m + 1) 1fj L.
8-f1k.
4k.
I
8f11e.
I
-8f1k.
...-
-4N1.
o
4I'Ik.
MOMENTUM
8f1k.
(a)
-8fIk.
-4f11e.
MOMENTUM
(b)
Fig. 3.5.
4fIk.
8-f1k.
3.18 Problemas
205
resueltos.
Resumiendo, la funcin lipn(p)12 presenta dos mximos pronunciados cenen Pn = -x.mr/L = -x.v2mE y con anchuras del orden de 27f/ L. Para
estados ligados tales que n 1, la anchura de los mximos es mucho menor
que su distancia al origen y la distribucin de probabilidad de momentos est
muy fuertemente concentrada alrededor de los valores -x.v2mE. Esto justifica
que para valores altos de n, las incertidumbres obtenidas con la distribucin
(1/2) (8 (p - Pn) + 8 (p + Pn)), que se ha sugerido anteriormente, sean muy similares a los obtenidos con la distribucin exacta.
Nota: Es importante hacer todos los clculos sugeridos en este problema
y representar grficamente las funciones resultantes.
trados
Si inicialmente
OY x
= L, el estado
()
Wt=o- (x)
'Pl~ (x)
(2 7fX
= V L sin L
x E [O,L],
donde el superndice (i) seala que nos estamos refiriendo al pozo inicial. La
energa inicial del mismo es, naturalmente,
2 t;2
E - E(i) -
o-
1 -
2mL2'
Tras la expansin sbita, el estado Wt=o+(x) se podr escribir como combinacin lineal de las autofunciones
'P}!)(x)
00
Wt=o+ (x)
=L
n=l
Cn'P}!) (x) ,
donde
(2
'P}!) (x)
= V 2i
. n7fX
sm 2L
x E [0,2L].
,....
~
206
POSTULADOS
DE LA MECNICA
CUNTICA
(f)
(L.
n'lrx . 7rX
en
= 2l.
En este caso,
= V2L Jo
1 2 (L
. l7rx . 7rX
= V2L Jo sm;smTdx
sm 2L smTdx
811
= )2'
= 1/V2,
C4
C{j
= ... = O
C21+1
y haciendo
C21+1
1 2 {L .
V2L Jo sm
el cambio habitual
= V211 sin
(2l+1)7rX
2L
.
sm
7rX
(T ) dx.
= x /L
-4V2 (-1)1
obtenemos
en
= -4V2
(-1)1
sin=2l+1.
En definitiva
1/2
2 O
-2
lenl - {
(n2 - 4)
sin=2
si n = 4,6, ...
si n = 1,3,5,...
C1
32
= 97r2
~ 0,36025.
I
I
3.18 Problemas
resueltos.
207
cl
Eini
7[22
= El = 2mL2'
(n
00
Efi
+ 32 '"'
7[2
n=l
7[22
32
16
4mL2
(1+
7[22
2
(n2 - 4)
n impar
'"'
L..,
n impar
(n2 - 4)2
n ~ar
(n2 - 4)2 .
n2 - 4 2 +
(n 2 - 4)
n
-+
n2
'"'
n2
7[2 n Impar
n impar
n Impar
nos queda
2+22m (2L)2
7[22m (2L)2
7[22
En
'"'
n2 - 4
impar
L..,
4
~
n impar
1=
00
n=l ICnl
32
= 2 + 7[2
n Impar
1
(n2 - 4)2 =} n
Impar {n2
7[2
4)2
64'
n impar
1
n2 - 4
00
~
1
(2n + 1)2 - 4
00
= 4(
-
2n - 1 -
1 00
=4
00
~(
(2n + 1) - 2 - (2n + 1) + 2
2n + 3 )
({-1 + 1+ ~ + ~ + ...} -
{ ~ + ~ + ...}) = o.
POSTULADOS
208
DE LA MECNICA
CUNTICA
En resumen
1f22
Efm
= 4mL2
16 1f2
1f22
(1 + 1f216) = 2mL2 =
Eini.
de la forma
si x < O
con
-Yo si xE[O,a]
si x>a
{ O
los valores propios E del hamiltoniano
V(x)=
Calcular
(vase la figura
(n2
a
= 5y~.
correspondiente.
H=-
2 d2
2m dx2 + V(x)
"""'"
3.18
Problemas
resueltos.
209
V(x)
o 1-- - - - - - - - - - - - - - - - - -- - ~=a
-Va
Fig. 3.6.
Es e~ue
> O.
h= -
Id?
v (y)
"2dy2 + v (y)
-1
O
{
si y E [0,5]
si y > 5,
= O.
y E [0,5]
(-~
d~2 - 1)
CPe
(y) =
d?
=}
eCPe
(y)
- dy2CPe(y) = 2 (e + 1) CPe(y)
CPe(y)
Como
soluci6n puede escribirse
CPe(y)
A sin
(J2 (e + l)y)
Y E [0,5],
.
210
POSTULADOS
DE LA MECNICA
CUNTICA
3.
Si y > 5 tenemos
1 d2
-2dy2<1>e (y) =6<1>10
(y),
<1>10
(x)
Vistas cmo son las autofunciones, analicemos los posibles valores espectrales. En principio, 6 es cualquier valor real; ahora bien, si 'lf;(y) es un estado
normalizado es fcil ver que
/ _!~
\
2 dy2
= _!
2 lo
1/1
dy2
dy
_!'lf;*d'lf;
00 +!
dy ] o
d'lf;
roo
2 lo
dy 1
> O,
A
<t
mientras que
(v (y)1/1=
100
= Vrnin = -1,
donde Vrnines el mnimo valor que toma v (y). As los valores medios
(Ti)1/1
s
e
TI
a) Caso 6 E [-1,0)
<1>10
(y)
a2 exp
(J2lfy)
,y~5
<1>10
(y) =
Asin(.J2(6+1)y)
,I()T.:J
{ a2 exp ( -y 2161y)
siYE[0,5]
.
SIy> 5.
La funcin <1>10
(y) es, por hiptesis, derivable dos veces: tanto <1>10
(y) como
su derivada han de ser continuas. El nico problema puede surgir en y = 5.
1
(
3.18 Problemas
211
resueltos.
-2
-1,0
\,
-0,8
-0,6
-0,4
-0,2
0,0
o
Fig. 3.7.
= O,
sistema homogneo que liga A con a2. Para que el>E: (y) # O, el sistema de
ecuaciones ha de admitir soluciones no nulas por lo que el determinante de la
matriz de los coeficientes ha de ser igual a cero:
'I/J
la
y
V-
e;1 = - tan
(5J2 (e + 1))
e E (-1,0).
10
el> (y)
5.
E:
I
liliiii
Asin( J2(e+1)Y)
si Y E [0,5]
si y> 5.
POSTULADOS
212
DE LA MECNICA
CUNTICA
Ntese que esta c/>e(x) no pertenece al espacio de Hilbert, luego ser una
autofuncin impropia. Imponiendo de nuevo continuidad de la funcin y de
su derivada en y
sin(5v2(+1))A
exp(ip)a2+exp(-ip)132
= -0.85Vo,
E2
= -0.42V,
Px
Hw
a ==
lit =
de ma-
2 ~2
at y "aniquilacin"
m;;~
fl~
y'2 ( VTX+iV~PX
1
unidimensional
> Oser
2m + 2m.J X ,
"creacin"
valor E
m;;~
y'2 ( VTX-iV~Px
fl~
).
(o" destru~-
3.18 Problemas
resueltos.
213
j
I
5(,PxYel hamiltoniano
b) Calcular
los conmutadores
de un oscilador
at y a. .
y [Hw,a]
[a,at] , [it"at]
+ a=
~
s
"
s
-X
J2rruu
/i
.
at - a = -z -
~p
J 2~ (at+ a)
5( =
rruu/i
[l
t,J
P x=z
~
2
'Jrruu/i
(at -a )
rruu ~2
s
o
~t~ -
rruu ~2
a a-
2/i X
~2
+ 2rruu/iPx + 2/i [ X, Px ] -
~2
o tambin
l-
~t
aa -
rruu ~2
2/i X
~2
rruu ~2
~2
'
Hw
Px + ~rruu25(2
2m
2l..
= nw aat - ~)
@ Del resultado
1-
[a,at]
= aat - ata = 1.
c-
y, anlogamente,
[Hw,a] = nw [ata,a] = nw (at [a,a] + [at,a] a) = -nwa.
16Este mismo resultado se podra haber obtenido directamente a partir de la definicin de
a;t y a;y la propiedad distributiva de los conmutadores
[a;,a;t] =
....
I
I
I
214
POSTULADOS
Problema
3.29 .- Sean
propios,
respectivamente,
DE LA MECNICA
CUNTICA
propia
de
En - J.J.J.
Hwa cPn =
J.J.JatcPn + at EncPn
~t
~
~t
Hw,
a
~
cPn+ ~ta HwcPn
(En
+ J.J.J)(at cPn)
y
Hw (acPn)
Hw (acPo)=
(Eo - J.J.J)
acPo,
de modo que acPo sera funcin propia de HI,,) con valor propio Eo - J.J.J< Eo.
Pero no puede haber ninguna energa menor que la del estado fundamen-
a = ~ (~x
V~
dx +
dcPo(X)
( ) -0
2 x'f'Ox-,
~
J11UlJ
cPo(x)=
1/4
( 7T)
11UlJ 2
exp - 2 x
),
,
3.18 Problemas
resueltos.
215
114>011
que no se anula
para ningn x finito, como corresponde a la funcin de onda de un estado fundamental. Ahora, recordando la expresin de Hw en funcin de los operadores
at y a, tenemos
Hw4>o=
lY..J
(ata + ~)
4>0
lY..Jat(a4>o)+
~lY..J4>0
~lY..J4>0,
del oscilador.
para
los valores
Conocemos por el problema anterior 4>0y Eo. Por otra parte, hemos visto
en un problema anterior que at 4>0ser funcin propia de Hw con valor propio
= (3j2)lY..J.Ahora bien
E = Eo + lY..J
/
0
at 4>0
=
=
=
m;;;X - fl
p
~V2 VT
V~ x )
(
~ rr:ix- (It ~ 4>o(x)
V2 ( V T
V;;;:; dx )
4>0
25
4>1(x)
a la que corresponde,
1/4
()
= -;
3/4
(rr;; )
x exp(- rr;;x2) ,
= (3j2)lY..J.
Asimismo, es fcil ver que una nueva aplicacin del operador at a esta
funcin da lugar a una funcin par y con dos ceros; es decir at 4>1=
(at)2 cjJo
debe ser (salvo normalizacin) la funcin de onda del segundo estado excitado,
correspondiente
a una energa E2 = El + lY..J= Eo + 2lY..J= (2 + lj2)lY..J. Por
...
216
POSTULADOS
DE LA MECNICA
CUNTICA
La constante de normalizacin An puede calcularse o bien por integracin directa o por recurrencia. Este ltimo mtodo es el objeto del problema
siguiente.
Problema
ata<Pn,aat<Pn>
at <Pny a<pn-
3.32 .- Calcular
Teniendo
L<Pn
en cuenta
J.JJ
= (n +
que En
(ata+ ~)
<Pn
1j2)J.JJ,resulta
(n+ ~)
ata<Pn= n<Pn,
J.JJ<Pn
(<Pn+l,<Pn+l)
= (n +
= IAn+l12
(at<pn,at<pn)
cuencia,
<Pn+l =
Anlogamente
(n + 1)-1/2at<pn o
se demuestra
As pues, si partimos
<P1 =
<P2 -
at <Pn=
+ l<Pn+l.
\l"n
de un <Ponormalizado,
obtenemos
~t",
a '1-'0
1 ~t
y'2a
<P1
(at ) <Po
1
y'2X3 (a )
1
\1"2x 3 x 4 (a )
y'2
<P3 -
~at<p J3 2 1
-a t ~
<P4 =
v'4
<P3-
<Po.
~t
<Po
~t
<Po
En conse-
3.18 Problemas
resueltos.
217
Nota: Naturalmente,
el mtodo anterior puede ser algo tedioso si
queremos calcular por iteracin, a partir de C/>O,
las funciones propias c/>npara n elevado. Estas funcionespropias c/>n
(x) pueden ob-
tenerse tambin resolviendo directamente la ecuacin de Schrodinger para el oscilador armnico. sta es una ecuacin diferencial
de Hermite que puede resolverse por un desarrollo en serie.17 La
solucin general explcita puede escribirse de la forma
c/> (x)
( -l )n
7rl/4(2nn!)l/2
d'"
) -dxn
exp (-x2/a2
va-lS)n(x/a),
donde
(-l)n
7rl/4(2nn!)l/2
a(2n-l)/2
(/rru.v)1/2, verificar
exp
anterior
d'"
explcitamente
exp (-x2
/ a2 )
las relaciones
obteni-
en representa-
cin de coordenadas
atc/>n(x)
(_1)na(2n-l)/2
7rl/4(2n+1n!)l/2
;-x - a dx
(_1 )na(2n-l)/2
7rl/4(2n+1n!)l/2
[a
( _1 )na(2n-l)/2
7rl/4(2n+1n!)1/2
)[
dxn
eX /2a.
X dn
--e-x
[ a dxn
]
2
la.
dn+l
+ a-e-x
dxn+1
dxn+1
vn + 1c/>n+1(x).
....
-X2/a.2
dxn e
2
2 d'"
2 2
eX /2 a.
e-X / a.
dn+l
(_1 )n+la(2n-l)/2 aex 2 /2a.2 -e-x
7rl/4(2n+1n!)l/2
x2/2a.2 d'"
la.
la.
]
POSTULADOS
218
Problema 3.34
del hamiltoniano
.-
DE LA MECNICA
Xy
Px en dicha
matricial de X2 y P;.
armnico.
base.
b) Obtener la representacin
c) Calcular (X),
CUNTICA
estado
es-
el
=.s
ars ==(<Pr,a<ps)
Xrs =
Prs
(<Pr,<Ps+1)= vs+18r,s+1
(<Pr,<Ps-l)=.s 8r,s-1
V 2~ (at + a) rs = V 2~ (vs+18r,S+1
+ .s 8r,s-1)
y'l
(at)=
O
o
O O J2
O O ...
J2
O
...
o J3
O O.,,
o ...
(x) = V 2rrIMJ
(a) =
o o o J3 ...
(0o o o o
o Vi o o
Vi o J2 o
oo J2
o J3
o J3
o ...
o -y'l
Vi o
(Px) = iVrru;,
J2
o
o
-J2
o
J3
o
o
-J3.
o
..
!
I
3.18 Problemas
219
resueltos.
de matrices
XrlXls
= L1 2~
2~ (V8 (8 -1)
P;s =
81,s+1+ JS 81,s-1)
PrlPs
= -
(JSTI
81,s+1 -
JS 81,s-1)
(at):s
1,
(a);s = (ePr,ciiePs)
= JS (ePr,aePs-1)
= JSyI"S=1 (ePr,ePs-2)= V8 (8 -1)8r,s-2
y entonces
X;'s
= 2~ ((at+a) (at+a)) rs
= ~
27n.J
((atr
+ata+aat + (a)2
2~ (V8 (8 -
rs
(9 Para
= 8 = n, tenemos
(X)n =
(X2)n
X
...
Xnn
=O
Ti
= X~n = ~
~
Ti
( )
J~(n+~)
,.
"-
220
POSTULADOS
DE LA MECNICA
CUNTICA
(Px)
(P; )
Pnn
APx
=O
2
Pnn
'mJn
=~
( )
V,","(n +~)
Por tanto,
~
AX . APx =
,
( )
n
+ -2 n >
-n.
- 2
Problema 3.35 ,- Calcular los valores y vectores propios de los operadores (j,y (j,t.
a) Por resolucin directa de la correspondiente
ecuacin diferencial
de primer orden.
b) Como combinacin
lineal de estados estacionarios
del oscilador
armnico.
(i)
Antes de nada hay que tener en cuenta que ni (j, ni (j,t son operadores
hermticos y, por lo tanto, sus valores propios no tienen por qu ser reales.
= z~z(x)
dx(x) + v'mJ
2n x~z
V 2'mJ
n d~z
(x)
= z~z (x) ,
~z (x)
= Aexp ( -
2:;;;;;;
2n x + V ;;-zx) ,
3.18 Problemas
resueltos.
221
J 2mw
~;dx(x) -
con solucin
~t (x)
Esta funcin no slo no es integrable sino que se hace infinita para x ---t
:::1:00.As pues, el operador at no tiene funciones propias dentro del espacio de
Hilbert.
Escribamos
00
~z
(x) =
I:
n=O
de
I: lenl2=
con
en4>n(x)
lo
n=O
a con autovalor
00
00
Cambiando
n=O
00
I: vnen4>n-1
n=l
sumatorio
00
(x)
=z
tendremos
I:
en4>n (x).
n=O
la igualdad
00
yn + 1en+!4>n (x)
n=O
I:
zen4>n (x) .
n=O
yn + 1en+! = zen ;
Como con-
= 0,1,2, . . .
o bien
en+!
= yn
+ 1
en
==}
z
en = vnen-,
que nos da una ley de recurrencia para las coordenadas del autovector. Evidentemente Coi: O puesto que de lo contrario todos los ndices seran nulos.
As
2
Z
Z3
C2=
z
CI =
ea,
y'2XT ea, C3= y3 x 2 x 1 ea
vI
1181
222
POSTULADOS
DE LA MECNICA
CUNTICA
y, en general,
zn
--COo
en- yn!
q
lenl2 = 1
I 12n
~
n=O n.
00
::::}
1 = Icol2
n=O
= Icol2exp (lzI2)
~z
(x)
= exp (-lzI2
/2)
~<I>n (x),
= <1>0(x)).
estados coherentes.
Si ~; (x) es autovector normalizado de lit con autovalor z+ y lo escribimos
en la base de las funciones propias <l>n
00
00
00
n=O
vn + len<l>nH
(x) = z+
n=O
en<l>n(x).
Por tanto,
00
n=l
que nunca
se cumple
00
..fen-l<l>n (x)
= z+ en<l>n
a no ser que CO =
n=O
Cl
o..
(x)
O. Por tanto,
llegamos
3.36 .- Obtener
la evolucin temporal
(lit) y (li)o
A partir de la ecuacin para la evolucin temporal de los valores medios,
obtenemos
d~:)t
~([Hw,lit]) =i~(lit)t
::::}
(lit)t = (lit
exp(+i~t)
3.18 Problemas
resueltos.
223
y, anlogamente,
i /\
d (Ci)t=
dt
ti
) = -iw
iiw, Ci]
=}
(Ci)t
(X)t
(X)t -
(Px) t
- ~.
dt
d' dt2
(X), - 2m d (p.),
dt
-",' (X)"
e integrando,
(X),
(Px ) t
dt
obtenemos
~ / px
~=-mw
dt2
(X)
dt t = -w2
\/ Px t ,
...
(X\ sinwt.
(Px)t
POSTULADOS
224
X y Px en funcin de lit
<E> Escribiendo
A~
DE LA MECNICA
CUNTICA
y li
t~~<~~2it~~
2~ ((lit)o exp (+iJt)
= V 2~
(li)o) sinJt
(Px) t .
Problema
3.38 .- Un oscilador
encuentra
inicialmente
armnico
en un estado
2
00
cuntico
de frecuencia
zn
del resultado
anterior,
se
con
z E jR+.
ynr<l>n (x)
coherente
obtener
instante
posterior
(X)t Y (~X) t .
Ya hemos visto en un problema anterior que el estado ~z (x) es autoestado de li con valor propio z. Ahora, teniendo en cuenta que los valores de la
energa para el oscilador son En = (n + lj2)J..J,el estado del oscilador en un
instante t ser
2
w(x, t)
e-lzl /2
00
zn
ynr<l>n(x) e-iEnt/
00
=
que tambin
e-lzI2/2
~<I>n(x) e-inwte-iwt/2,
n= O ynl
puede escribirse
00
W(x, t)
= e-iwt/2e-lzI2/2
n=O
(ze-iwt)n
ynr
<l>n
(x) ==~z(t) (x) ,
3.18 Problemas
225
resueltos.
donde hemos llamado z(t) ==ze-iVJt. Es decir, w(x, t) ==~z(t) (x) es funcin
propia de a con valor propio ze-iVJt.
Por el resultado
anterior
(a)t
(X)t =
(X2)t
J 2~ (at+a)t= J 2~ (z*(t)
+z(t)) =
( (at)
2~
2~ ( (at + a) (at + a) ) t =
+ ata + aat + a2
J :zcosJt.
Entonces
(t)
(~z,HVJ~z)
!iJ
f,:, .
= O, ya
2+ z
1
que la
226
POSTULADOS
\H~) =
DE LA MECNICA
(~z,H~~z)=
t;2
~t~c
I (.J
a a<"z,a
~
2
(.J
+2
CUNTICA
(k~~z,Hw~z)
2(.J2
(e e )
)
) + 2 (a a<"z,<"z) .
~t~C
a<"z
e ~t~c
<"z,a a<"z
+""4
t;2
(.J
<"z,<"z
~t~c
Pero
\H~)=
+ 21z12
+ ~)
2(.J2(lzl4
y finalmente
/).H =
V\H~)- \Hw
= LJVlzl2
+ ~.
del
estado cuntico de un oscilador armnico en la representacin de
momentos a partir de la ecuacin correspondiente en el espacio de
posiciones.
La evolucin en el espacio de posiciones obedece a la ecuacin de Schrodinger
x t)
- -'2 82W (
2m
8x2
1
22
8 <:'1, ,
+ "2mLJx w(x, t) = i w(x,
t)
exp (-ipx/)
2
- 2m
e integrando,
obtenemos
82w(x t)
8x2'
exp (-ipx/)
1
dx + "2mLJ2 x2W(x, t) exp (-ipx/)
dx =
3.18 Problemas
227
resueltos.
8w(x, t)
1<
exp -tpX
.
tp
/ )
n
p2
- 2
8w(x, t)
1<
/ )d
- ] -00 + ;;J
8x
exp -tpX n X
' 2
tp
.
] -00 + ( ;; ) J w(x, t) exp (-tpx/) dx
(
+00
ip
+00
dx.
J x2W(x,
t)e-ipxjdx
=
-
donde
W(p, t)
dx
2~p2W(p, t) - ~rrnu2282W(p,
2
8p2 t) = i8W(p,
8t' t)
que es la ecuacin que buscbamos.
A este mismo resultado habramos llegado a partir del hamiltoniano clsico
y la asignacin x --+X = i 8/ 8p y p --+Px = p.
Ntese que, en este caso concreto de un oscilador armnico, las ecuaciones
para w(x, t) y W(p, t) tienen, en esencia, la misma forma. Por lo tanto, todos los resultados que obtengamos en una representacin se pueden traducir
directamente a la otra.
....
228
POSTULADOS
DE LA MECNICA
CUNTICA
= y'21>o(x) + y'21>1(x),
'l1(x, O)
fI
n11
H
11
n
H
n
Y)o (u)
= ~e-u2/2
7[1/4
Y)1(u)
y'2u e-u2/2
7[1/4
= v2uY)o (u) .
De esta forma
vh
'l1(x, O) =
(1 + v2~) Y)o(~) ,
\T(p)
= ";7[n :oo
vh (1 + v2~)
\T(p) = X (q) =
J 4;n
D
n
y sustituyendo
1
X (q)
27[3/4
ra +00
Vh1
-00
Ya que exp (-qu) = cos (qu) + sin (qu), y teniendo en cuenta la paridad del
integrando, obtenemos
x(q)
h lo
11
"
ra r+oo
7[3/4V
..
e-u2/2cos (qu)du
(2a r+oo
+ 7[3/4 V h lo ue-u2/2sin(qu)duo
.
3.18 Problemas
229
resueltos.
lo
+00
"
1O
fi
V 2e-q2/2
--
d
dq
+00
1O
-qe-q /2,
2
por lo que
x (q) =
1[;/4
(1 + iV2q)
e-q2/2
y as
D
11
Ix (q)12 =
; (1 + 2q2)e-q2.
lO
.111
'l1(p)
a2p2
= 2..fif 1+ 2/i2
a2p2
)exp (-/i2 ) .
Por ltimo
.,
(Px)= O.
= vI2a
atendiendo
a que la
00
m
11
m
'l1(x,O)= A
siendo <Pn(x) la n-sima
armnico correspondiente
~( )
vI2
<Pn(x),
11IIIIIIII'
230
POSTULADOS
DE LA MECNICA
CUNTICA
1 =
-00
'lF*(x,
O)'lF(x,
O)dx.
Como 'lF(x,O) est escrito como una combinacin lineal (infinita) de los autoestados de la energa del oscilador
1=
f (~
J2 )
IAI2
2n
n=O
IAI2n=O 2~'
= 1/2,
infinita de razn
@ La expresin
de 'lF(x,t) es inmediata:
1
'lF(x,t)
= J2
00
~ (J2 )
<Pn(x)exp (-iEnt/)
'lF(x, t)
~~(~)
n <Pn(x)
e-iwt/2
~(e~t)
@ De la evolucin temporal
Iw(x,t)12
(recurdese
exp
(-iwt(n + ~))
n <Pn(x).
[~(:;;)
n fn(x)]
[~(e~t)~m(x)]
m
1'lF(x,
t)12=
"2 n,m
As,
n+m
(J2 )
.
3.18 Problemas
resueltos.
231
I: (J2)
1'l1(x,t)12 = n>m
TK
27r 1
-;;; K
00
(H)=2~
( J2
00
En=2~
(2) (n+2~')
Si separamos trminos
(i)
~
00
I: ( ) n + 4 I: (2) = 2 I: 2n + 2'
00
= 2 n=O 2
n=O
00
n=O
s(A) =
I:
n=O
A>1.
An
Evidentemente,
00
s (A)
= n=O
I: An = n=O
I: A?
~n-1
= n=O
L A?+
oon-1
A
A-1'
00
oon-1
+ n=O
I: An = n=O
I: A?
+-
232
POSTULADOS
DE LA MECNICA
CUNTICA
J s (A) dA
J (f;,
J A ~ dA
~ (n-1)dA
~dA
L., J
An
+
A. - 1
J
{
}
n;;. }lA
n=O
.1 s (A) dA
{-A f;,1.} + .1 A ~ dA
A2
--+
A-1
A
-dA.
A-1
-dA
A-1
Por tanto,
d
A2
=
En nuestro caso s (2)
A - 1 - dA
= 2, por
}
A
A2
( )=
A -1
(A - 1)2.
(H) = ~fuv.
Problema 3.42 .- Hallar las funciones propias
energa para un oscilador armnico truncado
00
V(x)
{ !kx2
y valores propios de la
cuyo potencial e~
x<O
= !1n.J2X2
x> O.
3.18 Problemas
resueltos.
233
bien, por continuidad en x = O,slo son admisibles las soluciones con n impar,
pues se anulan en dicho punto. En definitiva, los niveles de energa son
En
(2n + 1
n = O, 1, 2,...
2) ~ = (2n + ~) ~,
(esto es, los niveles enEtgticos impares del oscilador armnico completo) y las
autofunciones corresp6ndientes
x<O
J2 se incluye
--
- -
x> O,
a efectos de normalizacin.
--
- 2m
VioO
2 [ (x) - E] 'I/J(x),
si
<
O;
x ~ O
si x ~ O,
"empalme", obtenemos
I
'l/JE(X
'*
A+B=C
TI
POSTULADOS
234
DE LA MECNICA
=?
ik(A-B)
CUNTICA
= -qC.
B
A
C
A
1 - iq/k - ~
1 +iq/k - ~
2
l+iq/k
- i..fVo - E
+iyl'Vo +E
2
- ~+iylVo+E.
< O consta
de dos componentes superpuestas: una onda plana incidente A exp (ikx) y una onda plana
reflejada B exp (-ikx), de igual intensidad que la incidente puesto que es inmediato ver que lB/Al = 1. En la regin x > O la funcin de onda es una
onda penetrante
Podramos
cuya amplitud
se amortigua
estar tentados
a interpretar
esta funcin
como la fun-
izquierfuncin
paquete
tiempo.
empo.
Una interpretacin
ms correcta es la siguiente. Imaginemos que
desde la izquierda llega un haz poco intenso de partculas de masa
m con momento p = yl2mE bastante bien definido. (Decimos que
el haz es poco denso para que no haya interaccin entre las partculas del mismo). Una vez que el haz es reflejado por el escaln
y se alcanza el rgimen estacionario (esto es, una vez que tengamos un flujo continuo de partculas incidentes y el correspondiente
flujo de partculas reflejadas), el estado cuntico de cada partcula
del haz es muy aproximadamente
el dado por 'l/JE (x). Entonces
I'l/JE(X) 12dx ser proporcional
a la densidad (nmero de partculas
por unidad de longitud) del haz en el intervalo [x, x + dx] .
Ntese que la funcin de onda para x
nativamente en la forma
'l/JE(X
< O) excos(kx)
<
O puede
escribirse
alter-
3.18 Problemas
235
resueltos.
con 8 = arctan (qj k), que es una onda estacionaria cuyo valor
vara peridicamente en el espacio. Por consiguiente, la densidad del haz tambin vara con periodo espacial l = 27rj k. ste es un fenmeno de interferencia cuntica entre la componente
'l/Jne(x)= Aexp (ikx), que puede interpretarse como la funcin
de onda de un haz incidente monoenergtico, y la componente
'l/Jref(x) = B exp (-ikx),
que correspondera a un haz reflejado.
Puesto que ambos haces tienen la misma amplitud (en mdulo),
su interferencia da lugar a la onda estacionaria F cos(kx + 8), que
es esencialmente real (como ya sabemos, siempre podemos multiplicar la funcin de ondas por una constante de mdulo unidad de
tal manera que la constante F sea real).
La corriente de probabilidad del haz incidente es
J me
=~
2m
ni..
'f'me
(X ) d'l/J;nc(x)
dX
- ni.'!'
'f'me
(X )
d'l/Jinc(X)
dx
fik
m
IAI2
fik
= --IBI
m
> O)
alguna
Problema
3.44 .- Calcular e interpretar
las funciones de onda estacionarias
para el mismo potencial escaln del problema anterior,
pero para E > VQ.
--,
236
POSTULADOS
DE LA MECNICA
CUNTICA
si x::; O
si x 2::O,
lineales de ellas.
haciendo
O, las condiciones
de empalme
en x
O son
ahora
'l/JE(X
=?
=?
A+B=C
ik (A - B) = iqC,
y as
B
k-q
---=
A - k+q
VE-~Vo
VE+v'E+Vo
C
A
2k
k+q
2VE
= VE+v'E+Vo'
3.18 Problemas
resueltos.
237
Ntese que ahora lB/Al < 1 Y la intensidad del haz reflejado es menor
que la del haz incidente. Por lo tanto, su interferencia no puede dar lugar a
una onda puramente estacionaria y real. As pues, habr una corriente neta
de probabilidad. El cociente entre las corrientes de probabilidad reflejada e
incidente es el coeficiente de reflexin R,
2
JJ;
,2
yE - vE - Va
VE+vE+Va'
.
,2
Ntese que
2
B2
R+T=[A[
qC
+klA
=1.
[
V(x)
Vo si x E [-a/2, a/2]
{ O si x (j.[-a/2, a/2] .
con energa E
de la barrera.
<
Cexp(qx) + Dexp(-qx)
si
x:S -a/2
si xE[-a/2,a/2]
si
x 2 a/2,
con k = v2mE/2 y q = V2m(Va - E)/2. Ntese que ahora la exponencial real creciente slo existe en una regin acotada, por lo que la funcin es
siempre finita. Las condiciones de empalme (continuidad de la funcin y de
la derivada primera) en x = -a/2 y x = a/2 proporcionan cuatro ecuaciones
POSTULADOS
238
DE LA MECNICA
CUNTICA
para calcular los cinco cocientes B /A, C/A, D /A, F / A y G/A. De nuevo el
sistema est indeterminado y tiene infinitas soluciones para cada valor E de
la energa, que es doblemente degenerado. De estas soluciones, podemos elegir
dos linealmente independientes imponiendo distintas condiciones asintticas.
Si supon~m~ue
el problema corresponde a un haz de partculas que inciden
desde la ~uierda,
podemos admitir que a la derecha de la barrera slo hay
un haz transmitido, Fexp (ikx), de partculas que viajan hacia la derecha y
no hay ninguna partcula que viaje hacia la izquierda, es decir, G = O. Con
esto, las condiciones de continuidad de la funcin y su derivada en x = -a/2
y x
= -a/2
ika
ika
( ) +Bexp (2 )
(-2 ) - Bexp (2 )]
Aexp -2
(- q;) + Dexp(q;)
ika
ika
zk [Aexp
Cexp
-z
kF
(2 )
( )
ika
eXP2'
cuya solucin es
B e-ika (k2 + q2) sinhqa
A - 2iqkcoshqa+ (k2 - q2)sinhqa
C ik (q + ik) e-(q+ik)aj2
A - 2iqk cosh qa + (k2 - q2) sinh qa
D ik (q - ik) e(q+ik)aj2
A - 2iqkcoshqa + (k2 - q2) sinhqa
F
A
2iqke-ika
= 2iqkcoshqa + (k2 -
q2) sinhqa
Jtr
Jinc
F 2
(k/m)
(k/m)
4q2k2
= 4q2k2 +
(k2 + q2)2sinh2 qa
1
1+
vo2
4(Vo-E)E
. h2
sm
.J2m(Vo-E)
!i2
-1
3.18 Problemas
!39
resueltos.
:>bde
sinhx
eX - e-x
eX
~- 2
1
'"
'"
vo2
+ 16(Vo-E)Eexp (2 V2m(VO-E)
fi2 a
16(Vo-E)E
exp
V;2
o
(-
!i2
J2m(Vo-E)
)
a,
pues el 1 en el denominador es despreciable frente al trmino con la expOl.encia!. Por otra parte, el factor preexponencial es mximo para E = Vo/2, con
valor 4. Es decir, el factor preexponencial es del orden de la unidad, sien pre
que la energa E no est muy prxima a O o a Vo. En definitiva, pode nos
escribir la expresin aproximada
T ~ exp
( -2J2m
!i2- E) a.
(Vo
)
~ exp
(-~:1 P(X)dX)
de Ga-
......
240
POSTULADOS
DE LA MECNICA
CUNTICA
E -------------------------------Vo - - - - - -
V=o
x=o
x=a
Fig. 3.8.
que todas las partculas superarn la barrera sin que haya partculas
reflejadas?
Planteemos, como es habitual, las ecuaciones que surgen de las condiciones!
de empalme del problema. Supongamos que los lmites de la barrera estn en
x = O Y x = a. Entonces, las soluciones de la ecuacin de Schrodinger en las
3 regiones (regin 1: x < O; regin II: O < x < a; regin III: x > a) en que se
puede dividir el potencial son:
v=O:
x < O
O < x<a
x
>
V=Vo:
V=O:
= kn = v2mE/
empalme son entonces
siendo k
'l/J(O)
'l/J~(O)
= 'l/J~(O)~
'l/Jn(O)
'l/Jn(a)
'l/Jn(a) ~
'l/J~(a)
'l/J'
()
n a ~
= y2m(E -
A +B = C+ D
ik(A - B)
= ikn(C
- D)
/ A, C/ A,
3.18 Problemas
resueltos.
241
A+B
k(A - B)
(-1)n(C+D)
kIl( -1)n(c
- D)
=
=
kIl(C - D)
Fexp(ka)
kFexp(ka).
C+D
k Ila
Si AB
/2m(E
=V
= 27r/kIl
- Vo) a2
2
= 7rn
'*
7r22 n 2
= Vo + 2ma2
Si se cumple esto, la
onda reflejada en x = a interferir destructivamente con la onda reflejada en
x = Oy, en consecuencia, no habr onda reflejada neta: la totalidad de la onda
incidente pasar a la regin lIl.
T=
1
1 + 4(Vo~E)E sinh2
2
J2m(Vo-E)a2
Para que slo la mitad de las partculas atraviesen la barrera debe cumplirse
que T
1/2. Es decir
V;2
4 (V
.....
2 E) a2 = 1,
(V)
242
POSTULADOS
DE LA MECNICA
CUNTICA
de donde obtenemos
a=
Va - E) '
(Va
expresin que tiene una fuerte dependencia en E a travs del primer factor y
una dependencia menor en el segundo.
Por otra parte, para barreras altas y anchas, podemos obtener una estimacin aproximada de T a partir de la frmula de Gamow ya mencionada
(~ -
E)
},
y en tal caso
T=~
Nota:
3.is.6
::::}
ln2
a ~ J2m (Va - E) 2 .
-Otros.pro1JfeIrfas
Problema
3.49 .- Calcular
el valor aproximado
del coeficiente de
transmisin T para una partcula de energa E < Va que incide desde
la izquierda sobre una barrera de potencial de la forma (vase la
figura 3.9)
O
V (x) = { Va - kx
x<O
x ~ O
La solucin exacta de este problema exigira resolver la ecuacin de Schrodinger (en la regin x ~ O)
_!f. d2'IjJ(x) + (Va - kx) 'IjJ(x)
2m dx?
E'IjJ (x) .
3.18 Problemas
243
resueltos.
Vo
---------------
x=o
Fig. 3.9.
dicha funcin satisfaga la condicin de empalme con la solucin en la regin
x < O (que es, evidentemente, una onda plana).
De forma ms cualitativa, resulta evidente que a partir de Xl = O (primer
punto de retroceso clsico, que es donde la partcula empieza a penetrar en el
. potencial) la amplitud de la funcin de onda disminuir, aunque lo har cada
vez ms lentamente
hasta que en el punto X2 = (Vo - E) / k (segundo punto de
retroceso clsico) volver a ser una exponencial con longitud de onda variable.
No obstante, lo que se pide en el enunciado es simplemente un valor aproximado que nos diga cmo va a depender el coeficiente de transmisin con la
energa. Para ello podemos usar la frmula de Gamow que hemos mostrado
en un problema anterior:
T~exp{-~~2
J2m(V(X)-E)dX}.
Entonces
2 r(Vo-E)/k
exp
{ -h lo
4V2m
rv
exp
3/ 2
{ - 3k (Vo - E)
tiene la expresin T
..
rv
exp { -
2:J2m
3.18 Problemas
resueltos.
245
(- d~2 +u)1/J(u)
=0.
= a Ai (u) + b Bi (u),
donde Ai (u) y Bi (u) son las llamadas funciones de Airy, que cumplen
lim Ai(u)
u-+oo
=O
lim Bi
u-+oo
(u) = +00.
::. - 2mEa2
,2
'
p(x)
.15
0.1
0.05
-20
-15
-10
x/a
-5
Fig. 3.10.
.......
246
POSTULADOS
DE LA MECNICA
CUNTICA
i3
2m + 2ma3 dp
<PE(p)
= E~E
(p)
o, lo que es lo mismo,
d
a2
~ dp <PE (p) = i 2
dq<PE(P)=Z(q
-e)
<PE(P),
(p) =
(q) =
e exp{i (~
- eq) } .
Como consecuencia,
<PE (x)
f+OO
y'21f 1-00 <PE(p) exp
ex:
q3
f+oo
1-00 exp i"3
iPX
h
dp
iqX
-;;: - ieq dq.
( )
( ) (
exp
Pero
X
zqx
-;;: - zeq = zq
(~ - e ) = zqu
por lo que
<P
(x)
<PE (x)
= ~ (u) ex:10
q3
cos"3
+ qu dq.
3.18 Problemas
247
resueltos.
De hecho, puede demostrarse que la ltima integral es, salvo constante multiplicativa, la transformada de Fourier de la funcin de Airy Ai (u), que fue la
solucin encontrada en el apartado (a).
Problema
potencial
v (x) =
{
Obtenga
la funcin
si x
<O
cuya energa
es E
2/ (2ma2) .
Aplicando el resultado de un problema anterior, en la regin x 2: O la
funcin de ondas cPE(x) es igual a la funcin de Airy Ai (u). En concreto,
cPE (x
2: O)= Ai (u) = Ai
(~
- 2m~a
2) = Ai (~ -
1) .
= -v2mE
= -,
a
.
2X
cPE(x::; O) = Aexp
-2X
(-;;) + B exp (~ ) .
=O
A+B=Ai(-1)
ia (A -
B) = ~
a Ai' (-1)
de donde obtenemos
cPE(x::; O) = Ai (-1) cos (~) + Ai' (-1) sin (~) .
Esto es, como era de esperar (vase la figura 3.11), cPE(x::; O) es una
onda estacionaria
con longitud
de onda A
h/v2mE.
(Nota:
las funciones
248
POSTULADOS
DE LA MECNICA
p(x)
CUNTICA
o.
0115
0.1
-10
-8
-6
-4
-2
Fig. 3.11.
si x :S O .
si x ~ O '
k = v2mEj.
E
(fZ)
a
.
y, en el lmite a -t O,
q=
Jh2
2mg ya
1
- ya'
'Y
=
3.18 Problemas
resueltos.
249
De esta manera
2
'Yva;
rv
rv
1;
B/A
e-ika
(k2
a >O2iqkcoshqa
+ q2) sinh qa
7'Yva
hm
a >O 2i~
F/A =
lim
va -
L'Y
I(i
a V'"
"12
2zk - 'Y
2iqkCika
>O2zqkcoshqa
.
l1m
=.
+ (k2 - q2)smhqa
2'~
zva
k
va
a >O2i::t.!!i..- L'V
. Si resolvisemos directamente
I(i
a IV'"
= 2ik
2ik
2'
- 'Y
del tiempo
n2 d2
- 2m dx2 + 9 8 (x) - E
<P
(x) = O
s~x:S O ; k
SlX~O
= v2mE/n.
= O obtenemos
A+B
= F.
(*)
{ ikFexp (ikx)
si x :S O
si x ~ O.
...
244
POSTULADOS
DE LA MECNICA
CUNTICA
V(x)
siendo a una constante con
cin propia de una partcula
tes mtodos:
a) Resolviendo directamente
sentacin de posiciones.
b) Tratando el problema en
@ En la representacin
=_
2ma 3 x,
dimensiones
con energa
la ecuacin
de Schrodinger
la representacin
en la repre-
de momentos.
forma
2 d?
2
- 2m dx2 + 2ma3 x
4>E(x)
= E4>E(x),
o bien
X
2 d?
-a -dx2 + -a [
2mEa2
) 4>E(x) = O.
V (XQ) y
x - XQ- x
a
2mEa2
- ~-
(-
d~2
+u) 4>E(X)= O,
u = ~ - 2mEa2
a
250
POSTULADOS
DE LA MECNICA
1>'f(x)
- { ik (F + B - A) 8 (x)
dx2
CUNTICA
si x
si x
#O
=
O.
:~ 1>'f (x)
:~ ik
= O,
2m ik (F + B - A)
= 9 1>E (O)= gF
F + B-A=-F
(**)
ik .
1'2
2ik
1'2
2ik
2ik - 1'2 '
antes.
= e exp
(-k
Ixl)
= V-2mE/n,
I
,
3.18 Problemas
resueltos.
251
= c2
exp (-2k
-00
Ixl) dx
+00
2C2 o
c2
exp (-2kx)
dx
= k.
Por tanto,
= Jk
cPE(x)
Para calcular los valores permitidos de k (y, por ende, de la energa E) tenemos
que ir a la propia ecuacin de Schrodinger. Derivando cPE (x) una primera vez
,
cPE(x)
={
Ckexp(kx)
si x:::; O
-Ckexp
si x 2: O,
(-kx)
y volviendo a derivar
cP';;(x)
La ecuacin de Schrodinger
2
--Ck2e-klxl
2m
Dado que cPE(O) =
+ -CM
m
C, al tener
= EcPE(x).
= O.
Por tanto
gm
k
2 =? V- 2mE
gm
= :; =? E = -
~m
22 .
En definitiva, slo existe un estado ligado cPE(x) = Vkexp (-k Ixl), con energa E = -g2m/ (22) .
.....
Indice de smbolos
NMEROS
y glosario
FUNCIONES.
111
jRI
S
11
: conjunto
vaco.
JRY te son los conjuntos de los nmeros reales (recta real) y complejos (plano
complejo), respectivamente.
JR+ : recta real positiva, esto es [0,00).
111
i
11
11
11
f(x)
=1
-00
y se cumple que :F {g * h}
= 1 Y 8ij = O si i .
j.
254
Smbolos
y glosario
pg. 25.
VECTORIALES
O LINEALES.
<
son absolutamente
integrables en IR).
1:-2([a,b]) : conjunto de funciones complejas de variable real definidas en el
intervalo cerrado [a,b] E IR que verifican Ia,b]14>
(x)12dx
las funciones son de cuadrado sumable en [a,b]).
<
00 (esto es,
: conjunto
de las sucesiones
convergentes
de nmeros
complejos
< oo.
lin (W) es la envolvente lineal de W, esto es, el conjunto formado por todos
los elementos de U que son combinacin lineal de elementos de W (esto
es, se pueden expresar como una suma finita de ellos), pg. 18.
Smbolos
255
y glosario
Ilull:
norma
18.
Espacio
de Banach
o espacio
completo
es un espacio vectorial
normado,
pg. 20.
Espacio de Hilbert,
1t es un espacio lineal pre-Hilbert y de Banach bajo la
norma asociada al producto escalar, pg. 23.
BF es una base ortonormal o de Fourier de un espacio de Hilbert 1t, pg. 24.
1t(l)
EB
suma
directa
ortogonal
tensorial
de un subespacio
de Hilbert
W, esto
es,
a todos los
OPERADORES.
A es un operador,
tal que a cada vector iJE 1)(A) le hace corresponder un segundo vector
1)(A) es el dominio
al espacio
del operador
1t, pg.
A, esto es, el
R(A) es el recorrido
del operador
28.
conjunto de vectores de 1t
pg. 28.
A, esto
es, el conjunto
de aquellos vectores
II1I8I
(A),pg.
28.
256
Smbolos
y glosario
Sean
H. El operador A + E,
A y E dos
de operadores
AE, producto
El operador
o composicin
de
A, pg.
30.
adjunto
Operador hermtico
A~t , pg. 34.
Operador
unitario
A, pg.
o autoadjunto
33.
es el que coincide con su adjunto,
A= .
sultado el operador
Proyector
de
unidad fjfjt
es un operador
P hermtico
Autovalor
(o vector
(o valor propio)
de A) que verifique la
u,
Up
(A)
es el espectro
pg. 40.
puntual
Smbolos
y glosario
257
Autovalor
impropio:
~ O"p (A)
(A)
es el espectro continuo
rador A, pg. 41.
O"
a) Un}
(A)
es
de dos operadores
[A, E]
de Fourier
de una funcin
= AE - EA,pg.
124.
Operadores
compatibles
son los que conmutan, esto es [A, E] = AE EA = O, pgs. 53 y 108.
CCOC es un conjunto completo de observables (u operadores) compatibles,
pgs. 53 y 111.
NOTACIN DE DIRAC .
Vector ket se representa por 14,pg. 57.
Vector bra se representa por (4)1,pg. 57.
Producto
escalar
Elemento
de matriz
bPERADORES
se representa
se representa
y VECTORES
CON SIGNIFICADO
FSICO.
..
258
Smbolos
y glosario
..4
se dice
Estados estacionarios:
son los que no evolucionan fsicamente en el tiempo, pues su evolucin temporal es nicamente un cambio en una fase de
mdulo unidad, pg. 122.
Constante de movimiento es un observable cuyo valor medio es constante
en el tiempo para cualquier estado (sea estacionario o no), pg. 125.
,.
(A) o (..4) 'I/Jes el valor medio o esperado de la magnitud A (clsicamente)
o del operador ..4 (cunticamente, en el estado ~), pg. 98.
~..4 es la desviacin tpica o incertidumbre
de la magnitud A; nos da
informacin sobre la dispersin de los resultados de la medida de A,
pg. 99.
(..4)t = (..4)
~t
'l/Jt
= ~ (t),
..4
i es el operador hamiltoniano
(los autoestados de i se llaman autoestados
de la energa, que son estados estacionarios).
~
K es el operador de energa
11
cintica.
Smbolos
259
y glosario
L, L2, Lx, Ly, Lz son los operadores del momento angular o cintico, pg.
133.
TI es el operador
paridad,
pg. 83.
1'l1(x)2: densidad
de probabilidad
de probabilidad,
J (x)
pg. 140.
i~('l1(x) dW;;x) -
'l1*(x) d~~X),
(i es el operador destruccin
armnico), pg. 212.
h : constante de Planck h
= 6,64
magntico
intrnseco
de Bohr, /lB
9 : factor giromagntico,
= 9.11 x
ge ~ 2, pg. 114.
Bibliografa
Citamos, preferentemente de entre los publicados en espaol, aquellos textos
en los que se hace una introduccin matemtica al formalismo de la teora
cuntica. Por ello, no incluimos en la lista muchos de los textos habituales de
Mecnica Cuntica al nivel de primer ciclo de la licenciatura en CC. Fsicas,
LIBROS
MATEMTICOS.
262
Bibliografa
LIBROS DE MECNICA
CUNTICA
DE PROBLEMAS.
R. Fernndez lvarez-Estrada
y J.L. Snchez Gmez 100 problemas de
Fsica Cuntica. (Alianza Editorial, 1996): es el nico libro completo
de problemas en castellano. Su nivel es intermedio entre el primer y
segundo ciclos.
S. Flgge
F. Constantinescu
y E. Magyari
gamon,Oxford).
J-
MATEMTICAS.
.1
~