史利楠-英文翻译研讨.docVIP

泰勒公式和极值的研究 1.泰勒公式的映射 定理1设映射，是点x的邻域，Y是赋范空间映射有n - 1，在点x n阶导数， （1） 等式（1）一种泰勒公式，这里写的一般类映射。 时，由的定义，(1)式成立。 假设(1)对成立。 然后利用中值定理，公式（12），和归纳假设，我们得到时 在这里我们将不会花时间来讨论泰勒的公式的其他版本，有时是很有用的。他们先前讨论的详细数值函数。在这一点上我们把它留给读者去（例如，）。 我们将表现出的必要条件，也为实值函数关于赋范空间的开子集的定义一个内部的局部极值的充分条件。正如我们将看到的，是定义在赋范空间X的开集U上的实值函数，且f在某个点的邻域有直到阶(包括k-1阶在内的)导映射，在点x本身有k阶导映射。 假如：和，使x是函数f的极值点 必要条件是: k是偶数，是半定的。 充分条件是: 在单位球面上的值不为零；此外，如果x是一个局部最小值的不等式 在那个范围内，一个局部最大值 ， 那么x是严格局部极大点 证明为了证明我们考虑泰勒展开（1）在附近的x。， 其中是实值函数，并且当时有 我们首先证明这个重要的条件。 因为，所以有向量，使。于是，对于充分接近于零的实参量t， 括号内的表达式与同号。 x是一个极值但是这仅仅是如果k是偶数。 这种推理表明，如果x是一个极值，的符号与相同，因此，在这种情况下，不能有两个向量, ，在它们上的取值有不同的符号。 我们现在的充分性条件的证明。为了明确我们考虑的情况下 的情况。这时 ， 又因时，所以不等式的右端对于所有充分接近于零的向量均为正。因而对所有这些向量h ， 即x是严格局部极小点。 严格的局部最大值的充分条件是类似验证。 注1 如果空间X是有限维的，为中心的单位球面是X中的有界闭集，因而是紧集。这时，连续函数（k-形式）在有一个最大和最小值。如果这些值的符号相反，是定的(正定的或负定的)。 我们在研究中的实值函数时所遇到的就是这个条件。 注2 像我们曾经在函数看到的，在极值的必要条件中所说的形式的半定性还不是极值的充分条件。 注3 在实践中，在研究可微函数通常只使用第一或第二级差极值。如果唯一性和从正在研究的问题的意义是显而易见的，的点x。 3.一些例子 例1 设，而，用其他话说是上一个连续可微的实值函数是定义在区间上的光滑实值函数。 我们研究函数 （2） 以下关系给出定义 （3） 因此，(2)是定义在函数集上的实泛函。 基本的变分原理与运动是物理学和力学中。根据这些原则，在所有可能的运动实际的动作是有区别的,他们沿着轨迹进行特定的泛函,有一个极值。因此，寻找和研究泛函极值问题我们说，（3）可以被看作的映射 (4) 由公式定义 (5) 其次是映射 (6) 通过积分性质，映射是明显的线性和连续可微性，使其清晰。 我们将表明，也可微映射，并 (7) 其中 . 事实上，通过有限增量定理的推论，我们能得到如下情况 (8) 其中，。 如果记起中函数f的范数是(其中是函数上的最大模)，那么设,,,,和，考虑到函数在的有界子集上的一致连续性，从不等式(8)得到 当时，而这意味着等式(7)成立。 现在，根据复合映射的微分定理断定，泛函(3)确实可微，并且 (9) 经常把泛函(3)限制在那样一些函数的仿射空间上，它们在区间的端点取固定的值,。在这种情况下，切空间中的函数h在区间的端点应该有零值。考虑到这一事实，我们可以结合的部分（9）和把它纳入形式 (10) 假设，L和F属于相应的。 特别是，，然后由定理2，我们有均有。由此，由(10)不难推出(见练习3)，函数f应该满足欧拉-拉格朗日方程。 (11) 这是一个常见的形式的方程中的演算的变化被称为欧拉-拉格朗日方程。 现在让我们考虑一些具体的例子。 在一个平面上连接两个固定点之间的所有曲线，发现曲线具有最小长度在这种情况下，答案是显而易见的，我们将在以后作为检查的形式计算。我们假设一个固定的笛卡尔坐标系统