
PINCHED SYSTEMS 3
While this seems to rule out the viability of slow-recovery rates as early warning signals
for non-smooth fold bifurcations, one should bear in mind that experiments never measure
the actual Lyapunov exponent but rather approximations of it. In other words, one rather
measures finite-time Lyapunov exponents instead of asymptotic ones. Since the presence of an
SNA implies that positive finite-time exponents occur with positive probability for any time
N∈N[2, 22], one may hence wonder whether the observation of non-negative finite-time Lya-
punov exponents can help to detect an SNA in practice. However, if Nis chosen too small, then
positive time-N-exponents can be observed already far from a bifurcation. Conversely, for large
N, the probability of observing positive exponents on this time-scale converges to zero since the
unique physical measure has a negative exponent. It is in this context that the scaling behaviour
of the probabilities of time-N-exponents with N→ ∞ becomes important. Numerical studies
for the quasiperiodically forced Allee model performed in [22] remained somewhat inconclusive,
which is partly explained by the fact that the simulation of continuous-time systems is consider-
ably more time-consuming than that of discrete-time systems. The exponential decay obtained
in Theorem 1.1 is an indication that very large data sets may be required to detect this kind
of early-warning signals in practice. As mentioned before, this interpretation relies on the hy-
pothesis that quasiperiodically forced systems undergoing a saddle-node bifurcation—as studied
in [22]—show a behaviour comparable to that of pinched systems treated here. We expect that
using techniques from [8, 10, 12], similar statements can be established for non-pinched sys-
tems but this would require a considerably more involved analysis due to the inherent technical
difficulties.
This article is organised as follows. In the next section, we introduce some technical back-
ground on forced monotone interval maps and their invariant graphs. There, we also describe
the physical measure Pfrom above in more detail. In Section 3, we specify the class of pinched
skew-products for which we prove (a more general version of) the above theorem. This proof
and the full statement—Theorem 4.4 and Theorem 4.8 (which gives the upper bound and is
the harder part)—are given in the final section, Section 4.
Acknowledgments. This project has received funding from the European Union’s Horizon
2020 research and innovation program under the Marie Sk lodowska-Curie grant agreements No
643073 and No 750865. TJ acknowledges support by a Heisenberg grant of the German Research
Council (DFG grant OE 538/6-1).
2. Forced monotone interval maps and invariant graphs
Throughout this note, we deal with quasiperiodically forced (qpf) monotone interval maps,
that is, skew products of the form
F:TD×[0,1] →TD×[0,1],(θ, x)7→ (ρ(θ), Fθ(x)),(3)
where TD=RD/ZDis the D-dimensional torus (for some D≥1),
ρ:TD→TD, θ 7→ θ+v
is a minimal rotation with a rotation vector vand for each θ∈TD,Fθis a continuously differ-
entiable non-decreasing map on [0,1] such that (θ, x)7→ F0
θ(x) is continuous. It is customary
to refer to (TD, ρ) as the forcing system (defined on the base TD); the maps Fθ(θ∈TD) are
also referred to as fibre maps (defined on the fibres {θ} × [0,1]).
An invariant graph of (3) is a measurable function φ:TD→[0,1] which satisfies
Fθ(φ(θ)) = φ(θ+ρ) for all θ∈TD.
From an intuitive perspective, invariant graphs are to be seen as non-autonomous fixed points
of (3).†This idea is the basis for a bifurcation theory of invariant graphs, see [14,15]. Indepen-
dently of this analogy, invariant graphs of qpf monotone interval maps are key to understanding
the dynamics of (3) due to their intimate relationship with the invariant sets and ergodic mea-
sures.
Every invariant graph φcomes with an ergodic measure µφwhere µφ(A) = LebTD(φ−1A)
for each measurable A⊆TD×[0,1] and likewise, to each ergodic measure µof (3) there is an
†Observe that due to the minimality of ρ, (3) does not allow for actual fixed points.