arxiv: v1 [math.ds] 18 Feb 2018

Transcription

1 The total variation of invariant graphs in forced systems Bastien Fernandez and Anthony Quas 2 arxiv: v [math.ds] 8 Feb 28 Laboratoire de Probabilités, Statistique et Modélisation CNRS - Université Paris 7 Denis Diderot - Sorbonne Univ Paris CEDEX 3 France 2 Department of Mathematics and Statistics University of Victoria Victoria, BC, V8W 3R4, Canada Abstract In skew-product systems with contractive factors, all orbits asymptotically approach the graph of the so-called sync function; hence, the corresponding regularity properties primarily matter. In the literature, sync function Lipschitz continuity and differentiability have been proved to hold depending on the derivative of the base reciprocal, if not on its Lyapunov exponent. However, forcing topological features can also impact the sync function regularity. Here, we estimate the total variation of sync functions generated by one-dimensional Markov maps. A sharp condition for bounded variation is obtained depending on parameters, that involves the Markov map topological entropy. The results are illustrated with examples. February 2, 28. An important issue in the theory of forced systems is to evaluate the regularity of their synchronization graph. When an autonomous (discrete time) dynamical system κ t+ = f(κ t ), t N {} (here f is an invertible map with invariant subset U in a Banach space X with norm X ) drives the dynamics of some dissipative factor y t+ = g(κ t, y t ), namely g : X Y Y (Y is a Banach space with norm Y ) is such that sup g(κ, y) g(κ, y ) Y γ y y Y, y, y Y κ U for some < γ <, then the orbits {(κ t, y t )} of the skew-product system (f, g) are attracted by the graph of the corresponding sync function [2, 6, 8, 2]. This sync function, say φ : U Y, can be defined by the conjugacy equation g(κ, φ(κ)) = φ f(κ), κ U, which ensures invariance of the corresponding graph {(κ, φ(κ))} κ U. In this context, regularity properties of this function matter because they determine those dynamical characteristics of the

2 drive system that carry over to the factor. For instance, Lipschitz continuity implies control of dimension estimates. Applications range from filtering of chaotic signals [3, 6, 8] to damage detection in material science [7]. The study of sync functions can be regarded as part of the analysis of inertial manifolds in dynamical systems [2, 3]. Beside existence and continuity, a standard result in this theory is the proof of differentiability under the condition Kγ < where K = sup Df (κ) X, f is a diffeomorphism and g is continuously differentiable [7, 4, 22, κ U 23]. (If f and g are merely Lipschitz continuous then the same inequality - where K now stands for the Lipschitz constant of f - implies that the function φ itself is Lipschitz continuous.) When Kγ, φ may not be differentiable/lipschitz continuous [4, 5]; however it is certainly Hölder continuous [, 7, 22, 23, 24]. The analysis has subsequently been extended to accommodate non-uniformly hyperbolic effects. In particular, φ has been proved to be differentiable in the Whitney sense (i.e. given an invariant measure µ for f, φ is uniformly differentiable on sets of measure ɛ for every ɛ > ) provided that e Lyap(f ) γ < where e Lyap(f ) K is the maximum of the largest Lyapunov exponent of f over a set of full measure µ [7, 23]. Investigations have been pursued beyond the homeomorphic case, either when f is non-invertible [5, 2, 24], or when it has discontinuities, more precisely, when f is a discontinuous map [, 4, 6]. In this case, discontinuities transfer to the sync function, where they typically form dense subsets. A natural quantifier in this setting is the total variation. The sync function has been show to be of bounded variation under the condition e htop(f ) γ < where h top (f ) is the topological entropy of f. On the other hand, the total variation of φ becomes infinite when γ is sufficiently large []. A sync function of bounded variation makes it easier to show that the factor statistics inherits absolute continuity of the forcing statistics []. In any case, topological feature of f can also affect regularity properties of φ. This letter aims to provide similar total variation estimates in more general cases, when the forcing is not necessarily discontinuous. For simplicity, we shall work in the framework of (onedimensional) linear filters and skew-product inverse forcing (although certain results extend to more general cases without additional conceptual difficulties) [3, 6, 9, 24]. More precisely, the set U can be written as U = [, ] U 2 (where U 2 will be irrelevant), and letting κ = (x, κ 2 ) where x [, ], the inverse forcing is given by f (x, κ 2 ) = (T (x), f 2 (x, κ 2 )) where T : [, ] [, ] (and, again, the mapping f 2 will play no role here). For a systematic way of defining f such that f is as here, see []. Assuming in addition that the filter satisfies g(κ, y) = x + γy, y R = Y, κ = (x, κ 2 ) [, ] U 2, the sync function then takes the following compact expression φ γ = + 2 γ k T k+. ()

