泛函与变分

1． 求泛函的极大值和极小值问题称为变分问题，求泛函极值的方法称为变分法。

2． 泛函的定义
1） 如果对于一个函数$x\left( t \right)$，有一个J值与之对应，则变量J称为依赖于函数$x\left( t \right)$的泛函数，即泛函，记作
$J = J\left[ {x\left( t \right)} \right]$
泛函为标量，其值由函数的选取而定。

3． 泛函的变分
若连续泛函$J\left[ {x\left( t \right)} \right]$的增量可以表示为
$\Delta J = J\left[ {x\left( t \right) + \delta x\left( t \right)} \right] - J\left[ {x\left( t \right)} \right] = L\left[ {x\left( t \right),\delta x\left( t \right)} \right] + r\left[ {x\left( t \right),\delta x\left( t \right)} \right]$，
其中$L\left[ {x\left( t \right),\delta x\left( t \right)} \right]$是泛函增量的线性主部，它是$\delta x\left( t \right)$的线性连续泛函，称为泛函的变分（微分），记为
$\delta J = L\left[ {x\left( t \right), \delta x\left( t \right)} \right]$

4． 泛函的极值
可微泛函$J\left[ {x\left( t \right)} \right]$在${x_0}\left( t \right)$上达到极大（小）值，则在$x = {x_0}\left( t \right)$上有 $\delta J{\rm{ = }}0$,即变分为0.

5． Jensen不等式（Jensen’s inequality）:
$f\left( {\sum\limits_{i = 1}^M {{\lambda _i}{x_i}} } \right) \le \sum\limits_{i = 1}^M {{\lambda _i}f\left( {{x_i}} \right)}$ ,其中，对于任意点集$\left\{ {{x_i}} \right\}$，都有${\lambda _i} \ge 0$且$\sum\limits_i {{\lambda _i}} = 1$，凸函数（convex function）满足Jensen不等式。
对于连续变量，Jensen不等式的形式为：
$f\left( {\int {xp\left( x \right)} dx} \right) \le \int {f\left( x \right)p\left( x \right)} dx$.

下一阶段准备进行利用变分法求极值问题。