Related papers: The computational complexity of the initial value …
In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems)…
In this paper, we study the computability of the initial value problem of the Combined KdV equation. It is shown that, for any integer s>2, the nonlinear solution operator which maps an initial condition data to the solution of the Combined…
In this work we prove that the initial value problem (IVP) associated to the fractional two-dimensional Benjamin-Ono equation $$\left. \begin{array}{rl} u_t+D_x^{\alpha} u_x +\mathcal Hu_{yy} +uu_x &=0,\qquad\qquad (x,y)\in\mathbb R^2,\;…
This paper concerns the restricted 3-body problem. By applying topological methods we give a computer assisted proof of the existence of some classes of periodic orbits, the existence of symbolic dynamics and we give a rigorous lower…
We show that for continuous time dynamical systems described by polynomial differential equations of modest degree (typically equal to three), the following decision problems which arise in numerous areas of systems and control theory…
A new technique is presented to solve a class of linear boundary value problems (BVP). Technique is primarily based on an operational matrix developed from a set of modified Bernoulli polynomials. The new set of polynomials is an…
For large-scale eigenvalue problems requiring many mutually orthogonal eigenvectors, traditional numerical methods suffer substantial computational and communication costs with limited parallel scalability, primarily due to explicit…
Recent work in the literature has studied the restricted three-body problem within the framework of effective-field-theory models of gravity. This paper extends such a program by considering the full three-body problem, when the Newtonian…
In this article we address some issues related to the initial value problems for a rotating shallow water hyperbolic system of equations and the diffusive regularization of this system. For initial data close to the solution at rest, we…
In this paper we study the initial-value problem associated with the Benjamin-Ono-Zakharov-Kuznetsov equation. Such equation appears as a two-dimensional generalization of the Benjamin-Ono equation when transverse effects are included via…
Novel classes of dynamical systems are introduced, including many-body problems characterized by nonlinear equations of motion of Newtonian type ("acceleration equals forces") which determine the motion of points in the complex plane. These…
A new method for the optimal solutions is proposed. Originating from the continuous-time dynamics stability theory in the control field, the optimal solution is anticipated to be obtained in an asymptotically evolving way. By introducing a…
We study a class of initial boundary value problems of hyperbolic type. A new topological approach is applied to prove the existence of non-negative classical solutions. The arguments are based upon a recent theoretical result.
Quantum topological invariants have played an important role in computational topology, and they are at the heart of major modern mathematical conjectures. In this article, we study the experimental problem of computing large $r$ values of…
In this note, we polynomially reduce an instance of the partition problem to a dynamic lot sizing problem, and show that solving the latter problem solves the former problem. By solving the dynamic program formulation of the dynamic lot…
We study the precise computational complexity of deciding satisfiability of first-order quantified formulas over the theory of fixed-size bit-vectors with binary-encoded bit-widths and constants. This problem is known to be in EXPSPACE and…
In this paper, we initiate the study of isogeometric analysis (IGA) of a quantum three-body problem that has been well-known to be difficult to solve. In the IGA setting, we represent the wavefunctions by linear combinations of B-spline…
We study the initial value problem (IVP) associated to the semi-linear fractional Sch\"odinger equation with variable coefficients. We deduce several properties of the anisotropic fractional elliptic operator modelling the dispersion…
In this paper a special type of difference equations is investigated. The impulses start abruptly at some points and their action continue on given finite intervals. This type of equations is used to model a real process. An algorithm,…
The Sitnikov problem is a special case of the three-body problem. The system is known to be chaotic and has been studied by symbolic dynamics (J. Moser, Stable and random motions in dynamical systems, Princeton University Press, 1973). We…