勒让德变换
n点高斯-勒让德公式

n点高斯-勒让德公式高斯-勒让德公式是数学中一种重要的插值方法,用于在一组已知数据点之间进行插值计算。
该公式是由德国数学家高斯和法国数学家勒让德独立发现的,因此得名高斯-勒让德公式。
高斯-勒让德公式的作用是通过已知数据点的函数值来估计在其他位置上函数的值。
这个公式有很多应用领域,比如在物理学中用于近似计算积分、在信号处理中用于信号重建等。
假设我们有n个数据点,记作(x1, y1), (x2, y2), ..., (xn, yn),其中xi是自变量的取值,yi是函数在xi处的取值。
我们希望在这些数据点之间进行插值计算,得到其他位置上函数的近似值。
高斯-勒让德公式的基本思想是构造一个关于自变量x的多项式,使得这个多项式经过已知数据点。
这个多项式称为勒让德多项式,记作Pn(x)。
勒让德多项式是关于x的n次多项式,具有特殊的形式和性质。
根据高斯-勒让德公式,我们可以将函数在n个数据点之间的插值计算表示为以下形式的线性组合:f(x) ≈ c1 * P0(x) + c2 * P1(x) + ... + cn * Pn(x)其中,f(x)表示要插值的函数,P0(x), P1(x), ..., Pn(x)是勒让德多项式,c1, c2, ..., cn是待定系数。
为了确定这些系数,我们需要解一个线性方程组。
具体地说,我们需要求解以下方程组:y1 ≈ c1 * P0(x1) + c2 * P1(x1) + ... + cn * Pn(x1)y2 ≈ c1 * P0(x2) + c2 * P1(x2) + ... + cn * Pn(x2)...yn ≈ c1 * P0(xn) + c2 * P1(xn) + ... + cn * Pn(xn)这个方程组可以用矩阵表示为Ax = b的形式,其中A是一个n×n 的矩阵,x和b都是n维列向量。
解出系数向量x后,我们就可以得到函数在其他位置上的近似值。
这样,我们就完成了对函数在n个数据点之间的插值计算。
统计力学中的勒让德变换

