<\body> <\hide-preamble> > > > > > > > > > > \; \; \; \; \; |Furlan>|<\author-affiliation> CEREMADE PSL-Université Paris Dauphine, France |>>|Gubinelli>|<\author-affiliation> IAM & HCM Universität Bonn, Germany |<\author-email> gubinelli@iam.uni-bonn.de >>> > We show how to renormalise a class of general quasilinear equations of which one of the simplest examples is the following parabolic SPDE: <\equation> \u-a|)>\u=\,u=u,x\\,t\0, with \,1|]>> for\0> a uniformly bounded > diffusion coefficient, and |a>|\<\|\|\>>>>\1> for ,3>. We assume that \\-2>|)>> with \\1> where >|)>> is the Besov space >,\>|)>>. This would apply for example to the space white noise on >. In this case we only expect that |)>\>|)>> and the term |)>|)>\u|)>> is not well defined when -2\0>. Eq. is a quasilinear generalisation of the two\Udimensional periodic parabolic Anderson model (PAM). Let us remark from the beginning that the framework developed in this paper allows to deal with a class of equations of the form <\equation> a|)>\u-a|)>\u=\|)>,t,x|)>,x\\,t\0, where ,a> are sufficiently smooth non-degenerate coefficients and > is a Gaussian process with covariance <\equation*> \\,t,x|)>|]>=F|)>Q,x-x|)>,x,x\\,t,t,z,z\\, with a smooth function and a distribution of parabolic regularity \-4/3>. This includes as a special case the space white noise discussed before, but we could consider a time white noise with a regular dependence on the space variable, or some noise which is mildly irregular in space and time. Moreover, the scalar character of the equation or of the non-linear diffusion coefficient will not play any specific role and we could consider vector\Uvalued equations with general diffusion coefficients, provided the template problem below is uniformly parabolic.\ For the sake of clarity and simplicity we will discuss mainly the basic example since this contains already most of the technical difficulties. The fact that one can handle models as general as can be seen as a direct byproduct of the techniques we will introduce below. Let us state one simple result that can be obtained via the theory developed in this paper: <\theorem> Fix \\1>. Let \-2>|)>> be a space white noise with zero average on the torus, \>> an initial condition and \,1|]>> for some \0>, C|)>> and |a>|\<\|\|\>>>>\1> k\0,\,3>. Let >,u>|)>\0>> be a family of smooth approximations of ,u> obtained by convolution with a rescaled smoothing kernel and >> the classical solution to the Cauchy problem <\equation> \u>-a>|)>\u>=\>+\>>|)>|a>|)>>,u=u>. Then we can choose a sequence of constants >|)>\0>> and a random time 0> in such a way that the family of r.v. >|)>\0>\>|)>> converges almost surely as \0> to a random element >|)>>, where >> is the parabolic space ,>|)>|)>\C/2>,|)>|)>>.\ This element can be characterised as the solution to a paracontrolled singular SPDE (see below for more details). In order to devise a suitable formulation of eq. and obtain a theory with >> we decompose the non-linear diffusion term in the l.h.s. with the help of Bony's paraproduct and write <\equation> \u-a\\u=\+\ with <\equation> \\a\\u+a\\u where ,\> are standard paraproducts and > denotes the resonant product (see Appendix for the definitions). In the l.h.s. is always well defined, irrespectively of the regularity of the function , and the problem becomes that of controlling the resonant product \\u> appearing in the r.h.s.. A key point of the analysis put forward below is that this term can be expected to be of regularity -2\\-2>, better than the leading term \-2>>. Our approach can be described as follows. For an equation of the form <\equation*> \u-a\u=a\, we consider at first a \Ptemplate\Q problem with constant coefficients ,\> <\equation> \\,t,x|)>-\\\,t,x|)>=\\ where now =,\|)>> is a fixed vector in >. A paraproduct >> will allow us to modulate the parametric solution |)>> with the quantity =,a|)>> in order to capture the most irregular part of the solution itself. As a consequence, the paracontrolled Ansatz <\equation*> u=\>,\|)>+u> will define a regular remainder term >> which solves a standard PDE. With this decomposition the resonant products appearing in eq. can be estimated along the lines of the standard paracontrolled arguments introduced in, and all the arguments introduced there can be extended in a straightforward manner to the quasilinear setting.\ \; Recently Otto and Weber and Bailleul, Debussche and Hofmanová investigated quasilinear SPDEs in the context of pathwise methods and in a range of regularities compatible with the ones we will consider in this paper. <\itemize-dot> In the authors obtained a local well-posedness result for equations of the form <\equation*> \u-a\u=f|)>\,\\ where both space and time variables take values in a one dimensional periodic domain and their noise can be white in time but colored in space, essentially behaving like a distribution of parabolic regularity in >. In order to do that they introduce a specific notion of function and related estimates. \ \ \ \ Bailleul, Debussche and Hofmanová in obtain local well-posedness for the generalised parabolic Anderson model equation <\equation> \u-a|)>\u=g|)>\t\0,x\\. The authors obtain the same result as the one presented in Section of our work, without the machinery of nonlinear paraproducts introduced here, but using only the basic tools of paracontrolled analysis and some clever transformations.\ Let us comment a bit on relations of our results with those contained in these two papers. <\itemize-dot> The controlled Ansatz of Otto and Weber is the main source of inspiration for the present work. We think that it is a very deep and fundamental observation which is quite orthogonal to the development of an alternative theory for singular SPDEs which is the main aim of their work. Our paper shows that this idea survives outside their specific methodology, in particular that Safanov's approach to Schauder estimates is not necessary to handle quasilinear equations, and a relatively straightfoward extension of the paracontrolled approach is sufficient to encompass in a compact manner the results on quasilinear equations contained in their paper. \ While the approach of Bailleul, Debussche and Hofmanová is more straightforward than ours, it has fundamental limitations. In particular we remark that the generalization of to matrix-valued diffusion coefficients |)>>, namely to equations of the form\ <\equation> \u-a|)>|\ x*\ x>u=g|)>\,t\0,x\\, is out of reach of the techniques used in, while can be treated directly in our framework and by Otto and Weber's approach. Another interesting observation we make in the present work is that the parametric Ansatz can pervade without problems all the coefficients of the equation. In particular we can allow very general noise terms whose law itself depends on the solutions of the equation. This is one of the main novelties of this paper, not present in other works on singular SPDEs. See eq. above and Section below for a detailed explanation of this case. Let us mention that Otto and Weber's parametric Ansatz has predecessors in the theory of rough paths and in standard stochastic analysis. Non\Ulinear versions of rough paths have been considered by one of the authors in order to study the Korteweg\Ude Vries equation. Non\Ulinear Young integrals were used by one of the authors in joint work with Catellier to study the the regularising properties of sample paths of stochastic processes. See also the related work of Hu and Le on differential systems in Hölder media. Relevant to this discussion of non-linear variants of rough paths is the work of Bailleul on rough flows and their application to homogeneisation. By looking at the composition |)>> as the action of the distribution >> on the function , non\Ulinear constructions can be linearised at the price of working in infinite\Udimensional spaces: this is the approach chosen by Kelly and Melbourne to avoid non\Ulinear generalisations of rough path theory in their study of homogeneisation of fast\Uslow system with random initial conditions. It is also worth mentioning Kunita's theory of semimartingale vector fields, which occupies a place in stochastic analysis quite similar to that occupied by these recent developments in the landscape of rough paths/paracontrolled distributions theories. A non\Ulinear generalisation of the classic bilinear paraproducts already appeared in the notion of introduced by Alinhac. \; Usefulness of paraproducts in the analysis of non-linear PDEs is by now well established: see for example the seminal paper of Meyer, the early review of Bony, the recent books of Alinhac and Gérard and Bahouri, Chemin, and Danchin. Let us mention also the interesting paper of Hörmander where paradifferential operators allow to bypass the Nash\UMoser fixpoint theorem in some applications \ where the loss of regularity prevents straightforward use of standard Banach fixpoint theorem. The main observation in that paper is that, with the aid of paradifferential operators, it is possible to identify a \Pcorrected\Q problem for which standard Banach fixpoint applies. Paracontrolled calculus for singular SPDEs has beed introduced by Gubinelli, Imkeller and Perkowski (see also the lecture notes) and used to study various equations like the KPZ equation, the dynamic > model in and its global well\Uposedness, the spectrum of the continuous Anderson Hamiltonian in . By using heat\Usemigroup techniques paracontrolled calculus has been extended to the manifold context by Bailleul and Bernicot.\ Paracontrolled calculus is currently limited to \Pfirst order\Q computations. This limitation is also ubiquitous in the present work. Even if, in practice, this is not a big issue, and the calculus is still able to deal with a large class of problems, it makes the paracontrolled approach less appealing for a general theory of singular SPDEs. Let us remark that recently Bailleul and Bernicot developed an higher order version of the paracontrolled calculus. However, apart from these recent development, whose impact is still to be assessed, the most general theory for singular SPDEs has been developed by Hairer under the name of theory. Regularity structures are a vast generalisation of Lyons' rough paths which give effective tools to describe non-linear operations acting on certain spaces of distributions, their renormalization by subtraction of local singularities and their use to solve singular SPDEs. Regularity structures have been successfully applied to all the models mentioned so far, to other models like the Sine\UGordon model (which however can also be handled via paracontrolled techniques) and to study weak universality conjectures. In their current instantiation it does not seem possible to solve quasilinear SPDEs via regularity structures. The results of the present paper hint to the fact that a non-linear version of regularity structures is conceivable, at least in principle. Indeed one can imagine models depending on additional parameters and modelled distributions acting as evaluations of the parametric models at certain space\Utime dependent values of the parameters. It would be interesting to pursue further this intuition. \; The structure of the paper is the following. In Section we introduce our basic tools: the non-linear paraproduct decomposition and some related commutation lemmas. In Section we introduce the paracontrolled Ansatz which allows to transform the singular problem into a well\Ubehaved PDE. In Section we discuss a-priori estimates, the uniqueness of the solution of the transformed PDE and its continuity w.r.t. the random data and the initial condition. We also introduce the algebraic structure which allows to renormalise the model. Section deals with the renormalization of the stochastic data and the construction of the enhanced noise associated to white noise. Section deals with the extension of the results to the more general equation. In Section we develop a paracontrolled structure for equation and define its renormalised enhanced noise. Finally, in Appendix we review some reference material on Besov spaces and linear paraproducts, and prove some technical lemmas. \; We will denote as >\B>,\>|)>> the Zygmund space of regularity \\> on the torus >. See Appendix for the definition of the general Besov spaces >>, the Littlewoord\UPaley operators |)>-1>> and the basic properties thereof needed in this paper. If is a Banach space and 0>, we denote >V> the space of >\UHölder functions in V\C;V|)>>. We introduce parabolic spaces >\C/2>\C>> with norm <\equation> |f|\<\|\|\>>>>=|f|\<\|\|\>>/2>>+|f|\<\|\|\>>>>. Moreover for convenience we denote >\C>>. We will avoid to write explicitly the time span whenever this does not cause ambiguities. We will need also spaces for functions of ,t,x|)>> where > is an additional parameter in ,1|]>> for \> which we denote >V> with the norm\ <\equation> |F|\<\|\|\>>>V>= sup\,1|]>> sup,k>|\>F,\|)>|\<\|\|\>>, where is a Banach space of functions on \\>: in our case >> or >>. We will denote by =2K|)>> the kernel of the Littlewood\UPaley operator > and =Q=2Q|)>> a smoothing kernel at scale > in the time direction where is a smooth, positive function with compact support in > and mass . We introduce also the shortcut =Ki-1,x>=i-1>K>. Another notation shortcut widely used in this article is to write > for integrals on > or > with respect to the measures x> and y> without specifying the integration bounds, whenever this does not create ambiguity. Finally, we will note f=f-f> and > f=f+\-f|)>> for \>. In this section we introduce nonlinear paraproduct and some related results that will be used in Section to analyse equation. Let \\\\>, and \\\\\> be smooth functions. We can decompose the composition |)>,\|)>> via paraproducts as follows. Define\ <\eqnarray*> >>|>|PKh,t,z|)>>>|>>|>|q>KKh,t,z|)>>>|>>|>|KPh,t,y|)> .>>>> This gives a map\ <\equation> \\\>\\>+\>+\>=h|)>,\|)> that can be uniquely extended to <\equation*> \>:>\C>>\\\>\\,\\\,\\+\\0, thanks to the following bounds: <\lemma> Let >> for some \>, ,1|]>>, and C>>> for any \\>. Then <\equation*> |\>|\<\|\|\>>>>\|h|\<\|\|\>>>>>,|\>|\<\|\|\>>\+\|)>>>\|g|\<\|\|\>>>>|h|\<\|\|\>>>>>, and <\eqnarray*> |\>,h|)>-\>,h|)>|\<\|\|\>>>>>|>||g-g|\<\|\|\>>L>>|h|\<\|\|\>>>>>,>>||\>,h|)>-\>,h|)>|\<\|\|\>>\+\|)>>>>|>||g-g|\<\|\|\>> L>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|h|\<\|\|\>>>>>>>||||g-g|\<\|\|\>>>>|h|\<\|\|\>>>>> \ .>>>> Moreover if +\\0> we have also <\eqnarray*> |\>|\<\|\|\>>+\>>>|>||h|\<\|\|\>>>>>|g|\<\|\|\>>>>,>>||\>,h|)>-\>,h|)>|\<\|\|\>>+\>>>|>||g-g|\<\|\|\>> L>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|h|\<\|\|\>>>>>>>||||g-g|\<\|\|\>>>>|h|\<\|\|\>>>>> \ .>>>> In particular if +\\0> the composition >=h|)>,\|)>> is linear in and locally Lipshitz in : <\eqnarray*> |\>|\<\|\|\>>>>>|>||h|\<\|\|\>>>>>|g|\<\|\|\>>>>,>>||\>,h|)>-\>,h|)>|\<\|\|\>>>>>|>||g-g|\<\|\|\>>>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|h|\<\|\|\>>>>>.>>>> <\proof> Using the fact that <\eqnarray*> |\h,t,\|)>|\<\|\|\>>>>>|>|k>|h|\<\|\|\>>>>>,>>||\h,t,\|)>-\h|)>,t,\|)>|\<\|\|\>>>>>|>|k>|h|\<\|\|\>>>>>|g|\<\|\|\>> >>|\|>>,>>>> and <\equation*> |\h,t,\|)>-\h,t,\|)>|\<\|\|\>>>>\2k>|h|\<\|\|\>>>>>|g-g|\<\|\|\>> L>>, we obtain the bounds on >>, >>, >> and >,h|)>-\>,h|)>>. We proceed to estimate the term >,h|)>-\>,h|)>>. We will use the following notation for brevity: <\equation*> \g:=g-gand\> g:=g+\*-g|)>. Then <\eqnarray*> ||KP,t,y|)>-h,t,y|)>|]>|\|>>>|||\>KP>h> g ,t,y|)>\g-\>h> g ,t,y|)>\g|]>|\|>>>||>|,\\>KP\>h>> g|)> ,t,y|)>g-\g|)>\g|\|>>>|||\>KP\>h> g ,t,y|)>g-\g|)>|\|>>>||>||g-g|\<\|\|\>> L>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|h|\<\|\|\>>>C>> 2 k>k-1>2 q>>>||||g-g|\<\|\|\>>>> |h|\<\|\|\>>>C>> \ 2 \ k>k-1>2 q> .>>>> With the same reasoning we can bound the norm of >,h|)>-\>,h|)>>. We will need the following time-smoothed nonlinear paraproduct <\equation> \>\QPh,t,\|)>|)>, with C>|)>> a kernel with total mass as specified in the introduction, and \2Q|)>>. In we use the convention that a continuous function g> on > is extended to > by defining =g> for 0>. This preserves the Hölder norms of index in >. The modified nonlinear paraproduct enjoys similar bounds to the regular one. <\lemma> Let CL>>, ,1|]>> and C>>> for \>. Then <\equation*> |\>|\<\|\|\>>>>\|h|\<\|\|\>>>>>and|\>|\<\|\|\>>>>\|h|\<\|\|\>>>>>. Moreover, >> is linear in and: <\eqnarray*> |\>,h|)>-\>,h|)>|\<\|\|\>>>>>|>||g-g|\<\|\|\>> L>>|h|\<\|\|\>>>>>,>>||\>,h|)>-\>,h|)>|\<\|\|\>>>>>|>||g-g|\<\|\|\>> L>>|h|\<\|\|\>>>>>.>>>> <\proof> The norm|\>|\<\|\|\>>>>> can be treated in the same way as in Lemma. We estimate|\>|\<\|\|\>>/2>>> as follows: <\eqnarray*> |||\\>|)>-\\>|)>|\<\|\|\>>>>>>||>|Kj>Q>Ph,t,z|)>-\h,t,z|)>|]>|\|>>>|||Kj>>-Q>|]>P\h,t,z|)>|\|>>>||>||h,t,\|)>-h,t,\|)>|\<\|\|\>>>>+-t|\|>/2>|h|\<\|\|\>>>>>.>>>> The second inequality can be obtained easily with the same techniques used so far. <\remark> Using the Fourier support properties of the kernel |)>> it is easy to see that it has mass , i.e. P=1> x\\,q\\>. Then the paraproducts and can be written as follows for a constant smooth function =>>, \\\\>: <\eqnarray*> >>,h|)>>||>,t,x|)>=\>>,h|)>,>>|>>,h|)>>||>,t,x|)>.>>>> The next technical ingredient is a commutator lemma between the non-linear paraproduct of and the standard resonant product. Since it will be needed below to analyse a term of the form >\\\>>, we will specialise our discussion to this specific structure. Notice that in the following the various space\Utime operators act pointwise in the parameter >, in the sense that, for example: <\equation*> \h|)>,t,x|)>=,t,\|)>\\h,t,\|)>|)>. <\lemma> Define :C>,\|)>\C>C>,\|)>\C>,\|)>> by <\equation*> \\>\\\>|]>-\>\h|)>. Then for all \ \>, \\>, \0> such that -2+\-\\0> and ,1|]>>, we have\ <\eqnarray*> |\|\<\|\|\>>-2+\-\>>>|>||g|\<\|\|\>>>>|h|\<\|\|\>>>>>,>>||\,h|)>-\,h|)>|\<\|\|\>>-2+\-\>>>|>||g-g|\<\|\|\>> L>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|h|\<\|\|\>>>>>>>||||g-g|\<\|\|\>>>>|h|\<\|\|\>>>>> .>>>> As a consequence > can be uniquely extended to a locally Lipshitz function <\equation*> \:>\C>>\-2+\-\>. <\proof> Let \\>\\\>> . We can approximate > with its value for a fixed >, to obtain\ <\eqnarray*> A>||K>\\\>|)>>>|||K>,h|)>\\\>,h|)>|)>>>|||K>-\>,h|)>|)>\\\>,h|)>|)>>>|||K>\\>-\>,h|)>|)>|)>.>>>> with the remainders and . To estimate the first term notice that <\equation*> \\>,h|)>|]>=\\>,\h|)> and that, by Remark <\eqnarray*> \>,h|)>>||>K|)>\>,h|)>|)>>>|||>K|)>h,t,z|)>>>|||h,t,\|)>.>>>> This yields <\eqnarray*> ||>,h|)>\\\>,h|)>|)>=j>\\>,h|)>>>|||j>\h,t,\|)>\h,t,\|)>|]>=\>\h|)>.>>>> We proceed then to estimate and . We obtain <\equation*> >K>>-\>,h|)>|)>\\\>,h|)>|]> <\equation*> =>K>j\q>>\>-\\>,h|)>|)>\\\>,h|)>. Using Lemma we have <\equation*> \\>,h|)>|\|>\2|)>j>|h|\<\|\|\>>>>> . Lemma gives\ <\equation*> >-\>,h|)>|)>|\|>\2+\-\|)>i>|g|\<\|\|\>>>>|h|\<\|\|\>>>>>> , and thus is bounded by +\-2-\|)>q>>|g|\<\|\|\>>>>|h|\<\|\|\>>>>>>. We can easily bound in the same way, and this proves the first inequality. For the second inequality, Lemma yields <\equation*> \\>,h|)>-\\\>,h|)>|\|>\2|)>j>|g-g|\<\|\|\>> L>>|h|\<\|\|\>>>>>, and using the second inequality of Lemma we obtain the desired bound. The extension of > to >\C>>> is standard (see e.g. the proof of the commutator lemma in, Lemma2.4). <\lemma> Let us introduce the shortcut notation <\equation*> \\\\>-\\>,h|)>. Then, with the same assumptions of Lemma, we have <\equation*> |\|>\2-\-\|)>i>|g|\<\|\|\>>>>|h|\<\|\|\>>>>>> and\ <\equation*> ,h|)>-\,h|)>|\|> <\equation*> \2-\-\|)>i>|g-g|\<\|\|\>>>>|h|\<\|\|\>>>>>|\>|+|g-g|\<\|\|\>>L>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|h|\<\|\|\>>>>>|]> <\proof> \; <\eqnarray*> ||\>-\\>,h|)>|]>>>|||i|>>>>>KQP\>\h> g,t,x|)>g+\g|)>>>||>|i|>>>>>QP|\|>|\>\h|\<\|\|\>>L>>-\|)>/2>|g|\<\|\|\>>/2-\/2>L>>>>|||i|>>>>>QP|\|>|\>\h|\<\|\|\>>L>>|g|\<\|\|\>>>>>>||>|-\|)>i>2i>|\>h|\<\|\|\>>>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>>>>> where we used the notation g=g-g>, > g=g+\-g|)>> and Lemma. This proves the first bound. The second inequality can be obtained in the same way with the techniques already used here and in Lemma. In this section we construct an approximate solution to the equation <\equation> -g\\|)>u=f,u|)>=0, with data -2>> and >>, for some fixed ,\\>. The idea is to obtain it via a certain class of paradifferential operators. We introduce the operator > acting on functions of,t,x|)>> by <\equation> U|)>,t,x|)>\\U,t,x|)>-\\U,t,x|)>. We will also use the notation >\\-\\>. \ Observe that if does not depend on > we can define\ <\equation> \>|)>u\\>u|)> and from definition with u> we obtain >|)>u=\u-g\\u>.\ We can describe the commutation between the differential operator > and the paraproduct >|)>> via the following estimate:\ <\lemma> Let \>, \\>. Let C>>> and >> such that ,1|]>>. Define <\equation*> \\R+R with > and > as in ,. Then for every \0> \; <\equation> |\|\<\|\|\>>+\-2-\>>\|g|\<\|\|\>> L>>|)>|g|\<\|\|\>>>>|U|\<\|\|\>>>>>> . Moreover, > is linear in and <\equation*> |\,U|)>-\,U|)>|\<\|\|\>>+\-2-\>>\|g-g|\<\|\|\>>>>|g|\<\|\|\>>>>+|g|\<\|\|\>>>>|)>|U|\<\|\|\>>>>>> . In particular, we have\ <\equation> \=\>U|)>-\>|)>\>\C+\-2-\> whenever this expression makes sense. <\proof> We start considering C>,\|)>> and C>C>,\|)>>, and prove> in this setting. Notice that >,>U|)>=U|)>>. As a consequence, we can estimate <\eqnarray*> ||>U|)>-\>\>|)>>>|||>U|)>-P>\\>|)>>>|||>U|)>-P\\>|)>>>|||Pg\\>|)>>>|||>U-\U|)>>>|||Pg\>U|)>|)>>>|||Pg,\>|)>|]>U|)>>>|||P,\>|)>|]>U|)>>>>> with the commutators <\eqnarray*> ,\>|)>|]>U>|>|\>-\>U|)>,>>|,\>|)>|]>U>|>|\\>-\\>U|)>.>>>> We have\ <\equation*> \>U-\U|)>+Pg\>U|)>|)>=R with the definition\ <\equation*> R\ <\equation> ,s>>>PKP|)>Q-g|)>|]>\\U|)>,t,z|)> and\ <\equation*> P,\>|)>|]>U|)>-,\>|)>|]>U|)>|]>=R with the definition <\equation*> R\,s>PKQg\P|)>\U|)>,t,z|)> <\equation*> +2,s>PKQg\P|)>\\U|)>,t,z|)> <\equation> -,s>PK\QP|)>\U|)>,t,z|)>. \; Indeed: <\eqnarray*> ,\>|)>|]>U|)>>||Q|)>PU,t,x|)>|)>,>>|,\>|)>|]>U|)>>||Q\PU,t,x|)>|)>>>|||Q\P\U,t,x|)>|)>.>>>> This shows that > holds for smooth functions.\ With the techniques used in Lemma we can estimate\ <\equation*> R|\|>\q>-\|)>k>|g|\<\|\|\>>/2>>+2*k>|g|\<\|\|\>>>>|)>2|)>k>|U|\<\|\|\>>>>> . By the spectral support properties of the commutators we have that <\equation*> |,\>|)>|]>U|\<\|\|\>>+\-2>>\|g|\<\|\|\>>>>|U|\<\|\|\>>>>> , and <\equation*> |\,\>|)>|]>U|\<\|\|\>>L>>\-\-\|)>q>|g|\<\|\|\>>/2>>+2-\|)>q>|g|\<\|\|\>>>>|)>|U|\<\|\|\>>>>> . This yields <\equation*> |R|\<\|\|\>>+\-2-\>>\|g|\<\|\|\>>L>>|)>|g|\<\|\|\>>>>|U|\<\|\|\>>>>> . We have so far proved and then follows by continuity. The local Lipshitz dependence on can be obtained via similar computations. <\remark> If does not depend on > we consider the parametric problem <\equation> -\\|)>U,t|)>=f,U,0|)>=0,\\,1|]>, which is solved by <\equation*> U,t|)>=e\>f\s. Remark that\ <\eqnarray*> >U,t|)>>||e\>\f\sand>>|>U,t|)>>||e\>\f\s.>>>> We have, thanks to the well-known Schauder estimates of Lemma (since \\>):\ <\equation> |U|\<\|\|\>>>>>\sup sup\,1|]>>|\>U|)>|\<\|\|\>>>>\|f|\<\|\|\>>-2>> We define then <\equation> u\\>|)> and observe that > is an approximate solution of equation, indeed <\eqnarray*> -g\\|)>u>||>\>|)>|)>=\>U|)>-\|)>>>||||)>>>>> and the estimation in Lemma together with the bound yield immediately the following inequality: <\equation> |\|)>|\<\|\|\>>+\-2-\>>\|g|\<\|\|\>>>>|g|\<\|\|\>>L>>|)>|f|\<\|\|\>>-2>> . > In order to give a meaning to the PDE in with initial condition \>>, our initial goal will be to get informations on solutions =\> of the equation <\equation*> \\-g\\\=\, for a fixed >>, \\1>, ,1|]>>. Using the results of Section, we consider to this effect the parametric problem <\equation*> -\\|)>\,t|)>=\, for \,1|]>>. We will consider the stationary solution of this problem which has the form <\equation> \,x|)>=>e\s> \ \s=\|)>\ and in order for to be well defined we impose that the noise > has zero mean on > (this is a simplifying assumption which can be easily removed, e.g. at the price of adding a linear term to the equation). We can control by bounding its Littlewood-Paley blocks with a Bernstein lemma for distributions with compactly supported Fourier transform (, Lemma2.1) to obtain: <\equation> |\|\<\|\|\>>>>>=|\|\<\|\|\>>>>>\|\|\<\|\|\>>-2>> .\ We define now for every > <\equation*> \\\>,\|)>. Thanks to Lemma we have the bound |\|\<\|\|\>>>>>\|\|\<\|\|\>>>>>>\|\|\<\|\|\>>-2>>> . We observe that this definition together with Lemma gives <\equation*> \\-a\\\=\-\,\|)> with |\,\|)>|\<\|\|\>>-2-\>>\|a|\<\|\|\>>>>|\|\<\|\|\>>-2>>> . We expect then ,\|)>> to be bounded in -2-\>> for any \0>. At this point let us introduce the Ansatz <\equation> u=\+u> . <\remark> Notice that we are not making any assumption on the existence of such, which is the subject of Section. Our aim here is to find the equation that a couple >|)>\>\>> verifying must solve, in order for to solve . Observe that <\eqnarray*> u-a\\u>||-a\\|)>\+-a\\|)>u>>>|||+-a\\|)>u>-\,\|)>.>>>> It follows that >> must solve <\equation> -a\\|)>u>=\+\,\|)>>>|>=u>\u-\>|)>,\|)>\>>>>>> with =a\\u+a\\u>, and if we can make sense of the resonant term \\u>, it is reasonable to expect >|)>\>> t\>. Indeed, take >\U> to be the solution of\ <\equation> U>|)>\-\\|)>U>|)>=QU>,t=0|)>=0 \ for some >|)>> to be determined and \,1|]>>. Using again Lemma as shown in Remark we have <\equation*> -a\\|)>\>,U>|)>=Q>|)>-\,U>|)>. For \,1|]> >we define u>|)>\e\t>u>> so that u>|)>=0>, with > as in .\ We set\ <\equation> u>\\>,U>|)>+\>,u>|)> . Taking <\equation*> Q>|)>:=\+\,\|)>+\,U>|)>+\,u>|)> , we obtain that >> solves equation if and only if >> solves equation. As we will see, >|)>> belongs to-2>> t\> but not uniformly as 0>. However it belongs to -2>> uniformly as 0>. It remains to control the resonant term \\u> appearing in >. We have\ <\equation*> a\\u=a\\\+a\\u> . By paralinearization (see Theorem) =a\u+R> with |R|\<\|\|\>>>>\1+|u|\<\|\|\>>>>>, and then <\equation*> a\\\=\u|)>\\\+R\\\. In order to use the commutator lemma (Lemma) we can estimate >, recalling that \>, as <\equation*> |a|\<\|\|\>>>>\|a|\<\|\|\>>>>|u|\<\|\|\>>>> and write <\equation*> a\\\=a\\|)>+C,u,\\|)>+R\\\. Then, Ansatz gives <\equation*> a\\\=a\\\|)>+a>\\\|)>+C,u,\\|)>+R\\\ . Summarizing, we have: <\eqnarray*> >||\\\|)>+a\\u+a>\\\|)>>>|||,u,\\|)>+R\\\+a\\u>>>>> Thanks to the nonlinear commutator (Lemma), we can decompose the resonant term \\\> to obtain <\eqnarray*> >||\\u+a>\\\|)>+C,u,\\|)>+R\\\>>|||\,\|)>+a\>,\|)>+a\\u>>>>> and ,\|)>\-2-\>> if >>. Here we defined <\equation> \,x|)>\\\\|)>,x|)>=j>\\,\|)>\\,\|)>|]> Finally, recalling the decomposition of >> in two terms we obtain <\equation*> \=a\>,\|)>+\+\ where <\eqnarray*> >|>|\\u+C,u,\\|)>+R\\\+a\,\|)>>>|||>,U>|)>\\\|)>+a\\\>,U>|)> ,>>|>|>|>,u>|)>\\\|)>+a\\\>,u>|)>.>>>> Thanks to Lemma the terms \>,\|)>> and > can be estimated in -2>>, provided \C>-2>> (see Section). On the other hand the term > can be estimated in -2>> only for strictly positive times 0> due to the lack of regularity of the initial condition >> which a priori lives only in >>.\ Note moreover that the specific form of > allows to deduce that if we replace > by |~>=\-H> with C>-2>> then this is equivalent to consider an equation for of the form\ <\equation*> \u-a|)>\u=\-a|)>H|)>,t,x|)>. Let us resume this long discussion in the following theorem: <\theorem> Assume that \,u\,H\C>>. C> is the classical solution to the equation <\equation> \u-a|)>\u=\-a|)>H|)>,t,x|)>,u=u, up to time 0> if <\equation*> u=\>,\+U>+ u>|)>, where > is the solution to eq. and >> is the solution to the PDE\ <\equation> -\\|)>U>|)>=F>,u>|)>U>,0|)>=0\\,1|]> with <\eqnarray*> >,u|)>>||\\>,\|)>+\+\+\,\|)>>>|||,U>|)>+\,u>|)>>>>> and =\\\\-H>. <\definition> For any \\> we define >\C>>\C>-2>> the closure of the image of the map <\equation*> ,H|)>\C>\C>\J,H|)>=,\\\\-H|)>\C>\C> (in the topology of >>\C>-2>>). We call the elements in >> . In the next section we will exploit the space >> for \\1> to solve equations and . \ > The main result of this section is the local well\Uposedness for equations and when ,\|)>\\>> and \>> for \\1>. This yields a unique solution to, thanks to Theorem. <\theorem> Let \2/3.> Then for any ,\|)>\\>> and \>> there exists a time 0> depending only on |,\|)>|\<\|\|\>>>>> and |u|\<\|\|\>>>> up to which the system of equations and has a unique solution >|)>\>\C>>> for all \\> such that +\\2>. For any fixed \0> there exist a ball >\>\\>> such that the solution map <\equation*> \>:,\,\|)>\B>\>|)>\>>\C>>> is well defined and Lipshitz continuous in the data.\ <\remark> The proof is based on a Picard fixed point argument. In order to have a contraction map on a small time interval >, we carry on our analysis of >> in the space >>\C>>> and make use of the estimates of Lemma to obtain a factor >> for some (small) \0>. <\proof> >Let =>\C>>>. We introduce the map <\equation*> \:>|)>\\\>|)>,\>>>|)>|)>\\ by <\equation*> \>|)>\\>,\|)>+\>,\>>>|)>|)>+\>,u>|)> and <\equation*> -\\|)>\>>>|)>|)>=F>,u>|)>,\>>>|)>|)>=0,\\,1|]>, We will establish that this map is a contraction in the space .>\ First, we have to show that there exists a ball \> such that \B>. We have the bound |u>|\<\|\|\>>>>>\|u>|\<\|\|\>>>>> . It is easy to obtain, using the estimates of Section and Lemma: <\equation*> |e\>+\,\|)>+\,U>|)>+\,u>|)>|]>\s|\<\|\|\>>>>> <\equation*> \T>|u|\<\|\|\>>>>|)>|\|\<\|\|\>>-2>>|)>|u>|\<\|\|\>>>>|U>|\<\|\|\>>>>>|)> for some \0>.\ By the assumption that ,\|)>\\>> we deduce that there exists 0> such that |\|\<\|\|\>>>-2>>\M>. We have <\equation*> |e\>\\>,\|)>|]>\s|\<\|\|\>>>>>\T-\>|u|\<\|\|\>>>>|)>|\|\<\|\|\>>>-2>> . To bound the term > we observe that |u>|\<\|\|\>>>>>\t|2>>|u>|\<\|\|\>>>>> thanks to Lemma. This gives <\equation*> |e\>\\s|\<\|\|\>>>>>\T-\>|u|\<\|\|\>>>>|)>|\|\<\|\|\>>-2>>|)>|u>|\<\|\|\>>>> and then >>>|)>> is bounded in >>> for small enough. We have also <\eqnarray*> |\>|)>|\<\|\|\>>>>>|>||\|\<\|\|\>>-2>>+|u>|\<\|\|\>>>>+|\>>>|)>|\<\|\|\>>>>>>>||>||\|\<\|\|\>>-2>>+|u>|\<\|\|\>>>>+T-\|2>>|\>>>|)>|\<\|\|\>>>>>>>>> and these bounds show that \B>. The contractivity of >>>|)>> can be obtained in the same way. Now consider >|)>>: we have <\eqnarray*> |||\>|)>,U>|)>-\>|)>,U>|)>|\<\|\|\>>>>>>||>|-\|2>>|U>-U>|\<\|\|\>>>>>+|u-u|\<\|\|\>>L>>|U>|\<\|\|\>>>>>|)>>>>> while for the other terms in ,U>|)>-\,U>|)>> we remark that <\equation*> sup>|u-u-u+u|\<\|\|\>>>>\t/2>|u-u|\<\|\|\>>>/2>L>>. Then 0\\\\>, using Lemma and Lemma: <\eqnarray*> |\>|)>,\|)>-\>|)>,\|)>|\<\|\|\>>>>>|>||a|)>-a|)>|\<\|\|\>>L>>|\|\<\|\|\>>>>>>>||>||u-u|\<\|\|\>>L>>|\|\<\|\|\>>-2>>>>||>|/2>*|u-u|\<\|\|\>>/2>L>>|\|\<\|\|\>>-2>> >>||>|/2>|u-u|\<\|\|\>>>>|\|\<\|\|\>>-2>> .>>>> With the same reasoning we estimate <\eqnarray*> |||\>|)>,u>|)>-\>|)>,u>|)>|\<\|\|\>>>>>>||>|/2>|u-u|\<\|\|\>>/2>L>>|u>|\<\|\|\>>>>>>>||>|/2>|u-u|\<\|\|\>>>>|u>|\<\|\|\>>>>>>>> and then > is a contraction for small times.\ The uniqueness of the solution >|)>\>\C>>> and the Lipshitz continuity of the localized solution map >> can be proved along the same lines via standard arguments. > At this point we want to construct enhanced noise > associated to the white noise >. Already in the standard setting of the generalised PAM model with constant diffusion matrix, the construction of the enhancement requires a renormalization since the resonant product \\\> is not well defined.\ Let \\|)>> be a cutoff function and let >=\\|)>>. Then define a regularised noise by >=\>\\ > and let >=\|)>\>>. Notice that <\eqnarray*> >|)>>|>|>,x|)>\\\>,x|)>|]>=\>,x|)>\\>,x|)>|]>>>|||\\\>|^>>|\>=->|\>>>>> where <\equation*> \>\\\\>|^>>|>\|\|> as \0>. Subtracting the diverging quantity >> to >\\\>> and then taking the limit as \0> delivers a finite result. <\theorem> Take \1> and let >=>,\>|)>:=>,\>\\\>-H>|)>>. Then the family >|)>>\\>> converges a.s. and in > to a random element =,\|)>\\>>. <\proof> The proof is a mild modification of the proof for PAM. In order to establish the required >-2>> regularity for > we follow the computations for the case where the diffusion coefficient is constant. We only have to discuss the additional regularity in the parameter >. In order to do so observe that <\equation*> \>|)>=j>|\\>|)>\\\>|)>|\> where ||\>> denotes the Wick product with respect to the Gaussian structure of >. Then we have <\equation*> \>\>|)>=j>|\\>\>|)>\\\>|)>|\>+j>|\\>|)>\\\>\>|)>|\>, and <\eqnarray*> >\>|)>>||j>|\\>\>|)>\\\>|)>|\>+j>|\\>|)>\\\>\>|)>|\>>>|||j>2|\\>\>|)>\\\>\>|)>|\>.>>>> \; Now the computations relative to the regularities of these additional stochastic objects are equivalent to those for the term >> where one or two instances of >|)>> are replaced by Gaussian fields of similar regularities of the form >\>|)>> and >\>|)>>. A direct inspection of the proof contained in allows us to deduce that we have almost sure -2>> regularity for these terms and also for random fields >\>> for any finite . This allows also to deduce that the random field is almost surely smooth in the parameter >. Similar computations allow to prove continuity in > for \0>. The rest of the proof is standard. In conclusion we see that in order to be able to use this convergence result we need to modify our approximate PDE and consider instead <\equation*> \u>-a>|)>\u>=\>-a>|)>H>>|)>|)> which gives the renormalised equation . Our well\Uposedness results for the paracontrolled formulation of this equation together with the convergence result of Theorem allow to deduce that >\u> in >> for any \\\\1> and that the limiting process satisfies a modified version of eq., namely <\equation*> \u-a\\u=\,u=u, where \\u> denotes a diffusion term given by <\equation> a\\u\a\\u+a\>,\|)>+\+\. Let us start by discussing the presence of a dependent r.h.s. in eq.. We want to solve <\equation*> \u-a\u=a\ where > is a non-linear diffusion coefficient as before and :\\\> is another bounded function with sufficiently many bounded derivatives. We rewrite this equation as <\equation*> \>,|)>u=a\\+a\\u+a\\+a\\u+a\\ where now =,a|)>> is a vector valued non-linearity. Since we don't need to depend on any parameter =,\|)>>, we have defined > as <\equation*> |)>\\-\\ and used the identity >,|)>u=-a\\|)>u>, similarly to what we have done in . Notice that the non\Ulinear paraproduct can be extended trivially to the vector valued case in such a way that, for example, <\equation*> \>,g|)>,h|)>=QPh,g|)>,t,\|)>|)>. As before we make the Ansatz <\equation*> u=\>,\|)>+u> where now > solves <\equation*> |)>\|)>=-\\|)>\|)>=\ \, for =,\|)>\,1|]>\> where is a large but fixed constant. The bounded domain is important to be able to have uniform estimates and reuse the estimates proved above in the simple situation of =1>. The solution of this equation is <\equation*> \,\|)>=\>e\s>\\s=-|\>\\. Observe that <\equation*> \>,|)>u=\>,|)>\>,\|)>+\>,|)>u> and recall that by Lemma <\equation*> \>,|)>\>,\|)>=\>,\|)>+\,\|)>. Now\ <\equation*> \|)>|)>=-\\|)>\,t,x|)>=\|)>,\=,\|)>\,1|]>\ with |)>=\\> and then <\equation*> \>,\|)>=\>,\|)>=a\\. In conclusion <\equation*> \>,|)>\>,\|)>=a\\+\,\|)> and the equation for >> reads <\eqnarray> >,u>|)>>||\\u+a\\+\\-a\\|]>>>|||\\u+a\\-\,\|)>>>>> where now all the terms on the r.h.s. can be considered remainder terms. Let us just remark that the commutation term \\-a\\> can be handled easily via Lemma. Of course, the first two terms in the equation above require to be treated as resonant terms. Note that, modulo terms of order -2>> (or /2>-2>> as defined in Lemma) the terms \\u+a\\> are equivalent to <\equation*> a\>,\\\\|)>+a>,\|)>\\|)> and that by computations similar to those of the previous sections one can prove that <\equation*> >,\|)>\\|)>=\>,\\\|)>+-2> so the resonant terms are comparable to the sum of the two terms <\equation*> a\>,\\\\|)>+a\>,\\\|)> which require renormalization of the form <\equation> a|a>\>-a|a>\> and the convergence follows with the same arguments of Section. We remark that the structure of the second renormalisation term, which is due to the r.h.s. in the equation, is the same of that found by Bailleul, Debussche and Hofmanová in.\ <\remark> Our approach works straightforwardly for equation, namely <\equation*> \u-a|)>\u=g|)>\ with \M|)>> such that a*x*x\C> x\\> for 0> and \|\ x*\ x>>.\ To see that, let \,g|)>\\> and =,\|)>\\>. Let |)>\\-\\> and |)>\\\> with the uniform ellipticity condition \*x*x\C> x\\>. It is easy to verify that Lemma and Lemma hold within this setting, just considering nonlinear paraproducts for functions depending on 5 parameters. We have then: <\equation*> u=\>,\+U>+u>|)> with |)>> stationary solution of \|)>=\|)>>, u>\e\ t>u>> and >|)>> which solves <\equation*> U>|)>=\>,a|)>,\|)>+\>,a|)>,\|)>+Q>|)> with >|)>\-2-\>>, \C>C>-2>=\|)>\\*\\|)>>, ,\|)>=\|)>\\*\> and >=0>. Note that we can write > as <\equation*> \|)>=\>e*\>*\ \t|^>=\|^>|\*k*k>,k\\\\. From the uniform ellipticity condition we have |\|\<\|\|\>>>>>\|\|\<\|\|\>>>>>, and Schauder estimates analogous to those of Lemma hold as well.\ Now consider the renormalization. We have <\eqnarray*> >,\|)>\\,\|)>|)>>||\\\>|^>>\*k*k|\*k*k|)>>,>>|>,\|)>\\,\|)>|)>>||\\\\>|^>>|\*k*k>.>>>> The convergence of >-H>>, >-H>> in ,\|)>>-2>|)>> can be obtained with the techniques used in , Section 5.2.\ Within the framework of the present work we are actually able to treat equations of the form <\equation> \u-a|)>\u=\|)>,x|)> where ,x|)>> is a Gaussian process with covariance <\equation*> \,x|)>\|~>,|)>|]>=F,|~>|)>\|)> where is a smooth covariance function. Let as before \\1>. In this case we can take as a parametric equation <\equation*> |)>\\\\,t,x|)>-\\\,t,x|)>=\,x|)> whose solution > is a Gaussian process, smooth with respect to the variable =,\|)>> which we assume taking value in a compact subset of > for which \\\0> with fixed >. Letting =,a|)>> we can rewrite the l.h.s. of eq. in the form <\equation*> \u-a\u=\>,u|)> and the r.h.s. as <\equation*> \|)>,x|)>=\>,\|)> where ,x|)>=\,x|)>>. Now we perform the paraproduct decomposition to get <\eqnarray*> >,u|)>-\>,\|)>>||>,\|)>+\>,u|)>>>|||>,\|)>+\>,u|)>.>>>> We have introduced here the parametric differential operator |)>\\\> for =,\|)>>.\ Let |)>\e*\>> as before, and invoke the paracontrolled Ansatz in the usual form\ <\equation*> u=\>,\+U>+u>|)>. Using that <\eqnarray*> >,\>,\+U>+u>|)>|)>>||>,+U>+u>|)>|)>>>|||,\+U>+u>|)>>>>> and observing that we can take \=\> and that u>=0> to get <\equation*> \>,U>|)>=F>|)> where <\eqnarray*> >|)>>||>,\|)>+\>,u|)>+\>,\|)>+\>,u|)>>>|||>,\|)>-\>,\|)>|]>-\,\+U>+u>|)>>>>> which is solved by >> satisfying <\equation*> U>=F>|)>. Indeed >,F>|)>|)>=F>|)>>, since >|)>> does not depend on the additional parameter. Remark that the term >,\|)>-\>,\|)>>, which does not appear in the simpler case, can be treated with Lemma. It remains now to discuss the handling of the resonant products under the paracontrolled assumption, namely >,\|)>> and >,u|)>>. Next lemma is a paralinearization result adapted to our non-linear context. <\lemma> Assume that >> and C>>> then if +2\\0> we have <\equation*> C\\>,Z|)>-u\\>,a|)>,\Z|)>\+2\> where Z,\|)>,t,x|)>\\\>Z,t,x|)>>. <\proof> \; <\eqnarray*> ||>,Z|)>=j>KKZ|)>,t,z|)>>>|||j,k>>>|>>>>>>>KKP|)>K|)>Z|)>,t,z|)>>>|||j,k>>>|>>>>>>>KKP|)>K|)>\>>||||)>,t,z|)>-Z|)>|)>,t,z|)>|]>>>|||j,k>>>|>>>>>>>KKP|)>K|)>\>>|||>a>|)>|)>\u>*\>>Z|)>|)>,t,z|)>|]>>>|||j>>|j>>>>>>>>>|>>>>>>>KKP|)>K|)>\>>|||Ou>|)>|)>\>Z|)>,t,z|)>>>>> and observe that the first term is equal to \>,a|)>,\Z|)>> while the second term can be easily estimated in +2\>>.\ Using this result and Lemma we can expand <\eqnarray*> >,\|)>>||\>,a|)>,\\|)>+-2>>>|||>,\|)>\\>,a|)>,\\|)>+-2>>>|||>,a|)>,\\\\|)>+-2>>>>> and similarly, noting that <\eqnarray*> >,a|)>,|)>u|)>>||>,a|)>,|)>\>,\|)>|)>+-2>>>|||>,a|)>,|)>\|)>+-2>>>>> where |)>,\|)>=\\>, we have <\eqnarray*> >,u|)>>||\>,a|)>,|)>u|)>+-2>>>|||>,\|)>\\>,a|)>,|)>\|)>+-2>>>|||>,a|)>,\\|)>\|)>+-2>>>>> \ Finally the equation for >> reads <\equation*> U>=\>,a|)>,\\\\+\\|)>\|)>+-2>. This can be solved essentially as we did in the simpler context. We see that the general enhancement has the form <\equation*> ,\\\\+\\|)>\|)> which of course will require renormalization like we did before. In particular <\eqnarray*> \\\+\\|)>\|)>,\|)>>|||)>\\\>\,\|)>+\|)>\\\\|)>>>||||\>\,\|)>|)>\\>\,\|)>>>||||\>\,\|)>|)>\\,\|)>>>>> where we used that \\|)>=-\,\|)>>. Now observe that <\equation*> \\>,\|)>|)>\\>,\|)>|]>=-F,\|)>\> and that <\equation*> \\>,\|)>|)>\\>\>,\|)>|]>=-F|)>,\|)>\> with F> denoting the derivative with respect to the first entry. In the end the renormalised enhanced noise is obtained as the limit in >> of >,\>|)>> where\ <\equation*> \>,\|)>=-|\>\>,\|)>|)>\\>\>,\|)>+|\>\>,\|)>|)>\\>,\|)>-H>,\|)> with <\equation*> H>,\|)>=|\>F|)>,\|)>\>-|\>F,\|)>\>. \; We remark that if we take ,|~>|)>=\|~>> we obtain again the situation treated in Section. Indeed in this case <\equation*> \>,a|)>,H>|)>=a|a>\>-a|a>\>. which coincides with. <\remark> Consider the more general equation , where the noise depends explicitly on time, e.g. with a covariance <\equation*> \,t,x|)>\,t,x|)>|]>=F,\|)>Q,x-x|)> with a smooth function and a distribution of parabolic regularity \-4/3>. First note that the coefficient \,1|]>> in front of the time derivative can be eliminated trivially by dividing.\ In order to handle the time dependence of the noise, the framework of this paper will still apply, provided we consider space\Utime paraproducts instead of paraproducts which act only on the space variable. This can be done exactly following the lines of the paper, where time paraproducts are employed in the paracontrolled approach to solutions to SDE driven by gaussian signals.\ The constraint of regularity \-4/3> does allow to treat a noise which is white in time and smooth in space, but not a space\Utime white noise. It is well known that the first order paracontrolled approach on which the present paper is based does not allow to treat this kind of irregular signals in full generality. In this Appendix we collect some classical results from harmonic analysis needed in the paper. For a gentle introduction to Littlewood-Paley theory and Besov spaces see the recent monograph, where most of our results are taken from. There the case of tempered distributions on > is considered. The Schauder estimates for the heat semigroup (Lemma) are classical and can be found in. \; Fix \> and denote by =/\|)>|)>> the -dimensional torus. We focus here on distributions and SPDEs on the torus, but everything in this Appendix applies mutatis-mutandis on the full space >, see. The space of distributions =|)>> is defined as the set of linear maps from >=C>,\|)>> to >, such that there exist \> and 0> with <\equation*> |f,\|\>|\|>\|)>|\|>\C sup|\|>\k>|\>\|\<\|\|\>>>|)>> for all \C>>. In particular, the Fourier transform f:\\\>, f=|f,e>|\>>, is defined for all >, and it satisfies f|\|>\|\|>> for a suitable polynomial . We will also write =f>. Conversely, if |)>\>> is at most of polynomial growth, then its inverse Fourier transform <\equation*> g=|)>\>e|k,\|\>>g defines a distribution, and we have f=f> as well as g=g>. To see this, it suffices to note that the Fourier transform of \C>> decays faster than any rational function (we say that it is of ). Indeed, for \\> we have >|\|>=>g|)>|\|>\|\>g|\<\|\|\>>|)>>> for all \>. As a consequence we get the Parseval formula |f,>|\>=|)>|^>>> for > and \C>>. Linear maps on > can be defined by duality: if >\C>> is such that for all \> there exists \> and 0> with |\|>\k>|\>|)>|\<\|\|\>>>>\C sup|\|>\n>|\>\|\<\|\|\>>>, then we set |A f,\|\>=|f,A \|\>>. Differential operators are defined by |\>f,\|\>=|\|>>|f,\>\|\>>. If :\\\> grows at most polynomially, then it defines a <\equation*> \|)>f=f|)>, which gives us a distribution |)>f\> for every >. \; Littlewood-Paley blocks give a decomposition of any distribution on > into an infinite series of smooth functions. <\definition> A consists of two nonnegative radial functions ,\\C>,\|)>>, where > is supported in a ball =\c|}>> and > is supported in an annulus =\b|}>> for suitable 0>, such that <\enumerate> +0>\\|)>\1> and \\|)>\0> for 1> and \|)>\\\|)>\0> for all 0> with \1>. We will often write =\> and =\\|)>> for 0>. Dyadic partitions of unity exist, as shown in. The reason for considering smooth partitions rather than indicator functions is that indicator functions do not have good Fourier properties. We fix a dyadic partition of unity ,\|)>> and define the dyadic blocks <\equation*> \f=\|)>f=|)>,j\-1. We also use the notation <\equation*> Sf=j-1>\f and notice that <\equation*> \f=Kf\y,Sf=Pf\y with =2K|)>>, =j-1>K>, radial with zero mean. Every dyadic block has a compactly supported Fourier transform and therefore it belongs to>>. It is easy to see that -1>\f=lim\> S*f> for all >. For \\>, the Hölder-Besov space >> is given by >=B>,\>,\|)>>, where for |]>> we define <\equation*> B>=B>,\|)>=:|f|\<\|\|\>>>>=-1>>*|\*f|\<\|\|\>>>|)>|)>\\|}>, with the usual interpretation as >> norm in case >. Then >> is a Banach space and while the norm |\|\>>>> depends on ,\|)>>, the space >> does not, and any other dyadic partition of unity corresponds to an equivalent norm. If \|)>\\>, then >> is the space of |\|\>> times differentiable functions whose partial derivatives of order |\|\>> are (-|\|\>>)-Hölder continuous (see page99 of). Note however, that for \> the space > is strictly larger than >, the space of times continuously differentiable functions. The following lemma gives useful characterisation of Besov regularity for functions that can be decomposed into pieces which are localized in Fourier space. <\lemma> <\enumerate-numeric> Let > be an annulus, let \>>, and let |)>> be a sequence of smooth functions such that u> has its support in >, and such that |u|\<\|\|\>>>>\2>> for all . Then <\equation*> u=-1>u\>and|u|\<\|\|\>>>\sup-1>>|u|\<\|\|\>>>>|}>. Let > be a ball, let \0>, and let |)>> be a sequence of smooth functions such that u> has its support in >, and such that |u|\<\|\|\>>>>\2>> for all . Then <\equation*> u=-1>u\>and|u|\<\|\|\>>>\sup-1>>|u|\<\|\|\>>>>|}>. \; The Bernstein inequalities of the next lemma are extremely useful when dealing with functions with compactly supported Fourier transform. <\lemma> Let > be an annulus and let > be a ball. For any \>, \0>, and p\q\\> we have that <\enumerate-numeric> if L> is such that u|)>\\>, then <\equation*> max\:|\|>=k>|\>*u|\<\|\|\>>>\\-|)>>|u|\<\|\|\>>>; if L> is such that u|)>\\>, then <\equation*> \|u|\<\|\|\>>>\max\:|\|>=k>|\>*u|\<\|\|\>>>. We recall some standard heat kernel estimations (see Chapter 2 of and ). <\lemma> Let =e\>v\s> and u=e\t>u>, with \\>. We define >> and >>>, >>> for \> as in , and introduce the norm <\equation*> |v|\<\|\|\>>>>>=sup>t>|v|)>|\<\|\|\>>>> . Then for any \> and \\>: <\eqnarray*> >t>|V|\<\|\|\>>>-2\>>>|>|>t+\>|v|\<\|\|\>>-2>>\\\>>||V|\<\|\|\>>>-2\>>>|>|>|v|\<\|\|\>>-2>>\\\>>||V|\<\|\|\>>>-2\>>>|>|-\>|v|\<\|\|\>>>>-2>>\\\,\\\|]>>>||V|\<\|\|\>>>>>>|>|-\|2>+1-\>|v|\<\|\|\>>>>>>>>|||\\-2,\|)>,\\\-\|)>/2+1|]>>>||u|\<\|\|\>>>>>>|>|-\|2>>|u|\<\|\|\>>>>\\\\>>||u-u|\<\|\|\>>>>>>|>|>-\|2>+\>|u|\<\|\|\>>>>>>|||t\s\\,\\\+2,\\-\|)>/2|]>>>>> We need the following interpolation lemma: <\lemma> Let \>, \\\> and >> . Then <\equation*> |u|\<\|\|\>>/2-\/2>L>>\|u|\<\|\|\>>>> <\proof> \; <\eqnarray*> t>|u-u|\<\|\|\>>>>|/2-\/2>>>|>|t>n>|\u-\u|\<\|\|\>>>>|/2-\/2>>+n>|\u-\u|\<\|\|\>>>>|/2-\/2>>|]>>>>> and choosing \\2> we obtain <\eqnarray*> n>|\u-\u|\<\|\|\>>>>|/2-\/2>>>|>||u|\<\|\|\>>/2>>n>/2>>>|n>|\u-\u|\<\|\|\>>>>|/2-\/2>>>|>||u|\<\|\|\>>>>n>2i>*2+\|)>n>>>>> and this yields the result. Terms of the type |a|)>|\<\|\|\>>>> with \\> cannot be estimated directly with their Hölder norm. In the following lemma we prove some bounds used in Section. <\lemma> Let C> uniformly bounded and >=>\C/2>>, then <\eqnarray*> |a|\<\|\|\>>>>>|>||a|\<\|\|\>>>>+|a|\<\|\|\>>>>|u|\<\|\|\>>/2>>+|u|\<\|\|\>>>>>|)>+|a|\<\|\|\>>>>|u|\<\|\|\>>/2>>|u|\<\|\|\>>>>>>>||>||u|\<\|\|\>>>>+|u|\<\|\|\>>>>,>>>> <\eqnarray*> |a|)>-a|)>|\<\|\|\>>>>>|>||u-u|\<\|\|\>>>>|u|\<\|\|\>>>>+|u|\<\|\|\>>>>|)>,>>||a|)>-a|)>|\<\|\|\>>>>|>||u-u|\<\|\|\>>>|u|\<\|\|\>>>>+|u|\<\|\|\>>>>|)> .>>>> <\proof> The bound on |a|\<\|\|\>>>>> is trivial. We estimate |a|)>-a|)>|\<\|\|\>>>> as <\equation*> K|)>-a|)>|]>|\|>=\>Ka>u|)>-u|]>|\|> <\eqnarray*> |>|\>Kk\i>u-\u|]>*Ka>u|)>|\|>>>|||\>Kj\i>u-\u|]>*Ka>u|)>|\|>>>|||\>Kj\i>u-\u|]>*Ka>u|)>|\|> .>>>> If -1> we have <\equation*> Ka>u|)>=K>u|)>-a>u|)>|]> and then the first term above becomes <\equation*> ,\>Kk\i>u-\u|]>*Ka>>u|)>|)>u-\u|]>|\|> <\eqnarray*> |>||a|\<\|\|\>>>>|u-u|\<\|\|\>>>k\i>|\|>>|u|\<\|\|\>>>>>>||>|*i>|a|\<\|\|\>>>>|u-u|\<\|\|\>>>|u|\<\|\|\>>>>*.>>>> The second term is <\eqnarray*> ||\>Ki>u|)>-\u|)>|]>*Pa>u|)>|\|>>>||>||u-u|\<\|\|\>>>|Pa>u|)>|\<\|\|\>>>>\|u-u|\<\|\|\>>>|a|\<\|\|\>>>>>>>> \; The third term can be estimated as the first one when -1>. Otherwise we just bound it as <\eqnarray*> ||\>KN>u|)>-\u|)>|]>*Ka>u|)>|\|>>>||>||u-u|\<\|\|\>>>|a|\<\|\|\>>>>.>>>> For the three terms together we have the bound <\equation*> |a|)>-a|)>|\<\|\|\>>>\|u-u|\<\|\|\>>>|a|\<\|\|\>>>>+|a|\<\|\|\>>>>|u|\<\|\|\>>>>>|)> With the same technique we obtain <\eqnarray*> |a|)>-a|)>|\<\|\|\>>/2>>>|>||a|\<\|\|\>>>>|u-u|\<\|\|\>>/2>>>>||||a|\<\|\|\>>>>|u-u|\<\|\|\>>/2>>|u-u|\<\|\|\>>>>>>||||a|\<\|\|\>>>>|u-u|\<\|\|\>>/2>>|u-u|\<\|\|\>>>>>>>> and this gives the second estimate. The third one can be obtained easily. \; In terms of Littlewood\UPaley blocks, the product of two smooth functions can be decomposed as <\equation*> f*g=-1>-1>\*f*\*g=f\g+f\g+f\g. Where the g> and g> and the g> are defined as <\equation*> f\g=g\f\-1>\*f*\*g*f\g\\1>\*f*\*g. We will often use the shortcuts j>> for \1>> and j>> for j-1>>. Of course, the decomposition depends on the dyadic partition of unity used to define the blocks >, and also on the particular choice of the pairs > in the diagonal part. The choice of taking all > with \1> into the diagonal part corresponds to property in our definition of dyadic partitions of unity.\ Bony's crucial observation is that the paraproduct g> (and thus g>) is always a well-defined distribution. Heuristically, g> behaves at large frequencies like (and thus retains the same regularity), and provides only a frequency modulation of . The only difficulty in constructing for arbitrary distributions lies in handling the resonant product g>. The basic result about these bilinear operations is given by the following estimates. <\theorem> (Paraproduct estimates) For any \\> and > we have <\equation> |f\g|\<\|\|\>>>>\>|f|\<\|\|\>>>>|g|\<\|\|\>>>>, and for \0> furthermore <\equation> |f\g|\<\|\|\>>+\>>\,\>|f|\<\|\|\>>>>|g|\<\|\|\>>>>. For +\\0> we have <\equation> |f\g|\<\|\|\>>+\>>\,\>|f|\<\|\|\>>>>|g|\<\|\|\>>>>. Bony proved also a basic result, soon after improved by Meyer. We give here a particular version suited to our purposes. <\theorem> Let \>, >|)>> and C;\|)>> then <\equation*> R\F-F\f\> with <\equation*> |R|\<\|\|\>>>>\|F|\<\|\|\>>>|f|\<\|\|\>>>>|)>. Moreover the map R> is locally Lipshitz and <\equation*> |R-R|)>|\<\|\|\>>>>\|F|\<\|\|\>>>|f|\<\|\|\>>>>+||\<\|\|\>>>>|)>|-f|\<\|\|\>>>>. The additional key ingredient at the core of the paracontrolled approach is the following commutation result proved in, Lemma2.4: <\lemma> Assume that ,\,\\> are such that +\+\\0> and +\\0>. Then for C>> the trilinear operator <\equation*> C\g|)>\h|)>-f*h|)> allows for the bound <\equation> |C|\<\|\|\>>+\>>\|f|\<\|\|\>>>>|g|\<\|\|\>>>>|h|\<\|\|\>>>>, and can thus be uniquely extended to a bounded trilinear operator\ <\equation*> C:>\>\>\+\>. We will need the following two lemmas to compare standard and time-smoothed paraproducts. The first one has essentially the same proof as , Lemma5.1. <\lemma> Let \>, \\>. Then for every \0> we have the bound <\equation*> |g\h-g\h|\<\|\|\>>+\-\>>\|g|\<\|\|\>>/2>>|h|\<\|\|\>>>> . The second lemma has a standard proof. <\lemma> Let >>, C>>> with \>, \\>. We have, \\0> <\equation*> |\>-\>|\<\|\|\>>+\-\>>\|g|\<\|\|\>>>>|h|\<\|\|\>>>>> . <\bibliography|bib|tm-plain|quasi-linear> <\bib-list|33> S.AlinhacP.Gérard. . EDP Sciences, 1991. R.AllezK.Chouk. The continuous Anderson hamiltonian in dimension two. , nov 2015. ArXiv: 1511.02718. H.Bahouri, J.-Y.CheminR.Danchin. . Springer, jan 2011. I.BailleulF.Bernicot. Heat semigroup and singular PDEs. , jan 2015. ArXiv: 1501.06822. I.BailleulF.Bernicot. Higher order paracontrolled calculus. , sep 2016. ArXiv: 1609.06966. I.BailleulR.Catellier. Rough flows and homogenization in stochastic turbulence. , jan 2016. ArXiv: 1601.01902. Ismael Bailleul, Arnaud DebusscheMartina Hofmanova. Quasilinear generalized parabolic anderson model equation. , Oct 2016. ArXiv: 1610.06726. Ismaël Bailleul. Flows driven by rough paths. , 31(3):901\U934, 2015. J.-M.Bony. Calcul symbolique et propagation des singularites pour les équations aux dérivées partielles non linéaires. , 14:209\U246, 1981. J.-M.Bony, G.Grubb, L.Hörmander, H.Komatsu, J.Sjöstrand, L.CattabrigaL.Rodino. . Springer Berlin Heidelberg, Berlin, Heidelberg, 1991. R.CatellierK.Chouk. Paracontrolled Distributions and the 3-dimensional Stochastic Quantization Equation. , oct 2013. ArXiv: 1310.6869. R.CatellierM.Gubinelli. Averaging along irregular curves and regularisation of ODEs. , 126(8):2323\U2366, aug 2016. P.K.FrizM.Hairer. . Springer, aug 2014. M.Gubinelli. Rough solutions for the periodic Korteweg\Ude Vries equation. , 11(2):709\U733, 2012. M.Gubinelli, P.ImkellerN.Perkowski. Paracontrolled distributions and singular PDEs. , 3:0, 2015. M.GubinelliN.Perkowski. KPZ reloaded. , aug 2015. ArXiv: 1508.03877. M.GubinelliN.Perkowski. Lectures on singular stochastic PDEs. , jan 2015. ArXiv: 1502.00157. M.Hairer. Solving the KPZ equation. , 178(2):559\U664, jun 2013. M.Hairer. A theory of regularity structures. , 198(2):269\U504, mar 2014. M.Hairer. Singular stochastic PDEs. , mar 2014. ArXiv: 1403.6353. M.HairerJ.Quastel. A class of growth models rescaling to KPZ. , dec 2015. ArXiv: 1512.07845. M.HairerH.Shen. The dynamical sine-Gordon model. , sep 2014. ArXiv: 1409.5724. M.HairerW.Xu. Large scale behaviour of 3d phase coexistence models. , jan 2016. ArXiv: 1601.05138. Y.HuK.Le. Nonlinear Young integrals and differential systems in H\\"older media. , apr 2014. L.Hörmander. The Nash-Moser theorem and paradifferential operators. , 429\U449. Academic Press, Boston, MA, 1990. D.KellyI.Melbourne. Deterministic homogenization for fast-slow systems with chaotic noise. , sep 2014. ArXiv: 1409.5748. H.Kunita. Stochastic differential equations and stochastic flows of diffeomorphisms. P.L.Hennequin, , 1097Lecture Notes in Mathematics, 143\U303. Springer Berlin Heidelberg, 1984. DOI: 10.1007/BFb0099433. T.Lyons. Differential equations driven by rough signals. , 215\U310, 1998. T.J.Lyons, M.J.CaruanaT.Lévy. . Springer, 1, jun 2007. T.LyonsZ.Qian. . Oxford University Press, 2002. Y.Meyer. Remarques sur un théorème de J.-M. Bony. , 1\U20. 1981. J.-C.MourratH.Weber. Global well-posedness of the dynamic $\\Phi\B4_3$ model on the torus. , jan 2016. ArXiv: 1601.01234. F.OttoH.Weber. Quasilinear SPDEs via rough paths. , may 2016. ArXiv: 1605.09744. <\initial> <\collection> <\references> <\collection> > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > <\auxiliary> <\collection> <\associate|bib> meyer_remarques_1981 gubinelli_paracontrolled_2015 otto_quasilinear_2016 hofmanova otto_quasilinear_2016 hofmanova otto_quasilinear_2016 hofmanova hofmanova gubinelli_rough_2012 catellier_averaging_2016 hu_nonlinear_2014 bailleul_flows_2015 bailleul_rough_2016 kelly_deterministic_2014 kunita_stochastic_1984 bony_microlocal_1991 meyer_remarques_1981 bony_microlocal_1991 alinhac_operateurs_1991 bahouri_fourier_2011 hormander_nash_moser_1990 gubinelli_paracontrolled_2015 gubinelli_lectures_2015 gubinelli_kpz_2015 catellier_paracontrolled_2013 mourrat_global_2016 allez_continuous_2015 bailleul_heat_2015 bailleul_higher_2016 hairer_theory_2014 hairer_singular_2014 friz_course_2014 lyons_differential_1998 lyons_system_2002 lyons_differential_2007 hairer_theory_2014 hairer_solving_2013 hairer_dynamical_2014 hairer_class_2015 hairer_large_2016 gubinelli_paracontrolled_2015 bahouri_fourier_2011 gubinelli_paracontrolled_2015 gubinelli_paracontrolled_2015 hofmanova gubinelli_paracontrolled_2015 gubinelli_paracontrolled_2015 bahouri_fourier_2011 gubinelli_paracontrolled_2015 gubinelli_lectures_2015 gubinelli_paracontrolled_2015 bahouri_fourier_2011 bahouri_fourier_2011 bahouri_fourier_2011 gubinelli_paracontrolled_2015 gubinelli_lectures_2015 Bony1981 meyer_remarques_1981 gubinelli_paracontrolled_2015 gubinelli_paracontrolled_2015 <\associate|toc> |math-font-series||1.Introduction> |.>>>>|> |Notations |.>>>>|> > |math-font-series||2.Nonlinear paraproducts> |.>>>>|> |2.1.Nonlinear commutator |.>>>>|> > |2.2.Approximate paradifferential problem |.>>>>|> > |math-font-series||3.Paracontrolled Ansatz> |.>>>>|> |math-font-series||4.Local wellposedness> |.>>>>|> |math-font-series||5.Renormalization> |.>>>>|> |math-font-series||6.Nonlinear source terms> |.>>>>|> |math-font-series||7.Full generality> |.>>>>|> |math-font-series||Appendix A.Besov spaces and linear paraproducts> |.>>>>|> |A.1.Bony's paraproduct |.>>>>|> > |math-font-series||Bibliography> |.>>>>|>