-
Integrable Outer billiards and rigidity
Authors:
Michael Bialy
Abstract:
In the present paper we introduce a new generating function for outer billiards in the plane. Using this generating function, we prove the following rigidity result: if the vicinity of the smooth convex plane curve $γ$ of positive curvature is foliated by continuous curves which are invariant under outer billiard map, then the curve $γ$ must be an ellipse.
In addition to the new generating funct…
▽ More
In the present paper we introduce a new generating function for outer billiards in the plane. Using this generating function, we prove the following rigidity result: if the vicinity of the smooth convex plane curve $γ$ of positive curvature is foliated by continuous curves which are invariant under outer billiard map, then the curve $γ$ must be an ellipse.
In addition to the new generating function used in the proof, we also overcome the noncompactness of the phase space by finding suitable weights in the integral-geometric part of the proof. Thus, we reduce the result to the Blaschke-Santalo inequality.
△ Less
Submitted 27 November, 2023; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Locally Maximizing orbits for multi-dimensional Twist maps and Birkhoff billiards
Authors:
Misha Bialy,
Daniel Tsodikovich
Abstract:
In this work we consider variational properties of exact symplectic twist maps $T$ that act on the cotangent bundle of a torus, or on a ball bundle over a sphere. An example of such a map is the well-known Birkhoff billiard map corresponding to smooth convex hypersurfaces. In this work we will focus on the important class $\mathcal{M}$ of orbits of $T$ which are locally maximizing with respect to…
▽ More
In this work we consider variational properties of exact symplectic twist maps $T$ that act on the cotangent bundle of a torus, or on a ball bundle over a sphere. An example of such a map is the well-known Birkhoff billiard map corresponding to smooth convex hypersurfaces. In this work we will focus on the important class $\mathcal{M}$ of orbits of $T$ which are locally maximizing with respect to the variational principle associated with a generating function of the symplectic twist map. Our first goal is to give geometric and variational characterization for orbits in the class $\mathcal M$.
The billiard map is known to have two different generating functions, which brings forth a natural question: to compare the properties of these two generating functions. While our motivation comes from billiards, we will work in general, and assume that a general twist map $T$ has two generating functions. Thus we consider the orbits of $T$ which are locally maximizing with respect to either of the generating functions. We formulate a geometric criterion that guarantees that two generating functions of the same twist map have the same class of locally maximizing orbits, and we will show that the two generating functions for the Birkhoff billiard map do, in fact, satisfy this criterion. The proof of this last property will rely on the Sinai-Chernov formula from geometric optics and billiard dynamics.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Mather $β$-function for ellipses and rigidity
Authors:
Michael Bialy
Abstract:
The goal of the first part of this note is to get an explicit formula for rotation number and Mather $β$-function for ellipse. This is done here with the help of non-standard generating function of billiard problem. In this way the derivation especially simple. In the second part we discuss application of Mather $β$-function to rigidity problem.
The goal of the first part of this note is to get an explicit formula for rotation number and Mather $β$-function for ellipse. This is done here with the help of non-standard generating function of billiard problem. In this way the derivation especially simple. In the second part we discuss application of Mather $β$-function to rigidity problem.
△ Less
Submitted 5 October, 2022; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Effective rigidity away from the boundary for centrally-symmetric billiards
Authors:
Misha Bialy
Abstract:
In this paper we study centrally symmetric Birkhoff billiard tables. We introduce a closed invariant set $\mathcal{M}_\mathcal{B}$ consisting of locally maximizing orbits of the billiard map lying inside the region $\mathcal{B}$ bounded by two invariant curves of $4$-periodic orbits. We give an effective bound from above on the measure of this invariant set in terms of the isoperimetric defect of…
▽ More
In this paper we study centrally symmetric Birkhoff billiard tables. We introduce a closed invariant set $\mathcal{M}_\mathcal{B}$ consisting of locally maximizing orbits of the billiard map lying inside the region $\mathcal{B}$ bounded by two invariant curves of $4$-periodic orbits. We give an effective bound from above on the measure of this invariant set in terms of the isoperimetric defect of the curve. The equality case occurs if and only if the curve is a circle.
△ Less
Submitted 25 July, 2023; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Locally maximizing orbits for the non-standard generating function of convex billiards and applications
Authors:
Misha Bialy,
Daniel Tsodikovich
Abstract:
Given an exact symplectic map $T$ of a cylinder with a generating function $H$ satisfying the so-called negative twist condition, $H_{12}>0$, we study the locally maximizing orbits of $T$, that is, configurations which are local maxima of the action functional $\sum_n H(q_n,q_{n+1})$. We provide a necessary and sufficient condition for a configuration to be locally maximizing. Using it, we conside…
▽ More
Given an exact symplectic map $T$ of a cylinder with a generating function $H$ satisfying the so-called negative twist condition, $H_{12}>0$, we study the locally maximizing orbits of $T$, that is, configurations which are local maxima of the action functional $\sum_n H(q_n,q_{n+1})$. We provide a necessary and sufficient condition for a configuration to be locally maximizing. Using it, we consider a situation where $T$ has two generating functions with respect to two different sets of symplectic coordinates. We suggest a simple geometric condition which guarantees that the set of locally maximizing orbits with respect to both of these generating functions coincide. As the main application we show that the two generating functions for planar Birkhoff billiards satisfy this geometric condition. We apply it to get the following result: consider a centrally symmetric curve $γ$, for which the Birkhoff billiard map has a rotational invariant curve $α$ of $4$-periodic orbits. We prove that a certain $L^2$-distance between $γ$ and its "best approximating" ellipse can be bounded from above in terms of the measure of the complement of the set filled by locally maximizing orbits lying between $α$ and the boundary of the phase cylinder. Moreover, this estimate is sharp, giving an effective version of a recent result on Birkhoff conjecture for centrally symmetric curves. We also get a similar bound for arbitrary curves $γ$, that relates the measure of the complement of the set of locally maximizing orbits with the $L^2$-distance between $γ$ and its "best approximating" circle.
△ Less
Submitted 30 May, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
Numerical non-integrability of Hexagonal string billiard
Authors:
Misha Bialy,
Baruch Youssin
Abstract:
We consider a remarkable $C^2$-smooth billiard table introduced by Hans L.Fetter. It is obtained by the string construction from a regular hexagon for a special value of the length of the string. It was suggested as a possible counter-example to the Birkhoff-Poritsky conjecture. In this paper, we investigate numerically the behavior of this billiard and find chaotic regions near hyperbolic periodi…
▽ More
We consider a remarkable $C^2$-smooth billiard table introduced by Hans L.Fetter. It is obtained by the string construction from a regular hexagon for a special value of the length of the string. It was suggested as a possible counter-example to the Birkhoff-Poritsky conjecture. In this paper, we investigate numerically the behavior of this billiard and find chaotic regions near hyperbolic periodic orbits. They are very small since the billiard table is nearly circular.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Open problems on billiards and geometric optics
Authors:
M. Bialy,
C. Fierobe,
A. Glutsyuk,
M. Levi,
A. Plakhov,
S. Tabachnikov
Abstract:
This is a collection of open problems from workshop "Differential Geometry, Billiards, and Geometric Optics" at CIRM on October 4-8, 2021.
This is a collection of open problems from workshop "Differential Geometry, Billiards, and Geometric Optics" at CIRM on October 4-8, 2021.
△ Less
Submitted 28 October, 2021; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Billiard tables with rotational symmetry
Authors:
Misha Bialy,
Daniel Tsodikovich
Abstract:
We generalize the following simple geometric fact: the only centrally symmetric convex curve of constant width is a circle. Billiard interpretation of the condition of constant width reads: a planar curve has constant width, if and only if, the Birkhoff billiard map inside the planar curve has a rotational invariant curve of $2$-periodic orbits. We generalize this statement to curves that are inva…
▽ More
We generalize the following simple geometric fact: the only centrally symmetric convex curve of constant width is a circle. Billiard interpretation of the condition of constant width reads: a planar curve has constant width, if and only if, the Birkhoff billiard map inside the planar curve has a rotational invariant curve of $2$-periodic orbits. We generalize this statement to curves that are invariant under a rotation by angle $\frac{2π}{k}$, for which the billiard map has a rotational invariant curve of $k$-periodic orbits. Similar result holds true also for Outer billiards and Symplectic billiards. Finally, we consider Minkowski billiards inside a unit disc of Minkowski (not necessarily symmetric) norm which is invariant under a linear map of order $k\ge 3$. We find a criterion for the existence of an invariant curve of $k$-periodic orbits. As an application, we get rigidity results for all those billiards.
△ Less
Submitted 4 October, 2021; v1 submitted 13 June, 2021;
originally announced June 2021.
-
Self-Bäcklund curves in centroaffine geometry and Lamé's equation
Authors:
Misha Bialy,
Gil Bor,
Serge Tabachnikov
Abstract:
Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffi…
▽ More
Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffine curves.
Our paper concerns self-Bäcklund centroaffine curves. We describe general properties of these curves and provide a detailed description of them in terms of elliptic functions. Our work is a centroaffine counterpart to the study done by F. Wegner of a similar problem in Euclidean geometry, related to Ulam's problem of describing the (2-dimensional) bodies that float in equilibrium in all positions and to bicycle kinematics.
We also consider a discretization of the problem where curves are replaced by polygons. This is related to discretization of KdV and the cross-ratio dynamics on ideal polygons.
△ Less
Submitted 10 May, 2022; v1 submitted 6 October, 2020;
originally announced October 2020.
-
The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables
Authors:
Misha Bialy,
Andrey E. Mironov
Abstract:
In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric $C^2$-smooth convex planar billiards. We assume that the domain $\mathcal A$ between the invariant curve of $4$-periodic orbits and the boundary of the phase cylinder is foliated by $C^0$-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. For the original Birkhoff-Poritsky formulati…
▽ More
In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric $C^2$-smooth convex planar billiards. We assume that the domain $\mathcal A$ between the invariant curve of $4$-periodic orbits and the boundary of the phase cylinder is foliated by $C^0$-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. For the original Birkhoff-Poritsky formulation we show that if a neighborhood of the boundary of billiard domain has a $C^1$-smooth foliation by convex caustics of rotation numbers in the interval (0; 1/4] then the boundary curve is an ellipse. In the language of first integrals one can assert that {if the billiard inside a centrally-symmetric $C^2$-smooth convex curve $γ$ admits a $C^1$-smooth first integral with non-vanishing gradient on $\mathcal A$, then the curve $γ$ is an ellipse.} The main ingredients of the proof are : (1) the non-standard generating function for convex billiards discovered in \cite{BM}, \cite{B}; (2) the remarkable structure of the invariant curve consisting of $4$-periodic orbits; and (3) the integral-geometry approach initiated in B0, B1 for rigidity results of circular billiards. Surprisingly, we establish a Hopf-type rigidity for billiard in ellipse.
△ Less
Submitted 28 February, 2022; v1 submitted 8 August, 2020;
originally announced August 2020.
-
Dan Reznik's identities and more
Authors:
Misha Bialy,
Serge Tabachnikov
Abstract:
Dan Reznik found, by computer experimentation, a number of conserved quantities associated with periodic billiard trajectories in ellipses. We prove some of his observations using a non-standard generating function for the billiard ball map. In this way, we also obtain some identities valid for all smooth convex billiard tables.
Dan Reznik found, by computer experimentation, a number of conserved quantities associated with periodic billiard trajectories in ellipses. We prove some of his observations using a non-standard generating function for the billiard ball map. In this way, we also obtain some identities valid for all smooth convex billiard tables.
△ Less
Submitted 4 May, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Magnetic billiards: Non-integrability for strong magnetic field; Gutkin type examples
Authors:
Misha Bialy,
Andrey E. Mironov,
Lior Shalom
Abstract:
We consider magnetic billiards under a strong constant magnetic field. The purpose of this paper is two-folded. We examine the question of existence of polynomial integral of billiard magnetic flow. We succeed to reduce this question to algebraic geometry test on existence of polynomial integral, which shows polynomial non-integrability for all but finitely many values of the magnitude. In the sec…
▽ More
We consider magnetic billiards under a strong constant magnetic field. The purpose of this paper is two-folded. We examine the question of existence of polynomial integral of billiard magnetic flow. We succeed to reduce this question to algebraic geometry test on existence of polynomial integral, which shows polynomial non-integrability for all but finitely many values of the magnitude. In the second part of the paper we construct examples of magnetic billiards which have the so called $δ$-Gutkin property, meaning that any Larmor circle entering the domain with angle $δ$ exits the domain with the same angle $δ$. For ordinary Birkhoff billiard in the plane such examples were introduced by E. Gutkin and are very explicit. Our construction of Gutkin magnetic billiards relies on beautiful examples by F.Wegner of the so called Zindler curves, which are related to the problem of floating bodies in equilibrium, which goes back to S.Ulam. We prove that Gutkin magnetic billiard can be obtained as a parallel curve to a Wegner curve. Wegner curves can be written by elliptic functions in polar coordinates so the construction of magnetic Gutkin billiard is rather explicit but much more complicated.
△ Less
Submitted 4 January, 2020;
originally announced January 2020.
-
Wire billiards, the first steps
Authors:
Misha Bialy,
Andrey Mironov,
Serge Tabachnikov
Abstract:
Wire billiard is defined by a smooth embedded closed curve of non-vanishing curvature $k$ in $\mathbb{R}^n$ (a wire). For a class of curves, that we call nice wires, the wire billiard map is area preserving twist map of the cylinder. In this paper we are investigating whether the basic features of conventional planar billiards extend to this more general situation. In particular, we extend Lazutki…
▽ More
Wire billiard is defined by a smooth embedded closed curve of non-vanishing curvature $k$ in $\mathbb{R}^n$ (a wire). For a class of curves, that we call nice wires, the wire billiard map is area preserving twist map of the cylinder. In this paper we are investigating whether the basic features of conventional planar billiards extend to this more general situation. In particular, we extend Lazutkin's KAM result, as well as Mather's converse KAM result, to wire billiards. We address the notion of caustics: for wire billiards, it corresponds to striction curve of the ruled surface spanned by the chords of the invariant curve. If the ruled surface is developable this is a genuine caustic. We found remarkable examples of the wires which are closed orbits of 1-parameter subgroup of $SO(n)$. These wire billiards are totally integrable. Using the theory of interpolating Hamiltonians, we prove that the distribution of impact points of the wire becomes uniform with respect to the measure $k^{2/3} dx$ (where $x$ is the arc length parameter), as the length of the chords tends to zero. Applying this result, we prove that the billiard transformation in an ellipsoid commutes with the reparameterized geodesic flow on a confocal ellipsoid: the speed of the foot point of the line tangent to a geodesic equals $k^{-2/3}$, where $k$ is the curvature of the geodesic in the ambient space. We also discuss perspectives and open problems of this new class of billiards.
△ Less
Submitted 31 May, 2019;
originally announced May 2019.
-
Outer billiards with the dynamics of a standard shift on a finite number of invariant curves
Authors:
Misha Bialy,
Andrey E. Mironov,
Lior Shalom
Abstract:
We give a beautiful explicit example of a convex plane curve such that the outer billiard has a given finite number of invariant curves. Moreover, the dynamics on these curves is a standard shift. This example can be considered as an outer analog of the so-called Gutkin billiard tables. We test total integrability of these billiards, in the region between the two invariant curves. Next, we provide…
▽ More
We give a beautiful explicit example of a convex plane curve such that the outer billiard has a given finite number of invariant curves. Moreover, the dynamics on these curves is a standard shift. This example can be considered as an outer analog of the so-called Gutkin billiard tables. We test total integrability of these billiards, in the region between the two invariant curves. Next, we provide computer simulations on the dynamics in this region. At first glance, the dynamics looks regular but by magnifying the picture we see components of chaotic behavior near the hyperbolic periodic orbits. We believe this is a useful geometric example for coexistence of regular and chaotic behavior of twist maps.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
Billiard characterization of spheres
Authors:
Michael Bialy
Abstract:
In this note we study the higher dimensional convex billiards satisfying the so-called Gutkin property. A convex hypersurface $S$ satisfies this property if any chord $[p,q]$ which forms angle $δ$ with the tangent hyperplane at $p$ has the same angle $δ$ with the tangent hyperplane at $q$. Our main result is that the only convex hypersurface with this property in $\mathbf{R}^d, d\geq 3$ is a round…
▽ More
In this note we study the higher dimensional convex billiards satisfying the so-called Gutkin property. A convex hypersurface $S$ satisfies this property if any chord $[p,q]$ which forms angle $δ$ with the tangent hyperplane at $p$ has the same angle $δ$ with the tangent hyperplane at $q$. Our main result is that the only convex hypersurface with this property in $\mathbf{R}^d, d\geq 3$ is a round sphere. This extends previous results on Gutkin billiards obtained in \cite{B0}.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Algebraic non-integrability of magnetic billiards on the Sphere and Hyperbolic plane
Authors:
Misha Bialy,
Andrey E. Mironov
Abstract:
We consider billiard ball motion in a convex domain on a constant curvature surface influenced by the constant magnetic field. We examine the existence of integral of motion which is polynomial in velocities. We prove that if such an integral exists then the boundary curve of the domain determines an algebraic curve in $\mathbf{C}^3$ which must be nonsingular. Using this fact we deduce that for an…
▽ More
We consider billiard ball motion in a convex domain on a constant curvature surface influenced by the constant magnetic field. We examine the existence of integral of motion which is polynomial in velocities. We prove that if such an integral exists then the boundary curve of the domain determines an algebraic curve in $\mathbf{C}^3$ which must be nonsingular. Using this fact we deduce that for any domain different from round disc for all but finitely many values of the magnitude of the magnetic field billiard motion does not have Polynomial in velocities integral of motion.
△ Less
Submitted 19 February, 2018;
originally announced February 2018.
-
Gutkin billiard tables in higher dimensions and rigidity
Authors:
Michael Bialy
Abstract:
E. Gutkin found a remarkable class of convex billiard tables in the plane which have a constant angle invariant curve. In this paper we prove that in dimension 3 only round sphere has such a property. For dimension greater than 3 it must be either a sphere or to have a very special geometric properties. In 2-dimensional case we prove a rigidity result for Gutkin billiard tables. This is done with…
▽ More
E. Gutkin found a remarkable class of convex billiard tables in the plane which have a constant angle invariant curve. In this paper we prove that in dimension 3 only round sphere has such a property. For dimension greater than 3 it must be either a sphere or to have a very special geometric properties. In 2-dimensional case we prove a rigidity result for Gutkin billiard tables. This is done with the help of a new generating function introduced recently for billiards in our joint paper with A.E. Mironov. A formula for this generating function in higher dimensions is found.
△ Less
Submitted 8 October, 2017;
originally announced October 2017.
-
Non-smooth convex caustics for Birkhoff billiard
Authors:
Maxim Arnold,
Misha Bialy
Abstract:
This paper is devoted to the examination of the properties of the string construction for the Birkhoff billiard. Based on purely geometric considerations, string construction is suited to provide a table for the Birkhoff billiard, having the prescribed caustic. Exploiting this framework together with the properties of convex caustics, we give a geometric proof of a result by Innami first proved in…
▽ More
This paper is devoted to the examination of the properties of the string construction for the Birkhoff billiard. Based on purely geometric considerations, string construction is suited to provide a table for the Birkhoff billiard, having the prescribed caustic. Exploiting this framework together with the properties of convex caustics, we give a geometric proof of a result by Innami first proved in 2002 by means of Aubry-Mather theory. In the second part of the paper we show that applying the string construction one can find a new collection of examples of $C^2$-smooth convex billiard tables with a non-smooth convex caustic.
△ Less
Submitted 14 August, 2017;
originally announced August 2017.
-
Angular Billiard and Algebraic Birkhoff conjecture
Authors:
Michael Bialy,
Andrey E. Mironov
Abstract:
In this paper we introduce a new dynamical system which we call Angular billiard. It acts on the exterior points of a convex curve in Euclidean plane. In a neighborhood of the boundary curve this system turns out to be dual to the Birkhoff billiard. Using this system we get new results on algebraic Birkhoff conjecture on integrable billiards.
In this paper we introduce a new dynamical system which we call Angular billiard. It acts on the exterior points of a convex curve in Euclidean plane. In a neighborhood of the boundary curve this system turns out to be dual to the Birkhoff billiard. Using this system we get new results on algebraic Birkhoff conjecture on integrable billiards.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
From polynomial integrals of Hamiltonian flows to a model of non-linear elasticity
Authors:
Michael Bialy,
Andrey E. Mironov
Abstract:
We prove non existence of smooth solutions of a quasi-linear system suggested by Ericksen in a model of Nonlinear Elasticity. This system is of mixed elliptic-hyperbolic type. We discuss also a relation of such a system to polynomial integrals of Classical Hamiltonian systems.
We prove non existence of smooth solutions of a quasi-linear system suggested by Ericksen in a model of Nonlinear Elasticity. This system is of mixed elliptic-hyperbolic type. We discuss also a relation of such a system to polynomial integrals of Classical Hamiltonian systems.
△ Less
Submitted 5 December, 2012;
originally announced December 2012.
-
Rich quasi-linear system for integrable geodesic flows on 2-torus
Authors:
Misha Bialy,
Andrey E. Mironov
Abstract:
Consider a Riemannian metric on two-torus. We prove that the question of existence of polynomial first integrals leads naturally to a remarkable system of quasi-linear equations which turns out to be a Rich system of conservation laws. This reduces the question of integrability to the question of existence of smooth (quasi-) periodic solutions for this Rich quasi-linear system.
Consider a Riemannian metric on two-torus. We prove that the question of existence of polynomial first integrals leads naturally to a remarkable system of quasi-linear equations which turns out to be a Rich system of conservation laws. This reduces the question of integrability to the question of existence of smooth (quasi-) periodic solutions for this Rich quasi-linear system.
△ Less
Submitted 29 July, 2009;
originally announced July 2009.
-
Integrable geodesic flows on surfaces
Authors:
Misha Bialy
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 May, 2009;
originally announced June 2009.
-
Maximizing orbits for higher dimensional convex billiards
Authors:
Michael Bialy
Abstract:
The main result of this paper is, that for convex billiards in higher dimensions, in contrast with 2D case, for every point on the boundary and for every $n$ there always exist billiard trajectories develo** conjugate points at the $n$-th collision with the boundary. We shall explain that this is a consequence of the following variational property of the billiard orbits in higher dimension. If…
▽ More
The main result of this paper is, that for convex billiards in higher dimensions, in contrast with 2D case, for every point on the boundary and for every $n$ there always exist billiard trajectories develo** conjugate points at the $n$-th collision with the boundary. We shall explain that this is a consequence of the following variational property of the billiard orbits in higher dimension. If a segment of an orbit is locally maximizing, then it can not pass too close to the boundary. This fact follows from the second variation formula for the Length functional. It turns out that this formula behaves differently with respect to "longitudinal" and "transversal" variations.
△ Less
Submitted 23 August, 2008;
originally announced August 2008.
-
Symplectic twist maps without conjugate points
Authors:
M. L. Bialy,
R. S. MacKay
Abstract:
We consider a sequences of symplectic twist maps corresponding to Frenkel Kontorova variational functional. For such a sequence without conjugate points we construct an invariant Lagrangian subbundle. Using the ideas by E.Hopf from Riemannian geometry we show that absence of conjugate points is a rare property for this class of maps.
We consider a sequences of symplectic twist maps corresponding to Frenkel Kontorova variational functional. For such a sequence without conjugate points we construct an invariant Lagrangian subbundle. Using the ideas by E.Hopf from Riemannian geometry we show that absence of conjugate points is a rare property for this class of maps.
△ Less
Submitted 30 September, 2003;
originally announced September 2003.
-
Shock formation for forced Burgers equation and application
Authors:
M. Bialy
Abstract:
We study the inviscid Burgers equation in the presence of spatially periodic potential force. We prove that for foliated initial value problem there are always solutions develo** shocks in a finite time.
We give an application of this result to a quasi-linear system of conservation laws which appeared in the study of integrable Hamiltonian systems with 1.5 degrees of freedom.
We study the inviscid Burgers equation in the presence of spatially periodic potential force. We prove that for foliated initial value problem there are always solutions develo** shocks in a finite time.
We give an application of this result to a quasi-linear system of conservation laws which appeared in the study of integrable Hamiltonian systems with 1.5 degrees of freedom.
△ Less
Submitted 24 February, 1999;
originally announced February 1999.
-
Variational properties of a nonlinear elliptic equation and rigidity
Authors:
M. L. Bialy,
R. S. MacKay
Abstract:
We consider in this paper elliptic equations which are perturbations of Laplace's equation by a compactly supported potential. We show that in dimension greater than three for a wide class of potentials all the solutions are globally minimising. However, in dimension two the situation is different. We show that for radially symmetric potentials there always exist solutions which are not locally…
▽ More
We consider in this paper elliptic equations which are perturbations of Laplace's equation by a compactly supported potential. We show that in dimension greater than three for a wide class of potentials all the solutions are globally minimising. However, in dimension two the situation is different. We show that for radially symmetric potentials there always exist solutions which are not locally minimal unless the potential vanishes identically. We discuss the relations of this with the so-called Hopf rigidity phenomenon.
△ Less
Submitted 2 February, 1999;
originally announced February 1999.
-
Rigidity for periodic magnetic fields
Authors:
M. L. Bialy
Abstract:
We study the motion of a charge on a conformally flat Riemannian torus in the presence of magnetic field. We prove that for any non-zero magnetic field there always exist orbits of this motion which have conjugate points. We conjecture that the restriction of conformal flatness of the metric is not essential for this result. This would provide a ``twisted'' version of the recent generalisation o…
▽ More
We study the motion of a charge on a conformally flat Riemannian torus in the presence of magnetic field. We prove that for any non-zero magnetic field there always exist orbits of this motion which have conjugate points. We conjecture that the restriction of conformal flatness of the metric is not essential for this result. This would provide a ``twisted'' version of the recent generalisation of Hopf's rigidity result obtained by Burago and Ivanov.
△ Less
Submitted 2 February, 1999;
originally announced February 1999.
