Dynamical Systems

AG-2026.04-1423

math.DS

Numerical Investigations of Stable Dynamics in the Presence of Ghosts

Jax Wysong, Samara Overvaag, Hyun Lim, Jung-Han Kimn

We explore the nonlinear dynamics of classical field theories containing ghost degrees of freedom, focusing on two coupled scalar fields with opposite kinetic terms in (1+1) and (2+1) dimensional Minkowski spacetime. Using a spacetime finite element formulation, we perform a systematic numerical study across a broad class of initial data. We find that ghost-normal systems can exhibit long-lived, dynamically bounded evolution over extended time intervals, with stability strongly controlled by spectral content and amplitude. Ultraviolet-dominated and small-amplitude configurations remain stable significantly longer than infrared-dominated or large-amplitude data, indicating that instability is mediated by nonlinear spectral energy transfer rather than instantaneous runaway. Nonlinear self-interactions play a dual role: while they can accelerate energy exchange between sectors, certain potentials, including a lifted $φ^6$ interaction supporting oscillon-like structures, generate transient metastable regimes that partially suppress ghost-induced growth. Our results demonstrate that the dynamical consequences of ghost modes in classical field theory depend sensitively on dispersion, nonlinearity, and phase structure, revealing a richer metastability landscape than commonly assumed.

AG-2026.04-309

math.DS

Reparametrizing the relativistic Kepler equation: a bridge to Levi-Civita-type models

Alberto Boscaggin, Walter Dambrosio

We establish a link between different relativistic variants of the Kepler problem. In particular, we show that solutions of the special relativistic model with fixed energy can be reparameterized as solutions of a generalized Kepler equation with an additional $1/r^2$ term in the gravitational potential. This yields a dynamics of the same type as the Levi-Civita correction, up to different coefficients.

AG-2026.02-342

math.DS

Dynamical Invariants from Asymptotic Composants

Franz Gähler

Asymptotic composants and their incidence relations are powerful invariants of 1-dimensional inflation tilings spaces, which can distinguish many MLD classes of tilings. In particular, and unlike most other invariants, they can often provide obstructions to a tiling space being MLD to its reflection. We present a simple algorithm to determine these asymptotic composants for primitive inflation tiling spaces in one dimension, and illustrate how they can be used to tell different MLD classes of tilings apart. In an Appendix, we then show that the structure of asymptotic composants, together with the orbit separation dimension (OSD), can distinguish all MLD classes of inflations tilings with pure-point spectrum for a bunch of small inflation factors, which illustrates the power of these invariants.

AG-2025.11-633

math.DS

Dynamics of spinning test bodies in the Schwarzschild space-time: reduction and circular orbits

Ivan Bizyaev

This paper investigates the motion of a rotating test body in the Schwarzschild space-time. After reduction, this problem reduces to an analysis of a three-degree-of-freedom. Hamiltonian system whose desired trajectories lie on the invariant manifold described by the Tulczyjew condition. An analysis is made of the fixed points of this system which describe the motion of the test body in a circle. New circular orbits are found for which the orbital angular momentum is not parallel to the angular momentum of the test body. Using a Poincare map, bifurcations of periodic solutions are analyzed.

AG-2025.03-491

math.DS

The 18-cycle in Bianchi $VI_{-1/9}^{^{*}}$: Combined Linear Local Passage and Numerical Simulation

Johannes Buchner

In this paper, we find an example for a periodic heteroclinic chain in Bianchi $VI_{-1/9}^{^{*}}$ that allows Takens Linearization at all base points. It turns out to be a "18-cycle'', i.e. involving a heteroclinic chain of 18 different base points at the Kasner circle. We then show that the combined cinear local passage at the 18-cycle is a contraction. This qualifies the 18-cycle as a candidate for proving the first rigorous convergence theorem in Bianchi $VI_{-1/9}^{^{*}}$. For the numerical simulation of solutions that follow such heteroclinic cycles, we use a variable-step, variable-order (VSVO) Adams-Bashforth-Moulton PECE solver in Matlab. We conclude with a discussion on how to proceed further in studying Bianchi cosmologies, and also discuss directions for future research in inhomogeneous (PDE-) cosmological models. This puts our results in a broader perspective. The appendix contains symbolic and computations done by Mathematica for examples discussed throughout the text.

AG-2025.01-579

math.DS

Trajectories of light beams in a Kerr metric: the influence of the rotation of an observer on the shadow of a black hole

Ivan Bizyaev

This paper investigates the trajectories of light beams in a Kerr metric, which describes the gravitational field in the neighborhood of a rotating black hole. After reduction by cyclic coordinates, this problem reduces to analysis of a Hamiltonian system with two degrees of freedom. A bifurcation diagram is constructed and a classification is made of the types of trajectories of the system according to the values of first integrals. Relations describing the boundary of the shadow of the black hole are obtained for a stationary observer who rotates with an arbitrary angular velocity about the axis of rotation of the black hole.

AG-2024.11-362

math.DS

Classification of the trajectories of uncharged particles in the Schwarzschild-Melvin metric

Ivan Bizyaev

This paper investigates the trajectories of neutral particles in the Schwarzschild-Melvin spacetime. After reduction by cyclic coordinates this problem reduces to investigating a two-degree-of-freedom Hamiltonian system that has no additional integral. A classification of regions of possible motion of a particle is performed according to the values of the momentum and energy integrals. Bifurcations of periodic solutions of the reduced system are analyzed using a Poincare map.

AG-2024.07-1854

math.DS

Tensor network approximation of Koopman operators

Dimitrios Giannakis, Mohammad Javad Latifi Jebelli, Michael Montgomery, Philipp Pfeffer, Jörg Schumacher, Joanna Slawinska

We propose a tensor network framework for approximating the evolution of observables of measure-preserving ergodic systems. Our approach is based on a spectrally-convergent approximation of the skew-adjoint Koopman generator by a diagonalizable, skew-adjoint operator $W_τ$ that acts on a reproducing kernel Hilbert space $\mathcal H_τ$ with coalgebra structure and Banach algebra structure under the pointwise product of functions. Leveraging this structure, we lift the unitary evolution operators $e^{t W_τ}$ (which can be thought of as regularized Koopman operators) to a unitary evolution group on the Fock space $F(\mathcal H_τ)$ generated by $\mathcal H_τ$ that acts multiplicatively with respect to the tensor product. Our scheme also employs a representation of classical observables ($L^\infty$ functions of the state) by quantum observables (self-adjoint operators) acting on the Fock space, and a representation of probability densities in $L^1$ by quantum states. Combining these constructions leads to an approximation of the Koopman evolution of observables that is representable as evaluation of a tree tensor network built on a tensor product subspace $\mathcal H_τ^{\otimes n} \subset F(\mathcal H_τ)$ of arbitrarily high grading $n \in \mathbb N$. A key feature of this quantum-inspired approximation is that it captures information from a tensor product space of dimension $(2d+1)^n$, generated from a collection of $2d + 1$ eigenfunctions of $W_τ$. Furthermore, the approximation is positivity preserving. The paper contains a theoretical convergence analysis of the method and numerical applications to two dynamical systems on the 2-torus: an ergodic torus rotation as an example with pure point Koopman spectrum and a Stepanoff flow as an example with topological weak mixing.

AG-2024.06-330

math.DS

The topological pressure of trapped sets in Kerr-(de Sitter) spacetimes

Qiuye Jia

In this paper we prove that the topological pressure of dynamic systems with normally hyperbolic trapping is negative. In particular, this applies to the null geodesic flow in Kerr and Kerr-de Sitter spacetimes This builds connection between results for trapped sets with low regularity in hyperbolic dynamic systems conditioning on negativity of the topological pressure and unconditional results in the setting of normally hyperbolic trapping.

AG-2024.03-2077

math.DS

Incorporating Memory into Propagation of 1-Electron Reduced Density Matrices

Harish S. Bhat, Hardeep Bassi, Karnamohit Ranka, Christine M. Isborn

For any linear system with unreduced dynamics governed by invertible propagators, we derive a closed, time-delayed, linear system for a reduced-dimensional quantity of interest. This method does not target dimensionality reduction: rather, this method helps shed light on the memory-dependence of $1$-electron reduced density matrices in time-dependent configuration interaction (TDCI), a scheme to solve for the correlated dynamics of electrons in molecules. Though time-dependent density functional theory has established that the $1$-electron reduced density possesses memory-dependence, the precise nature of this memory-dependence has not been understood. We derive a symmetry/constraint-preserving method to propagate reduced TDCI electron density matrices. In numerical tests on two model systems ($\text{H}_2$ and $\text{HeH}^+$), we show that with sufficiently large time-delay (or memory-dependence), our method propagates reduced TDCI density matrices with high quantitative accuracy. We study the dependence of our results on time step and basis set. To implement our method, we derive the $4$-index tensor that relates reduced and full TDCI density matrices. Our derivation applies to any TDCI system, regardless of basis set, number of electrons, or choice of Slater determinants in the wave function.

AG-2024.02-1819

math.DS

Lyapunov Densities For Markov Processes: An Application To Quantum Systems With Non-Demolition Measurements

Özkan Karabacak, Horia Cornean, Rafael Wisniewski

Stochastic convergence of discrete time Markov processes has been analysed based on a dual Lyapunov approach. Using some existing results on ergodic theory of Markov processes, it has been shown that existence of a properly subinvariant function (counterpart of the Lyapunov density in deterministic systems) implies sweeping of a Markov process out of the sets where this function is integrable. Such a function can be used as a certificate of convergence in probability of a stochastic system. We apply this technique to Markov processes induced by a quantum system with non-demolition measurement and propose dual Lyapunov certificates to certify sweeping.

AG-2015.06-1456

math.DS

Recurrence and non-ergodicity in generalized wind-tree models

Krzysztof Frączek, Pascal Hubert

In this paper, we consider generalized wind-tree models and $\Z^d$-covers over compact translation surfaces. Under suitable hypothesis, we prove recurrence of the linear flow in a generic direction and non-ergodicity of Lebesgue measure.

AG-2015.06-777

math.DS

Reduction of Interaction Delays in Networks

Leonhard Lücken, Jan Philipp Pade, Kolja Knauer, Serhiy Yanchuk

