## Procesos Regenerativos y de Renovaci´n: Revisi´n o o

Renewal and Regenerative Processes: Review

Carlos E. Mart´ ınez-Rodr´ ıguez

## Abstract

En este documento se presenta una recopilaci´n de resultados relacionados con la teor´ ıa de procesos estoc´sticos, o a con un enfoque espec´ ıfico en procesos de Markov, procesos regenerativos, procesos de renovaci´n y procesos estao cionarios. La relevancia de estos temas reside en la capacidad de identificar puntos de regeneraci´n y las condiciones o necesarias para la garantizar la estacionareidad del proceso. El estudio inicia con una revisi´n de cadenas de Markov o y prosigue con el an´lisis de procesos que cumplen con la propiedad fuerte de Markov. Posteriormente, se profundiza a en los procesos de renovaci´n, procesos regenerativos y, finalmente, en los procesos regenerativos estacionarios, destao cando los resultados presentados por Thorisson [22]. Este trabajo no tiene la intenci´n de ser exhaustivo, sino de o proporcionar una base s´lida que permita profundizar en el conocimiento de estos procesos, dado su amplio espectro o de aplicaciones en criptograf´ ıa [16], teor´ ıa de colas [15] y m´todos de Monte Carlo [23]. e Asimismo, se subraya la importancia de los procesos de tipo Poisson debido a sus numerosas aplicaciones (ver [8]).

## Abstract

This document presents a compilation of results related to the theory of stochastic processes, with a specific focus on Markov processes, regenerative processes, renewal processes, and stationary processes. The relevance of these topics lies in the ability to identify regeneration points and the necessary conditions to ensure the stationarity of the process. The study begins with a review of Markov chains and continues with the analysis of processes that satisfy the strong Markov property. Subsequently, it delves into renewal processes, regenerative processes, and finally, stationary regenerative processes, highlighting the results presented by Thorisson [22]. This work is not intended to be exhaustive but aims to provide a solid foundation for further deepening the knowledge of these processes, given their broad range of applications in cryptography [16], queueing theory [15], and Monte Carlo methods [23]. Additionally, the importance of Poisson-type processes is emphasized due to their numerous applications (see [8]).

## Introducci´n o

El estudio de las cadenas de Markov es fundamental para comprender las condiciones bajo las cuales un proceso estoc´stico puede regenerarse, as´ ı como para determinar la existencia de tiempos de regeneraci´n. La extensi´n de estos a o o conceptos a teor´ ıas de colas y sistemas de visitas c´ ıclicas requiere un conocimiento profundo de la teor´ ıa subyacente. Este an´lisis naturalmente lleva a explorar temas m´s complejos, tales como los procesos regenerativos y de renovaci´n. a a o En este trabajo se realiza una revisi´n de los conceptos esenciales para iniciar el estudio de los procesos regenerativos o estacionarios. La revisi´n de estos temas se llev´ a cabo en su momento bajo la supervisi´n del Dr. o o o Ra´ ul Montes de Oca Machorro y la Dra. Patricia Saavedra Barrera, cuyas oportunas y valiosas sugerencias y comentarios fueron fundamentales para desarrollar el estudio de este tipo de procesos estoc´sticos. a Es importante destacar que las aplicaciones de estos resultados en la teor´ ıa de colas tienen un impacto significativo en problemas contempor´neos. a A pesar de los avances logrados, a´n existen preguntas sin resolver sobre su aplicaci´n y generalizaci´n en la teor´ ıa de colas. u o o Este trabajo no pretende ser un estudio exhaustivo sobre el tema, sino m´s bien proporcionar los elementos necesarios a para introducirse en el estudio de estos procesos. El documento est´ organizado de la siguiente manera: en la primera a secci´n se realiza una revisi´n de las cadenas de Markov y de los procesos de Markov. En la segunda secci´n se aborda o o o un estudio inicial de los procesos de renovaci´n y de los procesos regenerativos, junto con sus propiedades y el teorema o principal de renovaci´n. o La tercera secci´n profundiza en los procesos regenerativos incluidos en [22], para los cuales o es necesario revisar procesos m´s generales. Finalmente, en la ´ltima secci´n se presentan una serie de consideraciones a u o respecto al contenido de este trabajo.

## Introduction

The study of Markov chains is fundamental for understanding the conditions under which a stochastic process can regenerate, as well as for determining the existence of regeneration times. Extending these concepts to queueing

theories and cyclic visit systems requires a deep understanding of the underlying theory. This analysis naturally leads to exploring more complex topics such as regenerative and renewal processes. This work provides a review of the essential concepts for initiating the study of stationary regenerative processes. The review of these topics was conducted under the supervision of Dr. Ra´ ul Montes de Oca Machorro and Dr. Patricia Saavedra Barrera, whose timely and valuable suggestions and comments were fundamental in developing the study of these types of stochastic processes. It is important to highlight that the applications of these results in queueing theory have a significant impact on contemporary problems. It is important to highlight that the applications of these results in queueing theory have a significant impact on contemporary problems. Despite the advances made, there are still unresolved questions regarding their application and generalization in queueing theory. This work does not aim to be an exhaustive study of the topic but rather to provide the necessary elements to introduce the study of these processes. The document is organized as follows: the first section provides a review of Markov chains and Markov processes. The second section addresses an initial study of renewal processes and regenerative processes, along with their properties and the main renewal theorem. The third section delves into the regenerative processes included in [22], for which it is necessary to review more general processes. Finally, the last section presents a series of considerations regarding the content of this work.

## 1 Procesos Estoc´sticos a

Definici´n 1.1. o Sea X un conjunto y F una σ -´lgebra a de subconjuntos de X , la pareja ( X, F ) es llamado espacio medible. Un subconjunto A de X es llamado medible, o medible con respecto a F , si A ∈ F .

Definici´n 1.2. o Sea ( X, F , µ ) espacio de medida. Se dice que la medida µ es σ -finita si se puede escribir X = ⋃ n ≥ 1 X n con X n ∈ F y µ X ( n ) &lt; ∞ .

Definici´n 1.3. o Sea X un espacio topol´gico. o El ´lgebra de Borel en a X , denotada por B ( X ) , es la σ -´lgebra generada a por la colecci´n o de todos los conjuntos abiertos de X . Es decir, B ( X ) es la colecci´n o m´ as peque˜a de subconjuntos n de X que contiene todos los conjuntos abiertos y es cerrada bajo la uni´n numerable, la intersecci´n numerable y el o o complemento.

Definici´n 1.4. o Una funci´n o f : X → R , es medible si para cualquier n´mero real u α el conjunto

$$\left \{ x \in X \, \colon f \left ( x \right ) > \alpha \right \},$$

pertenece a X . Equivalentemente, se dice que f es medible si

$$f ^ { - 1 } \left ( ( \alpha, \infty ) \right ) = \left \{ x \in X \, \colon f \left ( x \right ) > \alpha \right \} \in \mathcal { F }.$$

Definici´n o 1.5. Sean (Ω i , F i ) , i = 1 2 , , . . . , espacios medibles y Ω = ∏ ∞ i =1 Ω i el conjunto de todas las sucesiones ( ω , ω 1 2 , . . . , ) tales que ω i ∈ Ω i , i = 1 2 , , . . . , . Si B n ⊂ ∏ ∞ i =1 Ω i , definimos B n = { ω ∈ Ω : ( ω , ω 1 2 , . . . , ω n ) ∈ B n } . Al conjunto B n se le llama cilindro con base B n , el cilindro es llamado medible si B n ∈ ∞ i =1 F i .

∏ Definici´n 1.6. o [TSP, Ash [1]]Sea X t ,t ( ) ≥ 0 proceso estoc´stico, el proceso es adaptado a la familia de a σ -´lgebras a F t , para t ≥ 0 , si para s &lt; t implica que F ⊂ F s t , y X t ( ) es F t -medible para cada t . Si no se especifica F t entonces se toma F t como F ( X s ,s ( ) ≤ t ) , la m´s peque˜a a n σ -´lgebra de subconjuntos de a Ω que hace que cada X s ( ) , con s ≤ t sea Borel medible.

Definici´n 1.7. o [TSP, Ash [1]] Sea {F ( ) t , t ≥ } 0 familia creciente de sub σ -´lgebras. a es decir, F ( s ) ⊂ F ( ) t para s ≤ t . Un tiempo de paro para F ( ) t es una funci´n o T : Ω → [0 , ∞ ] tal que { T ≤ } ∈ F t ( ) t para cada t ≥ 0 . Un tiempo de paro para el proceso estoc´stico a X t ,t ( ) ≥ 0 es un tiempo de paro para las σ -´lgebras a F ( ) = t F ( X s ( )) .

Definici´n 1.8. o Sea X t ,t ( ) ≥ 0 proceso estoc´stico, con a ( S, χ ) espacio de estados. Se dice que el proceso es adaptado a {F ( ) t } , es decir, si para cualquier s, t ∈ I , I conjunto de ´ ındices, s &lt; t , se tiene que F ( s ) ⊂ F ( ) t , y X t ( ) es F ( ) t -medible,

Definici´n o 1.9. Sea X t ,t ( ) ≥ 0 proceso estoc´stico, a se dice que es un Proceso de Markov relativo a F ( ) t o que { X t , ( ) F ( ) t } es de Markov si y s´lo si para cualquier conjunto o B ∈ χ , y s, t ∈ I , s &lt; t se cumple que

$$P \left \{ X \left ( t \right ) \in B | \mathcal { F } \left ( s \right ) \right \} = P \left \{ X \left ( t \right ) \in B | X \left ( s \right ) \right \}.$$

1

Nota 1.1. Si se dice que { X t ( ) } es un Proceso de Markov sin mencionar F ( ) t , se asumir´ que a

$$\mathcal { F } \left ( t \right ) = \mathcal { F } _ { 0 } \left ( t \right ) = \mathcal { F } \left ( X \left ( r \right ), r \leq t \right ),$$

entonces la ecuaci´n (1.1) se puede escribir como o

$$P \left \{ X \left ( t \right ) \in B | X \left ( r \right ), r \leq s \right \} = P \left \{ X \left ( t \right ) \in B | X \left ( s \right ) \right \}.$$

Teorema 1.1. Sea ( X , n F n , n = 0 1 , , . . . , } Proceso de Markov con espacio de estados ( S , χ 0 0 ) generado por una distribuici´n o inicial P o y probabilidad de transici´n o p mn , para m,n = 0 1 , , . . . , m &lt; n , que por notaci´n o se escribir´ a como p ( m,n,x,B ) → p mn ( x, B ) . Sea S tiempo de paro relativo a la σ -´lgebra a F n . Sea T funci´n medible, o T : Ω →{ 0 1 , , . . . , } . Sup´ ongase que T ≥ S , entonces T es tiempo de paro. Si B ∈ χ 0 , entonces

$$P \left \{ X \left ( T \right ) \in B, T < \infty | \mathcal { F } \left ( S \right ) \right \} = p \left ( S, T, X \left ( s \right ), B \right ).$$

en { T &lt; ∞} .

## 1.1 Cadenas de Markov

Definici´n 1.10. o Sea (Ω , F , P ) un espacio de probabilidad y E un conjunto no vac´ ıo, finito o numerable. Una sucesi´n o de variables aleatorias { X n : Ω → E , n ≥ 0 } se le llama Cadena de Markov con espacio de estados E si satisface la condici´n de Markov, esto es, si para todo o n ≥ 1 y toda sucesi´n o x , x 0 1 , . . . , x n , x, y ∈ E se cumple que

$$P \left \{ X _ { n } = y | X _ { n - 1 } = x, \dots, X _ { 0 } = x _ { 0 } \right \} = P \left \{ X _ { n } = x _ { n } | X _ { n - 1 } = x _ { n - 1 } \right \}.$$

La distribuci´n de o X 0 se llama distribuci´n inicial y se denotar´ por o a π .

Nota 1.2. Las probabilidades condicionales P { X n = y X | n -1 = x } se les llama probabilidades condicionales

Nota 1.3. En este trabajo se considerar´n a solamente aquellas cadenas de Markov con probabilidades de transici´n o estacionarias, es decir, aquellas que no dependen del valor de n (se dice que es una cadena homog´ enea), es decir, cuando se diga X ,n n ≥ 0 es cadena de Markov, se entiende que es una sucesi´n de variables aleatorias que satisfacen o la propiedad de Markov y que tienen probabilidades de transici´n estacionarias. o

Nota 1.4.

Para una cadena de Markov Homog´ enea se tiene la siguiente denotaci´n o

$$P \left \{ X _ { n } = y | X _ { n - 1 } = x \right \} = P _ { x, y }.$$

