Showing papers in "arXiv: Dynamical Systems in 2007"

Pinning Complex Networks by a Single Controller

Abstract: In this paper, without assuming symmetry, irreducibility, or linearity of the couplings, we prove that a single controller can pin a coupled complex network to a homogenous solution. Sufficient conditions are presented to guarantee the convergence of the pinning process locally and globally. An effective approach to adapt the coupling strength is proposed. Several numerical simulations are given to verify our theoretical analysis.

Finite-Time Consensus Problems for Networks of Dynamic Agents

Abstract: In this paper, finite-time state consensus problems for continuous-time multi-agent systems are discussed, and two distributive protocols, which ensure that the states of agents reach an agreement in a finite time, are presented. By employing the method of finite-time Lyapunov functions, we derive conditions that guarantee the two protocols to solve the finite-time consensus problems respectively. Moreover, one of the two protocols solves the finite-time weighted-average consensus problem and can be successively applied to the systems with switching topology. Upper bounds of convergence times are also established. Simulations are presented to show the effectiveness of our results.

Toric dynamical systems

Abstract: Toric dynamical systems are known as complex balancing mass action systems in the mathematical chemistry literature, where many of their remarkable properties have been established. They include as special cases all deficiency zero systems and all detailed balancing systems. One feature is that the steady state locus of a toric dynamical system is a toric variety, which has a unique point within each invariant polyhedron. We develop the basic theory of toric dynamical systems in the context of computational algebraic geometry and show that the associated moduli space is also a toric variety. It is conjectured that the complex balancing state is a global attractor. We prove this for detailed balancing systems whose invariant polyhedron is two-dimensional and bounded.

Norm convergence of multiple ergodic averages for commuting transformations

Abstract: Let $T_1, ..., T_l: X \to X$ be commuting measure-preserving transformations on a probability space $(X, \X, \mu)$. We show that the multiple ergodic averages $\frac{1}{N} \sum_{n=0}^{N-1} f_1(T_1^n x) ... f_l(T_l^n x)$ are convergent in $L^2(X,\X,\mu)$ as $N \to \infty$ for all $f_1,...,f_l \in L^\infty(X,\X,\mu)$; this was previously established for $l=2$ by Conze and Lesigne and for general $l$ assuming some additional ergodicity hypotheses on the maps $T_i$ and $T_i T_j^{-1}$ by Frantzikinakis and Kra (with the $l=3$ case of this result established earlier by Zhang). Our approach is combinatorial and finitary in nature, inspired by recent developments regarding the hypergraph regularity and removal lemmas, although we will not need the full strength of those lemmas. In particular, the $l=2$ case of our arguments are a finitary analogue of those of Conze and Lesigne.

Flocking in noisy environments

Abstract: We consider a perturbed version of the dynamics of a flock introduced by Cucker and Smale ("Emergent behaviour in flocks") and prove, under similar conditions, that nearly-alignment (a concept that is precised in the text) is achieved with a certain probability, bounded from below.

A Characterization of the Entropies of Multidimensional Shifts of Finite Type

Abstract: We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computation-theoretic property: a real number $h\geq 0$ is the entropy of such an SFT if and only if it is right recursively enumerable, i.e. there is a computable sequence of rational numbers converging to $h$ from above. The same characterization holds for the entropies of sofic shifts. On the other hand, the entropy of an irreducible SFT is computable.

The distribution of free path lengths in the periodic Lorentz gas and related lattice point problems

Abstract: The periodic Lorentz gas describes the dynamics of a point particle in a periodic array of spherical scatterers, and is one of the fundamental models for chaotic diffusion. In the present paper we investigate the Boltzmann-Grad limit, where the radius of each scatterer tends to zero, and prove the existence of a limiting distribution for the free path length of the periodic Lorentz gas. We also discuss related problems, such as the statistical distribution of directions of lattice points that are visible from a fixed position.

Dynamic rays of bounded-type entire functions

Abstract: We construct an entire function in the Eremenko-Lyubich class $\B$ whose Julia set has only bounded path-components. This answers a question of Eremenko from 1989 in the negative. On the other hand, we show that for many functions in $\B$, in particular those of finite order, every escaping point can be connected to $\infty$ by a curve of escaping points. This gives a partial positive answer to the aforementioned question of Eremenko, and answers a question of Fatou from 1926.

Theorie ergodique des fractions rationnelles sur un corps ultrametrique

Abstract: We make the first steps towards an understanding of the ergodic properties of a rational map defined over a complete algebraically closed non-archimedean field. For such a rational map R, we construct a natural invariant probability measure m_R which reprensents the asymptotic distribution of preimages of non-exceptional point. We show that this measure is exponentially mixing, and satisfies the central limit theorem. We prove some general bounds on the metric entropy of m_R, and on the topological entropy of R. We finally prove that rational maps with vanishing topological entropy have potential good reduction.

Morphing Ensemble Kalman Filters

Abstract: A new type of ensemble filter is proposed, which combines an ensemble Kalman filter (EnKF) with the ideas of morphing and registration from image processing. This results in filters suitable for nonlinear problems whose solutions exhibit moving coherent features, such as thin interfaces in wildfire modeling. The ensemble members are represented as the composition of one common state with a spatial transformation, called registration mapping, plus a residual. A fully automatic registration method is used that requires only gridded data, so the features in the model state do not need to be identified by the user. The morphing EnKF operates on a transformed state consisting of the registration mapping and the residual. Essentially, the morphing EnKF uses intermediate states obtained by morphing instead of linear combinations of the states.

Effective equidistribution for closed orbits of semisimple groups on homogeneous spaces

Abstract: We prove effective equidistribution, with polynomial rate, for large closed orbits of semisimple groups on homogeneous spaces, under certain technical restrictions (notably, the acting group should have finite centralizer in the ambient group). The proofs make extensive use of spectral gaps, and also of a closing lemma for such actions.

A primer on substitution tilings of the Euclidean plane

Abstract: This paper is intended to provide an introduction to the theory of substitution tilings. For our purposes, tiling substitution rules are divided into two broad classes: geometric and combinatorial. Geometric substitution tilings include self-similar tilings such as the well-known Penrose tilings; for this class there is a substantial body of research in the literature. Combinatorial substitutions are just beginning to be examined, and some of what we present here is new. We give numerous examples, mention selected major results, discuss connections between the two classes of substitutions, include current research perspectives and questions, and provide an extensive bibliography. Although the author attempts to fairly represent the as a whole, the paper is not an exhaustive survey, and she apologizes for any important omissions.

Equilibrium states for potentials with $\sup\phi - \inf\phi < \htop(f)$

Abstract: In the context of smooth interval maps, we study an inducing scheme approach to prove existence and uniqueness of equilibrium states for potentials $\phi$ with he `bounded range' condition $\sup \phi - \inf \phi < \htop$, first used by Hofbauer and Keller. We compare our results to Hofbauer and Keller's use of Perron-Frobenius operators. We demonstrate that this `bounded range' condition on the potential is important even if the potential is H\"older continuous. We also prove analyticity of the pressure in this context.

Positive Forms and Stability of Linear Time-Delay Systems

Abstract: We consider the problem of constructing Lyapunov functions for linear differential equations with delays. For such systems it is known that exponential stability implies the existence of a positive Lyapunov function which is quadratic on the space of continuous functions. We give an explicit parametrization of a sequence of finite-dimensional subsets of the cone of positive Lyapunov functions using positive semidefinite matrices. This allows stability analysis of linear time-delay systems to be formulated as a semidefinite program.

The Lyapunov spectrum of some parabolic systems

Abstract: We study the Hausdorff dimension spectrum for Lyapunov exponents for a class of interval maps which includes several non-hyperbolic situations. We also analyze the level sets of points with given lower and upper Lyapunov exponents and, in particular, with zero lower Lyapunov exponent. We prove that the level set of points with zero exponent has full Hausdorff dimension, but carries no topological entropy.

