On some non-holonomic sequences
type: Item
instance of: scholarly article
title: On some non-holonomic sequences
zbMATH Open document ID: 1063.11007
author: Stefan Gerhold
published in: The Electronic Journal of Combinatorics
publication date: 2005-04-25T00:00:00Z
full work available at URL: https://eudml.org/doc/124651
full work available at URL: v11i1r86.html
review text: A sequence \(u:\mathbb{N}\to\mathbb{C}\) is called holonomic if it satisfies a homogeneous linear recurrence \(p_0(n)u(n)+p_1(n)u(n+1)+\cdots+p_d(n)u(n+d)=0\), \(n\geq 0\), where \(p_0,p_1,\dots,p_d\in \mathbb{C}[x]\), \(p_d\neq 0\). A formal power series \(f(z)=\sum^\infty_{n:0}u_n(z)z^n\in \mathbb{C}z\) is holonomic if it satisfies a homogeneous linear ordinary differential equation \(p_0(z)f(z)+p_1(z)f'(z)+\cdots+p_d(z)f^{(d)}(z)=0\) with polynomial coefficients. It is well known that a power series is holonomic if and only if its coefficient sequence is. The fundamental result of the paper is Theorem 1: Let \(a_1,\dots,a_p\), \(b_1,\dots,b_q\) be pairwise distinct positive integers. Define the sequence \(\{h(n), n\in \mathbb{N}\}\) by \(h(n)=\frac{(a_1)_n\dots (a_p)_n}{(b_1)_n\dots (b_q)_n}\), \(n\in\mathbb{N}\), where \((c_n)\) denotes the rising factorial \((c_n)_n=\prod^n_{i:1}(c+i-1)\), and let \(r\in\mathbb{Q}\setminus \mathbb{Z}\). Then the sequence \(\{h(n)^r, n\neq\mathbb{N}\}\) is not holonomic. Modulo some open Schanuel's conjecture about an algebraically independent finite set of real numbers, the author exhibits concrete examples of non-holonomic sequences such as \(\{\text{Log\,}n; n\in\mathbb{N}^*\}\) and \(\{(a+n)^{bn},n\in\mathbb{N}\}\) where \(a,b\in\mathbb{Q}\), \(b\neq 0\).
reviewed by: Ali Benhissi
Mathematics Subject Classification ID: 11B37
Mathematics Subject Classification ID: 11J81
zbMATH DE Number: 2161276
zbMATH Keywords: holonomic sequence
zbMATH Keywords: holonomic power series
zbMATH Keywords: algebraic power series
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 2161276