Small -smooth perturbations of skew products and the partial integrability property

1. This paper is the direct continuation of the work [18], where stability of the Sharkovsky's order respectively small C¹-smooth perturbations of skew products of interval maps is proved. Results of [18] are announced in [19], where the part of the Author's report at the Conference “Mathematical Physics, Dynamical Systems and Infinite-Dimensional Analysis” (17–21 June 2019, Dolgoprudny, Russia) devoted to periodic orbits of C¹-smooth maps defined below is presented.

We consider a map F of a closed rectangle I = I₁ × I₂ into itself, where I₁, I₂ are closed intervals of the straight line R¹, I_k = [a_k, b_k] for k = 1, 2, and F satisfies the equality (1) $F (x, y) = (f (x) + μ (x, y), g (x, y)) for any (x, y) \in I .$ F(x,{\kern 1pt} y) = (f(x) + \mu (x,{\kern 1pt} y),{\kern 1pt} g(x,{\kern 1pt} y)){\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm for}\;{\rm any}{\kern 1pt} {\kern 1pt} {\kern 1pt} (x,{\kern 1pt} y) \in I. Further we use the notation g_x(y) for g(x, y), where (x, y) is an arbitrary point of the rectangle I.

In the paper [31] the integrable system of differential equations is constructed so that this system approximates the Lorenz system of differential equations [3]. The paper [31] generated the wave of interest to dynamical systems (1) (see, e.g., [5], [29] – [30]) for the case of the discontinuous Lorenz map f of the closed interval I₁ into itself [8], [26].

Following [18], [19] we suppose in this paper that the map (1) is C¹-smooth on I, and the map f : I₁ → I₁ is so that the conditions hold:

(i_f) f (∂ I₁) ⊂ ∂ I₁, where ∂ (·) is the boundary of a set;

(ii_f) f is the Ω-stable in the space of C¹-smooth self-maps of the interval I₁ with the invariant boundary.

We suppose also that the C¹-smooth function μ (of variables x and y) satisfies the boundary conditions:

(i_μ) the equalities μ(x, a₂) = μ(x, b₂) = 0 are valid for every x ∈ I₁; and the equalities μ(a₁, y) = μ(b₁, y) = 0 are valid for every y ∈ I₂.

By the properties (i_f) and (i_μ) the set ({a₁} × I₂) ∪ ({b₁} × I₂) is F-invariant. If, in addition, the inclusion g_x(∂ I₂) ⊂ ∂ I₂ holds for all x ∈ I₁ then the union of the horizontal intervals I₁× {a₂} and I₁× {b₂} is F-invariant too.

2. Give the list of the functional spaces connected with the map (1).

Let ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1}) be the set of all C¹-smooth maps of the interval I₁ into itself satisfying conditions (i_f) – (ii_f). The standard C¹-norm || · ||_1,1 of the linear normalized space of C¹-smooth maps of the interval I₁ into the straight line R¹ generates the C¹-topology in ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1}) . Denote by ${\tilde{B}}_{1, ε}^{1} (f)$ \widetilde B_{1,{\kern 1pt} \varepsilon }^1(f) elements of the base of the C¹-topology in ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1}) for every ɛ > 0 and $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1}) .

By the C¹- Ω-stability of the map f (see the condition (ii_f)) for any δ > 0 there exists an ɛ-neighborhood ${\tilde{B}}_{1, ε}^{1} (f)$ \widetilde B_{1,{\kern 1pt} \varepsilon }^1(f) of f in the space ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1}) such that every map from this neighborhood is Ω-conjugate with f by means of a homeomorphism which is δ-close in the C⁰-topology of the uniform convergence to the identity map of the nonwandering set

A point x ∈ I₁ ((x, y) ∈ I) is said to be f-nonwandering (F-nonwandering) point if for every its neighborhood U₁(x) (U((x, y)) = U₁(x) × U₂(y)) there is a natural number n such that the inequality U₁(x)∩ f ⁿ(U₁(x)) ≠ ∅ (U((x, y)) ∩ Fⁿ(U(x, y))) ≠ ∅ holds. The set of all f-nonwandering (F-nonwandering) points is said to be the nonwandering set of f (F) [22]. We use the notation Ω(f ) (Ω(F)) for this set.

of the map f.

Let ${\tilde{C}}^{1} (I, I_{1})$ {\widetilde C^1}(I,{\kern 1pt} {I_1}) be the set of C¹-smooth maps of the rectangle I into the interval I₁ endowed with the standard C¹-norm || · ||_1,(1,1) of the linear normalized space of C¹-smooth maps of the rectangle I into the straight line R¹ that contains the interval I₁. This norm induces the C¹-topology in the space ${\tilde{C}}^{1} (I, I_{1})$ {\widetilde C^1}(I,{\kern 1pt} {I_1}) with the base given by the set of ɛ-balls ${\tilde{B}}_{(1, 1), ε}^{1} (φ)$ \widetilde B_{(1,{\kern 1pt} 1),{\kern 1pt} \varepsilon }^1(\varphi ) for every $φ \in {\tilde{C}}^{1} (I, I_{1})$ \varphi \in {\widetilde C^1}(I,{\kern 1pt} {I_1}) and ɛ > 0.

We suppose that the function μ = μ(x, y) satisfies the following “condition of smallness”:

(ii_μ) ||μ||_1,(1,1) < ɛ, where ɛ is found for δ > 0 by the property of the C¹- Ω-stability of f.

The following inequality connects norms || · ||_1,1 for every y ∈ I₂ and || · ||_1,(1,1): (2) $| | μ {| |}_{1, 1} < | | μ {| |}_{1, (1, 1)} .$ ||\mu {||_{1,{\kern 1pt} 1}} < ||\mu {||_{1,{\kern 1pt} (1,{\kern 1pt} 1)}}.

Every function f of one variable can be considered as the function of two variables of the type f ○ pr₁, where pr₁ : I → I₁ is the natural projection of I on I₁. Hence, by the condition (ii_μ) and the inequality (2) we have $(f + μ) \in {\tilde{B}}_{(1, 1), ε}^{1} (f \circ {pr}_{1})$ (f + \mu ) \in \widetilde B_{(1,{\kern 1pt} 1),{\kern 1pt} \varepsilon }^1(f \circ p{r_1}) , and the belonging (3) $(f + μ) \in {\tilde{B}}_{1, ε}^{1} (f)$ (f + \mu ) \in \widetilde B_{1,{\kern 1pt} \varepsilon }^1(f) holds for every y ∈ I₂.

Denote by $C_{ω}^{1} (I)$ C_\omega ^1(I) the set of C¹-smooth maps (1) such that the function f satisfies conditions (i_f) – (ii_f), and μ satisfies conditions (i_μ) – (ii_μ). Endow $C_{ω}^{1} (I)$ C_\omega ^1(I) with the standard C¹-norm || · ||₁ of the linear normalized space of C¹-smooth maps of the rectangle I into the plane R². The base of the C¹-topology generated by this norm, is given by the system of ɛ-balls $B_{ε}^{1} (F) = {G \in C_{ω}^{1} (I) : | | G - F {| |}_{1} < ε}$ B_\varepsilon ^1(F) = \{ G \in C_\omega ^1(I):||G - F{||_1} < \varepsilon \} with the center F for every ɛ > 0 and $F \in C_{ω}^{1} (I)$ F \in C_\omega ^1(I) .

