[論文レビュー] Well-Posedness of the Einstein-Euler System in Asymptotically Flat Spacetimes

Uwe Brauer, Lavi Karp|ArXiv.org|Oct 28, 2008

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

ひとこと要約

本稿では、分数階の重み付きソボレフ空間の新規枠組みを導入することで、漸近的に平坦な時空におけるアインシュタイン＝ユーレル系の局所的well-posednessを確立している。物理的に妥当な条件—無限遠におけるエネルギー密度の消滅または減衰、および多相的状態方程式—の下で、古典的解の存在と一意性を証明し、時間対称性や整数階正則性を要件としていた先行研究の制限を克服した。

ABSTRACT

We prove a local in time existence and uniqueness theorem of classical solutions of the coupled Einstein--Euler system, and therefore establish the well posedness of this system. We use the condition that the energy density might vanish or tends to zero at infinity and that the pressure is a certain function of the energy density, conditions which are used to describe simplified stellar models. In order to achieve our goals we are enforced, by the complexity of the problem, to deal with these equations in a new type of weighted Sobolev spaces of fractional order. Beside their construction, we develop tools for PDEs and techniques for elliptic and hyperbolic equations in these spaces. The well posedness is obtained in these spaces. The results obtained are related to and generalize earlier works of Rendall for the Euler-Einstein system under the restriction of time symmetry and of Gamblin for the simpler Euler--Poisson system.

研究の動機と目的

• 漸近的に平坦な時空における、結合されたアインシュタイン＝ユーレル系の古典的解の局所的存在および一意性を確立すること。
• 時間対称性の制限を除去し、非整数階正則性を許容することで、レンダールおよびガンブリンの先行結果を一般化すること。
• エネルギー密度が消える際の流体方程式の特異的挙動を取り扱うために、分数階の重み付きソボレフ空間に基づく関数的枠組みを構築すること。
• アインシュタイン制約方程式と流体方程式の両方の初期データを、同一の関数空間内に構成し、システム全体の整合性を保証すること。
• Euler-Poissonおよびアインシュタイン＝ユーレル系に関する先行結果を一般化し、非整数 $\gamma$ を許容するより広い状態方程式のクラスを扱えるようにすること。

提案手法

• 相対論的自己重力流体をモデル化するため、$1 < \gamma$ を満たす多相的状態方程式 $p = K\epsilon^\gamma$ を用いてアインシュタイン＝ユーレル系を定式化する。
• エネルギー密度 $\epsilon = 0$ における特異性を扱うために、$w = \epsilon^{(\gamma-1)/2}$（マキノ変数）を導入し、流体方程式の正則化を行う。
• 漸近的に平坦な時空に適した、分数階 $s$、減衰率 $\delta$、重み $(1+|x|)^\delta$ を持つ新しいクラスの重み付きソボレフ空間 $H_{s,\delta}^{k}$ を定義・分析する。
• これらの空間における埋め込み定理および稠密性定理を確立し、$C_0^\infty$ 関数が $H_{s,\delta}$ 内で稠密であること、および重み付きノルムが二重分割を用いて制御できることを示す。
• 二重分割およびスケーリング技術を用いて点での減衰および正則性を制御し、$s > \frac{3}{2}+\delta$、$\delta + \frac{3}{2} \geq \beta$ の下で $\|u\|_{C_{\beta}} \leq C\|u\|_{H_{s,\delta}}$ を証明する。
• 進化方程式が未知数 $g_{\alpha\beta}, u^\alpha, w$ に関して、下位項が $\epsilon$ に依存する第一階対称双曲型系を形成することを証明し、$\epsilon$ はノルム内での $w$ を通じて制御される。

実験結果

リサーチクエスチョン

• RQ1 時間対称性を仮定せずに、漸近的に平坦な時空におけるアインシュタイン＝ユーレル系のwell-posednessを証明できるか？
• RQ2 エネルギー密度が空間無限遠で消える際の流体方程式の特異的挙動を取り扱うために必要な関数的枠組みは何か？
• RQ3 状態方程式 $p = K\epsilon^\gamma$ の選択が、重み付きソボレフ空間における解の必要正則性にどのように制限を及えるか？
• RQ4 マキノ変数 $w = \epsilon^{(\gamma-1)/2}$ を用いることで、非整数階重み付き空間における存在定理を可能にする正則化が可能か？
• RQ5 この文脈における双曲型および楕円型系の解析を支えるために、分数階重み付きソボレフ空間が満たすべき埋め込みおよび稠密性の性質は何か？

主な発見

• 著者らは、分数階重み付きソボレフ空間における古典的解の局所的存在および一意性を証明し、漸近的に平坦な時空におけるwell-posednessを確立した。
• 解の枠組みにより、エネルギー密度 $\epsilon$ が無限遠で消えたり減衰したりすることを許容でき、コンパクトな台を持たない場合でも物理的モデル（星のモデル）と整合的である。
• 状態方程式 $p = K\epsilon^\gamma$ は $1 < \gamma \leq \frac{2+k}{k}$ に対して許容され、ここで $k$ はソボレフ空間の次数である。これにより、$\gamma \in \mathbb{N}$ を要件としていた先行結果を一般化した。
• マキノ変数 $w = \epsilon^{(\gamma-1)/2}$ を用いることで、流体方程式の正則化が可能となり、未知数 $g_{\alpha\beta}, u^\alpha, w$ に関して対称双曲型系として取り扱えるようになった。
• 新規稠密性定理を証明した：$C_0^\infty(\mathbb{R}^3)$ は $H_{s,\delta}$ 内で稠密であり、$s' > s$ の場合、$H_{s',\delta}$ 内の近似は元の $H_{s,\delta}$ ノルムで有界に抑えられる。
• 点での減衰推定 $\sup_x (1+|x|)^\beta |u(x)| \leq C \|u\|_{H_{s,\delta}}$ は、$\beta \leq \delta + \frac{3}{2}$ および $s > \frac{3}{2} + \delta$ の下で成り立ち、解空間内での減衰制御を保証する。