[論文レビュー] Reduction operators of variable coefficient semilinear diffusion equations with an exponential source

Olena Vaneeva, Roman O. Popovych+1 more|arXiv (Cornell University)|Oct 11, 2010

Differential Equations and Numerical Methods参考文献 22被引用数 5

ひとこと要約

本稿では、点変換およびクラス間の写像を用いた体系的なアルゴリズムを開発し、指数的源項を有する変数係数半線形拡散方程式に対する還元作用素（非古典的対称性）を分類する。主な貢献は、このような方程式に対する同値でない還元作用素の完全分類であり、特にべき則係数および指数的非線形性を有する方程式に対して、明示的な公式を用いて新たな厳密解が得られることである。

ABSTRACT

Reduction operators (called also nonclassical or $Q$-conditional symmetries) of variable coefficient semilinear reaction-diffusion equations with exponential source $f(x)u_t=(g(x)u_x)_x+h(x)e^{mu}$ are investigated using the algorithm involving a mapping between classes of differential equations, which is generated by a family of point transformations. A special attention is paid for checking whether reduction operators are inequivalent to Lie symmetry operators. The derived reduction operators are applied to construction of exact solutions.

研究の動機と目的

• 変数係数半線形拡散方程式に指数的源項を有する還元作用素（非古典的対称性）を分類すること。
• 点変換およびクラス間の写像に基づくアルゴリズムを構築・適用し、分類問題を簡略化すること。
• リー対称性作用素と同値でない還元作用素、特に非リー型で正則な還元作用素を特定すること。
• 導出された還元作用素を用いて、元のクラスおよび写像されたクラスの両方のための厳密解を構成すること。
• 非自明な還元作用素を有する方程式の構造を分析すること、特にべき則係数および指数的非線形性を有する場合に注目する。

提案手法

• 点変換の族によって生成されるPDEのクラス間の写像を用い、還元作用素の分類を簡略化する。
• 同値変換およびゲージ化技術を適用し、元のクラスの複雑さを単純化された「写像先」クラスに低減する。
• 過剰決定系PDEを用いて還元作用素を特定し、特に正則でリー型でない対称性に注目する。
• 係数関数の特定のアンサッツの下で決定系を解くことにより、還元作用素の明示的形を導出する。
• 写像先クラスと元のクラスとの間の変換を用いて、単純なクラスから得られた厳密解を元のクラスに持ち上げる。
• 形 $ f(x)u_t = (g(x)u_x)_x + h(x)e^{mu} $ の方程式に適用し、$ fgh \neq 0 $、$ m \neq 0 $ を満たし、特定の係数構造を有する場合を分析する。

実験結果

リサーチクエスチョン

• RQ1 変数係数半線形拡散方程式に指数的源項を有する場合、どの還元作用素が存在し、どのように体系的に分類できるか？
• RQ2 これらの還元作用素のうち、リー対称性作用素と同値でないものはどれであり、どのような条件下で生じるか？
• RQ3 点変換による方程式クラス間の写像をどのように用いることで、還元作用素の分類を簡略化できるか？
• RQ4 導出された還元作用素からどのような厳密解が構成可能であり、それらの明示的形は何か？
• RQ5 どのような係数条件下で非リー型正則還元作用素が存在し、それらが満たす構造的性質は何か？

主な発見

• 本稿では、変換に基づくアルゴリズムを用いて、方程式クラス $ f(x)u_t = (g(x)u_x)_x + h(x)e^{mu} $（$ fgh \neq 0 $、$ m \neq 0 $）に対する同値でない還元作用素の完全分類を導出した。
• 還元作用素がリー対称性と同値でないのは特定のケースに限られ、たとえば $ F = \alpha x^{-1} $、$ H = 2(1 - \alpha)x^{-2} $、$ \alpha \neq -1 $ の場合にのみ成立し、このとき $ b = -(1 + \alpha)x^{-1} $ となる。
• 明示的な厳密解が $ \varepsilon = 1 $ の場合、$ v = -2\ln\left| \frac{\sqrt{2}(1+\alpha)}{2s_1x} \cosh(s_1 t + \frac{s_1 x^2}{2(1+\alpha)} + s_2) \right| $ の形で構成され、$ \varepsilon = -1 $ の場合には類似する双曲的および三角関数的形が得られる。
• 元の方程式 $ x^\alpha u_t = (x^\alpha u_x)_x + \varepsilon x^{\alpha+2} e^u $ の解は変換 $ u = v - 2\ln|x| $ を用いて得られ、解の族が元のクラスへ拡張される。
• 命題4.3では、作用素 $ \partial_t + b(x)\partial_x $ の関数 $ b $ が $ t $ に依存しない場合にのみ、非自明な正則還元作用素が存在しうることを示した。
• 命題4.4では、任意の還元作用素について $ b_{xx} = 0 $ ならば、それはリー対称性作用素と同値であることが証明され、したがって非リー型である可能性は排除される。