3. The map (1) from the space $C_{ω}^{1} (I)$ C_\omega ^1(I) is obtained by small C¹-smooth perturbations (satisfying conditions (i_μ) – (ii_μ)) of the C¹-smooth skew product of interval maps of the type (4) $Φ_{0} (x, y) = (f (x), g_{x} (y)) .$ {\Phi _0}(x,{\kern 1pt} y) = (f(x),{\kern 1pt} {g_x}(y)). In [18] it is shown also that the autonomous discrete dynamical system (1) is connected with the nonautonomous discrete dynamical system generated by skew products of interval maps. So, one can represent the value of n-th (n ≥ 1) iteration of the map F in every initial point (x⁰, y⁰) ∈ I as the composition of values of various skew products of interval maps in the corresponding points: (5) $F^{n} (x^{0}, y^{0}) = (x^{n}, y^{n}) = Φ_{y^{n - 1}} \circ \dots \circ Φ_{y^{0}} (x^{0}, y^{0}),$ {F^n}({x^0},{\kern 1pt} {y^0}) = ({x^n},{\kern 1pt} {y^n}) = {\Phi _{{y^{n - 1}}}} \circ \ldots \circ {\Phi _{{y^0}}}({x^0},{\kern 1pt} {y^0}), where a skew product Φ_yⁱ : I → I for every i (0 ≤ i ≤ n − 1) is presented in the form (6) $Φ_{y^{i}} (x, y) = (φ_{y^{i}} (x), g_{x} (y)) .$ {\Phi _{{y^i}}}(x,{\kern 1pt} y) = ({\varphi _{{y^i}}}(x),{\kern 1pt} {g_x}(y)). Here (7) $φ_{y^{i}} (x) = f (x) + μ_{y^{i}} (x), and μ_{y^{i}} (x) = μ (x, y^{i}) .$ {\varphi _{{y^i}}}(x) = f(x) + {\mu _{{y^i}}}(x),{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm and}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\mu _{{y^i}}}(x) = \mu (x,{\kern 1pt} {y^i}). To write the equality (5) in the coordinate form we set (8) $φ_{y^{0}, n} (x^{0}) = φ_{y^{n - 1}} \circ \dots \circ φ_{y^{0}} (x^{0}); g_{(x^{0}, y^{0}), n} (y^{0}) = g_{φ_{y^{n - 1}} (x_{n - 1})} \circ \dots \circ g_{x^{0}} (y^{0}) .$ {\varphi _{{y^0},{\kern 1pt} n}}({x^0}) = {\varphi _{{y^{n - 1}}}} \circ \ldots \circ {\varphi _{{y^0}}}({x^0});{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {g_{({x^0},{\kern 1pt} {y^0}),{\kern 1pt} n}}({y^0}) = {g_{{\varphi _{{y^{n - 1}}}}({x_{n - 1}})}} \circ \ldots \circ {g_{{x^0}}}({y^0}). Then we have: (9) $F^{n} (x^{0}, y^{0}) = (φ_{y^{0}, n} (x^{0}), g_{(x^{0}, y^{0}), n} (y^{0})) .$ {F^n}({x^0},{\kern 1pt} {y^0}) = ({\varphi _{{y^0},{\kern 1pt} n}}({x^0}),{\kern 1pt} {\kern 1pt} {g_{({x^0},{\kern 1pt} {y^0}),{\kern 1pt} n}}({y^0})). All previous information of the item 3 means that an important role in this paper belongs to skew products of interval maps.

Denote by $T_{ω, 0}^{1} (I)$ T_{\omega ,{\kern 1pt} 0}^1(I) the space of C¹-smooth skew products of interval maps with quotients satisfying conditions (i_f) – (ii_f). Endow this space with the C¹-topology generated by the standard C¹-norm || · ||₁. The structure of the functional space $T_{ω, 0}^{1} (I)$ T_{\omega ,{\kern 1pt} 0}^1(I) and dynamical properties of skew products from this space are studied in [9] – [16].

We use also the space ${\tilde{T}}_{ω, 0}^{1} (I)$ \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) of skew products of interval maps respectively which the boundary ∂ I of the rectangle I is invariant. Then the inclusions are valid: ${\tilde{T}}_{ω, 0}^{1} (I) \subset T_{ω, 0}^{1} (I) \subset C_{ω}^{1} (I) .$ \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) \subset T_{\omega ,{\kern 1pt} 0}^1(I) \subset C_\omega ^1(I). The base of the C¹-topology in ${\tilde{T}}_{ω, 0}^{1} (I)$ \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) is given by the set of ɛ-balls ${\tilde{B}}_{ε}^{1} (Φ)$ \widetilde B_\varepsilon ^1(\Phi ) with the center Φ for all ɛ > 0 and $Φ \in {\tilde{T}}_{ω, 0}^{1} (I)$ \Phi \in \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) .

Note that by the formula (1) and the condition (i_μ) every map $F \in C_{ω}^{1} (I)$ F \in C_\omega ^1(I) obtained from the skew products of interval maps $Φ_{0} \in {\tilde{T}}_{ω, 0}^{1} (I)$ {\Phi _0} \in \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) possesses the property: $F (\partial I) \subset \partial I .$ F(\partial I) \subset \partial I.

4. There is a vast literature devoted to different integrability aspects of dynamical systems both with continuous time (see, e.g., [7], [23] – [24]), and with discrete time (see, e.g., [1] – [2], [35] – [36]). Originally, the concept of integrability of dynamical systems with discrete time was introduced for systems obtained by digitization of known differential equations [1] – [2], [35] – [36]). But there are discrete dynamical systems that do not belong to this class. We consider here precisely this case.

Remind the following Birkhoff's thought: “If we try to formulate the exact definition of integrability then we see that many definitions are possible, and every of them is of the specific theoretical interest” [6].

Our definition of integrability of dynamical systems with discrete time given in [4] (see also [16]) follows the paper [20] and generalizes the definition from [20] given for polynomials and rational maps, on the case of arbitrary maps. (The last set contains maps that can not be obtained by the procedure of digitization of differential equations.)

Definition 1

[4] We say that a map G of some (open or closed) domain Π ⊂ R² to itself is integrable if there exists a self-map ψ of an interval J of the real line R¹ such that G is semiconjugate with ψ by means of a continuous surjection $\tilde{H} : Π \to J$ \widetilde H:\Pi \to J , so that $\tilde{H} \circ G = ψ \circ \tilde{H} .$ \widetilde H \circ G = \psi \circ \widetilde H.

