[论文解读] The semilinear Euler-Poisson-Darboux equation: a case of wave with critical dissipation

Marcello D’Abbicco|arXiv (Cornell University)|Aug 19, 2020

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

一句话总结

本文建立了具有临界耗散项 $\mu t^{-1}u_t$ 的半线性欧拉-泊松-达朗贝尔方程全局时间能量解的存在性，其中耗散项对全局解存在的临界阈值起关键作用。关键结果为：当 $p > \max\{p_0(1+\mu), 3\}$ 时存在全局解，该结果结合了波动方程的 Strauss 指数与热方程的 Fujita 指数，且对耗散参数 $\mu$ 具有精确依赖关系。分析方法采用加权 $L^q$ 估计与在特定函数空间中的不动点论证，以处理时变耗散项的影响。

ABSTRACT

In this paper we study the existence of global-in-time energy solutions to the Cauchy problem for the Euler-Poisson-Darboux equation, with a power nonlinearity: $$u_{tt}-u_{xx} + \fracμ{t}\,u_t = |u|^p \,, \quad t>t_0, \ x\in\mathbb{R}\,.$$ Here either $t_0=0$ (singular problem) or $t_0>0$ (regular problem). This model represents a wave equation with critical dissipation, in the sense that the possibility to have global small data solutions depend not only on the power $p$, but also on the parameter $μ$. We prove that, assuming small initial data in $L^1$ and in the energy space, global-in-time energy solutions exist for $p>p_c =\max\{p_0(1+μ),3\}$, for any $μ>0$, where $p_0(k)$ is the critical exponent for the semilinear wave equation without dissipation in space dimension $k$, conjectured by W.A. Strauss, and $3$ is the critical exponent obtained by H. Fujita for semilinear heat equations. We also collect some global-in-time existence result of small data solutions for the multidimensional EPD equation $$u_{tt}-Δu + \fracμ{t}\,u_t = |u|^p \,, \quad t>t_0, \ x\in\mathbb{R}^n\,,$$ with powers $p$ greater than Fujita exponent and sufficiently large $μ$.

研究动机与目标

• 确定具有时变耗散 $\mu t^{-1}u_t$ 的半线性欧拉-泊松-达朗贝尔方程小初值能量解全局时间存在的精确阈值。
• 通过分析临界指数如何依赖于 $\mu$，弥合 $\mu = 0$ 时的波动行为与 $\mu$ 较大时的扩散行为之间的差距。
• 将已知的无阻尼波动方程与半线性热方程的临界指数结果推广至临界耗散的中间情形。
• 在 $p$ 超过 Fujita 指数且 $\mu$ 足够大的条件下，建立多维 EPD 方程的全局存在性。

提出的方法

• 分析利用线性化问题的能量估计与 $L^q$ 型衰减估计，特别利用基本解的标度行为。
• 关键技巧是使用时间依赖权重 $t^{-\gamma_q}$ 的加权 $L^q$ 范数，其中 $\gamma_q$ 依赖于空间维数 $n$、指数 $q$ 以及耗散参数 $\mu$。
• 解空间 $X(T)$ 定义为在 $t \in [t_0, T]$ 上的上确界，涉及加权 $L^q$ 范数 $t^{\gamma_q}$，当 $n=3$、$\mu=1$ 时包含对数修正项。
• 在空间 $X(T)$ 中应用不动点论证以证明解的存在性，依赖于对非线性项 $|u|^p$ 使用 Hölder 不等式与局部利普希茨条件的估计。
• 证明根据 $\mu$ 相对于 2 和 $n(1-2/q)$ 的不同情况区分处理，利用线性问题的不同衰减特性来控制非线性项。
• 通过平衡线性解的衰减速率与非线性项的增长速率，推导出临界指数 $p_{\text{crit}}$，得到 $p_{\text{crit}} = \max\{p_0(1+\mu), 3\}$。

实验结果

研究问题

• RQ1 具有临界耗散 $\mu t^{-1}u_t$ 的半线性 EPD 方程小初值能量解的全局存在性临界阈值 $p_{\text{crit}}$ 是什么？
• RQ2 随着 $\mu$ 增大，临界指数 $p_{\text{crit}}$ 如何在波动方程的 Strauss 指数 $p_0$ 与热方程的 Fujita 指数之间插值？
• RQ3 当 $p$ 超过 Fujita 指数且 $\mu$ 足够大时，能否在多维 EPD 方程中建立全局存在性？
• RQ4 参数 $\mu$ 在决定线性化解的衰减特性及由此产生的非线性估计中起什么作用？

主要发现

• 对所有 $p > \max\{p_0(1+\mu), 3\}$，全局能量解存在，其中 $p_0(k)$ 为 $k$ 维空间中的 Strauss 指数，而 3 为一维情形下的 Fujita 指数。
• 当 $\mu \geq 2$ 或 $n(1-2/q) \leq \mu$ 时，线性解的衰减由 $t^{-\min(\mu,2)}$ 控制，影响解空间中权重的选择。
• 当 $\mu \in (1,2)$ 且 $n(1-2/q) \geq \mu$ 时，衰减为 $t^{-\mu/2}$，需在范数估计中采用修正权重 $t^{\delta + \mu/2}$。
• 证明依赖于函数空间 $X(T)$ 中的不动点论证，其范数形式为 $t^{\gamma_q}\|u(t,\cdot)\|_{L^q}$，其中 $\gamma_q$ 的选取用于平衡衰减与增长。
• 当 $n=3$、$\mu=1$ 时，范数中包含对数修正项 $\log(t/t_0)^{-1}$ 以处理临界情形。
• 临界指数 $p_{\text{crit}}$ 是精确的：在初始数据满足适当符号假设下，当 $p > p_{\text{crit}}$ 时全局解存在，但当 $p \leq p_{\text{crit}}$ 时不存在全局解。