Characterization of Geodesic Flows on T 2 with and without Positive Topological Entropy

In the present work we consider the behavior of the geodesic flow on the unit tangent bundle of the 2-torus T ² for an arbitrary Riemannian metric. A natural non-negative quantity which measures the complexity of the geodesic flow is the topological entropy. In particular, positive topological entropy implies chaotic behavior on an invariant set in the phase space of positive Hausdorff-dimension (horseshoe). We show that in the case of zero topological entropy the flow has properties similar to integrable systems. In particular, there exists a non-trivial continuous constant of motion which measures the direction of geodesics lifted onto the universal covering \mathbbR²{\mathbb{R}^{2}} . Furthermore, those geodesics travel in strips bounded by Euclidean lines. Moreover, we derive necessary and sufficient conditions for vanishing topological entropy involving intersection properties of single geodesics on T ².     

Integrability versus topology of configuration manifolds and domains of possible motions

We establish a generic sufficient condition for a compact n-dimensional manifold bearing an integrable geodesic flow to be the n-torus. As a complementary result, we show that in the case of domains of possible motions with boundary, the first Betti number of the domain of possible motions may be arbitrarily large. Received: 28 January 2005; revised: 16 March 2005     

Noncommutative Integrability,Moment Map and Geodesic Flows

The purpose of this paper is to discuss the relationship betweencommutative and noncommutative integrability of Hamiltonian systemsand to construct new examples of integrable geodesic flows onRiemannian manifolds. In particular, we prove that the geodesic flowof the bi-invariant metric on any bi-quotient of a compact Lie group isintegrable in the noncommutative sense by means of polynomial integrals, andtherefore, in the classical commutative sense by means ofC -smooth integrals.     

Integrable magnetic geodesic flows on lie groups

On Lie group manifolds, we consider right-invariant magnetic geodesic flows associated with 2-cocycles of the corresponding Lie algebras. We investigate the algebra of the integrals of motion of magnetic geodesic flows and also formulate a necessary and sufficient condition for their integrability in quadratures, giving the canonical forms of 2-cocycles for all four-dimensional Lie algebras and selecting integrable cases. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 2, pp. 189–206, August, 2008.     

C k-rigidity for hyperbolic flows II

In this note we prove the following result: Any conjugating homeomorphism between two geodesic flows for compact negatively curved compactC ^∞ surfaces is necessarilyC ^∞. This extends a result of Feldman and Ornstein. We also discuss some related results for hyperbolic flows and diffeomorphisms.     

Complete involutive algebras of functions on cotangent bundles of homogeneous spaces

Homogeneous spaces of all compact Lie groups admit Riemannian metrics with completely integrable geodesic flows by means of C –smooth integrals [9, 10]. The purpose of this paper is to give some constructions of complete involutive algebras of analytic functions, polynomial in velocities, on the (co)tangent bundles of homogeneous spaces of compact Lie groups. This allows us to obtain new integrable Riemannian and sub-Riemannian geodesic flows on various homogeneous spaces, such as Stiefel manifolds, flag manifolds and orbits of the adjoint actions of compact Lie groups. Mathematics Subject Classification (2000): 70H06, 37J35, 53D17, 53D25     

Integrable Hamiltonian systems with positive topological entropy

In this paper we provide a class of integrable Hamiltonian systems on a three-dimensional Riemannian manifold whose flows have a positive topological entropy on almost all compact energy surfaces. As our knowledge, these are the first examples of C^∞ Liouvillian integrable Hamiltonian flows with potential energy on a Riemannian manifold which has a positive topological entropy.     

Orbits of the geodesic flow and chains on the boundary of a Grauert tube

A Riemannian manifold (X,g) determines an integrable complex structure on a tubular neighborhood, , of the zero section in and a CR-structure on the boundary, . There are two natural families of curves on : the orbits of the geodesic flow and a CR-invariant family called chains. It is natural to ask whether they are related. We show that if orbits of the geodesic flow are chains on for all sufficiently small, then (X,g) is Einstein. As a partial converse we show that if (X,g) is harmonic, then orbits of the geodesic flow are chains. To prove this we study the Fefferman metric associated with . Received: 1 April 1998 / Revised version: 25 May 2001 / Published online: 19 October 2001     

