Showing 1–16 of 16 results for author: Butler, L T

Invariant tori for multi-dimensional integrable hamiltonians coupled to a single thermostat

Authors: Leo T. Butler

Abstract: This paper demonstrates sufficient conditions for the existence of KAM tori in a singly thermostated, integrable hamiltonian system with $n$ degrees of freedom with a focus on the generalized, variable-mass thermostats of order 2--which include the Nosé thermostat, the logistic thermostat of Tapias, Bravetti and Sanders, and the Winkler thermostat. It extends Theorem 3.2 of Legoll, Luskin & Moecke… ▽ More This paper demonstrates sufficient conditions for the existence of KAM tori in a singly thermostated, integrable hamiltonian system with $n$ degrees of freedom with a focus on the generalized, variable-mass thermostats of order 2--which include the Nosé thermostat, the logistic thermostat of Tapias, Bravetti and Sanders, and the Winkler thermostat. It extends Theorem 3.2 of Legoll, Luskin & Moeckel, (Non-ergodicity of Nosé-Hoover dynamics, Nonlinearity, 22 (2009), pp. 1673--1694) to prove that a "typical" singly thermostated, integrable, real-analytic hamiltonian possesses a positive-measure set of invariant tori when the thermostat is weakly coupled. It also demonstrates a class of integrable hamiltonians, which, for a full-measure set of couplings, satisfies the same conclusion. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Comments: 32 pages; 7 figures

MSC Class: 70H08; 37J40; 82B05; 70F40

Horseshoes and invariant tori in cosmological models with a coupled field and non-zero curvature

Authors: Leo T. Butler

Abstract: This paper studies the dynamics of a family of hamiltonian systems that originate from Friedman-Lemaître-Robertson-Walker space-times with a coupled field and non-zero curvature. In four distinct cases, previously considered by Maciejewski, Przybylska, Stachowiak & Szydowski, it is shown that there are homoclinic connections to invariant submanifolds and the connections split. These results imply… ▽ More This paper studies the dynamics of a family of hamiltonian systems that originate from Friedman-Lemaître-Robertson-Walker space-times with a coupled field and non-zero curvature. In four distinct cases, previously considered by Maciejewski, Przybylska, Stachowiak & Szydowski, it is shown that there are homoclinic connections to invariant submanifolds and the connections split. These results imply the non-existence of a real-analytic integral independent of the hamiltonian. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 21 pages, 4 figures

MSC Class: 37J30; 37J35; 70F07; 70F08

Horseshoes for singly thermostated hamiltonians

Authors: Leo T. Butler

Abstract: This note studies 1 and 2 degree of freedom hamiltonian systems that are thermostated by a single-variable thermostat. Under certain conditions on the hamiltonian and thermostat, the existence of a horseshoe in the flow of the thermostated system is proven. This note studies 1 and 2 degree of freedom hamiltonian systems that are thermostated by a single-variable thermostat. Under certain conditions on the hamiltonian and thermostat, the existence of a horseshoe in the flow of the thermostated system is proven. △ Less

Submitted 6 September, 2019; originally announced September 2019.

Comments: 16 pages; 1 figure

MSC Class: 37J30; 53C17; 53C30; 53D25

Invariant tori for a class of singly thermostated hamiltonians

Authors: Leo T. Butler

Abstract: This paper demonstrates sufficient conditions for the existence of a positive measure set of invariant KAM tori in a singly thermostated, 1 degree-of-freedom hamiltonian vector field. This result is applied to 4 important single thermostats in the literature and it is shown that in each case, if the hamiltonian is real-analytic and well-behaved, then the thermostated system always has a positive m… ▽ More This paper demonstrates sufficient conditions for the existence of a positive measure set of invariant KAM tori in a singly thermostated, 1 degree-of-freedom hamiltonian vector field. This result is applied to 4 important single thermostats in the literature and it is shown that in each case, if the hamiltonian is real-analytic and well-behaved, then the thermostated system always has a positive measure set of invariant KAM tori for sufficiently weak coupling and high temperature. This extends results of Legoll, Luskin & Moeckel. △ Less

Submitted 3 August, 2019; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: 27 pages, 8 figures

MSC Class: 37J30; 53C17; 53C30; 53D25

Invariant fibration of geodesic flows

Authors: Leo T. Butler

