[論文レビュー] Besov Spaces and Frames on Compact Manifolds

Daryl Geller, Azita Mayeli|ArXiv.org|Sep 16, 2007

Mathematical Analysis and Transform Methods参考文献 12被引用数 7

ひとこと要約

本稿では、リーマン多様体上の非一様Besov空間の特徴付けを、ラプラシアン＝ベルトラミ作用素のスペクトル理論によって構成された滑らかでほぼタイトなフレームから得られるフレーム係数を用いて行った。Calderón型の単位分解の離散化と、カーネル推定およびフレーム不等式を活用することで、関数のBesov空間における準ノルムが、そのフレーム係数の重み付き$\ell^q$ノルムと同値であることを証明した。これは、ユークリッド空間におけるウェーブレット特徴付けを、全範囲の指数を含むコンパクト多様体へと拡張するものである。

ABSTRACT

We show that one can characterize the Besov spaces on a smooth compact oriented Riemannian manifold, for the full range of indices, through a knowledge of the size of frame coefficients, using the frames we have constructed in [8].

研究の動機と目的

• ユークリッド空間におけるBesov空間の特徴付けを、フレーム理論を用いてコンパクトリーマン多様体へと拡張すること。
• コンパクト多様体上における非一様Besov空間$B_p^{\alpha q}$の全範囲特徴付けを、フレーム係数を用いて確立すること。
• Besov空間に属する関数の準ノルムが、そのフレーム係数の重み付き$\ell^q$ノルムと同値であることを証明すること。
• FrazierとJawerthの手法を$\mathbb{R}^n$からコンパクト多様体へと拡張し、幾何的およびスペクトル的複雑性に対応するように適応すること。

提案手法

• ラプラシアン＝ベルトラミ作用素のスペクトル乗数$f(t^2\Delta)$を用いて、コンパクト多様体$\mathbf{M}$上に滑らかでほぼタイトなフレームを構成する。
• Calderón型の単位分解$\int_0^\infty |f(ts)|^2 \frac{dt}{t} = c$を、$a$が1に近いときのフレーム条件$A_a \leq \sum_j |f(a^{2j}s)|^2 \leq B_a$に離散化する。
• フレーム要素を$\phi_{j,k}(x) = [\mu(E_{j,k})]^{1/2} \overline{K_{a^j}}(x_{j,k},x)$で定義する。ここで$K_t$は$f(t^2\Delta)$のシュワーツ核であり、$E_{j,k}$は直径と測度が制御された集合である。
• 点ごとの作用素ノルムを抑え、フレーム係数の$L^p$ノルムを制御するため、カーネル推定$\|J_\nu\|_{C^{M_0}} \leq C_0 2^{\nu(n+M_0)}$を用いる。
• $L^2$におけるフレーム境界を、$A_a - C_0 b \leq \sum_{j,k} |(F,\phi_{j,k})|^2 \leq B_a + C_0 b$（$b$は小さい）により確立し、ほぼタイト性を保証する。
• フレーム係数の重み付き$\ell^q$ノルムとBesovノルムの同値性を示すことで、$\|F\|_{B_p^{\alpha q}} \asymp \left( \sum_j a^{-j\alpha q} \left[ \sum_k \mu(E_{j,k}) |r_{j,k}|^p \right]^{q/p} \right)^{1/q}$を証明する。ここで$r_{j,k}$は$F$の級数展開における係数である。

実験結果

リサーチクエスチョン

• RQ1 コンパクトリーマン多様体上における非一様Besov空間$B_p^{\alpha q}$は、ラプラシアン＝ベルトラミ作用素のスペクトル乗数から得られるフレーム係数の大きさによって特徴付けられるか。
• RQ2 多様体上でのフレーム特徴付けは、ユークリッド空間の場合とどのように異なるのか。また、新たな幾何的・解析的道具は何か。
• RQ3 フレーム境界および幾何的パラメータを用いて、Besov準ノルムとフレーム係数の$\ell^q$ノルムとの正確な同値関係は何か。
• RQ4 多様体の分割およびフレーム要素にどのような条件下で、$B_p^{\alpha q}$に属する関数の級数展開がBesovノルムにおいて収束するか。
• RQ5 フレーム特徴付けは、$0 < p, q \leq \infty$の全範囲、特に$p < 1$の場合に拡張可能か。その場合、どのような修正が必要か。

主な発見

• 関数$F$のBesov空間$B_p^{\alpha q}$における準ノルムは、そのフレーム係数の重み付き$\ell^q$ノルムと同値である：$\|F\|_{B_p^{\alpha q}} \asymp \left( \sum_j a^{-j\alpha q} \left[ \sum_k \mu(E_{j,k}) |r_{j,k}|^p \right]^{q/p} \right)^{1/q}$。$p \geq 1$のとき、定数は$b$に依存しない。
• フレーム$\{\phi_{j,k}\}$は滑らかでほぼタイトであり、フレーム境界比は$\frac{B_a + C_0 b}{A_a - C_0 b} = 1 + O(|(a-1)^2 \log|a-1||)$と表され、$a \to 1$のとき1に近づく。
• $F \in B_p^{\alpha q}$に対し、$F = \sum_{j,k} \mu(E_{j,k}) r_{j,k} \varphi_{j,k}$を満たす係数$r_{j,k}$が存在し、$\varphi_{j,k}(y) = \overline{K_{a^j}}(x_{j,k},y)$である。この展開は$B_p^{\alpha q}$で収束する。
• フレーム係数展開は安定である。重み付き$\ell^q$ノルムの下限は、$\|F\|_{B_p^{\alpha q}}$の定数倍で上界および下界が与えられ、$p \geq 1$のとき下界は$b$に一様に有界である。
• 証明はカーネル推定$\|J_\nu\|_{C^{M_0}} \leq C_0 2^{\nu(n+M_0)}$に依存しており、これにより点ごとの作用素ノルムが抑えられ、フレーム要素の$L^p$ノルム推定が可能になる。
• この特徴付けはすべての$0 < p, q \leq \infty$に対して成り立ち、$p < 1$の場合は分割$\{E_{j,k}\}$に追加の仮定が必要である。特に、$ba^j < \delta_0$のとき、$\mu(E_{j,k}) \geq c_0 (ba^j)^n$の測度下界が必要である。