Malliavin calculus and central limit theorems

Similar documents
KOLMOGOROV DISTANCE FOR MULTIVARIATE NORMAL APPROXIMATION. Yoon Tae Kim and Hyun Suk Park

Stein s method and weak convergence on Wiener space

arxiv: v1 [math.pr] 7 May 2013

Quantitative stable limit theorems on the Wiener space

arxiv:math/ v2 [math.pr] 9 Mar 2007

An Introduction to Malliavin calculus and its applications

arxiv: v2 [math.pr] 22 Aug 2009

ON THE STRUCTURE OF GAUSSIAN RANDOM VARIABLES

LAN property for sde s with additive fractional noise and continuous time observation

SYMMETRIC WEIGHTED ODD-POWER VARIATIONS OF FRACTIONAL BROWNIAN MOTION AND APPLICATIONS

Normal approximation of Poisson functionals in Kolmogorov distance

Malliavin Calculus: Analysis on Gaussian spaces

Pathwise volatility in a long-memory pricing model: estimation and asymptotic behavior

Stein s method on Wiener chaos

Stein s Method: Distributional Approximation and Concentration of Measure

NEW FUNCTIONAL INEQUALITIES

An Introduction to Malliavin Calculus

Probability approximation by Clark-Ocone covariance representation

arxiv: v1 [math.pr] 10 Jan 2019

arxiv: v2 [math.pr] 14 Dec 2009

Rough paths methods 4: Application to fbm

The Stein and Chen-Stein Methods for Functionals of Non-Symmetric Bernoulli Processes

p 1 ( Y p dp) 1/p ( X p dp) 1 1 p

The Stein and Chen-Stein methods for functionals of non-symmetric Bernoulli processes

Stein s method and stochastic analysis of Rademacher functionals

ON MEHLER S FORMULA. Giovanni Peccati (Luxembourg University) Conférence Géométrie Stochastique Nantes April 7, 2016

Bernardo D Auria Stochastic Processes /10. Notes. Abril 13 th, 2010

Introduction to Infinite Dimensional Stochastic Analysis

Itô formula for the infinite-dimensional fractional Brownian motion

SELF-SIMILARITY PARAMETER ESTIMATION AND REPRODUCTION PROPERTY FOR NON-GAUSSIAN HERMITE PROCESSES

COVARIANCE IDENTITIES AND MIXING OF RANDOM TRANSFORMATIONS ON THE WIENER SPACE

arxiv: v4 [math.pr] 19 Jan 2009

Joint Parameter Estimation of the Ornstein-Uhlenbeck SDE driven by Fractional Brownian Motion

Contents. 1 Preliminaries 3. Martingales

BOOK REVIEW. Review by Denis Bell. University of North Florida

I forgot to mention last time: in the Ito formula for two standard processes, putting

The Wiener Itô Chaos Expansion

Stein s method, logarithmic Sobolev and transport inequalities

LAN property for ergodic jump-diffusion processes with discrete observations

STEIN MEETS MALLIAVIN IN NORMAL APPROXIMATION. Louis H. Y. Chen National University of Singapore

Cumulants on the Wiener Space

Bernardo D Auria Stochastic Processes /12. Notes. March 29 th, 2012

A NOTE ON STOCHASTIC INTEGRALS AS L 2 -CURVES

Stein s Method and Stochastic Geometry

Multi-dimensional Gaussian fluctuations on the Poisson space

MULTIDIMENSIONAL WICK-ITÔ FORMULA FOR GAUSSIAN PROCESSES

WHITE NOISE APPROACH TO THE ITÔ FORMULA FOR THE STOCHASTIC HEAT EQUATION

Finite element approximation of the stochastic heat equation with additive noise

-variation of the divergence integral w.r.t. fbm with Hurst parameter H < 1 2

White noise generalization of the Clark-Ocone formula under change of measure

Quantum stochastic calculus applied to path spaces over Lie groups

Mean-field SDE driven by a fractional BM. A related stochastic control problem

(B(t i+1 ) B(t i )) 2

A limit theorem for the moments in space of Browian local time increments

Integral representations in models with long memory

A REPRESENTATION FOR THE KANTOROVICH RUBINSTEIN DISTANCE DEFINED BY THE CAMERON MARTIN NORM OF A GAUSSIAN MEASURE ON A BANACH SPACE

Normal approximation of geometric Poisson functionals