统计力学中的勒让德变换阎玉立;张印杰【摘要】勒让德变换是理论物理学中一个重要的工具,多变量函数的勒让德变换有明显的对称性.系综是统计力学教学中的核心内容.利用勒让德变换的无量纲性,从微正则系综的特性函数熵的勒让德变换出发,类比的定义了配分函数的勒让德变换.同时得到各种系综的特性函数和配分函数以及它们之间的关系和相应的热力学公式.【期刊名称】《大学物理》【年(卷),期】2017(036)010【总页数】4页(P5-7,23)【关键词】勒让德变换;系综;特性函数【作者】阎玉立;张印杰【作者单位】河北大学物理科学与技术学院,河北保定071002;河北大学物理科学与技术学院,河北保定071002【正文语种】中文【中图分类】O414.2在经典力学[1]、热力学和统计力学[2,3]等本科生和研究生的物理课程中勒让德变换经常应用,经典力学中拉格朗日函数和哈密顿函数的关系用勒让德变换表达,热力学中内能和自由能、吉布斯函数等状态函数的关系用勒让德变换表达.虽然勒让德变换经常被应用,但它总作为新的方法出现,并且这些应用过程中都没有体现勒让德变换的对称性[4,5].有人介绍了单变量函数的勒让德变换,从代数方法、几何方法两个方面讨论了勒让德变换的性质,解释了变换的对称性和一些结构问题[6].我们把勒让德变换推广到多变量函数的勒让德变换,得到变换的对称性及偏微商的关系,并且应用到经典力学和热力学中[7].在统计力学中,系综的变化相应于热力学中对熵进行勒让德变换[3].本文研究勒让德变换在统计力学中的应用.从微正则系综的基本关系出发,利用勒让德变换的无量纲性,从熵的勒让德变换类比地定义了配分函数的变换,从而导出了其他几种系综的特性函数和配分函数及它们之间的关系和相应的热力学公式.多变量函数:Φ=Φ(x1,x2,…,xn),其中xi(i=1,2,…,n)为独立变量.为方便,假设Φ在N维空间都是光滑和可导的,在每一点都有si=∂Φ∂xi=∂iΦ,则如果将函数Φ=Φ(x1,x2,…,xn)中的m(m≤n)个独立变量xj(j=1,2,…,m)用其对应变量sj代替,通过勒让德变换构成一个新函数Ψ,Lj:Φ(x1,x2,…,xm,xm+1,…,xn)→Ψ(s1,s2,…,sm,xm+1,…,xn),考虑式(1),则dΨ=∑mj=1(sjdxj+xjdsj)-∑ni=1sidxi ,j=1,2,…,m;i=1,2,…,n;m≤n,化简得任意给定一组变量就唯一决定一个函数,不同函数实质上是用它的独立变量组来区分的.因此任一函数的微分形式可表为把式(4)前半部分同式(3)比较得xj=∂Ψ∂sj,与sj=∂Φ∂xj可以看出变换前后对应的两个变量是互相关联的.另外式(2)可改写为变换前后的两个函数是等效的,勒让德变换具有明显的对称性[7].系综方法是统计力学教学中的核心内容,一般研究3种系综:微正则系综、正则系综和巨正则系综.自变量数目为n的体系,相互等价的特性函数的数目N为[7]对具有3个自变量的均匀系统,等价特性函数的数目有8个,即共有8种系综.本文从微正则系综的基本关系出发,利用熵的勒让德变换,类比的定义了配分函数的变换,同时得到各种系综的特性函数和配分函数.微正则系综的特性函数是熵,相应的热力学公式:如果从熵开始经勒让德变换到其他函数是很困难的.由于历史原因,勒让德变换的变量并不总是成对出现的,例如,一个系统的能量E与温度的倒数(β=1/kT,k为玻耳兹曼常量)是成对的,然而关于温度的日常经验是如此普遍,温度经常用于很多关系中,比方熟悉的方程:F=E-TS,这个方程把自由能和熵联系起来,但也遮掩了β和E之间的对称性.如果我们定义无量纲的量:S′=S/k,F′=βF,它们之间的二元性可以完美的表示为F′(β)+S′(E)=βE.因此我们把式(7)改写为微分形式[3]:如果我们从无量纲的量S′出发,用勒让德变换得到其他无量纲的量,3对对应的变量为β,E ;α,N;γ,V.为了把无量纲的量最终表达为统计力学中的特性函数,我们还需知道β、α、γ的常用表达.由热力学公式dS=1T dE+pT dV-μT dN,则比较式(9)与式(10)得则式(9)变为d ln Ω=d(Sk)=βdE+βpdV-βμdN,从上式得β=(∂ln Ω∂E)V,N,p=1β (∂ln Ω∂V)E,N,和μ=-1β(∂ln Ω∂N)E,V.从Sk (E,V,N)出发经勒让德变换到其他函数,并类比定义配分函数的变换.与Sk (E,V,N)函数等效的特性函数的数目共有7个,令x1↔E,x2↔V,x3↔N,s1↔β,s2↔γ,s3↔α.3.1.1 微正则系综的特性函数是熵,从Sk (E,V,N)出发改变一个变量的勒让德变换有3种,即有3种特性函数,对应3种系综.设变量变换为E→β,即系统与外界之间只有能量的交换,由式(5)得上式改写为Ψ1(β,V,N)=βE-Sk(E,V,N),把β=1/kT代入,得令Ψ1=βF,则有F+TS=E,即熟悉的热力学方程.F(T,V,N)为自由能函数,正则系综的特性函数.由式(3),可得函数的微分方程dΨ1=Edβ-γdV-αdN,再考虑γ=βp,α=-βμ,有若把Ψ1=βF代入上式,则有dF=-SdT-pdV+μdN,即我们熟悉的自由能的微分方程.设变量变换为V→γ,即系统与外界之间只有力的相互作用,得到一种新的系综,由式(5)得Ψ2(E,γ,N)+Sk (E,V,N)=γV.设变量变换为N→α,即系统与外界之间只有粒子数的交换,得到一种新的系综,由式(5)得Ψ3(E,V,α)+Sk (E,V,N)=αN.3.1.2 从Sk (E,V,N)出发改变两个变量的勒让德变换有3种,即有3种特性函数,对应3种系综设变量变换为E→β,V→γ,即系统与外界之间只有能量的交换和力的相互作用,由式(5)得Ψ4(β,γ,N)+Sk (E,V,N)=βE+γV,令Ψ4=βG,把β=1/kT,γ=βp代入,得G+TS=E+pV,G为吉布斯函数,即熟悉的热力学引入的物理量. 设变量变换为E→β,N→α,即系统与外界之间只有能量的交换和粒子数的交换,由式(5)得Ψ5(β,V,α)+Sk (E,V,N)=βE+αN,令Ψ5=βJ,把β=1/kT,α=-βμ代入,得J+TS=E-μN, J(T,V,μ)为巨热力学势,正是巨正则系综的特性函数.设变量变换为V→γ,N→α,即系统与外界之间只有力的相互作用和粒子数的交换,由式(5)得Ψ6(E,γ,α)+Sk (E,V,N)=γV+αN.3.1.3 从Sk (E,V,N)出发改变3个变量的勒让德变换有1种,即有1种特性函数,对应1种系综设变量变换为E→β,V→γ,N→α,即系统与外界之间不仅有能量、粒子数的交换,也有力的相互作用,由式(5)得Ψ7(β,γ,α)+Sk (E,V,N)=βE+γV+αN.最后一种勒让德变换改变3个变量,即能量、粒子数、体积都改变得到的是零系综,因此实际上只有7种系综分布.由式(8)再考虑β=1/kT,微正则系综的配分函数为Ω(E,V,N)=eSk=eβTS.设变量变换为E→β,特性函数由Sk (E,V,N)经勒让德变换到Ψ1(β,V,N):相应的,则配分函数Ω(E,V,N)变换到配分函数:即正则系综的配分函数.同理,类比特性函数其他勒让德变换可得相应系综的配分函数.设变量变换为V→γ,配分函数变换为 A(E,γ,N)=∑EΩ(E,V,N)e-γV.设变量变换为N→α,配分函数变换为 B(E,V,α)=∑EΩ(E,V,N)e-αN.设变量变换为E→β,V→γ,配分函数变换为C(β,γ,N)=∑EΩ(E,V,N)e-βEe-γV.设变量变换为E→β,N→α,配分函数变换为Ξ(β,V,α)=∑EΩ(E,V,N)e-βEe-αN,即巨正则系综的配分函数.设变量变换为V→γ,N→α,配分函数变换为D(E,γ,α)=∑EΩ(E,V,N)e-γVe-αN.设变量变换为E→β,V→γ,N→α,配分函数变换为M(β,γ,α)=∑EΩ(E,V,N)e-βEe-γVe-αN.对正则系综的配分函数式(16),两边取对数,ln Z(β,V,N)=βTS-βE=-β(E-TS),再考虑式(15)有正则系综的配分函数和特性函数的关系:则正则系综的特性函数F=-kTln Z(β,V,N),这是正则系综里面重要的热力学量的表达式.再考虑式(14)有 d ln Z=-dΨ1=-Edβ+βpdV-βμdN,则有正则系综的热力学公式:E=-(∂lnZ∂β)V,N,p=1β(∂lnZ∂V)β,N,μ=-1β(∂lnZ∂N)β,V与我们在统计力学中学过的一样.同理,类比于特性函数的勒让德变换,从Ω(E,V,N)出发可以得到其他系综的配分函数和特性函数之间的关系及相应的热力学公式.通过介绍多变量函数的勒让德变换在统计力学中的应用,可以更进一步的理解勒让德变换的对称性及应用的广泛性.从以上的介绍,特性函数的变换和配分函数的变换与统计力学中的介绍相统一,从数学的角度,在统计力学中从一种系综到另一种系综不过是在进行变量变换的勒让德变换,而勒让德变换不会改变系统的性质,所以从这个观点来看,这些系综是等价的.如果能在学课程之前了解勒让德变换,会对学生学习统计力学有很大帮助.【相关文献】[1] 周衍柏.理论力学教程[M].3版.北京:高等教育出版社,2009:231-237.[2] 汪志诚.热力学统计物理[M].4版.北京:高等教育出版社,2008:51-70.[3] David chandler.现代统计力学[M].鞠国兴,译.北京:高等教育出版社,2013:61-63.[4] 李英德.常用数学工具在热力学关系式证明中的应用[J].大学物理,2009,28(2):24-27.[5] 汤引生,李英.麦氏恒等式与麦氏关系式证明与应用[J].商洛学院学报,2010,24(6):92-94.[6] R.K.P.Zia, Edward F.Redish, Susan R.McKay.Making Sense of the Legendre Transform[J].Am J Phys,2009,77(7):614.[7] 阎玉立,张印杰.认识勒让德变换[J].大学物理,2013,32(11):8-11.。
物理化学热力学基本方程

