# The validity of dimensional regularization method on fractal spacetime.

1. IntroductionThe quantum field theory is one of the oldest fundamental and most widely used tools in physics. It is spectacularly successful that the value of theoretical calculation is precisely in agreement with experimental data, for example, the anomalous magnet moment of electron. Nevertheless, such a precise calculation is on the basis of some regularization methods, for example, dimensional regularization [1]. The dimensional regularization requires that S matrix should be calculated in a non-integer-dimensional spacetime. Following the spirit of this heuristic calculation, Svozil [2] developed the quantum field theory on fractal spacetime (QFTFS). This approach not only can be applied to the low-order perturbative renormalization of quantum electrodynamics but also preserves the gauge invariance and covariance of physical equations. Svozil's work implied that, for a D-dimensional spacetime, there might be D = 4 for macroscopic and D < 4 for microscopic events [2].

Interestingly, recently, the investigations for a consistent theory of quantum gravity strongly indicate that a power-counting renormalizable gravity model can be achieved in a fractional dimensional spacetime, for example, the Horava-Lifshitz (HL) gravity model [3, 4]. Unfortunately, HL gravity model is not Lorentz invariant. To maintain the Lorentz invariance, Calcagni [5, 6] extended the theoretical framework of Svozil's QFTFS so as to include the description for gravity. Calcagni's work showed that if the Hausdorff dimension of spacetime D ~ 2, then the ultraviolet divergence could be removed.

In fact, the notion that "the Universe is fractal" at quantum scales has become popular [5-7]. Thus, the demand for a generalized calculus theory on the non-integer-dimensional topological spaces is strongly increasing. Unfortunately, there is still not a rigorous calculus theory for analytically describing fractal so that, as Svozil has mentioned [2], some of the approaches of fractal calculus are essentially conjectural. It is worth mentioning that Svozil's QFTFS is just on the basis of a conjectural integral formula on the non-integerdimensional topological spaces. Because of the importance of Svozil's approach in studying quantum gravity, we suggest to construct a fractal measure so as to guarantee the validity of Svozil's conjectural integral formula.

2. Hausdorff Measure

The mathematical basis of QFTFS is the Hausdorff measure [2]. The introduction for Hausdorff measure can be found in Appendix A. If a D-dimensional fractal [OMEGA] is embedded in Rn, then it can be tessellated into (regular) polyhedra. In particular, it is always possible to divide Rn into parallelepipeds of the form [2]:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (1)

Based on such a set of parallelepipeds, Svozil [2] conjectured that the local Hausdorff measure d[[mu].sub.H]([OMEGA]) of [OMEGA] should yield the following form:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (2)

where [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] denotes the diameter of parallelepiped [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] denotes the differential operator of order D/n.

With these preparations above, Svozil [2] proved that if formula (2) holds, then the integral of a spherically symmetric function f(r) on [OMEGA] can be written as

[[integral].sub.[OMEGA]] f(r)d[[mu].sub.H] = 2[[pi].sup.D/2]/[GAMMA](D/2) [[integral].sup.R.sub.0] f(r) [r.sup.D-1]dr. (3)

