[论文解读] An inverse problem for distributed order time-fractional diffusion equations

Zhiyuan Li, Fujishiro, Kenichi+1 more|arXiv (Cornell University)|Jul 9, 2017

Fractional Differential Equations Solutions参考文献 6被引用 3

一句话总结

本文研究了在 (0,T) 上单点观测 u(x₀,t) 的条件下，从分布式阶时间分数阶扩散方程中反演权重函数 μ(α) 的反问题。通过采用本征函数展开和拉普拉斯变换技术，作者在频域中建立了类似于哈纳克不等式的结论，并在假设 μ 为有限振荡函数的条件下证明了 μ 的唯一性，从而首次解决了该设定下的反问题。

ABSTRACT

This paper deals with the distributed order time-fractional diffusion equations with non-homogeneous Dirichlet (Nuemann) boundary condition. We first prove the wellposedness of the weak solution to the initial boundary value problem for the distributed order time-fractional diffusion equation by means of eigenfunction expansion, which ensure that the weak solution has the classical derivatives. We next give a Harnack type inequality of the solution in the frequency domain under the Laplace transform, from which we further show a uniqueness result for an inverse problem in determining the weight function in the distributed order time derivative from point observation.

研究动机与目标

• 建立具有非齐次狄利克雷或诺伊曼边界条件的分布式阶时间分数阶扩散方程初边值问题弱解的适定性。
• 研究从 (0,T) 上单点观测 u(x₀,t) 反演 [0,1] 区间内权重函数 μ(α) 的反问题。
• 在假设 μ 为有限振荡函数的条件下，证明该反问题解的唯一性。
• 为支持唯一性论证，建立解在拉普拉斯频域中的哈纳克型不等式。

提出的方法

• 利用本征函数展开推导弱解的表示公式，并建立其收敛性与正则性。
• 应用拉普拉斯变换将时间分数阶偏微分方程转化为频域中的椭圆方程。
• 为变换后的解建立哈纳克型不等式，以控制频域中解的行为。
• 基于椭圆方程的强极大值原理，采用反证法证明 μ 的唯一性。
• 施加 μ 为有限振荡函数的条件，以确保基于拉普拉斯变换的论证具有适用性。
• 利用在单点 x₀ 处拉普拉斯变换相等意味着变换后解相等的事实，推出 μ = μ̃。

实验结果

研究问题

• RQ1 在分布式阶时间分数阶扩散方程中，权重函数 μ(α) 是否能从 (0,T) 上的单点观测 u(x₀,t) 唯一确定？
• RQ2 μ(α) 需满足何种条件，才能确保在分布式阶设定下反问题的唯一性？
• RQ3 拉普拉斯变换如何用于分析具有分布式阶导数的时间分数阶扩散方程的反问题？
• RQ4 频域中的哈纳克型不等式是否有助于建立分数阶扩散中反问题的唯一性？
• RQ5 强极大值原理能否应用于变换后的椭圆系统，以推导出唯一性结果？

主要发现

• 在给定假设下，分布式阶时间分数阶扩散方程初边值问题的弱解存在且适定，且具有经典导数。
• 在拉普拉斯频域中建立了解的哈纳克型不等式，这对唯一性证明至关重要。
• 在允许的有限振荡函数类中，基于 (0,T) 上单点观测 u(x₀,t)，证明了权重函数 μ(α) 的唯一性。
• 证明依赖于反证法：若 μ ≠ μ̃，则解的拉普拉斯变换在 x₀ 处将不同，与观测数据矛盾。
• 通过类似涉及拉普拉斯变换和强极大值原理的论证，该方法可推广至狄利克雷和诺伊曼边界条件。
• 对于不属于有限振荡类的一般 μ，该结果仍为开放问题，特别是当数据被限制在 (0,T) 而非 (0,∞) 时。