On a class of integrable systems with a quartic first integral

We generalize, to some extent, the results on integrable geodesic flows on two dimensional manifolds with a quartic first integral in the framework laid down by Selivanova and Hadeler. The local structure is first determined by a direct integration of the differential system which expresses the conservation of the quartic observable and is seen to involve a finite number of parameters. The global structure is studied in some detail and leads to a class of models on the manifolds {ie394-1}², ?² or ?². As special cases we recover Kovalevskaya’s integrable system and a generalization of it due to Goryachev.     

A New Proof of the Existence of Embedded Surfaces with Anosov Geodesic Flow

We give a new proof of the existence of compact surfaces embedded in ?³ with Anosov geodesic flows. This proof starts with a noncompact model surface whose geodesic flow is shown to be Anosov using a uniformly strictly invariant cone condition. Using a sequence of explicit maps based on the standard torus embedding, we produce compact embedded surfaces that can be seen as small perturbations of the Anosov model system and hence are themselves Anosov.     

Obstructions to toric integrable geodesic flows in dimension 3

The geodesic flow of a Riemannian metric on a compact manifold Q is said to be toric integrable if it is completely integrable and the first integrals of motion generate a homogeneous torus action on the punctured cotangent bundle T ^* Q\Q. If the geodesic flow is toric integrable, the cosphere bundle admits the structure of a contact toric manifold. By comparing the Betti numbers of contact toric manifolds and cosphere bundles, we are able to provide necessary conditions for the geodesic flow on a compact, connected 3-dimensional Riemannian manifold to be toric integrable.Mathematics Subject Classifications (2000): primary 53D25; secondary 53D10     

Geodesic Equivalence via Integrability

We suggest a construction that, given an orbital diffeomorphism between two Hamiltonian systems, produces integrals of them. We treat geodesic equivalence of metrics as the main example of it. In this case, the integrals commute; they are functionally independent if the eigenvalues of the tensor g ⁱg¯_j are all different; if the eigenvalues are all different at least at one point then they are all different at almost each point and the geodesic flows of the metrics are Liouville integrable. This gives us topological obstacles to geodesic equivalence.     

Flat metrics are strict local minimizers for the polynomial entropy

As we have proved in [11], the geodesic flows associated with the flat metrics on $ \mathbb{T}^2 $ minimize the polynomial entropy hpol. In this paper, we show that, among the geodesic flows that are Bott integrable and dynamically coherent, the geodesic flows associated with flat metrics are local strict minima for hpol. To this aim, we prove a graph property for invariant Lagrangian tori in near-integrable systems.     

Singular semi-classical approximation on Liouville surfaces

The usual theory of semi-classical approximation for the laplacian on riemannian manifolds says that the energy levels of certain lagrangean submanifolds in the cotangent bundle provide approximate eigenvalues of the laplacian asymptotically. In this paper we consider a class of surfaces whose geodesic flows are completely integrable (Liouville surfaces defined over 2-sphere), and show the two results: One is the absence of the corresponding lagrangean submanifolds for certain eigenvalues; and the other is the existence of new approximate values, which are asymptotically finer along a certain direction even where the usual semi-classical approximate values exist.     

A topological classification of integrable geodesic flows on the two-dimensional sphere with an additional integral quadratic in the momenta

Summary The analytic expression for a Riemannian metric on a 2-sphere, having integrable geodesic flow with an additional integral quadratic in momenta, is given in [Ko1]. We give the topological classification, up to topological equivalence of Liouville foliations, of all such metrics. The classification is computable, and the formula for calculating the complexity of the flow is straightforward. We prove Fomenko's conjecture that, from the point of view of complexity, the integrable geodesic flows with an additional integral linear or quadratic in momenta exhaust “almost all” integrable geodesic flows on the 2-dimensional sphere.     

