Operadores

Utilizamos la funcin
como sigue:

para calcular los valores medios de cualquier variable dinmica A

Z
A
A^ dx;
(1)

aqu el operador A^ est asociado a la variable dinmica A y acta sobre la funcin que tiene a la
derecha, esto es
Z
Z
^
A dx =
A^ dx;
D E
tambin le llamamos a esta cantidad valor esperado, y podemos denotarlo por A^ .

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
r +V =E
(2)
2m
Multiplicamos esta ecuacin por
(por la izquierda) y la integramos:
Z
Z
2 Z
~
2
r dx +
V dx =
E dx;
2m
como podemos ver, el lado derecho es el promedio de la energa hEi = E, mientras que el
segundo trmino del lado izquierdo es el promedio del potencial hV i; por lo tanto
Z
~2
r2 dx = hEi hV i = hE V i = hT i
(3)
2m
o bien
Z
~2
~2 2
r
hT i =
dx
2m
2m
de manera que el operador asociado a la energa cintica es
~2 2
T^ =
r
(4)
2m
Regresando a la ecuacin (3) tenemos entonces que
D E D E
D
E
T^ + V^ = hEi ! hEi = T^ + V^ ;
esta suma es llamada el operador hamiltoniano
^ = T^ + V^ :
H

As, la ecuacin estacionaria de Schrdinger puede escribirse como

^ =E
H
La ecuacin de Schrdinger puede entonces escribirse como sigue:
^ = i~ @
H
@t
1

(5)
(6)
(7)

y si multiplicamos esta ecuacin por

(por la izquierda) e integramos obtenemos

Z
D E
@
^ = i~
dx
H
@t
esto es
Z
D E
@
E^ = i~
dx
@t
de modo que el operador de energa resulta ser
@
(8)
E^ = i~
@t
Al aplicar este operador a una funcin estacionaria que es solucin de la ecuacin de
Schrdinger se obtiene lo siguiente:
iE
iE
^ (x) e iE~ t = i~ @ ' (x) e iE~ t = i~
E^
= E'
' (x) e ~ t
@t
~
= E
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 T = p2 =2m, de modo que el operador asociado a p2 sera
~2 r 2

p^2 =
de donde podemos obtener que

p^ = i~r;
para escoger el signo adecuado aplicamos este operador a una funcin que represente a una
ipx
partcula con momento lineal constante, esto es, una onda plana = Ae ~ :
ipx
ipx
ip
p^ =
i~rAe ~ = i~
Ae ~
~
=
p
de modo que para tener una ecuacin de autovalores razonable escogemos el signo negativo en la
expresin para el operador de momento lineal, as:
p^ = i~r
(9)
A continuacin escribimos algunos de los operadores ms conocidos:
posicin
x^ = x
momento lineal
p^ = i~r
energa
E^ = i~ @@t
energa potencial V^ = V (x)
~2
energa cintica
T^ = 2m
r2
^ = T^ + V^
hamiltoniano
H
Puede verse que todos estos operadores son lineales, esto es, cumplen con
F^ (a 1 + b 2 ) = aF^ 1 + bF^ 2

(10)

con a y b constantes arbitrarias. Esto garantiza que se cumpla el principio de superposicin.

Adems, es importante asegurar que los valores esperados calculados con estos operadores

sean magnitudes reales, esto es:

o bien

D E D E
F^ = F^
F^ dx =

F^

dx

Es conocido del lgebra lineal que si ' y son dos funciones cuadrado integrables y F^ un
operador lineal tal que se cumple con la siguiente igualdad
Z
Z
^
' F dx =
F^ ' dx

entonces se dice que F^ 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 de nicin de hermiticidad debe acompaarse por condiciones de frontera adecuadas para
' (x) y (x). Por ejemplo, consideremos el operador de momento lineal y veamos su condicin
de hermiticidad:
Z 1
Z 1
@'
dx
p^'dx =
i~
@x
1
1
Z 1
@
1
=
i~
'j 1
'
dx
@x
1
Z 1
1
' (^
p ) dx
=
i~ 'j 1 +
1

As, para que p^ sea hermitiano debe cumplirse que 'j1 =

