Persistence of Invariant Tori on Submanifolds in Hamiltonian Systems

Summary. Generalizing the degenerate KAM theorem under the Rüssmann nondegeneracy and the isoenergetic KAM theorem, we employ a quasilinear iterative scheme to study the persistence and frequency preservation of invariant tori on a smooth submanifold for a real analytic, nearly integrable Hamiltonian system. Under a nondegenerate condition of Rüssmann type on the submanifold, we shall show the following: (a) the majority of the unperturbed tori on the submanifold will persist; (b) the perturbed toral frequencies can be partially preserved according to the maximal degeneracy of the Hessian of the unperturbed system and be fully preserved if the Hessian is nondegenerate; (c) the Hamiltonian admits normal forms near the perturbed tori of arbitrarily prescribed high order. Under a subisoenergetic nondegenerate condition on an energy surface, we shall show that the majority of unperturbed tori give rise to invariant tori of the perturbed system of the same energy which preserve the ratio of certain components of the respective frequencies.     

Quasi-periodic solutions for beam equations with the nonlinear terms depending on the space variable

ABSTRACT

This article is devoted to the study of a beam equation with an x-dependent nonlinear term. We construct an analytic and symplectic transformation which changes the Hamiltonian to its Birkhoff normal form. However, the infinitely many coefficients of the Hamiltonian generating this transformation have small denominators. We prove that these denominators do not vanish for all indices and the transformation is canonical. Applying the normal form to a KAM theorem, it is proved that the equation admits quasi-periodic solutions with prescribed frequencies for any fixed potential constant.     

Generic super-exponential stability of elliptic equilibrium positions for symplectic vector fields

In this article, we consider linearly stable elliptic fixed points (equilibrium) for a symplectic vector field and prove generic results of super-exponential stability for nearby solutions. We will focus on the neighborhood of elliptic fixed points but the case of linearly stable isotropic reducible invariant tori in a Hamiltonian system should be similar. More specifically, Morbidelli and Giorgilli have proved a result of stability over superexponentially long times if one considers an analytic Lagrangian torus, invariant for an analytic Hamiltonian system, with a diophantine translation vector which admits a sign-definite torsion. Then, the solutions of the system move very little over times which are super-exponentially long with respect to the inverse of the distance to the invariant torus. The proof proceeds in two steps: first one constructs a high-order Birkhoff normal form, then one applies the Nekhoroshev theory. Bounemoura has shown that the second step of this construction remains valid if the Birkhoff normal form linked to the invariant torus or the elliptic fixed point belongs to a generic set among the formal series. This is not sufficient to prove this kind of super-exponential stability results in a general setting. We should also establish that the most strongly non resonant elliptic fixed point or invariant torus in a Hamiltonian system admits Birkhoff normal forms fitted for the application of the Nekhoroshev theory. Actually, the set introduced by Bounemoura is already very large but not big enough to ensure that a typical Birkhoff normal form falls into this class. We show here that this property is satisfied generically in the sense of the measure (prevalence) through infinite-dimensional probe spaces (that is, an infinite number of parameters chosen at random) with methods similar to those developed in a paper of Gorodetski, Kaloshin and Hunt in another setting.     

Normal form of a quantum Hamiltonian with one and a half degrees of freedom near a hyperbolic fixed point

According to classical result of Moser [1] a real-analytic Hamiltonian with one and a half degrees of freedom near a hyperbolic fixed point can be reduced to the normal form by a real-analytic symplectic change of variables. In this paper the result is extended to the case of the non-commutative algebra of quantum observables.We use an algebraic approach in quantum mechanics presented in [2] and develop it to the non-autonomous case. We introduce the notion of quantum non-autonomous canonical transformations and prove that they form a group and preserve the structure of the Heisenberg equation. We give the concept of a non-commutative normal form and prove that a time-periodic quantum observable with one degree of freedom near a hyperbolic fixed point can be reduced to a normal form by a canonical transformation. Unlike traditional results, where only formal theory of normal forms is constructed, we prove a convergence of the normalizing procedure.      

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.     

On the volumetric path

