El operador de traslacin

Tener una funcin de onda (r,t) especificada en un espacio tridimensional nos

lleva eventualmente a una interrogante como la siguiente: que se requiere
hacer para poder seguir teniendo especificada la funcin de onda en caso de
que se lleve a cabo un desplazamiento espacial del centro de origen de las
coordenadas, o en caso de que el tiempo haya avanzado hacia adelante? La
respuesta ingenua a estas interrogantes consisitira en llevar a cabo un simple
cambio de variables que en el caso de una traslacin espacial en un sistema
rectangular de coordenadas Cartesianas implicara reemplazar las variables de
las coordenadas aumentando o disminuyendo cada variable en la cantidad
requerida, esto es:
x = x + a

y = y + b

z = z + c
hacindose algo similar en el caso de la variable del tiempo:
t = t0 + t
Un ejemplo sencillo consistira en tomar al crculo centrado en el origen:

cuya ecuacin en coordenadas rectangulares Cartesianas es:

y desplazarlo a una distancia R.=.(a,b) con respecto a su posicin original

mediante la transformacin:

obteniendo as el mismo crculo trasladado espacialmente:

y cuya nueva ecuacin en coordenadas Cartesianas es:

Sin embargo, esta simple prescripcin para llevar a cabo el desplazamiento

espacial de una funcin de onda est condenada al fracaso no slo porque la

funcin de onda , como hemos visto, puede estar dada por una expresin que
contenga cantidades imaginarias o complejas, sino por el hecho de que es
el cuadrado de la funcin de onda, o sea ||2, lo que nos d la probabilidad de
encontrar a la partcula en cierta regin del espacio tridimensional.
Habiendo visto con anterioridad que prcticamente todo lo que tiene que ver
con la funcin de onda requiere el uso de operadores que actan de alguna
manera multiplicativa sobre la funcin de onda, por qu habran de ser
diferentes las operaciones de desplazamiento espacial o temporal? Estas
consideraciones nos llevan a conclur que el esquema simplista que vimos al
principio pasa por alto el hecho de que cuando tenemos una funcin de onda
(r,t) lo que se requiere para llevar a cabo una operacin de
desplazamiento espacial es un operador de traslacin espacial que acte
sobre la funcin de onda, produciendo una nueva funcin de onda desplazada
(r,t). Y del mismo modo, si lo que se require es llevar a cabo una operacin
de desplazamiento temporal sobre una funcin de onda, tambin debe de
existir un operador de desplazamiento temporal que acte sobre la
funcin de onda produciendo el efecto del paso del tiempo sobre una funcin
de onda. Suponemos que este tipo de operadores de desplazamiento espacial
y temporal deben existir siempre y cuando puedan ser definidos de una
manera correcta que funcione. Pero qu podremos utilizar como gua para la
especificacin de estos operadores?
Congelando la variable del tiempo para fines de simplicidad, empezaremos
por suponer que es factible construr un operador de traslacin que sea
capaz de desplazar espacialmente una funcin de onda en una distancia a, al
cual representaremos de la siguiente manera:

La aplicacin (operacionalmente multiplicativa) de este operador de traslacin

sobre una funcin de onda (x) debe producir una nueva funcin de onda
(x+a):

Esto mismo, expresado en notacin bra-ket de Dirac, se escribe de la siguiente

manera:

En lo anterior, se ha supuesto implcitamente que el desplazamiento se est

llevando a cabo en una sola dimensin en la direccin positiva del eje-x. Pero
no es necesario estar limitados a una sola dimensin; el desplazamiento se
puede llevar a cabo tambin en tres dimensiones, en cuyo caso eleigenket de
posicin estar referenciado a un vector x, en cuyo caso el efecto de la
aplicacin del operador de traslacin sobre un eigenket de posicin
tridimensional se puede expresar de la siguiente manera en notacin bra-ket:

Hay que poner atencin cuidadosa en esto ltimo y en el hecho de que no es

una ecuacin eigen. No puede serlo, ya que un desplazamiento traslacional en
cierta direccin no puede dejar a una funcin de onda en la misma posicin
que la que tena antes de llevarse a cabo el desplazamiento. (Sin embargo, si
el desplazamiento no es un moviento de traslacin en cierta direccin sino
unarotacin, definitivamente s es posible que la funcin de onda pueda
quedar exactamente en la misma posicin que la que tena antes de llevarse a
cabo la rotacin, lo cual a su vez tendr implicaciones profundas ya que a
travs de rotaciones es posible anticipar que se podrn teneroperadores de
rotacin que al ser aplicados sobre cierta funcin de onda -o sobre cierto
eigenket, que es lo mismo- la girarn hacindola regresar a su posicin
original, lo cual implica que ser posible tener ecuaciones eigen mediante
operaciones de rotacin, lo cual a su vez nos llevar inevitablemente a la
extraa ecuacin de Born al estar asociadas las rotaciones con el momento
angular.)
Otro hecho trascendental que no debe perderse de vista es que el ket de
posicin representa una variable continua que no est sujeta a
discretizacin alguna. Podemos fijar lmites al espacio fsico en el cual se
lleva a cabo un fenmeno de naturaleza cuntica, como lo hacemos en el caso
de una partcula encerrada dentro de una caja unidimensional a la cual le
asignamos una longitud L, pero el espacio en s comprendido dentro de la caja
no est sujeto a ninguna discretizacin, ya que en principio
y conceptualmente ese espacio unidimensional puede ser subdividido hasta el
infinito. Esta conceptualizacin siempre conlleva el riesgo, desde luego, de que
una nueva teora sobre la naturaleza del espacio-tiempo pueda poner un lmite
absoluto a la subdivisin de un espacio fsico (en cuyo caso el intervalo

espacial entre dos puntos en vez de poderse corresponder en una relacin biunvoca de uno a uno con un sub-conjunto del conjunto de los nmeros reales
se correspondera con un sub-conjunto de los nmeros enteros). Sin embargo,
a estas alturas, no hay razn para meternos en complejidades filosficas y
matemticas que slo desviarn la atencin de las ideas que estamos
intentando desarrollar.
Al igual que como lo hemos visto previamente con otros operadores como el
operador Hamiltoniano de energa H, el operador de traslacin es algo que
siempre acta sobre lo que est a su derecha. Esto implica que si hacemos
un compuesto de varios operadores de traslacin, el primer operador que
acta sobre la funcion de onda es el que est ms a la derecha de los
operadores, tras lo cual el siguiente operador en actuar sobre la funcin de
onda trasladada es el operador que estaba a la izquierda del primer operador,
y as sucesivamente:

Aunque tratndose de operadores de traslacin, el orden en el cual sean

aplicados sobre la funcin de onda no tiene mayor trascendencia, esto ya no
ser vlido cuando entremos de lleno al tema de los operadores de rotacin en
donde la no-conmutatividad es la regla del juego. Con la finalidad de evitar
confusiones a medida que la notacin vaya creciendo en complejidad, se
mantendr vigente todo el tiempo la prescripcin de que los operadores
sucesivos mltiples se deben ir escribiendo de derecha a izquierda siguiendo el
orden en el cual irn actuando uno tras otro sobre la funcin de onda.
Habiendo definido al operador de traslacin, el siguiente paso consiste en fijar
las reglas del juego. Tenemos que dejar en claro de antemano cules son las
propiedades que debe cumplir el operador de traslacin, propiedades que en
caso de no cumplirse servirn para desechar los operadores de traslacin que
sean considerados como posibles candidatos.
La primera propiedad que debe cumplir el operador de traslacin, la ms
esencial, la ms bsica, es que cuando el desplazamiento espacial a que

produce sobre una funcin de onda se aproxima a cero el efecto sobre la

funcin de onda en la cual acta debe ser tal que la funcin de onda venga
quedando en la misma posicin. En efecto, estamos requiriendo que para un
desplazamiento espacial igual a cero el operador de traslacin se convierta en
un operador identidad:

En este caso, el operador identidad lo podemos tomar simplemente como el

nmero 1. Sin embargo, podemos dejar abierta la posibilidad de que el
operador de traslacin pueda ser un operador matricial, en cuyo caso la
condicin anterior estipula que al reducirse a a cero el operador de traslacin
se debe convertir en la matriz identidad:

Significa esto que estamos trabajando ya en el mbito de la Mecnica

Matricial? Desde luego que no, porque este operador de traslacin es un
operador que acta sobre una funcin de onda . En la Mecnica Matricial, o
hablando en trminos ms generales, en lo que se conoce como la
representacin de Heisenberg, no hay funcin de onda alguna que resienta el
efecto de un operador de traslacin aplicado sobre la funcin de onda; lo que
cambia son las componentes de una matriz, la matriz que describe al sistema
fsico bajo consideracin. Aqu lo que es objeto de modificaciones es la funcin
de onda sobre la cual acta el operador de traslacin, en lo que se conoce
como larepresentacin de Schrdinger. Sin embargo, ello no significa que no
podamos considerar la posibilidad de postular otra clase de operadores de
traslacin en los cuales la funcin de onda permanezca intacta pero que sea
el operador de traslacin el que cambie, lo cual nos abre un nuevo horizonte de
posibilidades. Dejaremos por lo pronto pendiente este asunto para no
distraernos de nuestro objetivo central que es el definir un operador de
traslacin que nos pueda ser til dentro de la Mecnica Ondulatoria.
La segunda propiedad del operador de traslacin, tambin esencial y bsica, es
que debe ser posible aplicar dos o ms operadores de traslacin en sucesin
(uno tras otro) sobre una funcin de onda (x), y el efecto resultante debe ser
obtenible mediante la aplicacin de una sola operacin de traslacin:

Esto es evidente. Si se aplica un desplazamiento a1 de 1 milmetro en cierta

direccin, seguido de otro desplazamiento a2 de 2 milmetros en la misma
direccin, el efecto que se obtiene debe ser el mismo que el que se obtenga
aplicando un desplazamiento a1+a2 de 3 milmetros en la misma direccin.
La tercera propiedad que se debe de cumplir en todo momento al usar
operadores de traslacin es que los operadores de traslacin deben ser
conmutativos. En efecto, si se aplica primero un desplazamiento a1 de 1
milmetro en cierta direccin, seguido de otro desplazamiento a2 de 2
milmetros en la misma direccin, el efecto que se obtenga sobre la funcin de
onda (x) debe ser el mismo que si se aplica primero un desplazamiento a2 de
2 milmetros en cierta direccin, seguido de otro desplazamiento a1 de
1 milmetro en la misma direccin:

Hasta aqu hemos considerado operadores de traslacin que actan

unidimensionalmente, moviendo a la funcin de onda sobre el eje-x. Pero igual
podemos postular un operador de traslacin bi-dimensional que sea capaz de
desplazar una funcin de onda (x) en cualquier direccin sobre un plano. O
podemos ir hasta la situacin fsica real postulando un operador de traslacin
que pueda desplazar una funcin de onda tri-dimensional (r) en cualquier
direccin de un espacio tri-dimensional, especificando por separado como
un vector de desplazamiento x = (a,b,c) las magnitudes de los
desplazamientos ortogonales (a ngulos rectos) en un sistema de ejes
coordenados Cartesianos:

La accin de este operador de traslacin tridimensional es la siguiente:

Y una cosa que destaca de inmediato es que las traslaciones sucesivas en

direcciones diferentes(por ejemplo, el eje-x y el eje-y) conmutan, . Podemos ver
esto con mayor claridad en la siguiente figura en la cual se tienen dos
recorridos diferentes, uno de color verde y el otro de color magenta, y no
importa cul de los dos recorridos se tome el resultado final ser el mismo:

Regresando al caso especial unidimensional para mantener las cosas simples,

de lo anterior se deduce que los operadores de traslacin deben cumplir
necesariamente con la propiedad asociativa.

Otra propiedad que aqu puede parecer trivial pero que no lo ser tanto al
momento de resolver problemas que involucren otros tipos de operadores es
que debe ser posible invertir cualquier operacin de desplazamiento aplicando
un desplazamiento de la misma magnitud pero en la direccin contraria. Puesto
de otra manera, debe existir un operador inverso de traslacin. A
continuacin se muestra del lado izquierdo de la igualdad la representacin
simblica del operador de traslacin inverso utilizando el exponente -1 que se
acostumbra utilizar (sin que ello implique ni remotamente hablando una
operacin aritmtica de inversin como ocurre cuando se trabaja con
nmeros), mostrndose del lado derecho de la igualdad que esta operacin de
inversin de traslacin se debe poder llevar a cabo con un operador de
traslacin en el cual se le ha invertido el signo a la magnitud del
desplazamiento:

Las propiedades dadas arriba son las que debe cumplir el operador de
desplazamiento espacial que estamos buscando. A tales propiedades debemos
agregar otra que veremos ms abajo.
Sin duda alguna, la caracterstica principal que distinguir al operador de
traslacin que estamos tratando de construr es que el producto sucesivo de
dos operadores de traslacin (uno de ellos aplicando un desplazamiento
espacial a1 y el otro aplicando un desplazamiento espacial a2 a la funcin de
onda ket) deber ser combinado de modo tal que la traslacin equivalente
nica se lleve a cabo sobre una distancia a1+a2. En pocas palabras, se requiere
equipar notacionalmente unproducto operacional con una suma, ya que como
puede verse:

si ignoramos a la funcin de onda y nos enfocamos directamente sobre el

aspecto operacional, es obvio que:

La nica funcin matemtica que cumple este requerimiento, la nica funcin

matemtica capaz de llevar esto a cabo es la funcin exponencial (esta es la
razn por la cual en otros tiempos en los que no haba calculadoras de bolsillo
y mucho menos computadoras personales de escritorio se recurra a las tablas
de logaritmos y a las hoy obsoletas reglas de clculo, ya que permitan
efectuar multiplicaciones y divisiones mediante simples sumas y restas, habido
el hecho de que los logaritmos, basados a su vez en la funcin exponencial
tienen tal propiedad):

Esto nos sugiere que el operador de traslacin tiene que tener un aspecto
como el siguiente:

Queda, desde luego, la posibilidad de que a este operador de traslacin vaya

anexado como multiplicador un factor de fase e similar al ngulo de fase que
usualmente aparece como un apndice en la solucin general de las
ecuaciones de onda. Sin embargo, este factor de fase se toma como
irrelevante, ya que no hay significado fsico alguno que se le pueda adscribir a
la fase de una funcin de onda (el valor calculado de una observable no puede
depender de un valor particular de la fase). Es por ello que usualmente se toma
e como igual a la unidad:

El esqueleto del operador de traslacin que estamos construyendo parece

irse acercando a su forma ideal con las propiedades que le exigimos que tenga.
Sin embargo, falta tomar en cuenta un detalle importante: la conservacin de
la probabilidad. Es razonable esperar que si un ket general de posicin |> est
normalizado a la unidad:

el ket trasladado tambin estar normalizado a la unidad:

Tomando un ket general de posicin:

y obteniendo de lo anterior la expresin que le es dual, o sea el bra general de

posicin que est siendo actuado por el conjugado complejo del operador de
traslacin:

entonces, trabajando hacia atrs, vemos que:

Para que esto ltimo sea cierto, se requiere que:

En palabras, se requiere que el operador de traslacin sea unitario, y esto

requiere que el conjugado complejo del operador de traslacin sea tambin el
operador inverso del operador de traslacin. Esta caracterstica muy especial
de unitaridad es lo que motiva a representar al inverso del operador de
traslacin con un smbolo alterno en el cual se le agrega una daga como superndice en lugar del exponente -1:

Y llegamos as a la propiedad que nos faltaba de agregar a la lista de las

propiedades que debe satisfacer el operador de traslacin: se requiere que el
operador de traslacin multiplicado por su conjugado complejo produzca
un operador identidad. Pero el operador exponencial que hemos estado
investigando arriba no es capaz de hacer tal cosa, ya que:

Inevitablemente, tenemos que introducir el nmero imaginario i como un factor

en el exponente del operador de traslacin, con lo cual se puede satisfacer la
condicin de que el operador de traslacin sea unitario:

Tenemos ya una buena idea sobre el tipo de operador de traslacin que

estamos buscando. Sin embargo, el procedimiento anterior, intuitivo, no nos

revela la forma matemtica exacta del operador de traslacin. Una posibilidad,

