Maximal inequalities for stochastic convolutions and pathwise uniform convergence of time discretisation schemes

We prove a new Burkholder–Rosenthal type inequality for discrete-time processes taking values in a 2-smooth Banach space. As a first application we prove that if (S(t,s))0⩽s≤t⩽T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(S(t,s))_{0\leqslant s\le t\leqslant T}$$\end{document} is a C0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_0$$\end{document}-evolution family of contractions on a 2-smooth Banach space X and (Wt)t∈[0,T]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(W_t)_{t\in [0,T]}$$\end{document} is a cylindrical Brownian motion on a probability space (Ω,P)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\Omega ,{\mathbb {P}})$$\end{document} adapted to some given filtration, then for every 0<p<∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0<p<\infty $$\end{document} there exists a constant Cp,X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_{p,X}$$\end{document} such that for all progressively measurable processes g:[0,T]×Ω→X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g: [0,T]\times \Omega \rightarrow X$$\end{document} the process (∫0tS(t,s)gsdWs)t∈[0,T]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\int _0^t S(t,s)g_s\,\mathrm{d} W_s)_{t\in [0,T]}$$\end{document} has a continuous modification and Esupt∈[0,T]‖∫0tS(t,s)gsdWs‖p⩽Cp,XpE(∫0T‖gt‖γ(H,X)2dt)p/2.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} {\mathbb {E}}\sup _{t\in [0,T]}\Big \Vert \int _0^t S(t,s)g_s\,\mathrm{d} W_s \Big \Vert ^p\leqslant C_{p,X}^p {\mathbb {E}} \Bigl (\int _0^T \Vert g_t\Vert ^2_{\gamma (H,X)}\,\mathrm{d} t\Bigr )^{p/2}. \end{aligned}$$\end{document}Moreover, for 2⩽p<∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2\leqslant p<\infty $$\end{document} one may take Cp,X=10Dp,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_{p,X} = 10 D \sqrt{p},$$\end{document} where D is the constant in the definition of 2-smoothness for X. The order O(p)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\sqrt{p})$$\end{document} coincides with that of Burkholder’s inequality and is therefore optimal as p→∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p\rightarrow \infty $$\end{document}. Our result improves and unifies several existing maximal estimates and is even new in case X is a Hilbert space. Similar results are obtained if the driving martingale gtdWt\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_t\,\mathrm{d} W_t$$\end{document} is replaced by more general X-valued martingales dMt\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\,\mathrm{d} M_t$$\end{document}. Moreover, our methods allow for random evolution systems, a setting which appears to be completely new as far as maximal inequalities are concerned. As a second application, for a large class of time discretisation schemes (including splitting, implicit Euler, Crank-Nicholson, and other rational schemes) we obtain stability and pathwise uniform convergence of time discretisation schemes for solutions of linear SPDEs dut=A(t)utdt+gtdWt,u0=0,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \,\mathrm{d} u_t = A(t)u_t\,\mathrm{d} t + g_t\,\mathrm{d} W_t, \quad u_0 = 0, \end{aligned}$$\end{document}where the family (A(t))t∈[0,T]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(A(t))_{t\in [0,T]}$$\end{document} is assumed to generate a C0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_0$$\end{document}-evolution family (S(t,s))0⩽s⩽t⩽T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(S(t,s))_{0\leqslant s\leqslant t\leqslant T}$$\end{document} of contractions on a 2-smooth Banach spaces X. Under spatial smoothness assumptions on the inhomogeneity g, contractivity is not needed and explicit decay rates are obtained. In the parabolic setting this sharpens several know estimates in the literature; beyond the parabolic setting this seems to provide the first systematic approach to pathwise uniform convergence to time discretisation schemes.

Burkholder's inequality and is therefore optimal as p → ∞. Our result improves and unifies several existing maximal estimates and is even new in case X is a Hilbert space. Similar results are obtained if the driving martingale g t dW t is replaced by more general X -valued martingales dM t . Moreover, our methods allow for random evolution systems, a setting which appears to be completely new as far as maximal inequalities are concerned. As a second application, for a large class of time discretisation schemes (including splitting, implicit Euler, Crank-Nicholson, and other rational schemes) we obtain stability and pathwise uniform convergence of time discretisation schemes for solutions of linear SPDEs Dedicated to Lutz Weis on the occasion of his 70th birthday.
where the family (A(t)) t∈[0,T ] is assumed to generate a C 0 -evolution family (S(t, s)) 0≤s≤t≤T of contractions on a 2-smooth Banach spaces X . Under spatial smoothness assumptions on the inhomogeneity g, contractivity is not needed and explicit decay rates are obtained. In the parabolic setting this sharpens several know estimates in the literature; beyond the parabolic setting this seems to provide the first systematic approach to pathwise uniform convergence to time discretisation schemes.

