[论文解读] Linear Hyperbolic Systems on Networks

Marjeta Kramar Fijavž, Delio Mugnolo+1 more|arXiv (Cornell University)|Mar 18, 2020

Stability and Controllability of Differential Equations参考文献 59被引用 9

一句话总结

该论文通过一种灵活的一阶约化形式，建立了线性双曲系统在图上的适定性与不变性性质。它提供了状态空间子集在系统流下保持不变的必要与充分条件，推广了具有任意边界条件和系数矩阵的图上经典输运方程与波动方程。

ABSTRACT

We study hyperbolic systems of one-dimensional partial differential equations under general, possibly non-local boundary conditions. A large class of evolution equations, either on individual 1-dimensional intervals or on general networks, can be reformulated in our rather flexible formalism, which generalizes the classical technique of first-order reduction. We study forward and backward well-posedness; furthermore, we provide necessary and sufficient conditions on both the boundary conditions and the coefficients arising in the first-order reduction for a given subset of the relevant ambient space to be invariant under the flow that governs the system. Several examples are studied.

研究动机与目标

• 开发一个适用于具有任意边界条件的图上线性双曲系统的通用框架。
• 建立由图上一阶PDE控制的双曲系统的前向与后向适定性。
• 推导给定状态空间子集在系统动力下保持不变的必要与充分条件。
• 在统一的网络形式下推广经典模型，如Saint-Venant系统与第二声方程。
• 分析由此类系统生成的演化半群的谱与定性性质。

提出的方法

• 使用方程 $ \dot{u} = M u' + N u $ 在图上表述双曲系统，其中 $ M $ 和 $ N $ 为边相关的矩阵。
• 通过矩阵 $ T $ 表示边界条件，使得 $ \underline{u}(0) = T \underline{u}(\ell) $，从而允许在顶点处存在非局部与复杂的耦合。
• 应用希尔伯特空间技巧与算子半群理论，分析 $ C_0 $-半群的生成。
• 利用谱分析与二次型，表征与系数矩阵惯性相关的各向同性子空间及其维数。
• 对与二次型 $ q(u) = Pu \cdot \bar{u} $ 相关的矩阵 $ P $ 的特征向量执行类似Gram–Schmidt的程序，以证明各向同性子空间的维数上界。
• 推导出 $ M $、$ N $ 与 $ T $ 的条件，以保证凸集的不变性，特别关注非正与各向同性锥。

实验结果

研究问题

• RQ1 在何种条件下，图上的双曲系统具有前向与后向适定性？
• RQ2 边界条件与系数矩阵需满足何种必要与充分条件，才能使给定的状态空间子集在系统流下保持不变？
• RQ3 生成元的谱性质如何与图上解的定性行为相关联？
• RQ4 与系统矩阵相关的二次型的各向同性锥中，所含子空间的最大维数是多少？
• RQ5 如何将经典模型如Saint-Venant系统或第二声方程嵌入此通用框架中？

主要发现

• 当且仅当边界条件与系数矩阵满足由生成元定义域及相应二次型导出的特定相容性条件时，系统在前向与后向意义下适定。
• 与二次型 $ q(u) = Pu \cdot \bar{u} $ 相关的各向同性锥的子空间 $ I $ 的维数至多为 $ k_- $，即矩阵 $ P $ 的负特征值个数，且仅当 $ I $ 由对应负特征值的 $ k_- $ 个特征向量张成时取等。
• 对于给定的二次型 $ q $，包含于非正各向同性锥中的子空间的最大维数为 $ k_- $，且此类子空间由对应非正特征值的特征向量张成。
• 形如 $ U_i^\pm = u_i \pm i\sqrt{\lambda_i / \lambda_{k_-+i}} u_{k_-+i} $ 的各向同性向量存在的充要条件是 $ \lambda_i > 0 $ 且 $ \lambda_{k_-+i} < 0 $，此时可得到 $ 2^{k_-} $ 个线性无关的各向同性向量。
• 系统保持状态空间中某一凸子集不变，当且仅当边界条件与系数矩阵满足涉及矩阵 $ P $ 与子空间 $ I $ 的特定代数条件，确保流始终位于该集合内。
• 结果推广了图上经典输运方程与波动方程，并适用于具有非局部边界条件的Saint-Venant系统与第二声方程等系统。