ARTICLE

变分法 (Calculus of Variations)

变分法 (Calculus of Variations) 变分法 (Calculus of Variations) 是数学分析的一个分支,研究如何寻找泛函的极值——即一个函数的函数——的极值。与标准微积分中求函数 f(x) 的极值点不同,变分法处理的优化对象是函数本身:给定一个函数空间,寻找使某个积分型目标泛函达到极大或极小的函数。变分法的经典问题包括最速降

浏览 0 更新 2026-05-27

变分法 (Calculus of Variations)

变分法 (Calculus of Variations) 是数学分析的一个分支,研究如何寻找泛函的极值——即一个函数的函数——的极值。与标准微积分中求函数 f(x)f(x) 的极值点不同,变分法处理的优化对象是函数本身:给定一个函数空间,寻找使某个积分型目标泛函达到极大或极小的函数。变分法的经典问题包括最速降线问题 (brachistochrone)、等周问题测地线问题,其方法体系构成了最优控制理论动态规划数学物理的基础。

欧拉-拉格朗日方程

变分法的核心结果是欧拉-拉格朗日方程 (Euler-Lagrange equation),它提供了泛函极值的必要条件。考虑最基本的变分问题:在所有满足边界条件 y(x1)=y1y(x_1) = y_1y(x2)=y2y(x_2) = y_2 的二阶可微函数中,寻找使积分泛函

J[y]=x1x2F(x,y(x),y(x))dxJ[y] = \int_{x_1}^{x_2} F(x, y(x), y'(x)) \, dx

达到极值的函数 y(x)y(x)。假设最优函数 y(x)y^*(x) 存在且光滑,考虑任意满足 η(x1)=η(x2)=0\eta(x_1) = \eta(x_2) = 0 的扰动函数 η(x)\eta(x),构造变分 y(x)=y(x)+ϵη(x)y(x) = y^*(x) + \epsilon \eta(x)。泛函 J[y+ϵη]J[y^* + \epsilon \eta]ϵ=0\epsilon = 0 处的导数为零给出:

δJ=x1x2(Fyη+Fyη)dx=0\delta J = \int_{x_1}^{x_2} \left( \frac{\partial F}{\partial y} \eta + \frac{\partial F}{\partial y'} \eta' \right) dx = 0

对第二项分部积分并利用边界条件 η(x1)=η(x2)=0\eta(x_1) = \eta(x_2) = 0,由 η\eta 的任意性导出欧拉-拉格朗日方程:

Fyddx(Fy)=0\frac{\partial F}{\partial y} - \frac{d}{dx} \left( \frac{\partial F}{\partial y'} \right) = 0

这是一个关于 y(x)y(x) 的二阶常微分方程,其解即为候选极值函数。

经济学中的应用

变分法在宏观经济学经济增长理论中应用广泛。Ramsey-Cass-Koopmans模型中,代表性家庭选择消费路径以最大化跨期效用:

max0eρtu(c(t))dt\max \int_0^\infty e^{-\rho t} u(c(t)) \, dt

约束于资本积累方程 k˙(t)=f(k(t))c(t)δk(t)\dot{k}(t) = f(k(t)) - c(t) - \delta k(t)。通过构造现值汉密尔顿函数并使用变分法或庞特里亚金最大值原理,可导出消费与资本的最优动态路径,即凯恩斯-拉姆齐法则。在最优增长理论真实经济周期模型中,此类泛函优化刻画了代表性主体的前瞻性最优决策。

金融经济学中,Merton 的跨期资产配置问题同样使用变分法求解最优消费-投资规则。在产业组织理论中,动态定价和研发竞赛的连续时间模型依赖变分方法处理随时间演化的策略函数。变分法提供了连续时间动态优化的统一数学语言,与贝尔曼方程(离散时间)和汉密尔顿-雅可比-贝尔曼方程(连续时间随机控制)共同构成了现代动态经济学的方法论基础。