哈密顿原理中的作用量极限四则变分

哈密顿原理中的作用量极限四则变分在经典力学的发展历程中，哈密顿原理以其简洁而深刻的形式，成为连接拉格朗日力学与哈密顿力学的桥梁，更是分析力学的核心基石之一。哈密顿原理的核心在于作用量的极值性，即真实运动对应的作用量取极值（通常为极小值）。而要深入理解这一原理，就必须对作用量的变分进行细致剖析，其中最基础也最重要的便是四则变分法则——即作用量在加减、数乘、乘法和除法运算下的变分规律。这些法则不仅是推导运动方程的关键工具，更是理解复杂系统动力学行为的钥匙。一、作用量与变分的基本概念1.1作用量的定义在分析力学中，作用量（Action）通常定义为拉格朗日函数(L(q,\dot{q},t))对时间的积分，其中(q)为广义坐标，(\dot{q})为广义速度，(t)为时间。对于一个从初始时刻(t_1)到末时刻(t_2)的运动过程，作用量(S)可表示为：[S=\int_{t_1}^{t_2}L(q,\dot{q},t)dt]拉格朗日函数(L)一般定义为系统的动能(T)减去势能(V)，即(L=T-V)。它包含了系统的所有动力学信息，是描述系统运动的核心函数。1.2变分的物理意义变分（Variation）是分析力学中一个极为重要的概念，它与微分既有联系又有本质区别。微分描述的是系统在真实运动轨迹上，由于时间或坐标的微小变化而引起的函数变化；而变分则描述的是在同一时刻，系统从真实运动轨迹到邻近的“可能运动轨迹”的微小偏离。具体来说，对于广义坐标(q(t))，其变分(\deltaq(t))满足以下条件：在初始时刻和末时刻，变分为零，即(\deltaq(t_1)=\deltaq(t_2)=0)，这是因为真实运动的初始和末状态是确定的。变分与微分的运算顺序可交换，即(\delta\dot{q}=\frac{d}{dt}\deltaq)，这意味着广义速度的变分等于广义坐标变分的时间导数。哈密顿原理指出，真实运动对应的作用量取极值，即作用量的变分(\deltaS=0)。这一极值条件是推导拉格朗日方程和哈密顿正则方程的出发点。二、作用量的加减变分法则2.1两个作用量之和的变分考虑两个独立的力学系统，其作用量分别为(S_1=\int_{t_1}^{t_2}L_1(q_1,\dot{q}1,t)dt)和(S_2=\int{t_1}^{t_2}L_2(q_2,\dot{q}_2,t)dt)。当这两个系统组合成一个复合系统时，总作用量(S=S_1+S_2)，对应的总拉格朗日函数(L=L_1+L_2)。根据变分的线性性质，总作用量的变分(\deltaS)为：[\deltaS=\delta(S_1+S_2)=\deltaS_1+\deltaS_2]将作用量的定义代入上式，可得：[\deltaS=\delta\int_{t_1}^{t_2}L_1dt+\delta\int_{t_1}^{t_2}L_2dt=\int_{t_1}^{t_2}\deltaL_1dt+\int_{t_1}^{t_2}\deltaL_2dt=\int_{t_1}^{t_2}(\deltaL_1+\deltaL_2)dt=\int_{t_1}^{t_2}\delta(L_1+L_2)dt]这表明，两个作用量之和的变分等于各自变分之和，即变分运算满足加法的分配律。2.2两个作用量之差的变分类似地，对于两个作用量(S_1)和(S_2)，其差的变分(\delta(S_1-S_2))为：[\delta(S_1-S_2)=\deltaS_1-\deltaS_2]这一结论可通过与加法变分类似的推导得出。需要注意的是，这里的(S_1)和(S_2)可以是同一系统在不同条件下的作用量，也可以是不同系统的作用量。2.3多作用量线性组合的变分将上述结论推广到多个作用量的线性组合，假设有(n)个作用量(S_1,S_2,\dots,S_n)，其线性组合为(S=\sum_{i=1}^nc_iS_i)，其中(c_i)为常数。则其变分为：[\deltaS=\sum_{i=1}^nc_i\deltaS_i]这一性质体现了变分运算的线性性，是后续推导复杂系统作用量变分的基础。2.4物理应用：耦合系统的作用量变分在实际的物理系统中，常常存在多个子系统相互耦合的情况。例如，两个通过弹簧连接的质点，其总拉格朗日函数是两个质点的拉格朗日函数加上弹簧的相互作用势能。此时，总作用量的变分可通过加减变分法则分解为各个子系统作用量的变分之和，从而可以分别对每个子系统的运动进行分析，再考虑耦合项的影响。三、作用量的数乘变分法则3.1常数与作用量乘积的变分考虑作用量(S=\int_{t_1}^{t_2}L(q,\dot{q},t)dt)与一个常数(k)的乘积，即(S'=kS)。其变分(\deltaS')为：[\deltaS'=\delta(kS)=k\deltaS]这一结论可通过变分的定义直接推导：[\deltaS'=\delta\left(k\int_{t_1}^{t_2}Ldt\right)=k\delta\int_{t_1}^{t_2}Ldt=k\int_{t_1}^{t_2}\deltaLdt=k\deltaS]这表明，常数与作用量乘积的变分等于常数乘以作用量的变分，即变分运算满足数乘的结合律。3.2时间尺度变换下的作用量变分在某些情况下，我们需要对时间尺度进行变换，例如将时间(t)变换为(\tau=kt)，其中(k)为常数。此时，作用量的形式会发生变化，其变分也需要重新考虑。假设原作用量为(S=\int_{t_1}^{t_2}L(q,\dot{q},t)dt)，时间变换后，新的时间(\tau)与原时间(t)的关系为(t=\tau/k)，则广义速度(\dot{q}=dq/dt=kdq/d\tau=kq')，其中(q'=dq/d\tau)。新的拉格朗日函数(L')可表示为：[L'(q,q',\tau)=L(q,kq',\tau/k)\cdot\frac{dt}{d\tau}=\frac{1}{k}L(q,kq',\tau/k)]新的作用量(S')为：[S'=\int_{\tau_1}^{\tau_2}L'(q,q',\tau)d\tau=\int_{t_1}^{t_2}L(q,kq',t)dt]其变分(\deltaS')可通过数乘变分法则和链式法则进行计算：[\deltaS'=\int_{t_1}^{t_2}\deltaL(q,kq',t)dt=\int_{t_1}^{t_2}\left(\frac{\partialL}{\partialq}\deltaq+\frac{\partialL}{\partial\dot{q}}\delta(kq')\right)dt=\int_{t_1}^{t_2}\left(\frac{\partialL}{\partialq}\deltaq+k\frac{\partialL}{\partial\dot{q}}\deltaq'\right)dt]由于(\deltaq'=\frac{d}{d\tau}\deltaq=\frac{1}{k}\frac{d}{dt}\deltaq=\frac{1}{k}\delta\dot{q})，代入上式可得：[\deltaS'=\int_{t_1}^{t_2}\left(\frac{\partialL}{\partialq}\deltaq+\frac{\partialL}{\partial\dot{q}}\delta\dot{q}\right)dt=\deltaS]这表明，在时间尺度变换下，作用量的变分保持不变，这体现了哈密顿原理在时间尺度变换下的不变性。3.3物理应用：系统质量变化的影响在某些物理问题中，系统的质量可能会发生变化，例如火箭发射过程中燃料的消耗。此时，系统的拉格朗日函数会因质量的变化而改变，作用量的变分也需要考虑质量变化的影响。通过数乘变分法则，可以将质量变化对作用量变分的影响分离出来，从而更方便地分析系统的运动。四、作用量的乘法变分法则4.1两个作用量乘积的变分考虑两个作用量(S_1=\int_{t_1}^{t_2}L_1(q_1,\dot{q}1,t)dt)和(S_2=\int{t_1}^{t_2}L_2(q_2,\dot{q}2,t)dt)，它们的乘积为(S=S_1S_2)。其变分(\deltaS)可通过乘积的微分法则推广得到：[\deltaS=\delta(S_1S_2)=S_1\deltaS_2+S_2\deltaS_1]为了验证这一结论，我们可以将作用量的定义代入：[\deltaS=\delta\left(\int{t_1}^{t_2}L_1dt\cdot\int_{t_1}^{t_2}L_2dt\right)]由于两个积分都是关于时间的定积分，其结果为常数，因此可以将它们视为两个普通的函数，其变分满足乘积的变分法则。需要注意的是，这里的(S_1)和(S_2)必须是相互独立的，即它们的广义坐标和广义速度之间没有耦合关系。4.2拉格朗日函数乘积的作用量变分在实际问题中，我们更常遇到的是拉格朗日函数乘积的作用量，即(S=\int_{t_1}^{t_2}L_1L_2dt)，其中(L_1)和(L_2)可能共享相同的广义坐标和广义速度。此时，作用量的变分需要通过变分的定义和链式法则进行计算：[\deltaS=\int_{t_1}^{t_2}\delta(L_1L_2)dt=\int_{t_1}^{t_2}(L_1\deltaL_2+L_2\deltaL_1)dt]对于拉格朗日函数(L(q,\dot{q},t))，其变分(\deltaL)可表示为：[\deltaL=\frac{\partialL}{\partialq}\deltaq+\frac{\partialL}{\partial\dot{q}}\delta\dot{q}+\frac{\partialL}{\partialt}\deltat]由于在哈密顿原理中，时间的变分通常为零（即(\deltat=0)），因此上式可简化为：[\deltaL=\frac{\partialL}{\partialq}\deltaq+\frac{\partialL}{\partial\dot{q}}\delta\dot{q}]将其代入拉格朗日函数乘积的作用量变分中，可得：[\deltaS=\int_{t_1}^{t_2}\left(L_1\left(\frac{\partialL_2}{\partialq}\deltaq+\frac{\partialL_2}{\partial\dot{q}}\delta\dot{q}\right)+L_2\left(\frac{\partialL_1}{\partialq}\deltaq+\frac{\partialL_1}{\partial\dot{q}}\delta\dot{q}\right)\right)dt]通过整理，可以将上式表示为：[\deltaS=\int_{t_1}^{t_2}\left(\left(L_1\frac{\partialL_2}{\partialq}+L_2\frac{\partialL_1}{\partialq}\right)\deltaq+\left(L_1\frac{\partialL_2}{\partial\dot{q}}+L_2\frac{\partialL_1}{\partial\dot{q}}\right)\delta\dot{q}\right)dt]这一结果在处理复杂系统的相互作用时非常有用，例如两个带电粒子之间的电磁相互作用，其拉格朗日函数包含了粒子的动能、势能以及相互作用项，通过乘积变分法则可以方便地计算其作用量的变分。4.3物理应用：相互作用系统的运动方程推导在量子力学中，路径积分方法是一种重要的计算工具，它将量子力学的振幅表示为所有可能路径的作用量的指数函数的积分。在路径积分中，常常需要计算作用量乘积的变分，以推导量子力学的运动方程。此时，乘法变分法则是必不可少的工具。五、作用量的除法变分法则5.1两个作用量商的变分考虑两个作用量(S_1)和(S_2)，其商为(S=\frac{S_1}{S_2})，其中(S_2\neq0)。其变分(\deltaS)可通过除法的微分法则推广得到：[\deltaS=\delta\left(\frac{S_1}{S_2}\right)=\frac{S_2\deltaS_1-S_1\deltaS_2}{S_2^2}]这一结论的验证与乘法变分类似，将作用量视为普通函数，利用除法的变分法则即可得到。需要注意的是，这里的(S_2)不能为零，否则商的变分将无意义。5.2拉格朗日函数商的作用量变分对于拉格朗日函数商的作用量(S=\int_{t_1}^{t_2}\frac{L_1}{L_2}dt)，其变分需要通过变分的定义和链式法则进行计算：[\deltaS=\int_{t_1}^{t_2}\delta\left(\frac{L_1}{L_2}\right)dt=\int_{t_1}^{t_2}\frac{L_2\deltaL_1-L_1\deltaL_2}{L_2^2}dt]将(\deltaL_1)和(\deltaL_2)的表达式代入上式，可得：[\deltaS=\int_{t_1}^{t_2}\frac{L_2\left(\frac{\partialL_1}{\partialq}\deltaq+\frac{\partialL_1}{\partial\dot{q}}\delta\dot{q}\right)-L_1\left(\frac{\partialL_2}{\partialq}\deltaq+\frac{\partialL_2}{\partial\dot{q}}\delta\dot{q}\right)}{L_2^2}dt]通过整理，可以将上式表示为：[\deltaS=\int_{t_1}^{t_2}\left(\frac{L_2\frac{\partialL_1}{\partialq}-L_1\frac{\partialL_2}{\partialq}}{L_2^2}\deltaq+\frac{L_2\frac{\partialL_1}{\partial\dot{q}}-L_1\frac{\partialL_2}{\partial\dot{q}}}{L_2^2}\delta\dot{q}\right)dt]这一结果在处理某些具有特殊形式拉格朗日函数的系统时非常有用，例如相对论性系统或具有非线性相互作用的系统。5.3物理应用：相对论性系统的作用量变分在相对论力学中，拉格朗日函数的形式与经典力学有所不同。例如，对于一个相对论性粒子，其拉格朗日函数为(L=-mc^2\sqrt{1-v^2/c^2}-V)，其中(m)为粒子的静止质量，(c)为光速，(v)为粒子的速度。此时，作用量的变分需要考虑相对论效应，通过除法变分法则可以方便地处理拉格朗日函数中的根号项，从而推导相对论性的运动方程。六、四则变分法则的综合应用6.1复杂系统作用量变分的计算在实际的物理问题中，系统的拉格朗日函数往往是多个函数的复杂组合，包含加减、数乘、乘法和除法运算。此时，我们需要综合运用四则变分法则，将复杂的作用量变分分解为简单的变分运算。例如，考虑一个具有以下拉格朗日函数的系统：[L=\frac{1}{2}m\dot{q}^2-kq^2+\frac{\alpha\dot{q}}{q}]其中(m)、(k)、(\alpha)为常数。其作用量为(S=\int_{t_1}^{t_2}Ldt)，其变分可通过四则变分法则计算：[\deltaS=\int_{t_1}^{t_2}\deltaLdt=\int_{t_1}^{t_2}\left(\delta\left(\frac{1}{2}m\dot{q}^2\right)-\delta(kq^2)+\delta\left(\frac{\alpha\dot{q}}{q}\right)\right)dt]分别计算每一项的变分：对于(\delta\left(\frac{1}{2}m\dot{q}^2\right))，利用数乘和乘法变分法则，可得(m\dot{q}\delta\dot{q})。对于(\delta(kq^2))，利用数乘和乘法变分法则，可得(2kq\deltaq)。对于(\delta\left(\frac{\alpha\dot{q}}{q}\right))，利用数乘和除法变分法则，可得(\alpha\frac{q\delta\dot{q}-\dot{q}\deltaq}{q^2})。将上述结果代入作用量的变分中，可得：[\deltaS=\int_{t_1}^{t_2}\left(m\dot{q}\delta\dot{q}-2kq\deltaq+\alpha\frac{q\delta\dot{q}-\dot{q}\deltaq}{q^2}\right)dt]通过整理，可以将上式表示为：[\deltaS=\int_{t_1}^{t_2}\left(\left(-2kq-\frac{\alpha\dot{q}}{q^2}\right)\deltaq+\left(m\dot{q}+\frac{\alpha}{q}\right)\delta\dot{q}\right)dt]利用分部积分法，将(\delta\dot{q})转化为(\deltaq)的时间导数，再利用初始和末时刻变分为零的条件，最终可以得到系统的运动方程。6.2哈密顿原理的推广：非保守系统的作用量变分在经典力学中，哈密顿原理通常适用于保守系统，即系统的势能仅与广义坐标有关，且不存在非保守力。然而，在实际问题中，非保守系统（如存在摩擦力、耗散力等）更为常见。此时，哈密顿原理需要进行推广，作用量的变分不再为零，而是等于非保守力所做的功。对于非保守系统，其作用量的变分可表示为：[\deltaS=\int_{t_1}^{t_2}Q\deltaqdt]其中(Q)为广义非保守力。通过综合运用四则变分法则，可以计算非保守系统作用量的变分，从而推导非保守系统的运动方程。6.3量子力学中的路径积分在量子力学中，路径积分方法是一种重要的计算工具，它由费曼（RichardFeynman）提出。路径积分方法将量子力学的振幅表示为所有可能路径的作用量的指数函数的积分，即：[\langleq_2,t_2|q_1,t_1\rangle=\int\mathcal{D}q(t)e^{iS[q(t)]/\hbar}]其中(\mathc