SUPERFACES. 2.3 Ruled Surfaces

Total Page:16

File Type:pdf, Size:1020Kb

SUPERFACES. 2.3 Ruled Surfaces CURVES AND SURFACES, S.L. Rueda SUPERFACES. 2.3 Ruled Surfaces CURVES AND SURFACES, S.L. Rueda DefinitionA ruled surface S, is a surface that contains at least one unipara- metric family of lines. That is, it admits a parametrization of the next kind 2 3 α : D ⊆ R −! R α(u; v) = γ(u) + v!(u); where γ(u) and !(u) are curves in R3. A parametrization which is linear in one of the parameters (in this case v) it is called a ruled parametrization. The curve γ(u) is called directrix or base curve. The surface contains an infinite family of lines moving along the directrix. For each value of the pa- rameter u = u0, we have a line γ(u0) + v!(u0) that will be called generatrix. CURVES AND SURFACES, S.L. Rueda Let us suppose that γ0(u) =6 0 and !(u) =6 0 for every u. Examples ELLIPTIC CYLINDER CONE x2 z2 2 2 2 4 + 9 = 1; α(u; v) = x + z = y ; α(u; v) = (2cos(u); 0; 3 sin(u))+ v(0; 1; 0) (cos(u); 1; sin(u))+ v(−cos(u); −1; − sin(u)) (u; v) 2 [0; 2π] × [0; 1] (u; v) 2 [0; 2π] × [0; 2] CURVES AND SURFACES, S.L. Rueda x2 y2 z2 Hiperboloid of one sheet a2 + b2 − c2 = 1. This a doubly ruled surface. It admits two ruled parametrizations, 0 α(u; v) = γ(u) + v(±γ (u) + (0; 0; c)); (u; v) 2 [0; 2π) × R; x2 y2 γ(u) = (acos(u); b sen(u); 0) is a parametrization of the ellipse a2 + b2 = 1. If a = 2, b = 3, c = 5 and v 2 [−1; 1] we have: CURVES AND SURFACES, S.L. Rueda Plucker¨ Conoid Given by the ruled parametrization α(u; v) = (0; 0; sen(2u)) + v(cos(u); sen(u); 0); (u; v) 2 [0; 2π) × R: If v 2 [0; 2] we have: CURVES AND SURFACES, S.L. Rueda Mobius¨ Strip Given by the ruled parametrization u u u α(u; v) = (cos(u); sen(u); 0) + v(cos cos(u); cos sen(u); sen ); 2 2 2 (u; v) 2 [0; 2π) × R: If v 2 [0; 2] we have: u 2 [0; π=4] u 2 [0; π] u 2 [0; 2π] u 2 [0; 3π] u 2 [0; 4π] CURVES AND SURFACES, S.L. Rueda 2.3.1 Curvature of a ruled surface The Gauss or total curvature of a ruled surface is always less than or equal to zero. Let us check that −f 2 [γ0(u);!(u);!0(u)]2 K(u; v) = 2 = − 4 ≤ 0: EG − F jjαu(u; v) ^ αv(u; v)jj Thus, the points of a ruled surface are all hyperbolic or parabolic (in parti- cular planar points). Definition We call distribution parameter to the value of the triple product (also called mixed or box product) p(u) = [γ0(u);!(u);!0(u)]: CURVES AND SURFACES, S.L. Rueda If p(u) = 0 then K(u; v) = 0 and the point P = α(u; v) is a parabolic point ( or planar point), for every v. At such point, one of the principal curvatures is zero, therefore the asymptotic directions are directions of maximal or minimal curvature. If p(u) =6 0 then K(u; v) < 0 and the point P = α(u; v) is a hyperbolic point, for every v. At such point one of the principal curvatures is positive and the other is negative. CURVES AND SURFACES, S.L. Rueda 2.3.2 Classification if ruled surfaces Definition A surface S (not necessarily ruled) is a planar surface if its Gauss curvature is zero at every point. Such surfaces are called developable sur- faces and they can be constructed bending a sheet of paper. Therefore, a ruled surface S is developable , f = 0 , p(u) = 0: Otherwise S is non-developable. Ruled developable surfaces: cylinders, cones... CURVES AND SURFACES, S.L. Rueda Classification of ruled developable surfaces Being p(u) = [γ0(u);!(u);!0(u)] = 0 in this case, we have several possibili- ties: If !0(u) = 0 then !(u) = ! is constant and the surface is called generali- zed cylinder. If γ0(u) ^ ! =6 0 (γ0(u) and ! are not parallel), then 0 αu ^ αv γ (u) ^ ! N(u; v) = 0 ; jjαu ^ αvjj jjγ (u) ^ !jj which is a vector depending on v. Thus, the direction of the tangent plane is constante along a generatrix (fixing u = u0). CURVES AND SURFACES, S.L. Rueda The ruled surface S parametrized by α(u; v) = (2cos(u); 0; 3 sen(u)) + v(2; 1; −5) is a generalized cylinder. The tangent plane to S at points of one generatrix α(P i; v) is 3+x−3y = 0. CURVES AND SURFACES, S.L. Rueda If γ0(u) = 0 then γ(u) = γ is constant (it is a point), and the surface is called generalized cone. If !0(u) ^ ! =6 0 (!0(u) and ! are not parallel), then v!0(u) ^ !(u) !0(u) ^ !(u) N(u; v) = ; jjv!0(u) ^ !(u)jj jj!0(u) ^ !(u)jj which does not depend on v. Thus, the direction of the tangent plane is constant along a generatrix (fixing u = u0). The ruled surface parametrized by α(u; v) = (2; 0; 3) + v(u3; u; cos(u)); (u; v) 2 [0; 4π) × [0; 1] is a generali- zed cone. CURVES AND SURFACES, S.L. Rueda If !0(u) =6 0 and γ0(u) =6 0 then the condition p(u) = 0 implies that γ0(u), !(u) and !0(u) are in the same plane. Hence, the vectors γ0(u) ^ !(u) and !0(u) ^ !(u) are parallel. This means that the vector 0 0 αu ^ αv = (γ (u) ^ !(u)) + (v! (u) ^ !(u)) is proportional to the vector !0(u) ^ !(u), which does not depend on v. That is !0(u) ^ !(u) N(u; v) = ; jj!0(u) ^ !(u)jj does not depend on v. Therefore, the direction of the tangent plane is once more constant along one generatrix (fixing u = u0). We call this surface tangent developable. Observation In all the cases, if p(u) = 0 the tangent plane is the same for all points of a given generatrix. CURVES AND SURFACES, S.L. Rueda 2.3.3 Striction curve. Let S be the ruled surface parametrized by α(u; v) = γ(u) + v!(u); (u; v) 2 D: Definition We call striction curve of S to the curve (γ0(u) ^ !(u)) · (!0(u) ^ !(u)) β(u) = γ(u)− !(u): jj!0(u) ^ !(u)jj2 Assuming !0(u) ^ !(u) =6 0, the values of v for which 0 (αu(u; v) ^ αv(u; v)) · (! (u) ^ !(u)) = 0; verify (γ0(u) ^ !(u)) · (!0(u) ^ !(u)) v = ; jj!0(u) ^ !(u)jj they belong to the striction curve. CURVES AND SURFACES, S.L. Rueda Hence, the striction curve contains: The singular points, αu(u; v) ^ αv(u; v) = 0. 0 The points for which ! (u) ^ !(u) is orthogonal to the vector αu(u; v) ^ αv(u; v). Definition We call central points of S to the regular points that belong to the striction curve. The Gauss curvature [γ0(u);!(u);!0(u)]2 K(u; v) = − 4 ≤ 0: jjαu(u; v) ^ αv(u; v)jj 2 reaches its minimum value in the values of v for which jjαu(u; v) ^ αv(u; v)jj is minimal. CURVES AND SURFACES, S.L. Rueda Using that 0 0 αu(u; v) ^ αv(u; v) = γ (u) ^ !(u) + v(! (u) ^ !(u)): we obtain @jjα (u; v) ^ α (u; v)jj2 0 = u v = 2(!0(u) ^ !(u)) · (α (u; v) ^ α (u; v)) @v u v and therefore the minimum is obtained at the points of the striction line. Observation At the central points, the absolute value of the Gauss curvature jK(u; v)j is maximal. CURVES AND SURFACES, S.L. Rueda If the surface is tangent developable, the vectors γ0(u), !(u) and !0(u) are 0 coplanar. In this case, the vector ! (u) ^ !(u) is not orthogonal to αu(u; v) ^ αv(u; v). Thus, all the points in the striction curve are singular points. As they are coplanar, γ0(u) = λ(u)!(u) + µ(u)!0(u) and it turns out that (γ0(u) ^ !(u)) · (!0(u) ^ !(u)) µ(u) = : jj!0(u) ^ !(u)jj2 Definition In this case, we call edge of regression to the striction curve. β(u) = γ(u) − µ(u)!(u): CURVES AND SURFACES, S.L. Rueda If λ(u) = µ0(u) then β0(u) = 0 and the surface is generalized conic. If λ(u) =6 µ0(u). The vector !(u) is proportional to β0(u) and S is a tangent developable surface. We can parametrize the surface using the edge of regression: v α(u; v) = β(u) + β0(u): λ(u) − µ0(u).
Recommended publications
  • Parametric Modelling of Architectural Developables Roel Van De Straat Scientific Research Mentor: Dr
    MSc thesis: Computation & Performance parametric modelling of architectural developables Roel van de Straat scientific research mentor: dr. ir. R.M.F. Stouffs design research mentor: ir. F. Heinzelmann third mentor: ir. J.L. Coenders Computation & Performance parametric modelling of architectural developables MSc thesis: Computation & Performance parametric modelling of architectural developables Roel van de Straat 1041266 Delft, April 2011 Delft University of Technology Faculty of Architecture Computation & Performance parametric modelling of architectural developables preface The idea of deriving analytical and structural information from geometrical complex design with relative simple design tools was one that was at the base of defining the research question during the early phases of the graduation period, starting in September of 2009. Ultimately, the research focussed an approach actually reversely to this initial idea by concentrating on using analytical and structural logic to inform the design process with the aid of digital design tools. Generally, defining architectural characteristics with an analytical approach is of increasing interest and importance with the emergence of more complex shapes in the building industry. This also means that embedding structural, manufacturing and construction aspects early on in the design process is of interest. This interest largely relates to notions of surface rationalisation and a design approach with which initial design sketches can be transferred to rationalised designs which focus on a strong integration with manufacturability and constructability. In order to exemplify this, the design of the Chesa Futura in Sankt Moritz, Switzerland by Foster and Partners is discussed. From the initial design sketch, there were many possible approaches for surfacing techniques defining the seemingly freeform design.
    [Show full text]
  • 1 on the Design and Invariants of a Ruled Surface Ferhat Taş Ph.D
    On the Design and Invariants of a Ruled Surface Ferhat Taş Ph.D., Research Assistant. Department of Mathematics, Faculty of Science, Istanbul University, Vezneciler, 34134, Istanbul,Turkey. [email protected] ABSTRACT This paper deals with a kind of design of a ruled surface. It combines concepts from the fields of computer aided geometric design and kinematics. A dual unit spherical Bézier- like curve on the dual unit sphere (DUS) is obtained with respect the control points by a new method. So, with the aid of Study [1] transference principle, a dual unit spherical Bézier-like curve corresponds to a ruled surface. Furthermore, closed ruled surfaces are determined via control points and integral invariants of these surfaces are investigated. The results are illustrated by examples. Key Words: Kinematics, Bézier curves, E. Study’s map, Spherical interpolation. Classification: 53A17-53A25 1 Introduction Many scientists like mechanical engineers, computer scientists and mathematicians are interested in ruled surfaces because the surfaces are widely using in mechanics, robotics and some other industrial areas. Some of them have investigated its differential geometric properties and the others, its representation mathematically for the design of these surfaces. Study [1] used dual numbers and dual vectors in his research on the geometry of lines and kinematics in the 3-dimensional space. He showed that there 1 exists a one-to-one correspondence between the position vectors of DUS and the directed lines of space 3. So, a one-parameter motion of a point on DUS corresponds to a ruled surface in 3-dimensionalℝ real space. Hoschek [2] found integral invariants for characterizing the closed ruled surfaces.
    [Show full text]
  • OBJ (Application/Pdf)
    THE PROJECTIVE DIFFERENTIAL GEOMETRY OF RULED SURFACES A THESIS SUBMITTED TO THE FACULTY OF ATLANTA UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE BY WILLIAM ALBERT JONES, JR. DEPARTMENT OF MATHEMATICS ATLANTA, GEORGIA AUGUST 1949 t-lii f£l ACKNOWLEDGMENTS A special expression of appreciation is due Mr. C. B. Dansby, my advisor, whose wise tolerant counsel and broad vision have been of inestimable value in making this thesis a success. The Author ii TABLE OP CONTENTS Chapter Page I. INTRODUCTION 1 1. Historical Sketch 1 2. The General Aim of this Study. 1 3. Methods of Approach... 1 II. FUNDAMENTAL CONCEPTS PRECEDING THE STUDY OP RULED SURFACES 3 1. A Linear Space of n-dimens ions 3 2. A Ruled Surface Defined 3 3. Elements of the Theory of Analytic Surfaces 3 4. Developable Surfaces. 13 III. FOUNDATIONS FOR THE THEORY OF RULED SURFACES IN Sn# 18 1. The Parametric Vector Equation of a Ruled Surface 16 2. Osculating Linear Spaces of a Ruled Surface 22 IV. RULED SURFACES IN ORDINARY SPACE, S3 25 1. The Differential Equations of a Ruled Surface 25 2. The Transformation of the Dependent Variables. 26 3. The Transformation of the Parameter 37 V. CONCLUSIONS 47 BIBLIOGRAPHY 51 üi LIST OF FIGURES Figure Page 1. A Proper Analytic Surface 5 2. The Locus of the Tangent Lines to Any Curve at a Point Px of a Surface 10 3. The Developable Surface 14 4. The Non-developable Ruled Surface 19 5. The Transformed Ruled Surface 27a CHAPTER I INTRODUCTION 1.
    [Show full text]
  • Title CLAD HELICES and DEVELOPABLE SURFACES( Fulltext )
    CLAD HELICES AND DEVELOPABLE SURFACES( Title fulltext ) Author(s) TAKAHASHI,Takeshi; TAKEUCHI,Nobuko Citation 東京学芸大学紀要. 自然科学系, 66: 1-9 Issue Date 2014-09-30 URL http://hdl.handle.net/2309/136938 Publisher 東京学芸大学学術情報委員会 Rights Bulletin of Tokyo Gakugei University, Division of Natural Sciences, 66: pp.1~ 9 ,2014 CLAD HELICES AND DEVELOPABLE SURFACES Takeshi TAKAHASHI* and Nobuko TAKEUCHI** Department of Mathematics (Received for Publication; May 23, 2014) TAKAHASHI, T and TAKEUCHI, N.: Clad Helices and Developable Surfaces. Bull. Tokyo Gakugei Univ. Div. Nat. Sci., 66: 1-9 (2014) ISSN 1880-4330 Abstract We define new special curves in Euclidean 3-space which are generalizations of the notion of helices. Then we find a geometric invariant of a space curve which is related to the singularities of the special developable surface of the original curve. Keywords: cylindrical helices, slant helices, clad helices, g-clad helices, developable surfaces, singularities Department of Mathematics, Tokyo Gakugei University, 4-1-1 Nukuikita-machi, Koganei-shi, Tokyo 184-8501, Japan 1. Introduction In this paper we define the notion of clad helices and g-clad helices which are generalizations of the notion of helices. Then we can find them as geodesics on the tangent developable(cf., §3). In §2 we describe basic notions and properties of space curves. We review the classification of singularities of the Darboux developable of a space curve in §4. We introduce the notion of the principal normal Darboux developable of a space curve. Then we find a geometric invariant of a clad helix which is related to the singularities of the principal normal Darboux developable of the original curve.
    [Show full text]
  • Exploring Locus Surfaces Involving Pseudo Antipodal Points
    Proceedings of the 25th Asian Technology Conference in Mathematics Exploring Locus Surfaces Involving Pseudo Antipodal Points Wei-Chi YANG [email protected] Department of Mathematics and Statistics Radford University Radford, VA 24142 USA Abstract The discussions in this paper were inspired by a college entrance practice exam from China. It is extended to investigate the locus curve that involves a point on an ellipse and its pseudo antipodal point with respect to a xed point. With the help of technological tools, we explore 2D locus for some regular closed curves. Later, we investigate how a locus curve can be extended to the corresponding 3D locus surfaces on surfaces like ellipsoid, cardioidal surface and etc. Secondly, we use the de nition of a developable surface (including tangent developable surface) to construct the corresponding locus surface. It is well known that, in robotics, antipodal grasps can be achieved on curved objects. In addition, there are many applications already in engineering and architecture about the developable surfaces. We hope the discussions regarding the locus surfaces can inspire further interesting research in these areas. 1 Introduction Technological tools have in uenced our learning, teaching and research in mathematics in many di erent ways. In this paper, we start with a simple exam problem and with the help of tech- nological tools, we are able to turn the problem into several challenging problems in 2D and 3D. The visualization bene ted from exploration provides us crucial intuition of how we can analyze our solutions with a computer algebra system. Therefore, while implementing techno- logical tools to allow exploration in our curriculum is de nitely a must.
    [Show full text]
  • Approximation by Ruled Surfaces
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS ELSEVIER Journal of Computational and Applied Mathematics 102 (1999) 143-156 Approximation by ruled surfaces Horng-Yang Chen, Helmut Pottmann* Institut fiir Geometrie, Teehnische UniversiEit Wien, Wiedner Hauptstrafle 8-10, A-1040 Vienna, Austria Received 19 December 1997; received in revised form 22 May 1998 Abstract Given a surface or scattered data points from a surface in 3-space, we show how to approximate the given data by a ruled surface in tensor product B-spline representation. This leads us to a general framework for approximation in line space by local mappings from the Klein quadric to Euclidean 4-space. The presented algorithm for approximation by ruled surfaces possesses applications in architectural design, reverse engineering, wire electric discharge machining and NC milling. (~) 1999 Elsevier Science B.V. All rights reserved. Keywords." Computer-aided design; NC milling; Wire EDM; Reverse engineering; Line geometry; Ruled surface; Surface approximation I. Introduction Ruled surfaces are formed by a one-parameter set of lines and have been investigated extensively in classical geometry [6, 7]. Because of their simple generation, these surfaces arise in a variety of applications including CAD, architectural design [1], wire electric discharge machining (EDM) [12, 16] and NC milling with a cylindrical cutter. In the latter case and in wire EDM, when considering the thickness of the cutting wire, the axis of the moving tool runs on a ruled surface ~, whereas the tool itself generates under peripheral milling or wire EDM an offset of • (for properties of ruled surface offsets, see [11]). For all these applications the following question is interesting: Given a surface, how well may it be approximated by a ruled surface? In case of the existence of a sufficiently close fit, the ruled surface (or an offset of it in case of NC milling with a cylindrical cutter) may replace the original design in order to guarantee simplified production or higher accuracy in manufacturing.
    [Show full text]
  • 2 Regular Surfaces
    2 Regular Surfaces In this half of the course we approach surfaces in E3 in a similar way to which we considered curves. A parameterized surface will be a function1 x : U ! E3 where U is some open subset of the plane R2. Our purpose is twofold: 1. To be able to measure quantities such as length (of curves), angle (between curves on a surface), area using the parameterization space U. This requires us to create some method of taking tangent vectors to the surface and ‘pulling-back’ to U where we will perform our calculations.2 2. We want to find ways of defining and measuring the curvature of a surface. Before starting, we recall some of the important background terms and concepts from other classes. Notation Surfaces being functions x : U ⊆ R2 ! E3, we will preserve some of the notational differences between R2 and E3. Thus: • Co-ordinate points in the parameterization space U ⊂ R2 will be written as lower case letters or, more commonly, row vectors: for example p = (u, v) 2 R2. • Points in E3 will be written using capital letters and row vectors: for example P = (3, 4, 8) 2 E3. 2 • Vectors in E3 will be written bold-face or as column-vectors: for example v = −1 . p2 Sometimes it will be convenient to abuse notation and add a vector v to a point P, the result will be a new point P + v. Open Sets in Rn The domains of our parameterized functions will always be open 2 sets in R . These are a little harder to describe than open intervals rp in R: the definitions are here for reference.
    [Show full text]
  • Flecnodal and LIE-Curves of Ruled Surfaces
    Flecnodal and LIE-curves of ruled surfaces Dissertation Zur Erlangung des akademischen Grades Doktor rerum naturalium (Dr. rer. nat.) vorgelegt der Fakultät Mathematik und Naturwissenschaften der Technischen Universität Dresden von Ashraf Khattab geboren am 12. März 1971 in Alexandria Gutachter: Prof. Dr. G. Weiss, TU Dresden Prof. Dr. G. Stamou, Aristoteles Universität Thessaloniki Prof. Dr. W. Hanna, Ain Shams Universität Kairo Eingereicht am: 13.07.2005 Tag der Disputation: 25.11.2005 Acknowledgements I wish to express my deep sense of gratitude to my supervisor Prof. Dr. G. Weiss for suggesting this problem to me and for his invaluable guidance and help during this research. I am very grateful for his strong interest and steady encouragement. I benefit a lot not only from his intuition and readiness for discussing problems, but also his way of approaching problems in a structured way had a great influence on me. I would like also to thank him as he is the one who led me to the study of line geometry, which gave me an access into a large store of unresolved problems. I am also grateful to Prof. Dr. W. Hanna, who made me from the beginning interested in geometry as a branch of mathematics and who gave me the opportunity to come to Germany to study under the supervision of Prof. Dr. Weiss in TU Dresden, where he himself before 40 years had made his Ph.D. study. My thanks also are due to some people, without whose help the research would probably not have been finished and published: Prof. Dr.
    [Show full text]
  • Complex Algebraic Surfaces Class 12
    COMPLEX ALGEBRAIC SURFACES CLASS 12 RAVI VAKIL CONTENTS 1. Geometric facts about a geometrically ruled surface π : S = PC E → C from geometric facts about C 2 2. The Hodge diamond of a ruled surface 2 3. The surfaces Fn 3 3.1. Getting from one Fn to another by elementary transformations 4 4. Fun with rational surfaces (beginning) 4 Last day: Lemma: All rank 2 locally free sheaves are filtered nicely by invertible sheaves. Sup- pose E is a rank 2 locally free sheaf on a curve C. (i) There exists an exact sequence 0 → L → E → M → 0 with L, M ∈ Pic C. Terminol- ogy: E is an extension of M by L. 0 (ii) If h (E) ≥ 1, we can take L = OC (D), with D the divisor of zeros of a section of E. (Hence D is effective, i.e. D ≥ 0.) (iii) If h0(E) ≥ 2 and deg E > 0, we can assume D > 0. (i) is the most important one. We showed that extensions 0 → L → E → M → 0 are classified by H1(C, L ⊗ M ∗). The element 0 corresponded to a splitting. If one element is a non-zero multiple of the other, they correspond to the same E, although different extensions. As an application, we proved: Proposition. Every rank 2 locally free sheaf on P1 is a direct sum of invertible sheaves. I can’t remember if I stated the implication: Every geometrically ruled surface over P1 is isomorphic to a Hirzebruch surface Fn = PP1 (OP1 ⊕ OP1 (n)) for n ≥ 0. Date: Friday, November 8.
    [Show full text]
  • The Rectifying Developable and the Spherical Darboux Image of a Space Curve
    GEOMETRY AND TOPOLOGY OF CAUSTICS — CAUSTICS ’98 BANACH CENTER PUBLICATIONS, VOLUME 50 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1999 THE RECTIFYING DEVELOPABLE AND THE SPHERICAL DARBOUX IMAGE OF A SPACE CURVE SHYUICHIIZUMIYA Department of Mathematics, Hokkaido University Sapporo 060-0810, Japan E-mail: [email protected] HARUYO KATSUMI and TAKAKO YAMASAKI Department of Mathematics, Ochanomizu University Bunkyou-ku Otsuka Tokyo 112-8610, Japan Dedicated to the memory of Professor Yosuke Ogawa Abstract. In this paper we study singularities of certain surfaces and curves associated with the family of rectifying planes along space curves. We establish the relationships between singularities of these subjects and geometric invariants of curves which are deeply related to the order of contact with helices. 1. Introduction. There are several articles concerning singularities of the tangent developable (i.e., the envelope of osculating planes) and the focal developable (i.e., the envelope of normal planes) of a space curve ([3{12]). In these papers the relationships between singularities of these surfaces and classical geometric invariants of space curves have been studied. The notion of the distance-squared functions on space curves is useful for the study of singularities of focal developable [7, 10, 11]. For tangent developable, there are other techniques to study singularities [3{6, 8, 9]. The classical invariants of extrinsic differential geometry can be interpreted as \singularities" of these developable; however, the authors cannot find any article concerning singularities of the rectifying developable (i.e., the envelope of rectifying planes) of a space curve. The rectifying developable is an important surface in the following sense: the space curve γ is always a geodesic of the rectifying developable of itself (cf.
    [Show full text]
  • Changing Views on Curves and Surfaces Arxiv:1707.01877V2
    Changing Views on Curves and Surfaces Kathl´enKohn, Bernd Sturmfels and Matthew Trager Abstract Visual events in computer vision are studied from the perspective of algebraic geometry. Given a sufficiently general curve or surface in 3-space, we consider the image or contour curve that arises by projecting from a viewpoint. Qualitative changes in that curve occur when the viewpoint crosses the visual event surface. We examine the components of this ruled surface, and observe that these coincide with the iterated singular loci of the coisotropic hypersurfaces associated with the original curve or surface. We derive formulas, due to Salmon and Petitjean, for the degrees of these surfaces, and show how to compute exact representations for all visual event surfaces using algebraic methods. 1 Introduction Consider a curve or surface in 3-space, and pretend you are taking a picture of that object with a camera. If the object is a curve, you see again a curve in the image plane. For a surface, you see a region bounded by a curve, which is called image contour or outline curve. The outline is the natural sketch one might use to depict the surface, and is the projection of the critical points where viewing lines are tangent to the surface. In both cases, the image curve has singularities that arise from the projection, even if the original curve or surface is smooth. Now, let your camera travel along a path in 3-space. This path naturally breaks up into segments according to how the picture looks like. Within each segment, the picture looks alike, meaning that the topology and singularities of the image curve do not change.
    [Show full text]
  • Cylindrical Developable Mechanisms for Minimally Invasive Surgical Instruments
    Proceedings of the ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE2019 August 18-21, 2019, Anaheim, CA, USA DETC2019-97202 CYLINDRICAL DEVELOPABLE MECHANISMS FOR MINIMALLY INVASIVE SURGICAL INSTRUMENTS Kenny Seymour Jacob Sheffield Compliant Mechanisms Research Compliant Mechanisms Research Dept. of Mechanical Engineering Dept. of Mechanical Engineering Brigham Young University Brigham Young University Provo, Utah 84602 Provo, Utah 84602 [email protected] jacobsheffi[email protected] Spencer P. Magleby Larry L. Howell ∗ Compliant Mechanisms Research Compliant Mechanisms Research Dept. of Mechanical Engineering Dept. of Mechanical Engineering Brigham Young University Brigham Young University Provo, Utah, 84602 Provo, Utah, 84602 [email protected] [email protected] ABSTRACT Introduction Medical devices have been produced and developed for mil- Developable mechanisms conform to and emerge from de- lennia, and improvements continue to be made as new technolo- velopable, or specially curved, surfaces. The cylindrical devel- gies are adapted into the field. Developable mechanisms, which opable mechanism can have applications in many industries due are mechanisms that conform to or emerge from certain curved to the popularity of cylindrical or tube-based devices. Laparo- surfaces, were recently introduced as a new mechanism class [1]. scopic surgical devices in particular are widely composed of in- These mechanisms have unique behaviors that are achieved via struments attached at the proximal end of a cylindrical shaft. In simple motions and actuation methods. These properties may this paper, properties of cylindrical developable mechanisms are enable developable mechanisms to create novel hyper-compact discussed, including their behaviors, characteristics, and poten- medical devices. In this paper we discuss the behaviors, char- tial functions.
    [Show full text]