Abstract
Tube formulas refer to study of volumes of r neighbourhoods of sets. For sets satisfying some (possible very weak) convexity conditions, this has a long history going back to Steiner in the early Nineteenth century. However, within the past 20 years, Lapidus has initiated and pioneered a systematic study of tube formulas for fractal sets. Following this line of investigation, it is natural to ask as to what extent it is possible to develop a theory of multifractal tubes. In this survey we will explain one approach to this problem based on Olsen (Multifractal tubes, Preprint, 2011). In particular, we will propose a general framework for studying tube formulas of multifractals and, as an example, we give a complete description of the asymptotic behaviour of the multifractal tube formulas for self-similar measures satisfying the Open Set Condition.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Fractal Tubes
Let E be a subset of ℝ d and r > 0. We now write B(E, r) for the open r neighbourhood of E, i.e.
Intuitively we will think of the set B(E, r) as consisting of the E surrounded by a “tube” of width r. Our main interest is to compute the volume of the “tube” of width r surrounding E or equivalently computing the volume of the set B(E, r) and subtract the volume of E. To make this formal, we define the Minkowski volume V r (E) of E by
here and below ℒ d denotes the Lebesgue measure in ℝ d and the normalizing factor \(\frac{1} {{r}^{d}}\) is included to make the subsequent results simpler—we note that different authors use different normalizing factors. Tube formulas refer to formulas for computing the Minkowski volume V r (E) as a function of the width r of the “tube” surrounding E. In particular, one is typically interested in the following two types of results:
-
1.
Asymptotic behaviour: finding a formula for the asymptotic behaviour of V r (E) as r ↘ 0.
-
2.
Explicit formulas: finding an explicit formulas for V r (E) valid for all small r.
For convex sets E, this problem has a rich and fascinating history starting with the work of Steiner in the early Nineteenth century. This theory reached its mature form in the 1960s where Federer [13, 14] unified the tube formulas of Steiner for convex bodies and of Weyl for smooth submanifolds, as described in [2, 21, 50], and extended these results to sets of positive reach. Federer’s tube formula has since been extended in various directions by a number of researchers in integral geometry and geometric measure theory, including [18, 19, 47–49, 52, 53] and most recently (and most generally) in [25]. The books [21, 35, 48] contain extensive endnotes with further information and many other references. While the above references investigate tube formulas for sets that satisfy some (possibly very weak) convexity conditions, very recently there has been significant interest in developing a theory of tube formulas for fractal sets and a number of exciting works have appeared. Indeed, in the early 1990s, Lapidus introduced the notion of “complex dimensions” and has during the past 20 years very successfully pioneered the use of “complex dimension” to obtain explicit tube formulas for certain classes of fractal sets; this exiting theory is described in detail in Lapidus and van Frankenhuysen’s intriguing books [29, 30]. In a parallel development and building on earlier work by Lalley [26–28] and Gatzouras [20] (see also [11]), Winter [51] has initiated the systematic study of curvatures of fractal sets and applied this theory to study the asymptotic behaviour of the Minkowski volume V r (E) of fractal sets E using methods from renewal theory.
The Minkowski volume V r (E) is closely related to various notions from Fractal Geometry. Indeed, using the Minkowski volume V r (E), we define the lower and upper Minkowski dimension of E by
The link with Fractal Geometry is now explained as follows. Namely, box dimensions play an important role in Fractal Geometry and it is not difficult to see that the lower Minkowski dimension equals the lower box dimension and that the upper Minkowski dimension equals the upper box dimension; for the definition of the box dimensions the reader is referred to Falconer’s textbook [10].
It is clearly also of interest to analyse the behaviour of the Minkowski volume V r (E) itself as r ↘ 0. Indeed, if, for example, a 1, …, a d , b 1, …, b d are real numbers with a i ≤ b i for all i, and U denotes the rectangle [a 1, b 1] ×⋯ ×[a d , b d ] in ℝ d, then it is clear that \(\frac{1} {{r}^{-d}}V _{r}(U) \rightarrow(b_{1} - a_{1})\cdots (b_{d} - a_{d}) = {\mathcal{L}}^{d}(U)\). This suggests that if t is a real number, then the limit \(\lim\limits_{r\searrow 0} \frac{1} {{r}^{-t}}V _{r}(E)\) (if it exists) may be interpreted as the t-dimensional volume of E. Motivated by this, for a real number t, we therefore define the lower and upper t-dimensional Minkowski content of E by
If \({\underline{M}}^{t}(E) ={ \overline{M}}^{t}(E)\), i.e. if the limit \(\lim\limits_{r\searrow 0}\, \frac{1} {{r}^{-t}}\,V _{r}(E)\) exists, then we say the E is t Minkowski measurable, and we will denote the common value of \({\underline{M}}^{t}(E)\) and \({\overline{M}}^{t}(E)\) by M t(E), i.e. we will write
Of course, a set E may not be Minkowski measurable, i.e. the limit \(\lim\limits_{r\searrow 0}\, \frac{1} {{r}^{-t}}\,V _{r}(E)\) may not exist. In this case it is natural to study the limiting behaviour of “averages” of \(\frac{1} {{r}^{-t}}V _{r}(E)\). We therefore define the lower and upper average t-dimensional Minkowski content of E by
If \(\underline{M}_{\text{ ave}}^{t}(E) = \overline{M}_{\text{ ave}}^{t}(E)\), i.e. if the limit \(\lim\limits_{r\searrow 0} \frac{1} {-\log r}\int _{r}^{1} \frac{1} {{s}^{-t}}\,V _{s}(E)\,\frac{\mathrm{d}s} {s}\) exists, then we say the E is t average Minkowski measurable, and we will denote the common value of \(\underline{M}_{\text{ ave}}^{t}(E)\) and \(\overline{M}_{\text{ ave}}^{t}(E)\) by M ave t(E), i.e. we will write
While the Minkowski dimensions in many cases can be computed rigorously relatively easy, it is a notoriously difficult problem to compute the Minkowski content. In fact, it is only within the past 15 years that the Minkowski content of non-trivial examples has been computed. Indeed, using techniques from complex analysis, Lapidus and collaborators [29, 30] have computed the Minkowski content of certain self-similar subsets of the real line, and using ideas from the theory of Mercerian theorems, Falconer [11] has obtained similar results.
It is our intention to extend the notion of Minkowski volume V r (E) to multifractals and investigate the asymptotic behaviour of the corresponding multifractal Minkowski volume as r ↘ 0 for self-similar multifractals. In order to motivate our definitions we will now explain what the term “multifractal analysis” covers.
2 Multifractals
2.1 Multifractal Spectra
Distributions with widely varying intensity occur often in the physical sciences, for example, the spatial–temporal distribution of rainfall, the spatial distribution of oil and gas in the underground, the distribution of galaxies in the universe, the dissipation of energy in a highly turbulent fluid flow and the occupation measure on strange attractors. Such distributions are called multifractals and have recently been the focus of much attention in the physics literature.
Figure 1 shows a typical multifractal, i.e. a measure with widely varying intensity. Dark regions have high concentration of mass and light regions have low concentration of mass. For a Borel measure μ on a ℝ d and a positive number α, let us consider the set Δ μ(α) of those points x in ℝ d for which the measure μ(B(x, r)) of the ball B(x, r) with centre x and radius r behaves like r α for small r, i.e. the set
where supp μ denotes the support of the measure. If the intensity of the measure μ varies very widely, it may happen that the sets Δ μ(α) display a fractal-like character for a range of values of α. If this is the case, then the measure is called a multifractal measure or simply a multifractal, and it is natural to study the sizes of the sets Δ μ(α) as α varies. There are two approaches to this. We may consider the measure μ(Δ μ(α)) of the sets Δ μ(α) as α varies. This approach was adopted by Cutler in a series of papers [5–7] and leads to a “decomposition” of the measure into its α-dimensional components. However, typically the sets Δ μ(α) have zero μ measure except for a few exceptional values of α. Hence, the measure μ(Δ μ(α)) does in general not allow us to distinguish between the sets Δ μ(α). The other approach is to find the (fractal) dimension of Δ μ(α). In most examples of interest the set Δ μ(α) is dense in the support of μ for all values of α for which Δ μ(α) is non-empty, and thus
and
for all values of α for which Δ μ(α) ≠ ∅, where \(\underline{\dim }_{\text{ B}}\) and \(\overline{\dim }_{\text{ B}}\) denote the lower and upper box dimension, respectively. Box dimensions are thus in general of little use in discriminating between the size of the sets Δ μ(α). It is therefore more natural to study the Hausdorff dimension,
of the sets Δ μ(α) as a function of α where dim denotes the Hausdorff dimension. The function in Eq. (1) and similar functions are generically known as “the multifractal spectrum of μ”, “the singularity spectrum of μ” or “the spectrum of scaling indices”, and one of the main problems in multifractal analysis is to study these and related functions. The function f μ(α) was first explicitly defined by the physicists Halsey et al. in 1986 in their seminal paper [22]. The concepts underlying the above mentioned multifractal decompositions go back to two early papers by Mandelbrot [32, 33] from 1972 and 1974, respectively. Mandelbrot [32, 33] suggests that the bulk of intermittent dissipation of energy in a highly turbulent fluid flow occurs over a set of fractal dimension. The ideas introduced in [32, 33] were taken up by Frisch and Parisi [17] in 1985 and finally by Halsey et al. [22] in 1986. Of course, for many measures, the limit \(\lim\limits_{r\searrow 0}\frac{\log \mu (B(x,r))} {\log r}\) may fail to exist for all or many x, in which case we need to work with lower or upper limits as r tends to 0 and (perhaps) replace “ = α” in the definition of Δ μ(α) with “ ≤ α” or “ ≥ α”.
2.2 Renyi Dimensions
Based on a remarkable insight together with a clever heuristic argument Halsey et al. [22] suggest that the multifractal spectrum f μ(α) can be computed in the following way—known as the so-called “Multifractal Formalism” in the physics literature. The “Multifractal Formalism” involves the so-called Renyi dimensions which we will now define. Let μ be a Borel measure on ℝ d. For q ∈ ℝ and r > 0, we define the qth moment I μ, r q(E) of a subset E of ℝ d with respect to μ at scale r by
Next, the lower and upper Renyi dimensions of E with respect to μ are defined by
In particular, the Renyi dimensions of the support of μ play an important role in the statement of the “Multifractal Formalism”. For this reason it is useful to denote these dimensions by separate notation, and we therefore define the lower and upper Renyi spectra \(\underline{\tau }_{\mu }(q),\overline{\tau }_{\mu }(q) : \mathbb{R} \rightarrow[-\infty,\infty ]\) of μ by
2.3 The Multifractal Formalism
We can now state the “Multifractal Formalism”. Loosely speaking the “Multifractal Formalism” says the the multifractal spectrum f μ and the Renyi dimensions carry the same information. More precisely, the multifractal spectrum equals the Legendre transform of the Renyi dimensions. Before stating this formally, we remind the reader that if φ : ℝ → ℝ is a real-valued function, then the Legendre transform φ ∗ : ℝ → [ − ∞, ∞] of φ is defined by
The Multifractal Formalism: A Physics Folklore Theorem. The multifractal spectrum f μ of μ equals the Legendre transforms,s \(\underline{\tau }_{\mu }^{{\ast}}\) and \(\overline{\tau }_{\mu }^{{\ast}}\), of the Renyi dimensions, i.e.
for all α ≥ 0.
The “Multifractal Formalism” is a truly remarkable result: it states that the locally defined multifractal spectrum f μ can be computed in terms of the Legendre transforms of the globally defined moment scaling functions \(\underline{\tau }_{\mu }^{{\ast}}\) and \(\overline{\tau }_{\mu }^{{\ast}}\). There is apriori no reason to expect that the Legendre transforms of the moment scaling functions \(\underline{\tau }_{\mu }^{{\ast}}\) and \(\overline{\tau }_{\mu }^{{\ast}}\) should provide any information about the fractal dimension of the set of points x such that μ(B(x, r)) ≈ r α for r ≈ 0. In some sense the “Multifractal Formalism” is a genuine mystery.
During the past 20 years there has been an enormous interest in verifying the Multifractal Formalism and computing the multifractal spectra of measures in the mathematical literature. In the mid-1990s Cawley and Mauldin [3] and Arbeiter and Patzschke [1] verified the Multifractal Formalism for self-similar measures satisfying the open set condition (OSC), and within the last 10 years the multifractal spectra of various classes of measures in Euclidean space ℝ d exhibiting some degree of self-similarity have been computed rigorously, cf. the textbooks [12, 42] and the references therein.
3 Multifractal Tubes
3.1 Multifractal Tubes
Motivated by Lapidus and van Frankenhuysen investigations [29, 30] of tube formulas for fractal sets, it is natural to develop a theory of multifractal tube formulas for multifractal measures. In this section we will present a framework attempting to do this. As an example, we will also give a complete description of the asymptotic behaviour of the multifractal tube formulas for self-similar measures satisfying the Open Set Condition.
Multifractal tube formulas are defined as follows. First note that if r > 0 and E is a subset of ℝ d, then the Minkowski volume V r (E) is given by
where we have rewritten the Lebesgue measure ℒ d(B(E, r)) of B(E, r) as the integral ∫ B(E, r)dℒ d(x). Motivated by the Renyi dimensions (i.e. Eqs. (2) and (4)) and the above expression for V r (E), we now define the multifractal Minkowski volume as follows. Namely, let r > 0 and E be a subset of ℝ d. For real number q and a Borel measure μ on ℝ d, we now define the multifractal q Minkowski volume V μ, r q(E) of E with respect to the measure μ by
Note, that if q = 0, then the q multifractal Minkowski volume V μ, r q(E) reduces to the usual Minkowski volume, i.e.
The importance of the Renyi dimensions in multifractal analysis together with the formal resemblance between the multifractal Minkowski volume V μ, r q(E) and the moments I μ, r q(E) used in the definition the Renyi dimensions may be seen as a justification for calling the quantity V μ, r q(E) for the multifractal Minkowski volume; a further justification for this terminology will be proved below.
Using the multifractal Minkowski volume we can define multifractal Minkowski dimensions. For real number q and a Borel measure μ on ℝ d, we define the lower and upper multifractal q Minkowski dimension of E, by
Again we note the close similarity between the multifractal Minkowski dimensions and the Renyi dimensions. Indeed, the next proposition shows that this similarity is not merely a formal resemblance. In fact, for q ≥ 0, the multifractal Minkowski dimensions and the Renyi dimensions coincide. This clearly provides further justification for calling the quantity V μ, r q(E) for the multifractal Minkowski volume.
Proposition 1 ([38]).
Let μ be a Borel measure on ℝ d and E ⊆ ℝ d . If q ≥ 0, then
In particular, if q ≥ 0, then
Proof.
This follows easily from the definitions.
Having defined multifractal Minkowski dimensions, we also define multifractal Minkowski content and average multifractal Minkowski content. For real numbers q and t, we define the lower and upper (q, t)-dimensional multifractal Minkowski content of E with respect to μ by
If \(\underline{M}_{\mu }^{q,t}(E) = \overline{M}_{\mu }^{q,t}(E)\), i.e. if the limit \(\lim\limits_{r\searrow 0}\, \frac{1} {{r}^{-t}}\,V _{\mu,r}^{q}(E)\) exists, then we say the E is (q, t) multifractal Minkowski measurable with respect to μ, and we will denote the common value of \(\underline{M}_{\mu }^{q,t}(E)\) and \(\overline{M}_{\mu }^{q,t}(E)\) by M μ q, t(E), i.e. we will write
Of course, sets may not be multifractal Minkowski measurable, and it is therefore useful to introduce a suitable averaging procedure when computing the multifractal Minkowski content. Motivated by this we define the lower and upper (q, t)-dimensional average multifractal Minkowski content of E with respect to μ by
If \(\underline{M}_{\mu,\text{ ave}}^{q,t}(E) = \overline{M}_{\mu,\text{ ave}}^{q,t}(E)\), i.e. if the limit \(\lim\limits_{r\searrow 0} \frac{1} {-\log r}\int _{r}^{1} \frac{1} {{s}^{-t}}\,V _{\mu,s}^{q}(E)\,\frac{\mathrm{d}s} {s}\) exists, then we say the E is (q, t) average multifractal Minkowski measurable with respect to μ, and we will denote the common value of \(\underline{M}_{\mu,\text{ ave}}^{q,t}(E)\) and \(\overline{M}_{\mu,\text{ ave}}^{q,t}(E)\) by M μ, ave q, t(E), i.e. we will write
3.2 Multifractal Tubes of Self-similar Measures
As an example, we will now compute the multifractal Minkowski content of self-similar measures. We first recall the definition of self-similar measures. Let S i : ℝ d → ℝ d for i = 1, …, N be contracting similarities and let (p 1, …, p N ) be a probability vector. We denote the Lipschitz constant of S i by r i ∈ (0, 1). Let K and μ be the self-similar set associated with the list (S 1, …, S N ) and the self-similar measure associated with the list (S 1, …, S N , p 1, …, p N ), i.e. K is the unique non-empty compact subset of ℝ d such that
and μ the unique Borel probability measure on ℝ d such that
cf. [24]. We note that it is well-known that supp μ = K.
We will frequently assume that the list (S 1, …, S N ) satisfies certain “disjointness” conditions, viz the OSC or the strong separation condition (SSC) defined below.
There exists an open non-empty and bounded subset U of ℝ d with ∪ i S i U ⊆ U and S i U ∩ S j U = ∅ for all i, j with i ≠ j.
There exists an open non-empty and bounded subset U of ℝ d with ∪ i S i U ⊆ U and \(\overline{S_{i}U} \cap \overline{S_{j}U} = \varnothing \) for all i, j with i ≠ j.
Multifractal analysis of self-similar measures has attracted an enormous interest during the past 20 years. For example, using methods from ergodic theory, Peres and Solomyak [43] have recently shown that for any self-similar measure μ, the Renyi dimensions always exist, i.e. the limit \(\lim\limits_{r\searrow 0}\frac{\log I_{\mu,r}^{q}(K)} {-\log r}\) always exists regardless of whether or not the OSC is satisfied provided q ≥ 0. If in addition the OSC is satisfied, an explicit expression for the two limits \(\underline{\tau }_{\mu }(q) = \lim\inf\nolimits_{r\searrow 0}\frac{\log I_{\mu,r}^{q}(K)} {-\log r}\) and \(\overline{\tau }_{\mu }(q) = \lim\sup\nolimits_{r\searrow 0}\frac{\log I_{\mu,r}^{q}(K)} {-\log r}\) can be obtained. Indeed, Arbeiter and Patzschke [1] and Cawley and Mauldin [3] proved that if the OSC is satisfied, then
for q ∈ ℝ, where β(q) is defined by
Arbeiter and Patzschke [1] and Cawley and Mauldin [3] also verified the Multifractal Formalism for self-similar measures satisfying the OSC. Namely, in [1, 3], it is proved that if μ is a self-similar measure satisfying the OSC, then
for all α ≥ 0; recall, that the definition of the Legendre transform φ ∗ of a real-valued function φ : ℝ → ℝ is given in Sect. 2.3. We continue this line of investigation by computing the multifractal Minkowski dimensions and multifractal Minkowski content of self-similar measures satisfying various separation conditions. Firstly, we note that the multifractal Minkowski dimensions coincide with β(q). This is not a deep fact and is included mainly for completeness.
Theorem 1 ([38]).
Let K and μ be given by Eqs. (5) and (6). Fix q ∈ ℝ and assume that Condition (i) or Condition (ii) below is satisfied.
-
(i)
The OSC is satisfied and 0 ≤ q.
-
(ii)
The SSC is satisfied.
Then we have
for all q ∈ ℝ.
Proof.
As noted above, this is not a deep fact and follows from the definitions using standard arguments similar to those in [1] or Falconer’s textbook [12].
Next, we give a complete description of the asymptotic behaviour of the multifractal tube formulas for self-similar measures satisfying the Open Set Condition. In particular, we prove that if the set {logr 1 − 1, …, logr N − 1} is not contained in a discrete additive subgroup of ℝ, then K is (q, β(q)) multifractal Minkowski measurable with respect to μ, and if the set {logr 1 − 1, …, logr N − 1} is contained in a discrete additive subgroup of ℝ, then K is (q, β(q)) average multifractal Minkowski measurable with respect to μ. This is the content of Theorem 2. The proof of Theorem 2 is based on Renewal Theory and will be discussed after the statement of the theorem.
Theorem 2 ([38]).
Let K and μ be given by Eqs. (5) and (6). Fix q ∈ ℝ and assume that Condition (i) or Condition (ii) below is satisfied.
-
(i)
The OSC is satisfied and 0 ≤ q.
-
(ii)
The SSC is satisfied.
Define λ q : (0,∞) → ℝ by
Then we have the following:
-
1.
If the set {log r 1 −1 ,…,log r N −1 } is not contained in a discrete additive subgroup of ℝ, then
$$\frac{1} {{r}^{-\beta (q)}}\,V _{\mu,r}^{q}(K) = c_{ q} + \varepsilon _{q}(r),$$where c q ∈ ℝ is the constant given by
$$c_{q} = \frac{1} {-\displaystyle\sum\limits_{i}p_{i}^{q}r_{i}^{\beta (q)}\log r_{i}}\,\displaystyle\int _{0}^{1}{r}^{\beta (q)}\lambda _{ q}(r)\,\frac{\mathrm{d}r} {r}$$and ε q (r) → 0 as r ↘ 0. In addition, K is (q,β(q)) multifractal Minkowski measurable with respect to μ:
$$\displaystyle\begin{array}{rcl} M_{\mu }^{q,\beta (q)}(K)& = \frac{1} {-\displaystyle\sum\limits_{i}p_{i}^{q}r_{i}^{\beta (q)}\log r_{i}}\,\displaystyle\int _{0}^{1}{r}^{\beta (q)}\lambda _{q}(r)\,\frac{\mathrm{d}r} {r} \,.& \\ & & \\ \end{array}$$ -
2.
If the set {log r 1 −1 ,…,log r N −1 } is contained in a discrete additive subgroup of ℝ and ⟨log r 1 −1 ,…,log r N −1 ⟩ = uℤ with u > 0, then
$$\frac{1} {{r}^{-\beta (q)}}\,V _{\mu,r}^{q}(K) = \pi _{ q}(r) + \varepsilon _{q}(r),$$where π q : (0,∞) → ℝ is the multiplicatively periodic function with period equal to e u , i.e.
$$\pi _{q}({e}^{u}r) = \pi _{ q}(r)$$for all r ∈ (0,∞), given by
$$\pi _{q}(r) = \frac{1} {-\displaystyle\sum\limits_{i}p_{i}^{q}r_{i}^{\beta (q)}\log r_{i}}\,\displaystyle\sum\limits_{n\in \mathbb{Z},r{e}^{nu}\leq 1}{(r{e}^{un})}^{\beta (q)}\,\lambda _{ q}(r{e}^{un})\,u$$and ε q (r) → 0 as r ↘ 0. In addition, K is (q,β(q)) average multifractal Minkowski measurable with respect to μ with
$$\displaystyle\begin{array}{rcl} M_{\mu,\text{ ave}}^{q,\beta (q)}(K)& = \frac{1} {-\displaystyle\sum\limits_{i}p_{i}^{q}r_{i}^{\beta (q)}\log r_{i}}\,\displaystyle\int _{0}^{1}{r}^{\beta (q)}\lambda _{q}(r)\,\frac{\mathrm{d}r} {r} \,.& \\ \end{array}$$
It is instructive to consider the special case q = 0. Indeed, since the multifractal Minkowski volume for q = 0 equals the usual Minkowski volume and since the (q, t)-dimensional multifractal Minkowski content for q = 0 equals the usual t-dimensional Minkowski content, the following corollary providing formulas for the asymptotic behaviour of the Minkowski volume of self-similar sets follows immediately from Theorem 2 by putting q = 0. This result was first obtained by Gatzouras [20] and later by Winter [51].
Corollary 1 ([20]).
Let K be given by Eqs. (5) and (6). Assume that the OSC is satisfied. Let t denote the common value of the box dimensions and the Hausdorff dimension of K, i.e. t is the unique number such that ∑ i r i t = 1 (see [12] or [24]). Define λ : (0,∞) → ℝ by
Then we have:
-
1.
If the set {log r 1 −1 ,…,log r N −1 } is not contained in a discrete additive subgroup of ℝ, then
$$\frac{1} {{r}^{-t}}\,V _{r}(K) = c + \varepsilon (r),$$where c ∈ ℝ is the constant given by
$$c = \frac{1} {-\displaystyle\sum\limits_{i}r_{i}^{t}\log r_{i}}\,\displaystyle\int _{0}^{1}{r}^{\beta (q)}\lambda (r)\,\frac{\mathrm{d}r} {r}$$and ε(r) → 0 as r ↘ 0. In addition, K is t Minkowski measurable with
$$\displaystyle\begin{array}{rcl}{ M}^{t}(K)& = \frac{1} {-\displaystyle\sum\limits_{i}r_{i}^{t}\log r_{i}}\,\displaystyle\int _{0}^{1}{r}^{t}\lambda (r)\,\frac{\mathrm{d}r} {r} \,.& \\ & & \\ \end{array}$$ -
2.
If the set {log r 1 −1 ,…,log r N −1 } is contained in a discrete additive subgroup of ℝ and ⟨log r 1 −1 ,…,log r N −1 ⟩ = uℤ with u > 0, then
$$\frac{1} {{r}^{-t}}\,V _{r}(K) = \pi (r) + \varepsilon (r),$$where π : (0,∞) → ℝ is the multiplicatively periodic function with period equal to e u , i.e.
$$\pi ({e}^{u}r) = \pi (r)$$for all r ∈ (0,∞), given by
$$\pi (r) = \frac{1} {-\displaystyle\sum\limits_{i}r_{i}^{t}\log r_{i}}\,\displaystyle\sum\limits_{n\in \mathbb{Z},r{e}^{nu}\leq 1}{(r{e}^{un})}^{t}\,\lambda (r{e}^{un})\,u$$and ε(r) → 0 as r ↘ 0. In addition, K is t average Minkowski measurable with
$$\displaystyle\begin{array}{rcl} M_{\text{ ave}}^{t}(K)& = \frac{1} {-\displaystyle\sum\limits_{i}r_{i}^{t}\log r_{i}}\,\displaystyle\int _{0}^{1}{r}^{t}\lambda (r)\,\frac{\mathrm{d}r} {r} \,.& \\ \end{array}$$
Proof.
Since \(\beta (0) = \underline{\dim }_{\text{ B}}(K) = \overline{\dim }_{\text{ B}}(K) =\dim (K) = t\) (see [12] or [24]) and V μ, r 0(K) = V r (K), this follows from Theorem 2 by putting q = 0.
3.3 How Does One Prove Theorem 2 on the Asymptotic Behaviour of Multifractal Tubes of Self-similar Measures?
How does one prove Theorem 2? The proof is based on Renewal Theory and, in particular, on a very recent renewal theorem by Levitin and Vassiliev [31]. Below we state Levitin and Vassiliev’s Renewal Theorem.
Theorem 3 (Levitin and Vassiliev’s Renewal Theorem [31]).
Let t 1 ,…,t N > 0 and p 1 ,…,p N > 0 with ∑ i p i = 1. Define the probability measure P by
Let λ,Λ : ℝ → ℝ be real-valued functions satisfying the following conditions:
-
1.
The function λ is piecewise continuous.
-
2.
There are constants c,k > 0 such that
$$\vert \lambda (t)\vert \leq c{e}^{-k\vert t\vert }$$for all t ∈ ℝ.
-
3.
We have
$$\Lambda (t) \rightarrow0\,\,\text{as t} \rightarrow -\infty.$$ -
4.
We have
$$\Lambda (t) =\displaystyle\int \Lambda (t - s)\,\mathrm{d}P(s) + \lambda (t)$$for all t ∈ ℝ.
Then the following holds:
-
1.
The non-arithmetic case: If {t 1 ,…,t N } is not contained in a discrete additive subgroup of ℝ, then
$$\Lambda (t) = c + \varepsilon (t)$$for all t ∈ ℝ where
$$c = \frac{1} {\displaystyle\int s\,\mathrm{d}P(s)}\displaystyle\int \lambda (s)\,\mathrm{d}s$$and ε(t) → 0 as t →∞. In addition,
$$\frac{1} {T}\displaystyle\int _{0}^{T}\Lambda (t)\,\mathrm{d}t\rightarrow c = \frac{1} {\displaystyle\int s\,\mathrm{d}P(s)}\displaystyle\int \lambda(s)\,\mathrm{d}s\,\,\text{as T} \rightarrow \infty.$$(9) -
2.
The arithmetic case: If {t 1 ,…,t N } is contained in a discrete additive subgroup of ℝ and ⟨t 1 ,…,t N ⟩ = uℤ with u > 0, then
$$\Lambda (t) = \pi (t) + \varepsilon (t)$$for all t ∈ ℝ where π : ℝ → ℝ is the periodic function with period equal to u, i.e.
$$\pi (t + u) = \pi (t)$$for all t ∈ ℝ, given by
$$\pi (t) = \frac{1} {\displaystyle\int s\,\mathrm{d}P(s)}u\displaystyle\sum\limits_{n\in \mathbb{Z}}\lambda (t + nu)$$and ε(t) → 0 as t →∞. In addition
$$\frac{1} {T}\displaystyle\int _{0}^{T}\Lambda (t)\,\mathrm{d}t \rightarrow c = \frac{1} {\displaystyle\int s\,\mathrm{d}P(s)}\displaystyle\int \lambda (s)\,\mathrm{d}s\,\,\text{as T} \rightarrow \infty.$$(10)
Proof.
All statements, except Eqs. (9) and (10), follow [31]. Below we prove Eqs. (9) and (10). Indeed, Eq. (9) follows immediately and Eq. (10) is proved as follows. Namely, since π is periodic with period equal to u, we conclude that
Next, observe that since | λ(t) | ≤ ce − k | t | for all t ∈ ℝ and ∫ce − k | t | dt < ∞, it follows from two applications of Lebesgue’s Dominated Convergence Theorem and the fact that π is periodic with period equal to u that
Finally, combining Eqs. (11) and (12) shows that
This completes the proof.
The key difference between Levitin and Vassiliev’s Renewal Theorem and the classical renewal theorem from Feller’s books [15, 16] is the conclusion in the arithmetic case. While the assumptions in the classical renewal theorem are weaker, the conclusion in the arithmetic case is also weaker. More precisely, in the arithmetic case, Levitin and Vassiliev’s Renewal Theorem says that the error-term ε(t) tends to 0 as t tends to infinity, i.e.
whereas the classical renewal theorem only allows us to conclude that the error-term ε(t) tends to 0 as t tends to infinity through “steps” of length u, i.e.
for all s ∈ ℝ.
Using Levitin and Vassiliev’s Renewal Theorem (Theorem 3) we can now prove Theorem 2. Below is a sketch of the proof.
3.3.1 Sketch of Proof of Theorem 2
In order to prove Theorem 2, we will apply Levitin and Vassiliev’s Renewal Theorem to the probability measure P = P q and the functions λ = λ q 0 and Λ = Λ q 0 defined below. First recall that λ q : (0, ∞) → ℝ is defined by
and define Λ q : (0, ∞) → ℝ by
We can now define the functions λ q 0, Λ q 0 : ℝ → ℝ. Namely, define λ q 0 : ℝ → ℝ by
and define Λ q 0 : ℝ → ℝ by
Finally, define the probability measure P q by
The crux of the matter now is to show that the probability measure P = P q and the functions λ = λ q 0 and Λ = Λ q 0 satisfy conditions (1)–(4) in Levitin and Vassiliev’s Renewal Theorem.
This is not difficult to show. Indeed, it follows by applying results from [34] that the function f : (0, ∞) → ℝ defined by f(r) = ∫ B(K, r)μ(B(x, r))q dℒ d(x) is continuous. This clearly implies that condition (1) is satisfied.
This is the difficult part of the proof and requires a number of very delicate estimates. In particular, the proof of condition (2) is based on the three key estimates below. The proofs of Key Estimate 2 and Key Estimate 3 are both highly technical and require a number very delicate estimates. Below we state the three key estimates. However, we will not prove the estimates. Instead the reader is referred to [38]. Before we can state the key estimates we need to introduce some notation. For i ≠ j and r > 0, let
Let Σ = { 1, …, N} and write
i.e. Σ m is the family of all strings i = i 1 …i m of length m with i j ∈ { 1, …, N}, and Σ ∗ is the family of all finite strings i = i 1 …i m with i j ∈ { 1, …, N}. For i ∈ Σ m, we write | i | = m for the length of i and for a positive integer n with n ≤ m, we write i | n = i 1 …i n for the truncation of i to the nth place. Also, for i = i 1 …i m , j = j 1 …j n ∈ Σ ∗ , let ij = i 1 …i m j 1 …j n denote the concatenation of i and j. Next, if i = i 1 …i m ∈ Σ ∗ , we will write
Also for brevity, put r min = min i = 1, …, N r i and r max = max i = 1, …, N r i .
For i, h ∈ Σ ∗ , we write i ≺ h if and only if i is a substring of h, i.e. if and only if there are strings s, t ∈ Σ ∗ such that h = sit. If (S 1, …, S n ) satisfies the OSC, then it follows from a result by Schief [46] that there exists an open, bounded and non-empty subset U of ℝ d with ∪ i S i U ⊆ U, S i U ∩ S j U = ∅ for all i, j with i ≠ j, and U ∩ K ≠ ∅. In particular, since U ∩ K ≠ ∅, we can choose l ∈ Σ ∗ such that
and the compactness of S l K now implies that d 0 = dist(S l K, ℝ d ∖ U) > 0. For brevity write D 0 = dK. Choose a positive integer M such that \(\frac{1} {r_{\max }^{M-1}} \geq2\,\frac{D_{0}} {d_{0}}\), and put \(a = \frac{1} {D_{0}} \, \frac{r_{\min }} {r_{\max }^{M+1}}\) and \(b = \frac{1} {D_{0}} \, \frac{1} {r_{\min }^{M+1}}\). Finally, define Z q : (0, ∞) → ℝ by
The three key estimates are now:
- Key Estimate 1.:
-
| λ q (r) | ≤ ∑ i ≠ j Q i, j q(r) for all 0 < r < r min.
- Key Estimate 2.:
-
There is a constantc > 0 such that
$$\displaystyle\sum\limits_{i\not =j}Q_{i,j}^{q}(r) \leq \left \{\begin{array}{@{}l@{\quad }l@{}} c\,{Z}^{q}(\tfrac{1} {2}r)\quad &\quad \mathit{forq < 0andallr > 0,}\\ \quad \\ \quad \\ \quad & \\ c\,{Z}^{q}(2r)\quad &\quad \mathit{for0 \leq qandallr > 0.}\end{array} \right.$$ - Key Estimate 3.:
-
There are constants k > 0 and γ(q) ∈ ℝ with γ(q) < β(q) such that
$${Z}^{q}(r) \leq k\,{r}^{-\gamma (q)}\quad \mathit{forallr > 0.}$$
Combining the three key estimates we can now prove that condition (2) is satisfied. Indeed, choose t 0 > 0 such that e − t < r min for t ≥ t 0. For t ≥ t 0, we now have
where \(c_{0} = c\,k\max ({(\frac{1} {2})}^{-\gamma (q)},{2}^{-\gamma (q)})\).
Next, since λ q 0 is piecewise continuous (by condition (1)), we conclude that λ q 0 is bounded on the compact interval [0, t 0], and we therefore deduce that there is a constant M 0 such that | λ q 0(t) | ≤ M 0 for all t ∈ [0, t 0]. It follows from this and Eq. (20) that
for all t ≥ 0.
Inequality Eq. (21) and the fact that λ q 0(t) = 0 for all t < 0 now prove that condition (2) is satisfied.
This follows trivially from the fact that Λ q 0(t) = 0 for all t < 0.
Indeed, it follows immediately from the definitions of λ q 0, Λ q 0 and P q that
for all t ∈ ℝ. This proves that condition (4) is satisfied.
Since conditions (1)–(4) are satisfied, Levitin and Vassiliev’s Renewal Theorem can now be applied to the probability measure P = P q and the functions λ = λ q 0 and Λ = Λ q 0. We divide the proof into two cases.
Case 1.
If {log r 1 −1 ,…,log r N −1 } is not contained in a discrete additive subgroup of ℝ. If {logr 1 − 1, …, logr N − 1} is not contained in a discrete additive subgroup of ℝ, then Levitin and Vassiliev’s Renewal Theorem implies that
where c q ∈ ℝ is the constant given by
and
In particular, we have
where ε q (r) = ε q 0(log 1 {r}) → 0 as r ↘ 0.
Finally, it follows from Eq. (22) that
This completes the proof of Theorem 2 in Case 1.
Case 2.
If {log r 1 −1 ,…,log r N −1 } is contained in a discrete additive subgroup of ℝ. If {logr 1 − 1, …, logr N − 1} is contained in a discrete additive subgroup of ℝ and ⟨t 1, …, t N ⟩ = uℤ with u > 0, then Levitin and Vassiliev’s Renewal Theorem implies that
where π q 0 : ℝ → ℝ is the function given by
and
Moreover, we have
for all t ∈ ℝ, i.e. π q 0 is additively periodic with period equal to u. In particular, we have
where π q : ℝ → ℝ is the function given by
and \(\varepsilon _{q}(r) = \varepsilon _{q}^{0}(\log \tfrac{1} {r}) \rightarrow0\) as r ↘ 0. Moreover, since π q 0 is additively periodic with period equal to u, we have
for all r > 0, i.e. π q is multiplicatively periodic with period equal to e u.
Finally it follows from Levitin and Vassiliev’s Renewal Theorem that
However, since
we now conclude that
This completes the proof of Theorem 2 in Case 2.
4 Multifractal Tube Measures
4.1 Multifractal Tube Measures
The statement in Theorem 2 is a global one: it provides information about the limiting behaviour of the suitably normalized multifractal Minkowski volume
of the entire support K of μ as r ↘ 0. However, it is equally natural to ask for local versions of Theorem 2 describing the limiting behaviour of the normalized multifractal Minkowski volume
of (well-behaved) subsets E of the support of μ as r ↘ 0. In order to address this question, we now introduce multifractal tube measures. A further motivation for introducing multifractal tube measures comes from convex geometry and will be discussed below.
The multifractal tube measures are defined as follows. Fix a Borel measure μ on ℝ d and r > 0. For a real number q, we define the multifractal Minkowski tube measure ℐ μ, r q by
for Borel subsets E of ℝ d. Of course, the measures ℐ μ, r q will, in general, not converge weakly as r ↘ 0 (indeed, this is clear since Theorem 2 shows that, in general, ℐ μ, r q(ℝ d) = V μ, r q(K) does not converge as r ↘ 0). Hence in order to ensure weak convergence of ℐ μ, r q as r ↘ 0 it is necessary to normalize the measures ℐ μ, r q. There are two natural ways to normalized. Firstly we can normalize by volume. More precisely, we define the volume normalized multifractal tube measure \(\mathcal{V}_{\mu,r}^{q}\) by
Secondly, we can normalize by scaling. More precisely, we defined the lower and upper scaling normalized multifractal tube measures \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) by
It is instructive to consider the particular case q = 0. To discuss this case we first make the following definition. Namely, if U is a closed subset of ℝ d and r > 0, the parallel volume measure V U, r of U is defined by
see, for example, the texts [21, 35, 48]. We now note that if q = 0 and μ is any Borel measure with supp μ = U, then the volume normalized multifractal tube measure \(\mathcal{V}_{\mu,r}^{q}\) simplifies to
This observation provides a further motivation for introducing multifractal tube measures. Namely, the measure \(\mathcal{V}_{\mu,r}^{0}(E) = \text{ V}_{U,r}(E)\) is closely related to the notion of curvature measures in convex geometry. Curvature measures were introduced in the 1950s and are now recognized as a very powerful tool for analysing geometric properties of convex sets; see [21, 35, 48]. Indeed, if U is a closed convex subset of ℝ d with non-empty interior and l = 0, 1, 2, …, d, then it is possible to define the lth order curvature measure V U l associated with U. Each curvature measure V U l is defined as the weak limit V U l = lim r ↘ 0 V U, r l of a certain family ( V U, r l ) r > 0 of measures. While we will not provide the reader with the definition of the measures V U, r l for a general integer l = 0, 1, 2, …, d (instead the interested reader can find the definition in previously mentioned texts [21, 35, 48]), we do note that if l = d, then V U, r d = V U, r . In particular, the d-th order curvature measure V U d is defined by
where lim denotes the limit with respect to the weak topology. This and the fact that \(\mathcal{V}_{\mu,r}^{0} = \text{ V}_{U,r}\) show that the weak limit
(if it exists) may be viewed as a dth order multifractal curvature measure and the study of multifractal tube measures can therefore be seen as a first attempt to create a theory of multifractal curvatures.
It is, of course, also possible to define versions of the parallel volume measure analogous to \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\underline{\mathcal{S}}_{\mu,r}^{q}\). Indeed, if U is a closed subset of ℝ d and r > 0, we define the lower and upper scaling parallel volume measures \(\underline{\text{ S}}_{U,r}\) and \(\overline{\text{ S}}_{U,r}\) of U by
recall that \(\underline{\dim }_{\text{ M}}\) and \(\overline{\dim }_{\text{ M}}\) denote the lower and upper Minkowski dimension, respectively. As above, we note that if q = 0 and μ is any probability measure with supp μ = U, then the scaling normalized multifractal tube measures \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\underline{\mathcal{S}}_{\mu,r}^{q}\) simplify to
4.2 Multifractal Tube Measures of Self-similar Measures
For self-similar measures μ satisfying the OSC, we will now investigate the existence of the weak limits of the multifractal tube measures \(\mathcal{V}_{\mu,r}^{q}\), \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) as r ↘ 0. In fact, in many cases, these limits exist and equal (the suitably) normalized multifractal Hausdorff measure restricted to the support of μ.
We start by recalling the definition of the multifractal Hausdorff measure. In an attempt to develop a general theoretical framework for studying the multifractal structure of Borel measures, Olsen [36], Pesin [41] and Peyrière [44] introduced a family of measures {ℋ μ q, t∣q, t ∈ ℝ} based on certain generalizations of the Hausdorff measure. The measures ℋ μ q, t have subsequently been investigated further by a large number of authors, including [4, 8, 9, 23, 37, 39, 40, 45]. Let E ⊆ ℝ d and δ > 0. A countable family \(\mathcal{B} = (B(x_{i},r_{i}))_{i}\) of closed balls in ℝ d is called a centred δ-covering of E if E ⊆ ∪ i B(x i , r i ), x i ∈ E and 0 < r i < δ for all i. For E ⊆ ℝ d, q, t ∈ ℝ and δ > 0 write
It follows from [36] that ℋ μ q, t is a measure on the family of Borel subsets of ℝ d. The measure ℋ μ q, t is, of course, a multifractal generalization of the centred Hausdorff measure. In fact, it is easily seen that if t ≥ 0, then 2 − t ℋ μ 0, t ≤ ℋ t ≤ ℋ μ 0, t where ℋ t denotes the t-dimensional Hausdorff measure. It is also easily seen that the measure ℋ μ q, t in the usual way assign a dimension to each subset E of ℝ d (cf. [36]): there exists a unique number dimμ q(E) ∈ [ − ∞, ∞] such that
The number dimμ q(E) is an obvious multifractal analogue of the Hausdorff dimension dim(E) of E. In fact, it follows immediately from the definitions that dim(E) = dimμ 0(E). One of the main importances of the multifractal Hausdorff measure ℋ μ q, t is its connection with the multifractal spectrum of μ. Indeed, if we define the dimension function b μ : ℝ → [ − ∞, ∞] by
then it follows from [36] that the multifractal spectrum f μ of μ (cf. Eq. (1)) is bounded above by the Legendre transform b μ ∗ of b μ, i.e.
for all α ≥ 0, cf. [36]; recall, that the definition of the Legendre transform φ ∗ of a real-valued function φ : ℝ → ℝ is given in Sect. 2.3. This inequality may be viewed as a rigorous version of the “Multifractal Formalism”. Furthermore, for many natural families of measure we have f μ(α) = b μ ∗ (α) for all α ≥ 0, cf. [4, 8, 9, 36, 37].
We can now explicitly identify the weak limits of the multifractal tube measures \(\mathcal{V}_{\mu,r}^{q}\), \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) as r ↘ 0 for self-similar measures μ. The first result shows that the weak limit of \(\mathcal{V}_{\mu,r}^{q}\) (as r ↘ 0) always exists and equals the normalized multifractal Hausdorff measure.
Theorem 4 ([38]).
Let K and μ be given by Eqs. (5) and (6). Fix q ∈ ℝ and assume that Condition (i) or Condition (ii) below is satisfied.
-
(i)
The OSC is satisfied and 0 ≤ q.
-
(ii)
The SSC is satisfied.
Then we have
Next, we study the limiting behaviour of \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) as r ↘ 0 for self-similar measures μ. Contrary to Theorem 4, the weak limits of \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) as r ↘ 0 may not exist. Indeed, if the set {logr 1 − 1, …, logr N − 1} is contained in a discrete additive subgroup of ℝ, then the weak limits of \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) as r ↘ 0 do not necessarily exist; however, the weak limits of certain averages of \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) exist and equal a multiple of the normalized multifractal Hausdorff measure. On the other hand, if the set {logr 1 − 1, …, logr N − 1} is not contained in a discrete additive subgroup of ℝ, then the weak limits of \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) as r ↘ 0 always exist and, as above, they equal a multiple of the normalized multifractal Hausdorff measure.
Theorem 5 ([38]).
Let K and μ be given by Eqs. (5) and (6). Fix q ∈ ℝ and assume that Condition (i) or Condition (ii) below is satisfied.
-
(i)
The OSC is satisfied and 0 ≤ q.
-
(ii)
The SSC is satisfied.
Then the following holds:
-
(1)
We have
$$\underline{\mathcal{S}}_{\mu,r}^{q} = \overline{\mathcal{S}}_{ \mu,r}^{q} = \frac{1} {{r}^{-\beta (q)}}\,\,\mathcal{I}_{\mu,r}^{q}\,.$$
Write \(\mathcal{S}_{\mu,r}^{q}\) for the common value of \(\underline{\mathcal{S}}_{\mu,r}^{q}\) and \(\overline{\mathcal{S}}_{\mu,r}^{q}\) , i.e. write
Also, write
-
(2)
If the set {log r 1 −1 ,…,log r N −1 } is not contained in a discrete additive subgroup of ℝ, then
$$\displaystyle\begin{array}{rcl} \mathcal{S}_{\mu,r}^{q}\,& \rightarrow \, M_{ \mu }^{q,\beta (q)}(K)\,\, \frac{1} {\mathcal{H}_{\mu }^{q,\beta (q)}(K)}\,\,\mathcal{H}_{\mu }^{q,\beta (q)}\llcorner K\qquad \text{weakly,} & \\ & & \\ \mathcal{S}_{\mu,r,\text{ ave}}^{q}\,& \rightarrow \, M_{ \mu,\text{ ave}}^{q,\beta (q)}(K)\,\, \frac{1} {\mathcal{H}_{\mu }^{q,\beta (q)}(K)}\,\,\mathcal{H}_{\mu }^{q,\beta (q)}\llcorner K\qquad \text{weakly;}& \\ \end{array}$$recall that K is (q,β(q)) multifractal Minkowski measurable with respect to μ and (q,β(q)) average multifractal Minkowski measurable with respect to μ by Theorem 2 and the multifractal Minkowski content M μ q,β(q) (K) and the average multifractal Minkowski content M μ, ave q,β(q) (K) are therefore well defined.
-
(3)
If the set {log r 1 −1 ,…,log r N −1 } is contained in a discrete additive subgroup of ℝ, then
$$\displaystyle\begin{array}{rcl} \mathcal{S}_{\mu,r,\text{ ave}}^{q}\,& \rightarrow \, M_{ \mu,\text{ ave}}^{q,\beta (q)}(K)\,\, \frac{1} {\mathcal{H}_{\mu }^{q,\beta (q)}(K)}\,\,\mathcal{H}_{\mu }^{q,\beta (q)}\llcorner K\qquad \text{weakly;}& \\ \end{array}$$recall that K is (q,β(q)) average multifractal Minkowski measurable with respect to μ by Theorem 2 and the average multifractal Minkowski content M μ, ave q,β(q) (K) is therefore well defined.
As with Theorem 2, it is instructive to consider the special case q = 0. Indeed, we note (cf. Eq. (23)) that
i.e. \(\mathcal{V}_{\mu,r}^{0}\) equals the normalized parallel body measure V K, r . Also, writing t for the common value of the box dimensions and Hausdorff dimension of K, we note [see Eq. (25)] that
i.e. \(\underline{\mathcal{S}}_{\mu,r}^{0}\) and \(\overline{\mathcal{S}}_{\mu,r}^{0}\) equal the scaling parallel body measures \(\underline{\text{ S}}_{K,r}\) and \(\overline{\text{ S}}_{K,r}\). The following corollaries therefore follow immediately from Theorem 2, Theorems 1 and 2 by putting q = 0. These results were first obtained by Winter in his doctoral dissertation [51].
Corollary 2 ([51]).
Let K be given by Eq. (5). Assume that the OSC is satisfied. Let t denote the common value of the box dimensions and the Hausdorff dimension of K, i.e. t is the unique number such that ∑ i r i t = 1. For r > 0, the normalized parallel body measure V K,r is given by
Then we have
Proof.
Since \(\mathcal{V}_{\mu,r}^{0} = \text{ V}_{K,r}\), this follows from Theorem 4 by putting q = 0.
Corollary 3 ([51]).
Let K be given by Eq. (5). Assume that the OSC is satisfied. Let t denote for the common value of the box dimensions and the Hausdorff dimension of K, i.e. t is the unique number such that ∑iri t = 1.
-
(1)
We have
$$\underline{\text{ S}}_{K,r}(E) = \overline{\text{ S}}_{K,r}(E) = \frac{1} {{r}^{-t+d}}\,{\mathcal{L}}^{d}(E \cap B(K,r))\,.$$
Write S K,r for the common value of \(\underline{\text{ S}}_{K,r}\) and \(\overline{\text{ S}}_{K,r}\) , i.e. write
Also, write
-
(2)
If the set {log r 1 −1 ,…,log r N −1 } is not contained in a discrete additive subgroup of ℝ, then
$$\displaystyle\begin{array}{rcl} \text{ S}_{K,r}\,& \rightarrow \,\,\, {M}^{t}(K)\,\,\, \frac{1} {{\mathcal{H}}^{t}(K)}\,\,{\mathcal{H}}^{t}\llcorner K\qquad \text{weakly,} & \\ \text{ S}_{K,r,\text{ ave}}\,& \rightarrow \, M_{\text{ ave}}^{t}(K)\,\, \frac{1} {{\mathcal{H}}^{t}(K)}\,\,{\mathcal{H}}^{t}\llcorner K\qquad \text{weakly;}& \\ \end{array}$$recall that K is t Minkowski measurable and t average Minkowski measurable by Corollary 1 and the Minkowski content M t (K) and the average Minkowski content M ave t (K) are therefore well defined.
-
(3)
If the set {log r 1 −1 ,…,log r N −1 } is contained in a discrete additive subgroup of ℝ then
$$\displaystyle\begin{array}{rcl} \text{ S}_{K,r,\text{ ave}}\,& \rightarrow \, M_{\text{ ave}}^{t}(K)\,\, \frac{1} {{\mathcal{H}}^{t}(K)}\,\,{\mathcal{H}}^{t}\llcorner K\qquad \text{weakly;}& \\ \end{array}$$recall that K is t average Minkowski measurable by Corollary 1 and the average multifractal Minkowski content M ave t (K) is therefore well defined.
Proof.
Since \(\underline{\mathcal{S}}_{\mu,r}^{0} = \overline{\mathcal{S}}_{\mu,r}^{0} = \text{ S}_{K,r}\), this follows from Theorem 5 by putting q = 0.
In Sect. 4.1 it was suggested that one motivation for introducing the multifractal tube measures \(\mathcal{V}_{\mu,r}^{q}\) is that the limiting behaviour of \(\mathcal{V}_{\mu,r}^{q}\) may be viewed as providing a local version of Theorem 2. Namely, Theorem 2 describes the limiting behaviour of \(\frac{1} {{r}^{-\beta (q)}} V _{\mu,r}^{q}(K)\) as r ↘ 0, whereas Theorem 4 provides information about the the limiting behaviour of \(\frac{1} {{r}^{-\beta (q)}} V _{\mu,r}^{q}(E)\) as r ↘ 0 for “well-behaved” subsets E of K. The viewpoint is made precise in the next corollary. Below we use the following notation, namely, if X is a metric space and E ⊆ X, then we will denote the the boundary of E in X by ∂E.
Corollary 4.
Let K and μ be given by Eqs. (5) and (6). Fix q ∈ ℝ and assume that Condition (i) or Condition (ii) below is satisfied.
-
(i)
The OSC is satisfied and 0 ≤ q.
-
(ii)
The SSC is satisfied.
Let E ⊆ ℝ d be a Borel set with:
-
1.
ℋ μ q,β(q) (E ∩ K) > 0
-
2.
ℋ μ q,β(q) (∂E ∩ K) = 0
-
3.
E ∩ B(K,r) = B(E ∩ K,r) for r small enough
(Observe that, for example, the set E = ℝ d satisfies the above conditions, and if K = L ∪ M with dist (L,M) > 0 and ℋ μ q,β(q) (L) > 0 and 0 < δ < dist (L,M), then the set E = B(L,δ) satisfies the above conditions.)
Then we have the following:
-
1.
If the set {log r 1 −1 ,…,log r N −1 } is not contained in a discrete additive subgroup of ℝ, then E ∩ K is (q,β(q)) multifractal Minkowski measurable with respect to μ with
$$M_{\mu }^{q,\beta (q)}(E \cap K) = M_{ \mu }^{q,\beta (q)}(K)\,\,\frac{\mathcal{H}_{\mu }^{q,\beta (q)}(E \cap K)} {\mathcal{H}_{\mu }^{q,\beta (q)}(K)} \,;$$recall that K is (q,β(q)) average multifractal Minkowski measurable with respect to μ by Theorem 2 and the multifractal Minkowski content M μ q,β(q) (K) is therefore well defined.
-
2.
If the set {log r 1 −1 ,…,log r N −1 } is contained in a discrete additive subgroup of ℝ, then E ∩ K is (q,β(q)) average multifractal Minkowski measurable with respect to μ with
$$M_{\mu,\text{ ave}}^{q,\beta (q)}(E \cap K) = M_{ \mu,\text{ ave}}^{q,\beta (q)}(K)\,\,\frac{\mathcal{H}_{\mu }^{q,\beta (q)}(E \cap K)} {\mathcal{H}_{\mu }^{q,\beta (q)}(K)} \,;$$recall that K is (q,β(q)) average multifractal Minkowski measurable with respect to μ by Theorem 2 and the average multifractal Minkowski content M μ, ave q,β(q) (K) is therefore well defined.
Proof.
This follows immediately from Theorem 5 since the condition E ∩ B(K, r) = B(E ∩ K, r) implies that
Note that Corollary 4 is a genuine extension of Theorem 2: namely, if we let E = K in Corollary 4, then Corollary 4 simplifies to Theorem 2.
References
Arbeiter, M., Patzschke, N.: Random self-similar multifractals. Math. Nachr. 181, 5–42 (1996)
Berger, M., Gostiaux, B.: Differential Geometry: Manifolds, Curves and Surfaces. Springer, Berlin (1988)
Cawley, R., Mauldin, R.D.: Multifractal decomposition of Moran fractals. Adv. Math. 92, 196–236 (1992)
Cole, J.: The Geometry of Graph Directed Self-Conformal Multifractals. Ph.D. Thesis, University of St. Andrews, Scotland (1998)
Cutler, C.D.: The Hausdorff distribution of finite measures in Euclidean space. Can. J. Math. 38, 1459–1484 (1986)
Cutler, C.D.: Connecting ergodicity and dimension in dynamical systems. Ergod. Theor. Dyn. Syst. 10, 451–462 (1990)
Cutler, C.D.: Measure disintegrations with respect to σ-stable monotone indices and pointwise representation of packing dimension. Proceedings of the 1990 Measure Theory Conference at Oberwolfach. Supplemento Ai Rendiconti del Circolo Mathematico di Palermo, Ser. II, No. 28, pp. 319–340 (1992)
Das, M.: Local properties of self-similar measures. Illinois Math. J. 42, 313–332 (1998)
Das, M.: Hausdorff measures, dimensions and mutual singularity. Trans. Amer. Math. Soc. 357, 4249–4268 (2005)
Falconer, K.J.: Fractal Geometry — Mathematical Foundations and Applications. Wiley, Chichester (1990)
Falconer, K.J.: On the Minkowski measurability of fractals. Proc. Am. Math. Soc. 123, 1115–1124 (1995)
Falconer, K.J.: Techniques in Fractal Geometry. Wiley, Chichester (1997)
Federer, H.: Curvature measures. Trans. Amer. Math. Soc. 93, 418–491 (1959)
Federer, H.: Geometric Measure Theory. Springer, New York (1969)
Feller, W.: An Introduction to Probability Theory and Its Applications, vol. 2, 2nd edn. Wiley, New York (1971)
Feller, W.: An Introduction to Probability Theory and its Applications, vol. 1, 3rd edn. Wiley, New York (1986)
Frisch, U., Parisi, G.: On the singularity structure of fully developed turbulence. Appendix to U. Frisch, Fully developed turbulence and intermittency, Turbulence and Predictability in Geophysical Fluid Dynamics and Climate Dynamics. Proceedings of the International School of Physics “Enrico Fermi”, Course LXXXVIII, pp. 84–88. North Holland, Amsterdam (1985)
Fu, J.H.G.: Tubular neighborhoods in Euclidean spaces. Duke Math. J. 52, 1025–1046 (1985)
Fu, J.H.G.: Curvature measures of subanalytic sets. Amer. Math. J. 116, 819–880 (1994)
Gatzouras, D.: Lacunarity of self-similar and stochastically self-similar sets. Trans. Amer. Math. Soc. 352, 1953–1983 (2000)
Gray, A.: Tubes. Progress in Mathematics, vol. 221. Birkhäuser, Boston (2004)
Halsey, T.C., Jensen, M.H., Kadanoff, L.P., Procaccia, I., Shraiman, B.J.: Fractal measures and their singularities: the characterization of strange sets. Phys. Rev. A 33, 1141–1151 (1986)
Hofbauer, F., Raith, P., Steinberger, T.: Multifractal dimensions for invariant subsets of piecewise monotonic interval maps Fund. Math. 176, 209–232 (2003)
Hutchinson, J.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Hug, D., Last, G., Weil, W.: A local Steiner-type formula for general closed sets and applications. Math. Z. 246, 237–272 (2004)
Lalley, S.: The packing and covering functions of some self-similar fractals. Indiana Univ. Math. J. 37, 699–710 (1988)
Lalley, S.: Renewal theorems in symbolic dynamics, with applications to geodesic flows, non-Euclidean tessellations and their fractal limits. Acta Math. 163, 1–55 (1989)
Lalley, S.: Probabilistic methods in certain counting problems of ergodic theory. Ergodic theory, symbolic dynamics, and hyperbolic spaces. In: Bedford, T., Keane, M., Caroline Series (eds.) Papers from the Workshop on Hyperbolic Geometry and Ergodic Theory held in Trieste, April 17–28, 1989, pp. 223–257. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York (1991)
Lapidus, M.L., van Frankenhuysen, M.: Fractal Geometry and Number Theory: Complex Dimensions of Fractal Strings and Zeros of Zeta Functions. Birkhäuser, Boston (2000)
Lapidus, M.L., van Frankenhuysen, M.: Fractal geometry, complex dimensions and zeta functions: geometry and spectra of fractal strings. Springer Monographs in Mathematics. Springer, New York (2006)
Levitin, M., Vassiliev, D.: Spectral asymptotics, renewal theorem, and the Berry conjecture for a class of fractals. Proc. London Math. Soc. 72, 188–214 (1996)
Mandelbrot, B.: Possible refinement of the log-normal hypothesis concerning the distribution of energy dissipation in intermittent turbulence. Statistical Models and Turbulence. Lecture Notes in Physics, vol. 12. Springer, New York (1972)
Mandelbrot, B.: Intermittent turbulence in self-similar cascades: divergence of high moments and dimension of the carrier. Fluid. J. Mech. 62, 331–358 (1974)
Mattila, P.: On the structure of self-similar fractals. Ann. Acad. Sci. Fenn. Ser. A I Math. 7, 189–195 (1982)
Morvan, J.-M.: Generalized Curvatures. Springer, Berlin (2008)
Olsen, L.: A multifractal formalism. Adv. Math. 116, 82–196 (1995)
Olsen, L.: Self-affine multifractal Sierpinski sponges in ℝ d Pacific J. Math. 183, 143–199 (1998)
Olsen, L.: Multifractal tubes. Preprint (2011)
O’Neil, T.: The multifractal spectrum of quasi self-similar measures. J. Math. Anal. Appl. 211, 233–257 (1997)
O’Neil, T.: The multifractal spectra of projected measures in Euclidean spaces. Chaos Solitons Fract. 11, 901–921 (2000)
Pesin, Y.: Dimension type characteristics for invariant sets of dynamical systems. Russian Math. Surveys 43, 111–151 (1988)
Pesin, Y.: Dimension theory in dynamical systems. Contemporary Views and Applications. The University of Chicago Press, Chicago (1997)
Peres, Y., Solomyak, B.: Existence of L q dimensions and entropy dimension for self-conformal measures Indiana Univ. Math. J. 49, 1603–1621 (2000)
Peyrière, J.: Multifractal measures. In: Proceedings of the NATO Advanced Study Institute on Probabilistic and Stochastic Methods in Analysis with Applications, Il Ciocco, pp. 175–186. NATO ASI Series, Series C: Mathematical and Physical Sciences, vol. 372, Kluwer, Dordrecht (1992)
Schechter, A.: On the centred Hausdorff measure. Bull. Lond. Math. Soc. 62, 843–851 (2000)
Schief, A.: Separation properties for self-similar sets. Proc. Amer. Math. Soc. 122, 111–115 (1994)
Schneider, R.: Curvature measures of convex bodies. Ann. Mat. Pura Appl. IV, 116, 101–134 (1978)
Schneider, R.: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (1993)
Stacho, L.L.: On curvature measures. Acta Sci. Math. 41, 191–207 (1979)
Weyl, H.: On the volume of tubes. Amer. Math, J. 61, 461–472 (1939)
Winter, S.: Curvature measures and fractals. Diss. Math. 453, 1–66 (2008)
Zähle, M.: Integral and current representation of Federer’s curvature measures. Arch. Math. 46, 557–567 (1986)
Zähle, M.: Curvatures and currents for unions of sets with positive reach. Geom. Dedicata 123, 155–171 (1987)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this chapter
Cite this chapter
Olsen, L. (2013). Multifractal Tubes. In: Barral, J., Seuret, S. (eds) Further Developments in Fractals and Related Fields. Trends in Mathematics. Birkhäuser, Boston. https://doi.org/10.1007/978-0-8176-8400-6_9
Download citation
DOI: https://doi.org/10.1007/978-0-8176-8400-6_9
Published:
Publisher Name: Birkhäuser, Boston
Print ISBN: 978-0-8176-8399-3
Online ISBN: 978-0-8176-8400-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)