Abstract:We study, theoretically and experimentally, a 1-parameter family of transformations and their limiting vector field on the space of plane polygons. These transformations are discrete analogs of completely integrable transformation on closed plane curves, known as the bicycle correspondence, that is a geometric realization of the Bäcklund transformation of the planar filament equation. For odd-gons, we construct a symplectic form on the quotient space by parallel translations and show that the transformations are symplectic, and the vector field is Hamiltonian. In the case of triangles, we prove complete integrability of the respective vector field and provide evidence for the conjecture that the transformations are integrable as well.
Dynamical Systems,Metric Geometry,Symplectic Geometry,Exactly Solvable and Integrable Systems
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the theoretical and experimental study of a family of transformations of planar polygons and their limit vector fields. Specifically, the paper focuses on the symplectic structure properties of these transformations on the space of odd - sided polygons, and the complete integrability in the case of triangles. The following are the key points mentioned in the paper:
1. **Definition of Transformations and Vector Fields**:
- The paper defines a family of transformations \(q_t\) and \(r_t\) depending on the parameter \(t\), which act on the planar polygon \(P\) to generate new polygons \(Q\) and \(R\).
- These transformations are discrete analogues of the bicycle correspondence on closed planar curves. The bicycle correspondence is a geometrically realized Bäcklund transformation, which is related to the planar filament equation.
2. **Symplectic Structure of Odd - sided Polygons**:
- For an odd - sided polygon \(P\), the paper constructs a symplectic form on the quotient space (by parallel translation) and proves that the transformations \(q_t\) and \(r_t\) are symplectic transformations, and the vector field \(\xi\) is a Hamiltonian vector field, whose Hamiltonian function is the perimeter of the polygon.
- The paper also defines a quadratic function called algebraic multi - area as an integral invariant of the transformation, and the corresponding Hamiltonian vector field is an infinitesimal rotation.
3. **Complete Integrability of Triangles**:
- In the case of triangles, the paper proves that the vector field \(\xi\) is completely integrable, and its Poisson - commuting integrals are the perimeter and area of the triangle.
- Using the area function for symplectic reduction, a two - dimensional shape space can be obtained, in which the vector field \(\xi\) has a unique zero, corresponding to an equilateral triangle, and all trajectories are closed.
- The paper also proves that two triangles related under the transformation \(t\sim\) are Poncelet pairs (i.e., they are both inscribed in one conic and circumscribed about another conic).
4. **Study of Even - sided Polygons**:
- For an even - sided polygon, the paper defines a vector related to the alternating sum of vertices and proves that this vector is invariant under the transformation \(t\sim\), thus providing two integral invariants.
- The perimeter of the polygon is also invariant under the vector field \(\xi\).
5. **Experimental Results and Open Problems**:
- The paper explores some open problems through numerical experiments, such as complete integrability, the existence of invariant centers, and the failure of Bianchi commutativity.
- The experimental results show that the polygons do not drift under the action of the transformation \(f_t\) and the vector field \(\xi\), but move around certain invariant centers.
- The paper also proposes some conjectures, such as the transformation \(f_t\) and the vector field \(\xi\) having additional integral invariants independent of \(t\), and the values of these invariants may be the coordinates of the above - mentioned invariant centers.
In conclusion, through in - depth research on a family of transformations of planar polygons and their limit vector fields, this paper reveals the dynamic properties of these transformations in polygon spaces of different dimensions, especially the symplectic structure and integrability in the cases of odd - sided polygons and triangles.