• Aucun résultat trouvé

On d´esigne par B={B(t)}t∈R+ ={Bt}t∈R+ un mouvement brownien, d´efini sur (Ω,F, P), qui est ` a valeurs r´eelles, `a trajectoires continues, et v´erifie E B(1)2 = 1

N/A
N/A
Protected

Academic year: 2022

Partager "On d´esigne par B={B(t)}t∈R+ ={Bt}t∈R+ un mouvement brownien, d´efini sur (Ω,F, P), qui est ` a valeurs r´eelles, `a trajectoires continues, et v´erifie E B(1)2 = 1"

Copied!
2
0
0

Texte intégral

(1)

Universit´e de Lille, M2 Math´ematiques - Parcours Math´ematiques Appliqu´ees, Devoir Surveill´e ”Int´egrale d’Itˆo, formule d’Itˆo et applications `a la finance”

Ce DS du 15/03/18 concerne la partie du cours enseign´ee par A.Ayache, sa dur´ee est 2 heures.

Les documents sont autoris´es. La qualit´e de la r´edaction intervient dans l’appr´eciation de la copie.

Remarques : Dans tout ce sujet de DS, l’espace de probabilit´e sous-jacent est not´e par (Ω,F, P).

L’op´erateur esp´erance (associ´e `a P) est not´e E(·).

On d´esigne par B={B(t)}t∈R+ ={Bt}t∈R+ un mouvement brownien, d´efini sur (Ω,F, P), qui est

`

a valeurs r´eelles, `a trajectoires continues, et v´erifie E B(1)2

= 1. De plus, on d´esigne par (Ft)t∈R+

la filtration naturelle associ´ee `a {B(t)}t∈R+; rappelons queFt:=σ B(u) ;u≤t

, pour toutt∈R+. Par ailleurs, pour tousj ∈Netk∈N, on pose dj,k := 2−jk=k/2j.

Signalons enfin que, pour tous r´eelsaetb, on note para∧b le minimum deaetb.

Exercice On d´esigne parZ la variable al´eatoire d´efinie, pour tout ω∈Ω, par Z(ω) :=B(1, ω)−2

Z 1

0

sB(s, ω)ds.

1) Montrer queZ est mesurable pour la sous-tribuF1 de F.

2) Montrer queZ appartient `aL2(Ω,F1, P) et que son esp´erance vaut z´ero.

3) Calculer la variance de Z ; pour ce faire on pourra utiliser la formule d’Itˆo.

Probl`emeSoit une fonction mesurable f de R+×Ω,B(R+)⊗ F

dans (R,B(R)) v´erifiant les trois propri´et´es suivantes:

(I) pour toutω∈Ω fix´e, la fonctions7→f(s, ω) est continue sur R+; (II) le processus stochastique{f(s)}s∈R+ est (Fs)s∈R+-adapt´e;

(III) f est born´ee, c’est-`a-dire que ρf := sup

|f(s, ω)|; (s, ω)∈R+×Ω <+∞.

1) Pour tout j ∈ N fix´e, on note par {Ij(t)}t∈R+ le processus stochastique d´efini, pour tout t∈ R+, par

Ij(t) :=

+∞

X

k=0

f(dj,k)

B(t∧dj,k+1)−B(t∧dj,k)2

. Montrer que ce processus est (Ft)t∈R+-adapt´e.

2) Pouver que, pour toutj ∈Net pour tout t∈R+ fix´es, on aIj(t)∈L2(Ω,F, P).

3) On d´esigne par µ la fonction d´efinie, pour tout s ∈ R+, par µ(s) = E f(s)

. Montrer que µ est born´ee et qu’elle est continue sur R+.

4) Montrer que, pour tout t∈R+ fix´e, on a lim

j→+∞E Ij(t)

= Z t

0

µ(s)ds.

1

(2)

5) Pour tout j ∈ N fix´e, on note par {Iej(t)}t∈R+ le processus stochastique d´efini, pour tout t∈ R+, par

Iej(t) :=

+∞

X

k=0

f(dj,k)E

B(t∧dj,k+1)−B(t∧dj,k)2 .

a) Montrer que l’on

supn t−1

eIj(t, ω)