Remark 1

In the framework of the suggested approach in the paper [17] the definition of integrability is introduced for some multifunctions.

Remark 2

As it follows from Definition 1 skew products of interval maps are integrable maps. Here $\tilde{H} = {pr}_{1}$ \widetilde H = {pr_1} . Moreover, every integrable map satisfying some natural conditions can be reduced to a skew product

The reducibility problem of integrable maps to skew products has been formulated by Grigorchuk to the Author during our verbal discussions (the formulation of the problem is not published) in the framework of the Conference devoted to the 70-th birthday of Professor V.M. Alexeev (Moscow, Russia, 2002).

Theorem 1

[4]. Let Π be a convex connected compact subset ofR²such that the section of Π by an arbitrary line y = const (if it is non-empty) is a non-degenerate interval, and let G : Π → Π be a continuous map. Then G is integrable in the sense of Definition 1 by means of a continuous surjection $\tilde{H} : Π \to J$ \widetilde H:\Pi \to JJ that is one-to-one with respect to x (here J is a closed interval ofR¹) if and only if some homeomorphism reduces G to a skew product of interval maps defined in a compact planar rectangle.

Remark 3

Definition 1 distinguishes such feature of integrable dynamical systems satisfying conditions of Theorem 1, as the existence of an invariant foliation. This property is the key point of the proof of the integrability property of a dynamical system.

Remark 4

Point out that the existence of a continuous invariant foliation for Lorenz type maps is proven in [3], and existence of a C¹-smooth invariant foliation (with C²-smooth fibers) for these maps is proven in [34].

In different problems of dynamical systems theory only existence of an invariant lamination (but not an invariant foliation!) can be proved (see, e.g., [4], [18]). Therefore, it is naturally to introduce the following concept of the partial integrability for discrete dynamical systems.

Definition 2

We say that a map G defined on some (open or closed) domain Π of the plane R² with values in Π is partially integrable if there exist a closed invariant set A ⊂ Π (A ≠ Π), a self-map ψ of an interval J of the real line R¹ and a closed invariant set B ⊂ J (B ≠ J) such that G_|A is semiconjugate with ψ_|B by means of a continuous surjection $\tilde{H} : A \to B$ \widetilde H:A \to B , i. e. the equality holds (10) $\tilde{H} \circ G_{| A} = ψ_{| B} \circ \tilde{H} .$ \widetilde H \circ {G_{|A}} = {\psi _{|B}} \circ \widetilde H.

5. In this paper we investigate stability of the integrability property of skew products of interval maps under small C¹-smooth perturbations satisfying conditions (i_μ) – (ii_μ). We obtain here (sufficient) conditions of partial integrability for maps from the space $C_{ω}^{1} (I)$ C_\omega ^1(I) (§3). These conditions are formulated in the terms of properties of the unperturbed skew product $Φ_{0} \in T_{ω, 0}^{1} (I)$ {\Phi _0} \in T_{\omega ,{\kern 1pt} 0}^1(I) (see the formula (4)). We give also the example of the partially integrable map (1) (§3).

Preliminaries

This section contains the relevant definitions and results on dynamics both of continuous maps and C¹-smooth Ω-stable maps of a closed interval.

1. We begin from the famous Sharkovsky's Theorem [32].

Theorem 2

[32] If a continuous map f : I₁ → I₁contains a periodic orbit of a (least) period m > 1 then it contains also periodic orbits of every (least) period n, where n precedes m (n ≺ m) in the Sharkovsky's order:(11) $\begin{matrix} 1 ≺ 2 ≺ 2^{2} ≺ 2^{3} ≺ \dots ≺ \dots ≺ 2^{2} \cdot 9 ≺ 2^{2} \cdot 7 ≺ 2^{2} \cdot 5 ≺ 2^{2} \cdot 3 ≺ \dots \\ ≺ 2 \cdot 9 ≺ 2 \cdot 7 ≺ 2 \cdot 5 ≺ 2 \cdot 3 ≺ \dots ≺ 9 ≺ 7 ≺ 5 ≺ 3. \end{matrix}$ \matrix{{1 \prec 2 \prec {2^2} \prec {2^3} \prec \ldots \prec \ldots \prec {2^2} \cdot 9 \prec {2^2} \cdot 7 \prec {2^2} \cdot 5 \prec {2^2} \cdot 3 \prec \ldots } \cr { \prec 2 \cdot 9 \prec 2 \cdot 7 \prec 2 \cdot 5 \prec 2 \cdot 3 \prec \ldots \prec 9 \prec 7 \prec 5 \prec 3.} \cr }

In accordance with the Sharkovsky's Theorem, the space of continuous self-maps of a closed interval can be presented as the union of three subspaces (see, e.g., [33]): the first of which consists of the maps of type ≺ 2^∞, that is, the maps that have periodic points with (least) periods {1,2,2²,...,2^ν}, where 0 ≤ ν < +∞; the second subspace consists of the maps of type 2^∞, that is, maps whose periodic points have (least) periods {1,2,2²,...,2ⁱ,2ⁱ⁺¹,...}; the third subspace consists of the maps of type ≻ 2^∞, that is, maps with periodic points that possess (least) periods outside the set {2ⁱ}_{i ≥0}.

In this paper we consider maps from the space $C_{ω}^{1} (I)$ C_\omega ^1(I) such that f satisfies the following additional condition: (iii_f) f has type ≻ 2^∞.

The above condition (iii_f) means that f demonstrates a chaotic behavior (see, e.g., [33]).

2. Formulate the properties of C¹-smooth Ω-stable maps of a closed interval, give the definition of Σ-stability and remind the properties of the Σ-stable maps of a closed interval.

Lemma 3

[21], [27] Let $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1})and satisfy the condition (iii_f). Then

(3.1) the nonwandering set Ω(f ) is the union of a finite number of hyperbolic periodic points (that form the rarefied set Ω_r(f )) and a finite number of locally maximal (i.e., maximal quasiminimal

A quasiminimal set is the closure of an infinite recurrent trajectory (see [28]).

sets in some their neighborhood) hyperbolic perfect nowhere dense sets (that form the perfect set Ω_p(f )));

(3.2) periodic points are everywhere dense in the set Ω_p(f ); moreover, for every natural number m ≥ 2 periodic points with multiple m (least) periods are everywhere dense in Ω_p(f );

(3.3) there are numbers α = α(f ) > 0 and c = c(f ) > 1 so that for every x ∈ Ω_p(f ) and n ≥ 1 the inequality |(f ⁿ(x))′| > αcⁿ holds (that is, Ω_p(f ) is the repelling hyperbolic set);

(3.4) the subspace ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1})of maps satisfying condition (iii_f) is open and everywhere dense in the containing it space of C¹-smooth self-maps of the closed interval I₁of type ≻ 2^∞with the invariant boundary.

Corollary 4

