English
Related papers

Related papers: Comparison criteria for first order polynomial dif…

200 papers

The problem of algebraic dependence of solutions to (non-linear) first order autonomous equations over an algebraically closed field of characteristic zero is given a `complete' answer, obtained independently of model theoretic results on…

Algebraic Geometry · Mathematics 2019-04-18 Marc Paul Noordman , Marius van der Put , Jaap Top

First-order logic is the basis for many knowledge representation formalisms and methods. Providing technological support for learning to write first-order formulas for natural language specifications requires methods to test formulas for…

Logic in Computer Science · Computer Science 2026-02-24 Fabian Vehlken , Thomas Zeume , Emilio Carrasco Bustamante , Maëlle Cornély , Lukas Pradel

The notions of equivalence and strict equivalence for order one differential equations are introduced. The more explicit notion of strict equivalence is applied to examples and questions concerning autonomous equations and equations having…

Algebraic Geometry · Mathematics 2013-03-21 L. X. Chau Ngo , K. A. Nguyen , M. van der Put , J. Top

First order algebraic differential equations are considered. An necessary condition for a first order algebraic differential equation to have a rational general solution is given: the algebraic genus of the equation should be zero.…

Classical Analysis and ODEs · Mathematics 2007-05-23 Guoting Chen , Yujie Ma

We introduce basic aspects of new operator method, which is very suitable for practical solving differential equations of various types. The main advantage of the method is revealed in opportunity to find compact exact operator solutions of…

Mathematical Physics · Physics 2007-05-23 Yu. N. Kosovtsov

In this article, firstly we develop a method for a type of difference equations, applicable to solve approximately a class of first order ordinary differential equation systems. In a second step, we apply the results obtained to solve a…

Numerical Analysis · Mathematics 2017-12-12 Fabio Botelho

A new approach is used to obtain a global solvability criterion for matrix Riccati equations. It is shown that the obtained result is an extension of a result derived from a comparison theorem for matrix Riccati equations. Two corollaries…

Classical Analysis and ODEs · Mathematics 2022-12-13 G. A. Grigorian

Here we present a new approach to deal with first order ordinary differential equations (1ODEs), presenting functions. This method is an alternative to the one we have presented in [1]. In [2], we have establish the theoretical background…

Classical Analysis and ODEs · Mathematics 2023-01-06 L. G. S. Duarte , L. A. C. P. da Mota , A. B. M. M. Queiroz

In this paper we discuss a framework for the polynomial approximation to the solution of initial value problems for differential equations. The framework, initially devised for the approximation of ordinary differential equations, is…

Numerical Analysis · Mathematics 2022-11-15 Luigi Brugnano , Gianluca Frasca-Caccia , Felice Iavernaro , Vincenzo Vespri

We study first-order methods with preconditioning for solving structured nonlinear convex optimization problems. We propose a new family of preconditioners generated by symmetric polynomials. They provide first-order optimization methods…

Optimization and Control · Mathematics 2023-01-31 Nikita Doikov , Anton Rodomanov

This note discusses proofs for convergence of first-order methods based on simple potential-function arguments. We cover methods like gradient descent (for both smooth and non-smooth settings), mirror descent, and some accelerated variants.

Machine Learning · Computer Science 2019-06-04 Nikhil Bansal , Anupam Gupta

In this Letter we identify special systems of (an arbitrary number) N of first-order Ordinary Differential Equations with homogeneous polynomials of arbitrary degree M on their right-hand sides, which feature very simple explicit solutions;…

Dynamical Systems · Mathematics 2022-11-09 Francesco Calogero , Farrin Payandeh

The analysis of many physical phenomena can be reduced to the study of solutions of differential equations with polynomial coefficients. In the present work, we establish the necessary and sufficient conditions for the existence of…

Classical Analysis and ODEs · Mathematics 2020-03-19 Kyle R. Bryenton1 , Andrew R. Cameron , Keegan L. A. Kirk , Nasser Saad , Patrick Strongman , Nikita Volodin

The Riccati equation method is used to establish some global solvability criteria for some classes of second order nonlinear ordinary differential equations. Two oscillation theorems are proved. The results are applied to the Emden - Fowler…

Classical Analysis and ODEs · Mathematics 2019-07-17 G. A. Grigorian

In this short paper we identify special systems of (an arbitrary number) N of first-order Difference Equations with nonlinear homogeneous polynomials of arbitrary degree M in their right-hand sides, which feature very simple explicit…

Dynamical Systems · Mathematics 2021-09-28 Francesco Calogero , Farrin Payandeh

We provide linearizability criteria for a class of systems of third-order ordinary differential equations (ODEs) that is cubically semi-linear in the first derivative, by differentiating a system of second-order quadratically semi-linear…

Classical Analysis and ODEs · Mathematics 2015-05-13 F. M. Mahomed , I. Naeem , Asghar Qadir

Several recently discovered properties of multiple families of special polynomials (some orthogonal and some not) that satisfy certain differential, difference or q-difference equations are reviewed. A general method of construction of…

Mathematical Physics · Physics 2018-08-03 Oksana Bihun

In present paper we propose an approach based on examination of the structure of the general solution of equations of the type dy/dx=P(x,y)/Q(x,y), with P and Q polynomials only in y. Under the term structure we mean the dependency…

Mathematical Physics · Physics 2007-05-23 Yu. N. Kosovtsov

An algebraic criterion that is sufficient to establish the existence of certain a priori estimates for the solution of first-order homogeneous linear characteristic problems is derived. Estimates of such kind ensure the stability of the…

Mathematical Physics · Physics 2009-11-10 Simonetta Frittelli

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…

Exactly Solvable and Integrable Systems · Physics 2013-11-08 V. Dorodnitsyn , E. Kaptsov , R. Kozlov , P. Winternitz