正整数 的双阶乘是通常 阶乘
的推广,定义为
(1)
|
注意,,根据定义 (Arfken 1985, p. 547)。
符号 的起源似乎不广为人知,并且在 Cajori (1993) 中没有提及。
对于 , 1, 2, ...,前几个值是 1, 1, 2, 3, 8, 15, 48, 105, 384, ... (OEIS A006882)。
的十进制位数,对于
, 1, ... 是 1, 4, 80, 1285, 17831, 228289, 2782857, 32828532, ... (OEIS A114488)。
双阶乘在 Wolfram 语言 中以 n!! 或Factorial2[n]。
双阶乘是 多阶乘 的一个特例。
双阶乘可以用 伽玛函数 表示为
(2)
|
(Arfken 1985, p. 548)。
双阶乘也可以使用定义扩展到负奇整数
(3)
| |||
(4)
|
对于 , 1, ... (Arfken 1985, p. 547)。
![]() |
类似地,双阶乘可以扩展到复数参数,表示为
(5)
|
有很多恒等式将双阶乘与阶乘联系起来。由于
(6)
|
由此得出 。对于
, 1, ...,前几个值是 1, 3, 15, 105, 945, 10395, ... (OEIS A001147)。
同样,由于
(7)
| |||
(8)
| |||
(9)
|
由此得出 。对于
, 1, ...,前几个值是 1, 2, 8, 48, 384, 3840, 46080, ... (OEIS A000165)。
最后,由于
(10)
|
由此得出
(11)
|
对于 奇数,
(12)
| |||
(13)
| |||
(14)
|
对于 偶数,
(15)
| |||
(16)
| |||
(17)
|
因此,对于任何 ,
(18)
|
(19)
|
双阶乘满足以下漂亮的级数
(20)
| |||
(21)
| |||
(22)
|
后者给出了倒数双阶乘的闭合形式的和,如下所示
(23)
| |||
(24)
| |||
(25)
|
(OEIS A143280),其中 是一个下 不完全伽玛函数。这个和是 倒数多阶乘常数 的一个特例。
拉马努金给出的一个闭合形式的和由下式给出
(26)
|
(Hardy 1999, p. 106)。Whipple (1926) 给出了这个和的推广 (Hardy 1999, pp. 111-112)。