[论文解读] Optimal Switching for Hybrid Semilinear Evolutions

Fabian Rueffler, Falk M. Hante|arXiv (Cornell University)|May 17, 2016

Advanced Thermodynamics and Statistical Mechanics参考文献 1被引用 3

一句话总结

该论文为在非线性扰动的强连续半群控制下在不同模式间切换的混合半线性演化系统，建立了必要的最优性条件，包括状态重置和切换成本。通过伴随方程推导了切换时间与模式插入的梯度表示，将基于常微分方程（ODE）的方法推广至偏微分方程（PDE）和具有主部或生成元切换的延迟方程。

ABSTRACT

We consider the optimization of a dynamical system by switching at discrete time points between abstract evolution equations composed by nonlinearly perturbed strongly continuous semigroups, nonlinear state reset maps at mode transition times and Lagrange-type cost functions including switching costs. In particular, for a fixed sequence of modes, we derive necessary optimality conditions using an adjoint equation based representation for the gradient of the costs with respect to the switching times. For optimization with respect to the mode sequence, we discuss a mode-insertion gradient. The theory unifies and generalizes similar approaches for evolutions governed by ordinary and delay differential equations. More importantly, it also applies to systems governed by semilinear partial differential equations including switching the principle part. Examples from each of these system classes are discussed.

研究动机与目标

• 为由抽象半线性演化控制的混合系统中的最优切换建立统一框架。
• 解决在生成元中存在切换的系统（如主部发生变化的偏微分方程）缺乏基于梯度的优化方法的问题。
• 将基于常微分方程的切换时间优化与模式插入梯度推广至具有非线性扰动和状态重置的无限维系统。
• 利用伴随方程为切换时间与模式序列提供可微分的代价表示。
• 在复杂系统（如天然气管网）中实现基于梯度的优化，其中切换会影响演化算子。

提出的方法

• 在巴拿赫空间设定下，通过伴随方程公式推导代价泛函关于切换时间的梯度。
• 引入模式插入梯度以优化模式序列，支持对不同模式顺序的算法探索。
• 利用半群理论建模不同模式下的连续动态，其中生成元 $A^j$ 生成 $C^0$-半群。
• 在切换时刻引入非线性状态重置映射 $g^{j,j'}$ 和带有切换惩罚的拉格朗日型代价函数。
• 将理论应用于主部发生切换的系统，如输运方程与扩散方程之间的切换，或延迟微分方程（DDE）中的延迟参数切换。
• 在系统参数与半群生成元具有较弱正则性假设的条件下，建立代价泛函的可微性。

实验结果

研究问题

• RQ1 在具有状态重置和切换成本的混合半线性演化系统中，代价泛函关于切换时间的梯度如何表示？
• RQ2 针对模式序列的优化，特别是将新模式插入现有序列时，适当的梯度公式是什么？
• RQ3 基于伴随的梯度方法能否从常微分方程推广至生成元本身在模式间切换的偏微分方程系统？
• RQ4 该理论如何处理偏微分方程主部的切换，例如输运算子与扩散算子之间的切换？
• RQ5 在无限维设定下，确保代价泛函可微性及伴随表示有效的条件是什么？

主要发现

• 关于切换时间的代价梯度通过求解伴随方程来表示，从而支持基于梯度的优化。
• 模式插入梯度支持对不同模式序列的系统性探索，构成混合优化算法的基础。
• 该理论将基于常微分方程的切换时间优化推广至偏微分方程和延迟方程，包括生成元（如主部）发生切换的情形。
• 对于从输运方程（$A^1 = \partial_x$）切换至扩散方程（$A^2 = \partial_x^2$）的系统，最优切换时间为 $\tau = 0$，由非负梯度表明。
• 伴随解沿时间反向传播，即使半群不交换，也能高效计算敏感性。
• 该框架与稳定性分析一致，未来可扩展至无界扰动和一般边界条件。