🌀 nonlinear sciences

A Lax representation, symmetries, and conservation laws for the three-dimensional Euler--Helmholtz equations

This paper investigates the three-dimensional Euler--Helmholtz equations for inviscid incompressible fluids by reformulating them via a vector potential, constructing a Lax representation, and utilizing this framework to determine point symmetries, local and nonlocal conservation laws, and a Bäcklund transformation between tangent and cotangent coverings.

Original authors: Oleg I. Morozov

Published 2026-09-10

📖 4 min read☕ Coffee break read

CC BY 4.0

Original authors: Oleg I. Morozov

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

Fluid dynamics is the study of how liquids and gases move, a field that underpins everything from weather forecasting to the design of aircraft. At the heart of this science lies a set of equations describing the motion of an ideal fluid—one that flows without friction and maintains a constant density. These equations are notoriously difficult to solve because the fluid's motion can become incredibly complex, twisting and turning in ways that are hard to predict. To make sense of this chaos, mathematicians and physicists look for hidden structures within the equations, such as symmetries that remain unchanged when the system is shifted in time or space, or conserved quantities like energy and momentum that stay constant throughout the flow. Finding these structures often reveals that a system is "integrable," meaning it possesses a special mathematical order that allows for deeper understanding and more precise predictions.

In a recent study, Oleg I. Morozov from the Trapeznikov Institute of Control Sciences in Moscow tackled the three-dimensional version of these equations, specifically a formulation known as the Euler–Helmholtz equations. These equations describe the behavior of a fluid by focusing on its vorticity, a measure of how much the fluid spins at any given point. Morozov's work begins by simplifying the problem: he assumes the space the fluid occupies is simple enough to allow the introduction of a "vector potential," a mathematical tool that automatically ensures the fluid remains incompressible. This step transforms the original equations into a new, more manageable form that focuses entirely on the evolution of the fluid's spin.

The central achievement of this paper is the construction of a "Lax representation" for these transformed equations. In the language of integrable systems, a Lax representation is like a master key that unlocks the system's hidden solvability. It involves pairing the original equations with a separate, auxiliary system of equations. The crucial feature is that these two systems are compatible only if the original fluid equations are satisfied. This compatibility condition acts as a rigorous test, confirming that the fluid's motion follows a specific, orderly path. Morozov demonstrated that such a pairing exists for the three-dimensional Euler–Helmholtz equations, providing a powerful new framework for analyzing them. This is not merely a theoretical curiosity; the presence of a Lax representation is widely considered the hallmark of a system that can be solved exactly, offering a unified way to study complex hydrodynamic models.

Beyond finding this key, the paper maps out the symmetries of the system. Symmetries are transformations that leave the physical laws unchanged, such as rotating the entire fluid or shifting the time scale. Morozov identified the complete set of these point symmetries and described how they interact with one another, revealing a complex algebraic structure. He also discovered "cosymmetries," which are closely related to conservation laws. In physics, a conservation law states that a specific quantity, such as total energy or momentum, remains constant over time. By finding these cosymmetries, the author was able to write down the specific mathematical expressions for the local conservation laws associated with the fluid's motion. These laws describe how quantities are preserved within the fluid as it flows.

The research did not stop at local conservation laws. Using the newly found Lax representation, Morozov derived "nonlocal" conservation laws. These are more abstract and involve quantities that depend on the state of the fluid across the entire domain rather than just at a single point. To find these, he employed a sophisticated geometric construction involving the "tangent" and "cotangent" coverings of the equations. One can think of these coverings as extended versions of the original system that include extra variables, allowing for a richer exploration of the fluid's behavior. By combining these extended systems, he generated new conservation laws that cannot be found by looking at the equations in their standard form.

Finally, the paper establishes a "Bäcklund transformation," which is a specific type of mathematical bridge connecting the tangent and cotangent coverings. This transformation acts as a translator, converting solutions from one extended system into solutions for the other. Morozov showed exactly how this bridge works, demonstrating how it transforms the symmetries and cosymmetries of the fluid. For instance, he proved that applying this transformation to certain symmetries yields specific cosymmetries, and vice versa, with the results expressed in terms of the auxiliary variables introduced by the Lax representation. This work provides a comprehensive geometric picture of the three-dimensional Euler–Helmholtz equations, linking their symmetries, conservation laws, and integrability into a single, coherent mathematical structure.

Technical Summary: Lax Representation, Symmetries, and Conservation Laws for the 3D Euler–Helmholtz Equations

