[論文レビュー] Generic hyperbolicity for the equilibria of the one dimensional parabolic equation

Antônio Luíz Pereira|ArXiv.org|Apr 1, 2003

Advanced Mathematical Modeling in Engineering参考文献 1被引用数 3

ひとこと要約

本稿は、微分係数 $ a(x) $ にやや厳しい条件を課えることで、1次元反応拡散方程式 $ u_t = (a(x)u_x)_x + f(u) $ における平衡解の一般超曲率を確立する。解析的関数 $ a(x) $ が高々2つの単調性区間を持ち、$ x=1/2 $ を中心として対称でない場合、$ f \in C^2 $ の残渣的集合がすべての平衡解が超曲的であることを保証する。従来の研究で要請されていた平衡解や $ a(x) $ の構造に関する制限的仮定を排除した。

ABSTRACT

We show, for some classes of diffusion coefficients that, generically in f, all equilibria of the reaction-diffusion equation u_t = (a(x)u_x)_x + f(u) with homogeneous Neumann boundary conditions are hyperbolic.

研究の動機と目的

• 非定数拡散係数を有する反応拡散方程式における平衡解の一般超曲率を示すという、先行研究のギャップを埋める。
• 従来の研究で要請されていた、平衡解や $ a(x) $ の構造に関する制限的仮定を排除する。
• 解析的関数 $ a(x) $ が高々2つの単調性区間を持ち、$ x=1/2 $ を中心として対称でない場合、$ f $ に関して一般超曲率が成立することを確立する。
• 平衡解や拡散係数に追加の制約を課さずに、一般超曲率の完全な証明を提供する。
• 従来の一般超曲率結果を定数係数から非定数係数に拡張し、最小限の構造的仮定のもとで成立させる。

提案手法

• 線形化固有値問題 $ (a w_x)_x + f'(u) w = \lambda w $ とノイマン境界条件を扱う関数解析的アプローチを用いる。
• 関数 $ u $ の等高線集合上での $ f(u) \phi(x) $ の積分を含む技術的補題を適用し、$ \phi $ の臨界点および正則点における振る舞いを関連付ける。
• 対称性と解析性に基づく背理法を用いる：解 $ u $ が対称な臨界点を持ち、$ a(x) $ が解析的であれば、$ a(x) $ は $ x=1/2 $ を中心として対称でなければならない。
• $ a(x) $ が $ x=1/2 $ を中心として対称でないという事実を用いて、非超曲的平衡解を有する例外的解を除外する。
• 補題9を適用し、$ a(x) $ が高々2つの単調性区間を持つ場合、例外的解（非超曲的平衡解）は存在しないことを示す。
• $ f \in C^2 $ のうち、すべての平衡解が超曲的であるような集合が、ホイットニー位相において残渣的であることを確立する。これは一般性を示す。

実験結果

リサーチクエスチョン

• RQ1 非定数拡散係数 $ a(x) $ を有する1次元放物型方程式において、平衡解の一般超曲率を、平衡解に追加の制約を課さずに確立できるか？
• RQ2 反応拡散方程式において、非超曲的平衡解の存在を除外できる $ a(x) $ の条件は何か？
• RQ3 $ a(x) $ が非定数であっても、$ a(x) $ にやや厳しい構造的条件を課せば、$ f $ だけを変更することで一般超曲率を達成可能か？
• RQ4 $ a(x) $ が $ x=1/2 $ を中心として対称ではなく、解析的かつ高々2つの単調性区間を持つ場合、すべての平衡解が一般に超曲的であるかどうかを保証できるか？
• RQ5 定数係数 $ a $ に限らない一般超曲率の結果を、$ a $ の摂動を要請せず、$ f $ の制限のみで拡張可能か？

主な発見

• 解析的関数 $ a(x) $ が高々2つの単調性区間を持ち、$ x=1/2 $ を中心として対称でない場合、すべての平衡解が超曲的であるような $ f \in C^2 $ の集合は、ホイットニー位相において残渣的である。
• 同じ $ a(x) $ の条件下で、非超曲的または非退化でない平衡解（例外的解）は存在しない。これは、対称性と解析性に基づく背理法によって示された。
• $ a(x) $ を変更せず、$ f $ のみを摂動することで一般超曲率が達成される。これは、上記の条件下で成立する。
• 証明の根幹は、解 $ u $ が対称な臨界点を持ち、$ a(x) $ が解析的であれば、$ a(x) $ は $ x=1/2 $ を中心として対称でなければならない、という事実に基づく。これは仮定に反する。
• 与えられた仮定のもとで、超曲率が確立されれば、不変多様体の横断的交差が保証されるため、モース＝スマール性が自動的に成立する。
• 補題9は、$ a(x) $ が高々2つの単調性区間を持つ場合、例外的解は存在しないことを示しており、これは $ f $ における一般超曲率を確立する上で鍵となる。