Geometric Proof of Strong Stable/Unstable Manifolds, with Application to the Restricted Three Body Problem

We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous integration of the vector field in order to prove the existence of the invariant manifolds. We apply our method to the restricted three body problem and show that for a given choice of the mass parameter, there exists a homoclinic orbit to one of the libration points.Comment: 34 pages, 6 figure

Characterising blenders via covering relations and cone conditions

A blender is an invariant hyperbolic set of a diffeomorphism with the property that its stable or unstable manifold has a dimension larger than expected from the underlying hyperbolic splitting. We present a characterisation of a blender based on the correct topological alignment of sets in combination with the propagation of cones. It is applicable to multidimensional blenders in ambient phase spaces of any dimension. The required conditions can be verified by checking properties of a single iterate of the diffeomorphism, which is achieved by positioning the required sets in such a way that they form a suitable sequence of coverings. This setup is flexible and allows for a rigorous, interval arithmetic based, computer assisted validation. As a demonstration, we apply our approach to obtain a computer-assisted proof of the existence of a blender in a three-dimensional H{\'e}non-like family of diffeomorphisms over a considerable range of the relevant parameter.Comment: 29 pages, 15 figure

Game-theoretic versions of strong law of large numbers for unbounded variables

We consider strong law of large numbers (SLLN) in the framework of game-theoretic probability of Shafer and Vovk (2001). We prove several versions of SLLN for the case that Reality's moves are unbounded. Our game-theoretic versions of SLLN largely correspond to standard measure-theoretic results. However game-theoretic proofs are different from measure-theoretic ones in the explicit consideration of various hedges. In measure-theoretic proofs existence of moments are assumed, whereas in our game-theoretic proofs we assume availability of various hedges to Skeptic for finite prices

Empirical Survival Jensen-Shannon Divergence as a Goodness-of-Fit Measure for Maximum Likelihood Estimation and Curve Fitting

The coefficient of determination, known as R2, is commonly used as a goodness-of-fit criterion for fitting linear models. R2 is somewhat controversial when fitting nonlinear models, although it may be generalised on a case-by-case basis to deal with specific models such as the logistic model. Assume we are fitting a parametric distribution to a data set using, say, the maximum likelihood estimation method. A general approach to measure the goodness-of-fit of the fitted parameters, which is advocated herein, is to use a non- parametric measure for comparison between the empirical distribution, comprising the raw data, and the fitted model. In particular, for this purpose we put forward the Survi- val Jensen-Shannon divergence (SJS) and its empirical counterpart (ESJS) as a metric which is bounded, and is a natural generalisation of the Jensen-Shannon divergence. We demonstrate, via a straightforward procedure making use of the ESJS, that it can be used as part of maximum likelihood estimation or curve fitting as a measure of goodness-of-fit, including the construction of a confidence interval for the fitted parametric distribution. Furthermore, we show the validity of the proposed method with simulated data, and three empirical data sets

Existence and uniqueness for stochastic 2D Euler flows with bounded vorticity

The strong existence and the pathwise uniqueness of solutions with (Formula presented.) -vorticity of the 2D stochastic Euler equations are proved. The noise is multiplicative and it involves the first derivatives. A Lagrangian approach is implemented, where a stochastic flow solving a nonlinear flow equation is constructed. The stability under regularizations is also proved

Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem

Consider the Restricted Planar Circular 3 Body Problem with both realistic mass ratio and Jacobi constant for the Sun-Jupiter pair. We prove the existence of all possible combinations of past and future final motions. In particular, we obtain the existence of oscillatory motions. All the constructed trajectories cross the orbit of Jupiter but avoid close encounters with it. The proof relies on the method of correctly aligned windows and is computer assisted.Comment: 50 page