Delayed interactions are a common property of coupled natural systems and therefore arise in a variety of different applications. For instance, signals in neural or laser networks propagate at finite speed giving rise to delayed connections. Such systems are often modeled by delay differential equations with discrete delays. In realistic situations, these delays are not identical on different connections. We show that by a componentwise timeshift transformation it is often possible to reduce the number of different delays and simplify the models without loss of information. We identify dynamic invariants of this transformation, determine its capabilities to reduce the number of delays and interpret these findings in terms of the topology of the underlying graph. In particular, we show that networks with identical sums of delay times along the fundamental semicycles are dynamically equivalent and we provide a normal form for these systems. We illustrate the theory using a network motif of coupled Mackey-Glass systems with 8 different time delays, which can be reduced to an equivalent motif with three delays.

AG-2015.06-667

math.DS

The fractal theory of the Saturn Ring

Mikhail Zelikin

The true reason for partition of the Saturn ring as well as rings of other planets into great many of sub-rings is found. This reason is the theorem of Zelikin-Lokutsievskiy-Hildebrand about fractal structure of solutions to generic piece-wise smooth Hamiltonian systems. The instability of two-dimensional model of rings with continues surface density of particles distribution is proved both for Newtonian and for Boltzmann equations. We do not claim that we have solved the problem of stability of Saturn ring. We rather put questions and suggest some ideas and means for researches.

AG-2015.06-099

math.DS

Duality between Eigenfunctions and Eigendistributions of Ruelle and Koopman operators via an integral kernel

Paolo Giulietti, Artur O. Lopes, Vincent Pit

We consider the classical dynamics given by a one sided shift on the Bernoulli space of $d$ symbols. We study, on the space of Hölder functions, the eigendistributions of the Ruelle operator with a given potential. Our main theorem shows that for any isolated eigenvalue, the eigendistributions of such Ruelle operator are dual to eigenvectors of a Ruelle operator with a conjugate potential. We also show that the eigenfunctions and eigendistributions of the Koopman operator satisfy a similar relationship. To show such results we employ an integral kernel technique, where the kernel used is the involution kernel.

AG-2015.05-1507

math.DS

Leaders do not look back, or do they?

Alexander N. Gorban, Nick Jarman, Erik Steur, Cees van Leeuwen, Ivan Tyukin

We study the effect of adding to a directed chain of interconnected systems a directed feedback from the last element in the chain to the first. The problem is closely related to the fundamental question of how a change in network topology may influence the behavior of coupled systems. We begin the analysis by investigating a simple linear system. The matrix that specifies the system dynamics is the transpose of the network Laplacian matrix, which codes the connectivity of the network. Our analysis shows that for any nonzero complex eigenvalue $λ$ of this matrix, the following inequality holds: $\frac{|\Im λ|}{|\Re λ|} \leq \cot\fracπ{n}$. This bound is sharp, as it becomes an equality for an eigenvalue of a simple directed cycle with uniform interaction weights. The latter has the slowest decay of oscillations among all other network configurations with the same number of states. The result is generalized to directed rings and chains of identical nonlinear oscillators. For directed rings, a lower bound $σ_c$ for the connection strengths that guarantees asymptotic synchronization is found to follow a similar pattern: $σ_c=\frac{1}{1-\cos\left( 2π/n\right)} $. Numerical analysis revealed that, depending on the network size $n$, multiple dynamic regimes co-exist in the state space of the system. In addition to the fully synchronous state a rotating wave solution occurs. The effect is observed in networks exceeding a certain critical size. The emergence of a rotating wave highlights the importance of long chains and loops in networks of oscillators: the larger the size of chains and loops, the more sensitive the network dynamics becomes to removal or addition of a single connection.

AG-2015.05-1561

math.DS

A KAM theorem for generalized Hamiltonian systems without action-angle variables

Yon Hui Jo, Wu Hwan Jong

We proved a KAM theorem on existence of invariant tori in generalized Hamiltonian systems without action-angle variables. It is a generalization of the result of de la Llave et al. [Llave, 2005] that deals with canonical Hamiltonian system.

AG-2015.05-882

math.DS

Statistical Mechanics of Surjective Cellular Automata

Jarkko Kari, Siamak Taati

Reversible cellular automata are seen as microscopic physical models, and their states of macroscopic equilibrium are described using invariant probability measures. We establish a connection between the invariance of Gibbs measures and the conservation of additive quantities in surjective cellular automata. Namely, we show that the simplex of shift-invariant Gibbs measures associated to a Hamiltonian is invariant under a surjective cellular automaton if and only if the cellular automaton conserves the Hamiltonian. A special case is the (well-known) invariance of the uniform Bernoulli measure under surjective cellular automata, which corresponds to the conservation of the trivial Hamiltonian. As an application, we obtain results indicating the lack of (non-trivial) Gibbs or Markov invariant measures for "sufficiently chaotic" cellular automata. We discuss the relevance of the randomization property of algebraic cellular automata to the problem of approach to macroscopic equilibrium, and pose several open questions. As an aside, a shift-invariant pre-image of a Gibbs measure under a pre-injective factor map between shifts of finite type turns out to be always a Gibbs measure. We provide a sufficient condition under which the image of a Gibbs measure under a pre-injective factor map is not a Gibbs measure. We point out a potential application of pre-injective factor maps as a tool in the study of phase transitions in statistical mechanical models.

AG-2015.05-332

math.DS

Application of optimal homotopy asymptotic method to nonlinear Bingham fluid dampers

Vasile Marinca, Remus-Daniel Ene, Liviu Bereteu

Magnetorheological fluids (MR) are stable suspensions of magnetizable microparticles, characterized by the property to change the rheological characteristics when subjected to the action of magnetic field. Together with another class of materials that change their rheological characteristics in the presence of an electric field, called electrorheological materials are known in the literature as the smart materials or controlled materials. In the absence of a magnetic field the particles in MR fluid are dispersed in the base fluid and its flow through the apertures is behaves as a Newtonian fluid having a constant shear stress. When the magnetic field is applying a MR fluid behavior change, and behaves like a Bingham fluid with a variable shear stress. Dynamic response time is an important characteristic for determining the performance of MR dampers in practical civil engineering applications. The purpose of this paper is to show how to use the Optimal Homotopy Asymptotic Method (OHAM) to solve the nonlinear differential equation of a modified Bingham model with non-viscous exponential damping. Our procedure does not depend upon small parameters and provides us with a convenient way to optimally control the convergence of the approximate solutions. OHAM is very efficient in practice ensuring a very rapid convergence of the solution after only one iteration and with a small number of steps.

AG-2015.04-1155

math.DS

On Bertelson-Gromov Dynamical Morse Entropy

Artur O. Lopes, Marcos Sebastiani

In this mainly expository paper we present a detailed proof of several results contained in a paper by M. Bertelson and M. Gromov on Dynamical Morse Entropy. This is an introduction to the ideas presented in that work. Suppose $M$ is compact oriented connected $C^\infty$ manifold of finite dimension. Assume that $f_0 :M \to [0,1]$ is a surjective Morse function. For a given natural number $n$, consider the set $M^n$ and for $x=(x_0,x_1,...,x_{n-1}) \in M^n$, denote $ f_n (x) = \frac{1}{n} \, \sum_{j=0}^{n-1} f_0 (x_j).$ The Dynamical Morse Entropy describes for a fixed interval $I\subset [0,1]$ the asymptotic growth of the number of critical points of $f_n$ in $I$, when $n \to \infty$. The part related to the Betti number entropy does not requires the differentiable structure. One can describe generic properties of potentials defined in the $XY$ model of Statistical Mechanics with this machinery.

AG-2015.04-1073

math.DS

Integrable homogeneous potentials of degree $-1$ in the plane with small eigenvalues

Thierry Combot

We give a complete classification of meromorphically integrable homogeneous potentials $V$ of degree $-1$ which are real analytic on $\mathbb{R}^2\setminus \{0\}$. In the more general case when $V$ is only meromorphic on an open set of an algebraic variety, we give a classification of all integrable potentials having a Darboux point $c$ with $V'(c)=-c,\; c_1^2+c_2^2\neq 0$ and $\hbox{Sp}(\nabla^2 V(c)) \subset\{-1,0,2\}$. We eventually present a conjecture for the other eigenvalues and the degenerate Darboux point case $V'(c)=0$.

AG-2015.03-2159

math.DS

Central Configurations in the Trapezoidal Four-Body Problems

Muhammad Shoaib

In this paper we discuss the central configurations of the Trapezoidal four-body Problem. We consider four point masses on the vertices of an isosceles trapezoid with two equal masses $m_1=m_4$ at positions $(\mp 0.5, r_B)$ and $m_2=m_3$ at positions $(\mp α/2, r_A)$. We derive, both analytically and numerically, regions of central configurations in the phase space where it is possible to choose positive masses. It is also shown that in the compliment of these regions no central configurations are possible.

AG-2015.03-1333

math.DS

Oscillation patterns in tori of modified FHN neurons

Adrian C. Murza

We analyze the dynamics of a network of electrically coupled, modified FitzHugh-Nagumo (FHN) oscillators. The network building-block architecture is a bidimensional squared array shaped as a torus, with unidirectional nearest neighbor coupling in both directions. Linear approximation about the origin of a single torus, reveals that the array is able to oscillate via a Hopf bifurcation, controlled by the interneuronal coupling constants. Group theoretic analysis of the dynamics of one torus leads to discrete rotating waves moving diagonally in the squared array under the influence of the direct product group $\mathbb{Z}_N\times\mathbb{Z}_N\times\mathbb{Z}_2\times\mathbb{S}^1.$ Then, we studied the existence multifrequency patterns of oscillations, in networks formed by two coupled tori. We showed that when acting on the traveling waves, this group leaves them unchanged, while when it acts on the in-phase oscillations, they are shifted in time by $ϕ.$ We therefore proved the possibility of a pattern of oscillations in which one torus produces traveling waves of constant phase shift, while the second torus shows synchronous in-phase oscillations, at $N-$ times the frequency shown by the traveling waves.

AG-2015.03-1070

math.DS

Robust exponential decay of correlations for singular-flows

Vitor Araujo, Paulo Varandas

We construct open sets of Ck (k bigger or equal to 2) vector fields with singularities that have robust exponential decay of correlations with respect to the unique physical measure. In particular we prove that the geometric Lorenz attractor has exponential decay of correlations with respect to the unique physical measure.

AG-2015.02-1608

math.DS

Dynamical regimes in non-ergodic random Boolean networks

Marco Villani, Davide Campioli, Chiara Damiani, Andrea Roli, Alessandro Filisetti, Roberto Serra

