Lyapunov 函数下降性推导

一、下降性定理

1.1 主定理

定理(最优值函数下降性):对于带合适终端设计的 MPC,最优值函数沿闭环轨迹满足:

1.2 终端设计条件

下降性成立需要以下终端设计条件之一:

终端设计条件
终端等式约束$x_{N
终端不等式约束$x_{N
无终端约束 足够大

二、证明:终端等式约束情况

2.1 假设条件

假设

  1. 终端等式约束:
  2. 时刻 的问题可行,最优解为
  3. 权重矩阵

2.2 时刻 的最优解

设时刻 的最优控制序列和状态轨迹为:

其中 (终端等式约束)。

最优值为:

2.3 Shift 构造候选解

构造时刻 的候选控制序列:

对应的状态轨迹:

其中:

2.4 候选解的代价

候选解 的代价为:

2.5 代价差计算

计算

因此:

2.6 利用最优性不等式

由于 是时刻 最优解可行解

因此:

2.7 下降性结论

由于

,则至少 (若 )或通过可检测性保证下降。

因此:

证毕


三、证明:终端不等式约束情况

3.1 假设条件

假设

  1. 终端不等式约束:
  2. 终端权重 (DARE 解)
  3. 终端控制律 ,其中 是 LQR 增益

3.2 Shift 构造

构造时刻 的候选控制序列:

对应的状态轨迹:

3.3 终端代价变化

终端代价的变化:

利用 DARE 方程的 Lyapunov 形式:

因此:

3.4 完整代价差

3.5 下降性结论

证毕


四、关键步骤总结

步骤关键操作
1. Shift 构造$\tilde{U}{k+1} = {u{1
2. 候选解代价计算
3. 代价差
4. 最优性不等式
5. 下降性

五、不同终端设计的对比

终端设计下降性证明终端项贡献
终端等式约束 简单,终端项为零0
终端不等式约束 + 需 DARE 方程
无终端约束 + 足够大近似为零

六、示例:数值验证

6.1 系统参数

6.2 仿真结果

01.002.09--1.38
10.680.97-1.12-0.60
20.460.44-0.53-0.26
30.310.20-0.24-0.12

6.3 验证

在所有时刻都成立。


七、总结

概念公式
下降性
关键工具Shift 构造 + 最优性不等式
终端条件等式约束 / 不等式约束+
Lyapunov 函数 满足

更新记录

日期内容
2026-04-10初始版本