相关论文: Finding Liouvillian first integrals of rational OD…

A new method for finding first integrals of discrete equations is presented. It can be used for discrete equations which do not possess a variational (Lagrangian or Hamiltonian) formulation. The method is based on a newly established…

If the $n-th$ order differential equation is not exact, under certain conditions, an integrating factor exists which transforms the differential equation into an exact one. Hence, its order can be reduced to the lower order. In this paper,…

A new class of vector fields enabling the integration of first-order ordinary differential equations (ODEs) is introduced. These vector fields are not, in general, Lie point symmetries. The results are based on a relation between…

Differential-elimination algorithms apply a finite number of differentiations and eliminations to systems of partial differential equations. For systems that are polynomially nonlinear with rational number coefficients, they guarantee the…

We present an algorithm which allows to solve analytically linear systems of differential equations which factorize to first order. The solution is given in terms of iterated integrals over an alphabet where its structure is implied by the…

There exist several methods for computing exact solutions of algebraic differential equations. Most of the methods, however, do not ensure existence and uniqueness of the solutions and might fail after several steps, or are restricted to…

We give an algorithm for deciding whether a planar polynomial differential system has a first integral which factorizes as a product of defining polynomials of curves with only one place at infinity. In the affirmative case, our algorithm…

This paper provides a Liouville principle for integration in terms of dilogarithm and partial result for polylogarithm.

The Riemann-Liouville formula for fractional derivatives and integrals (differintegration) is used to derive formulae for matrix order derivatives and integrals. That is, the parameter for integration and differentiation is allowed to…

We deal with the higher-order fractional Laplacians by two methods: the integral method and the system method. The former depends on the integral equation equivalent to the differential equation. The latter works directly on the…

Motivated by the application of Lyapunov methods to partial differential equations (PDEs), we study functional inequalities of the form $f(I_1(u),\ldots,I_k(u))\geq 0$ where $f$ is a polynomial, $u$ is any function satisfying prescribed…

M.F. Singer [Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc. 333 (1992), 673--688] proved the equivalence between Liouvillian integrability and Darboux integrability for two dimensional polynomial differential…

A set of Maple V R.3/4 computer algebra routines for the analytical solving of 1st. order ODEs, using Lie group symmetry methods, is presented. The set of commands includes a 1st. order ODE-solver and routines for, among other things: the…

Integration operational matrix methods based on Zernike polynomials are used to determine approximate solutions of a class of non-homogeneous partial differential equations (PDEs) of first and second order. Due to the nature of the Zernike…

Prelle and Singer showed in 1983 that if a system of ordinary differential equations defined on a differential field $K$ has a first integral in an elementrary field extension $L$ of $K$, then it must have a first integral consisting of…

We consider resultant-based methods for elimination of indeterminates of Ore polynomial systems in Ore algebra. We start with defining the concept of resultant for bivariate Ore polynomials then compute it by the Dieudonne determinant of…

Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in…

Given a constant skew-symmetric matrix A, it is a difficult open problem whether the associated Lotka-Volterra system is integrable or not. We solve this problem in the special case when A is a Toepliz matrix where all off-diagonal entries…

We prove that foliations on the projective plane admitting a Liouvillian first integral but not admitting a rational first integral always have invariant algebraic curves of degree bounded by a function of the degree of the foliation. We…

In this article we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian,…