UNED EL FORMALISMO Y SU INTERPRETACIÓN

Tema 1

UNED
1.1. CONCEPTOS FUNDAMENTALES: ESTADOS Y OBSERVABLES

UNED
1.1.1. El espacio lineal de los estados
• En mecánica cuántica los estados dinámicos de un sistema físico están representados por vectores
en un espacio de Hilbert E denominado espacio de Hilbert de los estados [del sistema]. En
concreto:

POSTULADO 1 DE LA MECÁNICA CUÁNTICA:

Dado un sistema físico, cualquier estado de dicho sistema se representa por un vector

UNED
normalizado |ψi de un espacio de Hilbert E. A dicho vector normalizado se le denomina
vector o función de estado y toda la información relativa al estado está contenida en
el vector de estado.
El espacio de Hilbert E es, por tanto, el espacio de los estados del sistema. La evolución
dinámica del estado se plasmará en la correspondiente evolución temporal del vector de
estado, por lo que |ψi dependerá del tiempo, lo que representaremos como |ψ (t)i. Dos
vectores de estados que dieran en una constante multiplicativa (aunque sea

UNED
dependiente del tiempo) representan el mismo estado físico:

|ψ (t)i y |φ (t)i = g (t) |ψ (t)i con g (t) ∈ C representan el mismo estado.

Observe la notación (de Dirac) que hemos escogido para designar genéricamente la función de
estado.
Por otra parte, el principio de superposición se da por supuesto al dotar al espacio de los

UNED
estados de estructura de espacio de Hilbert.
Algunos ejemplos básicos son:

a) El estado de una partícula de masa m sin espín que se mueve en el espacio R3 , que puede
representarse mediante una función compleja ψ (r, t) de cuadrado integrable:

|ψ (t)i → ψ (r, t)

UNED
L2 R3


El espacio de los estados sería , que es el conjunto de funciones complejas denidas en
R3 tales que
Z
|ψ (r)|2 d3 r ∈ R.
R3

La condición de normalización del estado |ψ (t)i será

Z
|ψ (r, t)|2 d3 r = 1.
R3

b) El estado de espín de una partícula con espín 1/2 está representado por un vector de C2 ,
 
α (t)
|ψ (t)i → ,
β (t)

1
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

con α (t) y β (t) números complejos. La condición de normalización del estado es

 
α (t)
∗ ∗
(α (t) , β (t)) = |α (t)|2 + |β (t)|2 = 1.

UNED
β (t)

c) El estado de una partícula de masa m con espín s =
1/2 está representado por un
espinor, formalmente un vector del espacio de Hilbert L
2 R3 ⊗ C2 ,

 
+ (r, t)
|ψ (t)i →
ψ − (r, t)

UNED
con la condición de normalización
Z    ψ (r, t)  Z  2  2 
3 ∗ ∗
d r + (r, t) , ψ − (r, t)
+
= d3 r  + (r, t)
 + − (r, t)
 = 1.
R3 ψ − (r, t) R3

UNED
1.1.2. Representación de observables
• En mecánica cuántica, los observables (magnitudes físicas medibles) están representados por
operadores lineales autoadjuntos denidos en el espacio de Hilbert de los estados E .1 En la
siguiente sección recordaremos las propiedades matemáticas más importantes de los operadores lineales
en un espacio de Hilbert. Así:

UNED
POSTULADO 2 DE LA MECÁNICA CUÁNTICA:
Dado un sistema físico y su correspondiente espacio de Hilbert de los estados E, cada
observable A de dicho sistema se representa mediante un operador lineal autoadjunto Â
que actúa en dicho espacio de Hilbert:

A →  donde  |ψ (t)i ∈ E.

Si el observable depende explícitamente del tiempo, también lo hará su operador

UNED
representativo. Esto es, la forma especíca del operador  dependerá paramétricamente
del tiempo:
A (t) → Â (t) .

• Como es costumbre en mecánica cuántica usaremos las siguientes metonimias:

estado ≡ función de estado ≡ vector de estado

UNED
observable ≡ operador autadjunto representativo

y así diremos sea el estado |ψ (t)i  o dado el observable   en lugar de sea un estado representado
por |ψ (t)i o dado el observable A representado por el operador Â.

EJERCICIO 1.1. En un instante dado de tiempo, el estado cuántico de un electrón que

se mueve en una dimensión está representado por el espinor

x2 x2
     
ψ + (r) x
|ψi = Nψ con ψ + (r) = exp − 2 , ψ − (r) = exp − 2
ψ − (r) 2α α 2α

1
En algunos libros se utiliza el término hermitiano. Hay diferencias matemáticas entre un operador simétrico y un operador
autoadjunto en las que el dominio de denición del operador es importante. Intentaremos evitar este tipo de discusiones, aunque
son importantes en presentaciones rigurosas del formalismo.

2
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

siendo α una constante positiva con dimensiones de longitud y Nψ una constante de

normalización. En esta representación la componente z del espín del electrón y el momento
lineal están representados por los operadores

UNED
 
∂
 −i~ ∂x 0
   
~/2 0 1 0 ∂
Sbz = p̂x =  ∂  = −i~

0 −~/2 0 1 ∂x
0 −i~
∂x

a) Obtenga la constante de normalización Nψ .

b) Evalúe la actuación de los operadores Sz y p̂x sobre el espinor |ψi.

UNED
b
Solución:
p √
a) Nψ = 2/(3α π).
El apartado b) es directo.

UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC
• En esta sección se presenta un resumen de los aspectos básicos del formalimo matemático subyacente
a la mecánica cuántica. El estudiante debe notar que muchos de los conceptos de este apartado
han sido materia de estudio en asignaturas cursadas con anterioridad. Puesto que el tiempo es
matemáticamente un parámetro asociado a la evolución temporal, no haremos ninguna mención a
la dependencia temporal en esta sección, que será objeto de la sección 1.4.

UNED
1.2.1. El espacio de Hilbert de los estados
Dado un espacio de Hilbert de los estados
estado, vector ket o, simplemente, ket.
E, cualquier elemento del mismo se denomina vector de

UNED
Como hemos visto, se representa por el símbolo | i, dentro del que se pone algo que permita distinguir
ese ket de todos los demás. Así, podemos escribir |ui si el símbolo u es suciente para distinguir ese
ket de cualquier otro, o una serie de índices característicos. Por ejemplo, para una partícula sometida
a una fuerza central los estados estacionarios quedarán determinados por tres números cuánticos
(n, l, ml ), por lo que el ket representativo del estado podría escribirse como |n, l, ml i.

• Tal y como hemos mencionado en la sección anterior, y dado que conocemos el concepto de función
de onda, podemos denir el espacio de los estados de una partícula sin espín asociando a cada función

UNED
de cuadrado integrable ψ (r) un vector ket |ψi del espacio de los estados.
Lo importante en esta asignación es que ha desaparecido la dependencia en el vector posición r al
escribir un ket: el símbolo ψ aparece en |ψi sólo para recordar a qué función de onda está asociado el
ket. Esta será una idea central que quedará aclarada de manera denitiva un poco más adelante.

• Como E es un espacio de Hilbert, los kets forman un espacio vectorial lineal y cualquier
combinación lineal con coecientes complejos de varios kets es también otro ket.
Tenemos completa libertad a la hora de establecer los índices que simbolizan un ket, por lo que nada
impide que tengamos un conjunto de kets dependientes de un parámetro discreto n y otro conjunto
de kets dependientes de un parámetro contínuo µ.
De esta forma, la combinación lineal más general entre kets será una suma sobre valores discretos
n de los índices y una integración sobre sus valores continuos µ (que en nuestro ejemplo supondremos
limitados al intervalo [a, b]), esto es:

3
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

X Z b
|Ψi = cn |ni + dµ c(µ) |µi
a

UNED
n

donde las cn indican un conjunto discreto de coecientes complejos y las c(µ) un conjunto continuo de
coecientes también complejos. Desde un punto de vista formal habría que tener cuidado en cómo se
construye esta combinación lineal generalizada para que el objeto resultante |Ψi pertenezca realmente
al espacio de Hilbert E .

• Puesto que E es un espacio de Hilbert, en él está denido un producto escalar mediante el cual
asociamos a cada pareja de kets |ui , |wi un número complejo al que denotaremos momentáneamente

UNED
por (|ui , |wi). Las propiedades que ha de cumplir el producto escalar son:

i) (|ui , |wi) = (|wi , |ui)∗

ii) Para cualquier par de complejos λ1 , λ2 :
(|ui , λ1 |w1 i + λ2 |w2 i) = λ1 (|ui , |w1 i) + λ2 (|ui , |w2 i)
iii) Para cualquier par de complejos λ1 , λ2 :
(λ1 |u1 i + λ2 |u2 i , |wi) = λ∗1 (|u1 i , |wi) + λ∗2 (|u2 i , |wi)

UNED
iv) (|ui , |ui) ≥ 0 y, además, (|ui , |ui) = 0 ⇔ |ui = |nuli donde |nuli es el vector cero del Hilbert.

• A su vez, denimos la norma de un ket |ui como la raíz cuadrada del producto escalar del
ket consigo mismo. La propiedad iv) del producto escalar garantiza la bondad de la denición.
Momentáneamente denotaremos dicha norma como
p
k|uik = (|ui , |ui)

UNED
y k|uik será cero si y solo si |ui = |nuli.2
Algunas propiedades de la norma son:

i) |(|ui , |wi)| ≤ k|uik k|wik (desigualdad de Schwarz)

ii) Para cualquier complejo λ: kλ |uik = |λ| k|uik

iii) | k|uik − k|wik | ≤ k|ui ± |wik ≤ k|uik + k|wik (desigualdad triangular)

iv) k|uik ≥ 0 y, además, k|uik = 0 ⇔ |ui = |nuli donde |nuli es el vector cero del Hilbert.

UNED
• Finalmente, dados dos kets |ui , |wi denimos la distancia entre ellos como la norma de su
diferencia k|ui − |wik. Esta distancia denida a partir del producto escalar impone de manera
automática una métrica en el espacio de Hilbert y las propiedades topológicas que determinan su
carácter Hilbertiano se verican sobre esta métrica. En particular, recuerde que el espacio de Hilbert
es topológicamente cerrado (toda sucesión de Cauchy converge en el Hibert). Esto último garantiza la
convergencia de muchas expresiones de importancia en mecánica cuántica.

UNED
1.2.2. Funcionales lineales, espacio dual y vectores bra
• Consideremos el espacio de Hilbert de los estados E. Denimos un funcional lineal χ, también
llamado forma lineal, como una aplicación que asocia un número complejo χ (|ui) a los kets |ui del
espacio E, con la propiedad de que la aplicación sea lineal, esto es

χ : E → C tal que χ (λ1 |u1 i + λ2 |u2 i) = λ1 χ (|u1 i) + λ2 χ (|u2 i) ,

2
Observe que no designamos al vector cero del Hilbert como |0i, ya que en muchos casos usaremos ese símbolo para denotar
a un vector distinto de cero que está caracterizado por un índice de asignación que es igual a 0.

4
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

siendo C el cuerpo de los números complejos.

Deniendo la suma y el producto por un escalar de los funcionales lineales como

UNED
(λ1 χ1 + λ2 χ2 ) |ui = λ1 χ1 |ui + λ2 χ2 |ui

es fácil probar que el conjunto de todos los funcionales lineales denidos en E tiene estructura de
espacio vectorial, al que llamaremos espacio dual E ∗ del espacio E .
Cualquier elemento de E∗ se denominará covector, vector bra, o simplemente bra y lo
representaremos con el símbolo h |, dentro del que se pone algo que permita distinguir ese bra de
todos los demás. Así, podemos escribir hχ| si el símbolo χ es suciente para distinguir ese funcional

UNED
de cualquier otro del espacio E ∗ .3 De acuerdo con esta notación, en lugar de escribir χ (|ui), el escalar
complejo resultado de la actuación del bra hχ| sobre un ket cualquiera del Hilbert |ui se escribirá como
hχ|ui. Formalmente,

 
hχ| : E → C tal que hχ| λ1 |u1 i + λ2 |u2 i = λ1 hχ|u1 i + λ2 hχ|u2 i .

Nótese que la notación bra-ket (bra: vector del dual, ket: vector del Hilbert) proviene del símbolo

UNED
hχ|ui, pues bracket tiene (en inglés) el signicado de paréntesis.

• Un resultado central es el siguiente: todo ket |ui del Hilbert dene un covector hu| ∈ E ∗ a
través del producto escalar, al que llamaremos forma dual del ket |ui o vector bra conjugado:

|ui → hu| ∈ E ∗ tal que hu|wi = (|ui , |wi) para todo |wi ∈ E. (1.1)

Así, el producto escalar (|ui , |wi) puede interpretarse también como la actuación del covector hu|

UNED
conjugado de |ui sobre el ket |wi.
Esta relación entre un ket |vi y su bra hv| es, en base a las propiedades antes denidas del producto
escalar, una relación antilineal:

λ1 |v1 i + λ2 |v2 i se corresponde con λ∗1 hv1 | + λ∗2 hv2 | .

En esta notación de brackets (o notación de Dirac), siλ es un número complejo y |ui un ket

UNED
4
cualquiera, el ket λ |ui se suele escribir muchas veces como |λui. De esta forma, el bra asociado al ket
∗
|λui será hλu| = λ hu|, pues la correspondencia entre bras y kets es antilineal. Con esta notación las
cuatro propiedades del producto escalar serán:

i) hu|wi = hw|ui∗

ii) Para cualquier par de complejos λ1 , λ2 : hu|λ1 w1 + λ2 w2 i = λ1 hu|w1 i + λ2 hu|w2 i

UNED
iii) Para cualquier par de complejos λ1 , λ2 : hλ1 u1 + λ2 u2 |wi = λ∗1 hu1 |wi + λ∗2 hu2 |wi

iv) hu|ui ≥ 0 y, además, hu|ui = 0 ⇔ |ui = |nuli donde |nuli es el vector cero del Hilbert.

Sin embargo no todos los bras tienen un ket asociado, esto es, hay covectores hχ| para los
cuales no existe un estado |χi del espacio de Hilbert para el que se cumpla la relación (1.1). Así, dado
un estado físico podemos representarlo por su ket |ui o por su bra hu| teniendo en cuenta que el espacio
dual E∗ es más amplio que el Hilbert E.

3
En caso de que usemos dobles índices, el bra asociado a |l, mi será hl, m| (sin cambiar el orden de índices).
4
Esto parece complicado al principio, pero una vez acostumbrado a la notación resulta especialmente práctico.

5
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.2.3. Bases ortonormales

5
• Consideremos un conjunto numerable B = {|en i} ⊂ E cuyo cardinal card (B) puede ser innito o

UNED
no. Decimos que dicho conjunto es ortonormal si

hen |em i = δ n,m

donde 
0 si n 6= m
δ n,m =
1 si n = m
es la delta de Kronecker.

UNED
Análogamente, un conjunto numerable {|un i} ⊂ E es ortogonal si

hun |um i = hun |un i δ n,m ,

con lo que es evidente que todo conjunto ortogonal se puede transformar en uno ortonormal
simplemente haciendo la transformación

1
|un i =⇒ |en i = p |un i ,

UNED
hun |un i

esto es, normalizando cada uno de sus elementos.

• Un conjunto ortonormal B = {|en i} ⊂ E es una base ortonormal del espacio de Hilbert o

conjunto completo si se cumple que todo |ui ∈ E puede escribirse como
X
|ui = un |en i un ∈ C, (1.2)

UNED
n

donde la suma está extendida a todos los valores del índice discreto n. Si card (B) = ℵ0 la anterior
igualdad debe entenderse en el sentido de un límite de una sucesión pero, gracias al carácter Hilbertiano
del espacio de los estados, dicha sucesión converge si

X
|un |2 ∈ R+ .
n

UNED
A los números complejos {un } se les denomina coordenadas del ket |ui en la base B.
• La dimensión del espacio de Hilbert es igual al cardinal de una cualquiera de sus bases.6 Si
card (B) = N es nito tendremos un espacio de Hilbert de dimensión nita N . Si card (B)
es innito diremos que el espacio de Hilbert tiene dimensión innita y que es separable.
Pueden existir espacios de Hilbert que no admitan bases ortonormales numerables (espacios no
separables), pero carecerán de interés para nosotros. Naturalmente, la dimensión del espacio de los
estados dependerá de las propiedades físicas del sistema que queramos describir.

UNED
• Observe que estamos haciendo un tratamiento conscientemente abstracto. Escogida una base
ortonormal B suponemos que cada elemento de la base representa un estado del sistema bien denido
y, como consecuencia, podemos describir cualquier estado |ui en términos de las coordenadas en dicha
base. De esta forma, una base dene una representación en términos de coordenadas de los
estados del Hilbert y es, entonces, el puente natural entre el tratamiento matemático abstracto y
la realidad física que queremos describir. Volveremos a este punto más adelante.

• Si multiplicamos (1.2) escalarmente por el bra hem | tenemos el importante resultado:

um = hem |ui

5
En notación de Cantor: card (B) = ℵ0 .
6
Un resultado central del Álgebra Lineal nos dice que todas las bases ortonormales tienen el mismo número de elementos.

6
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

y entonces podemos escribir

!
X X X X

UNED
|ui = un |en i = hen |ui |en i = |en i hen |ui = |en i hen | |ui . (1.3)
n n n n

Por lo tanto, dada una base ortonormal tenemos que

X
1= |en i hen | . (1.4)
n

La igualdad (1.4) recibe el nombre de relación de cierre o descomposición de la identidad

UNED
asociada a la base ortonormal B.
• Puesto que todo ket |ui se puede representar mediante sus coordenadas {un } en una base ortonormal
B , a partir de las anteriores expresiones tenemos las siguientes propiedades:
X X X
k|uik2 = hu|ui = |un |2 hu|wi = u∗n wn hu| = u∗n hen |
n n n
si |wi = |ui + |vi entonces wn = un + vn (1.5)

UNED
si |wi = λ |ui entonces wn = λun .

Como consecuencia, todo espacio de Hilbert de dimensión nita N es isomorfo al espacio

CN , donde los elementos de CN son los vectores columna o N -uplas (CN )∗ son
y las formas del dual
los vectores la :
 
u1

UNED
 u2 
|ui =  .  ; hu| = (u∗1 , u∗2 , ..., u∗N ) con un ∈ C
 
.
 . 
uN
y donde el producto escalar es, naturalmente,

 
w1
 w2  XN

UNED
hu|wi = (u∗1 , u∗2 , ..., u∗N )  .  = u∗ wn .
 
 ..  n=1 n
wN

Si la dimensión de Hilbert es innita, E es isomorfo a C∞ , donde los elementos de C∞ y (C∞ )∗ son

 
u1 ∞
X
|ui =  u2  ; hu| = (u∗1 , u∗2 , ...) con un ∈ C y tal que |un |2 ∈ R+
 

UNED
.
. n=1
.

y donde el producto escalar se dene de igual manera que en CN . Sin embargo (esto tendrá su
importancia), obsérvese que el covector de (C∞ )∗ dado por hχ| = (1, 1, 1, ...) no tiene un ket de C∞
asociado, ya que
 
1
 1 
“ |χi ” =  ∈/ C∞ .
 
 1 
.
.
.

EJERCICIO 1.2. Demuestre las cinco relaciones dadas en (1.5).

Solución: Es inmediata aplicando la relación de cierre (1.4)

7
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

• El concepto de base ortonormal nos servirá para detallar algunos aspectos relacionados con los bras
hχ| que no sonPconjugados de un ket del Hilbert de los estados. Pensemos en primer lugar en |ui ∈ E
tal que |ui = n un |en i. Inmediatamente (esto puede servir de guía para el anterior EJERCICIO 1.2)

UNED
X X X
hu| = hu| |en i hen | = hu|en i hen | = u∗n hen | ,
n n n

y el dominio de la forma lineal hu| es todo el espacio de Hilbert de los estados ya que, por denición
de producto escalar
hu|wi ∈ C para todo |wi ∈ E.

UNED
Supongamos ahora que hχ| es un covector tal que |χi ∈
/ E. Hasta ahora no hemos dicho nada de su
dominio de denición, pero vamos a imponer que dicho dominio es denso en el espacio de Hilbert.
Esto quiere decir que existe una base ortonormal B = {|en i} tal que

.
hχ|en i = χ∗n ∈ C para todo n

(el usar el complejo conjugado χ∗n no es casual), lo que nos permite escribir sin ningún problema

UNED
X X X
hχ| = hχ| |en i hen | = hχ|en i hen | = χ∗n hen | ∈ E ∗ . (1.6)
n n n

Así, para cualquier |ui ∈ E tendríamos

!
X X X
hχ|ui = χ∗n hen | |ui = χ∗n hen |ui = χ∗n un .
n n n

UNED
Si |ui formase parte del dominio de hχ| la anterior expresión convergería, pero pueden existir estados
|ui para los cuales esto no suceda. Por ejemplo, si consideramos el covector caracterizado por χ∗n = 1
para todo n en nuestra base B y el ket normalizado

√
6X1
|ui = |en i
π n n

UNED
tenemos que
√
6X1
hχ|en i = 1 ∈ C , pero hχ|ui = =∞
π n n

y este |ui no pertenece al dominio de hχ|. hχ| está perfectamente denido

Observe entonces que el bra
usando (1.6) a sabiendas de que dicha expresión actuando sobre un ket |ui del dominio de hχ| daría
una cantidad nita. La ecuación (1.6) nos permitiría también denir un objeto |χi tal que

UNED
X
|χi ≡ χn |en i ∈
/E
n

pero que formalmente pertenece al dominio de denición de todos los bras hu| tales que |ui pertenece
al dominio de hχ|:
hu|χi = hχ|ui∗ ∈ C.
Esto puede parecer un galimatías, pero es la manera más sencilla de denir los kets no normalizables
que jugarán un papel central en la interpretación del espectro continuo de operadores autoadjuntos.
En efecto, dado un bra hχ| ∈ E ∗ , denimos su norma como

s s
X 2
X
khχ|k = |hχ|en i| = |χn |2
n n

8
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

siendo immediato ver que si khχ|k es nita, entonces |χi ∈ E y

.
khχ|k = k|χik = kχk

UNED
por lo que no es necesario distinguir entre la norma de un ket y la de su bra (forma dual) asociado. En
caso contrario, el bra hχ| será no normalizable y el objeto |χi (el ket no normalizable) no pertenece
al espacio de Hilbert pero queda unívocamente denido a partir de los números complejos χn .
Observe que lo importante aquí no es tanto que el ket o el bra converjan, sino que lo hagan las
expresiones en las que aparecen productos escalares. De hecho, en mecánica cuántica buena parte
de la información con sentido físico se extraerá a partir de productos escalares, lo que nos permitirá

UNED
cierta exibilidad a la hora de tratar con objetos no normalizables (bras que tienen cabida directa en
la teoría o kets que, aunque de manera algo forzada, se pueden usar de manera bastante liberal).

• Al igual que deníamos las relaciones de ortogonalidad/ortonormalidad en el espacio de los kets

(el Hilbert de los estados), podemos extenderlas al espacio dual de los bras, aunque con un rango de
aplicabilidad mayor ya que incluiremos bras no normalizables. Así, dados dos covectores hχ| y hκ|,
diremos que son ortogonales si para una base ortonormal

hχ|en i hκ|en i∗
X X
χ∗n κn

UNED
= “=” hχ|κi = 0,
n n

donde hemos introducido el ket |κi, puede que no perteneciente a E pero sí al dominio de hχ|. La
anterior igualdad es, naturalmente, independiente de la base escogida (lo que es evidente tras introducir
la actuación bra-ket hχ|κi).

UNED
1.2.4. La transformada de Fourier y la delta de Dirac
• Veamos dos ejemplos aclaratorios en el espacio de Hilbert L2 R3 . Denamos la familia de covectores

hθp |, denidos por tres parámetros continuos px , py , pz tales que su actuación sobre un ket |φi del
Hilbert es  
ip · r
Z
1 3
hθp |φi = d r exp − φ (r)
(2π~)3/2 R3

UNED
~
(la introducción de la constante de Planck racionalizada ~ es consistente si r tiene dimensiones físicas
de posición y p de momento). La actuación de hθp | sobre una función |φi no es otra cosa que

∗ la
transformada de Fourier Fp [φ], y cumple las condiciones que garantizan su pertenencia a L2 R3 (es
lineal y además su domino es denso). Observe que podemos escribir

 
ip · r
Z
3 ∗ 1
hθp |φi = d r θp (r) φ (r) con θp (r) = exp + . (1.7)
(2π~)3/2

UNED
R3 ~

/ L 2 R3


Pero |θp i ∈ como es inmediato comprobar. A este ket |θp i no normalizable lo llamaremos
onda plana con momento p.

• Igualmente denamos el bra hδ a |, con a ∈ R3 un vector de posición, cuya regla de actuación es

hδ a |φi = φ (a) .

L2 R 3


Dado ya que los elementos de son clases de funciones todas ellas iguales entre sí salvo en
un conjunto de medida nula, en rigor tendríamos que haber escrito algo más complicado, como por
ejemplo,
!
(r − a)2
Z
1 3
hδ a |φi = lı́m d r exp − φ (r) .
σ→0 π 3/2 σ 3 σ2

9
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

∗
Puede también comprobarse que hδ a | es un covector de L2 R3 , pero el ket asociado al que llamaremos
delta de Dirac centrada en a,

UNED
!
. 1 (r − a)2
|δ a i = δ (r − a) = lı́m exp − ,
σ→0 π 3/2 σ 3 σ2

no es una función normalizable. A pesar de ello y siguiendo el mismo espíritu que en (1.7), podemos
escribir Z
hδ a |φi = d3 r δ (r − a)∗ φ (r) = φ (a) . (1.8)
R3

UNED
Note que δ (r − a) es real, por lo que nos podríamos haber ahorrado el complejo conjugado.

• La forma más general de denir la delta de Dirac tridimensional,

δ (r − a) = δ (x − ax ) δ (y − ay ) δ (z − az ) ,

es a partir de la igualdad en sentido de distribuciones para la delta unidimensional:

δ (x − ax ) = lı́m g (x)
→0+

UNED
donde g (x) es una función real y continua, cuya integral es siempre 1 (independientemente de ) y
tal que
lı́m g (x) = 0 si x 6= ax
→0+

(el límite ha de entenderse punto a punto). Funciones que cumplen estas condiciones son
!
1 (x − ax )2 1  1 1 x − ax
√ exp −

UNED
; ; sin . (1.9)
π 2 π (x − ax )2 + 2 π x − ax 

Usando las deniciones de hδ a | y hθp | tenemos las siguientes igualdades formales:

Z 
0 si a 6= b
hδ a |δ b i = d3 rδ (r − a) δ (r − b) = δ (a − b) “=”
R3 ∞ si a = b
(1.10)
Z 
1 0 si q 6= p

UNED
d3 r exp i~−1 (q − p) · r = δ (q − p)


hθp |θq i = “=”
(2π~)3 R3 ∞ si q = p

por lo que las deltas de Dirac y la ondas planas constituyen dos conjuntos continuos ortogonales.
Además, el hecho de que en sus productos escalares aparezca la delta de Dirac garantiza que para
cualquier vector del Hilbert
Z Z
3
|ui = d p |θp i hθp |ui = d3 a |δ a i hδ a |ui ,
R3 R3

UNED
donde las anteriores igualdades han de entenderse en sentido formal de distribuciones, esto es, que
para cualquier otro vector |wi del Hilbert se cumpla
Z Z
hw|ui = d3 p hw|θp i hθp |ui = d3 p hθp |wi∗ hθp |ui
R3 R3
(1.11)
Z Z
hw|ui = d3 a hw|δ a i hδ a |ui = d3 a hδ a |wi∗ hδ a |ui
R3 R3

ya que son los últimos términos los únicos que están bien denidos a priori. Usando con liberalidad
los kets normalizables, por analogía con la relación de cierre (1.4) podemos escribir:
Z Z
1= d3 a |δ a i hδ a | = d3 p |θp i hθp |
R3 R3

10
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

por lo que, en cierta medida, los conjuntos continuos {|δ a i con a ∈ R} y {|θp i con p ∈ R} son también
bases (aunque formadas por vectores no normalizables) del espacio de los estados.

UNED


• Generalicemos este último resultado: sea χµ  µ ∈ I un conjunto continuo de covectores denidos
por un parámetro µ que toma valores dentro de un intervalo I . Se dice que dicho conjunto es ortonormal
en sentido generalizado si para toda función continua f denida dentro del intervalo I se verica
Z
0
χµ |χµ0 = δ µ − µ0





f µ = dµ f (µ) χµ |χµ0 o, notacionalmente,
I


donde el complejo χµ |χµ0 está dado por:

UNED


   X

∗
χµ |χµ0 = χµ  1 χµ0 = χµ |en χµ0 |en
n

Diremos que dicho conjunto constituye, además, una base ortonormal del Hilbert en sentido
generalizado si para cualquier vector |ui se cumple

Z Z
 
  

|ui = dµ χµ χµ |u ⇔ 1 = dµ χµ χµ 

UNED
I I