3 The main result of this letter states that, for T a piecewise affine expanding Markov map whose transition matrix is irreducible, the total variation of φ γ shows a sharp transition at γ = e htop(t ). Theorem. Assume that T is a piecewise affine and expanding, and transitive Markov map. Then, the total variation of φ γ on [, ] is finite when e htop(t ) γ <, and is infinite when e htop(t ) γ >, except, maybe, for at most 2N values of γ, where N is the number of atoms of T. φ γ Whitney differentiable Var φ γ < + Var φ γ = + φ γ Lipschitz cont. φ γ Hölder cont. γ Kγ = e h top (T ) γ = e Lyap(T ) γ = Figure : Schematic diagram of the properties of φ γ = + γ k T k+ for < γ <, when T is a continuous piecewise affine and expanding, and transitive Markov map of the interval. For maps T that are also continuous, this result can be combined with the previously mentioned ones to obtain the schematic diagram of the sync function properties presented in Fig.. As the proof will show, the first part of the statement actually holds for every piecewise continuous and monotone map T of the interval, and also for more general filters such as g(κ, y) = p(x) + γy where p is assumed to be smooth. An example of such extension is p(x) = cos(2πx) and T (x) = βx βx, where the sync function essentially boils down to the Weierstrass function [5] (NB: In this case we have K = e htop(t ) = e Lyap(T ) = β). On the other hand, the proof of the second part strongly relies on the assumptions on T, although we believe that infinite variation occurs for sync functions associated with more general maps. Furthermore, we also believe that φ γ has infinite variation for all γ e htop(t ), ie. there are no exceptional values. This can be proved in some special cases (see examples in Fig. 2). Proposition 2. Assume that T is a piecewise affine and expanding, and transitive Markov map with a full branch and such that either T ( + ) = or T ( ) =, or there exist a < a < a such that T (a) = T (a) = a and either T (a) = and T () > or T (a) = and T () <. Then, the total variation of φ γ on [, ] is infinite when e htop(t ) γ. 3

4 a a a a a Figure 2: Examples of maps satisfying the assumptions of Proposition 2. To illustrate the results, examples of graphs of the sync function φ γ, obtained with the tent map (left picture in Fig. 2) are presented in Fig. 3. Proof of Theorem. In order to prove the first assertion, consider an arbitrary subdivision = x < x 2 < < x n = of [, ]. Uniform convergence in the definition of φ γ implies n φ γ (x i+ ) φ γ (x i ) i= + n γ k i= T k+ (x i+ ) T k+ (x i ). i= n Using that T k+ (x i+ ) T k+ (x i ) Var[,] T k+ and taking the supremum over all subdivisions then yields Var [,] φ γ + γ k Var [,] T k+. Now, given k, let n k be the number of affine branches of T k. Since each branch has variation at most and the jump between branches is at most, we have Var [,] T k 2n k and the first log n k assertion follows from the fact that for a Markov map, we have h top (T ) = lim [9]. k + k For the second assertion, let {I i } N i= be the intervals on which T is affine and let s i be the slope on I i. Let X be the subshift of finite type consisting of admissible sequences of elements of A = {, 2,..., N} and let M be its transition matrix. Given a real function f defined on an interval I, define the reduced variation of f on I by RV I (f) = inf a The reduced variation satisfies the following properties: Var I(f(x) ax). RV I (f) = RV I (f + g) for any affine function g on I; RV I (αf) = α RV I (f) for every α R + ; RV [a,c] (f) RV [a,b] (f) + RV [b,c] (f), for every a < b < c; RV I (f) = if and only if f is affine on I. 4

