Documente Academic
Documente Profesional
Documente Cultură
Cuando al darse cuenta Max Born de que lo que Heisenberg haba obtenido era en esencia algo
que tena que ver con operaciones matriciales, fu entonces cuando se le ocurri tambin
representar ambascoordenadas generalizadasde la mecnica clsica (qyp)
comomatricesQyP, y para entonces ya estaba en su camino para establecer la relacin de
conmutacin fundamental de la Mecnica Cuntica Matricial, su extraa ecuacin.
Para llegar a su extraa ecuacin, Born sigui los pasos tomados por Heisenberg, partiendo de
la condicin de cuantizacin Wilson-Sommerfeld de la teora cuntica vieja, la cual ya se haba
anotado por s sola unos triunfos preliminares adems de tener la indudable ventaja de estar
expresada encoordenadas generalizadas:
Usando la notacin de punto puesto encima para denotar una derivacin con respecto al tiempo,
la condicin de cuantizacin puede ser escrita de la siguiente manera (la notacin del punto
puesto encima denota diferenciacin con respecto al tiempo):
en donde la integracin se debe llevar a cabo sobre un perodo completo T del movimiento. Puesto
que el perodo T de un movimiento, medido en segundos, es igual a la recproca de la frecuencia ,
medida en unidades de seg -1, podemos escribir lo anterior de la siguiente manera:
Otra cosa que podemos hacer sobre esta expresin es llevar a cabo algo que seguramente
provocar muchas dudas e inquietudes entre quienes ya se haban hecho a la idea delquantumen
el cual al enteronslo se le permite tomar valores enteros positivos. En ambos lados de dicha
expresin, tomaremos laderivada con respecto a n:
Para cualquier estudiante del clculo infinitesimal, la derivada de una funcin o expresin
cualquiera est basada en el concepto dellmite, bajo el cual la variable independiente con
respecto a la cual se est derivando no slo puede tomar cualquier valor posible, sino que se le
hace tender hacia cero, o sea x0. Pero en el caso del nmero cunticonque slo puede tomar
valores enteros positivos, cmo se puede justificar, el hacer n0? En rigor de verdad, y
hablando en trminos estrictamente matemticos, tal cosa no es posible. Y de hecho tampoco
estamos haciendo tal cosa en la expresin anterior. Lo que estamos haciendo es darle validez a la
expresin en el rango de los nmeros cunticosgrandes, precisamente el lugar en donde adquiere
plena validez elprincipio de correspondenciade Bohr, el mismo principio que fue utilizado por
Heisenberg para obtener su regla de multiplicacin. Ms que hacer n0, lo que estamos
haciendo es n1, pero siempre dentro del rango de los nmeros cunticosgrandes. En
comparacin con un nmero cuntico de 50, darle a n un valor de 5 representara la dcima
parte de dicho nmero cuntico. Pero en comparacin con un nmero cuntico de 1,000,000,
darle a n un valor de 2 representara una fraccin insignificante, representara de hecho
uninfinitsimo(en comparacin). Visto de otra manera, la diferencia entre los nmeros cunticos
250,000,000
y
250,000,003
es prcticamente insignificante, yen comparacinel n de 3 se puede tomar como un
infinitsimo. En el mbito de los nmeros cunticos grandes, no es posible discernir ya una
discretizacin de valores, y para fines prcticos podemos considerar esa regin (en donde es
aplicable el principio de correspondencia de Bohr) como uncontinuumen la cual se puede tomar
la derivada con respecto an.
Si tal y como lo hizo Heisenberg, representamos a la coordenadaclsicade la posicinq(medida
a lo largo de un eje-x) mediante unamatrizQcon cada uno de sus elementos definidos de la
siguiente manera:
en donde los q mn son cada uno de los elementos de la matrizQ, entonces podemos suponer que al
momentum clsicoptambin se le puede dar la siguiente representacin matricial (en esencia,
idntica, excepto que las amplitudes p mn de cada elemento de la matriz son componentes de
momentum en lugar de ser componentes de posicin):
Tal y como lo hiciera Heisenberg trabajando nicamente sobre la coordenada posicin, Born llev
a cabo la expansin de ambas coordenadas generalizadas expresndolas como series de Fourier
infinitas:
Habiendo definido esto, el siguiente paso consiste en tomar la derivada con respecto al tiempo de
la coordenada de la posicin generalizadaq, y llevar a cabo la integracin de conformidad con la
condicin de cuantizacin Wilson-Sommerfeld.
Para poder continuar adelante, Born al igual que Heisenberg tuvo que apelar alrequerimiento de
realidadhabido el hecho de que las cantidades imaginarias (i= -1) no pueden ser medidas en el
laboratorio, ni se les puede dar interpretacin fsica alguna, slo a las cantidades reales se les
puede dar un significado en el mundo real. Born escogi tomar el conjugado complejo de la serie
Fourier para la posicin, con lo cual su requerimiento de realidad para una posicin medida a lo
largo de una coordenada-x vendra siendo:
x(n, -) =x*(n, )
o bien, en coordenadas generalizadas:
q(n, -) =q*(n, )
De este modo, llevando a cabo la integracin como lo pide la condicin de cuantizacin WilsonSommerfeld, y utilizando el requerimiento de realidad, Born obtuvo lo siguiente:
Ahora tomaremos en ambos lados de esta expresin la extraa derivada mencionada arriba, en
el sobreentendido de que el proceso de derivacin ser vlido nicamente en la regin en donde el
principio de correspondencia de Bohr es vlido, la regin de los nmeros cunticos grandes:
o bien:
Es aqu en donde recurrimos al principio de correspondencia, que en una de las formas en las
cuales puede ser escrito nos permite aseverar lo siguiente vlido:
A estas alturas, para quienes conocen y han manejado la definicin esencial del producto de dos
matrices, debe resultar evidente que lo que tenemos en el lado izquierdo son dos productos
matriciales, a saber:
Esta es la extraa ecuacin que Born tena ante s despus de haber llevado a cabo los pasos que
se han reproducido aqu. Es la ecuacin cuyo descubrimiento le mereci el haber sido galardonado
con el Premio Nbel. Es la misma ecuacin puesta como justo homenaje en el epitafio de su
tumba. Max Born anunci al mundo su descubrimiento compartindolo en un trabajo conjunto
con Pascual Jordan publicado en septiembre de 1925, a escasos dos meses despus de que
apareciera publicado el papel en el que Heisenberg anunci su famosa regla de multiplicacin.
El lector alerta podr objetar aqu una cosa: en todo lo que hemos llevado a cabo, el resultado final
que hemos obtenido en realidad es vlido nicamente para los elementosdiagonalesde los
productos matriciales resultantes, los que van puestos en el renglnny en la columnande
ladiagonal principalde las matrices resultantes. Y los dems elementos, los elementos no
diagonales?
Tras haber obtenido su extraa ecuacin, Born conjetur que sta debera ser vlida tambin
para los elementos no diagonales, como nos lo menciona l mismo en las palabras suyas que han
sido citadas arriba. Y no llev mucho tiempo el comprobar que as era, en efecto.
En la obtencin de la extraa ecuacin de Max Born, se han utilizado lascoordenadas
generalizadaspropias de la mecnica clsica. El haber obtenido un resultado que ha sido
confirmado cientos de miles de veces en los ms extenuantes y sofisticados experimentos de
laboratorio a partir de definiciones clsicas nos puede llevar a sospechar que mucho de lo que se
ha desarrollado dentro de la mecnica clsica (especficamente, la mecnica Lagrangiana y la
mecnica Hamiltoniana) tendr muchas contrapartes en la Mecnica Matricial. Y Max Born fue
uno de los primeros que descubri que as era, en efecto. Sin embargo, hay una diferencia
fundamental entre la mecnica matricial cuntica y la mecnica clsica. Mientras que en la
segunda manejamos exclusivamente funciones continuas suaves, en la mecnica matricial
en donde:
Born comprob, mediante la extremalizacin de la traza del Lagrangiano matricial (los elementos
diagonales) que utilizando la definicin aceptada -para funciones matriciales- de la derivada de
una matriz con respecto a otra matriz se obtenan las siguientes dos ecuaciones matriciales del
movimiento:
Este tipo de analogas nos permiten suponer que si partimos de los resultados de la mecnica
clsica convencional, podemos obtener muchos resultados tiles y vlidos dentro de la Mecnica
Matricial. Sin embargo, es prudente tener cuidado en los cambios que se pueden suscitar, porque
aunque las ecuaciones de Hamilton trabajan bien para la mecnica clsica no se les puede traducir
ciegamente hacia la Mecnica Cuntica por el simple hecho de que mientras que en la mecnica
clsica se pueden conocer simultneamente la posicin exacta y el momentum exacto de cualquier
objeto, en la Mecnica Clsica no es posible lograr tal cosa cuando se trata de partculas atmicas
y sub-atmicas, lo cual implica que no es posible el poder especificar el momentum de una
partcula en funcin de su momentum, o sea no es posible escribir algo que se pueda leer
comop(q).
Despus de leer el papel original de Heisenberg publicado en julio de 1925, en el otoo del mismo
ao el fsico-matemtico Paul Adrien Maurice Dirac trabajando desde Cambridge record que ya
haba visto dentro de la mecnica clsica algo parecido a la no-conmutatividad que apareca en la
nueva Mecnica Cuntica. Este algo eran loscorchetes de Poisson(Poisson brackets). Dadas
dos funciones F y G que dependen de las coordenadas generalizadas de la posicin q y de los
momentums p as como del tiempo:
F = F(q , p , t)
G = G(q , p , t)
se define un corchete de Poisson de la siguiente manera:
Esto demuestra que el corchete de Poisson no obedece la regla de conmutatividad del lgebra
ordinaria.
PROBLEMA:Demostrar la propiedad distributiva para los corchetes de Poisson:
[F1+ F2 , G] = [F1, G] + [F2 , G]
Nuevamente, recurrimos a la definicin del corchete de Poisson:
Simplificando:
Finalmente:
[F1+ F2 , G] = [F1, G] + [F2 , G]
PROBLEMA:Recurriendo a las ecuaciones clsicas de Hamilton definidas arriba, demustrese
que:
Puesto que los momentums generalizados son una cosa distinta a las coordenadas generalizadas,
se tiene entonces:
pk/q = 0__para todo k y
con lo cual lo escrito en rojo arriba es igual a cero, resultndonos en:
[p k, p j ] = 0
PROBLEMA:Mediante los corchetes de Poisson, demustrese que:
[q k, q j ] = 0
De acuerdo a la definicin de los corchetes de Poisson, tenemos lo siguiente:
Puesto que las coordenadas generalizadas son una cosa distinta a los momentums, se tiene
entonces:
qk/p = 0__para todo k y
con lo cual lo escrito en rojo arriba es igual a cero, resultndonos en:
[q k, q j ] = 0
De nueva cuenta, puesto que los momentums generalizados son una cosa distinta a las
coordenadas generalizadas, se tiene entonces:
qk/p = 0__y__pj /q ___ para todo k, j y
con lo cual lo que se ha destacado arriba en rojo se cancela, ms no as el primer trmino, en
donde usando el delta de Kronecker se ha resumido el hecho de que las componentes de las
coordenadas generalizadas y los momentums generalizados son medidos a lo largo de
coordenadas ortogonales independientes (en coordenadas rectangulares Cartesianas, esto significa
que x/y y z/x, por ejemplo, son iguales a cero):
qm/q n = 1__para m = n
qm/q n = 0__para m n
qm/q n = mn
y:
pm/p n = 1__para m = n
pm/p n = 0__para m n
pm/p n = mn
Juntando ambos deltas de Kronecer en uno solo, se concluye que:
[q k, p j ] = kj
La analoga de la no-comutatividad entre la extraa ecuacin obtenida por Max Born y la noconmutatividad de los corchetes de Poisson fue lo que llev a Dirac a tomar la relacin de Born:
De los corchetes de Poisson es posible obtener otras relaciones que pueden ser traducidas
ventajosamente de inmediato a la Mecnica Cuntica, entre ellas:
[A,A] = 0
[A,[B,C]] + [B,[C,A]] + [C,[A,B]] = 0 (Identidad de Jacobi)
en donde nuevamente hemos utilizado en la ltima expresin los corchetes propios del
anticonmutador (los cuales no deben ser confundidos en ningn momento con los corchetes de
Poisson).
PROBLEMA:Sabiendo que en la mecnica clsica, para una funcin F(p,q) que no depende
explcitamente del tiempo, la siguiente relacin es vlida:
Esta resulta ser una relacin muy importante que amerita el ser estudiada por separado, mejor
conocida como laecuacin del movimiento de Heisenberg.