🔢 mathematics

Energy rigidity and weak-strong uniqueness for the 2D anisotropic Navier-Stokes equations

This paper establishes that for the 2D anisotropic Navier-Stokes equations, dissipation in a single spatial direction is sufficient to guarantee energy equality for all weak solutions and ensure weak-strong uniqueness, overcoming the lack of full regularity through novel pressure estimates and renormalized solution techniques.

Original authors: Josef Demmel, Emil Wiedemann

Published 2026-08-21

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Josef Demmel, Emil Wiedemann

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Fluids are everywhere, from the air we breathe to the currents that shape our oceans. When scientists try to predict how these fluids move, they rely on a set of rules known as the Navier-Stokes equations. These equations describe how velocity and pressure interact, but they are notoriously difficult to solve because fluids can swirl and twist in chaotic ways. In the real world, fluids lose energy as they move due to friction, a process called dissipation. In the standard mathematical model for fluids, this friction acts equally in every direction, smoothing out the chaos. However, in many natural settings, such as the deep ocean, the environment is not uniform. The rotation of the Earth or the layering of water can create a situation where friction acts strongly in one direction but is almost absent in another. This creates a different kind of mathematical puzzle, one where the usual rules of energy conservation might not hold, leaving open the possibility that energy could mysteriously vanish or appear out of nowhere.

Researchers Josef Demmel and Emil Wiedemann have tackled this specific puzzle for fluids moving in two dimensions, where friction acts only along a single axis. Their work confirms that even in this uneven environment, the fundamental law of energy conservation remains unbroken. They proved that for any solution to these equations that fits within the natural limits of energy, the total energy of the fluid must stay constant over time, minus the energy lost to friction. This means that energy cannot be created or destroyed by the chaotic motion of the fluid itself; it can only be lost through the specific friction that the model includes. This finding is significant because it closes a gap in our understanding of how fluids behave when the rules of physics are stretched to their limits.

The challenge in this problem was that the lack of friction in one direction meant the fluid could become rough and irregular in that specific direction. In standard fluid models, mathematicians can often prove energy conservation by testing the equations against the fluid's own motion, a technique that relies on the fluid being smooth enough in all directions. Here, the missing smoothness prevented that standard approach. The researchers realized they could not simply force the fluid to be smooth where it naturally was not. Instead, they had to find a new way to track the energy without relying on that missing smoothness. They discovered that the pressure within the fluid, which pushes the water around, was actually well-behaved and could be calculated with high precision, even when the fluid's motion was rough. By proving that this pressure was mathematically stable, they were able to separate the fluid's motion into two parts: one moving with the friction and one moving against it.

For the part of the fluid moving with the friction, the standard methods worked fine. The tricky part was the component moving without friction. The researchers found that this component, despite its roughness, still obeyed a deeper mathematical rule known as a renormalized solution. This rule ensures that the energy balance holds true even when the fluid is not perfectly smooth. By combining the behavior of the pressure with this special property of the rough component, they constructed a complete proof that the total energy of the system behaves exactly as expected. They showed that the energy at any given moment is simply the starting energy minus the energy dissipated by friction, with no hidden losses or gains.

This result has a direct consequence for how we understand the uniqueness of fluid solutions. In fluid dynamics, it is often unclear whether a set of starting conditions leads to only one possible future path or if multiple different paths are possible. The researchers showed that if one solution is smooth enough in the direction where friction is missing, and another solution is merely a standard weak solution, they must be the same if they start from the same point. In other words, the smooth solution is unique among all possible weak solutions. This provides a stronger foundation for predicting fluid behavior in anisotropic environments, confirming that even when the rules of friction are uneven, the universe still adheres to a strict accounting of energy. The work does not solve every problem regarding these equations, but it firmly establishes that energy rigidity is a feature of these systems, ruling out the possibility of anomalous energy loss or creation in this specific two-dimensional setting.

Technical Summary: Energy Rigidity and Weak-Strong Uniqueness for the 2D Anisotropic Navier–Stokes Equations

Problem Statement
The paper investigates the two-dimensional anisotropic, incompressible Navier–Stokes equations on $(0, T) \times \mathbb{R}^2$ , given by:
$\begin{cases} \partial_t u + \text{div}(u \otimes u) + \nabla p = \partial_{x_1}^2 u, \\ \text{div } u = 0, \end{cases}$
where diffusion acts only in the horizontal direction ( $x_1$ ). This system serves as an intermediate model between the Euler equations (no dissipation) and the classical isotropic Navier–Stokes equations (full dissipation).

