Next Article in Journal
4+1 Gravitation in the SHP Formalism
Previous Article in Journal
Confinement-Tunable Spatial Distribution of Physisorbed Hydrogen in Defective Carbon Nanotube Bundles
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Koopman–von Neumann and Weyl–Wigner Phase-Space Formulation of Inviscid Euler Flows

by
Sandor M. Molnar
1 and
Joseph R. Godfrey
2,*
1
Institute of Astronomy and Astrophysics, Academia Sinica, No. 1, Section 4, Roosevelt Road, Taipei 10617, Taiwan
2
Grado Department of Industrial and Systems Engineering, Virginia Tech, Alexandria, VA 22305, USA
*
Author to whom correspondence should be addressed.
Entropy 2026, 28(4), 416; https://doi.org/10.3390/e28040416
Submission received: 23 February 2026 / Revised: 31 March 2026 / Accepted: 3 April 2026 / Published: 7 April 2026
(This article belongs to the Section Multidisciplinary Applications)

Abstract

We develop a unified Koopman–von Neumann (KvN) operator and Weyl–Wigner phase-space framework for inviscid ideal (barotropic) Euler flows. Our approach reformulates the nonlinear fluid dynamics as a linear KvN evolution on an enlarged field phase space, thereby enabling us to apply tools developed for quantum mechanics (Weyl quantization, Moyal ⋆-products, and Wigner functionals) to a classical fluid. We construct the appropriate KvN generator (including the required Jacobian term for unitarity) and derive the evolution equation for the corresponding Wigner functional. This framework clarifies when the classical Liouville (Vlasov) description is exact—namely, in quadratic or linear regimes where the Moyal bracket reduces to the Poisson bracket—and when higher-order quantum-like corrections become significant in fully nonlinear regimes. As an analytic example, we obtain a closed-form Wigner solution for a one-dimensional Burgers flow (pressureless Euler) and verify, term by term, that it reproduces the expected Liouville transport (with distributional contributions at the shock). We also compare the phase-space approach with a kinetic (Vlasov–monokinetic) formulation and outline the extension of the framework to three-dimensional flows using a Clebsch variable representation.

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.

2. KvN for Barotropic Euler Equation on Field Phase Space

Throughout this paper we adopt the standard Weyl–Wigner–Moyal symbol calculus and the associated Groenewold–Moyal ⋆-product as our phase space reference and convention set [4,5,6,7,20,21,28,29]. In particular, for Hamiltonians that are at most quadratic in canonical phase-space variables the Moyal bracket closes at first order in and coincides with the Poisson bracket, so that the Wigner evolution reduces exactly to Liouville transport. The operatorial Koopman–von Neumann lift that underpins our KvN→Weyl pipeline is standard in classical mechanics and has been developed in modern operatorial treatments [8,10,11,12].
Let the fields ϕ ( x ) , ρ ( x ) be canonical with
{ ϕ ( x ) , ρ ( y ) } = δ ( x y ) , u ( x , t ) = x ϕ ( x , t ) ,
(canonical Hamiltonian fluid structure; see [30]). For a barotropic internal energy density, ε ( ρ ) , under isentropic processes, the pressure p ( ρ ) = ρ d ε ( ρ ) / d ρ ε ( ρ ) . For the Hamiltonian, we adopt
H [ ρ , ϕ ] = d x 1 2 ρ ( x ) x ϕ ( x ) 2 + ε ρ ( x ) .
Hamilton’s equations give the 1D compressible Euler equations:
t ρ + x ( ρ u ) = 0 , t u + u x u + 1 ρ x p ( ρ ) = 0 .
Equivalently, with u = x ϕ ,
t ϕ + 1 2 u 2 + h ( ρ ) = 0 , h ( ρ ) = p ( ρ ) ρ .

KvN Lift and Generator

Introduce functional conjugates acting on wavefunctionals Ψ [ ϕ , ρ ; t ] :
λ ^ ϕ ( x ) = i δ δ ϕ ( x ) , λ ^ ρ ( x ) = i δ δ ρ ( x ) ,
where that ϕ ( x ) is the velocity potential and ρ ( x ) the density field. The classical Liouvillian symbol in this case can be expressed as
L [ ρ , ϕ ] = d x δ H δ ρ ( x ) λ ϕ ( x ) δ H δ ϕ ( x ) λ ρ ( x ) .
Weyl symmetrizing (for unitarity) yields the KvN/Schrödinger equation
i t = L ^ Ψ ,
where
L ^ = d x δ H δ ρ λ ^ ϕ δ H δ ϕ λ ^ ρ + i 2 div X H ,
X H is the Hamiltonian vector field on ( ϕ , ρ ) , and the final term is the functional divergence. This divergence (Jacobian) term is required to ensure that L ^ is anti-Hermitian (so that | Ψ | 2 is conserved in time) [12]. Thus, for the Hamiltonian, Equation (2), we obtain
δ H δ ρ = 1 2 u 2 + h ( ρ ) , δ H δ ϕ = x ( ρ u ) .
As a consequence, L ^ can be expressed as
L ^ = d x 1 2 u 2 + h ( ρ ) λ ^ ϕ + x ( ρ u ) λ ^ ρ + i 2 div X H .

3. Wigner Functional and the Moyal vs. Poisson Brackets