donde estas igualdades han de entenderse en el sentido de distribuciones dado por (1.11). Obsérvese
que para las deltas y la ondas planas, el parámetro µ es, en realidad, tres conjuntos de parámetros
continuos que pueden tomar cualquier valor real.
En el caso más general podremos tener bases mixtas:


 hbn |bm i = δ n,m

UNED


Z 


X
χµ |χµ0 = δ (µ − µ0 )
 
 
1= |bn i hbn | + dµ χµ χµ  con
n I 



 
χµ |bm = 0


y, tal y como habíamos anticipado, si se tiene en cuenta que muchas igualdades se deben entender en
 
sentido de distribuciones trabajaremos con los kets no normalizables χ µ con total libertad.

UNED
EJERCICIO 1.3. En L2 (R) denimos el bra valor principal de Cauchy en a como
Z a−ε Z +∞ 
1 1
hPa |φi = lı́m dx φ (x) + dx φ (x)
ε→0 −∞ x−a a+ε x−a

a) ¾Cuál sería la función Pa (x)?

b) Si |φi ∈ L2 (R), demuestre que

UNED
Z +∞
1
dx φ (x) = hP0 |φi + iπ hδ 0 |φi
−∞ x − i0+

donde 0+ designa un innitesimal positivo.

Solucion:
a) Pa (x) = 1/(x − a) si x 6= a, Pa (x) = 0 si x = a.
b) Use análisis de variable compleja o bien

1 
δ (x) = lı́m 2 .
π →0+ x + 2

11
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.2.5. Operadores lineales

• Un operador lineal  es una aplicación del espacio de estados E sobre sí mismo, de manera que a

UNED
cada vector ket |ui 0
se le asocia otro ket |u i
∈ E siendo esta asociación lineal, esto es:
 0
 |ui = u tal que  (λ1 |u1 i + λ2 |u2 i) = λ1  |u1 i + λ2  |u2 i .

Al igual que ocurría con los covectores, en principio nada garantiza que todo ket del Hilbert pertenezca
al dominio de  pero impondremos que, al menos, su dominio sea denso.
Deniendo la suma de dos operadores lineales y el producto de un escalar por un operador lineal:

UNED
( + B̂) |ui =  |ui + B̂ |ui (λÂ) |ui = λ |ui

el conjunto de operadores lineales en E adquieren la estructura de espacio vectorial.

• La aplicación sucesiva de dos operadores lineales sobre un ket |ui se llama producto o composición
de operadores:
(Â B̂) |ui = Â (B̂ |ui),
lo que nos permite denir el conmutador de dos operadores como

UNED
[Â, B̂] = ÂB̂ − B̂ Â (1.12)

En principio, el operador conmutador no tiene que ser nulo ya que la composición de operadores no
es en general conmutativa (el orden de composición importa).

• Dados dos kets |vi y |ui, se llama elemento de matriz del operador  entre los estados |vi y |ui
al producto escalar


hv| Â |ui hv| Â |ui .

UNED
que suele abreviarse como (1.13)

Nótese que en la notación de Dirac que estamos proponiendo el orden de los símbolos es
crucial. Por ejemplo, sabemos que hv|ui representa un número que es el producto escalar de los dos
kets. Pero si escribimos |ui hv|, entonces este símbolo representa un operador lineal, ya que al actuar
sobre un ket cualquiera |wi nos da |ui hv|wi que es otro ket resultado de multiplicar |ui por un escalar
hv|wi.
• Â B = {|en i}

UNED
Dado un operador lineal y una base ortonormal perteneciente a su dominio, denimos
la representación matricial del operador en esta base mediante la colección de números complejos
An,m = hen | Â |em i lo que implica que

X
An,m = hen | Â |em i ⇔ Â = |en i An,m hem | . (1.14)
n,m

A partir de la importante relación anterior tenemos inmediatamente que

UNED
X X
hen | Â |ui = An,m um hv| Â |ui = vn∗ An,m um .
m n,m

Esto es, independientemente de la naturaleza del espacio de Hilbert, la utilización de coordenadas

y representaciones matriciales en una base permite transformar las operaciones con operadores en
7
operaciones del Álgebra Lineal de matrices/n-uplas.

7
Para espacios de Hilbert de dimensión innita dichas operaciones involucrarán sumas de innitos términos. Es ocioso volver
a insistir que las características topológicas especiales de los espacios de Hilbert son las que garantizan la bondad de todo este tipo
P
de manipulaciones. De hecho, aunque la expresión hen | Â |ui = m An,m um converge al valor correcto si |ui pertenece al dominio
de Â, en algunos casos muy puntuales puede ocurrir que la siguiente expresión diverja
X
um  |em i .
m

12
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

EJERCICIO 1.4. Consideremos un operador lineal  en el espacio de Hilbert de los

estados de un cierto sistema físico. Dada una base ortonormal B , denimos la traza de Â
como:

UNED
X X
tr = hen |  |en i = An,n
n n

que no tiene por qué ser necesariamente nita. Demuestre que el valor de tr es una
propiedad intrínseca del operador, esto es, que no depende de la base escogida. Para ello
pruebe que si {|fn i} es otra base ortonormal
X X
hfn | Â |fn i = hen | Â |en i

UNED
n n

Solución: Use la relación de cierre, reordene términos y utilice la propiedad de

ortonormalidad de los elementos de una base.

UNED
1.2.6. Conjugación: operador adjunto o hermítico conjugado
• Hemos denido los operadores lineales en su acción sobre los kets, pero también es posible
construir operadores que actuan sobre los bras, esto es, operadores que transforman un bra en
otro. El procedimiento es sencillo si obviamos los problemas relacionados con los dominios de
denición. Consideremos un bra determinado, que llamaremos hα|, y el conjunto de todos los kets, que
denotaremos en general por |ui. Podemos asignar un número complejo a cada unos de los kets |ui, por
ejemplo el elemento de matriz hα| Â |ui, que depende linealmente del ket |ui. Por tanto, si tenemos un

UNED
bra determinado hα| y un operador Â, podemos asignar mediante hα| Â |ui un número complejo para
todo ket |ui: hemos, pues, denido un nuevo funcional lineal sobre el espacio de estados E y esto es lo
∗
mismo que decir que hemos denido un bra perteneciente al espacio E . Llamaremos a este bra hα| Â
cuya regla de actuación es
(hα| Â) |ui = hα| (Â |ui) = hα| Â |ui . (1.15)

Otra manera de expresar lo anterior es decir que el operador  no sólo actúa sobre cada ket |ui dando
 |ui, sino que también asocia a cada bra hα| un nuevo bra hα| Â. Puede ver que  actuando en el

UNED
espacio dual es un operador lineal por lo que podemos decir que dado un operador lineal en el
espacio de los estados, se tiene denido de forma unívoca un operador equivalente en el
espacio dual: el dado por (1.15).

• El dominio de denición del operador  denido en E ∗ es formalmente más amplio que el del operador
2
correspondiente en E , lo que trae consecuencias interesantes. Por ejemplo, consideremos en L (R) el
operador lineal
d

UNED
p̂x = −i~
dx
cuyo dominio son las funciones derivables, y el covector escalón de Heaviside hHa | denido como
Z +∞
hHa |φi = dx φ (x) .
a

Puede ver que la función Ha (x) es uno si x>a y cero si x < a, no formando parte de L2 (R). Sin
embargo el bra
hHa | p̂x
tiene perfectamente sentido, ya que (ponemos paréntesis innecesarios para ilustrar los puntos más
delicados):
Z +∞
dφ (x)
(hHa | p̂x ) |φi = hHa | (b
px |φi) = −i~ dx = i~φ (a)
a dx

13
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

donde hemos usado que φ (∞) = 0 porque φ (x) ha de ser normalizable. Por tanto,

hHa | p̂x = i~ hδ a |

UNED
y en el espacio dual podemos derivar funciones discontinuas sin ningún problema.

• Sea ahora un operador lineal  y el resultado |wi =  |ui ∈ E . El bra hw| conjugado a |wi =  |ui
†
no va a ser en general hu| Â, sino un bra que denotamos por hu| Â . Esto último dene un operador
† ∗
(lineal) Â , tanto en E como en E , al que llamaremos operador adjunto o hermítico conjugado

UNED
de Â:
|wi =  |ui ⇐⇒ hw| = hu| † . (1.16)

Nótese que esta denición es necesaria si queremos usar adecuadamente otra característica de la
notación de Dirac. Si tenemos un operador  que actúa sobre un ket |ui para dar  |ui podemos
escribir  |ui ≡ |Âui. Entonces el bra asociado a ese ket |Âui, que es el bra hÂu|, es justamente hu| † ;
por consiguiente un operador actua sobre kets a su derecha, sobre bras a su izquierda, y al sacar un
operador de un bra hay que sacarlo hacia la derecha del bra como su adjunto † :

UNED
 |ui = |Âui hw|  = h† w| † |ui = |† ui hw| † = hÂw|.

La propiedad más inmediata de este operador adjunto es que para todos los kets |ui y |vi se cumple
que
hu| † |vi = hv|  |ui∗ . (1.17)

Nota: esta igualdad, de hecho, se suele usar muchas veces como denición de adjunto. Sin embargo

UNED
oculta algo que es imporante en un tratamiento mucho más formal de la teoría: la construcción del
adjunto implica un viaje de ida y vuelta' del espacio de los estados al espacio dual, ya que † se
dene sobre éste último. Esto implica posibles cambios en los dominios de denición que pueden ser
muy importantes. Nosotros presupondremos que esto no va a ser trascendente aunque, como siempre
que se trabaja en espacios con dimensión innita hay que tener sumo cuidado con las manipulaciones
formales.

• Consecuencia de la denición de adjunto, tenemos las siguientes propiedades (sin prestar atención a

UNED
los dominios de denición de los operadores):

i) (λÂ)† = λ∗ † de donde λ† = λ∗ (el escalar λ se puede entender como el operador lineal que
multiplica un ket por λ)
ii) ( + B̂)† = † + B̂ †
iii) (ÂB̂)† = B̂ † † (½atención al cambio de posición!)

iv) († )† = Â

UNED
Probemos las dos últimas (las dos primeras son más sencillas):

|wi = (ÂB̂) |ui ⇒ hw| = hu| (ÂB̂)†



⇒ (ÂB̂)† = B̂ † †
|wi = (ÂB̂) |ui = Â(B̂ |ui) ⇒ hw| = hB̂u|† = hu| B̂ † †


hu| († )† |wi = hw| († |ui∗ = hu|  |wi ⇒ († )† = Â

(insistamos que en el dual, los operadores lineales actúan hacia la izquierda).

Observe que esta correspondencia entre operadores en el Hilbert y en su dual también puede usarse
para explicar de otra manera la extensión del espacio de los estados usando kets no normalizables.
Los kets de E pueden entenderse como los covectores de E ∗, pero en el espacio dual de E∗ hay más

14
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

objetos (bien denidos todos ellos) que en E. Es decir, E ⊂ (E ∗ )∗ y los kets no normalizables son los
∗ ∗
que forman parte de (E ) pero no de E.

UNED
• Un operador autoadjunto es aquel que es igual a su adjunto:

 es autoadjunto ⇐⇒ † =  ⇐⇒ hu|  |vi = hv|  |ui∗ para todos los kets |ui y |vi . (1.18)

En este caso se tiene que si A

b es autoadjunto, en expresiones del tipo hη| A
b |φi, A
b actúa sobre el bra
de la izquierda igual que sobre el ket de la derecha.

• Si denominamos conjugación a la operación genérica que nos hace pasar de espacio de los estados a

UNED
su dual (y viceversa), tendremos en resumen las siguientes propiedades:

el conjugado de un ket es su bra y viceversa.

el conjugado de un escalar complejo es su complejo conjugado.

el hermítico conjugado de un operador es su operador adjunto.

la expresión [hermítica] conjugada de una expresión dada se obtiene reemplazando los escalares
aislados (fuera de los bras y kets) por sus complejos conjugados, los kets por sus bras conjugados

UNED
y viceversa, los operadores por sus adjuntos y, después, invirtiendo el orden de todo ello (recuerde
que los escalares se pueden recolocar sin problemas siempre que estén fuera de los bras y kets y
que los elementos de matriz son escalares). Por ejemplo,

 †
λhv|Â|ui|tihw| = |wiht|hu|† |viλ∗ = λ∗ hu|† |vi|wiht|

UNED
 †
|λwihw| = † |wihλw| = † |wihw|λ∗ = λ∗ † |wihw|

hη|ÂB̂|φi† = hη|ÂB̂|φi∗ = hφ|B̂ † † |ηi

UNED
1.2.7. Proyectores ortogonales
• Una clase especial de operadores autoadjuntos son los llamados proyectores ortogonales. Se dice que
el operador lineal autoadjunto P̂ es un proyector ortogonal si se cumple que su dominio es todo E
y, además, que es idempotente:
P̂ 2 = P̂. (1.19)

UNED
Un proyector ortogonal dene un subespacio de Hilbert EP̂ formado por todos los kets que son

invariantes bajo P̂ :
|ui ∈ EP̂ ⇐⇒ P̂ |ui = |ui
y, a su vez, dene un segundo subespacio de Hilber, EP̂⊥ , formado por todos los kets sobre los cuales

la actuación de P̂ da cero:
.
|ui ∈ EP̂⊥ ⇐⇒ P̂ |ui = |nuli = 0

(seguimos la costumbre de escribir 0 en lugar de |nuli). Como P̂ 2 = P̂ tenemos que

P̂ |ui ∈ EP̂ ; |ui − P̂ |ui = (1 − P̂) |ui ∈ EP̂⊥

y se cumple entonces el teorema de la proyección ortogonal:

dado un proyector ortogonal P̂ todo ket |ui se puede escribir como suma de un elemento de EP̂ y de

15
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

otro de EP̂⊥ , ambos ortogonales entre sí (compruébelo, es directo usando (1.19)).

Además dicha descomposición es única (puede probarse por reducción al absurdo). Formalmente
diremos que el espacio de los estados es suma directa de EP̂ y de EP̂⊥ :

UNED
E = EP̂ ⊕ EP̂⊥

y que P̂ proyecta sobre EP̂ y 1 − P̂ proyecta sobre EP̂⊥ .

• La recíproca también es cierta. Sea W un subespacio de Hilbert de E . Entonces existe un proyector
ortogonal (único) P̂W tal que para todo |ui ∈ E se cumple que P̂W |ui ∈ W y que (1 − P̂W ) |ui ⊥ W ⊥ .

UNED
La forma de obtener este proyector es especialmente sencilla. Sea {|un i} una base ortonormal de W ,
entonces
X
P̂W = |un i hun | (1.20)
n

(observe cómo la notación de Dirac muestra claramente el caracter autoadjunto de P̂W ). En efecto,
para cualquier |wi se tendría

UNED
X . X
P̂W |wi = |un i hun |wi = wn |un i ∈ W
n n

y, además

X X X X X
2
P̂W = |un i hun | |um i hum | = |un i hun |um i hum | = |un i δ n,m hum | = |un i hun | = P̂W .
n m n,m n,m n

UNED
A su vez, si W⊥ es el subespacio de Hilbert complemento ortogonal de W:

si |wi ∈ W , |ui ∈ W ⊥ =⇒ hw|ui = 0

para todo |vi ∈ E : |vi = |wi + |ui con |wi ∈ W , |ui ∈ W ⊥

entonces P̂W ⊥ = 1 − P̂W .

UNED
• La idea anterior se puede generalizar al caso de una descomposición ortogonal arbitraria del Hilbert
E . Supongamos que existe un conjunto numerable no necesariamente nito de subespacios de Hilbert
ortogonales entre sí {Wn }. Si E es suma directa de estos {Wn }, es decir:

M X
E= Wn ⇐⇒ para todo |ui ∈ E : |ui = |un i con |un i ∈ Wn
n n

entonces

UNED
X
1= P̂n ; P̂n P̂m = 0 si n 6= m ; P̂n |ui = |un i
n

donde P̂n es el proyector ortogonal sobre el subespacio Wn .

EJERCICIO 1.5. Denamos el operador B̂ = |ui hw|, donde |ui y |wi son dos kets
normalizados del Hilbert de los estados. Obtenga B̂ † y, en consecuencia, indique cuándo
B̂ sería autoadjunto y cuándo sería proyector ortogonal.

Solución: B̂ † = |wi hu|. B̂ es autoadjunto si |ui = ± |wi y proyector si |ui = |wi.

16
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

1.2.8. Autovalores y espacios propios

• Empecemos con las deniciones básicas. Dado un operador lineal Â, se dice que un λ ∈ C es

UNED
autovalor de  si existe un ket no nulo |ui que satisface la llamada ecuación de autovalores:

 |ui = λ |ui λ ∈ C , |ui ∈ E. (1.21)

Entonces |ui es un autovector (o autoket o autoestado) de  con autovalor λ.

El conjunto de todos los autovalores λ constituye el espectro puntual del operador  al que
designaremos por σ p (Â).8 También se dice que que |ui y λ son vector propio y valor propio,

respectivamente, del operador b.9

A

UNED
• Dado un λ ∈ σ p (Â), denimos el conjunto Eλ como el formado por todos los vectores de E que
cumplen (1.21), es decir, el compuesto por todos los autovectores incluido el cero.
Por la linealidad de  es inmediato comprobar que Eλ es un subespacio vectorial al que llamaremos
subespacio propio con autovalor λ. La degeneración del autovalor, gλ , se dene como la dimensión
de su subespacio propio correspondiente.
Si λ=0 es autovalor de Â, al subespacio propio Eλ=0 se le denomina núcleo (o kérnel) del operador.

• A su vez, se dice que un subespacio de Hilbert W es invariante bajo el operador  si dicho

UNED
operador transforma todo vector de W en otro vector de W, resultando obvio que todo subespacio
propio es invariante, aunque la recíproca no es siempre cierta.
Un resultado importante es que W es invariante bajo  si y sólo si [P̂W , Â] = 0.
• Finalmente, si conjugamos la relación (1.21) tenemos que

 |ui = λ |ui ⇐⇒ hu| † = λ∗ hu| (1.22)

lo que quiere decir que si el ket |ui es un autovector de  con autovalor λ, el bra hu| es autovector de

UNED
† con autovalor λ∗ . Por tanto, los espectros de  y † son complejos conjugados.

1.2.9. Espectro puntual de un operador autoadjunto

• Consideremos en lo que sigue un operador autoadjunto Â. A partir de (1.18) tenemos

UNED
inmediatamente que σ p (Â) es real y, con algo más de esfuerzo que es numerable, por lo que
el nombre de espectro puntual sí está justicado para autoadjuntos. Además, autovectores con
autovalores distintos son ortogonales. En lenguaje formal:

 σ p (Â) = {a1 , a2 , a3 , ...} ⊂ R
 = † ⇒ (1.23)
Eai ⊥ Eaj con i 6= j


UNED
Podemos entonces construir una base ortonormal del espacio Ea con a ∈ σ p (Â) formada por los vectores
(½atención a la notación!) |a; 1i , |a; 2i . . . |a; ga i y su proyector ortogonal asociado P̂a :
ga
X ga
X
 |ui = a |ui ⇐⇒ |ui = ui |a; ii con ui = ha; i|ui P̂a = |a; ii ha; i| .
i=1 i=1

Observe que para cualquier vector |wi del espacio de Hilbert se cumple

ga ga
X (1.22)
X P̂a |wi∈Ea
P̂a  |wi = |a; ii ha; i|  |wi = a |a; ii ha; i|wi = aP̂a |wi = ÂP̂a |wi
i=1 i=1

8
El nombre es especialmente desafortunado puesto que hay operadores para los cuales σ p (Â) es continuo .
9
En muchos textos se usan los germanismos eigenvector y eigenvalor (en inglés, eigenvalue , lo que ha adaptado el término
alemán eigen en la literatura cientíca).

17
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

por lo que

P̂a  = ÂP̂a = aP̂a =⇒ [P̂a , Â] = 0; (1.24)

UNED
esto es, los proyectores ortogonales asociados a un autoadjunto  conmutan con éste (y también entre
sí porque P̂a P̂a0 = 0 si a 6= a0 ).
Es fácil ver que cualquier suma directa de los subespacios Ea es invariante bajo  y si denimos el
subespacio Ep como
M
Ep = Ea
a∈σ p (Â)

UNED
entonces
X ga
X
si |ui ∈ Ep =⇒ Â |ui = a |a; ii ha; i|ui ∈ Ep .
a∈σ p (Â) i=1

Lo anterior permite escribir la restricción de  al subespacio Ep como

 X ga
X X
Â = a |a; ii ha; i| = aP̂a . (1.25)


UNED
Ep
a∈σ p (Â) i=1 a∈σ p (Â)

Si Ep = E tendremos entonces que es posible encontrar una base del espacio de los estados formada por
autovectores de Â, por lo que (1.25) es una forma de escribir el operador autoadjunto  denominada
descomposición espectral de Â. A su vez, usando la relación de cierre tendríamos que

ga
X X X
Ep = E ⇐⇒ 1 = |a; ii ha; i| = P̂a , (1.26)

UNED
a∈σ p (Â) i=1 a∈σ p (Â)

lo que constituye la descomposición espectral de la identidad asociada a Â.

Nota: En espacios de los estados de dimensión nita la ecuación (1.26) es la descomposición

espectral de todo autoadjunto. Sin embargo, para espacios de Hilbert de dimensión innita lo
habitual es que no podamos construir una base ortonormal del Hilbert formada exclusivamente por

UNED
autovectores del autoadjunto Â. Esto lleva a la necesidad de completar la descomposición espectral
(1.25) para incluir los vectores |vi ∈ Ep⊥ ya que para éstos el operador  no viene dado por la igualdad
(1.25).

1.2.10. Espectro continuo de un operador autoadjunto

UNED
• Si fuese imposible encontrar un conjunto completo (base ortonormal) formado por autovectores del
operador autoadjunto Â, el procedimiento para completar las descomposiciones espectrales (1.25) y
(1.26) es estándar en la teoría. Sin embargo, el método puede resultar difícil de entender si no se tiene
suciente familiaridad con la teoría de la medida de Borel-Lebesgue. Por ello, vamos a ver en estas
notas una versión muy simplicada, sin demostraciones y apenas justicaciones, aun a sabiendas de
que perderemos casi todo el rigor. Afortunadamente esto no impedirá que los resultados sean válidos
para todas las situaciones físicas de interés para nosotros.

• Empecemos deniendo el operador resolvente del autoadjunto  en λ∈

/ σ p (Â) como el operador
lineal, con máximo dominio posible, denido como

1
R̂λ (Â) ≡ (Â − λ)−1 ≡ .
 − λ
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

Es decir, R̂λ (Â) es el inverso del operador  − λ:

1  
R̂λ (Â) |ui = |ui = |wi ⇐⇒ |ui = Â − λ |wi . (1.27)

UNED
 − λ

Hemos impuesto que λ∈

/ σ p (Â), ya que de lo contario el operador  − λ no sería invertible al ser su
núcleo no vacío (éste estaría formado por todos los autovectores de  con autovalor λ). El operador
resolvente nos va a permitir denir de manera rigurosa un conjunto de valores reales que casi son
autovalores porque cumplen la condición (1.21) con precisión arbitraria pero nunca exactamente.

En concreto, λ forma parte del espectro continuo de Â, notado como σ c (Â), si R̂λ (Â) no

UNED
es acotado, esto es, si la cantidad R̂λ (Â) |ui con |ui un vector normalizado arbitrario puede tomar

valores indenidamente grandes:

1
λ ∈ σ c (Â) ⇔ R̂λ (Â) = es no acotado. (1.28)
 − λ

Diremos entonces que λ ∈ σ c (Â) es un valor espectral del continuo o, informalmente, autovalor

UNED
del continuo. El espectro de Â, σ(Â), será la unión de los espectros puntuales y continuo:

σ(Â) = σ p (Â) + σ c (Â)

y a los elementos de σ(Â) los denominaremos valores espectrales de  y, por abuso del lenguaje,
también autovalores.

• Puede demostrarse que el espectro continuo de un operador autoadjunto  es real y, como su

propio nombre indica, los valores de σ c (Â) pueden tomar valores continuos .10

UNED
•
 Deacuerdo  con
 la  denición, si λ ∈ σ c (Â) podemos construir una sucesión de vectores normalizados
u(1) , u(2) , u(3) , ... para los cuales el ket w(n) = (Â − λ)−1 u(n) tiene norma indenidamente
  

grande: lı́mn→∞ w(n) = ∞.

Por la denición (1.27) de operador (Â − λ)

−1 se tendría que:

 
    w  u(n)

   (n)
 − λ w(n) = u(n) =⇒  − λ w(n) = w(n) .
   

UNED
       
La sucesión u(n) / w(n) tiende a cero, ya que w(n) → ∞ y u(n) = 1, por tanto si denimos
     
la sucesión de vectores normalizados v(n) = w(n) / w(n) entonces

 
  
λ ∈ σ c (Â) ⇐⇒ existe v(n) con v(n) = 1 tal que lı́m  − λ v(n) = 0 ; λ ∈ / σ p (Â).
n→∞
(1.29)
 
Naturalmente la sucesión de vectores normalizados v(n) no puede converger, ya que de suceder esto

UNED
λ ∈ σ p (Â) y el límite de la sucesión |v∞ i sería un autovector con autovalor λ. De esta forma (1.29)
da una interpretación más intuitiva (conocida como el criterio de Weyl) de los valores del espectro
continuo en el sentido adelantado hace un momento:
 λ∈ σ c (Â) cumple la ecuación de autovalores con
un error arbitrariamente pequeño pero no nulo y v(n) con n  0 sería casi un autovector.
 
• Puede ocurrir que existan hasta gλ sucesiones v(n) ; i ortonormales entre sí, esto es


v(n) ; i|v(n) ; j = δ i,j n = 1, 2, 3, . . .

que veriquen (1.29). Podríamos así conseguir simultáneamente gλ casi-autovectores ortonormales.

Diremos entonces que la degeneración del valor espectral del continuo λ es gλ .

10
Esto es muy razonable: si R̂λ (Â) no es acotado, lo más probable es que R̂λ±dλ (Â) tampoco lo sea, con dλ arbitrariamente
pequeño no nulo.

19
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

• Antes de seguir analicemos un ejemplo ilustrativo. Consideremos el espacio de Hilbert L2 (R), el

operador posición x̂, donde x̂ψ (x) = xψ (x), y la sucesión de funciones normalizadas

UNED
1/2 !
(x − a0 )2

1
v(n) (x) = √ exp − n = 1, 2, . . .
πb/n 2 (b/n)2

cuyo límite, de existir, ha de ser una función también de norma unidad. Sin embargo, si operamos de
manera muy pedestre,
p
lı́m v(n) (x) ” = ” δ (x − a0 )
n→∞

UNED
que no es un objeto del Hilbert (de hecho, como objeto matemático no tiene sentido) por lo que la

∞
sucesión v(n) (x) n=1 no es convergente. De forma más rigurosa podemos ver que esta sucesión no
   
cumple el criterio de convergencia de Cauchy evaluando, por ejemplo, lı́mn→∞ v(2n) − v(n) . Para
una sucesión convergente dicho límite ha de ser cero, pero para nuestra sucesión (nos saltamos los
pasos intermedios simplemente operativos)

 √  √
 q q p
 

lı́m v(2n) − v(n) = 2 lı́m 1 − u(2n) |u(n) = 2 lı́m 1 − 4/5 6= 0

n→∞ n→∞ n→∞

UNED
por lo que no llega a estabilizarse nunca y no puede entonces converger.
Sin embargo, si denimos ahora la sucesión

1/2 !
(x − a0 )2

    1
s(n) = (x̂ − a0 ) v(n) =⇒ s(n) (x) = (x − a0 ) √ exp −
πb/n 2 (b/n)2

es fácil ver que lı́mn→∞ s(n) (x) = 0 (simplemente compruebe que lı́mn→∞ k|sn ik = 0). Por tanto

UNED
cualquier valor real a0 es un autovalor del continuo y, de hecho, acabamos de ver que σ c (x̂) = R.
Cuanto más concentrada esté una función del Hilbert alrededor de a0 menor será el error cometido en
la ecuación de autovalores, pero nunca se podrá vericar dicha ecuación porque no existe función del
Hilbert normalizada cuyo valor sea nulo en todo R excepto en el punto aislado a0 .

EJERCICIO 1.6. Consideremos el Hilbert L2 (R), el operador momento p̂x = −i~∂x y

la sucesión de funciones normalizadas

UNED
1/2
x2
  
1
v(n) (x) = √ exp − 2 2 exp (ik0 x) n = 1, 2, ... ; b, k0 ∈ R
πn |b| 2n b
 
a) Demuestre que la sucesión (v(n) ) no es convergente.

b) Demuestre que lı́mn→∞ (p̂x − ~k0 ) v(n) = 0 y, en consecuencia, que σ(p̂x ) = σ c (p̂x ) =
R.
Solución: El ejercicio es análogo al análisis anterior para el operador x̂.

UNED
1.2.11. Descomposición espectral de un operador autoadjunto

• Finalmente, procedamos a la generalización de (1.25) y (1.26). Si

