最小作用量原理

物理学里, 最小作用量原理(英语:least action principle),或更精确地,平稳作用量原理(英语:stationary action principle),是一种变分原理,当应用于一个机械系统作用量时,可以得到此机械系统的运动方程。这原理的研究引导出经典力学拉格朗日表述哈密顿表述的发展。卡尔·雅可比特称最小作用量原理为分析力学之母[1]

在现代物理学里,这原理非常重要,在相对论量子力学量子场论里,都有广泛的用途。在现代数学里,这原理是莫尔斯理论的研究焦点。本篇文章主要是在阐述最小作用量原理的历史发展。关于数学描述、推导和实用方法,请参阅条目作用量。最小作用量原理有很多种例子,主要的例子是莫佩尔蒂原理Maupertuis' principle)和哈密顿原理

在最小作用量原理之前,有很多类似的点子出现于测量学光学古埃及拉绳测量者英语rope stretcher在测量两点之间的距离时,会将固定于这两点的绳索拉紧,这样,可以使间隔距离减少至最低值[2]托勒密在他的著作《地理学指南》(Geographia)第一册第二章里强调,测量者必须对于直线路线的误差做出适当的修正。古希腊数学家欧几里得在《反射光学》(Catoptrica)里表明,将光线照射于镜子,则光线的反射路径的入射角等于反射角。稍后,亚历山大的希罗证明这路径的长度是最短的[3]

费马的表述

光线从点Q传播至点O时,会被半圆形或混合形镜子反射,最终抵达点P。

1662年,皮埃尔·德·费马提出费马原理,又称为“最短时间原理”:光线移动的路径是需时最少的路径[4]

费马原理更正确的版本应是“平稳时间原理”。对于某些状况,光线移动的路径所需的时间可能不是最小值,而是最大值,或甚至是拐值。例如,对于平面镜,任意两点的反射路径光程是最小值;对于半椭圆形镜子,其两个焦点的光线反射路径不是唯一的,光程都一样,是最大值,也是最小值;对于半圆形镜子,其两个端点Q、P的反射路径光程是最大值;又如最右图所示,对于由四分之一圆形镜与平面镜组合而成的镜子,同样这两个点Q、P的反射路径的光程是拐值。[5]

假设,介质1、介质2的折射率分别为  ,光线从介质1在点O移动进入介质2,则斯涅尔定律以方程表达为

 

其中, 为入射角, 为折射角。

 
光线从介质1的点Q,在点O移动进入介质2,发生折射,最后抵达介质2的点P

从费马原理,可以推导出斯涅尔定律。通过设定光程对于时间的导数为零,可以找到“平稳路径”,这就是光线移动的路径。光线在介质1与介质2的速度分别为

 
 

其中, 真空光速。

由于介质会减缓光线的速度,折射率  都大于 

如右图所示,从点Q到点P的移动时间 

 

根据费马原理,光线移动的路径是所需时间为极值的路径,取移动时间 对变数 的导数,设定其为零:

 

由图中的边角关系,可以得到移动速度与折射角的关系式:

 

将移动速度与折射率的关系式代入,就会得到斯涅尔定律:

 

费马原理引发了极大的争议。假若介质的密度越小,光线的移动速度越快,则费马原理是正确的;但是,艾萨克·牛顿勒内·笛卡儿都认为介质的密度越大,光线的移动速度就越快。1802年,托马斯·杨做实验发现,当光波从较低密度介质移动进入较高密度介质之后,光波的波长会变短,他因此推论光波的运动速度会降低。[5]

莫佩尔蒂的表述

最小作用量原理应用于作用量的最初始表述,时常归功于皮埃尔·莫佩尔蒂。于1744年和1746年,他写出一些关于这方面的论文[6][7]。但是,史学专家指出,这优先声明并不明确。莱昂哈德·欧拉在他的1744年论文里就已谈到这原理[8]。还有一些考据显示出,在1705年,戈特弗里德·莱布尼茨就已经发现这原理了[9]

莫佩尔蒂发表的最小作用量原理阐明,对于所有的自然现象,作用量趋向于最小值。他定义一个运动中的物体的作用量为 ,物体质量 、移动速度 与移动距离 的乘积[10]

 

莫佩尔蒂又从宇宙论的观点来论述,最小作用量好像是一种经济原理。在经济学里,大概就是精省资源的意思。这论述的瑕疵是,并没有任何理由,能够解释,为什么作用量趋向最小值,而不是最大值。假若,我们解释最小作用量为大自然的精省资源,那么,我们又怎样解释最大作用量呢?

折射理论

