[论文解读] Smoothing And Dispersive Estimates For 1d Schrödinger Equations With BV Coefficients And Applications

Nicolas Burq, Fabrice Planchon|ArXiv.org|Sep 21, 2004

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

一句话总结

本文建立了具有实值、有下界的 $πβ$ 系数的一维薛定谔方程的最优平滑、Strichartz 及最大函数估计，证明其与常系数情形一致。通过基于时空对称性的分部积分法推导局部平滑估计，作者将其作为工具进行整体估计的提升，并构造反例表明 $πβ$ 对此类色散行为而言本质上是最优的，相关结果应用于广义 Benjamin-Ono 方程的适定性问题。

ABSTRACT

We prove smoothing estimates for Schrödinger equations $i\partial_t ϕ+\partial_x (a(x) \partial_x ϕ) =0$ with $a(x)\in \mathrm{BV}$, the space of functions with bounded total variation, real, positive and bounded from below. We then bootstrap these estimates to obtain optimal Strichartz and maximal function estimates, all of which turn out to be identical to the constant coefficient case. We also provide counterexamples showing $a\in \mathrm{BV}$ to be a minimal requirement. Finally, we provide an application to sharp wellposedness for a generalized Benjamin-Ono equation.

研究动机与目标

• 建立一维薛定谔方程在 $a(x) \in \mathrm{BV}$、实值且有下界条件下的色散与平滑估计。
• 证明尽管正则性较低，这些估计的强度仍与常系数情形完全相同。
• 通过构造 $W^{s,1}$ 中的反例（$s<1$），证明 $πβ$ 是此类估计的几乎最小正则性条件。
• 将改进后的估计应用于广义 Benjamin-Ono 方程，证明其在 $H^s$ 中的最优适定性。

提出的方法

• 通过受一维波动方程时空对称性启发的分部积分法，推导局部平滑估计。
• 将所得平滑估计作为初始条件，用于推导全局 Strichartz 与最大函数估计。
• 应用 Auscher-Tchamitchian 与 Auscher-Mac-Intosh-Tchamitchian 的谱局部化技术，将 $\partial_x a(x) \partial_x$ 与 $\partial_x^2$ 关联起来。
• 利用 Hill 方程的区间不稳定性构造反例，证明在 $πβ$ 以下 Strichartz 估计不成立。
• 通过一系列在 $x_k = 2^{-k}$ 附近具有频率 $\lambda_k = 2^k k$ 的局部化函数 $\phi_k$，测试 $L^1_t L^q_x$ 范数。
• 通过求和具有指数衰减的周期势能的局部化扰动，构造一个对所有 $0 \leq s < 1$ 满足 $\beta(x) \in W^{s,1}$ 的度量。

实验结果

研究问题

• RQ1 对于具有 $πβ$ 系数的一维薛定谔方程，其平滑与色散估计是否能与常系数情形保持一致？
• RQ2 $πβ$ 是否是此类估计的紧致正则性阈值？还是这些估计可在更低正则性下成立？
• RQ3 当系数不连续或正则性较低时，一维情形下的非捕获行为起何作用？
• RQ4 在变系数、低正则性设定下，局部平滑估计能否用于推导全局 Strichartz 估计？
• RQ5 这些估计对非线性色散方程（如广义 Benjamin-Ono 方程）的适定性有何影响？

主要发现

• 作者证明：当 $a(x) \in \mathrm{BV}$，实值且有下界时，薛定谔方程所满足的最优 Strichartz 与最大函数估计，与常系数情形完全一致。
• 构造了一个反例，其中 $\beta(x) \in W^{s,1}$ 对所有 $0 \leq s < 1$ 成立，但对 $H^r$ 正则性满足 $r > (q-2)/(2q)$ 时，$L^1_t L^q_x$ 中的 Strichartz 估计不成立。
• 对所有满足 $r > (q-2)/(2q)$ 的 $r$，有 $\|e^{it\partial_x \beta(x) \partial_x} \phi_k\|_{L^1(-\varepsilon,\varepsilon); L^q(\mathbb{R})} / \|\phi_k\|_{H^r} \to +\infty$ 当 $k \to \infty$，从而证明了正则性阈值的紧致性。
• 度量 $\beta(x)$ 被构造为周期势能的局部化、指数衰减扰动之和，确保 $\beta \in W^{s,1}$ 对所有 $s < 1$ 成立，但不属于 $πβ$。
• 局部平滑估计通过一个基本的分部积分法推导得出，这是整个提升过程的关键。
• 将该估计应用于广义 Benjamin-Ono 方程，得到了在 $H^s$ 中 $s \geq 1/2$ 的最优适定性结果，与尺度不变正则性一致。