Abstract: Let (Σ, g) be a compact $C^2$ finslerian 3-manifold. If the geodesic flow of g is completely integrable, and the singular set is a tamely-embedded polyhedron, then $π_1(Σ)$ is almost polycyclic. On the other hand, if Σ is a compact, irreducible 3-manifold and $π_1(Σ)$ is infinite polycyclic while $π_2(Σ)$ is trivial, then Σ admits an analytic riemannian metric whose geodesic flow is completely int… ▽ More Let (Σ, g) be a compact $C^2$ finslerian 3-manifold. If the geodesic flow of g is completely integrable, and the singular set is a tamely-embedded polyhedron, then $π_1(Σ)$ is almost polycyclic. On the other hand, if Σ is a compact, irreducible 3-manifold and $π_1(Σ)$ is infinite polycyclic while $π_2(Σ)$ is trivial, then Σ admits an analytic riemannian metric whose geodesic flow is completely integrable and singular set is a real-analytic variety. Additional results in higher dimensions are proven. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 28 pages. Published in 2005

MSC Class: 37J30; 37K10; 53C60; 53C22; 53D25

Journal ref: Topology. 4:44 (2005) pps. 769--789

Geometry and Real-Analytic Integrability

Authors: Leo T. Butler

Abstract: This note constructs a compact, real-analytic, riemannian 4-manifold (Σ, g) with the properties that: (1) its geodesic flow is completely integrable with smooth but not real-analytic integrals; (2) Σ is diffeomorphic to $T^2 \times S^2$ ; and (3) the limit set of the geodesic flow on the universal cover is dense. This shows there are obstructions to realanalytic integrability beyond the topology o… ▽ More This note constructs a compact, real-analytic, riemannian 4-manifold (Σ, g) with the properties that: (1) its geodesic flow is completely integrable with smooth but not real-analytic integrals; (2) Σ is diffeomorphic to $T^2 \times S^2$ ; and (3) the limit set of the geodesic flow on the universal cover is dense. This shows there are obstructions to realanalytic integrability beyond the topology of the configuration space. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 8 pages. Published in 2006

MSC Class: 37J35 (37D40 37J30 53D25 57R30)

Journal ref: Regular & Chaotic Dynamics. 3:11 (2006), pps. 363--369

Nosé-Thermostated Mechanical Systems on the n-Torus

Authors: Leo T. Butler

Abstract: Let $H(q,p) = \frac12 | p |^2 + V(q)$ be an $n$-degree of freedom $C^r$ mechanical Hamiltonian on the cotangent bundle of the $n$-torus where $r>2n+2$. When the metric $| * |$ is flat, the Nosé-thermostated system associated to $H$ is shown to have a positive-measure set of invariant tori near the infinite temperature limit. This is shown to be true for all variable mass thermostats similar to Nos… ▽ More Let $H(q,p) = \frac12 | p |^2 + V(q)$ be an $n$-degree of freedom $C^r$ mechanical Hamiltonian on the cotangent bundle of the $n$-torus where $r>2n+2$. When the metric $| * |$ is flat, the Nosé-thermostated system associated to $H$ is shown to have a positive-measure set of invariant tori near the infinite temperature limit. This is shown to be true for all variable mass thermostats similar to Nosé's, too. These results complement results of Legoll, Luskin & Moeckel and the author. △ Less

Submitted 30 August, 2017; originally announced August 2017.

Comments: 11 pages

MSC Class: 37J30 (primary); 53C17; 53C30; 53D25 (secondary)

Invariant tori for the Nosé Thermostat near the High-Temperature Limit

Authors: Leo T. Butler

Abstract: Let H(q,p) = p^2/2 + V(q) be a 1-degree of freedom mechanical Hamiltonian with a C^n periodic potential V where n>4. The Nosé-thermostated system associated to H is shown to have invariant tori near the infinite temperature limit. This is shown to be true for all thermostats similar to Nosé's. These results complement the result of Legoll, Luskin and Moeckel who proved the existence of such tori n… ▽ More Let H(q,p) = p^2/2 + V(q) be a 1-degree of freedom mechanical Hamiltonian with a C^n periodic potential V where n>4. The Nosé-thermostated system associated to H is shown to have invariant tori near the infinite temperature limit. This is shown to be true for all thermostats similar to Nosé's. These results complement the result of Legoll, Luskin and Moeckel who proved the existence of such tori near the decoupling limit. △ Less

Submitted 7 February, 2017; originally announced February 2017.

Comments: 10 pages

MSC Class: 37J30; 53C17; 53C30; 53D25

Journal ref: Nonlinearity 29 (2016) 3454-3463

A Note on Integrable Mechanical Systems on Surfaces

Authors: Leo T. Butler

