Outer Billiards on Kites (AM-171)

Hardcover (Print)
Used and New from Other Sellers
Used and New from Other Sellers
from $50.98
Usually ships in 1-2 business days
(Save 53%)
Other sellers (Hardcover)
  • All (5) from $50.98   
  • New (2) from $114.90   
  • Used (3) from $50.98   
Close
Sort by
Page 1 of 1
Showing All
Note: Marketplace items are not eligible for any BN.com coupons and promotions
$114.90
Seller since 2007

Feedback rating:

(23419)

Condition:

New — never opened or used in original packaging.

Like New — packaging may have been opened. A "Like New" item is suitable to give as a gift.

Very Good — may have minor signs of wear on packaging but item works perfectly and has no damage.

Good — item is in good condition but packaging may have signs of shelf wear/aging or torn packaging. All specific defects should be noted in the Comments section associated with each item.

Acceptable — item is in working order but may show signs of wear such as scratches or torn packaging. All specific defects should be noted in the Comments section associated with each item.

Used — An item that has been opened and may show signs of wear. All specific defects should be noted in the Comments section associated with each item.

Refurbished — A used item that has been renewed or updated and verified to be in proper working condition. Not necessarily completed by the original manufacturer.

New
BRAND NEW

Ships from: Avenel, NJ

Usually ships in 1-2 business days

  • Canadian
  • International
  • Standard, 48 States
  • Standard (AK, HI)
$115.00
Seller since 2014

Feedback rating:

(178)

Condition: New
Brand new.

Ships from: acton, MA

Usually ships in 1-2 business days

  • Standard, 48 States
  • Standard (AK, HI)
Page 1 of 1
Showing All
Close
Sort by

Overview

Outer billiards is a basic dynamical system defined relative to a convex shape in the plane. B. H. Neumann introduced this system in the 1950s, and J. Moser popularized it as a toy model for celestial mechanics. All along, the so-called Moser-Neumann question has been one of the central problems in the field. This question asks whether or not one can have an outer billiards system with an unbounded orbit. The Moser-Neumann question is an idealized version of the question of whether, because of small disturbances in its orbit, the Earth can break out of its orbit and fly away from the Sun. In Outer Billiards on Kites, Richard Schwartz presents his affirmative solution to the Moser-Neumann problem. He shows that an outer billiards system can have an unbounded orbit when defined relative to any irrational kite. A kite is a quadrilateral having a diagonal that is a line of bilateral symmetry. The kite is irrational if the other diagonal divides the quadrilateral into two triangles whose areas are not rationally related. In addition to solving the basic problem, Schwartz relates outer billiards on kites to such topics as Diophantine approximation, the modular group, self-similar sets, polytope exchange maps, profinite completions of the integers, and solenoids--connections that together allow for a fairly complete analysis of the dynamical system.

Read More Show Less

Editorial Reviews

Mathematical Review
This research is an exemplary sample of experimental mathematics.
— Serge L. Tabachnikov
Mathematical Review - Serge L. Tabachnikov
This research is an exemplary sample of experimental mathematics.
From the Publisher

"This research is an exemplary sample of experimental mathematics."--Serge L. Tabachnikov, Mathematical Review
Read More Show Less

Product Details

  • ISBN-13: 9780691142487
  • Publisher: Princeton University Press
  • Publication date: 10/5/2009
  • Series: Annals of Mathematics Studies Series
  • Pages: 312
  • Product dimensions: 6.40 (w) x 9.50 (h) x 0.90 (d)

Meet the Author

Richard Evan Schwartz is professor of mathematics at Brown University and the author of "Spherical CR Geometry and Dehn Surgery" (Princeton).

Read More Show Less

Read an Excerpt

Outer Billiards on Kites


By Richard Evan Schwartz

PRINCETON UNIVERSITY PRESS

Copyright © 2009 Princeton University Press
All right reserved.

ISBN: 978-0-691-14249-4


Chapter One

Introduction

1.1 DEFINITIONS AND HISTORY

