Top Banner
Procesos de Markov de saltos Mogens Bladt 26 de septiembre de 2017 IIMAS-UNAM
35

Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Sep 19, 2018

Download

Documents

vanthuan
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Procesos de Markov de saltos

Mogens Bladt26 de septiembre de 2017

IIMAS-UNAM

Page 2: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Probabilidades de transición

TeoremaSea P t = {ptij} la matríz de transición de paso t para elproceso de Markov de saltos {Xt}t≥0, i.e.

ptij = Pi(Xt = j) = P(Xs+t = j | Xs = i).

Entoncesd

dtP t = ΛP t = P tΛ.

1

Page 3: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Demostración

Asumimos que el espacio de estado es finito. Condicionando enT0,

ptij = P(Xt = j | X0 = i)

= Pi(T0 > t)δij +∫ t

0λie−λis

∑k 6=i

qikpt−skj ds

= e−λitδij +∫ t

0λie−λi(t−u)∑

k 6=iqikp

ukjdu

= e−λit

δij +∫ t

0eλiu

∑k 6=i

λikpukjdu

.Entonces: t→ ptij es diferenciable.

2

Page 4: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Demostración

Tomando derivado,

d

dtptij = −λie−λit

δij +∫ t

0eλiu

∑k 6=i

λikpukjdu

+ e−λiteλit∑k 6=i

λikptkj

= −λiptij +∑k 6=i

λikptkj

=∑k

λikptkj ,

lo cual es lo mismo que

d

dtPt = ΛP t.

Segunda igualdad: deriva P s+t = P tP s c.r.a. s, usa la primeraparte y deja s ↓ 0.

3

Page 5: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Solución

En el caso de espacio de estado finito, las ecuacionesdiferenciales de Kolmogorov tiene solucion

P t = exp (Λt) =∞∑n=0

tn

n!Λn.

Como se calcula eΛx en practico?

Aquí destingimos entre calculo téorico y evalución númerico.

Téorico: diagonalización de Λ.

Númerico: Runge–Kutta, uniformización,....

4

Page 6: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz exponencial

La matríz exponencial esta definido por la serie de Picard

eA =∞∑n=0

An

n! ,

donde A0 = I.

Se satisfaced

dxeAx = AeAx = eAxA.

Si A is nosingular, tenemos∫eAxdx = A−1eAx.

Tenemos quee(A+B)x = eAxeBx

si A y B comuten.

Por lo tanto, la inversa de eAx es e−Ax. 5

Page 7: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Uniformización

• Toma η ≥ maxi(−λii).• ηI + Λ ≥ 0.• Las filas de ηI + Λ suman a η (como las de Λ suman acero).• Entonces

P := I + η−1Λ

es una matríz de transción.• Equivalentmente,

Λ = η(P − I)

• y

eΛt = eη(P−I)t = e−ηteP ηt = e−ηt∞∑n=0

(ηt)n

n! P n.

6

Page 8: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Uniformización: interpretación

Sea {Xn}n≥0 una cadena de Markov con matríz de transición P .

Definimos {Zt}t≥0 como el proceso que resulta reemplazandolos tiempos entre Xn y Xn−1 por tiempos ∼ exp(η) (todosindependientes).

Cual es la probablidad que {Zt}t≥0 hace una transición de i aj 6= i durante [t, t+ dt)?

Es la probabilidad que hay un arrivo, lo cual tiene proba ηdt, yse hace la transición de i a j 6= i en {Xn}, lo cual tiene probapij :

ηdt · pij = ηdt · λijη

= λijdt.

7

Page 9: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Uniformización: interpretación

Xn puede hacer transiciones de i a i.

Cual la intensidad cuando Xn = i para saltar fuera de i?

Utilizar argumento de thinning.

Con proba pii se elimina el punto y con proba 1− pii se queda(sera un salto que deveras).

Entonces la tasa total con la cual se saltara a un estado 6= i esde (1− pii)η.

