Algebraic non-integrability of the Cohen map (Q1385438): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Marek Ryszard Rychlik / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Grzegorz Świątek / rank | |||
Normal rank |
Revision as of 00:25, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic non-integrability of the Cohen map |
scientific article |
Statements
Algebraic non-integrability of the Cohen map (English)
0 references
28 April 1998
0 references
The Cohen map \[ \phi(x,y)=(\sqrt{1+x^2}-y,x) \] is a curious example of an area-preserving plane diffeomorphism. Numerical studies show that the plane is foliated by smooth, possibly piecewise analytic invariant curves. However, no proof of this fact is known. The only information comes from KAM theory which asserts that invariant curves exist locally near the fixed point \((1/\sqrt{3}, 1/\sqrt{3})\). The current paper demonstrates that if an integral, that is a function \(G\) with \(G\circ \phi=G\), exists, it cannot be an algebraic function of \(x\) and \(y\). The proof of this fact uses the theory of iterations of algebraic relations developed by the first author. For example, the function \(\phi\) can be represented as an algebraic relation on \(\mathbb{C}\times \mathbb{C}\), namely \[ R= \{((x_1,y_1), (x_2,y_2));\;(x_2+y_1)^2= 1+x_1^2,\;y_2=x_1\}. \] Iterations of this relation can be considered in a natural way. From general considerations it is shown that if an algebraic integral existed, then the relation \(R\) restricted to any invariant variety would be periodic. But this contradicts KAM theory which asserts the existence of invariant curves with irrational rotation numbers.
0 references
algebraic relations
0 references
KAM theory
0 references
invariant curves
0 references