[论文解读] 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 $ 且在 $ L^1(\Omega; |\mathrm{D}u|) $ 中有全迹 $ Tg = \sigma_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.

研究动机与目标

• 为勒贝格空间中总变差（TV）泛函的次微分提供一种更精细的逐点表征。
• 将经典的法向迹概念扩展为一个全迹算子，以捕捉BV函数水平集上向量场的方向性行为。
• 建立一种比基于法向迹的现有表述更为精确的次微分表征。
• 利用全迹结构为成像与PDE中的关键变分问题提供新表述。
• 为分析生物医学成像与优化中的TV模型提供理论基础。

提出的方法

• 引入一个全迹算子 $ 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) $ 当且仅当 $ u^* = -\mathrm{div}\,g $ 且在 $ \Omega $ 几乎处处有 $ Tg = \sigma_u $，且满足 $ \|g\|_\infty \leq 1 $。
• 通过光滑化与单位分解，建立 $ W^q(\mathrm{div};\Omega) \cap L^\infty(\Omega;\mathbb{R}^d) $ 中向量场的逼近结果。
• 将全迹应用于重新推导TV模型中的已知结果，如总变差流与切赫集表征。
• 利用 $ \sigma_u $（即 $ \mathrm{D}u $ 的Radon-Nikodym导数）的结构，将迹与BV函数的几何性质联系起来。

实验结果

研究问题

• RQ1 能否通过一个精细化的迹算子，以逐点方式表征总变差泛函的次微分？
• RQ2 在BV函数与向量场的背景下，全迹算子如何扩展经典的法向迹？
• RQ3 向量场的全迹与导数 $ \mathrm{D}u $ 的密度 $ \sigma_u $ 之间的确切关系是什么？
• RQ4 全迹表征如何改进成像与PDE中TV模型的分析？
• RQ5 该表征对变分问题中的最优性条件与流方程有何影响？

主要发现

• 本文通过一个全迹算子 $ T $ 建立了次微分 $ \partial\mathrm{TV}(u) $ 的新型逐点表征，该算子推广了安佐蒂的法向迹。
• 证明了 $ u^* \in \partial\mathrm{TV}(u) $ 当且仅当存在 $ g \in D \cap W^q_0(\mathrm{div};\Omega) $ 满足 $ \|g\|_\infty \leq 1 $，使得 $ u^* = -\mathrm{div}\,g $ 且在 $ L^1(\Omega; |\mathrm{D}u|) $ 中有 $ Tg = \sigma_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 $ 的水平集上的方向性行为。
• 该表征使得总变差流能够以全迹形式重新表述，从而对演化过程提供了更精确的逐点描述。
• 该框架实现了通过全迹对切赫集的新型表征，将几何性质与变分最优性联系起来。
• 该方法通过用全迹恒等式替代经典法向迹条件，为推导数学成像问题中的最优性条件提供了一体化方法。