Über eine erzeugende Funktion von Produkten Hermitescher Polynome. (Q2599070)

Ausdehnung der Mehlerschen Formel \[ \sum _{n=0}^\infty \frac {t^n}{n!}H_n(x)\,H_n(y) = \frac {1}{\sqrt {1-t^2}}\, \text{exp}\,\Bigl\{ \frac {t}{2(1-t^2)}\,\bigl(\,2xy-t(x^2+y^2)\bigr)\Bigr\} \] auf die durch \[ \sum \frac {h_1^{m_1}\cdots h_n^{m_n}}{m_1!\cdots m_n!}H_{m_1,\ldots,m_n}\, (x_1,\ldots,x_n) = \text{exp}\, \Bigl(h_1\xi _1+\cdots +h_n\xi _n -\frac {1}{2}\,\varphi (h,h)\Bigr) \] erklärten Hermiteschen Polynome von \(n\) Veränderlichen. Dabei ist \(\varphi (h,h)\Bigr)\) eine positiv definite quadratische Form und \(\xi _i=\dfrac {1}{2}\,\dfrac {\partial\varphi (x,x)}{\partial x_i}\). Der Beweis fußt im wesentlichen auf einer Formel, die gestattet, aus zwei durch ihre Potenzreihen \(\sum a_n\,z^n\) und \(\sum b_n\,z^n\) gegebenen ganzen Funktionen \(f(z)\) bzw. \(g(z)\) die Funktion mit der Entwicklung \(\sum a_n\,b_n\,p_n\,z^n\) zu bilden, wobei die \(p_n\) vorgegebene Zahlen sind. Man erhält dadurch zugleich einen einfachen neuen Beweis der Mehlerschen Formel.