Discrete approximation of stochastic integrals with respect to fractional Brownian motion of Hurst index H > 1 2

CENTRAL LIMIT THEOREMS FOR SEQUENCES OF MULTIPLE STOCHASTIC INTEGRALS

PROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS

Giovanni Peccati. 1. Introduction QUANTITATIVE CLTS ON A GAUSSIAN SPACE: A SURVEY OF RECENT DEVELOPMENTS

arxiv: v1 [math.pr] 7 Sep 2018

Lecture 12. F o s, (1.1) F t := s>t

Optimal Berry-Esseen bounds on the Poisson space

Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio ( )

Topics in fractional Brownian motion

Stokes formula on the Wiener space and n-dimensional Nourdin-Peccati analysis

Brownian motion. Samy Tindel. Purdue University. Probability Theory 2 - MA 539

ERROR BOUNDS ON THE NON-NORMAL APPROXI- MATION OF HERMITE POWER VARIATIONS OF FRAC- TIONAL BROWNIAN MOTION

From Fractional Brownian Motion to Multifractional Brownian Motion

MA8109 Stochastic Processes in Systems Theory Autumn 2013

Applications of Ito s Formula

Chapter 6. Stein s method, Malliavin calculus, Dirichlet forms and the fourth moment theorem

Regularity of the density for the stochastic heat equation

Chaos expansions and Malliavin calculus for Lévy processes

PROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS

On Stochastic Adaptive Control & its Applications. Bozenna Pasik-Duncan University of Kansas, USA

