泛函与变分法：基本定义

泛函的定义

函数是变量到变量的映射关系，泛函是函数和变量的映射关系，泛函是一种广义函数，可以定义为如下：

• 对于某一类函数$y(x)$中的每一个函数，都有一个值$\Pi$与其对应，变量$\Pi$称为函数$y(x)$的泛函，记为：$\Pi =\Pi [y(x)]$

变分的定义

泛函$\Pi [y(x)]$的宗量$y(x)$的一个很小的增量称之为变分(这里的很小到底指什么？需要用数学行的$\delta$语言描述)，记为$\delta y$，是与$y(x)$非常接近的$y1(x)$的差值
$\delta y=y(x)-y1(x)$
对于$\delta y$有两点理解：

• $\delta y$本身也是关于x的函数
• 在指定的x域中，$\delta y$都是微量

关于两个函数曲线的接近是有差异的，如下两中情况，都满足函数值接近，但是右边一阶导数也接近

我们定义"k"阶接近度曲线满足下面每个差值都很小：

我们也可以用拉格朗日引入的$\epsilon$来表示这种微量：

泛函的变分

第一种定义

泛函的增量：

可以展开为线性项和非线性项：

线性的意思是：

我们将泛函增量中的线性部分称为泛函的变分，它是泛函增量的主部

第二种定义，拉格朗日泛函变分

可以得到变分的计算公式：

变分和方向导数：
$F(\epsilon )=\Pi (y+\epsilon \delta y)$
$F{}^{\prime }(\epsilon ){|}_{\epsilon =0}={\lim }_{\epsilon \to 0}\frac{F(\epsilon )-F(0)}{\epsilon -0}$
可以得到$F(\epsilon )-F(0)=F^{\prime }(\epsilon )\cdot \epsilon$
即：$\Pi (y+\epsilon \delta y)-\Pi (y)=\delta \Pi \cdot \epsilon$
对比函数的定义，变分有点类似于导数的概念，但是是对于$\epsilon$的导数
上面的公式中取$\epsilon =1$即可得到Bonet的书中的线性化的公式

泛函的驻值

函数的驻值

函数在x= x0附近任意点的值都不大于(或小于)y(x0)，则x0为函数的极值点，满足函数的微分 dy = 0
一元函数泰勒展开：

二元函数泰勒展开：

不失一般性，多元函数：




函数去极值的条件为：

$x点为\{\begin{array}{ll}极小值,& d^{2}f>0\\ 极大值,& d^{2}f<0\\ 驻值,& d^{2}f=0\end{array}$

泛函的驻值条件

泛函的变分为0，

参考：《变分法及有限元（钱伟长）》