En matemáticas , los números de Stirling surgen en una variedad de problemas analíticos y combinatorios . Su nombre se debe a James Stirling , quien los introdujo en un contexto puramente algebraico en su libro Methodus Differentialis (1730). [1] Fueron redescubiertos y se les dio un significado combinatorio por Masanobu Saka en 1782. [2]
Una propiedad común de los tres tipos es que describen coeficientes que relacionan tres secuencias diferentes de polinomios que surgen con frecuencia en la combinatoria. Además, los tres pueden definirse como el número de particiones de n elementos en k subconjuntos no vacíos, donde cada subconjunto está dotado de un cierto tipo de orden (sin orden, cíclico o lineal).
Notación
Se utilizan varias notaciones diferentes para los números de Stirling. Los números de Stirling ordinarios (con signo) del primer tipo se denotan comúnmente:
Los números de Stirling sin signo del primer tipo , que cuentan el número de permutaciones de n elementos con k ciclos disjuntos , se denotan:
Números de Stirling del segundo tipo , que cuentan el número de formas de particionar un conjunto de n elementos en k subconjuntos no vacíos: [3]
Expansiones de factoriales ascendentes y descendentes
Los números de Stirling expresan coeficientes en expansiones de factoriales descendentes y ascendentes (también conocidos como símbolo de Pochhammer) como polinomios.
Es decir, el factorial descendente , definido como es un polinomio en x de grado n cuya expansión es
con números de Stirling (con signo) del primer tipo como coeficientes.
Obsérvese que, por convención, dado que se trata de un producto vacío , también se utilizan a menudo las notaciones para el factorial descendente y para el factorial ascendente. [5] (De manera confusa, el símbolo Pochhammer que muchos usan para los factoriales descendentes se usa en funciones especiales para los factoriales ascendentes ).
De manera similar, el factorial ascendente , definido como es un polinomio en x de grado n cuya expansión es
con números de Stirling sin signo de primera especie como coeficientes. Una de estas expansiones se puede derivar de la otra observando que
Los números de Stirling del segundo tipo expresan las relaciones inversas:
y
Como coeficientes de cambio de base
Considerando el conjunto de polinomios en la variable (indeterminada) x como un espacio vectorial, cada una de las tres secuencias
es una base . Es decir, cada polinomio en x puede escribirse como una suma para algunos coeficientes únicos (de manera similar para las otras dos bases). Las relaciones anteriores expresan entonces el cambio de base entre ellas, como se resume en el siguiente diagrama conmutativo :
Los coeficientes de los dos cambios de base se describen mediante los números de Lah que aparecen a continuación. Dado que los coeficientes de cualquier base son únicos, se pueden definir los números de Stirling de esta manera, como los coeficientes que expresan polinomios de una base en términos de otra, es decir, los números únicos relacionados con los factoriales ascendentes y descendentes como se indicó anteriormente.
Los factoriales descendentes definen, hasta el escalamiento, los mismos polinomios que los coeficientes binomiales : . Los cambios entre la base estándar y la base se describen, por tanto, mediante fórmulas similares:
.
Ejemplo
Expresar un polinomio en base a factoriales decrecientes es útil para calcular sumas del polinomio evaluado en números enteros consecutivos. De hecho, la suma de factoriales decrecientes con k fijo puede expresarse como otro factor decreciente (para )
Por ejemplo, la suma de cuartas potencias de números enteros hasta n (esta vez con n incluido), es:
Aquí los números de Stirling se pueden calcular a partir de su definición como el número de particiones de 4 elementos en k subconjuntos no vacíos y no etiquetados.
En cambio, la suma en la base estándar viene dada por la fórmula de Faulhaber , que en general es más complicada.
Como matrices inversas
Los números de Stirling de primer y segundo tipo pueden considerarse inversos entre sí:
y
donde es la delta de Kronecker . Estas dos relaciones pueden entenderse como relaciones de matriz inversa. Es decir, sea s la matriz triangular inferior de números de Stirling de primera especie, cuyos elementos de matriz
La inversa de esta matriz es S , la matriz triangular inferior de números de Stirling de segunda especie, cuyas entradas son Simbólicamente, esto se escribe
Aunque s y S son infinitos, por lo que calcular una entrada de producto implica una suma infinita, las multiplicaciones de matrices funcionan porque estas matrices son triangulares inferiores, por lo que solo un número finito de términos en la suma son distintos de cero.
Números de Lah
Los números de Lah a veces se denominan números de Stirling del tercer tipo. [6]
Por convención, y si o .
Estos números son coeficientes que expresan factoriales descendentes en términos de factoriales ascendentes y viceversa:
y
Como se indicó anteriormente, esto significa que expresan el cambio de base entre las bases y , completando el diagrama. En particular, una fórmula es la inversa de la otra, por lo tanto:
De manera similar, al componer el cambio de base de a con el cambio de base de a se obtiene directamente el cambio de base de a :
y de manera similar para otras composiciones. En términos de matrices, si denota la matriz con entradas y denota la matriz con entradas , entonces una es la inversa de la otra: . Al componer la matriz de números de Stirling sin signo de primera especie con la matriz de números de Stirling de segunda especie se obtienen los números de Lah: .
Enumerativamente , se puede definir como el número de particiones de n elementos en k subconjuntos no vacíos y sin etiquetar, donde cada subconjunto está dotado de ningún orden, un orden cíclico o un orden lineal, respectivamente. En particular, esto implica las desigualdades:
Relaciones de inversión y transformada de Stirling
Para cualquier par de secuencias, y , relacionadas por una suma finita, la fórmula del número de Stirling está dada por
Para todos los números enteros , tenemos una fórmula de inversión correspondiente dada por
Los índices inferiores podrían ser cualquier número entero entre y .
Consulte los artículos específicos para obtener más detalles.
Fórmulas simétricas
Abramowitz y Stegun dan las siguientes fórmulas simétricas que relacionan los números de Stirling de primer y segundo tipo. [9]
y
Números de Stirling con valores integrales negativos
Los números de Stirling se pueden extender a valores enteros negativos, pero no todos los autores lo hacen de la misma manera. [10] [11] [12] Independientemente del enfoque adoptado, vale la pena señalar que los números de Stirling de primer y segundo tipo están conectados por las relaciones:
Cuando n y k son números enteros no negativos, tenemos la siguiente tabla para :
Donald Knuth [12] definió los números de Stirling más generales extendiendo una relación de recurrencia a todos los números enteros. En este enfoque, y son cero si n es negativo y k no es negativo, o si n no es negativo y k es negativo, y entonces tenemos, para cualquier número entero n y k ,
Por otra parte, para los números enteros positivos n y k , David Branson [11] definió y (pero no o ). En este enfoque, se tiene la siguiente extensión de la relación de recurrencia de los números de Stirling de primera especie:
,
Por ejemplo, Esto conduce a la siguiente tabla de valores de para la integral negativa n .
En este caso , donde es un número de Bell , por lo que se pueden definir los números de Bell negativos como .
^ Knuth, Donald E. (1992). "Dos notas sobre notación". American Mathematical Monthly . 99 (5): 403–422. doi :10.2307/2325085. JSTOR 2325085 – vía JSTOR.
^ Aigner, Martin (2007). "Sección 1.2 - Subconjuntos y coeficientes binomiales". Un curso de enumeración . Springer. pp. 561. ISBN.978-3-540-39032-9.
^ Ejercicio 13 de Matemáticas Concretas de la sección 6. Nótese que esta fórmula implica inmediatamente la primera transformación de número de Stirling de orden positivo dada en el artículo principal sobre transformaciones de funciones generadoras .
^ Olver, Frank; Lozier, Daniel; Boisvert, Ronald; Clark, Charles (2010). "Manual de funciones matemáticas del NIST". Manual de funciones matemáticas del NIST .(Sección 26.8)
^ Goldberg, K.; Newman, M.; Haynsworth, E. (1972), "Números de Stirling de primera clase, números de Stirling de segunda clase", en Abramowitz, Milton; Stegun, Irene A. (eds.), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, décima edición , Nueva York: Dover, págs. 824–825
^ Loeb, Daniel E. (1992) [Recibido el 3 de noviembre de 1989]. "Una generalización de los números de Stirling". Matemáticas discretas . 103 (3): 259–269. doi : 10.1016/0012-365X(92)90318-A .
^ ab Branson, David (agosto de 1994). "Una extensión de los números de Stirling" (PDF) . The Fibonacci Quarterly . Archivado (PDF) desde el original el 27 de agosto de 2011. Consultado el 6 de diciembre de 2017 .
^ desde DE Knuth, 1992.
Referencias
Rosen, Kenneth H., ed. (2018), Manual de matemáticas discretas y combinatorias , CRC Press, ISBN 978-1-5848-8780-5
Mansour, Toufik; Schork, Mathias (2015), Relaciones de conmutación, ordenamiento normal y números de Stirling , CRC Press, ISBN 978-1-4665-7989-7
Lectura adicional
Adamchik, Victor (1997). "Sobre números de Stirling y sumas de Euler" (PDF) . Journal of Computational and Applied Mathematics . 79 : 119–130. doi : 10.1016/s0377-0427(96)00167-7 . Archivado (PDF) desde el original el 14 de diciembre de 2004.
Benjamin, Arthur T.; Preston, Gregory O.; Quinn, Jennifer J. (2002). "Un encuentro de Stirling con números armónicos" (PDF) . Revista de Matemáticas . 75 (2): 95–103. CiteSeerX 10.1.1.383.722 . doi :10.2307/3219141. JSTOR 3219141. Archivado (PDF) desde el original el 2020-09-10.
Boyadzhiev, Khristo N. (2012). "Encuentros cercanos con los números de Stirling de segunda clase" (PDF) . Revista de Matemáticas . 85 (4): 252–266. arXiv : 1806.09468 . doi :10.4169/math.mag.85.4.252. S2CID 115176876. Archivado (PDF) desde el original el 5 de septiembre de 2015.
Comtet, Luis (1970). "Valeur de s(n, k)" . Analizar Combinatoire, Tomo Segundo (en francés): 51.
Comtet, Louis (1974). Combinatoria avanzada: el arte de las expansiones finitas e infinitas. Dordrecht-Holland/Boston-EE. UU.: Reidel Publishing Company. ISBN 9789027703804.
Hsien-Kuei Hwang (1995). "Expansiones asintóticas para los números de Stirling de primera especie". Journal of Combinatorial Theory, Serie A . 71 (2): 343–351. doi : 10.1016/0097-3165(95)90010-1 .
Knuth, DE (1992), "Dos notas sobre la notación", Amer. Math. Monthly , 99 (5): 403–422, arXiv : math/9205211 , doi :10.2307/2325085, JSTOR 2325085, S2CID 119584305
Miksa, Francis L. (enero de 1956). "Números de Stirling de primera clase: 27 hojas reproducidas de un manuscrito mecanografiado depositado en el Archivo UMT". Tablas matemáticas y otras ayudas para el cálculo: reseñas y descripciones de tablas y libros . 10 (53): 37–38. JSTOR 2002617.
Miksa, Francis L. (1972) [1964]. "Análisis combinatorio, tabla 24.4, números de Stirling del segundo tipo". En Abramowitz, Milton; Stegun, Irene A. (eds.). Manual de funciones matemáticas (con fórmulas, gráficos y tablas matemáticas) . 55. Departamento de Comercio de los Estados Unidos, Oficina Nacional de Normas, Matemáticas Aplicadas. pág. 835.
Mitrinović, Dragoslav S. (1959). "Sur les nombres de Stirling de première espèce et les polynômes de Stirling" (PDF) . Publicaciones de la Faculté d'Electrotechnique de l'Université de Belgrade, Série Mathématiques et Physique (en francés) (23): 1–20. ISSN 0522-8441. Archivado (PDF) desde el original el 17 de junio de 2009.
O'Connor, John J.; Robertson, Edmund F. (septiembre de 1998). "James Stirling (1692–1770)".
Sixdeniers, JM; Penson, KA; Solomon, AI (2001). "Números de Bell y Stirling extendidos a partir de exponenciación hipergeométrica" (PDF) . Journal of Integer Sequences . 4 : 01.1.4. arXiv : math/0106123 . Bibcode :2001JIntS...4...14S.
Spivey, Michael Z. (2007). "Sumas combinatorias y diferencias finitas". Matemáticas discretas . 307 (24): 3130–3146. CiteSeerX 10.1.1.134.8665 . doi : 10.1016/j.disc.2007.03.052 .