En matemáticas , el doble factorial de un número n , denotado por n ‼, es el producto de todos los números enteros positivos hasta n que tienen la misma paridad (par o impar) que n . [1] Es decir,
Reformulado, esto dice que incluso para n , el doble factorial es
La secuencia de factoriales dobles para n = 0, 2, 4, 6, 8,... comienza como
1, 2, 8, 48, 384, 3840, 46080, 645120, ... (secuencia A000165 en el OEIS )
La secuencia de factoriales dobles para n impar = 1, 3, 5, 7, 9,... comienza como
1, 3, 15, 105, 945, 10395, 135135, ... (secuencia A001147 en el OEIS )
El término factorial impar se utiliza a veces para el factorial doble de un número impar. [4] [5]
Knuth también utiliza el término semifactorial como sinónimo de doble factorial. [6]
Historia y uso
En un artículo de 1902, el físico Arthur Schuster escribió: [7]
La representación simbólica de los resultados de este artículo se ve facilitada mucho por la introducción de un símbolo separado para el producto de factores alternativos, si es impar o si es impar [sic]. Propongo escribir para dichos productos y, si se requiere un nombre para el producto, llamarlo "factorial alternativo" o "factorial doble".
Meserve (1948) [8] afirma que el doble factorial se introdujo originalmente con el fin de simplificar la expresión de ciertas integrales trigonométricas que surgen 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 combinatoria enumerativa . [1] [9] Ocurren en la distribución t de Student (1908), aunque Gosset no utilizó la notación de doble signo de exclamación.
Relación con el factorial
Debido a que el factorial doble sólo involucra aproximadamente la mitad de los factores del factorial ordinario , su valor no es sustancialmente mayor que la raíz cuadrada del factorial n . , ¡y es mucho más pequeño que el factorial iterado ( n !)! .
El factorial de un n positivo se puede escribir como el producto de dos factoriales dobles: [2]
n = 0
Para un entero par no negativo n = 2 k con k ≥ 0 , el factorial doble se puede expresar como
Para n = 2 k − 1 impar con k ≥ 1 , combinando las dos fórmulas anteriores se obtiene
Los quince árboles binarios con raíces diferentes (con hijos desordenados) en un conjunto de cuatro hojas etiquetadas, que ilustran 15 = (2 × 4 − 3)‼ (ver el texto del artículo).
Los factoriales dobles están motivados por el hecho de que ocurren con frecuencia en combinatoria enumerativa y otros entornos. Por ejemplo, n ‼ para valores impares de n recuentos
Coincidencias perfectas del gráfico completo K n + 1 para n impar . En un gráfico de este tipo, cualquier vértice v tiene n posibles opciones de vértice con los que se puede hacer coincidir, y una vez que se hace esta elección, el problema restante es seleccionar una coincidencia perfecta en un gráfico completo con dos vértices menos. Por ejemplo, un gráfico completo con cuatro vértices a , b , c y d tiene tres coincidencias perfectas: ab y cd , ac y bd , y ad y bc . [1] Las coincidencias perfectas pueden describirse de varias otras formas equivalentes, incluidas involuciones sin puntos fijos en un conjunto de n + 1 elementos ( permutaciones en las que cada ciclo es un par) [1] o diagramas de cuerdas (conjuntos de cuerdas de un conjunto de n + 1 puntos espaciados uniformemente en un círculo de modo que cada punto sea el punto final de exactamente una cuerda, también llamados diagramas de Brauer ). [9] [11] [12] Los números de coincidencias en gráficos completos, sin obligar a que las coincidencias sean perfectas, están dados por los números de teléfono , que pueden expresarse como una suma que involucra factoriales dobles. [13]
Permutaciones de Stirling , permutaciones del conjunto múltiple de números 1, 1, 2, 2, ..., k , k en las que cada par de números iguales está separado solo por números mayores, donde k =norte + 1/2. Las dos copias de k deben ser adyacentes; eliminarlos de la permutación deja una permutación en la que el elemento máximo es k − 1 , con n posiciones en las que se pueden colocar el par adyacente de k valores. De esta construcción recursiva se desprende por inducción una prueba de que las permutaciones de Stirling se cuentan por las permutaciones dobles. [1] Alternativamente, en lugar de la restricción de que los valores entre un par pueden ser mayores que él, también se pueden considerar las permutaciones de este conjunto múltiple en el que las primeras copias de cada par aparecen en orden ordenado; dicha permutación define una coincidencia en las 2 k posiciones de la permutación, por lo que nuevamente el número de permutaciones puede contarse mediante las permutaciones dobles. [9]
Árboles ordenados en montón , árboles con k + 1 nodos etiquetados 0, 1, 2, ... k , de modo que la raíz del árbol tiene la etiqueta 0, cada uno de los demás nodos tiene una etiqueta más grande que su padre y los hijos de cada nodo tienen un orden fijo. Un recorrido de Euler por el árbol (con aristas duplicadas) da una permutación de Stirling, y cada permutación de Stirling representa un árbol de esta manera. [1] [14]
Árboles binarios sin raíz connorte + 5/2hojas etiquetadas. Cada uno de estos árboles puede formarse a partir de un árbol con una hoja menos, subdividiendo uno de los n bordes del árbol y haciendo que el nuevo vértice sea el padre de una nueva hoja.
Árboles binarios enraizados connorte + 3/2hojas etiquetadas. Este caso es similar al caso sin raíz, pero el número de aristas que se pueden subdividir es par, y además de subdividir una arista es posible agregar un nodo a un árbol con una hoja menos agregando una nueva raíz cuyos dos hijos son el árbol más pequeño y la nueva hoja. [1] [9]
Callan (2009) y Dale & Moon (1993) enumeran varios objetos adicionales con la misma secuencia de conteo , incluidas "palabras trapezoidales" ( numerales en un sistema de bases mixtas con bases impares crecientes), caminos de Dyck con etiquetas de altura , árboles ordenados con etiquetas de altura , "rutas salientes" y ciertos vectores que describen la hoja descendiente con el número más bajo de cada nodo en un árbol binario enraizado. Para pruebas biyectivas de que algunos de estos objetos son equinumeros, consulte Rubey (2008) y Marsh & Martin (2011). [15] [16]
Los factoriales pares dobles dan el número de elementos de los grupos hiperoctaédricos (permutaciones con signo o simetrías de un hipercubo )
El factorial ordinario, cuando se extiende a la función gamma , tiene un polo en cada entero negativo, lo que impide que el factorial se defina en estos números. Sin embargo, el doble factorial de números impares se puede extender a cualquier argumento de entero impar negativo invirtiendo su relación de recurrencia.
1/3[1]n
Argumentos complejos
Sin tener en cuenta la definición anterior de n !! para valores pares de n , el factorial doble para enteros impares se puede extender a la mayoría de los números reales y complejos z observando que cuando z es un entero impar positivo entonces [17] [18]
¡¡La expresión final está definida para todos los números complejos excepto los enteros pares negativos y satisface ( z + 2)!! = ( z + 2) · z !! en todas partes está definido. Al igual que ocurre con la función gamma que extiende la función factorial ordinaria, esta función factorial doble es logarítmicamente convexa en el sentido del teorema de Bohr-Mollerup . Asintóticamente,
¡¡La fórmula generalizada no concuerda con la fórmula del producto anterior para z !! para valores enteros pares no negativos de z . En cambio, esta fórmula generalizada implica la siguiente alternativa:
(secuencia A076668 en la OEIS ).
Usando esta fórmula generalizada como definición, el volumen de una hiperesfera de n dimensiones de radio R se puede expresar como [19]
Identidades adicionales
Para valores enteros de n ,
Los factoriales dobles también se pueden utilizar para evaluar integrales de polinomios trigonométricos más complicados. [8] [20]
Los factoriales dobles de números impares están relacionados con la función gamma por la identidad:
Algunas identidades adicionales que involucran factoriales dobles de números impares son: [1]
Una aproximación a la razón del doble factorial de dos números enteros consecutivos es
De la misma manera que el factorial doble generaliza la noción de factorial único , la siguiente definición de funciones factoriales múltiples con valores enteros (multifactoriales), o funciones α -factoriales, amplía la noción de función factorial doble para enteros positivos :
Extensión alternativa del multifactorial.
Alternativamente, el multifactorial z ! ( α ) se puede extender a la mayoría de los números reales y complejos z observando que cuando z es uno más que un múltiplo positivo del entero positivo α entonces
Esta última expresión se define de manera mucho más amplia que la original. De la misma manera que z ! no está definido para números enteros negativos, y z ‼ no está definido para números enteros pares negativos, z ! ( α ) no está definido para múltiplos negativos de α . Sin embargo, ¡está definido y satisface ( z + α )! ( α ) = ( z + α )· z ! ( α ) para todos los demás números complejos z . Esta definición es consistente con la definición anterior solo para aquellos números enteros z que satisfacen z ≡ 1 mod α .
Además de extender z ! ( α ) para la mayoría de los números complejos z , esta definición tiene la característica de funcionar para todos los valores reales positivos de α . Además, cuando α = 1 , esta definición es matemáticamente equivalente a la función Π( z ) , descrita anteriormente. Además, cuando α = 2 , esta definición es matemáticamente equivalente a la extensión alternativa del doble factorial.
Números de Stirling generalizados que amplían las funciones multifactoriales
¡ Estos coeficientes α -factoriales generalizados generan los distintos productos polinomiales simbólicos que definen las funciones factoriales múltiples o α -factoriales, ( x − 1)! ( α ) , como
Las distintas expansiones polinómicas en las ecuaciones anteriores en realidad definen los productos factoriales α para múltiples casos distintos de los residuos mínimos x ≡ n 0 mod α para n 0 ∈ {0, 1, 2, ..., α − 1} .
Los polinomios α -factoriales generalizados , σ( α ) norte( x ) donde σ(1) norte( x ) ≡ σ n ( x ) , que generalizan los polinomios de convolución de Stirling desde el caso factorial único a los casos multifactoriales, se definen por
para 0 ≤ norte ≤ x . Estos polinomios tienen una función generadora ordinaria de forma cerrada particularmente agradable dada por
En Schmidt (2010) se consideran otras propiedades combinatorias y expansiones de estos triángulos α -factoriales generalizados y secuencias polinomiales. [21]
Sumas finitas exactas que involucran múltiples funciones factoriales
Supongamos que n ≥ 1 y α ≥ 2 tienen valores enteros. ¡Entonces podemos expandir las siguientes sumas finitas individuales que involucran las funciones multifactoriales o α -factoriales, ( αn − 1)! ( α ) , en términos del símbolo de Pochhammer y los coeficientes binomiales generalizados de valores racionales como
y además, de manera similar tenemos expansiones de doble suma de estas funciones dadas por
Las dos primeras sumas anteriores son similares en forma a una identidad combinatoria no redonda conocida para la función factorial doble cuando α := 2 dada por Callan (2009).
Se pueden obtener identidades similares mediante gramáticas libres de contexto. [22] ¡Expansiones adicionales de suma finita de congruencias para las funciones factoriales α , ( αn − d )! ( α ) , módulo cualquier entero prescrito h ≥ 2 para cualquier 0 ≤ d < α están dados por Schmidt (2018). [23]
Referencias
^ abcdefghij Callan, David (2009). "Una encuesta combinatoria de identidades para el doble factorial". arXiv : 0906.1317 [matemáticas.CO].
^ ab Weisstein, Eric W. "Doble factorial". mathworld.wolfram.com . Consultado el 10 de septiembre de 2020 .
^ "Factoriales dobles y multifactoriales | Wiki brillante de matemáticas y ciencias". brillante.org . Consultado el 10 de septiembre de 2020 .
^ Henderson, Daniel J.; Parmetro, Christopher F. (2012). "Núcleos canónicos de orden superior para la estimación de derivadas de densidad". Cartas de estadística y probabilidad . 82 (7): 1383-1387. doi :10.1016/j.spl.2012.03.013. SEÑOR 2929790.
^ Nielsen, B. (1999). "La prueba de razón de verosimilitud para el rango en el análisis de correlación canónica bivariada". Biometrika . 86 (2): 279–288. doi :10.1093/biomet/86.2.279. SEÑOR 1705359.
^ Knuth, Donald Ervin (2023). El arte de la programación informática. Volumen 4B parte 2: Algoritmos combinatorios . Boston Múnich: Addison-Wesley. ISBN978-0-201-03806-4.
^ Schuster, Arturo (1902). "Sobre algunas integrales definidas y un nuevo método para reducir una función de coordenadas esféricas a una serie de armónicos esféricos". Actas de la Royal Society de Londres . 71 (467–476): 97–101. doi : 10.1098/rspl.1902.0068 . JSTOR 116355.Véase en particular la pág. 99.
^ abcd Dale, MRT; Luna, JW (1993). "Los análogos permutados de tres conjuntos catalanes". Revista de planificación e inferencia estadística . 34 (1): 75–87. doi :10.1016/0378-3758(93)90035-5. SEÑOR 1209991.
^ Gould, Enrique; Quaintance, Jocelyn (2012). "Doble diversión con factoriales dobles". Revista Matemáticas . 85 (3): 177–192. doi : 10.4169/math.mag.85.3.177. SEÑOR 2924154. S2CID 117120280.
^ Kitaev, Sergey (2011). Patrones en permutaciones y palabras. Monografías de la EATCS en Informática Teórica. Saltador. pag. 96.ISBN9783642173332.
^ Dale, MRT; Narayana, televisión (1986). "Una partición de secuencias permutadas catalanas con aplicaciones". Revista de planificación e inferencia estadística . 14 (2): 245–249. doi :10.1016/0378-3758(86)90161-8. SEÑOR 0852528.
^ Tichy, Robert F.; Wagner, Stephan (2005). "Problemas extremos de índices topológicos en química combinatoria" (PDF) . Revista de biología computacional . 12 (7): 1004–1013. doi :10.1089/cmb.2005.12.1004. PMID 16201918.
^ Janson, Svante (2008). "Árboles planos recursivos, permutaciones de Stirling y un modelo de urna". Quinto Coloquio de Matemáticas e Informática . Matemáticas discretas. Teor. Computadora. Ciencia. Proc., AI. Asociación. Matemáticas discretas. Teor. Computadora. Ciencias, Nancy. págs. 541–547. arXiv : 0803.1129 . Código Bib : 2008arXiv0803.1129J. SEÑOR 2508813.
^ Rubey, Martín (2008). "Anidamientos de coincidencias y permutaciones y pasos norte en PDSAW". 20ª Conferencia Internacional Anual sobre Series de Potencias Formales y Combinatoria Algebraica (FPSAC 2008) . Matemáticas discretas. Teor. Computadora. Ciencia. Proc., AJ. Asociación. Matemáticas discretas. Teor. Computadora. Ciencias, Nancy. págs. 691–704. SEÑOR 2721495.
^ Marsh, Robert J.; Martín, Paul (2011). "Mosaico de biyecciones entre caminos y diagramas de Brauer". Revista de combinatoria algebraica . 33 (3): 427–453. arXiv : 0906.0912 . doi :10.1007/s10801-010-0252-6. SEÑOR 2772541. S2CID 7264692.
^ "Doble factorial: Valores específicos (fórmula 06.02.03.0005)". Investigación Wolfram. 2001-10-29 . Consultado el 23 de marzo de 2013 .
^ Mezey, Paul G. (2009). "Algunos problemas de dimensiones en bases de datos moleculares". Revista de Química Matemática . 45 (1): 1–6. doi :10.1007/s10910-008-9365-8. S2CID 120103389.
^ Dassios, George ; Kiriaki, Kiriakie (1987). "Una aplicación útil del teorema de Gauss". Boletín de la Société Mathématique de Grèce . 28 (A): 40–43. SEÑOR 0935868.
^ Schmidt, Maxie D. (2010). "Funciones, polinomios y aplicaciones factoriales j generalizadas". J. Sec . entera . 13 .
^ Triana, Juan; De Castro, Rodrigo (2019). "El operador derivado formal y los números multifactoriales". Revista Colombiana de Matemáticas . 53 (2): 125-137. doi : 10.15446/recolma.v53n2.85522 . ISSN 0034-7426.
^ Schmidt, Maxie D. (2018). "Nuevas congruencias y ecuaciones en diferencias finitas para funciones factoriales generalizadas" (PDF) . Enteros . 18 : A78:1–A78:34. arXiv : 1701.04741 . SEÑOR 3862591.