目录

• 技术背景
• 场景假设
• 动力学与勒让德变换
• 勒让德变换图像
• 多变量勒让德变换
• 拉格朗日力学与哈密顿力学
• 勒让德变换与统计力学
• 概要
• 版权声明
• 参考链接

技术背景

勒让德变换在经典力学和统计力学中是非常常用的一个数学工具，其变换了一个函数的所有（或部分）自变量，也改变了函数的形式，最终却不改变函数所表征的意义。最典型的案例是从拉格朗日动力学到哈密顿动力学的勒让德变换的应用，最终证明了两种力学框架的一致性。勒让德变换作为一个数学工具，光看形式的话很容易让人不明所以，这里我们代入一个经典动力学的案例，来看看勒让德变换的真实物理含义是什么。

场景假设

假定某一个白天，勒让德正在一个操场上自南向北走过，突然他向右一转头，发现一个自东向西飞过来的足球，砸中了自己的脑袋。勒让德并没有看清楚球的具体轨迹，离勒让德不远的足球场上正站着三个人，一个人在勒让德的正东方，一个人在勒让德的东南方，一个人在勒让德的东北方。那么问题来了，是谁踢中了勒让德的脑袋呢？此时勒让德想起来球在砸到你的脑袋的一瞬间，是自东向西飞的，于是勒让德笃定就是在正东方的那个人踢过来的球【后人称之为勒让德变换】，然后勒让德跑过去把他打了一顿。勒让德不仅没打得过他，还被告知自己找错人了，这是怎么一回事呢？

动力学与勒让德变换

我们给定一个经典动力学中的直线匀速运动方程

s(t)=vt s0s(t)=vt s0

其中s(t)s(t)为tt时刻的位置，s0s0为t=0t=0时刻的位置，vv表示速度，并且是一个常量。则该方程的全微分形式为

ds=vdtds=vdt

而此时我们看着等式右边的表达式，想到了vdtvdt可能是一个全微分形式的一部分d(vt)=vdt tdvd(vt)=vdt tdv，将这个全微分形式移项再代入到上述的全微分表达式中有

ds=d(vt)−tdvd(vt−s)=tdvds=d(vt)−tdvd(vt−s)=tdv

则，令函数g(v)=vt−sg(v)=vt−s就称之为s(t)s(t)的勒让德变换，需要注意的有∂g∂v=t∂g∂v=t。类似的道理，我们也可以对g(v)g(v)再度做勒让德变换

dg=tdv=d(vt)−vdtd(vt−g)=vdtdg=tdv=d(vt)−vdtd(vt−g)=vdt

于是我们发现，s=vt−gs=vt−g又变回来了，s(t)s(t)和g(v)g(v)互为勒让德变换。那么在这种假定的前提条件下，上一个章节的场景假设中，勒让德应该没打错人，那是怎么一回事呢？我们考虑一个马格努斯力的场景在流体中运动的球体，如果本身带有自旋，会受到一个前进速度与角速度平面法向的作用力，称之为马格努斯力，其形式为

F=43(4π2r3ρωv)F=43(4π2r3ρωv)

其中rr是球体半径，ρρ是空气密度，ωω是球体自旋的角速度，vv是球体前进的速度。相关的马格努力作用下的球体轨迹如下图所示

马格努斯力对球体直线运动造成的偏移量为

s(t)=vt s0 83mπ2r3ρωvt2s(t)=vt s0 83mπ2r3ρωvt2

全微分形式变成了

ds=vdt 163mπ2r3ρωvtdt=vdt a(v)tdtds=vdt 163mπ2r3ρωvtdt=vdt a(v)tdt

这里为了简写，假定了一个新的函数a(v)=163mπ2r3ρωva(v)=163mπ2r3ρωv，那么代入以下的两个变换

vdt=d(vt)−tdvatdt=d(12at2)−12t2davdt=d(vt)−tdvatdt=d(12at2)−12t2da

就可以得到

ds=d(vt)−tdv d(12at2)−12t2dad(vt 12at2−s)=tdv 12t2dads=d(vt)−tdv d(12at2)−12t2dad(vt 12at2−s)=tdv 12t2da

