[論文レビュー] Type II Finite time blow-up for the three dimensional energy critical heat equation

Manuel del Pino, Monica Musso+3 more|arXiv (Cornell University)|Feb 13, 2020

Advanced Mathematical Physics Problems参考文献 34被引用数 9

ひとこと要約

本稿は、核 $ Z_0(y) \sim |y|^{-1} $ の緩やかな減衰を扱うために洗練された内側・外側のグリューニング法を用いて、3次元エネルギー臨界な熱方程式 $ u_t = \Delta u + u^5 $ に対して、型 II の有限時刻 blow-up の最初の厳密な例を構成する。解は任意の正の整数 $ k $ に対して、$ \|u\|_{L^\infty} \sim (T-t)^{-k} $ の割合で爆発し、Filippas, Herrero, および Velázquez の形式的計算を確認する。

ABSTRACT

We consider the following Cauchy problem for three dimensional energy critical heat equation \begin{equation*} \begin{cases} u_t=Δu+u^{5},~&\mbox{ in } \ {\mathbb R}^3 imes (0,T),\\ u(x,0)=u_0(x),~&\mbox{ in } \ {\mathbb R}^3. \end{cases} \end{equation*} We construct type II finite time blow-up solution $u(x,t)$ with the blow-up rates $ \| u\|_{L^\infty} \sim (T-t)^{-k}$, where $ k=1,2,... $. This gives a rigorous proof of the formal computations by Filippas, Herrero and Velazquez \cite{fhv}. This is the first instance of type II finite time blow-up for three dimensional energy critical heat equation.

研究の動機と目的

• 3次元エネルギー臨界な熱方程式 $ u_t = \Delta u + u^5 $ に対して型 II の有限時刻 blow-up 解を構成すること。これは形式的予測はなされていたが、未解決の問題であった。
• Filippas, Herrero, および Velázquez による、3次元における blow-up 割合 $ \|u\|_{L^\infty} \sim (T-t)^{-k} $ の形式的漸近展開を厳密に検証すること。
• 基底状態の線形化作用素における非 $ L^2 $-可積分な核 $ Z_0(y) \sim |y|^{-1} $ が引き起こす課題を克服すること。
• 内側・外側のグリューニング法を、従来の手法が失敗した臨界次元 $ n=3 $ において、緩やかな減衰を示す誤差項を扱えるように拡張すること。

提案手法

• 解を内側（バブル発生）成分と外側（正則）成分に分解し、界面で漸近展開を一致させる内側・外側のグリューニング法を用いる。
• Filippas, Herrero, および Velázquez の形式的計算に基づく一致漸近展開を用い、blow-up プロファイルの一次近似を構成する。
• 核 $ Z_0(y) \sim |y|^{-1} $ からの緩やかな減衰誤差を吸収するために、グローバル補正項を導入し、これにより構成が安定化されることを保証する（$ L^2 $ に属さないため）。
• Lyapunov-Schmidt 減少法を適用し、偏微分方程式を有限次元問題に還元し、固定点法によりパrameter $ \mu(t) $ と $ \theta(x,t) $ を解く。
• 時間依存の重み付き $ L^\infty $ 空間における重み付きノルムと鋭い推定を用いて誤差項を制御し、特に減衰が弱い外側領域で効果的に制御する。
• Hermite 多項式 $ H_{2k} $ と径数的プロファイル $ w(y) = 3^{1/4}(1+|y|^2)^{-1/2} $ の構造を活用し、任意の $ k \in \mathbb{Z}_+ $ に対して blow-up プロファイルをモデル化する。

実験結果

リサーチクエスチョン

• RQ1 3次元エネルギー臨界な熱方程式に対して、任意の blow-up 割合 $ (T-t)^{-k} $ をもつ型 II の blow-up を厳密に構成可能か？
• RQ2 3次元、$ p=5 $、$ k \in \mathbb{Z}_+ $ の場合に、Filippas, Herrero, および Velázquez の形式的漸近プロファイルは数学的に正当化可能か？
• RQ3 内側・外側のグリューニング法は、3次元において非 $ L^2 $-可積分な核 $ Z_0(y) \sim |y|^{-1} $ をどのように扱えるか？
• RQ4 誤差が標準的なグリューニング技法では遅すぎるとされる場合、グローバル補正項は解の安定化にどのような役割を果たすか？

主な発見

• 本稿では、任意の $ k \in \mathbb{Z}_+ $ に対して、3次元エネルギー臨界な熱方程式 $ u_t = \Delta u + u^5 $ の解 $ u(x,t) $ を構成し、$ \|u\|_{L^\infty} \sim (T-t)^{-k} $ の割合で有限時刻 $ T $ に blow-up することを示した。これは Filippas, Herrero, および Velázquez の形式的予測を確認するものである。
• Blow-up 割合は、基底状態 $ w(y) = 3^{1/4}(1+|y|^2)^{-1/2} $、補正項 $ J $、Hermite 多項式 $ H_{2k} $ を含むプロファイルによって実現され、振幅は $ \mu(t) \sim 3^{1/2}A(T-t)^{2k} $ で調節される。
• 核の $ |y|^{-1} $ 減衰の困難さを、緩やかな減衰誤差を吸収するグローバル補正項を導入することで克服し、固定点法の収束を可能にした。
• 誤差項 $ \theta(x,t) $ は $ \|\theta\|_{L^\infty} \leq T^a $（ある $ a>0 $）を満たし、解が構成されたプロファイルに近いままであることを保証する。
• これは、$ n=3 $ のエネルギー臨界ケースにおいて型 II の blow-up を厳密に構成した最初の結果であり、非線形放物型偏微分方程式理論における主要な空白を埋めた。
• 本結果により、線形化作用素に非 $ L^2 $-可積分モードをもつ次元においても、内側・外側のグリューニング法の適用範囲が拡張された。これにより、他の臨界的・超臨界的設定においても同様の構成が可能になる道が開かれた。