[论文解读] The turnpike property in semilinear control

Darío Pighin|arXiv (Cornell University)|Apr 7, 2020

Stability and Controllability of Differential Equations参考文献 52被引用 6

一句话总结

本文为由抛物型PDE控制的半线性最优控制问题建立了指数展平性质，证明即使在初始数据无小量假设下，只要目标值较小，最优轨迹在整个时间区间内大部分时间仍与稳态解呈指数接近。对于大目标，证明了弱展平结果，表明当控制作用于全域时，平均代价收敛至稳态代价。

ABSTRACT

An exponential turnpike property for a semilinear control problem is proved. The state-target is assumed to be small, whereas the initial datum can be arbitrary. Turnpike results are also obtained for large targets, requiring that the control acts everywhere. In this case, we prove the convergence of the infimum of the averaged time-evolution functional towards the steady one. Numerical simulations are performed.

研究动机与目标

• 在不假设初始数据较小的条件下，建立半线性最优控制问题中的指数展平性质，拓展了以往需施加此类限制的研究结果。
• 分析当时间区间趋于无穷时，由半线性抛物方程控制的最优控制系统的长期行为。
• 在控制作用于全区域的条件下，为大目标证明弱展平结果。
• 推导最优状态时间导数在L²范数下的统一有界性，且该界与时间区间T无关。
• 通过数值模拟支持理论结果，验证半线性系统中展平行为的存在。

提出的方法

• 分析在子域ω上作用的分布控制下，针对半线性热方程的最优控制问题，最小化包含控制项与跟踪项的二次型代价泛函。
• 应用变分法的直接法，证明最优控制问题全局极小解的存在性。
• 利用Gâteaux可微性与Fermat驻定条件，将最优控制表征为u^T = -q^T χ_ω，其中(y^T, q^T)满足最优性系统。
• 通过能量估计与Gronwall型不等式，推导出状态与伴随状态在时间区间上L∞-范数的统一有界性。
• 引入一种准最优策略，包含初始与最终边界层，使得状态在大部分时间区间内保持接近稳态解。
• 在全局控制与大目标条件下，证明时间演化泛函的平均下确界收敛至稳态代价泛函。

实验结果

研究问题

• RQ1 能否在不假设初始数据较小的条件下，为半线性控制问题建立指数展平性质？
• RQ2 当目标不小时，展平性质如何变化？控制作用方式（局部或全域）对此有何影响？
• RQ3 当时间区间T趋于无穷时，时间演化最优控制问题的平均代价是否收敛至稳态代价？
• RQ4 能否推导出与时间区间T无关的最优状态时间导数的统一有界性？
• RQ5 非线性项f(y)的结构如何影响半线性抛物系统中的展平行为？

主要发现

• 当目标z在L∞(ω₀)中较小时，证明了半线性控制问题的指数展平性质，即使初始数据y₀任意。
• 最优状态与控制在整个时间区间的大部分时间内与稳态解保持指数接近，仅在初始与最终时刻存在薄边界层。
• 对于大目标，建立了弱展平结果：当T → ∞时，时间演化泛函的平均下确界收敛至稳态代价。
• 推导出最优状态时间导数在L²范数下的统一有界性，且该界与时间区间T无关。
• 时间演化问题的最小代价满足|J_T(u^*) - T·inf_{L²(ω)} J_s| ≤ K，其中K为与T无关的常数。
• 数值模拟验证了理论预测，显示最优轨迹迅速收敛至稳态解，并在大部分时间内保持接近。