Showing papers in "arXiv: Dynamical Systems in 2000"

A remarkable periodic solution of the three-body problem in the case of equal masses

Abstract: Using a variational method, we exhibit a surprisingly simple periodic orbit for the newtonian problem of three equal masses in the plane. The orbit has zero angular momentum and a very rich symmetry pattern. Its most surprising feature is that the three bodies chase each other around a fixed eight-shaped curve. Setting aside collinear motions, the only other known motion along a fixed curve in the inertial plane is the ``Lagrange relative equilibrium" in which the three bodies form a rigid equilateral triangle which rotates at constant angular velocity within its circumscribing circle. Our orbit visits in turns every ``Euler configuration" in which one of the bodies sits at the midpoint of the segment defined by the other two (Figure 1). Numerical computations by Carles Simo, to be published elsewhere, indicate that the orbit is ``stable" (i.e. completely elliptic with torsion). Moreover, they show that the moment of inertia I(t) with respect to the center of mass and the potential U(t) as functions of time are almost constant.

Statistical stability for robust classes of maps with non-uniform expansion

Abstract: We consider open sets of maps in a manifold $M$ exhibiting non-uniform expanding behaviour in some domain $S\subset M$. Assuming that there is a forward invariant region containing $S$ where each map has a unique SRB measure, we prove that under general uniformity conditions, the SRB measure varies continuously in the $L^1$-norm with the map. As a main application we show that the open class of maps introduced in [V] fits to this situation, thus proving that the SRB measures constructed in [A] vary continuously with the map.

On the geometry of generalized Chaplygin systems

Abstract: Some aspects of the geometry and the dynamics of generalized Chaplygin systems are investigated. First, two different but complementary approaches to the construction of the reduced dynamics are reviewed: a symplectic approach and an approach based on the theory of affine connections. Both are mutually compared and further completed. Next, a necessary and sufficient condition is derived for the existence of an invariant measure for the reduced dynamics of generalized Chaplygin systems of mechanical type. A simple example is then constructed of a generalized Chaplygin system which does not verify this condition, thereby answering in the negative a question raised by Koiller.

Convergence or generic divergence of Birkhoff normal form

Abstract: We prove that Birkhoff normal form of hamiltonian flows at a non-resonant singular point with given quadratic part are always convergent or generically divergent. The same result is proved for the normalization mapping and any formal first integral.

Return time statistics via inducing

Abstract: We prove that return time statistics of a dynamical system do not change if one passes to an induced (i.e. first return) map. We apply this to show exponential return time statistics in i) smooth interval maps with nowhere-dense critical orbits and ii) certain interval maps with neutral fixed points. The method also applies to iii) certain quadratic maps of the complex plane.

Multiplicity of Invariant Algebraic Curves and Darboux Integrability

Abstract: We define four different kinds of multiplicity of an invariant algebraic curve for a given polynomial vector field and investigate their relationships. After taking a closer look at the singularities and at the line of infinity, we improve the Darboux theory of integrability using these new notions of multiplicity.

Rigidity of measurable structure for Z^d-actions by automorphisms of a torus

Abstract: We show that for certain classes of actions of Z^d, d >= 2, by automorphisms of the torus any measurable conjugacy has to be affine, hence measurable conjugacy implies algebraic conjugacy; similarly any measurable factor is algebraic, and algebraic and affine centralizers provide invariants of measurable conjugacy. Using the algebraic machinery of dual modules and information about class numbers of algebraic number fields we consruct various examples of Z^d-actions by Bernoulli automorphisms whose measurable orbit structure is rigid, including actions which are weakly isomorphic but not isomorphic. We show that the structure of the centralizer for these actions may or may not serve as a distinguishing measure-theoretic invariant.

Schwarzian Derivatives and Cylinder Maps

Abstract: We describe the way in which the sign of the Schwarzian derivative for a family of dieomorphisms of the interval I aects the dynamics of an associated many-to-one skew product map of the cylinder (R=Z) I.

On the existence of polynomial first integrals of quadratic homogeneous systems of ordinary differential equations

