On the renewal problem (Q2578112)

In einer Gesamtheit von Elementen, die einer diskontinuierlichen bzw. konti\-nuierlichen Ausscheideordnung unterliegen, sei \(p_n\) bzw. \(p (t)\, dt\) die Wahrscheinlichkeit, daß ein Element \(n\) bzw. \(t\) Zeiteinheiten nach Eintritt in die Gesamtheit ausscheidet (Ausscheidefunktion). Im Zeitpunkt Null soll sich die Gesamtheit aus lauter neuen Elementen zusammensetzen. Ist dann \(\varphi_n\) bzw. \(\varphi(t)\,dt\) die Wahrscheinlichkeit, daß bei konstant gehaltenem Bestand im Zeitpunkt \(n\) bzw. \(t\) ein Element ausscheidet, also erneuert werden muß (Erneuerungsfunktion), so gilt bekanntlich \[ \varphi_n-p_n={\sum\limits_{\nu=1}^{n-1}}p_{n-\nu}\varphi_\nu,\quad \varphi_1=p_1 \] bzw. \[ \varphi(t)-p(t)={\int\limits_{0}^{t}}p(t - \tau)\varphi(\tau)\,d\tau. \] Es sei \[ \mu_k={\sum\limits_{\nu=1}^{\infty}}\nu^kp_\nu\text{\;\;bzw.\;\;} \mu_k={\int\limits_{0}^{\infty}}t^kp(t)\,dt\qquad (k = 0,1,2). \] Verf. beweist: \textit{Satz} 1. Existiert \(\mu_1\) und ist \(\mu_0 = 1\), \(p_n\geqq0\), dann gilt \[ {\lim\limits_{n\to\infty}}\frac1n{\sum\limits_{\nu=1}^{n}} \varphi_\nu=\frac1{\mu_1}. \] \textit{Satz} 2. Existiert \(\mu_1\) und ist \(\mu_0 = 1\), \(p (t)\geqq0\) in \((0,\infty)\) und in jedem endlichen Intervall beschränkt, dann gilt \[ {\lim\limits_{t\to\infty}}\frac1t{\int\limits_{0}^{t}} \varphi(\tau)\,d\tau=\frac1{\mu_1}. \] Die Voraussetzungen dieser Sätze genügen nicht für die Konvergenz der Er\-neuerungsfunktion; Verf. zeigt jedoch: \textit{Satz} 3. Ist \(p (t)\geqq0\) und von beschränkter Variation in \((0,\infty)\) und existiert \(\mu_2\) (\(\mu_0= 1\)), dann gilt \[ {\lim\limits_{t\to\infty}}\varphi(t)=\frac1{\mu_1}. \] \textit{Satz} 4. Sind die \(n\), für welche \(p_n > 0\) ist, teilerfremd und existiert \(\mu_2\) (\(\mu_0 = 1\)), so gilt \[ {\lim\limits_{n\to\infty}}\varphi_n=\frac1{\mu_1}. \] Die Sätze für den diskontinuierlichen Fall hatte \textit{H. Hadwiger} [Mitt. Verein. Schweiz. Vers.-Math. 35, 93--109 (1938; JFM 64.0560.02)] -- allerdings z. T. in präziserer Form -- unter weitergehenden Voraussetzungen bewiesen.