A kvantummechanika matematikai alapjai a kvantummechanikai jelenségek matematikai modellezésének a kvantummechanikában elfogadott módszere , amely lehetővé teszi a kvantummechanikában megfigyelt mennyiségek számértékeinek kiszámítását. Létrehozták: Louis de Broglie [1] (anyaghullámok felfedezése ) , W. Heisenberg [2] ( mátrixmechanika létrehozása , a bizonytalansági elv felfedezése ), E. Schrödinger [3] ( Schrödinger-egyenlet ), N. Bohr [4] (a komplementaritás elve ). P. A. M. Dirac befejezte a kvantummechanika matematikai alapjainak megalkotását és modern formát adott nekik [5] [6] . A kvantummechanika matematikai egyenleteinek megkülönböztető jegye a Planck -állandó szimbólumának jelenléte .
A megfigyelhető mennyiségek és állapotok a kvantummechanikában a fizikai rendszerek leírásának fő jellemzői.
A megfigyelt mennyiségeket lineáris önadjungált operátorok modellezik egy komplex szeparálható Hilbert térben (állapottérben) [7] . Minden fizikai mennyiség egy lineáris hermitikus operátornak vagy mátrixnak felel meg. Például egy részecske sugárvektora a szorzó operátornak , a részecske impulzusa az operátornak , a szögimpulzus pedig az operátornak felel meg.
Az állapotokat ennek a térnek a normalizált elemeinek osztályai (állapotvektorok) modellezik, amelyek csak komplex tényezőben különböznek egymástól, egységnyi modulussal (normalizált hullámfüggvények). [7]
A hullámfüggvények kielégítik a szuperpozíció kvantumelvét : ha két lehetséges állapotot jelképeznek hullámfüggvények és , akkor van egy harmadik állapot, amelyet a hullámfüggvény képvisel.
ahol és tetszőleges amplitúdók [8] .
Egy fizikai mennyiség pontos mérésének eredménye csak ennek az operátornak a sajátértékei lehetnek . [7]
Az állapot nagyságértékeinek matematikai várakozását a következőképpen számítjuk ki . Itt a zárójelek a vektorok skaláris szorzatát jelölik (mátrixábrázolásnál az átlós mátrixelemet). [7]
Az állapotvektorok és akkor és csak akkor írják le ugyanazt az állapotot, ha hol tetszőleges komplex szám. Minden megfigyelhető egyedileg hozzá van rendelve egy lineáris önadjungált operátorhoz [9] . A megfigyelt mennyiség állapotbeli lehetséges értékeinek valószínűségi eloszlását a [10] mérték adja meg :
ahol a megfigyelt mennyiségnek megfelelő önadjungált operátor , az állapotvektor, az operátor spektrális függvénye, a zárójelek a vektorok skaláris szorzatát jelölik . A megfigyelt mennyiségek és állapotvektorok tetszőleges unitárius transzformációnak vethetők alá
Ebben az esetben egyetlen értelmes fizikai mennyiség sem változik. A megfigyelhetőek akkor és csak akkor mérhetők egyidejűleg, ha a megfelelő önadjungált operátorok ingáznak (kommutálnak).
Az együtt megfigyelt mennyiségek olyan mennyiségek, amelyek egyidejűleg mérhetők. Az operátorok halmaza együttesen megfigyelt mennyiségek teljes halmazát képezi, ha a kommutativitás feltételei ( mindenkire ), a kölcsönös függetlenség (egyik operátor sem ábrázolható a többi függvényeként), teljesség (nincs olyan operátor, amely mindennel ingázna és nem ezek függvénye). Adott értékkészlethez az állapotteret függvénytérként is megvalósíthatjuk pontszorzattal:
Az operátorok a szorzás operátorai a megfelelő változókkal:
A megfigyelhető értékek együttes eloszlása:
A háromdimenziós térben lévő részecske esetében a megfigyelhető mennyiségek a koordináták és a momentum .
A Schrödinger-reprezentációban (koordinátákhoz igazítva) az állapotteret négyzetes integrálható függvények alkotják belső szorzattal:
A koordináta operátorok a szorzóoperátorok:
A momentum operátorok differenciáló operátorok:
A derékszögű koordináta operátorok és impulzusoperátorok kielégítik a kommutációs relációkat :
Itt van Planck állandója . [7]
A derékszögű koordináta- és impulzusoperátorok mátrixelemei a klasszikus mechanikában Hamiltonhoz hasonló egyenleteket teljesítenek:
Itt van a klasszikus mechanika Hamilton-függvényének megfelelő operátor. [7]
A Hamilton-rendszer tiszta állapotának időbeni alakulását a nemstacionárius Schrödinger-egyenlet határozza meg
hol van a Hamilton:
A stacionárius, vagyis az időben nem változó állapotokat a stacionárius Schrödinger-egyenlet határozza meg:
Azt is feltételezzük, hogy egy kvantumrendszer evolúciója Markov-folyamat , és a részecskék száma állandó [11] . Ezek a rendelkezések lehetővé teszik egy olyan matematikai apparátus létrehozását, amely alkalmas a Hamilton-rendszerek tiszta állapotú kvantummechanikájának számos problémájának leírására. Ennek az apparátusnak a továbbfejlesztése a kvantumtérelmélet , amely általában változó számú részecskeszámú kvantumfolyamatokat ír le. A sűrűségmátrixot nyitott, nem-hamiltoni és disszipatív kvantumrendszerek állapotainak leírására , a Lindblad-egyenletet pedig az ilyen rendszerek fejlődésének leírására használják . A kvantum -nem-Markov-folyamatok leírására általában a Lindblad-egyenlet különféle általánosításait javasolják.
Bármely azonos elemi részecskepárban az elemi részecskék felcserélhetők anélkül, hogy fizikailag új állapotok jelennének meg. Matematikailag az azonosságelv a permutációs operátor sajátértékeire vonatkozó feltételt jelent : [12] .
A c állapotok antiszimmetrikusak (félegész spinű fermionok), a c állapotok szimmetrikusak (egész spinű bozonok).