- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
C是积分常数,是由边界条件决定的。 欧拉方程的意义是:在固定边界条件下,泛函J存在 极值的必要充分条件是F满足欧拉方程。或说欧拉方 程是在固定边界条件下,泛函J存在极值的必要充分 条件。
石河子大学物理系殷保祥
上面讨论的是一维形式的变分问题,不难将它推广 到变数多元函数的情形。 设 J = J [ y1 ( x), y2 ( x),L yα ( x),L y s ( x)] 则其欧拉方程为
S ∂L & & L = − H + ∑ qα = − H + ∑ pα qα LL (97) & ∂qα α =1 α =1 S
∂F d ∂F ( )− = 0(α = 1,2, L, s ) ′ dx ∂yα ∂yα
和我们曾讨论的保守系Lagrange方程形式是相同的。
石河子大学物理系殷保祥
§6.2 Hamilton 原理
整个分析力学可以独立于牛顿定律,从一种变分原理出发来 建立。由于它具有公理性的特点,更容易将这个原理向其它 学科领域推广。这个原理就是我们要讲的Hamilton原理。 自然界中许多物理现象都服从某些极值原理。早在光学理论 还没有建立的时候,一位叫费马(P.Fermat)的法国法官就指出, 介质中不同两点之间的光线总是走花时间最少的路线。这便 是光学中有名的费马原理。由此可以导出光学中的反射定律 和折射定律。它也是变分的极值问题。 1843年,Hamilton利用变分法提出了力学体系的作用量
由于x是独立变量,上式成立时被积函数为零,
d ∂F ∂F )− =0 即有: ( dx ∂y′ ∂y
这就是欧拉方程。由于 F = F(x, y, y ′),并且注意 y=y(x), y ′ = y ′(x),所以欧拉方程还可以写为:
石河子大学物理系殷保祥
∂ 2 F dy ∂ 2 F d 2 y ∂F ∂2F + + 2 =0 − 2 ∂y′∂x ∂y′∂y dx ∂y′ dx ∂y
A
B
x2
x1
1 + y ′ 2 dx
由此可见,s 是一个泛函,求最短程线问题是求泛函的极值 问题,也就是变分问题。
2、最速落径问题
求重力场中的自由质点,从 固定点A由静止出发到达固定点 B的所有可能运动中时间最短的 和最短程线问题类似, 运动。
o
A
x s
y
B
Q ds = (dx) 2 + (dy ) 2 = 1 + y ′ 2 dx ds v = 2 gy dt = v 石河子大学物理系殷保祥
δ (2)
∫
x2
x1
F ( x, y, y′)dx = ∫ δF ( x, y, y′)dxLL (93)
x1
石河子大学物理系殷保祥
x2
和微分一样,泛函 J = J [ y ( x )] 在 δJ = 0 时有极值。
※§6.1.4
欧拉方程
一维形式的变分问题: 设A( x1)、B(x2)是固定边界,在两个边界之间寻求 一条曲线y=y(x)能使函数 F = F ( x, y′, y )的线积分具 有极值。也就是寻求简单的基本泛函
石河子大学物理系殷保祥
凡是用变分表示的力学原理都称为变分原理。虚功原理是变分 凡是用变分表示的力学原理都称为变分原理 原理的微分形式,Hamilton原理是变分原理的积分形式。另外
S ∂L & & H = − L + ∑ qα = − L + ∑ pα qα LL (96) & ∂qα α =1 α =1 S
上述的变分意义如何用数学的形式表示出来呢?
设 y = y (x )是满足边界条件的任一函数,
石河子大学物理系殷保祥
若有任意无穷小量 ε >0,
φ = φ (x ) 是和 y = y (x ) 同类的函数(满足同样的边界条件),
εφ (x) 表示的是和 y = y (x) 同类的无穷小函数,则 y = y (x) 的
ε 是无穷小量,所以含 ε 2以上的项都可略去。得
∂F ∂F δF = ε [ ϕ ( x ) + ϕ ′( x)] ∂y ∂y′
因而泛函J的变分为
石河子大学物理系殷保祥
δJ = δ ∫ F ( x, y′, y )dx = ∫ δF ( x, y′, y )dx
=ε∫
x2 x1
x2
x2
∂F ∂F [ ϕ ( x) + ϕ ′( x)]dx ∂y ∂y′
δJ x ∂F d ∂F = ∫x [ − ( )]dx 则 ∂y dx ∂y′ δy
2 1
石河子大学物理系殷保祥
δJ =0 当泛函 J = J [ y ( x)] 有极值时,必有 δy
得
∫x
x2
1
∂F d ∂F [ − ( )]dx = 0 ∂y dx ∂y′ ∂F d ∂F ∴ − ( )=0 ∂y dx ∂y′
t2
s =
∫
t1
Ldt LL (94)
石河子大学物理系殷保祥
其中L是力学体系的Lagrange函数。
Hamilton提出的作用量,它的物理意义何在呢?
& s = ∫t L ( qα , qα , t ) dt
1
t2
从作用量的表示式知,s是qα的泛函。在Lagrange函数中,广义坐 标和时间是独立变量,而广义速度不是独立变量,也就是说力学 体系运动是在位形空间中描述的。它的物理含意是:力学体系满 足约束条件和边界条件的所有可能运动的L沿位轨线的定积分。 如果将广义速度也作为独立变量,它的意义和上面类似,只不过 这时对力学体系运动是在状态空间中描述的,它所给的绘景是L 沿一切可能运动的状态曲线上的定积分。
= 0 为前提的。
下面看它的几何意义,如图。
石河子大学物理系殷保祥
y
y + δy
y = y ( x) + εϕ ( x)
y = y(x)
dy
y
x
§6.1.3 变分的运算特征
x + dx
x
变分的运算法则和微分的运算法则基本上是相同的,另外 还有两个运算特征:
dy ( x) d LL (92) (1) δy ( x ) = δ dt dt
y = y (x ) 的定积分 J
定义为
B
y = y (x ) 的泛函。即:
J = J [ y ( x)] = ∫ F ( x, y, y ′)dx LL (90)
A
石河子大学物理系殷保祥
§6.1.2 变分定义
在讨论函数微分时,函数
y = y (x )是一个确定不变的函
数,函数的改变量是由于自变量的改变引起的。在泛函中, 函数 y = y (x ) 是变化的一族。 在泛函的等时变分中,函数的自变量不变,是由于函 数自身的变更引起函数变化。由此引起的变化,就是变分 的含意。 当函数有上述微小的变更时,变更后的函数叫原来函数 的近旁曲线。记为 y = y (x ) ,这时的函数变化表示为 δ y, 叫作该函数的等时变分。
δF = F [ x, y′ + εϕ ′( x), y + εϕ ( x)] − F ( x, y′, y )
等式右边的第一项按泰勒级数展开,即
F [ x, y′ + εϕ ′( x), y + εϕ ( x)] ∂F ∂F ′, y ) + ε ′( x) + ε 2以上项L = F ( x, y ϕ ( x) + ε ϕ ∂y ∂y′
∫
x2
x1
∂F ∂F δy ϕ ′( x)dx = ∂y′ ∂y′ ε
x2
x1
−∫
x2
x1
d ∂F [ ( )]ϕ ( x)dx dx 石河子大学物理系殷保祥 ∂y′
ε
在固定边界的两个端点上都有 δ y = 0 ,所以
∫
x2
x1
x2 d ∂F ∂F ϕ ′( x)dx = − ∫ [ ( )]ϕ ( x)dx x1 dx ∂y ′ ∂y′
J [ y ( x)] = ∫ F ( x, y′, y )dx
x1
x2
的极值。
由于是固定边界,所以
Байду номын сангаас
[δy ]x = x1 = 0, [δy ]x = x2 = 0
解决这个问题仍要从J=J[y(x)]的改变率入手。
石河子大学物理系殷保祥
设y=y(x)有一个无穷小的变更,则由于变更招致 的 F = F ( x, y′, y ) 的变更为
ds t = t[ y ( x)] = ∫ dt = ∫ =∫ A A v x1
B B
x2
1 + y′2 2 gy
dx
=∫
x2
x1
1 + y′2 dx 2 gy
t是一个泛函,这也是求泛函的极值问题。 有了上面的认识,就可以给泛函一个定义: 已知函数 F = F ( x, y , y ′) 沿固定边界A、B 间的任意函数
2
x ∂F δJ d ∂F = ∫ [ ϕ ( x) − ( )ϕ ( x)]dx 将上式代入 x ε ∂y dx ∂y′ δJ x ∂F d ∂F = ∫x [ − ( )]dx 则 ∂y dx ∂y′ εϕ ( x)
1 2 1
利用 δy = y ( x ) − y ( x ) = εϕ ( x )
一条近旁曲线可以写为
y = y ( x ) + εφ ( x )
当函数由 y = y (x ) 变化到 y = y ( x ) + εφ ( x ) 时,y = y (x ) 的改 变量就是它的等时变分 δ y 。记为
δy = y ( x ) − y ( x ) = εφ (x) LL (91)