We propose a new condition $\aleph$ which enables to get new results on integrable geodesic flows on closed surfaces. This paper has two parts. In the first, we strengthen Kozlov's theorem on non-integrability on surfaces of higher genus. In the second, we study integrable geodesic flows on 2-torus. Our main result for 2-torus describes the phase portraits of integrable flows. We prove that they are essentially standard outside, what we call, separatrix chains. The complement to the union of the separatrix chains is $C^0$-foliated by invariant sections of the bundle.
We present a geometric interpretation of integrability of geodesic flow by quadratic integrals in terms of the web theory and construct integrable billiards on surfaces admitting such integrals.
In this survey article we gather classical as well as recent results on minimal geodesics of Riemannian or Finsler metrics, giving special attention to the two-dimensional case. Moreover, we present open problems together with some first ideas as to the solutions.
We construct Riemannian manifolds with completely integrable geodesic flows, in particular various nonhomogeneous examples. The methods employed are a modification of Thimm's method, Riemannian submersions and connected sums.
For any toric automorphism with only real eigenvalues a Riemannian metric with an integrable geodesic flow on the suspension of this automorphism is constructed. A qualitative analysis of such a flow on a three-solvmanifold constructed by the authors in math.DG/9905078 is done. This flow is an example of the geodesic flow, which has vanishing Liouville entropy and, moreover, is integrable but has positive topological entropy. The authors also discuss some open problems on integrability of geodesic flows and related subjects.
By studying completely integrable torus actions on contact manifolds we prove a conjecture of Toth and Zelditch that toric integrable geodesic flows on tori must have flat metrics.
We explicitely construct an example of an analytic metric on $T^2$ which is non-separable but it is locally integrable on an energy surface. The construction is based on a KAM-like approach and a careful control on what happens on the energy surface.
In this paper the magnetic geodesic flow on a 2-torus is considered. We study a semi-hamiltonian quasi-linear PDEs which is equivalent to the existence of polynomial in momenta first integral of magnetic geodesic flow on fixed energy level. It is known that diagonal metric associated with this system is Egorov one if degree of the first integral is equal to 2 or 3. In this paper we prove this fact in the case of existence of the first integral of any degree.
We completely integrate the magnetic geodesic flow on a flat two-torus with the magnetic field $F = \cos (x) dx \wedge dy$ and describe all contractible periodic magnetic geodesics. It is shown that there are no such geodesics for energy $E \geq 1/2$, for $E< 1/2$ simple periodic magnetic geodesics form two $S^1$-families for which the (fixed energy) action functional is positive and therefore there are no periodic magnetic geodesics for which the action functional is negative.
This paper is a review of recent and classical results on integrable geodesic flows on Riemannian manifolds and topological obstructions to integrability. We also discuss some open problems.
Motivated by a paper of Bolsinov and Taimanov DG/9911193 we consider non-holonomic situation and exhibit examples of sub-Riemannian metrics with integrable geodesic flows and positive topological entropy. Moreover the Riemannian examples are obtained as "holonomization" of sub-Riemannian ones. A feature of non-holonomic situation is non-compactness of the phase space. We also exhibit a Liouvulle-integrable Hamiltonian system with topological entropy of all integrals positive.
This paper is a review of recent results on integrable nonholonomic geodesic flows of left--invariant metrics and left- and right--invariant constraint distributions on compact Lie groups.
As we have proved in [L], the geodesic flows associated with the flat metrics on T^2 minimize the polynomial entropy. In this paper, we show that, among the geodesic flows that are Bott integrable and dynamically coherent, the geodesic flows associated to flat metrics are local strict minima for the polynomial entropy. To this aim, we prove a graph property for invariant Lagrangian tori in near-integrable systems.
We study the magnetic geodesic flows on 2-surfaces having an additional first integral which is independent of the Hamiltonian at a fixed energy level. The following two cases are considered: when there exists a quadratic in momenta integral, and also the case of a rational in momenta integral with a linear numerator and denominator. In both cases certain semi-Hamiltonian systems of PDEs appear. In this paper we construct exact solutions (generally speaking, local ones) to these systems: in the first case via the generalized hodograph method, in the second case via the Legendre transformation …
We discuss canonical transformations relating well-known geodesic flows on the cotangent bundle of the sphere with a set of geodesic flows with quartic invariants. By adding various potentials to the corresponding geodesic Hamiltonians, we can construct new integrable systems on the sphere with quartic invariants.
Suppose we are given a compact Riemannian manifold (Q,g)with completely integrable geodesic flow. Let G be a compact connected Lie group acting freely on Q by isometries. The natural question arises: will the geodesic flow on Q/G equipped with the submersion metric be integrable? Under one natural assumption, we prove that the answer is affirmative. New examples of manifolds with completely integrable geodesic flows are obtained.
Carnot groups are subRiemannian manifolds. As such they admit geodesic flows, which are left-invariant Hamiltonian flows on their cotangent bundles. Some of these flows are integrable. Some are not. The space of k-jets for real-valued functions on the real line forms a Carnot group of dimension $k+2$. We show that its geodesic flow is integrable and that its geodesics generalize Euler's elastica, with the case $k=2$ corresponding to the elastica, as shown by Sachkov and Ardentov.
The author shows that equicontinuous geodesic flows on surfaces are periodic. A similar result for flows on 3-manifolds is also proven. The idea of the proof is to show that the return map is recurrent and therefore periodic.
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.
The problem of the existence of an additional (independent on the energy) first integral, of a geodesic (or magnetic geodesic) flow, which is polynomial in momenta is studied. The relation of this problem to the existence of nontrivial solutions of stationary dispersionless limits of two-dimensional soliton equations is demonstrated. The nonexistence of an additional quadratic first integral is established for certain classes of magnetic geodesic flows.
The only one example has been known of magnetic geodesic flow on the 2-torus which has a polynomial in momenta integral independent of the Hamiltonian. In this example the integral is linear in momenta and corresponds to a one parametric group preserving the Lagrangian function of the magnetic flow. In this paper the problem of integrability on one energy level is considered. This problem can be reduced to a remarkable Semi-hamiltonian system of quasi-linear PDEs and to the question of existence of smooth periodic solutions for this system. Our main result states that the pair of Liouville met…
We use a theorem of P. Berger and D. Turaev to construct an example of a Finsler geodesic flow on the 2-torus with a transverse section, such that its Poincaré return map has positive metric entropy. The Finsler metric generating the flow can be chosen to be arbitrarily $C^\infty$-close to a flat metric.
In this paper we prove that if the geodesic flow of a {compact or non-compact} complete manifold without conjugate points is of the Anosov type, then the average of the integral of the sectional curvature along the geodesic is negative and away from zero from a uniform time. Moreover, in dimension two, if the manifold has no focal points, then this condition is sufficient to obtain that the geodesic flow is of Anosov type. This sufficient condition will also be used to construct new examples of non-compact surfaces whose geodesic flow is of the Anosov type.
We consider the geodesic flow of reversible Finsler metrics on the 2-sphere and the 2-torus, whose geodesic flow has vanishing topological entropy. Following a construction of A. Katok, we discuss examples of Finsler metrics on both surfaces, which have large ergodic components for the geodesic flow in the unit tangent bundle. On the other hand, using results of J. Franks and M. Handel, we prove that ergodicity and dense orbits cannot occur in the full unit tangent bundle of the 2-sphere, if the Finsler metric has positive flag curvatures and at least two closed geodesics. In the case of the 2…
This paper is an exposition of the major results of P. Eberlein's paper, "When is a geodesic flow of Anosov type? I," in the special case when the manifold $M$ is a surface. We follow Eberlein's coverage closely, adding details when helpful, and taking advantage of simplifications given by the dimension two case. The objective is to give readers a more tractable introduction to the important topic of Anosov geodesic flows, which highlights key concepts and arguments without worrying about generalizations to arbitrary dimension.
We use a result of J. Mather on the existence of connecting orbits for compositions of monotone twist maps of the cylinder to prove the existence of connecting geodesics on the unit tangent bundle $ST^2$ of the 2-torus in regions without invariant tori.
Let $S^{n}$ be the $n$-sphere of constant positive curvature. For $n \geq 2$, we will show that a measure on the unit tangent bundle of $S^{2n}$, which is even and invariant under the geodesic flow, is not uniquely determined by its projection to $S^{2n}$.
Analytic Liouville Integrable Geodesic Flow Has Zero Entropy
College of Mathematics and Systems Science, Shandong University of Science and Technology（山东科技大学数学与系统科学学院）；Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系）；School of Mathematical Sciences, Shanghai Jiao Tong University（上海交通大学数学科学学院）
In the present work we consider the behavior of the geodesic flow on the unit tangent bundle of the 2-torus $T^2$ 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 m…
We define the notion of a smooth pseudo-Riemannian algebraic variety $(X,g)$ over a field $k$ of characteristic $0$, which is an algebraic analogue of the notion of Riemannian manifold and we study, from a model-theoretic perspective, the algebraic differential equation describing the geodesics on $(X,g)$. When $k$ is the field of real numbers, we prove that if the real points of $X$ are Zariski-dense in $X$ and if the real analytification of $(X,g)$ is a compact Riemannian manifold with negative curvature, then the algebraic differential equation describing the geodesics on $(X,g)$ is absolut…
The behavior of geodesic curves on even seemingly simple surfaces can be surprisingly complex. In this paper we use the Hamiltonian formulation of the geodesic equations to analyze their integrability properties. In particular, we examine the behavior of geodesics on surfaces defined by the spherical harmonics. Using the Morales-Ramis theorem and Kovacic algorithm we are able to prove that the geodesic equations on all surfaces defined by the sectoral harmonics are not integrable, and we use Poincaré sections to demonstrate the breakdown of regular motion.
We consider a billiard in the sphere S^2 with circular obstacles, and give a sufficient condition for its flow to be uniformly hyperbolic. We show that the billiard flow in this case is approximated by an Anosov geodesic flow on a surface in the ambiant space S^3. As an application, we show that every orientable surface of genus at least 11 admits an isometric embedding into S^3 (equipped with the standard metric) such that its geodesic flow is Anosov. Finally, we explain why this construction cannot provide examples of isometric embeddings of surfaces in the Euclidean R^3 with Anosov geodesic…
Let $Q$ be a closed manifold admitting a locally-free action of a compact Lie group $G$. In this paper we study the properties of geodesic flows on $Q$ given by Riemannian metrics which are invariant by such an action. In particular, we will be interested in the existence of geodesics which are closed up to the action of some element in the group $G$, since they project to closed magnetic geodesics on the quotient orbifold $Q/G$.
Given a smooth compact surface without focal points and of higher genus, it is shown that its geodesic flow is semi-conjugate to a continuous expansive flow with a local product structure such that the semi-conjugation preserves time-parametrization. It is concluded that the geodesic flow has a unique measure of maximal entropy.
Given a closed Riemannian manifold, we prove the C0-general density theorem for continuous geodesic flows. More precisely, that there exists a residual (in the C0-sense) subset of the continuous geodesic flows such that, in that residual subset, the geodesic flow exhibits dense closed orbits.
This paper addresses an open problem recently posed by V. Kozlov: a rigorous proof of the non-integrability of the geodesic flow on the cubic surface $x y z=1$. We prove this is the case using the Morales-Ramis theorem and Kovacic algorithm. We also consider some consequences and extensions of this result.
This paper is devoted to searching for Riemannian metrics on 2-surfaces whose geodesic flows admit a rational in momenta first integral with a linear numerator and denominator. The explicit examples of metrics and such integrals are constructed. Few superintegrable systems are found having both a polynomial and a rational integrals which are functionally independent of the Hamiltonian.
In this paper we study some generic properties of the geodesic flows on a convex sphere. We prove that, $C^r$ generically ($2\le r\le\infty$), every hyperbolic closed geodesic admits some transversal homoclinic orbits.
We prove that for the geodesic flow of a rank 1 Riemannian surface which is expansive but not Anosov the Hausdorff dimension of the set of vectors with only zero Lyapunov exponents is large.
We study the geodesic flow of a compact surface without conjugate points and genus greater than one and continuous Green bundles. Identifying each strip of bi-asymptotic geodesics induces an equivalence relation on the unit tangent bundle. Its quotient space is shown to carry the structure of a 3-dimensional compact manifold. This manifold carries a canonically defined continuous flow which is expansive, time-preserving semi-conjugate to the geodesic flow, and has a local product structure. An essential step towards the proof of these properties is to study regularity properties of the horosph…
We show that in a rapidly mixing flow with an invariant measure, the time which is needed to hit a given section is related to a sort of conditional dimension of the measure at the section. The result is applied to the geodesic flow of compact variable negative sectional curvature manifolds, establishing a logarithm law for such kind of flow.
We construct a category of examples of partially hyperbolic geodesic flows which are not Anosov, deforming the metric of a compact locally symmetric space of nonconstant negative curvature. Candidates for such example as the product metric and locally symmetric spaces of nonpositive curvature with rank bigger than one are not partially hyperbolic. We prove that if a metric of nonpositive curvature has a partially hyperbolic geodesic flow, then its rank is one. Other obstructions to partial hyperbolicity of a geodesic flow are also analyzed.
In this paper we construct multiparametric families of two dimensional metrics with polynomial first integral. Such integrable geodesic flows are described by solutions of some semi-Hamiltonian hydrodynamic type system. We find infinitely many conservation laws and commuting flows for this system. This procedure allows us to present infinitely many particular metrics by the generalized hodograph method.
We describe a class of completely integrable $G$-invariant magnetic geodesic flows on (co)adjoint orbits of a compact connected Lie group $G$ with magnetic field given by the Kirillov-Konstant 2-form.
