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.