1

Captulo 1

FORMULACIN MATEMTICA DE LA MECNICA CUNTICA


2.1 Operadores y espacios vectoriales lineales.

Un operador lineal es una transformacin, L, que asocia a cada funcin vectorial,
(x), del espacio E
3
otra funcin vectorial, (x), tambin en E
3
, de la siguiente manera,

(x)=L[(x)] , (2.1)

donde x=x
1
e
1
+x
2
e
2
+x
3
e
3
. El operador L satisface las propiedades de una transformacin
lineal, para cualesquiera funciones
1
,
2
, ...,
n
,

L[
1
+
2
+...+
n
]=L[
1
]+L[
2
]+...+L[
n
],

L[a]=a L[] , a es real (2.2)

Estas dos propiedades nos permiten formar combinaciones lineales de funciones o vectores
en E
3
, es decir, para cualquier funcin vectorial (x) podr ser escrita como una suma de
las n funciones definidas en el espacio,

(x)=
1
(x)+
2
(x)+...+
n
(x) . (2.3)

Otra caracterstica importante de los espacios vectoriales es la existencia de una
operacin llamada producto escalar producto interno, definida como,


12 2 2 1 2
cos
1 1
i
i i
, i=1,2,3 (2.4)

donde
12
es el ngulo que forman
1
(x) y
2
(x). El producto escalar representa
geomtricamente la proyeccin de uno de los vectores sobre el otro, y es siempre un
nmero escalar (real). En particular, el producto escalar de un vector consigo mismo es un
nmero escalar positivo y representa la longitud del vector, o norma de (x). El producto
escalar o interno de dos funciones vectoriales en el espacio E
3
cumple con las siguientes
propiedades:


1 2 2

1
, (2.5)

2 1 2