Sufficient and Necessary Conditions for Limit Theorems for Quadratic Variations of Gaussian Sequences arxiv: v1 [math.

Stein's method meets Malliavin calculus: a short survey with new estimates. Contents

Convoluted Brownian motions: a class of remarkable Gaussian processes

Brownian Motion. 1 Definition Brownian Motion Wiener measure... 3

Lectures on Gaussian approximations with Malliavin calculus

Density estimates and concentration inequalities with Malliavin calculus

A Concise Course on Stochastic Partial Differential Equations

Malliavin Calculus in Finance

An Itô s type formula for the fractional Brownian motion in Brownian time

A Class of Fractional Stochastic Differential Equations

Stochastic Differential Equations

Gaussian Processes. 1. Basic Notions

Rough paths methods 1: Introduction

Stochastic Calculus February 11, / 33

1. Stochastic Processes and filtrations

Quantitative Breuer-Major Theorems

Asymptotic behavior of some weighted quadratic and cubic variations of the fractional Brownian motion

Variations and Hurst index estimation for a Rosenblatt process using longer filters

Maximum Likelihood Drift Estimation for Gaussian Process with Stationary Increments

Hölder continuity of the solution to the 3-dimensional stochastic wave equation

STEIN S METHOD AND NORMAL APPROXIMATION OF POISSON FUNCTIONALS

Optimal series representations of continuous Gaussian random fields

Long-Range Dependence and Self-Similarity. c Vladas Pipiras and Murad S. Taqqu

Transcription:

Malliavin calculus and central limit theorems David Nualart Department of Mathematics Kansas University Seminar on Stochastic Processes 2017 University of Virginia March 8-11 2017 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 1 / 33

Outline 1 A brief introduction to Malliavin calculus 2 Stochastic integral representations 3 Central and noncentral limit theorems 4 Central limit theorem for the self-intersection local time of the fractional Brownian motion David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 2 / 33

Multiple stochastic integrals H is a separable Hilbert space. H 1 = {X(h), h H} is a Gaussian family of random variables in (Ω, F, P) with zero mean and covariance E(X(h)X(g)) = h, g H. For q 2 we define the qth Wiener chaos as H q = Span{h q (X(g)), g H, g H = 1}, where h q (x) is the qth Hermite polynomial. Multiple stochastic integral of order q: ( I q : H ˆ q, ) q! H q H q is a linear isometry defined by I q (g q ) = h q (X(g)). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 3 / 33

Wiener chaos expansion Assume F is generated by H 1. We have the orthogonal decomposition L 2 (Ω) = H q, q=0 where H 0 = R. Any F L 2 (Ω) can be written as F = E(F ) + where f q H ˆ q are determined by F. I q (f q ), Example: Let B = {B t, t [0, T ]} be a Brownian motion. Then, H = L 2 ([0, T ]) and X(h) = T 0 h tdb t. For any q 2, H ˆ q = L 2 sym([0, T ] q ) and I q is the iterated Itô stochastic integral: q=1 T t2 I q (h) = q!... h(t 1,..., t q )db t1... db tq. 0 0 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 4 / 33

Wiener chaos expansion Assume F is generated by H 1. We have the orthogonal decomposition L 2 (Ω) = H q, q=0 where H 0 = R. Any F L 2 (Ω) can be written as F = E(F ) + where f q H ˆ q are determined by F. I q (f q ), Example: Let B = {B t, t [0, T ]} be a Brownian motion. Then, H = L 2 ([0, T ]) and X(h) = T 0 h tdb t. For any q 2, H ˆ q = L 2 sym([0, T ] q ) and I q is the iterated Itô stochastic integral: q=1 T t2 I q (h) = q!... h(t 1,..., t q )db t1... db tq. 0 0 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 4 / 33

Malliavin Calculus S is the space of random variables of the form F = f (X(h 1 ),..., X(h n )), where h i H and f Cb (Rn ). If F S we define its derivative by DF = n i=1 f x i (X(h 1 ),..., X(h n ))h i. DF is a random variable with values in H. For any p 1, D 1,p L p (Ω; H) is the closure of S with respect to the norm DF 1,p = ( E( F p ) + E( DF p H )) 1/p. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 5 / 33

The adjoint of D is the divergence operator δ defined by the duality relationship E( DF, u H ) = E(Fδ(u)) for any F D 1,q and u Dom δ L p (Ω; H), with 1 p + 1 q = 1. In the Brownian motion case, an adapted process u L 2 (Ω [0, T ]) L 2 (Ω; H) belongs to Dom δ and δ(u) coincides with the Itô s stochastic integral: δ(u) = T 0 u t db t If u not adapted δ(u) coincides with an anticipating stochastic integral introduced by Skorohod in 1975. A stochastic calculus can be developed for the Skorohod integral (N.-Pardoux 1988). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 6 / 33

The adjoint of D is the divergence operator δ defined by the duality relationship E( DF, u H ) = E(Fδ(u)) for any F D 1,q and u Dom δ L p (Ω; H), with 1 p + 1 q = 1. In the Brownian motion case, an adapted process u L 2 (Ω [0, T ]) L 2 (Ω; H) belongs to Dom δ and δ(u) coincides with the Itô s stochastic integral: δ(u) = T 0 u t db t If u not adapted δ(u) coincides with an anticipating stochastic integral introduced by Skorohod in 1975. A stochastic calculus can be developed for the Skorohod integral (N.-Pardoux 1988). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 6 / 33

Meyer inequalities Theorem (Meyer 1983) For any p > 1 and u D 1,p (H) satisfying E(u) = 0, E( δ(u) p ) c p ( E( Du p H H )). 1 A proof based on the boundedness in L p of the Riesz transform was given by Pisier. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 7 / 33

The Ornstein-Uhlenbeck semigroup {T t, t 0} is a one-parameter semigroup of contraction operators on L 2 (Ω), defined by T t (F) = e qt I q (f q ), where F = q=0 I q(f q ). q=0 Mehler s formula: For any t 0 and F L 2 (Ω) we have T t (F) = Ẽ(F(e t X + 1 e 2t X)), where X is an independent copy of X and Ẽ denotes the mathematical expectation with respect to X. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 8 / 33

The Ornstein-Uhlenbeck semigroup {T t, t 0} is a one-parameter semigroup of contraction operators on L 2 (Ω), defined by T t (F) = e qt I q (f q ), where F = q=0 I q(f q ). q=0 Mehler s formula: For any t 0 and F L 2 (Ω) we have T t (F) = Ẽ(F(e t X + 1 e 2t X)), where X is an independent copy of X and Ẽ denotes the mathematical expectation with respect to X. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 8 / 33

The generator of the Ornstein-Uhlenbeck semigroup The infinitesimal generator of the semigroup T t in L 2 (Ω) is given by LF = lim t 0 T t F F t = qi q (f q ), q=1 if F = q=0 I q(f q ). The domain of L is Dom L = {F L 2 (Ω), q 2 q! f q 2 2 < } = D2,2. q=1 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 9 / 33

The generator of the Ornstein-Uhlenbeck semigroup The infinitesimal generator of the semigroup T t in L 2 (Ω) is given by LF = lim t 0 T t F F t = qi q (f q ), q=1 if F = q=0 I q(f q ). The domain of L is Dom L = {F L 2 (Ω), q 2 q! f q 2 2 < } = D2,2. q=1 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 9 / 33

Stochastic integral representations Question: Given F L 2 (Ω), with E[F ] = 0, find u Dom δ such that F = δ(u). (I) Brownian motion case: If we require u to be adapted, then it is unique and given by the Clark-Ocone formula: u t = E(D t F F t ), where F t is the filtration generated by the Brownian motion. That is, T F = E[F] + E(D t F F t )db t. 0 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 10 / 33

Stochastic integral representations Question: Given F L 2 (Ω), with E[F ] = 0, find u Dom δ such that F = δ(u). (I) Brownian motion case: If we require u to be adapted, then it is unique and given by the Clark-Ocone formula: u t = E(D t F F t ), where F t is the filtration generated by the Brownian motion. That is, T F = E[F] + E(D t F F t )db t. 0 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 10 / 33

CLT for local time increments Let L x t = t 0 δ x (B s )ds be the Brownian local time. Clark-Ocone formula has been used to give a simple proof of the following central limit theorem (Hu-N. 09): Theorem h 3 2 ( ) (L x+h t L x t ) 2 dx 4th R αt 8 3 η, as h 0, where α t = R (Lx t )2 dx and η is a N(0, 1) random variable independent of B. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 11 / 33

(II) Second integral representation: u = DL 1 F. Proof: The proof is based on the following property: Proposition F D 1,2 and DF Domδ if and only if F DomL and in this case δ(df ) = LF. Therefore, taking into account that E[F] = 0, we get F = LL 1 F = δ(dl 1 F). In the Brownian motion case, u is unique among all processes with a chaos expansion u t = q=0 I q(f q,t ), such that f q,t (t 1,..., t q ) is symmetric in all q + 1 variables t, t 1,..., t q. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 12 / 33

(II) Second integral representation: u = DL 1 F. Proof: The proof is based on the following property: Proposition F D 1,2 and DF Domδ if and only if F DomL and in this case δ(df ) = LF. Therefore, taking into account that E[F] = 0, we get F = LL 1 F = δ(dl 1 F). In the Brownian motion case, u is unique among all processes with a chaos expansion u t = q=0 I q(f q,t ), such that f q,t (t 1,..., t q ) is symmetric in all q + 1 variables t, t 1,..., t q. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 12 / 33

(II) Second integral representation: u = DL 1 F. Proof: The proof is based on the following property: Proposition F D 1,2 and DF Domδ if and only if F DomL and in this case δ(df ) = LF. Therefore, taking into account that E[F] = 0, we get F = LL 1 F = δ(dl 1 F). In the Brownian motion case, u is unique among all processes with a chaos expansion u t = q=0 I q(f q,t ), such that f q,t (t 1,..., t q ) is symmetric in all q + 1 variables t, t 1,..., t q. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 12 / 33

(II) Second integral representation: u = DL 1 F. Proof: The proof is based on the following property: Proposition F D 1,2 and DF Domδ if and only if F DomL and in this case δ(df ) = LF. Therefore, taking into account that E[F] = 0, we get F = LL 1 F = δ(dl 1 F). In the Brownian motion case, u is unique among all processes with a chaos expansion u t = q=0 I q(f q,t ), such that f q,t (t 1,..., t q ) is symmetric in all q + 1 variables t, t 1,..., t q. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 12 / 33

Convergence to a mixture of normal laws Let F = δ(u). Then DF, u H S 2 u, h H 0, h H } = L(F ) L(Sη), where η is a N(0, 1) random variable independent of X. Theorem (Nourdin-N. 10) Let F n = δ(u n ), where u n D 2,2 (H). Suppose that sup n E( F n ) < and (i) u n, DF n H L 1 S 2, as n. (ii) For all h H, u n, h H L 1 0 as n. Then, F n converges stably to ηs, where η is a N(0, 1) random variable independent of X (that is, (F n, X) L (Sη, X)). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 13 / 33

