Showing papers in "arXiv: Dynamical Systems in 2013"

Invariant and stationary measures for the SL(2,R) action on Moduli space

Abstract: We prove some ergodic-theoretic rigidity properties of the action of SL(2,R) on moduli space. In particular, we show that any ergodic measure invariant under the action of the upper triangular subgroup of SL(2,R) is supported on an invariant affine submanifold. The main theorems are inspired by the results of several authors on unipotent flows on homogeneous spaces, and in particular by Ratner's seminal work.

Global Adaptive Dynamic Programming for Continuous-Time Nonlinear Systems

Abstract: This paper presents a novel method of global adaptive dynamic programming (ADP) for the adaptive optimal control of nonlinear polynomial systems. The strategy consists of relaxing the problem of solving the Hamilton-Jacobi-Bellman (HJB) equation to an optimization problem, which is solved via a new policy iteration method. The proposed method distinguishes from previously known nonlinear ADP methods in that the neural network approximation is avoided, giving rise to significant computational improvement. Instead of semiglobally or locally stabilizing, the resultant control policy is globally stabilizing for a general class of nonlinear polynomial systems. Furthermore, in the absence of the a priori knowledge of the system dynamics, an online learning method is devised to implement the proposed policy iteration technique by generalizing the current ADP theory. Finally, three numerical examples are provided to validate the effectiveness of the proposed method.

Compressive sensing and low-rank libraries for classification of bifurcation regimes in nonlinear dynamical systems

Abstract: We show that for complex nonlinear systems, model reduction and compressive sensing strategies can be combined to great advantage for classifying, projecting, and reconstructing the relevant low-dimensional dynamics. $\ell_2$-based dimensionality reduction methods such as the proper orthogonal decomposition are used to construct separate modal libraries and Galerkin models based on data from a number of bifurcation regimes. These libraries are then concatenated into an over-complete library, and $\ell_1$ sparse representation in this library from a few noisy measurements results in correct identification of the bifurcation regime. This technique provides an objective and general framework for classifying the bifurcation parameters, and therefore, the underlying dynamics and stability. After classifying the bifurcation regime, it is possible to employ a low-dimensional Galerkin model, only on modes relevant to that bifurcation value. These methods are demonstrated on the complex Ginzburg-Landau equation using sparse, noisy measurements. In particular, three noisy measurements are used to accurately classify and reconstruct the dynamics associated with six distinct bifurcation regimes; in contrast, classification based on least-squares fitting ($\ell_2$) fails consistently.

A Free Boundary Problem for a Predator-prey Model with Double Free Boundaries

Abstract: In this paper we investigate a free boundary problem for a predator-prey model with double free boundaries in one space dimension. This system models the expanding of an invasive or new predator species in which the free boundaries represent expanding fronts of the predator species and are described by Stefan-like condition. We prove a spreading-vanishing dichotomy for this model, namely the predator species either successfully spreads to infinity as $t\to \infty$ at both fronts and survives in the new environment, or it fails to establish and dies out in the long run while the prey species stabilizes at a positive equilibrium state. The long time behavior of solution and criteria for spreading and vanishing are also obtained.

A geometric approach to the Global Attractor Conjecture

Abstract: This paper introduces the class of "strongly endotactic networks", a subclass of the endotactic networks introduced by G. Craciun, F. Nazarov, and C. Pantea. The main result states that the global attractor conjecture holds for complex-balanced systems that are strongly endotactic: every trajectory with positive initial condition converges to the unique positive equilibrium allowed by conservation laws. This extends a recent result by D. F. Anderson for systems where the reaction diagram has only one linkage class (connected component). The results here are proved using differential inclusions, a setting that includes power-law systems. The key ideas include a perspective on reaction kinetics in terms of combinatorial geometry of reaction diagrams, a projection argument that enables analysis of a given system in terms of systems with lower dimension, and an extension of Birch's theorem, a well-known result about intersections of affine subspaces with manifolds parameterized by monomials.