Random boolean networks are a model of genetic regulatory networks that has proven able to describe experimental data in biology. They not only reproduce important phenomena in cell dynamics, but they are also extremely interesting from a theoretical viewpoint, since it is possible to tune their asymptotic behaviour from order to disorder. The usual approach characterizes network families as a whole, either by means of static or dynamic measures. We show here that a more detailed study, based on the properties of system's attractors, can provide information that makes it possible to predict with higher precision important properties, such as system's response to gene knock-out. A new set of principled measures is introduced, that explains some puzzling behaviours of these networks. These results are not limited to random Boolean network models, but they are general and hold for any discrete model exhibiting similar dynamical characteristics.

AG-2015.02-1400

math.DS

Synchronization of Heterogeneous Kuramoto Oscillators with Graphs of Diameter Two

Andrey Gushchin, Enrique Mallada, Ao Tang

In this article we study synchronization of Kuramoto oscillators with heterogeneous frequencies, and where underlying topology is a graph of diameter two. When the coupling strengths between every two connected oscillators are the same, we find an analytic condition that guarantees an existence of a Positively Invariant Set (PIS) and demonstrate that existence of a PIS suffices for frequency synchronization. For graphs of diameter two, this synchronization condition is significantly better than existing general conditions for an arbitrary topology. If the coupling strengths can be different for different pairs of connected oscillators, we formulate an optimization problem that finds sufficient for synchronization coupling strengths such that their sum is minimal.

AG-2015.02-2609

math.DS

Nonlinear Dynamics of the Rock-Paper-Scissors Game with Mutations

Danielle F. P. Toupo, Steven H. Strogatz

We analyze the replicator-mutator equations for the Rock-Paper-Scissors game. Various graph-theoretic patterns of mutation are considered, ranging from a single unidirectional mutation pathway between two of the species, to global bidirectional mutation among all the species. Our main result is that the coexistence state, in which all three species exist in equilibrium, can be destabilized by arbitrarily small mutation rates. After it loses stability, the coexistence state gives birth to a stable limit cycle solution created in a supercritical Hopf bifurcation. This attracting periodic solution exists for all the mutation patterns considered, and persists arbitrarily close to the limit of zero mutation rate and a zero-sum game.

AG-2015.02-374

math.DS

Quantization causes waves:Smooth finitely computable functions are affine

Vladimir Anashin

Given an automaton (a letter-to-letter transducer, a dynamical 1-Lipschitz system on the space $\mathbb Z_p$ of $p$-adic integers) $\mathfrak A$ whose input and output alphabets are $\mathbb F_p=\{0,1,\ldots,p-1\}$, one visualizes word transformations performed by $\mathfrak A$ by a point set $\mathbf P(\mathfrak A)$ in real plane $\mathbb R^2$. For a finite-state automaton $\mathfrak A$, it is shown that once some points of $\mathbf P(\mathfrak A)$ constitute a smooth (of a class $C^2$) curve in $\mathbb R^2$, the curve is a segment of a straight line with a rational slope; and there are only finitely many straight lines whose segments are in $\mathbf{P}(\mathfrak A)$. Moreover, when identifying $\mathbf P(\mathfrak A)$ with a subset of a 2-dimensional torus $\mathbb T^2\subset\mathbb R^3$ (under a natural mapping of the real unit square $[0,1]^2$ onto $\mathbb T^2$) the smooth curves from $\mathbf P(\mathfrak A)$ constitute a collection of torus windings. In cylindrical coordinates either of the windings can be ascribed to a complex-valued function $ψ(x)=e^{i(Ax-2πB(t))}$ $(x\in\mathbb R)$ for suitable rational $A,B(t)$. Since $ψ(x)$ is a standard expression for a matter wave in quantum theory (where $B(t)=tB(t_0)$), and since transducers can be regarded as a mathematical formalization for causal discrete systems, the paper might serve as a mathematical reasoning why wave phenomena are inherent in quantum systems: This is because of causality principle and the discreteness of matter.

AG-2015.02-048

math.DS

Qualitative and analytical results of the bifurcation thresholds to halo orbits

Sara Bucciarelli, Marta Ceccaroni, Alessandra Celletti, Giuseppe Pucacco

We study the dynamics in the neighborhood of the collinear Lagrangian points in the spatial, circular, restricted three--body problem. We consider the case in which one of the primaries is a radiating body and the other is oblate (although the latter is a minor effect). Beside having an intrinsic mathematical interest, this model is particularly suited for the description of a mission of a spacecraft (e.g., a solar sail) to an asteroid. The aim of our study is to investigate the occurrence of bifurcations to halo orbits, which take place as the energy level is varied. The estimate of the bifurcation thresholds is performed by analytical and numerical methods: we find a remarkable agreement between the two approaches. As a side result, we also evaluate the influence of the different parameters, most notably the solar radiation pressure coefficient, on the dynamical behavior of the model. To perform the analytical and numerical computations, we start by implementing a center manifold reduction. Next, we estimate the bifurcation values using qualitative techniques (e.g. Poincaré surfaces, frequency analysis, FLIs). Concerning the analytical approach, following \cite{CPS} we implement a resonant normal form, we transform to suitable action-angle variables and we introduce a detuning parameter measuring the displacement from the synchronous resonance. The bifurcation thresholds are then determined as series expansions in the detuning. Three concrete examples are considered and we find in all cases a very good agreement between the analytical and numerical results.

AG-2015.01-1618

math.DS

Possible Implications of a Vortex Gas Model and Self-Similarity for Tornadogenesis and Maintenance

Douglas P. Dokken, Kurt Scholz, Mikhail M. Shvartsman, Pavel Bělík, Corey Potvin, Brittany Dahl, Amy McGovern

We describe tornadogenesis and maintenance using the 3-dimensional vortex gas model presented in Chorin (1994) and developed further in Flandoli and Gubinelli (2002). We suggest that high-energy, super-critical vortices in the sense of Benjamin (1962), that have been studied by Fiedler and Rotunno (1986), have negative temperature in the sense of Onsager (1949) play an important role in the model. We speculate that the formation of high-temperature vortices is related to the helicity inherited as they form or tilt into the vertical and their interaction with the surface and boundary layer. We also exploit the notion of self-similarity to justify power laws derived from observations of weak and strong tornadoes presented in Cai (2005); Wurman and Gill (2000); Wurman and Alexander (2005). Analysis of a Bryan Cloud Model (CM1) simulation of a tornadic supercell reveals scaling consistent with the observational studies.

AG-2014.12-1065

math.DS

Periodic orbits in the hyperchaotic Chen system

Susanna Maza

In this work, we show that a zero--Hopf bifurcation take place in the Hyperchaotic Chen system as parameters vary. Using averaging theory, we prove the existence of two periodic orbits bifurcating from the zero--Hopf equilibria located at the origin of the Hyperchaotic Chen system.

AG-2014.12-439

math.DS

The geometry of dented pentagram maps

Boris Khesin, Fedor Soloviev

We propose a new family of natural generalizations of the pentagram map from 2D to higher dimensions and prove their integrability on generic twisted and closed polygons. In dimension $d$ there are $d-1$ such generalizations called dented pentagram maps, and we describe their geometry, continuous limit, and Lax representations with a spectral parameter. We prove algebraic-geometric integrability of the dented pentagram maps in the 3D case and compare the dimensions of invariant tori for the dented maps with those for the higher pentagram maps constructed with the help of short diagonal hyperplanes. When restricted to corrugated polygons, the dented pentagram maps coincide between themselves and with the corresponding corrugated pentagram map. Finally, we prove integrability for a variety of pentagram maps for generic and partially corrugated polygons in higher dimensions.

AG-2014.11-1851

math.DS

A characterization of $p$-automatic sequences as columns of linear cellular automata

Eric Rowland, Reem Yassawi

We show that a sequence over a finite field $\mathbb F_q$ of characteristic $p$ is $p$-automatic if and only if it occurs as a column of the spacetime diagram, with eventually periodic initial conditions, of a linear cellular automaton with memory over $\mathbb F_q$. As a consequence, the subshift generated by a length-$p$ substitution can be realized as a topological factor of a linear cellular automaton.

AG-2014.11-1528

math.DS

Canonical coordinates for the planetary problem

Gabriella Pinzari

In 1963, V. I. Arnold stated his celebrated Thorem on the Stability of Planetary Motions. The general proof of his wonderful statement (that he provided completely only for the particular case of three bodies constrained in a plane) turned out to be more difficult than expected and was next completed by J. Laskar, P. Robutel, M. Herman, J. Féjoz, L. Chierchia and the author. We refer the reader to the technical papers \cite{arnold63, laskarR95, rob95, maligeRL02, herman09, fej04, pinzari-th09, ChierchiaPi11b} for detailed information; to \cite{fejoz13, chierchia13, chierchiaPi14}, or the introduction of \cite{pinzari13} for reviews. The complete understanding of Arnold's Theorem relied on an analytic part and a geometric one, both highly non trivial. Of such two aspects, the analytic part was basically settled out since \cite{arnold63} (notwithstanding refinements next given in \cite{fejoz04, chierchiaPi10}). The geometrical aspects were instead mostly unexplored after his 1963's paper and have been only recently clarified \cite{pinzari-th09, chierchiaPi11b}. In fact, switching from the three--body case to the many--body one needed to develop new constructions, because of a dramatic degeneracy due to its invariance by rotations, which, if not suitably treated, prevents the application of Arnold's 1963's strategy. The purpose of this note is to provide a historical survey of this latter part. We shall describe previous classical approaches going back to Delaunay, Poincaré, Jacobi and point out more recent progresses, based on the papers \cite{pinzari-th09, chierchiaPi11a, chierchiaPi11b, chierchiaPi11c, pinzari13, pinzari14}. In the final part of the paper we discuss a set of coordinates recently found by the author which reduces completely its integrals, puts the unperturbed part in Keplerian form, preserves the symmetry by reflections and is regular for zero inclinations.

AG-2014.11-1261

math.DS

Numerical analysis of transient orbits by the pullback method for covariant Lyapunov vector

Takayuki Yamaguchi, Makoto Iima

In order to analyze structure of tangent spaces of a transient orbit, we propose a new algorithm which pulls back vectors in tangent spaces along the orbit by using a calculation method of covariant Lyapunov vectors. As an example, the calculation algorithm has been applied to a transient orbit converging to an equilibrium in a three-dimensional ordinary differential equations. We obtain vectors in tangent spaces that converge to eigenvectors of the linearized system at the equilibrium. Further, we demonstrate that an appropriate perturbation calculated by the vectors can lead an orbit going in the direction of an eigenvector of the linearized system at the equilibrium.

AG-2014.11-987

math.DS

Equilibrium states and invariant measures for random dynamical systems

Ivan Werner

