Local Dimensions and Multifractal Spectra
Multifractals provide a complex and rich framework for understanding the intricate structures seen in various natural phenomena and mathematical constructs. Central to the study of multifractals are the concepts of local dimensions and multifractal spectra, particularly the functions f(α) and τ(q). These tools allow for a deep understanding of the variability in scaling behavior across different subsets of a fractal.
Local Dimensions
Local dimensions offer insights into the density of measures at specific points within a set or fractal structure.
Definition of Local Dimension
For a measure μ on Rn and a point x in its support, the local dimension at x, denoted as dimlocμ(x), is defined as:
dimlocμ(x)=ϵ→0+limlogϵlogμ(B(x;ϵ))
where B(x;ϵ) is a ball centered at x with radius ϵ. This dimension quantifies how the measure μ behaves as one zooms in around the point x.
f(α) and τ(q): Multifractal Spectra
The multifractal spectrum and the associated functions f(α) and τ(q) provide a framework for analyzing the spread and intensity of dimensions across a measure.
The τ(q) Function
Defined implicitly by the relationship:
i=1∑mpiqciτ(q)=1
where pi are probabilities and ci are scaling factors associated with the iterated function system defining the fractal, τ(q) explores how different moments of the measure scale.
Multifractal Spectrum f(α)
The function f(α), which is the Legendre transform of τ(q), describes the dimension of the sets of points for which the local dimension is α. It is given by:
f(α)=−∞<q<∞infτ(q)+αq
Key Properties
The following key properties hold:
- β(q) is a strictly convex function of q, meaning dq2d2β>0 for all q.
- The range of α for which f(α) is defined is [αmin,αmax], where
αmin=1⩽i⩽mminlogcilogpiandαmax=1⩽i⩽mmaxlogcilogpi.
- For each α∈[αmin,αmax], the graph of β(q) has a unique line of support with slope −α.
- f(α) is a concave function of α, meaning dα2d2f≤0.
- f(α) achieves its maximum at α(0), which corresponds to the Hausdorff dimension of the support of μ.
proof:
The proof is adpated from Falconer’s Fractal Geometry: Mathematical Foundations and Applications, p.287-288.
The convexity of β(q) is established by differentiating the defining equation for β(q) twice with respect to q:
i=1∑mpiqciβ(q)(logpi+dqdβlogci)=0,
i=1∑mpiqciβ(q)(dq2d2βlogci+(logpi+dqdβlogci)2)=0.
From the second derivative, since dq2d2β≥0, β(q) is convex. When the values logpi/logci are distinct, strict convexity (dq2d2β>0) is ensured.
The range [αmin,αmax] is derived from the limits q→−∞ and q→∞, which correspond to the minimum and maximum slopes of the graph of β(q), giving the values of αmin and αmax.
The concavity of f(α) follows from the fact that it is the Legendre transform of the convex function β(q). The second derivative of f(α) with respect to α can be written as:
dα2d2f=dαd(dαdq)=−dαdq.
Since q decreases as α increases, dαdq is negative, confirming the concavity.
Finally, the maximum of f(α) occurs when q=0, which corresponds to the Hausdorff dimension of the support of μ. The identity f(α(1))=α(1)=dimHμ confirms that f(α) touches the line f(α)=α at this point.
For more insights and detailed discussions on fractal geometry and multifractal analysis, consider exploring Kenneth Falconer’s work in-depth, which offers a plethora of information and mathematical rigor to these fascinating topics.