🔢 mathematics

Existence and selection of solutions in the energy-variational framework with applications in fluid dynamics

This paper establishes a novel existence theorem for energy-variational solutions to a broad class of evolutionary partial differential equations by relaxing regularity and growth assumptions, applies the theory to the Euler–Korteweg system and binormal curvature flow, and proposes criteria for selecting specific solutions from potentially multi-valued sets.

Original authors: Thomas Eiter, Robert Lasarzik, Marcel Śliwiński

Published 2026-01-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Thomas Eiter, Robert Lasarzik, Marcel Śliwiński

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 future path of a chaotic storm, a swirling vortex of water, or a twisting ribbon of light. In the world of physics and mathematics, these are described by complex equations called Partial Differential Equations (PDEs). For a long time, mathematicians have struggled with a frustrating problem: sometimes, these equations don't have just one answer. They might have thousands, or even an infinite number of possible paths the storm could take. This is called "non-uniqueness."

This paper introduces a new, more flexible way to find answers to these equations, called Energy-Variational Solutions. Think of it as upgrading from a rigid, high-definition GPS that only works if the road is perfect, to a smart, adaptive navigation system that can handle fog, detours, and broken bridges, while still telling you where you are likely to end up.

Here is a breakdown of what the authors did, using simple analogies:

1. The Problem: Too Many Answers

In fluid dynamics (how liquids and gases move), we often look for "weak solutions." These are like rough sketches of the storm's path. The problem is that for some equations, you can draw thousands of different sketches that all technically fit the rules. It's like asking a group of people to draw a map of a city, and everyone draws a different one, but none of them are clearly "wrong."

2. The New Tool: The "Energy-Variational" Solution

The authors created a new framework to handle these messy situations. Imagine you are trying to balance a ball on a wobbly hill.

The State ( $U$ ): This is the ball's position (where the fluid is).
The Energy ( $E$ ): This is the height of the hill. Nature always wants the ball to roll down to the lowest point (minimum energy).
The Defect: Sometimes, the ball doesn't roll perfectly; it might get stuck or jitter. The "energy defect" is a measure of how much the ball failed to roll down perfectly.

The new method doesn't just track the ball's position. It tracks the ball and a "budget" for how much energy it should have lost. The solution is a pair: (Position, Energy Budget). The rule is: The actual energy lost must be less than or equal to the budget.

This allows for a "fuzzy" solution where the system might not follow the perfect path, but it stays within the rules of physics (conservation of energy).

3. Two Major Upgrades

The authors improved upon previous methods in two specific ways:

Relaxing the Rules (The "Rough" Energy): Previous methods required the energy to grow very fast (like a rocket taking off) as things got bigger. This new method allows energy to grow slowly, like a gentle hill. This is crucial for certain types of geometric problems, like tracking a twisting wire (vortex filaments), where the energy behaves differently.
Two Different Weights: Imagine you are weighing a package. To ensure the scale is accurate, you might use a heavy, rigid weight (a strict rule). But to make the math work, you might need a slightly different, lighter weight for the calculation. The authors use two different "weights" (mathematical tools):
1. One strict weight to ensure the final answer is stable.
2. One looser weight just to help build the answer step-by-step.
  This flexibility allows them to solve problems that were previously impossible, like the Euler–Korteweg system (fluids with surface tension, like tiny water droplets) and Binormal Curvature Flow (how a twisting wire moves).

4. Picking the "Right" Answer (Selection Criteria)

Since this new method can still produce many possible answers (many valid maps), the authors asked: How do we pick the best one?

They proposed three ways to "select" the most physically realistic solution from the crowd:

The "Check-in" Method: Force the solution to have zero energy defect (perfect efficiency) at specific moments in time. It's like checking your GPS at specific landmarks to ensure you haven't drifted off course.
The "Almost Perfect" Method: Find a solution that is so close to being perfect that the difference is smaller than any tiny amount you can imagine.
The "Minimal Waste" Method: Choose the solution that minimizes a specific function, like the total "waste" of energy over time. If you want the solution that dissipates the most energy (the most turbulent one), you can select that too.

5. Real-World Examples Tested

The authors didn't just do the math; they tested it on two specific, difficult problems:

