Abstract:Inspired by Karr's algorithm, we consider the summations involving a sequence satisfying a recurrence of order two. The structure of such summations provides an algebraic framework for solving the difference equations of form $a\sigma(g)+bg=f$ in the bivariate difference field $(\mathbb{F}(\alpha, \beta), \sigma)$, where $a, b,f\in\mathbb{F}(\alpha,\beta)\setminus\{0\}$ are known binary functions of $\alpha$, $\beta$, and $\alpha$, $\beta$ are two algebraically independent transcendental elements, $\sigma$ is a transformation that satisfies $\sigma(\alpha)=\beta$, $\sigma(\beta)=u\alpha+v\beta$, where $u,v\neq 0\in\mathbb{F}$. Based on it, we then describe algorithms for finding the universal denominator for those equations in the bivariate difference field under certain assumptions. This reduces the general problem of finding the rational solutions of such equations to the problem of finding the polynomial solutions of such equations.

On the divided difference form of FaA di Bruno's formula II

ON THE DIVIDED DIFFERENCE FORM OF FAA DI BRUNO＇S FORMULA II

On the Divided Differences of the Remainder in Polynomial Interpolation

Some Results on Numerical Divided Difference Formulas

Fe b 20 10 PARTIAL DIFFERENCE SETS FROM pARY WEAKLY REGULAR BENT FUNCTIONS AND QUADRATIC FORMS

How to stare at the higher-order n-dimensional chain rule without losing your marbles

A Generalized Representation of Faá di Bruno's Formula Using Multivariate Bell Polynomials

The Faa di Bruno formula revisited

A new algorithm for computing the multivariate Faà di Bruno's formula

The higher order chain rule in Sobolev spaces

Generalized Leibniz functional matrices and divided difference form of the Lagrange–Bürmann formula

Stable and Total Fenchel Duality for DC Optimization Problems in Locally Convex Spaces.

Extended Farkas's lemmas and strong lagrange dualities for DC infinite programming

A Voronoi summation formula for the shifted triple divisor function

Gauss–Newton Method for Convex Composite Optimizations on Riemannian Manifolds

Rational Solutions to the First Order Difference Equations in the Bivariate Difference Field

Properties of divided difference and its application

General explicit difference formulas for numerical differentiation

A Divided Difference Approach to Abel and Hagen-Rothe Identities.

New Indefinite Summation Formulas and Some Applications

Representation functions for binary linear forms