[論文レビュー] Kolmogorov and Linear Widths of Balls in Sobolev and Besov Norms on Compact Manifolds

Daryl Geller, Isaac Z. Pesenson|arXiv (Cornell University)|Apr 4, 2011

Advanced Harmonic Analysis Research参考文献 33被引用数 4

ひとこと要約

本稿は、コンパクトなリーマン多様体上におけるソボレフ空間の単位球に対するコルモゴロフ、線形、ゲルファンド $n$-幅の漸近的正確な上界と下界を確立している。特に、コンパクトな同次多様体に対して、スペクトル理論、カーネル局所化、および立方則公式を用いて、$ n^{-r/s + \max(0, 1/p - 1/q)} $ の形の鋭い漸近的推定値を導出している。ここで $ s $ は多様体の次元、$ r $ は滑らかさ指数であり、自然なパrameter範囲で成立する。

ABSTRACT

We determine upper asymptotic estimates of Kolmogorov and linear $n$-widths of unit balls in Sobolev and Besov norms in $L_{p}$-spaces on smooth compact Riemannian manifolds. For compact homogeneous manifolds, we establish estimates which are asymptotically exact, for the natural ranges of indices. The proofs heavily rely on our previous results such as: estimates for the near-diagonal localization of the kernels of elliptic operators, Plancherel-Polya inequalities on manifolds of bounded geometry, cubature formulas with positive coefficients and uniform estimates on Clebsch-Gordon coefficients on general compact homogeneous manifolds.

研究の動機と目的

• 滑らかなコンパクトなリーマン多様体上におけるソボレフ空間の単位球のコルモゴロフおよび線形 $n$-幅の漸近的推定値を特定すること。
• 特に $p$、$q$、$r$ の自然な範囲において、コンパクトな同次多様体上でのこれらの幅の漸近的正確な境界を確立すること。
• スペクトルおよび調和解析の道具を用いて、コンパクトな同次多様体上におけるゲルファンド幅の下界を導出すること。
• プランシェル＝ポリヤの不等式、正の立方則公式、およびクリービング＝ジョーダン係数の一様推定値を活用して、$n$-幅に関する先行研究を統合・拡張すること。
• $n$-幅を最良近似効率の尺度として用いることにより、多様体上での関数近似の包括的な枠組みを提供すること。

提案手法

• 著者らは、特にラプラス＝ベルトラミ作用素およびカシミール作用素を用いた、楕円型作用素のスペクトル理論を用いて、コンパクト多様体上でのソボレフノルムを定義する。
• 楕円型作用素のカーネルに対する近似対角線の局所化推定値を適用し、特異積分および射影の挙動を制御する。
• 多様体上でのプランシェル＝ポリヤの不等式を用いて、関数の $L_p$-ノルムとそのスペクトル展開における係数との関係を確立する。
• 一様誤差境界を持つ正の立方則公式を構築し、$L_p$-ノルムの離散化および有限次元射影による $n$-幅の近似を行う。
• コンパクトな同次多様体上でのクリービング＝ジョーダン係数の一様推定値を用いて、テンソル積分解における行列係数の成長を制御する。
• 証明は、有限次元の $\ell_p$-球幅との比較技術に依拠し、埋め込みと双対性を用いて多様体の場合の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体上におけるソボレフ空間の単位球のコルモゴロフおよび線形 $n$-幅の漸近的挙動は何か？
• RQ2 これらの幅は、近似部分空間の次元 $n$、滑らかさ $r$、可積分性パrameter $p$、$q$ に対してどのようにスケーリングされるか？
• RQ3 コンパクトな同次多様体上では、$n$-幅の上界を漸近的に正確なものにできるか？
• RQ4 コンパクトな同次多様体上におけるゲルファンド $n$-幅の鋭い下界は何か？また、コルモゴロフ幅および線形幅と比べてどうなるか？
• RQ5 結果は、楕円型作用素 $L$ の選択にどの程度依存するか？また、カシミール作用素が最適となる条件は何か？

主な発見

• コンパクトな同次多様体において、$W_p^r(M)$ 内の単位球のコルモゴロフ $n$-幅は、$ s = \dim M $ として、$ d_n(B_p^r, L_q) \asymp n^{-r/s + \max(0, 1/p - 1/q)} $ を満たす。$p$、$q$、$r$ の自然な範囲で成立する。
• 線形 $n$-幅 $\delta_n(B_p^r, L_q) \asymp n^{-r/s + \max(0, 1/p - 1/q)} $ であり、定数の違いを除いてコルモゴロフ幅と一致する。
• ゲルファンド幅に関しては、下界 $ d^n(B_p^r, L_q) \gg n^{-r/s + \max(0, 1/p - 1/q)} $ が成り立ち、多くの場合で漸近的順序が鋭い。
• 指数 $ -r/s + \max(0, 1/p - 1/q) $ が $p \leq q$ かつ $p \geq 1$ のとき正確であり、同次空間では特定の楕円型作用素 $L$ の選択に依存しない。
• 結果は、埋め込み $ b_p^M \subset M^{1/p - 1/q} b_q^M $ と双対性技術を用いた、有限次元 $\ell_p$-球幅との比較によって導出される。
• 証明は、次元 $P_N \asymp n$ のスペクトル部分空間への射影 $Q_N$ を構築し、$h$ の係数 $a$ に対して $ \|Q_N h\|_q \asymp N^{-1/q} \|a\|_q $ であるという事実に依拠する。