81

3

La ecuacin de Schrdinger
Introduccin a la Mecnica Cuntica





3.1 La ecuacin de Schrdinger dependiente del tiempo 83
3.1.1 Condiciones de continuidad de la funcin de onda 87
3.1.2 Interpretacin de la funcin de onda 87

3.2 Variables dinmicas y operadores 89
3.2.1 El estado de un sistema 89
3.2.2 Valor esperado de una magnitud fsica 90
3.2.3 Valor esperado del momento. Operador momento 90
3.2.4 Valor esperado de la energa. Operador energa 92
3.2.5 Interpretacin de la ecuacin de Schrdinger en
trminos de los operadores momento y energa 93
3.2.6 Otros operadores asociados a variables dinmicas 94
3.2.7 Valores y funciones propias de un operador 94
3.2.8 Operador adjunto de un operador lineal 96
3.2.9 Expansin de una funcin de estado en funciones
propias de un operador 97

3.3 Ecuacin de Schrdinger independiente del tiempo.
Estados estacionarios 99

3.4 Conmutabilidad de operadores y relaciones
de incertidumbre 100
3.4.1 Conmutador de dos operadores 100
3.4.2 Conmutabilidad de operadores e incertidumbre 101
3.4.2 Incertidumbre en la determinacin de un observable 102

Apndices
3.A. Relaciones de incertidumbre de Heisenberg
y conmutabilidad 104

82
83
3.1 La ecuacin de Schrdinger dependiente del tiempo

En el captulo anterior, hemos visto que, de acuerdo con el postulado de De
Broglie, la evolucin de las partculas puede describirse a partir de una funcin de onda,
cuyo mdulo al cuadrado nos da la densidad de probabilidad de encontrar una partcula
en un cierto punto del espacio, en un instante dado. Por lo tanto, en la representacin de
posiciones, la funcin de onda de una partcula es funcin de la coordenada espacial
r

y del tiempo t .
Tambin hemos visto algunos experimentos que confirman el postulado de De
Broglie y que demuestran que, en determinadas circunstancias, las partculas se
manifiestan como si su comportamiento estuviera gobernado por una funcin de onda
asociada. Si sta es una propiedad general de la materia, debemos encontrar un
procedimiento general que se pueda utilizar para estudiar el comportamiento de
cualquier sistema de partculas. A este formalismo general se le llama Mecnica
Cuntica y sus bases ms importantes fueron propuestas por E. Schrdinger a partir de
1925. La teora de Schrdinger es una extensin del postulado de De Broglie y de
hecho, est estrechamente relacionada con la teora de Newton para el movimiento de
un sistema de partculas clsico. En realidad, la teora de Schrdinger es una
generalizacin que incluye a la teora de Newton como caso particular en el lmite
clsico.
El punto bsico de la Mecnica Cuntica es la llamada ecuacin de Schrdinger,
que no es otra cosa que la ecuacin de onda de la cual es solucin la funcin de onda de
De Broglie que gobierna el comportamiento de un sistema fsico. Como es habitual en
Fsica, esta ley fundamental se expresa mediante una ecuacin diferencial que
caracteriza la evolucin temporal de la funcin de onda.
Sin embargo, el primer problema que se encontr Schrdinger no fue como resolver
esta ecuacin diferencial sino como encontrarla. De hecho, su posicin era similar a la
de Newton cuando ste estaba buscando su famosa segunda ley de la Mecnica Clsica.
No vamos a utilizar aqu la lnea de razonamiento que sigui Schrdinger para
deducir la ecuacin diferencial que lleva su nombre; slo presentaremos algunos
argumentos sencillos que permiten justificar los resultados de Schrdinger a
posteriori.
En primer lugar, vamos a resumir las propiedades razonables que debera cumplir
la ecuacin de onda mecnico-cuntica:

1. Debera ser consistente con el postulado de De Broglie y con la relacin de
Planck-Einstein
/ y h p E h = = .

2. Debera ser consistente con la ecuacin
2
2
p
E V
m
= + ,
que relaciona la energa total de una partcula no-relativista con su energa
cintica y su energa potencial.

3. Debera ser lineal y homognea para que la funcin de onda ( ) , r t

cumpla el
principio de superposicin. Si ( )
1
, r t

y ( )
2
, r t

son dos soluciones de la
ecuacin diferencial para una energa potencial dada V , cualquier combinacin
84
arbitraria de estas soluciones ( ) ( ) ( )
1 1 2 2
, , , r t c r t c r t = +

tambin ser
solucin. Este requisito asegura que se podrn sumar funciones de onda para
producir interferencias.

4. Para una partcula libre la energa potencial es constante
( )
0
, V r t V =

y en consecuencia, la fuerza que acta sobre la partcula es cero. En este caso, la
cantidad de movimiento y la energa total son constantes del movimiento, en
consecuencia, por el postulado de De Broglie y la relacin de Planck-Einstein,
tambin lo sern
/ y / h p E h = = .
La funcin de onda asociada a esta partcula ser una onda plana de longitud de
onda y frecuencia constantes
( ) ( )
2
e e
i k r t i k r t
=


.

5. Finalmente, para satisfacer la hiptesis de que la evolucin de un sistema esta
enteramente determinada una vez se conoce la funcin de onda en un cierto
instante, la ecuacin diferencial debera ser de primer orden en la derivada
temporal / t . Si la ecuacin contuviera la segunda derivada
2 2
/ t , sera
necesario especificar a la vez y / t en un cierto instante para obtener una
solucin nica, en contradiccin con la hiptesis de que slo es necesario
conocer .

A partir de las relaciones de De Broglie y de Planck-Einstein, podemos escribir la
ecuacin de la energa total de una partcula en trminos de y
( )
2
2
,
2
h
V x t h
m

+ = ,
que se puede rescribir en funcin de 2 / k = y 2 =
( )
2 2
,
2
k
V x t
m
+ =

.
Esta ecuacin no es aplicable a fotones, que tienen
0
0 m = y v c = , pero s lo es a
cualquier partcula no-relativista cuya energa cintica sea mucho menor que
2
0
m c . En
realidad, esta ecuacin es la relacin de dispersin que debe cumplir la funcin de onda
asociada a una partcula, en analoga con
vk = ,
que es la relacin de dispersin para una onda transversal armnica que se propaga por
un medio istropo.
Consideremos primero el caso de una partcula libre en una dimensin con 0 V = .
Segn la cuarta hiptesis, la funcin de onda asociada debe ser una onda plana de
longitud de onda y frecuencia bien definidas. Vamos a adoptar la forma
( )
( )
, e
i k x t
x t A