利用全微分条件 ,将其作用于(5.1)、(5.2)、(5.4)和(5.6)式,得到(5.8)~(5.11)式所 给八个热力学偏导数的关系:
如果有全微分 df adx ( T , p ) bdy / 则 S (a / y ) x (b / x ) y 必有
( T / V ) S ( p / S )V (V / S ) p ( p / T )V ( S / V ) T (V / T ) p ( S / p )T
p S T V V T
S V p T T p
G H TS
dG SdT V dp
V (G / p )T
当系统处于平衡态时,不仅描述该系统整体性质的宏观量不再随时 间改变,而且这些宏观量之间还存在着函数关系。只有少数几个是 独立态参量,其余宏观量则是态参量的函数。对于给定的系统,其 态参量的数目是确定的,但选哪几个宏观量作为态参量则是任意的。
我们可以将(5.1)式看成以S和V为独立变量表示的全微分dU ,U=U(S,V), 于是写为
dU ( U / S ) V dS ( U / V ) S dV
可以与(5.1)式比较,得到两个偏导数:
T ( U / S )V
p (U / V ) S
(5.8)
H U p V U (U / V ) S V F U T S U ( U / S )V S G U pV TS
U ( U / V ) S V ( U / S )V S
这说明,只要已知以S,V为独立态参量时内能U的表达式U=U(S,V), 就可以求得T,状态方程,p,H,F,G乃至系统的全部热力学量。所 以内能U是以S、V为独立态参量的特性函数。同样可以证明焓H,自由 能F和自由焓G分别是以(S,p),(T,V)和(T,p) 为独立态参量的特性函数。
10.2连带勒让德函数剖析.