Convergence to a mixture of normal laws Let F = δ(u). Then DF, u H S 2 u, h H 0, h H } = L(F ) L(Sη), where η is a N(0, 1) random variable independent of X. Theorem (Nourdin-N. 10) Let F n = δ(u n ), where u n D 2,2 (H). Suppose that sup n E( F n ) < and (i) u n, DF n H L 1 S 2, as n. (ii) For all h H, u n, h H L 1 0 as n. Then, F n converges stably to ηs, where η is a N(0, 1) random variable independent of X (that is, (F n, X) L (Sη, X)). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 13 / 33

Sketch of the proof: Suppose that (F n, X) L (F, X). We need to show that E ( e iλf X ) = e λ2 2 S2. (1) Set Y S and define φ n (λ) = E(e iλfn Y ). We compute the limit of φ n(λ) in two ways: 1. Using weak convergence: φ n(λ) = ie(e iλfn F n Y ) ie(e iλf F Y ). 2. Using Malliavin calculus and our assumptions: φ n(λ) = ie(e iλfn F n Y ) = ie(e iλfn δ(u n )Y ) = ie ( D ( e iλfn Y ) ), u n H = λe ( e iλfn u n, DF n H Y ) + ie ( ) e iλfn u n, DY H λe(e iλf S 2 Y ). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 14 / 33