estrictamente de autovectores ni subespacios propios, pero sí de lo siguiente: dado cualquier intervalo
cerrado
intervalo,
i) EI
ii) Si
I ⊂ σ c (Â), no necesariamente compacto, denamos el subespacio propio asociado a dicho
EI ⊂ E , como el caracterizado por:
es invariante bajo

Â|EI
Â,
es la restricción de
esto es,

 a
ÂP̂I = P̂I Â,
EI ,
donde

el espectro de
P̂I
Â|EI
λ ∈ σ c (Â) no podemos hablar

es el proyector ortogonal sobre

es continuo e igual a I.
EI .
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

Intuitivamente, EI está formado por los casi-autovectores y sus combinaciones lineales para valores
de λ ∈ I. Naturalmente la dimensión de EI es innita (¾por qué?) y puede probarse que si I1 e I2 son
dos intervalos disjuntos de σ c (Â) los subespacios propios correspondientes son ortogonales:

UNED
I1 ∩ I2 = ∅ ⇒ EI1 ⊥ EI2 o, equivalentemente. P̂I1 P̂I2 = P̂I2 P̂I1 = 0, (1.30)

que es la generalización de la relación de ortogonalidad entre autovectores dada en (1.23).

• Consideremos ahora el subespacio E[λ,λ+dλ] con dλ un innitesimal y simbolizemos por dP̂c (λ)
el proyector ortogonal sobre este subespacio. Ya que dentro de E[λ,λ+dλ] el autovalor λ varía
innitesimalmente se tiene que

UNED
Â|E[λ,λ+dλ] = λdP̂c (λ)

y debido a (1.30), para cualquier intervalo I ⊂ σ c (Â),

Z Z
P̂I = dP̂c (λ) ; Â|EI = λ dP̂c (λ) . (1.31)
λ∈I λ∈I

Ic (λ) = λ0 ≤ λ tal que λ0 ∈ σ c (la parte del espectro continuo menor


Sea el intervalo o igual que

λ) P̂c (λ) proyector ortogonal sobre Ic (λ). A partir de (1.30) y (1.31) tenemos que

UNED
y el
Z
dP̂c λ0


P̂c (λ) = con dP̂c (λ) = P̂c (λ + dλ) − P̂c (λ) . (1.32)
λ0 ≤λ

La familia de proyectores P̂c (λ) con λ ∈ σ c (Â) es característica de cada autoadjunto  y en ella está
contenida toda la información del espectro continuo y de los subespacios propios. Algunas propiedades
de los proyectores P̂c (λ) son, entre otras:

UNED
h i h i
P̂c (λ) , Â = 0 ; P̂c (λ1 ) , P̂c (λ2 ) = 0 ; P̂c (λ1 ) P̂c (λ2 ) = P̂c (mı́n (λ1 , λ2 )) .

• Sea Ec = Eσc (Â) y denotemos como P̂c al proyector sobre Ec . Entonces:

Z Z


P̂c = dP̂c (λ) = P̂c sup σ c (Â) ; Â|Ec = ÂP̂c = P̂c  = λdP̂c (λ) .
λ∈σ c (Â)
λ∈σ c (Â)

UNED
El teorema espectral arma que

E = E p ⊕ Ec o, equivalentemente, 1 = P̂p + P̂c (1.33)

y, por tanto
  X Z
 = Â + Â = aP̂a + λdP̂c (λ) . (1.34)
 

UNED
Ep Ec λ∈σ c (Â)
a∈σ p (Â)

Este resultado es válido para todo operador autoadjunto y sobre él descansa buena parte de la
consistencia matemática de la mecánica cuántica. Lo único que falta entonces es encontrar una
expresión práctica para P̂c (λ) o para dP̂c (λ).
• Por construcción, el operador P̂c (λ) es continuo y acotado, lo que inmediatamente invita a cambiar
la variable de integración en todas las anteriores expresiones

? dP̂c (λ)
dP̂c (λ) = dλ . (1.35)
dλ
El paso (1.35) es posible sólo si P̂c (λ) es absolutamente continuo en la variable λ, propiedad topológica
relacionada con la teoría de la medida matemática y que se cumple para la abrumadora mayoría de

21
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

los operadores autoadjuntos de interés físico. Por tanto, asumiendo que (1.35) es un paso correcto
podemos escribir la descomposición espectral de la unidad como

UNED
ga
dP̂c (λ)
X X Z
1 = P̂p + P̂c = |a; ii ha; i| + dλ .
dλ
a∈σ p (Â) i=1 σ c (Â)

Ahora, por simple analogía entre la parte discreta y la continua podemos decir que

λ g
dP̂c (λ) X
λ; j|λ0 ; j 0 = δ λ − λ0 δ jj 0 ,



dP̂c (λ) = dλ = dλ |λ; ji hλ; j| con
dλ
j=1

UNED
donde hλ; j| ∈ E ∗ aunque |λ; ji ∈
/ E y el funcional lineal hλ; j| ha de estar bien denido al menos para
todo ket del domino de Â. El bra hλ; j| y el ket |λ; ji (en sentido generalizado) han de satisfacer la
ecuación de autovalores
hλ; j| Â = hλ; j| λ ; Â |λ; ji = λ |λ; ji .
Observe que esto tiene plena lógica. La relación (1.29) armaba que para un autovalor del continuo
casi se satisface la ecuación de autovalores si nos ceñimos al espacio de Hilbert de los estados.

UNED
Ampliando el espacio de Hilbert y dando cabida a los kets conjugados de algunas formas lineales no
normalizables, la ecuación de autovalores ya tiene soluciones exactas también para autovalores del
continuo. Estos autovectores generalizados y no normalizables entran en la descomposición espectral
de igual manera que los autovectores asociados al espectro puntual y, como E p ⊥ Ec , son ortogonales
entre sí: hλ, j|a; ii = 0.
• En resumen: Si  es un operador autoadjunto para el que P̂c (λ) es absolutamente continuo:

i) σ(Â) = σ p (Â) ∪ σ c (Â) ⊂ R

UNED
 
ii) λ ∈ σ(Â) ⇔ existe una sucesión de vectores normalizados tal que lı́mn→∞ (Â − λ) u(n) = 0

ii.a) Si existe |u∞ i ≡ |ai, entonces  |ai = a |ai y a ∈ σ p (Â)

ii.b) Si no existe |u∞ i, entonces a ∈ σ c (Â)
iii) Las ecuaciones de autovalores son:

si a ∈ σ p (Â) : Â |a; ii = a |a; ii con i = 1, .., ga |a, ii ∈ E

UNED
(1.36)
si λ ∈ σ c (Â) : Â |λ, ji = λ |λ, ji con j = 1, .., gλ |λ, ji ∈ /E

iv) Los autovectores forman un conjunto ortonormal en sentido generalizado:

a; i|a0 ; i0 = δ aa0 δ ii0 λ, j|λ0 , j 0 = δ λ − λ0 δ jj 0




; ; hλ, j|a; ii = 0

y que es completo en E, permitiendo la descomposición espectral de la identidad:

UNED
ga
XX Z gλ
X X Z
1= |a; ii ha; i| + dλ |λ; ji hλ; j| = P̂a + dP̂c (λ) (1.37)
a∈σ p i=1 σc j=1 a∈σ p λ∈σ c

y también la descomposición espectral del operador Â

X ga
X Z gλ
X X Z
 = a |a; ii ha; i| + dλλ |λ; ji hλ; j| = aP̂a + λdP̂c (λ) (1.38)
a∈σ p i=1 σc j=1 a∈σ p λ∈σ c

22
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

1.2.12. Representaciones. Tranformación entre representaciones

• Insistamos en el carácter abstracto del espacio de los estados E, aunque hayamos escogido algunas

UNED
representaciones concretas para ilustrar algunos aspectos matemáticos importantes. Como ya hemos
comentado, el puente entre la matemática formal y la realidad física que se quiere describir se establece
mediante la elección de una base ortonormal del espacio de Hilbert en la que cada uno de sus estados
tiene un signicado físico claro y distintivo.
Así, cada posible base ortonormal B = {|en i} del espacio de los estados dene una
representación del mismo, en el que cualquier estado |ui se representaría mediante sus coordenadas
un = hen |ui en la base B y los operadores  estarían descritos por su representación matricial
An,m = hen | Â |em i.

UNED
La forma más sencilla y con más signicado físico para denir una representación es escoger una
base en la que sus elementos sean todos ellos autovectores de un conjunto de observables, de manera
que cada estado de la base estará caracterizado por los autovalores correspondientes. Si, además,
estos observables se conservan en la evolución dinámica del sistema, la representación escogida será
especialmente cómoda para el estudio genérico del sistema físico. Sin embargo, los observables escogidos
para construir una base deben cumplir ciertas condiciones. Veámoslo.

UNED
1.2.13. Conjunto completo de observables compatibles (CCOC)
• Se dice que dos observables son compatibles si conmutan entre sí:

 y B̂ son compatibles ⇐⇒ [Â, B̂] = 0 (1.39)

UNED
Se demuestra fácilmente que si |ai es un autovector de  con autovalor a, entonces el ket B̂ |ai es
también un autovector de  con el mismo autovalor a. Como consecuencia, si |a0 i es otro autovector
de  que corresponde a otro autovalor distinto a0 , el elemento de matriz ha| B̂ |a0 i es nulo. Esto quiere
decir que B̂ no conecta subespacios propios diferentes de  y, por tanto, todo subespacio
propio de  es invariante bajo B̂ y viceversa. Esto implica que es posible construir una base de
cada subespacio propio de  formada por autovectores de B̂ y, debido al teorema espectral podemos
concluir que si dos observables conmutan, el espacio de los estados tiene al menos una base

UNED
formada por autovectores simultáneos de  y B̂ . La recíproca es cierta: si hay una base de E
formada por autovalores simultáneos de  y B̂ , entonces estos dos observables conmutan.
Nótese que esto signica que las dos variables dinámicas representadas por estos observables se
pueden denir simultáneamente de forma precisa en una base del espacio de los estados. Son entonces
observables compatibles ya que cada elemento de la base, al que designaremos como |a, b; ii [donde
i es un posible índice de degeneración] al ser autoestado de  con autovalor a y autoestado de B̂ con
autovalor b, cumple que

UNED
 
f Â, B̂ |a, b; ii = f (a, b) |a, b; ii .

siendo f cualquier función de  y B̂.

• Un conjunto de observables {Â, B̂, Ĉ, . . .} forma un conjunto completo de observables que
conmutan o compatibles (CCOC) si todos ellos conmutan dos a dos y si existe una única base
(salvo cambios triviales) formada por autovectores comunes a todos ellos. Como consecuencia, a cada
conjunto de valores propios {a, b, c, . . .} de todos esos observables le corresponde un único autovector
que se suele designar como |a, b, c, . . .i, el cual queda unívocamente denido por el valor que toman
sobre él los obervables del CCOC.
Como comentario nal, si tenemos un conjunto completo de observables que conmutan, siempre se
puede añadir otro observable a dicho conjunto (por ejemplo, un observable construido como función
de uno de los observables). Sin embargo, los casos de más interés son los conjuntos mínimos, esto es,

23
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

los conjuntos completos que dejan de serlo cuando se quita uno de los observables. En general, un
sistema físico puede tener varios conjuntos completos de observables que conmutan.

UNED
1.2.14. Operadores de posición y momento. Reglas canónicas de conjugación
• Como sabemos, no hay completa libertad para asignar operadores a observables, sino que esta
asignación ha de vericar una serie de normas. En particular, la asignación de los observables de
posición y momento debe satisfacer las reglas de conmutación canónicas:

UNED
POSTULADO 6 DE LA MECÁNICA CUÁNTICA:
Si en un sistema clásico las coordenadas cartesianas de la posición son x1 , x2 , x3 , ... y sus
momentos canónicos conjugados son p1 , p2 , p3 , . . . entonces los operadores autoadjuntos
x̂1 , x̂2 , x̂3 , . . . y p̂1 , p̂2 , p̂3 , . . . que representan a estos observables en mecánica cuántica
deben satisfacer las reglas de conmutación canónicas

[x̂i , x̂j ] = 0 ; [p̂i , p̂j ] = 0 ; [x̂i , p̂j ] = i~δ i,j (1.40)

UNED
El porqué de tal propiedad (que debe imponerse de todas formas) sólo podrá entenderse con totalidad
cuando más adelante veamos la relación entre conmutación de operadores y evolución temporal.

• Como sabemos, de (1.40) se tienen las relaciones de incertidumbre de Heisenberg que recordaremos en
la siguiente sección. De momento, lo que nos va a interesar de (1.40) es que implica, necesariamente, que
el espectro de los operadores que representan a la posición y al momento es estrictamente

UNED
continuo e igual a R.
En efecto, consideremos los observables x̂ y p̂x (o x̂1 y p̂1 en el caso N -dimensional) y supongamos
que x̂ tiene un autovalor a del espectro puntual, siendo |ai el autoket normalizado correspondiente,
por tanto:

i~ = ha| i~ |ai = ha| [x̂, p̂x ] |ai = ha| x̂p̂x |ai − ha| p̂x x̂ |ai =
= a ha| p̂x |ai − a ha| p̂x |ai = a (ha| p̂x |ai − ha| p̂x |ai)

UNED
Hasta aquí no hemos hecho nada extraño: sólo hemos usado que x̂ es autoadjunto y la relación (1.40).
Por tanto
i~ = a (ha| p̂x |ai − ha| p̂x |ai) = a × 0 = 0,
lo que es absurdo. Algo se tiene que haber hecho mal y, en efecto, el problema radica en haber supuesto
que |ai es normalizable. En realidad |ai no puede ser normalizable ya que de lo contrario tendríamos
que i~ = 0 (?). De esta manera el espectro de x̂ ha de ser continuo y, por homogeneidad del espacio

UNED
σ(x̂) = σ c (x̂) = R.

Usando similares argumentos se tiene que el espectro de todos los x̂i y p̂i es R.

1.2.15. La representación de posiciones en mecánica ondulatoria

• Para simplicar, consideremos el caso de una única partícula de masa m sin espín que se mueve
en R3 , aunque los resultados son generalizables a sistemas de varias partículas. El CCOC asociado
a la representación de posiciones es {x̂, ŷ, ẑ}, y como el espectro de estos tres operadores es
estrictamente continuo e igual a R, los autovectores de la base correspondiente no serán normalizables
y la base de representación debe entenderse en sentido generalizado.

24
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

Cada vector de la base queda entonces caracterizado por los autovalores x, y, z de tal modo que

x̂ |x, y, zi = x |x, y, zi ; ŷ |x, y, zi = y |x, y, zi ; ẑ |x, y, zi = z |x, y, zi

UNED
o usando la notación abreviada
|ri = |x, y, zi
tendremos que x̂ |ri = x |ri, etc. y, en general

G (x̂, ŷ, ẑ) |ri = G (x, y, z) |ri (1.41)

UNED
(recuerde la inveterada costumbre de usar el mismo símbolo para el autoket y el autovalor).

• De acuerdo con la teoría espectral podemos decir que

r|r0 = δ x − x0 δ y − y 0 δ z − z 0 = δ r − r0



y entonces

UNED
Z Z
3
1= d r |ri hr| ; G (x̂, ŷ, ẑ) = d3 r |ri G (x, y, z) hr| .
R3 R3

Así, en esta representación cualquier estado cuántico |ψi puede expresarse usando la anterior
descomposición de la identidad: Z
|ψi = d3 r |ri hr|ψi
R3

UNED
lo que permite denir la función de onda del estado |ψi como

ψ (r) = hr|ψi

esto es, ψ (r) no es otra cosa que las coordenadas de |ψi en la base de la representación de posiciones.
Tenemos así que Z Z
3
|ψi = d r |ri hr|ψi = d3 r ψ (r) |ri (1.42)

UNED
R3 R3

y, usando lo visto en la anterior sección,

Z Z
hψ|ξi = 3
d r hψ|ri hr|ξi = d3 r ψ (r)∗ ξ (r) ,
R3 R3

L2 R 3


que es el producto escalar en . Observe entonces que la representación de posiciones establece

UNED
L 2 R3


un isomorsmo entre el espacio de los estados de una partícula E y .

• Para cualquier observable  se tendrá que su representación matricial en la base de autoestados

de la posición será
Z
A (r1 , r2 ) = hr1 | Â |r2 i ⇐⇒ Â = d3 r1 d3 r2 |r1 i A (r1 , r2 ) hr2 |
R3 ×R3

que debido al carácter de |r1 i y |r2 i puede tener una dependencia complicada en r1 y r2 . Entonces
 
Z Z
hr| Â |ξi = hr|  d r1 d r2 |r1 i A (r1 , r2 ) hr2 | |ξi = d3 r2 A (r, r2 ) ξ (r2 )
3 3
 

R3 ×R3 R3

25
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

o, usando una notación mixta

Z
 ξ (r) = d3 r2 A (r, r2 ) ξ (r2 ) . (1.43)

UNED
R3

Para observables dependientes exclusivamente de la posición (Â ≡ A (r̂)), usando las expresiones del
segundo punto de esta subsección, se tiene que

A r, r0 = δ r − r0 A (r) =⇒ Â ξ (r) = A (r) ξ (r) .

• En la representación de posiciones y debido a las reglas de conmutación canónicas (1.40), los

UNED
operadores correspondientes a las componentes del momento lineal cumplen

∂
∂
∂
px r, r0 = −i~δ r − r0 py r, r0 = −i~δ r − r0 pz r, r0 = −i~δ r − r0




; ;
∂x ∂y ∂z
y empleando la misma notación mixta que en (1.43)

∂ ∂ ∂
p̂x ψ (r) = −i~ ψ (r) ; p̂y ψ (r) = −i~ ψ (r) ; p̂z ψ (r) = −i~ (r)
∂x ∂y ∂z

UNED
1.2.16. La representación de momentos en mecánica ondulatoria
• En este caso también consideraremos el caso de una partícula de masa
En la representación de momentos, el CCOC es el formado por las tres componentes del momento
m en sistema tridimensional.

UNED
lineal p: {p̂x , p̂y , p̂z }. Para estos tres operadores, el espectro es continuo e igual a R, por lo que los
elementos de la base de autoestados |px , py , pz i ≡ |pi, caracterizados por

p̂x |pi = px |pi ; p̂y |pi = py |pi ; p̂z |pi = pz |pi (1.44)

no serán normalizables. Por tanto, la relación de cierre o descomposición de la identidad

Z
1= d3 p |pi hp|

UNED
R3

debe entenderse en sentido generalizado ya que

p|p0 = δ px − p0x δ py − p0y δ pz − p0z = δ p − p0 .



• Al igual que con la representación de posiciones, podemos denir una función de onda en el
espacio de momentos:

UNED
Z
e (p) = hp|ψi
ψ ⇐⇒ |ψi = d3 p ψ
e (p) |pi
R3

de manera que para cualquier pareja de estados |ψi , |ξi

Z
hψ|ξi = e (p)∗ ξ (p) .
d3 p ψ
R3

• Para cualquier observable  se tendrá que su representación matricial en la base de autoestados

del momento será
Z
A (p1 , p2 ) = hp1 | Â |p2 i ⇐⇒ Â = d3 p1 d3 p2 |p1 i A (p1 , p2 ) hp2 |
R3 ×R3

26
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

que debido al carácter de |p1 i y |p2 i puede tener una dependencia complicada en p1 y p2 . Entonces
 
Z Z

UNED
3 3
hp| Â |ξi = hp|  d p1 d p2 |p1 i A (p1 , p2 ) hp2 | |ξi = d3 p2 A (p, p2 ) e
ξ (p2 )
 

R3 ×R3 R3

o, usando una notación mixta

Z
 e
ξ (p) = d3 p2 A (p, p2 ) e
ξ (p2 ) .
R3

UNED
Para observables dependientes exclusivamente del momento lineal (Â ≡ A (p̂)), usando las expresiones
del primer punto de esta subsección, se tiene que

A p, p0 = δ p − p0 A (p)



=⇒ Â e
ξ (p) = A (p) e
ξ (p) . (1.45)

• En la representación de momentos, los operadores de las componentes de la posición cumplen

∂
∂
∂
x p, p0 = +i~δ p − p0 y p, p0 = +i~δ p − p0 z p, p0 = +i~δ p − p0




; ;
∂px ∂py ∂pz

UNED
y empleando la misma notación mixta que en (1.45)

e (p) = +i~ ∂ ψ
x̂ ψ e (p) ; e (p) = +i~ ∂ ψ
ŷ ψ e (p) ; e (p) = +i~ ∂ ψ
ẑ ψ e (p) .
∂px ∂py ∂pz
• En la representación de posiciones, las funciones de onda correspondientes a |r0 i |p0 i
y son
 
1 ip0 · r
|r0 i → δ r0 (r) = δ (r − r0 ) ; |p0 i → θp0 (r) = exp ,
(2π~)3/2 ~

UNED
donde θp0 (r) es la solución de la ecuación de autovalores en el espacio de posiciones

p̂ |pi = p |pi =⇒ −i~∇ θp (r) = p θp (r)

y el factor multiplicativo garantiza el cumplimiento de la relación de ortonormalidad generalizada
   
−ip1 · r ip2 · r
Z
1
hp1 |p2 i = d3 r exp exp = δ (p1 − px ) .
(2π~)3 ~ ~
R3

UNED
A partir de aquí es inmediato comprobar que

   
−ip · r ip · r
Z Z
1 1
ψ
e (p) = d3 r exp (r) ; (r) = d3 p exp ψ
e (p)
(2π~)3/2 R3 ~ (2π~)3/2 R3 ~
(1.46)
de manera que las funciones de onda en ambos espacios (de posiciones y de momentos) son

UNED
transformadas de Fourier la una de la otra.

EJERCICIO 1.7. Consideremos una partícula que se mueve en tres dimensiones. Sea
 un observable y A (r1 , r2 ), A
e (p1 , p2 ) sus representaciones matriciales en posiciones y
momentos, respectivamente.
a) Hallar una expresión que relacione ambas representaciones.
b) Usando el resultado, obtenga cómo actúa el operador x̂ en la representación de
momentos. Z
e (p1 , p2 ) = (2π~)−3
Solución: a) A d3 r1 d3 r2 e−ip1 ·r1 /~ A (r1 , r2 ) e+ip2 ·r2 /~ .
R3 ×R3
b) x̂ → +i~∂px

27
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.2.17. La representación matricial y la Mecánica Matricial

• Consideremos nalmente el caso genérico en el que el CCOC está formado por un sólo operador Ĉ

UNED
cuyo espectro es enteramente puntual y no degenerado: σ(Ĉ) = σ p (Ĉ) = {c1 , c2 , . . . }. Designaremos
por |ni el autoestado normalizado correspondiente:

Ĉ |ni = cn |ni .

Entonces, cualquier estado |ui estará representado por sus coordenadas un en la base B = {|1i , |2i , ...}
de autoestado de Ĉ :

UNED
∞ ∞
!
X X
|ui = |ni hn| |ui = un |ni ; un = hn|ui
n=1 n=1

(observe cómo hemos introducido la descomposición de la identidad o relación de cierre). A su vez,

todo operador puede escribirse como

∞ ∞
! !
. X

UNED
X X X
 = |ni hn|  |mi hm| = |ni hn|  |mi hm| = |ni An,m hm|
n=1 m=1 n,m n,m

por lo que el elemento de matriz genérico hu| Â |wi estará dado por

X X
hu| Â |wi = hu|ni An,m hm|wi = u∗n Am,n wm
n,m n,m

UNED
como ya sabemos de la sección anterior. En particular, si  = 1 tenemos

 
w0
u∗n wn = (u1 , u2 , . . . )∗  w2 
X
hu|wi =
 
.
n .
.

recordando así de nuevo un resultado general.

UNED
• Vemos que con esta representación se pone de maniesto el hecho de que todo espacio de Hilbert
separable de dimensión innita es isomorfo a C∞ , lo que transforma el álgebra genérica del
espacio de los estados en un álgebra de matrices. En concreto, la matriz representativa de  será

 
h1| Â |1i h1| Â |2i · · · h1| Â |ji ···
 h2| Â |1i h2| Â |2i · · · h2| Â |ji ··· 
 
 . . .

UNED
. . .

 → 
 . . . ··· 

 hi| Â |1i hi| Â |2i hi| Â |ji ··· 
 
. . .
. . .
. . . ···

y An,m será el m-ésimo término de la n-ésima la. La acción de los operadores sobre los kets queda
clara en la siguiente ecuación para |wi = Â |ui,
     
h1|wi A11 A12 · · · A1j ··· h1|ui
 h2|wi   A21 A22 · · · A2j ···    h2|ui 
 
  
 ..   .. .
.
.
.
  .. 
 .

= .
  . . ···  ×
 
 . .

 hi|wi   Ai1 Ai2 Aij · · ·   hj|ui 
 
   
. . . . .
. . . . .
. . . . ··· .

28
 UNED
1.2. ESPACIOS DE HILBERT Y NOTACIÓN DE DIRAC

El número complejo que se obtiene mediante la operación hv| Â |ui es

   
A11 A12 · · · A1j ··· h1|ui

UNED
 A21 A22 · · · A2j ···    h2|ui 
 


 .. .
.
.
.
  .. 
hv| Â |ui = hv|1i hv|2i · · · hv|ii · · · × 
 . . . ···  × .
 

 Ai1 Ai2
 Aij · · ·   hj|ui 
 

. . . .
. . . .
. . . ··· .

Nótese que, elegida una representación del espacio de estados (la base B) la formulación abstracta
de los vectores y operadores se convierte en una formulación matricial, por lo que recibió el nombre

UNED
de mecánica de matrices en los albores de la teoría cuántica.

• El operador adjunto de Â, que hemos llamado † , tiene unos elementos de matriz

A†ij = hi| † |ji = hj|  |ii∗ = A∗ji ,

de manera que las matrices que representan a  y † son hermíticas conjugadas una de otra (por eso
se llaman así a los operadores, claro está).

UNED
Además, si  es hermítico se cumple que  = † y, por tanto, Aij = A∗ji lo que signica que los
elementos simétricos respecto a la diagonal principal son conjugados complejos el uno del otro. En
particular Aii = A∗ii , lo que quiere decir que los elementos diagonales de la matriz que representa a un
operador hermítico son números reales.

• Observe que en mecánica matricial, la ecuación genérica de autovalores (Â − a) |ui = 0 se escribiría
como      
A11 − a A12 · · · A1j ··· u1 0

UNED

 A21 A22 − a · · · A2j ···   u2   0 
    
. . .   ..   .. 
. . .


 . . . ···  ×  . 
 
 =  . ,
 

 Ai1 Ai2 Aij − a · · · 
  ui   0 
   
. . . . .
. . . . .
. . . ··· . .

que es un sistema homogéneo de ecuaciones lineales en los coecientes uj . Para que tenga solución no
trivial (|ui 6= 0), por el teorema de Rouche-Frobënius el determinante de los coecientes ha de ser nulo

UNED
 
 A11 − a A12 · · · A1j · · · 

 A21
 A22 − a · · · A2j · · · 
 .. .
.
.
.

 .
 . . · · ·  = 0.
 (1.47)
 Ai1
 A i2 A ij − a · · · 

 .. .
.
.
.

 . . . ··· 

UNED
Obviamente si la dimensión de Hilbert es innita, la anterior igualdad ha de entenderse en sentido
formal. Sin embargo, si nuestro espacio de trabajo tiene dimensión nita N, (1.47) se transfroma en
una ecuación característica
 

 A11 − a A12 ··· A1N 

 A21 A22 − a ··· A2N 
det   = 0, (1.48)
 ··· ··· ··· ··· 

 AN 1 AN 2 ··· AN N − a 

que es una ecuación de orden N , con lo que hay N raíces reales o imaginarias (algunas de ellas pueden
ser iguales, dando lugar a degeneración). Para  autoadjunto todas las raíces son reales.

29
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.2.18. Cambio de representación

• Si cambiamos la representación que hemos elegido, las matrices que representan los kets, bras y

UNED
operadores cambian, aunque los vectores y operadores abstractos sigan siendo los mismos. Ahora
bien, tiene que quedar claro que un cambio de representación no es otra cosa que un cambio de base
en el sentido del álgebra lineal.
Aunque ya hemos anticipado algún resultado importante, por ejemplo en (1.46), vamos a hacer
aquí el tratamiento general. Sin embargo observe que todo se basará en la aplicación sistemática de
la relación de cierre, por lo que los resultados, en cierta medida, saldrán solos.

• Consideremos dos bases ortonormales Be = {|e1 i , |e2 i , ...} y Bs = {|s1 i , |s2 i , ...} y un ket |ui

UNED
arbitrario. Entonces
(e)
X X
|ui = ui |ei i = |ei i hei |ui
i i
(e)
donde ui son las coordenadas de |ui en la base Be . Análogamente

(s)
X X
|ui = ui |si i = |si i hsi |ui
i i

UNED
y si ahora introducimos la relación de cierre en la base Be
(s)
X X X X X
|ui = ui |si i = |si i hsi |ui = |si i hsi |en i hen |ui = |si i hsi |en i u(e)
n
i i i,n i n

por lo que llegamos a la siguiente relación entre coordenadas

(s)
X X
ui = hsi |en i u(e)
n ≡ Te→s (e)
i,n un (1.49)