We consider the logarithmic and the volumetric barrier functions used in interior point methods. In the case of the logarithmic barrier function, the analytic center of a level set is the point at which the central path intersects that level set. We prove that this also holds for the volumetric path. For the central path, it is also true that the analytic center of the optimal level set is the limit point of the central path. The only known case where this last property for the logarithmic barrier function fails occurs in case of semidefinite optimization in the absence of strict complementarity. For the volumetric path, we show with an example that this property does not hold even for a linear optimization problem in canonical form.     

Normal Form for Families of Hamiltonian Systems

We consider perturbations of integrable Hamiltonian systems in the neighborhood of normally parabolic invariant tori. Using the techniques of KAM-theory we prove that there exists a canonical transformation that puts the Hamiltonian in normal form up to a remainder of weighted order 2d ＋ 1. And some dynamical consequences are obtained.     

Isochronous Centers and Isochronous Functions

Abstract We study isochronous centers of two classes of planar systems of ordinary differential equations.Forthe first class which is the Linard systems of the form =y-F(x),=-g(x) with a center at the origin, we provethat if g is isochronous(see Definiton 1.1),then the center is isochronous if and only if F≡0.For the secondclass which is the Hamiltonian systems of the form =-g(y),=f(x) with a center at the origin,we prove thatif f or g is isochronous,then the center is isochronous if and only if the other is also isochronous.     

Foliations by complex curves and the geometry of real surfaces of finite type

We show that if the Levi form of a smooth CR manifold is de-generate in every conormal direction, then on a dense open set, the manifold is foliated by complex curves. As a consequence we show that every real analytic manifold of finite D'Angelo type can be stratified so that each stratum locally is contained in a Levi nondegenerate hypersurface. Received in final form: 11 June 2001 / Published online: 28 February 2002     

Construction of the solutions of the equations of vibration of the classical theory of plates with parameters periodic on one coordinate

The system of classical equations of transverse vibrations of plates that are inhomogeneous on one coordinate and have exponential dependence of the solution on the other coordinate and time are presented in the canonical Hamiltonian form with suitably chosen canonical variables. For periodically varying parameters we use the general properties of periodic Hamiltonian systems to study the structure of the solutions of boundary-value problems for stationary vibrations of plates. Translated fromTeoreticheskaya i Prikladnaya Mekhanika, No. 25, 1995, pp. 109–113.     

Three‐dimensional internal gravity‐capillary waves in finite depth

We consider three‐dimensional inviscid‐irrotational flow in a two‐layer fluid under the effects of gravity and surface tension, where the upper fluid is bounded above by a rigid lid and the lower fluid is bounded below by a flat bottom. We use a spatial dynamics approach and formulate the steady Euler equations as an infinite‐dimensional Hamiltonian system, where an unbounded spatial direction x is considered as a time‐like coordinate. In addition, we consider wave motions that are periodic in another direction z. By analyzing the dispersion relation, we detect several bifurcation scenarios, two of which we study further: a type of 00(is)(iκ₀) resonance and a Hamiltonian Hopf bifurcation. The bifurcations are investigated by performing a center‐manifold reduction, which yields a finite‐dimensional Hamiltonian system. For this finite‐dimensional system, we establish the existence of periodic and homoclinic orbits, which correspond to, respectively, doubly periodic travelling waves and oblique travelling waves with a dark or bright solitary wave profile in the x direction. The former are obtained using a variational Lyapunov‐Schmidt reduction and the latter by first applying a normal form transformation and then studying the resulting canonical system of equations.     

Kolmogorov condition near hyperbolic singularities of integrable Hamiltonian systems

In this paper we show that, if an integrable Hamiltonian system admits a nondegenerate hyperbolic singularity then it will satisfy the Kolmogorov condegeneracy condition near that singularity (under a mild additional condition, which is trivial if the singularity contains a fixed point).      

Local bifurcations of critical periods for cubic Liénard equations with cubic damping

Continuing Chicone and Jacobs’ work for planar Hamiltonian systems of Newton’s type, in this paper we study the local bifurcation of critical periods near a nondegenerate center of the cubic Liénard equation with cubic damping and prove that at most 2 local critical periods can be produced from either a weak center of finite order or the linear isochronous center and that at most 1 local critical period can be produced from nonlinear isochronous centers.     

Nekhoroshev estimates for finitely differentiable quasi-convex Hamiltonians

