Die Erneuerungstheorie ist ein Teilgebiet der Wahrscheinlichkeitstheorie , das den Poisson-Prozess für beliebige Haltezeiten verallgemeinert . Anstelle von exponentialverteilten Haltezeiten kann ein Erneuerungsprozess beliebige unabhängige und identisch verteilte (IID) Haltezeiten mit endlichem Erwartungswert aufweisen. Ein Erneuerungs-Belohnungsprozess beinhaltet zusätzlich eine zufällige Folge von Belohnungen, die bei jeder Haltezeit anfallen. Diese Belohnungen sind IID, müssen aber nicht unabhängig von den Haltezeiten sein.
Ein Erneuerungsprozess besitzt asymptotische Eigenschaften, die dem starken Gesetz der großen Zahlen und dem zentralen Grenzwertsatz analog sind . Die Erneuerungsfunktion (erwartete Anzahl der Ankünfte) und die Belohnungsfunktion (erwarteter Belohnungswert) sind von zentraler Bedeutung in der Erneuerungstheorie. Die Erneuerungsfunktion erfüllt eine rekursive Integralgleichung, die Erneuerungsgleichung. Diese zentrale Erneuerungsgleichung liefert den Grenzwert der Faltung der Erneuerungsfunktion mit einer geeigneten nichtnegativen Funktion. Die Superposition von Erneuerungsprozessen kann als Spezialfall von Markov-Erneuerungsprozessen untersucht werden .
Anwendungsgebiete umfassen die Berechnung der optimalen Strategie für den Austausch verschlissener Maschinen in einer Fabrik, den Vergleich der langfristigen Vorteile verschiedener Versicherungspolicen und die Modellierung der Übertragung von Infektionskrankheiten, wobei „eines der am weitesten verbreiteten Mittel zur Bestimmung der Reproduktionszahl die Verwendung der Erneuerungsgleichung ist“ [ 1 ] . Das Inspektionsparadoxon bezieht sich auf die Tatsache, dass die Beobachtung eines Erneuerungsintervalls zum Zeitpunkt t ein Intervall mit einem Mittelwert ergibt, der größer ist als der eines durchschnittlichen Erneuerungsintervalls.
Erneuerungsprozesse
Einführung
Der Erneuerungsprozess ist eine Verallgemeinerung des Poisson-Prozesses . Im Wesentlichen handelt es sich beim Poisson-Prozess um einen kontinuierlichen Markov-Prozess auf den positiven ganzen Zahlen (der üblicherweise bei Null beginnt), bei dem die Haltezeiten an jeder Zahl unabhängig und exponentialverteilt sind , bevor zum nächsten Wert übergegangen wird . Bei einem Erneuerungsprozess müssen die Haltezeiten nicht exponentialverteilt sein; sie können vielmehr jede beliebige Verteilung auf den positiven Zahlen aufweisen, solange sie unabhängig und identisch verteilt ( iid ) sind und einen endlichen Mittelwert besitzen.
Formale Definition

Sei eine Folge positiver, unabhängiger und identisch verteilter Zufallsvariablen mit endlichem Erwartungswert.
Wir bezeichnen die Zufallsvariable als die " -te Haltezeit".
Definiere für jedes n > 0:
Jeder dieser Zeitpunkte wird als „ -te Sprungzeit“ bezeichnet, und die Intervalle werden als „Erneuerungsintervalle“ bezeichnet.
Dann wird es durch eine Zufallsvariable gegeben.
Wo befindet sich die Indikatorfunktion?
stellt die Anzahl der Sprünge dar, die bis zum Zeitpunkt t stattgefunden haben , und wird als Erneuerungsprozess bezeichnet.
Interpretation
Betrachtet man Ereignisse, die zu zufälligen Zeitpunkten auftreten, kann man die Haltezeiten als die zufällige Zeitspanne zwischen zwei aufeinanderfolgenden Ereignissen interpretieren. Modelliert der Erneuerungsprozess beispielsweise die Anzahl der Ausfälle verschiedener Maschinen, so entspricht die Haltezeit der Zeitspanne zwischen dem Ausfall einer Maschine und dem Ausfall einer weiteren.
Der Poisson-Prozess ist der einzige Erneuerungsprozess mit der Markov-Eigenschaft [ 2 ] , da die Exponentialverteilung die einzige stetige Zufallsvariable mit der Eigenschaft der Gedächtnislosigkeit ist.
Erneuerungs- und Belohnungsprozesse

Sei eine Folge von unabhängig und identisch verteilten Zufallsvariablen ( Rewards ), die folgende Bedingung erfüllen:
Dann die Zufallsvariable
wird als Erneuerungs- und Belohnungsprozess bezeichnet . Beachten Sie, dass im Gegensatz zu den anderen Variablen jede Variable sowohl positive als auch negative Werte annehmen kann.
Die Zufallsvariable hängt von zwei Folgen ab: den Haltezeiten und den Belohnungen. Diese beiden Folgen müssen nicht unabhängig sein. Insbesondere kann sie eine Funktion von sein .
Interpretation
Im Kontext der obigen Interpretation der Haltezeiten als die Zeit zwischen aufeinanderfolgenden Fehlfunktionen einer Maschine können die "Belohnungen" (die in diesem Fall zufällig negativ sind) als die aufeinanderfolgenden Reparaturkosten betrachtet werden, die aufgrund der aufeinanderfolgenden Fehlfunktionen entstehen.
Eine alternative Analogie wäre die einer magischen Gans, die in regelmäßigen Abständen (Haltezeiten) Eier legt, die wie folgt verteilt sind : Manchmal legt sie goldene Eier mit zufälligem Gewicht, manchmal giftige Eier (ebenfalls mit zufälligem Gewicht), die eine verantwortungsvolle (und kostspielige) Entsorgung erfordern. Die „Belohnungen“ sind die aufeinanderfolgenden (zufälligen) finanziellen Verluste/Gewinne, die sich aus den aufeinanderfolgenden Eiern ( i = 1, 2, 3, ...) ergeben, und die gesamte finanzielle „Belohnung“ zum Zeitpunkt t wird erfasst .
Erneuerungsfunktion
Wir definieren die Erneuerungsfunktion als den Erwartungswert der Anzahl der bis zu einem bestimmten Zeitpunkt beobachteten Sprünge :
Elementarer Erneuerungssatz
Die Erneuerungsfunktion erfüllt
Nachweisen Das starke Gesetz der großen Zahlen für Erneuerungsprozesse impliziert Zum Beweis des elementaren Erneuerungssatzes genügt es zu zeigen, dass gleichmäßig integrierbar ist.
Dazu betrachten wir einen verkürzten Erneuerungsprozess, dessen Haltezeiten durch definiert sind, wobei ein Punkt ist, sodass gilt, was für alle nichtdeterministischen Erneuerungsprozesse existiert. Dieser neue Erneuerungsprozess ist eine obere Schranke für und seine Erneuerungen können nur auf dem Verband auftreten . Darüber hinaus ist die Anzahl der Erneuerungen zu jedem Zeitpunkt geometrisch mit dem Parameter . Somit gilt:
Elementarer Erneuerungssatz für Erneuerungsbelohnungsprozesse
Wir definieren die Belohnungsfunktion :
Die Belohnungsfunktion erfüllt
Erneuerungsgleichung
Die Erneuerungsfunktion erfüllt
wobei die kumulative Verteilungsfunktion von und die entsprechende Wahrscheinlichkeitsdichtefunktion ist.
Beweis [ 3 ] Wir können die Erwartung hinsichtlich der ersten Haltezeit wiederholen: Aus der Definition des Erneuerungsprozesses ergibt sich Folgendes:
Also
wie erforderlich.
Schlüsselerneuerungssatz
Sei X ein Erneuerungsprozess mit Erneuerungsfunktion und Zwischenerneuerungsmittelwert . Sei eine Funktion, die Folgendes erfüllt:
- g ist monoton und nicht steigend.
Der zentrale Erneuerungssatz besagt, dass, wie folgt : [ 4 ]
Erneuerungssatz
Betrachtet man für jedes , so ergibt sich als Spezialfall der Erneuerungssatz: [ 5 ].
- als
Das Ergebnis lässt sich mithilfe von Integralgleichungen oder durch ein Kopplungsargument beweisen . [ 6 ] Obwohl es sich um einen Spezialfall des zentralen Erneuerungssatzes handelt, kann es zur Herleitung des vollständigen Satzes verwendet werden, indem man Stufenfunktionen und anschließend aufsteigende Folgen von Stufenfunktionen betrachtet. [ 4 ]
Asymptotische Eigenschaften
Erneuerungsprozesse und Erneuerungs-Belohnungsprozesse besitzen Eigenschaften, die dem starken Gesetz der großen Zahlen analog sind und sich aus demselben Theorem ableiten lassen. Wenn ein Erneuerungsprozess und ein Erneuerungs-Belohnungsprozess ist, dann gilt:
Mit ziemlicher Sicherheit.
Nachweisen Betrachten wir zunächst Folgendes . Per Definition gilt: für alle und so
für alle t ≥ 0.
Da wir nun Folgendes haben:
mit nahezu absoluter Sicherheit (mit Wahrscheinlichkeit 1). Daher:
mit ziemlicher Sicherheit (unter Anwendung des starken Gesetzes der großen Zahlen); analog dazu:
Mit ziemlicher Sicherheit.
Daher (da es zwischen den beiden Termen eingeschlossen ist)
Mit ziemlicher Sicherheit. [ 4 ]
Als Nächstes betrachten wir Folgendes : Wir haben
fast sicher (unter Verwendung des ersten Ergebnisses und des Gesetzes der großen Zahlen auf ).
Erneuerungsprozesse besitzen darüber hinaus eine Eigenschaft, die dem zentralen Grenzwertsatz analog ist : [ 7 ].
Inspektionsparadoxon

Eine interessante Eigenschaft von Erneuerungsprozessen ist, dass, wenn wir eine vorbestimmte Zeit t abwarten und dann beobachten, wie groß das Erneuerungsintervall ist, das t enthält , wir erwarten sollten, dass es typischerweise größer ist als ein Erneuerungsintervall durchschnittlicher Größe.
Mathematisch ausgedrückt besagt das Inspektionsparadoxon : Für jedes t > 0 ist das Erneuerungsintervall, das t enthält, stochastisch größer als das erste Erneuerungsintervall. Das heißt, für alle x > 0 und für alle t > 0:
Dabei ist F <sub>S</sub> die kumulative Verteilungsfunktion der unabhängig und identisch verteilten Wartezeiten S<sub> i</sub> . Ein anschauliches Beispiel ist das Wartezeitparadoxon bei Bussen : Bei einer gegebenen Zufallsverteilung der Busankünfte beobachtet der durchschnittliche Fahrgast an einer Bushaltestelle mehr Verspätungen als der durchschnittliche Busfahrer.
Die Lösung des Paradoxons besteht darin, dass unsere Stichprobenverteilung zum Zeitpunkt t eine Größenverzerrung aufweist (siehe Stichprobenverzerrung ), da die Wahrscheinlichkeit, dass ein Intervall ausgewählt wird, proportional zu seiner Größe ist. Ein Erneuerungsintervall von durchschnittlicher Größe weist jedoch keine Größenverzerrung auf.
Nachweisen Man beachte, dass der letzte Sprungzeitpunkt vor t ist ; und dass das Erneuerungsintervall, das t enthält, ist . Dann da sowohl als auch für alle Werte von s größer oder gleich sind .
Superposition
Sofern es sich bei dem Erneuerungsprozess nicht um einen Poisson-Prozess handelt, ist die Superposition (Summe) zweier unabhängiger Erneuerungsprozesse kein Erneuerungsprozess. [ 8 ] Solche Prozesse lassen sich jedoch in einer größeren Klasse von Prozessen, den sogenannten Markov-Erneuerungsprozessen , beschreiben . [ 9 ] Die kumulative Verteilungsfunktion der ersten Zwischenereigniszeit im Superpositionsprozess ist gegeben durch [ 10 ].
wobei R k ( t ) und α k > 0 die kumulative Verteilungsfunktion der Zwischenereigniszeiten bzw. die Ankunftsrate des Prozesses k sind . [ 11 ]
Beispielanwendung
Der Unternehmer Eric besitzt n Maschinen, deren Betriebsdauer jeweils gleichmäßig zwischen null und zwei Jahren verteilt ist. Eric kann jede Maschine bis zum Ausfall betreiben lassen, wobei die Ersatzkosten 2600 € betragen; alternativ kann er eine Maschine jederzeit, solange sie noch funktionsfähig ist, für 200 € ersetzen.
Was ist seine optimale Ersatzstrategie?
Lösung Die Lebensdauer der n Maschinen lässt sich als n unabhängige, parallele Erneuerungs- und Belohnungsprozesse modellieren , daher genügt es, den Fall n = 1 zu betrachten . Dieser Prozess wird mit bezeichnet . Die aufeinanderfolgenden Lebensdauern S der Ersatzmaschinen sind unabhängig und identisch verteilt, sodass die optimale Strategie für alle Ersatzmaschinen im Prozess dieselbe ist. Wenn Eric zu Beginn der Lebensdauer einer Maschine beschließt, diese zum Zeitpunkt 0 < t < 2 zu ersetzen , die Maschine aber vorher ausfällt, ist die Lebensdauer S der Maschine gleichverteilt auf [0, t ] und hat somit den Erwartungswert 0,5t . Die erwartete Gesamtlebensdauer der Maschine beträgt daher:
und die erwarteten Kosten W pro Maschine betragen:
Nach dem starken Gesetz der großen Zahlen betragen seine langfristigen durchschnittlichen Kosten pro Zeiteinheit also:
dann Ableiten nach t :
Dies impliziert, dass die Wendepunkte folgende Bedingung erfüllen:
und somit
Wir betrachten die einzige Lösung t im Intervall [0, 2]: t = 2/3. Dies ist tatsächlich ein Minimum (und kein Maximum), da die Kosten pro Zeiteinheit gegen unendlich streben, wenn t gegen null strebt. Das bedeutet, dass die Kosten mit zunehmendem t sinken , bis zu dem Punkt 2/3, an dem sie wieder ansteigen.
Siehe auch
Anmerkungen
- ^ Green, William D.; Ferguson, Neil M.; Cori, Anne (2022). „Bestimmung der Reproduktionszahl mithilfe der Erneuerungsgleichung bei heterogenen Epidemien“ . Journal of the Royal Society Interface . 19 (188) 20210429. doi : 10.1098/rsif.2021.0429 . PMC 8965414. PMID 35350879 .
- ^ Grimmett & Stirzaker (1992) , S. 393.
- ^ Grimmett & Stirzaker (1992) , S. 390.
- ^ a b c Grimmett & Stirzaker (1992) , S. 395.
- ^ Feller (1971) , S. 347–351.
- ^ Grimmett & Stirzaker (1992) , S. 394–5.
- ^ a b Grimmett & Stirzaker (1992) , S. 394.
- ^ Grimmett & Stirzaker (1992) , S. 405.
- ^ Çinlar, Erhan (1969). „Markov-Erneuerungstheorie“. Advances in Applied Probability . 1 (2). Applied Probability Trust: 123–187 . doi : 10.2307/1426216 . JSTOR 1426216 .
- ^ Lawrence, AJ (1973). „Abhängigkeit von Intervallen zwischen Ereignissen in Superpositionsprozessen“. Journal of the Royal Statistical Society. Series B (Methodological) . 35 (2): 306–315 . doi : 10.1111/j.2517-6161.1973.tb00960.x . JSTOR 2984914 . Formel 4.1
- ^ Choungmo Fofack, Nicaise; Nain, Philippe; Neglia, Giovanni; Towsley, Don (6. März 2012). Analyse von TTL-basierten Cache-Netzwerken . Proceedings der 6. Internationalen Konferenz über Methoden und Werkzeuge zur Leistungsbewertung (Bericht) . Abgerufen am 15. November 2012 .
Referenzen
- Cox, David (1970). Erneuerungstheorie . London: Methuen & Co. S. 142. ISBN 0-412-20570-XDie
- Doob, JL (1948). „Erneuerungstheorie aus der Sicht der Wahrscheinlichkeitstheorie“ (PDF) . Transactions of the American Mathematical Society . 63 (3): 422–438 . doi : 10.2307/1990567 . JSTOR 1990567 .
- Feller, William (1971). Einführung in die Wahrscheinlichkeitstheorie und ihre Anwendungen . Band 2 (zweite Auflage). Wiley.
- Grimmett, G. R .; Stirzaker, D. R. (1992). Wahrscheinlichkeitstheorie und Zufallsprozesse (2. Aufl.). Oxford University Press. ISBN 0-19-857222-0Die
- Smith, Walter L. (1958). „Erneuerungstheorie und ihre Auswirkungen“. Journal of the Royal Statistical Society, Series B. 20 ( 2): 243–302 . doi : 10.1111/j.2517-6161.1958.tb00294.x . JSTOR 2983891 .
- Wanli Wang, Johannes HP Schulz, Weihua Deng und Eli Barkai (2018). „Erneuerungstheorie mit Verweilzeiten mit dicken Rändern: Typisch versus selten“. Phys. Rev. E 98 ( 4) 042139. arXiv : 1809.05856 . Bibcode : 2018PhRvE..98d2139W . doi : 10.1103/PhysRevE.98.042139 . S2CID 54727926 .
{{cite journal}}: CS1 maint: multiple names: authors list (link)