写在开始
首先需要明确一下函数(function)与泛函(functional)的区别,这两个本质都是一种映射,其主要区别在于:
函数:数到数的映射
泛函:函数到数的映射
所以也可以说泛函是函数的函数。
欧拉-拉格朗日方程
问题的提出:
已知一个函数,当泛函取极值时,求
欧拉-拉格朗日(Euler-Lagrange)方程:
当
满足欧拉-拉格朗日方程时,泛函取极值。
证明
欧拉-拉格朗日的证明方法有很多种,这里给出一种变分的方法去证明。假设已经找到函数
使得泛函取得极小值,那个存在一个任意函数
,有:
这种方法称之为变分法。其中
足够小,那么左边的泛函就可以写成关于
的一个函数
,当
时候,关于
的泛函取极值,有
,根据这个关系,可以得到: