[論文レビュー] A symmetrization of the relativistic Euler equations in several spatial variables

Philippe G. LeFloch, Seiji Ukai|ArXiv.org|Dec 20, 2008

Navier-Stokes equation solutions参考文献 4被引用数 12

ひとこと要約

本稿では、真空中の状態が存在する場合でも有効である、多次元空間における相対論的Euler方程式の新規対称化を提示する。これにより、 compactly supported 解に対する局所時間内存在理論が可能になる。主な貢献は、一般化されたリーマン不変量と正規化された速度を用いた新しい定式化であり、真空中で発散を回避し、対称双曲型性を保ちつつ、解の台が時間とともに拡張されないことを保証する。

ABSTRACT

We consider the Euler equations governing relativistic compressible fluids evolving in the Minkowski spacetime with several spatial variables. We propose a new symmetrization which makes sense for solutions containing vacuum states and, for instance, applies to the case of compactly supported solutions, which are important to model star dynamics. Then, relying on these symmetrization and assuming that the velocity does not exceed some threshold and remains bounded away from the light speed, we deduce a local-in-time existence result for solutions containing vacuum states. We also observe that the support of compactly supported solutions does not expand as time evolves.

研究の動機と目的

• 真空中の状態が存在する場合でも有効である相対論的Euler方程式の対称化を構築すること。過去の定式化では、係数の発散により破綻する。
• 非真空初期データに限らない相対論的流体の局所時間内存在理論を拡張し、特に星の動的モデルに重要な台がコンパクトな解を含める。
• 台がコンパクトな解の支持が時間とともに拡張されないことを確立すること。これにより、このようなモデルの物理的整合性が保たれる。
• 非相対論的存在理論（Makino, Ukai, Kawashima）を相対論的領域に一般化するため、新規の対称双曲型定式化を導入すること。

提案手法

• 修正された変数を導入：一般化されたリーマン不変量 $ w(\rho) = \int_0^\rho \frac{c(s)}{q(s)}\,ds $、ここで $ c(\rho) = \sqrt{p'(\rho)} $ は音速、$ q(\rho) = \rho + \epsilon^2 p(\rho) $ である。
• 正規化された速度 $ v = \frac{1}{2\epsilon} \ln\left( \frac{1 + \epsilon |u|}{1 - \epsilon |u|} \right) $ を定義。$ |u| \to \epsilon^{-1} $ に近づいても有限のままである。
• 新しい変数 $ V = (w, v, \widetilde{u}) $（$ \widetilde{u} $ は速度の単位方向）を用いて、相対論的Euler方程式を表現し、対称双曲型性を達成する。
• ローレンツ変換の性質と行列のバインディングに関する技術的補題を活用して、対称化系の構造の正定値性を確立する。
• Katoの対称双曲型系の局所適切性理論を適用し、有界性および非真空中閾値の仮定の下で、$ t=0 $ の近傍における $ C^1 $ 解の存在を証明する。
• 特性曲線とグロワールの不等式を用いて、$ w $-変数が非負のままであることを示し、$ \rho \geq 0 $ を保証することで物理的整合性を維持する。

実験結果

リサーチクエスチョン

• RQ1 真空中の状態が存在する場合でも有効である、相対論的Euler方程式の対称双曲型定式化を構築できるか。特に、台がコンパクトな解に対して有効か。
• RQ2 提案された対称化が、$ \rho \to 0 $ の際に従来の定式化で発生する係数の発散を回避できるか。
• RQ3 初期データに真空を含む場合でも、$ \rho $ の正の下限を要求しないで、相対論的流体の局所時間内存在理論を拡張できるか。
• RQ4 新しい定式化および「穏やかな解」条件の下で、台がコンパクトな解の支持が時間とともに拡張されないか。
• RQ5 Makino, Ukai, Kawashima の非相対論的存在結果を、新規の対称化フレームワークを用いて相対論的状況に一般化できるか。

主な発見

• 一般化されたリーマン不変量と正規化された速度を用いた、相対論的Euler方程式の新規対称化が構築された。$ \rho = 0 $ の場合でも有限かつ対称的であり、従来の定式化における発散問題を克服する。
• 流体の速度が光速から有界に離れており、閾値内にある限り、対称化系が対称双曲型であることが証明された。これにより局所的適切性が保証される。
• 初期データが $ \mathbb{R}_+ \times B_{1/\epsilon} $ にあり、音速に有界性条件が満たされている限り、真空中の状態を含む解の局所時間内存在結果が確立された。
• 台がコンパクトな解の支持は時間とともに拡張されない。すなわち、すべての $ t \in [0,T] $ に対して $ \text{supp}(\rho,u)(t) \subset \text{supp}(\overline{\rho},\overline{u}) $ が成り立ち、星のモデルの物理的整合性が保たれる。
• 変数 $ V = (w,v,\widetilde{u}) $ にグロワールの不等式を適用した結果、その成長が初期データによって制御されることを示した。これにより安定性と非拡張性が保証される。
• 特性曲線に沿って $ w $ が非負のままであることが保証され、これにより $ \rho \geq 0 $ が成立し、解の生涯を通じて物理的整合性が維持される。