1
b a b a , (2.6)
4 1 3 1 4 3 2
) ( ) ( + + +
1

4 2 3 2
+ + , (2.7)

2 2 1 2

1 1
. (desigualdad de Schwarz) (2.8)



2
En mecnica cuntica, la nocin de espacio vectorial es mucho ms general. Aqu
los espacios estn definidos por funciones complejas de variables reales, que forman
vectores de infinitas dimensiones. Tal espacio se denomina espacio de Hilbert, H . Todas
las propiedades de un espacio vectorial con producto escalar se conservan, sin embargo, el
producto interno es re-definido en una forma ms conveniente,

1
i
i i
2
*
1 2
) ( ) , ( , si el espacio es discreto (2.9)

1
dV
2
*
1 2
) , ( , si el espacio es continuo (2.10)

donde * significa conjugacin compleja y la integral es evaluada en todo el espacio n-
dimensional. En analoga, las propiedades del producto interno en el espacio de Hilbert son
la siguientes:

1
) , ( ) , (
1 2 2
, (2.11)
) , ( ) , (
2 1 2


1
b a b a , (2.12)
) , ( ) , ( ) , (
4 1 3 1 4 3 2
+ + +
1

) , ( ) , (
4 2 3 2
+ + , (2.13)
) , ( ) , ( ) , (
2 2 1 2

1 1
. (desigualdad de Schwarz) (2.14)

De igual manera que en un espacio eucldeo convencional representamos un vector
en trminos de sus componentes en la base ortonormal (e
1
,e
2
,e
3
), las funciones (x) en el
espacio de Hilbert se pueden escribir tambin en trminos de sus componentes, si
escogemos una base ortonormal apropiada. En trminos de sus componentes, la funcin
(x) se escribe,

x d x x x K K
j
j ij i
) ( ) , ( ) (x . (2.15)

Comparando la ecuacin (2.1) con el miembro derecho de (2.7), obtenemos,

[ ]

x d x x x K L ) ( ) , ( ) (x . (2.16)

Esta ltima expresin es propia de la teora de transformaciones integrales y la funcin
K(x,x) es el ncleo de la transformacin. La ecuacin (2.8) es la famosa ecuacin integral
de Volterra de 1ra especie. El lado izquierdo de (2.7) tambin puede escribirse en forma
matricial como,

(x)=K (x) , (2.17)

donde K es la matriz de orden ix j asociada a la transformacin. Por lo tanto, concluimos
que a cada operador lineal de la mecnica cuntica se le asocia una matriz. Como veremos


3
ms adelante, esto trae consigo una ventaja, ya que todo el clculo matricial puede ser
utilizado en el clculo con operadores mecano-cunticos.

Ejemplos.
L[(x)]=x (x)
L[(x)]=d (x)/dx
L[(x)]=
2
(x)

Para comprender mejor la accin de un operador lineal, considrese el caso en el
cual una funcin (x) definida sobre un sub-espacio de Hilbert de base ortonormal
{ }
3 2 1
~
,
~
,
~
es transformada a otro sub-espacio de Hilbert de base ortonormal { }

3 2 1
~
,
~
,
~
.
Tal es el caso clsico de una rotacin de ejes ortogonales. Definamos un operador
transformacin lineal, L, tal que,

L
L


En trminos de sus componentes en el sistema de base { }
i

~
, la funcin se expresa de la
forma,


3 3 2 2 1 1
~ ~ ~ ~
+ +

c c c c
i
i i
.

Cuando la funcin es transformada al sistema de base { }

i
~
, sta se puede representar en
trminos de sus componentes en el nuevo sistema,


3 3 2 2 1 1
~ ~ ~
+ + c c c .

Por otro lado, los vectores de la base { }
i

~
tambin
se representan en trminos de los vectores de la base
{ }

i
~
,

3 13 2 12 1 11 1
~ ~ ~ ~
+ + ,

3 23 2 22 1 21 2
~ ~ ~ ~
+ + ,

3 33 2 32 1 31 3
~ ~ ~ ~
+ + ,

donde
ij
son los cosenos directores entre los ejes.
La Figura 2.1 esquematiza sta situacin. Los ejes
continuos representan la base { }
i

~
y los punteados
la base { }

i
~
. El punto esquematiza un sistema cuntico con vector de estado . Segn esto,
las nuevas componentes de , en funcin de sus componentes originales, vendrn dadas
por,

3
S

Figura 2.1


4

( )


j
j ij i i
c c
~
,

donde
ij
son los elementos de la transformacin (cosenos directores), y estn dispuestos de
la siguiente forma,

,
_

33 32 31
23 22 21
13 12 11
.

Esta es la matriz de la transformacin y est asociada al operador L del presente ejemplo.
Dicho de otra manera los elementos matriciales del operador de rotacin vienen dados por
los cosenos directores.

Ejercicio. Hallar la matriz asociada al operador de translacin.


2.2 Notacin de Dirac

En mecnica cuntica, un sistema fsico es definido por su estado cuntico, el cual
es caracterizado por un vector o funcin de estado dx
x
b
a

2
*
1
(x), que pertenece a un
sub-espacio del espacio de Hilbert. Este sub-espacio es denominado el espacio del sistema.
En lo sucesivo representaremos al vector de estado del sistema mediante la notacin de
Dirac,

) (x ,

) (x ,

en la cual asociamos a cada estado (x) un vector ket y a su complejo conjugado

(x) con
un vector bra. Los vectores bra-kets poseen matemticamente todas las propiedades de la
funcin de estado. De igual forma, las definiciones de producto escalar o interno tambin
son re-escritas,

i
i i
2
*
1 2 1
) ( , (2.18)

dV
2
*
1 2 1
. (2.19)

2.3 Conjugacin hermtica. Hermiticidad

Hemos visto que en la mecnica cuntica, es posible asociar a cada operador lineal
una matriz. Dos propiedades interesantes de algunas matrices son la transposicin y la


5
transposicin hermitica, es decir, las componentes de la matriz deben satisfacer las
condiciones,

ji ij
A A
+
, (transpuesta) (2.20)

*
ji ij
A A
+
. (transpuesta hermtica) (2.21)

La propiedad (2.21) es tambin llamada conjugacin hermtica. Si adems
ij ij
A A
+

entonces,

*
ji ij
A A , (2.22)
se dice que la matriz es hermtica.
En mecnica cuntica, los operadores, adems de ser lineales, poseen sta ltima
propiedad. Sean dos funciones de estado (kets)
1
y
2
definidos en un subespacio de
Hilbert, y L un operador transformacin lineal que acta sobre ambos estados.
Combinando la definicin de producto interno expresada en (2.19) y propiedad de
conjugacin hermtica, hallamos la condicin de hermiticidad para el operador L. El
producto escalar entre el estado
1
y el estado L
2
es dado por,

dV L L
2
*
1 2 1
. (2.23)

Aplicando a (24) la operacin de transposicin,

+
+
dV L L ) (
2
*
1 2 1
,

si L es hermtico,


2 1 2
*
1 2 1

+
L dV L L . (2.24)

Si por otro lado, el producto interno
*
1 2
L debe satisfacer la condicin,


2 1
*
1 2
*
1
*
2
*
1 2
) ( ) (

L dV L dV L L . (2.25)

Igualando (2.24) con (2.25), queda finalmente,


2 1 2 1
L L , (2.26)

la condicin de hermiticidad para un operador mecano-cuntico.
Como ejemplo, consideremos el operador laplaciano, L(x)=
2
(x). Recordando
la segunda identidad de Green (teorema integral de Gauss) , la cual establece que,



6
[ ] dA
n n
dV
1
]
1

