A variational approach to nonlocal image restoration flows

Abstract

We prove existence, uniqueness and initial time regularity for variational solutions to nonlocal total variation flows associated with image denoising and deblurring. In particular, we prove existence of parabolic minimisers $u$, that is, $$\int_0^T\int_Ωu\partial_tφ\,dx + \textbf{F}(u(t))\,dt\leq \int_0^T \textbf{F}(u+φ)(t)\,dt,$$ for $φ\in C^\infty_c(Ω\times (0,T))$. The prototypical functional $\textbf{F}(u)$ is $\textbf{F}(u)=\textbf{TV}^α_{\cdot}(u)+\fracκζ\int_Ω|u(x)-u_0(x)|^ζ\,dx$ for $ζ\geq 1$. Here $\textbf{TV}^α_{\cdot}$ is a fractional total variation of either the Riesz or the Gagliardo type and the second term is a regression term. These models are based on different definitions of fractional $\textbf{BV}$ spaces that have been proposed in the literature. The notion of solution is completely variational and based on the weighted dissipation method. We demonstrate existence without smoothness assumptions on the domain and exhibit uniqueness without using strict convexity. We can also deal with fairly general fidelity or regression terms in the model. Furthermore, the method also provides a novel route to constructing solutions of the parabolic fractional $1$-Laplace equation.

Theorems & Definitions (50)

• Definition 2.1
• Remark 2.2
• Theorem 2.3: Existence
• Theorem 2.4: Uniqueness
• Theorem 2.5: Time Regularity
• Definition 2.6
• Theorem 2.7: Existence
• Theorem 2.8: Uniqueness
• Theorem 2.9: Time Regularity
• Remark 2.10