Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

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

Yarong Wei

Abstract

The bivariate difference filed $(\mathbb{F}(α, β), σ)$ provides an algebraic framework for a sequence satisfying a recurrence of order two and it could transform the summation involving a sequence satisfying a recurrence of order two into the first order difference equations in the bivariate difference field. Based on it, we present an algorithm for finding all the polynomial solutions of such equations in the bivariate difference field, and show an upper bound on the degree for polynomial solutions which is sufficient to compute polynomial solution by using the undetermined method.

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

Abstract

The bivariate difference filed provides an algebraic framework for a sequence satisfying a recurrence of order two and it could transform the summation involving a sequence satisfying a recurrence of order two into the first order difference equations in the bivariate difference field. Based on it, we present an algorithm for finding all the polynomial solutions of such equations in the bivariate difference field, and show an upper bound on the degree for polynomial solutions which is sufficient to compute polynomial solution by using the undetermined method.
Paper Structure (3 sections, 6 theorems, 57 equations, 1 algorithm)

This paper contains 3 sections, 6 theorems, 57 equations, 1 algorithm.

Table of Contents

  1. Introduction
  2. Bivariate Difference Field
  3. Polynomial Solutions

Key Result

Theorem 2.1

In the bivariate difference field $(\mathbb{F}(\alpha, \beta), \sigma)$ with $\sigma|_\mathbb{F}={\rm id}$ and the matrix with the eigenvectors $X_1,X_2$ corresponding to the eigenvalues $\lambda_1,\lambda_2$, respectively. If $\lambda_1\neq\lambda_2\in\mathbb{F}$ and $\lambda_1/\lambda_2$ is not a root of unit, then for the homogeneous polynomial $p\in\mathbb{F}(\alpha,\beta)^{\sigma}$ with $\de

Theorems & Definitions (15)

  • Theorem 2.1: Hou-Wei-2023
  • Theorem 2.2
  • proof
  • Theorem 2.3
  • proof
  • Theorem 2.4
  • proof
  • Theorem 3.1
  • proof
  • Theorem 3.2
  • ...and 5 more