[论文解读] Low regularity local well-posedness for the Chern-Simons-Higgs system in temporal gauge

Hartmut Pecher|arXiv (Cornell University)|Dec 31, 2013

Advanced Mathematical Physics Problems参考文献 10被引用 3

一句话总结

本文在(2+1)维闵可夫斯基空间中，于时间规范下，通过使用$X^{s,b}$型空间与双线性波-Sobolev估计，建立了Chern-Simons-Higgs系统的低正则性局部适定性。证明了当$A_j$的初值属于$H^{s+3/4}$，$(\phi_0, \phi_1)$属于$H^{s+1} \times H^s$，且$s > \frac{1}{4}$时，系统适定，通过利用非线性项中的零条件，改进了Huh及其他研究者先前的结果。

ABSTRACT

The Cauchy problem for the Chern-Simons-Higgs system in the (2+1)-dimensional Minkowski space in temporal gauge is locally well-posed for low regularity initial data improving a result of Huh. The proof uses the bilinear space-time estimates in wave-Sobolev spaces by d'Ancona, Foschi and Selberg and takes advantage of a null condition.

研究动机与目标

• 在时间规范下，针对低正则性初值，建立Chern-Simons-Higgs系统的局部适定性。
• 通过降低正则性阈值，改进Huh等人的先前结果，特别是针对时间规范的情形。
• 利用系统非线性项中的零条件，以实现更低正则性下的适定性。
• 应用d'Ancona、Foschi与Selberg发展的高级双线性$X^{s,b}$型估计，以控制非线性相互作用。

提出的方法

• 在适配波方程与输运方程相位函数$\tau \pm |\xi|$和$\tau = 0$的$X^{s,b}$型空间中，采用压缩映射法。
• 应用d'Ancona、Foschi与Selberg发展的波-Sobolev空间中的双线性时空估计，以控制非线性项。
• 通过将规范场$A^{cf}$按频率分解为低频与高频部分，以估计非线性相互作用。
• 利用非线性项中的零条件，获得额外衰减，从而提升正则性阈值。
• 应用Sobolev嵌入与时空$L^p$型估计，以控制非线性项的$L^2$范数。
• 依赖对偶性与插值技术，以有界$X^{s,b}$空间中场乘积的范数，特别是$\nabla A^{cf} \phi$与$A^{cf}A^{cf}\phi$。

实验结果

研究问题

• RQ1 能否在低于能量正则性阈值的初值下，于时间规范下建立Chern-Simons-Higgs系统的局部适定性？
• RQ2 在非线性结构已知的条件下，时间规范下的最优正则性阈值是多少？
• RQ3 如何利用Chern-Simons-Higgs系统中的零条件，以降低正则性要求？
• RQ4 双线性波-Sobolev空间估计在具有混合双曲与椭圆分量的系统中，可被多大程度地适配？

主要发现

• 对于初值$a_j \in H^{s+3/4}$，$\phi_0 \in H^{s+1}$，$\phi_1 \in H^s$，且$s > \frac{1}{4}$，建立了局部适定性，优于Huh在时间规范下的结果。
• 证明依赖于针对波与输运方程相位函数定制的$X^{s,b}$型空间中的压缩映射法。
• 非线性项中的零条件对于获得实现$s > \frac{1}{4}$所需的正则性增益至关重要。
• d'Ancona、Foschi与Selberg的双线性估计被适配并应用于控制非线性项$A_j \partial_j \phi$、$A_j A_j \phi$与$\phi V'(|\phi|^2)$。
• 估计$\|A^{cf} A^{cf} \phi\|_{X^{s,0}_{|\tau|=|\xi|}}$被有界为$\|\nabla A^{cf}\|_{X^{s-1/2-,1/2+}_{\tau=0}}^2 \|\phi\|_{X^{s+1,1/2+}_{|\tau|=|\xi|}}$与低阶项，确保了压缩映射中的控制。
• 初始数据需满足相容性条件$\partial_1 a_2 - \partial_2 a_1 = 2\operatorname{Im}(\bar{\phi}_0 \phi_1)$，以保证与系统的一致性。