Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal

Sistema de Informacin Cientfica

Armando Gallegos, Pedro B. Espinoza-Padilla

Mecnica Cuntica en el plano no conmutativo
e-Gnosis, vol. 7, 2009
Universidad de Guadalajara
Mxico
Disponible en: http://www.redalyc.org/articulo.oa?id=73011184001

e-Gnosis,
ISSN (Versin electrnica): 1665-5745
e-gnosis@cencar.udg.mx
Universidad de Guadalajara
Mxico

Cmo citar?

Fascculo completo

Ms informacin del artculo

Pgina de la revista

www.redalyc.org
Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

Mecnica Cuntica en el Plano no Conmutativo

Quantum Mechanics in the non Conmutative Plane
Armando Gallegos1, Pedro B. Espinoza-Padilla1
gallegos@culagos.udg.mx / wolfgang@culagos.udg.mx

Recibido: noviembre 27, 2008 / Aceptado: enero 22, 2009 / Publicado: enero 30, 2009
RESUMEN. Se busca encontrar la forma en que son modificados los operadores Hamiltonianos en la mecnica cuntica cuando es
implementada la no conmutatividad en el plano. Para ello se muestra una breve introduccin de las bases de la mecnica cuntica
convencional y se resuelven ejemplos para el caso bidimensional. Se introducen las nuevas relaciones de conmutacin necesarias
para implementar la no conmutatividad entre las coordenadas y se resuelven tres ejemplos. Se analiza el problema del oscilador
armnico en el plano desde el punto de vista de los operadores de creacin y aniquilacin, tanto para el caso convencional como
para el no conmutativo. Finalmente, los resultados muestran explcitamente la no conmutatividad por medio del parmetro de no
conmutatividad y en el caso del oscilador armnico, el Hamiltoniano resultante puede ser relacionado con la ptica cuntica.
PALABRAS CLAVE: Operador cuntico, Hamiltoniano, conmutador, relaciones de conmutacin, oscilador armnico.
ABSTRACT. We look for the way in that the Hamiltonian operators in quantum mechanics are modified when noncommutativity
in the plane is implemented. For this, a brief introduction on foundations of conventional quantum mechanics is presented and
bidimensional examples are solved. New commutation relations are introduced to include non commutativity between coordinates
and three examples are solved. The problem of harmonic oscillator on the plane is analyzed from point of view of creation and
annihilation operators, both the conventional and the non commutative cases. Finally, the results explicitly show
noncommutativity by means of noncommutativity parameter and, in the harmonic oscillator case the resulting Hamiltonian can be
related with quantum optics.
KEYWORDS: Quantum operator, Hamiltonian, commutator, commutation relations, harmonic oscillator.

Introduccin

El estudio de la mecnica cuntica (MC) en nuestros das dista mucho de ser concluido, de hecho, cada da
aparecen ms dudas que respuestas. En particular, una rama de la MC que est tomando mucha fuerza es la
que se desarrolla cuando las coordenadas no conmutan, fsicamente esto se puede interpretar como si se
tuviera un principio de incertidumbre entre las coordenadas X y Y, de la misma forma en que se tiene el
principio de incertidumbre convencional entre el momento
y la posicin. Este tipo de MC forma la
base de teoras ms fundamentales en la fsica moderna, como la teora de campos, la teora de cuerdas o
incluso la ptica cuntica, la cual puede tener una influencia ms directa con el desarrollo de nuevas
tecnologas en un futuro no muy lejano. El objetivo general de este artculo es presentar una breve
introduccin de la mecnica cuntica en el plano no conmutativo, resolver en este nuevo contexto algunos
de los ejemplos tpicos que se presentan en la teora convencional y mostrar la forma en que los
Hamiltonianos se modifican al introducir esta no conmutatividad.

Bases de la mecnica cuntica

Esencialmente, la MC es la herramienta matemtica que se usa en la fsica u otras ciencias para describir
fenmenos en la naturaleza cuyas dimensiones son extremadamente pequeas, es decir, a niveles subatmicos. Una manera prctica de saber cundo comienzan a cobrar importancia los efectos cunticos es
usando el principio de incertidumbre de Heisemberg

1
Departamento de Ciencias Exactas y Tecnologa, Centro Universitario de los Lagos, Universidad de Guadalajara, Enrique Daz de Len 1144,
Col. Paseos de la Montaa, Lagos de Moreno, Jalisco, 47460, Mxico, www.lagos.udg.mx

