Related papers: A decision method for the integrability of differe…
We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these…
We suggest an algorithm for derivation of the Picard--Fuchs system of Pfaffian equations for Abelian integrals corresponding to semiquasihomogeneous Hamiltonians. It is based on an effective decomposition of polynomial forms in the…
Finding the general solution of partial differential equations (PDEs) is essential for controller design in newly developed methods. Interconnection and damping assignment passivity based control (IDA-PBC) is one of such methods in which…
In this paper, we consider the following nonlinear system involving the fractional Laplacian \begin{equation} \left\{\begin{array}{ll} (-\Delta)^{s} u (x)= f(u,\,v), \\ (-\Delta)^{s} v (x)= g(u,\,v), \end{array} \right. (1) \end{equation}…
The work deals with the studies of the existence of solutions of an integro-differential equation in the situation of the difference of the standard Laplacian and the bi-Laplacian in the diffusion term. The proof of the existence of…
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide…
In this paper we propose an algorithm for the numerical solution of arbitrary differential equations of fractional order. The algorithm is obtained by using the following decomposition of the differential equation into a system of…
We present an algebraic formulation of the notion of integrability of dynamical systems, based on a nilpotency property of its flow: it can be explicitly described as a polynomial on its evolution parameter. Such a property is established…
An extension of the notion of solvable structure for involutive distributions of vector fields is introduced. The new structures are based on a generalization of the concept of symmetry of a distribution of vector fields, inspired in the…
The primary goal of this research is to propose a novel architecture for a deep neural network that can solve fractional differential equations accurately. A Gaussian integration rule and a $L_1$ discretization technique are used in the…
In this work, a class of non-linear weakly singular fractional integro-differential equations is considered, and we first prove existence, uniqueness, and smoothness properties of the solution under certain assumptions on the given data. We…
We prove a local higher integrability result for the spatial gradient of weak solutions to doubly nonlinear parabolic systems whose prototype is $$ \partial_t \left(|u|^{q-1}u \right) -\operatorname{div} \left( |Du|^{p-2} Du \right) =…
We formalize algorithms computing Pfaffian in the theory of bounded arithmetic for sharpL which is based on Berkowitz algorithm for the determinant. We also prove relations among Pfaffian properties. Furthermore, we give an algorithm for…
An integro-differential equation, modeling dynamic fractional order viscoelasticity, with a Mittag-Leffler type convolution kernel is considered. A discontinuous Galerkin method, based on piecewise constant polynomials is formulated for…
In this work, we consider a boundary value problem for nonlinear triharmonic equation. Due to the reduction of nonlinear boundary value problems to operator equation for nonlinear terms we establish the existence, uniqueness and positivity…
In this paper we construct a third order method for solving additively split autonomous stiff systems of ordinary differential equations. The constructed additive method is L-stable with respect to the implicit part and allows to use an…
New families of fourth-order composition methods for the numerical integration of initial value problems defined by ordinary differential equations are proposed. They are designed when the problem can be separated into three parts in such a…
Radical membership testing, and the special case of Hilbert's Nullstellensatz (HN), is a fundamental computational algebra problem. It is NP-hard; and has a famous PSPACE algorithm due to effective Nullstellensatz bounds. We identify a…
We address the decision problem for sentences involving univariate functions constructed from a fixed Pfaffian function of order $1$. We present a new symbolic procedure solving this problem with a computable complexity based on the…
In this paper, we discuss on the linearized stability of the trivial solution for a class of nonlinear Caputo fractional differential systems of order $\alpha\in(1,2)$. We show that some recent existing results in this direction are wrong.…