Abstract: We consider systems of ordinary differential equations with quadratic homogeneous right hand side. We give a new simple proof of a result already obtained in [8,10] which gives the necessary conditions for the existence of polynomial first integrals. The necessary conditions for the existence of a polynomial symmetry field are given. It is proved that an arbitrary homogeneous first integral of a given degree is a linear combination of a fixed set of polynomials.

Solutions of DEs and PDEs as Potential Maps Using First Order Lagrangians

Abstract: Using parametrized curves (Section 1) or parametrized sheets (Section 3), and suitable metrics, we treat the jet bundle of order one as a semi-Riemann manifold. This point of view allows the description of solutions of DEs as pregeodesics (Section 1) and the solutions of PDEs as potential maps (Section 3), via Lagrangians of order one or via generalized Lorentz world-force laws. Implicitly, we solved a problem rised first by Poincar\'e: find a suitable geometric structure that converts the trajectories of a given vector field into geodesics (see also [6] - [11]). Section 2 and Section 3 realize the passage from the Lagrangian dynamics to the covariant Hamilton equations.

Ergodicity of Mapping Class Group Actions on Representation Varieties, II. Surfaces with Boundary

Abstract: The mapping class group of a compact oriented surface of genus greater than one with boundary acts ergodically on connected components of the representation variety corresponding to a connected compact Lie group, for every choice of conjugacy class boundary condition.

Nonclassical Lagrangian Dynamics and Potential Maps

Abstract: Section 1 refines the theory of harmonic and potential maps. Section 2 defines a generalized Lorentz world-force law and shows that any PDEs system of order one generates such a law in suitable geometrical structure. In other words, the solutions of any PDEs system of order one are harmonic or potential maps, if we use semi-Riemann-Lagrange structures. Section 3 formulates open problems regarding the geometry of semi-Riemann manifolds $(J^1(T,M), S_1)$, $(J^2(T,M), S_2)$, and shows that the Lorentz-Udriste world-force law is equivalent to covariant Hamilton PDEs on $(J^1(T,M), S_1)$.

Linearization of holomorphic germs with resonant linear part

Abstract: We study the linearization problem of germs of holomorphic diffeomorphisms with resonant linear part. The formal linearization requires in general an infinite number of algebraic relations to be satisfied by the coefficients of the power series defining the holomorphic germ. For a fixed germ, the linearizing mappings are not unique, but the existence of a finite jet with a formal divergent linearization but no convergent one forces all the other linearizing mappings to be diverging. We consider also polynomial families formally conjugated to a fixed resonant linear part. Then all the elements of the family are holomorphically linearizable, or we are in the precedent diverging situation for all but an exceptional set of parameter values of zero $\Gamma$-capacity. In the case of maximal non-trivial resonance we prove the optimality of Bruno condition.

Fixed points of analytic actions of supersoluble Lie groups on compact surfaces

Abstract: We show that every real analytic action of a connected supersoluble Lie group on a compact surface with nonzero Euler characteristic has a fixed point. This implies that E. Lima's fixed point free $C^{\infty}$ action on $S^2$ of the affine group of the line cannot be approximated by analytic actions. An example is given of an analytic, fixed point free action on $S^2$ of a solvable group that is not supersoluble.

Linear repetitivity, I. Uniform subadditive ergodic theorems and applications

Abstract: This paper is concerned with the concept of linear repetitivity in the theory of tilings. We prove a general uniform subadditive ergodic theorem for linearly repetitive tilings. This theorem unifies and extends various known (sub)additive ergodic theorems on tilings. The results of this paper can be applied in the study of both random operators and lattice gas models on tilings.

Variational construction of homoclinics and chaos in presence of a saddle-saddle equilibrium

Abstract: We consider autonomous Lagrangian systems with two degrees of freedom, having an hyperbolic equilibrium of saddle-saddle type (that is the eingenvalues of the linearized system about the equilibrium are $\pm \lambda_1, \pm \lambda_2 $, $\lambda_1, \lambda_2 > 0$). We assume that $\lambda_1 > \lambda_2$ and that the system possesses two homoclinic orbits. Under a nondegeneracy assumption on the homoclinics and under suitable conditions on the geometric behaviour of these homoclinics near the equilibrium we prove, by variational methods, then they give rise to an infinite family of multibump homoclinic solutions and that the topological entropy at the zero energy level is positive. A method to deal also with homoclinics satisfying a weaker nondegeneracy condition is developed and it is applied, for simplicity, when $\lambda_1 \approx \lambda_2$. An application to a perturbation of a uncoupled system is also given.

