It is well known that real measures on the circle are characterized by their Herglotz transform, an analytic function in the unit disc. Invariance of the measure under N-multiplication translates into a functional equation for the Herglotz transform. Using elements from the theory of Hardy spaces one gets a somewhat surprising condition for a sequence of complex numbers to be the Fourier coefficients of an N-invariant measure. Next, starting from any atomless measure on the circle we construct atomless premesures of bounded kappa-variation in the sense of Korenblum which are invariant under s given pairwise prime integers. The relevant function kappa is a generalized entropy function depending on s. The proof uses Korenblum's generalized Nevanlinna theory. Passing to "kappa-singular measures" and extending these to elements in a Grothendieck group of possibly unbounded measures on the circle, one obtains generalized invariant measures which are carried by "kappa-Carleson" sets. The range of this construction depends on interesting questions about cyclicty in growth algebras of analytic functions on the unit disc. We also describe some very formal relations with Witt vectors. For example the Artin-Hasse p-exponential "is" a p-invariant premeasure of bounded kappa_1 variation.
We study invariant ergodic measures for quasiperiodically forced circle homeomorphisms and derive that either the system is uniquely ergodic or any such measure is associated to some invariant multigraph.
We express continuous $\times p,\times q$-invariant measures on the unit circle via some simple forms. On one hand, a continuous $\times p,\times q$-invariant measure is the weak-$*$ limit of average of Dirac measures along an irrational orbit. On the other hand, a continuous $\times p,\times q$-invariant measure is a continuous function on $[0,1]$ satisfying certain function equations.
Given any Liouville number $α$, it is shown that the nullity of the Hausdorff dimension of the invariant measure is generic in the space of the orientation preserving $C^\infty$ diffeomorphisms of the circle with rotation number $α$.
We show that no C^2 circle diffeomorphism of irrational rotation number has invariant 1-distributions other than (scalar multiples of) the invariant measure. We also show that this is false in the C^1 context by giving both minimal and non-minimal examples.
We numerically study quasiperiodic normally hyperbolic attracting invariant circles that appear for certain parameter values in a family of three-dimensional Henon-like maps. These parameter values make up contour segments in the parameter space where the invariant circles have constant irrational rotation number. At the edges of these segments we find a breakdown of the hyperbolicity of the invariant circle. We observe the collision and loss of smoothness of two of the invariant Lyapunov bundles while the Lyapunov exponents all remain distinct. This is very similar to the breakdown of quasipe…
We consider pointwise, box, and Hausdorff dimensions of invariant measures for circle diffeomorphisms. We discuss the cases of rational, Diophantine, and Liouville rotation numbers. Our main result is that for any Liouville number $τ$ there exists a $C^\infty$ circle diffeomorphism with rotation number $τ$ such that the pointwise and box dimensions of its unique invariant measure do not exist. Moreover, the lower pointwise and lower box dimensions can equal any value $0\le β\le 1$.
For area-preserving twist maps on the annulus, we consider the problem on quantitative destruction of invariant circles with a given frequency $ω$ of an integrable system by a trigonometric polynomial of degree $N$ perturbation $R_N$ with $\|R_N\|_{C^r}<ε$. We obtain a relation among $N$, $r$, $ε$ and the arithmetic property of $ω$, for which the area-preserving map admit no invariant circles with $ω$.
We study the non-persistence of horizontal invariant circles for geodesically convex perturbations of the geodesic circular billiard on surfaces of constant curvature and show that the result obtained by Ramírez-Ros for the planar case, remains true for billiards on surfaces with constant curvature.
It is well-known that every multicritical circle map without periodic orbits admits a unique invariant Borel probability measure which is purely singular with respect to Lebesgue measure. Can such a map leave invariant an infinite, $σ$-finite invariant measure which is absolutely continuous with respect to Lebesgue measure? In this paper, using an old criterion due to Katznelson, we show that the answer to this question is no.
We construct a sequence of generating functions $(h_n)_{n\in\N}$, arbitrarily close to an integrable system in the $C^r$ topology with $r<4$ for $n$ large enough. With the variational method, we prove that for a given rotation number $ω$ and $n$ large enough, the exact monotone area-preserving twist maps generated by $(h_n)_{n\in\N}$ admit no invariant circles with rotation number $ω$.
Classical results by Poincaré and Denjoy show that two orientation-preserving $C^2$ diffeomorphisms of the circle are topologically conjugate if and only if they have the same rotation number. We show that there is no possibility of getting such a complete numerical Borel invariant for the conjugacy relation of orientation-preserving circle diffeomorphisms by homeomorphisms with higher degree of regularity. For instance, we consider conjugacy by Hölder homeomorphisms or by $C^k$-diffeomorphisms with $k\in \mathbb{Z}^+ \cup \{\infty\}$. The proof combines techniques from Descriptive Set Theory …
Using the novel notion of parablender, P. Berger proved that the existence of finitely many attractors is not Kolmogorov typical in parametric families of diffeomorphisms. Here, motivated by the concept of Newhouse domains we define Berger domains for families of diffeomorphisms. As an application, we show that the coexistence of infinitely many attracting invariant smooth circles is Kolmogorov typical in certain non-sectionally dissipative Berger domains of parametric families in dimension three or greater.
In a one-parameter study of a noninvertible family of maps of the plane arising in the context of a numerical integration scheme, Lorenz studied a sequence of transitions from an attracting fixed point to "computational chaos." As part of the transition sequence, he proposed the following as a possible scenario for the breakup of an invariant circle: the invariant circle develops regions of increasingly sharper curvature until at a critical parameter value it develops cusps; beyond this parameter value, the invariant circle fails to persist, and the system exhibits chaotic behavior on an invar…
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.
Given any smooth circle diffeomorphism with irrational rotation number, we show that its invariant probability measure is the only invariant distribution (up to multiplication by a real constant). As a consequence of this, we show that the space of real smooth coboundaries of such a diffeomorphism is closed if and only if its rotation number is Diophantine.
A long-standing question is what invariant sets can be shared by two maps acting on the same space. A similar question stands for invariant measures. A particular interesting case are expanding Markov maps of the circle. If the two involved maps are commuting the answer is almost complete. However very little is known in the non-commutative case. A first step is to analyze the structure of the invariant sets of a single map. For a mapping of the circle of class $C^α$, $α>1$, we study the topological structure of the set containing all compact invariant sets. Furthermore for a fixed such mappin…
Rotational invariant circles of area-preserving maps are an important and well-studied example of KAM tori. John Greene conjectured that the locally most robust rotational circles have rotation numbers that are noble, i.e., have continued fractions with a tail of ones, and that, of these circles, the most robust has golden mean rotation number. The accurate numerical confirmation of these conjectures relies on the map having a time reversal symmetry, and these methods cannot be applied to more general maps. In this paper, we develop a method based on a weighted Birkhoff average for identifying…
We consider for each t the set K(t) of points of the circle whose forward orbit for the doubling map does not intersect (0,t), and look at the dimension function eta(t) := H.dim K(t). We prove that at every bifurcation parameter t, the local Hoelder exponent of the dimension function equals the value of the function eta(t) itself. The same statement holds by replacing the doubling map with the map g(x) := dx mod 1 for d >2.
This paper studies the behavior under iteration of the maps T_{ab}(x,y)=(F_{ab}(x)-y,x) of the plane R^2, in which F_{ab}(x)=ax if x>=0 and bx if x<0. The orbits under iteration correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This family of maps has the parameter space (a,b)\in R^2. These maps are area-preserving homeomorphisms of R^s that map rays from the origin into rays from the origin. This paper shows the existence of special parameter values where T_{ab} has every nonzero orbit an invariant circle with irrational rotation …
We consider the situation of a dominant meromorphic self-map $f: X -rightarrow X$, where $X$ is a compact Kähler manifold of dimension $n > 1$. Suppose there is an embedded copy of $\mathbb{P}^1$ that is invariant under $f$, with $f$ holomorphic and transversally superattracting with degree $a$ in some neighborhood. Suppose $f$ restricted to this line is given by $z\mapsto z^b$, with resulting invariant circle $S$. We prove that if $a \geq b$, then the local stable manifold $W^s_\loc(S)$ is real analytic. In fact, we state and prove a suitable localized version that can be useful in wider cont…
A method via the KAM technique is introduced to study the existence of invariant tori and quasiperiodic solutions for impulsive Duffing-type equations with time period 1. Basing on several planar symplectic homeomorphisms and some estimates of impulsive perturbations under each symplectic homeomorphisms, we prove via the Moser's twist theorem the boundedness (Lagrange stability) and the existence of an invariant circle for the equation with area-preserving impulsive terms. And this invariant circle having any rotation number $ω>ω_0$ with some $ω_0>0$, so we obtain also that the solutions start…
Inspired by a twist maps theorem of Mather we study recurrent invariant sets that are ordered like rigid rotation under the action of the lift of a bimodal circle map $g$ to the $k$-fold cover. For each irrational in the interior of the rotation set the collection of the $k$-fold ordered semi-Denjoy minimal sets with that rotation number contains a $(k-1)$-dimensional ball in the weak topology on their unique invariant measures. We also describe completely their periodic orbit analogs for rational rotation numbers. The main tool is a generalization of a construction of Hedlund and Morse which …
We present and implement an algorithm for computing the invariant circle and the corresponding stable manifolds for 2-dimensional maps. The algorithm is based on the parameterization method, and it is backed up by an a-posteriori theorem established in [YdlL21]. The algorithm works irrespective of whether the internal dynamics in the invariant circle is a rotation or it is phase-locked. The algorithm converges quadratically and the number of operations and memory requirements for each step of the iteration is linear with respect to the size of the discretization. We also report on the result o…
The saddle-node bifurcation on an invariant circle (SNIC) is one of the codimension-one routes to creation or destruction of a periodic orbit in a continuous-time dynamical system. It governs the transition from resting behaviour to periodic spiking in many class I neurons, for example. Here, as a first step towards theory of networks of such units the effect of weak coupling between two systems with a SNIC is analysed. Two crucial parameters of the coupling are identified, which we call δ_1 and δ_2. Global bifurcation diagrams are obtained here for the "mutualistic" case δ_1 δ_2 > 0. Accordin…
In this paper we start a global study of the parameter space (dissipation, perturbation, frequency) of the dissipative spin-orbit problem in Celestial Mechanics with the aim of delimiting regions where the dynamics, or at least some of its important features, is determined. This is done via a study of the corresponding family of time $2π$-maps. In the same spirit as Chenciner in his 1895 article on bifurcations of elliptic fixed points, we are at first interested in delimiting regions where the normal hyperbolicity is sufficiently important to guarantee the persistence of an invariant attracti…
We present a one-parameter family of continuous, piecewise affine, area preserving maps of the square, which are inspired by a dynamical system in game theory. Interested in the coexistence of stochastic and (quasi-)periodic behaviour, we investigate invariant annuli separated by invariant circles. For certain parameter values, we explicitly construct invariant circles both of rational and irrational rotation numbers, and present numerical experiments of the dynamics on the annuli bounded by these circles.
We study a class of globally coupled maps in the continuum limit, where the individual maps are expanding maps of the circle. The circle maps in question are such that the uncoupled system admits a unique absolutely continuous invariant measure (acim), which is furthermore mixing. Interaction arises in the form of diffusive coupling, which involves a function that is discontinuous on the circle. We show that for sufficiently small coupling strength the coupled map system admits a unique absolutely continuous invariant distribution, which depends on the coupling strength $\varepsilon$. Furtherm…
A topological classification of many classes of dynamical systems with regular dynamics in low dimensions is often reduced to combinatorial invariants. In dimension 3 combinatorial invariants are proved to be insufficient even for simplest Morse-Smale diffeomorphisms. The complete topological invariant for the systems with a single saddle point on the 3-sphere is the embedding of the homotopy non-trivial knot into the manifold $\mathbb S^2\times\mathbb S^1$. If a diffeomorphism has several saddle points their unstable separatrices form arcs frames in the basin of the sink and circles frame in …
In this article we prove that iterated renormalisations of $\mathcal{C}^r$ circle diffeomorphisms with $d$ breaks, $r>2$, with given size of breaks, converge to an invariant family of piecewise Moebius maps, of dimension $2d$. We prove that this invariant family identifies with a \textit{relative character variety} $χ(π_1 Σ, \mathrm{PSL}(2,\mathbb{R}), \mathbf{h})$ where $Σ$ is a $d$-holed torus, and that the renormalisation operator identifies with a sub-action of the mapping class group $\mathrm{MCG}(Σ)$. This action is known to preserves a symplectic form, thanks to the work of Guruprasad-H…
Suppose G is a connected, simple, real Lie group with real rank at least two, M is an ergodic G-space with invariant probability measure, and f is a Homeo(T)-valued Borel cocycle, where Homeo(T) denotes the group of homeomorphisms of the circle T. We use an argument of E.Ghys to show that there is a G-invariant probability measure on the skew product of M and T. Furthermore, if the image of f consists of diffeomorphisms, then there is an invariant measure that is equivalent to the product measure; therefore, f is cohomologous to a cocycle with values in the isometry group of T.
Let P be a locally finite circle packing in the plane invariant under a non-elementary Kleinian group Gamma and with finitely many Gamma-orbits. When Gamma is geometrically finite, we construct an explicit Borel measure on the plane which describes the asymptotic distribution of small circles in P, assuming that either the critical exponent of Gamma is strictly bigger than 1 or P does not contain an infinite bouquet of tangent circles glued at a parabolic fixed point of Gamma. Our construction also works for P invariant under a geometrically infinite group Gamma, provided Gamma admits a finite…
We study the dynamics of iteration function systems generated by a pair of circle diffeomorphisms close to rotations in the $C^{1+\mathrm{bv}}$-topology. We characterize the obstruction to minimality and describe the limit set. In particular, there are no invariant minimal Cantor sets, which can be seen as a Denjoy/Duminy type theorem for iterated systems on the circle.
We present and analyze rigorously a quadratically convergent algorithm to compute an invariant circle for 2-dimensional maps along with the corresponding foliation by stable manifolds. We prove that when the algorithm starts from an initial guess that satisfies the invariance equation very approximately (depending on some condition numbers, evaluated on the approximate solution), then the algorithm converges to a true solution which is close to the initial guess. The convergence is faster than exponential in smooth norms. The distance from the exact solution and the approximation is bounded by…
Using optimal transport we study some dynamical properties of expanding circle maps acting on measures by push-forward. Using the definition of the tangent space to the space of measures introduced by Gigli, their derivative at the unique absolutely continuous invariant measure is computed. In particular it is shown that 1 is an eigenvalue of infinite multiplicity, so that the invariant measure admits many deformations into nearly invariant ones. As a consequence, we obtain counter-examples to an infinitesimal version of Furstenberg's conjecture. We also prove that this action has positive met…
For a circle packing P on the sphere invariant under a geometrically finite Kleinian group, we compute the asymptotic of the number of circles in P of spherical curvature at most $T$ which are contained in any given region.
We consider the free motion of a point particle inside a circular billiard with periodically moving boundary, with the assumption that the collisions of the particle with the boundary are elastic so that the energy of the particle is not preserved. It is known that if the motion of the boundary is regular enough then the energy is bounded due to the existence of invariant curves. We show that it is nevertheless possible that the motion of the particle is chaotic, also under regularity assumptions for the moving boundary. More precisely, we show that there exists a class of functions describing…
In this paper we answer positively a question of whether it is possible for a circle diffeomorphism with breaks to be smoothly conjugate to a rigid rotation in the case when its breaks are lying on pairwise distinct trajectories. An example constructed is a piecewise linear circle homeomorphism that has four break points lying on distinct trajectories, and whose invariant measure is absolutely continuous w.r.t.\ the Lebesgue measure. The irrational rotation number for our example can be chosen a Roth number, but not of bounded type.
We study center power with respect to circles derived from Poncelet 3-periodics (triangles) in a generic pair of ellipses as well as loci of their triangle centers. We show that (i) for any concentric pair, the power of the center with respect to either circumcircle or Euler's circle is invariant, and (ii) if a triangle center of a 3-periodic in a generic nested pair is a fixed affine combination of barycenter and circumcenter, its locus over the family is an ellipse.
In this paper, we give concrete descriptions of leafwise cohomology groups and show the regularized determinant expression of the dynamical zeta function for fiber bundles over $S^{1}$. As applications, we show a functional equation and some formulas for special values of the dynamical zeta function.
We give conditions that characterize the existence of an absolutely continuous invariant probability measure for a degree one $C^2$ endomorphism of the circle which is bimodal, such that all its periodic orbits are repelling, and such that both boundaries of its rotation interval are irrational numbers. Those conditions are satisfied when the boundary points of the rotation interval belong to a Diophantine class. In particular they hold for Lebesgue almost every rotation interval. The measure obtained is a global physical measure, and it is hyperbolic.
We consider a smooth expanding map g on the circle of degree 2. It is known that the Lyapunov exponent of g with respect to the unique invariant measure that is absolutely continuous with respect to the Lebesgue measure is positive and less than or equal to log 2 which, in addition, is less than or equal to the Lyapunov exponent of g with respect to the measure of maximal entropy. Moreover, the equalities only occur simultaneously. We show that these are the only restrictions on the Lyapunov exponents considered above for smooth expanding maps of degree 2.
In this paper, we show that, for scalar reaction-diffusion equations on the circle S1, the property of hyperbolicity of all equilibria and periodic orbits is generic with respect to the non-linearity . In other words, we prove that in an appropriate functional space of nonlinear terms in the equation, the set of functions, for which all equilibria and periodic orbits are hyperbolic, is a countable intersection of open dense sets. The main tools in the proof are the property of the lap number and the Sard-Smale theorem.