Flatness of Gaussian curvature and area of ideal triangles

Let M be aC ^k ,k 4, compact surface of genus greater than two whose curvature is negative in all points but along a simple closed geodesic (t) where the curvature is zero at every point. We show that the area of ideal triangles having a lifting of as an edge is infinite. This provides a family of surfaces having ideal triangles of infinite area whose geodesic flows are equivalent to Anosov flows, in contrast with the well-known examples of surfaces with flat strips which also have ideal triangles of infinite area. By the CAT-comparison theory we can deduce, using these surfaces as models, that aC compact surface of non-positive curvature having one geodesic along which the curvature is zero has ideal triangles of infinite area.Partially supported by CNPq of Brazilian Government     

On the Existence of Focal Points near Closed Geodesics on Surfaces

We establish some criteria for the existence or nonexistence of focal points near closed geodesics on surfaces. These criteria are in terms of the curvature of the manifold along the closed geodesic and the average values of the partial derivatives of the curvature in the direction perpendicular to the geodesic. Our criteria lead to a new family of examples of surfaces with no focal points. We also show that if S is a compact surface with no focal points and an inequality relating the curvature of the surface to the curvature of the horocycles holds, then the horocycles (considered as curves in S) are uniformly C ^2+Lipschitz.     

Helix surfaces in the Berger sphere

We characterize helix surfaces in the Berger sphere, that is surfaces which form a constant angle with the Hopf vector field. In particular, we show that, locally, a helix surface is determined by a suitable 1-parameter family of isometries of the Berger sphere and by a geodesic of a 2-torus in the 3-dimensional sphere.     

Non-hyperbolic surfaces having all ideal triangles with finite area

We construct examples ofC ³ compact surfaces of non-positive curvature having non-Anosov geodesic flows and satisfying the following property: there existsL>0 such that the area of every ideal triangle in the universal covering of the surface is bounded above byL.Partially supported by CNPq of Brazilian Government     

Multiple separatrix crossing in multi-degree-of-freedom Hamiltonian flows

Summary We study separatrix crossing in near-integrablek-degree-of-freedom Hamiltonian flows, 2 <k < , whose unperturbed phase portraits contain separatrices inn degrees of freedom, 1 <n <k. Each of the unperturbed separatrices can be recast as a codimension-one separatrix in the 2k-dimensional phase space, and the collection of these separatrices takes on a variety of geometrical possibilities in the reduced representation of a Poincaré section on the energy surface. In general 0 l n of the separatrices will be available to the Poincaré section, and each separatrix may be completely isolated from all other separatrices or intersect transversely with one or more of the other available separatrices. For completely isolated separatrices, transitions across broken separatrices are described for each separatrix by the single-separatrix crossing theory of Wiggins, as modified by Beigie. For intersecting separatrices, a possible violation of a normal hyperbolicity condition complicates the analysis by preventing the use of a persistence and smoothness theory for compact normally hyperbolic invariant manifolds and their local stable and unstable manifolds. For certain classes of multi-degree-of-freedom flows, however, a local persistence and smoothness result is straightforward, and we study the global implications of such a local result. In particular, we find codimension-one partial barriers and turnstile boundaries associated with each partially destroyed separatrix. From the collection of partial barriers and turnstiles follows a rich phase space partitioning and transport formalism to describe the dynamics amongst the various degrees of freedom. A generalization of Wiggins' higher-dimensional Melnikov theory to codimension-one surfaces in the multi-separatrix case allows one to uncover invariant manifold geometry. In the context of this perturbative analysis and detailed numerical computations, we study invariant manifold geometry, phase space partitioning, and phase space transport, with particular attention payed to the role of a vanishing frequency in the limit approaching the intersection of the partially destroyed separatrices. The class of flows under consideration includes flows of basic physical relevance, such as those describing scattering phenomena. The analysis is illustrated in the context of a detailed study of a 3-degree-of-freedom scattering problem.