Backstepping Control of Multidimensional Coupled First-Order Hyperbolic PDEs with Collinear Velocities

技术摘要：具有共线速度的多维耦合一阶双曲型 PDE 的反步控制

问题陈述
本文研究了耦合多维一阶双曲型偏微分方程（PDE）系统的边界稳定化问题。虽然利用反步法（backstepping）和 Fredholm 技术在处理一维（1D）双曲系统边界控制方面已取得了显著进展，但将这些方法扩展到任意空间维度仍具有挑战性。本文考虑的特定类系统涉及在有界、开且连通的区域 $\Omega \subset \mathbb{R}^N$ 内向相反方向传播的 $n+m$ 个耦合状态（$u$ 和 $v$）。核心难点在于输运算子的多维特性以及状态之间的耦合，这使得直接应用一维控制设计变得复杂。

方法论
所提出的方法依赖于一种几何变换，该变换将多维系统简化为一系列独立的的一维系统。该方法论通过以下步骤进行：

1. 共线假设： 研究将输运速度场限制为是共线的。具体而言，假设所有速度场都是单个基向量场 $a(x)$ 的标量倍数。这意味着在任何点 $x$，输运要么沿 $a(x)$ 方向，要么沿 $-a(x)$ 方向。
2. 基于特征线的变量代换： 基于先前为标量多维方程开发的框架，作者引入了一种基于完全在空间域内（而非时空域内）定义的特征曲线的坐标变换。
   • 特征曲线定义为满足 $\frac{d\phi}{ds} = a(\phi)$ 且 $\phi(0) = x$ 的解。
   • 该领域被这些曲线所叶状化（foliated）。引入了一个新坐标系 $(\sigma, \rho)$，其中 $\rho$ 代表特征线在边界 $\Gamma_-$ 上的进入点，$\sigma$ 代表沿特征线移动的距离。
3. 向连续体的归约： 在此变换下，原始的多维 PDE 系统被重新表述为一系列耦合的一维双曲系统的连续体。至关重要的是，虽然每个一维系统内部的状态保持耦合（如标准一维反步问题所示），但对应于不同特征线（不同 $\rho$）的系统彼此之间是解耦的。
4. 反步控制器设计：
   • 连续体中的一维系统被归一化到标准定义域 $[0, 1]$。
   • 对每个连续体元素独立地应用标准的反步控制器（参考文献 [4], [13], [24] 中已建立的一维耦合双曲系统）。
   • 控制律被推导为沿通向施加控制的边界点的特征弧的积分。
5. 稳定性分析： 多维系统的有限时间稳定性是从连续体中每个一维系统的有限时间稳定性推导而出的。这依赖于沿特征线的经过时间是一致有界的假设。

主要贡献

• 向耦合多维系统的扩展： 本文将反步法从标量多维方程（如 [8] 中所述）扩展到了耦合的多维系统。
• 通过变换实现解耦： 主要的理论贡献在于证明了在共线假设下，一个耦合的多维系统可以被转化为一系列耦合的一维系统的连续体，其中耦合严格限制在单个一维系统内部。这消除了需要处理整个连续体之间耦合的复杂集成控制（ensemble control）技术的需求。
• 显式控制律： 作者推导出了一个在原始空间变量下表示的显式边界控制律（方程 32）。该律涉及沿上游特征弧 $C(z)$ 的积分，并利用了在变换后的定义域上满足特定双曲 PDE（核方程）的核函数。

结果
本文确立了主要结果（定理 2）：

• 在假设 1–4（光滑区域、Lipschitz 速度、非捕获特征线及一致有界的经过时间、以及共线速度）下，所提出的边界控制律实现了多维系统的有限时间稳定化。
• 整个系统的调节时间 $t_F$ 满足 $t_F \le T_{max} \left( \frac{1}{\lambda_1} + \frac{1}{\mu_1} \right)$，其中 $T_{max}$ 是跨越定义域的最大经过时间，$\lambda_1, \mu_1$ 是最小输运速度。
• 证明了其解在“弱特征解”意义上存在且唯一，这与适当正则性条件下的经典解相一致。

意义与范围
本文将这项工作定位为控制一般耦合一维双曲系统在多维空间中的“第一步”。

• 局限性： 作者明确承认共线假设具有局限性。在高维情况下，一般的速度场不一定是共线的，目前的方法尚无法处理输运同时沿多个非对齐轴进行的系统。
• 未来方向： 作者建议，虽然当前的变换使连续体元素解耦，但一般的非共线情况可能会导致不同连续体元素之间的耦合。他们提出，未来的研究可以调查是否可以调整现有的控制耦合双曲方程集成（ensembles）的技术，以处理这些残余耦合。
• 对领域的贡献： 本文弥合了多维 PDE 控制与一维 PDE 连续体控制之间的鸿沟，提供了一种通过几何变换而非直接高维控制综合来管理多维复杂性的构造性方法。