A duality based approach to the minimizing total variation flow in the space \(H^{s}\)
 132 Downloads
Abstract
We consider a gradient flow of the total variation in a negative Sobolev space \(H^{s}\,(0\le s \le 1)\) under the periodic boundary condition. If \(s=0\), the flow is nothing but the classical total variation flow. If \(s=1\), this is the fourth order total variation flow. We consider a convex variational problem which gives an implicittime discrete scheme for the flow. By a duality based method, we give a simple numerical scheme to solve this minimizing problem numerically and discuss convergence of a forward–backward splitting scheme. Results of several numerical experiments are given.
Keywords
Total variation Rudin–Osher–Fatemi model Fractional Sobolev spaces Negative Sobolev spacesMathematics Subject Classification
Primary 94A08 Secondary 65M06 49N90 35K251 Introduction
This paper is organized as follows. We recall \(H^{s}\) space and the total variation in Sect. 2. We give a characterization of the subdifferential of the total variation in \(H^{s}\) in Sect. 3. In Sect. 4, we give a way of semidiscritization, which is a recursive minimization problem of convex but nondifferentiable functional. In Sect. 5, we formulate its dual problem. In Sect. 6, we discuss convergence of a forward–backward splitting scheme. In Sect. 7, we derive its explicit form. In Sect. 8, we discuss its ergodic convergence. In Sect. 9, we explain how to discretize the introduced scheme and provide an exact condition for a convergent solution in a finite dimensional space. In Sect. 10, we present results of numerical experiments to illustrate evolution of solutions to considered total variation flows, showing their characteristic features with respect to different values of index \(s\in [0,1]\).
2 Preliminaries
To give a rigours interpretation of the Eq. (1.5) with the periodic boundaryconditions, we first need to introduce preliminary definitions and notations.
3 A characterization of the subdifferential
Lemma 1
Let \(\Phi \), \(\Psi : H \rightarrow [0,\infty ]\). If \(\Phi \le \Psi \) on H, then \({\tilde{\Psi }}\le {\tilde{\Phi }}\) on \(H^*\).
Proof
See proof of [3, Lemma 1.5]. \(\square \)
Lemma 2
Suppose \(\Phi \) is convex, lower semicontinuous and positively homogeneous of degree one, then \(\tilde{{\tilde{\Phi }}}(u) =\Phi (u)\).
Proof
See proof of [3, Proposition 1.6]. \(\square \)
Definition 1
Lemma 3
Suppose \(\Phi \) is convex, lower semicontinuous, nonnegative, and positively homogeneous of degree one. Then, \(v\in \partial _{H} \Phi (u)\) if and only if \({\tilde{\Phi }}(v)\le 1\) and \(( u,v)_{H} =\Phi (u)\).
Proof
See proof of [3, Theorem 1.8]. \(\square \)
Lemma 4
Proof
Theorem 1
Proof
Theorem 2
 \(\mathrm {(1)}\)

for all \(t>0\) we have that \(u(t)\in D(\mathcal {A})\),
 \(\mathrm {(2)}\)

\(\frac{du}{dt}\in {L^\infty (0,\infty ; H_{\mathrm {av}}^{s}(\mathbb {T}^d))}\) and \(\left\ \frac{du}{dt} \right\ _{H_{\mathrm {av}}^{s}(\mathbb {T}^d)} \le \left\ \mathcal {A}^0 (u_0) \right\ _{H_{\mathrm {av}}^{s}(\mathbb {T}^d)}\),
 \(\mathrm {(3)}\)

\(\frac{du}{dt}\in \mathcal {A}(u)\) a.e. on \((0,\infty )\),
 \(\mathrm {(4)}\)

