You are on page 1of 32

)

LOS MODELOS MATEMTICOS


DE LA MECNICA CUNTICA
Fernando Rombal
Departamento de Anlisis Matemtico
Universidad Complutense de Madrid
1.- INTRODUCCIN
Las Teoras Fsicas tienen su origen en la observacin experimental y persi-
guen establecer un marco que permita dar una explicacin razonable y lo ms
exacta posible de los hechos observados. Habitualmente, a partir de Galileo y
Newton, una teora fsica se plasma en un modelo matemtico, es decir, en pala-
bras de Pierre Duhem, "un sistema de proposiciones matemticas cuyo objeti-
vo es representar tan simple, completa y exactamente como sea posible un con-
junto de leyes experimentales."
Sin embargo, para muchos filsofos de la ciencia, el valor de una teora
cientfica no se mide tanto por la fidelidad con que representa una clase dada de
leyes empricas, sino por su poder predictivo de descubrir hechos an descono-
cidos (que, a su vez, deben ser refrendados por la observacin.)
A finales del siglo XIX, la Mecnica clsica, creada por Newton en el siglo
XVII, complementada por la Electrodinmica clsica, finalizada por Maxwell en
la segunda mitad del siglo XIX, proporcionaba un marco totalmente satisfacto-
rio para la comprensin del mundo macrocsmico.
A comienzos del siglo XX, con el aumento de precisin en los instrumentos
de medida y la posibilidad de realizar experimentos ms y ms complejos, los
115
SEMINARIO ROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
fsicos empezaron a examinar los fenmenos que tenan lugar en condiciones
poco usuales: a velocidades muy altas o a escala microscpica. Y entonces
comenzaron a surgir discrepancias con las predicciones proporcionadas por la
Fsica clsica, que motivaron una profunda revisin de sus fundamentos, dando
origen a las dos grandes teoras fsicas de este siglo: la Teora de la Relatividad
y la Mecnica Cuntica. Pero as como la primera es, fundamentalmente, el des-
cubrimiento de un slo hombre, Albert Einstein, quien formul no slo los prin-
cipios fundamentales de la misma, sino el modelo matemtico bsico para su
desarrollo, el desarrollo de la Mecnica Cuntica se debe al esfuerzo y colabo-
racin de una serie de investigadores, cada uno de los cuales ha contribuido en
una parte esencial y ha utilizado para ello el trabajo de los dems. Las razones
son varias, y a exponer alguna de ellas estara dedicada el resto de esta sec-
cin.
Como hemos dicho, la Mecnica Cuntica trata de describir con precisin
los acontecimientos en la escala atmica y su desarrollo ha dependido en gran
medida de la exactitud de los resultados numricos obtenidos en las observacio-
nes de los fenmenos del microcosmos. Las discrepancias con la Fsica clsica
que se fueron poniendo de manifiesto eran esencialmente de dos tipos. Por un
lado, se descubri que ciertas variables fsicas slo tomaban valores discretos o
cuantizados, en contraste con la variacin continua de valores que se desprenda
de la interpretacin clsica. As, por ejemplo, Max Planck, para explicar el
espectro observado de intensidades de la radiacin electromagntica procedente
del interior de una cavidad a temperatura constante (radiacin del cuerpo negro)
se vio precisado en 1900 a admitir que cada oscilador atmico de las paredes de
la cavidad radiaba energa solamente en cantidades discretas, iguales a hv ,2hv,
3hv, ... , donde h es una constante universal (constante de Planck) y ves la fre-
cuencia intrnseca del oscilador radiante. Del mismo modo, Niels Bohr, en 1913,
tuvo que postular que el momento cintico de los electrones orbitales del tomo
de hidrgeno excitado slo poda tomar los valores discretos h/21t, 2h/21t ,...
Otros ejemplos de estos efectos cunticos se fueron descubriendo a lo largo
del primer cuarto de este siglo. Su justificacin mediante la cuantizacin de la
variable fsica pertinente, supona una hiptesis sin precedentes en el marco de
la Fsica clsica.
La cuantizacin de las variables fsicas conlleva aceptar que, a nivel micro-
csmico, los fenmenos tienen lugar de manera esencialmente discontinua e
imprevisible. Las implicaciones de este hecho iban a hacer tambalear las ideas
previas sobre la realidad fsica. As H. Poincar, a su regreso del Congreso
Solvay de 1911 en Bruselas, escribi: "... Parece innecesario sealar cmo estas
ideas (se refiere a la hiptesis de Planck) difieren de las concepciones tradicio-
116
Los MODELOS MATEMTICOS DE LA MEC ICA CUNTICA
nales; los fenmenos fsicos dejaran de obedecer a leyes expresables por ecua-
ciones diferenciales y esto, indudablemente, sera la mayor y ms radical revo-
lucin en la filosofa natural desde los tiempos de Newton." De modo anlogo,
en sus Dernieres Penses, seis meses antes de su muerte, Poincar declaraba:
"Nos preguntamos ahora no slo si las ecuaciones diferenciales de la dinmica
deben modificarse, sino incluso si las leyes del movimiento pueden an expre-
sarse por medio de ecuaciones diferenciales... Se est cuestionando si no sera
necesario introducir discontinuidades en las leyes naturales, no slo aparentes,
sino esenciales." Parece claro que la pregunta de Poincar sobre si las ecuacio-
nes diferenciales son o no el instrumento adecuado para la formulacin mate-
mtica de las leyes fsicas no es ms que el modo en que un matemtico expre-
sa sus dudas sobre la validez del principio de causalidad.
El otro tipo de dificultades que apareci al estudiar el mundo microscpico
se refera a la distincin entre ondas y partculas. As, al principio se pens que
la luz se comportaba como una lluvia de corpsculos, como gotas de agua. Al
continuar las observaciones, qued claro que la luz se comportaba en realidad
como una onda, similar a las ondas del agua, por ejemplo. Sin embargo, en 1905
Albert Einstein present su teora del efecto fotoelctrico, que propugnaba que
un rayo de luz de frecuencia v se comporta como si fuese una coleccin de par-
tculas (fotones), cada una de las cuales tuviese una energa e =hv. La hiptesis
de Einstein fue confirmada enseguida por estudios experimentales precisos, y
respaldada espectacularmente en 1923 al demostrar A. H. Compton que los foto-
nes podan hacer saltar electrones, de acuerdo con las reglas usuales de la
Mecnica clsica. Por otro lado, cuando se descubrieron los electrones, se com-
portaban simplemente como partculas, minsculas balas tremendamente velo-
ces. Sin embargo, en 1927 C. Davisson y L. Germer mostraron que los electro-
nes se difractaban a travs de una red cristalina, comportndose como una onda,
con longitud de onda A=hlp, siendo p la cantidad de movimiento del electrn.
De esta manera se confirmaron experimentalmente las ideas de L. de Broglie y
E. Schrbdinger de asignar paquetes de ondas a partculas materiales. As pues,
una vez ms la fsica se enfrentaba al dilema de elegir entre dos concepciones
contradictorias, cada una de las cuales pareca ser igualmente demostrable. Un
tipo de experimentos requeran la interpretacin ondulatoria, y otros la interpre-
tacin corpuscular.
Para intentar resolver esta serie de hechos confusos y a veces contradicto-
rios, entre 1925 y 1930 se establecieron los cimientos tericos de lo que hoy
conocemos como Mecnica cuntica. Hay que decir que, a diferencia de otras
grandes teoras fsicas, los modelos matemticos propuestos y su posterior inter-
pretacin, fueron muy diversos. En muchos casos, como veremos, las matem-
ticas empleadas eran claramente insatisfactorias y en absoluto rigurosas, lo que
117
SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
motiv en parte el desarrollo de algunas de las ramas ms activas e interesantes
de las Matemticas de este siglo.
Como consecuencia de todo ello, la imagen de la realidad microfsica cam-
bi radicalmente. El comportamiento de las cosas a escala microcsmica es,
simplemente, distinto al que estamos habituado. Un tomo no se comporta
como un muelle oscilando, ni como un sistema solar en miniatura, ni como
algn tipo de nube rodeando el ncleo. Sin embargo, al menos podemos decir
que, en este aspecto, todas las partculas subatmicas se comportan igual.
Citando a Feynman, "todas estn chifladas, pero exactamente de la misma mane-
ra" ([Fe1]).
2.- LAS LEYES DE LA CAUSALIDAD Y EL PRINCIPIO
DE COMPLEMENTARIEDAD.
EL PRINCIPIO DE INCERTIDUMBRE
En la Mecnica clsica, el estado instantneo de un sistema mecnico queda
determinado por los valores de ciertas variables observables (por ejemplo, la
posicin y la cantidad de movimiento en el caso de una partcula movindose a
lo largo de una recta).
La medida de un observable A es una operacin fsica bien definida, el valor
de A, que proporciona un nmero real. La evolucin temporal del sistema est
regida por la funcin de Hamilton del mismo, que es una funcin conocida de
los observables y por tanto se puede, al menos tericamente, predecir con exac-
titud esa evolucin temporal. La definicin clsica del estado de un sistema
mecnico, presupone tcitamente que:
1.- Las variables observables tienen valores precisos, bien definidos en cada
instante.
2.- Siempre es posible, al menos en principio, medir dichos valores sin per-
turbar apreciablemente el sistema.
Obviamente, las limitaciones de los instrumentos de medicin y de los pro-
pios experimentadores hacen que (1) no se cumpla en la prctica, pero se admi-
te que los valores de la variables observables se pueden conocer con tanta pre-
cisin como se quiera.
Por otro lado, en cuanto a (2), la interpretacin clsica admite que la inte-
raccin entre el fenmeno observado y los aparatos de medida se puede distin-
guir claramente mediante un anlisis conceptual adecuado, de modo que se
118
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
pueda deducir la perturbacin realizada al medir, lo que proporciona una (teri-
camente) completa y exacta descripcin del fenmeno observado.
Como consecuencia de este anlisis, el principio de causalidad debe enten-
derse en el sentido de que se puede predecir el estado futuro de un sistema fsi-
co con una probabilidad tan prxima a 1 como se quiera, mediante un anli-
sis suficientemente elaborado del fenmeno observado.
Pues bien, la Mecnica cuntica, en su formulacin ms ampliamente acep-
tada, niega la validez general de las hiptesis (1) y (2) y, en consecuencia, el
principio de causalidad.
En el Congreso Internacional de Fsica celebrado en Como (Italia), en
1927, Niels Bohr dio una conferencia titulada "El Postulado Cuntico y el
desarrollo reciente de la Teora Atmica." Su punto de partida era que "la esen-
cia de la teora cuntica puede expresarse por el llamado postulado cuntico,
que atribuye a cualquier proceso atmico una discontinuidad esencial... Segn
este postulado, los intercambios de energa tienen lugar slo en pasos discretos
de tamao finito..." (indivisibilidad del cuanto de accin). Como consecuencia,
se produce una interaccin incontrolable entre el objeto y los instrumentos de
medida que obliga a abandonar la descripcin causal de la fsica clsica. En
palabras del propio Bohr: "Por un lado, la definicin del estado de un sistema
fsico, tal que como se entiende ordinariamente presupone la eliminacin de
todas las perturbaciones externas. Pero en tal caso, segn el postulado cunti-
co, ninguna observacin sera posible y los conceptos de espacio y tiempo pier-
den su sentido inmediato. Por otro lado, si para hacer posibles las observacio-
nes permitimos ciertas interacciones con mecanismos de medida adecuados, no
pertenecientes al sistema, ya no es posible una definicin sin ambigedad del
estado del sistema y no puede hablarse de causalidad en el sentido ordinario de
la palabra."
Esta cita de Bohr contiene la esencia del llamado principio de complemen-
tariedad: la imposibilidad de llevar a cabo una descripcin causal de los fen-
menos atmicos que sea, al mismo tiempo, una descripcin espacio temporal.
Las descripciones usuales espacio-temporales y causales de la fsica clsica son
posibles debido al valor extremadamente pequeo del cuanto de accin, com-
parado con las acciones que se dan en la macrofsica.
Algunos aos antes de la conferencia de Bohr, en un artculo aparecido en
Nature en 1923, C. G. Darwin haba propuesto una solucin para reconciliar los
fenmenos de dispersin ptica con la teora de los cuantos, basada en la exten-
sin del aparato conceptual de la fsica terica: "Debe aceptarse como absoluta-
mente cierto que tanto la teora a electromagntica como la teora cuntica son
vlidas en sus respectivos campos, e igualmente cierto que las dos descripciones
son incompatibles.
119
SEMINARIO "OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
Slo cabe concluir que ambos son partes de un sistema ms general, que
debera proporcionar frmulas matemticas idnticas a las de la teora actual."
No est claro si Darwin propugnaba una sntesis de las dos concepciones anta-
gnicas, onda y partcula, a un nivel superior, o si se refera simplemente al esta-
blecimiento de un formalismo matemtico abstracto que englobara a la mec-
nica cuntica y la teora ondulatoria. En todo caso, la propuesta de Darwin hubo
de esperar hasta que investigaciones posteriores, tanto tericas como experi-
mentales, abrieran el camino al concepto de una entidad que se manifiesta como
onda o como partcula, dependiendo de las condiciones experimentales bajo las
que se observa. El desarrollo de esta concepcin de la realidad fsica es el con-
tenido esencial del Principio de Complementariedad de Niels Bohr. Como ya
dijimos, el principio afirma que no pueden utilizarse simultneamente descrip-
ciones en trminos de coordenadas espacio-temporales y descripciones en tr-
minos de transferencia de energa o momento, ya que ambas requieren disposi-
ciones experimentales mutuamente excluyentes. Ambas descripciones (llamadas
por Bohr complementarias), aunque mutuamente excluyentes, son sin embargo
necesarias para una descripcin completa de la situacin fsica. La posibilidad
de emplear nociones mutuamente contradictorias para describir una misma
situacin fsica, proviene segn Bohr de la imposibilidad de separar en el
mundo atmico (debida a las interacciones regidas por el postulado cuntico,
que no pueden aqu despreciarse, como ocurre en la fsica clsica) el sistema de
los efectos de los instrumentos de medida, cuyo comportamiento debe expresar-
se en trminos clsicos. Al expresar los resultados de tales mediciones en dife-
rentes experimentos, se puede describir un sistema atmico en trminos clsi-
cos complementarios.
Un poco antes, en febrero de 1927, se haba producido un hito fundamental
en el desarrollo de la Mecnica cuntica: la formulacin por Heisenberg del
llamado Principio de Incertidumbre. Los dos aos anteriores haban sido cru-
ciales para la formalizacin del aparato matemtico de la Mecnica cuntica: En
1925, Heisenberg haba desarrollado su "Mecnica de Matrices" y en 1926
SchrOdinger haba establecido el formalismo de la "Mecnica Ondulatoria" (Cfr.
Seccin siguiente). El problema pendiente era la clarificacin de una interpreta-
cin adecuada de ambos formalismos en funcin de los datos experimentales. La
interpretacin de Schrodinger de los fenmenos atmicos a travs de "paquetes
de onda", permita concebir los fenmenos observados (cuantizacin, existencia
de niveles discretos de energa) en trminos de frecuencias y fenmenos de
interferencia, sin postular los "saltos cunticos", volviendo as a las concepcio-
nes ms clsicas de una realidad continua.
Por el contrario, la interpretacin del formalismo dada por Heisenberg y
Bohr, exiga un cambio radical en las concepciones habitualmente aceptadas de
120
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
la realidad fsica. El formalismo de la "Mecnica de matrices" de Heisenberg
no admita, segn l, las descripciones usuales espacio-temporales y las cone-
xiones causales de los fenmenos fsicos. Y, sin embargo -sealaba
Heisenberg-las descripciones y nociones intuitivas de la Fsica clsica se haba
aplicado indiscriminadamente a la Mecnica cuntica. Esta disparidad entre el
formalismo y las concepciones intuitivas tenan forzosamente que originar
serias dificultades. Como quiera que todas nuestras conceptualizaciones estn
inseparablemente ligadas a las descripciones espacio-temporales, Heisenberg
no vio otra alternativa para salvar estas dificultades que mantener las nociones
clsicas intuitivas, pero restringiendo su aplicabilidad. Tras una profunda refle-
xin sobre estos problemas, present a finales de marzo de 1927 al editor del
Zeitschrift jr Physik su trabajo sobre los contenidos intuitivos de la cinemti-
ca y mecnica cuntica, en el que presentaba su famoso Principio de
Incertidumbre. Segn Heisenberg, "todos los conceptos que se usan en la teo-
ra clsica para describir un sistema mecnico, pueden tambin definirse exac-
tamente en los procesos atmicos". Pero definir un concepto significa prescri-
bir un proceso de medida de la cantidad referida por el concepto y "todos los
experimentos que conducen a tales definiciones, necesariamente conllevan una
incertidumbre cuando tratan de determinar simultneamente dos variables
cannicamente conjugadas." Como ejemplo de tales pares conjugados,
Heisenberg considera la posicin q y el momento p de un una partcula, esta-
bleciendo la famosa frmula
8q8p =h/2rc
segn la cual el producto de las imprecisiones en la medicin simultnea de q y
p es una constante, de modo que "cuando ms precisa sea la determinacin de la
posicin, menor ser la precisin con que se conozca el momento, y recproca-
mente." Anloga relacin se tiene para el tiempo t y la energa E. Es precisa-
mente esta incertidumbre, segn seala Heisenberg, la que hace posible el uso
de las nociones clsicas (que corresponderan an ah =O) en el mundo micros-
cpico.
Por otro lado, estos resultados conducen a Heisenberg a rechazar la forma
fuerte del principio de causalidad, resumida en la afirmacin de que el conoci-
miento exacto del presente, permite predecir el futuro. Segn seala Heisenberg,
"no es la conclusin, sino la hiptesis la que es falsa." Y concluye:" ... podra-
mos preguntarnos si tras el universo estadstico de las percepciones no se ocul-
ta un mundo "real" regido por la ley de la causalidad. Tales especulaciones nos
parecen intiles y carentes de sentido, pues la fsica tiene que limitarse a la des-
cripcin de las relaciones entre percepciones."
121
SEMINARIO ROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
Notemos que tanto Heisenberg como Bohr coincidan en que cualquier
interpretacin del formalismo de la Mecnica cuntica, debera hacer uso de la
terminologa de la fsica clsica. Pero mientras que Heisenberg admita que tanto
el lenguaje corpuscular como el ondulatorio (y cualquiera de ellos, indepen-
dientemente del otro), podan emplearse para proporcionar una descripcin
ptima del fenmeno (dentro de las limitaciones, formuladas matemticamente
por el principio de incertidumbre), Bohr insista en la necesidad de usar ambos
lenguajes para obtener una descripcin completa.
Los Principios de incertidumbre y de complementariedad tienen profundas
consecuencias sobre los aspectos ontolgicos de la realidad fsica. Por ejemplo, la
alteracin producida en un electrn al iluminarlo por un microscopio de rayos X
para determinar su posicin, no tendra mayores consecuencias si se pudiera infe-
rir la posicin y el momento del electrn a partir de los datos observables, por una
teora que tuviera en cuenta todos los factores relevantes, como la presin de la
luz, etc. El significado del principio de indeterminacin es, precisamente, la afir-
macin de que una tal teora correctiva de los efectos de la medicin en microfi-
sica es imposible. El fenmeno fsico, junto con el observador y los mecanismos
de observacin, forman un sistema nico e indivisible, que no es susceptible de un
anlisis ulterior a nivel cuntico. El estado de un sistema S depende no slo de
S, sino de la disposicin experimental concreta en que nos encontremos.
Algunas interpretaciones son an ms extremas. As, Pascual Jordan decla-
r que las observaciones no slo alteraban lo que iba a ser medido, sino que lo
originaban. En la medicin de la posicin de un electrn, realizada por ejemplo
con el microscopio de rayos X, "el electrn es forzado a asumir una posicin
definida; previamente no estaba, en general, all o aqu ... Si mediante otro expe-
rimento se mide la velocidad del electrn, se le obliga a decidirse por un valor
exacto, que es el que observamos. En tal decisin, la tomada anteriormente acer-
ca de la posicin, es completamente eliminada." Y afirma "Nosotros mismos
producimos los resultados de las mediciones." (Die Quantenmechanik und die
Grundprobleme der Biologie und Psychologie, Die Naturwissesnschaften 20
(1932),815-821).
3.- EL FORMALISMO MATEMTICO
DE LA MECNICA CUNTICA
A pesar de su nombre altisonante y sus grandes xitos, la teora cuntica
antes de 1925 era, desde el punto de vista metodolgico, un confuso batiburri-
llo de hiptesis, principios, teoremas y recetas de clculo. Cada problema deba
primero resolverse en trminos de la fsica clsica para despus traducir la
122
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
~ t
----
solucin clsica al lenguaje cuntico por medio de las misteriosas reglas de las
condiciones de cuantizacin o cualquier otra "receta", entre las que destaca el
llamado principio de correspondencia de Bohr. La idea general del mismo es
que la Mecnica Cuntica debe contener a la Clsica como caso lmite (en ana-
loga a lo que sucede en la Teora de la Relatividad.) Esta idea ya la haba
expuesto Planck en 1906, al afirmar que las conclusiones de la Mecnica
Cuntica convergen a los resultados previstos por la teora clsica, al hacer h
tender a O. La observacin de Bohr es que lo mismo sucede si h se mantiene
constante, pero la frecuencia v tiende a O. Demandando que esta corresponden-
cia entre el formalismo clsico y el cuntico se cumpla aproximadamente en
todos los casos, se obtiene una regla que indica el camino a tomar para, partien-
do de la formulacin clsica, llegar a los resultados de la Mecnica Cuntica. En
todo caso, encontrar la "traduccin correcta" era un asunto de habilidad e intui-
cin, en lugar de un razonamiento deductivo y sistemtico. Es decir, la teora
adoleca de la falta de un modelo matemtico adecuado.
En esta lnea, analizando los fenmenos de interaccin entre electrones,
Born plante en su trabajo On Quantum Mechanics, en Junio de 1924, la nece-
sidad de desarrollar un programa que permitiera la transicin del tratamiento
dado por la mecnica clsica a lo que l llam "Mecnica Cuntica", y sugiri
que esta transicin poda obtenerse, aplicando el principio de correspondencia de
Bohr, reemplazando una cierta diferencial por una diferencia.
En la fsica clsica, cualquier cantidad dependiente del tiempo fn =fn(t) se
(admite que se) puede representar por un desarrollo de Fourier
f,,(t) =Lf(n,k) =Lx(n,k)exp{2niv(n,k)t} (#)
k k
donde el k-simo componente f(n,k) tiene la amplitud x(n,k) y la frecuencia
v(n,k) =kv (n,l) =kv, siendo v la frecuencia fundamental (igual a la derivada del
hamiltoniano H del sistema con respecto a la variable de accin J =nh). Segn
el principio de correspondencia de Bohr, la frecuencia cuntica vn,n-k correspon-
diente a la transicin de un estado estacionario caracterizado por el nmero
cuntico n al estado estacionario caracterizado por el nmero cuntico n' =n-k
coincide, para n grande y k pequeo, con la frecuencia clsica v(n,k). Pero segn
el postulado cuntico, esta frecuencia cuntica debe ser igual a la diferencia de
energas en ambos estados:
v = H(nh)-H((n-k)h] =k
dH
= ~ aH =kv
n,n-k h dJ h an
Generalizando esta relacin, Born postul que para cualquier funcin arbi-
traria <1>( n) definida para estados estacionarios, la diferencial k( .KI>( n) / an] debe-
123
SEMI ARIO "OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
ra sustituirse por la diferencia <1>( n) - <1>( n-k) o, en smbolos
kI>(n)
k-- H <1>(n) - <1>(n - k)
dn'
Esta receta para transformar frmulas clsicas en sus anlogos cunticos,
jugara un papel fundamental en el descubrimiento de la Mecnica de matrices.
La Mecnica de Matrices.
Influenciado por sus maestros Sornmerfeld (de mentalidad terico-analtica)
y Bohr (ms sinttico y menos formalista), Werner Heisenberg consider la posi-
bilidad de desarrollar el esquema matemtico de una nueva teora de la mecni-
ca, que eliminara la apelacin sistemtica a la intuicin y al uso de tcnicas
coyunturales para cada tipo de problema. El invierno de 1923124 lo pas
Heisenberg en Gbttingen, conociendo de primera mano el trabajo de Born, que
le influy decisivamente. En Mayo de 1925, mientras se repona de un fuerte
ataque de fiebre del heno en la isla de Heligoland, escribi su famoso trabajo
"Sobre una interpretacin terico-cuntica de las relaciones cinemticas y mec-
nicas" (ber quantentheoretische Umdeutung kinematischer und mechanischer
Beziehungen, Zeitschrift fr Physik 33 (1925), 879-% 893; Cfr. [VW]). A su
regreso a Gbttingen, tras consultar con Pauli, a mediados de julio present su
trabajo a Born, quien inmediatamente reconoci su importancia y lo envi al edi-
tor del Zeitschrift fr Physik.
Partiendo de la idea de Born, de asociar en la ecuacin (#) a la frecuencia
clsica v(n,k) la frecuencia cuntica v n n-k> Heisenberg postul que tambin a la
amplitud clsica x(n,k) corresponda una cantidad terico-cuntica xn.n-k Ypro-
puso que el conjunto {Xn.n_kexP (21t iVn.n_kt)} se tomara como el equivalente te-
rico cuntico de la cantidad clsica fn(t). As, las variables cunticas quedan
representados por los conjuntos discretos de nmeros complejos (xn.n-k) y
(Vn.n-k), correspondientes a los posibles estados cunticos. Del comportamiento
de los coeficientes de Fourier en (#), junto con la regla de combinacin de fre-
cuencias, deduce una serie de propiedades de las cantidades cunticas introduci-
das (p. ej., x
n
.
n
-
k
=x:_
k
.
n
, v
n
-
k
.
n
=-vn,n_k,etc) Ylas reglas algebraicas de manipu-
lacin. Por ejemplo, obtiene inmediatamente que si J,,2 H
entonces
X(2) = X X
n,n-k L., n,n- j n- j,n-k
j
124
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
Generaliza inmediatamente la frmula anterior para el caso de j,,3 y para el
producto de dos cantidades in gn' siendo gn ~ {Yn,n_kexP(27livn,n_kt)} obteniendo
la regla de multiplicacin
Zn,n-k =L,xn,n-jYn-j,n-k
j
En particular, el nuevo producto es no conmutativo en general. Una vez
desarrollado este formalismo, lo aplica a la discusin de algunos problemas
"mecnicos", transformando las ecuaciones clsicas de movimiento en condi-
ciones que deben satisfacer las nuevas "amplitudes de transicin" xn,n-k'
El trabajo de Heisenberg tuvo, al comienzo, una fra acogida. La mayor
parte de los fsicos no se encontraban a gusto no slo con las nuevas matemti-
cas que aparecan, sino con las implicaciones fsicas, e incluso filosficas de las
ideas all contenidas. Sin embargo, hubo excepciones. As Bohr, en el VI
Congreso Escandinavo de Matemticas, celebrado en Copenhague en Agosto de
1925, calific el trabajo de Heisenberg como sobresaliente, y expres su con-
vencimiento de que "una nueva era de mutua estimulacin entre la mecnica y
las matemticas ha comenzado."
El mismo Born, segn reconoci en su discurso de aceptacin del Premio
Nobel en 1954, qued sorprendido e impresionado por la representacin de
Heisenberg de cantidades fsicas por "conjuntos" de nmeros complejos depen-
dientes del tiempo, con la peculiar regla de multiplicacin. Tras una semana de
intensa concentracin, Born reconoci que la multiplicacin definida por
Heisenberg, no era otra cosa que la regla para obtener el producto de dos matri-
ces!. En la poca a que nos referimos, los fsicos apenas manejaban las matrices
(ni siquiera las finitas), por lo que no es extrao que nadie hubiera cado en esa
interpretacin. El siguiente comentario de Heisenberg, contenido en una carta a
Jordan, ilustra bien esta situacin. Dice Heisenberg: "Ahora los ilustrados mate-
mticos de Gottingen hablan mucho de matrices Hermitianas, pero yo ni
siquiera s lo que es una matriz." Tambin es interesante el testimonio, recogi-
do por E.U. Candan, que visit Munich y Gottingen en 1926: "Hilbert se ri
mucho de Born y Heisenberg porque, cuando descubrieron la mecnica de
matrices, se encontraron con el mismo tipo de dificultades que, por supuesto,
todo el mundo encuentra al manipular y tratar de resolver problemas con matri-
ces [infinitas]. Cuando fueron a pedir ayuda a Hilbert, ste les dijo que las ni-
cas veces que haba tenido que ver con matrices fue cuando estas aparecan
como subproducto del estudio de autovalores de una ecuacin diferencial con
condiciones de contorno. Les sugiri que si encontraban la ecuacin diferencial
que originaba esas matrices, probablemente obtendran ms informacin.
125
SEMI ARIO OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
Heisenberg y Boro pensaron que era un comentario para salir del paso, y que
Hilbert no saba realmente de lo que estaba hablando. As que ms tarde Hilbert
se divirti mucho, indicndoles que podan haber descubierto la mecnica ondu-
latoria de Schrodinger seis meses antes que ste, si le hubieran hecho caso."
Siguiendo con la historia, cuando Boro descubri que las "amplitudes de
transicin" de Heisenberg se comportaban como matrices infinitas, trat de bus-
car alguien cualificado para que le ayudara, sin demasiado xito. Pero un da,
viajando en tren a Hanover, coment con un colega las grandes dificultades que
encontraba con el clculo de matrices. Por una afortunada coincidencia, se
encontraba en el mismo compartimento Pascual Jordan, colaborador de Courant
en su monumental obra Mtodos de la Fsica Matemtica y experto en teora de
matrices.
En la estacin de Hanover, Jordan se present a Boro y le su cola-
boracin.
Este fue el comienzo de una fructfera colaboracin que condujo a la publi-
cacin del trabajo fundamental "Sobre la Mecnica cuntica" (Zur
Quantenmechanik, Zeits. fr Physik 34 (1925),858-888; Cfr. [VW]), la primera
formulacin rigurosa de la mecnica matricial.
El trabajo de Boro y Jordan est dividido en 4 captulos. El primero contie-
ne los teoremas necesarios de la teora de matrices, mientras que el segundo con-
tiene los fundamentos de la dinmica cuntica para sistemas con un grado de
libertad. En l aparece por primera vez lo que posteriormente se conocera por
la relacin de conmutacin en mecnica cuntica. Veamos el argumento: En pri-
mer lugar, representan la coordenada clsica q (que antes hemos designado por
x) por una matriz q = y el momento p tambin por una ma-
triz p ={Pmnexp(2nivmnt)1 ' sujetas a las reglas de las cantidades cunticas de
Heisenberg (v
mn
=-vnm,q:+k,n =qn,n+k' etc.) . En particular, resulta que tanto p
como q son matrices hermticas. Partiendo entonces de la condicin cuntica
,( r
liv
nh =J =j pdq =Jo pq' dt
y desarrollando p y q en serie de Fourier,
p =LP(n,k)exp(2niv(n,k)t);q q =Lq(n,k)exp(2niv(n,k)t)
k k
se obtiene, por simple integracin (formal):
nh =-2niLkp(n,k)q*(n,k)
k
126
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
(donde se ha usado que q(n, -k) =q *(n, k) . Derivando (formalmente) respecto
de n, se obtiene
=-
2m k an
Si ahora utilizamos la "regla de correspondencia de Boro"

k-- <I>(n) - <I>(n - k)
an
obtenemos (aplicando que, para las cantidades cunticas, la regla es q:+k,n =qn,n+k) :
De esta manera, se prueba que la igualdad matricial
h
pq-qp= 2n/
(*)
se cumple para los elementos de la diagonal principal. Boro conjetur
que tambin se cumpla a la igualdad para los elementos no diagonales, lo que
fue demostrado por Jordan, probando a partir de las ecuaciones can-
nicas del movimiento, que la matriz d=pq-qp ={d
mn
exp(2niv
mn
t)} cumpla
d' = 0= {2nivmndmnexp(2nivmnt)} y que ello implicaba, puesto que vmn "* O para
m "* n ,que d era una matriz diagonal. Como hemos visto, que los elementos de
la diagonal son iguales a hl21ti lo obtuvo Boro como consecuencia del principio
de correspondencia. (*) es la nica ecuacin fundamental en que aparece h, y
segn hemos visto ello es consecuencia del principio de correspondencia. Es
pues la forma en que el postulado cuntico se introduce en el formalismo. En
el trabajo, Boro y Jordan llaman a esta ecuacin la "condicin cuntica exacta"
y ya reconocieron su status axiomtico dentro de la teora.
Al regreso de sus vacaciones de verano, Boro continu su trabajo con
Jordan y, por correspondencia, tambin con Heisenberg, y a mediados de
Noviembre el famoso trabajo de Boro-Heisenberg-Jordan "Sobre Mecnica
cuntica 11" (Zur Quantenmechanik /l, Zeits. fr Physik 35 (1926), 557-616; Cfr.
[VW]) estaba terminado. Adems de extender las aplicaciones fsicas a sistemas
con un nmero finito de grados de libertad, tratamiento de momentos angulares,
intensidades, etc., sobre todo el trabajo establece un mtodo general, lgica-
127
SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
mente consistente, para resolver los problemas de la mecnica cuntica, redu-
ciendo en muchos casos la dificultad a problemas matemticos concretos de la
teora de matrices hermticas infinitas.
Restringindonos, por simplicidad, a la discusin de un sistema dinmico
con un slo grado de libertad, Born, Heisenberg y Jordan (BHJ) postulan la vali-
dez de la "relacin de conmutacin"
h
pq - qp =21ti 1
y a partir de aqu deducen todos los resultados. Primero "prueban" que si f es
una funcin que puede expresarse formalmente como serie de potencias de p y
q, se cumplen las relaciones
h f
pf - fp =21ti dq
(+)
ya que se cumplen para p,q, y las relaciones son estables por sumas y produc-
tos. Despus introducen, como en el caso clsico, una funcin de energa o
Harniltoniano H(p,q), que se supone verifica las correspondientes ecuacio-
nes del movimiento: q' =aH/ ap Yp' =-aH/ dq . Aplicando las ecuaciones (+)
para f =H Y las ecuaciones del movimiento, resulta que tambin se cumple
f' =-(21ti1h) (fH - Hf) para toda f. Haciendo f =H, obtenemos H' =O, es decir
la ley de la conservacin de la energa. Esto prueba tambin, como ya vimos,
que H es una matriz diagonal, donde los elementos diagonales (independientes
del tiempo) Wn se interpretan como la energas del sistema en el n-simo estado
estacionario. La condicin de frecuencia de Bohr v
nm
=(W
n
-Wm)/h resulta inme-
diatamente de la ltima ecuacin, tomando f =q. Adems, continan (BHJ), si,
recprocamente, se parte de una H tal que H' =O Ypodemos encontrar dos
matrices escalares pO y qO verificando la relacin de conmutacin, entonces
y siendo vnm=(Hnn-HmJ/h
satisfacen las ecuaciones cannicas del movimiento. En consecuencia, el proce-
so para resolver las ecuaciones cannicas del movimiento se reduce a encontrar
dos matrices hermticas escalares pO y qO , que satisfagan la relacin de conmu-
tacin, en trminos de las cuales el Hamiltoniano del sistema sea una matriz
diagonal.
Para llevar a cabo este programa, (BHJ) introducen lo que llaman transfor-
maciones cannicas: Dadas p y q satisfaciendo la relacin de conmutacin, una
matriz U es una transformacin cannica si las matrices P =U-lpU, Q=U-lqU
tambin satisfacen esta relacin. Es inmediato que las ecuaciones cannicas del
128
Los MODELOS MATEMTICOS DE LA MECNICA CU TICA
movimiento son invariantes por transformaciones cannicas y que para cual-
quier funcin f, en particular para f =H se tiene H(P,Q) =U-IH(p,q)D. Por
tanto, el problema se resuelve si se encuentra una transformacin cannica que
transforme H en una matriz diagonal W. Para matrices finitas, es bien conoci-
do (como sealan (BHJ que siempre se puede encontrar una transformacin
ortogonal que diagonaliza una matriz hermitiana.
Ms an, los elementos de la diagonal (lo que hoy conocemos como los
autovalores de la matriz) se pueden calcular en trminos de la matriz original,
sin calcular explcitamente la transformacin ortogonal. De la misma forma,
(BHJ) afirman que los elementos diagonales de la matriz W (los valores de la
energa en los distintos estados del sistema) se pueden calcular en trminos de
los elementos de la matriz (en general, no diagonal) H(p,q).
Los resultados matemticos ms relevantes sobre este tipo de problemas,
eran los trabajos que Hiloert haba dedicado entre 1904 y 1910 al estudio de las
ecuaciones integrales. Especialmente importante es el cuarto trabajo (1906), en
el que Hilbert reduce el problema al estudio de las formas cuadrticas del tipo
I . ~ j ~ l aijxx
j
, definidas en el espacio de las sucesiones numricas (x) tales que
I.lxl <00 (esto se debe a que la transformacin de un problema en otro se obtie-
ne tomando como Xi los coeficientes de Fourier de la funcin incgnita en la
ecuacin integral). Para formas acotadas (es decir, que su valor est uniforme-
mente acotado cuando las (x) verifican I.lxl :s; 1o, lo que es lo mismo, en len-
guaje actual, acotadas sobre la bola unidad del espacio lb Hilbert haba demos-
trado que exista una transformacin ortogonal que reduca la forma a una suma
de cuadrados ms ciertas integrales extendidas a subconjuntos de ~ ; esto es,
adems de un conjunto discreto, o espectro puntual, anlogo al caso de dimen-
sin finita, apareca el fenmeno del espectro continuo. Hellinger, que desarro-
ll independientemente de Hilbert una teora anloga, prob que la forma
I . ~ j = l aijxx
j
poda transformarse en la expresin
donde (W
n
) es el espectro puntual y (W(s el espectro continuo. Es este resul-
tado el que admitieron (BHJ) que era vlido para formas cuadrticas no nece-
sariamente acotadas (como las que, desgraciadamente, aparecen habitualmente
en Mecnica cuntica).
La Mecnica Ondulatoria
Al mismo tiempo que la mecnica de matrices, que trata de establecer un
modelo matemtico de la mecnica cuntica a partir de la mecnica clsica de
129
..t
----
SEMINARJO OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
partculas, surge otro formalismo matemtico, cuyo punto de partida es conside-
rar el tomo como un sistema de vibraciones, en lugar de un sistema mecnico.
Como eminente precursor de esta postura, podemos citar a Sir William
Rowan Hamilton, quien ya en 1833 propuso la determinacin de una nica "ley
de la naturaleza" (o modelo matemtico) que gobernara tanto la propagacin de
la luz como el movimiento de las partculas. El descubrimiento posterior de los
rayos X, los fenmenos de difraccin de electrones, el efecto fotoelctrico, etc.
contribuyeron a realzar cada vez ms el problema de la dualidad onda-partcula
en los fenmenos subatmicos.
El iniciador de la teora de la mecnica ondulatoria, fue Louis de Broglie,
quien siempre haba estado preocupado por estos fenmenos. Desde sus prime-
ros trabajos sobre la teora de los cuantos de luz, haba sugerido la idea de aso-
ciar a los cuantos (partculas) un cierto elemento de periodicidad. Es en su tra-
bajo Ondes et quanta, publi-cado en las Comptes Rendus en 1923, donde pre-
senta su idea de onda de fase asociada a una partcula, completando as la duali-
dad onda-corpsculo. Al describir el movimiento de una partcula sometida a
un fenmeno peridico interno, con respecto a un observador en reposo, de
Broglie introdujo "una onda ficticia asociada al movimiento del mvil", y prob
que si al comienzo del movimiento el fenmeno interno de la partcula est en
fase con la onda, esta armona de fase debe persistir siempre para que el movi-
miento sea estable. De este hecho dedujo que, por ejemplo, en el caso de un
electrn movindose en una rbita alrededor del ncleo, debe haber un nmero
exacto de longitudes de onda que cubran la rbita, de lo que resulta la condicin
de cuantizacin de Sornmerfeld. Dedujo tambin que la partcula sigue en
cada punto de su trayectoria el rayo de su onda de fase. As, si la partcula tiene
que atravesar una abertura de dimensiones comparables a la longitud de onda
de la onda de fase, su trayectoria debera curvarse de acuerdo con la difraccin
de la onda de fase. De esta manera, de Broglie reconcili los fenmenos de
difraccin e interferencia con la hiptesis de la naturaleza corpuscular de la luz.
Siguiendo este razonamiento, "un chorro de electrones que pase a travs de un
agujero suficientemente pequeo, debera exhibir tambin fenmenos de difrac-
cin.", lo que fue confirmado experimentalmente poco despus.
La hiptesis de de Broglie de que cada partcula tiene una onda asociada fue
el punto de partida para la elaboracin de una nueva teora de la mecnica. Si
hay ondas, se deca, debe haber una ecuacin de ondas. Lo que faltaba era des-
cubrir esa ecuacin. Y ese fue el gran logro de Erwin SchrOdinger, a la sazn
profesor en la Universidad de Zurich, interesado en lo que llamaba "la teora
ondulatoria de Einstein-de Broglie, segn la cual un corpsculo mvil no es ms
que la espuma de una radiacin ondulatoria..." Profundo conocedor de los mto-
dos de autovalores en ecuaciones con condiciones de contorno, por sus trabajos
130
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
sobre la fsica de medios continuos, aplica su experiencia al problema y llega a
la conclusin de que los niveles de energa posibles de una partcula tienen la
apariencia de los autovalores de un cierto operador. En su monumental trabajo
Quantisierung als Eigenwertproblem, publicado en cuatro comunicaciones en
Annalen der Physik, a lo largo de 1926, Schrodinger introdujo su famosa "ecua-
cin de ondas", desarrollando un formalismo matemtico clsico (en trminos de
ecuaciones diferenciales) que permita a interpretar los fenmenos cunticos sin
apelar a extraos fenmenos discontinuos o "saltos cunticos".
En la primera comunicacin, introduce la ecuacin de ondas independiente
del tiempo: Reemplazando en la ecuacin de Hamilton del sistema
E =H(q,JS / Jq) la funcin S, que se supone de variables separadas, por K
logif, se obtiene
H(q, K JlfI) =E
lfI Jq
donde if es ahora un producto de funciones, cada una dependiendo de una sola
de las coordenadas q. En los casos ms simples, la ecuacin anterior se puede
expresar como una forma cuadrtica en if y sus derivadas primeras, igualada a
O. Schrodinger reemplaz entonces las condiciones cunticas por el siguiente
postulado: if tiene que ser una funcin real, univalente, de clase dos, para la
cual la integral de la forma cuadrtica mencionada en todo el espacio de con-
figuracin, tiene un extremo. La ecuacin de Euler correspondiente a este pro-
blema variacional, es precisamente la ecuacin de ondas.
Por ejemplo, para el movimiento del electrn en el tomo de hidrgeno, con
energa potencial _e
2
/r (r =(X
2
+y2+Z2)1I2), la funcin de Hamilton clsica es
luego la expresin asociada por el proceso de Schrodinger es
n 2 2m( e
2
) 2
( V lfI) - K
2
E +-; lfI =O
(ntese que la coordenada i-sima del momento se sustituye por (K / lfI)JlfI / ax
i
)
La ecuacin de Euler correspondiente al problema variacional asociado es, pre-
cisamente,
131
SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA - A- O IV
con una condicin de anulacin de una cierta integral en el contorno. Esta es pre-
cisamente la "ecuacin de ondas de Schrodinger independiente del tiempo". Para
resolverla, Schrodinger usa el mtodo de separacin de variables y prueba que
para todo valor positivo de E, la ecuacin tiene soluciones que tienden a Oen el
infinito con l/r. Para valores negativos de E, sin embargo, las soluciones slo
existen si me
2
/[K(_2mE)I/2] es un entero n. As, el espectro discreto resulta ser
E = _me
4
/2K
2
n
2
, que para K = hl2n es precisamente el espectro de energa de
Bohr para el tomo de hidrgeno. Sobre el significado de ljJ, SchrOdinger dice:
"Se podra caer en la tentacin de asociar la funcin ljJ con un proceso vibrato-
rio en el tomo, probablemente ms real que las rbitas electrnicas, cuya rea-
lidad se cuestiona cada vez ms... " y contina: "He preferido presentarla [la
nueva formulacin] en trminos puramente matemticos, que permiten destacar
lo que, en mi opinin, es el punto esencial: el hecho de que la misteriosa "exi-
gencia de valores enteros" ya no requiere ninguna regla de cuantizacin, sino
que resulta de las condiciones de finitud y univalencia de una cierta funcin...
Parece innecesario sealar cunto ms gratificante resulta concebir una transi-
cin cuntica como un cambio energtico de un estado vibratorio a otro, que
considerarla como un "salto" de electrones... "
SchrOdinger aplica despus su teora a varias situaciones (oscilador lineal
armnico, rotator rgido y vibratorio (molcula diatmica), etc., obteniendo
resultados totalmente anlogos a los que resultan de la mecnica de matrices.
Estos xitos llevan a Schrodinger a proponer una interpretacin fsica de su for-
malismo, afirmando que "el proceso mecnico real slo puede representarse
apropiadamente como un proceso ondulatorio y no por el movimiento de pun-
tos materiales en el espacio..." En el caso de fenmenos macroscpicos, los
paquetes de onda asociados pueden considerarse como masas puntuales, com-
parados con la estructura geomtrica del camino. Pero esa identificacin ya no
es posible cuando las dimensiones del camino son del mismo orden de magni-
tud que la longitud de onda. "Por tanto, debemos partir de la ecuacin de ondas,
y no de las ecuaciones fundamentales de la mecnica, para incluir en nuestro
estudio todos los posibles procesos mecnicos."
La formulacin de Schrodinger se aplic inmediatamente con xito a gran
nmero de problemas de distribucin discreta de energa. Supuso un mtodo
matemticamente ms asequible que la mecnica de matrices, e igualmente til
para resolver gran cantidad de problemas. Pero su interpretacin fsica pronto se
mostr inconsistente con la experiencia: Los "paquetes de onda" manifestaban
tener propiedades contradictorias con los hechos observados.
En particular, todos los experimentos de colisin de partculas elementales
apuntaban con insistencia hacia la naturaleza corpuscular del electrn. En un tra-
bajo de 1926 sobre el proceso de colisin entre una partcula libre y un tomo,
132
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
~ t
----
Born, aunque rechazaba la interpretacin ondulatoria de Schrbdinger, adopt el
formalismo de la mecnica ondulatoria, afirmando que "entre las distintas for-
mas de la teora, slo el formalismo de Schrbdinger parece apropiado para este
propsito, por lo que me inclino a considerarlo como la formulacin ms pro-
funda de las leyes cunticas." Born interpreta la funcin de onda !/J, o mejor
1fJl2, como una densidad de probabilidad de localizar al electrn (concebido en
el sentido clsico, como una masa puntual con posicin y momento bien defini-
dos en cada instante), despus de la colisin, en una determinada regin.
La interpretacin probabilstica de Born fue aplicada con gran xito a los
problemas de dispersin de partculas. Sin embargo, se mostr inconsistente con
los experimentos de difraccin de electrones a travs de una pantalla con dos
rendijas (recomendamos encarecidamente la lectura del Captulo 1 del tercer
tomo de la obra Fsica de Feynman, o su conferencia Probabilidad e incerti-
. dumbre: la visin de la naturaleza a travs de la Mecnica cuntica). En este
experimento, los fenmenos matemticos de interferencia se manifestan en la
distribucin fsica de las partculas en la pantalla. Por tanto, la funcin de onda
asociada a la partcula debe tener una realidad fsica y no ser una mera ficcin
matemtica que representa nuestro conocimiento del fenmeno. Heisenberg, que
tambin rechazaba la interpretacin ondulatoria de Schrbdinger y aceptaba las
ideas de Born, asign a estas funciones de onda !/J (que evolucionaban en el tiem-
po y en el espacio de acuerdo con la ecuacin de Schrbdinger) una cierta rea-
lidad fsica y las llam ondas de probabilidad asociadas a una partcula, conci-
bindolas como "una formulacin cuantitativa del concepto de potentia en la
filosofa aristotlica, segn el cual los acontecimientos no estn determinados de
una manera perentoria, y la posibilidad o tendencia a que sucedan tiene una
cierta clase de realidad... En la moderna teora cuntica este concepto se formu-
la cuantitativamente como probabilidad y est sujeto a leyes naturales expresa-
bIes matemticamente."
La interpretacin probabilstica de Born tuvo tambin importantes conse-
cuencias en la determinacin de los requisitos que deba satisfacer la funcin t/J.
Puesto que 1fJl2 deba ser una densidad de probabilidad, el requisito a imponer era
la integrabilidad de esa funcin. Los requisitos previos de regularidad se mos-
traron innecesarios. Otro problema no menos importante era demostrar que las
autofunciones de la ecuacin de Schrbdinger constituan un sistema ortonormal
completo del espacio de soluciones, lo que slo se pudo probar en algunos casos.
Comparacin de ambos formalismos.
Tanto la Mecnica de Matrices como la Mecnica Ondulatoria intentan
explicar el mismo tipo de fenmenos y obtienen resultados anlogos. Sin embar-
133
SEMINARIO ROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
go, ambas son radicalmente diferentes, tanto en su formalismo matemtico
como en su interpretacin fsica, segn hemos visto. Heisenberg utiliz un
enfoque algebraico, postulando la existencia de operaciones no conmutativas y
reglas de clculo muy distintas de las habituales. Fsicamente, su concepcin
bsica es el corpsculo y enfatiza el elemento de discontinuidad en el micro-
cosmos. Por el contrario, SchrOdinger utiliz un enfoque analtico, basado en las
tcnicas usuales de ecuaciones diferenciales de la mecnica clsica de fluidos.
Fsicamente, su concepcin bsica es la onda y la continuidad en el mundo
subatmico. Heisenberg se encontraba "disgustado y molesto" por la interpreta-
cin fsica de Schrodinger, mientras que ste encontraba "repelente" el forma-
lismo algebraico de Heisenberg y falto de cualquier interpretacin fsica.
Ambos formalismos se desarrollaron partiendo de los de la fsica clsica
(bien de la dinmica newtoniana o de la mecnica de fluidos), realizando en
algn momento del clculo una hiptesis innovadora. Y probablemente, como
lcidamente lo destac Heisenberg, esta es la raiz del conflicto: el querer expre-
sar conceptos clsicos como "posicin", "trayectoria", "velocidad" o "paquete
de ondas" en trminos del nuevo formalismo. Heisenberg, convencido de la
potencia del aparato matemtico, pensaba, como Einstein que ':la teora es la que
decide lo que podemos observar". Si la teora rechaza la observabilidad de la tra-
yectoria de una partcula, y sta aparece en la cmara de Wilson como una suce-
sin discreta de puntos borrosos, la conclusin, segn Heisenberg, es que "care-
ce de sentido hablar de la posicin de una partcula con una velocidad definida"
Como vimos, esta lnea de pensamiento, junto a su convencimiento de que el
formalismo matemtico es lo que permite establecer y predecir nuevos resulta-
dos, es lo que llev a Heisenberg a enunciar su principio de incertidumbre. El
uso de palabras como "ondas" o "partculas" para la descripcin de lo que real-
mente sucede, es irrelevante. Bohr acept las conclusiones de Heisenberg, pero
no su interpretacin, sealando que la causa ltima del principio de incertidum-
bre resida en la dualidad onda-partcula y en la imposibilidad de usar ambas
descripciones simultneamente, a pesar de que las dos son necesarias para obte-
ner una descripcin completa del fenmeno fsico.
A pesar de su rechazo del formalismo de la mecnica de matrices,
Schrodinger tambin estaba convencido de que ambos modelos se complemen-
taban mutuamente. Y as, en la primavera de 1926, descubri lo que llam "una
identidad matemtica formal" entre la mecnica ondulatoria y la mecnica de
matrices. Para ello, SchrOdinger asoci con cada funcin fsica F =F(p,q) de las
variables p y q, el operador diferencial
F( ha)
2m aq ,q
134
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
..t
----
que denot por [F,.]. Si (Uk) es un sistema ortonormal completo de funciones,
cada funcin de onda l/J y su transformada l/J'=[F,l/J] se podra expresar (formal-
mente) como
lf/ = L,akuk;lf/' = L,aju
j
= L,ak[F,u
k
]
(Obsrvese la admisin implcita de la conmutatividad de [F,.] con L, es decir,
la continuidad de [F,.] respecto de la convergencia considerada). Si ahora expre-
samos [F,ud en trminos del sistema ortonormal: [F, u
k
] =L,j 0kUj e identifica-
mos, tenemos:
dj= L,0k
a
k' ,con 0k =J[F,uk]u;
k
As.se asocia (dado el sistema (uk)) a cada funcin F(p,q) una matriz (F
jk
) y esta
asociacin preserva las operaciones suma y producto. Toda ecuacin de la mec-
nica ondulatoria puede as ser transladada a una ecuacin matricial.
Posteriormente, Schrodinger tom como base (u los autovalores de la ecua-
cin de ondas que ahora puede escribirse como [H,l/J] = El/J, siendo H = H(p,q)
el Harniltoniano del sistema. Los autovalores del operador son los posibles valo-
res E
k
de la energa, y verifican [H,l/Jk] =Ekl/Jd. En trminos de este sistema
(supuesto completo), la matriz H asociada, es diagonal. Es decir, el problema
bsico de la mecnica de matrices (diagonalizar la matriz H) es equivalente a
resolver el problema de valores propios [H,l/J] =El/J.
Tambin indic Schrodinger cmo, recprocamente, conocidos los valores de
la matriz (q), se podan recuperar las autofunciones (u): Si qij =fU;Uk , enton-
ces (supuso Schrbdinger) los valores de las integrales Jqmu;(q)uk(q)dq pueden
calcularse por multiplicacin matricial (sera el elemento (ij) de la matriz qm).
Se conoceran as todos los "momentos" de la funcin UjUk (j Yk fijos) que, bajo
condiciones muy generales, se saba que determinan univocamente la funcin.
Por tanto, conclua Schrodinger, se pueden conocer todas las funciones uPk' en
particular las uj, y finalmente las uj"
Desde un punto de vista estrictamente formal, Schrodinger prob pues que
su mecnica ondulatoria implicaba los aspectos bsicos de la mecnica de
matrices (aunque no recprocamente) en los casos simples de espectro discre-
to. Sin embargo, sus ideas fueron marcando el camino hacia la teora de trans-
formaciones de Dirac y lordan primero, y la ulterior unificacin de Von
Neumann. Al mismo tiempo, sirvieron para decantar el desarrollo conceptual
moderno de la Mecnica cuntica.
135
SEMINARJO ROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
La Teora de Transformaciones
El problema bsico en la mecnica de matrices, como vimos, era la solucin
de la ecuacin matricial S-1 HS = W o
SW=HS, (*)
siendo H = (h
mn
) la matriz asociada al hamiltoniano del sistema, S = (smn) una
matriz unitaria y W=(w
m
8
n
) una matriz diagonal, cuyos trminos diagonales son
los posibles valores de la energa del sistema en consideracin. Por tanto, (*)
puede escribirse as :
n
As pues, cada una de las columnas s(k) =(smk) de la matriz S y los correspon-
dientes elementos diagonales Wk de W, son soluciones del problema de valores
propios
n
Por otro lado, el problema bsico en la mecnica ondulatoria era resolver el pro-
blema de valores propios
siendo H el operador diferencial asociado al hamiltoniano del sistema. La seme-
janza de los problemas (*) y (**) es evidente, considerando (x
m
) como funcin
de la "variable discreta" m y t/J funcin de la "variable continua" q. Siguiendo la
analoga, (h
mn
) debera corresponder a una funcin de dos variables h(q,q') y la
suma L a una integral f. En otras palabras, la ecuacin (**) debera poder escri-
birse como
Jh(q, q' )1fI(q' )dq' =AIfI(q)
Comparando esta expresin con (**), resulta
HIfI(q) = Jh(q,q')IfI(q')dq'
es decir, h(q,q') es un ncleo integral para el operador diferencial H. As, las
mecnicas matricial y ondulatoria podran unificarse si todo operador posible H
136
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
se pudiera representar como un operador integral. !Pero esto no es posible ni
siquiera para un operador tan sencillo como la identidad y funciones de una
variable real! En efecto de HrjJ =rjJ resulta que
lfI(q) =fh(q,q')lfI(q')dq' , para toda funcin rjJ
En particular, haciendo q =Oresulta que
lfI(O) =fh(O,q')lfI(q')dq' =fK(q')lfI(q')dq'
Con elecciones adecuadas de rjJ se obtienen las condiciones contradictorias
JK =OY JK =1 (Cfr., por ejemplo. [VN, pg. 17]).
Sin embargo, el fsico britnico P. A. M. Dirac, buen conocedor del clcu-
lo simblico de Heaviside en la teora electromagntica, resuelve esta dificultad
(en su trabajo The physical interpretation of the quantum dynamics, Proc.
Royal Soco of London (1926), 621-641) con la ayuda de la ms famosa de las
"funciones singulares": la funcin 8, que a partir de entonces llevara tambin su
apellido. Este ubicuo ente (la "funcin" 8) aparece en matemticas implcita-
mente ya en los trabajos de Fourier y explcitamente en un trabajo de G. Kirchoff
sobre el principio de Huygens para la ecuacin de ondas, en donde introduce una
funcin auxiliar F tal que
lF(s)ds =1
"para todo intervalo con extremos de distinto signo" Kirchoff pone como ejem-
plo la funcin
para r constante positiva "muy grande". Obviamente, esta funcin no cumple los
requisitos sealados, aunque puede tomarse por una "aproximacin" de la fun-
cin deseada. En cualquier caso, la 8 aparece, ms o menos maquillada, en la
mayor parte de los trabajos relacionados con las funciones de Green, y la deter-
minacin de las "soluciones fundamentales" de un operador diferencial en un
punto. Pero es en Fsica donde aparece casi constantemente, disfrazada con dis-
tintos ropajes. As, el ingeniero elctrico O. Heaviside desarroll a finales del
siglo XIX un clculo operacional, de difcil justificacin matemtica, pero
ampliamente utilizado por sus colegas en el primer tercio de este siglo, basado
en la introduccin de la funcin 8 como "funcin impulso", derivada de la fun-
137
SEMINARIO ROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
cin H(t) que vale Osi t < Oy 1 si t> O. Resulta por tanto que 8 (x) =Opara todo
x ::j:: Oy, por integracin formal, f:o( x)dx = 1 . Esta es la definicin que adopt
Dirac en su famoso libro The Principles of Quantum Mechanics (la. Ed. en
1930), aunque en la 3a. edicin menciona la definicin original de Heaviside.
Suponiendo la validez de las reglas formales del clculo para la 8, Dirac prueba
a continuacin "algunas propiedades de la funcin 8 que se deducen de la defi-
nicin, o al menos no son inconsistentes". Entre ellas,
8(-x)=8(x); x8(x)=0; x8'(x)=-8(x)
Dirac es consciente de que "estrictamente hablando, desde luego 8 (x) no es
una funcin propia de x, pero puede considerarse como lmite de cierta sucesin
de funciones. Para todos los propsitos prcticos de la Mecnica Cuntica, se
puede usar 8 (x) como si fuera una funcin propia, sin obtener resultados inco-
rrectos. Tambin se pueden usar las derivadas sucesivas de 8 (x), que son an
ms discontinuas y menos "propias" que la propia 8 (x)." Estas palabras de Dirac
muestran claramente el triste sino de la 8: para los fsicos se trata de una ideali-
zacin y formalismo til, que los matemticos se encargaran de rigorizar; para
los matemticos, es una nocin intuitiva, sin realidad matemtica, cuyo uso se
justifica por las aplicaciones fsicas. En todo caso, en las sucesivas ediciones de
su obra, Dirac fue incluyendo nuevas propiedades de la 8 (todas ellas correctas
desde el punto de vista de la Teora de Distribuciones), que muestran que real-
mente era un hbil manipulador con esta funcin singular. Con la introduccin
de la 8, ya es posible representar cualquier operador diferencial como un opera-
dor integral. Por ejemplo:
d
n
f- f- -lf/(q) = 8(n)(q - q' )lf/(q' )dq'; q"lfI{q) = 8(q - q' )cllf/(q' )dq' n _ _
etc. y lo mismo para el caso de varias variables. Hacemos notar que esta idea de
representar cualquier operador como un operador integral en un espacio adecua-
do (de funciones generalizadas), tuvo su formulacin precisa y rigurosa en el
llamado "teorema de los ncleos" de L. Schwartz.
Con esta lnea argumental, Dirac establece una teora de transformaciones
cannicas por matrices discretas o continuas, que permite unificar los formalis-
mos de la mecnica de matrices y la mecnica ondulatoria, como hemos dicho.
Pero an ms, en el libro de Dirac aparecen ya claramente los elementos con-
138
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
cept\lales propios de la Mecnica Cuntica en sentido moderno: Por ejemplo,
toda la informacin sobre el estado del sistema se encuentra en la funcin de
estado ljJ, con independencia de cualquier observable o magnitud fsica (a dife-
rencia de lo que sucede con la Mecnica clsica, en la que el estado del sistema
queda definido en cada instante por ciertas variables observables, como posicin
y momento, por ejemplo). Los observables, es decir, las variables dinminas que
podemos medir (la energa por ejemplo) aparecen ya como operadores. La medi-
da de un observable es una operacin fsica bien definida, que proporciona un
nmero real, la medida del observable, que necesariamente ha de ser un valor
propio del operador. Esta y otras razones tcnicas (posibilidad de diagonaliza-
cinn, etc.) hacen que los operadores que representan los observables sean siem-
pre hermitianos, etc. Todos estos hechos, de los que, conceptualmente, el ms
imp.ortante es la separacin entre estado y observable, se encuentran ya en la
obra de Dirac y desde entonces se han incorporado a cualquier formulacin
aceptada de la Mecnica Cuntica.
Por la poca en la que apareci el primer artculo de Dirac, un grupo de
matemticos, encabezados por Hilbert, Nordheim y van Neumann, estaban
explorando ideas similares, esto es, representar los observables fsicos como
operadores integrales, encontrndose de manos a boca, como hemos visto, con
la funcin 8 y,por tanto, a "dificultades matemticas insolubles", segn Van
Neumann. En consecuencia, partiendo de los resultados de Hilbert sobre ecua-
ciones integrales de la primera dcada del siglo, Van Neumannn desarroll entre
1927 y 1929 un nuevo marco matemtico de la teora, que es el que esencial-
mente se utiliza en la actualidad.
Laformulacin de Von Neumann
El mtodo de Dirac se basaba, en el fondo, en la bsqueda de una analoga
formal entre el espacio "discreto" Z de los valores de los ndices de las matrices
en (9)), y el espacio n de la variable "continua" q en (9)9>). Como seala Van
Neumann, "...no es de extraar que esto no se pueda lograr sin cierta violencia
sobre el formalismo y la matemtica: los espacios Z y n son verdaderamente
muy distintos, y toda tentativa de ponerlos en relacin debe chocar con grandes
dificultades." ([VN, pg. 20]). El descubrimiento innovador de Van Neumann
fue percatarse que si bien Z y n son muy distintos, los espacios de funciones
reales sobre ellos que intervienen en la Mecnica Cuntica son esencialmente
los mismos. En efecto, a las sucesiones que aparecan en la Mecnica de matri-
ces normalmente se les impona a la condicin de normalizacin LlxJ = 1 ,
mientras que ya hemos dicho que las funciones ljJ de la Mecnica ondulatoria
139
SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
deban cumplir f!'lf1
2
= 1 , tras su interpretacin como densidades de probabi-
lidad. Esto sugiri a Von Neumann limitar el mbito de las sucesiones o fun-
ciones aceptables en ambas teoras a lo que hoy conocemos como los espacios
y
~ ( Q ) ={lJI: Q ~ C: lJIes medible Lebesgue y IllJIll =(JllJIn
l/2
< oo}
Von Neumann los design por F
z
y Ff2, respectivamente). Ambos
espacios eran bien conocidos en Matemticas. El espacio /2 lo introdujo Hilbert
en sus trabajos sobre ecuaciones integrales y su estructura era bien conocida, tras
la tesis de Schmidt (1908). El espacio L
2
(Q) aparece implcitamente en los tra-
bajos de Lebesgue sobre la teora de la integral (para Q un intervalo de la recta
real) y ms o menos explcitamente en los trabajos de Schmidt y otros discpu-
los de Hilbert. De una manera clara, aparece en sendos trabajos independientes
de F. Riesz y E. Fisher de 1907, en los que prueban que ambos espacios son
isomorfos e isomtricos, es decir, se puede establecer una correspondencia
biyectiva entre ellos, que preserva la suma y el producto por escalares y tal que
si x H lJI, entonces Ilxll =IllJIll . Ambos constituan los dos modelos conocidos
de "espacios de Hilbert". Como quiera -razon Von Neumann- que F
z
y Ff2 (y
no Z y Q!) forman el "substrato analtico real" de las mecnicas matricial y
ondulatoria, respectivamente, y ambos espacios son isomorfos, esta isomorfa
significa que ambas teoras deben dar los mismos resultados. En particular, por
ejemplo, en el caso de un grado de libertad, los operadores P = ~ . ! ! - y Q= pro-
d
'fi b d" , T . 1 l' ,2m dq
ucto por q, ven lcan so re su orrnmo comun en L.J'], a re aClOn
h
p.Q-Q.p= 27r/
luego la misma relacin verificaran en /2 los operadores (matrices) correspon-
dientes en el isomorfismo.
De esta manera, la equivalencia de la mecnica de matrices y la mecnica
ondulatoria resulta una consecuencia lgica del hecho de que ambas son slo
diferentes representaciones matemticas de las mismas relaciones abstractas.
"Es de esperar -aade Von NeumanIl- que una formulacin de la mecnica cun-
tica basada exclusivamente en las propiedades intrnsecas bsicas comunes a
Fz y Ff2> permitira obtener una estructura unitaria, presentando las relaciones
140
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
absolutamente esenciales, y eliminando lo accidental que resulta del marco for-
mal en cada caso elegido... " [VN, pg. 23]. A tal fin, Von Neumann desarrolla
una teora axiomtica del espacio de Hilbert (separable) abstracto, en el sentido
actual, !ms de 20 aos despus de que se hubiera introducido los modelos con-
cretos 1
2
y L
2
, Y7 aos ms tarde de la Tesis de Banach, en la que se introduce
la nocin de espacio normado completo abstracto!. Despus de estudiar las
propiedades geomtricas usuales (proyeccin ortogonal, existencia de bases
ortonormales, etc.) y de probar que tanto 1
2
y Lz son realizaciones especiales del
espacio de Hilbert.abstracto, Von Neumann aborda el estudio de los operadores
lineales. Von Neumann reconoce inmediatamente que muchos operadores de
la mecnica cuntica no estn definidos en todo el espacio Lz (recordemos, por
ejemplo, los que hemos llamado P, esencialmente el operador derivacin, o Q,
el operador multiplicacin por la funcin identidad), pero su dominio es denso
(habitualmente estaran definidos sobre las funciones infinitamente diferen-
ciables con soporte compacto, al menos), por lo que desarrolla una teora sobre
esta clase de operadores lineales, separndose as de los estudios realizados ante-
riormente. Define la nocin de adjunto de un operador densamente definido, y
de la manera habitual, la de operador hermitiano (en el sentido que T* es una
extensin de 1) y unitario, y a continuacin pasa a tratar el problema de valores
propios. Prueba sin dificultad que los autovalores de un operador hermitiano son
todos reales, y que los autovectores asociados a autovalores distintos son orto-
gonales, pero lo que en general no sucede es que los autovectores asociados a
un operador hermitiano formen un sistema completo. Ms an, en alguno de los
casos ms interesantes, no aparecen autofunciones pertenecientes al espacio!
Por ejemplo, para el operador Pl!(q) = (h/27ti)l!' (q), la ecuacin Pl! = Al! se
cumple para \jI(q)=exp(2rci'Aq/h), y cualquier A. Pero las funciones exp(2rci'Aq/h)
no pertenecen a Lz! Peor an es el caso del operador Ql!(q) =ql!(q) , cuyo
autovector asociado al posible autovalor Adebe verificar (q - A)l!(q) =O para
todo q, y por tanto l/J (q) =Opara q 4= A. El requerimiento de integrabilidad nos
tienta a tomar como l/J la 8 (q-A), algo matemticamente inadmisible para Von
Neumann.
Este tipo de dificultades obliga a Von Neumann a reformular la teora de
autovalores, usando un mtodo desarrollado por Hilberrt en 1906 en su estudio
de las ecuaciones integrales. Para ello, reformulemos adecuadamente el proble-
ma de diagonalizacin de una matriz hermitiana H en el espacio de N dimensio-
nes: Si l < A
2
< ... < A
r
son los r ( ~ N) autovalbres distintos de H y P
j
es la pro-
yeccin ortogonal sobre el subespacio de vectores propios asociado a Aj' resul-
ta que
r r r
1= )j,H(x) =LH1j(x) =L A / ~ ( X )
j=l j=l j=l
141
SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA - A- O IV
Si para cada AE R ponemos E(A) =O, si A< Al' '" P , resulta que tene-
.Loks" J
mos definida una familia {E(A)} de proyecciones, constnte en cada uno de los
intervalos -00 < A< Al; Al ::; A< A
z
;oooA
r
_
1
::; A< A
r
::; A
r
; A
r
::; A< +00 y, por tanto,
si Aa <A< 000 < As son una cantidad finita de nmeros, con tal de que entre
ellos figuren los A"ooo,A
r
,podemos escribir
(H(x) Iy)= AA[E(Aj)(X)-E(Aj_I)(X)] IY)=
j=l
="iAk([E(Ak)(x) - E(A
kl
)(x)] IY), \/x,Yo
k=l
Recordando la nocin de integral de Stieltjes, podemos escribir lo anterior en la
forma
o, simblicamente,
Esta formulacin del teorema espectral es el que Von Neumann generaliz
de forma rigurosa en el espacio de Hilbert infinito dimensional. En efecto, en el
caso de operadores acotados, Hilbert haba probado que, dado un operador her-
mitiano H en E =Lz, existe una nica familia {( E( A) : AE IR} de proyecciones
que cumple las siguientes propiedades:
a) Para cualquier x E E, E( A)X ~ Opara A~ -00, E( A)X ~ x para A ~ +00 YE( A)X ~
E( Aa)X para A~ Aa por la derecha.
b) Si A::; A', se sigue que E( A) ::; E( A') (en la relacin de orden definida para los
operadores hermticos)o
c) x pertenece al dominio de definicin de H si y slo si la integral
f: )}d(IIE( A)xI1
2
) es convergente, en cuyo caso, para todo y E E se tiene
(Hxly) =r:M((E(A)xIY))
142
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
Una familia con las propiedades anteriores, se llama una resolucin de la
identidad para H. Para el caso de operadores no acotados, Von Neumann exten-
di el teorema en 1929, probando que todo operador herrnitiano puede exten-
derse a uno maximal (es decir, sin extensiones propias), y que todo operador
hermitiano maximal posee o bien una nica resolucin de la identidad o ningu-
na. Este ltimo caso es, en cierto modo, excepcional. En todo caso, los opera-
dores autoadjuntos (es decir, tales que T =1'* (no todo operador herrnitiano es
autoadjunto!) son maximales, cerrados y poseen siempre resolucin de la iden-
tidad (Von Neumann los llama hipermximos), y son los nicamente relevantes
para la Mecnica cuntica ([VN, pg. 175]. A partir de una resolucin de la iden-
tidad, se pueden recuperar los valores propios, pues es fcil probar que A
o
es un
autovalor de H si y slo si es un punto de discontinuidad de E(A) ([VN, p. 87 Y
sgs.]. Estos valores constituyen el espectro discreto de H, que forma un conjun-
to a lo ms numerable (pues todo sistema ortonormal en E es a lo ms numera-
ble). Los puntos en los que E(A) es continua y no constante en un entorno, cons-
tituyen el espectro continuo de H. Como ejemplo, Von Neumann muestra que los
operadores P, de derivacin, y Q, producto por la identidad, tienen espectro con-
tinuo toda la recta real y da un mtodo formal para obtener la resolucin de la
identidad en estos casos.
Von Neumann contina el de&arrollo de la teora, reformulando en su len-
guaje las interpretaciones de carcter estadstico de Born y obteniendo una for-
mulacin rigurosa de la teora de transformaciones, que comprende todos los
formalismos previos de la Mecnica cuntica. En particular, el principio de
incertidumbre aparece como un teorema de la teora: si P y Q son operadores
herrnitianos tales que PQ-QP =el (c constante), el producto de sus varianzas en
el estado fJ es ?: le 1/2 ([VN, pg. 166 Ysgs.]).
El trabajo de Von Neumann es realmente impresionante. No slo desde el
punto de vista de la fundamentacin de la mecnica cuntica, que es la que ms
o menos se sigue actualmente, sino desde el-punto de vista matemtico, elabo-
rando la mayor parte de la moderna teora espectral en espacios de Hilbert e ini-
ciando su monumental trabajo sobre las sublgebras involutivas dbilmente
cerradas (por cierto, a Von Neumann se debe tambin la definicin general de
topologa dbil y las distintas topologas no normadas usuales en espacios de
operadores) de los endomorfismos continuos de un espacio de Hilbert, lo que
hoy se conoce como lgebras de Von Neumann. Para algunos, como J.
Dieudonne (Cfr. [DD, pg. 183]), estos son los trabajos ms difciles y profun-
dos de Von Neumann, obteniendo resultados absolutamente nuevos, y estable-
ciendo conexiones con muchas otras teoras. Hay que decir que estos trabajos
tambin tuvieron su origen, al menos en parte, en la Mecnica cuntica. En efec-
to, Von Neumann escribi un artculo en colaboraci6n con Jordan y Wigner
143
SEMINARIO OROTAVA DE HISTORIA DE LA elE CIA - A - o IV
sobre la clasificacin de las lgebras reales, finito dimensionales y no asociati-
vas (lgebras de lardan), propuestas por lordan como un modelo ms simple
para expresar la teora de la medicin en mecnica cuntica y la extensin de sus
mtodos a los fenmenos relativistas. Sus resultados probaron que tales lgebras
no verifican, en general, las relaciones de conmutacin de Heisenberg, lo que
llev a Von Neumann a modificar sus postulados, reemplazando la restriccin de
dimensionalidad finita por condiciones topolgicas ms dbiles. El resultado
fue la definicin de lgebra de von Neumann.
En su libro Fundamentos Matemticos de la Mecnica Cuntica, cuya lec-
tura es absolutamente recomendable, se encuentra recogida gran parte de la obra
sobre Mecnica Cuntica, incluyendo una presentacin axiomtica que, con
alguna pequea variacin, presentamos a continuacin. Partiendo de las nocio-
nes primitivas de sistema, observable y estado, tenemos:
AXIOMA 1. A todo sistema corresponde un espacio de Hilbert JI cuyos
vectores (vectores de estado, funciones de onda) describen
completamente los estados posibles del sistema.
AXIOMA n. A cada observablefl corresponde un nico operador autoad-
junto (o hipermximq) A sobreJi
AXIOMA III. Para un sistema en el estado ljJ, la probabilidad de que el
resultado de una medida del observable A, representado por
A, est entre Al y "-2 viene dada por II(E( ~ ) - E( A) )1Jf ' sien-
do E(A) la resolucin de la identidad asociada a A.
AXIOMA IV. 'La evolucin temporal de un vector de estado ljJ viene
determinada por la ecuacin HIfI = iFidlfl / Jt (ecuacin de
Schrodinger), donde el Harniltoniano H es el operador de
evolucin y es la constante de Planck dividida por 2n.
AXIOMA V. Si una medida del observablefi representado por A, da un
resultado entre Al y A
z
, entonces el estado del sistema inme-
diatamente despus de la medicin es una autofuncin de
E("-2) - E(A
I
)
Von Neumann supuso tambin que cada operador hermitiano representaba
un observable, y que cada elemento deJI era un posible estado del sistema, pero
la existencia de reglas de superseleccin, descubiertas en 1952 por Wick y
Wigner, han obligado a modificar este punto de vista. Del Axioma III resulta
144
Los MODELOS MATEMTICOS DE LA MECNICA CUNTICA
~ t
----
inmediatamente que el resultado de medir un observable, representado por A, es
necesariamente un elemento del espectro de A. Este axioma contiene tambin
como caso particular la conocida interpretacin probabilstica de Boro de la fun-
cin de onda.
Existen varias otras axiomatizaciones de la Mecnica cuntica, que toman
como punto de partida los trabajos de von Neumann. Podemos citar entre ellas
las de Segal (1947), que permite asociar a cada sistema adecuado de observa-
bles un espacio de funciones reales continuas sobre un espacio compacto
Hausdorff adecuado; Mackey (1960), que asocia a cada sistema fsico un con-
junto parcialmente ordenado y ortocomplementado J:.de modo que los observa-
bles se pueden identificar con medidas borelianas sobre la recta, valoradas en J:.
y los estados con medidas de probabilidad sobre 1:.:, los modelos basados en el
uso de lgicas tri o polivaluadas, como el desarrollado en la III parte de la obra
de Rechenbach [RE], etc.
CONCLUSIN
La creacin de la Mecnica Cuntica represent una de las mayores revolu-
ciones de la Fsica, con profundas implicaciones, no slo para la fsica, sino tam-
bin para la filosofa, y supone un cambio radical sobre nuestra concepcin de
la realidad. A lo largo de las pginas anteriores hemos intentado dar una breve
idea de su desarrollo conceptual. Pero, sobre todo, hemos querido destacar el
complejo proceso del establecimiento de su aparato matemtico, que hoy por
hoy, parece firmemente establecido sobre el modelo de Von Neumann. Sin
embargo, la interpretacin de ese formalismo est muy lejos de ser unnime y
contina siendo fuente de controversias entre las distintas escuelas.
Volviendo al formalismo matemtico, hemos podido tambin apreciar la
profunda influenCia de la Mecnica Cuntica en el desarrollo de distintas reas
de las Matemticas, desde la teora de lgebras no conmutativas e incluso no
asociativas (lgebras de fordan) a los espacios de Hilbert abstractos, la teora
espectral para operadores no acotados y las lgebras de operadores, pasando por
los problemas de autovalores de ecuaciones diferenciales e integrales y la teora
de "funciones singulares", siendo una de las ms claras motivaciones para el
desarrollo de la teora de distribuciones.
Por otro lado, pronto se dieron cuenta los fsicos que el uso de matemticas
rigurosas simplifica cualquier anlisis lgico, pues permite establecer claramen-
te la distincin entre los problemas sintcticos y semnticos de cualquier posible
interpretacin. Ello ha motivado una intensa actividad y colaboracin entre
matemticos, fsicos y lgicos que, desde el punto de vista de las Matemticas,
ha supuesto importantes contribuciones en campos como el lgebra abstracta, la
145
SEMINARIO ROTAVA DE HISTORIA DE LA CIENCIA - Ao IV
teora de conjuntos, la topologa, la teora de la medida, el anlisis funcional,
etc., mostrando una vez ms la profunda interrelacin entre Fsica y
Matemticas.
BIBLIOGRAFA
146
[DD]
[Di]
[FLS]
[Gi]
[JI]
[JI]
[Re]
[VN]
[VW]
DIEUDONNE, J. History of Functional Analysis.
North Holland Math. Studies 49. North-Holland Pub., 1981.
DIRAC, P. A. M. The PrincipIes of Quantum Mechanics, (4a.
Edicin). Oxford University Press, 1958.
FEYNMAN, R. P.,LEIGHTON, R.B., SANDS, M. Fsica
Vol. IlI.- Mecnica Cuntica. Addison Wesley Iberoamericana,
1971.
GILLESPIE, D. T. Introduccin a la Mecnica Cuntica. Ed.
Revert, 1976.
JAMMER, M. The Philosophy of Quantum Mechanics,
Wiley Interscience. 1974.
JAMMER, M. The conceptual development of Quantum
Mechanics. The History of Modem Physics, 1800-1950. Vol.
12. Amer. Inst. of Physics, 1989.
REICHENBACH, H. Philosophic foundations of Quantum
Mechanics. University of California Press. 1944.
VON NEUMANN, J. Fundamentos matemticos de la
Mecnica Cuntica. Publicaciones del Instituto de Matemticas
I
"Jorge Juan". Madrid, 1949.
VAN DER WAERDEN, B. L. Sources of Quantum Mechanics.
Dover Pub., 1968.

You might also like