Introduction
In this paper we study maximal inequalities for the mild solutions of time-dependent stochastic evolution equations of the form Here, (A(t)) t∈[0,T ] is a family of closed operators acting in a Banach space X generating a C 0 -evolution family (S(t, s)) 0≤s≤t≤T , (W t ) t∈[0,T ] is a Brownian motion defined on a probability space ( , F , P), adapted to some give filtration (F t ) t∈[0,T ] , and (g t ) t∈[0,T ] is a progressively measurable stochastic process with values in X . Under these assumptions the mild solution is given, at least formally, by the X -valued stochastic convolution-type integral An important special case of (1.1) is the time-independent case where A(t) ≡ A generates a C 0 -semigroup (S(t)) t≥0 on X and S(t, s) = S(t − s). More generally we will consider stochastic convolutions driven by cylindrical Brownian motions and assume that g is operator-valued; this extension is mostly routine and for the ease of presentation will not be considered in this introduction.
In order to give a rigorous meaning to the stochastic integral in (1.2) one needs to impose suitable measurability and integrability assumptions on g and geometrical properties on X , such as 2-smoothness [2,7,8,22,23,73,75,76] or the UMD property [96,97]. The UMD theory is in some sense the definitive theory, in that it features a two-sided Burkholder inequality and completely natural extensions of the martingale representation theorem [96,97] and the Clark-Ocone theorem [67]; from the point of view of applications to SPDE it provides stochastic maximal L p -regularity for parabolic problems [84,[98][99][100] which in turn can be used to study quasi-and semilinear PDEs [1]. The 2-smooth theory only allows for limited versions of these results, but it is easier in its basic constructions and adequate for many other purposes, and will provide the setting for this paper.
Instrumental in proving pathwise continuity of mild solutions to (1.1) is the availability of suitable estimates for the maximal function u : → [0, ∞), where (u t ) t∈[0,T ] is the process defined by (1.2); norms are taken in X pointwise on . The first such estimate was obtained by Kotelenez [56,57] who showed that if (A(t)) t∈[0,T ] generates a contractive evolution family (S(t, s)) 0≤s≤t≤T on a Hilbert space X , then the process (u t ) t∈[0,T ] defined by (1.2) has a continuous modification which satisfies the maximal inequality where C is some absolute constant. The extension of (1.3) to 2-smooth Banach spaces and general exponents 0 < p < ∞ has been investigated by many authors [10,43,44,52,92,94] who all limited themselves to the special case of contraction semigroups. This development is surveyed in [95], where also some extensions to evolution families are discussed. The more general case of stochastic convolutions driven by Lévy processes has been studied in the 2-smooth setting in [110,111]. For Brownian motion as the driving process, the best result available to date is due to Zhu and the first author in [94], where it was shown that if (S(t)) t≥0 is a C 0 -semigroup of contractions on a 2-smooth Banach space X and (g t ) t∈[0,T ] is a progressively measurable process with values in X , then the process (u t ) t∈[0,T ] defined by the stochastic convolution has a continuous modification which satisfies, for every 0 < p < ∞, where C p,X is a constant depending only on p and X . In certain applications it is important to have explicit information on the constant in the asymptotic regime p → ∞. In the special case S(t) ≡ I the estimate (1.4) reduces to the Burkholder inequality for 2-smooth Banach spaces, for which the asymptotic dependence of C p,X is known to be of order O( √ p) as p → ∞ [90]. For Hilbert spaces X and C 0 -semigroup of contractions, (1.4) is known to hold to order O( √ p) as p → ∞ [43,44]. In that setting the Sz.-Nagy dilation theorem can be used to reduce matters to the Burkholder inequality. The order O( √ p) can be used to derive exponential estimates which in turn can be used to study large deviations (see [13] and [79]). Inspecting the proof of (1.4) in [94] in the 2-smooth case, it is seen that the asymptotic p-dependence of the constant in that paper is non-optimal. The aim of the present paper is to simultaneously improve the results cited above in two directions: • To extend (1.4) to arbitrary C 0 -evolution families of contractions on 2-smooth Banach spaces X (not even assuming the existence of a generating family (A(t)) t∈[0,T ] ); • To show that the constant C p,X in the resulting maximal inequality is of order O( √ p) as p → ∞.
The precise statement of our main result, which corresponds to the special case of Theorem 4.1 for Brownian motion, is as follows. Theorem 4.1 considers the more general situation of a cylindrical Brownian motion with covariance given by the inner product of a Hilbert space H and progressively measurable processes g with values in the space γ (H , X ) of γ -radonifying operators from H to X (the definition of this space is recalled in Sect. 2).
For evolution families, Theorem 1.1 is new even for Hilbert spaces X . In the 2smooth case it completely settles the asymptotic optimality problem; this is new even in the semigroup case. The proof of the theorem is very different from [43,44] and [94] and combines ideas of Kotelenez [56] and Seidler [90]. Seidler's proof of the O( √ p) bound for the constant in Burkholder inequality in 2-smooth Banach spaces is based on a clever modification of the Burkholder-Rosenthal inequality due to Pinelis [81]. We further extend Pinelis's inequality by accommodating additional predictable contraction operators in it which enable us to merge the inequality with a splitting technique already used by Kotelenez.
Theorems 1.1 and 4.1 are also applicable in the setting where the evolution family S itself is not contractive, but admits a dilation to a contractive evolution family on a 2-smooth Banach space. In the semigroup case, the boundedness of the H ∞ -calculus of the generator A of angle < 1 2 π implies that the semigroup has a dilation to an isometric C 0 -group (see [33,50,90,95,101]). In this case, however, there is no need to use Theorem 1.1 since one can apply the simpler method of [43,44].
Our method can be used quite naturally to prove the stability (uniformly in time) of certain numerical schemes associated with (1.1). This is pursued in Sect. 5, where we prove that if (S(t)) t≥0 is a C 0 -semigroup of contractions on a (2, D)-smooth Banach space X with generator A, and u is a continuous modification of the process where The crucial observation underlying (1.5) is that the sequence (u (n) j ) n j=0 defined by (1.6) is precisely of the right format to apply our extension of Pinelis's inequality. For C 0 -semigroups which are not necessarily contractive and functions g ∈ L p ( ; L 2 (0, T ; D(A)), we show that convergence holds with the following explicit rate: where C is a constant independent of n and g. This estimate is somewhat simpler, in that it directly uses Seidler's version of the Burkholder inequality of Proposition 2.6 in combination with a simple trick, in Proposition 2.7, involving switching back and forth from ∞ n (X ) to q(n) n (X ) for a clever choice of q(n). This can be done at the expense of a constant n 1/q(n) , exploiting the fact proven in Proposition 2.2 that q(n) (X ) is 2-smooth for 2 ≤ q < ∞ with constant of order √ q(n). This appears to be a new technique whose potential deserves further investigation.
Examples of numerical schemes to which our abstract results can be applied include the splitting method (with R(t) = S(t) with α = 1), the implicit Euler method (with R(t) = (I − t A) −1 and α = 1/2), and the Crank-Nicholson method (with R(t A) = (2 + t A)(2 − t A) −1 and α = 2/3). Moreover, if g takes values in suitable intermediate spaces between X and D(A m ) with m ≥ 1, appropriate rates of convergence can be obtained for each of these methods.
We expect that the new results in the simple linear setting will provide new insights for approximation of nonlinear SPDEs also by adapted time schemes and plan to address this in future work. To (1.8) Here, W = (W k ) k≥1 is a sequence of independent standard Brownian motions. We further assume that each g k : is finite. For n = 1, 2, . . . set t (n) j := j T /n and consider the partition π (n) := {t (n) j : j = 0, . . . , n}. Let (S(t)) t≥0 denote the heat semigroup on L q (R d ) and set This stochastic integral is well defined as an L q (R d )-valued Itô integral by Proposition 2.6 and (2.8).
Define the discrete approximation by u (n) 0 := 0, and u (n) Let W j,q (R d ) be the Sobolev space of smoothness j and integrability q. Then the following results hold: This follows from Theorems 5.13 and 5.14.
In the final Sect. 6 we extend some of results to stochastic convolutions involving random evolution families, which arise naturally if the operator family (A(t)) t∈[0,T ] in (1.1) depends on a random parameter in an adapted way. That this is possible at all in the abstract setting of evolution equations in infinite dimensions is quite remarkable. It requires replacing the Itô integral with the forward integral of [88] in order to avoid adaptedness problems. Stochastic convolution in the forward sense is known to still give the weak solution to (1.1) (see [62,Proposition 5.3], [85,Theorem 4.9] and Theorem 6.6 below). In the parabolic setting, space-time regularity results have been derived by Pronk and the second-named author in [85] using so-called pathwise mild solutions (see Proposition 6.2) and a simple integration by parts trick. Pathwise mild solutions have been recently used to study quasilinear PDEs in [30,59,70] and random attractors in [60]. The new maximal estimates proved in our current paper are expected to have implications for these results as well.
For adapted families (A(t)) t∈[0,T ] , maximal inequalities can be alternatively derived via Itô's formula (see [95] and references therein). In contrast to the results obtained here, however, this does not lead to constants of order O( √ p) as p → ∞. In the setting of monotone (possible nonlinear) operators and p = 2, the Itô formula argument is applicable in a wider setting (see [63]). Some extensions to p > 2 have been obtained recently in [72].

Preliminaries
Throughout this paper we work over the real scalar field. Unless otherwise stated, random variables and stochastic processes are defined on a probability space ( , F , P) which we consider to be fixed throughout. On this probability space we fix a filtration (F t ) t∈[0,T ] once and for all. Standard notions from the theory of stochastic processes always refer to this filtration. Whenever we consider stochastic integrals with respect to a (cylindrical) Brownian motion or a more general type of driving process, it is always assumed that it is adapted with respect to this filtration. The conditional expectation of a random variable ξ with respect to a sub-σ -algebra G ⊆ F will be denoted by E G (ξ ). The progressive σ -algebra associated with (F t ) t∈[0,T ] , i.e., the σ -algebra generated by sets of the form is denoted by P. We will use the subscript P to denote the closed subspace of all progressively measurable process in a given space of processes. When X is a Banach space, under an X -valued random variable we understand a strongly measurable function (i.e., a function which is the pointwise limit of a sequence of simple functions) from into X ; for details the reader is referred to [48,49]. For the purposes of this article, an X -valued process is a family of X -valued random variables indexed by [0, T ]. Two processes (g t ) t∈[0,T ] and (h t ) t∈[0,T ] are said to be modifications of each other if for al t ∈ [0, T ] we have g t = h t almost surely (with exceptional set that may depend on t). A process (g t ) t∈[0,T ] with values in X is said to be progressively measurable if g is strongly measurable as an X -valued function on the measurable space ([0, T ] × , P). It is a deep result in the theory of stochastic processes that every adapted and strongly measurable X -valued stochastic process admits a progressively measurable modification; an elementary proof is offered in [77].

2-Smooth Banach spaces
A Banach space X is said to have martingale type p ∈ [1,2] if there exists a constant C ≥ 1 such that By a fundamental result due to Pisier [82] every p-smooth Banach space has martingale type p, and conversely every Banach space with martingale type p admits an equivalent p-smooth norm. Moreover, if X has martingale type p with constant C, an equivalent ( p, C)-smooth norm can be found; if X is ( p, D)-smooth, then X has martingale type p with constant at most 2C (and the constant 2 can be omitted for p = 2, see Remark 2.5). Detailed proofs of these facts can be found in [83,104,106].
The class of 2-smooth Banach space is of particular interest from the point of view of stochastic analysis. It includes all Hilbert spaces (with D = 1, by the parallelogram identity) and the spaces L p (μ) with 2 ≤ p < ∞ (with D = √ p − 1, see [81, Proposition 2.1] and Proposition 2.2 below). The reason for being interested in 2smooth spaces rather than spaces with martingale type 2 is as follows. Martingale type 2 is preserved under passing to equivalent norms, but this is not the case for 2smoothness. In the results to follow, semigroups and evolution families of contractions (i.e., operators of norm ≤ 1) play a distinguished role. Since contractivity need not be preserved under passing to equivalent norms, such a distinguished role cannot be expected in the setting of martingale type 2 spaces. In this connection the following interesting question seems to be an open: if X has martingale type 2 and supports a C 0 -semigroup (or C 0 -evolution family), does there exist an equivalent (2, D)-smooth norm with respect to which the semigroup (or evolution family) is contractive?
In what follows we recall some useful properties of 2-smooth Banach spaces that will be needed in this paper.
If X is (2, D)-smooth, then by [94, Lemma 2.1] and its proof the function is Fréchet differentiable on X and its derivative is Lipschitz continuous. Conversely, if ρ is twice Fréchet differentiable and ρ (x)(y, y) ≤ 2D 2 y 2 at every x ∈ X , then X is (2, D)-smooth (see [81] for a more general version of this converse). Unlike in finite dimensions, Lipschitz continuity does not imply almost everywhere differentiability (the latter even being meaningless in the absence of a reference measure). One way to get around this is to consider the functions The following lemma is implicit in [81]. For the reader's convenience we include a proof.

Proposition 2.1
For any Banach space X and constant D ≥ 1 the following assertions are equivalent: (1) X is (2, D)-smooth; (2) For all x, y ∈ X the function ρ x,y (t) := ρ(x + t y) = x + t y 2 is differentiable on R, its derivative is Lipschitz continuous, and satisfies The differentiability of ρ x,y (t) = x + t y 2 follows from the Fréchet differentiability of ρ, and by the chain rule we have ρ x,y (t) = y, ρ (x +t y) . Lipschitz continuity of ρ follows from [24, Lemma V.3.5] and implies the Lipschitz continuity of ρ x,y . It follows that the second derivative ρ x,y (t) exists for almost every t ∈ R, and in the points where it exists it is given by Therefore, by 2-smoothness, ρ x,y (t) ≤ 2D 2 y 2 in these points. This implies that (2)⇒(1): For all x, y ∈ X we have As an application we prove the following vector-valued analogue of [81, Proposition 2.1]. It will be needed in the proof of Proposition 2.7, which in turn is applied in Sect. 5.

Proposition 2.2 Let (S, A , μ) be a measure space and X be a (2, D)-smooth Banach space. Then for all
Proof The proof is based on the equivalence in Proposition 2.1. For Banach spaces X with the property that · 2 is twice continuously Fréchet differentiable the proof can be somewhat simplified. Throughout the proof we use · and · p to denote the norms of X and L p (S; X ), respectively. Thus if f ∈ L p (S; X ), then f is the function s → f (s) in L p (S).
As in [24, Theorem V.1.1] one checks that the functions are Fréchet differentiable and where the duality ·, · between X and X * is applied pointwise on S. For q ∈ R let w q;x,y (t) := x + t y q , x, y ∈ X ; The Fréchet differentiability of ψ p and p implies the differentiability of w q;x,y and W q; f ,g (except possibly at t = 0 when x = 0 and y = 0, respectively f = 0 and g = 0). Denoting derivatives with respect to t by ∂ t , for q = 0 the chain rule gives where 2 (g) := g 2 p . Also, Combining these identities with (2.1), we obtain Since X is 2-smooth and Lipschitz functions are almost everywhere differentiable, for all x, y ∈ X the function w 2;x,y is twice differentiable almost everywhere by Proposition 2.1. The exceptional set may depend on the pair (x, y), however, so in order to be able to differentiate the right-hand side of (2.2) under the integral we will consider simple functions f , g ∈ L p (S; X ) from this point onward. Then the right-hand side of (2.2) is differentiable for almost all t ∈ R and where ( * ) follows from (2.2) and ( * * ) from the assumption 2 ≤ p < ∞. Now Applying this with x = f (·) and y = g(·) we obtain By Hölder's inequality with r = p/( p − 2) and r = p/2 we obtain that W 2; f ,g is twice differentiable almost everywhere and 3) Since f and g are simple, the 2-smoothness of X and Proposition 2.1 imply that t → ∂ t W 2; f ,g is Lipschitz continuous. Therefore it follows from (2.3) that t → ∂ t W 2; f ,g is Lipschitz continuous with Lipschitz constant 2(D 2 + p − 2) g 2 p . The proof of the implication (2)⇒(1) of Proposition 2.1 then gives the inequality The inequality for general f , g ∈ L p (S; X ) follows by approximation.
(2.4) By Pisier's result, this implies that L p (μ; X ) is (2, E)-smooth for some E ≥ 1, but the bound for E obtained this way is worse than ours. We will show this by demonstrating that our Proposition 2.
Following [81] we will use Proposition 2.1 to derive some further useful inequalities for the function where x and y are fixed elements in a (2, D)-smooth Banach space. Evidently w is Lipschitz continuous with |w(t) − w(s)| ≤ |t − s| y , so w is almost everywhere differentiable with |w (t)| ≤ y . (2.5) We start from the elementary observation that sinh a ≤ a cosh a for a ≥ 0. Hence when w w ≥ 0, Proposition 2.1 implies the almost everywhere inequalities whereas if w w < 0, then (2.5) implies Combining these inequalities we obtain the almost everywhere inequality The next lemma was obtained in [81, Proposition 2.5 and the proof of Theorem 3.2]. We present a more direct argument which avoids the smoothing procedure and reduction to the finite dimensional setting used in [

Remark 2.5
Applying the first part of this lemma iteratively to Rademacher sums, we obtain the folklore result that (2, D)-smoothness implies martingale type 2 with constant D.

Stochastic integration in 2-smooth Banach spaces
Let H a Hilbert space. An H -isonormal process on is a mapping W : H → L 2 ( ) with the following two properties: It is easy to see that every H -isonormal process is linear and that for all is jointly Gaussian. For more details the reader is referred to [51,74].
If H is another Hilbert space, an H -cylindrical Brownian motion indexed by [0, T ] is an isonormal process W : L 2 (0, T ; H ) → L 2 ( ). Following common practice we write In what follows we always assume that H -cylindrical Brownian motions are adapted to The space of finite rank operators from a Hilbert space H into a Banach space X is denoted by H ⊗ X . Every finite rank operator T ∈ H ⊗ X can be represented in the where (γ n ) N n=1 is a sequence of independent standard Gaussian random variables. It is an easy consequence of the preservation of joint Gaussianity under orthogonal transformations that the norm · γ (H ,X ) is well defined. The completion of H ⊗ X with respect to this norm is denoted by γ (H , X ). The natural inclusion mapping from gives an equivalent norm on γ (H , X ). The space γ (H , X ), when endowed with this equivalent norm, will be denoted by γ p (H , X ).
For Hilbert spaces K we have is the space of Hilbert-Schmidt operators from H to K . For 1 ≤ p < ∞ and any Banach space X the identity mapping on H ⊗ L p (μ) extends to an isometric isomorphism of Banach spaces of 'square functions' using terminology from harmonic analysis. For more details the reader is referred to [49,Chapter 9]. A stochastic process For such processes the stochastic integral with respect to the H -cylindrical Brownian motion W is defined by Since t → W t h, being a Brownian motion, has a continuous modification, it follows that t → t 0 s dW s has a continuous modification. Such modifications will always be used in the sequel. It was shown by Neidhardt in his PhD thesis [73] (see also [22], [100]) that if is an adapted finite rank step process, then (2.10) By (2.10), standard localisation arguments, and Doob's inequality, the stochastic integral can be extended to arbitrary progressively measurable processes : The following version of the classical Burkholder inequality is the result of contributions of many authors [2,8,9,22,23,75].

where C p,D is a constant depending only on p and D.
By using Pinelis's version of the Burkholder-Rosenthal inequalities [81], Seidler [90] has shown that the constant C p,D has the same asymptotic behaviour for p → ∞ as in the scalar-valued setting, i.e., As a special case of our main result we will recover Seidler's result, with C p,D = 10D √ p if 2 ≤ p < ∞, by setting S(t, s) ≡ I in Theorem 4.1.
As a consequence of Proposition 2.6 we obtain the following result, which will be useful in the error analysis of numerical schemes for SPDEs in Sect. 5.

Proposition 2.7 Let X be a (2, D)-smooth Banach space and let 0 < p < ∞. Let
:= ( (k) ) n k=1 be a finite sequence in L p P ( ; L 2 (0, T ; γ (H , X ))) and set The bound (2.12) is simpler to use, but (2.11) will give a better result in the applications later on.

Proof
The method of proof is inspired by [28]. The idea is to view the sequence = ( (k) ) n k=1 as an q n (X )-valued process for a clever choice of q = q(n) ∈ [2, ∞). We begin with the proof of (2.11). Since and if 2 ≤ p < ∞ we may take C p,q,D = 10D √ pq. The estimate (2.11) follows from this by taking q = 2 log n, which belongs to the interval [2, ∞) if n ≥ 3.
To prove (2.12) we argue in the same way, but this time we use that for a sequence applying the Kahane-Khintchine inequalities (see [49,Theorem 6.2.6]) in the last step. Now (2.12) follows by taking q = log n.

Remark 2.8
The same method of proof can be used to show that if X is (2, D)-smooth, then ∞ n (X ) has martingale type 2 with constant D 2 − 2 + 2 log n if n ≥ 3.

Extending Pinelis's Burkholder-Rosenthal inequality
On the probability space ( , F , P) we consider a finite filtration (F j ) k j=0 and denote by E j := E F j the conditional expectation with respect to F j . When ( f j ) k j=0 is an We further define the non-negative random variables f j (for 0 ≤ j ≤ k) and d f j and s j ( f ) (for 1 ≤ j ≤ k) by If G is a sub-σ -algebra of F , we call the X -valued random variables ξ and η conditionally equi-distributed given G if for all Borel sets B ⊆ X we have As in [48,Lemma 4.4.5] one sees that this is equivalent to the requirement that A random operator on X is a mapping V : → L (X ) such that ω → V (ω)x is strongly measurable for all x ∈ X , and a random contraction on X is a random operator on X whose range consists of contractions.
The main result of this section is the following extension of Pinelis's version of the Rosenthal-Burkholder inequality [81]. Recently, other extensions of some of Pinelis's estimates for p-smooth Banach spaces have been obtained in [66].
j=1 is a sequence of random contractions on X which is strongly predictable (i.e., each V j x is strongly F j−1 measurable for all x ∈ X ), and assume that we have f 0 = g 0 = 0 and Then for all 2 ≤ p < ∞ we have If, moreover, (g j ) k j=0 has conditionally symmetric increments, then Here and in the rest of the paper, · p is the norm of L p ( ). The proof of Theorem 3.1 closely follows that of [81, Theorem 4.1] (which, up to the value of the constants, corresponds to taking V j = I and g j = f j ). We point out that even in the case p = 2, Theorem 3.1 is not obvious because the additional predictable sequence (V j ) k j=1 destroys the martingale structure of f . The proof in [81] is written up rather concisely and therefore we shall present the proof of Theorem 3.1 in full detail. At the same time this provides the opportunity to give more precise information on the constants.
We need some auxiliary results, the first of which is a classical 'good λ' inequality (see [11,Lemma 7.1]).

Lemma 3.2
Suppose that g and h are non-negative random variables and suppose that β > 1, δ > 0, and ε > 0 are such that for all λ > 0 we have .
The next lemma is a minor extension of [81, Theorem 3.4].

Lemma 3.3
Suppose that (g j ) k j=0 is a martingale with values in a (2, D)-smooth Banach space X with g 0 = 0 and let (h j ) k−1 j=0 be an adapted sequence of random variables with values in X . Set and assume that h j ≤ f j almost surely for all 0 ≤ j ≤ k − 1. Suppose further that dg ∞ ≤ a and s(g) ∞ ≤ b/D for some a > 0 and b > 0. Then for all r > 0 we have

Proof
We begin by noting that the almost sure conditions f 0 = 0, h j−1 ≤ f j−1 , f j := dg j + h j−1 , and dg j ≤ a imply that the random variables h j−1 and f j , j = 1, . . . , k, are essentially bounded and h 0 = 0 almost surely. Fix λ > 0 and 1 ≤ j ≤ k. By Lemma 2.4, Note that the random variables e j are non-negative. This means that the sequence (G j ) k j=0 defined by is a positive supermartingale. Fix r > 0 and set τ : and τ := ∞ on its complement. By the optional sampling theorem, the sequence (G τ ∧ j ) k j=0 is a positive supermartingale. It follows that E1 {τ ≤k} G τ ≤ EG τ ∧k ≤ EG 0 = 1. Therefore, by the inequality cosh u > 1 2 e u and Chebyshev's inequality, the last inequality being elementary. The function defined by ψ(0) := 1 2 and ψ(u) := (e u − 1 − u)/u 2 for u = 0 is increasing, and therefore for all λ > 0 we have Combining this with the definition of the random variables e j and the assumption s(g) ∞ ≤ b/D, we obtain the pointwise inequalities Taking the supremum norm and substituting the result into above tail estimate for f we arrive at Up to this point the choice of λ > 0 was arbitrary. Optimising the choice of λ > 0 leads to the estimate which, by elementary estimates, implies the inequality in the statement of the lemma.
The next lemma gives a sufficient condition in order that Lemma 3.2 can be applied and extends [81,Lemma 4.2]. Terminology is as in Theorem 3.1.
j=1 on X is strongly predictable and contractive. Let ( f j ) k j=0 be the sequence of random variables defined by Then for all λ, δ 1 , δ 2 > 0 and β > 1 + δ 2 we have Proof Fix λ, δ 1 , δ 2 > 0 and β > 1 + δ 2 . Setting g 0 := 0 and where the stopping times μ, ν, and τ are defined by we set μ := ∞, ν := ∞, and τ := ∞ if the respective sets over which the infima are taken are empty. Note that the sequence On the set {w ≤ λ} we have dg ≤ δ 2 λ and in particular dg i ≤ δ 2 λ and therefore On this set we also have 3) The first identity in The second identity follows from h μ = 0 and induction pointwise on , noting that if μ ≤ n < n + 1 ≤ ν, then where we used the definitions of h and f , the linearity of V n+1 , and the induction hypothesis. Therefore, on the set { f > βλ, w ≤ λ}, we obtain We have shown that Let 0 ≤ n ≤ k be such that P( n ) > 0, with n := {μ = n}. We claim that (a) the random variables 1 {μ< j≤τ ∧ν} dg j form a martingale difference sequence on the probability space ( n , F | n , P n ), where F | n := {F ∩ n : F ∈ F } and P n := P/P( n ), and (b) for this martingale difference sequence the conditions of Lemma 3.3 are satisfied on the probability space n , with f j , g j , and h j replaced by the restrictions to n of h j , γ j := 1 {μ< j≤τ ∧ν} dg j , and V j+1 h j respectively, and with a = δ 2 λ, and b = δ 1 λ.
Indeed, fix 1 ≤ j ≤ k. If j ≤ n, then j ≤ μ on n and therefore γ j = measurable as a subset of and F j−1 | n -measurable as a subset of n and consequently for all This proves part (a) of the claim. Turning to part (b) of the claim, the condition dγ ≤ δ 2 λ of Lemma 3.3 is immediate from the definition, and the adaptedness of V j+1 f j as well as the pointwise inequalities where ( * ) follows from the F j−1 | n -measurability of { j ≤ τ ∧ ν} ∩ n for j > n and the last step uses the definition of τ . Putting together the various inequalities and applying Lemma 3.3 on the space n as indicated above, taking r = (β − 1 − δ 2 )λ, and using that h = 0 on {μ = ∞}, by definition of ε we arrive at Proof of Theorem 3. 1 Step 1. We first consider the conditional symmetric case. Combining Lemmas 3.2 (with g = f and h = w) and 3.4 (with the choice of ε, N and w made there) we arrive at the estimate With the choices so Lemma 3.2 can be applied with these choices. This . and consequently This completes the proof in the conditional symmetric case.
Step 2 The general case will be reduced to the conditional symmetric case. This is a variation of a standard symmetrisation argument (cf. the proof of [47,Theorem 4.1]). In view of the rather intricate setting and in order to obtain explicit constants, we present some details.
Using the terminology of [21, Chapter 6], let (d g j ) k j=0 be the decoupled tangent sequence of (dg j ) k j=0 on a possibly enlarged probability space. There exists a σalgebra G such that the sequence (d g j ) k j=0 is G -conditionally independent and such that Moreover we may assume that G = F k , trivially extending the latter σ -algebra to the larger probability space (see [21, p. 294]). Let f 0 := f 0 = 0 and f j : The differences dG j are conditionally symmetric. Therefore, by the symmetric case of Theorem 3.1, We estimate each of the three terms on the right-hand side. As in [46, Lemma 1 and p. 227], To estimate s(G) we note that s(G) ≤ s(g) + s( g) = 2s(g), where we used that E j−1 d g j 2 = E j−1 dg j 2 (see [48,Lemma 4.4.5]). Thus To estimate f p , let (dg j ) k j=1 be yet another decoupled tangent sequence of (dg j ) k j=1 on a further enlarged probability space. This sequence can be chosen in such a way that (dg j ) k j=1 and (d g j ) k j=1 are G -conditionally independent with G as before. Let f 0 := f 0 = 0 and f j : are G -conditionally independent. Therefore, by Jensen's inequality and the fact that E G f j = 0 (which follows by induction using E G dg j = 0), As before, (G j ) n j=1 is conditionally symmetric and therefore, by the symmetric case of Theorem 3.1, where the last step is the same as (3.4). The desired inequality is obtained by combining all estimates.
and the latter growth is known to be optimal in the scalar case (see [47]).
The next result extrapolates Theorem 3.1 to exponents 0 < p < 2. By using a variation of the method in [11, pp. 38-39], an estimate is obtained without the term dg * p .
Corollary 3.6 Let X be a (2, D)-smooth Banach space. Suppose that ( f j ) k j=0 is an adapted sequence of X -valued random variables, (g j ) k j=0 is an X -valued martingale, (V j ) k j=1 is a sequence of random contractions on X which is strongly predictable (i.e., each V j x is strongly F j−1 measurable for all x ∈ X ), and assume that we have f 0 = g 0 = 0 and Then for all 0 < p < 2 we have If, moreover, (g j ) k j=0 has conditionally symmetric increments, then Proof By Doob's maximal inequality and the fact that X has martingale type 2 with constant D (by Remark 2.5) Therefore, Theorem 3.1 implies √ 2) in the general case. For non-negative random variables Z and exponents 0 < q < 1 we have the identity Once this has been verified, upon taking q = p/2, Z = | f | 2 , and then Z = s(g) in (3.6), we obtain and the result follows.
To prove the claim, set τ := inf{0 ≤ n ≤ k − 1 : n+1 j=1 E j−1 dg j 2 ≥ λ}, with the convention that τ := k if the set is empty. Let the adapted sequence of random variables (F j ) k j=0 be defined by F 0 := 0 and .
which gives the claim.

Maximal inequalities for stochastic convolutions
A family (S(t, s)) 0≤s≤t≤T of bounded operators on a Banach space X is called a C 0 -evolution family if: C 0 -Evolution family typically arise as the solution operators for the linear timedependent problem u (t) = A(t)u(t) in much the same way as C 0 -semigroups solve the time-independent problem u (t) = Au(t). The reader is referred to [29,78,91] for systematic treatments. If (S(t)) t≥0 is a C 0 -semigroup on X , then S(t, s) := S(t − s) defines a C 0 -evolution family (S(t, s)) 0≤s≤t≤T for every 0 < T < ∞.

The main result
The following theorem is the main result of this paper. (S(t, s)) 0≤s≤t≤T be a C 0 -evolution family of contractions on a (2, D)-smooth Banach space X and let W be an adapted H -cylindrical Brownian motion on . Then for every g ∈ L 0 P ( ; L 2 (0, T ; γ (H , X ))) the process The stochastic integral is well defined by (2.10). By rescaling, more generally it may be assumed that there exists a λ ≥ 0 such that that

Theorem 4.1 Let
The estimate of the theorem then holds with constant C p,D replaced with e λT C p,D .
Proof The proof is split into four steps. In the first two steps we prove the theorem for 2 ≤ p < ∞, in the third step we consider the case 0 < p < 2, and in the fifth the pathwise continuity assertion for p = 0.
Step 1. Fix a partition π := {r 0 , . . . , r N }, where 0 = r 0 < r 1 < . . . < r N = T , and let (K (t, s)) 0≤s≤t≤T be a family of contractions on X with the following properties: Properties (i) and (ii) imply that the process (v t ) t∈[0,T ] is well defined and has a modification with continuous paths. Indeed, for t ∈ [r j−1 , which can be seen to have a continuous modification. Working with such a modification, we will first prove that for all 2 ≤ p < ∞ we have By a limiting argument it suffices to consider p > 2.
For the proof of (4.1), by density we may assume that g is as in (2.9), i.e., where 0 = s 0 < s 1 < . . . < s k = T and h i and ξ i j are as in (2.9). Refining π if necessary, we may assume that s j ∈ π for all j = 0, . . . , k. We prove (4.1) in two steps.
Substituting these bounds into (4.3), we obtain Since p > 2, this proves (4.2) for finite rank adapted step processes g.
Since the right-hand side tends to zero by the dominated convergence theorem, Step 3 In the case 0 < p < 2 one can argue in the same way as in the previous steps, using Corollary 3.6 instead of Theorem 3.1. The estimate (4.3) simplifies as the term dG * p does not appear anymore. Alternatively, one could use a standard extrapolation argument involving Lenglart's inequality [87,Proposition IV.4.7].
Step 4 The continuity assertion for p = 0 follows by a standard localisation argument.
As a consequence of Theorem 4.1, a simple optimisation argument in the exponent p gives the following exponential tail estimate (see [95,Corollary 4.4] for details).

Corollary 4.2 (Exponential tail estimate) If, in addition to the conditions of Theorem
This method to derive exponential tail estimates only uses that the constant C p,X in the maximal estimate has order O( √ p) for p → ∞. By the same method, similar exponential tail estimates can therefore be deduced from all other results in this paper where the constant is of asymptotic order O( √ p) .

Remark 4.3
Under additional assumptions on the evolution family (which are satisfied in the case of C 0 -semigroups of contractions), a variant of Itô's formula can be used to give an alternative proof of the estimate of Corollary 4.2 with sharper variance σ 2 = 2D 2 g 2 L ∞ ( ;L 2 (0,T ;γ (H ,X ))) (see [95,Theorem 5.6]).

The non-contractive case
We briefly discuss two sets of sufficient conditions for the existence of continuous versions and the validity of maximal estimates for general (i.e., not necessarily contractive) C 0 -evolution families (S(t, s)) 0≤s≤t≤T . The first of these replaces the condition 'g ∈ L 0 P ( ; L 2 (0, T ; γ (H , X )))' by 'g ∈ L 0 P ( ; L q (0, T ; γ (H , X ))) for some q > 2'. Under this stronger assumption, a maximal inequality for general C 0 semigroups on Hilbert spaces was obtained by Da Prato, Kwapień, and Zabczyk [20] by the so-called factorization method. It was extended to C 0 -evolution families on Hilbert by Seidler [89]. His proof extends mutatis mutandis to give the following result, which is taken from [95] where a further discussion is to be found. (S(t, s)) 0≤s≤t≤T be a C 0 -evolution family on a (2, D)-smooth Banach space X and let 2 < q < ∞. For all g ∈ L 0 P ( ; L q (0, T ; γ (H , X ))) the process ( In the second result we assume that g has additional space regularity. Although this may not seem surprising, we have not been able to find a reference for this in the literature, and for this reason we provide a detailed proof. The result will play a role in Theorem 5.13, where convergence rates for time discretisation schemes are studied under space regularity assumptions on g.

Proposition 4.4 (Additional time regularity) Let
When A is generator of a C 0 -semigroup on the Banach space X , for ν ∈ (0, 1) we denote by X ν,∞ =: (X , D(A)) ν,∞ the real interpolation space between X (see [65] for more details). Proof By localisation and Lenglart's inequality, it suffices to prove the continuity and maximal estimate for p > 1 2ν .

as an X -valued process, has a continuous modification which satisfies, for all
By Proposition 2.6, v has a continuous version satisfying the required maximal estimate, so it remains to prove the same for u. For this we will use the Kolmogorov-Chentsov continuity criterion [87, Theorem I.2.1].
For 0 ≤ s ≤ t ≤ T we have Therefore, by interpolation, Taking L p ( ; X )-norms, from Proposition 2.6 we obtain It follows that Now we will use the assumption p > 1 2ν , which allows us to apply the Kolmogorov-Chentsov continuity criterion. It implies that for 0 < δ < 2ν − 1 p the process u has a (δ-Hölder) continuous version which satisfies Together with the bound sup t∈[0,T ] u(t) ≤ T δ u C δ ([0,T ];X ) and the estimate for v, this implies the maximal inequality in the statement of of the proposition.

Remark 4.6
The same result holds if we replace X ν,∞ by any Banach space which continuously embeds into X ν,∞ . In particular this implies to complex interpolation spaces and fractional domain spaces.

Martingales as integrators: Hilbert spaces
In the remainder of this section we consider stochastic convolutions driven by an L 2 -martingale (M t ) t∈[0,T ] with values in a separable Hilbert space H . For details on stochastic integration in this setting we refer to [68,69] and the summary in [44]. We will use a couple of notions from the theory of stochastic processes that have not been introduced in Sect. 2 but are otherwise completely standard; see for instance [55,87].
In the present subsection we also let X be a Hilbert space; the case where X is a 2-smooth Banach space is discussed in the next subsection. By a standard argument involving the essential separability of the ranges of strongly measurable functions, there is no loss of generality in assuming X to be separable. This is relevant as we cite some results from the literature which are stated for separable spaces.
For details on the concepts we introduce below we refer to [68,Chapter 4], where proofs of the various claims made below can be found. We denote by M t t∈ [ whenever the right-hand side of (4.6) is finite. Moreover, the predictable quadratic variation is given by In these identities, L 2 (H , X ) denotes the space of Hilbert-Schmidt operators from H to X .
The following theorem shows that the main result of [56] also holds with a strong type estimate instead of a weak estimate. A similar result was obtained in [57] under additional assumptions on the evolution family (S(t, s)) 0≤s≤t≤T . The result also covers the Poisson case; this can be seen in the same way as in [44,Sect. 3].

Theorem 4.7 Let (S(t, s)) 0≤s≤t≤T be a C 0 -evolution family of contractions on a Hilbert space X and let M be a continuous (respectively, càdlàg) local L 2 -martingale with values in H . Let g : [0, T ] × → L (H , X ) be a process such that g(h) is predictable for all h ∈ H and
Then the process ( This result can be extended to a larger class of processes g by a density argument, but the description of the space is quite technical. The interested reader is referred to [44,68]. Proof By Lenglart's theorem and a localisation argument as in Theorem 4.1 it suffices to consider p = 2. Moreover, by localisation we may assume that M is a continuous (respectively, càdlàg) L 2 -martingale. By approximation it furthermore suffices to consider adapted step processes g. We will focus on the continuous case, the càdlàg case being similar. Only the required changes in the proof of Theorem 4.1 will be indicated.
First of all, g L 2 (0,T ;γ (H ,X )) must be replaced by With this adjustment, up to (4.3) the proof is verbatim the same. By Theorem 3.1 with p = 2 we find that Noting that dG 2 ≤ 2 G 2 ≤ 4 G 2 = 4 s(G) 2 by Doob's maximal inequality and combining the above with (4.6) and the bound K (t j , s) ≤ 1, we obtain The proof is similar to those of Theorems 4.1 and 4.7, but some modifications are required which we sketch below. By a stopping time argument we may assume that M and M are uniformly bounded on [0, T ] × . By approximation it can be assumed that g is an adapted finite rank step process. Then up to (4.3) the proof is the same. Theorem 3.1 gives that Moreover the following extension of (4.6) holds: Since g is uniformly bounded it follows that By dominated convergence the right-hand side tends to zero as the mesh size tends to 0. The result follows once we have shown that with convergence in L p/2 ( ). If we replace s(G) 2 by s(G) 2 := m j=1 dG j 2 this follows from (4.7) (as explained in [12,Sect. 4], the scalar case considered in [27] extends to the Hilbert space). The proof will be completed by showing that for any q ∈ [1, ∞). Without loss of generality we may take q ≥ 2 and since g is an adapted finite rank step process. To prove the convergence in L q ( ) we note that by the scalar case of Theorem 3.1, applied with V j = I and martingale differences We have already seen that the first term tends to 0 as the mesh size tends to zero. For the second term we use [ as mesh(π ) → 0.

Martingales as integrators: 2-smooth UMD Banach spaces
As before we let H be a separable Hilbert space and turn to the case where X is a (2, D)-smooth Banach space with the UMD property. Discussions of UMD spaces can be found in [48,83]. Rather than introducing this property here, we content ourselves by mentioning that examples of Banach spaces with this property include Hilbert spaces, L p -spaces with 1 < p < ∞ and most classical function spaces constructed from these. We will prove an extension of the maximal estimate of the preceding subsection to this setting by using some results from [107]. To avoid technicalities with nonpredictable quadratic variations we only consider continuous local martingales with values in H . In that case the quadratic variation considered in [107] coincides with the one of Sect whenever the expression on the right-hand side is finite. If in addition X has type 2 (which holds if X is 2-smooth), then by [93, Theorem 6.1] where τ 2,X is the type 2 constant of X . We will consider processes for which the right-hand side is finite almost surely.

where C p,X is a constant depending only on p and X .
Proof We argue as in Theorem 4.7 and Remark 4.8. Since we may assume that g takes values in a finite dimensional subspace of X , as in Remark 4.8 it follows that dG p → 0 as the mesh(π ) → 0. It remains to estimate s(G). By a standard argument (4.8) and (4.9) imply where C X is a constant only depending on X . Therefore, by [48, Proposition 3.2.8], The proof can now be completed as before.
Observe that this method gives the result with C p,X = 40 We expect that a large portion of Theorem 4.9 extends to the setting of (non necessarily continuous) local martingales if one replaces the predictable quadratic variation M by the process [M] as defined in [68,Theorem 20.5]. However, usually it is preferred to work with a predictable quadratic variation. An alternative substitute for predictability has been recently developed in [25] in the Poisson case and in [26,108] for general local martingales, but the norms are much more complicated to work with. It would be interesting to see if one can combine our techniques with the estimates in [25,26] for X = L q with 2 ≤ q < ∞, or in [108] for more general Banach spaces X .

Applications to time discretisation
In this section we will apply our abstract results to prove stability of certain numerical approximations of stochastic evolution equations with additive noise of the form This setting covers to both parabolic and hyperbolic time-dependent SPDEs; the latter class includes the stochastic wave equation and the Schrödinger equation. To solve (5.1) numerically one typically uses discretisation in time and space [54,64]. Here we will only consider time discretisation, leaving space-time discretisation and the extension to semi-linear equations with multiplicative noise for a future publication.
In that respect the results presented here serve as a proof-of-principle only. We mainly focus on the splitting scheme and the implicit Euler scheme, although the method is robust and can be applied to other schemes as well.
In what follows, for n = 1, 2, . . . we set t (n) j := j T /n and consider the partition as a discretision of the interval [0, T ]. We fix a process g ∈ L 0 P ( ; L 2 (0, T ; γ (H , X ))) and consider the continuous martingale For j = 0, . . . , n we set In the presence of a C 0 -evolution family (S(t, s)) 0≤s≤t≤T we set This covers the special case of C 0 -semigroups by letting S(t, s) = S(t − s).

The splitting method
Our first result gives stability of a time discretisation scheme for the stochastic convolution process involving a C 0 -evolution family of contractions called the splitting method (also called the exponential Euler method). This scheme has already been employed in the proof of Theorem 4.1. An extension to random evolution families is discussed in Remark 6.8.
The process u has a continuous modification by Theorem 4.1. We will not need this modification in the proof, because the suprema in (5.3) and (5.4) are taken with respect to finite index sets. This remark applies to all results in this subsection and the next (in Theorem 5.13 the existence of the continuous modification follows from Proposition 4.5).
Proof To simplify notation we fix n ≥ 1 and write t j := t Therefore, The assertion E n → 0 as n → ∞ follows by dominated convergence in combination with the convergence criterion [49, Theorem 9.1.14].
In the next corollary we obtain explicit convergence rates for processes g taking values in intermediate spaces. In order to make the statement easy to formulate we only consider the case of semigroup generators. Corollary 5.2 (Uniform convergence of the splitting method with decay rate) Let (S(t)) t≥0 be a C 0 -contraction semigroup on a (2, D)-smooth Banach space X . As in the preceding theorem, for n ≥ 1 let u (n) 0 j M is given by (5.2). Let X ν := (X , D(A)) ν,∞ for ν ∈ (0, 1) and X 1 := D(A), where A is the generator of the semigroup. If g ∈ L p P ( ; L 2 (0, T ; γ (H , X ν ))) with 0 < p < ∞, then for all n ≥ 1 we have For 2 ≤ p < ∞ the inequality holds with C p,D = 10D √ p.
A version of the above result for C 0 -semigroups which are not necessarily contractive and a general class of discretisation schemes will proved in Theorem 5.13.

Proof Since (I − S(t))x ≤ 2 x and
for 0 < ν < 1 by interpolation we obtain For ν = 1 we have The result now follows from Theorem 5.1 and the ideal property (see [49, Theorem 9.1.10]). the sum on the right-hand side being convergent since (ν − β) p > 1.

General time discretisation methods
We now investigate whether analogues of Theorem 5.1 hold for general time discretisation methods. Before returning to convergence questions, we consider a stability result for abstract numerical schemes featuring random operators V j,n satisfying an F t j−1 -measurability condition. In particular, the operators are allowed to depend on u and g up to time t j−1 . This makes this result applicable to nonlinear problems.
To estimate s(M), by (2.10) we have By the dual of Doob's maximal inequality (see [48,Proposition 3.2.8]) and using p/2 ≥ 1 The required estimate follows by combining the estimates.

Remark 5.5
For p = 2 the inequality holds with K 2,D = 40D + 10 √ 2D 2 . This is because in the case p = 2 we can use (2.10) instead of Proposition 2.6.

Remark 5.6
In the setting of monotone operators on Hilbert spaces, a related stability result for p = 2 for the implicit Euler method can be found in [38,Theorem 2.6].
Returning to the problem of convergence, the convergent numerical schemes which we will consider are given in the following definition.
Definition 5.7 Let X be a Banach space. An L (X )-valued scheme is a function R : [0, ∞) → L (Y , X ). If A generates a C 0 -semigroup S on X and Y us a Banach space continuously and densely embedded in X , an L (X )-valued scheme R is said to approximate S to order α > 0 on Y if for all T > 0 there exists a constant K ≥ 0 such that for all integers n ≥ 1 and t ∈ [0, T ] we have A scheme R is said to be contractive if R(t) ≤ 1 for all n ≥ 1 and t ≥ 0.
If R approximates S to order α on Y and there exists a constant C ≥ 0 such that then by real interpolation it approximates S to order θα on the real interpolation spaces (X , Y ) θ,∞ for θ ∈ (0, 1) with estimate An interesting special case arises when Y = D(A m ). If an L (X )-valued scheme R approximates S to order α on D(A m ), then R approximates S to order θα on (X , D(A m )) θ,∞ .
Proposition 5.8 Let T > 0 and suppose that there exists a constant C ≥ 0 such that for all t ∈ (0, T ] and integers n ≥ 1, R(t/n) n ≤ C and S(t) ≤ C. Suppose that the L (X )-valued scheme R approximates S to order α on D(A m ) for some integer m ≥ 1, and let 0 < θ < 1. Then R approximates S to order θα on (X , D(A m )) θ,∞ .
We will now review some examples of numerical schemes satisfying the conditions of the above definition. Classical references include [6,45] and, for analytic semigroups, [19]. A new and unified approach to approximation of semigroups which sharpens several classical estimates has been recently developed in [34,35].
Part (1) of the next theorem follows from [6,Theorem 4]; see also [45]. More elaborate versions on interpolation spaces can be found in [58]. Part (2) follows from [61,Theorem 4.2] by interpolating the stability result [19, Theorem 5] using Proposition 5.8 (see [42,Theorem 9.2.3] for a direct approach, which also does not rely on 0 ∈ (A)). Theorem 5.9 (Time discretisation) Let r : C → C be a rational function such that |r (z)| ≤ 1 for all z ≤ 0, and assume that there exists an integer ≥ 1 such that Let A be the generator of a bounded C 0 -semigroup on (S(t)) t≥0 a Banach space X and set (1) R approximates S to order η( , k) on D(A k ) for all integers k ∈ {1, . . . ,

If the semigroup is analytic and bounded on a sector, then:
(2) R approximates S to order ν on D((−A) ν ) for all ν ∈ (0, ]. Example 5.10 (Time discretisation for C 0 -semigroups) Let A be the generator of a bounded C 0 -semigroup (S(t)) t≥0 on a Banach space X . For each of the functions r below we set Then R approximates S in each of the following cases: (1) Splitting: r (z) = e z , to any order on X .
Example 5.11 (Time discretisation for analytic C 0 -semigroups) Let A be the generator of a bounded analytic C 0 -semigroup (S(t)) t≥0 on X . For each of the functions r below we set Then R approximates S in each of the following cases: (1) splitting: r (z) = e z , to any order on X .
(2) implicit Euler: If A generates a contractive C 0 -semigroup (S(t)) t≥0 the splitting method and implicit Euler methods lead to contractive approximants S n (t). In the following proposition we discuss another class of examples where this holds. It applies to all numerical schemes of the form R(t) = r (t A) considered in Theorem 5.9 and includes all schemes considered in [6,45]. We use the notation where the argument is taken from (−π, π]. Proposition 5.12 Let A be the generator of a C 0 -semigroup of contractions on a Hilbert space. Suppose that r : σ → C is holomorphic for some 1 2 π < σ < π and satisfies |r (z)| ≤ 1 for all z ≥ 0. Then r The proof is immediate from [49,Theorem 10.2.24]. The proposition is false beyond the Hilbert space setting. Indeed, for the operator A = d/dx on X = L p (R) with p = 2 or X = C 0 (R), in [5] it was shown that contractivity of R(t) fails for a general class of schemes (see also [19] for the Crank-Nicholson scheme).
In what follows we restrict ourselves to the semigroup setting, but expect the results to extend to evolution families under suitable additional conditions. In the next theorem we obtain convergence rates for a rather general class of discretisation schemes, which in case of the splitting method turn out to be equal to the ones of Corollary 5.2 up to a logarithmic term. Modulo this term, the theorem extends Corollary 5.2 in two ways: • Contractivity of S is not needed; • The result holds for arbitrary approximation schemes.
The proof directly uses Seidler's version of the Burkholder inequality of Proposition 2.6 in combination Proposition 2.7 and works for C 0 -semigroup and numerical schemes that are not necessarily contractive. The results of Sects. 3 and 4 are not used. One should carefully note, however, that inhomogeneities g taking values in γ (H , X ν ) are considered, where X ν is a suitable intermediate space between X and D(A m ). The case of inhomogeneities g taking values in γ (H , X ) will be considered in Theorem 5.14 and does require contractivity. Examples of numerical schemes satisfying the conditions of the theorem can be obtained from Examples 5.10 and 5.11. Note that the embedding condition Y → X α is satisfied for the real interpolation spaces (X , D(A)) α,r with 1 ≤ r ≤ ∞, the complex interpolation spaces [X , D(A)] α and the fractional domain spaces D((μ − A) α ) for suitable μ ∈ (A) for all α ∈ (0, 1).
With this notation, Therefore, By the bound (2.11) in Proposition 2.7, for n ≥ 3 we have where we may take Hence from the assumption on the numerical scheme we conclude that for all s ∈ [t (n) j−1 , t (n) j ), For C 0 -semigroups of contractions and contractive discretisation schemes, the next theorem provides uniform convergence in time for inhomogeneities g taking values in γ (H , X ). p , fix ε > 0 and let f ∈ L p ( ; L 2 (0, T ; γ (H , D(A)))) be such that g − f L p ( ;L 2 (0,T ;γ (H ,X ))) < ε. By the boundedness and linearity of J and J (n) , , and the last term tends to zero as n → ∞ by Theorem 5.13. Since ε > 0 was arbitrary the result follows.

Applications to SPDE
We will now apply the results to some simple examples of stochastic PDE and compare the results with results available in the literature. It goes without saying that with additional work more sophisticated problems can be treated. While this will be taken up in forthcoming work, the objective here is to treat some model problems in order to see where our methods can be expected to improve the presently available rates.
We begin with the stochastic heat equation. The results of the next example can be extended to more general uniformly elliptic operators with space-dependent coefficients. As will follow from Sect. 6, if one is only interested in the splitting method the coefficients can even be taken progressively measurable in (t, ω).
(5.8) We assume that g = (g k ) k≥1 belongs to L p P ( ; L 2 (0, T ; H λ,q (R d ; 2 ))) with 0 < p < ∞, and W = (W k ) k≥1 is a sequence of independent standard Brownian motions. We can view W as an 2 -cylindrical Brownian motion in a natural way by putting, for h = (k k ) k≥1 ∈ 2 , W t h := W (1 (0,t)⊗h ) := k≥1 h k W k , noting that the sum on the right-hand side converges in L 2 ( ). As is well known, the operator generates an analytic C 0 -semigroup of contractions on the Bessel potential spaces H λ,q (R d ) and Let us now assume that 2 ≤ q < ∞. By Theorem 4.1, the mild solution u to the problem (5.8) has a continuous modification with values in H λ,q (R d ) which satisfies where we may take C p,q = 10 is (2, √ q − 1)-smooth by Proposition 2.2 and that by Hölder's inequality and [49, Proposition 9.3.2]), where γ is a standard Gaussian random variable (whose moments satisfy γ q ≤ √ q − 1). We consider the approximation scheme (5.6) for the splitting (S), implicit Euler (IE), and Crank-Nicholson (CN) schemes discussed in Example 5.11. Each of them leads to a sequence of approximate solutions (u (n) j ) n j=0 , n ≥ 1, for which we define the approximation errors These numbers also depend on p, q, λ and d, but the rates in the estimates below will be independent of these parameters. By Theorem 5.14, E n,0 → 0 for (S) and (IE). For q = 2, (CN) is contractive by Proposition 5.12 and again we obtain E n,0 → 0. Moreover, we can give rates of convergence for each of these methods. These are given in Table 1 for the errors E n,β with β ∈ (0, 1] (up to constants depending on p, q). The assertions follow from Example 5.11, and Corollary 5.2 and Theorem 5.13 applied with Up to a logarithmic term the convergence rates are the same for the three schemes, independently of p ∈ (0, ∞). Although (S) and (CN) have better orders of conver-gence, the convergence rate of the approximation errors E n,β cannot exceed β due to limitations in Corollary 5.2 and Theorem 5.13. We next consider a simple non-parabolic equation. Here, higher order schemes give better rates of convergence. Other non-parabolic examples, including wave equation on R d (for q = 2), can be treated similarly.
Let us now assume that 2 ≤ q < ∞. As before, by Theorem 4.1, the mild solution u to the problem (5.9) has a continuous modification with values in H λ (R) which satisfies where may take C p,q = 10 √ p(q − 1) if 2 ≤ p, ∞. As before, for β ≥ 0 let By Theorem 5.14 we have E n,0 → 0 for (S) and (IE), and if q = 2 the same holds for (CN) by Proposition 5.12. Table 2 gives the estimates for the errors E n,β for suitable intervals for β (up to constants depending on p, q). The assertions follow from Example 5.10 (using We assume that g ∈ L p P ( ; L 2 (0, T ; H λ (R d ; 2 ))) for some 0 < p < ∞, where H λ (R d ) = H λ,2 (R d ). It is well known that i generates a unitary C 0 -group on q ∈ (2, ∞) n −φ(β) (log(n + 1)) 1/2 where we may take C p = 10 √ p if 2 ≤ p < ∞.
As before let By Theorem 5.14, E n,0 → 0 for (S), (IE), and (CN) (using Proposition 5.12 for the latter). Table 3 gives the estimates for the errors E n,β (up to constants depending on p) for suitable intervals for β. The assertions follow from Example 5. We are aware of only few papers dealing with convergence uniformly in time in infinite dimensions. In [37] the splitting method is considered for (possibly degenerate) parabolic problems with gradient noise. The inhomogeneities have to be uniformly bounded in time. The same methods are considered in [18] for semi-linear stochastic parabolic problems. No contractivity of the semigroups needs to be assumed and convergence in Hölder norms is obtained under L p -integrability conditions in time with p > 2. See Table 4 for a comparison of the convergence rates.
In [18] (in the setting of UMD spaces) and [38] (in the setting of monotone operators on Gelfand triples V → X → V * ), the implicit Euler scheme was considered with uniform convergence in time, but these results seem not to be comparable to ours due to the fact that an additional discretisation of the noise term is allowed. In the latter reference, convergence rates of order n −ν are obtained under the assumption that the solution u belong to C ν ([0, T ]; L 2 ( ; V )) ∩ L 2 ( ; L ∞ (0, T ; V )). Results on uniform convergence in time (and sometimes even convergence in Hölder norms in time) for schemes involving space and time discretisation can be found in many papers, including [14][15][16]36,39,53,80,109]. Results concerning uniform convergence in case of white noise and discretisation in time only can be found in [3,4,40,41]. Some results are with explicit rates and some are not, but the schemes considered in these papers are different.
In the parabolic setting, results on convergence of the form sup j=0,...,n (notice the reversed order of supremum and expectation) with explicit rates, which can even be faster than 1/n, can be found in [17,54,64] and references therein. For non-parabolic problems no systematic results seem to be available on uniform convergence in time. In [103] uniform convergence with explicit rates has been obtained for a nonlinear wave equation with the splitting scheme. The fact that the underlying semigroup is a group allows us to write

S(−s)g s dW s
and uniform convergence can be obtained from standard maximal estimates for martingales. In [32] the authors obtain uniform convergence results in case the semigroup admits a dilation to a group. Our results do not rely on the above identity and therefore are applicable in the case of arbitrary contractive C 0 -semigroups, and the convergence holds with the same rate. Even more is true: for arbitrary C 0 -semigroups and general numerical schemes the same convergence rates can be obtained up to a logarithmic factor.

Maximal inequalities for random stochastic convolutions
In this section we consider the time-dependent problem t ∈ [0, T ], u 0 = 0., (6.1) with random operators A(t). More precisely we assume that (A(t, ω)) (t,ω)∈[0,T ]× is an adapted family of closed operators acting in X which satisfy suitable conditions, to be made precise below, guaranteeing the generation of an adapted evolution family. We will assume throughout that W is an adapted H -cylindrical Brownian motion on . and that g : [0, T ] × → γ (H , X ) is progressively measurable; recall that this is equivalent to the requirement that g(h) : [0, T ]× → X is progressively measurable for all h ∈ H . Many of the results of this section are expected to extend to more general martingales.

The forward stochastic integral
In analogy with the non-random case one expects that (6.1) admits a mild solution given as before by the stochastic convolution process t 0 S(t, s)g s dW s . This stochastic integral, however, cannot be defined as an Itô stochastic integral because the random variables S(t, s)x are only assumed to be F t -measurable rather than F s -measurable and consequently the integrand will not be progressively measurable in general.
To overcome this problem we use the forward stochastic integral, introduced and studied by Russo and Vallois [88] in the scalar-valued setting. Following [62,85,86] we define its vector-valued analogue as follows. Fix an orthonormal basis (h k ) k≥1 of H . For processes ∈ L 0 ( ; L 2 (0, T ; γ (H , X ))) and n = 1, 2, . . . define The process is forward stochastically integrable if the sequence (I − ( , n)) n≥1 converges in probability. If this is the case, the limit is independent of the choice of orthonormal basis and is called the forward stochastic integral of . We write Notice that is not assumed to be progressively measurable. It is easy to see that if is a finite rank step process, then is forward integrable. In case is progressively measurable and integrable in the Itô sense, then the forward stochastic integral exists and coincides with the Itô integral (see [86,Proposition 3.2]). In order to apply the forward integral to our problem we make following Hypothesis: family (S(t, s, ω)) 0≤s≤t≤T , ω∈ is an adapted C 0 -evolution family of contractions on X , i.e., (i) (S(t, s, ω) 0≤s≤t≤T is a C 0 -evolution family of contractions for every ω ∈ ; (ii) S(t, s, ·)x is strongly F t -measurable for all 0 ≤ s ≤ t ≤ T and x ∈ X.
We have the following sufficient condition for forward integrability (see [86,Corollary 5.3], which extends to the current setting).
Moreover, the process ( t 0 S(t, s)g s dW − s ) t∈[0,T ] has a continuous modification. The right-hand side of (6.2) is well defined by the hypothesis and the assumption that g takes values in Y . By the almost sure pathwise continuity of · 0 g s dW s , the forward integral in (6.2) admits a continuous modification.

Remark 6.3
In the setting where S is generated by an adapted family (A(t)) t∈[0,T ] satisfying suitable parabolicity assumptions, the right-hand side of (6.2) is called the pathwise mild solution of (6.1). Pathwise mild solutions were introduced and extensively studied in [85]. In the parabolic case, ∂ s S(t, s) typically extends to a bounded operator on X and ∂ s S(t, s) ≤ C(t − s) −1 , where C depends on ω ∈ . Since · 0 g r dW r is almost surely Hölder continuous under L p (0, T )-integrability assumptions on g with p > 2, the right-hand side of (6.2) exists pathwise as a Bochner integral.
It is quite difficult to prove estimates for the forward integral directly. A major advantage of using the right-hand side of (6.2) is that one can obtain estimates using only Itô and Bochner integrals.

The maximal inequality
We will now extend the maximal estimate of Theorem 4.1 to random evolution families, replacing the Itô stochastic integral of that theorem by the forward stochastic integral. The precise sense in which the forward integral constitutes a solution of the problem (6.1) will be addressed subsequently in Theorem 6.6. Even without the supremum on the left-hand side, the estimate in Theorem 6.4 is new. where the constant C p,D only depends on p and D. For 2 ≤ p < ∞ the inequality holds with C p,D = 10D √ p.
Proof The proof is similar to that of Theorem 4.1, but with some extra technicalities which justify a detailed presentation.
Define the process this forward integral being well defined since the integrand is a finite rank step process. For t ∈ [0, r 1 ] the above integral coincides with the Itô integral since K (t, s, ·) is strongly F 0 -measurable. By (iii), for r j−1 ≤ s ≤ t < r j we have v t = S δ (t, s)v s + t s K (t, r )g r dW r , (6.4) where the stochastic integral is again an Itô integral since the random variable K (t, r , ·) does not depend on r ∈ [s, t] ⊆ [r j−1 , r j ) by (i) and is strongly F r j−1 -measurable by (iv) and the inclusion F (t−δ) + ⊆ F r j−1 (using that (t − δ) + ≤ r j−1 ). Properties (i) Letting δ ↓ 0, by the piecewise strong continuity of t → ∂ s S(t, s) on Y and dominated convergence we obtain that v δ (t) → u(t) almost surely. By dominated convergence one also obtains that u has a continuous modification. To prove the maximal estimate for this modification it suffices to show that for any finite set π ∈ [0, T ], sup t∈π u t ≤ 10D √ p g L p ( ;L 2 (0,T ;γ (H ,X ))) .
Step 4 The case 0 < p < 2 follows again by using Corollary 3.6 instead of Theorem 3.1, or by an extrapolation argument involving Lenglart's inequality.
If the embedding Y → X is dense we can use the maximal inequality of the theorem to see that for all 0 < p < ∞ the mapping g → It is not guaranteed, however, that for general g ∈ L 0 P ( ; L 2 (0, T ; γ (H , X ))) the process J g is given by a forward stochastic convolution again, nor is this clear if we replace L 0 and J by L p and J p . The same problem occurs if we use the right-hand side in the identity in Proposition 6.2.
Since J p satisfies the same estimate as in Theorem 6.4, we immediately obtain an extension of the exponential tail estimate of Corollary 4.2 in the current setting. As in Remark 4.3 under more restrictive conditions on the random evolution family, but with better bound on the variance σ 2 a similar result was obtained in [95,Remark 5.8].
The next theorem addresses the question in what sense J p g and J g "solve" the problem (6.1). Some additional assumptions are needed to establish the precise relation between the random evolution family S and the random operator A. Hypothesis 6.5 Hypothesis 6.1 is satisfied. Furthermore, the random operator family A : [0, T ] × → L (Y , X ) has the property that Ay is strongly progressively measurable for all y ∈ Y . Furthermore the following conditions hold: where C : → [0, ∞) is independent of y ∈ Y and 0 ≤ s < t ≤ T . (iii) There exists a dense subspace F ⊆ X * such that F ⊆ D(A(t, ω) * ) for all (t, ω) ∈ [0, T ] × , and almost surely the mapping (t, ω) → x, A(t, ω) * x * belongs to L ∞ (0, T ) for all x ∈ X and x * ∈ F.
In the proof below we will combine (iii) with the observation that if f : (0, T ) → X is integrable and g : (0, T ) → X * has the property that x, g ∈ L ∞ (0, T ) for all x ∈ X , then the function t → f (t), g(t) is integrable and x, g ∞ , the supremum on the right-hand side being finite by a closed graph argument. Indeed, this estimate is clear for simple functions f and the general case follows by approximation.
Under the above hypothesis a process u ∈ L 0 P ( ; L 1 (0, T ; X )) is called a weak solution of (6.1) if for all x * ∈ F, a.s. for all t ∈ [0, T ], In many situations weak solutions are known to be unique. However, we will not address this issue here.
Theorem 6.6 Suppose that Hypothesis 6.5 holds, with X a 2-smooth Banach space, and assume in addition that the embedding Y → X is dense. Then for every g ∈ L 0 P ( ; L 2 (0, T ; γ (H , X ))) the process J g is a weak solution to (6.1).

Proof
We proceed in three steps.
Step 1 First let g : [0, T ]× → L (H , Y ) be an adapted finite rank step processes and write v g t = t 0 g dW . From Proposition 6.2, Theorem 6.4 and Hypothesis 6.5(i) it is immediate that which gives the required identity.
Step 2 Let g ∈ L p P ( ; L 2 (0, T ; γ (H , X ))) with 0 < p < ∞ and choose a sequence of Y -valued adapted finite rank step processes (g (n) ) n≥1 such that g (n) → g in L p ( ; L 2 (0, T ; γ (H , X ))). Then from (6.8) applied to g (n) − g m we obtain that (u g (n) ) n≥1 is a Cauchy sequence and therefore converges to some u in L p ( ; C([0, T ]; X )). By Step 1, u g (n) is a weak solution and thus u g (n) t , x * = t 0 u g (n) s , A(s) * x * ds + t 0 (g (n) s ) * x * dW s .
Letting n → ∞ in this identity we conclude that u g is a weak solution. The maximal inequality is obtained by applying (6.8) with g n and letting n → ∞. ), one needs that sup t∈[0,T ] u t − u (n) t L 1 ( ;X ) → 0. Although this is likely to hold in many situations, such considerations can be avoided by using the right-hand side of (6.2). Remark 6.8 Theorem 5.1 extend mutatis mutandis to random evolution families. The only required change is to use the forward integral in the proof and to apply Theorem 6.4 instead of Theorem 4.1. To obtain explicit decay rates under the assumption that g has spatial smoothness, i.e., g takes values in a Banach space Y continuously embedded in X , one requires estimates for S(s, σ n (s)) − I L (Y ,X ) . In some applications (e.g. [78,Sect. 5.2]) such estimates are available.