Can you summarize the following document?
        
  對該定理一種比較完善的表述方法為:

  上述命題中的“對稱性”一詞精確一點來說是指物理定律在滿足某種技術要求的一維李群作用下所滿足的協變性。物理量的守恆定律通常用連續性方程表達。  定理的形式化命題僅從不變性條件就匯出和一個守恆的物理量相應的流的表示式。該守恆量稱為"諾特荷",而該流稱為"諾特流"。諾特流至多相差一個無散度向量場。

  諾特定理的應用幫助物理學家在物理的任何一般理論中通過分析各種使得所涉及的定律的形式保持不變的變換而獲得深刻的洞察力。例如:  在量子場論中,和諾特定理相似,沃德-高橋恆等式(Ward-Takahashi)產生出更多的守恆定律,例如從電勢和向量勢的規範不變性得出電荷的守恆。  諾特荷也被用於計算靜態黑洞的熵。

  設有一個n維流形M以及一個目標流形T。令formula_1為從M到T的光滑函式組成的位形空間。(更一般的情況下,可以有一個M上的纖維叢的光滑截面)  物理學中這樣的"M"的例子包括:  現在設有一個泛函  稱為作用量。(注意它在formula_3中而非formula_4中取值;這是有物理原因的,並且並不影響本證明。)  要得到通常版本的諾特定理,需要對作用量作額外的限制。假設S[φ]是M上的如下函式的積分  稱為拉格朗日量,它依賴於φ,包括它在各點的導數和位置。換句話說, 對於formula_1中的φ  若能給出邊界條件,也即,在M為緊緻的情況下φ在邊界的取值,或者在x趨向∞時,φ的極限。則formula_1的由滿足如下兩個條件的的φ組成的子空間就是在殼解的子空間,其一是φ的S的泛函導數為零,也即: 其二是φ滿足給定邊界條件。(參看穩定作用量原理)  現在,假設有一個無窮小變換,定義在formula_1上,它由一個泛函求導Q生成,滿足  對於所有緊緻子流形N成立,換句話講(散度定理),  對於所有"x"成立,其中令formula_13。  若這在在殼和離殼都成立,則稱"Q"生成一個離殼對稱性。若只在在殼情況成立,稱"Q"生成在殼對稱性。 並且,稱"Q"是單引數對稱性李群的生成元。  現在,對於每個"N",因為尤拉-拉格朗日方程,在殼(只有在殼)上,可以有 因為這對於所有"N"成立,所以有  但這無非就是對於如下的流的連續性方程 這被稱為和該對稱性相關的諾特流(Noether current)。該連續性方程說明如果對這個流在空間式切片上積分,就可以得到稱為諾特荷的守恆量(當然,必須假定M非緊緻時,該流趨向無窮遠處時下降足夠快)。

  諾特定理實際上是邊界條件和變分原理的關係的反映。假設作用量沒有邊界項,諾特定理意味著  諾特定理是一個在殼定理。諾特定理的量子化版本是沃德-高橋恆等式。  假定有兩個對稱性求導Q和Q。則[Q,Q]也是一個對稱性求導。顯式地來看  及  (這個是否離殼或僅僅在殼成立無關緊要)。則,  其中f=Q[f]-Q[f]。所以,  這表明可以(簡單地)將諾特定理擴張到更大的李代數上。

  這個推理可以應用到"任何"求導過程Q,不只是對稱性求導,也可以是更一般的泛函微分作用,包括拉格朗日量依賴於場的更高階的導數以及非區域性作用量的情況。令ε為任意時空(或時間)流形的光滑函式,滿足其支撐的閉包和邊界不交。ε是一個測試函式。則根據變分原理(附帶說一下,它"不"適用於邊界),由q[ε][φ(x)]=ε(x)Q[φ(x)]生成的求導分佈q滿足q[ε][S]=0對於任何在殼的ε成立,或者可以簡寫為q(x)[S]對於所有不在邊界上的x(注意q(x)是求導"分佈"的簡寫,通常不是用x引數化的求導)。這就是諾特定理的一般化。  要看出這個一般化和上面的版本如何對應,可以假設作用量就是隻依賴於φ及其一階導數的時空積分。並且,假設  (離殼或僅僅在殼都可以)。則,  對於所有ε成立。  更一般地講,如果拉格朗日量依賴於高階導數,則

  

  考慮一個特殊情況:<br><br> 設有一個質量為"m",座標為"x",在勢能"V"影響下運動,座標為"t"的牛頓粒子。其作用量"S"為: (也即,在一個彎曲黎曼空間(但不是彎曲時空)中運動的一個牛頓質點,該空間度量為"g",質點勢能為"V")。  取"Q"為時間平移的生成元。換句話說,formula_26。 [量子場理論學家經常在方程右邊加上一個因子"i"]。 注意  這有如下形式  所以可以令  則,  可以認出右邊就是能量,而諾特定理就是說formula_30 (也即,能量守恆就是時間平移的不變性的結果)。  更一般的來講,若拉格朗日量不顯式依賴於時間,如下物理量  (稱為哈密頓量)是守恆的。

  繼續使用一維時間。這次,令  也即"N"個勢能只依賴於兩兩相對位移的牛頓質點。  對於formula_32,考慮平移變換的生成元(也即座標系的變換)。換句話說,  注意  所以令  則,  諾特定理表明formula_38 (說明每個方向上的總動量守恆來自該方向上的平移不變性).

  上面的兩個例子都是在一維流形(時間)上的。下面來探討一個時空中的例子,若考慮(3+1)-閔可夫斯基時空中的無質量有一個四次勢的標量場的共形變換。  取"Q"為時空縮放的生成元。換句話說,  右手邊的第二項是由於φ的“共形權重”。注意  這有以下形式(其中進行了空指標的變換)  並令以下  則,  諾特定理表明formula_45 (可以直接將尤拉-拉格朗日方程代入左邊驗證)。  (注:如果要找出該方程的沃德-高橋版本,會遇到異常問題。)
諾特定理是理論物理的中心結果之一,它表達了連續對稱性和守恆定律的一一對應。例如,物理定律不隨著時間而改變,這表示它們有關於時間的某種對稱性。舉例來說,若現實中重力的強度每天都有所改變,就會違反能量守恆定律,因為觀察者可以在重力弱的那天把重物舉起,然後在重力強的時候放下來,這樣就得到了比一開始輸入的能量更多的能量。