主题
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/

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 中被引用

双阶乘

请引用为

Weisstein, Eric W. “双阶乘。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/DoubleFactorial.html

主题分类