Université d’Orléans – Master 2 Recherche de Mathématiques 2011-12 1

Martingales et calcul stochastique

Corrigé de l’examen du 17 janvier 2012

Prol
m 1 : L loi  l’rsinus (10 points)
Soit Bt t>0 un mouvmnt Brownin stnr ns R . On onsir l prossus
∫
1 t
Xt = 1{Bs >0} s , t>0
t 0

L ut   prolm st  ́montrr l lo  l’rsnus :

  2 √ 
P Xt < u = Arsn u , 06u61 (1)
π
1. Qu rpr́snt l vril Xt ?
Xt st l proporton  tmps vnt t pnnt lqull l mouvmnt Brownn st
post. L r́sultt montr qu’ll st n́pnnt  t,  qu st un ons́qun
 l’nvrn ’́ll u mouvmnt Brownn.
2. Montrr qu Xt st ́l n loi 
 X1 pour tout t > 0.
L propr́t́ ́rntll u mouvmnt Brownn montr qu B tu st ́l 
 t−1/2 Bu
n lo, on qu 1{Btu >0} st ́l 
 1{Bu >0} n lo. L nmnt  vrl s = tu
montr qu ∫ ∫ 1
1 t
Xt = 1 t u = 1{Btu >0} u
t 0 {Btu >0} 0
 X1 n lo.
qu st ́l 
3. On x λ > 0. Pour t > 0 t x ∈ R , on ́nit l ontion
 Rt 
v(t, x) = E −λ 0 1{x+Bs >0} ds

t s trnsorm́  Lpl
∫ ∞
gρ (x) = v(t, x) −ρt t , ρ>0
0

Montrr qu ( )
1
gρ (0) = E 
ρ + λX1

On  v(t, 0) = E (−λtXt ) = E (−λtX1 ). Pr ons́qunt

∫ ∞ ( )
−(ρ+λX1 )t 1
gρ (0) = E  t = E 
0 ρ + λX1

4. Clulr ∂t (t, x)
∂v
 l’i  l ormul  Fynmn–K.

∂v 1 ∂2v
(t, x) = (t, x) − λ1{x>0} v(t, x) 
∂t 2 ∂x2
5. Clulr gρ′′ (x). En ́uir qu gρ (x) stisit un ́qution i́rntill orinir
lin́ir u son orr 
 oints onstnts pr morux. Montrr qu s solution
́n́rl s’́rit
gρ (x) = A± + B± γ± x +C± −γ± x
v s onstnts A± , B± , C± , γ± ́pnnt u sin  x.
∫ ∞
∂2v
gρ′′ (x) = 2
(t, x) −ρt t
0 ∂x
∫ ∞ ∫ ∞
∂v −ρt
=2 (t, x)  t + 2λ1{x>0} v(t, x) −ρt t
0 ∂t 0
∣∞ ∫ ∞
−ρt ∣
= 2v(t, x)  ∣ + 2ρ v(t, x) −ρt t + 2λ1{x>0} gρ (x)
0 0
= −2 + 2ρgρ (x) + 2λ1{x>0} gρ (x) 

On  on l’́quton ́rntll ornr

