Über ein Problem von Laplace. (Q1462507)

Ein bekanntes Laplacesches Problem über die Urnen (S. Laplace, Théorie analyt. des prob., Livre 2, chap. III, No. 17; A. Markov, Petrograd, Bull. Ac. Sc. (6) 9, 87-104, 1915) führt zu der partiellen Differentialgleichung \[ \frac{\partial U}{\partial\varrho}=2U+2\mu\frac{\partial U}{\partial\mu}+ \frac{\partial^2U}{\partial\mu^2}. \tag{1} \] Mittels der Methode der Eigenfunktionen beweist der Verf. folgenden Satz: es existiert eine und nur eine Funktion \(U\), die der Gleichung (1) für die reellen Werte von \(\mu\) und die positiven Werte von \(\varrho\) genügt, die mit ihrer Ableitung \(\dfrac{\partial U}{\partial\mu}\) für unendlich werdendes \(\mu\) verschwindet, die Integrale \[ \int\limits_{-\infty}^{+\infty} U^2d\mu,\quad \int\limits_{-\infty}^{+\infty} \left(\frac{\partial U}{\partial\mu}\right)^2 d\mu \] besitzt und sich für \(\varrho=0\) auf eine gegebene Funktion \(f(\mu)\) reduziert. Dabei ist die Funktion \(f(\mu)\) der Bedingung unterworfen, daß die Integrale \[ \int\limits_{-\infty}^{+\infty} e^{-\mu^2}F^2(\mu)d\mu,\quad \int\limits_{-\infty}^{+\infty} e^{-\mu^2}F^{\prime 2}(\mu)du, \] wo \(F(\mu)=e^{\mu^2}f(\mu)\), einen endlichen Wert besitzen. Diese einzige Lösung der Gleichung (1) kann auf die Form \[ U=e^{-\mu^2}\sum_{k=0}^\infty A_ke^{-2k\varrho}\varphi_k(\mu)\qquad \left(A_k=\int\limits_{-\infty}^{+\infty}f(\mu)\varphi_k(\mu)d\mu\right) \] gebracht werden, wo \(\varphi_k(\mu)\) die normierten Laplace-Tschebyscheff-Hermiteschen Polynome sind, die der Gleichung \[ \varphi_k^{\prime\prime}(\mu)-2\mu\varphi_k'(\mu)+2k\varphi_k(\mu)=0 \] genügen.