[论文解读] Local density of solutions of time and space fractional equations

Alessandro Carbotti, Serena Dipierro+1 more|arXiv (Cornell University)|Oct 19, 2018

Fractional Differential Equations Solutions参考文献 10被引用 8

一句话总结

本文通过证明任意光滑函数均可在 $ C^{u} $-范数下被空间和时间分数阶微分算子核中的函数任意精确逼近，建立了时间与空间分数阶偏微分方程解的局部密度。关键结果表明，该解空间具有丰富的非局部结构，打破了经典PDE的刚性，使得具有记忆效应和异常扩散特性的非局部方程能够逼近任意函数。

ABSTRACT

We prove that any given function can be smoothly approximated by functions lying in the kernel of a linear operator involving at least one fractional component. The setting in which we work is very general, since it takes into account anomalous diffusion, with possible fractional components in both space and time. The operators studied comprise the case of the sum of classical and fractional Laplacians, possibly of different orders, in the space variables, and classical or fractional derivatives in the time variables. This type of approximation results shows that space-fractional and time-fractional equations exhibit a variety of solutions which is much richer and more abundant than in the case of classical diffusion.

研究动机与目标

• 研究结合空间和时间经典导数与分数阶导数的线性算子的解空间。
• 确定任意光滑函数是否可被此类非局部算子核中的解逼近。
• 建立非局部方程的解结构显著优于经典PDE的丰富性和灵活性。
• 证明时间与空间分数阶算子的核在 $ C^{ u} $-拓扑下关于光滑函数空间是稠密的。

提出的方法

• 作者基于一族缩放函数 $ u(x,y,t) = \sum_{j=1}^{J} c_j u_j(\eta^{1/r}x, \eta^{1/2s}y, \eta^{1/\alpha}t) $（其中 $ \eta \to 0 $）采用缩放与摄动论证。
• 他们应用一个关键的张成结果，表明通过 $ \Lambda_{-\infty}u = 0 $ 的解逼近给定函数 $ f $ 的误差可被任意缩小。
• 证明依赖于时间方向使用Caputo分数阶导数、空间方向使用分数阶拉普拉斯算子，从而实现非局部且具有记忆依赖的动力学。
• 构造过程中使用单位分解与光滑截断，以确保逼近函数具有紧台集和光滑性。
• 对于单项式，逼近误差被控制在 $ C\eta $ 范围内，通过选择足够小的 $ \eta $ 可使其小于任意 $ \epsilon > 0 $。
• 通过线性性将结果从单项式推广至多项式，再利用多项式逼近的稠密性论证推广至一般 $ C^\ell $ 函数。

实验结果

研究问题

• RQ1 在有界区域上，任意光滑函数是否可在 $ C^\ell $-范数下被涉及空间与时间分数阶导数的线性非局部算子的解逼近？
• RQ2 结合空间与时间经典导数与分数阶导数的一般非局部算子的核在光滑拓扑下是否具有稠密的解空间？
• RQ3 时间与空间分数阶算子的非局部结构如何实现相较于经典PDE更丰富的解行为？
• RQ4 此类非局部方程的解在区域边界附近的边界行为与正则性如何，特别是靠近边界时？
• RQ5 分数阶PDE的解空间在多大程度上可用于建模异常扩散与记忆效应等复杂现象？

主要发现

• 任意有界区域上的 $ C^\ell $ 函数均可在 $ C^\ell $-范数下被涉及空间与时间分数阶导数的线性算子核中的函数逼近。
• 逼近误差可小于任意给定的 $ \epsilon > 0 $，且误差被控制在 $ C\eta $ 范围内（$ C > 0 $），其中 $ \eta $ 控制逼近函数的缩放尺度。
• 非局部算子 $ \Lambda_{-\infty}u = 0 $ 的解空间在光滑函数空间中是稠密的，即使该算子同时包含经典导数与分数阶导数。
• 该方法对无结构性限制的函数均适用，揭示了经典PDE中所缺乏的根本性非局部灵活性。
• 该结果适用于结合不同阶分数阶拉普拉斯算子与Caputo型时间导数的算子，证实了其广泛适用性。
• 构造确保逼近函数光滑、具有紧台集，并在半空间区域满足所需的齐次方程，从而保持正则性与衰减性。