Malliavin calculus
How far can you go with integration by parts? L. Gross
L.Decreusefond Singular Greeks SDE’s Optimal Γ calculus (Condi- transport 2 tional) densities Dirichlet calculus Malliavin Stein- Antici- Malliavin- pative calculus Dirichlet calculus method Inde- pendent rand. var. Ind. increments Lévy
Spatial Poisson
Brownian fractional motion Brownian motion Martin- gales Sample-paths Itô calculus Rough paths
SDE’s
Stochastic integral
2 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Invariance yields IBP
Invariance with respect to translation Z Z d f (x + τ)g(x + τ) dx = f (x)g(x) dx0 dτ R τ=0 R
Integration by parts Z Z f 0(x)g(x) dx + f (x)g0(x) dx = 0 R R
3 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Brownian motion
Definition The Brownian motion is the unique centered Gaussian process such that 1 E [B(t)B(s)] = min(t, s) = (t + s − |t − s|) 2
Independent and stationary increments Hölder (1/2 − ε) sample-paths Finite quadratic variation
4 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Construction
1.2 0.0 0.4 1.0 0.2 0.1 − 0.8 0.0 0.2 − 0.6 0.2 − 0.3 0.4 − 0.4 −
0.6 0.4 0.2 − −
0.8 − 0.5 0.0 − 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0 Donsker Karhunen-Loève Poisson [ ] √ sin(π(n+ 1 )t) ( )−λ √1 P nt P 2 Nλ √t t j=1 Xj 2 Yn 1 n π(n+ 2 ) λ
5 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Standard Wiener measure
Distribution of B supported by
C0([0, 1]; R) Hol(1/2 − ε)
Wη,p for 0 < η − 1/p < 1/2
ZZ |f (t) − f (s)|p kf kp = ds dt Wη,p 1+ηp [0,1]2 |t − s|
How to characterize a Gaussian measure on these Banach spaces ?
6 / 98 June 2018 Institut Mines-Télécom Malliavin calculus RKHS
Definition (Reproducing Kernel Hilbert Space) n o H = span t ∧ ., t ∈ [0, 1]
for the norm induced by the scalar product
ht ∧ ., s ∧ .iH = t ∧ s
7 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Identification Since Z s 1 1 2 t ∧ s = 1[0,t](u) du = I0+ (1[0,t])(s) ⇒ t ∧ . ∈ I0+ L ([0, 1]) 0 Z 1 and t ∧ s = 1[0,t](u)1[0,s](u) du = h1[0,t], 1[0,s]iL2 0
H as a Besov-Liouville space n o 1 2 H = span t ∧ ., t ∈ [0, 1] ' I0+ L ([0, 1]) with 1 ˙ ˙ kI0+ (h)kH = khkL2([0,1])
8 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Abstract Wiener space
Theorem
For any choice of W among C, Hol(1/2 − ε) or Wη,p, the triplet emb : H −→ W is an AWS: H is dense in W , emb is radonifying and the standard Gaussian measure is characterized by
1 ∗ 2 E [exp(−hζ, ωi ∗ )] = exp(− k emb ζk ) W ,W 2 H
where ∗ emb emb W ∗ −−−→H∗ 'H −−→ W
9 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Wiener integral
∗ emb emb W ∗ −−−→H∗ 'H −−→ W
Definition The Wiener integral is the isometric extension of the map
∗ ∗ 2 δ : emb (W ) ⊆ H −→ L (P1/2) ∗ emb (ζ) 7−→ hζ, ωiW ∗,W .
10 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Identification
∗ ∗ emb ∗ emb W −−−→H 'H −−→ W and H = I1,2 ∗ ht = emb εt must satisfy for ω ∈ H ⊂ W and differentiable
Z 1 ∗ ˙ ω(t) = hεt, emb ωiW ∗,W = hemb εt, ωiH = ht(u)ω ˙ (u) du 0 ˙ ⇒ ht(u) = 1[0,t](u) ⇒ ht(u) = t ∧ u
Consequence
∗ ∗ 2 ∗ δ : emb (W ) ⊆ I1,2 −→ L (P1/2) δ(t ∧ .) = δ(emb (ζ)) = B(t) ∗ emb (ζ) 7−→ hζ, ωiW ∗,W
11 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Fractional Brownian motion
Definition
For any H in (0, 1), {BH (t); t ≥ 0} is the centered Gaussian process whose covariance kernel is given by
VH 2 2 2 R (s, t) = E [B (s)B (t)] = s H + t H − |t − s| H H H H 2 where Γ(2 − 2H) cos(πH) V = . H πH(1 − 2H)
stationary increments Hölder (H − ε) sample-paths Finite 1/H-variation
12 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Some realizations
H = 0.2 H = 0.8 0.10 2.0
1.5 0.05
1.0 0.00
0.5 0.05 −
0.0 0.10 − 0.5 − 0.15 − 1.0 − 0.20 − 1.5 − 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0
H = 0.5
0.25
0.00
0.25 −
0.50 −
0.75 −
1.00 −
1.25 −
0.0 0.2 0.4 0.6 0.8 1.0
Figure: Sample-path example for H = 0.2, H = 0.5 (middle) and H = 0.8. 13 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Besov-Liouville spaces
Definition (Riemann-Liouville fractional spaces) For α > 0, for f ∈ Lp([0, 1]),
Z t α 1 α−1 I0+ f (t) = (t − s) f (s) ds. Γ(α) 0
α p The space Iα,p is the set I0+ (L [0, 1]) equipped with the scalar product Z 1 α α p hI0+ f , I0+ giIα,p = hf , giL = f (s)g(s) ds. 0
14 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Sobolev embeddings
For a > b > c and p, c − 1/p > 0
Wa,p ⊂ Ib,p ⊂ Wc,p ⊂ Hol(c − 1/p)
15 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Key lemma
Square root of RH
There exists KH such that Z 1 RH (t, s) = KH (t, r)KH (s, r) dr 0
2 6 7
5 6
1.5
4 5
4 1 3
3 2
0.5
2 1
0 0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1 0.2 0.4 0.6 0.8 1
K0.25(1,s) K0.5(1,s) K0.75(1,s)
16 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Properties
Properties
s K (t, s) = tH−1/2 K (1, ) H H t KH (t, s) = 0 if s > t
K1/2(t, s) = 1[0,t](s) −|H−1/2| H−1/2 ∞ KH (t, s) = r (t − s) × C −function
Warning !
Singularity of KH increases as H ↑
17 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Regularity
p KH : L −→ IH+1/2,p Z t f 7−→ KH f (t) = KH (t, s)f (s) ds 0 is continuous. Essential remarks
Z 1 RH (t, s) = KH (t, r)KH (s, r) dr ⇒ RH (t, s) = KH KH (t,.) (s) 0
1 K1/2 = I0+
18 / 98 June 2018 Institut Mines-Télécom Malliavin calculus RKHS
Identification
RKHS(BH ) = span {RH (t,.), t ∈ [0, 1]} 2 = KH (L ) = IH+1/2,2
with scalar product Z 1 h ˙, ˙ i 2 = ˙( ) ˙ ( ) KH h KH g KH (L ) h s g s ds 0
19 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Identification
Abstract Wiener space for fBm ∗ ∗ emb ∗ emb W −−−→ IH+1/2,2 ' IH+1/2,2 −−→ W
˙ For h = KH (h) ∈ IH+1/2,2 ⊂ W
∗ hε , i ∗ = h ε , i = ( ) t emb h W ,W emb t h IH+1/2,2 h t Z 1 = ( , )˙( ) = h ( ,.), ˙i 2 = h ( ( ,.)), i KH t s h s ds KH t h L KH KH t h IH+1/2,2 0 hence ∗ emb (εt) = KH (KH (t,.)) = RH (t,.)
20 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Consequences
Definition The Wiener integral is the isometric extension of the map
∗ ∗ 2 δ : emb (W ) ⊆ I1,2 −→ L (µW ) ∗ emb (ζ) 7−→ hζ, ωiW ∗,W
Lemma
δ(RH (t,.)) = BH (t)
(δ(KH (1[0,t])), t ∈ [0, 1]) is an ordinary BM
2 2 2 E δ(K (1 )) = kK (1 ))k = k1 k 2 = t H [0,t] H [0,t] IH+1/2,2 [0,t] L
21 / 98 June 2018 Institut Mines-Télécom Malliavin calculus In brief
Embeddings and identifications ∗ ∗ emb ∗ ∗ W H = (IH+1/2,2)
'
2 KH emb L H = IH+1/2,2 W
for W = C, or Wη,p with 0 < η − 1/p < H 1 ∗ 2 E [exp(−hζ, B i ∗, )] = exp − k emb ζk H W W 2 H
22 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Quasi invariance
Theorem (Cameron-Martin) For any h ∈ H, h i 1 E F B + emb(h) = E F(B ) exp δh − khk2 H H 2 H
23 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Girsanov theorem
Theorem
For u = KH u˙ adapted,
Z t Z t dQ 1 2 = exp u˙ (s) dB(s) − u˙ (s) ds P 2 d H Ft 0 0 then Z t ( ) − ( , ) ˙ ( ) = ( ) LawQ BH t KH t s u s ds LawPH BH 0
24 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Differentiation on W
Obstacles Why not consider the Fréchet derivative
1 0 lim F(ω + εω ) − F(ω) ? ε→0 ε The Itô map is not continuous on W , so not Fréchet differentiable A random variable F is defined up to a negligeable set. We must ensure that for any admissible direction of differentiation h
F = G a.s. ⇒ F(BH + h) = G(BH + h) a.s.
The Cameron-Martin theorem ensures that this is true for h ∈ H
25 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Cylindrical functionals
Definition A function F is said to be cylindrical if there exists f ∈ S(Rn), n (h1, ··· , hn) ∈ H such that
F(ω) = f (δh1, ··· , δhn).
The set of such functionals is denoted by Cyl.
26 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Gross-Sobolev derivative
Definition
For F(ω) = f (δh1, ··· , δhn). Set
n X ∇F = ∂j F(δh1, ··· , δhn) hj , j=1
so that n X h∇F, hiH = ∂j F(δh1, ··· , δhn) hhj , hiH. j=1
−1 h∇F, hiH = lim ε (F(BH + εh) − F(BH )) ε→0
27 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Examples
∇(BH (t))(s) = ∇ δ RH (t,.) (s) = RH (t, s) ˙ −1 ∇s BH (t) := KH (∇(BH (t)))(s) = KH (t, s)
Recall For H = 1/2
2 −→ H = −→ L IH+1/2,2 W ∇s B(t) = t ∧ s ˙ ˙ −1 ∇s B(t) = 1[0,t](s) ∀h ∈ H, h = KH h ˙ −1 ∇ = KH ∇
28 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Classical formulas
Derivation and chain rule
∇(FG) = F∇G + G∇F ∇ϕ(F) = ϕ0(F)∇F
29 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Extension to a larger set
Closability Fn ∈ Cyl −→ 0 and ∇Fn −→ ξ ⇒ ξ = 0 ?
Theorem (Integration by parts)
E [Gh∇F, hiH] = E [FG δh] − E [F h∇G, hiH]
E [F(ω + τh)G(ω)] = E [F ◦ Th G ◦ T−h ◦ Th] 1 2 = E FG ◦ T− exp δh − khk h 2 H 1τ 2 = E F(ω)G(ω − τh) exp τδh(ω) − khk2 2 H
30 / 98 June 2018 Institut Mines-Télécom Malliavin calculus where ThG(ω) = G(ω + h) Gross-Sobolev spaces
Definition D2,1 is the closure of Cyl for the norm
2 2 2 kFk2,1 = E F + E k∇FkH Z 1 2 ˙ 2 = E F + E (∇s F) ds 0 ˙ −1 where ∇ = KH ∇.
31 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Support of the derivative
Theorem ˙ F ∈ Ft ⇐⇒ ∇s F = 0 for s > t
h i h i E f B(t1), ··· , B(tn + s) | Ftn = E f B(t1), ··· , B(tn) + N (0, s) and n X ∇˙ ( ( ), ··· , ( ))) = ∂ (...) ( ) = 0 > r f B t1 B tn j f 1[0,tj ] s for s tn j=1
32 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Iteration
An example 2 s 7−→ ∇s BH (t) = 2BH (t) ∇s BH (t) = 2BH (t) RH (t, .s) ∈ H
2 ∇r ∇s BH (t) = 2RH (t, r) RH (t, s) meaning that
(2) 2 ∇r,s BH (t) = 2RH (t, r) RH (t, s) ∈ H ⊗ H
33 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Higher order derivative
Definition
D2,k is the closure of Cyl for the norm
k 2 X h (j) 2 i kFk2,k = E k∇ FkH⊗j j=0 k "Z # 2 X ˙ (j) 2 = E F + E ∇s1,··· ,sj F ds1 ... dsj [0,1]j j=1
34 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Divergence
Theorem 2 2 ∇ : D2,1 ⊂ L (W ; PH ) 7−→ L (W ⊗ H) is continuous.
Consequence ∗ ∗ 2 ∗ 2 ∗ ∇ : dom ∇ ⊂ L (W ⊗ H) −→ L (W ; PH ) by identification of the Hilbert spaces and their dual
35 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Divergence
Definition
dom δ = U(ω, s) ∈ L2(W ⊗ H), ∃c > 0, ∀F ∈ Cyl, | [h∇ , i ]| ≤ k k 2 E F U H c F L (PH )
Then, ∗ E [h∇F, UiH] = E [F ∇ U]
If U is deterministic,
∗ E [h∇F, UiH] = E [F δU] ⇒ ∇ = δ on H
36 / 98 June 2018 Institut Mines-Télécom Malliavin calculus A key formula
Theorem a a random variable, U a process
δ(aU) = aδU − h∇a, UiH
E [δ(aU) ψ] = E [ahU, ∇ψiH]
= E [hU, ∇(aψ) − ψ∇aiH]
= E [aδU ψ] − E [h∇a, UiHψ]
37 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Divergence extends Itô integral
Corollary (H = 1/2) If U ∈ dom δ and U˙ is adapted, Z 1 δU = U˙ (s) dB(s) 0
X X 1 ˙ ( ) = ( ) ⇐⇒ ( ) = + ( )( ) U s Uti 1(ti ,ti+1] s U t Uti I0 1(ti ,ti+1] t Z 1 1 δ( + ( )) = δ ∧ . − ∧ . − ∇˙ ( ) ( ) Uti I0 1(ti ,ti+1] Uti ti+1 ti s U ti 1(ti ,ti+1] s ds 0
= Uti B(ti+1 − B(ti )) − 0
38 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Extension of the Itô isometry formula
Theorem Z 1 ZZ 1 2 ˙ 2 ˙ ˙ ˙ ˙ E δU = E U(s) ds + E ∇r Us ∇s Ur ds dr 0 0
39 / 98 June 2018 Institut Mines-Télécom Malliavin calculus For the sake of notations
Recall that δ(KH 1[0,t]) is a B.M. Recall that δ extends Itô integral on adapted processes
Z 1 ˙ ˙ U(s) δB(s) = δ(KH U) 0
Z 1 B(t) = 1[0,t](s) δB(s) 0 Z 1 BH (t) = KH (t, s) δB(s) 0
40 / 98 June 2018 Institut Mines-Télécom Malliavin calculus Inversion formula
α β α+β H+1/2 Theorem (I ◦ I = I and KH ' I )
−1 continuous K = KH ◦ K1/2 : I1/2,p −−−−−−→ IH,p bijective ˙ −1 Formally, BH = KH (B) = KH ◦ K1/2(B) Theorem For any H, we have −1 B = K (BH ), PH − a.s. Remark