Scarpi框架下变量阶分数阶抽象Cauchy问题的适定性

《Fractal and Fractional》：Well-Posedness of Variable-Order Fractional Abstract Cauchy Problems Under the Scarpi Framework

　　

研究人员研究了Banach空间X中的变量阶分数阶抽象Cauchy问题：₀????^??(??)??(??)=????(??)+??(??)，??(0)=??₀，其中A是扇形算子，??(??):[0,∞)→(0,1)是Scarpi转移函数。利用Scarpi核的Sonine对结构，研究人员将该问题转化为Volterra积分方程，并将常数阶理论中的预解族框架适应到这一变量阶情形，通过Laplace变换技术引入变量阶预解族。与常数阶情形相比，变量阶预解族是强连续且指数有界的，但研究未声称也未使用关于t的解析性。对于指数有界转移??(??)=??₂+(??₁???₂)??^?????，分解式????(??)=??^??₁·??^{(??₂???₁)??/(??+??)}将变量阶预解族与常数阶??₁-预解族联系起来。研究人员证明了该预解族的存在性，通过变量阶预解族和Laplace变换方法直接构造并证明了温和解的存在性，通过对偶论证证明了Volterra积分方程强解类中的唯一性，并推导出对数据的连续依赖性。据研究人员所知，这为一般Banach空间中非齐次Scarpi型变量阶抽象Cauchy问题提供了首个完整的适定性理论。两个例子说明了该理论，其中后者产生了适定的变量阶次扩散方程，论文末尾给出了一个数值示例。

**论文解读**

**一、研究背景与问题**

变量阶分数阶微积分是经典常数阶分数阶微积分的重要推广，其阶次可随时间或空间变化，能够更灵活地描述复杂系统中的记忆与遗传行为。然而，将抽象Cauchy问题的半群理论与预解族方法从常数阶推广到变量阶并非易事：一方面，变量阶算子不再具有简单的Laplace变换像；另一方面，阶次变化导致卷积核不再满足经典的幂律关系，从而破坏原有解析框架。目前已有的变量阶分数阶发展方程研究多限于具体方程或数值格式，缺乏系统性的适定性理论。

Scarpi框架最早由Scarpi提出，其核心是利用特殊的核函数构造“Sonine对”，从而在Laplace变换域中建立变量阶导数的代数表示。这一结构允许将变量阶导数问题转化为含变量核的Volterra积分方程，进而借助积分方程理论进行分析。然而，在一般Banach空间中，针对非齐次、带扇形算子A的Scarpi型变量阶抽象Cauchy问题，是否能够建立完整的存在性、唯一性、连续依赖性理论，此前尚属空白。本文正是为了解决这一问题。

**二、研究内容与主要结论**

研究人员研究如下变量阶分数阶抽象Cauchy问题：

₀????^??(??)??(??)=????(??)+??(??)，??(0)=??₀，

其中X为Banach空间，A为扇形算子，??(??):[0,∞)→(0,1)为Scarpi转移函数。利用Scarpi核的Sonine对结构，研究人员将该问题等价地转化为含变量核的Volterra积分方程；随后，借鉴常数阶分数阶预解族的思想，在Laplace变换域中定义了变量阶预解族。该预解族具有强连续性和指数有界性，但文中明确不要求关于t的解析性，从而避免了对转移函数施加过强光滑性限制。

对于典型的指数衰减转移函数??(??)=??₂+(??₁???₂)??^?????，Laplace变换的分解式????(??)=??^??₁·??^{(??₂???₁)??/(??+??)}将变量阶预解族与常数阶??₁-预解族联系起来，这为分析其性质提供了桥梁。在此基础上，研究人员证明了变量阶预解族的存在性，并直接利用该预解族与Laplace变换方法构造了温和解，证明了其存在性；通过对偶论证，证明了Volterra积分方程强解类的唯一性；最后推导了解对初值和外力项数据的连续依赖性。上述结果共同构成了适定性理论。据作者所述，这是首次在一般Banach空间中为非齐次Scarpi型变量阶抽象Cauchy问题提供完整的适定性理论。

**三、关键技术方法**

研究人员主要采用以下关键技术方法：（1）利用Scarpi核的Sonine对结构，将变量阶分数阶方程转化为Volterra积分方程；（2）引入变量阶预解族的概念，通过Laplace变换技术建立其存在性和有界性；（3）对于指数型转移函数，借助Laplace变换的代数分解将变量阶预解族与常数阶预解族建立联系；（4）采用直接构造法证明温和解的存在性，采用对偶论证证明Volterra积分方程强解的唯一性；（5）通过数据到解的映射估计建立连续依赖性。文中两个示例用于说明理论，其中第二个例子导出了适定的变量阶次扩散方程，并给出了数值演示。

**四、研究结果**

**（一）变量阶预解族的存在性**
通过Laplace变换方法，研究人员证明了在给定的Scarpi转移函数条件下，变量阶预解族存在，并且是强连续和指数有界的。这一结果将常数阶预解族理论的核心性质推广到了变量阶情形。

**（二）温和解的存在性**
利用变量阶预解族直接构造候选解，并结合Laplace变换方法的逆变换验证，研究人员证明了非齐次问题存在温和解。该构造方法不依赖于解的解析性，因而更加适应变量阶框架。

**（三）强解的唯一性**
在Volterra积分方程的强解类中，通过经典的对偶论证，研究人员证明了若存在两个强解，则其差必为零，从而得到唯一性。

**（四）连续依赖性**
通过分析解与初值u₀以及外力项f之间的估计关系，研究人员证明了当数据在适当范数下收敛时，相应解也在相同意义下收敛，即解连续依赖于数据。

**五、讨论与结论**

讨论部分指出，与常数阶情形相比，变量阶预解族虽然失去了关于t的解析性，但仍然保留了强连续性和指数有界性，这是展开适定性分析的关键。文中强调，所建立的变量阶预解族框架可视为常数阶预解族理论的延伸，而Scarpi核的Sonine对结构是连接两者的核心工具。对于指数型转移函数，分解式揭示了变量阶问题与常数阶问题之间的深层联系，也为后续数值计算提供了理论支撑。

研究结论部分可翻译为：本文在一般Banach空间中建立了非齐次Scarpi型变量阶分数阶抽象Cauchy问题的完整适定性理论。具体而言，研究人员证明了变量阶预解族的存在性，通过该预解族构造了温和解，证明了解的唯一性以及解对数据的连续依赖性。这项研究填补了变量阶分数阶发展方程基础理论的一个空白，为变量阶次扩散方程等应用模型的数学分析提供了通用框架。