[论文解读] Uniqueness of an inverse source non-local problem for fractional order mixed type equation

M. S. Salakhitdinov, Erkinjon Karimov|arXiv (Cornell University)|Sep 7, 2015

Differential Equations and Boundary Problems参考文献 3被引用 4

一句话总结

本文建立了在矩形域中涉及Caputo导数的分数阶混合型方程逆源问题解的唯一性。通过在空间中以双正交级数表示解，并将问题约化为时间方向的分数阶微分方程，作者利用由边界条件和传输条件导出的行列式非零性，证明了解的唯一性。

ABSTRACT

In the present work, we investigate a uniqueness of solution of the inverse source problem with non-local conditions for mixed parabolic-hyperbolic type equation with Caputo fractional derivative. Solution of the problem we represent as bi-orthogonal series with respect to space variable and will get fractional order differential equations with respect to time-variable. Using boundary and gluing conditions, we deduce system of algebraic equations regarding unknown constants and imposing condition to the determinant of this system, we prove a uniqueness of considered problem. Moreover, we find some non-trivial solutions of the problem in case, when imposed conditions are not fulfilled.

研究动机与目标

• 建立涉及分数阶混合型方程与非局部条件的逆源问题解的唯一性。
• 分析在 t=0 处方程类型发生改变的区域中解的行为，结合抛物型与双曲型动力学。
• 推导仅存在平凡解的条件，以确保逆问题的唯一性。
• 当唯一性条件不成立时，对非平凡解进行表征，提供此类解的显式形式。
• 通过引入非局部传输条件与Caputo导数，拓展现有分数阶PDE逆问题的研究结果。

提出的方法

• 利用具有Neumann边界条件与类周期边界条件的Sturm-Liouville问题的特征函数，在空间中将解表示为双正交级数展开。
• 对级数系数应用Caputo分数阶导数，将原PDE转化为每个模态在时间方向上的分数阶常微分方程组。
• 利用Mittag-Leffler函数与广义分数阶积分算子，推导时间依赖系数的显式解。
• 施加边界条件与传输条件（包括在 t=0 处Caputo导数的连续性），形成关于未知常数的代数方程组。
• 通过分析代数方程组系数矩阵的行列式，当行列式非零时建立解的唯一性。
• 当行列式为零时，利用任意常数与特殊函数恒等式，构造显式的非平凡解。

实验结果

研究问题

• RQ1 在何种条件下，分数阶混合型方程的逆源问题解是唯一的？
• RQ2 在 t=0 处的非局部传输条件如何影响逆问题的可解性与唯一性？
• RQ3 当唯一性条件不成立时，非平凡解具有何种形式？
• RQ4 阶数为 α ∈ (0,1] 与 β ∈ (1,2] 的Caputo分数阶导数如何影响解的结构？
• RQ5 解能否以分离空间与时间动力学的双正交级数框架表示？

主要发现

• 若由边界条件与传输条件导出的方程组的行列式非零，则逆源问题有唯一解。
• 当行列式为零时，存在非平凡解，包括形如 $ u(x,t) = u_0(t), f(x) = f_0 $ 的空间常数解，其中 $ u_0(t) $ 的表达式以Mittag-Leffler函数显式给出。
• 对于 $ k = m \neq 0 $ 的模态，当 $ \Delta_m = 0 $ 时存在非平凡解，其通过Mittag-Leffler函数与广义超几何型算子显式构造。
• 解分量 $ V_{1k}(t), V_{2k}(t), W_{1k}(t), W_{2k}(t) $ 以Mittag-Leffler函数及其分数阶积分类比形式表示，确保了解析可处理性。
• 唯一性条件等价于由系数 $ f_{1k}, f_{2k}, f_0 $ 的代数方程组导出的行列式非零。
• 本文根据谱参数与域参数 $ p, q $，完整表征了平凡解与非平凡解。