Dynamical zeta functions for Anosov flows via microlocal analysis

Abstract: The purpose of this paper is to give a short microlocal proof of the meromorphic continuation of the Ruelle zeta function for C^\infty Anosov flows. More general results have been recently proved by Giulietti-Liverani-Pollicott [arXiv:1203.0904] but our approach is different and is based on the study of the generator on the flow as a semiclassical differential operator.

Beyond substitutive dynamical systems: S-adic expansions

Abstract: An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A fundamental example of this relation is between Sturmian sequences and regular continued fractions. We study S-adic words from different perspectives, namely word combinatorics, ergodic theory, and Diophantine approximation, by stressing the parallel with continued fraction expansions.

On the exceptional set for absolute continuity of Bernoulli convolutions

Abstract: We prove that the set of exceptional $\lambda\in (1/2,1)$ such that the associated Bernoulli convolution is singular has zero Hausdorff dimension, and likewise for biased Bernoulli convolutions, with the exceptional set independent of the bias. This improves previous results by Erd\"os, Kahane, Solomyak, Peres and Schlag, and Hochman. A theorem of this kind is also obtained for convolutions of homogeneous self-similar measures. The proofs are very short, and rely on old and new results on the dimensions of self-similar measures and their convolutions, and the decay of their Fourier transform.

Pointwise partial hyperbolicity in 3-dimensional nilmanifolds

Abstract: We show the existence of a family of manifolds on which all (pointwise or absolutely) partially hyperbolic systems are dynamically coherent. This family is the set of 3-manifolds with nilpotent, non-abelian fundamental group. We further classify the partially hyperbolic systems on these manifolds up to leaf conjugacy. We also classify those systems on the 3-torus which do not have an attracting or repelling periodic 2-torus. These classification results allow us to prove some dynamical consequences, including existence and uniqueness results for measures of maximal entropy and quasi-attractors.

Compressive sampling and dynamic mode decomposition

Abstract: This work develops compressive sampling strategies for computing the dynamic mode decomposition (DMD) from heavily subsampled or output-projected data. The resulting DMD eigenvalues are equal to DMD eigenvalues from the full-state data. It is then possible to reconstruct full-state DMD eigenvectors using $\ell_1$-minimization or greedy algorithms. If full-state snapshots are available, it may be computationally beneficial to compress the data, compute a compressed DMD, and then reconstruct full-state modes by applying the projected DMD transforms to full-state snapshots. These results rely on a number of theoretical advances. First, we establish connections between the full-state and projected DMD. Next, we demonstrate the invariance of the DMD algorithm to left and right unitary transformations. When data and modes are sparse in some transform basis, we show a similar invariance of DMD to measurement matrices that satisfy the so-called restricted isometry principle from compressive sampling. We demonstrate the success of this architecture on two model systems. In the first example, we construct a spatial signal from a sparse vector of Fourier coefficients with a linear dynamical system driving the coefficients. In the second example, we consider the double gyre flow field, which is a model for chaotic mixing in the ocean.

On almost specification and average shadowing properties

Abstract: In this paper we study relations between almost specification property, asymptotic average shadowing property and average shadowing property for dynamical systems on compact metric spaces. We show implications between these properties and relate them to other important notions such as shadowing, transitivity, invariant measures, etc. We provide examples that compactness is a necessary condition for these implications to hold. As a consequence of our methodology we also obtain a proof that limit shadowing in chain transitive systems implies shadowing.

The Iterated Prisoner's Dilemma: Good Strategies and Their Dynamics

Abstract: For the iterated Prisoner’s Dilemma, there exist Markov strategies which solve the problem when we restrict attention to the long term average payoff When used by both players these assure the cooperative payoff for each of them Neither player can benefit by moving unilaterally any other strategy, ie these are Nash equilibria In addition, if a player uses instead an alternative which decreases the opponent’s payoff below the cooperative level, then his own payoff is decreased as well Thus, if we limit attention to the long term payoff, these good strategies effectively stabilize cooperative behavior We characterize these good strategies and analyze their role in evolutionary dynamics

