Spectral asymptotics via the semiclassical Birkhoff normal form

This article gives a simple treatment of the quantum Birkhoff normal form for semiclassical pseudo-differential operators with smooth coefficients. The normal form is applied to describe the discrete spectrum in a generalised non-degenerate potential well, yielding uniform estimates in the energy $E$. This permits a detailed study of the spectrum in various asymptotic regions of the parameters (E,\h), and gives improvements and new proofs for many of the results in the field. In the completely resonant case we show that the pseudo-differential operator can be reduced to a Toeplitz operator on a reduced symplectic orbifold. Using this quantum reduction, new spectral asymptotics concerning the fine structure of eigenvalue clusters are proved. In the case of polynomial differential operators, a combinatorial trace formula is obtained.Comment: 44 pages, 2 figure

Aspects of the planetary Birkhoff normal form

The discovery in [G. Pinzari. PhD thesis. Univ. Roma Tre. 2009], [L. Chierchia and G. Pinzari, Invent. Math. 2011] of the Birkhoff normal form for the planetary many--body problem opened new insights and hopes for the comprehension of the dynamics of this problem. Remarkably, it allowed to give a {\sl direct} proof of the celebrated Arnold's Theorem [V. I. Arnold. Uspehi Math. Nauk. 1963] on the stability of planetary motions. In this paper, using a "ad hoc" set of symplectic variables, we develop an asymptotic formula for this normal form that may turn to be useful in applications. As an example, we provide two very simple applications to the three-body problem: we prove a conjecture by [V. I. Arnold. cit] on the "Kolmogorov set"of this problem and, using Nehoro{\v{s}}ev Theory [Nehoro{\v{s}}ev. Uspehi Math. Nauk. 1977], we prove, in the planar case, stability of all planetary actions over exponentially-long times, provided mean--motion resonances are excluded. We also briefly discuss perspectives and problems for full generalization of the results in the paper.Comment: 44 pages. Keywords: Averaging Theory, Birkhoff normal form, Nehoro{\v{s}}ev Theory, Planetary many--body problem, Arnold's Theorem on the stability of planetary motions, Properly--degenerate kam Theory, steepness. Revised version, including Reviewer's comments. Typos correcte

Quasi-periodic solutions for quasi-linear generalized KdV equations

We prove the existence of Cantor families of small amplitude, linearly stable, quasi-periodic solutions of quasi-linear autonomous Hamiltonian generalized KdV equations. We consider the most general quasi-linear quadratic nonlinearity. The proof is based on an iterative Nash-Moser algorithm. To initialize this scheme, we need to perform a bifurcation analysis taking into account the strongly perturbative effects of the nonlinearity near the origin. In particular, we implement a weak version of the Birkhoff normal form method. The inversion of the linearized operators at each step of the iteration is achieved by pseudo-differential techniques, linear Birkhoff normal form algorithms and a linear KAM reducibility scheme.Comment: arXiv admin note: substantial text overlap with arXiv:1404.3125, arXiv:1508.02007, arXiv:1602.02411 by other author