[论文解读] Finite-Time Stabilization Of Systems Of Conservation Laws On Networks

Vincent Perrollaz, Lionel Rosier|arXiv (Cornell University)|Feb 23, 2013

Stability and Controllability of Differential Equations参考文献 22被引用 3

一句话总结

本文提出了一种针对网络上一维拟线性双曲系统（对角形式）的有限时间稳定化策略，采用非Lipschitz边界反馈律。证明了在小Lipschitz连续初值条件下，解可在有限时间内达到原点——当两端均受控时约为 $1/c$，仅一端受控时约为 $2/c$，通过不动点论证与能量估计实现。

ABSTRACT

We investigate the finite-time boundary stabilization of a 1-D first order quasilinear hyperbolic system of diagonal form on [0,1]. The dynamics of both boundary controls are governed by a finite-time stable ODE. The solutions of the closed-loop system issuing from small initial data in Lip([0,1]) are shown to exist for all times and to reach the null equilibrium state in finite time. When only one boundary feedback law is available, a finite-time stabilization is shown to occur roughly in a twice longer time. The above feedback strategy is then applied to the Saint-Venant system for the regulation of water flows in a network of canals.

研究动机与目标

• 建立一维拟线性双曲系统在对角形式下于网络上的有限时间稳定化。
• 将波动方程的有限时间熄灭性质推广至具有Riemann不变量的更一般双曲系统。
• 基于有限时间稳定的ODE设计边界反馈律，确保快速收敛至平衡态。
• 分析渠网中圣维南（Saint-Venant）系统在水流调节中的稳定化问题。
• 在初始数据最小正则性假设下，证明解的存在性、唯一性及有限时间衰减。

提出的方法

• 利用Riemann不变量 $u$ 和 $v$ 将拟线性双曲系统转化为对角形式。
• 应用非Lipschitz边界反馈律：$\frac{d}{dt}u(t,0) = -K \text{sgn}(u(t,0))|u(t,0)|^\gamma$，$v(t,1)$ 同理，其中 $K>0$，$\gamma \in (0,1)$。
• 基于Schauder定理的不动点论证，证明在Lipschitz连续函数空间中解的存在性与唯一性。
• 通过能量估计控制解的增长，确保有限时间衰减。
• 通过树状渠网结构的归纳法将结果推广至网络系统，利用节点处的相容性条件。
• 利用扩展算子 $\Pi$ 对解进行周期延拓，保持Lipschitz正则性，以支持流量估计。

实验结果

研究问题

• RQ1 能否对具有非Lipschitz边界反馈的1-D拟线性双曲系统（对角形式）实现有限时间稳定化？
• RQ2 在该反馈律下，解达到零所需的最短时间是多少？其如何依赖于系统参数？
• RQ3 当仅一端受控时，有限时间稳定化行为如何变化，与双端受控相比有何差异？
• RQ4 该策略能否推广至网络系统，如由圣维南方程控制的渠网？
• RQ5 初始数据与系统结构需满足何种条件，才能保证解有限时间收敛至平衡态？

主要发现

• 对于两端均受控的闭环系统，小初值属于 $\text{Lip}([0,1])$ 时，解全局存在且在有限时间内消失，时间约为 $T \approx 1/c$。
• 当仅一端受控时，由于波的反射与传播延迟，有限时间稳定化所需时间约为两倍，即 $T \approx 2/c$。
• 通过形式为 $\dot{u} = -K \text{sgn}(u)|u|^\gamma$ 的非Lipschitz反馈律实现有限时间稳定化，确保边界处ODE动力学的有限时间收敛。
• 利用Schauder不动点定理与Lipschitz连续函数空间中的能量估计，证明了解的存在性与唯一性。
• 通过网络深度的归纳法将方法推广至树状渠网结构，确保每个节点处实现有限时间衰减。
• 证明了明渠流的圣维南（Saint-Venant）系统可通过该反馈策略实现有限时间稳定化，从而实现水位与流量的快速调节。