Il teorema del rinnovo descrive il comportamento a lungo termine di un processo di rinnovo. Un processo di rinnovo è una sequenza di eventi separati da tempi interarrivo indipendenti e identicamente distribuiti:
con tempi di rinnovo:
Il numero di rinnovi avvenuti entro il tempo t è:
Nella forma fondamentale, se il tempo medio interarrivo è finito:
allora:
Il significato è che, su orizzonti lunghi, il tasso medio di rinnovo tende all’inverso del tempo medio tra rinnovi.
Funzione di rinnovo
La funzione di rinnovo è:
Sotto ipotesi standard, la versione in media del teorema dà:
In forma equivalente:
Questa relazione non dice che i rinnovi avvengano regolarmente ogni \mu unità di tempo. Dice che la media di lungo periodo del conteggio è governata dal tempo interarrivo medio.
Intuizione
Se ogni ciclo dura in media \mu, dopo un tempo lungo t ci si aspetta circa t/\mu cicli completati. Le fluttuazioni casuali dei singoli cicli si compensano progressivamente. Il risultato è una legge dei grandi numeri applicata ai tempi cumulati: S_n/n\to\mu, quindi il numero di cicli necessari per raggiungere t cresce circa come t/\mu.
Questa intuizione è robusta, ma richiede che la media degli interarrivi sia finita. Se i tempi tra rinnovi hanno code molto pesanti e media infinita, il comportamento asintotico cambia radicalmente.
Teorema elementare e teoremi di rinnovo
Si parla spesso di “teorema del rinnovo” per indicare più risultati collegati. Il teorema elementare riguarda il tasso asintotico N(t)/t. Il teorema del rinnovo chiave, o key renewal theorem, fornisce limiti per integrali rispetto alla misura di rinnovo e ha un ruolo più tecnico in probabilità applicata.
Nelle applicazioni ingegneristiche, la forma elementare è spesso quella più usata: consente di stimare frequenze medie di sostituzione, arrivi, domande, riparazioni o cicli operativi.
Applicazioni
In manutenzione, un rinnovo può rappresentare la sostituzione di un componente riportato a condizioni “come nuovo”. Se i tempi di vita dei componenti sono indipendenti e con media \mu, il numero medio di sostituzioni su un orizzonte lungo è circa t/\mu.
In affidabilità, il teorema aiuta a stimare frequenze di intervento, costi medi e disponibilità in sistemi riparabili idealizzati. In gestione scorte, può descrivere cicli di riordino o domanda. Nel traffico e nelle code, può modellare arrivi successivi quando gli interarrivi non sono necessariamente esponenziali.
Rinnovo ordinario e ritardato
Nel processo di rinnovo ordinario, il primo tempo interarrivo ha la stessa distribuzione degli altri. In un processo di rinnovo ritardato, il primo interarrivo può avere una distribuzione diversa. Questo accade quando si osserva un sistema già in funzione, non appena avviato.
Asintoticamente, se gli interarrivi successivi hanno media finita, il tasso di lungo periodo resta governato da 1/\mu. Tuttavia il comportamento iniziale può essere diverso e importante per orizzonti brevi.
Limiti operativi
Il teorema assume cicli indipendenti e identicamente distribuiti. Se la manutenzione non riporta davvero il sistema a nuovo, se il carico cambia nel tempo, se gli eventi sono dipendenti o se c’è invecchiamento accumulato, il modello di rinnovo semplice può essere inadeguato. In questi casi servono processi di rinnovo generalizzati, modelli di riparazione imperfetta o processi non stazionari.
Un altro limite è che il risultato è asintotico. Per tempi brevi, la stima t/\mu può essere grossolana, soprattutto se la distribuzione degli interarrivi ha grande variabilità. La funzione di rinnovo esatta può richiedere calcolo numerico, convoluzioni o simulazione.
Errori comuni
Il primo errore è interpretare 1/\mu come tasso istantaneo. È un tasso medio di lungo periodo. Il secondo è usare il teorema con interarrivi non indipendenti senza giustificazione. Il terzo è confondere un processo di rinnovo con un processo di Poisson: nel Poisson gli interarrivi sono esponenziali; nel processo di rinnovo possono avere molte altre distribuzioni.
Il teorema del rinnovo è quindi un ponte tra ciclo microscopico e comportamento macroscopico: dalla durata media dei cicli ricava il ritmo medio di lungo periodo del sistema.