Stochastic Analysis with Modelled Distributions

Using a Besov topology on spaces of modelled distributions in the framework of Hairer's regularity structures, we prove the reconstruction theorem on these Besov spaces with negative regularity. The Besov spaces of modelled distributions are shown to be UMD Banach spaces and of martingale type $2$. As a consequence, this gives access to a rich stochastic integration theory and to existence and uniqueness results for mild solutions of semilinear stochastic partial differential equations in these spaces of modelled distributions and for distribution-valued SDEs. Furthermore, we provide a Fubini type theorem allowing to interchange the order of stochastic integration and reconstruction.


Introduction
Modelled distributions are the spine of Hairer's theory of regularity structures [Hai14]: they constitute a way to describe locally generalized functions of certain degrees of (ir-)regularity by means of functions ("modelled distributions") taking values in a graded vector space ("regularity structure"), which satisfy certain graded estimates. A good and simple example are Hölder continuous functions, which can be locally described by the coefficients of their Taylor's expansion up to a certain order around each point with respect to polynomials. One of the key insight of the theory of regularity structures is that the solutions of some singular stochastic partial differential equations, like the KPZ equation or the 2D parabolic Anderson model, are more suitable described using an enlarged basis of monomials.
In the abstract setting of regularity structures, the so-called reconstruction operator provides a way to continuously map the modelled distributions 1 to generalized R d -valued functions on space-time, which is the assertion of the celebrated reconstruction theorem, see Theorem 3.10 in [Hai14]. In the seminal work [Hai14], the spaces of modelled distributions are equipped with the direct analogues of Hölder norms, which was more than sufficient for the original applications and it is most natural from the point of view of the reconstruction theorem.
However, with stochastic analysis and especially stochastic integration in mind, the more general Besov and, in particular, Sobolev-Slobodeckij type norms are a more natural choice since these norms provide a suitable geometric structure to have a rich stochastic integration theory at hand, as we will demonstrate in the second part of the present paper. Other motivations to work with specific Besov norms on the spaces of modelled distributions recently arose in the work [HL18] of Hairer and Labbé, where the solution to the multiplicative stochastic heat equation starting from a Dirac mass is constructed, and in the work [CFG17] of Cannizzaro, Friz and Gassiat, where Malliavin calculus is implemented in the context of regularity structures.
It is the goal of the first part of the article to show that the reconstruction theorem still holds in full generality if the spaces of modelled distributions are equipped with Besov norms. While [HL17] already provide the reconstruction theorem for Besov spaces of modelled distributions assuming the regularity parameter to be positive, we complement their result by proving the reconstruction theorem for Besov spaces with negative regularity, see Theorem 2.11. As in the case of Hairer's original reconstruction theorem, these two regimes require different proofs but both can be proven along similar lines of arguments as used by Hairer's original proof on the existence of the reconstruction operator. Let us also mention that the reconstruction theorem was recently obtained by Hensel and Rosati [HR17] for Triebel-Lizorkin type spaces with positive regularity parameter. A natural application of the reconstruction operator applied to modelled distributions with negative regularity is Lyons-Victoir's extension theorem [LV07], cf. [FH14,Proposition 13.23].
The reconstruction operator R maps modelled distributions to generalized functions in a linear and bounded way with additional continuous dependence on the underlying model. The reconstruction operator can be considered as an abstract integration operation, which depends on the particular regularity structure. It generalizes Young integration [You36] and controlled rough path integration [Lyo98,Gub04], etc. The main result of this article (Theorem 3.3) can be seen as a Fubini type theorem, which asserts for modelled-distribution-valued predictable processes H and a Brownian motion W that the order of "integration" can be interchanged R (H • W ) , ψ = R(H), ψ • W for every test function ψ, where (H • W ) denotes the stochastic integral of H w.r.t. W . This Fubini type theorem has a deeper meaning if the Besov space D γ p,q of modelled distributions has a geometric structure such that a rich stochastic integration theory is accessible.
There are several approaches to stochastic integration for Banach space valued processes, some of them involve properties of the Banach space like martingale type 2 or unconditional martingale difference (UMD). It depends on the purpose in mind, which property is actually needed, but for integrals with respect to Brownian motion martingale type 2 or UMD is favorable and both allow for treating stochastic partial differential equations like stochastic evolution equations in Banach spaces, see e.g. [Brz95], [BK18] or [vNVW08]. We shall prove here that the Besov space D γ p,q of modelled distributions (for p, q ≥ 2) has indeed the martingale type 2 and the UMD property, respectively, see Proposition 3.2. Since this suffices to set up a rich stochastic integration theory as needed for the treatment of stochastic partial differential equations with Brownian drivers like in the books of Da Prato-Peszat-Zabczyk [PZ07,DZ14], the results in the second part of the article pave the way to combine the powerful tools of stochastic integration and Hairer's theory of regularity structure in a novel way. As an exemplary applications, we present existence and uniqueness results for mild solutions of semilinear stochastic partial differential equations with multiplicative noise in Besov spaces of modelled distributions and for Itô stochastic differential equations on spaces of Hölder functions with certain unbounded vector fields. Furthermore, using the reconstruction operator and the Fubini type theorem, we show that semilinear SPDEs in classical Besov spaces can be equivalently considered as semilinear SPDEs in suitable Besov spaces of modelled distributions.
Organization of the paper: In Section 2 we briefly introduce the necessary elements of regularity structures and prove the reconstruction theorem for Besov spaces of modelled distributions. The Banach space properties of these spaces are established in Section 3 as well as the Fubini type theorem. As applications, we treat semilinear stochastic partial differential equations in Besov spaces of modelled distributions in Section 4 and distributions-valued Itô stochastic differential equations in Section 5.
Notation: Throughout the entire paper, we are given a scaling s := (s 1 , . . . , s d ) ∈ N d and we consider the s-scaled "norm" The ball in R d , around x ∈ R d with radius R > 0 and with respect to the s-scaled norm is denoted by B(x, R). The zero is included in our notation of natural numbers N = {0, 1, 2, . . .} and for a multi-index k ∈ N d , we set |k| := |(k 1 , . . . , k d )| := k 1 +· · ·+k d , |k| s := s 1 k 1 +· · ·+s d k d , and k! := k 1 ! · · · k d !.
For two real functions a, b depending on variables x one writes a b or a z b if there exists a constant C(z) > 0 such that a(x) ≤ C(z) · b(x) for all x, and a ∼ b if a b and b a hold simultaneously. By ⌊a⌋ for a number a ∈ R we mean ⌊a⌋ := sup{b ∈ Z : b ≤ a}.
The space of Hölder continuous functions ϕ : R d → R of order r ≥ 0 is denoted by C r , that is, ϕ is bounded if r = 0, Hölder continuous for 0 < r ≤ 1 (which amounts precisely to Lipschitz continuous for r = 1, the derivative does not necessarily exist). For r > 1 not an integer the function is ⌊r⌋-times continuously differentiable and the derivatives of order ⌊r⌋ are Hölder continuous of order r − ⌊r⌋. The space C r is equipped with the norm where · β denotes the β-Hölder norm for β ∈ (0, 1), and · ∞ denotes the supremum norm. For integers r > 1 the (r − 1)-th derivative exists and is Lipschitz continuous. If a function ϕ ∈ C r has compact support, we say ϕ ∈ C r 0 . Additionally, we use ϕ ∈ B r if ϕ ∈ C r 0 is such that ϕ C r ≤ 1 and supp ϕ ⊂ B(0, 1), and ϕ ∈ B r n for n ∈ N if ϕ ∈ B r and ϕ annihilates all polynomials of scaled degree at most n. As usual C ∞ = C ∞ (R d ) stands for the space of smooth functions ϕ : R d → R and C ∞ 0 is the subspace of all smooth functions with compact support. The space D ′ = D ′ (R d ) is the space of (tempered) distributions, that is, the topological dual of the Schwartz space of rapidly decreasing infinitely differentiable functions.
The space L p := L p (R d , dx), p ≥ 1, is the usual Lebesgue space, that is, the space of functions f such that R d |f (x)| p dx < ∞. We also set L q λ := L q ((0, 1), λ −1 dλ) for q ≥ 1 and write L p (R d ; B) for the L p -space of functions f : R d → B where B is Banach space. The notation f, g is used for the L 2 -inner product of f and g as well as the evaluation of the distribution f against the test function g. The space ℓ p is the Banach space of all sequences (x n ) n∈N such that n∈N |x n | p < ∞ and the corresponding norm is denoted by · ℓ p .

