[论文解读] Conservation Laws and Potential Systems of Diffusion-Convection Equations

Nataliya M. Ivanova|ArXiv.org|Apr 8, 2004

Nonlinear Waves and Solitons参考文献 12被引用 6

一句话总结

本文针对形式为 $ u_t = (d(u)u_x)_x + k(u)u_x $ 的非线性扩散-对流方程，完整分类了其一阶守恒律及其相关的一阶势系统。通过李对称分析与等价变换，作者推导出所有非等价的守恒律与势系统，识别出16种不同情形，包括非局部对称与高阶结构，其显式解涉及满足线性热方程的任意函数。

ABSTRACT

We investigate conservation laws of diffusion-convection equations to construct first-order potential systems corresponding to these equations. We do two iterations of the construction procedure, looking, in the second step, for the first-order conservation laws of the potential systems obtained in the first step.

研究动机与目标

• 系统分类该类非线性扩散-对流方程 $ u_t = (d(u)u_x)_x + k(u)u_x $ 的所有非等价一阶守恒律。
• 构建与这些守恒律对应的一阶势系统，以实现对非局部（势）对称性的研究。
• 通过计算所导出势系统的守恒律，进一步扩展分析，揭示更深层次的对称结构。
• 通过等价群分析与微分约束，建立一个全面的框架，用于识别非局部对称与守恒律。
• 为该类偏微分方程中潜在对称与非经典（条件）对称的未来分类奠定基础。

提出的方法

• 采用经典李群方法，确定等价群 $ G^{ ext{equiv}} $ 及其李代数 $ A^{ ext{equiv}} $，其中包含缩放、平移及伽利略型对称。
• 通过将PDE代入散度恒等式，求解关于 $ F $ 和 $ G $ 的相应PDE系统，推导出一阶守恒律的一般形式 $ D_t F + D_x G = 0 $。
• 应用等价关系 $ F' = F + D_x H $，$ G' = G - D_t H $，以消除平凡等价的守恒律，确保集合的完整性和非等价性。
• 引入势变量 $ v $，使得 $ v_x = F $，$ v_t = -G $，从而构成可容纳非局部对称的势系统。
• 利用势系统的微分推论，对势系统的守恒律进行分类，确保分类的完备性。
• 求解分类方程 $ \psi_t + d\psi_{xx} - k\psi_x = 0 $ 中的 $ \psi $，其中 $ \psi $ 决定守恒量的结构，并将解与满足线性热方程的任意函数相联系。

实验结果

研究问题

• RQ1 非线性扩散-对流方程 $ u_t = (d(u)u_x)_x + k(u)u_x $ 的所有非等价一阶守恒律是什么？
• RQ2 如何系统地从这些守恒律构建一阶势系统？这些系统具有何种对称性？
• RQ3 所得到的势系统的守恒律是什么？它们如何扩展原PDE的对称结构？
• RQ4 等价群 $ G^{ ext{equiv}} $（包括连续与离散变换）如何保持并分类该类方程中的守恒律？
• RQ5 满足线性热型方程的任意函数在生成非平凡守恒律与势对称中起什么作用？

主要发现

• 为扩散-对流方程类推导出完整的16种非等价一阶守恒律及其相关势系统，如表1所列。
• 守恒律根据 $ d(u) $ 与 $ k(u) $ 的函数形式进行分类，包括 $ k=0 $、$ k=d $、$ k = \int d + ud $ 等情形，以及特定形式如 $ d = u^{-2} $、$ k = u^{-2} $，以及 $ d=1 $、$ k=2u $。
• 对每种情形，显式构造了守恒向量 $ (F, G) $，其中 $ F $ 与 $ G $ 依赖于 $ u $、$ u_x $ 以及 $ d(u) $ 与 $ k(u) $ 的积分，而 $ G $ 包含涉及 $ u_t $ 与任意函数导数的项。
• 证明了势系统可容纳非局部对称，其中情形1与情形1.4此前由Sophocleous识别，且情形1的势系统完整群分类已在先前工作中确认。
• 分析表明，势系统的守恒律等价于密度与通量不依赖于导数 $ u_t, u_x, v_t, v_x $ 的情形，从而简化了分类过程。
• 分类方程 $ \psi_t + d\psi_{xx} - k\psi_x = 0 $ 中辅助函数 $ \psi $ 的解与线性热方程的任意解相关联，确保了结果的广泛适用性与非平凡性。