于1744年,在巴黎科学院发表的一篇论文《几种以前互不相容的自然定律的合一论》(Accord de plusieurs lois naturelles qui avaient paru jusqu'ici incompatibles)中,莫佩尔蒂提出,光折射的路径,从一种介质到另一种介质,是作用量的最小值。按照这论点,如前图,假设光线从折射率 的介质1折射于折射率为 介质2,则作用量为

 

其中, 是光线的质量。虽然光线并没有质量,这变量对于结果没有任何影响,可以被忽略。

取作用量对于变数 的导数,设定为零,经过一些运算,可以得到

 

请注意,这结果与牛顿的光粒子理论相符合;但是,与费马得到的结果南辕北辙,大不相同。

非弹性碰撞

1747年,莫佩尔蒂在伯林科学院Academy of Berlin)发表了论文《运动与静止定律》(Loix du mouvement et du repos)。在这篇论文里,他将碰撞分为两种,弹性碰撞非弹性碰撞。弹性碰撞遵守动量守恒能量守恒;非弹性碰撞只遵守动量守恒。莫佩尔蒂可以将最小作用量原理应用于弹性碰撞与非弹性碰撞,正确地计算出碰撞后的物体的速度。

思考一个一维非弹性碰撞,假设两个质量分别为  的物体O1和物体O2,分别以初始速度  朝着同一方向移动,而且, ,物体O1紧追着物体O2。当两物体发生非弹性碰撞后,结合成为物体O3,以终结速度 移动。从固定于物体O3的参考系观察,物体O1和物体O2的速度分别为  。所以,作用量为

 

其中, 是时间。

取作用量对于变数 的导数,设定为零,经过一些运算,可以得到

 

所以,最终速度为

 

请注意,按照这种设定参考系的方法,前面折射问题的光折射作用量应该是

 

还有,前面光折射作用量的距离参数是任意值,但是,非弹性碰撞作用量的碰撞前距离参数与碰撞后距离参数被设定为相等。

由于这些不一致之处,促使恩斯特·马赫严厉批评,莫佩尔蒂的最小作用量原理只是一个模糊不清的概念,勉强地被用来解释各种不同的物理现象[11]

欧拉的表述

1744年,莱昂哈德·欧拉在论文《寻找具有极大值或极小值性质的曲线,等周问题的最广义解答》(Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes, sive solutio problematis isoperimetrici lattissimo sensu accepti)里,以非常清楚的字句,给出最小作用量原理的定义[12]

设定一个质量为 ,速度为 的粒子移动无穷小距离 。这粒子的动量为 ,当乘以无穷小距离 时,会给出 ,粒子的动量积分于无穷小距离 。现在,我宣明,这移动粒子的真实轨道(在所有连结两个端点的可能轨道之中)是 为最小值的轨道,或者,假定质量是个常数,是 为最小值的轨道。

如同欧拉所写, 是动量积分于移动路径。采用现代术语,这积分等于简略作用量 ;其中, 广义动量 广义坐标。因此,在同一年,稍微比莫佩尔蒂晚一点,欧拉独立地发表了,与莫佩尔蒂的理论等同的,关于变分原理的理论。欧拉并没有争夺优先荣誉。

直线运动

假设没有任何作用力施加于这粒子,则这粒子以均匀速度移动:

 

只有在轨道长度 为最小值时,才能得到作用量最小值。这轨道是一条直线。

抛物线运动

假设这移动于二维空间的粒子感受到均匀重力 ,则根据活力定律principle of vis viva),

 

其中, 是瞬时速度, 是最初速度, 是粒子朝着y-轴移动的距离, 是加速度常数。

将这方程代入作用量:

 

 ,求作用量的稳定值,应用变分法,可以得到欧拉-拉格朗日方程

 

其中, 是积分常数。

重新编排,可以得到

 

将这方程积分,

 

其中, 是积分常数。

假设粒子的初始位置为 ,初始速度为 ,则

 
 
 

重新编排,可以看出这是抛物线方程:

 

欧拉又将这结果推广至一群粒子。他认为最小作用原理所以正确,是因为粒子的惯性试着阻抗任何关于状态的改变,自由粒子会选择遵循影响最小的作用力[4]

拉格朗日的表述

约瑟夫·拉格朗日对于变分法贡献良多。拉格朗日在论文《分析力学》(Mecanique Analytique)里,从能量守恒定律理论推导出欧拉表述的最小作用量原理是正确的[4]。能量守恒定律以方程表达为

 

其中, 是总能量 动能 势能

势能的变分为

  ;

其中, 是粒子的位置, 虚位移

粒子感受到的作用力 为势能的负梯度。将牛顿第二定律带入方程,

 

微分运算可以和变分运算对易:

 

其中, 是粒子的速度。

所以,势能的变分为

 

动能的变分为

 