Ergodic optimization, zero temperature limits and the max-plus algebra

Abstract: Lecture notes of a course at the Brazilian Mathematical Colloquium. We review some basic notions in ergodic theory and thermodynamic formalism, as well as introductory results in the context of max-plus algebra, in order to exhibit some properties of equilibrium measures when temperature goes to zero.

Splitting mixed Hodge structures over affine invariant manifolds

Abstract: We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in the torsion of a factor of the Jacobians. This statement can be viewed as a splitting of certain mixed Hodge structures.

Stability Criteria for SIS Epidemiological Models under Switching Policies

Abstract: We study the spread of disease in an SIS model. The model considered is a time-varying, switched model, in which the parameters of the SIS model are subject to abrupt change. We show that the joint spectral radius can be used as a threshold parameter for this model in the spirit of the basic reproduction number for time-invariant models. We also present conditions for persistence and the existence of periodic orbits for the switched model and results for a stochastic switched model.

The semiclassical zeta function for geodesic flows on negatively curved manifolds

Abstract: We consider the semi-classical (or Gutzwiller-Voros) zeta function for $C^\infty$ contact Anosov flows. Analyzing the spectrum of transfer operators associated to the flow, we prove, for any $\tau>0$, that its zeros are contained in the union of the $\tau$-neighborhood of the imaginary axis, $|\Re(s)| 0$ is the hyperbolicity exponent of the flow. Further we show that the zeros in the neighborhood of the imaginary axis satisfy an analogue of the Weyl law.

Do Finite-Size Lyapunov Exponents Detect Coherent Structures?

Abstract: Ridges of the Finite-Size Lyapunov Exponent (FSLE) field have been used as indicators of hyperbolic Lagrangian Coherent Structures (LCSs). A rigorous mathematical link between the FSLE and LCSs, however, has been missing. Here we prove that an FSLE ridge satisfying certain conditions does signal a nearby ridge of some Finite-Time Lyapunov Exponent (FTLE) field, which in turn indicates a hyperbolic LCS under further conditions. Other FSLE ridges violating our conditions, however, are seen to be false positives for LCSs. We also find further limitations of the FSLE in Lagrangian coherence detection, including ill-posedness, artificial jump-discontinuities, and sensitivity with respect to the computational time step.

Complex one-frequency cocycles

Abstract: We show that on a dense open set of analytic one-frequency complex valued cocycles in arbitrary dimension Oseledets filtration is either dominated or trivial. The underlying mechanism is different from that of the Bochi-Viana Theorem for continuous cocycles, which links non-domination with discontinuity of the Lyapunov exponent. Indeed, in our setting the Lyapunov exponents are shown to depend continuously on the cocycle, even if the initial irrational frequency is allowed to vary. On the other hand, this last property provides a good control of the periodic approximations of a cocycle, allowing us to show that domination can be characterized, in the presence of a gap in the Lyapunov spectrum, by additional regularity of the dependence of sums of Lyapunov exponents.

Cylinder deformations in orbit closures of translation surfaces

Abstract: Let M be a translation surface. We show that certain deformations of M supported on the set of all cylinders in a given direction remain in the GL(2,R)-orbit closure of M. Applications are given concerning complete periodicity, field of definition, and the number of of parallel cylinders which may be found on a translation surface in a given orbit closure. The proof uses Eskin-Mirzakhani-Mohammadi's recent theorem on orbit closures of translation surfaces, as well as results of Minsky-Weiss and Smillie-Weiss on the dynamics of horocycle flow.

A strong form of Arnold diusion for two and a half degrees of freedom

