物理學中,正則量子化是多種對古典理論進行量子化的數學方法中的一種;在對古典場論進行量子化時,又稱二次量子化。「正則」這個詞其實源自古典理論,指的是理論中一種特定的結構(稱作辛結構(Symplectic structure)),這樣的結構在量子理論中也被保留。這在保羅·狄拉克嘗試建構量子場論時由他首先強調。
普通的量子力學方法只能處理粒子數守恆的系統。但在相對論量子力學中,粒子可以產生和湮沒,普通量子力學的數學表述方法不再適用。二次量子化通過引入產生算符和湮沒算符處理粒子的產生和湮沒,是建立相對論量子力學和量子場論的必要數學手段。相比普通量子力學表述方式,二次量子化方法能夠自然而簡潔的處理全同粒子的對稱性和反對稱性,所以即使在粒子數守恆的非相對論多體問題中,也被廣泛應用。
為何稱作「正則」?
「正則」(canonical)具有「標準」的意思,此一稱呼是因為此方法與源於古典力學的古典場論方法有強烈的關聯。在古典場論中,場φ(x, t)為動力學變數,在每個時空點x, t都有值。若將之視為正則坐標,則正則動量為φ的空間導數。在古典動力學中,這些量所組成的卜瓦松括號應該為一。在量子力學中,正則坐標與正則動量都變成了算符,而卜瓦松括號變成了對易子或反對易子。運用到這樣關係的量子化即為正則量子化。
量子化的數學形式
多粒子態
在二次量子化的表述中,多粒子態簡單的以標記每個量子態上有多少個粒子來表示:
![{\displaystyle |n_{1},n_{2},n_{3},\cdots \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/70aa62a7a973b5d67a7459589dbc79a1c5ebc4b2)
即「量子態1上有n1個粒子,量子態2上有n2個粒子,量子態3上有n3個粒子,……」
玻色子的二次量子化
湮沒算符
![{\displaystyle a_{2}|N_{1},N_{2},N_{3},\cdots \rangle ={\sqrt {N_{2}}}\mid N_{1},(N_{2}-1),N_{3},\cdots \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a93c4a13f91ca6bf1de529d35e48f0e315a99b52)
產生算符
![{\displaystyle a_{2}^{\dagger }|N_{1},N_{2},N_{3},\cdots \rangle ={\sqrt {N_{2}+1}}\mid N_{1},(N_{2}+1),N_{3},\cdots \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d330554d5c03405d4774b8086d36ac73c61a090b)
對易關係
![{\displaystyle \left[a_{i},a_{j}\right]=0\quad ,\quad \left[a_{i}^{\dagger },a_{j}^{\dagger }\right]=0\quad ,\quad \left[a_{i},a_{j}^{\dagger }\right]=\delta _{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b146b529c752587d29225c4f23ed9dc2d3a1eb1)
費米子的二次量子化
湮沒算符
![{\displaystyle c_{j}|N_{1},N_{2},\cdots ,N_{j}=0,\cdots \rangle =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff0a6ed39493d55619c2fa682a7f7596023e6865)
![{\displaystyle c_{j}|N_{1},N_{2},\cdots ,N_{j}=1,\cdots \rangle =(-1)^{(N_{1}+\cdots +N_{j-1})}|N_{1},N_{2},\cdots ,N_{j}=0,\cdots \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5faadca817f4d6761a086108d15c58474731ced7)
產生算符
![{\displaystyle c_{j}^{\dagger }|N_{1},N_{2},\cdots ,N_{j}=0,\cdots \rangle =(-1)^{(N_{1}+\cdots +N_{j-1})}|N_{1},N_{2},\cdots ,N_{j}=1,\cdots \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea07c3c810ea6c9caa70875130aaa07671a1fd04)
![{\displaystyle c_{j}^{\dagger }|N_{1},N_{2},\cdots ,N_{j}=1,\cdots \rangle =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0af6fa05e1f518087e5a53fe3275c29e14fc953b)
反對易關係
![{\displaystyle \left\{c_{i},c_{j}\right\}=0\quad ,\quad \left\{c_{i}^{\dagger },c_{j}^{\dagger }\right\}=0\quad ,\quad \left\{c_{i},c_{j}^{\dagger }\right\}=\delta _{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ad515edbb57ffa5114627bff9055f6b4762ab31)
場算符
相關條目