{
′′ 2(ρ + λ)g(x) − 2 s x > 0 ,
gρ (x) =
2ρg(x) − 2 s x < 0 .

Cons́rons s́pr́mnt ls ́qutons sur R + t R − . Ls ́qutons omo √ ns -
mttnt ls solutons ln́rmnt n́pnnts  γ ± x t  −γ ± x , o
u γ+ = 2(ρ + γ) t
√
γ− = 2ρ. D plus qu ́quton mt un soluton prtulr onstnt, ́l
 A+ = 1(ρ + λ), rsptvmnt A− = 1ρ.

6. D́trminr ls onstnts n utilisnt l it qu gρ oit ̂tr √
orn́, ontinu n 0,
t qu gρ′ oit ̂tr ontinu n 0. En onlur qu gρ (0) = 1 ρ(λ + ρ).
Pour qu gρ sot orn́, l ut qu B+ = C− = 0. L ontnut́  gρ t gρ′ prmt
 ́trmnr B− t C+ . En prtulr
√ √
λ ρ+λ− ρ
C+ = √ √ √ = √ 
ρ ( ρ + λ + ρ )(ρ + λ) ρ (ρ + λ)

Il sut qu
1 1
gρ (0) = + C+ = √ 
ρ+λ ρ(λ + ρ)

7. D́montrr (1) n utilisnt l’intit́

∑ ∞ ∫
1 1 1
xn
√ = (−λ)n √ x 
1 + λ n=0 π 0 x(1 − x)

Nous vons ( ) ∞
∑
1 1
√ = g1 (0) = E = (−λ)n E (X1n ) 
1+λ 1 + λX1
n=0
L’ntt́ montr qu ∫
1 1
xn
E (X1n ) = x √
π x(1 − x)
0
√
pour tout n > 0, on qu X1 mt l nst́ 1 x(1 − x). L r́sultt sut n
nt́rnt tt nst́ t n utlsnt l’́lt́ n lo  X t t X1 .

2
Prol
m 2 : L loi u logrithm it́r́ (10 points)
Soit Xn n>1 un suit  vrils l́toirs r́lls i.i.., ntr́s,  vrin 1. On
suppos qu l ontion ́n́rtri
 
ψ(λ) = E λX1
st ni pour tout λ ∈ R . Soit
n
∑
Sn = Xi 
i=1
L ut   prolm st  montrr qu prsqu sûrmnt
Sn
lm sup √ 61 (2)
n→∞ 2n lo(lo n)
√
Dns l suit, on pos h(t) = 2t lo(lo t) pour t > 1.
1. Montrr qu ψ(λ) = 1 + 1 2
2λ + O(λ2 ).
L t́orm  ́rvton sous l sn nt́rl  Lsu montr qu ψ(λ) st 
lss C ∞ v
ψ (n) (0) = E (X1n )
pour tout n > 0. L r́sultt sut lors  l ormul  Tylor t s ypotss sur
l lo  X1 .
2. Montrr qu Yn = λSn ψ(λ)n st un mrtinl.
L rlton
λXn+1
Yn+1 = Yn
ψ(λ)
montr qu E (Yn ) st orn́ pr 1 t qu E (Yn+1 Yn ) = Yn .
3. Montrr qu pour tout N > 1 t tout a > 0,
 }
lo ψ(λ)
P ∃n 6 N : Sn > a + n 6 −λa 
λ

L prolt́ put s r́́rr

 ( ) }  }
lo ψ(λ)
P sup Sn − n > a = P sup Yn >  λa
n6N λ n6N

t l orn sut  l’n́lt́  Doo.

4. On x t, α > 1. Pour tout k > 1, on pos
α k h(tk ) α lo ψ(λk )
ak = h(t ) , λk = , ck = +t 
2 tk 2 λ2k
Montrr qu  }
P ∃n ∈]t , tk k+1
] : Sn > h(n)ck 6 (k lo t)−α 

On rmrqu qu pour n ∈]tk , tk+1 ], on 

α k lo ψ(λk ) lo ψ(λk )
h(n)ck > h(tk )ck = h(t ) + tk+1 > ak + n 
2 λk λk
L prolt́ r́ st on orn́ pr −λk ak = −α log(k log t) = (k lo t)−α n
vrtu u r́sultt pr́́nt.

3
5. Montrr qu prsqu sûrmnt,
 }
Sn
P 6 ck ∀n ∈]t , t ], k → ∞ = 1 
k k+1
h(n)

Cl sut u lmm  Borl–Cntll, t u t qu

∞
∑ ∞
∑
1 1 1
= <∞
(k lo t)α (lo t)α kα
k=1 k=1

6. En utilisnt l point 1., montrr qu

α+t
ck = + r(k)
2
v lmk→∞ r(k) = 0.
( )
α t 1 2 α+t
ck = + 2 lo 1 + λk + O(λk ) =
2
+ O(1) 
2 λk 2 2

7. D́montrr (2).
Sot ε > 0. Prnons α = t = 1 + ε2. Ls r́sultts pr́́nts montrnt qu pour
prsqu tout ω, l xst k0 (ω, ε) < ∞ tl qu

Sn (ω) ε
6 1 + + r(k)
h(n) 2

pour tout k > k0 (ω, ε) t n ∈]tk , tk+1 ]. En prnnt  plus k ssz rn pour qu
r(k) < ε2, on otnt Sn h(n) 6 1 + ε pour tous ls n ssz rns, ’ou l r́sultt.