[理学]第2章变分法.doc

第二章变分法 变分法（Variational calculus）为一函数的集合，若对于每一个函数，都有一个实数与之对应，则称是定义在上的泛函，记作。称为的容许函数集合，称为宗量。 例1 对于平面上过定点和的每一条光滑曲线，绕轴旋转得一旋转体，旋转体的侧面积是曲线的泛函 ， 容许函数集合可表示为 . 第一章中介绍的三个性能指标 1）终端型性能指标也称麦耶（Mayer）， 2）积分型性能指标还称拉格郎日（Lagrange）， 3）混合型性能指标也叫包尔查（Bolza） ， 它们都是泛函，并且它们之间可以相互转化。 引进新的函数，它是如下微分方程初值问题的解 则拉格郎日（Lagrange）， 变成麦耶（Mayer）， 我们有 ， 其中是已知常数，可以去掉，这样就将麦耶（Mayer）Lagrange），定义它们之间的距离为 其中 。 根据上述距离的定义，是两个函数之间接近程度的一种描述，只要求两个函数坐标之间接近到某种程度，不仅要求两个函数的坐标接近而且还要求两个函数的一阶导数之间也要接近。所以后一个比前一个对两个函数的接近程度要求高。表示两个函数具有k阶接近度。 宗量的-邻域用表示，即 定义1.3 设是定义在上的泛函，如果对于任给的，都可以找到，使得当时，就有 ， 则称泛函在处是k阶接近的连续泛函。 定义1.4 设是定义在上的泛函，如果对任何常数都有 ， 则称是上的线性泛函。 宗量的改变会引起泛函的变化，我们把两个宗量之差记为，则泛函的增量为 如同函数的微分是增量的线性主部一样，泛函的变分是泛函的增量的线性主部，既有 定义1.5设是定义在上的泛函，如果存在关于的线性泛函，使得 ， 其中是的高阶无穷小量，即当时有 ， 我们称为泛函的变分（variation）。 泛函的变分是函数的微分概念的推广。 泛函的变分的一个重要形式是它可以表为对参数的导数，即有 ， 这是因为如果变分存在，则增量 ， 根据和的性质有 ， ， 所以 定义1.6设是定义在上的泛函，，若对任意一个都有 . 则称为的绝对极小值（最小值）。或者说在取得绝对极小值，称为的极值曲线。 若存在正数，使得对任意一个都有. 则称为的强相对极小值，或者说在取得强相对极小值，称为的强相对极小值曲线。 若存在正数，使得对任意一个都有. 则称为的弱相对极小值，或者说在取得弱相对极小值，称为的弱相对极小值曲线。 我们可以类似定义绝对极大值、强相对极大值和弱相对极大值 定义1.7设是定义在上的泛函，，若对任意一个都有 则称为的绝对极大值（最大值）。 若存在正数，使得对任意一个都有. 则称为的强相对极大值。 若存在正数，使得对任意一个都有. 则称为的弱相对极大值。 由于具有一阶接近度的两个函数必然具有零阶接近度，而反之不一定成立，所以泛函为的强相对极值，则它必为弱相对极值。反之不一定成立。由此可知，对于泛函的弱的相对极值的必要条件，必为其强的相对极值的必要条件。反过来，泛函的强的相对极值的必要条件，不一定为其弱的相对极值的必要条件。所以，今后在讨论泛函极值必要条件时，我们总是设-邻域为一级的。 例2 设泛函 . 试证明函数是泛函的弱相对极小值曲线，但不是泛函的强相对极小值曲线。 证明 显然。设为任意一个小于1的正数，为的一级-邻域，为中不同于的曲线，则时，，从而 ， 且只有时，才有。这表明泛函在处达到弱相对极小值。 设为的零级级-邻域，显然，对于任给，只要充分大，就有 ， 但是，当充分大时（），有 . 这表明泛函在处没有达到强相对极小值。 易知，泛函极值与泛函变分有如下关系：若在取得极小值，则 ， 即泛函取极值的曲线上，它的变分等于零。 第二节泛函极值的必要条件-欧拉方程 本节我们讨论两端固定的数值函数的Lagrange型泛函取得极值的必要条件。泛函和端点条件表为 （2.1） 其中容许函数集合为 ， 函数具有连续二阶偏导数。 为推导泛函取极值的必要条件-欧拉(Euler)方程，我们首先给出一个引理 引理2.1 设函数在区间上连续，若对于任意满足的充分光滑函数都有 ， 则在上。 证明 采用反证法，若不然，存在，使得，不妨设，则存在的邻域，使得在其上，选取如下 显然，满足引理的条件，而 ， 矛盾。 定理2.1 设函数具有连续二阶偏导数，泛函（2.1）在达到极值，则满足欧拉方程 . （2.2） 证明 记，满足，按照泛函极值与变分的关系有 ， （2.3） 对于（2.1）式表示的计算偏导数 （2.4） 对（2.4）式右端第二项作分部积分并利用得 ， 代入（2.4）式并根据（2.3）有 . 因为是任意的，由引理得到 (2.2