A Geometric Approach to Curvature Estimation on Triangulated 3D Shapes

Total Page:16

File Type:pdf, Size:1020Kb

A Geometric Approach to Curvature Estimation on Triangulated 3D Shapes A GEOMETRIC APPROACH TO CURVATURE ESTIMATION ON TRIANGULATED 3D SHAPES Mohammed Mostefa Mesmoudi, Leila De Floriani and Paola Magillo Department of Computer Science and Information Science (DISI), University of Genova Via Dodecaneso 35, 16146 Genova, Italy Keywords: Gaussian and mean curvatures, Surface meshes. Abstract: We present a geometric approach to define discrete normal, principal, Gaussian and mean curvatures, that we call Ccurvature. Our approach is based on the notion of concentrated curvature of a polygonal line and a simulation of rotation of the normal plane of the surface at a point. The advantages of our approach is its simplicity and its natural meaning. A comparison with widely-used discrete methods is presented. 1 INTRODUCTION define a discrete normal curvature of a polygonal sur- face at a vertex. We simulate the rotation of normal Curvature is one of the main important notions used planes to define principal curvatures and, thus, obtain to study the geometry and the topology of a surface. new discrete estimators for Gaussian and mean curva- In combinatorial geometry, many attempts to define a tures. We call all such curvatures Ccurvatures, since discrete equivalent of Gaussian and mean curvatures they are obtained as generalization to surfaces of the have been developed for polyhedral surfaces (Gatzke concept of concentrated curvature for polygonal lines and Grimm, 2006; Surazhsky et al., 2003). Dis- just introduced. The major advantage of this method crete approaches include smooth approximations of is the use of intrinsic properties of a discrete mesh to the surface using interpolation techniques (Hahmann define geometric features that have the same proper- et al., 2007), and approaches that deal directly with ties as the analytic methods. In this work, we also the mesh (Meyer et al., 2003; Taubin, 1995; Watanabe compare Gaussian and mean Ccurvatures with widely and Belyaev, 2001). All the methods are not satisfac- used discrete curvature estimators for analytic Gaus- tory in what concerns approximation errors, control, sian and mean curvatures and with concentrated cur- and convergence when refining a mesh (Borrelli et al., vature (according to Aleksandrov’s definition). 2003; Surazhsky et al., 2003; Xu, 2006). In the fifties, Aleksandrov introduced concen- trated curvature as an intrinsic curvature measure for polygonal surfaces (Aleksandrov, 1957). This tech- 2 BACKGROUND NOTIONS nique has been used in the geometric modeling com- munity under the name of angle defect method (Al- In this Section, we briefly review some fundamental boul et al., 2005; Akleman and Chen, 2006). Con- notions on curvature in the analytic case and on con- centrated curvature does not suffer from the problems centrated curvature. linked to errors and and their control, and satisfies a Let C be a smooth curve having parametric repre- discrete analogous version of the well known Gauss- sentation (c(t))t2R. The curvature k(p) of C at a point Bonnet theorem. However, Concentrated curvature p = c(t0) is given by depends weakly on the local geometric shape of the surface. 1 jc0(t) ^ c”(t)j Here, we use Aleksandrov’s idea to define con- k(p) = = ; r jc0(t)j3 centrated curvature for polygonal lines. We prove in such a case that concentrated curvature is an intrin- where r is called the curvature radius. Number r cor- sic measure that is expressed using only the fracture responds to the radius of the osculatory circle tangent angle of the polygonal line at its vertices. We then to C at p. 90 Mesmoudi M., De Floriani L. and Magillo P. (2010). A GEOMETRIC APPROACH TO CURVATURE ESTIMATION ON TRIANGULATED 3D SHAPES. In Proceedings of the International Conference on Computer Graphics Theory and Applications, pages 90-95 DOI: 10.5220/0002825900900095 Copyright c SciTePress A GEOMETRIC APPROACH TO CURVATURE ESTIMATION ON TRIANGULATED 3D SHAPES Let S be a smooth surface and P be a plane which The above discrete definition of curvature can be −! contains the unit normal vector np at a point p 2 S. justified as follows. The surface is assumed to have Plane P intersects S through a smooth curve C con- a conical shape at each of its vertices. Each cone is taining p with curvature k (p) at the point p called then approximated from its interior with a sphere S2 C −! r normal curvature. When P turns around np, curves of radius r, as shown in Figure 1(a). Following C vary. There are two extremal curvature values k1(p) ≤ k2(p) which bound the curvature values of all curves C. The corresponding curves C1 and C2 are orthogonal at point p (Do Carno, 1976). These extremal curvatures are called principal normal cur- −! vatures. Note that, if the normal vector np is on the same side as the osculatory circle, then the curvature value ki of curve Ci has a negative sign. Definition 1. The Gaussian curvature Kp and the (a) (b) mean curvature Hp at point p = f(x;y) are defined, respectively, as Figure 1: In (a), spheres tangent to a cone from it interior; in (b), parameters for computation. k (p) + k (p) K = k (p) ∗ k (p); H = 1 2 (1) p 1 2 p 2 the Gauss-Bonnet theorem, the spherical cap approx- imating the cone has a total curvature which is equal The formula defining H turns out to be the mean p to 2p−Q, where Q is the angle of the cone at its apex. of all values of normal curvatures at point p. Gaus- This quantity does not depend on the radius of sphere sian and mean curvatures depend strongly on the (lo- S2 by which we approach the cone and hence 2p−Q cal) geometrical shape of the surface. We will see that r p is an intrinsic value for the surface at vertex p. This this property is relaxed for concentrated curvature. A remarkable property fully justifies the name concen- remarkable property of Gaussian curvature is given trated curvature. by the Gauss-Bonnet Theorem, which relates the ge- The local shape of the surface does not play a ometry of a surface, given by the Gaussian curvature, role here, unlike in the analytic case, where Gaus- to its topology, given by its Euler characteristic (see sian curvature is strongly dependent of the local sur- (Do Carno, 1976)). face shape. Concentrated curvature satisfies a discrete A singular flat surface is a surface endowed with a equivalent of the Gauss-Bonnet theorem (Akleman metric such that each point of the surface has a neigh- and Chen, 2006). borhood which is either isometric to a Euclidean disc or a cone of angle Q 6= 2p at its apex. Points satis- fying this latter property are called singular conical points. Any piecewise linear triangulated surface has 3 CCURVATURE FOR a structure of a singular flat surface. All vertices with POLYGONAL CURVES a total angle different from 2p (or p for boundary ver- tices) are singular conical points. As shown below, In this Section, we use the concentrated curvature the Gaussian curvature is accumulated at these points principle to define a concentrated curvature for polyg- so that the Gauss-Bonnet formula holds. onal curves. In this way, we can define principal con- Let S be a (piecewise linear) triangulated sur- centrated curvatures for a triangulated surface and fol- face and let p be a vertex of the triangle mesh. Let low the same construction, used in Section 2 for an- D1;··· ;Dn be the triangles incident at p such that Di alytic mean and Gaussian curvatures, to define simi- and Di+1 are edge-adjacent. If ai, bi are the vertices larly new discrete curvature estimators. We will call of triangle Di different from p, then the total angle Qp them Ccurvatures. The initial C is a shortcut for “con- n at p is given by Qp = ∑i=1 a[iPbi centrated”. We will show also that Ccurvature does Definition 2. (Aleksandrov, 1957; Troyanov, 1986) not suffer from convergence problems. Let C be a simple polygonal curve in the three- The concentrated Gaussian curvature KC2(p), at a vertex p of the triangulated surface, is the value dimensional Euclidean space. Let p be a vertex on C and a, b its two neighbors on C. Points a, b and p define a plane P. If the angle g = apbd is equal to p, 2p − Qp if p is an interior vertex, and KC2(p) = then the curvature value k(p) of C is 0. Otherwise, let p − Qp if p is a boundary vertex. Sr ⊂ P be a circle of any radius r > 0 tangent C at two 91 GRAPP 2010 - International Conference on Computer Graphics Theory and Applications points u 2 [p;a] and v 2 [p;b] (see Figure 2(a)). defined by the average of the normal vectors of the triangles incident in p. Let P be a plane passing by p and containing the normal vector −!n . This plane cuts surface S along a polygonal curve C = S \ P con- taining point p. We compute the Ccurvature kC(p) at point p of curve C as described in Section 3. Note that the position of the normal vector −!n with respect to the polygonal curve C should be taken into account. If the normal vector −!n and the polygonal curve C lie in two different half planes (or equivalently they are separated by the “tangent” plane Tp whose normal vector is −!n , see Figure 3), then the angle g of C at (a) (b) p is smaller than p and the Ccurvature value p − g is Figure 2: In (a), circles tangent to the sector from it interior.
Recommended publications
  • Curvatures of Smooth and Discrete Surfaces
    Curvatures of Smooth and Discrete Surfaces John M. Sullivan Abstract. We discuss notions of Gauss curvature and mean curvature for polyhedral surfaces. The discretizations are guided by the principle of preserving integral relations for curvatures, like the Gauss/Bonnet theorem and the mean-curvature force balance equation. Keywords. Discrete Gauss curvature, discrete mean curvature, integral curvature rela- tions. The curvatures of a smooth surface are local measures of its shape. Here we con- sider analogous quantities for discrete surfaces, meaning triangulated polyhedral surfaces. Often the most useful analogs are those which preserve integral relations for curvature, like the Gauss/Bonnet theorem or the force balance equation for mean curvature. For sim- plicity, we usually restrict our attention to surfaces in euclidean three-space E3, although some of the results generalize to other ambient manifolds of arbitrary dimension. This article is intended as background for some of the related contributions to this volume. Much of the material here is not new; some is even quite old. Although some references are given, no attempt has been made to give a comprehensive bibliography or a full picture of the historical development of the ideas. 1. Smooth curves, framings and integral curvature relations A companion article [Sul08] in this volume investigates curves of finite total curvature. This class includes both smooth and polygonal curves, and allows a unified treatment of curvature. Here we briefly review the theory of smooth curves from the point of view we arXiv:0710.4497v1 [math.DG] 24 Oct 2007 will later adopt for surfaces. The curvatures of a smooth curve γ (which we usually assume is parametrized by its arclength s) are the local properties of its shape, invariant under euclidean motions.
    [Show full text]
  • Normal Curvature of Surfaces in Space Forms
    Pacific Journal of Mathematics NORMAL CURVATURE OF SURFACES IN SPACE FORMS IRWEN VALLE GUADALUPE AND LUCIO LADISLAO RODRIGUEZ Vol. 106, No. 1 November 1983 PACIFIC JOURNAL OF MATHEMATICS Vol. 106, No. 1, 1983 NORMAL CURVATURE OF SURFACES IN SPACE FORMS IRWEN VALLE GUADALUPE AND LUCIO RODRIGUEZ Using the notion of the ellipse of curvature we study compact surfaces in high dimensional space forms. We obtain some inequalities relating the area of the surface and the integral of the square of the norm of the mean curvature vector with topological invariants. In certain cases, the ellipse is a circle; when this happens, restrictions on the Gaussian and normal curvatures give us some rigidity results. n 1. Introduction. We consider immersions /: M -> Q c of surfaces into spaces of constant curvature c. We are going to relate properties of the mean curvature vector H and of the normal curvature KN to geometric properties, such as area and rigidity of the immersion. We use the notion of the ellipse of curvature studied by Little [10], Moore and Wilson [11] and Wong [12]. This is the subset of the normal space defined as (α(X, X): X E TpM, \\X\\ — 1}, where a is the second fundamental form of the immersion and 11 11 is the norm of the vectors. Let χ(M) denote the Euler characteristic of the tangent bundle and χ(N) denote the Euler characteristic of the plane bundle when the codimension is 2. We prove the following generalization of a theorem of Wintgen [13]. n THEOREM 1. Let f\M-*Q cbean isometric immersion of a compact oriented surf ace into an orientable n-dimensional manifold of constant curva- ture c.
    [Show full text]
  • Differential Geometry Motivation
    (Discrete) Differential Geometry Motivation • Understand the structure of the surface – Properties: smoothness, “curviness”, important directions • How to modify the surface to change these properties • What properties are preserved for different modifications • The math behind the scenes for many geometry processing applications 2 Motivation • Smoothness ➡ Mesh smoothing • Curvature ➡ Adaptive simplification ➡ Parameterization 3 Motivation • Triangle shape ➡ Remeshing • Principal directions ➡ Quad remeshing 4 Differential Geometry • M.P. do Carmo: Differential Geometry of Curves and Surfaces, Prentice Hall, 1976 Leonard Euler (1707 - 1783) Carl Friedrich Gauss (1777 - 1855) 5 Parametric Curves “velocity” of particle on trajectory 6 Parametric Curves A Simple Example α1(t)() = (a cos(t), a s(sin(t)) t t ∈ [0,2π] a α2(t) = (a cos(2t), a sin(2t)) t ∈ [0,π] 7 Parametric Curves A Simple Example α'(t) α(t))( = (cos(t), s in (t)) t α'(t) = (-sin(t), cos(t)) α'(t) - direction of movement ⏐α'(t)⏐ - speed of movement 8 Parametric Curves A Simple Example α2'(t) α1'(t) α (t)() = (cos(t), sin (t)) t 1 α2(t) = (cos(2t), sin(2t)) Same direction, different speed 9 Length of a Curve • Let and 10 Length of a Curve • Chord length Euclidean norm 11 Length of a Curve • Chord length • Arc length 12 Examples y(t) x(t) • Straight line – x(t)=() = (t,t), t∈[0,∞) – x(t) = (2t,2t), t∈[0,∞) – x(t) = (t2,t2), t∈[0,∞) x(t) • Circle y(t) – x(t) = (cos(t),sin(t)), t∈[0,2π) x(t) x(t) 13 Examples α(t) = (a cos(t), a sin(t)), t ∈ [0,2π] α'(t) = (-a sin(t), a cos(t)) Many
    [Show full text]
  • Characteristic Properties of the Ruled Surface with Darboux Frame in 3
    Kuwait J. Sci. 42 (2) pp. 14-33, 2015 Characteristic properties of the ruled surface with Darboux frame in E3 GÜLSÜM YELİZ ŞENTÜRK* AND SALİM YÜCE** *[email protected], **[email protected] Faculty of Arts and Sciences, Department of Mathematics Yıldız Technical University, Istanbul, 34220, TURKEY Corresponding author:[email protected] ABSTRACT In this study, the ruled surface with Darboux frame is defined. Then, the ruled surfaces characteristic properties which are related to the geodesic curvature, the normal curvature and the geodesic torsion are investigated. The relation between the Darboux frame and the Frenet frame on the ruled surface is presented. Moreover, some theorems about the pitch and the angle of the pitch which are the integral invariants of the ruled surface with darboux frame are given. Mathematics Subject Classification (2010):53A05,53A15 Keywords: Ruled surface; Darboux frame; integral invariants. INTRODUCTION In differential geometry, ruled surface is a special type of surface, which can be defined by choosing a curve and a line along that curve. The ruled surfaces are one of the easiest of all surfaces to parametrize. These surface were found and investigated by Gaspard Monge who established the partial differential equation that satisfies all ruled surface. Hlavaty (1945) and Hoschek (1973) also investigated ruled surfaces which are formed by one parameter set of lines. In addition, H. R. Müller (1978) showed that the pitch of closed ruled surfaces are integral invariants. From past to today, many properties of the ruled surface and their integral invariants have been examined in Euclidean and non-Euclidean spaces; for example in (Ravani & Ku, 1991; Hacısalihoğlu, 1994; Sarıoğlugil & Tutar 2007; Gray et al., 2006; Aydemir & Kasap, 2005).
    [Show full text]
  • DIFFERENTIAL GEOMETRY: a First Course in Curves and Surfaces
    DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces Preliminary Version Summer, 2016 Theodore Shifrin University of Georgia Dedicated to the memory of Shiing-Shen Chern, my adviser and friend c 2016 Theodore Shifrin No portion of this work may be reproduced in any form without written permission of the author, other than duplication at nominal cost for those readers or students desiring a hard copy. CONTENTS 1. CURVES.................... 1 1. Examples, Arclength Parametrization 1 2. Local Theory: Frenet Frame 10 3. SomeGlobalResults 23 2. SURFACES: LOCAL THEORY . 35 1. Parametrized Surfaces and the First Fundamental Form 35 2. The Gauss Map and the Second Fundamental Form 44 3. The Codazzi and Gauss Equations and the Fundamental Theorem of Surface Theory 57 4. Covariant Differentiation, Parallel Translation, and Geodesics 66 3. SURFACES: FURTHER TOPICS . 79 1. Holonomy and the Gauss-Bonnet Theorem 79 2. An Introduction to Hyperbolic Geometry 91 3. Surface Theory with Differential Forms 101 4. Calculus of Variations and Surfaces of Constant Mean Curvature 107 Appendix. REVIEW OF LINEAR ALGEBRA AND CALCULUS . 114 1. Linear Algebra Review 114 2. Calculus Review 116 3. Differential Equations 118 SOLUTIONS TO SELECTED EXERCISES . 121 INDEX ................... 124 Problems to which answers or hints are given at the back of the book are marked with an asterisk (*). Fundamental exercises that are particularly important (and to which reference is made later) are marked with a sharp (]). June, 2016 CHAPTER 1 Curves 1. Examples, Arclength Parametrization 3 Ck We say a vector function fW .a; b/ ! R is (k D 0; 1; 2; : : :) if f and its first k derivatives, f0, f00,..., f.k/, exist and are all continuous.
    [Show full text]
  • Surface Interrogation Using Curvatures
    Homework 1 : Surface Interrogation using Curvatures Siddhant Prakash, 1211092724 September 22, 2016 1 Problem Specification The homework is to explore surface interrogation with the help of various kinds of curvatures. According to Patrikalakis and Maekawa 1, \Interrogation is the process of extraction of information from a geometric model." There are numer- ous ways to extract information from a geometric models. We will be trying to do the same using surface curvatures. These come under the second-order interrogation methods as classified by 1. The task is to use the Gaussian, Mean, RMS and Absolute curvatures 2 3 4 5 for surface interrogation. After the homework, we should be able to tell the effectiveness of each cur- vatures in evaluating the shapes. We should be able to have an idea about which kind of curvature is best suited for which kind of surfaces. Thus, we need to explore the strengths and weaknesses of each curvature measures, specific to various kind of surfaces. 2 Curvatures Before getting into the nuances of shape interrogation using curvatures, let us know what do we mean by curvatures. A curvature is a generic term used to describe the difference in properties of an geometric object compared to a standard set of objects which are considered to be flat 6. It comprises of various measurable characteristic which can be used to tell two objects apart, in our case a curved surface from a plane. Let us understand the curvature for a surface in detail. 2.1 Surface Curvature If we take a two-dimensional surface in a 3-dimensional space, and draw a one- dimensional curve on it, we can measure the curvatures of the curve using various curvature measures.
    [Show full text]
  • Differential Geometry of Three Dimensions
    DIFFERENTIAL GEOMETRY OF THREE DIMENSIONS DIFFERENTIAL GEOMETRY OF THREE DIMENSIONS By G. E. "WEATHERBURN, M.A., D.Sc., LL.D. EMERITUS PROFESSOR 07 MATHEMATICS UNIVERSITY OF WESTERN AUSTRALIA. VOLUME I CAMBRIDGE AT THE UNIVERSITY PRESS 1955 V, PUBLISHED BY THB SYNDICS OF THE CAMBRIDGE UNIVERSITY PRESS London Office Bentiey House, N.W. I American Branch New York Agents for Canada,, India, and Pakistan' Maximilian First Edition 1927 Reprinted 1931 1939 1947 1955 First printed in Great Britain at The University Press, Cambridge Eeprmted by Spottwwoode, Sattantyne <b Co., Ltd , Colchester PEEFAOE TO THE FOURTH IMPRESSION present impression is substantially a reprint of the original THEwork. Since the book was first published a few errors have been corrected, and one or two paragraphs rewritten. Among the friends and correspondents who kindly drew my attention to desirable changes were Mr A S. Ramsey of Magdaler-e College, Cambridge, who suggested the revision of 5, and the late R J. A Barnard of Melbourne University, whose mfluence was partly responsible for my initial interest in the subject. The demand for the book, since its first appearance twenty years ago, has justified the writer's belief in the need for such a vectonal treatment. By the use of vector methods the presentation of the subject is both simplified and condensed, and students are encouraged to reason geometrically rather than analytically. At a later stage some of these students will proceed to the study of multidimensional differential geometry and the tensor calculus. It is highly desirable that the study of the geometry of Euclidean 3-space should thus come first, and this can be undertaken with most students at an earlier stage by vector methods than by the Ricci calculus.
    [Show full text]
  • Differential Geometry
    Differential Geometry Andrew Kobin Spring 2015 Contents Contents Contents 0 Introduction 1 1 Curves 3 1.1 Parametrized Differentiable Curves . .3 1.2 Finding a Parametrization . .6 1.3 Parametrization by Arc Length . 10 1.4 Curvature . 11 1.5 Curvature in R3 .................................. 14 2 Surfaces 21 2.1 The Unit Sphere . 21 2.2 Regular Surfaces . 23 2.3 Differentiable Functions on Surfaces . 30 2.4 Tangent Spaces . 33 2.5 First Fundamental Form . 37 3 Curvature of Surfaces 40 3.1 The Gauss Map . 40 3.2 Types of Curvature . 44 3.3 Second Fundamental Form . 46 3.4 Gaussian Curvature and Area . 50 4 Intrinsic Geometry 51 4.1 Isometries . 51 4.2 Christoffel Symbols and Gauss' Theorema Egregium . 58 4.3 Geodesics and the Covariant Derivative . 62 4.4 The Gauss-Bonnet Theorem . 71 i 0 Introduction 0 Introduction The notes contained in this document survey a course on differential geometry taught by Dr. Stephen Robinson in the Spring of 2015 at Wake Forest University. The main text used in the course is Differential Geometry of Curves and Surfaces by Manfredo P. Do Carmo. We begin with two motivating questions: 1 What constitutes a \straight line" on the surface of a sphere? 2 If one draws a triangle on a sphere, what is the sum of the interior angles? The answer to 1 is a great circle, which is an example of a geodesic, or shortest path between two points on a surface. The intuition is that any local \snapshot" of the great circle appears as a line segment.
    [Show full text]
  • 3. the GEOMETRY of the GAUSS MAP Goal
    Math 501 - Differential Geometry Professor Gluck February 7, 2012 3. THE GEOMETRY OF THE GAUSS MAP Goal. Learn how surfaces in 3-space are curved. Outline Pages 5 - 24. The Gauss map S = orientable surface in R3 with choice N of unit normal. Definition of the Gauss map N: S S2 . 2 Its differential dNp: TpS TpS = TpS . Self-adjointness of dNp , meaning < dNp(V) , W > = < V , dNp(W) > . Second fundamental form encodes how surface is curved. 1 Pages 25 - 78. Curvature of curves on a surface Many examples to develop intuition. Meusnier's Theorem considers all curves on a given surface through a given point with a given tangent direction there, and compares their curvatures. Definition of normal curvature of a surface at a point in a given direction. Question. How does the normal curvature of a surface at a point vary as we vary the direction? 2 Principal curvatures of the surface S at the point p . Lines of curvature on a surface. Definition of Gaussian curvature and mean curvature. Definition of umbilical points on a surface. Theorem. If all points of a connected surface S are umbilical points, then S is contained in a sphere or a plane. 3 Pages 79 - 123. The Gauss map in local coordinates Develop effective methods for computing curvature of surfaces. Detailed example of a paraboloid. The equations of Weingarten express the entries in the matrix for dNp in terms of the coefficients of the first and second fundamental forms. Explicit formulas for principal curvatures, Gaussian and mean curvatures. Detailed example on a torus of revolution.
    [Show full text]
  • Characteristic Properties of the Parallel Ruled Surfaces with Darboux Frame in Euclidean 3- Space
    CMMA 1, No. 1, 26-43 (2016) 26 Communication in Mathematical Modeling and Applications http://ntmsci.com/cmma Characteristic properties of the parallel ruled surfaces with Darboux frame in Euclidean 3- space Yasin Unluturk1, Muradiye Cimdiker1 and Cumali Ekici2 1Department of Mathematics, Kirklareli University, Kirklareli,Turkey 2Department of Mathematics-Computer, Eskisehir Osmangazi University, Eskisehir, Turkey Received: 22 February 2016, Revised: 7 April 2016, Accepted: 12 April 2016 Published online: 17 April 2016 Abstract: In this paper, the parallel ruled surfaces with Darboux frame are introduced in Euclidean 3-space. Then some characteristic properties such as developability, striction point and distribution parameter of the parallel ruled surfaces with Darboux frame are given in Euclidean 3-space. Then we obtain Steiner rotation vector of this kind of surfaces Euclidean 3-space. By using this rotation vector, we compute pitch length and pitch angle of the parallel ruled surfaces with Darboux frame. Keywords: Parallel ruled surface, Darboux frame, developability, Steiner rotation vector, pitch length, pitch angle. 1 Introduction A parallel ruled surface is a surface represented by points which are at a constant distance along the normal vector of a ruled surface. As it is well known, both ruled surfaces and parallel surfaces have some applications in many industrial processes such as manufacturing for toolpath generation in sculptured surface machining and also in rapid prototyping, to fabricate additively a solid object or assembly from CAD models by using 3D printing technologies such as laser sintering, stereolithography, and laminated object manufacturing. Ruled surfaces have been widely applied in designing cars, ships, manufacturing of products and many other areas such as motion analysis and simulation of rigid body and model-based object recognition systems.
    [Show full text]
  • Geometry of Curves and Surfaces
    Geometry of Curves and Surfaces Weiyi Zhang Mathematics Institute, University of Warwick January 3, 2019 2 Contents 1 Curves 5 1.1 Course description . .5 1.1.1 A bit preparation: Differentiation . .6 1.2 Methods of describing a curve . .8 1.2.1 Fixed coordinates . .8 1.2.2 Moving frames: parametrized curves . .8 1.2.3 Intrinsic way(coordinate free) . .9 n 1.3 Curves in R : Arclength Parametrization . 10 1.4 Curvature . 12 1.5 Orthonormal frame: Frenet-Serret equations . 15 1.6 Plane curves . 17 1.7 More results for space curves . 20 1.7.1 Taylor expansion of a curve . 20 1.7.2 Fundamental Theorem of the local theory of curves . 21 1.8 Isoperimetric Inequality . 21 1.9 The Four Vertex Theorem . 24 3 2 Surfaces in R 29 2.1 Definitions and Examples . 29 2.1.1 Compact surfaces . 32 2.1.2 Level sets . 33 2.2 The First Fundamental Form . 34 2.3 Length, Angle, Area . 35 2.3.1 Length: Isometry . 36 2.3.2 Angle: conformal . 37 2.3.3 Area: equiareal . 37 2.4 The Second Fundamental Form . 38 2.4.1 Normals and orientability . 39 2.4.2 Gauss map and second fundamental form . 40 2.5 Curvatures . 42 2.5.1 Definitions and first properties . 42 2.5.2 Calculation of Gaussian and mean curvatures . 45 2.5.3 Principal curvatures . 47 3 4 CONTENTS 2.6 Gauss's Theorema Egregium . 49 2.6.1 Gaussian curvature for special cases . 52 2.7 Surfaces of constant Gaussian curvature .
    [Show full text]
  • Derivations of the Young-Laplace Equation
    Derivations of the Young-Laplace equation Leiv Magne Siqveland Svein Magne Skjæveland November 28, 2014 Abstract The classical Young-Laplace equation relates capillary pressure to sur- face tension and the principal radii of curvature of the interface between two immiscible fluids. In this paper the required properties of space curves and smooth surfaces are described by (1) differential geometry, and by (2) linear algebra. The equilibrium condition is formulated by a (1) force balance, and (2) minimization of surface energy. 1 Introduction The Young-Laplace equation (Young, 1805; Laplace, 1806) 1 1 pc = σ + ; (1) R1 R2 gives an expression for the capillary pressure pc, i.e., the pressure difference over an interface between two fluids in terms of the surface tension σ and the principal radii of curvature, R1 and R2. This expression is often encountered in the literature covering the concepts of capillary pressure and wettability since it is quite general. The expression in parenthesis in Eq. 1 is a geometry factor. At equilibrium, each point on the interface has the same geometry factor. It will be shown that this simple expression reflects the fact that for arbitrary, smooth surfaces and curves (Shifrin, 2013), the curvature at any point may be defined by assigning two radii of curvature, R1 and R2, in two normal planes that cut the interface along two principal curvature sections. These two normal planes are also normal to each other and their line of intersection is the surface normal 1 at the chosen point. Also, the curvature of an arbitrary normal section may be expressed in terms of the principal curvatures.
    [Show full text]