Arithmetic of D-Algebraic Functions

Publication date: 1 May 2023

Abstract: We are concerned with the arithmetic of solutions to ordinary or partial nonlinear differential equations which are algebraic in the indeterminates and their derivatives. We call these solutions D-algebraic functions, and their equations are algebraic (ordinary or partial) differential equations (ADEs). The general purpose is to find ADEs whose solutions are specified rational expressions of solutions to given ADEs. For univariate D-algebraic functions, we show how to derive an ADE whose order is bounded by the sum of the orders of the given algebraic ODEs. In the multivariate case, we prove that this cannot be done with algebraic PDEs, and introduce a general algorithm for these computations. Using our accompanying Maple software, we discuss applications in physics, statistics, and symbolic integration.

Has companion code repository: https://github.com/t3gu1a/d-algebraic-functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differential algebra (12H05) Software, source code, etc. for problems pertaining to partial differential equations (35-04) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)

This page was built for publication: Arithmetic of D-Algebraic Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6434875)