Operadores

Utilizamos la funcin para calcular los valores medios de cualquier variable dinmica
como sigue:

=
_

^
dr. (1)
aqu el operador
^
est asociado a la variable dinmica y acta sobre la funcin que tiene a la
derecha, esto es
_

^
dr =
_

_
^

_
dr.
tambin le llamamos a esta cantidad valor esperado, y podemos denotarlo por
_
^

_
.
1 Operadores fundamentales
Para conocer la forma de algunos de los operadores fundamentales de la mecnica cuntica
consideremos la ecuacin estacionaria de Schrdinger:

~
2
2:
\
2
+\ = 1 (2)
Multiplicamos esta ecuacin por

(por la izquierda) y la integramos:

~
2
2:
_

\
2
dr +
_

\ dr =
_

1dr.
como podemos ver, el lado derecho es el promedio de la energa 1 = 1, mientras que el
segundo trmino del lado izquierdo es el promedio del potencial \ ; por lo tanto

~
2
2:
_

\
2
dr = 1 \ = 1 \ = 1 (3)
o bien
1 =
~
2
2:
_

~
2
2:
\
2
_
dr
de manera que el operador asociado a la energa cintica es
^
1 =
~
2
2:
\
2
(4)
Regresando a la ecuacin (3) tenemos entonces que
_
^
1
_
+
_
^
\
_
= 1 1 =
_
^
1 +
^
\
_
;
esta suma es llamada el operador hamiltoniano
^
H =
^
1 +
^
\ . (5)
As, la ecuacin estacionaria de Schrdinger puede escribirse como
^
H = 1 (6)
La ecuacin de Schrdinger puede entonces escribirse como sigue:
^
H = i~
J
Jt
(7)
1
y si multiplicamos esta ecuacin por

(por la izquierda) e integramos obtenemos

_
^
H
_
= i~
_

J
Jt
dr
esto es
_
^
1
_
= i~
_

J
Jt
dr
de modo que el operador de energa resulta ser
^
1 = i~
J
Jt
(8)
Al aplicar este operador a una funcin estacionaria que es solucin de la ecuacin de
Schrdinger se obtiene lo siguiente:
^
1 =
^
1,(r) c

iE
~
t
= i~
J
Jt
,(r) c

iE
~
t
= i~
_

i1
~
_
,(r) c

