arxiv: v1 [math.pr] 8 Jan 2015

Transcription

1 A note on the Malliavin-Sobolev spaces Peter Imkeller Thibaut Mastrolia Dylan Possamaï Anthony Réveillac arxiv:5.777v [math.pr] 8 Jan 5 November 8, 8 Abstract In this paper, we provide a strong formulation of the stochastic Gâteaux differentiability in order to study the sharpness of a new characterization, introduced in [6], of the Malliavin- Sobolev spaces. We also give a new internal structure of these spaces in the sense of sets inclusion. Key words: Malliavin calculus, Wiener space, functional analysis, stochastic Gâteaux differentiability. AMS subject classification: Primary: 6H7; Secondary: 46B9. Introduction Consider the classical W, R d Sobolev space on R d d consisting of mappings f which are square integrable and which admit a square integrable weak derivative. This space is known to be the completion of continuously differentiable functions with respect to the Sobolev seminorm. As proved by Nikodym, f is an element of W, R d if and only if there exist versions of f along particular directions see [8, C page 77] for a precise statement whose Radon-Nikodym derivatives are square integrable. In an infinitedimensional framework, similar characterizations can also be obtained. For instance, consider the classical Wiener space Ω,F defined as the space of continuous functions Ω, on [,T] with T a fixed positive real number vanishing at, and where F is the σ-algebra of Borel sets on Ω, for the topology induced by the uniform norm. Let P be the Wiener measure on Ω, that is the unique measure on Ω,F which makes the coordinate process W a standard Brownian motion. Let in addition H be the Cameron-Martin space, that is the space of absolutely continuous functions on [, T] with square integrable with respect to Lebesgue s measure on [, T] Radon-Nikodym derivative. In that context, one can define the two following spaces: S the closure of so-called cylindrical random variables on Ω with respect to the Sobolev seminorm, where the weak derivative is the Malliavin derivative. Institut für Mathematik, Humboldt-Universität zu Berlin, Unter den Linden 6, 99 Berlin, Germany, imkeller@math.hu-berlin.de Université Paris-Dauphine, CEREMADE UMR CNRS 7534, Place du maréchal De Lattre De Tassigny Paris cedex 6, mastrolia@ceremade.dauphine.fr Université Paris-Dauphine, CEREMADE UMR CNRS 7534, Place du maréchal De Lattre De Tassigny Paris cedex 6, possamai@ceremade.dauphine.fr INSA de Toulouse, IMT UMR CNRS 59, Université de Toulouse, 35 avenue de Rangueil, 377 Toulouse Cedex 4, France, anthony.reveillac@insa-toulouse.fr

2 K-S the set of random variables Z on Ω which are ray absolutely continuous RAC and which satisfies the stochastic Gâteaux differentiability property SGD i.e. which admit a Gâteaux derivative in any direction of the Cameron-Martin space H. More precisely, a random variablez onω,f,p satisfies Property SGD, if for any element h in H, Z τ h Z P lim = DZ,h H, where the limit is taken in probability, DZ denotes the Gâteaux derivative of Z and where τ h denotes the shift operator on the Wiener space. The space S has been introduced by Shigekawa in [7], as a natural candidate to be a Sobolev space whose derivative is given by the Malliavin derivative whose definition will be recalled in the next section, whereas the space K-S has been introduced by Kusuoka and Stroock in [5]. In comparison to the finite-dimensional case, Sugita proved in [8] that these two spaces coincide. We will refer to them later on as D,. To be more precise, Characterization K-S essentially means that Z D, Z satisfies RAC and SGD. In practice Property RAC may not be easy to handle. Recently, it was shown in [6, Theorem 4.] that the characterization RAC + SGD can actually be replaced, equivalently, by a stronger version of SGD that we name strong stochastically Gâteaux differentiability, or SSGD for short, which can be roughly stated as a precise statement will be given in the next section: for any element h in H Z τ h Z lim L q = DZ,h H, where the limit is taken in L q spaces. According to [6], we obtain Z D, q, s.t. Z satisfies SSGD q, where a random variable Z on Ω,F,P is said to satisfy SSGD q if Z and Z are square integrable and for any element h in H Z τ h Z lim L q = Z,h H, where Z denotes the Malliavin derivative of Z. In other words, the RAC property from the characterization of D, can be dropped by strengthening property SGD. One can also prove the following see [6, Lemma 4.]: In particular, one can wonder if Z D, q,, Z satisfies SSGD q.. Z D, Z satisfies SSGD?. In view of., it is clear that Z satisfies SSGD implies that Z is in D,. The question is then is it also a necessary condition? The aim of this article is to answer this question by the negative. Indeed we provide in Theorem 3. a random variable Z such that Z D, and Z does not satisfies SSGD. Incidentally, this question is related to proving that D,+ := >D,+ D,,

