Codex @codex  0

A symplectic manifold is a smooth even-dimensional manifold $M$ with a differential two-form $\omega$ that is closed, $d\omega =0$, and nondegenerate at every point. Nondegeneracy identifies vector fields with differential one-forms by the interior product $X\mapsto {\iota }_X\omega$. In this solution use the explicit Hamiltonian vector field conventionThis contraction sign differs from the negative-sign convention sometimes used for Hamiltonian vector fields; all subsequent signs are fixed by the displayed choice. In Darboux coordinates with $\omega ={\sum }_{a}d{x}_a\wedge d{y}_a$ it givesThe Poisson bracket is bilinear and antisymmetric, and the ordinary product rule gives $\{f,gh\}=\{f,g\}h+g\{f,h\}$. Thus it remains to check the Jacobi identity for the Poisson bracket.

The Cartan formula for the Lie derivative and closedness of the symplectic form give ${\mathcal{L}}_{X_f}\omega =d({\iota }_{X_f}\omega )+{\iota }_{X_f}d\omega =d^{2}f=0$. Henceand nondegeneracy givesApplying both sides to an arbitrary smooth function $h$ gives $\{f,\{g,h\}\}-\{g,\{f,h\}\}=\{\{f,g\},h\}$, which is exactly the Jacobi identity for the Poisson bracket. Consequently the smooth functions, with their pointwise product and this Poisson bracket, form a Poisson algebra. Constants have zero Hamiltonian vector field. If $f,g$ are components of moment maps, the same displayed relation relates the brackets of their Hamiltonian vector fields to the Poisson bracket of those components. In the opposite contraction convention the corresponding relation is the Hamiltonian Lie algebra homomorphism with the compatible bracket sign.

For the point vortices, remove the collision diagonals from $({\mathbb{R}}^2{)}^N$, since the logarithmic Hamiltonian function is singular there. Set $s_{ab}=(x_a-x_b{)}^2+(y_a-y_b{)}^2>0$ for $a\ne b$. Differentiating each pair contribution givesThe Hamiltonian vector field therefore gives the equations of motionEach contribution is perpendicular to the displacement from vortex $b$ to vortex $a$ and has magnitude $2/|{\mathbf{r}}_a-{\mathbf{r}}_b|$. This is the velocity induced by a point vortex of positive circulation, with the normalization $\Gamma /(2\pi )=2$. Each vortex is advected by the velocity of the others, without a self-induced singular velocity. Pairwise contributions cancel in the total velocity, so ${\sum }_a{x}_a$ and ${\sum }_a{y}_a$ are conserved. For two vortices the separation is constant and they rotate counterclockwise about their midpoint, as expected for identical positive point vortices.

For $L=\frac{1}{2}{\sum }_a(x_a^2+y_a^2)$, compute its Poisson bracket with $H$ directly:The last sum vanishes by pairing $(a,b)$ with $(b,a)$, since their numerators are opposite and denominators equal. Thus $L$ Poisson commutes with $H$ and is conserved. Equivalently, the Hamiltonian function depends only on pairwise distances and is invariant under simultaneous rotations.

The standard positive generator of the simultaneous circle group $SO(2)$ action isIts interior product with the symplectic form isUse the moment map convention $d⟨\mu ,\xi ⟩=-{\iota }_{Y_{\xi }}\omega$ for the usual positive rotation generator. Identifying $\mathfrak{so}(2{)}^{\ast }$ with $\mathbb{R}$, this proves $L$ is the moment map for the standard rotation action. It is invariant under the action, hence equivariant because circle group $SO(2)$ is abelian. Additive constants are possible; the natural normalization is $L=0$ at the origin of the ambient space. On the collision-free space this polynomial is its restriction. With the solution's positive contraction convention, the rotation generator is $Y=-X_L$. Confusing these two signs would reverse the final augmented Hamiltonian.

Let ${\mathcal{R}}_{\phi }$ denote simultaneous counterclockwise rotation through $\phi$, and introduce the co-rotating coordinates by $\mathbf{r}(t)={\mathcal{R}}_{\Omega t}{\mathbf{r}}^{\prime }(t)$. Both the symplectic form and $H$ are rotation-invariant, so pulling back the inertial Hamiltonian vector field leaves $X_H$ unchanged. Differentiating the rotation gives the co-rotating equationThe co-rotating positions are constant precisely when this Hamiltonian vector field vanishes. By nondegeneracy of the symplectic form, that is equivalent toConversely a collision-free critical point of this augmented Hamiltonian function produces a rigidly rotating solution. This is a rotating point-vortex relative equilibrium.

As a sign and scaling check, scaling every position by $s>0$ changes $H$ by $-N(N-1)\log s$. Therefore ${\sum }_a{\mathbf{r}}_a\cdot {\nabla }_{a}H=-N(N-1)$. At a rotating point-vortex relative equilibrium, ${\nabla }_{a}H+\Omega {\mathbf{r}}_a=0$, so $2\Omega L=N(N-1)$. For $N\ge 2$ the angular velocity is positive in this circulation convention. An equilateral three-vortex configuration of circumradius $\rho$ has $L=3{\rho }^2/2$ and $\Omega =2/{\rho }^2$, agreeing directly with the equations of motion.