让我们回到传播子
![{\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 向量势
在时空环路周围的循环。