Showing 1–4 of 4 results for author: Petkovšek, M

The Factorial-Basis Method for Finding Definite-Sum Solutions of Linear Recurrences With Polynomial Coefficients

Authors: Antonio Jiménez-Pastor, Marko Petkovšek

Abstract: The problem of finding a nonzero solution of a linear recurrence $Ly = 0$ with polynomial coefficients where $y$ has the form of a definite hypergeometric sum, related to the Inverse Creative Telesco** Problem of [14][Sec. 8], has now been open for three decades. Here we present an algorithm (implemented in a SageMath package) which, given such a recurrence and a quasi-triangular, shift-compatib… ▽ More The problem of finding a nonzero solution of a linear recurrence $Ly = 0$ with polynomial coefficients where $y$ has the form of a definite hypergeometric sum, related to the Inverse Creative Telesco** Problem of [14][Sec. 8], has now been open for three decades. Here we present an algorithm (implemented in a SageMath package) which, given such a recurrence and a quasi-triangular, shift-compatible factorial basis $\mathcal{B} = \langle P_k(n)\rangle_{k=0}^\infty$ of the polynomial space $\mathbb{K}[n]$ over a field $\mathbb{K}$ of characteristic zero, computes a recurrence satisfied by the coefficient sequence $c = \langle c_k\rangle_{k=0}^\infty$ of the solution $y_n = \sum_{k=0}^\infty c_kP_k(n)$ (where, thanks to the quasi-triangularity of $\mathcal{B}$, the sum on the right terminates for each $n \in \mathbb{N}$). More generally, if $\mathcal{B}$ is $m$-sieved for some $m \in \mathbb{N}$, our algorithm computes a system of $m$ recurrences satisfied by the $m$-sections of the coefficient sequence $c$. If an explicit nonzero solution of this system can be found, we obtain an explicit nonzero solution of $Ly = 0$. △ Less

Submitted 15 December, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

Comments: 62 pages

MSC Class: 33F10; 39A06; 68W30

Journal ref: Journal of Symbolic Computation 117 (2023) 15-50

On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in $Π\mathbfΣ^*$-field extensions

Authors: Sergei A. Abramov, Manuel Bronstein, Marko Petkovšek, Carsten Schneider

Abstract: We present a complete algorithm that computes all hypergeometric solutions of homogeneous linear difference equations and rational solutions of parameterized linear difference equations in the setting of $ΠΣ^*$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $ΠΣ^*$-field extensions over a difference field that satisfies certa… ▽ More We present a complete algorithm that computes all hypergeometric solutions of homogeneous linear difference equations and rational solutions of parameterized linear difference equations in the setting of $ΠΣ^*$-fields. More generally, we provide a flexible framework for a big class of difference fields that is built by a tower of $ΠΣ^*$-field extensions over a difference field that satisfies certain algorithmic properties. As a consequence one can compute all solutions in terms of indefinite nested sums and products that arise within the components of a parameterized linear difference equation, and one can find all hypergeometric solutions that are defined over the arising sums and products of a homogeneous linear difference equation. △ Less

Submitted 25 January, 2021; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: Various typos have been removed and the presentation has been improved

Definite Sums as Solutions of Linear Recurrences With Polynomial Coefficients

Authors: Marko Petkovšek

Abstract: We present an algorithm which, given a linear recurrence operator $L$ with polynomial coefficients, $m \in \mathbb{N}\setminus\{0\}$, $a_1,a_2,\ldots,a_m \in \mathbb{N}\setminus\{0\}$ and $b_1,b_2,\ldots,b_m \in \mathbb{K}$, returns a linear recurrence operator $L'$ with rational coefficients such that for every sequence $h$, \[ L\left(\sum_{k=0}^\infty \prod_{i=1}^m \binom{a_i n + b_i}{k} h_k\rig… ▽ More We present an algorithm which, given a linear recurrence operator $L$ with polynomial coefficients, $m \in \mathbb{N}\setminus\{0\}$, $a_1,a_2,\ldots,a_m \in \mathbb{N}\setminus\{0\}$ and $b_1,b_2,\ldots,b_m \in \mathbb{K}$, returns a linear recurrence operator $L'$ with rational coefficients such that for every sequence $h$, \[ L\left(\sum_{k=0}^\infty \prod_{i=1}^m \binom{a_i n + b_i}{k} h_k\right) = 0 \] if and only if $L' h = 0$. △ Less

Submitted 9 April, 2018; originally announced April 2018.

MSC Class: 68W30; 33F10

Convolutions of Liouvillian Sequences

Authors: Sergei A. Abramov, Marko Petkovšek, Helena Zakrajšek

Abstract: While Liouvillian sequences are closed under many operations, simple examples show that they are not closed under convolution, and the same goes for d'Alembertian sequences. Nevertheless, we show that d'Alembertian sequences are closed under convolution with rationally d'Alembertian sequences, and that Liouvillian sequences are closed under convolution with rationally Liouvillian sequences. While Liouvillian sequences are closed under many operations, simple examples show that they are not closed under convolution, and the same goes for d'Alembertian sequences. Nevertheless, we show that d'Alembertian sequences are closed under convolution with rationally d'Alembertian sequences, and that Liouvillian sequences are closed under convolution with rationally Liouvillian sequences. △ Less

Submitted 23 March, 2018; originally announced March 2018.

MSC Class: 68W30; 33F10