A Technique for Estimation of Box Dimension about Fractional Integral ()
1. Introduction
There are many formulas for fractional integrals and differentiations, since Riemann-Liouville integral of order
(See [4] [5] [6] [7] )
(1.1)
and Weyl-Marchaud derivative of order
(See [6] [7] [8] )
(1.2)
are widely applied in physics such as Rfs. [6] [7] [9] [10] [11] [12] and deeply studied in theory such as Rfs. [5] [6] [13] . Particularly, according to five criteria for definition of the fractional integration and differentiation provided by Ross [12] , (1.1) and (1.2) may be one of the best definitions of fractional integrations and differentiations. Hence, the research is restricted to the Riemann-Liouville fractional integral to discuss its box dimension.
For classic calculus, it is well known that the smoothness of a function would increase after integration and decrease after differentiation. For fractal calculus, one believes that similar behaviour holds. So the following conjecture has been put forward, which may be mentioned firstly by Tatom [4] and Zähle and Ziezold [8] .
Conjecture 1.1. [1] [4] [8] [14] [15] [16] Let
be a fractal function on
. Its graph is indicated by
, and the graph of its integral and derivative by
and
respectively.
1) If
, then
2) If the box dimension does not exist, then
Furthermore,
3) If the box dimension exists, then
Furthermore,
(1.3)
The best answer is Formula (1.3), which includes descriptions of smoothness about traditional calculus: the smoothness of a function would be decreased one after derivative, and increased one after integration, i.e. if
(n-th differentiable functions), then
and
. Here, take
, understand
as the reasonable description about smooth of a function
. In this view Conjecture 1.1 is believed true.
For this problem, the research works can be classified into three branches according to the box dimension of fractal integrand
.
1)
The box dimension of Riemann-Liouville fractional integral
is 1, same as the integrand’s box dimension, including the integrand with bounded variation [17] or at most finite unbounded variation points [18] . If 1-box dimension function is continuous with countable unbounded variation points, the box dimension of its Riemann-Liouville fractional integral is still 1 (See [2] [19] ). Liang [3] and Liu [20] investigated the relationship of 1-dimensional continuous function
with its Riemann-Liouville integral, and proved that
for some special constructed functions. All these discussions show that
which seems to indicate that Riemann-Liouville integral does not increase the box dimension.
2)
Since the integrand is of any box dimension
, estimation of
is sophisticated. Usually Weierstrass type functions and Hlder functions are considered such as in references [21] [22] [23] . No other literature appears about these identities (1.3). For Von Koch curve, Liang [24] proved that
(1.4)
And Liang [14] also proved (1.4) holds when the integrand
is α-Hlder continuous. But Wu [25] reached a better estimation for α-Hlder continuous function:
(1.5)
under conditions
and
. Rfs. [26] presented the same estimation of (1.5) for Weyl fractional integral. All these seem to show that Riemann-Liouville integral decreases box dimension linearly.
3)
It seems that
or
holds only for some special Weierstrass type functions with rapidly growing frequencies like in references [5] [21] [23] [27] [28] [29] (Some researchers called it Besicovitch function).
For Besicovitch function, Liang and Su [15] proved that (1.3) holds, and conjectured that (1.3) holds for any fractal function
. All these seem to point out that Tatom’s [4] assertion is true for 2-box dimension Weierstrass type functions.
In a word, the relation of fractal dimension between the fractal function and its integro-differentiation has been discussed in past years only for Weierstrass type functions, Besicovitch functions, Hlder continuous functions. However, it is generally believed that (1.3) holds although no theory proof appears. Xiao [1] proved that (1.4) is true for all fractal continuous functions, which is the first discussion the conjecture 1.1 for an arbitrary fractal functions. This paper tries to improve Rfs. [1] by taking a novel method that is completely different from Rfs. [1] .
2. Preliminaries
For any set
, box dimensions are defined as follows.
Definition 2.1. [5] [13] Let
be any bounded subset of
and
the smallest number of sets coving Ω with diameters at most δ. Lower and upper box dimension of Ω are defined, respectively
and
Similarly, box dimension of Ω is defined as
Let
be the set of all continuous functions on a closed interval
,
the graph of
on J. Obviously
. The lower box dimension and upper box dimension and Box dimension of the graph of
on J denoted by
respectively, which can be defined by Definition 2.1 with
.
Write
for the maximum range of
over
,
Assume that m is the least integer greater than or equal to
,
represents the size of δ-mesh squares intersecting
. Note that the interval
is divided into m subintervals with equal width δ. Write
The following conclusion about
is directly deduced from Definition 2.1 (or see books [5] [13] ).
Lemma 2.2. [5] [13] Assume
, then
For box dimension of fractal continuous function, some fundamental conclusions are listed in the following Lemma, interested readers can refer to [3] [5] [13] [16] .
Lemma 2.3. Let
be a continuous function with box dimension
, the following statements obviously hold.
1) If
, then
.
2) For a constant function
,
.
3)
, where
is a constant function.
4)
, or
.
Since
by Lemma 2.3, it is reasonable to assume
without losing generality. Note that C represents an absolute constant and are possibly different values even at the same line in this paper.
Lemma 2.4. Assume that
, then for any
,
Proof: Since
and
, so
. Denote
. Now Λ and
are split into two parts as
Apparently,
Hence, we arrive at
Lemma 2.4 is done.
Remarks to Lemma 2.4: This lemma plays key role for the later proof of Theorem 3.1. The technique for treating this kind of integration is possibly of general methodology, which is why we claim that our paper is a new general method to deal with other similar fractional integrals.
3. On All Fractal Continuous Functions
It has been studied in the past days that Box counting dimension of fractional integral on only particular fractal functions such as Weierstrass type, Besicovitch type, and Hlder continuous functions (see references and there in, or our introduction). This paper takes an attempt to estimate the fractal dimension of fractional integral on all fractal continuous functions and arrives at a weaker answer for conjecture 1.1.
Theorem 3.1. Let
with
, then
Proof: If we try to estimate
of Riemann-Liouville fractional integral (1.1), by Lemma 2.2, we need calculate the oscillation of
on all subinterval
. For any
, suppose that
without loss generality. For convenience to deal with the difference
Let
for the second term above to obtain that
Note that
and
, so
. We have
From Lemma 2.4,
For the calculation
, take a substitution
, and note that
, then
Take direct calculations for
,
Combination of
,
, and
leads to
Finally, we focus on the estimation of
, the size of δ-mesh squares intersecting
. Note
can be estimated like
. At last, from Lemma 2.2, we obtain that
By Definition 2.1, we reach that
which completes the proof of Theorem 3.1.
Remarks: Some more statements are listed as follows.
1) Theorem 3.1 makes a positive answer to Conjecture 2.1 in [16] for Riemann-Liouville fractional integral and partly answers to the smoothness of fractional calculus like [4] [7] .
2) After our discussion on smoothness of fractional calculus, we insist on the strong relationship of box dimension of fractal continuous function with its Riemann-Liouville fractional integral (this is part of Conjecture 1.1):
Furthermore,
However, it is beyond our abilities to solve these problems.
For an arbitrary fractal continuous function, Theorem 3.1 shows that a weaker estimation (2) in Conjecture 1.1 reaches. Can the exact quality estimation (3) in Conjecture 1.1 arrive at? We discuss this problem through 1-dimensional fractal continuous function in the sequent section.
4. On All 1-Dimensional Fractal Continuous Functions
There are many works to construct a curve of 1-dimensional fractal continuous function, then to calculate its fractional integral dimension [2] [14] [16] [17] [24] [30] [31] . These works show that a plane curve with unbounded variations and (or) infinite lengths is a really fractals with one fractal dimension. However, Devil’s staircase [32] (see Figure 1) is regarded as 1-dimensional fracture though it is of bounded variation and finite length, and then is actually an “ordinary curve”. Here, we discuss “a real fractal continuous function” with unbounded variation and infinite length.
For a 1-dimensional fractal function, what is its box dimension of the graph of fractional integral? Appeared papers discussed some examples such as Koch curve and constructed curves. Here study Riemann-Liouville fractional integral of all fractal functions with one box dimension.
Theorem 4.2. Assume
and
such as fractal functions with unbounded variation and/or infinite lengths. Then we derive that
Proof: Combining with Theorem 3.1 and Lemma 2.3 leads to
which means
. The proof is completed.
Remarks: Theorem 4.2 includes Theorem 3.1 in Rfs. [3] , Theorem 1.2 and Theorem 2.2 in Rfs. [14] . Actually, these references discussed only some examples of 1-dimensional fractal functions such as Koch curve and constructing some particular unbounded functions. Theorem 4.2 answers (1) in Conjecture 1.1 completely. The published papers tested only examples of 1-dimensional functions.
5. Conclusions
For a long time, the smoothness of integro-differentiation has been focused. The first idea checking the fractal dimension is to execute numerical simulation other than rigid proof by mathematical theory. Zähle [8] designed a method to calculate the fractional derivative and believed (1.3) is true. And Tatom [4] made a systematic numerical calculation of fractal integration for many fractal Brownian motions and deterministic fractal functions like the Koch curve, and concluded that (1.3) is true. Mathematical proofs of (1.3) or weaker results (1.4) and (1.5) are believed sophisticatedly. Hence, this problem is considered in most cases by special functions like Weierstrass type functions or Besicovitch functions, and recently by Hlder continuous functions. We intend to claim that Conjecture 1.1 holds. This paper considers arbitrary fractal functions to reach a weaker result in comparison to the conjectured results in Rfs [4] [16] , which is
However, this estimation indicates at least that the fractional integration does not decrease the smoothness or not increase the fractal dimension for all continuous fractal functions. It is a very interesting conclusion that, for 1-dimensional fractal functions, we proved that
, which answers completely the fractal calculus conjecture for one box dimensional fractals. We believe strongly that at least
.