新的勒让德变换函数为g∗(v)=vt 83mπ2r3ρωvt2−s≠vt−s=g(v)g∗(v)=vt 83mπ2r3ρωvt2−s≠vt−s=g(v)。通过这两个变换，我们逐渐发现了勒让德变换在这个案例中的物理含义每一个时间点ττ都会有一个对应的矢量速度vτvτ，由于s(t)s(t)是连续函数，我们可以假设τ δtτ δt的小量时间内做匀速直线运动，那么勒让德变换就是一个扩展的假设，把整段[0,τ δt][0,τ δt]时间内的运动看做是匀速直线运动。不论是g∗(v)g∗(v)还是g(v)g(v)，都有

s∗(t)=(vτ 163mπ2r3ρωvττ)t−g∗(vτ)s∗(t)=(vτ 163mπ2r3ρωvττ)t−g∗(vτ)

这个公式所表示的是s(t)≈s∗(t),t∈[0,τ δt]s(t)≈s∗(t),t∈[0,τ δt]，而g∗(vτ)=s∗(0)g∗(vτ)=s∗(0)，即勒让德变换表示的是在ττ时刻的球体轨迹切线方程在t=0t=0时刻的值s∗(0)s∗(0)，也就是勒让德以为的肇事者所在的位置，而实际上真正的肇事者在g∗(v0)=s(0)≠s∗(0)g∗(v0)=s(0)≠s∗(0)，这就是勒让德找错肇事者的原因。而上一个章节中，只有在踢出来的球没有侧旋，即表达式中的ω=0ω=0时，运动轨迹变成了一个匀速直线运动（即sω=0(0)=s∗ω=0(0)sω=0(0)=sω=0∗(0)），此时勒让德对肇事者的判断才是准确的。

可能看到这里还是会有人对于勒让德变换的物理含义表示不解，这里再做一下简单勒让德变换在动力学过程中表示物体近似运动过程的出发点，对于凸函数，只有在初始的时刻才有勒让德变换的函数值与物体真实运动过程的出发点重合。

勒让德变换图像

如下图片来自于参考链接3，用y∗=f′(x0)x−f∗y∗=f′(x0)x−f∗的形式近似y=f(x)y=f(x)在x0x0处的值，其中对应的x=0x=0处的y∗y∗的值f∗f∗就是勒让德变换的函数值

下图来自于参考链接1，其表述的内容与上图一致，需要注意的是，对于每一个函数y=f(x)y=f(x)的点，都有一个对应的勒让德变换的函数值，新的自变量与这些函数值共同构成了勒让德变换的函数形式

多变量勒让德变换

上述的案例主要是针对单变量和双变量的特殊勒让德变换的形式进行讲解，这里我们把勒让德变换写成更加一般的多变量形式，给定一个多变量函数f(x1,x2,...,xn)f(x1,x2,...,xn)的全微分形式

df=∑i=1n∂f∂xidxi=∑i=1nyidxidf=∑i=1n∂f∂xidxi=∑i=1nyidxi

然后将yidxi=d(yixi)−xidyiyidxi=d(yixi)−xidyi代入，得到

df=d(∑i=1nyixi)−∑i=1nxidyid(−f ∑i=1nyixi)=∑i=1nxidyidf=d(∑i=1nyixi)−∑i=1nxidyid(−f ∑i=1nyixi)=∑i=1nxidyi

则函数g=−f ∑ni=1yixig=−f ∑i=1nyixi称为函数ff的勒让德变换，并且，勒让德变换还具备如下的关系

∂g∂yi=xi∂g∂yi=xi

以上就是勒让德变换的多变量形式，变换本身并不是很复杂，重点关注一下在具体问题中的应用。

拉格朗日力学与哈密顿力学

在拉格朗日力学中，我们一般用广义坐标qq和广义速度q˙q˙来表征物体的动力学状态，对于每一个系统，动力学过程可以用拉格朗日量L(q,q˙,t)=T−VL(q,q˙,t)=T−V来描述，其中TT表示系统动能，VV表示系统势能。根据保守系的欧拉-拉格朗日方程有

∂L∂q=ddt∂L∂q˙∂L∂q=ddt∂L∂q˙

由于拉格朗日量中只有动能项显含广义速度，可以得到一个新的参数，系统动量pp与qq的相互关系（此时注意我们的目标是把(q,q˙)(q,q˙)的表象变换到(p,q)(p,q)的表象）:

p=∂L∂q˙,p˙=∂L∂qp=∂L∂q˙,p˙=∂L∂q

