[論文レビュー] 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 に対してネイティブなバナッハ空間を体系的に構築する手法を提示し、ネイティブ空間 X′_L を、作用素 L と基底空間 X′ から誘導されるノルムのもとで完備化によって得られる前ネイティブ空間 X_L の双対として定義する。主な貢献は、再生核ヒルベルト空間を越えて、全 variation や非ヒルベルト型ノルムを含む一般の枠組みを提供するものであり、シュワーツ＝バナッハ性質により、任意の近似が可能である十分に豊かな空間が保証される。

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 に対して、従来の再生核ヒルベルト空間の枠組みを超えて適用可能な、体系的かつ汎用的なネイティブバナッハ空間の構築法を開発すること。
• 作用素 L の核が有限次元であるという制約のもとで、‖Lf‖_X′ < ∞ を満たす最大のバナッハ空間 X′_L を定義すること。
• 前ネイティブ空間とその完備化を用いた双対性枠組みを確立し、ネイティブ空間とその前双対が基本的なシュワーツ＝バナッハ性質を満たすように保証すること。
• カーネルに基づく原子ではなく、試験関数に基づく構成を用いることで、変分的スプライン理論をヒルベルト型でないノルム、特に全 variation へと拡張すること。

提案手法

• 作用素 L と基底空間 X′ から誘導されるノルムのもとで、関数の稠密部分空間の完備化として前ネイティブ空間 X_L を定義する。
• X_L のトポロジカル双対としてネイティブ空間 X′_L を構築し、変分問題に適した構造を保証する。
• 前ネイティブ空間を作用素 L の核とその補空間に直和分解し、射影作用素を用いて等価ノルムを構成可能にする。
• 直和空間の双対が、それぞれの双対の直和に一致することを確立し、p と q の共役指数を用いて双対ノルムを定義する。
• 収縮的射影作用素と B.L.T. 定理を用いて、線形射影作用素を完備化された空間へ連続的に拡張し、明確な直和構造を保証する。
• 作用素 L の核に対する双対基底系を活用し、関数の分解と再構成における安定性と一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般のスプライン適応作用素 L に対して、古典的な再生核ヒルベルト空間の枠組みを超えて、ネイティブバナッハ空間を体系的に構築する方法は何か？
• RQ2 前ネイティブ空間とその完備化が、ネイティブ空間の定義およびその前双対との双対性を保証するために果たす役割は何か？
• RQ3 ネイティブ空間とその前双対の直和位相はどのように特徴づけられるか？また、等価ノルムへの影響は何か？
• RQ4 提案された枠組みは、全 variation のような非ヒルベルト型ノルムをどのように扱い、スプラインの近似能力をどのように維持するか？
• RQ5 シュワーツ＝バナッハ性質が、ネイティブ空間が任意の関数を任意の精度で再現できる十分に豊かな空間であることを保証するために果たす意義は何か？

主な発見

• ネイティブ空間 X′_L は、作用素 L と基底空間 X′ から誘導されるノルムのもとで完備化された稠密部分空間の前ネイティブ空間 X_L の双対として構築される。
• この枠組みにより、ネイティブ空間とその前双対がシュワーツ＝バナッハ性質を満たし、任意の関数を任意の精度で再現できる十分に豊かな空間であることが保証される。
• 前ネイティブ空間の作用素 L の核とその補空間への直和分解により、明確なトポロジーと射影作用素による等価ノルムが得られる。
• 直和空間の双対は、それぞれの双対の直和に一致し、共役指数を用いて双対ノルムが定義されることで、双対性の整合性が保証される。
• この構成は、全 variation のような非ヒルベルト型ノルムを含む一般性を持ち、従来の RKHS に基づくアプローチよりも広いクラスの変分的逆問題に適用可能である。
• カーネルに基づく原子の代わりに試験関数に基づく表現を用いることで、L1 型や BV 型の任意の正則化ノルムを伴う変分的スプライン問題の解法が可能になる。