Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2013
- DOI:
- 10.48550/arXiv.1305.4818
- arXiv:
- arXiv:1305.4818
- Bibcode:
- 2013arXiv1305.4818G
- Keywords:
-
- Computer Science - Symbolic Computation
- E-Print:
- Final version, some typos were corrected. 21 pages, uses svmult.cls