'j 1 y esto se cumple en
particular para funciones cuadrado integrables, para las cuales ' ( 1) = 0 y ( 1) = 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:
F^ = f
Ahora multiplicamos esta ecuacin por
e integramos:
Z
Z
^
F dx =
f dx = f
por lo que

D E
y como F^ es real, tambin lo es f .

D E
F^ = f

Las autofunciones correspondientes a autovalores diferentes son ortogonales. Primero

consideremos las dos ecuaciones:

F^
F^
multiplicamos la primera ecuacin por
integramos:
Z
^
mF
Z
^
n F m

= fn

= fm

y la conjugada de la segunda ecuacin por

n dx

= fn

dx = fm

y las

m n dx
n m dx

debido a la hermiticidad de F^ al tomar la diferencia de estas ecuaciones el lado izquierdo se

anula y obtenemos:
Z
0 = (fn

m n dx

fm )

que es precisamente la condicin de ortogonalidad de las funciones

reescribir Z
como
m n dx

n m;n

la cual podemos

= 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 f n (x)g es el conjunto de autofunciones de un operador hermitiano, entonces
podemos expresar la funcin f (x) (su cientemente continua y cuadrado integrable) como
Z
X
cn n (x)
;
cn =
f (x) =
n f (x) dx
n

Podemos utilizar este resultado en el clculo del valor esperado de cualquier operador F^ :
!
!
Z
Z X
D E
X
cn n (x) dx
cm m (x) F^
F^
=
F^ dx =
=

X
m;n

y si las funciones

cm cn

mF

(x) dx

(x) son autofunciones de F^ , entonces

D E
X
F^
=
cm cn fn m;n
m;n

X
n

jcn j2 fn

esto es, el valor medio de F^ est dado por el promedio de sus autovalores, tomados con peso
jcn j2 .
Si el sistema ha sido preparado (terica o experimentalmente) de modo que se encuentra en el
estado r de F^ , con autovalor fr , entonces = r y por tanto cn = 0 si n 6= r y cr = 1; as
D E
F^ = fr
4

Representacin de operadores por matrices. Consideremos dos funciones n y n , con n

miembro de una base f k g y n dada por la accin de algn operador F^ sobre n ; esto es
^
(11)
n = F n
Siendo

una funcin, la podemos expresar como un desarrollo en trminos de la base f

X
^
ank k
n = F n =

k g:

Los coe cientes del desarrollo

los calculamosZ de la manera usual:
Z
X
X
^ n dx =
F
dx
=
a
ank
nk
m
m k
k

esto es

mF

m;k

n dx

= anm

Fmn

As, vemos que los nmeros Fmn de nen un arreglo matricial cuadrado el cual proporciona una
representacin matricial para F^ , en la base f k g. Puede reescribirse la ecuacin (11) utilizando
este resultado:
X
^
Fkn k
=
F
=
n
n
k

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

^ = AB
A^B
As mismo, la matriz correspondiente a un operador hermitiano es hermitiana; veamos:
Z
Z
^
^
dx
Fmn =
n F m
m F n dx =
Z
^
=
n F m dx
= Fnm

esto es
F = Fy = FT

= (F )T

Escribimos ahora en forma matricial la relacin entre dos funciones a travs de un operador,
esto es, = F^ '. As, consideremos primero que
X
X
=
bl l
y
'=
ak k
l

entonces

=
de aqu

bl

= F^ ' =

ak F^

ak Flk

X
l

bl

ak

=0

X
l

Flk

y como las funciones

son linealmente independientes, entonces

X
bl =
Flk ak
k

o bien, en forma matricial

b = Fa
donde a y b son matrices columna (vectores) con elementos ai y bi y F es una matriz cuadrada
con elementos Fij . Como podemos ver, las funciones y operadores se estn representando
mediante vectores y matrices de nidas en un espacio lineal abstracto de dimensin en general
in nita 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 j i y su adjunto es un bra
h j; esto es h j = j iy :
El producto de un bra por un ket es una cantidad escalar:
adems
De aqu

h'j j i ! h' j i ! escalar

h' j i = h j 'iy = h j 'i

