1. 引言
分数阶微分方程因其在物理、工程、生物等领域的广泛应用,成为近年来非线性分析领域的研究热点[1]。不同于整数阶微分方程仅能刻画局部变化率,分数阶导数具备非局部记忆特性,能够精准描述黏弹性材料变形、反常扩散、生物种群演化等具有历史依赖性的复杂过程[2]。Hadamard分数阶导数以对数函数为核,在处理定义于正实数域且具有幂律型尺度不变性的系统时展现出独特优势[3] [4],例如在研究电力系统中绝缘介质的老化特性、地质工程中岩石的蠕变损伤过程等问题时,Hadamard分数阶模型的拟合精度显著高于传统整数阶模型。同时,p(t)-Laplacian算子能够刻画非均匀介质中的扩散、渗透等现象,其变指数特性可有效反映介质属性随空间位置变化的规律,例如在多孔介质流体输运问题中,介质孔隙率的空间异质性会导致扩散系数随位置改变,此时p(t)-Laplacian算子对应的方程模型更贴合实际场景[5]。
在实际工程与物理系统中,单一方程往往难以完整描述多场耦合的复杂现象,耦合系统的研究更具现实意义。例如在智能材料与结构领域,压电陶瓷–黏弹性基体复合结构的力–电耦合振动问题,需要同时考虑机械形变的黏弹性记忆效应与电场分布的非均匀扩散特性,这类问题可抽象为含p(t)-Laplacian算子的Hadamard分数阶微分方程耦合系统。目前,关于分数阶微分方程耦合系统的研究已取得一定成果[6] [7],但现有成果多聚焦于Riemann-Liouville或Caputo型分数阶导数,且算子多为常指数P-Laplacian算子,结合p(t)-Laplacian算子与Hadamard分数阶导数的耦合系统边值问题研究尚不多见。此外,现有研究多采用单调迭代法或上下解方法,针对非局部边值条件下解的唯一性分析相对匮乏。本文针对一类具p(t)-Laplacian算子的Hadamard分数阶微分方程耦合系统非局部边值问题,通过构造等价积分算子、应用Banach压缩映射原理,建立解的存在唯一性条件,并通过具体实例验证结论的正确性。本文的研究不仅丰富了分数阶微分方程耦合系统的理论体系,也为相关工程问题的建模与分析提供了新的思路与方法。
2. 预备知识
定义2.1 [4]设
,函数
,则
阶Hadamard分数阶积分定义为:
其中Gamma(∙)为Gamma函数。
定义2.2 [4]设
,函数
,则
阶Hadamard分数阶导数定义为:
(2.2)
引理2.1 [5] p(t)-Laplacian算子性质
设
为连续函数,
为
的共轭指数函数,
-Laplacian算子
,满足以下性质:
(1) 单调性:若
,则
;
(2) 逆算子存在性:
,且
。
引理2.2 [8] Banach压缩映射原理
设
为完备度量空间,
为压缩映射,即存在常数
,使得对任意
,有
则T在X中存在唯一不动点。
3. 边值问题及等价积分算子构造
3.1. 问题描述
考虑如下具p(t)-Laplacian算子的Hadamard分数阶微分方程耦合系统非局部边值问题:
(3.1)
其中
,
连续,
,
连续。
3.2. 等价积分算子构造
对任意满足可积性与可微性条件的函数
,
阶与
阶Hadamard分数阶微分、积分算子满足:
方程两边对
的方程两端作用
,由积分线性得:
(3.2)
根据
阶Hadamard微积分互逆性,左端展开为:
其中将
视为整体函数
,代入互逆性公式得到边界项
。
由
,得
,因此左端化简为
。
将化简结果代回式(3.1),得:
(3.3)
再应用p(t)-Laplacian逆算子,得逆算子形式:
,其中
为
的共轭指数,满足
;对任意z,有
,
为简化书写,记:
则式(3.3)简写为
对上式两端同时作用
,得到:
由p(t)-Laplacian算子的互逆性
,左端可直接化简为
,即:
即
再次应用
阶Hadamard分数阶积分,结合
,得:
(3.4)
同理,对(3.1)中第二个方程重复上述步骤,结合边值条件
,得:
(3.5)
将非局部边值条件代入(3.4) (3.5),最终得到(3.1)的等价积分算子形式:
(3.6)
其中:
(3.7)
(3.8)
其中
,
为共轭指数函数。
4. 解的存在唯一性分析
令
,对任意
,定义度量:
(4.1)
易证
为完备度量空间。
定义算子
,
,则(3.1)的解等价于算子T的不动点。
假设以下条件成立:
(H1) 存在常数
,使得对任意
,
,有:
(H2) 存在常数
,使得对任意
,
,有:
(H3) 记
,
,且
。
定理4.1若条件(H1)~(H3)成立,则耦合系统(3.1)在X中存在唯一解。
证明:对任意
,计算
:
同理,
。
因此:
(4.2)
由条件(H3),
,故T为压缩映射。根据Banach压缩映射原理,T在X中存在唯一不动点,即耦合系统(2.1)存在唯一解。
注记
条件(H3)作为解存在唯一性的核心约束条件,其本质是对算子压缩性进行量化限制,关键参数的取值直接决定该条件是否成立:其一,分数阶导数阶数
通过Gamma函数
影响条件中的系数,阶数越大,
的值越大,
的值越小,越容易满足
的要求;其二,区间长度
与
呈正相关,当T取值过大时,
可能超过1,此时压缩映射条件不再成立,这表明系统解的唯一性仅在一定的时间或空间范围内有效;其三,变指数函数
的范围决定了共轭指数
的上界,
越小,
的值越小,更有利于唯一性条件的满足,这体现了非均匀介质属性对系统解的定性行为的调控作用。
本文的研究结果为分数阶耦合系统的定性分析提供了理论支撑,可进一步推广至更一般形式的分数阶微分方程系统,例如,采用Krasnoselskii不动点定理或Schaefer不动点定理,弱化Lipschitz条件的限制,研究非线性项满足次线性或超线性增长时系统解的存在性。
5. 实例验证
5.1. 实例构造
取
,
,
(此时p(t)-Laplacian算子退化为普通Laplacian算子,
,逆算子
,
(边值条件退化为齐次边值),构造耦合系统:
(5.1)
5.2. 条件验证
对比(4.1),此处
,
。
条件(H1):取
,满足Lipschitz条件;
条件(H2):取
,满足Lipschitz条件;
条件(H3):
,
,
,计算得:
则
,满足条件(H3)。
基金项目
昌吉职业技术学院院级科研课题《具P(t)-Laplacian算子的分数阶微分方程边值问题解的存在性研究》CJZY2025026。
NOTES
*通讯作者。