Related papers: Computer assisted proofs for transverse heteroclin…
This paper considers the computer model calibration problem and provides a general frequentist solution. Under the proposed framework, the data model is semi-parametric with a nonparametric discrepancy function which accounts for any…
One of the main open problems in the qualitative theory of real planar differential systems is the study of limit cycles. In this article, we present an algorithmic approach for detecting how many limit cycles can bifurcate from the…
we consider a system with homoclinic orbit, We decompose the corresponding variational equation on the space of solutions and provide sufficient conditions for the permanency of homoclinic in the space of $C^1$ vector fields. We also…
The use of the hyperspherical harmonic (HH) basis in the description of bound states in an $A$-body system composed by identical particles is normally preceded by a symmetrization procedure in which the statistic of the system is taken into…
We consider the problem of finding the shortest possible period for an exactly periodic solution to some given autonomous ordinary differential equation. We show that, given a pair of Lyapunov-like observable functions defined over the…
We study how the supporting hyperplanes produced by the projection process can complement the method of alternating projections and its variants for the convex set intersection problem. For the problem of finding the closest point in the…
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…
To make progress towards better computability of Morse-Floer homology, and thus enhance the applicability of Floer theory, it is essential to have tools to determine the relative index of equilibria. Since even the existence of nontrivial…
We study orbits near collision in a non-autonomous restricted planar four-body problem. This restricted problem consists of a massless particle moving under the gravitational influence due to three bodies following the figure-eight…
In this paper we rigorously prove the existance of a non-trivial periodic orbit for the non-linear delay differential equation: $x'(t) = K \sin(x(t-1))$ for $K=1.6$. We show that the equations on the Fourier equations have a solution by…
In the last three decades, powerful computer-assisted techniques have been developed in order to validate a posteriori numerical solutions of semilinear elliptic problems of the form $\Delta u +f(u,\nabla u) = 0$. By studying a well chosen…
We describe an algorithm for distinguishing hyperbolic components in the parameter space of quadratic rational maps with a periodic critical point. We then illustrate computer images of the hyperbolic components of the parameter spaces V1 -…
This paper considers a new method for the binary asteroid orbit determination problem. The method is based on the Bayesian approach with a global optimisation algorithm. The orbital parameters to be determined are modelled through an a…
We extend the operator preconditioning framework [R. Hiptmair, Comput. Math. with Appl. 52 (2006), pp.~699--706] to Petrov-Galerkin methods while accounting for parameter-dependent perturbations of both variational forms and their…
This paper introduces a fast and numerically stable algorithm for the solution of fourth-order linear boundary value problems on an interval. This type of equation arises in a variety of settings in physics and signal processing. Our method…
The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an \emph{a-posteriori} format, i.e., we…
A common strategy in the numerical solution of partial differential equations is to define a uniform discretization of a tensor-product multi-dimensional logical domain, which is mapped to a physical domain through a given coordinate…
In this paper we present an approach to approximate numerically the solution of coupled hyperbolic conservation laws. The coupling is achieved through a fixed interface, in which interface conditions are linking the traces of both sides.…
I describe a method, particularly suitable to implementation by computer algebra, for the derivation of low-dimensional models of dynamical systems. The method is systematic and is based upon centre manifold theory. Computer code for the…
An analytical solution to the Hill problem Hamiltonian expanded about the libration points has been obtained by means of perturbation techniques. In order to compute the higher orders of the perturbation solution that are needed to capture…