In an infinite-dimensional (classical-field) phase space with canonical fields ( ϕ ( x ) , π ( x ) ) , the finite-dimensional Wigner function [4] extends to a Wigner functional  W [ ϕ , π ; t ] 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 0 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, ρ ^ KvN ( t ) for a pure state be
ρ ^ KvN ( t ) = | Ψ ( t ) Ψ ( t ) | ,
and
ρ KvN [ ϕ , ϕ + ; t ] = ϕ | ρ ^ KvN ( t ) | ϕ + = D ρ Ψ [ ϕ , ρ ; t ] Ψ [ ϕ + , ρ ; t ] .
Here D ρ denotes a formal functional integral over the field ρ ( x ) . Concretely, one may define it by discretizing x x j on a lattice and writing D ρ : = lim N j = 1 N d ρ j (and similarly for D ϕ and D η ). This functional integration measure should not be confused with the bidifferential operator D ( 2 n + 1 ) ( H , W ) defined in Appendix A.
We define the Wigner functional, W [ ϕ , ρ ; t ] , (the functional Weyl transformation of the KvN density operator), as
W [ ϕ , ρ ; t ] = 1 N D η exp i d x ρ ( x ) η ( x ) ρ KvN ϕ η 2 , ϕ + η 2 ; t ,
The evolution of the Wigner functional obeys the functional Moyal time evolution equation (also called Wigner equation),
t W = { H , W } PB + n 1 ( i / 2 ) 2 n ( 2 n + 1 ) ! D ( 2 n + 1 ) ( H , W ) ,
where { · , · } PB is the canonical functional Poisson bracket in ( ϕ , ρ ) and D ( k ) is the standard bidifferential operator built from kth functional derivatives (in our case, k = ( 2 n + 1 ) ; 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
t W = { H , W } PB
exactly. With the cubic term ρ ( x ϕ ) 2 in Equation (2), O ( 2 ) terms in Equation (14) are generically nonzero.

4. Worked 1D Example: Pressureless Limit, Burgers’ Equation

This example illustrates how the Wigner formalism handles a developing shock: it confirms that in smooth regions the classical Liouville limit is recovered, and it exposes where non-classical (Moyal) terms become important (at the shock discontinuity). The weak-solution and shock framework applied in our Burger’s equation example is summarized in [25].
We now present a fully explicit Wigner solution for the pressureless case, i.e., p 0 so that u ( x , t ) obeys the inviscid Burgers equation. For 0 < t < 1 , adopt the following solution, a piecewise triangular profile:
u ( x , t ) = 1 + x 1 + t , 1 < x < t , 1 x 1 t , t < x < 1 , 0 , otherwise .

4.1. Derivation of the Wigner Function, Explicit W ψ Formulas

In our case, the Wigner functional (Equation (13) simplifies to the usual Wigner function. We apply Equation (13) to one degree of freedom and identify the functional variables with the single-particle ones: ϕ x , ρ p , and the functional shift η ( · ) y δ ( · x ) . With the usual normalization N = 2 π , this gives exactly the xp Wigner transform, and using the signal-kernel convention, it can be expressed as
W ψ ( x , p , t ) = R e i p y ψ x + y 2 , t ψ x y 2 , t d y .
This approach provides a clean derivation from the KvN/Weyl framework to the Wigner function associated with our solution to Burgers’ equation (Equation (16)).
From our solution, u ( x , t ) , Equation (16), we obtain the phase potential, S ( x , t ) . Along KvN characteristics, a scalar wavefunction ψ ( x , t ) obeys pure advection with a Jacobian factor, and thus locally one may write ψ ( x , t ) = A ( x , t ) e i S ( x , t ) with x S ( x , t ) = u ( x , t ) and smooth amplitude A ( x , t ) . For our piecewise velocity, Equation (16), integrating x S ± = u gives the phases of the two branches, S ( x , t ) , S + ( x , t ) , as
S ( x , t ) = x + 1 2 x 2 1 + t 1 < x < t , S + ( x , t ) = x 1 2 x 2 1 t t < x < 1 ,
up to t-dependent additive constants that cancel in phase differences (see Equation (17)) and therefore do not affect W ψ (only the relative phase is consequential; see Appendix B).
Using the phase functions, Equation (18), and handling the limits of the integrals with care, we obtain the Wigner function as
W ψ ( x , p , t ) = W ψ ( L ) ( x , p , t ) + W ψ ( R ) ( x , p , t ) + W ψ ( mix ) ( x , p , t ) ,
where W ψ ( L , R ) and mixed W ψ ( mix ) are the same side and mixed terms contributions coming from our piece wise linear solution (Equatoin (16)). The derivation of these terms can be found in Appendix C (Equations (A19), (A20) and (A25)).
Note, if S ± S ± + C ± ( t ) , then every occurrence of S ( x + y 2 ) S ( x y 2 ) is unchanged; hence the integrands in Equations (A19), (A20) and (A25) are invariant. Similarly, a slowly varying amplitude A that is identical on both sides to leading order factors out and only affects an overall prefactor, which we set to one in our normalization. For our analytic Burgers benchmark we choose unit-amplitude branches, ψ R , L ( x , t ) = exp ( i S R , L ( x , t ) ) (i.e., A R , L = 1 ), so that the closed-form Wigner calculation isolates the phase/interference structure without introducing additional modeling choices for branch weights via amplitude transport. More generally, a smooth amplitude would enter as prefactors | A R , L ( x , t ) | 2 for same-side terms and A R A L for mixed-side terms at leading order.

4.2. Physical Interpretation of the Wigner Function, W ψ

At t 1 , our solution to Burgers equation develops a shock at x = 1 (e.g., [26]). In the pre-shock regime, the two Wigner “branches” correspond to the two classical characteristics approaching the forming shock. The Fresnel cross term encodes their phase-coherent interference; away from the overlap region it averages out (Riemann–Lebesgue), while near the kink it controls the weak limit used below. Note that in this classical context, the Wigner function is always non-negative, thus no negative probabilities are generated.

4.3. Derivation of the Pressureless/KvN Lift Hamiltonian

We show that the Koopman generator is the Weyl quantization of the classical symbol H ( x , p , t ) = p u ( x , t ) , that we interpret as the Hamiltonian of the pressureless/KvN lift.
Let x ^ denote multiplication by x and p ^ = i x , and recall the Weyl map Op W [ · ] :
Op W [ a ] ψ ( x ) = 1 2 π R R e i p ( x y ) a x + y 2 , p ψ ( y ) d p d y ,
compatible with p ^ = i x . Linearity in a allows us to expand u ( x , t ) as u ( x , t ) = 1 2 π u ^ ( k , t ) e i k x d k . We then write the operator in Fourier space and apply the Weyl map using Equation (20). A direct calculation gives the symmetrized form. After inverse Fourier transformation, this is the standard Koopman (Liouville) generator on L 2 ( R , d x ) under suitable boundary conditions.
Op W p u ( x , t ) = 1 2 π u ^ ( k , t ) Op W p e i k x d k .
A direct calculation using Equation (20) gives the symmetrized form
Op W [ p e i k x ] = 1 2 e i k x ^ p ^ + p ^ e i k x ^ ,
and, after inverse Fourier transformation,
L ^ ( t ) : = Op W p u ( x , t ) = 1 2 u ( x ^ , t ) p ^ + p ^ u ( x ^ , t ) = i u x + 1 2 x u ,
which is the standard Koopman (Liouville) generator on L 2 ( R , d x ) under suitable boundary conditions.
In the Koopman/Weyl lift, the phase-space Hamiltonian is, by definition, the Weyl symbol of the generator: H : = symb W ( L ^ ) = L W ( x , p , t ) . For L ^ = 1 2 u ( x ^ , t ) p ^ + p ^ u ( x ^ , t ) we have, by the Groenewold rule,
L W ( x , p , t ) = 1 2 u p + p u = u p = : H ( x , p , t ) ,
since u p = u p + i 2 x u and p u = u p i 2 x u , whose average cancels the ordering terms.
Equivalently, H is characterized (up to an additive function of t) by reproducing the Liouville vector field via Hamilton’s equations:
x ˙ = p H = u ( x , t ) , p ˙ = x H = p x u ( x , t ) .
The unique solution of Equation (25) is H ( x , p , t ) = u ( x , t ) p + C ( t ) ; the additive C ( t ) drops out of the (Moyal/Poisson) bracket and is physically irrelevant. Thus we identify H = u p .

4.4. Liouville Transport and Cancellation

We now verify Liouville transport equation. With our signal–Wigner convention ( = 1 ), the von Neumann equation i t ψ = L ^ ( t ) ψ for ρ ^ = | ψ ψ | Weyl transforms to the Moyal evolution equation,
t W ψ = { H , W ψ } = 2 H sin 1 2 Λ W ψ ,
with the bidifferential operator Λ = x p p x . Since our Hamiltonian H ( x , p , t ) = p u ( x , t ) (pressureless/KvN lift) is linear in p, away from kink lines only the first (Poisson) term survives. Thus the Moyal time evolution equation reduces to Liouville transport equation,
t W + u x W ( x u ) p p W = 0 ,
This is the Moyal bracket−Poisson bracket identity for Hamiltonians linear in p [5,36]. Acting on Equation (A19) with the Liouville operator L : = t + u x ( x u ) p p and using
L u = 0 , L β R = p x u , L Y R = Y R x u ,
we obtain the residual,
L W ψ ( same , R ) = 2 x u p sin ( β R Y R ) β R 2 p Y R β R cos ( β R Y R ) + Y R cos ( β R Y R ) .
The left term has the analogous form with ( β L , Y L ) :
L W ψ ( same , L ) = 2 x u p sin ( β L Y L ) β L 2 p Y L β L cos ( β L Y L ) + Y L cos ( β L Y L ) .
For the mixed term Equation (A25), differentiating C , S via Equation (A26) and using the chain rule for w k = w ( y k ) yields (after cancellation) the exact opposite:
L W ψ ( mix ) = 2 x u [ p sin ( β R Y R ) β R 2 p Y R β R cos ( β R Y R ) + Y R cos ( β R Y R ) 1 ( t , 1 ) ( x ) + p sin ( β L Y L ) β L 2 p Y L β L cos ( β L Y L ) + Y L cos ( β L Y L ) 1 ( 1 , t ) ( x ) ] .
Adding Equations (29)–(31) gives L W ψ = 0 for x ± 1 and x t , i.e., Equation (27). Thus, for this example, we explicitly see that W evolves according to the classical Liouville equation in smooth regions (⋆-corrections cancel out), with delta-function contributions appearing exactly at the shock to balance the transport equation-consistent with the weak solution.

4.5. Weak Formulation at Kink Lines

At the kink lines x = ± 1 and x = t , where our solution to Burgers equation, u ( x , t ) (Equation (16)), is non-differentiable, the motion of integration limits produces delta function contributions that cancel in the weak (test-function) formulation.
Let φ C c ( R x × R p × ( 0 , T ) ) be a compactly supported test function. Integrating the transport equation by parts defines the weak solution:
W t φ + u W x φ ( x u ) p W p φ d p d x d t = 0 .
Across a moving kink x = ξ ( t ) , the distributional calculus yields boundary contributions. For the two-branch+Fresnel structure used here, the branch terms match the characteristics and the oscillatory Fresnel piece is odd under the local interchange of branches; its integral against φ vanishes in the limit of vanishing smoothing (Riemann–Lebesgue integral), giving the claimed cancellation. This is the precise sense in which the Liouville transport remains valid across kink lines for H = p u ( x , t ) in our approach.
Let φ C c ( R 2 × ( 0 , 1 ) ) . Integrate Equation (27) against φ and integrate by parts on each smooth subregion, tracking jumps in Y L / R across x = ± 1 and x = t . Endpoint terms produced by t Y and x Y cancel those coming from the mixed piece Equation (A25); thus L W ψ , φ = 0 .
Beyond characteristic crossing, Burgers’ equation is interpreted in the weak sense with an admissibility (entropy) condition. We adopt the standard Lax/Oleinik entropy selection via Rankine–Hugoniot jump conditions; see, e.g., the finite-volume framework and convergence results summarized in LeVeque [25]. Our KvN/Weyl construction remains valid at the level of distributions, but it does not by itself fix the entropy selection; this must be imposed consistently with the PDE.

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 f ( t , x , v ) evolving by a Vlasov-type transport equation, and then take a monokinetic (cold-fluid) closure in which f ( t , x , v ) concentrates at a single velocity, f ( t , x , v ) = ρ ( t , x ) δ ( v u ( t , x ) ) . 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 ( x , v ) and adopt the Hamiltonian
H ( x , v ; t ) = v 2 2 + U ( x , t ) , U x ( x , t ) = x μ ( ρ ( x , t ) ) , ρ ( x , t ) = R f ( x , v , t ) d v ,
where μ ( ρ ( x , t ) ) is a local equation-of-state potential (chemical potential/specific enthalpy), generating the mean-field force F = x μ ( ρ ) . In the monokinetic (cold-fluid) limit this corresponds to an isentropic Euler pressure law p = p ( ρ ) through μ ( ρ ) = p ( ρ ) / ρ (equivalently, x μ ( ρ ) = ( 1 / ρ ) x p ( ρ ) ).
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
t f + v x f U x v f = 0 .
This evolution is exact when U is at most quadratic in x (so that no higher-order 2 corrections appear). For a general U ( x , t ) , it is recovered as the leading semiclassical term, with corrections involving higher x-derivatives of U.
Under the monokinetic ansatz f ( t , x , v ) = ρ ( t , x ) δ ( v u ( t , x ) ) , the zeroth and first velocity moments of (34) yield the continuity equation and a pressureless Euler momentum equation (up to shock formation), with forcing U x 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 ρ ( r , t ) and write the Hamiltonian as
H [ ρ , ϕ ] R 3 d 3 r 1 2 ρ ( r , t ) | ϕ ( r , t ) | 2 + ε ρ ( r , t ) ,
where ρ ( r , t ) > 0 is the mass density, ϕ ( r , t ) is the velocity potential, and | ϕ | 2 ( x ϕ ) 2 + ( y ϕ ) 2 + ( z ϕ ) 2 . We use the canonical field Poisson bracket
{ F , G } = R 3 d 3 r δ F δ ϕ δ G δ ρ δ F δ ρ δ G δ ϕ ,
so that the Hamiltonian evolution is t F = { F , H } for any functional F [ ρ , ϕ ] . We work on Ω = R d (or a periodic box), with data decaying sufficiently fast (or periodic) so that integrations by parts are legitimate. Pre-shock we assume ρ > 0 with ρ , ϕ C 1 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
δ H δ ϕ = · ρ ϕ , δ H δ ρ = 1 2 | ϕ | 2 + h ( ρ ) ,
where h ( ρ ) ε ( ρ ) is the specific enthalpy. Using (36) we obtain the barotropic, irrotational Euler system
t ρ = { ρ , H } = · ρ ϕ ,
and
t ϕ = { ϕ , H } = 1 2 | ϕ | 2 + h ( ρ ) .
Defining the velocity by potential flow,
u ( r , t ) ϕ ( r , t ) ,
Equation (38) becomes the continuity equation t ρ + · ( ρ u ) = 0 , while taking ∇ of (39) yields the momentum equation
t u + ( u · ) u + h ( ρ ) = 0 ,
i.e., the compressible, barotropic Euler equation for irrotational flows.
For a barotropic energy density ε ( ρ ) , one has
p ( ρ ) = ρ ε ( ρ ) ε ( ρ ) , h ( ρ ) = 1 ρ p ( ρ ) ,
so (41) can be written as t u + ( u · ) u + ρ 1 p ( ρ ) = 0 .
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 ( m = ρ u , D = ρ ) can be seen the following way. Let m = ρ u denote the momentum density and D = ρ the mass density. Define functionals F [ m , D ] and G [ m , D ] . The (compressible, barotropic) Lie–Poisson bracket reads
{ F , G } LP = Ω d 3 r m · ( F m ) G m ( G m ) F m + D ( F m · G D G m · F D ) ,
where F m δ F / δ m , F D δ F / δ D , etc. With the barotropic Hamiltonian,
H [ m , D ] = 1 2 | m | 2 / D + ε ( D ) d 3 r ,
one obtains
t m = { m , H } LP , t D = { D , H } LP ,
which reproduce the Euler equations in momentum form. In irrotational fluids, u = ϕ and m = D ϕ , the canonical bracket on ( ρ , ϕ ) , Equation (36), is equivalent to (43) under the change of variables ( ρ , ϕ ) ( m = ρ ϕ , D = ρ ) and the Hamiltonian H [ ρ , ϕ ] = ( 1 2 ρ | ϕ | 2 + ε ( ρ ) ) d 3 r . 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 u is L = u ( r , t ) · r . Its Weyl symbol is the Hamiltonian linear in momentum,
H ( r , p , t ) = u ( r , t ) · p ,
whose Hamilton equations are
r ˙ = p H = u ( r , t ) , p ˙ = r H = ( u ) p .
Because H is at most linear in p , 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 u ( r , t ) is sufficiently smooth, and consider the Weyl/Moyal evolution t A = { A , H } Moyal for symbols A ( r , p , t ) with Hamiltonian, Equation (46). Then for all such A,
{ A , H } Moyal = { A , H } Poisson = r A · p H p A · r H .
This is because the Moyal bracket admits the -series in bidifferential operators, and for symbols at most linear in p , 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 h 0 ) and for pre-shock (single-valued) regimes.
The Hamiltonian (35) omits density-gradient terms (e.g., Korteweg/quantum stresses such as ( ρ ) 2 or ρ Δ ln ρ ). Including them modifies δ H / δ ρ by higher-derivative contributions, and thus additional dispersive forces appear, and the simple H = u · p 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, u = ϕ + α β , with the kinetic term 1 2 ρ | u | 2 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., u = ϕ + α β , with a barotropic Hamiltonian H = 1 2 ρ u 2 + ε ( ρ ) d 3 x 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 1 2 ρ | ϕ + α β | 2 . The resulting equations reproduce the full barotropic Euler system with vorticity ω = α × β . However, the Koopman/Weyl single-particle symbol H = u · p remains linear in p and exact (Moyal bracket simplifies to the Poisson bracket) only at the level of advection by the instantaneous u ; care is required with topology/gauge when defining global phases and action functionals.
The Clebsch representation u = ϕ + α β is non-unique: ( ϕ , α , β ) ( ϕ + χ ( α , β ) , α , β ) leaves u 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, u · ( × u ) d 3 r , 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 O ( 2 ) 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 δ H / δ ρ 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 O ( 2 ) , 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.

Author Contributions

Conceptualization, S.M.M. and J.R.G.; methodology, S.M.M.; formal analysis, S.M.M. and J.R.G.; writing—original draft preparation, S.M.M.; writing—review and editing, S.M.M. and J.R.G. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

During preparation of this manuscript, the authors used ChatGPT (https://www.chatgpt.com) for language editing and formatting assistance. The authors reviewed and edited the content and take full responsibility for the content of the publication.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Bidifferential Operator

D ( 2 n + 1 ) ( H , W ) denotes the ( 2 n + 1 ) –fold action of the canonical Poisson bivector on field phase space, acting as a bidifferential operator between H and W:
Λ : = d x δ δ ϕ ( x ) δ δ ρ ( x ) δ δ ρ ( x ) δ δ ϕ ( x ) ,
so that the canonical Poisson bracket is { H , W } PB = H Λ W . The higher-order Moyal terms are generated by repeated application of Λ :
D ( 2 n + 1 ) ( H , W ) : = H ( Λ ) 2 n + 1 W , n = 1 , 2 , ,
equivalently,
{ H , W } = 2 H sin 2 Λ W .
The series expansion of Equation (A3) gives Equation (14).
As an example, for n = 1 , we obtain
{ H , W } = { H , W } PB 2 24 H Λ 3 W + O ( 4 ) .
Define
Λ = A B , A : = d x δ δ ϕ ( x ) δ δ ρ ( x ) , B : = d x δ δ ρ ( x ) δ δ ϕ ( x ) .
The explicit cubic bidifferential term becomes
D ( 3 ) ( H , W ) : = H Λ 3 W = H ( A 3 3 A 2 B + 3 A B 2 B 3 ) W .
Thus, we obtain the fully expanded triple-functional-derivative form
H A 3 W = d x 1 d x 2 d x 3 δ 3 H δ ϕ 1 δ ϕ 2 δ ϕ 3 δ 3 W δ ρ 1 δ ρ 2 δ ρ 3 , H A 2 B W = d x 1 d x 2 d x 3 δ 3 H δ ϕ 1 δ ϕ 2 δ ρ 3 δ 3 W δ ρ 1 δ ρ 2 δ ϕ 3 , H A B 2 W = d x 1 d x 2 d x 3 δ 3 H δ ϕ 1 δ ρ 2 δ ρ 3 δ 3 W δ ρ 1 δ ϕ 2 δ ϕ 3 , H B 3 W = d x 1 d x 2 d x 3 δ 3 H δ ρ 1 δ ρ 2 δ ρ 3 δ 3 W δ ϕ 1 δ ϕ 2 δ ϕ 3 ,
where ϕ i = ϕ ( x i ) and ρ i = ρ ( x i ) .

Appendix B. Deriving the Branch Phases S (x,t), S+ (x,t) from u(x,t)

We recall the piecewise velocity u ( x , t ) from Equation (16). The branch phases S ± ( x , t ) are defined as spatial primitive functions (antiderivatives) of u on each side of the interface (so that only phase differences enter the Wigner kernel, and any purely t-dependent constants can be dropped):
x S ( x , t ) = 1 + x 1 + t , 1 < x < t ;
and
x S + ( x , t ) = 1 x 1 t , t < x < 1 .
Integrating (A8) and (A9) with respect to x gives
S ( x , t ) = 1 + x 1 + t d x = x + 1 2 x 2 1 + t + C ( t ) , 1 < x < t ,
and
S + ( x , t ) = 1 x 1 t d x = x 1 2 x 2 1 t + C + ( t ) , t < x < 1 .
Because the Wigner phase always appears as a difference  S x + y 2 , t S x y 2 , t , the additive functions C ± ( t ) cancel and can be set to zero without loss of generality. Thus the explicit branch phases used in Equation (16) are
S ( x , t ) = x + 1 2 x 2 1 + t , 1 < x < t ;
S + ( x , t ) = x 1 2 x 2 1 t , t < x < 1 .
For later use in the same-side Wigner contributions, it is convenient to record the corresponding phase differences (linear in the separation y because S ± are quadratic in x):
S x + y 2 , t S x y 2 , t = y 1 + x 1 + t ,
S + x + y 2 , t S + x y 2 , t = y 1 x 1 t .
Consistency checks. Differentiating (A12) and (A13) in x recovers the left/right branches of u ( x , t ) in Equation (16). If desired, the functions C ± ( t ) may be chosen to make S continuous across x = t ; this choice does not affect the Wigner phase differences (A14) and (A15).

Appendix C. Derivation of the Terms of the Wigner Function

First we derive the pure same-side contributions. Right branch ( t < x < 1 ) admits x ± y / 2 ( t , 1 ) , i.e., I R ( x , t ) = ( Y R , Y R ) with
Y R ( x , t ) = 2 min { x t , 1 x } , β R ( x , p , t ) = p + 1 x 1 t .
Left branch ( 1 < x < t ) admits x ± y / 2 ( 1 , t ) , i.e., I L ( x , t ) = ( Y L , Y L ) with
Y L ( x , t ) = 2 min { x + 1 , t x } , β L ( x , p , t ) = p + 1 + x 1 + t ,
Since the linear phase differences are
S + ( x + y 2 ) S + ( x y 2 ) = y ( 1 x ) 1 t , S x + y 2 , t S x y 2 , t = y ( 1 + x ) 1 + t .
Substituting Equations (A18) into the Wigner integral (Equation (17)) and restricting the y-integration to admissible windows I R ( x , t ) = ( Y R , Y R ) and I L ( x , t ) = ( Y L , Y L ) yields the elementary integrals for the Wigner functions,
W ψ ( R ) ( x , p , t ) = Y R Y R e i β R y d y = 2 sin β R Y R β R .
and
W ψ ( L ) ( x , p , t ) = 2 sin β L Y L β L .
Mixed contributions occur only when the y-interval straddles x = t ,
| x t | < min { 1 x , x + 1 } | x | + | x t | < 1 .
In this case, the phase is piecewise  S on one side and S + on the other. The total phase difference becomes a quadratic polynomial in y. The admissible window becomes
y y 0 ( x , t ) , y 1 ( x ) , y 0 = 2 | x t | , y 1 = 2 min { 1 x , x + 1 } .
After assembling the two halves, completing the square gives
Φ ( y ) = D y 2 + B y + Γ , D = 1 4 ( t 2 1 ) , B = p + t x 1 t 2 1 , Γ = x 2 2 t x t 2 1 ,
on the restricted interval y [ y 0 ( x , t ) , y 1 ( x ) ] from Equation (A22). With the shift y y + B 2 D and the Fresnel scalings,
w k = w ( y k ) : = 2 | D | π y k + B 2 D = y k 2 ( 1 t 2 ) p + 2 ( t x 1 ) 2 π ( 1 t 2 ) , k { 0 , 1 } ,
Δ C : = C ( w 1 ) C ( w 0 ) and Δ S : = S ( w 1 ) S ( w 0 ) , where C ( z ) and S ( z ) are the Fresnel integrals (see Appendix D), thus the mixed integral reduces to standard Fresnel jumps, and we obtain
W ψ ( mix ) ( x , p , t ) = 2 π | D | Δ C cos Φ + Δ S sin Φ ,
on the domain in Equation (A21), and W ψ ( mix ) = 0 otherwise. Checking limits: as β L / R 0 , each same-side term has a removable limit W 2 Y L / R ( x , t ) .

Appendix D. Fresnel Integrals and Identities

Fresnel integrals are defined as
C ( z ) = 0 z cos π 2 τ 2 d τ , S ( z ) = 0 z sin π 2 τ 2 d τ ,
so that C ( z ) = cos π 2 z 2 and S ( z ) = sin π 2 z 2 . For an indicator, we write 1 I ( x ) .
Differentiating Equation (A24) and using Equation (A26) gives
q Δ C = c 1 q w 1 c 0 q w 0 , q Δ S = s 1 q w 1 s 0 q w 0 ,
where q { x , p , t } , c k = cos π 2 w k 2 , and s k = sin π 2 w k 2 . Combining with Equation (A23) yields the derivatives used to establish Equation (31).

Appendix E. Bopp Shifts for Hamiltonians Linear in Momentum in 3D

In three dimensions, let ( x , p ) R 3 × R 3 and let W ( x , p , t ) be a (Weyl) phase space density. We use the standard Weyl–Moyal ⋆-product written in Bopp-shift form:
( F G ) ( x , p ) = F x + i 2 p , p i 2 x G ( x , p ) ,
where x and p act on G. Equivalently,
( F G ) ( x , p ) = F ( x , p ) exp i 2 x · p p · x G ( x , p ) .
Consider a Hamiltonian (Weyl symbol) that is linear in momentum,
H ( x , p , t ) = u ( x , t ) · p ,
with u ( x , t ) independent of p . We compute the ⋆-commutator using (A28). First,
( H W ) ( x , p ) = u x + i 2 p , t · p i 2 x W ( x , p , t ) .
Since u depends only on x , its Bopp shift expands as
u x + i 2 p , t = u ( x , t ) + i 2 ( x u ) ( x , t ) p ,
and the expansion truncates exactly at first order because H is linear in p . Substituting (A32) into (A31) and keeping the resulting terms gives
H W = ( u · p ) W i 2 u · x W + i 2 ( x u ) T p · p W ,
where ( x u ) i j = x j u i and ( x u ) T p j = i ( x j u i ) p i . Similarly,
( W H ) ( x , p ) = W x i 2 p , p + i 2 x ( u ( x , t ) · p ) ,
which yields
W H = ( u · p ) W + i 2 u · x W i 2 ( x u ) T p · p W .
Therefore, the ⋆-commutator is
1 i ( H W W H ) = u · x W ( x u ) T p · p W .
The right-hand side is exactly the Poisson bracket { H , W } in ( x , p ) :
{ H , W } = ( p H ) · ( x W ) ( x H ) · ( p W ) = u · x W ( x u ) T p · p W .
Hence, for Hamiltonians linear in momentum, the Moyal bracket coincides with the Poisson bracket exactly in 3D (and, in fact, in any dimension); all higher-order -corrections vanish because they require second (or higher) derivatives of H with respect to p .

References

  1. Morrison, P.J.; Greene, J.M. Noncanonical Hamiltonian Density Formulation of Hydrodynamics and Ideal Magnetohydrodynamics. Phys. Rev. Lett. 1980, 45, 790–794. [Google Scholar] [CrossRef]
  2. Salmon, R. Hamiltonian Fluid Mechanics. Annu. Rev. Fluid Mech. 1988, 20, 225–256. [Google Scholar] [CrossRef]
  3. Holm, D.D.; Marsden, J.E.; Ratiu, T.S. The Euler–Poincaré equations and semidirect products with applications to continuum theories. Adv. Math. 1998, 137, 1–81. [Google Scholar] [CrossRef]
  4. Wigner, E. On the Quantum Correction For Thermodynamic Equilibrium. Phys. Rev. 1932, 40, 749–759. [Google Scholar] [CrossRef]
  5. Moyal, J.E. Quantum mechanics as a statistical theory. In Mathematical Proceedings of the Cambridge Philosophical Society; Cambridge University Press: Cambridge, UK, 1949; Volume 45, pp. 99–124. [Google Scholar] [CrossRef]
  6. Hillery, M.; O’Connell, R.F.; Scully, M.O.; Wigner, E.P. Distribution Functions in Physics: Fundamentals. Phys. Rep. 1984, 106, 121–167. [Google Scholar] [CrossRef]
  7. Zachos, C.K.; Curtright, T.L.; Fairlie, D.B. Quantum Mechanics in Phase Space: An Overview with Selected Papers; World Scientific: Singapore, 2005. [CrossRef]
  8. Mauro, D. On Koopman–von Neumann waves. Int. J. Mod. Phys. A 2002, 17, 1301–1325. [Google Scholar] [CrossRef]
  9. Bondar, D.I.; Cabrera, R.; Lompay, R.R.; Ivanov, M.Y.; Rabitz, H.A. Operational Dynamic Modeling Transcending Quantum and Classical Mechanics. Phys. Rev. Lett. 2012, 109, 190403. [Google Scholar] [CrossRef]
  10. Koopman, B.O. Hamiltonian systems and transformation in Hilbert space. Proc. Natl. Acad. Sci. USA 1931, 17, 315–318. [Google Scholar] [CrossRef]
  11. von Neumann, J. Zur Operatorenmethode in der klassischen Mechanik. Ann. Math. 1932, 33, 587–642. [Google Scholar] [CrossRef]
  12. Bondar, D.I.; Gay-Balmaz, F.; Tronci, C. Koopman wavefunctions and classical–quantum correlation dynamics. Proc. R. Soc. A Math. Phys. Eng. Sci. 2019, 475, 20180879. [Google Scholar] [CrossRef]
  13. Tronci, C.; Joseph, I. Koopman wavefunctions and Clebsch variables in Vlasov–Maxwell kinetic theory. J. Plasma Phys. 2021, 87, 835870402. [Google Scholar] [CrossRef]
  14. Foskett, M.S.; Holm, D.D.; Tronci, C. Geometry of Nonadiabatic Quantum Hydrodynamics. Acta Appl. Math. 2019, 162, 63–103. [Google Scholar] [CrossRef]
  15. Gay-Balmaz, F.; Tronci, C. Madelung transform and probability densities in hybrid quantum–classical dynamics. Nonlinearity 2020, 33, 5383–5424. [Google Scholar] [CrossRef]
  16. Polkovnikov, A. Phase space representation of quantum dynamics. Ann. Phys. 2010, 325, 1790–1852. [Google Scholar] [CrossRef]
  17. Bayen, F.; Flato, M.; Fronsdal, C.; Lichnerowicz, A.; Sternheimer, D. Deformation theory and quantization. I. Deformations of symplectic structures. Ann. Phys. 1978, 111, 61–110. [Google Scholar] [CrossRef]
  18. Bayen, F.; Flato, M.; Fronsdal, C.; Lichnerowicz, A.; Sternheimer, D. Deformation theory and quantization. II. Physical applications. Ann. Phys. 1978, 111, 111–151. [Google Scholar] [CrossRef]
  19. Weyl, H. Quantenmechanik und Gruppentheorie. Z. Phys. 1927, 46, 1–46. [Google Scholar] [CrossRef]
  20. Groenewold, H.J. On the Principles of Elementary Quantum Mechanics. Physica 1946, 12, 405–460. [Google Scholar] [CrossRef]
  21. de Gosson, M.A. Symplectic Methods in Harmonic Analysis and in Mathematical Physics; Birkhäuser: Basel, Switzerland, 2011. [Google Scholar] [CrossRef]
  22. Case, W.B. Wigner functions and Weyl transforms for pedestrians. Am. J. Phys. 2008, 76, 937–946. [Google Scholar] [CrossRef]
  23. Meng, Z.; Yang, Y. Quantum computing of fluid dynamics using the hydrodynamic Schrödinger equation. Phys. Rev. Res. 2023, 5, 33182. [Google Scholar] [CrossRef]
  24. Gaitan, F. Finding flows of a Navier–Stokes fluid through quantum computing. npj Quantum Inf. 2020, 6, 61. [Google Scholar] [CrossRef]
  25. LeVeque, R.J. Finite Volume Methods for Hyperbolic Problems; Cambridge Texts in Applied Mathematics; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar] [CrossRef]
  26. Evans, L.C. Partial Differential Equations, 2nd ed.; Graduate Studies in Mathematics; American Mathematical Society: Providence, RI, USA, 2010; Volume 19. [Google Scholar]
  27. Kang, M.J.; Vasseur, A.F. Asymptotic analysis of Vlasov-type equations under strong local alignment regime. Math. Model. Methods Appl. Sci. 2015, 25, 2153–2173. [Google Scholar] [CrossRef]
  28. Gadella, M.; Lara, L.P.; Pronko, G.P. Quadratic Hamiltonians in phase space: The Weyl–Wigner formalism. J. Math. Phys. 2021, 62, 82103. [Google Scholar] [CrossRef]
  29. de Gosson, M.A.; Luef, F. Born–Jordan Pseudodifferential Calculus, Bopp Operators and Deformation Quantization. Integral Equ. Oper. Theory 2016, 84, 463–485. [Google Scholar] [CrossRef]
  30. Morrison, P.J. Hamiltonian description of the ideal fluid. Rev. Mod. Phys. 1998, 70, 467–521. [Google Scholar] [CrossRef]
  31. Hu, B.L.; Parker, L. Anisotropy damping through quantum effects in the early Universe. Phys. Rev. D 1978, 17, 933–945. [Google Scholar] [CrossRef]
  32. Calzetta, E.; Hu, B.L. Nonequilibrium quantum fields: Closed-time-path effective action, Wigner function, and Boltzmann equation. Phys. Rev. D 1988, 37, 2878–2900. [Google Scholar] [CrossRef]
  33. Mrówczyński, S.; Müller, B. Wigner functional approach to quantum field dynamics. Phys. Rev. D 1994, 50, 7542–7552. [Google Scholar] [CrossRef]
  34. Bialynicki-Birula, I. The Wigner functional of the electromagnetic field. Opt. Commun. 2000, 179, 237–246. [Google Scholar] [CrossRef]
  35. Morrison, P.J. Poisson brackets for fluids and plasmas. In Proceedings of the Mathematical Methods in Hydrodynamics and Integrability in Related Dynamical Systems; AIP Conference Proceedings; American Institute of Physics: New York, NY, USA, 1982; Volume 88, pp. 13–46. [Google Scholar] [CrossRef]
  36. Cahill, K.E.; Glauber, R.J. Ordered expansions in boson amplitude operators. Phys. Rev. 1969, 177, 1857–1881. [Google Scholar] [CrossRef]
  37. Brenier, Y. Solutions with concentration to the Vlasov–Monge–Ampère equation. ESAIM Control. Optim. Calc. Var. 2005, 11, 3–15. [Google Scholar] [CrossRef]
  38. Spohn, H. Large Scale Dynamics of Interacting Particles; Texts and Monographs in Physics; Springer: Berlin/Heidelberg, Germany, 1991. [Google Scholar] [CrossRef]
  39. Robert, D. When Poisson and Moyal brackets are equal? Lett. Math. Phys. 2023, 113, 35. [Google Scholar] [CrossRef]
Figure 1. Field-theoretic pipeline: from Euler variables to the KvN generator, Weyl/Wigner functional, and evolution, with an explicit 1D worked example and Liouville verification.
Figure 1. Field-theoretic pipeline: from Euler variables to the KvN generator, Weyl/Wigner functional, and evolution, with an explicit 1D worked example and Liouville verification.
Entropy 28 00416 g001
Figure 2. Kinetic pipeline: quadratic+potential symbol gives exact Liouville/Vlasov Wigner evolution; the monokinetic closure recovers Euler equation from Vlasov equation up to shocks.
Figure 2. Kinetic pipeline: quadratic+potential symbol gives exact Liouville/Vlasov Wigner evolution; the monokinetic closure recovers Euler equation from Vlasov equation up to shocks.
Entropy 28 00416 g002
Table 1. Weyl–Wigner correspondences used in this paper.
Table 1. Weyl–Wigner correspondences used in this paper.
Map/ObjectMeaning
Weyl quantization f ( x , p ) f ^ phase space observable → operator
Inverse Weyl f ^ f W ( x , p ) Operator → Weyl symbol
Wigner transform ρ ^ W ( x , p ) Density operator → Wigner function
Star product f g Operator product in phase space
Moyal bracket { f , g } Commutator in phase space
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Molnar, S.M.; Godfrey, J.R. Koopman–von Neumann and Weyl–Wigner Phase-Space Formulation of Inviscid Euler Flows. Entropy 2026, 28, 416. https://doi.org/10.3390/e28040416

AMA Style

Molnar SM, Godfrey JR. Koopman–von Neumann and Weyl–Wigner Phase-Space Formulation of Inviscid Euler Flows. Entropy. 2026; 28(4):416. https://doi.org/10.3390/e28040416

Chicago/Turabian Style

Molnar, Sandor M., and Joseph R. Godfrey. 2026. "Koopman–von Neumann and Weyl–Wigner Phase-Space Formulation of Inviscid Euler Flows" Entropy 28, no. 4: 416. https://doi.org/10.3390/e28040416

APA Style

Molnar, S. M., & Godfrey, J. R. (2026). Koopman–von Neumann and Weyl–Wigner Phase-Space Formulation of Inviscid Euler Flows. Entropy, 28(4), 416. https://doi.org/10.3390/e28040416

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop