-
Nonexistence of Integrable Nonlinear Magnetic Fields with Invariants Quadratic in Momenta
Authors:
Bela Erdelyi,
Kevin Hamilton,
Jacob Pratscher,
Marie Swartz
Abstract:
Nonlinear, completely integrable Hamiltonian systems that serve as blueprints for novel particle accelerators at the intensity frontier are promising avenues for research, as Fermilab's Integrable Optics Test Accelerator (IOTA) example clearly illustrates. Here, we show that only very limited generalizations are possible when no approximations in the underlying Hamiltonian or Maxwell equations are…
▽ More
Nonlinear, completely integrable Hamiltonian systems that serve as blueprints for novel particle accelerators at the intensity frontier are promising avenues for research, as Fermilab's Integrable Optics Test Accelerator (IOTA) example clearly illustrates. Here, we show that only very limited generalizations are possible when no approximations in the underlying Hamiltonian or Maxwell equations are allowed, as was the case for IOTA. Specifically, no such systems exist with invariants quadratic in the momenta, precluding straightforward generalization of the Courant-Snyder theory of linear integrable systems in beam physics. We also conjecture that no such systems exist with invariants of higher degree in the momenta. This leaves solenoidal magnetic fields, including their nonlinear fringe fields, as the only completely integrable static magnetic fields, albeit with invariants that are linear in the momenta. The difficulties come from enforcing Maxwell equations; without constraints, we show that there are many solutions. In particular, we discover a previously unknown large family of integrable Hamiltonians.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
A Unified Approach to Quasiregular Linearization in the Plane
Authors:
Alastair N. Fletcher,
Jacob Pratscher
Abstract:
We generalize the classical König's and Böttcher's Theorems in complex dynamics to certain quasiregular mappings in the plane. Our approach to these results is unified in the sense that it does not depend on the local injectivity, or not, of the map at the fixed point. By passing to the logarithmic transform we obtain a quasiconformal mapping in either case. Certain restrictions on the quasiregula…
▽ More
We generalize the classical König's and Böttcher's Theorems in complex dynamics to certain quasiregular mappings in the plane. Our approach to these results is unified in the sense that it does not depend on the local injectivity, or not, of the map at the fixed point. By passing to the logarithmic transform we obtain a quasiconformal mapping in either case. Certain restrictions on the quasiregular mappings are needed in order for there to be a candidate to linearize to. These are provided by requiring a simple infinitesimal space of the mapping at the fixed point and restricting to the BIP mappings introduced by the authors in prior work.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
On the mean radius of quasiconformal mappings
Authors:
Alastair Fletcher,
Jacob Pratscher
Abstract:
We study the mean radius growth function for quasiconformal mappings. We give a new sub-class of quasiconformal mappings in $\mathbb{R}^n$, for $n\geq 2$, called bounded integrable parameterization mappings, or BIP maps for short. These have the property that the restriction of the Zorich transform to each slice has uniformly bounded derivative in $L^{n/(n-1)}$. For BIP maps, the logarithmic trans…
▽ More
We study the mean radius growth function for quasiconformal mappings. We give a new sub-class of quasiconformal mappings in $\mathbb{R}^n$, for $n\geq 2$, called bounded integrable parameterization mappings, or BIP maps for short. These have the property that the restriction of the Zorich transform to each slice has uniformly bounded derivative in $L^{n/(n-1)}$. For BIP maps, the logarithmic transform of the mean radius function is bi-Lipschitz. We then apply our result to BIP maps with simple infinitesimal spaces to show that the asymptotic representation is indeed quasiconformal by showing that its Zorich transform is a bi-Lipschitz map.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
A Complete Realization of the orbits of generalized derivatives of Quasiregular Mappings
Authors:
Alastair Fletcher,
Jacob Pratscher
Abstract:
Quasiregular maps are differentiable almost everywhere maps which are analogous to holomorphic maps in the plane for higher real dimensions. Introduced by Gutlyanskii et al, the infinitesimal space is a generalization of the notion of derivatives for quasiregular maps. Evaluation of all elements in the infinitesimal space at a particular point is called the orbit space. We prove that any compact c…
▽ More
Quasiregular maps are differentiable almost everywhere maps which are analogous to holomorphic maps in the plane for higher real dimensions. Introduced by Gutlyanskii et al, the infinitesimal space is a generalization of the notion of derivatives for quasiregular maps. Evaluation of all elements in the infinitesimal space at a particular point is called the orbit space. We prove that any compact connected subset of $\R^n\setminus\{0\}$ can be realized as an orbit space of a quasiconformal map. To that end, we construct analogues of logarithmic spiral maps and interpolation between radial stretch maps in higher dimensions. For the construction of such maps, we need to implement a new tool called the Zorich transform, which is a direct analogue of the logarithmic transform. The Zorich transform could have further applications in quasiregular dynamics.
△ Less
Submitted 24 January, 2020; v1 submitted 29 August, 2019;
originally announced August 2019.
