Uniqueness of simultaneous reconstruction of general space- and time-dependent sources and initial states in fractional diffusion equations and systems from single boundary measurements

以下是 Jaan Janno 所著论文《分数阶扩散方程及系统中一般时空依赖源与初始状态同时重构的唯一性：基于单边界测量》的详细技术总结。

1. 问题陈述

本文探讨了一类与分数阶扩散方程（FDEs）相关的逆问题。具体而言，目标是同时重构：

1. 一般的时空依赖源函数 $f(t, x)$（在耦合系统中为 $\chi(t, x)$）。
2. 系统的初始状态（$\phi(x)$ 和 $\psi(x)$）。

关键约束与条件：

• 方程类型： 控制方程涉及 Riemann-Liouville（或 Caputo）分数阶时间导数，阶数为 $\alpha$（$0 < \alpha < 1$）。
• 源行为： 假设源函数在特定时间 $t_0$ 之后消失（即对于 $t > t_0$，$f(t, x) = 0$）。这在活跃源期与观测期之间形成了一个“间隙”。
• 观测数据： 重构依赖于单边界测量。具体而言，状态变量的法向导数 $\frac{\partial u}{\partial \nu}$ 在边界的一部分 $\Gamma \subset \partial \Omega$ 上，于时间区间 $(t_0, t_1)$ 内被测量。
• 关键假设： 分数阶导数的阶数 $\alpha$ 必须是无理数。

本文考虑了两种情形：

• IP1（单方程）： 针对耦合项为零（$a=0$）的单一方程 FDE，重构 $f(t,x)$ 和 $\phi(x)$。
• IP2（耦合系统）： 针对 FDE 的耦合系统，仅利用第一个分量 $u$ 的边界测量，重构两个源（$f, \chi$）和两个初始状态（$\phi, \psi$）。

2. 方法论

作者采用了一种结合谱理论、复分析以及分数阶微积分性质的复杂分析方法。核心方法论如下：

A. 谱分解与拉普拉斯变换

• 利用区域 $\Omega$ 上拉普拉斯算子的特征函数对问题进行谱分析。解被展开为关于这些特征函数的傅里叶级数。
• 对时间域方程应用拉普拉斯变换。这将分数阶微分方程转化为复频域（$s$域）中的代数方程。
• $s$域中的解被表示为一个级数，其中包含未知源和初始状态的拉普拉斯变换，除以依赖于特征值和分数阶的特定特征分母。

B. 解析延拓与分支切割

• 本文利用了 $t > t_0$ 时源为零的事实。这意味着源的拉普拉斯变换是整函数（在复平面上处处解析）。
• 观测数据（边界通量）被证明在复平面的特定扇形区域内是解析的。
• 通过取复变量幅角从上方和下方趋近负实轴的极限（$\theta \to \pm \pi$），作者计算了分数幂 $s^\alpha$ 分支切割处的跳跃值。

C. “无理阶”论证

• 这是方法论中最具创新性的部分。作者定义了一个级数 $Q(n, z)$，其中包含分支切割处的跳跃值以及旋转因子 $e^{i 2\pi n / \alpha}$。
• 引理 5 与 6： 证明依赖于这样一个事实：如果 $\alpha$ 是无理数，则序列 $e^{i 2\pi n / \alpha}$ 在单位圆上是稠密的。
• 利用该序列的稠密性，作者将一个额外的连续变量（角度 $y$）引入到离散级数中。这使得问题能够从对特征值的离散求和转化为连续函数方程。
• 通过对该新变量求导并在特定点求值，作者分离出了对应于特定特征值的系数。

D. 基于线性无关性的唯一性

• 该方法分离了每个特征模态 $k$ 的未知量（$f_{kl}, \phi_{kl}$ 等）的傅里叶系数。
• 利用特征函数在边界 $\Gamma$ 上的法向导数的线性无关性（椭圆理论中的已知结果），作者证明了如果边界测量为零，则未知量的所有傅里叶系数必须为零。

3. 主要贡献

1. 同时重构： 与许多假设初始状态已知或源具有可分离形式（$g(t)f(x)$）的先前工作不同，本文证明了一般时空依赖源和未知初始状态同时重构的唯一性。
2. 耦合系统： 结果被推广到分数阶扩散方程的耦合系统，其中仅利用一个分量的边界测量即可重构两个源和两个初始状态。
3. 最小数据需求： 即使测量区间 $(t_0, t_1)$ 和边界部分 $\Gamma$ 任意小（只要具有非零测度），唯一性依然得证。
4. 无理性的作用： 本文确立了分数阶阶数 $\alpha$ 的无理性是该一般设定下唯一性的充分条件。这突显了分数阶扩散方程与经典（整数阶）扩散方程之间的根本差异，在后者的情况下，针对一般源的唯一性通常是一个未解决的问题或需要更强的数据。
5. 首创性： 作者声称，这是第一篇针对此类分数阶逆问题，证明从低维域（边界 - 时间）的数据确定高维域（时空）中的一般函数的唯一性的论文。

4. 主要结果

• 定理 1（正问题）： 在适当的函数空间（$W^{\alpha, p}$）中建立了耦合 FDE 正问题解的存在性、唯一性和正则性。它还证明了对于 $t > t_0$，解可以解析延拓到复平面的一个扇形区域。
• 定理 2（IP1 的唯一性）： 如果 $\alpha$ 是无理数，且边界通量 $\frac{\partial u}{\partial \nu}$ 在 $\Gamma \times (t_0, t_1)$ 上为零，则源 $f \equiv 0$ 且初始状态 $\phi \equiv 0$。
• 定理 3（IP2 的唯一性）： 对于耦合系统，如果 $\alpha$ 是无理数且第一个分量的边界通量为零，则两个源（$f, \chi$）和两个初始状态（$\phi, \psi$）均恒为零，前提是特征值满足非共振条件（条件 49）。

5. 意义

• 理论进展： 本文填补了分数阶偏微分方程逆问题理论的空白。它将研究从简单的可分离源推进到更真实的物理建模所需的函数。
• 物理解释： 对无理阶 $\alpha$ 的要求表明，在由 FDE 建模的物理系统（通常用于描述反常扩散）中，“记忆”效应（历史依赖性）与阶数的无理性相结合，提供了足够的信息，以便从有限的边界数据中唯一地识别起始状态和强迫函数。
• 方法论创新： 利用 $e^{i 2\pi n / \alpha}$ 的稠密性将连续变量引入谱级数的技术，是解决逆问题的一种强有力的新工具，特别是在标准 Carleman 估计方法难以应用或数据稀疏的情况下。
• 实际意义： 结果表明，在涉及反常扩散的实验环境（如多孔介质、生物组织或复杂流体）中，只要分数阶阶数已知且为无理数，就不一定需要全场测量或已知初始状态即可识别源动力学。