Fast Algorithms for Discrete Differential Equations

02/13/2023
by   Alin Bostan, et al.
0

Discrete Differential Equations (DDEs) are functional equations that relate polynomially a power series F(t,u) in t with polynomial coefficients in a "catalytic" variable u and the specializations, say at u=1, of F(t,u) and of some of its partial derivatives in u. DDEs occur frequently in combinatorics, especially in map enumeration. If a DDE is of fixed-point type then its solution F(t,u) is unique, and a general result by Popescu (1986) implies that F(t,u) is an algebraic power series. Constructive proofs of algebraicity for solutions of fixed-point type DDEs were proposed by Bousquet-Mélou and Jehanne (2006). Bostan et. al (2022) initiated a systematic algorithmic study of such DDEs of order 1. We generalize this study to DDEs of arbitrary order. First, we propose nontrivial extensions of algorithms based on polynomial elimination and on the guess-and-prove paradigm. Second, we design two brand-new algorithms that exploit the special structure of the underlying polynomial systems. Last, but not least, we report on implementations that are able to solve highly challenging DDEs with a combinatorial origin.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/06/2020

Projected iterations of fixed point type to solve nonlinear partial Volterra integro–differential equations

In this paper, we propose a method to approximate the fixed point of an ...
research
01/06/2023

D-Algebraic Functions

Differentially-algebraic (D-algebraic) functions are solutions of polyno...
research
03/20/2023

D-Module Techniques for Solving Differential Equations in the Context of Feynman Integrals

Feynman integrals are solutions to linear partial differential equations...
research
08/11/2023

A fixed point approach for finding approximate solutions to second order non-instantaneous impulsive abstract differential equations

This paper is concerned with the approximation of solutions to a class o...
research
01/21/2022

Sparse grid implementation of a fixed-point fast sweeping WENO scheme for Eikonal equations

Fixed-point fast sweeping methods are a class of explicit iterative meth...
research
02/08/2021

Symbolic computation of hypergeometric type and non-holonomic power series

A term a_n is m-fold hypergeometric, for a given positive integer m, if ...
research
12/16/2020

Hopf bifurcation in addition-shattering kinetics

In aggregation-fragmentation processes, a steady state is usually reache...

Please sign up or login with your details

Forgot password? Click here to reset