Sketch of the proof: Suppose that (F n, X) L (F, X). We need to show that E ( e iλf X ) = e λ2 2 S2. (1) Set Y S and define φ n (λ) = E(e iλfn Y ). We compute the limit of φ n(λ) in two ways: 1. Using weak convergence: φ n(λ) = ie(e iλfn F n Y ) ie(e iλf F Y ). 2. Using Malliavin calculus and our assumptions: φ n(λ) = ie(e iλfn F n Y ) = ie(e iλfn δ(u n )Y ) = ie ( D ( e iλfn Y ) ), u n H = λe ( e iλfn u n, DF n H Y ) + ie ( ) e iλfn u n, DY H λe(e iλf S 2 Y ). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 14 / 33

Sketch of the proof: Suppose that (F n, X) L (F, X). We need to show that E ( e iλf X ) = e λ2 2 S2. (1) Set Y S and define φ n (λ) = E(e iλfn Y ). We compute the limit of φ n(λ) in two ways: 1. Using weak convergence: φ n(λ) = ie(e iλfn F n Y ) ie(e iλf F Y ). 2. Using Malliavin calculus and our assumptions: φ n(λ) = ie(e iλfn F n Y ) = ie(e iλfn δ(u n )Y ) = ie ( D ( e iλfn Y ) ), u n H = λe ( e iλfn u n, DF n H Y ) + ie ( ) e iλfn u n, DY H λe(e iλf S 2 Y ). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 14 / 33

As a consequence, ie(e iλf F Y ) = λe(e iλf S 2 Y ). This leads to a linear differential equation satisfied by the conditional characteristic function of F : and we obtain λ E(eiλF X) = S 2 λe(e iλf X), E(e iλf X) = e λ2 2 S2. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 15 / 33

Remarks: It turns out that u n, DF n H = u n 2 H + u n, δ(du n ) H. Therefore, a sufficient condition for (i) is: (i ) u n 2 H L 1 S 2 L and u n, δ(du n ) 1 H 0. Comparison with the Asymptotic Knight Theorem for Brownian martingales (Revuz-Yor): If {u n, n 1} are square-integrable adapted processes, then, F n = δ(u n ) = T 0 u n(s)db s and the stable convergence of F n to N(0, S 2 ) is implied by the following conditions: (A) t 0 u n(s)ds P 0, uniformly in t. (B) T 0 u n(s) 2 ds S 2 in L 1 (Ω). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 16 / 33

Remarks: It turns out that u n, DF n H = u n 2 H + u n, δ(du n ) H. Therefore, a sufficient condition for (i) is: (i ) u n 2 H L 1 S 2 L and u n, δ(du n ) 1 H 0. Comparison with the Asymptotic Knight Theorem for Brownian martingales (Revuz-Yor): If {u n, n 1} are square-integrable adapted processes, then, F n = δ(u n ) = T 0 u n(s)db s and the stable convergence of F n to N(0, S 2 ) is implied by the following conditions: (A) t 0 u n(s)ds P 0, uniformly in t. (B) T 0 u n(s) 2 ds S 2 in L 1 (Ω). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 16 / 33

Applications Weighted Hermite variations of the fractional Brownian motion: Assume 1 2q < H < 1 1 2q. Then, 1 n n k=1 f (B H k 1 )h q (n H (B H k n n 1 B H k 1 )) Stably σ H,q n 0 f (B H s )dw s, where W is a Brownian motion independent of B H (Nourdin, Réveillac, Tudor, N.). Itô s formulas in law: Noncentral limit theorem for symmetric integrals with respect to the fractional Brownian motion for critical values of the Hurst parameter (Burdzy, Swanson, Nourdin, Réveillac, Harnett, N., Binotto). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 17 / 33

