非线性黎曼 - 刘维尔分数阶偏微分方程的守恒律：一种无需拉格朗日量要求的对称/伴随对称对方法

《Applied Mathematics and Computation》：Conservation laws for nonlinear Riemann-Liouville FPDEs: A symmetry/adjoint symmetry pair method without Lagrangian requirements

　　

本文提出了一种系统性的扩展，将对称/伴随对称对（SAS）方法应用于非线性黎曼 - 刘维尔分数阶偏微分方程（FPDEs），以直接构造守恒律，完全 bypass 了对拉格朗日量 formulations 的需求。所提出的框架应用于非线性时间分数阶扩散方程（涵盖α ∈ (0, 1) 的 subdiffusion 和α ∈ (1, 2) 的 diffusion-wave 情形）、耦合分数阶 KdV 型系统以及具有混合导数的时间分数阶 b-family peakon 方程。对于每个方程类，研究人员通过对称性和伴随对称性的适当配对，成功构造了显式守恒律，完全 circumvent 了拉格朗日机制。值得注意的是，研究人员证明了 Ibragimov 守恒定理作为 SAS 框架内的一个特例出现，从而确立了所提出方法的普遍性和理论完备性。这项工作不仅为探索分数阶系统的守恒性质提供了 powerful tool，也为将基于对称性的方法扩展到更广泛的非整数阶微分方程类开辟了 new avenues。

近年来，分数阶偏微分方程（FPDEs）在材料力学、流体力学、等离子体物理、生物学、化学及金融等众多学科领域的应用日益 proliferate。因此，对其定性性质（包括对称性、守恒律、精确解及模拟）的分析已成为核心研究课题。特别是守恒律的研究，不仅是扩展 FPDEs 相关性质的关键途径，也是揭示 FPDEs 运动规律和物理背景的主要工具。守恒律在非线性偏微分方程（PDEs）分析中假定 pivotal role， governing 能量、质量和动量等在演化过程中保持恒定的量。然而，PDEs 守恒律的建立 predicated 于一系列 sophisticated methodologies，包括 N?ether 定理、直接方法、对称性作用于已知守恒律、SAS 方法、Ibragimov 新守恒定理等。尽管 N?ether 定理为 admitting 拉格朗日 formulation 的整数阶 PDEs 建立了对称性与守恒律的系统 correspondence，但显然许多具有物理意义的方程（包括耗散系统和某些演化方程）并不 derive from 变分原理。对于此类非拉格朗日系统，虽已发展出直接方法、SAS 方法及基于 formal Lagrangians 和非线性自伴性的 Ibragimov 新守恒定理等替代方案，但在 FPDEs 背景下，守恒律的构造仍然是一个 challenging 且相对 unexplored 的领域。早期尝试虽将 N?ether 定理扩展至分数阶变分问题，但仍依赖分数阶拉格朗日前提。近期虽有研究引入 formal Lagrangians 和非线性自伴性 substitutions 应用 Ibragimov 定理，或提出 deriving approximate conservation laws 的有效方法，但尚未开发出一种无需任何自伴性假设或拉格朗日 formulations，直接从对称性和伴随对称性构造 FPDEs 守恒律的系统方法。将 SAS 方法扩展至 FPDEs 的主要 challenge 源于分数阶导数的 non-local nature，这 complicates 了分数阶 Fréchet 导数、伴随算子及相关 divergence identities 的定义，且分数阶导数缺乏 Leibniz rule，使得整数阶技术的直接 transplantation 不可行。

针对上述问题，研究人员开展了一项系统性研究，旨在将 SAS 方法扩展至非线性黎曼 - 刘维尔 FPDEs 以直接构造守恒律，完全 bypass 了对任何形式的拉格朗日 formulations 的需求。该研究不仅提供了探索分数阶系统守恒性质的 powerful tool，也为对称性方法在非整数阶微分方程中的扩展开辟了 new avenues。相关成果发表在《Applied Mathematics and Computation》期刊上。

研究人员引入分数阶 Fréchet 导数及其伴随分数阶 Fréchet 导数概念，提出分数阶对称特征形式与伴随对称策略。利用散度恒等式，建立无需拉格朗日量的守恒律构造框架，通过对称性与伴随对称性的适当配对直接推导守恒向量。

在 Preliminaries and SAS method 部分，研究人员回顾了 fundamental definitions 和用于构造 FPDEs 守恒律的分数阶 SAS 框架，考虑了由 dependent variables 和 independent variables 组成的黎曼 - 刘维尔时空 FPDEs 系统，定义了分数阶导数及混合导数符号。在 Applications 部分，研究人员将该方法应用于三类典型的黎曼 - 刘维尔分数阶偏微分方程。对于非线性时间分数阶扩散方程，研究人员覆盖了 subdiffusion 和 diffusion-wave 情形；对于耦合分数阶 KdV 型系统以及时间分数阶 b-family peakon 方程，研究人员均通过 appropriate pairings 成功构造了显式守恒律，并与现有结果进行了 comparison。研究结果表明，所提出的框架能够 effectively 和 rigorously 地构造守恒律，且 Ibragimov 守恒定理作为 SAS 框架内的一个 special case 出现。

在 Conclusions and open problem 部分，研究人员总结道，这项工作呈现了关于将 SAS 方法扩展至非线性黎曼 - 刘维尔 FPDEs 的系统性 study。该 study 的 aim 是在 circumventing 传统依赖拉格朗日 strategy 的同时构造守恒律。基于给定非线性黎曼 - 刘维尔 FPDEs 的 mechanism，研究人员引入了分数阶 Fréchet 导数及其分数阶伴随 Fréchet 导数的 concepts，提出了分数阶对称特征形式、分数阶伴随对称性的 strategies。这项工作确立了所提出方法的 universality 和 theoretical completeness，为克服当前工作中的 computational bottlenecks 提供了 crucial methodological support。