Nota 1.5. Para m ≥ 1 se denotar´ por a P ( m ) x,y a P { X n + m = y X | n = x } , que significa la probabilidad de ir en m pasos o unidades de tiempo de x a y , y se le llama probabilidad de transici´n en o m pasos.

Nota 1.6. Para x, y ∈ E se define a P (0) x,y como δ x,y , donde δ x,y es la delta de Kronecker, es decir, vale 1 si x = y y 0 en otro caso.

Nota 1.7. En el caso de que E sea finito, se considera la matrix P = ( P x,y ) x,y ∈ E y se le llama matriz de transici´n. o

Nota 1.8. Si la distribuci´n inicial o π es igual al vector ( δ x,y ) y ∈ E , es decir,

/negationslash

$$P \left ( X _ { 0 } = x \right ) = 1 \right ) \ y \, P \left ( X _ { 0 } \neq x \right ) = 0,$$

entonces se toma la notaci´n o

$$P _ { x } \left ( A \right ) = P \left ( A | X _ { 0 } = x \right ), A \in \mathcal { F },$$

y se dice que la cadena empieza en A . Se puede demostrar que P x es una nueva medida de probabilidad en el espacio (Ω , F ) .

Nota 1.9. La suma de las entradas de los renglones de la matriz de transici´n es igual a uno, es decir, para todo o x ∈ E se tiene ∑ y ∈ E P x,y = 1 .

Para poder obtener uno de los resultados m´ as importantes en cadenas de Markov, la ecuaci´n o de Chapmankolmogorov se requieren los siguientes resultados:

Lema 1.1. Sean x, y, z ∈ E y 0 ≤ m ≤ n -1 , entonces se cumple que

$$P \left ( X _ { n + 1 } = y | X _ { n } = z, X _ { m } = x \right ) = P _ { z, y }.$$

Proposici´n 1.1. o Si x , x 0 1 , . . . , x n ∈ E y π ( x 0 ) = P ( X 0 = x 0 ) , entonces

$$P \left ( X _ { 1 } = x _ { 1 }, \dots, X _ { n } = x _ { n }, X _ { 0 } = x _ { 0 } \right ) = \pi \left ( x _ { 0 } \right ) P _ { x _ { 0 }, x _ { 1 } } \cdot P _ { x _ { 1 }, x _ { 2 } } \cdots P _ { x _ { n - 1 }, x _ { n } }.$$

De la proposici´n anterior se tiene o

$$P \left ( X _ { 1 } = x _ { 1 }, \dots, X _ { n } = x _ { n } | X _ { 0 } = x _ { 0 } \right ) = P _ { x _ { 0 }, x _ { 1 } } \cdot P _ { x _ { 1 }, x _ { 2 } } \cdots P _ { x _ { n - 1 }, x _ { n } }.$$

finalmente tenemos la siguiente proposici´n: o

Proposici´n 1.2. o Sean n, k ∈ N fijos y x , x 0 1 , . . . , x n , . . . , x n + k ∈ E , entonces

$$& P \left ( X _ { n + 1 } = x _ { n + 1 }, \dots, X _ { n + k } = x _ { n + k } | X _ { n } = x _ { n }, \dots, X _ { 0 } = x _ { 0 } \right ) \\ = & \quad P \left ( X _ { 1 } = x _ { n + 1 }, X _ { 2 } = x _ { n + 2 }, \cdots, X _ { k } = x _ { n + k } | X _ { 0 } = x _ { n } \right ).$$

Ejemplo 1.1. Sea X n una variable aleatoria al tiempo n tal que

$$\begin{array} { c } P \left ( X _ { n + 1 } = 1 & | \ X _ { n } = 0 \right ) = p, \\ P \left ( X _ { n + 1 } = 0 & | \ X _ { n } = 1 \right ) = q = 1 - p, \\ P \left ( X _ { 0 } = 0 \right ) = \pi _ { 0 } \left ( 0 \right ). \end{array}$$

Se puede demostrar que

$$\begin{smallmatrix} P \left ( X _ { n } = 0 \right ) = \frac { q } { p + q }, \\ P \left ( X _ { n } = 1 \right ) = \frac { p } { p + q }. \end{smallmatrix}$$

Ejemplo 1.2. El problema de la Caminata Aleatoria.

Ejemplo 1.3. El problema de la ruina del jugador.

Ejemplo 1.4. Sea { Y i } ∞ i =0 sucesi´n de variables aleatorias independientes e identicamente distribuidas, definidas sobre o un espacio de probabilidad (Ω , F , P ) y que toman valores enteros, se tiene que la sucesi´n o { X i } ∞ i =0 definida por X j = ∑ j i =0 Y i es una cadena de Markov en el conjunto de los n´meros enteros. u

Proposici´n 1.3. o Para una cadena de Markov ( X n n ) ∈ N con espacio de estados E y para todo n, m ∈ N y toda pareja x, y ∈ E se cumple

$$P \left ( X _ { n + m } = y | X _ { 0 } = x \right ) & = \sum _ { z \in \mathbb { E } } P _ { x, z } ^ { ( m ) } P _ { z, y } ^ { ( n ) } = P _ { x, y } ^ { ( n + m ) }. & ( 1. 1 2 ) \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots 0 m \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \Dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots$$

Nota 1.10. Para una cadena de Markov con un n´mero finito de estados, u se puede pensar a P n como la n -´sima e potencia de la matriz P . Sea π 0 distribuci´n inicial de la cadena de Markov, como o

$$P \left ( X _ { n } = y \right ) = \sum _ { x } P \left ( X _ { 0 } = x, X _ { n } = y \right ) = \sum _ { x } P \left ( X _ { 0 } = x \right ) P \left ( X _ { n } = y | X _ { 0 } = x \right ), \\. \quad, \quad,$$

se puede comprobar que

$$P \left ( X _ { n } = y \right ) = \sum _ { x } \pi _ { 0 } \left ( X \right ) P ^ { n } \left ( x, y \right ). \quad & & & ( 1. 1 4 ) \\.., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad., \quad.$$

Con lo anterior es posible calcular la distribuici´n de o X n en t´rminos de la distribuci´n inicial e o π 0 y la funci´n de o transici´n de o n -pasos P n ,

$$P \left ( X _ { n + 1 } = y \right ) & = \sum _ { x } P \left ( X _ { n } = x \right ) P \left ( x, y \right ). & & ( 1. 1 5 ) \\. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &.. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &.$$

Nota 1.11. Si se conoce la distribuci´n de o X 0 se puede conocer la distribuci´n de o X 1 .

1

## 1.2 Procesos de Estados de Markov

Teorema 1.2. Sea ( X , n F n , n = 0 1 , , . . . , } Proceso de Markov con espacio de estados ( S , χ 0 0 ) generado por una distribuici´n o inicial P o y probabilidad de transici´n o p mn , para m,n = 0 1 , , . . . , m &lt; n , que por notaci´n o se escribir´ a como p ( m,n,x,B ) → p mn ( x, B ) . Sea S tiempo de paro relativo a la σ -´lgebra a F n . Sea T funci´n medible, o T : Ω →{ 0 1 , , . . . , } . Sup´ ongase que T ≥ S , entonces T es tiempo de paro. Si B ∈ χ 0 , entonces

$$P \left \{ X \left ( T \right ) \in B, T < \infty | \mathcal { F } \left ( S \right ) \right \} = p \left ( S, T, X \left ( s \right ), B \right ),$$

en { T &lt; ∞} .

Sea K conjunto numerable y sea d : K → N funci´n. o Para v ∈ K M , v es un conjunto abierto de R d v ( ) . Entonces

$$E = \bigcup _ { v \in K } M _ { v } = \{ ( v, \zeta ) \, \colon v \in K, \zeta \in M _ { v } \} \,.$$

Sea E la clase de conjuntos medibles en E :

$$\mathcal { E } = \left \{ \bigcup _ { v \in K } A _ { v } \colon A _ { v } \in \mathcal { M } _ { v } \right \}. \\ \intertext { a } \pi _ { \lambda \lambda \dots \dots } \, \left ( \pi _ { \lambda } \cdots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots }$$

donde M son los conjuntos de Borel de M v . Entonces ( E, E ) es un espacio de Borel. El estado del proceso se denotar´ a por x t = ( v , ζ t t ). La distribuci´n de ( o x t ) est´ determinada por por los siguientes objetos: a

- i) Los campos vectoriales ( H v , v ∈ K ).
- ii) Una funci´n medible o λ : E → R + .
- iii) Una medida de transici´n o Q : E × ( E ∪ Γ ) ∗ → [0 , 1] donde

y

$$\Gamma ^ { * } & = \bigcup _ { v \in K } \partial ^ { * } M _ { v }. & ( 1. 1 7 )$$

$$\partial ^ { * } M _ { v } = \left \{ z \in \partial M _ { v } \, \colon \phi _ { v } \left ( t, \zeta \right ) = \mathbf z \, \text{ para alguna } \left ( t, \zeta \right ) \in \mathbb { R } _ { + } \times M _ { v } \right \}.$$

donde ∂M v denota la frontera de M v .

El campo vectorial ( H v , v ∈ K ) se supone tal que para cada z ∈ M v existe una ´nica curva integral u φ v ( t, ζ ) que satisface la ecuaci´n o

$$\frac { d } { d t } f \left ( \zeta _ { t } \right ) = \mathcal { H } f \left ( \zeta _ { t } \right ),$$

con ζ 0 = z , para cualquier funci´n suave o f : R d → R y H denota el operador diferencial de primer orden, con H = H v y ζ t = φ t, ( z ). Adem´ as se supone que H v es conservativo, es decir, las curvas integrales est´n definidas para todo a t &gt; 0. Para x = ( v, ζ ) ∈ E se denota

$$t ^ { * } \mathbf x = i n f \left \{ t > 0 \, \colon \phi _ { v } \left ( t, \zeta \right ) \in \partial ^ { * } M _ { v } \right \}.$$

En lo que respecta a la funci´n o λ , se supondr´ a que para cada ( v, ζ ) ∈ E existe un /epsilon1 &gt; 0 tal que la funci´n o s → λ v, φ ( v ( s, ζ )) ∈ E es integrable para s ∈ [0 , /epsilon1 ). La medida de transici´n o Q A ( ; x ) es una funci´n medible de o x para cada A ∈ E , definida para x ∈ E ∪ Γ ∗ y es una medida de probabilidad en ( E, E ) para cada x ∈ E .

El movimiento del proceso ( x t ) comenzando en x = ( n, z ) ∈ E , se puede construir de la siguiente manera, def´ ınase la funci´n o F por

$$F \left ( t \right ) & = \begin{cases} \ e x p \left ( - \int _ { 0 } ^ { t } \lambda \left ( n, \phi _ { n } \left ( s, \mathbf z \right ) \right ) d s \right ), & t < t ^ { * } \left ( \mathbf x \right ), \\ 0, & t \geq t ^ { * } \left ( \mathbf x \right ). \end{cases} \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{cases}$$

Sea T 1 una variable aleatoria tal que P [ T 1 &gt; t ] = F ( ), t ahora sea la variable aleatoria ( N,Z ) con distribuici´n o Q ( ; · φ n ( T , 1 z )). La trayectoria de ( x t ) para t ≤ T 1 es

$$\mathbf x _ { t } = \left ( v _ { t }, \zeta _ { t } \right ) = \begin{cases} \left ( n, \phi _ { n } \left ( t, \mathbf z \right ) \right ), & t < T _ { 1 }, \\ \left ( N, \mathbf z \right ), & t = t _ { 1 }. \end{cases}$$

Comenzando en x T 1 se selecciona el siguiente tiempo de intersalto T 2 -T 1 lugar del post-salto x T 2 de manera similar y as´ ı sucesivamente. Este procedimiento nos da una trayectoria determinista por partes x t con tiempos de salto T , T 1 2 , . . . . Bajo las condiciones enunciadas para λ, T 1 &gt; 0 y T 1 -T 2 &gt; 0 para cada i , con probabilidad 1. Se supone que se cumple la siguiente condici´n. o

Supuestos 1.1 (Supuesto 3.1, Davis [6]) . Sea N t := 1 1 t t el n´ umero de saltos en [0 , t ] . Entonces

$$\mathbb { E } \left [ N _ { t } \right ] < \infty \ p a r a \ t o d a \ t.$$

$$= \sum _ { t } \mathbb { 1 } _ { ( t \geq t ) } \tilde { \epsilon } \\ _ { t } ] & < \infty \ p a r a$$

es un proceso de Markov, m´s a´n, es un Proceso Fuerte de Markov, es decir, la Propiedad Fuerte de Markov a u 1 se cumple para cualquier tiempo de paro.

## 1.3 Clasificaci´n de Estados o

Definici´n 1.11. o Para A conjunto en el espacio de estados, se define un tiempo de paro T A de A como

