Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes FC
Apuntes FC
UNIVERSIDAD DE MURCIA
Departamento de Fsica
Miguel Ortuo Ortn
moo@um.es
Miguel Albaladejo Serrano
mikiman@fisimur.org
ndice general
ndice
iii
Figuras
iv
Bibliografa
iv
vi
tomo de Rutherford . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
A.1.
Potencia radiada . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
A.2.
Conclusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
A.
2. Ecuacin de Schrdinger
14
ndice general
ndice general
1.
Paquetes de ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
2.
Ecuacin de Schrdinger . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.
Interpretacin probabilstica . . . . . . . . . . . . . . . . . . . . . . . . .
17
4.
18
5.
Representacin de momentos . . . . . . . . . . . . . . . . . . . . . . . . .
22
5.1.
22
5.2.
Teorema de Parseval . . . . . . . . . . . . . . . . . . . . . . . . .
22
6.
Autovalores y autovectores . . . . . . . . . . . . . . . . . . . . . . . . . .
22
7.
Evolucin temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
3. Problemas unidimensionales
1.
25
Introduccin. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.
25
25
27
Potencial escaln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2.1.
Reflexin parcial . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2.2.
Reflexin total . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
31
3.1.
Estados ligados . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
3.2.
Coeficientes de transmisin . . . . . . . . . . . . . . . . . . . . . .
33
4.
Barreras de potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
5.
37
5.1.
Centrado en el origen . . . . . . . . . . . . . . . . . . . . . . . . .
37
5.2.
Pozo asimtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
Potenciales delta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
1.2.
2.
3.
6.
4. Estructura y postulados
1.
43
44
ndice general
ndice general
2.
47
A.
49
A.1.
49
A.2.
49
A.3.
Teora de la medida . . . . . . . . . . . . . . . . . . . . . . . . . .
49
A.4.
50
51
1.
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
2.
Evidencia experimental . . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
2.1.
52
2.2.
52
2.3.
53
3.
Postulados de Pauli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
4.
Espn 1/2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
5.
Descripcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
6.
58
7.
Suma de espines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
8.
Mtodo general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
8.1.
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
8.2.
Cambio de base . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
8.3.
Autovalores de Jz . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
8.4.
Autovalores de J2 . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
8.5.
Autovectores de J2 y Jz . . . . . . . . . . . . . . . . . . . . . . .
66
iii
ndice de figuras
11
28
30
32
34
36
. . . . . . . . . . . . . .
37
40
41
65
65
iv
Bibliografa
[1] C. Cohen-Tannoudji. Quantum Mechanics, volume I.
[2] C. Cohen-Tannoudji. Quantum Mechanics, volume II.
[3] R. Ferrer. Mecnica Cuntica I. Apuntes Universidad de Chile.
[4] R. P. Feynman, R. B. Leighton, and M. Sands. The Feynman lectures on Physics,
volume I. Pearson, 1963.
[5] R. P. Feynman, R. B. Leighton, and M. Sands. The Feynman lectures on Physics,
volume III. Pearson, 1963.
[6] F. J. Yndurin Muoz. Mecnica Cuntica. Alianza Editorial, 2003.
Dijo una vez un poeta: El Universo entero est contenido en un vaso de vino.
Probablemente nunca sabremos lo que quera decir, ya que los poetas no escriben para
ser comprendidos. Pero es cierto que si miramos un vaso de vino lo suficientemente
cerca, vemos el Universo entero. Ah estan las cosa de la fsica: el lquido que se
arremolina y se evapora dependiendo del viento y del tiempo, las reflexiones en el
vidrio, y nuestra imaginacin agrega los tomos. El vidrio es un destilado de las rocas
terrestres y en su composicin vemos los secretos de la edad del universo y la evolucin
de las estrellas. Qu extrao arreglo de elementos qumicos hay en el vino? Cmo
llegaron a ser? Estn los fermentos, las enzimas, los sustratos y los productos. All en
el vino se encuentra la gran generalizacin: toda vida es fermentacin. Nadie puede
descubrir la qumica del vino sin descubrir, como lo hizo Louis Pasteur, la causa de
muchas enfermedades. Cun vvido es el vino tinto que imprime su existencia dentro
del conocimiento de quien lo observa! Si nuestras pequeas mentes, por alguna
conveniencia, dividen este vaso de vino, este universo, en partes fsica, biologa,
geologa, astronoma, psicologa, etc. . . , recuerden que la naturaleza no lo sabe! As,
reunamos todo de nuevo sin olvidar en ltima instancia para qu sirve. Dejemos que
nos d un ltimo placer: bbanselo y olvdense de todo!
Richard P. Feynman, 1918-1988
vi
Captulo 1
1.1.
Un cuerpo negro es, por definicin, una cavidad que absorbe completamente toda la
luz que llega a ella. Se trata de un concepto ideal, pero una buena realizacin del mismo es
una cavidad con las paredes de negro y un pequeo orificio al exterior. Imaginemos dicho
cuerpo negro con las paredes a una temperatura absoluta T . Podemos medir la intensidad
de la radiacin que sale de l por el pequeo orificio en funcin de la temperatura T y
la frecuencia . En muy buena aproximacin, dicha intensidad ser igual a la que incide
en las paredes del cuerpo negro.
A travs de dos conceptos clsicos muy generales podemos predecir cmo debera
de ser la intensidad en el marco de la teora clsica. En primer lugar, el teorema de
equiparticin nos dice que la energa media por grado de libertad ha de ser igual a kB T ,
siendo kB la constante de Boltzmann. En segundo lugar, el nmero de grados de libertad
del campo electromagntico en el interior de un cuerpo negro viene dado por el nmero
de modos estacionarios. Teniendo en cuenta estos dos ingredientes, Rayleigh-Jeans
dedujeron la ley que lleva su nombre y que nos dice que la intensidad de la radiacin en
funcin de la frecuencia es
8 2
(1.1)
u(, T ) = 3 kB T
c
Esta teora coincida con los experimentos para frecuencias bajas (T /gj1 ,j2 1010 K s),
pero fallaba para frecuencias altas. Adems, la teora tena que ser incorrecta ya que
predeca una energa total infinita, pues el nmero de modos diverge en el lmite de altas
frecuencias, mientras que la energa por modo se mantiene constante. Este resultado se
conoce como divergencia o catstrofe ultravioleta.
1
En /kb T
n=0 e
Sumando la serie llegamos a:
E() = N ()
h
eh/KB T 1
Esta expresin est de acuerdo con la teora clsica, ecuacin (1.1), en el lmite de
pequeo y, como hemos dicho, reproduce perfectamente los resultados experimentales.
1.2.
Fue Einstein (1905) quien realmente propuso la cuantizacin de las ondas electromagnticas para explicar el efecto fotoelctrico.
Si se ilumina un metal (hacemos incidir radiacin electromagntica sobre l), podemos
observar que se arrancan electrones, es decir, son emitidos. Podemos variar la frecuencia
con la que la luzradiacin incide y medir la energa y la dependencia de la energa con
la frecuencia. Experimentalmente se observan los siguientes hechos:
Existe una frecuencia umbral, ms hacia abajo de la cual no se emiten electrones
El nmero de electrones que se emiten, una vez superada dicha frecuencia umbral,
es proporcional a la intensidad de la radiacin incidente, pero la energa de los
electrones emitidos no.
2
Estos dos hechos seran lgicos si la luz estuviese compuesta de entidades individuales, partculas (llamadas fotones) de energa E = h cada una. Esta fue, precisamente,
la propuesta de Einstein. Esta propuesta era revolucionaria1 . Las interacciones se produciran as de manera individual. Cunticamente, se tiene I = N h. Una intensidad
alta puede deberse a que N o sean altos, pero clsicamente no se saba distinguir esto.
Tenemos entonces los siguientes resultados:
Si lanzamos fotones de muy baja energa, da igual cuantos lancemos (es decir, el
tiempo que transcurra desde que empecemos a lanzarlos), ninguno de ellos conseguir que sean arrancados electrones.
Para una intensidad dada, la energa del electrn emitido depende proporcionalmente de la frecuencia.
1 2
mv
= h W, W = hc donde c es la frecuencia umbral
2 max
Otra de las principales evidencias del carcter corpuscular de la luz fue el efecto
Compton. Al golpear con fotones la materia (generalmente electrones) se obtienen
unos resultados que no son explicables clsicamente. Si lo son, sin embargo, al considerar
que la interaccin fotnelectrn se produce como un choque elstico (este punto es el
que pone de manifiesto que la luz est compuesta por partculas). Se tiene, para la energa
del fotn, segn la teora de la relatividad restringida:
q
h
h
=
E = m20 c4 + p2 c2 = pc = h p =
c
En la fsica clsica se distingua perfectamente entre las partculas y las ondas. Con estos
experimentos mencionados se puso de manifiesto que, de algn modo, las ondas electromagnticas estaban compuestas por partculas. Es decir, las ondas electromagnticas (la
luz) tienen ambos caracteres: ondulatorio y corpuscular.
1.3.
Postulado de De Broglie
Puesto que el campo electromagntico, que desde el siglo XIX (a partir de las leyes
de Maxwell) se haba considerado como un fenmeno ondulatorio, mostraba ahora
1
Desde los experimentos de Young, que estudiamos ms adelante, en torno a 1800, nadie dudaba
acerca de la naturaleza ondulatoria de la luz
tambin un carcter corpuscular, de Broglie postul (1923) que las partculas materiales pueden tener tambin un comportamiento ondulatorio. Propuso que toda partcula
tiene una onda asociada cuya longitud de onda es = h/p, en analoga con la frmula de Comptonrelaciones de PlanckEinstein. Por ejemplo, un electrn, bajo
determinadas circunstancias podra tener comportamientos ondulatorios tales como la
difraccin, que fueron observados poco despus de haberlos predicho de Broglie.
1.4.
Los experimentos de Ruhterford, en 1911, demostraron que la materia debe estar compuesta por tomos, y tambin permitieron discriminar la naturaleza de estos2 .
Bombardeando con partculas unas lminas de oro muy delgadas, observ que algunas
se desviaban, debido a la existencia de fuertes campos elctricos, mientras que la gran
mayora de las partculas atravesaban las lminas de oro. Esto le permiti deducir la
siguiente estructura en el tomo:
Ncleo El ncleo central debera estar compuesto por una carga positiva, y en el debera concentrarse la mayor parte de la masa.
Corteza electrnica Los electrones, de carga negativa (en total, el tomo ha de ser
neutro) que se encontraran orbitando alrededor del ncleo.
Una amplia zona de vaco entre ambos.
Esta imagen estara en principio de acuerdo con la imagen clsica (newtoniana) de la
mecnica: los electrones orbitan alrededor del ncleo como los planetas alrededor del Sol.
El desacuerdo surga con las leyes de Maxwell: segn stas, una carga en movimiento
acelerado (y el movimiento circular lo es) debera radiar energa de forma continua, y
acabar precipitando en el ncleo, es decir, el tomo debera ser inestable, cosa que es a
todas luces falso3 . Adems, en los espectros de absorcinemisin se observaban lneas
discretas, es decir, que las energas eran tomadas o emitidas en forma de cuantos, y no
de manera continua.
Esto condujo a Bohr a postular la existencia de rbitas estables para los electrones
en los tomos, sin saber muy bien a que podra deberse la existencia de dichas rbitas. Al
pasar un electrn de una rbita a otra lo hace absorbiendo o emitiendo un cuanto de energa, un fotn, lo que permitira explicar las lneas espectrales discretas observadas. Las
2
l mismo afirma:
Un clculo simple demuestra que el tomo debe de ser asiento de un intenso campo
elctrico para que se produzca una gran desviacin en una colisin simple...
rbitas son estables cuando la onda asociada al electrn es estable, esto es, estacionaria:
2r = n
(1.4)
2r/n
2
As pues, aadiendo este ingrediente a la frmula clsica de un movimiento orbital, se
tienen ciertas rbitas posibles, con sus correspondientes energas, y no cualquier rbita.
1.5.
En esta seccin seguiremos bsicamente el libro de Feynman [4]. Para tratar de entender el comportamiento cuntico de los electrones (usaremos los electrones para nuestros
ejemplos), compararemos su comportamiento en un dispositivo experimental especial,
con el comportamiento habitual que tendran otros fenmenos fsicos de carcter ondulatorio (las ondas en el mar, o cosas similares). Dicho experimento se encuentra esquematizado en la figura 1.2.
5
1.5.1.
Para este experimento, nuestro dispositivo consiste en un can que dispara proyectiles. Entre el can que dispara y la pared que detecta los proyectiles hay otra pared
con dos rendijas intermedias R1 y R2 , que podemos tener abiertas y cerradas, independientes entre s. En la pared final, de contencin, disponemos de un detector, algo que
permite controlar cuntos proyectiles y donde exactamente golpean la pared, o, lo que
es lo mismo, determinar la probabilidad de que un proyectil golpee la pared en un punto concreto, en funcin de posicin en la pared, digamos, la coordenada x. Trataremos
ahora con cuerpos macroscpicos, como pudieran ser pelotas de tenis o balas, que no
puedan partirse por la mitad, ni hacer cosas extraas. Observaremos entonces, en nuestro experimento, que los proyectiles llegan al detector individualmente, y pasan, como
esperbamos, por una y solo una de las rendijas intermedias. Si hacemos el experimento
con R1 abierta y R2 cerrada, encontraremos un diagrama de probabilidad como el que se
recoge en la figura 1.3. Si lo hacemos al revs, con R1 abierta y R2 cerrada, el diagrama es
equivalente pero desplazado. No nos extraa, tampoco, que al hacer el experimento con
ambas rendijas abiertas, el diagrama que obtenemos se parece mucho a los anteriores,
pero ahora est centrado, y en realidad, es la suma de ambos resultados. Es decir, se tiene
P12 (x) = P1 (x) + P2 (x). Decimos entonces que en este experimento no hay interferencia.
1.5.2.
Ahora deseamos hacer esencialmente el mismo experimento, pero con ondas de agua,
o algo parecido. Evidentemente, ya no tendremos un can, sino una fuente puntual
de ondas, que se propaguen por igual en todas las direcciones, en particular hacia nuestro sistema. Ahora ya no tendremos un detector que nos sirva para contar el nmero
de proyectiles que chocan con la pared, sino un detector de intensidad, o algo que nos
permita medir la intensidad de la onda al llegar a la pared. De nuevo hacemos el experimento con una y despus otra rendijas abiertas, pero cuando hacemos el experimento con
ambas rendijas abiertas, el resultado que obtenemos no es la suma de los dos resultados
anteriores, por lo que decimos que existe interferencia entre ambas ondas. Qu es lo
que ocurre? En algunos lugares, donde I12 tiene sus mximos, las ondas provinientes de
una y otra rendija estn en fase, y las ondas se suman para dar una gran amplitud. Por
contra, hay algunos lugares, justo all donde la amplitud de I12 es mnima, en los que las
ondas van desfasadas con una diferencia justamente de . La intensidad es proporcional
al cuadrado de la amplitud de la onda, es decir:
I(x) = |A(x)|2 = |A1 (x) + A2 (x)|2 = |A1 (x)2 | + |A2 (x)|2 + 2|A1 (x)||A2 (x)| =
p
=I1 (x) + I2 (x) + 2 I1 (x)I2 (x) 6= I1 (x) + I2 (x)
En definitiva, en los experimentos con ondas, la intensidad puede tomar cualquier valor,
no llega en cuantos, y se obtienen interferencias.
1.5.3.
Este experimento, descrito como lo hemos hecho, es en realidad impensable, pues el dispositivo
debera ser muy pequeo para apreciar los efectos que queremos ver. Sabemos lo que pasar porque se
han hecho experimentos distintos, pero esencialmente idnticos, en los que suceden estos fenmenos que
describimos
A. tomo de Rutherford
A.
A.1.
De las leyes de Maxwell se deduce que una carga en movimiento acelerado irradia
una energa por unidad de tiempo (potencia) que viene dada por la frmula de Larmor.
10
A. tomo de Rutherford
(1.6a)
me v 2
=
r
v2
=
r
1 e2
=
4 0 r2
(1.6b)
me v 2
1 e2
=0
r
40 r2
11
(1.6c)
A. tomo de Rutherford
1 e2
1 1 e2
1 e2
1 1 e2
1
=
=
E = me v 2
2
40 r
40 2 r
40 r
40 2 r
(1.6e)
(1.6f)
1
40
(1.6g)
llegamos, dados los valores para a y v dados respectivamente por las condiciones (1.6b)
y (1.6d), a la siguiente ecuacin:
3 m2e c3 2
r dr = dt
4 k02 e4
r dr = + 2 4
r dr = dt
4 k02 e4 r=r0
4 k0 e 0
0
(1.6h)
(1.6i)
3 m2e c3 3
r
4 k02 e4 0
(1.6j)
Ahora tomaremos unos valores para los datos que aparecen en la ecuacin (1.6j). Estos
valores sern aproximados, pues tampoco queremos un valor exacto de este tiempo, sino
simplemente demostrar que es de un orden de magnitud tan pequeo, que si este clculo
se correspondiera con la realidad, no existiran tomos estables.
As pues, aplicando dichos valores a la expresin (1.6j), tendremos que el tiempo en
que se esperara que el electrn precipite sobre el ncleo es:
12
A. tomo de Rutherford
Valor
Unidades
9,1 1031
kg
Velocidad de la luz c
3 108
m/s
Constante culombiana k0
9 109
Nm2 C2
1,6 1019
' 1010
' 3 1010
A.2.
Conclusin
De este sencillo clculo se deduce que aunque las predicciones hechas por Rutherford
acerca de la estructura de la materia son en general acertadas, el modelo que se plantea
segn la fsica clsica es incompleto, esto es, necesita ser revisado con una nueva teora,
que es la mecnica cuntica. La hiptesis de Bohr acerca de la existencia de rbitas
estables cuantizadas (no puede existir cualquier rbita) en las cuales se puede localizar
el electrn, y la emisin discreta de energa en forma de cuantos al pasar aquellos de una
rbita a otra puso de manifiesto, junto a otros hechos experimentales, la validez de la
mecnica cuntica a nivel atmico.
13
Captulo 2
Paquetes de ondas
Ahora veremos algunas propiedades generales de las ondas, no importar de que tipo.
La exponencial compleja eikx es una onda plana. Segn la frmula de Euler, eikx =
cos kx + i sin kx. kx ha de ser adimensional, luego [k] = L1 . k es el nmero de ondas, es
inversamente
a la longitud de onda. El mdulo de la exponencial compleja
ikx 2 proporcional
ikx
ikx
es 1, e = e
e = 1.
El uso de nmeros complejos es una conveniencia matemtica til en algunas ramas
de la fsica clsica, pero es que resulta ser fundamental, una propiedad intrnseca, en la
fsica cuntica1 .
Una onda plana est totalmente extendida. Si sumamos dos ondas (o un nmero
finito de ellas) de distinta frecuencia, parece que se vayan localizando. Para localizarlas
totalmente, sumamos un nmero infinito de ellas, es decir, las integramos. Formamos
entonces un paquete de ondas. Tenemos:
Z +
g(k)eikx dk
(2.1)
En la anterior expresin, g(k) es una funcin de peso, que tomar valores en una
zona determinada, normalmente (Esto har que se pueda encontrar la onda localizada).
Lo ms normal es que g(k) sea una gaussiana, teniendo entonces un paquete de ondas
gaussiano:
Z
+
e(kk0 ) eikx dk
(x) =
(2.2)
Por ejemplo, el estado de un sistema se describe mediante un vector de un espacio vectorial cuyo
cuerpo de escalares es el plano complejo, C
14
2. Ecuacin de Schrdinger
ix
2
= k 00 , luego
(2.3)
Por tanto:
x2
|(x)|2 =
e 2
var(x) = x =
2.
Ecuacin de Schrdinger
Vimos en el tema anterior que la funcin de onda para el electrn libre viene dada
por:
Z
i(px Et)
dp
(x, t) =
g(p) exp
~
En general, se tendr exp(ikx wt), solo que hemos sustituido las propiedades particulares (cunticas) que hemos visto. Por motivos de inters matemtico, y sin ninguna
implicacin fsica, hacemos:
Z
1
i(px Et)
(x, t) =
(p) exp
dp
~
2~
As conseguiremos que (x, t) y (p, t) sern las funciones de onda en x y p, respectivamente.
15
2. Ecuacin de Schrdinger
1
i(px Et)
(p) exp
=
dp
t
~
2~ ~
Z
ip
1
i(px Et)
=
(p) exp
dp
x
~
2~ ~
Z 2
p
i(px Et)
~2 2
1
(p) exp
dp
=
2m x2
~
2~ 2m
=
(2.4)
i~
t
2m x2
Schrdinger generaliz2 2.4, pensando que debera existir tambin un trmino que
contribuyera con energa potencial, V , de la forma:
i~
(x, t)
~2 2 (x, t)
=
+ V (x)(x, t)
t
2m x2
(2.5)
16
3. Interpretacin probabilstica
3.
(2.6)
i~
((r, t) (r, t) (r, t)(r, t))
2m
(2.7)
Vese el discurso de Max Born al recibir el premio Nobel (11 de Diciembre de 1954):
The work, for which I have had the honour to be awarded the Nobel Prize for 1954
contains no discovery of a fresh natural phenomenon, but rather the basis for a new mode
of thought in regard to natural phenomena.
El trabajo por el que he tenido el honor de recibir el Premio Nobel de 1954 no presenta
el descubrimiento de un nuevo fenmeno natural, sino ms bien continene las bases de un
nuevo modo de pensamiento en relacin a los fenmenos naturales.
4
Este concepto tan anti-intuitivo es lo que produjo ms estupor entre los cientficos de la poca, hasta
el punto de que el mismo Einstein, que propuso la necesaria cuantizacin de la radiacin electromagntica en fotones, escribiera su famosa frase, asegurando que Dios no puede estar jugando a los dados,
a lo que Bohr respondi: Deja de decirle a Dios lo que tiene que hacer.
17
a operadores laplacianos:
~2
i~
= i~
+
=
2 2
t
t
t
2m
(2.8)
Este hecho, como hemos dicho varias veces, se puede enunciar diciendo que la probabilidad total se conserva.
4.
Todo esto se ver con mayor detenimiento en el captulo 4. Aqu solo presentaremos algunos resultados tiles que nos permitan trabajar sobre ciertos problemas sencillos, como haremos en el captulo
3.
18
nmero, algn valor de una cantidad fsica), qu debemos hacer en mecnica cuntica?.
Bien, las magnitudes llevan asociados operadores, que actan sobre las funciones de
onda. Un ejemplo de magnitudes calculables son los valores medios. Por ejemplo el
valor medio de la magnitud x, la posicin, que lleva asociada el operador X, que consiste
simplemente en multiplicar la funcin por x, venda dado por:
Z
Z
2
(x)x(x)dx
(2.10)
x |(x)| dx =
hx i =
Obsrvese la abismal diferencia entre la fsica clsica y la nuevea fsica, la fsica cuntica.
Con la operacin anteriormente indicada, una integral de una funcin, tan complicada
como se requiera en cada caso, multiplicada por x, nos da simplemente un valor medio
de x. En la fsica clsica, una simple sustitucin de algn parmetro, como el tiempo,
nos dara inmediatamente el valor de la posicin exacto, no en promedio.
En general, los operadores no consistirn en una simple multiplicacin, sino que implicarn, dentro de este mbito, derivadas, integraciones, etc. Entonces, el valor medio de
una magnitud no se calculara como hemos anunciado anteriormente, sino de una forma
similar, pero con una diferencia sutil. El valor medio de la magnitud A, cuyo operador
asociado es A, viene dado por:
Z
(x, t)A(x, t)dx
(2.11)
hA i =
inf ty
Hasta ahora hemos visto, sin darnos cuenta de ello, dos operadores: el operador posicin, x, y el operador energa potencial, V (x). Hemos trabajado con ellos sin saber nada
sobre como operar con ellos precisamente porque solo implican multiplicar la funcin de
onda por las magnitudes necesarias. El siguiente operador que vamos a ver, sin embargo,
ya no es tan trivial; se trata del operador momento, p, que est relacionado con el momento cintico clsico. Su expresin la podemos intuir de la forma general del hamiltoniano
(viendo cual es la aportacin de la energa cinticaa ste), segn la ecuacin (2.5):
p2
~2 2 (x, t)
(x, t)
2m x2
2m
~
i x
(2.12)
De los operadores de la energa, ya conocemos el operador energa potencial, y tenemos cierto conocimiento del operador hamiltoniano, pero no conocemos la energa cintica. Por la analoga con la fsica clsica, donde Ec = 2 /2m, con el momento cintico,
se tendr que el operador energa cintica est dado por el trmino 1/2m multiplicado
por p2 . Pero ahora p es un operador. Surge la pregunta qu es el cuadrado de un
operador?. El cuadrado de un operador es este mismo actuando sobre el resultado de
hacer actuar dicho operador sobre una funcin, por ejemplo, T 2 () = T (T ()). As, para
el caso de p, se tiene:
~2 2
p2
Ec =
=
2m
2m x2
Podemos escribir la ecuacin de Schrdinger de forma ms compacta definiendo H, el
operador hamiltoniano, como:
~2 2
+ V (x)
2m x2
de modo que la ecuacin fundamental de la mecnica cuntica queda como:
H=
i~
(x, t)
= H(x, t)
t
Ecuacin de Schrdinger
(2.13)
2 A1 dx =
1 A2 dx =
1 (A2 ) dx
(2.14)
a
Es directo entonces comprobar que el valor esperado de todo operador hermtico es real. Para ello, tomamos sobre la definicin de hermiticidad las funciones
1 = 2 = , por lo que tenemos:
Z
Z
hA i =
(x, t)A(x, t)dx =
(x, t)A(x, t) = hA i
20
2
,
x2
Por ltimo, aparece entre los operadores una relacin muy importante, la realacin de
conmutacin. Es evidente que en esta mecnica que estamos desarrollando los operadores
no tienen por qu conmutar entre s, es decir, no es indiferente el orden en que se apliquen
dos operadores sobre una misma funcin. Esta mecnica de funciones de onda es la
mecnica de Schrdinger. Existe otra formulacin, desarrollada en paralelo y al mismo
tiempo que aquella, la formulacin matricial de Heisenberg, que se demuestra totalmente
equivalente a la primera, en la que tambin aparece de forma natural la no conmutacin
de los operadores, ya que en esta vienen dados por matrices, que, como se sabe de las
nociones fundamental del lgebra Lineal, no conmutan entre s.
Se define el conmutador de dos operadores A y B, como:
[A, B] = AB BA
(2.15)
~
x
=
x
x
=
[x, p] () =
i
x
x
i
x
x
x
momento:
~
()
i
(2.16)
De esta relacin tan simple depende gran parte de la teora de la mecnica cuntica,
y del asombro que esta produce, pues sobre ella est fundamentado el famoso principio
de incertidumbre de Heisenberg.
21
5. Representacin de momentos
5.
Representacin de momentos
5.1.
5.2.
Teorema de Parseval
6.
Autovalores y autovectores
Supongamos que tenemos un operador A, asociado a una magnitud fsica A. Supongamos que, a aplicarlo sobre una funcin, se tiene lo siguientes:
An,i (x) = n n,i (x)
(2.17)
Las funciones que cumplen la anterior relacin, para algn valor , se llaman autofunciones o funciones propias del operador A, as como los se llaman autovalores
o valores propios. Pueden existir muchos autovalores de un operador A (por ello colocamos un subndice n en los autovalores). Adems, el conjunto de los autovalores puede
ser continuo o degenerado. Para un mismo valor de pueden existir varias funciones que
cumplan (2.17): decimos entonces que el espectro de A es degenerado (Por esto hay un
subndice i en las funciones). Hay varias propiedades generales, que sern demostradas
en el captulo 4, que resultan interesantes y que por ello adelantamos aqu:
Los valores propios de un operador hermtico son reales.
Si un operador tiene dos o ms valores propios distintos, se cumple que las funciones
asociadas a cada uno de dichos autovalores son ortogonales entre s (incluso las que
corresponden a un mismo autovalor). Es decir, n 6= m hn |m i (La expresin
h|i denota el producto escalar).
El conjunto de las funciones propias de casi6 cualquier operador hermtico forma
una base en el espacio vectorial correspondiente.
Los postulados de la mecnica cuntica afirman que, al realizar una medida de un
observable, los posibles valores que se pueden obtener son los valores propios del operador
asociado. Si tenemos un operador cuyas funciones propias forman una base, podemos
escribir cualquier funcin de estado del sistema en esa base de la forma:
X
(x) =
cn n (x)
n
6
En los espacios vectoriales de dimensin infinita, que aparecen a menudo en mecnica cuntica,
existe una sutil diferencia entre operadores hermticos y operadores autoconjugados, y de este hecho
proviene este casi.
22
7. Evolucin temporal
de manera que los coeficientes cn adquieren una especial relevancia: estn relacionados
con las probabilidades de obtener los distintos valores propios (recordemos, los valores
posibles de una medida) del operador asociado a la base en la que est desarrollada la
funcin de onda del sistema. Es decir:
P(n ) = |cn |2
De nuevo nos encontramos con el hecho de que en mecnica cuntica solo podemos dar
probabilidades de que un cierto acontecimiento suceda. Vemos aqu una nueva manera de
obtener valores esperados. En la seccin 4 estudibamos como obtener valores esperados
para una distribucin de probabilidad continua. Con la ecuacin anterior tenemos una
distribucin de probabilidad discreta. Sustituyendo las integrales por sumas, podemos
obtener el valor esperado de la magnitud A de la siguiente manera:
X
hA i =
n |cn |2
(2.18)
n
7.
Evolucin temporal
(2.20)
Hemos pasado de tener una ecuacin con dos incgnitas a tener dos ecuaciones de una
incgnita. La ecuacin que queda para (t) tiene como solucin:
(t) = Ce
23
iEn t
~
7. Evolucin temporal
Para (x) no sabemos nada, solo que en general ser una solucin de la ecuacin de
autovalores:
Hn (x) = En n (x) Ecuacin de Schrdinger independiente del tiempo
(2.21)
n e
24
iEn t
~
n (x)
(2.22)
Captulo 3
Problemas unidimensionales
1.
1.1.
Introduccin. Generalidades
Ecuacin de Schrdinger para potenciales constantes. Continuidades y discontinuidades
i~
~2 d2 (x, t)
(x, t)
+ (x, t)V (x)
=
t
2m dx2
(3.1)
1. Introduccin. Generalidades
x. As pues, llamando a esa constante E, que ser la energa (ahora veremos por qu),
tenemos:
~2 d2 (x)
+ V (x)(x) = E(x)
2m dx2
(3.2)
(3.3)
r
k=
2m
(E V )
~2
(3.4b)
E V < 0 En este otro caso la solucin ser una combinacin lineal de exponenciales
normales:
(x) = A exp (qx) + B exp (qx)
(3.5a)
donde hemos definido q como:
r
q=
2m
(E V )
~2
(3.5b)
Escribiremos a partir de ahora la parte espacial de la funcin de onda como = (x), y no como
, como hicimos antes en la separacin de variables, y no tomaremos como la funcin de onda total,
= (x, t)
2
Una forma de entender esto es que, si no lo fuera, tendramos que su derivada segunda tendra un
valor infinito, mientras que en la ecuacin de Schrdinger aparece igualada a algo finito.
26
1. Introduccin. Generalidades
delta (definido mediante una delta de Dirac, como veremos ms adelante). Esto se puede
ver integrando la ecuacin de Schrdinger en las cercanas de una discontinuidad, situada
arbitrariamente, por comodidad en la notacin, en x = 0. Se tiene, para el caso de un
potencial constante, V (x) = V :
Z
Z 2
d(x)
d(x)
d (x)
0
(E V )(x)dx 0
=
dx =
dx2
dx
dx
Sin embargo, si el potencial viene definido no por una constante sino por una funcin
delta, de intensidad , V (x) = (x), se tendr, usando los mismos clculos que en el
apartado anterior:
Z
d(x)
2m
d(x)
2m
=
(x)(0)dx = 2 (0)
2
dx
dx
~
~
+
= 2 (a)
dx
dx
~
a+
a
Otra cosa importante que tendremos que tener en cuenta sern las condiciones de
contorno, es decir, las condiciones especficas que tendr que cumplir la ecuacin de
onda, que sern precisamente lo que dar origen a fenmenos interesantes, tales como la
cuantizacin de la energa y la aparicin de estados discretos, el efecto tnel, resonancias,
estados ligados, etc.
1.2.
2. Potencial escaln
[V (x), ] =
2.
Potencial escaln
V (x)
II
V0
O
-
2.1.
En este caso, la solucin en uno y otro lado del salto de potencial es exponencial
imaginaria, y escribimos:
I (x) = AI eikI x + BI eikI x
II (x) = AII eikII x + BII eikII x
28
2. Potencial escaln
r
kI =
2mE
~2
kII
AII
AI
BI
AI
2kI
kI + kII
kI kII
=
kI + kII
Ahora vamos a definir dos magnitudes y conceptos que usaremos con frecuencia. El
coeficiente de transmisin, T , representa la probabilidad de que una onda incidente sea
transmitida a travs del salto de potencial, mientras que el coeficiente de reflexin, R, es
la probabilidad de que una onda incidente se refleje. Si tenemos en cuenta como hemos
escrito las funciones de onda, podemos definirlos de la siguiente manera:
2
kII AII
T =
k I AI
2
BI
R =
AI
kII
4kI2
kI (kI + kII )2
(kI kII )2
R =
(kI + kII )2
T =
2. Potencial escaln
2.2.
En este caso se tiene que la solucin en un lado (izquierdo) se corresponde con combinacin de exponenciales imaginarias, mientras que en el otro la solucin viene dada
por una exponencial real. Escribimos:
I (x) = AI eikx + BI eikx
II (x) = AII eqx + BII eqx
r
r
2mE
2m(E V0 )
q=
k=
2
~
~2
Para que la funcin de onda sea normalizable, y la integral no diverja, es necesario
hacer AII = 0. En estas circunstancias, y estableciendo las misma condiciones de empalme que antes, se llega a un resultado muy parecido al anterior (solo hay que cambiar
kI k y kII iq):
BII
AI
BI
AI
2k
k + iq
k iq
=
k + iq
=
je =
js
3.
3.1.
V =0
I
V =0
II
III
a
V0
r
2m|E|
2m(V0 |E|)
q=
k
=
~2
~2
Para evitar la divergencia en la normalizacin tendremos que tomar G = A = 0.
(3.8)
A los estados que aparecern en la zona II se les llama estados ligados: el pozo
cuadrado atrae, liga a los electrones. Si stos van con mucha energa pasan por l sin ser
muy perturbados, pero si van con poca energa, pueden quedar ligados al pozo.
La complicacin que puede aparecer al solucionar el sistema de ecuaciones anterior
se resuelve mediante las consideraciones de paridad del potencial.
Funciones propias pares
En este caso se tiene B = F y C = D. Esto implica que las consideraciones de
empalme sern las mismas en a y en a. Se tiene:
C (exp (ika) + exp (ika)) = B exp (qx)
ikC (exp (ika) exp (ika)) = qB exp (qx)
Las anteriores ecuaciones nos dicen implcitamente para que energas hay solucin.
Atendiendo a la frmula de Euler sobre la exponencial compleja, se tiene la siguiente
condicin:
q
condicin de estado ligado
(3.9)
tan (ka) =
k
Pero la anterior ecuacin es una ecuacin implcita, no podemos despejar analticamente
E para saber para que energas existe solucin. Vamos a hallarlas mediante un mtodo
grfico. Atendiendo a la definicin de k y q, en la ecuacin (3.8), y si hacemos estas otras
definiciones:
2mV0 2
y =ka
= a2 (k 2 + q 2 ) =
a
~2
32
(3.10)
(3.11)
Representacin
Ahora representamos las posibles soluciones, para soluciones pares e impares, en una
nica grfica. En realidad, en la grfica estn representadas
las funciones cot(x),
n2 x2
tan(x), f (x) =
, hemos hecho y = x, y n = . Las soluciones los posibles esx
tados ligados vienen dados por los cortes de cualquiera de las funciones trigonomtricas
con la funcin f (x). Podemos ver que el nmero de soluciones es:
!
2
= 1 + int(2n)
= 1 + int
3.2.
1 = A exp(ikx) + B exp(ikx)
2 = C exp(iqx) + D exp(iqx)
3 = E exp(ikx) + F exp(ikx)
r
k=
2mE
~2
r
q=
33
2m(E |V0 |
~2
34
i kq cot(qa) 1
i kq cot(qa) + 1
(3.12)
i kq tan(qa) 1
i kq tan(qa) + 1
(3.13)
Solucin general
Ahora, como dijimos con anterioridad, tenemos que encontrar una combinacin lineal
que nos d una solucin general con las condiciones que nosotros le impongamos. Como
hay una constante global que siempre permanecer por determinar, podemos considerar
arbitrariamente A = 13 . Adems imponemos que G = 1, queriendo significar con ello que
no consideramos ondas que provengan desde +. En definitiva, queremos una solucin
= Cpar par + Cimpar impar , donde las par , impar vienen dadas, en cada parte del
potencial, mediante las ecuaciones generales con los coeficientes vistos en cada uno de
los apartados anteriores, y los coeficientes Cpar y Cimpar se obtendrn imponiendo las
condiciones anteriormente mencionadas:
Cpar A+ + Cimpar A = A = 1 Cpar + Cimpar = 1
Cpar G+ + Cimpar G = G = 0 Cpar Cimpar = 0
En definitiva, se obtiene:
Cpar = Cimpar =
1
2
R = |B|2 =
T = |F |2
3
Otra alternativa sera calcular los cocientes A/A, B/A, C/A, etc. . . como hicimos con anterioridad.
Pero estos dos mtodos son totalmente equivalentes
35
4. Barreras de potencial
R =
Es directo comprobar que R + T = 1. Decimos que hay resonancias cuando el coeficiente de transmisin es mximo, esto es, cuando sin2 (2qa) = 0 2qa = n, n N.
4.
Barreras de potencial
Vamos a estudiar ahora las soluciones de la ecuacin de Schrdinger para los potenciales conocidos como barreras de potencial, definidos como (3.14), cuya representacin
esquemtica se encuentra en la figura 3.5.
0, si x < a;
V0 , si a x a;
V (x) =
0, si x > a.
(3.14)
V0
I
II
III
V =0
-
36
5.
5.1.
Centrado en el origen
0 si |x| < a
+ si |x| > a
(3.15)
V (x)
V (x) = +
V (x) = +
V (x) = 0
x
(3.16a)
(3.16b)
(3.17a)
Siendo
k2 =
2mE
~2
(3.17b)
(3.18)
El cambio en la segunda igualdad lo podemos hacer sin prdida de generalidad ninguna sin ms que reabsorber la constante eika en las distintas constantes A y B. Aplicando
las condiciones de contorno dadas por 3.16, obtenemos:
(a) = C1 + C2 = 0 C1 = C2 (x) = C1 eik(xa) eik(xa)
(3.19a)
Podemos reescribir la anterior expresin en forma sinusoidal:
(x) = 2iC1 sin (k(x a)) = C 1 sin (k(x a))
(3.19b)
n = 1, 2, . . .
(3.19c)
Esto quiere decir que la energa est cuantizada, dada la relacin que existe entre
k y E, segn 3.17b:
E=
~2 2 2
n,
8ma2
n = 1, 2, . . .
(3.20)
a
2
= |C 1 |2
2a
z sin(2kz)
2
4k
0
2a
1
= |C 1 |2 a = 1 |C 1 | =
a
(3.21)
n
1
(x) = C 1 sin(k(x a)) = sin
(x a)
2a
a
38
n = 1, 2, 3, . . .
(3.22)
n impar sin
n
=0
2
n
sin
=0
2
cos
Podemos entonces separar la solucin en los dos casos posibles sealados arriba, n
par o impar, y obtener, como solucin final (ver representacin en las figuras 3.7 y 3.8):
1
n
x n = 1, 3, 5, . . .
cos
2a
a
n (x) =
1
n
sin
x n = 2, 4, 6, . . .
2a
a
(3.24)
Podemos calcular el valor del incremento relativo de energa entre dos niveles consecutivos:
En+1 En
=
En
~2 2
(n
8ma2
+ 1)2
~2 2 2
n
8ma2
~2 2 2
n
8ma2
2n 1
2
=n
2
n
n
(3.25)
5.2.
Pozo asimtrico
0
si 0 < x < 2a
+ si x < 0 x > 2a
(3.26)
Las autofunciones son las mismas que antes, salvo que ahora no conviene tomar como
argumentos de las exponenciales complejas los valores x a, sino simplemente x:
(x) = C1 eikx + C2 eikx
39
(3.27)
(3.28a)
(3.28b)
(3.29a)
Y tambin:
(2a) = C 1 sin(2ka) = 0 2ka = n,
n = 1, 2, . . .
(3.29b)
Evidentemente, la energa tambin est cuantizada y los posibles valores que obtenemos
para la energa son los mismos que en el caso anterior:
E=
~2 2 2
n,
8ma2
n = 1, 2, . . .
(3.29c)
1 .
a
Y obtenemos, como
resultado final:
n
1
n (x) = sin
x
2a
a
n = 1, 2, 3, . . .
(3.30)
Todas las consideraciones hechas respecto al caso anterior son vlidas en este caso,
con la salvedad de la aparicin de los estados pares e impares. Aqu obtenemos solo un
tipo de resultados. En realidad, el resultado tampoco es tan distinto del que obtuvimos
en el apartado 5.1. La equivalencia la tenemos que buscar entre esta expresin 3.30 y la
ecuacin 3.22 y no la 3.24. De hecho, si hacemos un cambio de variable x xa volvemos
a obtener el caso anterior. Todo esto se debe a que en el primer caso el potencial tiene
simetra par, por lo que el operador potencial conmuta con el operador hamiltoniano, y
entonces podemos elegir (en ciertos casos y bajo ciertas condiciones) las soluciones como
pares o impares. En este segundo caso, el potencial asimtrico, su operador no conmuta
con el hamiltoniano, y no podemos hacer esta eleccin.
41
6. Potenciales delta
6.
Potenciales delta
2aV0 = V
Trataremos de comprobar que en este lmite la funcin de onda en las dos partes es
continua, mientras que su derivada es discontinua y satisface:
2m
d1 d2
= 2 V 1
dx
dx
~
(3.31)
B+ + B
exp(ikx)
2
B+ B
exp(ikx)
2
3 (x) = C exp(qx) + D exp(qx)
2 (x) =
(3.32a)
(3.32b)
(3.32c)
2m(E + V0 )
~2
r
k=
42
i kq coth(qa) 1
i kq coth(qa) + 1
i kq tanh(qa) 1
i kq tanh(qa) + 1
2mE
~2
(3.32d)
(3.32e)
(3.32f)
Captulo 4
43
1.
Una funcin de onda bsicamente ha de ser continua, derivable, y para guardar consistencia con su interpretacin probabilstica, ha de verificarse:
Z
|(x)|2 d3 x = 1 (caso unidimensional)
(4.1)
(x)(x)dn x
(4.2)
...
=
(, ) =
Rn
Este producto escalar cumple las propiedades que son de esperar en un espacio eucldeo complejo:
(, ) = (, ) (Hermiticidad)
(4.3)
(, + ) = (, ) + (, )
( + , ) = (, ) + (, ) (Linealidad)
(4.4)
(, ) = ||2 0 (Norma)
(4.5)
(, ) = 0 0
(4.6)
44
i) Toda funcin de onda puede desarrollarse como combinacin lineal de las funciones
de la base:
X
=
ci ui
(4.7)
i=1
(4.8)
ci ui ) =
i=1
ci (uj , ui ) =
i=1
ci ji = cj
i=1
As: ci = (ui , )
(4.9)
Esto nos lleva inmediatamente a que el producto escalar puede expresarse como:
=
ai u i
i=1
(, ) =
bj uj
j=1
ai bj (ui , uj ) =
i=1 j=1
ai bj ij =
i=1 j=1
ai bi
(4.10)
i=1
Y tambin tenemos una expresin, pues, para la norma al cuadrado de una funcin:
||2 =
|ci |2 =
i=1
|(ui , )|2
(4.11)
i=1
A modo formal, se hace necesario introducir el concepto de funcin de onda generalizada y base generalizada. Como puede verse en el apndice, mediante la distribucin
de Dirac, puede escribirse:
Z
(x) =
(y) (y x) dn y
(4.12)
Rn
y = (x y)
vp =
1
eipx~
(2~)n/2
(4.14)
(4.15)
como bases del espacio de funciones de onda. El problema es que esto en s no tiene
sentido: las bases de L0 son numerables (stas son no numerables), y lo que es ms
importante, estn formadas por vectores de L0 (en el caso de las y ni siquiera tenemos
funciones). Sin embargo, aceptaremos estas bases generalizadas porque tienen su utilidad
para la comprensin formal de la teora. Esto es idntico al proceso de introduccin de
la distribucin : tiene un cierto significado y puede implementarse de un modo ms
riguroso a un nivel mucho ms profundo.
De hecho esto ya lo hemos utilizado, en la resolucin de problemas unidimensionales.
All obtenamos como funciones propias del hamiltoniano combinaciones de ondas planas
que no pertenecan a L0 . Simplemente tenamos los ladrillos con los que se construyen
los estados, una base generalizada asociada a la energa.
Para estas bases generalizadas, el conjunto de coeficientes es continuo, y la combinacin lineal debe ser entendida como integral. As, reproduciendo los resultados anteriores para bases ortonormales en sentido estricto:
Z
Base generalizada {ui (x)}I
(ut , us ) =
ut (x)us (x) ds = (t s)
(4.16)
Rn
Z
(t)ut (x) dt ,
(x) =
(s)us (x) ds
(x) =
(4.17)
Z
(t) = (ut , ) =
ut (x)(x) dn x
(4.18)
Rn
Z
(, ) =
(t)(t) dt
(4.19)
|(t)|2 dt
(4.20)
I
2
|| =
I
Las dos primeras lneas son la definicin definitiva de base ortonormal generalizada:
la ortonormalidad y la posibilidad de desarrollar cualquier funcin de onda como una
combinacin (integral) de las funciones de la base. I es un conjunto de ndices continuo
cualquiera, en general, Rm (no tiene por qu ser m = n)2 .
El ltimo concepto fundamental para el desarrollo de esta teora es el de operador.
Ya hemos visto que podemos obtener valores medios de magitudes como el momento o
En el caso de ndices continuos, nos referimos ciertamente a un subconjunto I de Rn . Es importante
destacar que todos los espacios Rn tienen idntico cardinal (nmero de elementos). En principio si la
base no es numerable, la consideraremos continua.
2
46
(4.21)
Los operadores permiten manipular las funciones de onda para, entre otras cosas, obtener
informacin sobre el estado del sistema. Esto ya se ha sugerido antes, pero avanzaremos
ms sobre ello. Notemos ahora que el valor medio de un operador A para un estado
puede escribirse ahora como:
Z
A = (, A)
(4.22)
hA i =
Rn
Llegados a este punto hemos de mirar atrs y darnos cuenta de a dnde hemos llegado.
Dado un estado mediante la funcin de onda , sta contiene toda la informacin sobre
el sistema. Si especificamos una base {i }N , conocer los coeficientes ci del desarrollo de
nos proporciona el mismo conocimiento. Tambien vale esto para una base continua
{u }A . De hecho, dada {y }yRn , los coeficientes de con respecto a esta base son
precisamente (x), con lo que la propia funcin de onda se representa a s misma. Los
valores de la funcin de onda del espacio de momentos (p) no son sino los coeficientes
respecto a la base de ondas planas {vp }pRn .
Un mismo estado se ve representado por distintas funciones de onda (segn trabajemos en el espacio de momentos, en el espacio natural de la posicin,etc.), sucesiones
de escalares complejos ci ,. . . Debemos encontrar alguna manera entonces de reunir todas
estas interesantes propiedades para acabar con la ambigedad que encontramos.
2.
Las distintas formas en las que un estado queda caracterizado tienen algo en comn:
todas se refieren a un espacio de Hilbert separable de dimensin infinita. L0 lo es ya, y
a l pertenecen las funcines de onda, funcines de onda en el espacio de momentos, los
coeficientes referentes a una base continua. . . Por otro lado, las sucesiones de escalares
X
complejos ci tales que:
|ci |2 < son el marco natural donde se trabaja cuando
i=1
47
El paso que vamos a dar se apoya sobre un importante hecho: todos estos espacios
son perfectamente isomorfos, esto es, existe (al menos) una correspondencia biunvoca
entre cada pareja de ellos, que ademas conserva el producto escalar.
. . . (x) {ci }N (p) . . .
. . . 0 (y) {c0j }N 0 (q) . . .
Z
... =
Rn
...............
Z
0
n
0
(x) (x) d x =
ci ci =
i=1
(p)0 (p) dn p = . . .
Rn
(4.23)
El teorema de
brackets: del ingls, parntesis h | i
48
A.
A.1.
A.2.
A.3.
Teora de la medida
Postulado 3 (Posibles valores de una medida). Los nicos posibles resultados de una
medida realizada sobre un sistema respecto a una magnitud A es uno de los autovalores
b asociado a dicha magnitud.
del operador A
Los posibles valores de una medida, como es de esperar, son siempre reales, ya que
b
A es hermtico por definicin.
b es discreto, entonces la magnitud
Si el espectro de los autovalores de un operador A
A est cuantizada.
49
A.4.
Postulado 3.1 (Caso discreto no degenerado). La probabilidad de obtener como resultado de una medida de A sobre un sistema en el estado normalizado | i el autovalor no
degenerado n correspondiente al autovector normalizado a la unidad | n i viene dada
por:
P (n ) = |h n | i|2
(4.24)
Postulado 3.2 (Caso discreto degenerado). La probabilidad de obtener como resultado de una medida de A sobre un sistema en el estado normalizado | i el autovalor
b viene dada por:
degenerado n del operador asociado A
gn
X
i
h n | i2
P (n ) =
(4.25)
i=1
50
Captulo 5
Introduccin
Hasta ahora hemos considerado las partculas, en particular los electrones, como
puntuales y con tres grados de libertad asociados a las posiciones x, y y z, es decir, hemos
caracterizado los electrones mediante una funcin de onda (x, y, z), normalmente. Con
estas herramientas de trabajo hemos conseguido muchas descripciones, que ampliaban
sin duda los contenidos de la mecnica clsica, explicando fenmenos atmicos con el
tomo de hidrgeno, sus niveles de energa, etc. . . ; adems, estos modelos sirven de base
para modelar otras estructuras de mayor complejidad (eso s, a travs de aproximaciones,
pues una resolucin analtica de la ecuacin de Schrodinger suele ser imposible). Pero
la realidad, los experimentos, van ms all de lo que hemos estudiado hasta ahora.
Cuando se estudian ciertos experimentos en profundidad, aparecen ciertos fenmenos que
nuestra teora, en el estado en que se encuentra hasta nuestro desarrollo actual, no puede
explicar. Este resultado no debera ser sorprendente, ya que desde el primer momento,
como tuvimos a bien avisar, hemos despreciado toda aportacin que la teora de la
Relatividad pudiera hacer: son necesarias sin duda alguna gran cantidad de correcciones
relativistas que hemos despreciado: as, la variacin de la masa (no la masa en reposo)
con la velocidad, efectos magnticos, etc. . . Estos efectos son pequeos; son pequeos, s,
pero pueden ser medidos.
La ecuacin de Dirac plantea una descripcin cuntica y relativista del electrn, pero
sus implicaciones suponen profundas modificaciones respecto a lo que significa la ecuacin
de Schrodinger. Adems, de esta teora emerge con total naturalidad una propiedad
fundamental del electrn, y de todas las partculas, el espn, con la misma relevancia que
puedan tener la masa en reposo o la carga de la partcula. Sin embargo, al contrario de
lo que sucede hoy en da, el espn del electrn fue descubierto experimentalmente mucho
antes de que fuera predicho tericamente. Es ms, Pauli desarroll una teora en la que
el espn se introduce de una forma simple de manera no-relativista, a travs de unos
51
2. Evidencia experimental
nuevos postulados que se aaden -en ningn momento sustituyen- a los anteriores. La
teora demuestra estar en perfecto acuerdo con los experimentos. Nosotros estudiaremos
aqu esta teora de Pauli, que no incluye elementos relativistas y es bastante ms simple.
2.
Son los experimentos los que mandan sobre nuestros modelos fsicos y no al revs. La
evidencia experimental de la existencia de una propiedad sin ninguna analoga clsica, y
con comportamiento de momento angular, al que llamamos espn, es numerosa. Nosotros
nos fijaremos solo en aquellos experimentos que son ms clsicos e intuitivos, y que nos
permitirn extraer las consecuencias necesarias para justificar la existencia del espn.
2.1.
Cuando hablbamos del tomo de hidrgeno afirmbamos sin miedo que la teora desarrollada entonces explicaba perfectamente las lneas espectrales observadas (las frecuenciasenergas observadas en las transiciones de un estado a otro de los electrones en los distintos niveles energticos). Bien, esto es cierto, pero solo hasta un grado de precisin
determinado. Ms all de esta precisin, estas lneas se desdoblan en otras que tienen
frecuencias casi idnticas, pero que se pueden distinguir con los aparatos adecuados. Es
decir, existen niveles atmicos que son muy parecidos, pero distintos. Este desdoblamiento, conocido como estructura fina del tomo de hidrgeno, no puede ser explicado con las
herramientas y postulados desarrollados hasta ahora. Se hace necesaria la introduccin
de ciertas hiptesis adicionales.
2.2.
Al colocar un tomo en el seno de un campo magntico las lineas espectrales anteriormente mencionadas se subdividen a su vez en un cierto nmero de lneas equiespaciadas,
siendo el intervalo proporcional al campo magntico. Esto se entiende si se tiene en
cuenta que aparece un momento magntico asociado al momento angular orbital de la
forma:
B
q~
M=
L
B =
~
2me
El factor B es conocido como magnetn de Bohr. Esta teora es confirmada por
los experimentos en ciertos casos efecto Zeeman normal, pero en otras ocasiones se
demuestra incapaz de dar cuenta cuantitativamente de todas estas subdivisiones efecto
Zeeman anmalo. Se hace necesaria la introduccin de ciertas hiptesis adicionales.
52
3. Postulados de Pauli
2.3.
3.
Postulados de Pauli
(5.2)
(5.3)
En ingls el verbo girar es spin, de donde viene el nombre spin, castellanizado como espn.
53
(5.4)
4. Espn 1/2
4.
S2 | i =
| S iz | i =
h+|i =
h+|+i =
b =
1
3 2
~ |i
4
1
~| i
2
0
h|i = 1
| + ih + | + | ih |
54
(5.5)
(5.6)
(5.7)
(5.8)
(5.9)
(5.10)
5. Descripcin
=
=
=
=
=
=
Sx iSy
0
~| + i
~| i
0
S2 = 0
(5.11)
(5.12)
(5.13)
(5.14)
(5.15)
(5.16)
(5.18)
1
0
0
1
i
0
(5.19)
(5.20)
(5.21)
Estas matrices poseen las siguientes propiedades, que pueden deducirse directamente
de su expresin explcita anterior:
i2
i j + j i
[i , j ] = 2iijk
i j
Tri = 0
det i
5.
= 1
= 0
= iz
= 1
(5.22)
(5.23)
(5.24)
(5.25)
(5.26)
(5.27)
Si se han de tener en cuenta todas las propiedades de una partcula (todos sus grados
de libertad), el estado de una partcula viene descrito por un vector de E = Er Es . Para
55
5. Descripcin
ello, habremos de extender (en el sentido matemtico de la palabra) los operadores que
antes habamos definido para los dos espacios de estado por separado al espacio total
E. Usaremos como sistema de observables el formado por {X, Y, Z, S2 , Sz }. Como base,
tomaremos los kets obtenidos como producto tensorial de vectores de las bases de Er ,
| r i | x, y, z i, y vectores de la base de Es , | i, donde puede referirse a | + i o | i.
Es decir, por definicin, los vectores de la base anteriormente indicada son de la forma:
| r, i | x, y, z, i = | r i | i
(5.28)
(5.29)
(5.30)
(5.31)
(5.32)
(5.33)
(5.34a)
(5.34b)
(5.35)
(5.36)
(5.37)
Estas dos funciones son las dos componentes de una estructura llamada espinor, que
escribimos de la forma:
+ (r)
[] (r) =
(5.38)
(r)
La representacin anloga a esta del bra h | asociado al estado | i es la matriz
adjunta de esta, es decir, un espinor de la forma:
?
?
(r)
(r)
[] (r) = +
(5.39)
56
5. Descripcin
Esta notacin compacta permite simplificar la expresin del producto escalar de dos
vectores de estado, que podemos escribir como:
Z
XZ
h |i =
drh | r, ih r, | i = dr [] (r) [] (r)
(5.40)
(5.42)
(5.43)
(5.44)
Esto equivale a decir que las funciones del espinor (r) son
(r) =
R simplemente
3
2
2
(5.45)
0
x 0
(5.46)
bXc
bPy c i~ y
0 x
0
y
57
~2 0 z
bPz Sy c
2
0
z
(5.47)
La representacin espinorial tambin permite expresar el valor esperado de un operador en un estado | i que tenga en cuenta el espn, de la forma:
Z
hA i = h | A | i =
d3 r [] (r) bAc [] (r)
(5.48)
V
6.
[Liz , U ] =
x1
y1
,
(5.50)
i
y1
x1
que, en general, ser distinto de cero. Es decir, debido a U (r), las componentes de los
Li dejan de ser constantes de movimiento. Pero podemos intentar ver que sucede con
el momento angular total, L = L1 + L2 . Si tomamos la componente z de este operador
vectorial, y calculamos su conmutador con H, tenemos:
~
U
U
U
U
[Lz , H] = [Lz , U ] = [L1z , U ] + [L2z , U ] =
x1
y1
+ x2
y2
=
i
y1
x1
y2
x2
~ v0
=
(x1 (y1 y2 ) y1 (x1 x2 ) x2 (y1 y2 ) + y2 (x1 x2 )) = 0
(5.51)
i r
58
7. Suma de espines
7.
Para describir un sistema compuesto de dos espines, tomamos como base el conjunto
de vectores obtenidos como producto tensorial de cada uno de los vectores que describen
a una partcula de espn s = 1/2, los vectores { | i}. La base que decimos ser entonces
{ | 1 i | 2 i} { | 1 i | 2 i}, donde los i = , y que escribiremos de forma ms
abreviada como { | 1 2 i}. Estos vectores son autovectores de los operadores Si2 y de los
Siz 2 :
3 2
~ | 1 2 i
4
Siz | 1 2 i = i ~ | 1 2 i
Si2 | 1 2 i =
(5.52)
(5.53)
Como queremos expresar estos vectores en otra base, en la que entre el operador S2 ,
debemos definir el espn total, S = S1 + S2 , comprobando que S es un momento angular,
ya que obedece las relaciones de conmutacin que definen un momento angular.
Tenemos que realizar un cambio de base. Partimos de una base dada por un conjunto
completo de observables compatibles, dado mediante {S12 , S22 , S1z , S2z }, y debemos cambiar a otro, dado por {S12 , S22 , S 2 , Sz }, para lo que construiremos una base cuyos vectores
denotaremos por { | SM i}, en vista de que queremos obtener:
S 2 | SM i = S(S + 1)~2 | SM i
Sz | SM i = M ~ | SM i
3 2
Si2 | SM i =
~ | SM i
4
(5.54)
(5.55)
(5.56)
Estas son las relaciones habituales de vectores y valores propios de un momento angular
S.
Est claro que los | 1 2 i son autovectores de la componente z del espn total, ya
que Sz | 1 2 i = ~2 (1 + 2 ) | 1 2 i. Como i = 1, entonces los valores posibles de M son
2
59
7. Suma de espines
1
~
0
Sz
2 0
0
Sz es:
0
0
0
0
0 0
0 0
0 0
0 1 | 1 2 i
(5.57)
1
(S1+ S2 + S1 S2+ )
2
2 0 0 0
~ 0 1 1 0
S2
2 0 1 1 0
0 0 0 2 | 1 2 i
(5.58)
(5.59)
(5.60)
Sz ya es diagonal en esta base. Por los teoremas que vimos en los primeros captulos,
ahora solo resta diagonalizar la restriccin de S2 al subespacio generado por { | + i, |
+ i} (el subespacio correspondiente a M = 0), es decir, la parte central de S2 , ya que
es la que debera romper la degeneracin de Sz y no lo hace. En definitiva, hay que
diagonalizar la submatriz:
2 1 1
2
S0 ~
(5.61)
1 1
Si designamos con ~2 , los autovalores, se tiene que = 2 o bien = 0. Los correspondientes autovectores son:
1
= 2 [ | + i + | + i]
2
1
= 0 [ | + i | + i]
2
60
(5.62)
(5.63)
7. Suma de espines
1
( | + i + | + i)
2
| i
1
2
( | + i + | + i), con
Tenemos, tal y como cabra esperar, que, para cada S, los autovalores posibles de Sz
son de la forma S, S + 1, . . . 0 . . . , S 1, S. Por otro lado, hemos visto que los vectores
que obtenemos como base son de la forma:
singlete
triplete
1
| 00 i = ( | + i | + i)
2
| 11 i = | + + i
| 10 i = 12 ( | + i + | + i)
| 11 i = | i
8. Mtodo general
8.
8.1.
(5.64)
(5.65)
(5.66)
Llamemos (k, j) a los subespacios generados por los vectores de la base correspondiente a k y j fijos. Estos subespacios:
Son (2j + 1)-dimensionales.
Son invariantes bajo la accin de J2 , Jz y F (J en general, es decir, los elementos de
matriz no nulos de estos operadores se encuentran solo en cada subespacio (k, j).
Sus elementos de matriz, en cada subespacio (k, j), son independientes de k.
Este pequeo resumen anterior contiene la informacin bsica que necesitaremos de
la teora del momento angular de un sistema. Ahora consideremos dos subsistemas distintos (que indicaremos a partir de ahora como 1 y 2). El espacio de estados del sistema
conjunto es el producto tensorial de los espacios de estados de los sistemas por separado, = 1 2 . Tomamos como base de estados del sistema los vectores de la forma
| k1 , k2 ; j1 , j2 ; m1 , m2 i, con:
| k1 , k2 ; j1 , j2 ; m1 , m2 i = | k1 , j1 , m1 i | k2 , j2 , m2 i
El espacio de estados se puede descomponer en la suma directa:
X
X
=
(k1 , k2 ; j1 , j2 ) =
1 (k1 ; j1 ) (k2 ; j2 )
(5.67)
(5.68)
En realidad, es la suma de las extensiones de los operadores J1 y J2 , desde los espacios originales
en que actuaban, 1 y 2 , respectivamente, al espacio de estados .
62
8. Mtodo general
8.2.
(5.71)
Cambio de base
J22 ,
J2
y Jz
(5.73)
conmutan entre s; nosotros buscamos una base basada en los operadores 5.73 para el
estudio del momento angular total, por lo que habr que realizar un cambio de base de
5.72 a 5.73. Es decir, buscamos vectores, que denotaremos (para dos valores j1 y j2 fijos)
como | J, M i que satisfagan simultneamente:
J2 | J, M i = J(J + 1)~2 | J, M i
Jz | J, M i = M ~ | J, M i
(5.74)
(5.75)
Adems, por supuesto, debern ser autovectores de J21 y J22 , con autovalores asociados
a j1 y a j2 , respectivamente. Como los subespacios (k1 , k2 ; j1 , j2 ) tienen elementos de
matriz no nulos solo dentro de cada subespacio, el problema consistir solo en realizar
un cambio de base dentro de cada subespacio. Adems, como los elementos de matriz de
cualquier operador funcin de J21 , J22 , J 2 yJz son independientes de los valores de
k1 y k2 , el problema de la diagonalizacin ser el mismo en cada subespacio. Por tanto,
adoptaremos la siguiente notacin reducida:
(k1 , k2 ; j1 , j2 ) (j1 , j2 )
| k1 , k2 ; j1 , j2 ; m1 , m2 i | j1 , j2 ; m1 , m2 i
Por otro lado, como J es un momento angular, y los (j1 , j2 ) son invariantes bajo la
accin de cualquier funcin de J, se tiene que (j1 , j2 ) se puede descomponer en suma
directa de los distintos subespacios asociados a J (que tendrn que ver con los autovalores
de este operador), llammoslos (k, J), que son invariantes bajo la accin de J2 , Jz y J ,
esto es:
X
(j1 , j2 ) =
(k, J)
(5.76)
8. Mtodo general
8.3.
Autovalores de Jz
(5.77)
y sus autovalores son M = m1 + m2 . Como los valores mximos que pueden alcanzar m1
y m2 son j1 y j2 , respectivamente, y los mnimos j1 y j2 , entonces los valores posibles
de M son:
M = j1 + j2 ,
j1 + j2 1,
...
j1 j2 + 1,
(j1 + j2 )
(5.78)
8.4.
Autovalores de J2
Explicarlo ms matemticamente
64
8. Mtodo general
x j2 = 2
(3, 2)
M = 1
M =5
M =4
M = 3
x - m1
j1 = 3
x
(3, 2)
M =0
Figura 5.1: Valores de M y autovectores asociados.
gj1 ,j2 (M )
5
4
3
2
1
M
5
8. Mtodo general
(5.80)
j1 + j2 1,
...
|j1 j2 |
(5.81)
Hemos puesto |j1 j2 | para generalizar al caso en que fuera j1 < j2 , aunque no tiene
mayor trascendencia, claro est.
Otra forma de ver que el valor mnimo de J ha de ser j1 j2 es ver la dimensin de
(j1 , j2 ). Llamemos x a ese valor mnimo de J. Para cada valor de J hay un subespacio
de dimensin 2J + 1 debida a los distintos valores posibles de M . Tambin sabemos que
el valor mximo de J es J = j1 + j2 . Como la dimensin de (j1 , j2 ) es (2j1 + 1)(2j2 + 1),
se debe cumplir:
j1 +j2
X
2J + 1 = (2j1 + 1)(2j2 + 1)
(5.82)
J=x
8.5.
Autovectores de J2 y Jz
66
Formulario general
Mecnica ondulatoria
Z
1
(p)eipx/~ dp
(x) =
2~
Z
1
(x)eipx/~ dx
(p) =
2~
x2
e 22 dx =
2
1
2
eik(xx ) dk = (x x0 )
i~
j(x) =
2m
x
x
= ||2
+ divj(x) = 0
t
dhA i
i
= h[H, A] i
dt
~
Potencial delta:
d
dx
0+
67
d
dx
=
0
2m
(0)
~2
i~t | i = H | i
H | in i = En | in i
X
| (t) i =
cn eiEn t/~ | n (0) i
n
~
i x
P2
H =
+ V (x) (Expresin general)
2m
Z
p2
1
dp0 V (p)(p p0 )
E(p) =
(p) +
2m
2~
P =
Problemas unidimensionales
Pozo infinito
Centrado en origen, anchura 2a
~2 2 2
n
8ma2
n
1
x , n = 2, 4, 6, . . .
sin
2a
a
n (x) =
1
n
cos
x , n = 1, 3, 5, . . .
2a
a
En =
~2 2 2
En =
n
2mL2
r
n
2
n (x) =
sin
x
L
L
68
Oscilador armnico
H=
1
P2
+ mX 2
2m 2
=
X
m
X
~
1
P
m~
P =
= 1 (P 2 + X
2)
H
2
H = ~ H
1
a = (X
+ iP )
2
1
a = (X
iP )
2
= a a + 1 = N + 1
H
2
2
n + 1 | n+1 i
a | n i =
a | n i =
n | n1 i
1
| n i = (a )n | 0 i
n!
h n0 | a | n i =
n 0
n ,n1
h n0 | a | n i =
n + 1 n0 ,n+1
r
i
~ h
h n0 | X | n i =
n + 1 n0 ,n+1 + n n0 ,n1
r2m h
i
m~
h n0 | P | n i = i
n + 1 n0 ,n+1 n n0 ,n1
2
69
n 1/2
n
m 2
~
m 1/4 m
d
1
x
e 2~ x
n
2 n! m
~
~
dx
m 1/4
m 2
e 2~ x
~
1/4
m 2
4 m 3
xe 2~ x
~
i m 2
m 1/4 h m
2
x2 1 e 2~ x
4~
~
n (x) =
0 (x) =
1 (x) =
2 (x) =
Momento angular
General
J
[J , J ]
i2 j
J ,J
[Jz , J]
[J+ , J ]
JJ
J2
J 2 | k, j, m i
Jz | k, j, m i
2
J J | k, j, m i
Jz J | k, j, m i
Jx iJy
i~i,j,k Jk
0
~J
2~Jz
Jx2 + Jy2 ~Jz = J 2 Jz2 ~Jz
1
=
(J+ J + J J+ ) + Jz2
2
=
=
=
=
=
=
j(j + 1)~2 | k, j, m i
m~ | k, j, m i
j(j + 1)~2 | k, j, m i
(m 1)~ | k, j, m i
p
J | k, j, m i = ~ j(j + 1) m(m 1) | k, j, m 1 i
=
=
=
=
~
h k, j, m | Jx | k 0 , j 0 , m0 i = k,k0 j,j 0
2
hp
i
p
0
0
0
0
j(j + 1) m (m + 1) m,m0 +1 + j(j + 1) m (m 1) m,m0 1
~
h k, j, m | Jy | k 0 , j 0 , m0 i =
k,k0 j,j 0
2i
hp
i
p
j(j + 1) m0 (m0 + 1) m,m0 +1 j(j + 1) m0 (m0 1) m,m0 1
(1/2)
(Jz )
~
=
2
(1/2)
(Jx )
~
=
2
1 0
0 1
2 (1/2)
(J )
0 1
1 0
(1/2)
(Jy )
(Jz )(1)
(Jx )(1)
1 0 0
= ~ 0 0 0
0 0 1
0 1 0
~
= 1 0 1
2 0 1 0
3~2
=
4
~
=
2
1 0
0 1
0 i
i 0
(J 2 )(1)
(Jy )(1)
1 0 0
= 2~2 0 1 0
0 0 1
0 i 0
~
= i 0 i
2 0 i
0
cos
i~ sin +
tan
sin
i~ cos +
tan
i~
2
1
1 2
2
~
+
+
2 tan sin2 2
Lx =
Ly =
Lz =
L2 =
L = ~e
+ i cot
l
l
L+ Yl (, ) = 0 Yl (, ) = cl (sin )l eil
r
(1)l (2l + 1)!
cl =
2l l!
4
i
1
Y00 (, ) =
4
r
3
Y11 (, ) =
sin ei
8
r
3
cos
Y10 (, ) =
4
r
15
Y22 (, ) =
sin2 e2i
32
r
15
1
Y2 (, ) =
sin cos ei
8
r
5
0
3 cos2 1
Y2 (, ) =
16
Composicin de espines
~ 0
S1x =
2 1
0
0 0
~
0 0
S1y =
2 i 0
0 i
1 0
~
0 1
S1z =
2 0 0
0 0
0
0
0
1
i
0
0
0
0
0
1
0
1
0
0
0
0
1
0
0
0
i
0
0
0
0
0
1
~ 1
S2x =
2 0
0
0
~
i
S2y =
2 0
0
1
~
0
S2z =
2 0
0
72
1
0
0
0
0
0
0
1
0
0
1
0
0 0
0 0
0 i
i 0
0 0 0
1 0 0
0 1 0
0 0 1
i
0
0
0
s
P21
| SM i = (1)S+1 | SM i
1 2
S S12 S22
S1 S2 =
2
Teora de perturbaciones
General
H = H 0 + W = H 0 + W
| n i = | 0 i + | 1 i + 2 | 2 i +
En () = En0 + 1 + 2 2 + ...
Nivel no degenerado
| n i
1 = h n | W
| n i
X X h ip | W
|1i =
| ip i
0 E0
E
n
p
p6=n i
2
| i i
X X h ip | W
p
2 =
0
0
En Ep
p6=n i
Nivel degenerado
n | 0 i = 1 | 0 i
W
73