[21], [27] Let $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1})and satisfy the condition (iii_f). Then the equality holds: $Ω (f) = Ω^{s} (f) \cup Ω^{u} (f) .$ \Omega (f) = {\Omega ^s}(f)\bigcup {\Omega ^u}(f).Here Ω^s(f ) is the nonempty finite invariant set of all f-sinks. The set Ω^u(f ) is invariant and equals the union of Ω_p(f ) with a finite (possibly empty) set that consists of isolated sources in the set of f-periodic points.

In the set I₁ \ Ω(f ) (just as in the set I₁ \ Ω_p(f )) the points of attraction domains of f-sinks are everywhere dense.

Point out that for the map $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1}) the inclusion f⁻¹(Ω(f )) ⊂ Ω(f ) can be false (although the equality f (Ω(f )) = Ω(f ) holds). Here f⁻¹ (·) means the first complete preimage of a set.

Following [21] we construct the set which is invariant both with respect to f, and with respect to f⁻¹, and contains the set Ω^u(f) as its subset. For this goal we need the attraction domain of all f-sinks: $Δ (f) = \underset{Orb (x, f) \subset Ω^{s} (f)}{\cup} \cup_{i = 0}^{+ \infty} D^{- i} (Orb (x, f)),$ \Delta (f) = \bigcup\limits_{Orb(x,{\kern 1pt} f) \subset {\Omega ^s}(f)} \bigcup\limits_{i = 0}^{ + \infty } {D^{ - i}}(Orb(x,{\kern 1pt} f)), where Orb(x, f ) is the periodic orbit of the sink x ∈ Ω^s(f ), D(Orb(x, f )) is the immediate attraction domain of the periodic orbit Orb(x, f ), D⁻ⁱ(Orb(x, f )) is i-th complete primage of the immediate attraction domain of the periodic orbit Orb(x, f ).

Immediate attraction domain D(Orb(x, f )) of the periodic orbit Orb(x, f ) consists of m (m is the (least) period of x) pairwise disjoint open (in the topology of the segment I₁) f ^m-invariant intervals D_{f ^j(x)} (0 ≤ j ≤ m − 1) such that every of these intervals contains the point f ^j(x) : $D (Orb (x, f)) = \cup_{j = 0}^{m - 1} D_{f^{j} (x)} .$ D(Orb(x,{\kern 1pt} f)) = \bigcup\limits_{j = 0}^{m - 1} {D_{{f^j}(x)}}.

Complete f-invariance of the immediate attraction domain

It means correctness of the equality f (D(Orb(x, f ))) = D(Orb(x, f )).

D(Orb(x, f )) implies correctness of the definition of preimages D⁻ⁱ(Orb(x, f )) (D⁻ⁱ(Orb(x, f )) ≠ ∅) for every i ≥ 0.

By the condition (iii_f) the set Δ(f ) is a countable union (see the claim (3.1) of Lemma 3) of pairwise disjoint intervals (open in the topology of the closed interval I₁); Δ(f ) is invariant both with respect to f , and with respect to f⁻¹.

We suppose further that the set Cr(f ) of f-critical points satisfies the condition

(iv_f) Cr(f ) ⊂ Δ° (f ), where Δ° (f) is the interior of the set Δ (f).

Lemma 5

[33] Let $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1})satisfy conditions (iii_f) – (iv_f). Then one of the following three cases is realized for the boundary ∂ (D_{f ^j(x)}) of every interval D_{f ^j(x)} (0 ≤ j ≤ m − 1):

(5.1) ∂ (D_{f ^j(x)}) consists of two f ^m-fixed points;

(5.2) points of ∂ (D_{f ^j(x)}) form a periodic orbit of (least) period 2 with respect to f ^m;

(5.3) one of the points of ∂ (D_{f ^j(x)}) is f ^m-fixed point source, and the other is its preimage with respect to f ^m.

Define the closed set that is invariant with respect to f and f⁻¹: (12) $Σ (f) = I_{1} \ Δ (f) .$ \Sigma (f) = {I_1}\backslash \Delta (f). By Lemma 5 and formula (12) we have: Ω^u(f ) ⊂ Σ(f), and Ω^s(f) ∩ Σ (f) = ∅.

Definition 3

[21] The map $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1}) is said to be Σ-stable (in the C¹-topology) if for every δ > 0 there exists an ɛ-neighborhood ${\tilde{B}}_{1, ε}^{1} (f)$ \widetilde B_{1,{\kern 1pt} \varepsilon }^1(f) of the map $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1}) such that every map $φ \in {\tilde{B}}_{1, ε}^{1} (f)$ \varphi \in \widetilde B_{1,{\kern 1pt} \varepsilon }^1(f) is Σ-conjugate to f, that is, the equality $h \circ f_{| Σ (f)} = φ_{| Σ (φ)} \circ h$ h \circ {f_{|\Sigma (f)}} = {\varphi _{|\Sigma (\varphi )}} \circ h holds for some homeomorphism h : Σ(f ) → Σ(ϕ). Here h is δ-close to the identity map on Σ(f ) in the C⁰-topology.

The following claim is the direct corollary of Definition 3.

Lemma 6

Let $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1})satisfy conditions (iii_f) – (iv_f). Then f is Σ-stable in the C¹-topology.

Remark 5

By [21] the set of maps from ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1}) satisfying conditions (iii_f) – (iv_f) contains the open everywhere dense subset of C²-smooth maps with nondegenerate critical points.

Sufficient conditions of partial integrability of the map (1)

In this section we prove the main result of the paper.

Theorem 7

Let the quotient f of the skew product of interval maps $Φ_{0} \in {\tilde{T}}_{ω, 0}^{1} (I)$ {\Phi _0} \in \widetilde T_{\omega ,{\kern 1pt} 0}^1(I)satisfy conditions (iii_f) – (iv_f). Then for any δ > 0 there exists an ɛ-neighborhood $B_{ε}^{1} (Φ_{0})$ B_\varepsilon ^1({\Phi _0})of the map Φ₀in the space $C_{ω}^{1} (I)$ C_\omega ^1(I)such that every map $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0})obtained from Φ₀by means of the C¹-perturbation μ = μ(x, y), where μ satisfies conditions (i_μ) – (ii_μ), is partially integrable on the closed invariant set £(F) that consists of pairwise disjoint curvelinear fibers. These fibers start from the points of the set Σ* (f) × {a₂} (where Σ* (f ) = Σ(f ) ∪ Ω^s(f)) and are graphs of C¹-smooth functions x = x(y) defined on the interval I₂. The function $\tilde{H} : £ (F) \to Σ^{*} (f)$ \widetilde H:{\rm{\pounds}}(F) \to {\Sigma ^*}(f)that realizes the partial integrability property, is C¹-smooth surjection, ɛ-close in the C¹-norm to the natural projection pr₁ : Σ* (f ) × I₂ → Σ*(f).

The following statement proved in [18], is the first step of the proof of Theorem 7.

Proposition 8