Abstract: In the present paper we prove a strong form of Arnold diusion. Let T 2 be the two torus and B 2 be the unit ball around the origin in R 2 . Fix > 0. Our main result says that for a \generic" time-periodic perturbation of an integrable system of two degrees of freedom H0(p) +"H1(;p;t ); 2 T 2 ; p2 B 2 ; t2 T = R=Z; with a strictly convexH0, there exists a -dense orbit ( ;p ;t)(t) in T 2 B 2 T, namely, a -neighborhood of the orbit contains T 2 B 2 T. Our proof is a combination of geometric and variational methods. The fundamental elements of the construction are usage of crumpled normally hyperbolic invariant cylinders from [13], ower and simple normally hyperbolic invariant manifolds from [47] as well as their kissing property at a strong double resonance. This allows us to build a \connected" net of 3-dimensional normally hyperbolic invariant manifolds. To construct diusing orbits along this net we

Ground States are generically a Periodic Orbit

Abstract: We prove that for an expanding transformation the maximizing measures of a generic Lipschitz function are supported on a single periodic orbit.

Towards a general theory for coupling functions allowing persistent synchronisation

Abstract: We study synchronisation properties of networks of coupled dynamical systems with interaction akin to diusion. We assume that the isolated node dynamics possesses a forward invariant set on which it has a bounded Jacobian, then we characterise a class of coupling functions that allows for uniformly stable synchronisation in connected complex networks | in the sense that there is an open neighbourhood of the initial conditions that is uniformly attracted towards synchronisation. Moreover, this stable synchronisation persists under perturbations to non-identical node dynamics. We illustrate the theory with numerical examples and conclude with a discussion on embedding these results in a more general framework of spectral dichotomies.

A Comparative Analysis of the Relative Efficacy of Vector-Control Strategies against Dengue Fever

Abstract: The model considers the human population, the adult mosquito population and the population of immature stages, which includes eggs, larvae and pupae. The model also considers the vertical transmission of dengue in the mosquitoes and the seasonal variation in the mosquito population. From this basic model describing the dynamics of dengue infection, we deduce thresholds for avoiding the introduction of the disease and for the elimination of the disease. In particular, we deduce a Basic Reproduction Number for dengue that includes parameters related to the immature stages of the mosquito. By neglecting seasonal variation, we calculate the equilibrium values of the models variables. We also present a sensitivity analysis of the impact of four vector-control strategies on the Basic Reproduction Number and on the Force of Infection of dengue. Each of the strategies was studied separately from the others. The analysis presented allows us to conclude that of the available vector control strategies, adulticide application is the most effective, followed by the reduction of the exposure to mosquito bites, locating and destroying breeding places and, finally, larvicides. Current vector-control methods are concentrated in mechanical destruction of mosquitoes breeding places. Our results suggest that reducing the contact between vector and hosts (biting rates) are as efficient as the logistically difficult but very efficient adult mosquitos control.

Non-conformal repellers and the continuity of pressure for matrix cocycles

Abstract: The pressure function $P(A, s)$ plays a fundamental role in the calculation of the dimension of "typical" self-affine sets, where $A=(A_1,\ldots, A_k)$ is the family of linear mappings in the corresponding generating iterated function system. We prove that this function depends continuously on $A$. As a consequence, we show that the dimension of "typical" self-affine sets is a continuous function of the defining maps. This resolves a folklore open problem in the community of fractal geometry. Furthermore we extend the continuity result to more general sub-additive pressure functions generated by the norm of matrix products or generalized singular value functions for matrix cocycles, and obtain applications on the continuity of equilibrium measures and the Lyapunov spectrum of matrix cocycles.

Anatomy of quantum chaotic eigenstates

Abstract: We present one aspect of “Quantum Chaos”, namely the description of high frequency eigenmodes of a quantum system, the classical limit of which is chaotic (we call such eigenmodes “chaotic eigenmodes”). A paradigmatic example is provided by the eigenmodes of the Laplace–Beltrami operator on a compact Riemannian manifold of negative curvature: the corresponding classical dynamics is the geodesic flow on the manifold, which is strongly chaotic (Anosov). Other well-studied classes of examples include certain Euclidean domains (“chaotic billiards”), or quantized chaotic symplectomorphisms of the two-dimensional torus.

