[论文解读] 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})$ 中函数从整数采样点重构的收敛性。证明了对于具有有界变差测度的 Paley-Wiener 型空间中的函数，当参数 $\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.

研究动机与目标

• 将经典采样定理推广至超越样条与高斯函数的广泛基数插值算子类。
• 建立作用于具有有界变差谱测度的 Paley-Wiener 型空间中函数的 $\ell^p$ 数据的插值算子在 $L^p$ 范数下的收敛性。
• 定义并表征一类新的插值核——“样条类基数插值算子”——其傅里叶变换满足一致有界性与衰减性条件。
• 验证关键核族（如奇数次样条、高斯函数、泊松核及多重二次曲面）属于此类，并满足收敛性条件。
• 基于核的傅里叶变换的谱性质与函数分析特性，提供 $L^p$ 中插值算子收敛性的统一框架。

提出的方法

• 定义满足四个条件的插值核族 $\phi_\alpha$：缓慢增长、在 $[-\pi,\pi]$ 上非负且有界、在零点外 $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)$。
• 定义辅助函数 $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi) = \frac{\hat{\phi}_\alpha(\xi + 2\pi j)}{\hat{\phi}_\alpha(\xi)}$（$|\xi| \leq \pi$），用于分析谱衰减与一致有界性。
• 通过四个公理建立“样条类族”条件：混合希尔伯特型和的一致 $L^1$ 有界性（B2）、逐点 a.e. 衰减性（B3）、一致控制性（B4）及单个核的条件（B1）。
• 利用修正贝塞尔函数的估计与指数衰减性，验证多重二次曲面 $\{(x^2 + c^2)^k\}$ 与泊松核的条件。

实验结果

研究问题

• RQ1 对于具有有界变差谱测度的 Paley-Wiener 空间中的函数，当 $\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$ 有界性。
• 对于所有考虑的核族，衰减条件 (B3) 几乎处处成立，因为当 $\alpha \to \infty$ 时，$\mathscr{M}[\hat{\phi}_\alpha]_j(\xi) \to 0$（$j \neq 0$），从而确保谱分量的渐近正交性。