[论文解读] Survey on global existence in the nonlinear Dirac equations in one dimension

Dmitry E. Pelinovsky|arXiv (Cornell University)|Nov 26, 2010

Advanced Mathematical Physics Problems参考文献 19被引用 15

一句话总结

本综述建立了在一维非线性狄拉克方程中，具有三次及更高阶非线性的小范数解在 $H^1$ 和 $L^2$ 空间中的全局存在性与散射。通过逆散射方法，证明了在 $L^2$ 中小初值条件下，大质量瑟林模型中不存在孤立子，并利用斯特里科夫不等式与不动点方法，建立了对一般非线性项的全局适定性。

ABSTRACT

We consider the nonlinear Dirac equations in one dimension and review various results on global existence of solutions in H1. Depending on the character of the nonlinear terms, existence of the large-norm solutions can be extended for all times. Global existence of the small-norm solutions is proved for the most general nonlinear Dirac equations with cubic and higher-order nonlinear terms. Integrability of the massive Thirring model is used to find conditions that no solitons occur in the Cauchy problem with small initial data in a subspace of L2.

研究动机与目标

• 综述一维非线性狄拉克方程在 $H^1$ 和 $L^2$ 空间中全局适定性的最新成果。
• 利用斯特里科夫不等式与不动点方法，建立小范数解的全局存在性。
• 通过逆散射变换分析大质量瑟林模型中，在 $L^2$ 的子空间内小初值条件下孤立子的缺失。
• 阐明在一般非线性项（包括五次及更高阶相互作用）下，全局解存在的条件。
• 识别 $L^2$-全局适定性与大质量瑟林模型中孤立子轨道稳定性方面的开放问题。

提出的方法

• 采用包含四次及更高阶项的规范不变、对称多项式非线性项 $W(u,v)$ 的非线性狄拉克方程的一般形式。
• 应用先验估计与不动点方法，证明具有特殊非线性结构的大范数解在 $H^1$ 中的全局存在性。
• 利用斯特里科夫空间与佩利诺夫斯基与斯蒂法诺夫的方法，证明五次及更高阶非线性项下小范数解的全局存在性与散射。
• 对大质量瑟林模型应用逆散射变换，表明 $L^2$ 子空间中的小初值导致拉克斯算子的纯连续谱，从而不产生孤立子。
• 应用杨不等式、霍尔德不等式与卷积估计，完成 $L^rown$ 与 $L^2$ 空间中的不动点论证。
• 利用标度不变性表明，孤立子缺失的条件在参数缩放下保持不变，从而与大质量瑟林模型中的临界阈值相关联。

实验结果

研究问题

• RQ1 在一维非线性狄拉克方程中，当初始数据范数较大时，其在 $H^1$ 中何时存在全局解？
• RQ2 能否通过斯特里科夫不等式建立五次及更高阶非线性项下小范数解的全局存在性与散射？
• RQ3 大质量瑟林模型中，若初值在 $L^2$ 的子空间中为小值，是否会产生孤立子？该问题通过逆散射变换确定。
• RQ4 大质量瑟林模型的可积性在排除小初值下孤立子方面起什么作用？
• RQ5 在 $L^2$-范数及相关的 $L^1$-$L^rown$ 范数中，决定 $L^2$-特征值（从而孤立子）缺失的临界阈值是什么？

主要发现

• 对于具有特殊非线性结构的非线性狄拉克方程，即使在高阶非线性项下，大范数解在 $H^1$ 中的全局存在性已得证。
• 五次及更高阶非线性项下，小范数解在 $H^1$ 中全局存在且散射至零，该结论通过斯特里科夫不等式与不动点方法得到验证。
• 在大质量瑟林模型中，$L^2$ 子空间中的小初值导致拉克斯算子具有纯连续谱，从而在长时间渐近行为中不产生孤立子。
• 若满足 $I(\theta)\nless 1$ 且 $\|w\|_{L^2}^2 < 2$，则 $L^2$-特征值（从而孤立子）的缺失可由不动点与卷积估计导出的条件保证。
• 若 $\|w\|_{L^2}^2 < 2$ 且 $\|w\|_{L^1}(\|w\|_{L^\infty} + \|\partial_\xi w\|_{L^1})$ 低于临界值，则 $L^2$-特征向量不存在，从而孤立子被排除。
• 本文识别出 $L^2$-全局适定性与大质量瑟林模型中孤立子轨道稳定性方面的开放问题，为未来研究指明了方向。