[論文レビュー] Monotone Order Properties for Control of Nonlinear Parabolic PDE on Graphs

Sidhant Misra, Marc Vuffray+2 more|arXiv (Cornell University)|Jan 19, 2016

Stability and Controllability of Differential Equations参考文献 20被引用数 5

ひとこと要約

本稿では、一般の非線形減衰およびキルヒホッフ・ノイマン境界条件を有する測度的グラフ上の非線形放物型PDEに対して、単調順序伝播（MOP）を確立する。初期条件および時変節点パラメータが適切に順序付けられている場合、解の順序が時間経過に伴って保持され、解の交差は頂点でのみ発生することを証明する。主な貢献は、ネットワーク上のPDE系に対してMOPの根源的証明を提供することであり、ガスパイプラインや流体ネットワークなどの不確実な動的フロー系における強固な制御およびモニタリングを可能にする。

ABSTRACT

We derive conditions for the propagation of monotone ordering properties for a class of nonlinear parabolic partial differential equation (PDE) systems on metric graphs. For such systems, PDE equations with a general nonlinear dissipation term define evolution on each edge, and balance laws create Kirchhoff-Neumann boundary conditions at the vertices. Initial conditions, as well as time-varying parameters in the coupling conditions at vertices, provide an initial value problem (IVP). We first prove that ordering properties of the solution to the IVP are preserved when the initial conditions and time-varying coupling law parameters at vertices are appropriately ordered. In addition, we prove that when monotone ordering is not preserved, the first crossing of solutions occurs at a graph vertex. We consider the implications for robust optimal control formulations and real-time monitoring involving uncertain dynamic flows on networks, and discuss application to subsonic compressible fluid flow with energy dissipation on physical networks.

研究の動機と目的

• 測度的グラフ上の非線形放物型PDEに対して、一般の非線形減衰およびキルヒホッフ・ノイマン境界条件を有する単調順序伝播（MOP）を確立すること。
• 流体フローおよびネットワーキング制御において重要なPDE系のネットワーク上におけるMOP特性の根源的分析が不足している現状に対処すること。
• 不確実な動的フローの物理的ネットワークにおける強固な最適制御定式化およびリアルタイムモニタリングポリシーの開発。
• 順序違反が生じた場合、解の交差がグラフの頂点でのみ発生することを証明すること。
• 特に天然ガスパイプラインネットワークにおいて、エネルギー損失を伴う非定常圧縮流体フローへの適用可能性を示すこと。

提案手法

• エッジごとのPDE発展とキルヒホッフ・ノイマンバランス則による頂点結合を有する測度的グラフ上での非線形放物型PDE系のクラスを定式化する。
• 商品の吸引や流量などの不確実な入力をモデル化するため、結合条件に時変節点パララメータを導入する。
• 順序理論的解析を用いて、初期条件および節点パラメータの単調順序が時間経過に伴って解に保持されることを証明する。
• PDEの最大値原理および比較定理を用いて、順序違反が生じた場合、最初の解の交差が頂点で発生することを確立する。
• 交差点を検出すると節点パラメータを境界値にリセットするノードモニタリングポリシー（NMP）を導出する。これにより、システムの妥当性が保証される。
• 実際のネットワーキングシステムをモデル化するため、エネルギー損失を伴う非定常圧縮流体フローへの適用を通じて、手法の有効性を検証する。

実験結果

リサーチクエスチョン

• RQ1 時変節点パラメータを有する測度的グラフ上の非線形放物型PDEに対して、解の単調順序が保持される条件は何か？
• RQ2 このような系において、単調性が破れた場合、最初の解の交差はどこに発生するか？
• RQ3 単調順序特性は、不確実性下での強固な最適制御定式化を簡略化するためにどのように活用できるか？
• RQ4 頂点レベルの観測のみを用いて、システムの妥当性を維持するリアルタイムモニタリングポリシーを設計できるか？
• RQ5 MOPの結果は、ガスパイプラインなどの物理的ネットワークにおける動的流体フローのモデリングおよび制御にどのような意味を持つのか？

主な発見

• 初期条件および時変節点パラメータが適切に順序付けられている場合、初期値問題（IVP）の解の単調順序が時間経過に伴って保持される。
• 単調性が保持されない場合、最初の解の交差はエッジ上ではなく、グラフの頂点でのみ発生する。
• ノードモニタリングポリシー（NMP）は、頂点で交差を検出すると節点パラメータを境界値にリセットすることで、全システムの密度制約が満たされることを保証する。
• NMPが解の境界を維持するために十分であることが証明された：すべての t ∈ [0,T] およびエッジ (i,j) ∈ E に対して、ρ²(t,x_ij) ≤ ρ(t,x_ij) ≤ ρ¹(t,x_ij) が成り立つ。
• 本結果により、不確実な動的フローのネットワークにおける強固な最適制御定式化が大幅に簡略化可能である。
• 本フレームワークは、特に大規模な天然ガスパイプラインネットワークにおいて、エネルギー損失を伴う非定常圧縮流体フローに直接適用可能である。