Rate of convergence: Theorem (Nourdin-N.-Peccati 16) Let F = δ(u), where u D 2,2 (H). Let S 0 be such that S 2 D 1,2 and let η be a N(0, 1) random variable independent of X. Then for any ϕ C 3 b E[ϕ(F )] E[ϕ(Sη)] 1 2 ϕ E [ u, DF H S 2 ] Proof: Use interpolation method: E[ϕ(F )] E[ϕ(Sη)] = where g(t) = E[ϕ( tf + 1 tsη)]. + 1 3 ϕ E [ u, DS 2 H ]. 1 0 g (t)dt, David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 18 / 33

Stein s method for normal approximation Stein s lemma: Z N(0, σ 2 ) E(f (Z )Z ) = σ 2 E(f (Z )) f C 1 b(r). Let Z N(0, σ 2 ), and fix h such that E( h(z ) ) <. Stein s equation σ 2 f (x) xf (x) = h(x) E(h(Z )) has a unique solution f h satisfying lim x ± e x 2 /2σ 2 f h (x) = 0. If h 1, then f h 1 σ π/2 and f h 2 σ 2. So, for any random variable F, taking h = 1 B, d TV (F, Z ) = sup P(F B) P(Z B) B B(R) sup E[σ 2 f (F ) Ff (F )], f C TV where C TV is the class of functions with f 1 σ π/2 and f 2 σ 2. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 19 / 33

Stein s method for normal approximation Stein s lemma: Z N(0, σ 2 ) E(f (Z )Z ) = σ 2 E(f (Z )) f C 1 b(r). Let Z N(0, σ 2 ), and fix h such that E( h(z ) ) <. Stein s equation σ 2 f (x) xf (x) = h(x) E(h(Z )) has a unique solution f h satisfying lim x ± e x 2 /2σ 2 f h (x) = 0. If h 1, then f h 1 σ π/2 and f h 2 σ 2. So, for any random variable F, taking h = 1 B, d TV (F, Z ) = sup P(F B) P(Z B) B B(R) sup E[σ 2 f (F ) Ff (F )], f C TV where C TV is the class of functions with f 1 σ π/2 and f 2 σ 2. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 19 / 33

Stein s method for normal approximation Stein s lemma: Z N(0, σ 2 ) E(f (Z )Z ) = σ 2 E(f (Z )) f C 1 b(r). Let Z N(0, σ 2 ), and fix h such that E( h(z ) ) <. Stein s equation σ 2 f (x) xf (x) = h(x) E(h(Z )) has a unique solution f h satisfying lim x ± e x 2 /2σ 2 f h (x) = 0. If h 1, then f h 1 σ π/2 and f h 2 σ 2. So, for any random variable F, taking h = 1 B, d TV (F, Z ) = sup P(F B) P(Z B) B B(R) sup E[σ 2 f (F ) Ff (F )], f C TV where C TV is the class of functions with f 1 σ π/2 and f 2 σ 2. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 19 / 33

Case S 2 = σ 2 This leads to the following result: Theorem Suppose that F D 1,2 satisfies F = δ(u), where u Dom δ. Let Z be a N(0, σ 2 ) random variable. Then, d TV (F, Z ) 2 σ 2 E[ σ2 DF, u H ]. Proof: E[σ 2 f (F) Ff (F)] = E[σ 2 f (F) δ(u)f (F)] = E[σ 2 f (F) u, D[f (F)] H ] = E[f (F)(σ 2 u, DF H )]. In particular, taking u = DL 1 F, we get d TV (F, Z ) 2 σ 2 E[ σ2 DF, DL 1 F H ]. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 20 / 33

Case S 2 = σ 2 This leads to the following result: Theorem Suppose that F D 1,2 satisfies F = δ(u), where u Dom δ. Let Z be a N(0, σ 2 ) random variable. Then, d TV (F, Z ) 2 σ 2 E[ σ2 DF, u H ]. Proof: E[σ 2 f (F) Ff (F)] = E[σ 2 f (F) δ(u)f (F)] = E[σ 2 f (F) u, D[f (F)] H ] = E[f (F)(σ 2 u, DF H )]. In particular, taking u = DL 1 F, we get d TV (F, Z ) 2 σ 2 E[ σ2 DF, DL 1 F H ]. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 20 / 33

