[论文解读] Time decay for the bounded mean oscillation of solutions of the Schrödinger and wave equations

Stephen Montgomery-Smith|ArXiv.org|Apr 7, 1997

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

一句话总结

本文构造了一个反例，推翻了关于三维波动方程和薛定谔方程解的 BMO 范数时间衰减的 Strichartz 型不等式猜想。基于布朗运动的随机方法，证明了对偶命题 $(B^{*}_{3,H_{1},2})$ 不成立，从而表明所提议的 $(B_{3,{\rm BMO},2})$ 估计不成立，因此否定了 Strichartz 不等式在 BMO 空间中的合理推广。

ABSTRACT

Let $u(x,t)$ be the solution of the Schrödinger or wave equation with $L_2$ initial data. We provide counterexamples to plausible conjectures involving the decay in $t$ of the $\BMO$ norm of $u(t,\cdot)$. The proofs make use of random methods, in particular, Brownian motion. (Since this paper was written, the unsolved problem remaining in this paper has been solved by Keel and Tao.)

研究动机与目标

• 研究三维波动方程和薛定谔方程解的 BMO 范数是否满足 Strichartz 型不等式的时间衰减性质。
• 检验猜想：$(B_{3,{\rm BMO},2})$，即基于 $ L^∞ $ 的已知 Strichartz 估计的较弱版本，是否对波动方程和薛定谔方程成立。
• 确定涉及对 $ H_1 $-值函数积分的对偶命题 $(B^{*}_{3,H_{1},2})$ 是否对波动方程成立。
• 使用基于布朗运动的概率构造方法，构建反例以否定猜想的 BMO 估计。

提出的方法

• 利用 $(B_{3,{\rm BMO},2})$ 与 $(B^{*}_{3,H_{1},2})$ 之间的对偶性，集中研究后者，因其更易于进行概率构造。
• 定义一个随机波形 $ f_t(x) = \alpha_t g(x - p_t) $，其中 $ p_t = (t, b_t, b_t') $ 为三维布朗运动路径，且 $ \alpha_t \in L^2(\mathbb{R}) $。
• 应用傅里叶变换，将解的 $ L^2 $-范数表示为涉及核 $ K_{s-t}(x-y) $ 的积分，该核与波传播算子相关。
• 利用布朗运动增量的特征函数，计算期望 $ \mathbb{E}[\exp(i(p_s - p_t) \cdot \zeta)] $，其在频域中引入高斯衰减。
• 通过研究其傅里叶乘子 $ \hat{L}(\omega) $ 分析时间上的卷积算子，该乘子表示为包含 $ |\hat{g}(\zeta)|^2 / |\zeta|^2 $ 的频域积分。
• 通过证明在适当区域 $ U \subset \mathbb{R}^3 $ 上对 $ k_1(0,\zeta) $ 的积分发散，证明乘子 $ \hat{L} $ 无界，从而说明算子在 $ L^2(\mathbb{R}) $ 上无界。

实验结果

研究问题

• RQ1 三维波动方程在 $ L^2 $ 初始数据下的解 $ u(t,\cdot) $ 是否满足 $ \|u(t,\cdot)\|_{{\rm BMO}} \in L^2_t $？
• RQ2 对偶估计 $ \left\| \int_{\mathbb{R}} B_t f_t \, dt \right\|_2 \leq c \left( \int_{\mathbb{R}} \|f_t\|_{H_1}^2 \, dt \right)^{1/2} $ 是否对所有 $ f_t \in L^2_t(H_1) $ 成立？
• RQ3 能否通过基于布朗运动的概率构造，产生对 $ (B_{3,{\rm BMO},2}) $ 猜想的反例？
• RQ4 与随机波核相关的傅里叶乘子是否在 $ L^2(\mathbb{R}) $ 上无界？
• RQ5 对于合适的集合 $ U \subset \mathbb{R}^3 $，积分 $ \int_U k_1(0,\zeta) \, d\zeta $ 是否发散？

主要发现

• 对偶估计 $(B^{*}_{3,H_{1},2})$ 不成立，因为其关联的卷积算子（核为 $ L $）在 $ L^2(\mathbb{R}) $ 上无界。
• $(B^{*}_{3,H_{1},2})$ 的失败意味着猜想的 $(B_{3,{\rm BMO},2})$ 估计不适用于三维波动方程的解。
• 通过随机波形 $ f_t(x) = \alpha_t g(x - p_t) $ 计算的解的 $ L^2 $-范数的期望在所有 $ \alpha_t \in L^2(\mathbb{R}) $ 上无界，表明该不等式不可能成立。
• 当 $ U = \{ \zeta : \sqrt{\zeta_2^2 + \zeta_3^2} \leq \zeta_1 \leq 1 \} $ 时，积分 $ \int_U k_1(0,\zeta) \, d\zeta $ 发散，这足以证明乘子的无界性。
• 定义为在 $ [-1,1]^3 \times [-1,1] $ 上具有交替符号的盒函数 $ g(x) $，在 $ U $ 上使 $ |\hat{g}(\zeta)|^2 / |\zeta|^2 $ 有正下界，确保发散并非源于抵消效应。
• 发散源于柱坐标下核在 $ r \to 0 $ 附近的奇点，此时被积函数行为类似 $ 1/r $，导致径向积分对数发散。