iE
~
t
= 1
esto es, se obtiene una ecuacin de autovalores para el operador de energa.
Ahora, recordemos que la energa cintica no relativista se relaciona con el momento lineal a
travs de la expresin 1 = j
2
,2:, de modo que el operador asociado a j
2
sera
^ j
2
= ~
2
\
2
de donde podemos obtener que
^ j = i~\;
para escoger el signo adecuado aplicamos este operador a una funcin que represente a una
partcula con momento lineal constante, esto es, una onda plana = c
ipx
~
:
^ j = i~\c
ipx
~
= i~
_
ij
~
_
c
ipx
~
= (j
de modo que para tener una ecuacin de autovalores razonable escogemos el signo negativo en la
expresin para el operador de momento lineal, as:
^ j = i~\ (9)
A continuacin escribimos algunos de los operadores ms conocidos:
posicin ^ r = r
momento lineal ^ j = i~\
energa
^
1 = i~
@
@t
energa potencial
^
\ = \ (r)
energa cintica
^
1 =
~
2
2m
\
2
hamiltoniano
^
H =
^
1 +
^
\
(10)
Puede verse que todos estos operadores son lineales, esto es, cumplen con
^
1 (c
1
+/
2
) = c
^
1
1
+/
^
1
2
con c y / constantes arbitrarias. Esto garantiza que se cumpla el principio de superposicin.
Adems, es importante asegurar que los valores esperados calculados con estos operadores
2
sean magnitudes reales, esto es:
_
^
1
_
=
_
^
1
_

o bien
_

^
1dr =
_

_
^
1
_

dr
Es conocido del lgebra lineal que si , y son dos funciones cuadrado integrables y
^
1 un
operador lineal tal que se cumple con la siguiente igualdad
_
,

^
1dr =
_

_
^
1,
_

dr
entonces se dice que
^
1 es un operador hermitiano o autoadjunto. Si en particular , = vemos
que los valores esperados de un operador hermitiano son reales. Por lo tanto, en la mecnica
cuntica se utilizan operadores hermitianos para representar las variables dinmicas de un sistema
fsico.
La denicin de hermiticidad debe acompaarse por condiciones de frontera adecuadas para
,(r) y (r). Por ejemplo, consideremos el operador de momento lineal y veamos su condicin
de hermiticidad:
_
1
1

^ j,dr = i~
_
1
1

J,
Jr
dr
= i~
_

,[
1
1

_
1
1
,
J

Jr
dr
_
= i~

,[
1
1
+
_
1
1
,(^ j)

dr
As, para que ^ j sea hermitiano debe cumplirse que

,[
1
=

,[
1
y esto se cumple en
particular para funciones cuadrado integrables, para las cuales ,() = 0 y () = 0.
Adems, tambin se cumple para condiciones de frontera peridicas.
2 Propiedades de operadores hermitianos
Los autovalores de un operador hermitiano son reales. Primero tenemos la ecuacin de
autovalores:
^
1 = ,
Ahora multiplicamos esta ecuacin por

e integramos:
_

^
1dr =
_

,dr = ,
por lo que
_
^
1
_
= ,
y como
_
^
1
_
es real, tambin lo es ,.
Las autofunciones correspondientes a autovalores diferentes son ortogonales. Primero
3
consideremos las dos ecuaciones:
^
1c
n
= ,
n
c
n
^
1c
m
= ,
m
c
m
multiplicamos la primera ecuacin por c

m
y la conjugada de la segunda ecuacin por c
n
y las
integramos:
_
c

m
^
1c
n
dr = ,
n
_
c

m
c
n
dr
_
c
n
_
^
1c
m
_

dr = ,
m
_
c
n
c

m
dr
debido a la hermiticidad de
^
1 al tomar la diferencia de estas ecuaciones el lado izquierdo se
anula y obtenemos:
0 = (,
n
,
m
)
_
c

m
c
n
dr
que es precisamente la condicin de ortogonalidad de las funciones c
m
y c
n
la cual podemos
reescribir como
_
c

m
c
n
dr = c
n
o
m;n
(c
n
= 1. si las funciones estn normalizadas)
El conjunto de autofunciones de un operador hermitiano es completo y por ello constituye una
base. Esto es, si c
n
(r) es el conjunto de autofunciones de un operador hermitiano, entonces
podemos expresar la funcin , (r) (sucientemente continua y cuadrado integrable) como
, (r) =

n
c
n
c
n
(r) ; c
n
=
_
c

n
, (r) dr
Podemos utilizar este resultado en el clculo del valor esperado de cualquier operador
^
1:
_
^
1
_
=
_

^
1dr =
_
_

m
c
m
c
m
(r)
_
^
1
_

n
c
n
c
n
(r)
_
dr
=

m;n
c

m
c
n
_
c

m
^
1c
n
(r) dr
y si las funciones c
n
(r) son autofunciones de
^
1, entonces
_
^
1
_
=

m;n
c

m
c
n
,
n
o
m;n
=

n
[c
n
[
2
,
n
esto es, el valor medio de
^
1 est dado por el promedio de sus autovalores, tomados con peso
[c
n
[
2
.
Si el sistema ha sido preparado (terica o experimentalmente) de modo que se encuentra en el
estado c
r
de
^
1, con autovalor ,
r
, entonces = c
r
y por tanto c
n
= 0 si : ,= : y c
r
= 1; as
_
^
1
_
= ,
r
4
Representacin de operadores por matrices. Consideremos dos funciones
n
y c
n
, con c
n
miembro de una base c
k
y
n
dada por la accin de algn operador
^
1 sobre c
n
; esto es

n
=
^
1c
n
(11)
Siendo
n
una funcin, la podemos expresar como un desarrollo en trminos de la base c
k
:

n
=
^
1c
n
=

k
c
nk
c
k
Los coecientes del desarrollo los calculamos de la manera usual:
_
c

m
^
1c
n
dr =

k
c
nk
_
c

m
c
k
dr =

k
c
nk
o
m;k
esto es
_
c

m
^
1c
n
dr = c
nm
= 1
mn
As, vemos que los nmeros 1
mn
denen un arreglo matricial cuadrado el cual proporciona una
representacin matricial para
^
1, en la base c
k
. Puede reescribirse la ecuacin (11) utilizando
este resultado:

n
=
^
1c
n
=

k
1
kn
c
k
Es fcil mostrar que las relaciones algebricas entre operadores tienen sus correspondientes
relaciones entre las matrices. Por ejemplo
^
+
^
1 A + B
y tambin
^

^
1 = AB
As mismo, la matriz correspondiente a un operador hermitiano es hermitiana; veamos:
1
mn
=
_
c

m
^
1c
n
dr =
_
c
n
_
^
1c
m
_

dr
=
__
c

n
^
1c
m
dr
_

= 1

nm
esto es
F = F
y
=
_
F
T
_

= (F

)
T
Escribimos ahora en forma matricial la relacin entre dos funciones a travs de un operador,
esto es, =
^
1,. As, consideremos primero que
=

l
/
l
c
l
y , =

k
c
k
c
k
entonces
=

l
/
l
c
l
=
^
1, =

k
c
k
^
1c
k
=

k
c
k

l
1
lk
c
l
de aqu

l
_
/
l

k
c
k
1
lk
_
c
l
= 0
5
y como las funciones c
l
son linealmente independientes, entonces
/
l
=

k
1
lk
c
k
o bien, en forma matricial
b = Fa
donde a y b son matrices columna (vectores) con elementos c
i
y /
i
y F es una matriz cuadrada
con elementos 1
ij
. Como podemos ver, las funciones y operadores se estn representando
mediante vectores y matrices denidas en un espacio lineal abstracto de dimensin en general
innita y complejo; este espacio se conoce como espacio de Hilbert.
3 Formulacin abstracta y notacin de Dirac
La notacin de Dirac proporciona una presentacin abstracta del lgebra lineal que le da
soporte a la mecnica cuntica.
Para denotar a un vector en el espacio de Hilbert se utiliza el ket [ y su adjunto es un bra
[; esto es [ = [
y
.
El producto de un bra por un ket es una cantidad escalar:
,[ [ , [ escalar
adems
, [ = [ ,
y
= [ ,

De aqu
, [ , = , [ ,

= |[,|
2
R
La accin de un operador
^
1 sobre el ket [, nos da otro ket:
[ =
^
1 [,
La base en el espacio de Hilbert se representa por el conjunto ortonormal completo de kets
[c
i
, tales que
c
i
[ c
j
= o
i;j
para ndices discretos
y

0
[
00
= o (
0

00
) para ndices continuos
En trminos de la base, el ket [ puede expresarse como
[ =

k
c
k
[c
k

donde los coecientes del desarrollo se obtienen como sigue:

c
i
[ =

k
c
k
c
i
[ c
k
=

k
c
k
o
i;k
= c
i
Ahora, si usamos este resultado en el desarrollo de [ tenemos:
[ =

k
[c
k
c
k
[ =
_

k
[c
k
c
k
[
_
[
6
esto es vlido para cualquier ket [, de modo que

k
[c
k
c
k
[ = 1
que se conoce como relacin de completez o de cerradura. Para ndices continuos tendremos
_
[ [ d = 1
Esta expresin tambin se conoce como "desarrollo de la unidad".
Para convencernos de la validez en el caso continuo tomemos el ket [
0
y lo multiplicamos por
el desarrollo de la unidad:
[
0
=
__
[ [ d
_
[
0
=
_
[ [ [
0
d =
_
[ o (
0
) d = [
0

Es posible comparar esta notacin con las expresiones en trminos de funciones de onda:
notacin de Dirac funciones de onda
[ =

k
c
k
[c
k
. c
k
= c
k
[ =

k
c
k
c
k
. c
k
=
_
c

k
dr
Si en la expresin para c
k
intercalamos un desarrollo de la unidad en trminos de la base [r
tendremos:
c
k
= c
k
[ = c
k
[
__
[r r[ dr
_
[ =
_
c
k
[ [r r[ [ dr
y al comparar con la expresin en trminos de funciones de onda concluimos que
(r) = r [ y c

k
= c
k
[ r c
k
= r [ c
k

Esta es la representacin r del vector [. Lo mismo se podra hacer utilizando otro desarrollo
de la unidad, digamos
_
[j j[ dj.
Ahora veamos la representacin de los operadores en esta notacin. Suponemos que
^
1 [c
j
= [/
j
, de modo que
[/
j
=
^
1 [c
j
=

k
1
kj
[c
k

de aqu
c
i
[ /
j
=

k
1
kj
c
i
[ c
k
= 1
ij
o bien
1
ij
= c
i
[
^
1 [c
j

Esto nos da los elementos de matriz del operador, calculados con la base [c
k
. Ahora
multiplicamos al operador
^
1 por desarrollos de la unidad a ambos lados:
^
1 =
_

i
[c
i
c
i
[
_
^
1
_

j
[c
j
c
j
[
_
=

i;j
[c
i
c
i
[
^
1 [c
j
c
j
[
=

i;j
1
ij
[c
i
c
j
[
7
Como puede verse, el producto de un bra por un ket es un escalar, mientras que el producto de un
ket por un bra es un operador.
Es fcil mostrar que la representacin matricial en esta notacin cumple tambin con las
propiedades ya mencionadas anteriormente. Por ejemplo, si tomamos el adjunto del operador
^
1,
tendremos:
^
1
y
=

i;j
1

ij
[c
j
c
i
[ =

i;j
1

ji
[c
i
c
j
[
(luego de invertir los ndices); ahora, si el operador es hermitiano, entonces
^
1
y
=
^
1 de modo que,
al comparar los dos ltimos resultados tenemos 1
ij
= 1

ji
lo cual nos dice que la matriz asociada
a un operador hermitiano es tambin hermitiana (autoadjunta).
Otro ejemplo es el producto de dos operadores. Veamos:
^

^
1 =

i;j

ij
[c
i
c
j
[

k;l
1
kl
[c
k
c
l
[
=

i;j

k;l

ij
1
kl
[c
i
c
j
[ c
k
c
l
[
=

i;j

ij
1
jl
[c
i
c
l
[ =

i;l

ij
1
jl
[c
i
c
l
[
=

i;l
C
il
[c
i
c
l
[
con
C
il
=

j

ij
1
jl
que es precisamente la regla de multiplicacin de las matrices A y B asociadas a los operadores
^

y
^
1.
En esta misma notacin la ecuacin de autovalores
^
1 [ = `[ toma la siguiente forma:
_

i;j
1
ij
[c
i
c
j
[
_
[ =

i;j
1
ij
c
j
[c
i
= `

i
c
i
[c
i

de modo que

i
_

j
1
ij
c
j
`c
i
_
[c
i
= 0
de donde obtenemos el siguiente sistema de ecuaciones:

j
(1
ij
`o
ij
) c
j
= 0
que representa la regla de diagonalizacin de la matriz F asociada al operador
^
1.
Si para obtener la representacin matricial del operador
^
1 se utilizan sus autovectores, entonces
8
se dice que el operador est en su propia representacin, esto es,
^
1 =

m;n
1
mn
[: :[ =

m;n
:[
^
1 [: [: :[
=

m;n
,
n
o
m;n
[: :[
=

n
,
n
[: :[
A los operadores
^
1
n
= [: :[ se les llama operadores de proyeccin, o proyectores. El resultado
anterior se conoce como la descomposicin espectral del operador
^
1. Cuando los proyectores
actan sobre cualquier ket [ proporcionan la componente de este ket en la direccin [::
^
1
n
[ = [: : [ = c
n
[:
Como dijimos anteriormente, el producto de un ket por un bra resulta ser un operador. Adems,
si el nmero de dimensiones de un espacio de Hilbert es ` (nito), entonces existe un nmero
nito de operadores elementales linealmente independientes, igual a `
2
, y por lo tanto, slo `
2
variables dinmicas independientes.
Ejemplo: Espacio bidimensional.
Los vectores base son
[+ =
_
1
0
_
; [ =
_
0
1
_
;
la cual es ortonormal:
+ [ + = (10)
_
1
0
_
= 1; [ = (01)
_
0
1
_
= 1
+ [ = (10)
_
0
1
_
= 0; [ + = (01)
_
1
0
_
= 0
Los operadores elementales ([i j[) son 4:
[+ +[ =
_
1
0
_
(10) =
_
1 0
0 0
_
; [ [ =
_
0
1
_
(01) =
_
0 0
0 1
_
[+ [ =
_
1
0
_
(01) =
_
0 1
0 0
_
; [ +[ =
_
0
1
_
(10) =
_
0 0
1 0
_
La relacin de completez:

n
[n n[ = [+ +[ +[ [
=
_
1 0
0 0
_
+
_
0 0
0 1
_
=
_
1 0
0 1
_
Si
^
1 es un operador que acta sobre la variable r, entonces lo podemos representar como
^
1
x
y
podemos escribir el elemento de matriz r
0
[
^
1 [r como sigue:
r
0
[
^
1
x
[r =
^
1
x
r
0
[ r =
^
1
x
o (r r
0
)
esto es, r
0
se comporta como un parmetro y se dice que
^
1 est en la representacin r. En tal
9
caso, su elemento de matriz entre los estados c
m
y c
n
es
c
m
[
^
1
x
[c
n
=
_
dr
_
dr
0
c
m
[ r
0
r
0
[
^
1
x
[r r [ c
n

=
_
dr
_
dr
0
c

m
(r
0
)
^
1
x
o (r r
0
) c
n
(r)
=
_
c

m
(r
0
)
^
1
x
c
n
(r) dr
Podemos utilizar este resultado para escribir la ecuacin de Schrdinger en la notacin de Dirac
de la siguiente forma:
^
H [ = i~
d [
dt
Para vericarlo, pasamos a la representacin r, multiplicando esta ecuacin por la izquierda por
el bra r[ , de modo que
i~ r[
d [
dt
= i~
J r [
Jt
= i~
J (r. t)
Jt
y
r[
^
H [ =
_
r[
^
H [r
0
r
0
[ dr
0
=
_
^
H
x
r [ r
0
(r
0
. t) dr
0
=
_
^
H
x
o (r r
0
) (r
0
. t) dr
0
=
^
H
x
(r. t)
de modo que obtenemos la ecuacin de Schrdinger en notacin funcional:
^
H (r. t) = i~
J (r. t)
Jt
4 Algunos teoremas bsicos
El producto de dos operadores hermitianos no necesariamente es hermitiano.
Sean
^
1 y
^
G operadores hermitianos, entonces
_
^
1
^
G
_
y
=
^
G
y
^
1
y
=
^
G
^
1
para que el producto sea hermitiano debe cumplirse que
_
^
1
^
G
_
y
=
^
1
^
G, esto es, debe cumplirse
que los operadores conmuten
^
1
^
G =
^
G
^
1
Se llama conmutador de los operadores
^
1 y
^
G a la siguiente expresin:
_
^
1.
^
G
_
=
^
1
^
G
^
G
^
1
10
y se llama anticonmutador de los operadores
^
1 y
^
G a la expresin
_
^
1.
^
G
_
+
=
^
1
^
G +
^
G
^
1
Como caso particular, el operador
^
C denido por la expresin
_
^
1.
^
G
_
= i
^
C es hermitiano si
^
1
y
^
G lo son:
^
C
y
= i
__
^
1.
^
G
__
y
= i
_
^
G
^
1
^
1
^
G
_
= i
_
i
^
C
_
=
^
C
Algunos ejemplos de conmutadores son:
[r. ] , (r) = (r r) , (r) = 0 = [r. ] = 0
o ms general
[r
i
. r
j
] = 0
Tambin:
[ ^ j
x
. ^ j
y
] , (r) = ~
2
_
J
2
,
JrJ

J
2
,
JJr
_
= 0 = [ ^ j
x
. ^ j
y
] = 0
o ms general
[ ^ j
i
. ^ j
j
] = 0
Un ejemplo ms:
[r. ^ j
x
] , (r) = r
_
i~
J,
Jr
_

_
i~
J
Jr
_
r,
= i~r
J,
Jr
+i~r
J,
Jr
+i~,
= i~, (r)
de donde
[r. ^ j
x
] = i~
o ms general
[r
i
. ^ j
j
] = i~o
ij
Hemos visto que si un sistema se encuentra en un estado que es autoestado de algn
operador
^
1, entonces el valor medio de dicho operador, en ese estado, coincide con el autovalor
correspondiente. En forma general, un estado no necesariamente es autoestado de un operador
^
1
y en tal caso el valor medio no coincide con un autovalor, es decir, la variable dinmica 1 no est
bien denida. Esto nos lleva a la necesidad de utilizar una medida de la dispersin que tiene la
variable, para lo cual se utiliza la conocida desviacin estndar, la cual se calcula como sigue:
Primero denimos la desviacin de
^
1 como 1 =
^
1
_
^
1
_
, de modo que resulta inmediato
mostrar que
_

^
1
_
= 0. Ahora, la desviacin estndar es
o
F
=
_
_
_

^
1
_
2
_
=
_
_
_
^
1
_
^
1
__
2
_
=
_
_
^
1
2
_

_
^
1
_
2
De aqu vemos que si un sistema se encuentra en un estado que es autoestado del operador
^
1,
11
entonces su dispersin es cero:
o
F
=
_
_
^
1
2
_

_
^
1
_
2
=
_
c
n
[
^
1
2
[c
n
c
n
[
^
1 [c
n

2
=
_
,
2
n
,
2
n
= 0
Para obtener este resultado hemos utilizado una forma particular del siguiente resultado general:
^
1c
n
= ,
n
/ c
n
=
^
1
k
c
n
= ,
k
n
/ c
n
As, si q (,) es una funcin que admite un desarrollo en serie de potencias de ,, entonces
q
_
^
1
_
c
n
=

k
q
k
^
1
k
c
n
=

k
q
k
,
k
n
c
n
= q (,
n
) c
n
Ahora puede uno plantearse la siguiente pregunta: Si un sistema se encuentra en un autoestado
de
^
1, este estado ser tambin autoestado de otros operadores?, esto es, habr otras variables
dinmicas que estn bien denidas en un mismo estado?
La respuesta a esta pregunta se da mediante el siguiente teorema.
Es posible preparar un sistema fsico en forma tal que dos de sus variables dinmicas tengan
valores bien denidos simultneamente si y slo si sus respectivos operadores conmutan.
Vamos a demostrar primero que la condicin es necesaria. As, suponemos que
^
1 y
^
G tienen
valores bien denidos simultneamente, esto es,
^
1c
n
= ,
n
/ c
n
y
^
Gc
n
= q
n
/ c
n
Aplicamos
^
G a la primera expresin y
^
1 a la segunda y comparamos:
^
G
^
1c
n
=
^
G,
n
/ c
n
= ,
n
^
G/ c
n
= ,
n
q
n
/ c
n
y
^
1
^
Gc
n
=
^
1q
n
/ c
n
= q
n
^
1 / c
n
= q
n
,
n
/ c
n
de aqu
^
G
^
1c
n
=
^
1
^
Gc
n
o bien, considerando que el resultado es vlido para cualquier c
n
,
^
G
^
1 =
^
1
^
G
Ahora probaremos que la condicin es suciente. Para ello, consideremos que
^
1 tiene valores
bien denidos y conmuta con
^
G, esto es,
^
1c
n
= ,
n
/ c
n
y
^
1
^
G =
^
G
^
1
Calculamos ahora el elemento de matriz de la segunda ecuacin usando las funciones c
n
:
_
c

m
^
1
^
Gc
n
dr =
_
c

m
^
G
^
1c
n
dr
y usando el hecho de que
^
1 es hermitiano el lado izquierdo es
_
c

m
^
1
^
Gc
n
dr =
_
_
^
Gc
n
__
^
1c
m
_

dr =
_
_
^
Gc
n
_
(,
m
c
m
)

dr
= ,
m
_
_
^
Gc
n
_
c

m
dr
12
de modo que tenemos
,
m
_
c

m
^
Gc
n
dr = ,
n
_
c

m
^
Gc
n
dr
y de aqu
(,
n
,
m
)
_
c

m
^
Gc
n
dr = 0
La integral en esta expresin deber tener la forma
_
c

m
^
Gc
n
dr = co
mn
la cual puede reescribirse considerando que las funciones son ortonormales, esto es, que cumplen
con
_
c

m
c
n
dr = o
mn
. As, tenemos
_
c

m
^
Gc
n
dr =
_
c

m
cc
n
dr
o bien, reacomodando trminos
_
c

m
_
^
Gc
_
c
n
dr = 0
Esta expresin debe ser vlida para toda c

m
, de modo que
_
^
Gc
_
c
n
= 0
o bien
^
Gc
n
= cc
n
lo cual signica que la variable G est bien denida.
Desigualdades de Heisenberg
Primero mostramos que la expresin
_
^

y
^

_
_ 0. Veamos:
_
^

y
^

_
= [
^

y
^
[ =
_
^

^
[ =
_
_
_
^
[
_
_
_
2
_ 0
Ahora consideraremos dos operadores hermitianos,
^
y
^
1, cuyo conmutador es i
^
C, esto es,
_
^
.
^
1
_
= i
^
C
Puede mostrarse que el conmutador de las desviaciones de
^
y
^
1 tiene la misma forma:
_

^
.
^
1
_
=
_
^

_
^

_
.
^
1
_
^
1
__
=
_
^
.
^
1
_

_
^
.
_
^
1
__

__
^

_
.
^
1
_
+
__
^

_
.
_
^
1
__
=
_
^
.
^
1
_
= i
^
C
Denimos ahora la funcin J (c) como sigue (c es un parmetro real):
J (c) =
_
_
c
^
+i
^
1
_
y
_
c
^
+i
^
1
_
_
_ 0
13
Desarrollando los trminos tenemos
J (c) =
__
c
^
i
^
1
__
c
^
+i
^
1
__
= c
2
_
^

2
_
+
_
^
1
2
_
+ic
_
^

^
1
^
1
^

_
= c
2
_
^

2
_
+
_
^
1
2
_
c
_
^
C
_
_ 0
El valor de c que minimiza esta expresin se obtiene derivando la expresin respecto a c e
igualando a cero:
dJ
dc
= 2c
m
_
^

2
_

_
^
C
_
= 0 = c
m
=
_
^
C
_
2
_
^

2
_
Usando este resultado en J (c) nos queda
J (c
m
) =
_
^
C
_
2
_
^

2
_
4
_
^

2
_
2
+
_
^
1
2
_

_
^
C
_
2
2
_
^

2
_
=
_
^
1
2
_

_
^
C
_
2
4
_
^

2
_ _ 0
de donde
_
^

2
__
^
1
2
_
_
1
4
_
^
C
_
2
Estos pasos pueden repetirse para obtener una relacin similar para las desviaciones de
^
y
^
1:
_
_

_
2
__
_

^
1
_
2
_
_
1
4
_
^
C
_
2
que son las llamadas desigualdades de Heisenberg.
Como puede verse, el producto de la dispersin de dos variables arbitrarias que no conmutan
no puede ser menor que una cantidad la cual depende del valor medio del conmutador de sus
operadores asociados. En el caso de variables cannicas conjugadas tenemos que
_
^
C
_
= ~ = ~
y en tal caso tenemos
_
_

_
2
__
_

^
1
_
2
_
_
~
2
4
Las desigualdades tambin pueden expresarse en trminos de las dispersiones (desviaciones
estndar):
o
A
o
B
_
1
2

_
^
C
_

y para variables cannicas conjugadas tendremos

o
A
o
B
_
~
2
Debe tenerse mucha precaucin cuando se utilizan estas desigualdades para conocer de
propiedades de un sistema dado. As, es importante sealar que estas desigualdades no implican
que al disminuir la dispersin de una variable, la dispersin de la variable cannica conjugada
14
deba aumentar. Por ejemplo, consideremos el caso del oscilador armnico lineal en el cual
tenemos

(^ r)
2
_
=
_
: +
1
2
_
~
:.
y

(^ j)
2
_
=
_
: +
1
2
_
~:.
de modo que

(^ r)
2
_
(^ j)
2
_
=
_
: +
1
2
_
2
~
2
=
~
2
4
(1 + 2:)
2
_
~
2
4
Las desigualdades de Heisenberg permiten obtener informacin semicuantitativa del
comportamiento dinmico de algunos sistemas fsicos. Veamos algunos ejemplos:
1. Sistema ligado en su estado base. Por simplicidad escogemos ^ x = ^ p = 0; adems podemos
escribir

^ x
2
_
~ a
2
, con a una longitud caracterstica del sistema (radio atmico, por ejemplo). Si adems
consideramos que

^ p
2
_
= 2mT, entonces

^ x
2
_
^ p
2
_
~ 2ma
2
T ~
~
2
4
esto es
T ~
~
2
8ma
2
Y si ahora aproximamos T por [E[ entonces para el estado base de un sistema ligado tendremos
[E[ a
2
~
~
2
8m
;
as, en el caso del pozo rectangular tenemos que a ~ L=4 y por tanto
[E[ ~
~
2
8m
16
L
2
=
2~
2
mL
2
que se compara de manera razonable con el valor exacto
2
~
2
=2mL
2
.
2. Otro ejemplo lo tenemos si tomamos
^
A = ^ x y
^
B =
^
H, suponiendo que el potencial depende slo de
x (no de p). Tenemos entonces que
_
^ x;
^
H
_
=
1
2m
_
^ x; ^ p
2

+
_
^ x;
^
V
_
=
1
2m
(^ p [^ x; ^ p] + [^ x; ^ p] ^ p) =
i~
m
^ p
y por tanto
_
(^ x)
2
_
_
_

^
H
_
2
_
_
~
2
4m
^ p
2
De este resultado podemos concluir que en un estado estacionario (autoestado de
^
H) de un sistema nito el
valor medio de ^ p debe anularse, ya que
_
_

^
H
_
2
_
= 0 y
_
(^ x)
2
_
< .
3. Un ejemplo ms lo obtenemos si ahora tomamos
^
A = ^ p y
^
B =
^
H, de modo que
_
^ p;
^
H
_
=
1
2m
_
^ p; ^ p
2

+
_
^ p;
^
V
_
= i~
@V
@x
= i~F (x)
15
donde F (x) es la fuerza externa. Tenemos entonces que
_
(^ p)
2
_
_
_

^
H
_
2
_
_
~
2
4
F (x)
y de este resultado concluimos que en un estado estacionario (autoestado de
^
H) de un sistema nito el
valor medio de la fuerza externa F (x) debe anularse, ya que
_
_

^
H
_
2
_
= 0 y
_
(^ p)
2
_
< .
16