arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1104.0392math.NT
收藏

某些Ramanujan公式的生成元

Generators of some Ramanujan formulas

Jeus Guillera

摘要:

本文在不使用模形式理论的情况下证明了$1/π$的Ramanujan型公式。相反,我们使用H. Wilf和D. Zeilberger的EKHAD程序包证明了WZ-对的第二个分量是二元的超几何函数。这些证书有一个额外的属性,使我们能够得到一般的拉马努金型系列,这是例行证明的计算机。我们称这些第二超几何组件的WZ-对发电机。寻找发电机似乎是一项艰巨的任务,但使用一种实验研究(下文解释),我们已经成功地找到了其中的一些。不幸的是,我们还没有发现发电机最令人印象深刻的拉马努金的公式。我们还证明了一些有趣的二项式和常数$1/π^2$。最后,我们重写了许多得到的系列使用pochhammer符号和研究的收敛速率。

英文摘要:

In this paper we prove some Ramanujan-type formulas for $1/π$ but without using the theory of modular forms. Instead we use the WZ-method created by H. Wilf and D. Zeilberger and find some hypergeometric functions in two variables which are second components of WZ-pairs that can be certified using Zeilberger's EKHAD package. These certificates have an additional property which allows us to get generalized Ramanujan-type series which are routinely proven by computer. We call these second hypergeometric components of the WZ-pairs generators. Finding generators seems a hard task but using a kind of experimental research (explained below), we have succeeded in finding some of them. Unfortunately we have not found yet generators for the most impressive Ramanujan's formulas. We also prove some interesting binomial sums for the constant $1/π^2$. Finally we rewrite many of the obtained series using pochhammer symbols and study the rate of convergence.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