[论文解读] Determination of time dependent factors of coefficients in fractional diffusion equations

Kenichi Fujishiro, Yavar Kian|arXiv (Cornell University)|Jan 8, 2015

Advanced Mathematical Modeling in Engineering参考文献 8被引用 6

一句话总结

本文建立了时间分数阶扩散方程中涉及时变系数的反问题的稳定性估计，证明了可以通过解的点态观测唯一且稳定地重构时变源项或反应系数。利用分数阶微积分和能量估计，作者在最小正则性假设下推导出霍尔德型稳定性界，将经典反问题理论扩展至具有异常扩散行为的分数阶偏微分方程。

ABSTRACT

We consider fractional diffusion equations and study the stability of the inverse problem of determining the time-dependent parameter in a source term or a coefficient of zero-th order term from observations of the solution at one point in a bounded domain.

研究动机与目标

• 解决从有限点态观测中识别时间分数阶扩散方程中时变系数的反问题。
• 为源项和零阶系数问题建立重构的唯一性与稳定性。
• 将经典反问题理论扩展至建模异常扩散的分数阶偏微分方程背景。
• 在系数和数据正则性要求最低的假设下，提供定量稳定性估计。

提出的方法

• 为具有阶数 $\alpha \in (0,1)$ 的卡波托导数的时间分数阶扩散方程建立两个初边值问题（IBVPs）。
• 利用半群方法和分数阶积分，证明在索伯列夫空间 $H^2(\Omega)$ 中解的存在性与正则性。
• 应用广义格朗沃尔不等式以控制解范数，并推导反问题的稳定性估计。
• 利用索伯列夫嵌入与迹估计，将点态解值与整体解范数联系起来。
• 通过在单一点 $x_0$ 处观测到的解，推导出时变系数 $f(t)$ 的先验界。
• 利用分数阶导数的结构与强制估计，获得 $f(t)$ 的霍尔德型稳定性。

实验结果

研究问题

• RQ1 时间分数阶扩散方程中的时变系数 $f(t)$ 是否能通过在单个空间位置的解的点态观测唯一确定？
• RQ2 从单一点观测中恢复 $f(t)$ 的反问题可建立何种稳定性估计？
• RQ3 系数 $f(t)$ 和数据的正则性如何影响重构的稳定性？
• RQ4 分数阶阶数 $\alpha$ 在反问题稳定性中起何种作用？

主要发现

• 在最小正则性假设下，从 $x_0 \in \overline{\Omega}$ 处的点态观测中恢复时变系数 $f(t)$ 的反问题具有唯一解。
• 建立了霍尔德型稳定性估计：对于源项问题，有 $\|f\|_{L^\infty(0,T)} \leq C \|\partial_t^\alpha u(x_0, \cdot)\|_{L^\infty(0,T)}$。
• 对于反应系数问题，稳定性估计形式为 $\|f\|_{L^\infty(0,T)} \leq C \|\partial_t^\alpha v(x_0, \cdot)\|_{L^\infty(0,T)}$，其中常数 $C$ 依赖于区域和数据。
• 初边值问题（1.1）的解 $u$ 满足 $\partial_t^\alpha u \in L^p(0,T; H^s(\Omega))$，其中 $s > d/2$，从而保证了点态迹的正则性。
• 证明依赖于能量估计与广义格朗沃尔不等式，以控制解之间差值的增长。
• 结果在最小光滑性假设下具有鲁棒性：$f \in L^\infty(0,T)$，$R \in L^p(0,T; H^2(\Omega))$，且 $q \in L^\infty(0,T; H^2(\Omega))$。