d 2 d m2 并将它们代入(1)式: (1 x ) 2 2 x [l (l 1) ] 0 (1) 2 dx dx 1 x
2
(1 x )
2
m +1 2
y '' 2mx(1 x ) y ' m(1 x ) y m(m 2) x (1 x )
10.2 连带勒让德函数
在球坐标系下对u 0分离变数,令( u r , , ) R(r )( )( ), 得到关于r的解:R(r ) Cl r l Dl r (l 1) 得到关于的解: ( ) Am cos m Bm sin m 以及关于的连带勒让德方程: d 2 d m2 (1 x ) 2 2 x [l (l 1) ] 0 (1) 2 dx dx 1 x m2 2 即: (1 x ) y '' 2 xy ' [l (l 1) ]y 0 2 1 x 如何得到该方程的解?
m 2 m 2
(l *为包围 x的回路)
5.连带勒让德函数的递推公式:
m m m (l 1 m) Pl 1 ( x ) (2l 1) xP l ( x ) (l m) P l 1 ( x ) 0 m m 6.正交归一性: P ( x ) P k ( x )dx l 1 1
(2l 1)(l 2)! 1 d l 1 ( x 2 1)l l 1 (6 x)dx l 1 1 2 (l 2)!l ! dx
2 2 1 d ( x 1) 5 对l 2 : f 2 (6) xdx 1 2 4!2! dx 5 1 5 1 2 2 xd ( x 1) xd ( x 4 2 x 2 1) 16 1 16 1 1 5 1 4 2 1 {[ x( x 2 x 1)]1 ( x 4 2 x 2 1)dx] 1 16 3
勒让德变换和正则变换

