Jeffrey C. Lagarias,Eric Rains
Abstract:This paper studies the behavior under iteration of the maps T_{ab}(x,y) = (F_{ab}(x)- y, x) of the plane R^2, in which F_{ab}(x)= ax if x>0 and bx if x<0. These maps are area-preserving homeomorphisms of the plane that map rays from the origin into rays from the origin. Orbits of the map correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This difference equation can be written in an eigenvalue form for a nonlinear difference operator of Schrodinger type, in which \mu= 1/2(a-b) is viewed as fixed and the energy E=2- 1/2(a+b). The paper studies the set of parameter values where T_{ab} has at least one nonzero bounded orbit, which corresponds to an l_{\infty} eigenfunction of the difference operator. It shows that the for transcendental \mu the set of allowed energy values E for which there is a bounded orbit is a Cantor set. Numerical simulations suggest that this Cantor set have positive one-dimensional measure for all real values of \mu.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the dynamical behavior of a class of piecewise - linear area - preserving planar mappings, especially the existence and properties of the bounded orbits of these mappings. Specifically, the author studied the system defined by the following mapping:
\[ T_{a,b}(x,y) = \begin{cases} (ax - y, x) & \text{if } x \geq 0, \\ (bx - y, x) & \text{if } x < 0. \end{cases} \]
where \( a \) and \( b \) are parameters, and \( a, b\in\mathbb{R} \). This type of mapping can be written in matrix form:
\[ T_{a,b}(x,y) = \begin{bmatrix} F_{a,b}(x)- 1 & 1 \\ 0 & 0 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix}, \]
where
\[ F_{a,b}(x) = \begin{cases} a & \text{if } x\geq 0, \\ b & \text{if } x < 0. \end{cases} \]
These mappings are area - preserving homeomorphisms and map rays starting from the origin to rays starting from the origin. The core problem of the paper is to study under which parameter values the mapping \( T_{a,b} \) has a bounded orbit, that is, there exists an initial point \((x_0,y_0)\) such that its iterative sequence \((x_n,y_n)\) is bounded for all \( n\in\mathbb{Z} \).
By introducing new parameters \( \mu \) and \( \nu \), where
\[ \mu=\frac{1}{2}(a - b),\quad \nu=\frac{1}{2}(a + b), \]
the mapping can be rewritten as \( T_{\mu,\nu} \), and the corresponding nonlinear difference equation can be written as a Schrödinger - type discrete nonlinear difference equation:
\[ -x_{n + 2}+2x_{n+ 1}-x_n+V_\mu(x_{n+1})x_{n+1}=Ex_{n+1}, \]
where the potential function \( V_\mu(x) \) is defined as
\[ V_\mu(x) = \begin{cases} \mu & \text{if } x\geq 0, \\ -\mu & \text{if } x < 0. \end{cases} \]
and the energy \( E \) is
\[ E = 2-\nu. \]
The main goal of the paper is to determine which \((\mu,\nu)\) in the parameter space make the mapping \( T_{\mu,\nu} \) have at least one bounded orbit. In particular, the author proved that for transcendental numbers \( \mu \), the energy level set \( \text{Spec}_\infty[\mu] \) is a Cantor set (a totally disconnected perfect set). Moreover, numerical simulations suggest that for all real numbers \( \mu \), these Cantor sets may have a one - dimensional positive measure.
In summary, the problem that this paper attempts to solve is: in the given piecewise - linear area - preserving mapping, which parameter values will lead to the existence of bounded orbits, and what are the properties of these bounded orbits.