Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Reformulation and Interpretation of the Regularity Criterion for 3D NSE Based on Finitely Many Observations

Abhishek Balakrishna, Animikh Biswas

Abstract

We revisit and sharpen a recent observable regularity criterion for the three-dimensional Navier-Stokes equations on the periodic cube by requiring only finitely many measurements of the flow on a given time interval. Two data models are treated: (i) modal observations (a finite set of low Fourier modes), and (ii) nodal observations, i.e. values of the velocity field sampled at finitely many points on a uniform grid. The key upgrade is a piecewise linear interpolant built on a fixed five-tetrahedra subdivision of each grid cube, which removes the mollification step used previously and yields an explicit control of the derivatives of the interpolation operator purely in terms of the measured data. The criterion is also shown to be both necessary and sufficient for regularity.

Reformulation and Interpretation of the Regularity Criterion for 3D NSE Based on Finitely Many Observations

Abstract

We revisit and sharpen a recent observable regularity criterion for the three-dimensional Navier-Stokes equations on the periodic cube by requiring only finitely many measurements of the flow on a given time interval. Two data models are treated: (i) modal observations (a finite set of low Fourier modes), and (ii) nodal observations, i.e. values of the velocity field sampled at finitely many points on a uniform grid. The key upgrade is a piecewise linear interpolant built on a fixed five-tetrahedra subdivision of each grid cube, which removes the mollification step used previously and yields an explicit control of the derivatives of the interpolation operator purely in terms of the measured data. The criterion is also shown to be both necessary and sufficient for regularity.
Paper Structure (5 sections, 2 theorems, 16 equations, 1 figure)

This paper contains 5 sections, 2 theorems, 16 equations, 1 figure.

Table of Contents

  1. Introduction
  2. Notation and Preliminaries
  3. Interpolation Operator
  4. $H^1$-norm of $Iu$ purely in terms of data
  5. Main Result and Brief Discussion

Key Result

Theorem 5.1

Let $u$ be a Leray-Hopf weak solution to the 3D NSE given by the equations on the left of 3dnav such that $u(0)\in V$ and $M_{h,[0,T]}$ be defined by mh. If there exists an $h>0$ such that for some adequate, non-dimensional absolute constant $c$, then $u$ is regular, with $\|u(t)\|\lesssim W_h$ for $t\in [0,T]$.

Figures (1)

  • Figure 1: Five copies of the cube; each panel highlights one tetrahedron of the standard 5-tetrahedra triangulation.

Theorems & Definitions (3)

  • Theorem 5.1
  • Theorem 5.2
  • proof