h' j 'i = h' j 'i = kj'ik2 2 R

La accin de un operador F^ sobre el ket j'i nos da otro ket:
j i = F^ j'i

La base en el espacio de Hilbert se representa por el conjunto ortonormal completo de kets

fjai ig, tales que
hai j aj i = i;j
para ndices discretos
y
hq 0 j q 00 i = (q 0 q 00 )
para ndices continuos
En trminos de la base, el ket j i puede expresarse como
X
j i=
ck jak i
k

donde los coe cientes del desarrollo se obtienen como sigue:

X
X
hai j i =
ck hai j ak i =
ck
k

i;k

= ci

Ahora, si usamos este resultado en el desarrollo de j i tenemos:

!
X
X
j i=
jak i hak j i =
jak i hak j j i
k

esto es vlido para cualquier ket j i, de modo que

X
jak i hak j = 1
k

que se conoce como relacin de completez o de cerradura. Para ndices continuos tendremos
Z
jqi hqj dq = 1

Esta expresin tambin se conoce como "desarrollo de la unidad".

Para convencernos de la validez en el caso continuo tomemos el ket jq 0 i y lo multiplicamos por
el desarrollo de la unidad:
Z
Z
Z
0
0
0
jq i =
jqi hqj dq jq i = jqi hqj jq i dq = jqi (q q 0 ) dq = jq 0 i
Es posible comparar esta notacin con las expresiones en trminos de funciones de onda:
notacin de Dirac
funciones de onda
Z
X
X
c k k ; ck =
ck jak i ; ck = hak j i
=
j i=
k dx
k

Si en la expresin para ck intercalamos un desarrollo de la unidad en trminos de la base jxi

tendremos:
Z
Z
ck = hak j i = hak j
jxi hxj dx j i = hak j jxi hxj j i dx
y al comparar con la expresin en trminos de funciones de onda concluimos que
y

(x) = hx j i

= hak j xi !

= hx j ak i

Esta es la representacin
x del vector j i. Lo mismo se podra hacer utilizando otro desarrollo
R
de la unidad, digamos jpi hpj dp.
Ahora veamos la representacin de los operadores en esta notacin. Suponemos que
^
F jaj i = jbj i, de modo que
X
jbj i = F^ jaj i =
Fkj jak i
k

de aqu

hai j bj i =
o bien

X
k

Fkj hai j ak i = Fij

Fij = hai j F^ jaj i

Esto nos da los elementos de matriz del operador, calculados con la base fjak ig. Ahora
multiplicamos al operador F^ por desarrollos de la unidad a ambos lados:
!
!
X
X
F^ =
jai i hai j F^
jaj i haj j
i

=
=

i;j

jai i hai j F^ jaj i haj j

i;j

Fij jai i haj j

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 F^ ,
tendremos:
X
X
F^ y =
Fij jaj i hai j =
Fji jai i haj j
i;j

i;j

(luego de invertir los ndices); ahora, si el operador es hermitiano, entonces F^ y = F^ de modo que,
al comparar los dos ltimos resultados tenemos Fij = Fji 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:
X
X
^ =
A^B
Aij jai i haj j
Bkl jak i hal j
i;j

XX
i;j

i;j

X
i;l

con

k;l

XX
l

k;l

Aij Bkl jai i haj j ak i hal j

Aij Bjl jai i hal j =

XX
i;l

Aij Bjl jai i hal j

Cil jai i hal j

Cil =

Aij Bjl

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

^
y B.
En esta misma notacin la ecuacin de autovalores F^ j i = j i toma la siguiente forma:
!
X
X
X
Fij jai i haj j j i =
Fij cj jai i =
ci jai i
i;j

i;j

de modo que

X X
i

ci jai i = 0

Fij cj

de donde obtenemos el siguiente sistema de ecuaciones:

X
(Fij
ij ) cj = 0
j

que representa la regla de diagonalizacin de la matriz F asociada al operador F^ .

Si para obtener la representacin matricial del operador F^ se utilizan sus autovectores, entonces

se dice que el operador est en su propia representacin, esto es,

X
X
F^ =
Fmn jmi hnj =
hmj F^ jni jmi hnj
m;n