UNED
n n

donde a la matriz Te→s con índices

e→s = hs |e i
Ti,n i n se la denomina matriz de cambio de base.

Siguiendo idéntico razonamiento

(e)
X X
ui = hei |sn i u(s)
n ≡ Ts→e (s)
i,n un
n n

UNED
y es obvio que Te→s y Ts→e son matrices inversas. Como

∗
hsi |en i = hen |si i∗ =⇒ Te→s s→e
i,n = Tn,i

tenemos que las matrices de cambio de base son unitarias (su inversa es igual a la hermítica
conjugada).

• Al igual que (1.49) dene la transformación de coordenadas de un estado en el cambio de base,

UNED
la aplicación sistemática de la descomposición de la identidad nos va a a permitir obtener una
transformación equivalente para la representación matricial de un observable Â. Recordando la
importante expresión (1.14)
X
 = |en i A(e)
n,m hem |
n,m

tenemos que
( )
(s)
XX X X X
 = |si i hsi |en i A(e)
n,m hem |sj i hsj | = |si i hsi |en i A(e)
n,m hem |sj i hsj | = |si i Ai,j hsj |
i,j n,m i,j n,m i,j

por lo que
(s)
X X
Ai,j = hsi |en i A(e)
n,m hem |sj i = Te→s (e) s→e
i,n An,m Tm,j . (1.50)
n,m n,m

30
 UNED
1.3. LA MEDIDA EN MECÁNICA CUÁNTICA

(s)
Otra forma de deducir (1.50) es efectuar Ai,j en la representación asociada a la base Be

(s)
hen |si i∗ A(e)
X X
hsi |en i A(e)

UNED
Ai,j = hsi | Â |sj i = n,m hem |sj i = n,m hem |sj i
n,m n,m

y, en cualquier caso, observe que todo se reduce a la utilización consistente de las matrices Ts→e
m,j =
hen |si i e→s
y Ti,n = hsi |en i. Es interesante que analice desde la perspectiva de esta subsección los
resultados de (1.46) y los propuestos en el Ejercicio 1.7.

EJERCICIO 1.8. Al igual que hay matrices unitarias, podemos hablar de operadores

UNED
unitarios en el espacio de Hilbert de los estados, que tendrán gran importantica en
el formalismo.
En primer lugar, un operador lineal Û del espacio de los estados es unitario si

Û −1 = Û † ⇐⇒ Û Û † = Û † Û = 1

es decir, si su adjunto es su inverso. Teniendo esto

en cuenta,
demuestre lo siguiente:

UNED
a) Todo operador unitario es isométrico, esto es, Û |vi = k|vik para todo vector |vi.

b) Si Uij es la representación matricial de un operador unitario en una base arbitraria,

entonces
X
|Uji |2 = 1 para i = 1, 2, 3, ...
j

c) Los valores espectrales de un operador unitario tienen módulo unidad.

UNED
d) Si Û1 y Û2 son operadores unitarios, entonces Û1 Û2 es un operador unitario.
 es un operador autoadjunto, entonces el operador ÛA = exp(iÂ) ≡ ∞ n
P
e) Si n=0 (i )/n!
es unitario.

UNED
1.3. LA MEDIDA EN MECÁNICA CUÁNTICA
• La interpretación de Copenhague de la mecánica cuántica ha de ser ya conocida del tercer curso.
Por ello nos limitaremos en estas notas a enunciar los resultados básicos, aunque insistamos que sus
muchas implicaciones se darán por supuestas.

UNED
1.3.1. Probabilidad en las medidas de observables
• El tercer postulado de la mecánica cuántica señala que valores se pueden obtener al hacer una medida
de un observable en un sistema cuántico y con qué probabilidad.

POSTULADO 3 DE LA MECÁNICA CUÁNTICA:

Consideremos un observable A representado por el operador autoadjunto  que actúa en
el espacio de Hilbert de los estados E. Entoces:
a) Al realizar una medida ideal del observable A en un estado cuántico cualquiera |ψi, los
únicos posibles valores de la medida son los valores espectrales (continuos o discretos) del
operador Â.
b) Si a es un autovalor del espectro puntual de Â, la probabilidad de que al medir A sobre

31
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

11
el estado |ψi se obtenga como resultado el valor a es:

UNED
P̂ |ψi

a hψ| P̂a |ψi
Pr|ψi (A = a) = 2 = (1.51)
k|ψik hψ|ψi

donde P̂a es el proyector ortogonal sobre el espacio propio Ea de autoestados de  con

autovalor a.
c) Si I es un intervalo dentro del espectro continuo de Â, la probabilidad de que al medir
A sobre el estado |ψi se obtenga un valor dentro del intervalo I es:

UNED
2
P̂I |ψi

hψ| dP̂ (λ) |ψi
Z
Pr|ψi (A ∈ I) = 2 = (1.52)
k|ψik λ∈I hψ|ψi

Observe la distinción lógica entre resultados del espectro puntual (posibilidad de obtener un valor
aislado bien denido) y del espectro continuo (posibilidad restringida a un intervalo, arbitrariamente

UNED
pequeño pero siempre nito). Note a su vez que (1.52) se construye sobre la versión más general del
teorema espectral. En el caso habitual de que la función P̂c (λ) dada en (1.32) tenga un comportamiento
noble podremos construir el operador dP̂ (λ) usando los autokets no normalizables, como veremos en
el siguiente párrafo.

• Siguiendo la notación introducida en (1.36  1.38):

ga λ g Z
1 X 1 X

UNED
Pr|ψi (A = a) = |ha; i|ψi|2 ; Pr|ψi (A ∈ I) = dλ |hλ, i|ψi|2 (1.53)
hψ|ψi hψ|ψi λ∈I
i=1 i=1

lo que implica una evaluación trivial de estas probabilidades si |ψi está representado en una base de
autoestados de Â.
• Es importante darse cuenta de la equivalencia entre preparación de un estado y medida
(ltrante). Una forma de preparar un sistema físico en un estado denido por los valores que toman

UNED
sobre él una serie de observables de un CCOC, es hacer medidas sucesivas sobre estados genéricos
de manera que se vayan ltrando aquellos para los que el resultado de la medida es el deseado.
Volveremos a este punto un poco más adelante.

• Dado un estado cuántico |ψi el valor medio o esperado del observable  en ese estado es:

hψ| Â |ψi
D E X Z
 = a Pr|ψi (A = a) + dλ λ Pr|ψi (A ∈ [λ, λ + dλ]) = (1.54)
σ c (Â) hψ|ψi

UNED
a∈σ p (Â)

y su incertidumbre es la desviación cuadrática media asociada:

v* +
u 
u D E 2 rD E D E2
(∆A)ψ = t  −  = Â2 −  (1.55)
ψ
ψ

Observe las diferentes interpretaciones de ∆A: incertidumbre intrínseca o probabilística en el caso

Copenhague, mera dispersión estadística si seguimos una prescripción estadística de la mecánica
cuántica.

D E
11
Recuerde que P̂a es autoadjunto y que P̂a2 = P̂a . Por tanto P̂a ψ|P̂a ψ = hψ| P̂a2 |ψi = hψ| P̂a |ψi.

32
 UNED
1.3. LA MEDIDA EN MECÁNICA CUÁNTICA

EJERCICIO 1.9 (1a parte) El espacio de los estados de espín de una partícula con espín
2
s = 1/2 es un espacio de Hilbert de dimensión 2 y por tanto isomorfo a C . Designamos
1


por |+i = 0 el autoestado de la componente z del espín s con autovalor +~/2 y por

UNED
0


|−i = 1 el autoestado de sz con autovalor −~/2. En esta representación los operadores
correspondientes a las componentes del espín se suelen escribir en términos de las matrices
de Pauli:
     
~ 0 1 0 −i 1 0
ŝx,y,z = σ̂ x,y,z ; σ̂ x = , σ̂ y = , σ̂ z = (1.56)
2 1 0 i 0 0 −1

UNED
a) Dado el estado genérico normalizado |ψi = α |+i + β |−i demuestre que sin pérdida de
generalidad se puede denir el estado mediante dos ángulos θ y ϕ tales que:

|ψi = cos (θ/2) |+i + eiϕ sin (θ/2) |−i con θ ∈ [0, π] , ϕ ∈ [0, 2π)

b) Halle la probabilidad de que al medir ŝz en |ψi se obtengan los valores ±~/2.
2
c) Obtenga, en función de θ y ϕ, el valor esperado de s y el de |s| .
d) Demuestre que |ψi es autoestado con autovalor +~/2 del observable n · ŝ, donde n es

UNED
el vector unitario n = (cos ϕ sin θ, sin ϕ sin θ, cos θ).
Solución:
a) Tenga en cuenta que |ψi está normalizado y que es necesario denir una fase relativa
entre las dos componentes.
2
b) Inmediatamente: Pr|ψi (sz = +~/2) = cos
2 (θ/2) , Pr|ψi (sz = −~/2) = sin (θ/2).
c) hsi|ψi = (cos ϕ sin θ, sin ϕ sin θ, cos θ) ~/2, s2 |ψi = 3~2 /4 (el número cuántico s es 1/2).


d) Basta comprobar que (n · ŝ) |ψi = (~/2) |ψi

UNED
1.3.2. Interacción entre medida y estado: reducción o colapso del estado cuántico
Como hemos visto en la subsección anterior, la formulación tradicional de la mecánica cuántica

UNED
arma que la probabilidad de obtener el valor a en una medida del observable  sobre un sistema en
el estado cuántico |ψi es
ga
1 X
Pr|ψi (A = a) = |ha; i|ψi|2 ,
hψ|ψi
i=1

siendo |a; ii el i-ésimo autoestado de  con autovalor a (en el caso general con degeneración).

UNED
Supongamos ahora que, inmediatamente después de la primera medida de A, hacemos una segunda
medida del mismo observable sobre el mismo sistema. Parece físicamente razonable suponer que si el
resultado de la primera medida ha sido a, el resultado de la medida inmediatamente posterior también
debería ser a con certeza absoluta. Entonces la ecuación (1.53) obliga a suponer que, antes de la
segunda medida, el estado sea un autoestado de  con autovalor a, de manera que Pr|ψi (A = a) = 1.
En otras palabras, debemos admitir que la primera medida ha hecho saltar el estado del sistema
de |ψi a un autoestado de Â. El problema es que este salto discontinuo no obedece a la ecuación
de Schrödinger y la evolución no es lineal y unitaria: de golpe han desaparecido todos los estados
ortogonales a Ea que aparecían en la expansión de |ψi en términos de autoestados de Â.12 En concreto

12
Podría pensarse que la dicultad proviene de haber aceptado la expresión (1.53) para la probabilidad. Sin embargo, en 1957,
Gleason demostró que la forma más general de denir una distribución de probabilidad que dé valores matemáticamente razonables
es a través de una matriz densidad y, en el caso de estados puros, se recupera la expresión (1.53) citada.

33
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

POSTULADO 4 DE LA MECÁNICA CUÁNTICA:

Consideremos una medida de un observable  cuyo resultado es un valor dentro de un
subconjunto I del espectro de  pero de tal manera que la medida es incapaz de discernir

UNED
 −
un valor concreto del mismo. Entonces, si ψ es el estado cuántico inmediatamente antes
de la medida, el estado cuántico inmediatamente posterior a ésta será

 
Z
 +
 1 X  −
  −

 =  P̂a  + dP̂ (λ)  
λ∈Ic
Z
X  −
  −  a∈Ip
P̂a  + dP̂ (λ) ψ


UNED

a∈Ip λ∈Ic

(1.57)
donde Ip e Ic son las partes del intervalo I pertenecientes al espectro puntual y al espectro
continuo, respectivamente.

• Desde luego, esta reducción de la función de onda o colapso del estado cuántico es uno de
los puntos más oscuros y debatidos de la mecánica cuántica. Según la interpretación ortodoxa, la

UNED
descripción del proceso de medida como un proceso continuo que obedece a la ecuación de Schrödinger
requeriría introducir en el sistema bajo estudio al propio aparato de medida, los observadores, los
observadores de los observadores, etc. en un regreso innito. Por ello es necesario cortar en algún
momento este proceso y postular que hay un salto discontinuo. Recíprocamente, podemos partir de
un sistema compuesto sistema+aparato de medida (más observadores, etc.) en un estado puro descrito
por una matriz densidad, y a partir de ésta obtener una matriz densidad parcial ρ(I) que describe un
estado mezcla, como se explicará en un tema posterior. Pero esto último supone promediar sobre los

UNED
grados de libertad del resto del sistema compuesto y borrar las fases relativas de los estados que forman
parte de la combinación lineal; en otras palabras, romper la unitariedad de la evolución temporal. En
denitiva, el proceso de medida y la evolución continua son procesos incompatibles.
Pese a todas estas discusiones, y aún admitiendo que no está claro como tiene lugar el proceso,
el postulado de reducción es un postulado práctico que permite cerrar el formalismo, aunque sea a
costa de introducir dos leyes de evolución temporal mutuamente incompatibles (y sin saber muy bien
en qué momento deja de ser válida una y es reemplazada por la otra). Como decía sonoramente John
Bell, la mecánica cuántica así construida es una teoría válida FAPP (For All Practical Purposes),

UNED
es decir, válida a todos los efectos prácticos. Las nuevas visiones sobre el problema de la medida
exceden sobremanera el nivel de este curso y el lector interesado debe esperar a tener una base sólida
en fundamentos de mecánica cuántica antes de abordar este fascinante tema.

1.3.3. Compatibilidad. Relación de incertidumbre generalizada

UNED
• En primer lugar recordemos el Teorema de compatibilidad:

Dados dos observables  y B̂ en un sistema físico cuyo espacio de los estados es E, las
siguientes armaciones son equivalentes:
a) Â y B̂ se pueden medir simultáneamente en cualquier estado |φi (compatibilidad).
b) [Â, B̂] = 0 (conmutatividad).
c) Todos los proyectores espectrales de  conmutan con los de B̂ .
d) Existe una base ortonormal del espacio de los estados formada por autoestados
simultáneos de  y B̂ .

El punto d) del teorema de compatibilidad está directamente relacionado con la preparación de estados.
De acuerdo con esto, podemos construir estados |a, b; ii (i es un posible índice de degeneración)

34
 UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA

realizando medidas simultáneas de  y B̂ y seleccionando los estados para los cuales los resultados
han sido a y b, respectivamente.

UNED
• El segundo resultado importante es la relación de incertidumbre generalizada o desigualdad
de Heisenberg :

Sean  y B̂ dos observables. Denido el observable Ĉ = i[Â, B̂] se cumple que para
cualquier estado normalizado |ψi:

1   1 
(∆Â)|ψi (∆B̂)|ψi ≥ hĈi|ψi  = hψ| [Â, B̂] |ψi (1.58)
  
2 2

UNED
A la luz de este teorema, el principio de incertidumbre de Heisenberg se maniesta directamente en
el Postulado 6 de la mecánica cuántica.

EJERCICIO 1.9 (2a parte) Consideremos el espacio de los estados de espín de una
partícula con espín s = 1/2.
a) Demuestre que [ŝx , ŝy ] = i~ŝz y plantee la relación de incertidumbre generalizada

UNED
correspondiente.
b) Compruebe explícitamente dicha desigualdad para el estado cuántico genérico
cos (θ/2) |+i + eiϕ sin (θ/2) |−i
Solución: a) Es operativo; entonces ∆ŝx ∆ŝy ≥ ~ |hŝz i| /2. b) También operativo y usando
relaciones trigonométricas básicas.

UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA
• Al igual que sucedía con la sección anterior, todos los contenidos fundamentales del tema han de
ser conocidos del tercer curso. Por tanto nos limitaremos a resumir los aspectos más importantes.
Cerraremos esta sección con una discusión detallada de la llamada imagen de Heisenberg,
completamente nueva para el estudiante, y con el desarrollo en serie del operador de evolución
temporal, que es la base de toda la teoría de perturbaciones dinámicas.

UNED
1.4.1. Evolución de un sistema cuántico. Ecuación de Schrödinger
• Consideremos un sistema físico cuyo espacio de los estado es E . Como sabemos, la evolución dinámica
del sistema está regida por el observable hamiltoniano el cual supondremos con toda generalidad
que depende del tiempo (sistema abierto). El hamiltoniano cuántico Ĥ (t) ha de tener una cierta

UNED
correspondencia con su análogo clásico. Entonces:

POSTULADO 5 DE LA MECÁNICA CUÁNTICA:

Para todo sistema físico existe un operador lineal autoadjunto Ĥ (t), llamado
hamiltoniano del sistema que determina la evolución temporal del sistema. En
particular, la evolución temporal de un estado cuántico arbitrario |ψ (t)i está dada por
la ecuación de Schrödinger

∂
i~ |ψ (t)i = Ĥ (t) |ψ (t)i (1.59)
∂t

Si el sistema físico fuese cerrado, Ĥ no dependerá explícitamente del tiempo y el

hamiltoniano representará la energía mecánica total del sistema.

35
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

• Observe que (1.59) es una ecuación de primer orden en el tiempo. Por tanto el conocimiento del
estado cuántico en un instante t0 determina unívocamente su evolución posterior, esto es,
el estado cuántico en un instante arbitrario t. Formalmente, la relación entre |ψ (t0 )i y |ψ (t)i está

UNED
dada por un operador lineal unitario Û (t, t0 ) al que denominaremos operador de evolución
temporal de manera que

|ψ (t)i = Û (t, t0 ) |ψ (t0 )i (1.60)

Si sustituimos (1.60) en (1.59) llegamos a la siguiente relación entre operadores

∂
i~ Û (t, t0 ) = Ĥ (t) Û (t, t0 )

UNED
∂t
e imponiendo la condición inicial Û (t0 , t0 ) = 1, el operador de evolución temporal verica la siguiente
ecuación integral
Z t
i
Û (t, t0 ) = 1 − dτ Ĥ (τ ) Û (τ , t0 ) (1.61)
~ t0

UNED
Si el sistema es cerrado (no hay una fuente exterior dependiente del tiempo actuando sobre el
sistema), Ĥ es independiente del tiempo y la solución de (1.61) es

 
t − t0
Û (t, t0 ) = exp −i Ĥ (1.62)
~

por lo que, usando (1.60)

 
t − t0

UNED
|ψ (t)i = exp −i Ĥ |ψ (t0 )i .
~
|ψ (t0 )i en una base de autoestados de la
Esta expresión es fácilmente evaluable si expresamos
energía Ĥ (estados estacionarios) Para el caso en el que Ĥ tiene tanto espectro puntual como
espectro continuo y siendo |ε; ii los autoestados ortonormales de Ĥ (en sentido generalizado si hay
espectro continuo), la resolución espectral de la identidad será

gn g(ε)

UNED
XX Z X
1= |εn ; ii hεn ; i| + dε |ε, ii hε, i|
n i=1 σ c (Ĥ) i=1

donde {εn } son las energías permitidas en el espectro puntual,gn la degeneración del nivel energético
correspondiente, |εn ; ii el i-ésimo estado estacionario ortonormal dentro del nivel,13 ε son el continuo
de energías permitidas, g (ε) la degeneración correspondiente y |ε, ii el autoestado no normalizable
correspondiente. Estos autoestados (tanto del discreto como del continuo) obedecen la ecuación de
Schrödinger independiente del tiempo

UNED
Ĥ |ε, ii = ε |ε, ii (1.63)

y, en esta representación, el operador de evolución temporal (1.62) es

gn Z g(ε)
XX X
−iεn (t−t0 )/~
Û (t, t0 ) = e |εn ; ii hεn ; i| + dε e−iε(t−t0 )/~ |ε, ii hε, i|
n i=1 σ c (Ĥ) i=1

13
En cierto modo esto es un abuso del lenguaje, ya que el estado estacionario es realmente

|ε, i (t)i = exp (−iεt/~) |ε, ii

siendo su carácter estacioniario obvio porque la dependencia temporal está contenida en una constante multiplicativa.

36
 UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA

por lo que (hacemos una pequeña reordenación)

UNED
gn Z g(ε)
X X X
|ψ (t)i = e−iεn (t−t0 )/~ hεn ; i|ψ (t0 )i |εn ; ii + dεe−iε(t−t0 )/~ hε, i|ψ (t0 )i |ε, ii (1.64)
n i=1 σ c (Ĥ) i=1

y basta conocer las coordenadas de |ψ (t0 )i en la base de autoestados de la energía. Debemos insistir
que las expresiones (1.62  1.64) sólo resultan válidas para sistemas en los que el hamiltoniano no
depende explícitamente del tiempo.

UNED
• Como sabemos, la evolución temporal marcada por la ecuación de Schrödinger (1.59) preserva la
norma del estado cuántico, ya que el operador de evolución temporal es isométrico (es unitario).
Debemos recordar también que dicha evolución temporal es válida siempre y cuando no se efectúe una
medida sobre el estado, ya que de lo contrario y debido al POSTULADO 4, se produciría una reducción
o colapso del estado cuántico que es incompatible con la evolución de Schrödinger. Insistamos en que
este es el punto más débil del formalismo cuántico bajo la interpretación ortodoxa de Copenhague.

UNED
1.4.2. Evolución temporal de los valores medios

• Consideremos un sistema físico cuyo hamiltoniano es Ĥ (t) y un observable Â(t) que puede depender
explícitamente del tiempo. Dado un estado |ψ (t)i normalizado el valor esperado de  en dicho estado
para un instante de tiempo arbitrario será

UNED
hÂiψ (t) = hψ (t)| Â (t) |ψ (t)i

(la notación no es única). Nuestro objetivo es deducir una ecuación diferencial cuya solución nos dé
hÂiψ (t) si conocemos el valor inicial hÂiψ (t0 ). Si tenemos en cuenta que

∂ i ∂ −i
hψ (t)| = hψ (t)| Ĥ (t) ; |ψ (t)i = Ĥ (t) |ψ (t)i
∂t ~ ∂t ~

UNED
inmediatamente vemos que

d i ∂ Â(t)
hÂiψ (t) = − h[Â(t), Ĥ (t)]iψ (t) + h iψ (t) (1.65)
dt ~ ∂t

y en el caso más habitual en el que  no dependa explícitamente del tiempo

UNED
d i
hÂiψ (t) = − h[Â, Ĥ(t)]iψ (t) . (1.66)
dt ~

• La igualdad (1.66) sirve para caracterizar inmediatamente las constantes del movimiento:
observables cuyo valor esperado (o medio) es independiente del tiempo para cualquier estado cuántico:

 es cte. del movimiento ⇐⇒ [Â, Ĥ(t)] = 0. (1.67)

Observe que (1.67) exige que  no dependa explícitamente del tiempo aunque no es necesario que el
sistema objeto a estudio sea cerrado.

37
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.4.3. El Teorema de Hellman-Feynman

• Consideremos un sistema físico genérico y sea Ĥ (α) un hamiltoniano que depende de un

UNED
parámetro α (que no es el tiempo sino, por ejemplo, la frecuencia en un oscilador armónico
simple). Como consecuencia sus valores propios y los autoestados correspondientes también dependen
paramétricamente de α. Si |ψ (α)i es el autoestado normalizado de Ĥ (α) con autovalor E (α), el cual
supondremos no-degenerado, se cumple el llamado teorema de Hellman-Feynman

*   +
dE(α)  ∂ Ĥ(α) 
= ψ(α)   ψ(α) (1.68)
 
dα  ∂α 

UNED
Su demostración es operativa. Sólo hay que tener en cuenta que al estar |ψ (α)i normalizado
   
d hψ (α) |ψ (α)i d (α) dψ (α)
hψ (α) |ψ (α)i = 1 ⇒ = |ψ (α) + (α) | =0
dα dα dα

Dicho esto, como E(α) = hψ (α)| Ĥ (α) |ψ (α)i:

UNED
  *   + 
dE(α) dψ (α)    ∂ Ĥ (α)    dψ (α) 
= Ĥ (α) ψ (α) + ψ (α) ψ (α) + (α) Ĥ (α)
    
dα dα  ∂α  dα
     

Ahora bien, |ψ (α)i es autoestado de Ĥ (α), por lo que

  *   +  
dE(α) dψ (α)  ∂ Ĥ (α)  dψ (α)
= E (α) |ψ (α) + ψ (α)  ψ (α) + E (α) ψ (α) | .
 
dα dα  ∂α  dα


UNED
Pero por lo dicho al principio, el primer y el tercer término se compensan. En denitiva,
*   +
dE(α)  ∂ Ĥ (α) 
= (α)  (α) ,
 
dα  ∂α 


tal y como queríamos demostrar. La utilización de este teorema es ubicua tanto en el desarrollo de la
teoría como en las aplicaciones de la mecánica cuántica.

UNED
• Observe que el resultado del teorema de Hellman-Feynman es generalizable a cualquier operador
dependiente de un parámetro; esto es, no está restringido al operador de Hamilton. Haciendo un
enunciado textual, el teorema arma que la variación a primer orden del valor esperado de un operador
dependiente de un parámetro sólo está debida a los cambios en el propio operador, no a los de los
autoestados correspondientes.

UNED
1.4.4. Evolución temporal de los observables

• Consideremos un observable  genérico. La relación (1.66) nos permite denir en el marco de la

mecánica cuántica cuál es el observable asociado a su variación temporal. En concreto

ḃ (t) = − i [Â, Ĥ(t)]

A ⇐⇒
d
hÂiψ (t) = hAi
ḃ (t) (1.69)
ψ
~ dt
(observe que el segundo miembro de (1.69) es autoadjunto, por lo que la denición tiene sentido).

• Para una partícula no relativista sin espín sometida a una fuerza conservativa

F (r) = −∇V (r)

38
 UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA

donde V (r) es la energía potencial (por abuso del lenguaje diremos muchas veces que V (r) es el
potencial), el hamiltoniano es

UNED
1
p̂2x + p̂2y + p̂2z + V (x̂, ŷ, ẑ) .


Ĥ = K̂ + V̂ =
2m

Usando la representación en el espacio de posiciones, álgebra de conmutadores y las reglas de

conmutación canónicas es inmediato ver que

ḃ = 1 p̂x ; ḃ
x
1
y = p̂y ; ḃ
1
z = p̂z (1.70)
m m m

UNED
relaciones que constituyen el primer teorema de Ehrenfest.
A su vez, si denimos los operadores representativos de las componentes cartesianas de la fuerza F:

F̂x = Fx (x̂, ŷ, ẑ) ; F̂y = Fy (x̂, ŷ, ẑ) ; F̂y = Fy (x̂, ŷ, ẑ)

tenemos que

UNED
px = F̂x
ḃ ; py = F̂y
ḃ ; pz = F̂z
ḃ (1.71)

que constituyen la expresión formal del segundo teorema de Ehrenfest.

1.4.5. La imagen de Heisenberg

UNED
• La forma de enfocar la evolución cuántica que hemos visto hasta ahora se denomina imagen de
Schödinger de la evolución temporal (también se usa el término representación de Schrödinger).
En ella los estados evolucionan en el tiempo de acuerdo con la ecuación de Schrödinger (1.59) y los
observables están representados por operadores que no dependen explícitamente de t si la denición
de tales observables es ja (estacionaria). Observe que, como consecuencia, los autoestados de los
observables tampoco dependen de t, lo cual no quiere decir que en un sistema dado, si un estado
|ψ (t0 )i es autoestado de un observable  el estado en un tiempo posterior |ψ (t)i siga siéndolo. Esto

UNED
último será sólo posible si  es una constante del movimiento, lo que explica la conveniencia de
construir CCOC's a partir de constantes del movimiento.

• Otro procedimiento, formalmente equivalente al anterior, para describir la física del problema es
el que se obtendría mediante cualquier transformación unitaria que actúe sobre los kets y sobre
los observables del espacio de estados. Dado que la transformación es unitaria, los observables se
transformarían en otros observables con el mismo espectro de valores propios y con los mismos vectores
propios, al tiempo que se conservarían todas las relaciones algebraicas, las relaciones de conmutación

UNED
y los productos escalares. Nótese que, entonces, las probabilidades de obtener medidas de dichos
observables (dadas por cuadrados complejos de productos escalares) serían iguales a las que se hubieran
obtenido antes de hacer la transformación unitaria. Recuerde, en este sentido, la relación entre cambio
de base y transformación unitaria.
Ahora bien, la idea anterior es generalizable a transformaciones unitarias que dependen
explícitamente del tiempo lo que, grosso modo sería equivalente a hacer cambios de base en los
que la matriz de transformación dependa explícitamente del tiempo.

• De acuerdo con lo anterior consideremos un sistema cerrado en el que el hamiltoniano del sistema
es Ĥ , denimos la imagen o representación de Heisenberg como la representación asociada a la
transformación unitaria dada por el adjunto del operador unitario de evolución temporal Û (t, t0 ). Si
denotamos por un subíndice S a los objetos descritos en la imagen usual de Schrödinger y por un
subíndice H cuando están descritos en la de Heisenberg, obtenemos las siguientes relaciones entre kets

39
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

y operadores en ambas representaciones:

 
i (t − t0 )

UNED
|ΨH (t)i = Û † (t, t0 ) |ΨS (t)i = exp Ĥ |ΨS (t)i
~
(1.72)
   
