Cálculo umbral
En matemáticas, antes de la década de 1970, el término cálculo umbral se refería a la sorprendente similitud entre las ecuaciones algebraicas y las exponenciales en la aplicación de ciertas técnicas no estrictamente rigurosas utilizadas para "probarlas", aparentemente no relacionadas entre sí. Aquí, la raíz latina umbral se utilizaba con el significado de sombra, haciendo referencia a la relación entre superíndices exponenciales y su sombra, los subíndices que se relacionan con ellos.
Estas técnicas fueron introducidas por John Blissard (1861) y a veces se denominan "método simbólico de Blissard". A menudo también se atribuyen a Édouard Lucas (o a James Joseph Sylvester), que usaron la técnica extensivamente.[1]
Breve historia
[editar]En las décadas de 1930 y 1940, Eric Temple Bell intentó fundamentar el cálculo umbral desde unos planteamientos rigurosos.
En la década de 1970, Steven Roman, Gian-Carlo Rota y otros matemáticos desarrollaron el cálculo umbral mediante funcionales lineales en espacios de polinomios. Actualmente, el cálculo umbral se refiere al estudio de las series de Sheffer, incluidas las series polinómicas de tipo binomial y la serie de Appell, pero puede abarcar técnicas de correspondencia sistemática de diferencias finitas.
El cálculo umbral del siglo XIX
[editar]El método es un procedimiento de notación utilizado para deducir identidades que involucran series de números indexadas al "simular que los índices son exponentes". Interpretado literalmente, es absurdo y, sin embargo, funciona: las identidades deducidas a través del cálculo umbral también pueden deducirse adecuadamente mediante métodos más complicados que pueden seguirse literalmente sin dificultades lógicas.
Un ejemplo conocido involucra a los polinomios de Bernoulli. Considerándose por ejemplo el teorema del binomio ordinario (que contiene un coeficiente binomial):
y la relación notablemente similar en los polinomios de Bernoulli:
Comparando también la deducción ordinaria
con una relación de aspecto muy similar en los polinomios de Bernoulli:
Estas similitudes permiten construir pruebas de "cálculo umbral" que a priori no deberían ser correctas, pero parecen funcionar de todos modos. Así, por ejemplo, simulando que el subíndice n − k es un exponente:
y luego diferenciando, se obtiene el resultado deseado:
En el desarrollo anterior, la variable b es una "umbra" (palabra en latín para sombra).
Véase también la fórmula de Faulhaber.
Serie de Taylor umbral
[editar]También se observaron relaciones similares en la teoría de diferencias finitas. La versión umbral de la serie de Taylor viene dada por una expresión similar, que implica las k-ésimas diferencias finitas de una función polinómica f,
donde
es el símbolo de Pochhammer utilizado aquí para el producto de la serie descendente. Una relación similar es válida para las diferencias finitas y el factorial ascendente.
Esta secuencia también se conoce como serie de Newton o desarrollo en diferencias de Newton hacia adelante. La analogía con el desarrollo de Taylor se utiliza con las diferencias finitas.
Bell y Riordan
[editar]En los años 1930 y 1940, Eric Temple Bell intentó sin éxito hacer este tipo de argumento lógicamente riguroso. El especialista en combinatoria, John Riordan, utilizó ampliamente técnicas de este tipo en su libro Combinatorial Identities publicado en la década de 1960.
El moderno cálculo umbral
[editar]Otro especialista en combinatoria, Gian-Carlo Rota, señaló que el misterio se desvanece si se considera el funcional lineal L sobre polinomios en z definidos por
Luego, utilizando la definición de los polinomios de Bernoulli y la definición de linealidad de L , se puede escribir
Esto permite reemplazar las apariciones 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 se puede probar que
expandiendo el lado derecho como
Más adelante, Rota declaró que se produjo mucha confusión debido a la falta de distinción entre tres equivalencias que se dan con frecuencia en este tema, todas denotadas con el símbolo "=".
En un artículo publicado en 1964, Rota usó métodos de cálculo umbral para establecer la fórmula de recursión satisfecha por los números de Bell, que contabiliza las particiones de conjuntos finitos.
En el artículo de Roman y Rota que se cita a continuación, el cálculo umbral se caracteriza como el estudio del álgebra umbral, definida como el álgebra de las funciones lineales en el espacio vectorial de los polinomios en una variable x, con un producto L1L2 de funciones lineales definidas por
Cuando las series polinómicas reemplazan a las series de números como imágenes de yn bajo la aplicación lineal L, entonces se considera que el método del cálculo umbral es un componente esencial de la teoría general de polinomios especiales de Rota, y esa teoría es el cálculo umbral de acuerdo con algunas definiciones modernas del término.[2] En el artículo sobre series polinómicas de tipo binomial se puede encontrar una pequeña muestra de esa teoría. Otro es el artículo titulado serie de Sheffer.
Más adelante, Rota aplicó extensivamente el cálculo umbral en su trabajo con Shen para estudiar las diversas propiedades combinatorias de los cumulantes.[3]
Véase también
[editar]- Composición umbral de series polinómicas
- Cálculo de diferencias finitas
- Polinomios de Pidduck
- Cálculo simbólico en teoría invariante
Referencias
[editar]- ↑ E. T. Bell, "The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life", The American Mathematical Monthly 45:7 (1938), pp. 414–421.
- ↑ Rota, G. C.; Kahaner, D.; Odlyzko, A. (1973). «On the foundations of combinatorial theory. VIII. Finite operator calculus». Journal of Mathematical Analysis and Applications 42 (3): 684. doi:10.1016/0022-247X(73)90172-8.
- ↑ G.-C. Rota and J. Shen, "On the Combinatorics of Cumulants", Journal of Combinatorial Theory, Series A, 91:283–304, 2000.
Bibliografía
[editar]- Bell, E. T. (1938), «The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life», The American Mathematical Monthly (Mathematical Association of America) 45 (7): 414-421, ISSN 0002-9890, JSTOR 2304144.
- Blissard, John (1861), «Theory of generic equations», The quarterly journal of pure and applied mathematics 4: 279-305.
- Roman, Steven M.; Rota, Gian-Carlo (1978), «The umbral calculus», Advances in Mathematics 27 (2): 95-188, ISSN 0001-8708, MR 0485417, doi:10.1016/0001-8708(78)90087-7.
- G.-C. Rota, D. Kahaner, and A. Odlyzko, "Finite Operator Calculus," Journal of Mathematical Analysis and its Applications, vol. 42, no. 3, June 1973. Reprinted in the book with the same title, Academic Press, New York, 1975.
- Roman, Steven (1984), The umbral calculus, Pure and Applied Mathematics 111, London: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], ISBN 978-0-12-594380-2, MR 741185.. Reprinted by Dover, 2005.
- Plantilla:Eom
Enlaces externos
[editar]- Weisstein, Eric W. «Umbral Calculus». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
- A. Di Bucchianico, D. Loeb (2000). «A Selected Survey of Umbral Calculus». Electronic Journal of Combinatorics. Dynamic Surveys. DS3. Archivado desde el original el 24 de febrero de 2012.
- Roman, S. (1982), La Teoría del Cálculo Umbral, I
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.