m;n

fn

m;n

m;n

jmi hnj

fn jni hnj

A los operadores P^n jni hnj se les llama operadores de proyeccin, o proyectores. El resultado
anterior se conoce como la descomposicin espectral del operador F^ . Cuando los proyectores
actan sobre cualquier ket j i proporcionan la componente de este ket en la direccin jni:
P^n j i = jni hn j i = cn jni
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 N ( nito), entonces existe un nmero
nito de operadores elementales linealmente independientes, igual a N 2 , y por lo tanto, slo N 2
variables dinmicas independientes.
Ejemplo: Espacio bidimensional.
Los vectores base son

1
;
0

j+i =

la cual es ortonormal:

1
0
0
h+ j i = (10)
1
Los operadores elementales (jii hjj) son 4:
1
1
j+i h+j =
(10) =
0
0
1
0
j+i h j =
(01) =
0
0
h+ j +i = (10)

La relacin de completez:

X
n

j i=

= 1;

= 0;

0
;
1

0
1
1
j +i = (01)
0
j

i = (01)

0
0

j ih j =

1
0

j i h+j =

=1
=0

0
(01) =
1
0
(10) =
1

0 0
0 1
0 0
1 0

jni hnj = j+i h+j + j i h j

=

1 0
0 0

1 0
0 1

0 0
0 1

Si F^ es un operador que acta sobre la variable x, entonces lo podemos representar como F^x y
podemos escribir el elemento de matriz hx0 j F^ jxi como sigue:
hx0 j F^x jxi = F^x hx0 j xi = F^x (x x0 )

esto es, x0 se comporta como un parmetro y se dice que F^ est en la representacin x. En tal
9

caso, su elemento de matriz entre los estados m y n es

Z
Z
h m j F^x j n i =
dx dx0 h m j x0 i hx0 j F^x jxi hx j n i
Z
Z
=
dx dx0 m (x0 ) F^x (x x0 ) n (x)
Z
0 ^
=
m (x ) Fx n (x) dx

Podemos utilizar este resultado para escribir la ecuacin de Schrdinger en la notacin de Dirac
de la siguiente forma:
^ j i = i~ d j i
H
dt
Para veri carlo, pasamos a la representacin x, multiplicando esta ecuacin por la izquierda por
el bra hxj , de modo que
dj i
@ hx j i
@ (x; t)
i~ hxj
= i~
= i~
dt
@t
@t
y
Z
^
^ jx0 i hx0 j i dx0
hxj H j i =
hxj H
Z
^ x hx j x0 i (x0 ; t) dx0
H
=
Z
^ x (x x0 ) (x0 ; t) dx0
=
H
^ x (x; t)
= H

de modo que obtenemos la ecuacin de Schrdinger en notacin funcional:

^ (x; t) = i~ @ (x; t)
H
@t

4 Algunos teoremas bsicos

El producto de dos operadores hermitianos no necesariamente es hermitiano.
^ operadores hermitianos, entonces
Sean F^ y G
^
F^ G

^ y F^ y = G
^ F^
=G
y

^ = F^ G,
^ esto es, debe cumplirse
para que el producto sea hermitiano debe cumplirse que F^ G
que los operadores conmuten
^=G
^ F^
F^ G
^ a la siguiente expresin:
Se llama conmutador de los operadores F^ y G
h
i
^
^ G
^ F^
F^ ; G
F^ G
10

^ a la expresin
y se llama anticonmutador de los operadores F^ y G
h
i
^
^+G
^ F^
F^ ; G
F^ G
+
h
i
^
^
^
Como caso particular, el operador C de nido por la expresin F ; G = iC^ es hermitiano si F^
^ lo son:
yG
h
i y
y
^
^
^
^ F^ F^ G
^ =i
C = i F;G
=i G
iC^ = C^
Algunos ejemplos de conmutadores son:
[x; y] f (x) = (xy

yx) f (x) = 0

o ms general

[x; y] = 0

[xi ; xj ] = 0

Tambin:
[^
px ; p^y ] f (x) =

@2f
@x@y

o ms general

@2f
@y@x

=0

[^
px ; p^y ] = 0