† i (t − t0 ) i (t − t0 )
ÂH (t) = Û (t, t0 )ÂS (t) Û (t, t0 ) = exp + Ĥ ÂS (t) exp − Ĥ
~ ~

Ahora bien, |ΨS (t)i = Û (t, t0 ) |Ψ(t0 )i, de modo que

UNED
|ΨH (t)i = Û † (t, t0 )Û (t, t0 ) |ΨS (t0 )i = |ΨS (t0 )i =⇒ |ΨH (t)i = |ΨS (t0 )i (1.73)

(recuerde que Û es unitario: su inverso es igual a su adjunto). En denitiva, los kets en la imagen
de Heisenberg son objetos estacionarios, pues no dependen del tiempo. Puede entonces
ver que la dinámica en la imagen de Heisenberg se reeja en una dependencia temporal
explícita en los operadores que representan a los observables, aunque la denición física de
los mismos no dependa de t. Para un observable independiente del tiempo t

UNED
ÂH (t) = Û † (t, t0 )ÂS Û (t, t0 ).

Observe que ĤH (t) = Û † (t, t0 )ĤS Û (t, t0 ), pero como ĤS y Û conmutan la representación del
hamiltoniano en las imágenes de Heisenberg y Schrödinger coinciden, por lo que escribiremos
ĤH = ĤS = Ĥ . Veremos un poco más adelante que esto también es cierto para cualquier constante
del movimiento.

UNED
• Dado que el operador Û (t, t0 ) sigue la ecuación de evolución

d d †
i~ Û (t, t0 ) = Ĥ Û (t, t0 ) ; −i~ Û (t, t0 ) = Û † (t, t0 ) Ĥ
dt dt
al derivar ÂH (t) = Û † (t, t0 )ÂS (t) Û (t, t0 ) respecto del tiempo obtendríamos la evolución temporal del
operador ÂH (t):

dÂH (t) ∂ ÂS (t)

UNED
i~ = −Û † (t, t0 ) Ĥ ÂS (t) Û (t, t0 ) + i~Û † (t, t0 ) Û (t, t0 ) + Û † (t, t0 ) ÂS (t) Ĥ Û (t, t0 )
dt ∂t
∂ ÂS (t)
= Û † (t, t0 ) [ÂS (t) , Ĥ]Û (t, t0 ) + i~Û † (t, t0 ) Û (t, t0 ) .
∂t
La anterior relación puede simplicarse usando que Ĥ , Û † y Û conmutan entre sí

Û † (t, t0 ) [ÂS (t) , Ĥ]Û (t, t0 ) = [Û † (t, t0 ) ÂS (t) Û (t, t0 ) , Ĥ] = [ÂH (t) , Ĥ]

UNED
y también usando la linealidad de operadores y derivadas:

∂ ÂH (t) ∂  †  ∂ ÂS (t)

= Û (t, t0 ) ÂS (t) Û (t, t0 ) = Û † (t, t0 ) Û (t, t0 )
∂t ∂t ∂t
ya que la dependencia temporal en t de Û (t, t0 ) es implícita (la propia denición de Û (t, t0 ) no depende
del tiempo). En denitiva:

dÂH (t) h i ∂ ÂH (t)

i~ = ÂH (t) , Ĥ + i~ (1.74)
dt ∂t

que es la llamada ecuación de Heisenberg, resoluble formalmente con la condición inicial ÂH (t0 ) =
ÂS (t0 ). Recuerde que si la denición del observable es independiente del tiempo, el último término de

40
 UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA

(1.74) es cero. Debe tenerse en cuenta que la ecuación de Heisenberg es una ecuación entre operadores,
lo que hace que su resolución sea en principio más complicada que la ecuación de Schrödinger (una
ecuación de autovalores). A pesar de ello la imagen de Heisenberg es muy útil a la hora de obtener

UNED
relaciones formales relativas a la evolución de los sistemas cuánticos.

• En esta imagen de Heisenberg hemos dado al espacio de estados un movimiento tal que:

i) cada estado se representa mediante un vector ket jo, que llamaremos |ΨH i, del espacio de estados.
ii) cualquier variable dinámica viene representada por un observable denido en dicho espacio de
estados, que evoluciona según la ecuación de Heisenberg (1.74).

UNED
Podemos hacer una analogía geométrica sencilla con la representación de vectores en un espacio
euclídeo normal. Para ello, podemos escoger como sistema de referencia un conjunto jo de ejes
ortogonales, que puede estar constituido por un conjunto de vectores propios de una matriz hermítica
con coecientes constantes. Un estado de un sistema físico en evolución se representará entonces por
un vector de norma unidad cuyo origen coincide con el origen del sistema de referencia elegido y cuyo
extremo se mueve en el curso del tiempo. Esta forma de representación corresponde a la imagen de
Schrödinger.
Alternativamente, podríamos dotar a todo el espacio euclídeo de un movimiento de rotación tal

UNED
que deje jo al vector que representa al sistema físico. Entonces, los que antes eran ejes coordenados
jos parecerán ahora estar moviéndose en conjunto en el curso del tiempo, y en sentido contrario
respecto al que se movía el vector en la representación de Schrödinger. Esta segunda representación
corresponde a la imagen de Heisenberg.
Hay que notar, sin embargo, que ambas representaciones geométricas las proyecciones del vector
sobre los ejes de referencia son las mismas, pues sólo dependen de los ángulos que forman los vectores
entre sí y estos son independientes de que el espacio entero esté rotando o no. Por consiguiente, los

UNED
resultados físicos de cualquier medida son los mismos en ambas representaciones.

• Si el estado del sistema es ψ, representado por |ψ H i en la imagen de Heisenberg y |ψ S (t)i en la

de Schrödinger, la probabilidad de encontrar en un instante t1 al sistema en el estado Φ (t1 ) es igual
a |hψ S (t1 ) |ΦS (t1 )i|2 en la imagen de Schrödinger y a |hψ H |ΦH i|2 en la de Heisenberg. Naturalmente
ambas cantidades coinciden ya que, como hemos comentado, el producto escalar es invariante bajo
cualquier transformación unitaria.

• constante de movimiento.

UNED
En la imagen de Heisenberg se puede entender mejor el concepto de
Para ello, supongamos una variable dinámica A que no depende del tiempo de manera explícita; se
dice que esa variable es una constante de movimiento si el operador ÂH que la representa en la imagen
de Heisenberg permanece constante en el tiempo, esto es, que dÂH (t) /dt = 0. En ese caso, resulta que
dicho observable tiene un conjunto de vectores propios jos y que la probabilidad de obtener algún
varlor concreto al medir la variable dinámica es independiente del momento en que se haga la medida.
En efecto, para un observable sin dependencia temporal explícita la ecuación de Heisenberg se
reduce a

UNED
dÂH (t) h i
i~ = ÂH (t) , Ĥ
dt
y, por tanto, para una constante del movimiento
h i
A es cte. del movimiento ⇐⇒ ÂH (t) , Ĥ = 0 (1.75)

de modo que las constantes del movimiento son aquellas cuyos observables conmutan con el
hamiltoniano independientemente de que estemos en la imagen de Heisenberg o en la de Schrödinger.
Además, el observable que verique la ecuación (1.75) resulta tener la misma expresión tanto en la
imagen de Schrödinger como en la imagen de Heisenberg, ya que ÂH (t) = ÂH (t0 ) = ÂS . Por tanto, su
ecuación de autovalores es ÂH |ΨH i = a |ΨH i y si el estado |ΨH i es cualquier autoestado del observable
ÂH , la variable dinámica conserva el valor a a lo largo del tiempo: se dice que a es un buen número
cuántico.

41
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

• Supongamos un sistema cuántico que tenga un análogo clásico. Esto signica que a cada magnitud
física del sistema clásico le corresponde una magnitud física del sistema cuántico, aunque estas últimas
son cantidades que no obedecen el álgebra ordinaria, sino un álgebra de operadores no conmutativa. Así,

UNED
podemos denir las variables cuánticas como funciones de los observables de posición q̂1 , q̂2 , . . . , q̂N y
de los observables del momento lineal p̂1 , p̂2 , . . . , p̂N en nuestro sistema. Estos observables no conmutan
dos a dos, pues verican las reglas de conmutación canónicas [q̂i , q̂j ] = 0, [p̂i , p̂j ] = 0, [q̂i , p̂j ] = i~δ ij .
Además, para operadores que sean funciones generales de los observables q̂ y p̂ sus relaciones de
conmutación resultan ser:

h i ∂ Â h i ∂ Â
q̂i , Â = i~ ; p̂i , Â = −i~ .

UNED
∂ p̂i ∂ q̂i

independientemente de la representación. Por tanto, las ecuaciones de Heisenberg para esas variables
son
dq̂i 1h i ∂ Ĥ dp̂i 1h i ∂ Ĥ
= −i q̂i , Ĥ = ; = −i p̂i , Ĥ = −
dt ~ ∂ p̂i dt ~ ∂ q̂i
que son formalmente idénticas a las ecuaciones de Hamilton de la mecánica clásica.
Supongamos ahora un sistema clásico, denido por las variables de posición

UNED
q1 , q2 , . . . , qN y del momento lineal p1 , p2 , . . . , pN y sea una de sus variables dinámicas
Aclas (q1 , q2 , . . . , qN ; p1 , p2 , . . . , pN ). Si el hamiltoniano depende de las variables de posición y de
momento, Hclas (q1 , q2 , . . . , qN ; p1 , p2 , . . . , pN ), se puede escribir el corchete de Poisson de la
variable dinámica Aclas y del hamiltoniano como

X  ∂Aclas ∂Hclas ∂Aclas ∂Hclas 

{Aclas , Hclas }P ≡ − ,
∂qi ∂pi ∂pi ∂qi
i

UNED
de manera que la ecuación de movimiento de la variable dinámica clásica es

dAclas ∂Aclas
= {Aclas , Hclas }P + . (1.76)
dt ∂t
Si ahora comparamos (1.76) con (1.74), vemos que se puede identicar el corchete de Poisson de
las variables dinámicas clásicas con el conmutador de las variables dinámicas cuánticas (salvo factor

UNED
multiplicativo). Esta es una ilustración formal del principio de correspondencia que, en denitiva, da
total racionalidad al formalismo cuántico.

• Veamos un ejemplo ilustrativo. Consideremos una partícula de espín 1/2 para la cual el espín
está regido por el hamiltoniando de evolución, en la representación de autoestados de ŝz ,
 
0 ε
Ĥ = con ε ∈ R+ .
ε 0

UNED
Diagonalizando la matriz Ĥ es inmediato ver que

σ Ĥ = {+ε, −ε}

y que los autovectores correspondientes son

   
1 1 1 φ−ε = √1 (|+i − |−i) = √1
  1
|φε i = √ (|+i + |−i) = √ ; .
2 2 1 2 2 −1

Usando el teorema espectral, cualquier operador de la forma f (Ĥ) podrá escribirse como

   
 
 f (ε) 1 f (−ε) 1
f (Ĥ) = f (ε) |φε i hφε | + f (−ε) φ−ε φ−ε  = (1, 1) + (1, −1)
2 1 2 −1

42
 UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA

y efectuando los productos matriciales

     
f (ε) 1 1 f (−ε) 1 −1 1 f (ε) + f (−ε) f (ε) − f (−ε)

UNED
f (Ĥ) = + = .
2 1 1 2 −1 1 2 f (ε) − f (−ε) f (ε) + f (−ε)

Así, si tomamos el instante inicial t0 = 0, el operador de evolución temporal será

e−iωt + eiωt e−iωt − eiωt

     
i 1 cos (ωt) −i sin (ωt)
Û (t, 0) ≡ Û (t) = exp − Ĥt = =
~ 2 e−iωt − eiωt e−iωt + eiωt −i sin (ωt) cos (ωt)

donde ω = ε/~. Vemos inmediatamente que, como era de esperar,

UNED
|φε (t)i = e−iωt |φε i ; φ−ε (t) = eiωt φ−ε
   

y también que
 
† cos (ωt) i sin (ωt)
Û (t) =
i sin (ωt) cos (ωt)

UNED
viendo que Û † (t)Û (t) = Û (t)Û † (t) = 1.
Así, si en t=0 el estado cuántico del espín es |Ψ (0)i ≡ |Ψi = α |+i + β |−i, en la representación
de Schrödinger

    
cos (ωt) −i sin (ωt) α α cos (ωt) − iβ sin (ωt)
|ΨS (t)i = Û (t) |Ψi = =
−i sin (ωt) cos (ωt) β −iα sin (ωt) + β cos (ωt)

mientras que en la de Heisenberg

UNED
 
† α
|ΨH (t)i = Û (t) |ΨS (t)i = = |Ψi .
β

Finalmente, la componente z del espín es, en la imagen de Schrödinger

 
~ 1 0
(ŝz )S =

UNED
2 0 −1

mientras que en la imagen de Heisenberg

   
† ~ cos (ωt) i sin (ωt) 1 0 cos (ωt) −i sin (ωt)
(ŝz )H (t) = Û (t) (ŝz )S Û (t) =
2 i sin (ωt) cos (ωt) 0 −1 −i sin (ωt) cos (ωt)
 
~ cos (2ωt) −i sin (2ωt)
= .
2 i sin (2ωt) − cos (2ωt)

UNED
Por tanto, el valor esperado de ŝz en el estado ψ será

hŝz iψ (t) = hΨ| (ŝz )H (t) |Ψi = hΨS (t)| (ŝz )S |ΨS (t)i

y usando cualquiera de las dos representaciones

~ n 2  o
hŝz iψ (t) = |α| − |β|2 cos (2ωt) + i(αβ ∗ − βα∗ ) sin (2ωt) .
2

43
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.4.6. Desarrollo en serie del operador de evolución temporal

• Retomemos la imagen de Schrödinger y consideremos un sistema físico regido por el hamiltoniano

UNED
dependiente explícitamente del tiempo Ĥ(t). Como ya hemos visto, el operador de evolución temporal
satisface formalmente la ecuación diferencial

∂
i~ Û (t, t0 ) = Ĥ (t) Û (t, t0 ) . (1.77)
∂t
Imaginemos ahora la siguiente situación: sobre un sistema físico cuya evolución está regida por el
hamiltoniano independiente del tiempo Ĥ0 , empieza a actuar a partir de un instante t0 una perturbación
exterior cuya energía de interacción con el sistema original está representada por el operador λŴ (t)

UNED
14
dependiente del tiempo. Aquí, λ es un parámetro adimensional que nos sirve para cuanticar la
intensidad de la perturbación, por lo que el hamiltoniano total (original + perturbación) es

Ĥ(t) = Ĥ0 + λŴ (t).

Se nos plantea la dicultad de que no sabemos cómo resolver un problema en el que el hamiltoniano
es dependiente del tiempo en el cual, entre otras cosas, no tiene sentido hablar de estados estacionarios
y para el que la ecuación (1.62) no es válida. La idea de la llamada teoría de perturbaciones

UNED
dependientes del tiempo es realizar un desarrollo en serie del operador de evolución temporal
Û (t, t0 ) en términos del parámetro λ:

Û (t, t0 ) = Û0 (t, t0 ) + λÛ1 (t, t0 ) + λ2 Û2 (t, t0 ) + . . . (1.78)

de manera que si λ es pequeño resulte posible aproximar Û (t, t0 ) por los términos de orden más bajo.

UNED
• Es evidente que Û0 (t, t0 ) es el operador de evolución temporal asociado a Ĥ0 (esto es, el caso
correspondiente a λ = 0) que está dado, como ya sabemos, por

Û0 (t, t0 ) = exp[−i (t − t0 ) Ĥ0 /~]

y si nos restringimos a una aproximación lineal o de primer orden en la perturbción, se cumple que

Z t
iλ
Û0 (t, τ ) Ŵ (τ ) Û0 (τ , t0 ) dτ + O λ2


Û (t, t0 ) = Û0 (t, t0 ) − (1.79)

UNED
~ t0

En efecto, si sustituimos el desarrollo formal en serie (1.78) en la ecuación diferencial (1.77) y

despreciamos los términos que van como λ2 , se tiene que

∂ ∂
i~ Û0 (t, t0 ) + i~λ Û1 (t, t0 ) = Ĥ0 Û0 (t, t0 ) + λĤ0 Û1 (t, t0 ) + λŴ (t) Û0 (t, t0 ) .
∂t ∂t

UNED
Como Û0 es el operador de evolución temporal de Ĥ0 , los dos primeros términos de la anterior ecuación
se cancelan (lógico, puesto que son consistentes con la solución sin perturbación). Así, la ecuación
diferencial que satisface el término Û1 (t, t0 ) es

∂
i~ Û1 (t, t0 ) = Ĥ0 Û1 (t, t0 ) + Ŵ (t) Û0 (t, t0 )
∂t
y entonces basta comprobar que la expresión para Û1 (t, t0 ) dada en (1.79) satisface la anterior igualdad.
Para ello, recordemos que Û0 (t, τ ) = exp[−i (t − τ ) Ĥ0 /~] y escribamos Û1 (t, t0 ) como

i t i −iĤ0 t/~ t iĤ0 τ /~

Z Z
Û1 (t, t0 ) = − Û0 (t, τ ) Ŵ (τ ) Û0 (τ , t0 ) dτ = − e e Ŵ (τ ) Û0 (τ , t0 ) dτ
~ t0 ~ t0

14
El mero hecho de que esa perturbación sea nula si t < t0 es una dependencia temporal en sí misma.

44
 UNED
1.4. EVOLUCIÓN TEMPORAL EN MECÁNICA CUÁNTICA

lo que nos permitirá hacer la derivada temporal y operar

( )Z
∂e−iĤ0 t/~ t t
Z
∂ Û1 (t, t0 ) ∂
eiĤ0 τ /~ Ŵ (τ ) Û0 (τ , t0 ) dτ + e−iĤ0 t/~

UNED
i~ = eiĤ0 τ /~ Ŵ (τ ) Û0 (τ , t0 ) dτ
∂t ∂t t0 ∂t t0

iĤ0 e−iĤ0 t/~ t

Z
=− eiĤ0 τ /~ Ŵ (τ ) Û0 (τ , t0 ) dτ + e−iĤ0 t/~ eiĤ0 t/~ Ŵ (t) Û0 (t, t0 )
~ t0
∂ Û1 (t, t0 )
i~ = Ĥ0 Û1 (t, t0 ) + Ŵ (t) Û0 (t, t0 ) (c.q.d.)
∂t

UNED
quedando así probada la importante igualdad (1.79).

• Supongamos que en t = t0 el sistema físico estaba en el estado Ĥ0 con |ψ ini i, estacionario de
energía Eini . En ese instante empieza a actuar la perturbación descrita por el operador λŴ (t) lo que
aparta al sistema de la evolución marcada por Ĥ0 . De esta forma el estado estacionario de Ĥ0 , |ψ ini i,
evolucionará de manera no trivial en el tiempo. De acuerdo con la aproximación (1.79) el sistema
cuántico responde linealmente a la perturbación de manera que el estado cuántico en un tiempo t > t0
será

UNED
Z t
iλ
|ψ(t)i = Û (t, t0 ) |ψ ini i = Û0 (t, t0 ) |ψ ini i − Û0 (t, τ ) Ŵ (τ ) Û0 (τ , t0 ) |ψ ini idτ + O(λ2 ).
~ t0

La actuación de Û0 (t, t0 ) sobre |ψ ini i es conocida, de modo que

t  
t−τ
Z
−i(t−t0 )Eini /~ iλ
|ψ(t)i = e |ψ ini i − exp −i Ĥ0 Ŵ (τ ) e−i(τ −t0 )Eini /~ dτ |ψ ini i + O(λ2 ).
~ t0 ~

UNED
Como el estado |ψ(t)i ya no es el estado original |ψ ini i, existe cierta probabilidad Pini→fin (t) de
que en este instante t el sistema haya evolucionado hasta otro estado estacionario distinto de Ĥ0 ,
|ψ fin i. Esta probabilidad será, naturalmente,

Pini→fin (t) = |hψ fin |ψ(t)i|2

y sustituyendo la anterior expresión y usando que |ψ fin i es i) autoestado de Ĥ0 con autovalor Efin ; ii)

UNED
ortogonal a |ψ ini i, es fácil ver que

 2 λ2 Z t
2
−1 (E
Pini→fin (t) ' λ2 hψ fin | Û1 (t, t0 ) |ψ ini i = 2  fini −Eini )τ

ei~ hψ fin | Ŵ (τ ) |ψ ini i dτ  (1.80)
 
~ t0

expresión conocida como probabilidad de transición bajo la aproximación de Born o bajo

UNED
teoría de perturbaciones dependientes del tiempo a primer orden. Este es uno de los
resultados más importantes del curso.

• La expresión (1.80) sólo es válida si |ψ ini i 6= |ψ fin i, esto es, no sirve para calcular la probabilidad
de que el sistema permanezca en el estado original |ψ ini i. A su vez, (1.80) es una buena aproximación
sólo si Pini→fin (t)  1 lo que implica, necesariamente, tiempos cortos y perturbaciones débiles (esto
es, |λ|  1).

45
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

1.5. PROBLEMAS
ORIENTACIONES GENERALES:

UNED
Aquellos problemas marcados con una (D) bien se resuelven aplicando directamente la teoría,
bien sirven de repaso a los contenidos más importantes. Ello no quiere decir que su resolución
no precise algunas operaciones matemáticas más o menos tediosas. Vd. debería intentar hacerlos
sin mirar las soluciones y comprobar el resultado.

El resto de los problemas tendrán un grado de dicultad variable. Pretenden ilustrar detalles de
la teoría, ampliar la misma, o mostrar su aplicación a situaciones concretas.

UNED
Independientemente de su dicultad, aquellos problemas señálados con (!!) presentan situaciones
sorprendentes, paradójicas o con especial interés.

A nuestro pesar, es prácticamente imposible que estas notas estén libres de erratas,
fundamentalmente tipográcas. Recuerden que existe un foro especíco para advertir de las
mismas a sus compañeros (½y al equipo docente para su pronta corrección!)

Invitamos a los estudiantes a participar activamente en el curso virtual, animándoles a publicar

en los foros soluciones alternativas y comentarios críticos a las soluciones presentadas en estas

UNED
notas, aunque basados en argumentos físicos consistentes.

PROBLEMA 1.1. (D)

Demuestre las siguientes propiedades relativas al álgebra de conmutadores:

a) [Â + B̂, Ĉ] = [Â, Ĉ] + [B̂, Ĉ]

b) [λÂ, Ĉ] = [Â, λĈ] = λ[Â, Ĉ]

UNED
c) [ÂB̂, Ĉ] = Â[B̂, Ĉ] + [Â, Ĉ]B̂
d) [Â, B̂ Ĉ] = B̂[Â, Ĉ] + [Â, B̂]Ĉ
e) Si [Â, B̂] = i~ entonces: [Â, B̂ n ] = i~nB̂ n−1 con n∈N (use inducción completa)

f ) Si [Â, B̂] = i~ entonces: [Â, exp(−iλB̂/~)] = λ exp(−iλB̂/~) con λ∈R

UNED
a) Basta desarrollar y agrupar:

[Â+ B̂, Ĉ] = (Â+ B̂)Ĉ − Ĉ(Â+ B̂) = ÂĈ + B̂ Ĉ − Ĉ Â− Ĉ B̂ = (ÂĈ − Ĉ Â)+(B̂ Ĉ − Ĉ B̂) = [Â, Ĉ]+[B̂, Ĉ].

b) Igualmente es inmediato teniendo en cuenta que λ es un escalar:

[λÂ, Ĉ] = λÂĈ − λĈ  = ÂλĈ − Ĉλ = [Â, λĈ] = λ(ÂĈ − Ĉ Â) = λ[Â, Ĉ].

UNED
c) Sólo hay que sumar y restar ÂĈ B̂ :

[ÂB̂, Ĉ] = ÂB̂ Ĉ−Ĉ ÂB̂ = ÂB̂ Ĉ−ÂĈ B̂+ÂĈ B̂−Ĉ ÂB̂ = Â(B̂ Ĉ−Ĉ B̂)+(ÂĈ−Ĉ Â)B̂ = Â[B̂, Ĉ]+[Â, Ĉ]B̂.

d) Idéntico al anterior. Sume y reste B̂ ÂĈ .

e) Para n=1 es cierto, ya que la expresión general se reduce a [Â, B̂] = i~, que es la condición entre
los operadores. Supongamos ahora que es cierto para n−1. Entonces, usando el resultado del apartado
anterior: [Â, B̂ n ] = [Â, B̂ n−1 ]B̂ + B̂ n−1 [Â, B̂], pero como estamos suponiendo que la relación es cierta
para n − 1 tenemos que:

[Â, B̂ n ] = [Â, B̂ n−1 ]B̂+B̂ n−1 [Â, B̂] = (i~(n−1)B̂ n−2 )B̂+B̂ n−1 (i~) = i~(n−1)B̂ n−1 +i~B̂ n−1 = i~nB̂ n−1

quedando demostrada la propiedad.

46
 UNED
1.5. PROBLEMAS

f ) Basta desarrollar en serie el operador exponencial y usar el resultado anterior:

∞
iλ n
   X  
iλ 1
[Â, B̂ n ]

UNED
Â, exp − B̂ = −
~ n! ~
n=0
∞ ∞
iλ n iλ n n−1
   
[Â,B̂ 0 ]=0 X 1 n
X i~
= − [Â, B̂ ] = − B̂
n! ~ (n − 1)! ~
n=1 n=1
∞ ∞
iλ n−1 n−1 iλ m m
     
X λ X 1 iλ
= − B̂ =λ − B̂ = λ exp − B̂
(n − 1)! ~ m! ~ ~
n=1 m=0

UNED
Observe que en este problema  y B̂ verican las reglas de conmutación canónicas, por lo que las
propiedades e) y f ) son de aplicabilidad para, por ejemplo, los operadores x̂ y p̂x .

PROBLEMA 1.2.
Consideremos el espacio de los estados de una partícula en una dimensión. Usando el
resultado del problema 1.1.f :

UNED
a) Demuestre que si |xi es
un estado propio del operador posición x̂ con valor propio
x, entonces exp −ia0 ~−1 p̂x |xi es un autoestado del mismo operador con valor propio
x + a0 .
b) Demuestre que si |pi es autoestado del momento lineal p̂x con valor propio p, entonces
exp (ik0 x̂) |pi es autoestado del momento con autovalor p + ~k0 .
c) Pruebe que si Ĥ es el hamiltoniano del sistema, no existe ningún operador t̂ tal que
[Ĥ, t̂] = i~

UNED
a) Como [x̂, p̂x ] = i~, de acuerdo con el problema anterior,
 a  h  a i  a   a 
0 0 0 0
a0 exp −i p̂x = x̂, exp −i p̂x = x̂ exp −i p̂x − exp −i p̂x x̂.
~ ~ ~ ~
−1 p̂


Por tanto, si |ui = exp −ia0 ~ x |xi tenemos que

UNED
 a    a   a 
0 0 0
x̂ |ui = x̂ exp −i p̂x |xi = exp −i p̂x x̂ + a0 exp −i p̂x |xi
~  ~ ~
a0 
= (x + a0 ) exp −i p̂x |xi = (x + a0 ) |ui
~
quedando comprobada la igualdad.

b) Como [p̂x , x̂] = −i~, podemos establecer la equivalencia con el resultado del problema anterior
usando [p̂x , −x̂] = i~. Por tanto

UNED
k0 ~ exp (ik0 x̂) = [p̂x , exp (ik0 x̂)] = p̂x exp (ik0 x̂) − exp (ik0 x̂) p̂x

y se procede de idéntica manera que en el apartado a); si |vi = exp (ik0 x̂) |pi tenemos que:

p̂x |vi = p̂x exp (ik0 x̂) |pi = (exp (ik0 x̂) p̂x + k0 ~ exp (ik0 x̂)) |pi = (p + ~k0 ) exp (ik0 x̂) |pi
= (p + ~k0 ) |vi

c) Supongamos que existiese tal operador que, al ser canónico conjugado de Ĥ sería la representación
natural de la variable temporal. Entonces, inspirándonos en lo visto en los apartados a) y b) de este
problema, sea |εi un autoestado de la energía y δ un valor real arbitrario. Entonces

 
δ
exp −i t̂ |εi
~

47
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

sería autoestado de la energía con autovalor ε + δ . Como esto sería cierto para cualquier δ tendríamos
que el espectro de Ĥ sería todo R, independientemente del sistema físico considerado. Puesto que esto
es absurdo, no existe ningún operador t̂ con estas características.

UNED
Este último resultado pone de maniesto la diferente naturaleza de la relación de indeterminación
posición-momento y la relación energía-tiempo. En efecto, sabemos que dados dos operadores  y B̂
que no conmutan se puede demostrar en general que

1
(∆Â)ψ (∆B̂)ψ ≥ |h[Â, B̂]iψ |;
2
x̂ p̂x ,

UNED
en el caso particular en que los operadores sean y la relación anterior conduce a la relación de
indeterminación ∆x̂·∆p̂x ≥ ~/2. Sin embargo no podemos aplicar el mismo razonamiento para obtener
la relación de indeterminación energía tiempo ya que hemos visto que no existe ningún operador que
satisfaga una relación de conmutación semejante con Ĥ .