[18] Let $Φ_{0} \in {\tilde{T}}_{ω, 0}^{1} (I)$ {\Phi _0} \in \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) . Then for any δ > 0 there exists an ɛ-neighborhood $B_{ε}^{1} (Φ_{0})$ B_\varepsilon ^1({\Phi _0})of the map Φ₀in the space $C_{ω}^{1} (I)$ C_\omega ^1(I)such that every map $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0})obtained from Φ₀by means of the C¹-perturbation μ = μ(x, y), where μ satisfies conditions (i_μ) – (ii_μ), has the invariant closed set £⁰(F) that consists of pairwise disjoint curvelinear fibers. These fibers start from the points of the set Ω(f ) × {a₂}, and are the graphs of continuous functions x = x(y) defined on the interval I₂; moreover, fibers starting from the points (x, a₂), where x is f-periodic point, are C¹-smooth. Every curvelinear fiber is δ-close in the C⁰-norm to the vertical closed interval that starts from the same initial point of the set Ω(f ) × {a₂} just as the curvelinear fiber.

Prove C¹-smoothness of all fibers from the set £⁰(F).

Proposition 9

Let $Φ_{0} \in {\tilde{T}}_{ω, 0}^{1} (I)$ {\Phi _0} \in \widetilde T_{\omega ,{\kern 1pt} 0}^1(I) . Then for any δ > 0 there exists an ɛ-neighborhood $B_{ε}^{1} (Φ_{0})$ B_\varepsilon ^1({\Phi _0})of the map Φ₀in the space $C_{ω}^{1} (I)$ C_\omega ^1(I)such that the closed invariant set £⁰(F) of every map $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0})obtained from Φ₀by means of the C¹-perturbation μ = μ(x, y), where μ satisfies conditions (i_μ) – (ii_μ), consists of graphs of C¹-smooth functions x = x(y) defined on the interval I₂. In addition, every curvelinear fiber of the set £⁰(F) is ɛ-close in the C¹-norm to the vertical closed interval that starts from the same initial point of the set Ω(f ) × {a₂} just as the curvelinear fiber.

Proof

1. Fix a number δ > 0. We find a positive number ɛ > 0 for δ using the C¹- Ω-stability property of the map $f \in {\tilde{C}}_{ω}^{1} (I_{1})$ f \in \widetilde C_\omega ^1({I_1}) . The neighborhood ${\tilde{B}}_{1, ε}^{1} (f)$ \widetilde B_{1,{\kern 1pt} \varepsilon }^1(f) of the map f consists of maps such that every map is Ω-conjugate with f by means of the homeomorphism that is δ-close to the identity map of the set Ω(f ).

We use also the ɛ-neighborhood $B_{ε}^{1} (Φ_{0})$ B_\varepsilon ^1({\Phi _0}) of the map Φ₀ in the space $C_{ω}^{1} (I)$ C_\omega ^1(I) . Then by formulas (1), (4) and by the property (ii_μ) the inequality $| | F - Φ_{0} {| |}_{1} = | | μ {| |}_{1, (1, 1)} < ε$ ||F - {\Phi _0}{||_1} = ||\mu {||_{1,{\kern 1pt} (1,{\kern 1pt} 1)}} < \varepsilon is valid for any map $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0}) . It implies, in particular, correctness of the belonging (3) for any y ∈ I₂ and means also that the map (f + μ) is Ω-conjugate with f for every y ∈ I₂ by means of the homeomorphism that is δ-close to the identity map of the set Ω(f ).

We need ɛ_m-neighborhoods $B_{ε_{m}}^{1} (Φ_{0}^{m})$ B_{{\varepsilon _m}}^1(\Phi _0^m) of iterations $Φ_{0}^{m}$ \Phi _0^m for any m > 1 in the space $C_{ω}^{1} (I)$ C_\omega ^1(I) that correspond the chosen ɛ-neighborhood $B_{ε}^{1} (Φ_{0})$ B_\varepsilon ^1({\Phi _0}) of the map Φ₀. Since $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0}) then $F^{m} \in B_{ε_{m}}^{1} (Φ_{0}^{m})$ {F^m} \in B_{{\varepsilon _m}}^1(\Phi _0^m) . Using formulas (8) – (9) we obtain the inequalities $| | φ_{y, m} - f^{m} {| |}_{1, (1, 1)} \leq | | F^{m} - Φ_{0}^{m} {| |}_{1} < ε_{m};$ ||{\varphi _{y,{\kern 1pt} m}} - {f^m}{||_{1,{\kern 1pt} (1,{\kern 1pt} 1)}} \le ||{F^m} - \Phi _0^m{||_1} < {\varepsilon _m}; moreover, for every y ∈ I₂ the inequality holds: $| | φ_{y, m} - f^{m} {| |}_{1, 1} < | | φ_{y, m} - f^{m} {| |}_{1, (1, 1)} .$ ||{\varphi _{y,{\kern 1pt} m}} - {f^m}{||_{1,{\kern 1pt} 1}} < ||{\varphi _{y,{\kern 1pt} m}} - {f^m}{||_{1,{\kern 1pt} (1,{\kern 1pt} 1)}}. Therefore, (13) $φ_{y, m} \in {\tilde{B}}_{(1, 1), ε_{m}}^{1} (f^{m} \circ p r_{1}) and, the more so, φ_{y, m} \in {\tilde{B}}_{1, ε_{m}}^{1} (f^{m})$ {\varphi _{y,{\kern 1pt} m}} \in \widetilde B_{(1,{\kern 1pt} 1),{\kern 1pt} {\varepsilon _m}}^1({f^m} \circ p{r_1}){\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm and},\;{\rm the}\;{\rm more}\;{\rm so},{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\varphi _{y,{\kern 1pt} m}} \in \widetilde B_{1,{\kern 1pt} {\varepsilon _m}}^1({f^m}) for every y ∈ I₂. Here ${\tilde{B}}_{(1, 1), ε_{m}}^{1} (f^{m} \circ p r_{1})$ \widetilde B_{(1,{\kern 1pt} 1),{\kern 1pt} {\varepsilon _m}}^1({f^m} \circ p{r_1}) is the ɛ_m-neighborhood of the map (f^m ○ pr₁) in the space ${\tilde{C}}^{1} (I, I_{1})$ {\widetilde C^1}(I,{\kern 1pt} {I_1}) and ${\tilde{B}}_{1, ε_{m}}^{1} (f^{m})$ \widetilde B_{1,{\kern 1pt} {\varepsilon _m}}^1({f^m}) is the ɛ_m-neighborhood of the map f ^m in the space ${\tilde{C}}_{ω}^{1} (I_{1})$ \widetilde C_\omega ^1({I_1}) . The neighborhood ${\tilde{B}}_{1, ε_{m}}^{1} (f^{m})$ \widetilde B_{1,{\kern 1pt} {\varepsilon _m}}^1({f^m}) consists of the maps, which are Ω-conjugate to f ^m by means of the homeomorphisms δ-close to the identity map on the nonwandering set Ω(f ^m) = Ω(f ) (see Lemma 3).