ISSN:166557451www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

(1)

el cual dice que no se pueden conocer simultneamente la posicin y el impulso de una partcula, de tal
manera que la mxima resolucin est restringida por el valor de la constante de Planck reducida (
/2
1.054 10 J seg). Basta con verificar que las dimensiones de la situacin fsica a considerar
sean del orden de magnitud de esta constante para asumir que aparecern efectos cunticos. Originalmente
la MC surgi a partir de dos vertientes: la Mecnica Matricial de Heisemberg y la Mecnica
Ondulatoria de Schrdinger. La primera, como su nombre lo indica, est basada primordialmente en
conceptos de lgebra y operadores lineales, mientras que la segunda se basa en la famosa ecuacin de
Schrdinger
,

(2)

donde m es la masa de la partcula,

, el potencial que influye sobre la partcula y
, es la funcin
de onda asociada a la partcula. Esta ecuacin puede generalizarse a ms dimensiones de ser necesario. Al
operador entre parntesis cuadrados se le conoce como Hamiltoniano del sistema. Poco tiempo despus se
demostr que ambas formulaciones eran equivalentes y se adopt el nombre con el que se conoce a la teora
actualmente. Por sus caractersticas, aqu se adoptar la formulacin de Schrdinger. Si se resuelve la
ecuacin (2) por medio de separacin de variables y suponiendo que el potencial
, no depende del
tiempo entonces se obtiene la ecuacin de Schrdinger independiente del tiempo
,

(3)

donde E es el autovalor de la ecuacin y corresponde a la energa del sistema. La funcin de onda completa
/

, se obtiene multiplicando
por el factor exponencial temporal
.
En MC se puede trabajar en la representacin de posiciones o bien en la representacin de momentos, por lo
que resulta necesario escribir las variables en forma de operador dependiendo de la representacin que se
maneje. Por ejemplo, si se trabaja en la representacin de posiciones, la forma de las variables y es
,

mientras que en la representacin de momentos se tiene

,

y para las otras dimensiones hay expresiones semejantes. Por otro lado, debido a que las variables pueden
ser manejadas como operadores, es importante introducir el conmutador entre dos operadores A y B, que
est definido como
,

ISSN:166557452www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

el cual no necesariamente debe ser igual a cero. Tomando el caso particular del conmutador
a la funcin de onda en la representacin de posiciones se obtiene
,

aplicado

o sea que el conmutador

en varias dimensiones

es igual a

. En general se tienen las siguientes relaciones de conmutacin

0,

(4)

donde
1 si
y 0 si
, es conocida como delta de Kronecker. Por otro lado, es posible pasar una
funcin de onda de una representacin a otra utilizando transformadas de Fourier
/

donde

(5)

es la funcin de onda en el espacio de los momentos.

Para resolver el caso de la partcula libre en el plano se toma la ecuacin de Schrdinger en dos dimensiones
,

las soluciones de esta ecuacin diferencial son exponenciales interpretados como ondas planas, las cuales
tienen la particularidad de no ser cuadrado integrables. Esto no es una caracterstica conveniente para una
funcin de onda en MC debido a que la probabilidad tiene que ser finita. El problema se resuelve al
proponer funciones delta de Dirac como las funciones de onda correspondientes al espacio de momentos.
De esta manera la funcin de onda en la representacin de posiciones se puede expresar como una
transformada de Fourier
,

es decir, la funcin de onda en el espacio de momentos es

es

y la energa

/2 .

Para el caso del oscilador armnico, el potencial bidimensional es

,
, donde es
la frecuencia angular de las oscilaciones. Sin embargo, es conveniente trabajar en la representacin de los
momentos, por lo tanto la ecuacin de Schrdinger queda escrita como

cuyas soluciones estn expresadas en trminos de polinomios de Hermite

ISSN:166557453www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

en donde

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

!y

1 , aqu

pueden tomar valores enteros no

negativos.

