Related papers: Are numerical theories irreplaceable? A computatio…
From celestial mechanics to quantum theory of atoms and molecules, perturbation theory has played a central role in natural sciences. Particularly in quantum mechanics, the amount of information needed for specifying the state of a…
Numerical ``direct'' approaches to time-optimal control often fail to find solutions that are singular in the sense of the Pontryagin Maximum Principle, performing better when searching for saturated (bang-bang) solutions. In previous work…
The regularization of a new problem, namely the three-body problem, using 'similar' coordinate system is proposed. For this purpose we use the relation of 'similarity', which has been introduced as an equivalence relation in a previous…
Newton's equations of celestial mechanics are shown to possess a continuum of solutions in which the future trajectories of the N bodies are a perfect reflection of their past. These solutions evolve from zero initial velocities of the N…
This article presents a general solution to the problem of computational complexity. First, it gives a historical introduction to the problem since the revival of the foundational problems of mathematics at the end of the 19th century.…
An algorithm for planning near time-optimal trajectories for systems with an oscillatory internal dynamics has been developed in previous work. It is based on assembling a complete trajectory from motion primitives called jerk segments,…
In this paper we show two examples of numerical orbital integrations (Planar Circular Restricted Three Body Problem) in which even though the conservation of Jacobi's constant is near to 1 part in 10e8, the integration proves to be wrong.…
We study the computational complexity of fundamental problems over the $p$-adic numbers ${\mathbb Q}_p$ and the $p$-adic integers ${\mathbb Z}_p$. Gu\'epin, Haase, and Worrell proved that checking satisfiability of systems of linear…
Cosmological N-body simulations are done on massively parallel computers. This necessitates the use of simple time integrators, and, additionally, of mesh-grid approximations of the potentials. Recently, Adamek et al. (2015);…
The time-dependent restricted $(n+1)$-body problem concerns the study of a massless body (satellite) under the influence of the gravitational field generated by $n$ primary bodies following a periodic solution of the $n$-body problem. We…
We investigate numerically complex dynamical systems where a fixed point is surrounded by a disk or ball of quasiperiodic orbits, where there is a change of variables (or conjugacy) that converts the system into a linear map. We compute…
"Clarithmetic" is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) instead of the more traditional classical or intuitionistic logics.…
In this paper we present a framework which provides an analytical (i.e., infinitely differentiable) transformation between spatial coordinates and orbital elements for the solution of the gravitational two-body problem. The formalism omits…
We demonstrate the remarkable effectiveness of boundary value formulations coupled to numerical continuation for the computation of stable and unstable manifolds in systems of ordinary differential equations. Specifically, we consider the…
A set of algorithms is presented for efficient numerical calculation of the time evolution of classical dynamical systems. Starting with a first approximation for solving the differential equations that has a "reversible" character, we show…
The Team Orienteering Problem with Service Times and Mandatory & Incompatible Nodes (TOP-ST-MIN) is a variant of the classic Team Orienteering Problem (TOP), which includes three novel features that stem from two real-world problems…
The present article introduces ptarithmetic (short for "polynomial time arithmetic") -- a formal number theory similar to the well known Peano arithmetic, but based on the recently born computability logic (see…
Symplectic integrators are widely used for the study of planetary dynamics and other $N$-body problems. In a study of the outer Solar system, we demonstrate that individual symplectic integrations can yield biased errors in the semi-major…
A new efficient approach for searching three-body periodic equal-mass collisionless orbits passing through Eulerian configuration is presented. The approach is based on a symmetry property of the solutions at the half period. Depending on…
In various fields of natural science, the chaotic systems of differential equations are considered more than 50 years. The correct prediction of the behaviour of solutions of dynamical model equations is important in understanding of…