一、先从函数说起
普通函数是“放进一个数,吐出一个数”。比如放进 3,吐出 9。
二、泛函:放进一整条“线”,吐出一个数
泛函更进一层:它放进的不是一个数,而是一整条曲线(一个函数),吐出的是一个数。
- 导航软件面对的不是“某个地点”,而是一整条备选路线,吐出的是“走这条要多少分钟”。路线不同,分钟数不同。
- 给你一根弯曲的铁丝,问它有多长——你给的是“整条形状”,回答是“一个长度数字”。
所以泛函就是给每一条候选曲线打分的工具。问题来了:曲线有无穷多条,到底哪一条打分最好?
三、变分:在无穷多曲线里挑最好的那条
挑数的最好办法是比较;挑曲线,就给曲线做一点小改动、小扭动,看分数往哪边走。这种“对整条曲线的微小改动”就叫变分,方法叫变分法。
当一条曲线怎么轻微扭动,分数都不再变好时,它就是最佳曲线——相当于站在了山脊的最高点,往任何方向迈一小步都是往下。
四、生活里的经典例子
- 两点之间怎么修缆车最省料?答:直线。
- 小球从高处滑到低处,沿什么形状滑得最快?不是直线,而是一条叫“摆线”的弧线——这就是著名的“最速降线”。
- 肥皂泡为什么是球形?因为它在自动寻找表面积最小的形状;水珠滚圆、悬索桥的缆绳下垂成弧线,都是“自动取最优”。
大自然好像偷偷在做变分:光走最省时的路、能量往最低处走。物理学里“作用量最小”这一条,就是用变分来描述的。
一句话:泛函是“以整条曲线为输入、给出一个分数”的打分器;变分是通过微调曲线、找到使分数最好的那一条的方法——它专门回答“在无穷多种形状、路径里,哪种最优”。