Resurgent functions and splitting problems

Abstract: The present text is an introduction to Ecalle's theory of resurgent functions and alien calculus, in connection with problems of exponentially small separatrix splitting. An outline of the resurgent treatment of Abel's equation for resonant dynamics in one complex variable is included. The emphasis is on examples of nonlinear difference equations, as a simple and natural way of introducing the concepts.

Intersective polynomials and polynomial Szemeredi theorem

Abstract: Let $P=\{p_{1},\ld,p_{r}\}\subset\Q[n_{1},\ld,n_{m}]$ be a family of polynomials such that $p_{i}(\Z^{m})\sle\Z$, $i=1,\ld,r$. We say that the family $P$ has {\it PSZ property} if for any set $E\sle\Z$ with $d^{*}(E)=\limsup_{N-M\ras\infty}\frac{|E\cap[M,N-1]|}{N-M}>0$ there exist infinitely many $n\in\Z^{m}$ such that $E$ contains a polynomial progression of the form \hbox{$\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}$}. We prove that a polynomial family $P=\{p_{1},\ld,p_{r}\}$ has PSZ property if and only if the polynomials $p_{1},\ld,p_{r}$ are {\it jointly intersective}, meaning that for any $k\in\N$ there exists $n\in\Z^{m}$ such that the integers $p_{1}(n),\ld,p_{r}(n)$ are all divisible by $k$. To obtain this result we give a new ergodic proof of the polynomial Szemer\'{e}di theorem, based on the fact that the key to the phenomenon of polynomial multiple recurrence lies with the dynamical systems defined by translations on nilmanifolds. We also obtain, as a corollary, the following generalization of the polynomial van der Waerden theorem: If $p_{1},\ld,p_{r}\in\Q[n]$ are jointly intersective integral polynomials, then for any finite partition of $\Z$, $\Z=\bigcup_{i=1}^{k}E_{i}$, there exist $i\in\{1,\ld,k\}$ and $a,n\in E_{i}$ such that $\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}\sln E_{i}$.

Thermodynamical Formalism and Multifractal Analysis for Meromorphic Functions of finite order

Abstract: We first use Nevanlinna theory to provide full thermodynamical formalism for a very general class of meromorphic functions of finite order. Finer stochastic properties of the Perron-Frobenius operator are given and finally we provide the multifractal analysis of Gibbs states.

Shear-Induced Chaos

Abstract: Guided by a geometric understanding developed in earlier works of Wang and Young, we carry out some numerical studies of shear-induced chaos. The settings considered include periodic kicking of limit cycles, random kicks at Poisson times, and continuous-time driving by white noise. The forcing of a quasi-periodic model describing two coupled oscillators is also investigated. In all cases, positive Lyapunov exponents are found in suitable parameter ranges when the forcing is suitably directed.

Effective symbolic dynamics, random points, statistical behavior, complexity and entropy

Abstract: We consider the dynamical behavior of Martin-L\"of random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computable partitions to define a sort of effective symbolic model for the dynamics. Through this construction we prove that such points have typical statistical behavior (the behavior which is typical in the Birkhoff ergodic theorem) and are recurrent. We introduce and compare some notions of complexity for orbits in dynamical systems and prove: (i) that the complexity of the orbits of random points equals the Kolmogorov-Sina\"i entropy of the system, (ii) that the supremum of the complexity of orbits equals the topological entropy.

Hyperbolic dimension of Julia sets of meromorphic maps with logarithmic tracts

Abstract: We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1.

A Lohner-type algorithm for control systems and ordinary differential inclusions

Abstract: We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbations of ODEs.

Hyperbolic dimension and radial Julia sets of transcendental functions

Abstract: We survey the definition of the radial Julia set of a meromorphic function (in fact, more generally, any "Ahlfors islands map"), and give a simple proof that the Hausdorff dimension of the reduced Julia set always coincides with the hyperbolic dimension.

On the singularities of generalized solutions to $n$--body type problems

