[论文解读] Lifespan of semilinear generalized Tricomi equation with Strauss type exponent

Jiayun Lin, Ziheng Tu|arXiv (Cornell University)|Mar 27, 2019

Advanced Mathematical Physics Problems参考文献 22被引用 11

一句话总结

本文通过结合测试函数法与涉及切片技术的迭代过程，建立了具有Strauss型非线性的半线性广义Tricomi方程的寿命上界。研究证明了在次临界和临界指数下均存在有限时间爆破，将先前结果推广至一般 $ m > 0 $ 的情形，并通过合流超几何函数的渐近分析及加权范数下的能量估计，得出了精确的寿命估计。

ABSTRACT

In this paper, we consider the blow-up problem of semilinear generalized Tricomi equation. Two blow-up results with lifespan upper bound are obtained under subcritical and critical Strauss type exponent. In the subcritical case, the proof is based on the test function method and the iteration argument. In the critical case, an iteration procedure with the slicing method is employed. This approach has been successfully applied to the critical case of semilinear wave equation with perturbed Laplacian or the damped wave equation of scattering damping case. The present work gives its application to the generalized Tricomi equation.

研究动机与目标

• 建立具有非线性指数 $ p $ 的半线性广义Tricomi方程在次临界与临界区域下的寿命上界。
• 将临界情形爆破结果从先前已知的 $ m = 1 $ 情况推广至一般 $ m > 0 $。
• 通过改进的迭代方案结合切片与测试函数技术，推导出精确的寿命估计。
• 将Wakasa与Yordanov在波动方程上的方法推广至广义Tricomi情形。
• 给出以初始数据大小 $ \varepsilon $、维度 $ n $ 与参数 $ m $ 表示的寿命显式上界。

提出的方法

• 应用测试函数法，构造源自包含合流超几何函数的基本解的测试函数。
• 采用结合切片的迭代过程处理临界情形，受John方法启发，并经Agemi、Kurokawa与Takamura改进。
• 通过变量变换与特殊函数分析，对广义Tricomi算子的基本解系统进行渐近估计。
• 弱解的能量空间表述，确保 $ (u, u_t) \in C([0,T_\varepsilon), H^1 \times L^2) $。
• 通过在compactly supported测试函数 $ \zeta \in C_0^\infty $ 上积分，推导递归不等式。
• 在临界情形使用对数型迭代，通过递归序列 $ a_j, b_j, C_j $ 跟踪能量估计的增长。

实验结果

研究问题

• RQ1 当非线性指数 $ p $ 处于临界Strauss型阈值时，半线性广义Tricomi方程的寿命上界是什么？
• RQ2 在临界情形下，寿命如何依赖于参数 $ m > 0 $、空间维度 $ n $ 与初始数据大小 $ \varepsilon $？
• RQ3 能否将用于波动方程的切片方法与迭代论证适配至具有变系数的广义Tricomi方程？
• RQ4 在次临界情形 $ 1 < p < p_{\text{crit}}(m,n) $ 下，爆破行为的精确特征是什么？与临界情形相比有何差异？
• RQ5 临界指数 $ p_{\text{crit}}(m,n) $（定义为关于 $ p $ 的二次方程的正根）是否对有限时间爆破具有临界性？

主要发现

• 当 $ 1 < p < p_{\text{crit}}(m,n) $ 时，寿命满足 $ T_\varepsilon \leq C_4 \varepsilon^{-\frac{2p(p-1)}{\gamma(m,n,p)}} $，其中 $ \gamma(m,n,p) $ 为临界指数方程中的二次分母。
• 在临界情形 $ p = p_{\text{crit}}(m,n) $ 时，寿命满足 $ T_\varepsilon \leq C_4 \varepsilon^{-\frac{2p(p-1)}{\gamma(m,n,p)}} $，与次临界情形具有相同的指数，表明存在尖锐的过渡。
• 临界情形的爆破结果对一般 $ m > 0 $ 成立，扩展了此前仅限于 $ m = 1 $ 的结果。
• 在临界情形下，结合对数增长的迭代方案使能量泛函的下界呈现双指数增长，确认了有限时间爆破。
• 通过合流超几何函数表征基本解的渐近行为，从而实现精确的测试函数构造。
• 寿命估计在 $ m $ 上具有一致性，且指数 $ \gamma(m,n,p) $ 决定了爆破阈值的尖锐性。