You are currently browsing the monthly archive for January 2019.
Monthly Archive
255B, Notes 2: Onsager’s conjecture
8 January, 2019 in 255B - incompressible Euler equations, math.AP | Tags: convex integration, Euler equations, Nash embedding theorem, Onsager's conjecture | by Terence Tao | 24 comments
We consider the incompressible Euler equations on the (Eulerian) torus , which we write in divergence form as
where is the (inverse) Euclidean metric. Here we use the summation conventions for indices such as
(reserving the symbol
for other purposes), and are retaining the convention from Notes 1 of denoting vector fields using superscripted indices rather than subscripted indices, as we will eventually need to change variables to Lagrangian coordinates at some point. In principle, much of the discussion in this set of notes (particularly regarding the positive direction of Onsager’s conjecture) could also be modified to also treat non-periodic solutions that decay at infinity if desired, but some non-trivial technical issues do arise non-periodic settings for the negative direction.
As noted previously, the kinetic energy
is formally conserved by the flow, where is the Euclidean metric. Indeed, if one assumes that
are continuously differentiable in both space and time on
, then one can multiply the equation (1) by
and contract against
to obtain
which rearranges using (2) and the product rule to
and then if one integrates this identity on and uses Stokes’ theorem, one obtains the required energy conservation law
It is then natural to ask whether the energy conservation law continues to hold for lower regularity solutions, in particular weak solutions that only obey (1), (2) in a distributional sense. The above argument no longer works as stated, because is not a test function and so one cannot immediately integrate (1) against
. And indeed, as we shall soon see, it is now known that once the regularity of
is low enough, energy can “escape to frequency infinity”, leading to failure of the energy conservation law, a phenomenon known in physics as anomalous energy dissipation.
But what is the precise level of regularity needed in order to for this anomalous energy dissipation to occur? To make this question precise, we need a quantitative notion of regularity. One such measure is given by the Hölder space for
, defined as the space of continuous functions
whose norm
is finite. The space lies between the space
of continuous functions and the space
of continuously differentiable functions, and informally describes a space of functions that is “
times differentiable” in some sense. The above derivation of the energy conservation law involved the integral
that roughly speaking measures the fluctuation in energy. Informally, if we could take the derivative in this integrand and somehow “integrate by parts” to split the derivative “equally” amongst the three factors, one would morally arrive at an expression that resembles
which suggests that the integral can be made sense of for once
. More precisely, one can make
Conjecture 1 (Onsager’s conjecture) Let
and
, and let
.
- (i) If
, then any weak solution
to the Euler equations (in the Leray form
) obeys the energy conservation law (3).
- (ii) If
, then there exist weak solutions
to the Euler equations (in Leray form) which do not obey energy conservation.
This conjecture was originally arrived at by Onsager by a somewhat different heuristic derivation; see Remark 7. The numerology is also compatible with that arising from the Kolmogorov theory of turbulence (discussed in this previous post), but we will not discuss this interesting connection further here.
The positive part (i) of Onsager conjecture was established by Constantin, E, and Titi, building upon earlier partial results by Eyink; the proof is a relatively straightforward application of Littlewood-Paley theory, and they were also able to work in larger function spaces than (using
-based Besov spaces instead of Hölder spaces, see Exercise 3 below). The negative part (ii) is harder. Discontinuous weak solutions to the Euler equations that did not conserve energy were first constructed by Sheffer, with an alternate construction later given by Shnirelman. De Lellis and Szekelyhidi noticed the resemblance of this problem to that of the Nash-Kuiper theorem in the isometric embedding problem, and began adapting the convex integration technique used in that theorem to construct weak solutions of the Euler equations. This began a long series of papers in which increasingly regular weak solutions that failed to conserve energy were constructed, culminating in a recent paper of Isett establishing part (ii) of the Onsager conjecture in the non-endpoint case
in three and higher dimensions
; the endpoint
remains open. (In two dimensions it may be the case that the positive results extend to a larger range than Onsager's conjecture predicts; see this paper of Cheskidov, Lopes Filho, Nussenzveig Lopes, and Shvydkoy for more discussion.) Further work continues into several variations of the Onsager conjecture, in which one looks at other differential equations, other function spaces, or other criteria for bad behavior than breakdown of energy conservation. See this recent survey of de Lellis and Szekelyhidi for more discussion.
In these notes we will first establish (i), then discuss the convex integration method in the original context of the Nash-Kuiper embedding theorem. Before tackling the Onsager conjecture (ii) directly, we discuss a related construction of high-dimensional weak solutions in the Sobolev space for
close to
, which is slightly easier to establish, though still rather intricate. Finally, we discuss the modifications of that construction needed to establish (ii), though we shall stop short of a full proof of that part of the conjecture.
We thank Phil Isett for some comments and corrections.
Recent Comments