The integral formula (3) is the starting point of QFTFS; therefore, we must pay much attention to the validity of formula (2). Nevertheless, formula (2) does not always hold whenever D = n; for example, using the fractional derivative [8], it is easy to check that [d.sup.D/n][X.sub.j/(d[x.sub.j])[D.sup./n] [not equal to] 1 if D [not equal to] n. This means that the integral formula (3) does not always hold in the framework of Hausdorff measure.

In fact, Hausdorff measure is not an ideal mathematical framework for describing fractal. Next, we will see that Hausdorff measure indeed determines the dimension of a fractal curve but does not describe its analytic properties, for example, the self-similarity between local and global shapes of a fractal curve. To realize this fact, we attempt to check the case of the Cantor set; see Figure 1 [8, 9].

As shown by Figure 1, the Cantor set is a fractal. Using the Hausdorff measure (A.8) (see Appendix A) we can compute the dimension of the Cantor set as [9]

D = ln 2/ln 3 = 0.6309 .... (4)

Nevertheless, for the Cantor set, we do not realize any correlation between its local and global segments (i.e., self-similarity) via the Hausdorff measure. For instance, the Hausdorff distance between points [x.sup.(3).sub.2] and [x.sup.(3).sub.1] is denoted by

[H.sup.D] ([x.sup.(3).sub.2], [x.sup.(3).sub.1]) = [[absolute value of ([x.sup.(3).sub.2] - [x.sup.(3).sub.1])].sup.D]. (5)

Obviously, Hausdorff distance (5) is independent of the values of points [x.sup.(3).sub.i], where i runs from 3 to 8. Nevertheless, because of the self-similarity between parts of the Cantor set, any displacement of point [x.sup.(3).sub.i] (i = 3, 4, ..., 8) should influence the distance between [x.sup.(3).sub.2] and [x.sup.(3).sub.1]. This is undoubtedly a nonlocal property. Unfortunately, Hausdorff distance (5) fails to show this property. In the next section, we will construct a new fractal measure so as to exhibit such a nonlocal property.

3. Fractal Measure

In Section 2, we have noted that the key point of guaranteeing the validity of the integral formula (3) is that the Hausdorff measure is compelled to equal some differences of fractional order; that is, formula (2) holds. Such a fact reminds us that the differences of fractional order itself may be a type of measure. An interesting thought is that whether or not the differences of fractional order can describe the nonlocal property of a fractal curve. To this end, we attempt to check a m-dimensional volume:

x(l) = [omega](m) [l.sup.m], (6)

where [omega](m) is a constant factor that depends only on the dimension m and m may be a fraction.

The fractional derivatives of order m of x(l) give [8]

[d.sup.m] x (l) = [GAMMA](m + 1) [(dl).sup.m] ~ [(dl).sup.m]. (7)

Obviously, [(dl).sup.m], as a m-dimensional volume, is a m-dimensional Hausdorff measure; therefore, formula (7) implies that the differences of order m, [d.sup.m] x(l), can be also thought of as a measure for describing the length of a m-dimensional fractal curve. In this case, the order of differences [d.sup.m] x(l) represents the Hausdorff dimension m.

Using the differences of order m, we define a new distance--call it the "nonlocal distance"--in the form (see (A.19) in Appendix A):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (8)

where [absolute value of ([[DELTA].sub.m] [x(l), x(l - [DELTA]l)])] denotes the nonlocal distance between points x(l) and x(l - [DELTA]l).

It is carefully noted that every x(l-j[DELTA]l) represents a point on a m-dimensional fractal curve, where, j = 0, 1, 2, ....

Clearly, according to (8), the distance between points x(l) and x(l - [DELTA]l) would depend on all the points x(l - j[DELTA]l),where j = 0, 1, 2, ....

Moreover, it's easy to check that [absolute value of ([[DELTA].sub.m=1] [x(l), x(l - [DELTA]l)])] = [absolute value of (x(l) - x(l - [DELTA]l))]. This means that the Euclidean distance is a special case of nonlocal distance whenever the dimension of the fractal curve, m, equals 1.

If we use the nonlocal distance (8) to measure the distance between points [x.sup.(3).sub.2] and [x.sup.(3).sub.1] (see Figure 1), then we will surprisingly find that the nonlocal distance

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (9)

which remarkably differs from the Hausdorff distance (5), would depend on the values of points [x.sup.(3).sub.i] (i = 3, 4, ..., 8). This means that any displacement of point [x.sup.(3).sub.i] (i = 3, 4, ..., 8) would change the nonlocal distance between points [x.sup.(3).sub.2] and [x.sup.(3).sub.1]. Consequently, nonlocal distance (8) is indeed an intrinsic way of describing self-similar fractal, since it not only determines the dimension of a fractal curve (e.g., Cantor ternary set) but also reflects the correlation between its parts. Interestingly, the nonlocal distance seems to have some connection with quantum behavior; for details see Appendix C.

Using the nonlocal distance we have given a definition for fractal measure in Appendix A (see (A.23)).

To study the analytic properties of a fractal curve, we define the fractal derivative (see (A.26) in Appendix A) in the form:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (10)

where [bar.f](l) = f[x(l)] is a differentiable function with respect to coordinate l, l is a parameter (e.g., the single parameter of Peano's curve [10]; for details see Appendix A) which completely determines the generation of a [omega]-dimensional fractal curve, and x(l) denotes the length of the corresponding fractal curve. (We introduce a simple way of understanding the fractal derivative (10). For the case of the Newton-Leibniz derivative of y = f(x), x is a 1-dimensional coordinate axis and hence can be measured by a Euclidean scale (ruler). Thus, the differential element of x is a 1-dimensional Euclidean length dx, which gives rise to the Newton-Leibniz derivative df(x)/dx. Nevertheless, if x is a [omega]-dimensional fractal curve, then it can not be measured by the Euclidean scale (ruler). In this case, the differential element of x should be a [omega]-dimensional volume [sub.l][D.sub.[omega]]x, which gives rise to the fractal derivative [sub.l][D.sub.[omega]]f(x)/[sub.l][D.sub.[omega]]x. For details see Appendix A and Figure 3.)

In particular, the fractal derivative (10) will return to the well-known Newton-Leibniz derivative whenever [omega] = 1.

Using the formula of fractional derivative [8], the fractal derivative can be rewritten as (see (A.27)-(A.29) in Appendix A)

[sub.l][D.sub.[omega]]f (x)/[sub.l][D.sub.[omega]]x = [d.sup.[omega]][bar.f](l)/d[l.sup.[omega]]/[d.sup.[omega]]x(l)/d[l.sup.[omega]]. (11)

By formula (11) we can easily compute the fractal derivative of any differentiable function using the fractional derivative; for concrete examples see Appendix B.

4. Fractal Integral

In Section 3, we have proposed a definition for fractal derivative. Correspondingly, we can now present a convenient definition for fractal integral as follow.

Definition 1. If [sub.l][D.sub.m]f(x)/[sub.l][D.sub.m]x = g(x) then the fractal integral of g(x) on a m-dimensional fractal curve [[beta].sub.m](l) is defined in the form:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (12)

where W denotes the definitional domain of the characteristic parameter l; also, the parameter l completely determines the generation of the m-dimensional fractal curve [[beta].sub.m](l).

Using such a definition of fractal integral we can prove the following proposition.

Proposition 2. If x(r) = [omega](m)[r.sup.m] not only describes the length of a m-dimensional fractal curve [[beta].sub.m](r) but also denotes the volume of a m-dimensional sphere (for example, the m-dimensional fractal curve [[beta].sub.m](r) fills up the entire sphere [OMEGA].) [OMEGA] and if f(x) = [bar.f](r) is a spherically symmetric function, then the fractal integration of f(x) on the m-dimensional fractal curve [[beta].sub.m](r) equals

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (13)

where [omega](m) = [[pi].sup.m/2]/[GAMMA]((m/2) + 1).

Proof. The Riemann-Liouville fractional integrals of order m of f(l) are defined in the form 8]:

[integral] f(l) [(dl).sup.m] = 1/[GAMMA](m) [[integral].sup.R.sub.y] [(l - y).sup.m-1] f(l)dl. (14)

Using (A.29) and (3.3) we have

[sub.r][D.sub.m]x = (dr)m = u(m)T(1 + m) (dr)m. (15)

Using (12) and 15) we arrive at

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (16)

