[论文解读] Operator theoretic approach to the Caputo derivative and the fractional diffusion equations

Rudolf Gorenflo, Yuri Luchko+1 more|arXiv (Cornell University)|Nov 26, 2014

Fractional Differential Equations Solutions参考文献 24被引用 4

一句话总结

本文在分数阶 Sobolev 空间中提出了一种新颖的算子理论定义的 Caputo 分数阶导数，克服了经典点态定义因要求过强光滑性而带来的局限。通过建立分数阶积分与微分算子之间的范数等价性，作者证明了时间分数阶扩散方程在这些函数空间中具有最大正则性及弱解的存在唯一性。

ABSTRACT

The Caputo time-derivative is usually defined pointwise for well-behaved functions, say, for continuously differentiable functions. Accordingly, in the theory of the partial fractional differential equations with the Caputo derivatives, the functional spaces where the solutions are looked for are often the spaces of the smooth functions that are too narrow. In this paper, we introduce a suitable definition of the Caputo derivative in the fractional Sobolev spaces and investigate it from the operator theoretic viewpoint. In particular, some important equivalences of the norms related to the fractional integration and differentiation operators in the fractional Sobolev spaces are given. These results are then applied for proving the maximal regularity of the solutions to some initial-boundary value problems for the time-fractional diffusion equation with the Caputo derivative in the fractional Sobolev spaces.

研究动机与目标

• 为解决经典 Caputo 导数定义的局限性，后者要求点态可微性，从而将解空间限制在过强光滑的函数上。
• 在分数阶 Sobolev 空间中以有意义的方式定义 Caputo 导数，从而能够分析分数阶 PDE 的弱解。
• 在这些空间中建立分数阶积分与微分算子之间的范数等价性，这对正则性理论至关重要。
• 证明时间分数阶扩散方程在 Caputo 导数下具有最大正则性及弱解的存在唯一性。
• 通过确保数据正则性与解范数之间的兼容性，解决先前解估计中的不一致性。

提出的方法

• 通过分数阶 Sobolev 空间中的对偶与算子延拓来定义 Caputo 导数，避免对点态可微性的要求。
• 以 Riemann-Liouville 积分为基础，通过算子理论恒等式将其与 Caputo 导数关联。
• 利用伽马函数的性质，建立分数阶 Sobolev 范数与涉及分数阶积分和导数的范数之间的范数等价性。
• 将该理论应用于具有广义椭圆算子 $-L$ 的时间分数阶扩散方程，采用 Volterra 积分形式。
• 在 $L^2(0,T;H^1_0(\bar\bigOmega))$ 中使用不动点论证，通过估计迭代算子 $Q^m$ 并证明当 $m$ 足够大时为压缩映射。
• 利用伽马函数的渐近分析，证明压缩常数 $\rho_m \to 0$ 当 $m \to \infty$，从而确保解的存在性与唯一性。

实验结果

研究问题

• RQ1 当经典点态定义因缺乏可微性而失效时，如何在分数阶 Sobolev 空间中对 Caputo 导数进行有意义的定义？
• RQ2 在分数阶 Sobolev 空间中，分数阶积分与微分算子之间存在哪些范数等价性？这些等价性如何支持正则性分析？
• RQ3 能否在分数阶 Sobolev 空间中建立时间分数阶扩散方程在 Caputo 导数下的最大正则性及弱解的存在唯一性？
• RQ4 如何解决数据正则性 $F \in L^\infty(0,T;L^2(\Omega))$ 与解范数估计在 $L^2(0,T;L^2(\Omega))$ 之间不一致的问题？
• RQ5 在什么条件下，解算子是 $L^2(0,T;H^1_0(\Omega))$ 中的压缩映射，从而可通过不动点理论保证解的存在性？

主要发现

• 在分数阶 Sobolev 空间中引入了一种新的算子理论定义的 Caputo 导数，即使 $\partial_t u$ 不存在点态意义，该定义依然有效。
• 建立了分数阶 Sobolev 范数与涉及分数阶积分和导数的范数之间的范数等价性，为稳健分析提供了支持。
• 解算子 $Q$ 满足 $\|Q^m u\|_{L^2(0,T;H^1)} \leq \rho_m^2 T^2 \|u\|_{L^2(0,T;H^1)}$，且当 $m \to \infty$ 时 $\rho_m \to 0$，证明了对大 $m$ 的压缩性。
• 方程 $u = Qu + G$ 在 $L^2(0,T;H^1_0(\Omega))$ 中有唯一解，确保了弱解的存在性与唯一性。
• 解满足 $\|u\|_{L^2(0,T;H^1)} \leq C \|F\|_{L^2(0,T;L^2)}$，解决了先前范数估计中的不一致性。
• 实现了最大正则性：$u \in L^2(0,T;H^2(\Omega)) \cap H^\alpha(0,T;L^2(\Omega))$，且 $\|u\|_{L^2(0,T;H^2) \cap H^\alpha(L^2)} \leq C \|F\|_{L^2(0,T;L^2)}$。