[论文解读] 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's method）与能量估计，证明了在有限连通加权图上，带有非线性阻尼项 $|u_t|^{p-1}u_t$（$p > 1$）的非线性波动方程全局解的存在性与唯一性。关键贡献在于将罗特方法的适用范围扩展至具有强非线性耗散的双曲型方程，且适用于离散图结构，在外力项 $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$).

研究动机与目标

• 在有限加权图上，建立带有非线性阻尼的非线性波动方程全局解的存在性与唯一性。
• 将罗特方法——此前仅用于抛物型方程——推广至图域上具有非线性阻尼的双曲型问题。
• 分析在外部外力项 $f$ 满足霍尔德连续性条件时解的行为。
• 为离散图结构上的非线性波动动力学提供严格的泛函分析框架。

提出的方法

• 通过将时间离散化为 $n$ 个等距时间区间，应用罗特方法，在每个时间步求解一系列类似椭圆型的问题。
• 将罗特函数 $u^{(n)}(t,x)$ 构造为时间上的分段线性插值，以逼近解。
• 利用能量估计与离散导数的统一有界性，通过弱紧致性提取收敛子序列。
• 在弱形式中，利用格林公式与离散梯度形式 $\Gamma(v_1,v_2)$ 处理图拉普拉斯算子 $\Delta_\Omega$。
• 借助控制收敛定理与离散范数的收敛性，将时间离散化方程中的极限过程取到极限。
• 通过基于能量型论证的方法证明唯一性，其中利用了非线性阻尼项 $|u_t|^{p-1}u_t$ 的单调性。

实验结果

研究问题

• RQ1 带有 $|u_t|^{p-1}u_t$ 阻尼的非线性波动方程在有限加权图上是否具有全局解？
• RQ2 罗特方法能否被调整以处理图域上具有强非线性阻尼的双曲型PDE？
• RQ3 在何种外力项 $f$ 的正则性条件下，解能保持全局定义？
• RQ4 当存在非线性阻尼项时，解是否唯一？

主要发现

• 在霍尔德连续性条件 $\|f(s_1,\cdot) - f(s_2,\cdot)\|_{L^2(\Omega^\circ)} \leq C_{\Omega^\circ} |s_1 - s_2|^\gamma$ 下，问题 (1.1) 存在唯一全局解。
• 解 $u$ 在时间上二次连续可微，且在经典意义下满足初始条件与边界条件。
• 罗特函数 $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)$（结合动能与梯度能）是非增的，且初始值为零，意味着任意两个解之差 $ abla \varphi \equiv 0$。
• 该方法成功处理了阻尼项的非线性，相较于线性阻尼，此类非线性显著增加了存在性证明的复杂性。