Outer Billiards Outside a Regular Octagon: Periodicity of Almost All Orbits and Existence of an Aperiodic Orbit F

Total Page:16

File Type:pdf, Size:1020Kb

Outer Billiards Outside a Regular Octagon: Periodicity of Almost All Orbits and Existence of an Aperiodic Orbit F ISSN 1064-5624, Doklady Mathematics, 2018, Vol. 98, No. 1, pp. 1–4. © Pleiades Publishing, Ltd., 2018. Original Russian Text © F.D. Rukhovich, 2018, published in Doklady Akademii Nauk, 2018, Vol. 481, No. 3, pp. 00000–00000. MATHEMATICS Outer Billiards outside a Regular Octagon: Periodicity of Almost All Orbits and Existence of an Aperiodic Orbit F. D. Rukhovich Presented by Academician of the RAS A.L. Semenov November 30, 2017 Received November 30, 2017 Abstract—The existence of an aperiodic orbit for an outer billiard outside a regular octagon is proved. Addi- tionally, almost all orbits of such an outer billiard are proved to be periodic. All possible periods are explicitly listed. DOI: 10.1134/S1064562418050101 Let be a convex shape and p be a point outside it. Tabachnikov [1] has solved the periodicity prob- Consider the right (with respect to p) tangent to . lems in the case of regular 3-, 4-, and 6-gons. Specifi- LetTp T() p be the point symmetric to p with cally, there is no aperiodic point for them, as well as for respect to the tangency point. 5-gons, for which aperiodic points exist, but have Definition 1. The mapping T is called an outer bil- measure zero. In his 2005 monograph [6], Tabach- liard, and is called an outer billiard table. nikov presented computer simulation results for an octagon, but noted that a rigor analysis is still not Definition 2. A point p outside is said to be peri- available and there are no results for other cases. Later, odic if there exists a positive integer n such that a regular pentagon and associated symbolic dynamics Tpn p. The minimum of such n is called the period were investigated in detail by Bedaride and Cassaigne of the point p and is denoted by per(p ). [5] (see also [8]). Definition 3. A point p outside is said to be aperi- In [9, 10] Schwartz studied an outer billiard outside odic if it is not periodic and its trajectory is unbounded a regular octagon and related questions, but he did not in both directions. obtain solutions of the periodicity problems. Definition 4. A point p outside is said to be a The main result of this paper is the following theo- rems. boundary point if Tpn is not defined for some nZ . Theorem 1. For an outer billiard outside a regular In this paper, we assume that is a convex polygon. octagon, there exists an aperiodic point. Outer billiards were introduced by Bernhard Neu- Theorem 2. For an outer billiard outside a regular mann in the 1950s and became popular in the 1970s octagon, the periodic points outside the table form a set of thanks to Moser [2]. Outer billiards were studied by a full measure. series of authors (see, e.g., [1, 3, 4, 6]). For example, Schwartz [3] showed that the trajectory of an initial Theorem 3. The set of all possible periods of points for point can be unbounded, thus solving the Moser– an outer billiard outside a regular octagon is the union of Neumann problem posed in [2]. the following sets: n n n n This paper deals with the following periodicity 1. {12 * 9 – 4 * (–3) , 12 * 9 + 4 * (–3) , problems, which are open in the general case. 49|n nZn 0}; 1. Is there an aperiodic point for an outer billiard n outside a regular n-gon? 2. {8 8kk 8 9 | nkZn 0 k 2}; 2. What is the measure of periodic orbits of an outer 3. {24k * 9n – 4 * (–3)n + 12 * 9n|n, n, billiard outside a regular n-gon? kZnk02}; 4. {24k * 9n + 4 * (–3)n – 4 * 9n|n, Moscow Institute of Physics and Technology (State kZnk02}. University), Dolgoprudnyi, Moscow oblast, 141700 Russia The proof of the theorems is based on the fact that e-mail: dprpavlin@gmail.com there are self-similar structures inside a shape invari- 1 2 RUKHOVICH 6 6 i A 3 A 2 The polygons form a “necklace” around and 6 6 12 A 4 6 A 1 7 7 Y 5 5 touch their neighbors at vertices; for example, AA73 , A 3 A 2 6 6 A 3 A 2 A 5 A 0 5 5 23 i 7 7 A 4 A 1 , etc. Thus, bound a connected domain, AA A 4 7 A 1 6 6 5 2 04 Y A 3 A 7 Y = T(Y ) 7 7 000111 777 A A 5 5 namely, the polygon Z := AAAAAA…AAA. 5 0 Z A 5 A 0 076107 765 7 7 5 5 A 6 A 7 C6 A 6 A 7 Below are several assertions that are straightfor- 0 0 C7 A A C5 4 4 ward consequences of Fig. 1. A 3 A 2 7 6 A 5 A 66 0 0 Z A 4 A 1 A A 4 4 0 0 5 A 4 4 A 7 ii(3)mod8 Y C0 Y C4 Y Lemma 1. i…T{0 1 7}: ( ) . 0 0 4 4 A 5 A 0 A0 A4 A 5 A 0 0 0 Z 4 4 1 A 6 A 7 C1 A2 A3 C3 A 6 A 7 Lemma 2. TZ() Z T () Z. A1 A1 C2 A3 A3 3 2 Z 3 2 Let us investigate points inside the polygon Z . A1 A1 3 3 4 1 1 A 4 3 A 1 Note that Z and T are invariant under the rotation Y 2 2 Y 1 1 A 3 A 2 3 3 A 5 A 0 A A k 2 2 5 0 through the angle k Z. Identifying the points of 1 1 A 4 A 1 3 3 A 6 A 7 2 A 6 A 7 4 2 Y 2 A 5 A 0 Z under this rotation, we can study only the quadrilat- 2 2 222 A 6 A 7 eral AAAA14 3 2, on which the outer billiard T induces a map T'. For a further analysis, it is convenient to relabel the points inside 222 (Fig. 2). Specifically, is Fig. 1. Outer billiard outside a regular octagon: the shapes AAAA14 3 2 A1 2 2 2 , i, and Z. denoted by O; A4 , by K ; A3 , by L; A2 , by M ; C3 , by R; and A2, by Q. Let P be the intersection point of the segment OK and the ray AA32 and S be the intersection ant under an outer billiard outside a regular octagon. point of the segment OK and the ray RM. Schwartz conjectured the existence of self-similar structures in the case of 5-, 10-, 8-, and 12-gons [9], Consider the rays AA32 and AA43. They divide but the proof is still not available. OKLM into three polygons: OPQ, PQRK , and LMR. Let us describe self-similar structures. For this pur- For each of them, T is a central symmetry with respect pose, we consider a regular octagon := to the vertices A2, A3 , and A4, respectively. These poly- gons are designated as , , and , respectively. AAAAAAAA01234567 with vertices numbered in a coun- W1 W2 W3 terclockwise direction (Fig. 4) and an outer billiard Lemma 3. The induced map T' is map T. Let l be a straight line through the vertices A i i 3 and A , i…01 7. Let Ci[0 7], be the (i) a rotation through around the intersection point (1)mod8i i 4 intersection point of the lines l(1)mod8i and l(1)mod8i , U of the bisector of the angle KOM and the bisector of i iiiiiiii and let AAAAAAAA01 234567 be an open polygon the segment AA12 for the open triangle int(W1) = symmetric to with respect to the point Ci . int(OPQ ); U T(U ) P Q PQ T ' R R V T(V) LLMM Fig. 2. Induced map T ' on the quadrilateral OKLM. DOKLADY MATHEMATICS Vol. 98 No. 1 2018 OUTER BILLIARDS OUTSIDE A REGULAR OCTAGON 3 O (ii) a rotation through around the intersection point 2 V of the bisectors of the angles KOM and LRQ for the M ' K ' L' open quadrilateral int(WPQRK2 ) int( ); and (iii) a rotation through around the intersection point U 4 P W of the segment bisector LM and the bisector of the angle Q KOM for the open triangle int(W3) = int(LRM ). The map T' is not defined on the common boundar- R ies of the circumscribed polygons, i.e., on PQ and KR. V Lemma 4. A point xOKLM is a boundary (peri- odic, aperiodic) point with respect to the map T' if and W2 only if x is a boundary (periodic, aperiodic) point with M respect to the outer billiard map T . L Let us study T' on the quadrilateral OKLM . W1 Notation 1. Let U1 be a regular octagon with sides parallel to those of that is “inscribed” in the triangle OPQ. K Notation 2. Let be an affine transformation such 3 that ()OO and ()AU1. We also introduce the Fig. 3. Trajectory of the transformation T ''. points KK'() , LL'() , and MM'() . Note that ()'''OKLM OK L M . The locations of all periodic shapes in OKLM can Let us define a transformation T'' playing a key role in the subsequent study. be described as follows. Inside OKLM, there exists a periodic shape with side h0. Its location is uniquely Notation 3. Let xOKLM int( ' ' '). Let nx be the min- determined: this is an octagon inscribed in the quadri- imum positive integer n such that Tx'(n ) int( OKLM ' ' '). lateral PQRK.
Recommended publications
  • [Math.DS] 18 Jan 2005 Complexity of Piecewise Convex Transformations
    Complexity of piecewise convex transformations in two dimensions, with applications to polygonal billiards Eugene Gutkin ∗ and Serge Tabachnikov † November 12, 2018 Abstract ABSTRACT We introduce the class of piecewise convex transfor- mations, and study their complexity. We apply the results to the complexity of polygonal billiards on surfaces of constant curvature. Introduction The following situation frequently occurs in geometric dynamics. There is a phase space X, a transformation T : X → X; and there is a finite de- composition P : X = X(a) ∪ X(b) ∪ ··· . Let A = {a, b, . } be the corresponding alphabet. A phase point x ∈ X is regular if every element of the orbit x, T x, T 2x, . belongs to a unique atom of P. Suppose that arXiv:math/0412335v2 [math.DS] 18 Jan 2005 x ∈ X(a), T x ∈ X(b), etc. The corresponding word a b ··· is the code of x. Let Σ(n) be the set of words in A of length n obtained by coding points in X. The positive function f(n) = |Σ(n)| is the associated complexity. Its ∗UCLA, Math. Dpt., Los Angeles, CA 90095, USA and IMPA, Estrada Dona Castorina 110, 22460-320 Rio de Janeiro RJ, Brasil. E-mail: egutkin@math.ucla.edu,gutkin@impa.br †Department of Mathematics, Pennsylvania State University, University Park, PA 16802. E-mail: tabachni@math.psu.edu 1 behavior as n →∞1 is an important characteristic of the dynamical system in question. The following examples have motivated our study. Example A. Let P ⊂ R2 be a polygon with sides a, b, . , and let X be the phase space of the billiard map Tb in P .
    [Show full text]
  • © 2016 Ki Yeun Kim DYNAMICS of BOUNCING RIGID BODIES and BILLIARDS in the SPACES of CONSTANT CURVATURE
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Illinois Digital Environment for Access to Learning and Scholarship Repository © 2016 Ki Yeun Kim DYNAMICS OF BOUNCING RIGID BODIES AND BILLIARDS IN THE SPACES OF CONSTANT CURVATURE BY KI YEUN KIM DISSERTATION Submied in partial fulllment of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate College of the University of Illinois at Urbana-Champaign, 2016 Urbana, Illinois Doctoral Commiee: Professor Yuliy Baryshnikov, Chair Professor Vadim Zharnitsky, Director of Research Associate Professor Robert DeVille Associate Professor Zoi Rapti Abstract Mathematical billiard is a dynamical system studying the motion of a mass point inside a domain. e point moves along a straight line in the domain and makes specular reections at the boundary. e theory of billiards has developed extensively for itself and for further applications. For example, billiards serve as natural models to many systems involving elastic collisions. One notable example is the system of spherical gas particles, which can be described as a billiard on a higher dimensional space with a semi-dispersing boundary. In the rst part of this dissertation, we study the collisions of a two-dimensional rigid body using billiard dynamics. We rst dene a dumbbell system, which consists of two point masses connected by a weightless rod. We assume the dumbbell moves freely in the air and makes elastic collisions at a at boundary. For arbitrary mass choices, we use billiard techniques to nd the sharp bound on the number of collisions of the dumbbell system in terms of the mass ratio.
    [Show full text]
  • Complexity of Piecewise Convex Transformations in Two Dimensions, with Applications to Polygonal Billiards on Surfaces of Constant Curvature
    MOSCOW MATHEMATICAL JOURNAL Volume 6, Number 4, October–December 2006, Pages 673–701 COMPLEXITY OF PIECEWISE CONVEX TRANSFORMATIONS IN TWO DIMENSIONS, WITH APPLICATIONS TO POLYGONAL BILLIARDS ON SURFACES OF CONSTANT CURVATURE EUGENE GUTKIN AND SERGE TABACHNIKOV To A. A. Kirillov for his 70th birthday Abstract. We introduce piecewise convex transformations, and de- velop geometric tools to study their complexity. We apply the results to the complexity of polygonal inner and outer billiards on surfaces of constant curvature. 2000 Math. Subj. Class. 53D25, 37E99, 37B10. Key words and phrases. Geodesic polygon, constant curvature, complexity, inner billiard, outer billiard. Introduction Transformations that arise in geometric dynamics often fit into the following scheme. The phase space of the transformation, T : X → X, has a finite decompo- sition P : X = Xa ∪ Xb ∪··· into “nice” subsets with respect to a geometric struc- ture on X. (For instance, Xa, Xb, ... are convex.) The restrictions T : Xa → X, T : Xb → X, ... preserve that structure. The interiors of Xa, Xb, ... are dis- joint, and T is discontinuous (or not defined) on the union of their boundaries, −1 −1 ∂P = ∂Xa ∪ ∂Xb ∪··· . Set P1 = P. The sets T (Xa) ∩ Xa, T (Xa) ∩ Xb, ... form the decomposition P2, which is a refinement of P1; it provides a defining partition for the transformation T 2. Iterating this process, we obtain a tower of n decompositions Pn, n > 1, where Pn plays for T the same role that P played for T . Let A = {a, b, ... } be the alphabet labeling the atoms of P. A phase point x ∈ X is regular if every point of the orbit x, Tx, T 2x, ..
    [Show full text]
  • Recent Advances in Open Billiards with Some Open Problems Carl P
    Recent advances in open billiards with some open problems Carl P. Dettmann, Department of Mathematics, University of Bristol, UK Abstract Much recent interest has focused on \open" dynamical systems, in which a classical map or flow is considered only until the trajectory reaches a \hole", at which the dynamics is no longer considered. Here we consider questions pertaining to the survival probability as a function of time, given an initial measure on phase space. We focus on the case of billiard dynamics, namely that of a point particle moving with constant velocity except for mirror-like reflections at the boundary, and give a number of recent results, physical applications and open problems. 1 Introduction A mathematical billiard is a dynamical system in which a point particle moves with constant speed in a straight line in a compact domain D ⊂ Rd with a piecewise smooth1 boundary @D and making mirror-like2 reflections whenever it reaches the boundary. We can assume that the speed and mass are both equal to unity. In some cases it is convenient to use periodic boundary conditions with obstacles in the interior, so Rd is replaced by the torus Td. Here we will mostly consider the planar case d = 2. Billiards are of interest in mathematics as examples of many different dynamical behaviours (see Fig. 1 below) and in physics as models in statistical mechanics and the classical limit of waves moving in homogeneous cavities; more details for both mathematics and physics are given below. An effort has been made to keep the discussion as non-technical and self-contained as possible; for further definitions and discussion, please see [20, 28, 37].
    [Show full text]
  • A Brief Overview of Outer Billiards on Polygons
    Degree project A Brief Overview of Outer Billiards on Polygons Author: Michelle Zunkovic Supervisor: Hans Frisk Examiner: Karl-Olof Lindahl Date: 2015-12-17 Course Code: 2MA11E Subject:Mathematics Level: Bachelor Department Of Mathematics A Brief Overview of Outer Billiards on Polygons Michelle Zunkovic December 17, 2015 Contents 1 Introduction 3 2 Theory 3 2.1 Affine transformations . .3 2.2 Definition of Outer Billiards . .4 2.3 Boundedness and unboundedness of orbits . .4 2.4 Periodic orbits . .6 2.5 The T 2 map and necklace dynamics . .6 2.6 Quasi rational billiards . .8 3 Some different polygons 8 3.1 Orbits of the 2-gon . .8 3.2 Orbits of the triangle . .9 3.3 Orbits of the quadrilaterals . 10 3.3.1 The square . 10 3.3.2 Trapezoids and kites . 10 3.4 The regular pentagon . 11 3.5 The regular septagon . 12 3.6 Structuring all polygons . 13 4 Double kite 13 4.1 Background . 13 4.2 Method . 15 4.3 Result . 15 5 Conclusions 16 2 Abstract Outer billiards were presented by J¨urgenMoser in 1978 as a toy model of the solar system. It is a geometric construction concerning the motions around a convex shaped space. We are going to bring up the basic ideas with many figures and not focus on the proofs. Explanations how different types of orbits behave are given. 1 Introduction It was J¨urgenMoser that aroused the interest of outer billiards to the public. In 1978 Moser published an article named "Is the Solar System Stable?" [1].
    [Show full text]
  • Outer Billiard Outside Regular Polygons Nicolas Bedaride, Julien Cassaigne
    Outer billiard outside regular polygons Nicolas Bedaride, Julien Cassaigne To cite this version: Nicolas Bedaride, Julien Cassaigne. Outer billiard outside regular polygons. Journal of the London Mathematical Society, London Mathematical Society, 2011, 10.1112/jlms/jdr010. hal-01219092 HAL Id: hal-01219092 https://hal.archives-ouvertes.fr/hal-01219092 Submitted on 22 Oct 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Outer billiard outside regular polygons Nicolas Bedaride∗ Julien Cassaigney ABSTRACT We consider the outer billiard outside a regular convex polygon. We deal with the case of regular polygons with 3; 4; 5; 6 or 10 sides. We de- scribe the symbolic dynamics of the map and compute the complexity of the language. Keywords: Symbolic dynamic, outer billiard, complexity function, words. AMS codes: 37A35 ; 37C35; 05A16; 28D20. 1 Introduction An outer billiard table is a compact convex domain P . Pick a point M outside P . There are two half-lines starting from M tangent to P , choose one of them, say the one to the right from the view-point of M, and reflect M with respect to the tangency point. One obtains a new point, N, and the transformation T : TM = N is the outer (a.k.a.
    [Show full text]
  • Outer Billiards with Contraction: Attracting Cantor Sets
    Outer Billiards with Contraction: Attracting Cantor Sets In-Jee Jeong September 27, 2018 Abstract We consider the outer billiards map with contraction outside polygons. We construct a 1-parameter family of systems such that each system has an open set in which the dynamics is reduced to that of a piecewise con- traction on the interval. Using the theory of rotation numbers, we deduce that every point inside the open set is asymptotic to either a single peri- odic orbit (rational case) or a Cantor set (irrational case). In particular, we deduce existence of an attracting Cantor set for certain parameter val- ues. Moreover, for a different choice of a 1-parameter family, we prove that the system is uniquely ergodic; in particular, the entire domain is asymptotic to a single attractor. 1 Introduction Let P be a convex polygon in the plane and 0 < λ < 1 be a real number. Given a pair (P; λ), we define the outer billiards with contraction map T as follows. For a generic point x R2 P , we can find a unique vertex v of P such that P lies on the left of the2 rayn starting from x and passing through v. Then on this ray, we pick a point y that lies on the other side of x with respect to v and satisfies xv : vy = 1 : λ. We define T x = y (Figure 1). The map T is j j j j well-defined for all points on R2 P except for points on the union of singular rays extending the sides of P .
    [Show full text]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [Show full text]
  • Mathematisches Forschungsinstitut Oberwolfach Dynamische Systeme
    Mathematisches Forschungsinstitut Oberwolfach Report No. 32/2017 DOI: 10.4171/OWR/2017/32 Dynamische Systeme Organised by Hakan Eliasson, Paris Helmut Hofer, Princeton Vadim Kaloshin, College Park Jean-Christophe Yoccoz, Paris 9 July – 15 July 2017 Abstract. This workshop continued the biannual series at Oberwolfach on Dynamical Systems that started as the “Moser-Zehnder meeting” in 1981. The main themes of the workshop are the new results and developments in the area of dynamical systems, in particular in Hamiltonian systems and symplectic geometry. This year special emphasis where laid on symplectic methods with applications to dynamics. The workshop was dedicated to the memory of John Mather, Jean-Christophe Yoccoz and Krzysztof Wysocki. Mathematics Subject Classification (2010): 37, 53D, 70F, 70H. Introduction by the Organisers The workshop was organized by H. Eliasson (Paris), H. Hofer (Princeton) and V. Kaloshin (Maryland). It was attended by more than 50 participants from 13 countries and displayed a good mixture of young, mid-career and senior people. The workshop covered a large area of dynamical systems centered around classi- cal Hamiltonian dynamics and symplectic methods: closing lemma; Hamiltonian PDE’s; Reeb dynamics and contact structures; KAM-theory and diffusion; celes- tial mechanics. Also other parts of dynamics were represented. K. Irie presented a smooth closing lemma for Hamiltonian diffeomorphisms on closed surfaces. This result is the peak of a fantastic development in symplectic methods where, in particular, the contributions of M. Hutchings play an important role. 1988 Oberwolfach Report 32/2017 D. Peralta-Salas presented new solutions for the 3-dimensional Navier-Stokes equations with different vortex structures.
    [Show full text]
  • PENTAGONAL DOMAIN EXCHANGE Adler-Kitchens-Tresser [1] And
    PENTAGONAL DOMAIN EXCHANGE SHIGEKI AKIYAMA AND EDMUND HARRISS Abstract. Self-inducing structure of pentagonal piecewise isometry is applied to show detailed description of periodic and aperiodic orbits, and further dynamical properties. A Pisot number appears as a scaling constant and plays a crucial role in the proof. Further generalization is discussed in the last section. Adler-Kitchens-Tresser [1] and Goetz [10] initiated the study of piecewise isometries. This class of maps shows the way to possible generalizations of results on interval exchanges to higher dimensions [16, 30]. In this paper we examine the detailed properties of the map shown in Figure 1 from an algebraic point of view. Figure 1. A piecewise rotation T on two pieces. The tri- angle is rotated 2π=5 around a and the trapezium is ro- tated 2π=5 around b. Periodic points with short periods are shown below, in two colours to illustrate that they cluster into groups, each forming a pentagon. The goal of this paper is to see how this map is applied to show number theoretical results. First we reprove that almost all orbits in the sense of The first author is supported by the Japanese Society for the Promotion of Science (JSPS), grant in aid 21540010. 1 2 SHIGEKI AKIYAMA AND EDMUND HARRISS Lebesgue measure are periodic, and in addition, there are explicit aperiodic points. Second we show that aperiodic points forms a proper dense subset of an attractor of some iterated function system and are recognized by a B¨uchi automaton (c.f. Figure 14). The dynamics acting on this set of aperiodic points are conjugate to the 2-adic odometer (addition of one) whose explicit construction is given (Theorem 3).
    [Show full text]
  • 5 | Newton's Laws of Motion 207 5 | NEWTON's LAWS of MOTION
    Chapter 5 | Newton's Laws of Motion 207 5 | NEWTON'S LAWS OF MOTION Figure 5.1 The Golden Gate Bridge, one of the greatest works of modern engineering, was the longest suspension bridge in the world in the year it opened, 1937. It is still among the 10 longest suspension bridges as of this writing. In designing and building a bridge, what physics must we consider? What forces act on the bridge? What forces keep the bridge from falling? How do the towers, cables, and ground interact to maintain stability? Chapter Outline 5.1 Forces 5.2 Newton's First Law 5.3 Newton's Second Law 5.4 Mass and Weight 5.5 Newton’s Third Law 5.6 Common Forces 5.7 Drawing Free-Body Diagrams Introduction When you drive across a bridge, you expect it to remain stable. You also expect to speed up or slow your car in response to traffic changes. In both cases, you deal with forces. The forces on the bridge are in equilibrium, so it stays in place. In contrast, the force produced by your car engine causes a change in motion. Isaac Newton discovered the laws of motion that describe these situations. Forces affect every moment of your life. Your body is held to Earth by force and held together by the forces of charged particles. When you open a door, walk down a street, lift your fork, or touch a baby’s face, you are applying forces. Zooming in deeper, your body’s atoms are held together by electrical forces, and the core of the atom, called the nucleus, is held together by the strongest force we know—strong nuclear force.
    [Show full text]
  • Arbeitsgemeinschaft Mit Aktuellem Thema: Mathematical Billiards Mathematisches Forschungsinstitut Oberwolfach 4.4.2010 – 10.4.2010
    Arbeitsgemeinschaft mit aktuellem Thema: Mathematical billiards Mathematisches Forschungsinstitut Oberwolfach 4.4.2010 { 10.4.2010 Organizers: Sergei Tabachnikov Serge Troubetzkoy Pennsylvania State University Centre de Physique Th´eoriqueand Department of Mathematics Institut Math´ematiquesde Luminy University Park, PA 16802, USA 13288 Marseille Cedex 09, France tabachni@math.psu.edu troubetz@iml.univ-mrs.fr Introduction The billiard dynamical system describes the motion of a free particle in a domain with a perfectly reflecting boundary. More technically, a billiard table Q is a subset of a Riemannian manifold (usually R2) with a piece-wise smooth boundary. We define the billiard flow as follows: the billiard ball is a point particle, it move along geodesic lines in Q with elastic collisions with @Q. The latter means that, at the impact point, the velocity vector of the particle is decomposed into the components, tangential and the normal to @Q; then the normal component instantaneously changes signs, whereas the tangential component remains the same, after which the free motion continues. In dimension two, this is the famous law of geometrical optics: the angle of incidence equals the angle of reflection. Many mechanical systems with elastic collisions, that is, collisions pre- serving the total momentum and energy of the system, reduce to billiards. Perhaps the most famous example is an idealized gas made of massive elasti- cally colliding balls. Here is an interesting lesser known example: the system of three elastically colliding point masses on a circle reduces, after fixing the center of mass, to the billiard inside an acute triangle whose angles depend on the ratios of masses.
    [Show full text]