$$T _ { A } = m i n _ { n > 0 } \left ( X _ { n } \in A \right ).$$

Nota 1.12. Si X n / A ∈ para toda n &gt; 0 , T A = ∞ , es decir, T A es el primer tiempo positivo que la cadena de Markov est´ en a A .

Una vez que se tiene la definici´n anterior se puede demostrar la siguiente igualdad: o

$$\text{Proposición } 1. 4. \ P ^ { n } \left ( x, y \right ) = \sum _ { m = 1 } ^ { n } P _ { x } \left ( T _ { y } = m \right ) P ^ { n. m } \left ( y, x \right ), n \geq 1. \\ \\ \tau _ { 1 } \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdclots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \cdots \ e \colon$$

Definici´n 1.12. o En una cadena de Markov ( X n n ) ∈ N con espacio de estados E , matriz de transici´n o ( P x,y ) x,y ∈ E y para x, y ∈ E , se dice que

- a) De x se accede a y si existe n ≥ 0 tal que P ( n ) x,y &gt; 0 y se denota por ( x → y ) .
- b) x y y se comunican entre s´ ı, lo que se denota por ( x ↔ y ) , si se cumplen ( x → y ) y ( y → x ) .
- c) Un estado x ∈ E es estado recurrente si

$$P \left ( X _ { n } = x \ p a r a { \ a l g { \dot { u } } { n } } \, n \in \mathbb { N } | X _ { 0 } = x \right ) \equiv 1.$$

- d) Un estado x ∈ E es estado transitorio si

$$P \left ( X _ { n } = x \ p a r a { \ a l g { \dot { u } } { n } } \, n \in \mathbb { N } | X _ { 0 } = x \right ) < 1.$$

- e) Un estado x ∈ E se llama absorbente si P x,x ≡ 1 .

Se tiene el siguiente resultado:

Proposici´n 1.5. o x ↔ y es una relaci´n de equivalencia y da lugar a una partici´n del espacio de estados o o E .

Definici´n 1.13. o Para E espacio de estados

- a) Se dice que C ⊂ E es una clase de comunicaci´n si cualesquiera dos estados de o C se comunic´n entre s´ ı. a
- b) Dado x ∈ E , su clase de comunicaci´n se denota por: o C x ( ) = { y ∈ E : x ↔ } y .
- c) Se dice que un conjunto de estados C ⊂ E es cerrado si ning´n estado de u E -C puede ser accedido desde un estado de C .

Definici´n 1.14. o Sea E espacio de estados, se dice que la cadena es irreducible si cualquiera de las siguientes condiciones, equivalentes entre s´ ı, se cumplen

- a) Desde cualquier estado de E se puede acceder a cualquier otro.
- b) Todos los estados se comunican entre s´ ı.

1 Revisar p´gina 362, y 364 de Davis [6]. a

1

- c) C x ( ) = E para alg´n u x ∈ E .
- d) C x ( ) = E para todo x ∈ E .
- e) El ´nico conjunto cerrado es el total. u

Por lo tanto tenemos la siguiente proposici´n: o

Proposici´n 1.6. o Sea E espacio de estados y T tiempo de paro, entonces se tiene que

- a) Un estado x ∈ E es recurrente si y s´lo si o P ( T x &lt; ∞| x 0 = x ) = 1 .
- b) Un estado x ∈ E es transitorio si y s´lo si o P ( T x &lt; ∞| x 0 = x ) &lt; 1 .
- c) Un estado x ∈ E es absorbente si y s´lo si o P ( T x = 1 | x 0 = x ) = 1 .

## 1.4 Procesos de Markov

En esta secci´n se har´n las siguientes consideraciones: o a E es un espacio m´trico separable y la m´trica e e d es compatible con la topolog´ ıa.

Definici´n 1.15. o Una medida finita, λ en la σ -´lgebra de Borel de un espacio metrizable a E se dice cerrada si

$$\lambda \left ( E \right ) = s u p \left \{ \lambda \left ( K \right ) \colon K \ e s \ c o m p a c t o \ e n \ E \right \}.$$

Definici´n 1.16. o E es un espacio de Rad´n si cada medida finita en o ( E, B ( E )) es regular interior o cerrada ( tight ).

El siguiente teorema nos permite tener una mejor caracterizaci´n de los espacios de Rad´n: o o

Teorema 1.3. Sea E espacio separable metrizable. Entonces E es de Rad´n si y s´lo s´ ı cada medida finita en o o ( E, B ( E )) es cerrada.

Sea E espacio de estados, tal que E es un espacio de Rad´n, o B ( E ) σ -´lgebra de Borel en a E , que se denotar´ por a E .

Sea ( X, G , P ) espacio de probabilidad, I ⊂ R conjunto de ´ ındices. Sea F ≤ t la σ -´lgebra natural definida a como σ { f ( X r ) : r ∈ I, r ≤ t, f ∈ E} . Se considerar´ una a σ -´lgebra m´s general, ( a a G t ) tal que ( X t ) sea E -adaptado.

Definici´n 1.17. o Una familia ( P s,t ) de kernels de Markov en ( E, E ) indexada por pares s, t ∈ I , con s ≤ t es una funci´n de transici´n en o o ( E, E ) , si para todo r ≤ s &lt; t en I y todo x ∈ E B , ∈ E ,

$$P _ { r, t } \left ( x, B \right ) & = \int _ { E } P _ { r, s } \left ( x, d y \right ) P _ { s, t } \left ( y, B \right ) ^ { 2 }. & ( 1. 2 4 ) \\. \. \ \cdots \ \cdots \ \cdots \ \cdots \ \cdots \ \cdots. \ \cdots. & \cdots.$$

Se dice que la funci´n de transici´n ( o o P s,t ) en ( E, E ), es la funci´n de transici´n para un proceso ( o o X t ) t ∈ I con valores en E y que satisface la propiedad de Markov 3 (1.25) relativa a ( G t ), si

$$\mathbb { P } \left \{ f \left ( X _ { t } \right ) | \mathcal { G } _ { s } \right \} = P _ { s, t } f \left ( X _ { t } \right ) \ s \leq t \in I, \ f \in b \mathcal { E }.$$

Definici´n 1.18. o Una familia ( P t ) t ≥ 0 de kernels de Markov en ( E, E ) es llamada Semigrupo de Transici´n de Markov o o Semigrupo de Transici´n o si

$$P _ { t + s } f \left ( x \right ) = P _ { t } \left ( P _ { s } f \right ) \left ( x \right ), \ t, s \geq 0, \ x \in E \ f \in b { \mathcal { E } }.$$

Nota 1.13. Si la funci´n de transici´n o o ( P s,t ) es llamada homog´nea si e P s,t = P t -s .

Un proceso de Markov que satisface la ecuaci´n (1.26) con funci´n de transici´n homog´nea ( o o o e P t ) tiene la propiedad caracter´ ıstica:

$$\mathbb { P } \left \{ f \left ( X _ { t + s } \right ) | \mathcal { G } _ { t } \right \} = P _ { s } f \left ( X _ { t } \right ) \ t, s \geq 0, \ f \in b { \mathcal { E } }.$$

La ecuaci´n anterior es la o Propiedad Simple de Markov de X relativa a ( P t ). En este sentido el proceso ( X t ) t ∈ I cumple con la propiedad de Markov (1.27) relativa a (Ω , G G , t , P ) con semigrupo de transici´n ( o P t ).

2 Ecuaci´n de Chapman-Kolmogorov o 3

$$\mathbb { P } \left \{ H | \mathcal { G } _ { t } \right \} = \mathbb { P } \left \{ H | X _ { t } \right \} \ H \in p \mathcal { F } _ { \geq t },$$

## 2 Procesos de Renovaci´n y Regenerativos o

Definici´n 2.1. o Sean 0 ≤ T 1 ≤ T 2 ≤ . . . son tiempos aleatorios infinitos en los cuales ocurren ciertos eventos. El n´ umero de tiempos T n en el intervalo [0 , t ) es

$$N \left ( t \right ) & = \sum _ { n = 1 } ^ { \infty } \mathbb { 1 } \left ( T _ { n } \leq t \right ), \ p a r a \ t \geq 0. & & ( 2. 1 ) \\. \quad \pi \quad, \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \nu \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \eta \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \pi \quad \nolimits$$

Si se consideran los puntos T n como elementos de R + , y N t ( ) es el n´mero de puntos en u R . El proceso denotado por { N t ( ) : t ≥ } 0 es un proceso puntual en R + . Los T n son los tiempos de ocurrencia, el proceso puntual N t ( ) es simple si su n´mero de ocurrencias son distintas: u 0 &lt; T 1 &lt; T 2 &lt; . . . casi seguramente.

Definici´n 2.2. o Un proceso puntual N t ( ) es un proceso de renovaci´n si los tiempos de interocurrencia o ξ n = T n -T n -1 , para n ≥ 1 , son independientes e id´nticamente distribuidos con distribuci´n e o F , donde F (0) = 0 y T 0 = 0 . Los T n son llamados tiempos de renovaci´n, referente a la independencia o renovaci´n de la informaci´n estoc´stica en estos o o o a tiempos. Los ξ n son los tiempos de inter-renovaci´n, y o N t ( ) es el n´mero de renovaciones en el intervalo u [0 , t ) .

Nota 2.1. Para definir un proceso de renovaci´n para cualquier contexto, solamente hay que especificar una distribuci´n o o F , con F (0) = 0 , para los tiempos de inter-renovaci´n. o La funci´n o F en turno define las otras variables aleatorias. De manera formal, existe un espacio de probabilidad y una sucesi´n de variables aleatorias o ξ 1 , ξ 2 , . . . definidas en este con distribuci´n o F . Entonces las otras cantidades son

$$T _ { n } = \sum _ { k = 1 } ^ { n } \xi _ { k }, \ y \, N \left ( t \right ) = \sum _ { n = 1 } ^ { \infty } \mathbb { 1 } \left ( T _ { n } \leq t \right ), \ d o n d e \, T _ { n } \to \infty, \\ \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

casi seguramente por la Ley Fuerte de los Grandes N´meros. u

## Procesos Regenerativos Estacionarios

Definici´n o 2.3. Un proceso estoc´stico a a tiempo continuo { V ( ) t , t ≥ 0 } es un proceso regenerativo si existe una sucesi´n de variables aleatorias independientes e id´nticamente distribuidas o e { X ,X ,... 1 2 } , sucesi´n de renovaci´n, tal o o que para cualquier conjunto de Borel A ,

$$\mathbb { P } \left \{ V \left ( t \right ) \in A | X _ { 1 } + X _ { 2 } + \cdots + X _ { R ( t ) } = s, \left \{ V \left ( \tau \right ), \tau < s \right \} \right \} = \mathbb { P } \left \{ V \left ( t - s \right ) \in A | X _ { 1 } > t - s \right \}, \quad \text{(2.3)} \\ \text{para todo } 0 \leq s \leq t, \, \text{donde } R \left ( t \right ) = \max \left \{ X _ { 1 } + X _ { 2 } + \cdots + X _ { j } \leq t \right \} = & n i m e r o \, \text{de renovaciones que ocurren} \, \text{en} \, \text{[0,t]}.$$

para todo 0 ≤ s ≤ t , donde R t ( ) = max { X 1 + X 2 + · · · + X j ≤ } t =n´ umero de renovaciones que ocurren en [0 , t ].

Definici´n 2.4. o Se define el proceso estacionario, { V ∗ ( ) t , t ≥ 0 } , para { V ( ) t , t ≥ 0 } por

$$\mathbb { P } \left \{ V \left ( t \right ) \in A \right \} = \frac { 1 } { \mathbb { E } \left [ X \right ] } \int _ { 0 } ^ { \infty } \mathbb { P } \left \{ V \left ( t + x \right ) \in A \left | X > x \right \} \left ( 1 - F \left ( x \right ) \right ) d x, \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

para todo t ≥ 0 y todo conjunto de Borel A .

Definici´n 2.5. o Una modificaci´n medible de un proceso o { V ( ) t , t ≥ } 0 , es una versi´n de este, o { V ( t, w ) } conjuntamente medible para t ≥ 0 y para w ∈ S , S espacio de estados para { V ( ) t , t ≥ 0 } .

Teorema 2.1. Sea { V ( ) t , t ≥} un proceso regenerativo no negativo con modificaci´n medible. o Sea E [ X &lt; ] ∞ . Entonces el proceso estacionario dado por la ecuaci´n anterior est´ bien definido y tiene funci´n de distribuci´n independiente o a o o de t , adem´ as i)

$$\mathbb { E } \left [ V ^ { * } \left ( 0 \right ) \right ] \ = \ \frac { \mathbb { E } \left [ \int _ { 0 } ^ { X } V \left ( s \right ) d s \right ] } { \mathbb { E } \left [ X \right ] }.$$