5 Figure 3: Examples of the function φ γ for the tent map with maximum at x = a (left picture in Fig. 2) and a = 4 here. Top left: γ =.2 is such that Kγ <. Top right: γ =.45 (viz. Kγ < < e htop(t ) γ). Bottom left: γ =.55 (e htop(t ) γ < < e Lyap(T) γ). Bottom right: γ =.75 (e Lyap(T) γ > ). Lemma 3. Assume that T is a piecewise affine and transitive Markov map and let γ > e htop(t ). If Var [,] φ γ < +, then φ γ must be affine on each I i. Proof. Let v i = RV Ii (φ γ ). The relation φ γ = T + γφ γ T, the above properties, the Markov property and the fact that the branches are linear imply v i = RV Ii (T + γφ γ T ) = γ RV Ii (φ γ T ) γ i j RV Ii T (I j )(φ γ T ) = γ i j v j. That is, v γmv and v = {v i } N i= is a non-negative vector. Since order is preserved, we can iterate this inequality giving v (γm) n v for all n N. The assumption γ > e htop(t ) implies that γa is a non-negative irreducible matrix with spectral radius greater than. According to the Perron-Frobenius Theorem, the only non-negative v satisfying v γmv is v =, viz. φ γ must be affine on each I i. It remains to show that there are at most finitely many values of γ such that φ γ is affine on each interval I i. To that goal, we separate the proof into two cases: () there exist j {,..., N}, x, y I j and n N such that T (T n (x)) T (T n (y)), (2) there exists n N such that T n contains a discontinuity inside some I i. 5