Reconstruction operator and Besov modelled distributions
The theory of regularity structures was introduced by M. Hairer in the seminal work [Hai14]. Gentle introductions to this novel theory can be found, for instance, in [FH14], [Hai15] or [CW17]. We recall here for the sake of completeness the fundamental objects in suitable generality for the present paper. For the convenience of the reader our notation and definitions are mainly borrowed from [Hai14,Hai15]. Let us start with the definition of a regularity structure, of its models and of modelled distributions.
Definition 2.1 (Definition 2.1 in [Hai14]). A triplet T = (A, T, G) is called regularity structure if it consists of the following objects: • An index set A ⊂ R, which is locally finite and bounded from below, with 0 ∈ A.
• A model space T = α∈A T α , which is a graded vector space with each T α a Banach space and T 0 ≈ R. Its unit vector is denoted by 1.
• A structure group G consisting of linear operators acting on T such that, for every Γ ∈ G, every α ∈ A, and every a ∈ T α it holds Moreover, Γ1 = 1 for every Γ ∈ G.
For any τ ∈ T and α ∈ A we denote by Q α τ the projection of τ onto T α and set τ α := Q α τ .
The basic idea behind the model space T is to represent abstractly the information describing the "jet" or "local expansion" of a (generalized) function at any given point, i.e. we prescribe a certain structure of local expansions of (generalized) functions, which we have in mind. Each T α then corresponds to the "monomials of degree α" which are required to describe a (generalized) function locally "of order α" and the role of the structure group G is to translate coefficients from a local expansion around a given point into coefficients for an expansion around another point, such that the (generalized) function does not change. To make this interpretation clearer, we present the abstract polynomials as very simple example of a regularity structure. A more detailed discussion of this example can be found in Section 2.2 in [Hai14] or Section 13.2.1 in [FH14]. Alternatively, the reader might keep in mind the theory of (controlled) rough paths [Lyo98,Gub04] as an example of a regularity structure, see Section 13.2.2 in [FH14].
Example 2.2. The polynomial regularity structure T is given by the space of abstract polynomials in d variables. In this case the index set is the set of natural numbers, that is A = N. The model space T = R[X 1 , . . . , X d ] is indeed a graded vector space since it can be written as where span {X k : |k| = α} is the space generated by all monomials of degree α and X k := X k 1 . . . X k d . Here we use for simplicity the scaling s := (1, . . . , 1). The canonical group action is G ∼ (R d , +) which acts on T via Γ h P (X) := P (X + h1) for every h ∈ R d and P (X) ∈ T .
In order to associate to each "abstract" element in T a "concrete" (generalized) function or distribution on R d , M. Hairer introduced the concept of models. Definition 2.3 (Definition 2.17 in [Hai14]). Given a regularity structure T = (A, T, G), a model (Γ, Π) on R d is given by: for every x, y, z ∈ R d and Γ x,x = 1, where 1 is the identity operator.
• A collection of continuous linear maps Π x : T → D ′ such that Π y = Π x • Γ x,y for every x, y ∈ R d .
Furthermore, for every compact set K ⊂ R d and for every constant γ > 0, there exists a constant C γ,K > 0 such that the bounds hold uniform over (x, y) ∈ K × K, λ ∈ (0, 1], τ ∈ T α for α ≤ γ and β ≤ α, and for all ϕ ∈ B r with r > | inf A|. Additionally, we denote by Π γ,K and Γ γ,K the smallest constant for which the first and second inequality in (2.1) holds, respectively.
To illustrate the definition of a model, let us come back to Example 2.2.
Example 2.4. Given the polynomial regularity structure T = (A, T, G) from Example 2.2, a corresponding model (Γ, Π) can be defined by the concrete polynomials on R d . More precisely, the model (Γ, Π) is given by the action Γ x,y P (X) := P (X + (x − y)) and Π x P (X) := P (· − x), for X ∈ T and x, y ∈ R d .
The functions which can be described by the polynomial regularity structure and the model as introduced in Example 2.2 and 2.4, are the Hölder continuous functions. Indeed, take a function f ∈ C γ for some γ > 0. Using the Taylor expansion of order ⌊γ⌋, one can associate to f a mapf with values in T viâ Equipping a suitable subspace of functions of the form T α with the right topology, the map f →f turns out to be a one-to-one correspondence as proven in Lemma 2.12 in [Hai14].
In the general context of regularity structures the "Hölder continuous" functions relative to a given model are the so-called "modelled distributions". This class of distributions locally "looks like" the distributions in the model. The precise definition reads as follows.
Definition 2.5 (Definition 3.1 in [Hai14]). Let γ ∈ R. The space of modelled distributions D γ is given by all functions f : R d → T − γ such that for every compact set K ⊂ R d one has Here, we used the notation T − γ := α∈Aγ T α , where one denotes A γ := {α ∈ A : α < γ}.
Maybe the most fundamental result in Hairer's theory of regularity structures is the reconstruction theorem (Theorem 3.10 in [Hai14]): for every f ∈ D γ with γ ∈ R there exists a distribution Rf with some (possibly negative) Hölder regularity on R d such that Rf "looks like Π x f (x) near x" for every x ∈ R d . In other words, it is always possible to obtain from an abstract map f ∈ D γ a concrete distribution Rf , which locally looks in some sense like f .

