[論文レビュー] Linear systems of wave equations on cosmological backgrounds with convergent asymptotics

Hans Ringström|arXiv (Cornell University)|Jul 10, 2017

advanced mathematical theories被引用数 5

ひとこと要約

本稿は、収束する漸近的性質を示す宇宙論的背景時空上における線形波動方程式系の解の存在および一意性を、C²-バランスおよび漸近的対角化に基づく新しい解析的枠組みを用いて確立する。解が特定の減衰およびバランス条件を満たす計量および低次の項を有する場合、解は明確に定義された将来の漸近的性質を示すことが証明され、拡張する時空における解の成長および減衰率を精密に制御可能となる。

ABSTRACT

The subject of the article is linear systems of wave equations on cosmological backgrounds with convergent asymptotics. The condition of convergence corresponds to the requirement that the second fundamental form, when suitably normalised, converges. The model examples are the Kasner solutions. The main result of the article is optimal energy estimates. However, we also derive asymptotics and demonstrate that the leading order asymptotics can be specified. It is sometimes argued that if the factors multiplying the spatial derivatives decay exponentially (for a system of wave equations), then the spatial derivatives can be ignored. This line of reasoning is incorrect: we give examples of equations such that 1) the factors multiplying the spatial derivatives decay exponentially, 2) the factors multiplying the time derivatives are constants, 3) the energies of individual modes of solutions asymptotically decay exponentially, and 4) the energies of generic solutions grow as $e^{e^{t}}$ as $t ightarrow \infty$. When the factors multiplying the spatial derivatives grow exponentially, the Fourier modes of solutions oscillate with a frequency that grows exponentially. To obtain asymptotics, we fix a mode and consider the net evolution over one period. Moreover, we replace the evolution (over one period) with a matrix multiplication. We cannot calculate the matrices, but we approximate them. To obtain the asymptotics we need to calculate a matrix product where there is no bound on the number of factors, and where each factor can only be approximated. Nevertheless, we obtain detailed asymptotics. In fact, it is possible to isolate an overall behaviour (growth/decay) from the (increasingly violent) oscillatory behaviour. Moreover, we are also in a position to specify the leading order asymptotics.

研究の動機と目的

• 収束する漸近的性質を示す宇宙論的時空上における線形波動方程式系の解の存在および一意性を確立すること。
• 背景計量および低次の項に関する幾何学的および解析的条件の下で、解の将来の漸近的挙動を同定すること。
• C²-バランス条件および漸近的対角化を用いて、解の成長および減衰率を制御する枠組みを構築すること。
• 時空計量の幾何的性質と波動方程式の解の解析的挙動との間の厳密な関係を確立すること。
• 従来のサイレントおよびトランスペアレント方程式の結果を、収束する漸近的性質を示すより広範なクラスの宇宙論的背景時空へと拡張すること。

提案手法

• 解の成長を制御するためのC²-バランスの概念を導入し、計量成分およびその微分の漸近的収束を保証する。
• サイレントおよびトランスペアレントな設定におけるエネルギー推定および漸近的解析を用いて、拡張時空における解の挙動を制御する。
• 指数的減衰項を伴う常微分方程式（ODE）解析を用いて、解成分の詳細な漸近的挙動を導出する。
• 波動作用素における時間依存係数を扱うために、振動を平均化する技術を適用する。
• 減衰率および幾何的境界を用いて、計量の非対角成分および2階時間微分の推定を導出する。
• 計量の幾何的構造（漸近的に対角的、シフトベクトルの境界）と解の解析的挙動との間の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 宇宙論的背景計量にどのような条件下で、線形波動方程式が明確に定義された将来の漸近的性質を有する一意な解を許容するか？
• RQ2 計量成分およびその微分の減衰および成長率は、波動解の長期的挙動にどのように影響するか？
• RQ3 C²-バランス条件は、漸近的データの収束および解の有界性を保証するために果たす役割は何か？
• RQ4 サイレントおよびトランスペアレントな設定において、解の漸近的挙動は初期データまたは将来のデータのどの程度で指定可能か？
• RQ5 時空の幾何的構造（例えば、対角化、シフトベクトルの境界）をどれほど活用して、解のダイナミクスを制御できるか？

主な発見

• C²-バランスが満たされ、収束する漸近的性質を示す宇宙論的背景時空上における線形波動方程式の解は、存在し、かつ一意である。
• システムがサイレントまたはトランスペアレントな状態にある場合、解の将来の漸近的挙動は初期データによって完全に決定される。
• 漸近的に対角的である設定では、非対角成分およびその時間微分が、指数的減衰率 min{κod, 2κsh} で減衰し、有界性が保証される。
• 計量成分の2階時間微分は指数的減衰によって制御され、Csh、Codおよび計量の幾何的定数に依存する境界を持つ。
• シフトベクトル場およびその時間微分は指数的減衰推定を満たし、κsht の減衰率によりエネルギーノルム内での有界性が保証される。
• 振動を平均化する技術により、基本解が行列指数関数によって近似可能となり、振動的状態における精密な漸近的制御が可能になる。