贡献者： 零穹; addis
由属于 $C_1$ 类的所有过给定点 $a,b$ 的曲线构成的可取曲线族子节 2 中，给出泛函
\begin{equation}
J(y)=\int_a^bF(x,y,y') \,\mathrm{d}{x} ~
\end{equation}
的相对弱极值
子节 2 的可取曲线满足的方程便是
欧拉方程。其具有下面的形式
\begin{equation}
F'_y- \frac{\mathrm{d}{}}{\mathrm{d}{x}} F'_{y'}=0~.
\end{equation}
在引出欧拉方程的过程中，我们也将得到在
变分的基本定理一节中开头提到但未详细说明的结论，其可归为下面的定理。
定理 1
设 $F(x,y,y')$ 及其二阶偏微商对于 $a\leq x\leq b$ 及任意的 $y,y'$ 连续，泛函
\begin{equation}
J(y)=\int_a^b F(x,y,y') \,\mathrm{d}{x} ~.
\end{equation}
的可取曲线族由属于 $C_1$ 类的所有过点 $a,b$ 的曲线构成。若 $y=y(x)$ 给出 $J(y)$ 的相对弱极值，则函数 $y(x)$ 满足欧拉方程
式 2 .
并在 $F_{y'y'}\neq0$ 的一切 $x$ 值上，$y''(x)$ 存在且连续。
满足欧拉方程的曲线便称为极值曲线。在极值曲线上，使 $F''_{y'y'}\neq0$ 的点称为 正规点。
1. 证明
可取曲线族过 $a,b$ 两点，表示任意的可取曲线族中的曲线 $y(x)$ 都满足
\begin{equation}
\delta y(a)=\delta y(b)=0~.
\end{equation}
所以由
定理 1 ，$C_1$ 类的过 $a,b$ 的函数 $y(x)$ 给出泛函 $J(y)$ 极值的必要条件是
式 18
\begin{equation}
\delta J=\int_a^b \left[F'_y(x,y,y')\delta y+F'_{y'}(x,y,y')\delta y' \right] \,\mathrm{d}{x} =0~.
\end{equation}
由拉格朗日变换
式 3 ，
式 5 即
\begin{equation}
\delta J=\int_a^b \left(F'_y- \frac{\mathrm{d}{}}{\mathrm{d}{x}} F'_{y'} \right) \delta y \,\mathrm{d}{x} =0~.
\end{equation}
由
定理 1 ，即得欧拉方程
式 2 。这样利用拉格朗日变换的和拉格朗日的变分基本定理得到的欧拉方程常被称为
欧拉-拉格朗日方程，甚至直接称为
拉格朗日方程。
但是，正如在拉格朗日变换中提到的，对于 $C_1$ 类的函数，拉格朗日变换不合法。所以，这是有缺陷的。
幸运的是，对于 $C_1$ 类的函数，黎曼变换式 4 是合法的。即
\begin{equation}
\delta J=\int_a^b \left(F'_{y'}-N \right) \delta y' \,\mathrm{d}{x}=0 ,\quad where \;N=\int_a^xF'_y \,\mathrm{d}{x} ~.
\end{equation}
利用
定理 2 ，有
\begin{equation}
F'_{y'}-N=F'_{y'}-\int_a^xF'_y \,\mathrm{d}{x} =C~.
\end{equation}
其中，$C$ 是常数。这就是所谓的
欧拉方程的积分形式。
因为 $N$ 可微，即 $N'=F'_y$，所以式 8 ，$F'_{y'}$ 可微
\begin{equation}
\frac{\mathrm{d}{}}{\mathrm{d}{x}} F'_{y'}=N'=F'_y~,
\end{equation}
这便是欧拉方程的等价形式。
由多元函数的拉格朗日中值定理定理 2
\begin{equation}
\Delta F'_{y'}= \left(\overline{F}''_{xy'}+\frac{\Delta y}{\Delta x}\overline{F}''_{yy'}+\frac{\Delta y'}{\Delta x}\overline{F}''_{y'y'} \right) \Delta x~.
\end{equation}
其中，$\overline{F}''_{xy'},\overline{F}''_{yy'},\overline{F}''_{y'y'}$ 表示这些函数取
\begin{equation}
x+\theta_1\delta x,\quad y+\theta_2\delta y,\quad \quad y'+\theta_3\delta y',\quad ( \left\lvert \theta_i \right\rvert <1,i=1,2,3)~
\end{equation}
时的值。由微商（导数）的基本定义
式 4 ，有
\begin{equation}
\frac{\mathrm{d}{}}{\mathrm{d}{x}} F'_{y'}=\lim_{\Delta x\rightarrow 0} \left[\overline{F}''_{xy'}+\frac{\Delta y}{\Delta x}\overline{F}''_{yy'}+\frac{\Delta y'}{\Delta x}\overline{F}''_{y'y'} \right] ~.
\end{equation}
由定理条件，$F(x,y,y')$ 对其变量的二阶偏微商连续，且 $y'$ 存在，所以，上式可写为
\begin{equation}
\frac{\mathrm{d}{}}{\mathrm{d}{x}} F'_{y'}=F''_{xy'}+y'F''_{yy'}+\lim_{\Delta x\rightarrow0}\frac{\Delta y'}{\Delta x}F''_{y'y'}~.
\end{equation}
于是
\begin{equation}
y''=\lim_{\Delta x\rightarrow0}\frac{\Delta y'}{\Delta x}=\frac{ \frac{\mathrm{d}{}}{\mathrm{d}{x}} F'_{y'}-F''_{xy'}-y'F''_{yy'}}{F''_{y'y'}}~.
\end{equation}
这就是说，对于极值曲线 $y=y(x)$ 上的每一个使 $F''_{y'y'}\neq0$ 的点上，$y''$ 存在，连续性由上式中除 $y''$ 之外的其它项的连续性得到。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。