Factoriales descendente y ascendente
El factorial descendente (a veces llamado producto secuencial descendente o factorial inferior) es un operador matemático que se define como

 

El factorial ascendente (a veces llamado función de Pochhammer, polinomio de Pochhammer, producto secuencial ascendente, o factorial superior) se define a su vez como

 

El valor de ambos se toma como 1 (un producto vacío) cuando n = 0.

El símbolo de Pochhammer, introducido por el matemático prusiano Leo August Pochhammer (1841-1920), es la notación , donde  es un número natural. Dependiendo del contexto, el símbolo de Pochhammer puede representar el factorial ascendente o el factorial descendente tal como se definió anteriormente. Se debe tener cuidado para verificar qué interpretación se está utilizando en cada artículo en particular. Pochhammer en realidad utilizó la notación  con otro significado, a saber, denotar el coeficiente binomial .

En este artículo, el símbolo  se usa para representar el factorial descendente y el símbolo  se usa para el factorial ascendente. Estas convenciones se usan en combinatoria. En la teoría de funciones especiales (en particular, en la función hipergeométrica), el símbolo de Pochhammer  se usa para representar el factorial ascendente.
Una lista útil de fórmulas para manipular el factorial ascendente en esta última notación se da en . Knuth usa el término potencias factoriales para abarcar factoriales ascendentes y descendentes.

Cuando  es un entero no negativo,  da el número de -permutaciones de un conjunto de elementos , o equivalentemente, el número de posibles funciones injectivas de un conjunto de tamaño  sobre un conjunto de tamaño . Sin embargo, para estos significados, otras notaciones como  y P (x, n) se usan comúnmente. El símbolo de Pochhammer sirve principalmente para usos más algebraicos, por ejemplo cuando  es una variable indeterminada, en cuyo caso  designa un polinomio particular de grado  en .

Ejemplos
Los primeros factoriales ascendentes son los siguientes:
 
 
 
 
 
Los primeros pocos factoriales descendentes son los siguientes:
 
 
 
 
 
Los coeficientes que aparecen en las expresiones son los números de Stirling de primera especie.

Propiedades
Los factoriales ascendentes y descendentes se pueden usar para expresar un coeficiente binomial:

 

Por lo tanto, muchas identidades sobre coeficientes binomiales se trasladan a los factoriales decrecientes y ascendentes.

Un factorial ascendente se puede expresar como un factorial descendente que comienza desde el otro extremo,

 

o como un factorial descendente con argumento opuesto,

 

Los factoriales ascendentes y descendentes están bien definidos en cualquier anillo unitario y, por lo tanto, se puede considerar que x puede ser, por ejemplo, un número complejo, incluidos los números enteros negativos, o un polinomio con coeficientes complejos, o cualquier función de variable compleja.

El factorial ascendente puede extenderse a los valores reales de  utilizando la función gamma con  y  números reales que no sean enteros negativos:

 

y también lo puede hacer el factorial descendente:

 

Si  denota el diferencial con respecto a , se tiene

 

El símbolo de Pochhammer también forma parte de la definición de la función hipergeométrica: la función hipergeométrica se define para |z| < 1 por la serie de potencias

 

siempre que c no sea igual a 0, -1, -2, .... Sin embargo, téngase en cuenta que los textos sobre la función hipergeométrica utilizan la notación  para los factores de la función factorial ascendente.

Relación con el cálculo umbral
El factorial descendente también se deduce a partir de una fórmula que representa polinomios utilizando diferencias finitas , lo que es formalmente similar al teorema de Taylor. En esta fórmula y en muchos otras identidades, el factorial descendente  en el cálculo de diferencias finitas desempeña el papel de  en el cálculo diferencial. Téngase en cuenta, por ejemplo, la similitud de

 

y de

 

Un resultado similar es válido para el factorial ascendente.

El estudio de analogías de este tipo se conoce como cálculo umbral. La teoría de secuencias polinómicas de tipo binomial y de secuencias de Sheffer da una teoría general que cubre tales relaciones, incluidas las funciones factoriales descendentes y ascendentes, que son secuencias de Sheffer de tipo binomial, como se muestra en las relaciones:

 

 

donde los coeficientes son los mismos que en la expansión de una potencia de un binomio (identidad de Chu-Vandermonde).

De manera similar, la función generadora de los polinomios de Pochhammer ascendentes según la función exponencial umbral,

 

como Δ(1 + t) x = t (1 + t)x.

Coeficientes de conexión e identidades

Los factoriales descendentes y ascendentes se relacionan entre sí a través de los números de Lah y a través de sumas para potencias integrales de una variable  que involucra a los números de Stirling de segunda especie en las  formas siguientes, donde :

 

Dado que los factoriales descendentes son la base del anillo de polinomios, se puede volver a expresar el producto de dos de ellos como una combinación lineal de factoriales descendentes:

 

