El uso de funciones generadoras exponenciales (FGE) para estudiar las propiedades de los números de Stirling es un ejercicio clásico de matemática combinatoria y posiblemente el ejemplo canónico de cómo se utiliza la combinatoria simbólica . También ilustra los paralelismos en la construcción de estos dos tipos de números, lo que respalda la notación de estilo binomial que se utiliza para ellos.
Este artículo utiliza el operador de extracción de coeficientes para series de potencias formales , así como los operadores (etiquetados) (para ciclos) y (para conjuntos) en clases combinatorias, que se explican en la página de combinatoria simbólica . Dada una clase combinatoria, el operador de ciclo crea la clase obtenida al colocar objetos de la clase fuente a lo largo de un ciclo de cierta longitud, donde se tienen en cuenta las simetrías cíclicas, y el operador de conjunto crea la clase obtenida al colocar objetos de la clase fuente en un conjunto (simetrías del grupo simétrico, es decir, una "bolsa no estructurada"). Las dos clases combinatorias (mostradas sin marcadores adicionales) son
- permutaciones (para números de Stirling sin signo del primer tipo):
y
¿Dónde está la clase singleton?
Advertencia : La notación utilizada aquí para los números de Stirling no es la de los artículos de Wikipedia sobre números de Stirling; los corchetes indican los números de Stirling con signo aquí.
Números de Stirling del primer tipo
Los números de Stirling sin signo del primer tipo cuentan el número de permutaciones de [ n ] con k ciclos. Una permutación es un conjunto de ciclos y, por lo tanto, el conjunto de permutaciones está dado por
donde el singleton marca los ciclos. Esta descomposición se examina con cierto detalle en la página sobre las estadísticas de permutaciones aleatorias .
Traduciendo a funciones generadoras obtenemos la función generadora mixta de los números de Stirling sin signo del primer tipo:
Ahora los números de Stirling con signo del primer tipo se obtienen a partir de los sin signo mediante la relación
Por lo tanto, la función generadora de estos números es
Se pueden derivar diversas identidades manipulando esta función generadora :
En particular, se puede intercambiar el orden de suma y tomar derivadas, y luego se puede fijar z o u .
Sumas finitas
Una suma simple es
Esta fórmula es válida porque la función generadora exponencial de la suma es
Sumas infinitas
Algunas sumas infinitas incluyen
donde (la singularidad más cercana a
de está en )
Esta relación se cumple porque
Números de Stirling del segundo tipo
Estos números cuentan el número de particiones de [ n ] en k subconjuntos no vacíos. Primero considere el número total de particiones, es decir B n donde
es decir, los números de Bell . Se aplica el teorema fundamental de Flajolet-Sedgewick (caso etiquetado). El conjunto de particiones en subconjuntos no vacíos viene dado por ("conjunto de conjuntos no vacíos de singletons")
Esta descomposición es completamente análoga a la construcción del conjunto de permutaciones a partir de ciclos, que viene dada por
y da como resultado los números de Stirling del primer tipo. De ahí el nombre de "números de Stirling del segundo tipo".
La descomposición es equivalente al EGF
Diferenciar para obtener
Lo que implica que
por convolución de funciones generadoras exponenciales y porque al diferenciar una EGF se elimina el primer coeficiente y se desplaza B n +1 a z n / n !.
La EGF de los números de Stirling de segundo tipo se obtiene marcando cada subconjunto que entra en la partición con el término , dando
Traduciendo a funciones generadoras, obtenemos
Este EGF produce la fórmula para los números de Stirling del segundo tipo:
o
Lo cual se simplifica a
Referencias
- Ronald Graham , Donald Knuth , Oren Patashnik (1989): Matemáticas concretas , Addison–Wesley, ISBN 0-201-14236-8
- DS Mitrinovic , Sur une classe de nombre relies aux nombres de Stirling , CR Acad. Ciencia. París 252 (1961), 2354–2356.
- ACR Belton, El proceso monótono de Poisson , en: Probabilidad cuántica (M. Bozejko, W. Mlotkowski y J. Wysoczanski, eds.), Banach Center Publications 73, Academia Polaca de Ciencias, Varsovia, 2006
- Milton Abramowitz e Irene A. Stegun , Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas , USGPO, 1964, Washington DC, ISBN 0-486-61272-4