[^
pi ; p^j ] = 0

Un ejemplo ms:

@f
@
i~
xf
@x
@x
@f
@f
+ i~x
+ i~f
=
i~x
@x
@x
= i~f (x)

[x; p^x ] f (x) = x

i~

de donde
[x; p^x ] = i~

o ms general

[xi ; p^j ] = i~ ij
Hemos visto que si un sistema se encuentra en un estado que es autoestado de algn
operador F^ , 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 F^
y en tal caso el valor medio no coincide con un autovalor, es decir, la variable dinmica F no est
bien de nida. 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,
D Ela cual se calcula como sigue:
Primero de nimos la desviacin de F^ como F F^
F^ , de modo que resulta inmediato
D
E
mostrar que
F^ = 0. Ahora, la desviacin estndar es
s
s
D E 2
2
^
^
F^
F
=
F
F =
=

rD

F^ 2

D E2
F^

De aqu vemos que si un sistema se encuentra en un estado que es autoestado del operador F^ ,
11

entonces su dispersin es cero:

rD E D E
q
2
2
F^
F^ = h
F =
p
=
fn2 fn2 = 0

^2 j

nj F

ni

^j

nj F

2
ni

Para obtener este resultado hemos utilizado una forma particular del siguiente resultado general:
F^ n = fn / n ) F^ k n = fnk / n
As, si g (f ) es una funcin que admite un desarrollo en serie de potencias de f , entonces
X
X
g F^ n =
gk F^ k n =
gk fnk n = g (fn ) n
k

Ahora puede uno plantearse la siguiente pregunta: Si un sistema se encuentra en un autoestado

de F^ , este estado ser tambin autoestado de otros operadores?, esto es, habr otras variables
dinmicas que estn bien de nidas 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 de nidos simultneamente si y slo si sus respectivos operadores conmutan.
^ tienen
Vamos a demostrar primero que la condicin es necesaria. As, suponemos que F^ y G
valores bien de nidos simultneamente, esto es,
^ n = gn / n
F^ n = fn / n y G
^ a la primera expresin y F^ a la segunda y comparamos:
Aplicamos G
^ F^ n = Gf
^ n / n = fn G
^ / n = fn gn / n
G
y
de aqu

^
F^ G

= F^ gn / n = gn F^ / n = gn fn / n

^ F^ n = F^ G
^ n
G
o bien, considerando que el resultado es vlido para cualquier
^ F^ = F^ G
^
G

n,

Ahora probaremos que la condicin es su ciente. Para ello, consideremos que F^ tiene valores
^ esto es,
bien de nidos y conmuta con G,
^=G
^ F^
F^ n = fn / n y F^ G
Calculamos ahora el elemento de matriz de la segunda ecuacin usando las funciones
Z
Z
^
^
^^
m F G n dx =
m GF n dx
y usando el hecho de que F^ es hermitiano el lado izquierdo es
Z
Z
Z
^^
^ n F^ m dx =
G
m F G n dx =
Z
^ n
= fm
G
m dx
12

^
G

(fm

m)

dx

n:

de modo que tenemos

fm
y de aqu

m G n dx

(fn

fm )

= fn

m G n dx

m G n dx

La integral en esta expresin deber tener la forma

Z
^
m G n dx =

=0

mn

la cual
R puede reescribirse considerando que las funciones son ortonormales, esto es, que cumplen
con
m n dx = mn . As, tenemos
Z
Z
^
n dx
m G n dx =
m
o bien, reacomodando trminos

Esta expresin debe ser vlida para toda

^
G
m,

n dx

=0

de modo que

^
G

=0

o bien

^ n= n
G
lo cual signi ca que la variable G est bien de nida.
Desigualdades de Heisenberg
E
D
y ^
^
0. Veamos:
Primero mostramos que la expresin A A
D
E
D
A^y A^ = h j A^y A^ j i = A^ A^ j i = A^ j i

^ cuyo conmutador es iC,

^ esto es,
Ahora consideraremos dos operadores hermitianos, A^ y B,
h
i
^ B
^ = iC^
A;

^ tiene la misma forma:

