讓我們回到傳播子
![{\displaystyle \langle B|A\rangle =\int \!{\mathcal {DC}}\,Z[{\mathcal {C}}:A\rightarrow B].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72eaf6dfa02f89e76d82984dd9eb38306e5b832f)
對於一個自由且穩定的粒子,我們發現
![{\displaystyle Z[{\mathcal {C}}]=e^{-(i/\hbar )\,m\,c^{2}\,s[{\mathcal {C}}]},\qquad s[{\mathcal {C}}]=\int _{\mathcal {C}}ds,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95777a5c221f93c1702f67750fd8cd2887d0838f)
其中
是與路徑元素
相關的固有時間隔。對於一般情況,我們發現振幅
是
和
的函式,或者等效地,是座標
、4-速度的元件
,以及
的函式。對於一個穩定但並非自由的粒子,我們透過與上述振幅相同的論證得到,
![{\displaystyle Z[{\mathcal {C}}]=e^{(i/\hbar )\,S[{\mathcal {C}}]},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0c875d7b6098a105324faf2a00b5d492b73ddea)
我們已經引入了名為作用量的函式
。
對於一個自由且穩定的粒子,
是固有時間(或固有持續時間)
乘以
,無窮小作用量
與
成正比。
![{\displaystyle S[{\mathcal {C}}]=-m\,c^{2}\,s[{\mathcal {C}}],\qquad dS[d{\mathcal {C}}]=-m\,c^{2}\,ds.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef2d4b6235f56a34782cd011b4a96c669b48d85e)
讓我們回顧一下。如果我們知道如何計算機率
(在所有情況下),我們就可以瞭解穩定粒子的所有運動。如果我們知道振幅
,我們就可以知道這一點。如果我們知道函式
,我們就可以知道後者。如果我們知道無窮小作用量
或
(在所有情況下),我們就可以知道這個函式。
我們對
知道什麼呢?
連續傳播子的可乘性意味著相鄰無窮小路徑段
和
相關作用量的可加性。換句話說,

意味著

由此可見,微分
對微分
是齊次的(次數為 1)。

的這一性質使我們能夠將作用量
視為與
相關的(特定於粒子的)長度,而將
視為定義了(特定於粒子的)時空幾何。將
代入
,得到

這似乎有些不對勁,不是嗎?由於等式右側現在是一個有限量,我們不應該對左側使用符號
。我們實際上發現了一個函式
,被稱為 *拉格朗日函式*,使得
。
考慮從
到
的時空路徑
。讓我們以這樣一種方式改變(“變化”)它,即
的每個點
都向對應點
平移了無窮小的量,但端點保持固定:
和
在
和 
如果
那麼 
同樣地,
一般來說,變化
會導致動作的相應變化:
如果動作沒有改變(也就是說,如果它在
處是 *靜止的* ),

那麼
是由
定義的幾何的 *測地線*。(函式
在
的這些值處是靜止的,當
無限小變化時,它的值不會改變。同樣,我們稱泛函
是靜止的,如果它的值不會改變,當
無限小變化。)
為了得到一種更方便的方法來表徵測地線,我們從擴充套件開始


這給了我們
![{\displaystyle (^{*})\quad \int _{{\mathcal {C}}'}dS-\int _{\mathcal {C}}dS=\int _{\mathcal {C}}\left[{\partial dS \over \partial t}\delta t+{\partial dS \over \partial \mathbf {r} }\cdot \delta \mathbf {r} +{\partial dS \over \partial dt}d\,\delta t+{\partial dS \over \partial d\mathbf {r} }\cdot d\,\delta \mathbf {r} \right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd986655174c40d198342caff54ab5c9bf73c1fe)
接下來我們使用導數的乘積規則,


用來替換(*)中的最後兩項,這將我們帶到
![{\displaystyle \delta S=\int \left[\left({\partial dS \over \partial t}-d{\partial dS \over \partial dt}\right)\delta t+\left({\partial dS \over \partial \mathbf {r} }-d{\partial dS \over \partial d\mathbf {r} }\right)\cdot \delta \mathbf {r} \right]+\int d\left({\partial dS \over \partial dt}\delta t+{\partial dS \over \partial d\mathbf {r} }\cdot \delta \mathbf {r} \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/175529713e04b4e19b6654372ba39f6d49c2a479)
第二個積分消失是因為它等於括號內表示式在端點
和
處的差值,其中
並且
如果
是測地線,那麼第一個積分也消失了。事實上,在這種情況下,
必須對所有可能的(無窮小)變化
和
成立,因此第一個積分的被積函式消失。底線是,由
定義的測地線滿足測地線方程
|
如果一個物體從
運動到
它沿著從
到
的所有路徑運動,與電子穿過兩條縫的方式相同。那麼,為什麼大的物體(如行星、網球或蚊子)似乎沿著一條單一且明確的路徑運動呢?
至少有兩個原因。其中一個原因是,物體越大,越難滿足規則
中規定的條件。另一個原因是,即使滿足這些條件,找到質量為
的物體的可能性,根據經典物理定律,它不應該存在,隨著
的增加而降低。
為了看到這一點,我們需要考慮到一個從
運動到
的物體,嚴格來說不可能檢查它是否沿著數學上精確的路徑
運動。讓我們做一個半現實的假設,即我們可以檢查的是,一個物體是否在一條狹窄的路徑束內從
運動到
— 這些路徑包含在一個狹窄的管道
內。找到它已經運動到
的機率是路徑積分
的絕對平方,它對
中包含的路徑求和。
讓我們假設從
到
恰好只有一條路徑,對於該路徑,
是固定的:無論我們如何稍微改變路徑,它的長度都不會改變。換句話說,我們假設只有一條測地線。讓我們稱它為
,並假設它位於
內。
無論路徑
如何變化,相位
在
處將保持靜止。這意味著,寬泛地說,大量靠近
的路徑對
的貢獻具有幾乎相同的相位。因此,相應相位因子
之和的幅度很大。
如果
在
處不保持靜止,則取決於它在
變化時變化的速度。如果變化速度足夠快,則與靠近
的路徑相關的相位或多或少地均勻地分佈在區間
上,因此相應的相位因子加起來得到一個幅度相對較小的複數。在極限
中,對
的唯一顯著貢獻來自
無窮小鄰域內的路徑。
我們假設
位於
。如果它不在,並且如果
變化足夠快,則與
中任何路徑附近的路徑相關的相位在間隔
上或多或少地均勻分佈,因此在極限
中,對
沒有顯著的貢獻。
正如你所記得的,對於自由粒子,
從中我們可以得出,在根據經典物理定律不應該存在的地方找到一個自由運動的物體的可能性,隨著其質量的增加而降低。由於對於足夠重的物體,由於運動的影響而導致的動作貢獻相對於
很小,對於不自由運動的物體也是如此。
那麼,什麼是經典物理定律?
它們是量子物理定律在極限
中退化的形式。在這個極限下,正如你從上面所瞭解到的,發現一個粒子在一個包含測地線的管子(無論有多窄)中運動的機率是 1,而發現一個粒子在一個不包含測地線的管子(無論有多寬)中運動的機率是 0。因此,我們可以透過說它遵循由
定義的幾何的測地線來陳述經典物理定律(首先是單個“點質量”)。
這很容易推廣。一個具有
個自由度的系統(例如,一個具有
個粒子的系統,具有
個自由度)的傳播子是
![{\displaystyle \langle {\mathcal {P}}_{f},t_{f}|{\mathcal {P}}_{i},t_{i}\rangle =\int \!{\mathcal {DC}}\,e^{(i/\hbar )S[{\mathcal {C}}]},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb7cf16b6d2cd4896968e978d85d443e35ea1bfb)
其中
和
分別是系統在初始時刻
和最終時刻
的系統配置,積分是對系統
維配置時空中所有從
到
在這種情況下,相應的經典系統遵循由作用量微分
定義的幾何的測地線,作用量微分現在依賴於
個空間座標,一個時間座標和相應的
個微分。
經典系統遵循其作用量定義的幾何的測地線的論斷通常被稱為最小作用量原理。更恰當的名稱是駐定作用量原理。
觀察到,如果
不依賴於
(也就是說,
)那麼

沿著測地線是常數。(我們很快就會發現負號的原因。)
同樣,如果
不依賴於
(也就是說,
)那麼

沿著測地線是常數。
告訴我們投影
的線段
在路徑
上,對時間軸上的作用有多少貢獻
告訴我們投影
的
在空間上的投影對
如果
沒有顯式的時間依賴性,那麼時間軸上的等間隔對
做出相同的貢獻,如果
沒有顯式空間依賴性,那麼任何空間軸上的等間隔對
在前一種情況下,等時間間隔是物理等價的:它們表示等時間。在後一種情況下,等空間間隔是物理等價的:它們表示等距離。
如果時間座標的等間隔或空間座標的等間隔不是物理等價的,那麼這有兩種原因。第一個是使用了非慣性座標。因為如果使用慣性座標,那麼每個自由移動的點質量在時間座標的等間隔內,都會在空間座標上移動等間隔,這意味著等座標間隔是物理等價的。第二個是,無論移動的是什麼,它都不是自由移動的:無論什麼,無論如何,都會影響它的運動。這是因為將物體運動的影響納入量子物理數學形式主義的一種方法是,透過讓
依賴於
和/或
來使慣性座標間隔在物理上不等價。
因此,對於自由運動的經典物體,
和
都是常數。由於
的恆定性源於座標時間等間隔的物理等效性(也稱為時間的“齊性”),並且由於(經典地)能量被定義為其恆定性由時間的齊性所暗示的量,
是物體的能量。
同樣,由於
的恆定性源於任何空間座標軸等間隔的物理等效性(也稱為空間的“齊性”),並且由於(經典地)動量被定義為其恆定性由空間的齊性所暗示的量,
是物體的動量。
讓我們對先前結果進行微分。

關於
左側變為

而右側則僅為
將
代入,並使用上面對
和
的定義,我們得到
|
是一個四維標量。 由於
是一個四維向量的分量,等式左側,
當且僅當
是另一個四維向量的分量。
(如果我們沒有定義
沒有負號,那麼這個四維向量將具有分量
)
在自由質點的靜止系
中,
並且
使用 洛倫茲變換,我們發現這等於

其中
是質點在
中的速度。 將其與上面框起來的公式進行比較,我們發現對於一個自由質點,

為了將作用對粒子運動的影響(無論其原因)考慮在內,我們必須修改自由粒子與路徑段相關聯的作用微分
。在這樣做的時候,我們必須注意,修改後的
(i) 仍然是 微分齊次的,並且 (ii) 仍然是一個四維標量。最直接的方法是新增一個不僅是齊次的,而且在座標微分中是線性的項

信不信由你,所有經典電磁效應(而不是它們的原因)都可以用這個表示式來解釋。
是一個標量場(即,在空間座標旋轉下保持不變的時間和空間座標函式),
是一個三維向量場,而
是一個四維向量場。我們將
和
分別稱為標量勢和向量勢。粒子特定的常數
是電荷,它決定了特定種類的粒子受到電磁影響的強度。
如果一個點質量不是自由的,那麼上一節末尾的表示式給出了它的動能
和它的動量
將(*)寫成以下形式
![{\displaystyle dS=-(E_{k}+qV)\,dt+[\mathbf {p} _{k}+(q/c)\mathbf {A} ]\cdot d\mathbf {r} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/76d24186c4bede17212148c2fa641fdb8150f164)
並將它代入定義

我們得到

和
分別是粒子的勢能和勢動量。
現在我們將(**)代入測地線方程

對於右手邊,我們得到
![{\displaystyle d\mathbf {p} _{k}+{q \over c}d\mathbf {A} =d\mathbf {p} _{k}+{q \over c}\left[dt{\partial \mathbf {A} \over \partial t}+\left(d\mathbf {r} \cdot {\partial \over \partial \mathbf {r} }\right)\mathbf {A} \right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3371cba964aa53e1f1dec5226bb823c0558f0629)
而左手邊則計算為
![{\displaystyle -q{\partial V \over \partial \mathbf {r} }dt+{q \over c}{\partial (\mathbf {A} \cdot d\mathbf {r} ) \over \partial \mathbf {r} }=-q{\partial V \over \partial \mathbf {r} }dt+{q \over c}\left[\left(d\mathbf {r} \cdot {\partial \over \partial \mathbf {r} }\right)\mathbf {A} +d\mathbf {r} \times \left({\partial \over \partial \mathbf {r} }\times \mathbf {A} \right)\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6151b8f186d369cb0d68585b16e2f80181311f90)
兩項抵消,最終結果為

當一個經典物體沿著測地線的段
行進時,它的動量變化由兩項之和決定,一項與
的時間分量
成正比,另一項與空間分量
成正比。
對
的變化貢獻取決於電場
而
的貢獻取決於磁場
最後一個方程通常寫成以下形式

稱為洛倫茲力定律,並伴隨以下敘述:存在一個稱為電磁場的物理實體,它無處不在,並對電荷施加電場力
和磁場力
(注意:洛倫茲力定律的這種形式是在高斯單位制中成立的。在MKSA 單位制中,
消失了。)
想象一個時空中有一個小矩形,其頂點為

讓我們計算從
到
經
路徑的單位電荷 (
) 在自然單位中 (
)
![{\displaystyle \quad =-V(dt/2,0,0,0)\,dt+\left[A_{x}(0,dx/2,0,0)+{\partial A_{x} \over \partial t}dt\right]dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a951a567645f5eb4bbdd5a7ea337eaac53926ecf)
接下來,從
到
經過
的路徑對作用的貢獻。
![{\displaystyle =A_{x}(0,dx/2,0,0)\,dx-\left[V(dt/2,0,0,0)+{\partial V \over \partial x}dx\right]dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9d37cd2d7410184894e1b32ff9be38968a7fe78)
觀察差異

或者,你可以將
看作是迴路
的電磁作用貢獻。
讓我們重複計算一個具有以下角點的矩形:

![{\displaystyle =A_{z}(0,0,0,dz/2)\,dz+\left[A_{y}(0,0,dy/2,0)+{\partial A_{y} \over \partial z}dz\right]dy,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bf1b951a7d6ab779c6c262758f4f922bb2c9677)
![{\displaystyle =A_{y}(0,0,dy/2,0)\,dy+\left[A_{z}(0,0,0,dz/2)+{\partial A_{z} \over \partial y}dy\right]dz,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf5146def106e98da62a252b30699f3824d18045)

因此,該環路的動作的電磁貢獻等於
穿過該環路的通量。
記住 (i) 斯托克斯定理 和 (ii)
的 定義(用
表示),我們發現

換句話說,穿過一個環路
(或穿過任何由
包圍的表面
)的磁通量等於
在該環路(或任何由該環路包圍的表面)周圍的環流。
在有限的矩形
周圍進行的迴圈
的作用,是增加(或減少)與線段
相關的動作,相對於與線段
相關的動作。如果這兩個線段的動作相等,那麼我們可以預期從
到
的最小作用路徑是一條直線。如果一個線段的動作大於另一個線段的動作,那麼我們可以預期從
到
的最小作用路徑會偏離動作較大的線段。
將這與經典故事進行比較,經典故事透過呼叫垂直於磁場和粒子運動方向的力來解釋帶電粒子在磁場中的路徑彎曲。對同一效應的量子力學處理沒有提供這樣的解釋。量子力學沒有呼叫任何機制。它只是告訴我們,對於從
到
行進的足夠重的電荷,找到它在任何不包含連線
與
的作用測地線的路徑束中的機率幾乎為零。
對於經典故事,它根據帶電粒子在時空平面中的路徑彎曲是由於作用在電場方向上的力而引起的,也是如此。(觀察時空平面中的彎曲相當於加速或減速。特別是,包含
軸的時空平面中的彎曲相當於平行於
軸的方向的加速。)在這種情況下,相應的迴圈是 4 向量勢
在時空迴圈周圍的迴圈。