3 which we address at the end of the paper as Theorem 3.3. The rest of the paper is organized as follows. In Section we fix all the notations, give a rigorous definition of the strong stochastic Gâteaux differentiability, and we highlight the wellposedness of this definition by giving some classical properties concerning the space of random variables which satisfy this strong differentiability property. Then, in Section 3 we answer the question given in. and we study more precisely the structure of the Malliavin-Sobolev spaces. Preliminaries. Notations We fix throughout the paper a time horizon T >. Let Ω := C [,T],R be the canonical Wiener space of continuous function ω from [,T] to R such that ω =. F denotes the Borel σ-algebra on Ω, for the uniform topology. Let W := W t t [,T] be the canonical Wiener process, that is, for any t in [,T], W t denotes the evaluation mapping: W t ω := ω t for any element ω in Ω. We set F o := F o t t [,T] the natural filtration of W, and remind the reader that F = F o T. Under the Wiener measure P, the process W is a standard Brownian motion and we denote by F := F t t [,T] the usual augmentation which is right-continuous and complete of F o underp. Unless otherwise stated, all the expectations considered in this paper will have to be understood as expectations under P, and all notions of measurability for elements of Ω will be with respect to the filtration F or the σ-field F T. Unless otherwise stated, topological spaces are endowed with their Borel σ-algebra. We set H := { f : [,T] R, Borel-measurable, s.t. T fs ds < + and we denote by H the Cameron-Martin space defined as: t } H := {h : [,T] R, ḣ H, ht = ḣxdx, t [,T], which is an Hilbert space equipped with the inner product h,h H := T h t h tdt, for any h,h H H, and with associated norm h H := h,h H. For any h in H, we will always denote by ḣ a version of its Radon-Nykodym density with respect to the Lebesgue measure. Define next for any Hilbert space K and for any p, L p K as the set of all F T -measurable random variables Z which are valued in an Hilbert space K, and such that Z p L p K < +, where Z LpK := E[ Z p K ]/p. Let S be the set of polynomial cylindrical functionals, that is the set of random variables Z of the form Z = fwh,...,wh n, h,...,h n H n, f R n [X], for some n,. where Wh := T ḣsdw s for any h in H. For any Z in S of the form., the Malliavin derivative Z of Z is defined as the following H-valued random variable: Z := n f xi Wh,...,Wh n h i,. i= 3 },

4 where f xi := df dx i. Denote then by D,p the closure of S with respect to the Malliavin-Sobolev semi-norm,p, defined as: Z,p := E[ Z p ]+E[ Z p H ]/p. One of the main tools that we will use throughout this paper is the shift operator along directions in the Cameron-Martin space. More precisely, for any h H, we define the following shift operator τ h : Ω Ω by τ h ω := ω +h. Note that the fact that h belongs to H ensures that τ h is a measurable shift on the Wiener space. One of the main techniques when working with shifts on the path space is the famous Cameron-Martin formula. Proposition.. Cameron-Martin Formula, see e.g. [9, Appendix B.] Let Z be a F T - measurable random variable and let h be in H. Then, when both sides are well-defined [ T E[Z τ h ] = E Zexp ḣsdw s ] T ḣs ds. Fix > and h H, we defined the difference quotient of Z along h denoted by X as X := Z τ h Z. Our analysis will be based on notions of Gâteaux Differentiability on the Wiener space. Before introducing a new definition in this context we recall the classical formulation due to Kusuoka and Stroock in [5]. Definition. Stochastically Gâteaux Differentiability, [5]. Let p > and Z be in L p R. Z is said to be Stochastically Gâteaux Differentiable if there exists DZ L p H such that for any h in H Z τ h Z lim We refer this property as SGD. = DZ,h H, in probability under P. We now introduce a stronger formulation of SGD that we name Strong Stochastically Gâteaux Differentiability. Definition.3 Strong Stochastically Gâteaux Differentiability. Let p > and Z be in L p R. Z is said to be Strongly Stochastically Gâteaux Differentiable of order p,q if there exist q,p and DZ L p H such that for any h in H [ lim E Z τ h Z q] DZ,h H =. We denote this property by SSGD p q and we define G p q the space of random variables Z which satisfy SSGD p q with Gâteaux derivative DZ in L p H. We name this property Strong Stochastically Gâteaux Differentiability as it strengthens the Stochastic Gâteaux Differentiability property introduced in [5] where the L q -convergence above is replaced with convergence in probability. 4

