Captulo 2.

Operadores
2.1. Operadores lineales
2.2. Funciones propias y valores propios
2.3. Operadores hermitianos
2.3.1. Delta de Kronecker
2.4. Notacin de Dirac
2.5. Operador Adjunto
2-2
2. Operadores
En la mecnica cuntica, los operadores son objetos que se usan cotidianamente. Este
captulo est dedicado a revisar algunos conceptos relacionados con estos objetos.
Definicin: Un operador,

O, es un objeto que transforma a una funcin, g , en otra,

h ,

Og h = .
Por ejemplo, al derivar una funcin, ( ) f x , la funcin resultante, ( ) f x ,
generalmente es distinta. Por lo tanto, al procedimiento de derivacin se le puede
asignar un operador,
( ) ( ) ( ) = = f x
df
dx
d
dx
f x Df x

.
A este operador,

D, le llamaremos operador diferencial. Al multiplicar una funcin por

una constante, obtenemos una nueva funcin. Lo mismo ocurre cuando la
multiplicamos por otra funcin. A este tipo de operadores les denominaremos
operadores multiplicativos,
( ) ( ) 2 = f x g x ,
( ) ( ) x f x k x = .
Los operadores pueden combinarse formando otros ms complejos,
suma de operadores:
( )

A B f Af Bf + = + ,
composicin de operadores:
( ) ( )

AB f A Bf = .
Los operadores siguientes son ejemplos de estos casos,

A
d
dx
= + 1 ,

Af f f = + ,

B
d
dx
x = , ( )

Bf
d
dx
xf = .
2-3
Definicin: El conmutador de dos operadores es el operador siguiente,
[ ]

,

A B AB BA .
El conmutador cumple las siguientes propiedades:
[ ] [ ]

,

,

B A A B = ,
[ ] [ ] [ ]

,

,

,

A B C A B A C + = +
[ ] [ ] [ ]

,

,

,

A BC A B C B A C = + .
Tambin existen los operadores integrales, entre ellos, la transformada de Laplace,
( ) ( )

Lf e f x dx F t
tx

}
0
.
2.1. Operadores lineales
Entre la gran variedad de operadores que existen, los operadores lineales son los ms
comunes.
Definicin: Un operador,

A, es lineal si cumple las dos propiedades siguientes:

1) ( )

A cf cAf = ,
2) ( )

A f g Af Ag + = + .
en donde f y g son funciones arbitrarias y c es cualquier escalar.
Por ejemplo, el operador diferencial es un operador lineal.
2.2. Funciones propias y valores propios
Para todo operador lineal existe un conjunto de funciones, { } u
n
, y un conjunto de
escalares, { } a
n
, tales que satisfacen la ecuacin

Au a u
n n n
= .
2-4
A esta ecuacin se le conoce como la ecuacin de valores propios del operador

A, a los
escalares, a
n
, se les llama valores propios del operador y a las funciones u
n
se les
denomina funciones propias. Al conjunto de valores propios comnmente se le llama
espectro del operador.
Ejemplo: Para el operador p i
x
x

, la ecuacin de valores propios es la

siguiente,
p p
x p p
= ,
en donde p es el valor propio y
p
es la funcin propia. Esta ecuacin es una ecuacin
diferencial ordinaria que puede rescribirse en la forma
=
p p
ip

,
y que tiene las siguientes soluciones,
( )
p
ipx
x ce =

,
en donde el valor propio es cualquier nmero real. En este caso el espectro es continuo.
Ejemplo: Si las funciones propias de p
x
deben ser peridicas, con perodo L,
( ) ( )
p p
x x L = + ,
entonces se debe cumplir la condicin
1 = e
ipL

.
Esta condicin es equivalente a las dos siguientes
cos
pL

= 1, sin
pL

= 0 .
Por lo tanto,
p
n
L
n
=
2
, ( )

n
i
nx
L
x e =
2
, n = 0 1 2 , , ,...
2-5
En este caso, el espectro es discreto.
2.3. Operadores hermitianos
Dentro de los operadores lineales existe un grupo de operadores que son de gran
importancia en la mecnica cuntica.
Definicin: Un operador

O es hermitiano si, para todo par de funciones f y g , se

cumple la igualdad
( ) ( )
f Og Of g
*
*

=
} }
.
Por ejemplo, el operador

A x =
es hermitiano, mientras que

D
d
dx
=
no lo es. Sin embargo, un operador relacionado con

D si es hemitiano. El operador

C i
d
dx
=
es hermitiano siempre que f g , 0 en los bordes del dominio de las funciones.
En muchas aplicaciones los conjuntos de funciones forman espacios vectoriales, en
estos casos las funciones tienen propiedades similares a los vectores cartesianos. En
particular, es posible definir el concepto de ortogonalidad entre funciones.
Definicin: Dos funciones son ortogonales si f g
*
}
= 0 .
La integral f g
*
}
puede usarse como una definicin del producto interno entre las
funciones f y g , ya que cumple con las propiedades de este tipo de producto, por lo
que es posible introducir conceptos tales como proyeccin y norma en los espacios
vectoriales de funciones.
2-6
Los valores propios y funciones propias de los operadores hemitianos tienen
propiedades muy interesantes.
Teorema: Los valores propios de un operador hermitiano son reales.
Este teorema se demuestra partiendo de la ecuacin de valores popios del operador y
haciendo algunas manipulaciones. Tambin es necesario hacer uso de la propiedad de
hermiticidad.

Au a u
n n n
= ,
( )