Los coeficientes de (x) m+n−k, llamados coeficientes de conexión, tienen una interpretación combinatoria como el número de formas de identificar (o unir)  elementos cada uno de un conjunto de tamaño  y de un conjunto de tamaño .
También se tiene una fórmula de conexión para la relación de dos símbolos de Pochhammer dada por

 

Además, se pueden expandir las leyes de exponente generalizadas y las potencias negativas ascendentes y descendentes a través de las siguientes identidades:

 

Finalmente, aplicando la duplicación y las fórmulas de multiplicación a los factoriales ascendentes proporcionan las siguientes relaciones:

Notaciones alternativas

Una notación alternativa para el factorial ascendente

 

y para el factorial descendente

 

se remontan a A. Capelli (1893) y a L. Toscano (1939), respectivamente. Graham, Knuth y Patashnik que proponían denominar estas expresiones como " al ascenso " y " al descenso ", respectivamente.

Otras anotaciones para el factorial descendente incluyen , ,  o . (Véase permutación y combinación.)

Una notación alternativa para el factorial ascendente  es , menos común. Cuando la notación  se usa para el factorial ascendente, la notación  se usa generalmente para el factorial descendente normal para evitar confusiones.

Generalizaciones
El símbolo de Pochhammer tiene una versión generalizada llamada símbolo generalizado de Pochhammer, utilizado en análisis multivariante. También hay un q-análogo, el símbolo q-Pochhammer.

Una generalización del factorial descendente en el que se evalúa una función en una secuencia aritmética descendente de enteros y los valores se multiplican, es:

 

donde  es la disminución y  es la cantidad de factores. La generalización correspondiente del factorial ascendente es

 

Esta notación unifica los factoriales ascendente y descendente, que son [x]k/1 y [x]k/−1, respectivamente.

Para cualquier función aritmética fija  y parámetros simbólicos , los productos factoriales generalizados se relacionan de la forma

 

que se puede estudiar desde el punto de vista de las clases de los números de Stirling de primera especie generalizados, definidos por los siguientes coeficientes de las potencias de  en las expansiones de  y luego por la siguiente relación de recurrencia triangular correspondiente:

 

Estos coeficientes satisfacen una serie de propiedades análogas a las de los números de Stirling de primera especie, así como las relaciones de recurrencia y las ecuaciones funcionales relacionadas con los números f-armónicos, .

Véase también
 Símbolo k-Pochhammer
 Identidad de Vandermonde

Referencias

Bibliografía

Enlaces externos
 
 pruebas elementales