6 One of these conditions must always hold. Indeed, if all iterates T n have constant derivatives on each I i, then some iterate T n must be discontinuous inside some I i (otherwise, T being piecewise expanding, the length T n (I i ) of a sufficiently large iterate would be larger than, which is impossible). Case (). We may wlog assume that n is the smallest integer such that T (T n (x)) T (T n (y)). Since T is piecewise affine, there must exist z (x, y) T n (a) where a is an atom boundary point for which the left and right derivative T (a ) T (a + ) differ. The Markov assumption implies that the orbits of boundary points must be eventually periodic. Moreover, we may also assume that T is continuous at all iterates of a; otherwise case (2) applies. Therefore, there exist p, q such that p + q N + and an atom boundary point b so that T q (a) = b and T p (b) = b. Applying repeatedly the relation φ γ = T + γφ γ T to successive iterates, one gets ( n 2 q ) φ γ (z) = γ k T k+ (z) + γ n γ k T k (a) + γq p γ p γ k T k (b). All iterates T k involved in the RHS are piecewise affine; hence the left and right derivatives (T k ) ( and (T k ) ( + ) are well-defined at every point in the interior of (, ). These derivatives can be extended by continuity to [, ] (viz. T ( ) := T ( + ) and T ( + ) := T ( )), so that φ γ certainly has well-defined left and right derivatives at z. That n is the smallest integer implies (T k ) (z ) = (T k ) (z + ) for k =,... n. It follows that the equation (φ γ ) (z ) = (φ γ ) (z + ) amounts to a polynomial one, with degree at most p + q N, and which is non-degenerate since T (a ) T (a + ). Therefore, except for at most N values of γ, we have (φ γ ) (z ) (φ γ ) (z + ) and then φ γ cannot be affine on I j, as desired. Case (2). The argument is similar to the previous case. Let x in the interior of some I i and a discontinuity a of T be such that T n (x) = a for some n N. Wlog, we can assume that T is continuous at each T k (x) for k =,..., n. Then we have φ γ (x ) φ γ (x + ) = γ n φ γ (a ) φ γ (a + ). Let a = T (a ) and a + = T (a + ). Again, the orbits of a, a + must be eventually periodic. More precisely, there exist q, p, q + p 2N, {a,k } q k= and {b,k } p such that q φ γ (a ) = a + a,k γ k + k= γq γ p p b,k γ k and similarly q + φ γ (a + ) = a + + a +,k γ k + γq p + + γ p b + +,k γ k. k= Similarly to before, the equation φ γ (a ) = φ γ (a + ) amounts to a non-degenerate polynomial one, since a a +. The polynomial degree is at most max{q, q + } + p + p + 2N if p p + (resp. max{q, q + } + p + 2N if p = p + = p). Hence, except for at most 2N values of γ, φ γ cannot be affine on I i. The proof of Theorem is complete. 6

7 Proof of Proposition 2. Assume first that T ( + ) =. By assumption, there exists a > such that T is continuous and expanding on (, a), T : (, a) (, T (a)), and T (x) > x for x (, a). Therefore, any x (, T (a)) has a pre-image y T (x) such that y < x. By transitivity, the periodic orbits of T are dense in [, ]. Given p >, let (x i ) p i= be one such orbit for which x = min i x i (, T (a)). Labelling in (x i ) p i= has been chosen so that x i+ = T (x i ) for i =,, p and T (x p ) = x. Let x < x be the pre-image of x in (, a). Let n N and consider the pre-images x,i,n T n (x ), x,i,n T n (x ) and x p,i,n T n (x p ) by the same affine branch of T n. Transitivity and the fact that T has a full branch ensure their existence for every branch of T n, provided that n is large enough. For k =,, n, the iterates T k+ (x,i,n ), T k+ (x,i,n ), T k+ (x p,i,n ) lie in the same atoms. Hence, there exist c i,n R such that we have n ( ) + ( ) φ γ (x,i,n ) φ γ (x,i,n ) = γ k T k+ (x,i,n ) T k+ (x,i,n ) + γ n γ k T k+ (x ) T k+ (x ) = c i,n (x,i,n x,i,n ) + γ n (φ γ (x ) φ γ (x )), and T (x ) = x implies φ γ (x ) φ γ (x ) = x ( γ)φ γ (x ). Similarly, we have φ γ (x p,i,n ) φ γ (x,i,n ) = c i,n (x p,i,n x,i,n ) + γ n (x ( γ)φ γ (x )). Since x < x < x p, the point x,i,n must lie inside the interval delimited by x,i,n and x p,i,n. Hence, the first terms in these expressions of φ γ (x,i,n ) φ γ (x,i,n ) and φ γ (x p,i,n ) φ γ (x,i,n ) must be of opposite sign. This implies that max { φ γ (x,i,n ) φ γ (x,i,n ), φ γ (x p,i,n ) φ γ (x,i,n ) } γ n x ( γ)φ γ (x ). Now, there are N n e nhtop(t ) triplets x,i,n, x,i,n, x p,i,n, one for each cylinder of length n +, ie. each element of n T k ([, )). Therefore, we have Varφ γ [,] N n γ n x ( γ)φ γ (x ), and to ensure the claim, it suffices to show that x ( γ)φ γ (x ). Using that (x i ) p i= is p-periodic, one gets φ γ (x ) = x 2 + γx γ p x p + γ p x γ p and the assumptions x = min i x i and p > imply x 2 + γx γ p x p + γ p x > p γ k x from where it follows that ( γ)φ γ (x ) > x. This concludes the proof in the case T ( + ) =. The case T ( ) = can be treated identically. Finally, in the case where there exist a < a < a such that T (a) = T (a) = a and either T (a) = and T () > or T (a) = and T () <, a reasoning similar to the previous proof can be applied. The final condition for infinite variation becomes ( γ)φ γ () (resp. ( γ)φ γ () ), which certainly holds because φ γ () T () > (resp. φ γ () T () + γ γ < + γ γ ). 7

8 References [] V.S. Afraimovich, J-R. Chazottes, and A. Cordonet, Synchronization in directionally coupled systems: Some rigorous results, Discrete & Cont. Dynam. Sys. B (2), [2] V.S. Afraimovich, N.N. Verichev, and M.I. Rabinovich, Stochastic synchronization of oscillations in dissipative systems, Quantum Electron. 29 (986), [3] R. Badii, G. Broggi, B. Derighetti, M. Ravani, S. Ciliberto, A. Politi, and M.A. Rubio, Dimension increase in filtered chaotic signals, Phys. Rev. E 6 (988), [4] R. Badii and A. Politi, Dimension function and phase transition-like behavior in strange attractors, Physica Scripta 35 (987), [5] E. Barreto, K. Josić, C.J. Morales, E. Sanders, and P. So, The geometry of chaos synchronization, Chaos 3 (23), [6] D.S. Broomhead, J.P. Huke, and M.R. Muldoon, Linear filters and non-linear systems, J. Roy. Stat. Soc. B 53 (992), [7] K.M. Campbell and M.E. Davies, The existence of intertial functions in skew product systems, Nonlinearity 9 (996), [8] T.L. Caroll, Detecting recursive and nonrecursive filters using chaos, Chaos 2 (2), 323. [9] M.E. Davies and K.M. Campbell, Linear recursive filters and nonlinear dynamics, Nonlinearity 9 (996), [] B. Fernandez, Discontinuous generalized synchronization of chaos, Dynamical Systems 27 (22), 5 6. [] B. Fernandez and A. Quas, Statistical properties of invariant graphs in piecewise affine discontinuous forced systems, Nonlinearity 24 (2), [2] M. Hirsch and C. Pugh, Stable manifolds and hyperbolic sets in global analysis, Amer. Math. Soc. Proc. Symp. Pure Math. 4 (97), [3] M. Hirsch, C. Pugh, and M. Shub, Invariant manifolds, Lec. Notes Math., vol. 583, Springer, 977. [4] B. Hunt, E. Ott, and J.A. Yorke, Differentiable generalized synchronization of chaos, Phys. Rev. E 55 (997), [5] J.A. Kaplan, J. Mallet-Paret, and J.A. Yorke, The lyapunov dimension of a nowhere differentiable attracting torus, Ergod. Th. & Dynam. Sys. 4 (984), [6] L. Kocarev and U. Parlitz, Generalized synchronization, predictability and equivalence in unidirectionally coupled dynamical systems, Phys. Rev. Lett. 76 (996), 86. [7] J.M. Nichols, S.T. Trickey, M. Seaver, and L. Moniz, Use of fiber-optic strain sensors and holder exponents for detecting and localizing damage in an experimental plate structure, J. Intel. Mat. Syst. Str. 8 (27),

9 [8] L.M. Pecora and T.L. Caroll, Synchronization in chaotic systems, Phys. Rev. Lett. 64 (99), 82. [9] M. Pollicott and M. Yuri, Dynamical systems and ergodic theory, Cambridge University Press, 998. [2] N.F. Rulkov and V.S. Afraimovich, Detectability of nondifferentiable generalized synchrony, Phys. Rev. E 67 (23), [2] N.F. Rulkov, M.M. Sushchik, L.S. Tsimring, and H.D.I. Abarbanel, Generalized synchronization of chaos in directionally coupled chaotic systems, Phys. Rev. E 5 (996), [22] J. Stark, Invariant graphs for forced systems, Physica D 9 (997), [23] J. Stark, Regularity of invariant graphs for forced systems, Ergod. Th. & Dynam. Sys. 9 (999), [24] J. Urías, Filters display inverse limit spaces, Chaos 4 (24),