2.1. Grünwald-Letnikov Definition
The first-order derivative of a function is given by
Iterating, it is possible to arrive to the
nth derivative of a function. A general expression can be deduced by induction:
Combinations of
n things taken
m at a time are given by
The Grünwald–Letnikov (GL) derivative is a generalization of the derivative in (
2). The idea behind it is that
h should approach 0 as
n approaches infinity. However, before doing so, binomial coefficients must cope with real numbers to extend this expression. For that, the Euler gamma function is used, instead of the factorials in (
3):
Combining (
2) with (
4) provides the main justification for the following extension of the integer-order derivative to any real-order
, which was proposed independently by Grünwald [
8] and Letnikov [
9]:
For practical reasons, a truncation of the expression above was introduced, corresponding to an initial value
c. This version of the derivative starting in
c can be applied to functions that are not defined in the interval from −
∞ to
c:
Expression (
6) is the formulation that was applied to the different integer edge detectors in order to adapt them to fractional orders. The corresponding code is available from a public repository [
10].
2.2. Derivative Filters
Derivative filters measure the rate of change in pixel value of a digital image. When filters of this kind are used, the result allows for enhancement of contrast, detection of boundaries and edges, and measurement of feature orientation.
Convolution of the specimen image with derivative filters is known as a derivative filtering operation. In most of the times, there is a filter to each direction; thus, convolution is performed twice. Using two dimensions, a gradient can be measured from the combination of the convolutions in
x and
y:
The gradient points in the direction of the largest intensity increase. The magnitude (
8) and orientation (
9) of this gradient are frequently used to combine the two convolutions in the processing of images with edges with different orientations:
2.3. Canny Edge Detector
Original grey-scale: The Canny edge detector is a very popular edge detection algorithm. It was developed in 1986 by John F. Canny [
11]. The algorithm is composed of the following steps: noise reduction, gradient calculation, non-maximum suppression, and hysteresis thresholding.
The first step of the Canny algorithm is noise reduction. Since image processing is always vulnerable to noise, it is important to remove or reduce it before processing. This is done by the convolution of the image
with a Gaussian filter, defined as
Then, a simple 2D, first-derivative operator (which, in the case of the algorithm used in this work, is the derivative of the Gaussian function used to smooth the image) is applied to the image already smoothed
. This highlights the zones of the image where first spatial derivatives are significant:
Finally, the gradients in each direction
and
are given by
This step of the process is called gradient calculation.
After computing gradient magnitude and orientation with (
8) and (
9), a full scan is performed in order to remove any unwanted pixels which may not constitute edges (non-maximum suppression).
The final step of the algorithm is hysteresis thresholding. In this phase, the algorithm decides which edges are suitable for the output image. Each edge has an intensity proportional to the magnitude of the gradient. For this, two threshold values are defined, the minimum and maximum values. All gradients higher than the maximum threshold are considered “sure-edges”. In contrast, the gradients that are lower than the minimum threshold are considered “non-edges”. For the gradients that are between the two values, two instances may occur [
12]:
If the pixels in question are connected to “sure-edge” pixels, they are considered to be part of the edges;
Otherwise, these pixels are also discarded and considered non-edges.
Fractional grey-scale: When adapting the grey-scale fractional Canny, the only change was that, instead of calculating the first-order gradient of the Gaussian kernel, the GL derivative was applied to the Gaussian function with the desired order
. This means that for each point of the Gaussian mask, its fractional derivative is obtained:
where
is given by (
4).
After computing the fractional derivative, the algorithm follows the same steps of the conventional Canny, including non-maximum suppression and hysteresis thresholding.
Colour: In 1987, Kanade introduced an extension of the Canny operator [
5] for colour edge detection. The operator is based on the same steps as the conventional Canny, but the computations are now vector-based. This means that the algorithm determines the first partial derivatives of the smoothed image in both
x and
y directions.
A three-component colour image assumes, for each of its points in the plane, a value which is a vector in the colour space. In the RGB space, which is a three-dimensional (3D) space to represent colour by a mixture of red (R), green (G), and blue (B), this corresponds to a function
. It is possible now to define the Jacobian matrix, which is the matrix that contains the first partial derivatives for each component of the colour vector:
Indexes
x and
y are used to represent partial derivatives:
The direction along which the largest variation in the colour image can be found is the direction of the eigenvector of
that corresponds to the largest eigenvalue:
In order to calculate the magnitude, one has to compute
, which yields
The orientation
of a colour edge is determined in an image by
After the magnitude is determined for each edge, non-maximum suppression is used. This eliminates broad edges, thanks to a threshold value.
According to the literature [
13], even though colour edges and intensity edges are identical in over
of the cases, the former describes object geometry in the scene better than the latter.
2.4. Sobel Edge Detector
Original grey-scale: The Sobel operator measures the spatial gradient of an image. In this way, regions where there are sudden increases of pixel intensity are highlighted. Such regions correspond to edges.
The operator consists of two masks, one for each direction of
x and
y (
and
, respectively). Note that the mask, or kernel, for
is nothing more than that for
rotated 90 degrees [
14]:
Those edges that are vertical and horizontal in relation to the pixel grid cause a maximal response of these kernels. They can be applied to the input image separately. The resulting measurements of the gradient component in each direction (
and
) are thereafter combined, so as to find at each point both the magnitude of the gradient and its orientation, using (
8) and (
9), respectively.
The resulting image gradient components can be expressed as
Fractional grey-scale: Following the same line of thought, Yaacoub [
2] presented a fractional Sobel operator.
Applying the GL definition (
6) to
(
21), the fractional
-order derivative of
yields
This gradient is obtained convolving the image
with a filter mask:
Since the mask has an even number of rows, the origin is not centered. In the mask above, the origin is considered to be located on the fifth row, in the second column, shown in bold.
Similar reasoning can be applied to the y-direction. That is why, in this case, the mask in y is not the mask in x transposed.
According to the authors, this edge detector, compared with the conventional Sobel edge detector, resulted in thinner edges and reduced the number pixels of false edges.
Colour: A novel, colour-based, fractional Sobel was introduced by applying the same colour-based formulation of
Section 2.3, only this time with the mask in (
24). A Jacobian was constructed, and the largest eigenvalue of
computed; this allows for discovery of the direction in the image, along which the largest variation in the chromatic image function occurs.
2.5. Roberts Edge Detector
Original grey-scale: The Roberts Cross operator [
15] is a simpler, quick way to find the gradient of an image. It also finds zones with great variations in pixel intensity that correspond to edges.
The Roberts operator consists of a pair of
masks, again, one for each direction. Here, the mask to compute the gradient in one direction is the other mask rotated by
[
14]:
The combination of the two gradients in order to find the magnitude and orientation is performed once more using the above-mentioned expressions.
Fractional grey-scale: The authors of [
3] presented the application of the GL derivative to the integer Roberts edge detector and arrived to a kernel for a fractional-order operator. It is known that the Roberts expression for the gradients stands:
Combining (
6) with (
4), the authors arrived at expressions for the gradient’s components:
Referring to (
27) and (
28), the 3 × 3 fractional differential mask can be constructed in the eight central symmetric directions, viz. positive and negative
x and
y coordinates, and left and right downward and upward diagonals. The sum of the eight directional masks yields
Combining the fractional mask with the Roberts operator defined by (
26), the authors arrived at a solution for edge detection in which the texture of the image is enhanced and small edges are also detected. The mathematical formulation for this combination is
where
is the input image, and
is the output image using an integer Roberts operator.
From the experimental results in [
3], and comparing this fractional algorithm with the original Roberts algorithm, it was concluded that edge detection was enhanced, while the thinner edges of the original algorithm are preserved.
Colour: The reasoning used to implement the colour-based Sobel operator was also used here. The fractional Roberts requires convolutions with two masks—first with the integer masks, and then with the fractional-derivatives operator. The colour-based vector convolution and Jacobian computations were applied only to the first one with the integer Roberts. Then, the output of this first integer colour-based edge detection serves as input to the fractional derivative operation.
2.6. Laplacian of Gaussian Detector
Original grey-scale: The Laplacian is a measure of the second spatial derivative of an image. It allows for the identification of zones where intensity changes fast. It is thus often used for edge detection. The Laplacian of a 2D image is given by
In the discrete domain, the simplest approximation of the continuous Laplacian is the numerical first-derivative of the numerical first-derivative, yielding
Substituting (
34) and (
35) in (
33), the first kernel of (
36) is obtained. The second, a non-separable eight-neighbor Laplacian defined by the gain-normalized impulse response array, was suggested by Prewitt. The third mask in (
36) is a separable eight-neighbor version of the Laplacian [
16].
To tackle sensitivity of second-order derivatives to noise, the image is smoothed with a Gaussian filter, and only then is the Laplacian filter reducing high-frequency noise applied. The smoothing filter can also be convolved first with the Laplacian kernel, and only then is the result convolved with the input image.
The Laplacian of Gaussian (LoG) operator of a 2D image is illustrated in
Figure 1 and defined by [
14]
Fractional grey-scale: In 2014, the authors of [
4] presented a fractional adaptation for the first operator in (
36) (using the symetric mask).
In a discrete function (
f), the operator corresponds to approximation
Decomposing and noting that for this case,
,
By generalizing the order from integer to fractional, a fractional-order differential form of the Laplacian operator can be obtained:
Using the GL definition for the fractional-order derivative as it was used for the other operators, one may arrive at
With the definition above, the mask that performs the calculation of the fractional Laplacian may be built:
Experiments with (
42) show that, the larger the order of differentiation is, the better the image feature is preserved, but the more noise that appears too.
Colour: A novel, colour-based, fractional LoG operator was implemented and tested in this study. The conventional algorithm finds edges searching for zero-crossings. This means that previous formulations cannot be adapted. According to [
17], a pixel of a colour image is considered as part of an edge if zero-crossings are found in any of the colour channels. Thus, the fractional grey-scale operator formulated in [
4] can be applied to each colour channel of a colour image. Then, a search for zero-crossings in the convolution outputs may be performed. If a zero-crossing is found in any of the channels, the corresponding pixel is flagged as part of an edge. The output of this algorithm is a binary image with all edges found.
2.7. CRONE
Original fractional grey-scale: In 2002, Benoît Mathieu wanted to prove that an edge detector based on fractional differentiation could improve edge detection and detection selectivity in the case of parabolic luminance transition.
The first derivative of a function
, calculated with increasing
x, can be defined by
with decreasing
x,
with
h being infinitesimally small.
A shift operator
q is consequently introduced, defined by
Using the shift operator on the directional derivative yields
From the expressions above, it is clear that
Generalizing to an order
n,
and
can be defined as
As explained before, the bidirectional detector can be constructed by a composition of the two unidirectional operators using the following expression:
Expanding
and
using Newton’s binomial formula, the expression above can be rewritten:
Applying the operator to a function, such as the transition studied before,
where
In order to detect edges on images, the formulated detector must be designed in two dimensions. Two independent vector operators for
x and
y, each of them a truncated CRONE detector, given respectively by
are used for this purpose. The detector was experimented in artificial and real images, and performance compared with Prewitt operators. In all cases, the CRONE detector showed better immunity to noise.
Colour: In this paper, a novel, colour-based, fractional CRONE was implemented, following the same steps as in the colour Canny already formulated. The colour channels are convolved with the masks for each direction constructing a Jacobian. Then, the maximum eigenvalue of is computed in order to find the pixels where the variation in chromatic image is higher than a designated threshold.