🔢 mathematics

On the equivalence of generalized solution concepts for systems of hyperbolic conservations laws in fluid dynamics

This paper establishes the equivalence between measure-valued, dissipative weak, and energy-variational solution concepts for the incompressible Euler equations and demonstrates the equivalence between energy-variational and refined dissipative weak solutions for several other key fluid dynamics systems, including the compressible isentropic Euler, Euler–Korteweg, and Euler–Poisson systems.

Original authors: Thomas Eiter, Robert Lasarzik, Emil Wiedemann

Published 2026-04-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Thomas Eiter, Robert Lasarzik, 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

Imagine you are trying to predict the weather, or how a drop of ink spreads in water, or how a crowd of people moves through a stadium. In the world of physics, these are described by complex mathematical equations called fluid dynamics.

For a long time, mathematicians hoped that if they started with perfect, smooth conditions, the equations would always give a perfect, smooth answer. But in reality, fluids are messy. They crash, swirl, and break apart into turbulence and shocks (like a sonic boom). When this happens, the "perfect" smooth solutions stop existing. The math breaks down.

To fix this, mathematicians invented "generalized solutions." Think of these as different ways to describe a messy situation when you can't see the fine details. This paper is like a translator trying to prove that three different languages used to describe this mess are actually saying the exact same thing.

Here is the breakdown of the three "languages" (solution concepts) and what the authors discovered:

1. The Three Ways to Describe the Mess

Imagine you are looking at a chaotic crowd of people running. You can't track every single person, so you use different methods to describe the flow:

Method A: The "Cloud" View (Measure-Valued Solutions)
Instead of saying "Person X is here," you say, "At this spot, there is a 30% chance of a person running left, a 50% chance of running right, and a 20% chance of standing still." You describe the probability of movement. It's like looking at a blurry cloud of possibilities rather than sharp lines.
- The Paper's Take: This is the most "fuzzy" view. It captures all the tiny, chaotic fluctuations.
Method B: The "Energy Leak" View (Dissipative Weak Solutions)
Imagine you know the crowd is moving, but you also know that energy is being lost to friction or noise. This method says, "The crowd is moving, but we are allowing for some 'defect' or 'leak' in the energy." It acknowledges that the math isn't perfect and adds a "waste basket" (called a defect measure) to catch the missing energy.
- The Paper's Take: This is a practical view. It admits the system isn't perfect but keeps track of where the energy went.
Method C: The "Best Guess" View (Energy-Variational Solutions)
This method tries to find the "best possible" path the fluid could take, given the rules of physics, by minimizing a specific "cost" (energy). It's like a hiker trying to find the path of least resistance down a mountain, even if the mountain is covered in fog.
- The Paper's Take: This is a very modern, optimization-based approach. It asks, "If the fluid is trying to be as efficient as possible, what does it look like?"

2. The Big Discovery: They Are All the Same

For decades, mathematicians wondered: If I describe the fluid using the "Cloud" view, will I get the same answer as if I use the "Energy Leak" view or the "Best Guess" view?

The authors of this paper say: Yes, they are equivalent.

They proved that for several major fluid systems (like the Euler equations for air and water), these three different mathematical descriptions are actually just different ways of looking at the exact same object.

If you have a "Cloud" solution, you can turn it into an "Energy Leak" solution.
If you have an "Energy Leak" solution, you can turn it into a "Best Guess" solution.
And vice versa.

The Analogy:
Imagine you are trying to describe a broken vase.

Method A lists every possible way the shards could be scattered.
Method B says, "Here is the main shape, but we acknowledge some pieces are missing."
Method C says, "Here is the most logical way the vase could have fallen to break this way."

The paper proves that if you know the "most logical way" it fell (Method C), you automatically know exactly how the shards are scattered (Method A) and exactly how much energy was lost (Method B). They are three sides of the same coin.

3. Why Does This Matter?

You might ask, "Why do we need three ways to say the same thing?"

Flexibility: Sometimes one method is easier to calculate on a computer, while another is easier to prove mathematically. Knowing they are equivalent means mathematicians can switch tools freely. If a proof is hard with the "Cloud" method, they can switch to the "Best Guess" method, solve it, and know the answer applies to the "Cloud" method too.
Reliability: In fluid dynamics, there are often infinitely many possible answers (non-uniqueness). By proving these concepts are linked, the paper helps scientists identify which solutions are "reasonable" and which are just mathematical artifacts.
Real-World Applications: The paper applies this to specific, tricky systems:
- Compressible Fluids: Air that can be squished (like in a jet engine).
- Euler-Korteweg: Fluids with surface tension (like water droplets forming).
- Euler-Poisson: Fluids interacting with gravity or electric fields (like stars or plasmas).

The Bottom Line

This paper is a unifying theory for fluid chaos. It tells us that whether we look at the fluid as a cloud of probabilities, a system leaking energy, or an optimizer trying to minimize cost, we are describing the same physical reality.

It's like finally realizing that "The Big Apple," "New York City," and "Gotham" are all just different names for the same place. Now that we know they are the same, we can use the best name (or the best mathematical tool) for the job at hand, confident that we aren't getting lost in translation.

1. Problem Statement

In the theory of nonlinear partial differential equations (PDEs), particularly in fluid dynamics, classical smooth solutions often fail to exist globally in time due to the formation of shocks and turbulence. This lack of compactness leads to the existence of infinitely many weak solutions, making the selection of physically relevant solutions difficult.

To address this, several "generalized" solution concepts have been developed:

Measure-valued solutions: Introduced by DiPerna and Majda, these describe the statistical distribution of oscillations and concentrations in the solution sequence.
Dissipative weak solutions: Introduced by Lions, these satisfy the weak formulation of the PDE plus an energy inequality involving a defect measure (Reynolds stress) that accounts for energy loss.
Energy-variational solutions: A newer concept introduced to prove global existence via minimizing movement schemes, incorporating a specific energy inequality with a regularity weight.

