[論文レビュー] Type II Blow Up for the Four Dimensional Energy Critical Semi Linear Heat Equation

Rémi Schweyer|arXiv (Cornell University)|Jan 13, 2012

Advanced Mathematical Physics Problems参考文献 22被引用数 101

ひとこと要約

本稿は、幾何的分散PDEにインspiredされた強固なエネルギー法を用いて、4次元エネルギー臨界な非線形熱方程式 $\partial_t u - \Delta u - u^3 = 0$ に対して、型IIの有限時刻 blow-up 解の存在を確立する。解は、Talenti-Aubinのソリトン $Q(r) = (1 + r^2/8)^{-1}$ で記述される普遍的なエネルギーバブルに集中し、blow-up 速度は $\lambda(t) \sim (T - t)/|\log(T - t)|^2$ であると示され、漸近的プロファイルは $\dot{H}^1$ に属し、$\Delta u^* \in L^2$ を満たす。これは、$N=4$ のエネルギー臨界設定における型II blow-up の長年の未解決問題を解決する。

ABSTRACT

We consider the energy critical four dimensional semi linear heat equation \\partial tu-\\Deltau-u3 = 0. We show the existence of type II finite time blow up solutions and give a sharp description of the corresponding singularity formation. These solutions concentrate a universal bubble of energy in the critical topology u(t,r)-1/{\\lambda} Q(r/{\\lambda})\ ightarrow u* in $\\dot{H}^1$ where the blow up profile is given by the Talenti Aubin soliton Q(r)= 1/(1 +r^2/8) and with speed {\\lambda}(t) ~(T-t)/|log(T - t)|^2 as t\ ightarrowT. Our approach uses a robust energy method approach developped for the study of geometrical dispersive problems, and lies in the continuation of the study of the energy critical harmonic heat flow and the energy critical four dimensional wave equation.

研究の動機と目的

• エネルギー臨界な4次元非線形熱方程式における型II blow-up が発生するかどうかという未解決問題に取り組む。
• 最大原理の制御がない状況下での特異性形成を解析するための強固なエネルギー法を構築する。
• blow-up 動力学の鋭い漸近的挙動、特に blow-up 速度と $\dot{H}^1$ におけるプロファイル収束を確立する。
• 幾何的分散問題に用いられるエネルギー法の枠組みを放物型設定へと拡張する。
• blow-up 機序の完全な記述、特に $Q$ の周りの線形化作用素における非正固有値の役割を提供する。

提案手法

• 幾何的分散問題（例：波マップ、シュレーディンガー・マップ）からのエネルギー法を放物型設定へ適応する。
• Talenti-Aubin のソリトン $Q(r) = (1 + r^2/8)^{-1}$ を、$\Delta Q + Q^3 = 0$ を満たす普遍的 blow-up プロファイルとして用いる。
• $Q$ の周りの線形化作用素における非正固有値を取り扱うため、$H^1$ のcodimension-one部分集合に初期データを構築する。
• blow-up 動力学を記述するため、スケーリング $u(t,x) \sim \lambda(t)^{-1} Q(x/\lambda(t))$ を用い、$\lambda(t) \sim (T - t)/|\log(T - t)|^2$ とする。
• 重み付きエネルギー推定と、自己相似変数 $y = r/\lambda(t)$ における $L^2$-ベースのノルムを用いて誤差項を制御する。
• 局所化技術と精密な点ごとの推定を用いて、分解 $u(t,x) = \lambda(t)^{-1} Q(x/\lambda(t)) + \varepsilon(t,x)$ における誤差 $\varepsilon$ を制御する。

実験結果

リサーチクエスチョン

• RQ1 エネルギー臨界な4次元非線形熱方程式 $\partial_t u - \Delta u - u^3 = 0$ において、型II blow-up が発生するか？
• RQ2 blow-up プロファイルおよび blow-up 速度 $\lambda(t)$ の正確な漸近的挙動は何か？
• RQ3 放物型設定において、型II blow-up 解を構築するために強固なエネルギー法をどのように適応できるか？
• RQ4 $Q$ の周りの線形化作用素における非正固有値は、ダイナミクスにどのような役割を果たすか？
• RQ5 $\dot{H}^1$ および $L^2$ において鋭い正則性と収束性を持つように、blow-up 動力学を記述できるか？

主な発見

• エネルギー臨界な4次元非線形熱方程式 $\partial_t u - \Delta u - u^3 = 0$ に対して、型IIの有限時刻 blow-up 解が存在する。
• blow-up 速度は $t \to T$ のとき $\lambda(t) \sim c(u_0) \frac{T - t}{|\log(T - t)|^2}$ である。ここで $c(u_0) > 0$ は初期データに依存する。
• 解は $\dot{H}^1$ においてプロファイル $u^*$ に収束し、$t \to T$ のとき $\nabla[u(t) - \lambda(t)^{-1} Q(\cdot/\lambda(t))] \to \nabla u^*$ が $L^2$ で成り立つ。
• 漸近的プロファイル $u^*$ は $\Delta u^* \in L^2$ を満たし、$\dot{H}^1$ を超える改善された正則性を示す。
• $E(Q) < E(u_0) < E(Q) + \alpha^*$ を満たす初期データ $u_0 \in H^1(\mathbb{R}^4)$ が存在し、これにより型II blow-up が発生する。
• blow-up 機序は普遍的であり、構築されたcodimension-one多様体内では初期データに依存せず、プロファイル $Q$ は $\Delta Q + Q^3 = 0$ の唯一の径数解である。これは、エネルギー臨界設定における安定的で鋭い blow-up 動力学の存在を確認する。