算术几何平均程序.docx

算术几何平均算术几何平均两个数的和(也经常写或)被定义为从和,然后迭代(1)(2)直到到所需的精度。和互相靠拢(3)(4)但,所以(5)现在,添加对每一方(6)所以(7)块顶部显示为和为,而底部的两个情节表演对于复杂的值?.年度股东大会是非常有用的在计算的值完成椭圆积分,也可以用于寻找逆切.它的实现Wolfram语言作为ArithmeticGeometricMean[a,b]。可以表示在封闭形式的第一类完全椭圆积分作为(8)算术几何平均的定义还持有复平面,正如上文所述?.算术几何平均的勒让德形式给出(9)在哪里和(10)特殊的值在下表中进行了总结。一个特殊的值(11)(OEISA014549)高斯是常数。它具有封闭形式(12)(13)上面的积分是在哪里双纽线函数平等的算术几何平均高斯积分是已知的(Borwein和贝利2003年,页13 - 15)。斯隆价值A0685211.4567910310469068692……A0848951.8636167832448965424……A0848962.2430285802876025701……A0848972.6040081905309402887……年度股东大会是由的导数(14)(15)在哪里?,是一个第一类完全椭圆积分,是第二类完全椭圆积分.的级数展开是由(16)年度股东大会的属性(17)(18)(19)(20)解决微分方程(21)是由和?.算术几何平均的泛化(22)与微分方程的解决方案是什么(23)这个案子对应于算术几何平均通过(24)(25)这个案子给出了立方相对(26)(27)讨论Borwein和Borwein(1990、1991)和Borwein(1996)。为,这个函数满足函数方程(28)因此,对于迭代和和(29)(30)所以(31)在哪里(32)参见:Brent-Salamin公式Brent-Salamin公式,也叫做Gauss-Salamin公式或Salamin公式,使用的是一个公式算术几何平均来计算π。二次收敛。让(1)(2)(3)(4)并定义初始条件?,。然后迭代和给出了算术几何平均,是由(5)(6)王(1924)表明,这个公式和勒让德关系是等价的,也可能来自其他。高斯是常数的互惠的算术几何平均1,?,(1)(2)(3)(4)(5)(6)(7)(OEISA014549),是第一类完全椭圆积分,是一个雅可比θ的函数,是γ函数。这信件被高斯第一次注意到,他探索的基础双纽线函数(Borwein和贝利2003,页13 - 15)。两个迅速收敛级数是由(8)(9)(芬奇2003,p . 421)。高斯的常数连分数[0,1,5,21岁,3,4,14日,1,1,1,1,1,3,1日,15日,…](OEISA053002).逆高斯的常数是由(10)(OEISA053004,芬奇2003,p . 420;Borwein和贝利2003年,13页),(1、5、21岁的3、4、14日,1,1,1,1,1,3,1,15日1,……](OEISA053003).的值(11)(OEISA097057有时被称为无处不在的常数(Spanier和奥尔德姆1987;施罗德1987;芬奇2003,p . 421),和(12)(OEISA076390有时被称为第二双纽线不变(芬奇2003,p . 421)。高斯的常量和有关双纽线不变通过(13)(14)(芬奇2003,p . 420)。无处不在的常数让是高斯是常数和是它的乘法逆元。然后(OEISA097057)有时被称为无处不在的常数(Spanier和奥尔德姆1987;施罗德1987;芬奇1994,p . 421)。U(n)基本超几何级数多个系列基本超几何级数的概括统一的组织。基本定理系列采用了?, ...,和?, ...,不确定的和。然后在假定没有分母消失(博1995,p . 22)。这个定理称为一个系列系列(米尔恩博1985;1985年,p . 22)。许多其他的结果,包括q-binomial定理和q-Saalschutz总和可以推广到系列。贝特曼函数为,在那里是一个合流超几何函数的第二种.第一类合流超几何函数第一种的合流超几何函数是一种堕落的超几何函数作为解决方案的出现合流超几何方程。它也被称为第一类Kummer领军的功能。有许多其他的符号用于函数(斯莱特1960年,p . 2),包括(Kummer领军1836),(Airey和韦伯1918),(亨伯特1920年),和(Magnus和Oberhettinger 1948)。另一种形式的解决方案合流超几何方程被称为惠塔克函数.第一种的合流超几何函数的实现Wolfram语言作为Hypergeometric1F1[a,b,z]。合流超几何函数的超几何级数给出的(1)在哪里和是Pochhammer符号。如果和是整