[论文解读] Generalized Strichartz Estimates on Perturbed Wave Equation and Applications on Strauss Conjecture

Xin Yu|arXiv (Cornell University)|May 1, 2009

Advanced Mathematical Physics Problems参考文献 23被引用 17

一句话总结

本文建立了在具有凸障碍物的外部区域上扰动波动方程的广义Strichartz估计，放宽了非捕获假设，并允许在局部能量衰减中出现导数损失。利用这些估计，本文在 $ n = 3,4 $ 维下证明了半线性波动方程的精确Strauss猜想，建立了当 $ p < p_c $ 时有限时间爆破的结果，并通过实插值和有限时间Strichartz估计将 $ n = 3 $ 时的寿命结果进一步扩展。

ABSTRACT

In this paper we show a general Strichartz estimate for certain perturbed wave equation, and here we can drop the nontrapping hypothesis and handle trapping obstacles with some loss of derivatives for data in the local energy decay estimates. Then we give the obstacle version of sharp life span for semilinear wave equations when $n=3,p

研究动机与目标

• 将Strichartz估计推广至具有捕获障碍物的外部区域上的扰动波动方程，允许在局部能量衰减中出现导数损失。
• 通过KSS与迹估计之间的实插值，建立在 $ n = 3 $、$ p < p_c $ 情况下半线性波动方程的障碍物版本精确寿命结果。
• 利用广义Strichartz估计，证明在 $ n = 3,4 $ 维下具有多个凸障碍物的半线性波动方程的Strauss猜想。
• 通过去除非捕获假设并处理被俘获射线，推广Hidano等人[15]的先前结果。

提出的方法

• 在局部能量衰减假设(1.2)下推导广义Strichartz估计，允许使用 $ \tilde{H}^{1+\rho}_{\rho} $ 类型范数，其中 $ \rho > 0 $，从而在数据中允许导数损失。
• 通过Kato型KSS估计与端点迹引理之间的实插值，获得 $ n = 3 $、$ p < p_c $ 情况下的有限时间Strichartz估计。
• 将广义Strichartz估计应用于非线性波动方程 $ (\nabla_t^2 - \triangle_g)u = |u|^{p-1}u $，在凸障碍物上满足Dirichlet或Neumann边界条件。
• 通过迭代格式 $ u_k $ 定义为 $ (\nabla_t^2 - \triangle_g)u_k = F_p(u_{k-1}) $，其中 $ F_p(v) = |v|^{p-1}v $，在固定时间 $ L^\rho $-范数下构造解。
• 利用 $ S^{n-1} $ 上的Sobolev嵌入以及空间区域 $ |x| < 2R $ 和 $ |x| > 2R $ 上的 $ L^p $-范数，通过 $ M_k $-型能量估计控制非线性项。
• 通过 $ A_k \to 0 $ 建立迭代的几何收敛性，证明当初始数据较小时有 $ A_k \leq \frac{1}{2} A_{k-1} $，从而在有限时间内证明解的存在性。

实验结果

研究问题

• RQ1 Strichartz估计能否推广至具有捕获障碍物的波动方程，即使在均匀局部能量衰减不成立时？
• RQ2 在 $ n = 3 $、$ p < p_c $ 情况下，具有凸障碍物的半线性波动方程的精确寿命是多少？与无障碍物情况相比有何差异？
• RQ3 在存在被俘获射线的情况下，Strauss猜想是否仍对具有多个凸障碍物的 $ n = 3,4 $ 维半线性波动方程成立？
• RQ4 实插值方法能否在KSS估计与迹引理之间建立桥梁，从而导出有限时间Strichartz估计？
• RQ5 在障碍物存在的情况下，初始数据中的导数损失如何影响通过迭代方法构造解？

主要发现

• 本文在局部能量衰减假设(1.2)下证明了扰动波动方程的广义Strichartz估计，即使障碍物为捕获型且数据范数中出现导数损失，该结果依然成立。
• 在 $ n = 3 $、$ p < p_c $ 情况下，通过实插值与有限时间Strichartz估计，建立了具有凸障碍物的半线性波动方程的精确寿命结果，补充了[15]中的全局存在性结果。
• 在 $ n = 3,4 $ 维下，对多个凸障碍物的情形，Strauss猜想得到证实，表明当 $ p < p_c $ 时存在有限时间爆破，扩展了无障碍物情形的结果。
• 迭代格式 $ u_k $ 在 $ A_k $-范数下几何收敛，确保在小初始数据下解在 $ L^\rho $-范数下存在。
• 估计式 $ M_k \leq 2C_0 \varepsilon' $ 对所有 $ k $ 一致成立，其中 $ \varepsilon' $ 较小，证明了解范数的统一有界性。
• 非线性项 $ F_p(v) = |v|^{p-1}v $ 通过Sobolev嵌入与 $ L^p $-范数控制，临界指数 $ s_\rho $ 确保了局部区域内的可积性。