SLIDE 1 Martingale transforms and their projection
Fabrice Baudoin
Purdue University Probability seminar
Based on a joint work with Rodrigo Bañuelos To appear in Potential Analysis
SLIDE 2
Motivation
Let M be a smooth manifold endowed with a smooth measure µ.
SLIDE 3
Motivation
Let M be a smooth manifold endowed with a smooth measure µ. Let X1, · · · , Xd be locally Lipschitz vector fields defined on M.
SLIDE 4 Motivation
Let M be a smooth manifold endowed with a smooth measure µ. Let X1, · · · , Xd be locally Lipschitz vector fields defined on M. We consider the Schrödinger operator, L = −1 2
d
X ∗
i Xi + V ,
where X ∗
i denotes the formal adjoint of Xi with respect to µ and
where V : M → R is a non-positive smooth function.
SLIDE 5 Motivation
Let M be a smooth manifold endowed with a smooth measure µ. Let X1, · · · , Xd be locally Lipschitz vector fields defined on M. We consider the Schrödinger operator, L = −1 2
d
X ∗
i Xi + V ,
where X ∗
i denotes the formal adjoint of Xi with respect to µ and
where V : M → R is a non-positive smooth function. We study the boundedness in Lp, 1 < p < ∞ of the operator SAf =
d
∞ PtX ∗
i Aij(t, ·)XjPtfdt,
SLIDE 6 Motivation
Let M be a smooth manifold endowed with a smooth measure µ. Let X1, · · · , Xd be locally Lipschitz vector fields defined on M. We consider the Schrödinger operator, L = −1 2
d
X ∗
i Xi + V ,
where X ∗
i denotes the formal adjoint of Xi with respect to µ and
where V : M → R is a non-positive smooth function. We study the boundedness in Lp, 1 < p < ∞ of the operator SAf =
d
∞ PtX ∗
i Aij(t, ·)XjPtfdt,
where Pt = etL and A(t, x) is a matrix of smooth bounded functions.
SLIDE 7
Motivation
◮ Such operators naturally appear as projections of martingale
transforms.
SLIDE 8
Motivation
◮ Such operators naturally appear as projections of martingale
transforms.
◮ For instance, if A(t, x) = a(t)Id and V = 0, then
SAf = −2 ∞ a(t)LP2tfdt
SLIDE 9
Motivation
◮ Such operators naturally appear as projections of martingale
transforms.
◮ For instance, if A(t, x) = a(t)Id and V = 0, then
SAf = −2 ∞ a(t)LP2tfdt = Ψa(−L)f ,
SLIDE 10
Motivation
◮ Such operators naturally appear as projections of martingale
transforms.
◮ For instance, if A(t, x) = a(t)Id and V = 0, then
SAf = −2 ∞ a(t)LP2tfdt = Ψa(−L)f , where Ψa(λ) = −2λ ∞
0 a(t)e−2λtdt.
SLIDE 11
Motivation
◮ Such operators naturally appear as projections of martingale
transforms.
◮ For instance, if A(t, x) = a(t)Id and V = 0, then
SAf = −2 ∞ a(t)LP2tfdt = Ψa(−L)f , where Ψa(λ) = −2λ ∞
0 a(t)e−2λtdt. This is a so-called
multiplier of Laplace transform type.
SLIDE 12 Motivation
◮ If L is the Laplace-Beltrami operator on a Lie group G of
compact type and if A is constant, then SAf =
Aij d
X 2
i
−1 XiXjf .
SLIDE 13 Motivation
◮ If L is the Laplace-Beltrami operator on a Lie group G of
compact type and if A is constant, then SAf =
Aij d
X 2
i
−1 XiXjf . Defining then the Riesz transforms on G by Rjf =
d
X 2
i
−1/2 Xjf we see that SAf =
d
AijRiRjf .
SLIDE 14 Probabilistic representation of SA
The diffusion (Yt)t≥0 with generator − 1
2
d
i=1 X ∗ i Xi can be
constructed via the Stratonovitch stochastic differential equation dYt = X0(Yt)dt +
d
Xi(Yt) ◦ dBi
t,
SLIDE 15 Probabilistic representation of SA
The diffusion (Yt)t≥0 with generator − 1
2
d
i=1 X ∗ i Xi can be
constructed via the Stratonovitch stochastic differential equation dYt = X0(Yt)dt +
d
Xi(Yt) ◦ dBi
t,
The celebrated Feynman-Kac formula reads Ptf (x) = Ex
t
0 V (Ys)dsf (Yt)
SLIDE 16 Probabilistic representation of SA
Theorem
In Lp, 1 < p < ∞, we have limT→∞ ST
A = SA, where
ST
A f (x) = E
T
0 V (Ys)ds
T e−
t
0 V (Ys)dsdMt | YT = x
and dMt =
d
Aij(T − t, Yt)(XjPT−tf )(Yt)dBi
t
SLIDE 17 Probabilistic representation of SA
Theorem
In Lp, 1 < p < ∞, we have limT→∞ ST
A = SA, where
ST
A f (x) = E
T
0 V (Ys)ds
T e−
t
0 V (Ys)dsdMt | YT = x
and dMt =
d
Aij(T − t, Yt)(XjPT−tf )(Yt)dBi
t
Since the conditional expectation is a contraction in Lp, we now essentially need to control the Lp norm of the stochastic integral e
T
0 V (Ys)ds
T e−
t
0 V (Ys)dsdMt
SLIDE 18 A variation of the BDG inequality
Theorem
Let T > 0 and (Mt)0≤t≤T be a continuous local martingale. Consider the process Zt = e
t
0 Vsds
t e−
s
0 VududMs,
where (Vt)0≤t≤T is a non positive adapted and continuous process. For every 0 < p < ∞, there is a universal constant Cp, independent
- f T, (Mt)0≤t≤T and (Vt)0≤t≤T such that
E
0≤t≤T
|Zt| p ≤ CpE
p 2
T
SLIDE 19
Proof of the variation of the BDG inequality
By stopping it is enough to prove the result for bounded M. Let q ≥ 2. We have dZt = ZtVtdt + dMt
SLIDE 20
Proof of the variation of the BDG inequality
By stopping it is enough to prove the result for bounded M. Let q ≥ 2. We have dZt = ZtVtdt + dMt and from Itô’s formula we have d|Zt|q = q|Zt|q−1sgn(Zt)dZt + 1 2q(q − 1)|Zt|q−2d[M]t = q|Zt|qVtdt + qsgn(Zt)|Zt|q−1dMt + 1 2q(q − 1)|Zt|q−2d[M]t.
SLIDE 21 Proof of the variation of the BDG inequality
By stopping it is enough to prove the result for bounded M. Let q ≥ 2. We have dZt = ZtVtdt + dMt and from Itô’s formula we have d|Zt|q = q|Zt|q−1sgn(Zt)dZt + 1 2q(q − 1)|Zt|q−2d[M]t = q|Zt|qVtdt + qsgn(Zt)|Zt|q−1dMt + 1 2q(q − 1)|Zt|q−2d[M]t. Since Vt ≤ 0, as a consequence of the Doob’s optional sampling theorem, we get that for every bounded stopping time τ, E (|Zτ|q) ≤ 1 2q(q − 1)E τ |Zt|q−2d[M]t
SLIDE 22
Lenglart’s domination inequality
Theorem (Lenglart)
Let (Nt)t≥0 be a positive adapted right-continuous process and (At)t≥0 be an increasing process. Assume that for every bounded stopping time τ, E(Nτ) ≤ E(Aτ).
SLIDE 23 Lenglart’s domination inequality
Theorem (Lenglart)
Let (Nt)t≥0 be a positive adapted right-continuous process and (At)t≥0 be an increasing process. Assume that for every bounded stopping time τ, E(Nτ) ≤ E(Aτ). Then, for every k ∈ (0, 1), E
0≤t≤T
Nt k ≤ 2 − k 1 − k E
T
SLIDE 24 Proof of the variation of the BDG inequality
From the Lenglart’s domination inequality, we deduce then that for every k ∈ (0, 1), E
0≤t≤T
|Zt|q k ≤ Ck,qE T |Zt|q−2d[M]t k .
SLIDE 25 Proof of the variation of the BDG inequality
From the Lenglart’s domination inequality, we deduce then that for every k ∈ (0, 1), E
0≤t≤T
|Zt|q k ≤ Ck,qE T |Zt|q−2d[M]t k . We finally compute E T |Zt|q−2d[M]t k ≤E
0≤t≤T
|Zt| k(q−2) T d[M]t k ≤E
0≤t≤T
|Zt| kq
1− 2
q
E
kq 2
T
2
q
.
SLIDE 26 Control of ST
A
Thanks to the previous result, we are let with the problem of controlling, in Lp, the quantity T
d
(XiPT−tf )2(Yt)dt.
SLIDE 27 Control of ST
A
Thanks to the previous result, we are let with the problem of controlling, in Lp, the quantity T
d
(XiPT−tf )2(Yt)dt. We can use the chain rule to easily check that
d
(XiPT−tf )2(Yt) ≤
2
d
X 2
i + X0 + ∂
∂t
SLIDE 28 Control of ST
A
From Itô’s formula, the quantity
2
d
X 2
i + X0 + ∂
∂t
is the bounded variation part of the sub-martingale (PT−tf )2(Yt).
SLIDE 29 Control of ST
A
From Itô’s formula, the quantity
2
d
X 2
i + X0 + ∂
∂t
is the bounded variation part of the sub-martingale (PT−tf )2(Yt). From Lenglart-Lépingle-Pratelli inequality, we have therefore
SLIDE 30 Control of ST
A
From Itô’s formula, the quantity
2
d
X 2
i + X0 + ∂
∂t
is the bounded variation part of the sub-martingale (PT−tf )2(Yt). From Lenglart-Lépingle-Pratelli inequality, we have therefore E T
2
d
X 2
i + X0 + ∂
∂t
p
2
≤pp/2E
0≤t≤T
p/2
p − 2 p/2 E(f (YT)p) ≤pp/2
p − 2 p/2 f p
p.
SLIDE 31
Conclusion
As a conclusion we proved:
Theorem
For any 1 < p < ∞, there is a constant Cp depending only on p such that for every f ∈ Lp
µ(M),
ST
A f ≤ CpAf p.
SLIDE 32
Conclusion
As a conclusion we proved:
Theorem
For any 1 < p < ∞, there is a constant Cp depending only on p such that for every f ∈ Lp
µ(M),
ST
A f ≤ CpAf p.
In particular this constant does not depend on T and thus for every f ∈ Lp
µ(M),
SAf ≤ CpAf p.
SLIDE 33
Application I
On a smooth manifold M, consider the Schrödinger operator L = − 1
2
d
i=1 X ∗ i Xi + V .
SLIDE 34
Application I
On a smooth manifold M, consider the Schrödinger operator L = − 1
2
d
i=1 X ∗ i Xi + V .
Let Ψ : [0, ∞) → R be a function that can be written as Ψ(λ) = λ ∞ a(t)e−2λtdt for some bounded function a.
SLIDE 35 Application I
On a smooth manifold M, consider the Schrödinger operator L = − 1
2
d
i=1 X ∗ i Xi + V .
Let Ψ : [0, ∞) → R be a function that can be written as Ψ(λ) = λ ∞ a(t)e−2λtdt for some bounded function a.
Theorem
Assume that −M ≤ V ≤ −m, then for every f ∈ Lp
µ(M),
Ψ(−L)f p ≤
m
SLIDE 36 Application II
Let G be a Lie group of compact type with Lie algebra g. We endow G with a bi-invariant Riemannian structure and consider an
- rthonormal basis X1, · · · , Xd of g.
SLIDE 37 Application II
Let G be a Lie group of compact type with Lie algebra g. We endow G with a bi-invariant Riemannian structure and consider an
- rthonormal basis X1, · · · , Xd of g. Define the Riesz transforms on
G by Rjf =
d
X 2
i
−1/2 Xjf
SLIDE 38 Application II
Let G be a Lie group of compact type with Lie algebra g. We endow G with a bi-invariant Riemannian structure and consider an
- rthonormal basis X1, · · · , Xd of g. Define the Riesz transforms on
G by Rjf =
d
X 2
i
−1/2 Xjf
Theorem
For any constant coefficient matrix A,
AijRiRjf
≤ CpAf p.
SLIDE 39 An alternative argument for the main estimate
We have
(ST
A f )gdµ
=E
d
T Aij(T − t)(XjPT−tf )(Yt)dBi
t d
T (XiPT−tg)(Yt)dBi
t
≤
T Aij(T − t)(XjPT−tf )(Yt)dBi
t
×
T (XiPT−tg)(Yt)dBi
t
SLIDE 40
Burkholder’s domination inequality
Let (Xt)t≥0 and (Yt)t≥0 be continuous martingales.
SLIDE 41
Burkholder’s domination inequality
Let (Xt)t≥0 and (Yt)t≥0 be continuous martingales. We say that Y is differentially subordinate to X if the process if |Y0| ≤ |X0| and ([X, X]t − [Y , Y ]t)t≥0 is nondecreasing and nonnegative as a function of t.
SLIDE 42
Burkholder’s domination inequality
Let (Xt)t≥0 and (Yt)t≥0 be continuous martingales. We say that Y is differentially subordinate to X if the process if |Y0| ≤ |X0| and ([X, X]t − [Y , Y ]t)t≥0 is nondecreasing and nonnegative as a function of t.
Theorem (Bañuelos-Wang)
If Y is differentially subordinate to X, then Y p ≤ (p∗ − 1)Xp, 1 < p < ∞.
SLIDE 43 An alternative argument for the main estimate
Coming back to our problem, we get
T Aij(T − t)(XjPT−tf )(Yt)dBi
t
≤A(p∗ − 1)
T (XiPT−tf )(Yt)dBi
t
SLIDE 44 An alternative argument for the main estimate
Coming back to our problem, we get
T Aij(T − t)(XjPT−tf )(Yt)dBi
t
≤A(p∗ − 1)
T (XiPT−tf )(Yt)dBi
t
and thus we have
(ST
A f )gdµ
≤ A(p∗ − 1)
T (XiPT−tf )(Yt)dBi
t
×
T (XiPT−tg)(Yt)dBi
t
SLIDE 45 An alternative argument for the main estimate
Using finally the same type of arguments as before, we may prove
T (XiPT−tf )(Yt)dBi
t
≤ 22− 1
p p2
p − 1 f p.
SLIDE 46 An alternative argument for the main estimate
Using finally the same type of arguments as before, we may prove
T (XiPT−tf )(Yt)dBi
t
≤ 22− 1
p p2
p − 1 f p. and thus
(ST
A f )gdµ ≤ 8A(p∗ − 1)
p4 (p − 1)2 f pgq.