17.11.2013 Views

Processus de Markov, de Levy, Files d'attente, Actuariat et Fiabilité ...

Processus de Markov, de Levy, Files d'attente, Actuariat et Fiabilité ...

Processus de Markov, de Levy, Files d'attente, Actuariat et Fiabilité ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.6.4 Le théorème <strong>de</strong> Perron-Frobenius<br />

Exercice 1.6.1 Est-ce qu’il existent <strong>de</strong>s matrices réeles 2 × 2, sans éléments négatifs, <strong>et</strong><br />

avec <strong>de</strong>s valeurs propres complexes?<br />

La réponse est un cas particulier du :<br />

Théorème 1.6.2 (Perron-Frobenius) Soit P une matrice finie sans éléments négatifs.<br />

Alors :<br />

1. Parmi les valeurs propres <strong>de</strong> module maximal il existe toujours une, λ = λ PF qui est<br />

réelle positive, qu’on apellera la valeur propre PF (<strong>de</strong> Perron-Frobenius). Dès<br />

lors, toutes les autres valeurs propres ont une valeur absolue inférièure ou égale à la<br />

valeur propre λ PF .<br />

2. Le bloque <strong>de</strong> Jordan correspondant à λ PF a une structure diagonale (i.e. la multiciplité<br />

algebrique ν PF <strong>de</strong> λ PF est égale à la dimension <strong>de</strong> son espace <strong>de</strong> vecteurs propres), <strong>et</strong> les<br />

espaces <strong>de</strong>s vecteurs propres à droite <strong>et</strong> à gauche <strong>de</strong> λ PF contiennent chacun une base<br />

<strong>de</strong> vecteurs propres v (PF)<br />

i , π (PF)<br />

i , i = 1, 2, ..., ν PF ayant toutes leurs composantes<br />

nonnégatives.<br />

3. S’il y a d’autres valeurs propres égales à λ PF en valeur absolue, elles doivent être <strong>de</strong>s<br />

racines <strong>de</strong> λ PF , i.e. <strong>de</strong> la forme λ 1/p<br />

PF , p ∈ N.<br />

Rémarque : Le théorème <strong>de</strong> PF a plusieurs implications pour l’analyse <strong>de</strong>s chaînes<br />

<strong>de</strong> <strong>Markov</strong> homogènes à espace d’états fini. Par exemple, l’existance <strong>de</strong>s valeurs propres<br />

qui sont <strong>de</strong>s racines <strong>de</strong> λ PF est équivalente à la presence <strong>de</strong>s périodicités dans la suite <strong>de</strong>s<br />

puissances P n , n = 1, 2, ...<br />

e:PF Exercice 1.6.2 Démontrer qu’une matrice stochastique P n’a pas <strong>de</strong> valeurs propres avec<br />

module plus grand que 1, <strong>et</strong> donc sa valeur propre PF est égale à 1. Ind : Inyuitivement, les<br />

moyennes pon<strong>de</strong>rées <strong>de</strong> v données par Pv ne peuvent pas augmenter les composantes <strong>de</strong> v.<br />

Exercice 1.6.3 Montrez que le théorème <strong>de</strong> Perron-Frobenius implique :<br />

1. Une chaîne homogène à espace d’états fini a au moins une distribution stationnaire.<br />

2. La dimension <strong>de</strong> l’espace d’états <strong>de</strong>s distributions stationnaires coinci<strong>de</strong> avec le nb <strong>de</strong>s<br />

classes <strong>de</strong> récurrence.<br />

1.6.5 Le comportement limite <strong>de</strong>s chaînes, à partir <strong>de</strong> la représentation<br />

spectrale<br />

Le comportement limite <strong>de</strong> chaînes <strong>de</strong> <strong>Markov</strong>, i.e. le calcul <strong>de</strong><br />

lim p 0P n := p 0 P<br />

n→∞<br />

est facile à obtenir via une approche compl<strong>et</strong>ement algébrique, en utilisant :<br />

1. le théorème PF. Plus precisément, le fait que 1 est la valeur propre PF pour toutes<br />

les matrices stochastiques P (exercice (1.6.2), <strong>et</strong> que donc dans l’absence <strong>de</strong>s classes<br />

périodiques, toutes les autres valeurs propres sont strictement inférièures à 1 en valeur<br />

absolue.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!