Documente Academic
Documente Profesional
Documente Cultură
(R
2
), g
2
L
(R
2
),
v
G
= inf
g
_
_
_
_
_
|g
1
|
2
+|g
2
|
2
_1
2
_
_
_
_
L
. (6)
Due to its non-linearity, the Gnorm is dicult to compute numerically
(see [3]). Then two approaches can be found in the litterature to run Meyers
algorithm.
The rst one is the algorithm proposed by L.Vese and S.Osher in [2]. The
authors use the following approximation:
v L
v
L
= lim
p+
v
L
p, (7)
and the property that any function v in G can be written as v = div (g) where
g = (g
1
, g
2
) (L
F
V O
(u, g
1
, g
2
)) (9)
The authors deduce the related partial dierential equation system and its
discrete formulation (see [2] for details). The drawback of their approach is the
numerical stability of the algorithm.
The second approach is proposed by Aujol et al. in [1, 11]. Their model is
given by
F
AU
(u, v) = J(u) +J
_
v
_
+ (2)
1
f u v
2
L
2, (10)
( u, v) = arg inf
(u,v)(BV G
F
AU
(u, v)) (11)
where
G
= {v G/v
G
}, (12)
and J
_
v
_
=
_
0 if v G
,
+ if v G\G
.
(13)
2
Figure 1: Two part decomposition of noisy image, from left to right: noisy
image, object part, texture part corrupted by noise.
The authors prove that the solution of minimizing (10) can be found by an iter-
ative algorithm based on non-linear projectors P
G
proposed by A.Chambolle
(see [4] for details and for a convergence theorem). This algorithm gives good
results but is of limited interest in the case of noisy images. Indeed, the noise
can be viewed as a very highly oscillatory function (this means that noise is in
G
_
v
1
_
+J
_
w
2
_
+(2)
1
f u
1
v
2
w
2
L
2,
(15)
where the functions
i
represent the smoothed partition of textured and un-
textured regions (and play the role of in Gilboas paper). The
i
functions
must have the following behaviour:
if we are in a textured region, we want to favour v instead of w. This is
equivalent to
1
close to 1 and
2
close to 0,
if we are in an untextured region, we want to favour w instead of v. This
is equivalent to
1
closed to 0 and
2
close to 1.
We see that
1
and
2
are complementary so it is natural to choose
2
= 1
1
:
R
2
]0; 1[. The choice of
1
and
2
is discussed after the following proposition
which characterizes the minimizers of F
JG
,1,2
(u, v, w).
Proposition 2.1 Let u BV , v G
1
, w G
2
be the structures, textures
and noise parts respectively and f the original noisy image. Let the functions
(
1
(f)(., .),
2
(f)(., .)) be dened on R
2
]0; 1[, and assume that these functions
could be considered as locally constant compared to the variation of v and w (see
the proof for details). Then a minimizer dened by
( u, v, w) = arg
(u,v,w)BV G
1
G
2
min F
JG
,1,2
(u, v, w), (16)
is given by
u = f
1
v
2
w P
G
(f
1
v
2
w), (17)
v = P
G
1
_
f u
2
w
1
_
, (18)
w = P
G
2
_
f u
1
v
2
_
, (19)
where P
G
is the Chambolles non-linear projectors (see [4]).
4
The proof of this proposition is given in appendix A. Notice that we have
still no results on the uniqness of the minimizer.
In pratice, we propose the following iterative numerical scheme:
1. initialization: u
0
= v
0
= w
0
= 0,
2. compute
1
and
2
= 1
1
from f (see below for the choice of
i
),
3. compute w
n+1
= P
G
2
_
fun1vn
2+
_
, ( is a small value in order to prevent
the division by zero),
4. compute v
n+1
= P
G
1
_
fun2wn+1
1+
_
,
5. compute u
n+1
= f
1
v
n+1
2
w
n+1
P
G
(f
1
v
n+1
2
w
n+1
),
6. if max{|u
n+1
u
n
|, |v
n+1
v
n
|, |w
n+1
w
n
|} or if we did N
step
iterations then stop the algorithm, else jump to step 3.
Now, lets deal with the choice of the
i
functions. In [7], the authors choose
to compute a local variance on the texture + noise part of the image obtained
by the ROF model (f u). In this paper, we use the same strategy but on the
v component obtained by the two part decomposition algorithm. This choice is
implied by the fact that the additive gaussian noise can be considered orthogonal
to the textures. As a consequence, the variance of a textured region is larger
than the variance of an untextured region.
So, in practice, we rst compute the two part decomposition of the image f.
On the v component, (i, j), we compute the local variance on a small window
(odd size L) centered on (i, j). Then
1
(i, j) can be expressed by
1
(i, j) =
1
L
2
(p,q)Zij
v
2
(p, q)
1
L
4
_
_
(p,q)Zij
v(p, q)
_
_
2
, (20)
2
(i, j) = 1
1
(i, j), (21)
where Z
ij
= [i (L 1)/2; i + (L 1)/2] [j (L 1)/2; j + (L 1)/2].
At least, we normalize it in order to get the values in ]0; 1[. Figure 2 shows
an example on a noisy version of Barbara ( = 20). We see that this image,
which represents
1
, has larger values in the textured regions. Denote that
in [8], the same authors propose to estimate the optimal parameter based on a
SNR criteria. At this time, we did not incorporate this method in our algorithm.
We experimented our algorithm on three dierent images: on a synthetic
one (show on the top-left of gure 3), on Barbara (show on the left of gure 2)
and on a real outdoor image (show on the top-left of gure 5). The parameters
are set to
Synthetic: = 50,
1
= 1000,
2
= 10, the size of the window for
computing is 7 pixels,
5
Figure 2: On left we have the noisy image (Barbara+gaussian noise, = 20);
on right, texture partition
1
.
Noisy original image Structures
Textures Noise
Figure 3: Results given by F
JG
,1,2
applied on the synthetic image.
Barbara: = 10,
1
= 1000,
2
= 1, the size of the window for computing
is 15 pixels,
Outdoor: = 50,
1
= 1000,
2
= 10, the size of the window for comput-
ing is 7 pixels.
The results are given respectively in gures 3, 4 and 5. We can see in the
whole cases, that the proposed algorithm successfully separates the noise from
textures. In the zoomed images of gure 4, we can see that some residual noise
stayed in the textured part and some residual texture is extracted in the noise
part. This is inevitable since the
i
functions made a tradeo between extracting
the information in the texture part or in the noise part.
6
Structures Textures Noise
Structures zoom Textures zoom Noise zoom
Figure 4: Results given by F
JG
,1,2
applied on Barbara. First row gives the
whole images and second row zooms on a section of the images.
3 Aujol-Chambolles algorithm
In [6], the authors propose another model to decompose an image into three
parts. Their assumption is to consider noise as a distribution modelized by the
Besov space
B
1,
, and the following functional is used:
F
AC
,,
(u, v, w) = J(u) +J
_
v
_
+B
_
w
_
+ (2)
1
f u v w
2
L
2, (22)
where u BV ,v G
, w E
=
_
w
B
1,
/w
1,
_
. (23)
The term B
(f v w), (24)
v = P
G
(f u w), (25)
w = P
E
1,
is better adapted
to modelize the noise than the set G
_
v
_
+B
_
w
_
+(2)
1
f u
1
v
2
w
2
L
2, (27)
where u BV, v G, w E
, w E
min F
JG2
,,
(u, v, w) (28)
10
Figure 9: Local smoothed partition and its pyramidal version .
is given by:
u = f
1
v
2
w P
G
(f
1
v
2
w),
v = P
G
_
f u
2
w
1
+
_
,
w =
f u
1
v
2
+
2
2
+
WST
_
(f u
1
v) ;
2
2
2
2
_
,
where P
G
(f u
1
v
2
w) +J(u) 0 (29)
u J
_
1
(f u
1
v
2
w)
_
. (30)
By adding f u
1
v
2
w on each side and multiplying by
1
, it is deduced:
1
(f
1
v
2
w)
1
(f u
1
v
2
w) + (31)
1
_
1
(f u
1
v
2
w)
_
.
By setting = (f u
1
v
2
w)/, it comes:
1
(f
1
v
2
w) +
1
(). (32)
Thus, using the results in [4], we get
= P
G
_
1
(f
1
v
2
w)
_
=
1
P
G
(f
1
v
2
w). (33)
Using the expression of we conclude that
u = f
1
v
2
w P
G
(f
1
v
2
w). (34)
The u part is now completed. To compute the v and w parts, we use the
following lemma.
Lemma A.1 Let be f L
2
(R
2
), v G
and : R
2
]0; 1[. As is more
regular than v, we assume as locally constant compared to v (this assumption
is like a rst-order assumption). Then the solution:
v = arg
vG
inf
_
(2)
1
f v
2
L
2 +J
_
v
__
(35)
can be approximated by:
v = P
G
_
f
_
(36)
By setting =
v
, we get
F() = (2)
1
f
2
L
2 +J
() (37)
14
and now we seek for
= arg
_
f
__
_
_
_
2
L
2
+J
() (40)
(2)
1
2
L
2
_
_
_
_
f
_
_
_
_
2
L
2
+J
() (41)
then we choose
F
M
() = (2)
1
2
L
2
_
_
_
_
f
_
_
_
_
2
L
2
+J
(). (42)
Now lets deal with F
m
(), if we choose
F
m
() = (2)
1
2
L
2
_
_
_
_
f
_
_
_
_
2
L
2
+J
(). (43)
We have
_
_
_
_
f
_
_
_
_
2
L
2
2
L
2
_
_
_
_
1
_
f
__
_
_
_
2
L
2
(44)
then
=
1
2
L
2
_
_
_
_
f
_
_
_
_
2
L
2
_
_
_
_
1
_
f
__
_
_
_
2
L
2
(45)
=
_
_
_
_
1
2
(f )
_
_
_
_
2
L
2
(46)
_
_
_
_
1
2
_
_
_
_
2
L
2
f
2
L
2. (47)
We suppose that
_
_
1
2
_
_
2
L
2
1 (we can verify it in all our experiments). Then
1
2
L
2
_
_
_
_
f
_
_
_
_
2
L
2
f
2
L
2. (48)
This implies
F
m
() F() (49)
Now we want to characterize F() by studying the behaviour of F
m
() and
F
M
(). First, as the three energy are convex, we have
inf F
m
() inf F() inf F
M
(). (50)
Let calculate F
min
m
= inf F
m
() and F
min
M
= inf F
M
(). First, we have
M
= arg
inf F
M
(). (51)
15
(2)
1
2
L
2
_
f
_
+J
() 0 (52)
+
2
2
L
2
J
()
f
(53)
Chambolle [4] shows that
M
= P
G1
_
f
_
=
1
P
G
_
f
_
(54)
and then
F
min
M
= (2)
1
2
L
2
_
_
_
_
f
P
G
_
f
__
_
_
_
2
L
2
. (55)
By the same way, we nd that
m
= P
G1
_
f
_
=
1
P
G
_
f
_
(56)
and
F
min
m
=
(2)
1
2
L
2
_
_
_
_
f
P
G
_
f
__
_
_
_
2
L
2
. (57)
Then if we set B = (2)
1
_
_
_
f
P
G
_
f
__
_
_
2
L
2
, we get
B
2
L
2
F
min
= F( ) B
2
L
2 (58)
Remind that we suppose that
_
_
1
2
_
_
2
L
2
1, in pratice we can easily check that
L
2 1 and as
m
=
M
, a good approximation of is given by
=
1
P
G
_
f
_
(59)
Since =
v
_
. (60)
We apply this lemma two times to F
JG
,1,2
(u, v, w). Then v is obtained
from u and w, while w is obtained from u and v. This concludes the proof of
proposition 2.1.
B Appendix B
Now, we give the proof of proposition 4.1 of section 4. First, it is easy to see that
for the components u and v, the proof is the same as the one of proposition 2.1
given in appendix A. So we will focus on w and then suppose the components
u and v are xed. We need to nd
w = arg
wE
min
_
(2)
1
f u
1
v
2
w
2
L
2 +B
_
w
__
. (61)
To get this solution, the following lemma will be used
16
Lemma B.1 Let f L
2
, w E
and : R
2
]0; 1[. Assume that, the function
can be considered as locally constant compared to the variation of v. Then the
minimizer:
w = arg
wE
min
_
(2)
1
f w
2
L
2 +B
_
w
__
(62)
is given by:
w =
f
2
WST
_
f
;
2
2
2
_
, (63)
.
where WST(f, ) is the Wavelet Soft Thresholding operator (see [9, 12]).
The proof is based on the dierentiation of (62) with respect to w. Using
the Euler-Lagrange equation, we get
0
(f w) +
1
_
w
_
(64)
B
_
(f w)
_
. (65)
Let =
(fw)
. Then
0
2
f
+B() (66)
0
f
+
2
B(). (67)
This comes from the Euler-Lagrange equation of
arg
L
2
inf
_
1
2
_
_
_
_
f
_
_
_
_
2
L
2
+
2
B
1
1,1
_
. (68)
Based on the result of Chambolle et al. [9] and because we suppose the
behaves locally as a constant compared to , we get
= WST
_
f
;
2
2
2
_
(69)
where is the pyramidal version of dened in section 4. Now, we get from
the expression of :
f
2
w
= WST
_
f
;
2
2
2
_
(70)
w =
f
2
WST
_
f
;
2
2
2
_
. (71)
In order to end the proof of proposition 4.1, we just have to substitute f by
f u
1
v and by
2
in the previous lemma. Then we get:
w =
f u
1
v
2
2
WST
_
(f u
1
v) ;
2
2
2
2
_
. (72)
17
References
[1] J.F. Aujol and G. Aubert and L. Blanc-Feraud and A. Chambolle, De-
composing an image: Application to SAR images, Scale-Space03, Lecture
Notes in Computer Science, Vol 1682, 2003.
[2] L. Vese and S. Osher, Modeling textures with total variation minimization
and oscillating patterns in image processing, Journal of Scientic Comput-
ing, Vol 19, No 1-3, 553572, 2002.
[3] Y. Meyer, Oscillating patterns in image processing and in some nonlinear
evolution equations, The Fifteenth Dean Jacquelines B. Lewis Memorial
Lectures, American Mathematical Society, 2001.
[4] A. Chambolle, An algorithm for total variation minimization and applica-
tions, Journal of Mathematical Imaging and Vision, Vol 20, No 1-2, 8997,
2004.
[5] L. Rudin and S. Osher and E. Fatemi, Nonlinear total variation based noise
removal algorithms, Physica D, Vol 60, 259268, 1992.
[6] J.F. Aujol and A. Chambolle, Dual norms and image decomposition mod-
els, International Journal of Computer Vision, Vol 63, No 1, 85-104, 2005.
[7] G. Gilboa and Y. Zeevi and N. Sochen, Texture preserving variational
denoising using an adaptive delity term, IEEE Trans. Image Proc, Vol
15(8), 22812289, 2006.
[8] G. Gilboa and N. Sochen and Y. Zeevi, Estimation of optimal PDE-based
denoising in the SNR sense, IEEE Trans. Image Proc, Vol 15(8), 22692280,
2006.
[9] A. Chambolle and R.A. DeVore and N. Lee and B.J. Lucier, Nonlinear
wavelet image processing: variational problems, compression and noise re-
moval through wavelet shrinkage, IEEE Trans. on Image Processing, Vol 7,
319335, 1998.
[10] J.F. Aujol and G. Gilboa and T. Chan and S. Osher, Structure-texture
image decomposition-modeling, algorithms and parameter selection, Inter-
national Journal of Computer Vision, Vol 67, No 1, 111136, 2006.
[11] J.F. Aujol, Contribution lanalyse de textures en traitement dimages par
methodes variationnelles et equations aux derivees partielles, PhD, Univer-
site de Nice Sophia Antipolis, 2004.
[12] D. Donoho, De-noising by soft-thresholding, IEEE Trans. Inform. Theory,
Vol 41, 613627 1995.
[13] J. Gilles, Decomposition et detection de structures geometriques
en imagerie, PhD, Ecole Normale Superieure de Cachan,
http://jerome.gilles91.free.fr, 2006.
[14] A. Haddad, Methodes variationnelles en traitement dimage, PhD, Ecole
Normale Superieure de Cachan, 2005.
18
[15] L. Lieu, Contribution to Problems in Image Restoration, Decomposition,
and Segmentation by Variational Methods and Partial Dierential Equa-
tions, Ph.D. Thesis, CAM Report 06-46, 2006.
[16] J.B. Garnett and T.M. Le and Y. Meyer and L. Vese, Image Decompositions
Using Bounded Variation and Homogeneous Besov Spaces, CAM Report
05-57, 2005.
[17] T.M. Le and L. Vese, Image decomposition using total variation and
div(BMO), CAM Report 04-36, 2004.
[18] A. Haddad and Y. Meyer, Variational Methods in Image Processing, CAM
Report 04-52, 2004.
19