PROBLEMA 1.3.
Consideremos dos operaradores Â, B̂ del espacio de los estados de un cierto sistema físico.

UNED
a) Demuestre que exp(ÂB̂)Â = Â exp(B̂ Â).
b) Demuestre que si [Â, [Â, B̂]] = [B̂, [Â, B̂]] = 0, entonces para una función g arbitraria
se cumple [Â, g(B̂)] = [Â, B̂]g 0 (B̂).
Sugerencia: desarrolle g en serie e imponga el cumplimiento de la igualdad orden a orden.

UNED
a) Es directo; basta expandir la exponencial:

 n n veces n veces
z }| { z }| {
∞ ÂB̂ Â ∞ ∞ ∞
X X ÂB̂ ÂB̂...ÂB̂ Â X Â B̂ Â B̂ Â...B̂ Â X Â (B̂ Â)n
eÂB̂ Â = = = = = ÂeB̂ Â
n! n! n! n!
n=0 n=0 n=0 n=0
 n
observe que, en general, ÂB̂ 6= Ân B̂ n a no ser que los operadores conmuten.

UNED
g (u) = ∞
P n 0
P∞ n−1 . Por
b) Supongamos que n=0 gn u , por lo que g (u) = n=1 ngn u tanto, tenemos que
demostrar que

[Â, B̂ n ] = n[Â, B̂]B̂ n−1 con n = 1, 2, ...

que es un problema casi idéntico al apartado f ) del problema 1. Al igual que allí seguiremos el método
de inducción completa.
Para n=1 se cumple trivialmente: [Â, B̂] = [Â, B̂]. Veamos ahora que se cumple para n supuesto el

UNED
cumplimiento para n − 1:
n o
[Â, B̂ n ] = [Â, B̂ n−1 ]B̂ + B̂ n−1 [Â, B̂] = (n − 1) [Â, B̂]B̂ n−2 B̂ + B̂ n−1 [Â, B̂]
= (n − 1)[Â, B̂]B̂ n−1 + B̂ n−1 [Â, B̂].

Pero como [Â, B̂] y B̂ conmutan

[Â, B̂ n ] = (n − 1) [Â, B̂]B̂ n−1 + [Â, B̂]B̂ n−1 = n[Â, B̂]B̂ n−1

y entonces
∞
X ∞
X
[Â, g(B̂)] = [Â, gn B̂ n ] = [Â, B̂]ngn B̂ n−1 = [Â, B̂]g 0 (B̂).
n=0 n=1

48
 UNED
1.5. PROBLEMAS

Observe que x̂ y p̂x cumplen esta condición (y, en general, cualquier pareja de observables canónicos
conjugados). Por tanto, dados dos observables V (x̂) y W (p̂x )

UNED
[p̂x , V (x̂)] = [p̂x , x̂]V 0 (x̂) = −i~V 0 (x̂) ; [x̂, W (p̂x )] = [x̂, p̂x ]W 0 (p̂x ) = i~W 0 (p̂x )

relaciones muy útiles y que se utilizan a menudo (por ejemplo, en la demostración de los teoremas de
Ehrenfest).

PROBLEMA 1.4.

UNED
Consideremos el espacio de los estados E de una partícula que se mueve en una dimensión.
Un operador antilinealD̂ es aquel que verica, para todo |ψi , |φi ∈ E y para todo α, β ∈ C,
queD̂(α |ψi + β |φi) = α∗ D̂ |ψi + β ∗ D̂ |φi.
Dado el operador de conjugación compleja C ˆ, denido por la regla de actuación en la
representación de posiciones
ˆ (x) = ∗
Cψ (x)
a) Demuestre que Cˆ es antilineal y que Cˆ2 = 1. Compruebe que los valores propios de Cˆ

UNED
son complejos de módulo unidad.

b) Demuestre que es antinuitario, esto es, que para todo par de estados |ui,|vi se cumple
ˆ |Cˆ vi = hu|vi∗ .
hCu
c) Decimos que un estado |ψi es real cuando Cˆ |ψi = λ |ψi, mientras que un operador Â
es real cuando conmuta con C ˆ. Pruebe que tanto la posición x̂ como la energía cinética K̂
son reales, pero que el momento lineal p̂x no lo es.

d) Evalúe [C,ˆb
a], donde b
a es el operador destrucción de un oscilador armónico.

UNED
e) Demuestre que si  y B̂ son dos observables reales, entonces para cualquier estado real
|ψi se cumple hψ|[Â, B̂]|ψi = 0. ¾Podemos armar que hψ|[Â, B̂]|ψi = 0 para cualquier
estado?

a) En la representación de posiciones:

Cˆ (αψ (x) + βφ (x)) = (αψ (x) + βφ (x))∗ = α∗ ψ (x)∗ + β ∗ φ (x)∗ = α∗ Cψ

UNED
ˆ (x) + β ∗ Cφ
ˆ (x)

luego Cˆ es ˆ (x)∗ = {ψ (x)∗ }∗ = ψ (x), y entonces Cˆ2 = 1.

Cˆ2 ψ (x) = Cψ
antilineal. A su vez,

Si |ψ λ i es un autoestado normalizado de Cˆ con autovalor λ, como Cˆ2 = 1 tendríamos que (cuidado que
Cˆ es antilineal)

|ψ λ i = Cˆ2 |ψ λ i = Cˆ (λ |ψ λ i) = λ∗ Cˆ | λi = λ∗ λ |ψ λ i = |λ|2 |ψ λ i ⇒ |λ|2 = 1 ⇒ |λ| = 1.

UNED
b) También usando la representación de posiciones:
Z +∞ n o∗ n o Z +∞
ˆ |Cˆ vi =
hCu ˆ (x)
Cu ˆ (x) dx =
Cv (u(x)∗ )∗ (v(x)∗ ) dx
−∞ −∞
Z +∞ ∗
= u(x)∗ v(x)dx = hu|vi∗
−∞

y entonces Cˆ es antiunitario.

c) Sigamos en la representación de posiciones. Para un estado genérico (no olvide que x ∈ R), veamos
si x̂ es real
ˆ (x) = x̂ψ (x)∗ = xψ (x)∗

x̂Cψ 
⇒ x̂Cˆ = Cˆx̂
∗
Cˆx̂ψ (x) = Cˆ {xψ (x)} = xψ (x)


49
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

y, efectivamente, lo es. La energía cinética también es real

∗

2 2
ˆ (x) = K̂ψ (x)∗ = − ~ d ψ (x)

UNED
K̂ Cψ


2m dx2



⇒ K̂ Cˆ = CˆK̂
2 d2 ψ (x) ~2 d2 ψ (x)∗
 
~ 
CˆK̂ (x) = Cˆ −

= − 

2m dx2 2m dx2


Sin embargo, el momento lineal no lo es, ya que anticonmuta con Cˆ

∗
ˆ (x) = p̂x (x)∗ = −i~ dψ (x)


UNED
p̂x Cψ 

dx 

p̂x Cˆ = − Cˆp̂x
dψ (x)∗
 
ˆ ˆ dψ (x) 

C p̂x ψ (x) = C −i~ = +i~ 

dx dx

d) Para un oscilador de longitud natural α, el operador de destrucción es

UNED
a = √ α−1 x̂ + iα~−1 p̂x


b
2
y en la representación de posiciones

 
1 x d
a= √
b +α .
2 α dx

Procediendo de igual manera que en c) veríamos que a es real, luego ˆb

[C, a] = 0.

UNED
b

También se puede obtener este resultado usando los resultados del apartado c) y álgebra de
conmutadores. Sin embargo hay que tener cuidado porque Cˆ es antilineal, esto es, en sentido de
operadores, para cualquier complejo ˆ = λ∗ Cˆ.
λ, Cλ Entonces

ˆb
[C, ˆ √1 x̂] + [C,
a] = [C, ˆ i √α p̂x ] = √1 [C,
ˆ x̂] + √α [C,
ˆ ip̂x ]
2α 2~ 2α 2~

UNED
ya que no hay problema con los escalares reales. Recordando que ˆ x̂] = 0,
[C, queda

ˆb α ˆ α nˆ o
[C, a] = √ [C, ip̂x ] = √ Cip̂x − ip̂x Cˆ
2~ 2~
(!) α iα n ˆ
n o o
= √ −iCˆp̂x − ip̂x Cˆ = − √ C p̂x + p̂x Cˆ = 0
2~ 2~

UNED
e) Finalmente,
D E D E
hψ|[Â, B̂]|ψi = hψ|(ÂB̂ − B̂ Â)|ψi = Âψ|B̂ψ − B̂ψ|Âψ
D E D E
y basta probar que Âψ|B̂ = B̂ |Â si , Â y B̂ son reales, lo que no es difícil:

D E Z +∞ n o∗ n o Z +∞ n on o
Âψ|B̂ψ = Âψ (x) B̂ψ (x) dx = CˆÂψ (x) B̂ (x) dx
−∞ −∞
Z+∞ n on o Z +∞ n on o
= ˆ
ÂCψ (x) B̂ψ (x) dx = λ Âψ (x) B̂ (x) dx
−∞ −∞
Z +∞ n on o D E
=λ B̂ (x) Âψ (x) dx = · · · = B̂ |Â
−∞

50
 UNED
1.5. PROBLEMAS

También se podría hacer así:

D E D D E∗ E D E
Âψ|B̂ψ = = CˆB̂ψ|CˆÂ
CˆÂψ|CˆB̂ψ ˆ ÂCˆ
= B̂ Cψ|

UNED
D E D E D E
= B̂λψ|Âλψ = |λ|2 B̂ψ|Â = B̂ |Â

donde hemos usado varios de los resultados anteriores.

En cuanto a la última pregunta, la respuesta es naturalmente que no. Por ejemplo, x̂ y p̂2x son
reales pero no conmutan entre sí, por lo que siempre habrá algún estado para el que

UNED
hψ| [x̂, p̂2x ] |ψi 6= 0.

PROBLEMA 1.5. (D) Los observables densidad y densidad de corriente

En el espacio de los estados de una partícula de masa m que se mueve en una dimensión,
denimos los observables

UNED
1
n̂a = δ(a − x̂) ; ̂a = (p̂x n̂a + n̂a p̂x )
2m
donde x̂ y p̂x son los observables posición y momento, respectivamente. Obtenga los
valores medios de n̂a y ̂a para un estado cuántico genérico normalizado cuya función de
onda es ψ (x). Interprete físicamente los resultados.

En la representación de posiciones

UNED
Z +∞
hn̂a iψ = hψ| δ(a − x̂) |ψi = ψ ∗ (x) δ (a − x) ψ (x) dx = |ψ (a)|2 = ρψ (a) ,
−∞

donde ρ (a) es la densidad de probabilidad asociada a la posición. Por tanto, n̂a es un observable
cuyo valor esperado es la densidad de probabilidad. De hecho representa al observable densidad
(partículas por unidad de volumen) en un punto a. Si se multiplicase por la carga q de la partícula,
qn̂a representaría al observable densidad de carga.

UNED
Por otro lado

1 1 1
h̂a iψ = hψ| (p̂x δ(a − x̂) + δ(a − x̂)p̂x ) |ψi = hψ| δ(a − x̂)p̂x |ψi∗ + hψ| δ(a − x̂)p̂x ) |ψi
2m 2m 2m
donde el cambio de orden en el primer término lo hemos hecho para evitar la molesta evaluación de
15
p̂x sobre una delta (que exige integrar por partes). Sustituyendo en la representación de momentos

UNED
∗ 
−i~ +∞ −i~ +∞
 Z Z 
∗ dψ (x) ∗ dψ (x)
h̂a iψ = ψ (x) δ (a − x) dx + ψ (x) δ (a − x) dx
2m −∞ dx 2m −∞ dx
dψ ∗ (x)
 
i~ dψ (x) 
= (x) − ψ ∗ (x) = jx (a)
2m dx dx 
x=a

donde jx (a) es la densidad de corriente de probabilidad en el punto a. Luego ̂a es un observable que
representa la densidad de corriente en un punto. Si lo multiplicásemos por la carga de la partícula,
q̂a sería el observable densidad de corriente eléctrica.

15
Aunque en rigor es lo que hemos hecho, ya que el paso

hψ |p̂x | φi = hφ |p̂x | ψi∗

realizado en la representación de posiciones no es otra cosa que una integración por partes.

51
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

PROBLEMA 1.6. Una cota inferior a la energía fundamental

Sean E0 y E1 las energías del nivel fundamental (no degenerado) y del primer excitado de

UNED
un hamiltoniano Ĥ , respectivamente.

a) Demuestre que para cualquier estado |φi se tiene que hφ| (Ĥ − E0 )(Ĥ − ε) |φi ≥ 0 si
ε ∈ [E0 , E1 ]
b) Como consecuencia, si |ψi es un estado para el que hĤi|ψi < E1 , demuestre que para

cualquier valor ε que cumpla hĤi|ψi < ε ≤ E1 se tiene que

1
(∆Ĥ)2|ψi

UNED
E0 ≥ hĤi|ψi −
ε − hĤi|ψi

por lo que tenemos una cota inferior a la energía del estado fundamental (cualquier
valor esperado de Ĥ proporciona una cota superior a E0 , de ahí el interés de este resultado).

a) Supongamos que
∞
X
|φi = φn |ni

UNED
n=0
donde |ni es autoestado de la energía con autovalor En . Por tanto

∞
X ∞
X
2
hφ| (Ĥ − E0 )(Ĥ − ε) |φi = |φn | (En − E0 ) (En − ε) = |φn |2 (En − E0 ) (En − ε)
n=0 n=1

y cada término del sumatorio es no negativo puesto que ε ≤ En con n = 1, 2, 3, . . .

UNED
b) Vemos que ε cumple las condiciones del resultado anterior, por tanto

hψ| (Ĥ − E0 )(Ĥ − ε) |ψi ≥ 0.

Si desarrollamos el valor esperado:

 
hψ| (Ĥ − E0 )(Ĥ − ε) |ψi = hĤ 2 i|ψi − (ε + E0 ) hĤi|ψi + εE0 = E0 ε − hĤi|ψi − εhĤi|ψi + hĤ 2 i|ψi ≥ 0

UNED
y sumamos y restamos hĤi2|ψi , tenemos que

   
hψ| (Ĥ − E0 )(Ĥ − ε) |ψi = E0 ε − hĤi|ψi − ε − hĤi|ψi hĤi|ψi + (∆Ĥ)2|ψi ≥ 0

Ya sólo falta despejar E0 para llegar al resultado deseado:

    (∆Ĥ)2|ψi
E0 ε − hĤi|ψi ≥ ε − hĤi|ψi hĤi|ψi − (∆Ĥ)2|ψi ⇒ E0 ≥ hĤi|ψi − .
ε − hĤi|ψi

UNED
PROBLEMA 1.7. (!!) El teorema del virial
Consideremos una partícula que se mueve en tres dimensiones bajo la acción de una fuerza
conservativa que deriva de la energía potencial V (r). Supongamos que la partícula está
en un estado estacionario |ψi normalizable. Demuestre el llamado teorema del virial

D E
2 K̂ = hr · ∇V (r)i
ψ

donde K̂ es el operador de energía cinética.

d
Ayuda: evalúe hr · piψ imponga que el estado es estacionario y desarrolle.
dt

52
 UNED
1.5. PROBLEMAS

De acuerdo con la regla de evolución termporal de valores medios

d D E
i~ hr̂ · p̂iψ = [r̂ · p̂, Ĥ]

UNED
dt
pero como el estado es estacionario, tendremos que

d D E
hr̂ · p̂iψ = 0 ⇒ [r̂ · p̂, Ĥ] = 0
dt
Desarrollemos el conmutador:

UNED
 
D E D E 1 2
0 = [r̂ · p̂, Ĥ] = r̂·[p̂, Ĥ] + [r̂, Ĥ]·p̂ = r̂·[p̂, V (r̂)] + [r̂, p̂ ]·p̂ =
ψ 2m ψ

y evaluemos cada uno de los dos conmutadores que han aparecido por separado. El primero se puede
hacer en la representación de posiciones (también se puede evaluar de manera más abstracta usando
los resultados del problema 1.3):

[p̂, V (r̂)] |ψi → [−i~∇, V (r)]ψ (r) = −i~∇{V (r) ψ (r)} + V (r) i~∇ψ (r) = −i~ {∇V (r)} ψ (r)

UNED
por lo que [p̂, V (r̂)] = −i~∇V (r̂). Por otro lado

[r̂, p̂2 ] = [x̂, p̂2x ]ex + [ŷ, p̂2y ]ey + [ẑ, p̂2z ]ez = ... = 2i~p

y sustituyendo
 
D E i~

UNED
0 = [r̂ · p̂, Ĥ] = −i~r̂ · ∇V (r̂) + p̂ · p̂ ⇒
m ψ
1
2 D E
⇒ p̂ = hr̂ · ∇V (r̂)iψ ⇒ 2 K̂ = hr · ∇V (r)iψ
m
quedando demostrado el teorema. Observe que el resultado es el mismo independientemente de la
dimensionalidad.

UNED
PROBLEMA 1.8.
Consideremos una partícula de masa m sometida a una fuerza central que deriva de la
energía potencial V (r). Usando el teorema del virial 2hK̂iψ = hr̂ · ∇V (r̂)iψ :
a) Demuestre que si V (r) decrece monótonamente con r, el sistema carece de estados
ligados estacionarios.

UNED
b) Pruebe que si para el potencial se cumple r · ∇V (r) ≤ −γV (r) con γ ∈ (0, 2), entonces
no hay estados estacionarios ligados con energías positivas.

c) Si V (r) = βrn , relacione, para para cada n, el valor esperado de la energía total y el
de la energía potencial. Como consecuencia, demuestre que es necesario que n > −2 para
que existan estados ligados estacionarios.

Para un potencial central

d
r̂ · ∇V (r̂) = r V (r)
dr
por lo que el teorema del virial se reduce a
 
dV (r)
2hK̂iψ = r .
dr

53
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

Así:

a) Si V (r) decrece monótonamente con r, dV (r)/dr es negativo para todo r, por lo que

UNED
 
dV (r)
2hK̂iψ = r <0
dr ψ

lo que es imposible. La energía cinética ha de ser positiva.

b) Si r dV (r)/dr ≤ −γV (r) tendremos que

  γ−2
2hK̂iψ ≤ −γhV̂ iψ = −γ En − hK̂iψ ⇒ −γEn ≥ (2 − γ) hK̂iψ ⇒ En ≤ hK̂iψ

UNED
γ

Como el valor esperado de K̂ es positivo si γ ∈ (0, 2) tendríamos (γ − 2) /γ < 0, luego En < 0.

c) Para el potencial V (r) = βrn , tenemos que
∂
r V (r) = nV (r)
∂r
por lo que

UNED
 D E 
D E D E D E n+2D E
2 K̂ = n V̂ ⇒ 2 En − V̂ = n V̂ ⇒ En = V̂ .
ψ ψ ψ 2

Para valores de n < 0, V (r) ha de ser negativa para que la fuerza central pueda atraer a la partícula.
Las energías de los estados estacionarios estables serán entonces negativas. Sin embargo estas dos
condiciones no se pueden dar simultáneamente si n ≤ −2.

UNED
PROBLEMA 1.9. El teorema del virial en 1 dimensión
Con el objeto de convencerle de que el teorema del virial es válido en cualquier
dimensionalidad veamos este problema, que recoge algunos de los apartados de los dos
anteriores pero restringidos a una dimensión. Consideremos entonces el espacio de los
estados de una partícula de masa m bajo la energía potencial V (x) tal que su hamiltoniano
de evolución es Ĥ = K̂ + V̂ = p̂2x /(2m)
+ V (x̂):

UNED
a) Obtenga los conmutadores [Ĥ, p̂x ], [Ĥ, x̂] y [Ĥ, x̂p̂x ] en función de p̂x , x̂ y V (x̂).
b) Calcule los elementos de matriz hφn | [Ĥ, x̂p̂x ] |φn i, siendo |φn i los autoestados
normalizados de Ĥ con autonenergía En .
c) Establezca una relación entre hφn | K̂ |φn i y hφn | x̂V 0 (x̂) |φn i, donde V 0 (u) = dV (u)/du.
d) ¾Como están relacionados hφn | V̂ |φn i y hφn | K̂ |φn i cuando V (x) = γ 0 xk , siendo γ 0 > 0
y k = 2, 4, 6, ...

UNED
a) Como sabemos (usemos el problema 1.3)

[Ĥ, p̂x ] = [V (x̂), p̂x ] = −[p̂x , V (x̂)] = i~V 0 (x̂)

1 2 1 1 i~
[Ĥ, x̂] = [p̂x , x̂] = − [x̂, p̂2x ] = − [x̂, p̂x ]p̂x = − p̂x
2m 2m m m
por lo que
 
1 2 n o
[Ĥ, x̂p̂x ] = x̂[Ĥ, p̂x ] + [Ĥ, x̂]p̂x = i~ x̂V (x̂) − p̂x = i~ x̂V 0 (x̂) − 2K̂ .
0
m

b) Es directo:

hφn | [Ĥ, x̂p̂x ] |φn i = hφn | Ĥ x̂p̂x |φn i − hφn | x̂p̂x Ĥ |φn i = hφn | En x̂p̂x |φn i − hφn | x̂p̂x En |φn i = 0,

54
 UNED
1.5. PROBLEMAS

donde hemos usado el carácter autoadjunto de Ĥ y que las energías son reales.

c) Usando los dos apartados anteriores

UNED
n o
hφn | [Ĥ, x̂p̂x ] |φn i = 0 ⇒ hφn | i~ x̂V 0 (x̂) − 2K̂ |φn i = 0 ⇒ 2 hφn | K̂ |φn i = hφn | x̂V 0 (x̂) |φn i

que es el teorema del virial en una dimensión.

d) Puesto que ahora V (x) = γ 0 xk , tenemos que V 0 (x) = kγ 0 xk−1 = kx−1 V (x). Por tanto, para un
estado estacionario
2hKi = hx̂V 0 (x̂)i = khV (x̂)i ≡ khV̂ i
En el caso particular del oscilador armónico (k = 2), hKi = hV̂ i,

UNED
tendríamos que relación que ya debe
ser sobradamente conocida.

PROBLEMA 1.10. (D)

Consideremos el espacio de los estados E de una partícula en una dimensión.

a) Señale cómo actúa el covector hδ a | p̂x ≡ hp̂x δ a | sobre un estado cualquiera de E.

b) Como consecuencia, indique la regla de actuación del covector derivada de la delta de

UNED
Dirac.

c) Si φ (x) es una función discontínua en x=a esto es

φ a+ − φ a− = ∆

Obtenga la actuación de p̂x sobre |φi.

Sugerencia: escriba φ (x) como φ (x) = φc (x) + Ha (x) ∆, donde Ha (x) es la función

UNED
escalón de Heavyside y φc (x) una función continua.

Estos son resultados que conocemos de tercero, pero conviene recordarlos porque los potenciales tipo
delta se usan muy a menudo para ilustrar algunos aspectos de la teoría. Entonces:

a) Dado un ket cualquiera |φi cuya función de ondas esφ (x),



UNED
d
= −i~φ 0 (a) .

hp̂x δ a |φi = hδ a |p̂x φi = −i~ φ (x)
dx x=a

b) Como p̂x = −i~D̂, donde D̂ es el operador derivada (que no es autoadjunto)

D  D 
hp̂x δ a | = −i~D̂δ a  = +i~ D̂δ a  ≡ +i~ δ 0a  ⇒ δ 0a  = −i~−1 hp̂x δ a |
 



y usando el resultado anterior

UNED
δ 0a |φ = −φ 0 (a)



que se podría escrir de la siguiente manera:

Z +∞
dδ a (x)
φ (x) dx = −φ 0 (a)
−∞ dx
igualdad que, si integra por partes, es inmediata de comprobar.

c) Basta recordar que, en sentido de distribuciones

D̂Ha (x) = δ a (x) ≡ δ (x − a) .

Por lo que, trabajando directamente en la representación de posiciones

p̂x φ (x) = p̂x φc (x) + p̂x {Ha (x) ∆} = p̂x φc (x) − i~∆δ a (x) .

55
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

PROBLEMA 1.11. (D)

Una partícula de masa m en una dimensión está sometida al potencial atractivo tipo delta

UNED
V (x) = −γδ (x) ; γ>0

Halle las autoenergías y las autofunciones de los estados ligados.

Este sistema puede considerarse como un pozo cuadrado muy estrecho y muy profundo. Este es
un ejemplo sencillo de resolver pero siempre y cuando se recuerde que la aparición de la delta de

UNED
Dirac implica que las derivadas han de realizarse en sentido de distribuciones. Trabajemos en la
representación de posiciones.
Sea E<0 la energía de un estado estacionario ligado (si E > 0 nos encontraríamos con autoestados
no ligados de Ĥ ). Puesto que el potencial es nulo si x 6= 0 la función de onda del estado estacionario
la podemos escribir como

√
φE (x) = C exp (−k |x|) ; k= −2mE/~,

UNED
donde la constante de normalización C se obtiene a partir de

+∞ +∞
C2
Z Z
2 2
1=C exp (−2k |x|) dx = 2C exp (−2kx) dx = .
−∞ 0 k

Por tanto,
√
φE (x) = k exp (−k |x|) .

UNED
Para calcular los valores permitidos de k (y, por ende, de la energía E ) tenemos que ir a la propia
ecuación de Schrödinger. Derivando φE (x) una primera vez
 √  3/2
 kk exp (kx) si x ≤ 0  k exp (kx) si x ≤ 0
0
φE (x) = =
 √
− kk exp (−kx) si x ≥ 0, −k 3/2 exp (−kx) si x ≥ 0,


y volviendo a derivar

UNED
φ00E (x) = k 5/2 exp (−k |x|) − 2k 3/2 δ (x) .
La ecuación de Schrödinger del sistema es entonces

~2 00
− φ (x) + V (x) φE (x) = EφE (x)
2m E
~2 5/2 −k|x| ~2 3/2
− k e + k δ (x) − γδ (x) k 1/2 e−k|x| = Ek 1/2 e−k|x|
2m m

UNED
~2 k 2 ~2 k
  
−k|x|
E+ e − − γ δ (x) = 0
2m m

Los dos paréntesis tienen que anularse. La anulación del primero implica la relación ya conocida
p
k= −2mE/~2 ; la del segundo la relación que estamos buscando:

~2 k
− γ = 0.
m
Por tanto
γm √ γm γ2m
k= ⇒ −2mE = ⇒ E=− 2.
~2 ~ 2~
√
φE (x) = k exp (−k |x|), con energía E = −γ 2 m/ 2~2


En denitiva, sólo existe un estado ligado y
k = γm/~2 .

56
 UNED
1.5. PROBLEMAS

PROBLEMA 1.12.
Consideremos un pozo de potencial V (x) = −γδ (x) con γ > 0. ¾Cómo afecta a los niveles

UNED
del pozo la presencia de una pared innita colocada en x = −a? ¾Para qué valores de a
habrá un estado estacionario ligado?

En primer lugar, el espectro continuo y degenerado del hamiltoniano original, σ c (Ĥ0 ) = R+ , se

transforma en un espectro continuo no degenerado por la presencia de la pared innita. En cuanto al
estado estacionario ligado, tenemos que ver qué pasa con él.

Debido a la presencia de la pared en x = −a, la función de onda del estado estacionario φE (x) ha de

UNED
anularse para x ≤ a. Por continuidad de la propia función y puesto que φE (x → ∞) = 0

βekx + (1 − β) e−kx

si x ∈ [−a, 0] p
φE (x) = C × con k = −2mE/~2
e−kx si x ≥ 0

donde C es una constante de normalización y hemos escrito φE (x) para que se satisfaga
automáticamente la condición de continuidad en el origen. El coeciente β se obtiene de φE (−a) = 0
y, por tanto

