Rigidity results for finite energy solutions to the stationary 2D Euler equations

In this paper we prove rigidity results for classical solutions to the stationary 2D Euler equations in $\mathbb{R}^2$. Assuming that the velocity field has finite energy and that the stagnation set is connected, we prove that the corresponding stream function solves an autonomous semilinear elliptic equation. Under some extra conditions on the vorticity near infinity we can also prove that the streamlines are concentric circles. The proofs include several energy estimates on the behavior of the stream function at infinity, as well as an adaptation of the continuous Steiner symmetrization to our setting.