i
其中 u i =
5F ( i = 1, 2, …, n ) 5x i 我们希望变量 x 1 , …, x n 变为 u 1 , …, u n , 即作
n
代换 x i → u i。 设 E 是 u i 的函数, 则 E 与 F 的关系为
E ( u 1 , u 2 , …u n ) = -
qi
F 1 ( q, Q , t) F 2 ( q, P , t) F 3 ( p , Q , t) F 4 ( p , P , t)
我们可以根据不同情况来决定选择何种形 式。 如果选择 F 1 是适当的话, 被积函数可以通过 下列形式相联系: α p iq i - H =
∑
∑P Q
i i
i
我们知道拉格朗日函数 L , 哈密顿函数 H 和 罗斯函数 R 都是用来描述力学状态的函数, 叫做 力学的特性函数。 每个特性函数都有特定的独立 变量。 拉格朗日函数的独立变量是广义坐标 qΑ 和 α 广义速度 q ; 哈密顿函数的独立变量是广义坐标 Α
qΑ 和广义动量 p Α ; 罗斯函数的独立变量是两者的
- K +
d F 1 ( q, Q , t ) dt
F 1 关于时间的全微商能展开为: dF1 = dt
∑ 5q qα + ∑ 5Q Q
i i i i
5F 1
5F 1
i
数, p i 就有不同的表达式, 因此对于哈密顿正则方 种来说, 正则变量的一般变换关系应为 Q i = Q i ( q1 , …, qs; p 1 , …, p s , t)
k
G=
∑
i= 1 k
u ix i -
F
n- k
而 dG =
认识勒让德变换

Vol. 32 No. 11 Nov. 2013
櫍殻
櫍櫍櫍櫍櫍殻 教学讨论 櫍殻
的课程中, 它变化的灵活性和形式的优雅性常常被忽视 , 不像傅里叶变换那样经常被应用 . 本文从数学形式上修改了多变量 函数的勒让德变换的表述方式 , 得到明显的具有对称性的方程 , 给出了勒让德变换与偏微商的关系 , 然后把结果应用到经典 力学, 推导出正则方程, 应用到热力学中, 导出热力学中重要的几个热力学函数及麦氏关系等 . 关键词: 勒让德变换; 对称; 经典力学; 热力学 中图分类号: O 414. 2 文献标识码: A 文章编号: 1000-0712 ( 2013 ) 11-0008-03
把式( 9 ) 两边同时对 x j 微分
Φ Ψ = - , i ≠j x j x i x j x i
对于一个给定的体系来说, 相互等价的特性函 数的数目多少是一定的. 如上式中, 自变量数目为 n, 1, 2, 3, …, 可以参与变换的变量的数目可以是 0 , n. 很明显, 总共相互等价的特性函数的数目为
Σ j =1
x j ds j - Σ
s i dx i
( 4)
i = m +1
作者简介: 阎玉立( 1978 —) , 女, 河北冀州人, 河北大学物理科学与技术学院讲师, 硕士. 主要从事理论物理的教学和研究工作.
第 11 期
阎玉立, 等: 认识勒让德变换
2 2
9
2
2. 1
勒让德变换的性质
等价特性函数的数目
m n
S ( - p ) V T S p V T , = - , = - = , = 即 V T S ( - p ) V T S p T ( - p ) T p = , = - 由式( 11 ) 得 即 V S V S 这一组表达式即热力学中应用非常多的麦氏关 系, 可以很方便的从前面勒让德变换的性质中得到 . 这样, 以简单系统为例, 两个变量的热力学中常 用的几组关系式都从勒让德变换的性质中得到 , 它 的应用可以推广到其他的系统当中 , 例如磁介质等. 同样, 勒让德变换的应用也可以推广到含有两 比如开系, 吉布 个变量以上的系统的热力学函数中 , G ( T, 斯函数是温度、 压强、 摩尔数 3 个变量的函数, p, n) , 从吉布斯函数出发应用勒让德变换, 可以得 : H ( S , p , n ) , F ( T , V, n) , 到其他几 个 热 力 学 函 数 U( S, V, n) , 以及这几个函数的微分方程等.
著名的数学家