Random dynamical systems with countably many maps which admit countable Markov partitions on complete metric spaces such that the resulting Markov systems are uniformly continuous and contractive are considered. A non-degeneracy and a consistency conditions for such systems, which admit some proper Markov partitions of connected spaces, are introduced, and further sufficient conditions for them are provided. It is shown that every uniformly continuous Markov system associated with a continuous random dynamical system is consistent if it has a dominating Markov chain. A necessary and sufficient condition for the existence of an invariant Borel probability measure for such a non-degenerate system with a dominating Markov chain and a finite (16) is given. The condition is also sufficient if the non-degeneracy is weakened with the consistency condition. A further sufficient condition for the existence of an invariant measure for such a consistent system which involves only the properties of the dominating Markov chain is provided. In particular, it implies that every such a consistent system with a finite Markov partition and a finite (16) has an invariant Borel probability measure. A bijective map between these measures and equilibrium states associated with such a system is established in the non-degenerate case. Some properties of the map and the measures are given.

AG-2014.11-2590

math.DS

From random Poincaré maps to stochastic mixed-mode-oscillation patterns

Nils Berglund, Barbara Gentz, Christian Kuehn

We quantify the effect of Gaussian white noise on fast--slow dynamical systems with one fast and two slow variables, which display mixed-mode oscillations owing to the presence of a folded-node singularity. The stochastic system can be described by a continuous-space, discrete-time Markov chain, recording the returns of sample paths to a Poincaré section. We provide estimates on the kernel of this Markov chain, depending on the system parameters and the noise intensity. These results yield predictions on the observed random mixed-mode oscillation patterns. Our analysis shows that there is an intricate interplay between the number of small-amplitude oscillations and the global return mechanism. In combination with a local saturation phenomenon near the folded node, this interplay can modify the number of small-amplitude oscillations after a large-amplitude oscillation. Finally, sufficient conditions are derived which determine when the noise increases the number of small-amplitude oscillations and when it decreases this number.

AG-2014.11-173

math.DS

Particle Motion in Monopoles and Geodesics on Cones

Maxence Mayrand

The equations of motion of a charged particle in the field of Yang's $\mathrm{SU}(2)$ monopole in 5-dimensional Euclidean space are derived by applying the Kaluza-Klein formalism to the principal bundle $\mathbb{R}^8\setminus\{0\}\to\mathbb{R}^5\setminus\{0\}$ obtained by radially extending the Hopf fibration $S^7\to S^4$, and solved by elementary methods. The main result is that for every particle trajectory $\mathbf{r}:I\to\mathbb{R}^5\setminus\{0\}$, there is a 4-dimensional cone with vertex at the origin on which $\mathbf{r}$ is a geodesic. We give an explicit expression of the cone for any initial conditions.

AG-2014.11-001

math.DS

The Dual Potential, the involution kernel and Transport in Ergodic Optimization

Artur O. Lopes, Elismar R. Oliveira, Philippe Thieullen

Consider the shift $σ$ acting on the Bernoulli space $Σ={1,2,...,n}^\mathbb{N}$. We denote $\hatΣ= {1,2,...,n}^\mathbb{Z}$. We analyze several properties of the maximizing probability $μ_{\infty,A}$ of a Holder potential $A: Σ\to \mathbb{R}$. Associated to $A(x)$, via the involution kernel, $W: \hatΣ \to \mathbb{R}$, it is known that can we get the dual potential $A^*(y)$, where $(x,y)\in \hatΣ$. Consider $μ_{\infty, A^*}$ a maximizing probability for $A^*$. We would like to consider the transport problem from $μ_{\infty,A}$ to $μ_{\infty,A^*}$. In this case, it is natural to consider the cost function $c(x,y) = I(x) - W(x,y) +γ$, where $I$ is the deviation function. The pair of functions for the Kantorovich Transport dual Problem are $(-V,-V^*$), where we denote the two calibrated sub-actions by $V$ and $V^*$, respectively, for $A$ and $A^*$ for $μ_{\infty,A}$. We analyze the graph property for the optimal plan $\hatμ$.

AG-2014.11-069

math.DS

On the use of the theory of dynamical systems for transient problems

Ugo Galvanetto, Luca Magri

This paper is a preliminary work to address the problem of dynamical systems with parameters varying in time. An idea to predict their behaviour is proposed. These systems are called \emph{transient systems}, and are distinguished from \emph{steady systems}, in which parameters are constant. In particular, in steady systems the excitation is either constant (e.g. nought) or periodic with amplitude, frequency and phase angle which do not vary in time. We apply our method to systems which are subjected to a transient excitation, which is neither constant nor periodic. The effect of switching-off and full-transient forces is investigated. The former can be representative of switching-off procedures in machines; the latter can represent earthquake vibrations, wind gusts, etc. acting on a mechanical system. This class of transient systems can be seen as the evolution of an ordinary steady system into another ordinary steady system, for both of which the classical theory of dynamical systems holds. The evolution from a steady system to the other is driven by a transient force, which is regarded as a map between the two steady systems.

AG-2014.10-4424

math.DS

On the leading eigenvalue of transfer operators of the Farey map with real temperature

S. Ben Ammou, C. Bonanno, I. Chouari, S. Isola

We study the spectral properties of a family of generalized transfer operators associated to the Farey map. We show that when acting on a suitable space of holomorphic functions, the operators are self-adjoint and the positive dominant eigenvalue can be approximated by means of the matrix expression of the operators.

AG-2014.10-1836

math.DS

Synchronization of Heterogeneous Kuramoto Oscillators with Arbitrary Topology

Andrey Gushchin, Enrique Mallada, Ao Tang

We study synchronization of coupled Kuramoto oscillators with heterogeneous inherent frequencies and general underlying connectivity. We provide conditions on the coupling strength and the initial phases which guarantee the existence of a Positively Invariant Set (PIS) and lead to synchronization. Unlike previous works that focus only on analytical bounds, here we introduce an optimization approach to provide a computational-analytical bound that can further exploit the particular features of each individual system such as topology and frequency distribution. Examples are provided to illustrate our results as well as the improvement over previous existing bounds.

AG-2014.10-2680

math.DS

Automated detection of coherent Lagrangian vortices in two-dimensional unsteady flows

Daniel Karrasch, Florian Huhn, George Haller

Coherent boundaries of Lagrangian vortices in fluid flows have recently been identified as closed orbits of line fields associated with the Cauchy-Green strain tensor. Here we develop a fully automated procedure for the detection of such closed orbits in large-scale velocity data sets. We illustrate the power of our method on ocean surface velocities derived from satellite altimetry.

AG-2014.10-519

math.DS

Transients in the Synchronization of Oscillator Arrays

Carlos E. Cantos, J. J. P. Veerman

The purpose of this note is threefold. First we state a few conjectures that allow us to rigorously derive a theory which is asymptotic in N (the number of agents) that describes transients in large arrays of (identical) linear damped harmonic oscillators in R with completely decentralized nearest neighbor interaction. We then use the theory to establish that in a certain range of the parameters transients grow linearly in the number of agents (and faster outside that range). Finally, in the regime where this linear growth occurs we give the constant of proportionality as a function of the signal velocities (see [3]) in each of the two directions. As corollaries we show that symmetric interactions are far from optimal and that all these results independent of (reasonable) boundary conditions.

AG-2014.10-029

math.DS

Discriminantly separable polynomials and quad-equations

Vladimir Dragovic, Katarina Kukic

We classify the discriminantly separable polynomials of degree two in each of three variables, defined by a property that all the discriminants as polynomials of two variables are factorized as products of two polynomials of one variable each. Our classification is based on the study of structures of zeros of a polynomial component $P$ of a discriminant. This classification is related to the classification of pencils of conics in a delicate way. We establish a relationship between our classification and the classification of integrable quad-equations which has been suggested recently by Adler, Bobenko, and Suris.

AG-2014.09-1682

math.DS

A computational method to extract macroscopic variables and their dynamics in multiscale systems

Gary Froyland, Georg A. Gottwald, Andy Hammerlindl

This paper introduces coordinate-independent methods for analysing multiscale dynamical systems using numerical techniques based on the transfer operator and its adjoint. In particular, we present a method for testing whether an arbitrary dynamical system exhibits multiscale behaviour and for estimating the time-scale separation. For systems with such behaviour, we establish techniques for analysing the fast dynamics in isolation, extracting slow variables for the system, and accurately simulating these slow variables at a large time step. We illustrate our method with numerical examples and show how the reduced slow dynamics faithfully represents statistical features of the full dynamics which are not coordinate dependent.

AG-2014.09-1659

math.DS

Generalized Opinion Dynamics from Local Optimization Rules

Avhishek Chatterjee, Anand D. Sarwate, Sriram Vishwanath

We study generalizations of the Hegselmann-Krause (HK) model for opinion dynamics, incorporating features and parameters that are natural components of observed social systems. The first generalization is one where the strength of influence depends on the distance of the agents' opinions. Under this setup, we identify conditions under which the opinions converge in finite time, and provide a qualitative characterization of the equilibrium. We interpret the HK model opinion update rule as a quadratic cost-minimization rule. This enables a second generalization: a family of update rules which possess different equilibrium properties. Subsequently, we investigate models in which a external force can behave strategically to modulate/influence user updates. We consider cases where this external force can introduce additional agents and cases where they can modify the cost structures for other agents. We describe and analyze some strategies through which such modulation may be possible in an order-optimal manner. Our simulations demonstrate that generalized dynamics differ qualitatively and quantitatively from traditional HK dynamics.

AG-2014.09-2649

math.DS

Controlling the stability of periodic orbits of completely integrable systems

Razvan M. Tudoran

We provide a constructive method designed in order to control the stability of a given periodic orbit of a general completely integrable system. The method consists of a specific type of perturbation, such that the resulting perturbed system becomes a codimension-one dissipative dynamical system which also admits that orbit as a periodic orbit, but whose stability can be a-priori prescribed. The main results are illustrated in the case of a three dimensional dissipative perturbation of the harmonic oscillator, and respectively Euler's equations form the free rigid body dynamics.

AG-2014.09-1229

math.DS

Bifurcations of mutually coupled equations in random graphs

Eduardo Garibaldi, Tiago Pereira

We study the behavior of solutions of mutually coupled equations in heterogeneous random graphs. Heterogeneity means that some equations receive many inputs whereas most of the equations are given only with a few connections. Starting from a situation where the isolated equations are unstable, we prove that a heterogeneous interaction structure leads to the appearance of stable subspaces of solutions. Moreover, we show that, for certain classes of heterogeneous networks, increasing the strength of interaction leads to a cascade of bifurcations in which the dimension of the stable subspace of solutions increases. We explicitly determine the bifurcation scenario in terms of the graph structure.