Reconstruction theorem for Besov spaces with negative regularity
As already discussed in the Introduction, from a probabilist's point of view it seems more desirable to work with L p -type norms instead of L ∞ -norms (as used to measure Hölder regularity as in Definition 2.5) since this has the great advantage to give access to strong and highly developed techniques as stochastic integration. Therefore, we would like to work with a generalized version of the space of modelled distributions which is the analogue to classical Besov spaces. In this new setting it seems to be very natural and convenient to introduce models possessing global bounds instead of the local ones required in Definition 2.3. Therefore, following [HL17] we use a slight modified definition of models but we will come back to the original framework of regularity structures in Subsection 2.2.
Definition 2.6 (Definition 2.8 in [HL17]). Given a regularity structure T = (A, T, G), a model (Γ, Π) on R d is given by: for every x, y, z ∈ R d and Γ x,x = 1, where 1 is the identity operator.
• A collection of continuous linear maps Π x : T → D ′ such that Π y = Π x • Γ x,y for every x, y ∈ R d .
Furthermore, for every constant γ > 0, there exists a constant C γ > 0 such that the bounds hold uniform over (x, y) ∈ R d × R d , λ ∈ (0, 1], τ ∈ T α for α ≤ γ and β ≤ α, and for all ϕ ∈ B r with r > | inf A|. Additionally, we denote by Π := Π γ and Γ := Γ γ the smallest constant for which the first and second inequality in (2.2) holds, respectively. In the following, we drop the dependence on γ whenever it is clear from the context. Given two models (Γ, Π) and (Γ, Π) for the same regularity structure T = (A, T, G), a natural pseudo-metric is induced by where we recall A γ := {α ∈ A : α < γ}.
For the rest of the subsection, we fix an arbitrary regularity structure T = (A, T, G) with an associated model (Γ, Π) satisfying global bounds in the sense of Definition 2.6. Let us recall the scaling s = (s 1 , . . . , s d ) on R d and let K ⊂ R d be a Borel measurable set. For a measurable function f : and introduce the Besov norm where K stands for the 1-fatting of the set K and where we used shortened notation by writing α<γ meaning α∈Aγ . The norm · γ,p,q,R d can be considered as the analogue to classical Besov norms based on their definition using integrals, cf. for instance [Sim90] or [Tri10].
Further, we write D γ p,q (K) for the space of all functions f : K → T − γ such that f γ,p,q,K < ∞, for a compact set K ⊂ R d .
Remark 2.8. We would like to point out that the general Besov spaces D γ p,q were first defined by Hairer and Labbé [HL17]. In an early version of the present article only the special case of Sobolev-Slobodeckij spaces (also called fractional Sobolev spaces) of modelled distributions were introduced, which appears to be sufficient in many situations for stochastic integration. The Sobolev-Slobodeckij spaces correspond to the Besov spaces D γ p,p . Another different L pcounterpart of the original space D γ of modelled distributions were considered in [HL18], which is related to Nikolskii spaces or in other words to Besov spaces D γ p,∞ , see Definition 2.9 in [HL18].
Remark 2.9. The Besov spaces D γ p,q enjoy similar embedding properties as the well-known embedding theorems for classical Besov spaces. In particular, the Besov spaces are nested in their regularity parameter, that is D γ 1 p,q ⊂ D γ 2 p,q for γ 1 ≥ γ 2 and p, q ∈ [1, ∞). For more sophisticated embedding results we refer to Section 4 in [HL17].
Because Hairer's reconstruction operator maps modelled distributions possessing some Hölder regularity to generalized functions again possessing certain Hölder regularity, one expects a similar result also for modelled distributions with Besov regularity. Here we focus on the Besov spaces with negative regularity since this suffices for our reconstruction theorem, see Theorem 2.11 below. For the general definition we refer to Definition 2.1 in [HL17] and to introductory books about Besov spaces as, for instance, to [Tri10] or [BCD11].
Definition 2.10 (Definition 2.1 in [HL17]). Let α < 0, p, q ∈ [1, ∞) and r ∈ N such that The next theorem presents Hairer's celebrated reconstruction theorem for the Besov space D γ p,q with negative regularity γ. The reconstruction theorem for the Besov spaces D γ p,q with positive regularity γ can be found in Theorem 3.1 in [HL17]. While the reconstruction operator is unique in the later case, this uniqueness is lost for the reconstruction operator acting on modelled distributions with negative regularity.
Theorem 2.11. Suppose that α := min A < γ < 0, and f ∈ D γ p,q . If q = ∞, letᾱ = α, otherwise takeᾱ < α. Then, there exists a continuous linear operator R : D γ p,q → Bᾱ p,q such that uniformly over all f ∈ D γ p,q and all models (Π, Γ) in the sense of Definition 2.6. Furthermore, let (Π, Γ) be another model in the sense of Definition 2.6 for T = (A, T, G) and denote by D The proof works similarly to the one of the original reconstruction theorem (Theorem 2.10 in [Hai15]). However, the relevant estimates need to be generalized to the new L p -setting provided by the Besov space D γ p,q , which, in particular, requires a new/modified definition of the reconstruction operator, cf. (2.5). Before proving Theorem 2.11, some preliminary discussion is in order: First, we would like to remark that given f ∈ D γ p,q , for any C > 0 and ζ ∈ A γ it holds that Indeed, if C ∈ (0, 1], then the above inequality is trivial due to the definition of |||f ||| γ,p,q . Now suppose that C = 2. Then we note that the triangle inequality yields that Clearly, the first term in the right hand side of the above inequality is bounded by |||f ||| γ,p,q . On the other hand, since the second term in the right hand side of the above inequality is bounded by Hence, summing both terms up, we obtain the desired estimate for C ∈ (1, 2]. Then we can easily extend this result to any C > 2. Secondly, we need some elements of wavelet analysis for the proof of Theorem 2.11. For more detailed discussions we refer to Section 3.1 in [Hai14] and the works of Meyer [Mey92] and of Daubechies [Dau88].
Let r > 0 be a finite real number. We consider a wavelet basis associated to a scaling function ϕ : R → R with the following four properties: (ii) For every polynomial P of degree at most r, one has (iv) There exist coefficients (a k ) k∈Z with only finitely many non-zero values such that The existence of such a function ϕ can be found in Theorem 13.25 in [FH14] and was originally ensured by Daubechies [Dau88]. We define . . , y d ) ∈ R d and an s-scaled grid of mesh size 2 −n by The linear span of (ϕ n x ) x∈Λ n is denoted by V n ⊂ C r and the L 2 -orthogonal complement of V n−1 in V n is denoted byV n . The subspacesV n can be likewise described than the subspaces V n . Indeed, it is a standard fact coming from wavelet analysis [Mey92]: there exists a finite set Ψ of compactly supported functions in C r , that annihilate all polynomials of degree at most r, and such that for every n ≥ 0, the set constitute an orthonormal basis of L 2 . Notice that the subspaceV n+1 ⊂ L 2 is generated by Proof of Theorem 2.11. Let r ∈ N such that r > |α| and assume that ϕ and ψ ∈ Ψ are the father and mother wavelet(s) in C r 0 , respectively, with the above discussed properties. In view of [Hai14, (3.38)], a natural choice for Rf is where f n is given by Step 1: Let us first verify that the so-defined Rf belongs to Bᾱ p,q for anyᾱ < α. We set for every n ≥ 0, x ∈ Λ n and ψ ∈ Ψ a real number a n,ψ and for x ∈ Λ 0 , b 0 Invoking [HL17, Proposition 2.4], it suffices to show that a n,ψ where ℓ p n stand for the Banach space of all sequences u(x), x ∈ Λ n , such that To this end, we remark that by the construction of f n |a n,ψ Then, since ψ n x = 2 −n |s| 2 ψ 2 −n x , from the definition of model we deduce that uniformly over all n ≥ 0, all x ∈ Λ n and all y ∈ B(x, 2 −n ). As a consequence, we get a n,ψ which in turn implies that a n,ψ where we used Jensen's inequality in the third line for the finite measure 2 n|s| dy| B(x,2 −n ) and the convex function z → z p . Since α = min A andᾱ < α, for all β ∈ A γ , one hasᾱ − β < 0 and therefore n≥0 2 n(ᾱ−β) 1. It follows that a n,ψ as claimed. Similarly we can also prove that b 0 x ℓ p 0 |||f ||| γ,p,q < ∞. In the particular case q = ∞, we have a n,ψ due to the relation that α − β ≤ 0 for all β ∈ A γ . Hence, we have Rf ∈ B α p,∞ in this case.
Step 2 : We will establish the reconstruction bound (2.3) for Rf . For fixed x ∈ R d , λ ∈ (0, 1] and η ∈ B r , we have uniformly over all x ∈ R d , n ≥ 0 and y ∈ Λ n . As in the proof of Theorem 3.1 in [HL17], for a given λ ∈ (0, 1], there exists a n 0 ≥ 0 such that λ ∈ (2 −n 0 −1 , 2 −n 0 ]. Let · L q n 0 (dλ) denote the L q -norm with respect to the finite measure (with the total mass ln 2) λ −1 1 (2 −n 0 −1 ,2 −n 0 ] dλ, we first bound the term . (2.7) Since for n ≤ n 0 one has λ ≤ 2 −n and consequently uniformly over all y ∈ Λ n , all n ≤ n 0 , all η ∈ B r and all x ∈ R d . Moreover, this inner product vanishes as soon as x − y s > C2 −n for some constant C > 0 only depending on the size of the support of ψ. Hence, using all estimates above we get where we used Minkowski's integral inequality. Since γ < 0, we have n≤n 0 2 (n 0 −n)γ 1 uniformly over all n 0 ≥ 0, (Note, that this step constitute the main difference compared to the construction of the reconstruction operator with positive regularity, cf. [HL17].) Therefore, we can apply Jensen's inequality for finite discrete measures n ∈ {0, . . . , n 0 } → 2 (n 0 −n)γ to obtain where we used Jensen's inequality in the third line for the finite measure 2 n|s| dh| B(0,C ′ 2 −n ) and the definition of |||f ||| γ,p,q for f ∈ D γ p,q in the last line; and from the fourth line to the fifth line we implicitly applied repeated decompositions of B(0, C ′ ) into the disjoint union of annuli 2 −n−k−1 < h s ≤ 2 −n−k and the obvious relation that 2 n|s| ≤ 2 −k|s| 1/ h |s| s for all h with 2 −n−k−1 < h s ≤ 2 −n−k . Obviously, the same bound holds if we replace n≤n 0 y∈Λn Rf − Π x f (x), ψ n y ψ n y , η λ x by Now we turn to the term sup η∈B r . (2.9) In this case, we have (cf. the proof of [Hai14, Theorem 3.10]) | ψ n y , η λ x | 2 −n |s| 2 −rn λ −|s|−r uniformly over all n > n 0 , all λ ∈ (2 −n 0 −1 , 2 −n 0 ] and all η ∈ B r . Moreover, this inner product vanishes as soon as y − x s > Cλ for some constant C only depending on the size of the support of ψ. Hence, as we have shown that where we implicitly used the relation that holds uniformly for all n > n 0 . Then, using Jensen's inequality for the finite measure 2 n|s| dh| B(0,C ′ 2 −n ) and Minkowski's integral inequality for the · L p -norm and the integral with respect to h, we can further deduce that β∈Aγ n>n 0 h∈B(0,C ′ 2 −n 0 ) dh 2 −(n−n 0 )(β+r) .
Since r ∈ N satisfies that r > |α| and since γ < 0 such that α ≤ β < 0 holds for all β ∈ A γ , one has β + r > 0 for all β ∈ A γ . This implies that we can apply Jensen's inequality for the discrete finite measures n ∈ {n 0 + 1, . . . } → 2 −(n−n 0 )(β+r) and obtain that sup η∈B r where we used Jensen's inequality in the third line, and used the same reasoning as in the inequality (2.8) (from the fourth line to the fifth line) in the last step. Now we note that for any measurable function g defined on (0, 1], it holds that g L q . This implies that sup η∈B r is equal to the sum of the ℓ q -norms of (2.7) and (2.9), therefore it is bounded by |||f ||| γ,p,q due to the above estimates. This proves (2.3).
Step 3: Now suppose that (Π, Γ) is another model and we use D γ p,q to denote the corresponding space of modelled distributions in the sense of Definition 2.7. Fix a wavelet analysis {ϕ, ψ ∈ Ψ} in C r 0 , for given f ∈ D γ p,q and g ∈ D γ p,q we define Rf and Rg as in (2.5): From the results obtained in Step 1 and Step 2 we see that Rf, Rg are elements in Bᾱ p,q and satisfy the bound (2.3) for (Π, Γ) and (Π, Γ), respectively. Now, for every n ≥ 0, x ∈ R d , y ∈ Λ n and ψ ∈ Ψ, we can check that ), ψ n y dz. (2.10) Since we can get the following bound for (2.10): Hence, by replacing the integrand |f | β in the estimate (2.6), we can apply the same arguments for establishing (2.3) in the Step 2 to obtain the bound (2.4), and complete the proof.
Remark 2.12. While we equip the spaces of modelled distributions with Besov norms, we kept the original definition of models, which comes with Hölder type estimates. This seems to be the reason why the reconstruction operator in Theorem 2.11 maps, in general, modelled distributions to generalized functions with a slightly lower Besov regularity, cf. Remark 3.2 in [HL17]. However, to generalize the definition of models to models with Besov type estimates is outside the scope of the present article and left for future research since the Hölder type estimates allow for various Besov type generalizations and the natural choice might depend on the specific application in mind.