Problem Statement
This paper investigates the three-dimensional Euler–Helmholtz equations governing the motion of an inviscid, incompressible fluid, specifically expressed in vorticity form. The system is defined on an open, star-shaped subset $M \subseteq \mathbb{R}^3$ . The primary challenge addressed is the structural analysis of these equations, which are not "normal" (i.e., the divergence of the left-hand side vanishes identically), complicating the standard application of symmetry and conservation law theories. The author aims to construct a Lax representation, classify the algebra of point symmetries, identify local and nonlocal conservation laws, and establish a Bäcklund transformation connecting the tangent and cotangent coverings of the system.

Methodology
The analysis relies on the geometric theory of differential equations, utilizing the language of infinite jet bundles, differential coverings, and nonlocal symmetries.

Reformulation: Under the assumption that the domain satisfies the Poincaré lemma, the incompressibility condition ( $\text{div } \mathbf{U} = 0$ ) is resolved by introducing a vector potential $\mathbf{u}$ such that $\mathbf{U} = \text{curl } \mathbf{u}$ . This transforms the original system into a vorticity-type equation (8) involving $\text{curl}^2 \mathbf{u}_t - [\text{curl } \mathbf{u}, \text{curl}^2 \mathbf{u}] = 0$ .
Lax Representation: The author constructs a Lax pair involving a spectral parameter and a vector field $\mathbf{s}$ in the current Lie algebra, formulated as a compatibility condition for a system of differential equations.
Symmetry and Cosymmetry Analysis: The Lie algebra of infinitesimal point symmetries is computed by solving the linearized equation $\ell_F(\phi) = 0$ . Similarly, zeroth-order cosymmetries are found by solving the adjoint equation $\ell^*_F(\psi) = 0$ .
Conservation Laws: Local conservation laws are derived from the identified cosymmetries. Nonlocal conservation laws are constructed using the "canonical conservation law" method on the Whitney sum of the tangent and cotangent coverings, utilizing shadows of cosymmetries within the Lax covering.
Bäcklund Transformation: A transformation linking the tangent covering (symmetries) and the cotangent covering (cosymmetries) is derived directly from the structure of the linearized and adjoint equations.

Key Contributions and Results

Novel Lax Representation: The paper presents a new Lax representation (Theorem 1) for the 3D Euler–Helmholtz equations. The system is shown to be the compatibility condition for a pair of derivations in the Lie algebra of vector fields, involving a pseudopotential $\mathbf{s}$ . This extends previous work on 2D Euler equations and existing 3D representations.
Symmetry Algebra Structure: The Lie algebra of point symmetries, modulo trivial symmetries (gradients of arbitrary functions), is fully described (Theorem 2). The quotient algebra $\mathfrak{s}$ is shown to have the structure $(\mathfrak{h}_1 \oplus \mathfrak{so}(3) \oplus \mathfrak{h}_2) \ltimes \mathfrak{h}_\infty$ , where $\mathfrak{h}_\infty$ is an infinite-dimensional abelian ideal generated by functions of time. The generators include scaling, rotation, and time-dependent transformations.
Local Conservation Laws: The paper identifies a basis for zeroth-order cosymmetries (Theorem 3) and constructs the corresponding local conservation laws. These include laws associated with the vector potential itself and specific quadratic combinations of coordinates. The author notes that while the system is not normal, a careful analysis confirms the nontriviality of these conservation laws.
Nonlocal Conservation Laws: By utilizing the Lax representation, a "shadow" of a cosymmetry is derived (Theorem 5). Combining this shadow with the canonical conservation law construction on the Whitney sum of coverings yields nonlocal conservation laws (Theorem 4). The analysis reveals that some of these nonlocal laws reduce to local ones, while others (specifically those associated with $\phi_{1,0}$ and $\phi_{2,k}$ ) are genuine nonlocal conservation laws.
Bäcklund Transformation: A Bäcklund transformation is established between the tangent covering (symmetries) and the cotangent covering (cosymmetries) (Theorem 6). The paper explicitly describes the action of this transformation and its inverse on the identified symmetries and cosymmetries (Theorem 7). Notably, the inverse transformation maps specific symmetries to the pseudopotentials of the Lax covering.

Significance and Claims
The paper claims that the construction of the Lax representation is a central result, as the existence of a Lax pair is widely regarded as a key indicator of integrability. The work provides a unified geometric framework for studying these equations through nonlocal symmetries and differential coverings.

The author emphasizes that the derived Bäcklund transformation offers a mechanism to map between symmetries and cosymmetries, a relationship that is not always straightforward in non-normal systems. The paper does not claim to solve the global existence or regularity problems for the Euler equations but rather focuses on the algebraic and geometric structures (integrability features) inherent in the system. The results generalize previous findings on 2D Euler equations and provide a comprehensive description of the symmetry and conservation law structures for the 3D Euler–Helmholtz system in the vector potential formulation.

More like this