[論文レビュー] The Inverse Problem for the Euler-Poisson system in Cosmology

Grégoire Loeper|ArXiv.org|Jun 30, 2003

Geometric Analysis and Curvature Flows参考文献 15被引用数 3

ひとこと要約

本稿は、Euler-Poisson系の宇宙論的再構成問題を、ラグランジュ作用の凸最小化として定式化し、最適輸送に類似した変分枠組みを確立する。弱解の存在を証明し、滑らかな解と整合的であり、密度の台における速度ポテンシャルの対数リプシッツ正則性を示し、測度の台における動的構造的安定性および可逆性を保証する。

ABSTRACT

The motion of a continuum of matter subject to gravitational interaction is classically described by the Euler-Poisson system. Prescribing the density of matter at initial and final times, we are able to obtain weak solutions for this equation by minimizing the action of the Lagrangian which is a convex functional. Then we see that such minimizing solutions are consistent with smooth solutions of the Euler-Poisson system and enjoy some special regularity properties. Meanwhile some intersting links with with Hamilton-Jacobi equations are found.

研究の動機と目的

• 初期および最終の密度場から中間の宇宙論的状態を再構成する、不適切に定式化された逆問題に対処すること。
• 再構成問題を、変分原理を活用した作用関数の凸最小化問題に再定式化すること。
• 速度がポテンシャルの勾配として与えられるという従属条件の下で、弱解の存在および正則性を確立すること。
• 最小化解がEuler-Poisson系の滑らかな解と整合的であることを示すこと。
• 密度の台における速度ポテンシャルφの対数リプシッツ正則性を導出することにより、構造的安定性を保証すること。

提案手法

• 中性化背景を伴う平坦トーラス上にEuler-Poisson系を定式化し、Poisson方程式をΔp = ρ − 1に簡略化する。
• 初期値問題を、初期密度ρ₀および最終密度ρₜを指定する二点境界値問題に置き換える。
• 運動方程式を、作用関数I(ρ, v, p) = ∫₀ᵀ ∫|v|² dρ + |∇p|² dx dt の最小化問題に置き換える。
• 最適輸送理論からのMonge-Kantorovitch双対性を用いて最小化問題を分析する。
• 速度ポテンシャルφを特徴付けるために、ハミルトン・ジャコビ方程式∂ₜφ + ½|∇φ|² + p = 0 の可視性解を用いる。
• 解φが密度の台上で微分可能であり、時間に一様な境界を持つ対数リプシッツ連続性を満たすことを確立する。

実験結果

リサーチクエスチョン

• RQ1 自己重力場にさらされる流体の中間的時間発展を、初期および最終の密度場のみから再構成できるか？
• RQ2 作用最小化によるEuler-Poisson系の変分定式化は、古典的滑らかな解と整合的である解を与えるか？
• RQ3 最小化解における速度ポテンシャルφが、密度ρの台でどのような正則性を有するか？
• RQ4 最適輸送枠組みの構造は、宇宙論的再構成問題にどのように適用可能か？
• RQ5 最小化解において、密度の台上で動的可逆性は保証されるか？

主な発見

• 従属条件の下で、Euler-Poisson系の弱解が作用関数の最小化子として存在し、再構成問題の適切な定式化を保証する。
• 最小化解は、φが速度ポテンシャルであるハミルトン・ジャコビ方程式∂ₜφ + ½|∇φ|² + p = 0 を満たす。
• ρ(t)の台上で、速度ポテンシャルφは微分可能であり、|∇φ(t,x) − ∇φ(t,y)| ≤ C(τ)|x−y| log(1/|x−y|) を満たす対数リプシッツ連続性を満たす。ここでt ∈ [τ, T−τ]である。
• 解はρの台上で可逆であり、前向きおよび後向きの動的挙動が整合的である。これは一般に可視性解では成り立たない性質である。
• 初期および最終の密度ρ₀, ρₜがLᵏ(𝕋ᵈ)に属し、k > dであれば、速度ポテンシャルφはW¹,∞([0,T]×𝕋ᵈ)に属し、勾配が有界であることを保証する。
• pおよびφの正則性は、端点を除く時間区間全体で一様に保たれ、コンパクト部分区間(0,T)においてp ∈ C¹,LlogLおよびφ ∈ C¹,LlogLである。