免责及版权声明
本文由热心网友翻译自《Quantum Field Theory for the Gifted Amateur》,版权归原书作者Tom Lancaster 和 Stephen J. Blundell 以及 Oxford University 出版社所有。
本文内容仅供研究或个人学习之用,不能用作销售或与任何商业有关的用途。任何人士使用或引用本文内容,必须注明资料来源为Tom Lancaster 和 Stephen J. Blundell 所著的《Quantum Field Theory for the Gifted Amateur》。
欢迎支持正版,仅需400多元。可在购书网站搜索《Quantum Field Theory for the Gifted Amateur》,Oxford University Press 2014年出版。
仅限教学科研使用,使用与传播应严格遵守相关法律规定。
© OUP Oxford
©@Charge , @Hey'u
在这一章中,我们将会介绍经典力学中的拉格朗日量,并且解释为什么拉格朗日量适合用来描述量子场论。
1.1 费马原理
我们从光学研究的一个例子开始。如图1.1所示,考虑一条通过玻璃板的光线。当已知玻璃和空气的折射率时,空气/玻璃界面附近的光线弯曲可以使用著名的斯涅尔定律计算。这条定律以在1621年描述过这条定律的Willebrord Snellius的名字命名,但他并不是第一个发现这条规律的人,这条定律在984年首先由阿拉伯数学家Ibn Sahl发现。1662年,皮埃尔·德·费马(Pierre de Fermat)提出了一种基于他的最短时间原理(principle of least time)的巧妙的推导斯涅尔定律的方法。这个原理认为通过两点
费马最小时间原理是漂亮的,看起来告诉了我们一些事情,但是一开始看它并不是有帮助的。因为它试图把一个简单的,可以带入数值计算出轨迹的公式(斯涅尔定律)替换为需要微积分变分原理才能解决的问题。但是我们将看到,费马原理是理解量子场论的基础。
1.2 牛顿定律
在动力学中我们可以找到一个类似问题。考虑一个一维空间中质量为
我们可以对这个公式积分求出
如果要将这个话题推广到量子力学,动力学需要以完全不同的方式表达。这正是Joseph-Louis Lagrange[1]和William Rowan Hamilton[2]所做的,虽然他们那时候并不知道他们所做的事情会使动力学更具量子友好性。我们将采用一种与他们略有不同的方法,得到动能
我们可以写出轨迹中的平均动能
平均势能
这两个量的求和一定等于总能量
1.3 泛函
方程1.2和1.3中的表达式是轨迹
让我们回想一下函数(function)是什么(如图1.3),函数可以把一个数字转化为另一个数字。例如,函数
泛函(functional)是一个将函数转换为数字的机器。你给这个机器一个完整函数,例如
例1.1
下面是一些泛函的例子。
1. 泛函作用在函数上的规则如下:
因此,给定函数,泛函返回的数字是
2. 泛函作用在函数上的规则是:
所以,如果给定函数,泛函返回的数字为:
3. 函数本身也可以看做一个简单泛函。例子,可以定义泛函:
这个泛函将会返回函数在处的函数值。
现在我们想知道,当你改变输入泛函的函数时,泛函的值将如何改变。这里重要的概念的是泛函微分(functional differentiation)。回忆函数微分的定义为:
函数的导数告诉你,当你改变进入函数机器的数
泛函导数告诉我们当函数
例1.2
下面是一些计算泛函导数的例子。你可以通过计算他们获得计算泛函导数的技能,当然如果你相信计算结果的话,也可以直接跳到下一部分。
1. 泛函的导数为:
2. 泛函对的导数为:
[译者加:因为是小量,所以高阶项的系数都丢掉了。]
3. 已知是一个函数,它的导数是,同时定义泛函,此时,泛函的导数为:
令,,有
所以:
4. 使用上一个例子的结果,可以求出的导数为:
5. 定义泛函,这里的。所以有:
使用
然后使用分部积分,有:
当在积分区间内时,中括号项等于0,我们得到:
6. 对前面的结果,我们给出例子,如果,可以得到:[3]
7.另一个例子是,如果令,我们有:
1.4 拉格朗日量与最小作用量
在学习了这些数学之后,我们可以回到我们之前的叙述中来。当我们改变轨迹时,平均动能和平均势能如何变化?
公式1.14和公式1.20告诉我们:
事实上,牛顿定律告诉我们对经典粒子的轨迹,有
也就是说,如果你稍稍改变经典轨迹,平均动能和平均势能都会增加[4]相同的量。我们可以重新把这个公式重新写为:
也即,平均动能和平均势能的差对于经典的轨迹来说是处于极值点上的。这意味着动能和势能的差这个量很可能是有意义的,这启发我们定义一个量,也叫拉格朗日量(Lagrangian)
拉格朗日量对时间的积分叫做作用量(action)
所以作用量的量纲为能量×时间,单位是焦耳-秒。这个单位与普朗克常数
这个公式被叫做哈密顿最小作用量原理(Hamilton’s principle of least action)[5]。它告诉我们,经典粒子走的轨迹的作用量取得极值(如图1.4所示);改变粒子走过的轨迹只会增大作用量(同样的,改变由斯涅耳定律所确定的光线路径只会增加光走过的时间)。
例1.3
拉格朗日量可以写为位置和速度的函数。通常来讲,我们可以认为它依赖于一个广义坐标,和这个广义坐标对应的广义速度。此时,对的变分
可以写为:
Let
所以这个结果就等价与下面的全导数,
因为
所以
对应用分部积分有:
所以最小作用量原理(公式1.26)可以改写为:
这个方程也叫做 欧拉-拉格朗日方程[6](Euler–Lagrange equation)。
拉格朗日量
所以作用量
下面的例子介绍了引入拉氏量密度的原因。拉氏量密度的概念在后面将会很常见,它提供了一个推导经典波方程的好途径。
例1.4
考虑质量为长度为的绳子上的波。定义质量密度为,张力为,与平衡位置相比的位移为(如图1.5所示)。动能可以写为:,势能可以写为:。所以作用量可以写为:
其中,
是拉氏量密度。应用变分原理,我们有:
所以我们得到了波动方程,,并且很简单的得到了波速。
最后,我们把欧拉拉格朗日方程用四矢量记号和爱因斯坦求和(见0.4节)的方式写出来。如果拉氏量密度
与公式1.27类似的,应用变分原理可以得到[8]:
这是四矢量版本的欧拉拉格朗日方程。
例1.5
作为这部分内容的例子,我们来考虑这样一个情况,拉氏量密度为:
这里的。通过计算简单的微分,我们得到:
应用最小作用量原理(公式1.35),我们有:
也即:
1.5 变分原理为什么有效?
在本章中,我们考虑了两个变分原理:费马最小时间原理和哈密顿最小作用量原理。其中一个描述了一道光线所经过的路径,另一个描述了经典粒子所采用的路径。它们非常优雅,但为什么不坚持使用斯涅耳定律和牛顿定律?以及,为什么这两种描述都有效?
这两个问题的答案都是量子力学。我们将会在书的后面更详细地谈论这一问题,但是从
这里的
斯涅尔定律和牛顿定律足以解决经典系统。但两者都无法推广到量子系统。因此,为了建立量子场论(本书的宏伟目标),我们必须从拉格朗日的图像开始。下一步是了解非经典系统(non-classical systems)中发生的事情,在下一章中,我们将把注意力转向一个典型的量子系统:谐振子。
本章总结:
- 费马最小时间原理描述了光走的路径是时间最短的。
- 经典粒子的拉格朗日量可以写为:
- 经典力学可以用哈密顿最小作用量原理
描述,这里的
- 费马原理和哈密顿原理都展示了光子或有质量的粒子的经典轨迹都对对应着波函数的相位取得极值。
[1]:J.-L. Lagrange (1736–1813) 是一位在意大利出生的法国数学家和物理学家。
[2]:W. R. Hamilton (1805–1865) 是一位爱尔兰数学家和物理学家。
[3]:公式1.19可以很轻松的推广到三维,在三维下如果
[4]:如果经典的轨迹处于最大值而不是最小值时,也可能会减少相同的量,但这种情况并不经常遇到。
[5]:如果我们仔细扣字眼的话,这个原理只能告诉我们作用量取得极值。它可以是最大值,马鞍点,也可能是最小值。叫“极值作用量原理”会比叫“最小作用量原理”更好。但是我们也不得不接受这个名字,最小作用量原理。
[6]:Leonhard Euler (1707–1783). In the words of Pierre-Simon Laplace (1749–1827): Read Euler, read Euler, he is the master of us all.
[7]: 回忆0.4节公式0.2提到,四导数算符的指标天生就写在下面。
[8]:注意,这里我们使用了爱因斯坦指标求和,两次重复出现的指标自动求和。公式1.35只是公式1.27和公式1.28的四维推广。
[9]:费马最小时间原理告诉了我们一束光线所走过的光程的初始和结束时的相位差。与经典力学的哈密顿最小作用量原理类似,我们可以假定作用量
Content Created: 2018年10月2日
Last updated:2019年5月15日