UNED
eka 1
βe−ka + (1 − β) eka = 0 ⇒ β= =
eka − e−ka 1 − exp (−2ak)
(observe que si a → ∞, β → 1 y se recupera el resultado del problema anterior.
De esta forma, si planteamos la ecuación de Schrödinger tenemos

~2 d2 ~2 C d2 βekx + (1 − β) e−kx ~2 Ck d −βekx + (1 − β) e−kx

 
− φ (x) = − −kx =
2m dx2 E
2m dx2 e 2m dx e−kx

UNED
Vemos que la discontinuidad de la función que tenemos que volver a derivar es ∆ = 1 −
{−β + (1 − β)} = 2β , por tanto

~2 d2 ~2 Ck 2 βekx + (1 − β) e−kx ~2 Ckβ ~2 k 2 ~2 Ckβ


− φ E (x) = − −kx + δ (x) = − φE (x) + δ (x)
2m dx2 2m e m 2m m
De esta manera, la ecuación de Schrödinger es

UNED
~2 k 2 ~2 Ckβ
− φE (x) + δ (x) − γδ (x) φE (x) = EφE (x)
2m m
y simplicando, para lo que hay que tener en cuenta que δ (x) φE (x) = δ (x) φE (0) = Cδ (x), quedaría

~2 k 2ak 2amγ
β=γ ⇒ =
m 1 − exp (−2ak) ~2

UNED
que es una ecuación trascendente.
Para que existan estados ligados, dicha ecuación debe tener una solución k > 0, y el valor crítico de a
es, entonces, aquel que hace que k = 0:
2acrit mγ 2ak ~2
2
= lı́m =1 ⇒ acrit =
~ k→0 1 − exp (−2ak) 2mγ
Por tanto, el sistema seguirá teniendo un nivel ligado siempre y cuando a > acrit :
~2
a> ,
2mγ
y en este caso el estado estacionario ligado tendrá una energía mayor (menos negativa) que en ausencia
de la pared (a medida que alejamos la pared, la solución k va creciendo hasta llegar al resultado
k = mγ/~2 ).

57
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

PROBLEMA 1.13. (D)

Sigamos con estos problemas de repaso de Mecánica Ondulatoria en una dimensión. Sea

UNED
una partícula de masa m que se encuentra en el primer estado excitado (n = 2) de un
pozo cuadrado nito unidimensional de anchura a y profundidad V0 . La energía de dicho
estado medida desde el fondo del pozo es E2 = V0 /2. Calcule la probabilidad de encontrar
a la partícula dentro del pozo.

Suponiendo que el potencial es


0 si |x| < a/2
V (x) =

UNED
V0 si |x| > a/2
la función de onda del segundo estado estacionario, que es impar, será
 p p
2 = mV0 /~2
 −β exp (+qx) si x ≤ −a/2 q = p2m(V0 − E2 )/~p
φE (x) = C × sin (kx) si x ∈ [−a/2, +a/2] con k = 2mE2 /~2 = mV0 /~2
+β exp (−qx) si x ≥ a/2

β = sin (ka/2) exp (qa/2)
donde la expresión de β garantiza la continuidad de la función de onda.Vemos que k = q, por lo que
podemos simplicar y escribir

UNED
 −β exp (+qx) si x ≤ −a

p
2 q = mV0 /~2
si x ∈ −a , +a

φE (x) = C × sin (qx) 2 2 con
β = sin (qa/2) exp (qa/2)
+β exp (−qx) si x ≥ +a

2
y ya sólo falta relacionar q y a imponiendo la continuidad de la primera derivada en x = ±a/2.
Derivando, las condiciones de empalme son las mismas en ±a/2:
qa 3π 3π
q cos (qa/2) = −βq exp (−qa/2) ⇒ cos (qa/2) = − sin (qa/2) ⇒ = ⇒ q=

UNED
2 4 2a
donde hemos tomado la primera solución de la ecuación trigonométrica ya que estamos en el primer
nivel con función de onda impar.
Por tanto, la función de onda es
 √ 3π/4  
2e 3πx −a
− exp + si x ≤


2 2a 2



   
 3πx −a +a
φE (x) = C × sin si x ∈ ,

UNED

 √ 2a 2 2
2e3π/4
 
3πx +a


exp − si x ≥

 +

2 2a 2
que está representada en la gura (sin normalizar).
La probabilidad pedida es
Z +a/2 Z a/2 Z a/2
|φE (x)|2 dx |φE (x)|2 dx |φE (x)|2 dx

UNED
 a −a/2
P |x| < = Z +∞ = Z 0∞ = Z a/2 0
Z ∞
2 2 2
|φE (x)| dx |φE (x)| dx 2
|φE (x)| dx + |φE (x)|2 dx
−∞ 0 0 a/2
I1
≡
I1 + I2
y sólo queda evaluar las integrales:

a/2 a/2
Z Z Z 1/2
2 2 3πx 3πu 3π + 2
I1 = |φE (x)| dx = |C| sin 2
dx = a |C|2 sin2 du = a |C|2
2a 0 2 12π
0 0
Z∞ Z∞ Z∞
e3π/2 |C|2 e3π/2 |C|2 a
 
2 3πx 2
I2 = |φE (x)| dx = exp − dx = e−3πu du = a |C|2
2 a 2 12π
a/2 a/2 1/2

58
 UNED
1.5. PROBLEMAS

por lo que

 a I1 3π + 2 3π + 2
P |x| < = = = ' 0,851 (un 85 %, aprox.)

UNED
2 I1 + I2 3π + 2 + 2 3π + 4

PROBLEMA 1.14. (D)

Hallar las funciones propias y valores propios de la energía para un oscilador armónico
truncado cuyo potencial es

∞
(
x<0
V (x) = 1 2 1

UNED
2 2
kx = mω x x > 0
2 2
Calcule la incertidumbre de la posición y el momento para el estado fundamental.

La función de onda en la región x<0 es idénticamente nula. Por otro lado, en la región x>0 la
función de onda de energía E ha de vericar la ecuación de Schrödinger independiente del tiempo
de un oscilador armónico de frecuencia
√ ω. Las únicas soluciones acotadas son, precisamente, las

UNED
autofunciones α−1 η n (x/α) del p
oscilador armónico completo, donde η n (u) es la n-ésima función
de Hermite normalizada y α = ~/(mω) la longitud característica del oscilador. Ahora bien, por
continuidad en x = 0 sólo son admisibles las soluciones con n impar. En denitiva, los niveles de
energía son    
1 3
En = 2n + 1 + ~ω = 2n + ~ω con n = 0, 1, 2, ...
2 2
(esto es, los niveles energéticos impares del oscilador armónico completo) y las autofunciones

UNED
correspondientes


0 x<0
φn (x) = p con n = 0, 1, 2, ...
2/αη 2n+1 (x/α) x > 0
√
donde el prefactor 2 se incluye a efectos de normalización.

Por tanto, la función de onda normalizada del estado fundamental será

UNED
s
x2
 
4 x
φn (x) = √ exp − 2
πα α 2α

y, los valores esperados de x y x2 serán

Z ∞ Z ∞ Z ∞
2 4  x 2
−x2 /α2 4α 2 2
hxi = x |φn (x)| dx = √ x e dx = √ u3 e−u du = √ α
0 πα 0 α π 0 π

UNED
∞ ∞ ∞
4α2
Z Z Z
4 2
 x 2
−x2 /α2 2 3
u4 e−u du = α2

2 2 2
x = x |φn (x)| dx = √ x e dx = √
0 πα 0 α π 0 2
por lo que
r r r
3 4 3π − 8
q
2 ~
∆x = hx2 i − hxi = − α= .
2 π 2π mω
Por otro lado, como el estado es estacionario y ligado, hpx i = 0. Entonces:
s  
p p 3~ω 1
∆px = hp2x i = 2m (E0 − hV (x)i) = 2m − mω 2 hx2 i
2 2
s
3√
  r
3 3
= 2~ωm − = ~mω.
2 4 2

59
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

Obsérvese que
r r
3π − 8 3
∆x∆px = ~ ' 0,583~,
2π 2

UNED
por lo que no llega a saturarse la desigualdad de Heisbenberg.

PROBLEMA 1.15. La regla de suma f

Una partícula de masa m está sujeta a la evolución temporal descrita por un hamiltoniano
estándar Ĥ = K̂ + V̂ . Para simplicar la discusión supongamos que el espectro de Ĥ es
estrictamente puntual y no degenerado. Sea En la n-ésima autoenergía y |ni el autoestado

UNED
correspondiente.

n se cumple que k (Ek −En ) |hk| x̂ |ni|2 = hn| x̂[Ĥ, x̂] |ni.
P
a) Demuestre que para cualquier
P 2
Análogamente demuestre que k (Ek − En ) |hk| x̂ |ni| = − hn| [Ĥ, x̂]x̂ |ni.
b) Sumando ambos resultados, demuestre la relación de Thomas-Reiche-Kuhn o
regla de suma f (f-sum rule )

X 2m Ek − En

UNED
ω kn |hk|x̂|ni|2 = 1 con ω kn =
~ ~
k

a) Basta desarrollar, usar la relación de cierre y que |ki, |ni son autoestados de Ĥ :
X X X X
(Ek − En )|hk|x̂|ni|2 = (Ek − En )hn|x̂|kihk|x̂|ni = hn|x̂|Ek kihk|x̂|ni − hn|x̂|kihk|x̂|En ni

UNED
k k k k
X X
= hn|x̂Ĥ|kihk|x̂|ni − hn|x̂|kihk|x̂Ĥ|ni = hn|x̂Ĥ x̂|ni − hn|x̂x̂Ĥ|ni
k k
= hn| x̂Ĥ x̂ − x̂2 Ĥ |ni = hn| x̂[Ĥ, x̂] |ni

Si ahora hacemos lo mismo pero haciendo que En |ni

multiplique al primer autoestado

X X X X
(Ek − En )|hk|x̂|ni|2

UNED
= (Ek − En )hn|x̂|kihk|x̂|ni = hn|x̂|Ek kihk|x̂|ni − hnEn |x̂|kihk|x̂|ni
k k k k
X X
= hn|x̂Ĥ|kihk|x̂|ni − hn|Ĥ x̂|kihk|x̂|ni = hn|x̂Ĥ x̂|ni − hn|Ĥ x̂x̂|ni
k k
= hn| x̂Ĥ x̂ − Ĥ x̂2 |ni = hn| [x̂, Ĥ]x̂ |ni = − hn| [Ĥ, x̂]x̂ |ni

b) Sumando miembro a miembro las dos relaciones anteriores, tenemos

UNED
X
2 (Ek − En )|hk|x̂|ni|2 = hn| x̂[Ĥ, x̂] − [Ĥ, x̂]x̂ |ni
k

1  2  i~
pero [Ĥ, x̂] = p̂x , x̂ = − p̂x , por lo que
2m m
X i~ i~ ~2
2 (Ek − En )|hk|x̂|ni|2 = −
hn| x̂p̂x − p̂x x̂ |ni = − hn| i~ |ni = =⇒
m m m
k
X 2m Ek − En X 2m
=⇒ |hk|x̂|ni|2 = ω kn |hk|x̂|ni|2 = 1 (c.q.d.)
~ ~ ~
k k

En la aproximación de Born, |hk|x̂|ni|2 es proporcional a la intensidad de una linea espectral en la

transición |ki → |ni, mientras que ω kn sería la frecuencia del fotón emitido en la transición. Así, la

60
 UNED
1.5. PROBLEMAS

regla de suma f establece una relación entre frecuencias e intensidades de espectros ópticos que son
observables experimentalmente. Las cantidades

UNED
2m
fk,n = ω kn |hk|x̂|ni|2
~
se suelen denominar intensidades o fuerzas de oscilador (oscillator strengths ), por lo que la
igualdad que hemos obtenido se llama también regla de suma de las fuerzas de oscilador:
X
para todo n : fk,n = 1.
k

UNED
PROBLEMA 1.16.
Consideremos un sistema cuántico cuya dimensión Hilbertiana es tres. Simbolicemos por
{|+i , |0i , |−i} a la base de autoestados de dicho sistema físico cuyo hamiltoniano Ĥ0
cumple que

Ĥ0 |+i = −ε|+i ; Ĥ0 |0i = 0 ; Ĥ0 |−i = −ε|−i con ε > 0

UNED
(observe que el nivel fundamental es doblemente degenerado). En el instante
√ t = 0 el
estado del sistema es |φi = (|+i + |−i) / 2, momento en el cual empieza a actuar un
campo externo de manera que la energía de interacción entre el campo y el sistema está
dada por el hamiltoniano λŴ . El operador Ŵ verica que h−| Ŵ |0i = h0| Ŵ |−i = ε,
siendo cero el resto de los elementos de matriz.

a) Halle los niveles energéticos y los autoestados del hamiltoniano Ĥ0 + λŴ .

UNED
b) Como consecuencia, evalúe la probabilidad de que el sistema se encuentre en el estado
|0i a tiempo t.
c) Compare el resultado exacto anterior con el que se tendría usando la aproximación de
Born.

a) En la base de autoestados {|+i , |0i , |−i} la representación matricial de Ĥ0 es

UNED
 
−ε 0 0
Ĥ0 =  0 0 0 .
0 0 −ε

Para este hamiltoniano, el nivel fundamental (con energía −ε) es doblemente degenerado, siendo
{|+i , |−i} una base del mismo. El nivel excitado (con energía 0) es no degenerado, siendo |0i el estado

UNED
estacionario excitado. Vemos así que el estado inicial de la partícula está en el nivel fundamental.

Cuando actúa el campo exterior, el nuevo hamiltoniano es

     
−ε 0 0 0 0 0 −ε 0 0
Ĥ = Ĥ0 + λŴ =  0 0 0  + λ 0 0 ε  =  0 0 λε  .
0 0 −ε 0 ε 0 0 λε −ε

Obtengamos las autoenergías resolviendo la ecuación secular

 p
 1 + 4λ2 + 1

 −ε − E 0 0
 
 E0 = − ε
2
 

 = − (E + ε) E 2 + εE − λ2 ε2 = 0
 


 0 −E λε  =⇒ E1 = −ε
p
0 λε −ε − E 2

 E2 = 1 + 4λ − 1 ε
  


2

61
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

donde ya hemos ordenado las energías de menor a mayor. Naturalmente, el autoestado con energía
E1 = −ε es |E1 i = |+i, mientras que los autoestados con energías E0,2 se obtienen como solución de

UNED
      
−ε − E0,2 0 0 a 0 0
1
 0 −E0,2 λε   b  =  0  =⇒ |E0,2 i = q  λε 
2 2 2
0 λε −ε − E0,2 c 0 λ ε + E0,2 E0,2

y sustituyendo

p  p 
2λ |0i − 1 + 4λ2 + 1 |−i 2λ |0i + 1 + 4λ2 − 1 |−i

UNED
|E0 i = r p 2 ; |E2 i = r p 2
4λ2 + 1 + 4λ2 + 1 4λ2 + 1 + 4λ2 − 1

b) A partir de t=0 el hamiltoniano del sistema es Ĥ . Como éste no depende del tiempo la evolución
temporal del estado |φi es
3
X
|φ (t)i = |En i hEn | e−iEn t/~ |φi

UNED
n=1

por lo que la probabilidad pedida es

 2 
3 2
2
X
−iEn t/~
  1 −iE0 t/~ 1 −iE2 t/~

|h0|φ (t)i| =  h0|En i e hEn |φi =  √ h0|E0 i e hE0 |−i + √ h0|E2 i e hE2 |−i
  

n=1
 2 2

donde hemos tenido en cuenta los productos escalares que son directamente cero. Ya sólo falta sustituir

UNED
y operar:

 √ p  √ p  2
 2 2
1 + 4λ − 1

 2λ 1 + 4λ + 1 2λ 
|h0|φ (t)i|2 = − −iE t/~
2 e 0 +
−iE t/~ 
2 e 2 

p p
 4λ2 + 1 + 4λ2 + 1 4λ2 + 1 + 4λ2 − 1
 

 p ! p !2
λ2  −iE2 t/~ 2
−iE0 t/~  λ2  1 − 1 + 4λ2 1 + 1 + 4λ2 
= e − e = exp i εt − exp i εt

2 + 8λ2 2 + 8λ2  2~ 2~
   

UNED


y, nalmente (es directo)

p !
2 2λ2 2 1 + 4λ2
|h0|φ (t)i| = 2 sin εt .
1 + 4λ 2~

Observe que si λ es muy pequeño (esto es, el campo externo es muy débil)

UNED
εt
|h0|φ (t)i|2 ' 2λ2 sin2
2~
mientras que para tiempos pequeños (t  ~/ε)

λ2 ε2 t2
|h0|φ (t)i|2 '
2~2
c) Para aplicar en este problema la aproximación de Born (o teoría de perturbaciones dependientes
del tiempo a primer orden)

2
λ2  t
Z
i~−1 (Efin −Eini )τ

Pini→fin (t) ' 2  e hψ fin | Ŵ (τ ) |ψ ini i dτ 
~ t0

62
 UNED
1.5. PROBLEMAS

√

basta tener en cuenta que t0 = 0, que el estado inicial es |ψ ini i = (|+i + |−i) / 2 con Eini = −ε,
mientras que el nal es |ψ fin i = |0i con Efin = 0. La perturbación Ŵ (τ ), una vez iniciada no depende
del tiempo y verica

UNED
1 1 ε
hψ fin | Ŵ |ψ ini i = √ h0| Ŵ |+i + √ h0| Ŵ |−i = 0 + √
2 2 2
Por tanto, la probabilidad de transición pedida es

 eiεt/~ − 1 2
2  
λ2 
Z t  ε  ε λ2
Z t
ε  ετ  2 λ2 εt
 = 2λ2 sin2
 
Pini→fin (t) ' 2  exp i τ √ dτ  = exp i dτ  =
  
2 2 i 2~

~ 0 ~ 2 
0 ~ ~  

UNED
que es la que obtuvimos en el anteriormente en el límite λ pequeño.

PROBLEMA 1.17. (!!) Perturbaciones estacionarias a 1er orden

Recordemos el enunciado del Teorema de Hellman-Feynman. Dado un hamiltoniano
(λ)
Ĥ (λ) dependiente de un parámetro λ, si |ψ n i es autoestado normalizado de Ĥ (λ) con
(λ)
autovalor En , entonces se cumple que

UNED
*   +
(λ)
dEn  ∂ Ĥ
 (λ)  (λ)
= ψ (λ)
n  ψ .
dλ  ∂λ  n
Supongamos que
Ĥ (λ) = Ĥ0 + λŴ ≡ Ĥ0 + λŴ
(0) (0)
y que el nivel n-ésimo de Ĥ0 es no degenerado, siendo En su energía y |ψ n i el estado
estacionario correspondiente. Demuestre que

UNED
(λ) (0) (0) (0)
En = En + λhψ n |Ŵ |ψ n i + O λ2

lo que dene un método aproximado para evaluar la energía de un nivel no degenerado en

un sistema cuyo hamiltoniano es Ĥ0 + λŴ a partir de los autoestados y autoenergías de
Ĥ0 (método de perturbaciones a primer orden para niveles no degenerados ).

UNED
De acuerdo con el teorema de Hellman-Feynman, para el caso Ĥ (λ) = Ĥ0 + λŴ se cumple que
*   +
(λ)
dEn  ∂ Ĥ (λ)  D   E
ψ (λ)
 (λ) (λ)   (λ)
= ψ = ψ Ŵ .

n
dλ  ∂λ  n n n
   

(λ)
Si ahora desarrollamos en serie la función En tenemos que
 !  !
(λ) (λ) 
dEn  1 d2 En D   E
En(λ) En(0) + λ2 + · · · = En(0) + λ ψ (0)
  (0)
+ O λ2


= +λ Ŵ ψ

n   n
dλ2

UNED
dλ  2
 

λ=0 λ=0
quedando demostrada la igualdad.

Este resultado es muy importante. Nos dice que si sobre un sistema actúa una perturbación exterior
estacionaria (independiente del tiempo), las correcciones lineales a las energías de los niveles no
degenerados se pueden obtener suponiendo que la perturbación exterior no cambia los estados
estacionarios. Esto es, si escondemos el parámetro λ dentro del hamiltoniano V̂per ≡ λŴ asociado a
la perturbación exterior, la energía del nivel n-ésimo del sistema perturbado será
D   E D   E
(0) (0)   (0) (0)  (0)
En ' En + ψ n V̂per  ψ n = ψ n Ĥ0 + V̂per 

n

(0) (0)
donde En y |ψ n i son las autoenergías y los estados estacionarios del hamiltoniano sin perturbar
Ĥ0 .

63
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

PROBLEMA 1.18.
Consideremos un oscilador armónico unidimensional de masa m y frecuencia natural ω.

UNED
a) Demuestre que el operador B̂ = exp(iπ Ĥ/(~ω)) es un operador de inversión de
coordenadas para cualquier función de onda normalizable, esto es, que B̂ (x) = βψ (−x)
siendo β un escalar de módulo unidad.

b) Halle un operador  tal que para cualquier par de autoestados de Ĥ , |ni y |li, se
cumpla hl| x̂ |ni = (El − En ) hl| Â |ni.

a) La descomposición espectral de B̂ es

UNED
∞
X ∞
X ∞
X
B̂ = eiπEn /(~ω) |ni hn| = eiπ(n+1/2) |ni hn| = eiπ/2 eiπn |ni hn| .
n=0 n=0 n=0

Ahora bien, para n natural se tiene que exp (iπn) = (−1)n , mientras que eiπ/2 = i. De este modo
 
X X
B̂ = i  |ni hn| − |ni hn| .

UNED
n par n impar

Las autofunciones de onda φn (x) son pares o impares en función de n. Como constituyen un conjunto
completo de todo el Hilbert tenemos que
X X
(x) = hn|ψi φn (x) + hn|ψi φn (x) = ψ par (x) + ψ impar (x)
n par n impar

y, por tanto,

UNED



B̂ (x) = i ψ par (x) − ψ impar (x) = i ψ par (−x) + ψ impar (−x) = iψ (−x)
quedando demostrada la armación.

b) Introduciendo las energías dentro del valor medio, tenemos que:

hl| x̂ |ni = (El − En ) hl|  |ni = hl| El  |ni − hl| ÂEn |ni = hl| Ĥ  |ni − hl| ÂĤ |ni
= hl| [Ĥ, Â] |ni

UNED
Como esta igualdad se cumple para cualquier par de elementos de la base, no hay más remedio que

x̂ = [Ĥ, Â].
El segundo término es, salvo constante multiplicativa, el operador derivada temporal de Â. En el
oscilador armónico la derivada del momento es proporcional a x̂, ya que la fuerza armónica es F̂ =
−kx̂ = ḃ
px . Por tanto, escribiendo  = ap̂x tenemos

UNED
1 mω 2
x̂ = [Ĥ, Â] = [ mω 2 x̂2 , ap̂x ] = a[x̂2 , p̂x ] = mω 2 ai~x̂ =⇒ i~mω 2 a = 1
2 2
y, en denitiva
i
 = ap̂x = − p̂x
mω 2 ~

PROBLEMA 1.19.
Sean â y â+ los operadores destrucción y creación de un oscilador armónico de frecuencia
natural ω y masa m. Consideremos el siguiente observable
 = γâ+ â + β â+ + â

donde γ y β son constantes positivas. Al medir  ¾qué valores se pueden obtener?

64
 UNED
1.5. PROBLEMAS

Tenemos que calcular el espectro de Â. Ahora bien, para el oscilador armónico

  r
1+ ~
â+ + â

UNED


Ĥ = ~ω â â + ; x̂ =
2 2mω

Por lo que el observable  puede escribirse como

( √ ) ( √ )
γ ~ω β 2m~ω 3 γ p̂2x 1 β 2m~ω 3 γ
 = Ĥ − + x̂ = + mω 2 x̂2 + x̂ − .
~ω 2 γ ~ω 2m 2 γ 2

UNED
El término entre llaves es el hamiltoniano de un oscilador armónico pero cuyo punto de equilibrio está
desplazado y en el que el origen de energías ha cambiado. La energía potencial es una parábola, pero
para hacer el análisis de las autoenergías es conveniente transformar dicha energía potencial para que
tenga la forma
1
V (x̂) = mω 2 (x̂ + a0 )2 − V0
2
ya que entonces las energías del oscilador serán las usuales pero sustrayendo V0 . De acuerdo con esta
idea

UNED
  2a0
√ }|
r { z
1 β 2m~ω 2 1  √ β ~   1
n o
2 2
V (x̂) = mω x̂ + x̂ = mω 2 x̂2 + 2 2 x̂ = mω 2 (x̂ + a0 )2 − a20

2 γ 2  γ mω  2

donde

UNED
r
√ β ~ 1 β2
a0 = 2 ⇒ mω 2 a20 = 2 ~ω
γ mω 2 γ
En denitiva,

p̂2x β2 β2 γ
  
γ 1 γ γ
 = + mω 2 (x̂ + a0 )2 − 2 ~ω − = Ĥd − −
~ω 2m 2 γ 2 ~ω γ 2

UNED
donde Ĥd es el hamiltoniano de un oscilador armónico cuyo centro está desplazado. Por tanto, los
valores permitido de  son

β2 γ β2
  
γ 1
an = ~ω n + − − = γn − con n = 0, 1, 2, ...
~ω 2 γ 2 γ

PROBLEMA 1.20. (D)

UNED
Un oscilador armónico bidimensional isótropo de pulsación ω y masa m se encuentra en
un estado |Ψ (t0 )i tal que su función de onda es

Ψ (r, t0 ) = ξ a (x) ξ b (y)

donde ξ a (x) es la función de onda del estado coherente 1D |ai. Calcule el valor esperado
de la energía y de L̂z para el estado |Ψ (t0 )i. ¾Evolucionan estos valores medios en el
tiempo?

El hamiltoniano del sistema puede escribirse como

( )
p̂2 p̂2y p̂2x p̂2y
 
1 1 1
Ĥ = x + + mω 2 x̂2 + ŷ 2 = + mω 2 x̂2 + mω 2 ŷ 2


+ ≡ Ĥx + Ĥy .
2m 2m 2 2m 2 2m 2

65
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

A su vez, el estado |Ψ (t0 )i se puede escribir como el producto tensorial del estado coherente asociado
a la evolución de la coordenada x por el del asociado a la evolución de la coordenada y:

UNED
|Ψ (t0 )i = |ai ⊗ |bi ≡ |ai |bi ; hΨ (t0 )| = hb| ha| .

donde el primer [segundo] término del ket [bra] producto tensorial se reere al estado correspondiente
a la coordenada x. Por tanto,

hĤiΨ = hΨ (t0 )| Ĥx + Ĥy |Ψ (t0 )i = hb| ha| Ĥx + Ĥy |ai |bi = hb| ha| Ĥx |ai |bi + hb| ha| Ĥy |ai |bi =
= ha| Ĥx |ai hb|bi + ha|ai hb| Ĥy |bi = ha| Ĥx |ai + hb| Ĥy |bi

UNED
donde hemos tenido en cuenta que Ĥx no actúa sobre |bi y que Ĥy no actúa sobre |ai. Como los valores
esperados de un hamiltoniano 1D son conocidos para los estados coherentes, tenemos:

   
2 1 2 1  
hĤiΨ = ha| Ĥx |ai + hb| Ĥy |bi = |a| + ~ω + |b| + ~ω = |a|2 + |b|2 + 1 ~ω
2 2

Por otro lado,

UNED
L̂z = x̂p̂y − ŷ p̂x

de modo que

hL̂z iΨ = hΨ (t0 )| L̂z |Ψ (t0 )i = hb| ha| x̂p̂y − ŷ p̂x |ai |bi = ha| x̂ |ai hb| p̂y |bi − hb| ŷ |bi ha| p̂x |ai

Los valores esperados de la posición y el momento también son conocidos para estados coherentes:

UNED
√ √ ~
hz| x̂ |zi = 2α Re z ; hz| p̂x |zi = 2 Im z
α
y, entonces

hL̂z iΨ = 2~ (Re a Im b − Re b Im a) .

Naturalmente ambos valores medios no evolucionan en el tiempo porque para el oscilador 2D isótropo
la propia energía y L̂z son constantes del movimiento:

UNED
[Ĥ, Ĥ] = 0 ; [Ĥ, L̂z ] = 0

PROBLEMA 1.21.
Usando el teorema de Hellman-Feynmann, obtenga hx̂2 i para el n-ésimo estado estacionario
de un oscilador armónico unidimensional.

UNED
Escribamos el hamiltoniano del oscilador

1 2 1
Ĥ = p̂ + mω 2 x̂2
2m x 2

lo que sugiere tomar ω como el parámetro del teorma de Hellman-Feynmann: Ĥ ≡ Ĥ (ω) por lo que
1


En (ω) = n + 2 ~ω . Por tanto, para el n-ésimo estado estacionario del oscilador

* +      
dEn (ω) ∂ Ĥ (ω) 1 1 ~ 1
~ = mωx2

2
α2


= ⇒ n+ ⇒ x̂ = n+ = n+
dω ∂ω 2 2 mω 2
p
siendo α= ~/(mω) la longitud característica del oscilador.

66
 UNED
1.5. PROBLEMAS

PROBLEMA 1.22.
Consideremos una partícula cuántica de masa m en una dimensión.

UNED
(1) (2)
a) Sean En y En los niveles n-ésimo de la partícula cuando está sometida a los
potenciales V
(1) (x) y V (2) (x). Usando el teorema de Hellman-Feynman (H-F) demuestre
(2) (1)
que si V (2) (x) ≥ V (1) (x) para todox, entonces En ≥ En .
Ayuda: Aplique H-F al hamiltoniano Ĥ (λ) = K̂ + (1 − λ) V
(1) (x) + λV (2) (x).

b) Usando el resultado anterior, halle una cota inferior para el número de estados
estacionarios ligados de la partícula bajo un potencial de la forma

UNED
x2 |x| < a0

1
U (x) = mω 2 × con a0 > 0
2 a0 |x| ≥ a0

a) El resultado es intuitivamente lógico: si aumentamos todo el potencial lo natural es que aumenten

todas las autoenergías. Aun así, vamos a demostrarlo. Siguiendo la sugerencia del enunciado sea

Ĥ (λ) = K̂ + (1 − λ) V̂ (1) + λV̂ (2)

