phymath01 Lagrange方程的其中一个条件,在动力学中x与dx/dt独立 位移和速度已经完备动力学系统的自由度

来源: 2011-10-03 20:16:23 [博客] [旧帖] [给我悄悄话] 本文已被阅读:

怎么由运动方程导出拉格朗日量?

rupt

2011-03-28 22:29:49来自: rupt(但曾相见便相知,相见何如不见时)

我看的是沈惠川的经典力学,带电粒子的拉格朗日量似乎是毫无目的地刚好碰巧凑出来的.电磁场更过分,直接就从不变量猜出来了。。有没有一些普遍一点的方法?

好吧,给个具体问题:

F_i =q ε_ijk β_j ∂_k φ
其中β = v/c

  • 筱淑媛

    2011-03-29 00:53:53 筱淑媛 (茉莉茶♧)

    变分后微分,再积分~

  • 筱淑媛

    2011-03-29 01:00:41 筱淑媛 (茉莉茶♧)

    实际上就是最小作量原理的普适性导致了LZ所说的“碰巧”及“直接”……

  • lepton

    2011-03-29 10:41:27 lepton (二维的世界更精彩)

    确实就是猜的,不过是在几个对称性的框架下去猜

  • çµπ0xff

    2011-03-29 10:58:17 çµπ0xff (oh my little lady)

    Lorentz不变性,只能长某些样子。可以看看朗道经典场论前面几章。

  • rupt

    2011-03-30 14:28:25 rupt (但曾相见便相知,相见何如不见时)

    变分后微分,再积分~
    --
    详细一下??

    re后两位:
    如果前提是你不知道这种运动的对称性呢?比方说由KdV方程求拉格朗日量.

    更普遍的问题是,是否对于每一种运动,都必然存在这种运动的拉格朗日量?

  • Everett

    2011-03-30 14:35:49 Everett

    更普遍的问题是,是否对于每一种运动,都必然存在这种运动的拉格朗日量?

    是的。这是物理学的基本信仰之一。准确地说是任何运动都有作用量。

  • rupt

    2011-03-30 15:06:20 rupt (但曾相见便相知,相见何如不见时)

    有没有先辈给出过存在性证明?我对此相当怀疑,因为从逆向看,任意给出的"拉格朗日量",比如说L=x+v,是不一定都存在对应的运动的.

  • [;e^{i\pi}+1;]

    2011-03-30 15:11:42 [;e^{i\pi}+1;] ([;\mathit{=……42};])

    ……

  • Everett

    2011-03-30 15:29:33 Everett

    物理没有公理系统,只能信仰不能证明。
    任何的Lagrangian 都支配一种运动,只不过没有极值的Lagrangian 没有经典运动轨迹罢了,但是在量子力学意义上还是可以的。 比如 L= x+v 就属于没有经典运动轨迹的运动。

  • rupt

    2011-03-30 22:50:35 rupt (但曾相见便相知,相见何如不见时)

    我是个怀疑论者.Lagrange方程的其中一个条件,在动力学中x与dx/dt独立.什么叫"独立"?既然可以在Lagrange中可以无限制地添加x,dx/dt,d2x/dt2..,那是否就可以往里面添加同样"动力学学独立"的(d/dt)^(1/2)x之类的东西?Lagrange方程真的可以包含一切吗?

    虽然是个初学者,但我也知道在历史上曾经有过各类微分方程解的存在性,唯一性(这点Lagrange量不满足),和稳定性的讨论.于是我想也应该有微分方程所对应的变分形式存在性类似的讨论吧?还有"形式一致性"(这个词是我自创的...实在不知道怎么表达),即保证整数阶的微分方程所对应的变分形式中不会出现分数阶的项.

  • Everett

    2011-03-31 14:14:37 Everett

    嗯,我当时看Landau力学的时候就觉得速度和位移独立是不可理喻的。如果给定位移关于时间的函数,速度、加速度以及更高阶时间导数不是都确定了吗,为什么说它们是独立的呢?好吧,我们先听从Landau先生的教诲,那么马上要问的问题是,那加速度什么的是不是也可以放到Lagrangian里面去呢?我想这也是楼主的困惑。

    正当我困惑着呢,Landau先生接下去写到:位移和速度已经完备动力学系统的自由度,加速度和更高级导数并不独立于位移和速度,因此Lagrangian只需作为位移和速度的函数,而不需要进一步包含加速度等自变量了。看到这里我顿时就崩溃了,同时开始崇拜Landau先生居然可以在写书的时候就知道读者要问的问题。接下来有一段话来分析支持这个论点,大意是知道位移和速度就可以预测下一个时刻的位移,如此就可以得到轨迹,加速度属于冗余信息。

    后来我才知道,正是因为我们基于Lagrangian出发考虑,才会出现独立性疑难。因为如果位移和速度不独立,我们就不能理解什么叫Lagrangian对速度求偏导(而保持位移不变)。但是,如果我们直接从作用量入手,并且将作用量理解成位移的泛函,就可以避免这个问题。所谓泛函就是函数的函数。位移关于时间的变化是一个函数 x(t),作用量泛函的作用就是把这个函数映射到一个实数上去。这时候,位移就是作用量泛函唯一的自变量,速度、加速度等等都由位移函数决定,不是独立的。求运动方程的时候只要对作用量变分,并令结果等于0就可以了。在变分的过程中,加速度什么的都会自动跑出来,就没有什么偏导不偏导的烦恼了。

  • 2011-03-31 17:33:29 Tabris

    不仅如E大说的这样,为满足相对性原理,也必须使得L中坐标与速度独立,否则会出现绝对坐标系

  • çµπ0xff

    2011-03-31 17:56:48 çµπ0xff (oh my little lady)

    @E大

    我去翻了一下Landau,他说的意思ms是,给定位置和速度的初值就能确定运动轨迹,这是从经验得到的;还说运动方程是广义坐标的二阶微分方程。

    我觉得后一句是重点,因为如果运动方程是广义坐标的,比如说,三阶微分方程,那么运动轨迹就还需要第三个积分常数,比如说,我们要给定加速度的初值。因此,位置和速度的初值决定运动轨迹,不是一个逻辑事实,而应该是一个实验结果。

    还有关于那个独立性,我想问一下独立的数学定义是什么呢?

    @Tabris

    能再写几句么?没有太明白。

  • 冷月无双

    2011-03-31 21:38:12 冷月无双 (۩)

    @Tabris

    能再写几句么?没有太明白。+1

  • 卡卡刚

    2011-03-31 22:27:17 卡卡刚 (Know Thyself)

    @cmp0xff

    “运动方程是广义坐标的二阶微分方程”这个貌似就是从“位移和速度是Lagrangian的独立变量”这一命题推出来的吧,再用这个去解释就有点循环论证了。

    @E大

    按E大最后的说法岂不Landau先生的书里说错了?求解释。。。

    @Tabris

    能再写几句么?没有太明白。+2

  • çµπ0xff

    2011-03-31 22:46:41 çµπ0xff (oh my little lady)

    @卡卡刚

    恩确实循环论证了。那么我就退回去,坚持“位移和速度是L量的独立变量”是实验事实。求拍。

  • 卡卡刚

    2011-03-31 22:49:31 卡卡刚 (Know Thyself)

    @cmp0xff

    乖孩子,不拍你了~

  • 眼鏡大俠

    2011-03-31 22:55:33 眼鏡大俠 (請稱呼我大俠,雖然我很水)

    2011-03-31 14:14:37 Everett
    11楼

    嗯,我当时看Landau力学的时候就觉得速度和位移独立是不可理喻的。如果给定位移关于时间的函数,速度、加速度以及更高阶时间导数不是都确定了吗,为什么说它们是独立的呢?好吧,我们先听从Landau先生的教诲,那么马上要问的问题是,那加速度什么的是不是也可以放到Lagrangian里面去呢?我想这也是楼主的困惑。

    正当我困惑着呢,Landau先生接下去写到:位移和速度已经完备动力学系统的自由度,加速度和更高级导数并不独立于位移和速度,因此Lagrangian只需作为位移和速度的函数,而不需要进一步包含加速度等自变量了。看到这里我顿时就崩溃了,同时开始崇拜Landau先生居然可以在写书的时候就知道读者要问的问题。接下来有一段话来分析支持这个论点,大意是知道位移和速度就可以预测下一个时刻的位移,如此就可以得到轨迹,加速度属于冗余信息。

    后来我才知道,正是因为我们基于Lagrangian出发考虑,才会出现独立性疑难。因为如果位移和速度不独立,我们就不能理解什么叫Lagrangian对速度求偏导(而保持位移不变)。但是,如果我们直接从作用量入手,并且将作用量理解成位移的泛函,就可以避免这个问题。所谓泛函就是函数的函数。位移关于时间的变化是一个函数 x(t),作用量泛函的作用就是把这个函数映射到一个实数上去。这时候,位移就是作用量泛函唯一的自变量,速度、加速度等等都由位移函数决定,不是独立的。求运动方程的时候只要对作用量变分,并令结果等于0就可以了。在变分的过程中,加速度什么的都会自动跑出来,就没有什么偏导不偏导的烦恼了。
    ---------------------------------------
    E大的11樓讓我頓時有了看朗道顯示著作的興趣

  • W

    2011-04-01 00:33:37 W (:蜷缩在书堆里睡觉:)

    若抛开实际需要不看,上在拉氏力学里引入高阶导数,并作为独立动力学参量的尝试已经有过不少了。
    幸好自然界总是这么简单,或者说人们喜欢简单。
    如果是有效拉氏量,出现高阶导数并不奇怪。所以如果你是人类又观察到一种包含时间高阶导数的动力学规律,一定会像用均轮和本轮描述行星运动那样还原为一个与当时的认识水平相比较相称的“简单”理论,因为人认识任何事物时无不是这样做的。

  • 2011-04-01 11:43:27 Tabris

    如果L的形式包含坐标,或坐标与速度不独立,则对于L的选取依赖参照,而这在相对性原理上是冲突的,因为相对性原理要求L函数不论在哪个惯性系下都应当是形式相同的。
    所以一般情况下的L函数必须满足伽利略变换(经典),或Lorentz变换(狭义相对论)下的不变形,可由此判别,除非空间的各向同性和均一性被破坏(如电场存在时),否则L函数不应含有坐标

  • 2011-04-01 11:52:13 点阵

    窃以为找lagrangian的目的就是求出运动方程

    用运动方程找lagrangian纯属本末倒置

    方法么,用运动方程和lagrange方程比较,然后积分,会带不定常数的

  • 留空

    2011-04-02 02:32:03 留空 (开琼筵以坐花 飞羽觞而醉月)

    物理学的一个基本信仰是:运动方程中只应出现状态和状态的变化率。对经典力学问题而言,这就是说运动方程中最多出现速度的一阶导数(位置的二阶导数),由于从拉氏量导出运动方程时会对t求一次导,因此我们一般假定拉氏量中只有速度而没有加速度。

    有趣的是马尔契夫的书上曾经给出一个一维势场,其中质点运动在给定速度为位置的情况下有时并不唯一。当然我们可以认为这种势场并不存在。

    2011-04-01 11:52:13 点阵 窃以为找lagrangian的目的就是求出运动方程
    在规范场论出现之前,似乎从运动方程找拉氏量更多。

  • 2011-04-02 11:00:15 点阵

    回楼上,从没听说过这样的信仰,照你这样说,Lagrange方程不能导出Newton方程咯。
    物理学的基本信仰是对称性和守恒律,一种对称性对应一种守恒量。不守恒的量严格来说应该驱逐出物理学。由对称性给出lagrangian,由lagrangian给出运动方程。
    再问楼上,为什么要找lagrangian?

  • 2011-04-02 11:08:30 点阵

    至于为什么只用广义位置和广义速度,因为给出体系的所有广义位置和广义速度,体系的状态就确定了,相当于相空间一个点

  • çµπ0xff

    2011-04-02 12:14:15 çµπ0xff (oh my little lady)

    @点阵

    讨论的就是为什么给出体系的所有广义位置和广义速度,体系的状态就确定了

  • 2011-04-02 12:35:55 点阵

    因为这已经给出了所有的信息,就相当于微分方程和边界条件或初始条件

    从自由度角度讲,对一维单粒子只要x(t),两个自由度

    给x,x的导数也是两个自由度

  • 2011-04-02 13:45:31 Tabris

    物理体系,给出速度就已经确定状态了,轨迹也确定了(这个时候确定的是轨迹族),如果给出初始速度就唯一确定轨迹了,这是常微分方程的存在与唯一性定理保证的。

    但相对性原理不需要给出一个初始位置,只需要相对位置就可以了(这是对于多粒子体系,单粒子体系连初始位置都不需要给定)

    不过说到体系的状态,这个含义可能会很广, 比如带电或不带电的状态肯定不同,但在没有电磁场的情况下,他们的相轨迹可以相同,所以这里的状态包含了可观察的状态,或者说是你想要观察的状态,那么对于纯粹的运动,位移是唯一关注的量,所以确定位移速度与位移初始就成为一个完全集,如果你还要考虑能量,那么质量也必然应该引入,或者是把速度换成是动量。

    到了量子状态,这个概念就会更加明确(力学量完全)

    不知道是否解决了 cmp0xff 同学的疑惑

  • 卡卡刚

    2011-04-02 22:23:36 卡卡刚 (Know Thyself)

    也许可以这样想:
    有了广义坐标q(t)和广义速度v(t)就可以推出加速度等其他参量,比如说加速度a(t)=(vdv)/dq

  • 留空

    2011-04-03 20:45:06 留空 (开琼筵以坐花 飞羽觞而醉月)

    2011-04-02 11:00:15 点阵 回楼上,从没听说过这样的信仰,照你这样说,Lagrange方程不能导出Newton方程咯。
    物理学的基本信仰是对称性和守恒律,一种对称性对应一种守恒量。不守恒的量严格来说应该驱逐出物理学。由对称性给出lagrangian,由lagrangian给出运动方程。
    再问楼上,为什么要找lagrangian?

    量子化呗。

    牛顿力学中描述运动状态既需要位置,也需要速度。因此牛顿第二定律左边可以出现状态量(r,v),右边可以出现状态的时间变化率(v,a)。实际上物理学没有一个单一信仰,你所说的以对称性确定Lagrangian的方法在场论中常用,但是就像Weinberg I里的解释:对一个string theoretist来说,人们先需要观察到弦的一种振动模式,再由此导出满足规范对称性的effective field theory。

  • 2011-04-05 11:07:04 点阵

    先不论量子化是不是找lagrangian的根本出发点,显然量子化是一条理由,但不充分。Hamiltonian也能量子化,而且守恒,况且量子化方法也不只这一种。

    你定义的状态量本身就有问题,速度是状态量,加速度就是状态变化率了?一阶导数是状态量,高阶就不是了。“由于从拉氏量导出运动方程时会对t求一次导,因此我们一般假定拉氏量中只有速度而没有加速度。 ”

    这么说导出的运动方程只能含有不超过2阶的导数。但在阻尼力的问题中,方程含高阶导数。所以我说照你的意思,lagrange方程导不出经典力学。


    newton方程分左右,我也是第一次听说,求出处。

  • 孤立奇点

    2011-04-05 14:17:00 孤立奇点

    只看了两天拉格朗日方程的很惶恐的说道:
    那个~~~我似乎觉得在牛顿动力学方程里是不会出现三阶或以上的高阶微分方程吧。那时候,世界没那么复杂,给一个“力”的概念就搞定全部。力就是位置对时间的二阶导数。
    然后,拉格朗日函数给定后,世界就定了。假如体系里一个约束都没有,运动状态也是定下来的,至少拉格朗日等人时这样看的。我个人觉得这很符合直觉,就是,如果我啥都不知道,那我知道啥?“啥都不知道”也是一种状态。
    当我们确定物理景观里的某种变化,(我们确实认为在变,但不是任意变),这时构成我们关心的物理运动。这个“不任意”,就是我们明确知道,他受到了某种约束。当体系受到一定约束后,他就只能做某一类运动了。
    拉格朗日关注的是在那一类运动中,在所谓“主动力”情况下,构成的运动,他认为这就是我们见到的运动。若跟你见到的不一样的话,只能说明我们的约束没找齐,或主动力没找齐。所有经验和实验“都”表明,只要我们找的齐。拉格朗日方程就给的出来。若要从理论角度来证明,只要认为牛顿定律是正确的就行,可以证明拉格朗日动力学方程与牛顿动力学方程在数学上最后将给出相同的微分方程的解。(虚功原理等价于矢量受力平衡)+(达朗贝尔等效原理)使得拉格朗日的研究对象都是“平衡”的!而且和牛顿动力学方程构建的物理基础是一致的。拉格朗日还发现如果我们不是先知道“力”的情况,而是先知道体系“能”的情况,我们同样能得到体系运动情况。牛顿从来就不觉得“能”是必要的,“力”才是基础。但现在“能”也可以是基础了!
    关于为什么在拉格朗日函数里,广义速度是独立于广义坐标,那是因为那是拉格朗日函数,他是表征着体系的能量情况,体系的能量当然和体系的所谓动能,和所谓势能有关,而且,我们的世界在无约束情况下是可以有任意的动能和势能的,总不能说这样的势能就一定是那样的势能。虽然这是事实,但是在得到拉格朗日方程之后。所谓速度与位矢相对独立,是一个存在于逻辑里的情况,而不是某个物理事实。
    至于说到“加速度”这个东西,是没有的,因为一个显而易见的事实是,加速度是一种和力在数学上等价的东西。而现在“力”是没有的了。达朗贝尔原理,使得体系总是“平衡”。这种平衡,在牛顿看来是力的结果。但是拉格朗日认为,是拉格朗日函数,即体系能量的结果。
    若你告诉牛顿,这个体系“力”的情况,原则上他就懂得在逻辑上认识了这个运动以前或以后是怎样的,而且事实跟其思想一致。你你告诉拉格朗日体系能量的话,他也可以得到同样的运动结论。
    而最基本的是,他们都能看到的唯一东西是“运动”也是他们共同看到的事实。而事实是不为个人背后的思想而转移的。
    牛顿为啥不搞个加加速度呢?因为他不觉得世界上有一个这样的客观事实(独立于位置的)来支配这个情况。而人类有能力“找到”他所谓的“力”,然后就好了。人类同样能“找到”拉格朗日函数。构造“力”就不可避免要用到加速度的概念,但是构造体系动能和势能却不需要。
    大概就这样,我的初步理解~~~多谢指正。

  • 孤立奇点

    2011-04-05 14:29:57 孤立奇点

    糟糕,发完之后看得觉得瘆的慌~~~一批错误和漏洞~~~
    问个问题,拉格朗日是随便造的么????为啥组长说L=v+x也是拉格朗日函数???

  • 善龍

    2011-04-05 16:11:45 善龍 (无双)

    说个这样的事情吧,或许对大家有帮助。
    你们看标准的场论书上都极少出现外力这个概念,但这个量在你们的讨论中有很重要的意义,因为牛顿力学说了,外力是速度改变的原因,甚至还定量的给出了外力是如何改变速度的(牛二)。

    但牛顿力学没有解释外力是如何来的,这样就有两种不同的看法,一种是外力是外部因素,于是我们可以建立起一整套拉格朗日力学,‘前人之述备矣’;当然还有不服气的人,他们把研究的系统扩充到将外力也包含进来,作为研究的对象,这样问题就难缠了,他们试图去解释力本身是如何随时间空间改变的,以及力的改变是如何随时间改变的....当然这就是你们说的三次及高次导。

    似乎这是一个子子孙孙无穷尽矣的难题,让我们回到较为简单的问题:什么是力?在牛顿那个时代,有一个力是理解得比较清楚的,引力,至少比弹簧振子的弹力用胡克定律来描述这种东西要深刻得多,万有引力理论是一个很强大的理论,你看,它把这些子子孙孙无穷尽矣的难题全解决了(我是说它的各阶导数都可以明显的写出来),如果我们的世界只有万有引力就好了,但事实上没有这么简单:很显然,这个理论甚至无法解释弹力和摩擦力这些司空见惯的力。

    这时候,我们不得不提库伦,安培,韦伯,法拉第这一帮人,他们研究了除了引力之外日常生活中可以接触到的力:电力和磁力。最后,集大成者,麦克斯韦将这两种力统一起来。这些理论,都能把那些高阶导数什么的一次性解决,不留下尾巴,比如说库伦定律就讲清楚了两个带电球之间的力作为时间空间的函数是平法反比定律。

    在自牛顿开始的经典物理学(我主要是指微积分这个可以定量分析物理的工具出现之后)发展了200多年之后,我们生活中可以看到的力,引力和电磁力都很漂亮的被解决了,上帝好像也并不比我们强多少么,你看本来难缠的无穷阶导一次性就解决了。但故事还没有结束,实际上才刚刚开始,按照标准的书上的说法,飘来三朵乌云,革命了。

  • 留空

    2011-04-06 19:07:51 留空 (开琼筵以坐花 飞羽觞而醉月)

    正则量子化都是从拉氏量出发,这是因为就算你能找到体系的能量表达式,没有Lagrangian你也找不到正则动量,于是就无法对其赋予正则对易关系。此外,如果不知道Lagrangian我们也无法知道体系有什么约束。

    对经典力学来说,速度显然是状态量之一,表出系统能量、动量都需要速度,你总不能说这些都不是状态量吧。但加速度就不是状态量,也没有任何其它状态量需要加速度才能表出。

    “但在阻尼力的问题中,方程含高阶导数。所以我说照你的意思,lagrange方程导不出经典力学。”

    这我真没听说过,你说的是辐射阻尼?辐射阻尼不能严格看做一个力,这个我们都知道。更一般的说,假设某种力与质点速度的导数(即位矢高阶导数)有关,那么这种非保守力就可以质点自动加速,这将导致能量不守恒——这也是把辐射阻尼看做真实力时的困难之一。

  • 善龍

    2011-04-06 19:49:48 善龍 (无双)

    @留空:
    在量子力学里Hamiltonian比Lagrangian更基本,这是毋庸置疑的。还有,对易关系比这两个更基本,信不信,我甚至不需要Hamiltonian和Lagrangian,就能整出正则对易关系来?很简单,对易关系是假设的,可以从正则对易关系开始假设,也可以从其他地方开始假设,比如说,对称性,你不觉得奇怪么,动量算符正好是位置平移操作的生成元。

  • 善龍

    2011-04-06 19:52:18 善龍 (无双)

    我说的是正则量子化。

  • 留空

    2011-04-06 20:47:24 留空 (开琼筵以坐花 飞羽觞而醉月)

    用对称性当然是可以的,但仅限于非相对论量子力学。在场论里似乎并没有把共轭场算符看做场平移操作生成元的,因为我们实际上也基本不处理场算符的本征态。而在通常情况下,因为位置算符和动量算符的共轭性我们都知道,而单粒子Hamiltonian又常可以用p,q表出,确实可以直接从系统能量表达式过渡到Hamiltonian。但一般情况下这是不可能的,比如场的正则量子化中,能量表达式是用场量(如E,B)表达的,如果没有Lagrangian量我们就不知道如何用场量表出共轭场算符,因此就无法做正则量子化。更有甚者,如果我们要处理的体系具有singular Lagrangian(比如电磁场),那么从Lagrangian到Hamiltonian的过渡还能给出系统约束,而系统的约束条件直接影响了系统的规范不变性和对Poisson括号的修正,因此就算我猜出了共轭场算符的形式也无法直接进行正则量子化。

    以上这些内容在Dirac的Lectures on Quantum Mechanics(这是一本专论约束体系正则量子化的书),和Weinberg I中都有详细论述。两本书都很明确地指出:正则量子化的出发点是Lagrangian

  • 善龍

    2011-04-07 00:03:40 善龍 (无双)

    呃,这样呀,谢谢先。然后呢,在凝聚态里好像更多的是认为,Hamiltonian比Lagrangian更基本。

  • 善龍

    2011-04-07 00:11:23 善龍 (无双)

    虽然我现在弄不出来,但我还是坚信这个美丽的梦想:仅仅从对称性分析就能实现基本场量的量子化。

  • 留空

    2011-04-07 16:47:07 留空 (开琼筵以坐花 飞羽觞而醉月)

    2011-04-07 00:03:40 善龍 (子集) 呃,这样呀,谢谢先。然后呢,在凝聚态里好像更多的是认为,Hamiltonian比Lagrangian更基本。

    客气。在凝聚态里我就不太清楚了,也许是凝聚态里物理考虑更明显,不需要做“约束体系量子化”这样比较纠结的事情吧。。。(这个确实很纠结)

  • 作用量

    维基百科,自由的百科全书
    跳转到: 导航, 搜索

    跳过字词转换说明

     

    物理學裏,作用量(英语:action)是一個很特別,很抽象的物理量。它表示著一個動力物理系統內在的演化趨向。雖然與微分方程式方法大不相同,我們也可以用作用量來分析物理系統的運動,所得到的答案是相同的。我們只需要設定系統在兩個點的狀態,初始狀態與最終狀態。然後,經過求解作用量的平穩值,我們可以得到系統在兩個點之間每個點的狀態。

    目录

    [隐藏]

    [编辑] 歷史

    費馬於 1662年發表了費馬原理。這原理闡明:光傳播的正確路徑,所需的時間必定是極值。這原理在物理學界造成了很大的震撼。不同於牛頓運動定律的機械性,現今,一個物理系統的運動擁有了展望與目標。

    戈特弗里德·萊布尼茨不同意費馬的理論。他認為光應該選擇最容易傳播的路徑。他於1682年發表了他的理論:光傳播的正確路徑應該是阻礙最小的路徑;更精確地說,阻礙與徑長的乘積是最小值的路徑。這理論有一個難題,如果要符合實驗的結果,玻璃的阻礙必須小於空氣的阻礙;但是,玻璃的密度大於空氣,應該玻璃的阻礙會大於空氣的阻礙。萊布尼茨為此提供了一個令人百思的辯解。較大的阻礙使得光較不容易擴散;因此,光被約束在一個很窄的路徑內。假若,河道變窄,水的流速會增加;同樣地,光的路徑變窄,所以光的速度變快了。

    1744年,皮埃爾·莫佩爾蒂在一篇論文 《The agreement between the different laws of Nature that had, until now,seemed incompatiable》 中,發表了最小作用量原理:光選擇的傳播路徑,作用量最小。他定義作用量為移動速度與移動距離的乘積。用這原理,他證明了費馬原理:光傳播的正確路徑,所需的時間是極值; 他也計算出光在反射與同介質傳播時的正確路徑。1747年,莫佩爾蒂在另一篇論文 《On the laws of motion and of rest》 中,應用這原理於碰撞,正確地分析了彈性碰撞與非弹性碰撞;這兩種碰撞不再需要用不同的理論來解釋。

    萊昂哈德·歐拉在同年發表了一篇論文 《Method for finding curves having a minimal or maximal property or solutions to isoperimetric problems in the broadest accepted sense》 ;其中,他表明物體的運動遵守某種物理量極值定律,而這物理量是 \int_{path}\ v^2\ dt\,\! 。應用這理論,歐拉成功的計算出,當粒子受到連心力作用時,正確的拋射體運動。

    在此以後,許多物理學家,包括約瑟夫·拉格朗日威廉·哈密頓理查德·費曼等等,對於作用量都有很不同的見解。這些見解對於物理學的發展貢獻甚多。

    [编辑] 概念

    微分方程式時常被用來表述物理定律。微分方程式指定出,隨著極小的時間、位置、或其他變數的變化,一個物理變數如何改變。總合這些極小的改變,再加上這物理變數在某些點的已知數值或已知導數值,就能求得物理變數在任何點的數值。

    作用量方法是一種全然不同的方法.它能夠描述物理系統的運動,而且只需要設定物理變數在兩點的數值,稱為初始值與最終值。經過作用量平穩的演算,我們可以得到,此變數在這兩點之間任何點的數值。而且,作用量方法與微分方程式方法所得到的答案完全相同。

    哈密頓原理闡明了這兩種方法在物理學價位的等價:描述物理系統運動的微分方程式,也可以用一個等價的積分方程式來描述。無論是關於經典力學中的一個單獨粒子、關於經典場電磁場重力場,這描述都是正確的。更加地,哈密頓原理已經延伸至量子力學量子場論了。

    變分法數學語言來描述,求解一個物理系統作用量的平穩值(通常是最小值),可以得到這系統隨時間的演化(就是說,系統怎樣從一個狀態演化到另外一個狀態)。更廣義地,系統的正確演化對於任何微擾必須是平穩的。這要求導致出描述正確演化的微分方程式。

    [编辑] 作用量形式

    在經典物理裏,作用量這術語至少有七種不同的意義。每一種不同的意義有它不同的表達形式。

    [编辑] 作用量 (泛函)

    最常見的作用量是一個泛函 \mathcal{S}\,\! ,輸入是參數為時間與空間的函數,輸出是一個純量。在經典力學裏,輸入函數是物理系統在兩個時間點 t_{1}\,\!t_{2}\,\! 之間廣義坐標 \mathbf{q}(t)\,\! 的演變。

    作用量 \mathcal{S}\,\! 定義為,在兩個時間點之間,系統的拉格朗日量 L\,\! 隨時間的積分:

    \mathcal{S}[\mathbf{q}(t)] = \int_{t_1}^{t_2} L[\mathbf{q},\ \dot{\mathbf{q}},\ t]\, \mathrm{d}t\,\!

    根據哈密頓原理,正確的演化 \mathbf{q}_{\mathrm{true}}(t)\,\! 要求平穩的作用量 \mathcal{S}\,\! (最小值、最大值、鞍值)。經過運算,結果就是拉格朗日方程式

    [编辑] 簡略作用量 (泛函)

    簡略作用量也是一個泛涵,通常標記為 \mathcal{S}_{0}\,\! 。這裏,輸入函數是物理系統移動的一條路徑,完全不考慮時間參數。舉例而言,一個行星軌道的路徑是個橢圓,一個粒子在均勻重力場的路徑是拋物線;在這兩種狀況,路徑都不相依於粒子的移動的速度。簡略作用量 \mathcal{S}_{0}\,\! 定義為廣義動量  \mathbf{p}\,\! 延著路徑的積分:

    \mathcal{S}_{0} = \int \mathbf{p}\,\mathrm{d}\mathbf{q}\,\!

    其中,\mathbf{q}\,\! 是廣義坐標.根據莫佩爾蒂原理,正確路徑的簡略作用量 \mathcal{S}_{0}\,\! 是平穩的。

    [编辑] 哈密頓主函數

    主條目:哈密頓主函數

    哈密頓主函數是由哈密頓-亞可比方程式定義的。哈密頓-亞可比方程式是經典力學地另一種表述。哈密頓主函數 S\,\! 與泛涵 \mathcal{S}\,\! 有密切的關係。固定住初始時間 t_{1}\,\! 和其對應的坐標點 \mathbf{q}_{1}\,\! ;而准許時間上限 t_{2}\,\! 和其對應的坐標點 \mathbf{q}_{2}\,\! 的改變。取 t_{2}\,\!\mathbf{q}_{2}\,\! 為函數 S\,\! 的參數。換句話說,作用量函數 S\,\!拉格朗日量隨時間的不定積分

    S(\mathbf{q},\ \mathbf{P},\ t) = \int L[\mathbf{q},\ \dot{\mathbf{q}},\ t]\, \mathrm{d}t\,\!

    更加地,我們可以證明 \mathbf{P}\,\! 是某常數向量 \mathbf{a}\,\! 。所以,

    S(\mathbf{q},\ \mathbf{P},\ t) = S(\mathbf{q},\ \mathbf{a},\ t)\,\!

    [编辑] 哈密頓特徵函數

    主條目:哈密頓特徵函數

    假若,哈密頓量 H\,\! 是守恆的;

    H=\alpha\,\!

    其中,\alpha\,\! 是常數。

    設定哈密頓特徵函數 W\,\!

    W(\mathbf{q},\ \mathbf{a}) = S(\mathbf{q},\ \mathbf{a},\ t) - \alpha t\,\!

    則哈密頓特徵函數 W\,\! 是一個作用量。

    更加地,

    \frac{dW}{dt}=\frac{\partial W}{\partial \mathbf{q}}\dot{\mathbf{q}}=\mathbf{p}\dot{\mathbf{q}}\,\!

    隨時間積分:

    W(\mathbf{q},\ \mathbf{a})=\int\mathbf{p}\dot{\mathbf{q}}dt=\int \mathbf{p}\,d\mathbf{q}\,\!

    這正是簡略作用量的方程式。

    [编辑] 哈密頓-亞可比方程式解答

    主條目:哈密頓-亞可比方程式

    哈密頓-亞可比方程式是經典力學的一種表述。假若,哈密頓-亞可比方程式是完全可分的;則哈密頓主函數 S(\mathbf{q},\ \mathbf{P},\ t)\,\! 分出的每一個項目 S_{k}(q_{k},\ \mathbf{P},\ t)\,\! 也稱為"作用量"。

    [编辑] 作用量-角度坐標

    主條目:作用量-角度坐標

    思考一個作用量-角度坐標的廣義動量變數 J_{k}\,\! ,定義為在相空間內,關於轉動運動或振蕩運動,廣義動量的閉路徑積分

    J_{k} = \oint p_{k} \mathrm{d}q_{k}\,\!

    這變數 J_{k}\,\! 稱為廣義坐標 q_{k}\,\! 的作用量;相應的正則坐標角度 w_{k}\,\! 。不同於前面簡略作用量泛函地用點積來積分向量;這裏,只有一個純量變數 q_{k}\,\! 被用來積分。作用量 J_{k}\,\! 等於, 隨著 q_{k}\,\! 沿著閉路徑,S_{k}(q_{k})\,\! 的改變。應用於幾個有趣的物理系統,J_{k}\,\! 或者是常數,或者改變非常地慢。因此,J_{k}\,\! 時常應用於微擾理論緩漸不變量的研究。

    [编辑] 哈密頓流作用量

    參閱 重言1形式

    [编辑] 數學導引

    哈密頓原理闡明,如果一個物理系統在兩個時間點 t_{1}\,\!t_{2}\,\! 的運動是正確運動,則作用量泛函 \mathcal{S}\,\!一次變分 \delta\mathcal{S}\,\! 為零。用數學方程式表示,定義作用量為

    \mathcal{S}\ \stackrel{\mathrm{def}}{=}\  \int_{t_{1}}^{t_{2}} L(\mathbf{q},\ \dot{\mathbf{q}},\ t)\,dt\,\!

    其中,L(\mathbf{q},\ \dot{\mathbf{q}},\ t)\,\! 是系統的拉格朗日函數廣義坐標 \mathbf{q} = \left( q_{1},\ q_{2},\ \ldots,\ q_{N}\right)\,\! 是時間的函數。

    假若,\mathbf{q}(t)\,\! 乃系統的正確運動,則 \delta \mathcal{S}=0\,\!

    從哈密頓原理可以導引出拉格朗日方程式.假設 \mathbf{q}(t)\,\! 是系統的正確運動,讓 \boldsymbol\varepsilon(t)\,\! 成為一個微擾 \delta\mathbf{q}\,\! ;微擾在軌道兩個端點的值是零:

    \boldsymbol\varepsilon(t_{1})=\boldsymbol\varepsilon(t_{2})\ \stackrel{\mathrm{def}}{=}\ 0\,\!

    取至 \boldsymbol\varepsilon(t)\,\! 的一階微擾,作用量泛函的一次變分

    \delta \mathcal{S} = \int_{t_{1}}^{t_{2}}\;  \left[ L(\mathbf{q}+\boldsymbol{\varepsilon},\ \dot\mathbf{q} +\dot\boldsymbol{\varepsilon}) - L(\mathbf{q},\ \dot\mathbf{q}) \right]dt = \int_{t_{1}}^{t_{2}}\; \left( \boldsymbol\varepsilon \cdot \frac{\partial L}{\partial \mathbf{q}} +  \dot\boldsymbol\varepsilon \cdot \frac{\partial L}{\partial \dot\mathbf{q}}  \right)\,dt       \,\!

    這裏,我們將拉格朗日量 L\,\! 展開至 \boldsymbol\varepsilon(t)\,\! 的一階微擾。

    應用分部積分法於最右邊項目,

    \delta \mathcal{S} =  \left[ \boldsymbol\varepsilon \cdot \frac{\partial L}{\partial \dot\mathbf{q}}\right]_{t_{1}}^{t_{2}} + \int_{t_{1}}^{t_{2}}\;  \left( \boldsymbol\varepsilon \cdot \frac{\partial L}{\partial \mathbf{q}} - \boldsymbol\varepsilon \cdot \frac{d}{dt} \frac{\partial L}{\partial \dot\mathbf{q}} \right)\,dt\,\!

    邊界條件 \boldsymbol\varepsilon(t_{1}) = \boldsymbol\varepsilon(t_{2}) \ \stackrel{\mathrm{def}}{=}\  0\,\! 使第一個項目歸零。所以,

    \delta \mathcal{S} = \int_{t_{1}}^{t_{2}}\; \boldsymbol\varepsilon \cdot \left(\frac{\partial L}{\partial \mathbf{q}} - \frac{d}{dt} \frac{\partial L}{\partial \dot\mathbf{q}} \right)\,dt\,\!

    要求作用量泛函 \mathcal{S}\,\! 平穩。這意味著,對於正確運動的任意微擾 \boldsymbol\varepsilon(t)\,\! ,一次變分 \delta \mathcal{S}\,\! 必須等於零:

    \delta \mathcal{S} = \int_{t_{1}}^{t_{2}}\; \boldsymbol\varepsilon \cdot \left(\frac{\partial L}{\partial \mathbf{q}} - \frac{d}{dt} \frac{\partial L}{\partial \dot\mathbf{q}} \right)\,dt=0\,\!

    請注意,我們還沒有對廣義坐標 \mathbf{q}(t)\,\! 做任何要求。現在,我們要求所有的廣義坐標都互相無關(完整限制)。這樣,根據變分法基本引理,可以得到拉格朗日方程式:

     \frac{\partial L}{\partial \mathbf{q}} -  \frac{d}{dt}\frac{\partial L}{\partial \dot\mathbf{q}} = \mathbf{0}\,\!

    在各個物理學領域,拉格朗日方程式都被認為是非常重要的方程式,能夠用來精確地理論分析許多物理系統。

    對應於廣義坐標 q_{k}\,\!廣義動量 p_{k}\,\! ,又稱為共軛動量,定義為

    p_{k} \ \stackrel{\mathrm{def}}{=}\ \frac{\partial L}{\partial\dot q_{k}}\,\!

    L\,\! 不顯性地相依於廣義坐標 q_{k}\,\! 時,

    \frac{\partial L}{\partial q_{k}}=0\,\!

    則廣義動量 p_{k} \ \stackrel{\mathrm{def}}{=}\  \frac{\partial L}{\partial\dot q_{k}}\,\! 是常數。在此種狀況,坐標 q_{k}\,\! 稱為循環坐標。舉例而言,如果我們用極坐標系(r,\ \theta,\ h)\,\! 來描述一個粒子的平面運動,而 L\,\!\theta\,\! 無關,則廣義動量是守恆的角動量

    [编辑] 參閱

    [编辑] 外部連結

    [编辑] 參考文獻