We develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps fa(x)=ax2. We illustrate the effectiveness of our approach by constructing a dynamically defined partition P of the parameter interval Ω=[1.4,2] into almost 4×106 subintervals, for each of which we compute to high precision the orbits of the critical points up to some time N and other dynamically relevant quantities, several of which can vary greatly, possibly spanning several orders of magnitude. We also subdivide P into a family P+ of intervals, which we call stochastic intervals, and a family P of intervals, which we call regular intervals. We numerically prove that each interval ωP+ has an escape time, which roughly means that some iterate of the critical point taken over all the parameters in ω has considerable width in the phase space. This suggests, in turn, that most parameters belonging to the intervals in P+ are stochastic and most parameters belonging to the intervals in P are regular, thus the names. We prove that the intervals in P+ occupy almost 90% of the total measure of Ω. The software and the data are freely available at http://www.pawelpilarczyk.com/quadr/, and a web page is provided for carrying out the calculations. The ideas and procedures can be easily generalized to apply to other parameterized families of dynamical systems.

1.
A.
Alexander
and
C.
Matheus
, “
Decidability of chaos for some families of dynamical systems
,”
Found. Comput. Math.
4
(
3
),
269
275
(
2004
).
2.
A.
Avila
,
M.
Lyubich
, and
W.
de Melo
, “
Regular or stochastic dynamics in real analytic families of unimodal maps
,”
Invent. Math.
154
(
3
),
451
550
(
2003
).
3.
M.
Benedicks
and
L.
Carleson
, “
On iterations of 1ax2 on (1, 1)
,”
Ann. Math.
122
,
1
25
(
1985
).
4.
M.
Benedicks
and
L.
Carleson
, “
The dynamics of the Hénon map
,”
Ann. Math.
133
,
73
169
(
1991
).
5.
S.
Day
,
H.
Kokubu
,
S.
Luzzatto
,
K.
Mischaikow
,
H.
Oka
, and
P.
Pilarczyk
, “
Quantitative hyperbolicity estimates in one-dimensional dynamics
,”
Nonlinearity
21
,
1967
87
(
2008
).
6.
Z.
Galias
, “
Systematic search for wide periodic windows and bounds for the set of regular parameters for the quadratic map
,”
Chaos
27
,
053106
(
2017
).
7.
A.
Golmakani
,
S.
Luzzatto
, and
P.
Pilarczyk
, “
Uniform expansivity outside a critical neighborhood in the quadratic family
,”
Exp. Math.
25
(
2
),
116
124
(
2016
).
8.
J.
Graczyk
and
G.
Swiatek
, “
Generic hyperbolicity in the logistic family
,”
Ann. Math.
146
,
1
52
(
1997
).
9.
L.
Fousse
,
G.
Hanrot
,
V.
Lefèvre
,
P.
Pélissier
, and
P.
Zimmermann
, “
MPFR: A multiple-precision binary floating-point library with correct rounding
,”
ACM Trans. Math. Soft.
33
(
2
),
13
(
2007
).
10.
IEEE 754-2019—IEEE Standard for Floating-Point Arithmetic, see https://standards.ieee.org/content/ieee-standards/en/standard/754-2019.html (last accessed March 11, 2020).
11.
M. V.
Jakobson
, “
Absolutely continuous invariant measures for one parameter families of one dimensional maps
,”
Commun. Math. Phys.
81
,
39
88
(
1981
).
12.
M.
Jakobson
, “Piecewise smooth maps with absolutely continuous invariant measures and uniformly scaled Markov partitions,” in Proceedings of Symposia in Pure Mathematics. Smooth Ergodic Theory and its Applications (American Mathematical Society, Providence, RI, 2001), Vol. 69, pp. 825–881.
13.
D.
Kincaid
and
W.
Cheney
,
Numerical Analysis. Mathematics of Scientific Computing
(
Brooks/Cole Publishing Company
,
Pacific Grove, CA
,
1991
).
14.
S.
Luzzatto
and
W.
Tucker
, “
Non-uniformly expanding dynamics in maps with criticalities and singularities
,”
Publ. Math. IHES
89
,
179
226
(
1999
).
15.
S.
Luzzatto
and
M.
Viana
, “
Positive Lyapunov exponents for Lorenz-like maps with criticalities
,”
Astérisque
261
,
201
237
(
2000
), available at http://www.numdam.org/item/AST_2000__261__201_0/.
16.
S.
Luzzatto
and
H.
Takahashi
, “
Computable starting conditions for the existence of nonuniform hyperbolicity in one-dimensional maps
,”
Nonlinearity
19
,
1657
1695
(
2006
).
17.
M.
Lyubich
, “
Dynamics of quadratic polynomials, I
,”
Acta Math.
178
,
185
247
(
1997
).
18.
M.
Lyubich
, “
Dynamics of quadratic polynomials, II
,”
Acta Math.
178
,
247
97
(
1997
).
19.
M.
Lyubich
, “
Almost every real quadratic map is either regular or stochastic
,”
Ann. Math.
156
(
1
),
1
(
2002
).
20.
R. E.
Moore
,
Interval Analysis
(
Prentice-Hall, Inc.
,
Englewood Cliffs, N.J.
,
1966
).
21.
M. J.
Pacifico
,
A.
Rovella
, and
M.
Viana
, “
Infinite-modal maps with global chaotic behavior
,”
Ann. Math.
148
(
2
),
441
484
(
1998
).
22.
P.
Pilarczyk
, “Quadratic map software,” see http://www.pawelpilarczyk.com/quadr/ (last accessed June 11, 2020).
23.
P.
Pilarczyk
,
Stochastic Intervals for the Family of Quadratic Maps
(
Gdańsk University of Technology
,
2020
).
24.
W.
Tucker
and
D.
Wilczak
, “
A rigorous lower bound for the stability regions of the quadratic map
,”
Physica D
238
,
1923
1936
(
2009
).
25.
W.
Tucker
,
Validated Numerics: A Short Introduction to Rigorous Computations
(
Princeton University Press
,
2011
).
You do not currently have access to this content.