Nonautonomous saddle-node bifurcations in the quasiperiodically forced logistic map
|
|
- Adelia Dalton
- 5 years ago
- Views:
Transcription
1 Nonautonomous saddle-node bifurcations in the quasiperiodically forced logistic map T.Y. Nguyen T.S. Doan T. Jäger S. Siegmund April 2, 2 Abstract We provide a local saddle-node bifurcation result for quasiperiodically forced interval maps. As an application, we give a rigorous description of saddle-node bifurcations of 3-periodic graphs in the quasiperiodically forced logistic map with small forcing amplitude. 2 Mathematics Subject Classification. Keywords. saddle-node bifurcation; quasi-periodically forced systems; invariant graphs; logistic map. Introduction Recently, many papers have been devoted to bifurcation problems of non-autonomous dynamical systems. See e.g. Fabbri et al. [4], Johnson et al. [9], Kloeden [2], Kloeden and Siegmund [3], Novo et al. [8], Núñez and Obaya [9], Rasmussen [2, 22]. Kloeden and Siegmund [3] give a survey and introduce several definitions of attractor of nonautonomous dynamical systems. Johnson et al. [9] and Fabbri et al. [4] study an alternative local theory applicable in the context of differential equations depending on some small parameter. Langa et al. [4, 5] base their investigation on the notion of pullback attractor and observe bifurcations for certain nonautonomous differential equations. Rasmussen [2, 22] gives some new notions of attractivity and repulsivity which are different from those given by Langa et al. [4, 5] and uses them to develop a bifurcation theory of nonautonomous difference equation as well as nonautonomous differential equation. Núñez et al. [9] present a bifurcation theory by considering attraction properties of minimal sets for skew product flows generated by deterministic scalar differential equation. Kloeden [2] investigates pitchfork and transcritical bifurcations of a vector valued differential equation with an autonomous linear part and a homogeneous nonlinearity multiplied by an almost periodic function. ntyet@math.ac.vn dtson@tu-dresden.de Tobias.Oertel-Jaeger@tu-dresden.de stefan.siegmund@tu-dresden.de
2 In this paper, we study saddle-node bifurcations in families of quasiperiodically driven monotone interval maps F β : Ω I Ω I, F β (ω,x) = (θω,f β (ω,x)), β [a,b], () where Ω = R d /Z d is the d-dimensional torus and θ : Ω Ω is the rotation by some totally irrational vector in Ω. The assumptions on f β include its continuity, the continuity of its derivative with respect to x, its convexity with respect to x and some monotonicity conditions with respect to x and β. Our main focus is the application of a general bifurcation result to the quasiperiodically forced logistic map given by () with f β,ε (ω,x) = β ( +εcos(2πω) p) x( x) (2) for small forcing parameter ε. The bifurcating objects we study are invariant or periodic graphs. For a quasiperiodically driven monotone interval map, these play the same role as fixed points for unperturbed maps. We prove the existence of a critical parameter β at which the number and properties of periodic graphs of f β in a certain region of the phase space change: two continuous periodic graphs exist, one has positive Lyapunov exponent and the other has negative Lyapunov exponent for β > β ; only one continuous or a pair of pinched semi-continuous periodic graphs exists for β = β ; and no periodic graph exists for β < β. Our general bifurcation result (Theorem 2) can be considered as a discrete-time analogue of results by Novo et al. [8] and Núñez and Obaya [9] on non-autonomous scalar convex differential equation. For the proof, we draw on methods from the proof of [8, Theorem 2.], were a special case was treated. For our purposes, we need to generalise this result and obtain a flexible version which holds under C -open conditions on the parameter family. Since these conditions are always met by parameter families of unforced interval maps undergoing a classical saddle-node bifurcation, the statement still aplies for small non-autonomous perturbations. In particular, we obtain local saddle-node bifurcations of three-periodic graphs in the quasiperiodically forced logistic map (2). This map has recently been described as a prototypical example for the birth of strange non-chaotic attractors [6, 7, 2] and a rigorous proof for a special case has been given by Bjerklöv in [3]. Our results provide a general setting for the further analysis of such bifurcation phenomena. This paper is organized as follows. The general setting is described in Section 2, in which we include the most basic concepts and results on topological dynamics and ergodic theory used throughout the paper. Section 3 is devoted to the proof of the local saddlenode bifurcation theorem. Section 4 contains the application of this local saddle-node bifurcation theorem to the quasiperiodically forced logistic maps. 2 Quasiperiodically driven C k -interval maps 2. Invariant graphs, invariant measures and Lyapunov exponents In all of the following, we denote by Ω = R d /Z d the d-dimensional torus and suppose θ : Ω Ω is the rotation by some totally irrational vector α Ω. In particular, θ is a uniquely ergodic and minimal isometry. The Lebesgue measure on Ω is denoted by P. Definition (Quasiperiodically driven C k -interval maps). Let X = [a,b] R be a compact interval. Then F : Ω X Ω X is called a quasiperiodically driven (or 2
3 forced) C k -interval map if it is a skew product of the form F : Ω X Ω X, (ω,x) (θω,f(ω,x)) such that (i) for all ω Ω the map x f(ω,x) is k times continuously differentiable in x, (ii) all derivatives D i f(x,ω) of x f(ω,x) up to order i = k depend continuously on (ω,x). Further, we say F is monotone if the maps x f(ω,x) are strictly monotonically increasing for all ω Ω. Let F k (Ω X) be the set of all quasiperiodically driven C k -interval maps on Ω X and denote the usual C k -distance on F k by d C k. Given F F k (Ω X) we let f n (ω,x) = π 2 F n (ω,x), where π 2 denotes the projection to the second coordinate. Thus F n (ω,x) = (θ n ω,f n (ω,x)). A fundamental concept in this context is that of invariant graphs. Definition 2 (Invariant Graph). Let F F k (Ω X). An invariant graph of F is a measurable function ϕ : Ω X that satisfies f(ω,ϕ(ω)) = ϕ(θω) for P-a.e. ω Ω. (3) For convenience, we will use the term invariant graph both for ϕ and for the associated point set Φ := {(ω,ϕ(ω)) : ω Ω}. An invariant graph of F q, where q N, is called a q-periodic graph of F. We will usually identify invariant graphs that are equal P-almost everywhere and thus, implicitly, always speak of equivalence classes. However, there is one important exception we have to address. When an invariant graph has some topological properties like continuity or semi-continuity, then these can certainly be destroyed by modifications on a set of measure zero. Hence, some care has to be taken and we will therefore use the following convention. Whenever we say that an invariant graph is continuous or semi-continuous, this means that there exists a representative in the respective equivalence class with this property. Further, we require that for this particular representative equation (3) holds for all ω Ω. There is only one case where this terminology might be somewhat ambiguous. It is possible that an equivalence class of invariant graphs contains both an upper and a lower semicontinuous representative, but no continuous one. We will always explicitly mention this possibility whenever it may occur. However, in most cases it can be excluded due to a non-zero Lyapunov of the invariant graph, see Corollary 7 below. Let ϕ be a given invariant graph of F. We define a probability measure P ϕ on (Ω X,B(Ω) B(X)) by P ϕ (A) := P({ω Ω : (ω,ϕ(ω)) A}) A B(Ω) B(X). (4) is called the induced probability measure of ϕ. Using the invariance of ϕ and the ergodicity of θ, it is easy to see that P ϕ is ergodic with respect to F. The following result shows that when F is monotone this construction can be reversed, such that there is a one-to-one correspondence between invariant graphs and ergodic invariant measures. Lemma 3 (Invariant Graphs and Ergodic Measures, Theorem.8.4 in []). Let F F (Ω X) be monotone and assume that µ is an F-invariant ergodic measure. Then there exists an invariant graph ϕ such that µ = P ϕ, where P ϕ is defined as in (4). 3
4 The proof in [] is given for continuous-time systems, but literally remains valid for discrete time. In order to assign a well-defined point set to an equivalence class of almost everywhere defined invariant graphs, we introduce the essential closure of an invariant graph ϕ by Φ ess := supp(p ϕ ) = {(ω,x) : P ϕ (U) > open neighborhoods U of (ω,x)}. (5) In the following lemma, we recall some basic properties of semi-continuous invariant graphs and their essential closure. Lemma 4 ([7]). Let F F (Ω X) be monotone and suppose that ϕ is an invariant graph of F. Then the following holds. (i) Φ ess is a compact invariant set of F. (ii) P ϕ ( Φ ess ) =. (iii) If ϕ(ω) = ϕ(ω) P ϕ -a.e., then then Φess Φess. (iv) Φ ess is contained in every compact set which contains P ϕ -a.e. point of Φ. The Lyapunov exponent of an invariant graph ϕ is given by λ(ϕ) := log Df(ω,x) dp ϕ (ω,x) = log Df(ω,ϕ(ω)) dp(ω), Ω X where Df(ω,x) denotes the derivative of f(ω,x) with respect to x. Due to Birkhoff s Ergodic Theorem, we have lim n n log Dfn (ω,x) = λ(ϕ) for P ϕ -a.e. (ω,x) (Ω X). (6) If ϕ is continuous then the Uniform Ergodic Theorem (see, for example, []) implies that (6) holds for all ω Ω and the convergence is even uniform on Ω. This observation entails the following perturbation result. Lemma 5 (Persistence of Continuous Invariant Graphs, [23]). Let F F (Ω X) and suppose that F has a continuous invariant graph ϕ. Assume that λ(ϕ) <. Then for any ε > there exists δ > such that for all F F (Ω X) with d C (F, F) δ there exists a continuous invariant graph ϕ of F satisfying that ϕ(ω) ϕ(ω) ε for all ω Ω. When F is monotone, the same holds in λ(ϕ) >. Furthermore, we have the following criterion for the continuity of invariant graphs. Theorem 6 (Theorem.4 and Corollary.5 in [25]). Let F F (Ω X) and suppose A Ω X is a compact F-invariant set such that all invariant graphs contained in A have strictly negative Lyapunov exponent. Then A is a finite union of continuous curves. In particular, if A ω = {x X (ω,x) A} is a single interval for all ω Ω, then A is a continuous invariant graph. This allows to show that the pathological case of two semi-continuous, but no continuous invariant graphs in the same equivalence class can only occur in combination with Lyapunov exponent zero. Ω 4
5 Corollary 7 (Proposition 4. in [24]). Suppose F F (Ω X) is monotone and ϕ and ϕ + are lower, respectively upper semi-continuous invariant graphs with ϕ (ω) = ϕ + (ω) P-a.e.. Then λ(ϕ ± ) implies that the two graphs coincide and are continuous. Finally, there is also an intimate relation between invariant graphs and compact invariant sets of quasiperiodically driven monotone interval maps. Suppose F F (Ω X) is monotone and A is a compact F-invariant set. Then the upper bounding graph ϕ + A of A defined by ϕ + A (ω) = sup{x X (ω,x) A} (7) is an upper-semi continuous invariant graph. (In particular, the equation ϕ + A (θω) = f(ω,ϕ + A (ω)) holds for all ω Ω, as required in the discussion below 2.) Analogously, the lower bounding graph ϕ A of A defined by ϕ A (ω) = inf{x X (ω,x) K} (8) is a lower-semi continuous invariant graph. The set A is called pinched if ϕ + A and ϕ A coincide on a residual subset of Ω (residual in the sense of Baire s Theorem). Similarly, we call a lower semi-continuous invariant graph ϕ and an upper semi-continuous invariant graph ϕ + with ϕ ϕ + pinched, if the set [ϕ,ϕ + ] := {(ω,x) x [ϕ (ω),ϕ + (ω)]} is pinched, that is, if {ω Ω ϕ (ω) = ϕ + (ω)} is residual. The following basic observations related to these notions are taken from [24]. Lemma 8 ([24]). Suppose F F (Ω X) is monotone and ϕ +,ϕ : Ω X are upper semi-continuous, respectively lower semi-continuous invariant graphs of F. Then the following holds: (i) If ϕ (ω) > ϕ + (ω) for some ω Ω, then there exists ε > such that ϕ (ω) > ϕ + (ω)+ε ω Ω. (ii) If ϕ (ω) ϕ + (ω) for some ω Ω, then ϕ (ω) ϕ + (ω) ω Ω. (iii) If ϕ (ω) ϕ + (ω) for all ω Ω and there exists ω Ω such that ϕ + (ω ) = ϕ (ω ), then ϕ and ϕ + are pinched. (iv) The sets {(ω,x) Ω X : x ϕ + (ω)} and {(ω,x) Ω X : x ϕ (ω)} are closed. (v) A compact invariant set A K of F is pinched provided that either Φ + A Φ A or Φ A Φ + A, where Φ denotes the topological closure of Φ. (vi) A is minimal if and only if A = Φ A = Φ + A. In particular, any minimal set is pinched. 2.2 Preliminary results In order to describe bifurcations of invariant graphs, it will be crucial to have an upper bound on the number of these objects that can coexist in a given system. This is achieved by the following result, which is originally due to Keller. We concentrate on the invariant graphs in a certain region K = {(ω,x) Ω X x [γ (ω),γ + (ω)]}, where γ ± : Ω X are measurable (and usually continuous) functions. We let K ω = [γ (ω),γ + (ω)]. Theorem 9 (Theorem 3.3 in [8]). Let F F 2 (Ω X) be monotone and suppose that for all ω Ω the maps x f(ω,x) are strictly convex on K ω. Then the following holds. (i) F has at most two invariant graphs in K (in the sense of equivalence classes). 5
6 (ii) If F has exactly two invariant graphs ϕ and ϕ + in K and ϕ (ω) < ϕ + (ω) for P-a.e. ω Ω, then λ(ϕ ) < < λ(ϕ + ). If in addition the curves γ ± are both mapped above themselves and there exist two invariant graphs in K, then it turns out that these invariant graphs can be obtained as the pointwise limits of the forwards iterates of γ and the backwards iterates of γ +, respectively. This characterization will play an important role in the proof of the bifurcation result (Theorem 2) below. We define two sequences of curves (ϕ n) n= and (ϕ+ n) n= by ϕ n(ω) := f n (θ n ω,γ (θ n ω)) and ϕ + n(ω) := f n (θ n ω,γ + (θ n ω)). (9) Lemma. LetF F (Ω X) bemonotoneandsupposeγ andγ + arebothcontinuous and there holds f(ω,γ ± (ω)) γ ± (θω) for all ω Ω. Then we have: (i) The map F has an invariant graph in K if and only if ϕ n(ω),ϕ + n(ω) K ω for all n N and ω Ω. (ii) Suppose that F has an invariant graph in K. Then the limits ϕ (ω) := lim n ϕ n (ω) and ϕ+ (ω) := lim n ϕ+ n (ω) exist and are invariant graphs in K. Furthermore, ϕ is lower semi-continuous and ϕ + is upper semi-continuous and ϕ (ω) ϕ(ω) ϕ + (ω) for all invariant graphs ϕ of F in K. Proof. (i) An elementary computation yields that ϕ n(ω) = f n k (θ (n k) ω,ϕ k (θ (n k) ω)) for all k n,ω Ω. () Suppose that ϕ n(ω) K ω for all n N and ω Ω. In particular, ϕ (ω) γ (ω) = ϕ (ω), which together with () and the monotonicity of F implies that the sequence (ϕ n(ω)) n N is increasing. At the same time it is bounded above by γ +, such that the limit ϕ (ω) := lim n ϕ n (ω) exists. Setting k = n in () and using the continuity of f gives that ϕ is an invariant graph of F. Conversely, let ϕ be an invariant graph of F in K. In this case A = Φ ess K and hence ϕ ± A are invariant graphs in K that satisfy (3) for all ω Ω. We may thus assume that ϕ is defined and invariant everywhere. By Definition 2, ϕ(ω) = f n (θ n ω,ϕ(θ n ω)). This together with the monotonicity of F implies that ϕ n(ω) ϕ(ω) γ + (ω) n N. Similarly, we obtain ϕ n(ω) γ (ω) n N, and by replacing f with f we can repeat the same argument to show that ϕ + n(ω) K ω n N as well. This completes the proof of part (i). (ii) Let ϕ be an invariant graph of F in K. As in part (i), we obtain that for each fixed ω Ω the sequence (ϕ n ) n N is contained in K and its limit ϕ (ω) := lim n ϕ n (ω) is an invariant graph. Further, as the limit of an increasing sequence of continuous curves ϕ is lower semi-continuous. Similarly, we see that ϕ + is an upper semi-continuous invariant graph of F in K. Finally, using the invariance of ϕ and the monotonicity of F on K we get ϕ n(ω) ϕ(ω) ϕ + n(ω) n N. Letting n gives that ϕ (ω) ϕ(ω) ϕ + (ω). 6
7 If the fibre maps x f(ω,x) are convex on K ω in the preceding statement, then Theorem 9 implies that ϕ and ϕ + are the only invariant graphs in K. In this situation there only exist two alternatives concerning the structure of these graphs: Either they are pinched, or they are both continuous. This is the content of the following statement, which is formulated in a slightly more general way. Proposition. Let F F (Ω X) be monotone and suppose that F has exactly two invariant graphs ϕ ϕ + in K which are lower, respectively upper semi-continuous and have non-zero Lyapunov exponents. Then either ϕ and ϕ + are pinched, or they are both continuous invariant graphs. Proof. Suppose that ϕ and ϕ + are not pinched, that is, ϕ (ω) < ϕ + (ω) for all ω Ω. We denote by ψ + the upper bounding graph of Φ, that is, ψ + = ϕ + Φ in the sense of (7). Similarly, we let ψ = ϕ Φ+. Then due to Lemma 8(v) the pairs ϕ,ψ + and ψ,ϕ + are pinched, which means that there exists a residual set R Ω such that ϕ (ω) = ψ + (ω) and ψ (ω) = ϕ + (ω) ω R. () We distinguish two cases. First, suppose that ψ + ψ. Then we obtain that ϕ (ω) = ψ + (ω) ψ (ω) = ϕ + (ω) ω R, such that ϕ and ϕ + are pinched. Secondly, assume that there exists some ω Ω with ψ + (ω) < ψ (ω). Then due to Lemma 8(i) we have ψ + (ω) < ψ (ω) ω Ω. Consequently, the compact F-invariant sets A = [ϕ,ψ + ] and A + = [ψ,ϕ + ] are disjoint, and each of them contains exactly one invariant graph ϕ, respectively ϕ +. Since both these invariant graphs have non-zero Lyapunov exponent, Theorem implies that both sets are just continuous curves, and must therefore coincide with the graphs Φ and Φ +. 3 Saddle-node bifurcations in quasiperiodically forced interval maps Wenowconsiderparameter familiesof quasiperiodicallyforcedc 2 -interval maps(f β ) β [,] and write F β (ω,x) = (θω,f β (ω,x)). As in the previous section, we concentrate on a region K = {(ω,x) Ω X x [γ (ω),γ + (ω)]}, where γ ± : Ω X are continuous curves. Theorem 2 (Local Saddle-Node Bifurcation Theorem). Suppose that the parameter family of quasiperiodically forced C 2 -interval maps (F β ) β [,] satisfies the following conditions: (H) Df β (ω,x) > for all (ω,x) K and β [,] (monotonicity); (H2) for all ω Ω and β [,], the map x f β (ω,x) is strictly convex on K ω (convexity); (H3) for all ω Ω and β [,] f β (ω,γ (ω)) > γ (θω) and f β (ω,γ + (ω)) > γ + (θω) (2) (Dynamical behaviour at the boundaries of K); 7
8 (H4) the maps (β,ω,x) f β (ω,x) and (β,ω,x) Df β (ω,x) are continuous (continuity in the parameter); (H5) for all (ω,x) K, the map [,] X,β f β (ω,x) is strictly decreasing (monotonicity in the parameter); (H6) F has two continuous invariant graphs in K, and F has no invariant graphs in K (behaviour at the extremal parameters). Then there exists a critical parameter β c (,) such that the following statements hold (i) If β < β c, then F β has no invariant graphs in K. (ii) If β = β c, then F β has either one or two invariant graphs in K. We denote them by ϕ and ϕ + (allowing ϕ = ϕ + ), where ϕ ϕ +. Then ϕ is lower semi-continuous and ϕ + is upper semi-continuous. Further, one of the two following holds: ϕ equals ϕ + P-a.e. and then λ(ϕ ) = λ(ϕ + ) = (Smooth Bifurcation). ϕ ϕ + P-a.e., λ(ϕ ) <, λ(ϕ + ) > and both invariant graphs are noncontinuous (Non-smooth Bifurcation). In any case, the set B := {(ω,x) Ω X x [ϕ (ω),ϕ + (ω)]} is pinched. (iii) If β > β c, then F β has exactly two invariant graphs in K, both of which are continuous. We denote them by ϕ β and ϕ+ β, with ϕ β < ϕ+ β. There holds λ(ϕ β ) <, λ(ϕ + β ) >, and the dependence of the graphs on β is continuous and monotone: If β is decreased, then ϕ β moves upward and ϕ+ β moves downward uniformly on all fibers. Remark 3. Using the reflection (ω,x) (ω, x), one can formulate a dual version of Theorem 2 for concave fiber maps. Replacing assumptions (H2), (H3) and (H5) by (H2 ) for all ω Ω and β [,], the map x f β (ω,x) is strictly concave on K ω ; (H3 ) for all ω Ω and β [,] f β (ω,γ (ω)) < γ (θω) and f β (ω,γ + (ω)) < γ + (θω); (H5 ) for all (ω,x) K, the map [,] X,β f β (ω,x) is strictly increasing; the statements of Theorem 2 remain true, with the only difference that the signs of the Lyapunov exponents are reversed, that is, λ(ϕ ) <, λ(ϕ + ) > and λ(ϕ β ) <, λ(ϕ+ β ) > in Theorem 2 is replaced by λ(ϕ ) >, λ(ϕ + ) < and λ(ϕ β ) >, λ(ϕ+ β ) <. Proof of Theorem 2. First of all, note that we may assume without loss of generality that all maps F β are monotone on all of X. Since we are only interested in the dynamics and the invariant graphs inside K, we may just modify the F β outside of K otherwise. Inside of K monotonicity is guaranteed by (H). This includes the case of a single neutral continuous invariant graph, but due to the zero Lyapunov exponent the possibility of having only semi-continuous, but no continuous representatives in the equivalence class cannot be excluded (see the discussion after (3) and Corollary 7). 8
9 Due to (H6), the map F has an invariant graph. We define the critical parameter by β c := inf{β [,] : F β has an invariant graph in K}. (i) By definition of β c, F β has no invariant graphs in K for all β < β c. (ii) Fix ω Ω and n N. By the definition of β c, there exists a sequence (β k ) k= with β k > β c and lim k β k = β c such that the map F βk has an invariant graph in K for all k N. Consequently, in view of Lemma (i) we get ϕ β k,n (ω) := fn β k (θ n ω,γ (θ n ω)) K ω. Letting k yields that ϕ β = c,n fn β c (θ nω,γ (θ n ω)) K ω. As ω and n are arbitrary, Lemma(i) implies thatf βc has aninvariant graphink. Therefore, accordingtolemma (ii), ϕ β c and ϕ + β c are invariant graphs of F βc in K (allowing ϕ β c = ϕ + β c ). ] We now show that B := [ϕ,ϕ + is a pinched set. Suppose the opposite. Then βc βc in view of Lemma 8(iii) we have ϕ β c (ω) < ϕ + β c (ω) for all ω Ω. Consequently, using Theorem 9(ii), we obtain that λ(ϕ β c ) < < λ(ϕ + β c ). Together with Theorem, this implies that ϕ β c and ϕ + β c are continuous invariant graphs. Due to Theorem 5 and (H4), these invariant graphs will persist for all parameters sufficiently close to β c, contradicting the definition of β c. Hence, the set B must be pinched. To conclude the proof of this part we consider the following cases: ϕ β c = ϕ + β c P-a.e.. If λ(ϕ ± β c ), then by Corollary 7 the two graphs coincide and are continuous. Theorem 5 therefore implies that there exists an invariant graph for all β in a small neighbourhood of β c, contradicting the definition of β c. Hence, we must have λ(ϕ ± β c ) =. ϕ β c ϕ + β c P-a.e. Then according to Lemma 9(ii), we get λ(ϕ β c ) < < λ(ϕ + β c ). Consequently, using the definition of β c and Theorem 5 again, the invariant graphs ϕ β c andϕ + β c cannot becontinuous andweareinthecase ofanon-smoothbifurcation. (iii) According to part (ii), F βc has at least one invariant graph ϕ in K. Fix β > β c. Due to (H5) we obtain ϕ β,n (ω) < ϕ β c,n (ω) ϕ(ω) n N. Therefore, by Lemma (i) the limit ϕ β (ω) := lim n ϕ β,n (ω) exists and is a lower semi-continuous invariant graph in K of F β. Lemma (ii) therefore implies that the limit ϕ + β (ω) := lim n ϕ + β,n (ω) exists and is an invariant graph of F β in K as well. Moreover, ϕ + β is upper semi-continuous and ϕ + β (ω) ϕ(ω). By conditions (H) and (H5) we get ϕ β (ω) = f β(θ ω,ϕ β (θ ω)) < f βc (θ ω,ϕ(θ ω)) = ϕ(ω) ω Ω. Similarly, ϕ + β (ω) > ϕ(ω) and hence ϕ+ (ω) > ϕ (ω) for all ω Ω, in particular the two graphsarenotpinched. Further, Lemma9(i)impliesthatϕ β andϕ+ β aretheonlyinvariant graphs of F β in K. We can therefore apply Proposition to see that the invariant graphs ϕ β and ϕ+ β are continuous as required. An important point concerning the application of this result to the quasiperiodically forced logistic map in the next section is the fact that conditions (H) (H6) are satisfied on open sets in the space of parameter families equipped with a suitable topology. In order to make this precise, we let P[,] = { F ( ) : [,] F 2 (Ω X), β F β (β,ω,x) f β (ω,x), (β,ω,x) β f β (ω,x), (β,ω,x) Df β (ω,x) and (β,ω,x) D 2 f β (ω,x) are continuous }. 9
10 On P[,] we define a metric d P by ( d P F ( ), F ) ( ) := sup d C 2 (F β, F ) β + sup β [,] (β,ω,x) [,] Ω X β f β (ω,x) β fβ (ω,x). Suppose K = {(ω,x) Ω x x [γ (ω),γ + (ω)]} with continuous functions γ and γ + as in Theorem 2. Let U K [,] := { F ( ) P[,] F ( ) satisfies conditions (H)-(H6) }, Ũ K [,] := { F ( ) P[,] F ( ) satisfies conditions (H),(H2 ),(H3 ),(H4),(H5 ),(H6) } Then we have the following proposition. Proposition 4. The sets U K [,] and ŨK[,] are open in (P[,],d P ). Proof. Due to compactness, it is easy to see that conditions (H) (H5) and (H2 ), (H4 ), (H5 ) are open in (P[,],d P ). It remains to see that (H6) is an open condition as well. To that end, fix F ( ) P[,] such that (H6) holds. Then according to Theorem 9(ii) and Lemma 5 there exists an open neighbourhood V of F ( ) such that F has two continuous invariant graphs in K for all F( ) V. Further, in view of Lemma (i) and the fact that F has no invariant graphs in K, we have f n (θ n ω,γ (θ n ω )) > γ + (ω ) for some ω Ω and n N. Hence, there exists a neighbourhood V 2 V of F ( ) such that f n (θ n ω,γ (θ n ω )) > γ + (ω ) for all F( ) V 2. This together with Lemma (i) implies that F has no invariant graphs in K for all F ( ) V 2, such that (H6) holds on the open set V 2. Since F ( ) was arbitrary, this shows that (H6) is an open condition as well and hence U K [,] and ŨK[,] are open. 4 A local saddle-node bifurcation theorem for a family of quasiperiodically forced logistic maps Let T = R/Z be the one dimensional torus and θ α : T T the rotation by some irrational number α T. We consider a family of quasiperiodically forced logistic maps F β,ε : T [,] T [,] defined by F β,ε (ω,x) = (θ α ω,f β,ε (ω,x)) (ω,x) T [,], (4) [ ] 4 where ε,β, +ε and for each β,ε the function f β,ε : T [,] [,] is given by f β,ε (ω,x) = β ( +εcos(2πω) p) x( x) (ω,x) T [,], where p N. For more information about this family of maps, we refer to Negi et al. [7] and Prasad et al. [2]. Note that (f β, ) β [,4] is the family of unforced logistic maps, i.e. (3) f β, (,x) = βx( x) := f β (x) x [,]. (5) Asdepicted in Figure, themapf β, whereβ = β c := + 8, hasaunique3-periodicorbit
11 f 3 β (x) f 3 β (x) f 3 β (x) β = 3.75 β c = + 8 β = 3.9 Figure : Saddle-node bifurcation of 3-periodic orbit for f β. in [,] which is denoted by {x,x 2,x 3 } with x < x 2 < x 3. Furthermore, Df 3 β c (x ) = Df 3 β c (x 2 ) = Df 3 β c (x 3 ) = and the following inequalities hold D 2 f 3 β c (x ) >, D 2 f 3 β c (x 2 ) >, D 2 f 3 β c (x 3 ) <, β f 3 β (x ) β=βc <, β f 3 β (x 2) β=βc <, β f 3 β (x 3) β=βc >, (6) see e.g. [2, 6]. A bifurcation result illustrated in Figure is formulated theoretically as follows (see [2, 6] for more details): Lemma 5. Consider the family of unforced logistic maps (f β ) β [,4] defined as in (5). Then there exist η > and intervals I,I 2,I 3 [,] containing x,x 2,x 3, respectively, such that (i) If β (β c η,β c ), then f β has no 3-periodic points in I I 2 I 3. (ii) If β = β c, then each of the intervals I,I 2,I 3 contains a unique 3-periodic point x,x 2,x 3 of f β, respectively. (iii) If β (β c,β c + η), then f β has exactly two 3-periodic points in I i denoted by x i (β) < x + i (β). Furthermore, x (β),x 2 (β),x+ 3 (β) and x+ (β),x+ 2 (β),x 3 (β) are 3-periodic orbits of f β and satisfy Dfβ 3 (x (β)) = Df3 β (x 2 (β)) = Df3 β (x+ 3 (β)) <, Dfβ 3 (x+ (β)) = Df3 β (x+ 2 (β)) = Df3 β (x 3 (β)) >. Moreover, for i =,2,3 the functions x i ( ) are monotonically decreasing and x+ i ( ) are monotonically increasing and lim β βc x ± i (β) = x i. So far we have introduced a bifurcation result of 3-periodic orbits for the family of unforced logistic maps. Now we consider 3-periodic graphs of F β,ε. Relations between periodic points of f β and periodic graphs of F β, are our next step to get bifurcation results of the family of quasiperiodically forced logistic maps F β,ε defined as in (4). One of these relations is provided in the following remark. Remark 6. (i) If x [,] is a q-periodic point of f β then the constant map ϕ : T [,],ω x is a q-periodic graph of F β,.
12 (ii) Let I be a compact interval of [,] and suppose that ϕ : T I is a q-periodic graph of F β,. Then f β has a q-periodic point in I. To see this, we suppose the opposite, i.e. f β has no q-periodic points in I. By continuity, we assume w.l.o.g. that f q β (x) > x for all x I. This together with the invariance of ϕ implies that ϕ(θ qα ω) = f q β (ϕ(ω)) > ϕ(ω) for P-a.e. ω T. Therefore, T ϕ(θ qα ω) dp(ω) > T ϕ(ω) dp(ω) which contradicts the fact that θ qα preserves the probability measure P. Hence, f β has a q-periodic point in I. Let η be given as in Lemma 5. By (6) and the fact that lim β βc x ± i (β) = x i,i =,2,3, we can choose η smaller, if necessary, to get that for all β [β c η,β c + η] the following statements hold: Dfβ 3(x) >, D2 fβ 3(x) >, βfβ 3(x) < Dfβ 3(x) >, D2 fβ 3(x) >, βfβ 3(x) < Dfβ 3(x) >, D2 fβ 3(x) <, βfβ 3(x) > For an arbitrary ζ [,η], we define x [x (β c +η),x + (β c +η)], x [x 2 (β c +η),x + 2 (β c +η)], x [x 3 (β c +η),x + 3 (β c +η)]. (7) K i (ζ) := T [x i (β c +ζ),x + i (β c +ζ)] for i =,2,3. (8) Since lim β βc x ± i (β) = x i and the fact that {x,x 2,x 3 } is a periodic orbit of f βc, it follows that there exist δ (,η] and ε > such that the following inclusions F β,ε (K (δ )) K 2 (η), F β,ε (K 2 (δ )) K 3 (η), F β,ε (K 3 (δ )) K (η) (9) hold for all (β,ε) [β c δ,β c +δ ] [,ε ]. Now we choose and fix ζ [δ,η]. By (7) the family of maps F 3 β, : T [,] T [,], where β [β c δ,β c + δ ], fulfils the local properties (H), (H2), (H4) and (H5) on the set K (ζ) and x ± (β c +ζ) = f 3 β c+ζ (x± (β c +ζ)) < f 3 β (x± (β c +ζ)) β [β c δ,β c +δ ]. It means that property (H3) is also satisfied, which describes the dynamical behaviour of Fβ, 3, where β [β c δ,β c +δ ], at the boundary of K (ζ). Lemma 5 and Remark 6 imply (H6) and hence F( ), 3 U K (ζ)[β c δ,β c +δ ], wherethe set U K (ζ)[β c δ,β c +δ ] is defined as in (3) with the parameter interval [,] replaced by [β c δ,β c +δ ]. Similarly, we get that F( ), 3 U K 2 (ζ)[β c δ,β c +δ ] ŨK 3 (ζ)[β c δ,β c +δ ]. Then, usingproposition 4 and the fact that lim ε d P ( F 3 ( ),ε F3 ( ), there exists ε (,ε ] such that for all ε [,ε ) and ) =, F 3 ( ),ε U K (η)[β c δ,β c +δ ] U K2 (η)[β c δ,β c +δ ] ŨK 3 (η)[β c δ,β c +δ ] (2) F 3 ( ),ε U K (δ )[β c δ,β c +δ ] U K2 (δ )[β c δ,β c +δ ] ŨK 3 (δ )[β c δ,β c +δ ]. (2) We are now in a position to state and prove a local saddle-node bifurcation theorem for 3-periodic graphs of the family of quasi-periodically forced logistic maps (4). 2
13 Theorem 7 (Local Saddle-node Bifurcation of 3-Periodic Graphs in Quasiperiodically Forced Logistic [ Map). ] Consider the family of maps F β,ε : T [,] T [,], where 4 ε,β, +ε, defined as in (4). Let δ,ε > and η > such that (9), (2) and [ ] (2) hold. Then there exists a function β c : [,ε 4 ), +ε such that the following statements hold for each ε [,ε ): (i) If β (β c (ε) δ,β c (ε)), then F β,ε has no 3-periodic graphs in K (η),k 2 (η) or K 3 (η). (ii) If β = β c (ε), then each of sets K (η),k 2 (η),k 3 (η) contains exactly one continuous 3-periodic graph or a pair of pinched semi-continuous 3-periodic graphs of F β,ε. (iii) If β (β c (ε),β c (ε) +δ ), then F β,ε has two continuous 3-periodic graphs in K i (η), denoted by ϕ β,ε,i and ϕ+ β,ε,i with ϕ β,ε,i (ω) < ϕ+ β,ε,i (ω) for all ω T and i =,2,3. Furthermore, Φ ± β,ε,2 = F β,ε(φ ± β,ε, ),Φ β,ε,3 (ω) = F β,ε(φ ± β,ε,2 ),Φ β,ε, = F β,ε(φ ± β,ε,3 ), (22) and their Lyapunov exponents satisfy λ(ϕ β,ε, ) = λ(ϕ β,ε,2 ) = λ(ϕ+ β,ε,3 ) < < λ(ϕ+ β,ε, ) = λ(ϕ+ β,ε,2 ) = λ(ϕ β,ε,3 ). Moreover, ϕ β,ε,, ϕ β,ε,2 and ϕ β,ε,3 move upward, whereas ϕ+ β,ε,, ϕ+ β,ε,2, ϕ+ β,ε,3 move downward as β is decreased. Proof. Choose and fix ε [,ε ). Using (2) and Theorem 2, for i =,2,3 there exists a critical point β c,i (ε) for F ( ),ε on the set K i (δ ). It is easy to see that for i =,2,3 an application of Theorem 2 and (2) yields the same critical point β c,i (ε) for F ( ),ε on the larger set K i (η) K i (δ ). According to Theorem 2(iii), for all β (β c,i (ε),β c +δ ), i =,2,3, themapf β,ε hastwo3-periodiccontinuousgraphsink i (δ ) K i (η)denotedby ϕ β,ε,i and ϕ+ β,ε,i with ϕ β,ε,i (ω) < ϕ+ β,ε,i (ω) for all ω T. To prove that β c,i is independent of i, let β (β c, (ε),β c +δ ) be chosen arbitrarily. Since Φ ± β,ε, are 3-periodic graphs of F β,ε, it follows that F β,ε (Φ ± β,ε, ) are also 3-periodic graphs of F β,ε. By (9), we get F β,ε (Φ ± β,ε, ) F β,ε(k (δ )) K 2 (η), which implies that β c,2 (ε) β c, (ε). Analogously, we have β c,3 (ε) β c,2 (ε) and β c, (ε) β c,3 (ε). Thus, β c, (ε) = β c,2 (ε) = β c,3 (ε) =: β c (ε) and (22) is proved. The rest of this theorem is obtained by applying Theorem 2 to the map F 3 β,ε on the sets K (η),k 2 (η) and K 3 (η). The proof is complete. Now we set p = 9,ε =.6,α = ( 5 )/2 and consider the family of quasiperiodically forced logistic maps F β,ε defined as in (4). A numerical investigation of the dynamics of F β,ε yields a bifurcation at β c Figure 2 shows a forward orbit and some close-ups for β < β c before the bifurcation and Figure 3 displays the attracting and repelling three-periodic invariant graphs which exist after the bifurcation for β > β c. References [] L. Arnold. Random Dynamical Systems. Springer, Berlin-Heidelberg,
14 x x ω ω x x ω..2.4 ω Figure 2: Before bifurcation, one forward orbit for β = < βc. [2] D.K. Arrowsmith and C.M. Place. An Introduction to Dynamical System. Cambridge University Press, 99. [3] K. Bjerklo v. SNA in the quasi-periodic quadratic family. Comm. Math. Phys. [4] R. Fabbri, R. Johnson and F. Mantellini. A nonautonomous saddle-node bifurcation pattern. Stoch. Dyn. 4 (24), no. 3, [5] C. Grebogi, E. Ott, S. Pelikan and J.A. Yorke. Strange attractors that are not chaotic. Phys. D 3 (984), no. -2, [6] J.F. Heagy and S.M. Hammel. The birth of strange nonchaotic attractors. Phys. D 7 (994), no. -2, [7] T. Ja ger. Quasiperiodically forced interval maps with negative Schwarzian derivative. Nonlinearity 6 (23), no. 4, [8] T. Ja ger. The creation of strange non-chaotic attractors in non-smooth saddle-node bifurcations. Mem. Amer. Math. Soc. 2 (29), no [9] R. Johnson and F. Mantellini. A nonautonomous transcritical bifurcation problem with an application to quasi-periodic bubbles. Discrete Contin. Dyn. Syst. 9 (23), no., [] A. Katok and B. Hasselblatt. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press,
15 x x ω ω x x ω..2.4 ω Figure 3: After bifurcation, repelling (red) and attracting (blue) three-periodic invariant graphs for β = > βc. [] G. Keller. A note on strange nonchaotic attractors. Fund. Math. 5 (996), no. 2, [2] P.E. Kloeden. Pitchfork and transcritical bifurcations in systems with homogeneous nonlinearities and an almost periodic time coefficient. Commun. Pure Appl. Anal. 3 (24), no. 2, [3] P.E. Kloeden and S. Siegmund. Bifurcations and continuous transitions of attractors in autonomous and nonautonomous systems. Internat. J. Bifur. Chaos Appl. Sci. Engrg. 5 (25), no. 3, [4] J.A. Langa, J.C. Robison and A. Sua rez. Stability, instability, and bifurcation phenomena in non-autonomous differential equations. Nonlinearity 5 (22), no. 3, [5] J.A. Langa, J.C. Robison and A. Sua rez. Bifurcations in non-autonomous scalar equations. J. Differential Equations 22 (26), no., 35. [6] R.M. May. Simple mathematical models with very complicated dynamics. Nature 26(976), [7] S.S. Negi, A. Prasad and R. Ramaswamy. Bifurcations and transitions in the quasiperiodically driven logistic map. Phys. D 45 (2), no. -2, 2. [8] S. Novo, R. Obaya, and A.M. Sanz. Almost periodic and almost automorphic dynamics for scalar convex differential equations. Isr. J. Math. (24), no. 44,
16 [9] C. Núñez and R. Obaya. A non-autonomous bifurcation theory for deterministic scalar differential equations. Discrete Contin. Dyn. Syst. Ser. B 9 (28), no. 3-4, [2] A. Prasad, V. Mehra and R. Ramaswamy. Strange nonchaotic attractors in the quasiperiodically forced logistic map. Physical Review E 57 (998), no. 2, [2] M. Rasmussen. Towards a bifurcation theory for nonautonomous difference equations. J. Difference Equ. Appl. 2 (26), no. 3-4, [22] M. Rasmussen. Nonautonomous bifurcation patterns for one-dimensional differential equations. J. Differential Equations 234 (27), no., [23] J. Stark. Regularity of invariant graphs for forced systems. Ergodic Theory Dynam. Systems 9 (999), no., [24] J. Stark. Transitive sets for quasi-periodically forced monotone maps. Dyn. Syst. 8 (23), no. 4, [25] R. Sturman and S. Stark. Semi-uniform ergodic theorems and applications to forced systems. Nonlinearity 3 (2), no.,
Quasiperiodically forced interval maps with negative Schwarzian derivative
Quasiperiodically forced interval maps with negative Schwarzian derivative Tobias H. Jäger Mathematisches Institut, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany MSC Classification Numbers:
More informationG. Fuhrmann M. Gröger T. Jäger. 19th December Introduction
NON-SMOOTH SADDLE-NODE BIFURCATIONS II: DIMENSIONS OF STRANGE ATTRACTORS G. Fuhrmann M. Gröger T. Jäger 19th December 2014 We study the geometric and topological properties of strange non-chaotic attractors
More informationThe nonsmooth pitchfork bifurcation. Glendinning, Paul. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
The nonsmooth pitchfork bifurcation Glendinning, Paul 2004 MIMS EPrint: 2006.89 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from:
More informationChapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations
Chapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations Peter Kloeden and Thomas Lorenz Abstract In 1998 at the ICDEA Poznan the first author talked about pullback attractors of
More informationA Note on Some Properties of Local Random Attractors
Northeast. Math. J. 24(2)(2008), 163 172 A Note on Some Properties of Local Random Attractors LIU Zhen-xin ( ) (School of Mathematics, Jilin University, Changchun, 130012) SU Meng-long ( ) (Mathematics
More informationEntropy production for a class of inverse SRB measures
Entropy production for a class of inverse SRB measures Eugen Mihailescu and Mariusz Urbański Keywords: Inverse SRB measures, folded repellers, Anosov endomorphisms, entropy production. Abstract We study
More informationON THE CONTINUITY OF GLOBAL ATTRACTORS
ON THE CONTINUITY OF GLOBAL ATTRACTORS LUAN T. HOANG, ERIC J. OLSON, AND JAMES C. ROBINSON Abstract. Let Λ be a complete metric space, and let {S λ ( ) : λ Λ} be a parametrised family of semigroups with
More informationWHAT IS A CHAOTIC ATTRACTOR?
WHAT IS A CHAOTIC ATTRACTOR? CLARK ROBINSON Abstract. Devaney gave a mathematical definition of the term chaos, which had earlier been introduced by Yorke. We discuss issues involved in choosing the properties
More informationSimple approach to the creation of a strange nonchaotic attractor in any chaotic system
PHYSICAL REVIEW E VOLUME 59, NUMBER 5 MAY 1999 Simple approach to the creation of a strange nonchaotic attractor in any chaotic system J. W. Shuai 1, * and K. W. Wong 2, 1 Department of Biomedical Engineering,
More informationTHE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM
Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February
More informationEssential hyperbolicity versus homoclinic bifurcations. Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals
Essential hyperbolicity versus homoclinic bifurcations Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals Generic dynamics Consider: M: compact boundaryless manifold,
More informationSkew product systems with one-dimensional fibres
Skew product systems with one-dimensional fibres T. Jäger Abstract These lecture notes grew (and continue to grow) out of several courses given on various occasions in different places, including in particular
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY
ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY AND ω-limit SETS CHRIS GOOD AND JONATHAN MEDDAUGH Abstract. Let f : X X be a continuous map on a compact metric space, let ω f be the collection of ω-limit
More informationPERIODICITY AND CHAOS ON A MODIFIED SAMUELSON MODEL
PERIODICITY AND CHAOS ON A MODIFIED SAMUELSON MODEL Jose S. Cánovas Departamento de Matemática Aplicada y Estadística. Universidad Politécnica de Cartagena e-mail:jose.canovas@upct.es Manuel Ruiz Marín
More informationHYPERBOLIC SETS WITH NONEMPTY INTERIOR
HYPERBOLIC SETS WITH NONEMPTY INTERIOR TODD FISHER, UNIVERSITY OF MARYLAND Abstract. In this paper we study hyperbolic sets with nonempty interior. We prove the folklore theorem that every transitive hyperbolic
More informationTHE CLASSIFICATION OF TILING SPACE FLOWS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 THE CLASSIFICATION OF TILING SPACE FLOWS by Alex Clark Abstract. We consider the conjugacy of the natural flows on one-dimensional tiling
More informationARTICLE IN PRESS. J. Math. Anal. Appl. ( ) Note. On pairwise sensitivity. Benoît Cadre, Pierre Jacob
S0022-27X0500087-9/SCO AID:9973 Vol. [DTD5] P.1 1-8 YJMAA:m1 v 1.35 Prn:15/02/2005; 16:33 yjmaa9973 by:jk p. 1 J. Math. Anal. Appl. www.elsevier.com/locate/jmaa Note On pairwise sensitivity Benoît Cadre,
More informationDYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,
DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of
More informationA strongly invariant pinched core strip that does not contain any arc of curve.
A strongly invariant pinched core strip that does not contain any arc of curve. Lluís Alsedà in collaboration with F. Mañosas and L. Morales Departament de Matemàtiques Universitat Autònoma de Barcelona
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationA MINIMAL 2-D QUADRATIC MAP WITH QUASI-PERIODIC ROUTE TO CHAOS
International Journal of Bifurcation and Chaos, Vol. 18, No. 5 (2008) 1567 1577 c World Scientific Publishing Company A MINIMAL 2-D QUADRATIC MAP WITH QUASI-PERIODIC ROUTE TO CHAOS ZERAOULIA ELHADJ Department
More informationDynamics of Tangent. Robert L. Devaney Department of Mathematics Boston University Boston, Mass Linda Keen
Dynamics of Tangent Robert L. Devaney Department of Mathematics Boston University Boston, Mass. 02215 Linda Keen Department of Mathematics Herbert H. Lehman College, CUNY Bronx, N.Y. 10468 Abstract We
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationDynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and
Dynamical Systems and Ergodic Theory PhD Exam Spring 2012 Introduction: This is the first year for the Dynamical Systems and Ergodic Theory PhD exam. As such the material on the exam will conform fairly
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationPATH CONNECTEDNESS AND ENTROPY DENSITY OF THE SPACE OF HYPERBOLIC ERGODIC MEASURES
PATH CONNECTEDNESS AND ENTROPY DENSITY OF THE SPACE OF HYPERBOLIC ERGODIC MEASURES ANTON GORODETSKI AND YAKOV PESIN Abstract. We show that the space of hyperbolic ergodic measures of a given index supported
More information(Non-)Existence of periodic orbits in dynamical systems
(Non-)Existence of periodic orbits in dynamical systems Konstantin Athanassopoulos Department of Mathematics and Applied Mathematics University of Crete June 3, 2014 onstantin Athanassopoulos (Univ. of
More informationStrange-Nonchaotic-Attractor-Like Behaviors in Coupled Map Systems
Commun. Theor. Phys. (Beijing, China) 35 (2001) pp. 389 394 c International Academic Publishers Vol. 35, No. 4, April 15, 2001 Strange-Nonchaotic-Attractor-Like Behaviors in Coupled Map Systems SHI Peng-Liang,
More informationOn Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)
On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q) Andreas Löhne May 2, 2005 (last update: November 22, 2005) Abstract We investigate two types of semicontinuity for set-valued
More informationFUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this
More informationA generic property of families of Lagrangian systems
Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many
More informationStrange non-chaotic attractors in quasiperiodically forced circle maps
Strange non-chaotic attractors in quasiperiodically forced circle maps Tobias Jäger Abstract The occurrence of strange non-chaotic attractors (SNA) in quasiperiodically forced systems has attracted considerable
More information1 Introduction Definitons Markov... 2
Compact course notes Dynamic systems Fall 2011 Professor: Y. Kudryashov transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Introduction 2 1.1 Definitons...............................................
More informationSome Properties of the Augmented Lagrangian in Cone Constrained Optimization
MATHEMATICS OF OPERATIONS RESEARCH Vol. 29, No. 3, August 2004, pp. 479 491 issn 0364-765X eissn 1526-5471 04 2903 0479 informs doi 10.1287/moor.1040.0103 2004 INFORMS Some Properties of the Augmented
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
More informationTHE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS
J. Appl. Math. & Computing Vol. 4(2004), No. - 2, pp. 277-288 THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS LIDONG WANG, GONGFU LIAO, ZHENYAN CHU AND XIAODONG DUAN
More informationPeriodic Sinks and Observable Chaos
Periodic Sinks and Observable Chaos Systems of Study: Let M = S 1 R. T a,b,l : M M is a three-parameter family of maps defined by where θ S 1, r R. θ 1 = a+θ +Lsin2πθ +r r 1 = br +blsin2πθ Outline of Contents:
More informationC 1 DENSITY OF AXIOM A FOR 1D DYNAMICS
C 1 DENSITY OF AXIOM A FOR 1D DYNAMICS DAVID DIICA Abstract. We outline a proof of the C 1 unimodal maps of the interval. density of Axiom A systems among the set of 1. Introduction The amazing theory
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationSRB MEASURES FOR AXIOM A ENDOMORPHISMS
SRB MEASURES FOR AXIOM A ENDOMORPHISMS MARIUSZ URBANSKI AND CHRISTIAN WOLF Abstract. Let Λ be a basic set of an Axiom A endomorphism on n- dimensional compact Riemannian manifold. In this paper, we provide
More informationMathematical Foundations of Neuroscience - Lecture 7. Bifurcations II.
Mathematical Foundations of Neuroscience - Lecture 7. Bifurcations II. Filip Piękniewski Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Poland Winter 2009/2010 Filip
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
Int. J. Nonlinear Anal. Appl. 7 (2016) No. 1, 295-300 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.341 On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationLINEAR CHAOS? Nathan S. Feldman
LINEAR CHAOS? Nathan S. Feldman In this article we hope to convience the reader that the dynamics of linear operators can be fantastically complex and that linear dynamics exhibits the same beauty and
More informationCherry flows with non trivial attractors
Cherry flows with non trivial attractors Liviana Palmisano Institute of Mathematics of PAN Warsaw 00-950, Poland January 17, 2018 arxiv:1509.05994v2 [math.ds] 4 Sep 2016 Abstract We provide an example
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More informationConvergence Rate of Nonlinear Switched Systems
Convergence Rate of Nonlinear Switched Systems Philippe JOUAN and Saïd NACIRI arxiv:1511.01737v1 [math.oc] 5 Nov 2015 January 23, 2018 Abstract This paper is concerned with the convergence rate of the
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
More informationExistence of Secondary Bifurcations or Isolas for PDEs
Existence of Secondary Bifurcations or Isolas for PDEs Marcio Gameiro Jean-Philippe Lessard Abstract In this paper, we introduce a method to conclude about the existence of secondary bifurcations or isolas
More informationA Two-dimensional Discrete Mapping with C Multifold Chaotic Attractors
EJTP 5, No. 17 (2008) 111 124 Electronic Journal of Theoretical Physics A Two-dimensional Discrete Mapping with C Multifold Chaotic Attractors Zeraoulia Elhadj a, J. C. Sprott b a Department of Mathematics,
More informationIntroduction to Applied Nonlinear Dynamical Systems and Chaos
Stephen Wiggins Introduction to Applied Nonlinear Dynamical Systems and Chaos Second Edition With 250 Figures 4jj Springer I Series Preface v L I Preface to the Second Edition vii Introduction 1 1 Equilibrium
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationComputing Sacker-Sell spectra in discrete time dynamical systems
Computing Sacker-Sell spectra in discrete time dynamical systems Thorsten Hüls Fakultät für Mathematik, Universität Bielefeld Postfach 100131, 33501 Bielefeld, Germany huels@math.uni-bielefeld.de March
More informationDYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS
DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS Issam Naghmouchi To cite this version: Issam Naghmouchi. DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS. 2010. HAL Id: hal-00593321 https://hal.archives-ouvertes.fr/hal-00593321v2
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationarxiv: v2 [math.ag] 24 Jun 2015
TRIANGULATIONS OF MONOTONE FAMILIES I: TWO-DIMENSIONAL FAMILIES arxiv:1402.0460v2 [math.ag] 24 Jun 2015 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. Let K R n be a compact definable set
More informationA classification of explosions in dimension one
Ergod. Th. & Dynam. Sys. (29), 29, 715 731 doi:1.117/s143385788486 c 28 Cambridge University Press Printed in the United Kingdom A classification of explosions in dimension one E. SANDER and J. A. YORKE
More informationSYNCHRONIZATION OF NONAUTONOMOUS DYNAMICAL SYSTEMS
Electronic Journal of Differential Equations, Vol. 003003, No. 39, pp. 1 10. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu login: ftp SYNCHRONIZATION OF
More informationOn a Class of Multidimensional Optimal Transportation Problems
Journal of Convex Analysis Volume 10 (2003), No. 2, 517 529 On a Class of Multidimensional Optimal Transportation Problems G. Carlier Université Bordeaux 1, MAB, UMR CNRS 5466, France and Université Bordeaux
More informationOn the periodic logistic equation
On the periodic logistic equation Ziyad AlSharawi a,1 and James Angelos a, a Central Michigan University, Mount Pleasant, MI 48858 Abstract We show that the p-periodic logistic equation x n+1 = µ n mod
More informationLyapunov optimizing measures for C 1 expanding maps of the circle
Lyapunov optimizing measures for C 1 expanding maps of the circle Oliver Jenkinson and Ian D. Morris Abstract. For a generic C 1 expanding map of the circle, the Lyapunov maximizing measure is unique,
More informationSchwarzian Derivatives and Cylinder Maps
Schwarzian Derivatives and Cylinder Maps Araceli Bonifant and John Milnor Abstract We describe the way in which the sign of the Schwarzian derivative for a family of diffeomorphisms of the interval I affects
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT
ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying
More informationDiscontinuous order preserving circle maps versus circle homeomorphisms
Discontinuous order preserving circle maps versus circle homeomorphisms V. S. Kozyakin Institute for Information Transmission Problems Russian Academy of Sciences Bolshoj Karetny lane, 19, 101447 Moscow,
More informationProblem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.
À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.
More informationThe L p -dissipativity of first order partial differential operators
The L p -dissipativity of first order partial differential operators A. Cialdea V. Maz ya n Memory of Vladimir. Smirnov Abstract. We find necessary and sufficient conditions for the L p -dissipativity
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationPOINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS
POINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS LUIS BARREIRA AND CHRISTIAN WOLF Abstract. We study the Hausdorff dimension and the pointwise dimension of measures that are not necessarily ergodic. In particular,
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationOn dynamical properties of multidimensional diffeomorphisms from Newhouse regions: I
IOP PUBLISHING Nonlinearity 2 (28) 923 972 NONLINEARITY doi:.88/95-775/2/5/3 On dynamical properties of multidimensional diffeomorphisms from Newhouse regions: I S V Gonchenko, L P Shilnikov and D V Turaev
More informationCHAOS AND STABILITY IN SOME RANDOM DYNAMICAL SYSTEMS. 1. Introduction
ØÑ Å Ø Ñ Ø Ð ÈÙ Ð Ø ÓÒ DOI: 10.2478/v10127-012-0008-x Tatra Mt. Math. Publ. 51 (2012), 75 82 CHAOS AND STABILITY IN SOME RANDOM DYNAMICAL SYSTEMS Katarína Janková ABSTRACT. Nonchaotic behavior in the sense
More informationOn Kusuoka Representation of Law Invariant Risk Measures
MATHEMATICS OF OPERATIONS RESEARCH Vol. 38, No. 1, February 213, pp. 142 152 ISSN 364-765X (print) ISSN 1526-5471 (online) http://dx.doi.org/1.1287/moor.112.563 213 INFORMS On Kusuoka Representation of
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationThe Conley Index and Rigorous Numerics of Attracting Periodic Orbits
The Conley Index and Rigorous Numerics of Attracting Periodic Orbits Marian Mrozek Pawe l Pilarczyk Conference on Variational and Topological Methods in the Study of Nonlinear Phenomena (Pisa, 2000) 1
More informationSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Creation of strange attractors in the quasi-periodically forced quadratic family av Thomas Ohlson Timoudas 203 - No 8
More informationON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES
U.P.B. Sci. Bull., Series A, Vol. 80, Iss. 3, 2018 ISSN 1223-7027 ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES Vahid Dadashi 1 In this paper, we introduce a hybrid projection algorithm for a countable
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationNonlinear Dynamical Systems Eighth Class
Nonlinear Dynamical Systems Eighth Class Alexandre Nolasco de Carvalho September 19, 2017 Now we exhibit a Morse decomposition for a dynamically gradient semigroup and use it to prove that a dynamically
More informationHOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS. Josef Teichmann
HOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS Josef Teichmann Abstract. Some results of ergodic theory are generalized in the setting of Banach lattices, namely Hopf s maximal ergodic inequality and the
More informationA characterization of zero topological entropy for a class of triangular mappings
J. Math. Anal. Appl. 287 (2003) 516 521 www.elsevier.com/locate/jmaa A characterization of zero topological entropy for a class of triangular mappings Juan Luis García Guirao a, and Jacek Chudziak b a
More informationEXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS
More informationStructural and Multidisciplinary Optimization. P. Duysinx and P. Tossings
Structural and Multidisciplinary Optimization P. Duysinx and P. Tossings 2018-2019 CONTACTS Pierre Duysinx Institut de Mécanique et du Génie Civil (B52/3) Phone number: 04/366.91.94 Email: P.Duysinx@uliege.be
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationA Unified Analysis of Nonconvex Optimization Duality and Penalty Methods with General Augmenting Functions
A Unified Analysis of Nonconvex Optimization Duality and Penalty Methods with General Augmenting Functions Angelia Nedić and Asuman Ozdaglar April 16, 2006 Abstract In this paper, we study a unifying framework
More informationA CHARACTERIZATION OF STRICT LOCAL MINIMIZERS OF ORDER ONE FOR STATIC MINMAX PROBLEMS IN THE PARAMETRIC CONSTRAINT CASE
Journal of Applied Analysis Vol. 6, No. 1 (2000), pp. 139 148 A CHARACTERIZATION OF STRICT LOCAL MINIMIZERS OF ORDER ONE FOR STATIC MINMAX PROBLEMS IN THE PARAMETRIC CONSTRAINT CASE A. W. A. TAHA Received
More informationCONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY
J. OPERATOR THEORY 64:1(21), 149 154 Copyright by THETA, 21 CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY DANIEL MARKIEWICZ and ORR MOSHE SHALIT Communicated by William Arveson ABSTRACT.
More informationDynamics of nonautonomous tridiagonal. competitive-cooperative systems of differential equations
Dynamics of nonautonomous tridiagonal competitive-cooperative systems of differential equations Yi Wang 1 Department of Mathematics University of Science and Technology of China Hefei, Anhui, 230026, P.
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationLYAPUNOV STABILITY OF CLOSED SETS IN IMPULSIVE SEMIDYNAMICAL SYSTEMS
Electronic Journal of Differential Equations, Vol. 2010(2010, No. 78, pp. 1 18. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu LYAPUNOV STABILITY
More informationMultistability and nonsmooth bifurcations in the quasiperiodically forced circle map
Multistability and nonsmooth bifurcations in the quasiperiodically forced circle map arxiv:nlin/0005032v1 [nlin.cd] 16 May 2000 Hinke Osinga School of Mathematical Sciences, University of Exeter, Exeter
More informationLocal strong convexity and local Lipschitz continuity of the gradient of convex functions
Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate
More informationMATH 614 Dynamical Systems and Chaos Lecture 16: Rotation number. The standard family.
MATH 614 Dynamical Systems and Chaos Lecture 16: Rotation number. The standard family. Maps of the circle T : S 1 S 1, T an orientation-preserving homeomorphism. Suppose T : S 1 S 1 is an orientation-preserving
More informationCoexistence of Zero and Nonzero Lyapunov Exponents
Coexistence of Zero and Nonzero Lyapunov Exponents Jianyu Chen Pennsylvania State University July 13, 2011 Outline Notions and Background Hyperbolicity Coexistence Construction of M 5 Construction of the
More informationPERTURBATIONS. Received September 20, 2004; Revised April 7, 2005
International Journal of Bifurcation and Chaos, Vol. 16, No. 5 (2006) 1585 1598 c World Scientific Publishing Company CHAOS INDUCEMENT AND ENHANCEMENT IN TWO PARTICULAR NONLINEAR MAPS USING WEAK PERIODIC/QUASIPERIODIC
More informationCHAOTIC UNIMODAL AND BIMODAL MAPS
CHAOTIC UNIMODAL AND BIMODAL MAPS FRED SHULTZ Abstract. We describe up to conjugacy all unimodal and bimodal maps that are chaotic, by giving necessary and sufficient conditions for unimodal and bimodal
More information