la ms sencilla posible, es la que veremos a continuacin.
PROBLEMA: Demustrese que, si se supone que el desplazamiento espacial
de una funcin de onda se lleva a cabo sobre una distancia tan pequea que
esta distancia puede ser considerada casi como un desplazamiento
infinitesimal, la siguiente expresin para el operador de traslacin:

en la cual la cantidad K es Hermitiana cumple con todas las propiedades que

esperamos que tenga un operador de desplazamiento espacial.
Trabajaremos sobre la base de que el desplazamiento espacial es tan pequeo
que casi puede tomarse como un desplazamiento infinitesimal:

Para el operador de traslacin proporcionado, la primera propiedad ciertamente

se cumple, ya que cuando el desplazamiento espacial a que se produce sobre
una funcin de onda se aproxima a cero el operador de traslacin se
convierte en un operador identidad:

La segunda propiedad del operador de traslacin, segn la cual debe ser

posible aplicar dos o ms operadores de traslacin en sucesin (uno tras otro)
sobre una funcin de onda (x), siendo el efecto resultante obtenible tambin
mediante la aplicacin de una sola operacin de traslacin, tambin se cumple,
si despreciamos el trmino de segundo orden (lo cual es vlido habido el hecho
de que se supone que a es casi infinitesimalmente pequeo):

Dos operadores de traslacin definidos de la manera propuesta tambin

cumplen con la propiedad de que la aplicacin de los operadores sea
conmutativa:

Igualmente, se cumple la propiedad asociativa cuando se tienen tres

operadores de traslacin:

Si estamos dispuestos a despreciar el trmino de segundo orden, podemos

comprobar que el operador de traslacin tambin tiene su inverso que revierte
un desplazamiento espacial en un sentido con otro desplazamiento de la
misma magnitud pero en direccin contraria:

Notacionalmente, esto implica que:

Ahora bien, suponiendo que la cantidad K es Hermitiana (lo cual requiere que el

conjugado complejo de la misma K* sea igual a dicha cantidad K, o sea

que K*.=.K) el conjugado complejo del operador de traslacin espacial
propuesto en el enunciado del problema es:

Por lo tanto, se tiene tambin para este operador que el operador inverso es
igual al conjugado complejo del operador:

El operador indudablemente es unitario, ya que si tomamos el producto del

operador con su conjugado complejo y despreciamos trminos de segundo
orden en a, se obtiene el operador identidad:

El operador es, por lo tanto, un operador unitario, cumpliendo entonces con

todas las propiedades que hemos fijado para un operador de traslacin. Luego
el operador propuesto en este problema es un operador de traslacin
vlido para desplazamientos muy pequeos.
Aceptando al operador 1-iKa como un operador de traslacin vlido, estamos
en condiciones de poder obtener una relacin fundamental entre K y a.
Obsrvese por un lado que:

en donde en la primera lnea al lado izquierdo de la igualdad se tiene a

un operador posicin actuando sobre un operador de traslacin que a su vez
est actuando sobre un eigenket de posicin, dando como resultado (en la
primera lnea, como consecuencia de la accin del operador de traslacin) un
eigenket trasladado; mientras que en la segunda lnea como resultado
del operadorde posicin actuando sobre un eigenket de posicin trasladado (en
la primera lnea) se produce en virtud de la eigenecuacin el eigenvalor que
multiplica al eigenket de posicin. Invirtiendo el orden de los operadores
(posicin y traslacin) que actan sobre el ket de posicin, se tiene por otro
lado:

en donde en la segunda lnea se tiene al eigenvalor de la posicin como

resultado del operador posicin actuando (en la primera lnea) sobre el
eigenket de posicin, eigenvalor que por ser una observable fsica conmuta con
el operador de traslacin, el cual acta sobre el eigenket de posicin
trasladndolo (cuarta lnea). Usando los dos resultados obtenidos, si formamos
un conmutador de Born con el operador posicin y con el operador de

traslacin, haciendo actuar al conmutador sobre un eigenket de posicin, se

tiene:

o bien:

Usando el operador de traslacin 1-iKa en esto, se obtiene:

Esto nos confirma que tanto x como K son operadores, ya que si cualquiera de
ellos fuera una simple constante numrica el resultado del conmutador sera
cero en lugar de i. Lo anterior supone un desplazamiento espacial
unidimensional llevado a cabo por un operador de traslacin unidimensional.
Generalizando esto a un espacio de tres dimensiones en el sistema de
coordenadas rectangulares Cartesianas, se puede escribir lo siguiente con la
ayuda del de Kronecker:

Esta expresin nos define la relacin que hay entre los tres operadores de
posicin y los tresoperadores K respectivos.
No se ha definido an la naturaleza del operador K que sirve para definir a su
vez al operador de traslacin. En virtud del nmero 1 que aparece en el primer
trmino, carente de dimensiones en algn sistema de unidades, el segundo
trmino en:

tambin debe ser adimensional. Careciendo el nmero imaginario i de

dimensin alguna en un sistema de unidades, y siendo a una longitud (medida
en metros, centmetros, etc.), esto impone el requerimiento de que K est
medido en unidades inversas de longitud (metro -1, cm-1, etc.). Y si el operador
de traslacin ha de ser un verdadero operador mecnico-cuntico, esperamos
que K incorpore de alguna manera la constante reducida de Planck . Esto nos
motiva a recurrir a la relacin de De Broglie que relaciona en una sola
expresin la dualidad onda-partcula de la materia, para ver la forma en la cual
podemos determinar la naturaleza de K:

Una forma alterna en la cual se puede expresar la relacin de De Broglie es la

siguiente en donde se sustituye la constante de Planck h por la constante
reducida de Planck :

