[論文レビュー] Invariant Properties of the Ansatz of the Hirota Method for Quasilinear Parabolic equations

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

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

ひとこと要約

本稿では、ヒロタアンザッツの不変性に基づく新規手法を提案し、フィッツフーリュ・ナグumo・セメノフ方程式やフィッシャー＝コルモゴロフ方程式を含む、非線形放物型方程式のクラスに対して厳密解を構成する。同手法は斉次性および変換不変性を活用し、ドレッシング変換に類似した新しい解を生成する。さらに、フィッツフーリュ・ナグumo・セメノフ方程式の既知のすべての厳密解が、コール・ホプフ型変換を介して線形放物型方程式の解から導出可能であることを証明する。

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.

研究の動機と目的

• 非線形放物型方程式の厳密解を構成するための体系的かつ一貫した手法を開発すること。
• アンザッツ構造における斉次性および変換不変性を活用することで、ヒロタ法を一般化すること。
• フィッツフーリュ・ナグumo・セメノフ方程式の既知の厳密解が、線形放物型方程式の解からコール・ホプフ型変換を経て得られることを示すこと。
• 構造的不変性を活用した計算フレームワークを、コンピュータ代数システムを用いて構築すること。
• バーガース方程式、FKPP方程式、アレン＝カーン方程式などの解法技術を、共通の対称性の同定によって統一的かつ拡張的に統合すること。

提案手法

• 本手法は、$ 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) $ が元の微分方程式を満たすことが示され、既知の解から新たな解を生成可能である。
• 本手法は、フィッツフーリュ・ナグumo・セメノフ方程式や修正フィッシャー＝コルモゴロフ方程式などの特殊ケースに適用され、線形放物型方程式への変換により明示的な解が得られる。
• 本手法はドレッシング変換に類似しており、コンピュータ代数システムとの互換性があり、自動化された解生成が可能である。

実験結果

リサーチクエスチョン

• RQ1 ヒロタアンザッツの不変性を体系的に活用して、非線形放物型方程式の新たな厳密解を生成できるか？
• RQ2 フィッツフーリュ・ナグumo・セメノフ方程式の既知の厳密解は、どの程度まで線形放物型方程式の解から変換を経て導出可能か？
• RQ3 アンザッツの斉次構造は、$ u_t $ および $ u_{xx} $ に非線形係数を含む方程式に対し、解の構成をどのように可能にするか？
• RQ4 補助関数 $ A(x,t) $ はアンザッツにおいて果たす役割は何か？ また、不変性を用いてその冗長性はどのように除去可能か？
• RQ5 本手法は他の散乱方程式へ一般化可能であり、コンピュータ代数を用いたアルゴリズム的実装が可能か？

主な発見

• フィッツフーリュ・ナグumo・セメノフ方程式の既知のすべての厳密解は、コール・ホプフ型変換を介して線形放物型方程式の解で表現可能である。
• 修正された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)} $ の解が導出され、微小摂動からの2番目の波の発展を記述する。
• 特定のパrameter条件下で、修正フィッシャー＝コルモゴロフ＝ペトロフスキー＝ピスヌーフ方程式の解は、線形常微分方程式への変換によりベッセル関数または超幾何関数で表現可能であることが示された。
• 本手法により、$ M(x,t) = B(x,t)/A(x,t) $ が元の微分方程式を満たすことが証明され、既知の解から再帰的に解を生成可能である。
• アンザッツ構造により、不連続性が有限時間で形成され、左右の挙動が異なる複雑な波動の進化を示す解の構成が可能である。
• 本手法はアルゴリズム的に実行可能であり、コンピュータ代数システムと互換性があり、広範な非線形散乱方程式に対して自動化された解生成が可能である。