AG-2014.09-2875

math.DS

On the Hausdorff dimension of the spectrum of Thue-Morse Hamiltonian

Qinghui Liu, Yanhui Qu

We show that the Hausdorff dimension of the spectrum of the Thue-Morse Hamiltonian has a common positive lower bound for all coupling.

AG-2014.08-1484

math.DS

Free Jump Dynamics in Continuum

Joanna Baranska, Yuri Kozitsky

The evolution is described of an infinite system of hopping point particles in $\mathbb{R}^d$. The states of the system are probability measures on the space of configurations of particles. Under the condition that the initial state $μ_0$ has correlation functions of all orders which are: (a) $k_{μ_0}^{(n)} \in L^\infty ((\mathbb{R}^d)^n)$ (essentially bounded); (b) $\|k_{μ_0}^{(n)}\|_{ L^\infty ((\mathbb{R}^d)^n)} \leq C^n$, $n\in \mathbb{N}$ (sub-Poissonian), the evolution $μ_0 \mapsto μ_t$, $t>0$, is obtained as a continuously differentiable map $k_{μ_0} \mapsto k_t$, $k_t =(k_t^{(n)})_{n\in \mathbb{N}}$, in the space of essentially bounded sub-Poissonian functions. In particular, it is proved that $k_t$ solves the corresponding evolution equation, and that for each $t>0$ it is the correlation function of a unique state $μ_t$.

AG-2014.08-2514

math.DS

Kato perturbation expansion in classical mechanics and an explicit expression for a Deprit generator

Andrey Nikolaev

This work explores the structure of Poincare-Lindstedt perturbation series in Deprit operator formalism and establishes its connection to Kato resolvent expansion. A discussion of invariant definitions for averaging and integrating perturbation operators and their canonical identities reveals a regular pattern in a Deprit generator. The pattern was explained using Kato series and the relation of perturbation operators to Laurent coefficients for the resolvent of Liouville operator. This purely canonical approach systematizes the series and leads to the explicit expression for the Deprit generator in any perturbation order: \[G = - \hat{\mathsf S}_H H_i.\] Here, $\hat{\mathsf S}_H$ is the partial pseudo-inverse of the perturbed Liouville operator. Corresponding Kato series provides a reasonably effective computational algorithm. The canonical connection of perturbed and unperturbed averaging operators allows for a description of ambiguities in the generator and transformed Hamiltonian, while Gustavson integrals turn out to be insensitive to normalization style. Non-perturbative examples are used for illustration.

AG-2014.08-1252

math.DS

Pattern Recognition in a Ring of Delayed Phase Oscillators

Jan Philipp Pade, Serhiy Yanchuk, Liang Zhao

We show that a ring of phase oscillators coupled with transmission delays can be used as a pattern recognition system. The introduced model encodes patterns as stable periodic orbits. We present a detailed analysis of the underlying dynamics. In particular, we show that the system possesses a multitude of periodic solutions, prove stability results and present a bifurcation analysis. Furthermore, we show successful recognition results using artificial patterns and speech recordings.

AG-2014.08-1026

math.DS

The Maxey-Riley Equation: Existence, Uniqueness and Regularity of Solutions

Mohammad Farazmand, George Haller

The Maxey--Riley equation describes the motion of an inertial (i.e., finite-size) spherical particle in an ambient fluid flow. The equation is a second-order, implicit integro-differential equation with a singular kernel, and with a forcing term that blows up at the initial time. Despite the widespread use of the equation in applications, the basic properties of its solutions have remained unexplored. Here we fill this gap by proving local existence and uniqueness of weak solutions. For certain initial velocities between the particle and the fluid, the results extend to strong solutions. We also prove continuous differentiability of the weak and strong solutions with respect to their initial conditions. This justifies the search for coherent structures in inertial flows using the Cauchy--Green strain tensor.

AG-2014.08-1009

math.DS

Improving the Network Structure can lead to Functional Failures

Jan Philipp Pade, Tiago Pereira

In many real-world networks the ability to synchronize is a key property for its performance. Examples include power-grid, sensor, and neuron networks as well as consensus formation. Recent work on undirected networks with diffusive interaction revealed that improvements in the network connectivity such as making the network more connected and homogeneous enhances synchronization. However, real-world networks have directed and weighted connections. In such directed networks, understanding the impact of structural changes on the network performance remains a major challenge. Here, we show that improving the structure of a directed network can lead to a failure in the network function. For instance, introducing new links to reduce the minimum distance between nodes can lead to instabilities in the synchronized motion. This counter-intuitive effect only occurs in directed networks. Our results allow to identify the dynamical importance of a link and thereby have a major impact on the design and control of directed networks.

AG-2014.08-846

math.DS

Dynamics of spatial logistic model: finite systems

Yuri Kozitsky

