stringtranslate.com

Número de Stirling

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]

Dos conjuntos diferentes de números llevan este nombre: los números de Stirling de primer tipo y los números de Stirling de segundo tipo . Además, a los números de Lah a veces se los denomina números de Stirling de tercer tipo. Cada tipo se detalla en su artículo respectivo, y este sirve como descripción de las relaciones entre ellos.

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]

Abramowitz y Stegun utilizan una letra mayúscula y una letra gótica , respectivamente, para el primer y segundo tipo de número de Stirling. La notación de corchetes y llaves, en analogía con los coeficientes binomiales , fue introducida en 1935 por Jovan Karamata y promovida más tarde por Donald Knuth , aunque la notación de corchetes entra en conflicto con una notación común para los coeficientes gaussianos . [4] La motivación matemática para este tipo de notación, así como fórmulas adicionales de números de Stirling, se pueden encontrar en la página de números de Stirling y funciones generadoras exponenciales .

Otra notación poco frecuente es y .

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 :

Un diagrama de cómo diferentes números de Stirling dan coeficientes para cambiar una base de polinomios a otra.
Un diagrama de cómo diferentes números de Stirling dan coeficientes para cambiar una base de polinomios a otra.

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 )

Esto puede demostrarse por inducción .

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 .

Estas relaciones de inversión entre las dos secuencias se traducen en ecuaciones funcionales entre las funciones generadoras exponenciales de la secuencia dadas por la transformada de Stirling (función generadora) como

y

Para , los operadores diferenciales y están relacionados por las siguientes fórmulas para todos los números enteros : [7]

Otro par de relaciones de " inversión " que involucran los números de Stirling relacionan las diferencias hacia adelante y las derivadas ordinarias de una función, , que es analítica para todas mediante las fórmulas [8]

Propiedades similares

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 .

Por ejemplo, esto produce , generalmente .

Véase también

Citas

  1. ^ Mansour y Schork 2015, pág. 5.
  2. ^ Mansour y Schork 2015, pág. 4.
  3. ^ Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) Matemáticas concretas , Addison-Wesley, Reading MA. ISBN  0-201-14236-8 , pág. 244.
  4. ^ 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.
  5. ^ 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.
  6. ^ Sándor, Jozsef; Crstici, Borislav (2004). Manual de teoría de números II. Editores académicos de Kluwer . pag. 464.ISBN 9781402025464.
  7. ^ 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 .
  8. ^ 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)
  9. ^ 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
  10. ^ 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 .
  11. ^ 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 .
  12. ^ desde DE Knuth, 1992.

Referencias

Lectura adicional