IAS Physics Group Meeting
Anomalous Dissipation and Flows of Rough Vector Fields
The Institute for Advanced Study requires that all adult visitors, collaborators, conference and on-campus seminar attendees and outside vendors coming to the Institute are required to have completed a COVID-19 vaccination and booster in order to enter the IAS campus. Individuals must be prepared to present proof of vaccination if asked and are expected to follow the Institute's Covid-19 Procedures. Masks are optional while indoors. Additional information can be found at:
https://www.ias.edu/covid-19-procedures
Abstract: Consider smooth solutions to the 3d Navier-Stokes for divergence-free vector fields $u^\varepsilon$:
\[
\partial_t u^\varepsilon + {\rm div}\, (u^\varepsilon \otimes u^\varepsilon ) + \nabla p^\varepsilon = \varepsilon \Delta u^\varepsilon
\]
While the balance of the energy is
\[
\frac{d}{dt} \int |u^\varepsilon|^2 (x,t)\, dx = - 2 \varepsilon \int |Du^\varepsilon|^2 (x,t)\, dx\, ,
\]
it is a tenet of the theory of fully developed turbulence that in a variety of situations the size of the left hand side should typically be independent of $\varepsilon$. However this ``anomalous'' dissipation should not be triggered by an hypothetical initial datum $u^\varepsilon (\cdot, 0)$ in which we ignite lots of oscillations: a rule of thumb would be that, if the {\em linear} Stokes equations exhibit a similar behavior, then the roughness of the initial data is certainly excessive.
Producing rigorous mathematical examples of this prediction is hard: a tight control on the smoothness of the initial data forces the solutions to converge to classical solutions of the Euler equation and therefore rules out any possible dissipation, unless one shows a quite severe blow-up for smooth solutions of Euler; for sufficiently rough initial data this obstruction is absent, but proving something about the solutions of Navier-Stokes becomes very challenging.
In a recent joint work with Elia Brué we study what happens if we introduce a forcing term $f^\varepsilon$. The problem is compatively easier and it can be proved that there is an exact regularity threshold below which anomalous dissipation happens in some examples and above which it would only be possible through a blow-up scenario. Surprisingly one side of the problem is linked with some fundamental questions about solving ODEs with rough coefficients.