The Core Gap: While the equivalence between energy-variational and dissipative weak solutions was known for specific cases (like incompressible Euler on a torus), and the relationship between these and measure-valued solutions was often assumed, a rigorous, unified proof of equivalence across different fluid dynamic systems (both incompressible and compressible) was missing. Furthermore, the precise control of defect measures in dissipative weak solutions had not been fully characterized in relation to energy defects.

2. Methodology

The authors employ a functional analytic approach centered on duality arguments and convex analysis to establish equivalences.

Key Tool (Lemma 2.4): The central technical instrument is a lemma establishing the equivalence between:
1. The existence of specific cone-valued Radon measures (defect measures) satisfying a norm bound related to an energy defect.
2. A specific inequality involving the linear functional of the PDE residuals and a "regularity weight" $K(\phi)$ acting on the energy defect.
  This lemma allows the authors to translate the integral inequalities defining energy-variational solutions directly into the measure-theoretic definitions of dissipative weak solutions.
Refined Definitions: The authors introduce "refined" definitions of dissipative weak solutions. Unlike standard definitions where the constant relating the defect measure to the energy defect is arbitrary, these definitions determine the constant exactly and provide a sharp characterization of the defect measure using specific matrix norms (spectral, trace, and Frobenius norms).
System-Specific Analysis: The methodology is applied to four distinct systems:
1. Incompressible Euler equations.
2. Compressible isentropic Euler equations.
3. Euler–Korteweg system (capillary fluids).
4. Euler–Poisson system (self-gravitating or charged fluids with friction).

3. Key Contributions and Results

A. Incompressible Euler Equations (Section 3)

Result: The paper proves the triple equivalence of:
1. Energy-variational solutions.
2. Dissipative weak solutions.
3. Measure-valued solutions.
Significance: This is the first rigorous proof that these three distinct concepts are equivalent for the incompressible Euler equations on bounded domains.
Mechanism: The authors show that a measure-valued solution can be reconstructed from a dissipative weak solution by decomposing the Reynolds defect into an oscillation part (leading to the measure $\nu^o$ ) and a concentration part (leading to $\nu^\infty$ ). Conversely, the expectation of a measure-valued solution satisfies the energy-variational inequality.
Corollary: This equivalence immediately implies the existence of measure-valued solutions for any initial data in $L^2_\sigma(\Omega)$ on bounded Lipschitz domains, a result previously unproven for bounded domains due to boundary layer complications.

B. Compressible Isentropic Euler System (Section 4)

Result: Equivalence between energy-variational solutions and refined dissipative weak solutions.
Refinement: The defect measure is split into an advective part ( $R_1$ ) and a pressure part ( $R_2$ ). The paper establishes that the energy defect controls these measures via specific norms: the trace norm for $R_1$ and the standard total variation for $R_2$ .
Key Insight: The regularity weight $K(\phi)$ in the energy-variational inequality is shown to be exactly the dual norm required to bound the defect measures in the dissipative weak formulation.

C. Euler–Korteweg System (Section 5)

Context: This system models fluids with capillarity (internal interfaces), involving higher-order derivatives ( $\nabla \Delta \rho$ ).
Result: Equivalence between energy-variational and dissipative weak solutions.
Technical Challenge: The presence of the capillary term requires a more complex norm for the defect measure. The authors define a weighted norm $|A|_m = \max\{\frac{1}{2}|A|_{tr}, |A|_2\}$ (combining trace and spectral norms) to characterize the Reynolds stress $R_1$ .
Outcome: The refined dissipative weak solution concept is shown to be exactly equivalent to the energy-variational formulation, providing a robust framework for analyzing capillary fluids.

D. Euler–Poisson System (Section 6)

Context: Models fluids with long-range interactions (gravity or electrostatics) and friction.
Result: Equivalence between energy-variational and dissipative weak solutions.
Novelty: The Poisson term ( $-\rho \nabla V$ ) is reformulated using the chain rule to separate non-local effects. The authors handle the non-local potential $V$ within the energy-variational framework.
Regularity Weight: A specific regularity weight is chosen to ensure the convexity of the energy functional, accommodating both the positive and negative semi-definite parts of the gradient of test functions.

4. Significance and Impact

Unification of Concepts: The paper provides a unified theoretical framework showing that for major fluid dynamic systems, these seemingly different generalized solution concepts are mathematically identical when formulated correctly. This resolves ambiguity in the literature regarding which concept is "stronger" or "weaker."
Sharp Defect Control: By refining the definition of dissipative weak solutions, the authors provide a precise quantitative link between the energy defect and the defect measures. This is crucial for numerical analysis, as it allows for the identification of limits of structure-preserving numerical schemes.
Existence on Bounded Domains: The equivalence results, particularly for the incompressible Euler equations, provide a new pathway to prove the existence of measure-valued solutions on bounded domains, bypassing the difficulties associated with boundary layers in Navier-Stokes limits.
Selection Criteria: While the concepts are equivalent, the paper reinforces the importance of selection criteria (like weak-strong uniqueness) to pick out the physically unique solution among the potentially infinite generalized solutions.
Methodological Advancement: The use of Lemma 2.4 (based on Hahn-Banach and Riesz representation theorems) offers a powerful template for proving equivalences in other nonlinear evolutionary PDE systems beyond fluid dynamics.

In summary, this work bridges the gap between probabilistic (measure-valued), energetic (energy-variational), and defect-based (dissipative weak) approaches to fluid dynamics, establishing a rigorous foundation for the analysis of global weak solutions in complex fluid systems.