3244 IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 19, NO. 12, DECEMBER 2010
These desirable features, among others, have greatly promoted
further development of level set methods and their applications
in image segmentation [10]–[12], [7], [13]–[16], tracking [14],
[17], and stereo reconstruction [18], etc.
Although level set methods have been used to solve a wide
range of scientific and engineering problems, their applications
have been plagued with the irregularities of the LSF that are
developed during the level set evolution. In conventional level
set methods, the LSF typically develops irregularities during its
evolution (see the lower row of Fig. 3 for an example), which
cause numerical errors and eventually destroy the stability of
the level set evolution. To overcome this difficulty, a numerical
remedy, commonly known as reinitialization [19], [20], was in-
troduced to restore the regularity of the LSF and maintain stable
level set evolution. Reinitialization is performed by periodically
stopping the evolution and reshaping the degraded LSF as a
signed distance function [21], [20].
A standard method for reinitialization is to solve the fol-
lowing evolution equation to steady state:
(3)
where is the LSF to be reinitialized, and is the sign
function. Ideally, the steady state solution of this equation is a
signed distance function. This reinitialization method has been
widely used in level set methods [21], [22]. Another method for
reinitialization is the fast marching algorithm [19]. Although
reinitialization as a numerical remedy is able to maintain the
regularity of the LSF, it may incorrectly move the zero level
set away from the expected position [20], [23], [19]. There-
fore, reinitialization should be avoided as much as possible
[19, p. 140].
Moreover, there are serious theoretical and practical problems
in conventional level set formulations regarding the practice of
reinitialization. Level set evolution equations in conventional
level set formulations can be written in the form of (2) with a
speed function
. The speed function , which is defined to
guide the motion of the zero level set, does not have a compo-
nent for preserving the LSF
as a signed distance function. In
theory, it has been proven by Barles et al. [24] that the solutions
to such Hamilton-Jacobi equations is not a signed distance func-
tion. However, the LSF is forced to be a signed distance func-
tion as a result of reinitialization. This is obviously a disagree-
ment between theory and its implementation, as pointed out by
Gomes and Faugeras [25]. From a practical viewpoint, the use of
reinitialization introduces some fundamental problems yet to be
solved, such as when and how to apply the reinitialization [25].
There are no general answers to these problems so far [23] and,
therefore, reinitialization is often applied in an ad hoc manner.
Due to the previously mentioned theoretical and practical
problems associated with reinitialization, it is necessary to
pursue a level set method that does not require reinitialization.
Gomes and Faugeras [25] proposed a level set formulation that
consists of three PDEs, one of which is introduced to restrict
the LSF to be a signed distance function, and the other two of
which describe the motion of the zero level contour. However,
it is not clear whether there exists a solution to this system of
three PDEs in theory. Moreover, the numerical implementation
of this formulation still causes errors that may destroy the
signed distance property and eventually destabilize the level
set evolution, which renders it necessary to introduce separate
reinitialization procedures, as reported in [26]. Weber et al. [26]
proposed an implementation strategy to avoid separate reinitial-
ization procedures in their implementation of the well-known
geodesic active contour (GAC) model in [11]. The updating of
the LSF at each time step is performed by a complex procedure
of solving an optimization problem, instead of an iteration
scheme derived from the underlying evolution equation, which
is a disagreement between the theory and its implementation.
In our preliminary work [27], we proposed a variational level
set formulation with an intrinsic mechanism of maintaining
the signed distance property of the LSF. This mechanism is
associated with a penalty term in the variational formulation
that penalizes the deviation of the LSF from a signed distance
function. The penalty term not only eliminates the need for
reinitialization, but also allows the use of a simpler and more
efficient numerical scheme in the implementation than those
used for conventional level set formulations. However, this
penalty term may cause an undesirable side effect on the LSF in
some circumstances, which may affect the numerical accuracy.
This paper proposes a more general variational level set for-
mulation with a distance regularization term and an external en-
ergy term that drives the motion of the zero level contour toward
desired locations. The distance regularization term is defined
with a potential function such that it forces the gradient mag-
nitude of the level set function to one of its minimum points,
thereby maintaining a desired shape of the level set function,
particularly a signed distance profile near its zero level set. In
particular, we provide a double-well potential for the distance
regularization term. The level set evolution is derived as a gra-
dient flow that minimizes this energy functional. In the level
set evolution, the regularity of the LSF is maintained by a for-
ward-and-backward (FAB) diffusion derived from the distance
regularization term. As a result, the distance regularization com-
pletely eliminates the need for reinitialization in a principled
way, and avoids the undesirable side effect introduced by the
penalty term in our preliminary work [27]. We call the level
set evolution in our formulation a distance regularized level
set evolution (DRLSE). To demonstrate the effectiveness of the
DRLSE formulation, we apply it to an edge-based active con-
tour model for image segmentation. We provide a simple and ef-
ficient narrowband implementation to further improve the com-
putational efficiency. Due to the distance regularization term,
the DRLSE can be implemented with a simpler and more effi-
cient numerical scheme in both full domain and narrowband im-
plementations than conventional level set formulations. More-
over, relatively large time steps can be used to significantly re-
duce the number of iterations and computation time, while en-
suring sufficient numerical accuracy.
This paper is organized as follows. In Section II, we first pro-
pose a general variational level set formulation with a distance
regularization term. In Section III, we apply the proposed gen-
eral formulation to an edge-based model for image segmenta-
tion, and describe its implementations in full domain and nar-
rowband. Experimental results are shown in Section IV. Our
work is summarized in Section V.