[论文解读] A Fractional Lie Group Method For Anomalous Diffusion Equations

Guo–Cheng Wu|arXiv (Cornell University)|Jul 15, 2010

Fractional Differential Equations Solutions参考文献 19被引用 24

一句话总结

本文提出了一种分数阶李群方法，用于求解具有Caputo型导数的空间-时间分数阶扩散方程，基于Jumarie改进的Riemann-Liouville微积分提出广义特征线法。主要贡献在于通过对称性分析推导出精确解的完整分类，包括通过群变换实现的迭代精确解。

ABSTRACT

Lie group method provides an efficient tool to solve a differential equation. This paper suggests a fractional partner for fractional partial differential equations using a fractional characteristic method. A space-time fractional diffusion equation is used as an example to illustrate the effectiveness of the Lie group method.

研究动机与目标

• 开发一种系统化的分数阶李群方法，用于求解非线性分数阶偏微分方程。
• 将经典李群理论扩展至具有时间和空间分数阶导数的分数阶微分方程。
• 基于对称性变换对空间-时间分数阶扩散方程的精确解进行分类。
• 通过显式解的生成与迭代解的构建，展示该方法的有效性。

提出的方法

• 采用Jumarie的改进Riemann-Liouville分数阶微积分定义分数阶导数与积分。
• 基于双变量分数阶泰勒级数，为线性空间-时间分数阶PDE开发广义分数阶特征线法。
• 通过分数阶微分形式推导分数阶特征曲线：$ du = \frac{\partial^\beta u}{\Gamma(1+\beta)\partial x^\beta}(dx)^\beta + \frac{\partial^\alpha u}{\Gamma(1+\alpha)\partial t^\alpha}(dt)^\alpha $。
• 为分数阶扩散方程构建向量场的李代数，识别出有限维与无限维子代数。
• 应用对称性生成元推导不变解，包括标度、平移与指数型变换。
• 利用对称性群从初始解形式出发，迭代生成新的精确解。

实验结果

研究问题

• RQ1 能否将李群理论扩展至具有时间和空间任意阶导数的分数阶微分方程？
• RQ2 空间-时间分数阶扩散方程 $ \partial_t^\alpha u = \partial_x^{2\beta} u $ 的对称代数结构是什么？
• RQ3 如何将分数阶特征线方法推广，以推导分数阶PDE的解？
• RQ4 通过分数阶李对称性可系统生成哪些类型的精确解？
• RQ5 能否通过对称性群作用于初始解形式，实现迭代解的构建？

主要发现

• 分数阶李群方法成功利用7维向量场李代数对空间-时间分数阶扩散方程的精确解进行了完整分类。
• 该方法生成了六种不同类型的精确解，包括标度、平移、指数及相似型变换。
• 解 $ u^{(5)} $ 表示为 $ u^{(5)} = \exp\left(\frac{t^\alpha \varepsilon^2}{\Gamma(1+\alpha)} - \frac{x^\beta \varepsilon}{\Gamma(1+\beta)}\right) f\left(\frac{x^\beta}{\Gamma(1+\beta)} - 2\varepsilon \frac{t^\alpha}{\Gamma(1+\alpha)}, \frac{t^\alpha}{\Gamma(1+\alpha)}\right) $，支持迭代优化。
• 识别出初始解 $ u_1^{(5)} = c \exp\left(\frac{t^\beta \varepsilon^2}{\Gamma(1+\beta)} - \frac{x^\alpha \varepsilon}{\Gamma(1+\alpha)}\right) $，并通过重复应用对称性生成更高阶解 $ u_n^{(5)} $。
• 无限维子代数 $ v_7 = a(x,t) \partial_u $ 允许通过任意函数 $ a(x,t) $ 参数化解族，显著扩展了解的通用性。
• 该方法证实，分数阶对称性分析可提供系统化的精确解构造框架，克服了分数阶PDE缺乏通用解法的局限。