The spatial logistic model is a system of point entities (particles) in $\mathbb{R}^d$ which reproduce themselves at distant points (dispersal) and die, also due to competition. The states of such systems are probability measures on the space of all locally finite particle configurations. In this paper, we obtain the evolution of states of `finite systems', that is, in the case where the initial state is supported on the subset of the configuration space consisting of finite configurations. The evolution is obtained as the global solution of the corresponding Fokker-Planck equation in the space of measures supported on the set of finite configurations. We also prove that this evolution preserves the existence of exponential moments and the absolute continuity with respect to the Lebesgue-Poisson measure.

AG-2014.08-837

math.DS

Topological analysis of chaotic solution of three-element memristive circuit

Jean-Marc Ginoux, Christophe Letellier, Leon L. O. Chua

The simplest electronic circuit with a memristor was recently proposed. Chaotic attractors solution to this memristive circuit are topologically characterized and compared to Rossler-like attractors.

AG-2014.08-831

math.DS

Flow curvature manifolds for shaping chaotic attractors: Rossler-like systems

Jean-Marc Ginoux, Christophe Letellier

Poincaré recognized that phase portraits are mainly structured around fixed points. Nevertheless, the knowledge of fixed points and their properties is not sufficient to determine the whole structure of chaotic attractors. In order to understand how chaotic attractors are shaped by singular sets of the differential equations governing the dynamics, flow curvature manifolds are computed. We show that the time dependent components of such manifolds structure Rossler-like chaotic attractors and may explain some limitation in the development of chaotic regimes.

AG-2014.08-826

math.DS

Animated phase portraits of nonlinear and chaotic dynamical systems

Jean-Marc Ginoux

The aim of this section is to present programs allowing to high- light the slow-fast evolution of the solutions of nonlinear and chaotic dynamical systems such as: Van der Pol, Chua and Lorenz models. These programs provide animated phase portraits in dimension two and three, i.e. integration step by step" which are useful tools enabling to understand the dynamic of such systems.

AG-2014.08-2088

math.DS

Exploring the adaptive voter model dynamics with a mathematical triple jump

Holly Silk, Güven Demirel, Martin Homer, Thilo Gross

Progress in theoretical physics is often made by the investigation of toy models, the model organisms of physics, which provide benchmarks for new methodologies. For complex systems, one such model is the adaptive voter model. Despite its simplicity, the model is hard to analyse. Only inaccurate results are obtained from well-established approximation schemes that work well on closely-related models. We use this model to illustrate a new approach that combines a) the use of a heterogeneous moment expansion to approximate the network model by an infinite system of ordinary differential equations, b) generating functions to map the ordinary differential equation system to a two-dimensional partial differential equation, and c) solution of this partial differential equation by the tools of PDE-theory. Beyond the adaptive voter models, the proposed approach establishes a connection between network science and the theory of partial differential equations and is widely applicable to the dynamics of networks with discrete node-states.

AG-2014.08-496

math.DS

Construction of Fractal Surfaces by Recurrent Fractal Interpolation Curves

Chol-hui Yun, Hyong-chol O., Hui-chol Choi

A method to construct fractal surfaces by recurrent fractal curves is provided. First we construct fractal interpolation curves using a recurrent iterated functions system(RIFS) with function scaling factors and estimate their box-counting dimension. Then we present a method of construction of wider class of fractal surfaces by fractal curves and Lipschitz functions and calculate the box-counting dimension of the constructed surfaces. Finally, we combine both methods to have more flexible constructions of fractal surfaces.

AG-2014.07-1644

math.DS

Opinion Dynamics and Influencing on Random Geometric Graphs

Weituo Zhang, Chjan Lim, G. Korniss, B. K. Szymanski

We investigate the two-word Naming Game on two-dimensional random geometric graphs. Studying this model advances our understanding of the spatial distribution and propagation of opinions in social dynamics. A main feature of this model is the spontaneous emergence of spatial structures called opinion domains which are geographic regions with clear boundaries within which all individuals share the same opinion. We provide the mean-field equation for the underlying dynamics and discuss several properties of the equation such as the stationary solutions and two-time-scale separation. For the evolution of the opinion domains we find that the opinion domain boundary propagates at a speed proportional to its curvature. Finally we investigate the impact of committed agents on opinion domains and find the scaling of consensus time.

AG-2014.07-1599

math.DS

Probability of Stability of Synchronization in Random Networks of Mismatched Oscillators

Saeed Manaffam, Alireza Seyedi

The stability of synchronization state in networks of oscillators are studied under the assumption that oscillators and their couplings have slightly mismatched parameters. A generalized master stability function is provided that takes the mismatches into account. Using this master stability function a lower bound on the probability of synchronization is derived for regular and random network models. The probability of stability of synchronization is then used to study the phase transition behavior of the networks. Numerical examples using van der Pol oscillators are used to illustrate the results and verify the validity of the analysis. Moreover, the synchronization trend as a function of statistics of mismatches in the coupling and local dynamics is investigated using this numerical example.

AG-2014.07-1205

math.DS

KAM theory and the 3D Euler equation

Boris Khesin, Sergei Kuksin, Daniel Peralta-Salas

We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold $M$ is not mixing in the $C^k$ topology ($k > 4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Euler equation. Moreover, we obtain an obstruction for the mixing under the Euler flow of $C^k$-neighborhoods of divergence-free vectorfields on $M$. On the way we construct a family of functionals on the space of divergence-free $C^1$ vectorfields on the manifold, which are integrals of motion of the 3D Euler equation. Given a vectorfield these functionals measure the part of the manifold foliated by ergodic invariant tori of fixed isotopy types. We use the KAM theory to establish some continuity properties of these functionals in the $C^k$-topology. This allows one to get a lower bound for the $C^k$-distance between a divergence-free vectorfield (in particular, a steady solution) and a trajectory of the Euler flow.

AG-2014.07-4049

math.DS

Generalized chronotaxic systems: time-dependent oscillatory dynamics stable under continuous perturbation

Yevhen F. Suprunenko, Aneta Stefanovska

Chronotaxic systems represent deterministic nonautonomous oscillatory systems which are capable of resisting continuous external perturbations while having a complex time-dependent dynamics. Until their recent introduction in \emph{Phys. Rev. Lett.} \textbf{111}, 024101 (2013) chronotaxic systems had often been treated as stochastic, inappropriately, and the deterministic component had been ignored. While the previous work addressed the case of the decoupled amplitude and phase dynamics, in this paper we develop a generalized theory of chronotaxic systems where such decoupling is not required. The theory presented is based on the concept of a time-dependent point attractor or a driven steady state and on the contraction theory of dynamical systems. This simplifies the analysis of chronotaxic systems and makes possible the identification of chronotaxic systems with time-varying parameters. All types of chronotaxic dynamics are classified and their properties are discussed using the nonautonomous Poincaré oscillator as an example. We demonstrate that these types differ in their transient dynamics towards a driven steady state and according to their response to external perturbations. Various possible realizations of chronotaxic systems are discussed, including systems with temporal chronotaxicity and interacting chronotaxic systems.

AG-2014.07-3079

math.DS

Adapting to a Changing Environment: Non-obvious Thresholds in Multi-Scale Systems

Clare Perryman, Sebastian Wieczorek

Many natural and technological systems fail to adapt to changing external conditions and move to a different state if the conditions vary too fast. Such "non-adiabatic" processes are ubiquitous, but little understood. We identify these processes with a new nonlinear phenomenon---an intricate threshold where a forced system fails to adiabatically follow a changing stable state. In systems with multiple time-scales such thresholds are generic, but non-obvious, meaning they cannot be captured by traditional stability theory. Rather, the phenomenon can be analysed using concepts from modern singular perturbation theory: folded singularities and canard trajectories, including composite canards. Thus, non-obvious thresholds should explain the failure to adapt to a changing environment in a wide range of multi-scale systems including: tipping points in the climate system, regime shifts in ecosystems, excitability in nerve cells, adaptation failure in regulatory genes, and adiabatic switching in technology.

AG-2014.07-307

math.DS

Modelling suspended sediment in environmental turbulent fluids

Meng Cao, A. J. Roberts

Modelling sediment transport in environmental turbulent fluids is a challenge. This article develops a sound model of the lateral transport of suspended sediment in environmental fluid flows such as floods and tsunamis. The model is systematically derived from a 3D turbulence model based on the Smagorinski large eddy closure. Embedding the physical dynamics into a family of problems and analysing linear dynamics of the system, centre manifold theory indicates the existence of slow manifold parametrised by macroscale variables. Computer algebra then constructs the slow manifold in terms of fluid depth, depth-averaged lateral velocities, and suspended sediment concentration. The model includes the effects of sediment erosion, advection, dispersion, and also the interactions between the sediment and turbulent fluid flow. Vertical distributions of the velocity and concentration in steady flow agree with the established experimental data. Numerical simulations of the suspended sediment under large waves show that the developed model predicts physically reasonable phenomena.

AG-2014.06-1371

math.DS

How coherent are the vortices of two-dimensional turbulence?

Mohammad Farazmand, George Haller

We use recent developments in the theory of finite-time dynamical systems to objectively locate the material boundaries of coherent vortices in two-dimensional Navier--Stokes turbulence. We show that these boundaries are optimal in the sense that any closed curve in their exterior will lose coherence under material advection. Through a detailed comparison, we find that other available Eulerian and Lagrangian techniques significantly underestimate the size of each coherent vortex.

AG-2014.06-1329

math.DS

Role of Ergodicity in the Transient Fluctuation Relation and a New Relation for a Dissipative Non-Chaotic Map

Paolo A. Adamo, Matteo Colangeli, Lamberto Rondoni

Deterministic dynamical systems such as the baker maps are useful to shed light on some of the conditions verified by deterministic models in non-equilibrium statistical physics. We investigate a 2D dynamical system, enjoying a weak form of reversibility, with peculiar basins of attraction and steady states. In particular, we test the conditions required for the validity of the Transient Fluctuation Relation. Our analysis illustrates by means of concrete examples why ergodicity of the equilibrium dynamics seems to be a necessary condition for the Transient Fluctuation Relation to hold. This investigation then leads to the numerical verification of a kind of transient relation which, differently from the usual Transient Fluctuation Relation (FR), holds only asymptotically. At the same time, it is not a steady state fluctuation relation, because no fluctuations are present in the steady state.

AG-2014.06-1217

math.DS

Global Kolmogorov tori in the planetary N-body problem. Announcement of result

Gabriella Pinzari

We improve a result in [L. Chierchia and G. Pinzari, Invent. Math. 2011] by proving the existence of a positive measure set of $(3n-2)$--dimensional quasi--periodic motions in the spacial, planetary $(1+n)$--body problem away from co--planar, circular motions. We also prove that such quasi--periodic motions reach with continuity corresponding $(2n-1)$--dimensional ones of the planar problem, once the mutual inclinations go to zero (this is related to a speculation in [V. I. Arnold. Russ. Math. Surv. 1963]). The main tool is a full reduction of the SO(3)--symmetry, which, in particular, retains symmetry by reflections and highlights a quasi--integrable structure, with a small remainder, independently of eccentricities and inclinations.

AG-2014.06-773

math.DS

Side conditions for ordinary differential equations

G. Cicogna, G. Gaeta, S. Walcher

We specialize Olver's and Rosenau's side condition heuristics for the determination of particular invariant sets of ordinary differential equations. It turns out that side conditions of so-called LaSalle type are of special interest. Moreover we put side condition properties of symmetric and partially symmetric equations in a wider context. In the final section we present an application to parameter-dependent systems, in particular to quasi-steady state for chemical reactions.

AG-2014.06-178

math.DS

Cohomology of Hierarchical Tilings

Lorenzo Sadun

This is a chapter in an upcoming book on aperiodic order. We go over different versions of tiling cohomology (\v Cech, pattern-equivariant, PV, quotient) with emphasis on the inverse limit constructions used to compute these cohomologies. We then consider the uses of tiling cohomology to distinguish spaces, to understand deformations, and to help understand maps between tiling spaces. The emphasis of this chapter is on substitution tilings and their generalizations, but the underlying ideas apply equally well to cut-and-project tilings and to tilings defined by local matching rules.

AG-2014.06-2405

math.DS

Morse Theory for geodesics in singular conformal metrics

R. Giambò, F. Giannoni, P. Piccione

Motivated by the use of degenerate Jacobi metrics for the study of brake orbits and homoclinics, we develop a Morse theory for geodesics in conformal metrics having conformal factors vanishing on a regular hypersurface of a Riemannian manifold.

AG-2014.06-118

math.DS

Examples with minimal number of brake orbits and homoclinics in annular potential regions

R. Giambò, F. Giannoni, P. Piccione

We use a geometric construction to exhibit examples of autonomous Lagrangian systems admitting exactly two homoclinics emanating from a nondegenerate maximum of the potential energy and reaching a regular level of the potential having the same value of the maximum point. Similarly, we show examples of Hamiltonian systems that admit exactly two brake orbits in an annular potential region connecting the two connected components of the boundary of the potential well. These examples show that the estimates proven in [R. Giambò, F. Giannoni, P. Piccione, Arch. Ration. Mech. Anal. 200, (2011) 691-724] are sharp.

AG-2014.05-1543

math.DS

Multiscale modelling couples patches of two-layer thin fluid flow

Meng Cao, A. J. Roberts

The multiscale gap-tooth scheme uses a given microscale simulator of complicated physical processes to enable macroscale simulations by computing only only small sparse patches. This article develops the gap-tooth scheme to the case of nonlinear microscale simulations of thin fluid flow. The microscale simulator is derived by artificially assuming the fluid film flow having two artificial layers but no distinguishing physical feature. Centre manifold theory assures that there exists a slow manifold in the two-layer fluid film flow. Eigenvalue analysis confirms the stability of the microscale simulator. This article uses the gap-tooth scheme to simulate the two-layer fluid film flow. Coupling conditions are developed by approximating the values at the edges of patches by neighbouring macroscale values. Numerical eigenvalue analysis suggests that the gap-tooth scheme with the developed two-layer microscale simulator empowers feasible computation of large scale simulations of fluid film flows. We also implement numerical simulations of the fluid film flow by the gap-tooth scheme. Comparison between a gap-tooth simulation and a microscale simulation over the whole domain demonstrates that the gap-tooth scheme feasibly computes fluid film flow dynamics with computational savings.

AG-2014.05-2580

math.DS

Bifurcation analysis of delay-induced resonances of the El-Nino Southern Oscillation

Bernd Krauskopf, Jan Sieber

Models of global climate phenomena of low to intermediate complexity are very useful for providing an understanding at a conceptual level. An important aspect of such models is the presence of a number of feedback loops that feature considerable delay times, usually due to the time it takes to transport energy (for example, in the form of hot/cold air or water) around the globe. In this paper we demonstrate how one can perform a bifurcation analysis of the behaviour of a periodically-forced system with delay in dependence on key parameters. As an example we consider the El-Nino Southern Oscillation (ENSO), which is a sea surface temperature oscillation on a multi-year scale in the basin of the Pacific Ocean. One can think of ENSO as being generated by an interplay between two feedback effects, one positive and one negative, which act only after some delay that is determined by the speed of transport of sea-surface temperature anomalies across the Pacific. We perform here a case study of a simple delayed-feedback oscillator model for ENSO (introduced by Tziperman et al, J. Climate 11 (1998)), which is parametrically forced by annual variation. More specifically, we use numerical bifurcation analysis tools to explore directly regions of delay-induced resonances and other stability boundaries in this delay-differential equation model for ENSO.

AG-2014.05-4005

math.DS

Directional localization of light rays in a periodic array of retro-reflector lenses

Krzysztof Fraczek, Martin Schmoll

We show that vertical light rays in almost every periodic array of Eaton lenses do not leave certain strips of bounded width. The light rays are traced by leaves of a non-orientable foliation on a singular plane. We study the flow defined by the induced foliation on the orientation cover of the singular plane. The behavior of that flow and ultimately our claim for the light rays is based on an analysis of the Teichmüller flow and the Kontsevich-Zorich cocycle on the moduli space of two branched, two sheeted torus covers in genus two.

AG-2014.05-440

math.DS

Logarithm laws for equilibrium states in negative curvature

Frédéric Paulin, Mark Pollicott

Let $M$ be a pinched negatively curved Riemannian manifold, whose unit tangent bundle is endowed with a Gibbs measure $m_F$ associated to a potential $F$. We compute the Hausdorff dimension of the conditional measures of $m_F$. We study the $m_F$-almost sure asymptotic penetration behaviour of locally geodesic lines of $M$ into small neighbourhoods of closed geodesics, and of other compact (locally) convex subsets of $M$. We prove Khintchine-type and logarithm law-type results for the spiraling of geodesic lines around these objects. As an arithmetic consequence, we give almost sure Diophantine approximation results of real numbers by quadratic irrationals with respect to general Hölder quasi-invariant measures.

AG-2014.05-2190

math.DS

Unidirectionally Coupled Map Lattices with Non-Linear Coupling: Unbinding Transitions and Super-Long Transients

Christian Marschler, Jürgen Vollmer

Recently, highly resolved experiments and simulations have provided detailed insight into the dynamics of turbulent pipe flow. This has revived the interest to identify mechanisms that generate chaotic transients with super-exponential growth of lifetime as a function of a control parameter, the Reynolds number for pipe flow, and with transitions from bounded chaotic patches to an invasion of space of irregular motion. Dynamical systems models are unique tools in this respect because they can provide insight into the origin of the very long life time of puffs, and the dynamical mechanism leading to the transition from puffs to slugs in pipe flow. The present paper contributes to this enterprise by introducing a unidirectionally coupled map lattice. It mimics three of the salient features of pipe-flow turbulence: (i) the transition from laminar flow to puffs, (ii) a super-exponential scaling of puff lifetime, and (iii) the transition from puffs to slugs by an unbinding transition in an intermittency scenario. In our model all transitions and scalings are theoretically described from a dynamical systems point of view.

AG-2014.05-2416

math.DS

Statistical properties of Lorenz like flows, recent developments and perspectives

Vitor Araujo, Stefano Galatolo, Maria J. Pacifico

We comment on mathematical results about the statistical behavior of Lorenz equations an its attractor, and more generally to the class of singular hyperbolic systems. The mathematical theory of such kind of systems turned out to be surprisingly difficult. It is remarkable that a rigorous proof of the existence of the Lorenz attractor was presented only around the year 2000 with a computer assisted proof together with an extension of the hyperbolic theory developed to encompass attractors robustly containing equilibria. We present some of the main results on the statisitcal behavior of such systems. We show that for attractors of three-dimensional flows, robust chaotic behavior is equivalent to the existence of certain hyperbolic structures, known as singular-hyperbolicity. These structures, in turn, are associated to the existence of physical measures: \emph{in low dimensions, robust chaotic behavior for flows ensures the existence of a physical measure}. We then give more details on recent results on the dynamics of singular-hyperbolic (Lorenz-like) attractors.

AG-2014.04-3865

math.DS

Lagrangian reductions and integrable systems in condensed matter

François Gay-Balmaz, Michael Monastyrsky, Tudor S. Ratiu

We consider a general approach for the process of Lagrangian and Hamiltonian reduction by symmetries in chiral gauge models. This approach is used to show the complete integrability of several one dimensional texture equations arising in liquid Helium phases and neutron stars.

AG-2014.04-1549

math.DS

Exceptional points in open and PT symmetric systems

Hichem Eleuch, Ingrid Rotter

Exceptional points (EPs) determine the dynamics of open quantum systems and cause also PT symmetry breaking in PT symmetric systems. From a mathematical point of view, this is caused by the fact that the phases of the wavefunctions (eigenfunctions of a non-Hermitian Hamiltonian) relative to one another are not rigid when an EP is approached. The system is therefore able to align with the environment to which it is coupled and, consequently, rigorous changes of the system properties may occur. We compare analytically as well as numerically the eigenvalues and eigenfunctions of a $2\times 2$ matrix that is characteristic of either open quantum systems at high level density or of PT symmetric optical lattices. In both cases, the results show clearly the influence of the environment onto the system in the neighborhood of EPs. Although the systems are very different from one another, the eigenvalues and eigenfunctions indicate the same characteristic features.

AG-2014.04-1483

math.DS

On the symmetries of a Rikitake type system

Cristian Lazureanu, Tudor Binzar

A symplectic realization and some symmetries of a Rikitake type system are presented.

AG-2014.04-1575

math.DS

Symplectic Realizations and Symmetries of a Lotka Volterra Type System

Cristian Lazureanu, Tudor Binzar

In this paper a Lotka Volterra type system is considered. For such a system, biHamiltonian formulation, symplectic realizations and symmetries are presented.

AG-2014.04-3717

math.DS

Non-integrability vs. integrability in pentagram maps

Boris Khesin, Fedor Soloviev

We revisit recent results on integrable cases for higher-dimensional generalizations of the 2D pentagram map: short-diagonal, dented, deep-dented, and corrugated versions, and define a universal class of pentagram maps, which are proved to possess projective duality. We show that in many cases the pentagram map cannot be included into integrable flows as a time-one map, and discuss how the corresponding notion of discrete integrability can be extended to include jumps between invariant tori. We also present a numerical evidence that certain generalizations of the integrable 2D pentagram map are non-integrable and present a conjecture for a necessary condition of their discrete integrability.

AG-2014.04-979

math.DS

Convergence Time Towards Periodic Orbits in Discrete Dynamical Systems

Jesús San Martín, Mason A. Porter

We investigate the convergence towards periodic orbits in discrete dynamical systems. We examine the probability that a randomly chosen point converges to a particular neighborhood of a periodic orbit in a fixed number of iterations, and we use linearized equations to examine the evolution near that neighborhood. The underlying idea is that points of stable periodic orbit are associated with intervals. We state and prove a theorem that details what regions of phase space are mapped into these intervals (once they are known) and how many iterations are required to get there. We also construct algorithms that allow our theoretical results to be implemented successfully in practice.

AG-2014.04-2095

math.DS

A Study in Three-Dimensional Chaotic Dynamics: Granular Flow and Transport in a Bi-Axial Spherical Tumbler

Ivan C. Christov, Richard M. Lueptow, Julio M. Ottino, Rob Sturman

We study 3D chaotic dynamics through an analysis of transport in a granular flow in a half-full spherical tumbler rotated sequentially about two orthogonal axes (a bi-axial "blinking" tumbler). The flow is essentially quasi-2D in any vertical slice of the sphere during rotation about a single axis, and we provide an explicit exact solution to the model in this case. Hence, the cross-sectional flow can be represented by a twist map, allowing us to express the 3D flow as a linked twist map (LTM). We prove that if the rates of rotation about each axis are equal, then (in the absence of stochasticity) particle trajectories are restricted to 2D surfaces consisting of a portion of a hemispherical shell closed by a "cap"; if the rotation rates are unequal, then particles can leave the surface they start on and traverse a volume of the tumbler. The period-one structures of the governing LTM are examined in detail: analytical expressions are provided for the location of period-one curves, their extent into the bulk of the granular material, and their dependence on the protocol parameters (rates and durations of rotations). Exploiting the restriction of trajectories to 2D surfaces in the case of equal rotation rates about the axes, a method is proposed for identifying and constructing 3D Kolmogorov-Arnold-Moser (KAM) tubes around the normally elliptic period-one curves. The invariant manifold structure arising from the normally hyperbolic period-one curves is also examined. When the motion is restricted to 2D surfaces, the structure of manifolds of the hyperbolic points in the bulk differs from that corresponding to hyperbolic points in the flowing layer. Each is reminiscent of a template provided by a non-integrable perturbation to a Hamiltonian system, though the governing LTM is not. This highlights the novel 3D chaotic behaviors observed in this model dynamical system.

AG-2014.04-3448

math.DS

A thermodynamic formalism approach to the Selberg zeta function for Hecke triangle surfaces of infinite area

Anke D. Pohl

We provide an explicit construction of a cross section for the geodesic flow on infinite-area Hecke triangle surfaces which allows us to conduct a transfer operator approach to the Selberg zeta function. Further we construct closely related cross sections for the billiard flow on the associated triangle surfaces and endow the arising discrete dynamical systems and transfer operator families with two weight functions which presumably encode Dirichlet respectively Neumann boundary conditions. The Fredholm determinants of these transfer operator families constitute dynamical zeta functions, which provide a factorization of the Selberg zeta function of the Hecke triangle surfaces.

AG-2014.04-2452

math.DS

Bifurcations of relative equilibria near zero momentum in Hamiltonian systems with spherical symmetry

James Montaldi

For Hamiltonian systems with spherical symmetry there is a marked difference between zero and non-zero momentum values, and amongst all relative equilibria with zero momentum there is a marked difference between those of zero and those of non-zero angular velocity. We use techniques from singularity theory to study the family of relative equilibria that arise as a symmetric Hamiltonian which has a group orbit of equilibria with zero momentum is perturbed so that the zero-momentum relative equilibrium are no longer equilibria. We also analyze the stability of these perturbed relative equilibria, and consider an application to satellites controlled by means of rotors.

AG-2014.04-099

math.DS

Billiard dynamics near an invariant horizontal circle

Geraldo Cesar Goncalves Ferreira, Sylvie Oliffson Kamphorst, Sonia Pinto-de-Carvalho

Sufficiently differentiable oval billiards always have invariant rotational curves, but there are only two types of ovals with an invariant horizontal circle in its phase-space: the constant width ovals and some very special symmetric curves. In this work we study the dynamics near the horizontal circle for the billiard map of those two types of ovals, and show that the horizontal circle is approached, from both sides, by other invariant rotational curves. We will also describe some dynamical consequences.

AG-2014.03-1153

math.DS

On using Extreme Values to detect global stability thresholds in multi-stable systems: The case of transitional plane Couette flow

Davide Faranda, Valerio Lucarini, Paul Manneville, Jeroen Wouters

Extreme Value Theory (EVT) is exploited to determine the global stability threshold $R_g$ of plane Couette flow --the flow of a viscous fluid in the space between two parallel plates-- whose laminar or turbulent behavior depends on the Reynolds number R. Even if the existence of a global stability threshold has been detected in simulations and experiments, its numerical value has not been unequivocally defined. $R_g$ is the value such that for $R > R_g$ turbulence is sustained, whereas for $R < R_g$ it is transient and eventually decays. We address the problem of determining $R_g$ by using the extremes - maxima and minima - of the perturbation energy fluctuations. When $R_g$, both the positive and negative extremes are bounded. As the critical Reynolds number is approached from above, the probability of observing a very low minimum increases causing asymmetries in the distributions of maxima and minima. On the other hand, the maxima distribution is unaffected as the fluctuations towards higher values of the perturbation energy remain bounded. This tipping point can be detected by fitting the data to the Generalized Extreme Value (GEV) distribution and by identifying $R_g$ as the value of $R$ such that the shape parameter of the GEV for the minima changes sign from negative to positive. The results are supported by the analysis of theoretical models which feature a bistable behavior.

AG-2014.03-3909

math.DS

Scaling laws for large numbers of coexisting attracting periodic solutions in the border-collision normal form

David J. W. Simpson

A wide variety of intricate dynamics may be created at border-collision bifurcations of piecewise-smooth maps, where a fixed point collides with a surface at which the map is nonsmooth. For the border-collision normal form in two dimensions, a codimension-three scenario was described in previous work at which the map has a saddle-type periodic solution and an infinite sequence of stable periodic solutions that limit to a homoclinic orbit of the saddle-type solution. This paper introduces an alternate scenario of the same map at which there is an infinite sequence of stable periodic solutions due to the presence of a repeated unit eigenvalue in the linearization of some iterate of the map. It is shown that this scenario is codimension-four and that the sequence of periodic solutions is unbounded, aligning with eigenvectors corresponding to the unit eigenvalue. Arbitrarily many attracting periodic solutions coexist near either scenario. It is shown that if $K$ denotes the number of attracting periodic solutions, and $\varepsilon$ denotes the distance in parameter space from one of the two scenarios, then in the codimension-three case $\varepsilon$ scales with $λ^{-K}$, where $λ> 1$ denotes the unstable stability multiplier associated with the saddle-type periodic solution, and in the codimension-four case $\varepsilon$ scales with $K^{-2}$. Since $K^{-2}$ decays significantly slower than $λ^{-K}$, large numbers of attracting periodic solutions coexist in open regions of parameter space extending substantially further from the codimension-four scenarios than the codimension-three scenarios.

AG-2014.03-879

math.DS

Folding Difference and Differential Systems into Higher Order Equations

H. Sedaghat

A typical system of k difference (or differential) equations can be compressed, or folded into a difference (or ordinary differential) equation of order k. Such foldings appear in control theory as the canonical forms of the controllability matrices. They are also used in the classification of systems of three nonlinear differential equations with chaotic flows by examining the resulting jerk functions. The solutions of the higher order equation yield one of the components of the system&#39;s k-dimensional orbits and the remaining components are determined from a set of associated passive equations. The folding algorithm uses a sequence of substitutions and inversions along with index shifts (for difference equations) or higher derivatives (for differential equations). For systems of two difference or differential equations this compression process is short and in some cases yields second-order equations that are simpler than the original system. For all systems, the folding algorithm yields detailed amount of information about the structure of the system and the interdependence of its variables. As with two equations, some special cases where the derived higher order equation is simpler to analyze than the original system are considered.

AG-2014.03-070

math.DS

Dynamics-Adapted Cone Kernels

Dimitrios Giannakis

We present a family of kernels for analysis of data generated by dynamical systems. These so-called cone kernels feature an explicit dependence on the dynamical vector field operating in the phase-space manifold, estimated empirically through finite-differences of time-ordered data samples. In particular, cone kernels assign strong affinity to pairs of samples whose relative displacement vector lies within a narrow cone aligned with the dynamical vector field. As a result, in a suitable asymptotic limit, the associated diffusion operator generates diffusions along the dynamical flow, and is invariant under a weakly restrictive class of transformations of the data, which includes conformal transformations. Moreover, the corresponding Dirichlet form is governed by the directional derivative of functions along the dynamical vector field. The latter feature is metric-independent. The diffusion eigenfunctions obtained via cone kernels are therefore adapted to the dynamics in that they vary predominantly in directions transverse to the flow. We demonstrate the utility of cone kernels in nonlinear flows on the 2-torus and North Pacific sea surface temperature data generated by a comprehensive climate model.

AG-2014.02-1694

math.DS

Identification of Structural Model for Chaotic Systems

Evgeny Nikulchev, Oleg Kozlov

This article is talking about the study constructive method of structural identification systems with chaotic dynamics. It is shown that the reconstructed attractors are a source of information not only about the dynamics but also on the basis of the attractors which can be identified and the mere sight of models. It is known that the knowledge of the symmetry group allows you to specify the form of a minimal system. Forming a group transformation can be found in the recon-structed attractor. The affine system as the basic model is selected. Type of a nonlinear system is the subject of calcula-tions. A theoretical analysis is performed and proof of the possibility of constructing models in the central invariant manifold reduced. This developed algorithm for determining the observed symmetry in the attractor. The results of identification used in real systems are an application.

AG-2014.02-3137

math.DS

Large Deviations for stationary probabilities of a family of continuous time Markov chains via Aubry-Mather theory

Artur O. Lopes, Adriana Neumann

We consider a family of continuous time symmetric random walks indexed by $k\in \mathbb{N}$, $\{X_k(t),\,t\geq 0\}$. For each $k\in \mathbb{N}$ the matching random walk take values in the finite set of states $Γ_k=\frac{1}{k}(\mathbb{Z}/k\mathbb{Z})$ which is a subset of the unitary circle. The stationary probability for such process converges to the uniform distribution on the circle, when $k\to \infty$. We disturb the system considering a fixed $C^2$ potential $V: \mathbb{S}^1 \to \mathbb{R}$ and we will denote by $V_k$ the restriction of $V$ to $Γ_k$. Then, we define a non-stochastic semigroup generated by the matrix $k\,\, L_k + k\,\, V_k$, where $k\,\, L_k $ is the infinifesimal generator of $\{X_k(t),\,t\geq 0\}$. From the continuous time Perron&#39;s Theorem one can normalized such semigroup, and, then we get another stochastic semigroup which generates a continuous time Markov Chain taking values on $Γ_k$. The stationary probability vector for such Markov Chain is denoted by $π_{k,V}$. We assume that the maximum of $V$ is attained in a unique point $x_0$ of $\mathbb{S}^1$, and from this will follow that $π_{k,V}\to δ_{x_0}$. Our main goal is to analyze the large deviation principle for the family $π_{k,V}$, when $k \to\infty$. The deviation function $I^V$, which is defined on $ \mathbb{S}^1$, will be obtained from a procedure based on fixed points of the Lax-Oleinik operator and Aubry-Mather theory.

AG-2014.02-138

math.DS

Pulsatile localized dynamics in delayed neural-field equations in arbitrary dimension

Grégory Faye, Jonathan Touboul

Neural field equations are integro-differential systems describing the macroscopic activity of spatially extended pieces of cortex. In such cortical assemblies, the propagation of information and the transmission machinery induce communication delays, due to the transport of information (propagation delays) and to the synaptic machinery (constant delays). We investigate the role of these delays on the formation of structured spatiotemporal patterns for these systems in arbitrary dimensions. We focus on localized activity, either induced by the presence of a localized stimulus (pulses) or by transitions between two levels of activity (fronts). Linear stability analysis allows to reveal the existence of Hopf bifurcation curves induced by the delays, along different modes that may be symmetric or asymmetric. We show that instabilities strongly depend on the dimension, and in particular may exhibit transversal instabilities along invariant directions. These instabilities yield pulsatile localized activity, and depending on the symmetry of the destabilized modes, either produce spatiotemporal breathing or sloshing patterns.

AG-2014.01-1319

math.DS

Linear stability of elliptic Lagrangian solutions of the planar three-body problem via index theory

Xijun Hu, Yiming Long, Shanzhong Sun

It is well known that the linear stability of Lagrangian elliptic equilateral triangle homographic solutions in the classical planar three-body problem depends on the mass parameter $\bb=27(m_1m_2+m_2m_3+m_3m_1)/(m_1+m_2+m_3)^2\in [0,9]$ and the eccentricity $e\in [0,1)$. We are not aware of any existing analytical method which relates the linear stability of these solutions to the two parameters directly in the full rectangle $[0,9]\times [0,1)$, besides perturbation methods for $e>0$ small enough, blow-up techniques for $e$ sufficiently close to 1, and numerical studies. In this paper, we introduce a new rigorous analytical method to study the linear stability of these solutions in terms of the two parameters in the full $(\bb,e)$ range $[0,9]\times [0,1)$ via the $\om$-index theory of symplectic paths for $\om$ belonging to the unit circle of the complex plane, and the theory of linear operators. After establishing the $\om$-index decreasing property of the solutions in $\bb$ for fixed $e\in [0,1)$, we prove the existence of three curves located from left to right in the rectangle $[0,9]\times [0,1)$, among which two are -1 degeneracy curves and the third one is the right envelop curve of the $\om$-degeneracy curves for $\om\not=1$, and show that the linear stability pattern of such elliptic Lagrangian solutions changes if and only if the parameter $(\bb,e)$ passes through each of these three curves. Interesting symmetries of these curves are also observed. The singular case when the eccentricity $e$ approaches to 1 is also analyzed in details concerning the linear stability.

AG-2014.01-4016

math.DS

Ergodicity of a collective random walk on a circle

Michael Blank

We discuss conditions for unique ergodicity of a collective random walk on a continuous circle. Individual particles in this collective motion perform independent (and different in general) random walks conditioned by the assumption that the particles cannot overrun each other. Additionally to sufficient conditions for the unique ergodicity we discover a new and unexpected way for its violation due to excessively large local jumps. Necessary and sufficient conditions for the unique ergodicity of the deterministic version of this system are obtained as well. Technically our approach is based on the interlacing property of the spin function which describes states of pairs of particles in coupled processes under study.

AG-2014.01-2480

math.DS

Passive Sorting of Asteroid Material Using Solar Radiation Pressure

Daniel García Yárnoz, Joan-Pau Sanchez, Colin R. McInnes

Understanding dust dynamics in the vicinity of asteroids is key for future science missions and, in the long-term, for asteroid exploitation. This paper analyzes the feasibility of manipulating asteroid material by means of solar radiation pressure. A novel method is proposed for passively sorting material as a function of its grain size or density, where solar radiation pressure is used as a passive in-situ &#34;mass spectrometer&#34;. A simplified analysis shows that in principle this method allows an effective sorting of regolith material. This could have immediate applications for a sample return mission, and for industrial scale in-situ resource utilization to separate and concentrate regolith according to particle size or composition.