1
2
2
1 1
2
2 2
2
1
, (2.27)

donde
1
y
2
son funciones potenciales reales, V el volumen del espacio y A el rea de la
superficie encerrada. Si integramos en todo el espacio y
1
y
2
se anulan en la superficie,
se obtiene,

[ ] 0
1
2
2 2
2
1

dV . (2.28)
Si ahora aplicamos la condicin (27) al laplaciano, tenemos que,

[ ] 0
*
1
2
2 2
2 *
1

dV , (2.29)

un teorema integral de Gauss para campos complejos. Esto demuestra pues que el operador

2
es hermtico. Veamos otro ejemplo. Sea el operador diferencial lineal,

x
L , (2.30)

y apliquemos la condicin de hermiticidad. Consideremos apenas el miembro izquierdo de
la ecuacin (2.26), evaluado en el intervalo [a, b],

dx
x x
b
a

2
*
1 2
1
.

Integrando por partes, y suponiendo
1
y
2
se desvanecen en los extremos,



,
2 1
*
1 2
*
1 2 2
*
1 2
*
1 2 1

x
dx
x
dx
x
dx
x x
b
a
b
a
b
a
b
a




2 1 2 1
L L , (2.31)


el operador / x no satisface la condicin (2.26) y por lo tanto no es hermtico. No
obstante, es fcil ver que si multiplicamos ste operador por el nmero complejo i,
obtenemos entonces un operador hermtico. En smbolos,

x
i L
2 1 2 1
L L . (2.32)


7

Ejercicio. Verificar si los siguientes operadores son hermticos:
a)

x
i L , a x b
b) x L , a x b
c) i L , a x b
d) L =exp(i) , 0

Consideraciones finales sobre operadores lineales, kets y bras. Hemos visto como un
operador lineal asocia una funcin de estado o ket,
1
, con otro ket
2
. De la misma
manera estn asociados los bras, , entre s. La transformacin lineal u operador que
asocia un bra
1
con otro bra
2
, es el operador transpuesto. Osea,



+


L
L
1 2
1 2



Si combinamos estas dos identidades obtenemos,


1 1 2 2

+
L L ,

pero en virtud de que 1
2 2
por ser el producto escalar de un vector consigo mismo,
se concluye que
+
L L 1, la matriz identidad. Un operador que satisface esta relacin se
denomina operador unitario o tambin ortogonal.


2.4 Multiplicacin de operadores. Conmutadores

El producto de operadores es tambin una transformacin lineal definida en el
espacio de Hilbert, de tal manera que el resultado de sta operacin es otro operador lineal.
Sean L y K dos operadores lineales que operan uno sobre el otro. Si se aplica L a K, el
producto es escrito como,

M=LK .

Pero si se intercambia el orden de aplicacin, se obtendr un segundo producto N=KL, tal
que M N, es decir el producto de operadores es no conmutativo, de acuerdo a las reglas
del producto matricial. Para mostrar que el producto de operadores es no conmutativo,
considrense los operadores L y K, que asocian un ket con otro ket , de la siguiente manera,



8

4 1 5 4 3 2 2 1
; ; ; L K L K , (2.33)

donde, en general
5 4 3 2 1
. Aplicando el operador M al ket
1
,
obtenemos,

3 2 1 1
L LK M .

Si aplicamos ahora el operador N al mismo estado,


5 4 1 1
K L K N .

