14.06.2014 Views

Introduction à la commande stochastique v.0.9 - Jean-Pierre ...

Introduction à la commande stochastique v.0.9 - Jean-Pierre ...

Introduction à la commande stochastique v.0.9 - Jean-Pierre ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

54 3. COMMANDE OPTIMALE STOCHASTIQUE<br />

et donc<br />

A n+1 (v n − v n+1 ) − w n + w n+1 ≤ 0 ,<br />

et donc le même raisonnement que celui prouvant <strong>la</strong> positivitédew n<br />

montre que :<br />

w n − w n+1 ≥ 0 ⇒ w n ≥ w n+1 .<br />

• PASSAGE À LA LIMITE SUR L’INDICE D’ITÉRATION n.Onau n ∈ F<br />

compact, il existe donc une sous suite (s n′ ) convergente. Notons s ∗<br />

sa limite. Le lieu du spectre de A s , s ∈ S F est compact puisque u →<br />

λ A s ,où λ désigne une valeur propre, est continue et que l’ensemble<br />

des stratégies est compact. Et donc, puisque ∀s ∈ S F les chaînes de<br />

Markov sont irréductibles, il existe un voisinage de 0 dans le p<strong>la</strong>n<br />

complexe ne contenant aucune autre valeur propre de A s que 0, ∀s ∈<br />

S F . Donc en utilisant <strong>la</strong> semi-simplicitéde<strong>la</strong>valeurpropre0,ilexiste<br />

k réel positif :<br />

‖A n | −1<br />

R(A n ) ‖≤k<br />

où R(A n ) désigne l’image de A n . La suite (v n ) reste donc bornée.<br />

Il existe donc une sous-suite notée n” telle que:<br />

A n”+1 → A ∗ ,<br />

v n” → v ∗ ,<br />

v n”+1 → v ∗∗ ,<br />

w n”+1 → w ∗ ,<br />

w n” → w ∗ ,<br />

c n”+1 → c ∗ .<br />

On a alors<br />

A n”+1 v n”+1 + c n”+1 − w n”+1 = 0 ,<br />

A n”+1 v n” + c n”+1 ≤ A s v n” + c s , ∀s ∈ S F .<br />

En passant <strong>à</strong> <strong>la</strong> limite sur n” on obtient :<br />

A ∗ v ∗∗ + c ∗ − w ∗ = 0 ,<br />

A ∗ v ∗ + c ∗ ≤ A s v ∗ + c s , ∀s ∈ S F ,<br />

A ∗ v ∗ + c ∗ − w ∗ ≤ 0 ,<br />

et donc en notant ṽ = v ∗ − v ∗∗ :<br />

A ∗ ṽ ≤ 0 .<br />

Montrons que A ∗ ṽ = 0. Si x désigne un indice ∈ E où ṽ atteint son<br />

minimum (A ∗ ṽ) x ≥ 0 et donc<br />

(A ∗ ṽ) x = 0 , (5.3)

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

Saved successfully!

Ooh no, something went wrong!