Anticipating integrals and martingales on the Poisson space

Giovanni Peccati 1 Ciprian A. Tudor 2 1 Laboratoire de Statistique Théorique et Appliquée, Université de Paris 6, 4, place Jussieu, F-75252 Paris Cedex 05, France. giovanni.peccati@gmail.com 2 SAMOS/MATISSE, Université de Panthéon-Sorbonne Paris 1, 90, rue de Tolbiac, F-75634 Paris Cedex 13, France. tudor@univ-paris1.fr

November 27, 2006

Abstract
Let N ~ t   be a standard compensated Poisson process on [ 0 , 1 ]   . We prove a new characterization of anticipating integrals of the Skorohod type with respect to N ~   , and use it to obtain several counterparts to well established properties of semimartingale stochastic integrals. In particular we show that, if the integrand is sufficiently regular, anticipating Skorohod integral processes with respect to N ~   admit a pointwise representation as usual Itô integrals in an independently enlarged filtration. We apply such a result to: (i) characterize Skorohod integral processes in terms of products of backward and forward Poisson martingales, (ii) develop a new Itô-type calculus for anticipating integrals on the Poisson space, and (iii) write Burkholder-type inequalities for Skorohod integrals.
Key words: Poisson processes; Malliavin Calculus; Skorohod integrals; Itô formula; Burkholder inequalities.
AMS 2000 Classification: 60G51; 60H05; 60H07

1 Introduction

Let N ~ t   be a standard compensated Poisson process on [ 0 , 1 ]   . The aim of this paper is to prove a new characterization of anticipating integrals (of the Skorohod type) with respect to N ~   , and to apply such a result to investigate the relations between anticipating integrals and Poissonian martingales.
The anticipating Skorohod integral has been first introduced in [25] in the context of Gaussian processes. It is well known that the notion of Skorohod integral can be naturally extended to the family of normal martingales, that is, martingales having a conditional quadratic variation equal to t   (among which there are the Wiener process and the compensated Poisson process). In this case, the Skorohod integral is an extension of the classical (semimartingale) Itô integral to a wider family of non-adapted integrands, and therefore coincides with the latter on the class of (square integrable) adapted processes. See, for instance, [10] ; we also refer to [12] for an exhaustive presentation of results, techniques and applications of the anticipating stochastic calculus in the Gaussian context. In this paper, we try to deal with some of the disadvantages of the Skorohod calculus, in the specific case of the compensated Poisson process, and from the standpoint of the classic semimartingale theory.
To better understand our motivations, consider a Skorohod integral process (see [10] for the precise setup) with the form
X t = ∫ 0 t u s δ Z s t ∈ [ 0 , 1 ] (1)
where Z   is a normal martingale and u 1 [ 0 , t ]   belongs to the domain of the Skorohod integral δ   , ∀ t   .
Then, in general, if the integrand u   is not adapted to the natural filtration of Z   , the process X   is not a semimartingale, and the study of X   cannot be carried out by means of the usual Itô theory (as presented for instance in [5] ). Actually, the techniques employed to deal with processes such as X   mostly stem from functional analysis, and they do not allow, e.g., to obtain fine trajectorial properties. However, when Z = W   , where W   stands for a standard Wiener process, the authors of the present paper have pointed out several remarkable connections between processes such as X   in ( 1 ) and Wiener martingales. In particular, the following results (among others) have been obtained when Z = W   :
  • i) the class of Skorohod integral processes with sufficiently regular integrands coincides with a special family of Itô integrals, called Itô-Skorohod integrals (see [28] );
  • ii) a Skorohod integral process X   such as ( 1 ) can be approximated, in a certain norm, by linear combinations of processes with the form M t × M t ′   , where M t   is (centered) Wiener martingale and M t ′   is a backward Wiener martingale (see [18] ).
These facts lead in a natural way to explore the anticipating integrals in the context of a standard Poisson process. It is known that a Skorohod type integration can be developed on the Poisson space by using the Fock space structure, and that such integrals enjoy a number of useful properties, in part analogous to the ones displayed by Skorohod operators on Wiener space. We refer e.g. to [14] , [16] , [3] , [9] , [20] , [21] or [10] for different aspects of this calculus. Here, we shall provide Poissonian counterparts to several results given in [28] and [18] , as facts (i) and (ii) above, and we shall systematically point out the arguments that differ from those given in the Wiener context.
We remark that some of our results are of particular interest in the Poisson case. For example, our methods allow to obtain an Itô-type formula for anticipating integrals, and – as far as we know– this is the only anticipating change of variables formula for the Poisson situation (we could not find, for instance, an Itô-type formula proved in the spirit of [13] ). We note that the fact that the increments of the Poisson process are independent plays a crucial role in our construction; therefore the extension of the results to a more general normal martingale seems difficult.
The paper is organized as follows. The first part of Section 2 contains some preliminaries on the Malliavin calculus with respect to the Poisson process, whereas the second part displays a discussion about Itô stochastic integrals, σ   -fields and (independently enlarged) filtrations on the Poisson space; we shall note that most of the results given here are still valid on the Wiener space. In Section 3, we show that every anticipating (Poisson) integral coincides pointwise with a special type of Itô integral and (as in [18] ) we apply this relation to approximate Skorohod integral processes by linear combinations of processes that are a product of forward and backward martingales. Finally, in Section 4 we develop a new stochastic calculus of the Itô type for anticipating Poisson integrals.

2 Preliminaries: Malliavin calculus and filtrations

2.1 Malliavin calculus for the Poisson process