ii) Si E [ V ∗ (0)] &lt; ∞ , equivalentemente, si E [ ∫ X 0 V ( s ) ds ] &lt; ∞ ,entonces

$$\frac { \int _ { 0 } ^ { t } V \left ( s \right ) d s } { t } \rightarrow \frac { \mathbb { E } \left [ \int _ { 0 } ^ { X } V \left ( s \right ) d s \right ] } { \mathbb { E } \left [ X \right ] }. \\. \.$$

con probabilidad 1 y en media, cuando t →∞ .

Corolario 2.1. Sea { V ( ) t , t ≥ 0 } un proceso regenerativo no negativo, con modificaci´n medible. o Si E V &lt; ∞ , V es no-aritm´tica, e y para todo x ≥ 0 , P { V ( ) t ≤ x, C &gt; x } es de variaci´n o acotada como funci´n de o t en cada intervalo finito [0 , τ ] , entonces V ( ) t converge en distribuci´n cuando o t →∞ y

$$\mathbb { E } V & = \frac { \mathbb { E } \int _ { 0 } ^ { X } V \left ( s \right ) d s } { \mathbb { E } X }. \\ \dots \.$$

Donde V tiene la distribuci´n l´mite de o ı V ( ) t cuando t →∞ .

Para el caso discreto se tienen resultados similares.

## 2.1 Teorema Principal de Renovaci´n o

Nota 2.2. Una funci´n o h : R + → R es Directamente Riemann Integrable (DRI) en los siguientes casos:

- a) h t ( ) ≥ 0 es decreciente y Riemann Integrable.
- b) h es continua excepto posiblemente en un conjunto de Lebesgue de medida 0, y | h t ( ) | ≤ b ( ) t , donde b es DRI.

Teorema 2.2 (Teorema Principal de Renovaci´n) o . Si F es no aritm´tica y e h t ( ) es DRI, entonces

$$l i m _ { t \rightarrow \infty } U \ast h = \frac { 1 } { \mu } \int _ { \mathbb { R } _ { + } } h \left ( s \right ) d s.$$

Proposici´n 2.1. o Cualquier funci´n o H t ( ) acotada en intervalos finitos y que es 0 para t &lt; 0 , puede expresarse como

$$H \left ( t \right ) = U * h \left ( t \right ), \, d o n d e \, h \left ( t \right ) = H \left ( t \right ) - F * H \left ( t \right ).$$

Definici´n 2.6. o Un proceso estoc´stico a X t ( ) es crudamente regenerativo en un tiempo aleatorio positivo T si

$$\mathbb { E } \left [ X \left ( T + t \right ) \left | T \right ] = \mathbb { E } \left [ X \left ( t \right ) \right ], \ p a r a \ t \geq 0,$$

y con las esperanzas anteriores finitas.

Proposici´n 2.2. o Sup´ ongase que X t ( ) es un proceso crudamente regenerativo en T , que tiene distribuci´n o F . Si E [ X t ( )] es acotado en intervalos finitos, entonces

$$\mathbb { E } \left [ X \left ( t \right ) \right ] = U \ast h \left ( t \right ), \ d o n d e \ h \left ( t \right ) = \mathbb { E } \left [ X \left ( t \right ) \mathbb { 1 } \left ( T > t \right ) \right ].$$

Teorema 2.3 (Regeneraci´n Cruda) o . Sup´ ongase que X t ( ) es un proceso con valores positivo crudamente regenerativo en T , y def´ ınase M = sup {| X t ( ) | : t ≤ T } . Si T es no aritm´tico; y e M y MT tienen media finita, entonces

$$l i m _ { t \rightarrow \infty } \mathbb { E } \left [ X \left ( t \right ) \right ] = \frac { 1 } { \mu } \int _ { \mathbb { R } _ { + } } h \left ( s \right ) d s,$$

donde h t ( ) = E [ X t ( ) 1 1 ( T &gt; t )] .

Definici´n 2.7. o Para el proceso { ( N t ,X ( ) ( )) : t t ≥ 0 } , sus trayectoria muestrales en el intervalo de tiempo [ T n -1 , T n ) est´n descritas por a

$$\zeta _ { n } = \left ( \xi _ { n }, \{ X \left ( T _ { n - 1 } + t \right ) \colon 0 \leq t < \xi _ { n } \} \right ).$$

Este ζ n es el n -´simo segmento del proceso. e El proceso es regenerativo sobre los tiempos T n si sus segmentos ζ n son independientes e id´nticamennte distribuidos. e

Nota 2.3. Si ˜ ( ) X t con espacio de estados ˜ S es regenerativo sobre T n , entonces X t ( ) = f ( ˜ ( ) X t ) tambi´n es regenere ativo sobre T n , para cualquier funci´n o f : ˜ S → S .

Nota 2.4. Los procesos regenerativos son crudamente regenerativos, pero no al rev´s. e

Nota 2.5. Un proceso estoc´stico a tiempo continuo o discreto es regenerativo si existe un proceso de renovaci´n tal a o que los segmentos del proceso entre tiempos de renovaci´n sucesivos son i.i.d., o es decir, para { X t ( ) : t ≥ 0 } proceso estoc´stico a tiempo continuo con espacio de estados a S , espacio m´trico. e

Consid´ erese { X t ( ) : t ≥ 0 } Proceso Estoc´stico a tiempo continuo con estado de espacios a S , espacio m´ etrico, con trayectorias continuas por la derecha y con l´ ımites por la izquierda c.s. Sea N t ( ) un proceso de renovaci´n en o R + definido en el mismo espacio de probabilidad que X t ( ), con tiempos de renovaci´n o T y tiempos de inter-renovaci´n o ξ n = T n -T n -1 , con misma distribuci´n o F de media finita µ .

## 2.2 Propiedades de los Procesos de Renovaci´n o

Los tiempos T n est´n relacionados con los conteos de a N t ( ) por

$$\begin{smallmatrix} \{ N \left ( t \right ) \geq n \} = \{ T _ { n } \leq t \} \,, \\ T _ { N \left ( t \right ) } \leq t < T _ { N \left ( t \right ) + 1 }, \end{smallmatrix}$$

adem´ as N T ( n ) = n , y

$$N \left ( t \right ) = \max \left \{ n \, \colon T _ { n } \leq t \right \} = \min \left \{ n \, \colon T _ { n + 1 } > t \right \}.$$

Por propiedades de la convoluci´n se sabe que o

$$P \left \{ T _ { n } \leq t \right \} = F ^ { n * } \left ( t \right ),$$

que es la n -´sima convoluci´n de e o F . Entonces

$$\begin{smallmatrix} \left \{ N \left ( t \right ) \geq n \right \} = \left \{ T _ { n } \leq t \right \}, \\ P \left \{ N \left ( t \right ) \leq n \right \} = 1 - F ^ { \left ( n + 1 \right ) * } \left ( t \right ). \end{smallmatrix}$$

Adem´ as usando el hecho de que E [ N t ( )] = ∑ ∞ n =1 P { N t ( ) ≥ n } , se tiene que

$$\mathbb { E } \left [ N \left ( t \right ) \right ] & = \sum _ { n = 1 } ^ { \infty } F ^ { n * } \left ( t \right ). & & ( 2. 1 4 ) \\. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

Proposici´n 2.3. o Para cada t ≥ 0 , la funci´n o generadora de momentos E [ e αN t ( ) ] , existe para alguna α en una vecindad del 0, y de aqu´ ı que E [ N t ( ) m ] &lt; ∞ , para m ≥ 1 .

Ejemplo 2.1 ( Proceso Poisson . ) Suponga que se tienen tiempos de inter-renovaci´n i.i.d. o del proceso de renovaci´n o N t ( ) tienen distribuci´n exponencial o F ( ) = t q -e -λt con tasa λ . Entonces N t ( ) es un proceso Poisson con tasa λ .

Nota 2.6. Si el primer tiempo de renovaci´n o ξ 1 no tiene la misma distribuci´n que el resto de las o ξ n , para n ≥ 2 , a N t ( ) se le llama Proceso de Renovaci´n retardado, donde si o ξ tiene distribuci´n o G , entonces el tiempo T n de la n -´sima e renovaci´n tiene distribuci´n o o G/star F ( n -1) /star ( ) t .

Teorema 2.4. Para una constante µ ≤ ∞ ( o variable aleatoria), las siguientes expresiones son equivalentes:

$$\begin{smallmatrix} l i m _ { n \to \infty } n ^ { - 1 } T _ { n } = \mu, & c. s. \\ l i m _ { t \to \infty } t ^ { - 1 } N \left ( t \right ) = 1 / \mu, & c. s. \end{smallmatrix}$$

Es decir, T n satisface la Ley Fuerte de los Grandes N´meros s´ ı y s´lo s´ ı u o N t ( ) la cumple.

Corolario 2.2 (Ley Fuerte de los Grandes N´meros para Procesos de Renovaci´n) u o . Si N t ( ) es un proceso de renovaci´n o cuyos tiempos de inter-renovaci´n tienen media o µ ≤ ∞ , entonces

$$t ^ { - 1 } N \left ( t \right ) \rightarrow 1 / \mu, \ c. s. \ c u a n d o \ t \rightarrow \infty.$$

Consideremos el proceso estoc´stico de valores reales a { Z t ( ) : t ≥ } 0 en el mismo espacio de probabilidad que N t ( ).

Definici´n 2.8. o Para el proceso { Z t ( ) : t ≥ 0 } , se define la fluctuaci´n m´xima de o a Z t ( ) en el intervalo ( T n -1 , T n ] :

$$M _ { n } = \sup _ { T _ { n - 1 } < t \leq T _ { n } } \left | Z \left ( t \right ) - Z \left ( T _ { n - 1 } \right ) \right |.$$

Teorema 2.5. Sup´ ongase que n -1 T n → µ c.s. cuando n → ∞ , donde µ ≤ ∞ es una constante o variable aleatoria. Sea a una constante o variable aleatoria que puede ser infinita cuando µ es finita, y considere las expresiones l´mite: ı

$$\begin{smallmatrix} l i m _ { n \to \infty } n ^ { - 1 } Z \left ( T _ { n } \right ) = a, & c. s. \\ l i m _ { t \to \infty } t ^ { - 1 } Z \left ( t \right ) = a / \mu, & c. s. \end{smallmatrix}$$

La segunda expresi´n implica la primera. o Conversamente, la primera implica la segunda si el proceso Z t ( ) es creciente, o si lim n →∞ n -1 M n = 0 c.s.

Corolario 2.3. Si N t ( ) es un proceso de renovaci´n, y o ( Z T ( n ) -Z T ( n -1 ) , M n ) , para n ≥ 1 , son variables aleatorias independientes e id´nticamente distribuidas con media finita, entonces, e

$$l i m _ { t \to \infty } t ^ { - 1 } Z \left ( t \right ) \to \frac { \mathbb { E } \left [ Z \left ( T _ { 1 } \right ) - Z \left ( T _ { 0 } \right ) \right ] } { \mathbb { E } \left [ T _ { 1 } \right ] }, \ c. s. \ c u a n d o \ t \to \infty.$$

## 2.3 Funci´n de Renovaci´n o o

Sup´ ongase que N t ( ) es un proceso de renovaci´n con distribuci´n o o F con media finita µ .

Definici´n 2.9. o La funci´n de renovaci´n asociada con la distribuci´n o o o F , del proceso N t ( ) , es

$$U \left ( t \right ) = \sum _ { n = 1 } ^ { \infty } F ^ { n * } \left ( t \right ), \ t \geq 0,$$

donde F 0 /star ( ) = 1 1 ( t t ≥ 0) .

Proposici´n 2.4. o Sup´ ongase que la distribuci´n de inter-renovaci´n o o F tiene densidad f . Entonces U t ( ) tambi´n tiene e densidad, para t &gt; 0 , y es U ′ ( ) = t ∑ ∞ n =0 f n/star ( ) t . Adem´ as

$$\mathbb { P } \left \{ N \left ( t \right ) > N \left ( t - 1 \right ) \right \} = 0, \, t \geq 0.$$

Definici´n 2.10. o La Transformada de Laplace-Stieljes de F est´ dada por a

$$\hat { F } \left ( \alpha \right ) = \int _ { \mathbb { R } _ { + } } e ^ { - \alpha t } d F \left ( t \right ), \, \alpha \geq 0.$$

Entonces

$$\hat { U } \left ( \alpha \right ) & = \sum _ { n = 0 } ^ { \infty } F ^ { n * } \left ( \alpha \right ) = \sum _ { n = 0 } ^ { \infty } \hat { F } \left ( \alpha \right ) ^ { n } = \frac { 1 } { 1 - \hat { F } \left ( \alpha \right ) }. \\ _ { - } \, - \, \cdots \, \cdots \, \hat { \sigma } \, \cdots \, \cdots \,. \quad \,. \quad \,. \quad.$$

