A Variational Model for Removing Multiple Multiplicative Noises

The problem of multiplicative noise removal has been widely studied in recent years. Many methods have been used to remove it, but the final results are not very excellent. The total variation regularization method to solve the problem of the noise removal can preserve edge well, but sometimes produces undesirable staircasing effect. In this paper, we propose a variational model to remove multiplicative noise. An alternative algorithm is employed to solve variational model minimization problem. Experimental results show that the proposed model can not only effectively remove Gamma noise, but also Rayleigh noise, as well as the staircasing effect is significantly reduced.


Introduction
Image noise removal is one of fundamental problems of image processing and computer version. A real recorded image may be disturbed by some random factors, which is an unavoidable. Additive noise model [1]- [3] is always assumed as , where u is the original image and v is the noise. The denoising problem is to recover u from the observed image g . Removing additive noise, however, is already quite maturing now. Multiplicative noise widespread in our lives, such as: Ultrasound imaging, synthetic aperture radar imaging [4] [5], has more significance and challenging for us to remove. Rayleigh noise commonly occurs in ultrasound imaging.
Classical variational model for multiplicative noise removal is aiming at Gaussian distribution [6]. But when the noise is disobedience Gaussian distributed, the effect of denoising is not very satisfactory. To solve the problem that assuming multiplicative noise model is more reasonable and representative, in 2008, Aubert and Aujol [7] assumed the noise with Gamma distribution with mean 1. A variational model, named AA, used the distribution characteristics of Gamma multiplicative noise and maximizing a posterior (MAP) has been proposed, and its fidelity term expresses as log d d g u x y u Aiming at solving the problem of the fidelity term sick, a series of variation models have taken logarithmic transformation log z u = [8] [9], and then get a new fidelity term written as ( ) For solving problem that AA is not strictly convex, Huang, Ng and Wen [8] used a logarithmic transformation and proposed a new model (Named HNW model): Numerical results show that noise removal ability of HNW is better than AA, but it produces "staircase effect". Alternative iterative algorithm ensures that the solution of the model is unique, and the iterative sequence also converges to optimal solution of it.
After, a body of variation models [7]- [13] of multiplicative noise removal has been proposed, and removing multiplicative noise abilities made considerable progress. Models not only can effectively remove the noise, but also to better protect the image edge and texture. When we get a model, and then must need a good algorithm to solve it. Numerical algorithm of variation model, today, includes ADMM [14] [15], ALM [16] [17], Newton iterative method [8] [9] [18] [19] and dual algorithm [20]- [22] and so on. HNW model has used adaptive alternating iterative algorithm. That is to say, the model can be divided into two parts: one uses Newton iterative method, and the other uses dual algorithm. Iterative sequence obtained converges to the optimal value of the model. The rest of this paper is organized as follows. In Section 2, we introduce the proposed model how constructs it. Next section will give a new numerical algorithm. Convergence proof of the model will be launched in Section 4. In Section 5, we will show the experiments and its specific analysis. Finally, concluding remarks are given.

The Proposed Model
The difference between additive noise and multiplicative noise is whether the noise signal and the original image signal are independent or not. Multiplicative noise, however, is not independent. In paper [23], multiplicative noise model is assumed g u un = + . Inspired by it, assuming the noise model: In which g is the observed image, u is the original image, n is multiplicative noise under Rayleigh distribution, and the probability density function of n is denoted as follows ( ) σ is a constant. The smaller σ is, the greater the intensity of the added noise. On the contrary, it is smaller. g and u are two independent random variables, so that, for any 0 u > , there is To realize the estimate of the original image u, the estimate can be computed by From (2.1), we can derive that If n  is instead of n in (2.7), we can get a fidelity term where D is a two-dimensional bounded open domain of R 2 with Lipschitz boundary, then image can be interpreted as a real function defined on D.
With using a logarithmic transformation log z u = [18], we can get fidelity term An unconstrained optimization problem can be solved by a composition function Variable splitting [17] is a very simple procedure that consists in creating a new variable, say v, to serve as the argument of 2 f , under the constrain that ( ) The idea is to consider the constrained problem which is apparently equivalent to formula (2.11), and the Lagrange function can be written as follows To solve its minimum value, it is equivalent to this constrained optimization problem

