Umbral-Kalkül

Der Umbral-Kalkül oder umbrale Kalkül (engl. umbral calculus, ferner lat. umbra, „der Schatten“) ist ein Teilbereich der Kombinatorik, der aus der Beobachtung der formalen Ähnlichkeit bei der Ableitung polynomialer Identitäten entstand, bei denen Indizes wie Exponenten behandelt wurden. Da man dafür lange keine Erklärung fand, wurde die Bezeichnung Schatten-Kalkül (Umbral-Kalkül) benutzt.

Die Techniken gehen bis in das 19. Jahrhundert zurück, insbesondere auf John Blissard (1861), nach dem von Blissards symbolischer Methode gesprochen wurde,[1] sie wurden aber auch unter anderem von Édouard Lucas (der sie symbolische Methode nannte)[2] und James Joseph Sylvester benutzt. Von Sylvester stammt auch die Benennung umbral. Eric Temple Bell[3] versuchte in den 1930er Jahren den Methoden (mit wenig Erfolg bei der Durchsetzung) eine strenge Grundlage zu geben, das gelang erst Gian-Carlo Rota und Steven Roman in den 1970er Jahren. Sie wurden aber zuvor schon zum Beispiel von John Riordan in der Kombinatorik weiter verwendet.[4]

Beispiele

Ein Beispiel sind die Bernoulli-Polynome, für die gilt:

B_{n}(y+x)=\sum _{k=0}^{n}{n \choose k}B_{n-k}(y)x^{k}.

Das hat eine bemerkenswerte Ähnlichkeit mit der Binomialentwicklung:

(y+x)^{n}=\sum _{k=0}^{n}{n \choose k}y^{n-k}x^{k}

wenn man Indizes und Exponenten vertauscht.

Ähnlich gilt für die Ableitung:

{\frac {d}{dx}}B_{n}(x)=nB_{n-1}(x).

eine Ähnlichkeit zur Ableitung von Potenzen:

{\frac {d}{dx}}x^{n}=nx^{n-1}

falls man auch hier wieder Indizes und Exponenten vertauscht.

Daraus entstanden umbrale Beweise, die man zwar nicht streng begründen kann, die aber dennoch funktionieren. Setzt man zum Beispiel in der oben angegebenen Formel für die Bernoullipolynome den Index formal als Exponent ein:

B_{n}(x)=\sum _{k=0}^{n}{n \choose k}b^{n-k}x^{k}=(b+x)^{n},

und differenziert, erhält man das korrekte Resultat:

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

Die Variable b ist dabei ein Schatten (umbra).

Ein weiteres Beispiel ist Newtons Formel der Differenzenrechnung:

f(x+a)=\sum _{k=0}^{\infty }{\frac {\Delta ^{k}[f](x)}{k!}}(a)_{k}

mit

(a)_{k}=a(a-1)(a-2)\cdots (a-k+1)

der fallenden Faktorielle (Pochhammer-Symbol).

Ersetzt man die Differenzen durch Ableitungen und $(a)_{k}$ durch $a^{k}$ erhält man die Taylorreihe:

f(x+a)=\sum _{k=0}^{\infty }{\frac {D^{k}[f](x)}{k!}}a^{k}

Ebenso gibt es eine formale Ähnlichkeit zwischen der Binomialformel:

(x+a)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}x^{n-k}a^{k}

und der Formel von Vandermonde und Chu für fallende Faktorielle:

{(x+a)}_{n}=\sum _{k=0}^{n}{\binom {n}{k}}{(x)}_{n-k}{(a)}_{k}

Auch hier werden formal Indizes durch Exponenten ersetzt.

Theorie von Rota und Roman

Nach Rota finden die Ähnlichkeiten eine Erklärung, wenn man lineare Funktionale L auf Polynomen betrachtet.

Angewandt auf Bernoullipolynome definiert man zunächst:

L(z^{n})=B_{n}(0)=B_{n}.

und hat für die Bernoullipolynome

{\begin{aligned}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{aligned}}

womit man $B_{n}(x)$ durch $L((z+x)^{n})$ ersetzen kann. Indizes sind nun in Form von Exponenten, der wesentliche Schritt im Umbralkalkül. Damit kann man zum Beispiel zeigen:

{\begin{aligned}\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{aligned}}

Rota nutzte den Umbralkalkül 1964, um Rekursionsformeln für die Bellschen Zahlen abzuleiten.[5] Mit J. Shen wandte er den Umbralkalkül auf das Studium der kombinatorischen Eigenschaften von Kumulanten.[6]

Der Umbralkalkül untersucht dabei nach Roman und Rota die Umbralalgebra der lineare Funktionale auf dem Raum der Polynome in einer Variablen $x$ . Das Produkt zweier Funktionale ist dabei wie folgt definiert:

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

Literatur

Steven Roman: The Umbral Calculus, Academic Press 1984, Dover 2005, online
Gian-Carlo Rota, Steven Roman: The umbral calculus, Advances in Mathematics, Band 27, 1978, S. 95–188
Gian-Carlo Rota: Finite Operator Calculus, Academic Press 1976

Weblinks

Eric Weisstein, Umbral calculus, mathworld
Roman, Umbral Calculus, Encyclopedia of Mathematics

Einzelnachweise

Eric Temple Bell, The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life, The American Mathematical Monthly, Band 45, Nr. 7, 1938, S. 414–421
Früher wurde die Methode auch Lucas zugeschrieben
Bell, Algebraic Arithmetic. American Mathematical Society, 1927, ISBN 0-8218-4601-9
Riordan, Combinatorial identities, Wiley 1968
Rota, The number of partitions of a set, American Mathematical Monthly, Band 71, 1964, S. 498–504
Rota, Shen, On the Combinatorics of Cumulants, Journal of Combinatorial Theory A, Band 91, 2000, S. 283–304

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Eric Temple Bell, The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life, The American Mathematical Monthly, Band 45, Nr. 7, 1938, S. 414–421

[2] Früher wurde die Methode auch Lucas zugeschrieben

[3] Bell, Algebraic Arithmetic. American Mathematical Society, 1927, ISBN 0-8218-4601-9

[4] Riordan, Combinatorial identities, Wiley 1968

[5] Rota, The number of partitions of a set, American Mathematical Monthly, Band 71, 1964, S. 498–504

[6] Rota, Shen, On the Combinatorics of Cumulants, Journal of Combinatorial Theory A, Band 91, 2000, S. 283–304