Traveling wave solutions for the FPU chain: a constructive approach

Abstract

Traveling waves for the FPU chain are constructed by solving the associated equation for the spatial profile $u$ of the wave. We consider solutions whose derivatives $u^{\prime }$ need not be small, may change sign several times, but decrease at least exponentially. Our method of proof is computer-assisted. Unlike other methods, it does not require that the FPU potential has an attractive (positive) quadratic term. But we currently need to restrict the size of that term. In particular, our solutions in the attractive case are all supersonic.

References in corpus (5)

• Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
• Heteroclinic travelling waves in convex FPU-type chains
• Two-degree-of-freedom Hamiltonian for the time-symmetric two-body problem of the relativistic action-at-a-distance electrodynamics
• Existence of periodic solutions of the FitzHugh-Nagumo equations for an explicit range of the small parameter
• Some breathers and multi-breathers for FPU-type chains

Cited by in corpus (2)

• Existence of exponentially spatially localised breather solutions for lattices of nonlinearly coupled particles: Schauder's fixed point theorem approach
• Computer assisted proof of branches of stationary and periodic solution, and Hopf bifurcations, for dissipative PDEs