1 Introduction
Higher dimensional, physically relevant, dynamical systems often possess features that can be studied using techniques from one-dimensional dynamical systems. Indeed, often a one-dimensional discrete dynamical system captures essential features of a higher dimensional flow. For example, for the Lorenz flow [Reference Lorenz22], one may study the return mapping to a plane transverse to its stable manifold, the stable manifold intersects the plane in a curve, and the return mapping to this curve is a (discontinuous) one-dimensional dynamical system known as a Lorenz mapping, see paper [Reference Tucker47]. This approach has been very fruitful in the study of the Lorenz flow. It would be difficult to cite all the papers studying this famous dynamical system, but for example see papers [Reference Afraĭmovič, Bykov and Shil’nikov1, Reference Arneodo, Coullet and Tresser3, Reference Gambaudo, Procaccia, Thomae and Tresser15, Reference Guckenheimer and Williams18, Reference Rovella39, Reference Williams49]. The success of the use of the one-dimensional Lorenz mapping in studying the flow has led to an extensive study of these interval mappings, see papers [Reference Brandão6, Reference Gaidashev and Winckler14, Reference Keller, St. Pierre and Fiedler19, Reference Labarca and Moreira20, Reference Martens and de Melo26, Reference Martens and Winckler29, Reference Martens and Winckler30, Reference St. Pierre43, Reference Winckler50] among many others. Great progress in understanding the Cherry flow on a two-torus has followed from a similar approach [Reference Aranson, Zhuzhoma and Medvedev2, Reference Cherry8, Reference de Melo11, Reference Martens, van Strien, de Melo and Mendes28, Reference Mendes33–Reference Palmisano38, Reference Saghin and Vargas40].
In this paper, we study a class of Lorenz mappings, which have ‘gaps’ in their ranges. These mappings arise as return mappings for the Lorenz flow and for certain Cherry flows. They are also among the first examples of mappings with a wandering interval – the gap. This phenomenon is ruled out for
$\mathcal C^{1+\mathrm {Zygmund}}$
mappings with a non-flat critical point by van Strien and Vargas [Reference van Strien and Vargas48]. In fact, Berry and Mestel [Reference Berry and Mestel5] proved that Lorenz mappings satisfying a certain bounded nonlinearity condition have a wandering interval if and only if they have a renormalization which is a gap mapping. See the introduction of paper [Reference Gouveia and Colli17] for a detailed history of gap mappings.
The main result of this paper concerns the structure of the topological conjugacy classes of
$\mathcal C^4$
dissipative gap mappings. Roughly, these are discontinuous mappings with two orientation preserving branches, whose derivatives are bounded between zero and one. They are defined in Definition 2.1.
Theorem 1.1. The topological conjugacy class of an infinitely renormalizable
$\mathcal C^4$
dissipative gap mapping is a
$\mathcal C^1$
-manifold of codimension-one in the space of dissipative gap maps.
To obtain this result, we prove the hyperbolicity of renormalization for dissipative gap mappings. In the usual approach to renormalization, one considers renormalization as a restriction of a high iterate of a mapping. While this is conceptually straightforward, it is technically challenging as the composition operator acting on the space of, say,
$\mathcal {C}^4$
functions is not differentiable. Nevertheless, we are able to show that the tangent space admits a hyperbolic splitting. To do this, we work in the decomposition space introduced by Martens in [Reference Martens25], see §3 for the necessary background.
Theorem 1.2. The renormalization operator
${\mathcal R}$
acting on the space of dissipative gap mappings has a hyperbolic splitting. More precisely, if f is an infinitely renormalizable
${\mathcal C}^3$
dissipative gap mapping then for any
$\delta \in (0,1),$
and for all n sufficiently big, the derivative of the renormalization operator acting on the decomposition space
$\underline {\mathcal {D}}$
satisfies the following.
-
•
$T_{\underline {\mathcal {R}}_{\underline {\mathcal {R}}^n\underline f}} \underline {\mathcal {D}}=E^u\oplus E^s,$ and the subspace
$E^u$ is one-dimensional.
-
• For any vector
$v\in E^u$ , we have that
$\|D\underline {\mathcal {R}}_{\underline {\mathcal {R}}^n\underline f}v\|\geq \unicode{x3bb} _1\|v\|$ , where
$|\unicode{x3bb} _1|>1/\delta $ .
-
• For any
$v\in E^s$ , we have that
$\|D\underline {\mathcal {R}}_{\underline {\mathcal {R}}^n\underline f}v\|\leq \unicode{x3bb} \|v\|$ , where
$|\unicode{x3bb} |<\delta $ .
Gap mappings can be regarded as discontinuous circle mappings, and indeed they have a well-defined rotation number [Reference Brette7], and they are infinitely renormalizable precisely when the rotation number is irrational. Consequently, from a combinatorial point of view they are similar to critical circle mappings. However, unlike critical circle mappings, the geometry of gap mappings is unbounded. For example, for critical circle mappings the quotient of the lengths of successive renormalization intervals is bounded away from zero and infinity [Reference de Faria and de Melo9], but for gap mappings it diverges very fast [Reference Gouveia and Colli17]. As a result, the renormalization operator for gap mappings does not seem to possess a natural extension to the limits of renormalization (cf. [Reference Martens and Palmisano27]).
Renormalization theory was introduced into dynamical systems from statistical physics by Feigenbaum [Reference Feigenbaum13], and Tresser and Coullet [Reference Tresser and Coullet45, Reference Tresser and Coullet46] in the 1970s to explain the universality phenomena they observed in the quadratic family. They conjectured that the period-doubling renormalization operator acting on an appropriate space of analytic unimodal mappings is hyperbolic. The first proof of this conjecture was obtained using computer assistance by Lanford [Reference Lanford21]. The conjecture can be extended to all combinatorial types and to multimodal mappings. A conceptual proof was given for analytic unimodal mappings of any combinatorial type in the works of Sullivan [Reference Sullivan44] (see also [Reference de Melo and van Strien12]), McMullen [Reference McMullen31, Reference McMullen32], Lyubich [Reference Lyubich23, Reference Lyubich24], and Avila and Lyubich [Reference Avila and Lyubich4]. This was extended to certain smooth mappings by de Faria, de Melo and Pinto [Reference de Faria, de Melo and Pinto10], and to analytic mappings with several critical points and bounded combinatorics by Smania [Reference Smania41, Reference Smania42]. Renormalization is intimately related with rigidity theory, and in many contexts, e.g. interval mappings and critical circle mappings, exponential convergence of renormalization implies that two topologically conjugate infinitely renormalizable mappings are smoothly conjugate on their (measure-theoretic) attractors. However, for gap mappings, it is not the case that exponential convergence of renormalization implies rigidity; indeed, in general, one can not expect topologically conjugate gap mappings to be
$\mathcal C^1$
conjugate [Reference Gouveia and Colli17].
The aforementioned results on renormalization of interval mappings all depend on complex analytic tools and, consequently, many of the tools developed in these works can only be applied to mappings with a critical point of integer order. The goal of studying mappings with arbitrary critical order was one of Martens’ motivations for introducing the decomposition space, mentioned above. This purely real approach has led to results on the renormalization in various contexts. Martens [Reference Martens25] used this approach to establish the existence of periodic points of renormalization of any combinatorial type for unimodal mappings
$x\mapsto x^\alpha +c$
, where
$\alpha>1$
is not necessarily an integer. For Lorenz mappings of certain monotone combinatorial types, Martens and Winckler [Reference Martens and Winckler29] proved that there exists a global two-dimensional strong unstable manifold at every point in the limit set of renormalization using this approach. Martens and Palmisano [Reference Martens and Palmisano27] studied renormalization acting on the decomposition space for infinitely renormalizable critical circle mappings with a flat interval. They proved that for certain mappings with stationary, Fibonacci, combinatorics that the renormalization operator is hyperbolic, and that the class of mappings with Fibonacci combinatorics is a
$\mathcal C^1$
manifold.
Analytic gap mappings were studied by Gouveia and Colli [Reference Gouveia and Colli16, Reference Gouveia and Colli17] using different methods to those that we use here. In the former paper, they proved hyperbolicity of renormalization in the special case of affine dissipative gap mappings, and in the latter paper, they proved that the topological conjugacy classes of analytic infinitely renormalizable dissipative gap mappings are analytic manifolds. We appropriately generalize these two results to the
$\mathcal C^4$
case. Since the renormalization operator does not extend to the limits of renormalization, it seems to be difficult to build on the hyperbolicity result for affine mappings to extend it to smooth mappings (similar to what was done in paper [Reference de Faria, de Melo and Pinto10]), and so we follow a different approach. Gouveia and Colli [Reference Gouveia and Colli17] also proved that two topologically conjugate dissipative gap mappings are Hölder conjugate. We improve this rigidity result, and give a simple proof that topologically conjugate dissipative gap mappings are quasisymmetrically conjugate, see Proposition 2.8.
This paper is organized as follows: in §2, we will provide the necessary background material on gap mappings, and in §3, we will describe the decomposition space of infinitely renormalizable gap mappings. The estimate of the derivative of renormalization operator is done in §4, and it is the key technical result of our work. In our setting, we are able to obtain fairly complete results without any restrictions on the combinatorics of the mappings. In §5, we use the estimates of §4 and ideas from paper [Reference Martens and Palmisano27] to show that the renormalization operator is hyperbolic and that the conjugacy classes of dissipative gap mappings are
$\mathcal C^1$
manifolds.
2 Preliminaries
2.1 The dynamics of gap maps
In this section, we collect the necessary background material on gap mappings, see paper [Reference Gouveia and Colli17] for further results.
A Lorenz map is a function
$f:[a_L, a_R] \setminus \{ 0 \} \rightarrow [a_L, a_R]$
satisfying:
-
(i)
$a_L< 0 < a_R$ ;
-
(ii) f is continuous and strictly increasing in the intervals
$[a_L,0)$ and
$(0,a_R]$ ;
-
(iii) the left and right limits at
$0$ are
$f(0^-)=a_R$ and
$f(0^+)=a_L$ .
A gap map is a Lorenz map f that is not surjective, that is, a map satisfying conditions (i), (ii), (iii) with
$f(a_L)> f(a_R)$
. In this case the gap is the interval
$G_f=(f(a_R), f(a_L))$
. When it will not cause confusion, we omit the subscript and denote the gap by G.
Definition 2.1. A dissipative gap map is a gap map f that is differentiable in
$[a_L, a_R] \setminus \{ 0 \}$
and satisfies:
$0 < f'(x) \leq \nu $
for every
$x \in [a_L, a_R] \setminus \{ 0 \}$
, and for some real number
$\nu = \nu _f \in (0,1)$
.
Each dissipative gap mapping is determined by a mapping to the left of the discontinuity, a mapping to the right of the discontinuity and the relative position of the discontinuity in the interval. Hence it is convenient to describe the space of dissipative gap mappings as follows: Consider
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn1.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn2.png?pub-status=live)
and
$\mathcal {D}^k = \mathcal {D}_L^k \times \mathcal {D}_R^k \times (0,1)$
, where
$\mathrm {Diff}_+^k[x,y]$
denotes the space of orientation preserving
$\mathcal C^k$
diffeomorphisms on
$(x,y)$
, which are continuous on
$[x,y]$
. We will always assume that
$k\geq 3,$
and unless otherwise stated, the reader can assume that
$k=3.$
For each element
$(u_L, u_R, b) \in \mathcal {D}^k$
, we associate a function
$f:[-1,1] \setminus \{ 0 \} \rightarrow [-1,1]$
defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn3.png?pub-status=live)
and take
$\nu = \nu _f \in (0,1)$
that bounds the derivative on each branch from above. It is not difficult to check that the interval
$[b-1,b]$
is invariant under f, and f restricted to
$[b-1, b] \setminus \{ 0 \}$
is a dissipative gap map. Observe that the parameter b determines the position of the discontinuity in the interval. For the sake of simplicity, we write
$f=(u_L, u_R, b)$
, and we use the following notation for the left and right branches of f:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn4.png?pub-status=live)
We endow
$\mathcal {D}^k = \mathcal {D}_L^k \times \mathcal {D}_R^k \times (0,1)$
with the product topology. It is important to note that a gap map g defined in an interval
$[a_L, a_R]$
can be rescaled by a linear conjugacy in such a way as to be defined in
$[b-1,b]$
. After rescaling and extending g, we obtain a function f defined in
$[-1,1] \setminus \{0\}$
which is a triple
$f=(f_L, f_R, b)$
in
$\mathcal D^k.$
Since
$[b-1,b]$
is a trapping region for f, it will be enough to work with the restriction of f to
$[b-1,b] \setminus \{0\}$
and it is not important how f is extended. Thus we set
$a_L = b-1$
and
$a_R=b.$
For more details, see §1.2 of paper [Reference Gouveia and Colli17].
Definition 2.2. Let
$f:[b-1, b] \setminus \{0 \} \rightarrow [b-1, b]$
be a dissipative gap map. We define the sign of f by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn5.png?pub-status=live)
It is an easy consequence of this definition that for a dissipative gap map f, we have
$\sigma _f=-$
if
$G \subset [b-1,0)$
and
$\sigma _f=+$
when
$G \subset (0,b]$
.
2.2 Renormalization of dissipative gap mappings
Definition 2.3. A dissipative gap map
$f:[b-1, b] \setminus \{0 \} \rightarrow [b-1, b]$
is renormalizable if there exists a positive integer k such that:
-
(a)
$0 \notin \bigcup _{i=0}^k \overline {f^i(G)}$ ;
-
(b) either
-
–
$\overline {G}, \overline {f(G)}, \ldots , \overline {f^{k-1}(G)} \subset (b-1,0)$ and
$\overline {f^k(G)} \subset (0,b)$ or
-
–
$\overline {G}, \overline {f(G)}, \ldots , \overline {f^{k-1}(G)} \subset (0,b)$ and
$\overline {f^k(G)} \subset (b-1,0).$
-
Remark 2.4. The positive number k in Definition 2.3 is chosen to be minimal so that (a) and (b) hold.
By [Reference Gouveia and Colli17, Proposition 2.8], and the mean value theorem, the renormalization of a dissipative gap map is again a dissipative gap map.
Definition 2.5. Let
$f:[b-1, b] \setminus \{0 \} \rightarrow [b-1, b]$
be a renormalizable dissipative gap map, and consider
$I'= [a_L', a_R' ]=I_f'$
the interval containing
$0$
whose boundary points are the boundary points of
$f^{k-1}(G)$
and
$f^k(G)$
which are nearest to
$0$
, that is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn6.png?pub-status=live)
The first return map
$R=R_f$
to
$I'$
is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn7.png?pub-status=live)
in the case where
$\sigma _f=-$
, and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn8.png?pub-status=live)
in the case where
$\sigma _f=+$
. The renormalization of f,
$\mathcal {R}f$
, is the first return map R rescaled and normalized to the interval
$[-1,1]$
and given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn9.png?pub-status=live)
for every
$x \in [-1,1] \setminus \{0 \}$
.
In terms of the branches
$f_L$
and
$f_R$
defined in (2.4), the first return map R is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn10.png?pub-status=live)
in the case where
$\sigma _f=-$
, and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn11.png?pub-status=live)
in the case where
$ \sigma _f=+ $
.
From Definition 2.5, we have a natural operator which sends a renormalizable dissipative gap map f to its renormalization
$\mathcal {R}f$
, which is also a dissipative gap map.
Definition 2.6. The renormalization operator is defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn12.png?pub-status=live)
where
$\mathcal {R}f(x)= ({1}/{|I'|})R(|I'|x)$
, and
$\mathcal {D}_{\mathcal {R}}^k \subset \mathcal {D}^k$
is the subset of all renormalizable dissipative gap maps in
$\mathcal {D}^k$
.
Although a dissipative gap map is not defined at
$0$
, we define the lateral orbits of
$0$
taking
$0_j^+ = f^j(0^+)= \lim _{x \rightarrow 0^+}f^j(x)$
and
$0_j^- = f^j(0^-)= \lim _{x \rightarrow 0^-}f^j(x)$
. We first observe that
$0_j^+=f^{j-1}(b-1)$
and
$0_j^-=f^{j-1}(b)$
. The left and right future orbits of
$0$
are the sequences
$(0_j^+)_{j \geq 1}$
and
$(0_j^-)_{j \geq 1}$
, which are always defined unless there exists
$j \geq 1$
such that either
$0_j^+ = 0$
or
$0_j^-=0$
. Using this notation for the interval
$I'$
defined in (2.6), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn13.png?pub-status=live)
See Figure 1 for an illustration of one example of a case with
$\sigma _f=-$
.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_fig1.png?pub-status=live)
Figure 1
$I'$
: the domain of the first return map R in the case where
$\sigma =-$
.
One can show inductively that for each gap mapping f there are
$n=n(f) \in \{ 0, 1, 2, \ldots \} \cup \{ \infty \} $
and a sequence of nested intervals
$(I_i)_{0 \leq i < n+1}$
, each one containing
$0$
, such that:
-
(1) the first return map
$R_i$ to
$I_i$ is a dissipative gap map, for every
$0 \leq i <n+1$ ;
-
(2)
$I_{i+1} = I_{R_i}'$ , for every
$0 \leq i <n$ .
If
$n< \infty $
, we say that f is finitely renormalizable and n-times renormalizable, and if
$n = \infty $
, we say that f is infinitely renormalizable. Moreover, we call
$G_i = G_{R_i}$
,
$\sigma _i = \sigma _{R_i}$
, and
$k_i = k_{R_i}$
, for every
$0 \leq i < n+1$
. In particular, this defines the combinatorics
$\Gamma = \Gamma (f)$
for f, given by the (finite or infinite) sequence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn14.png?pub-status=live)
Proposition 2.7. [Reference Gouveia and Colli17]
Two infinitely renormalizable dissipative gap mappings that have the same combinatorics are topologically conjugate.
For more details about this inductive definition and related properties, see paper [Reference Gouveia and Colli17].
2.3 Quasisymmetric rigidity
We know that two dissipative gap mappings with the same irrational rotation number are Hölder conjugate [Reference Gouveia and Colli17, Theorem A]; however, more is true. Let
$\kappa \geq 1$
and let I denote an interval in
$\mathbb R$
. Recall that a mapping
$h:I\to I$
is
$\kappa $
-quasisymmetric if for any
$x\in I$
and
$a>0$
so that
$x-a$
and
$x+a$
are in I, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu1.png?pub-status=live)
Proposition 2.8. Suppose that
$f,g$
are two dissipative gap maps with the same irrational rotation number, then f and g are quasisymmetrically conjugate.
Proof Let
$\phi ,\psi $
denote
$f^{-1},g^{-1}$
, respectively. Then
$\phi $
and
$\psi $
can be extended to expanding, degree-three, covering maps of the circle, which we will continue to denote by
$\phi $
and
$\psi $
. These extended mappings are topologically conjugate, and so they are quasisymmetrically conjugate. To see this, one may argue exactly as described in II.2, Exercise 2.3 of paper [Reference de Melo and van Strien12]. There exists a quasisymmetric mapping h of the circle so that
$h{{\kern0.5pt}\circ{\kern0.5pt}} \phi (z)=\psi {{\kern0.5pt}\circ{\kern0.5pt}} h(z)$
. Thus we have that
$h^{-1}{{\kern0.5pt}\circ{\kern0.5pt}} g=f{{\kern0.5pt}\circ{\kern0.5pt}} h^{-1},$
and it is well known that the inverse of a quasisymmetric mapping is quasisymmetric.
2.4 Convergence of renormalization to affine maps
It is convenient for us to introduce the following.
Definition 2.9. The nonlinearity operator
$N:\mathrm {Diff}_+^k([0,1]) \rightarrow \mathcal {C}^{k-2}([0,1])$
is defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn15.png?pub-status=live)
and
$N \varphi $
is called the nonlinearity of
$\varphi $
.
Proposition 2.10. Suppose that f is an infinitely renormalizable dissipative gap mapping. Then for any
$\varepsilon>0$
, there exists
$n_0\in \mathbb N$
so that for all
$n\geq n_0,$
there exists an affine gap mapping
$g_n$
so that
$\|R^n f-g_n\|_{\mathcal C^3}\leq \varepsilon .$
Proof Let us recall the formulas for the nonlinearity, N, and Schwarzian derivative, S, of iterates of f:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn16.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu2.png?pub-status=live)
Since the derivative of f is bounded away from one, these quantities are bounded in terms of
$Nf$
and
$Sf$
, respectively. But now, since
$|Nf|$
is bounded, say by
$C_1>0$
, we have that there exists
$C_2>0$
so that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu3.png?pub-status=live)
Since
$Df^k\rightarrow 0,$
as k tends to
$\infty $
, so does
$D^2f^k$
.
Now,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu4.png?pub-status=live)
and arguing in the same way, we have that
$D^3f^k\to 0$
as
$k\to \infty .$
Thus by taking k large enough,
$f^k$
is arbitrarily close to its affine part in the
$\mathcal C^3$
-topology.
3 Renormalization of decomposed mappings
In this section, we recall some background material on the nonlinearity operator and decomposition spaces; for further details see paper [Reference Martens25, Reference Martens and Winckler29]. We then define the decomposition space of dissipative gap mappings, and describe the action of renormalization on this space.
3.1 The nonlinearity operator
In Definition 2.9, we introduced the nonlinearity operator. Let us explore some of its properties.
Remark 3.1. For convenience, we use the abbreviated notation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu5.png?pub-status=live)
Lemma 3.2. The nonlinearity operator is a bijection.
Proof The operator N has an explicit inverse given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu6.png?pub-status=live)
where
$f \in \mathcal {C}^0([0,1])$
.
By Lemma 3.2, we can identify
$\text {Diff}_+^{3}([0,1])$
with
$\mathcal {C}^{1}([0,1])$
using the nonlinearity operator. It will be convenient to work with the norm induced on
$\text {Diff}_+^3([0,1])$
by this identification. For
$\varphi \in \mathrm {Diff}_+^3([0,1])$
, we define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu7.png?pub-status=live)
We say that a set T is a time set if it is at most countable and totally ordered. Given a time set T, let X denote the space of decomposed diffeomorphisms labeled by T:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu8.png?pub-status=live)
The norm of an element
$\underline {\varphi } \in X $
is defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu9.png?pub-status=live)
We define the direct sum of time sets and decompositions as follows. Given two time sets
$T_1$
and
$T_2$
, we define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu10.png?pub-status=live)
where
$(x,i)<(y,i)$
if and only if
$x<y,$
and
$(x,2)>(y,1)$
for all
$x\in T_2, \ y\in T_1.$
The sum of two decompositions
$\underline {\varphi }_1\oplus \underline {\varphi }_2,$
where
$\underline {\varphi }_i\in \mathcal D_{T_i}, \ i=1,2$
, is the composition of the diffeomorphisms of
$\underline {\varphi }_1,$
in the order of
$T_1$
, followed by the diffeomorphisms of
$\underline {\varphi }_2,$
in the order of
$T_2$
, see paper [Reference Martens and Winckler29] for further details.
To simplify the following discussion, assume that
$T=\{1,2,3,\ldots ,n\}$
or
$T=\mathbb N$
. We define the partial composition by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn17.png?pub-status=live)
and the complete composition is given by the limit
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn18.png?pub-status=live)
which allow us to define the operator
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn19.png?pub-status=live)
Since the space of decompositions is a Banach space [Reference Martens and Winckler29, Proposition 7.5], to prove that the limit in (3.2) exists, it is enough to prove that
$\{ O_n \underline {\varphi } \}_{n}$
is a Cauchy sequence. This follows from the Sandwich Lemma from paper [Reference Martens25], and (2.16).
3.2 The decomposition space for dissipative gap mappings
It will be convenient to introduce a different set of coordinates on the space of gap mappings. Let
$I=[a, b] \subset [0, 1]$
and let
$1_I:[0,1] \rightarrow [a,b]$
be the affine map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu11.png?pub-status=live)
which has the inverse
$1_I^{-1}:[a, b] \rightarrow [0,1]$
given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu12.png?pub-status=live)
We denote by
$\Sigma $
the unit cube
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu13.png?pub-status=live)
by
$\text {Diff}_+^3([0,1])^2$
the set
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu14.png?pub-status=live)
and by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu15.png?pub-status=live)
We define a change of coordinates from
$\mathcal D'$
to
$\mathcal {D}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn20.png?pub-status=live)
where
$f:[b-1, b] \setminus \{0\} \rightarrow [b-1,b]$
is defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn21.png?pub-status=live)
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn22.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn23.png?pub-status=live)
Note that
$f_L$
and
$f_R$
are differentiable and strictly increasing functions such that
$0 < f_L '(x) \leq \nu < 1$
, for all
$x\in [b-1,0]$
, and
$0 < f_R '(x) \leq \nu < 1$
, for all
$x\in [0, b]$
, where
$\nu $
is a positive real number and less than
$1$
depending on f, that is,
$\nu = \nu _f \in (0,1)$
. The functions
$\varphi _L$
and
$\varphi _R$
are called the diffeomorphic parts of f. See Figure 2.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_fig2.png?pub-status=live)
Figure 2 Branches
$f_L$
and
$f_R$
, slopes
$\alpha $
and
$\beta $
of a gap map f.
Remark 3.3. Depending on the properties of a gap mapping that we wish to emphasize, we can express a gap mapping f in either coordinate system:
$f=(f_L, f_R, b)$
or
$f=(\alpha ,\beta , b,\varphi _L,\varphi _R),$
and we will move freely between the two coordinate systems.
We define the decomposition space of dissipative gap maps,
$\underline {\mathcal {D}}$
, by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu16.png?pub-status=live)
The composition operator defined in (3.3) provides a way to project the space
$\underline {\mathcal {D}}$
to the space
$(0,1)^3 \times \text {Diff}_{+}^{2}([0, 1]) \times \text {Diff}_{+}^{2}([0, 1])$
. More precisely
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn24.png?pub-status=live)
3.3 Renormalization on
$\underline {\mathcal {D}}$
It is known that the zoom operator
$\varsigma _I : \mathcal {C}^1([0,1]) \rightarrow \mathcal {C}^1([0,1])$
is defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn25.png?pub-status=live)
Observe that the nonlinearity operator satisfies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu17.png?pub-status=live)
Thus, we define the zoom operator
$Z_I: \mathcal {C}^1([0,1]) \rightarrow \mathcal {C}^1([0,1])$
acting on a nonlinearity by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn26.png?pub-status=live)
and if
$\varphi $
is a
$\mathcal C^2$
diffeomorphism, we define
$Z_I\varphi $
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu18.png?pub-status=live)
where
$\eta _{\varphi }=N\varphi .$
Let
$\mathcal D_0$
denote the set of once renormalizable gap mappings. If
$f=(\alpha ,\beta ,b,\varphi _L,\varphi _R)\in \mathcal D_0$
, we let
$\tilde f=\mathcal R f=(\tilde \alpha ,\tilde \beta , \tilde b,\tilde \varphi _L,\tilde \varphi _R)$
denote its renormalization. When
$\sigma _f=-$
, we have the following expressions for the coordinates of
$\tilde f$
:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn27.png?pub-status=live)
We have similar expressions when
$\sigma _f=+,$
which we omit.
To express
$\tilde {\underline {f}}\in \underline {\mathcal {D}},$
we write
$\tilde {\underline {f}}=(\tilde \alpha ,\tilde \beta , \tilde b,\tilde {\underline {\varphi }}_L,\tilde {\underline {\varphi }}_R)$
, where
$\tilde \alpha ,\tilde \beta $
and
$\tilde b$
are as in (3.11), and
$ \tilde {\underline {\varphi }}_L$
and
$\tilde {\underline {\varphi }}_R,$
are defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu19.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu20.png?pub-status=live)
where
$\underline {f}_L$
and
$\underline {f}_R$
are decompositions over a singleton time set (a decomposition associated to a single iterate of a mapping),
$U_0=(0^+_{k+1},0),\ U_i=f^i(U_0)$
for
$0<i\leq k+2$
,
$V_0=(0,0^-_{k+2}),$
and
$V_i=f^i(V_0)$
for
$0<i\leq k+1.$
Let us comment briefly on this definition. The mappings
$\tilde \varphi _L$
and
$\tilde \varphi _R$
are the compositions of f corresponding to the left and right branches of the renormalization
$\tilde f$
, pre-composed and post-composed with affine mappings, so that they are expressed as mappings from the unit interval onto itself. To define
$\tilde {\underline {\varphi }}_L,$
we take the direct sum of terms of the form
$\varsigma _{U_i}\underline f_L.$
Each of these terms is the restriction of (a single iterate of) f to
$U_i$
, the ith interval in the orbit of either
$(0,b)$
or
$(b-1,0)$
, depending on whether
$\sigma _f = -$
or
$+$
, respectively, pre-composed and post-composed by affine mappings, so that it is a mapping from the unit interval onto itself. The direct sum of mappings in the decomposition space corresponds to composition of mappings, so one immediately sees that after composing the decomposed mappings we obtain
$\tilde f.$
As we will use the structure of Banach space in
$\text {Diff}_{+}^{3}([0, 1])$
given by the nonlinearity operator, we need the expressions for the coordinates functions
$\tilde {\varphi }_L$
and
$\tilde {\varphi }_R$
in terms of the zoom operator. Note that the coordinates
$\tilde {\alpha }$
,
$\tilde {\beta }$
, and
$\tilde {b}$
remain the same as in (3.11) since they are not affected by the zoom operator. In order to obtain these coordinate functions, we need to apply the zoom operator to each branch of the first return map R on the interval
$I'= [0_{k+1}^{+}, 0_{k+2}^{-}]$
, in the case where
$\sigma _f=-$
, or on the interval
$I'= [0_{k+2}^{+}, 0_{k+1}^{-}]$
, in the case where
$\sigma _f=+$
. Then, when
$\sigma _f=-$
, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn28.png?pub-status=live)
The formulas when
$\sigma =+$
are similar, and to save space we do not include them.
Remark 3.4. We would like to stress that throughout the remainder of this paper, we will make use of the Banach space structure on
$\text {Diff}_{+}^{3}([0, 1])$
given by its identification with
$\mathcal C^1([0,1])$
via the nonlinearity operator.
4 The derivative of the renormalization operator
In this section, we will estimate the derivative of the renormalization operator acting on an absorbing set under renormalization in the decomposition space of dissipative gap mappings. A little care is needed since the operator is not differentiable.
Recall that
$\mathcal D_0\subset \mathcal C^3$
is the set of once renormalizable dissipative gap mappings. Then
$\mathcal R:\mathcal D_0\to \mathcal C^2$
is differentiable, and the derivative
$D\mathcal R_f:\mathcal C^3 \to \mathcal C^2$
extends to a bounded operator
$D\mathcal R_f:\mathcal C^2\to \mathcal C^2,$
which depends continuously on
$f\in \mathcal C^3.$
In paper [Reference Martens and Palmisano27],
$\mathcal R$
is called jump-out differentiable.
If
$\underline {f}=(\alpha , \beta , b, \underline {\varphi }_L, \underline {\varphi }_R) \in \underline {\mathcal D}_0$
, the derivative of
$\underline {\mathcal {R}}_{\underline {f}}$
,
$D\underline {\mathcal {R}}_{\underline {f}}$
, is a matrix of the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn29.png?pub-status=live)
where
-
•
$A_{\underline {f}}: \mathbb {R}^3 \rightarrow \mathbb {R}^3$ ,
-
•
$B_{\underline {f}}: X \times X \rightarrow \mathbb {R}^3$ ,
-
•
$C_{\underline {f}}: \mathbb {R}^3 \rightarrow X \times X$ ,
-
•
$D_{\underline {f}}: X \times X \rightarrow X \times X.$
We estimate
$A_{\underline {f}}$
in Lemma 4.6,
$B_{\underline {f}}$
in Lemma 4.8,
$C_{\underline {f}}$
in Lemma 4.9, and
$D_{\underline {f}}$
in Lemma 4.14.
In order to estimate the entries of matrices
$A_{\underline {f}}$
,
$B_{\underline {f}}$
,
$C_{\underline {f}}$
, and
$D_{\underline {f}}$
, we will make use of the partial derivative operator
$\partial $
. The main properties of
$\partial $
are presented in the next lemma.
Lemma 4.1. [Reference Martens and Winckler29, Lemma 9.4]
The following equations hold whenever they make sense:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn30.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn31.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn32.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn33.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn34.png?pub-status=live)
From now on, we will make use of the notation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu21.png?pub-status=live)
to mean that there exists a positive constant
$K < \infty $
not depending on g such that
$K^{-1}y \leq g(x) \leq K y$
, for all x in the domain of g.
Recall that the inverse of the nonlinearity operator
$N: \text {Diff}_+^3([0,1]) \rightarrow \mathcal {C}^1([0,1])$
is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn35.png?pub-status=live)
where
$\eta \in \mathcal {C}^1([0,1]).$
Lemma 4.2. Let
$x \in [0, 1]$
. The evaluation operator
$E: \mathrm{Diff}_{+}^2([0,1]) = \mathcal {C}^0([0,1]) \rightarrow \mathbb {R}$
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu22.png?pub-status=live)
is differentiable with derivative
$\displaystyle {\partial \varphi (x)}/{\partial \eta }: \mathcal {C}^0([0,1]) \rightarrow \mathbb {R}$
given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn36.png?pub-status=live)
There exists
$\varepsilon _0>0$
so that for all
$\varepsilon \in (0,\varepsilon _0),$
if
$\| D^2\varphi \|_{\mathcal {C}^0} < \varepsilon ,$
we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn37.png?pub-status=live)
Proof In order to prove that the evaluation operator E is (Fréchet) differentiable and obtain (4.8), we just need to use the Gateaux variation to look for a candidate T for its derivative, that is,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn38.png?pub-status=live)
Since this calculation is not difficult, we have left it to the reader. Now we will prove (4.9). Using techniques of integration, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn39.png?pub-status=live)
From (4.11), (4.8), and (4.7), and after some manipulations, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn40.png?pub-status=live)
From the definition of the norm
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu23.png?pub-status=live)
we can substitute
$\Delta \eta = 1$
into (4.12) and obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu24.png?pub-status=live)
Using the fact that for deep renormalizations, the map
$\varphi $
is close to identity, that is,
$\|\varphi (x) - x\|_{\mathcal C^0}$
is small, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn41.png?pub-status=live)
Since
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu25.png?pub-status=live)
for all
$x \in [0, 1]$
, where
$T_c(x)$
is the tent map family
$T_c:[0,1]\to [0,1]$
, defined by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu26.png?pub-status=live)
The result follows.
Corollary 4.3. [Reference Martens and Palmisano27, Corollary 8.17]
Let
$\psi ^+, \psi ^- \in \mathrm{Diff}_{+}^2([0, 1])$
and
$x \in [0, 1]$
. The evaluation operator
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn42.png?pub-status=live)
is differentiable with derivative
$\displaystyle {\partial ( \psi ^+ {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _{\eta } {{\kern0.5pt}\circ{\kern0.5pt}} \psi ^- (x) ) }/{\partial \eta } : \mathcal {C}^0([0,1]) \rightarrow \mathbb {R}$
given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn43.png?pub-status=live)
The next result follows from a straightforward calculation, and its proof is left to the reader.
Lemma 4.4. The branches
$f_L$
and
$f_R$
of f defined in (3.5) are differentiable and their partial derivatives are given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn44.png?pub-status=live)
Furthermore, all these partial derivatives are bounded.
Let
$f=(f_L, f_R, b) \in \mathcal {D}$
be a renormalizable dissipative gap map. The boundaries of the the interval
$I'=[0_{k+1}^{+}, 0_{k+2}^{-}]$
for
$\sigma _f=-$
, and
$I'=[0_{k+2}^{+}, 0_{k+1}^{-}]$
for
$\sigma _f=+$
, can be interpreted as evaluation operators, that is,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn45.png?pub-status=live)
where
$j \in \{ k+1, k+2 \}$
depending on the sign of f. For convenience, we will call
$0_{j}^{\pm }$
as boundary operators. The next result gives us some properties about the boundary operators.
Lemma 4.5. The boundary operators
$0_{j}^{\pm }$
are differentiable and the partial derivatives
$\displaystyle {\partial 0_{j}^{\pm }}/{\partial *}$
are bounded, where
$* \in \{ \alpha , \beta , b, \eta _L, \eta _R \}$
and
$j \in \{ k+1, k+2 \}$
, depending on the sign of f.
Proof Consider the boundary operators
$0_{k+2}^{-}$
and
$0_{k+1}^{+}$
, which are explicitly given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu27.png?pub-status=live)
when
$\sigma _f=-$
, and where
$f_L = 1_{T_{0,L}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _L {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,L}}^{-1}$
and
$f_R = 1_{T_{0,R}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _R {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,R}}^{-1}$
. Using (4.3) and taking
$* \in \{ \alpha , \beta , b, \eta _L, \eta _R \}$
we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn46.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn47.png?pub-status=live)
Using the fact that
$0 < f'(x) \leq \nu < 1$
, for all
$x \in [b-1,b] \setminus \{ 0 \}$
, and Lemma 4.4, we get that
$\displaystyle {\partial }/{\partial *} ( 0_{k+2}^{-} )$
and
$\displaystyle {\partial }/{\partial *} ( 0_{k+1}^{+} )$
are bounded. With similar arguments and reasoning, we prove that the other boundary operators have bounded partial derivatives.
4.1 The
$A_{\underline {f}}$
matrix
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn48.png?pub-status=live)
All the entries of matrix
$A_{\underline {f}}$
can be calculated explicitly by using Lemma 4.1. In order to clarify the calculations, we will compute some of them in the next lemma.
Lemma 4.6. Let
$ \underline {f}=(\alpha ,\beta ,b,\underline {\varphi }_R, \underline {\varphi }_L) \in \underline {\mathcal D}_0$
. The map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn49.png?pub-status=live)
is differentiable. Furthermore, for any
$\varepsilon>0, K>0$
if
$\underline g\in \underline {\mathcal {D}}_0$
is infinitely renormalizable, there exists
$n_0\in \mathbb N,$
so that if
$n\geq n_0$
and
$\underline f=\underline {\mathcal {R}}^n \underline g,$
then the partial derivatives
$\displaystyle |({\partial }/{\partial \alpha }) \tilde {\alpha }|$
,
$\displaystyle | ({\partial }/{\partial \beta }) \tilde {\alpha }|$
,
$\displaystyle | ({\partial }/{\partial b }) \tilde {\alpha }|$
,
$\displaystyle | ({\partial }/{\partial \alpha }) \tilde {\beta }|$
,
$\displaystyle |({\partial }/{\partial \beta }) \tilde {\beta }|$
, and
$\displaystyle |({\partial }/{\partial b }) \tilde {\beta }|$
are all bounded from above by
$\varepsilon $
, and the partial derivatives
$\displaystyle |({\partial }/{\partial \alpha }) \tilde {b}|$
,
$\displaystyle | ({\partial }/{\partial \beta }) \tilde {b}|$
and
$\displaystyle | ({\partial }/{\partial b }) \tilde {b}|$
are bounded from below by K. In particular,
$\displaystyle | ({\partial }/{\partial b }) \tilde {b}|\asymp {1}/{|I'|}.$
(See §3.3 for the definition of
$I'$
.)
Proof We will prove this lemma in the case where
$\sigma _f=-$
. The case
$\sigma _f=+$
is similar and we will leave it to the reader. From (3.11) we obtain the partial derivatives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn50.png?pub-status=live)
where
$* \in \{ \alpha , \beta , b \}$
. Let us start to deal with the first line of
$A_{\underline {f}}$
, that is, with the partial derivatives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu28.png?pub-status=live)
where
$* \in \{ \alpha , \beta , b\}$
. Taking
$* = \alpha $
, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn51.png?pub-status=live)
From (4.2) and using the fact that
$f_R$
does not depend on
$\alpha $
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn52.png?pub-status=live)
Since
$0_{k+1}^{+}=f_L^k(b-1)$
, we can apply (4.3) and get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn53.png?pub-status=live)
Since
$0_{k+2}^{-} = f_L^k {{\kern0.5pt}\circ{\kern0.5pt}} f_R(b)$
by applying the mean value theorem to the difference
$f_L^k {{\kern0.5pt}\circ{\kern0.5pt}} f_R {{\kern0.5pt}\circ{\kern0.5pt}} f_L (0_{k+1}^{+}) - 0_{k+2}^{-} $
, we obtain a point
$\xi \in (f_L(0_{k+1}^{+}),b)$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn54.png?pub-status=live)
Since
$b=f_L(0^-)$
, by applying the mean value theorem once more, we obtain another point
$\zeta \in (0_{k+1}^{+}, 0)$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn55.png?pub-status=live)
Substituting (4.27), (4.26), and (4.24) into (4.23), and after some manipulations, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn56.png?pub-status=live)
By (4.3), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn57.png?pub-status=live)
From Lemma 4.4, we know that
$\displaystyle ({\partial f_L}/{\partial \alpha })(x)$
is bounded, then putting
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu29.png?pub-status=live)
we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn58.png?pub-status=live)
Applying the mean value theorem twice, we obtain a point
$\xi _i \in (f_{L}^{i+1} {{\kern0.5pt}\circ{\kern0.5pt}} f_R {{\kern0.5pt}\circ{\kern0.5pt}} f_L(0_{k+1}^{+}), f_{L}^{i+1} {{\kern0.5pt}\circ{\kern0.5pt}} f_R(b))$
, and a point
$\theta _i \in (f_L(0_{k+1}^{+}), b)$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn59.png?pub-status=live)
From this we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn60.png?pub-status=live)
For the other difference in (4.28), we start by observing that
$\displaystyle ({\partial }/{\partial \alpha }) ( f_L(0_{k+1}^{+}))$
and
$\displaystyle ({\partial }/{\partial \alpha }) ( 0_{k+1}^{+} )$
are either simultaneously positive or negative. Furthermore, from Lemma 4.5, we have that
$\displaystyle ({\partial }/{\partial \alpha }) ( 0_{k+1}^{+} )$
is bounded, and arguing similarly, we have that
$\displaystyle {\partial }/{\partial \alpha } ( f_L(0_{k+1}^{+}))$
is also bounded. Thus, there exists a constant
$\displaystyle C_2>0$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn61.png?pub-status=live)
where
$w \in (f_L(0_{k+1}^{+}), \xi )$
is a point given by the mean value theorem.
Substituting (4.32) and (4.33) into (4.28), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn62.png?pub-status=live)
Since the first and second derivatives of f go to zero when the level of renormalization goes to infinity, we conclude that
$ \displaystyle | ({\partial }/{\partial \alpha }) \tilde {\alpha } | \longrightarrow 0$
when the level of renormalization goes to infinity. With same arguments and reasoning, we can prove that
$\displaystyle | ({\partial }/{\partial \beta }) \tilde {\alpha } |$
,
$\displaystyle | ({\partial }/{\partial b}) \tilde {\alpha } |$
,
$\displaystyle | ({\partial }/{\partial \alpha }) \tilde {\beta } |$
,
$\displaystyle | ({\partial }/{\partial \beta }) \tilde {\beta } |$
, and
$\displaystyle | ({\partial }/{\partial b}) \tilde {\beta } |$
all tend to zero as the level of renormalization tends to infinity.
Now we will prove that
$\displaystyle | {\partial \tilde {b} }/{\partial b} |$
is big. From (4.22), we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn63.png?pub-status=live)
which is big since the size of
$I'$
goes to 0 when the level of renormalization is deeper, and from Lemma 4.4 we get that
$\displaystyle ({\partial f_L}/{\partial b}) ( f_L^{k-1} {{\kern0.5pt}\circ{\kern0.5pt}} f_R(b) )$
and
$\displaystyle ({\partial f_L}/{\partial b}) ( f_L^{k-1}(b-1) )$
are both greater than a positive constant
$c>1/3$
. With the same arguments, we prove that
$\displaystyle | {\partial \tilde {b} }/{\partial \alpha } |$
and
$\displaystyle | {\partial \tilde {b} }/{\partial \beta } |$
are big.
Remark 4.7. We note that all the calculations used to get
$({\partial \tilde {\alpha }}/{\partial \alpha })(x)$
in the above proof of Lemma 4.6 we can use to get the others partial derivatives
$({\partial \tilde {\alpha }}/{\partial \beta })(x)$
,
$ ({\partial \tilde {\alpha }}/{\partial b })(x)$
,
${\partial \tilde {\alpha }}/{\partial \eta _L} $
, and
$({\partial \tilde {\alpha }}/{\partial \eta _R })(x)$
, just observing that in each case the constants will depend on the specific partial derivative we are calculating, that is, in the calculation of
$({\partial \tilde {\alpha }}/{\partial \eta _L })(x)$
the constants
$C_1$
and
$C_2$
will depend on
${\partial f_L}/{\partial \eta _L }$
.
4.2 The
$B_{\underline {f}}$
matrix
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn64.png?pub-status=live)
Lemma 4.8. Let
$\underline {f} \in \underline {\mathcal D}_0$
. The maps
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn65.png?pub-status=live)
are differentiable. Moreover, for any
$\varepsilon>0$
, if
$\underline g\in \underline {\mathcal {D}}$
is infinitely renormalizable, and
$\underline f=\underline {\mathcal {R}}^n\underline g$
, then there exists
$n_0\in \mathbb N$
so that for
$n\geq n_0$
, we have that
$\displaystyle | {\partial \tilde {\alpha }}/{\partial \eta _L }|, \displaystyle |{\partial \tilde {\alpha }}/{\partial \eta _R }|, \displaystyle | {\partial \tilde {\beta }}/{\partial \eta _L }|, \displaystyle |{\partial \tilde {\beta }}/{\partial \eta _R }|<\varepsilon $
,
$\displaystyle |{\partial \tilde {b}}/{\partial \eta _R }|=0,$
and
$\displaystyle | {\partial \tilde {b}}/{\partial \eta _L }|\asymp {b}/{|I'|}$
, where
$I'$
is as defined in §3.3.
Proof From (3.11), the expressions of the partial derivatives of
$\tilde {\alpha }$
,
$\tilde {\beta }$
, and
$\tilde {b}$
are given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn66.png?pub-status=live)
where
$* \in \{ \eta _L, \eta _R \}$
. With similar arguments used in the proof of Lemma 4.6, we can prove that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu30.png?pub-status=live)
are as small as we want.
Now let us estimate
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu31.png?pub-status=live)
Observe that at deep levels of renormalization, the diffeomorphic parts
$\varphi _L$
and
$\varphi _R$
are very close to the identity function, so we can assume that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu32.png?pub-status=live)
where
$\epsilon>0$
is arbitrarily small. With some manipulations, we get from (4.38)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn67.png?pub-status=live)
Let us analyze each term inside the braces separately. Since
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu33.png?pub-status=live)
we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn68.png?pub-status=live)
By using analogous arguments, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn69.png?pub-status=live)
Substituting (4.41) and (4.40) into (4.39), we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn70.png?pub-status=live)
Since the size of the renormalization interval
$I'$
goes to zero when the level of renormalization goes to infinity, we can assume that
$b-0_{k+2}^{-} \asymp b$
, and then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn71.png?pub-status=live)
where we use the assumption that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn72.png?pub-status=live)
By using the approximation (4.44), we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn73.png?pub-status=live)
Using (4.45), (4.44), and the definition of the affine map
$1_{I_{0,L}}^{-1}$
by (4.42), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn74.png?pub-status=live)
Since
$I'= [0_{k+1}^{+}, 0_{k+2}^{-}]$
and
$|I'| \leq \alpha \cdot \beta \cdot b$
for all
$k \geq 1$
, we can conclude that
$\displaystyle ({0_{k+1}^{+} \cdot 0_{k+2}^{-}})/{|I'|^2}$
is bounded and thus
$\displaystyle | ({\partial }/{\partial \eta _L}) \tilde {b} | \asymp {-b}/{|I'|}.$
For the derivative of
$\tilde {b}$
with respect to
$\eta _R$
, we start by noting that
$0_{k+1}^{+} = f_L^{k}(b-1)$
does not depend on
$\eta _R$
. Hence, with similar arguments used to get (4.39), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn75.png?pub-status=live)
Since
$\displaystyle f_R = 1_{T_{o,R}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _R {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,R}}^{-1}$
and the point
$1_{I_{0,R}}^{-1}(b)$
is always fixed by any
$\varphi _R \in \text {Diff}_{+}^{3}[0,1]$
, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu34.png?pub-status=live)
and then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu35.png?pub-status=live)
which implies in
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu36.png?pub-status=live)
as desired.
4.3 The
$C_{\underline {f}}$
matrix
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn76.png?pub-status=live)
Lemma 4.9. Let
$ \underline {f} \in \underline {\mathcal D}_0 $
. The maps
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn77.png?pub-status=live)
are differentiable and the partial derivatives are bounded. Furthermore, for any
$\varepsilon>0$
, if
$\underline g\in \underline {\mathcal {D}}_0$
is an infinitely renormalizable mapping, there exists
$n_0\in \mathbb N$
so that if
$n\geq n_0$
and
$\underline f=\underline {\mathcal {R}}^n \underline g$
, we have that
$ \displaystyle | {\partial \tilde {\eta }_L}/{\partial \beta }|$
and
$\displaystyle | {\partial \tilde {\eta }_R}/{\partial \beta }|<\varepsilon $
, when
$\sigma _f=-$
, and when
$\sigma _f=+$
we have that
$ \displaystyle |{\partial \tilde {\eta }_L}/{\partial \alpha }|$
and
$\displaystyle |{\partial \tilde {\eta }_R}/{\partial \alpha }|<\varepsilon .$
We will require some preliminary results before proving this lemma. For the next calculations we deal only with the case
$\sigma _f=-$
, since case
$\sigma _f=+$
is analogous. From (3.12), the partial derivatives of
$\tilde {\eta }_L$
with respect to
$\alpha $
,
$\beta $
, and b are given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn78.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn79.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn80.png?pub-status=live)
We have similar expressions for the partial derivatives of
$\tilde {\eta }_R$
with respect to
$\alpha , \beta $
, and b; however, we omit them at this point.
In order to prove that all the six entries of the
$C_{\underline {f}}$
matrix are bounded, we need to analyze the terms
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu37.png?pub-status=live)
with
$* \in \{ \alpha , \beta , b\}$
for
$\tilde {\eta }_L$
, and the corresponding ones for
$\tilde {\eta }_R$
. This analysis will be done in the following lemmas.
Lemma 4.10. [Reference Martens and Palmisano27, Lemma 8.20]
Let
$\varphi \in \mathrm{Diff}_{\kern0.5pt+}^{\kern2pt3}([0,1])$
. The zoom curve
$Z:[0,1]^2 \ni (a,b) \mapsto Z_{[a,b]} \varphi \in \mathrm{Diff}_{+}^2([0,1])$
is differentiable with partial derivatives given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn81.png?pub-status=live)
The norms are bounded by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn82.png?pub-status=live)
Furthermore, by considering a fixed interval
$I \subset [0,1]$
, the zoom operator
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn83.png?pub-status=live)
where
$Z_I \varphi (x)$
is defined in (3.10), is differentiable with respect to
$\eta $
and its derivative is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu38.png?pub-status=live)
and its norm is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu39.png?pub-status=live)
Since the nonlinearity of affine maps is zero, it is not difficult to check that the nonlinearity of the branches
$f_L = 1_{T_{0,L}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _L {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,L}}^{-1}$
and
$f_R = 1_{T_{0,R}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _R {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,R}}^{-1}$
are
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn84.png?pub-status=live)
Hence, we note that
$N f_L$
depends only on b and
$\varphi _L$
, while
$Nf_R$
depends only on b and
$\varphi _R$
. Thus, we can derive
$N f_L$
with respect to b and
$\varphi _L$
, and we can derive
$N f_R$
with respect to b and
$\varphi _R$
. This is treated in the next result.
Lemma 4.11. Let
$\underline {f} \in \underline {\mathcal D}_0$
and let g be a
$\mathcal {C}^1$
function. If the partial derivatives of g with respect to
$\alpha $
,
$\beta $
, and b are bounded, then whenever the expressions make sense, the compositions
$Nf_L {{\kern0.5pt}\circ{\kern0.5pt}} g (x)$
and
$Nf_R {{\kern0.5pt}\circ{\kern0.5pt}} g(x)$
are differentiable, and the corresponding partial derivatives are bounded.
Proof From (4.56) and Lemma 4.1, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn85.png?pub-status=live)
For
$Nf_R {{\kern0.5pt}\circ{\kern0.5pt}} g(x)$
, we have a similar expression for its derivative with respect to b just changing
$I_{0,L}$
by
$I_{0,R}$
and
$\varphi _L$
by
$\varphi _R$
. The other partial derivatives are
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn86.png?pub-status=live)
where
$* \in \{ \alpha , \beta \}$
. Since our gap mappings
$f=(f_L, f_R, b)$
have Schwarzian derivative
$Sf$
and nonlinearity
$Nf$
bounded, by the formula of the Schwarzian derivative
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu40.png?pub-status=live)
we obtain that the derivative of the nonlinearity
$D(Nf)$
is bounded. Using the hypothesis that the function g has bounded partial derivatives, the result follows as desired.
The next result is about a property that the nonlinearity operator satisfies and which we will need. A proof for it can be found in paper [Reference Martens and Winckler29].
Lemma 4.12. The chain rule for the nonlinearity operator. If
$\phi , \psi \in \mathcal {D}^2$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn87.png?pub-status=live)
An immediate consequence of Lemma 4.12 is the following result.
Corollary 4.13. The operators
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn88.png?pub-status=live)
are differentiable. Furthermore, their partial derivatives are bounded.
Proof From Lemma 4.12, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn89.png?pub-status=live)
Taking
$* \in \{ \alpha , \beta , b \}$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn90.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn91.png?pub-status=live)
Since
$f_L = 1_{T_{0,L}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _L {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,L}}^{-1}$
,
$f_R = 1_{T_{0,R}} {{\kern0.5pt}\circ{\kern0.5pt}} \varphi _R {{\kern0.5pt}\circ{\kern0.5pt}} 1_{I_{0,R}}^{-1}$
,
$T_{0,L}= [\alpha (b-1)+b, b]$
,
$T_{0,R}= [b-1, \beta b + b-1]$
,
$I_{0,L}= [b-1, 0]$
, and
$I_{0,R}= [0, b]$
, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu41.png?pub-status=live)
Hence, we get that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu42.png?pub-status=live)
are bounded for
$* \in \{ \alpha , \beta , b \}$
. From this and from Lemma 4.11, the result follows.
Proof of Lemma 4.9 Let us assume that
$\sigma =-;$
the proof for
$\sigma =+$
is similar. By the last four results, we have that the partial derivatives of
$\tilde \eta _L$
and
$\tilde \eta _R$
, with respect to
$\alpha $
and b, are bounded. It remains for us to show that
$ \displaystyle | {\partial \tilde {\eta }_L}/{\partial \beta }|$
and
$\displaystyle |{\partial \tilde {\eta }_R}/{\partial \beta }|$
are arbitrarily small at sufficiently deep renormalization levels. Notice that we have
$0_{k+1}^{+}= f_L^k(b-1)$
and
$0_{k+2}^{-}= f_L^k {{\kern0.5pt}\circ{\kern0.5pt}} f_R (b)$
, then
$ \displaystyle ({\partial 0_{k+1}^{+}})/{\partial \beta } = 0 $
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu43.png?pub-status=live)
which goes to zero when the renormalization level goes to infinity.
4.4 The
$D_{\underline {f}}$
matrix
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn92.png?pub-status=live)
Lemma 4.14. Let
$\underline {f} \in \underline {\mathcal D}_0$
. The maps
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn93.png?pub-status=live)
are differentiable. Furthermore, for any
$\varepsilon>0$
and infinitely renormalizable
$\underline g\in \underline {\mathcal {D}}_0,$
we have that there exists
$n_0\in \mathbb N,$
so that if
$n\geq n_0$
and
$\underline f=\underline {\mathcal {R}}^n \underline g,$
we have that each
$\displaystyle |{\partial \tilde \eta _i}/{\partial \eta _j}|<\varepsilon ,$
for
$i,j\in \{L,R\}.$
We will prove this lemma after some preparatory results.
Lemma 4.15. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn94.png?pub-status=live)
be a
$\mathcal {C}^1$
operator with bounded derivative. Let
$\underline {f} \in \underline {\mathcal D}_0 $
. The operators
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn95.png?pub-status=live)
where
$\star \in \{ L, R \}$
, are differentiable.
Proof Using the partial derivative operator
$\partial $
, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu44.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu45.png?pub-status=live)
with
$\star \in \{ L, R \}$
.
Lemma 4.16. The operator
$ F : \mathrm{Diff}_{+}^{3}([0, 1])= {\mathcal C}^1([0, 1]) \rightarrow {\mathcal C}^1([0, 1])$
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu46.png?pub-status=live)
is differentiable and its derivative is bounded.
Proof Since the nonlinearity is a bijection, given a nonlinearity
$\eta \in {\mathcal C}^1([0, 1])$
, its corresponding diffeomorphism is given explicitly by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu47.png?pub-status=live)
and the derivative of
$\varphi _{\eta }(x)$
is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu48.png?pub-status=live)
Thus, the derivative of F can be calculated and is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu49.png?pub-status=live)
From this expression, it is possible to check and conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu50.png?pub-status=live)
is bounded as we desire.
Corollary 4.17. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn96.png?pub-status=live)
be a
$\mathcal {C}^1$
operator with bounded derivative. Let
$\underline {f} \in \underline {\mathcal D}_0 $
. The operators
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn97.png?pub-status=live)
where
$\star \in \{ L, R \}$
, are differentiable and their derivatives are bounded.
Now we can make the proof of Lemma 4.14.
Proof of Lemma 4.14 The proof will be done just for the case where
$\sigma _f = -$
. The case where
$\sigma _f=+$
is analogous and we leave it to the reader. From (3.11), the partial derivatives of
$\tilde {\eta }_L$
with respect to
$\eta _L$
and
$\eta _R$
are given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn98.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn99.png?pub-status=live)
respectively. From Lemma 4.10, we know that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu51.png?pub-status=live)
is bounded and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu52.png?pub-status=live)
when the level of renormalization tends to infinity. Hence,
$\| \displaystyle {\partial }/{\partial \eta _{\tilde {f}_L}} ( Z_{[0_{k+1}^+,0]} \eta _{\tilde {f}_L} ) \|$
is as small as we desire. From (4.40) (in the proof of Lemma 4.8), we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu53.png?pub-status=live)
which is also as small as we desire. Since
$0_{k+1}^{+}=f_L^k(b-1)$
does not depend on
$\varphi _R$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu54.png?pub-status=live)
Hence, in order to prove that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu55.png?pub-status=live)
are tiny, we just need to prove that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu56.png?pub-status=live)
are tiny. Since
$\eta _{\tilde {f}_L}=N(\tilde {f}_L)=N(f_L^k {{\kern0.5pt}\circ{\kern0.5pt}} f_R {{\kern0.5pt}\circ{\kern0.5pt}} f_L) $
from (4.62), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn100.png?pub-status=live)
Since our gap mappings
$f=(f_L, f_R, b)$
have bounded Schwarzian derivative
$Sf$
and bounded nonlinearity
$Nf$
, by the formula for the Schwarzian derivative of f
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu57.png?pub-status=live)
we obtain that
$D(Nf_{L})$
and
$D(Nf_{R})$
are bounded. As
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu58.png?pub-status=live)
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu59.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu60.png?pub-status=live)
where
$\star \in \{ L, R \}$
and, at this point, we are calling
$\eta _{\star } = \eta _{\varphi _{\star }}$
for sake of simplicity. As
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu61.png?pub-status=live)
we obtain that the product
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu62.png?pub-status=live)
is bounded. From Corollary 4.17, we obtain that all the terms
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu63.png?pub-status=live)
are also bounded. From Lemma 4.4, we obtain that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu64.png?pub-status=live)
is bounded. Furthermore, we know that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu65.png?pub-status=live)
when the level of renormalization tends to infinity. Hence, using Lemma 4.4, Lemma 4.15, Lemma 4.16, and Corollary 4.17, we conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu66.png?pub-status=live)
is tiny. Analogously, we obtain that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu67.png?pub-status=live)
is also tiny, which completes the proof of Lemma 4.14, as desired.
5 Manifold structure of the conjugacy classes
5.1 Expanding and contracting directions of
$D\underline {\mathcal {R}}_{\underline f}$
Let
$\underline f_n$
be the nth renormalization of an infinitely renormalizable dissipative gap mapping in the decomposition space. In this section, we will assume that
$\sigma _{f_n}=-$
. The case when
$\sigma _{f_n}=+$
is similar. For any
$\varepsilon>0$
, there exists
$n_0\in \mathbb N$
so that for
$n\geq n_0$
, we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu68.png?pub-status=live)
where
$K_i$
are large for
$i\in \{1,2\}$
and
$C_j$
are bounded for
$j\in \{1,2,3\}.$
We highlight the partial derivatives that will be important in the following calculations. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu69.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu70.png?pub-status=live)
Proposition 5.1. For any
$\delta>0$
, there exists
$n_0\in \mathbb N,$
so that for all
$n\geq n_0$
, we have the following.
-
•
$T_{\underline {\mathcal {R}}_{\underline {\mathcal {R}}^n\underline f}} \underline {\mathcal {D}}=E^u\oplus E^s,$ and the subspace
$E^u$ is one-dimensional.
-
• For any vector
$v\in E^u$ , we have that
$\|D\underline {\mathcal {R}}_{\underline {\mathcal {R}}^n\underline f}v\|\geq \unicode{x3bb} _1\|v\|$ , where
$|\unicode{x3bb} _1|>1/\delta $ .
-
• For any
$v\in E^s$ , we have that
$\|D\underline {\mathcal {R}}_{\underline {\mathcal {R}}^n\underline f}v\|\leq \unicode{x3bb} \|v\|$ , where
$|\unicode{x3bb} |<\delta $ .
Proof By taking n large, we can assume that
$\varepsilon $
is arbitrarily small. To see that for
$\varepsilon $
sufficiently small the tangent space admits a hyperbolic splitting, it is enough to check that this holds for the matrix:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu71.png?pub-status=live)
Calculating
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu72.png?pub-status=live)
has zero as a root with multiplicity three, and the remaining roots are the zeros of the quadratic polynomial
$\unicode{x3bb} ^2- K_3\unicode{x3bb} -K_4 M_1,$
which are given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu73.png?pub-status=live)
We immediately see that
$({K_3+\sqrt {K_3^2+4K_4 M_1}})/{2}$
is much bigger than one, when
$K_3=\partial \tilde b/\partial b$
is large.
Now, we show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu74.png?pub-status=live)
is small.
We have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu75.png?pub-status=live)
By (4.35) and (4.46), we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu76.png?pub-status=live)
where
$C,C'$
are bounded. For deep renormalizations, we have that b is arbitrarily close to zero, for otherwise
$0$
is contained in the gap
$(f_R(b), f_L(b-1)),$
which is close to
$(b~-~1,b)$
at deep renormalization levels.
Thus we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu77.png?pub-status=live)
For large
$K_3$
, by L’Hopital’s rule, we have that this is approximately
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu78.png?pub-status=live)
Finally by Corollary 4.13, we have that
$M_1+M_2$
is bounded. Hence for deep renormalizations,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu79.png?pub-status=live)
is close to zero.
5.2 Cone field
Recall our expression of
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu80.png?pub-status=live)
We will omit the subscripts when it will not cause confusion.
For
$r\in (0,1)$
, we define the cone
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu81.png?pub-status=live)
Note that we regard cones as being contained in the tangent space of the decomposition space.
Lemma 5.2. For any
$\unicode{x3bb} _0>1$
and every
$r\in (0,1),$
there exists
$n_0$
, so that for all
$n\geq n_0$
, the cone
$C_r$
is invariant and expansive, that is:
-
•
$A_{\underline f_n}(C_r)\subset C_{r/3}$ ; and
-
• if
$v\in C_r$ , then
$|A_{\underline f_n}v|>\unicode{x3bb} _0|v|.$
Proof For all n sufficiently large, we have that
$A_{\underline f_n}$
is of the order
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu82.png?pub-status=live)
Let
$\Delta v=(\Delta \alpha ,\Delta \beta ,\Delta b)\in C_r,$
and
$\Delta \tilde v=(\Delta \tilde \alpha ,\Delta \tilde \beta ,\Delta \tilde b)=A_{\underline f_n}\Delta v$
.
To see that the cone is invariant, we estimate
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu83.png?pub-status=live)
provided that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu84.png?pub-status=live)
To see that the cone is expansive, we estimate
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu85.png?pub-status=live)
when
$K_3$
is sufficiently large.
Lemma 5.3. For all
$0<r<1/2$
and every
$\unicode{x3bb}>0$
, there exists
$\delta>0$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu86.png?pub-status=live)
is a cone field in the decomposition space. Moreover, if
$\underline f\in \underline {\mathcal {D}}$
is an infinitely renormalizable dissipative gap mapping, then for all n sufficiently big:
-
•
$D\underline {\mathcal {R}}_{\underline f_n}(C_{r,\delta })\subset C_{r/2,\delta /2}$ ; and
-
• if
$v\in C_{r,\delta }$ , then
$|D\underline {\mathcal {R}}_{\underline f}v|>\unicode{x3bb} |v|.$
Proof Set
$\Delta v=(\Delta \alpha , \Delta \beta , \Delta b, \Delta \eta _L,\Delta \eta _R)$
,
$\Delta X=(\Delta \alpha , \Delta \beta , \Delta b),$
and
$\Delta \Phi =(\Delta \eta _L,\Delta \eta _R).$
As before, we mark the corresponding objects under renormalization with a tilde. Then we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu87.png?pub-status=live)
We let
$(\Delta \hat \alpha , \Delta \hat \beta , \Delta \hat b)=A\Delta X.$
First, we show that
$|\Delta \tilde b|$
is much bigger than
$\Delta b.$
By Lemma 5.2, we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu88.png?pub-status=live)
where we can take
$\unicode{x3bb} _0>0$
arbitrarily large. Thus we have that
$(1+r/3)|\Delta \hat b|\geq \unicode{x3bb} _0|\Delta b|,$
and so, since
$r\in (0,1),$
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu89.png?pub-status=live)
To see that
$|\Delta \tilde b|$
is much bigger than
$\Delta b$
, observe that
$|\Delta \tilde b-\Delta \hat b|\leq \varepsilon (\Delta \eta _L+\Delta \eta _R)<2\varepsilon \delta |\Delta b|.$
So
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu90.png?pub-status=live)
when
$\unicode{x3bb} _0$
is large enough.
Now, we prove that the cone is invariant. First of all, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu91.png?pub-status=live)
for
$\unicode{x3bb} _0$
large enough. Second, we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu92.png?pub-status=live)
where the entries of C and D are bounded, say by
$K>0$
, so that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu93.png?pub-status=live)
for
$\unicode{x3bb} _0$
sufficiently large.
Now let us show that the cone is expansive.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu94.png?pub-status=live)
for
$\delta $
small enough. We also have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu95.png?pub-status=live)
Hence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu96.png?pub-status=live)
which we can take as large as we like.
Lemma 5.4. Let
$\underline {f} \in \underline {\mathcal {D}}$
be a renormalizable dissipative gap mapping. If
$\Delta \tilde {v} = D \underline {\mathcal {R}}_{\underline {f}} ( \Delta v ) \notin C_{r, \delta }$
, then there exists a constant
$K>0$
such that
-
(i)
$| \Delta b | \leq K \cdot |I '| \cdot \|\Delta v \|$ ,
-
(ii)
$\| \Delta \tilde {v} \| \leq K \|\Delta v\|$ ,
where
$I'$
is the domain of the renormalization
$\underline {\mathcal {R}}_{\underline {f}}$
before rescaling.
Proof For convenience, in this proof we express
$\underline {f}$
in new coordinates,
$\underline {f} = (b,x)$
, where
$x=(\alpha , \beta , \eta _L, \eta _R )$
. We use the same notation for a vector
$\Delta v =(\Delta b, \Delta x)$
, where
$\Delta x = (\Delta \alpha , \Delta \beta , \Delta \eta _L, \Delta \eta _R)$
. Since
$\Delta \tilde {v} = D \underline {\mathcal {R}}_{\underline {f}} ( \Delta v )$
it is not difficult to check that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu97.png?pub-status=live)
Using Lemmas 4.6 and 4.8, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn101.png?pub-status=live)
From the hypothesis
$\Delta \tilde {v} = ( \Delta \tilde {b}, \Delta \tilde {x} ) = D \underline {\mathcal {R}}_{\underline {f}} ( \Delta v ) \notin C_{r, \delta }$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn102.png?pub-status=live)
for some constant
$C>0$
. This inequality together with (5.1) imply in
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu98.png?pub-status=live)
which proves statement (i). For statement (ii), we just observe that except for two entries on the third line of matrix
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu99.png?pub-status=live)
all the others entries are bounded. Then we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn103.png?pub-status=live)
Since
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu100.png?pub-status=live)
from (5.2), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu101.png?pub-status=live)
and from (5.3), we are done.
5.3 Conjugacy classes are
$\mathcal C^1$
manifolds
Let
$\underline f\in \underline {\mathcal {D}}$
be an infinitely renormalizable gap mapping, regarded as an element of the decomposition space. Let
$\underline {\mathcal {T}}_{\underline f}\subset \underline {\mathcal {D}}$
be the topological conjugacy class of
$\underline f$
in
$\underline {\mathcal {D}}$
.
Observe that for
$M>0$
sufficiently large and
$\varepsilon>0$
sufficiently small,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu102.png?pub-status=live)
is an absorbing set for the renormalization operator acting on the decomposition space; that is, for every infinitely renormalizable
$\underline f\in \underline {\mathcal {D}},$
there exists
$M>0$
with the property that for any
$\varepsilon>0,$
there exists
$n_0\in \mathbb N,$
so that for any for
$n\geq n_0$
,
$\underline {\mathcal {R}}^n\underline f\in B_0.$
To conclude the proof of Theorem 1.1, we make use of the graph transform. We refer the reader to §2 of paper [Reference Martens and Palmisano27], for the proofs of some of the results in this section. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu103.png?pub-status=live)
A
$\mathcal C^1$
curve
$\gamma :[0,1]\to \mathcal D$
is called almost horizontal if the tangent vector
$ T_{\gamma (\xi )}\gamma (\xi )\in C_{r,\delta }$
, for all
$\xi \in (0,1)$
with
$\gamma (0)=(\alpha ,\beta ,0,\eta _L,\eta _R)$
, and
$\gamma (1)=(\alpha ,\beta ,1,\eta _L,\eta _R)$
. Notice that for any almost horizontal curve
$\gamma $
, and
$w\in X_0$
, there is a unique point
$w^\gamma =\gamma \cap \mathrm {graph}(w)$
. For any
$p,q\in \gamma $
, we set
$\ell _{\gamma }(p,q)$
to be the length of the shortest curve in
$\gamma $
connecting p and q.
For
$w_1,w_2\in X_0$
, let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu104.png?pub-status=live)
It is easy to see that
$d_0$
is a complete metric on
$X_0$
. Let
$w\in X_0$
,
$\psi \in B_0$
and let
$\gamma _{\psi }$
be the horizontal line at
$\psi $
. Then there exists a subcurve of
$\gamma _\psi $
corresponding to a renormalization window that is mapped to an almost horizontal curve
$\tilde \gamma $
under renormalization.
We define the graph transform by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu105.png?pub-status=live)
By paper [Reference Gouveia and Colli17], we have that if
$\underline f_b=(\alpha , \beta , b,\eta _L,\eta _R)$
and
$\underline f_{b'}=(\alpha , \beta , b',\eta _L,\eta _R)$
are two n-times renormalizable dissipative gap mappings with the same combinatorics, then for every
$\xi \in [b,b']$
, we have that
$(\alpha , \beta , \xi ,\eta _L,\eta _R)$
is n-times renormalizable with the same combinatorics. It follows from the invariance of the cone field that
$Tw\in X_0$
and by Lemma 5.3, we have that T is a contraction. From these considerations, we have that T has a fixed point
$w^*$
and that the graph of
$w^*$
is contained in
$\{(\alpha , \beta ,b,\eta _L,\eta _R)\in \mathcal D:(\alpha ,\beta ,\eta _L,\eta _R)\in B_0\}$
.
Proposition 5.5. We have that
$\underline {\mathcal {T}}_{\underline f}\cap B_0$
is a
$\mathcal C^1$
manifold.
To prove this proposition, we use the graph transform acting to plane fields to show that
$\underline {\mathcal {T}}_{\underline f}\cap B_0$
has a continuous field of tangent planes.
A plane is a codimension-one subspace of
$\mathbb {R} \times B_0$
which is the graph of a functional
$b^* \in \mathrm {Dual}(B_0)$
. By identifying the plane with the corresponding functional
$b^*$
, we have that
$\mathrm {Dual}(B_0)$
is the space of planes and carries a corresponding complete distance
$d^*_{B_0}$
.
Let us fix a constant
$\chi>0$
to be chosen later.
Definition 5.6. Let
$p=\underline {f} \in \mathrm {graph}(w^*)$
. A plane
$V_p$
is admissible for p if it has the following properties:
-
(1) if
$(\Delta \alpha , \Delta \beta , \Delta b, \Delta \eta _L, \Delta \eta _R) \in V_p$ , then
$|\Delta b| \leq \chi b \|(\Delta \alpha , \Delta \beta , \Delta \eta _L, \Delta \eta _R )\|$ ;
-
(2)
$V_p$ depends continuously on p with respect to
$d^*_{B_0}$ .
The set of admissible planes for p is denoted by
$\mathrm {Dual}_p(B_0)$
.
We let
$X_1$
denote the space of all admissible plane fields. For clarity of exposition, we will express
$\underline {f}$
in new coordinates:
$\underline {f} = (b,x)$
, where
$x=(\alpha , \beta , \eta _L, \eta _R )$
. We use the same notation for a vector
$\Delta v =(\Delta b, \Delta x)$
, where
$\Delta x = (\Delta \alpha , \Delta \beta , \Delta \eta _L, \Delta \eta _R)$
, and although
$V_{\underline {f}}^*$
is a subspace of
$\mathbb {R} \times B_0$
, for the next result we abuse notation and denote the set
$\{p+v | v \in V_{\underline {f}}^* \}$
also by
$V_{\underline {f}}^*$
.
Let
$p=(b,x)\in w^*$
and define a distance on
$\mathrm {Dual}_p(B_0)$
as follows. For any two planes,
$V_p,V^{\prime }_p\in \mathrm {Dual}_p(B_0),$
let
$\mathcal S$
denote the set of all straight lines
$\gamma $
with direction in
$C_{r,\delta }.$
Provided that
$\varepsilon $
is small enough,
$\gamma $
intersects
$V_p$
at exactly one point, and likewise for
$V^{\prime }_p$
. Let
$\Delta q_{\gamma }=(\Delta b_{\gamma },\Delta x_{\gamma })=\gamma \cap V_p$
and
$\Delta q^{\prime }_{\gamma }=(\Delta b^{\prime }_{\gamma },\Delta x^{\prime }_{\gamma })=\gamma \cap V_p'.$
We define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu106.png?pub-status=live)
When it will not cause confusion, we will omit
$\gamma $
from the notation. It is not hard to see that
$d_{1,p}$
is a complete metric. For
$V,V'\in X_1,$
we define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu107.png?pub-status=live)
On an absorbing set for renormalization operator, we have that
$d_1$
is metric and
$(X_1,d_1)$
is a complete metric space. This follows just as in [Reference Martens and Palmisano27, Lemmas 2.29 and 2.30].
We define the graph transform
$Q:X_1\to X_1$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu108.png?pub-status=live)
Lemma 5.7. Admissible plane fields are invariant under Q. Moreover, Q is contraction on the space
$(X_1,d_1).$
Proof Let us set
$p=\underline f.$
To show invariance, assume that
$V_p$
is an admissible plane field, and take
$(\Delta b,\Delta x)\in QV_p.$
Set
$(\Delta \tilde b,\Delta \tilde x)= D\underline {\mathcal {R}}_p(\Delta b,\Delta x)\in V_{\mathcal R(p)}.$
By Lemma 5.4, we have that
$\|\Delta b\|\leq K|I'|\|\Delta v\|,$
but now, since
$V_{\underline {\mathcal {R}}(p)}$
is an admissible plane field, we have that
$K|I'|\|\Delta v\|\leq K_1|I'|\|\Delta x\|,$
where
$K_1=K_1(K,r,\delta ).$
Furthermore, if
$QV_p$
is not continuous in p, then there exists a sequence
$p_n \rightarrow p$
such that
$QV_{p_n}$
does not converge to
$QV_p$
. But now, since
$QV_{p_n}$
and
$QV_p$
are all codimension-one subspaces, there exists
$\Delta v \in QV_{p}$
such that
$\Delta v$
is transverse to
$QV_{p_n}$
for all n sufficiently large. Since
$V_{\underline {\mathcal {R}}(p)}$
is admissible,
$D \underline {\mathcal R} \Delta v \in V_{\underline {\mathcal {R}}(p)}$
. On the other hand, we can express
$\Delta v=\Delta z'\oplus \Delta z$
with
$\Delta z\in C_{r,\delta }.$
By the invariance of the cone field, we have that
$\Delta \tilde v=\Delta y'\oplus \Delta y$
with
$\Delta y\in C_{r,\delta }$
. But now,
$\Delta \tilde v$
is transverse to
$V_{\underline {\mathcal {R}}(p_n)}$
for all n sufficiently big, which contradicts the admissibility of
$V_p.$
Hence we have that
$QV_p$
depends continuously on p.
To see that Q is a contraction, take two admissible plane fields
$V,V'$
, and line
$\gamma \in \mathcal S.$
Define
$\Delta q=(\Delta b,\Delta x)\in V$
and
$\Delta q'=(\Delta b',\Delta x')\in V$
be as in the definition of
$d_{1,p}.$
Let
$\Delta \tilde q=(\Delta \tilde b,\Delta \tilde x)=D\underline {\mathcal {R}}_{p}\Delta q$
, and likewise for the objects marked with a prime. Observe that by Lemma 5.4, we have that
$\|\Delta q\|\geq ({1}/{C_1})\tilde \|\Delta \tilde q\|,$
and that
$|\Delta b|\leq C_2|I'\|\Delta \tilde b|$
. So
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu109.png?pub-status=live)
Thus,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu110.png?pub-status=live)
Thus we have that there is an admissible plane field
$V^*(\underline f),$
which is an invariant plane field under Q.
Now we conclude the proof of the proposition. We will show that for each
$\underline f\in \mathrm {graph}(w^*)$
,
$V^*(\underline f)=T_{\underline f}(\mathrm {graph}(w^*)).$
Let
$p \in \mathrm {graph}(w^*)$
and take an almost horizontal curve
$\gamma $
close enough to p such that
$\gamma \cap \mathrm {graph}(w^*) = q =\{ p+ \Delta q = p+ (\Delta \alpha , \Delta \beta , \Delta b, \Delta \eta _L, \Delta \eta _R) \}$
and
$\gamma \cap V_{\underline {f}}^* = q'= \{ p+ \Delta q' = p+ (\Delta \alpha ', \Delta \beta ', \Delta b', \Delta \eta _L', \Delta \eta _R') \}$
. We define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu111.png?pub-status=live)
A straightforward calculation shows that at deep renormalization levels, we have that
$A \leq 1$
, cf. [Reference Martens and Palmisano27, Lemma 2.34].
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_fig3.png?pub-status=live)
Figure 3 Notation for the proof of Proposition 5.5.
Proof of Proposition 5.5 We show that at a deep level of renormalization, each point
$\underline {f} \in \mathrm {graph(w^*)}$
has a tangent plane
$T_{\underline {f}}w^* = V_{\underline {f}}^*$
. To get this result, it is enough to show that
$A=0$
. We use the notation from the definition of A and we introduce the following notation:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu112.png?pub-status=live)
For almost horizontal curves
$\gamma $
such that
$\gamma \cap \mathrm {graph}(w^*)$
is close enough to p, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn104.png?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn105.png?pub-status=live)
Since
$\underline {\mathcal {R}}$
has strong expansion on the b direction, and using the differentiability of
$\underline {\mathcal {R}}$
, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn106.png?pub-status=live)
As
$(\Delta h_2, \Delta u_2) \in V_{\underline {f}}^*$
and
$V_{\underline {f}}^*$
is an admissible plane, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn107.png?pub-status=live)
Since
$q'-q = (\Delta b'- \Delta b, \Delta x'- \Delta x)$
is a tangent vector to the curve
$\gamma $
, it is inside the cone
$C_{r, \delta }$
, and then we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn108.png?pub-status=live)
As
$(\Delta h, \Delta u_1)$
is a tangent vector to the curve
$\underline {\mathcal {R}}_{\underline {f}}(\gamma )$
, by the same reason as before, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn109.png?pub-status=live)
By (5.7), (5.5), and (5.9), we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu113.png?pub-status=live)
Hence, when we are in a deep level of renormalization, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn110.png?pub-status=live)
Since
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu114.png?pub-status=live)
from (5.4) and (5.8), we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu115.png?pub-status=live)
Hence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqn111.png?pub-status=live)
From this and using Lemma 5.4, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu116.png?pub-status=live)
for a constant
$C_2>0$
. Hence, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220905021722697-0093:S0143385721000882:S0143385721000882_eqnu117.png?pub-status=live)
Since
$|I'|$
goes to zero when the level of renormalization goes to infinity, we conclude that
$A=0$
, as desired.
Thus we have proved that there is an absorbing set,
$B_0,$
for the renormalization operator within which the topological conjugacy class of
$\underline f$
is a
$\mathcal C^1$
manifold. It remains to prove that it is globally
$\mathcal C^1$
.
By [Reference Gouveia and Colli17, Lemma 5.1], each infinitely renormalizable gap mapping
$f_0=(f_{R},f_L,b_0)$
can be included in a family
$f_t,$
for
$t\in (-\varepsilon _0,\varepsilon _0)$
of gap mappings, which is transverse to the topological conjugacy class of
$f_0.$
The construction of this family is given by varying the b parameter in a small neighborhood about
$b_0$
, and observing that the boundary points of the principal gaps at each renormalization level are strictly increasing functions in b. Thus, we have that the transversality of this family is preserved under renormalization. Let
$\Delta f$
denote a vector tangent to the family
$f_t$
at
$f.$
We have the following.
Lemma 5.8. Let
$n_0\in \mathbb N$
be so that
$\underline {\mathcal {R}}^{n_0}( \underline f)\in B_0.$
Then
$D\underline {\mathcal {R}}^{n_0}(\Delta f)\notin T_{\underline {\mathcal {R}}^{n_0} f} \mathrm {graph}(w^*),$
where
$w^*=\mathcal T_{R^{n_0}(\underline f)}\cap B_0.$
Using this lemma, we can argue as in the proof of [Reference de Faria, de Melo and Pinto10, Theorem 9.1] to conclude the proof Theorem 1.1.
Theorem 5.9.
$\mathcal T_f\subset \mathcal D^4$
is a
$\mathcal C^1$
manifold.
Note that the application of the implicit function theorem in the proof is why we lose one degree of differentiability.
Acknowledgements
This work has been partially supported by ERC AdG grant no 339523 RGDD; EU Marie-Curie IRSES Brazilian–European partnership in Dynamical Systems (FP7-PEOPLE-2012-IRSES 318999 BREUDS); FAPESP grants 2017/25955-4 and 2013/24541-0, and CAPES. The authors would like to Liviana Palmisano for some helpful comments about [Reference Martens and Palmisano27]. They also thank Sebastian van Strien for his encouragement and several helpful conversations.