An H^1 setting for the Navier-Stokes equations: quantitative estimates

Abstract

We consider the incompressible Navier-Stokes (NS) equations on a torus, in the setting of the spaces L^2 and H^1; our approach is based on a general framework for semi- or quasi-linear parabolic equations proposed in the previous work [9]. We present some estimates on the linear semigroup generated by the Laplacian and on the quadratic NS nonlinearity; these are fully quantitative, i.e., all the constants appearing therein are given explicitly. As an application we show that, on a three dimensional torus T^3, the (mild) solution of the NS Cauchy problem is global for each H^1 initial datum u_0 with zero mean, such that || curl u_0 ||_{L^2} <= 0.407; this improves the bound for global existence || curl u_0 ||_{L^2} <= 0.00724, derived recently by Robinson and Sadowski [10]. We announce some future applications, based again on the H^1 framework and on the general scheme of [9].

LaTeX; 33 pages

References in corpus (2)

• A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations
• On approximate solutions of semilinear evolution equations II. Generalizations, and applications to Navier-Stokes equations

Cited by in corpus (7)

• On approximate solutions of the incompressible Euler and Navier-Stokes equations
• On the constants in a Kato inequality for the Euler and Navier-Stokes equations
• On the constants in a basic inequality for the Euler and Navier-Stokes equations
• On power series solutions for the Euler equation, and the Behr-Necas-Wu initial datum
• On the Reynolds number expansion for the Navier-Stokes equations
• Smooth solutions of the Euler and Navier-Stokes equations from the a posteriori analysis of approximate solutions
• Large order Reynolds expansions for the Navier-Stokes equations