📚 الرئيسية

مسابقة دكتوراه 2017Université Mohamed Khider - Biskra — الموضوع 08

مسابقة تخصص · Probabilités & Statistiques

Concours d'accès à la formation 3ème cycle LMD — Épreuve de Processus Stochastique, Université Mohamed Khider - Biskra, Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Département de Mathématiques — 21 octobre 2017.

التمرين 1

Exercice 1 — Intégrale stochastique, martingale exponentielle, formule d'Itô

#stochastic-processes#ito-integral#martingale#brownian-motion

Soit (Ω,F,(Ft),P)(\Omega,\mathcal{F},(\mathcal{F}_t),P) un espace de probabilité filtré et (Wt)(W_t) un mouvement Brownien.

  1. (3 pts) Soit f:[0,T]Rf:[0,T]\to\mathbb{R} une fonction de carré intégrable. Montrer que le processus Xt=0tf(s)dWsX_t=\int_0^t f(s)dW_s est un processus gaussien et calculer son espérance et sa variance.
  2. (3 pts) Montrer que le processus

Zt=exp ⁣(0tf(s)dWs120tf2(s)ds)Z_t=\exp\!\left(\int_0^t f(s)dW_s - \frac{1}{2}\int_0^t f^2(s)ds\right)

est une martingale. 3. (1 pt) On définit le processus d'Itô (Xt)(X_t) par dXt=Ktdt+HtdWtdX_t=K_t\,dt+H_t\,dW_t. a. (2 pts) Vérifier que l'exponentielle stochastique Yt=Et(X)=exp ⁣(Xt120tHs2ds)Y_t=\mathcal{E}_t(X)=\exp\!\left(X_t-\frac{1}{2}\int_0^t H_s^2\,ds\right) vérifie dYt=YtdXtdY_t=Y_t\,dX_t, Y0=1Y_0=1. b. (2 pts) En déduire que (Et(X))t(\mathcal{E}_t(X))_t est une martingale si et seulement si Kt=0K_t=0 pour tout t0t\geq 0 et 0tE[HsEs(X)2]ds<+\int_0^t E[|H_s\mathcal{E}_s(X)|^2]\,ds\lt+\infty.

الحل

1.

