分析力学讲义课件chap6 低速宏观运动规律的正则形式

低速宏观运动规律的正则形式分析力学讲义·第六章·哈密顿力学与正则方程Contents本章内容概览低速宏观运动规律的正则形式——从勒让德变换到哈密顿-雅可比方程的完整理论脉络。01从拉格朗日到哈密顿：勒让德变换02哈密顿正则方程及其性质03泊松括号与运动守恒量04正则变换与生成函数05哈密顿-雅可比方程与应用CHAPTER01从拉格朗日到哈密顿：勒让德变换掌握变量替换的数学工具，理解运动描述的等价转换REVIEW·LIMITATIONS拉格朗日形式的回顾与局限拉格朗日方程以广义坐标和广义速度为基本变量描述力学系统，虽然形式优美但存在根本性的不对称：方程中广义坐标与广义速度的地位不平等，这种结构缺陷促使物理学家寻求更对称的运动描述框架。01动力学描述框架以广义坐标q和广义速度q̇为独立变量，通过L=T−V构建系统动力学，方程为二阶常微分方程组02结构性不对称d/dt(∂L/∂q̇)=∂L/∂q中，坐标仅一阶偏导而速度涉及全导数，两者地位不平等03相空间局限求解需2s个初始条件，但二阶方程组的相空间结构不够清晰，不利于分析系统整体运动特征04正则化动机引入广义动量p=∂L/∂q̇与坐标q构成共轭变量对，实现地位平等的对称描述LegendreTransformation勒让德变换的数学原理勒让德变换是一种通过导数变量替换原变量的数学方法：对于f(x,y)，若要用Q=∂f/∂y替换y，则新函数g=f-Qy自然成为x和Q的函数，实现了自变量的等价转换而不丢失信息。全微分设f(x,y)的全微分df=Pdx+Qdy，目标是用导数Q替换原变量y作为独立自变量。这一替换将改变函数对变量的依赖关系，但保持系统的完整信息。构造利用d(Qy)=Qdy+ydQ与df相减，新函数g(x,Q)=Qy−f的全微分自然以x和Q为自变量。这一构造确保了变换的数学自洽性。本质将原函数中某自变量的角色转移给其偏导数，新函数通过g=f−Qy与原函数完全等价。这种对偶性在热力学与力学中具有深刻物理意义。推广可推广至N元函数，每次变换将原变量替换为对应的偏导数变量。多重勒让德变换为处理复杂多变量系统提供了系统化的数学工具。抽象数学曲面与切平面—勒让德变换的几何直觉第六章·正则形式哈密顿函数的构造通过对拉格朗日函数L(q,q̇,t)实施关于广义速度q̇的勒让德变换，引入广义动量p=∂L/∂q̇，构造出哈密顿函数H=Σp·q̇−L，实现了从位形空间描述到相空间描述的根本转换。01广义动量的定义广义动量定义为ps=∂L/∂q̇s，它是拉格朗日函数L对广义速度的偏导数，恰好满足勒让德变换中"用偏导数替换原变量"的数学要求。勒让德变换共轭变量02哈密顿函数的求和形式对s个自由度求和，哈密顿函数H=Σ(ps·q̇s)−L，这里广义速度q̇需通过反解p=∂L/∂q̇表达为(q,p,t)的函数。相空间变量替换03全微分与自然变量计算dH的全微分：dH=Σ(q̇s·dps−ṗs·dqs)+∂H/∂t·dt，证明H自然以广义坐标q和广义动量p为独立自变量。正则方程独立变量04相空间的对称描述哈密顿函数将力学系统的描述从s维位形空间提升到2s维相空间，q和p地位完全平等，为构建对称的正则运动方程奠定基础。维度提升对称性Chapter06·HamiltonianMechanics哈密顿函数的物理意义在约束不显含时间且势能不依赖速度的标准条件下，哈密顿函数H恰好等于系统的总机械能E=T+V。这一深刻联系揭示了相空间描述与能量守恒之间的内在统一，是理解哈密顿力学物理内涵的关键。01当动能T是广义速度的二次齐次函数时，由欧拉定理Σ(q̇ₛ·∂T/∂q̇ₛ)=2T，代入H=Σp·q̇−L得H=2T−(T−V)=T+V=EH=T+V02H=E成立的两个充分条件：(1)坐标变换不显含时间t，保证动能为广义速度的二次齐次函数；(2)势能V不依赖广义速度2Conditions03若约束显含时间（如运动斜面），动能包含广义速度的一次项和零次项，此时H≠E，但H仍然是运动方程的生成函数H≠E04当L不显含时间t时，dH/dt=∂H/∂t=−∂L/∂t=0，哈密顿函数守恒，这等价于系统的能量守恒定律dH/dt=0典型示例中心势场中粒子的哈密顿量以中心势场V(r)中的粒子为例，从拉格朗日量出发经勒让德变换构造哈密顿量，清晰展示了广义动量的计算、速度反解和函数变换的完整流程。01极坐标下拉格朗日量L=½m(ṙ²+r²θ̇²)−V(r)，广义动量pr=mṙ（径向动量），pθ=mr²θ̇（角动量）pr·pθ02反解广义速度ṙ=pr/m，θ̇=pθ/(mr²)，代入H=Σp·q̇−L，化简得H=pr²/(2m)+pθ²/(2mr²)+V(r)勒让德变换03结果H=T+V正是系统总能量，其中pθ²/(2mr²)是离心势能项，有效势Veff=V(r)+pθ²/(2mr²)将二维问题化为一维Veff04pθ不显含θ意味着∂H/∂θ=0，由正则方程知ṗθ=0，即角动量守恒——体现了哈密顿框架下对称性与守恒律的直接联系守恒律CanonicalEquations哈密顿正则方程的推导通过对哈密顿函数全微分的两种方式计算并比较系数，得到2s个一阶常微分方程——正则方程。01由H的定义计算全微分dH=Σ(q̇s·dps−ṗs·dqs)−(∂L/∂t)·dt，其中利用了拉格朗日方程ṗs=∂L/∂qs02H作为(q,p,t)的函数，全微分为dH=Σ(∂H/∂qs·dqs+∂H/∂ps·dps)+(∂H/∂t)·dt，两式中dqs、dps系数逐项比较03得到正则方程：q̇s=∂H/∂ps，ṗs=−∂H/∂qs（s=1,2,…,s），以及∂H/∂t=−∂L/∂t04正则方程的对称性：q̇由H对p的偏导给出（正值），ṗ由H对q的偏导给出（负值），正负号差异反映辛结构的本质FIRSTINTEGRALS正则方程的首次积分与守恒量正则方程使守恒量的识别变得直观而系统：循环坐标对应广义动量守恒，H不显含时间则能量守恒。这种简洁的判定规则源于哈密顿框架中q与p的平等地位和方程的高度对称性，为分析复杂系统提供了有力工具。01循环坐标积分若∂H/∂qj=0（H不显含qj），则ṗj=0即pj=常数，该广义动量为运动守恒量，系统自由度有效降低。这是正则方程对称性的直接体现。02能量积分dH/dt=∂H/∂t+Σ(∂H/∂q·q̇+∂H/∂p·ṗ)，代入正则方程后求和项恒消去，得dH/dt=∂H/∂t。这一简洁结果揭示了哈密顿量的演化规律。03能量守恒判定当H不显含时间t时∂H/∂t=0，H=常数即能量守恒，与拉格朗日框架结论一致但推导更为简洁直接，体现了正则形式的优越性。04维度降低每发现一个守恒量，系统维度降低2（一对q、p中p确定后q可通过积分求出），为哈密顿-雅可比方法的理论基础，也是可积系统研究的核心。CHAPTER03泊松括号与运动守恒量建立相空间函数的代数运算，揭示守恒量之间的深层结构CHAPTER06·POISSONBRACKETS泊松括号的定义与代数性质泊松括号{f,g}=Σ(∂f/∂qs·∂g/∂ps-∂f/∂ps·∂g/∂qs)为相空间函数定义了一种代数运算，具有反对称性、双线性、莱布尼茨律和雅可比恒等式四大性质，使相空间函数集合构成李代数结构。DEFINITION定义与求和结构{f,g}=Σs(∂f/∂qs·∂g/∂ps−∂f/∂ps·∂g/∂qs)，对s个自由度求和，反映f与g在相空间中的非对易程度。非对易性SYMMETRY反对称性与双线性{f,g}=−{g,f}，直接推论{f,f}=0；{af+bg,h}=a{f,h}+b{g,h}，括号对函数的线性组合满足分配律。{f,f}=0LEIBNIZRULE莱布尼茨律{fg,h}=f{g,h}+{f,h}g，泊松括号对函数的乘积满足类似导数的乘积法则，体现微分运算特征。乘积法则JACOBIIDENTITY雅可比恒等式{f,{g,h}}+{g,{h,f}}+{h,{f,g}}=0，确保相空间函数集合在泊松括号运算下构成李代数。李代数PoissonBrackets基本泊松括号与运动方程的括号形式正则变量满足{qi,pj}=δij，相函数时间演化为df/dt={f,H}+∂f/∂t，正则方程由此浓缩为统一的括号形式。01基本泊松括号{qi,qj}=0，{pi,pj}=0，{qi,pj}=δij（克罗内克符号），这三组关系构成正则变量的定义性特征。δij02全时间导数化简对任意f(q,p,t)求全时间导数，代入正则方程后化简，得到统一表达式df/dt={f,H}+∂f/∂t。{f,H}03恢复正则方程取f=qs得q̇s={qs,H}=∂H/∂ps；取f=ps得ṗs={ps,H}=−∂H/∂qs，逐一恢复正则方程两式。∂H/∂ps04形式不变性括号形式将2s个正则方程统一为一个公式，且对任意正则变换保持形式不变，是正则变换理论的出发点。正则变换第六章·正则形式守恒量的泊松括号判据与泊松定理不显含时间的函数f是运动守恒量当且仅当{f,H}=0。泊松定理进一步指出两个守恒量的泊松括号仍是守恒量，这一深刻结论将守恒量的搜索从逐一试探提升为系统化的代数生成过程。守恒量判据若∂f/∂t=0且{f,H}=0，则df/dt=0即f为守恒量。这一判据将守恒量的搜索等价于寻找与哈密顿量H泊松对易的函数，为系统分析提供了明确的代数标准。核心条件泊松定理若{f,H}=0且{g,H}=0（f和g均为守恒量），则{{f,g},H}=0，即{f,g}也是守恒量。该定理揭示了守恒量集合在泊松括号运算下的封闭性。代数结构雅可比恒等式证明{{f,g},H}+{{g,H},f}+{{H,f},g}=0，后两项因{g,H}=0和{f,H}=0而消去，故{{f,g},H}=0。雅可比恒等式是泊松定理的数学基石。数学基础实际应用从已知守恒量出发通过泊松括号生成新守恒量，若结果非零且独立于已知量，则获得系统的新对称性信息。这一方法显著提升了寻找隐藏对称性的效率。方法论CHAPTER04正则变换与生成函数在保持正则结构的条件下变换变量，寻找简化问题的最优坐标系第六章·正则形式正则变换的定义与基本原理正则变换是保持哈密顿方程形式不变的相空间变量替换。其本质条件是变换前后作用量被积函数仅差全时间导数：Σp·q-dot-H=ΣP·Q-dot-K+dF/dt，生成函数F编码了变换的全部信息。01定义(q,p)→(Q,P)的变换若使新变量仍满足正则方程Q̇=∂K/∂P、Ṗ=−∂K/∂Q，则该变换为正则变换。(q,p)→(Q,P)02等价条件Σp·q̇−H=ΣP·Q̇−K+dF/dt，两个被积函数相差全导数，F(q,Q,t)称为生成函数。dF/dt03新旧哈密顿量K=H+∂F/∂t，当变换不显含时间时K=H，哈密顿函数形式改变但物理内容不变。K=H04核心价值通过巧妙选择变换将复杂H化为简单K（如K仅依赖P），使正则方程直接可积。K(P)CANONICALTRANSFORMATIONS四类生成函数及其变换关系正则变换由生成函数完全决定，根据自变量选择的不同分为四种基本类型。四类生成函数通过勒让德变换互相联系，各自适用于不同的物理场景。TYPEI&II第一类与第二类F₁(q,Q,t)ps=∂F₁/∂qs，Ps=−∂F₁/∂Qs。旧坐标与新坐标为自变量，适用于坐标型变换。F₂(q,P,t)ps=∂F₂/∂qs，Qs=∂F₂/∂Ps。旧坐标与新动量为自变量，最常用；恒等变换F₂=Σq·P。TYPEIII&IV第三类与第四类F₃(p,Q,t)qs=−∂F₃/∂ps，Ps=−∂F₃/∂Qs。旧动量与新坐标为自变量，适用于动量-坐标互换。F₄(p,P,t)qs=−∂F₄/∂ps，Qs=∂F₄/∂Ps。旧动量与新动量为自变量，适用于纯动量型变换。LEGENDRETRANSFORM类型间的联系四类生成函数通过勒让德变换相互转换，构成完整的正则变换理论体系。勒让德变换是热力学与经典力学中的核心数学工具，通过勒让德变换可以在不同自变量组合之间灵活切换，保持物理本质不变。F₂=F₁+ΣP·QF₃=F₁−Σp·qF₄=F₂−Σp·q=F₃+ΣP·QCANONICALTRANSFORMATIONS生成函数的典型示例通过选择不同的生成函数可以构造各种正则变换：恒等变换保持变量不变，点变换对应坐标变换的推广，坐标-动量交换则揭示了q和p在哈密顿框架下的本质平等性。01恒等变换F₂=Σqs·Ps给出Qs=qs、Ps=ps，新旧变量完全相同，是正则变换的平凡起点02点变换F₂=Σfs(q,t)·Ps给出Qs=fs(q,t)（坐标变换）和ps=Σ(∂fj/∂qs)·Pj（动量相应变换）03坐标-动量互换F₁=Σqs·Qs给出ps=Qs、Ps=−qs，新坐标=旧动量、新动量=−旧坐标，体现q与p的平等地位04谐振子变换F₁=(mω/2)(q²+Q²)cot(ωt)将谐振子化为自由粒子，展示生成函数可极大简化问题SYMPLECTICCONDITION正则变换的辛条件与判定正则变换的充要条件可用辛矩阵方程MJMᵀ=J简洁表述，其中J是标准辛矩阵。辛条件统一了生成函数方法和直接验证方法，并自然导出刘维尔定理——正则变换保持相空间体积不变（detM=1）。01雅可比矩阵M=∂(Q₁…Q_s,P₁…P_s)/∂(q₁…q_s,p₁…p_s)编码变换的全部一阶信息，是正则变换判定的核心数学对象。02辛条件MJMᵀ=J，其中J=(0,I;−I,0)J为2s×2s标准辛矩阵，该条件保证基本泊松括号在变换下保持不变。03辛矩阵性质det(M)=1，M⁻¹=JMᵀJ⁻¹行列式恒为1保证体积守恒，逆矩阵公式简洁，辛矩阵的乘积仍为辛矩阵。04等价泊松括号{Q_i,Q_j}=0，{P_i,P_j}=0，{Q_i,P_j}=δ_ij变换后的基本泊松括号关系与变换前完全相同，这是辛条件的等价表述。CHAPTER05哈密顿-雅可比方程与应用将力学问题化为偏微分方程求解，架设经典力学与量子力学的桥梁CanonicalTransformation哈密顿-雅可比方程的推导通过寻找使新哈密顿量K恒为零的特殊正则变换，将所有新变量化为常数，从而直接给出运动解。这一策略导出的哈密顿-雅可比方程H(q,∂S/∂q,t)+∂S/∂t=0是求解力学问题的统一框架。01目标正则变换寻找正则变换(q,p)→(Q,P)使K(Q,P,t)=0，则Q̇=∂K/∂P=0、Ṗ=−∂K/∂Q=0，新变量全为常数α、β。02生成函数与方程取F₂=S(q,α,t)为生成函数，K=H+∂S/∂t=0给出哈密顿-雅可比方程：H(q,∂S/∂q,t)+∂S/∂t=0。03哈密顿主函数这是关于S的一阶非线性偏微分方程，S称为哈密顿主函数，其完全积分含s个独立常数α₁,…,αₛ。04解析求解路径解出S后，由βₛ=∂S/∂αₛ（s个代数方程）和pₛ=∂S/∂qₛ直接给出q(t)和p(t)的解析表达式。HAMILTON–JACOBI定常HJ方程与分离变量法当H不显含时间时，S可分离为W(q)-Et，偏微分方程化为不含时间的定常HJ方程H(q,∂W/∂q)=E。若W还可对各坐标分离变量，则偏微分方程化为s个独立的常微分方程，实现力学问题的系统求解。01时间变量分离H不显含t时分离时间：S(q,α,t)=W(q,α)−Et，代入HJ方程得H(q₁,...,q_s,∂W/∂q₁,...,∂W/∂q_s)=ES=W−Et02哈密顿特征函数W称为哈密顿特征函数，定常HJ方程比完整的HJ方程少一个自变量，求解难度显著降低降维简化03坐标分离变量若坐标可分离：W=W₁(q₁)+W₂(q₂)+...+W_s(q_s)，每个W_k满足仅含q_k的常微分方程，含分离常数α_kW=ΣWₖ(qₖ)04积分与运动常数分离变量法将s维偏微分方程化为s个一维常微分方程的积分，每个积分引入常数α_k和β_k，恰好给出2s个运动常数2s个常数HAMILTON–JACOBI·EXAMPLE示例：用HJ方程求解一维谐振子以谐振子为例完整展示HJ方法的求解流程：从定常HJ方程出发，分离变量积分得到特征函数W，再通过∂W/∂E=t+β反解出运动方程x(t)=Asin(ωt+δ)，验证了HJ方法的系统性和完备性。定常HJ方程(1/2m)(dW/dx)²+½mω²x²=E，解出dW/dx=√(2mE−m²ω²x²)，积分得W(x,E)W(x,E)分离变量积分β=∂W/∂E−t，积分得t+β=(1/ω)arcsin(x·ω√(m/2E))∂W/∂E反解运动方程x(t)=√(2E/mω²)·sin(ω(t+β))，振幅A=√(2E/mω²)，周期T=2π/ωT=2π/ω方法优势求解过程系统化，不依赖物理直觉猜测解的形式，可直接推广到多维和多体问题系统化求解Hamilton–JacobiTheory哈密顿主函数的物理意义与光学类比哈密顿主函数S等于沿真实路径的作用量积分，其等值面在相空间中类似波前。HJ方程与几何光学程函方程的深刻类比，不仅统一了力学与光学的数学结构，更直接启发了薛定谔方程的建立，架设了经典力学通往量子力学的桥梁。01S(q,t)=∫₀ᵗLdt沿真实路径积分，dS/dt=L，S是作用量作为端点函数的表达。dS/dt=L02位形空间中S(q,t)=常数的曲面类似光学波前，粒子轨道正交于等S面。S=const03HJ方程(∇S)²=2m(E−V)与程函方程(∇S)²=n²(r)形式相同，粒子轨道对应光线。(∇S)²=n²04德布罗意受此类比提出物质波假说，薛定谔将S代入HJ推广形式得到薛定谔方程。ψ=eiS/ℏ波前曲面与正交光线·深青黛色调示意CANONICALTRANSFORMATION作用量-角度变量作用量-角度变量(J,w)是周期运动的自然正则坐标系。作用量J=∮pdq/(2π)为守恒量，角度w线性增长，频率ν=∂H/∂J直接由能量对J的导数给出。这套变量将周期运动的分析简化为频率计算，并为绝热不变量理论奠定基础。01作用量变量定义J=(1/2π)∮p·dq，积分沿相轨道一个完整周期，J等于相轨道包围面积除以2π，为运动常数。∮p·dq/2π02角度变量演化w由正则变换(J,w)←(q,p)给出，ẇ=∂H/∂J=ω(J)为常数，w=ωt+w₀随时间线性增长。w=ωt+w₀03频率公式ν(J)=(1/2π)∂H/∂J，仅需知道H(J)即可计算振动频率，无需求出q(t)和p(t)的完整解析解。ν=∂H/∂J/2π04谐振子验证H=E=Jω₀（ω₀为固有频率），ν=(1/2π)∂H/∂J=ω₀/(2π)，与直接求解一致。H=Jω₀AnalysisMechanics·Lecture