La cantidad 2/ posiblemente le resulte familiar al lector. Es el nmero de

onda, frecuentemente representado como k. Y est expresado precisamente

las dimensiones de unidades inversas de longitud (metro -1, cm-1, etc.). De este
modo, se tiene:

Esto se puede manifestar en un espacio tridimensional sobre un sistema de

coordenadas Cartesianas rectangulares en forma vectorial de la siguiente
manera:

Lo anterior tambin se puede expresar como (obsrvese que el vector de

onda k tiene la misma direccin que el momentum p en virtud de ser una
simple constante numrica):

Como ya se seal, el nmero de onda k est expresado precisamente en

unidades inversas de longitud, al igual que su generalizacin tridimensional
vectorial k. Limitndonos a trabajar sobre el eje-x como lo hemos estado
haciendo por simplicidad, y tomando tanto el nmero de onda kxcomo el
momentum px sobre el eje-x, se vuelve factible substitur a la cantidad K en el
operador de traslacin por kx, substituyendo subsecuentemente
a kx por px dividido entre :

Esto ltimo, vlido para desplazamientos a muy pequeos, nos revela algo muy
interesante. Puesto que tanto a como son cantidades fsicas que pueden

considerarse fijas, lo que realmente nos est generando la traslacin es el

operador del momentum px, un resultado que concuerda con la misma
conclusin a la cual se llega mediante la fsica clsica: el operador del
momentum es el generador de los desplazamientos espaciales.
Ahora echaremos mano del resultado obtenido previamente:

En tres dimensiones, conociendo ya la relacin que existe entre cada operador

Kj y la componente respectiva pj del momentum, podemos escribir la siguiente
relacin fundamental:

Esta conclusin es de importancia fundamental. Hemos obtenido la extraa

ecuacin de Max Born. Y la hemos obtenido sin recurrir en lo absoluto a
ninguna de las matrices que se utilizan en la Mecnica Matricial, siendo por lo
tanto el resultado cien por ciento vlido dentro la Mecnica Ondulatoria.
Podemos ir ms lejos con lo que hemos obtenido. Para ello, recurriremos al
operador identidad(conocido tambin como la relacin de
completitud o cerradura) para el caso continuo (vase la entrada titulada El
espacio de Hilbert II):

A continuacin, se aplicar al operador de traslacin sobre un ket general de

estado, injertando primero al operador identidad y tras ello ejerciendo la accin
del operador sobre el ket que est situado a su derecha:

Si efectuamos las siguientes substituciones (recurdese que a representa un

desplazamiento fijo, constante):

entonces lo siguiente debe ser cierto:

Pero de hecho esto ms que una implicacin es una igualdad, ambas relaciones
son iguales, ya que la integracin es llevada a cabo sobre todo el espacio
(desde - hasta +) y la variable (posicin) de la integracin se elimina al
llevarse a cabo la integracin entre los lmites. Es como si se llevara a cabo la
integracin de un pulso de onda rectangular, no importa si el pulso de onda
es relocalizado (trasladado) en una cantidad finita a en cierta direccin, al
llevarse a cabo la integracin desde - hasta + el resultado de la integracin
ser exactamente el mismo. Usando entonces:

se tiene:

Puesto que:

entonces:

Reemplazando ahora (en el lado izquierdo de la igualdad) al operador de

traslacin que est actuando sobre el ket general de estado por el operador de
traslacin casi infinitesimal que tenemos arriba:

Comparando ambos lados de la igualdad, resulta obvio por la presencia del

factor a que el segundo trmino al lado izquierdo de la igualdad debe ser igual

al segundo trmino en el lado derecho de la igualdad, y si igualamos ambas

cantidades de hecho a se elimina:

Podemos pre-multiplicar ambos miembros de lo anterior por un bra general de

estado de la siguiente manera:

Si hacemos las siguientes identificaciones:

mediante las cuales se hace definida a una funcin de onda como una
funcin de onda cualquiera en el espacio-posicin, y como * al conjugado
complejo de otra funcin de onda tambin en el espacio-posicin, entonces la
relacin se convierte en lo siguiente:

Esta relacin nos debe resultar familiar, ya que es la esperanza matemtica del
operador px tomada entre los dos estados y , justo en el orden de trminos
que hemos estado utilizando desde un principio. Pero lo ms importante es que
nos dice que el operador del momentum px est dado por:

Destaca el hecho de que esto no es algo que hayamos utilizado como punto de
partida en el anlisis que se ha llevado a cabo. No es un postulado. Se trata
ms bien de algo que hemos derivado a partir de la propiedad mecnicocuntica del momentum como el generador de traslaciones.
El operador de traslacin que tenemos en nuestras manos es vlido para
desplazamientos muy pequeos, casi infinitesimales. Pero an considerando
que las dimensiones fsicas tpicas de los fenmenos propios de la Mecnica
Cuntica son bastante pequeas (del orden de los Angstroms o inclusive ms
pequeas an) estamos interesados en saber lo que sucede tratndose de
desplazamientos finitos medibles a escala macroscpica con aparatos de
laboratorio. Cmo podemos manejar esta situacin? La respuesta consiste en
que si a un desplazamiento pequeo, casi infinitesimal, le aplicamos otro
desplazamiento igualmente pequeo, seguido de otro y muchos ms,
eventualmente tendremos un producto formado por una cantidad bastante
grande de operadores de traslacin que en conjunto equivaldrn a una
traslacin finita que de pequeo no tendr nada. La pregunta ahora es: puede
expresarse esto en una forma exponencial, que segn lo que vimos arriba, es
la forma a la que eventualmente queremos llegar? Para responder a esto en
forma adecuada, tenemos que repasar una manera alterna de obtener el
nmero e(aproximadamente igual a 2.718281) que es algo distinta a la
expansin usual en series de Taylor:

Entre ms grande sea el nmero n, tanto mejor ser la aproxiamacin hecha

con esta relacin al nmero e. A continuacin se dan los resultados de la
evaluacin para valores de n iguales a 3, 50 y 100:

Como puede verse, la aproximacin va mejorando y el error que se comete en

la evaluacin de e va disminuyendo conforme aumenta el valor de n.
Aceptando como vlida la relacin anterior, puede demostrarse mediante la
induccin matemtica la siguiente generalizacin de lo anterior:

Tomando en consideracin esto ltimo, el operador de traslacin compuesto

puede ser construdo de la siguiente manera como el producto creciente de
una cantidad cada vez mayor de factores (obsrvese que dentro de cada factor
la cantidad a va disminuyendo conforme aumenta n, pero el producto sucesivo
creciente se encarga de amortiguar la disminucin de a):

En el lmite conforme n.., se debe tener entonces, con exactitud

matemtica:

En el lado derecho de la igualdad se tiene justo el operador de traslacin que

estbamos buscando.

El operador de traslacin de la Mecnica Ondulatoria es entonces,

confirmando que el operador del momentum es el generador de traslaciones:

Este resultado parece elemental, sin chiste, no parece ser gran cosa, hasta que
tomamos en cuenta el hecho de que el momentum px es el operador
diferencial que hemos estado usando con antelacin:

Y puesto que kx es igual al operador diferencial px dividido entre , se deduce

nuevamente que la cantidad K de la que se hablaba en el operador de
traslacin en el que hemos trabajando no era una simple cantidad cualquiera,
era tambin un operador, el operador K.
La aplicacin del operador de traslacin as definido arriba, actuando sobre una
funcin de onda a su derecha, debe ser entonces:

An sin escribir a px en su forma explcita como un operador diferencial en esta

expresin, lo que tenemos aqu se antoja formidable. Cmo vamos a llevar a
cabo la operacin que est siendo especificada? La nica forma de poder
sacarle sentido a esto es desarrollando el operador exponencial como una
serie de Taylor:

Desarrollando primero al operador de traslacin sin expresar al operador

diferencial del momentum en su forma explcita, haciendo A = -iapx/ se tiene:

Puesto que, operacionalmente:

metiendo entonces estas relaciones del operador del momentum en la

expresin desarrollada para el operador de traslacin, vemos que:

Simplificando:

Este es el operador que tenemos que aplicar sobre una funcin de onda (x)

para desplazarla una distancia a con respecto a su posicin original.

El siguiente paso consiste en someter a prueba el operador de traslacin que
hemos obtenido.
PROBLEMA: Aplquese el operador de traslacin a una funcin de onda
representativa de una partcula libre mantenindose la variable del tiempo
constante.
La ecuacin general de una onda plana mvil es:

Haciendo t.=.0 y manteniendo la variable del tiempo fija, la funcin de onda

sobre la cual trabajaremos es la siguiente:

Podemos considerar esto ltimo como la ecuacin de onda de una partcula

cuyo momentum px se conoce en forma precisa pero cuya posicin exacta se
desconoce (al extenderse la funcin de onda que representa a la partcula
desde - hasta +). Aplicando el operador de traslacin a esta funcin de
onda y desarrollando:

Esta es precisamente la funcin de onda original, pero desplazada a unidades

hacia la derecha. Esto verifica que el operador de traslacin que hemos
obtenido es el operador correcto.
Para quienes no estn muy familiarizados con las propiedades del
nmero e pero que estn familiarizados con la definicin bsica de la derivada
infinitesimal, hay otra derivacin alterna del operador de traslacin en su forma
exponencial que puede resultar ms satisfactoria. Considrense los siguientes
pasos, basados en las propiedades del operador de traslacin que hemos visto
arriba:

Despejando, esto ltimo se puede escribir de la siguiente manera:

Podemos reconocer lo que aparece al lado izquierdo de la igualdad

esencialmente como la derivada del operador de traslacin con respecto al
desplazamiento a, pudiendo por lo tanto representarlo en la forma
convencional que se acostumbra en el clculo infinitesimal, tras lo cual
podemos efectuar un despeje para llegar a una ecuacin diferencial que
resultar familiar para muchos:

La ecuacin diferencial que se tiene en la segunda lnea est precisamente en

la forma que nos conduce a una solucin exponencial convencional, de acuerdo
a la teora de las ecuaciones diferenciales. Esta solucin es el mismo resultado
que se haba obtenido arriba utilizando una composicin de traslaciones:

Considerando un desplazamiento espacial llevado a cabo en tres dimensiones:

un operador de traslacin ms general, en el espacio tridimensional, ser,

efectuando traslaciones independientes en cada uno de los ejes coordenados
Cartesianos:

Usando el operador de traslacin tri-dimensional, supngase que se lleva a

cabo un desplazamiento espacial en una magnitud x sobre el eje-x
Cartesiano:

Del mismo modo, supngase que se lleva a cabo un desplazamiento espacial

en una magnitud y sobre el eje-y Cartesiano:

Llevaremos a cabo ahora la evaluacin del siguiente conmutador:

Efectuando el clculo y despreciando trminos de segundo orden en adelante:

Pero ya hemos visto arriba que las operaciones de traslacin llevadas a cabo
sobre ejes Cartesianos distintos (ortogonales) son conmutativas, lo cual implica
que el conmutador con el cual hemos empezado debe ser igual a cero, lo cual a
su vez implica que:

Este mismo resultado se puede obtener para cualquier otro par de ejes
Cartesianos, lo cual podemos generalizar como:

De lo que no debe quedar duda alguna es que la razn principal por la cual
obtuvimos esto es porque las operaciones de traslacin para ejes distintos es
conmutativa, o sea:

Este es otro resultado de importancia fundamental, ya que podemos ver que la

razn por la cual los operadores diferenciales mecnico-cunticos del
momentum sobre ejes coordenados Cartesianos distintos conmutan es
porque ello es una consecuencia directa del hecho de que los
desplazamientos espaciales que se ven reflejados en los operadores
de traslacin tambin conmutan. Es por esto que es posible medir con
precisin ilimitada las tres componentes px, py y pz del momentum de una
partcula sin que entre en el panorama el principio de incertidumbre de
Heisenberg. Es por esto que las tres componentes del momentum
son observables compatibles. Sin embargo, cuando entremos a fondo en el
estudio de las rotaciones, en virtud de que las rotaciones sucesivas llevadas a
cabo sobre ejes coordenados Cartesianos distintos no conmutan, y esto traer
como consecuencia directa e inevitable la aparicin de las relaciones de
conmutacin de Born para los operadores mecnico-cunticos del momento
angular, reduciendo a las tres componentes del momento angular a la calidad
de observables incompatibles.
Un asunto que nos interesa explorar es el comportamiento de los valores
esperados (esperanzas matemticas) de las observables cuando se lleva a
cabo una operacin de traslacin. Empezaremos con un operador de traslacin
actuando sobre un ket general de estado llevndose a cabo un desplazamiento
espacial a:

La contraparte de esta operacin, llevada a cabo en el espacio dual, usndose

un bra en lugar de un ket, es la siguiente:

Tomando el producto interno de estas dos operaciones en la forma

convencional, se tiene:

Como no se ha llevado a cabo desplazamiento alguno sobre observable alguna,

esto simplemente nos confirma la conservacin de la probabilidad. Ahora bien,
la esperanza matemtica de un operador mecnico-cuntico Q que representa
a una observable fsica con respecto al ket general de estado que hemos usado
arriba ser, por definicin:

Recurriendo a los ket y bra trasladados de arriba, la esperanza matemtica de

la observabletrasladada ser entonces:

La esperanza matemtica de la observable Q trasladada, recurriendo a la base

filosfica fundamental de la Mecnica Cuntica de reemplazar observables
por operadores, lo cual nos permite considerar en este caso a Q como
un operador de carcter general, nos va sugiriendo aqu otra posibilidad de
enorme potencia terica: la posibilidad de describir los cambios de un sistema
fsico mecnico-cuntico no mediante cambios llevados a cabo sobre una
funcin de onda sino sobre el operador que est acte sobre una funcin de
onda. En otras palabras, en lugar de considerar al operador como inmutable y
a la funcin de onda como algo variable, se considerara al operador como algo
variable, y a la funcin de onda como inmutable.

De acuerdo a lo que se acaba de obtener arriba, un operador de traslacin

puede ser utilizado no de una sola manera sino de dos maneras distintas:
(1) Actuando de la siguiente manera sobre una funcin de onda que est a su
derecha para llevar a cabo el desplazamiento espacial de dicha funcin de
onda:

(2) Actuando sobre un operador que est aprisionado a manera de sanwich

de la siguiente manera entre el transconjugado del operador de traslacin y el
operador de traslacin con la finalidad de obtener el operador trasladado:

Como lo iremos confirmando posteriormente, este uso dual es vlido no slo

para el operador de traslacin sino para una amplia gama de otros operadores
distintos tales como el operador de evolucin del tiempo y los operadores de
rotaciones.
PROBLEMA: Suponiendo que el siguiente operador de traslacin
tridimensional en donde es un vector de desplazamiento fijo:

produce el siguiente efecto sobre una funcin de onda (r):

evalese el efecto que la siguiente operacin:

produce sobre un operador Q(r).

Sea una funcin de onda (r), y aplquese sobre dicha funcin de onda el
operador combinado:

Se ha hecho actuar arriba al operador de traslacin sobre la funcin de

onda (r) que est inmediatamente a su derecha, obtenindose la funcin de
onda trasladada espacialmente (r+). En la ltima lnea se ha hecho un
reagrupamiento para resaltar el hecho de que el transconjugado del operador
de traslacin actuar tanto sobre el operador Q(r) como sobre la funcin de
onda(r+), lo cual producir el siguiente efecto:

Se deduce entonces que:

Puesto que la funcin de onda puede ser una funcin de onda arbitraria
cualquiera, lo anterior slo podr ser cierto si:

Este resultado nos confirma que se ha llevado a cabo una traslacin espacial
del operador Q(r), y nos d tambin la prescripcin general para llevar a cabo
la traslacin espacial de cualquieroperador. El procedimiento para llevar a cabo
la traslacin espacial de un operador debe ser reminiscente del
procedimiento T-1AT con el cual una matriz A es convertida en una matriz
diagonal, excepto que aqu podemos estar hablando de operadores
diferenciales en lugar de estar hablando de matrices.
PROBLEMA: Usando el operador de traslacin en tres dimensiones, evalese
el siguiente conmutador:

Para la evaluacin de este conmutador, recurriremos a la siguiente relacin

obtenida previamente en otras entradas (vase, por ejemplo, la entrada
titulada El espacio-posicin y el espacio-momentum II):

De este modo:

PROBLEMA: Usando el resultado del problema anterior, encuntrese la

