Source author record

Livia Corsi

Livia Corsi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2021arXiv

Pseudo-synchronous solutions for dissipative non-autonomous systems

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.

preprint2020arXiv

Almost-periodic Response Solutions for a forced quasi-linear Airy equation

We prove the existence of almost-periodic solutions for quasi-linear perturbations of the Airy equation. This is the first result about the existence of this type of solutions for a quasi-linear PDE. The solutions turn out to be analytic in time and space. To prove our result we use a Craig-Wayne approach combined with a KAM reducibility scheme and pseudo-differential calculus on ${\mathbb T}^\infty$.

preprint2019arXiv

Expansions in the delay of quasi-periodic solutions for state dependent delay equations

We consider several models of State Dependent Delay Differential Equations (SDDEs), in which the delay is affected by a small parameter. This is a very singular perturbation since the nature of the equation changes. Under some conditions, we construct formal power series, which solve the SDDEs order by order. These series are quasi-periodic functions of time. This is very similar to the Lindstedt procedure in celestial mechanics. Truncations of these power series can be taken as input for a-posteriori theorems, that show that near the approximate solutions there are true solutions. In this way, we hope that one can construct a catalogue of solutions for SDDEs, bypassing the need of a systematic theory of existence and uniqueness for all initial conditions.

preprint2015arXiv

Response solutions for quasi-periodically forced, dissipative wave equations

We consider several models of nonlinear wave equations subject to very strong damping and quasi-periodic external forcing. This is a singular perturbation, since the damping is not the highest order term. We study the existence of response solutions (i.e., quasi-periodic solutions with the same frequency as the forcing). Under very general non-resonance conditions on the frequency, we show the existence of asymptotic expansions of the response solution; moreover, we prove that the response solution indeed exists and depends analytically on $\varepsilon$ (where $\varepsilon$ is the inverse of the coefficient multiplying the damping) for $\varepsilon$ in a complex domain, which in some cases includes disks tangent to the imaginary axis at the origin. In other models, we prove analyticity in cones of aperture $π/2$ and we conjecture it is optimal. These results have consequences for the asymptotic expansions of the response solutions considered in the literature. The proof of our results relies on reformulating the problem as a fixed point problem, constructing an approximate solution and studying the properties of iterations that converge to the solutions of the fixed point problem.

preprint2013arXiv

An abstract Nash-Moser theorem and quasi-periodic solutions for NLW and NLS on compact Lie groups and homogeneous manifold

We prove an abstract Implicit Function Theorem with parameters for smooth operators defined on sequence scales, modeled for the search of quasi-periodic solutions of PDEs. The tame estimates required for the inverse linearised operators at each step of the iterative scheme are deduced via a multiscale inductive argument. The Cantor like set of parameters where the solution exists is defined in a non inductive way. This formulation completely decouples the iterative scheme from the measure theoretical analysis of the parameters where the small divisors non-resonance conditions are verified. As an application, we deduce the existence of quasi-periodic solutions for forced NLW and NLS equations on any compact Lie group or manifold which is homogeneous with respect to a compact Lie group, extending previous results valid only for tori. A basic tool of harmonic analysis is the highest weight theory for the irreducible representations of compact Lie groups.

preprint2012arXiv

Convergent series for quasi-periodically forced strongly dissipative systems

We study the ordinary differential equation ${\varepsilon}\ddot x+\dot x + {\varepsilon} g(x) = {\varepsilon} f(ωt)$, with $f$ and $g$ analytic and $f$ quasi-periodic in $t$ with frequency vector $ω\in R^{d}$. We show that if there exists $c_0\in R$ such that $g(c_0)$ equals the average of $f$ and the first non-zero derivative of $g$ at $c_0$ is of odd order $n$, then, for ${\varepsilon}$ small enough and under very mild Diophantine conditions on $ω$, there exists a quasi-periodic solution close to $c_0$, with the same frequency vector as $f$. In particular if $f$ is a trigonometric polynomial the Diophantine condition on $ω$ can be completely removed. This extends results previously available in the literature for $n=1$. We also point out that, if $n=1$ and the first derivative of $g$ at $c_0$ is positive, then the quasi-periodic solution is locally unique and attractive.

preprint2012arXiv

Domains of analyticity for response solutions in strongly dissipative forced systems

We study the ordinary differential equation $\varepsilon\ddot x + \dot x + \varepsilon g(x) = \e f(ωt)$, where $g$ and $f$ are real-analytic functions, with $f$ quasi-periodic in $t$ with frequency vector $ω$. If $c_{0} \in \mathbb{R}$ is such that $g(c_0)$ equals the average of $f$ and $g'(c_0)\neq0$, under very mild assumptions on $ω$ there exists a quasi-periodic solution close to $c_0$. We show that such a solution depends analytically on $\varepsilon$ in a domain of the complex plane tangent more than quadratically to the imaginary axis at the origin.

preprint2012arXiv

Lower-dimensional invariant tori for perturbations of a class of non-convex Hamiltonian functions

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.

preprint2012arXiv

Resonant motions in the presence of degeneracies for quasi-periodically perturbed systems

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.

preprint2010arXiv

Response solutions for arbitrary quasi-periodic perturbations with Bryuno frequency vector

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.

preprint2009arXiv

KAM theory in configuration space and cancellations in the Lindstedt series

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.

preprint2008arXiv

Melnikov theory to all orders and Puiseux series for subharmonic solutions

We study the problem of subharmonic bifurcations for analytic systems in the plane with perturbations depending periodically on time, in the case in which we only assume that the subharmonic Melnikov function has at least one zero. If the order of zero is odd, then there is always at least one subharmonic solution, whereas if the order is even in general other conditions have to be assumed to guarantee the existence of subharmonic solutions. Even when such solutions exist, in general they are not analytic in the perturbation parameter. We show that they are analytic in a fractional power of the perturbation parameter. To obtain a fully constructive algorithm which allows us not only to prove existence but also to obtain bounds on the radius of analyticity and to approximate the solutions within any fixed accuracy, we need further assumptions. The method we use to construct the solution -- when this is possible -- is based on a combination of the Newton-Puiseux algorithm and the tree formalism. This leads to a graphical representation of the solution in terms of diagrams. Finally, if the subharmonic Melnikov function is identically zero, we show that it is possible to introduce higher order generalisations, for which the same kind of analysis can be carried out.