\(u(0)=u_0\),
Proof
The proof of this theorem can be found in Brezis [7]. \(\square \)
4 A semidiscretization
Theorem 3
The original paper by Crandall–Liggett contains also an error estimate, which is not optimal. The optimal one is of order \(O(\tau ^2)\) and it has been derived by Rulla [35, Theorem 4].
5 A dual problem
Lemma 5
 (i)The setis closed under the strong \(H_{\mathrm {av}}^{s}(\mathbb {T}^d)\)topology.$$\begin{aligned} K := \{v\in \mathcal {D}'(\mathbb {T}^d) \ : \ v=(\Delta _{\mathrm {av}})^s\mathrm {div\,}z, \ \mathrm {div\,}z \in H_{\mathrm {av}}^s(\mathbb {T}^d),\ \left\ z \right\ _{\infty }\le 1\} \end{aligned}$$(5.2)
 (ii)
If we consider \(\Phi \) given by (3.2) as a functional defined on \(H_{\mathrm {av}}^{s}(\mathbb {T}^d)\), then the convex conjugate of \(\Phi \) is given by \(\Phi ^*(v)=\chi _{K}(v)\).
Proof
 (i)
Let \(\{v_j\}\in K\) be a sequence converging to v in \(H_{\mathrm {av}}^{s}\). This means that \(\mathrm {div\,}z_j\) converges to some w in \(H_{\mathrm {av}}^s\), where \(v_j = (\Delta _{\mathrm {av}})^s\mathrm {div\,}z_j\). Since \(z_j\) is bounded in \(L^\infty \), it converges to some z in the sense of weak\(^*\) topology of \(L^\infty \) by taking a subsequence. This implies \(w = \mathrm {div\,}z\) so we get the desired result.
 (ii)Let \(u\in BV(\mathbb {T}^d)\cap H_{\mathrm {av}}^{s}(\mathbb {T}^d)\), then the convex conjugate of function \(\chi _{K}\) is given bySince the set K is convex, the function \(\chi _{K}\) is convex. Moreover, since \(\chi _{K}\) is lower semicontinuous, then it follows from [13, Proposition I.4.1] that \(\Phi ^*(v)=\chi _{K}^{**}(v)=\chi _{K}(v)\).$$\begin{aligned} \begin{aligned} \chi _{K}^*(u)&=\sup _{v}\{(v,u)_{H_{\mathrm {av}}^{s}} \ : \ v\in K\}\\&=\sup _{z}\{\langle u,\mathrm {div\,}z \rangle \ : \ z\in \mathcal {D}(\mathbb {T}^d),\ \left\ z \right\ _{\infty }\le 1\}=\Phi (u). \end{aligned} \end{aligned}$$(5.3)
Proposition 1
Proof
Corollary 1
The solution of problem (5.4) satisfies \(u = f\tau P_K^{H_{\mathrm {av}}^{s}}(f/\tau )\), where \(P_K^{H_{\mathrm {av}}^{s}}\) denotes the orthogonal projection on the set K with respect to the inner product in \(H_{\mathrm {av}}^{s}\).
Remark 1
6 Convergence of a forward–backward splitting scheme
In this section, using the forwardbackward splitting approach, we construct theminimizing dual problem (5.5) sequence \(\{v_k\}\) and prove its convergence in \(H_{\mathrm {av}}^{s}\).
Remark 2
Remark 3
In the proof of convergence of the sequence \(\{v^k\}\) we will need the lemma below:
Lemma 6
For \(v\in K\) we have that if \(u\in \partial _{H_{\mathrm {av}}^{s}} \Phi ^*(v)\), then \((u,vw)_{H_{\mathrm {av}}^{s}}\ge 0\) for all \(w\in K\).
Proof
By the definition of the subdifferential \(\partial _{H_{\mathrm {av}}^{s}} \Phi ^*(v)\), we have that \(u\in \partial _{H_{\mathrm {av}}^{s}} \Phi ^*(v)\) if and only if \(\Phi ^*(w) \ge \Phi ^*(v) + (u,wv)_{H_{\mathrm {av}}^{s}}\) for all \(w\in H_{\mathrm {av}}^{s}(\mathbb {T}^d)\). Since \(\Phi ^*\) is the indicator function of the set K, we have \((u,vw)_{H_{\mathrm {av}}^{s}}\ge 0\) for all \(w\in K\). \(\square \)
Proposition 2
Assume that \(0<\lambda \tau <2\), then \(v^k\rightharpoonup v^*\) and \(u^k\rightharpoonup u^*\) in \(H_{\mathrm {av}}^{s}\), where \(v^*\in K\) is such that \(v^*\in \partial _{H_{\mathrm {av}}^{s}} \Phi (u^*)\) and \(u^*= f\tau v^*\).
Proof
7 An explicit form of a scheme
Since the nonlinear projection, given in Corollary 1, is difficult to compute in practice, we use the characterization of subdifferential \(\partial _{H_{\mathrm {av}}^{s}} \Phi \), provided in Theorem 1, toconstruct an explicit scheme for minimizing sequence of the dual problem (5.10). More precisely, we apply the same forward–backward scheme as in the previous section to generate the sequence \(\{z^k\}\) minimizing (5.10). This sequence is related to \(\{v^k\}\) by formula \(v^k = \tau (\Delta _{\mathrm {av}})^s\mathrm {div\,}z^k\).
For practical implementation of this scheme, it remains to find its closedform expression.
Lemma 7
Assume that \(z\in L^2(\mathbb {T}^d,\mathbb {R}^d)\) is such that \(F(z)<\infty \). Then, we have \(D(\partial _{L^2} F) = \{z \in L^2(\mathbb {T}^d,\mathbb {R}^d)\, :\, F(z)<\infty ,\ \nabla (\tau (\Delta _{\mathrm {av}})^s\mathrm {div\,}z + f)\in L^2(\mathbb {T}^d,\mathbb {R}^d)\}\) and \(\partial _{L^2} F(z) = \{\nabla w\}\), where \(w = \tau (\Delta _{\mathrm {av}})^s\mathrm {div\,}z + f\).
Proof
Lemma 8
Proof
Remark 4
8 Ergodic convergence
Proposition 3
Let \(\{v^k\}\) be a weakly convergent sequence in K generated by the scheme (6.1) and let \(\{\beta _k\}\) be a sequence of positive real numbers such that \(\{\beta _k\}\in l^2{\setminus } l^1\). Then, for \(\alpha _k = \beta _k/\sum _{j=1}^n \beta _j\) the sequence \(\{{\bar{v}}^n\}\) given by (8.1) converges strongly in \(H_{\mathrm {av}}^{s}(\mathbb {T}^d)\) to \(v^*\in K\) as \(n\rightarrow \infty \). Moreover, the sequence \(\{{\bar{z}}^n\}\) given by (8.2), where \(\{z^k\}\) is generated by the scheme (7.7), converges weakly in \(QL^2(\mathbb {T}^d)\) to \(z^*\in Z\) as \(n\rightarrow \infty \).
Proof
9 Implementation
In this section, we explain how to discretize the system (7.7) and to solvenumerically one iteration of the semiimplicit scheme (4.1). Recursive application of this procedure leads to a numerical solution of the nonlinear evolution equation (3.8). For simplicity of presentation, we construct a method for the onedimensional problem, but it can be easily extended to higher dimensions. We also present results concerning the convergence of the introduced scheme in a finite dimensional space.
Lemma 9
Proof
Proposition 4
Assume that \(C \lambda \tau <2\), where the constant \(C>0\) is as in Lemma 9, then \(z^k\rightarrow z^*\) in X, where \(z^*\in Z\) is such that \(0\in \partial _X F(z^*) + \partial _X G(z^*)\).
Proof
10 Numerical results
In this section, we present results of numerical experiments, obtained by application of the introduced earlier schemes, to solve the evolution equation (3.8). Theseexperiments have been performed on onedimensional data for more accuratepresentation of differences in solutions with respect to different values of the index s and their characteristic features.
In all calculations, we have fixed values of parameters \(h = 0.1\) and \(\tau = 0.1\). In each case, a value of \(\lambda \) was selected so that the criterion for the convergence given in Proposition 4 would be satisfied, i.e., we set \(\lambda = 4\cdot 10^{2}\), \(\lambda = 2\cdot 10^{3}\) and \(\lambda = 10^{4}\) for \(s = 0\), \(s=0.5\) and \(s=1\), respectively. In Fig. 2, we present evolution of solutions to the \(H^{s}\) total variation flow for initial data f and g, and for different values of the index s (\(s=0, 0.5, 1\)).
From our computation, we conjecture that a solution may be instantaneously discontinuous for \(s \in (0,1]\) for Lipschitz initial data. This is rigorously proved for \(s=1\) in [16]. Also, we see from this computation, that the motion becomes slower as s becomes larger.
Notes
Acknowledgements
This work was partially supported by the EU IRSES program “FLUX” and the Polish Ministry of the Science and Higher Education Grant number 2853/7.PR/2013/2. The work of the Yoshikazu Giga was partially supported by Japan Society for the Promotion of Science through Grant Nos. 26220702 (Kiban S) and 16H03948 (Kiban B). A part of the research for this paper was performed, when Monika Muszkieta and Piotr Rybka visited the University of Tokyo. Its hospitality is gratefully acknowledged. The authors also thank the anonymous reviewer for the careful reading of our manuscript and for insightful comments.
References
 1.Aujol, J.F.: Some firstorder algorithms for total variation based image restoration. J. Math. Imaging Vis. 34(3), 307–327 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
 2.Andreu, F., Ballester, C., Caselles, V., Mazón, J.M.: Minimizing total variation flow. Differ. Integr. Equ. 14, 321–360 (2001)MathSciNetzbMATHGoogle Scholar
 3.AndreuVaillo, F., Mazón, J.M., Caselles, V.: Progress in Mathematics. Parabolic quasilinear equations minimizing linear growth functionals, vol. 223. Birkhauser, Basel (2004)Google Scholar
 4.Attouch, H., Peypouquet, J.: The rate of convergence of Nesterov’s accelerated forwardbackward method is actually faster than \(1/k^2\). SIAM J. Optim. 26(3), 1824–1834 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
 5.Beck, A., Teboulle, M.: A fast iterative shrinkagethresholding algorithm for linear inverse problems. SIAM J. Imaging Sci. 2(1), 183–202 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
 6.Bellettini, G., Caselles, V., Novaga, M.: The total variation flow in \(\mathbb{R}^N\). J. Differ. Equ. 184(2), 475–525 (2002)CrossRefzbMATHGoogle Scholar
 7.Brezis, H.: Opérateurs maximaux monotones et semigroupes de contractions dans les espaces de Hilbert. NorthHolland, Amsterdam (1973)zbMATHGoogle Scholar
 8.Burger, M., He, L., Schoenlieb, C.B.: Cahn–Hilliard inpainting and a generalization for grayvalue images. SIAM J. Imaging Sci. 2(4), 1129–1167 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
 9.Chambolle, A.: An algorithm for total variation minimization and applications. J. Math. Imaging Vis. 20(1–2), 89–97 (2004)MathSciNetzbMATHGoogle Scholar
 10.Chambolle, A., Pock, T.: A firstorder primaldual algorithm for convex problems with applications to imaging. J. Math. Imaging Vis. 40, 120–145 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
 11.Combettes, P.L., Wajs, V.R.: Signal recovery by proximal forward–backward splitting. Multiscale Model. Simul. 4(4), 1168–1200 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
 12.Crandall, M.G., Liggett, T.M.: Generation of semigroups of nonlinear transformations on general Banach spaces. Am. J. Math. 93, 265–298 (1971)MathSciNetCrossRefzbMATHGoogle Scholar
 13.Ekeland, I., Témam, R.: Convex Analysis and Variational Problems. NorthHolland, Amsterdam (1976)zbMATHGoogle Scholar
 14.Elliott, C.M., Smitheman, S.A.: Analysis of the TV regularization and \(H^{1}\) fidelity model for decomposing an image into cartoon plus texture. Commun. Pure Appl. Anal. 6(4), 917–936 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
 15.Elliott, C.M., Smitheman, S.A.: Numerical analysis of the TV regularization and \(H^{1}\) fidelity model for decomposing an image into cartoon plus texture. IMA J. Numer. Anal. 6, 1–39 (2008)zbMATHGoogle Scholar
 16.Giga, M.H., Giga, Y.: Very singular diffusion equationssecond and fourth order problems. Jpn. J. Appl. Math. 27, 323–345 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
 17.Giga, M.H., Giga, Y., Požár, N.: Periodic total variation flow of nondivergence type in \(\mathbb{R}^n\). J. Math. Pures Appl. 102, 203–233 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 18.Giga, Y., Kohn, R.V.: Scaleinvariant extinction time estimates for some singular diffusion equations. Discrete Contin. Dyn. Syst. 30(2), 509–535 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
 19.Giga, Y., Kuroda, H., Matsuoka, H.: Fourthorder total variation flow with Dirichlet condition: characterization of evolution and extinction time estimates. Adv. Math. Sci. Appl. 24, 499–534 (2014)MathSciNetzbMATHGoogle Scholar
 20.Henry, D.: Geometric theory of semilinear parabolic equations. In: Lecture Notes in Mathematics, vol. 840. Springer, Berlin (1981)Google Scholar
 21.Kashima, Y.: A subdifferential formulation of fourth order singular diffusion equations. Adv. Math. Sci. Appl. 14, 49–74 (2004)MathSciNetzbMATHGoogle Scholar
 22.Kashima, Y.: Characterization of subdifferentials of a singular convex functional in Sobolev spaces of order minus one. J. Funct. Anal. 262(6), 2833–2860 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
 23.Kohn, R.V., Versieux, H.M.: Numerical analysis of a steepestdescent PDE model for surface relaxation below the roughening temperature. SIAM J. Numer. Anal. 48, 1781–1800 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
 24.Komura, Y.: Nonlinear semigroups in Hilbert space. J. Math. Soc. Jpn. 19, 493–507 (1967)MathSciNetCrossRefzbMATHGoogle Scholar
 25.Lions, P.L., Mercier, B.: Splitting algorithms for the sum of two nonlinear operators. SIAM J. Numer. Anal. 16, 964–979 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
 26.Liu, J.G., Lu, J., Margetis, D., Marzuola, J.L.: Asymmetry in crystal facet dynamics of homoepitaxy by a continuum model. (preprint)Google Scholar
 27.Łasica, M., Moll, S., Mucha, P.B.: Total variation denoising in \(l^1\) anisotropy. SIAM J. Imaging Sci. 10(4), 1691–1723 (2016)zbMATHGoogle Scholar
 28.Meyer, Y.: Oscillating Patterns in Image Processing and Nonlinear Evolution Equations: The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures. American Mathematical Society, Boston (2001)CrossRefzbMATHGoogle Scholar
 29.Moll, J.S.: The anisotropic total variation flow. Math. Ann. 332, 177–218 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
 30.Mucha, P.B., Muszkieta, M., Rybka, P.: Two cases of squares evolving by anisotropic diffusion. Adv. Differ. Equ. 20(7–8), 773–800 (2015)MathSciNetzbMATHGoogle Scholar
 31.Nesterov, Y.: A method of solving a convex programming problem with convergence rate \(O(1/k^2)\). Sov. Math. Dokl. 27, 372–376 (1983)zbMATHGoogle Scholar
 32.Oberman, A., Osher, S., Takei, R., Tsai, R.: Numerical methods for anisotropic mean curvature flow based on a discrete time variational formulation. Commun. Math. Sci. 9, 637–662 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
 33.Osher, S.J., Sole, A., Vese, L.A.: Image decomposition and restoration using total variation minimization and the \(H^{1}\) norm. Multiscale Model. Simul. SIAM Interdiscip. J. 1(3), 349–370 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
 34.Rudin, L., Osher, S., Fatemi, E.: Nonlinear total variation based noise removal algorithms. Physica D 60, 259–268 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
 35.Rulla, J.: Error analysis for implicit approximations to solutions to Cauchy problems. SIAM J. Numer. Anal. 33(1), 68–87 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
 36.Schönlieb, C.B: Total variation minimization with an \(H^{1}\) constraint. In: CRM Series 9, Singularities in Nonlinear Evolution Phenomena and Applications Proceedings, Scuola Normale Superiore Pisa, pp. 201–232 (2009)Google Scholar
 37.Weiss, P., Aubert, G., BlancFéraud, L.: Efficient schemes for total variation minimization under constraints in image processing. SIAM J. Sci. Comput. 31(3), 2047–2080 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
Copyright information
OpenAccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.