[論文レビュー] Smooth type II blow up solutions to the four dimensional energy critical wave equation

Matthieu Hillairet, Pierre Raphaël|arXiv (Cornell University)|Oct 8, 2010

Advanced Mathematical Physics Problems参考文献 30被引用数 12

ひとこと要約

本稿は、4次元エネルギー臨界な焦点型波動方程式に対して滑らかで型IIの爆発解を構成し、$ t \to T $ の際に爆発速度が $ \lambda(t) = (T-t)e^{-\sqrt{\vert\log(T-t)\vert}}(1+o(1)) $ であることを示している。解は動的スケーリング $ u(t,x) = \lambda(t)^{-1}(Q + \varepsilon)(x/\lambda(t)) $ を通じて、$ \varepsilon $ が $ \dot{H}^1 \times L^2 $ で小さいことにより、基底状態 $ Q $ に漸近的に近づく。これにより、臨界次元における安定で自己相似でない爆発領域が確立される。

ABSTRACT

We exhibit $\mathcal C^{\infty}$ type II blow up solutions to the focusing energy critical wave equation in dimension $N=4$. These solutions admit near blow up time a decomposiiton $u(t,x)=1/l(t)(Q+e(t))(x/l(t)}}$ with $|e(t),\pa_t e(t)|_{\dot{H}^1 imes L^2}<<1$ where $Q$ is the extremizing profile of the Sobolev embedding $\dot{H}^1\subset L^{2^*}$, and a blow up speed $l(t)=(T-t)e^{-\sqrt{|\log (T-t)|}(1+o(1))}$ as $t o T.$

研究の動機と目的

• 4次元空間的エネルギー臨界な焦点型波動方程式に対する滑らかで有限時間爆発解の構成。
• Sobolev埋蔵 $ \dot{H}^1 \to L^4 $ の極値的プロファイルである基底状態 $ Q $ の周辺における動的の記述、型II爆発の下で。
• 任意のべき関数より遅い、安定で自己相似でない爆発速度の存在の確立。
• 爆発時刻近辺での解の詳細な漸近的分解、$ \varepsilon $ がエネルギー空間で小さいことを含む。
• 特にエネルギー臨界な設定において、自己相似的でない領域を超えて特異性形成のダイナミクスを理解を拡張すること。

提案手法

• 著者らは、解の基底状態 $ Q $ 近傍でのダイナミクスを制御するために、リャプノフ型汎関数と精密なモード解析を用いる。
• 解を $ u(t,x) = \lambda(t)^{-1}(Q + \varepsilon)(x/\lambda(t)) $ と分解し、$ \varepsilon $ を $ \dot{H}^1 \times L^2 $ で小さいものとし、$ \lambda(t) $ と $ \varepsilon(t) $ の系を導出する。
• 爆発速度は、$ \lambda(t) $ に関する正規化された方程式を解くことで決定され、$ t \to T $ の際に漸近的に $ \lambda(t) \sim (T-t)e^{-\sqrt{\vert\log(T-t)\vert}} $ となる。
• 証明は、$ Q $ のまわりの線形化作用素 $ H $ に対する coercivity 評価に依存し、$ \log y $ および $ y^{-4}(1+|\log y|)^{-2} $ を含む重み付きノルムを用いる。
• 重要なステップとして、エネルギーと誤差項を制御する汎関数の構成があり、これにより $ \varepsilon $ 及びその時間微分の小ささが時間発展全体で保証される。
• 解析は球対称性とエネルギー空間の精密な分解を用い、基底状態の非退化性および関連するモードを活用する。

実験結果

リサーチクエスチョン

• RQ1 4次元エネルギー臨界波動方程式に対して、任意のべき関数より遅い爆発速度を示す滑らかな型II爆発解が存在しうるか？
• RQ2 爆発時刻 $ T $ 近傍での爆発プロファイルおよびスケーリング関数 $ \lambda(t) $ の正確な漸近的挙動は何か？
• RQ3 初期データが基底状態 $ Q $ の近傍でわずかに摂動された場合、爆発ダイナミクスは安定か？
• RQ4 爆発時刻近辺での解は、基底状態 $ Q $ と小さな誤差 $ \varepsilon $ にどのように分解されるか？
• RQ5 爆発速度における対数補正が、特異性形成の安定性および普遍性に果たす役割は何か？

主な発見

• 本稿は、$ N=4 $ 次元におけるエネルギー臨界波動方程式に対して $ \mathcal{C}^\infty $ 型II爆発解を構成している。
• 爆発速度は、$ t \to T $ の際に $ \lambda(t) = (T-t)e^{-\sqrt{\vert\log(T-t)\vert}}(1+o(1)) $ で与えられ、これは任意の多項式速度より遅い。
• 解は、$ \|\varepsilon(t), \partial_t \varepsilon(t)\|_{\dot{H}^1 \times L^2} \ll 1 $ となるように分解 $ u(t,x) = \lambda(t)^{-1}(Q + \varepsilon)(x/\lambda(t)) $ を持つ。
• 爆発領域は安定であり、普遍的で自己相似でないダイナミクスに対応し、$ k=1 $ の波マップの場合と類似している。
• 線形化作用素 $ H $ に対する重み付きノルム（$ \log y $ を含む）における coercivity 評価が確立され、誤差 $ \varepsilon $ の制御が保証される。
• この結果により、このような型II爆発を引き起こす初期データのcodimension-one多様体の存在が確認され、低次元や波マップモデルにおける既存の結果が拡張される。