A Computer Proof of Moll’s Log-Concavity Conjecture
HTML articles powered by AMS MathViewer
- by Manuel Kauers and Peter Paule PDF
- Proc. Amer. Math. Soc. 135 (2007), 3847-3856 Request permission
Abstract:
In a study on quartic integrals, Moll met a specialized family of Jacobi polynomials. He conjectured that the corresponding coefficient sequences are log-concave. In this paper we settle Moll’s conjecture by a nontrivial usage of computer algebra.References
- George Boros and Victor H. Moll, An integral hidden in Gradshteyn and Ryzhik, J. Comput. Appl. Math. 106 (1999), no. 2, 361–368. MR 1696417, DOI 10.1016/S0377-0427(99)00081-3
- George Boros and Victor H. Moll. Irresistible Integrals. Cambridge University Press, Cambridge, 2004.
- B. F. Caviness and J. R. Johnson (eds.), Quantifier elimination and cylindrical algebraic decomposition, Texts and Monographs in Symbolic Computation, Springer-Verlag, Vienna, 1998. MR 1634186, DOI 10.1007/978-3-7091-9459-1
- George E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Automata theory and formal languages (Second GI Conf., Kaiserslautern, 1975), Lecture Notes in Comput. Sci., Vol. 33, Springer, Berlin, 1975, pp. 134–183. MR 0403962
- Stefan Gerhold and Manuel Kauers. A procedure for proving special function inequalities involving a discrete parameter. In Proceedings of ISSAC’05, pages 156–162, 2005.
- Manuel Kauers, SumCracker: a package for manipulating symbolic sums and related objects, J. Symbolic Comput. 41 (2006), no. 9, 1039–1057. MR 2251819, DOI 10.1016/j.jsc.2006.06.005
- Christian Mallinger. Algorithmic manipulations and transformations of univariate holonomic functions and sequences. Master’s thesis, J. Kepler University, Linz, August 1996.
- Victor H. Moll, The evaluation of integrals: a personal story, Notices Amer. Math. Soc. 49 (2002), no. 3, 311–317. MR 1879857
- Carsten Schneider, The summation package Sigma: underlying principles and a rhombus tiling application, Discrete Math. Theor. Comput. Sci. 6 (2004), no. 2, 365–386. MR 2081481
- Kurt Wegschaider. Computer generated proofs of binomial multi-sum identities. Master’s thesis, RISC-Linz, May 1997.
- Herbert S. Wilf and Doron Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and “$q$”) multisum/integral identities, Invent. Math. 108 (1992), no. 3, 575–633. MR 1163239, DOI 10.1007/BF02100618
Additional Information
- Manuel Kauers
- Affiliation: Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler University Linz, Austria
- Email: mkauers@risc.uni-linz.ac.at
- Peter Paule
- Affiliation: Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler University Linz, Austria
- Email: ppaule@risc.uni-linz.ac.at
- Received by editor(s): June 19, 2006
- Published electronically: September 10, 2007
- Additional Notes: The first author was partially supported by FWF grants SFB F1305 and P16613-N12
The second author was partially supported by FWF grant SFB F1301 - Communicated by: Jim Haglund
- © Copyright 2007
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 135 (2007), 3847-3856
- MSC (2000): Primary 33F10, 05A20
- DOI: https://doi.org/10.1090/S0002-9939-07-08912-5
- MathSciNet review: 2341935