[论文解读] Invariant Properties of the Ansatz of the Hirota Method for Quasilinear Parabolic equations

К. А. Волосов|ArXiv.org|Mar 12, 2001

Nonlinear Waves and Solitons参考文献 3被引用 3

一句话总结

本文提出了一种基于Hirota试探法不变性质的新方法，用于构造一类拟线性抛物方程的精确解，包括FitzHugh-Nagumo-Semenov方程和Fisher-Kolmogorov方程。通过利用齐次性和变换不变性，该方法生成了类似于梳妆变换的新解，并证明了FitzHugh-Nagumo-Semenov方程的所有已知精确解均可通过Cole-Hopf型变换从线性抛物方程导出。

ABSTRACT

We propose a new method based on the invariant properties of the ansatz of the Hirota method which have been discovered recently. This method allows one to construct new solutions for a certain class the dissipative equations classified by degrees of homogeneity. This algorithm is similar to the method of ``dressing'' the solutions of integrable equations. A class of new solutions is constructed. It is proved that all known exact solutions of the FitzHygh-Nagumo-Semenov equation can be expressed in terms of solutions of the linear parabolic equation. This method is compared with the Miura transforms in the theory of Kortveg de Vris equations. This method allows on to create a package by using the methods of computer algebra.

研究动机与目标

• 开发一种系统化方法，利用Hirota试探法的不变性质构造拟线性抛物方程的精确解。
• 通过利用试探结构中的齐次性和变换不变性，推广Hirota方法。
• 证明FitzHugh-Nagumo-Semenov方程的已知精确解可通过Cole-Hopf型变换从线性抛物方程的解导出。
• 通过利用方法的结构不变性，建立基于计算机代数的计算框架。
• 通过识别共同的底层对称性，统一并扩展Burgers、FKPP和Allen-Cahn等方程的解生成技术。

提出的方法

• 该方法采用有理试探形式 $ u(x,t) = G(x,t)/F(x,t) $，其中 $ G $ 和 $ F $ 以指数函数及辅助函数 $ A(x,t) $、$ B(x,t) $ 和 $ H(x,t) $ 表示。
• 将试探代入拟线性抛物方程后，通过齐次性阶分析，得到关于 $ \exp(H(x,t)) $ 幂次系数的方程组。
• 利用不变性性质简化试探：函数 $ A(x,t) $ 可被吸收进 $ H(x,t) $，从而减少自由函数的数量。
• 一个关键引理表明，若 $ B(x,t) = M(x,t)A(x,t) $，则 $ M(x,t) $ 满足原方程，从而可从已知解生成新解。
• 该方法被应用于FitzHugh-Nagumo-Semenov方程和改进的Fisher-Kolmogorov-Petrovskii-Piskunov方程等特例，通过变换为线性抛物方程获得显式解。
• 该方法被证明类似于梳妆变换，并且与计算机代数系统兼容，可实现解的自动生成。

实验结果

研究问题

• RQ1 能否系统性地利用Hirota试探法的不变性质，生成拟线性抛物方程的新精确解？
• RQ2 在多大程度上，FitzHugh-Nagumo-Semenov方程的已知精确解可通过变换从线性抛物方程的解导出？
• RQ3 试探的齐次性结构如何实现对 $ u_t $ 和 $ u_{xx} $ 中含非线性系数方程的解的构造？
• RQ4 辅助函数 $ A(x,t) $ 在试探中的作用是什么？其冗余性如何通过不变性去除？
• RQ5 该方法能否推广到其他耗散方程，并通过计算机代数实现算法化？

主要发现

• 所有已知的FitzHugh-Nagumo-Semenov方程的精确解均可通过Cole-Hopf型变换表示为线性抛物方程解的形式。
• 对于改进的FhNS方程，推导出解 $ u(x,t) = \frac{1 - \exp(a_1 x)}{1 + \exp(a_1 x) + \exp\left(\frac{(-h_1^2 - 3a_1^2)t + 2(h_1 + a_1)x}{4}\right)} $，该解描述了从微小扰动发展而来的第二波行为。
• 在特定参数条件下，改进的Fisher-Kolmogorov-Petrovskii-Piskunov方程的解可通过变换为线性常微分方程，表示为贝塞尔函数或合流超几何函数的形式。
• 该方法证明了函数 $ M(x,t) $（定义为 $ B(x,t)/A(x,t) $）满足原方程，从而可从已知解递归生成新解。
• 该试探结构允许构造具有复杂波演化行为的解，包括在有限时间内形成具有左右不同行为的间断。
• 该方法具有算法可行性，并与计算机代数系统兼容，可实现对一大类耗散方程的自动解生成。