-
Pseudo-synchronous solutions for dissipative non-autonomous systems
Authors:
Michele Bartuccelli,
Livia Corsi,
Jonathan Deane,
Guido Gentile
Abstract:
In the framework of KAM theory, the persistence of invariant tori in quasi-integrable systems is proved by assuming a non-resonance condition on the frequencies, such as the standard Diophantine condition or the milder Bryuno condition. In the presence of dissipation, most of the quasi-periodic solutions disappear and one expects, at most, only a few of them to survive together with the periodic a…
▽ More
In the framework of KAM theory, the persistence of invariant tori in quasi-integrable systems is proved by assuming a non-resonance condition on the frequencies, such as the standard Diophantine condition or the milder Bryuno condition. In the presence of dissipation, most of the quasi-periodic solutions disappear and one expects, at most, only a few of them to survive together with the periodic attractors. However, to prove that a quasi-periodic solution really exists, usually one assumes that the frequencies still satisfy a Diophantine condition and, furthermore, that some external parameters of the system are suitably tuned with them. In this paper we consider a class of systems on the one-dimensional torus, subject to a periodic perturbation and in the presence of dissipation, and show that, however small the dissipation, if the perturbation is a trigonometric polynomial in the angles and the unperturbed frequencies satisfy a non-resonance condition of finite order, depending on the size of the dissipation, then a quasi-periodic solution exists with slightly perturbed frequencies provided the size of the perturbation is small enough. If on the one hand the maximal size of the perturbation is not uniform in the degree of the trigonometric polynomial, on the other hand all but finitely many frequencies are allowed and there is no restriction arising from the tuning of the external parameters. A physically relevant case, where the result applies, is the spin-orbit model, which describes the rotation of a satellite around its own axis, while revolving on a Keplerian orbit around a planet, in the case in which the dissipation is taken into account through the MacDonald torque.
△ Less
Submitted 19 February, 2021;
originally announced February 2021.
-
Response solutions for strongly dissipative quasi-periodically forced systems with arbitrary nonlinearities and frequencies
Authors:
Guido Gentile,
Faenia Vaia
Abstract:
We consider quasi-periodically systems in the presence of dissipation and study the existence of response solutions, i.e. quasi-periodic solutions with the same frequency vector as the forcing term. When the dissipation is large enough and a suitable function involving the forcing has a simple zero, response solutions are known to exist without assuming any non resonance condition on the frequency…
▽ More
We consider quasi-periodically systems in the presence of dissipation and study the existence of response solutions, i.e. quasi-periodic solutions with the same frequency vector as the forcing term. When the dissipation is large enough and a suitable function involving the forcing has a simple zero, response solutions are known to exist without assuming any non resonance condition on the frequency vector. We analyse the case of non-simple zeroes and, in order to deal with the small divisors problem, we confine ourselves to two-dimensional frequency vectors, so as to use the properties of continued fractions. We show that, if the order of the zero is odd (if it is even, in general no response solution exists), a response solution still exists provided the inverse of the parameter measuring the dissipation belongs to a set given by the union of infinite intervals depending on the convergents of the ratio of the two components of the frequency vector. The intervals may be disjoint and as a consequence we obtain the existence of response solutions in a set with "holes". If we want the set to be connected we have to require some non-resonance condition on the frequency: in fact, we need a condition weaker than the Bryuno condition usually considered in small divisors problems.
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
Periodic and quasi-periodic attractors for the spin-orbit evolution of Mercury with a realistic tidal torque
Authors:
Michele Bartuccelli,
Jonathan Deane,
Guido Gentile
Abstract:
Mercury is entrapped in a 3:2 resonance: it rotates on its axis three times for every two revolutions it makes around the Sun. It is generally accepted that this is due to the large value of the eccentricity of its orbit. However, the mathematical model originally introduced to study its spin-orbit evolution proved not to be entirely convincing, because of the expression commonly used for the tida…
▽ More
Mercury is entrapped in a 3:2 resonance: it rotates on its axis three times for every two revolutions it makes around the Sun. It is generally accepted that this is due to the large value of the eccentricity of its orbit. However, the mathematical model originally introduced to study its spin-orbit evolution proved not to be entirely convincing, because of the expression commonly used for the tidal torque. Only recently, in a series of papers mainly by Efroimsky and Makarov, a different model for the tidal torque has been proposed, which has the advantages of being more realistic, and of providing a higher probability of capture in the 3:2 resonance with respect to the previous models. On the other hand, a drawback of the model is that the function describing the tidal torque is not smooth and consists of a superposition of kinks, so that both analytical and numerical computations turn out to be rather delicate: indeed, standard perturbation theory based on power series expansion cannot be applied and the implementation of a fast algorithm to integrate the equations of motion numerically requires a high degree of care. In this paper, we make a detailed study of the spin-orbit dynamics of Mercury, as predicted by the realistic model: In particular, we present numerical and analytical results about the nature of the librations of Mercury's spin in the 3:2 resonance. The results provide evidence that the librations are quasi-periodic in time.
△ Less
Submitted 3 March, 2017;
originally announced March 2017.
-
Response solutions for forced systems with large dissipation and arbitrary frequency vectors
Authors:
Guido Gentile,
Faenia Vaia
Abstract:
We study the behaviour of one-dimensional strongly dissipative systems subject to a quasi-periodic force. In particular we are interested in the existence of response solutions, that is quasi-periodic solutions having the same frequency vector as the forcing term. Earlier results available in the literature show that, when the dissipation is large enough and a suitable function involving the forci…
▽ More
We study the behaviour of one-dimensional strongly dissipative systems subject to a quasi-periodic force. In particular we are interested in the existence of response solutions, that is quasi-periodic solutions having the same frequency vector as the forcing term. Earlier results available in the literature show that, when the dissipation is large enough and a suitable function involving the forcing has a simple zero, response solutions can be proved to exist and to be attractive provided some Diophantine condition is assumed on the frequency vector. In this paper we show that the results extend to the case of arbitrary frequency vectors.
△ Less
Submitted 22 June, 2016;
originally announced June 2016.
-
Construction of the Lyapunov spectrum in a chaotic system displaying phase synchronization
Authors:
Leonardo De Carlo,
Guido Gentile,
Alessandro Giuliani
Abstract:
We consider a three-dimensional chaotic system consisting of the suspension of Arnold's cat map coupled with a clock via a weak dissipative interaction. We show that the coupled system displays a synchronization phenomenon, in the sense that the relative phase between the suspension flow and the clock locks to a special value, thus making the motion fall onto a lower dimensional attractor. More sp…
▽ More
We consider a three-dimensional chaotic system consisting of the suspension of Arnold's cat map coupled with a clock via a weak dissipative interaction. We show that the coupled system displays a synchronization phenomenon, in the sense that the relative phase between the suspension flow and the clock locks to a special value, thus making the motion fall onto a lower dimensional attractor. More specifically, we construct the attractive invariant manifold, of dimension smaller than three, using a convergent perturbative expansion. Moreover, we compute via convergent series the Lyapunov exponents, including notably the central one. The result generalizes a previous construction of the attractive invariant manifold in a similar but simpler model. The main novelty of the current construction relies in the computation of the Lyapunov spectrum, which consists of non-trivial analytic exponents. Some conjectures about a possible smoothening transition of the attractor as the coupling is increased are also discussed.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Invariant curves for exact symplectic twist maps of the cylinder with Bryuno rotation numbers
Authors:
Guido Gentile
Abstract:
Since Moser's seminal work it is well known that the invariant curves of smooth nearly integrable twist maps of the cylinder with Diophantine rotation number are preserved under perturbation. In this paper we show that, in the analytic class, the result extends to Bryuno rotation numbers. First, we will show that the series expansion for the invariant curves in powers of the perturbation parameter…
▽ More
Since Moser's seminal work it is well known that the invariant curves of smooth nearly integrable twist maps of the cylinder with Diophantine rotation number are preserved under perturbation. In this paper we show that, in the analytic class, the result extends to Bryuno rotation numbers. First, we will show that the series expansion for the invariant curves in powers of the perturbation parameter can be formally defined, then we shall prove that the series converges absolutely in a neighbourhood of the origin. This will be achieved using multiscale analysis and renormalisation group techniques to express the coefficients of the series as sums of values which are represented graphically as tree diagrams and then exploit cancellations between terms contributing to the same perturbation order. As a byproduct we shall see that, when perturbing linear maps, the series expansion for an analytic invariant curve converges for all perturbations if and only if the corresponding rotation number satisfies the Bryuno condition.
△ Less
Submitted 29 April, 2014; v1 submitted 25 October, 2013;
originally announced October 2013.
-
Lower-dimensional invariant tori for perturbations of a class of non-convex Hamiltonian functions
Authors:
Livia Corsi,
Roberto Feola,
Guido Gentile
Abstract:
We consider a class of quasi-integrable Hamiltonian systems obtained by adding to a non-convex Hamiltonian function of an integrable system a perturbation depending only on the angle variables. We focus on a resonant maximal torus of the unperturbed system, foliated into a family of lower-dimensional tori of codimension 1, invariant under a quasi-periodic flow with rotation vector satisfying some…
▽ More
We consider a class of quasi-integrable Hamiltonian systems obtained by adding to a non-convex Hamiltonian function of an integrable system a perturbation depending only on the angle variables. We focus on a resonant maximal torus of the unperturbed system, foliated into a family of lower-dimensional tori of codimension 1, invariant under a quasi-periodic flow with rotation vector satisfying some mild Diophantine condition. We show that at least one lower-dimensional torus with that rotation vector always exists also for the perturbed system. The proof is based on multiscale analysis and resummation procedures of divergent series. A crucial role is played by suitable symmetries and cancellations, ultimately due to the Hamiltonian structure of the system.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Attractiveness of periodic orbits in parametrically forced systemswith time-increasing friction
Authors:
Michele Bartuccelli,
Jonathan Deane,
Guido Gentile
Abstract:
We consider dissipative one-dimensional systems subject to a periodic force and study numerically how a time-varying friction affects the dynamics. As a model system, particularly suited for numerical analysis, we investigate the driven cubic oscillator in the presence of friction. We find that, if the damping coefficient increases in time up to a final constant value, then the basins of attractio…
▽ More
We consider dissipative one-dimensional systems subject to a periodic force and study numerically how a time-varying friction affects the dynamics. As a model system, particularly suited for numerical analysis, we investigate the driven cubic oscillator in the presence of friction. We find that, if the damping coefficient increases in time up to a final constant value, then the basins of attraction of the leading resonances are larger than they would have been if the coefficient had been fixed at that value since the beginning. From a quantitative point of view, the scenario depends both on the final value and the growth rate of the damping coefficient. The relevance of the results for the spin-orbit model are discussed in some detail.
△ Less
Submitted 18 July, 2012;
originally announced July 2012.
-
Resonant motions in the presence of degeneracies for quasi-periodically perturbed systems
Authors:
Livia Corsi,
Guido Gentile
Abstract:
We consider one-dimensional systems in the presence of a quasi-periodic perturbation, in the analytical setting, and study the problem of existence of quasi-periodic solutions which are resonant with the frequency vector of the perturbation. We assume that the unperturbed system is locally integrable and anisochronous, and that the frequency vector of the perturbation satisfies the Bryuno conditio…
▽ More
We consider one-dimensional systems in the presence of a quasi-periodic perturbation, in the analytical setting, and study the problem of existence of quasi-periodic solutions which are resonant with the frequency vector of the perturbation. We assume that the unperturbed system is locally integrable and anisochronous, and that the frequency vector of the perturbation satisfies the Bryuno condition. Existence of resonant solutions is related to the zeroes of a suitable function, called the Melnikov function - by analogy with the periodic case. We show that, if the Melnikov function has a zero of odd order and under some further condition on the sign of the perturbation parameter, then there exists at least one resonant solution which continues an unperturbed solution. If the Melnikov function is identically zero then one can push perturbation theory up to the order where a counterpart of Melnikov function appears and does not vanish identically: if such a function has a zero of odd order and a suitable positiveness condition is met, again the same persistence result is obtained. If the system is Hamiltonian, then the procedure can be indefinitely iterated and no positiveness condition must be required: as a byproduct, the result follows that at least one resonant quasi-periodic solution always exists with no assumption on the perturbation. Such a solution can be interpreted as a (parabolic) lower-dimensional torus.
△ Less
Submitted 20 February, 2012;
originally announced February 2012.
-
Resonances within Chaos
Authors:
Giovanni Gallavotti,
Guido Gentile,
Alessandro Giuliani
Abstract:
A chaotic system under periodic forcing can develop a periodically visited strange attractor. We discuss simple models in which the phenomenon, quite easy to see in numerical simulations, can be completely studied analytically.
A chaotic system under periodic forcing can develop a periodically visited strange attractor. We discuss simple models in which the phenomenon, quite easy to see in numerical simulations, can be completely studied analytically.
△ Less
Submitted 7 June, 2011;
originally announced June 2011.
-
Response solutions for arbitrary quasi-periodic perturbations with Bryuno frequency vector
Authors:
Livia Corsi,
Guido Gentile
Abstract:
We study the problem of existence of response solutions for a real-analytic one-dimensional system, consisting of a rotator subjected to a small quasi-periodic forcing. We prove that at least one response solution always exists, without any assumption on the forcing besides smallness and analyticity. This strengthens the results available in the literature, where generic non-degeneracy conditions…
▽ More
We study the problem of existence of response solutions for a real-analytic one-dimensional system, consisting of a rotator subjected to a small quasi-periodic forcing. We prove that at least one response solution always exists, without any assumption on the forcing besides smallness and analyticity. This strengthens the results available in the literature, where generic non-degeneracy conditions are assumed. The proof is based on a diagrammatic formalism and relies on renormalisation group techniques, which exploit the formal analogy with problems of quantum field theory; a crucial role is played by remarkable identities between classes of diagrams.
△ Less
Submitted 3 November, 2010;
originally announced November 2010.
-
KAM theory in configuration space and cancellations in the Lindstedt series
Authors:
Livia Corsi,
Guido Gentile,
Michela Procesi
Abstract:
The KAM theorem for analytic quasi-integrable anisochronous Hamiltonian systems yields that the perturbation expansion (Lindstedt series) for quasi-periodic solutions with Diophantine frequency vector converges. If one studies the Lindstedt series, one finds that convergence is ultimately related to the presence of cancellations between contributions of the same perturbation order. In turn, this…
▽ More
The KAM theorem for analytic quasi-integrable anisochronous Hamiltonian systems yields that the perturbation expansion (Lindstedt series) for quasi-periodic solutions with Diophantine frequency vector converges. If one studies the Lindstedt series, one finds that convergence is ultimately related to the presence of cancellations between contributions of the same perturbation order. In turn, this is due to symmetries in the problem. Such symmetries are easily visualised in action-angle coordinates, where KAM theorem is usually formulated, by exploiting the analogy between Lindstedt series and perturbation expansions in quantum field theory and, in particular, the possibility of expressing the solutions in terms of tree graphs, which are the analogue of Feynman diagrams. If the unperturbed system is isochronous, Moser's modifying terms theorem ensures that an analytic quasi-periodic solution with the same Diophantine frequency vector as the unperturbed Hamiltonian exists for the system obtained by adding a suitable constant (counterterm) to the vector field. Also in this case, one can follow the alternative approach of studying the perturbation expansion for both the solution and the counterterm, and again convergence of the two series is obtained as a consequence of deep cancellations between contributions of the same order. We revisit Moser's theorem, by studying the perturbation expansion one obtains by working in Cartesian coordinates. We investigate the symmetries giving rise to the cancellations which makes possible the convergence of the series. We find that the cancellation mechanism works in a completely different way in Cartesian coordinates. The interpretation of the underlying symmetries in terms of tree graphs is much more subtle than in the case of action-angle coordinates.
△ Less
Submitted 15 December, 2009;
originally announced December 2009.
-
Borel summability and Lindstedt series
Authors:
O. Costin,
G. Gallavotti,
G. Gentile,
A. Giuliani
Abstract:
Resonant motions of integrable systems subject to perturbations may continue to exist and to cover surfaces with parametric equations admitting a formal power expansion in the strength of the perturbation. Such series may be, sometimes, summed via suitable sum rules defining $C^\infty$ functions of the perturbation strength: here we find sufficient conditions for the Borel summability of their s…
▽ More
Resonant motions of integrable systems subject to perturbations may continue to exist and to cover surfaces with parametric equations admitting a formal power expansion in the strength of the perturbation. Such series may be, sometimes, summed via suitable sum rules defining $C^\infty$ functions of the perturbation strength: here we find sufficient conditions for the Borel summability of their sums in the case of two-dimensional rotation vectors with Diophantine exponent $τ=1$ (e. g. with ratio of the two independent frequencies equal to the golden mean).
△ Less
Submitted 15 January, 2006;
originally announced January 2006.
-
Resummation of perturbation series and reducibility for Bryuno skew-product flows
Authors:
Guido Gentile
Abstract:
We consider skew-product systems on T^d x SL(2,R) for Bryuno base flows close to constant coefficients, depending on a parameter, in any dimension d, and we prove reducibility for a large measure set of values of the parameter. The proof is based on a resummation procedure of the formal power series for the conjugation, and uses techniques of renormalisation group in quantum field theory.
We consider skew-product systems on T^d x SL(2,R) for Bryuno base flows close to constant coefficients, depending on a parameter, in any dimension d, and we prove reducibility for a large measure set of values of the parameter. The proof is based on a resummation procedure of the formal power series for the conjugation, and uses techniques of renormalisation group in quantum field theory.
△ Less
Submitted 1 December, 2005;
originally announced December 2005.
-
Fractional Lindstedt series
Authors:
Giovanni Gallavotti,
Guido Gentile,
Alessandro Giuliani
Abstract:
The parametric equations of the surfaces on which highly resonant quasi-periodic motions develop (lower-dimensional tori) cannot be analytically continued, in general, in the perturbation parameter, i.e. they are not analytic functions of the perturbation parameter. However rather generally quasi-periodic motions whose frequencies satisfy only one rational relation ("resonances of order 1") admi…
▽ More
The parametric equations of the surfaces on which highly resonant quasi-periodic motions develop (lower-dimensional tori) cannot be analytically continued, in general, in the perturbation parameter, i.e. they are not analytic functions of the perturbation parameter. However rather generally quasi-periodic motions whose frequencies satisfy only one rational relation ("resonances of order 1") admit formal perturbation expansions in terms of a fractional power of the perturbation parameter, depending on the degeneration of the resonance. We find conditions for this to happen, and in such a case we prove that the formal expansion is convergent after suitable resummation.
△ Less
Submitted 26 September, 2005;
originally announced September 2005.
-
Degenerate lower-dimensional tori under the Bryuno condition
Authors:
Guido Gentile
Abstract:
We study the problem of conservation of maximal and lower-dimensional invariant tori for analytic convex quasi-integrable Hamiltonian systems. In the absence of perturbation the lower-dimensional tori are degenerate, in the sense that the normal frequencies vanish, so that the tori are neither elliptic nor hyperbolic. We show that if the perturbation parameter is small enough, for a large measur…
▽ More
We study the problem of conservation of maximal and lower-dimensional invariant tori for analytic convex quasi-integrable Hamiltonian systems. In the absence of perturbation the lower-dimensional tori are degenerate, in the sense that the normal frequencies vanish, so that the tori are neither elliptic nor hyperbolic. We show that if the perturbation parameter is small enough, for a large measure subset of any resonant submanifold of the action variable space, under some generic non-degeneracy conditions on the perturbation function, there are lower-dimensional tori which are conserved. They are characterised by rotation vectors satisfying some generalised Bryuno conditions involving also the normal frequencies. We also show that, again under some generic assumptions on the perturbation, any torus with fixed rotation vector satisfying the Bryuno condition is conserved for most values of the perturbation parameter in an interval small enough around the origin. According to the sign of the normal frequencies and of the perturbation parameter the torus becomes either hyperbolic or elliptic or of mixed type.
△ Less
Submitted 28 July, 2005;
originally announced July 2005.
-
Stability for quasi-periodically perturbed Hill's equations
Authors:
Guido Gentile,
Daniel A. Cortez,
Joao C. A. Barata
Abstract:
We consider a perturbed Hill's equation of the form $\ddot φ+
(p_{0}(t) + εp_{1}(t)) φ= 0$, where $p_{0}$ is real analytic and periodic, $p_{1}$ is real analytic and quasi-periodic and $\eps$ is a ``small'' real parameter. Assuming Diophantine conditions on the frequencies of the decoupled system, i.e. the frequencies of the external potentials $p_{0}$ and $p_{1}$ and the proper frequency of t…
▽ More
We consider a perturbed Hill's equation of the form $\ddot φ+
(p_{0}(t) + εp_{1}(t)) φ= 0$, where $p_{0}$ is real analytic and periodic, $p_{1}$ is real analytic and quasi-periodic and $\eps$ is a ``small'' real parameter. Assuming Diophantine conditions on the frequencies of the decoupled system, i.e. the frequencies of the external potentials $p_{0}$ and $p_{1}$ and the proper frequency of the unperturbed ($ε=0$) Hill's equation, but without making non-degeneracy assumptions on the perturbing potential $p_{1}$, we prove that quasi-periodic solutions of the unperturbed equation can be continued into quasi-periodic solutions if $ε$ lies in a Cantor set of relatively large measure in $[-ε_0,ε_0]$, where $ε_0$ is small enough. Our method is based on a resummation procedure of a formal Lindstedt series obtained as a solution of a generalized Riccati equation associated to Hill's problem.
△ Less
Submitted 11 October, 2004;
originally announced October 2004.
-
Scaling of the Critical Function for the Standard Map: Some Numerical Results
Authors:
Alberto Berretti,
Guido Gentile
Abstract:
The behavior of the critical function for the breakdown of the homotopically non-trivial invariant (KAM) curves for the standard map, as the rotation number tends to a rational number, is investigated using a version of Greene's residue criterion. The results are compared to the analogous ones for the radius of convergence of the Lindstedt series, in which case rigorous theorems have been proved…
▽ More
The behavior of the critical function for the breakdown of the homotopically non-trivial invariant (KAM) curves for the standard map, as the rotation number tends to a rational number, is investigated using a version of Greene's residue criterion. The results are compared to the analogous ones for the radius of convergence of the Lindstedt series, in which case rigorous theorems have been proved. The conjectured interpolation of the critical function in terms of the Bryuno function is discussed.
△ Less
Submitted 15 May, 2003;
originally announced May 2003.
-
Hyperbolic low-dimensional invariant tori and summations of divergent series
Authors:
G. Gallavotti,
G. Gentile
Abstract:
We consider a class of a priori stable quasi-integrable analytic Hamiltonian systems and study the regularity of low-dimensional hyperbolic invariant tori as functions of the perturbation parameter. We show that, under natural nonresonance conditions, such tori exist and can be identified through the maxima or minima of a suitable potential. They are analytic inside a disc centered at the origin…
▽ More
We consider a class of a priori stable quasi-integrable analytic Hamiltonian systems and study the regularity of low-dimensional hyperbolic invariant tori as functions of the perturbation parameter. We show that, under natural nonresonance conditions, such tori exist and can be identified through the maxima or minima of a suitable potential. They are analytic inside a disc centered at the origin and deprived of a region around the positive or negative real axis with a quadratic cusp at the origin. The invariant tori admit an asymptotic series at the origin with Taylor coefficients that grow at most as a power of a factorial and a remainder that to any order N is bounded by the (N+1)-st power of the argument times a power of $N!$. We show the existence of a summation criterion of the (generically divergent) series, in powers of the perturbation size, that represent the parametric equations of the tori by following the renormalization group methods for the resummations of perturbative series in quantum field theory
△ Less
Submitted 12 July, 2001;
originally announced July 2001.