5 Remark.4. According to [6, Theorem 4. and Lemma 4.], Z enjoys Property SSGD p q for an element q in,p if and only if there exists DZ L p H such that for any q,p and for any h in H, it holds that [ lim E Z τ h Z q ] DZ,h H =. As a consequence, if there exists q in,p such that Z satisfies Property SSGD p q, then it also satisfies Property SSGD p q for any q,p. In view of Remark.4, we from now write SSGD p for SSGD p q with q in,p. Similarly, we write G p for G p q. We now recall the main result of [6]. Theorem.5 [6], Theorem 4.. Let Z be a real random variable. Then In other words, D,p = G p. Z D,p Z satisfies SSGD p. At this stage, we would like point out that from the definition of Property SSGD p we do not consider the case where the difference quotient associated to an element in G p converges in L p. This induces a stronger property than SSGD p defined below. Definition.6. Let p > and Z be in L p R. We say that Z satisfies SSGD p p if there exists DZ L p H such that for any h in H [ lim E Z τ h Z p] DZ,h H =. We define G p p the space of random variables Z which satisfy SSGD p p with Gâteaux derivative DZ in L p H. Obviously, in view of Theorem.5, Property SSGD p p is sufficient for a given random variable to belong to D,p. This fact was somehow known in the literature [] or [3] although the characterization of Theorem.5 was not. As a consequence, it is a natural question to wonder whether or not Condition SSGD is also necessary for an element Z to belong to D,. In other words Do the spaces D, and G coincide? Addressing this question is the main goal of the next section. 3 Main results Throughout this section, we fix T = and we set φx := e x / π for any x R. Let a be in R and consider the following random variable with Z := fw, 3. fx := e x 4 x a π 4 x +gx x<, where g is a bounded continuously differentiable map with bounded derivative, such that f is continuously differentiable on R. Notice that f is a nonnegative and nondecreasing mapping when x. 5

