[论文解读] Native Banach spaces for splines and variational inverse problems

Michaël Unser, Julien Fageot|arXiv (Cornell University)|Apr 24, 2019

Numerical methods in inverse problems参考文献 33被引用 11

一句话总结

本文提出了一种针对一般样条可适配算子 L 的原生 Banach 空间系统的构造方法，将原生空间 X′_L 定义为通过完备化得到的预原生空间 X_L 的对偶空间。其核心贡献是一个通用框架，该框架超越了再生核希尔伯特空间的范畴，扩展至诸如总变差等非希尔伯特范数，确保空间足够丰富，能够通过 Schwartz-Banach 性质实现任意逼近。

ABSTRACT

We propose a systematic construction of native Banach spaces for general spline-admissible operators ${ m L}$. In short, the native space for ${ m L}$ and the (dual) norm $\|\cdot\|_{\mathcal{X}'}$ is the largest space of functions $f: \mathbb{R}^d o \mathbb{R}$ such that $\|{ m L} f\|_{\mathcal{X}'}

研究动机与目标

• 开发一种针对样条可适配算子 L 的系统化、通用的原生 Banach 空间构造方法，适用于传统再生核希尔伯特空间之外的场景。
• 将原生空间 X′_L 定义为满足 ‖Lf‖_X′ < ∞ 的最大 Banach 空间，前提是 L 的零空间为有限维。
• 通过预原生空间及其完备化建立对偶框架，确保原生空间与其预对偶满足基本的 Schwartz-Banach 性质。
• 通过基于测试函数的构造方法，而非基于核的原子表示，将变分样条理论的适用性扩展至非希尔伯特范数，包括总变差。

提出的方法

• 将预原生空间 X_L 定义为在算子 L 和基空间 X′ 诱导的范数下，某一稠密子空间的完备化。
• 将原生空间 X′_L 构造为 X_L 的拓扑对偶，以确保其继承变分问题所需的结构。
• 利用 L 的零空间与其补空间的直和分解，通过投影算子实现等价范数的构造。
• 证明直和空间的对偶本身是其对偶的直和，对偶范数通过共轭指数 p 和 q 定义，确保对偶兼容性。
• 利用压缩投影算子和 B.L.T. 定理，将线性投影算子连续延拓至完备化空间，确保直和结构的良定义性。
• 利用零空间的双正交系统，确保分解与函数重构过程中的稳定性与唯一性。

实验结果

研究问题

• RQ1 如何在经典再生核希尔伯特空间框架之外，系统地构造一般样条可适配算子 L 的原生 Banach 空间？
• RQ2 预原生空间及其完备化在定义原生空间并确保其与预对偶之间对偶性方面起到什么作用？
• RQ3 原生空间及其预对偶的直和拓扑如何表征？其对等价范数有何影响？
• RQ4 所提出的框架在支持非希尔伯特范数（如总变差）方面有何机制？其如何保持样条的逼近能力？
• RQ5 Schwartz-Banach 性质在确保原生空间足够丰富、可任意精确逼近任何函数方面具有何种意义？

主要发现

• 原生空间 X′_L 被构造为预原生空间 X_L 的对偶，其中 X_L 是在算子 L 和基空间 X′ 诱导的范数下，某一稠密子空间的完备化。
• 该框架确保原生空间与其预对偶满足 Schwartz-Banach 性质，即它们足够丰富，可任意精确地再现任何函数。
• 预原生空间关于 L 的零空间及其补空间的直和分解，使得拓扑结构清晰，并可通过投影算子实现等价范数。
• 直和空间的对偶本身是其对偶的直和，对偶范数通过共轭指数定义，确保对偶兼容性。
• 该构造具有足够的通用性，可包含非希尔伯特范数（如总变差），使其适用于比以往基于 RKHS 的方法更广泛的变分反问题类别。
• 该方法通过用基于测试函数的表示替代基于核的原子，使得能够求解具有任意正则化范数（包括 L1 类型和 BV 类型）的变分样条问题。