[論文レビュー] A pointwise characterization of the subdifferential of the total variation functional

Kristian Bredies, Martin Höller|arXiv (Cornell University)|Sep 28, 2016

Advanced Harmonic Analysis Research参考文献 18被引用数 11

ひとこと要約

本稿では、全トレース作用素を用いて全変動（TV）汎関数の部分微分の点別的特徴付けを初めて提示する。この作用素は $ L^q $-ベクトル場を全変動測度に関して可積分関数に写像する。主たる貢献は、$ u^* \in \partial\mathrm{TV}(u) $ であるための必要十分条件を明確にした点である：あるベクトル場 $ g \in D \cap W^q_0(\mathrm{div};\Omega) $ が存在し、$ \|g\|_\infty \leq 1 $ を満たし、$ u^* = -\mathrm{div}\,g $ かつ全トレース $ Tg = \sigma_u $ が $ L^1(\Omega; |\mathrm{D}u|) $ 内で成り立つこと。ここで $ \sigma_u $ は $ \mathrm{D}u $ の密度である。

ABSTRACT

We derive a new pointwise characterization of the subdifferential of the total variation (TV) functional. It involves a full trace operator which maps certain $ L^q $ - vectorfields to integrable functions with respect to the total variation measure of the derivative of a bounded variation function. This full trace operator extents a notion of normal trace, frequently used, for example, to characterize the total variation flow.

研究の動機と目的

• Lebesgue空間における全変動（TV）汎関数の部分微分のより精緻な点別的特徴付けを提供すること。
• 古典的な法線トレースの概念を、BV関数の等高線におけるベクトル場の方向的挙動を捉えることができる全トレース作用素へと拡張すること。
• 法線トレースに基づく既存の定式化よりもより精緻な部分微分の特徴付けを確立すること。
• 全トレース構造を活用して、画像処理およびPDE分野における主要な変分問題の新たな定式化を可能にすること。
• 生体医療画像処理および最適化分野におけるTVベースのモデルの理論的基盤を提供すること。

提案手法

• Anzellottiの法線トレースを一般化する全トレース作用素 $ T: D \subset W^q(\mathrm{div};\Omega) \cap L^\infty(\Omega;\mathbb{R}^d) \to L^1(\Omega; |\mathrm{D}u|) $ を導入すること。
• 全トレースの定義域 $ D $ を、そのトレースがBV微分 $ \mathrm{D}u $ の密度 $ \sigma_u $ と一致するベクトル場を含むように定義すること。
• 全トレースを用いて部分微分条件を再表現する：$ u^* \in \partial\mathrm{TV}(u) $ であるための必要十分条件は、$ \|g\|_\infty \leq 1 $ を満たす $ g \in D \cap W^q_0(\mathrm{div};\Omega) $ が存在し、$ u^* = -\mathrm{div}\,g $ かつ $ Tg = \sigma_u $ が $ \Omega $ 内で almost everywhere (a.e.) 成り立つこと。
• モリフィケーションおよび分区画の単位を用いた、$ W^q(\mathrm{div};\Omega) \cap L^\infty(\Omega;\mathbb{R}^d) $ 内のベクトル場の近似結果を確立すること。
• 全トレースを用いて、全変動流れやチーハー集合の特徴付けといった既知のTVベースの結果を再導出すること。
• $ \mathrm{D}u $ のRadon-Nikodym導関数 $ \sigma_u $ の構造を活用し、トレースとBV関数の幾何的性質の間の関係を明確にすること。

実験結果

リサーチクエスチョン

• RQ1 部分微分の点別的特徴付けは、精緻なトレース作用素を用いて可能になるか？
• RQ2 BV関数およびベクトル場の文脈において、全トレース作用素は古典的法線トレースをどのように拡張するか？
• RQ3 ベクトル場の全トレースと微分 $ \mathrm{D}u $ の密度 $ \sigma_u $ の間の明確な関係は何か？
• RQ4 全トレース特徴付けは、画像処理およびPDE分野におけるTVベースのモデルの解析をどのように向上させるか？
• RQ5 この特徴付けは、変分問題における最適性条件および流れ方程式にどのような意味を持つのか？

主な発見

• 本稿では、Anzellottiの法線トレースを一般化する全トレース作用素 $ T $ を用いて、部分微分 $ \partial\mathrm{TV}(u) $ の新規な点別的特徴付けを確立した。
• 証明により、$ u^* \in \partial\mathrm{TV}(u) $ であるための必要十分条件は、$ \|g\|_\infty \leq 1 $ を満たす $ g \in D \cap W^q_0(\mathrm{div};\Omega) $ が存在し、$ u^* = -\mathrm{div}\,g $ かつ $ Tg = \sigma_u $ が $ L^1(\Omega; |\mathrm{D}u|) $ 内で成り立つことである。ここで $ \sigma_u $ は $ \mathrm{D}u $ の密度である。
• 全トレース作用素 $ T $ は、$ W^q(\mathrm{div};\Omega) \cap L^\infty(\Omega;\mathbb{R}^d) $ 内のベクトル場を $ L^1(\Omega; |\mathrm{D}u|) $ に写像し、関数 $ u $ の等高線における方向的挙動を捉える。
• この特徴付けにより、全変動流れの定式化が全トレースに基づいて再定式化され、時間発展の点別的記述がより精緻に可能となった。
• 本フレームワークにより、全トレースを用いたチーハー集合の新たな特徴付けが可能となり、幾何的性質と変分的最適性の関係が明確にされた。
• 本手法により、古典的法線トレース条件に代えて全トレース恒等式を用いることで、画像処理問題における最適性条件を統一的に導出するアプローチが可能となった。