总能量的变分为:

 

总能量的积分的变分为

 

其中, 是路径长度。

设定路径的两个端点为固定不变,能量也守恒不变,则粒子移动的路径的作用量是稳定值:

 

拉格朗日最小作用量原理

推广至位形空间,拉格朗日最小作用量原理阐明,

 

其中, 广义动量 广义坐标

欧拉-拉格朗日最小作用量原理

拉格朗日又注意到在作用量的方程 中,

 

将这方程代入作用量,可以看见被积分项目是动能项目:

 

因此,作用量也可以表达为(忽略常数乘法因子)

 

欧拉-拉格朗日最小作用量原理表明,描述粒子运动的作用量必定是稳定值[13]

 

请特别注意,这方程看起来简易精致,然而,隐藏在使用方面有很大的问题。欧拉的作用量积分于路径;而这作用量积分于时间。变分法要求积分域两端固定不变。虽然路径两端是固定值,转换至时间,为了要满足能量守恒,时间间隔的两端可能不是固定值。亚可比因此批评拉格朗日的方法有瑕疵[13]。后来,于1816年,奥凌迪·若立格Olinde Rodrigues)想出新点子,将这时间作用量的变分详细计算出来[1]

表观目的论

微分运动方程数学等价于其对应的积分运动方程,这具有很重要的哲学意义。微分方程描述局部于空间的一点或单独时间的片刻。举例而言,牛顿第二定律 解释为瞬时作用力 施加于质量为 的粒子会造成瞬时加速度为 的运动。明显对比地,作用量原理不会局部于一点,而牵涉到积分于一段时间间隔或一个空间的局域。更重要地,通常在经典作用量原理的表述里,系统的初始状态和终结状态是固定不变的,也就是说,

设定一个移动粒子开始于位置 、时间 ,结束于位置 、时间 ,连接这两个端点的物理轨道是作用量积分的平稳值。

特别地针对这程序,终结状态的固定动作似乎额外地赋予了作用量原理一些目的论的特色。在物理学史里,这特色不经意地制造出很多激烈的争论。

参阅

  • 变分法
  • 活力 (物理)vis viva
  • 高斯最小约束原理Gauss' principle of least constraint
  • 赫兹最小曲率原理Hertz's principle of least curvature
  • 雅可比原理Jacobi's principle

参考文献

  1. ^ 1.0 1.1 Jourdain, Philip, The principle of least action, Open Court Publishing Company: pp. 1, 54, 1913 
  2. ^ Wilson, Alistair Macintosh, The Infinite in the Finite, Oxford University Press: 38, 1995, ISBN 9780198539506 
  3. ^ Kline, Morris. Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press. 1972: pp. 167–168. ISBN 0-19-501496-0. 
  4. ^ 4.0 4.1 4.2 Dugas, R., A History Of Mechanics, New York: Dover Publications, Inc.: pp. 255ff, 274, 345–346, 1988, ISBN 0-486-65632-2 
  5. ^ 5.0 5.1 Hecht, Eugene, Optics 4th, United States of America: Addison Wesley: pp. 106–111, 141, 2002, ISBN 0-8053-8566-5 (英语) 
  6. ^ P.L.M. de Maupertuis, Accord de différentes lois de la nature qui avaient jusqu'ici paru incompatibles.(1744)Mém. As. Sc. Paris p. 417.(英文翻译
  7. ^ P.L.M. de Maupertuis, Le lois de mouvement et du repos, déduites d'un principe de métaphysique.(1746)Mém. Ac. Berlin, p. 267.(英文翻译
  8. ^ Euler, Leonhard, Methodus Inveniendi Lineas Curvas Maximi Minive Proprietate Gaudentes, Geneva: Bousquet, Lausanne &, [1744] [2010-07-26], (原始内容存档于2014-10-22) 
  9. ^ The MacTutor History of Mathematics网页:O'Connor, J. J.; Robertson, R. F., The Berlin Academy and forgery, [2010-07-26], (原始内容存档于2016-01-16) 
  10. ^ Dugas, R., A History Of Mechanics, New York: Dover Publications, Inc.: pp. 255ff, 1988, ISBN 0-486-65632-2 
  11. ^ 马赫, 恩斯特, The science of mechanics; a critical and historical account of its development, Watchmaker Publishing: pp. 364–368, 380, 2010 [1919], ISBN 978-1603863254 
  12. ^ Euler, Leonhard, Additamentum IIexternal link页面存档备份,存于互联网档案馆)), ibid.(英文翻译
  13. ^ 13.0 13.1 Lanczos, Cornelius, The Variational Principles of Mechanics, Dovers Publications, Inc: pp. 132–138, 1970, ISBN 978-0-486-65067-8