Throughout the paper, we use notation and terminology from standard semimartingale theory. The reader is referred e.g. to [5] , [4] or [23] for any unexplained notion.
Let T = [ 0 , 1 ]   and let N = ( N t ) t ∈ T   be a standard Poisson process, defined on the standard Poisson space ( Ω , F , P )   (see e.g. [14] ). By N ~   we will denote the compensated Poisson process N ~ t = N t − t   . For every Borel set B   , we will note N ( B )   and N ~ ( B )   , respectively, the random measures ∑ s ∈ B Δ N s   and N ( B ) − λ ( B )   , where Δ N s = N s − N s −   and λ   stands for Lebesgue measure on T   . It is well known (see e.g. [4] or [10] ) that the process t ↦ N ~ t   is a normal martingale, that is, N ~ t   is a càdlàg martingale initialized at zero, such that its conditional quadratic variation process (or angle bracket process) is given by 〈 N ~ , N ~ 〉 t = 〈 N ~ 〉 t = t   . The quadratic variation process of N ~   (or right bracket process ) is of course [ N ~ , N ~ ] t = [ N ~ ] t = N t   (note that the results of our paper extend immediately to the case of a Poisson process on R +   , with a deterministic intensity μ > 0   ). It is also known (see again [10] and the references therein) that N ~   enjoys the chaotic representation property, i.e. every random variable F ∈ L 2 ( Ω , F , P ) = L 2 ( P )   , measurable with respect to the σ   -algebra generated by N   , can be written as an orthogonal sum of multiple Poisson-Itô stochastic integrals
F = E ( F ) + ∑ n ≥ 1 I n ( f n ) (2)
where the infinite series converges in L 2 ( P )   , and, for n ≥ 1   , the kernel f n   is an element of L s 2 ( T n ) ⊂ L 2 ( T n )   , where L s 2 ( T n )   and L 2 ( T n )   denote, respectively, the space of symmetric and square integrable functions, and the space of square integrable functions on T n   (endowed with Lebesgue measure).
Let us recall the basic construction of the multiple Poisson-Itô integral on the Poisson space.
Fix n ≥ 2   and denote by S n   and S ~ n   , respectively, the vector space generated by simple functions with the form
f ( t 1 , … , t n ) = 1 B 1 ( t 1 ) … 1 B n ( t n ) , (3)
where B 1 , … , B n   are disjoint subsets of R   , and the vector space generated by the symmetrization of the element of S n   . If f   is as in ( 3 ) and f ~ ∈ S ~ n   is its symmetrization, we define I n ( f ~ )   as
I n ( f ~ ) = N ~ ( B 1 ) … N ~ ( B n ) (4)
Since, for every n ≥ 2   , S ~ n   is dense in L s 2 ( T n )   , the integral I n   can be extended to L s 2 ( T n )   by continuity, due to the isometry formula, true for every m , n ≥ 2   , f ~ ∈ S ~ n   and g ~ ∈ S ~ m ,  
E ( I n ( f ~ ) I m ( g ~ ) ) = n ! 〈 f ~ , g ~ 〉 L 2 ( T n ) 1 ( n = m ) . (5)
We also use the following conventional notation: L 2 ( T ) =   L 2 ( T 1 ) = L s 2 ( T 1 )   ; I 1 ( f ) = ∫ 0 1 f ( s ) d N ~ s   , f ∈ L 2 ( T )   ; f ~   is the symmetrization of f   , ∀ f ∈ L 2 ( T n )   , n ≥ 2   ; I n ( f ) = I n ( f ~ )   , f ∈ L 2 ( T n )   , n ≥ 2   ; L 2 ( T 0 ) = L s 2 ( T 0 ) =   S 0 =   S ~ 0 = R   ; I 0 ( c ) = c   , c ∈ R   .
Remark 1 As proved e.g. by Ogura in [17] , one can define multiple stochastic integrals on the Poisson space by using the Charlier-Poisson polynomials. More precisely, for n ≥ 0   , the n   th Charlier-Poisson polynomial C n ( t , x )   , ( t , x ) ∈ [ 0 , 1 ] × R   , is defined through the generating function (see for instance [2] ) Φ ( z , t , x ) = ∑ n = 0 ∞ z n C n ( t , x ) = ( 1 + z ) x + t exp ( − z t ) .   It is well known (see e.g. [7,Lemma2] ) that the Charlier polynomials are connected to the above defined Poisson-Itô multiple integrals by the following relation: for every Borel subset B ⊆ T  
C n ( λ ( B ) , N ~ ( B ) ) = 1 n ! I n ( 1 B ⊗ n ( ⋅ ) ) , (6)
where n ≥ 1   , and λ   stands for Lebesgue measure.
Now define, for n , m ≥ 1   , f ∈ L s 2 ( T m )   , g ∈ L s 2 ( T n )   , r = 0 , . . . , m ∧ n   and l = 1 , . . . , r   , the (contraction) kernel on T m + n − r − l  
f ◆ r l ( γ 1 , … , γ r − l , t 1 , … , t m − r , s 1 , … , s n − r )
= ∫ T l f ( u 1 , … , u l , γ 1 , … , γ r − l , t 1 , … , t m − r ) g ( u 1 , … , u l , γ 1 , … , γ r − l , s 1 , … , s n − r ) d u 1 . . . d u l ,
and, for l = 0   , f ◆ r 0 ( γ 1 , … , γ r , t 1 , … , t m − r , s 1 , … , s n − r ) = f ( γ 1 , … , γ r , t 1 , … , t m − r ) g ( γ 1 , … , γ r , s 1 , … , s n − r ) ,   so that f ◆ 0 0 ( t 1 , … , t m , s 1 , … , s n ) = f ( t 1 , … , t m ) g ( s 1 , … , s n ) .   We will need the following product formula for two Poisson-Itô multiple integrals (see [7] , [22] , or [26] ):
let f ∈ L s 2 ( T m )   and g ∈ L s 2 ( T n )   , n , m ≥ 1   , and suppose moreover that f ◆ r l g ∈ L 2 ( T m + n − r − l )   for every r = 0 , . . . , m ∧ n   and l = 1 , . . . , r   , then
I m ( f ) I n ( g ) = ∑ r = 0 m ∧ n r ! ( m r ) ( n r ) ∑ l = 0 r I m + n − r − l ( f ◆ r l g ) . (7)
It is possible to develop a Malliavin-type calculus with respect to the Poisson process based on the (symmetric) Fock space isomorphism induced by formulae ( 2 ) and ( 5 ). We refer to [14] or [10] for the basic elements of this calculus. For a random variable F   as in ( 2 ) we introduce the annihilation (or derivative) operator as
D t F = ∑ n ≥ 1 n I n − 1 ( f n ( ⋅ , t ) ) , t ∈ T , (8)
and its domain, usually denoted by D 1 , 2   , is the set D 1 , 2 = { F = ∑ n ≥ 0 I n ( f n ) : ∑ n n n ! ∥ f n ∥ n 2 < + ∞ }   where ∥ ⋅ ∥ n   is the norm in L 2 ( T n )   . The operator D   is not a derivation (see [10,p.91] ) and it satisfies (see [14,Lemma6.1andTheorem6.2] )
D ( F G ) = F D G + G D F + D F D G if F , G , F G ∈ D 1 , 2 . (9)
The Skorohod integral, or the creation operator, is defined by δ ( u ) = ∑ n ≥ 0 I n + 1 ( f ~ n )   whenever u t = ∑ n ≥ 0 I n ( f n ( ⋅ , t ) )   , where u ∈ L 2 ( T × Ω )   , belongs to the domain of δ   , noted D o m ( δ )   , that is, u   verifies ∑ n ≥ 0 n n ! ∥ f n ∥ n + 1 2 < + ∞ .   We introduce the subset L 1 , 2   of D o m ( δ )   defined as
L 1 , 2 = { u t = ∑ n I n ( f n ( ⋅ , t ) ) : ∑ n ( n + 1 ) ! ∥ f n ∥ n + 1 2 < + ∞ } . (10)
Note that L 1 , 2   equals L 2 ( T ; D 1 , 2 )   , when the former is endowed with the seminorm ∥ u ∥ 1 , 2 2 = E ∫ 0 1 u s 2 d s + E ∫ 0 1 ∫ 0 1 ( D r u s ) 2 d r d s ,   and moreover, for every u ∈ L 1 , 2   , one can verify the inequality
E δ ( u ) 2 ≤ ∥ u ∥ 1 , 2 2 (11)
(see for instance formula ( 13 ) below). For any integer k ≥ 2   the space D k , 2   denotes the set of k   times weakly differentiable random variables, endowed with the seminorm ∥ F ∥ k , 2 2 = E ∥ F ∥ 2 + ∑ l = 1 k ∥ D l F ∥ L 2 ( T l × Ω ) 2 , F ∈ D k , 2 ,   where D 1 = D   , and, for l ≥ 2   , the l   th Malliavin derivative D l   is first defined by iteration on simple functionals, and then extended by a standard closure procedure. By L k , 2   we denote the set L 2 ( T ; D k , 2 )   ; note that, if u ∈ L 1 , 2   , then u 1 [ 0 , t ] ∈ D o m ( δ )   for every t ∈ T   (see [10,Lemma4.6] ).
Occasionally, we will also use the notation ∫ 0 1 u s δ N ~ s = δ ( u ) , u ∈ D o m ( δ ) .   We recall that, according e.g. to [10,Proposition4.4] , if u ∈ L 2 ( T × Ω )   is a predictable process with respect to the filtration generated by N ~   , then u   is Skorohod integrable and δ ( u )   coincides with the usual Itô integral with respect to the càdlàg martingale N ~   .
The following duality relationship between D   and δ   , which is classic in the Gaussian case, still holds on the Poisson space (see [14,Proposition4.2] )
E [ ∫ 0 1 ( D s F u s ) d s ] = E ( δ ( u ) F ) if F ∈ D 1 , 2 and u ∈ D o m ( δ ) . (12)
and the covariance of two Skorohod integrals is given by
E ( δ ( u ) δ ( v ) ) = E ∫ 0 1 u s v s d s + E ∫ 0 1 ∫ 0 1 D r u s D s v r d r d s (13)
whenever u , v ∈ L 1 , 2   (see [14,Thorem4.1] ). Eventually, we will need the commutativity relationship between D   and δ  
D t δ ( u ) = u t + δ ( D t u ) if u ∈ L 1 , 2 and D t u ∈ D o m ( δ ) (14)
(see [14,Thorem4.1] ), as well as the integration by parts formula, true whenever F ∈ D 1 , 2   and D F × u ∈ D o m ( δ ) ,  
δ ( F u ) = F δ ( u ) − 〈 D F , u 〉 L 2 ( T ) − δ ( D F u ) (15)
(see [14,Theorem7.1] ).

2.2 σ   -fields, filtrations and Itô stochastic integrals

