[论文解读] 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

一句话总结

该论文通过罗特方法（Rothe's method）在有限加权图上建立了非齐次波动方程解的存在性与唯一性。通过时间离散化并利用时间差商构造近似解，作者在强迫项满足霍尔德连续性假设的条件下，证明了解收敛于经典解，从而将经典偏微分方程理论推广至具有狄利克雷边界条件的离散图结构。

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.

研究动机与目标

• 建立有限加权图上非齐次波动方程初边值问题解的存在性与唯一性。
• 通过变分法与时间离散化技术，将经典流形上的偏微分方程理论推广至离散图结构。
• 通过采用罗特方法作为构造性方法，解决变分法在双曲型方程中难以直接应用的问题。
• 为具有狄利克雷边界条件的组合图上的波动传播提供严格的分析框架。

提出的方法

• 通过将时间划分为长度为 $ \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 在具有狄利克雷边界条件的有限加权图上，若强迫项满足较弱正则性条件，非齐次波动方程是否存在唯一经典解？
• RQ2 鉴于罗特方法在抛物型情形中已取得成功，其是否可被有效适配于离散图域上的双曲型方程？
• RQ3 强迫项 $ f(t,x) $ 需满足何种条件，可确保罗特逼近序列收敛至解？
• RQ4 图上狄利克雷拉普拉斯算子的谱结构如何影响解的显式形式？
• RQ5 在给定初始与边界条件下，图上波动方程的解是否唯一？

主要发现

• 若强迫项 $ f(t,x) $ 满足时间方向的霍尔德连续性条件：$ \|f(t,\cdot) - f(s,\cdot)\|_{L^2(\Omega^\circ)} \leq c|t-s|^\alpha $（其中 $ \alpha > 0 $），则具有狄利克雷边界条件的有限加权图上波动方程存在唯一解。
• 解通过罗特方法构造，时间离散逼近在 $ C^1 $-范数下收敛于一个在时间上二次连续可微的经典解。
• 对于形式为 $ f(t,x) = \sum_{k=1}^N b_k(t)\varphi_k(x) $ 的强迫项，解以特征值 $ \sqrt{\lambda_k} $ 的正弦与余弦函数的模态叠加形式显式给出。
• 与两个解之差相关的能量泛函 $ e(t) $ 恒为零，通过梯度与时间导数项同时消失，证明了解的唯一性。
• 该方法适用于任意具有非空内部区域 $ \Omega^\circ $ 的有限加权图，且解满足对所有 $ t \geq 0 $，边界条件 $ u(t,x) = 0 $ 在 $ \partial\Omega $ 上成立。
• 该结果将经典波动方程理论推广至离散图域，为研究网络化与组合结构中的波动传播提供了理论基础。