Proposici´n 2.5. o La Transformada de Laplace ˆ ( U α ) y ˆ ( F α ) determina una a la otra de manera ´nica por la relaci´n u o ˆ ( U α ) = 1 1 -ˆ ( F α ) .

Nota 2.7. Un proceso de renovaci´n o N t ( ) cuyos tiempos de inter-renovaci´n tienen media finita, es un proceso Poisson o con tasa λ s´ y s´lo s´ ı o ı E [ U t ( )] = λt , para t ≥ 0 .

Teorema 2.6. Sea N t ( ) un proceso puntual simple con puntos de localizaci´n o T n tal que η ( ) = t E [ N t ( )] es finita para cada t . Entonces para cualquier funci´n o f : R + → R ,

$$\mathbb { E } \left [ \sum _ { n = 1 } ^ { N ( t ) } f \left ( T _ { n } \right ) \right ] = \int _ { \left ( 0, t \right ] } f \left ( s \right ) d \eta \left ( s \right ), \, t \geq 0, & & ( 2. 2 2 ) \\ \ t e g r a l \ e x i s t a. \ \ A d e m { \dot { s } } { \ s i } \ X _ { 1 }, X _ { 2 }, \dots \ s o n \ v a r i a b l e s \ a l e a t o r i a s \ d e f i n i d a s \ e n \ e l \ m i s m o \ e s p a c i o \ d e$$

suponiendo que la integral exista. Adem´ as si X ,X ,... 1 2 son variables aleatorias definidas en el mismo espacio de probabilidad que el proceso N t ( ) tal que E [ X T n | n = ] = s f ( s ) , independiente de n . Entonces suponiendo que la integral exista.

$$\mathbb { E } \left [ \sum _ { n = 1 } ^ { N ( t ) } X _ { n } \right ] = \int _ { ( 0, t ) } f \left ( s \right ) d \eta \left ( s \right ), \, t \geq 0, & & ( 2. 2 3 ) \\ \text{ral exists}. & &$$

Corolario 2.4 (Identidad de Wald para Renovaciones) . Para el proceso de renovaci´n o N t ( ) ,

$$\mathbb { E } \left [ T _ { N ( t ) + 1 } \right ] = \mu \mathbb { E } \left [ N \left ( t \right ) + 1 \right ], \, t \geq 0. & & ( 2. 2 4 ) \\ ( t ) \ f u n c i \tilde { o n } \, d e \ v a l o r e s \ r e a l e s \ e n \, \mathbb { R } \ a c o t a d a \ e n \, i n t e r v a l o s \ f i n i t o s \ e \, i g u a l \ a \, c e r o \ p a r a \ t < 0 \ L a$$

Definici´n 2.11. o Sea h t ( ) funci´n de valores reales en o R acotada en intervalos finitos e igual a cero para t &lt; 0 La ecuaci´n de renovaci´n para o o h t ( ) y la distribuci´n o F es

$$H \left ( t \right ) = h \left ( t \right ) + \int _ { \left [ 0, t \right ] } H \left ( t - s \right ) d F \left ( s \right ), \, t \geq 0,$$

donde H t ( ) es una funci´n de valores reales. o Esto es H = h + F /star H . Decimos que H t ( ) es soluci´n de esta ecuaci´n o o si satisface la ecuaci´n, y es acotada en intervalos finitos e iguales a cero para o t &lt; 0 .

Proposici´n 2.6. o La funci´n o U /star h ( ) t es la ´nica soluci´n de la ecuaci´n de renovaci´n (2.25). u o o o

Teorema 2.7 (Teorema Renovaci´n Elemental) o .

$$t ^ { - 1 } U \left ( t \right ) \rightarrow 1 / \mu, \, c u a n d o \, t \rightarrow \infty.$$

## 3 Teor´ ıa de Procesos Regenerativos

Definici´n 3.1 o (Definici´n Cl´sica) o a . Un proceso estoc´stico a X = { X t ( ) : t ≥ } 0 es llamado regenerativo si existe una variable aleatoria R &gt; 1 0 tal que

- i) { X t ( + R 1 ) : t ≥ 0 } es independiente de {{ X t ( ) : t &lt; R 1 } , t ≥ 0 } .
- ii) { X t ( + R 1 ) : t ≥ 0 } es estoc´sticamente equivalente a a { X t ( ) : t &gt; 0 } .

Llamamos a R 1 tiempo de regeneraci´n, y decimos que o X se regenera en este punto.

{ X t ( + R 1 ) } es regenerativo con tiempo de regeneraci´n o R 2 , independiente de R 1 pero con la misma distribuci´n o que R 1 . Procediendo de esta manera se obtiene una secuencia de variables aleatorias independientes e id´nticamente e distribuidas { R n } llamados longitudes de ciclo. Si definimos a Z k ≡ R 1 + R 2 + · · · + R k , se tiene un proceso de renovaci´n o llamado proceso de renovaci´n encajado para o X .

Nota 3.1. La existencia de un primer tiempo de regeneraci´n, o R 1 , implica la existencia de una sucesi´n completa de o estos tiempos R , R 1 2 . . . , que satisfacen la propiedad deseada [20].

Nota 3.2. Para la cola GI/GI/ 1 los usuarios arriban con tiempos t n y son atendidos con tiempos de servicio S n , los tiempos de arribo forman un proceso de renovaci´n con tiempos entre arribos independientes e identicamente distribuidos o ( i.i.d. ) T n = t n -t n -1 , adem´ as los tiempos de servicio son i.i.d. e independientes de los procesos de arribo. Por estable se entiende que E S n &lt; E T n &lt; ∞ .

Definici´n 3.2. o Para x fijo y para cada t ≥ 0 , sea I x ( ) = 1 t si X t ( ) ≤ x , I x ( ) = 0 t en caso contrario, y def´ ınanse los tiempos promedio cuando estos l´ ımites existan.

$$\overline { X } = l i m _ { t \to \infty } \frac { 1 } { t } \int _ { 0 } ^ { \infty } X \left ( u \right ) d u, \\ \mathbb { P } \left ( X _ { \infty } \leq x \right ) = l i m _ { t \to \infty } \frac { 1 } { t } \int _ { 0 } ^ { \infty } I _ { x } \left ( u \right ) d u, \\ e x i s t a n.$$

Como consecuencia del teorema de Renovaci´n-Recompensa, se tiene que el primer l´ ımite existe y es igual a la o constante

$$\overline { X } \ = \ \frac { \mathbb { E } \left [ \int _ { 0 } ^ { R _ { 1 } } X \left ( t \right ) d t \right ] } { \mathbb { E } \left [ R _ { 1 } \right ] },$$

suponiendo que ambas esperanzas son finitas.

Nota 3.3. Funciones de procesos regenerativos son regenerativas, es decir, si X t ( ) es regenerativo y se define el proceso Y ( ) t por Y ( ) = t f ( X t ( )) para alguna funci´n Borel medible o f ( ) · . Adem´ as Y es regenerativo con los mismos tiempos de renovaci´n que o X .

En general, los tiempos de renovaci´n, o Z k de un proceso regenerativo no requieren ser tiempos de paro con respecto a la evoluci´n de o X t ( ) .

Nota 3.4. Una funci´n de un proceso de Markov, usualmente no ser´ un proceso de Markov, sin embargo ser´ regeno a a erativo si el proceso de Markov lo es.

Nota 3.5. Un proceso regenerativo con media de la longitud de ciclo finita es llamado positivo recurrente.

Nota 3.6. a) Si el proceso regenerativo X es positivo recurrente y tiene trayectorias muestrales no negativas, entonces la ecuaci´n anterior es v´lida. o a

- b) Si X es positivo recurrente regenerativo, podemos construir una ´nica versi´n estacionaria de este proceso, u o X e = { X e ( ) t } , donde X e es un proceso estoc´stico regenerativo y estrictamente estacionario, con distribuci´n marginal a o distribuida como X ∞

## 3.1 Procesos de Renovaci´n y Regenerativos o

Definici´n 3.3 o (Renewal Process Trinity) . Para un proceso de renovaci´n o N t ( ) , los siguientes procesos proveen de informaci´n sobre los tiempos de renovaci´n. o o

- · A t ( ) = t -T N t ( ) , el tiempo de recurrencia hacia atr´s al tiempo a t , que es el tiempo desde la ´ltima renovaci´n u o para t .
- · B t ( ) = T N t ( )+1 -t , el tiempo de recurrencia hacia adelante al tiempo t , residual del tiempo de renovaci´n, que o es el tiempo para la pr´xima renovaci´n despu´s de o o e t .
- · L t ( ) = ξ N t ( )+1 = A t ( ) + B t ( ) , la longitud del intervalo de renovaci´n que contiene a o t .

Nota 3.7. El proceso tridimensional ( A t ( ) , B ( ) t , L ( )) t es regenerativo sobre T n , y por ende cada proceso lo es. Cada proceso A t ( ) y B t ( ) son procesos de Markov a tiempo continuo con trayectorias continuas por partes en el espacio de estados R + . Una expresi´n conveniente para su distribuci´n conjunta es, para o o 0 ≤ x &lt; t, y ≥ 0 tal que,

$$P \left \{ A \left ( t \right ) > x, B \left ( t \right ) > y \right \} = P \left \{ N \left ( t + y \right ) - N \left ( \left ( t - x \right ) \right ) = 0 \right \}.$$

Ejemplo 3.1 (Tiempos de recurrencia Poisson) . Si N t ( ) es un proceso Poisson con tasa λ , entonces de la expresi´n o (3.3) se tiene que

$$P \left \{ A \left ( t \right ) > x, B \left ( t \right ) > y \right \} = e ^ { - \lambda \left ( x + y \right ) }, \, 0 \leq x < t, y \geq 0,$$

que es la probabilidad Poisson de no renovaciones en un intervalo de longitud x + y .

Nota 3.8. Una cadena de Markov erg´dica tiene la propiedad de ser estacionaria si la distribuci´n de su estado al o o tiempo 0 es su distribuci´n estacionaria. o

Definici´n 3.4. o Un proceso estoc´stico a tiempo continuo a { X t ( ) : t ≥ 0 } en un espacio general es estacionario si sus distribuciones finito dimensionales son invariantes bajo cualquier traslado: para cada 0 ≤ s 1 &lt; s 2 &lt; · · · &lt; s k y t ≥ 0 ,

$$\left ( X \left ( s _ { 1 } + t \right ), \dots, X \left ( s _ { k } + t \right ) \right ) = _ { d } \left ( X \left ( s _ { 1 } \right ), \dots, X \left ( s _ { k } \right ) \right ).$$

Nota 3.9. Un proceso de Markov es estacionario si X t ( ) = d X (0) , t ≥ 0 .

Considerese el proceso N t ( ) = ∑ n 1 1 ( τ n ≤ t ) en R + , con puntos 0 &lt; τ 1 &lt; τ 2 &lt; · · · . Proposici´n 3.1. o Si N es un proceso puntual estacionario y E [ N (1)] &lt; ∞ , entonces

$$\mathbb { E } \left [ N \left ( t \right ) \right ] = t \mathbb { E } \left [ N \left ( 1 \right ) \right ], \, t \geq 0.$$

Teorema 3.1. Los siguientes enunciados son equivalentes

- i) El proceso retardado de renovaci´n o N es estacionario,
- ii) EL proceso de tiempos de recurrencia hacia adelante B t ( ) es estacionario,
- iii) E [ N t ( )] = t/µ ,