Puede mostrarse que el conmutador de las desviaciones de A^ y B
h
i
h
D E
D Ei
^ B
^ = A^
^
^
A;
A^ ; B
B
i h D Ei hD E i hD E D Ei
h
^
^ B
^
^ B
^
^ + A^ ; B
A;
A^ ; B
= A;
h
i
^ B
^ = iC^
= A;

De nimos ahora la funcin J ( ) como sigue ( es un parmetro real):

J( )=

^
A^ + iB

13

^
A^ + iB

Desarrollando los trminos tenemosD

J( ) =

E
^
^
iB
A^ + iB
D E D E
D
E
2
^ 2 + i A^B
^ B
^ A^
A^2 + B
D E D E
D E
2
2
2
^
^
A + B
C^
0
A^

El valor de que minimiza esta expresin se obtiene derivando la expresin respecto a

igualando a cero:
D E
D E D E
C^
dJ
2
^
^
D E
=2 m A
C =0
)
m =
d
2 A^2

Usando este resultado en J ( ) nos queda

D E2 D E
D E
C^
A^2
^2
+
B
J ( m) =
D E2
4 A^2
D E2
D E
C^
2
^
D E 0
= B
4 A^2

de donde

D E2
C^
D E
2 A^2

1 D ^ E2
C
4
^
Estos pasos pueden repetirse para obtener una relacin similar para las desviaciones de A^ y B:
2
2
1 D ^ E2
^
C
A^
B
4
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
D E de sus
operadores asociados. En el caso de variables cannicas conjugadas tenemos que C^ = h~i = ~
y en tal caso tenemos
2
2
~2
^
A^
B
4
Las desigualdades tambin pueden expresarse en trminos de las dispersiones (desviaciones
estndar):
1 D ^E
C
A B
2
y para variables cannicas conjugadas tendremos
~
A 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
A^2

ED E
^2
B

14

deba aumentar. Por ejemplo, consideremos el caso del oscilador armnico lineal en el cual
tenemos
1
~
( x^)2 = n +
2 m!
y
1
~m!
( p^)2 = n +
2
de modo que
2
1
~2
~2
( x^)2 ( p^)2 = n +
~2 =
(1 + 2n)2
2
4
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 h^
xi = h^
pi = 0; adems podemos
escribir x
^2
a2 , con a una longitud caracterstica del sistema (radio atmico, por ejemplo). Si adems
consideramos que p^2 = 2mT , entonces
x
^2

p^2

2ma2 T

esto es

~2
4

~2
8ma2
Y si ahora aproximamos T por jEj entonces para el estado base de un sistema ligado tendremos
T

jEj a2

as, en el caso del pozo rectangular tenemos que a

~2
;
8m
L=4 y por tanto

2~2
~2 16
=
8m L2
mL2
2
que se compara de manera razonable con el valor exacto ~2 =2mL2 .
^=H
^ , suponiendo que el potencial depende slo de
2. Otro ejemplo lo tenemos si tomamos A^ = x
^yB
x (no de p). Tenemos entonces que
h
i
h
i
1
^
x
^; p^2 + x
^; V^
x
^; H
=
2m
1
i~
=
(^
p [^
x; p^] + [^
x; p^] p^) = p^
2m
m
y por tanto
D
E
2
~2
^
( x
^)2
H
h^
pi2
4m
^ ) de un sistema nito el
De este resultado podemos concluir que en un estado estacionario (autoestado de H
D
E
2
^
valor medio de p^ debe anularse, ya que
H
=0y ( x
^)2 < 1.
jEj

^=H
^ , de modo que
3. Un ejemplo ms lo obtenemos si ahora tomamos A^ = p^ y B
h
i
h
i
1
^
p^; H
=
p^; p^2 + p^; V^
2m
@V
=
i~
= i~F (x)
@x

15

donde F (x) es la fuerza externa. Tenemos entonces que

D
E
2
^
( p^)2
H

~2
hF (x)i
4

^ ) de un sistema nito el
y de este resultado concluimos que en un estado estacionario (autoestado de H
D
E
2
^
valor medio de la fuerza externa F (x) debe anularse, ya que
H
= 0 y ( p^)2 < 1.

16