《变分法·吴迪光1987年》复习汇总

第一章 变分法的概念

1 泛函和泛函的极值

例1 捷线（最速降线）问题

$$T={\int }_0^{T}dt={\int }_l\frac{ds}{v}={\int }_{x_0}^{x_1}\sqrt{\frac{1+y^{\prime 2}}{y-\alpha }}dx.$$

例2 等周问题

根据格林公式，曲线 $\Gamma$ 围成的面积为
$$A=\frac{1}{2}{\oint }_{\Gamma }xdy-ydx=\frac{1}{2}{\int }_{t_0}^{t_1}(x\dot{y}-y\dot{x})dt.$$

例3 极小曲面问题

$D$ 是 $l$ 所围的平面区域，由积分学知识，曲面面积为
$$\begin{array}{c}\\ S={\iint }_D\sqrt{1+(\frac{\partial z}{\partial x}{)}^2+(\frac{\partial z}{\partial y}{)}^2}dxdy.\end{array}$$

极值必要条件

绝对极值 $\Rightarrow$ 强相对极值 $\Rightarrow$ 弱相对极值
弱相对极值的必要条件 $\Rightarrow$ 强相对极值的必要条件 $\Rightarrow$ 绝对极值的必要条件

2 基本引理（考反证法）

基本引理1

设函数 $f(x)\in C[x_0,x_1]$，以及对任意函数 $\eta (x)\in C[x_0,x_1]$，$\eta (x_0)=\eta (x_1)=0$，都有
$${\int }_{x_0}^{x_1}f(x)\eta (x)dx=0,$$
则在区间 $[x_0,x_1]$ 上，$f(x)\equiv 0$.

基本引理2

设 $D$ 为某平面区域，它的边界为$\Gamma$，函数 $f(x,y)\in C(D)$，以及对任意函数 $\eta (x,y)\in C(D)$，且 $\eta (x,y){|}_{\Gamma }=0$，都有
$${\iint }_{D}f(x,y)\eta (x,y)dxdy=0,$$
则在区域 $D$ 上，$f(x)\equiv 0$.

第二章 固定边界的变分问题

$♠$ 欧拉方程

$$F_y-\frac{d}{dx}{F}_{y^{\prime }}=0$$

（一）不显含y

欧拉方程化为
$$\frac{d}{dx}{F}_{y^{\prime }}=0$$
它的首次积分为
$$F_{y^{\prime }}(x,y^{\prime })=C$$

（二）不显含x

它的首次积分为
$$F(y,y^{\prime })-y^{\prime }{F}_{y^{\prime }}(y,y^{\prime })=C$$
其中C是积分常数.

最小旋转面问题

旋转曲面面积为
$$S[y]={\int }_{\widehat{AB}}2\pi yds=2\pi {\int }_{x_0}^{x_1}y\sqrt{1+y^{\prime 2}}dx$$

（三）不显含x,y

欧拉方程化为
$$\frac{d}{dx}{F}_{y^{\prime }}=0$$
求导后，得
$$y^{\prime \prime }{F}_{y^{\prime }{y}^{\prime }}=0$$

1. 若$y^{\prime \prime }=0$，得$y=C1x+C2$，这是包含C1，C2的直线族。
2. 若$F_{y^{\prime }{y}^{\prime }}=0$，由于$F$是$y^{\prime }$的已知函数，不妨假定方程$F_{y^{\prime }{y}^{\prime }}=0$有$n$个实根
   $$y^{\prime }=k_i,(i=1,2,...,n)$$
   积分得
   $$y=k_{i}x+C,(I=1,2,...,N).$$
   这是含有一个参数$C$的直线族，它已包含在上面的可能，综上，该情况的泛函的极值曲线是直线族$y=C1x+C2$.

（四）设F=P(x,y)+Q(x,y)y’，即F是y’的线性函数的情形.

欧拉方程化为
$$\frac{\partial P}{\partial y}-\frac{\partial Q}{\partial x}=0$$
由它解出的$y=y(x)$不含有任意常数。也就是说，所给的变分问题一般是无解的。只有满足边界点的问题才存在。
如果有
$$\frac{\partial P}{\partial y}-\frac{\partial Q}{\partial x}\equiv 0,$$

在所讨论的平面单连区域上成立，则表达式
$$P(x,y)dx+Q(x,y)dy$$
是某个单只函数u(x,y)的全微分。这时，泛函
$$\begin{gathered} J[y]={\int }_{x_0}^{x_1}(P+Q{y}^{\prime })dx={\int }_{(x_0,y_0)}^{(x_1,y_1)}Pdx+Qdy \\ ={\int }_{(x_0,y_0)}^{(x_1,y_1)}du(x,y)=u(x_1,y_1)-u(x_0,y_0)=常数, \end{gathered}$$
也就是泛函的值与积分路径无关，故变分问题失去意义。

2 含多个未知函数的变分问题