$$i v \right ) \, G \left ( t \right ) = F _ { e } \left ( t \right ) = \frac { 1 } { \mu } \int _ { 0 } ^ { t } \left [ 1 - F \left ( s \right ) \right ] d s. \\ C u a n d o \ e s t o s \ e n u n c i a d o s \ s o n \ c i e r t o s, \, P \left \{ B \left ( t \right )$$

Cuando estos enunciados son ciertos, P { B t ( ) ≤ x } = F e ( x ) , para t, x ≥ 0 .

Nota 3.10. Una consecuencia del teorema anterior es que el Proceso Poisson es el ´nico proceso sin retardo que es u estacionario.

Corolario 3.1. El proceso de renovaci´n o N t ( ) sin retardo, y cuyos tiempos de inter renovaci´n tienen media finita, o es estacionario si y s´lo si es un proceso Poisson. o

## 3.2 Procesos Regenerativos Estacionarios

Para { X t ( ) : t ≥ } 0 Proceso Estoc´stico a tiempo continuo con estado de espacios a S , que es un espacio m´ etrico, con trayectorias continuas por la derecha y con l´ ımites por la izquierda c.s. Sea N t ( ) un proceso de renovaci´n en o R + definido en el mismo espacio de probabilidad que X t ( ), con tiempos de renovaci´n o T y tiempos de inter-renovaci´n o ξ n = T n -T n -1 , con misma distribuci´n o F de media finita µ .

Definici´n 3.5. o Un elemento aleatorio en un espacio medible ( E, E ) en un espacio de probabilidad (Ω , F , P ) a ( E, E ) , es decir, para A ∈ E , se tiene que { Y ∈ A } ∈ F , donde

$$\{ Y \in A \} \coloneqq \{ w \in \Omega \, \colon Y \, ( w ) \in A \} = \colon Y ^ { - 1 } A.$$

Nota 3.11. Tambi´ en se dice que Y est´ soportado por el espacio de probabilidad a (Ω , F , P ) y que Y es un mapeo medible de Ω en E , es decir, es F E / medible.

Definici´n 3.6. o Para cada i ∈ I sea P i una medida de probabilidad en un espacio medible ( E , i E i ) . Se define el espacio producto ⊗ i ∈ I ( E , i E i ) := (∏ i ∈ I E , i ⊗ i ∈ I E i ) , donde ∏ i ∈ I E i es el producto cartesiano de los E i 's, y ⊗ i ∈ I E i es la σ -´lgebra a producto, es decir, es la σ -´lgebra m´s peque˜a en a a n ∏ i ∈ I E i que hace al i -´simo mapeo proyecci´n en e o E i medible para toda i ∈ I es la σ -´lgebra inducida por los mapeos proyecci´n. a o

$$\otimes _ { i \in \mathbb { I } } \mathcal { E } _ { i } \, \colon = \, \sigma \, \left \{ \left \{ y \, \colon y _ { i } \in A \right \} \, \colon i \in \mathbb { I } \, \ y \, A \in \mathcal { E } _ { i } \right \}.$$

Definici´n 3.7. o Un espacio de probabilidad ( ˜ Ω , ˜ F , ˜ P ) es una extensi´n de otro espacio de probabilidad o (Ω , F , P ) si ( ˜ Ω , ˜ F , ˜ P ) soporta un elemento aleatorio ξ ∈ (Ω , F ) que tienen a P como distribuci´n. o

Teorema 3.2. Sea I un conjunto de ´ ındices arbitrario. Para cada i ∈ I sea P i una medida de probabilidad en un espacio medible ( E , i E i ) . Entonces existe una ´nica medida de probabilidad u ⊗ i ∈ I P i en ⊗ i ∈ I ( E , i E i ) tal que

$$\otimes _ { i \in \mathbb { 1 } } P _ { i } \left ( y \in \prod _ { i \in \mathbb { 1 } } E _ { i } \colon y _ { i } \in A _ { i _ { 1 } }, \dots, y _ { n } \in A _ { i _ { n } } \right ) & = P _ { i _ { 1 } } \left ( A _ { i _ { n } } \right ) \cdots P _ { i _ { n } } \left ( A _ { i _ { n } } \right ), \\ \intertext { a d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d b o n d } \otimes _ { i \in \mathbb { 1 } } P _ { i } \left ( y \in \prod _ { i \in \mathbb { 1 } } E _ { i } \colon y _ { i } \in A _ { i _ { 1 } } \colon y _ { i _ { 1 } } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in \mathbb { 1 } \left ( y \in 0 } \right ) } } \right ) } \right ) } \end{$$

para todos los enteros n &gt; 0 , toda i 1 , . . . , i n ∈ I y todo A i 1 ∈ E i 1 , . . . , A i n ∈ E i n .

La medida ⊗ i ∈ I P i es llamada la medida producto y ⊗ i ∈ I ( E , i E i , P i ) := (∏ i ∈ I , E , i ⊗ i ∈ I E i , ⊗ i ∈ I P i ) , es llamado espacio de probabilidad producto.

Definici´n 3.8. o Un espacio medible ( E, E ) es Polaco si existe una m´trica en e E tal que E es completo, es decir cada sucesi´n de Cauchy converge a un l´ ımite en o E , y separable, E tienen un subconjunto denso numerable, y tal que E es generado por conjuntos abiertos.

Definici´n 3.9. o Dos espacios medibles ( E, E ) y ( G, G ) son Borel equivalentes isomorfos si existe una biyecci´n o f : E → G tal que f es E / G medible y su inversa f -1 es G E / medible. La biyecci´n es una equivalencia de Borel. o

Definici´n 3.10. o Un espacio medible ( E, E ) es un espacio est´ndar si es Borel equivalente a a ( G, G ) , donde G es un subconjunto de Borel de [0 , 1] y G son los subconjuntos de Borel de G .

Nota 3.12. Cualquier espacio Polaco es un espacio est´ndar. a

Definici´n 3.11. o Un proceso estoc´stico con conjunto de ´ ındices a I y espacio de estados ( E, E ) es una familia Z = ( Z s ) s ∈ I donde Z s son elementos aleatorios definidos en un espacio de probabilidad com´ un (Ω , F , P ) y todos toman valores en ( E, E ) .

Definici´n 3.12. o Un proceso estoc´stico one-sided contiuous time ( a PEOSCT ) es un proceso estoc´stico con conjunto a de ´ ındices I = [0 , ∞ ) .

Sea ( E , I E I ) denota el espacio producto ( E , I E I ) := ⊗ s ∈ I ( E, E ). Vamos a considerar Z como un mapeo aleatorio, es decir, como un elemento aleatorio en ( E , I E I ) definido por Z w ( ) = ( Z s ( w )) s ∈ I y w ∈ Ω.

Nota 3.13. La distribuci´n de un proceso estoc´stico o a Z es la distribuci´n de o Z como un elemento aleatorio en ( E , I E I ) . La distribuci´n de o Z esta determinada de manera ´nica por las distribuciones finito dimensionales. u

Nota 3.14. En particular cuando Z toma valores reales, es decir, ( E, E ) = ( R , B ) las distribuciones finito dimensionales est´n determinadas por las funciones de distribuci´n finito dimensionales a o

$$\mathbb { P } \left ( Z _ { t _ { 1 } } \leq x _ { 1 }, \dots, Z _ { t _ { n } } \leq x _ { n } \right ), x _ { 1 }, \dots, x _ { n } \in \mathbb { R }, t _ { 1 }, \dots, t _ { n } \in \mathbb { I }, n \geq 1.$$

Nota 3.15. Para espacios polacos ( E, E ) el Teorema de Consistencia de Kolmogorov asegura que dada una colecci´n o de distribuciones finito dimensionales consistentes, siempre existe un proceso estoc´stico que posee tales distribuciones a finito dimensionales.

Definici´n 3.13. o Las trayectorias de Z son las realizaciones Z w ( ) , para w ∈ Ω del mapeo aleatorio Z .

Nota 3.16. Algunas restricciones se imponen sobre las trayectorias, por ejemplo que sean continuas por la derecha, o continuas por la derecha con l´ ımites por la izquierda, o de manera m´s general, se pedir´ que caigan en alg´n subconjunto a a u H de E I . En este caso es natural considerar a Z como un elemento aleatorio que no est´ en a ( E , I E I ) sino en ( H, H ) , donde H es la σ -´lgebra generada por los mapeos proyecci´n que toman a a o z ∈ H a z t ∈ E para t ∈ I . A H se le conoce como la traza de H en E I , es decir,

$$\mathcal { H } \coloneqq E ^ { 1 } \cap H \coloneqq \left \{ A \cap H \colon A \in E ^ { 1 } \right \}. \quad & & ( 3. 9 ) \\ \text{yectorias con valores en } H _ { \ } y \, c a d a \, Z _ { t } \, e s \, u n \, m a p e o \, m e d i b l e \, d e \, ( \Omega, \mathcal { F } ) \, a \, ( H, \mathcal { H } ). \ C u a n d o \, s$$

Nota 3.17. Z tiene trayectorias con valores en H y cada Z t es un mapeo medible de (Ω , F ) a ( H, H ) . Cuando se considera un espacio de trayectorias en particular H , al espacio ( H, H ) se le llama el espacio de trayectorias de Z .

Nota 3.18. La distribuci´n del proceso estoc´stico o a Z con espacio de trayectorias ( H, H ) es la distribuci´n de o Z como un elemento aleatorio en ( H, H ) . La distribuci´n, nuevemente, est´ determinada de manera ´nica por las distribuciones o a u finito dimensionales.

Definici´n 3.14. o Sea Z un PEOSCT con espacio de estados ( E, E ) y sea T un tiempo aleatorio en [0 , ∞ ) . Por Z T se entiende el mapeo con valores en E definido en Ω en la manera obvia:

$$Z _ { T } \left ( w \right ) ; = Z _ { T \left ( w \right ) } \left ( w \right ), \, w \in \Omega.$$

Definici´n 3.15. o Un PEOSCT Z es conjuntamente medible ( CM ) si el mapeo que toma ( w, t ) ∈ Ω × [0 , ∞ ) a Z t ( w ) ∈ E es F ⊗ B [0 , ∞ ) / E medible.

Nota 3.19. Un PEOSCT-CM implica que el proceso es medible, dado que Z T es una composici´n o de dos mapeos continuos: el primero que toma w en ( w, T ( w )) es F F ⊗ B / [0 , ∞ ) medible, mientras que el segundo toma ( w, T ( w )) en Z T w ( ) ( w ) es F ⊗ B [0 , ∞ ) / E medible.

Definici´n 3.16. o Un PEOSCT con espacio de estados ( H, H ) es can´nicamente conjuntamente medible ( o CCM ) si el mapeo ( z, t ) ∈ H × [0 , ∞ ) en Z t ∈ E es H⊗B [0 , ∞ ) / E medible.

Nota 3.20. Un PEOSCTCCM implica que el proceso es CM, dado que un PECCM Z es un mapeo de Ω × [0 , ∞ ) a E , es la composici´n de dos mapeos medibles: o el primero, toma ( w, t ) en ( Z w ,t ( ) ) es F ⊗ B [0 , ∞ ) / H⊗B [0 , ∞ ) medible, y el segundo que toma ( Z w ,t ( ) ) en Z t ( w ) es H⊗B [0 , ∞ ) / E medible. Por tanto CCM es una condici´n m´s fuerte o a que CM.

Definici´n 3.17. o Un conjunto de trayectorias H de un PEOSCT Z , es internamente shift-invariante ( ISI ) si

$$\left \{ ( z _ { t + s } ) _ { s \in [ 0, \infty ) } \colon z \in H \right \} = H, \, t \in [ 0, \infty ) \,. \quad & & ( 3. 1 1 ) \\ \intertext { d o u n P E O S C T I S I \ s e d e f i n e \ e l m a n e o s h i f t \ A. \ t \in [ 0 \ \infty ) \ d e \ H \ a \ H \ n o r$$

Definici´n 3.18. o Dado un PEOSCTISI, se define el mapeo-shift θ t , t ∈ [0 , ∞ ) , de H a H por

$$\theta _ { t } z = ( z _ { t + s } ) _ { s \in [ 0, \infty ) } \,, \, z \in H.$$

$$\varphi _ { s \in [ 0, \infty ) } \,,$$

Definici´n 3.19. o Se dice que un proceso Z es shift-medible ( SM ) si Z tiene un conjunto de trayectorias H que es ISI y adem´ as el mapeo que toma ( z, t ) ∈ H × [0 , ∞ ) en θ z t ∈ H es H⊗B [0 , ∞ ) / H medible.

Nota 3.21. Un proceso estoc´stico con conjunto de trayectorias a H ISI es shift-medible si y s´lo si es CCM o

Nota 3.22. · Dado el espacio polaco ( E, E ) se tiene el conjunto de trayectorias D E [0 , ∞ ) que es ISI, entonces cumple con ser CCM.

- · Si G es abierto, podemos cubrirlo por bolas abiertas cuay cerradura este contenida en G , y como G es segundo numerable como subespacio de E , lo podemos cubrir por una cantidad numerable de bolas abiertas.

Nota 3.23. Los procesos estoc´sticos a Z a tiempo discreto con espacio de estados polaco, tambi´n tiene un espacio de e trayectorias polaco y por tanto tiene distribuciones condicionales regulares.

Teorema 3.3. El producto numerable de espacios polacos es polaco.

Definici´n 3.20. o Sea (Ω , F , P ) , espacio de probabilidad que soporta al proceso Z = ( Z s ) s ∈ [0 , ∞ ) y S = ( S k ) ∞ 0 donde Z es un PEOSCTM con espacio de estados ( E, E ) y espacio de trayectorias ( H, H ) y adem´ as S es una sucesi´n de tiempos o aleatorios one-sided que satisfacen la condici´n o 0 ≤ S 0 &lt; S 1 &lt; · · · →∞ . Considerando S como un mapeo medible de (Ω , F ) al espacio sucesi´n o ( L, L ) , donde

$$L & = \left \{ ( s _ { k } ) _ { 0 } ^ { \infty } \in [ 0, \infty ) ^ { \{ 0, 1, \dots \} } \colon s _ { 0 } < s _ { 1 } < \dots \to \infty \right \}, \\, \quad \text{themination} \, d \, R a r e l \, d \, T \, \ e o d \, d e i v \, T \, - T \cap \mathfrak { R } ^ { \{ 0, 1, \dots \} } \, \Delta \ell \ell \, \intertext { a r e l \, a r e l } \, ( T \, \mathfrak { G } \, \mathbb { U } \, \ e o d \, \ m n o n a \, d e i v \, d e }$$

donde L son los subconjuntos de Borel de L , es decir, L = L ∩ B { 0 1 , ,... } . As´ ı el par ( Z, S ) es un mapeo medible de (Ω , F ) en ( H × L, H⊗L ) . El par H ⊗ L + denotar´ la clase a de todas las funciones medibles de ( H × L, H⊗L ) en ([0 , ∞ B ) , [0 , ∞ )) .

Definici´n 3.21. o Sea θ t el mapeo-shift conjunto de H × L en H × L dado por donde n t -= inf { n ≥ 1 : s n ≥ } t .

$$\theta _ { t } \left ( z, ( s _ { k } ) _ { 0 } ^ { \infty } \right ) & = \theta _ { t } \left ( z, ( s _ { n _ { t - } + k } - t ) _ { 0 } ^ { \infty } \right ), & ( 3. 1 4 ) \\ \colon s _ { n } \geq t \}.$$

Nota 3.24. Con la finalidad de poder realizar los shift's sin complicaciones de medibilidad, se supondr´ que a Z es shitmedible, es decir, el conjunto de trayectorias H es invariante bajo shifts del tiempo y el mapeo que toma ( z, t ) ∈ H × [0 , ∞ ) en z t ∈ E es H⊗B [0 , ∞ ) / E medible.

Definici´n 3.22. o Dado un proceso PEOSSM (Proceso Estoc´stico One Side Shift Medible) a Z , se dice regenerativo cl´sico con tiempos de regeneraci´n a o S si

$$\theta _ { S _ { n } } \left ( Z, S \right ) = \left ( Z ^ { 0 }, S ^ { 0 } \right ), \, n \geq 0, \\ d e \left ( \left ( Z _ { s } \right ) s \in \left [ 0, S _ { n } \right ), S _ { 0 }, \dots, S _ { n } \right ) \, S i \, l o \ a r.$$

y adem´ as θ S n ( Z, S ) es independiente de (( Z s ) s ∈ [0 , S n ) , S 0 , . . . , S n ) Si lo anterior se cumple, al par ( Z, S ) se le llama regenerativo cl´sico. a

Nota 3.25. Si el par ( Z, S ) es regenerativo cl´sico, a entonces las longitudes de los ciclos X ,X ,..., 1 2 son i.i.d. e independientes de la longitud del retraso S 0 , es decir, S es un proceso de renovaci´n. o Las longitudes de los ciclos tambi´n son llamados tiempos de inter-regeneraci´n y tiempos de ocurrencia. e o

Teorema 3.4. Sup´ ongase que el par ( Z, S ) es regenerativo cl´sico con a E [ X 1 ] &lt; ∞ . Entonces ( Z , S ∗ ∗ ) es una versi´n o estacionaria de ( Z, S ) . Adem´ as, si X 1 es lattice con span d , entonces ( Z ∗∗ , S ∗∗ ) es una versi´n periodicamente estao cionaria de ( Z, S ) con periodo d .

Definici´n 3.23. o Una variable aleatoria X 1 es spread out si existe una n ≥ 1 y una funci´n o f ∈ B + tal que ∫ R f ( x dx &gt; ) 0 con X ,X ,..., X 2 3 n copias i.i.d de X 1 ,

$$\mathbb { P } ( X _ { 1 } + \dots + X _ { n } \in B ) \geq \int _ { B } f \left ( x \right ) d x p a r a \ B \in \mathcal { B }. \quad \ \quad \ \ ( 3. 1 5 ) \\ - \. \quad \ \dots \quad - \. \dots \quad \dots \quad \dots \quad \dots \quad \. \quad \.$$

Definici´n 3.24. o Dado un proceso estoc´stico a Z se le llama wide-sense regenerative ( WSR ) con tiempos de regeneraci´n o S si θ S n ( Z, S ) = ( Z , S 0 0 ) para n ≥ 0 en distribuci´n o y θ S n ( Z, S ) es independiente de ( S , S 0 1 , . . . , S n ) para n ≥ 0 . Se dice que el par ( Z, S ) es WSR si lo anterior se cumple.

Nota 3.26. · El proceso de trayectorias ( θ Z s ) s ∈ [0 , ∞ ) es WSR con tiempos de regeneraci´n o S pero no es regenerativo cl´sico. a

- · Si Z es cualquier proceso estacionario y S es un proceso de renovaci´n que es independiente de o Z , entonces ( Z, S ) es WSR pero en general no es regenerativo cl´sico a

Nota 3.27. Para cualquier proceso estoc´stico a Z , el proceso de trayectorias ( θ Z s ) s ∈ [0 , ∞ ) es siempre un proceso de Markov.

Teorema 3.5. Supongase que el par ( Z, S ) es WSR con E [ X 1 ] &lt; ∞ . Entonces ( Z , S ∗ ∗ ) en el teorema 3.4 es una versi´n estacionaria de o ( Z, S ) .

Teorema 3.6. Supongase que ( Z, S ) es cycle-stationary con E [ X 1 ] &lt; ∞ . Sea U distribuida uniformemente en [0 , 1) e independiente de ( Z , S 0 0 ) y sea P ∗ la medida de probabilidad en (Ω , P ) definida por

$$d \mathbb { P } ^ { * } & = \frac { X _ { 1 } } { \mathbb { E } \left [ X _ { 1 } \right ] } d \mathbb { P }.$$

Sea ( Z , S ∗ ∗ ) con distribuci´n o P ∗ ( θ UX 1 ( Z , S 0 0 ) ∈ · ) . Entonces ( Z ,S ∗ ∗ ) es estacionario,

$$\mathbb { E } \left [ f \left ( Z ^ { * }, S ^ { * } \right ) \right ] = \mathbb { E } \left [ \int _ { 0 } ^ { X _ { 1 } } f \left ( \theta _ { s } \left ( Z ^ { 0 }, S ^ { 0 } \right ) \right ) d s \right ] / \mathbb { E } \left [ X _ { 1 } \right ] \\ \intertext { a c * s \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \text{s} \, \end{cases}$$

f ∈ H ⊗ L + , and S ∗ 0 es continuo con funci´n distribuci´n o o G ∞ definida por

$$G _ { \infty } \left ( x \right ) \coloneqq \frac { \mathbb { E } \left [ X _ { 1 } \right ] \wedge x } { \mathbb { E } \left [ X _ { 1 } \right ] },$$

para x ≥ 0 y densidad P [ X &gt; x / 1 ] E [ X 1 ] , con x ≥ 0 .

Teorema 3.7. Sea Z un Proceso Estoc´stico un lado shift-medible one-sided shift-measurable stochastic process, (PEOSSM), a y S 0 y S 1 tiempos aleatorios tales que 0 ≤ S 0 &lt; S 1 y

$$\theta _ { S _ { 1 } } Z = \theta _ { S _ { 0 } } Z \ e n \ d i s t r i b u c i \acute { o } n.$$

Entonces el espacio de probabilidad subyacente (Ω , F , P ) puede extenderse para soportar una sucesi´n de tiempos o aleatorios S tales que

$$\theta _ { S _ { n } } \left ( Z, S \right ) = \left ( Z ^ { 0 }, S ^ { 0 } \right ), n \geq 0, \ e n \ d i s t r i b u c i \acute { o } n, \\ \left ( Z, S _ { 0 }, S _ { 1 } \right ) \text{ depende de } \left ( X _ { 2 }, X _ { 3 }, \dots \right ) \ s o l a m e n t e \ a \text{ travers de } \theta _ { S _ { 1 } } Z.$$

Corolario 3.2. Bajo las condiciones del Teorema anterior , el par ( Z, S ) es regenerativo cl´sico. a Si adem´s se tiene a que E [ X 1 ] &lt; ∞ , entonces existe un par ( Z , S ∗ ∗ ) que es una vesi´n estacionaria de o ( Z, S ) .

Definici´n 3.25. o Los tiempos aleatorios S n dividen Z en

- a) un retraso D = ( Z s ) s ∈ [0 , ∞ ) ,
- b) una sucesi´n de ciclos o C n = ( Z S n -1 + s ) s ∈ [0 ,X n ) , n ≥ 1 ,
- c) las longitudes de los ciclos X n = S n -S n -1 , n = 1 .