Xt=0tf(s)dWsX_t=\int_0^t f(s)dW_s est une intégrale d'Itô d'un processus déterministe, donc gaussienne. E[Xt]=0E[X_t]=0, Var(Xt)=0tf2(s)ds\operatorname{Var}(X_t)=\int_0^t f^2(s)ds (isométrie d'Itô).

2.

Poser Mt=0tf(s)dWsM_t=\int_0^t f(s)dW_s (martingale) et At=120tf2(s)dsA_t=\frac{1}{2}\int_0^t f^2(s)ds. Par la formule d'Itô appliquée à g(x)=exg(x)=e^x : dZt=Ztf(t)dWtdZ_t=Z_t\,f(t)dW_t. Donc (Zt)(Z_t) est une intégrale stochastique (sans terme en dtdt) : c'est une martingale locale, et bornée en L2L^2 par l'isométrie, donc une vraie martingale.

3a.

Appliquer Itô à F(t,Xt)=exp(Xt120tHs2ds)F(t,X_t)=\exp(X_t-\frac{1}{2}\int_0^t H_s^2ds) : dYt=(dXt12Ht2dt+12Ht2dt)Yt=YtdXtdY_t=(dX_t-\frac{1}{2}H_t^2dt+\frac{1}{2}H_t^2dt)Y_t=Y_t\,dX_t.

3b.

dYt=YtKtdt+YtHtdWtdY_t=Y_t K_t dt + Y_t H_t dW_t. Pour que YtY_t soit martingale, le terme en dtdt doit être nul : Kt=0K_t=0. La condition d'intégrabilité assure que YtHtdWt\int Y_tH_tdW_t est une vraie martingale.

التمرين 2

Exercice 2 — Processus signe, indépendance de Bt et Xt

#stochastic-processes#brownian-motion#stochastic-integral#independence

Soit (Bt)t0(B_t)_{t\geq 0} un mouvement Brownien standard sur (Ω,F,(Ft),P)(\Omega,\mathcal{F},(\mathcal{F}_t),\mathbb{P}) et soit (Xt)t0(X_t)_{t\geq 0} le processus défini par Xt=0tsign(Bs)dBsX_t=\int_0^t \operatorname{sign}(B_s)\,dB_ssign(x)=1\operatorname{sign}(x)=1 si x0x\geq 0 et sign(x)=1\operatorname{sign}(x)=-1 si x<0x\lt 0.

a. (4 pts) Montrer que E(XtBs)=0\mathbb{E}(X_t B_s)=0 pour tout s,t0s,t\geq 0. b. (3 pts) Montrer que

E(XtBt2)=23/2t3/213π\mathbb{E}(X_t B_t^2) = 2^{3/2}\,t^{3/2}\,\frac{1}{3\sqrt{\pi}}

et conclure que (Bt)(B_t) et (Xt)(X_t) ne sont pas indépendants.

الحل

a.

On suppose sts\leq t. Xt=Xs+stsign(Bu)dBuX_t=X_s+\int_s^t\operatorname{sign}(B_u)dB_u. BsB_s est Fs\mathcal{F}_s-mesurable, l'intégrale stsign(Bu)dBu\int_s^t\operatorname{sign}(B_u)dB_u est orthogonale à Fs\mathcal{F}_s : donc E[Bsstsign(Bu)dBu]=0E[B_s\int_s^t\operatorname{sign}(B_u)dB_u]=0. Par Itô isometry, E[XsBs]=E[0ssign(Bu)dBuBs]=0sE[sign(Bu)]du=0E[X_s B_s]=E[\int_0^s \operatorname{sign}(B_u)dB_u \cdot B_s]=\int_0^s E[\operatorname{sign}(B_u)]\,du=0 car BuN(0,u)B_u\sim\mathcal{N}(0,u) est symétrique. Donc E[XtBs]=0E[X_t B_s]=0.

b.

Par intégration par parties stochastique : Bt2=20tBsdBs+tB_t^2=2\int_0^t B_s\,dB_s+t. Donc E[XtBt2]=2E[Xt0tBsdBs]+t0=20tE[sign(Bs)Bs]ds=20tE[Bs]ds=20t2sπds=22π23t3/2=23/2t3/23π0E[X_t B_t^2]=2E[X_t\int_0^t B_s\,dB_s]+t\cdot 0=2\int_0^t E[\operatorname{sign}(B_s)\cdot B_s]\,ds=2\int_0^t E[|B_s|]\,ds=2\int_0^t\sqrt{\frac{2s}{\pi}}\,ds=\frac{2\sqrt{2}}{\sqrt{\pi}}\cdot\frac{2}{3}t^{3/2}=\frac{2^{3/2}t^{3/2}}{3\sqrt{\pi}}\neq 0.

Ce résultat 0\neq 0 montre que (Bt)(B_t) et (Xt)(X_t) ne sont pas indépendants.

التمرين 3

Exercice 3 — Martingale à temps discret : définition et propriétés

#stochastic-processes#discrete-martingale#conditional-expectation#filtration

On suppose donné un processus stochastique à temps discret (Xn)n0(X_n)_{n\geq 0} une suite de variables aléatoires définies sur le même espace probabilisé. On dit que (Xn)n0(X_n)_{n\geq 0} est une martingale par rapport au processus (Yn)n0(Y_n)_{n\geq 0} si pour tout nNn\in\mathbb{N} : E(Xn)<+E(|X_n|)\lt+\infty et E(Xn+1/Y0,Y1,,Yn)=XnE(X_{n+1}/Y_0,Y_1,\ldots,Y_n)=X_n.

On suppose que (Xn)n0(X_n)_{n\geq 0} est une martingale par rapport à (Yn)n0(Y_n)_{n\geq 0}.

  1. (2 pts) Montrer que XnX_n est une fonction mesurable de (Y0,Y1,,Yn)(Y_0,Y_1,\ldots,Y_n).
  2. (2 pts) Montrer que pour tout nNn\in\mathbb{N}, E(Xn)=E(X0)E(X_n)=E(X_0).
  3. (2 pts) Montrer que pour tout nNn\in\mathbb{N}, E(Xn/Y0,Y1,,Yn)=XnE(X_n/Y_0,Y_1,\ldots,Y_n)=X_n.
  4. (1 pt) Soient Y0=0Y_0=0 identiquement nulle et (Yn)n0(Y_n)_{n\geq 0} une suite de variables aléatoires mutuellement indépendantes, centrées et telles que E(Yn)<+E(|Y_n|)\lt+\infty. Pour tout n0n\geq 0, on pose Xn=Y0+Y1++YnX_n=Y_0+Y_1+\cdots+Y_n. Montrer que (Xn)n0(X_n)_{n\geq 0} est une martingale par rapport à (Yn)n0(Y_n)_{n\geq 0}.
الحل

1.

Par définition de la martingale, Xn=E(XnY0,,Yn)X_n=E(X_n|Y_0,\ldots,Y_n), qui est σ(Y0,,Yn)\sigma(Y_0,\ldots,Y_n)-mesurable.

2.

Par la propriété de la tour : E[Xn+1]=E[E[Xn+1Y0,,Yn]]=E[Xn]E[X_{n+1}]=E[E[X_{n+1}|Y_0,\ldots,Y_n]]=E[X_n]. Par récurrence, E[Xn]=E[X0]E[X_n]=E[X_0].

3.

Xn=E[Xn+1Y0,,Yn]X_n=E[X_{n+1}|Y_0,\ldots,Y_n] donc E[XnY0,,Yn]=XnE[X_n|Y_0,\ldots,Y_n]=X_n (propriété de l'espérance conditionnelle d'une v.a. mesurable).

4.

E[Xn]k=0nE[Yk]<+E[|X_n|]\leq\sum_{k=0}^n E[|Y_k|]\lt+\infty. E[Xn+1Y0,,Yn]=E[Xn+Yn+1Y0,,Yn]=Xn+E[Yn+1]=XnE[X_{n+1}|Y_0,\ldots,Y_n]=E[X_n+Y_{n+1}|Y_0,\ldots,Y_n]=X_n+E[Y_{n+1}]=X_n car Yn+1Y_{n+1} est indépendant de (Y0,,Yn)(Y_0,\ldots,Y_n) et centré.