Degenerate KAM theory for partial differential equations

This paper deals with degenerate KAM theory for lower dimensional elliptic tori of infinite dimensional Hamiltonian systems, depending on one parameter only. We assume that the linear frequencies are analytic functions of the parameter, satisfy a weak non-degeneracy condition of Rüssmann type and an asymptotic behavior. An application to nonlinear wave equations is given.     

Further PDE methods for weak KAM theory

We introduce and make estimates for several new approximations that in appropriate asymptotic limits yield the key PDE for weak KAM theory, namely a Hamilton–Jacobi type equation for a potential u and a coupled transport equation for a measure σ. We revisit as well a singular variational approximation introduced in Evans (Calc Vari Partial Differ Equ 17:159–177, 2003) and demonstrate “approximate integrability” of certain phase space dynamics related to the Hamiltonian flow. Other examples include a pair of strongly coupled PDE suggested by the Lions–Lasry theory (Lasry and Lions in Japan J Math 2:229–260, 2007) of mean field games and a new and extremely singular elliptic equation suggested by sup-norm variational theory. Supported in part by NSF Grant DMS-0500452.     

Partial preservation of frequencies and floquet exponents in KAM theory

Under a small perturbation of a completely integrable Hamiltonian system, invariant tori with Diophantine frequencies of motion are not destroyed but only slightly deformed, provided that the Hessian (with respect to the action variables) of the unperturbed Hamiltonian vanishes nowhere (the Kolmogorov nondegeneracy). The motion on every perturbed torus is quasiperiodic with the same frequencies. In this sense the frequencies of invariant tori of the unperturbed system are preserved. Recently, it has been found that the Kolmogorov nondegeneracy condition can be weakened so as to guarantee the preservation of only some subset of frequencies. Such partial preservation of frequencies can also be defined for lower dimensional invariant tori, whose dimension is less than the number of degrees of freedom. We consider a more general problem of partial preservation not only of the frequencies of invariant tori but also of their Floquet exponents (the eigenvalues of the coefficient matrix of the variational equation along the torus). The results are formulated for Hamiltonian, reversible, and dissipative systems (with a complete proof for the reversible case). Original Russian Text ? M.B. Sevryuk, 2007, published in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2007, Vol. 259, pp. 174–202.     

Some new PDE methods for weak KAM theory

We discuss a new approximate variational principle for weak KAM theory. The advantage of this approach is that we build both a minimizing measure and a solution of the generalized eikonal equation at the same time. Furthermore the approximations are smooth, and so we can derive some interesting formulas upon differentiating the Euler-Lagrange equation. Our method is inspired by the ”calculus of variations in the sup-norm” ideas of Aronsson, Jensen, Barron and others. Received: 30 November 2001 / Accepted: 23 January 2002 / Published online: 5 September 2002 RID="*" ID="*" Supported in part by NSF Grant DMS-0070480 and by the Miller Institute for Basic Research in Science, UC Berkeley     

KAM theory and the 3D Euler equation

