In
image processing
An image or picture is a visual representation. An image can be two-dimensional, such as a drawing, painting, or photograph, or three-dimensional, such as a carving or sculpture. Images may be displayed through other media, including a pr ...
and
computer vision
Computer vision tasks include methods for image sensor, acquiring, Image processing, processing, Image analysis, analyzing, and understanding digital images, and extraction of high-dimensional data from the real world in order to produce numerical ...
, anisotropic diffusion, also called Perona–Malik diffusion, is a technique aiming at reducing
image noise without removing significant parts of the image content, typically edges, lines or other details that are important for the interpretation of the image.
Anisotropic
Anisotropy () is the structural property of non-uniformity in different directions, as opposed to isotropy. An anisotropic object or pattern has properties that differ according to direction of measurement. For example, many materials exhibit ver ...
diffusion resembles the process that creates a
scale space, where an image generates a parameterized family of successively more and more blurred images based on a
diffusion process. Each of the resulting images in this family are given as a
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
between the image and a 2D
isotropic Gaussian filter, where the width of the filter increases with the parameter. This diffusion process is a ''linear'' and ''space-invariant'' transformation of the original image. Anisotropic diffusion is a generalization of this diffusion process: it produces a family of parameterized images, but each resulting image is a combination between the original image and a filter that depends on the local content of the original image. As a consequence, anisotropic diffusion is a ''non-linear'' and ''space-variant'' transformation of the original image.
In its original formulation, presented by
Perona and
Malik
Malik (; ; ; variously Romanized ''Mallik'', ''Melik'', ''Malka'', ''Malek'', ''Maleek'', ''Malick'', ''Mallick'', ''Melekh'') is the Semitic term translating to "king", recorded in East Semitic and Arabic, and as mlk in Northwest Semitic d ...
in 1987,
the space-variant filter is in fact isotropic but depends on the image content such that it approximates an
impulse function close to edges and other structures that should be preserved in the image over the different levels of the resulting
scale space. This formulation was referred to as ''anisotropic diffusion'' by Perona and Malik even though the locally adapted filter is isotropic, but it has also been referred to as ''inhomogeneous and nonlinear diffusion''
or ''Perona–Malik diffusion''
by other authors. A more general formulation allows the locally adapted filter to be truly anisotropic close to linear structures such as edges or lines: it has an orientation given by the structure such that it is elongated along the structure and narrow across. Such methods are referred to as ''
shape-adapted smoothing''
or ''coherence enhancing diffusion''.
As a consequence, the resulting images preserve linear structures while at the same time smoothing is made along these structures. Both these cases can be described by a generalization of the usual
diffusion equation where the diffusion coefficient, instead of being a constant scalar, is a function of image position and assumes a
matrix (or
tensor
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other ...
) value (see
structure tensor).
Although the resulting family of images can be described as a combination between the original image and space-variant filters, the locally adapted filter and its combination with the image do not have to be realized in practice. Anisotropic diffusion is normally implemented by means of an approximation of the generalized diffusion equation: each new image in the family is computed by applying this equation to the previous image. Consequently, anisotropic diffusion is an
iterative process where a relatively simple set of computation are used to compute each successive image in the family and this process is continued until a sufficient degree of smoothing is obtained.
Formal definition
Formally, let
denote a subset of the plane and
be a family of gray scale images.
is the input image. Then anisotropic diffusion is defined as
:
where
denotes the
Laplacian
In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is th ...
,
denotes the
gradient,
is the
divergence
In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the rate that the vector field alters the volume in an infinitesimal neighborhood of each point. (In 2D this "volume" refers to ...
operator and
is the diffusion coefficient.
For
, the output image is available as
, with larger
producing blurrier images.
controls the rate of diffusion and is usually chosen as a function of the image gradient so as to preserve edges in the image.
Pietro Perona and
Jitendra Malik pioneered the idea of anisotropic diffusion in 1990 and proposed two functions for the diffusion coefficient:
:
and
:
the constant ''K'' controls the sensitivity to edges and is usually chosen experimentally or as a function of the noise in the image.
Motivation
Let
denote the manifold of smooth images, then the diffusion equations presented above can be interpreted as the
gradient descent equations for the minimization of the energy functional
defined by
:
where
is a real-valued function which is intimately related to the diffusion coefficient. Then for any compactly supported infinitely differentiable test function
,
:
where the last line follows from multidimensional integration by parts. Letting
denote the gradient of E with respect to the
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
evaluated at I, this gives
:
Therefore, the
gradient descent equations on the functional ''E'' are given by
:
Thus by letting
the anisotropic diffusion equations are obtained.
Regularization
The diffusion coefficient,
, as proposed by Perona and Malik can lead to instabilities when
. It can be proven that this condition is equivalent to the physical diffusion coefficient (which is different from the mathematical diffusion coefficient defined by Perona and Malik) becoming negative and it leads to backward diffusion that enhances contrasts of image intensity rather than smoothing them. To avoid the problem, regularization is necessary and people have shown that spatial regularizations lead to converged and constant steady-state solution.
To this end one of the ''modified Perona–Malik models''
(which is also known as regularization of P-M equation) will be discussed. In this approach, the unknown is convolved with a Gaussian inside the non-linearity to obtain a modified Perona–Malik equation
:
where
.
The well-posedness of the equation can be achieved by this regularization but it also introduces blurring effect, which is the main drawback of regularization. A prior knowledge of noise level is required as the choice of regularization parameter depends on it.
Applications
Anisotropic diffusion can be used to remove noise from digital images without blurring edges. With a constant diffusion coefficient, the anisotropic diffusion equations reduce to the
heat equation
In mathematics and physics (more specifically thermodynamics), the heat equation is a parabolic partial differential equation. The theory of the heat equation was first developed by Joseph Fourier in 1822 for the purpose of modeling how a quanti ...
which is equivalent to Gaussian blurring. This is ideal for removing noise but also indiscriminately blurs edges too. When the diffusion coefficient is chosen as an edge avoiding function, such as in Perona–Malik, the resulting equations encourage diffusion (hence smoothing) within regions of smoother image intensity and suppress it across strong edges. Hence the edges are preserved while removing noise from the image.
Along the same lines as noise removal, anisotropic diffusion can be used in edge detection algorithms. By running the diffusion with an edge seeking diffusion coefficient for a certain number of iterations, the image can be evolved towards a piecewise constant image with the boundaries between the constant components being detected as edges.
See also
*
Bilateral filter
A bilateral filter is a non-linear, edge-preserving, and noise-reducing smoothing filter for images. It replaces the intensity of each pixel with a weighted average of intensity values from nearby pixels. This weight can be based on a Gaussia ...
*
Edge detection
*
Edge-preserving smoothing
*
Heat equation
In mathematics and physics (more specifically thermodynamics), the heat equation is a parabolic partial differential equation. The theory of the heat equation was first developed by Joseph Fourier in 1822 for the purpose of modeling how a quanti ...
*
Image noise
*
Noise reduction
Noise reduction is the process of removing noise from a signal. Noise reduction techniques exist for audio and images. Noise reduction algorithms may distort the signal to some degree. Noise rejection is the ability of a circuit to isolate an u ...
*
Scale space
*
Total variation denoising
*
Bounded variation
In mathematical analysis, a function of bounded variation, also known as ' function, is a real number, real-valued function (mathematics), function whose total variation is bounded (finite): the graph of a function having this property is well beh ...
References
External links
*Mathematic
PeronaMalikFilterfunction.
* IDL nonlinear anisotropic diffusion package(edge enhancing and coherence enhancing)
{{Noise, state=uncollapsed
Image processing
Image noise reduction techniques