贡献者： 零穹; addis
本节将对曲线 $\gamma$ 的函数 $J[\gamma]$ 的极值进行分类，本节内容将有助于引出下一节 “变分” 的概念。
1. 绝对极值
定义在某可取曲线族中的曲线函数 $J[\gamma]$ 的绝对极小值由此族中曲线 $\gamma_0$ 实现，如果对于这族中任一曲线 $\gamma$ 有
\begin{equation}
J[\gamma]\geq J[\gamma_0]~.
\end{equation}
同样，可定义绝对极大值。
2. 相对极值
图 1：相对极值示意图
先用一个直观的例子来理解相对极值的概念。如图，从 $A$ 点到 $B$ 点，有几条路可走，水平线上方和下方各有两条路，上方的最短路线 $S_0$ 小于下方的最短路线 $D_0$。那么，上方路线 $S_0$ 就是连接 $A,B$ 两点的绝对极小值。下方最短路线 $D_0$ 虽然不是绝对极小值，然而它却比连接这两点下方的其它路线都短。
为严格定义相对极值，需介绍几个必备概念。
曲线间的距离
定义 1 曲线间距
若在区间 $(a,b)$ 中定义有两曲线：
\begin{equation}
\begin{aligned}
y&=y(x)~,\\
y&=y_1(x)\quad(a\leq x\leq b)~.
\end{aligned}
\end{equation}
这两
曲线间的距离是一非负数 $r$，它等于 $ \left\lvert y_1(x)-y(x) \right\rvert $ 在区间 $(a,b)$ 上的最大值，记为 $r=r[y_1(x),y_2(x)]$。
由曲线间距的定义知，两条曲线间的距离恒为 0 的充要条件是这两曲线重合。
已知曲线序列：
\begin{equation}
y=y_1(x),y=y_2(x),\cdots,y=y_n(x),\cdots~
\end{equation}
这些曲线到曲线 $y=y(x)$ 间的距离趋于 0。就说这一函数系列
一致收敛于 $y(x)$。
在曲线函数
\begin{equation}
J(y)=\int F(x,y,y') \,\mathrm{d}{x} ~
\end{equation}
中，被积函数不仅依赖于函数值，而且依赖于它的微商。因此，对于两个距离很小的曲线，泛函
式 4 之值是可以很不同的。
例 1
泛函 $\int_0\pi y'^2 \,\mathrm{d}{x} $ 对于曲线
\begin{equation}
\begin{aligned}
y&=\frac{1}{n}\sin nx\quad (0\leq x\leq \pi)~,\\
y&=0
\end{aligned}
\end{equation}
的值分别为 $\pi/2$ 和 0，但当 $n\rightarrow 0$ 时，也就是说它们的距离趋于 0 时，其差也不变。
因此距离的概念需加于推广
定义 2 曲线间的 $n$ 级距离
具有 $n$ 级连续微商的两曲线，$y(x)$ 与 $y_1(x)$，其定义域为 $[a,b]$, 它们的 $n$ 级距离，是下列各式
\begin{equation}
\begin{aligned}
& \left\lvert y_1(x)-y(x) \right\rvert ~,\\
& \left\lvert y_1'(x)-y'(x) \right\rvert ~,\\
&\vdots\\
& \left\lvert y_1^{(n)}(x)-y^{(n)}(x) \right\rvert \\
\end{aligned}
\end{equation}
在区间 $[a,b]$ 上的最大值中的最大值。
对研究泛函
\begin{equation}
\int F(x,y,y') \,\mathrm{d}{x} ~
\end{equation}
时，一级距离起着特别重要的作用，因为被积函数仅是 $x,y,y'$ 的函数，所以当 $y=y(x),y=y_1(x)$ 间的一级距离充分的小时，这些函数的泛函的差的绝对值也可以任意小。所以，一般情形下，我们总假设曲线之间的距离是一级的。
邻区
所有与曲线
\begin{equation}
y=y(x)\quad (a\leq x\leq b)~
\end{equation}
的 $n$ 级距离小于 $\epsilon$ 的曲线的全体，称为曲线 $y=y(x)$ 的 $n$ 级 $\epsilon -$
邻区。
也就是说，曲线 $y=y(x)$ 的零级 $\epsilon-$ 邻区，就是由所有位于 $y=y(x)$ 上下宽为 $2\epsilon$ 的带区内的曲线组成。
强的与弱的极值
我们说泛函
\begin{equation}
J=\int_a^b F(x,y,y') \,\mathrm{d}{x} ~
\end{equation}
在曲线 $\gamma_0$ 上达到
强的相对极大，若对于在 $\gamma_0$ 的
零级 $\epsilon-$ 邻区内的所有可取曲线 $\gamma$ 都有
\begin{equation}
J(\gamma)\leq J(\gamma_0)~.
\end{equation}
类似的，可定义相对强的相对极小。
我们说泛函 $J$ 在曲线 $\gamma_0$ 上达到弱的相对极大，若对于所有在曲线 $\gamma_0$ 的一级 $\epsilon-$ 邻区内的可取曲线 $\gamma$，都有
\begin{equation}
J(\gamma)\leq J(\gamma_0)~.
\end{equation}
习题 1
试证明：每一个绝对极值，同时是一个强与弱的相对极值；每一个强的相对极值同时也是弱的相对极值。
