[論文レビュー] A Total Fractional-Order Variation Model for Image Restoration with Non-homogeneous Boundary Conditions and its Numerical Solution

Jianping Zhang, Ke Chen|arXiv (Cornell University)|Sep 6, 2015

Fractional Differential Equations Solutions参考文献 54被引用数 3

ひとこと要約

本稿では、従来の全般化された全変動と高階モデルの限界を克服するために、非一様境界条件を用いた新規の分数階全変動モデルを提案する。理論的性質の厳密な分析と効率的な数値アルゴリズムの開発により、優れた復元品質と効率性を達成し、平均曲率や全一般化変動モデルと比較して滑らかさの保持と段差効果の低減において優れた性能を示す。

ABSTRACT

To overcome the weakness of a total variation based model for image restoration, various high order (typically second order) regularization models have been proposed and studied recently. In this paper we analyze and test a fractional-order derivative based total $α$-order variation model, which can outperform the currently popular high order regularization models. There exist several previous works using total $α$-order variations for image restoration; however first no analysis is done yet and second all tested formulations, differing from each other, utilize the zero Dirichlet boundary conditions which are not realistic (while non-zero boundary conditions violate definitions of fractional-order derivatives). This paper first reviews some results of fractional-order derivatives and then analyzes the theoretical properties of the proposed total $α$-order variational model rigorously. It then develops four algorithms for solving the variational problem, one based on the variational Split-Bregman idea and three based on direct solution of the discretise-optimization problem. Numerical experiments show that, in terms of restoration quality and solution efficiency, the proposed model can produce highly competitive results, for smooth images, to two established high order models: the mean curvature and the total generalized variation.

研究の動機と目的

• 全変動に基づく画像復元モデルにおけるブロックヤング（段差）効果とコントラスト損失を解消すること。
• 古典的および高階正則化を一般化する理論的に整合性のある分数階α階全変動モデルを構築すること。
• 従来の研究における不整合を解消し、分数階微分に対して非ゼロ（非一様）境界条件を適切に取り扱うこと。
• 収束性が安定で効率的な数値アルゴリズムを設計し、得られた変分問題を解くこと。
• 画像ノイズ除去と復元品質において、最先端の高階モデルと同等以上の性能を示すこと。

提案手法

• α ∈ (1,2) として、リーマン＝リウビル分数階微分に基づく全α階変動モデルを提案し、滑らかさとエッジ保持のバランスを図る。
• データ適合性と分数階正則化を結合する変分定式化を導入し、制約付き最適化によりエネルギー汎関数を最小化する。
• Split-Bregman法を用いて最適化問題を部分問題に分解し、効率的な数値解法を実現する。
• 離散化された最適化問題の直接解法に基づく3つの代替アルゴリズムを提案し、収束性とロバスト性を向上させる。
• カプト型分数階発散を用いて必要な条件を導出し、物理的および数学的定義と整合性を持つ非一様境界条件を処理する。
• ゲートックス微分と部分積分を用いてオイラー＝ラグランジュ方程式を導出し、境界項は分数階トレース条件で処理する。

実験結果

リサーチクエスチョン

• RQ1 非一様境界条件を備えた分数階全変動モデルは、古典的および高階正則化モデルを上回る画像復元性能を示せるか？
• RQ2 非ゼロ境界条件が要求される状況において、画像変分モデルに一貫して分数階微分を適用する方法は何か？
• RQ3 提案された全α階変動モデルの理論的性質、特に解の存在性と一意性は何か？
• RQ4 異なる数値アルゴリズムは、収束速度、安定性、復元品質の観点でどのように比較できるか？
• RQ5 提案モデルは、画像コントラストと微細構造を保持しつつ、どの程度段差効果を低減できるか？

主な発見

• 提案された分数階モデルは、平均曲率モデルや全一般化変動モデルと同等またはそれ以上の復元品質を達成し、特に滑らかな画像において顕著な優位性を示す。
• 数値実験の結果、PDE-Split-Bregman（PDE-SB）アルゴリズムが他のソルバーよりも復元精度と計算効率において優れていることが判明した。
• 全変動で一般的に見られる段差効果を効果的に低減しつつ、画像コントラストと微細なテクスチャを保持する。
• 理論的分析により、非一様境界条件下でも変分問題の適切な定式化が確認され、従来の研究における不整合が解消された。
• 分数階微分の定式化における境界項は、カプト型発散を用いて適切に処理され、数学的整合性が保たれている。
• さまざまなノイズレベルと画像タイプにおいてロバストな性能を示し、多数のテストケースで安定した収束性を示した。