The Poincaré recurrence problem of inviscid incompressible fluids (Q1024908)

The author considers the 2D Euler equation of inviscid fluids. There is a theorem of Poincaré known as the Poincaré Recurrence Theorem. It is the following: Let (\(X, \Sigma , \mu \)) be a finite measure space and \(f: X\to X\) be a measure-preserving transformation. Then for any \(E\in \Sigma \) (\(\sigma \)-algebra of subsets of \(X\)), the measure \(\mu(\{x\in E\mid \exists N\), \(f^n(x)\notin E\) \(\forall n>N\})=0\). That is, almost every point returns infinitely often. It is known that Nadirashvili (1991) presents an example showing that the Poincaré recurrence does not occur near a particular solution to the Euler equation. The author of this interesting paper fixes the problems posed by Nadirashvili in the proof of the Poincaré non-recurrence near a particular solution to the 2D Euler equation. In the original work of Nadirashvili, the setup is incorrect, where a \(C^1\) velocity space is taken as the phase space. The reason is that one needs at least \(C^{1+\alpha }\) \((0<\alpha <1)\) initial data in velocity to get \(C^1\) (in space) velocity solution of 2D Euler equation. It turns out that \(C^{1+\alpha }\) is not a proper space for a dynamical system. On the other hand, Nadirashvili's is a good example for that purpose, which should be set right. Thus the author selects an appropriate phase space and discusses the Nadirashvili's example in a correct way.