Abstract: Let S be a compact, connected surface and H in C^2(T^* S) a Tonelli Hamiltonian. This note extends V. V. Kozlov's result on the Euler characteristic of S when H is real-analytically integrable, using a definition of topologically-tame integrability called semisimplicity. Theorem: If H is 2-semisimple, then S has non-negative Euler characteristic; if H is 1-semisimple and reversible, then S has pos… ▽ More Let S be a compact, connected surface and H in C^2(T^* S) a Tonelli Hamiltonian. This note extends V. V. Kozlov's result on the Euler characteristic of S when H is real-analytically integrable, using a definition of topologically-tame integrability called semisimplicity. Theorem: If H is 2-semisimple, then S has non-negative Euler characteristic; if H is 1-semisimple and reversible, then S has positive Euler characteristic. △ Less

Submitted 11 October, 2013; v1 submitted 7 August, 2012; originally announced August 2012.

Comments: 7 pages, 1 figure; removed reversibility hypothesis and renamed in v2; to appear in DCDS-A

MSC Class: 37J35; 70H06

Weak Liouville-Arnold Theorems & Their Implications

Authors: Leo T. Butler, Alfonso Sorrentino

Abstract: This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion and obtain two theorems reminiscent of the Liouville-Arnold theorem. Moreover, we also obtain results on the structure of the configuration spaces of such systems… ▽ More This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion and obtain two theorems reminiscent of the Liouville-Arnold theorem. Moreover, we also obtain results on the structure of the configuration spaces of such systems that are reminiscent of results on the configuration space of completely integrable Tonelli Hamiltonians. △ Less

Submitted 12 November, 2012; v1 submitted 31 October, 2010; originally announced November 2010.

Comments: 24 pages, 1 figure; v2 corrects typo in online abstract; v3 includes new title (was: A Weak Liouville-Arnold Theorem), re-arrangement of introduction, re-numbering of main theorems; v4 updates the authors' email and physical addresses, clarifies notation in section 4. Final version

MSC Class: 37J50 (Primary) 37J35; 53D12; 70H08 (Secondary)

Journal ref: Communications in Mathematical Physics, 1:315 (2012), pps. 109--133

Smooth structures on Eschenburg spaces: numerical computations

Authors: Leo T. Butler

Abstract: This paper numerically computes the topological and smooth invariants of Eschenburg spaces with small fourth cohomology group, following Kruggel's determination of the Kreck-Stolz invariants of Eschenburg spaces that satisfy condition C. The GNU GMP arbitrary-precision library is utilised. This paper numerically computes the topological and smooth invariants of Eschenburg spaces with small fourth cohomology group, following Kruggel's determination of the Kreck-Stolz invariants of Eschenburg spaces that satisfy condition C. The GNU GMP arbitrary-precision library is utilised. △ Less

Submitted 21 September, 2009; originally announced September 2009.

Comments: 7 tables, 2 figures, C++ source code is available at http://www.maths.ed.ac.uk/~lbutler/kspace/, v2 has equation keys removed

MSC Class: 57R55; 53C25

A bayesian approach to the estimation of maps between riemannian manifolds, II: examples

Authors: Leo T. Butler, Boris Levit

Abstract: Let M be a smooth compact oriented manifold without boundary, imbedded in a euclidean space E and let f be a smooth map of M into a Riemannian manifold N. An unknown state x in M is observed via X=x+su where s>0 is a small parameter and u is a white Gaussian noise. For a given smooth prior on M and smooth estimators g of the map f we have derived a second-order asymptotic expansion for the relat… ▽ More Let M be a smooth compact oriented manifold without boundary, imbedded in a euclidean space E and let f be a smooth map of M into a Riemannian manifold N. An unknown state x in M is observed via X=x+su where s>0 is a small parameter and u is a white Gaussian noise. For a given smooth prior on M and smooth estimators g of the map f we have derived a second-order asymptotic expansion for the related Bayesian risk (see arXiv:0705.2540). In this paper, we apply this technique to a variety of examples. The second part examines the first-order conditions for equality-constrained regression problems. The geometric tools that are utilised in our earlier paper are naturally applicable to these regression problems. △ Less

Submitted 18 August, 2009; originally announced August 2009.

Comments: 25 pages, 5 figures, v2 includes thanks

Positve Entropy Geodesic Flows on Nilmanifolds

Authors: Leo T. Butler, Vassili Gelfreich

Abstract: Let T be the nilpotent group of 4 x 4 real upper triangular matrices. In this note we show that the Euler equations of certain left-invariant riemannian metrics on T have a horseshoe. We also show, with the aid of a numerical computation of a Melnikov-type integral, that the Euler equations of the sub-riemannian Carnot metric on T has a horseshoe. This sharpens an earlier result of Montgomery, S… ▽ More Let T be the nilpotent group of 4 x 4 real upper triangular matrices. In this note we show that the Euler equations of certain left-invariant riemannian metrics on T have a horseshoe. We also show, with the aid of a numerical computation of a Melnikov-type integral, that the Euler equations of the sub-riemannian Carnot metric on T has a horseshoe. This sharpens an earlier result of Montgomery, Shapiro and Stolin who had shown that the equations are algebraically non-integrable. △ Less

