Zum Inhalt springen

Erneuerungsprozess

aus Wikipedia, der freien Enzyklopädie

Ein Erneuerungsprozess ist ein spezieller stochastischer Prozess, der in der Erneuerungstheorie untersucht wird. Er ist ein Zählprozess, dessen Zwischenankunftszeiten unabhängige, identisch verteilte, nichtnegative Zufallsvariablen sind.

Begriffsherkunft

Der Begriff Erneuerung hat seinen Ursprung in industriellen Anwendungen der Wahrscheinlichkeitsrechnung. Typischerweise besitzen Systemkomponenten (z. B. Maschinen, Werkzeuge, Beleuchtungskörper) Lebenszeiten, die den Charakter nichtnegativer Zufallsvariablen haben. Wenn solche Komponenten ausfallen, müssen sie durch gleichartige Komponenten ersetzt (erneuert) werden, um das Funktionieren des Systems zu gewährleisten.

Definitionen

<math>X_i, i=1,2,\dotsc</math> seien die Zwischenankunftszeiten, z. B. die Lebenszeiten von Komponenten. Diese Zufallsvariablen werden als unabhängig und identisch verteilt angenommen. Außerdem seien die <math>X_i</math> fast sicher positiv mit Erwartungswert <math>0 < E(X_i) < \infty</math>.

<math>(X_i)_{i \in \mathbb{N}}</math> wird als Erneuerungsfolge bezeichnet.

Ihre gemeinsame Verteilungsfunktion werde mit <math>F</math> bezeichnet, das heißt, es gilt <math>F(t)=P(X_i \le t)</math>. Falls die <math>X_i</math> eine Wahrscheinlichkeitsdichte besitzen, wird diese mit <math>f</math> bezeichnet.

Weiter sei <math>S_n</math> der Zeitpunkt der <math>n</math>-ten Erneuerung, das heißt

<math>S_n=\sum_{i=1}^n X_i,\qquad S_0\equiv 0.</math>

Die Verteilung von <math>S_n</math> werde mit <math>F_n</math> bezeichnet, d. h. <math>F_n(t) = P(S_n \le t) </math>.

Der Erneuerungsprozess <math>\{N(t), t\ge 0\}</math> ist nun der durch

<math>N(t) = \sup\{n\in \N_0|\,S_n\le t\}</math>

definierte stochastische Prozess, das heißt <math>N(t)</math> ist die Anzahl der Erneuerungen bis zum Zeitpunkt <math>t</math>.

Die Äquivalenz der Beschreibung über <math>N(t)</math> und <math>S_n</math> kommt in folgender grundlegenden Beziehung zum Ausdruck

<math>\{N(t) \ge n\}=\{S_n \le t\}</math>.

Beide Mengen enthalten genau diejenigen Elemente des zugrunde liegenden Wahrscheinlichkeitsraums, für die bis zum Zeitpunkt <math>t</math> mindestens <math>n</math> Erneuerungen stattgefunden haben.

Eigenschaften

<math>S_n</math> ist Summe identisch verteilter, unabhängiger Zufallsvariablen, daher ist <math>F_n</math> die <math>n</math>-fache Faltung der Verteilung <math>F</math> und wird rekursiv wie folgt berechnet

<math>F_n(t) = \int_{0}^{t} F_{n-1}(s) f(t-s) ds </math>,

wobei <math> f </math> die Wahrscheinlichkeitsdichte von oben ist.

Es gilt<ref>{{#invoke:Vorlage:Literatur|f}}{{#if: | {{#if: Vorlage:Cite book/ParamBool | Vorlage:Toter Link/archivebot | Vorlage:Webarchiv/archiv-bot }}

  }}{{#invoke:TemplatePar|check

|all = title= |opt = vauthors= author= author-link= authorlink= author1= author-link1= author1-link= first= last= first1= last1= first2= last2= author2= first3= last3= author3= first4= last4= author4= first5= last5= author5= first6= last6= author6= first7= last7= author7= first8= last8= author8= others= coauthors= script-title= trans-title= orig-date= orig-year= chapter= chapter-url= editor= editor-first= editor-last= editor-first1= editor-last1= editor-first2= editor-last2= editor-first3= editor-last3= editor-link= editor-link1= language= format= others= series= issue= number= edition= volume= publisher= location= date= year= isbn= page= at= pages= arxiv= doi= jstor= bibcode= pmc= pmid= lccn= oclc= id= url= url-status= access-date= accessdate= archive-url= archiveurl= archive-date= archivedate= quote= url-access= ref= coauthors= origyear= archivebot= offline= |cat = Wikipedia:Vorlagenfehler/Vorlage:Cite book |errNS = 0 |template = Vorlage:Cite book |format = |preview = 1

  }}Vorlage:Cite book/URLVorlage:Cite book/Meldung2{{#if: Vorlage:Cite book/ParamBool
    | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if:  Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:Grimmett|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref>
<math> P(N(t)=n) = P(S_n \leq t)-P(S_{n+1} \leq t) = F_n(t)-F_{n+1}(t) </math>

Mit obiger Notation sehen wir, dass folgende Integralgleichung erfüllt ist.

<math>

\begin{matrix} P(N(t)=n) &=& \int_{0}^{t} P(N(s)=n-1) f(t-s) ds \\ \end{matrix} </math>

Beweis

Wir gehen von <math> P(N(t)=n) = F_n(t)-F_{n+1}(t)</math> aus und ersetzen <math> F_n(t)=\int_{0}^{t} F_{n-1}(s) f(t-s) ds</math> und <math> F_{n-1}(t)=\int_{0}^{t} F_{n-2}(s) f(t-s) ds </math> ein und erhalten
<math> P(N(t)=n) = \int_{0}^{t} F_{n-1}(s) f(t-s) ds - \int_{0}^{t} F_{n-2}(s) f(t-s) ds</math>
Nach Zusammenfassen der Integrale und unter Beachtung von <math> F_{n-1}(s)-F_{n-2}(s)=P(N(s)=n-1) </math> folgt die Behauptung.

Die eben dargestellte Integralgleichung dient als Ausgangspunkt einer Theorie von Zählprozessen, deren Wartezeiten nicht exponentialverteilt sind.<ref>{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Journal of Business & Economic Statistics
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Winkelmann|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref><ref>{{#invoke:Vorlage:Literatur|f}}{{#if: 
       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Journal of Business & Economic Statistics
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:McShane|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref> Sie ist somit eine Basis für die Generalisierung der Theorie der Poissonprozesse.

Die mittlere Anzahl der Erneuerungen im Zeitintervall <math>(0,t)</math> heißt Erneuerungsfunktion und wird mit <math>m</math> bezeichnet. Es gilt

<math>

m(t)=E[N(t)] = \sum_{n=1}^\infty n\left[F_n(t)-F_{n+1}(t)\right]=\sum_{n=1}^\infty F_n(t) \, </math>

Einzelnachweise

<references/>