= ,
donde a diferencia con el anlisis ondulatorio clsico para el cual la solucin fsica
corresponde a la parte real de la funcin compleja anterior, en la teora cuntica
daremos una interpretacin diferente a ( ) , x t . Si observamos que
85
( )
( )
2 2
2
2 2
e
e
i kx t
i kx t
p
k A
x
E
i A i
t

= =

= =

y tenemos en cuenta que
2
2
p
E
m
= ,
es fcil comprobar que la onda plana satisface la ecuacin en derivadas parciales
( ) ( )
2 2
2
, ,
2
i x t x t
t m x


=

.
De forma ms general, ya que esta ecuacin es lineal y homognea, tambin ser
satisfecha por una superposicin de ondas planas. Por ejemplo, el paquete de ondas
( ) ( )
( )
1
, e
2
i kx t
x t k dk

,
asociado con una partcula libre localizada, que se mueve en una dimensin, es tambin
solucin de la ecuacin diferencial en derivadas parciales que acabamos de obtener, ya
que
( )
( )
( )
( )
( )
( )
( )
( )
( )
2 2
2 2
2
1
, e
2
1
e
2
1
e
2 2
, .
2
i kx t
i kx t
i kx t
i x t k dk
t
E k k dk
k
k dk
m
x t
m x

=
=

La ecuacin de onda que hemos obtenido es conocida como ecuacin de
Schrdinger dependiente del tiempo para el movimiento de una partcula libre en una
dimensin. Es importante remarcar que esta ecuacin verifica los requerimientos que
hemos exigido al principio de este captulo; en particular, es una ecuacin lineal y
homognea para la funcin de onda .
La generalizacin de estas consideraciones para la partcula libre en tres
dimensiones es sencilla. Una partcula libre de masa m, que tiene un momento bien
definido p

y una energa E , se describe mediante la onda plana

( )
( ) ( ) /
, e e
i k r t
i p r Et
r t A A

= =

caracterizada por el vector de onda / k p =

y la frecuencia angular / E = . Como
en el caso unidimensional, tenemos que
2
/ 2 k m = , que es equivalente a la relacin
clsica
2
2
p
E
m
= ,
entre el momento y la energa de la partcula. Es sencillo comprobar que la onda plana
verifica la ecuacin diferencial en derivadas parciales
( ) ( )
2
2
, ,
2
i r t r t
t m

,
86
donde
2 2 2
2
2 2 2
x y z

= + +


es el operador Laplaciano. Esta es la ecuacin de Schrdinger dependiente del tiempo
para una partcula libre en tres dimensiones. Como en el caso unidimensional es lineal y
homognea, y slo depende de la primera derivada respecto al tiempo de .
Vamos ahora a generalizar la ecuacin de Schrdinger para la partcula libre al caso
de una partcula que se mueve en un campo de fuerzas. Vamos a asumir que la fuerza
( ) , F r t

, que acta sobre la partcula, se puede derivar a partir de una energa potencial
( ) , V r t

( ) ( ) ( )
, , F r t V r t =


,
de forma que, para una partcula no-relativista, la energa total viene dada por la suma
de su energa cintica y su energa potencial
( )
2
,
2
p
E V r t
m
= +

.
Teniendo en cuenta que la energa potencial V no depende ni de p

ni de E , podemos
escribir
( )
2 2 2
2 p m E V k = = ,
por lo tanto
( )
2
2
2m E V

y la ecuacin de Schrdinger dependiente del tiempo para el caso general se escribir en
la forma
( ) ( ) ( )
2
2
, , ,
2
i r t V r t r t
t m