Abstract: The validity of Sundman-type asymptotic estimates for collision solutions is established for a wide class of dynamical systems with singular forces, including the classical $N$--body problems with Newtonian, quasi--homogeneous and logarithmic potentials. The solutions are meant in the generalized sense of Morse (locally --in space and time-- minimal trajectories with respect to compactly supported variations) and their uniform limits. The analysis includes the extension of the Von Zeipel's Theorem and the proof of isolatedness of collisions. Furthermore, such asymptotic analysis is applied to prove the absence of collisions for locally minimal trajectories.

On the Hausdorff Dimension of the Mather Quotient

Abstract: Under appropriate assumptions on the dimension of the ambient manifold and the regularity of the Hamiltonian, we show that the Mather quotient is small in term of Hausdorff dimension. Then, we present applications in dynamics.

Unbounded Orbits for Outer Billiards

Abstract: Outer billiards is a basic dynamical system, defined relative to a planar convex shape. This system was introduced in the 1950's by B.H. Neumann and later popularized in the 1970's by J. Moser. All along, one of the central questions has been: is there an outer billiards system with an unbounded orbit. We answer this question by proving that outer billiards defined relative to the Penrose Kite has an unbounded orbit. The Penrose kite is the quadrilateral that appears in the famous Penrose tiling. We also analyze some of the finer orbit structure of outer billiards on the penrose kite. This analysis shows that there is an uncountable set of unbounded orbits. Our method of proof relates the problem to self-similar tilings, polygon exchange maps, and arithmetic dynamics.

Quenched CLT for random toral automorphism

Abstract: We establish a quenched Central Limit Theorem (CLT) for a smooth observable of random sequences of iterated linear hyperbolic maps on the torus. To this end we also obtain an annealed CLT for the same system. We show that, almost surely, the variance of the quenched system is the same as for the annealed system. Our technique is the study of the transfer operator on an anisotropic Banach space specifically tailored to use the cone condition satisfied by the maps.

Statistical properties of one-dimensional maps with critical points and singularities

Abstract: We prove that a class of one-dimensional maps with an arbitrary number of non-degenerate critical and singular points admits an induced Markov tower with exponential return time asymptotics. In particular the map has an absolutely continuous invariant probability measure with exponential decay of correlations for H\"{o}lder observations.

Existence and convergence properties of physical measures for certain dynamical systems with holes

Abstract: We study two classes of dynamical systems with holes: expanding maps of the interval and Collet-Eckmann maps with singularities. In both cases, we prove that there is a natural absolutely continuous conditionally invariant measure $\mu$ (a.c.c.i.m.) with the physical property that strictly positive H\"{o}lder continuous functions converge to the density of $\mu$ under the renormalized dynamics of the system. In addition, we construct an invariant measure $ u$, supported on the Cantor set of points that never escape from the system, that is ergodic and enjoys exponential decay of correlations for H\"{o}lder observables. We show that $ u$ satisfies an equilibrium principle which implies that the escape rate formula, familiar to the thermodynamic formalism, holds outside the usual setting. In particular, it holds for Collet-Eckmann maps with holes, which are not uniformly hyperbolic and do not admit a finite Markov partition. We use a general framework of Young towers with holes and first prove results about the \accim and the invariant measure on the tower. Then we show how to transfer results to the original dynamical system. This approach can be expected to generalize to other dynamical systems than the two above classes.

Cohomology in one-dimensional substitution tiling spaces

Abstract: Anderson and Putnam showed that the cohomology of a substitution tiling space may be computed by collaring tiles to obtain a substitution which ``forces its border.'' One can then represent the tiling space as an inverse limit of an inflation and substitution map on a cellular complex formed from the collared tiles; the cohomology of the tiling space is computed as the direct limit of the homomorphism induced by inflation and substitution on the cohomology of the complex. For one-dimensional substitution tiling spaces, we describe a modification of the Anderson-Putnam complex on collared tiles that allows for easier computation and provides a means of identifying certain special features of the tiling space with particular elements of the cohomology.