Non-holonomicity of sequences defined via elementary functions (Q938207)

The authors consider the non-holonomicity of sequences defined by the aid of elementary and analytic functions. They give a new method for proving non-holonomicity of sequences which are based on the results about the number of zeros of elementary and of analytic functions. Also they generalize the recent known result on this subject. They prove several results on a function \((f(z))\) for \(n\geq 1\) to be a holonomic sequence or not. Also they show that if the sequence \((f(z))\) for \(n\geq 1\) is holonomic then the derivative sequence \((f^{\prime}(z))\) for \(n\geq 1\) is also holonomic. Finally, they give a result based on the Riemann zeta-function \(\zeta\), that is, they prove that if \(2\leq b_1<b_2<\cdots \) is a sequence of integers such that the gap \(b_{n+1}-b_n\) is bounded, then the sequence \((\zeta(b_n)\) for \(n\geq 1\) is not holonomic.