Abstract
We investigate fractal aspects of elliptical polynomial spirals; that is, planar spirals with differing polynomial rates of decay in the two axis directions. We give a full dimensional analysis of these spirals, computing explicitly their intermediate, box-counting and Assouad-type dimensions. An exciting feature is that these spirals exhibit two phase transitions within the Assouad spectrum, the first natural class of fractals known to have this property. We go on to use this dimensional information to obtain bounds for the Hölder regularity of maps that can deform one spiral into another, generalising the ‘winding problem’ of when spirals are bi-Lipschitz equivalent to a line segment. A novel feature is the use of fractional Brownian motion and dimension profiles to bound the Hölder exponents.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
An infinitely wound spiral is a subset of the complex plane defined by
where \(\phi :[1, \infty ) \rightarrow (0, \infty )\), known as a winding function, is continuous, strictly decreasing and tends to zero as \(t \rightarrow \infty \). Such forms arise throughout science and the natural world, from \(\alpha \)-models of fluid turbulence and vortex formation to the structure of galaxies [10, 17, 18, 20, 21]. The self-similarity present within these spirals makes them natural candidates for fractal analysis, and one may wish to examine the fine local structure present at the origin [3, 12]. This may be quantified via a suitable notion of fractal dimension such as box-counting (Minkowski) dimension [4, 23].
The isotropic classical definition (1.1) may be too restrictive for the modelling of general natural or abstract phenomena. Most naturally occurring spirals are anisotropic, developing in systems with inherent asymmetry, such as elliptical whirlpools forming in a flowing body of water. Another simple example arises in Newtonian mechanics: suppose a weight attached to an elastic band is rotated about an axis parallel to the ground. At high velocities the centripetal force dominates gravity and the orbit is circular. However, if the system is allowed to decelerate, the weight will follow a spiral trajectory that will become increasingly elongated in the vertical direction as the relative contribution of gravitational force grows.
To account for these scenarios, flexibility may be introduced by controlling the rate of contraction in each axis and introducing an additional functional parameter. Thus, for two winding functions \(\phi , \psi : [1, \infty ) \rightarrow (0, \infty )\), we define the associated elliptical spiral to be
Our results concern the family of elliptical polynomial spirals \(S_{p, q} = S(t^{-p}, t^{-q})\), where \(0 < p \le q\), although our arguments apply more generally. If \(p=q\), then we write \(S_{p, p} = S_p\) and (1.2) recovers the generalised hyperbolic spirals. Spirals such as these with polynomial winding functions typically arise in systems with an underlying dynamical process. On the other hand, spirals emerging from static settings are generally logarithmic with winding functions of the form \(\exp (-ct)\) for \(c > 0\) [12].
This paper serves two purposes. First, we offer a dimensional analysis of the family of elliptical polynomial spirals. This involves calculating the intermediate, box-counting (Minkowski) and Assouad-type dimensions. For a thorough introduction to these dimensions we direct the reader to [4, 11]. We begin, in Theorem 2.1, by considering the intermediate dimensions of Falconer, Fraser and Kempton [7], which we denote \(\dim _\theta \) for \(\theta \in [0, 1]\) and formally define in Sect. 3.2. Roughly speaking, these dimensions interpolate between the Hausdorff and upper box dimensions in the sense that
Intermediate dimensions have already seen surprising applications and properties, despite their recent introduction. For example, they have been used to establish relationships between the Hausdorff dimension of a set and the typical box dimension of fractional Brownian images [1] or orthogonal projections [2]. Other notable works include [16].
The second major notion of dimension interpolation, the Assouad spectrum of Fraser and Yu [13], lies between the upper box and Assouad dimensions and is defined in Sect. 3.3. One important feature of the spectrum of \(S_{p, q}\) is the presence of two points of non-differentiability, or phase transitions, see Theorem 2.6. The elliptical polynomial spirals are the first natural example to exhibit this behaviour, found before only as the product of delicate constructions.
Together, our results show the intermediate dimensions and the Assouad spectrum provide a continuous interpolation between the two extremes of the dimensional repertoire, as illustrated in Fig. 2.
The second focus is to apply the computed dimensions to determine permissible \(\alpha \) such that there may exist an \(\alpha \)-Hölder function \(f: S_{p,q} \rightarrow S_{r, s}\) that deforms one elliptical polynomial spiral into another. Recall a function \(f : X \rightarrow Y\) is \(\alpha \)-Hölder (\(0< \alpha \le 1\)) if there exists \(c > 0\) such that
Such maps may play a role within dynamical systems where spirals form and evolve over time. The Hölder exponent characterises the regularity of f by quantifying the degree of distortion at local scales. A number of related questions on regularity have been explored over the past few decades for different categories of spirals that arise from winding functions of various canonical forms. Katznelson, Nag and Sullivan show that the logarithmic spiral satisfies the bi-Lipschitz winding problem [15]. That is, it may be constructed as the image of a bi-Lipschitz homeomorphism on the unit interval. However, if \(\phi \) is decays sub-exponentially, i.e.
then no such bi-Lipschitz homeomorphism exists [9]. This led Fraser [12] to investigate Hölder solutions to the winding problem for generalised hyperbolic spirals.
Our methodology is based on the dimension profiles from [1, 2]. Of course, if there is an \(\alpha \)-Hölder map between \(S_{p, q}\) and \(S_{r, s}\) we immediately obtain
where \(\dim \) denotes Hausdorff or box-counting dimension, since
for \(E \subset \mathbb {R}^n\) and \(\alpha \)-Hölder \(f : \mathbb {R}^n \rightarrow \mathbb {R}^n\). However, the upper \(2\alpha \)-dimension profiles, denoted \(\overline{\dim }_{\,\theta }^{2\alpha } S_{p.q}\) and bounded above by \(\overline{\dim }_{B }S_{p,q}\), provide a strictly sharper bound on \(\alpha \) by use of the formula
derived from Falconer [5, Theorem 2.6] in the case \(\theta = 1\) and [1, Theorem 3.1] for \(\theta \in [0 ,1]\).
While this approach seems promising at first sight, the definition of the profiles is potential-theoretic and rather challenging to compute in the case of \(S_{p, q}\). This difficulty is circumvented by instead using the relationship to their fractional Brownian images given by Theorem [1, Theorem 3.4]. In fact, the method employed here may be used more generally to estimate the Hölder regularity of a function between any two sets for which the box or intermediate dimensions of the fractional Brownian images may be estimated from above.
2 Statement and Discussion of results
This section is divided into two parts. The first offers a complete analysis of the dimensions of \(S_{p, q}\), while the second considers applications to the Hölder regularity of maps that deform one elliptical polynomial spiral into another.
2.1 Dimensions
For \(0 < p \le q\), the Hausdorff and packing dimensions (see [4]) satisfy
due to the countable stability of these dimensions and the decomposition (3.1). We present the remaining dimensions of \(S_{p, q}\) in ascending order, beginning with the intermediate dimensions.
Theorem 2.1
Let \(\theta \in [0, 1]\) and \(0 < p \le q\). If \(p < 1\), then
Otherwise, if \(p \ge 1\), then
In proving Theorem 2.1, it is convenient to prove the upper bound in the wider context of images of elliptical spirals under Hölder transformations. As we shall see, this becomes especially relevant in Sect. 2.2 when considering fractional Brownian images and dimension profiles.
Lemma 2.2
Let \(0 < p \le q\), \(\theta \in [0, 1]\) and \(f : S_{p, q} \rightarrow \mathbb {R}^2\) be \(\alpha \)-Hölder \((0 < \alpha \le 1)\). If \(p < 1\), then
Otherwise, if \(p \ge 1\), then
In Sect. 4.1, we prove Lemma 2.2 using a direct covering argument. Theorem 2.1 may then be proven by applying Lemma 2.2 to the identity map, along with a lower bound that we obtain using the mass distribution principle for intermediate dimensions [7, Proposition 2.2]. By setting \(\theta = 1\), Theorem 2.1 also offers the box dimensions of elliptical polynomial spirals.
Corollary 2.3
Let \(0 < p \le q\). If \(0< p < 1\), then
Otherwise, if \(p \ge 1\), then
In the special case \(p = q\), Theorem 2.1 may be applied to determine the intermediate dimensions of generalised hyperbolic spirals, which have also been obtained independently by Tan [19].
Corollary 2.4
Let \(\theta \in [0, 1]\). If \(0< p < 1\), then
Otherwise, if \(p \ge 1\), then
A question of interest within the literature on intermediate dimensions has been the classification of sets that are continuous at \(\theta = 0\) [2, 7]. Theorem 2.1 confirms that the elliptical polynomial spirals are within this class.
Corollary 2.5
Let \(0 < p \le q\). The function \(\theta \rightarrow \dim _\theta S_{p, q}\) is continuous on [0, 1].
Moving on into the realm of Assouad-type dimensions, Theorem 2.6 shows that these spirals exhibit two phase transitions, that is, points where the spectrum is non-differentiable. Moreover, these phase transitions are genuine in the sense that their left and right derivatives are necessarily distinct.
Theorem 2.6
Let \(0 < p \le q\). If \(0< p < 1\), then
Otherwise, if \(p \ge 1\), then
The reader familiar with [12] may be surprised to see that the first phase transition occurs at \(p/(1+q)\), rather than \(p/(1+p)\). Indeed, this shows an unexpected and subtle interaction between the parameters. Theorem 2.6 also shows that elliptical polynomial spirals have maximal Assouad dimension.
Corollary 2.7
For all \(0 < p \le q\), \(\dim _{A }S_{p, q} = 2\).
Lastly, the relationship between elliptical polynomial spirals and concentric ellipses is worthy of comment. Let us define
where E(x, y) (\(x \ge y\)) denotes the ellipse centred on the origin with major axis of length 2x and minor axis of length 2y. See Figure 5. It is not surprising that \(C_{p, q}\) is dimensionally equivalent to \(S_{p, q}\) and our arguments apply equally well to such sets, since it is not too hard to show that the covering number of \(S_{p, q}^k\) is equal to that of \(E((2\pi k)^{-p}, (2\pi k)^{-q})\) up to multiplicative constants depending only on p and q.
Corollary 2.8
Theorems 2.1 and 2.6 hold with \(S_{p, q}\) replaced by \(C_{p, q}\).
Proof
This follows immediately upon observing that \(S_{p, q} \cap \{ z \in \mathbb {C} : \text {Re}(z) < 0\}\) is bi-Lipschitz equivalent to \(C_{p, q} \cap \{ z \in \mathbb {C} : \text {Re}(z) < 0\}\). \(\square \)
2.2 Applications
In this section we use dimension theoretic information to examine the regularity of Hölder mappings that deform one elliptical polynomial spiral into another. The behaviour of dimension under Hölder mappings has been widely studied, and offers insight into permissible \(\alpha \) for which there may exist an \(\alpha \)-Hölder map transforming a set X onto a set Y. For example, Corollary 2.3 allows us to glean such information from the box dimensions of \(S_{p, q}\) and \(S_{r, s}\).
Theorem 2.9
Let \(0 < p \le q\) and \(0 < r \le s\) with \(r \le 1\). Suppose \(f : S_{p, q} \rightarrow S_{r, s}\) is \(\alpha \)-Hölder. If \(p \le 1\), then
Otherwise, if \(p > 1\), then
Proof
Let \(p \le 1\). By the standard properties of box-counting dimensions, see [4, Chapter 2],
from which the first result follows. The case for \(p > 1\) is similar. \(\square \)
Theorem 2.9 provides a non-trivial bound on \(\alpha \) when \(\dim _{B }S_{r, s} > \dim _{B }S_{p, q}\). However, it is possible to do better using dimension profiles. Intuitively, the m-dimensional profile may be thought of as the dimension of an object when viewed from an m-dimensional viewpoint. In favour of brevity we omit a thorough introduction to dimension profiles, which may be found in [2]. In the following lemma, we bound the upper \(2\alpha \)-profiles of \(S_{p, q}\), denoted \(\overline{\dim }_{\,\theta }^{2\alpha } S_{p, q}\), by a quantity strictly less than the dimension for \(\theta > 0\), \(p < 1\) and \(1/2< \alpha < 1\). This is depicted in Figure 6.
Lemma 2.10
Let \(0 < p \le q\) and \(\theta \in [0, 1]\). If \(p \le 1\), then
Proof
Index-\(\alpha \) fractional Brownian motion is almost surely \((\alpha -\varepsilon )\)-Hölder for all \(\varepsilon > 0\) [14]. Hence, for each \(\varepsilon > 0\), Lemma 2.2 tells us that
almost surely. Then, letting \(\varepsilon \rightarrow 0\), by [1, Theorem 3.4] we have
almost surely. This concludes the proof, since \(\overline{\dim }_{\,\theta }^{2\alpha } S_{p, q}\) has no random component. \(\square \)
It is clear from Lemma 2.10 that we may produce a bound strictly superior to that from Theorem 2.9 for all parameter configurations with \(p < 1\) using dimension profiles. This improvement is illustrated in Fig. 7. For larger p, the two approaches are equivalent.
Theorem 2.11
Let \(0 < p \le q\) and \(0 < r \le s\). If \(p \le 1\), \(r \le 1\) and \(f : S_{p, q} \rightarrow S_{r, s}\) is \(\alpha \)-Hölder, then
Proof
The target bound is strictly greater than 1/2, and so we may assume without loss of generality that \(\alpha > 1/2\). The discrepancy between the profile and the dimension is maximised when \(\theta = 1\). Thus, set \(\theta = 1\), and observe from (1.4), Lemma 2.10 and Corollary 2.3 that
from which the result follows on re-expressing the inequality in terms of \(\alpha \). \(\square \)
Recall that if \(p=q\), then \(S_{p, p} = S_p\) is a generalised hyperbolic spiral. In this case, Theorem 2.11 offers an appealing upper bound on \(\alpha \).
Corollary 2.12
Let \(p > q\) and \(f : S_p \rightarrow S_q\) be \(\alpha \)-Hölder. If \(p \le 1\), then
Proof
Apply Theorem 2.11 to \(f : S_{p, p} \rightarrow S_{q, q}\). \(\square \)
In [12], it was seen that the Assouad spectrum provided the most information on Hölder exponents in the context of the winding problem (mapping a line segment to a spiral). However, it is easily verified that the same tool, [13, Theorem 4.11], provides only trivial information in our setting (mapping a spiral to a spiral). Conversely, in the context of the winding problem, dimension profiles provide no new information. Thus, it is interesting to see that the regimes are inverted in the context of spiral deformation, with the Assouad spectrum providing the least information and the dimension profiles the most.
3 Preliminaries
In preparation for the main proofs, we begin this subsection by setting notation and making a few technical geometric observations. Afterwards, in order to serve as a reference point, we formally define a selection of the dimension theoretic concepts. However, we assume basic familiarity with topics such as Hausdorff dimension and measure, and direct the reader to the classic text [4] for a thorough exposition on the fundamentals of dimension theory.
3.1 Decomposition, notation, and geometric observations
Dimension concerns limiting processes for which fixed multiplicative constants are typically of little consequence. Therefore, we often write \(x \lesssim y\) when it is clear there exists a uniform constant \(c > 0\) not depending on x and y such that \(x \le c y\). Naturally, we analogously define \(\gtrsim \), and write \(x \approx y\) if \(x \lesssim y\) and \(x \gtrsim y\). In circumstances where c is not uniform but depends on certain parameters, say \(t_1\), \(t_2, \dots \), we write \(\lesssim _{t_1,t_2,\dots }\), \(\gtrsim _{t_1,t_2,\dots }\) and \(\approx _{t_1,t_2,\dots }\) to make this clear.
A useful trick is to decompose \(S_{p, q}\) into a countable disjoint union of full turns. In particular, we define
where
Note that, for arithmetic convenience, we have removed the part of \(S_{p, q}\) corresponding to \(1< t < 2\pi \) in the definition (1.2) without meaningful loss of generality. The following geometric observation estimates the sum of the 1-dimensional Hausdorff measures, or length, over a collection of consecutive turns using standard number theoretic estimates.
Lemma 3.1
Let \(0 < p \le q\). For \(k \ge 1\),
Moreover, for sufficiently large integers \(N, M \in \mathbb {N}\) with \(M < N\),
Proof
By comparing \(\mathcal {H}^1(S_{p, q}^k)\) with the perimeter of a square of sidelength \(2(2k\pi )^{-p}\) centred on the origin we may deduce
from which (3.2) follows immediately. (3.3) may then be deduced in a standard way. Letting \(\lfloor t\rfloor \) denote the integer part of \(t \in \mathbb {R}\), observe that for \(p \ne 1\),
The case for \(p = 1\) follows similarly. \(\square \)
3.2 Intermediate dimensions
The intermediate dimensions are a family of dimensions, indexed by \(\theta \in [0, 1]\) and introduced in [7], that interpolate between the Hausdorff and upper box counting dimensions.
For bounded \(E \subset \mathbb {R}^n\) and \(0 < \theta \le 1\), the lower intermediate dimension of E may be defined as
and the corresponding upper intermediate dimension by
where |U| denotes the diameter of a set \(U \subset \mathbb {R}^n\). For \(\theta = 0\), define
while at \(\theta = 1\) it is clear that
If \(\underline{\dim }_{\,\theta }E = \overline{\dim }_{\,\theta }E\) we say the \(\theta \)-intermediate dimension of E exists and write \(\dim _\theta E\).
3.3 The Assouad spectrum and dimensions
The Assouad spectrum of F, a family of dimensions indexed by \(\theta \in [0, 1)\) and introduced in [13], interpolates between the upper box dimension and the quasi-Assouad dimension. Formally, it is the function \(\theta \mapsto \dim ^\theta _{\mathrm {A}} F\) defined by
where \(N_r(E)\) denotes the smallest number of hypercubes of sidelength r required to cover E. The Assouad dimension is defined similarly but considers \(N_r(B(x, R) \cap F)\) for arbitrary \(0< r < R\), thus removing the restriction on the precise relationship imposed by \(\theta \). The limit as \(\theta \rightarrow 1\) is known as the quasi-Assouad dimension and, as we shall see, in the context of spirals is equal to the Assouad dimension. For a detailed treatment of Assouad-type dimensions and their various applications we direct the reader to [11].
4 Proofs
4.1 Proof of Lemma 2.2
Let \(0 \le s \le 2\) and \(0< \delta < 1\). To aid readability when dealing with particularly complicated exponents, we write \(t= -\log \delta \).
If \(0 < \alpha \le 1/2\), the bound is trivial. Thus, hereafter assume \(1/2 < \alpha \le 1\).
Choose \(M \in \mathbb {N}\) to be the smallest integer satisfying
and note that by (3.2) from Lemma 3.1,
Let the uniform constant associated with the Hölder property of f be \(c > 0\). Then, for \(k \le M\), by considering the image of a cover satisfying (4.2) under f, we may obtain a cover of \(f(S_{p, q}^k)\) by at most
balls of diameter \(c2^{\alpha /2}\delta \). It follows that there exists a constant \(d_{c, p, \alpha }\), depending only on c, p and \(\alpha \), such that we may cover \(f(S_{p, q}^k)\) by
balls of diameter \(\delta \). The remaining region will be covered by balls of diameter \(\delta ^\theta \). For \(k > M\),
and such a rectangle may be covered by
balls of diameter \(\delta ^\theta \). Summing over this cover, that we denote \(\{U_i\}_i\), gives
If \(p \le 1\), then (4.1) and (4.3) imply
Hence, \( \sum |U_i|^s \rightarrow 0\) as \(\delta \rightarrow 0\) providing
and so
Note that if \(p = 1\) this bound equals \(1/\alpha \), as required. On the other hand, if \(p > 1\), then (4.3) implies
Clearly,
and so the left-hand term converges to 0 as \(\delta \rightarrow 0\) if
while the right hand term requires \(s > 1/\alpha \). Hence
\(\square \)
4.2 Proof of Theorem 2.1
The upper bound follows from Lemma 2.2 applied to the identity mapping. If \(p \ge 1\), the upper bound coincides with the trivial lower bound, and so it suffices to assume \(0< p < 1\). Let \(0< \delta < 1\), and define \(M \in \mathbb {N}\) to be the smallest integer satisfying
recalling \(t= -\log \delta \). Next, define
and construct a measure \(\mu _\delta \) supported on \(S_{p, q}^+\) by
where \(\mathcal {H}^1 \big |_{S_{p,q}^{+, k}}\) denotes the restriction of 1-dimensional Hausdorff measure to \(S_{p,q}^{+, k}\).
It is easy to see that
with the final calculation similar to that which obtained (4.4).
Next, in order to apply the mass distribution principle for intermediate dimensions, we must estimate \(\mu _\delta (U)\) for arbitrary Borel sets U satisfying \(\delta \le |U| \le \delta ^{\theta }\). First, observe that
for \(k > 1\), since \(p \le q\). Hence, up to multiplicative constants depending only on p and q, consecutive turns of the spiral are separated by at least
An application of the mean value theorem then gives
for \(2 \le k \le M\). It follows that a set U satisfying \(\delta \le |U| \le \delta ^{\theta }\) may intersect at most \(|U|M^{1+ q}\) turns that contain mass, up to a constant depending only on p and q. Moreover, for each turn it intersects, U may cover a region of mass at most \(\delta ^{s-1}\) multiplied by the circumference of a ball of diameter U. Hence
The lower bound then follows from the mass distribution principle for intermediate dimensions, see [7, Proposition 2.2]. \(\square \)
It is worth remarking that measures of a form similar to (4.5) could be useful for a wide range of sets E with a spiral structure. For example, we might consider the image of a spiral under a map f that distorts the local geometry while preserving the general form. If it were the case that \(\dim _{H }f(S_{p,q}^k) = t\) for all \(k \in \mathbb {N}\), then measures of the form
may be good candidates for use with [7, Proposition 2.2].
4.3 Proof of Theorem 2.6
If \(p = q\), then the result is [12, Theorem 4.4], so let \(0< p < q\). For each \(0< \delta < 1\), define \(L_p, L_q \in \mathbb {N}\) to be the largest integers such that
and
Geometrically, \(L_p\) and \(L_q\) are the maximal indices k, such that \(S_{p, q}^k\) is separated on the horizontal and vertical axes by at least \(\delta \), respectively. In addition, define the integers \(l_p\) and \(l_q\) to be the minimal k such that \(S_{p, q}^k\) intersects the ball \(B(0, \delta ^\theta )\) on the horizontal and vertical axes, respectively. In particular,
and
Throughout, we use the fact that
The ordering of \(L_p, L_q, l_p\) and \(l_q\) depends on \(\theta \), and gives rise to phase transitions within the spectrum. To determine the order based on a value of \(\theta \), first note that
for \(t \in \{p, q\}\). Then, for \(t \in \{p, q\}\), it follows from an application of the mean value theorem applied to \(f(x) = x^{-t}\) that
This, along with the fact \(L_p\) and \(L_q\) are the maximal integers satisfying (4.7) and (4.8), respectively, implies
It is immediate that \(l_p \gtrsim _{p, q} l_q\) and \(L_p \gtrsim _{p,q} L_q\) for all \(\theta \in [0, 1)\) since \(p < q\), but we must divide into cases to learn more. By continuity of the Assouad spectrum [13, Corollary 3.5] and [13, Corollary 3.6], it suffices to consider \(\theta \) in the ranges \(0 \le \theta < p/(1 + q)\) and \(p/(1 + q)< \theta < q/(1 + q)\). Throughout, we use the estimate
for all \(z \in \mathbb {C}\). This reduction in intuitively clear, since the origin is the densest part of the set \(S_{p, q}\) and can be shown via a similar argument to [12, Theorem 4.4], which covers the case \(p = q\). In particular, if \(|z| < 2\delta ^\theta \), then subsequent arguments with \(B(0, \delta ^\theta \)) are easily modified up to uniform constants since \(B(z,\delta ^\theta ) \subseteq B(0, 3\delta ^\theta )\). On the other hand, if \(|z| \ge 2\delta ^\theta \) and \( B(z, \delta ^\theta ) \cap S_{p, q}^k \ne \emptyset \) for some \(k \ge 1\), then \(k^{-p} \gtrsim \delta ^\theta \) or \(k^{-q} \gtrsim \delta ^\theta \), recalling the intersections of \(S_{p, q}^k\) with the horizontal and vertical axes are (up to constants) \(k^{-p}\) and \(k^{-q}\), respectively. Since \(p \le q\), both conditions hold if \(k \lesssim \delta ^{-\theta /p}\) and \(\delta < 1\). Summing over permissible \(k \ge 1\) implies
as in [12]. This is sufficient to prove (4.11), since the below proofs show
in all cases.
4.3.1 Case 1: suppose \(\frac{p}{1+q}< \theta < \frac{q}{1+q}\).
In order to simplify some geometric estimates, it is convenient to adopt an equivalent definition of the Assouad spectrum in this case. Specifically, we consider minimal coverings of the set \(D(0, \delta ^\theta ) \cap S_{p, q}\), where \(D(0, \delta ^\theta )\) is a square centred on the origin of sidelength \(2\delta ^\theta \) and orientated with the co-ordinate axes. By (4.9) and (4.10), for sufficiently small \(\delta > 0\),
For \(l_q \le k \le L_q\), the set \(S_{p, q}^k \cap D(0, \delta ^\theta )\) contains at least one arc A such that
and so
Turns in the range \(l_q \le k \le L_q\) are separated by at least \(\delta \) on the vertical and horizontal axes, and thus any square of sidelength \(\delta \) may intersect at most two of the corresponding arcs.
It follows that, recalling (4.9) and (4.10),
Hence
On the other hand, observe
and such a rectangle may be covered by
squares of sidelength \(\delta \). The remaining portion may be covered in a similar manner as in (4.12), and we conclude
4.3.2 Case 2: suppose \(0 \le \theta < \frac{p}{1+q}\).
By (4.9) and (4.10), for sufficiently small \(\delta > 0\),
with the gaps between the four integers \(L_p, L_q, l_p\) and \(l_q\) arbitrarily large. Then, for \(k = l_p + 1, \dots , L_q\), we have
while the turns in this region are separated by at least \(\delta \) on the horizontal and vertical axes. Therefore they should be covered individually by at least
squares of sidelength \(\delta \).
Hence
This sum may be estimated using Lemma 3.1. If \(p < 1\), then
On the other hand, if \(p = 1\), then
Finally, if \(p > 1\), then
In each case we obtain the desired lower bound.
For the upper bound, we consider a cover of three parts. First, cover turns indexed by \(k \ge L_q\) by covering the rectangle
by
squares of sidelength \(\delta \). The remaining two portions may then be covered as in (4.12) and (4.13). Hence
We now apply Lemma 3.1 in each case. If \(p < 1\), then
On the other hand, if \(p = 1\), then
Finally, if \(p > 1\), then
which completes the proof. \(\square \)
References
Burrell, S.A.: Dimensions of fractional Brownian images, J. Theor. Probab. (to appear), available at: arXiv:2002.03659
Burrell, S.A., Falconer, K.J., Fraser, J.M.: Projection theorems for intermediate dimensions. J. Fractal Geom. 8, 95–116 (2021)
Dupain, Y., France, M.Mendès., Tricot, C.: Dimensions des spirales. Bulletin de la S. M. F. 111, 193–201 (1983)
Falconer, K.J.: Fractal Geometry: Mathematical Foundations and Applications, 3rd edn. John Wiley & Sons, Hoboken, NJ (2014)
Falconer, K.J.: A capacity approach to box and packing dimensions of projections and other images. In: Analysis. Probability and Mathematical Physics on Fractals, pp. 1–19. World Scientific Publishing, Singapore (2020)
Falconer, K.J.: A capacity approach to box and packing dimensions of projections of sets and exceptional directions. J. Fractal Geom. 8, 1–26 (2021)
Falconer, K.J., Fraser, J.M., Kempton, T.: Intermediate dimensions. Math. Zeit. 296, 813–830 (2020)
Falconer, K.J., Howroyd, J.D.: Projection theorems for box and packing dimensions. Math. Proc. Cambridge Philos. Soc. 119, 269–286 (1997)
Fish, A., Paunescu, L.: Unwinding spirals 1. Methods App. Anal. 25, 225–232 (2018)
Foias, C., Holmb, D.D., Titi, E.S.: The Navier-Stokes-alpha model of fluid turbulence, Physica D, 505–519, (2001)
Fraser, J.M.: Assouad Dimension and Fractal Geometry, Cambridge University Press, Tracts in Mathematics Series, Series 222, (2021)
Fraser, J.M.: On Hölder solutions to the spiral winding problem. Nonlinearity 34, 3251–3270 (2021)
Fraser, J.M., Yu, H.: New dimension spectra: finer information on scaling and homogeneity. Adv. Math. 329, 273–328 (2018)
Kahane, J.P.: Some Random Series of Functions. Cambridge University Press, Cambridge (1985)
Katznelson, Y., Nag, S., Sullivan, D.: On conformal welding homeomorphisms associated to Jordan curves. Ann. Acad. Sci. Fenn. Math. 15, 293–306 (1990)
Kolossváry, I.: On the intermediate dimensions of Bedford-McMullen carpets, preprint, (2020), available at: arXiv:2006.14366
Mandelbrot, B.B.: The Fractal Geometry of Nature, Freeman, (1982)
Moffatt, H.K.: Spiral structures in turbulent flow, Wavelets, fractals, and Fourier transforms, Inst. Math. Appl. Conf. Ser. New Ser., Oxford Univ. Press, New York, 43, 317–324 (1993)
Tan, J.: On the intermediate dimensions of concentric spheres and related sets, in preparation, (2020)
Vassilicos, J.C.: Fractals in turbulence, Wavelets, fractals, and Fourier transforms, Inst. Math. Appl. Conf. Ser. New Ser., Oxford Univ. Press, New York, 43, 325–340 (1993)
Vassilicos, J.C., Hunt, J.C.R.: Fractal dimensions and spectra of interfaces with application to turbulence. Proc. Roy. Soc. London Ser. A 435, 505–534 (1991)
Xiao, Y.: Packing dimension of the image of fractional Brownian motion. Statist. Probab. Lett. 33, 379–387 (1997)
Žubrinić, D., Županović, V.: Box dimension of spiral trajectories of some vector fields in \(\mathbb{R}^{3}\). Qual. Theory Dyn. Syst. 6, 251–272 (2005)
Acknowledgements
SAB was supported by a Carnegie Trust PhD Scholarship (PHD060287) and LMS Early-Career Fellowship (ECF-1920-85). KJF and JMF were supported by an EPSRC Standard Grant (EP/R015104/1). JMF was also supported by a Leverhulme Trust Research Project Grant (RPG-2019-034). The authors would like to thank David Dritschel for helpful discussion on the physical applications of elliptical spirals.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H. Bruin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burrell, S.A., Falconer, K.J. & Fraser, J.M. The fractal structure of elliptical polynomial spirals. Monatsh Math 199, 1–22 (2022). https://doi.org/10.1007/s00605-022-01735-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-022-01735-9
Keywords
- Elliptical polynomial spiral
- Generalised hyperbolic spiral
- Box-counting dimension
- Assouad dimension
- Assouad spectrum
- Intermediate dimensions
- Hölder exponents
- Fractional Brownian motion