Ver el código de «Doble factorial»

[[Archivo:Chord diagrams K6 matchings.svg|thumb|320px|Las 15 diferentes formas del Diagrama de Chord en 6 puntos.]]
En [[matemática]]s, el producto de todos los enteros desde el 1 hasta un entero no-negativo ''n'' que tiene la misma paridad (pares o impares) que ''n'' se llama '''doble factorial''' o '''semifactorial''' de ''n'' y se representa como ''n''!!. Se define por:<ref name="callan">{{cita publicación|título=A combinatorial survey of identities for the double factorial|url=https://archive.org/details/arxiv-0906.1317|nombre=David|apellido=Callan|arxiv=0906.1317|año=2009}}</ref>

:<math>n!! = \prod_{k=0}^{\left\lceil\frac{n}{2}\right\rceil - 1} (n-2k) = n (n-2) (n-4) \cdots </math>

(Una consecuencia de esta definición es que {{nowrap|0!! {{=}} 1}}, como un [[producto vacío]]).

Entonces, para ''n'' par el doble factorial es:

:<math>n!! = \prod_{k=1}^\frac{n}{2} (2k) = n(n-2)(n-4)\cdots 4\cdot 2 \,,</math>

Y para ''n'' impar es:

:<math>n!! = \prod_{k=1}^\frac{n+1}{2} (2k-1) = n(n-2)(n-4)\cdots 3\cdot 1 \,.</math>

Por ejemplo, 9!!=9·7·5·3·1=945.

El doble factorial no debe confundirse con la función [[factorial]] iterada dos veces, que es escrita como (''n''!)! y no ''n''!!
La secuencia de los dobles factoriales para los pares ''n''=0, 2, 4, 6, 8,... empieza así:

1, 2, 8, 48, 384, 3840, 46080, 645120,... (secuencia A000165 en el [[OEIS]])

La secuencia de los dobles factoriales para los impares ''n''=1, 3, 5, 7, 9,... empieza así:

1, 3, 15, 105, 945, 10395, 135135,... (secuencia A001147 en el OEIS)

{{harvtxt|Merserve|1948}},<ref name="meserve">{{cita publicación
 | apellido = Meserve | nombre = B. E.
 | doi = 10.2307/2306136
 | número = 7
 | publicación = The American Mathematical Monthly
 | mr = 1527019
 | páginas = 425–426
 | título = Classroom Notes: Double Factorials
 | volumen = 55
 | año = 1948}}</ref> (posiblemente la más antigua publicación que usa la notación del doble factorial) formula que el doble factorial fue introducido originalmente para simplificar la expresión de algunas [[Anexo:Integrales de funciones trigonométricas|integrales trigonométricas]] surgiendo en la derivación del [[producto de Wallis]]. Los factoriales dobles también surgen al expresar el [[volumen]] de una [[hiperesfera]] y tienen muchas aplicaciones en las [[combinatoria enumerativa]]. Los factoriales dobles aparecen en la [[distribución t de Student]] (1908), de la cual [[William Sealy Gosset|Gosset]] pensó que no se usara la notación de la doble exclamación.

El término factorial impar es utilizado en ocasiones para denominar el doble factorial de un número impar.<ref>E.g., in {{cita publicación
 | last1 = Henderson | first1 = Daniel J.
 | last2 = Parmeter | first2 = Christopher F.
 | doi = 10.1016/j.spl.2012.03.013
 | número = 7
 | publicación = Statistics & Probability Letters
 | mr = 2929790
 | páginas = 1383–1387
 | título = Canonical higher-order kernels for density derivative estimation
 | volumen = 82
 | año = 2012}} and {{cita publicación
 | apellido = Nielsen | nombre = B.
 | doi = 10.1093/biomet/86.2.279
 | número = 2
 | publicación = Biometrika
 | mr = 1705359
 | páginas = 279–288
 | título = The likelihood-ratio test for rank in bivariate canonical correlation analysis
 | url = https://archive.org/details/sim_biometrika_1999-06_86_2/page/279 | volumen = 86
 | año = 1999}}</ref>

== Relación con el factorial ==
A causa de que el doble factorial solo involucra la mitad de factores que un factorial ordinal, su valor no es mayor que la raíz cuadrada del factorial ''n''!, y es mucho menor que el factorial iterado (''n''!)!.

Para un entero positivo par {{math|''n'' {{=}} 2''k'' }}, {{math|''k'' ≥ 0}}, el doble factorial se expresaría como:<ref name="callan"/><ref name="gq12"/>

:<math>n!! = 2^k k! </math>

Para un entero positivo impar {{math|''n'' {{=}} 2''k'' - 1}}, {{math|''k'' ≥ 1}}, el doble factorial se expresaría como:

:<math>n!! = (2k-1)!! = \frac{(2k)!} {(2k)!!}\, = \frac {(2k)!}{2^k k!}.</math>

En esta expresión, el primer denominador es igual a (2k)!! y cancela los factores pares indeseados del numerador.

Para un entero positivo impar ''n''=2''k'' – 1, ''k''≥1, el factorial doble se expresaría en términos de<ref name="gq12"/> {{math|''k''}}-permutaciones de {{math|2''k''}} como:

:<math>(2k-1)!! = \frac {_{2k}P_k} {2^k} = \frac {(2k)^{\underline k}}{2^k}.</math>

== Aplicaciones en la combinatoria enumerativa ==
[[Archivo:Unordered binary trees with 4 leaves.svg|thumb|320px|Los quince árboles binarios con raíces diferentes.]]
Los dobles factoriales están motivados por el hecho de que ocurren frecuentemente en la combinatoria enumerativa y otros ajustes. Por ejemplo, ''n''!! para valores impares de ''n'' cuenta con:

*[[Apareamiento (teoría de grafos)|Apareamientos perfectos]] en el grafo completo ''K<sub>n</sub>'' <sub>+ 1</sub> para ''n'' impar. De tal grafo, cualquier vértice ''v'' tiene ''n'' posibles vértices a los que se puede unir, y una vez hecha esta elección surge el problema restante trata de seleccionar un apareamiento perfecto en el [[grafo completo]] con dos vértices menos.
:Por ejemplo, un grafo completo con cuatro vértices ''a'', ''b'', ''c'', y ''d'' tienen tres apareamientos perfectos: ''ab'' y ''cd'', ''ac'' y ''bd'', y ''ad'' y ''bc''. Los apareamientos perfectos pueden ser descritos de muchos otros modos equivalentes, incluyendo las involuciones sin puntos fijos en un conjunto de ''n'' + 1 elementos (permutaciones en las cuales un ciclo es una pareja)<ref name="callan"/> o diagramas de cuerdas (conjuntos de cuerdas de un conjunto de ''n'' + 1 puntos espaciados igualmente en un círculo en cual cada punto es el punto final de exactamente una cuerda, también llamado diagramas de Brauer).<ref>{{cita libro|título=Patterns in Permutations and Words|series=EATCS Monographs in Theoretical Computer Science |nombre=Sergey|apellido=Kitaev|editorial=Springer|año=2011|isbn=9783642173332|página=96|url=https://books.google.com/books?id=JgQHtgR5N60C&pg=PA96}}</ref><ref>{{cita publicación
 | last1 = Dale | first1 = M. R. T.
 | last2 = Narayana | first2 = T. V.
 | doi = 10.1016/0378-3758(86)90161-8
 | número = 2
 | publicación = Journal of Statistical Planning and Inference
 | mr = 852528
 | páginas = 245–249
 | título = A partition of Catalan permuted sequences with applications
 | url = https://archive.org/details/sim_journal-of-statistical-planning-and-inference_1986-07_14_2/page/245 | volumen = 14
 | año = 1986}}</ref> 
:El número de coincidencias en gráficos completos, sin limitar las coincidencias a ser perfectas, se dan en lugar por los números de teléfono, que se pueden expresar como una suma que implica dobles factoriales.<ref>{{cita publicación
 | last1 = Tichy | first1 = Robert F.
 | last2 = Wagner | first2 = Stephan
 | doi = 10.1089/cmb.2005.12.1004
 | número = 7
 | publicación = Journal of Computational Biology
 | páginas = 1004–1013
 | título = Extremal problems for topological indices in combinatorial chemistry
 | url = http://www.math.tugraz.at/fosp/pdfs/tugraz_main_0052.pdf
 | volumen = 12
 | año = 2005}}</ref> El número de apareamientos en grafos completos, sin obligar a los apareamientos a ser perfectos, se dan, en cambio, por los números de teléfono, que se pueden expresar como una suma que involucra factoriales dobles.

*[[Permutación de Stirling|Permutaciones de Stirling]], permutaciones del [[multiconjunto]] de números 1, 1, 2, 2, …, ''k'', ''k'' en los cuales cada par de números iguales está separado solamente por números más grandes, en los que ''k''=[''n''+1]/2. Las dos copias de ''k'' deben ser adyacentes; eliminándolas de la permutación, dejan una permutación en la que el mayor elemento es ''k'' – 1, con ''n'' posiciones en las que el par adyacente de ''k'' valores puede ser colocado. Desde esta construcción recursiva, una prueba de que las permutaciones de Stirling se cuentan por dobles permutaciones se sigue por inducción. Alternativamente, en lugar de la restricción de que los valores entre un par deben ser mayores que el par, uno puede considerar las permutaciones de este multiconjunto en el cual las primeras copias de cada par aparece en un orden salteado; tal y como una permutación define un apareamiento en las 2''k'' posiciones de la permutación, así que el número de permutaciones debe ser contado por dobles permutaciones otra vez.<ref>{{cita publicación
 | last1 = Dale | first1 = M. R. T.
 | last2 = Moon | first2 = J. W.
 | doi = 10.1016/0378-3758(93)90035-5
 | número = 1
 | publicación = Journal of Statistical Planning and Inference
 | mr = 1209991
 | páginas = 75–87
 | título = The permuted analogues of three Catalan sets
 | url = https://archive.org/details/sim_journal-of-statistical-planning-and-inference_1993-01_34_1/page/75 | volumen = 34
 | año = 1993}}</ref>

*[[Montículo (informática)|Montículos]]: árboles con ''k'' + 1 nodos ordenados 0, 1, 2, …, ''k'', de modo que la raíz del árbol tiene orden 0, cada nodo tiene un ordan mayor que el de su pariente, y cada descendiente tiene un orden fijo. Un recorrido de Euler por el árbol (con los bordes doblados) da lugar a una permutación de Stirling, y cada permutación de Stirling representa un árbol de esa manera.<ref name="callan"/><ref>{{cite conference
 | last = Janson | first = Svante | authorlink = Svante Janson
 | arxiv = 0803.1129
 | contribution = Plane recursive trees, Stirling permutations and an urn model
 | mr = 2508813
 | pages = 541–547
 | publisher = Assoc. Discrete Math. Theor. Comput. Sci., Nancy
 | series = Discrete Math. Theor. Comput. Sci. Proc., AI
 | title = Fifth Colloquium on Mathematics and Computer Science
 | year = 2008}}</ref>

*Los árboles binarios sin raíces con [''n''+5]/2 hojas ordenadas. Cada árbol está formado por un árbol con una hoja menos, por la subdivisión de una de las ''n'' hojas del árbol y haciendo al nuevo vértice pariente de una nueva hoja.
*Los árboles binarios con raíces con [''n''+3]/2 hojas ordenadas. Este caso es parecido al que no tiene raíces, pero el número de esquinas que pueden ser subdivididas es par, y además de subdividir una esquina es posible añadir un nodo al árbol con una hoja menos agregando una nueva raíz cuyos dos hijos son el árbol más pequeño y la nueva hoja.<ref name="callan"/>

:{{harvtxt|Callan|2009}} y {{harvtxt|Dale|Moon|1993}} enumeran muchos objetos adicionales con la misma secuencia de recuento, incluyendo “palabras trapezoidales” (numerales en un sistema de raíz mixta con las raíces impares en aumento), caminos de Dyck ordenados por altura, árboles ordenados por altura, “caminos sobresalientes”, y ciertos vectores que describen las hojas con el menor orden descendientes de cada nodo en un [[árbol binario]] con raíces. Para pruebas biyectivas de que algunos de estos objetos son equipotentes, ver {{harvtxt|Rubey|2008}} y {{harvtxt|Marsh|Martin|2011}}.<ref>{{cite conference
 | last = Rubey | first = Martin
 | contribution = Nestings of matchings and permutations and north steps in PDSAWs
 | mr = 2721495
 | pages = 691–704
 | publisher = Assoc. Discrete Math. Theor. Comput. Sci., Nancy
 | series = Discrete Math. Theor. Comput. Sci. Proc., AJ
 | title = 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008)
 | year = 2008}}</ref><ref>{{cita publicación
 | last1 = Marsh | first1 = Robert J.
 | last2 = Martin | first2 = Paul
 | arxiv = 0906.0912
 | doi = 10.1007/s10801-010-0252-6
 | número = 3
 | publicación = Journal of Algebraic Combinatorics
 | mr = 2772541
 | páginas = 427–453
 | título = Tiling bijections between paths and Brauer diagrams
 | volumen = 33
 | año = 2011}}</ref>
:Los factoriales dobles pares dan los números de los elementos de los grupos hiperoctaédricos (simetrías de un [[hipercubo]]).

== Extensiones ==
=== Argumentos negativos ===
El factorial ordinario, cuando se extiende a la [[función Gamma]], tiene un polo en cada [[número entero]] negativo, impidiendo que el factorial se defina como dichos números. Sin embargo, el doble factorial de números impares puede extenderse a cualquier argumento de número entero impar negativo invirtiendo su relación de recurrencia.
:<math>n!! = n \times (n-2)!!</math>
Resulta en:
:<math>n!! = \frac{(n+2)!!}{n+2}\,.</math>

Usando esta recurrencia invertida, −1!!{{esd}}={{esd}}1, −3!!{{esd}}={{esd}}−1, y −5!!{{esd}}={{esd}}{{sfrac|1|3}}; los números impares negativos con mayor magnitud tienen dobles factoriales en forma de fracción.  En particular, esto se da cuando {{mvar|n}} es un número impar,
:<math>(-n)!! \times n!! = (-1)^\frac{n-1}{2} \times n\,.</math>

=== Argumentos complejos ===
Haciendo caso omiso de la definición anterior de {{math|''n''!!}} para valores pares de {{mvar|n}}, el factorial doble para enteros impares puede extenderse a la mayoría de los números reales y complejos {{mvar|z}} observando que cuando ''z'' es un entero impar positivo, entonces<ref>{{cita libro|título=Mathematical Methods: For Students of Physics and Related Fields|series=Undergraduate Texts in Mathematics|nombre=Sadri|apellido=Hassani|editorial=Springer|año=2000|isbn=9780387989587|página=266|url=https://books.google.com/books?id=dxSOzeLMij4C&pg=PA266}}</ref><ref>{{cita web|título=Double factorial: Specific values (formula 06.02.03.0005) |editorial=Wolfram Research|fecha=29 de octubre de 2001 |url=http://functions.wolfram.com/06.02.03.0005 |fechaacceso=23 de marzo de 2013}}</ref>

:<math>\begin{align} 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{align}</math>

De esto se puede derivar una definición alternativa de {{math|'' z ''!!}} para valores enteros pares no negativos de {{mvar|z}}:
:<math>(2k)!!= \sqrt{ \frac{2}{\pi} } \prod_{i=1}^k (2i) = 2^k k! \sqrt{ \frac{2}{\pi} } \,,</math>
con el valor de 0 !! en este caso siendo
:<math>0!! = \sqrt{ \frac{2}{\pi} } \approx 0.797\,884\,5608\dots \,.</math>

La expresión encontrada para {{math|''z''!!}} se define para todos los números complejos excepto para los enteros pares negativos. Usándolo como en la definición, el volumen de una hiperesfera {{mvar|n}}-dimensional de radio {{mvar|R}} se puede expresar como<ref>{{cita publicación|título=Some dimension problems in molecular databases|nombre=Paul G.|apellido=Mezey|año=2009|publicación=Journal of Mathematical Chemistry|volumen=45|número=1|páginas=1–6|doi=10.1007/s10910-008-9365-8}}</ref>
:<math>V_n=\frac{2 (2\pi)^\frac{n-1}{2}}{n!!} R^n\,.</math>

== Identidades adicionales ==
Para los valores integrales de {{mvar|n}},
:<math>\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{ es impar} \\ \frac{\pi}{2} & \text{si } n \text{ es par.}\end{cases}</math>
Usando en cambio la extensión del factor factorial doble de números impares a números complejos, la fórmula es
:<math>\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}}\,.</math>

También se pueden usar dobles factoriales para evaluar integrales de polinomios trigonométricos más complicadas.<ref name="meserve"/><ref>{{cita publicación
 | last1 = Dassios | first1 = George
 | last2 = Kiriaki | first2 = Kiriakie
 | número = part A
 | publicación = Bulletin de la Société Mathématique de Grèce
 | mr = 935868
 | páginas = 40–43
 | título = A useful application of Gauss theorem
 | volumen = 28
 | año = 1987}}</ref>

Los dobles factoriales de números impares están relacionados con la función gamma por la identidad:

:<math>(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)}\,.</math>
Algunas identidades adicionales que implican dobles factoriales de números impares son:<ref name="callan"/>

:<math>\begin{align}
(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{align}</math>

== Véase también ==
* [[Factorial]]
* [[Función Gamma]]

== Referencias ==
{{listaref|2|refs=
<ref name="gq12">{{cita publicación
 | last1 = Gould | first1 = Henry
 | last2 = Quaintance | first2 = Jocelyn
 | doi = 10.4169/math.mag.85.3.177
 | número = 3
 | publicación = Mathematics Magazine
 | mr = 2924154
 | páginas = 177–192
 | título = Double fun with double factorials
 | url = https://archive.org/details/sim_mathematics-magazine_2012-06_85_3/page/177 | volumen = 85
 | año = 2012}}</ref>
}}

== Enlaces externos ==
*{{mathworld|id=DoubleFactorial|title=Double Factorial}}

{{Control de autoridades}}
[[Categoría:Combinatoria]]
[[Categoría:Aritmética]]
[[Categoría:Temas factoriales y binomiales]]
[[Categoría:Combinatoria enumerativa]]