2. Let f satisfy the condition (iii_f). Denote by £^u(F) (£^u(F) ⊂ £⁰(F)) the set of curvelinear fibers that start from all points of Ω^u(f ).

Prove that there is the universal natural number n_* such that the equality (14) $inf_{(x, y) \in £^{u} (F)} | \frac{\partial}{\partial x} φ_{y, n_{*}} (x) | = M_{*}, where M_{*} > 1,$ \mathop {\inf }\limits_{(x,{\kern 1pt} y) \in {{\rm{\pounds}}^u}(F)} |{\partial \over {\partial x}}{\varphi _{y,{\kern 1pt} {n_*}}}(x)| = {M_*},{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm where}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {M_*} > 1, holds for every y ∈ I₂.

In fact, using the definition of the set £^u(F) and Lemma 3 (see claims (3.1) – (3.3)) for every y ∈ I₂ we point out the least natural number n_* (y) satisfying (15) $inf_{x \in (£^{u} (F)) (y)} | \frac{\partial}{\partial x} φ_{y, n_{*} (y)} (x) | > 1 .$ \mathop {\inf }\limits_{x \in ({{\rm{\pounds}}^u}(F))(y)} |{\partial \over {\partial x}}{\varphi _{y,{\kern 1pt} {n_*}(y)}}(x)| > 1.

By the claim (3.3) of Lemma 3 the inequality $inf_{x \in (£^{u} (F)) (y)} | \frac{\partial}{\partial x} φ_{y, n} (x) | > 1$ \mathop {\inf }\limits_{x \in ({{\rm{\pounds}}^u}(F))(y)} |{\partial \over {\partial x}}{\varphi _{y,{\kern 1pt} n}}(x)| > 1 is valid for every n ≥ n_* (y).

Since the partial derivative $\frac{\partial}{\partial x} φ_{y, n_{*} (y)} (x)$ {\partial \over {\partial x}}{\varphi _{y,{\kern 1pt} {n_*}(y)}}(x) is uniformly continuous on the compact $(£^{u} (F)) (y) \times {y}$ ({{\rm{\pounds}}^u}(F))(y) \times \{ y\} then by the inequality (15) there exists a θ (y)-neighborhood U_θ_(y) (£^u(F))(y)×{y}) of the set (£^u(F))(y)×{y} in I such that (16) $inf_{(x, y^{'}) \in U_{θ (y)} ((£^{u} (F)) (y) \times {y})} | \frac{\partial}{\partial x} φ_{y^{'}, n_{*} (y)} (x) | > 1 .$ \mathop {\inf }\limits_{(x,{\kern 1pt} y') \in {U_{\theta (y)}}(({{\rm{\pounds}}^u}(F))(y) \times \{ y\} )} |{\partial \over {\partial x}}{\varphi _{y',{\kern 1pt} {n_*}(y)}}(x)| > 1. Moreover, by the formula (13)n_* (y) is the least natural number for which the inequality (16) holds.

Let 2^I₁ be the topological space of all closed subsets of the closed interval I₁ with the exponential topology. By compactness of the closed intervals I₁, I₂ the set 2^I₁ × I₂ is the compact [24]. Then the closed set $£^{u} (F) = \underset{y \in I_{2}}{\cup} ((£^{u} (F)) (y) \times {y})$ {{\rm{\pounds}}^u}(F) = \bigcup\limits_{y \in {I_2}} (({{\rm{\pounds}}^u}(F))(y) \times \{ y\} ) is the compact in 2^I₁ × I₂. Using compactness of the set £^u(F) in 2^I₁× I₂ we distinguish from its infinite open cover {U_θ_(y) ((£^u(F))(y) × {y})}_y∈I₂ the finite subcover. Let neighborhoods {U_θ_{(y_j)} ((£^u(F))(yj) × {y_j})}_1≤j≤q of the sets {(£^u(F))(y_j) × {y_j}}_{1≤ j≤q} form this finite subcover.

The set £^u(F) consists of continuous fibers (see Proposition 8). Therefore, for every j (1 ≤ j ≤ q) there exists j′ (j′ ≠ j, 1 ≤ j′ ≤ q) such that $U_{θ (y_{j})} ((£^{u} (F)) (y_{j}) \times {y_{j}}) \cap U_{θ (y_{j^{'}})} ((£^{u} (F)) (y_{j^{'}}) \times {y_{j^{'}}}) \neq \emptyset .$ {U_{\theta ({y_j})}}(({{\rm{\pounds}}^u}(F))({y_j}) \times \{ {y_j}\} )\bigcap {U_{\theta ({y_{j'}})}}(({{\rm{\pounds}}^u}(F))({y_{j'}}) \times \{ {y_{j'}}\} ) \ne \emptyset . Thus, using the above considerations of this item 2 we obtain from here that the equalities hold $n_{*} (y_{1}) = \dots = n_{*} (y_{j}) = \dots = n_{*} (y_{q}) .$ {n_*}({y_1}) = \ldots = {n_*}({y_j}) = \ldots = {n_*}({y_q}). Set n_* = n_* (y_j) (1 ≤ j ≤ q). Using continuity of the partial derivative $\frac{\partial}{\partial x} φ_{y, n_{*}} (x)$ {\partial \over {\partial x}}{\varphi _{y,{\kern 1pt} {n_*}}}(x) on I we verify that the equality (14) holds.

Hence, without loss of generality we will suppose further that n_* = 1. In fact, if n_* ≠ 1 then we get over consideration of the map Fⁿ and use the claim (3.2) of Lemma 3.

3. Prove that every curvelinear fiber is ɛ-close in the C¹-norm to the vertical closed interval that starts from the same initial point (x, a₂) of the set Ω(f ) × {a₂} just as the curvelinear fiber.

3.1. Begin from the curvelinear fibers γ_x⁰ that start from all points (x⁰, a₂), where x⁰ ∈ Per(f ) ∩ Ω^u(f ). By Proposition 8 every this fiber is the graph of the C¹-smooth implicit function x = x(y) defined on the interval I₂. Moreover, x = x(y) satisfies the initial conditions $x (a_{2}) = x (b_{2}) = x^{0}$ x({a_2}) = x({b_2}) = {x^0} and the equation (17) $φ_{y, m} (x) = x [18],$ {\varphi _{y,{\kern 1pt} m}}(x) = x{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} [18]{\kern 1pt} , where m is the least period of the initial f-periodic point x⁰. By the theorem about the C¹-smooth implicit function and the equation (17) we have (18) $\frac{d}{dy} x (y) = - \frac{\frac{\partial}{\partial y} φ_{y, m} (x)}{\frac{\partial}{\partial x} φ_{y, m} (x) - 1}$ {d \over {dy}}x(y) = - {{{\partial \over {\partial y}}{\varphi _{y,{\kern 1pt} m}}(x)} \over {{\partial \over {\partial x}}{\varphi _{y,{\kern 1pt} m}}(x) - 1}} in any point (x, y) ∈ γ_x⁰.

