[論文レビュー] Landau's necessary density conditions for the Hankel transform

Luís Daniel Abreu, Afonso S. Bandeira|arXiv (Cornell University)|Nov 29, 2011

Mathematical Analysis and Transform Methods参考文献 16被引用数 9

ひとこと要約

本稿は、ハンケル変換空間におけるサンプリングおよび補間のためのランダウ型必要密度条件を確立し、サンプリング列は下側密度が必ず $rac{1}{/pi}m(S)$ 以上でなければならないことを証明している。一方、補間列は上側密度が $rac{1}{/pi}m(S)$ 以下でなければならない。ここで $m(S)$ はスペクトルサポート $S$ の測度を表す。これらの結果は、ベッセル関数に基づく関数空間へと、古典的なフーリエ解析の密度定理を拡張するものである。

ABSTRACT

We will prove an analogue of Landau's necessary conditions [Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math. 117 (1967).] for spaces of functions whose Hankel transform is supported in a measurable subset S of the positive semi-axis. As a special case, necessary density conditions for the existence of Fourier-Bessel frames are obtained.

研究の動機と目的

• フーリエ解析におけるバンドリミテッド関数のためのランダウの古典的必要密度条件を、ハンケル変換およびベッセル関数展開の文脈へと拡張すること。
• ハンケル変換が可測集合 $S \subset (0,\infty)$ に台を持つ空間において、非調和的フーリエ＝ベッセルフレームおよび補間に関する密度結果の欠如に応えること。
• 関数空間 $\mathcal{B}_\alpha(S)$ におけるサンプリングおよび補間列の密度の定量的下限および上限を、スペクトルサポートの測度 $m(S)$ を用いて導出すること。
• ハンケル変換設定において翻訳不変性が欠如しているため、フーリエ解析で用いられる古典的な固有値に基づく手法を直接適用できない問題を克服すること。

提案手法

• 関数空間 $\mathcal{B}_\alpha(S)$ を、$\alpha > -1/2$ の階数のハンケル変換が可測集合 $S \subset (0,\infty)$ に台を持つ $L^2(0,\infty)$ 関数の集合として定義し、ペーリー＝ウイーナー空間を一般化する。
• ハンケル変換の非翻訳不変構造に適合した、区間 $[a, a+r]$ 内の点の数の漸近的平均に基づく、列 $\Lambda \subset (0,\infty)$ に対する密度 $D^{-}(\Lambda)$ および $D^{+}(\Lambda)$ の定義を行う。
• 区間 $[0,r]$ 上の濃度作用素 $\mathcal{R}_\alpha(r,S)$ のスペクトル解析を用い、固有値 $\lambda_j(r,S)$ を推定し、閾値を超える固有値の数をサンプリング／補間点の数に関連付ける。
• 固有値が区間 $(\delta_0, \gamma_0)$ 内にある数を、$r$ に関して対数的成長が最大であることを示し、これによりサンプリングおよび補間列の漸近的密度推定を得る。
• 近似法を適用する：一般の可測集合 $S$ に対して、サンプリングでは区間の有限和で $S$ を被覆し、補間では開集合による外近似を行う。測度近似を用いて、区間の場合の結果を一般化する。
• 積分作用素のトレースおよびノルム推定を活用し、閾値を超える固有値の数の下界を得ることで、密度不等式の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ハンケル変換空間 $\mathcal{B}_\alpha(S)$ において、サンプリング集合となるための必要最小下密度は何か？
• RQ2 $S$ が有界であるとき、補間集合となるための必要最大上密度は何か？
• RQ3 区間 $[0,r]$ 上の濃度作用素の固有値は、$\mathcal{B}_\alpha(S)$ におけるサンプリングおよび補間列の密度とどのように関係するか？
• RQ4 基礎となる固有値問題において翻訳不変性が欠如しているにもかかわらず、ランダウ型密度条件をハンケル変換空間へと拡張できるか？
• RQ5 区間 $[0,r]$ 内のサンプリング／補間点の数の $r \to \infty$ における漸近的挙動は何か？ そして $m(S)$ とどのように関係するか？

主な発見

• 任意の分離された集合 $\Lambda$ が $\mathcal{B}_\alpha(S)$ のサンプリング集合であるとき、下側密度は $D^{-}(\Lambda) \geq \frac{1}{\pi}m(S)$ を満たす。これは、サンプリング密度に対する必要最小下限を確立する。
• 任意の集合 $\Lambda$ が $S$ が有界な $\mathcal{B}_\alpha(S)$ の補間集合であるとき、上側密度は $D^{+}(\Lambda) \leq \frac{1}{\pi}m(S)$ を満たす。これは、補間密度に対する必要最大上限を提供する。
• $S$ が有限個の区間の和集合であるとき、$[0,r]$ 内のサンプリング点の数は、定数 $A, B$（$r$ に依存しない）を用いて、$\frac{1}{\pi}r m(S) - A\log r - B$ 以上である。これは、理想密度からの対数的ずれを示している。
• 補間に関しては、$[0,r]$ 内の点数は、定数 $C, D$（$r$ に依存しない）を用いて、$\frac{1}{\pi}r m(S) + C\log r + D$ 以下である。これは、臨界密度からの類似した対数的ずれを示している。
• 一般の可測集合 $S$ については近似を用いて拡張する：$S$ がコンパクトな場合は区間による被覆を、$S$ が有界な場合は開集合による外近似を用いる。これにより、サンプリング結果はコンパクト $S$ に対して、補間結果は有界 $S$ に対して成立する。
• 翻訳不変性の欠如を、濃度作用素のスペクトル推定およびトレース・ノルム不等式を用いた固有値数の制御によって克服する。これにより、密度の境界が導出可能となる。