For any Borel set A ⊆ T   , we use the notation F A = σ { N ~ ( h 1 A ) : h ∈ L 2 ( T ) }   and also, for t ∈ T   , F t = F [ 0 , t ]   and F t c = F [ 0 , t ] c   . Note that, in the following, we will tacitly complete each σ   -field F A   with the P   -null sets of F   , so that, for instance, { F t : t ∈ T }   is the completion of the natural filtration of the process N ~ t   . We also set F = F 1   . The independence of the Poisson increments implies the following relations (see again [14] ): for every n ≥ 1   , every f ∈ L s 2 ( T n )   and every Borel subset A   of T   ,
E ( I n ( f ) | F A ) = I n ( f 1 A ⊗ n ) , a.s.– P , (16)
and, a.s.– P   ,
D t E ( F | F A ) = E ( D t F | F A ) 1 A ( t ) , t ∈ T . (17)
An immediate consequence of ( 17 ) is that, if F ∈ D 1 , 2   is a F A   -measurable random variable, then D F = 0   on A c × Ω .   Moreover, if we denote by X   the Skorohod integral process X t = ∫ 0 t u s δ N ~ s = δ ( u 1 [ 0 , t ] ) , t ∈ T , u ∈ L 1 , 2 ,   then the process X   satisfies (see Lemma 3.2.1 in [12] )
E ( X t − X s | F [ s , t ] c ) = 0 for every s < t . (18)
In the anticipating calculus, relation ( 18 ) plays roughly the same role as does, in the usual Itô calculus, the martingale characterization of adapted stochastic integrals.
Now fix t ∈ ( 0 , 1 ]   . In the sequel, we will use the properties of the following (enlarged) filtration
F ( ⋅ , t ] c = { F ( s , t ] c : s ∈ [ 0 , t ] } = { F s ∨ F t c : s ∈ [ 0 , t ] } . (19)
Note that, since N ~   has càdlàg paths, F ( s , t ] c = F ( s , t ) c   for every s ∈ [ 0 , t ]   , and also
F [ s , t ] c = ⋁ ɛ > 0 F ( s − ɛ , t ] c . (20)
It is also easily checked that the filtration F ( ⋅ , t ] c   satisfies the usual conditions. We can therefore define, for every t ∈ ( 0 , 1 ]   , ( p , t ) ( ⋅ )   to be the predictable projection operator with respect to F ( ⋅ , t ] c   , as defined e.g. in [5,Theorem6.39] . Note that, due to the independence of its increments, the process N ~ r   , r ∈ [ 0 , t ]   , is again a normal martingale with respect to the filtration F ( r , t ] c   . It follows that the Itô (semimartingale) stochastic integral of a square integrable, F ( ⋅ , t ] c   – predictable process is always well defined. For a process u ∈ L 2 ( T × Ω )   , whose restriction to [ 0 , t ]   is also F ( ⋅ , t ] c   – predictable, we will note ∫ 0 t u s d N ~ s   the Itô stochastic integral of u   with respect to N ~   , regarded as a càdlàg, square integrable F ( ⋅ , t ] c   – martingale on [ 0 , t ]   . Note that we write ∫ 0 t   instead of ∫ 0 + t   , because N ~ 0 = 0   .
The following result extends [10,Proposition4.4] to the case of the enlarged filtration F ( ⋅ , t ] c   . It also contains a Clark-Ocone type formula (see e.g. [16] for the Brownian case) which will be further generalized in the next section.
Proposition 1 Let the above notation prevail and fix t ∈ ( 0 , 1 ]   . Then,
  • (i) if the restriction to [ 0 , t ]   of a process u ∈ L 2 ( T × Ω )   is predictable with respect to the filtration F ( ⋅ , t ] c   , then u 1 [ 0 , t ] ∈ D o m ( δ ) and δ ( u 1 [ 0 , t ] ) = ∫ 0 t u s d N ~ s ,   where the right-hand side is a stochastic integral in the semimartingale sense;
  • (ii) for every F t   -measurable functional G ∈ D 1 , 2   , and for every 0 ≤ s ≤ t   ,
    G = E ( G | F ( s , t ] c ) + δ ( ( p , t ) ( D ⋅ G ) ) = E ( G | F ( s , t ] c ) + ∫ s t ( p , t ) ( D r G ) d N ~ r . (21)