Inserting (14) into 16) leads to

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (17)

Using [omega](m) = [[pi].sup.m/2]/[GAMMA]((m/2) + 1) and the formula (B.7), (17) can be rewritten as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (18)

For y = 0, 18) yields

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (19)

Using the formula (B.7) we have

m/2[GAMMA](m/2) = [GAMMA](m/2 + 1). (20)

Substituting (20) into 19) leads to

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (21)

The proof is complete.

Clearly, for f(x) = 1, formula (13) gives the volume of a m-dimensional sphere, [[pi].sup.m/2] /[GAMMA]((m/2) + 1)[R.sup.m].

Before proceeding to arrive at the main result of this paper, let us consider three measurable sets [W.sub.i] with the dimension [m.sub.i], where i = 1,2,3. According to Fubini's theorem, the Cartesian product of the sets [W.sub.i] can produce a set W with the dimension m = [m.sub.1] + [m.sub.2] + [m.sub.3], where W = [W.sub.1] [direct sum] [W.sub.2] [direct sum] [W.sub.3]. The integration over a function f([r.sub.1], [r.sub.2], [r.sub.3]) on W can be written in the form:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (22)

Then we have the following lemma.

Lemma 3. If d[mu]([W.sub.i]) is denoted by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (23)

and if f([r.sub.1], [r.sub.2], [r.sub.3]) is specified by a spherically symmetric function f(r) with [r.sup.2] = [r.sup.2.sub.1] + [r.sup.2.sub.2] + [r.sup.2.sub.3], then we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (24)

The proof of Lemma 3 can be found in page 28 in the literature [8].