Note that by the item 2 the sequence {ɛ_m}_m≥1 is increasing. Therefore, we construct the special δ-trajectory for the real trajectory {F^j(x, y)}_j≥0. Denote by l_x the vertical closed interval that starts from the point (x, a₂).

Choose the points $\begin{matrix} z_{0} = (x^{0}, y), z_{1} = (x^{1}, y^{1}), \dots, z_{i} = (x^{i}, y^{i}), \dots, z_{m - 1} = (x^{m - 1}, y^{m - 1}) \dots, \\ z_{rm + i} = (x^{rm + i}, y^{rm + i}) (r \geq 0, 0 \leq i \leq m - 1), \end{matrix}$ \matrix{{{z_0} = ({x^0},{\kern 1pt} y),{\kern 1pt} {z_1} = ({x^1},{\kern 1pt} {y^1}), \ldots ,{\kern 1pt} {z_i} = ({x^i},{\kern 1pt} {y^i}), \ldots ,{\kern 1pt} {z_{m - 1}} = ({x^{m - 1}},{\kern 1pt} {y^{m - 1}}) \ldots ,} \cr {{z_{rm + i}} = ({x^{rm + i}},{\kern 1pt} {y^{rm + i}}){\kern 1pt} {\kern 1pt} {\kern 1pt} (r \ge 0,{\kern 1pt} 0 \le i \le m - 1),} \cr } where $\begin{matrix} x^{rm + i} = f^{rm + i} (x^{0}) = f^{i} (x^{0}), \\ y^{rm + i} = g_{(x, y), rm + i} (y) (here 1 \leq i \leq m - 1, m \geq 2) . \end{matrix}$ \matrix{{{x^{rm + i}} = {f^{rm + i}}({x^0}) = {f^i}({x^0}),} \cr {{y^{rm + i}} = {g_{(x,{\kern 1pt} y),rm + i}}(y){\kern 1pt} {\kern 1pt} {\kern 1pt} ({\kern 1pt} {\rm{here}}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} 1 \le i \le m - 1,{\kern 1pt} {\kern 1pt} m \ge 2).} \cr }

Then (x^rm⁺ⁱ, y^rm+i) ∈ l_xⁱ. Since $F^{rm + i} (x, y) = (φ_{y, rm + i} (x), g_{(x, y), rm + i} (y)), and F^{rm + i} (x, y) \in γ_{x^{i}},$ {F^{rm + i}}(x,{\kern 1pt} y) = ({\varphi _{y,{\kern 1pt} rm + i}}(x),{\kern 1pt} {\kern 1pt} {g_{(x,{\kern 1pt} y),rm + i}}(y)),{\kern 1pt} {\rm and}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {F^{rm + i}}(x,{\kern 1pt} y) \in {\gamma _{{x^i}}}, then {z_rm_+i}_{r≥0,0≤i≤m−1} is δ-trajectory for the real trajectory of the point (x, y). Moreover, $| f^{j} (x^{0}) - φ_{y, j} (x) | < δ .$ |{f^j}({x^0}) - {\varphi _{y,{\kern 1pt} j}}(x)| < \delta . It implies, in particular, correctness of the inequality $| \frac{\partial}{\partial y} φ_{y, j} (x) | < ε$ |{\partial \over {\partial y}}{\varphi _{y,{\kern 1pt} j}}(x)| < \varepsilon for every j ≥ 1. Therefore, using (18) we have (19) $| \frac{d}{dy} x (y) | < \frac{ε}{M_{*}^{m} - 1} .$ |{d \over {dy}}x(y)| < {\varepsilon \over {M_*^m - 1}}. Since M_* > 1 then the equality holds: $lim_{m \to + \infty} M_{*}^{m} = + \infty .$ \mathop {\lim }\limits_{m \to + \infty } M_*^m = + \infty . Then there exists m⁰ ≥ 1 such that the inequality (20) $| \frac{d}{dy} x (y) | < ε (see the inequality (19))$ |{d \over {dy}}x(y)| < \varepsilon {\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} ({\rm see}\;{\rm the}\;{\rm inequality}\, (19)){\kern 1pt} is valid for every m ≥ m⁰.

3.2. As it follows from the item 3.1, the set of C¹-smooth functions {x = x(y)} that start from the points {(x⁰, a₂)}, where x⁰ ∈ Per(f ) ∩ Ω_p(f ), m(x⁰) ≥ m⁰ (here m(x⁰) is the (least) period of x⁰), is dense in itself in the C¹-topology. It implies, in particular, that for every C¹-smooth function x = x(y) that starts from a point (x₀, a₂) for x₀ ∈ Per(f ) ∩ Ω_p(f ), m(x₀) < m⁰, the inequality holds (21) $| \frac{d}{dy} x (y) | \leq ε .$ |{d \over {dy}}x(y)| \le \varepsilon . In addition, for every nonperiodic point x⁰ ∈ Ω(f ) there exists the unique C¹-smooth function x = x(y) : I₂ → I₁ with the graph that starts from the point (x⁰, a₂) and with the derivative satisfying the inequality (21) (see the inequality (20)). Proposition 9 is proved.

Extend the lamination £⁰(F) up to the lamination £(F), where £(F) consists of C¹-smooth fibers that start from the points of the set Σ (f ) × {a₂}.

Use conditions (iii_f) – (iv_f), definition of the set Δ(f ), Lemma 5 and Proposition 9. Then we obtain the following statement.

Corollary 10

Let the quotient f of the skew product of interval maps $Φ_{0} \in {\tilde{T}}_{ω, 0}^{1} (I)$ {\Phi _0} \in \widetilde T_{\omega ,{\kern 1pt} 0}^1(I)satisfy conditions (iii_f) – (iv_f). Then for any δ > 0 there exists an ɛ-neighborhood $B_{ε}^{1} (Φ_{0})$ B_\varepsilon ^1({\Phi _0})of the map Φ₀in the space $C_{ω}^{1} (I)$ C_\omega ^1(I)such that every map $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0})obtained from Φ₀by means of the C¹-perturbation μ = μ(x, y), where μ satisfies conditions (i_μ) – (ii_μ), has the closed invariant set £(F) that consists of pairwise disjoint curvelinear fibers. These fibers start from the points of the set Σ^* (f ) × {a₂}, and are graphs of C¹-smooth functions x = x(y) defined on the interval I₂. Every curvelinear fiber of the set £(F) is ɛ-close in the C¹-norm to the vertical closed interval that starts from the same initial point of the set Σ^* (f ) × {a₂} just as the curvelinear fiber.

Remark 6