Classification of partially hyperbolic diffeomorphisms in 3-manifolds with solvable fundamental group

Abstract: A classification of partially hyperbolic diffeomorphisms on 3-dimensional manifolds with (virtually) solvable fundamental group is obtained. If such a diffeomorphism does not admit a periodic attracting or repelling two-dimensional torus, it is dynamically coherent and leaf conjugate to a known algebraic example. This classification includes manifolds which support Anosov flows, and it confirms conjectures by Rodriguez Hertz--Rodriguez Hertz--Ures and Pujals in the specific case of solvable fundamental group.

Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces (extended version)

Abstract: In this paper, we provide a complete theory of Diophantine approximation in the limit set of a group acting on a Gromov hyperbolic metric space. This summarizes and completes a long line of results by many authors, from Patterson's classic '76 paper to more recent results of Hersonsky and Paulin ('02, '04, '07). Concrete examples of situations we consider which have not been considered before include geometrically infinite Kleinian groups, geometrically finite Kleinian groups where the approximating point is not a fixed point of the group, and groups acting on infinite-dimensional hyperbolic space. Moreover, in addition to providing much greater generality than any prior work, our results also give new insight into the nature of the connection between Diophantine approximation and the geometry of the limit set within which it takes place. Two results are also contained here which are purely geometric: a generalization of a theorem of Bishop and Jones ('97) to Gromov hyperbolic metric spaces, and a proof that the uniformly radial limit set of a group acting on a proper geodesic Gromov hyperbolic metric space has zero Patterson--Sullivan measure unless the group is quasiconvex-cocompact. The latter is an application of a Diophantine theorem.

Differential Geometry Perspective of Shape Coherence and Curvature Evolution by Finite-Time Non-hyperbolic Splitting

Abstract: Mixing, and coherence are fundamental issues at the heart of understanding transport in fluid dynamics and other non-autonomous dynamical systems. Recently, the notion of coherence has come to a more rigorous footing, and particularly within the recent advances of finite-time studies of non-autonomous dynamical systems. Here we define shape coherent sets as a means to emphasize the intuitive notion of ensembles which "hold together" for some period of time, and we contrast this notion to other recent perspectives of coherence, notably "coherent pairs", and likewise also to the geodesic theory of material lines. We will relate shape coherence to the differential geometry concept of curve congruence through matching curvatures. We show that points in phase space where there is a zero-splitting between stable and unstable manifolds locally correspond to points where curvature will evolve only slowly in time. Then we develop curves of points with zero-angle, meaning non-hyperbolic splitting, by continuation methods in terms of the implicit function theorem. From this follows a simple ODE description of the boundaries of shape coherent sets. We will illustrate our methods with popular benchmark examples, and further investigate the intricate structure of foliations geometry.

Bifurcation Currents in Holomorphic Families of Rational Maps

Abstract: These lectures are devoted to the study of bifurcations within holomorphic families of rational maps or polynomials by mean of ergodic and potential theoretic tools. After giving a general overview of the subject, we consider rational functions as ergodic dynamical systems and introduce the Green measure of a rational map and study the properties of its Lyapunov exponent. Next we consider Holomorphic families and introduce the class of hypersurfaces (Pern(w)) in the parameter space of a holomorphic family and study the connectedness locus in polynomial families. Then we introduce the bifurcation current and discuss equidistribution towards the bifurcation current and the self-intersection of the bifurcation current.

Equidistribution from Fractals

Abstract: We give a fractal-geometric condition for a measure on [0,1] to be supported on points x that are normal in base n, ie such that the sequence x,nx,n^2 x, equidistributes modulo 1 This condition is robust under C^1 coordinate changes, and it applies also when n is a Pisot number and equidistribution is understood with respect to the beta-map and Parry measure As applications we obtain new results (and strengthen old ones) about the prevalence of normal numbers in fractal sets, and new results on measure rigidity, specifically completing Host's theorem to multiplicatively independent integers and proving a Rudolph-Johnson-type theorem for certain pairs of beta transformations