El plano no conmutativo
Los elementos esenciales que deben modificarse para tener un sistema de coordenadas que no conmuta son
las relaciones de conmutacin. En el caso particular del plano, slo el conmutador de las coordenadas es el
que se modifica: ,
, en donde se ha colocado el circunflejo en la parte superior de las coordenadas
para distinguirlas de las conmutativas y
es conocido como parmetro de no conmutatividad. Este
conmutador puede interpretarse como un nuevo principio de incertidumbre entre las posiciones, es decir,
que ahora no se localiza una partcula en un punto exacto del plano, sino en una regin dispersa. Sin
embargo, para poder incluir formalmente esta nueva caracterstica en la ecuacin de Schrdinger es
necesario reemplazar los productos ordinarios entre funciones de las coordenadas por el producto estrella o
Moyal, definido de la siguiente forma
/

y
es el tensor antisimtrico de grado 2. Regresando a la ecuacin de Schrdinger, los
donde
trminos con momentos o constantes no se alteran, pero la parte del potencial se modifica de la siguiente
forma [1]
2
. Para quien no est familiarizado con las operaciones
donde cada componente del vector es
anteriores, explcitamente las transformaciones que hay que hacer sobre las coordenadas son
,
,

(6)

,
,

aqu las variables x, y, px y py cumplen con las relaciones de conmutacin habituales de la MC (4), tambin
conocidas como relaciones de conmutacin cannicas.
Aunque las transformaciones que se usarn a lo largo de este artculo son las mostradas en (6), en realidad
stas no son las nicas que satisfacen las nuevas relaciones de conmutacin. De hecho, ya se ha trabajado al
respecto [2], en donde se incluye adems la no conmutatividad en los momentos
,

ISSN:166557454www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

,
,

,
,

donde
es tambin una matriz antisimtrica definida de manera similar a
. Las transformaciones
lineales generales que se tienen que aplicar para expresar un sistema de variables no conmutativas ( , ) en
trminos de variables cannicas (xi,pi), son
,
.

Para que se cumplan las relaciones de conmutacin (6),las condiciones necesarias sobre las matrices a, b, c
y d son
,
,
.
En [2] se muestra que con diferentes tipos de transformaciones, el Hamiltoniano resultante adquiere
distintas propiedades de simetra.
Ahora se analizarn tres ejemplos en el plano no conmutativo. Para el caso de la partcula libre se usar la
ecuacin de Schrdinger en dos representaciones mezcladas, es decir, en uno de los ejes al usar posiciones y
en el otro, los momentos; de tal manera que las ecuaciones que resultan son
,

/2 . Para resolver estas ecuaciones se utiliza el mtodo de separacin de variables,

donde
despus del cual se obtienen, de manera independiente, las siguientes funciones de onda
,
,

(7)
,

(8)

son funciones indeterminadas. Para poder implementar la no conmutatividad se har

donde
y
uso de la transformada de Fourier en el plano no conmutativo, definida en [3], de manera que las funciones
de onda (7) y (8) quedaran expresadas nicamente en el espacio de momentos
,

,
ISSN:166557455www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

.
Como ambas funciones tienen que ser iguales entonces es vlido escribir
,

la misma solucin que en el caso convencional, ya que el Hamiltoniano de una partcula libre no tiene una
dependencia explcita de las posiciones, que es donde se est implementando la no conmutatividad.
Para el caso del oscilador armnico en el plano no conmutativo, resulta conveniente trabajar la ecuacin de
Schrdinger en el espacio de momentos
,

en donde ya se sustituyeron las variables de posicin no conmutativas por sus correspondientes

transformaciones a variables conmutativas (6). Esta ecuacin se puede reescribir de la siguiente manera
,

donde
,
,
,

debido a que los operadores

y conmutan entre s, las autofunciones correspondientes a
tambin son
autofunciones del Hamiltoniano completo. La ventaja radica en que ms arriba ya se resolvi la ecuacin
en el caso de la MC convencional, nicamente hay que cambiar la frecuencia angular por ,
para
explcitamente
,

donde N y los autovalores tienen exactamente la misma forma que la solucin obtenida en la seccin
anterior, pero con la sustitucin de por . La combinacin lineal que diagonaliza simultneamente los
operadores
y y que corresponde a las autofunciones del Hamiltoniano completo es
,

con

1
,

ISSN:166557456www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

y autovalores
1

Como ejemplo final, se tomar ventaja del resultado anterior para estudiar el modelo de Einstein que
consiste de un arreglo de N osciladores armnicos considerados ahora en el plano no conmutativo, en donde
se supondr que no hay interaccin entre ellos y que su frecuencia de oscilacin es la misma. Partiendo de
una distribucin cannica, la probabilidad de que un oscilador se encuentre en el estado con nmeros
especficos n y j es
, /

