分数阶贝塞尔函数若干恒等式的计算机辅助证明
符号计算
2013-07-22 v2
摘要
我们利用计算机代数算法证明了一系列涉及半整数阶贝塞尔函数及其他特殊函数的恒等式。这些恒等式出现在著名的《数学函数手册》及其继任者 DLMF 中，但其证明已失传。我们使用生成函数和符号求和技术为它们提供了新的证明。
引用
@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}
}
备注
Final version, some typos were corrected. 21 pages, uses svmult.cls