Pero1− pii = 1− (1 + λii

η) = λi

η

la tasa total es de η · (1− pii) = λi, lo cual coincide con elproceso original que tiene matríz de intensidad Λ.

8

Page 10: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Calculo y precisión

Hacemos la aproximación

eΛx =∞∑n=0

xn

n! Λn ≈m∑n=0

xn

n! Λn

para algún m. Para obtener una precisón de∣∣∣∣∣exp(Λt)−∑n=0

P n (ηt)n

n! e−ηt∣∣∣∣∣ < ε,

para algún norma de matríz | · |, se toma m tal que∑n=0

(ηt)n

n! e−ηt > 1− ε.

m puede ser muy grande, pero se puede controlar con “scalingand squaring”:

eΛx =(eΛx/2n

)2n

para un n tal que xΛ es “pequeño”. 9

Page 11: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Distribuciones tipo fase

Sea {Xt}t≥0 un proceso de Markov con espacio de estadosE = {1, 2...., p, p+ 1} donde

1. estados 1, ..., p son transitorios2. estado p+ 1 es absorbente

y matríz de transición

Λ =(T t

0 0

)=(T p×p tp×1

01×p 0

)

T es una matríz de subintensidad

t vector de (intesidades de) salida.

t = −Te.

10

Page 12: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Distribuciones tipo fase

Espeicificamos una distibución inicial:

πi = P(X0 = i), i = 1, ..., p, p+ 1

Suponemos que πp+1 = 0. De lo contrario tendriamos un átomoen cero.

Defina π = (π1, ...,πp). Ese sera la distribución inicial sobre losestados transitorios.

Como πe =∑pi=1 πi = 1, es una distribución propio.

DefiniciónSe dice que el tiempo hasta absorción

τ = ınf{t ≥ 0 : Xt = p+ 1}

tiene una distribución tipo fase con representación (π,T ) yescribimos τ ∼ PHp(π,T ). 11

Page 13: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Distribuciones tipo fase

t

Xt

12345

pp+ 1

τ

12

Page 14: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Ejemplo: Erlang

Si X1, ...Xp i.i.d. ∼ exp(λ) entonces τ = X1 + · · ·+Xp tiene unadistribucion tipo fase con parámetros

π = (1, 0, ..., 0), T =

−λ λ 0 0 · · · 0 00 −λ λ 0 · · · 0 00 0 −λ λ · · · 0 0...

......

......

......

0 0 0 0 · · · −λ λ

0 0 0 0 · · · 0 −λ

.

La densidad es tipo Gamma con

f(x) = λn

Γ(n)xp−1e−λx

Para ver que es tipo fase con la distribución arriba basta ver lasiguiente gráfica:

13

Page 15: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Ejemplo:Erlang

t

Xt

12345

pp+ 1 abs

S1 S2 S3 S4 τ

14

Page 16: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Erlang generalizada

Aquí Xi ∼ exp(λi) independientes y

τ = X1 + · · ·+Xp.

Entonces τ ∼ PHp(π,T ) donde

π = (1, 0, 0, . . . , 0), T =

−λ1 λ1 0 0 · · · 00 −λ2 λ2 0 · · · 00 0 −λ3 λ3 · · · 0...

......

......

...0 0 0 0 · · · −λp

.

La prueba es el mismo dibujo.

La prueba también revela el problema de falta unicidad en larepresentación.

15

Page 17: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Hiper–exponencial

Una mezcla de exponenciales independientes se llamahiper–exponencial:

f(x) =p∑i=1

πiλie−λix

donde π1 + · · ·+ πp = 1.

Entonces τ ∼ f es tipo fase con parámetros:

π = (π1, π2, . . . , πp), T =

−λ1 0 0 0 · · · 00 −λ2 0 0 · · · 00 0 −λ3 0 · · · 0...

......

............

...0 0 0 0 · · · −λp

.

La prueba as más dificil de dibujar, pero tratamos...16

