Abstract
Iterated function systems (IFSs) and their attractors have been central to the theory of fractal geometry almost from its inception. Moreover, contractivity of the functions in the IFS has been central to the theory of iterated functions systems. If the functions in the IFS are contractions, then the IFS is guaranteed to have a unique attractor. The converse question, does the existence of an attractor imply that the IFS is contractive, originates in a 1959 work by Bessaga which proves a converse to the contraction mapping theorem. Although a converse is true in that case, it is known that it does not always hold for an IFS. In general, there do exist IFSs with attractors and which are not contractive. However, in the context of IFSs in Euclidean space, this question has been open. In this paper we show that a highly non-contractive iterated function system in Euclidean space can have an attractor. In order to do that, we introduce the concept of an L-expansive map, i.e., a map that has Lipschitz constant strictly greater than one under any remetrization. This is necessitated by the absence of positively expansive maps on the interval.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A seminal result of Hutchinson [17] states that, if the functions in an iterated function system (IFS) F on a complete metric space are contractions, then F has a unique attractor. This paper concerns the converse: does the existence of a unique attractor of an IFS imply that the IFS is contractive? In particular, whether or not a highly non-contractive IFS on Euclidean space can possess a unique attractor was an open question. Classes of such IFSs, as well as particular examples, appear in Sects. 4, 5, and 6 of this paper. The remainder of this section contains definitions of all terms used above, a short history of results on the subject, and an overview of subsequent sections of the paper.
Let \((\mathbb {X},d)\) be a metric space. An iterated function system (IFS) is a set
of continuous functions from \(\mathbb {X}\) into itself. Throughout this paper we denote the n-fold composition of a function f with itself by \(f^{(n)}\). The Lipschitz constant of a function f is
A function \(f: \mathbb {X}\rightarrow \mathbb {X}\) is
-
(a)
A contraction with respect to d if \({\text {Lip}}_d(f)<1\);
-
(b)
Non-expansive with respect to d if \({\text {Lip}}_d(f) \le 1\);
-
(c)
L-expansive with respect to d if \({\text {Lip}}_d(f)>1\).
Definition 1
Two metrics on \(\mathbb {X}\) are equivalent if they induce the same topology on \(\mathbb {X}\). Given a metric space \((\mathbb {X},d)\), an IFS F on \(\mathbb {X}\) is contractive if there is an equivalent metric with respect to which all the functions in F are contractions. A function f on \((\mathbb {X},d)\) is L-expansive if f is L-expansive with respect to any metric \(d'\) on \(\mathbb {X}\) that is equivalent to d. An IFS F is L-expansive if all the functions in F are L-expansive. “L-expansive IFS" is what is meant by the informal phrase “highly non-contractive IFS" in the title of this paper.
If \(\mathbb {Y}\subset \mathbb {X}\) and \(f(\mathbb {Y})\subset \mathbb {Y}\), then f is said to be L-expansive on \(\mathbb {Y}\) if the restriction \(f_{\vert \mathbb {Y}}\) is L-expansive. If \(f(\mathbb {Y})\subset \mathbb {Y}\) for every \(f\in F\), then F is said to be L-expansive on \(\mathbb {Y}\), if all maps in F are L-expansive on \(\mathbb {Y}\). Clearly, if an IFS is L-expansive on \(\mathbb {Y}\subset \mathbb {X}\), then it is L-expansive.
Remark 1
The term “expansive” has a different meaning in dynamical systems theory. For a compact infinite metric space \(\mathbb {X}\), a continuous surjection \(f: \mathbb {X}\rightarrow \mathbb {X}\) is called positively expansive if there is a constant \(e>0\) such that if \(x\ne y\) then \(d(f^{(n)}(x), f^{(n)}(y))>e\) for some nonnegative integer n. Note that this condition is independent of the choice of equivalent metric on \(\mathbb {X}\). Furthermore, there are no positively expansive maps on a closed interval, see [2, Chap. 2.2], [26]. Note also that every positively expansive map is L-expansive but not vice versa. In this paper we are primarily interested in maps on Euclidean space. Since the notion of positively expansive maps is too restrictive in this setting, we introduced the broader notion of L-expansion.
For the collection \(\mathcal {K}(\mathbb {X})\) of non-empty compact subsets of \(\mathbb {X}\) and an IFS F on \(\mathbb {X}\), the classical Hutchinson operator \(F:\,{\mathcal {K}}(\mathbb {X})\rightarrow \mathcal {K}(\mathbb {X})\) is given by
By abuse of language, the same notation F is used for the IFS and for the Hutchinson operator; the meaning should be clear from the context. Furthermore, for simplicity we write F(x) instead of \(F(\{x\})\).
Denote the Hausdorff metric on \(\mathcal {K}(\mathbb {X})\) by \(h_d\). Convergence in \(\mathcal {K}(\mathbb {X})\) is always with respect to the Hausdorff metric. Note that equivalent metrics \(d,d'\) on \(\mathbb {X}\) lead to equivalent Hausdorff metrics \(h_{d},h_{d'}\) on \(\mathcal {K}(\mathbb {X})\).
Definition 2
A compact set A is the attractor of IFS F if
-
(invariance) \(F(A) = A\), and
-
(attraction) \(F^{(n)}(K) \rightarrow A\) for every \(K\in \mathcal {K}(\mathbb {X})\),
where \(F^{(n)}\) denotes the n-fold composition of F.
An iterated functions system, as a method for constructing fractals, was introduced by John Hutchinson [17] in 1981. In that paper appears the fundamental result that, if the functions in an IFS F on a complete metric space are contractions, then F has a unique attractor. Inquiry into a converse of Hutchinson’s theorem, asking whether contractivity is necessary for the existence of an IFS attactor, can be traced back to 1959, well before the notion of an IFS was introduced. The contraction mapping theorem, first stated by Stefan Banach [4], is a special case of Hutchinson’s theorem applied to an IFS consisting of a single function. A 1959 paper by C. Bessaga [10] was titled “On the converse of the Banach fixed-point principle." Subsequently, a slew of versions of a converse to Banach’s fixed point theorem appeared; see [11] for an extensive list of references.
For an IFS consisting of at least two functions, the first converse of Hutchinson’s theorem was proved for an affine IFS [3] (see also [24]). Specifically, if all the functions of an IFS F on \(\mathbb {R}^s\) are affine and F has an attractor, then F is contractive, although the equivalent metric on \(\mathbb {R}^s\), for which the functions in F are contractions, may not be the standard Euclidean metric. This result was followed by analogous converses for (1) IFSs consisting of projective transformations on n-dimensional real projective space [8] and (2) for IFSs consisting of Möbius transformations on the extended complex plane, equivalently the Riemann sphere [27]. Also, as proved in [5] and [25], if an attractor A exists and admits a suitable fibering structure (so that the single-valued coding map exists), then there is a remetrization of A making all the maps of the IFS weakly contractive, in particular non-expansive. In [22] the authors survey results on the existence of an attractor for IFSs that are, in various senses, weakly contractive.
The first counterexample to the converse of Hutchinson’s theorem probably appeared in the 2000 paper of Kameyama [18]. He introduces the notion of a topological self-similar set and asks whether there is a metric inducing the underlying topology such that the functions associated with the topological self similar set (IFS in the terminology of this paper) are contractions with respect to this metric. He proves that the answer to his question is “no" by providing an IFS consisting of two functions on an abstractly defined space.
Less abstract, more geometric counterexamples to the converse of Hutchinson’s theorem, have subsequently been found. In particular, an L-expansive IFS consisting of two functions on the circle with an attractor appears in [21]. See also [7, 19]. The following question, however, has gone unanswered up to now.
Question 1
Does there exist an L-expansive IFS on \(\mathbb {R}^s\) that has an attractor?
Question 1 is answered in this paper. As previously mentioned, any such IFS cannot be affine. In Sects. 4, 5, and 6 we provide classes of IFSs and concrete examples showing that there do exist L-expansive IFS on \(\mathbb {R}^s, \, s\ge 1\), possessing an attractor. Moreover, our examples are L-expansive on the attractor (see Definition 1), which means that the lack of contractivity is not artificially induced on the complement of the attractor. Section 4 contains results and examples in 1-dimensional Euclidean space, i.e., L-expansive IFSs on \(\mathbb {R}\) that have an attractor. Theorem 15 provides an example of an L-expansive IFS on \(\mathbb {R}^2\) whose attractor is the closed unit disk. Moreover, according to Theorem 16, every set in \(\mathbb {R}^2\) homeomorphic to a closed disk is the attractor of an L-expansive IFS. Theorem 10, Theorem 18 and Corollaries 19 and 20 provide methods to construct new L-expansive IFSs having an attractor from more basic ones. The attractor in Fig. 1 was obtained in this way (see Example 6).
The attractor of the L-expansive IFS of Example 6
Our Definition 1 of an L-expansive IFS is intended to capture the intuitive notion of a “highly non-contractive" IFS. It may be problematic to provide a stronger, yet useful, notion of “high non-contractivity". Specifically, in Sect. 7 it is shown that, for any IFS F with an attractor and such that \(Lip_d(f) < \infty \) for all \(f\in F\), the following is true: For any \(\epsilon >0\), there exists an equivalent metric \(d'\) such that \(Lip_{d'}(f) < 1+\epsilon \), and \(d'\) is complete provided d is complete.
2 L-expansive Functions
We begin with results that will be used to show that the IFSs in Sects. 4, 5, and 6 are L-expansive. The proof of the following lemma is routine.
Lemma 1
Let \(f:\mathbb {X}\rightarrow \mathbb {X}\) be a continuous function on a metric space \(\mathbb {X}\). If, for some positive integer n, the composition \(f^{(n)}\) is L-expansive, then f itself is L-expansive.
A function f on a metric space \(\mathbb {X}\) and a function g on a metric space \(\mathbb {Y}\) are called conjugate if there is a homeomorphism \(h:\mathbb {X}\rightarrow \mathbb {Y}\) such that \(g = h\circ f \circ h^{-1}\).
Lemma 2
If functions \(f:\mathbb {X}\rightarrow \mathbb {X}\) and \(g:\mathbb {Y}\rightarrow \mathbb {Y}\) are conjugate, then f is L-expansive if and only if g is L-expansive.
Proof
Let d be a fixed metric on \(\mathbb {X}\) and \(\varrho \) be a fixed metric on \(\mathbb {Y}\). Let \(h:\mathbb {X}\rightarrow \mathbb {Y}\) be the homeomorphism conjugating f with g. It is sufficient to observe that for any metric \(d'\) on \(\mathbb {X}\) equivalent to d, there is a metric \(\varrho '\) on \(\mathbb {Y}\) equivalent to \(\varrho \) such that \(Lip_{\varrho '}(hfh^{-1}) = Lip_{d'}(f)\). Namely, \(\varrho '(x,y):= d'(h^{-1}(x),h^{-1}(y))\), \(x,y\in \mathbb {Y}\), satisfies this requirement. \(\square \)
Let \(x_0\in \mathbb {X}\) be a non-isolated fixed point of a mapping \(f:\mathbb {X}\rightarrow \mathbb {X}\) of a metric space \(\mathbb {X}\). We say that \(x_0\) is:
-
(a)
Repelling if there exists an open set \(U\ni x_0\) such that for all \(x\in U\setminus \{x_0\}\) there is an \(n\in \mathbb {N}\) for which \(f^{(n)}(x)\not \in U\);
-
(b)
Partially repelling if there exists an open set \(U\ni x_0\) such that for all open sets V with \(x_0\in V \subset U\), there is an \(x\in V\) and an \(n\in \mathbb {N}\) for which \(f^{(n)}(x)\not \in U\).
Note that a repelling fixed point is partially repelling, but the converse implication does not hold. For instance, a fixed point of a map of the real line that is repelling only from one side, is partially repelling, though it is not repelling.
Proposition 3
(Repelling Criterion for L-expansiveness) If \(f:\mathbb {X}\rightarrow \mathbb {X}\) has a partially repelling fixed point, then f is L-expansive.
Proof
Suppose, by way of contradiction, that f is not L-expansive with respect to some metric d equivalent to the original metric on \(\mathbb {X}\). Let \(x_0\) be the partially repelling fixed point. Then there exists \(\varepsilon >0\) and sequences \(x_n \rightarrow x_0\) and \(k_n\in \mathbb {N}\) such that \(d(f^{(k_n)}(x_n),x_0)\ge \varepsilon \) for all \(n\in \mathbb {N}\). This leads to a contradiction:
\(\square \)
Remark 2
A fixed point \(x_0\) of f is partially repelling if and only if the family of iterates \(\{f^{(n)}\}_{n\in \mathbb {N}}\) is not equicontinuous at the point \(x_0\). Therefore, if \(\mathbb {X}\) is a compact metric space, then Proposition 3 is immediate from the Markov criterion (see [23, Chap. 1.5]): f is non-expansive under some equivalent metric in \(\mathbb {X}\) if and only if the family of iterates \(\{f^{(n)}\}_{n\in \mathbb {N}}\) is uniformly equicontinuous. For various notions of equicontinuity we refer to [14, A.7.2].
For a real function, one can quickly determine if a fixed point is repelling whenever the derivative at that point exists. Below we denote by \(f'(x_0)\) the derivative of the function \(f:[a,b]\rightarrow [a,b]\) at point \(x_0\in [a,b]\). In case \(x_0=a\), \(f'(x_0)\) stands for the right derivative, and in case \(x_0=b\), \(f'(x_0)\) stands for the left derivative. We allow the derivatives to be infinite.
Proposition 4
(Derivative Test for L-expansiveness, [1]) Let \(f:[a,b]\rightarrow [a,b]\) be a continuous map and \(x_0=f(x_0)\). If \(|f'(x_0)|>1\), then \(x_0\) is a repelling fixed point. In particular, f is L-expansive.
Example 1
The following functions are easily seen to be L-expansive using the previous results in this section. Several will be used later in the paper.
-
(1)
\(s(x)= \sqrt{x}\) The function s(x) is L-expansive on [0, 1] by Proposition 4 (\(x_0=0\), \(f:=s\), \(f'(x_0)=\infty \)).
-
(2)
\(\widehat{s}(x) = 1-\sqrt{x}\) Note that \(\widehat{s}\circ \widehat{s} (x) =1-\sqrt{1-\sqrt{x}}\) is L-expansive by Proposition 4 (\(f:=\widehat{s}\circ \widehat{s}\) with \(x_0=0\), \(f'(x_0)=\infty \)). By Lemma 1, the map \(\widehat{s}\) is L-expansive on [0, 1]. One cannot apply Proposition 4 directly to \(f:= \widehat{s}\), because \(x_0=\frac{1}{2}(3-\sqrt{5})\) is the only fixed point of f in [0, 1], but \(|f'(x_0)|<1\).
-
(3)
\(\widetilde{s}(x)= \sqrt{1-x}\) Let \(h(x) = 1-x\) and note that \(\widetilde{s}(x) = h\circ \widehat{s} \circ h^{-1}\). That \(\widetilde{s}\) is L-expansive on [0, 1] follows from Lemma 2. One cannot apply Proposition 4 directly to \(f:= \widetilde{s}\), because \(x_0=\frac{1}{2}(\sqrt{5}-1)\) is the only fixed point of f in [0, 1], but \(|f'(x_0)|<1\).
-
(4)
\(\overline{s}(x)=1-\sqrt{1-x}\) The function \(\overline{s}(x)\) is L-expansive on [0, 1] by Proposition 4 (\(f:=\overline{s}\) with \(x_0=1\), \(f'(x_0)=\infty \)).
-
(5)
\(p(x) = x^\alpha ,\, \alpha >1\) The function p(x) is L-expansive on [0, 1] by Proposition 4 (\(x_0=1\), \(f:=p\), \(f'(x_0)=\alpha >1\)).
-
(6)
\(g(x)=\alpha x+\beta \) for \(x\in [a,b]\), where \(\alpha > 1\) and \(a\le \frac{\beta }{1-\alpha }\le b\). The function g is L-expansive on [a, b] by Proposition 4 (\(x_0=\frac{\beta }{1-\alpha }\), \(f:=g\), \(f'(x_0)=\alpha >1\)).
-
(7)
For \(0 \le c <d \le 1\) and any continuous L-expansive \(f:[0,1]\rightarrow [0,1]\), let
$$\begin{aligned} g(x)=f\Big (\frac{x-c}{d-c}\Big )\cdot (d-c)+c. \end{aligned}$$Then g(x) is L-expansive on [c, d]. This follows from Lemma 2 because the restriction \(g_{\big \vert [c,d]} =h\circ f\circ h^{-1}\), for the linear increasing homeomorphism \(h:[0,1]\rightarrow [c,d]\).
3 The Existence of an Attractor
In subsequent sections, a proof will be required that a certain set \(A\in \mathcal {K}(\mathbb {X})\) is the attractor of a certain IFS F on \(\mathbb {X}\). The results gathered in this section will be helpful in this regard. In particular, Theorem 7 provides a way to reduce the attraction property in Definition 2 to showing that it holds for a single point in A. Lemma 6, in turn, reduces that requirement to showing that a certain set is dense in A. Theorem 10 is used in Example 5, where the attractor is partitioned into three parts.
The following proposition has appeared in various guises; see [15] for an early reference.
Proposition 5
Assume that F is an IFS on a metric space \(\mathbb {X}\) with attractor A, and let \(h:\mathbb {X}\rightarrow \mathbb {Y}\) be a homeomorphism. Then h(A) is the attractor of the IFS \(hFh^{-1}=\{h\circ f\circ h^{-1}: f\in F\}\).
Lemma 6
([16], Chap. 7, pp. 663–664, Propositions 1.19 and 1.20) If \(S_1 \subset S_2 \subset S_3 \subset \dots \) is a nested sequence of compact sets in a metric space \(\mathbb {X}\) and if \(S:= \overline{\bigcup _{n\ge 1} S_n}\) is compact, then \(S_n \rightarrow S\).
Theorem 7
Let F be an IFS on compact metric space \(\mathbb {X}\). If there is an \(x_0\in \mathbb {X}\) such that
-
(1)
For every \(x\in \mathbb {X}\) there is a sequence \((x_n)\) with \(x_n \in F^{(n)}(x)\) such that \(x_n \rightarrow x_0\), and
-
(2)
\(F^{(n)}(x_0) \rightarrow \mathbb {X}\),
then \(F^{(n)} (x) \rightarrow \mathbb {X}\) for all \(x\in \mathbb {X}\). In particular, \(\mathbb {X}\) is the attractor of F.
Proof
Fix any \(x\in \mathbb {X}\) and any \(\varepsilon >0\). By assumption (2) we can find an \(n_0\in \mathbb {N}\) so that
Clearly, the map \(x\mapsto F^{(n_0)}(x)\) is continuous with respect to the Hausdorff metric \(h_d\). In particular, it is continuous at \(x_0\), so we can find \(\eta >0\) such that
for every y in the ball \(B(x_0,\eta )\) centered at \(x_0\) of radius \(\eta \).
Take any \(x\in \mathbb {X}\). By assumption (1) there is a sequence \((x_n)\) such that \(x_n\in F^{(n)}(x)\) for all \(n\in \mathbb {N}\) and \(x_n\rightarrow x_0\). Let \(k_0\in \mathbb {N}\) be such that \(x_k\in B(x_0,\eta )\) for all \(k\ge k_0\). By equation (2) we have
Let \(n\ge k_0+n_0\) and express \(n=n_0+k\) for some \(k\ge k_0\). Because \(x_{k}\in F^{(k)}(x)\) we have
Hence
The first inequality is from Equation (4); the last inequality from Equations (1) and (3). The result follows. \(\square \)
Below we provide natural conditions for IFS on the interval [0, 1] which guarantee conditions (1) and (2) of the above theorem.
Proposition 8
Let F be an IFS on the interval [0, 1] and \(x_0\in [0,1]\) be a fixed point of one of the maps from F. Assume that there exist closed intervals \(I_1,\dots ,I_k\subset [0,1]\) and one-to-one maps \(f_{p_1},\dots ,f_{p_k}\in F\) such that
-
(1)
\(\bigcup _{i=1}^{k} f_{p_i}(I_i)=[0,1]\);
-
(2)
\(|f'_{p_i}(x)|<1\) for \(i=1,\dots ,k\), and for all \(x\in {\text {Int}}(I_i)\);
-
(3)
for distinct \(i,j\in \{1,\dots ,k\}\), if \(f_{p_i}(I_i)\cap f_{p_j}(I_j)\ne \emptyset \), then \(F^{(n)}(x_0)\cap f_{p_i}(I_i)\cap f_{p_j}(I_j)\ne \emptyset \) for some \(n\in \mathbb {N}\).
Then \(F^{(n)}(x_0)\rightarrow [0,1]\).
Proof
Since \(x_0\in F(x_0)\), we see that \((F^{(n)}(x_0))\) is increasing, and hence it is enough to show that
is dense in [0, 1]. Assume, on the contrary, that it is not the case. Let
and set \(L:= \sup _{J \in \mathcal {J}} |J|\). Then there exists a sequence of intervals \(J_n = (a_n,b_n)\), \(n\in \mathbb {N}\), such that \(b_n - a_n \rightarrow L\) and \(S\cap J_n = \emptyset \). By passing to a subsequence, we can assume that \(a_n \rightarrow a_0, \, b_n \rightarrow b_0\) for some \(a_0,b_0\). Necessarily \(a_0<b_0\), \(S\cap (a_0,b_0)=\emptyset \) and \(b_0-a_0=L\). Define \(J_0:=(a_0,b_0)\) and consider two cases:
Case 1. \(J_0\subset f_{p_i}(I_i)\) for some \(i=1,\dots ,k\) and corresponding \(p_i\). Then \(f^{-1}_{p_i}(J_0)\subset I_i\), so by condition (2) we have that \(|f^{-1}_{p_i}(J_0)|>|J_0|\). This contradicts the maximality of L as \(S\cap J=\emptyset \) implies that \(f_j^{-1}(J)\cap S=\emptyset \) for every \(j=1, \dots ,k\). Case 2. Case 1 does not hold. We claim that
for some distinct \(i,j\in \{1,\dots ,k\}\). Then, by condition (3), there is an element of \(F^{(n)}(x_0)\) in \(J_0\), which contradicts \(S\cap J_0 = \emptyset \), completing the proof. To prove the claim, denote by \(c_i,d_i\) the respective endpoints of \(f_{p_{i}}(I_{i})\), \(i=1,\dots ,k\). From the family of intervals \([c_i, d_i]\) which contain \(a_0\), choose \([c_{i_0},d_{i_0}]\) with the largest right endpoint. Then \(d_{i_0}<b_0\); otherwise it would contradict the assumption that we are not in Case 1. By condition (1), there is a \(j_0\ne i_0\) such that \(d_{i_0}\in [c_{j_0},d_{j_0})\). Then \(a_0<c_{j_0}\); otherwise that \(d_{j_0} > d_{i_0}\) contradicts the assumption that \(d_{i_0}\) is the largest right endpoint containing \(a_0\). Now
proving the claim. \(\square \)
The next proposition guarantees assumption (1) of Theorem 7. The proof is straightforward.
Proposition 9
Let F be an IFS on a metric space \(\mathbb {X}\) and \(x_0\in \mathbb {X}\). Fix a map \(f\in F\), and let \(I_f=\{x\in \mathbb {X}:f^{(n)}(x)\rightarrow x_0\}\). Assume that for every \(x\in \mathbb {X}\setminus I_f\) there exists a \(g\in F\) so that \(g(x)\in I_f\). Then for every \(x\in \mathbb {X}\), there is a sequence \((x_n)\) with \(x_n\in F^{(n)}(x)\) such that \(x_n\rightarrow x_0\).
Theorem 10
(Gluing IFSs) Let \(\mathbb {X}\) be a metric space and \(\mathbb {X}_1,\dots ,\mathbb {X}_k\) nonempty compact subsets of \(\mathbb {X}\) so that \(\mathbb {X}=\mathbb {X}_1\cup \dots \cup \mathbb {X}_k\). Let
be IFSs on \(\mathbb {X}\) such that for every \( j=1, \dots , k\) we have
-
(1)
The restriction \(\overline{F}_{j}:=\{(f^j_{1})_{\vert \mathbb {X}_j},\dots ,(f^j_{N_j})_{\vert \mathbb {X}_j}\}\) is an IFS on \(\mathbb {X}_j\) with attractor \(A_j\);
-
(2)
\(F_j(x)\cap \mathbb {X}_j\ne \emptyset \) for every \(x\in \mathbb {X}\);
-
(3)
\(F_j(\mathbb {X}_i\cap K)\subset A_1\cup \dots \cup A_k \cup F_i(\mathbb {X}_i\cap K)\) for all \(i\ne j\) and all \(K\in \mathcal {K}(\mathbb {X})\).
Then \(A=\bigcup _{j=1}^{k} A_j\) is the attractor of the IFS \(F=\bigcup _{j=1}^{k} F_j\).
Proof
For convenience we denote \(F_i^{(0)}(S):= S\) for \(S\subset \mathbb {X}\). Clearly, for every \(n\in \mathbb {N}\) and \(K\in \mathcal {K}(\mathbb {X})\),
We will also show that for \(n\in \mathbb {N}\) and all \(K\in \mathcal {K}(\mathbb {X})\), we have
By (3), we have
For \(n=1\), the inclusion (6) is evident. Assume that (6) holds for some \(n\in \mathbb {N}\). We will verify it for \(n+1\). By (3) and (7) we get, for all \(K\in \mathcal {K}(\mathbb {X})\), that
The last inclusion is valid because, according to (1) and (3) for \(j\ne i\), n and K replaced with \(F_i^{(n-1)}(F(K)\cap \mathbb {X}_i)\), we have
Therefore (6) holds for \(n+1\) and all \(K\in \mathcal {K}(\mathbb {X})\).
Finally, since \(F(K)\cap \mathbb {X}_j\) is nonempty, according to (2) we have that \((F_i^{(n)}(F(K)\cap \mathbb {X}_i))\) converges to \(A_i\) for \(i=1,\dots ,k\), and also that \(A\cup (F_i^{(n)}(F(K)\cap \mathbb {X}_i))\) converges to A. Thus conditions (5) and (6) imply that \(F^{(n)}(K)\rightarrow A\). \(\square \)
We finish this section with the following straightforward observation which will be used throughout the rest of the paper.
Proposition 11
Let F be an IFS on \(\mathbb {X}\) and \(\mathbb {Y}\subset \mathbb {X}\) be such that \(F(\mathbb {X})\subset \mathbb {Y}\). Suppose that the restricted IFS \(F_{\vert \mathbb {Y}}\) has an attractor A. Then A is the attractor of F.
4 L-Expansive IFSs on \(\mathbb {R}\) Having an Attractor
Examples of L-expansive IFSs on \(\mathbb {R}\) that possess a unique attractor appear in this section.
Example 2
Consider the IFS \(F=\{f_0,f_1,f_2\}\) on \(\mathbb {R}\) consisting of maps:
Referring to items (1), (2) and (6) of the Example 1, F is L-expansive on [0, 1]. Now observe that
-
\(|f_0'(x)|<1\) on \(\Big (\frac{1}{4},1\Big ]\) and \(f_0\Big (\Big [\frac{1}{4},1\Big ]\Big )=\Big [\frac{1}{2},1\Big ]\);
-
\(|f_1'(x)|<1\) on \(\Big (\frac{1}{4},1\Big ]\) and \(f_1\Big (\Big [\frac{1}{4},1\Big ]\Big )=\Big [0,\frac{1}{2}\Big ]\);
-
\(F(1)\ni f_2(1)=\frac{1}{2}\);
-
\(f_0^{(n)}(x)\rightarrow 1\) for all \(x\in (0,1]\), and \(f_2(0)>0\).
Hence the assumptions of Propositions 8 and 9 are satisfied, and thus Theorem 7 implies that [0, 1] is the attractor of \(F_{\vert [0,1]}\). Hence, by Proposition 11, the interval [0, 1] is the attractor of F.
Example 3
Consider the IFS \(F=\{f_0,f_1,f_2\}\) on \(\mathbb {R}\) consisting of maps:
As in the previous example, we can see that F is L-expansive and [0, 1] is its attractor (observe that \(|f_1'(x)|<1\) on \(\Big [0,\frac{3}{4}\Big )\) and \(f_1\Big (\Big [0,\frac{3}{4}\Big ]\Big )=\Big [0,\frac{1}{2}\Big ]\)).
Example 4
Consider the IFS \(F=\{f_0,f_1,f_2\}\) on \(\mathbb {R}\) consisting of maps:
Proposition 12
The IFS of Example 4 is L-expansive, and [0, 1] is its attractor.
Proof
As previously, F is L-expansive and condition (1) of Theorem 7 is satisfied. However, here we cannot use Proposition 8 as \(|f_1'(x)|<1\) on \(\Big [0,\frac{3}{4}\Big )\) and \(f_1\Big (\Big [0,\frac{3}{4}\Big ]\Big )=\Big [0,\frac{1}{2}\Big ]\). More delicate reasoning is required to show that assertion (1) of Theorem 7 is satisfied. As previously, it is sufficient to show that \(S:= \bigcup _{n\ge 0} F^{(n)}(1)\) is dense in [0, 1]. By way of contradiction, assume that there is an open interval \(I_1 \subset [0,1]\), such that \(S\cap I_1 = \emptyset \). By the definition of the function \(f_3\), we have \(1/2\in S\), hence \(1/2 \notin I_1\). We claim that also \(1/\sqrt{2} \notin I_1\). By way of contradiction, assume that \(1/\sqrt{2} \in I_1\). Since \(1/2\in S\), also \(1/\sqrt{2} = f_0(1/2) \in S\). Therefore \(1/\sqrt{2} \in S \cap I_1\), contradicting \(S\cap I_1 = \emptyset \).
Since \(1/2 \notin I_1\), there are two possibilities. Either \(I_1\subset [0,1/2]\) or \(I_1 \subset [1/2,1]\). Assume that the first case holds, namely \(I_1 \subset [0,1/2]\). Note that, for any open interval \(I\subset [0,1]\), if \(S\cap I = \emptyset \), then \(S\cap f_i^{-1}(I) = \emptyset \) for \(i=0,1\). In particular, if \(I_2:= f_1^{-1}(I_1)\), then \(S\cap I_2 = \emptyset \) and \(I_2 \subset [1/2,1]\). Therefore, there is no loss of generality in assuming that the second case holds, namely \(I_1 \subset [1/2,1]\).
Now let \(I_3\) be an open interval in [1/2, 1] whose length \(|I_3|\) is maximum among all open intervals \(I \subset [1/2,1]\) such that \(S\cap I = \emptyset \). Because \(1/\sqrt{2} \notin I_3\), there are two possibilities. Either \(I_3 \subset [1/2, 1/\sqrt{2}]\) or \(I_3 \subset [1/\sqrt{2},1]\). In the first case let \(I_0:= f_1^{-1}(I_3)\), and in the second case let \(I_0:= f_0^{-1}(I_3)\). In either case \(I_0 \subset [1/2,1]\) and \(S \cap I_0 = \emptyset \). Because the derivatives satisfy \(|(f_0^{-1})'(x)| > 1\) for \(x \in (1/\sqrt{2},1]\) and \(|(f_1^{-1})'(x)| > 1\) for \(x \in (1/2,1/\sqrt{2})\), it must be the case that \(|I_0| > |I_3|\), contradicting the maximality of \(|I_3|\). \(\square \)
In the example below, the attractor involves a Cantor set.
Example 5
Let \(F=\{f_1,f_2,f_3,f_4,f_5,f_6\}\) be the IFS on the interval [0, 1] consisting of the six functions given by
The graphs of the functions in F are shown in Fig. 2.
Graphs of the functions in the IFS of Example 5
Theorem 13
The IFS F of Example 5 has attractor \(A:= [0,\frac{1}{4}]\cup C\cup [\frac{3}{4},1]\), where C is the Cantor ternary set built on the interval \([\frac{1}{4},\frac{3}{4}]\). Moreover, F is L-expansive on A.
Proof
Since all the maps in F are of the form of those in Example 1, the IFS F is L-expansive on A (use items (1), (2), (6) and (7), for \(h_1(x)=\frac{1}{4}x\) and \(h_2(x)=\frac{1}{4}x+\frac{3}{4}\)).
To show that A is the attractor, it is enough to prove that A is the attractor of the IFS G on [0, 1] consisting of the restrictions of maps in F to the interval [0, 1]. Thus, in the rest of the proof we deal with IFS G and use Theorem 10.
Set \(I_l=[0,\frac{1}{4}]\), \(I_c:=[\frac{1}{4},\frac{3}{4}]\) and \(I_r:=[\frac{3}{4},1]\) and consider the IFSs \(F_l=\{f_1,f_2,f_3\}\), \(F_r=\{f_4,f_5,f_6\}\) and \(F_c=\{f_1,f_4\}\). We will show that the IFSs \(F_l,F_r,F_c\) satisfy the assumptions of Theorem 10. We first verify (1). Referring to Example 2 and Proposition 5, we have the following:
-
(L)
The interval \([0,\frac{1}{4}]\) is the attractor of \(\overline{F}_l\) (use \(h(x)=\frac{1}{4} x\)).
-
(R)
The interval \([\frac{3}{4},1]\) is the attractor of \(\overline{F}_r\) (use \(h(x)=\frac{1}{4} x+\frac{3}{4}\)).
-
(C)
The Cantor set C is the attractor of \(\overline{F}_c\) (use \(h(x)=\frac{1}{2}x+\frac{1}{4}\)).
Hence (1) is satisfied.
To verify (2) note that:
-
(L)
For every \(x\in [0,1]\) we have \(F_l(x)\cap I_l\ne \emptyset \) as \(f_3([0,1])\subset I_l\).
-
(R)
For every \(x\in [0,1]\) we have \(F_r(x)\cap I_r\ne \emptyset \) as \(f_6([0,1])\subset I_r\).
-
(C)
For every \(x\in [0,1]\) we have \(F_c(x)\cap I_c\ne \emptyset \) as \(f_1([\frac{1}{4},1])\subset I_c\) and \(f_4([0,\frac{3}{4}])\subset I_c\).
To show (3), take any nonempty and compact \(K\subset [0,1]\). We have
\(\square \)
5 L-Expansive IFSs on \(\mathbb {R}^2\) Having an attractor
We begin with a lemma used in the proof of Theorem 15 below.
Lemma 14
([21], Example 3.3) Let the IFS \(G = \{g_1, g_2\}\) on the unit circle \(\mathbb {S}^1\) centered at the origin in \(\mathbb {R}^2\) be defined as follows in terms of the polar angle \(\theta \in [0,2\pi )\):
where \(\alpha /\pi \) is irrational. Then G is L-expansive and the attractor of G is \(\mathbb {S}^1\).
The Möbius transformation \(M(z) =\frac{2z+1}{z+2}\) on the complex plane takes the unit disk D centered at the origin onto itself and has attracting fixed point 1 and repelling fixed point \(-1\) (see [9, Chap. 4.3]). Define
Then \(-1\) is a partially repelling fixed point of \(h_0\). Additionally, define the following four functions on \(\mathbb {R}^2\) in terms of polar coordinates \((r,\theta )\) as follows:
Theorem 15
The IFS \(H = \{h_0,h_1,h_2,h_3,h_4\}\) with functions as defined above is L-expansive on its attractor D.
Proof
The function \(h_0\) is L-expansive by Proposition 3, since \(-1\) is a partially repelling fixed point. That \(h_1\) and \(h_4\) are L-expansive on the interval from (0, 0) to (1, 0) follows from Example 1. Therefore \(h_1\) and \(h_4\) are L-expansive on D. The proof that \(h_2\) and \(h_3\) are L-expansive on the circle \(\mathbb {S}^1\) follows from Lemma 14. Therefore \(h_2\) and \(h_3\) are L-expansive on D.
Theorem 7 with \(x_0 = (1,0)\) (polar coordinates) will be used to prove that D is the attractor of H restricted to D. Using Proposition 9 we see that condition (1) of Theorem 7 holds.
It remains to show that \(H^{(n)}(x_0) \rightarrow D\), where \(x_0 = (1,0)\). Because \(x_0 \in H(x_0)\), we have \(H^{(n)}(x_0) \subset H^{n+1}(x_0)\) for all \(n\in \mathbb {N}\). By Lemma 6 it is sufficient to show that \(\bigcup _{n\ge 1} H^{(n)}(x_0)\) is dense in D.
Consider the IFS \(\widehat{H}:= \{{\widehat{h}}_0, \widehat{h}_1,{\widehat{h}}_2, {\widehat{h}}_4\}\), where the four functions \({\widehat{h}}_0, {\widehat{h}}_1,{\widehat{h}}_2, {\widehat{h}}_4\) are \(h_0,h_1,h_2,h_4\) with domain restricted to the interval [0, 1] on the x-axis. Using the IFS from Example 3 (with functions \(h_2, h_4\) playing the role of \(f_0, f_1\)) we get that \(\bigcup _{n\ge 1} \widehat{H}^{(n)}(x_0)\) is dense in [0, 1]. Therefore if \(H_4:= \{h_0, h_1,h_2, h_4\}\), then \(\bigcup _{n\ge 1} H_4^{(n)}(x_0)\) is dense in [0, 1]. This implies that \(h_3 \big ( \bigcup _{n\ge 1} H_4^{(n)}(x_0) \big )\) is dense in the ray from the origin to \((1,\alpha )\).
By Lemma 14 we know that \(\bigcup _{n\ge 1} G^{(m)}(x_0)\) is dense in \(\mathbb {S}^1\), where G is the IFS in Lemma 14. With \(h_2, h_3\) playing the role of \(g_1,g_2\) in Lemma 14, we conclude that if \(H_2 = \{h_2,h_3\}\), then \(\bigcup _{m\ge 1} H_2^{(m)}([0,1])\) is dense in D. Therefore, using continuity of maps from H, we have that \(\bigcup _{m\ge 1} H_2^{(m)} \big ( \bigcup _{n\ge 1} H_4^{(n)}(x_0) \big )\) is dense in D. Since
it must be the case that \(H^{(n)}(x_0)\) is dense in D.
We have thus shown that H restricted to D is an L-expansive IFS with attractor D. Hence, by Proposition 11, the disk D is the attractor of H. \(\square \)
Theorem 16
If \(A \subset \mathbb {R}^2\) is homeomorphic to the closed unit disk, then A is the attractor of an L-expansive IFS on \(\mathbb {R}^2\).
Proof
Let D denote the closed unit disk in \(\mathbb {R}^2\). By the Jordan-Schoenflies Theorem, there is a homeomorphism \(h:\mathbb {R}^2 \rightarrow \mathbb {R}^2\) such that \(h(D) = A\). By Theorem 15 there is an IFS \(F'\) on \(\mathbb {R}^2\) which is L-expansive on its attractor D. Let \(F = hF'h^{-1}:= \{hfh^{-1}: f \in F'\}\). By Lemma 2 and Proposition 5, A is the attractor of F, and F is L-expansive on A. \(\square \)
By Theorem 16, many fractal sets, the twin dragon for example, are the attractors of L-expansive IFSs. The usual IFS used to generate the twin dragon, however, is not L-expansive. In [6, Theorem 2.1, Theorem 2.2], sufficient conditions are given for an affine digit tile, like the twin dragon, to be a topological disk. Theorem 16 may fail in dimension greater than 2 because the Jordan-Schoenflies Theorem is not true in higher dimensions.
6 L-Expansive IFSs with Attractors on Cartesian Products
The metric space results in this section show, in particular, that the examples of IFSs on the real line \(\mathbb {R}\) in Sect. 4 can be lifted to examples on the Euclidean space \(\mathbb {R}^s\) of any dimension \(s\ge 2\). These results concern the product \(\prod _{j=1}^{s} \mathbb {X}_j\) of metric spaces \(\mathbb {X}_1,\dots ,\mathbb {X}_j\). The metric on the product space can be any metric that induces the product topology.
Proposition 17
Let \(f_j: \mathbb {X}_{j} \rightarrow \mathbb {X}_{j}\), \(j\in \{1,2,\dots , s\}\), be continuous functions. Define \(\widehat{f}: \mathbb {X}\rightarrow \mathbb {X}\) on the product \(\mathbb {X}=\prod _{j=1}^{s} \mathbb {X}_j\) by
If
-
(1)
One of the maps, say \(f_{j_0}\), is L-expansive, and
-
(2)
Each map \(f_j\), \(j\ne j_0\), has a fixed point in \(\mathbb {X}_j\),
then the product map \(\widehat{f}\) is L-expansive.
Proof
Let \(z_j=f_j(z_j)\) be a fixed point of \(f_j\) for \(j\ne j_0\), as warranted by (2). By way of contradiction, suppose that \(\widehat{f}\) is non-expansive under some metric d on \(\mathbb {X}\) equivalent to the initial metric on \(\mathbb {X}\). In particular,
for all \(x,y\in \mathbb {X}_{j_0}\). Thus \(f_{j_0}\) is non-expansive with respect to the following metric \(\rho \), which is equivalent to the original metric in \(\mathbb {X}_{j_0}\):
for \(x,y\in \mathbb {X}_{j_0}\). This contradicts (1). \(\square \)
Theorem 18
(Cartesian product of IFSs) Let \(F_j=\{f_{1,j},\dots ,f_{N_j,j}\}\), \(j\in \{1,\dots ,s\}\), \(s\ge 2\), be IFSs on metric spaces \(\mathbb {X}_j\) with attractors \(A_j\subset \mathbb {X}_j\). If
is an IFS on the product \(\mathbb {X}\) of the \(\mathbb {X}_j\)’s, defined as follows:
for all \((x_1,\dots ,x_s)\in \mathbb {X}\), then \(\prod _{j=1}^{s} A_j\subset \mathbb {X}\) is the attractor of F.
Proof
Fix \(K\in \mathcal {K}(\mathbb {X})\), \(n\in \mathbb {N}\), and choose an arbitrary \((y_1,\dots ,y_s)\in K\). Then
where \(\pi _j\) is the projection from \(\mathbb {X}\) to \(\mathbb {X}_j\). Since \(F_j^{(n)}(y_j)\rightarrow A_j\) and \(F_j^{(n)}(\pi _j(K))\rightarrow A_j\), an application of a squeezed sequence argument, supported by standard properties of the Hausdorff limit (see [16]), yields \({F}^{(n)}(K)\rightarrow \prod _{j=1}^{s} A_j\). \(\square \)
A more general version of the above theorem was established recently in [20]. As immediate corollaries of Proposition 17 and Theorem 18, we obtain the following results.
Corollary 19
Let \(F=\{f_1,\dots ,f_N\}\) be an L-expansive IFS on a metric space \(\mathbb {X}\) with attractor \(A\subset \mathbb {X}\). If \(z_2,\dots ,z_s\in \mathbb {X}\) are given points, and \(\widetilde{F}:=\{\widetilde{f}_1, \dots ,\widetilde{f}_N\}\) is the IFS on the product space \(\mathbb {X}^s\), \(s\ge 2\), defined as follows:
for all \((x_1, \dots ,x_s)\in \mathbb {X}^s\), then \(\widetilde{F}\) is L-expansive and \(A\times \prod _{j=2}^{s}\{z_j\}\subset \mathbb {X}^s\) is the attractor of \(\widetilde{F}\).
Corollary 20
Let \(F=\{f_i:i\in I\}\) be an L-expansive IFS on a metric space \(\mathbb {X}\) with attractor \(A\subset \mathbb {X}\) so that each map \(f_i\) has a fixed point. If \(\widehat{F}:=\{\widehat{f}_{i_1,\dots , i_s}: (i_1,\dots , i_s)\in I^s\}\) is an IFS on the product space \(\mathbb {X}^s\) defined as follows:
for all \((x_1,\dots ,x_s)\in \mathbb {X}^s\), then \(\widehat{F}\) is L-expansive and \(A^s\subset \mathbb {X}^s\) is the attractor of \(\widehat{F}\).
Example 6
The lift of Example 5 from \(\mathbb {R}\) to \(\mathbb {R}^2\), using Corollary 20, is shown in Fig. 1.
7 An Upper Bound on the Lipschitz Constant
Each IFS in Sects. 4, 5, and 6 is L-expansive, which means that, for any metric d that induces the standard topology on Euclidean space, we have \(Lip_d(f) >1\) for every \(f\in F\). According to Proposition 22 below, it may be problematic to do much better in terms of expansiveness.
A function f is a Lipschitz function with respect to a metric d if \(Lip_{d}(f) < \infty \). Let \(Lip_d(F):= \max \{Lip_{d}(f): f\in F\}\), and call an IFS F on a metric space \((\mathbb {X},d)\) a Lipschitz IFS if \(Lip_{d}(F) < \infty \). For a metric d and real number p, we use the notation \(d^p(x,y):= \big (d(x,y) \big )^p\).
Lemma 21
(Snowflake transform, cf. ([13], Chap. 4.1, p.89)) If d is a metric on \(\mathbb {X}\), then for every \(p\in (0,1]\), \(d^p\) is a metric on \(\mathbb {X}\) equivalent to d. Moreover, \((\mathbb {X},d^p)\) is complete if and only if \((\mathbb {X},d)\) is complete.
Proposition 22
If F is a Lipschitz IFS on a metric space \((\mathbb {X},d)\), then for every \(\varepsilon >0\), there is an equivalent metric \(\rho \) on \(\mathbb {X}\) such that \(Lip_{\rho }(F)<1+\varepsilon \). Moreover, if d is complete, then \(\rho \) is complete.
Proof
Since \(Lip_{d}(F)<\infty \), for any \(\varepsilon >0\), we can take \(p\in (0,1]\) such that \(\big (Lip_{d}(F) \big )^p\le (1+\varepsilon )\). For every \(f \in F\) and \(x,y\in \mathbb {X}\), we have
Hence we can take \(\rho =d^p\). \(\square \)
The hypothesis of Proposition 22 is that F is a Lipschitz IFS. This motivates the following question.
Question 2
Let F be an IFS on a metric space \((\mathbb {X},d)\). Under what conditions on \((\mathbb {X},d)\) does there exist an equivalent metric with respect to which F is a Lipschitz IFS?
For some results related to Question 2 see [12, Chap. 3.2] and Remark 2. It is not clear to us, however, that standard remetrization techniques for turning continuous maps into Lipschitz maps could be adapted to answer Question 2.
Theorem 23 is a partial answer to Question 2. It provides conditions on a single function f on [0, 1] sufficient for f to be Lipschitz with respect to some metric equivalent to the standard metric. In particular, it shows that the function \(x \mapsto \sqrt{x}\) on [0, 1] is Lipschitz.
Theorem 23
Let \(f:[0,1]\rightarrow [0,1]\) be a map that satisfies the following:
-
f is a strictly increasing homeomorhism with \(f(0)=0\), and
-
There is an \(a \in (0,1)\) such that \(f(x) > x\) for all \(x\in (0,a]\) and f is continuously differentiable on \([f^{-1}(a),1]\).
Then there is a metric d equivalent to the standard metric on [0, 1] such that f is Lipschitz.
Proof
Let f be a function that satisfies the conditions of the theorem. For \(n \ge 0\), define \(a_n = f^{(-n)}(a)\) and \(I_n = (a_{n+1}, a_{n}]\), where \(f^{(-n)}\) denotes the n-fold composition of \( f^{-1}\) with itself. Note that \(a_n \rightarrow 0\) as \(n \rightarrow \infty \). For \(x \in (0,a]\), let \(n_x\) be the unique integer such that \(x \in I_{n_x}\). Note that \(n_{f(x)} = n_x -1\) for \(x\in (0, a_1]\). For \(x\in [0,a]\) define
It is routine to check that g(x) is a continuous strictly increasing function on [0, a]. For all \(x,y \in [0,a]\), define
Then \(d_0\) is a metric on [0, a] equivalent to the standard metric and such that \(d_0(x,y) = d_0(x,z)+d_0(z,y)\) for \(x\le z \le y\). We first show that f is a Lipschitz function, with \(Lip_{d_0}(f) =2\), on the interval \([0,a_1]\). Assume that \(a_1 \ge x\ge y > 0\). Then
By passing to the limit as \(y\rightarrow 0\) in the inequality obtained above, we also get that \(d_0(f(x),f(0))\le 2 d_0(x,0)\) for \(x\le a_1\). Define d on [0, 1] by
It is routine to verify that d is a metric on [0, 1] equivalent to the standard metric. That f is continuously differentiable on \([a_1,1]\) implies that f is Lipschitz on \([a_1,1]\) with respect to the metric d. Therefore f is Lipschitz with respect to the metric d on [0, 1]. \(\square \)
Data Availability
Not applicable.
References
Alligood, K.T., Sauer, T.D., Yorke, J.A.: Chaos. An Introduction to Dynamical Systems. Springer, New York (1996)
Aoki, N., Hiraide, K.: Topological Theory of Dynamical Systems. Recent Advances, North-Holland, Amsterdam (1994)
Atkins, R., Barnsley, M.F., Wilson, D.C., Vince, A.: A characterization of point-fibred affine iterated function systems. Topol. Proc. 38, 189–211 (2010)
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math. 3, 133–181 (1922)
Banakh, T., Kubiś, W., Novosad, N., Nowak, M., Strobin, F.: Contractive function systems, their attractors and metrization. Topol. Methods Nonlinear Anal. 46(2), 1029–1066 (2015)
Bandt, C., Wang, Y.: Disk-like self-affine tiles in \({\mathbb{R} }^2\). Disc. Comp. Geometry 26, 591–601 (2001)
Barrientos, P.G., Ghane, F.H., Malicet, D., Sarizadeh, A.: On the chaos game of iterated function systems. Topol. Methods Nonlinear Anal. 49(1), 105132 (2017)
Barnsley, M.F., Vince, A.: Real projective iterated function systems. J. Geometr. Anal. 22, 1137–1172 (2012)
Beardon, A.F.: The Geometry of Discrete Groups. Springer, New York (1983)
Bessaga, C.: On the converse of the Banach fixed point principle. Colloq. Math. 7, 41–43 (1959)
Cobzaş, S.: Fixed points and completeness in metric and generalized metric spaces. J. Math. Sci. 250(3), 475–535 (2020)
Cobzaş, S., Miculescu, R., Nicolae, A.: Lipschitz Functions. Springer, Cham (2019)
Deza, M.M., Deza, E.: Encyclopedia of Distances, 4th edn. Springer, Berlin (2016)
Gilbert, W.: The division algorithm in complex bases. Can. Math. Bull. 39, 47–54 (1996)
Hu, S., Papageorgiou, N. S.: Handbook of Multivalued Analysis. Volume I: Theory, Kluwer, Dordrecht, (1997)
Hutchinson, J.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Kameyama, A.: Distances on topological self-similar sets and the kneading determinants. J. Math. Kyoto Univ. 40(4), 601–672 (2000)
Kieninger, B.: Iterated Function Systems on Compact Hausdorff Spaces. University of Augsburg, Shaker-Verlag, Aachen (2002)
Leśniak, K., Nowak, M.: Split square and split carpet as examples of non-metrizable IFS attractors. Banach Cent. Publ. 125, 71–79 (2023)
Leśniak, K., Snigireva, N., Strobin, F., Vince, A.: Transition phenomena for the attractor of an iterated function system. Nonlinearity 35(1), 555–575 (2022)
Leśniak, K., Snigireva, N., Strobin, F.: Weakly contractive iterated function systems and beyond: a manual. J. Differ. Equ. Appl. 26(8), 1114–1173 (2020)
Levitan, B.M., Zhikov, V.V.: Almost Periodic Functions and Differential Equations. Cambridge University Press, Cambridge (1982)
Miculescu, R., Mihail, A.: Alternative characterization of hyperbolic affine infinite iterated function systems. J. Math. Anal. Appl. 407, 56–68 (2013)
Miculescu, R., Mihail, A.: On a question of A. Kameyama concerning self-similar metrics. J. Math. Anal. Appl. 422(1), 265–271 (2015)
Reddy, W.L.: Expanding maps on compact metric spaces. Topol. Appl. 13, 327–334 (1982)
Vince, A.: Möbius iterated function systems. Trans. Amer. Math. Soc. 365, 491–509 (2013)
de Vries, J.: Topological Dynamical Systems. An Introduction to the Dynamics of Continuous Mappings. de Gruyter, Berlin (2014)
Acknowledgements
We thank the unknown referees for their valuable suggestions and comments. Most of the research in this paper was done while NS was at the Atlantic Technological University Sligo.
Funding
Open Access funding provided by the IReL Consortium. No funding was received for the research conducted in this paper.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this research.
Corresponding author
Ethics declarations
Conflict of interest
No conflict of interest either of financial or personal nature.
Ethical Approval
Not applicable.
Additional information
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
Leśniak, K., Snigireva, N., Strobin, F. et al. Highly Non-contractive Iterated Function Systems on Euclidean Space Can Have an Attractor. J Dyn Diff Equat (2024). https://doi.org/10.1007/s10884-024-10367-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10884-024-10367-6