[论文解读] Instabilities for supercritical Schrödinger equations in analytic manifolds

Laurent Thomann|ArXiv.org|Jul 12, 2007

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

一句话总结

该论文通过半经典分析的WKB方法，在解析黎曼流形上建立了超临界非线性薛定谔方程的不稳定性与不适定性。它构造了近似解，揭示了两种类型的不适定性：能量空间中连续性的丧失，以及在更高Sobolev范数中即使初始数据在 $ H^\sigma $ 中任意小（其中 $ \sigma < d/2 - 2/(p-1) $）也立即丧失正则性，证明了在所有 $ \rho > \sigma $ 的 $ H^\rho $ 空间中问题均为不适定的。

ABSTRACT

In this paper we consider supercritical nonlinear Schrödinger equations in an analytic Riemannian manifold $(M^d,g)$, where the metric $g$ is analytic. Using an analytic WKB method, we are able to construct an Ansatz for the semiclassical equation for times independent of the small parameter. These approximate solutions will help to show two different types of instabilities. The first is in the energy space, and the second is an immediate loss of regularity in higher Sobolev norms.

研究动机与目标

• 研究解析黎曼流形中超临界非线性薛定谔方程的适定性。
• 确定当非线性度超过临界指数 $ p > (d+2)/(d-2) $ 时，柯西问题在能量空间中是否仍保持一致适定。
• 分析初始数据在 $ H^\sigma $ 中任意小时（其中 $ \sigma < d/2 - 2/(p-1) $）在更高Sobolev范数中正则性丧失的现象。
• 证明流映射在能量空间中不具一致连续性，且解可在任意短的时间内发展出无限的 $ H^\rho $ 范数。

提出的方法

• 对超临界非线性薛定谔方程应用半经典变换。
• 使用解析WKB试探法构造在小参数 $ h $ 无关的时间内有效的近似解。
• 构造在流形 $ M^d $ 上某点 $ m $ 附近区域不断缩小的初始数据序列，控制其能量并保持 $ H^{1+\nu} \cap L^q $ 距离。
• 在复解析框架中使用不动点论证，控制近似解与真实解在加权Sobolev范数下的误差。
• 利用尺度不变性与临界Sobolev指标 $ \sigma_c = d/2 - 2/(p-1) $ 确定不适定性的临界阈值。
• 在复解析区域中建立真实解与WKB近似之间差值的指数误差界，关于 $ h $。

实验结果

研究问题

• RQ1 当 $ p > (d+2)/(d-2) $ 时，超临界非线性薛定谔方程的柯西问题在能量空间 $ H^1 $ 中是否保持一致适定？
• RQ2 在 $ \sigma < \sigma_c $ 条件下，能否存在在 $ H^\sigma $ 中任意小的初始数据，使得其解在任意短的时间内具有无限的 $ H^\rho $ 范数？
• RQ3 对于超临界非线性度，流映射是否在能量空间中不具一致连续性？
• RQ4 从光滑且紧支集的初始数据出发，其解在更高Sobolev范数中是否会出现立即正则性丧失？
• RQ5 解析WKB方法是否可用于在解析流形中构造表现出此类不稳定性解？

主要发现

• 当 $ p > (d+2)/(d-2) $ 为奇整数时，柯西问题在 $ H^1 $ 中不具一致适定性，通过两组初始数据序列（其 $ H^1 $-距离任意小）但解在时间 $ t_n \to 0 $ 时的 $ L^{p+1} $ 范数差有正下界得以证明。
• 初始数据序列满足 $ \|u_0^n - \tilde{u}_0^n\|_{H^{1+\nu} \cap L^q} \to 0 $（其中 $ \nu < \nu_0 $，$ q < q_0 $），确认了即使在 $ H^{1+\nu} $-距离很小的情况下，不稳定性依然发生。
• 当 $ \sigma < d/2 - 2/(p-1) $ 时，存在初始数据 $ \check{u}_0^n \to 0 $ 在 $ H^\sigma $ 中，使得解 $ \check{u}^n(\tau_n) $ 满足 $ \|\check{u}^n(\tau_n)\|_{H^\rho} \to \infty $ 对所有 $ \rho > \sigma $ 成立，证明了在所有 $ \rho > \sigma $ 的 $ H^\rho $ 空间中问题均为不适定。
• 通过解析WKB方法构造的解满足指数误差估计：在复带域中 $ \|(1 - h^2\Delta)^{k/2}(v - v_{\text{app}})\|_{L^2} \leq C_k e^{-\delta_2/h} $，确保了高精度近似。
• 该方法在半经典设定中建立了有限传播速度原理，支持此类不稳定性存在的预期。
• 在复解析框架中的不动点论证确保了半经典方程存在一个在带域内全纯且与WKB近似指数接近的解 $ v $。