B. H. Neumann [N] introduced outer billiards in the late 1950s. In the 1970s, J. Moser [M1] popularized outer billiards as a toy model for celestial mechanics. See [T1], [T3], and [DT1] for expositions of outer billiards and many references on the subject.

Outer billiards is a dynamical system defined (typically) in the Euclidean plane. Unlike the more familiar variant, which is simply called billiards, outer billiards involves a discrete sequence of moves outside a convex shape rather than inside it. To define an outer billiards system, one starts with a bounded convex set K [subset] [R.sup.2] and considers a point [x.sub.0] [member of] [R.sup.2] - K. One defines [x.sub.1] to be the point such that the segment [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is tangent to K at its midpoint and K lies to the right of the ray [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. The iteration [x.sub.0] [right arrow] [x.sub.1] [right arrow] [x.sub.2] [right arrow] ... is called the forward outer billiards orbit of [x.sub.0]. It is defined for almost every point of [R.sup.2] - K. The backward orbit is defined similarly.

One important feature of outer billiards is that it is an affinely invariant system. Since affine transformations carry lines to lines and respect the property of bisection, an affine transformation carrying one shape to another conjugates the one outer billiards system to the other.

It is worth recalling here a few basic definitions about orbits. An orbit is called periodic if it eventually repeats itself, and otherwise aperiodic. An orbit is called bounded if the whole orbit lies in a bounded portion of the plane. Otherwise, the orbit is called unbounded. Sometimes (un)bounded orbits are called (un)stable.

J. Moser [M2, p. 11] attributes the following question to Neumann ca. 1960, though it is sometimes called Moser's question. Is there an outer billiards system with an unbounded orbit? This is an idealized version of the question about the stability of the solar system. Here is a chronological list of much of the work related to this question.

J. Moser [M2] sketches a proof, inspired by KAM theory, that outer billiards on K has all bounded orbits provided that [partial derivative]K is at least [ITLITL.sup.6] smooth and positively curved. R. Douady gives a complete proof in his thesis [D].

In Vivaldi-Shaidenko [VS], Kolodziej [Ko], and Gutkin-Simanyi [GS], it is proved (each with different methods) that outer billiards on a quasirational polygon has all orbits bounded. This class of polygons includes rational polygons - i.e., polygons with rational-coordinate vertices - and also regular polygons. In the rational case, all defined orbits are periodic.

S. Tabachnikov [T3] analyzes the outer billiards system for a regular pentagon and shows that there are some nonperiodic (but bounded) orbits.

P. Boyland [B] gives examples of [ITLITL.sup.1] smooth convex domains for which an orbit can contain the domain boundary in its [omega]-limit set.

F. Dogru and S. Tabachnikov [DT2] show that, for a certain class of polygons in the hyperbolic plane, called large, all outer billiards orbits are unbounded. (One can define outer billiards in the hyperbolic plane, though the dynamics has a somewhat different feel to it.)

D. Genin [G] shows that all orbits are bounded for the outer billiards systems associated to trapezoids. See A.4. Genin also makes a brief numerical study of a particular irrational kite based on the square root of 2, observes possibly unbounded orbits, and indeed conjectures that this is the case.

In [S] we prove that outer billiards on the Penrose kite has unbounded orbits, thereby answering the Moser-Neumann question in the affirmative. The Penrose kite is the convex quadrilateral that arises in the Penrose tiling.

Recently, D. Dolgopyat and B. Fayad [DF] showed that outer billiards on a half-disk has some unbounded orbits. Their proof also works for regions obtained from a disk by nearly cutting it in half with a straight line. This is a second affirmative answer to the Moser-Neumann question.

The result in [S] naturally raises questions about generalizations. The purpose of this book is to develop the theory of outer billiards on kites and show that the phenomenon of unbounded orbits for polygonal outer billiards is (at least for kites) quite robust.

1.2 THE ERRATIC ORBITS THEOREM

A kite is a convex quadrilateral K having a diagonal that is a line of symmetry. We say that K is (ir)rational if the other diagonal divides K into two triangles whose areas are (ir)rational multiples of each other. Equivalently, K is rational iff it is affinely equivalent to a quadrilateral with rational vertices. To avoid trivialities, we require that exactly one of the two diagonals of K is a line of symmetry. This means that a rhombus does not count as a kite.

Since outer billiards is an affinely natural system, we find it useful to normalize kites in a particular way. Any kite is affinely equivalent to the quadrilateral K(A) having vertices

(-1, 0), (0, 1), (0,-1), (A, 0), A [member of] (0, 1). (1.1)

Figure 1.1 shows an example. The omitted case A = 1 corresponds to rhombuses. Henceforth, when we say kite, we mean K(A) for some A. The kite K(A) is (ir)rational iff A is (ir)rational.

Let [Z.sub.odd] denote the set of odd integers. Reflection in each vertex of K(A) preserves R x [Z.sub.odd]. Hence outer billiards on K(A) preserves R x [Z.sub.odd]. We call an outer billiards orbit on K(A) special if (and only if) it is contained in R x [Z.sub.odd]. We discuss only special orbits in this book. The special orbits are hard enough for us already. In the appendix, we will say something about the general case. See A.3.

We call an orbit forward erratic if the forward orbit is unbounded and also returns to every neighborhood of a kite vertex. We state the same definition for the backward direction. We call an orbit erratic if it is both forward and backward erratic. In Parts 1-4 of the book we will prove the following result.

Theorem 1.1 (Erratic Orbits) The following hold for any irrational kite.

1. There are uncountably many erratic special orbits.

2. Every special orbit is either periodic or unbounded in both directions.

3. The set of periodic special orbits is open dense in R x [Z.sub.odd].

It follows from the work on quasirational polygons cited above that all orbits are periodic relative to a rational kite. (The analysis in this book gives another proof of this fact, at least for special orbits. See the remark at the end of 3.2.) Hence the Erratic Orbits Theorem has the following corollary.

Corollary 1.2 Outer billiards on a kite has an unbounded orbit if and only if the kite is irrational.

The Erratic Orbits Theorem is an intermediate result included so that the reader can learn a substantial theorem without having to read the whole book. We will describe our main result in the next two sections.

1.3 COROLLARIES OF THE COMET THEOREM

In Parts 5 and 6 of the book we will go deeper into the subject and establish our main result, the Comet Theorem. The Comet Theorem and its corollaries considerably sharpen the Erratic Orbits Theorem. We defer statement of the Comet Theorem until the next section. In this section, we describe some of its corollaries.

Given a Cantor set ITLITL contained in a line L, we let [ITLITL.sup.#] be the set obtained from ITLITL by deleting the endpoints of the components of L - C. We call [ITLITL.sup.#] a trimmed Cantor set. Note that ITLITL - [ITLITL.sup.#] is countable.

The interval

I = [0, 2] x {-1} (1.2)

turns out to be a very useful interval. Figure 1.2 shows I and its first 3 iterates under the outer billiards map.

Let [U.sub.A] denote the set of unbounded special orbits relative to A.

Theorem 1.3 Relative to any irrational A [member of] (0, 1), the following are true.

1. [U.sub.A] is minimal: Every orbit in [U.sub.A] is dense in [U.sub.A] and all but at most 2 orbits in [U.sub.A] are both forward dense and backward dense in [U.sub.A].

2. [U.sub.A] is locally homogeneous: Every two points in [U.sub.A] have arbitrarily small neighborhoods that are isometric to each other.

3. [U.sub.A] [intersection] I = [ITLITL.sup.#.sub.A] for some Cantor set [ITLITL.sub.A].

Remarks:

(i) One endpoint of [ITLITL.sub.A] is the kite vertex (0,-1). Hence Statement 1 implies that all but at most 2 unbounded special orbits are erratic. The remaining special orbits, if any, are each erratic in one direction.

(ii) Statements 2 and 3 combine to say that every point in [U.sub.A] lies in an interval that intersects [U.sub.A] in a trimmed Cantor set. This gives us a good local picture of [U.sub.A]. One thing we are missing is a good global picture of [U.sub.A].

(iii) The Comet Theorem describes [ITLITL.sub.A] explicitly.

Given Theorem 1.3, it makes good sense to speak of the first return map to any interval in R x [Z.sub.odd]. From the minimality result, the local nature of the return map is essentially the same around any point of [U.sub.A]. To give a crisp picture of this first return map, we consider the interval I discussed above.

For j = 1, 2, let [f.sub.j] : [X.sub.j] [right arrow] [X.sub.j] be a map such that [f.sub.j] and [f.sup.-1.sub.j] are defined on all but perhaps a finite subset of [X.sub.j]. We call [f.sub.1] and [f.sub.2] essentially conjugate if there are countable sets [ITLITL.sub.j] [subset] [X.sub.j], each one contained in a finite union of orbits, and a homeomorphism

h: [X.sub.1] - [ITLITL.sub.1] [right arrow] [X.sub.2] - [ITLITL.sub.2]

that conjugates [f.sub.1] to [f.sub.2].

An odometer is the map x [right arrow] x + 1 on the inverse limit of the system

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (1.3)

The universal odometer is the map x [right arrow] x + 1 on the profinite completion of Z. This is the inverse limit taken over the system of all finite cyclic groups. For concreteness, Equation 1.3 defines the universal odometer when [D.sub.k] = k factorial. See [H] for a detailed discussion of the universal odometer.

Theorem 1.4 Let [[rho].sub.A] be the first return map to [U.sub.A] [intersection] I.

1. For any irrational A [member of] (0, 1), the map [[rho].sub.A] is defined on all but at most one point and is essentially conjugate to an odometer [Z.sub.A].

2. Any given odometer is essentially conjugate to [[rho].sub.A] for uncountably many difference choices of A.

3. [[rho].sub.A] is essentially conjugate to the universal odometer for almost all A.

Remarks:

(i) The Comet Theorem explicitly describes [Z.sub.A] in terms of a sequence we call the remormalization sequence. This sequence is related to the continued fraction expansion of A. We will give a description of this sequence in the next section. (ii) Theorem 1.4 is part of a larger result. There is a certain suspension flow over the odometer, which we call geodesic flow on the cusped solenoid. It turns out that the time-one map for this flow serves as a good model, in a certain sense, for the dynamics on [U.sub.A]. 24.3.

Our next result highlights an unexpected connection between outer billiards on kites and the modular group [SL.sub.2](Z). The group [SL.sub.2](Z) acts naturally on the upper half-plane model of the hyperbolic plane, [H.sup.2], by linear fractional transformations. Closely related to [SL.sub.2](Z) is the (2, [infinity], [infinity])-triangle group [Gamma] generated by reflections in the sides of the geodesic triangle with vertices (0, 1, i). The points 0 and 1 are the cusps, and the point i is the internal vertex corresponding to the right angle of the triangle. See 25.2 for more details. [Gamma] and [SL.sub.2](Z) are commensurable: Their intersection has finite index in both groups. In our next result, we interpret our kite parameter interval (0, 1) as the subset of the ideal boundary of [H.sup.2].

Theorem 1.5 Let S = [0, 1] - Q. Let u(A) be the Hausdorff dimension of [U.sub.A].

1. For all A [member of] S, the set [U.sub.A] has length 0. Hence almost all points in R x [Z.sub.odd] have periodic orbits relative to outer billiards on K(A).

2. If A, A' [member of] S are in the same [Gamma]-orbit, then [U.sub.A] and [U.sub.A'] are locally similar. In particular, u(A) = u(A').

3. If A [member of] S is quadratic irrational, then every point of [U.sub.A] lies in an interval that intersects [U.sub.A] in a self-similar trimmed Cantor set.

4. The function u is almost everywhere equal to some constant u0 and yet maps every open subset of S onto [0, 1].

Remarks:

(i)We do not know the value of [u.sub.0]. We guess that 0 < [u.sub.0] < 1. Theorem 25.9 gives a formula for u(A) in many cases.

(ii) The word similar in statement 2 means that the two sets have neighborhoods that are related by a similarity. In statement 3, a self-similar set is a disjoint finite union of similar copies of itself.

(iii)We will see that statement 2 essentially implies both statements 3 and 4. Statement 2 is the first hint that outer billiards on kites is connected to themodular group. The Comet Theorem says more about this.

(iv) Statement 3 of Theorem 1.4 combines with statement 4 of Theorem 1.5 to say that there is a "typical behavior" for outer billiards on kites, in a certain sense. For almost every parameter A, the dimension of [U.sub.A] is the (unknown) constant [u.sub.0] and the return map [[rho].sub.A] is essentially conjugate to the universal odometer.

We end this section by comparing our results here with the main theorems in [S] concerning the Penrose kite. The Penrose kite parameter is

A = [square root of 5] - 2 = [[phi].sup.-3],

where [phi] is the golden ratio. In [S], we prove that [ITLITL.sup.#.sub.A] [subset] [U.sub.A] and that the first return map to [ITLITL.sup.#.sub.A] is essentially conjugate to the 2-adic odometer. Theorems 1.3 and 1.4 subsume these results about the Penrose kite.

(Continues...)



Excerpted from Outer Billiards on Kites by Richard Evan Schwartz Copyright © 2009 by Princeton University Press. Excerpted by permission.
All rights reserved. No part of this excerpt may be reproduced or reprinted without permission in writing from the publisher.
Excerpts are provided by Dial-A-Book Inc. solely for the personal use of visitors to this web site.

Read More Show Less

Table of Contents

Contents

Preface....................xi
Chapter 1. Introduction....................1
PART 1. THE ERRATIC ORBITS THEOREM....................17
Chapter 2. The Arithmetic Graph....................19
Chapter 3. The Hexagrid Theorem....................33
Chapter 4. Period Copying....................41
Chapter 5. Proof of the Erratic Orbits Theorem....................45
PART 2. THE MASTER PICTURE THEOREM....................53
Chapter 6. The Master Picture Theorem....................55
Chapter 7. The Pinwheel Lemma....................69
Chapter 8. The Torus Lemma....................77
Chapter 9. The Strip Functions....................85
Chapter 10. Proof of the Master Picture Theorem....................93
PART 3. ARITHMETIC GRAPH STRUCTURE THEOREMS....................99
Chapter 11. Proof of the Embedding Theorem....................101
Chapter 12. Extension and Symmetry....................107
Chapter 13. Proof of Hexagrid Theorem I....................117
Chapter 14. The Barrier Theorem....................125
Chapter 15. Proof of Hexagrid Theorem II....................133
Chapter 16. Proof of the Intersection Lemma....................143
PART 4. PERIOD-COPYING THEOREMS....................151
Chapter 17. Diophantine Approximation....................153
Chapter 18. The Diophantine Lemma....................163
Chapter 19. The Decomposition Theorem....................171
Chapter 20. Existence of Strong Sequences....................181
PART 5. THE COMET THEOREM....................185
Chapter 21. Structure of the Inferior and Superior Sequences....................187
Chapter 22. The Fundamental Orbit....................193
Chapter 23. The Comet Theorem....................205
Chapter 24. Dynamical Consequences....................219
Chapter 25. Geometric Consequences....................227
PART 6. MORE STRUCTURE THEOREMS....................237
Chapter 26. Proof of the Copy Theorem....................239
Chapter 27. Pivot Arcs in the Even Case....................249
Chapter 28. Proof of the Pivot Theorem....................259
Chapter 29. Proof of the Period Theorem....................273
Chapter 30. Hovering Components....................279
Chapter 31. Proof of the Low Vertex Theorem....................287
Appendix....................295
Bibliography....................303
Index....................305
Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)