The central mathematical challenge addressed is the validity of the energy equality for weak solutions at the natural energy level. Standard weak solutions are defined in the class $u \in L^\infty(0, T; L^2(\mathbb{R}^2))$ with $\partial_{x_1}u \in L^2(0, T; L^2(\mathbb{R}^2))$ . While the isotropic 2D Navier–Stokes equations enforce energy equality due to sufficient regularity, and the Euler equations do not, the anisotropic case presents a specific obstruction: the lack of control over the vertical derivative $\partial_{x_2}u_1$ . Consequently, the velocity field $u$ does not necessarily belong to $H^1(\mathbb{R}^2)$ , preventing the standard "self-testing" argument (testing the equation with $u$ itself) required to derive the energy balance.

Methodology
The authors overcome the lack of full gradient regularity through two primary technical innovations:

Directional Riesz-Transform Estimates for Pressure:
The authors first establish that the pressure $p$ associated with any weak solution is square-integrable ( $p \in L^2(0, T; L^2(\mathbb{R}^2))$ ). By expressing the pressure via the Poisson equation $p = R_1^2(u_1^2) + 2R_1R_2(u_1u_2) + R_2^2(u_2^2)$ , they utilize a refined directional Riesz estimate (Lemma 3.1). Specifically, they prove that $\|R_1(f^2)\|_{L^2} \leq C \|f\|_{L^2} \|\partial_{x_1}f\|_{L^2}$ . This estimate allows them to control the term involving $u_1^2$ despite the missing $\partial_{x_2}u_1$ regularity, ensuring the pressure term is well-defined in the energy balance.
Renormalization of the Horizontal Component:
To derive the energy equality for the horizontal velocity component $u_1$ (which lacks vertical regularity), the authors demonstrate that $u_1$ is a renormalized solution. They establish a commutator estimate (Proposition 5.1) adapted to the anisotropic setting, showing that the commutator $\text{div}(f^\varepsilon v - (fv)^\varepsilon)$ vanishes strongly in $L^1$ as the mollification parameter $\varepsilon \to 0$ . This relies on the fact that while $\partial_{x_2}u_1$ is unknown, the vertical component $u_2$ possesses full $H^1$ regularity due to the divergence-free constraint ( $\partial_{x_2}u_2 = -\partial_{x_1}u_1$ ). By applying the chain rule to the renormalized equation and passing to the limit, they recover the energy balance for $u_1$ without requiring $\partial_{x_2}u_1 \in L^2$ .

Key Results

Theorem 1.2 (Energy Rigidity): Every weak solution $u$ to the anisotropic system admits a unique representative in $C([0, T]; L^2(\mathbb{R}^2))$ that satisfies the anisotropic energy equality:
$\|u(t)\|_{L^2}^2 + 2\int_s^t \|\partial_{x_1}u(\tau)\|_{L^2}^2 d\tau = \|u(s)\|_{L^2}^2.$
This result confirms that neither anomalous energy loss nor creation occurs at the natural energy level, despite the anisotropic dissipation.
Theorem 1.3 (Weak-Strong Uniqueness): If $u$ and $U$ are two weak solutions with the same initial data, and if the "strong" solution $U$ possesses additional regularity in the form $\partial_{x_2}U_1 \in L^2(0, T; L^2(\mathbb{R}^2))$ , then $u(t) = U(t)$ for all $t \in (0, T]$ .
The proof utilizes the established energy equality to derive a relative energy inequality for the difference $w = u - U$ . The additional regularity of $U$ allows the nonlinear terms in the relative energy inequality to be controlled, leading to uniqueness via Grönwall's lemma.

Significance and Claims
The paper claims that the anisotropic system retains the "energy rigidity" characteristic of the isotropic Navier–Stokes equations, distinguishing it from the Euler equations where such rigidity fails. The authors emphasize that their approach does not rely on proving the non-existent global regularity $\partial_{x_2}u_1 \in L^2$ ; rather, they show that the energy equality holds without this regularity.

The work provides a rigorous foundation for the well-posedness of the system in the context of weak-strong uniqueness. It clarifies that while global existence and uniqueness for arbitrary $L^2$ initial data remain open due to the lack of compactness in standard approximation schemes, uniqueness is guaranteed if one compares a general weak solution against a solution with slightly higher regularity (specifically, control over the vertical derivative of the horizontal velocity).

The authors note that the pressure square-integrability and the renormalization property of the less regular component are the critical observations that bypass the usual obstructions in anisotropic fluid dynamics.

More like this