[論文レビュー] A new approach to source conditions in regularization with general residual term

Jens Geißler, Bernd Hofmann|ArXiv.org|Jun 18, 2009

Numerical methods in inverse problems参考文献 17被引用数 4

ひとこと要約

本稿は、バナッハ空間および位相空間における非線形不適定問題に対するチホノフ正則化の収束速度解析において、変分不等式と近似ソース条件を組み合わせることで、新たなアプローチを提案する。これにより、広範な収束速度が得られ、一般の非凸な残差項を扱えるとともに、標準的な O(δ) 速度を超える結果が得られ、特に p ≤ 1 の場合に顕著である。また、残差項における指数 p の役割が明確化される。

ABSTRACT

This paper addresses Tikhonov like regularization methods with convex penalty functionals for solving nonlinear ill-posed operator equations formulated in Banach or, more general, topological spaces. We present an approach for proving convergence rates which combines advantages of approximate source conditions and variational inequalities. Precisely, our technique provides both a wide range of convergence rates and the capability to handle general and not necessarily convex residual terms as well as nonsmooth operators. Initially formulated for topological spaces, the approach is extensively discussed for Banach and Hilbert space situations, showing that it generalizes some well-known convergence rates results.

研究の動機と目的

• バナッハ空間および位相空間における一般の残差項を有するチホノフ型正則化の統一的収束速度理論の構築を目的とする。
• 特に p ≤ 1 の場合に制限される既存手法の O(δ) 収束速度に起因する限界を克服することを目的とする。
• 変分不等式および近似ソース条件を、滑らかでないおよび非凸な設定に適用可能な共通の枠組みへ一般化することを目的とする。
• 残差項における指数 p > 0 の役割と許容可能な範囲を明確化することを目的とし、特に p ≤ 1 の場合に注目する。
• 標準的な変分不等式フレームワークの制約下でも、より高い収束速度が達成可能な条件を確立することを目的とする。

提案手法

• 古典的変分不等式および近似ソース条件を一般化する、近似変分不等式の新概念を提案する。
• 正則化汎関数 Ω の部分勾配 ξ を用いて定義されるブレグマン距離に基づく誤差測度を用いて収束を定量化する。
• 収束が真の解 u† の任意の小さな近傍における ξ(⋅−u†)、ブレグマン距離 Bξ(⋅,u†)、および残差項 S(F(⋅),F(u†)) の挙動に依存する関数的枠組みを導入する。
• パrameter κ ≤ 1 と指数 p を含む修正された変分不等式条件を用いて収束速度を確立し、特定の仮定のもとで収束速度が O(δ^min{κ,p}) で有界であることを示す。
• バナッハ空間にこのフレームワークを適用し、特に p > 1 および滑らかな空間において既知の結果を一般化することを示す。
• 残差項における指数 p と解の滑らかさの間の相互作用を分析し、p ≤ 1 が収束速度の制限要因となる極限ケースとして特定する。

実験結果

リサーチクエスチョン

• RQ1 一般の残差項を有するチホノフ正則化において、特に p ≤ 1 の場合に O(δ) を超える収束速度が達成可能か？
• RQ2 非凸的および非滑らかな設定に対応するため、変分不等式と近似ソース条件をどのように統合できるか？
• RQ3 バナッハ空間における収束速度にあたって、残差項 S(F(u),vδ)^p における指数 p > 0 の役割は何か？
• RQ4 近似変分不等式フレームワークが、古典的な O(δ) 速度を上回る収束をもたらす条件は何か？
• RQ5 高階のソース条件を統合することで、このフレームワークを拡張し、より速い収束速度を達成できるか？

主な発見

• 提案手法は、近似変分不等式条件のもとで、κ ≤ 1 および p > 0 の条件下で O(δ^min{κ,p}) の収束速度を達成する。
• p = 1 かつ固定正則化パラメータ α_fix の場合、O(δ^p) = O(δ) の速度が回復され、正確なペナルティ効果と整合的である。
• p < 1 の場合、収束速度は κ < p に制限され、指数 p が達成可能な収束速度を制限する資格パrameterとして機能することが示唆される。
• このフレームワークは、古典的変分不等式および近似ソース条件を一般化し、一般の残差項および滑らかでない作用素への適用可能性を拡張する。
• バナッハ空間において、p > 1 の場合に既知の結果と整合的であり、p ≤ 1 の場合にもそれらを拡張する。
• 解析により、収束は真の解の近傍における3つの汎関数の局所的挙動にのみ依存することが明らかになり、正則化安定性の関数解析的視点が示唆される。