[论文解读] $\mathrm{L}^{2}$--convergence of the time-splitting scheme for nonlinear Dirac equation in 1+1 dimensions

N. Li, Yongqian Zhang+1 more|arXiv (Cornell University)|Mar 5, 2026

Advanced Mathematical Physics Problems被引用 0

一句话总结

该论文证明了在1+1维的非线性Dirac方程上，时间分割格式在L^2收敛到全局强解，使用改良的Glmmi型泛函与新的Bony型泛函。

ABSTRACT

We study the time-splitting scheme for approximating solutions to the Cauchy problem of the nonlinear Dirac equation in 1+1 dimensions. Under the assumption that the initial data for the scheme are convergent in $\mathrm{L}^{2}(\mathbb{R})$, we prove that the approximate solutions constructed by the corresponding time-splitting scheme are strongly convergent in $\mathrm{C}([0,\infty);\mathrm{L}^{2}(\mathbb{R}))$ to the global strong solution of the nonlinear Dirac equation. To achieve this, we first establish the pointwise estimates for time-splitting solutions. Based on these estimates, a modified Glimm-type functional is carefully designed to show that it is uniformly bounded in time, which yields $\mathrm{L}^2$ stability estimates for the scheme. Furthermore, we prove that the set of time-splitting solutions is precompact in $\mathrm{C}([0,T];\mathrm{L}^{2}(\mathbb{R}))$ for any $T>0$. Finally, we show that the limit of any subsequence of the time-splitting solutions is the unique strong solution to the Cauchy problem of the nonlinear Dirac equation.

研究动机与目标

• 推动并分析1+1维NLDE的L^2收敛性时间分割方案。
• 建立时间分割解的先验界与稳定性。
• 证明时间分割近似在C([0,T];L^2(R))中具有前紧性，并收敛到唯一的强解。

提出的方法

• 将NLDE分解为在时间上精确求解的线性输运子问题和非线性子问题。
• 构造时间分割方案，步长等于空间网格尺寸，并将S^1_t与S^2_t定义为子问题的半群。
• 证明在离散特征上对时间分割解的逐点估计。
• 在离散特征三角形上引入改良的Glimm型泛函，以获得L^2稳定性。
• 将新的Bony型泛函引入Glimm泛函，以控制非线性增长并建立全局稳定性。
• 证明前紧性，并显示任意子列极限是唯一的强解。

实验结果

研究问题

• RQ1 当网格尺寸趋近于零时，时间分割解是否在L^2中强收敛到NLDE的全局强解？
• RQ2 是否能够构造一个Glimm型泛函以对分裂方案获得统一的L^2稳定性？
• RQ3 离散特征结构如何帮助获得该方案的先验界与紧性？
• RQ4 收敛子列的极限是否唯一并等价于NLDE的强解？

主要发现

• 时间分割解对NLDE的Cauchy问题在全局上良定义。
• 改良的Glimm型泛函在时间上有统一界，给出该方案的L^2稳定性估计。
• 将新的Bony型泛函并入Glimm泛函以控制非线性项。
• 在任何T>0下，时间分割解的集合在C([0,T];L^2(R))中前紧。
• 收敛子列的极限是NLDE Cauchy问题的唯一强解。