[論文レビュー] On the formation of shocks for quasilinear wave equations

Shuang Miao, Pin Yu|arXiv (Cornell University)|Dec 9, 2014

Navier-Stokes equation solutions参考文献 6被引用数 3

ひとこと要約

本稿は、大規模な初期データを伴う3次元準線形波動方程式における衝撃形成の幾何的メカニズムを確立し、滑らかな解が到来する特徴的超曲面の収縮によって破綻することを示している。主な結果は、大規模データに対する準線形波動方程式でnull条件を満たす場合に、対称性の仮定なしに衝撃形成を初めて証明したものであり、エネルギー推定と方程式の構造から導かれる有効計量のローレンツ幾何学を用いている。

ABSTRACT

The paper is devoted to the study of shock formation of the 3-dimensional quasilinear wave equation \begin{equation}\label{Main Equation} - \big(1+3G^{\prime\prime}(0) (\partial_tϕ)^2\big)\partial^2_t ϕ+Δϕ=0, ag{ extbf{$\star$}} \end{equation} where $G^{\prime\prime}(0)$ is a non-zero constant. We will exhibit a family of smooth initial data and show that the foliation of the incoming characteristic hypersurfaces collapses. Similar to 1-dimensional conservational laws, we refer this specific type breakdown of smooth solutions as shock formation. Since $(\star)$ satisfies the classical null condition, it admits global smooth solutions for small data. Therefore, we will work with large data (in energy norm). Moreover, no symmetry condition is imposed on the initial datum. We emphasize the geometric perspectives of shock formations in the proof. More specifically, the key idea is to study the interplay between the following two objects: (1) the energy estimates of the linearized equations of $(\star)$; (2) the differential geometry of the Lorentzian metric $g=-\dfrac{1}{\left(1+3G^{\prime\prime}(0) (\partial_tϕ)^2 ight)} d t^2+dx_1^2+dx_2^2+dx_3^2$. Indeed, the study of the characteristic hypersurfaces (implies shock formation) is the study of the null hypersurfaces of $g$. The techniques in the proof are inspired by the work \cite{Ch-Shocks} in which the formation of shocks for $3$-dimensional relativistic compressible Euler equations with small initial data is established. We also use the short pulse method which is introduced in the study of formation of black holes in general relativity in \cite{Ch-BlackHoles} and generalized in \cite{K-R-09}.

研究の動機と目的

• 古典的小さなデータに対する大域的存在が失敗する大規模初期データ下での準線形波動方程式における衝撃形成の調査。
• 対称性の仮定なしに3次元で衝撃形成の幾何的メカニズムを確立し、1次元保存則および相対論的Euler方程式の結果を拡張すること。
• 衝撃形成が、有効ローレンツ計量の零超曲面として解釈される到来特徴的超曲面の収縮によって生じることを示すこと。
• 曲率に基づく幾何的不変量を通じて初期データと衝撃形成との直接的な関係を確立すること。
• 微分損失を避けるためにNash-Moser法を用いずに、方程式の変分的構造を用いて大規模データに対するエネルギー推定を閉じること。

提案手法

• 著者たちは、立方非線形性を伴う非線形波動伝播のモデルとして、$-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$ という準線形波動方程式を分析する。ここで $G''(0) eq 0$ である。
• 到来特徴的超曲面が方程式の特徴的表面に対応する有効ローレンツ計量 $g = -rac{1}{1 + 3G''(0)( abla_t heta)^2}dt^2 + dx_1^2 + dx_2^2 + dx_3^2$ を定義する。
• 衝撃形成は、この計量の微分幾何学、特に到来零超曲面の第二基本形式の発散を通じて分析される。
• 光学座標におけるベクトル場と重み付きノルムを用いて、解のまわりの線形化方程式に対するエネルギー推定が導出される。
• Christodoulouのブラックホール形成に関する研究にインspiredされ、衝撃形成を引き起こす大規模初期データの族を短パルス法を用いて構成する。
• 変動の導関数を制御するためにブートストラップ法が用いられ、Sobolev不等式と等周的推定により、爆発時刻までの正則性が保証される。

実験結果

リサーチクエスチョン

• RQ1 対称性の仮定なしに、大規模初期データを伴う3次元準線形波動方程式において衝撃形成が生じ得るか？
• RQ2 有効ローレンツ計量の幾何的構造は、滑らかな解の破綻とどのように関係するか？
• RQ3 衝撃形成メカニズムは、曲率および零超曲面幾何学の観点から純粋に幾何学的に特徴付けられるか？
• RQ4 微分損失を避けるためにNash-Moser法を用いずに、方程式の変分的構造を用いて大規模データに対するエネルギー推定を閉じることは可能か？
• RQ5 幾何的不変量を用いて、初期データから直接に爆発時刻および衝撃形成を予測することは可能か？

主な発見

• 衝撃形成は、対称性のない滑らかで大規模な初期データの族に対して、3次元準線形波動方程式 $-(1 + 3G''(0)( abla_t heta)^2) abla_t^2 heta + riangle heta = 0$ において生じる。
• 滑らかな解の破綻は、到来特徴的超曲面の収縮によって引き起こされ、これは有効計量 $g$ の零超曲面である。
• 爆発が真の衝撃形成であることが示され、1次元保存則と類似しており、曲率の発散という明確な幾何的解釈が与えられる。
• 証明により、初期時刻区間を超えて解を滑らかに拡張できるのは、光学座標変換のヤコビアンが0から離れて保たれる場合に限られ、爆発時刻ではその条件が満たされないことが示された。
• ブートストラップ法により、$| ho| o 0$ が爆発時刻で成立する条件の下で推定が閉じられ、衝撃の形成が示され、解は $t^* = s^*$ を超えて拡張できない。
• 結果として、衝撃形成が有効計量の第二基本形式や曲率テンソルなどの幾何的量を用いて初期データから直接検出可能であることが確認された。