manera en la cual cambiar el valor esperado de la posicin bajo una
operacin de traslacin.
La esperanza matemtica de la posicin sobre cualquiera de los tres ejes
coordenados, usando un ket general de posicin, se define como:

Considrese el resultado de la evaluacin de la siguiente expresin:

La misma expresin puede ser evaluada de una manera distinta aplicando al

pie de la letra la definicin del conmutador:

Metiendo aqu el resultado obtenido previamente, se tiene:

Despejando, esto ltimo se puede escribir como sigue:

Poniendo atencin cuidadosa en lo que se tiene al lado izquierdo de la

igualdad, puede apreciarse que se trata de la esperanza matemtica del valor
desplazado espacialmente sobre la coordenada en cuestin. O sea:

Puesto que este resultado es vlido para las tres coordenadas Cartesianas, se
pueden resumir las tres relaciones en una sola mediante el empleo de notacin
vectorial:

Un problema un poco menos trivial que el que se acaba de resolver consiste en

determinar los cambios que pueden ocurrir o no ocurrir bajo una operacin de
traslacin para otro tipo de operadores que no sea el operador de posicin.

PROBLEMA: Detemnense los cambios que puedan ocurrir en el valor

esperado del operador del momentum bajo una operacin de traslacin.
Usando el operador de traslacin en tres dimensiones, evaluaremos primero el
siguiente conmutador en donde pi es la componente del vector
momentum p en cualquiera de los tres ejes coordenados rectangulares
Cartesianos:

Para la evaluacin de este conmutador, recurriremos a la siguiente relacin

obtenida previamente en otras entradas, siendo F(x) cualquier funcin del
vector posicin x:

Con esto se tiene:

para lo cual se han considerado a las tres componentes del vector de

traslacin l:

como cantidades constantes (representando un desplazamiento espacial fijo).

Por lo tanto:

Aplicando la definicin del conmutador en esto ltimo:

lo cual nos dice que cada una de las tres componentes del momentum
conmutan con el operador de traslacin tridimensional. De este modo,
aplicando este resultado podemos evaluar la esperanza matemtica del
operador del momentum trasladado bajo un desplazamiento espacial:

Esto nos confirma que las operaciones de traslacin espacial no alteran el

momentum de una partcula o de un sistema fsico, un resultado que era de
esperarse. Puesto que el resultado obtenido es vlido para cada una de las tres
componentes del momentum, podemos expresar el resultado general para
todas las tres componentes Cartesianas del momentum la siguiente manera:

En la obtencin del operador de traslacin que se llev a cabo ms arriba, se

supuso implcitamente como cierto algo que debe parecer obvio a primera
vista: la homogeneidad del espacio. Suponemos que el espacio es
homogneo, lo cual significa que tiene la misma estructura en todos sus
puntos. Esto es sinnimo con la suposicin de que la solucin a cierto problema

fsico es invariante bajo traslaciones espaciales. Un experimento Stern-Gerlach

llevado a cabo en Nueva York debe dar los mismos resultados que el mismo
experimento Stern-Gerlach llevado a cabo en Alemania o inclusive en la Luna.
Formalmente, el principio de la homogeneidad del tiempo es expresado
matemticamente por el hecho de que la funcin clsica conocida como
el Lagrangianode un sistema de partculas permanece invariante cuando las
coordenadas ri de las partculas son reemplazadas por ri+ai (en donde las ai son
las componentes de un vector arbitrario constante no depende explcitamente
del tiempo). Sin embargo, cualquiera que haya tomado conocimiento de los
fundamentos de la Teora Especial de la Relatividad ya sabe que el espacio no
es una cosa absoluta, ya que depende de los marcos de referencia en los
cuales se encuentren ubicados distintos observadores que se estn moviendo
el uno con respecto al otro. En cierta forma, esto es tomado en cuenta en el
desarrollo de una forma ms avanzada de Mecnica Cuntica conocida como
la Teora del Campo Cuntico en donde se incorporan los efectos de la Teora
Especial de la Relatividad dentro de las ecuaciones cunticas. Pero hay otro
problema ms complejo tanto desde el punto de vista matemtico como desde
el punto de vista filosfico al tomar en cuenta a la Teora General de la
Relatividad y sus efectos en la curvatura del espacio-tiempo en la proximidad
de campos gravitacionales de simetra esfrica. Bajo esta perspectiva, dos
observadores distintos, an y cuando estn en estado de reposo absoluto el
uno con respecto al otro, muestran alteraciones espaciales de longitud ante un
tercer observador si ambos estn situados a diferentes distancias del centro de
gravedad. En principio, debe ser posible incorporar los efectos gravitacionales
de la Teora General de la Relatividad a la Mecnica Cuntica, y para campos
gravitacionales dbiles esperamos que las expresiones obtenidas concuerden
con las expresiones mecnico-cunticas que tanto xito han tenido en sus
poderes predictivos en innumerables experimentos. Pero el problema
fundamental al principio del Tercer Milenio es que no ha sido posible llevar a
cabo esta unin. Afortunadamente, los efectos gravitacionales en los
fenmenos del mundo sub-microscpico solo adquieren relevancia bajo la
accin de campos gravitacionales intensos como los que hay en la cercana de
los agujeros negros o los que hay en estrellas con una gran cantidad de masa,
y se puede seguir trabajando en el planeta Tierra con lo que ya se tiene
mientras se busca la manera de llevar a cabo la unin de la Teora General de
la Relatividad con la Mecnica Cuntica para crear una nueva Teora del Campo
Unificado que Albert Einstein no pudo lograr en vida.