*
* *
Au a u
n n n
= ,
( )
u Au a u u u Au a u u
n n n n n n n n n n
* *
*
* *

} } } }
= = = ,
( )
u u a a
n n n n
* *
}
= 0 ,
a a
n n
=
*
.
Teorema: Las funciones propias de un operador hermitiano son ortogonales, si sus
valores propios son diferentes.
En este caso, se usa la ecuacin de valores propios para dos funciones propias con
valor propio distinto.

Au a u
n n n
= ,
( )

*
*
Au a u
m m m
= ,
( )
u Au a u u u Au a u u
m n n m n n m m m n
* *
*
*

} } } }
= = = ,
( ) u u a a
m n n m
*
}
= 0 ,
u u
m n
*
}
= 0 .
Cuando un operador tiene ms de una funcin propia con el mismo valor propio, se
dice que estas funciones son degeneradas. El teorma anterior garantiza que las
funciones degeneradas son ortogonales a las funciones propias que tienen valor propio
distinto, sin embargo el teorema no implica que las funciones degeneradas sean
ortogonales entre ellas. Este hecho no genera ningn problema ya que siempre es
2-7
posible hacer una combinacin lineal de las funciones degeneradas para obtener un
conjunto de funciones propias que sean ortogonales entre s.
Siempre que sea posible, las funciones propias debern cumplir con la condicin
u u
n n
*
}
= 1. En este caso se dice que las funciones estn normalizadas. As, para todo par
de funciones propias se cumple la condicin
u u
n m
n m
m n mn
*
,
,
}
= =
=

1
0
.
2.3.1. Delta de Kronecker
La delta de Kronecker,
mn
, es un smbolo que representa dos posibles valores,
dependiendo de sus ndices,

mn
n m
n m
=
=

1
0
,
,
.
Dado que este smbolo slo es diferente de cero cuando sus ndices son iguales, las
sumas que incluyen a la delta de Kronecker se pueden simplificar fcilmente,

mn
m
m n n nn n n
n
B B B B B B B
B

= + + + + = + + + +
=
1 1 2 2 1 2
0 0 1
.
En general, las funciones propias de un operador hermitiano forman un conjunto
completo. As, toda funcin arbitraria, ( ) x , puede expresarse como una combinacin
lineal de los elementos de la base del espacio vectorial,
( ) ( ) x b u x
n
n
n
=

,
en donde los coeficientes b
i
estn dados por
( ) ( ) b u x x dx
i i
=
}
*
.
Estos coeficientes juegan el papel de componentes y corresponden a la proyeccin de la
funcin f sobre la funcin normalizada u
i
. Finalmente, se puede ecribir la ecuacin
2-8
( ) ( ) ( ) ( ) ( ) ( ) ( ) x u x x dx u x u x u x x dx
n
n
n n n
n
= =

(

}

}
* *
,
en donde la ltima integral puede identificarse como un operador integral identidad, y
a su parte interna, agrupada en corchetes, se le denota con el smbolo siguiente,
( ) ( ) ( ) u x u x x x
n
n
n

*
.
A la distribucin ( ) x x se le denomina la delta de Dirac.
Algunas propiedades de la delta de Dirac son las siguientes,
( ) x x = 0 , cuando x x ,
( ) ( ) ( ) x x f x dx f x
0 0
=
}
,
( ) ( ) ( ) =
}
x x f x dx f x
0 0
.
2.4. Notacin de Dirac
La notacin de Dirac, en su versin ms simple, puede verse como una notacin
abreviada que permite representar a la mayora de las operaciones entre operadores y
funciones.
ket ( ) g g x funcin
bra ( ) f f x
*
funcin conjugada
braket f g f g
}
*
integral entre una funcin y otra conjugada
As, dado que un operador transforma a una funcin en otra, un operador tambin
transforma a un ket en otro,

A g Ag .
Los brakets cumplen con la siguiente condicin,
g f f g
*
= .
2-9
Las funciones propias de un operador hermitiano pueden representarse por kets, y stos
son ortonormales, es decir, son ortogonales y estn normalizados,
u u m
m m
= = , n m
mn
= .
En esta notacin, la propiedad de hermiticidad para un operador

O toma la forma
siguiente,
f Og Of g

= .
Observe que, para los operadores hermitianos, el operador puede aparecer tanto en el
bra como en el ket, sin afectar el valor que tiene el braket. Para los operadores que no
son hermitianos, esto no es posible, sin embargo existe otra opcin que se presenta
posteriormente.
Ejemplos del uso de la notacin de Dirac
1. Desarrollo de :
=

b n
n
n
, b i
i
= ,
( ) ( ) ( ) ( )
[ ]
x u x u x x dx
n n
n
=
}

*
, =

n n
n
,

I n n
n
=

2. Para las funciones peridicas en el intervalo

(
L L
2 2
, , se tiene una base formada por
las funciones propias del operador p
x
,
n
L
e
i
nx
L
=
1
2
.
Los coeficientes del desarrollo de la funcin arbitraria tienen la forma
( ) b k
L
e x dx
k
i
kx
L
L
L
= =

1
2
2
2
,
2-10
por lo que

=

1
2
L
b e
k
i
kx
L
k
.
Esta ecuacin corresponde al desarrollo de en series de Fourier.
2.5. Operador Adjunto
Si

Aes un operador lineal, al operador

A
+
que satisface la igualdad
( ) ( )
f Ag A f g
*
*

} }
=
+
,
se le llama el adjunto del operador

A.
Por ejemplo, si

D
d
dx
= , entonces

D
d
dx
+
= .
Usando la notacin de Dirac, los operadores

D y

D
+
satisfacen la igualdad
f Dg D f g

=
+
.
De acuerdo con la definicin anterior, un operador hermitiano es su propio adjunto y
( )

D D
+
+
= .