Los Alamos Electronic Archives: physics/9808031 La verdad os hara libres
Universidad de Guanajuato IFUG, Le´ on, Guanajuato, M´ exico
MECANICA CUANTICA I.
MC I
Haret C. Rosu e-mail: [email protected]
fax: 0052-47187611 phone: 0052-47183089
h/2 π
A cargo del Prof. Haret Rosu para el beneficio de los estudiantes presentes y futuros del IFUG y otros lugares.
Primer curso de mec´ anica cu´ antica en castellano publicado en Internet.
Copyright c 1998. All rights are reserved. H.C. ROSU
Julio de 1998 Abstract
This is the first Internet course on elementary quantum mechan-
ics written in Spanish (“castellano”) for the benefit of Spanish speak-
ing students. I thank my eight Mexican students at the Institute of
Physics, University of Guanajuato, Leon, (IFUG), for the collaboration
that made this possible. The topics included refer to the postulates of
quantum mechanics, one-dimensional barriers and wells, angular mo-
mentum, WKB method, harmonic oscillator, hydrogen atom, quantum
scattering, and partial waves.
INDICE DE CONTENIDO 0. Introducci´ on General - Haret C. Rosu
1. Los Postulados de la MC - Martin Gilberto Castro Esparza 2. Potenciales Barreras y Pozos - Juan Manuel Rodr´ıguez Vizca´ıno 3. El Momento Angular - Teodoro C´ ordova Fraga
4. El M´ etodo WKB - Luis Antonio Garc´ıa Trujillo
5. El Oscilador Arm´ onico - Jos´ e Torres Arenas
6. El ´ Atomo de Hidr´ ogeno - Edgar Alvarado Anell
7. La Dispersi´ on en la MC - Daniel Jim´ enez Alvarez
8. Las Ondas Parciales - Pedro Basilio Espinoza Padilla
Incluye tambi´ en alrededor de 25 problemas con soluciones.
0. Introduction
The energy quanta occured in 1900 in works of Max Planck (Nobel prize, 1918) on the black body electromagnetic radiation. Planck’s “quanta of light” have been used by Einstein (Nobel prize, 1921) to explain the pho- toelectric effect, but the first “quantization” of a quantity having units of action (the angular momentum) belongs to Niels Bohr (Nobel Prize, 1922).
This opened the road to the universality of quanta, since the action is the basic functional to describe any type of motion. However, only in the 1920’s the formalism of quantum mechanics has been developed in a systematic manner and the remarkable works of that decade contributed in a decisive way to the rising of quantum mechanics at the level of fundamental theory of the universe from the mankind standpoint and one of the most successful from the point of view of technology. Moreover, it is quite probable that many of the cosmological misteries may be disentangled by means of various quantization procedures of the gravitational field leading to our progress in understanding the origins of the universe. On the other hand, in recent years, there is a strong surge of activity in the information aspect of quan- tum mechanics, that has not been very much exploited in the past, aiming at a very attractive “quantum computer” technology.
At the philosophical level, the famous paradoxes of quantum mechanics (showing the difficulties of the ‘quantum’ thinking) are actively pursued ever since they have been first posed. Perhaps the famous of them is the EPR paradox (Einstein, Podolsky, Rosen, 1935) on the existence of elements of physical reality, or in EPR words: “If, without in any way disturbing a system, we can predict with certainty (i.e., with probability equal to unity) the value of a physical quantity, then there exists an element of physical reality corresponding to this physical quantity.” Another famous paradox is that of Schr¨ odinger’s cat which is related to the fundamental quantum property of entanglement and the way we understand and detect it. What one should emphasize is that all these delicate points are the sourse of many interesting experiments (such as the so-called “teleportation” of quantum states) pushing up the technology.
Here, we present eight elementary topics in nonrelativistic quantum me- chanics from a course in Spanish (“castellano”) on quantum mechanics that I taught in the Institute of Physics, University of Guanajuato (IFUG), Le´ on, Mexico, during January-June semester of 1998. The responsability of the idiom belongs mostly to the eight students, respectively.
Haret C. Rosu
0. Introducci´ on General
Los cu´ antos de energ´ıa surgieron en 1900 como consecuencia de los trabajos de Max Planck (premio Nobel 1918) sobre el problema de la radiaci´ on del cuerpo negro. Los “cuantos de luz” de Planck fueron usados por Einstein (premio Nobel 1921) para explicar el efecto fotoelectrico, pero la primera
“cuantificaci´ on” de una cantidad que tiene las unidades de una acci´ on (el momento angular) se debe a Niels Bohr (premio Nobel 1922). Eso abri´ o el camino de la universalidad de los cu´ antos ya qu´ e la acci´ on es la funci´ on basica para describir cualquier tipo de movimiento. A´ un as´ı, s´ olo los a˜ nos veinte se cons´ıderan como el inicio del formalismo cu´ antico que levant´ o a la mec´ anica cu´ antica al nivel de teor´ıa fundamental del universo y una de las m´ as excitosas en cuanto a la tecnologia. En verdad, es muy proba- ble que muchos de los misterios cosmol´ ogicos est´ an por ejemplo detr´ as de las diferentes maneras de cuantificar el campo gravitacional y tales avances pueden contribuir al entendimiento de los origines del universo. Por otro lado, el aspecto informatico de la mec´ anica cu´ antica, que no se aprovech´ o en el pasado, se est´ a desarrollando de una manera muy activa en los ulti- mos a˜ nos con el proposito de investigar la posibilidad de la construcci´ on de las llamadas “computadoras cu´ anticas”. En la parte filos´ ofica cabe men- cionar que en la mec´ anica cu´ antica hay paradojas famosas que todav´ıa se mantienen en polemica y que reflejan las dificultades de la logica que im- pone la manera de pensar cu´ antica (y/o probabilistica). Una de las m´ as celebres es la de Einstein (que nunca acepto por completo la MC), Podolsky y Rosen (EPR, 1935) sobre si hay o no “elementos verdaderos de la realidad f´ısica” (seg´ un Einstein la MC prohibe la existencia independiente del acto de medici´ on de los sistemas f´ısicos). Otra de igual celebridad es la del “gato de Schr¨ odinger”. Lo que se debe subrayar es que todos estos puntos te´ oricos delicados generan experimentos muy interesantes (como son por ejemplo los de la llamada “teletransportaci´ on” de estados cu´ anticos) que imp´ ulsan a la tecnologia. Lo que sigue son algunos temas introductivos en la mec´ anica cu´ antica norelativista que sirvieron como base para el curso de maestr´ıa de mec´ anica cu´ antica I en el IFUG durante el semestre Enero-Junio de 1998.
Este curso fue impartido por mi a los estudiantes enlistados, los cuales se encargaron de los temas correspondientes. La responsabilidad del idioma pertenece en gran parte a cada uno de los estudiantes.
Haret C. Rosu
1. LOS POSTULADOS DE LA MC
Los siguientes 6 postulados se pueden considerar como la base de la teor´ıa y los experimentos de la mec´ anica cu´ antica.
P1.- A cualquier cantidad f´ısica L le corresponde un operador Hermitiano ˆ L.
P2.- A cualquier estado (f´ısico) estacionario de un sistema f´ısico le corresponde una funci´ on de onda normalizada ψ ( k ψ k 2 = 1).
P3.- La cantidad f´ısica L puede tomar solo los valores propios del operador ˆ L.
P4.- Lo que se mide es siempre el valor promedio L de la cantidad L en el estado ψ, la cual en teor´ıa es el elemento de matriz diagonal
< f | ˆ L | f >= L.
P5.- Los elementos de matriz de los operadores coordenada cartesiana y momento x b i y p b k ,
calculados entre las funciones de onda f y g satisfacen a las ecuaciones de Hamilton de la mec´ anica cl´ asica en la forma:
d
dt < f | p b i | g >= − < f | ∂ H b
∂ x b
i| g >, dt d < f | x b i | g >=< f | ∂ H b
∂ p b
i| g >
donde H es el operador Hamiltoniano. b
P6.- Los operadores p b i y x b k tienen los siguientes conmutadores:
[ p b i , x b k ] = −i¯hδ ik , [ p b i , p b k ] = 0
[ x b i , x b k ] = 0,
¯
h = h/2π = 1.0546 × 10 −27 erg.seg.
1.- La correspondencia de una cantidad f´ısica L que tiene un an´ alogo cl´ asico L(x i , p k ) se hace sustituyendo x i , p k por x b i p b k . La funci´ on L se supone que se puede desarrollar en serie de potencias. Si la funci´ on no contiene productos x k p k , el operador ˆ L es directamente hermitiano.
Ejemplo:
T = ( P 3
i p 2 i )/2m −→ T = ( b P 3 i b p 2 )/2m.
Si L contiene productos x i p i , ˆ L no es hermitiano, en tal caso L se sustituye por ˆ Λ la parte hermitica de ˆ L ( ˆ Λ es un operador autoadjunto).
Ejemplo:
w(x i , p i ) = P
i p i x i −→ w = 1/2 b P 3
i ( p b i x b i + x b i p b i ).
Resulta tambi´ en que el tiempo no es un operador sino un param´ etro.
2.- (Probabilidad en el espectro discreto y continuo) Si ψ n es funci´ on propia del operador ˆ L, entonces:
L =< n | ˆ L | n >=< n | λ n | n >= λ n < n | n >= δ nn λ n = λ n .
Tambi´ en se puede demostrar que L k = (λ n ) k .
Si la funci´ on φ no es funci´ on propia de ˆ L se usa el desarrollo en un sistema completo de L, entonces: ˆ
Sean las siguientes definiciones:
Lψ ˆ n = λ n ψ n , φ = P
n a n ψ n
combinando estas dos definiciones obtenemos lo siguiente:
Lφ = ˆ P
n λ n a n ψ n .
Con las definiciones pasadas ya podremos calcular los elementos de matriz del operador L.
Entonces:
< φ | ˆ L | φ >= P
n,m a ∗ m a n λ n < m | n >= P
m | a m | 2 λ m , lo cual nos dice que el resultado del experimento es λ m con la probabilidad | a m | 2 . Si el espectro es discreto: de acuerdo con el postulado 4 eso significa que | a m | 2 , o sea, los coeficientes del desarrollo en un sistema completo determinan las probabilidades de observar el valor propio λ n .
Si el espectro es continuo: usando la siguiente definici´ on
φ(τ ) = R
a(λ)ψ(τ, λ)dλ,
se calcularan los elementos de matriz para el espectro continuo
L =< φ | ˆ L | φ >
= R
dτ R
a ∗ (λ)ψ ∗ (τ, λ)dλ R
µa(µ)ψ(τ, µ)dµ
= R R
a ∗ a(µ)µ R
ψ ∗ (τ, λ)ψ(tau, µ)dλdµdτ
= R R
a ∗ (λ)a(µ)µδ(λ − µ)dλdµ
= R
a ∗ (λ)a(λ)λdλ
= R
| a(λ) | 2 λdλ.
En el caso continuo se dice que | a(λ) | 2 es la densidad de probabilidad de observa el valor de λ del espectro continuo. Tambi´ en vale
L =< φ | ˆ L | φ >.
3.- Definici´ on de la derivada con respecto a un operador:
∂F ( ˆ L)
∂ ˆ L = lim →∞ F ( ˆ L+ ˆ I) −F ( ˆ L) .
4.- (Representaci´ on del momento) Cual es la forma concreta de p b 1 , p b 2 y p b 3 , si los argumentos de las funciones de onda son coordenada cartesiana x i .
Vamos a considerar el siguiente conmutador:
[ p b i , x b i 2 ] = p b i x b i 2 − x b i 2 p b i
= p b i x b i x b i − x b i p b i x b i + x b i p b i x b i − x b i x b i p b i
= ( p b i x b i − x b i p b i ) x b i + x b i ( p b i x b i − x b i p b i )
= [ p b i , x b i ] x b i + x b i [ p b i , x b i ]
= −i¯h x b i − i¯h x b i = −2i¯h x b i .
En general se tiene:
b
p i x b i n − x b i n p b i = −ni¯h x b i n−1 .
Entonces para todas las funciones anal´ıticas se tiene lo siguiente:
b
p i ψ(x) − ψ(x) p b i = −i¯h ∂x ∂ψ
i.
Ahora sea p b i φ = f (x 1 , x 2 , x 3 ) la acci´ on de p b i sobre φ(x 1 , x 2 , x 3 ) = 1. Entonces:
b
p i ψ = −i¯h ∂x ∂ψ
1+ f 1 ψ y hay relaciones analogas para x 2 y x 3 . Del conmutador [ p b i , p b k ] = 0 se obtiene ∇ × ~ f = 0, por lo tanto, f i = ∇ i F .
La forma m´ as general de P b i es:
b
p i = −i¯h ∂x ∂
i+ ∂x ∂F
i
, donde F es cualquier funci´ on. La funci´ on F se puede eliminar uti- lizando una transformaci´ on unitaria U b † = exp
¯hiF .
b
p i = U b † ( −i¯h ∂x ∂
i+ ∂x ∂F
i
) U b
= exp
¯hiF ( −i¯h ∂x ∂
i+ ∂x ∂F
i
) exp
−ih¯F
= −i¯h ∂x ∂
iresultando que p b i = −i¯h ∂x ∂
i−→ b p = −i¯h∇.
5.- (C´ alculo de la constante de normalizaci´ on) Cualquier funci´ on de onda ψ(x) ∈ L 2 de vari- able x se puede escribir como:
ψ(x) = R
δ(x − ξ)ψ(ξ)dξ
y considerar la expresi´ on como desarrollo de ψ en las funciones propias del operador co- ordenada ˆ xδ(x − ξ) = ξ(x − ξ). Entonces, | ψ(x) | 2 es la densidad de probabilidad de la coordenada en el estado ψ(x). De aqu´ı resulta la interpretaci´ on de la norma
k ψ(x) k 2 = R
| ψ(x) | 2 dx = 1.
El sistema descrito por la funci´ on ψ(x) debe encontrarse en alg´ un lugar del eje real.
Las funciones propias del operador momento son:
−i¯h ∂x ∂ψ
i= p i ψ, integrandola se obtiene ψ(x i ) = A exp
¯hip
ix
i, x y p tienen espectro continuo y entonces se tiene que hacer la normalizaci´ on con la funci´ on delta.
C´ omo se obtiene la constante de normalizaci´ on?
se puede obtener utilizando las siguientes transformadas de Fourier:
f (k) = R
g(x) exp −ikx dx, g(x) = 2π 1 R
f (k) exp ikx dk.
Tambi´ en se obtiene de la siguiente manera:
Sea la funci´ on de onda no normalizada de la part´ıcula libre φ p (x) = A exp
ipx¯hy la f´ ormula
δ(x − x
0) = 2π 1 R ∞
−∞ exp ik(x −x
0) dx se ve que
R ∞
−∞ φ ∗
p
0(x)φ p (x)dx
= R ∞
−∞ A ∗ exp
−ip0x
¯
h
A exp
ipx¯hdx
= R ∞
−∞ | A | 2 exp
ix(p−p0)
¯
h
dx
= | A | 2 ¯ h R ∞
−∞ exp
ix(p−p0)
¯ h
d x ¯ h
= 2π¯ h | A | 2 δ(p − p
0)
entonces la constante de normalizaci´ on es:
A = √ 1 2π¯ h .
Tambi´ en resulta que las funciones propias del operador momento forman un sistema com- pleto (en el sentido del caso continuo) para las funciones L 2 .
ψ(x) = √ 1 2π¯ h
R a(p) exp
ipxh¯dp
a(p) = √ 1 2π¯ h
R ψ(x) exp
−ipxh¯dx.
Estas f´ ormulas establecen la conexi´ on entre las representaciones x y p.
6.- Representaci´ on p: La forma explic´ıta de los operadores ˆ p i y ˆ x k se puede obtener de las
relaciones de conmutaci´ on, pero tambi´ en usando los n´ ucleos
x(p, β) = U † xU = 2π¯ 1 h R
exp
−ipxh¯x exp
iβxh¯dx
= 2π¯ 1 h R
exp
−ipxh¯( −i¯h ∂β ∂ exp
iβxh¯).
La integral pasada tiene la forma siguiente:
M (λ, λ
0) = R
U † (λ, x) M U (λ b
0, x)dx, y usando ˆ xf = R
x(x, ξ)f (ξ)dξ.
Entonces la acci´ on de ˆ x sobre a(p) ∈ L 2 es:
ˆ xa(p) = R
x(p, β)a(β)dβ
= R
( 2π¯ 1 h R
exp
−ipx¯h( −i¯h ∂β ∂ exp
iβx¯h)dx)a(β)dβ
= −i 2π R R
exp
−ipxh¯∂β ∂ exp
iβx¯ha(β)dxdβ
= −i¯ 2π h R R
exp
−ipxh¯∂β ∂ exp
iβx¯ha(β)d x h ¯ dβ
= −i¯ 2π h R R
exp
ix(βh¯−p)∂β ∂ a(β)d x h ¯ dβ
= −i¯h R ∂a(p)
∂β δ(β − p)dβ = −i¯h ∂a(p) ∂p ,
donde δ(β − p) = 2π 1 R
exp
ix(β−p)h¯d h x ¯ .
El operador momento en la representaci´ on p se caracteriza por el n´ ucleo:
p(p, β) = U b † p U b
= 2π¯ 1 h R
exp
−ipxh¯( −i¯h ∂x ∂ ) exp
iβx¯hdx
= 2π¯ 1 h R
exp
−ipxh¯β exp
iβx¯hdx = βλ(p − β)
resultando que ˆ pa(p) = pa(p).
Lo que pasa con ˆ x y ˆ p es que aunque son hermiticos sobre todas f(x) ∈ L 2 no son hermiticos sobre las funciones propias.
Si ˆ pa(p) = p o a(p) y ˆ x = ˆ x † p = ˆ ˆ p † .
Entonces:
< a | ˆpˆx | a > − < a | ˆxˆp | a >= −i¯h < a | a >
p o [< a | ˆx | a > − < a | ˆx | a >] = −i¯h < a | a >
p o [< a | ˆx | a > − < a | ˆx | a >] = 0
La parte izquierda es cero, mientras tanto la derecha esta indefinida, lo que es un con- tradicci´ on.
7.- (Representaciones de Schr¨ odinger y Heisenberg)
Las ecuaciones de movimiento dadas por el postulado 5 tienen varias interpretaciones, por el hecho de que en la expresi´ on dt d < f | ˆ L | f > uno puede considerar la dependencia del tiempo atribuida completamente a las funciones de onda o completamente a los operadores.
• Para un operador dependiente del tiempo O = b O(t) tenemos: d
ˆ p i = − ∂ H b
∂ ˆ x
i, x ˆ i = ∂ H b
∂ ˆ p
i[ ˆ p, f ] = ˆ pf − f ˆp = −i¯h ∂ ˆ ∂f x
i[ˆ x, f ] = ˆ xf − f ˆx = −i¯h ∂ ˆ ∂f p
ise obtienen las ecuaciones de movimiento de Heisenberg:
ˆ
p i = −i ¯ h [ ˆ p, H], b x ˆ i = −i ¯ h [ˆ x, H]. b
• Si las funciones dependen del tiempo, todav´ıa se puede usar ˆ
p i = −i ¯ h [ ˆ p i , H], porque es consecuencia solo de las relaciones de conmutaci´ b on y en- tonces no dependen de la representaci´ on.
d
dt < f | ˆ p i | g >= −i ¯ h < f | [ˆp, H] b | g >.
Si ahora ˆ p i y H no dependen del tiempo y teniendo en cuenta su hermiticidad se b
obtiene:
( ∂f ∂t , ˆ p i g) + ( ˆ p i f, ∂g ∂t )
= −i h ¯ (f, ˆ p i Hg) + ˆ h ¯ i (f, ˆ H ˆ p i g)
= −i ¯ h (ˆ pf, ˆ Hg) + ¯ h i ( ˆ Hf, ˆ p i g) ( ∂f ∂t + h ¯ i Hf, ˆ ˆ p i g) + ( ˆ p i f, ∂g ∂t − ¯ h i Hg) = 0 ˆ
La ´ ultima relaci´ on se cumple para cualquier pareja de funciones f (x) y g(x) al mo-
mento inicial si cada una satisface la ecuaci´ on
i¯ h ∂ψ ∂t = Hψ.
Esta es la ecuaci´ on de Schr¨ odinger y la descripci´ on del sistema por operadores independientes del tiempo se llama representaci´ on de Schr¨ odinger.
En las dos representaciones la evoluci´ on temporal del sistema se caracteriza por el operador
b
H, el cual se obtiene de la funci´ on de Hamilton de la mec´ anica cl´ asica.
Ejemplo: H de una part´ıcula en potencial U (x b 1 , x 2 , x 3 ) es:
b
H = 2m p ˆ
2+ U (x 1 , x 2 , x 3 ), y en la representaci´ on x es:
b
H = − 2m h ¯
2∇ + U(x 1 , x 2 , x 3 ).
8.- El postulado 5 vale en las representaciones de Schr¨ odinger y de Heisenberg. Por eso, el valor promedio de cualquier observable coincide en las dos representaciones, y entonces, hay una transformada unitaria que pasa de una representaci´ on a otra. Tal transformaci´ on es del tipo ˆ s † = exp
−i ˆ¯hHt. Para pasar a la representaci´ on de Schr¨ odinger hay que usar la transformada de Heisenberg ψ = ˆ s † f con f y ˆ L, y para pasar a la representaci´ on de Heisenberg se usar´ a la transformaci´ on de Schr¨ odinger ˆ Λ = ˆ s † Lˆ ˆ s con ψ y ˆ Λ. Ahora se obtendr´ a la ecuaci´ on de Schr¨ odinger: como en la transformaci´ on ψ = ˆ s † f la funci´ on f no depende del tiempo, derivaremos la transformaci´ on con respecto al tiempo obteniendose lo sig.:
∂ψ
∂t = ∂S ∂t
†f = ∂t ∂ (exp
−ih¯Htb )f = −i
¯
h H exp b
−ih¯Htb f = −i
¯
h H ˆ b s † f = −i h ¯ Hψ. b
por lo tanto, tenemos:
b
Hψ − i¯h ∂ψ ∂t .
Enseguida calcularemos la ecuaci´ on de Heisenberg: poniendo la transformaci´ on de Schr¨ odinger de la siguiente manera ˆ s ˆ Λ ˆ s † = ˆ L y derivandola con respecto al tiempo se obtiene la ecuaci´ on de Heisenberg
∂ ˆ L
∂t = ∂ ˆ ∂t s Λ ˆ ˆ s † + ˆ s ˆ Λ ∂ ˆ ∂t s
†= ¯ h i H exp b
iH tb
h¯Λ ˆ ˆ s † − i
¯
h ˆ sˆ λ exp
−i ˆh¯H tH b
= h ¯ i ( H ˆ b s ˆ Λ ˆ s † − ˆsˆΛ ˆ s † H) = b h ¯ i ( H ˆ b L − ˆ L H) = b h ¯ i [ H, ˆ b L].
Por lo tanto,tenemos:
∂ ˆ L
∂t = ¯ h i [ H, ˆ b L].
Tambi´ en la ecuaci´ on de Heisenberg se puede escribir de la sig. manera:
∂ ˆ L
∂t = ¯ h i s[ ˆ H, ˆ b Λ] ˆ s † .
A ˆ L se le conoce como la integral de movimiento si dt d < ψ | ˆ L | ψ >= 0 y esta caracteri- zada por los siguentes conmutadores:
[ H, ˆ b L] = 0, [ H, ˆ b Λ] = 0.
9.- Los estados de un sistema descrito por las funciones propias de H se llaman estados esta- b
cionarios del sistema, y al conjunto de valores propios correspondientes se les llaman espec- tro de energ´ıa (espectro energ´ etico) del sistema. En tal caso la ecuaci´ on de Schr¨ odinger es :
i¯ h ∂ψ ∂t
n= E n ψ n = Hψ b n . Y su soluci´ on es: ψ n (x, t) = exp
−iEnt¯hφ n (x).
• La probabilidad es la siguiente:
δ(x) =| ψ n (x, t) | 2 =| exp
−iEnt¯hφ n (x) | 2
= exp
iEnth¯exp
−iEnth¯| φ n (x) | 2 = | φ n (x) | 2 . Resultando que la probabilidad es constante en el tiempo.
• En los estados estacionarios, el valor promedio de cualquier conmutador de tipo [ H, ˆ b A] es cero, donde ˆ A es cualquier operador:
< n | H ˆ b A − ˆ A H b | n >=< n | H ˆ b A | n > − < n | ˆ A H b | n >
=< n | E n A ˆ | n > − < n | ˆ AE n | n >
= E n < n | ˆ A | n > −E n < n | ˆ A | n >= 0.
• Teorema del virial en mec´anica cu´antica.- Si H es el operador Hamiltoniano de una b
part´ıcula en un campo U (r) y usando A = 1/2 ˆ P 3
i=1 ( ˆ p i x ˆ i − ˆ x i p ˆ i ) se obtiene lo siguiente:
< ψ | [ ˆ A, H] b | ψ >= 0 =< ψ | ˆ A H b − H ˆ b A | ψ >
= P 3
i=1 < ψ | ˆ p i x ˆ i H b − H ˆ b p i x ˆ i | ψ >
= P 3
i=1 < ψ | [ H, ˆ b x i ] ˆ p i + ˆ x i [ H, ˆ b p i ] | ψ >.
usando varias veces los conmutadores y ˆ p i = −i¯h∆, ˆ H = T +U (r), se tiene entonces: b
< ψ | [ ˆ A, H] b | ψ >= 0
= −i¯h(2 < ψ | T b | ψ > − < ψ | ~r · ∇U(r) | ψ >).
Que es el teorema del virial. Si el potencial es U (r) = U o r n , entonces tenemos el teorema del virial como en mec´ anica cl´ asica, s´ olo que para valores promedios
T = n 2 U .
• Para un Hamiltoniano H = b − 2m ¯ h
2∇ + U(r) y [~r, H] = −i¯ m h ~ p, y calculando los ele- mentos de matriz se tiene:
(E k − E n ) < n | ~r | k >= i¯ m h < n | ˆp | k >.
10.- (Densidad de corriente de probabilidad) La siguiente integral :
R | ψ n (x) | 2 dx = 1,
es la normalizaci´ on de una funci´ on propia de un espectro discreto en la representaci´ on de coordenada, y ocurre como una condici´ on de movimiento en una regi´ on finita. Por eso, los estados del espectro discreto se llaman estados ligados.
Para las funciones propias del espectro continuo ψ λ (x) no se puede dar de manera directa una interpretaci´ on de probabilidad.
Supongamos una funci´ on dada φ ∈ L 2 , la cual la escribimos como combinaci´ on lineal de funciones propias en el continuo:
φ = R
a(λ)ψ λ (x)dx.
Se dice que φ corresponde a un movimiento infinito.
En muchos casos, la funci´ on a(λ) es diferente de cero solo en una vecindad de un punto λ = λ o . En este caso φ se le conoce como paquete de onda(s).
Vamos a calcular el cambio en el tiempo de la probabilidad de encontrar el sistema en el volumen Ω.
P = R
Ω | ψ(x, t) | 2 dx = R
Ω ψ ∗ (x, t)ψ(x, t)dx.
Derivando la integral con respecto a el tiempo tenemos:
dP dt = R
Ω (ψ ∂ψ ∂t
∗+ ψ ∗ ∂ψ ∂t )dx.
Utilizando la ecuaci´ on de Schr¨ odinger del lado derecho de la integral se tiene lo siguiente:
dP dt = ¯ h i R
Ω (ψ ˆ Hψ ∗ − ψ ∗ Hψ)dx. ˆ
Usando la identidad f ∇g−g∇f = div[(f)grad(g)−(g)grad(f)] y la ecuaci´on de Schr¨odinger de la forma siguiente:
Hψ = ˆ 2m ¯ h
2∇ψ.
Sustituyendo lo anterior en la integral se obtiene:
dP dt = ¯ h i R
Ω [ψ( − 2m h ¯
2∇ψ ∗ ) − ψ ∗ ( −¯ 2m h
2∇ψ)]dx
= − R
Ω i¯ h
2m (ψ ∇ψ ∗ − ψ ∗ ∇ψ)dx
= − R
Ω div 2m i¯ h (ψ ∇ψ ∗ − ψ ∗ ∇ψ)dx.
Usando el teorema de la divergencia para transformar la integral de volumen en una de superficie, entonces tenemos lo siguiente:
dP
dt = − H i¯ h
2m (ψ ∇ψ ∗ − ψ ∗ ∇ψ)dx.
A la cantidad ~ J (ψ) = 2m i¯ h (ψ ∇ψ ∗ − ψ ∗ ∇ψ) se le conoce como densidad de corriente de probabilidad y de inmediato se obtiene una ecuaci´ on de continuidad,
dρ
dt + div( ~ J ) = 0.
• Si ψ(x) = AR(x), donde R(x) es funci´on real, entonces: ~ J (ψ) = 0.
• Para las funciones propias del impulso ψ(x) = (2π¯ h) 1
3/2 exp
i~p~¯hxse obtiene:
J (ψ) = 2m i¯ h ( (2π¯ h) 1
3/2 exp
i~p~h¯x( h(2π¯ ¯ i~ h) p
3/2 exp
−i~h¯p~x)
−( (2π¯ h) 1
3/2 exp
−i~¯hp~xh(2π¯ ¯ i~ h) p
3/2 exp
i¯h~h¯p~x))
= 2m i¯ h ( − ¯ h(2π¯ 2i~ p h)
3) = m(2π¯ p ~ h)
3,
lo cual nos dice que no depende de la coordenada la densidad de probabilidad.
11.- (Operador de transporte espacial) Si H es invariante ante translaciones de cualquier vector b
~ a,
b
H(~ r + ~ a) = H ~ b (r).
Entonces, hay un T (~ b a) unitario T b † (~ a) H(~ b r) T (~ b a) = H(~ b r + ~ a).
Por la conmutaci´ on de las translaciones
b
T (~ a) T (~b) = b T (~b) b T (~ b a) = T (~ b a + ~b), resulta que T tiene la forma b T = exp b iˆ ka , donde, ˆ k = h p ¯ ˆ .
En el caso infinitesimal:
b
T (δ~ a) H b T (δ~ b a) ≈ (ˆ I + iˆ kδ~ a) H( ˆ b I − iˆkδ~a),
b
H(~ r) + i[ ˆ K, H]δ~ b a = H(~ b r) + ( ∇ H)δ~ b a.
Tambi´ en [ ˆ p, H] = 0, donde ˆ b p es una integral de movimiento. El sistema tiene fun- ciones de onda de la forma ψ(~ p, ~ r) = 1
(2π¯ h)
3/2 exp
i~p~¯hry la transformada unitaria hace que exp
i~p~¯haψ(~ r) = ψ(~ r + ~ a).
El operador de transporte espacial T b † = exp
−i~¯hp~aes an´ alogo al ˆ
s † = exp
−i ˆ¯hHtel operador de transporte temporal.
12.- Ejemplo: Si H es invariante con respecto a una traslaci´ b on discreta (por ejemplo en una red cristalina) H(~ b r + ~ a) = H(~ b r) donde ~ a = P
i a ~ i n i , n i ∈ N y a i son los vectores b´ aricos.
Entonces:
b
H(~ r)ψ(~ r) = Eψ(~ r),
b
H(~ r + ~ a)ψ(~ r + ~ a) = Eψ(~ r + ~ a) = ˆ H(~ r)ψ(~ r + ~ a).
Resultando que ψ(~ r) y ψ(~ r + ~ a) son funciones de onda para el mismo valor propio de H. b
La relaci´ on entre ψ(~ r) y ψ(~ r + ~ a) se puede buscar en la forma ψ(~ r + ~ a) = ˆ c(~ a)ψ(~ r) donde ˆ
c(~ a) es una matriz gxg (g es el grado de degeneraci´ on del nivel E). Dos matrices tipo c, ˆ
c(~ a) y ˆ c(~b) conmutan y entonces son diagonalizables en el mismo tiempo.
Adem´ as para los elementos diagonales hay de tipo
c ii (~ a)c ii (~b) = c ii (~ a + ~b), donde i=1,2,....,,g. La soluci´ on de esta ecuaci´ on es del tipo c ii (a) = exp ik
ia resulta que ψ k (~ r) = U k (~ r) exp i~ k~ a donde ~ k es un vector real cualquiera, y la funci´ on U k (~ r) es periodica con periodo ~ a, entonces: U k (~ r + ~ a) = U k (~ r).
La aseveraci´ on de que las funciones propias de un ˆ H periodico cristalino ˆ H(~ r + ~ a) = ˆ H(~ r) se pueden escribir ψ k (~ r) = U k (~ r) exp i~ k~ a con U k (~ r +~ a) = U k (~ r) se llama teorema de Bloch.
En el caso continuo, U k debe ser constante, porque la constante es la ´ unica funci´ on peri- odica para cualquier ~ a.
El vector ~ p = ¯ h~ k se llama cuasi-impulso (analog´ıa con el caso continuo). El vector ~ k no esta determinado de manera univoca, porque se le puede juntar cualquier vector ~ g para el cual ga = 2πn donde n ∈ N.
El vector ~ g se puede escribir ~ g = P 3
i=1 b ~ i m i donde m i son n´ umeros enteros y b i estan
dados por
b ~ i = 2π a ~ a ˆ
j× ~ a
ki