[論文レビュー] Parametrix for wave equations on a rough background I: regularity of the phase at initial time

Jérémie Szeftel|arXiv (Cornell University)|Apr 8, 2012

Advanced Mathematical Physics Problems参考文献 17被引用数 22

ひとこと要約

本稿は、アインシュタイン真空方程式を満たす粗いローレンツ型計量 g における波動方程式 □_gφ = 0 に対して、初期時刻における位相関数の正則性に注目して、パラメトリックスを構築する。曲率テンソルに最小限の L² 界を課したもとで、パラメトリックスおよびその誤差項の基礎的 L² 制御を確立し、一般相対性理論における有界 L² 曲率予想の証明への重要な一歩を示している。

ABSTRACT

This is the first of a sequence of four papers \cite{param1}, \cite{param2}, \cite{param3}, \cite{param4} dedicated to the construction and the control of a parametrix to the homogeneous wave equation $\square_{\bf g} ϕ=0$, where ${\bf g}$ is a rough metric satisfying the Einstein vacuum equations. Controlling such a parametrix as well as its error term when one only assumes $L^2$ bounds on the curvature tensor ${\bf R}$ of ${\bf g}$ is a major step of the proof of the bounded $L^2$ curvature conjecture proposed in \cite{Kl:2000}, and solved jointly with S. Klainerman and I. Rodnianski in \cite{boundedl2}. On a more general level, this sequence of papers deals with the control of the eikonal equation on a rough background, and with the derivation of $L^2$ bounds for Fourier integral operators on manifolds with rough phases and symbols, and as such is also of independent interest.

研究の動機と目的

• 粗いアインシュタイン真空背景上での波動方程式 □_gφ = 0 におけるパラメトリックス構成における位相関数の正則性を扱う。
• 計量 g の曲率テンソル R に対して L² 界が与えられるという最小限の仮定のもとで、パラメトリックスおよびその誤差項の制御を確立する。
• 初期データに有界な L² 曲率があるとき、アインシュタイン真空方程式の解が存在し、正則であるという有界 L² 曲率予想を証明するための基礎的段階を提供する。
• 多様体上における粗い位相および記号をもつフーリエ積分作用素を取り扱うための道具を構築するが、主たる予想とは独立に開発する。
• 全非線形解析における準線形波系の解析に不可欠な、低正則性仮定のもとでのパラメトリックス構成の頑健性を保証する。

提案手法

• 平面波に基づく表現式を用いて、エイコナール方程式から得られる位相関数を有する半波動パラメトリックスを構築する。
• 初期時刻 t=0 における位相関数の正則性を、曲率テンソル R が Σ₀ 上で L² に有界であるという仮定のもとで分析する。
• リトルウッド＝パイルの分解と作用素 P_j を用いた周波数局在化により、周波数空間におけるパラメトリックスの制御を行う。
• 有限バンド特性とベルンシュタイン型不等式を用いて、パラメトリックスおよびその誤差項の局在化成分の L² ノルムを推定する。
• アインシュタイン方程式のノン構造を活用し、周波数局在化ノルムにおける二重および三重線形推定を適用する。
• 初期超曲面上のベクトル場の発散および二階微分を含む推定を用いて誤差項を制御し、L∞ および L² ノルムを用いる。

実験結果

リサーチクエスチョン

• RQ1 計量 g が L²-正則な曲率をもつ場合、波動方程式のパラメトリックス構成における位相関数の正則性はいかほどか？
• RQ2 より高い正則性を仮定しないで、曲率に L² 界 R が有限であるという最小限の仮定のもとで、パラメトリックスおよびその誤差項をどのように制御できるか？
• RQ3 特にアインシュタイン方程式の文脈において、準線形波方程式に対して粗い背景を持つ場合に、パラメトリックス法をどの程度まで適用可能か？
• RQ4 初期時刻における位相の正則性が、パラメトリックスおよびその誤差のグローバル制御に果たす役割はいかほどか？
• RQ5 L² 曲率界だけが、光的超曲面の幾何を制御し、注釈半径の下界を保証するために十分か？

主な発見

• 曲率テンソル R が Σ₀ 上で L² に有界であるという仮定のもとで、パラメトリックス構成における位相関数が初期時刻で正則であることが示された。
• 曲率に L² 界を課すという最小限の仮定のもとで、計量のより高い正則性を仮定せず、パラメトリックスおよびその誤差項が L² ノルムで制御可能である。
• リトルウッド＝パイルの射影による周波数局在化推定に依拠し、ベクトル場およびその微分の L∞ および L² ノルムに依存する境界が得られた。
• 時間区間 [0,1] において、パラメトリックスが時間に一様に制御可能であり、曲率の L² ノルムおよび第二基本形式のノルムが十分小さい ε に対して有界である。
• 初期超曲面 Σ₀ の体積半径が [0,1] 上で一様に下から 1/4 以上に保たれることを示した。これにより幾何的制御が保証された。
• 結果として、有界 L² 曲率予想の完全な証明に向けた最初の段階が得られ、パラメトリックス法がアインシュタイン方程式の非線形構造を扱う中心的役割を果たすことが示された。