[论文解读] Low Regularity Global Well-Posedness for the Klein-Gordon-Schrödinger System with the Higher Order Yukawa Coupling

Changxing Miao, Guixiang Xu|ArXiv.org|Jun 4, 2006

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

一句话总结

本文通过适配Colliander等人基于$L^2$守恒的迭代方案，建立了在一维Klein-Gordon-Schrödinger系统中，具有高阶Yukawa耦合（$1 \leq m < 2$）在临界正则性空间$L^2 \times H^{1/2}$下的低正则性全局适定性。关键结果是：在$H^{1/2} \times H^{-1/2}$中初始数据大小无关的、关于时间的指数型规范增长控制，确保了初始数据属于$L^2 \times H^{1/2} \times H^{-1/2}$时的全局存在性与唯一性。

ABSTRACT

In this paper, we consider the Klein-Gordon-Schrödinger system with the higher order Yukawa coupling in $ \mathbb{R}^{1+1} $, and prove the local and global wellposedness in $L^2 imes H^{1/2}$. The method to be used is adapted from the scheme originally by Colliander J., Holmer J., Tzirakis N. \cite{CoHT06} to use the available $L^2$ conservation law of $u$ and control the growth of $n$ via the estimates in the local theory.

研究动机与目标

• 建立一维Klein-Gordon-Schrödinger系统在低正则性空间中具有高阶Yukawa耦合（$1 \leq m < 2$）的全局适定性。
• 将Colliander等人基于$L^2$守恒的全局适定性方法推广至具有$m$阶非线性项的系统。
• 在初始正则性较低的条件下，控制介子场$n$在$H^{1/2}$中的时间增长。
• 推导出关于$n$的$H^{1/2}$-范数的显式时间指数界，且该界与$n$的初始$H^{1/2}$-范数无关。

提出的方法

• 利用Schrödinger分量$u$的$L^2$守恒律来控制系统的长时间行为。
• 采用$X^{s,b}$-空间框架（其中$0 < b < 1/2$）以获得短时间正则性，并实现迭代构造。
• 在$X^{0,b} \times X^{1/2,b}_{\pm}$空间中应用Strichartz型估计，证明在小时间区间上的局部适定性。
• 在$X^{0,b} \times X^{1/2,b}_{\pm}$空间中对变换后的首阶系统使用不动点论证，建立局部解。
• 在长度为$\sim 1/\|u_0\|^{4m-2}_{L^2}$的时间区间上迭代局部解的构造，且该时间步长与$\|n_0\|_{H^{1/2}}$无关，从而实现全局存在性。
• 推导出与时间无关的时间步长，并利用指数型范数界防止在任意长时间区间内发生爆破。

实验结果

研究问题

• RQ1 基于$L^2$守恒的全局适定性方法能否推广至一维高阶Yukawa耦合的Klein-Gordon-Schrödinger系统？
• RQ2 在$1 \leq m < 2$的情况下，全局适定性的最优正则性阈值是什么？
• RQ3 在低正则性初始数据下，介子场$n$的$H^{1/2}$-范数如何随时间增长？
• RQ4 在迭代构造中，时间步长能否与$n$的初始$H^{1/2}$-范数无关？
• RQ5 是否存在一个仅依赖于$\|u_0\|_{L^2}$的、关于$n$的$H^{1/2}$-范数的统一指数型时间界？

主要发现

• 具有高阶Yukawa耦合（$1 \leq m < 2$）的一维Klein-Gordon-Schrödinger系统在空间$L^2 \times H^{1/2} \times H^{-1/2}$中对初始数据属于$L^2 \times H^{1/2} \times H^{-1/2}$是全局适定的。
• $u$的$L^2$-范数对所有时间保持守恒，即$\|u(t)\|_{L^2} = \|u_0\|_{L^2}$。
• $n$的$H^{1/2}$-范数随时间最多呈指数增长，其界为$\|n(t)\|_{H^{1/2}} + \|\partial_t n(t)\|_{H^{-1/2}} \lesssim \exp(c|t|\|u_0\|^{4m-2}_{L^2}) \max(\|n_0\|_{H^{1/2}} + \|n_1\|_{H^{-1/2}}, \|u_0\|^{2m}_{L^2})$。
• 迭代构造中使用的时间步长为$\sim 1/\|u_0\|^{4m-2}_{L^2}$量级，与$n$的初始$H^{1/2}$-范数无关。
• 解满足$u \in C(\mathbb{R}; L^2)$和$n \in C(\mathbb{R}; H^{1/2})$，确认了时间上的强连续性。
• 指数增长界在迭代过程中保持一致，使得通过反复应用局部解过程可实现全局存在性。