Analysis of a new variational model for image multiplicative denoising
© Hu et al.; licensee Springer. 2013
Received: 14 August 2013
Accepted: 5 November 2013
Published: 27 November 2013
In this paper, we study the mathematical properties of a new variational model for image multiplicative noise removal. Some important properties of the model, including the lower semicontinuity, the differential property, the convergence and regularization property, are established for the first time. The existence and uniqueness of a solution for the problem as well as a comparison principle have also been established.
MSC: Primary 49J40; 65K10; secondary 94A08.
where , M is a positive constant and its value is determined by the size of an image.
The total variation has been introduced in computer vision first by Rudin, Osher and Fatemi  as a regularizing criterion for solving inverse problems. It has proved to be very efficient for regularizing images without smoothing the boundaries of the objects. A variety of variational methods have been proposed for imaging processing over the last decades, and the main variational approaches devoted to multiplicative noises include the RLO model  proposed by Rudin et al., the AA model  by Aubert and Aujol, and the JY model  by Jin and Yang.
Variational problem (1) is a multiplicative noise removal model. This model was first obtained via the MAP estimator . It is specifically devoted to the denoising of images corrupted by a gamma noise. This model cannot yield good denoising effectiveness, but it can significantly avoid or reduce ‘edge blur’ and ‘step effect’.
From a mathematical point of view, most of the existing variational models for denoising have been studied extensively [2–4, 6]. For example, for a very informative discussion of the use of total variation regularization in the field of image processing, see the introduction of . In , Aubert and Aujol proved the existence of a minimizer for a variational model and studied the associated evolution problem, for which they derived existence and uniqueness results for the solution. Moreover, they proved the convergence of an implicit iterative scheme to compute the solution. Jin and Yang in  established the existence and uniqueness of a weak solution for the associated evolution equations of the JY model, and showed that the solution of the evolution equation converges weakly in BV and strongly in to the minimizer as . For model (1), the initial boundary value problem of the partial differential equation for the model is derived and discreted numerically. The experiments in  showed that the quality of the images restored by the model is excellent. However, in order to further study and apply model (1), further rigorous work is needed to investigate the mathematical properties of the model.
The main goal of this paper is thus to further study the mathematical properties of model (1). The study is conducted in the space of functions with bounded variations (BV). We first establish some important mathematical properties for the function ϕ in the model including the lower semicontinuity, the differential property, the convergence and regularization of its mollification . Then it is easy to prove the existence and uniqueness of a solution for the model under appropriate assumptions. Furthermore, a comparison principle is obtained.
The paper is organized as follows. Some preliminaries are given in the next section. In Section 3, some properties about the function ϕ are obtained. Some new results for variational model (1) such as the existence, uniqueness and comparison results are derived in Section 4. Finally, a conclusion is given in Section 5.
In this paper, we use the following classical distributional spaces. For the convenience of readers, we here recall some basic notations and facts, and for details we refer the readers to the works of Aubert-Kornprobst in .
Let denote the Lebesgue measure of a measurable set E in , let denote the Hausdorff measure of dimension , and let and be the standard notations for the Sobolev and Lebesgue spaces, respectively, let be the set of functions in with compact support in Ω.
It should be addressed here that the endowed with the norm is a Banach space.
With regard to the compactness in , we state the following theorem.
Theorem 2.1 ()
Assume that is a bounded sequence in . Then there exists a subsequence and a function such that as in .
where ∇u is the density of the absolutely continuous part of Du with respect to the Lebesgue measure, is the singular part, is the Cantor part, and is the jump part, is the Hausdorff measure restricted to the set .
Using the standard properties of mollifiers, we have the following properties.
If and , then and in and if , then in .
If for all x, then for all .
If , then .
If , then .
Proof Using the standard properties of mollifiers, we can easily prove the above results. □
3 Some properties about ϕ
and is convex.
uniformly on compact subsets of as .
for all .
- (2)According to (4), for all , we have(6)
Now and , we choose and note that ϕ is uniformly continuous on W. Thus the limit (6) holds uniformly for . Consequently, the calculation above implies uniformly on V.
For the first term on the right-hand side, we consider two possible cases.
Case 1. . Since , it implies . Noting that the function is increasing on , we obtain that . So the first term on the right-hand side is nonnegative.
Therefore, . □
The lower semicontinuity of the functional ϕ with respect to convergence in , which is one of the most important properties of BV functions, is given in the next theorem below.
Thus (8) follows on combining (7) and (9). □
Theorem 3.3 (Regularization)
and so it remains only to prove a verse inequality.
4 Some facts for the variational problem
For the existence of solutions for minimization problem (12), we have obtained the existence result in the BV space (see ), namely, for with , problem (12) has at least one solution satisfying .
We find that, under appropriate assumptions, we can prove the existence of a Lipschitz solution for problem (12) as detailed below.
Theorem 4.1 (Existence of a Lipschitz solution)
the slopes of these planes are uniformly bounded, independent of x, by a constant K. That is, for all .
Proof Consider the approximation of problem (12), that is, replacing by . By the general elliptic theory (see ), there exists a minimizer for each . The proof in Section 10 of  shows that has a uniform gradient bound which is not greater than K, then, by applying to a subsequence of as , we get a Lipschitz function u, and the rest of the proof is straightforward. □
Theorem 4.2 (Uniqueness)
Let be in , then problem (12) has at most one solution such that .
Proof Letting , we have and . We thus deduce that if , then τ is strictly convex. Using (7) and noting that is convex, increasing on with linear growth at infinity, we obtain the uniqueness of a minimizer. □
Theorem 4.3 (Comparison principle)
Let and be in with and . Assume that in Ω. We denote by (resp., ) a solution of (12) for (resp., ). Then we have .
Since , we thus deduce that has a zero Lebesgue measure; i.e., a.e. in Ω. □
Remark The above result agrees with observation in image processing. Suppose that and are two images with noise. and are from and after denoising by some method, respectively. If the image is dimer than at almost every pixel, then is not naturally lighter than .
In this paper, we study the mathematical properties of an important variational model proposed in our recent work  for removing multiplicative noise. For the first time, many important properties of the model, including the lower semicontinuity, the differential property, the convergence and regularization property are established and proved. The well-posedness of the underlying mathematical problem for the model has also been established. The comparison principle of solutions for the model has also been obtained.
The first author is supported partly by the National Natural Science Foundation of China (11071266), and partly by the Chinese Scholarship Council during the author’s visit to Curtin University of Technology. The second author is supported by the Australian Research Council.
- Rudin L, Osher S, Fatemi E: Nonlinear total variation based noise removal algorithms. Physica D 1992, 60: 259–268. 10.1016/0167-2789(92)90242-FView ArticleMathSciNetMATHGoogle Scholar
- Rudin L, Lions PL, Osher S: Multiplicative denoising and deblurring: theory and algorithms. In Geometric Level Sets in Imaging, Vision, and Graphics. Edited by: Osher S, Paragios N. Springer, Berlin; 2003:103–119.View ArticleGoogle Scholar
- Aubert G, Aujol JF: A variational approach to removing multiplicative noise. SIAM J. Appl. Math. 2008, 68: 925–946. 10.1137/060671814MathSciNetView ArticleMATHGoogle Scholar
- Jin ZM, Yang XP: A variational model to remove the multiplicative noise in ultrasound images. J. Math. Imaging Vis. 2011, 39: 62–74. 10.1007/s10851-010-0225-3MathSciNetView ArticleMATHGoogle Scholar
- Hu XG, Zhang LT, Jiang W: Improved variational model to remove multiplicative noise based on partial differential equation. J. Comput. Appl. 2012, 32: 1879–1881.Google Scholar
- Aubert G, Kornprobst P Appl. Math. Sci. 147. In Mathematical Problems in Image Processing. Springer, New York; 2002.Google Scholar
- Chan TF, Esedoglu S:Aspects of total variation regularized function approximation. SIAM J. Appl. Math. 2005, 65: 1817–1837. 10.1137/040604297MathSciNetView ArticleMATHGoogle Scholar
- Lawrence CE: Partial Differential Equations. Am. Math. Soc., Providence; 1998.MATHGoogle Scholar
- Ambrosio L: A compactness theorem for a new class of functions of bounded variation. Boll. Unione Mat. Ital. 1989, 7: 857–881.MathSciNetMATHGoogle Scholar
- Hardt R, Kinderlehrer D: Elastic plastic deformation. Appl. Math. Optim. 1983, 10: 203–246. 10.1007/BF01448387MathSciNetView ArticleMATHGoogle Scholar
- Hartman P, Stampacchia G: On some non-linear elliptic differential functional equations. Acta Math. 1966, 115: 271–310. 10.1007/BF02392210MathSciNetView ArticleMATHGoogle Scholar
- Chambolle A: An algorithm for mean curvature motion. Interfaces Free Bound. 2004, 6: 195–218.MathSciNetView ArticleMATHGoogle Scholar
- Giusti E: Minimal Surfaces and Functions of Bounded Variation. Birkhäuser, Basel; 1994.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.