/negationslash

Nota 3.28. a) El retraso D y los ciclos C n son procesos estoc´sticos que se desvanecen en los tiempos aleatorios a S 0 y X n respectivamente.

- b) Las longitudes de los ciclos X ,X ,... 1 2 y el retraso de la longitud (delay-length) S 0 son obtenidos por el mismo mapeo medible de sus respectivos ciclos C , C , . . . 1 2 y el retraso D .
- c) El par ( Z, S ) es un mapeo medible del retraso y de los ciclos y viceversa.

Definici´n 3.26. o ( Z, S ) es zero-delayed si S 0 ≡ 0 . Se define el par zero-delayed por

Entonces

$$\left ( Z ^ { 0 }, S ^ { 0 } \right ) \coloneqq \theta _ { S _ { 0 } } \left ( Z, S \right ). \\ \intertext { n t r a s \ q u e \ p a r a } \, n \geq 1 \ s e \ t i e n e \ q u e \, X _ { n } ^ { 0 } \equiv X _ { n } \ y \, C _ { n } ^ { 0 } \equiv C _ { n }.$$

S

0

0

≡

0

y

S

0

0

≡

X

0

1

,

mientras que para

n

≥

1

se tiene que

X

0

n

≡

X

n

y

C

0

n

≡

C

n

.

Definici´n 3.27. o Se le llama al par ( Z, S ) ciclo-stacionario si los ciclos forman una sucesi´n estacionaria, es decir, o con = D denota iguales en distribuci´n: o

$$( C _ { n + 1 }, C _ { n + 2 }, \dots ) = ^ { D } ( C _ { 1 }, C _ { 2 }, \dots ) \,, n \geq 0.$$

Ciclo-estacionareidad es equivalente a

$$\theta _ { S _ { n } } \left ( Z, S \right ) = ^ { D } \left ( Z ^ { 0 }, S ^ { 0 } \right ), n \geq 0, & & ( 3. 2 3 ) \\ _ { \mathfrak { Z } _ { n } } \left ( Z, S \right ) \, s o n \ m a p e o s \ m e d i b l e s \, d e \, c a d a \ u n o \ y \ q u e \ n o \ p e n d e n \, d e \, n.$$

donde ( C n +1 , C n +2 , . . . ) y θ S n ( Z, S ) son mapeos medibles de cada uno y que no dependen de n .

Definici´n 3.28. o Un par ( Z , S ∗ ∗ ) es estacionario si θ ( Z , S ∗ ∗ ) = D ( Z , S ∗ ∗ ) , para t ≥ 0 .

## 3.3 Procesos de Salida y Procesos Regenerativos

En Sigman, Thorison y Wolff [20] prueban que para la existencia de un una sucesi´n infinita no decreciente de tiempos o de regeneraci´n o τ 1 ≤ τ 2 ≤ ·· · en los cuales el proceso se regenera, basta un tiempo de regeneraci´n o R 1 , donde R j = τ j -τ j -1 . Para tal efecto se requiere la existencia de un espacio de probabilidad (Ω , F , P ), y proceso estoc´stico a X = { X t ( ) : t ≥ } 0 con espacio de estados ( S, R ), con R σ -´lgebra. a

Proposici´n 3.2. o Si existe una variable aleatoria no negativa R 1 tal que θ R 1 X = D X , entonces (Ω , F , P ) puede extenderse para soportar una sucesi´n estacionaria de variables aleatorias o R = { R k : k ≥ 1 } , tal que para k ≥ 1 ,

$$\theta _ { k } \left ( X, R \right ) = _ { D } \left ( X, R \right ).$$

Adem´ as, para k ≥ 1 , θ k R es condicionalmente independiente de ( X,R ,..., R 1 k ) , dado θ τk X .

## 3 TEOR ´ IA DE PROCESOS REGENERATIVOS

A continuaci´n se enuncian una lista de resultados para sistemas de espera: o

