[論文レビュー] The existence of the solution of the wave equation on graphs

Yong Lin, Yuanyuan Xie|arXiv (Cornell University)|Aug 6, 2019

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 5

ひとこと要約

この論文は、ローテの方法を用いて、有限重み付きグラフ上での非同次波動方程式の解の存在および一意性を確立する。時間の離散化と時間差分商による近似解の構成により、外力項にホルダー連続性の仮定をおくと、解が古典的解に収束することを証明し、古典的PDE理論をディリクレ境界条件を伴う離散的グラフ構造へと拡張する。

ABSTRACT

Let $G=(V, E)$ be a finite weighted graph, and $Ω\subseteq V$ be a domain such that $Ω^\circ eq\emptyset$. In this paper, we study the following initial boundary problem for the non-homogenous wave equation \begin{equation*} \left\{ \begin{aligned} &\partial_t^2 u(t,x)-Δ_Ωu(t,x)=f(t,x),\qquad&&(t,x)\in[0,\infty) imes Ω^\circ,\\ &u(0,x)=g(x),\qquad&& x\inΩ^\circ,\\ &\partial_tu(0,x)=h(x),\qquad&& x\inΩ^\circ,\\ &u(t,x)=0,\qquad&&(t,x)\in[0,\infty) imes\partial Ω, \end{aligned} ight. \end{equation*} where $Δ_Ω$ denotes the Dirichlet Laplacian on $Ω^\circ$. Using Rothe's method, we prove that the above wave equation has a unique solution.

研究の動機と目的

• 有限重み付きグラフ上での非同次波動方程式の初期境界値問題に対する解の存在および一意性を確立すること。
• 変分法および時間離散化技術を用いて、多様体上での古典的PDE理論を離散的グラフ構造へと拡張すること。
• 双曲型方程式に対する変分法の直接的適用の欠如を補うために、ローテの方法を構成的アプローチとして採用すること。
• ディリクレ境界条件を伴う組合せ的グラフ上での波動伝播のための厳密な解析的枠組みを提供すること。

提案手法

• 時間区間を均等に分割し、$ \ell = T/n $ とおくことで時間離散化を行い、時間微分を後退差分商 $ \delta u_{n,i} $ および $ \delta^2 u_{n,i} $ で近似する。
• 解およびその時間微分を近似するための区分定数関数 $ u^{(n)}(t,x) $ および区分線形関数 $ \overline{u}^{(n)}(t,x) $ を構成する。
• 離散問題の弱形式を用い、$ L^2 $-型ソボレフ空間における一様なバインディングを得て、収束する部分列を抽出する。
• 優越収束定理およびグラフ上のディリクレラプラシアンの性質を用いて、$ n \to \infty $ の極限に移行する。
• 正規直交固有関数 $ \{\varphi_k\} $ を用いたディリクレラプラシアンの固有値分解に依存し、定理1.4で明示的解公式を導出する。
• エネルギー法を用いて一意性を確立し、同次問題の唯一の解が自明であることを示す。エネルギー関数は $ e(t) = \int_\Omega |\nabla w|^2 d\mu + \int_{\Omega^\circ} |\partial_t w|^2 d\mu $ で表される。

実験結果

リサーチクエスチョン

• RQ1 外力項 $ f(t,x) $ が時間に関して適度な正則性を満たす場合、有限重み付きグラフ上でのディリクレ境界条件を伴う非同次波動方程式は、一意な古典的解をもつか？
• RQ2 パラボリック設定での成功を示したローテの方法が、離散的グラフ領域上での双曲型方程式に対しても適応可能か？
• RQ3 外力項 $ f(t,x) $ にどのような条件を課すと、ローテ近似列が解に収束するか？
• RQ4 グラフ上でのディリクレラプラシアンの固有値構造は、解の明示的形にどのように影響を与えるか？
• RQ5 与えられた初期および境界条件の下で、グラフ上での波動方程式の解は一意的か？

主な発見

• 外力項 $ f(t,x) $ が時間に関してホルダー連続性を満たす場合、すなわちある $ \alpha > 0 $ に対して $ \|f(t,\cdot) - f(s,\cdot)\|_{L^2(\Omega^\circ)} \leq c|t-s|^\alpha $ が成り立つ場合、有限重み付きグラフ上でのディリクル境界条件を伴う波動方程式は一意解をもつ。
• 解はローテの方法によって構成され、時間離散化近似が $ C^1 $-ノルムで古典的解に収束する。この解は時間に関して2回連続微分可能である。
• 外力項が $ f(t,x) = \sum_{k=1}^N b_k(t)\varphi_k(x) $ の形をとる場合、解は固有値 $ \sqrt{\lambda_k} $ の正弦および余弦関数を含むモード成分の重ね合わせとして明示的に与えられる。
• 2つの解の差に関するエネルギー関数 $ e(t) $ は恒等的に0に等しくなるため、勾配および時間微分の両項が消えることから、一意性が証明される。
• 本手法は、内部領域 $ \Omega^\circ $ が空でない任意の有限重み付きグラフに適用可能であり、解はすべての $ t \geq 0 $ に対して境界条件 $ u(t,x) = 0 $ を満たす。
• 本結果は、古典的波動方程式理論を離散的グラフ領域へと一般化し、ネットワーク的および組合せ的構造における波動伝播の研究の基盤を提供する。