Criticality and stochasticity in quasilinear fluid systems

Original Announcement

Stochastic Part of the workshop
The research direction on the stochastic partial differnetial equations (PDEs) of fluids has seen remarkable progress in recent years. Efforts to extend the technique of convex integration to stochastic PDEs has started only in the past several years, and in particular, the non-uniqueness in law of the three-dimensional stochastic Navier-Stokes equations at the level of probabilistically-strong solutions was successfully shown. Nonetheless, various problems remain; e.g., currently, the types of random noise with which one can prove such non-uniqueness is very limited. On the other hand, there is a growing body of evidence that noise can somehow regularize the solution and thereby induce global well-posedness. Finally, the research direction on singular stochastic PDEs has seen tremendous advances in the past decade with the inventions and extensions of rough path theory, the theory of regularity structures, and the theory of paracontrolled distributions to prove well-posedness of such PDEs which consist of non-linear terms that are classically ill-defined. It is of great interest if one can make connections among new results from these research directions.

Criticality of Singularity Formation
The Euler system of PDEs for incompressible ideal fluids is one of the oldest partial differential equations to be written down. Despite its relatively simple form, it is a very accurate model to describe the dynamics of inviscid incompressible flows. However, the mathematical structure of its solutions is still very mysterious. Recently, several stunning results have emerged, challenging classical mathematical perceptions of the model. For instance, the convex integration method produces infinitely many solutions to the Cauchy problem jeopardizing hopes of proving well-posedness. Finite time blow-ups solutions with certain Holder-class initial values have been exhibited, showing pathologies of the equation even for classical solutions. Moreover, it has been shown that some of these surprising behaviors are closely related to turbulence, as demonstrated by the recent proof of the Onsager conjecture. A part of the workshop will be dedicated to study some of the consequences of these new results. The following problems may be considered during the workshop:

1. Constructing a probability measure on the infinite set of solutions which is consistent with the physical statistic treatment of turbulence.
2. Studying further the relation between finite time blow-up and linear instability.
3. Constructing blow-ups with smoother initial values.
4. Turbulence and boundaries: Can some of the properties predicted by the convex integration model be recovered through the inviscid limit of Navier-Stokes beyond the Kato situation? For instance, the convex integration predicts an upper bound on the the layer separation. Can we prove that this upper bound cannot be violated via the inviscid limit?
5. How can one reconcile non-uniqueness and patterns predictability?
6. Ignited by the recent advances in hydrodynamics equations, can we achieve a better understanding of magnetohydrodynamics (MHD) turbulence? The MHD model is a coupled system of the Navier-Stokes equation (NSE) and Maxwell's equation. It exhibits similar structures as the NSE, but with additional complexity. Is it possible to construct solutions for the 3D MHD with certain geometry symmetry such that the solutions develop singularity in finite time? Are we able to obtain numerical evidences that support the argument of finite time singularity formation?

Numerical/Computational
Numerical and computational studies are not only of practical importance, but they can also shed light on theoretical questions. By the same token, theoretical developements often drive advancements in numerical and computational capabilities. The very first civilian applications of computers were simulations of problems in fluid dynamics, and to this day, developing faster, more reliable, and more accurate techniques for solving fluid equations remains a challenging major area within scientific computing. Recently, there have been several promising new research directions aimed at investigating the possibility of singularity formation in the Navier-Stokes equations. Along these lines, in the workshop, we will consider the following problems:

1. To what extent does the computational evidence support the existence (or non-existence) of a singularity for the 3D Navier-Stokes or 3D Euler equations in high-resolution studies?
2. To what extent do solutions of the Navier-Stokes and Euler equations saturate well-known energy bounds? (Said another way: is there any hope of significantly improving theoretical estimates?)
3. For which types of forcing do projections of the global attractor onto, e.g., the energy-enstrophy plane, fill out the known geometric bounds on the attractor? What can we say computationally about estimes on the dimension of the attractor?
4. Can the so-called "wild" solutions built using convex integration techqniue be reliably realized computationally, and if so, what can one say about their stability in standard computational schemes? Moreover, do such solutions appear to be of Leray-Hopf type?
5. Do numerical approximations produce suitable weak solutions in the sense of Dunchon and Robert?
6. How do the answers to the above questions change with respect to the boundary condtions? For instance, there are simple example of nonlinear parabolic-type PDEs that are globally well-posed under periodic boundary conditions, but that have smooth solutions that develop a singularity in finite-time under homogeneous Dirichlet boundary conditions.

Material from the workshop

The workshop schedule.

A report on the workshop activities.

A list of open problems.

Workshop Videos