Reconstruction theorem for models with local bounds
The original definition of models (recall Definition 2.3) requires the bounds in (2.1) to hold only locally, that means to hold on every compact set. In the light of stochastic integration it seems to be natural to assume global bounds in the definition of models (recall Definition 2.6), see Section 3. However, using the same arguments as in the proof of Theorem 2.11 or of Theorem 3.1 in [HL17], one can obtain the reconstruction theorem for models with local bounds and, consequently, for local Besov spaces of modelled distributions. The only difference is to carry out the arguments on every compact set K ⊂ R d instead of R d . For the rest of this subsection we fix a regularity structures T = (A, T, G) with a model (Π, Γ) in the sense of Definition 2.3. The local Besov spaces are defined in the obvious manner.
• The local Besov space D γ,loc p,q of modelled distributions consists of all functions f : R d → T − γ such that f γ,p,q,K < ∞ for every compact set K ⊂ R d .
• For α < 0 the local Besov space B α,loc p,q is the space of all distributions ξ on R d such that, for every compact set K ⊂ R d , • For α ≥ 0 the local Besov space B α,loc p,q is the space of all distributions ξ on R d such that, for every compact set K ⊂ R d , Based on these local versions of Besov spaces, the reconstruction theorem for modelled distributions with negative regularity reads as follows.
Corollary 2.14. Let T = (A, T, G) be a regularity structures with a model (Π, Γ) in the sense of Definition 2.3.
Furthermore, let R be a reconstruction operator w.r.t. to another model (Π, Γ) in the sense of Definition 2.3 for T = (A, T, G). Then, in both above cases, R and R satisfy the localized version of (2.4) for every compact set K ⊂ R d .
Proof. 1. The reconstruction operator R is constructed as before, see (2.5). In order obtain the reconstruction theorem for local Besov spaces of modelled distribution, the only change in the proof of the convergence, of the bound (2.11) and of continuity with respect to the models (i.e. (2.4)) is to replace the norm · L p with · L p (K) and carry out exactly the same arguments for every compact set K ⊂ R d .
2. In case of positive regularity γ, the reconstruction operator is defined as on page 2603 in [HL17] and again the estimates and arguments as given in the proof of Theorem 3.1 in [HL17] transfer line by line to the setting of local Besov spaces. This observation was already made in the case of Sobolev-Slobodeckij in an early version of the present article and also pointed out for the more general case of Besov spaces in [HL17], see Remark 2.9 in [HL17]. Secondly, let us remark that the assumption that the polynomial regularity is included in the considered regularity structure T = (A, T, G) is not necessary, see also page 2596 in [HL17].

