1. Introduction
Modern theoretical research has increasingly explored analogies between classical fluid dynamics and quantum mechanics. On the one hand, the Euler equations for an ideal fluid have long been known to possess a Hamiltonian structure, including Clebsch representations and non-canonical Poisson brackets. Geometric-mechanics methods have therefore been widely applied to fluid flows [
1,
2,
3]. On the other hand, phase space quantization methods—the Weyl–Wigner–Moyal formalism—provide powerful tools in quantum mechanics for handling dynamics in terms of phase space distributions and symbolic calculus [
4,
5,
6,
7]. Our work brings these two threads together by leveraging the Koopman–von Neumann (KvN) operator formalism as a bridge.
The KvN approach recasts classical mechanics into a linear evolution of wavefunctions (or wavefunctionals) in Hilbert space, much like quantum Schrödinger dynamics but with commutative observables [
8,
9]. This operator-theoretic picture of classical dynamics was pioneered by Koopman and von Neumann in the 1930s [
10,
11], and recent developments have extended it to systems with many degrees of freedom, including continuum (field) settings and kinetic theory [
12,
13,
14,
15].
Applying Weyl quantization within this context moves us from a formal “class-ical–quantum” analogy to a quantum field-theoretic phase space formulation of the fluid dynamics. In other words, the classical Euler system (expressed in KvN form) is described using quantum-like operators together with a Wigner functional (a field phase space distribution; see, e.g., [
16,
17,
18]). (The precise quantization of the Euler equation in this manner involves subtleties and remains an area of active research.) The
Weyl quantization is a widely used procedure for associating a classical phase space observable with a self-adjoint operator on a Hilbert space. This rule—introduced by H. Weyl in 1927—follows symmetric operator ordering and provides a systematic route to quantization [
19]. However, as Groenewold showed, no single quantization scheme can retain all the properties of classical observables [
20]. In practice, the product of functions must be deformed: in the Weyl–Wigner formalism, the composition of operators corresponds to the noncommutative Groenewold–Moyal ⋆-product on phase space functions [
5,
20] (a cornerstone of deformation quantization [
17,
18]).
The
inverse Weyl transform takes an operator to its phase space
Weyl symbol. In particular, applying this inverse to the quantum density operator yields the Wigner quasi-probability distribution on phase space (the
Wigner function) [
4,
6]. Under appropriate conditions (e.g., for trace-class or Hilbert–Schmidt operators and the corresponding square-integrable symbols), the Weyl and inverse-Weyl maps are invertible, establishing a one-to-one correspondence between operators and phase space symbols [
21,
22]. In this sense, one can reformulate the dynamics entirely in phase space terms: quantum-mechanical evolution can be expressed as an evolution equation for the Wigner function(al), and operator commutators are represented by Moyal brackets (the phase space analog of Poisson brackets) [
5,
7].
Table 1 summarizes these correspondences.
In parallel to these developments, phase-space techniques (Wigner functions and Moyal brackets) have been used to study the quantum–classical interface and have also motivated quantum/quantum-inspired computational approaches to fluid dynamics [
23,
24]. However, prior to our work, no study had explicitly formulated the Euler fluid equations in KvN Hilbert-space form
and derived the corresponding Wigner phase space evolution at the level of a Wigner functional. The closest efforts either treated kinetic models (notably Vlasov-type dynamics) with Koopman/Clebsch methods [
13] or focused on quantum simulations of fluid equations without developing the underlying KvN/Weyl–Wigner operator structure [
23,
24].
The primary motivation for this approach recently is computational: the linear, unitary nature of the KvN evolution equation is well suited for quantum computing algorithms potentially providing memory and computational advantages on quantum hardware. By representing the classical fluid state in a Hilbert space and using the KvN Hamiltonian (which is first order in derivatives, unlike the second-order Schrödinger Hamiltonian), researchers aim to leverage the potential memory and computational advantages of quantum computers to simulate complex classical fluid dynamics problems, especially those involving uncertainty quantification or turbulent flows. In quantum computing contexts, the term “KvN/Weyl quantization” of the Euler equations refers to a method using the KvN Hilbert space formulation and Weyl correspondence rules to reformulate the classical Euler equations suitable for quantum information processing and simulation.
In this paper, we develop a unified KvN–Wigner framework for the inviscid barotropic Euler equations. Building on the insights of Koopman and von Neumann [
10,
11] and modern KvN/Hamiltonian developments [
8,
9,
12], we derive an explicit Koopman operator (Liouvillian) for Euler flow on an infinite-dimensional phase space of field variables. This yields a linear Schrödinger-like equation governing the fluid state—a formulation that, to our knowledge, has not appeared in the previous literature. Crucially, we identify and include the required Jacobian (functional divergence) term in the generator to ensure that the KvN evolution is unitary (probability-conserving) in the function space [
12,
15]. With this operator in hand, we then perform a Weyl quantization of the classical fluid variables, moving to a Wigner-functional description of the flow. Note that we introduce
ℏ only as a formal bookkeeping parameter (a deformation parameter) rather than the physical Planck’s constant, i.e., no actual quantum fluid is being described (no physical quantization of the fluid is implied).
In regimes where the effective Hamiltonian is quadratic (or linear) in the relevant variables, we show that the Wigner-functional evolution reduces exactly to classical Liouville transport, consistent with the fact that the Moyal bracket coincides with the Poisson bracket in these cases [
5,
7,
20,
21]. Beyond this linear regime, our analysis reveals the emergence of genuine higher-order (Moyal-type) corrections in the phase space evolution. Physically, these corrections become relevant when nonlinear steepening drives the dynamics beyond a single-valued velocity description (e.g., multistream overlap in phase space).
Finally, to illustrate and validate the framework, we present a worked analytic example. We solve the 1D Burgers flow (the pressureless Euler equation) in the KvN–Wigner setting, obtaining a closed-form Wigner-functional solution that describes shock formation. This example allows us to verify, term by term, the Liouville reduction in smooth regions and to identify the contributions that account for weak/distributional behavior at kink (shock) lines [
25,
26,
27].
We also compare our phase space approach to a kinetic (Vlasov–monokinetic) route and outline the extension to three dimensions using Clebsch potentials (also called Clebsch variables), connecting with momentum-map and Clebsch formulations in the Koopman/Vlasov setting [
3,
13]. Taken together, the results position our contribution at the intersection of classical hydrodynamics, operator theory, and phase space quantization, opening a pathway for applying quantum phase space tools to analyze (and potentially simulate) classical fluid phenomena in new ways.
We also compare our phase-space formulation to the standard kinetic description with a monokinetic Vlasov closure, and we outline its extension to three-dimensional flows using a Clebsch-variable formulation (connecting to known non-canonical Poisson structures [
3,
13]). Taken together, these developments place our contribution at the intersection of classical hydrodynamics, operator theory, and phase-space quantization. This unified perspective provides a foundation for leveraging quantum phase-space techniques in the analysis (and eventual simulation) of classical fluid phenomena.
3. Wigner Functional and the Moyal vs. Poisson Brackets
In an infinite-dimensional (classical-field) phase space with canonical fields
, the finite-dimensional Wigner function [
4] extends to a
Wigner functional defined as the functional Fourier transform of the field-density matrix in the relative coordinate, providing the Weyl symbol of operators and the generator of symmetrically ordered field correlators. This construction follows the Weyl quantization map [
19] and its phase space realization via the Groenewold–Moyal ⋆-product [
5,
20], yielding a
functional Moyal bracket whose
limit reduces to the classical field-theoretic Poisson bracket. In practice, field-theoretic Wigner functionals require care with operator-valued distributions and ultraviolet regularization (and renormalization) when taking coincident-point limits [
31,
32]. Moreover, the functional ⋆-product is intrinsically nonlocal, so integrations by parts in field space can generate boundary terms unless suitable decay/constraint conditions are imposed [
33,
34].
The Euler–Poincaré equations and semidirect products with applications to continuum theories establishes the Hamiltonian/Lie–Poisson framework [
3]. Poisson brackets for fluids and plasmas establishes the Hamiltonian/Lie–Poisson framework used for our Euler-side generators [
1,
35]. Here we follow Polkovnikov’s approach to Wigner functionals and the Moyal/Poisson brackets [
16].
Let the KvN density operator,
for a pure state be
and
Here
denotes a formal functional integral over the field
. Concretely, one may define it by discretizing
on a lattice and writing
(and similarly for
and
). This functional integration measure should not be confused with the bidifferential operator
defined in
Appendix A.
We define the Wigner functional,
, (the functional Weyl transformation of the KvN density operator), as
The evolution of the Wigner functional obeys the functional Moyal time evolution equation (also called Wigner equation),
where
is the canonical functional Poisson bracket in
and
is the standard bidifferential operator built from
kth functional derivatives (in our case,
; see
Appendix A) [
5,
36].
When the Hamiltonian is quadratic (e.g., linear acoustics around a uniform state), all higher terms in the Moyal bracket vanish, and thus the Moyal bracket reduces to the Poisson bracket, and we obtain
exactly. With the cubic term
in Equation (
2),
terms in Equation (
14) are generically nonzero.
5. Kinetic (Vlasov–Monokinetic) Route and Comparison
The monokinetic route means that we start from a kinetic (phase space) description in terms of a distribution function evolving by a Vlasov-type transport equation, and then take a monokinetic (cold-fluid) closure in which concentrates at a single velocity, . Under this ansatz the velocity moments close (no independent pressure tensor), so the kinetic equation reduces to a pressureless (or barotropic, depending on the force closure) Euler-type system up to the onset of multistreaming/caustics (and, in 1D, up to shock formation).
Kang and Vasseur’s contribution [
27] provides a rigorous prototype of this passage: it relates kinetic/Vlasov descriptions to macroscopic (aggregation / fluid-limit) equations via compactness and relative-entropy type arguments, and it makes precise in what sense
f collapses toward a monokinetic measure in
v in the limit. This is the specific “kinetic-to-fluid” benchmark we compare against our field-theoretic KvN/Weyl route.
Kinetic/Vlasov-to-fluid insights relevant for our comparisons also appear in [
37], where Brenier studies the Vlasov–Monge–Ampère equation and exhibits solutions with
concentration (measure-valued limits). This is relevant here because it provides an explicit setting in which a kinetic equation generates (or approximates) an Euler-type macroscopic dynamics while allowing singular limits and delta-like concentrations, highlighting the same kind of “closure vs. concentration” issues that arise in monokinetic reductions and in distributional manipulations.
To make the comparison concrete, we consider a single-particle phase space
and adopt the Hamiltonian
where
is a local equation-of-state potential (chemical potential/specific enthalpy), generating the mean-field force
. In the monokinetic (cold-fluid) limit this corresponds to an isentropic Euler pressure law
through
(equivalently,
).
In the semiclassical comparison one may identify the kinetic density
f with the Wigner function
W (see, e.g., [
38]), and the Vlasov equation reads
This evolution is exact when
U is at most quadratic in
x (so that no higher-order
corrections appear). For a general
, it is recovered as the leading semiclassical term, with corrections involving higher
x-derivatives of
U.
Under the monokinetic ansatz
, the zeroth and first velocity moments of (
34) yield the continuity equation and a pressureless Euler momentum equation (up to shock formation), with forcing
evaluated on the monokinetic state. We summarize our field-theoretic and kinetic pipelines in
Figure 1 and
Figure 2.
6. Irrotational Barotropic 3D Euler Equation as a Field Hamiltonian
We assume barotropic, compressible,
irrotational flow with energy density local in
and write the Hamiltonian as
where
is the mass density,
is the velocity potential, and
. We use the canonical field Poisson bracket
so that the Hamiltonian evolution is
for any functional
. We work on
(or a periodic box), with data decaying sufficiently fast (or periodic) so that integrations by parts are legitimate. Pre-shock we assume
with
in space and time, and sufficient regularity for the canonical bracket and variational derivatives to be well defined. Boundary terms vanish under the stated conditions.
Varying Equation (
35) gives
where
is the specific enthalpy. Using (
36) we obtain the barotropic, irrotational Euler system
and
Defining the velocity by potential flow,
Equation (
38) becomes the continuity equation
, while taking ∇ of (
39) yields the momentum equation
i.e., the compressible, barotropic Euler equation for irrotational flows.
For a barotropic energy density
, one has
so (
41) can be written as
.
The canonical bracket
is equivalent to the noncanonical (Lie–Poisson/Euler–Poincaré) bracket. The equivalence between the canonical
bracket and the compressible Euler Lie–Poisson form for (
,
) can be seen the following way. Let
denote the momentum density and
the mass density. Define functionals
and
. The (compressible, barotropic) Lie–Poisson bracket reads
where
,
, etc. With the barotropic Hamiltonian,
one obtains
which reproduce the Euler equations in momentum form. In irrotational fluids,
and
, the canonical bracket on
, Equation (
36), is
equivalent to (
43) under the change of variables
and the Hamiltonian
. A direct calculation verifies that the canonical equations, Equations (
38)–(
41) push forward to (
45); see, e.g., [
1,
3,
35].
6.1. KvN/Weyl Single–Particle Symbol and Exact Liouville Reduction
The Koopman (Liouville) generator for advection by
is
. Its Weyl symbol is the Hamiltonian linear in momentum,
whose Hamilton equations are
Because
is at most linear in
, the Moyal bracket reduces to the classical Poisson bracket identically, so the KvN/Weyl evolution is
exactly Liouvillian in any dimension for (
46). Assume that
is sufficiently smooth, and consider the Weyl/Moyal evolution
for symbols
with Hamiltonian, Equation (
46). Then for all such
A,
This is because the Moyal bracket admits the
ℏ-series in bidifferential operators, and for symbols at most linear in
, all terms beyond the first order vanish identically (Groenewold’s expansion). Equivalently, using Bopp operators [
16], the star-commutator with an affine symbol truncates at first order, yielding the classical Poisson bracket (see
Appendix E). Rigorous statements for quadratic/affine classes can be found in [
20,
29,
39].
6.2. Limitations
The field Hamiltonian (
35) with the canonical bracket (
36) produces the standard barotropic Euler system (
38)–(
41). It covers polytropic, isothermal, and general
–law gases. The KvN/Weyl lift (
46) is exact (Moyal bracket simplifies to the Poisson bracket) and cleanly separates characteristics (
47) providing a clean, pedagogical KvN/Weyl lift with exact Liouville reduction via (
46). This system is ideal for discussing the pressureless limit (set
) and for pre-shock (single-valued) regimes.
The Hamiltonian (
35) omits density-gradient terms (e.g., Korteweg/quantum stresses such as
or
). Including them modifies
by higher-derivative contributions, and thus additional dispersive forces appear, and the simple
no longer suffices to capture the full field dynamics at the symbol level. In the Post-crossing regime, as with pressureless/Burgers, characteristic crossing requires weak/distributional solutions and appropriate entropy selections; the Hamiltonian forms remain, but the classical solution concept changes. Including vorticity would require Clebsch potentials,
, with the kinetic term
and the same bracket (
36).
7. 3D Extension, General Case: Clebsch Potentials
We can locally represent a 3D ideal flow via Clebsch potentials, e.g.,
, with a barotropic Hamiltonian
and brackets that realize the canonical structure for
plus advected scalars
. The KvN lift follows Equation (
7) having applied the necessary changes, with a functional divergence term ensuring unitarity. Global/topological obstructions are gauge issues rather than algebraic ones and do not affect the local KvN/Weyl construction.
With Clebsch potentials, the canonical bracket extends to with the kinetic energy . The resulting equations reproduce the full barotropic Euler system with vorticity . However, the Koopman/Weyl single-particle symbol remains linear in and exact (Moyal bracket simplifies to the Poisson bracket) only at the level of advection by the instantaneous ; care is required with topology/gauge when defining global phases and action functionals.
The Clebsch representation is non-unique: leaves invariant up to gradients, implying a gauge freedom. On simply connected domains any irrotational field admits a single-valued , but vortical flows require multi-valued potentials or patchwise charts; vortex lines correspond to defects where fail to be globally well defined. This has implications for boundary terms and helicity, , and can be expressed via Clebsch potentials only as modulo gauge corrections.
8. Conclusions and Outlook
We have developed a unified operator-theoretic framework for inviscid Euler and Burgers flows, bridging the Koopman–von Neumann (KvN) Hilbert-space formalism and the Weyl–Wigner–Moyal phase-space calculus. The main advantage of this approach is that the nonlinear Euler dynamics can be reformulated as a linear KvN evolution on an enlarged field phase space. In this formulation, familiar tools in phase space—Weyl operator symbols, ⋆-products, Wigner functionals, and systematic semiclassical expansions—become available for analyzing classical fluids.
We derived the induced evolution equation for the Wigner functional. Using Weyl symbol calculus, we made it precise when the classical Liouville transport picture is exact and when higher-order (Moyal) corrections are unavoidable. In particular, we verified that in quadratic/linear regimes (where the ⋆-commutator truncates) the Wigner evolution reduces exactly to classical Liouville transport, consistent with known results [
5,
20]. We also identified the fully nonlinear Euler terms that necessarily generate
corrections in the Wigner-functional evolution.
As a worked analytic benchmark, we solved the one-dimensional pressureless limit (Burgers flow) in closed form at the level of the Wigner functional. This example makes the framework concrete and yields insight into its capabilities and limits. It allows a direct, term-by-term verification of the Liouville equation, including distributional boundary terms supported on kink lines. This example demonstrates the necessity of measure-theoretic treatment (distributional contributions at kink lines) and suggests how similar issues may appear in higher dimensions. Note that our KvN–Wigner description remains valid in a distributional sense through shock formation, but it does not resolve the unique entropy-satisfying solution without an additional selection principle (we applied the standard Lax/Oleinik condition in our example).
We also compared with a kinetic (Vlasov–monokinetic) route. That route yields an exact Liouville transport equation for the Wigner density under the monokinetic closure. Finally, we outlined how the construction extends to three dimensions using Clebsch-type variables, including the associated gauge structure.
In summary, we developed a unified KvN–Wigner phase-space framework for ideal Euler flows, which to our knowledge, has not been explicitly formulated before. It enables classical fluid dynamics to be analyzed with quantum-phase-space tools.
Several extensions are natural and appear technically within reach.
- (i)
General barotropic models and gradient-energy corrections: The present formulation treats standard barotropic enthalpy consistently. It is also straightforward to incorporate additional density-gradient (Korteweg/“quantum pressure”) terms at the Hamiltonian level. These modify by higher-derivative contributions. They provide a clean setting to study how ⋆-corrections generate controlled “interference-like” effects in otherwise classical fluid evolution.
- (ii)
Vorticity and topology: The 3D Clebsch formulation suggests a systematic treatment of vortical flows within the same KvN/Weyl language. Global/topological issues then enter as gauge constraints. They appear as constraints rather than as obstructions to the local operator calculus.
- (iii)
Shocks and weak solutions: The Burgers benchmark indicates how distributional terms arise in the Wigner-functional evolution near kinks. Extending this analysis to shock formation and to multi-stream (non-monokinetic) regimes motivates a KvN density-operator (mixed-state) formulation. It also calls for a careful weak/measure-theoretic treatment of the resulting transport equations.
- (iv)
Computation: The linear KvN evolution and the explicit separation between Liouville and higher-order ⋆-terms suggest practical numerical strategies. These include semiclassical truncations and symbolic/FFT-based evaluation of ⋆-corrections.
They also include hybrid PDE–phase-space solvers that can be benchmarked against the closed-form 1D results presented here. In the genuinely non-quadratic regime, the Moyal bracket no longer truncates at Poisson order, so that higher-order ⋆-terms, beginning at , must, in general, be retained. A numerical comparison between truncated or fully evaluated ⋆-evolution and exact dynamics would therefore be valuable, but such an analysis lies beyond the scope of the present paper.
These directions would further clarify when classical Liouville transport is sufficient. They would also clarify when genuinely non-Poisson (Moyal) structure must be retained in phase-space descriptions of ideal fluid dynamics.