[Paper Review] A quantitative formulation of the global regularity problem for the periodic Navier-Stokes equation

Terence Tao|ArXiv.org|Oct 8, 2007

Navier-Stokes equation solutions8 references3 citations

TL;DR

This paper establishes the equivalence between the qualitative global regularity conjecture for the periodic Navier-Stokes equation and two quantitative a priori bounds: one for short-time (T ≤ 1) and one for global-in-time solutions. Using compactness arguments in Sobolev spaces, it proves that global smooth solutions exist for all smooth, divergence-free initial data if and only if the H¹ norm of the solution remains uniformly bounded over time, with the bound depending only on the initial H¹ norm.

ABSTRACT

The global regularity problem for the periodic Navier-Stokes system asks whether to every smooth divergence-free initial datum $u_0: (\R/\Z)^3 o \R^3$ there exists a global smooth solution u. In this note we observe (using a simple compactness argument) that this qualitative question is equivalent to the more quantitative assertion that there exists a non-decreasing function $F: \R^+ o \R^+$ for which one has a local-in-time \emph{a priori} bound $$ \| u(T) \|_{H^1_x((\R/\Z)^3)} \leq F(\|u_0\|_{H^1_x((\R/\Z)^3)})$$ for all $0 < T \leq 1$ and all smooth solutions $u: [0,T] imes (\R/\Z)^3 o \R^3$ to the Navier-Stokes system. We also show that this local-in-time bound is equivalent to the corresponding global-in-time bound.

Motivation & Objective

• To resolve the long-standing open problem of global regularity for the periodic Navier-Stokes equations by reformulating it in quantitative terms.
• To show that the qualitative conjecture of global smooth solutions is equivalent to a uniform a priori bound on the H¹ norm of solutions over time.
• To demonstrate that a local-in-time a priori bound (up to T=1) is sufficient to imply global regularity, thus reducing the problem to a finite-time estimate.
• To emphasize that any proof or disproof of global regularity must involve quantitative control of subcritical norms like H¹, ruling out purely qualitative methods.
• To clarify that failure of global regularity would manifest as norm explosion in H¹, providing a concrete criterion for potential counterexamples.

Proposed method

• Uses a compactness argument based on weak convergence in H¹ and strong convergence in C⁰ₜH¹ on compact time intervals to link local and global behavior.
• Applies the local well-posedness of Navier-Stokes in H¹ to ensure existence of solutions on short time intervals depending on initial data size.
• Employs a contradiction argument assuming a sequence of solutions with bounded initial H¹ norm but unbounded H¹ norm at later times, leading to inconsistency with weak convergence and strong convergence on compact subintervals.
• Leverages the fact that the H¹ norm is subcritical and that the solution map is continuous on bounded sets in H¹, with Lipschitz continuity on bounded subsets when the mean is fixed.
• Uses the equivalence of short-time and global a priori bounds by showing that a uniform bound up to T=1 implies a bound for all T>1 via iterative application.
• Defines a function F(A) as the supremum of the C⁰ₜH¹ norm over all solutions with initial H¹ norm ≤ A, and shows that global regularity is equivalent to F(A) < ∞ for all A.

Experimental results

Research questions

• RQ1 Is the global regularity conjecture for the periodic Navier-Stokes equation equivalent to a uniform a priori bound on the H¹ norm of solutions over time?
• RQ2 Can the global existence of smooth solutions be reduced to a short-time (T ≤ 1) a priori bound in H¹?
• RQ3 Does the failure of global regularity necessarily lead to unbounded growth in the H¹ norm of the solution, even when initial data is bounded in H¹?
• RQ4 Can the solution map from initial data in H¹ to the solution flow be shown to be globally Lipschitz continuous on bounded sets?
• RQ5 Is it possible to verify the finiteness of the a priori bound function F(A) in finite time using numerical approximations and compactness?

Key findings

• The global regularity conjecture for periodic Navier-Stokes is equivalent to the existence of a non-decreasing function F such that ‖u(T)‖_{H¹} ≤ F(‖u₀‖_{H¹}) for all T ∈ (0,1] and all smooth solutions.
• The short-time a priori bound (up to T=1) is equivalent to the global-in-time a priori bound, so proving one implies the other.
• If the global regularity conjecture fails, there exists a critical H¹ norm level A_c < ∞ such that F(A_c) = ∞ while F(A) < ∞ for all A < A_c.
• The solution map u₀ ↦ u is continuous on H¹₀(Ω), and Lipschitz continuous on bounded subsets when the mean of u₀ is fixed.
• The function F(A) is finite for small A and right-continuous, suggesting a threshold behavior at which regularity may break down.
• The finiteness of F(A) for a given A can be verified in finite time via numerical approximation and compactness, but F(A) = ∞ cannot be verified in finite time.