arXiv subjects
Publications and source records attributed to Livia Corsi.
We describe some recent results on existence of quasi-periodic solutions of Hamiltonian PDEs on compact manifolds. We prove a linear stability result for the non-linear Schrödinger equation in the case of $SU(2)$ and $SO(3)$.
We consider a system of rotators subject to a small quasi-periodic forcing. We require the forcing to be analytic and satisfy a time-reversibility property and we assume its frequency vector to be Bryuno. Then we prove that, without imposing any non-degeneracy condition on the forcing, there exists at least one quasi-periodic solution with the same frequency vector as the forcing. The result can be interpreted as a theorem of persistence of lower-dimensional tori of arbitrary codimension in degenerate cases.
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.
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.
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.
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.
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.
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.
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.
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.