Editing Umbral calculus

{{Use American English|date = March 2019}}
{{Short description|Historical term in mathematics}}
The term '''umbral calculus''' has two related but distinct meanings. 

In [[mathematics]], before the 1970s, umbral calculus referred to the surprising similarity between seemingly unrelated [[polynomial equation]]s and certain shadowy techniques used to prove them. These techniques were introduced in 1861 by [[John Blissard]] and are sometimes called '''Blissard's symbolic method'''.<ref>*{{cite journal | last1=Blissard | first1=John | title=Theory of generic equations | url=http://resolver.sub.uni-goettingen.de/purl?PPN600494829_0004 | year=1861 | journal=The Quarterly Journal of Pure and Applied Mathematics | volume=4 | pages=279–305}}</ref> They are often attributed to [[Édouard Lucas]] (or [[James Joseph Sylvester]]), who used the technique extensively.<ref>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.</ref> The use of shadowy techniques was put on a solid mathematical footing starting in the 1970s, and the resulting mathematical theory is also referred to as "umbral calculus".

== History ==
In the 1930s and 1940s, [[Eric Temple Bell]] attempted to set the umbral calculus on a rigorous footing, however his attempt in making this kind of argument logically rigorous was unsuccessful.

The [[combinatorics|combinatorialist]] [[John Riordan (mathematician)|John Riordan]] in his book ''Combinatorial Identities'' published in the 1960s, used techniques of this sort extensively.

In the 1970s, [[Steven Roman]], [[Gian-Carlo Rota]], and others developed the umbral calculus by means of [[linear functional]]s on spaces of polynomials. Currently, ''umbral calculus'' refers to the study of [[Sheffer sequence]]s, including polynomial sequences of [[binomial type]] and [[Appell sequence]]s, but may encompass systematic correspondence techniques of the [[calculus of finite differences]].

==19th-century umbral calculus==
The method is a notational procedure used for deriving identities involving indexed sequences of numbers by ''pretending that the indices are exponents''.  Construed literally, it is absurd, and yet it is successful: identities derived via the umbral calculus can also be properly derived by more complicated methods that can be taken literally without logical difficulty.

An example involves the [[Bernoulli polynomials]].  Consider, for example, the ordinary [[binomial expansion]] (which contains a [[binomial coefficient]]):

:<math>(y+x)^n=\sum_{k=0}^n{n\choose k}y^{n-k} x^k</math>

and the remarkably similar-looking relation on the [[Bernoulli polynomials]]:

:<math>B_n(y+x)=\sum_{k=0}^n{n\choose k}B_{n-k}(y) x^k.</math>

Compare also the ordinary derivative

:<math> \frac{d}{dx} x^n = nx^{n-1} </math>

to a very similar-looking relation on the Bernoulli polynomials: 
  
:<math> \frac{d}{dx} B_n(x) = nB_{n-1}(x).</math>

These similarities allow one to construct ''umbral'' proofs, which on the surface cannot be correct, but seem to work anyway. Thus, for example, by pretending that the subscript ''n''&nbsp;&minus;&nbsp;''k'' is an exponent:

:<math>B_n(x)=\sum_{k=0}^n {n\choose k}b^{n-k}x^k=(b+x)^n,</math>

and then differentiating, one gets the desired result:

:<math>B_n'(x)=n(b+x)^{n-1}=nB_{n-1}(x).</math>

In the above, the variable ''b'' is an "umbra" ([[Latin]] for ''shadow'').

See also [[Faulhaber's formula]].

==Umbral Taylor series==
In [[differential calculus]], the [[Taylor series]] of a function is an infinite sum of terms that are expressed in terms of the function's [[Derivative|derivatives]] at a single point. That is, a [[Real-valued function|real]] or [[complex-valued function]] ''f'' (''x'') that is [[Analytic function|analytic]] at <math>a</math> can be written as: 

<math>f(x)=\sum_{n=0} ^ {\infty} \frac {f^{(n)}(a)}{n!} (x-a)^{n}</math>

Similar relationships were also observed in the theory of [[finite differences]]. The umbral version of the Taylor series is given by a similar expression involving the ''k''-th [[forward difference]]s <math>\Delta^k [f]</math> of a [[polynomial]] function ''f'',

:<math>f(x)=\sum_{k=0}^\infty\frac{\Delta^k [f](a)}{k!}(x-a)_k</math>

where

:<math>(x-a)_k=(x-a)(x-a-1)(x-a-2)\cdots(x-a-k+1)</math>

is the [[Pochhammer symbol]] used here for the falling sequential product.  A similar relationship holds for the backward differences and rising factorial.

This series is also known as the [[Finite difference#Newton's_series|''Newton series'']] or '''Newton's forward difference expansion'''.
The analogy to Taylor's expansion is utilized in the [[calculus of finite differences]].

==Modern umbral calculus==

Another combinatorialist, [[Gian-Carlo Rota]], pointed out that the mystery vanishes if one considers the [[linear functional]] ''L'' on polynomials in ''z'' defined by

:<math>L(z^n)= B_n(0)= B_n.</math>

Then, using the definition of the Bernoulli polynomials and the definition and linearity of ''L'', one can write

:<math>\begin{align}
B_n(x) &= \sum_{k=0}^n{n\choose k}B_{n-k}x^k \\
       &= \sum_{k=0}^n{n\choose k}L\left(z^{n-k}\right)x^k \\
       &= L\left(\sum_{k=0}^n{n\choose k}z^{n-k}x^k\right) \\
       &= L\left((z+x)^n\right)
\end{align}</math>

This enables one to replace occurrences of <math>B_n(x)</math> by <math>L((z+x)^n)</math>, that is, move the ''n'' from a subscript to a superscript (the key operation of umbral calculus). For instance, we can now prove that:

:<math>\begin{align}
\sum_{k=0}^n{n\choose k}B_{n-k}(y) x^k 
&= \sum_{k=0}^n{n\choose k}L\left((z+y)^{n-k}\right) x^k \\
&= L\left(\sum_{k=0}^n {n\choose k} (z+y)^{n-k} x^k \right) \\
&= L\left((z+x+y)^n\right) \\
&= B_n(x+y).
\end{align}</math>

Rota later stated that much confusion resulted from the failure to distinguish between three [[equivalence relation]]s that occur frequently in this topic, all of which were denoted by "=". <!-- Details need to be added here. -->

In a paper published in 1964, Rota used umbral methods to establish the [[recursion]] formula satisfied by the [[Bell numbers]], which enumerate [[partition of a set|partitions]] of finite sets.

In the paper of Roman and Rota cited below, the umbral calculus is characterized as the study of the '''umbral algebra''', defined as the [[algebra over a field|algebra]] of linear functionals on the [[vector space]] of polynomials in a variable ''x'', with a product ''L''<sub>1</sub>''L''<sub>2</sub> of linear functionals defined by

:<math>\left \langle L_1 L_2 | x^n \right \rangle = \sum_{k=0}^n {n \choose k} \left \langle L_1 | x^k \right \rangle \left \langle L_2 | x^{n-k} \right \rangle.</math>

When [[polynomial sequence]]s replace sequences of numbers as images of ''y<sup>n</sup>'' under the linear mapping ''L'', then the umbral method is seen to be an essential component of Rota's general theory of special polynomials, and that theory is the '''umbral calculus''' by some more modern definitions of the term.<ref>{{Cite journal | last1 = Rota | first1 = G. C. | last2 = Kahaner | first2 = D. | last3 = Odlyzko | first3 = A. | doi = 10.1016/0022-247X(73)90172-8 | title = On the foundations of combinatorial theory. VIII. Finite operator calculus | journal = Journal of Mathematical Analysis and Applications | volume = 42 | issue = 3 | pages = 684 | year = 1973 | doi-access = free }}</ref> A small sample of that theory can be found in the article on [[binomial type|polynomial sequences of binomial type]].  Another is the article titled [[Sheffer sequence]].

Rota later applied umbral calculus extensively in his paper with Shen to study the various combinatorial properties of the [[cumulant]]s.<ref>G.-C. Rota and J. Shen, [http://www.sciencedirect.com/science/article/pii/S0097316599930170 "On the Combinatorics of Cumulants"], [[Journal of Combinatorial Theory|Journal of Combinatorial Theory, Series A]], 91:283–304, 2000.</ref>

==See also==
* [[Bernoulli umbra]]
*[[Binomial type#Umbral composition of polynomial sequences|Umbral composition of polynomial sequences]]
*Calculus of [[finite difference]]s
*[[Pidduck polynomials]]
*[[Symbolic method]] in invariant theory
*[[Narumi polynomials]]

==Notes==
<references />

==References==
*{{Citation | author-link=E. T. Bell | last1=Bell | first1=E. T. | title=The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life | jstor=2304144 | publisher=[[Mathematical Association of America]] | year=1938 | journal=[[American Mathematical Monthly|The American Mathematical Monthly]] | issn=0002-9890 | volume=45 | issue=7 | pages=414–421| doi=10.1080/00029890.1938.11990829 }}
*{{Citation | last1=Roman | first1=Steven M. | last2=Rota | first2=Gian-Carlo | author2-link=Gian-Carlo Rota | title=The umbral calculus | doi=10.1016/0001-8708(78)90087-7 | mr=0485417 | year=1978 | journal=[[Advances in Mathematics]] | issn=0001-8708 | volume=27 | issue=2 | pages=95–188| doi-access=free }}
* G.-C. Rota, D. Kahaner, and [[Andrew Odlyzko|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.
*{{Citation | last1=Roman | first1=Steven | title=The umbral calculus | url=https://books.google.com/books?id=JpHjkhFLfpgC | publisher=Academic Press Inc. [Harcourt Brace Jovanovich Publishers] | location=London | series=Pure and Applied Mathematics | isbn=978-0-12-594380-2 | mr=741185  | year=1984 | volume=111}}. Reprinted by Dover, 2005.
*{{eom|id=Umbral_calculus&oldid=36881|first=S. |last=Roman|title=Umbral calculus}}

==External links==
* {{MathWorld|urlname=UmbralCalculus|title=Umbral Calculus}}
* {{cite journal |author=A. Di Bucchianico, D. Loeb |title=A Selected Survey of Umbral Calculus |journal=[[Electronic Journal of Combinatorics]] |series=Dynamic Surveys |volume=DS3 |year=2000 |url=http://www1.combinatorics.org/Surveys/ds3.pdf |url-status=dead |archive-url=https://web.archive.org/web/20120224193628/http://www.combinatorics.org/Surveys/ds3.pdf |archive-date=2012-02-24 }}
* Roman, S. (1982), [http://www.romanpress.com/MathArticles/TheoryI.pdf The Theory of the Umbral Calculus, I]

{{DEFAULTSORT:Umbral Calculus}}
[[Category:Combinatorics]]
[[Category:Polynomials]]
[[Category:Finite differences]]