Arxiv:1303.5113V4 [Math.AP] 15 Feb 2014 S Class: MSC Keywords: Introduction 1 Contents
Total Page:16
File Type:pdf, Size:1020Kb
A theory of regularity structures February 18, 2014 M. Hairer Mathematics Department, University of Warwick Email: [email protected] Abstract We introduce a new notion of “regularity structure” that provides an algebraic frame- work allowing to describe functions and / or distributions via a kind of “jet” or local Taylor expansion around each point. The main novel idea is to replace the classical polynomial model which is suitable for describing smooth functions by arbitrary mod- els that are purpose-built for the problem at hand. In particular, this allows to describe the local behaviour not only of functions but also of large classes of distributions. We then build a calculus allowing to perform the various operations (multiplication, composition with smooth functions, integration against singular kernels) necessary to formulate fixed point equations for a very large class of semilinear PDEs driven by some very singular (typically random) input. This allows, for the first time, to give a mathematically rigorous meaning to many interesting stochastic PDEs arising in physics. The theory comes with convergence results that allow to interpret the so- lutions obtained in this way as limits of classical solutions to regularised problems, possibly modified by the addition of diverging counterterms. These counterterms arise naturally through the action of a “renormalisation group” which is defined canonically in terms of the regularity structure associated to the given class of PDEs. Our theory also allows to easily recover many existing results on singular stochastic PDEs (KPZ equation, stochastic quantisation equations, Burgers-type equations) and to understand them as particular instances of a unified framework. One surprising insight is that in all of these instances local solutions are actually “smooth” in the sense that they can be approximated locally to arbitrarily high degree as linear combinations of a fixed family of random functions / distributions that play the role of “polynomials” in the theory. As an example of a novel application, we solve the long-standing problem of build- ing a natural Markov process that is symmetric with respect to the (finite volume) mea- arXiv:1303.5113v4 [math.AP] 15 Feb 2014 4 sure describing the Φ3 Euclidean quantum field theory. It is natural to conjecture that the Markov process built in this way describes the Glauber dynamic of 3-dimensional ferromagnets near their critical temperature. Keywords: Stochastic PDEs, Renormalisation, Wick products, quantum field theory MSC class: 60H15, 81S20, 82C28 Contents 1 Introduction 3 1.1 Some examples of interesting stochastic PDEs . ......... 5 1.2 Onregularitystructures . .... 7 2 1.3 Mainresults:abstracttheory. ...... 8 1.4 Onrenormalisationprocedures . ..... 11 1.5 Mainresults:applications . ..... 12 1.6 Alternativetheories . 15 1.7 Notations ..................................... 18 2 Abstract regularity structures 18 2.1 Basic properties of regularity structures . ........... 21 2.2 The polynomial regularity structure . ........ 21 2.3 Modelsforregularitystructures . ....... 25 2.4 Automorphisms of regularity structures . ......... 28 3 Modelled distributions 29 3.1 Elementsofwaveletanalysis . 33 α 3.2 A convergence criterion in Cs ........................... 35 3.3 The reconstruction theorem for distributions . ........... 39 3.4 The reconstruction theorem for functions . ......... 43 3.5 Consequences of the reconstruction theorem . ......... 44 3.6 Symmetries .................................... 46 4 Multiplication 48 4.1 Classicalmultiplication . ..... 54 4.2 Compositionwithsmoothfunctions . ...... 55 4.3 RelationtoHopfalgebras . 57 4.4 Roughpaths.................................... 59 5 Integration against singular kernels 62 5.1 Proofoftheextensiontheorem . 69 5.2 Multi-levelSchauderestimate . ...... 77 5.3 Thesymmetriccase ................................ 82 5.4 Differentiation................................. 83 6 Singular modelled distributions 84 6.1 Reconstructiontheorem . 88 6.2 Multiplication .................................. 91 6.3 Compositionwithsmoothfunctions . ...... 93 6.4 Differentiation................................. 95 6.5 Integration against singular kernels . ......... 95 7 Solutions to semilinear (S)PDEs 98 7.1 Short-time behaviour of convolution kernels . .......... 99 7.2 Theeffectoftheinitialcondition . .......103 7.3 Ageneralfixedpointmap . 106 8 Regularity structures for semilinear (S)PDEs 111 8.1 Generalalgebraicstructure . 114 8.2 Realisations of the general algebraic structure . .............125 8.3 Renormalisation group associated to the general algebraic structure . 128 9 Two concrete renormalisation procedures 136 9.1 Renormalisationgroupfor(PAMg) . 136 4 9.2 Renormalisation group for the dynamical Φ3 model ...............137 9.3 Renormalised equations for (PAMg) . 138 4 9.4 Solution theory for the dynamical Φ3 model ...................142 INTRODUCTION 3 10 Homogeneous Gaussian models 147 10.1 Wiener chaos decomposition . 148 10.2 Gaussian models for regularity structures . ...........150 10.3 Functions with prescribed singularities . ...........154 10.4 Wick renormalisation and the continuous parabolic Anderson model . 159 4 10.5 The dynamical Φ3 model .............................165 A A generalised Taylor formula 172 B Symbolic index 174 1 Introduction The purpose of this article is to develop a general theory allowing to formulate, solve and analyse solutions to semilinear stochastic partial differential equations of the type u = F (u, ξ), (1.1) L where is a (typically parabolic but possibly elliptic) differential operator, ξ is a (typ- ically veryL irregular) random input, and F is some nonlinearity. The nonlinearity F does not necessarily need to be local, and it is also allowed to depend on some partial derivatives of u, as long as these are of strictly lower order than . One example of ran- dom input that is of particular interest in many situations arisingL from the large-scale behaviour of some physical microscopic model is that of white noise (either space-time or just in space), but let us stress immediately that Gaussianity is not essential to the theory, although it simplifies certain arguments. Furthermore, we will assume that F depends on ξ in an affine way, although this could in principle be relaxed to some polynomial dependencies. Our main assumption will be that the equation described by (1.1) is locally subcriti- cal (see Assumption 8.3 below). Roughly speaking, this means that if one rescales (1.1) in a way that keeps both u and ξ invariant then, at small scales, all nonlinear terms formally disappear. A “na¨ıve”L approach to such a problem is to consider a sequence of regularised problems given by u = F (u , ξ ), (1.2) L ε ε ε where ξε is some smoothened version of ξ (obtained for example by convolution with a smooth mollifier), and to show that uε converges to some limit u which is independent of the choice of mollifier. This approach does in general fail, even under the assumption of local subcriticality. Indeed, consider the KPZ equation on the line [KPZ86], which is the stochastic PDE formally given by 2 2 ∂th = ∂xh + (∂xh) + ξ , (1.3) where ξ denotes space-time white noise. This is indeed of the form (1.1) with = 2 2 L ∂t ∂x and F (h, ξ) = (∂xh) + ξ and it is precisely this kind of problem that we have− in mind. Furthermore, if we zoom into the small scales by writing h˜(x, t) = δ−1/2h(δx,δ2t) and ξ˜(x, t) = δ3/2ξ(δx,δ2t) for some small parameter δ, then we have that on the one hand ξ˜equals ξ in distribution, and on the other hand h˜ solves ˜ 2˜ 1/2 ˜ 2 ˜ ∂th = ∂xh + δ (∂xh) + ξ . As δ 0 (which corresponds to probing solutions at very small scales), we see that, at least→ at a formal level, the nonlinearity vanishes and we simply recover the stochastic INTRODUCTION 4 heat equation. This shows that the KPZ equation is indeed locally subcritical in dimen- sion 1. On the other hand, if we simply replace ξ by ξε in (1.3) and try to take the limit 2 ε 0, solutions diverge due to the ill-posedness of the term (∂xh) . →However, in this case, it is possible to devise a suitable renormalisation procedure [BG97, Hai13], which essentially amounts to subtracting a very large constant to the right hand side of a regularised version of (1.3). This then ensures that the correspond- ing sequence of solutions converges to a finite limit. The purpose of this article is to build a general framework that goes far beyond the example of the KPZ equation and allows to provide a robust notion of solution to a very large class of locally subcritical stochastic PDEs that are classically ill-posed. Remark 1.1 In the language of quantum field theory (QFT), equations that are subcrit- ical in the way just described give rise to “superrenormalisable” theories. One major difference between the results presented in this article and most of the literature on quantum field theory is that the approach explored here is truly non-perturbative and therefore allows one to deal also with some non-polynomial equations like (PAMg) or (KPZ) below. We furthermoreconsider parabolic problems, wherewe need to deal with the problem of initial conditions and local (rather than global) solutions. Nevertheless, the mathematical analysis of QFT was one of the main inspirations in the development of the techniques and notations presented in Sections 8 and 10. Conceptually, the approach developed in this article for formulating and solving problems of the type (1.1) consists of three steps. 1. In an algebraic step, one first builds a