With the preparations above, we can introduce the main result of this paper as follow.

Proposition 4. If [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (i = 1,2,3) not only describes the length of a [D.sub.i]-dimensional fractal curve [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], ([r.sub.i]) but also denotes the volume of a [D.sub.i]-dimensional sphere [[OMEGA].sub.i] and if f(r) = f([r.sub.1], [r.sub.2], [r.sub.3]) is a spherically symmetric function, then the fractal integration of f(r) on the fractal graph [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] equals

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (25)

where [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Proof. Using (13) and 24) we easily arrive at (25).

The proof is complete.

Proposition 4 shows that we have arrived at the conjectural integral formula (3) through the fractal measure (A.23). In particular, if R [right arrow] [infinity], then the integral formula (25) will exhibit linearity, translational invariance, and scaling property. These properties are natural and necessary in applying dimensional regularization to quantum field theory [2]. It is worth mentioning that Proposition 4 can be generalized so that i might take any positive integer, for example, i = 1, 2, ..., [infinity]. If i = 1, 2, 3, 4, then [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] ([r.sub.i]) may denote coordinate axis with the dimension [D.sub.i] and so [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] may denote spacetime.

5. Conclusion

Hausdorff measure is not an ideal mathematical framework for describing fractal since it fails to describe the nonlocal property of fractal (e.g., self-similarity). However, the fractal measure constructed by this paper not only shows the dimension of a fractal but also describes its analytic properties (e.g., nonlocal property). Not only so, using this fractal measure we can derive Svozil's conjectural integral formula (3) which is the starting point of quantum field theory on fractal spacetime. Therefore, our fractal measure maybe regarded as a possible mathematical basis of establishing quantum field theory on fractal spacetime.

Appendices

A. Mathematical Preparations

In Euclidean geometry, the dimension of a geometric graph is determined by the number of independent variables (i.e., the number of degrees of freedom). For example, every point on a plane can be represented by 2-tuples real number ([x.sub.1], [x.sub.2]); then the dimension of the plane is denoted by 2. Nevertheless, the existence of Peano's curve powerfully refutes this viewpoint. Peano's curve, which is determined by an independent characteristic parameter (i.e., fill parameter), would fill up the entire plane 10]. Therefore, mathematicians have to reconsider the definition of dimension. The most famous one of all definitions of dimension is the Hausdorff dimension, which is defined through the Hausdorff measure [8].

A.1. Hausdorff Measure and Hausdorff Dimension. In order to bring the definition of Hausdorff dimension, we firstly introduce the Hausdorff measure [8].

Let W be a nonempty subset of n-dimensional Euclidean space [R.sup.n]; the diameter of W is defined as

diam (W) = sup {d (x, y), x, y [member of] W], (A.1)

where d(x, y), which is the distance between points x and y, is a real-valued function on W [cross product] W, such that the following four conditions are satisfied:

d (x, y) [greater than or equal to] 0 [for all]x, y [member of] W; (A.2)

d(x, y) = 0 iff v = y; (A.3)

d (x, y) = d (y, x) [for all] x, y [member of] W; (A.4)

d (x, z) [less than or equal to] d (x, y) + d (y, z) [for all] x, y, z [member of] W. (A.5)

For example, the distance of n-dimensional Euclidean space [R.sup.n] can be defined as

[d.sub.E] (x, y) = [absolute value of (x - y)] = [([n.summation over (i=1)] [[absolute value of ([x.sub.i] - [y.sub.i])].sup.2]).sup.1/2] (A.6)

Then, it is easy to check that (A.6) satisfies conditions (A.2)-(A.5).

Now, let us consider a countable set {[E.sub.i]} of subsets of diameter at most [epsilon] that covers W; that is,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (A.7)

For a positive D and each [epsilon] > 0, we consider covers of W by countable families {[E.sub.i]} of (arbitrary) sets [E.sub.i] with diameter less than [epsilon] and take the infimum of the sum of [[diam([E.sub.i])].sup.D]. Then we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (A.8)

If the following limit exists

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (A 9)

then the value [H.sup.D] (W) is called the D-dimensional Hausdorff measure.

A.2. Shortcoming of Hausdorff Measure. In general, D may be a fraction. In 1967, Mandelbrot realized that [11] the length of coastline can be measured using Hausdorff measure (A.8) rather than Euclidean measure (A.6), and then the dimension of coastline is a fraction. Mandelbrot called such geometric graphs the "fractal".

