Lie symmetry classification and invariant solutions of time-fractional telegraph systems with variable coefficients

本文对具有变系数的时间分数阶电报系统进行了完整的李对称性分类，识别出三个不同的对称类，并推导出以 Mittag-Leffler 函数、广义 Wright 函数和 Fox $H$-函数表示的精确不变解，以模拟具有记忆效应和非局部效应的输运现象。

要点

想象一下，你正在预测信号如何穿过一条非常奇特且崎岖不平的道路。在现实世界中，信号（例如在材料中传播的热量或在芯片中传输的电流）并不会瞬间直达。它们具有“记忆”。如果道路昨天崎岖不平，信号今天可能仍会因此前的经历而晃动。它们也不仅仅沿直线移动；它们像波一样扩散，并像一滴墨水在水中那样弥散。

数学家使用一种称为电报方程的特殊工具来描述这种运动。但是，当材料很复杂（例如具有不均匀特性的半导体）且“记忆”效应很强时，标准数学方法就不够用了。这就是本文的切入点。

以下是作者所做工作的简要分解，使用了一些日常类比：

1. 问题：规则不断变化的道路

作者正在研究一种特定类型的方程（“时间分数电报系统”），用于模拟这些信号。

• “道路”（系数）： 想象道路并非平坦。有些部分很滑，有些部分很粘，且规则取决于你所在的位置（空间变化的系数）。
• “记忆”（分数阶导数）： 与只关心轮胎下当前路面的普通汽车不同，这辆“信号车”记得过去一小时行驶过的路面。数学上使用Riemann–Liouville 分数阶导数来追踪这段历史。

2. 工具：“对称性”侦探

为了解决这些复杂的方程，作者使用了一种称为李对称性分析的方法。

• 类比： 想象你有一团复杂的乱绳。你想解开它以看清图案。你需要寻找“对称性”——即旋转、拉伸或移动绳结而不改变其基本形状的方式。
• 他们做了什么： 他们像侦探一样，在方程中寻找这些隐藏的对称性。他们问道：“如果我以特定方式改变时间或位置，方程看起来是否仍然相同？”
• 发现： 他们发现，答案完全取决于两个因素之间的关系：输运系数（信号移动的速度，类似于道路的平滑度）和势函数（推动信号的外部力）。

3. 三种“解族”

作者发现，根据道路与力之间的相互关系，方程可分为三个不同的族（或类别）。

• 族 1： 最一般的情况。道路和力以特定且复杂的方式相关联。
• 族 2： 一种稍简单的关系，其中力通过特定公式与道路的形状绑定。
• 族 3： 最特殊的情况，其中力与道路的形状完美平衡。

对于每个族，他们构建了一个**“最优系统”**。

• 类比： 将其想象为一个万能钥匙环。他们不是尝试每一把钥匙来开门，而是找到了该族中能够打开所有可能门的最小、最高效的钥匙集（对称性）。

4. 结果：破解密码

一旦找到了正确的钥匙（对称性），他们就能简化复杂的方程。

• 降维： 他们将一个涉及两个变量（时间和空间）的难题，转化为一个仅涉及一个变量的更简单问题（“分数阶常微分方程”）。
• 解： 他们解决了这些更简单的问题并写出了精确的解。这些解不是简单的数字；它们是用以著名数学家命名的特殊数学“超级函数”表达的：
  • Mittag-Leffler 函数： 我们在基础物理中使用的标准指数函数的“分数阶表亲”。
  • 广义 Wright 函数和 Fox H 函数： 描述系统“记忆”和“非局部”行为所需的更复杂工具。

这为何重要？

该论文声称这些解是基准。

• 类比： 想象工程师正在构建新的计算机模拟，以设计更好的汽车刹车或更快的微芯片。他们需要一个“黄金标准”答案，以检查其计算机是否正常工作。
• 由于作者找到了精确的闭式解（即“黄金标准”），工程师可以运行其复杂的计算机模型，并将结果与这些精确解进行比较。如果计算机模型与论文的解相匹配，工程师就知道他们的模型是准确的。

总结

简而言之，这是一份数学地图。它确切地告诉我们如何导航特定类型的复杂、充满记忆的信号传输问题。通过发现隐藏的对称性，作者将一个看似混乱、无法解决的难题转化为一组清晰、精确的公式。这些公式充当了科学家和工程师的“真实性检查”，用于模拟现实世界系统，例如特殊材料中的热流或不均匀半导体中的电流。

注意： 该论文严格专注于这些精确公式的数学分类和推导。它并未声称已解决特定的工业问题，也未讨论临床用途；它提供了其他人可用于验证自身模型的数学工具（即精确解）。

技术摘要

以下是 Sodbaatar Adiya 等人撰写的论文《变系数时间分数电报方程组的李对称分类与不变解》的详细技术总结。

1. 问题陈述

本文针对表现出记忆效应和非局部行为的工业及物理系统中的传输过程进行数学建模。虽然经典电报方程能够描述以有限速度传播的信号，但它们无法捕捉粘弹性介质、反常热传导以及无序半导体中电荷传输所具有的遗传特性。

作者研究了一类具有空间变化系数的时间分数电报方程组，其定义如下：
$$\begin{cases} \frac{\partial^\alpha u}{\partial t^\alpha} = v_x \\ \frac{\partial^\alpha v}{\partial t^\alpha} = f(x)u_x + g(x)u \end{cases}$$
其中：

