American Institute of Mathematical Sciences

Advanced
  • Previous Article
    Solving inverse source problems by the Orthogonal Solution and Kernel Correction Algorithm (OSKCA) with applications in fluorescence tomography
  • IPI Home
  • This Issue
  • Next Article
    The "exterior approach" to solve the inverse obstacle problem for the Stokes system
February  2014, 8(1): 53-77. doi: 10.3934/ipi.2014.8.53

The Moreau envelope approach for the L1/TV image denoising model

Feishe Chen 1, , Lixin Shen 1, , Yuesheng Xu 2, and  Xueying Zeng 3,

1. 

Department of Mathematics, Syracuse University, Syracuse, NY 13244, United States, United States
2. 

Department of Mathematics, Syracuse University, Syracuse, NY 13244-1150
3. 

School of Mathematical Sciences, Ocean University of China, Qingdao 266100, China

Received  October 2012 Revised  August 2013 Published  March 2014

This paper presents the Moreau envelope viewpoint for the L1/TV image denoising model. The main algorithmic difficulty for the numerical treatment of the L1/TV model lies in the non-differentiability of both the fidelity and regularization terms of the model. To overcome this difficulty, we propose five modified L1/TV models by replacing one or two non-differentiable functions in the L1/TV model with their corresponding Moreau envelopes. We prove that several existing approaches for the L1/TV model essentially solve some of the modified models, but not the original L1/TV model. Algorithms for the L1/TV model and its five variants are proposed under a unified framework based on fixed-point equations (via the proximity operator) which characterize the solutions of the models. Depending upon whether we smooth the regularization term or not, two different types of proximity algorithms are presented. The convergence rates of both types of the algorithms are improved significantly by exploring either the strategy of the Gauss-Seidel iteration, or the FISTA, or both. We compare the performance of various modified L1/TV models for the problem of impulse noise removal, and make recommendations based on our numerical experiments for using these models in applications.
Keywords: Moreau envelope, proximity operator., Impulse noise, L1/TV denoising model.
Mathematics Subject Classification: Primary: 94A08; Secondary: 49N45, 68U1.
Citation: Feishe Chen, Lixin Shen, Yuesheng Xu, Xueying Zeng. The Moreau envelope approach for the L1/TV image denoising model. Inverse Problems & Imaging, 2014, 8 (1) : 53-77. doi: 10.3934/ipi.2014.8.53
References:
[1]

J. E. Aujol, G. Gilboa, T. Chan and S. Osher, Structure-texture image decomposition-modeling, algorithms, and parameter selection,, International Journal of Computer Vision, 67 (2006), 111.  doi: 10.1007/s11263-006-4331-z.  Google Scholar

[2]

H. H. Bauschke and P. L. Combettes, Convex Analysis and Monotone Operator Theory in Hilbert Space,, Springer Press, (2011).  doi: 10.1007/978-1-4419-9467-7.  Google Scholar

[3]

A. Beck and M. Teboulle, A fast iterative shrinkage-thresholding algorithm for linear inverse problems,, SIAM Journal on Imaging Science, 2 (2009), 183.  doi: 10.1137/080716542.  Google Scholar

[4]

P. Bloomfield and W. Steiger, Least Absolute Deviations: Theory, Applications, and Algorithms,, Birkhäuser Boston, (1983).   Google Scholar

[5]

A. Bovik, Handbook of Image and Video Processing,, Academic Press, (2000).   Google Scholar

[6]

A. Chambolle, An algorithm for total variation minimization and applications,, Special issue on mathematics and image analysis, 20 (2004), 89.  doi: 10.1023/B:JMIV.0000011321.19549.88.  Google Scholar

[7]

A. Chambolle and T. Pock, A first-order primal-dual algorithm for convex problems with applications to imaging,, Journal of Mathematical Imaging and Vision, 40 (2011), 120.  doi: 10.1007/s10851-010-0251-1.  Google Scholar

[8]

T. Chan and S. Esedoglu, Aspects of total variation regularized l1 function approximation,, SIAM Journal on Applied Mathematics, 65 (2005), 1817.  doi: 10.1137/040604297.  Google Scholar

[9]

R. Chartrand and V. Staneva, Total variation regularization of images corrupted by non-gaussian noise using a quasi-newton method,, IET Image Processing, 2 (2008), 295.  doi: 10.1049/iet-ipr:20080017.  Google Scholar