(
= +
(

.
Esta es la clebre ecuacin de onda dependiente del tiempo propuesta por Schrdinger
en 1926, para una partcula que se mueve en el seno de un potencial. Es la ecuacin
bsica de la Mecnica Cuntica no-relativista. Es importante resaltar que el
procedimiento que hemos seguido no es una demostracin formal de esta ecuacin, sino
simplemente un razonamiento plausible. Se pueden escribir otras muchas ecuaciones de
onda compatibles con las cinco hiptesis anteriores, pero la ecuacin de Schrdinger es
la ms simple matemticamente y adems las funciones solucin son perfectamente
compatibles con la interpretacin de como una amplitud de probabilidad. Al igual
que la segunda ley de Newton, no existe una justificacin formal para la ecuacin de
Schrdinger. La mejor justificacin de su validez proviene de la comparacin entre las
predicciones que se derivan de ella y los resultados experimentales. Es la aplicacin con
xito de la ecuacin de Schrdinger a muchos problemas diferentes lo que prueba su
validez en el marco de la Mecnica Cuntica no-relativista.

87
3.1.1 Condiciones de continuidad de la funcin de onda

Si ( ) , V r t

es una funcin continua de las coordenadas cartesianas , , x y z , es obvio

por la forma de la ecuacin de Schrdinger que ( ) , , / y r t t

sern tambin
funciones continuas de , , x y z . Si ( ) , V r t

muestra saltos discontinuos finitos en

funcin de , , x y z , entonces, por la ecuacin de Schrdinger,
2
mostrar tambin
saltos finitos en funcin de , , x y z ; y por lo tanto,

deber ser continua, ya que en

otro caso
2
se hara infinita en los puntos en los que

cambiara
discontinuamente. En este caso, adems, ya que

es continua, y / t deben
ser tambin continuas en funcin de , , x y z .
Considerando ahora la dependencia temporal, si ( ) , V r t

es una funcin continua de

t , tambin lo debern ser ( ) , r t

y / t . Sin embargo, si ( ) , V r t

muestra
discontinuidades finitas en funcin de t , / t mostrar tambin discontinuidades en
el tiempo, pero ( ) , r t

seguir siendo una funcin continua de t .

3.1.2 Interpretacin de la funcin de onda

A diferencia de las ondas de la Mecnica Clsica, las funciones de onda ( ) , r t

,
que son solucin de la ecuacin de Schrdinger, son en general funciones complejas.
Por ejemplo, una onda que se propaga en una cuerda se puede especificar mediante una
funcin real que proporciona el desplazamiento de los distintos elementos de la cuerda
para diferentes tiempos; mientras que, por ejemplo, la funcin de onda cuntica, que
describe el movimiento de una partcula libre es una funcin compleja (onda plana). Ya
hemos visto que esto implica que no se puede suponer la existencia fsica de la funcin
de onda como un ente real, siendo sta, en realidad, una construccin matemtica que
nos permite obtener informacin acerca del sistema fsico asociado. De hecho, la
funcin de onda contiene toda la informacin que el principio de incertidumbre de
Heisenberg permite conocer acerca del sistema asociado.

Ejemplo:

La solucin de la ecuacin de Schrdinger para un haz de partculas libre
uniforme que se propaga hacia la derecha en una dimensin es una onda plana
de la forma
( )
( )
, e ;
i kx t
x t A A

= .
La densidad de probabilidad, en este caso, vendr dada por
( ) ( ) ( )
( )
2
2
, , , e cte
i kx t
P x t x t x t A A

= = = .
Este resultado se corresponde con el hecho de que, en un haz de partculas
uniforme, la probabilidad de encontrar una partcula en un punto cualquiera del
espacio es la misma en todos los puntos a lo largo del haz. Esta densidad de
probabilidad es independiente del tiempo; por lo tanto, diremos que ( ) , x t es
un estado estacionario, ya que toda la dependencia temporal est contenida en
88
una fase que no afecta al mdulo al cuadrado. En efecto, ( ) , x t se puede
escribir en la forma
( ) ( ) , e e e e e ,
E E
i t i t
i kx i t i kx
x t A A f x

= = =


que, como veremos ms adelante, tiene la forma general que adopta una funcin
de onda correspondiente a un estado estacionario para el que la densidad de
probabilidad ( ) , P x t no evoluciona con el tiempo.

Para formarnos una idea ms intuitiva del significado de la amplitud al cuadrado de
la funcin ( ) , r t

vamos a considerar el siguiente experimento clsico en una
dimensin. Supongamos que se toman fotografas en instantes elegidos al azar del
movimiento de un pndulo simple. Si con los datos obtenidos de esas fotografas
construimos un histograma de la frecuencia con la que el pndulo aparece en cada
intervalo x del espacio, obtendremos una funcin que es aproximadamente
proporcional a la densidad de probabilidad de encontrar el pndulo en cada punto del
espacio. En la Fig. 3.1, se ilustra un ejemplo de los resultados obtenidos de esta manera.
0
x
0
x
0
x
0
x

Figura 3.1. El grfico de la izquierda muestra el histograma obtenido a partir de las
fotografas tomadas al azar a lo largo del movimiento del pndulo. A la derecha se
muestra la densidad de probabilidad clsica.

Si el nmero de fotografas fuese muy grande y el paso x se hiciera tender a cero, el
histograma tendera a la funcin de distribucin continua que se muestra en el grfico de
la derecha de la Fig. 3.1.
Este mismo resultado estadstico puede obtenerse de otra forma. Supongamos que
ponemos en movimiento muchos pndulos simples idnticos, cada uno en un tiempo
elegido al azar, y tomamos una nica fotografa de la totalidad del sistema. Es evidente
que a partir de esta nica fotografa podramos construir una distribucin de
probabilidad igual a la del ejemplo anterior.
En el caso cuntico, slo es posible realizar este segundo tipo de experimentos, ya
que no es posible realizar medidas sucesivas sobre una misma partcula sin modificar su
estado. En efecto, cualquier tipo de medida, en un sistema cuntico, necesariamente lo
perturba, de forma que ya no tiene sentido realizar ninguna medida posterior. Por
ejemplo, si queremos detectar la posicin de un electrn, en un cierto instante, haremos
incidir sobre l un fotn. En el proceso de choque entre ambos, la energa del electrn se
modificar y ya no tendr sentido continuar observando la evolucin posterior del
mismo electrn. Teniendo en cuenta este hecho, debemos interpretar la informacin que
se puede obtener de la funcin de onda como una prediccin estadstica sobre las
medidas realizadas en un gran colectivo de sistemas cunticos idnticos.
89
Si sabemos que una partcula se encuentra en un cierto estado, y realizamos un
experimento para detectarla en el intervalo x , slo podremos decir si la hemos
encontrado o no en ese intervalo. Slo cuando realizamos muchas medidas
independientes sobre un conjunto muy grande de sistemas idnticos, la frecuencia con la
que la partcula se encuentra en las diferentes regiones del espacio ser una
aproximacin de la densidad de probabilidad ( ) P x .

3.2 Variables dinmicas y operadores

3.2.1 El estado de un sistema

En Fsica Clsica, el estado de un sistema est determinado en cada instante por los
valores de un conjunto de variables dinmicas (posicin, velocidad, momento lineal,
etc.) asociadas con el sistema. En general, se postula que todas las variables dinmicas
de un sistema clsico pueden determinarse simultneamente con una precisin que slo
est limitada por la de los aparatos que utilizamos para realizar las determinaciones
experimentales.
La situacin en Mecnica Cuntica es muy distinta. Cuando se mide una variable
dinmica determinada en un sistema, el estado de ste se modifica de forma
impredecible. De hecho, ya vimos que las relaciones de incertidumbre de Heisenberg
establecen un lmite a la precisin con la que pueden medirse simultneamente variables
dinmicas complementarias. Por lo tanto, debemos abandonar la hiptesis clsica de
que todas las variables dinmicas que caracterizan el estado de un sistema adoptan
valores bien definidos en cada instante. En Mecnica Cuntica, slo se puede predecir
estadsticamente el nmero de veces que obtendremos un resultado particular cuando se
realiza una determinacin de una magnitud sobre un conjunto de sistemas idnticos e
independientes. En otras palabras, la Mecnica Cuntica slo predice la probabilidad
con la que se produce un determinado evento, pero en ningn caso es posible hacer
predicciones de tipo determinista como las que son habituales en Fsica Clsica. Vamos
a establecer un conjunto de postulados que definirn el procedimiento a seguir en
Mecnica Cuntica para poder realizar predicciones acerca del estado de un sistema.

Postulado 1. A un conjunto de sistemas fsicos idnticos e independientes se le
puede asociar una funcin de onda (que es solucin de la ecuacin de
Schrdinger) o funcin de estado, que contiene toda la informacin que se puede
conocer acerca del conjunto. En general, esta funcin de estado es una funcin
compleja.

Postulado 2. El principio de superposicin. Si la funcin de onda
1
est
asociada con un estado posible de un conjunto estadstico de sistemas fsicos
idnticos y la funcin de onda
2
con otro estado del conjunto, entonces la
combinacin lineal
1 1 2 2
c c = + ,
donde
1
c y
2
c son constantes arbitrarias complejas, es tambin una funcin de
onda asociada a un estado posible de la colectividad estadstica.

De hecho, el postulado 2 implica que las funciones de onda que caracterizan los
estados posibles de una determinada colectividad de sistemas fsicos idnticos
90
constituyen un espacio vectorial, ya que si
1
y
2
son soluciones de la ecuacin de
Schrdinger correspondiente, tambin ser solucin cualquier superposicin de la forma
1 1 2 2
c c = + .

3.2.2 Valor esperado de una magnitud fsica

Vamos a ver ahora cual es el procedimiento general para obtener informacin de
una funcin de onda. Empezaremos considerando la posicin de una partcula en una
dimensin, que est asociada a la funcin de onda ( ) , x t . Imaginemos que medimos la
posicin de la partcula, en un cierto instante t , simultneamente en un conjunto de
sistemas idnticos muy grande, cada uno de los cuales est caracterizado por la funcin
de onda ( ) , x t . La densidad de probabilidad de los resultados obtenidos para x ser
( ) ( ) ( ) , , , P x t x t x t

=
y por lo tanto, el valor ms probable o valor medio de x vendr dado por la integral (si
el nmero de observaciones tiende a infinito)
( )
( ) ( ) ( ) ( )
,
, , , , ,
x x P x t dx
x x t x t dx x t x x t dx

=
= =

donde los trminos de este ltimo integrando estn escritos en el orden mostrado para
preservar la simetra con la notacin que se introducir ms adelante.
Al valor medio de una magnitud, que presenta una distribucin estadstica de
valores posibles, se le conoce con el nombre de valor esperado.
Es evidente que la expresin que acabamos de obtener para el valor esperado de x
es fcilmente generalizable a cualquier funcin de x . As, si ( ) f x es una funcin que
depende nicamente de la posicin, su valor esperado viene dado por
( ) ( ) ( ) ( ) , , f x x t f x x t dx

.
Incluso para una funcin como la energa potencial ( ) , V x t , que puede depender
explcitamente del tiempo, el valor esperado se puede escribir como
( ) ( ) ( ) ( ) , , , , V x t x t V x t x t dx

,
ya que todas las mediciones para evaluar ( ) , V x t se realizan en el mismo instante de
tiempo.

3.2.3 Valor esperado del momento. Operador momento

De acuerdo con la expresin que hemos obtenido para el valor esperado de la
posicin, el valor esperado del momento se calcular mediante la integral
( ) ( ) , , p x t p x t dx

.
Ahora bien, para evaluar esta integral se ha de escribir p como una funcin de x y/o t .
En Mecnica Clsica esto siempre es posible una vez resueltas las ecuaciones del
91
movimiento, pero en Mecnica Cuntica, el principio de incertidumbre de Heisenberg
establece que no es posible escribir p en funcin de x , ya que p y x no pueden
conocerse simultneamente con infinita precisin. Tampoco es posible escribir p en
funcin de t . En consecuencia, se habr de encontrar alguna otra forma de expresar el
integrando.
Vamos a considerar un caso sencillo que nos proporcionar una indicacin del
camino a seguir. La funcin de onda para partculas libres en una dimensin es una onda
plana de la forma
( )
( )
, e
i kx t
x t A

= .
Diferenciando ( ) , x t respecto a x se obtiene
( )
( )
( )
,
e ,
i kx t
x t p
ik A i x t
x

= =

,
por lo tanto
( ) ( ) , , p x t i x t
x

= ( (

.
Lo cual implica que existe una asociacin entre el momento p y el operador diferencial
/ i x . Esto quiere decir que multiplicar p por la funcin de onda ( ) , x t equivale
a aplicar el operador / i x sobre la funcin de onda ( ) , x t .
Vamos a comprobar este resultado en un caso general. Supongamos una funcin de
onda cualquiera ( ) , x t expresada como un desarrollo de Fourier en trminos de ondas
planas
( ) ( )
1
, e ,
2
i kx
x t k t dk

.
Vamos a calcular el valor esperado de p k = suponiendo que es vlida la asociacin
p i
x

encontrada anteriormente.
( ) ( )
( ) ( )
, ,
, , .
p x t p x t dx
x t i x t dx
x

=
| |
=
|

Sustituyendo ( ) , x t por el desarrollo de Fourier
( ) ( )
( ) ( )
1 1
e , e ,
2 2
1
, , e e .
2
i kx i k x
i kx i k x
p dx k t dk k k t dk
dk dk k k t k t dx

( | || |
=
( | |
(
\ \
(
=
(






El trmino entre corchetes es la delta de Dirac ( ) k k , por lo tanto
( ) ( ) ( ) ( ) ( ) , , , , . p k t dk k k t k k dk k t k k t dk



= =


92
Esta ltima integral no es ms que el centro del espectro de Fourier en ( ) , k t , o sea el
valor esperado de k . En consecuencia,
p k k = = ,
ya que es una constante. De esta forma, se justifica la validez general de la asociacin
entre p y el operador momento.
La generalizacin de todo esto a problemas tridimensionales es muy sencilla.
Procediendo de manera paralela a como lo hemos hecho en una dimensin se obtiene la
siguiente asociacin:
p i

.

3.2.4 Valor esperado de la energa. Operador energa

Se puede encontrar una asociacin entre la energa y un cierto operador, similar a la
encontrada para el momento p

y el operador i

. Consideremos, otra vez, la funcin

de onda de un haz de partculas libres en una dimensin
( )
( )
, e
i kx t
x t A

= .
Si diferenciamos esta expresin respecto al tiempo
( )
( )
,
,
x t
i x t
t

.
Teniendo en cuenta que E = , la expresin anterior se puede escribir en la forma
( ) ( ) , , E x t i x t
t

= ( (

,
La validez de la asociacin entre la energa E y el operador i
t

, en un caso general,
se puede probar desarrollando la funcin ( ) , x t en trminos de la transformacin
( ) ( )
1
, e ,
2
i t
x t d x

,
de forma paralela a como hemos hecho para el operador momento.

93
3.2.5 Interpretacin de la ecuacin de Schrdinger en trminos de los operadores
momento y energa

La energa total E de una partcula no-relativista viene dada por
( )
2
,
2
p
E V r t
m
= +

.
Si escribimos esta expresin en funcin de los operadores asociados a p

y E
( )
2
2
,
2
V r t i
m t

.
Esta expresin slo adquiere su verdadero sentido cuando se aplica a una funcin de
onda
( ) ( )
( )
2
2
,
, ,
2
r t
V r t r t i
m t

(
+ =
(

,
ya que el resultado es la ecuacin de Schrdinger dependiente del tiempo. Por lo tanto,
hemos de concluir que postular las asociaciones
; p i E i
t

es equivalente a postular la propia ecuacin de Schrdinger dependiente del tiempo. La
suma de operadores que aparece en el interior del corchete, a la izquierda de la ecuacin
de Schrdinger, es el operador llamado Hamiltoniano del sistema
( )
2
2
, ,
2
H V r t T V
m
= + = +


donde T y V son los operadores energa cintica y energa potencial, respectivamente.
En funcin de H , la ecuacin de Schrdinger dependiente del tiempo puede rescribirse
como
( ) ( ) , , i r t H r t
t

.

94
3.2.6 Otros operadores asociados a variables dinmicas

Podemos generalizar los resultados obtenidos para los operadores momento y
energa formulando el siguiente postulado:

Postulado 3. A cada variable dinmica se le asocia un operador lineal O que
acta sobre las funciones de onda.

Diremos que O es lineal si cumple la siguiente propiedad:
( ) ( ) ( )
1 1 2 2 1 1 2 2
, O c c c O c O + = +
donde
1
c y
2
c son nmeros complejos cualesquiera, y,
1
y
2
son tambin dos
funciones de onda cualesquiera correspondientes a un determinado sistema. Los
operadores asociados a variables dinmicas deben ser lineales para que sean
compatibles con el principio de superposicin.
Las reglas para asociar un operador lineal a una variable dinmica dependen del
espacio en el que se representan las funciones de onda (configuracional, de momentos,
etc.). Por ejemplo, en el espacio configuracional, basta con sustituir p

(o sus
componentes) por el operador i

(o sus componentes), siempre que p

(o sus
componentes) aparezca en una determinada expresin.
Magnitud Operador Operador
fsica espacio configuracional espacio de momentos
( ) ( ) ( )
( ) ( ) ( )
2 2 2
2
2 2 2
2
2 2 2
, , ,
, , ,
2 2 2
x
p
x x
p
p
x x i
p
r r i
p i p
x
p i p
p p
T
m m m
V r t V r t V i t
p p
E V r t H V r t H V i t
m m m

= + = + = +

Tambin existen otros operadores como el espn (se ver ms adelante), que no
tienen anlogo clsico y que, en consecuencia, no pueden obtenerse de las reglas de
sustitucin citadas anteriormente.

3.2.7 Valores y funciones propias de un operador

Diremos que una funcin
n
es propia del operador O, si el resultado de aplicar O
sobre
n
es simplemente
n n n
O a = ,
donde
n
a es un nmero llamado valor propio.
95

Postulado 4. El nico resultado posible de la determinacin precisa de una
variable dinmica (medida) es uno de los valores propios
n
a del operador
lineal O, asociado a la variable dinmica.

Al conjunto de todos los valores propios de un operador se le llama espectro de
valores de O. Dado que el resultado de una medida es siempre un nmero real, el
espectro de cualquier operador, que represente una variable dinmica, debe ser real. En
algunos casos, el espectro de un operador est formado por un conjunto discreto de
valores. En otros casos, los valores propios forman un espectro continuo o una mezcla
de ambos.
Vamos a discutir las consecuencias que se derivan del requerimiento de que los
operadores lineales que representan variables dinmicas (observables) deban tener
valores propios reales. Un operador es hermtico si cumple la siguiente condicin:
( ) ( ) O dr O dr

=


,
donde y son funciones de onda cualesquiera de cuadrado sumable. En el caso
particular de que = , el primer miembro de la condicin anterior es el valor
esperado del operador O, por lo tanto
( ) ( ) O O dr O dr O dr O

= = = =


,
y el valor esperado del operador O es real.
Vamos a ver ahora que el espectro de valores propios de un operador hermtico es
real. Sean
n
a y
n
el valor y la funcin propios ensimos correspondientes a un
operador hermtico O. De la definicin de funcin propia es evidente que el valor
esperado del operador O calculado sobre el estado
n
ser
n n n n
O O dr a dr a

= = =


.
Si tenemos en cuenta que ( )
n n
O a

= , entonces
( )
n n n n
O dr a dr a

= =


.
Como O es hermtico
( )
n n n n n n
O dr O dr a a a

= =


.
Por lo tanto, una condicin suficiente (pero no necesaria) para que un operador tenga
valores propios reales es que sea hermtico. En general, los operadores lineales
asociados con variables dinmicas son hermticos.
Otra consecuencia muy importante de lo que acabamos de ver es que si la funcin
de estado de un sistema es una funcin propia
n
del operador O , correspondiente al
valor propio
n
a , la medida de la variable dinmica asociada al operador O da siempre
como resultado
n
a (
n
O a = , calculado sobre el estado propio
n
). Por otro lado, si la
funcin de onda que representa el estado de un sistema no es propia del operador O,
entonces una determinacin precisa de la variable dinmica asociada a O (medida) dar
como resultado uno de los valores propios
1 2
, , ,
n
a a a . Es imposible predecir cul de
estos valores propios ser el resultado de nuestra medida; slo se puede indicar la
probabilidad de obtener un resultado particular
i
a , que viene dada por
( )
2
n n n n
c dr P a c

= =

,
96
donde
n
c es la proyeccin de sobre la funcin propia
n
del operador O. A la
magnitud
n
c tambin se la conoce como amplitud de probabilidad. Podemos dar una
interpretacin fsica a este resultado suponiendo que cuando se realiza una medida sobre
un sistema que est en un estado que no es propio del operador O asociado a la variable
dinmica que queremos determinar, la funcin de onda del sistema se reduce a uno de
los estados propios del operador O (contraccin de la funcin de onda).
Generalizando los conceptos que hemos visto en este apartado se puede formular el
siguiente postulado:

Postulado 5. Si se realiza una serie de medidas de la variable dinmica
asociada al operador lineal O sobre una colectividad de sistemas idnticos,
descrita por la funcin de onda , el valor esperado (o valor medio) de esta
variable dinmica es
O O dr

.

Es evidente que si O es hermtico, O ser real.

3.2.8 Operador adjunto de un operador lineal

Es til introducir el operador adjunto o hermtico conjugado de un operador lineal
O a travs de la relacin
( )
( )

O dr O dr O dr


= =


,
donde y son una pareja de funciones de onda de cuadrado integrable.
Si

O O = , se dice que el operador O es autoadjunto, y por la definicin de

operador hermtico, es obvio que todo operador autoadjunto es tambin hermtico. El
adjunto de un operador es la generalizacin para operadores del complejo conjugado de
un nmero y los operadores autoadjuntos son el equivalente en lgebra de operadores de
los nmeros reales. Es importante remarcar que, en general,

O O

(obtenido
remplazando i por i en la expresin de O). Por ejemplo, el operador momento en una
dimensin / p i x = es hermtico, por lo tanto,

p p = , mientras que
/ p i x p

= = .
Es fcil comprobar que se cumplen las siguientes propiedades:
( )
( )
( )
( )

1 2 1 2

1 2 2 1
O O
cO c O
O O O O
O O O O

=
=
+ = +
=


97
3.2.9 Expansin de una funcin de estado en funciones propias de un operador

Vamos a estudiar con un poco ms de detalle las propiedades de las soluciones de
la ecuacin de valores propios
n n n
O a = .
Vamos a suponer que el operador O representa una variable dinmica y, por lo tanto, es
lineal y hermtico. Los valores propios
n
a de O sern reales. Vamos a suponer, en
primer lugar que todas las funciones propias de O son de cuadrado sumable (el espectro
de valores propios de O ser discreto) y por lo tanto
1
n n
dr

.
Si
i
y
j
son dos funciones propias de O, correspondientes a los valores propios
i
a y
j
a , respectivamente, entonces si O es hermtico
( ) ( ) ( ) ( )
( )
0
0
i j
i j i j i i j i j j
i j i j i j a a
O dr O dr a dr a dr
a a dr dr

= =
= =





por lo que
i
y
j
son ortogonales.
En general, la condicin de ortonormalidad de las funciones propias de un operador
hermtico de espectro discreto se expresa en la forma
n m nm
dr

,
donde
nm
es la funcin delta de Kronecker de los ndices n y m.

Postulado 6. La funcin de onda que representa cualquier estado dinmico de
un sistema siempre se puede expresar como una combinacin lineal de
funciones propias de O, donde O es el operador asociado con la variable
dinmica considerada.

En consecuencia, para el caso en que O sea un operador de espectro discreto y
un estado cualquiera del sistema, siempre es posible hacer el desarrollo
n n
n
c =

,
donde
n
c son los coeficientes que hemos llamado amplitud de probabilidad en el
apartado 3.2.7.
Supongamos ahora que el operador O es un observable que tiene un espectro
continuo de valores propios , correspondientes a las funciones propias

, de forma
que se cumple
O

= .
De acuerdo con el postulado 6, que tiene validez general, cualquier funcin de estado
arbitraria de un sistema se ha de poder expandir en trminos de las funciones propias
{ }

del observable O
( ) ( ) r c r d

=

Como en el caso discreto, los coeficientes de la expansin c

vienen dados por la

proyeccin de la funcin ( ) r

sobre las funciones propias ( ) r

( ) ( ) c r r dr

,
98
y tambin representan la amplitud de probabilidad de que al hacer una media de O
sobre el sistema representado por ( ) r

se obtenga el valor propio . Un ejemplo de
este caso lo constituyen las ondas planas que son las funciones propias del operador
momento.
Por ltimo, la condicin de ortonormalizacin que cumplen las funciones propias
de un operador de espectro continuo es
( ) ( ) ( ) r r dr

,
donde ( ) es la funcin delta de Dirac.
Resumiendo, si comparamos con el caso discreto, se puede establecer la siguiente
equivalencia
( )
n
nm
n
d

Ejemplo: Representacin en el espacio de momentos.
Las funciones propias del operador momento en una dimensin son las ondas
planas e
i kx
, ya que
e e e
i kx i kx i kx
p i k
x

= =

.
En consecuencia, el espectro de valores propios de p es continuo ( k ).
Cualquier funcin de onda ( ) x se puede expandir en la base formada por las
ondas planas
( ) ( )
1
e
2
i kx
x k dk

que no es otra cosa que la transformada de Fourier de ( ) x . Los coeficientes
de la expansin ( ) k corresponden a la representacin de la funcin de onda
( ) x en el espacio de momentos y pueden calcularse mediante la expresin
( ) ( ) ( ) ( )
1
e
2
i kx
k
k x x dx x dx

= =

,
ya que
( )
1
e
2
i kx
k
x

= .
La condicin de ortonormalizacin para la base de ondas planas es
( ) ( )
( )
( )
1
e
2
i x k k
k k
x x dx dx k k

= =

,
como se requiere para las funciones propias de operadores de espectro
continuo.

99
3.3 Ecuacin de Schrdinger independiente del tiempo. Estados estacionarios

Vamos a considerar ahora el caso particular de un sistema para el cual la energa
potencial ( ) V r

no depende del tiempo. El operador Hamiltoniano

( ) ( )
2 2
/ 2 H m V r = +

es tambin independiente del tiempo, y la ecuacin de
Schrdinger dependiente del tiempo se simplifica considerablemente. En efecto, vamos
a demostrar que admite soluciones particulares de la forma
( ) ( ) ( ) , r t r f t =

,
que son productos de funciones separadas de r

y de t , de forma anloga a las

expresiones de las ondas estacionarias clsicas. La solucin general de la ecuacin de
Schrdinger dependiente del tiempo se expresar como una suma arbitraria de estas
soluciones separables.
Para demostrar que las funciones anteriores son soluciones particulares de la
ecuacin de Schrdinger dependiente del tiempo cuando V es independiente de t ,
vamos a usar el mtodo de separacin de variables. Sustituyendo ( ) , r t

en la ecuacin
de Schrdinger dependiente del tiempo se obtiene
( )
( )
( ) ( ) ( ) ( )
2
2
2
f t
i r r V r r f t
t m

(
= +
(

.
Dividiendo ambos miembros de esta ecuacin por ( ) ( ) ( ) , r t r f t =

, se encuentra
que
( )
( )
( )
( ) ( ) ( )
2
2
1 1
2
f t
i r V r r
f t t r m

(
= +
(

.
Dado que el miembro derecho de esta ecuacin slo depende de t y el miembro
izquierdo slo de r

, ambos miembros deben ser iguales a una constante. Como esta

constante tiene unidades de energa, la denotaremos de forma tentativa como E . Por lo
tanto, la ecuacin de Schrdinger dependiente del tiempo se separa en las dos
ecuaciones
( )
( )
( ) ( ) ( )
2
2
2
f t
i E f t
t
V r r E r
m

(
+ =
(

La primera de estas ecuaciones puede integrase fcilmente para dar
( ) ( ) exp / f t C iEt = ,
donde C es una constante arbitraria. Dado que la solucin que buscamos tiene la forma
de un producto y las dos ecuaciones diferenciales anteriores son homogneas, no hay
ninguna prdida de generalidad si suponemos que 1 C = y escribimos la solucin
particular en la forma
( ) ( ) , exp
Et
r t r i
| |
=
|
\

.
La segunda ecuacin, de la que es solucin ( ) r

, se llama la ecuacin de
Schrdinger independiente del tiempo, y recordando que la expresin entre corchetes es
el operador Hamiltoniano H , se puede rescribir en la forma compacta
100
( ) ( ) H r E r =

,
que no es ms que la ecuacin de valores propios del operador H . Este ltimo resultado
prueba que efectivamente la constante de separacin que hemos utilizado anteriormente
es la energa total del sistema.
Esta discusin sugiere que la solucin particular ( ) , r t

, que acabamos de
encontrar, representa los estados posibles del sistema con energa bien definida, ya que
estas funciones son propias simultneamente del operador Hamiltoniano y del operador
energa ( ) / i t . Para poner de manifiesto de una forma ms explcita este hecho las
rescribiremos como
( ) ( ) , exp
E E
Et
r t r i
| |
=
|
\

.
Estas soluciones particulares representan estados estacionarios del sistema, ya que la
densidad de probabilidad de presencia no depende del tiempo
( ) ( ) ( ) ( )
2
, ,
E E E
P r r t r t r

= =

.
Por otro lado, utilizando el postulado 6, podemos afirmar que la solucin general de
la ecuacin de Schrdinger dependiente del tiempo es una superposicin arbitraria de
estados estacionarios de la forma anterior
( ) ( ) , e
E
i t
E E
r t A r dE

=

,
donde
E
A es la amplitud de probabilidad de cada uno de los estados estacionarios y
( )
E
r

son las soluciones de la ecuacin de Schrdinger independiente del tiempo (o lo
que es lo mismo, las funciones propias del operador H ). Si el espectro de valores
propios del Hamiltoniano es discreto (la energa est cuantizada), la integral debe
sustituirse por un sumatorio en la ecuacin anterior.
La ecuacin de Schrdinger independiente del tiempo conduce de forma natural a
la cuantizacin de la energa. Slo sern aceptable fsicamente los valores de E para los
cuales las funciones propias ( )
E
r

, solucin de la ecuacin H E = , sean de
cuadrado integrable o, al menos, acotadas (ej: ondas planas).
Resumiendo todo lo anterior, si la energa potencial V de un sistema no depende del
tiempo, el espectro de valores posibles de la energa total del sistema se obtiene a partir
de los valores propios del operador Hamiltoniano que corresponden a funciones propias
fsicamente aceptables (de cuadrado sumable o por lo menos acotadas). Los estados de
energa bien definida del sistema son los estados estacionarios que se obtienen como
solucin de la ecuacin de Schrdinger independiente del tiempo.

3.4 Conmutabilidad de operadores y relaciones de incertidumbre

3.4.1 Conmutador de dos operadores

Definiremos el conmutador de dos operadores como
[ ]
1 2 1 2 2 1
, O O OO O O = .
Si el conmutador se anula al actuar sobre cualquier funcin de onda, se dice que los
operadores
1
O y
2
O conmutan ( )
1 2 2 1
OO O O . Esta condicin escrita en forma
algebraica es de la forma
101
( )
1 2 1 2 2 1
y conmutan 0 ; O O OO O O =
Por ejemplo, es fcil comprobar que
, ; , , ,
, 0 ; , , ,
i j i j
i j
x p i i j x y z
x x i j x y z
( = =

( = =

Ejemplo:

Conmutador de x y
x
p
[ ]
[ ]
( )
[ ]
,
,
,
x
x
x
x p x i i x
x x
x
x p i x i
x x
i x i i x i
x x
x p i

| | | |
=
| |

\ \

= +


= + + =

=

Las siguientes propiedades algebraicas de los conmutadores de operadores son
tiles y se pueden comprobar fcilmente:
[ ] [ ]
[ ] [ ] [ ]
[ ] [ ] [ ]
[ ] [ ] [ ]
1 2 2 1
1 2 3 1 2 1 3
1 2 3 1 2 3 2 1 3
1 2 3 2 3 1 3 1 2
, ,
, , ,
, , ,
, , , , , ,
O O O O
O O O O O O O
O O O O O O O O O
O O O O O O O O O
=
+ = +
= +
( ( ( + +



3.4.2 Conmutabilidad de operadores e incertidumbre

Vamos a considerar la relacin existente entre la conmutabilidad de dos operadores
y la incertidumbre en la determinacin simultnea de las variables dinmicas asociadas
a esos operadores. Sean A y B los operadores asociados a dos variables dinmicas, y
supongamos, por simplicidad, que ambos tienen espectros discretos de valores propios.
Vamos a comprobar que si el conmutador de esos dos operadores es nulo, entonces
existe una base de funciones propias que lo es a la vez de los dos operadores, y,
viceversa, si existe una base de funciones propias comn para los dos operadores,
entonces stos conmutan.
[ ] { } , 0
n n n
n
n n n
A a
A B
B b

=
=
=

i. Comprobaremos primero la implicacin hacia la derecha. Supongamos que
[ ] , 0 A B = y que { }
n
tal que
n n n
A a = . Si aplicamos el conmutador
[ ] , A B sobre una cualquiera de las funciones propias
n
de A,
[ ] ( ) ( ) ( ) ( )
( ) ( )
,
0 ;
n n n n n n
n n n n
A B A B B A A B a B
A a B B A a


= =
= = = =

102
Si el espectro de A no est degenerado,
n
y, por lo tanto,
n n n
B b = .
En consecuencia { }
n
tambin es un conjunto de funciones propias de B . Si el
espectro de A est degenerado, siempre se puede reescribir el subconjunto de
funciones propias de A correspondientes al valor propio
n
a de manera que
tambin sean propias de B .

ii. Vamos a comprobar, ahora, la implicacin hacia la izquierda. Supongamos que
existe un conjunto { }
n
de funciones propias a la vez de A y de B . Si
hacemos actuar el conmutador sobre una de estas funciones propias
n
,
[ ] ( ) ( ) ( ) ( )
[ ]
,
0 , 0
n n n n n n n
n n n n n n n
A B A B B A A b B a
a b b a A B


= =
= = =

De todas formas, para comprobar que el conmutador es cero, se debe probar el
resultado anterior para cualquier estado del sistema. Un estado cualquiera del
sistema siempre se puede escribir como una combinacin lineal de las
funciones propias de A y B , ya que estos operadores son observables.
Supongamos que
n n
c =

; entonces,
[ ] ( ) ( )
( ) ( )
[ ]
,
0 , 0
n n n n
n n n n n n
n n n n n n n n
A B A B c B A c
A b c B a c
a b c b a c A B



=
=
= = =





Esta doble implicacin es muy importante ya que permite definir algebraicamente
la condicin para la cual dos observables A y B pueden medirse simultneamente en
un sistema cuntico sin incertidumbre. En efecto, si un sistema se encuentra en un
estado propio de dos observables, la medida de stos dar siempre como resultado los
valores propios correspondientes sin ninguna incertidumbre. Por lo tanto, diremos que
dos observables A y B son compatibles (pueden determinarse simultneamente sin
incertidumbre) siempre que [ ] , 0 A B = .
Dado un sistema cuntico, siempre existe un conjunto mximo de observables que
conmutan entre s, que se llama conjunto completo de observables que conmutan, y que
define el conjunto mximo de variables dinmicas del sistema que pueden determinarse
simultneamente sin incertidumbre. Estas variables dinmicas constituyen el anlogo
cuntico de las constantes del movimiento en Mecnica Clsica para un determinado
problema.

3.4.3 Incertidumbre en la determinacin de un observable

Como hemos visto, a toda variable dinmica se le asocia un operador lineal y
hermtico O. Podemos estimar la incertidumbre en la medida del observable O a travs
de la desviacin estndar de los resultados de la medida. Por lo tanto, podremos escribir
( ) ( )
2 2 2
2
O O O O O = = ,
y la incertidumbre en la determinacin de O ser
2
2
O O O =
103
Es obvio de esta expresin que si el sistema se encuentra en un estado propio de O la
incertidumbre O en su determinacin es cero.







104
Apndice:

3.A. Relaciones de incertidumbre de Heisenberg y conmutabilidad

En el captulo 2, discutimos el principio de incertidumbre de Heisenberg y dimos
un orden de magnitud de las incertidumbres con las que se pueden medir
simultneamente dos variables conjugadas. En este apartado, vamos a introducir una
forma ms precisa para estudiar estas incertidumbres a partir del conmutador de los
operadores asociados a las variables dinmicas que se quieren determinar
simultneamente.
Vamos a considerar dos observables A y B cuyos valores esperados calculados en
el estado vienen dados por
( )
( )
A A dr
B B dr

=
=

Vamos a definir la incertidumbre en la determinacin de A ( ) A como
( ) ( )
2 2 2
2
A A A A A = = .
De forma que
( ) ( ) ( ) ( )
2
2
A A A A A dr A A dr

( = =


,
y por un razonamiento anlogo
( ) ( )
2
2
B B B dr =

.
Para calcular explcitamente estas incertidumbres definiremos los operadores siguientes:
; U A A V B B = = .
En trminos de estos dos operadores tenemos
( ) ( )
[ ] [ ]
2 2
2 2
;
, , ,
A U B V
U V A A B B A B
= =
= = (


Vamos a introducir el operador lineal
C U i V = + ,
donde es una constante real. El adjunto de C es el operador

C U i V = . Si ahora
calculamos el valor esperado de

CC se tiene
( ) ( )
2

0 CC C C dr C dr

= =


,
y por lo tanto, este valor esperado es real y positivo. A partir de este resultado podemos
definir la funcin real y positiva ( ) f
( ) ( )( ) [ ]
[ ]
( ) [ ]
2 2 2
2 2 2
2
2 2
,
,
,
f U i V U i V U V i U V
U V i U V
A B i A B



= + = +
= +
= +

La funcin ( ) f tiene un mnimo para
[ ]
( )
0 2
,
2
A B
i
B
=

.
105
Dado que ( ) f es real y positiva para todo valor de real, [ ] , A B ha de ser
imaginario puro. El valor de ( )
0
f es
( ) ( )
[ ] ( )
( )
2
2
0 2
,
1
4
A B
f A
B
= +

,
y teniendo en cuenta que ( )
0
0 f , entonces
( ) ( ) [ ] ( )
2
2 2 1
,
4
A B A B ,
y dado que [ ] , A B es imaginario puro
( )( ) [ ]
1
,
2
A B A B .
Si los operadores A y B conmutan, esta desigualdad no implica nada sobre las
imprecisiones A y B . En cambio, si A y B son observables cannicamente
conjugados, de forma que [ ] , A B i = , entonces [ ] , A B i = y la desigualdad
anterior se reduce a
2
A B

.
En particular, para las parejas de variables cannicas conjugadas ( ) ( ) , ,
x z
x p z p
; ;
2 2 2
x y z
x p y p z p

.
Estas expresiones difieren de las que habamos encontrado a partir de la transformada
de Fourier. Esto es debido a que el significado que hemos dado aqu a
i
x y
i
p es
distinto que el que se les dio en el captulo 2. Mientras que en el desarrollo precedente
i
x y
i
p tienen una definicin precisa, cuando obtuvimos las relaciones de
incertidumbre a partir del anlisis de paquetes de onda,
x
p , por ejemplo, se
corresponda con el intervalo de valores de
x
p que era necesario considerar en el
desarrollo del paquete en trminos de ondas planas, para que ste estuviera extendido en
un intervalo de tamao caracterstico x .
106