6 Theorem 3.. Let p >. There exists Z in D,p such that Z does not satisfy SSGD p p. Proof. For the sake of simplicity we prove the result for p =. Let Z be the random variable defined by 3. with a > 3. We prove that Z D, and that Z does not satisfy SSGD. By definition of f, f x = x e x 4 ax a + x a π 4 +g x x<. The proof is divided in two steps. Step. Z D,. There exists C > such that [ E Z ] + x dx+ + C x dx+ Besides, there exists C > such that [ E f W ] + ax a + x a dx+ We hence deduce that Z D,. gx φxdx < +, since a >. + = C x +x + +x dx+ g x φxdx < +, since a > 3. Step. Z does not satisfy SSGD. Since Z is in D,, we can compute its Malliavin derivative: Z,h H = f W ḣrdr = f W h. In addition, from [8, Theorem 3], for any h H, it holds that X := Z τ h Z P Z,h H. Thus, Z belongs to G if and only if X, is uniformly integrable for every h in H. In fact, in our example, for any,, X is even not integrable. Indeed, let h in H and fix,. Since f is nondecreasing and nonnegative on [,+, we obtain I := E [ X ] = fx+ fx R φxdx + fx+ fx φxdx + fx+ fx+/ φxdx + = f x+sds φxdx. / 6

7 According to the mean value theorem, for any x [,+, there exists s x /, such that Z x := f x+sds = f x+s x. Thus, I + / e x+s x + 4 ψ a s x,x e x dx = Γ,x ψ a s x,x dx, where ψ a s,x := ax+s a + x+s a and Γ,x := e sx +s x x. Since s x /,, we deduce that I = +. Thus, for any >, X is not integrable, so the family X, is not uniformly integrable, and from the converse part of the dominated convergence Theorem, Z / G. Remark 3.. In the previous example we can recover the result of Theorem.5 since Z D,, that is X q is indeed uniformly integrable when q <, and so Z G q. Assume that < q < q <, one could show that for any, and x [,+ there exists s x, such that [ E X q ] + = f x+s x φxdx+ q,,, =, +, =, +, + e x+sx q 4 ψ a s x,x e x + g x+s x q φxdx Γ,x ψ a s x,x q π q g x+s x q φxdx, π q 4 dx 4 x q e dx where ψ a s,x := ax+s a + x+s a and Γ,x := e q s x +q s x x 4. f x+s x q φxdx Since the second term on the right-hand [ side above is uniformly bounded in and since q, we deduce that E X q ] < +. Thus, from the de la Vallée-Poussin, Criterion and the dominated convergence Theorem, Z G q. We have thus constructed a random variable Z in D, which does not satisfy SSGD. Hence, according to Remark.4, for any >, Z / D,+. Theorem 3. is linked to another question, namely the right-continuity of the Malliavin-Sobolev spaces. Theorem 3.3. Let p >. Define D,p+ := > D,p+. We have D,p+ G p p D,p. 3. Proof. Theorem 3. gives immediately the last inclusion G p p D,p. Now we turn to the first inclusion. Let Z in D,p+, then there exists > such that Z D,p+. From Theorem.5 together with Remark.4, we obtain that Z D,p+ = G p+ G p p. Hence, D,p+ G p p. 7

8 However, G p p D,p+. For the sake of simplicity, assume that p =. We aim at constructing a random variable Z which is in G but not in D,+. Fix some η,µ such that < η < µ < e and such that x /x logx 8 is decreasing on,µ+η. 3.3 x x x logx 6 log logx 6 = x x logx 6 log logx 6 is increasing on,η]. 3.4 x xlogx 6 is increasing on,η]. 3.5 Notice that 3.3 implies that the map x /x logx i is decreasing on,µ + η for i {5,6,7,8}. Set Z := fw where f : R R is defined by fx := Fx x,µ] +Gx x>µ, 3.6 where G is a smooth function on R + with compact port such that f is continuously differentiable on R +, and where F : R + R is continuous and continuously differentiable on,µ] and defined by x Fx = logx 3, F x = xlogx 3 xlogx 4. Then, using Bertrand s integrals Theory, one can easily prove that Z D, but Z / D,+. Nevertheless, one can show that Z G. Indeed, from [8, Theorem 3], for any h H X := Z τ h Z P Z,h H. Hence, Z belongs to G if and only if X,η/µ is uniformly integrable for every h in H. According to the de la Vallée-Poussin Criterion see e.g. the remark immediately after Theorem. in [] if there exists a non-negative measurable map ψ from R + into R + such that for any h ψx lim x + x = +, E [ ψ X ] < +,,η/ h then X,η/ h is uniformly integrable for all h H. Take ψx := x logx x> defined on R +. Notice that if h = then X = so, X,η/ h is uniformly integrable. We now distinguish two cases. Case h >. We have where I + µ :=,η/h I µ :=,η/h + µ µ I :=,η/h h I := E [ ψ X ],η/h h h = I + µ +I µ +I, f x+sds log f x+sds log fx+h fx log h h fx+h fx f x+sds φxdx f x+sds φxdx φxdx. 8

9 From the definition 3.6 of f, we obtain + h I µ + =,η/h µ G h x+sds log G x+sds φxdx µ h I µ =,η/h f h x+tdt log f x+tdt φxdx I = fx+h fx+h log,η/h h φxdx. According to the mean value theorem, for any,η/h and for any x R +, there exist s x,h and t x,h such that h h G x+sds = G x+s x and f x+tdt = f x+t x. Hence, from the definition of G we remind the reader that G has compact port, we deduce that I µ + < +. Now, we denote by i,µ the subset of,µ defined by i,µ := {x,µ x + t x µ}. There exists a constant C > which may vary from line to line such that I µ = C = C,η/h µ,η/h +,η/h +,η/h,η/h +,η/h f x+t x log f x+t x φxdx i,µ i,µ x+t x logx+tx 6 log logx+t x x+t x φxdx logx+tx 4 x+t x logx+tx 8 log logx+t x x+t x φxdx logx+tx 4 G x+t x log G x+t x φxdx,µ\i,µ i,µ i,µ logx+t x x+t x logx+t x 6 log x+t x logx+tx φxdx 4x+t x logx+t x 8 logx+t x log 8 4x+t x φxdx+ logx+tx 8 Since µ is smaller than e, we can ensure that for any,η/h and x i,µ, we have Hence, there exists C > such that I C log logx+t x logx+t x. 8,η/h i=5 i,µ x+t x logx+tx idx.. 9

