Fractional diffusion-wave equations with critical nonlinearities in Lebesgue spaces

技术摘要：Lebesgue 空间中具有临界非线性的分数阶扩散-波方程

问题陈述
本文研究了定义在光滑有界区域 $\Omega \subset \mathbb{R}^N$ 上的半线性分数阶扩散-波方程：
$$\begin{cases} \partial_t^\alpha u = \Delta u + f(u), & \text{在 } [0, \infty) \times \Omega \text{ 内}, \\ u = 0, & \text{在 } [0, \infty) \times \partial\Omega \text{ 上}, \\ u(0, x) = u_0(x), \quad u'(0, x) = u_1(x), & \text{在 } \Omega \text{ 内}, \end{cases}$$
其中 $\alpha \in (1, 2)$，$\partial_t^\alpha$ 表示 Caputo 分数阶导数，且非线性项 $f: \mathbb{R} \to \mathbb{R}$ 满足增长条件 $|f(r) - f(s)| \leq c(|r|^{\rho-1} + |s|^{\rho-1})|r-s|$，其中 $\rho > 1$。

主要研究重点是临界非线性情形，即初始数据 $(u_0, u_1)$ 属于 Lebesgue 空间 $L^q(\Omega)$，其中 $1 < q < \infty$。具体而言，作者讨论了由关系式 $q = \frac{N(\rho-1)}{2}$（或等价地 $\rho = 1 + \frac{2q}{N}$）定义的临界情况。以往的工作（例如 de Andrade & Santos [11]）已经建立了次临界情况（$\rho < 1 + \frac{2q}{N}$）下的适定性，但由于当正则性参数 $\beta$ 趋于零时标准技术工具的局限性，使得临界情况成为了一个开放问题。

方法论
作者采用了一种基于 Laplace 算子相关分数幂空间标度的抽象泛函分析框架。

1. 抽象表述： 将问题重新表述为在空间 $X^0_q = L^q(\Omega)$ 中的问题，使用算子 $A_q = -\Delta$（带有 Dirichlet 边界条件）。将方程改写为抽象演化方程：$D_t^\alpha u = A_q u + f(u)$。
2. 解的概念： 作者利用了 $\epsilon$-正则弱解（$\epsilon$-regular mild solutions） 的概念。函数 $u$ 是一个 $\epsilon$-正则弱解，如果它属于 $C((0, \tau]; X^{1+\epsilon}_q)$，并且满足涉及由 $A_q$ 生成的 Mittag-Leffler 算子（$E_\alpha, S_\alpha, R_\alpha$）的变分公式。
3. 关键技术工具：
   • 平滑估计： 分析严重依赖于 Mittag-Leffler 算子的平滑性质，这些算子将初始数据从较低正则性的空间映射到较高正则性的空间，并具有特定的时间衰减率（例如，$\|E_\alpha(tA_q)x\|_{X^{1+\theta}_q} \leq M t^{-\alpha(1+\theta-\beta)} \|x\|_{X^\beta_q}$）。
   • $\epsilon$-正则映射： 作者证明了非线性 $f$ 诱导了一个从 $X^{1+\epsilon}_q$ 到 $X^{\rho\epsilon}_q$ 的 $\epsilon$-正则映射。这一性质对于处理标准 Lipschitz 论证在 $L^q$ 中失效的临界指数至关重要。
   • 不动点论证： 使用精心构造的配备了加权范数（例如 $\sup_{t} t^{\alpha\epsilon} \|u(t)\|_{X^{1+\epsilon}_q}$）的完备度量空间，利用 Banach 不动点定理建立局部和全局存在性。
   • 奇异 Gronwall 不等式： 用于证明唯一性和对初始数据的连续依赖性。

主要贡献与结果

1. 解决临界情况： 本文为临界指数 $\rho = 1 + \frac{2q}{N}$ 下的 $L^q(\Omega)$ 初始数据的局部适定性提供了严格证明。这解决了先前研究中由于正则性参数 $\beta$ 为零时标准收缩映射论证失效而留下的开放问题。

   • 定理 1.1 确立了 $L^q(\Omega)$ 初始数据的 $\epsilon$-正则弱解的存在性、唯一性和连续依赖性。它进一步展示了即时的空间正则化（解在 $t>0$ 时进入 $X^{1+\theta}_q$），并提供了极大存在时间的爆破准则。

2. 临界指数对时间分数阶的独立性： 一个重要的理论发现是，用于存在性和唯一性的临界 Lebesgue 空间与时间分数阶 $\alpha$ 无关。本文证明了当初始数据取自 $L^q(\Omega)$ 时，超扩散情况（$1 < \alpha < 2$）、标准扩散热方程（$\alpha = 1$）以及亚扩散情况（$0 < \alpha < 1$）的临界指数是相同的。

3. 小数据全局存在性：

   • 定理 1.2 证明了对于在 $L^q(\Omega)$ 和 $X^{1-1/\alpha}_q$ 中范数足够小的初始数据，存在全局 $\epsilon$-正则弱解。这些解在加权范数 $t^{\alpha\epsilon} \|u(t)\|_{X^{1+\epsilon}_q}$ 下满足一致有界性。

4. 渐近稳定性：

   • 定理 1.3 讨论了全局解的渐近行为。它确立了两个解之间的稳定性（在加权范数下）等价于它们对应的线性演化项之间的稳定性（涉及 Mittag-Leffler 算子）。这为这些解的吸引盆提供了特征描述。

意义与主张
作者声称，这项工作是首次在 $\epsilon$-正则映射框架下，处理以 $L^q(\Omega)$ 为初始数据的具有临界非线性的分数阶扩散-波方程。其意义在于：

• 填补空白： 成功解决了由于现有文献中的技术限制而此前难以处理的临界情况 $\rho = 1 + \frac{2q}{N}$。
• 统一理论： 证明了当在 Lebesgue 空间中进行表述时，存在性和唯一性的临界指数在不同类型的分数阶演化方程（亚扩散、扩散和超扩散）之间是保持不变的。
• 精细正则性： 对解的空间正则性和渐近衰减进行了详细分析，表明解在 $t=0$ 之后立即具有比初始数据更高的正则性。

本文并未提出除针对所述类方程的适定性和稳定性进行的数学分析之外的新实验应用或未来方向。