Rigidity of stationary and uniformly rotating planar Euler flows in the Yudovich class
In the authors' words
We prove a rigidity theorem for stationary and uniformly rotating solutions of the two-dimensional incompressible Euler equation with vorticity If the angular velocity satisfies \[ \Omega\leq\frac12\inf_{\mathbb{R}^2}\omega_0 \qquador\qquad \Omega\geq\frac12\sup_{\mathbb{R}^2}\omega_0, \] then is radially symmetric, in particular, every stationary vorticity of one sign in the class must be radially symmetric about some point. Furthermore, for , the center is necessarily the origin; The proof is based on the analysis for level-set geometry of a normalized stream function. A componentwise Bernoulli formula, together with the isoperimetric inequality and Pohozaev identities, yields a nonnegative defect measure encoding both geometric defects and topological branching. An analysis at infinity forces this measure to vanish, reducing the problem to a semilinear elliptic equation with a bounded nonnegative Borel nonlinearity. Radial symmetry then follows from a theorem of P.-L.\ Lions.
Appeared: Monday, September 28. arXiv. Preprint, not yet peer-reviewed.