Recueil d'Examens (2001 - 2004) Contrôle des EDP - lamsin
Recueil d'Examens (2001 - 2004) Contrôle des EDP - lamsin
Recueil d'Examens (2001 - 2004) Contrôle des EDP - lamsin
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Examen – <strong>Contrôle</strong> optimal 30 mars <strong>2004</strong><br />
B.1. Vérifier que ρ(t) suit l’évolution:<br />
dρ(t) = (rρ(t) + ρ(t)(α − r)y(t))dt + ρ(t)σy(t)dW (t), ρ(0) = ρ<br />
B.2. Ecrire l’équation d’Hamiton-Jacobi-Bellman (HJB) satisfaite par la fonction valeur V .<br />
B.3. Résoudre l’équation HJB, pour cela, on cherchera V de la forme V (t, ρ) = log(ρ)+λ(T −t)<br />
où λ est une constante à déterminer.<br />
B.4. En déduire la politique optimale d’investissement.<br />
Partie C: Opérateurs non expansifs et schéma pour l’équation HJB<br />
Opérateurs non expansifs<br />
On étudie quelques propriétés générales liées à la non expansivité.<br />
Soit T : IR n → IR n . On dit que T est croissant si pour tout x et y dans IR n , avec x ≥ y (soit<br />
xi ≥ yi pour tout i) on a T (x) ≥ T (y).<br />
Si x ∈ IR et α ∈ IR, on note x + α le vecteur de coordonnées xi + α. On dit que T translate<br />
les constantes si T (x + α) = T (x) + α pour tout x ∈ IR et α ∈ IR.<br />
C.1. Soient x et y dans IR n . Montrer que<br />
(3)<br />
(4)<br />
T (y) ≤ T (x) + maxi(yi − xi).<br />
C.2. En déduire avec la relation symétrique que<br />
T (y) − T (x)∞ ≤ yi − xi∞.<br />
autrement dit que T est non expansif.<br />
C.3. Vérifier les hypothèses de croissance et de translation <strong>des</strong> constantes pour l’opérateur<br />
étudié dans la théorie de la commande optimale <strong>des</strong> chaînes de Markov,<br />
⎧<br />
⎨<br />
T (v) := β inf<br />
⎩ ci(u) + <br />
⎫<br />
⎬<br />
Mij(u)vj , i = 1, . . . , m.<br />
⎭ (5)<br />
u∈Ui<br />
j<br />
sous les notations et hypothèses du cours : Ui compact de IR m , Mij(ui) matrice stochastique<br />
quand ui ∈ Ui pour tout i, et ci(u) fonction continue.<br />
C.4. Soient K1 et K2 deux ensembles quelconques, et Tk1,k2 , pour k1 ∈ K1, et k2 ∈ K2,<br />
une famille d’opérateurs vérifiant chacun les hypothèses de croissance et de translation <strong>des</strong><br />
constantes. Montrer que<br />
T (x) := inf sup Tk1,k2 (x)<br />
(6)<br />
k1∈K1 k2∈K2<br />
vérifie aussi les hypothèses de croissance et de translation <strong>des</strong> constantes. (On pourra pour<br />
commencer supposer que K1 ou K2 est réduit à un seul élément).<br />
Schéma pour l’équation HJB<br />
On s’intéresse à l’équation (sans contrôle, ou si on préfère avec un seul contrôle possible)<br />
<br />
−DtV (t, x) = ℓ(t, x) + f(t, x) · DxV (t, x) + ∆V (t, x), t ∈ [0, T ], x ∈ IR n V (T, x)<br />
,<br />
= 0, x ∈ IR n (7)<br />
.<br />
avec ℓ et f lipschitziennes et bornées, et ∆V (t, x) = D2 x2V (t, x) + · · · + D<br />
1<br />
2 x2 V (t, x) opérateur de<br />
n<br />
Laplace.<br />
C.5. Montrer que cette équation a une solution unique au sens de viscosité.<br />
C.6. Interpéter cette solution comme l’espérance d’un critère associé à un système dynamique<br />
stochastique.<br />
ENIT-Mastère de Mathématiques Appliquées 2/4