Related papers: An integrating factor matrix method to find first …
We present a framework for synthesising formulas in first-order logic (FOL) from examples, which unifies and advances state-of-the-art approaches for inference of transition system invariants. To do so, we study and categorise the existing…
The concept of extended Hamiltonian systems allows the geometrical interpretation of several integrable and superintegrable systems with polynomial first integrals of degree depending on a rational parameter. Until now, the procedure of…
By applying Schmidt's lattice method, we prove results on simultaneous Diophantine approximation modulo 1 for systems of polynomials in a single prime variable provided that certain local conditions are met.
We develop a one step matrix method in order to obtain approximate solutions of first order systems and non-linear ordinary differential equations, reducible to first order systems. We find a sequence of such solutions that converge to the…
In this text matrix Volterra integral equation of the first kind is addressed. It is assumed that kernels of the equation have jump discontinuities on non-intersecting curves. Such equations appear in the theory of evolving dynamic systems.…
The evaluation of a matrix exponential function is a classic problem of computational linear algebra. Many different methods have been employed for its numerical evaluation [Moler C and van Loan C 1978 SIAM Review 20 4], none of which…
We describe a procedure to construct polynomial in the momenta first integrals of arbitrarily high degree for natural Hamiltonians $H$ obtained as one-dimensional extensions of natural (geodesic) $n$-dimensional Hamiltonians $L$. The…
This note presents the basic mathematical structure of a new integer factorization method based on systems of linear Diophantine equations.
Several new formulas are developed that enable the evaluation of a family of definite integrals containing the product of two Whittaker W-functions. The integration is performed with respect to the second index, and the first index is…
An integral equation is a way to encapsulate the relationships between a function and its integrals. We develop a systematic way of describing Volterra integral equations -- specifically an algorithm that reduces any separable Volterra…
We consider systems of ordinary differential equations with quadratic homogeneous right hand side. We give a new simple proof of a result already obtained in [8,10] which gives the necessary conditions for the existence of polynomial first…
In this paper we use the comparison method for investigation of first order polynomial differential equations. We prove two comparison criteria for these equations. The proved criteria we use to obtain some global solvability criteria for…
A kind of spatial fractional diffusion equations in this paper are studied. Firstly, an L1 formula is employed for the spatial discretization of the equations. Then, a second order scheme is derived based on the resulting semi-discrete…
We solve the analytic integrability problem for diferential systems in the plane whose origin is an isolated singularity and the first homogeneous component is a quadratic Lotka-Volterra type. As an application, we give the analytically…
A numerical method to solve the direct scattering problem for the Zakharov-Shabat system associated to the initial value problem for the nonlinear Schroedinger equation is proposed. The method involves the numerical solution of Volterra…
Here we present an algorithm to find elementary first integrals of rational second order ordinary differential equations (SOODEs). In \cite{PS2}, we have presented the first algorithmic way to deal with SOODEs, introducing the basis for the…
Integrable differential identities, together with ensemble-specific initial conditions, provide an effective approach for the characterisation of relevant observables and state functions in random matrix theory. We develop this approach for…
In this paper the problems of integrable and linearizable Lotka-Volterra equations with $(\delta:-3 \delta:\delta)$-resonance are studied. The necessary conditions for both problems are obtained in the case when $\delta=1$ and it's…
Techniques are proposed for solving integral equations of the first kind with an input known not precisely. The requirement that the solution sought for includes a given number of maxima and minima is imposed. It is shown that when the…
We apply the monotone domain decomposition iterative method to a nonlinear integro-differential equation of Volterra type and prove its convergence. To do this, by adding a term in both sides of the original equation we make a linear…