Page 18: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Hiper–exponencial

t

Xt

12345

pp+ 1 abs

τ1τ2 τ3

17

Page 19: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Diagramas de flujo: convolucion y mezcla

inicio 1 2 3 p p+ 1λ1 λ2 λp

1

2

3

4

p

incio p+1

λ1λ2λ3λ4

λp

π1π2π3π4

πp

18

Page 20: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Representación matríz exponencial

Lema

exp((T t

0 0

)s

)=(

exp(T s) e− exp(T s)e0 1

).

Dem: Por definición,

Λ0 = Ip+1 =(Ip 00 1

).

Usando t = −Te, obtenemos que

Λn =(T n −T ne0 0

), n ∈ N.

19

Page 21: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Representación matríz exponencial

exp(Λs) =∞∑n=0

Λnsn

n!

= Ip+1 +∞∑n=1

Λnsn

n!

= Ip+1 +( ∑∞

n=1T n

sn

n! −∑∞n=1

T nsn

n! e

0 0

)

=(Ip +

∑∞n=1

T nsn

n! −∑∞n=1

T nsn

n! e

0 1

)

=(eT s e− eT se0 1

).

Para i, j ∈ {1, 2, ..., p} tenemos

P(Xs = j|X0 = i) =(eT s

)ij

20

Page 22: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Densidad

TeoremaSi τ ∼ PHp(π,T ) entonces tiene densidad

fτ (x) = πeT xt.

Dem: Usando la interpretación,

fτ (u)du = Fτ (u+ du)− Fτ (u) = P(τ ∈ (u, u+ du]),

condicionamos en el valor de Xu:

fτ (u)du =p∑j=1

P(τ ∈ (u, u+ du]|Xu = j)P(Xu = j).

Ahora P(τ ∈ (u, u+ du]|Xu = j) = tjdu y

P(Xu = j) =p∑i=1P(Xu = j|X0 = i)P(X0 = i) =

(πeT u

)j

21

Page 23: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Densidad

y se concluye que

fτ (u)du =p∑j=1

(πeT u

)jtjdu = πeT utdu.

Formalmente,fτ (u)h = πeT uth+ o(h)

así que dividiendo con h y dejandolo ir a cero, sigue que

fτ (u) = πeT ut.

22

Page 24: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Función de distribución

TeoremaSi τ ∼ PH(π,T ) entonces su función de distribución esta dadopor

F (u) = 1− πeT ue.

Dem: Nota que

P(τ > u) = P(Xu ∈ {1, 2, ..., p})

=p∑j=1

P(Xu = j)

=p∑j=1

(πeT u

)j

= πeT ue

23

Page 25: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Irreducibilidad

Si todos los estados transitorios son necessarios, y no existenestados inacanzables y inutiles en una representación, se diceque la representación es irreducible.

Formalmente:DefiniciónUna representación (α,S) es irreducible si(

αeSx)i> 0

para todo i = 1, . . . , p y todo x > 0.

Densidades para distribuciones tipo fase son estrictamentepositivias para todo x > 0.

Toma una representación irreducible y nota que t 6= 0 asi queexiste un j con tj > 0. 24

Page 26: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de subintensidad

TeoremaConsidere un proceso de Markov de saltos con espacio deestados {1, 2, . . . , p, p+ 1} y matríz de intensidad de la forma

Λ =(T t

0 0

),

donde T es la matríz de subintensidad p× p que corresponde alos estados 1, . . . , p.

Entonces T es invertible si y solo si los estados 1, 2, . . . , p sontransitorios.

25

Page 27: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de subintensidad

Supongamos que 1, ..., p son transitorios. Considere

νT = 0.

Esto esp∑j=1

νjtij = 0, i = 1, ..., p

o, usando λi = −tii,

νiλi =∑j 6=i

νjtji =∑j 6=i

νjλjqji.

Como qii = 0, también tenemos

νiλi =p∑j=1

νjλjqji.

