[論文レビュー] Diffusion systems and heat equations on networks

Stefano Cardanobile|ArXiv.org|Jul 15, 2008

Advanced Mathematical Physics Problems参考文献 49被引用数 6

ひとこと要約

本稿は、セスキリニア形式と半群理論を用いて、ネットワーク上の拡散方程式および熱方程式のための関数解析的枠組みを構築する。解が解析的半群を生成するための条件を確立し、直交性および許容性条件を用いて部分空間の不変性を特徴づける。主な結果として、ネットワーク系における対称性、強制性、境界結合に関するものがある。

ABSTRACT

A theoretical framework for sesquilinear forms defined on the direct sum of Hilbert spaces is developed in the first part. Conditions for the boundedness, ellipticity and coercivity of the sesquilinear form are proved. A criterion of E.-M. Ouhabaz is used in order to prove qualitative properties of the abstract Cauchy problem having as generator the operator associated with the sesquilinear form. In the second part we analyze quantum graphs as a special case of forms on subspaces of the direct sum of Hilbert spaces. First, we set up a framework for handling quantum graphs in the case of infinite networks. Then, the operator associated with such systems is identified and investigated. Finally, we turn our attention to symmetry properties of the associated parabolic problem and we investigate the connection with the physical concept of a gauge symmetry.

研究の動機と目的

• メトリックグラフ（ネットワーク）上における拡散方程式および熱方程式のための厳密な関数解析的枠組みを、セスキリニア形式を用いて構築すること。
• ネットワーク領域上で楕円的で強制的かつ累積的な形式に関連する作用素が解析的半群を生成することを特徴づけること。
• 直交分解と不変性基準を用いて、解の半群の対称性特性を調べること。
• 形式領域の制約を介して、頂点における動的境界条件および結合条件を分析すること。
• 閉部分空間に対するオーハバズの基準を用いて、古典的な凸集合の不変性に関する結果をネットワーク系へ拡張すること。

提案手法

• 辺間の結合を含む拡散系をモデル化するため、積ヒルベルト空間 $ V = \bigoplus_{i\in I} V_i $ 上のセスキリニア形式を用いる。
• ラックス＝ミルグラムの定理およびカトーの形式理論を適用し、閉かつ稠密に定義された作用素 $ A $ を形式 $ a $ に結びつけ、抽象的コーシー問題 $ \dot{u} = Au $ の適切な定式化を保証する。
• オーハバズの不変性基準を用いて、閉部分空間 $ \mathcal{Y} \subset H $ が半群 $ (e^{tA})_{t \geq 0} $ に対して不変であるかどうかを特定する。これは、$ P_{\mathcal{Y}}V \subset V $ および $ a(\psi, \psi') = 0 $ を満たす $ \psi \in \mathcal{Y} \cap V $、$ \psi' \in \mathcal{Y}^\perp \cap V $ のすべての組み合わせを確認することで帰着される。
• 頂点結合条件を組み込んだ形領域 $ V = \{ \psi \in \bigoplus_{i} H^1(0,1) : \psi(0) \oplus \psi(1) \in Y \} $ を定義することで、ネットワーク上でのラプラシアン作用素を分析する。
• 補間理論および摂動論法（補題 98 を用いて）を適用し、形式の $ H $-楕円的性が小さな摂動のもとでも保たれることを示す。
• コサイン作用素関数理論を用いて、2階の時間発展方程式への結果の拡張を図り、特に強く減衰する波動方程式に適用する。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク上のヒルベルト空間におけるセスキリニア形式が、どのような条件下で解析的半群を生成するか。
• RQ2 ネットワーク上での拡散方程式の解の半群に対して、閉部分空間がいつ不変となるか。
• RQ3 形式領域における直交性および許容性条件を用いて、解の半群の対称性特性をどのように特徴づけられるか。
• RQ4 頂点における結合条件が、ネットワーク上での熱方程式および拡散方程式の適切な定式化および定性的な挙動に果たす役割は何か。
• RQ5 セスキリニア形式の理論を、非対角的領域および頂点空間を有する一般化されたネットワークを扱うためにどのように拡張できるか。

主な発見

• 連続的で $ H $-楕円的かつ強制的なセスキリニア形式 $ a $ に関連する作用素 $ A $ は、解析的半群 $ (e^{tA})_{t \geq 0} $ を生成する。これにより、ネットワーク上での熱方程式の強い適切性が保証される。
• 半群が収縮的であることは、形式 $ a $ が累積的であることと同値であり、定理 94 で示されている。
• 閉部分空間 $ \mathcal{Y} \subset H $ が $ (e^{tA})_{t \geq 0} $ に対して不変であることは、直交射影 $ P_{\mathcal{Y}} $ が $ V $ を自身に写像し、すべての $ \psi \in \mathcal{Y} \cap V $、$ \psi' \in \mathcal{Y}^\perp \cap V $ に対して $ a(\psi, \psi') = 0 $ を満たすことと同値である。これは補題 96 で示されている。
• $ \alpha \in [0,1) $ に対して、形式 $ a $ が $ H $-楕円的であることは、$ a + a_1 + a_2 $ が $ H $-楕円的であることと同値である。ここで $ a_1, a_2 $ は補間空間上での有界摂動である。これは補題 98 で示されている。
• 形式の虚部が $ |\operatorname{Im}a(u)| \leq M \|u\|_H \|u\|_V $ を満たす場合、作用素 $ A $ はコサイン作用素関数を生成する。これにより、2階方程式への結果の拡張が可能となる。
• 理論は動的境界条件を有する系および非可約な無限ネットワークへ適用可能であり、不変性および対称性に関する結果は形式論的技法を用いて導出されている。