Note 0 經典場論對應的拉格朗日力學

Note 0 經典場論對應的拉格朗日力學

來自專欄量子場論筆記

1、力學基礎

在物理學中,最基本的經典力學量是作用量 S。作用量的定義是拉格朗日函數對時間的積分。

S=int Ldt

拉格朗日函數 L=L(q_alpha,dot q_alpha,t) 是一個力學系統的特性函數,包含了一個力學系統的全部信息,對於連續的情況,拉格朗日函數可以寫成以場為宗量的函數。這樣拉格朗日可以寫成拉格朗日密度函數對空間部分的積分,作用量可以寫成

S=int Ldt=int d^4xmathcal L(phi,partial_mu phi)

根據最小作用量原理,位形空間的路徑對應於最小的作用量 S .這樣有:

delta S=0

delta S=deltaint d^4xmathcal L(phi,partial_muphi)=int d^4x{frac{partialmathcal L}{partialphi}deltaphi+frac{partialmathcal L}{partial(partial_muphi)}delta(partial_muphi)}=0

對第二項應用一遍分部積分,很容易得到

delta S=int d^4x{[frac{partialmathcal L}{partial phi}-partial_mu(frac{partialmathcal L}{partial(partial_muphi)})]deltaphi+partial_mu(frac{partialmathcal L}{partial(partial_muphi)}deltaphi)}=0

第二項根據Stokes公式可以轉化成表面積分,而在位形空間中t_1,t_2點場的變分為 0 .

這樣就得到了經典場的拉格朗日方程:

frac{partialmathcal L}{partial phi}-partial_mu(frac{partialmathcal L}{partial(partial_muphi)})=0	ag{1}

比較於經典力學離散體系的拉格朗日方程:

frac{d}{dt}frac{partial L}{partial dot q_alpha}-frac{partial L}{partial q_alpha}=0

場論里實質上是把場看成廣義坐標,實際上在經典電動力學裡我們就已經這樣處理了(參考Jackson的電動力學狹義相對論部分)。很顯然場在空間中是連續分布的,每一種場構型都對應著一個作用量,但是只有滿足拉格朗日方程的場才能保證最小作用量。這也是經典力學所需要保證的。根據費曼路徑積分公式:

U(x_a,x_b;T)=sum_{all\_paths}e^{i(phase)}=int Dx(t)e^{i(phase)}

這個phase實際上就是作用量 S

顯然如果作用量 S 不是極小值,那麼對於非最小作用量的路徑來說,相位變化會劇烈變化以至於相互之間發生抵消。也就是說必須要有 frac{delta S}{delta x(t)}=0 ,由此我們可以推導出拉格朗日方程,這就回到了本文剛開始。

對於給定的拉格朗日函數 L=int d^3xmathcal{L}(phi,dotphi) ,很自然我們可以定義正則動量

p=frac{partial}{partialdotphi}=frac{partial}{partialdotphi}int d^3ymathcal{L}(phi(y)dotphi(y))=pi(x)d^3x

這裡 pi(x)=frac{partial mathcal{L}}{partialdotphi(x)} 叫做共軛正則動量密度。再根據勒讓德變換帶入拉格朗日方程 (1) ,很快我們可得:

H=int d^3xmathcal{H}=int d^3x[pi(x)dotphi(x)-mathcal{L}]	ag{2}

這樣我們就得到了一個力學體系的另一個重要的特性函數——哈密頓函數

2、諾特原理

我們考慮一個空間連續分布的場 phi(x) ,其中它的無窮小變換形式為:

phi(x)
ightarrowphi(x)=phi(x)+alphaDeltaphi(x)

這裡 alpha 是無窮小變換參數, Deltaphi 是場構型的「畸變」。力學裡所謂的對稱變換是指保持動力學方程形式不變的變換,這裡我們的動力學方程是指拉格朗日方程。也就是說以上這種無窮小變換是保證了拉格朗日方程始終不變。

對於拉格朗日密度 ,我們考慮對應於 場 的無窮小畸變的導致的拉格朗日變化,近似到一階。因為拉格朗日密度函數是洛倫茲不變的,也就是 mathcal{L}(x)
ightarrowmathcal{L}(x)=mathcal{L}(Lambda^{-1}x) 。這就要求拉格朗日密度的一階項必須是一個四散度。

mathcal{L}(x)
ightarrowmathcal{L}(x)+alphapartial_mumathcal{J}^mu(x)

Deltamathcal{L} 全微分展開,可以得到:

Deltamathcal{L}=frac{partialmathcal{L}}{partial{phi}}Deltaphi+frac{partialmathcal{L}}{partial(partial_muphi)}partial_mu(Deltaphi)\ =partial_mu(frac{partialmathcal{L}}{partial(partial_muphi)}Deltaphi)+[frac{partialmathcal{L}}{partialphi}-partial_mu(frac{mathcal{L}}{partial(partial_muphi)})]Deltaphi

這樣比較 alphaDeltamathcal{L} 和上式,由 mathcal L
ightarrowmathcal L+alphaDeltamathcal L 可知:

partial_mu j^mu(x)=0	ag{3}

其中

j^mu(x)=frac{partialmathcal L}{partial(partial_muphi)}Deltaphi-mathcal J^mu	ag{4} .

(3) 的形式我們可以知道 j^mu(x) 是對應於變換 phi(x)
ightarrowphi(x)=phi(x)+alphaDeltaphi(x) 的守恆流。這就是我們所求得的諾特流局域守恆方程

我們可以定義守恆荷 Q :

Q=int_{all\_space} j^0(x)dx	ag{5}

如局域的連續性方程或者守恆流方程向全空間積分一樣,利用無窮邊界收斂於 0 . 顯然守恆荷是一個不隨時間變化的常量。

舉個例子,我們考慮一個洛倫茲無窮小變換 x^mu
ightarrow x^mu-a^mu ,顯然場構型的變化為:

phi(x)
ightarrowphi(x+a)=phi(x)+a^mupartial_muphi(x)

因為拉格朗日是洛倫茲不變的標量,所以拉格朗日也要有如下變換:

mathcal L
ightarrowmathcal L+a^mupartial_mumathcal L=mathcal L+a^
upartial_mu(delta^mu_
umathcal L)

後面 delta^mu_
u 的出是由於更換坐標導致的雅克比係數。

帶守恆流公式 (5) 里,很快我們能得到守恆流是能量動量張量:

T^mu_
u=frac{mathcal L}{partial(partial_muphi)}partial_
uphi-mathcal Ldelta^mu_
u	ag{6}

同樣的,對應於洛倫茲變換的守恆流 T^mu_
u ,我們也可以求出守恆荷,正是這個體系的哈密頓:

H=int T^{00}d^3x=intmathcal Hd^3x

與電動力學一樣的,能量動量坐標分量是與總動量的坐標分量緊密聯繫的。

P^i=int T^{0i}d^3x=-intpipartial_iphi d^3x

這也是物理上對應的動量,而不是正則動量。


推薦閱讀:

振動的指數形式
反開普勒問題
《小時物理百科》目錄
力學的幾何化
胸椎與胸廓、肋骨的動力學影響

TAG:量子物理 | 力學 | 量子場論 |