Phase-Space Formulation of Shock-Containing Irrotational Barotropic Euler Flow

We develop a KvN/Weyl/Wigner/Moyal phase-space formulation for shock-containing compressible, irrotational, barotropic Euler flow. Smooth branches are represented by branchwise Wigner distributions, while piecewise-smooth entropy-admissible shocks generate an interface-supported defect in the weak phase-space balance. This defect is concentrated on the moving shock surface and is weighted by the normal relative transport flux between the one-sided branches. An exact planar constant-state three-dimensional example shows how the same mass flux is transferred between distinct velocity-space supports and how its moments recover the classical jump structure. We also introduce a shock solution of the one-dimensional Burgers equation with a triangular initial profile as an exactly solvable reduced benchmark. In this example, the shock trajectory, transported branch weights, branchwise Wigner transforms, and a two-component localized phase-space defect are obtained in closed form. The construction is a restricted branchwise representation of Euler shocks already selected by the Rankine-Hugoniot and entropy conditions; it is not a new admissibility criterion or a complete global Wigner theory across discontinuities. The formulation separates smooth phase-space evolution from singular interface contributions within a unified construction and provides a compact diagnostic description of shock-supported phase-space structure.