On the lower limit of sums of independent random variables (Q2647346): Difference between revisions

Als Gegenstück der von W. Feller neulich erreichten vollständigen Klärung des Satzes von iterierten Logarithmus, d. h. vom oberen Grenzwert der Summe \(S_n=\sum_{\nu=1}^n X_\nu\) unabhängiger Zufallsveränderlichen \(X_\nu\) für \(n \to \infty\), wird folgender Satz bewiesen: Im Falle einer Alternative mit Pr\((X_\nu =1)=p\) und \(\text{Pr }(X_\nu=0) = 1-p\), sowie bei \(\psi(n) \uparrow \infty\) und \(\sum[n\psi(n)]^{-1} = \infty\) ist \[ \text{Pr }[\varliminf (n^{1 \over 2}\psi(n)|S_n-np|) = 0] = 1. \] Der Satz ist der bestmögliche insofern, als bei \(\sum[n \psi(n)]^{-1} < \infty\) die fragliche Wahrscheinlichkeit für quadratisch irrationale (nach Angabe der Verff. sogar für fast alle ) \(p\) Null ist. In Verallgemeinerung auf unabhängige \(X_\nu\) mit bloß gemeinsamer Verteilungsfunktion, die einen nicht identisch verschwindenden absolut stetigen Teil, den Mittelwert Null, die Streuung Eins und ein endliches fünftes absolutes Moment besitzt, ergibt sich mit Hilfe einer asymptotischen Entwicklung von Cramér \(\text{Pr }\varliminf n^{1 \over 2} \psi(n)|S_n| = 0) = 1\) bzw. 0, je nachdem \(\sum[n \psi(n)]^{-1} = \text{ bzw.} <\infty.\)