讨论含两个未知函数 $y(x),z(x)$的泛函
$$J[y,z]={\int }_{x_0}^{x_1}F(x,y,y^{\prime },z,z^{\prime })dx$$
的极值问题。

$♠$ 欧拉方程组

$$\{\begin{array}{l}{F}_y-\frac{d}{dx}{F}_{y^{\prime }}=0,\\ \\ F_z-\frac{d}{dx}{F}_{z^{\prime }}=0.\end{array}$$

$♣$ 补充概念：微分方程通解

参考视频链接：笨笨的bob:【微分方程】高阶（三阶）不同特征值关系下的微分方程的通解形式

这里举例只到二阶：$r^2+pr+q=0$

实数解

$\star$ 不同实根 $$\begin{gathered} r_1\ne r_2 \\ \Rightarrow y=C_1{e}^{r_{1}x}+C_2{e}^{r_{2}x} \end{gathered}$$

$\star$ 相同实根（重根） $$\begin{gathered} r_1=r_2 \\ \Rightarrow y=(C_1+C_{2}x)e^{r_{1}x} \end{gathered}$$

虚数解

$\star$ 不同虚根（共轭复根） $$\begin{gathered} r_1=\alpha +i\beta ,r_2=\alpha -i\beta \\ \Rightarrow y=e^{\alpha x}(C_1\cos \beta x+C_2\sin \beta x) \end{gathered}$$

$\star$ 相同虚根 $$\begin{gathered} r_1=r_2=\alpha +i\beta \\ \Rightarrow y=e^{\alpha x}((C_1+C_{2}x)\cos \beta x+(C_3+C_{4}x)\sin \beta x) \end{gathered}$$

3 含高阶导数的变分

讨论含未知函数 $y(x)$的二阶导数的泛函
$$J[y,z]={\int }_{x_0}^{x_1}F(x,y,y^{\prime },y^{\prime \prime })dx$$
的极值问题。

$♠$ 欧拉-泊松(Euler-Poisson)方程

$$F_y-\frac{d}{dx}{F}_{y^{\prime }}+\frac{d^2}{d{x}^2}{F}_{y^{\prime \prime }}=0$$

依赖两个未知函数$y(x),z(x)$的较高阶导数的泛函
$$J[y,z]={\int }_{x_0}^{x_1}F(x,y,y^{\prime },y^{\prime \prime },\cdot \cdot \cdot y^{(n)};z，z^{\prime }，z^{\prime \prime },\cdot \cdot \cdot ,z^{(m)})dx$$
其欧拉-泊松方程为
$$\{\begin{array}{l}{F}_y-\frac{d}{dx}{F}_{y^{\prime }}+\frac{d^2}{d{x}^2}{F}_{y^{\prime \prime }}-\cdot \cdot \cdot +(-1{)}^n\frac{d^n}{d{x}^n}{F}_{y(n)}=0\\ \\ F_z-\frac{d}{dx}{F}_{z^{\prime }}+\frac{d^2}{d{x}^2}{F}_{z^{\prime \prime }}-\cdot \cdot \cdot +(-1{)}^n\frac{d^m}{d{x}^n}{F}_{z(m)}=0\end{array}$$

4 参数形式的变分问题

其欧拉方程组为
$$\{\begin{array}{l}{G}_x-\frac{d}{dt}{G}_{\dot{x}}=0,\\ \\ G_y-\frac{d}{dt}{G}_{\dot{y}}=0.\end{array}$$

5 泛函的变分

提示：下式的积分后半部分用分布积分

一阶变分

$$\begin{gathered} \delta J={\int }_{x_0}^{x_1}(F_y\eta +F_{y^{\prime }}{\eta }^{\prime })dx \\ ={\int }_{x_0}^{x_1}(F_y\delta y+F_{y^{\prime }}\delta y^{\prime })dx \\ =[F_{y^{\prime }}\delta y{]}_{x_0}^{x_1}+{\int }_{x_0}^{x_1}(F_y-\frac{d}{dx}{F}_{y^{\prime }})\delta ydx \end{gathered}$$

二阶变分

$$\delta J={\int }_{x_0}^{x_1}(F_{yy}\delta y^2+2F_{y{y}^{\prime }}\delta y\delta y^{\prime }+F_{y^{\prime }y}\delta y^{\prime 2})dx$$

第三章 变动边界的变分问题

1 变动端点变分问题的自然边界条件

一阶未知函数的一阶变分（区分左右端点）
$$F_{y^{\prime }}{|}_{x=x_0或x=x_1}=0$$
包含高阶未知函数的一阶变分，两个自然边界条件
$$\begin{gathered} [F_{y^{\prime }}-\frac{d}{dx}{F}_{y^{\prime \prime }}]{|}_{x=x_0或x=x_1}=0， \\ {F}_{y^{\prime \prime }}{|}_{x=x_0或x=x_1}=0 \end{gathered}$$

2 变动端点变分问题的横截条件

泛函的极值曲线是 $y=y(x)$ ，变动端点沿着光滑曲线 $\Gamma :y=b(x)$ 自由移动，特别地，若泛函的被积函数具有形式
$$F=P(x,y)\sqrt{1+y^{\prime 2}}(P(x,y)=0).$$
则有横截条件
$$\begin{gathered} b^{\prime }(x_1)y^{\prime }(x_1)=-1 \\ {a}^{\prime }(x_0)y^{\prime }(x_0)=-1 \end{gathered}$$
这就是说，极值曲线与变动端已知曲线 $y=b(x),y=a(x)$，分别在 $x=x_1,x=x_0$ 处正交，此横截条件也属于自然边界条件。

第四章 重积分的变分问题

1 固定边界问题

$♠$ 奥斯特洛格拉得斯基方程

$$F_u-\frac{\partial }{\partial x}{F}_{u_x}-F_{u_y}=0.$$
$u(x,y)$使得泛函取得极值函数的边界条件。

2 变动边界问题与自动边界条件

$$F_{u_x}\frac{dy}{ds}-F_{u_y}\frac{dx}{ds}=0,$$
其中 $s$ 是 $D$ 的边界曲线l的弧长变量，它称为泛函的极值函数在 $l$ 上的自然边界条件。

第五章 泛函的条件极值问题

1 短程线问题

$♠$ 定理1 （拉格朗日定理）

设函数$y(x),z(x)$在曲面$G(x,y,z)=0$上，使得泛函取极值，并且沿着曲线 $\Gamma :y=y(x),z=z(x)$，偏导数$G_y$或$G_z$中至少有一个不为零，则必有函数因子$\lambda (x)$存在，使得$y(x),z(x)$满足泛函
$$\begin{gathered} I[y,z]={\int }_{x_0}^{x_1}[F(x,y,z,y^{\prime },z^{\prime })+\lambda (x)G(x,y,z)]dx \\ \triangleq {\int }_{x_0}^{x_1}[H(x,y,z,y^{\prime },z^{\prime },\lambda (x))]dx \end{gathered}$$
的欧拉方程组
$$\{\begin{array}{l}{H}_y-\frac{d}{dx}{H}_{y^{\prime }}=0,\\ H_z-\frac{d}{dx}{H}_{z^{\prime }}=0,\end{array}$$
其中 $H=F+\lambda (x)G(x,y,z).$

2 等周问题

$♠$ 定理2 （欧拉定理）

设函数$y=y(x)$在满足等周条件$K={\int }_{x_0}^{x_1}G(x,y,z)dx=l(常数)$及边界条件$y(x_0)=y_0,y(x_1)=y_1$上，使得泛函取极值（ 但$y=f(x)$不是泛函K的极值曲线），则必有函数因子$\lambda (x)$存在，使得$y(x)$是泛函
$$\begin{gathered} I={\int }_{x_0}^{x_1}[F(x,y,z,y^{\prime })+\lambda (x)G(x,y)]dx \\ \triangleq {\int }_{x_0}^{x_1}[H(x,y,y^{\prime },\lambda (x))]dx \end{gathered}$$
的极值曲线，即 $y=y(x)$ 满足欧拉方程
$$H_y-\frac{d}{dx}{H}_{y^{\prime }}=0,$$
其中 $H=F+\lambda (x)G(x,y).$

常用不定积分公式

$$\begin{gathered} \int a^{x}dx=\frac{a^x}{\ln (x)}+C \\ \int {\sec }^{2}xdx=\tan x+C \\ \int {\csc }^{2}dx=-\cot x+C \\ \int \sec x\tan xdx=\sec x+C \\ \int \frac{dx}{\sqrt{1-x^2}}=\arcsin x+C=-\arccos x+C \\ \int \frac{dx}{1+x^2}=\arctan x+C=-\text{arccot}x+C \\ \int \tan xdx=-\ln \left|\cos x\right|+C \\ \int \cot xdx=\ln \left|\sin x\right|+C \\ \int \frac{dx}{a^2-x^2}dx=\frac{1}{2a}\ln \left|\frac{a+x}{a-x}\right|+C \\ \int \frac{dx}{a^2+x^2}dx=\frac{1}{a}\arctan \frac{x}{a}+C \\ \int \frac{dx}{\sqrt{a^2-x^2}}dx=\arcsin \frac{x}{a}+C \\ \int \frac{dx}{\sqrt{a^2+x^2}}dx=\ln \left|x+\sqrt{x^2+a^2}\right|+C \\ \int \mathrm{sh}xdx=\mathrm{ch}x+C,\mathrm{ch}x=\frac{e^x+e^{-x}}{2} \\ \int \mathrm{ch}xdx=\mathrm{sh}x+C,\mathrm{sh}x=\frac{e^x-e^{-x}}{2} \\ \int \sqrt{x^2+a^2}dx=\frac{x}{2}\sqrt{x^2+a^2}+\frac{a^2}{2}\ln (x+\sqrt{x^2+a^2})+C \end{gathered}$$