Aksiomoj de kvantuma mekaniko
La aksiomoj de kvantuma mekaniko estas la matematikaj aksiomoj kiujn fizika teorio devas verigi por ke ĝi estas kvantuma teorio. Ili specifas la matematikan formon de propraĵoj de fizika sistemo: statoj, observeblaĵoj, kaj tempevoluo.
Historio
[redakti | redakti fonton]Originale, teorioj de kvantumaj fenomenoj estis faritaj nesisteme kaj senprincipe. Fizikistoj kiel Max Planck kaj Albert Einstein trovis malprecizajn ideojn de la ĝenerala karaktero de kvantumaj sistemoj; ekz., la energio de kvantuma sistemo estas kvantumita po unuoj nomataj kvantumojn. Sed ne ekzistis matematika, klara kadro sur kio oni povis derivi tiujn ideojn. Tiaj ĉi teorioj nomiĝas malnova kvantuma teorio.
En 1925, la germana fizikisto Werner Heisenberg trovis la unuan ĝustan priskribon de kvantuma mekaniko uzante matricojn; en 1926 alia germana fizikisto Erwin Schrödinger trovis alian, sed kiel validan, priskribon de kvantuma mekaniko bazita sur ondoj. En 1930, la angla fizikisto Paul Dirac, en lia libro Principles of Quantum Mechanics (Principoj de kvantuma mekaniko), pruvis ekvivalentecon de la matrica kaj onda priskriboj. Sed tiu ĉi libro ne estis matematike zorgema.
La moderna priskribo de kvantuma mekaniko, rigora matematike, estis farita principe de John von Neumann en lia libro Mathematical Foundations of Quantum Mechanics (Matematikaj fundamentoj de kvantuma mekaniko). Li uzis ilojn el funkcionala analitiko, kiel Hilberta spaco kaj distribuoj, en sia rigora priskribo.
La aksiomoj
[redakti | redakti fonton]Fizika sistemo konsistas el tri baza aĵoj: spaco de statoj (en kio la sistemo povas esti); aro de observeblaĵoj (kvantoj kiujn eksperimentisto povas observi el la sistemo); kaj leĝo de tempevoluo (laŭ kio la sistemo ŝanĝas sian staton). La sekva aksiomoj specifas matematikajn modelojn por statoj, observeblaĵoj, kaj tempevoluo.
- La spaco de statoj estas apartigebla Hilberta spaco . Stato estas elemento de tiu ĉi spaco (pli precize, radio en , aŭ ekvivalentklaso sub la rilato s.n.s. por iu kompleksa nombro , sur nenula elementoj de .) La ena produkto signifas (alprenante ke ) la amplitudo de probablo de transiro el la stato al la stato : tio estas, la probablo transiri el al (sub "mezurprocezo") estas .
- Apartigebleco estas topologia propraĵo de spacoj. Hilberta spaco estas apartigebla s.n.s. ĝi havas numereblan ortnormalan bazon.
- Povas ke iu statoj en la spaco de statoj estas fakte nefizikaj. Du statoj kaj estas apartigita per superselektadaj sektoroj se ne ekzistas ia ajn observeblaĵoj A ke nenuligas . Nefizika estas stato apartigata per superselektadaj sektoroj el ĉiuj fizikaj statoj.
- La observeblaĵoj estas dense difinitaj, memadjunktaj operatoroj je . La atendata valoro de la observablaĵo kiam la sistemo estas en stato estas . La aro de eblaj valoroj de estas la aro de sia ajgenoj (aŭ, pli precize, elemento el sia spektro).
- La Hamiltona operatoro estas observeblaĵo ke specifas la tempevoluon. La teoremo de Stone donas ensurĵeton inter la dense difinitaj memadjunktaj operatoroj kaj forte kontinua unuparametra familio de unitaj operatoroj, tio estas, . La valoro de observeblaĵo ĉe tempo , por sistemo kiu estas en stato ĉe tempo , estos jeno:
- .
La Hamiltona operatoro havas unuon de energio. Tial, kiam uzanta la internacian sistemo de unuoj, oni devas aldoni konstanton de Planck al tiu ĉi formulo: nome, k.t.p. Teoriaj fizikistoj, tamen, normale uzas sistemon de unuoj kun .
Du metodoj povas interpreti tiun ĉi formulon de tempevoluo:
- En la Schrödingera vidpunkto, la stato de la sistemo ŝanĝiĝas laŭ tempo, nome, la stato ĉe tempo estas . La observeblaĵoj (kiel operatoroj) ne ŝanĝiĝas. (Tiu ĉi vidpunkto estas farita de Erwin Schrödinger.)
- En la Heisenberga vidpunkto, la stato de la sistemo ne ŝanĝiĝas; ĉia observeblaĵo ŝanĝiĝas laŭ . (Tiu ĉi vidpunkto estas farita de Werner Heisenberg.)
Kombinita sistemo
[redakti | redakti fonton]Ofte, unu sistemo estas farita el malgrandaj sistemoj kunigitaj.
- Supozu du sistemoj kombiniĝas formi pli granda sistemo: Sistemo 1 kun stata spaco kaj Sistemo 2 kun stata spaco . Tiam la kombinita sistemo havas kiel stata spaco jenon:
- se sistemo 1 kaj 2 estas distingebla, la tensoran produton ;
- se sistemo 1 kaj 2 estas nedistingebla kaj sekvas statistiko Bose-Einstein, la simetriigitan tensoran produton , kie estas la subspaco generita per elementoj kiel ;
- se sistemo 1 kaj 2 estas nedistingebla kaj sekvas statistiko Fermi-Dirac, la malsimetriigitan tensoran produton , kie estas la subspaco generita per elementoj kiel .
La statistiko de relativa sistemo sekvas ĝia spinon.
La Hamiltona operatoro de la kunigita sistemo estas sumo de Hamiltona operatoroj de ĉia subsistemoj, eble kun interagaj termoj.
La procezo de mezuro
[redakti | redakti fonton]Kvantuma teorio estas nedeterminisma en senco ke, por du sistemoj same preparitaj en saman difinitan staton , oni povas mezuri malsamajn valorojn por ia observeblaĵo . La eblaj mezuritaj valoroj de apartenas al spektro de (difinita laŭ mezurteorio). Se la spektro estas diskreta, la spektro estas aro de ajgenoj; tamen ekzistas observeblaĵoj kun kontinuaj spektroj (ekz., pozicio aŭ movokvanto). La probabla distribuo sur eblaj valoroj de por sistemo en stato estas
kie estas la projekcivalorata mezuro de (t.e. ). Se la spektro estas diskreta, la formulo simpliĝas jenen:
kie estas ortnormala bazo de ajgenspaco de ajgeno .
Post mezuro de ia observeblaĵo el sistemo en komenca stato , kiam la mezurita valoro de estas , la stato de la sistemo aperas ŝanĝi sendaŭre kaj nekontinue al . Tiu ĉi procezo estas nomita kolapson de ondfunkcio. Ke tiu ĉi procezo estas reala estas vidpunkto de la interpretado de Copenhagen, sed ekzistas aliaj interpretadoj kiuj malkonfirmas la realecon de tia ĉi "kolapso". Almenaŭe, tiu ĉi procezo estas necesa por ordinaraj kalkuloj.
Referencoj
[redakti | redakti fonton]- S. Auyang, How is Quantum Field Theory Possible?, Oxford University Press, 1995.
- D. Edwards, The Mathematical Foundations of Quantum Mechanics, Synthese, 42 (1979),pp. 1–70.
- G. Emch, Algebraic Methods in Statistical Mechanics and Quantum Field Theory, Wiley-Interscience, 1972.
- A. Gleason, Measures on the Closed Subspaces of a Hilbert Space, Journal of Mathematics and Mechanics, 1957.
- J.M. Jauch, Foundations of quantum mechanics, Addison-Wesley Publ. Cy., Reading, Mas., 1968.
- R. Jost, The General Theory of Quantized Fields, American Mathematical Society, 1965.
- T.S. Kuhn, Black-Body Theory and the Quantum Discontinuity, 1894–1912, Clarendon Press, Oxford and Oxford University Press, Novjorko, 1978.
- G. Mackey, Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, 1963 (represita de Dover 2004).
- J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
- M. Reed kaj B. Simon, Methods of Mathematical Physics, volumoj I–IV, Academic Press 1972.
- R. F. Streater kaj A. S. Wightman, PCT, Spin and Statistics and All That, Benjamin 1964 (represita de Princeton University Press).
- G. Teschl, Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators, American Mathematical Society, 2009.
- N. Weaver, "Mathematical Quantization", Chapman & Hall/CRC 2001.
- H. Weyl, The Theory of Groups and Quantum Mechanics, Dover, 1950.