UNED
un hamiltoniano λ-dependiente. Observe que Ĥ (0) = Ĥ (1) y que Ĥ (1) = Ĥ (2) , esto es, variando λ
vamos cambiando del hamiltoniano del primer sistema al del segundo (esta es una idea muy habitual).
Si |n (λ)i es el n-ésimo estado estacionario con autoenergía En (λ) tendremos, por Hellman-Feynman

* +
dEn (λ) ∂ Ĥ (λ) D E
= = V̂ (2) − V̂ (1)
dλ ∂λ |n(λ)i

UNED
|n(λ)i

Ahora bien, si n (λ, x) = hx̂|n (λ)i es la función de onda de |n (λ)i

D E Z +∞ n o
V̂ (2)
− V̂ (1)
= ψ ∗n (λ, x) V (2) (x) − V (1) (x) ψ n (λ, x) dx
|n(λ)i −∞
Z +∞ n o
2
(2) (1)
= |ψ n (λ, x)| V (x) − V (x) dx ≥ 0
−∞

UNED
ya que V (2) (x) − V (1) (x) ≥ 0. Por tanto dEn (λ) /dλ ≥ 0 y la función En (λ) es no decreciente:
(1) (2)
En (0) ≤ En (1) ⇒ En ≤ En , que era lo que queríamos demostrar.
b) Como lı́mx→±∞ U (x) = mω 2 a20 /2, sabemos que las energías de todos los niveles ligados han de ser
2 2
menores que mω a0 /2. Por otro lado, si comparamos este sistema físico con el oscilador armónico de
2 2
potencial V (x) = mω x /2, tenemos que

UNED
V (x) ≥ U (x) ⇒ (n + 1/2) ~ω ≥ En

donde En n-ésima autoenergía de nuestro sistema. Esto es, (n + 1/2) ~ω es una cota superior
es la
a la energía n-ésima de este oscilador truncado. Así, para todos los valores de n que cumplan
(n + 1/2) ~ω ≤ mω 2 a20 /2, la energía En de nuestro sistema estará por debajo del valor crítico mω 2 a20 /2.
Esto es, el nivel ligado n existirá para nuestro sistema si:

1 a20
   
1 1 2 2
n+ ~ω ≤ mω a0 ⇒ n ≤ −1
2 2 2 α2
p
donde α = ~/(mω). Como n es un entero, tenemos entonces la garantía de que todo valor de n que
cumpla la desigualdad
  2 
1 a0
n ≤ int −1 = ncrit
2 α2

67
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

corresponde al número cuántico de un estado estacionario ligado de nuestro sistema. Como n = 0

también cuenta, el número de estados estacionarios es

UNED
  2    2 
1 a0 1 a0
Nest ≥ ncrit + 1 = int +1 ⇒ Nest ≥ int +1
2 α2 2 α2

ya que la condición que liga n con a0 /α es suciente, pero no necesaria.

PROBLEMA 1.23.
m sometida a un potencial V (x) = mω 2 x2 /2

UNED
Una partícula de masa armónico viene
descrita en el instante t = 0 por la función de onda
∞ 
1 n
X 
Φ(x, 0) = A √ ψ n (x),
n=0
2

siendo ψ n (x) la n−ésima función propia normalizada del oscilador armónico

correspondiente al estado de energía En = (n + 1/2)~ω .

UNED
a) Calcular la constante de normalización A.
b) Escribir la expresión de Φ(x, t) para todo instante t > 0.
c) Demostrar que |Φ(x, t)|2 es una función periódica en el tiempo y calcular su periodo.

d) Calcular el valor esperado hEi de la energía de la partícula.

e) Calcular, para cualquier instante de tiempo, hx̂i.

UNED
a) Simbolicemos como |Φi a nuestro estado y como |ni a los autoestados de la energía (n = 0, 1, 2, . . . ).
Por tanto
∞ 
1 n
X 
|Φi = A √ |ni
n=0
2
y como |Φi ha de estar normalizado:

UNED
X 1
hΦ|Φi = |A|2 = 2 |A|2
2n
n=0

donde hemos usado la expresión de la suma de todos los términos de una progresión geométrica de
√
razón r = 1/2. Por tanto, A = 1/ 2 (recuerde que hay libertad en factor multiplicativo de módulo
unidad para escoger la constante de normalización).

b) La expresión de Φ(x, t) es inmediata:

UNED
∞  n
1 X 1
Φ(x, t) = √ √ ψ n (x) exp (−iEn t/~)
2 n=0 2

y recordando que En = (n + 1/2) ~ω

∞ n ∞  n
e−iωt/2 X e−iωt
   
1 X 1 1
Φ(x, t) = √ √ ψ n (x) exp −iωt n + = √ √ ψ n (x)
2 n=0 2 2 2 n=0 2

c) Partiendo del resultado anterior

∞ n ∞  −iωt m
eiωt

1X 2
X e
|Φ(x, t)| = √ ψ n (x) √ ψ m (x)
2 2 2
n=0 m=0

68
 UNED
1.5. PROBLEMAS

(recuérdese que las funciones propias del oscilador son reales). Así

∞ ∞  n+m !
2 1XX 1

UNED
|Φ(x, t)| = √ ψ n (x)ψ m (x) exp (iω (n − m) t) .
2 2
n=0 m=0

La anterior expresión es invariante bajo un intercambio de m y n. Como consecuencia

∞ ∞  n+m !
1XX 1
|Φ(x, t)|2 = √ ψ n (x)ψ m (x) cos [(m − n) ωt] ,
2 2
n=0 m=0

UNED
quedando así de maniesto que la densidad de probabilidad es real. Toda la dependencia temporal
está incluida en los cosenos que aparecen en todos los términos del sumatorio. Estos factores son de
la forma cos Kωt donde K es un número natural. Por tanto, cada sumatorio tiene un periodo

2π 1
TK =
ω K
y, por tanto T = 2π/ω será un periodo común de todos ellos: la densidad de probabilidad oscila con
ω.

UNED
la frecuencia del oscilador Este es un resulado general.

d) El valor esperado de la energía, naturalmente independiente del tiempo, es inmediato:

∞   2 ∞   
1 X  1 n  1X 1 n

1
hĤi =
2  √2  En = 2 2
n+
2
~ω.
n=0 n=0

Si separamos términos

UNED
∞  n ∞   ∞
hĤi 1X 1 1X 1 n 1X n 1
= n+ = + ,
~ω 2 2 4 2 2 2n 2
n=0 n=0 n=0

puesto que el segundo sumatorio ya lo hemos calculado anteriormente. El primero se puede obtener
de diferentes maneras, pero acudiendo a cualquier libro de tablas se ve que

∞
X n
=2

UNED
2n
n=0

por lo que
3
hĤi = ~ω.
2
e) El valor esperado de x̂ es
Z +∞
hx̂it = |Φ(x, t)|2 xdx.

UNED
−∞

Sustituyendo Φ(x, t) por su expresión se obtiene

 n+m Z +∞
1X 1
hx̂it = √ cos [(m − n) ωt] ψ n (x)xψ m (x)dx
2 n,m 2 −∞

y usando que
+∞
α √ √
Z


ψ n (x)xψ m (x)dx = √ m + 1δ n,m+1 + mδ n,m−1
−∞ 2
con α la longitud natural del oscilador, tenemos que

∞ ∞ 
α cos ωt X X 1 n+m √ √



hx̂it = √ √ m + 1δ n,m+1 + mδ n,m−1
2 2 m=0 n=0 2

69
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

(puesto que la actuación de las deltas de Kronecker sólo hace que contribuyan sumandos en los que
|m − n| = 1). Terminando de operar,

∞ √ √  ∞ √

UNED
 
α cos ωt X m+1 m X m 1
hx̂it = m+1
+ m = α cos ωt m
= Li−1/2 α cos ωt
2 2 2 2 2
m=0 m=1

donde Li−1/2 (u) es la función polilogarítmica de orden −1/2. El valor numérico es Li−1/2 (1/2) '
1,3472, viendo que lo importante es observar que el valor esperado de la posición oscila en torno al
origen con la frecuencia del oscilador, tal y como sabemos de la aplicación de los teoremas de Ehrenfest.

UNED
PROBLEMA 1.24. (D)
Concluyamos esta serie de problemas de repaso sobre la aplicación de la Mecánica
Ondulatoria al estudio de estados ligados en una dimensión con este largo problema, pero
cuya solución sólo exige aplicar directamente resultados básicos de la teoría cuántica.
Una partícula de masa m se encuentra en un potencial cuadrado innito de anchura
L. Su estado puro inicial es tal que al hacer una medida de su energía existe un 75 %
de probabilidades de obtener el valor E = (π~)2 /2mL2 y un 25 % de probabilidades de

UNED
obtener el valor E= 2(π~)2 /mL2 .
a) Escribir la función de onda inicial Ψ(x, 0) más general compatible con la información
dada.

b) Escribir la función de onda Ψ(x, t) para cualquier instante.

c) Calcular el valor medio de la posición hx̂it para cualquier instante. ¾Cómo varía con t?
d) Calcular el valor medio del momento hp̂x it para cualquier instante. ¾Cómo varía con t?

e) Calcular la densidad de probabilidad ρ (x, t). ¾En qué instantes se verica que

UNED
ρ (x, t) = ρ (x, 0)?
f ) Calcular la corriente de probabilidad en los instantes en que se verica la condición del
apartado anterior.

g) Calcular el valor medio hEit y la desviación típica (∆E)t de la energía. ¾Cómo varían
con t?
h) Hallar un límite inferior para el tiempo de evolución τ Â de cualquier observable.

UNED
a) Teniendo en cuenta que los valores propios de la energía para un pozo cuadrado de anchura L son
En = π 2 ~2 n2 / 2mL2 , el enunciado nos está diciendo que la función de onda que describe el estado de

la partícula en t = 0 es una combinación lineal de las funciones propias 1 (x) y ψ 2 (x) con coecientes
|c1 |2 = 3/4 y |c2 |2 = 1/4. Como consecuencia
r r √
3 iδ 1 3 eiδ
Ψ (x, 0) = 1 (x) + e ψ 2 (x) = ψ 1 (x) + ψ (x) ,
4 4 2 2 2

UNED
siendo δ una fase relativa indeterminada. Suponiendo que las paredes del pozo se encuentran en
x = ±L/2, tendremos r r
2 πx 2 2πx
ψ 1 (x) = cos ; ψ 2 (x) = sin
L L L L
por lo que
r r  
3 πx 1 2πx L L
Ψ (x, 0) = cos + eiδ sin x∈ − ,
2L L 2L L 2 2
anulándose fuera de este intervalo.

b) Puesto que en general

∞  
X iEn t
Ψ (x, t) = cn ψ n (x) exp − con cn = hψ n |Ψi
~
n=1

70
 UNED
1.5. PROBLEMAS

la evolución temporal es inmediata:

r r
3 πx −iE1 t/~ iδ 1 2πx −iE2 t/~

UNED
Ψ (x, t) = cos e +e sin e
2L L 2L L
r r
3 πx −iωt 1 2πx −i4ωt
= cos e + eiδ sin e
2L L 2L L

donde ω = π 2 ~/(2mL2 ).
c) Para cualquier instante de tiempo

UNED
Z +L/2
hx̂it = Ψ (x, t)∗ xΨ (x, t) dx = hΨ (t)| x̂ |Ψ (t)i
−L/2

y puesto que
√
3e−iωt eiδ e−iωt
|Ψ (t)i = |ψ 1 i + |ψ 2 i
2 2
operando tenemos que

UNED
3 1 3 cos (3ωt − δ)
hx̂it = hψ 1 | x̂ |ψ 1 i + hψ 2 | x̂ |ψ 2 i + hψ 1 | x̂ |ψ 2 i
4 4 2
donde hemos usado que los autoestados del pozo son reales.
Por paridad, hψ 1 | x̂ |ψ 1 i = hψ 2 | x̂ |ψ 2 i = 0, mientras que

Z +L/2   Z +1/2
2  πx  2πx 16
hψ 1 | x̂ |ψ 2 i = cos x sin dx = 2L cos (πu) u sin (2πu) du = L
L L L 9π 2

UNED
−L/2 −1/2

y, en denitiva
√
8 3L π2~
hx̂it = cos (3ωt − δ) con ω =
9π 2 2mL2
La posición media evoluciona armónicamente con periodo de oscilación T = 2π/(3ω) = 4mL2 / (3π~).
d) La evolución del momento lineal es inmediata aplicando el teorema de Ehrenfest:
√

UNED
dhx̂it 8 3mL3ω 4~
hp̂x it = m =− sin (3ωt − δ) = − √ sin (3ωt − δ)
dt 9π 2 3L
evolución que es igualmente armónica, oscilando hp̂x it con el mismo periodo T del apartado anterior.

e) La densidad de probabilidad está dada por ρ (x, t) = |Ψ (x, t)| = Ψ (x, t) Ψ (x, t)∗ . Sustituyendo
2

r r   !
3  πx 
−iE1 t/~ 1 2πx iδ −iE2 t/~
ρ (x, t) = cos e + sin e e ×

UNED
2L L 2L L
r r   !
3  πx  1 2πx
cos eiE1 t/~ + sin e−iδ eiE2 t/~
2L L 2L L

y, operando,

   √  
3  πx  1 2πx 3  πx  2πx
ρ (x, t) = cos2 + sin2 + cos sin cos (3ωt − δ) .
2L L 2L L L L L

Vemos entonces que ρ (x, t) es suma de un término independiente del tiempo más otro que evoluciona
armónicamente con frecuencia 3ω . Como consecuencia

4mL2
ρ (x, 0) = ρ (x, nT ) , n = 0, 1, 2, . . . con T =
3π~

71
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

f ) La corriente de probabilidad es

i~  dΨ (x, t)∗ dΨ (x, t) 

Jx (x, t) = Ψ (x, t) − Ψ (x, t)∗ .

UNED
2m dx dx
Partiendo de la expresión de Ψ (x, t) en términos de las funciones de onda de los estados estacionarios

√ −iE t/~ ! √ !
i~3e 1 eiδ e−iE2 t/~ 3eiE1 t/~ 0 e−iδ eiE2 t/~ 0
Jx (x, t) = ψ 1 (x) + ψ 2 (x) ψ 1 (x) + ψ 2 (x)
2m 2 2 2 2
√ iE t/~ ! √ !
i~ 3e 1 e−iδ eiE2 t/~ 3e−iE1 t/~ 0 eiδ e−iE2 t/~ 0
− ψ 1 (x) + ψ 2 (x) ψ 1 (x) + ψ 2 (x)

UNED
2m 2 2 2 2

y operando
√
3~ 0
ψ 1 (x) ψ 2 (x) − ψ 1 (x) ψ 02 (x) sin (3ωt − δ) .


Jx (x, t) =
4m
Sustituyendo los estados por su expresión
√    
− 3π~   πx  2πx 2πx  πx 

UNED
Jx (x, t) = sin sin + 2 cos cos sin (3ωt − δ) .
2mL2 L L L L

Por tanto, J (x, t) varía con la misma frecuencia que ρ (x, t), pero con un desfase de un cuarto de
periodo. Por consiguiente, en los instantes nT se cumplirá

√     !
3π~ sin δ  πx  2πx 2πx  πx 
Jx (x, t = nT ) = sin sin + 2 cos cos .
2mL2 L L L L

UNED
Por otro lado (hágalo) es fácil comprobar que ρ (x, t) y J (x, t) satisfacen la ecuación de continuidad

∂ρ (x, t) ∂J (x, t)
‘+ = 0.
∂t ∂x

g) Naturalmente, puesto que Ĥ es una constante del movimiento, ni su valor esperado ni su

incertidumbre varían con el tiempo. De esta manera

UNED
3 1 7 π 2 ~2
hĤi = E1 + E2 = .
4 4 8 mL2
Análogamente
2
π 2 ~2

3 1 19
hĤ i = E12 + E22 =
2
,
4 4 16 mL2
de donde
√

UNED
s  2 2 2
19 7 π ~ 3 3 π 2 ~2
q
∆Ĥ = hĤ 2 i − hĤi2 = − = .
16 8 mL2 8 mL2
h) Por último, el tiempo τA de evolución de un observable  y la desviación típica de la energía ∆Ĥ
están ligados por la relación de incertidumbre energía-tiempo, en consecuencia
√
~ 4 3mL2
~
τ A ∆Ĥ ≥ ⇒ τA ≥ = .
2 2∆Ĥ 9π 2 ~

PROBLEMA 1.25.
Una partícula de masa m se mueve en una dimensión bajo la acción de una fuerza
y uniforme F = kex . Por tanto, la energía potencial de la partícula tiene la forma
V (x) = −kx.

72
 UNED
1.5. PROBLEMAS

a) Obtenga las leyes de evolución temporal para los valores medios hx̂it y hp̂x it .
b) Demuestre que la incertidumbre del momento lineal es constante en el tiempo.

UNED
c) Si el estado de la partícula está representado en el espacio de posiciones por la función
de ondas ψ (x, t), halle la ecuación de Schrödinger para la representación del estado en el
espacio de momentos, ψ̃(p, t).
d) Deduzca una ecuación de continuidad para la densidad de probabilidad
∗
ρ̃(p, t) = ψ̃ (p, t)ψ̃(p, t) en el espacio de momentos.

e) A partir de lo anterior, calcule la evolución temporal del cuadrado de la incertidumbre

∆p del momento de la partícula, esto es, calcule d(∆p)2 /dt. Compare el resultado con el

UNED
obtenido en b).

a) El potencial a que está sometida la partícula es V (x) = −kx y por el teorema de Ehrenfest tenemos
inmediatamente
d 1 d
hx̂it = hp̂x it ; hp̂x it = k
dt m dt
cuya integración es inmediata (son las mismas que las del movimiento clásico uniformemente acelerado)

UNED
hp̂x it = hp̂x it=0 + kt
1 k 2
hx̂it = hx̂it=0 + hp̂x it=0 t + t .
m 2m
b) Si ∆px es constante en el tiempo, (∆px )2 también lo será, por lo que tenemos que demostrar que

d d  2 dhp̂2x it dhp̂x it dhp̂2x it

0= (∆px )2 = hp̂x it − hp̂x i2t = − 2hp̂x it = − 2khp̂x it .

UNED
dt dt dt dt dt
Para ello necesitamos calcular la variación de hp̂2x it . Partiendo de la expresión general

d 2 i i
hp̂x it = h[Ĥ, p̂2x ]it = h[V̂ , p̂2x ]it
dt ~ ~
tenemos que
d 2 ik

UNED
hp̂x it = − h[x̂, p̂2x ]it = 2khp̂x it
dt ~
y, en efecto d (∆px )2 /dt = 0. La incertidumbre en el momento es constante en el tiempo.

c) La función hamiltoniana clásica para este sistema es H(p, x) = p2 /2m−kx. Entonces, utilizando las
expresiones para los operadores x̂ y p̂x en la representación de momentos obtenemos el hamiltoniano
cuántico
p2 ∂
Ĥ = − ki~
2m ∂p

UNED
de modo que la ecuación de Schrödinger que obedece ψ(p,
e t) es

p2 e ∂ ψ(p,
e t) ∂ ψ(p,
e t)
ψ(p, t) − i~k = i~
2m ∂p ∂t

que es de primer orden en la variable p.

Una forma alternativa de obtener esta ecuación consiste en hacer la transformada de Fourier
de la ecuación de Schrödinger en la representación de posiciones:

~2 ∂ 2 ψ(x, t) ∂ψ(x, t)
− 2
− kxψ(x, t) = i~ .
2m ∂x ∂t

73
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

Multiplicando cada término por exp (−ipx/~) e integrando en x tenemos

+∞ +∞ +∞
~2 ∂ 2 ψ(x, t) −ipx/~
Z Z Z
−ipx/~ ∂
(x, t)e−ipx/~ dx.

UNED
− e dx − k xψ(x, t)e dx = i~
2m −∞ ∂x2 −∞ ∂t −∞

Realizando por partes la primera integral se llega a la misma expresión anterior teniendo
en cuenta que
+∞
Z
e t) = (2π~)−1/2
ψ(p, (x, t)e−ipx/~ dx
−∞

UNED
d) Tomando conjugados en la ecuación de evolución de ψ(p,
e t) obtenemos la ecuación de evolución
∗
para ψ
e (p, t)
p2 e ∗ e ∗ (p, t)
∂ψ e ∗ (p, t)
∂ψ
ψ (p, t) + i~k = −i~ .
2m ∂p ∂t
Entonces tenemos

UNED
∂e
ρ(p, t) ∂ e ∗
 ∂ ψ(p,e t) ∗ e ∗ (p, t)
∂ψ
= ψ(p, t)ψ (p, t) =
e ψ (p, t) + ψ(p, t)
e e =
∂t ∂t ∂t! ∂t
e ∗ (p, t)
!
i p2 e ∂ ψ(p,
e t) ∗ i p 2 ∗ ∂ ψ
= − ψ(p, t) − k ψe (p, t) + ψ(p,
e t) e (p, t) − k
ψ
~ 2m ∂p ~ 2m ∂p
e ∗ (p, t)
!
∂ ψ(p,
e t) ∗ ∂ψ ∂e
ρ(p, t)
= −k ψ (p, t) + ψ(p, t)
e e = −k
∂p ∂p ∂p

UNED
Es decir, la ecuación de evolución (ecuación de continuidad) para ρ(p, t)
e es particularmente simple:

∂e
ρ(p, t) ∂e
ρ(p, t)
= −k .
∂t ∂p

e) En función de la densidad de probabilidad ρ(p, t),

e el valor esperado de cualquier operador f (p̂x ) se
escribe como

UNED
Z +∞
hf (p̂x )it = f (p)e
ρ(p, t)dp.
−∞

Entonces,
+∞ +∞ +∞
dhp̂x it
Z Z Z
d ∂e
ρ(p, t) ∂e
ρ(p, t)
= pe
ρ(p, t)dp = p dp = −k p dp
dt dt −∞ −∞ ∂t −∞ ∂p
e, integrando por partes y teniendo en cuenta que ρ(p, t) es una densidad de probabilidad normalizada
e

UNED
a la unidad, tenemos
+∞
dhp̂x i
Z
=k ρ(p, t)dp = k.
e
dt −∞

Procediendo de igual forma

+∞ +∞ +∞
dhp̂2x it
Z Z Z
d 2 2 ∂e
ρ(p, t) ∂e
ρ(p, t)
= p e
ρ(p, t)dp = p dp = −k p2 dp
dt dt −∞ −∞ ∂t −∞ ∂p
Z +∞
= 2k ρ(p, t)dp = 2khp̂x it
pe
−∞

y así
d d  2 dhp̂2x it dhp̂x it dhp̂2x it
(∆px )2t = hp̂x it − hp̂x i2t = − 2hp̂x it = − 2khp̂x it = 0.
dt dt dt dt dt

74
 UNED
1.5. PROBLEMAS

PROBLEMA 1.26.
Una partícula de masa m está sometida a un potencial de la forma genérica

UNED
V (x) = A + Bx + Cx2 .
a) Demostrar que la incertidumbre del paquete de ondas evoluciona de acuerdo con
ecuación
d2 (∆x̂)2
m = 4(γ − 2C(∆x̂)2 ),
dt2
siendo γ = hĤi − H(hp̂x i, hx̂i).
b) A partir del resultado anterior, obtener expresiones exactas de (∆x̂)2 en función del

UNED
tiempo en los casos i) B = 0, ii) C = 0.
c) Una partícula se mueve libremente en la dirección X, siendo su función de onda inicial
ψ(x; 0) ∝ exp(−x2 /a2 ). Calcule cómo evoluciona la indeterminación de su posición con
2
el tiempo. En el caso particular en que a = 1Å, m = 0,5 MeV/c ¾cuánto tiempo ha de
transcurrir para que la indeterminación inicial se multiplique por 10 ?
8

a) Tenemos que calcular

UNED
d2 (∆x̂)2 d2 x̂2 d2 hx̂i2


= −
dt2 dt2 dt2
donde excluimos la dependencia en el tiempo en los valores medios para no cargar en exceso la notación.
Para obtener el primer término del segundo miembro, evaluamos primero

d x̂2


1 Dh 2 iE
= x̂ , Ĥ
dt i~

UNED
pero

h i 1  2 2 1 
i~ i~
x̂2 , Ĥ = x̂ x̂, p̂2x + x̂, p̂2x x̂ =
  
x̂ , p̂x = (x̂p̂x + p̂x x̂) = (2x̂p̂x − i~)
2m 2m m m
de modo que
d x̂2


2 i~
= hx̂p̂x i −
dt m m

UNED
y, derivando una vez más
d2 x̂2


2 Dh iE
= x̂p̂ x , Ĥ .
dt2 i~m
Este último conmutador puede calcularse de la siguiente forma

h i 1 
x̂p̂x , p̂2x + B [x̂p̂x , x̂] + C x̂p̂x , x̂2 =
  
x̂p̂x , Ĥ =
2m

UNED
 
1  1 2
x̂, p̂2x p̂x + B x̂ [p̂x , x̂] + C x̂ p̂x , x̂2 = i~ p̂x − B x̂ − 2C x̂2
  
=
2m m

y nalmente
d2 x̂2


2
 2B 4C
2 
2
= 2 p̂2x − hx̂i − x̂ .
dt m m m
El cálculo de d2 hx̂i2 /dt2 se simplica mucho si se utilizan las relaciones de Ehrenfest. En efecto

d hx̂i2 d hx̂i 2
= 2 hx̂i = hx̂i hp̂x i
dt dt m
y
d2 hx̂i2 2 d hx̂i 2 d hp̂x i 2 2B 4C
2
= hp̂x i + hx̂i = 2 hp̂x i2 − hx̂i − hx̂i2 .
dt m dt m dt m m m

75
 UNED
Mecánica Cuántica. EL FORMALISMO Y SU INTERPRETACIÓN

En denitiva
d2 (∆x̂)2 2 4C
= 2 (∆p̂x )2 − (∆x̂)2
dt2 m m

UNED
que, deniendo,
* +
D E p̂2x hp̂x i2 1
γ ≡ Ĥ − H(hp̂x i , hx̂i) = + V (x̂) − − V (hx̂i) = (∆p̂x )2 + C (∆x̂)2 ,
2m 2m 2m
se puede escribir en la forma
d2 (∆x̂)2 4  2

= γ − 2C (∆x̂) .
dt2 m

UNED
b) Es fácil ver ahora que γ es una constante. En efecto, hĤi es constante (es el valor medio de la
energía). En cuanto a hH (hp̂x i , hx̂i)i se tiene
d 1 d hp̂x i2 d hx̂i d hx̂i2
hH (hp̂x i , hx̂i)i = +B +C
dt 2m dt dt dt
1 d hp̂x i B d hx̂i
= hp̂x i + hp̂x i + 2C hx̂i
m dt m dt
1 B 2C

UNED
= hp̂x i (−B − 2C hx̂i) + hp̂x i + hx̂i hp̂x i = 0
m m m
(los términos se cancelan entre sí).
Por lo tanto, la ecuación diferencial para (∆x̂)2 tiene la solución general (suponiendo C 6= 0)
r r
γ 8C 2C
(∆x̂)2 = K1 exp (2iωt) + K2 exp (−2iωt) + , con 2ω = =2
2C m m
siendo la frecuencia ω la natural del potencial armónico. Así, si C > 0, la desviación típica (∆x̂)2 oscila

UNED
armónicamente con frecuencia 2ω . En este caso, la única inuencia del término lineal del potencial
consiste en desplazar el centro de oscilación. Esto es lógico pues el término lineal del potencial da lugar
a una fuerza constante que no altera la frecuencia natural que está determinada por la constante C
del término cuadrático.
Por el contrario, si C <0 tenemos una barrera armónica y no hay estados ligados. Entonces
p (∆x̂)2
diverge exponencialmente como exp 8|C|/mt.
En el caso particular C = 0, el potencial se reduce a un potencial lineal que, clásicamente, daría lugar
a una fuerza constante. En este caso, la solución a la ecuación diferencial es

UNED
2γ 2
(∆x̂)2 = t + αt + β.
m
donde α y β dependen de la función de onda en el instante inicial.

c) Del apartado a), y teniendo en cuenta que en este caso γ = (∆px )2 /2m = cte. tenemos que (∆x̂)2t
es solución de la ecuación diferencial

d2 2 2 (∆px )2
m (∆x̂) = 4γ = .

UNED
t
dt2 m
Sabemos también que para un paquete de ondas gaussiano se satisface estrictamente la igualdad en el
principio de indeterminación
√ ∆x̂∆p̂x = ~/2. Entonces es inmediato de la forma de la función de onda
inicial que (∆x̂)0 = a/ 2 y por lo tanto ∆p̂x = ~/ (2∆x̂)0 . Entonces

d2 2 ~2 ~2
m (∆x̂)t = ⇒ (∆x̂)2t = (∆x̂)20 + t2
dt2 2m(∆x̂)20 4m2 (∆x̂)20
d x̂2 /dt = 0; compruébelo).


(el término lineal es cero porque en el instante inicial
Para que la indeterminación se multiplique por 108 , es decir, (∆x̂)t = 108 (∆x̂)0 es necesario que
transcurra un tiempo
2 × 108 (∆X)20 m
t' ' 10−8 s.
~
que en la escala del problema es un tiempo extremadamente grande.

76