泰勒公式和极值的研究
1.映射的泰勒公式
定理1 如果从赋范空间X的点x的邻域到赋范空间Y的映射在U中有直到n-1阶(包括n-1在内)的导数，而在点x处有n阶导数。，那么当时有
(1)
等式(1)是各种形式的泰勒公式中的一种，这一次它确实是对非常一般的函数
类写出来的公式了。
我们用归纳法证明泰勒公式(1)。
当时，由的定义，(1)式成立。
假设(1)对成立。
于是根据有限增量定理，5章中公式(12)和所作的归纳假设，我们得到，当时成立。
这里我们不再继续讨论其他的，有时甚至是十分有用的泰勒公式形式。当时，在研究数值函数时，曾详细地讨论过它们。现在我们把它们的结论提供给读者(例如，可参看练习1)。
2.内部极值的研究
我们将利用泰勒公式指出定义在赋范空间的开集上的实值函数在定义域内部取得局部极值的必要微分条件和充分微分条件。我们将看到，这些条件类似于我们熟知的实变量的实值函数的极值的微分条件。
定理2 设是定义在赋范空间X的开集U上的实值函数，且f在某个点的邻域有直到阶.(包括k-1阶在内的)导映射，在点x本身有k阶导映射。
如果且，那么为使x是函数f的极值点
必要条件是: k是偶数，是半定的。
充分条件是: 在单位球面上的值不为零；这时，如果在这个球面上
，
那么x是严格局部极小点；如果
，
那么x是严格局部极大点
为了证明定理，我们考察函数f在点x邻域内的泰勒展开式。由所作的假设可得
，
其中是实值函数，而且当时。
我们先证必要条件。
因为，所以有向量，使。于是，对于充分接近于零的实参量t，
括号内的表达式与同号。
为使x是极值点，当t变号时最后一个等式的左边(从而右边)必须不改变符号。这只有当k为偶数时才可能。
上述讨论表明，如果x是极值点，那么对于充分小的t，差的符号与相同，因而在这种情况下不可能有两个向量，，使在它们上的取值有不同的符号。
我们转到极值充分条件的证明。为了确定起见，我们研究
，当
的情况。这时
，
又因时，所以不等式的右端对于所有充分接近于零的向量均为正。因而对所有这些向量h
，
即x是严格局部极小点。
严格局部极大点的充分条件可类似地验证。
注1 如果空间X是有限维的，那么以点为中心的单位球面是X中的有界闭集，因而是紧集。这时，连续函数（k-形式）在上有最大值和最小值。如果最大值和最小值异号，那么函数f在点x没有极值。如果它们同号，那么像定理2所指出的，f在点x有极值。在后一种情况下，显然极值的充分条件可叙述为与它等价的形式:形式是定的(正定的或负定的)。
我们在研究中的实值函数时所遇到的正是这种形式的极值条件。
注2 像我们在函数的例子所看到的那样，在极值的必要条件中所说的形式的半定性还不是极值的充分条件。
注3 实际上，在研究可微函数的极值时，通常只利用一阶微分或一阶和二阶微分。如果根据所研究问题的意义，极值点的唯一性及极值的特性是显然的，那么在求极值点时就可只用一阶微分:求满足的点x。
3.一些例子
例1 设，而，换句话说，
是定义在中的连续可微的实值函数，而是定义在区间上的光滑实值函数。
我们研究函数
（2）
它由以下关系式给出
（3）
因此，(2)是定义在函数集上的实泛函。
在物理学和力学中，与运动密切相关的基本变分原理是众所周知的。根据这些原理，在所有可能的运动中真实运动的特点是，它们总是沿着使某些泛函有极值的轨道进行。与泛函的极值有关的问题是最优控制理论中的中心问题。因此，寻求和研究泛函的极值是重要的独立课题，分析中以大量篇幅讨论这个课题的理论，这就是变分学，为使读者对从数值函数的极值分析到寻求和研究泛函的极值的转变不感到突然的，我们己做了某些工作。但是我们不准备深入讨论变分法的专门问题，仅以泛函(3)为例说明上面讲过的微分法和局部极值研究的一般思想。
我们要证明泛函(3)是可微映射并求出它的微分。
首先指出，函数(3)可以看作由公式
(4)
给出的映射
(5)
和映射
(6)
的复合。
由积分的性质，映射显然是线性连续映射，因而它的可微性问题是明显的。
我们来证明也是可微的，而且
(7)
其中。
事实上，由有限增量定理的推论，在我们的情况下可得
(8)
其中，。
如果记起中函数f的范数是(其中是函数在区间上的最大模)，那么设,,,,和，考虑到函数在的有界子集上的一致连续性，从不等式(8)得到
当时
而这意味着等式(7)成立。
现在，根据复合映射的微分定理断定，泛函(3)确实可微，并且
(9)
经常把泛函(3)限制在那样一些函数的仿射空间上，它们在区间的端点取固定的值,。在这种情况下，切空间中的函数h在区间的端点应该有零值。考虑到这一点，在这种情况下，利用分部积分，显然可把等式(9)化为
(10)
当然要预先假设L和f属于相应的函数类。
特别地，如果f是这个泛函的极值点(极值曲线)，那么根据定理2，对于任意使得的函数均有。由此，由(10)不难推出(见练习3)，函数f应该满足欧拉-拉格朗日方程。
(11)
这是在变分学中被称为欧拉-拉格朗日方程的特殊的形式，现在研究具体的例子。 例2 短程线问题
在平面内连接两个固定点的曲线中，求长度最小的那条曲线。
在这种情况下，答案是显然的，宁愿把它作为对以下推理的一个检验。
我们将认为，在平面上给出了笛卡儿坐标系，在该坐标系中不妨认为点和是给定的点。我们只限于研究那些曲线，它们是在区间的端点取零值的函数的图像，这种曲线的长度
(12)
依赖于函数f且是例1中所研究的那种类型的泛函。在所给的情况下，函数L有形式
，
因此，在这里极值的必要条件(11)归结为方程
，
由它推出，在区间上
(13)
因为函数是严格单调增的增函数，所以(13)只有在上常数时才能成立。这样一来，要求的光滑极值函数应是线性函数，其图形通过点,。由此推出，于是我们得到，连接两个已知点的直线段为所求的曲线。
例3 最速降线(或捷线)问题
这个于1696年由约翰·伯努利首先提出的关于捷线的经典问题乃是寻求那样的沟槽形式，质点沿着该沟槽在重力作用下在最短的时间内从已知点滑落到另一更低的固定点。
当然，我们忽略摩擦力。此外，在以后的研究中我们不考虑两个点位于同一铅垂
线上的平凡情况。
在通过点，的铅垂平面内，引进直角坐标系，使得点是它的原点，横轴垂直向下，而点有正的坐标。我们将只在定义在区间上满足条件，的光滑函数的图形中寻求沟槽的形式。我们暂且不讨论这个绝非无可争议的假定(见习题4)。
如果质点从点以零速度开始自己的运动，那么在所选择的坐标系中它的速度的变化规律为
(14)
回忆弧长微分的计算公式，
(15)
求出沿着由定义在区间上的函数的图形确定的轨道运动的时间
(16)
对于泛函(16),
,
因此，极值的必要条件(11)在所给情况下归结为方程
,
从它推出
(17)
其中c是不为零的常数。(因为，不在同一铅垂线上!)
考虑到(15)，方程(17)可以改写为
(18)
但从几何的观点有
,, （19）
其中是曲线的切线与横轴正方向间的夹角。
比较方程(18)和(19)的第二个方程，我们求出
(20)
但从(19)和(20)得到
,,
由此求出
(21)
设和，可把关系式(20)和(21)改写为
(22)
因为，所以只在,时。从函数(22)的形式推出，不失一般性，可以认为点对应于参量。这时，我们得到所求曲线的更简单的参数形式
(23)
这样，捷线是摆线，它在起始点是具有铅垂切线的尖点。常数a，即同位相似系数，应当这样选择，它使曲线(23)也通过点。画出曲线(23)后，可以发现，这样的选择不总是唯一的，这也证实了极值的必要条件(11)一般来说不是充分的。然而从物理意义考虑，在参数a的可能的值中应该选取怎样的值是显然的(其实也可以用直接计算来证实)。
剩余内容已隐藏，支付完成后下载完整资料
Taylors Formula and the Study of Extrema
- Taylors Formula for Mappings
Theorem 1. If a mapping from a neighborhood of a point x in a normed space X into a normed space Y has derivatives up to order n -1 inclusive in U and has an n-th order derivative at the point x, then
(1)
as.
Equality (1) is one of the varieties of Taylors formula, written here for rather general classes of mappings.
Proof. We prove Taylors formula by induction.
For it is true by definition of .
Assume formula (1) is true for some .
Then by the mean-value theorem, formula (12) of Sect. 10.5, and the induction hypothesis, we obtain.
as.
We shall not take the time here to discuss other versions of Taylors formula, which are sometimes quite useful. They were discussed earlier in detail for numerical functions. At this point we leave it to the reader to derive them (see, for example, Problem 1 below).
- Methods of Studying Interior Extrema
Using Taylors formula, we shall exhibit necessary conditions and also sufficient conditions for an interior local extremum of real-valued functions defined on an open subset of a normed space. As we shall see, these conditions are analogous to the differential conditions already known to us for an extremum of a real-valued function of a real variable.
Theorem 2. Let be a real-valued function defined on an open set U in a normed space X and having continuous derivatives up to order inclusive in a neighborhood of a point and a derivative of order k at the point x itself.
If and , then for x to be an extremum of the function f it is:
necessary that k be even and that the form be semidefinite,
and
sufficient that the values of the form on the unit sphere be bounded away from zero; moreover, x is a local minimum if the inequalities
,
hold on that sphere, and a local maximum if
,
Proof. For the proof we consider the Taylor expansion (1) of f in a neighborhood of x. The assumptions enable us to write
where is a real-valued function, and as.
We first prove the necessary conditions.
Since, there exists a vector on which. Then for values of the real parameter t sufficiently close to zero,
and the expression in the outer parentheses has the same sign as.
For x to be an extremum it is necessary for the left-hand side (and hence also the right-hand side) of this last equality to be of constant sign when t changes sign. But this is possible only if k is even.
This reasoning shows that if x is an extremum, then the sign of the difference is the same as that of for sufficiently small t; hence in that case there cannot be two vectors , at which the form assumes values with opposite signs.
We now turn to the proof of the sufficiency conditions. For definiteness we consider the case when for. Then
and, since as, the last term in this inequality is positive for all vectors sufficiently close to zero. Thus, for all such vectors h,
,
that is, x is a strict local minimum.
The sufficient condition for a strict local maximum is verified similiarly.
Remark 1. If the space X is finite-dimensional, the unit sphere with center at, being a closed bounded subset of X, is compact. Then the continuous function (a k-form) has both a maximal and a minimal value on . If these values are of opposite sign, then f does not have an extremum at x. If they are both of the same sign, then, as was shown in Theorem 2, there is an extremum. In the latter case, a sufficient condition for an extremum can obviously be stated as the equivalent requirement that the form be either positive- or negative-definite.
It was this form of the condition that we encountered in studying realvalued functions on.
Remark 2. As we have seen in the example of functions, the semi-definiteness of the form exhibited in the necessary conditions for an extremum is not a sufficient criterion for an extremum.
Remark 3. In practice, when studying extrema of differentiable functions one normally uses only the first or second differentials. If the uniqueness and type of extremum are obvious from the meaning of the problem being studied, one can restrict attention to the first differential when seeking an extremum, simply finding the point x where
- Some Examples
Example 1. Let and . In other words, is a continuously differentiable real-valued function defined in and a smooth real-valued function defined on the closed interval .
Consider the function
(2)
defined by the relation
(3)
Thus, (2) is a real-valued functional defined on the set of functions .
The basic variational principles connected with motion are known in physics and mechanics. According to these principles, the actual motions are distinguished among all the conceivable motions in that they proceed along trajectories along which certain functionals have an extremum. Questions connected with the extrema of functionals are central in optimal control theory. Thus, finding and studying the extrema of functionals is a problem
of intrinsic impo
剩余内容已隐藏，支付完成后下载完整资料
资料编号：[286983]，资料为PDF文档或Word文档，PDF文档可免费转换为Word
以上是毕业论文外文翻译，课题毕业论文、任务书、文献综述、开题报告、程序设计、图纸设计等资料可联系客服协助查找。