Submitted 28 September, 2007; originally announced September 2007.

Comments: 1 figure, 1 table

MSC Class: 37D40; 53D25; 53C17

The Maslov cocycle, smooth structures and real-analytic complete integrability

Authors: Leo T. Butler

Abstract: This paper studies smooth obstructions to integrability and proves two main results. First, it is shown that if a smooth topological n-torus admits a real-analytically completely integrable convex hamiltonian on its cotangent bundle, then the torus is diffeomorphic to the standard n-torus. This is the first known result where the smooth structure of a manifold obstructs complete integrability. Sec… ▽ More This paper studies smooth obstructions to integrability and proves two main results. First, it is shown that if a smooth topological n-torus admits a real-analytically completely integrable convex hamiltonian on its cotangent bundle, then the torus is diffeomorphic to the standard n-torus. This is the first known result where the smooth structure of a manifold obstructs complete integrability. Second, it is proven that each one of the Witten-Kreck-Stolz 7-manifolds admit a real-analytically completely integrable geodesic flow on its cotangent bundle. This gives examples of topological manifolds all of whose smooth structures admit a real-analytically completely integrable convex hamiltonian on its cotangent bundle. Additional examples are provided by Eschenburgh and Aloff-Wallach spaces. △ Less

Submitted 15 July, 2010; v1 submitted 23 August, 2007; originally announced August 2007.

Comments: 19 pages; v2: Proposition 4.1 is corrected. Main results are unchanged

MSC Class: 37J30; 37K10; 53D12; 53D25; 57R55; 70H06; 70H07

Journal ref: American Journal of Mathematics. 131(5) : 1311--1336, October 2009

Magnetic flows on Sol-manifolds: dynamical and symplectic aspects

Authors: Leo T. Butler, Gabriel P. Paternain

Abstract: We consider magnetic flows on compact quotients of the 3-dimensional solvable geometry Sol determined by the usual left-invariant metric and the distinguished monopole. We show that these flows have positive Liouville entropy and therefore are never completely integrable. This should be compared with the known fact that the underlying geodesic flow is completely integrable in spite of having pos… ▽ More We consider magnetic flows on compact quotients of the 3-dimensional solvable geometry Sol determined by the usual left-invariant metric and the distinguished monopole. We show that these flows have positive Liouville entropy and therefore are never completely integrable. This should be compared with the known fact that the underlying geodesic flow is completely integrable in spite of having positive topological entropy. We also show that for a large class of twisted cotangent bundles of solvable manifolds every compact set is displaceable. △ Less

Submitted 8 July, 2008; v1 submitted 14 August, 2007; originally announced August 2007.

Comments: Final version to appear in CMP. Two new remarks have been added as well as some numerical calculations for metric entropy

A Bayesian approach to the estimation of maps between riemannian manifolds

Authors: Leo T. Butler, Boris Levit

Abstract: Let Θbe a smooth compact oriented manifold without boundary, embedded in a euclidean space and let γbe a smooth map Θinto a riemannian manifold Λ. An unknown state θ\in Θis observed via X=θ+εξwhere ε>0 is a small parameter and ξis a white Gaussian noise. For a given smooth prior on Θand smooth estimator g of the map γwe derive a second-order asymptotic expansion for the related Bayesian risk. Th… ▽ More Let Θbe a smooth compact oriented manifold without boundary, embedded in a euclidean space and let γbe a smooth map Θinto a riemannian manifold Λ. An unknown state θ\in Θis observed via X=θ+εξwhere ε>0 is a small parameter and ξis a white Gaussian noise. For a given smooth prior on Θand smooth estimator g of the map γwe derive a second-order asymptotic expansion for the related Bayesian risk. The calculation involves the geometry of the underlying spaces Θand Λ, in particular, the integration-by-parts formula. Using this result, a second-order minimax estimator of γis found based on the modern theory of harmonic maps and hypo-elliptic differential operators. △ Less

Submitted 25 March, 2008; v1 submitted 17 May, 2007; originally announced May 2007.

Comments: 20 pages, no figures published version includes correction to eq.s 31, 41, 43

MSC Class: 62C10; 62C20

Journal ref: Mathematical Methods of Statistics. 16(4):1--17, 2007