ARTICLE
横截条件
横截条件(Transversality Condition)是动态优化问题中的一组边界条件,用于描述最优路径在计划期终点处的行为。在最优控制理论、变分法和无限期经济增长模型中,横截条件是解的必要条件之一,它与欧拉方程或庞特里亚金最大值原理共同构成最优解的完整特征刻画。简言之,横截条件确保决策主体不会在计划期末留下任何未被利用的改进余地,防止非最优的末期资本积
横截条件(Transversality Condition)是动态优化问题中的一组边界条件,用于描述最优路径在计划期终点处的行为。在最优控制理论、变分法和无限期经济增长模型中,横截条件是解的必要条件之一,它与欧拉方程或庞特里亚金最大值原理共同构成最优解的完整特征刻画。简言之,横截条件确保决策主体不会在计划期末留下任何未被利用的改进余地,防止非最优的末期资本积累或资源堆积。
横截条件的数学形式
考虑一个典型的无限期最优化问题:
其中 为状态变量, 为控制变量。汉密尔顿函数定义为 , 为协态变量。横截条件的一般形式为:
在有限期界问题中(),横截条件简化为 或 ,具体取决于末端约束类型。若末端状态自由,则 ;若末端状态固定,则无需横截条件;若末端状态需满足某一不等式约束,则需结合互补松弛条件推导。
经济学中的横截条件
横截条件在经济增长理论中具有核心地位。拉姆齐模型和无限期世代交叠模型均依赖横截条件排除发散解,确保经济收敛于平衡增长路径。具体而言,横截条件要求资本存量的影子价格与资本存量本身的乘积在无限远期趋于零,这意味着不能长期持有正价值的资本而不将其用于消费或投资。如果横截条件被违反,经济体会积累过多资本而降低终生效用,这在最优路径上不可能发生。
Cass(1965)和Koopmans(1965)对拉姆齐模型的严格处理中,横截条件是证明最优路径存在性与唯一性的关键工具。他们指出,仅靠欧拉方程只能描述最优路径的局部动态,横截条件则从全局角度剔除了非最优的路径。
横截条件与庞特里亚金最大值原理
庞特里亚金最大值原理给出了动态最优控制的必要条件,其中包括:
- 状态方程(协态变量运动方程)
- 最优性条件(汉密尔顿函数对控制变量最大化)
- 横截条件
三者缺一不可。以投资理论中的q-理论为例,托宾q代表资本的影子价格,横截条件排除了q与资本存量乘积在远期发散的路径。如果在求解过程中忽略了横截条件,可能得到满足欧拉方程但经济含义荒谬的解——例如资本存量无限增长或资产价格泡沫路径。
横截条件与鞍点稳定性
在连续时间动态系统中,横截条件与鞍点稳定性密切相关。典型的最优增长模型通常具有一个鞍点均衡:状态变量(如资本)是前定变量,协态变量(如消费的影子价格)是跳跃变量。横截条件将初始协态变量固定在唯一的鞍点路径上,从而得到精确定位的解。如果横截条件未被满足,系统可能沿着不稳定流形运动,最终发散或违反预算约束。
这种机制在索洛模型与拉姆齐模型的对比中尤为明显:索洛模型假设固定储蓄率,无需横截条件即可确定动态;拉姆齐模型中的最优储蓄率由家庭跨期优化内生决定,横截条件提供了封闭解所必需的额外约束。
离散时间中的对应形式
在离散时间动态规划中,横截条件有自然的对应形式。对于最优性问题:
横截条件为:
这一条件的经济直觉是:无限远期的边际效用贴现后趋于零,因此不会遗留任何具有正现值的资本未被利用。在数值求解中,横截条件通常被近似替代为终端条件 或稳态附近的线性化约束。
横截条件与预算约束的关系
横截条件与跨期预算约束(No-Ponzi-Game条件)相辅相成。跨期预算约束要求债务的现值在无限远期不能为正,而横截条件要求资产的现值也不能为正。两者共同构成"资产无极限价值"条件,即 ,其中 为净资产。事实上,在不完全市场中,横截条件与借贷约束的相互作用决定了经济体的动态效率。
常见误解与注意事项
第一,横截条件不是初始条件。初始条件由历史给定,横截条件则指向未来。第二,横截条件不能随意省略——忽略它会导致解不唯一或产生伪最优解。第三,在有限期界问题中放松横截条件可能导致终端效应扭曲最优路径。第四,在某些非凸问题或含有状态约束的问题中,横截条件需要修正为包含库恩—塔克乘子的广义形式。
横截条件的数学推广
对于更一般的变分问题,横截条件可以推广到端点曲线可变、内点约束等情形。在最优控制中,如果终点时间 自由,则还需满足 (汉密尔顿函数在终点的值为零)。在随机最优控制中,横截条件需取期望形式:。微分博弈中也存在对应的横截条件,用于刻画多主体最优策略的终端行为。
小结
横截条件是动态优化理论中不可或缺的组成部分。它不仅提供了数学上封闭解所需的条件,更蕴含了重要的经济直觉:最优决策不会在计划期末留下可改进的余地。无论是在经济增长、公共财政、资产定价还是宏观经济学中,理解并正确应用横截条件都是确保模型结论可靠的基本前提。与其他数学条件一样,横截条件的有效性建立在凸性、可微性和适定性假设之上,在非标准情形中需要谨慎处理。