[10]

T. Chen, W. Yin, X. Zhou, D. Comaniciu and T. Huang, Total variation models for variable lighting face recognition,, IEEE Transactions on Pattern Analysis and Machine Intelligence, 28 (2006), 1519.  doi: 10.1109/TPAMI.2006.195.  Google Scholar

[11]

C. Clason, B. Jin and K. Kunisch, A duality-based splitting method for l1-tv image restoration with automatic regularization parameter choice,, SIAM Journal on Scientific Computing, 32 (2010), 1484.  doi: 10.1137/090768217.  Google Scholar

[12]

P. Combettes and V. Wajs, Signal recovery by proximal forward-backward splitting,, Multiscale Model and Simulation, 4 (2005), 1168.  doi: 10.1137/050626090.  Google Scholar

[13]

Y. Dong, M. Hintermuller and M. Neri, An Efficient Primal-Dual Method for $l^1$-TV image Restoration,, SIAM Journal on Imaging Sciences, 2 (2009), 1168.  doi: 10.1137/090758490.  Google Scholar

[14]

T. Goldstein and S. Osher, The split bregman method for l1-regularized problems,, SIAM Journal on Imaging Science, 2 (2009), 323.  doi: 10.1137/080725891.  Google Scholar

[15]

Y. Gousseau and J.-M. Morel, Are natural images of bounded variation?,, SIAM Journal on Mathematical Analysis, 33 (2001), 634.  doi: 10.1137/S0036141000371150.  Google Scholar

[16]

X. Guo, F. Li and M. Ng, A fast $l^1$-TV algorithm for image restoration,, SIAM Journal of Scientific Computing, 31 (2009), 2322.  doi: 10.1137/080724435.  Google Scholar

[17]

B. He and X. Yuan, Convergence analysis of primal-dual algorithms for a saddle-point problem: from contraction perspective,, SIAM Journal on Imaging Sciences, 5 (2012), 119.  doi: 10.1137/100814494.  Google Scholar

[18]

Q. Li, C. Micchelli, L. Shen and Y. Xu, A proximity algorithm accelerated by Gauss-Seidel iterations for L1/TV denoising models,, Inverse Problems, 28 (2012).  doi: 10.1088/0266-5611/28/9/095003.  Google Scholar

[19]

C. A. Micchelli, L. Shen and Y. Xu, Proximity algorithms for image models: Denosing,, Inverse Problems, 27 (2011).  doi: 10.1088/0266-5611/27/4/045009.  Google Scholar

[20]

C. A. Micchelli, L. Shen, Y. Xu and X. Zeng, Proximity algorithms for the $l_1$$/$$tv$ image denosing models,, Advances in Computational Mathematics, 38 (2013), 401.  doi: 10.1007/s10444-011-9243-y.  Google Scholar

[21]

J.-J. Moreau, Fonctions convexes duales et points proximaux dans un espace hilbertien,, C. R. Acad. Sci. Paris Sér. A Math., 255 (1962), 1897.   Google Scholar

[22]

M. Nikolova, A variational approach to remove outliers and impulse noise,, Journal of Mathematical Imaging and Vision, 20 (2004), 99.  doi: 10.1023/B:JMIV.0000011920.58935.9c.  Google Scholar

[23]

R. Rockafellar, Augmented lagrangians and applications of the proximal point algorithm in convex programming,, Mathematics of Operations Research, 8 (1976), 421.  doi: 10.1287/moor.1.2.97.  Google Scholar

[24]

R. T. Rockafellar and R. Wets, Variational Analysis,, Springer, (1998).  doi: 10.1007/978-3-642-02431-3.  Google Scholar

[25]

C. Wu, J. Zhang and X. Tai, Augmented lagrangian method for total variation restoration with non-quadratic fidelity,, Inverse Problems and Imaging, 5 (2011), 237.  doi: 10.3934/ipi.2011.5.237.  Google Scholar

[26]

J. Yang, Y. Zhang and W. Yin, An efficient TVL1 algorithm for deblurring multichannel images corrupted by impulsive noise,, SIAM Journal on Scientific Computing, 31 (2009), 2842.  doi: 10.1137/080732894.  Google Scholar

[27]

W. Yin, T. Chen, S. Zhou and A. Chakraborty, Background correction for cdna microarray images using the tv+l1 model,, Bioinformatics, 21 (2005), 2410.  doi: 10.1093/bioinformatics/bti341.  Google Scholar

