变分法入门介绍-CFANZ编程社区

变分法入门介绍

读完这篇博文你可以了解变分的基本概念，以及使用变分法求解最简泛函的极值。本文没有严密的数学证明，只是感性地对变分法做一个初步了解。

给定两点和，求AB两点之间的最短距离。两点之间直线最短，这还用球吗？可是为什么是直线最短呢，而不是其它曲线？

设链接AB两点的曲线为,则AB之间的距离可以表示为在区间上求线段的累积长度（积分的思想）：

在这里该函数的变量是，即函数的变量为函数，我们需要求解出合适的使得最小。我们把这样的函数称为泛函数。

定义：泛函是以函数为变量的函数。

那么什么是变分法呢？求泛函极值的方法称为变分法。

下面给出变分的定义：对于任意定值，可取函数与另一可取函数之差称为函数在处的变分或函数的变分，记做，这时有，是一个很小的数，是的任意参数

对于泛函的增量

泛函的增量与变分之差是一个比一阶距离更高阶的无穷小，泛函的变分是泛函增量的线性主要部分。

变分的定义是不是跟微分很像（微分的定义，是该点的导数）。类比一下，我们在高等数学中学习到的函数极值的必要条件是函数导数等于0，而泛函极值的必要条件也是泛函的变分等于0。

所以有如下定理：若泛函在上达到极值，则它在上的变分等于零。这就是变分原理。

设是三个独立变量，，在区间上的已知函数，且二阶连续可微，其中和是的未知函数，则泛函

称为最简单的积分形泛函，简称最简泛函，被积函数称为拉格朗日函数。

对于拉格朗日函数，其泛函的变分为

利用变分原理，使最简泛函取得极值且满足固定边界条件，的极值曲线应满足必要条件

式中是的已知函数并有二阶连续偏导数。上述必要条件中的方程叫做泛函的欧拉方程，也叫欧拉-拉格朗日方程。而称为关于的变分导（函）数。

好的，我们利用欧拉方程来证明博文刚开始提出的两点之间直线最短的问题。

这里的，求得，，再求得

根据欧拉方程有，则

此时，我们就得到了这条曲线确实就是连接两点的直线。

鉴于本人计算能力超级差，手动求导对我来说实在太痛苦了，我将上述的计算借助于Mathematica计算了一遍，下面是计算过程。不得不说Mathematica真的太强大了。

变分法入门介绍_极值_59

老大中. 变分法基础[M]. 北京: 国防工业出版社. 2004.