[論文レビュー] Resolvent and spectral measure on non-trapping asymptotically hyperbolic manifolds I: Resolvent construction at high energy

Xi Chen, Andrew Hassell|arXiv (Cornell University)|Oct 25, 2014

Advanced Mathematical Physics Problems参考文献 14被引用数 5

ひとこと要約

本稿では、半古典的ラグランジュ分布および交差するラグランジュ分布を用い、Mazzeo-Melroseの$0$-計算と組み合わせることで、非捕捉な漸近的に双曲的多様体における高エネルギーの解像度作用素を構成する。Melrose, Sá Barreto, Vasyの先行研究を一般化し、半古典的作用素$P_h = h^2\Delta - h^2 n^2/4 - 1$のパラメトリクスを確立し、交差するラグランジュ部分多様体上のハミルトニアン流れに沿った記号伝播を用いて、$O(h^\infty)$の誤差の下での解の存在を証明する。

ABSTRACT

This is the first in a series of papers in which we investigate the resolvent and spectral measure on non-trapping asymptotically hyperbolic manifolds with applications to the restriction theorem, spectral multiplier results and Strichartz estimates. In this first paper, we use semiclassical Lagrangian distributions and semiclassical intersecting Lagrangian distributions, along with Mazzeo-Melrose 0-calculus, to construct the high energy resolvent on general non- trapping asymptotically hyperbolic manifolds, generalizing the work due to Melrose, Sa Barreto and Vasy. We note that there is an independent work by Y. Wang which also constructs the high-energy resolvent.

研究の動機と目的

• 双曲的計量に近いものに限らない、一般の非捕捉な漸近的に双曲的多様体への高エネルギー解像度作用素の構成を拡張すること。
• ラグランジュ分布および$0$-計算を含む半古典的手法を応用し、高エネルギーにおける解像度作用素の構造を分析すること。
• Melrose, Sá Barreto, Vasyの結果を、より広いクラスの漸近的に双曲的計量で一般化すること。
• 交差するラグランジュ対に沿った記号伝播を用いて、半古典的作用素$P_h = h^2\Delta - h^2 n^2/4 - 1$のパラメトリクスを確立すること。
• このような多様体上でのスペクトル乗数、制限定理、Strichartz推移の後続研究の基盤を提供すること。

提案手法

• 解像度作用素方程式を$P_h A_h = \mathrm{Id}$の形に再定式化するため、$h = \lambda^{-1}$という半古典的パラメータを用いることで、微局所的解析を可能にする。
• Mazzeo-Melroseの$0$-計算を適用し、解像度作用素核が$\Psi^{-2}_0(X) + \rho_L^\zeta \rho_R^\zeta C^\infty(X \times_0 X)$に属することを記述する。ここで$\zeta = n/2 - i\lambda$である。
• 半古典的ラグランジュ分布および交差するラグランジュ分布を用いて、解像度作用素核の特異性をモデル化する。
• 埋め込まれた交差するラグランジュ対$(\Lambda_0, \Lambda_1)$に沿って、$P_h$のパラメトリクスを記号的に構成する。ここで$\Lambda_1$は、$H_p$による$\Lambda_0 \cap \Sigma(P)$の前方フローフルアウトである。
• $\Lambda_1$上でパラメトリクスの記号を解く一階常微分方程式を解き、境界$\partial\Lambda_1$における制限写像$R(p^{-1}\sigma(F))$による初期値を設定することで、一意性を保証する。
• 記号計算および$H_p$に沿ったLie微分を用いて、反復的手続きを用いて形式的解$U = \sum U_j$を構成する。このとき$F - P U = O(h^\infty)$を満たす。

実験結果

リサーチクエスチョン

• RQ1 双曲的計量の摂動に限らない、一般の非捕捉な漸近的に双曲的多様体上での高エネルギー解像度作用素は、どのように構成可能か？
• RQ2 高エネルギー極限における解像度作用素核の微局所的構造は何か？ そして、ラグランジュ分布を用いてどのように記述できるか？
• RQ3 非捕捉性、$\Lambda_1$上でのコンパクト台付き双特徴線の不在、$H_p$が$\Lambda_0$に非接するという幾何的条件が、パラメトリクスの存在を保証する仕組みは何か？
• RQ4 $0$-計算は、$0$-吹き上げられた二重空間の境界面における解像度作用素の特異性をどのように記述するか？
• RQ5 交差するラグランジュ対上で、Lie微分$\mathcal{L}_{H_p}$および補助記号$s$を用いて、パラメトリクスの記号伝播をどのように制御できるか？

主な発見

• 非捕捉な漸近的に双曲的多様体上での高エネルギー解像度作用素は、半古典的手法を用いて構成され、以前の結果をより広い計量クラスへと拡張した。
• 解像度作用素核は、$\Psi^{-2}_0(X) + \rho_L^\zeta \rho_R^\zeta C^\infty(X \times_0 X)$の空間に属し、$\zeta = n/2 - i\lambda$を満たす。これは期待される特異構造を確認するものである。
• 交差するラグランジュ分布を用いて、半古典的作用素$P_h = h^2\Delta - h^2 n^2/4 - 1$のパラメトリクスが$O(h^\infty)$の誤差の下で構成された。
• パラメトリクスの記号は、$\frac{h}{i}\mathcal{L}_{H_p}(\sigma(U_0)) + s\sigma(U_0) = 0$に従う$\Lambda_1$に沿った一階常微分方程式に従い、幾何的仮定のおかげで一意な解を持つ。
• 構成は反復的かつ記号的であり、各ステップが主記号および補助記号によって制御され、$F - P U = O(h^\infty)$を満たす解$U$が得られる。
• この手法は、すべての非捕捉な漸近的に双曲的多様体に一様に適用可能であり、スペクトル理論および分散的推移の研究の基盤を提供する。