[论文解读] Deconvolution of band limited functions on non-compact symmetric spaces

Isaac Z. Pesenson|arXiv (Cornell University)|Aug 29, 2011

Mathematical Analysis and Transform Methods参考文献 13被引用 8

一句话总结

本论文提出了一种在非紧对称空间上对带限函数进行稳定重构的方法，通过与紧支集分布的卷积实现。该方法引入了两种途径：基于框架的重构，推广了Duffin-Schaeffer的指数框架理论，并引入了多调和平均样条；证明了无论球面半径或光滑性指数如何，只要格点密度仅依赖于带宽，通过球面平均或导数采样即可实现与半径或光滑性无关的稳定恢复。

ABSTRACT

It is shown that a band limited function on a non-compact symmetric space can be reconstructed in a stable way from some countable sets of values of its convolution with certain distributions of compact support. A reconstruction method in terms of frames is given which is a generalization of the classical result of Duffin-Schaeffer about exponential frames on intervals. The second reconstruction method is given in terms of polyharmonic average splines.

研究动机与目标

• 将经典采样理论推广至非紧对称空间，将Shannon与Duffin-Schaeffer的结果推广至黎曼流形。
• 解决实际问题：点测量不可行，因此将测量建模为与紧支集分布的卷积。
• 为带限函数提供基于球面平均或导数的稳定重构框架。
• 证明重构密度仅依赖于带限ω，而不依赖于球面半径τ或光滑性指数n。
• 在对称空间上的调和分析背景下，统一并推广现有采样与样条理论结果。

提出的方法

• 利用Heisenberg-Fourier变换及对称空间X = G/K上的球函数，通过λ变量中紧致谱支集定义带限函数。
• 在联合谱上的L2空间中应用框架理论，构造双框架以实现从采样卷积值的稳定重构。
• 通过特定乘子函数的逆Heisenberg-Fourier变换引入多调和平均样条，其中涉及(∥λ∥² + ∥ρ∥²)ⁿ与球函数φλ。
• 通过分析卷积核的Heisenberg-Fourier变换非零性，推导出稳定性条件，确保可逆性。
• 证明重构核为来自双框架与球函数的乘子的逆变换。
• 利用Harish-Chandra公式与积分估计，控制球函数与1的偏差，确保乘子远离零。

实验结果

研究问题

• RQ1 能否在非紧对称空间上，通过与紧支集分布的卷积样本，稳定重构带限函数？
• RQ2 所需采样密度是否依赖于平均球面的半径或函数的光滑性？
• RQ3 能否通过基于卷积的采样，将经典Duffin-Schaeffer框架结果推广至对称空间？
• RQ4 当球面相交时，是否仍能通过导数的球面平均Δⁿf实现稳定重构？
• RQ5 采样密度对带限ω的依赖关系如何？其与半径τ和光滑性n的关系是什么？

主要发现

• 对任意ω > 0与n ∈ ℕ ∪ {0}，函数f ∈ Bω(X)可从其与(−Δ)ⁿmτ的卷积中稳定重构，其中mτ为半径τ球面上的面积测度。
• 稳定重构所需的格点密度仅依赖于ω与∥ρ∥，不依赖于τ或n，且满足r < c(ω² + ∥ρ∥²)⁻¹/²的有界性。
• 当τ → 0时，该方法退化为在离散点上对Δⁿf的采样，恢复了Duffin-Schaeffer型框架结果。
• 当n = 0时，该方法通过半径τ的球面平均恢复f，提供了一种新颖的平均采样方法。
• 重构在Sobolev范数与一致范数下均稳定，且当样条逼近中的尺度参数l → ∞时，收敛性得以保证。
• 卷积核的Heisenberg-Fourier变换在[−ω, ω]上不为零，确保了重构过程的可逆性与稳定性。