Plane Curves, Convex Curves, and Their Deformation
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Toponogov.V.A.Differential.Geometry
Victor Andreevich Toponogov with the editorial assistance of Vladimir Y. Rovenski Differential Geometry of Curves and Surfaces A Concise Guide Birkhauser¨ Boston • Basel • Berlin Victor A. Toponogov (deceased) With the editorial assistance of: Department of Analysis and Geometry Vladimir Y. Rovenski Sobolev Institute of Mathematics Department of Mathematics Siberian Branch of the Russian Academy University of Haifa of Sciences Haifa, Israel Novosibirsk-90, 630090 Russia Cover design by Alex Gerasev. AMS Subject Classification: 53-01, 53Axx, 53A04, 53A05, 53A55, 53B20, 53B21, 53C20, 53C21 Library of Congress Control Number: 2005048111 ISBN-10 0-8176-4384-2 eISBN 0-8176-4402-4 ISBN-13 978-0-8176-4384-3 Printed on acid-free paper. c 2006 Birkhauser¨ Boston All rights reserved. This work may not be translated or copied in whole or in part without the writ- ten permission of the publisher (Birkhauser¨ Boston, c/o Springer Science+Business Media Inc., 233 Spring Street, New York, NY 10013, USA) and the author, except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and re- trieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. Printed in the United States of America. (TXQ/EB) 987654321 www.birkhauser.com Contents Preface ....................................................... vii About the Author ............................................. -
Section 1.7B the Four-Vertex Theorem
Section 1.7B The Four-Vertex Theorem Matthew Hendrix Matthew Hendrix Section 1.7B The Four-Vertex Theorem Definition The integer I is called the rotation index of the curve α where I is an integer multiple of 2π; that is, Z 1 k(s) dt = θ(`) − θ(0) = 2πI 0 Definition 2 Let α : [0; `] ! R be a plane closed curve given by α(s) = (x(s); y(s)). Since s is the arc length, the tangent vector t(s) = (x0(s); y 0(s)) has unit length. The tangent indicatrix is 2 0 0 t : [0; `] ! R , which is given by t(s) = (x (s); y (s)); this is a differentiable curve, the trace of which is contained in the circle of radius 1. Matthew Hendrix Section 1.7B The Four-Vertex Theorem Definition 2 Let α : [0; `] ! R be a plane closed curve given by α(s) = (x(s); y(s)). Since s is the arc length, the tangent vector t(s) = (x0(s); y 0(s)) has unit length. The tangent indicatrix is 2 0 0 t : [0; `] ! R , which is given by t(s) = (x (s); y (s)); this is a differentiable curve, the trace of which is contained in the circle of radius 1. Definition The integer I is called the rotation index of the curve α where I is an integer multiple of 2π; that is, Z 1 k(s) dt = θ(`) − θ(0) = 2πI 0 Matthew Hendrix Section 1.7B The Four-Vertex Theorem Definition 2 A vertex of a regular plane curve α :[a; b] ! R is a point t 2 [a; b] where k0(t) = 0. -
Geometry of Curves
Appendix A Geometry of Curves “Arc, amplitude, and curvature sustain a similar relation to each other as time, motion and velocity, or as volume, mass and density.” Carl Friedrich Gauss The rest of this lecture notes is about geometry of curves and surfaces in R2 and R3. It will not be covered during lectures in MATH 4033 and is not essential to the course. However, it is recommended for readers who want to acquire workable knowledge on Differential Geometry. A.1. Curvature and Torsion A.1.1. Regular Curves. A curve in the Euclidean space Rn is regarded as a function r(t) from an interval I to Rn. The interval I can be finite, infinite, open, closed n n or half-open. Denote the coordinates of R by (x1, x2, ... , xn), then a curve r(t) in R can be written in coordinate form as: r(t) = (x1(t), x2(t),..., xn(t)). One easy way to make sense of a curve is to regard it as the trajectory of a particle. At any time t, the functions x1(t), x2(t), ... , xn(t) give the coordinates of the particle in n R . Assuming all xi(t), where 1 ≤ i ≤ n, are at least twice differentiable, then the first derivative r0(t) represents the velocity of the particle, its magnitude jr0(t)j is the speed of the particle, and the second derivative r00(t) represents the acceleration of the particle. As a course on Differential Manifolds/Geometry, we will mostly study those curves which are infinitely differentiable (i.e. -
ON the CURVATURES of a CURVE in RIEMANN SPACE*F
ON THE CURVATURES OF A CURVE IN RIEMANN SPACE*f BY E,. H. CUTLER Introduction. The curvature and torsion of a curve in ordinary space have three properties which it is the purpose of this paper to attempt to extend to the curvatures of a curve in Riemann space. First, if the curvature vanishes identically the curve is a straight line ; if the torsion vanishes identically the curve lies in a plane. Second, the distances of a point of the curve from the tangent line and the osculating plane at a nearby point are given approxi- mately by formulas involving the curvature and torsion. Third, the curva- ture of a curve at a point is the curvature of its projection on the osculating plane at the point. In extending to Riemann space we take as the Riemannian analogue of the line or plane, a geodesic space generated by geodesies through a point. Such a space possesses the property of the line or plane of being de- termined by the proper number of directions given at a point, but it will not in general have the three properties given above. On the other hand, if we take as the analogue of line or plane only totally geodesic spaces, then, if such osculating "planes" exist, the three properties will hold. Curves with a vanishing curvature. Given a curve C: xi = x'(s), i = l, •••,«, in a Riemann space Vn with fundamental tensor g,-,-(assumed defi- nite). Following BlaschkeJ we write the Frenet formulas for the curve. The « associate vectors are given by ¿x* dx' (1) Éi|' = —> fcl'./T" = &-i|4 ('=1. -
Symmetrization of Convex Plane Curves
Symmetrization of convex plane curves P. Giblin and S. Janeczko Abstract Several point symmetrizations of a convex curve Γ are introduced and one, the affinely invariant ‘cen- tral symmetric transform’ (CST) with respect to a given basepoint inside Γ, is investigated in detail. Examples for Γ include triangles, rounded triangles, ellipses, curves defined by support functions and piecewise smooth curves. Of particular interest is the region of basepoints for which the CST is convex (this region can be empty but its complement in the interior of Γ is never empty). The (local) boundary of this region can have cusps and in principle it can be determined from a geometrical construction for the tangent direction to the CST. MR Classification 52A10, 53A04 1 Introduction There are several ways in which a convex plane curve Γ can be transformed into one which is, in some sense, symmetric. Here are three possible constructions. PT Assume that Γ is at least C1. For each pair of parallel tangents of Γ construct two parallel lines with the same separation and the origin (or any other fixed point) equidistant from them. The resulting envelope, the parallel tangent transform, will be symmetric about the chosen fixed point. All choices of fixed point give the same transform up to translation. This construction is affinely invariant. A curve of constant width, where the separation of parallel tangent pairs is constant, will always transform to a circle. Another example is given in Figure 1(a). This construction can also be interpreted in the following way: Reflect Γ in the chosen fixed point 1 to give Γ∗ say. -
One-Dimensional Projective Structures, Convex Curves and the Ovals of Benguria & Loss
published version: Comm. Math. Phys. 336 (2015), 933-952 One-dimensional Projective Structures, Convex Curves and the Ovals of Benguria & Loss JACOB BERNSTEIN AND THOMAS METTLER ABSTRACT. Benguria and Loss have conjectured that, amongst all smooth closed curves in R2 of length 2, the lowest possible eigenvalue of the op- erator L 2 is 1. They observed that this value was achieved on a D C two-parameter family, O, of geometrically distinct ovals containing the round circle and collapsing to a multiplicity-two line segment. We characterize the curves in O as absolute minima of two related geometric functionals. We also discuss a connection with projective differential geometry and use it to explain the natural symmetries of all three problems. 1. Introduction In[ 1], Benguria and Loss conjectured that for any, , a smooth closed curve in R2 2 of length 2, the lowest eigenvalue, , of the operator L satisfied D C 1 1. That is, they conjectured that for all such and all functions f H ./, 2 Z Z 2 2 2 2 (1.1) f f ds f ds; jr j C where f is the intrinsic gradient of f , is the geodesic curvature and ds is the lengthr element. This conjecture was motivated by their observation that it was equivalent to a certain one-dimensional Lieb-Thirring inequality with conjectured sharp constant. They further observed that the above inequality is saturated on a two-parameter family of strictly convex curves which contains the round circle and degenerates into a multiplicity-two line segment. The curves in this family look like ovals and so we call them the ovals of Benguria and Loss and denote the family by 1 O. -
Asymptotic Approximation of Convex Curves
Asymptotic Approximation of Convex Curves Monika Ludwig Abstract. L. Fejes T´othgave asymptotic formulae as n → ∞ for the distance between a smooth convex disc and its best approximating inscribed or circumscribed polygons with at most n vertices, where the distance is in the sense of the symmetric difference metric. In this paper these formulae are extended by specifying the second terms of the asymptotic expansions. Tools are from affine differential geometry. 1 Introduction 2 i Let C be a closed convex curve in the Euclidean plane IE and let Pn(C) be the set of all convex polygons with at most n vertices that are inscribed in C. We i measure the distance of C and Pn ∈ Pn(C) by the symmetric difference metric δS and study the asymptotic behaviour of S i S i δ (C, Pn) = inf{δ (C, Pn): Pn ∈ Pn(C)} S c as n → ∞. In case of circumscribed polygons the analogous notion is δ (C, Pn). For a C ∈ C2 with positive curvature function κ(t), the following asymptotic formulae were given by L. Fejes T´oth [2], [3] Z l !3 S i 1 1/3 1 δ (C, Pn) ∼ κ (t)dt as n → ∞ (1) 12 0 n2 and Z l !3 S c 1 1/3 1 δ (C, Pn) ∼ κ (t)dt as n → ∞, (2) 24 0 n2 where t is the arc length and l the length of C. Complete proofs of these results are due to D. E. McClure and R. A. Vitale [9]. In this article we extend these asymptotic formulae by deriving the second terms in the asymptotic expansions. -
Appendix Computer Formulas ▼
▲ Appendix Computer Formulas ▼ The computer commands most useful in this book are given in both the Mathematica and Maple systems. More specialized commands appear in the answers to several computer exercises. For each system, we assume a famil- iarity with how to access the system and type into it. In recent versions of Mathematica, the core commands have generally remained the same. By contrast, Maple has made several fundamental changes; however most older versions are still recognized. For both systems, users should be prepared to adjust for minor changes. Mathematica 1. Fundamentals Basic features of Mathematica are as follows: (a) There are no prompts or termination symbols—except that a final semicolon suppresses display of the output. Input (new or old) is acti- vated by the command Shift-return (or Shift-enter), and the input and resulting output are numbered. (b) Parentheses (. .) for algebraic grouping, brackets [. .] for arguments of functions, and braces {. .} for lists. (c) Built-in commands typically spelled in full—with initials capitalized— and then compressed into a single word. Thus it is preferable for user- defined commands to avoid initial capitals. (d) Multiplication indicated by either * or a blank space; exponents indi- cated by a caret, e.g., x^2. For an integer n only, nX = n*X,where X is not an integer. 451 452 Appendix: Computer Formulas (e) Single equal sign for assignments, e.g., x = 2; colon-equal (:=) for deferred assignments (evaluated only when needed); double equal signs for mathematical equations, e.g., x + y == 1. (f) Previous outputs are called up by either names assigned by the user or %n for the nth output. -
Lecture Note on Elementary Differential Geometry
Lecture Note on Elementary Differential Geometry Ling-Wei Luo* Institute of Physics, Academia Sinica July 20, 2019 Abstract This is a note based on a course of elementary differential geometry as I gave the lectures in the NCTU-Yau Journal Club: Interplay of Physics and Geometry at Department of Electrophysics in National Chiao Tung University (NCTU) in Spring semester 2017. The contents of remarks, supplements and examples are highlighted in the red, green and blue frame boxes respectively. The supplements can be omitted at first reading. The basic knowledge of the differential forms can be found in the lecture notes given by Dr. Sheng-Hong Lai (NCTU) and Prof. Jen-Chi Lee (NCTU) on the website. The website address of Interplay of Physics and Geometry is http: //web.it.nctu.edu.tw/~string/journalclub.htm or http://web.it.nctu. edu.tw/~string/ipg/. Contents 1 Curve on E2 ......................................... 1 2 Curve in E3 .......................................... 6 3 Surface theory in E3 ..................................... 9 4 Cartan’s moving frame and exterior differentiation methods .............. 31 1 Curve on E2 We define n-dimensional Euclidean space En as a n-dimensional real space Rn equipped a dot product defined n-dimensional vector space. Tangent vector In 2-dimensional Euclidean space, an( E2 plane,) we parametrize a curve p(t) = x(t); y(t) by one parameter t with re- spect to a reference point o with a fixed Cartesian coordinate frame. The( velocity) vector at point p is given by p_ (t) = x_(t); y_(t) with the norm Figure 1: A curve. p p jp_ (t)j = p_ · p_ = x_ 2 +y _2 ; (1) *Electronic address: [email protected] 1 where x_ := dx/dt. -
Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere
UC San Diego UC San Diego Electronic Theses and Dissertations Title Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere Permalink https://escholarship.org/uc/item/7gt6c9nw Author Louie, Janelle Publication Date 2014 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA, SAN DIEGO Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Janelle Louie Committee in charge: Professor Bennett Chow, Chair Professor Kenneth Intriligator Professor Elizabeth Jenkins Professor Lei Ni Professor Jeffrey Rabin 2014 Copyright Janelle Louie, 2014 All rights reserved. The dissertation of Janelle Louie is approved, and it is ac- ceptable in quality and form for publication on microfilm and electronically: Chair University of California, San Diego 2014 iii TABLE OF CONTENTS Signature Page.................................. iii Table of Contents................................. iv List of Figures..................................v Acknowledgements................................ vi Vita........................................ vii Abstract of the Dissertation........................... viii Chapter 1 Introduction............................1 1.1 Previous work and background...............2 1.2 Results and outline of the thesis..............4 Chapter 2 Preliminaries...........................6 2.1 -
Introduction to the Local Theory of Curves and Surfaces
Introduction to the Local Theory of Curves and Surfaces Notes of a course for the ICTP-CUI Master of Science in Mathematics Marco Abate, Fabrizio Bianchi (with thanks to Francesca Tovena) (Much more on this subject can be found in [1]) CHAPTER 1 Local theory of curves Elementary geometry gives a fairly accurate and well-established notion of what is a straight line, whereas is somewhat vague about curves in general. Intuitively, the difference between a straight line and a curve is that the former is, well, straight while the latter is curved. But is it possible to measure how curved a curve is, that is, how far it is from being straight? And what, exactly, is a curve? The main goal of this chapter is to answer these questions. After comparing in the first two sections advantages and disadvantages of several ways of giving a formal definition of a curve, in the third section we shall show how Differential Calculus enables us to accurately measure the curvature of a curve. For curves in space, we shall also measure the torsion of a curve, that is, how far a curve is from being contained in a plane, and we shall show how curvature and torsion completely describe a curve in space. 1.1. How to define a curve n What is a curve (in a plane, in space, in R )? Since we are in a mathematical course, rather than in a course about military history of Prussian light cavalry, the only acceptable answer to such a question is a precise definition, identifying exactly the objects that deserve being called curves and those that do not. -
Isoptics of a Closed Strictly Convex Curve. - II Rendiconti Del Seminario Matematico Della Università Di Padova, Tome 96 (1996), P
RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA W. CIESLAK´ A. MIERNOWSKI W. MOZGAWA Isoptics of a closed strictly convex curve. - II Rendiconti del Seminario Matematico della Università di Padova, tome 96 (1996), p. 37-49 <http://www.numdam.org/item?id=RSMUP_1996__96__37_0> © Rendiconti del Seminario Matematico della Università di Padova, 1996, tous droits réservés. L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Isoptics of a Closed Strictly Convex Curve. - II. W. CIE015BLAK (*) - A. MIERNOWSKI (**) - W. MOZGAWA(**) 1. - Introduction. ’ This article is concerned with some geometric properties of isoptics which complete and deepen the results obtained in our earlier paper [3]. We therefore begin by recalling the basic notions and necessary results concerning isoptics. An a-isoptic Ca of a plane, closed, convex curve C consists of those points in the plane from which the curve is seen under the fixed angle .7r - a. We shall denote by C the set of all plane, closed, strictly convex curves. Choose an element C and a coordinate system with the ori- gin 0 in the interior of C. Let p(t), t E [ 0, 2~c], denote the support func- tion of the curve C.