[28]

W. Yin, D. Goldfard and S. Osher, The total variation l1 model for multiscale decomposition,, Multiscale Modelling and Simulation, 6 (2007), 190.  doi: 10.1137/060663027.  Google Scholar

[29]

C. Zach, T. Pock and H. Bischof, A duality based approach for realtime tv-l1 optical flow,, Pattern Recognition, 4713 (2007), 214.   Google Scholar

show all references

References:
[1]

J. E. Aujol, G. Gilboa, T. Chan and S. Osher, Structure-texture image decomposition-modeling, algorithms, and parameter selection,, International Journal of Computer Vision, 67 (2006), 111.  doi: 10.1007/s11263-006-4331-z.  Google Scholar

[2]

H. H. Bauschke and P. L. Combettes, Convex Analysis and Monotone Operator Theory in Hilbert Space,, Springer Press, (2011).  doi: 10.1007/978-1-4419-9467-7.  Google Scholar

[3]

A. Beck and M. Teboulle, A fast iterative shrinkage-thresholding algorithm for linear inverse problems,, SIAM Journal on Imaging Science, 2 (2009), 183.  doi: 10.1137/080716542.  Google Scholar

[4]

P. Bloomfield and W. Steiger, Least Absolute Deviations: Theory, Applications, and Algorithms,, Birkhäuser Boston, (1983).   Google Scholar

[5]

A. Bovik, Handbook of Image and Video Processing,, Academic Press, (2000).   Google Scholar

[6]

A. Chambolle, An algorithm for total variation minimization and applications,, Special issue on mathematics and image analysis, 20 (2004), 89.  doi: 10.1023/B:JMIV.0000011321.19549.88.  Google Scholar

[7]

A. Chambolle and T. Pock, A first-order primal-dual algorithm for convex problems with applications to imaging,, Journal of Mathematical Imaging and Vision, 40 (2011), 120.  doi: 10.1007/s10851-010-0251-1.  Google Scholar

[8]

T. Chan and S. Esedoglu, Aspects of total variation regularized l1 function approximation,, SIAM Journal on Applied Mathematics, 65 (2005), 1817.  doi: 10.1137/040604297.  Google Scholar

[9]

R. Chartrand and V. Staneva, Total variation regularization of images corrupted by non-gaussian noise using a quasi-newton method,, IET Image Processing, 2 (2008), 295.  doi: 10.1049/iet-ipr:20080017.  Google Scholar

[10]

T. Chen, W. Yin, X. Zhou, D. Comaniciu and T. Huang, Total variation models for variable lighting face recognition,, IEEE Transactions on Pattern Analysis and Machine Intelligence, 28 (2006), 1519.  doi: 10.1109/TPAMI.2006.195.  Google Scholar

[11]

C. Clason, B. Jin and K. Kunisch, A duality-based splitting method for l1-tv image restoration with automatic regularization parameter choice,, SIAM Journal on Scientific Computing, 32 (2010), 1484.  doi: 10.1137/090768217.  Google Scholar

[12]

P. Combettes and V. Wajs, Signal recovery by proximal forward-backward splitting,, Multiscale Model and Simulation, 4 (2005), 1168.  doi: 10.1137/050626090.  Google Scholar

[13]

Y. Dong, M. Hintermuller and M. Neri, An Efficient Primal-Dual Method for $l^1$-TV image Restoration,, SIAM Journal on Imaging Sciences, 2 (2009), 1168.  doi: 10.1137/090758490.  Google Scholar

[14]

T. Goldstein and S. Osher, The split bregman method for l1-regularized problems,, SIAM Journal on Imaging Science, 2 (2009), 323.  doi: 10.1137/080725891.  Google Scholar

[15]

Y. Gousseau and J.-M. Morel, Are natural images of bounded variation?,, SIAM Journal on Mathematical Analysis, 33 (2001), 634.  doi: 10.1137/S0036141000371150.  Google Scholar

[16]

X. Guo, F. Li and M. Ng, A fast $l^1$-TV algorithm for image restoration,, SIAM Journal of Scientific Computing, 31 (2009), 2322.  doi: 10.1137/080724435.  Google Scholar

[17]

B. He and X. Yuan, Convergence analysis of primal-dual algorithms for a saddle-point problem: from contraction perspective,, SIAM Journal on Imaging Sciences, 5 (2012), 119.  doi: 10.1137/100814494.  Google Scholar

