[論文レビュー] 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.

研究の動機と目的

• 任意の境界条件を有するネットワーク上の線形双曲型系を研究するための一般枠組みを構築すること。
• ネットワーク上での一次偏微分方程式に従う双曲型系について、前向きおよび後向きの適切性を確立すること。
• 与えられた状態空間の部分集合が系のダイナミクスの下で不変であるための必要十分条件を導出すること。
• 統一的なネットワーク形式内で、古典的モデル（例えば、Saint-Venant系や第二音響方程式）を一般化すること。
• このような系によって生成される発展半群のスペクトル的および定性的性質を分析すること。

提案手法

• 行列 $ M $ および $ N $ がエッジに依存する場合に、方程式 $ \dot{u} = M u' + N u $ を用いてネットワーク上の双曲型系を定式化する。
• 境界条件を行列 $ T $ を用いて表し、$ \underline{u}(0) = T \underline{u}(\ell) $ とすることで、頂点における非局所的かつ複雑な結合を可能にする。
• ヒルバート空間技法および作用素半群理論を用いて、$ C_0 $-半群の生成を分析する。
• スペクトル解析および二次形式を用いて、係数行列の慣性に関連する、等方的部分空間およびその次元を特徴付ける。
• 二次形式 $ q(u) = Pu \cdot \bar{u} $ に関連する行列 $ P $ の固有ベクトルに対して、グラム・シュミット型の手続きを適用し、等方的部分空間の次元の上限を証明する。
• 凸集合の不変性のための $ M $, $ N $, および $ T $ に関する条件を導出する。特に、非正および等方的錐に注目する。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク上の双曲型系が前向きおよび後向きに適切であるための条件は何か？
• RQ2 与えられた状態空間の部分集合が系の流れの下で不変であるための、境界条件および係数行列に関する必要十分条件は何か？
• RQ3 生成子のスペクトル的性質は、ネットワーク上での解の定性的な挙動とどのように関係するか？
• RQ4 系の行列に関連する二次形式の等方的錐に含まれる部分空間の最大次元は何か？
• RQ5 古典的モデル（例：Saint-Venant系や第二音響方程式）は、この一般枠組みにどのように埋め込まれるか？

主な発見

• 系が前向きおよび後向きに適切であるのは、生成子の定義域および関連する二次形式から導かれる特定の適合条件が境界条件および係数行列によって満たされる場合に限り成り立つ。
• 二次形式 $ q(u) = Pu \cdot \bar{u} $ に関連する等方的錐の部分空間 $ I $ は、行列 $ P $ の負の固有値の数である $ k_- $ よりも大きい次元にはならず、等号が成り立つのは $ 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 系や第二音響方程式などに適用可能である。