# Doble factorial

En matemàtiques, s'anomena doble factorial o semifactorial de $n$ al producte de tots els enters d'1 fins a un nombre enter no-negatiu que té la mateixa paritat (parell o senar) que $n$, i es denota per $n!!$. Es defineix per
    $n!!=\prod _{k=0}^{\left\lceil {\frac {n}{2}}\right\rceil -1}(n-2k)=n(n-2)(n-4)\cdots$
Per exemple, $9!!=9\times 7\times 5\times 3\times 1=945$
(Una conseqüència d'aquesta definició és que $0!!=1$, com un producte buit).
El doble factorial per a $n$ parell és:
    $n!!=\prod _{k=1}^{\frac {n}{2}}(2k)=n(n-2)(n-4)\cdots 4\cdot 2\,$
La seqüència del doble factorial per als parells $n=0,2,4,6,8,...$ comença així:
    1, 2, 8, 48, 384, 3840, 46080, 645120,... (successió A000165 a l'OEIS)
El doble factorial per a $n$ senar és:
    $n!!=\prod _{k=1}^{\frac {n+1}{2}}(2k-1)=n(n-2)(n-4)\cdots 3\cdot 1\,$
La seqüència del doble factorial per als senars $n=1,3,5,7,9,...$ comença així:
    1, 3, 15, 105, 945, 10395, 135135,... (successió A001147 a l'OEIS)
El doble factorial no s'ha de confondre amb la funció factorial iterada dues vegades, que s'escriu $(n!)!$ i no $n!!$.
De vegades s'utilitza el terme factorial senar per al doble factorial d'un nombre senar. El factorial senar de $n$ es defineix com el producte de tots els nombres senars enters positius fins a $n$, és a dir, $n!!$ si $n$ és senar i $(n-1)!!$ si $n$ és parell.
Merserve (1948) (possiblement la publicació més primerenca que va utilitzar una notació doble factorial) afirma que el doble factorial es va introduir originalment per simplificar l'expressió de determinades integrals trigonomètriques sorgides de la derivació del producte de Wallis. També apareix el doble factorial a l'hora d'expressar el volum d'una hiperesfera, i tenen moltes aplicacions en combinatòria enumerativa. Es produeixen en la distribució t de Student (1908), tot i que William Sealy Gosset no va utilitzar la notació de doble exclamació.

## Relació amb el factorial

A causa que el doble factorial només involucra la meitat de factors que un factorial ordinal, el seu valor no és major que l'arrel quadrada del factorial $n!$, i és molt menor que el factorial iterat $(n!)!$.
Per a un enter positiu parell $n=2k,k\geq 0$, el doble factorial s'expressaria com
    $n!!=2^{k}k!\,.$
Per a un enter positiu senar $n=2k-1,k\geq 1$, el doble factorial s'expressaria com:
    $n!!=(2k-1)!!={\frac {(2k)!}{(2k)!!}}={\frac {(2k)!}{2^{k}k!}}={\frac {n!}{(n-1)!!}}\,.$
En aquesta expressió, el primer denominador és igual a $(2k)!!$ i cancel·la els factors parells no desitjats del numerador.
Per a un enter positiu senar $n=2k-1,k\geq 1$, el doble factorial es pot expressar en termes de k-permutacions de 2k com:
    $(2k-1)!!={\frac {_{2k}P_{k}}{2^{k}}}={\frac {(2k)^{\underline {k}}}{2^{k}}}\,.$

## Aplicacions en combinatòria enumerativa

Els dobles factorials estan motivats pel fet que ocorren freqüentment en la combinatòria enumerativa. Per exemple, $n!!$ per a valors imparells de $n$ compta amb:
* Aparellaments perfectes en el graf complet $K_{n+1}$ per a $n$ senar. De tal graf, qualsevol vèrtex $v$ té $n$ possibles vèrtexs als quals es pot unir, i una vegada que es fa aquesta elecció, el problema restant és seleccionar una combinació perfecta en el graf complet amb dos vèrtexs menys. Per exemple, un graf complet amb quatre vèrtexs $a$, $b$, $c$, i $d$ tenen tres aparellaments perfectes: $ab$ i $cd$, $ac$ i $bd$, i $ad$ i $bc$. Els aparellaments perfectes poden ser descrits de molts altres maneres equivalents, incloent les involucions sense punts fixos en un conjunt de $n+1$ elements (permutacions en les quals un cicle és una parella) o diagrames de cordes (conjunts de cordes d'un conjunt de $n+1$ punts espaiats igualment en un cercle en el qual cada punt és el punt final d'exactament una corda, també anomenat diagrames de Brauer). El nombre de coincidències en grafs complets, sense limitar les coincidències per a ser perfectes, són donades pels números de telèfon, que es poden expressar com una suma de doble factorials.
* Permutacions de Stirling, permutacions del multiconjunt de números $1,1,2,2,...,k,k$ en els quals cada parell de nombres iguals està separat només per nombres més grans, en els quals $k=(n+1)/2$. Les dues còpies de $k$ han de ser adjacents; eliminant-les de la permutació, deixen una permutació en la qual el major element és $k-1$, amb $n$ posicions en què el parell adjacent de $k$ valors pot ser col·locat. Des d'aquesta construcció recursiva, una prova de que les permutacions de Stirling es compten per dobles permutacions se segueix per inducció. Alternativament, en lloc de la restricció que els valors entre un parell han de ser majors que el parell, un pot considerar les permutacions d'aquest multiconjunt en el qual les primeres còpies de cada parell apareix en un ordre saltat; tal com una permutació defineix un aparellament en les $2k$ posicions de la permutació, així que el nombre de permutacions ha de ser comptat per dobles permutacions.
* Monticles, arbres amb $k+1$ vèrtexs etiquetats $0,1,2,...,k$, de manera que l'arrel de l'arbre té ordre $0$, cada vèrtex té una etiqueta més gran que el del seu parent, i cada descendent té un ordre fix. Un recorregut d'Euler per l'arbre (amb vèrtex dobles) dona lloc a una permutació de Stirling, i cada permutació de Stirling representa un arbre d'aquesta manera.
* Els arbres binaris sense arrels amb $(n+5)/2$ fulles etiquetades. Cada arbre està format per un arbre amb una fulla menys, per la subdivisió d'una de les $n$ fulles de l'arbre i fent que el nou vèrtex sigui el pare d'una nova fulla.
* Els arbres binaris amb arrels amb $(n+3)/2$ fulles etiquetades. Aquest cas és semblant a l'arbre que no té arrels, però la quantitat de vèrtex que es poden subdividir és igual i, a més de subdividir un vèrtex, és possible afegir un vèrtex a un arbre amb menys fulles afegint una nova arrel amb dos fills que són l'arbre més petit i la nova fulla.
Callan (2009) i Dale & Moon (1993) enumeren molts objectes addicionals amb la mateixa seqüència de recompte, incloent «paraules trapezoïdals» (numerals en un sistema d'arrel mixta amb augment imparell d'arrels), camins de Dyck etiquetats per altura, arbres ordenats per altura, «camins òptims», i certs vectors que descriuen les fulles amb el menor ordre descendent de cada vèrtex en un arbre binari amb arrels. Per a les proves bijectives, alguns d'aquests objectes són equipotents (veure Rubey (2008) i Marsh & Martin (2011)).
Els factorials dobles donen el nombre d'elements dels grups hiperoctaèdrics (permutacions o simetries d'un hipercub).

## Ampliacions
### Arguments negatius

El factorial ordinari, quan s'estén a la funció gamma, té un pol en cada nombre enter negatiu, impedint que el factorial sigui definit en aquests nombres. Tanmateix, el doble factorial de nombres imparells es pot estendre a qualsevol argument sencer negatiu imparell invertint la seva relació de recurrència.
    $n!!=n\times (n-2)!!$
donant
    $n!!={\frac {(n+2)!!}{n+2}}\,.$
Utilitzant aquesta recurrència invertida, $-1!!=1$, $-3!!=-1$ i $-5!!=1/3$; els nombres senars negatius amb major magnitud tenen doble factorials en forma de fracció. En particular, això es dona quan $n$ és un nombre senar,
    $(-n)!!\times n!!=(-1)^{\frac {n-1}{2}}\times n\,.$

### Arguments complexos

Fent cas omís de la definició anterior de $n!!$ per a valors parells de $n$, el doble factorial per enters senars es pot estendre a la majoria dels nombres reals i complexos $z$ observant que quan $z$ és un enter senar positiu, llavors
    ${\begin{aligned}z!!&=z(z-2)\cdots (3)=2^{\frac {z-1}{2}}\left({\frac {z}{2}}\right)\left({\frac {z-2}{2}}\right)\cdots \left({\frac {3}{2}}\right)\\&=2^{\frac {z-1}{2}}{\frac {\Gamma \left({\frac {z}{2}}+1\right)}{\Gamma \left({\frac {1}{2}}+1\right)}}={\sqrt {\frac {2^{z+1}}{\pi }}}\Gamma \left({\frac {z}{2}}+1\right)=\left({\frac {z}{2}}\right)!{\sqrt {\frac {2^{z+1}}{\pi }}}\,.\end{aligned}}$
D'aquesta es pot derivar una definició alternativa de $z!!$ per a valors no enters negatius, senars de $z$:
    $(2k)!!={\sqrt {\frac {2}{\pi }}}\prod _{i=1}^{k}(2i)=2^{k}k!{\sqrt {\frac {2}{\pi }}}\,$
amb el valor de $0!!$ que en aquest cas és
    $0!!={\sqrt {\frac {2}{\pi }}}\approx 0.797\,884\,5608\dots \,.$
L'expressió trobada per a $z!!$ es defineix per a tots els nombres complexos, excepte els nombres enters negatius. Utilitzant-lo com en la definició, es pot expressar el volum d'una hiperesfera de dimensió $n$ i de radi $R$ com
    $V_{n}={\frac {2(2\pi )^{\frac {n-1}{2}}}{n!!}}R^{n}\,.$

## Identitats addicionals

Per valors enters de $n$,
    $\int _{0}^{\frac {\pi }{2}}\sin ^{n}x\,dx=\int _{0}^{\frac {\pi }{2}}\cos ^{n}x\,dx={\frac {(n-1)!!}{n!!}}\times {\begin{cases}1&{\text{si }}n{\text{ és senar}}\\{\frac {\pi }{2}}&{\text{si }}n{\text{ és parell.}}\end{cases}}$
Usant, en canvi, el desenvolupament del doble factorial de nombres senars a nombres complexos, la fórmula és
    $\int _{0}^{\frac {\pi }{2}}\sin ^{n}x\,dx=\int _{0}^{\frac {\pi }{2}}\cos ^{n}x\,dx={\frac {(n-1)!!}{n!!}}{\sqrt {\frac {\pi }{2}}}\,.$
També es poden utilitzar els doble factorials per avaluar integrals de polinomis trigonomètrics més complexos.
Els doble factorials de nombres senars estan relacionats amb la funció gamma per la identitat:
    $(2n-1)!!=2^{n}\cdot {\frac {\Gamma \left({\frac {1}{2}}+n\right)}{\sqrt {\pi }}}=(-2)^{n}\cdot {\frac {\sqrt {\pi }}{\Gamma \left({\frac {1}{2}}-n\right)}}\,.$
Algunes identitats addicionals que impliquen doble factorials de nombres senars són:
    ${\begin{aligned}(2n-1)!!&=\sum _{k=1}^{n-1}{\binom {n}{k+1}}(2k-1)!!(2n-2k-3)!!\,,\\(2n-1)!!&=\sum _{k=0}^{n}{\binom {2n-k-1}{k-1}}{\frac {(2k-1)(2n-k+1)}{k+1}}(2n-2k-3)!!\,,\\(2n-1)!!&=\sum _{k=1}^{n}{\frac {(n-1)!}{(k-1)!}}k(2k-3)!!\,.\end{aligned}}$

## Generalitzacions
### Definicions

De la mateixa manera que el doble factorial generalitza la noció de factorial senzill, la següent definició de les funcions factorials múltiples valorades per valors enters (multifactorials) o $\alpha$-factorial, amplia la noció de la funció doble factorial per a $\alpha \in \mathbb {Z} ^{+}$:
    $n!_{(\alpha )}={\begin{cases}n\cdot (n-\alpha )!_{(\alpha )}&{\text{ si }}n>0;\\1&{\text{ si }}-\alpha <n\leq 0;\\0&{\text{ d'una altra manera. }}\end{cases}}$
Les classes parametritzades de funcions multifactorial es descriuen breument a l'article principal sobre factorials. S'inclou aquí les subseccions següents de l'article principal per la seva rellevància.

### Desenvolupament alternatiu del multifactorial

De la mateixa manera que $n!$ no està definit per enters negatius, i $n!!$ no està definit per a nombres enters negatius, $n!_{(\alpha )}$ no està definit per enters negatius divisibles per $\alpha$. Alternativament, el multifactorial z!$^{(k)}$ es pot estendre a la majoria de nombres reals i complexos $z$, observant que quan $z$ és un múltiple positiu de $k$, llavors
    $z!^{(k)}=z(z-k)\cdots (k+1)=k^{(z-(1-cos(\pi z))/2)/k}\left({\frac {z}{k}}\right)\left({\frac {z-k}{k}}\right)\cdots \left({\frac {k+1}{k}}\right)=k^{(z-(1-cos(\pi z))/2)/k}{\frac {\Gamma \left({\frac {z}{k}}+1\right)}{\Gamma \left({\frac {1}{k}}+1\right)^{\left(1-cos(\pi z)\right)/2}}}\,.$
Aquesta última expressió es defineix molt més àmpliament que l'original; amb aquesta definició, z!$^{(k)}$ es defineix per a tots els nombres complexos, excepte els nombres reals negatius divisibles per $k$. Aquesta definició és coherent amb la definició anterior només per a aquells nombres enters $z$ que satisfan $z\equiv 1{\bmod {k}}$.
A més d'ampliar z!$^{(k)}$ a la majoria de nombres complexos $z$, aquesta definició té la característica de treballar per a tots els valors reals positius de $k$. A més, quan $k=1$, aquesta definició és matemàticament equivalent a la funció $\Pi (z)$, descrita anteriorment. A més, quan $k=2$, aquesta definició és matemàticament equivalent al desenvolupament alternatiu del doble factorial (veure l'apartat Arguments complexos).

### Generalització dels nombres de Stirling desenvolupant les funcions multifactorials

Una classe de generalització de nombres de Stirling de primera espècie es defineix per a $\alpha >0$ per la següent relació de recurrència triangular:
    $\left[{\begin{matrix}n\\k\end{matrix}}\right]_{\alpha }=(\alpha n+1-2\alpha )\left[{\begin{matrix}n-1\\k\end{matrix}}\right]_{\alpha }+\left[{\begin{matrix}n-1\\k-1\end{matrix}}\right]_{\alpha }+\delta _{n,0}\delta _{k,0}.$
D'aquesta generalització de coeficients $\alpha$-factorial es generen els diferents productes polinòmics simbòlics que defineixen els multifactorials, o funcions $\alpha$-factorial, $(x-1)!_{(\alpha )}$, com
    ${\begin{aligned}(x-1|\alpha )^{\underline {n}}&:=\prod _{i=0}^{n-1}\left(x-1-i\alpha \right)=(x-1)(x-1-\alpha )\cdots (x-1-(n-1)\alpha )\\&=\sum _{k=0}^{n}\left[{\begin{matrix}n\\k\end{matrix}}\right](-\alpha )^{n-k}(x-1)^{k}\\&=\sum _{k=1}^{n}\left[{\begin{matrix}n\\k\end{matrix}}\right]_{\alpha }(-1)^{n-k}x^{k-1}.\end{aligned}}$
Noteu que els diferents desenvolupaments polinòmics en les equacions anteriors realment defineixen el producte $\alpha$-factorial per a múltiples casos diferents dels menys residus $x\equiv n_{0}{\pmod {\alpha }}$ for $n_{0}\in \{0,1,2,\ldots ,\alpha -1\}$.
La generalització dels polinomis $\alpha$-factorial, $\sigma _{n}^{(\alpha )}(x)$ on $\sigma _{n}^{(1)}(x)\equiv \sigma _{n}(x)$,que generalitzen els polinomis Stirling (convolució) des del cas del factorial simple fins als casos de multifactorials, es defineixen per
    $\sigma _{n}^{(\alpha )}(x):=\left[{\begin{matrix}x\\x-n\end{matrix}}\right]_{(\alpha )}{\frac {(x-n-1)!}{x!}}$
per a $0\leq n\leq x$. Aquests polinomis tenen una funció generatriu ordinària de forma tancada, particularment bona, donada per
    $\sum _{n\geq 0}x\cdot \sigma _{n}^{(\alpha )}(x)z^{n}=e^{(1-\alpha )z}\left({\frac {\alpha ze^{\alpha z}}{e^{\alpha z}-1}}\right)^{x}.$
Altres propietats combinatòries i desenvolupaments d'aquesta generalització també són considerades en triangles $\alpha$-factorial i seqüències polinòmiques.

### Magnituds finites exactes que impliquen múltiples funcions factorials

Suposem que $n\geq 1$ i $\alpha \geq 2$ són valors enters. A continuació, podem ampliar les següents sumes finites individuals que impliquen el multifactorial o funcions $\alpha$-factorial, $(\alpha n-1)!_{(\alpha )}$ en termes de símbol de Pochhammer i la generalització, i els coeficients binomials generats racionalment valorats com
    ${\begin{aligned}(\alpha n-1)!_{(\alpha )}&=\sum _{k=0}^{n-1}{\binom {n-1}{k+1}}(-1)^{k}\times \left({\frac {1}{\alpha }}\right)_{-(k+1)}\left({\frac {1}{\alpha }}-n\right)_{k+1}\times (\alpha (k+1)-1)!_{(\alpha )}(\alpha (n-k-1)-1)!_{(\alpha )}\\&=\sum _{k=0}^{n-1}{\binom {n-1}{k+1}}(-1)^{k}\times {\binom {{\frac {1}{\alpha }}+k-n}{k+1}}{\binom {{\frac {1}{\alpha }}-1}{k+1}}\times (\alpha (k+1)-1)!_{(\alpha )}(\alpha (n-k-1)-1)!_{(\alpha )},\end{aligned}}$
i, a més, també tenim dos desenvolupaments d'aquestes funcions
    ${\begin{aligned}(\alpha n-1)!_{(\alpha )}&=\sum _{k=0}^{n-1}\sum _{i=0}^{k+1}{\binom {n-1}{k+1}}{\binom {k+1}{i}}(-1)^{k}\alpha ^{k+1-i}(\alpha i-1)!_{(\alpha )}(\alpha (n-1-k)-1)!_{(\alpha )}\times (n-1-k)_{k+1-i}\\&=\sum _{k=0}^{n-1}\sum _{i=0}^{k+1}{\binom {n-1}{k+1}}{\binom {k+1}{i}}{\binom {n-1-i}{k+1-i}}(-1)^{k}\alpha ^{k+1-i}(\alpha i-1)!_{(\alpha )}(\alpha (n-1-k)-1)!_{(\alpha )}\times (k+1-i)!.\end{aligned}}$
Notem que les dues primeres sumes anteriors són similars en forma a una identitat combinatorial coneguda per a la funció doble factorial quan $\alpha :=2$ donada per
    $(2n-1)!!=\sum _{k=0}^{n-1}{\binom {n}{k+1}}(2k-1)!!(2n-2k-3)!!.$
Es poden trobar ampliacions finites addicionals de congruències per a les funcions $\alpha$-factorial, $(\alpha n-d)!_{(\alpha )}$, mòdul qualsevol enter enter prescrit $h\geq 2$ per a $0\leq d<\alpha$.

## Referències

* 1 2 3 4 5 6 7 8 9 10 11 12 Callan, David. «A combinatorial survey of identities for the double factorial» (en anglès), 2009.
* ↑ E.g., in Henderson, Daniel J.; Parmeter, Christopher F. «Canonical higher-order kernels for density derivative estimation». Statistics & Probability Letters, 82, 7, 2012, pàg. 1383–1387. DOI: 10.1016/j.spl.2012.03.013. and Nielsen, B. «The likelihood-ratio test for rank in bivariate canonical correlation analysis». Biometrika, 86, 2, 1999, pàg. 279–288. DOI: 10.1093/biomet/86.2.279.
* 1 2 Meserve, B. E. «Classroom Notes: Double Factorials». The American Mathematical Monthly, 55, 7, 1948, pàg. 425–426. DOI: 10.2307/2306136.
* 1 2 Gould, Henry; Quaintance, Jocelyn «Double fun with double factorials». Mathematics Magazine, 85, 3, 2012, pàg. 177–192. DOI: 10.4169/math.mag.85.3.177.
* 1 2 3 4 Dale, M. R. T.; Moon, J. W. «The permuted analogues of three Catalan sets». Journal of Statistical Planning and Inference, 34, 1, 1993, pàg. 75–87. DOI: 10.1016/0378-3758(93)90035-5.
* ↑ Kitaev, Sergey. Patterns in Permutations and Words. Springer, 2011, p. 96. ISBN 9783642173332.
* ↑ Dale, M. R. T.; Narayana, T. V. «A partition of Catalan permuted sequences with applications». Journal of Statistical Planning and Inference, 14, 2, 1986, pàg. 245–249. DOI: 10.1016/0378-3758(86)90161-8.
* ↑ Tichy, Robert F.; Wagner, Stephan «Extremal problems for topological indices in combinatorial chemistry». Journal of Computational Biology, 12, 7, 2005, pàg. 1004–1013. DOI: 10.1089/cmb.2005.12.1004.
* ↑ Janson, Svante (2008). "Fifth Colloquium on Mathematics and Computer Science". : 541–547, Assoc. Discrete Math. Theor. Comput. Sci., Nancy
* ↑ Marsh, Robert J.; Martin, Paul «Tiling bijections between paths and Brauer diagrams». Journal of Algebraic Combinatorics, 33, 3, 2011, pàg. 427–453. arXiv: 0906.0912. DOI: 10.1007/s10801-010-0252-6.
* ↑ Rubey, Martin (2008). "20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008)". : 691–704, Assoc. Discrete Math. Theor. Comput. Sci., Nancy
* ↑ Hassani, Sadri. Mathematical Methods: For Students of Physics and Related Fields. Springer, 2000, p. 266. ISBN 9780387989587.
* ↑ «Double factorial: Specific values (formula 06.02.03.0005)». Wolfram Research, 29-10-2001. [Consulta: 23 març 2013].
* ↑ Mezey, Paul G. «Some dimension problems in molecular databases». Journal of Mathematical Chemistry, 45, 1, 2009, pàg. 1–6. DOI: 10.1007/s10910-008-9365-8.
* ↑ Dassios, George; Kiriaki, Kiriakie «A useful application of Gauss theorem». Bulletin de la Société Mathématique de Grèce, 28, part A, 1987, pàg. 40–43.
* ↑ Schmidt, Maxie D. «Generalized j-Factorial Functions, Polynomials, and Applications». J. Integer Seq., 13, 2010.
* ↑ «New Congruences and Finite Difference Equations for Generalized Factorial Functions», 2017.