[18]

Q. Li, C. Micchelli, L. Shen and Y. Xu, A proximity algorithm accelerated by Gauss-Seidel iterations for L1/TV denoising models,, Inverse Problems, 28 (2012).  doi: 10.1088/0266-5611/28/9/095003.  Google Scholar

[19]

C. A. Micchelli, L. Shen and Y. Xu, Proximity algorithms for image models: Denosing,, Inverse Problems, 27 (2011).  doi: 10.1088/0266-5611/27/4/045009.  Google Scholar

[20]

C. A. Micchelli, L. Shen, Y. Xu and X. Zeng, Proximity algorithms for the $l_1$$/$$tv$ image denosing models,, Advances in Computational Mathematics, 38 (2013), 401.  doi: 10.1007/s10444-011-9243-y.  Google Scholar

[21]

J.-J. Moreau, Fonctions convexes duales et points proximaux dans un espace hilbertien,, C. R. Acad. Sci. Paris Sér. A Math., 255 (1962), 1897.   Google Scholar

[22]

M. Nikolova, A variational approach to remove outliers and impulse noise,, Journal of Mathematical Imaging and Vision, 20 (2004), 99.  doi: 10.1023/B:JMIV.0000011920.58935.9c.  Google Scholar

[23]

R. Rockafellar, Augmented lagrangians and applications of the proximal point algorithm in convex programming,, Mathematics of Operations Research, 8 (1976), 421.  doi: 10.1287/moor.1.2.97.  Google Scholar

[24]

R. T. Rockafellar and R. Wets, Variational Analysis,, Springer, (1998).  doi: 10.1007/978-3-642-02431-3.  Google Scholar

[25]

C. Wu, J. Zhang and X. Tai, Augmented lagrangian method for total variation restoration with non-quadratic fidelity,, Inverse Problems and Imaging, 5 (2011), 237.  doi: 10.3934/ipi.2011.5.237.  Google Scholar

[26]

J. Yang, Y. Zhang and W. Yin, An efficient TVL1 algorithm for deblurring multichannel images corrupted by impulsive noise,, SIAM Journal on Scientific Computing, 31 (2009), 2842.  doi: 10.1137/080732894.  Google Scholar

[27]

W. Yin, T. Chen, S. Zhou and A. Chakraborty, Background correction for cdna microarray images using the tv+l1 model,, Bioinformatics, 21 (2005), 2410.  doi: 10.1093/bioinformatics/bti341.  Google Scholar

[28]

W. Yin, D. Goldfard and S. Osher, The total variation l1 model for multiscale decomposition,, Multiscale Modelling and Simulation, 6 (2007), 190.  doi: 10.1137/060663027.  Google Scholar

[29]

C. Zach, T. Pock and H. Bischof, A duality based approach for realtime tv-l1 optical flow,, Pattern Recognition, 4713 (2007), 214.   Google Scholar

[1]

Yoon Mo Jung, Taeuk Jeong, Sangwoon Yun. Non-convex TV denoising corrupted by impulse noise. Inverse Problems & Imaging, 2017, 11 (4) : 689-702. doi: 10.3934/ipi.2017032
[2]

Michael Hintermüller, Monserrat Rincon-Camacho. An adaptive finite element method in $L^2$-TV-based image denoising. Inverse Problems & Imaging, 2014, 8 (3) : 685-711. doi: 10.3934/ipi.2014.8.685
[3]

Linghua Chen, Espen R. Jakobsen. L1 semigroup generation for Fokker-Planck operators associated to general Lévy driven SDEs. Discrete & Continuous Dynamical Systems - A, 2018, 38 (11) : 5735-5763. doi: 10.3934/dcds.2018250
[4]

Yingying Li, Stanley Osher. Coordinate descent optimization for l1 minimization with application to compressed sensing; a greedy algorithm. Inverse Problems & Imaging, 2009, 3 (3) : 487-503. doi: 10.3934/ipi.2009.3.487
[5]

Duo Wang, Zheng-Fen Jin, Youlin Shang. A penalty decomposition method for nuclear norm minimization with l1 norm fidelity term. Evolution Equations & Control Theory, 2019, 8 (4) : 695-708. doi: 10.3934/eect.2019034
[6]

