[論文レビュー] Classification of connecting solutions of semilinear parabolic equations

Michael Robinson|ArXiv.org|Sep 17, 2007

Nonlinear Partial Differential Equations参考文献 6被引用数 4

ひとこと要約

この論文は、多項式非線形性をもつ半線形放物型方程式の全域的解のうち、平衡解を接続する解を分類し、その解が有限エネルギーであることで特徴づけられることを示している。$L^2$ 上の勾配構造を用いて、有限エネルギーが $|t| \to \infty$ 時に平衡解への収束を示し、コンパクト集合上で解およびその一階微分の各々が一様収束することを証明している。空間次元または非線形性の次数に関する条件の下で成り立つ。

ABSTRACT

For a given semilinear parabolic equation with polynomial nonlinearity, many solutions blow up in finite time. For a certain large class of these equations, we show that some of the solutions which do not blow up actually tend to equilibria. The characterizing property of such solutions is a finite energy constraint, which comes about from the fact that this class of equations can be written as the $L^2$ gradient of a certain functional.

研究の動機と目的

• 2つの平衡解を強く接続する半線形放物型方程式の解を特徴づけること。
• 有限エネルギーが、そのような接続的挙動の必要十分条件であることを確立すること。ここで有限エネルギーは $L^2$-勾配構造を介して定義される。
• 爆発や移動波解を除く全域的解の長時間挙動を分析すること。
• 空間次元および正則性の弱い制約の下で、解およびその一階微分が平衡解へ一様収束することを証明すること。

提案手法

• 方程式は作用汎関数 $A(f)$ の $L^2$-勾配として定式化され、エネルギーに基づく解析が可能になる。
• 有限エネルギーは、$E(u) = \frac{1}{2}\int_{\mathbb{R}^{n+1}} \left| \frac{\partial u}{\partial t} \right|^2 + \left| \Delta u + P(u) \right|^2 dx\,dt$ により定義され、これは方程式からのずれを測る。
• 有限エネルギー条件から $u$ 及びその微分の有界性を導くために、放物型のブートストラップ法が用いられる。
• 比較原理およびODEの位相空間解析が、$N$ が偶数で $n=1$ の場合に有界性を制御するために適用され、平衡解が有界であることを保証する。
• アスコリの定理を用いて、コンパクト集合上で $u$ 及びその一階微分の一様収束する部分列を抽出する。
• 証明は、$\partial_t u \to 0$ 几乎 everywhere かつ有界であるという事実に依拠しており、これが平衡解への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 半線形放物型方程式 (1) のどの全域的解が $|t| \to \infty$ 時に2つの平衡解を接続するか？
• RQ2 このような接続解を特徴づける内在的条件は何であり、それが必要かつ十分条件であるか？
• RQ3 有限エネルギー条件は、解およびその微分が平衡解へ収束することとどのように関係しているか？
• RQ4 なぜ移動波解は有限エネルギーを持たないのか、そしてこれはその平衡解構造にどのような意味を持つのか？
• RQ5 $n$ および $N$ に関してどのような条件下で、有限エネルギーが $u$ 及び $Du$ の平衡解への一様収束を示すのか？

主な発見

• 半線形放物型方程式 (1) の有限エネルギー解は、$|t| \to \infty$ 時に平衡解へ収束し、$\mathbb{R}^{n+1}$ のコンパクト部分集合上で解およびその一階微分が一様収束する。
• 条件として $n=1$ または $N$ が奇数のとき、エネルギー汎関数 $E(u)$ が有限であることは、解が有限作用を持つ2つの平衡解を接続することと同値である。
• 有限エネルギー解は有界であり、その微分も有界である。これは有限エネルギー条件と解の滑らかさとの相互作用から導かれる。
• 極限での平衡解は連続的であり、有限作用を持つ。これは特徴づけが成り立つために不可欠である。
• $N$ が偶数の場合、ヴェロンによって示されたように、高次元では有界でない平衡解の存在により、証明は成立しない。
• 関数 $P(u) = -u|u|^{N-1} + \sum_{i=0}^{N-1} a_i u^i$ の場合、すべての解が有界であり、結果はすべての空間次元に拡張可能である。