The fractal is self-similar between its local and global shapes. Unfortunately, Hausdorff measure can determine the dimension of fractal but not reflect the connection (e.g., self-similarity) among the parts of the corresponding fractal. To see this, we consider Koch's curve in Figure 2.

Clearly, the congruent triangle [DELTA][x.sub.1][x.sub.2][x.sub.3] is similar to [DELTA][x.sub.4][x.sub.5][x.sub.6]. If we use the Hausdorff measure (A.8) to measure the local distance of Koch's curve (e.g., the distance between points [x.sub.1] and [x.sub.3]), then we have

[H.sup.D] ([x.sub.1], [x.sub.3]) = [[absolute value of ([x.sub.1] - [x.sub.2])].sup.D] + [[absolute value of ([x.sub.2] - [x.sub.3])].sup.D], (A.10)

where D is the dimension of the Koch curve.

Equation (A.10) shows that the Hausdorff distance between points [x.sub.1] and [x.sub.3] depends only on the positions of points [x.sub.j] (i = 1,2,3) and is thereby independent of the positions of points [x.sub.j] (j = 4, 5,6). Nevertheless, because of the self-similarity of Koch's curve, any displacements of points [x.sub.i] (j = 4, 5,6) would influence the positions of [x.sub.i] (i = 1,2, 3) and hence change the distance between points [x.sub.1] and [x.sub.3]. That is to say, the local shape (e.g., [DELTA][x.sub.1][x.sub.2][x.sub.3]) is closely related to the global shape (e.g., [DELTA][x.sub.4][x.sub.5][x.sub.6]). Unfortunately, the Hausdorff distance (A.10) undoubtedly fails to reflect this fact. Therefore, we need to find a new measure of describing the analytic properties of fractal.

A.3. Definition of Fractal Measure. Hausdorff measure (A.8) does not reflect the self-similarity of fractal, so we cannot establish the calculus theory of fractal using the Hausdorff measure. In general, people often use the fractional calculus to approximately describe the analytic properties of fractal [8,12].

The fractional calculus is a theory of integrals and derivatives of any arbitrary real order. For example, the fractional derivatives of order m of the function y(l) = [cl.sup.n] equal [8]

[d.sup.m]y (l)/[dl.sup.m] = c [GAMMA](n + 1)/[GAMMA](n - m + 1) [l.sup.n-m], (A.11)

where [GAMMA](v) denotes the Gamma function and m is an arbitrary real number.

Now, let us consider a m-dimensional volume

x(l) = w (m) [l.sup.m], (A.12)

where [omega](m) is a constant which depends only on the dimension m.

Using formula (A.11), the fractional derivatives of order m of (A.12) equal

[d.sup.m] x(l)/[dl.sup.m] = [GAMMA] (m + 1)[omega](m). (A.13)

Equation (A.13) can be written as

[[DELTA].sup.m] x (l) = [GAMMA] (m + 1) [omega] (m) [([DELTA]l).sup.m] + o [[([DELTA]l).sup.m]], (A.14)

where [[DELTA].sup.m]x(l) denotes the differences of order m and o[[([DELTA]l).sup.m]] denotes the infinitesimal terms of higher order compared to [([DELTA]l).sup.m].

Equation (A.14) implies that

[[DELTA].sup.m] x(l) ~ [([DELTA]l).sup.m], (A.15)

and thereby

[N.summation over (i=1)] [[DELTA].sup.m] x ([l.sub.i]) ~ [N.summation over (i=1)] [([DELTA]l).sup.m].s] (A.16)

Obviously, [([DELTA]l).sup.m] is a m-dimensional Hausdorff measure, which can describe the length of a m-dimensional fractal curve. Consequently, (A.15) and (A.16) together imply that [[DELTA].sup.m]x(l) can be also thought of as a m-dimensional measure. In this case, the order of differences [[DELTA].sup.m] x(l) represents the Hausdorff dimension m. Because of this fact, we next attempt to use the differences of order m to define a new measure.

Let us consider the left-shift operator with step [DELTA]l and the identity operator as follows:

[L.sub.[DELTA]l]x (l) = x(l -[DELTA]l), [L.sub.0]x (l) = x(l). (A.17)

Using the left-shift operator [L.sub.[DELTA]l] and the identity operator [L.sub.0], we can define the difference operator of order m in the form:

[([L.sub.0] - [L.sub.[DELTA]l]).sup.m] = [[infinity].summation over (j=0)] m (m - 1) ... (m - j + 1) [(-1).sup.j]/j! [L.sub.j[DELTA]l]. (A.18)

Using (A.18), we define a new distance between points x(l) and x(l - [DELTA]l) in the form:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (A.19)

We call (A.19) the "nonlocal distance," which describes the length of a m-dimensional fractal curve.

When m = 1, the nonlocal distance (A.19) returns to the Euclidean distance; that is,

[absolute value of ([[DELTA].sub.m=1] [x(l), x(l-[DELTA]l)])] = [absolute value of (x(l)-x(l-[DELTA]l))]. (A.20)

In general, the nonlocal distance (A.19) does not satisfy the general properties of distance, (A.4)-(A.5) but reflects the connection between local and global segments of fractal. (For example, the nonlocal distance between points x(l) and x(l + [DELTA]l), that is, [absolute value of ([[DELTA].sub.m] [x(l), x(l + [DELTA]l)])], needs to be defined using the right-shift operator [R.sub.[DELTA]l] which leads to [R.sub.[DELTA]l] x(l) = x(l + [DELTA]l). The corresponding difference operator reads [([R.sub.[DELTA]l] - [R.sub.0]).sup.m]. Then, the nonlocal distance would not satisfy condition (A.4).) To understand the latter, we need to realize that the output value of (A.19) would depend on the values of all points x(l - j[DELTA]l) (j = 0, 1, 2 ...) rather than only on points x(l) and x(l - [DELTA]l).

For instance, in Figure 2, the nonlocal distance [absolute value of ([[DELTA].sub.D] [[x.sub.5], [x.sub.3]])] between points [x.sub.3] and [x.sub.5] would depend on the positions of points [x.sub.i] (i = 1,2, 3,4, 5) rather than only on points [x.sub.3] and [x.sub.5]. Therefore, the nonlocal distance (A.19) is indeed an intrinsic way of describing fractal, since it not only shows the dimension but also reflects the connection between local and global segments of fractal.

Using the nonlocal distance (A.19), we can propose a definition for fractal measure.

Let W be a nonempty subset of n-dimensional Euclidean space [R.sup.n]. We consider a countable set {[F.sub.i]} of subsets of diameter at most e that covers W; that is,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (A.21)

where [diam.sup.D] ([F.sub.i]) defined by using the nonlocal distance (A.19) denotes the diameter of [F.sub.i]; that is,

[diam.sup.D] ([F.sub.i]) = sup {[absolute value of ([[DELTA].sub.D] [x, y])], x, y [member of] [F.sub.i]}. (A.22)

Fractal Measure. For a positive D and each [epsilon] > 0, we consider covers of W by countable families {[F.sub.i]} of (arbitrary) sets [F.sub.i] with diameter less than e and take the infimum of the sum of [diam.sup.D] ([F.sub.i]). Then we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (A.23)

If the following limit exists

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (A 24)

then the value [[PI].sup.D](W) is called the D-dimensional fractal measure; meanwhile, the dimension of W equals D.

A.4. Definition of Fractal Derivative. Obviously, to describe the analytic properties of fractal, we need the corresponding calculus theory.

Before proceeding to introduce the definition of fractal derivative, let us consider a [omega]-dimensional fractal curve [[beta].sub.[omega]]0,(1) (see Figure 3), which is determined by an independent characteristic parameter l (e.g., the fill parameter of Peano's curve), filling up a [omega]-dimensional region. Assume that the length of the fractal curve is specified by a [omega]-dimensional volume x(l), then the (nonlocal) length between points a = [[beta].sub.[omega]] ([l.sub.0]) and b = [[beta].sub.[omega]] ([l.sub.n]) in Figure 3 should be denoted by

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (A.25)

where we have used the fractal measure (A..23).

It is carefully noted that the length between points a = [[beta].sub.[omega]]([l.sub.0]) and b = [[beta].sub.[omega]]([l.sub.n]) cannot be measured by Euclidean scale; see Figure 3.

As such, we can present a definition for fractal derivative as follows.

Fractal Derivative. For any differentiable function y = f(x), if x = x(l) is not only a [omega]-dimensional volume but also describes the length of a [omega]-dimensional fractal curve [gamma].sub.[omega]](l), then the fractal derivative of y = f(x) with respect to the fractal curve [gamma].sub.[omega]] (l) is defined as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (A.26)

