[论文解读] On the boundary Strichartz estimates for wave and Schrödinger equations

Zihua Guo, Ji Li+2 more|arXiv (Cornell University)|May 3, 2018

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

一句话总结

本文证明，在高维空间（$ d > d_a $）中，波方程和薛定谔方程在端点正则性 $ s = \frac{d-a}{2} $ 处，临界的 $ L_t^2L_x^∞ $ Strichartz 估计不成立，这是通过稳定 Lévy 过程来证明的。尽管如此，本文证明了在临界正则性下，球对称平均的 $ L_t^2L_x^\infty $ 估计以及具有角向平滑性的 Strichartz 估计成立，从而为色散方程的端点估计提供了一个更精细的框架。

ABSTRACT

We consider the $L_t^2L_x^r$ estimates for the solutions to the wave and Schrödinger equations in high dimensions. For the homogeneous estimates, we show $L_t^2L_x^\infty$ estimates fail at the critical regularity in high dimensions by using stable Lévy process in $\R^d$. Moreover, we show that some spherically averaged $L_t^2L_x^\infty$ estimate holds at the critical regularity. As a by-product we obtain Strichartz estimates with angular smoothing effect. For the inhomogeneous estimates, we prove double $L_t^2$-type estimates.

研究动机与目标

• 解决波方程和薛定谔方程在高维空间（$ d > d_a $）中，临界正则性 $ s = \frac{d-a}{2} $ 处 $ L_t^2L_x^\infty $ Strichartz 估计是否成立的开放问题。
• 利用稳定 Lévy 过程证明 $ L_t^2L_x^\infty $ 估计在临界正则性下的失效，特别指出失效源于频率求和，而非时间积分。
• 证明在临界正则性下，球对称平均的 $ L_t^2L_x^\infty $ 估计以及具有角向平滑性的 Strichartz 估计成立，为缺失的端点估计提供替代方案。
• 推导出双 $ L_t^2 $ 类型的非齐次 Strichartz 估计，提供在特定尺度和范数条件下此类估计失效的判据。

提出的方法

• 在 $ \mathbb{R}^d $ 中使用 $ a $-稳定 Lévy 过程，构造反例以证明在临界正则性 $ s = \frac{d-a}{2} $ 处 $ L_t^2L_x^\infty $ 估计的失效，推广了 [14] 和 [21] 的方法。
• 应用 $ TT^* $ 方法与插值技术，证明 $ q > 2 $ 时的 $ L_t^2L_x^\infty $ 估计，但表明在端点 $ q = 2 $ 处由于频率求和而失效。
• 引入球对称平均范数 $ \mathcal{L}_\rho^\infty L_\omega^2 $，以定义一个更精细的空间，使得临界 $ L_t^2L_x^\infty $ 估计即使在标准估计失效时依然成立。
• 通过证明 $ \| \Lambda_\omega^\epsilon e^{itD^a}f \|_{L_t^2 \mathcal{L}_\rho^\infty L_\omega^2} \lesssim \|f\|_{L^2} $（对某个 $ \epsilon > 0 $）来建立具有角向平滑性的 Strichartz 估计，表明在角向方向上具有改进的正则性。
• 通过分析傅里叶乘子 $ \mathcal{F}^{-1}(|\xi|^\alpha \sigma^\gamma e^{-\sigma|\xi|^a/2}) $ 在 $ \sigma \to 0^+ $ 时的行为，推导出非齐次 Strichartz 估计失效的一般判据，表明在某些范数对下会出现发散。
• 将该判据应用于证明，如 $ \| \int_0^t e^{i(t-s)D^a}f(s)ds \|_{L^p_t \mathcal{L}_r^\infty L_\omega^1} \lesssim \| D^{d-a}f \|_{L^{q'}_t \mathcal{L}_r^1 L_\omega^\infty} $ 这类估计即使对径向 $ f $ 也失效。

实验结果

研究问题

• RQ1 在高维空间（$ d > d_a $）中，波方程和薛定谔方程在临界正则性 $ s = \frac{d-a}{2} $ 处，$ L_t^2L_x^\infty $ Strichartz 估计是否成立？
• RQ2 在临界正则性下，$ L_t^2L_x^\infty $ 估计的失效是由时间积分还是频率求和引起的？
• RQ3 尽管标准估计失效，是否仍可在临界正则性下建立球对称平均的 $ L_t^2L_x^\infty $ 估计或具有角向平滑性的 Strichartz 估计？
• RQ4 在何种条件下非齐次 Strichartz 估计会失效？能否推导出一个一般性判据？

主要发现

• 在 $ d > d_a $ 时，即使端点估计 $ (q,p) = (2,\infty) $ 是允许的，临界正则性 $ s = \frac{d-a}{2} $ 处的 $ L_t^2L_x^\infty $ 估计仍然失效，原因是频率求和发散。
• 失效并非对数型，而是由于 dyadic 频率环带求和的发散，这通过使用 $ a $-稳定 Lévy 过程得以证明。
• 在临界正则性下，球对称平均的 $ L_t^2L_x^\infty $ 估计成立，具体为 $ \| e^{itD^a}f \|_{L_t^2 \mathcal{L}_\rho^\infty L_\omega^2} \lesssim \|f\|_{L^2} $，为缺失的端点估计提供了替代方案。
• 具有角向平滑性的 Strichartz 估计得以建立：对某个 $ \epsilon > 0 $，有 $ \| \Lambda_\omega^\epsilon e^{itD^a}f \|_{L_t^2 \mathcal{L}_\rho^\infty L_\omega^2} \lesssim \|f\|_{L^2} $，表明在角向方向上正则性得到改善。
• 推导出非齐次 Strichartz 估计失效的一般判据：若傅里叶乘子 $ \mathcal{F}^{-1}(|\xi|^\alpha \sigma^\gamma e^{-\sigma|\xi|^a/2}) $ 与 $ \mathcal{F}^{-1}(|\xi|^\beta \sigma^{-\gamma} e^{-\sigma|\xi|^a/2}) $ 在 $ \sigma \to 0^+ $ 时无界，则估计失效。
• 该判据表明，如 $ \| \int_0^t e^{i(t-s)D^a}f(s)ds \|_{L^p_t \mathcal{L}_r^\infty L_\omega^1} \lesssim \| D^{d-a}f \|_{L^{q'}_t \mathcal{L}_r^1 L_\omega^\infty} $ 这类估计即使对径向 $ f $ 也失效，原因在于角向与径向范数的可积性不足。