, ,

en donde
, , 1 es conocida en la fsica estadstica como la funcin de particin para un solo oscilador y
es igual a la suma de los exponenciales de todos los estados posibles
, ,1

con 4
. Si se tienen N osciladores de la misma frecuencia, entonces la funcin de particin
del total de osciladores correspondiente es simplemente
, ,

, ,1

La ventaja de tener esta funcin de particin de manera explcita, es que la energa libre se puede escribir en
trminos de esta ltima
, ,

2,

, ,

con lo que es posible obtener diversas caractersticas termodinmicas del sistema como la entropa, la
entalpa o el calor especfico.

Reformulacin del oscilador armnico

Ahora se retomar el caso del oscilador armnico. En MC una forma elegante de resolver el problema es
con los operadores de creacin y aniquilacin. Partiendo del Hamiltoniano unidimensional
,
si se definen los operadores

ISSN:166557457www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

,
entonces el Hamiltoniano queda reescrito como
.

(9)

Los autovalores del operador

, conocido como operador de nmero, son precisamente
0, 1, 2, 3, ,
por lo que se llega a los mismos autovalores que resolviendo el problema de la manera convencional. La
extensin a ms dimensiones es inmediata, basta con agregar ms operadores semejantes al Hamiltoniano
obtenido en (9)
1

1 ,

donde se supone que las frecuencias son iguales en ambos ejes.

Trasladando el problema al caso del plano no conmutativo, el Hamiltoniano en coordenadas no
conmutativas es
,
que en trminos de las transformaciones (6) queda escrito usando variables cannicas como

el cual a su vez puede ser reescrito en trminos de operadores de creacin y aniquilacin

1

Claramente se observa la mezcla entre los operadores correspondientes a ejes distintos en el ltimo trmino,
los autovalores de este Hamiltoniano coinciden con los que ya se vieron en la seccin anterior. Si ahora se
supone que las frecuencias para cada eje no son necesariamente iguales, entonces se obtiene
1

donde

ISSN:166557458www.egnosis.udg.mx/vol7/art1

2009, eGnosis [online] Vol. 7, Art. 1

Mecnica cuntica en el plano no conmutativo Gallegos L.A. et. al.

Este tipo de Hamiltonianos son de particular inters dentro de la ptica cuntica [4].

Conclusiones
En este artculo se revis brevemente de la extensin de la mecnica cuntica convencional al caso en que
las coordenadas en el plano no conmutan, lo cual puede interpretarse como una relacin de incertidumbre
entre las posiciones sobre el plano. Se mostr que es posible replantear el problema transformando las
coordenadas no conmutativas a una combinacin lineal de coordenadas cannicas, siempre y cuando
cumplan con las relaciones de conmutacin establecidas. Una consecuencia de esto es que las
transformaciones no son nicas y de hecho la simetra de los Hamiltonianos obtenidos depende de la
transformacin elegida. Se resolvieron tres ejemplos y resulta claro que las soluciones se reducen al caso
convencional haciendo tender a cero el parmetro de no conmutatividad. Finamente se hizo una revisin de
la solucin del oscilador armnico en el plano usando el mtodo de operadores de creacin y aniquilacin
tanto para el caso usual como para el caso no conmutativo en el plano, en este ltimo los Hamiltonianos
resultantes son eventualmente usados en la ptica cuntica.

Agradecimientos
Este trabajo fue apoyado por CONACyT por medio del proyecto No. J49178-F.

Referencias
1. Mezincescu, L. (2000). Star operation in quantum mechanics. arXiv: hep-th/0007046.
2. Smailagic, A., Spallucci, E. (2002). Isotropic representation of the noncommutative 2D harmonic oscillator. Phys. Rev. D 65:
107701.
3. Vaquera, C. A., Lucio M., J. L. (2005). Non-commutative mechanics as a modification of space-time. arXiv: mathph/0512064.
4. Karassiov, V. P., Klimov, A. B. (1994). An algebraic approach for solving evolution problems in some nonlinear quantum
models. Phys. Lett. A 191: 117-126.

ISSN:166557459www.egnosis.udg.mx/vol7/art1