stringtranslate.com

factorial doble

Los quince diagramas de cuerdas diferentes en seis puntos, o equivalentemente las quince coincidencias perfectas diferentes en un gráfico completo de seis vértices . Estos se cuentan mediante el factorial doble 15 = (6 − 1) ‼.

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

n
9‼ = 9 × 7 × 5 × 3 × 1 = 9450‼ = 1producto vacío[2] [3]

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

Para un entero positivo impar n = 2 k − 1 con k ≥ 1 , el factorial doble se puede expresar en términos de k -permutaciones de 2 k [1] [10] o un factorial descendente como

Aplicaciones en combinatoria enumerativa

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

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 )

Asintóticas

La aproximación de Stirling para el factorial se puede utilizar para derivar un equivalente asintótico para el factorial doble. En particular, dado que uno tiene como tiende al infinito que

Extensiones

Argumentos negativos

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]

función gamma

¡¡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:

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

nIntegral de Wallis

Generalizaciones

Definiciones

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

Una clase de números de Stirling generalizados del primer tipo se define para α > 0 mediante la siguiente relación de recurrencia triangular:

¡ 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 xn 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 ≤ nortex . 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 α , ( αnd )! ( α ) , módulo cualquier entero prescrito h ≥ 2 para cualquier 0 ≤ d < α están dados por Schmidt (2018). [23]

Referencias

  1. ^ abcdefghij Callan, David (2009). "Una encuesta combinatoria de identidades para el doble factorial". arXiv : 0906.1317 [matemáticas.CO].
  2. ^ ab Weisstein, Eric W. "Doble factorial". mathworld.wolfram.com . Consultado el 10 de septiembre de 2020 .
  3. ^ "Factoriales dobles y multifactoriales | Wiki brillante de matemáticas y ciencias". brillante.org . Consultado el 10 de septiembre de 2020 .
  4. ^ 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.
  5. ^ 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.
  6. ^ Knuth, Donald Ervin (2023). El arte de la programación informática. Volumen 4B parte 2: Algoritmos combinatorios . Boston Múnich: Addison-Wesley. ISBN 978-0-201-03806-4.
  7. ^ 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.
  8. ^ ab Meserve, BE (1948). "Apuntes de clase: factoriales dobles". El Mensual Matemático Estadounidense . 55 (7): 425–426. doi :10.2307/2306136. JSTOR  2306136. SEÑOR  1527019.
  9. ^ 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.
  10. ^ 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.
  11. ^ Kitaev, Sergey (2011). Patrones en permutaciones y palabras. Monografías de la EATCS en Informática Teórica. Saltador. pag. 96.ISBN 9783642173332.
  12. ^ 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.
  13. ^ 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.
  14. ^ 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.
  15. ^ 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.
  16. ^ 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.
  17. ^ Hassani, Sadri (2000). Métodos matemáticos: para estudiantes de física y campos afines. Textos de Pregrado en Matemáticas . Saltador. pag. 266.ISBN 9780387989587.
  18. ^ "Doble factorial: Valores específicos (fórmula 06.02.03.0005)". Investigación Wolfram. 2001-10-29 . Consultado el 23 de marzo de 2013 .
  19. ^ 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.
  20. ^ 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.
  21. ^ Schmidt, Maxie D. (2010). "Funciones, polinomios y aplicaciones factoriales j generalizadas". J. Sec . entera . 13 .
  22. ^ 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.
  23. ^ 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.