The set £(F) constructed in the Corollary 10 is the C¹-smooth lamination, i.e. the set $£ (F) = {x^{0}, x, y}, where x^{0} \in Σ^{*} (f), x = x (y),$ {\rm{\pounds}}(F) = \{ {x^0},{\kern 1pt} x,{\kern 1pt} {\kern 1pt} y\} ,{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {\rm where}{\kern 1pt} {\kern 1pt} {\kern 1pt} {\kern 1pt} {x^0} \in {\Sigma ^*}(f),{\kern 1pt} {\kern 1pt} x = x(y), depends C¹-smoothly on the variables x⁰, x, y.

Let conditions of Theorem 7 be fulfilled, and $F \in B_{ε}^{1} (Φ_{0})$ F \in B_\varepsilon ^1({\Phi _0}) be given by the formula (1), where μ depends on x and y. Let γ_x⁰ be the curvelinear fiber from £(F) that starts from an arbitrary point (x⁰, a₂), where x⁰ ∈ Σ^* (f ). We set (22) $\tilde{H} (x, y) = x^{0}$ \widetilde H(x,{\kern 1pt} y) = {x^0} for any point (x, y) ∈ γ_x⁰, that is $\tilde{H} (γ_{x^{0}}) = x^{0}$ \widetilde H({\gamma _{{x^0}}}) = {x^0} , and $\tilde{H} (£ (F)) = Σ^{*} (f)$ \widetilde H({\rm{\pounds}}(F)) = {\Sigma ^*}(f) . It means that the curvelinear projection $\tilde{H}$ \widetilde H is the surjection of the set £(F) on the set Σ^* (f).

By the equality (22) we have (23) $\tilde{H} (x, y) = p r_{1} (x, y) - x_{x^{0}} (y) + x^{0},$ \widetilde H(x,{\kern 1pt} y) = p{r_1}(x,{\kern 1pt} y) - {x_{{x^0}}}(y) + {x^0}, where x = x_x_⁰ (y) is the function with the graph γ_x_⁰.

Remark 7

As it follows from the equality (23) and Corollary 10, the curvelinear projection $\tilde{H}$ \widetilde H is C¹-smooth on the lamination £(F). Moreover, surjection $\tilde{H} : £ (F) \to Σ^{*} (f)$ \widetilde H:{\rm{\pounds}}(F) \to {\Sigma ^*}(f) is ɛ-close in the C¹-norm to the natural projection pr₁ : Σ (f ) × I₂ → Σ^* (f ).

Remark 8

F-invariance of the lamination £(F) and the formula (22) imply the equality (24) $\tilde{H} \circ F_{| £ (F)} = f_{| Σ^{*} (f)} \circ \tilde{H} .$ \widetilde H \circ {F_{|{\rm{\pounds}}(F)}} = {f_{|{\Sigma ^*}(f)}} \circ \widetilde H.

Comparison of the equalities (24) and (10) shoes that F is partially integrable map (see Definition 2). It completes the proof of Theorem 7.

In the end of the paper we give the example of the partially integrable map.

Example 11

Let F(x, y) = (f (x) + λx(1 − x)y(1 − y), g(x, y)), where $F \in C_{ω}^{1} ([0, {1]}^{2})$ F \in C_\omega ^1([0,{\kern 1pt} {1]^2}) , λ > 0.

The condition “ $F \in C_{ω}^{1} ([0, {1]}^{2})$ F \in C_\omega ^1([0,{\kern 1pt} {1]^2}) ” implies “ $f \in {\tilde{C}}_{ω}^{1} ([0, 1])$ f \in \widetilde C_\omega ^1([0,{\kern 1pt} {\kern 1pt} 1]) ”. We use here the model C¹-smooth Ω-stable map f of type ≻ 2^∞ from the paper [16]: $f (x) = {\begin{array}{l} \tilde{h} (x), & if & x \in [0, \frac{1}{4}); \\ 9 (\frac{1}{4} - x) (x - \frac{3}{4}) + \frac{1}{4}, & if & x \in [\frac{1}{4}, \frac{3}{4}); \\ \tilde{h} (1 - x), & if & x \in [\frac{3}{4}, 1]; \end{array}$ f(x) = \left\{ {\matrix{{\widetilde h(x),} \hfill & {{\kern 1pt} {\rm if}{\kern 1pt} } \hfill & {x \in [0,{\kern 1pt} {1 \over 4});} \hfill \cr {9({1 \over 4} - x)(x - {3 \over 4}) + {1 \over 4},} \hfill & {{\kern 1pt} {\rm if}{\kern 1pt} } \hfill & {x \in [{1 \over 4},{\kern 1pt} {3 \over 4});} \hfill \cr {\widetilde h(1 - x),} \hfill & {{\kern 1pt} {\rm if}{\kern 1pt} } \hfill & {x \in [{3 \over 4},{\kern 1pt} 1];} \hfill \cr } } \right. where $\tilde{h}$ \widetilde h is so that f (0) = f (1) = 0, f : [0, 1/4] → [0, 1/4] is increasing bijection, f : [3/4, 1] → [0, 1/4] is decreasing bijection. Let M = sup{ f (x)} satisfy the inequality 3/4 < M < 1, and the point x_M such that the equality f (x_M) = M holds, be the unique. Then the equality is valid: $Ω (f) = {0} \cup K (f),$ \Omega (f) = \{ 0\} \bigcup K(f), where K(f ) is the unique locally maximal quasiminimal set of f, $K (f) = Ω_{p} (f) \subset [\frac{1}{4}, \frac{3}{4}]$ K(f) = {\Omega _p}(f) \subset [{1 \over 4},{\kern 1pt} {3 \over 4}] and x_M ∈ Δ° (f ).

Let λ be so small that the function μ(x, y) = λ x(1 − x)y(1 − y) satisfies the condition (ii_μ). We have also μ(0, y) = μ(1, y) = μ(x, 0) = μ(x, 1) = 0 for all x, y ∈ [0, 1]. Hence, the condition (i_μ) is valid. It means that conditions of Theorem 7 are fulfilled, and there exists the invariant lamination £(F) over the points of the set Ω(f ) = {0} ∪ K(f ). It implies the semiconjugacy of F_|£_(F) and f_|_{Ω(f )}. Therefore, F is the partially integrable map (see Definition 2).

eISSN:: 2444-8656
Sprache:: Englisch

Zeitrahmen der Veröffentlichung:: Volume Open
Fachgebiete der Zeitschrift:: Biologie, andere, Mathematik, Angewandte Mathematik, Allgemeines, Physik

Zeitschrift RSS Feed

Small C1-smooth perturbations of skew products and the partial integrability property

Online veröffentlicht: 30. Nov. 2020

Seitenbereich: 317 - 328

Eingereicht: 25. Dez. 2019

Akzeptiert: 02. Mai 2020

DOI: https://doi.org/10.2478/amns.2020.2.00057

Schlüsselwörterskew products of interval maps, perturbation, integrability of a discrete dynamical system, partial integrability of a discrete dynamical system, curvelinear fiber

© 2020 L.S. Efremova et al., published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Small C¹-smooth perturbations of skew products and the partial integrability property

Schlüsselwörter
skew products of interval maps, perturbation, integrability of a discrete dynamical system, partial integrability of a discrete dynamical system, curvelinear fiber