变分法的原理.docx

变分法

泛函：对于输入自变量x,函数f产生因变量y=y(x),该函数y(x)及其一阶导y’(x)也一起充当泛函算子J的输入变量，J(y)=J(x,y,y’).

可容许函数：（1）C1连续。即y(x)连续可微，特别y’(x)可积。（2）必须满足基本边界条件。即ya=

Euler-Lagrange式子第一变分：得到Euler-Lagrange方程

h

h

=

令t=0，得到Euler-Lagrange方程第一变体式子:

?

变分法原理的弱形式：?J

h;v=?

a

令rx

a

由于a

=r(x)?v(x)

=

r

=

边界条件ya=α，y

y

所以vx必须满足在边界点为0，即va=0

ab

因此

=a

=

=a

=a

最终获得目标泛函的变分导数：

?

二阶常微分Euler-Lagrange方程：

?

可以求得临界函数y(x)。上式第二项可以直接展开可得：

?L

变分法Euler-Langrange方程定理1：若Lagrange函数Lx,y,y至少二阶连续可微，即Lx,y,y∈

推导Euler-Lagrange方程的对偶形式——Legendre变换：

dL

将Euler-Lagrange方程第二项拎出来：

d

上面两个式子相减，并结合?Jy

dLdx

整理可得：

dL

简写为：L?y

最后针对Euler-Lagrange方程的两种形式：

?L

或?

和dL

讨论退化特例：

Lx,y,y独立于自变量x

L?yL

Lx,y,y独立于因变量y

ddx?L?

Lx,y,y独立于自变量x和因变量y，即?L?xx,y,y

Lx,y,y独立于因变量y

?L?y

Euler-Lagrange式子第二变分：判断临界函数是否为极小值函数

A、首先我们先研究单变量的函数，有以下三种情况：

若fx0，则函数f

若fx0，则函数f

若fx=0，则函数f

B、接着我们研究函数的双变量情况，主要取决Hessian矩阵：

Hx,y

Dx,y=detHx,y=fxx

若Da,b0，fxxa,b0

若Da,b0，fxxa,b0

若Da,b0，则点a,b是函数

若Da,b=0，则点

接着我们研究函数的多变量情况，主要是研究临界点处的Hessian矩阵的特征值：

若Hessian矩阵是正定的，即所有的特征值均为正，则该临界点是函数的局部极小值。

若Hessian矩阵是负定的，即所有的特征值均为负，则该临界点是函数的局部极大值。

若Hessian矩阵的特征值有正有负，则该临界点是函数的鞍点。

以上三种情况除外，则临界点无法确定。

最后研究泛函的第二变分情况，对Euler-Lagrange式子进行二阶求导：

d

令t=0，并且Ax=?

h

要使得泛函取得极小值，就必须确保对所有非0变量vx≠0

所以如果被积函数在每个点都是正定的，即Axv2+2Bxvv

为了证明此结论，对ht

h

而ht在t=0

h

因此，若yx是ht取到极值的临界函数，则对所有函数

h

而h0=Q

变分法Euler-Langrange方程定理2：泛函Jy在y=yx处取得极小值的充分必要条件是Euler-Lagrange方程成立(一阶必要条件)和二阶变分条件h

这个定理建立了泛函极值的完整判据：一阶条件（欧拉-拉格朗日方程）确定候选解，二阶条件（正定性）确认是极小值而非极大值或鞍点。

为了陈述另一必要条件，考虑：

h

取出第二项进行积分：

a

代入二阶变分式子可得：

h

其中，P=P(x)=?

引理1：对满足边界条件v(a)=0，v(b)=0的所有函数v(x)，二次泛函h0=Qy;v=

变分法Euler-Langrange方程定理3：对于泛函J[y]=abLx,y,ydx

?

以上都是在探讨泛函取得极值的必要条件，接下来研究泛函取得极值的充分必要条件。

考虑二次泛函：abPv2

Qv?

这是个二阶微分方程，称为雅可比(Jacobi)方程。

临界函数v(x)的边界条件v(a)=0，v(c)=0acb

定义1：点a≠a称为点a的共轭点，当且仅当雅可比方程存在一个非零解v(x)，该解在x=a和x=a

变分法Euler-Langrange方程定理4：若Px0axb，并且在区间a,b上不包含任何共轭点，在此条件下，泛函abP

证明：由于abwv2

很显然，当P(Q+w

P

则泛函经过整理可得：

a

得证非负(Px

引理