变分的些知识.docVIP

变分法补充讲义 （2004-02-17） 1． 变分法的基本预备定理（基本引理） 如果函数?(x)在线段(x0, x1)上连续，且对于只满足某些一般条件的任意选定的函数??x?（例如，一阶或若干阶可微，在线段(x0, x1)的端点处为0，??x?? 或|??x?|? 和|?’?x?|? 等），有，则在线段。 证明：（反证法） 假定在线段x0 ? x ? x1上一点处，事实上，由?(x)的连续性可知，??x?在点的一邻域内不变号。 如果取??x?也在这个邻域内不变号且在邻域之外等于0，即如图所示： 则 因在上保持定号，在之外等于0。 则与定理假设相矛盾，所以必有。 而如图所示的可选取： 其中，k未常数，n正整数。则连续，且有直到2n-1 阶连续导数。 2． （1.7）节补充 （1）泛函变分的定义 引理：泛函的变分 证明： 定义泛函的变分为泛函增量的线性主部，即当泛函增量可以表示成： 其中，为关于的线性泛函，当。 我们将 这时，取函数的增量为，即增加一个因子。计算对于的导数在=0时的取值： （由于是对求导，=0，） 当时，，而，为有限小量。 ∴后一项极限为0 ∴ （2）泛函数极值的必要条件： 定理：若可微泛函在上达到极小（大）值，则在上有。 证明： 对于任意给定的来说，是实变量?的函数。由定理的假设可知，函数在?=0时达到极值，所以在?=0时，导数为0，即 由泛函变分的另一种定义，知左边等于泛函的变分，又由于是任意给定的，从而定理得证。 又证明：（从第一种定义证明）。 由泛函极值的定义，若在上达到极值，则存在的一个邻域，对于该邻域内的任一容许函数，泛函增量不变号。而当时，?J=0。 又由泛函变分的定义，当变分存在时，泛函的变分与函数的变分之间具有线性关系。 显然，在这种情况下，若要求对任意的足够小的，相应的泛函增量（即泛函的变分）均不变号，则必须有=0。