Diffusion time and splitting of separatrices for nearly integrable isochronous Hamiltonian systems

Abstract: We consider the problem of Arnold's diffusion for nearly integrable isochronous Hamiltonian systems. We prove a shadowing theorem which improves the known estimates for the diffusion time. We also justify for three time scales systems that the splitting of the separatrices is correctly predicted by the Poincare'-Melnikov function.

Adiabatic limits of closed orbits for some Newtonian systems in R^n

Abstract: We deal with a Newtonian system like x'' + V'(x) = 0. We suppose that V: \R^n \to \R possesses an (n-1)-dimensional compact manifold M of critical points, and we prove the existence of arbitrarity slow periodic orbits. When the period tends to infinity these orbits, rescaled in time, converge to some closed geodesics on M.

Kick stability in groups and dynamical systems

Abstract: We consider a general construction of ``kicked systems''. Let G be a group of measure preserving transformations of a probability space. Given its one-parameter/cyclic subgroup (the flow), and any sequence of elements (the kicks) we define the kicked dynamics on the space by alternately flowing with given period, then applying a kick. Our main finding is the following stability phenomenon: the kicked system often inherits recurrence properties of the original flow. We present three main examples. 1) G is the torus. We show that for generic linear flows, and any sequence of kicks, the trajectories of the kicked system are uniformly distributed for almost all periods. 2) G is a discrete subgroup of PSL(2,R) acting on the unit tangent bundle of a Riemann surface. The flow is generated by a single element of G, and we take any bounded sequence of elements of G as our kicks. We prove that the kicked system is mixing for all sufficiently large periods if and only if the generator is of infinite order and is not conjugate to its inverse in G. 3) G is the group of Hamiltonian diffeomorphisms of a closed symplectic manifold. We assume that the flow is rapidly growing in the sense of Hofer's norm, and the kicks are bounded. We prove that for a positive proportion of the periods the kicked system inherits a kind of energy conservation law and is thus superrecurrent. We use tools of geometric group theory and symplectic topology.

Structure and Stability of Certain Chemical Networks and Applications to the Kinetic Proofreading Model of T-Cell Receptor Signal Transduction

Abstract: This paper deals with the theory of structure, stability, robustness, and stabilization for an appealing class of nonlinear systems which arises in the analysis of chemical networks. The results given here extend, but are also heavily based upon, certain previous work by Feinberg, Horn, and Jackson, of which a self-contained and streamlined exposition is included. The theoretical conclusions are illustrated through an application to the kinetic proofreading model proposed by McKeithan for T-cell receptor signal transduction. (Update includes, among other topics, remarks on extensions to certain systems with Michaelis-Menten kinetics.)

Systems of linear ordinary differential equations with bounded coefficients may have very oscillating solutions

Abstract: An elementary example shows that the number of zeroes of a component of a solution of a system of linear ordinary differential equations cannot be estimated through the norm of coefficients of the system alone.

An Introduction To Small Divisors

Abstract: This is an introduction to small divisors problems. The material treated in this book was brought together for a PhD course I tought at the University of Pisa in the spring of 1999. Here is a Table of Contents: Part I One Dimensional Small Divisors. Yoccoz's Theorems 1. Germs of Analytic Diffeomorphisms. Linearization 2. Topological Stability vs. Analytic Linearizability 3. The Quadratic Polynomial: Yoccoz's Proof of the Siegel Theorem 4. Douady-Ghys' Theorem. Continued Fractions and the Brjuno Function 5. Siegel-Brjuno Theorem, Yoccoz's Theorem. Some Open Problems 6. Small Divisors and Loss of Differentiability Part II Implicit Function Theorems and KAM Theory 7. Hamiltonian Systems and Integrable Systems 8. Quasi-Integrable Hamiltonian Systems 9. Nash-Moser's Implicit Function Theorem 10. From Nash-Moser's Theorem to KAM: Normal Form of Vector Fields on the Torus Appendices A1. Uniformization, Distorsion and Quasi-conformal maps A2. Continued Fractions A3. Distributions, Hyperfunctions. Hypoellipticity and Diophantine Conditions