Funciones gamma y relacionadas
Diferencia finita
Temas factoriales y binomiales
El factorial descendente ( a veces llamado producto secuencial descendente o factorial inferior ) es un operador matemático que se define como El factorial ascendente ( a veces llamado función de Pochhammer , polinomio de Pochhammer , producto secuencial ascendente , o factorial superior ) se define a su vez como El valor de ambos se toma como( un producto vacío ) cuando n = El símbolo de Pochhammer , introducido por el matemático prusiano Leo August Pochhammer es la notación , donde es un número natural . Dependiendo del contexto , el símbolo de Pochhammer puede representar el factorial ascendente o el factorial descendente tal como se definió anteriormente . Se debe tener cuidado para verificar qué interpretación se está utilizando en cada artículo en particular . Pochhammer en realidad utilizó la notación con otro significado , a saber , denotar el coeficiente binomial \ . En este artículo , el símbolo se usa para representar el factorial descendente y el símbolo se usa para el factorial ascendente . Estas convenciones se usan en combinatoria . En la teoría de funciones especiales ( en particular , en la función hipergeométrica ) , el símbolo de Pochhammer se usa para representar el factorial ascendente . Una lista útil de fórmulas para manipular el factorial ascendente en esta última notación se da en \ . Knuth usa el término potencias factoriales para abarcar factoriales ascendentes y descendentes . Cuando es un entero no negativo , da el número de -permutaciones de un conjunto de elementos , o equivalentemente , el número de posibles funciones injectivas de un conjunto de tamaño sobre un conjunto de tamaño . Sin embargo , para estos significados , otras notaciones como y P ( x , n ) se usan comúnmente . El símbolo de Pochhammer sirve principalmente para usos más algebraicos , por ejemplo cuando es una variable indeterminada , en cuyo caso designa un polinomio particular de grado en \ . Ejemplos Los primeros factoriales ascendentes son los siguientes : Los primeros pocos factoriales descendentes son los siguientes : Los coeficientes que aparecen en las expresiones son los números de Stirling de primera especie . Propiedades Los factoriales ascendentes y descendentes se pueden usar para expresar un coeficiente binomial : Por lo tanto , muchas identidades sobre coeficientes binomiales se trasladan a los factoriales decrecientes y ascendentes . Un factorial ascendente se puede expresar como un factorial descendente que comienza desde el otro extremo , o como un factorial descendente con argumento opuesto , Los factoriales ascendentes y descendentes están bien definidos en cualquier anillo unitario y , por lo tanto , se puede considerar que x puede ser , por ejemplo , un número complejo , incluidos los números enteros negativos , o un polinomio con coeficientes complejos , o cualquier función de variable compleja . El factorial ascendente puede extender se a los valores reales de utilizando la función gamma con y números reales que no sean enteros negativos : y también lo puede hacer el factorial descendente : Si denota el diferencial con respecto a , se tiene El símbolo de Pochhammer también forma parte de la definición de la función hipergeométrica : la función hipergeométrica se define para |z| < 1 por la serie de potencias siempre que c no sea igual a \ ... . Sin embargo , téngase en cuenta que los textos sobre la función hipergeométrica utilizan la notación para los factores de la función factorial ascendente . Relación con el cálculo umbral El factorial descendente también se deduce a partir de una fórmula que representa polinomios utilizando diferencias finitas , lo que es formalmente similar al teorema de Taylor . En esta fórmula y en muchos otras identidades , el factorial descendente en el cálculo de diferencias finitas desempeña el papel de en el cálculo diferencial . Téngase en cuenta , por ejemplo , la similitud de y de Un resultado similar es válido para el factorial ascendente . El estudio de analogías de este tipo se conoce como cálculo umbral . La teoría de secuencias polinómicas de tipo binomial y de secuencias de Sheffer da una teoría general que cubre tales relaciones , incluidas las funciones factoriales descendentes y ascendentes , que son secuencias de Sheffer de tipo binomial , como se muestra en las relaciones : donde los coeficientes son los mismos que en la expansión de una potencia de un binomio ( identidad de Chu-Vandermonde ) . De manera similar , la función generadora de los polinomios de Pochhammer ascendentes según la función exponencial umbral , como Δ( 1 + t ) x = t+ t)x . Coeficientes de conexión e identidades Los factoriales descendentes y ascendentes se relacionan entre sí a través de los números de Lah y a través de sumas para potencias integrales de una variable que involucra a los números de Stirling de segunda especie en las formas siguientes , donde \ : Dado que los factoriales descendentes son la base del anillo de polinomios , se puede volver a expresar el producto de dos de ellos como una combinación lineal de factoriales descendentes : Los coeficientes de ( x ) m+n−k , llamados coeficientes de conexión , tienen una interpretación combinatoria como el número de formas de identificar ( o unir ) elementos cada uno de un conjunto de tamaño y de un conjunto de tamaño \ . También se tiene una fórmula de conexión para la relación de dos símbolos de Pochhammer dada por Además , se pueden expandir las leyes de exponente generalizadas y las potencias negativas ascendentes y descendentes a través de las siguientes identidades : Finalmente , aplicando la duplicación y las fórmulas de multiplicación a los factoriales ascendentes proporcionan las siguientes relaciones : Notaciones alternativas Una notación alternativa para el factorial ascendente y para el factorial descendente se remontan a A. Capelliy a L. Toscano respectivamente . Graham , Knuth y Patashnik que proponían denominar estas expresiones como " al ascenso " y " al descenso " , respectivamente . Otras anotaciones para el factorial descendente incluyen , , o \ . ( Vea se permutación y combinación . ) Una notación alternativa para el factorial ascendente es , menos común . Cuando la notación se usa para el factorial ascendente , la notación se usa generalmente para el factorial descendente normal para evitar confusiones . Generalizaciones El símbolo de Pochhammer tiene una versión generalizada llamada símbolo generalizado de Pochhammer , utilizado en análisis multivariante . También hay un q-análogo , el símbolo q-Pochhammer . Una generalización del factorial descendente en el que se evalúa una función en una secuencia aritmética descendente de enteros y los valores se multiplican , es : donde es la disminución y es la cantidad de factores . La generalización correspondiente del factorial ascendente es Esta notación unifica los factoriales ascendente y descendente , que son [ x] k/1 y [ x]k/−1 , respectivamente . Para cualquier función aritmética fija y parámetros simbólicos , los productos factoriales generalizados se relacionan de la forma que se puede estudiar desde el punto de vista de las clases de los números de Stirling de primera especie generalizados , definidos por los siguientes coeficientes de las potencias de en las expansiones de y luego por la siguiente relación de recurrencia triangular correspondiente : Estos coeficientes satisfacen una serie de propiedades análogas a las de los números de Stirling de primera especie , así como las relaciones de recurrencia y las ecuaciones funcionales relacionadas con los números f-armónicos , \ . Vea se también Símbolo k-Pochhammer Identidad de Vandermonde Referencias Bibliografía Enlaces externos pruebas elementales Funciones gamma y relacionadas Diferencia finita Temas factoriales y binomiales