[論文レビュー] Spectral cluster bounds for orthonormal systems and oscillatory integral operators in Schatten spaces

Rupert L. Frank, Julien Sabin|arXiv (Cornell University)|Aug 29, 2016

Numerical methods in inverse problems参考文献 31被引用数 11

ひとこと要約

本稿では、コンpaktoなリーマン多様体上の正規直交固有関数系に対して、摺り込み積分作用素のシュレーディンガー空間ノルム推定を用いて、鋭いスペクトルクラスターバインディングを確立する。主な結果は、部分空間 $ Q \subset E_\lambda $ 内の正規直交基底の密度 $ \rho^Q = \sum |f_j|^2 $ に対する最適な $ L^{p/2} $ バインディングであり、$ \|\rho^Q\|_{L^{p/2}} \lesssim \lambda^{2s(p)} (\dim Q)^{1/\alpha(p)} $ が成り立つ。これは、Soggeの点での $ L^p $ バインディングとWeylの法則（全スペクトルクラスターの場合）の間を最適に補間する。

ABSTRACT

We generalize the $L^p$ spectral cluster bounds of Sogge for the Laplace-Beltrami operator on compact Riemannian manifolds to systems of orthonormal functions. The optimality of these new bounds is also discussed. These spectral cluster bounds follow from Schatten-type bounds on oscillatory integral operators.

研究の動機と目的

• 単一固有関数のSoggeの $ L^p $ バインディングを、スペクトルクラスター内の正規直交固有関数系や準固有関数系に一般化すること。
• スペクトル射影子 $ E_\lambda $ 内の正規直交系の密度 $ \rho^Q = \sum |f_j|^2 $ に対する最適な $ L^{p/2} $ バインディングを導出すること。
• スペクトルクラスターバインディングを導く、振動積分作用素に対するシュレーディンガー型ノルムバインディングを確立すること。
• 極値部分空間を構成することで、導出されたバインディングの鋭さを証明すること。
• 2つの極端な状況を統一的かつ最適に補間する：$ \dim Q = 1 $（Soggeのバインディング）と $ Q = E_\lambda $（Weylの法則）を1つの最適推定式に統合すること。

提案手法

• コンパクトなリーマン多様体上での振動積分作用素 $ \beta(\sqrt{\Delta_g})W $ のシュレーディンガー $ \mathfrak{S}^p $-ノルムバインディングを導出する。
• 多様体への一般化されたカトー–セイラー–シモンの不等式を用い、$ \|\beta(\sqrt{\Delta_g})W\|_{\mathfrak{S}^p} $ を $ \|W\|_{L^p} $ と $ \beta $ のスペクトル減衰性に関連付ける。
• 点でのWeyl法則を適用して、スペクトル射影子 $ \Pi_n $ のトレースを制御し、$ \operatorname{Tr}(\Pi_n |W|^p) \lesssim (1+n)^{N-1} \|W\|_{L^p}^p $ を得る。
• 正規直交系の直交性を用いて、三角不等式によるバインディングを改善し、$ \dim Q $ を $ (\dim Q)^{1/\alpha(p)} $（$ \alpha(p) > 1 $）に置き換える。
• 任意の $ r_\lambda \ll \dim E_\lambda $ に対して、$ \dim Q_\lambda \sim r_\lambda $ となる部分空間 $ Q_\lambda \subset E_\lambda $ を構成し、バインディングの鋭さを証明する。
• 球面調和関数および関連ルジャンドル関数の漸近挙動を解析することで、$ \ell, m $-依存推定における定数の鋭さを検証する。

実験結果

リサーチクエスチョン

• RQ1 Soggeの単一固有関数に対する $ L^p $ バインディングは、スペクトルクラスター内の正規直交固有関数系へと拡張可能か？
• RQ2 密度 $ \rho^Q $ の $ L^{p/2} $ ノルムが、部分空間 $ Q \subset E_\lambda $ の次元とスペクトルパラメータ $ \lambda $ に依存する最適な依存関係は何か？
• RQ3 導出されたバインディング $ \|\rho^Q\|_{L^{p/2}} \lesssim \lambda^{2s(p)} (\dim Q)^{1/\alpha(p)} $ は、すべての $ 2 \leq p \leq \infty $ に対して鋭いか？
• RQ4 正規直交系の直交性は、自明な三角不等式推定と比較して、$ \dim Q $ 依存性をどのように改善するか？
• RQ5 振動積分作用素に対するシュレーディンガーノルム推定は、多様体の定数のみに依存する一様な定数を用いて、コンパクトなリーマン多様体へ一般化可能か？

主な発見

• すべての $ 2 \leq p \leq \infty $ に対して、$ \|\rho^Q\|_{L^{p/2}} \lesssim \lambda^{2s(p)} (\dim Q)^{1/\alpha(p)} $ が成り立つ。ここで $ \alpha(p) $ は $ p $ と次元 $ N $ に依存する区分的関数として定義される。
• $ \dim Q = 1 $ の場合、このバインディングは指数 $ s(p) $ を用いたSoggeの鋭い $ L^p $ 評価に一致し、単一関数の場合と整合的であることが確認される。
• $ Q = E_\lambda $ の場合、バインディングは鋭いWeyl法則の推定 $ \|\rho^{E_\lambda}\|_{L^{p/2}} \lesssim \lambda^{N-1} $ と一致し、スペクトル漸近の整合性が確認される。
• 指数 $ 1/\alpha(p) < 1 $ は、直交性による利得を反映しており、自明なバインディング $ \dim Q $ よりも改善されており、これは非最適である。
• このバインディングは、任意の $ r_\lambda \ll \dim E_\lambda $ に対して、$ \dim Q_\lambda \sim r_\lambda $ となる部分空間 $ Q_\lambda \subset E_\lambda $ が存在し、$ \|\rho^{Q_\lambda}\|_{L^{p/2}} \gtrsim \lambda^{2s(p)} (\dim Q_\lambda)^{1/\alpha(p)} $ を満たすという意味で最適である。
• $ N=2 $、$ M = \mathbb{S}^2 $ の場合に鋭さが証明されており、一般にはこのバインディングを改善できないことが示されている。