A major result about perturbations of integrable Hamiltonian systems is the Nekhoroshev theorem, which gives exponential stability for all solutions provided the system is analytic and the integrable Hamiltonian is generic. In the particular but important case where the latter is quasi-convex, these exponential estimates have been generalized by Marco and Sauzin if the Hamiltonian is Gevrey regular, using a method introduced by Lochak in the analytic case. In this paper, using the same approach, we investigate the situation where the Hamiltonian is assumed to be only finitely differentiable, for which it is known that exponential stability does not hold but nevertheless we prove estimates of polynomial stability.     

Prime Quotients of Jordan Systems and Lie Algebras

We show that, unlike alternative algebras, prime quotients of a nondegenerate Jordan system or a Lie algebra need not be nondegenerate, even if the original Jordan system is primitive, or the Lie algebra is strongly prime, both with nonzero simple hearts. Nevertheless, for Jordan systems and Lie algebras directly linked to associative systems, we prove that even semiprime quotients are necessarily nondegenerate.     

On the expressive power of CNF formulas of bounded tree- and clique-width

We study representations of polynomials over a field K from the point of view of their expressive power. Three important examples for the paper are polynomials arising as permanents of bounded tree-width matrices, polynomials given via arithmetic formulas, and families of so called CNF polynomials. The latter arise in a canonical way from families of Boolean formulas in conjunctive normal form. To each such CNF formula there is a canonically attached incidence graph. Of particular interest to us are CNF polynomials arising from formulas with an incidence graph of bounded tree- or clique-width.We show that the class of polynomials arising from families of polynomial size CNF formulas of bounded tree-width is the same as those represented by polynomial size arithmetic formulas, or permanents of bounded tree-width matrices of polynomial size. Then, applying arguments from communication complexity we show that general permanent polynomials cannot be expressed by CNF polynomials of bounded tree-width. We give a similar result in the case where the clique-width of the incidence graph is bounded, but for this we need to rely on the widely believed complexity theoretic assumption #P?FP/poly.     

Centers for the Kukles homogeneous systems with even degree

For the polynomial differential system $\dot{x}=-y$, $\dot{y}=x +Q_n(x,y)$, where $Q_n(x,y)$ is a homogeneous polynomial of degree $n$ there are the following two conjectures done in 1999. (1) Is it true that the previous system for $n \ge 2$ has a center at the origin if and only if its vector field is symmetric about one of the coordinate axes? (2) Is it true that the origin is an isochronous center of the previous system with the exception of the linear center only if the system has even degree? We give a step forward in the direction of proving both conjectures for all $n$ even. More precisely, we prove both conjectures in the case $n = 4$ and for $n\ge 6$ even under the assumption that if the system has a center or an isochronous center at the origin, then it is symmetric with respect to one of the coordinate axes, or it has a local analytic first integral which is continuous in the parameters of the system in a neighborhood of zero in the parameters space. The case of $n$ odd was studied in [8].     

Equivariant normal form for nondegenerate singular orbits of integrable Hamiltonian systems

We consider an integrable Hamiltonian system with n degrees of freedom whose first integrals are invariant under the symplectic action of a compact Lie group G. We prove that the singular Lagrangian foliation associated to this Hamiltonian system is symplectically equivalent, in a G-equivariant way, to the linearized foliation in a neighborhood of a compact singular nondegenerate orbit. We also show that the nondegeneracy condition is not equivalent to the nonresonance condition for smooth systems.     

KAM-Type Theorem on Resonant Surfaces for Nearly Integrable Hamiltonian Systems

Summary. In this paper, we consider analytic perturbations of an integrable Hamiltonian system in a given resonant surface. It is proved that, for most frequencies on the resonant surface, the resonant torus foliated by nonresonant lower dimensional tori is not destroyed completely and that there are some lower dimensional tori which survive the perturbation if the Hamiltonian satisfies a certain nondegenerate condition. The surviving tori might be elliptic, hyperbolic, or of mixed type. This shows that there are many orbits in the resonant zone which are regular as in the case of integrable systems. This behavior might serve as an obstacle to Arnold diffusion. The persistence of hyperbolic lower dimensional tori has been considered by many authors [5], [6], [15], [16], mainly for multiplicity one resonant case. To deal with the mechanisms of the destruction of the resonant tori of higher multiplicity into nonhyperbolic lower dimensional tori, we have to deal with some small coefficient matrices that are the generalization of small divisors. Received December 18, 1997; revised December 30, 1998; accepted June 21, 1999