正整数 的双阶乘是通常 阶乘
的推广,定义为
|
(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)。