where [bar.f](l) = f[x(l)].

Clearly, if [omega] = 1, then the formula (A.26) will return to the Newton-Leibniz derivative, and meanwhile [[gamma].sub.[omega]=1] (l) is restored to a 1-dimensional coordinate axis.

In general, the fractional derivative of order w of any differentiable function f(l) is defined in the form [13]:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (A.27)

Comparing (A.19) and (A.27), we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (A.28)

Using formula (A.28), the formula (A.26) can be rewritten as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (A.29)

Formula (A.29) indicates that we can compute the fractal derivative using the fractional derivative.

B. Computation Examples

In Appendix A, we have noted that the fractal derivative can be computed using the formula (A.29). In this appendix, we present two computing examples.

Example 1. If x(l) = [omega](m)[l.sup.m] describes the length of a m-dimensional fractal curve, then the fractal derivative of the constant function f(x) = C with respect to x equals

[sub.l][D.sub.m] C/[sub.l][D.sub.m] x = C/[GAMMA](1 - m) [GAMMA] (1 + m) x 1/x (B.1)

where [omega](m) is a constant that depends only on m.

Proof. The fractional derivatives of order m of the constant C and the power function y(l) = [al.sup.n], are respectively, as follows [8]:

[d.sup.m] C/[dl.sup.m] = C/[GAMMA](1 - m) [l.sup.-m], (B.2)

[d.sup.m] y(l)/[dl.sup.m] = a [GAMMA](n + 1)/[GAMMA](n - m + 1) [l.sup.n-m]. (B.3)

Using formulas (A.29), (B.2), and (B.3), the fractal derivative [sub.l][D.sub.m] f(x)/[sub.l][D.sub.m] x can be computed as follows:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (B.4)

The proof is complete.

Example 2. If x is the characteristic parameter of a m-dimensional fractal curve and meanwhile it also describes the length of this fractal curve, then the fractal derivative of the constant function f(x) = C with respect to x equals

[sub.x][D.sub.m] C/[sub.x][D.sub.m] x = C (1 - m) x 1/x. (B.5)

Proof. Using formulas (A.29), (B.2), and (B.3) we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (B.6)

Considering the property of Gamma function

[GAMMA] (x + 1) = x[GAMMA] (x), (B.7)

we have

1 - m = [GAMMA] (2 - m)/[GAMMA] (1 - m). (B.8)

Substituting (B.8) into (3.6) we arrive at

[sub.x][D.sub.m]C/[sub.x][D.sub.m]x = C(1 - m) x 1/x. (B.9)

The proof is complete.

C. Quantum Behavior and Nonlocal Distance

Now we investigate the connection between quantum behaviour and nonlocal distance. For simplicity, we still consider the Cantor set in Figure 1, where the nonlocal distance between points [x.sup.(n).sub.2] and [x.sup.(n).sub.1] is equal to

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (C.1)