; (j, t, ω)∈N×]0,+∞[×Ωo

≤ρf, et en d´eduire que, pour toutj∈Net pour toutt∈R+, on aIej(t)∈L2(Ω,F, P).

b) Pour tout j ∈ N et pour tout t ∈ R+, on pose Rj(t) = Ij(t) −Iej(t). Prouver que, pour tout t ∈ R+ fix´e, la suite de variables al´eatoires (Rj(t))j∈N converge vers 0 (la variable al´eatoire identiquement nulle) au sens de la norme deL2(Ω,F, P).

c) Prouver que, pour tout t∈R+ fix´e, la suite de variables al´eatoires (Rj(t))j∈N converge vers 0 P-presque sˆurement.

d) Pour tout t ∈ R+ fix´e, ´etudier la convergence presque sˆure de la suite de variables al´eatoires (Ij(t))j∈N et d´eterminer pr´ecis´ement la limite de cette suite.

6) On d´esigne par Gune fonction d´eterministe deR+ dans R qui est continue sur R+. On note par {X(t)}t∈R+ le processus stochastique qui est d´efini, pour tout t∈R+, par l’int´egrale d’Itˆo

X(t) :=

Z t

0

f(s)dBs.

Dans tout ce qui suit, ce processus{X(t)}t∈R+ est identifi´e avec sa modification `a trajectoires continues, dont on connait l’existence d’apr`es le cours. Pour tout j ∈ N fix´e, on d´esigne par {Yj(t)}t∈R+ le processus stochastique d´efini, pour toutt∈R+, par

Yj(t) :=

+∞

X

k=0

G(dj,k)

X(t∧dj,k+1)−X(t∧dj,k) .

a) Montrer que, pour tout j∈Nfix´e,{Yj(t)}t∈R+ est une (Ft)t∈R+-martingale de carr´e int´egrable dont les trajectoires sont des fonctions continues.

b) Prouver que, pour T ∈R+ fix´e, on a pour toutj ∈Net pour tout λ∈R+, P

sup

t∈[0,T]

|Yj(t)| ≥λ

≤λ−2ρ2fT × sup

t∈[0,T]

|G(t)|2 .

c) Pour tout T ∈R+ et pour tout j∈N, on pose Uj(T) := (1 +j)−3/4×

sup

t∈[0,T]

|Yj(t)|

.

Pour toutT ∈R+fix´e, ´etudier la convergence presque sˆure de la suite de variables al´eatoires (Uj(T))j∈N

et d´eterminer pr´ecis´ement la limite de cette suite.

d) Montrer que, pour tout t ∈ R+ fix´e, la suite de variables al´eatoires (Yj(t))j∈N converge dans L2(Ω,F, P) vers une variable al´eatoire, not´ee par Y(t), qui s’exprime comme une int´egrale d’Itˆo que l’on pr´ecisera (cette question n’est pas li´ee aux deux questions qui la pr´ec`edent).

2

Références

Documents relatifs

a) représenter graphiquement cette fonction affine pour x positif et inférieur à 6 (on prendra 2 cm pour unité sur l’axe des abscisses et 1 cm pour 100 unités sur l’axe

It was however thought desirable to adhere to the familiar expressions since, as will be shown (a) each &#34;vector&#34; is uniquely determined by certain components, and

There exists a coarse moduli scheme M for the equivalence classes of semistable parabolic vector bundles (on an irreducible nonsingular complete curve X}.. of

Wojtasz- czyi( that he has used the theory of molecules to study basis properties of the Franklin system.. We remark that the theory of molecules can be used also for

The following theorem implies Theorem 5 o f Rothschild--Stein [1] if one takes for Yi left invariant vector fields from the appropriate nilpotent Lie group...

As an approach to the problem of characterising and classifying Banach spaces in terms of their geometric structure, consideration has been given to the following

28 AttKIV F(JR MATEMATIK.. 32 AItKIV FOR lgATE~IATIK. The projection onto the hyperplane in Definition 3.3 can obviously be substituted by a projection onto a suitably chosen

SKOLEM, Einige S~tze tiber gewisse Reihenentwicklungen und exponenti~le Beziehungen mit Anwendung auf diophantische Gleichungen.. A_lmqvist &amp; Wiksells