Showing papers in "arXiv: Dynamical Systems in 2009"

Discontinuous Dynamical Systems: A tutorial on solutions, nonsmooth analysis, and stability

Abstract: This paper considers discontinuous dynamical systems, i.e., systems whose associated vector field is a discontinuous function of the state. Discontinuous dynamical systems arise in a large number of applications, including optimal control, nonsmooth mechanics, and robotic manipulation. Independently of the particular application, one always faces similar questions when dealing with discontinuous dynamical systems. The most basic one is the notion of solution. We begin by introducing the notions of Caratheodory, Filippov and sample-and-hold solutions, discuss existence and uniqueness results for them, and examine various examples. We also give specific pointers to other notions of solution defined in the literature. Once the notion of solution has been settled, we turn our attention to the analysis of stability of discontinuous systems. We introduce the concepts of generalized gradient of locally Lipschitz functions and proximal subdifferential of lower semicontinuous functions. Building on these notions, we establish monotonic properties of candidate Lyapunov functions along the solutions. These results are key in providing suitable generalizations of Lyapunov stability theorems and the LaSalle Invariance Principle. We illustrate the applicability of these results in a class of nonsmooth gradient flows.

A lecture on the classical KAM theorem

Abstract: The purpose of this lecture is to describe the KAM theorem in its most basic form and to give a complete and detailed proof. This proof essentially follows the traditional lines laid out by the inventors of this theory, and the emphasis is more on the underlying ideas than on the sharpness of the arguments.

Cluster synchronization in networks of coupled non-identical dynamical systems

Abstract: In this paper, we study cluster synchronization in networks of coupled non-identical dynamical systems. The vertices in the same cluster have the same dynamics of uncoupled node system but the uncoupled node systems in different clusters are different. We present conditions guaranteeing cluster synchronization and investigate the relation between cluster synchronization and the unweighted graph topology. We indicate that two condition play key roles for cluster synchronization: the common inter-cluster coupling condition and the intra-cluster communication. From the latter one, we interpret the two well-known cluster synchronization schemes: self-organization and driving, by whether the edges of communication paths lie at inter or intra-cluster. By this way, we classify clusters according to whether the set of edges inter- or intra-cluster edges are removable if wanting to keep the communication between pairs of vertices in the same cluster. Also, we propose adaptive feedback algorithms on the weights of the underlying graph, which can synchronize any bi-directed networks satisfying the two conditions above. We also give several numerical examples to illustrate the theoretical results.

Pure Point Dynamical and Diffraction Spectra

Abstract: We show that for multi-colored Delone point sets with finite local complexity and uniform cluster frequencies the notions of pure point diffraction and pure point dynamical spectrum are equivalent.

Local entropy averages and projections of fractal measures

Abstract: We show that for families of measures on Euclidean space which satisfy an ergodic-theoretic form of "self-similarity" under the operation of re-scaling, the dimension of linear images of the measure behaves in a semi-continuous way. We apply this to prove the following conjecture of Furstenberg: Let m,n be integers which are not powers of the same integer, and let X,Y be closed subsets of the unit interval which are invariant, respectively, under times-m mod 1 and times-n mod 1. Then, for any non-zero t: dim(X+tY)=min{1,dim(X)+dim(Y)}. A similar result holds for invariant measures, and gives a simple proof of the Rudolph-Johnson theorem. Our methods also apply to many other classes of conformal fractals and measures. As another application, we extend and unify Results of Peres, Shmerkin and Nazarov, and of Moreira, concerning projections of products self-similar measures and Gibbs measures on regular Cantor sets. We show that under natural irreducibility assumptions on the maps in the IFS, the image measure has the maximal possible dimension under any linear projection other than the coordinate projections. We also present applications to Bernoulli convolutions and to the images of fractal measures under differentiable maps.

Structure-Preserving Discretization of Incompressible Fluids