Clearly, the output value of nonlocal distance (C.1) depends on the value of each element in the set {[x.sup.(n).sub.i]}, where i runs from 1 to [2.sup.n]. If n [right arrow] [infinity], we will have [PI]([x.sup.(n).sub.2]), [x.sup.(n).sub.1])) [right arrow] 0; however, the number of elements in the set {[x.sup.(n).sub.i]} would tend to infinity, too. This means that if we want to precisely measure the distance of smaller scale (e.g., [lim.sub.n[much greater than]l] [PI]([x.sup.(n).sub.2]), [x.sup.(n).sub.1]))), correspondingly we will need to collect the points {[x.sup.(n).sub.i]}. As a result, if we want to precisely measure the nonlocal distance between points [lim.sub.n [right arrow] [infinity]] [x.sup.(n).sub.2] and [lim.sub.n [right arrow] [infinity]] [x.sup.(n).sub.1], we will need to collect a set of infinite points, that is, {[x.sup.([infinity]).sub.i]. Unfortunately, we must fail to arrive at this purpose on an actual measurement. In other words, we cannot precisely measure the distance of microscopic scale; this fact is consistent with the "Heisenberg Uncertainty Principle" (In fact, the connection between quantum mechanics and fractal has been noticed in some earlier papers [14-17].)

On the other hand, the nonlocal distance (C.1) between points and depends clearly on the position of [x.sup.(n).sub.i] (i = 1, 2, ..., [2.sup.n]); for example, any displacement of point [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] would influence the output value of nonlocal distance (C.1). It is a clearly nonlocal correlation (correlations span arbitrarily distances) and similar to quantum entanglement.

The above two facts imply that the nonlocal description may be an intrinsic way of describing quantum behavior. (In references [18,19], we have shown that the local description is not a way of completely describing physical reality.)

http://dx.doi.org/10.1155/2013/308691

Acknowledgment

This project is supported by the Scholarship Award for Excellent Doctoral Student Granted by the Ministry of Education of China (2012) (Grant no. 0903005109081-019).

References

[1] G. 't Hooft and M. Veltman, "Regularization and renormalization of gauge fields" Nuclear Physics B, vol. 44, no. 1,pp. 189-213, 1972.

[2] K. Svozil, "Quantum field theory on fractal spacetime: a new regularisation method," Journal of Physics A, vol. 20, no. 12, pp. 3861-3875, 1987

[3] P. Horava, "Quantum gravity at a Lifshitzpoint," Physical Review D, vol. 79, no. 8, Article ID 084008, 15 pages, 2009.

[4] P. Horava, "Spectral dimension of the universe in quantum gravity at a Lifshitz point," Physical Review Letters, vol. 102, no. 16, Article ID 161301, 4 pages, 2009.

[5] G. Calcagni, "Quantum field theory, gravity and cosmology in a fractal universe," Journal of High Energy Physics, vol. 2010, article 120, 2010.

[6] G. Calcagni, "Fractal universe and quantum gravity," Physical Review Letters, vol. 104, no. 25, Article ID 251301, 2010.

[7] D. Benedetti, "Fractal properties of quantum spacetime," Physical Review Letters, vol. 102, no. 11, Article ID 111303, 4 pages, 2009.

[8] V. E. Tarasov, Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Field and Media, Higher Education Press, Beijing, China, 2010.

[9] T. C. Halsey, M. H. Jensen, L. P. Kadanoff, I. Procaccia, and B. I. Shraiman, "Fractal measures and their singularities: the characterization of strange sets," Physical Review A, vol. 33, no. 2, pp. 1141-1151, 1986.

[10] H. Sagan, Space-Filling Curves, Springer, New York, NY, USA, 1994.

[11] B. Mandelbrot, "How long is the coast of Britain? Statistical self-similarity and fractional dimension," Science, vol. 156, no. 3775, pp. 636-638, 1967

[12] M. Giona, "Fractal calculus on [0, 1]," Chaos, Solitons and Fractals, vol. 5, no. 6, pp. 987-1000, 1995.

[13] I. Podlubny, Fractional Differential Equations, vol. 198, Academic Press, San Diego, Calif, USA, 1999.

[14] M. S. El Naschie, "Quantum mechanics and the possibility of a Cantorian space-time," Chaos, Solitons and Fractals, vol. 1, no. 5, pp. 485-487, 1991.

[15] M. S. El Naschie, "A note on Heisenberg's uncertainty principle and Cantorian space-time," Chaos, Solitons and Fractals, vol. 2, no. 4, pp. 437-439, 1992.

[16] M. S. El Naschie, "On certain infinite-dimensional Cantor sets and the Schrodinger wave," Chaos, Solitons and Fractals, vol. 3, no. 1, pp. 89-98, 1993.

[17] L. Marek-Crnjac, "A short history of fractal-Cantorian spacetime," Chaos, Solitons and Fractals, vol. 41, no. 5, pp. 2697-2705, 2009.

[18] Y. Tao, "Necessity of integral formalism," Communications in Theoretical Physics, vol. 56, no. 4, pp. 648-654, 2011.

[19] Y. Tao, "Sufficient condition for validity of quantum adiabatic theorem," Communications in Theoretical Physics, vol. 57, no. 3, pp. 343-347, 2012.

Yong Tao

School of Economics and Business Administration, Chongqing University, Chongqing 400044, China

Correspondence should be addressed to Yong Tao; taoyingyong@yahoo.com

Received 17 October 2013; Accepted 8 December 2013

Academic Editor: Fernando Sim5es

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Tao, Yong |

Publication: | Journal of Applied Mathematics |

Article Type: | Report |

Date: | Jan 1, 2014 |

Words: | 6007 |

Previous Article: | A novel data-driven terminal iterative learning control with iteration prediction algorithm for a class of discrete-time nonlinear systems. |

Next Article: | Generalized trapezoidal fuzzy soft set and its application in medical diagnosis. |

Topics: |