Case S 2 = σ 2 This leads to the following result: Theorem Suppose that F D 1,2 satisfies F = δ(u), where u Dom δ. Let Z be a N(0, σ 2 ) random variable. Then, d TV (F, Z ) 2 σ 2 E[ σ2 DF, u H ]. Proof: E[σ 2 f (F) Ff (F)] = E[σ 2 f (F) δ(u)f (F)] = E[σ 2 f (F) u, D[f (F)] H ] = E[f (F)(σ 2 u, DF H )]. In particular, taking u = DL 1 F, we get d TV (F, Z ) 2 σ 2 E[ σ2 DF, DL 1 F H ]. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 20 / 33

Normal approximation on a fixed Wiener chaos Proposition Suppose F H q for some q 2 and E(F 2 ) = σ 2. Then, d TV (F, Z ) 2 Var ( ) qσ 2 DF 2 H. Proof: Using L 1 F = 1 q F and E[ DF 2 H ] = qσ2, we obtain [ E[ σ 2 DF, DL 1 F H ] = E σ 2 1 ] q DF 2 H 1 Var ( DF 2 q H). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 21 / 33

Normal approximation on a fixed Wiener chaos Proposition Suppose F H q for some q 2 and E(F 2 ) = σ 2. Then, d TV (F, Z ) 2 Var ( ) qσ 2 DF 2 H. Proof: Using L 1 F = 1 q F and E[ DF 2 H ] = qσ2, we obtain [ E[ σ 2 DF, DL 1 F H ] = E σ 2 1 ] q DF 2 H 1 Var ( DF 2 q H). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 21 / 33

Using the product formula for multiple stochastic integrals, one can show that Var ( DF 2 H) is equivalent up to a constant to E[F 4 ] 3σ 4. This leads to the Fourth Moment Theorem (Nualart-Peccati- 05, Nourdin-Peccati 08): Theorem Fix q 2. Let F n H q, n 1 be such that lim E(F n 2 ) = σ 2. n The following conditions are equivalent: (i) d TV (F n, Z ) 0, as n where Z N(0, σ 2 ). (ii) E(F 4 n ) 3σ 4, as n. (iii) DF n 2 H qσ2 in L 2 (Ω), as n. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 22 / 33

Applications and extensions Book: Nourdin and G. Peccati 12: Normal Approximations with Malliavin Calculus : From Stein s Method to Universality. Webpage: https ://sites.google.com/site/malliavinstein/home. Applications: Exact Berry Esséen asymptotics, quantitative Breuer-Major theorems,... Generalizations: Functionals of the Poisson processes, convergence to nongaussian distributions (Gamma, second chaos, invariant measures of diffusions,...). David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 23 / 33

Self-intersection local time of the fbm The d-dimensional fractional Brownian motion (d 2) with Hurst parameter H (0, 1) is a zero mean Gaussian process {Bt H, t 0} with covariance E[B H,i t Bs H,j 1 ] = δ ij 2 (t 2H + s 2H t s 2H ). Its self-intersection local time on [0, T ] is formally defined by L T = T t 0 0 δ 0 (B H t B H s )dsdt. Notice that E[L T ] = T t 0 0 T t = (2π) d 2 E [ δ 0 (B H t 0 0 B H s ) ] dsdt t s Hd dsdt < Hd < 1. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 24 / 33

Varadhan s renormalization Let p ɛ (x) = (2πɛ) d/2 e x 2 /2ɛ, and set L T,ɛ = T t 0 0 p ɛ (B H t B H s )dsdt. The following results were proved in [Hu-Nualart 05]: (i) If Hd < 1, then L T,ɛ L 2 L T, as ɛ 0. (ii) If 1 d H < 3 2d, then L T,ɛ E[L T,ɛ ] L2 L T, as ɛ 0. 3 (iii) If 2d < H < 3 4, then we have the convergence in law: ɛ d 2 3 4H [LT,ɛ E[L T,ɛ ]] L N(0, T σ 2 H,d) (2) as ɛ 0. (Example: H = 1 2 and d 3) David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 25 / 33