Nils Dabrock, Yves van Gennip. A note on "Anisotropic total variation regularized $L^1$-approximation and denoising/deblurring of 2D bar codes". Inverse Problems & Imaging, 2018, 12 (2) : 525-526. doi: 10.3934/ipi.2018022
[7]

Rustum Choksi, Yves van Gennip, Adam Oberman. Anisotropic total variation regularized $L^1$ approximation and denoising/deblurring of 2D bar codes. Inverse Problems & Imaging, 2011, 5 (3) : 591-617. doi: 10.3934/ipi.2011.5.591
[8]

Badr-eddine Berrhazi, Mohamed El Fatini, Tomás Caraballo, Roger Pettersson. A stochastic SIRI epidemic model with Lévy noise. Discrete & Continuous Dynamical Systems - B, 2018, 23 (6) : 2415-2431. doi: 10.3934/dcdsb.2018057
[9]

Juan Carlos De los Reyes, Carola-Bibiane Schönlieb. Image denoising: Learning the noise model via nonsmooth PDE-constrained optimization. Inverse Problems & Imaging, 2013, 7 (4) : 1183-1214. doi: 10.3934/ipi.2013.7.1183
[10]

Dmitrii Rachinskii. On geometric conditions for reduction of the Moreau sweeping process to the Prandtl-Ishlinskii operator. Discrete & Continuous Dynamical Systems - B, 2018, 23 (8) : 3361-3386. doi: 10.3934/dcdsb.2018246
[11]

C.M. Elliott, S. A. Smitheman. Analysis of the TV regularization and $H^{-1}$ fidelity model for decomposing animage into cartoon plus texture. Communications on Pure & Applied Analysis, 2007, 6 (4) : 917-936. doi: 10.3934/cpaa.2007.6.917
[12]

Xiangjun Wang, Jianghui Wen, Jianping Li, Jinqiao Duan. Impact of $\alpha$-stable Lévy noise on the Stommel model for the thermohaline circulation. Discrete & Continuous Dynamical Systems - B, 2012, 17 (5) : 1575-1584. doi: 10.3934/dcdsb.2012.17.1575
[13]

Qiyu Jin, Li Bai, Ion Grama, Quansheng Liu, Jie Yang. Removing random-valued impulse noise with reliable weight. Inverse Problems & Imaging, 2020, 14 (2) : 171-203. doi: 10.3934/ipi.2020009
[14]

Hao Yang, Hang Qiu, Leiting Chen. An optimized direction statistics for detecting and removing random-valued impulse noise. Journal of Industrial & Management Optimization, 2018, 14 (2) : 597-611. doi: 10.3934/jimo.2017062
[15]

Jianbin Yang, Cong Wang. A wavelet frame approach for removal of mixed Gaussian and impulse noise on surfaces. Inverse Problems & Imaging, 2017, 11 (5) : 783-798. doi: 10.3934/ipi.2017037
[16]

Peter I. Kogut, Olha P. Kupenko. On optimal control problem for an ill-posed strongly nonlinear elliptic equation with $p$-Laplace operator and $L^1$-type of nonlinearity. Discrete & Continuous Dynamical Systems - B, 2019, 24 (3) : 1273-1295. doi: 10.3934/dcdsb.2019016
[17]

Wenye Ma, Stanley Osher. A TV Bregman iterative model of Retinex theory. Inverse Problems & Imaging, 2012, 6 (4) : 697-708. doi: 10.3934/ipi.2012.6.697
[18]

Martin Redmann, Melina A. Freitag. Balanced model order reduction for linear random dynamical systems driven by Lévy noise. Journal of Computational Dynamics, 2018, 5 (1&2) : 33-59. doi: 10.3934/jcd.2018002
[19]

Jian-Feng Cai, Raymond H. Chan, Mila Nikolova. Two-phase approach for deblurring images corrupted by impulse plus gaussian noise. Inverse Problems & Imaging, 2008, 2 (2) : 187-204. doi: 10.3934/ipi.2008.2.187
[20]

Shi Yan, Jun Liu, Haiyang Huang, Xue-Cheng Tai. A dual EM algorithm for TV regularized Gaussian mixture model in image segmentation. Inverse Problems & Imaging, 2019, 13 (3) : 653-677. doi: 10.3934/ipi.2019030

2019 Impact Factor: 1.373

Tools

Metrics

  • PDF downloads (42)
  • HTML views (0)
  • Cited by (12)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences