1. Introduction
The Cantor set is an example of a perfect set (i.e., closed and having no isolated points) that is at the same time nowhere dense. The Cantor set and its homonymous function have been frequently utilized as examples for various physical phenomena occurring on discontinuous sets. The self-similar properties of the Cantor set allow for convenient simplifications when developing such models. For example, the Cantor function arises in models of mechanical stability and damage of quasi-brittle materials [
1], in the mechanics of disordered elastic materials [
2,
3] or in fluid flows in fractally permeable reservoirs [
4].
The homonymous function was introduced by Georg Cantor in 1883, as a counterexample to then-prevalent opinion about the universal applicability of the Fundamental Theorem of Calculus. The Cantor function is the standard example of a singular function whose derivative vanishes almost everywhere in the unit interval. In particular, the Cantor’s function is an example of a function that is continuous, but not absolutely continuous. Therefore, characterization of the Cantor’s function in terms of local fractional calculus or the closely related fractional velocity has its own merits. On the other hand, the construction of the Cantor set can be generalized in a way that gives rise to a singular function, called here the SVC (Smith–Volterra–Cantor) function for brevity, with somehow more physically realistic properties. Notably, its growth can be characterized by the usual notion of derivative suitably relaxed to allow for discontinuities.
There are different naming conventions for the Cantor function in the literature. The same function is also called sometimes the Cantor ternary function, the Lebesgue function, Lebesgue’s singular function, the Cantor–Vitali function, the Devil’s staircase, the Cantor staircase function and the Cantor–Lebesgue function. Expositions about properties of the function can be found in [
5,
6].
On
, Cantor’s function can be defined as the solution of the functional equation
The function is the unique solution of Equation (
1) in the class of all bounded functions
([
7,
8] (Proposition 10.6.2)). It has fixed points
and
, among others. The symbol
F without subscripts is reserved for the Cantor function throughout the manuscript. The function is skew-symmetric about the point
according to the equation [
9]:
Outside the unit interval the function can be analytically continued. Typically, one can adjoin the interval to the domain of F by assigning and to the domain of F by assigning , where and represent the integral and the fractional part of the number y, respectively.
From a different perspective, the Cantor function can be defined also as the map between the Cantor ternary set and the set of dyadic rationals extended by continuity on the entire unit interval. This approach will be used for the second example presented in the paper.
2. Bounds of Growth of the Cantor’S Function
The Cantor function grows on the Cantor set. The Cantor set is a classical example of a perfect subset of the closed interval [0, 1] that has the same cardinality as the real line but whose Lebesgue measure is zero.
Definition 1. We say that f is of (point-wise) Hölder class if for a given x there exist two positive constants that for an arbitrary y in its domain and given fulfil the inequality , where denotes the norm of the argument.
Cantor’s function is Hölder continuous on every point of the Cantor set. Moreover, the point-wise Hölder exponent . Everywhere in the paper will be treated as a constant with this value. Moreover, this exponent coincides with the Hausdorff dimension of the Cantor set.
Here we establish a useful bound for the Cantor’s function oscillation on I.
Upper bond of By the functional Equation (
1) and the monotonicity
.
Lower bond For
we have
. Therefore, since
F is increasing,
The relationship between
,
and
is plotted in
Figure 1a. Therefore,
By composing Equations (
2) and (
3) we arrive at another bonding estimate for
:
The relationship is plotted in
Figure 1b. Finally,
3. Point-Wise Oscillation of Functions
Unless otherwise stated, everywhere in the paper will be considered a positive real number.
Definition 2 (Anonymous function notation). The notation for the pair will be interpreted as the implication that if the left-hand side, is fixed then the right-hand side, is fixed by the value chosen on the left, i.e., as an anonymous functional dependency .
Definition 3. Define the forward oscillation and its limit as the operatorsand the backward oscillation and its limit as the operatorsaccording to previously introduced notation [10,11]. Lemma 1 (Oscillation lemma). Consider the function . Suppose that , , respectively.
If then f is right-continuous at x. Conversely, if f is right-continuous at x then . If then f is left-continuous at x. Conversely, if f is left-continuous at x then . That is, Proof. Forward case Suppose that
. Then there exists a pair
, such that
. Therefore,
f is bounded in
. Since
is arbitrary, we select
such that
and set
. Since
can be made arbitrarily small, so is
. Therefore,
f is (right)-continuous at
x.
Reverse case. If
f is (right-) continuous at
then there exists a pair
such that
for some
, which are different from
x. Then we add the inequalities and by the triangle inequality we have
However, since and are arbitrary we can set the former to correspond to the minimum and the latter to the maximum of f in the interval. Therefore, by the least-upper-bond property we can identify , . Therefore, for (for the pair ). Therefore, the limit is .
The left case follows by applying the right case, just proved, to the mirrored image of the function: . □
Then the negation of the statement is also true:
Corollary 1. The following statements are equivalent Definition 4. Define the set of discontinuity for the function f in the compact interval I of Lebesgue measure |I| asor if the context is known . In particular, under this definition is admissible. From this definition it is apparent that and on .
4. Fractional Velocity
In the late 20th century, Cherbit introduced fractional velocity as a tool to study the fractal phenomena and physical processes for which instantaneous velocity was not well defined [
12]. The properties of fractional velocity have been extensively studied in [
10,
13]. It was established that for fractional orders fractional velocity is continuous only if it is zero. The properties of fractional velocity are surveyed in [
11].
Definition 5. Define the parametrized difference operators acting on a function aswhere . The first one we refer to as forward difference operator, the second one we refer to as backward difference operator. Definition 6. Define Fractal Variation operators of order asfor a positive ϵ [14]. Definition 7 (Fractional order velocity).
Define the fractional velocity of fractional order β as the limitwhere and are real parameters and is function.A function for which at least one of exists finitely will be called β-differentiable at the point x.
Condition 1 (Hölder growth condition).
on or , respectively. This condition trivially implies the usual Hölder growth condition . Condition 2 (Hölder oscillation condition).
on . Theorem 1 (Existence of β-velocity). For each , if exists (finitely), then f is right-Hölder continuous of order β at x, and the analogous result holds for and left-Hölder continuity.
Conversely, if Conditions 1 and 2 hold, then exists. Moreover, the Hölder oscillation condition is a necessary and sufficient condition for the existence of β-velocity. The Hölder growth condition is a necessary condition for the existence of β-velocity.
The proof is given in [
10] and is repeated here for convenience.
Proof. We will first prove the case for right continuity. Condition C1 trivially implies the usual Hölder continuity, which according to our notation is given as .
Forward statement
Without loss of generality suppose that
is the value of the limit. Then, by the hypothesis,
holds for every
. Straightforward rearrangement gives
Then, by the reverse triangle inequality,
so that
. Further, by the least-upper-bound property, there exists a number
, such that
which is precisely the Hölder growth condition. The left continuity can be proven in the same way.
Converse statement
In order to prove the converse statement, we can observe that Condition 2 implies that
so that
for
(and in particular for a Cauchy null-sequence
) so that
by Lemma 1 and
so that taking the limits in
(and hence
) implies
hence
for some real number
L.
However, the latter limit can be rewritten from its definition as
for an arbitrary
. Then it follows that
, which is the usual Hölder growth condition. Then, since
is arbitrary, we can select another
, such that
for
and we identify Condition 1.
The left case follows by applying the right case, just proved, to the reflected function . □
5. Fractional Velocities of the Cantor Function
We can formally
-differentiate the recursion equation. The result reads
Therefore, the existence of the -velocity on a countably infinite set will depend on its existence at the two fixed points: .
Cantor’s function obeys the functional Equation (
2); therefore, straightforward calculations show that
so that
The idea of the proof is to use the dynamic properties of the Cantor Iteration Function System around 0. Here we calculate directly
using
arguments. Suppose that
and
. Then
Therefore,
can be expressed in terms of
. Since
can be any positive number smaller than 1,
is
-differentiable at 0.
Suppose that
and
. Then
and the same reasoning applies. Therefore,
is
-differentiable at
.
Suppose that . Then for . Suppose that . Then . Therefore, by recursion, the fractional velocity can be calculated in the entire .
The argument developed so far can be summarized in the following theorem.
Theorem 2. The Cantor function is α-differentiable everywhere in for .where and . By duality,where and . Remark 1 (Alternative proof).
The proof can be given also from the properties of fractional velocity. From Equation (2)and consequentlyFurther, subtract from every inequality and take absolute values. For , which fulfills the Hölder oscillation condition.
Therefore, exists on . On the other hand, by the functional Equation (1) F(2/3) = F(0)/2; therefore, if exists, so does . In the same way, from F(1/3) = F(1)/2 it follows that exists. Remark 2 (Double-sided limits).
The double-sided limits do not exist on the set where . On this set the oscillation iswhich is in accordance with Marstrand’s theorem. 6. The Smith–Volterra–Cantor Set and Its Related Singular Function
There are sets that are totally disconnected, uncountable and non-null. An example of such sets is the Smith–Volterra–Cantor (SVC) set (i.e., the so-called fat Cantor set), which is of measure
. The SVC set is a homeomorphic image of the Cantor set. This is the set that was considered in 1881 by V. Volterra to construct his famous counter example of a function with a bounded derivative that exists everywhere but the derivative is not Riemann integrable in any closed bounded subinterval of the unit interval [
15].
The construction of the SVC set is given as follows: The set is constructed by iteratively removing intervals from the unit interval
. At each step
k, the length that is removed is
from the middle of each of the remaining intervals. That is, starting from
and
on every step
During the process, disjoint intervals of total length
are removed so that the resulting set is of measure
. The Smith–Volterra–Cantor set is closed as it is an intersection of closed sets. Furthermore, at step
n the length of each closed subinterval is
. Starting from
one gets
Therefore, by the the Nested Interval Theorem the SVC set is totally disconnected and contains no intervals.
The set presented above can be used to construct a singular function, resembling by some of its properties the Cantor function described above (see
Figure 2). On the other hand it is Lipschitz on its set of change.
Definition 8 (SVC Function). Define the SVC function as the map between the SVC set defined above and the dyadic rationals in the following construction. Let be the sequence of the end-points of the interval in the n-th step in the construction of the SVC set. Let be the sequence of dyadic rationals with denominator excluding .
Define the sequence of continuous piece-wise linear functions (see Figure 2) , such thatand the limit . In the following argument we characterize the set of growth of the SVC function. In the case of the SVC function
. Then, by construction, the set
has measure
. On the other hand, for
and
Then by induction
Therefore, in limit
Then for the difference quotient
Therefore, in limit
while
. Therefore,
.
Theorem 3. Let S denote the SVC set and . Then on and on . Moreover, and .
The last result demands that the hypothesis of the Lebesgue’s monotone differentiation theorem requires strict monotonicity of the function.