条件极值问题的变分法16Kdoc

1、第3章 条件极值问题的变分法§3.1 函数的条件极值问题，拉格朗日乘子这里让我们概要的说明在给定的约束条件下，函数的极值问题。这类附带约束条件的极值问题，称为函数或泛函的条件极值问题。对于一个函数，如，其绝对极小值是根据下面条件求得， （3-1）解（3-1）式，可以求出相应的解，将与代入函数则可获得函数的绝对极小（极大）值。如果我们给定一约束条件，则表示在给定的约束条件的情形下，求的极值。显然，这种带有约束条件下求极值，相当于把所求范围缩小了，如果存在有极值的话，那么，这个极值不是绝对极小（或极大）值，而是相对值，它总大于（或等于）无条件时的极小值，或总小于（或等于）无条件时的极大值

2、。对这类条件极值问题，一般多利用所谓的拉格朗日乘子法。拉格朗日乘子法可以如此理解，的极值条件可以写成 （3-2）约束条件可以写成 （3-3）因此（3-2）式中的,不是独立的，而是由（3-3）式的微分关系式 （3-4）连系着的。假定，解（3-4）式，得 （3-5）而（3-2）式可化为 （3-6）于是把（3-6）式与（3-3）式连在一起，是求解极值点的两个方程式。如果用拉格朗日乘子法，可构造以下函数，如 （3-7）式中称为拉格朗日乘子。的极值条件为 （3-8）这里把都看作是独立的任意变量，于是从（3-8）式可得到， （3-9）消去，得， （3-10）这与（3-3）式和（3-6）式完全相同，所以用拉

3、格朗日乘子法与上面介绍的方法是等价的。现在让我们在约束条件 （3-11）下求函数 （3-12）的极值，其中。同样可用拉格朗日乘子法，设拉格朗日乘子为，并用 （3-13）把作为,的个独立变量的函数，求其极值。 （3-14）由于都是独立变量，于是由，得 （3-15）这是求解个变量的个方程。（3-15）式还可以通过以下方法求得。（3-12）式的变分极值要求 （3-16）因为有（3-11）式的个约束条件，所以这些中只有个是独立的。从（3-11）式的个约束条件可以求得下列微分条件 （3-17）将（3-17）式乘以，与（3-16）式相加，得 （3-18）这里的是任选的，如果我们选择个待定的，使下面个条件

4、（3-19）满足，则（3-18）式就可以写成 （3-20）这里是作为独立量出现的，于是 （3-21）将（3-19）、（3-21）及（3-11）式合在一起，即可得到（3-15）式的相同求解极值方程。这就证明了拉格朗日乘子法。§3.2 泛函在约束条件下的极值问题泛函的条件极值问题与函数的条件极值问题处理方法完全相同。【定理】 泛函 （3-22）在约束条件 （3-23）下的变分极值问题所确定的函数，必满足由泛函 （3-24）的变分极值问题所确定的欧拉方程 （3-25）其中为个拉格朗日乘子。我们把和都看作是泛函的变量，所以同样也可以看作是泛函的欧拉方程。（3-25）式也可以写成 （3-26）

5、现在让我们证明这个定理。首先求泛函（3-22）式的变分，它经过分部积分（用端点给定不变的条件）可以写成 （3-27）注意到这里的不是独立的，它是由约束条件（3-23）连系着的。设为特定函数，于是有 （3-28）变分得 （3-29）把（3-27）式和（3-29）式相加，记，得极值条件 （3-30）因为是个任意特定函数，假定这个函数由下列个线性方程决定的， （3-31）这里只要求行列式 （3-32）就可以从（3-31）式中求得待定的拉格朗日乘子的解。根据（3-31）式，变分方程（3-30）式中，剩下的变分项只有关系到等项了。即 （3-33）这项都是独立任意的。运用变分法预备定理后，得 （3-34）

6、将（3-31）、(3-34)两式加在一起，便证明了（3-26）式是正确的，即证明了上述定理。下面讨论对于约束条件的泛函极值问题。对于泛函 （3-35）在约束条件 （3-36）下的变分极值问题所确定的函数必须满足由泛函 （3-37）的变分极值问题确定的欧拉方程 （3-38）或 （3-39）在（3-37）式的变分中，我们把和都看作是的变量，所以也同样可以看作是泛函的欧拉方程。§3.3 泛函在积分约束条件下的极值问题【定理】 泛函 （3-40）在约束条件，为常数 （3-41）下的变分极值所确定的函数必须满足泛函 （3-42）的变分极值问题所确定的欧拉方程 （3-43）在（3-42）式的变分

7、中，我们把和都看作泛函的变量，但在这里是待定常量。所以（3-40）式同样可以看作是泛函的欧拉方程。（3-43）式也可以写成 （3-44）现在可以引进新的未知函数，把约束条件的极值问题，化为型的条件极值问题，引进符号 （3-45）因此有，对求导数，得 （3-46）因此，约束条件（3-40）式可以由（3-46）式来代替。于是，我们的极值问题变为泛函（3-41）式在约束条件（3-46）式下的变分极值问题，根据§3.2节的定理，这种极值问题可以化为求泛函 （3-47）的无条件极值问题，其中 （3-48）把当作独立函数，（3-47）式在变分后给出欧拉方程 （3-49） （3-50） （3-51

8、）把（3-48）式代入（3-49）及（3-50）式中，可以把它们进一步简化为 （3-52） （3-53） （3-51）由（3-53）式证明了都是常数，（3-52）式为 （3-54）而（3-51）式就是约束条件（3-46）式，（3-54）式共有个方程，也就是泛函 （3-55）的欧拉方程，其中，为拉格朗日乘子，且都是常数。显然，（3-55）式就是（3-42）式，由此，定理得到证明。还应当指出，欧拉方程组的通解中有个积分常数和个拉格朗日乘子，这个常数由约束方程（3-40）式及边界条件 （3-56）来确定。【例3-1】 在周长已知的情况下，求所围面积为最大的曲线。本题的约束条件为周长L为已知，即 （3-57）现在要求在满足（3-57）条件下，求泛函（即所围面积） （3-58）为极值，这里。该问题相当于求无条件泛函 （3-59）的极值。记为则有 （3-60）如果为弧长，则，则（3-60）式中的后两式可以写为 （3-61）代入欧拉方程，可得 （3-62）积分一次，得 （3-63）消去y，得 （3-64）它的解为 （3-65）将（3-65）式代入（3-63）式的第一式，可得 （3-66）根据封闭围线条件，有 （3-67）（3-67）