吾乡-朱加猜想猜测p是质数当且仅当pBp?1模p同余于?1。
p进连续性
伯努利数的一个特别重要的同余性质,可以表述为p进连续性。若b,m和n 是正整数,使得m和n不能被p ? 1整除,及,那么
。
因为Bn = ? nζ(1 ? n),这也可以写成
,
其中u = 1 ? m和v = 1 ? n,使得u和v非正,及不是模p ? 1同余于1。这告诉我们,黎曼ζ函数的欧拉乘积公式中去掉1 ? pz后,对适合模p ? 1同余于某个的负奇数上的p进数连续,因此可以延伸到所有p进整数,得出p进ζ函数。
最初几项伯努利数记于下(于OEIS内的数列A027641和A027642):
n Bn
0 1
1 ?1/2
2 1/6
3 0
4 ?1/30
5 0
6 1/42
7 0
8 ?1/30
9 0
10 5/66
11 0
12 ?691/2730
13 0
14 7/6
可以证明对所有不是1的奇数n有Bn = 0。
乍看起来突兀的B12 = ?691/2730,喻示伯努利数不能以初等方式描述;其实它们是黎曼ζ函数于负整数的值,有深邃的数论性质联系,所以不能预期有简单的计算公式。
伯努利数出现在正切和双曲正切函数的泰勒级数展开式、欧拉─麦克劳林公式,及黎曼ζ函数的一些值的表达式。
经由此规划之后,便可以直接由留数定理得出对每个整数 n ≥ 0,
其中这个积分是绕着圆心为0且半径为0 < r < 1之r的圆来积的。
亦即,这是一个闭轨积分,其轨道是一个以逆时钟方向绕了一圈的圆。为了使其较易回答,可以直接将r的值取1,即使用单位圆闭轨。但在复变分析中却有着一些问题,因为f在单位圆上不一定总是会有定义。
勒让德变换的定义

勒让德变换的定义
哎呀,说起勒让德变换的定义啊,这可是个科学上头的东西,咱们得认真点儿来摆。
咱们四川这边儿说嘛,勒让德变换啊,就有点像咱们做菜的变换口味,让原来的菜变得更香更美味。
这变换嘛,就是把一个函数给变了形,变得更方便咱们去研究它的性质。
换到贵州那边儿,他们可能会说,勒让德变换就像咱们贵州的酸汤鱼,虽然鱼还是那条鱼,但酸汤一泡,味道就完全不一样了。
这变换嘛,就是让咱们能看清函数的真面目,知道它到底是个啥玩意儿。
陕西方言说起来,勒让德变换可能就是那个把复杂的问题变得简单的工具,就像咱们陕西的面条,虽然看起来简单,但里面的门道可多了。
这变换就是那把能解开复杂函数之谜的钥匙。
再说说北京那边儿,他们可能会更直接点说,勒让德变换就是一种数学工具,就像咱们北京的烤鸭,虽然制作过程复杂,但吃起来就是那么回事儿,让人回味无穷。
这变换也是,虽然听起来高大上,但真正掌握了,就会觉得其实也就那么回事儿。
总的来说呢,勒让德变换就是一种把复杂函数变得简单,方便咱们去研究它的性质和特点的工具。
不管你是哪儿的人,只要掌握了它,就能更好地去理解和应用数学这门科学。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
勒让德变换武际可. §1 勒让德变换的提出法国数学家、天文学家勒让德(Legendre, Asrien-Marie ,1752-1833)出生在一个比较富有的家庭,从小受到良好的教育。
18岁时,通过了数学物理的毕业论文答辩。
只后在大学教授过数学,31岁时被选入科学院。
1789年法国大革命后,于1790年宣布要对当时相当混乱的度量衡制度进行改革。
科学院组成了一个由拉格朗日为首的委员会。
委员会建议以从赤道到北极的一千万分之一为长度基本单位――米,这个方案于1791年被法国国民议会通过。
于是就要着手实际测量从赤道到北极的长度。
勒让德参加了测量,并且是经度局的一名成员。
1813年拉格朗日逝世,勒让德接替他成为经度局的主席。
他在数学上的贡献,勒让德多项式就是在计算地球形状时的一项创造。
勒让德在数学上的贡献是多方面的,他在解析数论、椭圆函数、几何学、天体力学等方面都有重要的贡献。
1787年,勒让德在蒙日关于最小曲面研究的启发下,给出了勒让德变换。
勒让德变换在勒让德的贡献中,开始并没有引起人们广泛的注意,而且,开始只是对于几何问题的讨论引进的。
不过随着历史的发展,它在无论是数学还是力学与物理中都显示了它的重要性,经过人们对它的推广,被广泛应用于许多方面。
勒让德变换是从以下偏微分方程出发的∂∂∂++=∂∂∂∂222220z z zR S T x x y y(1.1)其中若令,z zp q x y ∂∂==∂∂,再令R 、S 、T 仅是p,q 的函数。
令曲面(,)z f x y =的切平面为0px qy z v +--=, (1.2)则应当有222220v v v R S T q p q p∂∂∂-+=∂∂∂∂ (1.3) (1.2)式在变量x,y 与它们的对偶变量p,q 之间给了一个变换。
把这个变换具体写出来就是对它求微商得,;,v v zzp q x y x y p q ∂∂∂∂====∂∂∂∂ (1.4)考虑到上面变换的雅科比矩阵应当互逆,即222222p p zz x y x x y q q zz x y x y y ⎛⎫∂∂∂∂⎛⎫ ⎪⎪∂∂∂∂∂ ⎪ ⎪=⎪∂∂ ⎪∂∂ ⎪ ⎪ ⎪∂∂∂∂∂⎝⎭⎝⎭,222222xy vv pp p p q xy vv q q p q q ⎛⎫∂∂∂∂⎛⎫ ⎪ ⎪∂∂∂∂∂ ⎪⎪=⎪∂∂ ⎪∂∂ ⎪ ⎪ ⎪∂∂∂∂∂⎝⎭⎝⎭于是有2222222222222222111,,,z v z v z vx q x y p q y p vv p p q v v p qq ∂∂∂∂∂∂==-=∂∆∂∂∂∆∂∂∂∆∂∂∂∂∂∂∆∂∂∂∂∂其中=这个变换把一个拟线性方程(1.1)变到一个线性方程(1.3)。
§2. 勒让德变换 令2.1 2.2 2.3y y x dyy t dxu u t duu ''=(),()==,()=(),()=2.4 dt。
()从(2.2)反解出x 为t 的函数并代入下式u xt y =- (2.5)把这个式子微分得d d d d d d d d d d d y yu x t t x x x t t x x t x x=+-=+(-)=, 由此,显然得到u 是t 的函数,并且对t 的导数是x 。
(2.5)式确定了变量u 、y ,x 、t 之间的一个变换。
它把y =y(x)变到了t t x u u t =()=()(2.6)同样,由(2.5)可以得y xt u =-,它定义了另一个与上面变换相反的变换。
所以这两个变换是相互的,它们的关系是对等的。
勒让德变换有这样一个性质,即如果在x 、y 平面上的两条曲线是相切的,变换到u 、t 平面也是相切的,反之亦然。
具有这种性质的变换称为接触变换。
勒让德变换是接触变换的特殊情形。
把以上的思想推广到多变量的情形,设有n 个变量12,,,n q q q 的函数12(,,,)n U U q q q =,它具有直到二阶以上的连续微商,取新的一组变量(1,2,,)i iU Q i n q ∂==∂ (2.7)它们组成对原变量12,,,n q q q 的一组变换其雅科比行列式20i j i jQ Uq q q ∂∂=≠∂∂∂ 从(2.7)可以把原变量反解出来得12(,,,)(1,2,,)i i n q q Q Q Q i n ==(2.8)考虑新函数1nci i i U Q q U ==-∑, (2.9)对上式微分得========∂=∂∂=-∂∂=-∂∂==∂∑∑∑∑∑∑∑∑(+)-+()+()11111111d d d d d d d d d d nnci i i i ii i inni i i i i i inni i i ii i i cnni i ii i iUU Q q q Q q q Uq Q Q q q Uq Q Q q q U q Q q q由此我们证明了(1,2,,)ci iU q i n Q ∂==∂ (2.10) 两个函数U 和cU 的关系由(2.9)给出。
对应的变量和函数的关系分别由(2.7)和(2.10)给出。
它们概括了力学与物理中许多对偶关系。
§3 .勒让德变换在力学与物理中的应用 1).气体的热力学函数在热力学中,常见的自变量或状态变量有:T 、S 、p 、v 四个,即温度、熵、压强与体积。
这四个变量之间两两对偶,前两个之积和后两个之积的量纲都是能量。
用体积和熵为自变量表示的内能U (S ,v ),有d d d U T S p v =- (3.1) 可以将自变量改变为其对偶的自变量,于是我们还有和内能同一量纲的三个热力学函数F (T ,v )、H (S ,p )、G (T ,p ),即亥姆霍兹自由能、焓、吉布斯自由能,它们和内能之间的关系是d = d = d =-Sd d =+dH d d =+ dG=-d +d U U T S pdv F U TS F T p vH U PV T S v p G U PV TS S T v p---=+- (3.2)我们看到,这些热力学函数之间的关系恰好是勒让德变换。
所以,勒让德变换实际上是在我们得到了一个不变量后,要得到它的对偶自变量下的不变量的一个重要的变换。
2).哈密尔顿函数在分析力学中,我们有描述n 自由度系统的拉格朗日第二类方程d 01,2,d j jL Lj n q q ∂∂∂∂-=(=,)(3.3) 其中L =T -U 这里L 为系统的拉格朗日函数,T 为系统的动能,U 为系统的势能,j q (j =1,2,,n )为系统的广义坐标。
如果我们引进系统的广义动量 1,2,j jLp j n q ∂∂=(=,)(3.4) 可以证明,从上式中我们可以把j q 反解出来作为j p 和j q 的函数。
我们希望引进新的函数H ,它是p ,q 的函数。
为此令 1nj jj H p q L ∑==- (3.5)我们把两边进行变分并利用(3.3)与(3.4)得111111d d d d d d d d d d d d d nj j j j jnn j j j j j j j j j jnnj j j j j j j j j j nj j j j j H HH p q p q L Lp q q p q q q q p q q p p q p q p q q p ∂∂∂∂∂∂∂∂∑∑∑∑∑∑=======(+)=(+)-(+)=(+)-(+)=(-+)比较等式两边,我们就得到j jj jHp q H q q ∂∂∂∂=-=(3.6)这就是动力系统的哈密尔顿形式的典则方程。
我们看到(3.5)也是一个勒让德变换。
另外,由于拉格朗日函数是j q 与j q 的函数,按照(3.5)转换为哈密尔顿函数是j p 和j q 的函数,所以变换是把部分自变量变量j q 变到自变量j p 而保持自变量j q 不变。
由此可以知,勒让德变换可以把自变量中的任意个变量变换到它的对偶量。
3).弹性力学的余能原理现在我们来讨论弹性体,在(2.9)中,令U 为弹性体的势能,它是广义位移q 的函数。
则cU 就是弹性体的余能。
对于弹性体来说,因为自变量是坐标的连续函数,这时(2.9)中的求和号,应当改用积分号。
我们知道弹性体的总势能是 1:T d d d 2t DDDU v v s *∂Γ⋅⋅⎰⎰⎰⎰⎰⎰⎰⎰=()--u f u t u (3.7)其中Γ是应变张量T 是应力张量,f 是体力向量场,u 是位移场,v 是体积,s 是表面积,D 是体积占据的空间区域,D ∂是区域的表面,下标t 是表面上给定外力t 的部分。
1:Td d d :Td d 2c DDDDDU v v s U v s ∂∂=Γ⋅⋅Γ⋅⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰---=-u f u t u t u (3.8) 在满足几何约束的条件下,从总势能的变分0U δ=可以得到弹性体的平衡方程和应力边条件,可以推出在满足平衡条件下,从余能的变分0cU δ=可以得到弹性体的几何关系与位移边条件。
这就是弹性力学的余能原理。
§4. 广义变分原理我们来考察式(2.9)把所有的项移到一边,然后用一个函数不是它,即令=∏=∑+-1nci i i U U Q q (4.1)其中U 是广义位移q 的函数,而cU 是广义力Q 的函数。
显然对∏求变分,我们得到δδδδδδδ==∏=∂∂--∂∂∑∑+-(+)=[(+()11)]nci i i i i cni i i i i i iU U Q q q Q U UQ q q Q q q考虑到δi q 与δi Q 的任意性,我们就有∂=∂∂=∂i i ci iUQ q U q q (4.2)上式既包含了平衡条件,也包含了几何条件,其中U 是应变能,cU 是余应变能。
得到的前一个式子是拉格朗日定理,而后一个式子是卡斯提也努定理。
对于得到平衡或几何条件来说,相应的广义力与广义位移应当等于零,即(4.2)的左端应当等于零。
这时对应的(4.1)应当适当修改为∏=+c U U (4.3)一般说来,对于弹性力学的情形,这就相当于Hellinger-Pranger-Reissner 两变量的变分原理。
采用(3.7)和(3.8)的符号,对于弹性力学问题,我们可以把(4.3)写为:t DD DD Dv s v v s =∂*∂∏==Γ⋅+Γ⋅⋅∑⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰⎰+--()--11:Td d 21:T d d d nci ii U U Q q u t u u f u t u (4.4)如果在余能原理的泛函中,通过本构关系把其中都好应力变换为应变。
然后加入上式中。
这时,对它进行变分,自变函数是位移、应力和应变。
我们就得到三变量变分原理。