第十三章:问题的陈述。必要条件的推导。
- 179 问题的陈述。
- 180 存在一种替换方法,使得一个积分保持不变,而另一个积分发生变化。一个特殊情况。
- 181 两个变量的情况。出现的级数的收敛性。
- 182 引入的替换方法的本质。
- 183 形成一些只依赖于曲线性质的商。
- 184 泛化,其中多个积分需要保持固定值。
- 185 两个定积分的商用
表示,它表明
对整条曲线具有相同的常数值。
- 186 微分方程
.
- 187 第 97 条定理的推广。
- 188 不连续性等。
- 189 二阶变分:第 135 条中提出的三个条件在这里也是必要的。
第 179 条.
在变分法中出现的许多问题的性质,呈现出限制了我们在分析结构的无限小变化中所使用的任意性的辅助条件。这类问题是其中最困难,同时也是最有趣的问题。这些最后进入最大值或最小值要求的条件,一般来说具有双重性质。一方面,可以提出在变量之间存在条件方程,如第 176 条和第 177 条所述。另一方面,我们可以要求所讨论的最大值或最小值满足进一步的条件,即它必须使另一个给定积分具有规定的值。此类情况通常被称为 *相对极值*。
如果我们将讨论限制在两个变量的区域,那么我们要考虑的问题可以表述如下(参见第 17 条):
设
和
是与函数
同样的性质,迄今为止已经讨论过了。变量
和
应该被确定为
的单值函数,使得通过方程
定义的曲线将积分

达到最大值或最小值,同时对于相同的方程,积分

将具有规定值;也就是说,对于曲线的每一个无限小的变化,其中第二个积分保持其符号不变,第一个积分,根据最大值或最小值要进入,必须连续小于或连续大于它对于曲线
.
第 180 条.
我们必须首先证明,可以解析地表示曲线的变化,对于这些变化,积分
保持恒定值。
在变量
的位置,让我们进行替换
。因此,第二个积分的变化为

其中
表示括号内的项是关于
的二阶和更高阶。
我们必须这样确定
和
;即
。为此,我们写

其中
是任意常数,函数
是类似于前面各章中量
的函数,并且在
和
时为零。现在写

和

因此,从 3) 我们有

如果我们写

则可以得到

函数
一旦对
给出确定值后,就被完全确定了;为了让
,有必要满足以下条件。

如果其中任何一个量
,例如
,不等于零,我们能够用剩余的
的幂级数来表示
,当这些量被选择得足够小时。[1] 因此,方程
对于足够小的
值的系统可以得到满足。
将这些值系统中的一个代入 4) 中,可以看出,曲线
存在无限小的变动,使得积分
保持不变。这些变动可以用解析式表示(见下一节)。
当所有量
对所有
值为零时,此证明存在缺陷,然而
可能已经被选择。在这种情况下,
必须沿着整个曲线为零。但这正是积分
具有最大值或最小值的必要条件之一。
因此,如果通过求解微分方程
获得的曲线也包含积分
的最大值或最小值,从而导致
,一般来说,不可能使曲线发生变化,使第二个积分保持不变。
这种情况从本次讨论中排除,并留待在每个具体问题中进行特殊研究。
第 181 条.
让我们目前仅限于最简单的情况,其中

如果我们将
展开中与系数
相关的积分记为
,则对应于上一篇文章中的 (A) 的方程为

对于足够小的
和
,我们假定哪个级数收敛。
接下来,我们用级数表示
作为
的函数:

然后,当我们将此
的值代入
后,通过将
的不同幂次的系数设为零,我们得到


.....................................
因此,将商
记为
,其中
,我们有


.............................
此外,等式
可以写成

让我们将这个级数与级数

