A note on stochastic Fubini’s theorem and stochastic convolution
Abstract
We provide a version of the stochastic Fubini’s theorem which does not depend on the particular stochastic integrator chosen as far as the stochastic integration is built as a continuous linear operator from an space of Banach spacevalued processes (the stochastically integrable processes) to an space of Banach spacevalued paths (the integrated processes). Then, for integrators on a Hilbert space , we consider stochastic convolutions with respect to a strongly continuous map , not necessarily a semigroup. We prove existence of predictable versions of stochastic convolutions and we characterize the measurability needed by operatorvalued processes in order to be convoluted with . Finally, when is a semigroup and the stochastic integral provides continuous paths, we show existence of a continuous version of the convolution, by adapting the factorization method to the present setting.
Key words: stochastic Fubini’s theorem, stochastic convolution.
AMS 2010 subject classification: 28C05, 28C20, 60B99, 60G99, 60H05.
1 Introduction
In this note we prove a stochastic Fubini’s theorem and apply it to obtain existence of predictable/continuous versions of stochastic convolutions. We do not choose any particular stochastic integrator. We look at the stochastic integration simply as a linear and continuous operator from an space of Banach spacevalued processes, the stochastically integrable processes, to another space, containing functions whose values are the paths of the stochastic integrals. The paths do not need to be continuous. Within this setting, the continuity assumption on plays the role of Itō’s isometry or of the BurkholderDavisGundy inequality in the standard construction of stochastic integrals with respect to square integrable continuous martingales.
For such an operator , we prove the stochastic Fubini’s theorem (Theorem 2.3). The result can be applied e.g. to stochastic integration in infinite dimensional spaces with respect to integrable martingales ([10, Ch. 8]) or more general martingalevalued measures (for the finite dimensional case, see e.g. [2, Ch. 4]), generalizing standard results as [4, Theorem 4.33], [8, Theorem 2.8], [10, Theorem 8.14].
Secondly, we particularize the study to the case in which is defined on a space of valued processes, where are separable Hilbert spaces and is the vector space of HilbertSchmidt operators from into . Denote by , in this particular case. For a strongly continuous map and for a process such that the composition belongs to the domain of , we consider the convolution process
(1.1) 
By using the stochastic Fubini’s theorem, we show that (1.1) admits a jointly measurable version (Theorem 3.5). The joint measurability of the stochastic convolution is of interest e.g. when its paths must be integrated, as it happens in the factorization formula ([4, Theorem 5.10]). We also provide a characterisation of the measurability needed by functions in order that has the necessary measurability required by the operator (Theorem 3.10). This measurability result turns out to be useful e.g. in order to understand what are the most general measurability conditions for coefficients of stochastic differential equations in Hilbert spaces for which mild solutions are considered.
2 Stochastic Fubini’s theorem
Throughout this section, and are positive finite measure spaces, is a measurable space, and is a kernel from to , i.e.
is such that

is measurable, for all ;

is a positive measure, for all .
We assume that
Let . On , we define the meaure by
Notice that is finite.
Let be a given subalgebra of . When we consider measurability or integrability with respect to (resp. , , , ), we always mean it with respect to the space (resp. , , ). According to that, if we write, for example , for some Banach space , we mean , and similarly for other spaces of integrable functions on , , , .
Let be a given Banach space. For , we denote by the space of measurable functions such that

there exists such that and is separable;

