[论文解读] Some remarks on the Schrödinger equation with a potential in $L^{r}_{t}L^{s}_{x}$

Piero DʼAncona, Vittoria Pierfelice+1 more|ArXiv.org|Jan 9, 2005

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

一句话总结

本文证明了当时间依赖势 $V(t,x)$ 属于混合范数空间 $L^r_t L^s_x$ 时，若满足一个最优可积性条件，则薛定谔方程的完整 Strichartz 估计成立。作者通过反例证明了该条件的最优性，表明该条件对于大且无符号的势函数类中的局部与全局 Strichartz 估计而言是必要的。

ABSTRACT

We study the dispersive properties of the linear Schrödinger equation with a time-dependent potential $V(t,x)$. We show that an appropriate integrability condition in space and time on $V$, i.e. the boundedness of a suitable $L^{r}_{t}L^{s}_{x}$ norm, is sufficient to prove the full set of Strichartz estimates. We also construct several counterexamples which show that our assumptions are optimal, both for local and for global Strichartz estimates, in the class of large unsigned potentials $V\in L^{r}_tL^{s}_x$.

研究动机与目标

• 建立时间依赖势 $V(t,x)$ 的充分条件，使得线性薛定谔方程中完整 Strichartz 估计成立。
• 证明当 $V \in L^r_t L^s_x$ 且 $\frac{1}{r} + \frac{n}{2s} > 1$ 时，Strichartz 估计成立，即使 $V$ 是大且无符号的。
• 通过构造反例证明该条件的最优性，即当条件不成立时 Strichartz 估计会失效。
• 证明该条件对于大且无符号势函数类中的局部与全局 Strichartz 估计是必要的。

提出的方法

• 使用伪共形变换构造反例，当 $L^r_t L^s_x$ 条件不成立时，这些反例会破坏 Strichartz 估计。
• 构造一系列局部化势 $W_{\epsilon_k}(x)$，其支撑在区间 $[k, k+\delta_k]$ 上，以检验解的 $L^p L^q$ 范数。
• 应用尺度变换与伪共形对称性，关联不同时间区间上的解，推导 Strichartz 估计的必要条件。
• 使用薛定谔方程的积分形式，避免依赖点态色散估计。
• 通过 $V$ 的 $L^r_t L^s_x$ 范数与插值技术，建立解在 $L^p_t L^q_x$ 中的范数的统一有界性。
• 通过伪共形变换分析 $t=0$ 附近 $L^p_t L^q_x$ 范数的发散，以证明当 $\|V\|_{L^r_t L^s_x}$ 有限但条件 $\frac{1}{r} + \frac{n}{2s} > 1$ 不成立时，全局 Strichartz 估计会失效。

实验结果

研究问题

• RQ1 时间依赖势 $V(t,x)$ 满足何种条件时，薛定谔方程的完整 Strichartz 估计成立？
• RQ2 当 $V \in L^r_t L^s_x$ 且 $\frac{1}{r} + \frac{n}{2s} > 1$ 时，Strichartz 估计是否充分，即使 $V$ 很大且无符号？
• RQ3 能否削弱或移除 $L^r_t L^s_x$ 条件而不损失 Strichartz 估计？
• RQ4 是否存在反例表明 $L^r_t L^s_x$ 条件对 Strichartz 估计是必要的，即使在大且无符号势函数类中？
• RQ5 尺度变换与伪共形对称性在确定 $V$ 的可积性条件最优性方面起什么作用？

主要发现

• 条件 $\frac{1}{r} + \frac{n}{2s} > 1$ 对于时间依赖势 $V \in L^r_t L^s_x$ 的薛定谔方程而言，是完整 Strichartz 估计成立的充分条件。
• 作者构造了反例，当 $\frac{1}{r} + \frac{n}{2s} \leq 1$ 时，Strichartz 估计被破坏，从而证明了该条件的最优性。
• 反例通过在收缩时间区间 $[k, k+\delta_k]$ 上支撑的局部化势 $W_{\epsilon_k}(x)$ 构建，其中 $\delta_k = k^{-\alpha}$ 且 $\epsilon_k = k^{\beta/2}$，使得 $V$ 的 $L^r_t L^s_x$ 范数有限，但解的 $L^p_t L^q_x$ 范数发散。
• 伪共形变换被用于生成一个解 $U(T,X)$，其在 $[\delta,1]$ 上属于 $L^p_t L^q_x$（对任意 $\delta > 0$），但在 $[0,1]$ 上不属于，从而表明当条件不满足时全局 Strichartz 估计会失效。
• 条件 $\frac{1}{r} + \frac{n}{2s} > 1$ 对于全局 Strichartz 估计是必要的，即使对于大且无符号的势函数，如反例构造所示。
• 该结果对所有允许的对 $(p,q)$ 成立，当 $n \geq 3$ 时估计中的常数在时间上一致有界，但当 $n=2$ 时，随着 $p \downarrow 2$，常数可能趋于无穷。