The proof of (2) is based on the chaos expansion Φ T,ɛ := ɛ d 2 3 4H [LT,ɛ E[L T,ɛ ]] = J m (L T,ɛ ) m=2 and the application of the Fourth Moment Theorem to each projection J m (L T,ɛ ), m 2, as ɛ 0. A first ingredient in the proof is the convergence of the variance: E [ Φ 2 ] ɛ 0 T,ɛ I T, where I T = (2π) d 0<s<t<T 0<s <t <T [ ] (λρ µ 2 ) d 2 (λρ) d 2 dsdtds dt, with the notation λ = t s 2H, ρ = t s 2H and µ = E[(B H,1 t Bs H,1 )(B H,1 t BH,1 s )]. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 26 / 33

Functional CLT Theorem (Jaramillo-N. 17) If 3 2d < H < 3 4, then {ɛ d 2 3 4H [LT,ɛ E[L T,ɛ ]], T 0} L {σ H,d W T, T 0}, where W is a standard Brownian motion. The proof of the convergence of the finite dimensional distributions can be done by the same method as the CLT for T fixed. The main difficulty is to show the tightness property of the laws. For this we need an estimate of the form for some p > 2. E [ Φ T,ɛ Φ S,ɛ p] C p,d,h T S p/2, (3) David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 27 / 33

We know that this is true for p = 2, and in this case, we need to estimate a double integral over essentially three types of regions: 1 [s, t ] [s, t] 2 [s, t ] [s, t] = 3 s < s < t < t (the intervals overlap) However, for p = 4 we have to deal with 4 intervals [s i, t i ], i = 1, 2, 3, 4, the number of different regions is very large and each integral is too complicated. Question: How to show the estimate (2)? David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 28 / 33

Proving tightness using Malliavin calculus Fix S T and define Z ɛ = Φ T,ɛ Φ S,ɛ. We can write Z ɛ = δdl 1 Z ɛ. Using that E[DL 1 Z ɛ ] = 0 and Meyer inequalities, yields Z ɛ p c p D 2 L 1 Z ɛ L p (Ω;(H d ) 2 ), where H is the Hilbert space associated with the covariance of the fbm. We know that Z ɛ = ɛ d 2 3 4H s<t S<t<T ( pɛ (B H t B H s ) E[p ɛ (B H t B H s )] ) dsdt. Also L 1 (F E[F ]) = 0 T θ Fdθ, where {T θ, θ 0} is the Ornstein-Uhlenbeck semigroup. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 29 / 33

As a consequence, D 2 L 1 Z ɛ = = = = = 0 0 0 0 s<t S<t<T s<t S<t<T s<t S<t<T s<t S<t<T 0 D 2 T θ Z ɛ dθ D 2 T θ [p ɛ (B H t B H s )]dsdtdθ D 2 Ẽ[p ɛ (e θ (Bt H Bs H ) + 1 e 2θ ( B t H B s H ))]dsdtdθ D 2 p ɛ+(1 e 2θ )(t s) 2H (e θ (B H t e 2θ p ɛ+(1 e 2θ )(t s) 2H (e θ (B H t B H s ))dsdtdθ B H s ))1 2 [s,t] dsdtdθ. David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 30 / 33

Finally, using Minkowski inequality, Z ɛ 2 p cp D 2 2 L 1 Z ɛ 2 L p (Ω;(H d ) 2 ) = c2 p DL 1 Z ɛ 2 (H d ) 2 ) p/2 e 2θ 2β µ 2 This leads to where I = c 2 p R 2 + s<t S<t<T s <t S<t <T p ɛ+(1 e 2θ ) (e θ (B H t BH s )) p p ɛ+(1 e 2β ) (e β (B H t 0<s<t<T 0<s <t <T provided 2 < p < 4Hd 3. Z ɛ 2 p C p,d,h I T S p, B H s )) p dsdtd sdt dθdβ. µ 2 λρ ((1 + λ)(1 + ρ) µ2 ) d p dsdtds dt <, David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 31 / 33

Remarks: Critical case H = 3d 2 : A logarithmic factor is needed for the central limit theorem to hold true, but the functional version is open. Case H > 3 4 : In this case, ɛ d 2 3 2H +1 (L T,ɛ E[L T,ɛ ]) L2 c d,h d X j T, where X j T is a Rosenblatt-type random variable, defined as the double stochastic integral of δ {s=t} with respect to B H,j on [0, T ] 2. The case H = 3 4 is open. j=1 David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 32 / 33

Thanks for your attention! David Nualart (Kansas University) Malliavin calculus and CLTs SSP 2017 33 / 33