Über gleichwahrscheinliche Aufteilungen. (Q2577995)

Die \(n\) voneinander unabhängigen natürlichen Zahlen \(x_1, x_2,\dots, x_n\) mögen der Gleichung \(x_1 + x_2 + \cdots + x_n = s\) mit festem \(s\) genügen. Für die Summanden \(x_\nu\) gilt jede der Zahlen \(0, 1, 2,\dots, s\) als gleichwahrscheinlich. Es handelt sich also \textit{nicht} um eine statistische Aufteilung, bei welcher die einzelnen Lösungen der diophantischen Gleichung nicht gleichwahrscheinlich sind, sondern die Gewichte \[ \left( \frac 1n\right)^s \frac {s!}{x_1!x_2!\dots x_n!} \] erhalten. Verf. stellt folgende Fragen: 1) Wie groß ist die Wahrscheinlichkeit \(X_n (\xi)\) daß \(\dfrac {x_\nu}s\leqq \xi\) ausfällt für alle \(\nu = 1,2,\dots n\)? 2) Wie groß ist der Erwartungswert \(\theta_n\) für \(\dfrac {x_0}{s}\), wo \(x_0\) die größte der Zahlen \(x_\nu\) (\(\nu = 1,2,\dots, n\)) bezeichnet? Die Antwort zu 1) lautet \[ X_n (\xi ) = 2(n -1)! \xi^{n-1}\varPhi_n \left(\frac 2\xi - n \right) \] mit \[ \varPhi_n (x) =\frac 1{2\pi}\int\limits_{-\infty}^\infty \left(\frac {\sin\, t}{t} \right)^n \cos \, (xt)\, dt = \frac 1{2^n (n-1)!} \sum_{\lambda = 0}^{\left[\tfrac {n+x}2 \right]} (-1)^\lambda \binom n\lambda (n+x - 2\lambda)^{n-1}. \] Für den gesuchten Erwartungswert findet Verf. \[ \theta_n = \frac 1n \left( 1 + \frac 12 + \frac 13 + \cdots + \frac 1n\right), \] einen Ausdruck, der eigenartigerweise auch unter anderen Voraussetzungen bei einem Iterationsproblem auftritt.