諾特定理是理論物理的中心結果之一,它表達了每個連續對稱性都有著相應的守恆定律。例如,物理定律不隨著時間而改變,這表示它們有關於時間的某種對稱性。舉例來說,若現實中重力的強度每天都有所改變,就會違反能量守恆定律,因為觀察者可以在重力弱的那天把重物舉起,然後在重力強的時候放下來,這樣就得到了比一開始輸入的更多的能量。
諾特定理對於所有基於作用量原理的物理定律是成立的。它得名於20世紀初的數學家埃米·諾特。諾特定理和量子力學深刻相關,因為它僅用古典力學的原理就可以認出和海森堡測不準原理相關的物理量(譬如位置和動量)。
對該定理一種比較完善的表述方法為:
- 對於每個局部作用下的可微對稱性,存在一個對應的守恆流。
上述命題中的「對稱性」一詞精確一點來說是指物理定律在滿足某種技術要求的一維李群作用下所滿足的協變性。物理量的守恆定律通常用連續性方程式表達。
定理的形式化命題僅從不變性條件就導出和一個守恆的物理量相應的流的表達式。該守恆量稱為諾特荷,而該流稱為諾特流。諾特流至多相差一個無散度向量場。
諾特定理的應用幫助物理學家在物理的任何一般理論中通過分析各種使得所涉及的定律的形式保持不變的轉換而獲得深刻的洞察力。例如:
- 對於物理系統對於空間平移的不變性(換言之,物理定律不隨著空間中的位置而變化)給出了動量的守恆律;
- 對於轉動的不變性給出了角動量的守恆律;
- 對於時間平移的不變性給出了著名的能量守恆定律。
在量子場論中,和諾特定理相似,沃德-高橋恆等式(Ward-Takahashi)產生出更多的守恆定律,例如從電位和向量勢的規範不變性得出電荷的守恆。
諾特荷也被用於計算靜態黑洞的熵1。
設有一個n維流形M以及一個目標流形T。令
為從M到T的光滑函數組成的位形空間。(更一般的情況下,可以有一個M上的纖維叢的光滑截面)
物理學中這樣的"M"的例子包括:
- 古典力學上,哈密頓表述中,M是一個一維流形R,代表時間而目標空間是廣義位置的空間的餘切叢。
- 場論中,M是時空流形,而目標空間是場在任何給定可取的值的集合。例如,如果有m個實值純量場,φ1,...,φm,則目標流形是Rm。若流形是一個實向量場,則目標流形同構於R3。
現在設有一個泛函
![{\displaystyle S:{\mathcal {C}}\rightarrow \mathbb {R} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aafae031cb94b5aa5010b7085f38c6b83921b2c0)
稱為作用量。(注意它在
中而非
中取值;這是有物理原因的,並且並不影響本證明。)
要得到通常版本的諾特定理,需要對作用量作額外的限制。假設S[φ]是M上的如下函數的積分
![{\displaystyle {\mathcal {L}}(\varphi ,\partial _{\mu }\varphi ,x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a43cde2823dd7f439971849d5f8d2a9ce2ba51dc)
稱為拉格朗日量,它依賴於φ,包括它在各點的導數和位置。換句話說,
對於
中的φ
![{\displaystyle S[\varphi ]\equiv \int _{M}d^{n}x{\mathcal {L}}[\varphi (x),\partial _{\mu }\varphi (x),x].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90bc5583ac4b42e658502cb551b4fc176182467b)
若能給出邊界條件,也即,在M為緊緻的情況下φ在邊界的取值,或者在x趨向∞時,φ的極限。則
的由滿足如下兩個條件的φ組成的子空間就是在殼解的子空間,其一是φ的S的泛函導數為零,也即:
![{\displaystyle {\frac {\delta }{\delta \phi (x)}}S[\phi ]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97932d71bdf06db25e0943fec6a5f4405ab2e68b)
其二是φ滿足給定邊界條件。(參看穩定作用量原理)
現在,假設有一個無窮小轉換,定義在
上,它由一個泛函微分Q生成,滿足
![{\displaystyle Q\left[\int _{N}d^{n}x{\mathcal {L}}\right]=\int _{\partial N}ds_{\mu }f^{\mu }[\phi (x),\partial \phi ,\partial \partial \phi ,...]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09b0a9a39fecf18579bfcce4deebb654a5249966)
對於所有緊緻子流形N成立,換句話講(散度定理),
![{\displaystyle Q[{\mathcal {L}}(x)]=\partial _{\mu }f^{\mu }(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/783dfeb077d75c74001b16901af455cdcee9739a)
對於所有x成立,其中令
。
若這在在殼和離殼都成立,則稱Q生成一個離殼對稱性。若只在在殼情況成立,稱Q生成在殼對稱性。
並且,稱Q是單參數對稱性李群的生成元。
現在,對於每個N,因為歐拉-拉格朗日方程式,在殼(只有在殼)上,可以有
因為這對於所有N成立,所以有
![{\displaystyle \partial _{\mu }\left[{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi )}}Q[\phi ]-f^{\mu }\right]=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5a44e9177e39f9045474833ae6cfe012e3a6c46)
但這無非就是對於如下的流的連續性方程式
![{\displaystyle J^{\mu }\equiv {\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi )}}Q[\phi ]-f^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/173f68b3711551863ce9021cb7e2bdc47bba873b)
這被稱為和該對稱性相關的諾特流(Noether current)。該連續性方程式說明如果對這個流在空間式切片上積分,就可以得到稱為諾特荷的守恆量(當然,必須假定M非緊緻時,該流趨向無窮遠處時下降足夠快)。
諾特定理實際上是邊界條件和變分原理的關係的反映。假設作用量沒有邊界項,諾特定理意味著
![{\displaystyle \int _{\partial N}ds_{\mu }J^{\mu }=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3b77651384ff0d4fba424266cbec2a21ea1bfc2)
諾特定理是一個在殼定理。諾特定理的量子化版本是沃德-高橋恆等式。
假定有兩個對稱性微分Q1和Q2。則[Q1,Q2]也是一個對稱性微分。顯式地來看
![{\displaystyle Q_{1}[{\mathcal {L}}]=\partial _{\mu }f_{1}^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61b0c08a9530946711f71832c2e150b0789a0f44)
及
![{\displaystyle Q_{2}[{\mathcal {L}}]=\partial _{\mu }f_{2}^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08ce9fdc740605a74ca0751af8b2617819719e27)
(這個是否離殼或僅僅在殼成立無關緊要)。則,
![{\displaystyle [Q_{1},Q_{2}][{\mathcal {L}}]=Q_{1}[Q_{2}[{\mathcal {L}}]]-Q_{2}[Q_{1}[{\mathcal {L}}]]=\partial _{\mu }f_{12}^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd515330027976376458d2f316a753975eb220c6)
其中f12=Q1[f2μ]-Q2[f1μ]。所以,
![{\displaystyle j_{12}^{\mu }=\left({\frac {\partial }{\partial (\partial _{\mu }\phi )}}{\mathcal {L}}\right)(Q_{1}[Q_{2}[\phi ]]-Q_{2}[Q_{1}[\phi ]])-f_{12}^{\mu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5d838675b0ff174ffcb22bd52e9e48e3eacef74)
這表明可以(簡單地)將諾特定理擴張到更大的李代數上。
這個推理可以應用到任何微分過程Q,不只是對稱性微分,也可以是更一般的泛函微分作用,包括拉格朗日量依賴於場的更高階的導數以及非局部作用量的情況。令ε為任意時空(或時間)流形的光滑函數,滿足其支撐的閉包和邊界不交。ε是一個測試函數。則根據變分原理(附帶說一下,它不適用於邊界),由q[ε][φ(x)]=ε(x)Q[φ(x)]生成的微分分布q滿足q[ε][S]=0對於任何在殼的ε成立,或者可以簡寫為q(x)[S]對於所有不在邊界上的x(注意q(x)是微分分布的簡寫,通常不是用x參數化的微分)。這就是諾特定理的一般化。
要看出這個一般化和上面的版本如何對應,可以假設作用量就是只依賴於φ及其一階導數的時空積分。並且,假設
![{\displaystyle Q[{\mathcal {L}}]=\partial _{\mu }f^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f841507b339fc1150872c54b3de4eb8547c22752)
(離殼或僅僅在殼都可以)。則,
![{\displaystyle =\int d^{d}x\left({\frac {\partial }{\partial \phi }}{\mathcal {L}}\right)\epsilon Q[\phi ]+\left[{\frac {\partial }{\partial (\partial _{\mu }\phi )}}{\mathcal {L}}\right]\partial _{\mu }(\epsilon Q[\phi ])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e658bc09ceb19b145c728a6b164d899b9c27f2)
![{\displaystyle =\int d^{d}x\epsilon \partial _{\mu }{\Bigg \{}f^{\mu }-\left[{\frac {\partial }{\partial (\partial _{\mu }\phi )}}{\mathcal {L}}\right]Q[\phi ]{\Bigg \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4627f97a550d3e2c97b41042b7b954f5d9a0926e)
對於所有ε成立。
更一般地講,如果拉格朗日量依賴於高階導數,則
![{\displaystyle \partial _{\mu }\left[f^{\mu }-\left[{\frac {\partial }{\partial (\partial _{\mu }\phi )}}{\mathcal {L}}\right]Q[\phi ]-2\left[{\frac {\partial }{\partial (\partial _{\mu }\partial _{\nu }\phi )}}\right]\partial _{\nu }Q[\phi ]+\partial _{\nu }\left[\left[{\frac {\partial }{\partial (\partial _{\mu }\partial _{\nu }\phi )}}{\mathcal {L}}\right]Q[\phi ]\right]-\,\cdots \right]=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/853e8a47dd40122caeae46c2c517d534d41c7bd9)
考慮一個特殊情況:
設有一個質量為m,坐標為x,在位能V影響下運動,坐標為t的牛頓粒子。其作用量S為:
|
|
|
|
(也即,在一個彎曲黎曼空間(但不是彎曲時空)中運動的一個牛頓質點,該空間度量為g,質點位能為V)。
取Q為時間平移的生成元。換句話說,
。 [量子場理論學家經常在方程式右邊加上一個因子i]。 注意
![{\displaystyle Q[{\mathcal {L}}]=mg_{ij}{\dot {x}}^{i}{\ddot {x}}^{j}-{\frac {\partial }{\partial x^{i}}}V(x){\dot {x}}^{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46a187b4d1dbcf25aaf0263f3b47594ef916e5ed)
這有如下形式
![{\displaystyle {\frac {d}{dt}}\left[{\frac {m}{2}}g_{ij}{\dot {x}}^{i}{\dot {x}}^{j}-V(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8890fcb4e8ce09cc28b3dfafe6c1f5413077c908)
所以可以令
![{\displaystyle f={\frac {m}{2}}g_{ij}{\dot {x}}^{i}{\dot {x}}^{j}-V(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/931f31f6f3479ce589ed03c4d5c01b2aafbc949a)
則,
|
|
|
|
|
|
可以認出右邊就是能量,而諾特定理就是說
(也即,能量守恆就是時間平移的不變性的結果)。
更一般的來講,若拉格朗日量不顯式依賴於時間,如下物理量
![{\displaystyle \sum _{i}\left({\frac {\partial }{\partial {\dot {x}}^{i}}}{\mathcal {L}}\right){\dot {x^{i}}}-{\mathcal {L}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d0a237877b5e4ea038a926ff0c2c3bc3edb8aed)
(稱為哈密頓量)是守恆的。
繼續使用一維時間。這次,令
|
|
|
|
也即N個位能只依賴於兩兩相對位移的牛頓質點。
對於
,考慮平移轉換的生成元(也即坐標系的轉換)。換句話說,
![{\displaystyle Q_{i}[x_{\alpha }^{j}(t)]=\delta _{i}^{j}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc392d4afb108dc3c5c9610dd20f0ec69ec951ac)
注意
![{\displaystyle Q_{i}[{\mathcal {L}}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fdf5cfc80f78c1c9814df1f14e20cdb4e56beb2)
所以令
![{\displaystyle {\vec {f}}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05f25c12dd167213796e862ecc7ed3c9fbd8d473)
則,
![{\displaystyle {\vec {J_{i}}}=\sum _{\alpha }\left({\frac {\partial }{\partial {\dot {\vec {x}}}_{\alpha }}}{\mathcal {L}}\right)\cdot {\vec {Q}}[{\vec {x}}_{\alpha }]-{\vec {f}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce4201070e2d02568a088a3e2d3c71cef97baf9d)
![{\displaystyle =\sum _{\alpha }m_{\alpha }{\dot {\vec {x}}}_{\alpha }^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b867959bf5cc81dfd1273e90aa7d989f5c3312fb)
諾特定理表明
(說明每個方向上的總動量守恆來自該方向上的平移不變性).
上面的兩個例子都是在一維流形(時間)上的。下面來探討一個時空中的例子,若考慮(3+1)-閔考斯基時空中的無質量有一個四次勢的純量場的共形轉換。
|
|
|
|
取Q為時空縮放的生成元。換句話說,
![{\displaystyle Q[\phi (x)]=x^{\mu }\partial _{\mu }\phi (x)+\phi (x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/994daaa255a2f7b4a7a322e6a86c8b92b59dd765)
右手邊的第二項是由於φ的「共形權重」。注意
![{\displaystyle Q[{\mathcal {L}}]=\partial ^{\mu }\phi \left(\partial _{\mu }\phi +x^{\nu }\partial _{\mu }\partial _{\nu }\phi +\partial _{\mu }\phi \right)-4\lambda \phi ^{3}\left(x^{\mu }\partial _{\mu }\phi +\phi \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9d30cc05d6fcc28389d36f31f49728f48b9d1c3)
這有以下形式(其中進行了空指標的轉換)
![{\displaystyle \partial _{\mu }\left[{\frac {1}{2}}x^{\mu }\partial ^{\nu }\phi \partial _{\nu }\phi -\lambda x^{\mu }\phi ^{4}\right]=\partial _{\mu }\left(x^{\mu }{\mathcal {L}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b53d6799002a83efa601ba5a2259023100667fd)
並令以下
![{\displaystyle f^{\mu }=x^{\mu }{\mathcal {L}}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2423d5229e1faa3859fe7c099247cdd678b37604)
則,
![{\displaystyle j^{\mu }=\left[{\frac {\partial }{\partial (\partial _{\mu }\phi )}}{\mathcal {L}}\right]Q[\phi ]-f^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3213b7074ca204f363c211a6b985c3f405d85bac)
![{\displaystyle =\partial ^{\mu }\phi \left(x^{\nu }\partial _{\nu }\phi +\phi \right)-x^{\mu }\left({\frac {1}{2}}\partial ^{\nu }\phi \partial _{\nu }\phi -\lambda \phi ^{4}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65b7b883ab243c15e4f00d614fcc7a7a7c1be008)
諾特定理表明
(可以直接將歐拉-拉格朗日方程式代入左邊驗證)。
(註:如果要找出該方程式的沃德-高橋版本,會遇到異常問題。)