理论物理极础7：对称性与守恒定律

莱尼不会看地图。他不管面向哪条路，好像都冲着北方。他不明白，东西南北为什么不像上下那么容易搞清楚，他从来没搞错过上下。

导言

对称性和守恒定律的近代物理的主题之一。我们先给出一些简单系统的几个守恒定律的例子。首先，有些量守恒似乎是深层原理应有之义。但是，我们真正的目标不是找出偶然的守恒量，而是找到原理，将守恒量与更深层的东西联系起来。

我们从第6讲末的方程(16)开始，但是不仅仅限于解释直线运动的质点。这个方程适用于任何有两个坐标描述的系统：质点系、场、旋转刚体，如此等等。为了强调问题的广泛适用性，我们用坐标(q)代替(x)，并写出相应的拉格朗日量（形式有点不一样）：

egin{equation} L=frac{1}{2}(dot{q}_1^2+dot{q}_1^2+dot{q}_2^2)-V(q_1-q_2) label{eq1} end{equation}

势能是变量的一种组合的函数，即((q_1-q_2))。对势能(V)对时间的导数记为(V')。我们可以得到运动方程为：

egin{equation} egin{cases} dot{p}_1=-V'(q_1-q_2) \ dot{p}_2=V'(q_1-q_2) end{cases} label{eq2} end{equation}

练习1：推导出方程eqref{eq2}，并解释符号为何不同。

现在将方程eqref{eq2}加起来，就能看出 (p_1+p_2) 是守恒量。

下面，我们做点稍微复杂点的事情。势能函数不是((q_1-q_2))的函数而是(q_1) 和 (q_2) 的线性组合，把组合写为((aq_1-bq_2))，势能为：

egin{equation} V(q_1,q_2)=V(aq_1-bq_2) label{eq3} end{equation}

对应的运动方程为

$$ egin{cases} dot{p}_1=-aV'(aq_1-bq_2) \ dot{p}_2=bV'(aq_1-bq_2) end{cases} $$

把两式加起来，可看出(p_1+p_2) 不再是守恒量，看起来，我们失去了守恒定律。

其实，我们没有失去守恒定律，但是得做些小手脚。第一个方程乘上(b)，第二个方程乘上(a)，再加起来，我们就会看到(bp_1+ap_2)是守恒量。

练习2：解释上述守恒律。

我们考虑更一般的势能，势能是(q) 更一般的组合的函数，比如(q_1+q_2^2)。此时，(p) 的任何组合都不守恒。那么，这里面有什么原理性的东西？根据什么能确定系统有守恒定律，守恒量是什么？答案在约100年前就由德国数学家埃米·诺特得到了。

对称性举例

考虑一种坐标变换，把坐标系(q_i)变换到另一坐标系(q_i')。每个坐标(q_i')都是所有原坐标(q)的函数：

[q_i'=q_i' left({q_i} ight) ]

有两种思考方式看待坐标变换。第一种角度可称为被动式。对体系不做任何事情，只是重新标记了构型空间的点。

举个例子，设想(x)轴上标记着刻度线，(x=dots,-1,0,1,2,ldots)，在(x=1)处有一个质点。现在，你做个坐标变换，

egin{equation} x'=x+1 label{eq4} end{equation}

根据被动式思考方式，这一变换擦去了所有原有的刻度线，重新刻上刻度线。原来标记为(x=0)的点，现在标记为(x'=1)，原来标记为(x=1)的点，现在标记为(x'=2)，如此等等。但是，质点仍呆在原处（如果原来位于(x=1)处，现在则标记为(x'=2)处），只是标记的刻度换了。

第二种思考方式称为主动式，你不需要重新标记点。变换(x'=x+1)可以解释成一条指令：不管质点在哪里，将其右移一个单位的距离。换言之，真的要把体系移动至构型空间中新的一点。

以下讨论，我们采用主动式观点。凡是坐标变换，都意味着系统真的移动至构型空间中新的一点。一般情况下，我们做变换时，系统中会发生真实的变化。比如，我们移动一个物体，势能函数会发生变化，因此拉格朗日量可能也会发生变化。

现在，我就可以解释对称的含义了。对称是一种主动的坐标变换，变换的结果不改变拉格朗日量的值。事实上，不管系统位于构型空间何处，这种变换都不会改变拉格朗日量。

举个最简单的例子，系统只有一个自由度，拉格朗日量为：

[L=frac{1}{2}dot{q}^2 ]

假设我们对坐标(q)做个变换，将其平移(delta)。即任何构型都代之以(q)平移之后的新构型。如图1所示。

图1：坐标平移

如果平移量(delta) 与时间无关（后文也将一直有此条件），那么速度(dot{q})则不变，并且，最重要的是，拉格朗日量也不变。换言之，在如下变换下：

egin{equation} q=q+delta label{eq5} end{equation}

拉格朗日量的变化量为(delta L=0)。

方程eqref{eq5}中，平移量(delta) 可以是任何数。后文，我们考虑无穷小步长的转换，符号(delta)
可以表示无穷小量，眼下先不管这些。

我们可以考虑更复杂的拉格朗日量，加上势能(V(q))项。如果势能不是是与(q)无关的常数，那么(q)平移之后，拉格朗日量也将变化。这意味着没有对称性。将坐标加个常数，将系统在空间平移，拉格朗日量不变，这样的对称性称作平移对称性，我们将多花点时间讨论这种对称性。

回到方程eqref{eq2}。假设我们平移一下(q_1)，(q_2)不变，那么拉格朗日量将会改变，因为势能会改变。但是如果我们将两个坐标改变同样的量，即(q_1-q_2)不会改变，那么拉格朗日量的值不变。我们称在如下变换下拉格朗日量为不变量：

egin{equation} egin{cases} q_1 ightarrow q_1+delta \ q_2 ightarrow q_2+delta end{cases} label{eq6} end{equation}

这一对称性也属于平移对称性，只是我们需要同时平移两个质点，以保证质点间距离不变。

对于更复杂的例子，即方程eqref{eq3}，势能是(aq_1-bq_2)的函数，这个例子的对称性不是很明显。显示这一系统对称性的变换为：

egin{equation} egin{cases} q_1 ightarrow q_1+bdelta \ q_2 ightarrow q_2+adelta end{cases} label{eq7} end{equation}

练习3：证明在上例中，坐标组合(aq_1+bq_2)和对应的拉格朗日量在变换eqref{eq7}下是不变量。

如果势能是坐标更复杂的组合的函数，那么体系的对称性一般总不是很明显。下面我们举例说明一个更复杂的例子。我们回到笛卡尔坐标系，考察(x,y)平面上运动的质点。势能是质点到原点举例的函数，拉格朗日量为：

egin{equation} L=frac{m}{2}(dot{x}^2+dot{y}^2)-V(x^2+) label{eq8} end{equation}

方程eqref{eq8}的对称性还是挺明显的。想象一下，把构型绕原点转一个角度( heta)，如图2所示。

图2. 旋转

由于势能只是质点到原点的距离的函数，所以系统转一个角度，势能不变。不仅如此，动能也不变。问题是，我们如何描述这一变换。答案很明显，按如下方式旋转坐标：

egin{equation} egin{cases} x ightarrow xcos heta+ysin heta \ y ightarrow -xsin heta+ycos heta end{cases} label{eq9} end{equation}

其中，( heta)是任何角度。

现在我们可以平移变换和旋转变换的关键点。你可以以无穷小的步长做这两种变换。比如，不是把质点从(x)移动到(x+1)，而是把质点从(x) 表示无穷小。事实上，你可以把很多很多小步长(delta) 累积起来，实现变换(x ightarrow x+1)。这同样适用于旋转：先旋转一个无穷小的角度(delta)，重复这个过程，最终累积处一个有限大小的角度。这样的变换称作连续变换。连续变换是个好东西，我们只需要研究无穷小的情况，就可以研究连续对称性带来的所有结果。

既然有限变换可以由无穷小变换累积得到，所以，研究对称性只需要考虑坐标该变量非常非常小的变换，这样的变换称为无穷小变换。对于方程eqref{eq9}，我们看看当角度( heta)代之以无穷小的角度(delta)，会得到什么。保留至一阶(delta)，有：

[cos delta =1 ]

[sin delta = delta ]

旋转变换方程eqref{eq9}可近似为：

egin{equation}
egin{cases}
x ightarrow x +ydelta
y ightarrow y-xdelta
end{cases}
label{eq10}
end{equation}

方程eqref{eq10}对时间微分，即可得速度分量的变化量：

egin{equation}
egin{cases}
dot{x} ightarrow dot{x} +dot{y}delta
dot{y} ightarrow dot{y}-dot{x}delta
end{cases}
label{eq11}
end{equation}

研究无穷小变换的效应的另一个着眼点是坐标的改变量，对于此例，坐标的改变量为：

egin{equation}
egin{cases}
delta_v x = ydelta
delta_v y = - xdelta
end{cases}
label{eq12}
end{equation}

其中(delta_v)表示变化量。容易证得，在(delta) 一阶小量下，拉格朗日量不变。

练习4：证明此结论。

这里有一件值得注意的事情，如果势能不是质点到原点的距离，那么拉格朗日量在无穷小转动变换下不是不变量。这一点很重要，可以通过例子验证这一点。一个简单的例子是，势能只是 (x) 的函数，并且不是 (y) 的函数。

更一般的对称性

对称性与守恒定律之间的联系我们还得稍后再谈，我们这里对对称性的概念做下推广。设一个抽象的动力学系统的坐标为(q_i)。无穷小变换的一般含义是坐标的很小的改变，并且可能是坐标值的函数。坐标的很小的改变量可表示为：

egin{equation}
delta_v q_i=f_i(q)delta
label{eq13}
end{equation}

每个坐标的改变量正比于参数(delta)，但是比例因子与构型空间有关。在方程eqref{eq6}的例子中，(f_1)和(f_2)都为1。在方程eqref{eq7}的例子中，(f)函数分别为(f_1=a)，(f_2=-b)。而在更复杂的例子方程eqref{eq12}中，(f)函数不是常数：

[f_x=y ]

[f_y=-x ]

为了计算拉格朗日量的改变量，我们还需要知道速度的改变量，速度的改变量由对微分eqref{eq13}来得到。由微积分的知识，可得：

egin{equation} delta_v dot{q}_i=frac{df_i(q)}{dt}delta label{eq14} end{equation}

应用于方程eqref{eq12}:

egin{equation} egin{cases} delta_v dot{x} = dot{y}delta \ delta_v dot{y} = - dot{x}delta end{cases} label{eq15} end{equation}

现在我们可以重新表述对称性的含义。连续对称性的意思是在坐标的无穷小变换下，拉格朗日量的变化量为0。在连续对称性下，判断拉格朗日量是否为不变量，是特别容易的事：只需要检查拉格朗日量的一阶变化是否为0，如果是，你就得到一种对称性。

下面我们看看对称性会带来什么。

对称性能带来什么？

对于拉格朗日量(L(dot{q},q))，坐标按方程eqref{eq13}做改变，同时(dot{q}_i)按方程eqref{eq14}做改变，我们计算一下拉格朗日量的改变量。这不难算，只需分别把 (q) 和 (dot{q})的改变带来的拉格朗日量的改变加起来即可：

egin{equation} delta L=sum_ileft( frac{partial L}{partial dot{q}_i}delta dot{q}_i + frac{partial L}{partial q_i}delta q_i ight ) label{eq16} end{equation}

接下来就是见证奇迹的时刻，请看仔细了。首先，我们还记得(frac{partial L}{partial dot{q}\_i})正是与(q\_i)共轭的动量，记为(p\_i)。因此方程eqref{eq16}中的第一项为(sum\_i p\_i delta dot{q}\_i)。现在看第二项，(frac{partial L}{partial q\_i}delta q\_i)。我们假设系统轨迹演化满足欧拉-拉格朗日方程：

[frac{partial L}{partial q_i}=frac{dp_i}{dt} ]

把以上代入方程eqref{eq16}，得拉格朗日量的变化量为：

$$delta L=sum_i left (p_idelta dot{q}_i+dot{p}_idelta p_i ight )$$

即

$$delta L=frac{d}{dt}sum_i p_idelta q_i$$

这一步用到的手法是积函数的求导规则：

$$frac{d(FG)}{dt}=dot{F}G+Fdot{G}$$

这一通推导和对称性和守恒定律有什么关系？首先，对称性意味着拉格朗日量的变化量为0。如果方程eqref{eq13}表示一种对称性操作，则

[delta L=frac{d}{dt}sum_i p_idelta q_i=0 ]

将对称性操作eqref{eq13}代入上式，可得：

egin{equation}
frac{d}{dt}sum_i p_if_i(q)=0
label{eq17}
end{equation}

这就是守恒定律。方程eqref{eq17}表示物理量

egin{equation}
mathcal Q=sum_i p_if_i(q)
label{eq18}
end{equation}

不随时间变化。换言之，这是守恒量。以上论证又抽象又有力，与系统细节无关，只与广义的对称性有关。现在我们回到一些具体的例子，说明一下这个一般性的理论。

算例再讨论

我们应用方程eqref{eq18}，重新讨论我们前面算过的例子。第一个例子，方程eqref{eq1}，坐标变换为方程eqref{eq6}，对于这个变换，(f_1=1)，(f_2=1)，代入方程eqref{eq18}，就可得到守恒量为(p_1+p_2)，与我们前面所得到的结论。现在我们得到一个更一般性的结论：对于任何质点系，如果拉格朗日量在所有质点同时平移的变换下为不变量，则总动量守恒。这个结论也适用于动量的分量。如果(L)是质点系沿(x)轴平移变换下的不变量，则总动量的(x)分量守恒。因此，我们也可以说，牛顿第三定律正是空间的一个深刻的性质的结果，这个性质是：如果所有事物在空间同时平移，物理定律不变。

再看第二个例子。变换方程为方程eqref{eq7}，对应的(f)函数为：(f_1=b)，(f_2=a)，代入方程eqref{eq18}，得守恒量为(bp_1+ap_2)。

最后一个例子，转动，这个例子更有意思，这个例子里的守恒量我们还没见过。从方程eqref{eq12}，我们得(f_x=y)，(f_y=-x)，代入方程eqref{eq18}，可得转动对应的守恒量，这个守恒量与坐标和动量都有关，称为角动量，记为(l)，

[l=yp_x-xp_y ]

与平动情形类似，单个质点的角动量背后也有深刻的东西：对于任何质点系，如果拉格朗日量在所有质点的同时以原点为圆心旋转的变换下为不变量，那么角动量守恒。

练习5：求出单摆的运动方程，单摆的摆长为(l)，沿(xy)平面上一段弧摆动，摆动的初始角度为( heta)。

以上这些例子都比较简单。拉格朗日理论漂亮优雅，但是能用于解决更难的问题吗？只用(F=ma)解决问题还不够吗？

现在就试试看。求解一下双摆的问题。双摆挂在原点，在(x,y)平面内摆动，双摆的杆的质量不计，每个摆球的质量都为(M)。为简单起见，我们令摆杆的长度为1米，每个摆球的质量都为1千克。我们考察两种情况，有重力场和没有重力场。如图3所示。

图3. 双摆

我们的目标不是解运动方程。运动方程总是能解出来的，即使手算不行，还可以用计算机做数值解。我们的目标是找到运动方程。如果根据(F=Ma)，事情将会非常复杂，因为你需要求出杆的受力。拉格朗日方法简单许多。拉格朗日方法有比较固定的套路。步骤如下：

1. 选择合适的广义坐标，能唯一确定组分的构型。广义坐标可以任意选取，只要能确定系统的构型，并且使问题尽可能简单。

在双摆问题中，你需要两个坐标。第一个坐标可选第一个单摆与竖直方向的夹角，记为( heta)。第二个坐标自然想到是与第二个单摆有关的角度，是选第二个单摆与竖直方向的夹角，还是选第二个单摆相对第一个单摆的夹角？答案是都可以。只不过一个选法会使问题简单一点，另一个选法会使问题复杂一点。但是都会得到答案。我们选第二个单摆相对第一个单摆的角度，记为(alpha)。

2. 写出总动能。在双摆问题中，动能就是两个摆球的动能。

在本例中，完成这一步最简单的方法是，暂时用下笛卡尔坐标系(x,y)。两个摆球的坐标分别为((x_1,y_1))和((x_2,y_2))。角度( heta)与(alpha)与(x,y)之间是有关系的。对于第一个摆球：

[x_1=sin heta ]

[y_1=cos heta ]

对于第二个摆球：

[x_2=sin heta+sin( heta+alpha) ]

[y_2=cos heta+cos( heta+alpha) ]

分别对时间求导，即得速度的笛卡尔分量，并且用角度和角度的时间导数表示出来。

每个摆球的动能是(frac{m}{2}(dot{x}^2+dot{y}^2))，加起来即可得总动能。花几分钟时间就能做个事情。并记得摆长为1m，摆球的质量为1kg。

现在给出最后的结果，第一个摆球的动能为：

[T_1=frac{dot{ heta}^2}{2} ]

第二个摆球的动能为：

[T_2=frac{dot{ heta}^2+(dot{ heta}+dot{alpha})^2}{2}+dot{ heta}(dot{ heta}+dot{alpha})cosalpha ]

如果没有重力场，总动能就是拉格朗日量：

[L=T_1+T_2=frac{dot{ heta}^2}{2}+frac{dot{ heta}^2+(dot{ heta}+dot{alpha})^2}{2}+dot{ heta}(dot{ heta}+dot{alpha})cosalpha ]

如果双摆处于重力场中，我们还需要计算重力势能。摆球的重力势能是摆球的高度与(mg)的积，两个摆球的重力势能加起来即总势能，结果为：

[V( heta,alpha)=-g[2cos heta+cos( heta-alpha)] ]

3. 写出每个自由度对应的欧拉-拉格朗日方程。

4. 写出每个坐标的共轭动量，(p_i=frac{partial L}{partial dot{q}_i})，以备后用。

练习6：求出 ( heta) 和 (alpha) 分别对应的欧拉-拉格朗日方程。

你可能意犹未尽，还想知道些什么，特别是找出守恒量。第一个守恒量是能量。总能量是(T+V)。还有其他的守恒量。找对称性并不总是有程式化的步骤，你可能需要有模式识别的能力。在双摆问题中，如果没有重力场，还有另一个守恒定律。双摆具有旋转对称性，把整个系统绕原点转一下，一切不变，这意味着角动量守恒，但是要找到角动量的具体形式，你还需要按前面介绍的步骤做一遍，这需要算出共轭动量。

练习7：写出双摆的角动量的具体形式，证明双摆不处于重力场时时角动量守恒。