Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

DOI10.1007/978-3-7091-1616-6_3MaRDI QIDQ5244917zbMATH OpenOpenAlexFDO

Authors Stefan Gerhold, M. Kauers, Christoph Koutschan, Peter Paule, Burkhard Zimmermann, Carsten Schneider

Publication date 1 April 2015

Published in Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.4818

zbMATH Keywords

generating functionssymbolic summation techniques

Mathematics Subject Classification ID

Bessel and Airy functions, cylinder functions, ({}_0F_1) (33C10) Lamé, Mathieu, and spheroidal wave functions (33E10)

Abstract: We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them.

Recommendations

• Computational aspects of fractional Romanovski-Bessel functions
• Computer-assisted proofs of special function identities related to Poisson integrals
• Computation of fractional integrals via functions of hypergeometric and Bessel type
• Computation of the logarithm of Bessel functions of complex argument and fractional order
• Algorithms for computing Bessel functions of half-integer order with complex arguments
• scientific article; zbMATH DE number 4074324
• On the computation of Bessel functions of first kind
• scientific article; zbMATH DE number 5569983
• scientific article; zbMATH DE number 1086552
• Algorithms for the evaluation of Bessel functions of complex argument and integer orders

Cites work

• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• A new Sigma approach to multi-summation
• Advanced applications of the holonomic systems approach. (Abstract of thesis)
• An extension of Zeilberger's fast algorithm to general holonomic functions
• GFUN
• scientific article; zbMATH DE number 3477793 (Why is no real title available?)
• scientific article; zbMATH DE number 718142 (Why is no real title available?)
• scientific article; zbMATH DE number 2151201 (Why is no real title available?)
• scientific article; zbMATH DE number 1390900 (Why is no real title available?)
• NIST handbook of mathematical functions
• Plane partitions. VI: Stembridge's TSPP theorem
• Symbolic summation assists combinatorics
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The Hartman-Watson distribution revisited: asymptotics for pricing Asian options
• The holonomic toolkit
• The integrals in Gradshteyn and Ryzhik. XVIII: Some automatic proofs
• The method of creative telescoping

Cited in

(2)

• Computer-assisted proofs of special function identities related to Poisson integrals
• D-finiteness: a success story

Describes a project that uses

Uses Software

• gfun
• DLMF

This page was built for publication: Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244917)