Como
5 3
, se cumple entonces que M N, , 0 LK L K .
En muchos casos de la mecnica cuntica, sin embargo, el producto de operadores
no depende del orden de la multiplicacin. En ste caso

0 LK L K , (2.34)

y se dice que los operadores L y K conmutan. Debido a esto, a esta diferencia se le
acostumbra llamar conmutador de L y K, y se le denota de la siguiente manera,

[ ] LK L K L K , . (2.35)

Un conmutador es tambin un operador lineal y posee las siguientes propiedades:

[ ] [ ] J K K J , , , (2.36)
[ ] [ ] [ ] L J K J L K J , , ) ( , + + , (2.37)
[ ] [ ] [ ] L J K L K J L K J , , , + , (2.38)
[ ] [ ] [ ] [ ] [ ] [ ] 0 , , , , , , + + K J L J L K L K J , (2.39)
[ ] [ ]
+ + +
J K K J , , . (2.40)

La derivacin de stas propiedades es directa, y se deja como ejercicio al estudiante. La
interpretacin fsica de los conmutadores y sus implicaciones sern discutidas en el captulo
siguiente.

Ejercicio. Derivar las propiedades (2.36) a (2.40) de los conmutadores.

Como ejemplo ilustrativo, consideremos los operadores L= x y K= /x, y
calculemos el conmutador entre ellos,

[ ]

x
x x
x
K L L K K L ) ( , ,


9

x
x
x
x ,

0 ,

'

1
]
1

1
x
x 1
1
]
1

x
x,

El conmutador de los operadores x y /x es igual al operador identidad.


Ejercicio. Calcule los siguientes conmutadores:

a)
1
]
1

x
i x,

b) [ ] A A ,
+


c)
1
1
]
1

2
2
,
x
c , c es una constante

Ejercicio. Muestre que si dos operadores son hermticos sus productos no necesariamente
son hermticos. Luego muestre que si los dos operadores son hermticos y conmutan, sus
productos son hermticos.


2.5 Autovalores y autofunciones

El problema principal en la teora de operadores lineales es la resolucin de la
ecuacin,

L , (2.41)

donde es una cantidad constante. Se asume tambin que el operador L es unitario, o sea,

1
+ +
L L L L . (2.42)

Los operadores hermticos satisfacen sta condicin. La ecuacin (2.41) recibe el nombre
de ecuacin de autovalores. En general, ste ecuacin tiene soluciones slo para ciertos
valores de , llamado autovalor de L, y al conjunto de todos los autovalores se le denomina
espectro de L. Las soluciones asociadas de sta ecuacin son llamadas autofunciones
aurtovectores, del operador L. Si para cada valor de existe un nico autovector, se dice
que el autovalor es nodegenerado. Si por el contrario, existe ms de un autovector
(linealmente independiente) para un nico valor de , entonces el autovalor es degenerado.


10
El nmero de autovectores asociado a un nico valor de se denomina orden grado de la
degeneracin, g. Por ejemplo, si es un autovalor con grado de degeneracin g, existen g
autofunciones asociadas, tal que,


i i
L , (2.43)

y el ket de la forma:

i
g
i
i
c

1
, (2.44)

es tambin autovector de L con autovalor . Para mostrar esto, apliquemos el operador L al
ket dado por (2.44),




i
g
i
i i
g
i
i
c L c L
1 1



Consecuentemente, el conjunto de autovectores de L asociados al autovalor constituyen
un espacio vectorial g-dimensional, llamado autoespacio de . En particular, un autoespacio
1-dimensional corresponde a un autovalor con grado de degeneracin g=1.
Veamos ahora las propiedades de la ecuacin de autovalores cuando L es hermtico.
De la condicin de hermiticidad (2.26),
j i j i
L L , se cumple que,



dV L dV L
j i j i
* *
,

y si aplicamos la ecuacin (2.43) a cada autofuncin
i
y
j
, entonces queda,



dV dV
j i i j i j
* * *
,