Hierarchical structures in Sturmian dynamical systems

Abstract: Paper withdrawn; will be replaced by revised version containing application to lattice models as well. We study hierarchical properties of Sturmian words. These properties are similar to those of substitution dynamical systems. This approach allows one to carry over to Sturmian dynamical systems methods developed in the context of substitutions. For example, it allows for a very simple proof of a uniform ergodic type theorem for additive functions taking values in a Banach space. We then focus on establishing various versions of uniform subadditive ergodic type theorems. The main result states that linear repetitivity of a Sturmian system is equivalent to the validity of a uniform subadditive ergodic theorem which in turn is equivalent to uniform positivity of certain weights. Thus, the results of this paper completely cover the validity of uniform additive and subadditive ergodic theorems on Sturmian systems.

A note on holomorphic extensions

Abstract: We give a criterium of holomorphy for some type formal power series This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions

Homoclinic tangencies and hyperbolicity for surface diffeomorphisms

Abstract: We prove here that in the complement of the closure of the hyperbolic surface diffeomorphisms, the ones exhibiting a homoclinic tangency are C^1 dense. This represents a step towards the global understanding of dynamics of surface diffeomorphisms.

Expansiveness of algebraic actions on connected groups

Abstract: We consider endomorphism actions of arbitrary discrete semigroups on a connected metrizable topological group G. We give necessary and sufficient conditions for expansiveness of such actions when G is a Lie group or a compact finite-dimensional group.

Entropy and mixing for amenable group actions

Abstract: For \Gamma a countable amenable group consider those actions of \Gamma as measure-preserving transformations of a standard probability space, written as {T_\gamma}_{\gamma \in \Gamma} acting on (X,{\cal F}, \mu). We say {T_\gamma}_{\gamma\in\Gamma} has completely positive entropy (or simply cpe for short) if for any finite and nontrivial partition P of X the entropy h(T,P) is not zero. Our goal is to demonstrate what is well known for actions of \Bbb Z and even \Bbb Z^d, that actions of completely positive entropy have very strong mixing properties. Let S_i be a list of finite subsets of \Gamma. We say the S_i spread if any particular \gamma eq id belongs to at most finitely many of the sets S_i S_i^{-1}. Theorem 0.1. For {T_\gamma}_{\gamma \in \Gamma} an action of \Gamma of completely positive entropy and P any finite partition, for any sequence of finite sets S_i\subseteq \Gamma which spread we have \frac 1{\# S_i} h(\spans{S_i}{P}){\mathop{\to}_i} h(P). The proof uses orbit equivalence theory in an essential way and represents the first significant application of these methods to classical entropy and mixing.

On the algebraic invariant curves of plane polynomial differential systems

Abstract: We consider a plane polynomial vector field $P(x,y)dx+Q(x,y)dy$ of degree $m>1$. To each algebraic invariant curve of such a field we associate a compact Riemann surface with the meromorphic differential $\omega=dx/P=dy/Q$. The asymptotic estimate of the degree of an arbitrary algebraic invariant curve is found. In the smooth case this estimate was already found by D. Cerveau and A. Lins Neto [Ann. Inst. Fourier Grenoble 41, 883-903] in a different way.

Basic Dynamical Systems Control of Aeroengine Flow

Abstract: The notions of basic controllability and basic control are defined using dynamical systems theory of partial differential equations. A quadratic optimal control of the linearized viscous Moore-Greitzer equation is presented and it is confirmed that stall is uncontrollable in this model. A basic control is constructed for the nonlinear viscous Moore-Greitzer equation which can control both surge and stall. Numerical simulations of the basic control are presented.

State transitions as morphisms for complete lattices

Abstract: We enlarge the hom-sets of categories of complete lattices by introducing `state transitions' as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps ($Parset$).