Stochastic integration on spaces of modelled distributions
This section is devoted to prove that the Besov spaces D γ p,q of modelled distributions are UMD Banach spaces and of martingale type 2. These Banach space properties open the door to apply highly developed stochastic integration theory on the spaces D γ p,q . For example one can integrate predictable D γ p,q -valued processes with respect to Brownian motion. One successful application of stochastic integration on Banach spaces lies in the area of stochastic partial differential equations, see e.g. [Brz95] and [vNVW07], which we will discuss in more details in Section 4 below. For a more comprehensive introduction and treatment of stochastic integration on Banach spaces we refer for instance to [Dal15,MR15]. Let (Ω, F, F, P) be a complete filtered probability space, I ⊂ R, F := (F t ) t∈I be an increasing family of sub-σ-algebra of F and X be a Banach space with norm · X . The expectation operator with respect to P is denoted E and the corresponding conditional expectation by E[ · |F t ] for t ∈ I. A process (M t ) t∈I is a X-valued martingale if and only if M t ∈ L 1 (Ω, F t , P; X) for all t ∈ I and E[M t |F s ] = M s P-a.s., for all s, t ∈ I with s ≤ t.
To rely on stochastic integration theory on Banach spaces, one needs to require some additional properties on the Banach space X. The definitions are taken from [Brz95], see Definition 2.1 and Definition B.2 therein.
for some constant C p (X) > 0 independent of the martingale (M n ) n∈N and M −1 := 0.
• A Banach space (X, · X ) if of type p for p ∈ [1, 2] if any finite sequence ǫ 1 , . . . , ǫ n : Ω → {−1, 1} of symmetric and i.i.d. random variables and for any finite sequence x 1 , . . . , x n of elements of X the inequality x i p X holds for some constant K p (X) > 0.
• A Banach space (X, · X ) is called an UMD space or is said to have the unconditional martingale difference property if for any p ∈ (1, ∞), for any martingale difference (ξ j ) j∈N and for any sequence holds for all n ∈ N, whereK p (X) > 0 is some constant.
Let us remark that Hilbert spaces and finite dimensional Banach spaces are always UMD spaces.
Coming back to a regularity structure T = (A, T, G) with an associated model (Π, Γ) and let us assume now additionally that each T α is an UMD space for α ∈ A. Under this assumption the space T − γ = α<γ T α is again an UMD space (Theorem 4.5.2 in [Ama95]) since A is locally finite and T is a finite product of UMD spaces.
Proposition 3.2. Let T = (A, T, G) be a regularity structure with a model (Π, Γ) as in the Definition 2.6. Suppose that γ ∈ R and that the Banach space T α is an UMD space for every α ∈ A. Then, the space D γ p,q is an UMD spaces, too, for 1 < p < ∞ and 1 < q < ∞. If the Banach space T − γ is additionally of type 2, then D γ p,q is of martingale type 2 for every p ≥ 2 and q ≥ 2.
Proof. Since every T α with α ∈ A γ is an UMD space by assumption, by Theorem 4.5.2 in [Ama95] every L p (R d ; T α ) is also an UMD space. Furthermore, let µ be the Borel measure on R defined by the corresponding L q -space L q µ (B(0, 1); L p (R d ; T α )) is again an UMD space for every α ∈ A γ due to Theorem 4.5.2 in [Ama95]. Consequently the finite product space is an UMD space. We will show that D γ p,q is a closed linear subspace in the above product space and then by Theorem 4.5.2 in [Ama95] again we can conclude that D γ p,q is an UMD space.
For this purpose we define for every α ∈ A γ the following mappings where f α is the projection of f onto T α and is an isometry from D γ p,q onto its image in the product space so that we can embed D γ p,q into the above product space as a closed linear subspace. By Theorem 4.5.2 in [Ama95] the space D γ p,q is therefore UMD, too. The previous construction is similar to Lemma A.5 in [Brz95]. Since every UMD space of type 2 is a Banach space of martingale type 2 as shown in Proposition B.4 in [Brz95], one concludes that L p (R d ; T α ) and L q µ (B(0, 1); L p (R d ; T α )) are of martingale type 2 for every p ∈ [2, ∞), q ∈ [2, ∞) and α ∈ A γ , and the same argument as before applies.
We can now formulate and prove our main theorem. Like in the Fubini theorem the order of reconstruction and stochastic integration can be interchanged: Theorem 3.3. Let γ > α 0 := inf A, α 0 / ∈ Z and T = (A, T, G) be a regularity structure together with a model (Π, Γ) as in Definition 2.6 and T α is an UMD space for every α ∈ A. Let (Ω, F, F, P) be a complete filtered probability space and W be Brownian motion on [0, T ] for some T ∈ (0, ∞). Let H be a D γ p,q -valued process for some 1 < p < ∞ and 1 < q < ∞ which is locally L 2 -stochastically integrable with respect to W , then the order of "integration" can be interchanged for every test function ψ ∈ B r with r > |α 0 |. Here (H • W ) stands for the stochastic integral of H with respect to W and R denotes a reconstruction operator for T = (A, T, G) and (Π, Γ). Proof.
Step 1: First we assume that H is an elementary process which can be written as 1 Amn (W t∧tn − W t∧t n−1 ) Rf mn , ψ .
On the other hand, we have which is an real-valued elementary process. Hence, we indeed have Obviously now we obtain (3.1) for all elementary processes H.
Step 2: Now suppose that H is a L 2 -stochastically integrable process. By Theorems 3.5 (Itô isomorphism) and Theorem 3.6 in [vNVW07], there exists a sequence (H n ) n≥1 of elementary processes such that H n → H in L 2 (Ω, P; γ(L 2 ([0, T ], dt); D γ p,q )), where γ(L 2 ([0, T ], dt); D γ p,q ) denotes the space of γ-radonifying operators from the space L 2 ([0, T ], dt) into D γ p,q (see Section 2.2 in [vNVW07]) and Now we choose anᾱ < α 0 with ⌊ᾱ⌋ = ⌊α 0 ⌋. By Theorem 3.1 in [HL17] (for γ > 0) and Theorem 2.11 (for γ < 0) we know that R : D γ p,q → Bᾱ p,q is a continuous linear mapping, which implies that uniformly in t ∈ [0, T ] with respect to the Besov topology on Bᾱ p,q . Since Bᾱ p,q can be embedded in the dual of C r 0 for r ≥ ⌊ᾱ⌋ = ⌊α 0 ⌋, we can derive that in L 2 (Ω; C([0, T ]; R)) for any ψ ∈ B r ⊂ C r 0 . On the other hand, since the operator R and the dual pairing ·, ψ are continuous, the ideal property of γ-radonifying operators (cf. Proposition 2.3 in [vNVW07]) implies that R(H), ψ is L 2 -stochastically integrable with respect to W and which implies that R(H n ), ψ converges to R(H), ψ in L 2 (Ω × [0, T ], P × dt) as n tends to infinity and therefore by Itô isometry we obtain that in L 2 (Ω; C([0, T ]; R)) for any ψ ∈ B r ⊂ C r 0 . Since we have for every n by the result from Step 1, we obtain (3.1) for such H.
Step 3: Now suppose that H is locally L 2 -stochastically integrable with respect to W . A standard localization argument together with the result from Step 2 then provides that (3.1) holds for all such H.
Remark 3.4. It is fairly straightforward to verify with the presented arguments that Proposition 3.2 and Theorem 3.3 still hold if one replaces the space D γ p,q with D γ p,q (K) for a compact set K ⊂ R d . This allows to derive analogue versions of Proposition 3.2 and Theorem 3.3 for the local space D γ,loc p,q . In particular, the space D γ,loc p,q is locally an UMD space and of martingale type 2, which just means that the space D γ p,q appropriately factorized by functions (ψ i ) with vanishing norm satisfies the properties.