则可得到拉格朗日量的全微分形式

dL=∂L∂qdq ∂L∂q˙dq˙ ∂L∂tdt=p˙dq pdq˙ ∂L∂tdt=p˙dq d(pq˙)−q˙dp ∂L∂tdtdL=∂L∂qdq ∂L∂q˙dq˙ ∂L∂tdt=p˙dq pdq˙ ∂L∂tdt=p˙dq d(pq˙)−q˙dp ∂L∂tdt

等式左右交替位置，整理可得

dH=d(pq˙−L)=q˙dp−p˙dq−∂L∂tdtdH=d(pq˙−L)=q˙dp−p˙dq−∂L∂tdt

其中H=pq˙−LH=pq˙−L是拉格朗日量的一个勒让德变换，也被称为哈密顿量。由该哈密顿量，可以推导出哈密顿-正则运动方程

∂H∂p=dqdt∂H∂q=−∂L∂q=−dpdt∂H∂p=dqdt∂H∂q=−∂L∂q=−dpdt

，我们也可以通过勒让德变换的函数形式推断出哈密顿量的物理含义H=pq˙−L=T VH=pq˙−L=T V，也就表示着系统总能量。就这样通过勒让德变换，就可以证明拉格朗日力学跟哈密顿力学的等价性。

勒让德变换与统计力学

热力学的基本方程，是内能的全微分

dU=−PdV TdSdU=−PdV TdS

代入PdV=d(PV)−VdPPdV=d(PV)−VdP做勒让德变换得

dU=VdP−d(PV) TdSdH=d(U PV)=VdP TdSdU=VdP−d(PV) TdSdH=d(U PV)=VdP TdS

其中H=U PVH=U PV是热力学焓。类似的方法，对内能全微分代入TdS=d(TS)−SdTTdS=d(TS)−SdT做勒让德变换得

dU=−PdV d(TS)−SdTdF=d(U−TS)=−PdV−SdTdU=−PdV d(TS)−SdTdF=d(U−TS)=−PdV−SdT

其中F=U−TSF=U−TS是亥姆赫兹自由能。接下来对焓的全微分代入TdS=d(TS)−SdTTdS=d(TS)−SdT做勒让德变换得

dH=VdP d(TS)−SdTdG=d(H−TS)=VdP−SdTdH=VdP d(TS)−SdTdG=d(H−TS)=VdP−SdT

其中G=H−TS=U PV−TSG=H−TS=U PV−TS是热力学系统的吉布斯自由能。并且由上述的四个U,H,F,GU,H,F,G的表达式，可以推导出麦克斯韦关系式

dU=−PdV TdS=∂U∂VdV ∂U∂SdST=∂U∂S,P=−∂U∂V∂T∂V=∂2U∂S∂V=−∂P∂SdU=−PdV TdS=∂U∂VdV ∂U∂SdST=∂U∂S,P=−∂U∂V∂T∂V=∂2U∂S∂V=−∂P∂S

同理可以计算得

∂T∂P=∂V∂S∂S∂V=∂P∂T∂S∂P=−∂V∂T∂T∂P=∂V∂S∂S∂V=∂P∂T∂S∂P=−∂V∂T

这样，就可以通过勒让德变换，从热力学基本方程推导到麦克斯韦关系式。

概要

为了通过一些实际问题来理解勒让德变换，我们假定了这样的一个场景一个叫勒让德的人在足球场边上被不知来源的球砸中了脑袋，只能够判断足球砸到脑袋的一瞬间的速度方向。而通过勒让德变换的函数值，结合足球旋转的角速度，我们就可以得出足球的真实来源。，通过勒让德变换，我们还可以从拉格朗日力学推导到哈密顿力学。而且勒让德变换在热力学系统也有非常重要的应用场景。

版权声明

本文首发链接为https://blogs/dechinphy/p/legendre.html

作者IDDechinPhy

更多原著文章请参考https://blogs/dechinphy/

打赏专用链接https://blogs/dechinphy/gallery/image/379634.html

腾讯云专栏同步https://cloud.tencent/developer/column/91958

参考链接

1. https://zhuanlan.zhihu/p/51903123
2. https://blogs/dechinphy/p/pingpong.html
3. https://.wanweibaike/wiki-勒让德变换
4. https://zhuanlan.zhihu/p/341207902