On the constants in a Kato inequality for the Euler and Navier-Stokes equations

TL;DR

This paper derives bounds for constants in inequalities related to the quadratic term in Euler and Navier-Stokes equations on a torus, aiding in error estimation and solution existence analysis.

Contribution

It provides new upper and lower bounds for the constants in Kato inequalities for the Euler and Navier-Stokes equations, including numerical values for specific cases.

Findings

Bounds for constants G_n in Kato inequalities are established.

Numerical bounds are computed for the case d=3 and various n.

Results enable quantitative error estimates and solution existence bounds.

Abstract

We continue an analysis, started in [10], of some issues related to the incompressible Euler or Navier-Stokes (NS) equations on a d-dimensional torus T^d. More specifically, we consider the quadratic term in these equations; this arises from the bilinear map (v, w) -> v . D w, where v, w : T^d -> R^d are two velocity fields. We derive upper and lower bounds for the constants in some inequalities related to the above bilinear map; these bounds hold, in particular, for the sharp constants G_{n d} = G_n in the Kato inequality | < v . D w | w >_n | <= G_n || v ||_n || w ||^2_n, where n in (d/2 + 1, + infinity) and v, w are in the Sobolev spaces H^n, H^(n+1) of zero mean, divergence free vector fields of orders n and n+1, respectively. As examples, the numerical values of our upper and lower bounds are reported for d=3 and some values of n. When combined with the results of [10] on another inequality, the results of the present paper can be employed to set up fully quantitative error estimates for the approximate solutions of the Euler/NS equations, or to derive quantitative bounds on the time of existence of the exact solutions with specified initial data; a sketch of this program is given.