[論文レビュー] The wave equation on asymptotically Anti-de Sitter spaces

András Vasy|arXiv (Cornell University)|Nov 29, 2009

Advanced Mathematical Physics Problems参考文献 21被引用数 7

ひとこと要約

本稿は、$g = x^{-2}\hat{g}$ で与えられる境界で滑らかである $\hat{g}$ を持つ境界定義関数 $x$ を用いた漸近的に反ド・ジッター（AdS）時空上におけるクライン＝ゴルドン方程式 $({\rm{\square}}_g + \lambda)u = f$ の局所的および大域的適切性を確立する。$\lambda < (n-1)^2/4$ のとき、解は境界条件がディリクレ型である関連する共形的計量 $\hat{g}$ におけるものと同様に振る舞い、特異点の伝播および境界における明確な漸近的挙動を示す。また、ディリクレからノイマンへの写像に類似した、適切に定義された散乱作用素が存在する。

ABSTRACT

In this paper we describe the behavior of solutions of the Klein-Gordon equation, (Box_g+lambda)u=f, on Lorentzian manifolds (X^o,g) which are anti-de Sitter-like (AdS-like) at infinity. Such manifolds are Lorentzian analogues of the so-called Riemannian conformally compact (or asymptotically hyperbolic) spaces, in the sense that the metric is conformal to a smooth Lorentzian metric g^ on X, where C has a non-trivial boundary, in the sense that g=x^{-2}g^, with x a boundary defining function. The boundary is conformally time-like for these spaces, unlike asymptotically de Sitter spaces, which are similar but with the boundary being conformally space-like. Here we show local well-posedness for the Klein-Gordon equation, and also global well-posedness under global assumptions on the (null)bicharacteristic flow, for lambda below the Breitenlohner-Freedman bound, (n-1)^2/4. These have been known under additional assumptions, see the work of Breitenlohner-Freedman and Holzegel. Further, we describe the propagation of singularities of solutions and obtain the asymptotic behavior (at the boundary of X) of regular solutions. We also define the scattering operator, which in this case is an analogue of the hyperbolic Dirichlet-to-Neumann map. Thus, it is shown that below the Breitenlohner-Freedman bound, the Klein-Gordon equation behaves much like it would for the conformally related metric, g^, with Dirichlet boundary conditions, for which propagation of singularities was shown by Melrose, Sjöstrand and Taylor, though the precise form of the asymptotics is different.

研究の動機と目的

• 漸近的に反ド・ジッター（AdS）時空上におけるクライン＝ゴルドン方程式の局所的および大域的適切性を、$\lambda < (n-1)^2/4$ の条件下で確立すること。
• 共形境界付近における正則解の特異点の伝播および漸近的挙動を分析すること。
• 散乱作用素を定義し、双曲的ディリクレからノイマンへの写像のローレンツ的類似物として特徴付けること。
• リーマン的共形的コンパクトおよび de Sitter 的な設定から得られた結果を、境界が時間的であるにもかかわらず、ローレンツ的 AdS 設定へと拡張すること。

提案手法

• 特異的構造 $g = x^{-2}\hat{g}$ を境界 $x=0$ 近傍で扱うために、$b$-微分作用素と $b$-擬微分作用素を用いた解析が行われる。
• クライン＝ゴルドン作用素 $P = \square_g + \lambda$ は、$\lambda$ がブレーテンローナー＝フリードマンの限界 $(n-1)^2/4$ より小さい $b$-設定で研究され、適切性が保証される。
• 特異点の伝播定理を含む微局所的手法が、解の波フロント集合および境界における挙動を特徴付けるために用いられる。
• 非同次ディリクレ問題は、$u = x^{s_-}v_- + x^{s_+}v_+$ とし、$v_-|_Y = v_0$ を満たすように、パラメトリックス構成とエネルギー推定を用いて解かれる。
• 散乱作用素は、解の漸近的挙動を介して定義され、境界で $v_+$（正則部分 $x^{s_+}v_+$ の係数）から $v_-$（特異部分 $x^{s_-}v_-$ の係数）への写像として作用する。これはディリクレからノイマンへの写像に類似している。
• 証明は、対数項を避けるために、$s_\pm(\lambda) = \frac{n-1}{2} \pm \sqrt{\left(\frac{n-1}{2}\right)^2 - \lambda}$ の指数根の非整数差に依存している。

実験結果

リサーチクエスチョン

• RQ1 境界が時間的である漸近的 AdS 時空上におけるクライン＝ゴルドン方程式が、どのような条件下で局所的に適切になるか。
• RQ2 このような時空上におけるクライン＝ゴルドン方程式の解における特異点はどのように伝播するのか。また、境界における漸近的挙動は何か。
• RQ3 このローレンツ的設定における散乱作用素の明確な形は何か。また、ディリクレからノイマンへの写像とはどのように関係しているか。
• RQ4 $\lambda$ がブレーテンローナー＝フリードマンの限界未満か、それと等しい場合に、解の挙動はどのように異なるか。
• RQ5 非同次問題の解は、制御可能な漸近的挙動を持つ正則部と特異部に分解可能か。

主な発見

• $(n-1)^2/4$ より小さい $\lambda$ のとき、任意の $m \in \mathbb{R}$ に対して $H^{1,m}_{0,{\rm b},\mathrm{loc}}(X)$ 内で、解が $H^{1,m}_{0,{\rm b},\mathrm{loc}}(X)$ に属し、一様安定性推定を満たす局所的適切性が保証される。
• 非同次ディリクレ問題 $Pu = f$, $u|_{t<t_0} = 0$, $u = x^{s_-}v_- + x^{s_+}v_+$ で $v_-|_Y = v_0$ を満たす解は、$s_+ - s_-$ が整数でない限り存在し、一意に定まる。$s_+ - s_-$ が整数である場合は、解の展開に対数項が現れる。
• 散乱作用素は適切に定義されており、境界で正則部 $x^{s_+}v_+$ の係数 $v_+$ から特異部 $x^{s_-}v_-$ の係数 $v_-$ への写像として作用する。これはディリクレからノイマンへの写像に類似している。
• 漸近的 AdS 空間上におけるクライン＝ゴルドン作用素の特異点の伝播は、ディリクレ条件を課えた関連計量 $\hat{g}$ と同様の原理に従うが、時間的境界のため、正確な漸近的挙動は異なる。
• 解空間は $b$-微分法により特徴付けられ、境界付近での主要挙動を支配するのは、$(xD_x + i(n-1))(xD_x) - \lambda$ の形の指数作用素である。
• $s_+ - s_-$ が整数である場合、解空間には対数項が含まれる：$v_- \in \mathcal{C}^\infty(X) + x^{s_+ - s_-} \log x \cdot \mathcal{C}^\infty(X)$。これは解構造における対数的分岐点を反映している。