[論文レビュー] A Strichartz estimate for de Sitter space

Dean Baskin|arXiv (Cornell University)|Sep 14, 2009

Advanced Mathematical Physics Problems参考文献 11被引用数 3

ひとこと要約

本稿では、$C^2$ で漸近的に de Sitter 空間であるが、短距離条件を満たす空間上で、共形不変な Klein-Gordon 方程式に対するグローバル Strichartz 評価を、スケーリングの議論と局所 Strichartz 評価を用いて確立する。主な結果は、指数関数的重みを含む $L^pL^q$ 評価の族であり、これによりこれらの時空上での小データに対する半線形 Klein-Gordon 方程式の適切な定義が可能になる。

ABSTRACT

We demonstrate a family of Strichartz estimates for the conformally invariant Klein-Gordon equation on a class of asymptotically de Sitter spaces with C^2 metrics by using well-known local Strichartz estimates and a rescaling argument. This class of metrics includes de Sitter space. We also give an application of the estimates to a semilinear Klein-Gordon equation on these spaces.

研究の動機と目的

• $C^2$ メトリクスを備えた漸近的に de Sitter 空間上での共形不変 Klein-Gordon 方程式に対するグローバル Strichartz 評価を導出すること。
• スケーリングの議論と共形コンパクト化を用いて、局所 Strichartz 評価をグローバル評価に拡張すること。
• これらの時空上での小初期データに対する半線形 Klein-Gordon 方程式の適切な定義を証明すること。
• $\boxed{\lambda = \frac{n^2-1}{4}}$ の場合に分散的障害が存在しないことにより、グローバル Strichartz 評価が可能になることを示すこと。

提案手法

• de Sitter 空間の共形コンパクト化を、ローレンツ的シリンダーに変換し、局所 Strichartz 評価が適用可能な設定に問題を変換する。
• 局所評価を時間の指数関数的重み付きグローバル評価に変換するためのスケーリングの議論を適用する。
• Tataru および Smith の時間依存 Strichartz 評価に適した形に Klein-Gordon 算術を変換する。
• 短距離仮定（$x=0$ における $h(x,y,dy)$ のテイラー展開に線形項がないこと）を用いて、スケーリングにおける誤差項を制御する。
• $(x,y)$ のコンパクト化座標から、漸近的 $(t,y)$ 座標への推移を $x = e^{-t}$ を用いて行う。
• 非線形項の $L^1_t(L^2_y)$ ノルムを用いた収縮写像法を、重み付き $L^pL^q$ 空間で適用し、半線形方程式の小データ解の存在と一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 共形不変 Klein-Gordon 方程式が $C^2$ な漸近的 de Sitter 空間上でグローバル Strichartz 評価を有するか。
• RQ2 分散的障害が存在しない条件は、どのような条件下でグローバル Strichartz 評価を可能にするか。
• RQ3 得られた評価は、これらの時空上での半線形 Klein-Gordon 方程式の小データに対する適切な定義に応用可能か。
• RQ4 共形的手法は、この幾何的設定において、局所 Strichartz 評価をグローバルなものに拡張するためにどのように寄与するか。

主な発見

• 短距離条件（$h(x,y,dy)$ に線形項がないこと）を満たす $C^2$ な漸近的 de Sitter 空間上では、共形不変 Klein-Gordon 方程式に対するグローバル Strichartz 評価が成り立つ。
• 評価は、$\|u\|_{L^p_t(W^{1-s,q}_y(e^{n|t|}dh), e^{p(s-1/2)|t|}dt)} \lesssim e^{|t_0|/2}(\|u_0\|_{H^1(e^{n|t|}dh)} + \|u_1\|_{L^2(e^{n|t|}dh)})$ の形を取り、$(p,q,s)$ が適切な条件を満たす場合に成り立つ。
• 半線形方程式 $\Box_g u + \frac{n^2-1}{4}u = F_k(u)$ に対して、$n=3$, $k=5$ の場合、初期データが十分に小さいとき、$L^5_t(L^{10}_y(e^{3|t|}dh), e^{5|t|/2}dt)$ 内に一意な小データ解が存在する。
• 同様に、$n=4$, $k=3$ の場合、初期データが同じく十分に小さいとき、$L^3_t(L^6_y(e^{4|t|}dh), e^{3|t|/2}dt)$ 内に同様の小データ解が存在する。
• 解は初期データに対してリプシッツ連続に依存し、非線形項の $L^1_t(L^2_y)$ ノルムを用いた収縮法により一意性が示される。
• この手法は、完全な de Sitter 空間および一階の漸近的 de Sitter 空間へと拡張可能であり、従来の静的モデルに限られていた先行研究を改善する。