the following integrability condition holds:
It is not difficult to see that is a Banach space, with the usual identification if and only if a.e.. Indeed, if is Cauchy in , then it is Cauchy also in . Passing to a subsequence if necessary, we may assume that a.e., for some . Now Fatou’s lemma gives and in .
Finally, we use the short notation for the space
We will prove the stochastic Fubini’s theorem first for simple functions and then for the general case through approximation. We need the following preparatory lemma.
Lemma 2.1.
Let and . If , assume that
(2.1) 
If and , assume that
(2.2) 
Define . Then there exist measurable functions
(2.3)  
(2.4) 
such that
(2.5)  
(2.6)  
(2.7) 
(2.8)  
(2.9)  
(2.10) 
(2.11)  
(2.12) 
(2.13)  
(2.14)  
(2.15) 
Proof.
Since is Bochner integrable, without loss of generality we can assume that is separable. Then there exists a sequence of valued simple functions such that
(2.16)  
(2.17) 
Each can be written in the form
(2.18) 
where , , and is a fixed representant of its equivalence class in . For , define
By using (2.18), we have the measurability of (2.4), and (2.8), (2.9), (2.13), (2.14), are immediately verified.
We claim that the sequence is Cauchy in . Indeed, since , we have , for every . Moreover, by Hölder’s inequality,
and the last member tends to as and tend to , by (2.17). Then there exists such that, after replacing by a subsequence if necessary,
(2.19)  
(2.20) 
where is a null set. We redefine on by for . After such a redefinition, the partial results of the theorem till now proved still hold true.
By (2.19), since we can assume that each has separable range, we see that the range of is separable. By measurability of sections of realvalued measurable functions and by Pettis’s measurability theorem (use the fact that the range of is separable and then use HahnBanach theorem to extend continuous linear functionals on the space generated by the range of to the whole space ), we have that
are measurable, for all and all . Since
(2.21) 
we have
(2.22) 
By recalling that for all , (2.22) shows that the map
belongs to for all , where is a null set. We redefine on by for . Again, we notice that the partial results of the theorem till now proved still hold true after the redefinition on . In addition,
This provides (2.5). Moreover, since can be chosen such that (2.22) holds for all and since , is measurable, for all , also (2.6) is proved. From the last inequality of (2.21), (2.10) follows. From (2.16) and (2.22), (2.7) follows as well.
By Hölder’s inequality, we have . Then, after redefining on a set , where is a null set, by for , we have
This provides (2.11). By applying Minkowski’s inequality for integrals twice (see [7, p. 194, 6.19]), we have
Since the latter member tends to because of the second inequality in (2.21), the estimate above provides (2.12) and (2.15), after redefining on a set , where is a suitably chosen null set, by for .
Let
and let be a short notation for the Borel algebra
on .
We recall that, if is a topological space, then denotes the Borel algebra of (

is a Banach space;

is a closed subspace (with respect to the norm ) such that
(2.23) is Borel measurable, when is endowed with the product algebra (and not just with the Borel algebra of the product topology!).

is a given subalgebra of such that, for all with , .

is the vector space of measurable functions
such that, for a.e. , the path
belongs to , and the a.e. defined map
(2.24) is measurable, when is endowed with the Borel algebra induced by the norm .

For , denotes the space of (equivalence classes of) such that (2.24) has separable range and
Then is a Banach space.
Remark 2.2.
The space can be e.g. , because in such a case (2.23) is continuous, hence measurable. This permits also to consider as the space of leftlimited rightcontinuous functions, because, if is real valued and continuous with support and if , then converges pointwise to everywhere on as , after extending by continuity beyond . We finally observe that (2.23) is measurable whenever is separable: this comes from a straightforward application of [1, Lemma 4.51].
We now provide the main result of this section.
Theorem 2.3 (Stochastic Fubini’s theorem).
Let , . Let
be a linear and continuous operator. Then there exist measurable functions
such that
(2.25a) 
and such that
(2.26) 
where
Proof.
By Lemma 2.1 , there exist measurable functions
satisfying (2.11)–(2.15). For , has the form
where is a fixed representant of its class in . For all , the function defined by
belongs to . Then, if we define
due to (2.15), we have
(2.27) 
By linearity of , we have
(2.28) 
By continuity of , (2.27) and (2.28) give
(2.29) 
For , we now consider the measurable function
where here is a fixed representant of its class in . For all , is a representant of the class of in . Moreover,
By (2.28), we obtain
(2.30) 
We now show that we can pass to the limit in (2.30). By (2.10),
hence, by continuity of ,
(2.31) 
Since is a closed subspace of
the map
(2.32) 
is measurable and integrable (the range of (2.32) is separable). By applying Lemma 2.1 again, now to (2.32), we have that there exists a measurable function
(2.33) 
such that, for some with ,
(2.34) 
Define
Notice that, since is measurable for all (by definition of ) and since contains the sets when and , we have, by (2.34), that is measurable for all . Moreover, since the evaluation map (2.23) is assumed to be measurable, by measurability of (2.33) and by definition of we have that
is measurable. By (2.31), we can write
(2.35) 
where the measurability of , jointly in , is due to the measurability of (2.33), to the definition of , and to the definition of . By (2.35), by considering a subsequence if necessary, it follows that
(2.36) 
By (2.28), (2.29), (2.30), and (2.36), we conclude that, for a.e. ,