主題
Search

沃利斯公式

DOWNLOAD Mathematica Notebook下載 Wolfram 筆記本

沃利斯公式源於正弦函式的無窮乘積表示

sinx=xproduct_(n=1)^infty(1-(x^2)/(pi^2n^2)).
(1)

取 x=pi/2 給出

1=pi/2product_(n=1)^infty[1-1/((2n)^2)]=pi/2product_(n=1)^infty[((2n)^2-1)/((2n)^2)],
(2)

因此

pi/2=product_(n=1)^(infty)[((2n)^2)/((2n-1)(2n+1))]
(3)
=(2·2)/(1·3)(4·4)/(3·5)(6·6)/(5·7)...
(4)

(OEIS A052928 和 A063196)。

一個加速乘積由下式給出

pi/2=e^s
(5)
=(2/1)^(1/2)((2^2)/(1·3))^(1/4)((2^3·4)/(1·3^3))^(1/8)((2^4·4^4)/(1·3^6·5))^(1/16)...
(6)

其中

s=sum_(n=1)^infty1/(2^n)sum_(k=0)^n(-1)^(k+1)(n; k)ln(k+1)
(7)

(Guillera 和 Sondow 2005, Sondow 2005)。這類似於乘積

e^gamma=(2/1)^(1/2)((2^2)/(1·3))^(1/3)((2^3·4)/(1·3^3))^(1/4)((2^4·4^4)/(1·3^6·5))^(1/5)...
(8)

和

e=(2/1)^(1/1)((2^2)/(1·3))^(1/2)((2^3·4)/(1·3^3))^(1/3)((2^4·4^4)/(1·3^6·5))^(1/4)...
(9)

(Sondow 2005)。

Y. L. Yung (私人通訊，1996年；由 J. Sondow 修改，私人通訊，2002年) 給出的方程 (◇) 的推導定義了

F(s)=-Li_s(-1)
(10)
=1/2+1/2sum_(n=1)^(infty)(-1)^(n-1)[n^(-s)-(n+1)^(-s)]
(11)
=(1-2^(1-s))zeta(s),
(12)

其中 Li_s(x) 是多對數函式，zeta(n) 是黎曼zeta函式，當 R[s]>-1 收斂。對 (11) 求導給出

F^'(s)=1/2sum_(n=1)^infty(-1)^n[(lnn)/(n^s)-(ln(n+1))/((n+1)^s)],
(13)

當 R[s]>-1 也收斂，代入 s=0 則給出

F^'(0)=1/2sum_(n=1)^(infty)(-1)^n[lnn-ln(n+1)]
(14)
=1/2[(-ln1+ln2)+(ln2-ln3)+(-ln3+ln4)+...]
(15)
=1/2ln((2·2)/(1·3)(4·4)/(3·5)(6·6)/(5·7)...).
(16)

現在，對zeta函式表示式 (◇) 求導給出

d/(ds)(1-2^(1-s))zeta(s)=2^(1-s)(ln2)zeta(s)+(1-2^(1-s))zeta^'(s),
(17)

再次設定 s=0 得到

F^'(0)=[d/(ds)(1-2^(1-s))zeta(s)]_(s=0)
(18)
=-ln2-zeta^'(0)
(19)
=-ln2+1/2ln(2pi)
(20)
=1/2ln(1/2pi),
(21)

其中

zeta^'(0)=-1/2ln(2pi)=-0.918938...
(22)

(OEIS A075700) 源於Hadamard 乘積對於黎曼zeta函式。等式化並平方 (◇) 和 (◇) 則得到沃利斯公式。

這種從 zeta^'(0) 使用 Hadamard 乘積推導沃利斯公式的方法也可以逆轉，以從沃利斯公式推匯出 zeta^'(0)，而無需使用 Hadamard 乘積 (Sondow 1994)。

沃利斯公式也可以表示為

pi/2=[4^(zeta(0))e^(-zeta^'(0))]^2.
(23)

沃利斯公式的 q-模擬，當 q=1/2 為

product_(k=1)^(infty)(1-q^k)^(-1)=1/((1/2;1/2)_infty)
(24)
=3.4627466194...
(25)

(OEIS A065446; Finch 2003)，其中 (q;a)_infty 是 q-Pochhammer 符號。這個常數是 1/Q，其中 Q 是在數字樹搜尋中遇到的常數。乘積的形式正是尤拉的生成函式，用於劃分函式 P，並且與 q-pi 相關。

另請參閱

Pi 公式, Pippenger 乘積, q-pi, Wallis 餘弦公式

此條目的部分內容由 Jonathan Sondow (作者連結) 貢獻

使用 探索

參考文獻

Abramowitz, M. 和 Stegun, I. A. (編). 數學函式手冊，包含公式、圖表和數學表格，第9版. New York: Dover, p. 258, 1972.Finch, S. R. "阿基米德常數." §1.4 in 數學常數. Cambridge, England: Cambridge University Press, pp. 17-28, 2003.Guillera, J. 和 Sondow, J. "透過 Lerch 超越函式的解析延拓得到的經典常數的雙重積分和無窮乘積." 2005年6月16日. http://arxiv.org/abs/math.NT/0506319.Jeffreys, H. 和 Jeffreys, B. S. "π 的沃利斯公式." §15.07 in 數學物理方法，第3版. Cambridge, England: Cambridge University Press, p. 468, 1988.Kenney, J. F. 和 Keeping, E. S. 統計數學，第二部分，第2版. Princeton, NJ: Van Nostrand, pp. 63-64, 1951.Sloane, N. J. A. 序列 A052928, A063196, A065446, 和 A075700 in "整數數列線上百科全書."Sondow, J. "透過尤拉級數變換得到的黎曼 zeta 函式的解析延拓和負整數值." Proc. Amer. Math. Soc. 120, 421-424, 1994.Sondow, J. "pi 的更快乘積和 ln(pi/2) 的新積分." Amer. Math. Monthly 112, 729-734, 2005.Wallis, J. Arithmetica Infinitorum. Oxford, England, 1656.

在 中被引用

沃利斯公式

請引用為

Sondow, Jonathan 和 Weisstein, Eric W. "沃利斯公式." 來自 網路資源. https://mathworld.tw/WallisFormula.html

主題分類