Related papers: Validated computations for connecting orbits in po…

Let $\Bbbk$ be a perfect field with algebraic closure $\overline{\Bbbk}$. If $H$ is a subgroup of plane automorphisms over $\Bbbk$ and $p\in\overline{\Bbbk}^2$ is a point, we describe the subgroup consisting of plane automorphisms which…

When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a…

We describe and characterize rigorously the chaotic behavior of the sine-Gordon equation. The existence of invariant manifolds and the persistence of homoclinic orbits for a perturbed sine--Gordon equation are established. We apply a…

A six-dimensional reversible normal form system occurs in B{\'e}nard-Rayleigh convection between parallel planes, when we look for domain walls intersecting orthogonally (see Buffoni et al [1]). On the truncated system, we prove…

This paper is focused on performing a new method for solving linear and nonlinear higher-order boundary value problems (HBVPs). This direct numerical method based on spectral method. The trial function of this method is the Monic Chebyshev…

In an $r$-uniform hypergraph on $n$ vertices a tight Hamilton cycle consists of $n$ edges such that there exists a cyclic ordering of the vertices where the edges correspond to consecutive segments of $r$ vertices. We provide a first…

We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant…

We study lattice points on hyperbolic circles centred at Heegner points of class number one. Our main result is that, on a density one subset of radii tending to infinity, the angles of such points equidistribute on the unit circle. To…

We consider the problem of provably finding a stationary point of a smooth function to be minimized on the variety of bounded-rank matrices. This turns out to be unexpectedly delicate. We trace the difficulty back to a geometric obstacle:…

Integrating evolutionary partial differential equations (PDEs) is an essential ingredient for studying the dynamics of the solutions. Indeed, simulations are at the core of scientific computing, but their mathematical reliability is often…

We give an explicit arithmetical condition which guarantees the existence of the unstable manifold of the MacKay approximate renormalisation scheme for the breakup of invariant tori in one and a half degrees of freedom Hamiltonian systems,…

We prove that any vector field on a three-dimensional compact manifold can be approximated in the C1-topology by one which is singular hyperbolic or by one which exhibits a homoclinic tangency associated to a regular hyperbolic periodic…

This paper presents an algorithm for computing inner estimates of the regions of attraction of limit cycles of a nonlinear hybrid system. The basic procedure is: (1) compute the dynamics of the system transverse to the limit cycle; (2) from…

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…

Classical (maximal) superintegrable systems in $n$ dimensions are Hamiltonian systems with $2n-1$ independent constants of the motion, globally defined, the maximum number possible. They are very special because they can be solved…

In this paper we develop further a method for detecting unstable periodic orbits (UPOs) by stabilising transformations, where the strategy is to transform the system of interest in such a way that the orbits become stable. The main…

Heteroclinic orbits for one-parameter families of nonautonomous vectorfields appear in a very natural way in many physical applications. Inspired by some recent bifurcation results for homoclinic trajectories of nonautonomous vectorfield,…

Equilibrium, traveling wave, and periodic orbit solutions of pipe, channel, and plane Couette flows can now be computed precisely at Reynolds numbers above the onset of turbulence. These invariant solutions capture the complex dynamics of…

We propose a unifying setting for dealing with monodromically atypical intersections that goes beyond the usual Zilber-Pink conjecture. In particular we obtain a new proof of finiteness of the maximal atypical orbit closures in each stratum…

We address the question how a given connection structure (directed graph) can be realised as a heteroclinic network that is complete in the sense that it contains all unstable manifolds of its equilibria. For a directed graph consisting of…