Semilinear SPDEs in spaces of modelled distributions
A corner stone of the theory of regularity structures are the existence and uniqueness results for mild solutions of semilinear (stochastic) partial differential equations in spaces of modelled distributions, see Section 7 and 8 in [Hai14]. Hence, in order to get unique mild solutions for singular SPDEs like the KPZ equation or the stochastic quantisation equation, these equations are considered as semilinear (S)PDEs in the space of modelled distributions as opposed to classical function spaces.
Having shown that the Besov spaces of modelled distributions are UMD spaces and of M -type 2, gives us access to the solution theories of SPDEs in these Banach spaces, see e.g. [Brz95,Brz97,vNVW08,BK18], and, consequently, we obtain novel existence and uniqueness results for mild solutions of semilinear SPDEs in spaces of modelled distributions. In the following we briefly illustrate this for SPDEs with finite dimensional noise but we would like to emphasize that the theory of SPDEs in Banach spaces works, of course, also in the case of infinite dimensional noises, cf. [vNVW08,BK18].

Existence and uniqueness of mild solutions
Throughout this section we assume: T = (A, T, G) is a regularity structure with an associated model (Π, Γ) in the sense of Definition 2.6, T − γ = α<γ T α is of M -type 2, each T α is an UMD space for α ∈ A, γ ∈ R + \ N and 2 ≤ p, q < ∞. Recall that the corresponding spaces D γ p,q of modelled distributions are UMD spaces and of M -type 2 by Proposition 3.2. Furthermore, let (Ω, F, F, P) be a complete filtered probability space and W = (W 1 , . . . , W n ) be n-dimensional Brownian motion on [0, T ].
Let us consider the semilinear SPDEs defined in D γ p,q : whereZ is a function taking values in D γ p,q ,B i is a linear (generally unbounded) operator on D γ p,q for i = 1, . . . , n, and −Ã is the infinitesimal generator of an analytic semigroup S(t) = exp(−tÃ) on D γ p,q such that: (H1) There is an M > 0 such that for all λ ≥ 0, (Ã + λI) −1 exists and where I denotes the identity map.
Definition 4.2. A strict solution to the semilinear SPDE (4.1) is a stochastic process Y ∈ Z T (A) satisfying Indeed, it was shown in Proposition 4.2 in [Brz95] that the notion of strict solutions is equivalent to the notion of mild solutions under the above stated conditions. The following corollary is a direct application of Theorem 4.6 in [Brz95] to the SPDE (4.1) in the space of modelled distributions.

