A symmetry theorem for localizable steady solutions of the 3D Euler equations

A steady Euler flow is localizable if the pressure function is constant along its stream lines. This property was used by Gavrilov to construct the first smooth compactly supported steady states of 3D Euler. We prove that any analytic localizable 3D Euler flow in a bounded domain $\Omega$ is axisymmetric and $\Omega$ is a rotationally symmetric domain whose transverse section is a disk or an annulus with convex boundary curves. To the best of our knowledge, this is the first symmetry theorem for 3D steady Euler flows. In the context of MHD equilibria, this result shows that Grad's conjecture holds true for magnetic fields satisfying the isodynamic condition, a property introduced by Palumbo in the 1960's to minimize the effect of particle drifts in plasma confinement devices.