[论文解读] Strichartz estimates for Schrödinger equations with slowly decaying potentials

Haruya Mizutani|arXiv (Cornell University)|Aug 21, 2018

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

一句话总结

该论文为具有缓慢衰减的排斥势的薛定谔方程建立了全局时间范围内的 Strichartz 估计，包括在维度 $ n \geq 2 $ 下的排斥库仑势 $ Z|x|^{-\mu} $（其中 $ 0<\mu<2 $）。通过使用散射理论中的技术——如 Isozaki-Kitada 参数化器、传播估计和局部衰减估计——作者证明了即使在势能在无穷远处缓慢衰减的情况下，解仍满足所有允许的对 $ (p,q) $ 的 $ L^p_t L^q_x $ 估计。

ABSTRACT

For Schrödinger equations with a class of slowly decaying repulsive potentials, we show that the solution satisfies global-in-time Strichartz estimates for any admissible pairs. Our admissible class of potentials includes the positive homogeneous potential $Z|x|^{-μ}$ with $Z&gt;0$ and $0

研究动机与目标

• 为衰减为 $ |x|^{-\mu} $ 的势能（其中 $ 0 < \mu < 2 $）的薛定谔方程建立全局时间范围内的 Strichartz 估计。
• 填补文献中关于在缓慢衰减势条件下 Strichartz 估计的空白，特别是针对径向对称且排斥的势能。
• 将 Strichartz 估计的有效性扩展至标准短程情况之外，包括物理上相关的排斥库仑势。
• 通过将齐次势 $ Z|x|^{-\mu} $ 与光滑且快速衰减的势能相扰动，处理势能中的局部奇点。
• 证明在给定条件下，薛定谔算子 $ H = -\Delta + V $ 具有纯绝对连续谱且无嵌入本征值。

提出的方法

• 引入势能的三个条件（H1）–（H3）：衰减速率、下界以及通过 $ -x \cdot \nabla V(x) \geq C_2 (1+|x|)^{-\mu} $ 表示的排斥行为。
• 采用 Isozaki-Kitada 类型的长时间参数化构造，分析薛定谔算子的谱和时间演化性质。
• 应用传播估计和局部衰减估计，以控制解在相空间和无穷远处的行为。
• 使用微局部分析和伪微分算子技术，特别是谱定理和复插值，以控制加权范数。
• 将结果与先前工作 [4] 中的加权 $ L^2 $-估计相结合，将 Strichartz 估计扩展至具有局部奇点的势能。
• 通过算子 $ \mathcal{D}_\mu $ 的尺度变换论证，将问题简化为固定尺度分析，利用谱投影和范数收敛性。

实验结果

研究问题

• RQ1 能否为衰减为 $ V(x) \sim |x|^{-\mu} $（其中 $ 0 < \mu < 2 $）的薛定谔方程建立 Strichartz 估计？
• RQ2 在维度 $ n \geq 3 $ 下，排斥库仑势 $ Z|x|^{-1} $ 的全局时间 Strichartz 估计是否成立？
• RQ3 在保持 Strichartz 估计的前提下，能否处理势能中的局部奇点？
• RQ4 对势能的何种条件可确保无嵌入本征值且谱为纯绝对连续？
• RQ5 如何将参数化方法和传播估计适应于衰减缓慢的势能，以控制时空范数？

主要发现

• 对于 $ n \geq 2 $，$ \mu \in (0,2) $，且满足（H1）–（H3）的势能 $ V $，薛定谔方程的解 $ u(t,x) $ 对所有允许的对 $ (p,q) $ 和 $ (\tilde{p},\tilde{q}) $ 满足全局时间 Strichartz 估计。
• 齐次势 $ Z|x|^{-\mu} $（其中 $ Z>0 $ 且 $ 0<\mu<2 $）满足条件（H1）–（H3），因此可建立全局 Strichartz 估计。
• 对于 $ n \geq 3 $，扰动算子 $ H_1 = -\Delta + Z|x|^{-\mu} + \varepsilon V_S(x) $（其中 $ \varepsilon $ 较小且 $ V_S $ 满足更强的衰减条件）也具有全局 Strichartz 估计。
• 定理 1.2 中的常数 $ \varepsilon_* $ 可取为 $ \min(Z/M_0, \mu Z/M_1) $，从而确保在小扰动下的稳定性。
• 在（H1）–（H3）条件下，薛定谔算子 $ H $ 具有纯绝对连续谱 $ \sigma(H) = [0,\infty) $ 且无嵌入本征值。
• 证明建立了涉及谱投影和伪微分算子的加权范数的统一有界性，这对最终的 Strichartz 估计至关重要。