Quelques nouvelles relations pour les polynomes d'Hermite. (Q2596464)

Beweis der Formel \[ H_m(x)H_n(x) = 2^nn!\sum_{r=0}^n \binom m{n-r} \frac{H_{m-n-2r}(x)}{2^rr!}\qquad (m\geqq n) \] durch direkte Berechnung der in dem Ansatz \[ H_m (x) H_n (x) = \sum_r a_r^{(m,n)} H_{m-n-2r} (x) \] auftretenden Koeffizienten. Ferner neue Herleitungen der schon früher (Bull. Sci. math. 61 (1937), 10-18; F. d. M. \(63_{\text{I}}\), 400) mitgeteilten Transformationsgleichung \[ \int\limits_{-\infty}^{+\infty} e^{-\frac{x^2}2} H_n(x + it)\,dx = i^n\sqrt{2\pi} H_n(t). \] Es ist \(H_n(x)=(-1)^ne^{x^2} \dfrac{d^n}{dx^n} (e^{-x^2})\).