讓我們回到傳播子
![{\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)
其中
和
分別是系統在初始時間
和最終時間
的各自配置,積分對系統所有路徑求和,這些路徑在系統的
維配置時空中從
到
在這種情況下,相應的經典系統也遵循由作用微分定義的幾何的測地線
現在它依賴於
個空間座標、一個時間座標以及相應的
個微分。
經典系統遵循由其作用定義的幾何的測地線的論述通常被稱為最小作用原理。更合適的名稱是駐定作用原理。
觀察到,如果
不依賴於
(即
)那麼

在測地線上是常數。(我們將在稍後發現負號的原因。)
同樣地,如果
不依賴於
(即,
) 那麼

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

關於
左邊變為

當右側簡化為
。設定
並使用上面定義的
和
,我們得到
|
是一個 4-標量。由於
是 4-向量的分量,左側,
是一個 4-標量當且僅當
是另一個 4-向量的分量。
(如果我們沒有在
前面加上負號定義它,那麼這個 4-向量將具有
分量。)
在一個自由點質量的靜止系
中,
且
使用 洛倫茲變換,我們發現這等於

其中
是點質量在
的速度。將它與上面框定的方程比較,可以發現對於自由點質量,

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

信不信由你,所有經典電磁效應(與它們的起因相對)都可以用這個表示式來解釋。
是一個標量場(即,一個關於時間和空間座標的函式,在空間座標旋轉下保持不變),
是一個 3-向量場,而
是一個 4-向量場。我們稱
和
分別為標量勢和向量勢。粒子特有的常數
是電荷,它決定了特定種類的粒子受到電磁影響的強度。
如果一個質點不是自由的,則上一節末尾的表示式給出了它的動能
和它的動量
將 (*) 轉化為以下形式
![{\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) 定義 of
在 terms of
我們發現

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