We present an efficient numerical method for computing Fourier-Taylor expansions of stable/unstable manifolds associated with hyperbolic periodic orbits. Three features of the method are (1) that we obtain accurate representation of the invariant manifold as well as the dynamics on the manifold, (2) that the method admits natural a-posteriori error analysis, and (3) that the method does not require numerical integrating the vector field. Our method is based on the Parameterization Method for invariant manifolds, and studies a certain partial differential equation which characterizes a chart map of the (un)stable manifold. The method requires only that some mild non-resonance conditions hold between the Floquet multipliers of the periodic orbit. The novelty of the the present work is that we exploit the Floquet normal form in order to efficiently compute the Fourier-Taylor expansion. We present a number of example computations, including stable/unstable manifolds in phase space dimension as hight as ten, computation of manifolds which are two and three dimensional, and computation of some homoclinic connecting orbits.

In this paper, a new rigorous numerical method to compute fundamental matrix solutions of non-autonomous linear differential equations with periodic coefficients is introduced. Decomposing the fundamental matrix solutions Φ(t) by their Floquet normal forms, that is as product of real periodic and exponential matrices Φ(t) = Q(t)e Rt , one solves simultaneously for R and for the Fourier coefficients of Q via a fixed point argument in a suitable Banach space of rapidly decaying coefficients. As an application, the method is used to compute rigorously stable and unstable bundles of periodic orbits of vector fields. Examples are given in the context of the Lorenz equations and the ζ 3 -model.

In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fixed point argument around a numerically computed solution, in the spirit of the Newton-Kantorovich theorem. It allows us to prove the existence of various non homogeneous steady states for different parameter values. In some situations, we get as many as 13 coexisting steady states. We also apply the a posteriori validation procedure to study the linear stability of the obtained steady states, proving that many of them are in fact unstable.

No abstract

In this paper, we develop computer-assisted techniques for the analysis of periodic orbits of ill-posed partial differential equations. As a case study, our proposed method is applied to the Boussinesq equation, which has been investigated extensively because of its role in the theory of shallow water waves. The idea is to use the symmetry of the solutions and a Newton-Kantorovich type argument (the radii polynomial approach), to obtain rigorous proofs of existence of the periodic orbits in a weighted 1 Banach space of space-time Fourier coefficients with geometric decay. We present several computer-assisted proofs of existence of periodic orbits at different parameter values.

No abstract

No abstract

This work concerns the planar N -center problem with homogeneous potential of degree −α (α ∈ [1, 2)). The existence of infinitely many, topologically distinct, non-collision periodic solutions with a prescribed energy is proved. A notion of admissibility in the space of loops on the punctured plane is introduced so that in any admissible class and for any positive h the existence of a classical periodic solution with energy h for the N -center problem with α ∈ (1, 2) is proven. In case α = 1 a slightly different result is shown: it is the case that there is either a non-collision periodic solution or a collision-reflection solution. The results hold for any position of the centres and it is possible to prescribe in advance the shape of the periodic solutions. The proof combines the topological properties of the space of loops in the punctured plane with variational and geometrical arguments.