The Euler–Korteweg System: This models fluids that have "stickiness" or surface tension (like water droplets trying to hold their shape). They proved that a solution exists for this system for all time, even with messy starting conditions.
Binormal Curvature Flow: This models how a thin, twisting vortex filament (like a smoke ring or a tornado's core) moves. They showed that their new framework works for these geometric shapes, bridging the gap between fluid dynamics and the movement of twisting lines.

The Bottom Line

This paper provides a new, more robust "safety net" for solving complex fluid equations. It admits that we might not always find the single, perfect path, but it gives us a way to find a family of valid paths that respect the laws of physics. Furthermore, it gives us tools to pick the most realistic path from that family, whether we want the most efficient one or the most turbulent one. It unifies the study of flowing fluids and twisting geometric shapes under one mathematical roof.

Technical Summary: Existence and Selection of Solutions in the Energy-Variational Framework with Applications in Fluid Dynamics

Problem Statement
The paper addresses the challenge of establishing global existence results for evolutionary partial differential equations (PDEs), particularly in fluid dynamics and geometric PDEs, where classical weak solutions may not exist or may be non-unique. While concepts such as measure-valued solutions (DiPerna–Majda) and dissipative solutions (Lions) have been developed, they often involve trade-offs between the strength of the solution concept and the complexity of the framework. Specifically, the authors aim to generalize the concept of energy-variational solutions to handle systems with lower regularity requirements and energies with merely linear growth, while also providing a unified framework for selecting specific solutions from potentially multi-valued sets.

Methodology
The authors develop an abstract framework for a class of evolutionary problems of the form $\partial_t U + A(t, U) = 0$ in a dual space $Y^*$ , where $Y \hookrightarrow V$ is a dense and compact embedding. The core methodology involves:

Abstract Definition: An energy-variational solution is defined as a pair $(U, \mathcal{E})$ , where $U$ is the state variable and $\mathcal{E}$ is an auxiliary energy variable satisfying $\mathcal{E}(U) \leq \mathcal{E}$ . The solution must satisfy a variational inequality (Equation 1.3/2.4) that combines an energy-dissipation inequality, a weak formulation of the PDE, and an error term involving a regularity weight $K$ .
Relaxed Assumptions: The paper generalizes previous works (e.g., [ALR24], [EL24]) by:
- Relaxing the growth condition on the energy functional $\mathcal{E}$ from superlinear to linear growth.
- Reducing the requirements on the regularity weight $K$ from convexity to mere weak lower semicontinuity*.
- Introducing a second, auxiliary regularity weight $\tilde{K}$ used exclusively at the discrete level to ensure the convexity required for the existence of approximate solutions, which disappears in the continuous limit.
Existence Proof: The proof utilizes a minimizing-movements scheme (a time-discretization approach similar to the Jordan–Kinderlehrer–Otto scheme). At each time step, an iterate is constructed by minimizing a functional derived from a discrete energy-dissipation inequality. The convergence of these approximate solutions to a limit satisfying the continuous variational inequality is established using compactness arguments (Banach–Alaoglu theorem) and the lower semicontinuity properties ensured by $K$ .
Selection Criteria: To address the inherent non-uniqueness of solutions, the authors propose several selection criteria:
- Vanishing energy defect at a countable set of time points.
- Minimizing the energy defect to an arbitrary $\epsilon > 0$ .
- Minimizing a strictly convex integral functional (e.g., the $L^1$ -norm of the auxiliary energy $\mathcal{E}$ ) to select a unique solution.

Key Contributions and Results

General Existence Theorem (Theorem 2.13): The paper proves the global-in-time existence of energy-variational solutions for a general class of abstract evolution equations under the relaxed assumptions of linear energy growth and weak* lower semicontinuous regularity weights.
Application to the Euler–Korteweg System (Section 3):
- The framework is applied to the Euler–Korteweg system for inviscid compressible flow with capillary effects.
- The authors establish the first global-in-time existence result for general initial data for this system within this framework.
- A key technical achievement is the use of two distinct regularity weights ( $K$ and $\tilde{K}$ ). The natural a priori bounds for the Euler–Korteweg system yield strong compactness, but the convexity required for the discrete scheme necessitates a larger weight $\tilde{K}$ .
Application to Binormal Curvature Flow (Section 4):
- The framework is extended to the binormal curvature flow (vortex filament equation), a geometric PDE where the energy functional has linear growth (homogeneous of degree one).
- The authors define energy-variational solutions for divergence-free Radon measures, providing a solution concept that unifies fluid dynamics and geometric PDEs.
- A weak-strong uniqueness principle (Theorem 4.10) is established, showing that if a smooth classical solution exists, the energy-variational solution coincides with it, provided the initial data matches.
Selection Mechanisms (Section 2.5): The paper demonstrates that the solution set is convex (under certain conditions) and sequentially weakly* compact. This structure allows for the rigorous selection of specific solutions via minimization of functionals, offering a mechanism to single out physically relevant solutions (e.g., those with maximal dissipation or minimal turbulence).

Significance and Claims
The paper claims that the energy-variational framework offers a robust and flexible tool for analyzing evolutionary PDEs where standard weak solutions fail or are insufficient.

Unification: It serves as an overarching solution concept that bridges classical fluid dynamics (Euler–Korteweg) and geometric PDEs (binormal curvature flow), allowing for the study of singular limits and connections between these areas in a unified context.
Generality: By relaxing the assumptions on energy growth and regularity weights, the framework accommodates a broader class of problems, including those with linear growth energies and lower-order terms handled via compactness.
Selectivity: Unlike some generalized solution concepts (e.g., varifolds or Young measures) which may be too broad, the energy-variational framework, combined with selection criteria, reduces the degrees of freedom and allows for the identification of unique or physically motivated solutions (e.g., via maximal dissipation principles).
Comparison: The authors note that their energy-variational solutions are stronger than available varifold or Young measure-valued solutions for the specific applications discussed, while significantly reducing the solution space's degrees of freedom.

The work does not claim to resolve the non-uniqueness of solutions in a physical sense (i.e., proving that nature selects a unique solution) but rather provides a mathematical machinery to select specific candidates from the set of admissible solutions based on defined criteria.