[論文レビュー] Group Analysis of Variable Coefficient Diffusion-Convection Equations. II. Contractions and Exact Solutions

Nataliya M. Ivanova, Roman O. Popovych+1 more|ArXiv.org|Oct 16, 2007

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

ひとこと要約

本稿は、微分方程式系、対称性代数、および正確解の収縮に関する厳密な数学的枠組みを導入し、形 $ f(x)u_t = (g(x)A(u)u_x)_x + h(x)B(u)u_x $ の変数係数拡散対流方程式に適用する。パrameter化された部分クラスの極限を分析することにより、非線形性の異なる場合におけるリー対称性代数と正確解の間の体系的関係を確立し、収縮手続きを用いて既知の解から新しい正確解を導出可能にする。

ABSTRACT

This is the second part of the series of papers on symmetry properties of a class of variable coefficient (1+1)-dimensional nonlinear diffusion-convection equations of general form $f(x)u_t=(g(x)A(u)u_x)_x+h(x)B(u)u_x$. At first, we review the results of Part 1 of the series on equivalence transformations and group classification of the class under consideration. Investigation of non-trivial limits of parameterized subclasses of equations from the given class, which generate contractions of the corresponding maximal Lie invariance algebras, leads to the natural notion of contractions of systems of differential equations. After a brief discussion on contractions of symmetries, equations and solutions in general case, such types of contractions are studied for diffusion--convection equations. A detailed symmetry analysis of an interesting equation from the class under consideration is performed. Exact solutions of some subclasses of the considered class are also given.

研究の動機と目的

• 微分方程式、対称性代数、解の収縮という概念を形式化し、既知の直感的・手作業的な手続きを拡張すること。
• パrameter化された部分クラスの収縮極限を通じて、変数係数拡散対流方程式におけるリー対称性拡張の異なるケースの間の体系的関係を確立すること。
• べき乗非線形性を持つ方程式の既知の正確解が、収縮によって指数非線形性を持つ方程式の正確解に変換可能であることを示すこと。
• 研究対象のクラスの異なる部分クラスにおいて、不変解、縮約されたODE、およびアンサッツを統一的に関連付ける枠組みを提供すること。
• 等価変換と収縮を併用することで、複雑な非線形PDEにおける正確解の導出を直接計算よりもより効率的に行えることを示すこと。

提案手法

• パrameter化された部分クラスの極限として、微分方程式およびその対称性代数の収縮という概念を導入し、リー代数の収縮に類似したものとする。
• 変数係数拡散対流方程式のクラス $ f(x)u_t = (g(x)A(u)u_x)_x + h(x)B(u)u_x $ に収縮手続きを適用し、べき乗非線形性および指数非線形性に焦点を当てる。
• 変数変換 $ u = 1 + \tilde{u}/\mu $, $ \varphi = 1 + \tilde{\varphi}/\mu $ を用いて、$ \mu \to \infty $ の極限において、べき乗系から指数系へのアンサッツおよび縮約ODEを写像する。
• 漸近解析を用いて、元のべき乗非線形ODEから極限の縮約ODE $ (e^{\tilde{\varphi}})^{\prime\prime} = -\delta $ を導出する。
• すべての対称性部分代数について、$ \mu \to \infty $ の極限におけるアンサッツ、相似変数、および縮約ODEの収縮を要約した表（表6）を構築する。
• 定数係数形に還元不能な $ sl(2,\mathbb{R}) $-不変方程式について詳細な対称性解析を行い、本手法の有効性を示す。

実験結果

リサーチクエスチョン

• RQ1 リー代数の収縮という概念を、微分方程式系およびその対称性代数にどのように一般化できるか。
• RQ2 変数係数拡散対流方程式の異なる部分クラス間の収縮の数学的構造は何か。
• RQ3 べき乗非線形性を持つ方程式の正確解を、収縮を用いて体系的に指数非線形性を持つ方程式の正確解に変換できるか。
• RQ4 最適な部分代数系および縮約ODEは、収縮の下でどの程度一貫して変換されるか。
• RQ5 等価変換と収縮を併用することで、非線形PDEにおける正確解の導出がどの程度簡素化されるか。

主な発見

• 極限 $ \mu \to \infty $ におけるアンサッツ $ u = \varphi(x)|t|^{-1/\mu} $ の収縮により、$ e^{\tilde{u}} = e^{\tilde{\varphi}}|t|^{-1} $ が得られ、これは $ \tilde{u} = \tilde{\varphi} - \ln|t| $ に対応する。
• 縮約ODE $ \frac{\mu}{\mu+1}[(1+\tilde{\varphi}/\mu)^{\mu+1}]^{\prime\prime} = -\delta(1+\tilde{\varphi}/\mu) $ は $ \mu \to \infty $ の極限で $ (e^{\tilde{\varphi}})^{\prime\prime} = -\delta $ に収束する。
• べき乗系におけるすべてのアンサッツおよび縮約ODEが、表6に要約されたように、指数系に対応する形に体系的に収縮される。
• 収縮プロセスは、相似変数および対称性還元の構造を保存するため、解法の直接的移行が可能になる。
• $ sl(2,\mathbb{R}) $-不変方程式 (9) が「本質的に変数係数」であり、定数係数形に還元不能であることが示され、本手法の非自明なケースへの適用の重要性が強調される。
• 本枠組みにより、等価変換と収縮を用いて、より単純な同値方程式の既知の解を活用することで、複雑な方程式の正確解を再構成可能となる。