Abstract: The geometric nature of Euler fluids has been clearly identified and extensively studied over the years, culminating with Lagrangian and Hamiltonian descriptions of fluid dynamics where the configuration space is defined as the volume-preserving diffeomorphisms, and Kelvin's circulation theorem is viewed as a consequence of Noether's theorem associated with the particle relabeling symmetry of fluid mechanics. However computational approaches to fluid mechanics have been largely derived from a numerical-analytic point of view, and are rarely designed with structure preservation in mind, and often suffer from spurious numerical artifacts such as energy and circulation drift. In contrast, this paper geometrically derives discrete equations of motion for fluid dynamics from first principles in a purely Eulerian form. Our approach approximates the group of volume-preserving diffeomorphisms using a finite dimensional Lie group, and associated discrete Euler equations are derived from a variational principle with non-holonomic constraints. The resulting discrete equations of motion yield a structure-preserving time integrator with good long-term energy behavior and for which an exact discrete Kelvin's circulation theorem holds.

A survey of measured group theory

Abstract: The title refers to the area of research which studies infinite groups using measure-theoretic tools, and studies the restrictions that group structure imposes on er- godic theory of their actions The paper is a survey of recent developments focused on the notion of Measure Equivalence between groups, and Orbit Equivalence between group actions We discuss known invariants and classification results (rigidity) in both areas

A New Approach to Equations with Memory

Abstract: In this work, we present a novel approach to the mathematical analysis of equations with memory based on the notion of a state, namely, the initial configuration of the system which can be unambiguously determined by the knowledge of the future dynamics. As a model, we discuss the abstract version of an equation arising from linear viscoelasticity. It is worth mentioning that our approach goes back to the heuristic derivation of the state framework, devised by L.Deseri, M.Fabrizio and M.J.Golden in "The concept of minimal state in viscoelasticity: new free energies and applications to PDEs", Arch. Ration. Mech. Anal., vol. 181 (2006) pp.43-96. Starting from their physical motivations, we develop a suitable functional formulation which, as far as we know, is completely new.

Lyapunov spectrum of asymptotically sub-additive potentials

Abstract: For general asymptotically sub-additive potentials (resp. asymptotically additive potentials) on general topological dynamical systems, we establish some variational relations between the topological entropy of the level sets of Lyapunov exponents, measure-theoretic entropies and topological pressures in this general situation. Most of our results are obtained without the assumption of the existence of unique equilibrium measures or the differentiability of pressure functions. Some examples are constructed to illustrate the irregularity and the complexity of multifractal behaviors in the sub-additive case and in the case that the entropy map that is not upper-semi continuous.

Almost sure invariance principle for dynamical systems by spectral methods

Abstract: We prove the almost sure invariance principle for stationary R^d--valued processes (with dimension-independent very precise error terms), solely under a strong assumption on the characteristic functions of these processes. This assumption is easy to check for large classes of dynamical systems or Markov chains, using strong or weak spectral perturbation arguments.

Local/global analysis of the stationary solutions of some neural field equations

Abstract: Neural or cortical fields are continuous assemblies of mesoscopic models, also called neural masses, of neural populations that are fundamental in the modeling of macroscopic parts of the brain. Neural fields are described by nonlinear integro-differential equations. The solutions of these equations represent the state of activity of these populations when submitted to inputs from neighbouring brain areas. Understanding the properties of these solutions is essential in advancing our understanding of the brain. In this paper we study the dependency of the stationary solutions of the neural fields equations with respect to the stiffness of the nonlinearity and the contrast of the external inputs. This is done by using degree theory and bifurcation theory in the context of functional, in particular infinite dimensional, spaces. The joint use of these two theories allows us to make new detailed predictions about the global and local behaviours of the solutions. We also provide a generic finite dimensional approximation of these equations which allows us to study in great details two models. The first model is a neural mass model of a cortical hypercolumn of orientation sensitive neurons, the ring model. The second model is a general neural field model where the spatial connectivity isdescribed by heterogeneous Gaussian-like functions.

Symbolic models for nonlinear time-delay systems using approximate bisimulations

Abstract: Time-delay systems are an important class of dynamical systems which provide a solid mathematical framework to deal with many application domains of interest ranging from biology, chemical, electrical, and mechanical engineering, to economics. However, the inherent complexity of such systems poses serious difficulties to control design, when control objectives depart from the standard ones investigated in the current literature, e.g. stabilization, regulation, and etc. In this paper we propose one approach to control design, which is based on the construction of symbolic models, where each symbolic state and each symbolic label correspond to an aggregate of continuous states and to an aggregate of input signals in the original system. The use of symbolic models offers a systematic methodology for control design in which constraints coming from software and hardware, interacting with the physical world, can be integrated. The main contribution of this paper is in showing that incrementally input-to-state stable time-delay systems do admit symbolic models that are approximately bisimilar to the original system, with a precision that can be rendered as small as desired. An algorithm is also presented which computes the proposed symbolic models. When the state and input spaces of time-delay systems are bounded, which is the case in many realistic situations, the proposed algorithm is shown to terminate in a finite number of steps.

The Replicator Equation as an Inference Dynamic

Abstract: The replicator equation is interpreted as a continuous inference equation and a formal similarity between the discrete replicator equation and Bayesian inference is described. Further connections between inference and the replicator equation are given including a discussion of information divergences and exponential families as solutions for the replicator dynamic, using Fisher information and information geometry.

Invariant Manifolds for Competitive Systems in the Plane

Abstract: Let T be a competitive map on a rectangular region R ⊂ R 2 , and assume T is C 1 in a neighborhood of a fixed point x ∈ R. The main results of this paper give conditions on T that guarantee the existence of an invariant curve emanating from x when both eigenvalues of the Jacobian of T at x are nonzero and at least one of them has absolute value less than one, and establish that C is an increasing curve that separates R into invariant regions. The results apply to many hyperbolic and nonhyperbolic cases, and can be effectively used to determine basins of attraction of fixed points of competitive maps, or equivalently, of equilibria of competitive systems of difference equations. Several applications to planar systems of difference equations with non-hyperbolic equilibria are given.

Global behaviour of a second order nonlinear difference equation

Abstract: We describe the asymptotic behaviour and the stability properties of the solutions to a second order rational difference equation.

An inverse theorem for the uniformity seminorms associated with the action of $F^\omega$

Abstract: Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^\omega}$ of the infinite abelian group $\F^\omega$ on a probability space $X = (X,\B,\mu)$ is generated by phase polynomials $\phi: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.

Counting lattice points

Abstract: For a locally compact second countable group G and a lattice subgroup Gamma, we give an explicit quantitative solution of the lattice point counting problem in general domains in G, provided that i) G has finite upper local dimension, and the domains satisfy a basic regularity condition, ii) the mean ergodic theorem for the action of G on G/Gamma holds, with a rate of convergence. The error term we establish matches the best current result for balls in symmetric spaces of simple higher-rank Lie groups, but holds in much greater generality. In addition, it holds uniformly over families of lattices satisfying a uniform spectral gap. Applications include counting lattice points in general domains in semisimple S-algebraic groups, counting rational points on group varieties with respect to a height function, and quantitative angular (or conical) equidistribution of lattice points in symmetric spaces and in affine symmetric varieties. The mean ergodic theorems which we establish are based on spectral methods, including the spectral transfer principle and the Kunze-Stein phenomenon. We prove appropriate analogues of both of these results in the set-up of adele groups, and they constitute a necessary step in our proof of quantitative results in counting rational points.

Global theory of one-frequency Schrodinger operators I: stratified analyticity of the Lyapunov exponent and the boundary of nonuniform hyperbolicity

Abstract: We study Schrodinger operators with a one-frequency analytic potential, focusing on the transition between the two distinct local regimes characteristic respectively of large and small potentials. From the dynamical point of view, the transition signals the emergence of nonuniform hyperbolicity, so the dependence of the Lyapunov exponent with respect to parameters plays a central role in the analysis. Though often ill-behaved by conventional measures, we show that the Lyapunov exponent is in fact remarkably regular in a ``stratified sense'' which we define: the irregularity comes from the matching of nice (analytic or smooth) functions along sets with complicated geometry. This result allows us to stablish that the ``critical set'' for the transition has at most codimension one, so for a typical potential the set of critical energies is at most countable, hence typically not seen by spectral measures. Key to our approach are two results about the dependence of the Lyapunov exponent of one-frequency $\SL(2,\C)$ cocycles with respect to perturbations in the imaginary direction: on one hand there is a severe ``quantization'' restriction, and on the other hand ``regularity'' of the dependence characterizes uniform hyperbolicity when the Lyapunov exponent is positive. Our method is independent of arithmetic conditions on the frequency.

Nilsequences and a structure theorem for topological dynamical systems

Abstract: We characterize inverse limits of nilsystems in topological dynamics, via a structure theorem for topological dynamical systems that is an analog of the structure theorem for measure preserving systems. We provide two applications of the structure. The first is to nilsequences, which have played an important role in recent developments in ergodic theory and additive combinatorics; we give a characterization that detects if a given sequence is a nilsequence by only testing properties locally, meaning on finite intervals. The second application is the construction of the maximal nilfactor of any order in a distal minimal topological dynamical system. We show that this factor can be defined via a certain generalization of the regionally proximal relation that is used to produce the maximal equicontin uous factor and corresponds to the case of order 1.

A Unified Floquet Theory for Discrete, Continuous, and Hybrid Periodic Linear Systems

Abstract: In this paper, we study periodic linear systems on periodic time scales which include not only discrete and continuous dynamical systems but also systems with a mixture of discrete and continuous parts (e.g. hybrid dynamical systems). We develop a comprehensive Floquet theory including Lyapunov transformations and their various stability preserving properties, a unified Floquet theorem which establishes a canonical Floquet decomposition on time scales in terms of the generalized exponential function, and use these results to study homogeneous as well as nonhomogeneous periodic problems. Furthermore, we explore the connection between Floquet multipliers and Floquet exponents via monodromy operators in this general setting and establish a spectral mapping theorem on time scales. Finally, we show this unified Floquet theory has the desirable property that stability characteristics of the original system can be determined via placement of an associated (but time varying) system's poles in the complex plane. We include several examples to show the utility of this theory.

Symbolic extensions for partially hyperbolic diffeomorphisms

Abstract: We show that every partially hyperbolic diffeomorphism with a 1-dimensional center bundle has a principal symbolic extension On the other hand, we show there are no symbolic extensions $C^1$-generically among diffeomorphisms containing non-hyperbolic robustly transitive sets with center indecomposable bundle of dimension at least 2

Generalized staircases: recurrence and symmetry

Abstract: We study infinite translation surfaces which are Z-covers of compact translation surfaces. We obtain conditions ensuring that such surfaces have Veech groups which are Fuchsian of the first kind and give a necessary and sufficient condition for recurrence of their straight-line flows. Extending results of Hubert and Schmithusen, we provide examples of infinite non-arithmetic lattice surfaces, as well as surfaces with infinitely generated Veech groups.

Approximating invariant densities of metastable systems

Abstract: We consider a piecewise smooth expanding map of the interval possessing two invariant subsets of positive Lebesgue measure and exactly two ergodic absolutely continuous invariant probability measures (ACIMs). When this system is perturbed slightly to make the invariant sets merge, we describe how the unique ACIM of the perturbed map can be approximated by a convex combination of the two initial ergodic ACIMs.

The Space of Morphisms on Projective Space

Abstract: The theory of moduli of morphisms on P^n generalizes the study of rational maps on P^1. This paper proves three results about the space of morphisms on P^n of degree d > 1, and its quotient by the conjugation action of PGL(n+1). First, we prove that this quotient is geometric, and compute the stable and semistable completions of the space of morphisms. This strengthens previous results of Silverman, as well as of Petsche, Szpiro, and Tepper. Second, we bound the size of the stabilizer group in PGL(n+1) of every morphism in terms of only n and d. Third, we specialize to the case where n = 1, and show that the quotient space is rational for all d > 1; this partly generalizes a result of Silverman about the case d = 2.

On the Kolmogorov Set for many body problems

