主題
Search

雙階乘


正整數 n 的雙階乘是通常 階乘 n!\ 的推廣,定義為

 n!!={n·(n-2)...5·3·1   n>0 odd; n·(n-2)...6·4·2   n>0 even; 1   n=-1,0.
(1)

注意,-1!!=0!!=1,根據定義 (Arfken 1985, p. 547)。

符號 n!! 的起源似乎不廣為人知,並且在 Cajori (1993) 中沒有提及。

對於 n=0, 1, 2, ...,前幾個值是 1, 1, 2, 3, 8, 15, 48, 105, 384, ... (OEIS A006882)。(10^n)!! 的十進位制位數,對於 n=0, 1, ... 是 1, 4, 80, 1285, 17831, 228289, 2782857, 32828532, ... (OEIS A114488)。

雙階乘在 Wolfram 語言 中以 n!! 或Factorial2[n]。

雙階乘是 多階乘 的一個特例。

雙階乘可以用 伽瑪函式 表示為

 Gamma(n+1/2)=((2n-1)!!)/(2^n)sqrt(pi)
(2)

(Arfken 1985, p. 548)。

DoubleFactorial

雙階乘也可以使用定義擴充套件到負奇整數

(-2n-1)!!=((-1)^n)/((2n-1)!!)
(3)
=((-1)^n2^nn!)/((2n)!)
(4)

對於 n=0, 1, ... (Arfken 1985, p. 547)。

DoubleFactorialReImAbs
最小值 最大值
實部
虛部 Powered by webMathematica

類似地,雙階乘可以擴充套件到複數引數,表示為

 z!!=2^([1+2z-cos(piz)]/4)pi^([cos(piz)-1]/4)Gamma(1+1/2z).
(5)

有很多恆等式將雙階乘與階乘聯絡起來。由於

 (2n+1)!!2^nn! 
=[(2n+1)(2n-1)...1][2n][2(n-1)][2(n-2)]...2·1 
=[(2n+1)(2n-1)...1][2n(2n-2)(2n-4)...2] 
=(2n+1)(2n)(2n-1)(2n-2)(2n-3)(2n-4)...2·1 
=(2n+1)!,
(6)

由此得出 (2n+1)!!=((2n+1)!)/(2^nn!)。對於 n=0, 1, ...,前幾個值是 1, 3, 15, 105, 945, 10395, ... (OEIS A001147)。

同樣,由於

(2n)!!=(2n)(2n-2)(2n-4)...2
(7)
=[2(n)][2(n-1)][2(n-2)]...2
(8)
=2^nn!,
(9)

由此得出 (2n)!!=2^nn!\。對於 n=0, 1, ...,前幾個值是 1, 2, 8, 48, 384, 3840, 46080, ... (OEIS A000165)。

最後,由於

 (2n-1)!!2^nn! 
=[(2n-1)(2n-3)...1][2n][2(n-1)][2(n-2)]...2(1) 
=(2n-1)(2n-3)...1][2n(2n-2)(2n-4)...2] 
=2n(2n-1)(2n-2)(2n-3)(2n-4)...2(1) 
=(2n)!,
(10)

由此得出

 (2n-1)!!=((2n)!)/(2^nn!).
(11)

對於 n\ 奇數

(n!)/(n!!)=(n(n-1)(n-2)...(1))/(n(n-2)(n-4)...(1))
(12)
=(n-1)(n-3)...(1)
(13)
=(n-1)!!.
(14)

對於 n\ 偶數

(n!)/(n!!)=(n(n-1)(n-2)...(2))/(n(n-2)(n-4)...(2))
(15)
=(n-1)(n-3)...(2)
(16)
=(n-1)!!.
(17)

因此,對於任何 n\

 (n!)/(n!!)=(n-1)!!
(18)
 n!=n!!(n-1)!!.
(19)

雙階乘滿足以下漂亮的級數

sum_(n=0)^(infty)(x^(2n))/((2n)!!)=e^(x^2/2)
(20)
sum_(n=0)^(infty)(x^(2n+1))/((2n+1)!!)=sqrt(pi/2)erf(x/(sqrt(2)))e^(x^2/2)
(21)
sum_(n=0)^(infty)(x^n)/(n!!)=1/2e^(x^2/2)[sqrt(2pi)erf(x/(sqrt(2)))+2].
(22)

後者給出了倒數雙階乘的閉合形式的和,如下所示

sum_(n=0)^(infty)1/(n!!)=sqrt(e)[1+sqrt(pi/2)erf(1/2sqrt(2))]
(23)
=sqrt(e)[1/2sqrt(2)+gamma(1/2,1/2)]
(24)
=3.0594074053425761445...
(25)

(OEIS A143280),其中 gamma(a,x) 是一個下 不完全伽瑪函式。這個和是 倒數多階乘常數 的一個特例。

拉馬努金給出的一個閉合形式的和由下式給出

 sum_(n=0)^infty(-1)^n[((2n-1)!!)/((2n)!!)]^3=[(Gamma(9/8))/(Gamma(5/4)Gamma(7/8))]^2
(26)

(Hardy 1999, p. 106)。Whipple (1926) 給出了這個和的推廣 (Hardy 1999, pp. 111-112)。


另請參閱

Barnes G-函式, 雙階乘素數, 階乘, 伽瑪函式, 多階乘

相關 Wolfram 網站

http://functions.wolfram.com/GammaBetaErf/Factorial2/

使用 探索

參考文獻

Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 544-545 and 547-548, 1985.Cajori, F. A History of Mathematical Notations, Vol. 2. New York: Dover, 1993.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.Meserve, B. E. "Double Factorials." Amer. Math. Monthly 55, 425-426, 1948.Sloane, N. J. A. Sequences A000165/M1878, A001147/M3002, A006882/M0876, A114488, and A143280 in "The On-Line Encyclopedia of Integer Sequences."Whipple, F. J. W. "On Well-Poised Series, Generalised Hypergeometric Series Having Parameters in Pairs, Each Pair with the Same Sum." Proc. London Math. Soc. 24, 247-263, 1926.

在 中被引用

雙階乘

請引用為

Weisstein, Eric W. “雙階乘。” 來自 Web 資源。 https://mathworld.tw/DoubleFactorial.html

主題分類