Proof. (i) Fix t ∈ ( 0 , 1 ]   . We start by considering a process with the form
u s = g ( s ) I n ( h ⊗ n 1 [ 0 , s ) ∪ ( t , 1 ] ⊗ n ) , s ∈ T , (22)
where n ≥ 1   , h ⊗ n ( t 1 , . . . , t n ) = h ( t 1 ) ⋅ ⋅ ⋅ h ( t n )   , and h , g ∈ L 2 ( T )   . Plainly, u 1 [ 0 , t ] ∈ D o m ( δ )   . Now define, for k = 0 , . . . , n   and s < t   B k n ( s ) = { ( t 1 , . . . , t n ) ∈ T n : k of the t i 's are < s and n − k are > t } .   Of course, u s = ∑ k = 0 n u s k , s ∈ T ,   where, for k = 0 , . . . , n   , u s k = g ( s ) I n ( h ⊗ n 1 B k n ( s ) ) = ( n k ) g ( s ) I k ( h ⊗ k 1 [ 0 , s ) ⊗ k ) I n − k ( h ⊗ n − k 1 ( t , 1 ] ⊗ n − k ) ,   with I 0 = 1   , the last equality being justified by an application of ( 7 ). Now fix k   , and observe that the process u s k   , s ∈ [ 0 , t ]   , is predictable with respect to F ( ⋅ , t ] c   so that, on [ 0 , t ]   , the Itô integral of u k   with respect to N ~   is classically given by ∫ 0 t u s k d N ~ s = ( n k ) I n − k ( h ⊗ n − k 1 ( t , 1 ] ⊗ n − k ) ∫ 0 t g ( s ) I k ( h ⊗ k 1 [ 0 , s ) ⊗ k ) d N ~ s .   On the other hand, the symmetrization in the n + 1   variables ( t 1 , t 2 , . . . , t n + 1 )   of the function g 1 [ 0 , t ] ( t 1 )   ×   h ⊗ n 1 B k n ( t 1 ) ( t 2 , . . . , t n + 1 )   is f n + 1 k ( t 1 , . . . , t n + 1 ) = 1 n + 1 ∑ i = 1 n + 1 g 1 [ 0 , t ] ( t i ) h ⊗ n 1 B k n ( t i ) ( t j : j ≠ i ) ,   and the restriction of f n + 1 k   to Δ n + 1 = { ( t 1 , . . . , t n + 1 ) ∈ T n + 1 : 0 < t 1 < . . . < t n + 1 < 1 }   is therefore
1 n + 1 g 1 [ 0 , t ] ( t k + 1 ) h ⊗ n ( t 1 , . . . , t k , t k + 2 , . . . , t n + 1 ) 1 { t k + 2 > t }
= 1 n + 1 g 1 [ 0 , t ] ( t k + 1 ) h ⊗ k ( t 1 , . . . , t k ) h ⊗ n − k ( t k + 2 , . . . , t n + 1 ) 1 { t k + 2 > t } , ( t 1 , . . . , t n + 1 ) ∈ Δ n + 1
and consequently
δ ( u k ) = n ! ∫ t 1 ∫ t t n + 1 ⋅ ⋅ ⋅ ∫ t t k + 3 h ⊗ n − k ( t k + 2 , . . . , t n + 1 ) d N ~ t k + 2 d N ~ t k + 3 . . . d N ~ t n + 1 ×
× ∫ 0 t g ( t k + 1 ) ∫ 0 t k + 1 ⋅ ⋅ ⋅ ∫ 0 t 2 h ⊗ k ( t 1 , . . . t k ) d N ~ t 1 ⋅ ⋅ ⋅ d N ~ t k d N ~ t k + 1
= ( n k ) I n − k ( h ⊗ n − k 1 ( t , 1 ] ⊗ n − k ) ∫ 0 t g ( s ) I k ( h ⊗ k 1 [ 0 , s ) ⊗ k ) d N ~ s .
By linearity, for n ≥ 1   , the statement is now completely proved for every finite linear combination of processes with the form ( 22 ), and a standard density argument yields the result for every process with the form v s = I n ( g ( ⋅ , s ) 1 [ 0 , s ) ∪ ( t , 1 ] ⊗ n ) , s ∈ T ,   where the function g ( x 1 , . . . , x n , s )   is an element of L 2 ( T n + 1 )   and is symmetric in the variables ( x 1 , . . . , x n )   . To deal with the general case, suppose that u s = ∑ n ≥ 0 I n ( h n ( ⋅ , s ) ) ∈ L 2 ( T × Ω )   is F ( s , t ] c   – predictable on [ 0 , t ]   . This implies, in particular, by setting h n t ( s , t 1 , . . . , t n )   = 1 [ 0 , t ] ( s )   h n ( t 1 , . . . , t n , s )   ,
∑ n = 0 ∞ n ! ∫ 0 t d s ∥ h n ( ⋅ , s ) ∥ n 2 = ∑ n = 0 ∞ n ! ∫ 0 1 d s ‖ h n t ( ⋅ , s ) ‖ n 2 = ∑ n = 0 ∞ n ! ‖ h n t ‖ n + 1 2 < + ∞ , and
I n ( h n ( ⋅ , s ) ) = I n ( h n ( ⋅ , s ) 1 [ 0 , s ) ∪ ( t , 1 ] ⊗ n ) , n ≥ 1 , s ∈ [ 0 , t ] .
Now observe that, thanks to the previous discussion, ( n + 1 ) ! ‖ h n t ~ ‖ n + 1 2 = E I n + 1 ( h n t ~ ) 2 = n ! ∫ 0 t ∥ h n ( ⋅ , s ) ∥ n 2 d s ,   implying ∑ n = 0 ∞ ( n + 1 ) ! ‖ h n t ~ ‖ n + 1 2 = ∑ n = 0 ∞ n ! ‖ h n t ‖ n + 1 2 < + ∞ ,   and therefore u 1 [ 0 , t ] ∈ D o m ( δ )   . The conclusion is achieved by standard arguments.
(ii) Thanks to [10,Theorem4.5] , we obtain immediately, for s ≤ t   , G = E ( G | F s ) + ∫ s t ( p ) ( D r G ) d N ~ r   where ( p ) ( ⋅ )   indicates the predictable projection operator with respect to F s   , s ≤ t   . To conclude, it is sufficient to use the independence of the increments of N ~   to obtain that, for every s ≤ r ≤ t   ,
E ( G | F s ) = E ( G | F ( s , t ] c )
( p ) ( D r G ) = E ( D r G | F r − ) = E ( D r G | F [ r , t ] c ) = ( p , t ) ( D r G ) ,
a.s. – P   . ■  
Remark 2 (i) The arguments used in the proof of Proposition 1-(i) are exclusively based on the covariance structure of multiple integrals and formula ( 16 ), and they can be directly applied to the Brownian case. This implies, for instance, that the Skorohod integral appearing in the statement of Proposition A.1 in [13] is also a martingale stochastic integral with respect to an independently enlarged Brownian filtration.
(ii) We stress that, for the moment, we require the functional G   , in part (ii) of Proposition 1, to be F t   measurable. In the next section we will show that ( 21 ) holds indeed for every G ∈ D 1 , 2   .
For t = 1   , Proposition 1-(ii) has also been proved in [1] .
Define S *   to be the (dense) subset of L 2 ( T × Ω )   and L k , 2   , k ≥ 1   , composed of processes of the type v s = ∑ n = 0 N I n ( f n ( s , ⋅ ) ) , s ∈ T ,   where N < + ∞   , and, for every n   , f n ( s , t 1 , . . . , t n ) ∈ S n + 1   and f n   is symmetric in the variables ( t 1 , . . . , t n )   . Then, for every v ∈ S *   , a classic characterization of predictable projections (see [5,Theorem6.43] ) implies immediately, thanks to formulae ( 4 ) and ( 16 ), that there exists a jointly measurable application φ v   Ω × Δ 2 ↦ R : ( ω ; s , t ) ↦ φ v ( ω ; s , t )   where Δ 2 = { ( s , t ) ∈ [ 0 , 1 ] 2 : 0 ≤ s ≤ t }   , such that, for every ( s , t ) ∈ Δ 2   , φ v ( ⋅ ; s , t )   is a version of E [ v s | F [ s , t ] c ]   and, a.s. – P   , φ v ( ⋅ ; s , t ) = ( p , t ) ( v s ) .   In general, due again to [5,Theorem6.43] , for every fixed t ∈ ( 0 , 1 ]   and every process u ∈ L 2 ( T × Ω )   , the associated predictable projection ( p , t ) ( u s )   is such that, for every s ∈ [ 0 , t ]   , E [ u s | F [ s , t ] c ] =   ( p , t ) ( u s )   , a.s. – P   . In the future, when considering the stochastic process E [ u ⋅ | F [ ⋅ , t ] c ]   , we will implicitly refer to its predictable modification ( p , t ) ( u ⋅ )   . For instance, with such a convention, formula ( 21 ) can be unambiguously rewritten as G = E ( G | F ( s , t ] c ) + ∫ s t E [ u r | F [ r , t ] c ] d N ~ r .  

3 Forward-backward martingales and approximation of anticipating integrals

In this section, we explore the connection between the anticipating integrals of the form ( 1 ), and a special class of usual Itô integrals. This relation is applied to prove that, just as on the Wiener space, anticipating integral processes can be represented as the limit, under a certain norm, of linear combinations of products of forward and backward martingales. We start by adapting to the Poisson situation some known results on the Wiener space. In particular, we will need the following generalized Clark-Ocone formula, which extends Proposition 1 above and is the actual equivalent, on the Poisson space, of [13,PropositionA.1] .
Proposition 2 Let the notation of the previous section prevail, and let G ∈ D 1 , 2   . Then, for every 0 ≤ s ≤ t ≤ 1   , formula ( 21 ) holds. We have also the relation, for s > 0   ,
G = E ( G | F [ s , t ] c ) + ∫ s − t ( p , t ) ( D r G ) d N ~ r = E ( G | F [ s , t ] c ) + δ ( ( p , t ) ( D ⋅ G ) 1 [ s , t ] ( ⋅ ) ) (23)
where ∫ s − t   ( p , t ) ( D r G ) d N ~ r = lim α ↑ s ∫ α t   ( p , t ) ( D r G ) d N ~ r   .
Proof. First observe that the second equality in ( 23 ) follows from the F ( ⋅ , t ] c   – predictability of ( p , t ) ( D ⋅ G )   , and an application of Proposition 1-(i). Moreover, thanks to the martingale property of stochastic integrals, it is sufficient to prove the statement for s = 0   and t ∈ ( 0 , 1 ]   . We start by considering a random variable G ∈ D 1 , 2   of the form
G = I m ( h 1 [ 0 , t ] ⊗ m ) × I n ( g 1 ( t , 1 ] ⊗ n ) : = G 1 × G 2 , n , m ≥ 0 , (24)
where, for n , m ≥ 1   , h ∈ L s 2 ( [ 0 , 1 ] m )   , g ∈ L s 2 ( [ 0 , 1 ] n )   , and I 0   stands for a real constant. Random variables such as ( 24 ) are total in D 1 , 2   . Moreover, we can apply Proposition 1 to G 1   and obtain, thanks to the stochastic independence between F t c   and F t   and by ( 15 )
G = G 2 × [ E ( G 1 | F t c ) + ∫ 0 t ( p , t ) ( D r G 1 ) d N ~ r ]
= E ( G | F t c ) + ∫ 0 t G 2 × ( p , t ) ( D r G 1 ) d N ~ r
= E ( G | F t c ) + ∫ 0 t ( p , t ) ( G 2 × D r G 1 ) d N ~ r .
Note that the last equality comes from [5,Corollary6.44] and from the fact that G 2   is F t c   measurable, implying that the (constant) application r ↦ G 2   , r ∈ [ 0 , t ]   , can be interpreted as a F ( r , t ] c   predictable process. Finally, we observe that ( 9 ) and ( 16 ) imply that G 2 × D r G 1 = D r G , for every r ∈ [ 0 , t ] ,   so that, by linearity, ( 21 ) is completely proved for every finite linear combination of random variables such as ( 24 ). Now suppose that a certain sequence G ( n ) ∈ D 1 , 2   enjoys property ( 21 ) and that G ( n )   converges to G   in D 1 , 2   as n   goes to + ∞   . Then, E ( G ( n ) | F t c ) → E ( G | F t c )   in L 2 ( P )   , and moreover the relation ( p , t ) ( D r H ) = E [ D r H | F [ r , t ] c ] ,   true for every fixed r ∈ [ 0 , t ]   and every H ∈ D 1 , 2   , implies immediately, thanks to Jensen inequality and the isometric properties of Itô integrals,
E { [ ∫ 0 t [ ( p , t ) ( D r G ( n ) ) − ( p , t ) ( D r G ) ] d N ~ r ] 2 } = ∫ 0 t E [ [ ( p , t ) ( D r ( G ( n ) − G ) ) ] 2 ] d r
≤ E ∫ 0 t ( D r ( G ( n ) − G ) ) 2 d r → 0 ,
and therefore G = E ( G | F t c ) + ∫ 0 t ( p , t ) ( D r G ) d N ~ r .   To obtain ( 21 ), use the totality in D 1 , 2   of random variables such as ( 24 ). Eventually, to prove ( 23 ) just write, for ɛ > 0   , G = E ( G | F ( s − ɛ , t ] c ) + ∫ s − ɛ t ( p , t ) ( D r G ) d N ~ r   so that, by letting ɛ ↓ 0   , the conclusion follows from the fact that the paths of Itô stochastic integrals (with respect to N ~   ) are càdlàg, as well as relation ( 20 ) and a standard martingale argument. ■  
Remark 3 Proposition 2 can also be proved along the same lines of the proof of [13,PropositionA.1] . Suppose indeed that G   admits the chaotic decomposition G = ∑ m ≥ 0 I m ( g m ) , g m ∈ L s 2 ( T m ) .   Then, by ( 8 ) and ( 16 ), D r G = ∑ m ≥ 1 m I m − 1 ( g m ( ⋅ , r ) )   and E ( D r G | F [ r , t ] c ) = ∑ m ≥ 1 m I m − 1 ( g m ( ⋅ , r ) 1 [ r , t ] c ⊗ ( m − 1 ) ) .   Since the symmetrization in the m   variables r , t 1 , … , t m − 1   of the function 1 [ s , t ] ( r ) 1 [ r , t ] c ⊗ ( m − 1 ) ( t 1 , … , t m − 1 )   is given by 1 m 1 A m   where A m = ∪ i = 1 m { ( t 1 , … , t m ) ∈ T m ,   t i ∈ [ s , t ] }   we get
δ ( 1 [ s , t ] ( ⋅ ) E ( D ⋅ G | F [ ⋅ , t ] c ) ) = ∑ m ≥ 1 I m ( g m 1 A m )
= ∑ m ≥ 0 I m ( g m ) − ∑ m ≥ 0 I m ( g m 1 A m c )
= G − E ( G | F [ s , t ] c ) .
The discussion of Paragraph 2.2 can be used to interpret the Skorohod integral on the left side as an Itô integral of a predictable process.
The next Proposition shows that every indefinite anticipative integral ∫ 0 t u s δ N ~ s   can be written, at fixed t ∈ [ 0 , 1 ]   , as an Itô-Skorohod integral with the form ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   where w   can be explicitly given in terms of u   .
Proposition 3 Let X   be a Skorohod integral process X t = δ ( u 1 [ 0 , t ] )   , t ∈ [ 0 , 1 ]   , with u ∈ L k , 2   , k ≥ 3   . Then, there exists a unique process w ∈ L k − 2 , 2   , independent of t   , such that, for every fixed t   ,
X t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s = δ ( E ( w ⋅ | F [ ⋅ , t ] c ) 1 [ 0 , t ] ( ⋅ ) ) , a . s . − P . (25)
Proof. By applying the Clark-Ocone type formula ( 23 ) to the integrand u   we can write
X t = ∫ 0 t u s d N ~ s
= ∫ 0 t E ( u s | F [ s , t ] c ) d N ~ s + ∫ 0 t ( ∫ s − t E ( D r u s | F [ r , t ] c ) δ N ~ r ) δ N ~ s .
Using a Fubini type theorem (that we can argue exactly as in [15] , by using working on the chaotic expansions) we can interchange the two Skorohod integrals appearing in the second term to obtain that
X t = ∫ 0 t E ( u s | F [ s , t ] c ) d N ~ s + ∫ 0 t ( ∫ 0 r E ( D r u s | F [ r , t ] c ) δ N ~ s ) δ N ~ r
= ∫ 0 t E ( u s | F [ s , t ] c ) d N ~ s + ∫ 0 t E ( ∫ 0 r D r u s δ N ~ s | F [ r , t ] c ) δ N ~ r
= ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s
where we used Proposition 1-(i) as well as the fact that the increments of the Poisson process are independent and we adopted the notation
w s : = u s + δ ( D s u ⋅ 1 [ 0 , s ] ( ⋅ ) ) : = u s + v s . (26)
Let us show that the process w   introduced in ( 26 ) belongs to L k − 2 , 2   . It suffices indeed to prove that v ∈ L k − 2 , 2   . Thanks to the inequality ( 11 ) and formula ( 14 ), we can write
∥ v ∥ 1 , 2 2 = E ∫ 0 1 δ ( D s u 1 [ 0 , s ] ) 2 d s + E ∫ 0 1 ∫ 0 1 ( D α δ ( D s u 1 [ 0 , s ] ) ) 2 d s d α
≤ 2 E ∫ 0 1 ∫ 0 1 ( D r u s ) 2 d r d s + E ∫ 0 1 ∫ 0 1 ∫ 0 1 ( D α D r u s ) 2 d s d r d α
+ E ∫ 0 1 ∫ 0 1 δ ( D α D s u 1 [ 0 , s ] ) 2 d s d α
≤ 2 E ∫ 0 1 ∫ 0 1 ( D r u s ) 2 d r d s + 2 E ∫ 0 1 ∫ 0 1 ∫ 0 1 ( D α D r u s ) 2 d s d r d α
+ E ∫ 0 1 ∫ 0 1 ∫ 0 1 ∫ 0 1 ( D β D α D s u r ) 2 d r d s d α d β < + ∞ ,
since u ∈ L 3 , 2   . In general, it can be similarly proved that ∥ v ∥ k − 2 , 2 2 ≤ C k ∥ v ∥ k , 2 2 , k ≥ 3 ,   where C k   is a positive constant depending exclusively on k   . Concerning the uniqueness, let us suppose that there exists another process w ′ ∈ L k − 2 , 2   such that X t = ∫ 0 t E ( w s ′ | F [ s , t ] c ) d N ~ s   . Then, if z s = w s − w s ′   , we get ∫ 0 t E ( z s | F [ s , t ] c ) d N ~ s = 0   and therefore, for every t ∈ ( 0 , 1 ]   , ∫ 0 t E [ E ( z s | F [ s , t ] c ) ] 2 d s = 0 .   Let us assume that z   has the chaotic expression z s = ∑ m ≥ 0 I m ( g m ( ⋅ , s ) )   where g m ∈ L 2 ( T m + 1 )   ; note that, for m ≥ 2   , the function g m ( s 1 , . . . , s m , s )   can be taken to be symmetric in the variables ( s 1 , . . . , s m )   . The above condition ensures that ∑ m ≥ 0 ∫ 0 t ( ∫ [ s , t ] c … ∫ [ s , t ] c g m 2 ( s 1 , … , s m , s ) d s 1 … d s m ) d s = 0   and thus ∫ [ s , t ] c … ∫ [ s , t ] c g m 2 ( s 1 , … , s m , s ) d s 1 … d s m = 0   for every m ≥ 0   and for almost every s ∈ [ 0 , t ]   . By letting s → t   we get that g m ( ⋅ ) = 0   almost everywhere on T m + 1   and the conclusion is obtained.
Remark 4 (i) We claim that it is possible to prove a converse to Proposition 3. More precisely, as in [28] , we can show that if, for a fixed t   , Y t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   with w ∈ L 1 , 2   , then there exists u ∈ D o m ( δ )   such that Y t = ∫ 0 t u s δ N ~ s   . The proof would use an analogue of the characterization of Skorohod integrals stated in Proposition 2.1. of [11] for the Wiener case; one canprove a similar characterization in the Poisson context, by following the same line of reasoning as in [11,Proposition2.1] . This point will be discussed in a separate paper.
(ii) A question that is not likely to be answered as easily as in the Wiener case (see [28] ), is when a Skorohod integral X t   as in ( 1 ) and an Itô-Skorohod integral such as Y t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   are indistinguishable as stochastic processes, and not only reciprocal modifications. This is not immediate to answer since, on the Poisson space, we do not know any sufficiently general criterion, ensuring that an anticipating integral admits a (right)-continuous version. Nevertheless, as shown in the following example, one can sometimes apply classical results from the general theory of stochastic processes.
Example (Indefinite integrals that are indistinguishable from Itô-Skorohod processes). Let the process X t   , t ∈ [ 0 , 1 ]   , be defined as in ( 1 ), and assume that the integrand u   and all its Malliavin derivatives D k u   are bounded by a deterministic constant, uniformly on T k × Ω   . Then, the assumptions of Proposition 3 are verified, and we immediately deduce the existence of an Itô -Skorohod integral with the form Y t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   , t ∈ [ 0 , 1 ]   , such that X   and Y   are modifications. We claim that, in this setting, X   and Y   also admit two indistinguishable càdlàg modifications. Recall indeed the following classic criterion (see [6,Ch.III,Section4] ): if Z   is a stochastic process such that for some p ≥ 1   and β > 0   ,
E | ( Z t + h − Z t ) ( Z t − Z t − h ) | p ≤ C ( p ) × h 1 + β , (27)
where C ( p )   is a positive constant, then Z   admits a càdlàg modification. Note that if Z ′   is a modification of Z   , and Z   satisfies ( 27 ), then ( 27 ) must also hold for Z ′   . We shall prove ( 27 ) for Z = X   . To this end, note I h + = [ t , t + h ]   and I h − = [ t − h , t ]   , so that, under the above assumptions and by ( 12 ),
E | ( X t + h − X t ) ( X t − X t − h ) | 2 = E ( δ ( u 1 I h + ) δ ( u 1 I h + ) δ ( u 1 I h − ) 2 )
= E ∫ I h + u s D s [ δ ( u 1 I h + ) δ ( u 1 I h − ) 2 ] d s = E ( ∫ I h + u s [ D s δ ( u 1 I h + ) ] d s ) δ ( u 1 I h − ) 2
+ E ( ∫ I h + u s [ D s δ ( u 1 I h − ) 2 ] d s ) δ ( u 1 I h + ) + E ( ∫ I h + u s [ D s δ ( u 1 I h + ) ] [ D s δ ( u 1 I h − ) 2 ] d s )
: = A + B + C .
By formula ( 14 ), the first summand above can be decomposed as follows
A = E ∫ I h + u s [ u s 1 h + ( s ) + δ ( D s u 1 h + ) ] d s : = A 1 + A 2 .
We need only show how to handle A 1   , and similar techniques can be used to deal with the remaining terms A 2 , B   and C   . Indeed, we can write A 1 = E δ ( u 1 I h − ) 2 ∫ I h + u s 2 d s ≤ c s t × h E δ ( u 1 I h − ) 2 ≤ c s t × h 2   since, by ( 11 ), E δ ( u 1 I h − ) 2 ≤ E ∫ I h − u s 2 d s + ∫ I h − ∫ I h − ( D s u α ) 2 d s d α ≤ c s t × h   because u   and its derivative are assumed to be uniformly bounded. Since ( 27 ) is also true for Z = Y   , we deduce that there exist two processes X ′   and Y ′   such that X ′   is a càdlàg modification of X   and Y ′   is a càdlàg modification of Y   . We can now apply a classic argument (see for instance [23,Theorem2,p.4] ), to deduce that X ′   and Y ′   are also indistinguishable. ■   Let us recall some notation taken from [18] . By L 0 2 ( P )   we denote the set of zero mean square integrable random variables. We will write B F   for the class of stochastic processes that can be expressed as finite linear combinations of processes of the type Z t = E ( H 1 | F t ) × E ( H 2 | F t c ) = M t × M t ′   where H 1 ∈ L 0 2 ( P )   and H 2 ∈ L 2 ( P )   . Plainly, M   is a martingale with respect to F t   and M ′   is a backward martingale. By backward martingale we mean that M t ′   is in L 1 ( P )   and F t c   – measurable for every t   , and E ( M s ′ | F t c ) = M t ′   for any s ≤ t   ; see e.g. [24] .
We give a counterpart of Lemma 2 in [18] . The proof needs a slightly different argument.
Lemma 1 Let A 1 , A 2   be two disjoint Borel subsets of [ 0 , 1 ]   and assume that F   is a random variable in D k , 2   , k ≥ 1   , such that F   is measurable with respect to the σ   -algebra F A 1 ∨ F A 2   . Then, F   is the limit in D k , 2   of linear combinations of smooth random variables of the type
G = G 1 × G 2 , (28)
where, for i = 1 , 2   , G i   is a polynomial, F A i   measurable functional.
Proof. Suppose first that F   is a simple functional of the form
F = N ~ ( h 1 ) … N ~ ( h n ) (29)
where n ≥ 1   and h i ∈ L 2 ( T )   , i = 1 , . . . , n   . Then, the conclusion can be obtained exactly as in Lemma 2 of [18] , by using twice formula ( 16 ). The next step is to consider F = I n ( f )   with f ∈ L 2 ( T n )   . In this case, by the above discussed definition of the multiple integral I n   , F   is the limit in D k , 2   of random variables F k   as in ( 29 ). Let us denote by p m , k   a sequence of linear combinations of product ( 28 ) such that p m , k → F k   in D k , 2   as m → ∞   . Clearly, ∥ F − p m , k ∥ k , 2 ≤ ∥ F − F k ∥ k , 2 + ∥ F k − p m , k ∥ k , 2   and this goes to zero when m , k → ∞   . Eventually, take the general case F = ∑ m ≥ 0 I m ( f m )   where f m ∈ L 2 ( T n )   are symmetric functions. The conclusion will follow if we prove that F   can be approximated in D k , 2   by a sequence F N   of random variables with finite chaotic expansion and this is trivial if we put F N = ∑ n = 0 , . . . , N I n ( f n ) .   See also Proposition 1.2.1 in [12] for further details.
Remark 5 Recall the relation between multiple integrals and Charlier polynomials stated in formula ( 6 ). Then, by inspection of the proof of Lemma 1 (which partially follows that of Lemma 2 in [18] ), and thanks to the multiplication formula ( 7 ), it is clear that if F = I n ( f )   ( ∈ D k , 2   ), then F   can be approximated in D k , 2   by linear combinations of random variables with the form C n ( t k + 1 − t k , N ~ t k + 1 − N ~ t k )   where 0 ≤ t k < t k + 1 ≤ 1   , and C n   is the n   th Charlier polynomial.
Therefore, the random variables G i   , i = 1 , 2   , appearing in the proof of Lemma 1 can be chosen as polynomial functionals of degrees d i   , i = 1 , 2   , such that d 1 + d 2 ≤ n   .
We shall also introduce the following quadratic variation (in mean) of a given measurable process { X t : t ∈ T }   such that E X t 2 < + ∞   for every t   : V ( X ) = sup π E ∑ i = 0 n − 1 ( X t i + 1 − X t i ) 2 ,   where π   runs over all partitions of T = [ 0 , 1 ]   , with the form 0 = t 0 < t 1 < … < t n = 1   .
We state the main result of this section.
Theorem 1 Let X   be a Skorohod integral process X t = δ ( u 1 [ 0 , t ] )   with u ∈ L k , 2   , k ≥ 3   . Then there exists a sequence of processes ( Z t ( r ) ) t ∈ [ 0 , 1 ]   , r ≥ 1   such that
Z ( r ) ∈ B F for every r ≥ 1 (30)
and
lim r → ∞ V ( X − Z ( r ) ) = 0 . (31)
Proof. Remark first that V ( X ) < ∞   by Proposition 1 in [27] . We will use the Itô-Skorohod representation of X t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   with w   given by ( 26 ). For n ≥ 1   and a partition π = { 0 = t 0   < . . . < t n   = 1 }   , we introduce the approximation of w  
w t π = ∑ i = 0 n − 1 1 t i + 1 − t i ( ∫ t i t i + 1 E ( w s | F [ t i , t i + 1 ] c ) d s ) 1 ( t i , t i + 1 ] ( t ) : = ∑ i = 0 n − 1 F i 1 ( t i , t i + 1 ] ( t ) , t ∈ [ 0 , 1 ] . (32)
Since w ∈ L 1 , 2   then w π ∈ L 1 , 2   and w π   converges to w   in L 1 , 2   as | π | → 0   (see [27] , and also [12] for the Gaussian case). Note that the random variables F i   , i = 0 , . . . , n   , appearing in ( 32 ) are measurable with respect to F [ t i , t i + 1 ] c   . We also set, for π   as above, Y t π = δ ( E ( w ⋅ π | F [ ⋅ , t ] c ) 1 [ 0 , t ] ) = ∫ 0 t E ( w s π | F [ s , t ] c ) d N ~ s , t ∈ T .   Using properties ( 16 ), ( 17 ) and ( 15 ) of Poisson Skorohod integrals we therefore deduce
Y t π = ∑ i = 0 n − 1 ∫ 0 t 1 ( t i , t i + 1 ] ( s ) E ( F i | F [ s , t ] c ) δ N ~ s (33)
= ∑ i = 0 n − 1 ∫ 0 t 1 ( t i , t i + 1 ] ( s ) E ( F i | F [ t i , t i + 1 ∨ t ] c ) δ N ~ s
= ∑ i = 0 n − 1 E ( F i | F ( t i , t i + 1 ∨ t ] c ) ( N ~ t ∧ t i + 1 − N ~ t i ) 1 ( t ≥ t i ) ;
note, in particular, that the last equality in ( 33 ) derives from an application of formula ( 15 ), where the last two terms vanish thanks to ( 17 ) (alternatively, one can also use Proposition 1-(i)). This is all we need to conclude the proof of Theorem 1. As a matter of fact, as in [18,proofofTheorem1] , we can now use Lemma 1 to prove that Y π   (and hence X   ) can be approximated, in the sense of formula ( 31 ), by a sequence of processes Z ( r )   satisfying ( 30 ).
We state a converse result to Theorem 1; the arguments of [18,Theorem4] apply, and the proof is therefore omitted. It shows that the ” V   -norm” is somewhat complete.
Theorem 2 Let Z ( n ) ∈ B F   , n ≥ 1   be such that V ( Z ( n ) ) < ∞   and Z ( n )   is a Cauchy sequence in the V   -norm, in the sense that lim n , m → ∞ V ( Z ( n ) − Z ( m ) ) = 0 .   Then, there exists a Skorohod integral process X   with V ( X ) < ∞   such that lim n → ∞ V ( Z ( n ) − X ) = 0 .  

4 On the stochastic calculus for anticipating integrals on the Poisson space

In the previous Section we have seen that, for every fixed t ∈ [ 0 , 1 ]   , the Skorohod integral X t = ∫ 0 t u s δ N ~ s   is equal to the Itô-Skorohod integral Y t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   . As seen in Section 2, the last random variable is the Itô integral of the predictable process E ( w ⋅ | F [ ⋅ , t ] c )   , with respect to the F ( ⋅ , t ] c   – martingale N ~ ⋅   . As such, it is an isometry, in the sense that E ( ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s ) 2 = E ∫ 0 t E ( w s | F [ s , t ] c ) 2 d s   (this can be also derived from formula ( 13 )), and can moreover be approximated by a sequence of martingales. Define indeed
Y t λ : = ∫ 0 λ E ( w s | F [ s , t ] c ) d N ~ s = δ ( 1 [ 0 , λ ] ( ⋅ ) E ( w . | F [ ⋅ , t ] c ) ) . (34)
Then, for every fixed t ∈ [ 0 , 1 ]   , the process { Y t λ : 0 ≤ λ ≤ t }   is a martingale with respect to the filtration F ( λ , t ] c   , λ ≤ t   , and it holds that Y t t = Y t   , and for any λ < t   ,
E | Y t λ − Y t | 2 = E | δ ( 1 ( λ , t ] ( ⋅ ) E ( w . | F [ ⋅ , t ] c ) ) | 2
= E ∫ λ t E ( w s | F [ s , t ] c ) 2 d s
which goes to 0   as λ → t   by the dominated convergence theorem. As a consequence, the Y t λ   converges in L 2 ( P )   to Y t   as λ → t   and, by a standard martingale convergence theorem (see e.g.
Problem 3.20 in [8] ), the convergence holds a.s. – P   . This fact allows us to introduce a stochastic calculus of Itô type for the Itô-Skorohod integral Y t   (and hence for indefinite Skorohod integrals X t   ). The main idea is to use the tools of the stochastic calculus for the martingale Y t λ   and to let λ → t   . We obtain in this way a change of variable formula for the indefinite integral processes; this seems quite interesting since, as far as we know, there is no Itô formula à la Nualart-Pardoux [13] for anticipating integrals in the Poisson case. We also derive a Burkholder-type bound for the L p   -norm of a Skorohod integral.
Proposition 4 (Itô's formula ) Let f ∈ C 2 ( R )   , fix t ∈ T   , and define Y t = δ ( E ( w ⋅ | F [ ⋅ , t ] c ) 1 [ 0 , t ] ( ⋅ ) )   , where w ∈ L 2 ( Ω × T )   . Then it holds that
f ( Y t ) = f ( 0 ) + ∫ 0 t f ′ ( Y t s − ) E ( w s | F [ s , t ] c ) d N ~ s (35)
+ 1 2 ∫ 0 t f ′ ′ ( Y t s − ) E ( w s | F [ s , t ] c ) 2 d s
+ ∑ 0 ≤ s ≤ t ( f ( Y t s ) − f ( Y t s − ) − f ′ ( Y t s − ) ( Y t s − Y t s − ) )
where Y t s − = lim α → s , α < s Y t α .   In particular, let X t = ∫ 0 t u s δ N ~ s   , t ∈ T   , where u ∈ L k , 2   , k ≥ 3   , and let w   be the process appearing in Proposition 3, formula ( 25 ); then, for every t ∈ T   , f ( X t )   equals the right-hand side of ( 35 ).
Proof. Fix t ∈ ( 0 , 1 ]   , and consider the process Y ~ t λ = { Y t λ if λ ≤ t Y t if t < λ < + ∞   as well as the family of σ   -fields F ~ λ t = { F ( λ , t ] c if λ ≤ t F 1 if t < λ < + ∞   then, the application λ → Y ~ t λ   defines a square integrable càdlàg martingale F ~ λ t   with respect to the filtration F ~ λ t   , λ ≥ 0   . Moreover,
Y ~ t λ = ∫ 0 λ E ( w s | F [ s , t ] c ) 1 ( s ≤ t ) d N ~ s and
〈 Y ~ t ⋅ , Y ~ t ⋅ 〉 λ = ∫ 0 t ∧ λ E ( w s | F [ s , t ] c ) 2 d s .
We can therefore apply Itô's formula (see e.g. [23] , Theorem 32, p. 71) at λ = t   to obtain
f ( Y ~ t t ) = f ( Y t ) = f ( 0 ) + ∫ 0 t f ′ ( Y ~ t s − ) E ( w s | F [ s , t ] c ) d N ~ s
+ ∫ 0 t f ′ ′ ( Y ~ t s − ) E ( w s | F [ s , t ] c ) 2 d s
+ ∑ 0 < s ≤ t ( f ( Y ~ t s ) − f ( Y ~ t s − ) − f ′ ( Y ~ t s − ) ( Y ~ t s − Y ~ t s − ) ) .
= f ( 0 ) + ∫ 0 λ f ′ ( Y t s − ) E ( w s | F [ s , t ] c ) d N ~ s
+ 1 2 ∫ 0 t f ′ ′ ( Y t s − ) E ( w s | F [ s , t ] c ) 2 d s
+ ∑ 0 < s ≤ t ( f ( Y t s ) − f ( Y t s − ) − f ′ ( Y t s − ) ( Y t s − Y t s − ) ) ,
by the definition of Y ~   .
We now show that Proposition 4 can be applied to write a change of variables formula for stochastic processes that are representable as the product of a martingale and a backward martingale.
Proposition 5 Let M   (resp. M ′   ) be a martingale (resp. a backward martingale) with respect to the filtration { F t : t ∈ T }   , and suppose moreover that M 1 ∈ D 1 , 2   , E ( M 0 ) = 0   and E ( ∫ ( a s M s ′ ) 2 d s ) < + ∞ ,   where a r = E ( D r M 1 | F r − ) .   Then, for every f ∈ C 2 ( R )   we have
f ( M t M t ′ ) = f ( 0 ) + ∫ 0 t f ′ ( M s − M t ′ ) M t ′ a s d N ~ s
+ 1 2 ∫ 0 t f ′ ′ ( M s − M t ′ ) ( M t ′ ) 2 a s 2 d s
+ ∑ 0 ≤ s ≤ t [ f ( M s M t ′ ) − f ( M s − M t ′ ) − f ′ ( M s − M t ′ ) M t ′ ( M s − M s − ) ] .
Proof. Remark that a product M t M t ′   is a Itô-Skorohod integral. Indeed, by a standard Clark-Ocone formula (see [10,Theorem4.5] ) M t = E ( M 1 | F t ) = ∫ 0 t E ( D r M 1 | F r − ) d N ~ r   and using ( 15 ) and ( 17 ), it holds that
M t M t ′ = M t ′ ∫ 0 t a s d N ~ s = ∫ 0 t a s M t ′ d N ~ s
= ∫ 0 t a s E ( M s ′ | F [ s , t ] c ) d N ~ s = ∫ 0 t E ( a s M s ′ | F [ s , t ] c ) d N ~ s
By applying Proposition 4, we obtain
M t M t ′ = f ( 0 ) + ∫ 0 t f ′ ( Z t s − ) E ( a s M s ′ | F [ s , t ] c ) d N ~ s
+ 1 2 ∫ 0 t f ′ ′ ( Z t s − ) E ( a s M s ′ | F [ s , t ] c ) 2 d s
+ ∑ 0 ≤ s ≤ t ( f ( Z t s ) − f ( Z t s − ) − f ′ ( Y t s − ) ( Z t s − Z t s − ) )
where Z t λ = ∫ 0 λ E ( a s M s ′ | F [ s , t ] c ) d N ~ s   . The conclusion follows, since for every λ ≤ t   , we can write
Z t λ = E ( ∫ 0 λ E ( a s M s ′ | F [ s , λ ] c ) d N ~ s | F [ λ , t ] c )
= E ( M λ M λ ′ | F [ λ , t ] c ) = M λ − M t ′ .
and Z t s − = lim α ↑ s Z t α − = M t ′ M s − .   Here is a more particular situation.
Corollary 1 If f ∈ C 2 ( R )   , we have for every t ∈ T  
f ( N ~ t ( N ~ 1 − N ~ t ) ) = f ( 0 ) + ( N ~ 1 − N ~ t ) ∫ 0 + t f ′ ( N ~ s − ( N ~ 1 − N ~ t ) ) d N ~ s
+ 1 2 ( N ~ 1 − N ~ t ) 2 ∫ 0 + t f ′ ( N ~ s − ( N ~ 1 − N ~ t ) ) d s
+ ∑ 0 ≤ s ≤ t ≤ 1 [ f ( N ~ s ( N ~ 1 − N ~ t ) ) − f ( N ~ s − ( N ~ 1 − N ~ t ) )
− f ′ ( N ~ s − ( N ~ 1 − N ~ t ) ) ( N ~ 1 − N ~ t ) ( N ~ s − N ~ s − ) ] .
Proof. Apply Proposition 5 with M t = N ~ t   , M t ′ = N ~ 1 − N ~ t   and a ≡ 1   .
We conclude this section by proving a class of Burkholder type inequalities. These could an useful tool to bound the L p   -norms of anticipating integrals, since on the Poisson space there are no analogous of Meyer's inequalities (see [12] ) proved for the operators D   and δ   as defined in Section 2.
Proposition 6 (Burkholder inequalities) If Y t = ∫ 0 t E ( w s | F [ s , t ] c ) d N ~ s   with w ∈ L 2 ( T × Ω )   , then, for every p ≥ 1   there exist two universal constants K 1 ( p ) > 0   and K 2 ( p ) > 0   such that K 1 ( p ) E ( ∫ 0 t ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2 ≤ E | Y t | p ≤ K 2 ( p ) E ( ∫ 0 t ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2   where [ N ~ ] t = N t   . In particular, let X t = ∫ 0 t u s δ N ~ s   , t ∈ T   , where u ∈ L k , 2   , k ≥ 3   , and let w   be the process defined in formula ( 25 ); then, for every t ∈ T   , K 1 ( p ) E ( ∫ 0 t ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2 ≤ E | X t | p ≤ K 2 ( p ) E ( ∫ 0 t ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2 .  
Proof. We have, by classical Burkholder inequalities for jump processes (see e.g. [23,Theorem54] )
E | Y t | p ≤ E sup λ ≤ t | Y t λ | p
≤ K 2 ( p ) E ( ∫ 0 λ ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2
≤ K 2 ( p ) E ( ∫ 0 t ( E ( u s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2 .
For the lower bound, we write
E | Y t | p = E lim λ → t | Y t λ | p = lim λ → t E | Y t λ | p
≥ lim λ → t K 1 ( p ) E ( ∫ 0 λ ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2 = E ( ∫ 0 t ( E ( w s | F [ s , t ] c ) ) 2 d [ N ~ ] s ) p 2 .
References

  1. K. Aase, B. Oksendhal, N. Privault and J. Uboe (2000) White noise generalizations of the Clark-Haussman-Ocone theorem and applications to mathematical finance. Finance and Stochastics , 4(4), 465-496.
  2. Abramowitz M. and Stegun I.A (1972) Handbook of Mathematical functions, New York, Dover.
  3. E. Carlen and E. Pardoux (1990) Differential calculus and integration by parts on Poisson space. Stochastics, Algebra and Analysis in classical and quantum dynamics, 63-73, Kluwer.
  4. C. Dellacherie, B. Maissoneuve and P.A. Meyer (1992) Probabilités et Potentiel, Chapitres XVII à XXIV. Hermann.
  5. J. R. Elliott (1982) Stochastic Caluculs and Applications. Springer.
  6. I.I. Gihman and A.V. Skorohod (1979) The Theory of stochastic processes . Springer.
  7. Y. Kabanov (1975) On extended stochastic integrals. Theory of Probability and its applications , 20 710-722.
  8. I. Karatzas and S. Shreve (1991) Brownian motion and stochastic calculus . Springer.
  9. J.A. Leon and C. Tudor (1998) A chaos approach to the anticipating calculus for the Poisson process. Stochastics and Stochastics Reports, 62, 217-250.
  10. J. Ma, Ph. Protter and J. San Martin (1998). Anticipating integrals for a class of martingales. Bernoulli, 4, 81-114.
  11. N. Minh Duc and D. Nualart (1990) Stochastic processes possesing a Skorohod integral representation. Stochastics , 30(1), 47-60.
  12. D. Nualart (1995) Malliavin calculus and related topics. Springer.
  13. D. Nualart and E. Pardoux (1988) Stochastic calculus with anticipating integrands. Probability Theory and related Fields, 78, 535-581.
  14. D. Nualart and J. Vives (1990) Anticipative calculus for the Poisson space based on the Fock space. Séminaire de Probabilités XXIV, LNM 1426, Springer, 154-165.
  15. D. Nualart and M. Zakai (1998) Generalized multiple integrals and the representation of Wiener functionals. Stochastics, 23, 311-330.
  16. D. Ocone (1984) Malliavin's Calculus and Stochastic Integral Representation of Functionals of Diffusion Processes. Stochastics, 12, 161-185
  17. H. Ogura (1972) Orthogonal functionals of the Poisson process. IEEE Trans. Inform. Theory IT , 18, 473-481.
  18. G. Peccati, M. Thieullen and C.A. Tudor (2004) Martingale structure of Skorohod integral processes. To appear in The Annals of Probability.
  19. N. Privault, J.L. Solé and J. Vives (2000) Chaotic Kabanov formula for the Azéma martingales. Bernoulli 6(4), 633-651.
  20. N. Privault (1994) Chaotic and variational calculus in discrete and continuous time for the Poisson process. Stochastics and Stochastics Reports 51, 83-109.
  21. N. Privault (1994) Inégalités de Meyer sur l'espace de Poisson. C.R.A.S. 318, 559-562.
  22. N. Privault (1996) On the independence of multiple stochastic integrals with respect to a class of martingales. C.R.A.S. 323, 515-520.
  23. Ph. Protter (1992) Stochastic integration and differential equations: a new approach. Springer.
  24. D. Revuz and M. Yor (1994) Continuous martingales and Brownian motion. Springer.
  25. A.V. Skorohod (1975) On a generalization of a stochastic integral. Theory of probability and its applications , 20, 219-233.
  26. C. Tudor (1997) Product formula for multiple Poisson-Itô integrals. Revue Roumaine de Math. Pures et Appliquées. 42(3-4), 339-345.
  27. C.A. Tudor and J. Vives (2002) The indefinite Skorohod integral as integrator on the Poisson space. Random Operators and Stochastic Equations .
  28. C.A. Tudor (2004) Martingale type stochastic calculus for anticipating integral processes. Bernoulli , 10(2), 313-325.