Con uj = νjλj , u = (u1, ..., up) y Q = {qij}i,j=1,...,p esto es

u = uQ = ... = uQn. 26

Page 28: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de subintensidad

Como 1, ..., p son transitorios, Qn → 0 y conluimos que u = 0.

Entonces ν = 0 y las filas de T son linealmente independientes.

Al revez, supongamos que T es invertible.

Sea ai la proba de abs. eventual dado X0 = i.

Entoncesai = qi,p+1 +

∑j 6=i

qijaj .

oai = ti

−tii+∑j 6=i

tij−tii

aj

implicando

ti +p∑j=1

tijaj = 0

27

Page 29: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de subintensidad

Con a = (a1, ..., ap)′ esto es

t+ Ta = 0.

Ahora t = −Te asi que

Ta = Te

y como T es invertiblea = e,

i.e. la proba de abs. es uno desde cualquier estado 1, ..., p loimplica que son transitorios.

28

Page 30: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de Green

Consecuencia inmediato es que la matríz de subintensidad T enuna representación tipo fase PHp(π,T ) es invertible.

DefiniciónLa matríz U = (−T )−1 se llama la matríz de Green.

TeoremaSea τ ∼ PHp(π,T ) y sea {Xt}t≥0 el proceso que genera τ .Entonces las entradas uij de la matríz de Green tienen lasiguiente interpretación: uij es el tiempo esperado que elproceso {Xt}t≥0 estará en estado j antes que abs. dado queX0 = i.

29

Page 31: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de Green

Dem: DefinaZj =

∫ τ

01{Xu = j}du

Entonces para i, j = 1, ..., p,

Ei(Zj) = Ei

(∫ τ

01{Xu = j}du

)=

∫ ∞0Pi(Xu = j, τ ≥ u)du

=∫ ∞

0Pi(Xu = j)du

=∫ ∞

0

(eT u

)ijdt

1, ..., p transitorios =⇒ Pi(Xt = j, t < τ)→ 0 cuando t→∞ y

eT x → 0 as x→∞.

30

Page 32: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

Matríz de Green

Entonces

{Ei(Zj)}i,j=1,...,p =∫ ∞

0eT udu =

[T−1eT u

]∞0

= (−T )−1.

Implicación casi inmediata:

E(τ) = πUe = π(−T )−1e.

Tambíen eT u → 0 indicaria que todos los eigenvalores de T sonestrictamente negativos.

31

Page 33: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

CorolarioLos eigenvalores de una matríz de subintensidad tienen partesreales estrictamente negativos.

Sea θ = maxi(−tii) y defina K por la relación,

T = θ(K − I).

Entonces K es una matríz de subtransición de una distribucióntipo fase discreta.

Este tiene todas los eigenvalores dentro de circulo unitario.

Sea v un eigenvector de T con eigenvalor λ y sea el eigenvalorde correspondiente K, µ.

Entonces λ = θ(µ− 1), y su parte real es estrictamente negativo.

32

Page 34: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

TeoremaE momento de orden n de una variable τ ∼ PH(π,T ) estadado por

E(τn) = n!π(−T )−ne.

Dem: Sea v(n)ij el volumen esperado generatedo por el proceso de

Markov mientras que este en estado j dado inicio en estado i.

Sea V (n) ={v

(n)ij

}i,j=1,...,p

. Entonces

v(n)ij = Ei

(∫ τ

0ntn−11{Xt = j}dt

)=

∫ ∞0

ntn−1Pi(Xt = j, τ ≥ t)dt

=∫ ∞

0ntn−1

(eT t

)ijdt,

i.e. V (n) = n!(−T )−n = n!Un. Entonces

E(τn) = πV (n)e = n!πUne. 33

Page 35: Procesos de Markov de saltos - dpye.iimas.unam.mx · Los eigenvalores de una matríz de subintensidad tienen partes reales estrictamente negativos. Sea ...

t

t

t

Xt

b a

τ

t

Xt

ba

τ

34