[论文解读] Local well-posedness for the Maxwell-Schrödinger equation

Makoto Nakamura, Takeshi Wada|ArXiv.org|Apr 29, 2003

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

一句话总结

本文在最优 Sobolev 正则性空间中，利用压缩映射原理，建立了库仑规范下 Maxwell-Schrödinger 系统的局部适定性。证明了当初始数据属于 $X^{s,\tau}$ 且 $s \geq 5/3$，$σ$ 在指定范围内时，存在唯一且连续的解，通过利用 Schrödinger 哈密顿量的自伴性与投影技巧克服了导数损失问题，并通过规范变换将结果推广至洛伦兹规范与时间规范。

ABSTRACT

Time local well-posedness for the Maxwell-Schrödinger equation in the coulomb gauge is studied in Sobolev spaces by the contraction mapping principle. The Lorentz gauge and the temporal gauge cases are also treated by the gauge transform.

研究动机与目标

• 在 Sobolev 空间中建立库仑规范下 Maxwell-Schrödinger 系统的时间局部适定性。
• 通过固定库仑规范条件 $\mathrm{div}\,\mathbf{A} = 0$ 来解决系统固有的规范歧义。
• 通过克服非线性项 $\mathbf{A} \cdot \nabla u$ 与 $\mathbf{J}(u,\mathbf{A})$ 中的导数损失，最小化正则性要求。
• 通过规范变换技术将适定性结果推广至洛伦兹规范与时间规范。
• 在尽可能广泛的 Sobolev 正则性指标 $s$ 与 $σ$ 范围内，实现唯一且连续解的存在性。

提出的方法

• 在固定时间区间内应用压缩映射原理，证明 $C([0,T];X^{s,\tau})$ 中解的存在性与唯一性。
• 利用库仑规范通过 $\phi = (-\Delta)^{-1}|u|^2$ 解耦标量势 $\phi$，从而消除对 $\phi$ 初始数据的需求。
• 使用投影算子 $P = 1 - \nabla \mathrm{div} \Delta^{-1}$ 处理波动方程中的矢量势 $\mathbf{A}$。
• 通过估计 $\|\mathcal{H}u; H^{s-2}\|$ 而非 $\|u; H^s\|$ 来克服导数损失，利用 $\mathcal{H}(\mathbf{A})$ 的自伴性。
• 应用规范变换将结果从库仑规范推广至洛伦兹规范与时间规范。
• 使用波传播子 $K(t) = \sin(t\omega)/\omega$ 与 $\dot{K}(t) = \cos(t\omega)$ 求解规范变换中的标量场 $\lambda$，确保正则性传播。

实验结果

研究问题

• RQ1 在库仑规范下，Maxwell-Schrödinger 系统存在唯一局部解的最小 Sobolev 正则性 $s$ 与 $σ$ 是什么？
• RQ2 在低正则性情形下，如何控制非线性项 $\mathbf{A} \cdot \nabla u$ 与 $\mathbf{J}(u,\mathbf{A})$ 中的导数损失？
• RQ3 库仑规范下的适定性结果能否推广至洛伦兹或时间规范等其他规范？
• RQ4 投影 $P$ 在弱化矢量势正则性要求 $\sigma \leq s$ 的过程中起到何种作用？
• RQ5 在 $X^{s,\sigma}$ 拓扑下，解映射在初始数据上连续的条件是什么？

主要发现

• 在库仑规范下，Maxwell-Schrödinger 系统的局部适定性对 $s \geq 5/3$ 且 $σ$ 满足 $\max\{4/3, s-2, (2s-1)/4\} \leq \sigma \leq \min\{s+1, (5s-2)/3\}$ 成立，但排除了 $(5/2,7/2)$ 与 $(7/2,3/2)$ 两组参数。
• 解满足 $(u, \mathbf{A}, \partial_t \mathbf{A}) \in C([0,T]; X^{s,\sigma})$，其中 $T > 0$ 仅依赖于 $s$、$σ$ 与初始数据的范数。
• 当 $σ \geq \max\{s-1, (2s+1)/4\}$ 时，解对初始数据的连续依赖性成立，但排除了 $(5/2, 3/2)$ 这一组参数。
• 洛伦兹规范情形通过规范变换转化为库仑规范情形，标量场 $\lambda$ 满足具有 $\dot{H}^1 \cap \dot{H}^{\sigma+1}$ 初始数据的波动方程。
• 在相同正则性假设下，洛伦兹规范下的解满足 $(u^\mathrm{L}, \phi^\mathrm{L}, \mathbf{A}^\mathrm{L}, \partial_t \mathbf{A}^\mathrm{L}) \in C([0,T]; Y^{s,\sigma})$。
• 该结果填补了 Guo-Nakamitsu-Strauss 的全局 $X^{1,1}$ 结果与 Nakamitsu-Tsutsumi 对 $s > 5/2$ 的 $X^{s,s}$ 结果之间的空白，在局部情形下实现了最优正则性。