On the stability of global solutions to Navier–Stokes equations in the space

AbstractWe show that the global solutions to the Navier–Stokes equations in R3 with data in VMO−1 which belong to the space defined by Koch and Tataru are stable, in the sense that they vanish at infinity (in time), that they depend analytically on their data, and that the set of Cauchy data giving rise to such a solution is open in the BMO−1 topology. We then study the case of more regular data

The Kato square root problem on vector bundles with generalised bounded geometry

We consider smooth, complete Riemannian manifolds which are exponentially locally doubling. Under a uniform Ricci curvature bound and a uniform lower bound on injectivity radius, we prove a Kato square root estimate for certain coercive operators over the bundle of finite rank tensors. These results are obtained as a special case of similar estimates on smooth vector bundles satisfying a criterion which we call generalised bounded geometry. We prove this by establishing quadratic estimates for perturbations of Dirac type operators on such bundles under an appropriate set of assumptions.Comment: Slight technical modification of the notion of "GBG constant section" on page 7, and a few technical modifications to Proposition 8.4, 8.6, 8.

Conical square function estimates in UMD Banach spaces and applications to H-infinity functional calculi

We study conical square function estimates for Banach-valued functions, and introduce a vector-valued analogue of the Coifman-Meyer-Stein tent spaces. Following recent work of Auscher-McIntosh-Russ, the tent spaces in turn are used to construct a scale of vector-valued Hardy spaces associated with a given bisectorial operator (A) with certain off-diagonal bounds, such that (A) always has a bounded (H^{\infty})-functional calculus on these spaces. This provides a new way of proving functional calculus of (A) on the Bochner spaces (L^p(\R^n;X)) by checking appropriate conical square function estimates, and also a conical analogue of Bourgain's extension of the Littlewood-Paley theory to the UMD-valued context. Even when (X=\C), our approach gives refined (p)-dependent versions of known results.Comment: 28 pages; submitted for publicatio

On the L_p-solvability of higher order parabolic and elliptic systems with BMO coefficients

We prove the solvability in Sobolev spaces for both divergence and non-divergence form higher order parabolic and elliptic systems in the whole space, on a half space, and on a bounded domain. The leading coefficients are assumed to be merely measurable in the time variable and have small mean oscillations with respect to the spatial variables in small balls or cylinders. For the proof, we develop a set of new techniques to produce mean oscillation estimates for systems on a half space.Comment: 44 pages, introduction revised, references expanded. To appear in Arch. Rational Mech. Ana

Green's functions for parabolic systems of second order in time-varying domains

We construct Green's functions for divergence form, second order parabolic systems in non-smooth time-varying domains whose boundaries are locally represented as graph of functions that are Lipschitz continuous in the spatial variables and 1/2-H\"older continuous in the time variable, under the assumption that weak solutions of the system satisfy an interior H\"older continuity estimate. We also derive global pointwise estimates for Green's function in such time-varying domains under the assumption that weak solutions of the system vanishing on a portion of the boundary satisfy a certain local boundedness estimate and a local H\"older continuity estimate. In particular, our results apply to complex perturbations of a single real equation.Comment: 25 pages, 0 figur

Maximal regularity for non-autonomous equations with measurable dependence on time

In this paper we study maximal $L^p$-regularity for evolution equations with time-dependent operators $A$. We merely assume a measurable dependence on time. In the first part of the paper we present a new sufficient condition for the $L^p$-boundedness of a class of vector-valued singular integrals which does not rely on H\"ormander conditions in the time variable. This is then used to develop an abstract operator-theoretic approach to maximal regularity. The results are applied to the case of $m$-th order elliptic operators $A$ with time and space-dependent coefficients. Here the highest order coefficients are assumed to be measurable in time and continuous in the space variables. This results in an $L^p(L^q)$-theory for such equations for $p,q\in (1, \infty)$. In the final section we extend a well-posedness result for quasilinear equations to the time-dependent setting. Here we give an example of a nonlinear parabolic PDE to which the result can be applied.Comment: Application to a quasilinear equation added. Accepted for publication in Potential Analysi

Blow-up of critical Besov norms at a potential Navier-Stokes singularity

We show that the spatial norm of any strong Navier-Stokes solution in the space X must become unbounded near a singularity, where X may be any critical homogeneous Besov space in which local existence of strong solutions to the 3-d Navier-Stokes system is known. In particular, the regularity of these spaces can be arbitrarily close to -1, which is the lowest regularity of any Navier-Stokes critical space. This extends a well-known result of Escauriaza-Seregin-Sverak (2003) concerning the Lebesgue space $L^3$, a critical space with regularity 0 which is continuously embedded into the spaces we consider. We follow the "critical element" reductio ad absurdum method of Kenig-Merle based on profile decompositions, but due to the low regularity of the spaces considered we rely on an iterative algorithm to improve low-regularity bounds on solutions to bounds on a part of the solution in spaces with positive regularity