[論文レビュー] Existence and stability of a blow-up solution with a new prescribed behavior for a heat equation with a critical nonlinear gradient term

Slim Tayachi, Hatem Zaag|arXiv (Cornell University)|Oct 5, 2016

Advanced Mathematical Modeling in Engineering参考文献 24被引用数 4

ひとこと要約

本稿は、勾配項を含む臨界定常非線形熱方程式に対して、有限次元還元と位相的次数論を用いて、その爆発解の存在と安定性を証明する。解は古典的 $ f_0 $ とは異なる新規の爆発プロファイルを示し、爆発時刻および点における明確な漸近的挙動を有する。

ABSTRACT

We consider the semilinear heat equation, to which we add a nonlinear gradient term, with a critical power. We construct a solution which blows up in finite time. We also give a sharp description of its blow-up profile. The proof relies on the reduction of the problem to a finite dimensional one, and uses the index theory to conclude. Thanks to the interpretation of the parameters of the finite-dimensional problem in terms of the blow-up time and point, we also show the stability of the constructed solution with respect to initial data. This note presents the results and the main arguments. For the details, we refer to our paper \\cite{TZ15}.

研究の動機と目的

• 臨界定常非線形勾配項を有する半線形熱方程式に対して、有限時間での爆発解の存在を確立すること。
• 古典的 $ f_0 $ プロファイルとは異なる、爆発プロファイルの鋭い記述を導出すること。
• 初期データの小さな摂動に対して、構築された解の安定性を証明すること。
• 類似変数を用いて、爆発時刻および点付近での解の漸近的挙動を分析すること。
• 臨界定常勾配非線形性を有する方程式における爆発ダイナミクスの理解を拡張すること。

提案手法

• 自己相似変換を用いて、無限次元のPDE問題を類似変数における有限次元力学系に還元する。
• 位相的次数論を適用して還元された有限次元問題を解き、解が所定のコンact集合内に留まるように保証する。
• 初期パラメータと爆発時刻・位置を関連付ける写像 $ (d_0, d_1) o ( ilde{ heta}_0, ilde{ heta}_1) $ を用い、安定性解析を可能にする。
• 放物型正則性推定を用いて、$ abla v(s) o 0 $ が $ s o ty $ のとき成り立つことを示し、$ W^{1, y} $ での有界性を保証する。
• 解が爆発までに制御された領域内に留まるように保証するため、集合 $ heta_A(s) $ を用いたトラッピング議論を実施する。
• スケーリング不変性を保つ臨界定数 $ q = q_c = 2p/(p+1) $ に依存し、新たな爆発プロファイルの構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 臨界定常非線形熱方程式に勾配項を含む場合、古典的 $ f_0 $ プロファイルとは異なる爆発解が存在するか？
• RQ2 爆発時刻および点付近での爆発プロファイルは、爆発時刻に近い漸近的精度で鋭く記述可能か？
• RQ3 構築された爆発解は初期データの小さな摂動に対して安定か？
• RQ4 臨界定常非線形勾配項の導入は、標準的な半線形熱方程式と比較して爆発ダイナミクスをどのように変化させるか？
• RQ5 有限次元問題のパラメータは、爆発時刻および位置の観点から解釈可能であり、安定性の証明に寄与できるか？

主な発見

• 有限時間 $ T > 0 $ で、かつ原点にのみ爆発する解が存在し、古典的 $ f_0 $ とは異なる新規の爆発プロファイルを示す。
• 爆発プロファイルは $ (T-t)^{1/(p-1)} u(z au(t), t) o f(z) $ として記述され、$ f(z) $ は $ f_0 $ とは異なる新規のプロファイルである。
• 初期データの摂動に対して解が安定であることが、次数論および有限次元還元におけるパラメータ解釈により示された。
• 類似変数を用いた有限次元還元により、解はすべての $ s o y $ においてコンパクト集合 $ heta_A(s) $ 内に留まり、これにより存在性が保証された。
• 初期パラメータ $ (d_0, d_1) $ から爆発時刻および位置への写像は連続的かつ次数1であり、安定性の証明が可能となった。
• 放物型正則性推定により、$ abla v(s) o 0 $ が $ s o y $ のとき成り立つことが確認され、これは漸近的解析およびプロファイル制御に不可欠である。