![{\displaystyle \qquad =g\left[{\frac {\epsilon }{r}}+\left({\frac {\epsilon }{r}}+{\frac {\epsilon _{1}}{r_{1}}}\right)^{2}+\left({\frac {\epsilon }{r}}+{\frac {\epsilon _{1}}{r_{1}}}\right)^{3}+\cdots \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a171de9035803992dae157619b7f8562ff6721a8)
假设从这个级数中,我们得到了用
表示的
,形式为

其中,
是从
和
幂的系数中推导出来的,
在
中是从
中的系数
形成的。
级数
在以下情况下是收敛的

因此,如果
中的系数
的绝对值小于
中的对应系数,那么
中的系数
的绝对值小于
中的系数
,因此级数
是收敛的。
现在,
和
中
的系数分别为
和 
其中符号
表示
。因此,对于足够小的
和
的值,如果

和

级数
是收敛的,当将其代入
的表达式时,会使该表达式消失。
第 182 条.
作为
的函数的表达式可以从以下关系式中得到

因此,可以得出

或者
![{\displaystyle {\frac {\epsilon _{1}}{r_{1}}}={\frac {1}{2}}\left[{\frac {r_{1}}{r_{1}+g}}-{\frac {\epsilon }{r}}\pm {\sqrt {\left({\frac {\epsilon }{r}}-{\frac {r_{1}}{r_{1}+g}}\right)^{2}-{\frac {4g\epsilon }{r(r_{1}+g)}}}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd6cf39e47d966700e8069b4998c1a07f2074a64)
在两个根中,我们选择符号较低的那个,以便
当
等于零时等于零。这个根可以写成
![{\displaystyle {\frac {\epsilon _{1}}{r_{1}}}={\frac {1}{2}}\left[{\frac {r_{1}}{r_{1}+g}}-{\frac {\epsilon }{r}}-\left({\frac {r_{1}}{r_{1}+g}}-{\frac {\epsilon }{r}}\right){\sqrt {1-\left({\frac {4g\epsilon }{r(r_{1}+g)}}\right)\left({\frac {r_{1}}{r_{1}+g}}-{\frac {\epsilon }{r}}\right)^{-2}}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/220b93347769e483efd5631925f552941bc3536c)
可以看到,根式下的表达式对于
的值是有限的、连续的和单值的,满足
并且 
第 183 条.
回到替换

我们假设函数
在曲线的端点(或极限)处变为零,并且被选择使得
在积分范围内不消失。我们有,从
中立即得到幂级数

其中,幂级数
随
消失。
由此可得

如果我们将积分
施以相同的变分,我们有 [参见公式
]

因此

因此,如果积分
要取得最大值或最小值,则必须

等于零。
因此,我们得到了必要的条件

由此可见,商
与任意函数
无关,因为它在我们将
写成
的其它函数
时不会改变。因此,可以得出结论:**上述商的值仅取决于曲线
的性质。**
第 184 条.
我们可能会通过**要求曲线
使积分**

**最小或最大化,同时以下积分具有规定值**


...............................................

**函数
与第一章中定义的函数
具有相同的性质。**
现在我们必须考虑由变分引起的曲线的变形

那么,如果我们写
,并假设
和
在


.................................................

利用最后
个方程,如果行列式

不等于零,那么对于足够小的
,我们可以将这些量表示为
的收敛幂级数。 [2]
将这些幂级数代入
后,使其具有以下形式

其中

为了使积分
具有最大值或最小值,因此有必要

此行列式展开后,可以写成以下形式
![{\displaystyle \int _{t_{0}}^{t_{1}}[\lambda _{0}G^{(0)}+\lambda _{1}G^{(1)}+\cdots +\lambda _{\mu }G^{(\mu )}]w{\text{d}}t=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a80fa0a96be8bf99ca5dfdd5e73e5229c602b42d)
其中
是
在行列式
中的第一子式。
因此,如同之前(参见第 79 条,那里我们有
),我们这里有

第 185 条.
类似地,如果在第 183 条中,我们将商
表示为
,然后将
和
赋予其值,我们有

由此得出

我们可以证明一个关于常数
的非常重要的定理,即:- 它在整个曲线中具有相同的值;也就是说,我们始终具有相同的值
,无论我们可能改变曲线的哪一部分
。 考虑在一条直线上标出的
的值,并假设常数
对于例如区间
具有确定的值,该区间也对应于曲线的某一部分。此值(见第 183 条)与曲线部分
变化的方式无关。接下来考虑一个包含区间
的区间
;那么,对于区间
所有可能的变动,也包括使
和
保持不变,而只有
发生变化。由于
对于此区间具有确定的值,并且与曲线变化的方式无关,因此它必须在
具有相同的值。
第 186 条.
微分方程
与我们要求积分

具有最大值或最小值时相同,其中用
表示函数

通过该微分方程 (参见第 90 条) ;
和
可以用
和
以及两个积分常数
和
表示,形式如下

当解确实存在时,由这些方程表示的曲线就是该问题的解。
第 187 条.
接下来,我们证明一个非常重要的定理,该定理通常可以作为判断在一个变化不受限制的范围内是否会发生方向突然变化的判据 (参见第 97 条)。假设在一个位置
,其中变化不受限制,发生了方向的突然变化。在
两侧取两个点
和
,它们与
足够接近,以至于在区间
和
中没有类似的方向变化的不连续性。在所有可能的变化中,有一种变化使得整个曲线保持不变,除了区间
,当然,该区间以这样一种方式变化,使得积分
保持其值。积分
的变化仅取决于积分和的变化

我们通过编写来改变拉伸
的变化

我们假设
(A)
当
和
时均为零
当
时为零
当 
然后我们总是可以确定
作为
的幂级数,使得
.
如果用
表示形式为
的表达式,则有 (Art. 79)
![{\displaystyle \Delta I^{(0)}=\epsilon \int _{t_{1}}^{t'}Gw{\text{d}}t+epsilon\int _{t'}^{t_{2}}Gw{\text{d}}t+\epsilon \left[(\xi -\lambda \xi _{1}){\frac {\partial F}{\partial x'}}+(\eta -\lambda \eta _{1}){\frac {\partial F}{\partial y'}}\right]_{t_{1}}^{t'}+\epsilon \left[(\xi -\lambda \xi _{1}){\frac {\partial F}{\partial x'}}+(\eta -\lambda \eta _{1}){\frac {\partial F}{\partial y'}}\right]_{t'}^{t_{2}}+\epsilon (\epsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13ae7b737551dfc9bb289f0d7297f782c7d173c6)
如果曲线
使积分
最小化或最大化,则上述表达式右侧
的系数必须为零。由于
对于无约束变分,从假设 (A) 可得出
![{\displaystyle \eta _{t'}\left[\left({\frac {\partial F}{\partial y'}}\right)_{t'}^{-}-\left({\frac {\partial F}{\partial y'}}\right)_{t'}^{+}\right]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11cc5af3b8a26824555444e70a61e74923169304e)
如果在假设 (A) 中,我们假设对于
,
且
,对于
,我们有类似的方程。
因此可得(参见第 97 条)
![{\displaystyle \left[{\frac {\partial (F^{(0)}-\lambda F^{(1)})}{\partial x'}}\right]_{t'}^{-}=\left[{\frac {\partial (F^{(0)}-\lambda F^{(1)})}{\partial x'}}\right]_{t'}^{+}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8b3a7dd95da69b7e25c5ea1dc764c3bf1bbfb99)
![{\displaystyle \left[{\frac {\partial (F^{(0)}-\lambda F^{(1)})}{\partial y'}}\right]_{t'}^{-}=\left[{\frac {\partial (F^{(0)}-\lambda F^{(1)})}{\partial y'}}\right]_{t'}^{+}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45a99a34ac7623922a84f2f27197be63a8b7dce1)
因此,我们有以下定理: *沿着满足微分方程
的曲线的自由变化位置,量
和
在任何地方以连续的方式变化,即使是在曲线的方向发生突然变化的位置也是如此。*
第 188 条.
显然,如果我们假设
在这些点处消失,就可以避免所有这些不连续性。我们可以假设已经这样做了。我们还可以对曲线施加许多其他限制;例如,曲线必须通过某些固定点,或者它必须包含某些给定的曲线部分,或者它必须穿过某个有限区域。在所有这些情况下,曲线上都存在一些点无法自由变化。但是,无论对曲线施加什么条件,以下定理都是成立的。
所有可以自由变化的点,并且这样的点总是存在的,必须满足微分方程
,并且对于所有这些点,常数
具有相同的值。
第 189 条.
*第二次变分。* 我们假设在极限和曲线上方向发生不连续的所有点的变分都消失。我们还假设变分
已被如此选择,以使
。
那么我们有(参见第 115 条)
![{\displaystyle \Delta I^{(0)}=\epsilon \delta I^{(0)}+{\frac {\epsilon ^{2}}{2}}\int _{t_{0}}^{t_{1}}\left[F_{1}^{(0)}\left({\frac {{\text{d}}w}{{\text{d}}t}}\right)^{2}+F_{2}^{(0)}w^{2}\right]{\text{d}}t+(\epsilon )_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ea77f8ccc6cbf546c16d369892628fc46f4f75a)
![{\displaystyle 0=\epsilon \delta I^{(1)}+{\frac {\epsilon ^{2}}{2}}\int _{t_{0}}^{t_{1}}\left[F_{1}^{(1)}\left({\frac {{\text{d}}w}{{\text{d}}t}}\right)^{2}+F_{2}^{(1)}w^{2}\right]{\text{d}}t+(\epsilon )_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0ef5bfb28269106c0e05ce0adbbe856d9791465)
因此
![{\displaystyle \Delta I^{(0)}=\epsilon [\delta I^{(0)}-\lambda \delta I^{(1)}]+{\frac {\epsilon ^{2}}{2}}\int _{t_{0}}^{t_{1}}\left[F_{1}\left({\frac {{\text{d}}w}{{\text{d}}t}}\right)^{2}+F_{2}w^{2}\right]{\text{d}}t+(\epsilon )_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c590a389c7203319ad7aa1893e4015a511c3788b)
由于

则可以得到
![{\displaystyle \Delta I^{(0)}={\frac {\epsilon ^{2}}{2}}\int _{t_{0}}^{t_{1}}\left[F_{1}\left({\frac {{\text{d}}w}{{\text{d}}t}}\right)^{2}+F_{2}w^{2}\right]{\text{d}}t+(\epsilon )_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/662dcb8474b3794d04e91cc0bc4c7935a14e99a1)
最后一个积分可以立即写成以下形式(第 119 节)

其中
由微分方程(第 118 节)确定

以下是一个最大值或最小值存在的必要条件:对于曲线中所有自由变化的部分,
在第一种情况下必须处处为负,在第二种情况下必须处处为正,并且必须不同于 0 和
。为了使积分的这种变换成为可能,方程
必须能够以一种方式积分,使得
在所有自由变化的曲线部分上都不为零(第 128 条)。
在第十七章中,我们将确定这些三个必要条件是否也足以使积分
具有最大值或最小值。通过下一章中的例子,我们还将证明,如果存在一条曲线,使得第一个积分具有最大值或最小值,而第二个积分保持一个给定的值,那么这条曲线将通过三个条件来确定,这些条件与第 135 条中所述的条件相同。然后,
-函数的行为对于判断实际上是否存在最大值或最小值至关重要。
- ↑ 参见《最大值和最小值理论讲座》,第 20 页。
- ↑ 参见《多个变量函数的最大值和最小值理论讲座》,第 21 页。