Second order Hamiltonian equations on \(\mathbb{T}^ \infty\) and almost- periodic solutions (Q1345310): Difference between revisions

This paper is concerned with the following infinite-dimensional second- order Hamiltonian system on \(\mathbb{T}^ \infty\) \[ \ddot x_ i = f_ i (x), \quad i \in \mathbb{Z}^ d, \quad x \in \mathbb{T}^{\mathbb{Z}^ d} \equiv {\mathcal T}, \] where \({\mathcal T}\) is equipped with the weak topology and \(f\) is a uniformly Lipschitzian map from \({\mathcal T}\) to a suitable Banach space; the Hamiltonian structure comes from \(f\) being a generalized gradient. The interest in a qualitative analysis of this work is closely related to the following problems: (1) regular motions for nearly integrable PDE's with a Hamiltonian structure; (2) discrete approximations of, say, nonlinear wave equations (e.g., Sine-Gordon); (3) many particle systems interacting via conservative forces. The main purpose of this paper is to prove the existence of uncountably many almost-periodic solutions under suitable analyticity assumptions on \(f\) but without requiring any smallness condition. Such solutions can be put in the form \(t \mapsto \{[\omega_ it + u_ i ([\omega t]) ]\}\), with \(i \in \mathbb{Z}^ d\), where \([\cdot]\) denotes the standard projection of \(\mathbb{R}\) onto \(\mathbb{T}\), \(u\) is a smooth function, and \(\omega \in \mathbb{R}^{\mathbb{Z}^ d}\) is a diophantine sequence.