Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
Symbolic Computation
2013-07-22 v2
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.
Keywords
Cite
@article{arxiv.1305.4818,
title = {Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order},
author = {Stefan Gerhold and Manuel Kauers and Christoph Koutschan and Peter Paule and Carsten Schneider and Burkhard Zimmermann},
journal= {arXiv preprint arXiv:1305.4818},
year = {2013}
}
Comments
Final version, some typos were corrected. 21 pages, uses svmult.cls