En matemáticas antes de la década de 1970, el término cálculo umbral se refería a la sorprendente similitud entre ecuaciones polinómicas aparentemente no relacionadas y ciertas técnicas oscuras utilizadas para "probarlas". Estas técnicas fueron introducidas por John Blissard y a veces se las llama método simbólico de Blissard . [1] A menudo se atribuyen a Édouard Lucas (o James Joseph Sylvester ), quien utilizó la técnica ampliamente. [2]
En las décadas de 1930 y 1940, Eric Temple Bell intentó sentar una base rigurosa para el cálculo umbral, pero su intento de hacer que este tipo de argumento fuera lógicamente riguroso no tuvo éxito.
El combinatorialista John Riordan, en su libro Combinatorial Identities publicado en la década de 1960, utilizó ampliamente técnicas de este tipo.
En la década de 1970, Steven Roman , Gian-Carlo Rota y otros desarrollaron el cálculo umbral mediante funcionales lineales sobre espacios de polinomios. En la actualidad, el cálculo umbral se refiere al estudio de las sucesiones de Sheffer , incluidas las sucesiones polinómicas de tipo binomial y las sucesiones de Appell , pero puede abarcar técnicas de correspondencia sistemática del cálculo de diferencias finitas .
El método es un procedimiento de notación utilizado para derivar identidades que involucran secuencias indexadas de números, suponiendo que los índices son exponentes . Interpretado literalmente, es absurdo, y sin embargo es exitoso: las identidades derivadas a través del cálculo umbral también pueden derivarse correctamente mediante métodos más complicados que pueden tomarse literalmente sin dificultad lógica.
Un ejemplo son los polinomios de Bernoulli . Consideremos, por ejemplo, la expansión binomial ordinaria (que contiene un coeficiente binomial ):
y la relación notablemente similar en los polinomios de Bernoulli :
Compare también la derivada ordinaria
a una relación de aspecto muy similar en los polinomios de Bernoulli:
Estas similitudes permiten construir pruebas umbral que, en apariencia, no pueden ser correctas, pero parecen funcionar de todos modos. Así, por ejemplo, suponiendo que el subíndice n − k es un exponente:
y luego diferenciando se obtiene el resultado deseado:
En el ejemplo anterior, la variable b es una “umbra” ( sombra en latín ).
Véase también la fórmula de Faulhaber .
En cálculo diferencial , la serie de Taylor de una función es una suma infinita de términos que se expresan en términos de las derivadas de la función en un único punto. Es decir, una función real o de valor complejo f ( x ) que es analítica en se puede escribir como:
También se observaron relaciones similares en la teoría de diferencias finitas . La versión umbral de la serie de Taylor se da mediante una expresión similar que involucra las k - ésimas diferencias hacia delante de una función polinómica f ,
dónde
es el símbolo de Pochhammer que se utiliza aquí para el producto secuencial descendente. Una relación similar se aplica a las diferencias hacia atrás y al factorial ascendente.
Esta serie también se conoce como serie de Newton o desarrollo diferencial directo de Newton . La analogía con el desarrollo de Taylor se utiliza en el cálculo de diferencias finitas .
Otro combinatorio, Gian-Carlo Rota , señaló que el misterio desaparece si se considera la función lineal L sobre polinomios en z definida por
Luego, utilizando la definición de los polinomios de Bernoulli y la definición y linealidad de L , se puede escribir
Esto permite reemplazar las ocurrencias de por , es decir, mover la n de un subíndice a un superíndice (la operación clave del cálculo umbral). Por ejemplo, ahora podemos demostrar que:
Rota afirmó más tarde que se produjo mucha confusión al no distinguir entre tres relaciones de equivalencia que ocurren con frecuencia en este tema, todas las cuales se denotan con "=".
En un artículo publicado en 1964, Rota utilizó métodos umbrales para establecer la fórmula de recursión satisfecha por los números de Bell , que enumeran particiones de conjuntos finitos.
En el artículo de Roman y Rota citado a continuación, el cálculo umbral se caracteriza como el estudio del álgebra umbral , definida como el álgebra de funcionales lineales en el espacio vectorial de polinomios en una variable x , con un producto L 1 L 2 de funcionales lineales definidos por
Cuando las secuencias polinómicas reemplazan a las secuencias de números como imágenes de y n bajo la función lineal L , entonces se considera que el método umbral es un componente esencial de la teoría general de Rota de polinomios especiales, y esa teoría es el cálculo umbral según algunas definiciones más modernas del término. [3] Una pequeña muestra de esa teoría se puede encontrar en el artículo sobre secuencias polinómicas de tipo binomial . Otro es el artículo titulado Secuencia de Sheffer .
Posteriormente, Rota aplicó ampliamente el cálculo umbral en su artículo con Shen para estudiar las diversas propiedades combinatorias de los cumulantes . [4]