[論文レビュー] Application of Rothe's method to a nonlinear wave equation on graphs

Yong Lin, Yuanyuan Xie|arXiv (Cornell University)|Aug 30, 2021

Advanced Mathematical Physics Problems参考文献 13被引用数 4

ひとこと要約

本稿では、Rotheの方法とエネルギー推定を用いて、有限な連結重み付きグラフ上における非線形減衰項 $|u_t|^{p-1}u_t$ ($p > 1$) を有する非線形波動方程式のグローバル解の存在と一意性を確立する。主な貢献は、強力な非線形減衰を有する双曲型方程式に対して、従来放物型方程式に用いられてきたRotheの方法を、離散的グラフ構造へと拡張した点であり、外部力項 $f$ に対してホルダー連続性条件を課した上での適用を可能にした。

ABSTRACT

We study a nonlinear wave equation on finite connected weighted graphs. Using Rothe's and energy methods, we prove the existence and uniqueness of solution under certain assumption. For linear wave equation on graphs, Lin and Xie \cite{Lin-Xie} obtained the existence and uniqueness of solution. The main novelty of this paper is that the wave equation we considered has the nonlinear damping term $|u_t|^{p-1}\cdot u_t$ ($p>1$).

研究の動機と目的

• 有限な重み付きグラフ上における非線形減衰項を有する非線形波動方程式のグローバル解の存在と一意性を確立すること。
• 従来放物型方程式に用いられてきたRotheの方法を、グラフ領域上における非線形減衰を有する双曲型問題へと拡張すること。
• 外部力項 $f$ に対してホルダー連続性条件を課した場合の解の挙動を分析すること。
• 離散的グラフ構造上における非線形波動ダイナミクスの厳密な関数解析的枠組みを提供すること。

提案手法

• 時間領域を $n$ 個の等間隔の時間間隔に離散化し、各時間ステップで楕円型に類似した問題を逐次解くことにより、Rotheの方法を適用する。
• 時間方向の区分的線形補間としてRothe関数 $u^{(n)}(t,x)$ を構築し、解の近似を行う。
• 離散微分の有界性とエネルギー推定を用いて、弱コンパクト性により収束する部分列を抽出する。
• 弱形式においてグラフラプラシアン $\Delta_\Omega$ を取り扱うために、グリーンの公式と離散勾配形式 $\Gamma(v_1,v_2)$ を用いる。
• 劣微分収束定理と離散ノルムの収束を活用し、時間離散化された方程式において極限に移行する。
• 非線形減衰項 $|u_t|^{p-1}u_t$ の単調性を用いたエネルギー型の議論により、一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非線形減衰項 $|u_t|^{p-1}u_t$ を有する非線形波動方程式は、有限な重み付きグラフ上にグローバル解を有するか？
• RQ2 Rotheの方法は、グラフ領域上における強い非線形減衰を有する双曲型PDEに対しても適応可能か？
• RQ3 外部力項 $f$ に対してどのような正則性条件が課されれば、解はグローバルに定義されるか？
• RQ4 非線形減衰項が存在する場合、解は一意的か？

主な発見

• 外部力項 $f$ に対してホルダー連続性条件 $\|f(s_1,\cdot) - f(s_2,\cdot)\|_{L^2(\Omega^\circ)} \leq C_{\Omega^\circ} |s_1 - s_2|^\gamma$ が成り立つ場合、問題 (1.1) は一意なグローバル解を有する。
• 解 $u$ は時間に関して2回連続微分可能であり、初期条件および境界条件を古典的意味で満たす。
• Rothe関数 $u^{(n)}$ から極限解 $u$ への収束は、$L^2$-ベースのエネルギー空間において確立されており、$u_t$ および $u_{tt}$ は弱収束する。
• 一意性の証明は、非線形減衰項の単調性に依存している：$p > 1$ に対して $(u_t - \tilde{u}_t)(|u_t|^{p-1}u_t - |\tilde{u}_t|^{p-1}\tilde{u}_t) \geq 0$ が成り立つ。
• 運動エネルギーと勾配エネルギーを組み合わせたエネルギー関数 $G(t)$ は非増加的であり、初期にゼロとなるため、2つの解の差 $\varphi$ に対して $\varphi \equiv 0$ が導かれる。
• 本手法は、線形減衰よりも存在証明が複雑になる非線形減衰項の非線形性を適切に扱うことに成功している。