Algorithms
Inspired by the iterative algorithm of reference [8] and [18], in this paper, I will propose a new algorithm to solve (2.13). Starting from initial guess ( ) ( ) 0 0 , z w , this method computes a sequence of iterates To solve the problem (3.1), we need to divide it into the following three steps. The first step of the method is to solve a part of the optimization problem. The minimizer of this problem , , 2 Since f is continuous and derivable in the specified range, this function is equitant to solving the regular with 2 n equations The second step of the method is to apply a TV denoising scheme to the image generated by the previous multiplicative noise removal step. The minimizer of the optimization problem

The Convergence Analysis
In this section, we will discuss the convergence of the iterative algorithm. First, we know that ( ) , L z w is a strictly convex function in (2.13), so there must be a unique minimum, denoted by ( ) * , L z w . We will combine the discrete form (2.13) formula to give the optimal solution iterative algorithm. We have the following theorem: Theorem 1. For any given initial value ( ) ( ) To prove this theorem, we will give the following lemmas, and the appropriate proof.
It follows from the alternating iterative process in algorithm that It is obvious that sequence Next we will discuss two cases: , L z w is coercive function based on the definition of mandatory given by the following.
has ( ) f x → +∞ for any x → ∞ as x ∈H , we will call f as a convex function.
Proof of theorem 1. Since sequence We can get conclusion that * z z = , according to the definition of (3.2). Because ẑ and * z are the minimizer of (3.2), hence, From literature [26], we can know that ( ) * * , z w , the fixed point, is the minimizer of ( ) , L z w . Because there is only one fixed point, it can be deduced is convergence to the optimal solution of problem ( ) , L z w .

Experimental Results
In this section, we will experiment on Lena and Cameraman. Different strength Gamma and Rayleigh noises are added to the original image, and then comparing effects of the proposed model proposed model denosing with HNW. In our experiments, Figure 1(a) is original image of Lena; Figure 1(b) is Cameraman. Figures 2-5 are noised images distorted by Rayleigh and Gamma noise with different strength.
In Figure 3 and Figure 4, denosing results of Lena obtained by the proposed model and HNW model are including noise removal image-The clearer image is, the well model is; residual plot-More image' signal has been kept, more bad experimental results; gray value curve figure-The blue color represents the original image of the selected signal, and red signal represents denoised part. If red and blue colors are fitting well, we could say that the denosing effect is better. From Figure 3, we can clearly see that the proposed model has more effective  Figure 4. There is obviously see that denoising effect is much better than HNW model, residual plots and experimental signal diagram are also optimistic.
In Figure 6 and Figure 7, experimental results for Cameraman destroyed by L = 10 and 2 20 σ = . In Figure   6, for removing noised image Cameraman, our model is clearer. In Figure 7, the residual plot has no obviously light part, that is to say, our model is slightly better. Whether for simple texture Cameraman or complex texture Lena image, the proposed model has better than HNW. In order to better illustrate the effectiveness ofthe proposed model, this paper will use the additional data to show it. These are iteration time (T), signal to noise ratio (SNR), mean square error (MSE), peak signal to noise ratio (PSNR), and relative error rate (ReErr). T is time to work-the smaller timeis, the well model is. For SNR or PSNR, the larger the value, the smaller noise. For MSE or ReErr, the value is smaller, indicating that denoising effect is positive. Table 1 and Table 2 show the experimental data. Datasshow that whether for Gamma noise or Rayleigh noise, or simple or a little texture detail-rich images, the proposed model is better than NHW model to obtain considerable experimental data.

Conclusion
In this paper, we propose a variational method for removing multiple multiplicative noises, and give a new numerical iterative algorithm. We proved the sequence obtained converges to the optimal solution of the model. Final experiments show that whether Gamma noise or Rayleigh noise, denoising and edge-protection ability of the proposed model are stronger than HNW model, at the same time, staircasing effect (image has the same gray in some regions) is greatly suppressed. But, proposed model has only dealt with two noises. Next work, we wish that we can find a model to remove many more kinds of multiplicative noises and make sure it has unique solution!