Operator approach for time-fractional evolution equations in Banach spaces

技术摘要：Banach 空间中时间分数阶演化方程的算子方法

问题表述
本文研究了在一般 Banach 空间 $X$ 中，阶数为 $\alpha \in (0, 1)$ 的初值问题的适定性。所考虑的主要方程为：
$$\partial^\alpha_t (u(t) - a) = Au(t) + F(t), \quad 0 < t < T,$$
其中 $u: (0, T) \to X$ 是未知函数，$a \in X$ 是初值，$A: D(A) \subset X \to X$ 是一个稠密定义的闭线性算子。分数阶导数 $\partial^\alpha_t$ 是通过 Riemann-Liouville 积分算子 $J^\alpha$ 在 Caputo 意义下定义的。

算子 $A$ 满足“条件 (A)”，该条件要求 $A$ 是一个具有稠密定义域的闭线性算子，且其解析集 $\rho(A)$ 包含一个扇形区域 $\Sigma_{\gamma'} = \{z \in \mathbb{C}; |\arg z| < \gamma', z \neq 0\}$，其中 $\gamma' \in (\pi/2, \pi)$。此外，其解析算子必须满足衰减估计 $\|( \lambda - A)^{-1} \| \leq C/|\lambda|$，其中 $\lambda$ 位于一个子扇形区域内。该条件类似于解析半群的生成元。该框架旨在容纳 $X = L^p(\Omega)$（其中 $\Omega$ 为有界区域）且 $A$ 为一致椭圆算子的情形，从而超越了现有文献中常见的 Hilbert 空间（$L^2$）设置。

方法论
作者采用了基于 $X$ 值 Laplace 变换的算子理论方法，对用于 $\alpha = 1$ 情况的标准解析半群构造进行了修正。

1. 解的表示： 该方法的核心是构造通过复平面内路径积分定义的解算子 $G(t)$ 和 $K(t)$：
   $$G(z)a = \frac{1}{2\pi i} \int_\Gamma e^{\lambda z} \lambda^{\alpha-1} (\lambda^\alpha - A)^{-1} a \, d\lambda,$$
   其中 $\Gamma$ 是 $A$ 的解析集中的特定路径。解 $u(t)$ 表示为：
   $$u(t) = G(t)a + \int_0^t K(t-s)F(s) \, ds.$$
2. 正则性分析： 作者基于 Riemann-Liouville 积分算子 $J^\beta$ 作用于 $L^q$ 空间的像，定义了特定的函数空间 $W^{\beta, q}(0, T; X)$。他们利用解析算子的衰减性质和 Mittag-Leffler 函数的性质，建立了关于 $(-A)$ 的分数次幂的 $G(t)$ 和 $K(t)$ 的估计。
3. 唯一性证明： 唯一性是通过针对一般 Banach 空间的 Laplace 变换论证，以及针对 Hilbert 空间和特定 $L^p(\Omega)$ 中椭圆算子的能量方法（强制性不等式）来建立的。

主要贡献与结果
本文建立了以下主要结果，总结于定理 2.1 和定理 2.2：

• 存在性与适定性 (定理 2.1)： 在满足条件 (A) 的情况下，作者证明了强解 $u \in L^q(0, T; D(A))$ 的存在性，使得 $u - a \in W^{\alpha, q}(0, T; X)$。解由涉及 $G(t)$ 和 $K(t)$ 的公式显式给出。

  • 当初值 $a \in D((-A)^\mu)$ 且源项 $F \in L^q(0, T; D((-A)^\varepsilon))$（对于适当的 $\mu, \varepsilon$）时，该结果成立。
  • 解算子满足特定的衰减估计：$\|(-A)^\beta G(z)a\| \leq C|z|^{-\alpha\beta}\|a\|$ 以及 $\|(-A)^\beta K(z)a\| \leq C|z|^{\alpha(1-\beta)-1}\|a\|$。
  • 解在时间上是连续的，即 $u \in C([0, T]; X)$。
  • 提供了一个衰减估计：假设 $0 \in \rho(A)$，则当 $t \to \infty$ 时，$\|Au(t)\| \leq C t^{-\alpha} \|a\|$。
  • 注： 定理 2.1 通过公式 (2.8) 建立了解的存在性，但并未断言其唯一性；唯一性在定理 2.2 中另行讨论。

• 唯一性 (定理 2.2)： 本文在三种不同条件下证明了齐次方程 $\partial^\alpha_t u = Au$ 的唯一性：

  1. 具有多项式增长界限的一般 Banach 空间。
  2. $A$ 满足耗散条件 $(Av, v) \leq C\|v\|^2$ 的 Hilbert 空间。
  3. 特定的 $X = L^p(\Omega)$ 且具有椭圆算子和光滑系数的情形。

• 与 Volterra 形式的比较 (第 6 节)： 本文的大部分篇幅致力于将所提出的形式与经典的 Volterra 积分方程方法（$u(t) = G(t) + J^\alpha(Au)(t)$）进行对比。作者认为，Volterra 形式在处理逆问题和控制理论时，尤其是在 $0 < \alpha \leq 1/2$ 时，其适用性较低。在 Volterra 框架中，初值 $a$ 与源项 $F$ 之间的分离变得模糊或非唯一，而在所提出的形式 (6.1) 中，对于所有 $\alpha \in (0, 1)$，这种区别都保持清晰。

意义与主张
作者声称，这项工作为一般 Banach 空间中的时间分数阶演化方程提供了一个统一且可行的框架，特别针对需要明确定义初值和源项的应用。

• 对逆问题与控制问题的适用性： 本文明确指出，主要动机是建立一种直接适用于逆问题（例如确定初值或源项）和控制问题的正向理论。所提出的形式避免了 Volterra 形式在 $\alpha \leq 1/2$ 时存在的“多义性”（即定义 $a$ 和 $F$ 的歧义）。
• 通用性： 该理论将已知于 Hilbert 空间（$L^2$）和自伴算子的结果扩展到了一般 Banach 空间（$L^p$）和非自伴椭圆算子。
• 未来工作： 作者指出，本文侧重于正向问题。他们表示，后续文章将利用这些结果来证明逆问题（特别是确定初值）的唯一性定理，并讨论其在控制问题中的应用。他们还提到，解的衰减是其通用设定下的一个副产品。

本文并不声称在文中解决了具体的逆问题，而是建立了实现这一目标所需的严谨的、在 Banach 空间中处理此类问题的正向理论与正则性理论。