时间分数阶 Drinfeld–Sokolov–Wilson 系统的 Aboodh–Temimi–Ansari 方法：收敛性分析与数值验证

《Symmetry》：The Aboodh–Temimi–Ansari Technique for the Time-Fractional Drinfeld–Sokolov–Wilson System: Convergence Analysis and Numerical Validation

　　

Drinfeld–Sokolov–Wilson (DSW) 系统源于仿射 Lie 代数（affine Lie algebras）理论与 Korteweg–de Vries (KdV) 层级，因此其可积性反映了在分数化下以重标度形式持续存在的底层代数对称性，并且它还模拟色散浅水波。本工作将混合 Aboodh–Temimi–Ansari 技术应用于 Caputo 导数（Caputo derivative）下的时间分数阶 DSW 系统，该格式既不需要 Adomian 多项式也不需要 He 多项式。研究人员表明，其迭代恰好是等价分数阶 Volterra 积分方程（Volterra integral equation）的 Picard 迭代（Picard iterates）。在非线性算子上满足 Lipschitz 条件（Lipschitz condition）时，通过 Banach 不动点论证（Banach fixed-point argument）可得到局部解的存在性与唯一性，并给出截断误差的显式界。研究人员还表明，DSW 系统的色散项阻止该条件在有界光滑函数的经典空间中成立，因此分数阶系统本身的适定性（well-posedness）仍然开放。研究人员求解了两个由已知 kink（扭结）和 soliton（孤子）剖面构建的初值问题，当分数阶阶数等于 1 时恢复精确经典解。经过两次修正，近似解与精确剖面在若干有效数字上吻合，残差误差集中在非线性耦合最大处。

一、研究背景与问题。非线性偏微分方程（partial differential equations, PDEs）广泛描述波动、流体运动与扩散；分数阶推广可刻画记忆与遗传效应。Caputo 导数因可容纳常规初值条件并平滑退化到整数阶情形而成为常用算子。Drinfeld–Sokolov–Wilson (DSW) 系统由 Drinfel’d、Sokolov 与 Wilson 从 Korteweg–de Vries (KdV) 层级和仿射 Lie 代数得到，其可积性来自代数结构，并描述色散浅水波。分数阶 DSW 系统尚无 Lie 分类，且已有半解析处理多未先证明初值问题存在解。经典 DSW 系统的适定性直到近期才由 Christov、Hakkaev、Oh 和 Stefanov 证明。因此，研究人员选择分数阶 DSW 系统，应用新的混合迭代并考察收敛性、误差与适定性障碍。

二、主要关键技术方法（不超过250字）。研究人员使用 Caputo 导数（Caputo derivative）框架；采用 Aboodh 变换（Aboodh transform）消除分数阶导数；结合 Temimi–Ansari 迭代（Temimi–Ansari iteration）直接在前一迭代上计算非线性算子，避免 Adomian/He 多项式和嵌入参数；将复合算子识别为 Riemann–Liouville 分数积分（Riemann–Liouville fractional integral），把递归重构为分数阶 Volterra 积分方程（Volterra integral equation）与 Picard 迭代（Picard iterates）；用 Banach 不动点定理（Banach fixed-point theorem）和 Lipschitz 条件（Lipschitz condition）分析存在唯一性与截断误差；以 Adomian 分解方法（Adomian decomposition method, ADM）作数值比较。无样本队列来源。

