Abstract:Recently, strong evidence has accumulated that some solutions to the Navier-Stokes equations in physically meaningful classes are not unique. The primary purpose of this paper is to establish necessary properties for the error of hypothetical non-unique Navier-Stokes flows under conditions motivated by the scaling of the equations. Our first set of results show that some scales are necessarily active -- comparable in norm to the full error -- as solutions separate. `Scale' is interpreted in several ways, namely via algebraic bounds, the Fourier transform and discrete volume elements. These results include a new type of uniqueness criteria which is stated in terms of the error. The second result is a conditional predictability criteria for the separation of small perturbations. An implication is that the error necessarily activates at larger scales as flows de-correlate. The last result says that the error of the hypothetical non-unique Leray-Hopf solutions of Jia and Sverak locally grows in a self-similar fashion. Consequently, within the Leray-Hopf class, energy can de-correlate at a rate which is faster than linear. This contrasts numerical work on predictability which identifies a linear rate. This discrepancy can likely be explained by the fact that non-uniqueness can be viewed as a perturbation of a singular flow.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper "Remarks on the Separation of Navier - Stokes Flows" attempts to solve problems related to the uniqueness and predictability of solutions to the Navier - Stokes equations. Specifically, the main purposes of the paper are:
1. **Establish necessary properties of non - unique solution errors**:
- The author explores the properties that the errors of non - unique Navier - Stokes fluid solutions must satisfy under certain assumptions. These conditions are mainly inspired by the scale - invariance of the equations.
- The author explains the concept of "scale" in various ways such as algebraic boundaries, Fourier transforms, and discrete volume elements, and shows that when the solution separates, certain scales must be active, that is, the norms of these scales are comparable to the total error.
2. **Propose new uniqueness criteria**:
- The author proposes new types of uniqueness criteria based on errors. These criteria are different from traditional uniqueness conditions because they transfer the conditions from the background flow to the errors.
- These new criteria help to understand how non - unique solutions evolve, especially the stability issues in forecasting.
3. **Study the decorrelation of small perturbations**:
- The author explores how small perturbations lose their correlation during the time - evolution process. The motivation for this part of the research comes from predictive work.
- The author establishes a conditional predictability criterion, indicating that energy decorrelation requires a specific active configuration at certain wavenumbers within the dissipation range.
4. **Analyze the properties of the hypothesized non - unique solutions proposed by Jia and Šverák**:
- The author discusses the local self - similar growth properties in the Leray - Hopf class of the hypothesized non - unique solutions proposed by Jia and Šverák.
- The author points out that these hypothesized non - unique solutions will lead to the non - universality of the linear separation rate, which is different from the linear separation rate observed in numerical simulations.
### Main results
1. **Scales under algebraic interpretation**:
- Theorem 1.1 shows that under the algebraic scale interpretation, if the norm of the error is dominant in a certain region, then the solution is unique.
- The author also gives upper and lower bound estimates of the error, further illustrating that when the solution separates, certain intermediate scales must be active.
2. **Scales under frequency interpretation**:
- Theorem 1.3 explores the properties of scales from the perspective of frequency. The author shows that under the frequency scale, low - frequency and intermediate - frequency must be active to ensure the non - uniqueness of the solution.
- The author also proposes a conditional predictability criterion, indicating that under certain conditions, the fluid will not decorrelate.
3. **Scales under discrete interpretation**:
- Theorem 1.4 explores the properties of scales from the perspective of discrete volume elements. The author shows that under the discrete scale, large - scale must be active to ensure the non - uniqueness of the solution.
- The author also proposes a conditional predictability criterion, indicating that under certain conditions, the fluid will not decorrelate.
4. **Predictability criterion**:
- Theorem 1.5 proposes a conditional predictability criterion, stating that under certain conditions, the fluid will not decorrelate. This criterion has similarities with the research results of data assimilation and determination functions.
5. **Properties of hypothesized non - unique solutions**:
- Proposition 1.6 restates the results of Jia and Šverák and adds a new lower bound estimate of the error energy, indicating that the linear error energy separation rate may not be universal in the Leray - Hopf class.
### Conclusion
The paper explores the non - uniqueness and predictability problems of solutions to the Navier - Stokes equations through multiple scale interpretations. The author proposes new uniqueness criteria and predictability criteria, providing new perspectives for understanding and forecasting the behavior of non - unique solutions. These results are of great significance for fluid mechanics and turbulence prediction.