- · Doob en 1953 demostr´ que el estado estacionario de un proceso de partida en un sistema de espera o M/G/ ∞ , es Poisson con la misma tasa que el proceso de arribos.
- · Burke en 1968, fue el primero en demostrar que el estado estacionario de un proceso de salida de una cola M/M/s es un proceso Poisson.
- · Disney en 1973 obtuvo el siguiente resultado:

Teorema 3.8. Para el sistema de espera M/G/ /L 1 con disciplina FIFO, el proceso I es un proceso de renovaci´n o si y s´lo si el proceso denominado longitud de la cola es estacionario y se cumple cualquiera de los siguientes casos: o

- a) Los tiempos de servicio son id´nticamente cero; e
- b) L = 0 , para cualquier proceso de servicio S ;
- c) L = 1 y G = D ;
- d) L = ∞ y G = M .

En estos casos, respectivamente, las distribuciones de interpartida P { T n +1 -T n ≤ } t son

- a) 1 -e -λt , t ≥ 0 ;
- b) 1 -e -λt ∗ F ( ) t , t ≥ 0 ;
- c) 1 -e -λt ∗ 1 1 d ( ) t , t ≥ 0 ;
- d) 1 -e -λt ∗ F ( ) t , t ≥ 0 .
- · Finch (1959) mostr´ que para los sistemas o M/G/ /L 1 , con 1 ≤ L ≤ ∞ con distribuciones de servicio dos veces diferenciable, solamente el sistema M/M/ / 1 ∞ tiene proceso de salida de renovaci´n estacionario. o
- · King (1971) demostr´ que un sistema de colas estacionario o M/G/ / 1 1 tiene sus tiempos de interpartida sucesivas D n y D n +1 son independientes, si y s´lo si, o G = D , en cuyo caso le proceso de salida es de renovaci´n. o
- · Disney (1973) demostr´ que el ´nico sistema estacionario o u M/G/ /L 1 , que tiene proceso de salida de renovaci´n o son los sistemas M/M/ 1 y M/D/ / 1 1.
- · El siguiente resultado es de Disney y Koning (1985)

Teorema 3.9. En un sistema de espera M/G/s , el estado estacionario del proceso de salida es un proceso Poisson para cualquier distribuci´n o de los tiempos de servicio si el sistema tiene cualquiera de las siguientes cuatro propiedades.

- a) s = ∞
- b) La disciplina de servicio es de procesador compartido.
- c) La disciplina de servicio es LCFS y preemptive resume, esto se cumple para L &lt; ∞
- d) G = M .
- · El siguiente resultado es de Alamatsaz (1983)

Teorema 3.10. En cualquier sistema de colas GI/G/ /L 1 con 1 ≤ L &lt; ∞ y distribuci´n o de interarribos A y distribuci´n de los tiempos de servicio o B , tal que A (0) = 0 , A t ( ) (1 -B t ( )) &gt; 0 para alguna t &gt; 0 y B t ( ) para toda t &gt; 0 , es imposible que el proceso de salida estacionario sea de renovaci´n. o

Estos resultados aparecen en Daley (1968) [5] para { T n } intervalos de inter-arribo, { D n } intervalos de inter-salida y { S n } tiempos de servicio.

- · Si el proceso { T n } es Poisson, el proceso { D n } es no correlacionado si y s´lo si es un proceso Poisso, lo cual ocurre o si y s´lo si o { S n } son exponenciales negativas.

- · Si { S n } son exponenciales negativas, { D n } es un proceso de renovaci´n si y s´lo si es un proceso Poisson, lo cual o o ocurre si y s´lo si o { T n } es un proceso Poisson.
- · E ( D n ) = E ( T n ).
- · Para un sistema de visitas GI/M/ 1 se tiene el siguiente teorema:

Teorema 3.11. En un sistema estacionario GI/M/ 1 los intervalos de interpartida tienen

$$\cdot \cdot \cdot \cdot \cdot \cdot \\ \mathbb { E } \left ( e ^ { - \theta D _ { n } } \right ) \ = \ \mu \left ( \mu + \theta \right ) ^ { - 1 } \left [ \delta \theta - \mu \left ( 1 - \delta \right ) \alpha \left ( \theta \right ) \right ] \left [ \theta - \mu \left ( 1 - \delta \right ) ^ { - 1 } \right ] \\ \alpha \left ( \theta \right ) \ = \ \mathbb { E } \left [ e ^ { - \theta T _ { 0 } } \right ] \\ v a r \left ( D _ { n } \right ) \ = \ \ v a r \left ( T _ { 0 } \right ) - \left ( \tau ^ { - 1 } - \delta ^ { - 1 } \right ) 2 \delta \left ( \mathbb { E } \left ( S _ { 0 } \right ) \right ) ^ { 2 } \left ( 1 - \delta \right ) ^ { - 1 }. \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon$$

Teorema 3.12. El proceso de salida de un sistema de colas estacionario GI/M/ 1 es un proceso de renovaci´n o si y s´lo si el proceso de entrada es un proceso Poisson, en cuyo caso el proceso de salida es un proceso Poisson. o

Teorema 3.13. Los intervalos de interpartida { D n } de un sistema M/G/ 1 estacionario son no correlacionados si y s´lo si la distribuci´n de los tiempos de servicio es exponencial negativa, es decir, el sistema es de tipo o o M/M/ 1 .

## 4 Conclusiones

Los resultados presentados en este trabajo se enfocan en el estudio de procesos estoc´sticos regenerativos y estacionarios. a En particular, se proporcionaron condiciones que garantizan la regeneraci´n de estos procesos, es decir, las condiciones o bajo las cuales existen los tiempos de regeneraci´n. o Inicialmente, la idea fue aplicar estos resultados a sistemas de visitas que est´n conformados por colas. a Es natural hacer referencia a procesos de Markov y cadenas de Markov, para los cuales existen resultados an´logos que son, en cierto sentido, m´s f´ciles de entender (Secci´n 1). a a a o

En la Secci´n 2, se hace un recuento de resultados para procesos de renovaci´n y sus propiedades. o o Es importante mencionar la relevancia de los procesos de tipo Poisson debido a la gran cantidad de resultados en la teor´ ıa de colas y sus numerosas aplicaciones. Un enfoque alternativo valioso es el presentado en la Secci´n 3, donde, aunque las definiciones y o temas se estudian nuevamente, el enfoque y los elementos utilizados difieren, requiriendo nuevas definiciones que ayudan a construir las condiciones para garantizar los tiempos de renovaci´n y, por tanto, la estacionariedad del proceso. o

Un resultado importante es el Teorema 3.7 y su Corolario 3.2, as´ ı como las dos ´ltimas definiciones presentadas al u final de la secci´n. o Tambi´ en se recomienda revisar el Teorema 2.1 y la Nota 2.5 en la Secci´n 2. o Aunque los resultados presentados aqu´ ı abundan en el estudio de los procesos regenerativos estacionarios, sin duda se han omitido definiciones y teoremas que podr´ ıan ayudar en la comprensi´n de este tema. o A pesar de ser procesos ampliamente estudiados, este trabajo est´ limitado por la bibliograf´ ıa revisada, y ser´ ıa valioso ampliar la lectura a otros autores que ya han realizado a estudios en estos temas para lograr un entendimiento m´s profundo. a

En la Subsecci´n 3.3, o se listan algunos resultados para sistemas de espera con tiempos de arribo exponenciales, tiempos de servicio generales y un servidor que opera bajo la pol´ ıtica de servicio First In, First Out ( FIFO ). Se presentan casos en los que las capacidades de los sistemas de visita son infinitas o limitadas ( L ). Como se mencion´ o anteriormente, los tiempos de renovaci´n son cruciales, ya que permiten determinar la estacionariedad de un proceso o estoc´stico. En los sistemas de espera, los tiempos de inter´s son los tiempos de arribo o, equivalentemente, los tiempos a e entre dos partidas consecutivas. Un resultado importante es el presentado en el Teorema 3.11, junto con los Teoremas 3.12 y 3.13.

Finalmente, se sugiere profundizar en el estudio de estos temas, tanto para cadenas de Markov, sistemas de espera, sistemas de visitas y redes de sistemas de visitas, ya que las aplicaciones de estos resultados pueden ser valiosas en ´reas como sistemas de transporte y producci´n. a o Tambi´ en es recomendable actualizar la literatura con publicaciones recientes y libros de texto actualizados. Adem´s, el desarrollo de m´todos num´ricos m´s eficientes para simular procesos a e e a regenerativos podr´ ıa ampliar significativamente el alcance de sus aplicaciones pr´cticas. a

## References

- [1] Ash, Robert B. Basic probability theory. Courier Corporation, 2008.
- [2] Asmussen, S. (1987). Applied Probability and Queues . John Wiley and Sons.

- [3] Bhat, N. (2008). An Introduction to Queueing Theory: Modelling and Analysis in Applications . Birkhauser.
- [4] Borovkov, A. A., and Schassberger, R. (1995). Ergodicity of a Polling Network. Stochastic Processes and their Applications , 50(2), 253-262.
- [5] Daley, D. J. (1968). The Correlation Structure of the Output Process of Some Single Server Queueing Systems. The Annals of Mathematical Statistics , 39(3), 1007-1019.
- [6] Davis, M. H. A. (1984). Piecewise Deterministic Markov Processes: A General Class of Nondiffusion Stochastic Models. Journal of the Royal Statistical Society, Series B , 46(3), 353-388.
- [7] Disney, R. L., Farrell, R. L., and Morais, P. R. (1973). A Characterization of M/G/ 1 Queues with Renewal Departure Processes. Management Science , 19(11), Theory Series, 1222-1228.
- [8] Douc, R., Jacob, P. E., Lee, A., and Vats, D. (2022). Solving the Poisson equation using coupled Markov chains. arXiv preprint arXiv:2206.05691.
- [9] Getoor, R. K. (1979). Transience and Recurrence of Markov Processes. In J. Azema and M. Yor (Eds.), Seminaire de Probabilit´s XIV e (pp. 397-409). New York: Springer-Verlag.
- [10] Gut, A. (1995). Stopped Random Walks: Limit Theorems and Applications . Applied Probability.
- [11] Ng, C. H., and Soong, B. H. (2008). Queueing Modelling Fundamentals with Applications in Communications Networks . John Wiley and Sons.
- [12] Kleinrock, L. (1975). Queueing Systems: Theory, Volume 1 . Wiley-Interscience.
- [13] Lang, S. (1973). Calculus of Several Variables . Addison-Wesley Publishing Company.
- [14] Meyn, S. P., and Tweedie, R. L. (1993). Markov Chains and Stochastic Stability . Springer-Verlag.
- [15] Morozov, E., and Steyaert, B. (2021). Stability analysis of regenerative queueing models. Springer International Publishing.
- [16] Portmann, C., and Renner, R. (2022). Security in quantum cryptography. Reviews of Modern Physics , 94(2), 025008.
- [17] Ross, S. M. (2014). Introduction to Probability and Statistics for Engineers and Scientists . Academic Press.
- [18] Serfozo, R. (2009). Basics of Applied Stochastic Processes . Springer-Verlag.
- [19] Sharpe, M. (1998). General Theory of Markov Processes . Academic.
- [20] Sigman, K., Thorisson, H., and Wolff, R. W. (1994). A Note on the Existence of Regeneration Times. Journal of Applied Probability , 31, 1116-1122.
- [21] Stidham, S. Jr. (1972). Regenerative Processes in the Theory of Queues, with Applications to the Alternating Priority Queue. Advances in Applied Probability , 4(3), 542-577.
- [22] Thorisson, H. (2000). Coupling, Stationarity, and Regeneration . Probability and its Applications. Springer-Verlag.
- [23] Xu, K., Fjelde, T. E., Sutton, C., and Ge, H. (2021, March). Couplings for Multinomial Hamiltonian Monte Carlo. In International Conference on Artificial Intelligence and Statistics (pp. 3646-3654). PMLR.
Carlos Martinez-Rodriguez
Renewal and Regenerative Processes: short review
This document presents a compilation of results related to the theory of
stochastic processes, with a specific focus on Markov processes, regenerative
processes, renewal processes, and stationary processes. The relevance of these
topics lies in the ability to identify regeneration points and the necessary
conditions to ensure the stationarity of the process. The study begins with a
review of Markov chains and continues with the analysis of processes that
satisfy the strong Markov property. Subsequently, it delves into renewal
processes, regenerative processes, and finally, stationary regenerative
processes, highlighting the results presented by Thorisson [22]. This work is
not intended to be exhaustive but aims to provide a solid foundation for
further deepening the knowledge of these processes, given their broad range of
applications in cryptography [16], queueing theory [15], and Monte Carlo
methods [23]. Additionally, the importance of Poisson-type processes is
emphasized due to their numerous applications (see [8]).