0 ) (
* *

dV
j i i j
. (2.45)

En el caso nodegenerado i=j, la integral es no nula ya que sta representa el producto
interno de
i
, y entonces
*
i i
, un nmero real. Cuando i j y si 0
*

j i
, la
integral y el producto entre
i
y
j
son nulos, indicando que las autofunciones son
ortogonales. Concluimos entonces lo siguiente:

1. Los autovalores de un operador hermtico son reales


11
2. Las autofunciones de un operador hermtico, pertenecientes a diferentes
autovalores, son ortogonales entre s.

De la ecuacin (2.45) tambin concluimos que si
i
y
j
son dos autofunciones
de un operador lineal L y estn normalizadas a la unidad, debe cumplirse la condicin,

'

si 1
si 0
*
j i
j i
dV
j i j i
(2.46)

Esta es la condicin de ortonormalidad. Los kets que satisfacen (2.46) forman un conjunto
ortonormal o base ortonormal del autoespacio y al operador hermtico L se le denomina
observable de ese autoespacio. La condicin de ortonormalizacin se puede escribir en
forma condensada, de la siguiente manera,


ij j i
, (2.47)

donde
ij
es la delta de Kronecker.

Clculo de los autovalores y autovectores de un operador. Dado un operador L, cmo
podemos calcular sus autovalores y autofunciones?. Consideraremos primero el caso ms
simple en el cual conocemos una solucin autofuncin del operador L, y hallamos luego
el producto interno de ste ket con la ecuacin (2.43),


i i i i
L ,

dV
dV L
L
i i
i i
i i
i i
*
*
. (2.48)

Si las autofunciones estn normalizadas, el denominador en (2.48) es igual a 1 y se obtiene
la simple relacin,

dV L L
i i i i
*
. (2.49)


Sin embargo, ste mtodo no siempre es el ms apropiado, ya que en general, las
autofunciones de un sistema cuntico presentan formas complicadas. Para ilustrar el
mtodo, supongamos una regin esfrica de radio R conteniendo un sistema en un estado
cuntico representado por la autofuncin a/r, y el operador posicin r. Usando la expresin
(2.48), se obtiene,


2
R
,


12
el cual es un nmero real.

Ejercicio. Calcule el autovalor del operador diferencial /x con autofuncin =
kx i
e

Considrese ahora un autoespacio de dimensin finita y con base ortonormal
{ }
i
, y proyectemos (producto interno) el autovector sobre cada uno de los
vectores de la base ortonormal,


i i
L ,

y representemos en trminos de sus componentes en esa base,
j
j
j
c

,

j
j
j i j
j
j i
c c L

,

j i
j
j j i
j
j
c L c

,

i ij
j
j ij
j
j
c L c ,

0 ) (
ij ij
j
j
L c (2.50)

donde
i i
c y
j i ij
L L . La expresin (2.50) representa un sistema de
ecuaciones donde las incgnitas son las componentes del autovector, c
j
. Este sistema de
ecuaciones es lineal y homogneo.
La ecuacin (2.50) representa un sistema lineal y homogneo, y slo tiene solucin
no trivial si el determinante del sistema es nulo. Esta condicin se escribe de la siguiente
manera,

0 ) ( Det 1 L , (2.51)

donde L es la matriz N x N asociada de elementos L
ij
y 1 es la matriz identidad. La
ecuacin (2.51) tambin es llamada ecuacin caracterstica o secular, y sus soluciones o
races, , son los autovalores del operador. Las autofunciones asociadas se encuentran
resolviendo la ecuacin (2.50) para cada valor de . Como ejemplo, considrese una
rotacin de ngulo en el plano xy, alrededor del eje z. La matriz asociada al operador de
rotacin es, en ste caso,

,
_

1 0 0
0 cos
0 cos
sen
sen
L , (2.52)



13
y la ecuacin (2.51) adquiere la forma,


0 ) (
0 ) (
0 ) (
33 3 32 2 31 1
23 3 22 2 21 1
13 3 12 2 11 1
+ +
+ +
+ +
L c L c L c
L c L c L c
L c L c L c
. (2.53)

Introduciendo la matriz (2.52) en (2.51) encontramos el determinante,

0
1 0 0
0 cos
0 cos

sen
sen
, (2.54)

y la ecuacin caracterstica,


2
( 2 cos 1)( 1) 0 + , (2.55)

cuyas soluciones vienen dadas por,


0
1; cos
i
i sen e


t
t
t . (2.56)

Los autovectores asociados a los autovalores (2.56) se encuentran sustituyendo stos en
(2.53), con los elementos de matriz, L
ij
, dados en (2.52). De sta manera obtenemos el
sistema de ecuaciones,


0 ) 1 (
0 ) (cos
0 cos ) (cos
3
2 1
2 1

+
+
c
c sen c
c c
. (2.57)

La solucin de ste sistema es,


3
0
1 1
(0,0, )
( , ,0)
c
c i c

t
(2.58)

donde c
1
y c
3
son arbitrarios, y el (t) corresponde a los autovalores (
+
,
-
)
respectivamente. Los autovectores estn contenidos en el plano complejo y se pueden
representar en la formaescriben,



1
1
(1 ) ,
(1 ) ,
i
i
c i e
c i e

+

+
, (2.59)


14
donde

representa un giro en sentido antihorario, mientras que

+
es un giro en el
sentido de las agujas del reloj.

Ejercicio. Obtenga las relaciones (2.56) y (2.59).



2.6 Expansin de autofunciones. Completitud y clausura.

Consideremos un operador con espectro discreto y base ortonormal { } ) (r
i
. Sea
) (r una autofuncin de ste operador. Expandida en trminos de sus componentes sta
autofuncin tiene la forma,

) ( ) ( ) ( ) (
0 0
r R r c r c r
N i
N
i
i i
i
i
+

, (2.60)

donde la sumatoria del lado derecho representa los primeros N trminos y R
N
(r) es la suma
de los restantes trminos residuo de la expansin en serie. El residuo es una medida del
error cometido al expresar una funcin de sta manera, y debe cumplirse que R
N
(r) 0
cuando N . Definamos el error sobre mediante la forma cuadrtica,


2
0
2
) ( ) ( ) ( r c r r R
i
N
i
i N N

. (2.61)

Esta es una funcin cuadrtica de las N incgnitas c
i
. Desarrollando esta expresin
obtenemos el residuo error de la autofuncin,

,
_

,
_

) ( ) ( ) ( ) ( ) ( ) (
0
*
0
2
0
r c r r c r r c r
i
N
i
i i
N
i
i i
N
i
i N
,
*
0
) ( ) (
i
N
i
i N
c c r r

. (2.62)

donde se han utilizado la condicin de ortonormalizacin y la expresin de los coeficientes

i i
c , obtenidas anteriormente. Por definicin
N
0 y por lo tanto, para cada valor
de N debe cumplirse la desigualdad,

r d r r d r r r r c c
i
N
i
i
3
2
3 * *
0
) ( ) ( ) ( ) ( ) ( . (2.63)



15

Esta es la identidad de Bessel, y a la funcin (r) se dice que es cuadrado integrable. En
el lmite N ,
N
=0 y la desigualdad de Parseval se transforma en la ecuacin,

r d r c c
i
i
i
3
2
*
0
) ( , (2.64)

lo cual significa que no existe una autofuncin del espacio, ortogonal a cada una de las
funciones
i
, por lo tanto existe siempre algn coeficiente c
i
no nulo. Esta es la llamada
relacin de completitud frmula de Parseval, y al conjunto de las funciones
i
se le llama
conjunto completo. Como consecuencia de sta propiedad se justifica la expansin de
cualquier autofuncin del espacio como,

) ( ) (
0
r c r
i
i
i

. (2.65)

Ejercicio. Sean ) ( ) (
0
1
r a r
i
i
i

y ) ( ) (
0
2
r b r
i
i
i

dos autofuncioes del

espacio de base ortonormal { } ) (r
i
, muestre que la propiedad de completitud conduce a
la relacin general,

2 1
3
2
*
1
0
*
) ( ) ( r d r r b a
i
i
i
. (2.66)


Si sustituimos en la expansin (2.65) los coeficientes
i i
c

r d r r
j i
3 *
) ( ) ( , esta
adquiere la forma,
{ } ) ( ) ( ) ( ) (
0
3 *
r r d r r r
j
j
j

,

r d r r r r
j
j
j

,
_

3
0
*
) ( ) ( ) ( ) ( ,

r d r r r r

3
) ( ) ( ) ( , (2.67)

donde :

'

r r
r r
r r r r
j
j
j
; 1
; 0
) ( ) ( ) (
0
*
(2.68)


16

Esta es la relacin de clausura de las autofunciones y es otra consecuencia de la propiedad
de completitud.