http://jiaxuanli.me/Docs/Mathematical_Method/chpp21.pdf
https://www.jlao.net/wp-content/uploads/2012/05/Chap4.pdf
泛函数:
假如点和点
之间有一条曲线
,边界条件就是
那么曲线上两个相近点和
的曲线长度近似为
曲线长度:
如果曲线不同还,曲线长度
也是不同的,也就是曲线长度
依赖于曲线函数
而改变,那么
和函数
之间的依赖关系就称之为泛函数关系。
再把函数一般化
就是关于函数
的泛函数,而
叫做变量函数,
不同则
不同。
泛函数的极值:
当变量函数为,函数
取得极小值。也就是:
这里的就是函数
附近,这里的差
是函数
的变分)需要满足的条件
假如说变量函数的两个端点
,那么在端点处的变分:
泛函数由变分
引起的变化,这里利用泰勒展开到一级变分和二级变分,而是用分部积分然后再利用
的边界条件固定。
假如说有极值,
是任意值,则
这个方程就是Euler-Lagrange方程,这是变分核心定理,它是泛函取极小值的必要条件的微分形式,一般来说是一个二阶常微分方程。而且刚好有两个边界条件。
示例
回到公式(3) ,计入希望
取得最小值,代入Euler-Lagrange方程。
代入到公式(9):
两点之间直线最短。