• $\alpha > 0$ 为分数阶（采用 Riemann–Liouville 导数）。
• $f(x) > 0$ 代表空间依赖的传输特性（例如扩散率）。
• $g(x)$ 代表非均匀介质中的外部势或强迫效应。

核心挑战： 以往关于分数电报方程的研究仅限于特定的系数形式或受限条件。针对具有一般可微函数 $f(x)$ 和 $g(x)$ 的该系统，进行完整的李对称分类曾是一个未解决的问题。目标是识别所有允许对称性扩展的 $f(x)$ 和 $g(x)$ 的函数形式，并推导精确的不变解。

2. 方法论

作者采用了扩展至分数阶偏微分方程（FPDEs）的李对称分析法。方法论包含以下步骤：

1. 无穷小生成元构建： 定义了通用的无穷小生成元 $X = \xi \partial_x + \tau \partial_t + \mu \partial_u + \phi \partial_v$ 及其延拓，包括涉及 Riemann–Liouville 导数的分数阶扩展无穷小量 $\mu^{(\alpha)}$ 和 $\phi^{(\alpha)}$ 的具体公式。
2. 确定方程： 通过应用不变性判据 $\tilde{X}(\Delta)|_{\Delta=0} = 0$，推导出一组超定的确定方程组。
3. 线性性证明： 一个关键引理证明了无穷小量 $\mu$ 和 $\phi$ 必须关于因变量 $u$ 和 $v$ 呈线性关系。这通过消除高阶补充项（$\mu_1, \phi_1$）简化了系统。
4. 分类： 通过分析由确定方程导出的关于 $f(x)$ 和 $g(x)$ 的约束条件，作者将系统分类为不同的对称情形。
5. 最优系统： 对于每个对称类，他们构建了一维李子代数的最优系统，以确保群不变解分类的无冗余性。
6. 对称约化： 利用最优系统的特征方程，将原始 FPDEs 约化为分数阶常微分方程（FODEs）。
7. 精确解： 解析求解约化后的 FODEs，将解表示为特殊函数的形式：Mittag-Leffler 函数、广义 Wright 函数和Fox H 函数。

3. 主要贡献

• 完整的李对称分类： 本文提供了针对具有一般空间变化系数的时间分数电报方程组的第一个完整的李对称分类。
• 对称类的识别： 研究表明，对称结构根本上取决于 $f(x)$ 与 $g(x)$ 之间的关系。作者根据 $g(x)$ 相对于 $f(x)$ 的特定函数形式，识别了三个不同的对称类（外加一个通用情形）：
  1. 通用情形： 仅存在平凡的缩放和线性叠加对称性。
  2. 情形 1： $g(x) = \frac{\lambda_2 \sqrt{f(x)}}{\omega_{\lambda_1}(x)} + \frac{f'(x)}{2}$，允许额外的缩放对称性。
  3. 情形 2： $g(x) = \lambda_2 \sqrt{f(x)} + \frac{f'(x)}{2}$，允许类平移对称性。
  4. 情形 3： $g(x) = \frac{f'(x)}{2}$，允许最大的对称代数（包括 $u-v$ 平面内的类旋转对称性）。
• 约化为 FODEs： 作者成功地将复杂的 FPDE 系统针对每个对称类约化为可解的 FODEs。
• 闭式解： 他们推导出了显式的不变解，这些解通过高级特殊函数（Fox H 函数、Wright 函数）表示，这对于描述分数传输现象至关重要。

4. 主要结果

该研究得出了针对已识别情形的特定不变解：

• 情形 1 和 2（约化为变系数 FODEs）：
  • 对于 $0 < \alpha < 1$，解使用Fox H 函数（$H_{p,q}^{m,n}$）表示；对于 $\alpha \geq 1$，解使用广义 Wright 函数（$\Psi$）表示。
  • 相似变量涉及 $t$ 与 $1/\sqrt{f(x)}$ 的积分的组合。
• 情形 3（$g(x) = f'(x)/2$）：
  • 该情形允许最显著的约化。系统可以解耦为可分离方程。
  • 解表示为空间函数与时间函数乘积的和，其中时间函数涉及Mittag-Leffler 函数（$E_{\alpha, \beta}$）和 Wright 函数。
  • 值得注意的是，如果 $f(x) = x^{2m}$，则对于任意 $m > 0$，系统均可约化为可分离形式，这是对以往仅限于 $f(x)=x^2$ 的结果的推广。

5. 意义与影响

• 理论进展： 这项工作弥合了经典电报方程对称分析与分数微积分之间的差距，将理论扩展至具有任意空间非均匀性的系统。
• 基准测试： 推导出的精确解析解可作为验证工业传输建模中所用数值方法的关键基准。分数偏微分方程的数值格式通常在精度方面存在困难；这些精确解为验证提供了真实基准。
• 物理洞察： 以 Mittag-Leffler 函数和 Fox H 函数为特征的解，在数学上捕捉了复杂介质（如粘弹性、反常扩散）中传输的“记忆”和“非局部”本质。
• 未来方向： 作者建议，该框架可扩展至非线性分数电报方程、多维系统以及其他分数算子（例如 Caputo 导数），从而进一步加强复杂工业系统建模的数学基础。

总之，本文提供了一个严格的数学框架，用于分析和求解具有变系数的时间分数电报方程组，不仅提供了完整的对称分类，还提供了一组丰富的精确解，这对于理解和建模依赖记忆的传输现象至关重要。