Backstepping Control of First-Order Hyperbolic Equations in Arbitrary Dimensions with Non-Trapping Characteristics

技术摘要：具有非捕获特性的任意维一阶双曲方程的逆步控制

问题陈述
本文解决了定义在任意维 $n \geq 1$ 空间域上的一阶双曲偏微分方程（PDE）的边界控制问题。尽管一维（1D）一阶双曲系统的逆步控制方法自 [21] 的开创性工作以来已得到充分确立，但向多维情形的扩展在历史上一直受限。此前尝试将逆步法应用于多维系统的工作，主要局限于抛物方程，或依赖于对称性假设或平移不变性的特定双曲情形。挑战在于，多维输运方程无法自然地解耦为独立的 1D 子系统，从而无法直接应用现有的 1D 控制设计，特别是在速度场随空间变化且域几何形状为一般情况时。

方法论
所提出的方法依赖于基于特征线法的坐标变换。核心方法论包含以下步骤：

1. 特征分解：作者引入了一种变量代换，将空间域 $\Omega \subset \mathbb{R}^n$ 映射为连续的一维曲线族。该变换基于时间不变输运算子 $a(x) \cdot \nabla v = 0$ 的特征曲线。

   • 空间坐标 $x$ 被替换为一对 $(\sigma, \rho)$，其中 $\rho \in \Gamma_-$ 标识特定的特征曲线（源自流入边界），而 $\sigma \geq 0$ 表示沿该曲线从流入边界到当前位置的渡越时间。
   • 该变换在假设特征曲线叶化该域且渡越时间一致有界（即“非捕获”条件）的前提下成立。

2. 系统降维：在此变量代换下，原始包含空间变化系数、反应项、再循环项和非局部积分项的 $n$ 维双曲 PDE 被变换为连续解耦的 1D 一阶双曲方程族。

   • 该连续族中的每个方程沿由 $\rho$ 参数化的单条特征曲线演化。
   • 所得的 1D 方程保留了与 [21] 中研究的系统相同的结构形式，包含输运、反应、再循环和非局部项，但现在是关于变量 $\sigma$ 而言。

3. 控制器综合：

   • 对于每条固定的特征曲线（固定的 $\rho$），将 [21] 中的标准逆步控制器设计应用于对应的 1D 方程。
   • 这涉及将每条曲线的空间域归一化为 $[0, 1]$，吸收反应项，并求解核 PDE 以确定反馈增益。
   • 随后，各 1D 子系统的所得控制律在原始坐标中重新组装。施加在流出边界 $\Gamma_+$ 的最终控制输入 $U(z, t)$ 表示为沿通向点 $z$ 的上游特征曲线 $C(z)$ 的积分。

关键假设
该框架依赖于几个关键假设：

• 正则性：域 $\Omega$ 为 $C^1$ 类，速度场 $a(x)$ 为 Lipschitz 连续。
• 横截性：速度与边界相切的点集具有零 Hausdorff 测度。
• 非捕获特征：每条进入域的特征曲线必须在有限时间内离开，且所有曲线的最大渡越时间一致有界。该条件是通用的，但在退化情形下（例如速度场消失）会失效。

结果
本文确立了以下理论结果：

• 等价性：定理 1 证明了在所提出的坐标变换下，多维系统等价于连续 1D 系统族。
• 有限时间稳定：推论 1 表明，所设计的边界控制律实现了原始多维系统的有限时间稳定。具体而言，对于任何相容的初始条件，状态 $v(x, t)$ 在时间 $t \geq T_{max}$ 内对所有 $x \in \bar{\Omega}$ 收敛至零，其中 $T_{max}$ 是特征线的最大渡越时间。
• 数值验证：提供了一个 $\mathbb{R}^2$ 中单位圆盘且速度场为常数的示例。本文显式计算了核函数并仿真了该系统，结果表明开环状态增长，而闭环状态在有限时间（$t \approx 2.5$）内收敛至零。

意义与主张
本文明确指出，其主要贡献并非逆步控制器本身，而是识别出多维双曲方程的边界控制与一维双曲方程系综（连续族）控制之间的等价性。

• 新颖性：据作者所知，这是首次在不要求对称性假设的情况下，识别出针对多维一阶双曲方程的此类降维。
• 启示：这种降维表明，为 1D 双曲系统开发的其他控制方法可能通过相同的变换扩展到多维情形。
• 局限性：作者谦逊地指出，该方法似乎难以扩展到抛物方程，因为扩散项耦合了所有特征线，从而阻碍了此处为双曲系统实现的清晰解耦。此外，本文将其贡献与先前关于双曲方程“系综”的工作（例如 [16, 17, 18, 2]）区分开来，指出那些工作要么将系综作为大规模系统的计算工具，要么对自然参数化的智能体进行建模，而本文则将系综概念用作单个 PDE 的数学降维工具。