English
Related papers

Related papers: Rational Solutions of Parametric First-Order Algeb…

200 papers

It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential…

Symbolic Computation · Computer Science 2008-04-03 Alin Bostan , Frédéric Chyzak , Bruno Salvy , Grégoire Lecerf , Éric Schost

In this paper, we present a new numerical method to solve fractional differential equations. Given a fractional derivative of arbitrary real order, we present an approximation formula for the fractional operator that involves integer-order…

Numerical Analysis · Mathematics 2015-12-16 Ricardo Almeida , Nuno R. O. Bastos

A special series is introduced in this paper to yield solution of the first-order linear vector differential equation. It is proved that if the differential equation satisfied by the first term of this series can be solved exactly, then…

Classical Analysis and ODEs · Mathematics 2007-05-23 Xin-Bing Huang

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…

Symbolic Computation · Computer Science 2024-08-29 Yuki Ishihara , Kazuhiro Yokoyama

Based on functional analysis, we propose an algorithm for finite-norm solutions of higher-order linear Fuchsian-type ordinary differential equations (ODEs) P(x,d/dx)f(x)=0 with P(x,d/dx):=[\sum_m p_m (x) (d/dx)^m] by using only the four…

Numerical Analysis · Mathematics 2011-06-24 Fuminori Sakaguchi , Masahito Hayashi

We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…

Logic · Mathematics 2021-11-02 Juvenal Murwanashyaka

Rational solutions of the fourth order analogue to the Painlev'e equations are classified. Special polynomials associated with the rational solutions are introduced. The structure of the polynomials is found. Formulas for their coefficients…

Exactly Solvable and Integrable Systems · Physics 2015-06-26 Nikolai A. Kudryashov , Maria V. Demina

Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries)…

Classical Analysis and ODEs · Mathematics 2023-11-14 L. G. S. Duarte , L. A. C. P. da Mota , A. F. Rocha

In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on…

Commutative Algebra · Mathematics 2010-12-24 Cristina Bertone

The integrability problem of rational first-order ODEs $y^{\prime}=\frac{M(x,y)}{N(x,y)}$, where $M,N \in \mathbb{R}[x,y]$ is a long-term research focus in the area of dynamical systems, physics, etc. Although the computer algebra system…

Symbolic Computation · Computer Science 2025-07-04 Shaoxuan Huang

In this paper we construct high order numerical methods for solving third and fourth orders nonlinear functional differential equations (FDE). They are based on the discretization of iterative methods on continuous level with the use of the…

Numerical Analysis · Mathematics 2024-11-05 Dang Quang A , Dang Quang Long

We give a new computational method to obtain symmetries of ordinary differential equations. The proposed approach appears as an extension of a recent algorithm to compute variational symmetries of optimal control problems [Comput. Methods…

Classical Analysis and ODEs · Mathematics 2009-11-13 Paulo D. F. Gouveia , Delfim F. M. Torres

We propose a reduced-order modeling approach for nonlinear, parameter-dependent ordinary differential equations (ODE). Dimensionality reduction is achieved using nonlinear maps represented by autoencoders. The resulting low-dimensional ODE…

Numerical Analysis · Mathematics 2026-04-16 Enrico Ballini , Marco Gambarini , Alessio Fumagalli , Luca Formaggia , Anna Scotti , Paolo Zunino

There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 second order equations of that type found in Kamke's book, for…

Mathematical Physics · Physics 2007-05-23 L. Chan , E. S. Cheb-Terrab

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

It is well-known that a Hilbert-style deduction system for first-order classical logic is sound and complete for a model theory built using all Boolean algebras as truth-value algebras if and only if it is sound and complete for a model…

Logic · Mathematics 2016-06-21 Richard DeJonghe , Kimberly Frey , Tom Imbo

We study second order and third order linear differential equations with analytic coefficients under the viewpoint of finding formal solutions and studying their convergence. We address some untouched aspects of Frobenius methods for second…

Classical Analysis and ODEs · Mathematics 2019-06-12 V. León , B. Scárdua

The main objective of this paper is to introduce an algorithm for solving fractional and classical differential equations based on a new generalized fractional power series. The algorithm relies on expanding the solution of an FDE or an ODE…

General Mathematics · Mathematics 2024-06-26 Youness Assebbane , Mohamed Echchehira , Mohamed Bouaouid , Mustapha Atraoui

We consider initial value problems for differential-algebraic equations in a possibly infinite-dimensional Hilbert space. Assuming a growth condition for the associated operator pencil, we prove existence and uniqueness of solutions for…

Classical Analysis and ODEs · Mathematics 2017-11-15 Sascha Trostorff , Marcus Waurick

We present a new approach for estimating parameters in rational ODE models from given (measured) time series data. In typical existing approaches, an initial guess for the parameter values is made from a given search interval. Then, in a…

Mathematical Software · Computer Science 2023-12-19 Oren Bassik , Yosef Berman , Soo Go , Hoon Hong , Ilia Ilmer , Alexey Ovchinnikov , Chris Rackauckas , Pedro Soto , Chee Yap