[论文解读] Global Schrödinger map flows to Kähler manifolds with small data in critical Sobolev spaces: Energy critical case

Ze Li|arXiv (Cornell University)|Nov 27, 2018

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

一句话总结

该论文在临界Sobolev空间中，针对从$\times^2$到紧致Kähler流形的Schrödinger映射流，建立了全局存在性与唯一性，解决了Tataru提出的一个开放问题。作者提出了一种新颖的bootstrap-iteration方案，将非自含的规范方程约化为近似常曲率系统，从而通过改进的双线性估计与热流技术，在配套工作[28]中控制了能量临界情形。

ABSTRACT

In this paper and the companion work \cite{LIZE2}, we prove that the Schrödinger map flows from $\Bbb R^d$ with $d\ge 2$ to compact Kähler manifolds with small initial data in critical Sobolev spaces are global. The main difficulty compared with the constant sectional curvature case is that the gauged equation now is not self-contained due to the curvature part. Our main idea is to use a novel bootstrap-iteration scheme to reduce the gauged equation to an approximate constant curvature system in finite times of iteration. This paper with the companion work \cite{LIZE2} solves the open problem raised by Tataru.

研究动机与目标

• . 本文旨在解决能量临界情形下，从一般紧致Kähler流形出发的Schrödinger映射流的小数据全局适定性这一开放问题。
• 它解决了由于目标流形非恒定曲率而导致规范方程缺乏自含性的问题。
• 目标是为临界Sobolev范数下的小初值，建立全局存在性、唯一性以及解在时间趋于无穷时收敛于常值映射的性质。
• 该工作提供了与$N = S^2$情形类似的统一有界性与适定性结果，并将其推广至一般紧致Kähler目标流形。
• 它完成了Schrödinger映射的能量临界全局适定性理论，建立在$S^2$与$H^2$情形的先前结果之上。

提出的方法

• . 作者提出一种新颖的bootstrap-iteration方案，将完整的规范方程在有限步内约化为近似常曲率系统。
• 他们结合内在与外在Sobolev范数，在$W^{k,p}$与$H^k_Q$空间中工作，以控制解的正则性。
• 该方法依赖于频率局部化空间中的双线性估计，特别是$S^\omega_k$与$F_k$范数，以处理非线性相互作用。
• 关键技术组件是利用热流演化来控制曲率效应，配套工作[28]将该方法扩展至高维情形。
• 证明中采用分部积分与Gronwall型估计，推导出高阶Sobolev范数的统一有界性。
• 分析还包括对张力场$\tau(u)$及其导数的详细控制，以确保全局正则性并实现解在任意有限时间区间外的延拓。

实验结果

研究问题

• RQ1 . 从$\mathbb{R}^2$到紧致Kähler流形的Schrödinger映射流是否在临界Sobolev空间$\dot{H}^1$中存在小初值的全局唯一解？
• RQ2 当$|t| \to \infty$时，解是否在$L^\infty_x$范数下收敛于常值映射？
• RQ3 能否对所有$\sigma \in [0, \sigma_1]$建立解的$H^{\sigma+1}_x$范数的统一有界性？
• RQ4 在能量临界情形下，如何克服因曲率导致的规范方程非自含性问题？
• RQ5 解在能量空间中的渐近行为如何？其与$\mathbb{C}^n$上自由Schrödinger演化的关联是什么？

主要发现

• . 对任意等距嵌入于$\mathbb{R}^N$中的2n维紧致Kähler流形$N$，存在$\epsilon^* > 0$，使得若$\|\partial_x u_0\|_{L^2} \leq \epsilon^*$，则Schrödinger映射流存在唯一的全局解$u \in C(\mathbb{R}; H_Q^\infty)$。
• 解满足$\lim_{|t| \to \infty} \|u(t) - Q\|_{L^\infty_x} = 0$，证明了解渐近收敛于常值映射$Q$。
• 在能量空间中，解渐近行为类似于自由Schrödinger演化的和：当$t \to \infty$时，有$\|u(t) - \sum_{j=1}^n \Re(e^{it\Delta} h_j^+) - \sum_{j=1}^n \Im(e^{it\Delta} g_j^+)\|_{\dot{H}^1_x} \to 0$，其中$h_j^+, g_j^+ \in \dot{H}^1(\mathbb{R}^2; \mathbb{C}^n)$。
• 统一有界性成立：对所有$\sigma \in [0, \sigma_1]$，有$\sup_{t \in \mathbb{R}} \|u(t) - Q\|_{H^{\sigma+1}_x} \leq C_\sigma(\|u_0 - Q\|_{H^{\sigma+1}_x})$，其中$\epsilon_{\sigma_1}$仅依赖于$\sigma_1$。
• 解算子$S^Q$从球$B^{\sigma}_{\epsilon_{\sigma_1}}$连续延拓至$C(\mathbb{R}; H^{\sigma+1})$，确保了临界空间中的适定性。
• 爆破准则表明：若在$[-T,T]$上$\|u\|_{L^\infty_{t,x}} \leq B < \infty$，则对所有$L \geq 4$，有$\|u\|_{L^\infty_t H^L_x} < \infty$，意味着解可全局延拓至$[-T,T]$之外。