Mild solutions -modelled distributions and classical functions
In general, for a (singular) stochastic partial differential equation it is a rather delicate task to find a suitable regularity structure with an appropriate model and to set up the corresponding partial differential equation in the space of modelled distributions.
In this section, we present how semilinear SPDEs defined in classical Besov spaces with positive regularity whose linear parts are induced by infinitesimal generators of a C 0 -semigroup can be lifted to semilinear SPDEs in a suitable space of modelled distributions. As an application of the Fubini type theorem (Theorem 3.3) and the reconstruction operator, we show that it is equivalent to solve the SPDEs in classical Besov spaces or in a certain "abstract" Besov space of modelled distributions.
Let B γ p,q be the Besov space on R d with γ ∈ R + \ N and 1 < p, q < ∞ and thus B γ p,q satisfies the UMD property. Moreover, we suppose that F : B γ p,q → B γ p,q and G i : B γ p,q → B γ p,q , i = 1, . . . , n, are measurable maps, and W = (W 1 , . . . , W n ) is an R n -valued Brownian motion defined on a complete filtered probability space (Ω, F, F, P).
We consider the semilinear SPDE in the classical Besov space and recall that (X t ) t∈[0,T ] is a càdlàg mild solution if it satisfies for all t ∈ [0, T ], and (X t ) t∈[0,T ] has almost surely càdlàg (i.e. right-continuous with left limits) sample paths, where S(t) denotes the C 0 -semigroup of bounded linear operators on B γ p,q generated by the operator −A. Note that the stochastic integral in (4.6) is well-defined since the underlying Banach space B γ p,q satisfies the UMD property. In order to obtain the semilinear SPDE in a space of modelled distributions corresponding to (4.5) we choose the polynomial regularity structure T on R d and the corresponding polynomial model as defined in Examples 2.2 and 2.4. Recall that by Proposition 3.2 the space D γ p,q = D γ p,q (T ) of modelled distributions is an UMD space. Assuming γ > 0, recall that there exists a unique reconstruction operation R acting on D γ p,q , precisely defined in Theorem 3.1 [HL17], cf. Corollary 2.14. Moreover, the reconstruction operator R is continuous isomorphism between D γ p,q and B γ p,q , see Proposition 3.4 in [HL17]. In order to lift the semilinear SPDE (4.5) to an equivalent SPDE in the space of modelled distributions, we introduce the conjugation mapping C R from L(B γ p,q ), the space of all bounded linear operators on B γ p,q , onto L(D γ p,q ), induced by R: Notice that C R is a continuous isomorphism and, by verifying the corresponding definitions, we obtain that: (iii) Let −A be the infinitesimal generator of a C 0 -semigroup S(t) on B γ p,q . Then the resolvent set ρ(−A) of −A is equal to the resolvent set of C R (−A). Moreover, for every λ ∈ ρ(−A), the resolvents R(λ : −A) and R(λ : C R (−A)) satisfies that R(λ : C R (−A)) = C R (R(λ : −A)). The converse also holds true.
Due to these elementary facts and the Fubini type theorem (Theorem 3.3), we can establish the following equivalence result for mild solution of semilinear SPDEs in classical Besov spaces and Besov spaces of modelled distributions, respectively.
Theorem 4.4. Let −A be the infinitesimal generator of a C 0 -semigroup S(t) on B γ p,q . If (X t ) t∈[0,T ] is a càdlàg mild solution to the semilinear SPDE (4.5), then Y t := R −1 (X t ), t ∈ [0, T ], is a càdlàg mild solution to the semilinear SPDE on D γ p,q is a càdlàg mild solution to the semilinear SPDE (4.7) on D γ p,q related to the infinitesimal generator −Ã of a C 0 -semigroup T (t) on D γ p,q , vector fieldsF and G i and initial value Y 0 ∈ D γ p,q , then Proof. We will prove the second part, the first assertion follows by using a similar argument.
Suppose that −Ã is the infinitesimal generator of a C 0 -semigroup T (t) of bounded linear operators on D γ p,q and (Y t ) t∈[0,T ] is a càdlàg mild solution to the SPDE (4.7) associated with vector fieldsF andG i , that is, Let S(t) := C R −1 (T (t)) = R • T (t) • R −1 . As we have checked, it is a C 0 -semigroup of bounded linear operators on B γ p,q with the generator −A = R • (−Ã) • R −1 . For any smooth compactly supported test function ψ, using Theorem 3.3, we deduce that X t := R(Y t ) satisfies the following dynamics (with F = R •F • R −1 , G i = R •G i • R −1 and X 0 = R(Y 0 )): Since the dual pairing ·, ψ with respect to a test function ψ is a continuous linear functional on B γ p,q , the above observation ensures that X t satisfies that where t 0 S(t − s)G i (X s ) dW i s is the stochastic integral defined on the UMD space B γ p,q . Since the above equation holds for any test function ψ and (Y t ) t∈[0,T ] is càdlàg, we indeed have which shows that (X t ) t∈[0,T ] is a càdlàg mild solution to the SPDE (4.5).

Strict solutions -modelled distributions and classical functions
Coming back to the semilinear SPDE (4.1), an equivalence result analogously to Theorem 4.4 holds also for strict solutions of semilinear SPDEs in classical Besov spaces and Besov spaces of modelled distributions, respectively. In this subsection we again work with the polynomial regularity structure and keep the setting of Subsection 4.2.
For simplicity, we consider the Besov space B γ p,2 (R d ) with γ > 0, 2 ≤ p < ∞ and the semilinear SPDEs defined in B γ p,2 (R d ): where Z is a function taking values in B γ p,2 (R d ), B i is a linear (generally unbounded) operator for i = 1, . . . , n, and −Ã is the infinitesimal generator of an analytic semigroup S(t) = exp(−tÃ) on B γ p,2 (R d ) satisfying (H1) and (H2). Note that B γ p,2 (R d ) is a Banach space having the M -type 2 and UMD properties, see Corollary A.6 in [Brz95]. All the ingredients fulfill analogous conditions as stated in Subsection 4.1 or [Brz95], respectively.
We will show that if (X t ) t∈[0,T ] is a strict solution to the SPDE (4.8) on B γ p,2 , then Y t := R −1 X t , t ∈ [0, T ], is a strict solution to SPDE (4.1) on D γ p,2 of the form To this end, let us first check thatÃ,Z andB i satisfy the same properties on D γ p,2 as for A, f and B i on B γ p,2 . First notice that, if Z satisfies that t 0 |Z s | 2 ds < ∞, then the boundedness of R −1 will ensure thatZ = R −1 Z is also square integrable.
Now we are in the position to prove the following result: Proposition 4.5. Let A, f and B i , i = 1, . . . , n, be defined on B γ p,2 and satisfy all above conditions listed in Subsection 4.1. LetÃ,f andB i , i = 1, . . . , n, be defined as above. Then, X ∈ Z T (A) is a strict solution to semilinear SPDE (4.8) associated with (A, f, (B i )) if and only if Y := R −1 X ∈ Z T (Ã) is a strict solution to semilinear SPDE (4.9) on D γ p,2 associated with (Ã,f , (B i )).
Proof. Let X ∈ Z T (A) be a strict solution to problem (4.8) associated with (A, f, (B i )). Then as we have shown, R −1 X takes values in Z T (Ã). By Theorem 4.4, it holds that R −1 X is a mild solution to problem (4.9) on D γ p,2 associated with (Ã,f , (B i )). Since we have checked that (Ã,f , (B i )) satisfy all conditions listed in [Brz95] on the modelled distribution space D γ p,2 as the conditions fulfilled by (A, f, (B i )) on the Besov space B γ p,2 , using Proposition 4.2 in [Brz95] we can conclude that R −1 X is also a strict solution to problem (4.9) on D γ p,2 associated with (Ã,f , (B i )). The converse can be proved by using the same reasoning, just by noticing 5 Distribution-valued Itô stochastic differential equations As a toy example of distribution-valued stochastic differential equations, we consider for ϕ ∈ C β (K) with β > 0 and ξ ∈ C α (K) with α < 0 satisfying α + β > 0, where K ⊂ R d is a compact set and W = (W t ) t∈[0,T ] is a Brownian motion. Recall that C β (K) := B β ∞,∞ (K) stands for the usual space of β-Hölder continuous functions restricted to the compact set K. The product mapping · denotes the continuous bilinear map from C α (K) × C β (K) into C α (K) which continuously extends the classical product of smooth functions (f, g) → f g, see e.g. [Hai14,Proposition 4.14].
While the linear SDE (5.1) might look rather simple at the first glimpse, neither an approach based on stochastic integration nor a rough path based approach directly provides an existence and uniqueness result for (5.1). Indeed, since C α (K) is neither an UMD Banach space nor of martingale type 2, the Itô integral · 0 (Y t · ϕ) dW t is not defined via classical stochastic integration theory (e.g. [vNVW07]). To overcome, this issue one could embed the Hölder space C α (K) into a suitable Sobolev space and consider (5.1) as an equation on Soblev spaces. However, in this way the obtained solution a priori has not optimal regularity in space, which is expected to be C α (K) for each t. Alternatively, we may interpret equation (5.1) as an random rough differential equation (RRDE) with respect to the Itô rough path W = (W, W) with W i,j s,t = t s (W i r − W i s ) dW j r being the Itô integral. However, since the underlying vector field η → ϕ · η is a bounded linear mapping, we can only conclude that there exists a unique local solution to the RRDE (5.1) by using classical rough path theory (e.g. [FH14,Chapter 8]). In fact, global existence and uniqueness results for rough differential equations (RDEs) with linear vector fields are a delicate challenge. Let us mention that linear RDEs have been considered by several authors since they are an essential tool for studying the derivative of the Itô map and its flow properties. In particular, [Lyo98] shows that linear RDEs driven by geometric rough paths admit global unique solutions, but not covering non-geometric rough paths like Itô rough paths. A similar result can be found in [FV10] for linear RDEs driven by weakly geometric rough paths in finite dimension. For further results in this direction and references, see, e.g., [Lej09].
In the following we provide a unique global solution for the stochastic differential equation (5.1) with optimal Hölder regularity in space based on a "mixed" approach using regularity structures and stochastic integration in UMD Banach spaces.
As a first step, we formulate a differential equation, corresponding to the SDE (5.1), on the space of modelled distributions for a specific regularity structure. This relies on the observation that the product mapping · from C α × C β into C α can be constructed in an elegant way via regularity structures, see Proposition 4.14 in [Hai14]. Following the construction in the proof of Proposition 4.14 in [Hai14], we build a regularity structure T ξ = (A, T, G) such that • T = V ⊕ U , where V = T d is the canonical polynomial model space (see Example 2.2) spanned by monomials X k , k ∈ N d , and U is isomorphic to V but with canonical basis ΞX k , • G is the canonical structure group for the polynomial model space T d .
Let R ξ be the reconstruction operator in [HL17, Theorem 3.1] defined on space of modelled distributions D γ p,q = D γ p,q (T ξ ) for γ > 0, p, q ∈ [1, ∞]. Since the constant map Ξ belongs to D γ ∞,∞ for all γ > 0 and Π ξ x (Ξ) = ξ holds for all x ∈ R d , the uniqueness property of R ξ implies that R ξ (Ξ) = ξ. Finally, by Proposition 3.4 in [HL17] or [Hai14, (2.6)] there exists ã ϕ ∈ D β ∞,∞ such that R ξ (φ) = ϕ. The counterpart of (5.1) on the space of modelled distributions is dZ t = (Z t * φ) dW t , Z 0 = Ξ, t ∈ [0, T ]. (5.2) In a similar spirit as for the semilinear SPDEs of Section 4, we first obtain a unique global solution Z using stochastic integration on the space of modelled distributions. Applying the reconstruction theorem and the Fubini type theorem (Theorem 3.3) we deduce the existence of a unique global solution Y of the stochastic differential equation (5.1).
Next let us consider the process Y t := R ξ (Z t ). By the reconstruction theorem ([Hai14, Theorem 3.10]), Y t is uniquely determined by Z t and takes values in C α (R d ). Moreover, by the Itô's formula for rough path integration applied to the bounded linear mapping R ξ , see Proposition 5.6 in [FH14], one has that Y t , t ∈ [0, t 1 ) satisfies (5.3) Step 2 : In this step we will show that Y t = R ξ (Z t ) solves the stochastic differential equation (5.1), as long as Z t is a solution to (5.2). In view of equation (5.3), it suffices to show that for each t such that Z t is well-defined, one has R ξ (Z t * φ) = R ξ (Z t ) · ϕ = Y t · ϕ.
Let us first recall how the product · is constructed via regularity structures. In view of Proposition 4.14 in [Hai14], for each R ξ (Z t ) =: ξ t ∈ C α (R d ) we denote by Ξ t the formal basis of the level-α space of the regularity structure (T ξt , (Π ξt , Γ)) which is defined exactly as (T ξ , (Π ξ , Γ)) by replacing Ξ through Ξ t , then it holds that where R ξt is the reconstruction operator associated with (T ξt , (Π ξt , Γ)). Now we need to check that R ξ (Z t * φ) = R ξt (Ξ t * φ) for all t ∈ [0, T ].