Abstract: I defended my PhD Thesis in Rome, Universit\`a Roma Tre, on April, 23, 2009, under the direction of Professor Luigi Chierchia. The judging committee was composed by Professors M. Berti, A. Celletti, C. Falcolini, J. F\'ejoz. Professors M. Berti and J. F\'ejoz refereed my thesis. The main result of my thesis is the first direct proof (the first general proof was given in [J. F\'ejoz, ETDS, 2004]) of a famous statement by V. I. Arnold (1963), usually referred to as "Arnold's Planetary Theorem". My proof of Arnold's Planetary Theorem relies on the rediscovery, during the year 2008, of a symplectic set of action-angle variables (described in \S 4 of my thesis) which perform explicitly the reduction of rotation invariance of the system. Indeed, even though in a different form, they had been previously considered by [F. Boigey, Cel. Mech. Dyn. Astr., 1982] and [A. Deprit, Cel. Mech. Dyn. Astr., 1983]. The version I found in 2008 corresponds to the "planetary" form of Boigey-Deprit variables, since it includes the elliptic elements of the instantaneous ellipses of the planets around the sun and for this reason is especially fitted to this problem . I then regularized "my" planetary variables to include co-planar and co-circular motions. This regularization leads to a set of mixed action-angle and rectangular variables analogous to Poincar\'e' variables but better fitted to rotation invariance of the system, since they exhibit a cyclic couple of conjugated variables. I finally applied my regularized variables to the problem, checked non-trivial torsion and obtained the proof of the theorem. I wish to thank J. F\'ejoz for mentioning my contribution to the proof of Arnold's Theorem, and especially my rediscovery of Deprit's reduction, in his paper [J. Fejoz, DCDS-A, 2013].

Stationary dynamical systems

Abstract: Following works of Furstenberg and Nevo and Zimmer we present an outline of a theory of stationary (or m-stationary) dynamical systems for a general acting group G equipped with a probability measure m. Our purpose is two-fold: First to suggest a more abstract line of development, including a simple structure theory. Second, to point out some interesting applications; one of these is a Sze- mer edi type theorem for SL(2;R).

Dynamics and abstract computability: computing invariant measures

Abstract: We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider invariant measures as fixed points of the transfer operator and give general conditions under which the transfer operator is (sufficiently) computable. In this case, a general result ensures the computability of isolated fixed points and hence invariant measures (in given classes of "regular" measures). This implies the computability of many SRB measures. On the other hand, not all computable dynamical systems have a computable invariant measure. We exhibit two interesting examples of computable dynamics, one having an SRB measure which is not computable and another having no computable invariant measure at all, showing some subtlety in this kind of problems.

Hidden markov processes in the context of symbolic dynamics

Abstract: In an effort to aid communication among different fields and per- haps facilitate progress on problems common to all of them, this article dis- cusses hidden Markov processes from several viewpoints, especially that of symbolic dynamics, where they are known as sofic measures, or continuous shift-commuting images of Markov measures. It provides background, de- scribes known tools and methods, surveys some of the literature, and proposes several open problems.

Local Rigidity of Partially Hyperbolic Actions

Abstract: We consider partially hyperbolic abelian algebraic high-rank actions on compact homogeneous spaces obtained from simple indefinite orthogonal and unitary groups. In the first part of the paper, we show local differentiable rigidity for such actions. The conclusions are based on progress towards computations of the Schur multipliers of these non-split groups, which is the main aim of the second part.

Beta-expansions, natural extensions and multiple tilings associated with Pisot units

Abstract: From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $\beta$ and the greedy $\beta$-transformation In this paper, we consider different transformations generating expansions in base $\beta$, including cases where the associated subshift is not sofic Under certain mild conditions, we show that they give multiple tilings We also give a necessary and sufficient condition for the tiling property, generalizing the weak finiteness property (W) for greedy $\beta$-expansions Remarkably, the symmetric $\beta$-transformation does not satisfy this condition when $\beta$ is the smallest Pisot number or the Tribonacci number This means that the Pisot conjecture on tilings cannot be extended to the symmetric $\beta$-transformation Closely related to these (multiple) tilings are natural extensions of the transformations, which have many nice properties: they are invariant under the Lebesgue measure; under certain conditions, they provide Markov partitions of the torus; they characterize the numbers with purely periodic expansion, and they allow determining any digit in an expansion without knowing the other digits