10 It is then clear, from the properties of Bertrand s integrals together with the choice of η, µ according to 3.3, that I µ < +. Besides, I = fx+h fx+h log,η/h h φxdx h x =,η/h logx 6 log x logx 6 φx h dx where = I +I, h I =,η/h I =,η/h h x logx 6 log φx h dx x x logx 6 log logx 6 φx h dx. We first show that I is finite. From 3.5 and since η < e < we obtain I h log,η/h logh 6 φ h φ logη 5 + logh logη 6 < +. We now turn to I and we obtain from 3.4 together with 3.3 that h I,η/h logh 6 log h logh 6 φ 7 h logη 5φ < +, which implies in turn I < +. Case h <. Similarly to the previous case, we have where J + := J µ := J := +,η/ h µ+ h µ+ h,η/ h h h,η/ h J := E [ ψ X ],η/ h = J + +J µ +J, h h f x sds log f x sds log log fx h fx h h fx h fx f x sds φxdx f x sds φxdx φxdx.

11 From the definition 3.6 of f, we obtain + h J + =,η/ h µ+ h G x sds log µ+ h h J µ =,η/ h h f x tdt log h J = fx fx log φxdx.,η/ h h h G x sds φxdx f x tdt φxdx From the mean value Theorem, one shows that J + < +. Besides, by making the substitution y = x h in J we deduce that J e η I < +. Now, turn to J µ. According to the mean value theorem, for any,η/ h and for any x h,µ + h ], there exists t x, h such that h f x tdt = f x t x. So, following the same lines as in the proof of I µ < +, we obtain J µ < +. Indeed, J µ =,η/ h,η/ h µ+ h +,η/ h h j,µ,η/h i=5 f x t x log f x t x φxdx f x t x log f x t x φxdx h,µ+ h \j,µ j,µ f x t x log f x t x φxdx, with j,µ := {x h,µ+ h, x t x µ}. Hence, logx t x J µ C,η/ h j,µ x t x log logx tx 6 4x t x logx tx 8 logx t x +,η/ h j,µ x t x logx t x 8 log 4x t x logx t x 8 8 C + x t x logx tx idx. In addition, 3.3 implies that J µ C C = C + 8,η/h i=5 j,µ µ+ h + + This concludes the proof. 8,η/h i=5 µ 8 i=5 h y logy idy x h logx h idx x h logx h idx < +. φxdx φxdx+

12 Remark 3.4. Theorem 3.3 describes the fine structure of D,p. However, giving an explicit characterization of D,p+ seems to be a far more complicated result. Indeed, even for the L p -spaces, it is quite difficult to characterize > Lp+. This problem was studied recently in [4], using Lorenz spaces Theory. Acknowledgments Thibaut Mastrolia is grateful to Région Île-de-France for financial port and acknowledges INSA de Toulouse for its warm hospitality. References [] V. I Bogachev. Differentiable measures and the Malliavin calculus. Journal of Mathematical Sciences, 874: , 997. [] T.C. Hu, and A. Rosalsky. A note on the de la Vallée Poussin criterion for uniform integrability. Statistics and Probability Letters, 8:69-74,. [3] S. Janson. Gaussian Hilbert spaces, volume 9. Cambridge university press, 997. [4] G. Knese, J.E McCarthy, and K. Moen. Unions of Lebesgue spaces and A majorants. Preprint. arxiv:3.735, 3. [5] S. Kusuoka, and D. Stroock. Applications of the Malliavin calculus, Part I. North-Holland Mathematical Library, 3:7-36, 98 [6] T. Mastrolia, D. Possamaï, and A. Réveillac. On the Malliavin differentiability of BSDEs. Preprint. arxiv:44.6, 4. [7] I. Shigekawa. Derivatives of Wiener functionals and absolute continuity of induced measures. J. Math. Kyoto Univ., :63 89, 98. [8] H. Sugita. On a characterization of the Sobolev spaces over an abstract Wiener space. Journal of Mathematics of Kyoto University, 54:77 75, 985. [9] A.S. Üstünel and M. Zakai. Transformation of measure on Wiener space. Springer,.