[論文レビュー] Convergence properties of spline-like cardinal interpolation operators acting on $l^p$ data

Jeff Ledford|arXiv (Cornell University)|Dec 14, 2013

Advanced Numerical Analysis Techniques参考文献 4被引用数 4

ひとこと要約

本稿は、特定のフーリエ領域条件を満たす一般クラスの補間関数に対して、整数点における標本から $L^p(\mathbb{R})$ 内の関数を再構成するスプラインに類する補間作用素の収束を確立する。関数が有界 Variation を持つスペクトル測度をもつペーリー＝ウイナー型空間に属する場合、パrameter $\alpha \to \infty$ のとき、補間誤差の $L^p$ ノルムがゼロに収束することを証明する。これは、古典的な標本化定理を奇数次スプライン、ガウス関数、ポアソン核、およびマルチクアドリックスを含む広範なクラスのカーネルへと拡張するものである。

ABSTRACT

If $f\in \{f\in L^p(\mathbb{R}): f(x)=\int_{-π}^πe^{ixξ}dβ(ξ), β\in B.V.([-π,π]) \}$, then $f$ is determined by its samples on the integers by taking an appropriate limit. Specifically, $\| f - L_{ϕ_α}f \|_{L^p(\mathbb{R})} o 0$ as $α o\infty$ provided that $\{ϕ_α: α\in A\}$ is what we call a spline-like family of cardinal interpolators.

研究の動機と目的

• スプラインやガウス関数を超える一般クラスの補間作用素へ、古典的標本化定理を拡張すること。
• 有界変動スペクトル測度をもつペーリー＝ウイナー型空間に属する関数に対して、$\ell^p$ データに作用する補間作用素の $L^p$ 収束を確立すること。
• 「スプラインに類する補間作用素」としての新しい補間関数クラスを定義し、そのフーリエ変換が一様有界性および減衰性を満たすことを特徴づけること。
• 奇数次スプライン、ガウス関数、ポアソン核、マルチクアドリックスといった主要な族がこのクラスに属し、収束条件を満たすことを確認すること。
• カーネルのフーリエ変換のスペクトル的および関数解析的性質に基づき、$L^p$ 内での補間作用素の収束を統一的に枠組みで扱うこと。

提案手法

• 4つの条件を満たす補間関数族 $\phi_\alpha$ を定義する：緩やかな増加、$[-\pi,\pi]$ 上での正および有界なフーリエ変換、0以外の点で $C^1$ の正則性、無限遠での多項式的減衰。
• フーリエ変換を用いて基本関数 $L_{\phi_\alpha}$ を定義する：$\hat{L}_{\phi_\alpha}(\xi) = (2\pi)^{-1/2} \frac{\hat{\phi}_\alpha(\xi)}{\sum_{j\in\mathbb{Z}} \hat{\phi}_\alpha(\xi + 2\pi j)}$ とし、整数点でクロネッカーのデルタ関数を補間することを保証する。
• 関数 $f \in \ell^p$ に対して、補間作用素 $\mathscr{I}_{\phi_\alpha}[f](x) = \sum_{j\in\mathbb{Z}} f(j) L_{\phi_\alpha}(x - j)$ を構成する。
• スペクトル減衰および一様有界性の解析に用いるため、$|\xi| \leq \pi$ に対して $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi) = \frac{\hat{\phi}_\alpha(\xi + 2\pi j)}{\hat{\phi}_\alpha(\xi)}$ を導入する。
• 4つの公理（B1〜B4）を用いて「スプラインに類する族」の条件を確立する：混合ヒルベルト型和に対する一様 $L^1$ 有界性（B2）、逐次ほとんど everywhere での減衰（B3）、一様優化（B4）、個々のカーネルに関する条件（B1）。
• 修正ベッセル関数の推定と指数的減衰を用いて、マルチクアドリックス $\{(x^2 + c^2)^k\}$ やポアソン核に対する条件の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 有界変動スペクトル測度をもつペーリー＝ウイナー空間に属する関数について、$\alpha \to \infty$ のとき、補間誤差 $\|f - L_{\phi_\alpha}f\|_{L^p(\mathbb{R})}$ はゼロに収束するか？
• RQ2 マルチクアドリックスやポアソン核といった、スプラインでもガウス関数でもない広範な非線形カーネルへ、古典的標本化定理を一般化できるか？
• RQ3 カーネル $\phi_\alpha$ にどのようなスペクトル的および関数的条件を課すと、$\ell^p$ データに対して一様 $L^p$ 収束が保証されるか？
• RQ4 ポアソン核およびマルチクアドリックス族 $\{(x^2 + c^2)^{k-1/2}\}$, $k \in \mathbb{N}$ は、収束保証付きのスプラインに類する補間作用素クラスの有効なメンバーであるか？
• RQ5 補助関数 $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi)$ は、一様有界性および減衰性を通じて、収束挙動をどのように制御するか？

主な発見

• 空間 $\mathcal{A} = \{f \in L^p(\mathbb{R}) : f(x) = (2\pi)^{-1/2} \int_{-\pi}^{\pi} e^{ix\xi} d\beta(\xi), \beta \in BV([-π,\pi])\}$ に属するすべての $f$ に対して、補間誤差の $L^p$ ノルム $\|f - \mathscr{I}_{\phi_\alpha}[f]\|_{L^p(\mathbb{R})}$ は $\alpha \to \infty$ のときゼロに収束する。
• スプラインに類する補間作用素のクラスには、奇数次補間スプライン、ガウス関数、ポアソン核、およびマルチクアドリックス $\{(x^2 + c^2)^{k-1/2}\}$, $k \in \mathbb{N}$ が含まれ、これらすべてが収束条件を満たす。
• マルチクアドリックス族 $\{(x^2 + c^2)^{k-1/2}\}$ については、$\mathscr{M}[\hat{\phi}_\alpha]_j(\xi)$ の一様有界性と修正ベッセル関数を用いた減衰推定により、収束結果が初めて得られた。
• ポアソン核がスプラインに類する族の条件を満たし、その $L^p$ 収束は本研究の文脈で初めての結果である。
• マルチクアドリックスおよびポアソン核に対して、$\mathscr{M}[\hat{\phi}_\alpha]_j(\xi)$ の指数的減衰および多項式的増加推定を用いて、条件 (B2) の一様 $L^1$ 有界性が確認された。
• すべての検討対象となった族について、$\mathscr{M}[\hat{\phi}_\alpha]_j(\xi) \to 0$ ($\alpha \to \infty$, $j \neq 0$) であるため、条件 (B3) の逐次的 almost everywhere での減衰が成立し、スペクトル成分の漸近的直交性が保証される。