[論文レビュー] Parametrix for wave equations on a rough background II: construction and control at initial time

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

Advanced Mathematical Physics Problems参考文献 18被引用数 19

ひとこと要約

この論文は、アインシュタイン真空方程式を満たす粗いローレンツ計量 g に対して、波動方程式 □_gφ = 0 のパラメトリックスを構成し、制御する。曲率テンソル R に対しては L² 界でのみ仮定する。平面波パラメトリックスと、ベクトル場および幾何的量を含む誤差項の鋭い解析を用いて、初期時刻におけるパラメトリックスおよびその誤差の均一な L² 制御を確立する。これは一般相対性理論における有界 L² 曲率予想を証明する上で極めて重要な段階である。

ABSTRACT

This is the second 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 by S. Klainerman, I. Rodnianski and the author 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 に対して、アインシュタイン真空方程式を満たす波動方程式 □_gφ = 0 のパラメトリックスを構成すること。
• 曲率テンソル R の L² 界のみを仮定し、より高い正則性仮定を一切用いずに、パラメトリックスおよびその誤差項を制御すること。
• 有界 L² 曲率予想の完全な証明に必要な初期時刻における基礎的解析を提供すること。
• 正則性が限られた多様体上での粗い位相および記号をもつフーリエ積分作用素を扱うための道具を開発すること。
• 初期時刻 t = 0 における幾何的量およびパラメトリックスの微分の均一な L² 制御を確立すること。これは後のエネルギー推移に不可欠である。

提案手法

• 平面波パラメトリックス表現を用いる：Sf(t,x) = ∫_{S²}∫₀^∞ e^{iλu(t,x,ω)} f(λω) λ² dλ dω。
• 粗い背景上でのエイコナール方程式を満たす幾何的位相関数 u(t,x,ω) を用いてパラメトリックスを構成する。
• 誤差項を、ベクトル場 N, N′ および g(N,N′) などの幾何的量を含む成分に分解することで、波動方程式における誤差を解析する。
• ヌルベクトル場 N および N′ の構造方程式を適用し、計量および接続係数の微分を制御する。
• 発散項を A₁ から A₅ に分解し、(1 - g(N,N′)²)⁻¹ および (λ - λ′(a/a′)g(N,N′))⁻¹ 要素を用いて特異性を鋭く制御する。
• 付録 A の先行推移を用いて、∇_N(g(N,N′)) / (1 - g(N,N′))¹ᐟ² および ∇_{N−g(N,N′)N′}(g(N,N′)) / (1 - g(N,N′))³ᐟ² といった重要な項の制御を確立する。

実験結果

リサーチクエスチョン

• RQ1 計量 g が L² 曲率にのみ満たす場合に、波動方程式 □_gφ = 0 のパラメトリックスをどのように構成できるか。
• RQ2 最小限の正則性仮定のもとで、パラメトリックス近似における誤差項の正確な構造は何か。
• RQ3 パラメトリックス誤差に起因する発散項は、初期時刻でどのように均一に制御できるか。
• RQ4 g(N,N′)、∇_N(g(N,N′))、計量の2階微分といった幾何的量が誤差解析において果たす役割は何か。
• RQ5 L² 曲率界のみを仮定し、より高いソボレフ正則性を一切用いずに、パラメトリックスおよびその誤差の均一な L² 界を確立できるか。

主な発見

• パラメトリックスの構成は、曲率テンソル R に対して L² 界でのみ仮定するという最小限の正則性のもとで有効であり、有界 L² 曲率予想に必要な最小限の正則性を満たす。
• 初期時刻におけるパラメトリックス近似の誤差項は L² で制御され、その一様な界は R の L² ノルムおよび初期データの大きさにのみ依存する。
• ∇_N(g(N,N′)) / (1 - g(N,N′))¹ᐟ² や ∇_{N−g(N,N′)N′}(g(N,N′)) / (1 - g(N,N′))³ᐟ² といった重要な幾何的項の制御が解析によって確立された。
• 発散項の分解において A₁ から A₅ 項が明示的に制御され、これにより後のエネルギー推移と整合する形の構造が得られた。
• ‖R‖_{L²(Σ₀)} ≤ ε かつ r_vol(Σ₀,1) ≥ 1/2 という仮定のもと、Σ₀ 上でパラメトリックスおよびその誤差が L² で一様に有界であることが示された。
• この初期時刻における制御は、[12] で確立されたように、有界 L² 曲率予想の完全な証明に不可欠な要素である。