[论文解读] On semilinear Tricomi equations in one space dimension

Daoyin He, Ingo Witt+1 more|arXiv (Cornell University)|Oct 27, 2018

Advanced Mathematical Physics Problems参考文献 15被引用 5

一句话总结

该论文确定了一维半线性Tricomi方程 $ \partial_t^2 u - t \partial_x^2 u = |u|^p $ 的临界指数 $ p_{\text{crit}} = 5 $，证明当 $ p > 5 $ 时小初值弱解全局存在，而当 $ 1 < p < 5 $ 时解在有限时间内爆破。分析的核心在于通过基于贝塞尔函数的测试函数和特征区域 $ \phi(t) = \frac{2}{3}t^{3/2} $ 定义的区域内的能量估计，推导出线性退化方程的新型加权Strichartz型不等式。

ABSTRACT

For 1-D semilinear Tricomi equation $\partial_t^2 u-t\partial_x^2u=|u|^p$ with initial data $(u(0,x), \partial_t u(0,x))$ $=(u_0(x), u_1(x))$, where $t\ge 0$, $x\in\mathbb{R}$, $p&gt;1$, and $u_i\in C_0^\infty(\mathbb{R})$ ($i=0,1$), we shall prove that there exists a critical exponent $p_{ m crit}=5$ such that the small data weak solution $u$ exists globally when $p&gt;p_{ m crit}$; on the other hand, the weak solution $u$, in general, blows up in finite time when $11$. By this paper and \cite{HWYin1}-\cite{HWYin3}, we have given a systematic study on the blowup or global existence of small data solution $u$ to the equation $\partial_t^2 u-tΔu=|u|^p$ for all space dimensions. One of the main ingredients in the paper is to establish a crucial weighted Strichartz-type inequality for 1-D linear degenerate equation $\partial_t^2 w-t\partial_x^2 w=F(t,x)$ with $(w(0,x), \partial_t w(0,x))=(0,0)$, i.e., an inequality with the weight $(\frac{4}{9}t^3-|x|^2)^α$ between the solution $w$ and the function $F$ is derived for some real numbers $α$.

研究动机与目标

• 确定一维半线性Tricomi方程小初值弱解全局存在性与有限时间爆破的临界指数 $ p_{\text{crit}} $。
• 为线性退化方程 $ \partial_t^2 w - t \partial_x^2 w = F $ 建立加权Strichartz型不等式，权重为 $ \left(\frac{4}{9}t^3 - |x|^2\right)^\alpha $，以控制解的衰减。
• 分析在区域 $ |x| \leq \phi(t) = \frac{2}{3}t^{3/2} $ 内解的行为，利用有限传播速度和特征几何。
• 通过基于修正贝塞尔函数的测试函数和 $ L^p $-范数的能量型估计，证明当 $ 1 < p < 5 $ 时的爆破。
• 将一维Tricomi方程与一维波动方程对比，后者对所有 $ p > 1 $ 均发生爆破，凸显退化系数 $ t $ 的稳定作用。

提出的方法

• 为具有零初值的线性Tricomi方程 $ \partial_t^2 w - t \partial_x^2 w = F $ 推导加权Strichartz估计，使用权重 $ \left(\frac{4}{9}t^3 - |x|^2\right)^\alpha $（$ \alpha \in \mathbb{R} $），以控制解范数。
• 构造测试函数 $ \psi(t,x) = \lambda(t) \varphi(x) $，其中 $ \lambda(t) \sim t^{-1/4} e^{-\phi(t)} $，$ \phi(t) = \frac{2}{3}t^{3/2} $，且 $ \varphi(x) = e^x $，基于修正贝塞尔函数 $ K_{1/3} $。
• 定义泛函 $ G_1(t) = \int_{\mathbb{R}} u(t,x) \psi(t,x) \, dx $，并利用 $ K_{1/3} $ 的渐近性质，推导出大 $ t $ 时的下界 $ G_1(t) \geq C t^{-1/2} $。
• 估计Gagliardo–Nirenberg型不等式中分母 $ G''(t) \geq C \left| G_1(t) \right|^p / \left( \int \psi^{p/(p-1)} \right)^{p-1} $，表明其至多以 $ t^{-p/4} $ 的速度增长。
• 应用引理5.1，证明 $ G(t) = \int |u(t,x)|^p \, dx $ 满足 $ G''(t) \geq c t^{-p/4} $，当 $ p < 5 $ 时导致爆破，通过验证条件 $ (p-1)\alpha \geq q - 2 $（其中 $ q = \frac{3}{2}(p-1) $）成立。
• 利用有限传播速度将 $ u(t, \cdot) $ 的支集局部化在 $ (-M - \phi(t), M + \phi(t)) $ 内，从而实现分部积分和衰减估计。

实验结果

研究问题

• RQ1 一维半线性Tricomi方程 $ \partial_t^2 u - t \partial_x^2 u = |u|^p $ 的小初值弱解全局存在的临界指数 $ p_{\text{crit}} $ 是多少？
• RQ2 空间算子中系数 $ t $ 的退化性如何影响解的寿命和衰减特性，相较于标准波动方程？
• RQ3 能否为线性Tricomi方程建立加权Strichartz型不等式，其权重依赖于特征区域 $ \frac{4}{9}t^3 - |x|^2 $？
• RQ4 修正贝塞尔函数 $ K_{1/3} $ 在构造用于证明有限时间爆破的合适测试函数中起什么作用？
• RQ5 为何一维Tricomi方程在 $ p > 5 $ 时允许全局解，而一维波动方程对所有 $ p > 1 $ 均发生爆破？

主要发现

• 一维半线性Tricomi方程的临界指数为 $ p_{\text{crit}} = 5 $，即小初值弱解全局存在当且仅当 $ p > 5 $。
• 当 $ p > 5 $ 时，存在 $ \varepsilon_0 > 0 $，使得对所有 $ 0 < \varepsilon \leq \varepsilon_0 $，解 $ u $ 满足加权可积性条件 $ \left(1 + |\phi^2(t) - |x|^2|\right)^\gamma u \in L^{p+1}(\mathbb{R}^{1+1}_+) $，其中 $ 0 < \gamma < \frac{1}{6} - \frac{5}{6(p+1)} $。
• 当 $ 1 < p < 5 $ 时，在非负且非平凡的初值条件下，不存在属于 $ C([0,\infty), H^1(\mathbb{R})) \cap C^1([0,\infty), L^2(\mathbb{R})) $ 的全局弱解，且解在有限时间内爆破。
• 爆破证明依赖于构造测试函数 $ \psi(t,x) = \lambda(t) e^x $，其中 $ \lambda(t) \sim t^{-1/4} e^{-\phi(t)} $，该函数源自修正贝塞尔函数 $ K_{1/3} $，以推导出 $ u $ 的 $ L^p $-范数的下界。
• 估计 $ G''(t) \geq c t^{-p/4} $ 在 $ p < 5 $ 时导致爆破，因为当 $ p \geq 5 $ 时条件 $ (p-1)\alpha \geq q - 2 $（$ q = \frac{3}{2}(p-1) $）不成立，而当 $ p < 5 $ 时成立，意味着有限时间爆破。
• 该方法表明，Tricomi算子的退化性延缓了爆破时间，相较于波动方程（对所有 $ p > 1 $ 均发生爆破），这是由于特征几何和加权Strichartz估计带来的衰减改善。