三、研究结果。按原文小标题概括如下。“引言”指出分数阶非线性 PDE 精确解难得，半解析迭代方法成为主流，DSW 系统因耦合三次非线性与色散项成为苛刻测试对象。“文献综述”梳理 DSW 的代数起源、经典孤子与守恒律、分数对称分析、精确行波法、分解法、同伦法、残差幂级数法等方法，并指出文献缺口：半解析工作未先证明分数阶 DSW 问题有解。“分数阶微积分预备”给出 Caputo 导数、Aboodh 变换定义及性质。“Caputo 意义下的分数阶算子”定义 Riemann–Liouville 分数积分与 Caputo 导数，并说明采用 Caputo 的理由。“Aboodh 变换”定义该变换与逆变换，并给出与 Laplace 变换的关系及单射性。“分数阶算子的运算性质”给出 Caputo 导数的 Aboodh 变换公式，并证明复合算子等于 Riemann–Liouville 分数积分，且与 Laplace 型变换选择无关。“(AT)² 的基本步骤”对抽象分数阶方程应用 Aboodh 变换、逆变换和 Temimi–Ansari 迭代，得到递归格式，并称其收敛到精确解。“收敛性与误差分析”在显式 Lipschitz 条件下分析抽象方程。“功能设置”选取 Banach 空间；指出对 DSW 系统，经典有界光滑函数空间不足。“等价分数阶 Volterra 表述”证明 (AT)² 迭代恰为等价分数阶 Volterra 积分方程的 Picard 迭代。“存在性与唯一性”在 Assumption 2 下用 Banach 不动点定理证明局部解存在唯一；Remark 5 说明局部性及全局 Lipschitz 时可延拓；Remark 6 指出 DSW 的三阶色散项损失导数，使 Lipschitz 条件在经典函数空间失败，因而分数阶 DSW 的适定性仍开放；仅得到带导数损失的 Lipschitz 界。“(AT)² 迭代的收敛性”证明在定理条件下迭代几何收敛并给出误差界。“截断误差分析”给出显式截断界，随迭代次数和时间幂衰减；Proposition 3 在无存在性假设下给出迭代的局部截断估计，并说明若光滑解存在，则方法在时间分数阶变量中达到相应阶。“技术应用”将格式用于两个由 kink 和 soliton 剖面构造的初值问题。“示例 1”对 kink 型初值问题求迭代，α=1 时恢复精确经典解，并指出文献中初值条件有不一致，研究人员予以纠正。“示例 2”对 soliton 型初值问题求迭代，α=1 时恢复精确解，并指出文献中振幅符号错误，研究人员给出正确正号。“数值结果与讨论”报告两次修正后的绝对和相对误差，比较 (AT)² 与 ADM；误差集中在非线性耦合最大处，精度与 ADM 相当；分数阶 α<1 显示记忆效应；但实验未验证定理 3 和定理 4 对 DSW 系统成立，因为 Assumption 2 在经典空间失败，且 α≠1 时无精确解，精度未被直接测量。“结论”总结方法、收敛理论、适定性障碍与数值验证。

四、讨论总结与结论翻译。讨论部分认为，两次修正足以在初始时刻附近取得较小误差，误差分布由非线性项局部大小决定而非均匀分布；与相同修正次数的 ADM 精度相当，ADM 因省略部分高阶项略便宜。(AT)² 的优势不在计算经济性，而在结构：它是 Volterra 表述的 Picard 迭代，从而连接收敛性理论。局限是 DSW 系统不满足经典空间中的 Lipschitz 条件，且 α≠1 时曲线精度未直接测量。结论翻译如下：本工作研究了 Caputo 意义下的时间分数阶 Drinfeld–Sokolov–Wilson 系统，并通过结合 Aboodh 变换与 Temimi–Ansari 迭代求解，称该混合方法为 (AT)² 方法。该格式通过直接在前一迭代上计算非线性算子，无需辅助多项式或嵌入参数。研究人员表明，其迭代恰好是等价分数阶 Volterra 积分方程的 Picard 迭代，且不依赖于 Laplace 型变换的选择。在非线性算子满足 Lipschitz 条件下，由 Banach 不动点定理得到局部解存在唯一性，并给出显式截断界，该界随迭代次数和时间幂衰减；无需该条件时，迭代本身仍有局部截断估计。研究人员还表明，DSW 算子在有界光滑函数经典空间中不满足 Lipschitz 条件，因为其色散项损失三阶导数。因此，分数阶 DSW 系统的适定性仍开放，分析指出了证明所需条件：一个能控制色散项的设定，例如通过其 Mittag–Leffler 解算子。对于 kink 和 soliton 型两个基准问题，数据在发现与系统不一致后得到纠正，两次迭代在初始时刻附近以较小误差重现经典精确解，误差集中在非线性耦合最强处。其精度与相同修正次数的 Adomian 分解方法相当。(AT)² 的价值因此较少在于计算经济性，而在于其结构，它将实用迭代与分数阶 Volterra 方程的存在性理论联系起来，并明确此类色散系统仍需证明的内容。