<%@ Page Language="C#" MasterPageFile="~/Main.master" AutoEventWireup="true" Title="Volume 12 Issue 1" %>
Non-Holonomicity of Sequences Defined via Elementary Functions
Jason P. Bell1, Stefan Gerhold2, Martin Klazar3, and Florian Luca4
1Department of Mathematics, Simon Fraser University, 8888 University Drive, Burnaby, B.C. V5A 1S6, Canada
2Christian Doppler Laboratory for Portfolio Risk Management, Vienna University of Technology, Wiedner Hauptstraße 8/105-1 A-1040 Vienna, Austria
3Department of Applied Mathematics (KAM) and Institute for Theoretic Computer Science (ITI), Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, 118 00 Praha, Czech Republic
4Instituto de Matem´aticas UNAM, C.P. 58 089 Campus Morelia, Michoacán, Mexico
Annals of Combinatorics 12 (1) p.1-16 March, 2008
AMS Subject Classification:11B37, 11B83
We present a new method for proving non-holonomicity of sequences, which is based on results about the number of zeros of elementary and of analytic functions. Our approach is applicable to sequences that are defined as the values of an elementary function at positive integral arguments. We generalize several recent results, e.g., non-holonomicity of the logarithmic sequence is extended to rational functions involving logn. Moreover, we show that the sequence that arises from evaluating the Riemann zeta function at an increasing integer sequence with bounded gap lengths is not holonomic.
Keywords: holonomic sequences, fewnomials, meromorphic functions


1. R. Apéry, Irrationalité de z(2) et z(3), Astérisque 61 (1979) 11-13.

2. J.-P. Bezivin, Sur les suites récurrentes à coefficients polynômes, J. Number Theory 66 (1997) 282-290.

3. B.F. Caviness, On canonical forms and simplification, J. ACM 17 (1970) 385-396.

4. Y.-M. Chiang and S.-J. Feng, Difference independence of the Riemann zeta function, Acta Arith. 125 (2006) 317-329.

5. P. Flajolet, S. Gerhold, and B. Salvy, On the non-holonomic character of logarithms, powers and the nth prime function, Electron. J. Combin. 11 (2005) 1-16.

6. P. Flajolet, S. Gerhold, and B. Salvy, Asymptotic analysis of the generating functions of certain closed form sequences, in preparation.

7. F.R. Gantmacher, The Theory of Matrices II, Chelsea Publishing Co., New York, 1959.

8. S. Gerhold, On some non-holonomic sequences, Electron. J. Combin. 11 (2004) 1-8.

9. S. Gerhold, Combinatorial sequences: non-holonomicity and inequalities, PhD thesis, Johannes Kepler University Linz, 2005.

10. P. Henrici, Applied and Computational Complex Analysis, Vol. 1, John Wiley, New York, 1974.

11. A.G. Khovanskiĭ, Fewnomials, AMS Press, Providence, RI, 1991.

12. M. Klazar, Non-holonomicity of the sequence log1, log2, log3, …, available at: arXiv: math.CO/0502141.

13. M. Laczkovich and I. Ruzsa, Elementary and integral-elementary functions, Illinois J. Math. 44 (2000) 161-182.

14. L. Lipshitz, D-finite power series, J. Algebra 122 (1989) 353-373.

15. P. Malliavin and L. Rubel, On small entire functions of exponential type with given zeros, Bull. Soc. Math. France 89 (1961) 175-206.

16. G. Molteni, Some arithmetical properties of the generating power series for the sequence , Acta Math. Hungar. 90 (1-2) (2001) 133-140.

17. G. Pólya and G. Szegö, Problems and Theorems in Analysis I, Classics in Mathematics, Springer-Verlag, Berlin, 1998.

18. G. Pólya and G. Szegö, Problems and Theorems in Analysis II, Classics in Mathematics, Springer-Verlag, Berlin, 1998.

19. R. Remmert, Classical Topics in Complex Function Theory, Springer, 1998.

20. D. Richardson, Some undecidable problems involving elementary functions of a real variable, J. Symbolic Logic 33 (4) (1968) 514-520.

21. L.A. Rubel, Some research problems about algebraic differential equations, Trans. Amer. Math. Soc. 280 (1983) 43-52.

22. L.A. Rubel, Some research problems about algebraic differential equations II, Illinois J. Math. 36 (1992) 659-680.

23. L.A. Rubel, Entire and Meromorphic Functions, Springer-Verlag, New York, 1996.

24. R.P. Stanley, Enumerative Combinatorics, Vol. II, Cambridge University Press, Cambridge, 1998.

25. A. van der Poorten, A proof that Euler missed … Apéry's proof of the irrationality of ζ(3), Math. Intelligencer 1 (1979) 195-203.

26. A.J. van der Poorten and I.E. Shparlinski, On linear recurrence sequences with polynomial coefficients, Glasg. Math. J. 38 (2) (1996) 147-155.

27. M. van der Put and M.F. Singer, Galois theory of difference equations, Lecture Notes in Mathematics, Vol. 1666, Springer-Verlag, Berlin, 1997.