Umbral Calculus Website Links For
Calculus 		 

Information About

Umbral Calculus
  CATEGORIES ABOUT UMBRAL CALCULUS
   
combinatorics
   
polynomials
   
calculus
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



In the 1930s and 1940s, Eric Temple Bell attempted to set the umbral calculus on a rigorous footing, perhaps not altogether successfully.

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'' is understood primarily to mean the study of Sheffer Sequence s, including Polynomial Sequences Of Binomial Type and Appell Sequence s.


THE 19TH-CENTURY UMBRAL CALCULUS


That method is a notational device 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 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

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

and the remarkably similar-looking relation on the Bernoulli Polynomials :

:B_n(x+y)=\sum_{k=0}^n{n\choose k}B_{n-k}(x) y^k

Compare also the ordinary derivative

: rac{d}{dx} x^n = nx^{n-1}

to a very similar-looking relation on the Bernoulli polynomials:

: rac{d}{dx} B_n(x) = nB_{n-1}(x)

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'' − ''k'' is an exponent:

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

and then differentiating, one gets the desired result:

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

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


UMBRAL TAYLOR'S SERIES

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 \Delta^k {Link without Title} of a Polynomial function ''f'',

:f(x)=\sum_{k=0}^\infty rac{\Delta^k {Link without Title} (0)}{k!}(x)_k

where

:(x)_k=x(x-1)(x-2)\cdots(x-k+1)

is the Falling Factorial . A similar relationship holds for the backward differences and rising factorial.


BELL AND RIORDAN


In the 1930s and 1940s , Eric Temple Bell tried unsuccessfully to make this kind of argument logically rigorous. The Combinatorialist John Riordan in his book ''Combinatorial Identities'' published in the 1960s , used techniques of this sort extensively.


THE MODERN UMBRAL CALCULUS


Another combinatorialist, Gian-Carlo Rota, pointed out that the mystery vanishes if one considers the Linear Functional ''L'' on polynomials in ''y'' defined by

:L(y^n)= B_n(0)= B_n.\,

Then one can write

:B_n(x)=\sum_{k=0}^n{n\choose k}B_{n-k}x^k=\sum_{k=0}^n{n\choose k}L(y^{n-k})x^k=L\left(\sum_{k=0}^n{n\choose k}y^{n-k}x^k ight)=L((y+x)^n),

etc. 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 "=".

In a paper published in 1964, Rota used umbral methods to establish the Recursion formula satisfied by the Bell Numbers , which enumerate 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 of linear functionals on the Vector Space of polynomials in a variable ''x'', with a product ''L''1''L''2 of linear functionals defined by

:\langle L_1 L_2 \mid x^n angle = \sum_{k=0}^n {n \choose k}\langle L_1 \mid x^k angle \langle L_2 \mid x^{n-k} angle.

When Polynomial Sequence s replace sequences of numbers as images of ''y''''n'' 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. A small sample of that theory can be found in the article on Polynomial Sequences Of Binomial Type . Another is the article titled Sheffer Sequence .


REFERENCES


  • Steven Roman and Gian-Carlo Rota, ''"The Umbral Calculus"'', ''Advances in Mathematics'', volume 27, pages 95 - 188, (1978).

  • 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.

  • Steven Roman, ''The Umbral Calculus'', Dover Publications .