We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold M   is not mixing in the C^k$C^k$ topology (k>4$k>4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Euler equation. Moreover, we obtain an obstruction for the mixing under the Euler flow of C^k$C^k$-neighborhoods of divergence-free vectorfields on M  . On the way we construct a family of functionals on the space of divergence-free C¹$C^1$ vectorfields on the manifold, which are integrals of motion of the 3D Euler equation. Given a vectorfield these functionals measure the part of the manifold foliated by ergodic invariant tori of fixed isotopy types. We use the KAM theory to establish some continuity properties of these functionals in the C^k$C^k$-topology. This allows one to get a lower bound for the C^k$C^k$-distance between a divergence-free vectorfield (in particular, a steady solution) and a trajectory of the Euler flow.     

A point-wise criterion for quasi-periodic motions in the KAM theory

We consider initial value problems for nearly integrable Hamiltonian systems. We formulate a sufficient condition for each initial value to admit the quasi-periodic solution with a Diophantine frequency vector, without any nondegeneracy of the integrable part. We reconstruct the KAM theorem under Rüssmann’s nondegeneracy by the measure estimate for the set of initial values satisfying this sufficient condition. Our point-wise version is of the form analogous to the corresponding problems for the integrable case. We compare our framework with the standard KAM theorem through a brief review of the KAM theory.     

Partial preservation of frequencies and floquet exponents in KAM theory

Under a small perturbation of a completely integrable Hamiltonian system, invariant tori with Diophantine frequencies of motion are not destroyed but only slightly deformed, provided that the Hessian (with respect to the action variables) of the unperturbed Hamiltonian vanishes nowhere (the Kolmogorov nondegeneracy). The motion on every perturbed torus is quasiperiodic with the same frequencies. In this sense the frequencies of invariant tori of the unperturbed system are preserved. Recently, it has been found that the Kolmogorov nondegeneracy condition can be weakened so as to guarantee the preservation of only some subset of frequencies. Such partial preservation of frequencies can also be defined for lower dimensional invariant tori, whose dimension is less than the number of degrees of freedom. We consider a more general problem of partial preservation not only of the frequencies of invariant tori but also of their Floquet exponents (the eigenvalues of the coefficient matrix of the variational equation along the torus). The results are formulated for Hamiltonian, reversible, and dissipative systems (with a complete proof for the reversible case).     

The reversible context 2 in KAM theory: the first steps

The reversible context 2 in KAM theory refers to the situation where dim FixG < 1/2 codim T, here FixG is the fixed point manifold of the reversing involution G and T is the invariant torus one deals with. Up to now, this context has been entirely unexplored. We obtain a first result on the persistence of invariant tori in the reversible context 2 (for the particular case where dim Fix G = 0) using J. Moser’s modifying terms theorem of 1967.     

Analytic smoothing of geometric maps with applications to KAM theory

We show that finitely differentiable diffeomorphisms which are either symplectic, volume-preserving, or contact can be approximated with analytic diffeomorphisms that are, respectively, symplectic, volume-preserving or contact. We prove that the approximating functions are uniformly bounded on some complex domains and that the rate of convergence, in Cr-norms, of the approximation can be estimated in terms of the size of such complex domains and the order of differentiability of the approximated function. As an application to this result, we give a proof of the existence, the local uniqueness and the bootstrap of regularity of KAM tori for finitely differentiable symplectic maps. The symplectic maps considered here are not assumed either to be written in action-angle variables or to be perturbations of integrable systems. Our main assumption is the existence of a finitely differentiable parameterization of a maximal dimensional torus that satisfies a non-degeneracy condition and that is approximately invariant. The symplectic, volume-preserving and contact forms are assumed to be analytic.     

Families of invariant tori in KAM theory: Interplay of integer characteristics

The purpose of this brief note is twofold. First, we summarize in a very concise form the principal information on Whitney smooth families of quasi-periodic invariant tori in various contexts of KAM theory. Our second goal is to attract (via an informal discussion and a simple example) the experts’ attention to the peculiarities of the so-called excitation of elliptic normal modes in the reversible context 2.     

A-posteriori KAM theory with optimal estimates for partially integrable systems

In this paper we present a-posteriori KAM results for existence of d-dimensional isotropic invariant tori for n-DOF Hamiltonian systems with additional $n?d$ independent first integrals in involution. We carry out a covariant formulation that does not require the use of action-angle variables nor symplectic reduction techniques. The main advantage is that we overcome the curse of dimensionality avoiding the practical shortcomings produced by the use of reduced coordinates, which may cause difficulties and underperformance when quantifying the hypotheses of the KAM theorem in such reduced coordinates. The results include ordinary and (generalized) iso-energetic KAM theorems. The approach is suitable to perform numerical computations and computer assisted proofs.     

L∞ variational problems and weak KAM theory

In the first part of this paper, we extend several results in Crandall, Evans, and Gariepy [11] and Crandall and Evans [10] to absolute minimizers of more general L^∞ functionals. In the second part, we present some interesting connections between L^∞ variational problems and weak KAM theory. As an application, we will advance the main result in Fathi and Siconolfi [17], i.e, the existence of a C¹ subsolution of the Hamilton‐Jacobi equation. Moreover, we will propose a possible approximation of the projected Aubrey set by a variational approach that was first used by Evans in [14]. © 2007 Wiley Periodicals, Inc.     

On the numerical optimization of KAM estimates by classical perturbation theory

A recently proposed algorithm for the estimate of the threshold above which a certain torus disappears, which combines classical Birkhoff normalization procedure with KAM theory, is reconsidered and improved. This is done by studying the particular case of the forced pendulum Hamiltonian , and considering the golden torus. We find that there exists an optimal orderN of normalization, and the ratio between the estimate thus obtained and the experimental value turns out to be 19. A possible explanation of such result is also suggested.     

KAM theory near multiplicity one resonant surfaces in perturbations of a-priori stable hamiltonian systems

Summary We consider a near-integrable Hamiltonian system in the action-angle variables with analytic Hamiltonian. For a given resonant surface of multiplicity one we show that near a Cantor set of points on this surface, whose remaining frequencies enjoy the usual diophantine condition, the Hamiltonian may be written in a simple normal form which, under certain assumptions, may be related to the class which, following Chierchia and Gallavotti [1994], we calla-priori unstable. For the a-priori unstable Hamiltonian we prove a KAM-type result for the survival of whiskered tori under the perturbation as an infinitely differentiable family, in the sense of Whitney, which can then be applied to the above normal form in the neighborhood of the resonant surface. This paper is dedicated to the memory of Juan C. Simo This paper was solicited by the editors to be part of a volume dedicated to the memory of Juan C. Simo.     

Velocity-dependent KAM islands

We revisit the non-dissipative time-dependent annular billiard and we consider the chaotic dynamics in two planes of conjugate variables in order to describe the behavior of the growth, or saturation, of the mean velocity of an ensemble of particles. We observed that the changes in the 4-d phase space occur without changing any parameter. They occur depending on where the initial conditions start. The emerging KAM islands interfere in the behavior of the particle dynamics especially in the Fermi acceleration mechanism. We show that Fermi acceleration can be suppressed, without dissipation, even considering the non-dissipative energy context.     

Continuity of optimal control costs and its application to weak KAM theory

We prove continuity of certain cost functions arising from optimal control of affine control systems. We give sharp sufficient conditions for this continuity. As an application, we prove a version of weak KAM theorem and consider the Aubry–Mather problems corresponding to these systems.     

Polynomials in operator space theory

The aim of this article is to start a metric theory of homogeneous polynomials in the category of operator spaces. For this purpose we take advantage of the basic fact that the space P^m(E)$P^m(E)$ of all m-homogeneous polynomials on a vector space E can be identified with the algebraic dual of the m  -th symmetric tensor product ⊗^m,sE${\otimes }^{m,s}E$. Given an operator space V, we study several different types of completely bounded polynomials on V   which form the operator space duals of ⊗^m,sV${\otimes }^{m,s}V$ endowed with related operator structures. Of special interest are what we call Haagerup, Kronecker, and Schur polynomials – polynomials associated with different types of matrix products.