DOCSLIB.ORG

L8 – Differential Geometry of Surfaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
L8 – Differential Geometry of Surfaces L8 – Differential Geometry of Surfaces • We will discuss intrinsic properties of surfaces independent its parameterization • Topics to be covered including: – Tangent plane and surface normal – First fundamental form I (metric) – Second fundamental form II (curvature) – Principal curvatures – Gaussian and mean curvatures – Euler’s theorem 1 Tangent Plane and Surface Normal • Consider a curve u=u(t) v=v(t) in the parametric domain of a parametric surface r=r(u, v), then r=r(t)=r(u(t), v(t)) is a parametric curve lying on the surface r. z r(u, v) v Using the chain rule on r(u(t), v(t)) r(t)=r(u(t), v(t)) u=u(t) 풓ሶ 푡 = 풓푢푢ሶ + 풓푣푣ሶ v=v(t) o y u x • The tangent plane at point p can be considered as a union of the tangent vectors of the form in above equation for all r(t) (i.e., many curves) passing through p. z N rv 풓푢 × 풓푣 ru 푵 = 풓푢 × 풓푣 o y x 2 Tangent Plane and Surface Normal (cont.) • The equation of the tangent plane at r(up, vp) is (p - r(up, vp)) ∙ N(up, vp) =0 • Definition: A regular (ordinary) point p on a parametric surface is defined as a point where ru x rv ≠ 0. A point with ru x rv = 0 is called a singular point. • Implicit surface f(x,y,z)=0, the unit normal vector is given by 훻푓 푵 = 훻푓 3 First Fundamental Form I (Metric) • If we define the parametric curve by a curve u=u(t) v=v(t) on a parametric surface r=r(u,v) 푑풓 푑푢 푑푣 푑푠 = 푑푡 = 풓 + 풓 푑푡 푑푡 푢 푑푡 푣 푑푡 = (풓푢푢ሶ + 풓푣푣ሶ) ∙ (풓푢푢ሶ + 풓푣푣ሶ)푑푡 푑푢 푑푣 = 퐸푑푢2 + 2퐹푑푢푑푣 + 퐺푑푣2 (∵ 푢ሶ = , 푣ሶ = ) 푑푡 푑푡 where 퐸 = 풓푢 ∙ 풓푢, 퐹 = 풓푢 ∙ 풓푣, 퐺 = 풓푣 ∙ 풓푣 • E, F, G are call the first fundamental form coefficients and play important role in many intrinsic properties of a surface 4 First Fundamental Form I (cont.) • Definition: The first fundamental form is defined as 퐼 = (푑푠)2= 푑풓 ∙ 푑풓 = 퐸푑푢2 + 2퐹푑푢푑푣 + 퐺푑푣2 which can also be rewritten as 푎 × 푏 ∙ 푐 × 푑 1 퐸퐺 − 퐹2 =(a ∙ c)(b ∙ d)-(a ∙ d)(b ∙ c) 퐼 = (퐸푑푢 + 퐹푑푣)2+ (푑푣)2 퐸 퐸 • We can then have 퐸 = 풓푢 ∙ 풓푢 > 0 2 (풓푢 × 풓푣) = 풓푢 × 풓푣 ∙ 풓푢 × 풓푣 2 2 = 풓푢 ∙ 풓푢 풓푣 ∙ 풓푣 − 풓푢 ∙ 풓푣 = 퐸퐺 − 퐹 > 0 • Conclusion: we know that I is positive definite, provided that the surface is regular (since 퐼 ≥ 0 and I = 0 if and only if du=0 and dv=0 at the same time) 5 Example I: Let’s compute the arc length of a curve 푢 = 푡, 푣 = 푡 for 0 ≤ 푡 ≤ 1 on a hyperbolic paraboloid r(u, v)=(u, v, uv)T where 0 ≤ 푢, 푣 ≤ 1. 푇 푇 Solution: 풓푢 = (1,0, 푣) , 풓푣 = (0,1, 푢) 2 2 퐸 = 풓푢 ∙ 풓푢 = 1 + 푣 , 퐺 = 풓푣 ∙ 풓푣 = 1 + 푢 , 퐹 = 풓푢 ∙ 풓푣 = 푢푣. and along the curve the first fundamental form coefficients are 퐸 = 1 + 푡2, 퐺 = 1 + 푡2, 퐹 = 푡2. Thus 1 푑푠 = 퐸푢ሶ 2 + 2퐹푢ሶ 푣ሶ + 퐺푣ሶ 2푑푡 = 2 + 4푡2푑푡 = 2 푡2 + 푑푡 2 The arc length 1 1 1 1 1 1 ( + 푠 = ׬ 2 푡2 + 푑푡 = 푡 푡2 + + log(푡 + 푡2 0 2 2 2 2 0 3 1 = + log( 2 + 3) 2 2 6 First Fundamental Form I (Angle) • The angle between two curves on a parametric surface 풓1 = 풓(푢1 푡 , 푣1 푡 ), 풓2 = 풓(푢2 푡 , 푣2 푡 ) can be evaluated by tacking the inner product of their tangent vectors. 푑풓 ∙ d풓 cos 휔 = 1 2 푑풓1 푑풓2 퐸푑푢 푑푢 + 퐹 푑푢 푑푣 + 푑푣 푑푢 + 퐺푑푣 푑푣 = 1 2 1 2 1 2 1 2 2 2 2 2 퐸푑푢1 + 2퐹푑푢1푑푣1 + 퐺푑푣1 퐸푑푢2 + 2퐹푑푢2푑푣2 + 퐺푑푣2 • As a result, the orthogonality condition for 풓ሶ 1 and 풓ሶ 2 is 퐸푑푢1푑푢2 + 퐹 푑푢1푑푣2 + 푑푣1푑푢2 + 퐺푑푣1푑푣2 = 0 • In particular, the angle of two iso-parametric curves is 풓 ∙ 풓 풓 ∙ 풓 퐹 cos 휔 = 푢 푣 = 푢 푣 = 풓푢 풓푣 풓푢 ∙ 풓푢 풓푣 ∙ 풓푣 퐸퐺 Thus, the iso-parametric curves are orthogonal if 퐹 ≡ 0. 7 First Fundamental Form I (Area) • The area of a small parallelogram with 4 vertices 풓(푢, 푣), 풓(푢 + 훿푢, 푣), 풓(푢, 푣 + 훿푣), 풓(푢 + 훿푢, 푣 + 훿푣) 풓(푢, 푣 + 훿푣) 풓(푢 + 훿푢, 푣 + 훿푣) δ퐴 풓(푢, 푣) 풓(푢 + 훿푢, 푣) is approximated by 2 δ퐴 = 풓푢훿푢 × 풓푣훿푣 = 퐸퐺 − 퐹 훿푢훿푣 2 2 (∵ 풓푢 × 풓푣 =(풓푢 ∙ 풓푢)(풓푣 ∙ 풓푣) − (풓푢 ∙ 풓푣) ) Or in different form as 푑퐴 = 퐸퐺 − 퐹2푑푢푑푣 8 Example II: Let’s compute the area of a region on the hyperbolic paraboloid. The region is bounded by positive u and v axes and a quarter circle 푢2 + 푣2 = 1 as shown. Solution: Again 푇 푇 풓푢 = (1,0, 푣) , 풓푣 = (0,1, 푢) 2 2 퐸 = 풓푢 ∙ 풓푢 = 1 + 푣 , 퐺 = 풓푣 ∙ 풓푣 = 1 + 푢 , 퐹 = 풓푢 ∙ 풓푣 = 푢푣 퐸퐺 − 퐹2 = 1 + 푣2 1 + 푢2 − 푢2푣2 = 1 + 푢2 + 푣2 ∴ 퐴 = න 1 + 푢2 + 푣2푑푢푑푣 퐷 Letting 푢 = 푟 cos 휃 and 푣 = 푟 sin 휃 휋 2 1 휋 퐴 = න න 푟 1 + 푟2 푑푟푑휃 = ( 8 − 1) 0 0 6 9 Second Fundamental Form II (Curvature) • To quantify the curvature of a surface S, we consider a curve C on S which pass through the point p. N • The unit tangent vector t and t n the unit normal vector n of the kn k S C k curve C are related by g k = dt/ds = kn = kn + kg where kn is the normal curvature vector and kg is the geodesic curvature vector. kg : the component of k in the direction perpendicular to t in the surface tangent plane kn : the component of k in the surface normal direction kn = knN, where kn - the normal curvature of surface at p in t direction. 10 Second Fundamental Form II (cont.) By differentiating 푵 ∙ 풕 = 0 along the curve with respect to s, we have 푑풕 푑푵 ∙ 푵 + 풕 ∙ = 0 푑푠 푑푠 Thus 푑풕 푑푵 푑풓 푑푵 ∵ 푑풓 = 풓푢푑푢 + 풓푣푑푣 푘푛 = ∙ 푵 = −풕 ∙ = − ∙ 푑푵 = 푵푢푑푢 + 푵푣푑푣 푑푠 푑푠 푑푠 푑푠 ∴ 푑풓 ∙ 푑푵 = 풓 ∙ 푵 푑푢2 퐿푑푢2 + 2푀푑푢푑푣 + 푁푑푣2 푢 푢 + 풓푢 ∙ 푵푣 + 풓푣 ∙ 푵푢 푑푢푑푣 = 2 2 2 퐸푑푢 + 2퐹푑푢푑푣 + 퐺푑푣 + 풓푣 ∙ 푵푣 푑푣 with 퐿 = −풓푢 ∙ 푵푢, 푁 = −풓푣 ∙ 푵푣, 1 푀 = − 풓 ∙ 푵 + 풓 ∙ 푵 = −풓 ∙ 푵 = −풓 ∙ 푵 2 푢 푣 푣 푢 푢 푣 푣 푢 11 Second Fundamental Form II (cont.) • Since ru and rv are perpendicular to N, we have 풓푢 ∙ 푵 = 0 ⟹ 풓푢푢 ∙ 푵 + 풓푢 ∙ 푵푢 = 0 (for L) 풓푣 ∙ 푵 = 0 ⟹ 풓푣 ∙ 푵푢 + 풓푢푣 ∙ 푵 = 0 (for M) 풓푣 ∙ 푵 = 0 ⟹ 풓푣푣 ∙ 푵 + 풓푣 ∙ 푵푣 = 0 (for N) hence: 퐿 = 풓푢푢 ∙ 푵, 푀 = 풓푢푣 ∙ 푵, 푁 = 풓푣푣 ∙ 푵 • We define the second fundamental form II as 퐼퐼 = 퐿푑푢2 + 2푀푑푢푑푣 + 푁푑푣2 and L, M, N are called second fundamental form coefficients 퐼퐼 퐿 + 2푀휆 + 푁휆2 푘 = = 푛 퐼 퐸 + 2퐹휆 + 푁퐺2 푑푣 where 휆 = is the direction of the tangent line to C at p. 푑푢 12 • Theorem: All curves lying on a surface S passing through a given point 풑 ∈ 푆 with the same tangent line have the same normal curvature at this point. • Note that, sometimes the positive normal curvature is defined in the opposite direction. • We now start to study the local surface property by II. • Suppose two neighboring points P and Q on S 푷 = 풓(푢, 푣) and 푸 = 풓(푢 + 푑푢, 푣 + 푑푣) By Taylor expansion, we have 풓 푢 + 푑푢, 푣 + 푑푣 = 풓 푢, 푣 + 풓푢푑푢 + 풓푣푑푣 1 + 풓 푑푢2 + 2풓 푑푢푑푣 + 풓 푑푣2 + ⋯ 2 푢푢 푢푣 푣푣 13 • Projecting the vector: 푷푸 = 풓 푢 + 푑푢, 푣 + 푑푣 − 풓 푢, 푣 1 = 풓 푑푢 + 풓 푑푣 + 풓 푑푢2 + 2풓 푑푢푑푣 + 풓 푑푣2 + ⋯ 푢 푣 2 푢푢 푢푣 푣푣 onto N by using the second fundamental form, we have 1 1 푷푸 ∙ 푵 = (풓 푑푢 + 풓 푑푣) ∙ 푵 + 퐼퐼 = 퐼퐼 푢 푣 2 2 (∵ 풓푢 ∙ 푵 = 풓푣 ∙ 푵 = 0) where the higher order terms are neglected. • In conclusion, the local shape variation: d = II / 2 When d = 0, it become 퐿푑푢2 + 2푀푑푢푑푣 + 푁푑푣2 = 0 which can be considered as a quadratic equation in terms of du, dv. −푀± 푀2−퐿푁 푑푢 = 푑푣 (Assuming 퐿 ≠ 0) 퐿 14 Local Shape Analysis by Second Fundamental Form II • 푀2 − 퐿푁 < 0, this is no real root: No intersection between r(u,v) and Tp except the point p. An elliptic point • 푀2 − 퐿푁 = 0 and 퐿2 + 푀2 + 푁2 ≠ 0, there are double roots: The surface intersects Tp with one line 푀 푑푢 = − 푑푣 퐿 A parabolic point • 푀2 − 퐿푁 > 0, there are two roots: The surface intersects its tangent lane with two lines −푀± 푀2−퐿푁 푑푢 = 푑푣 퐿 A hyperbolic point 15 Local Shape Analysis by Second Fundamental Form II (cont.) • L = M = N = 0, the surface and the tangent plane have a contact of higher order than in the above cases at the point p. A flat or planar point • If L = 0 and 푁 ≠ 0, we can solve for dv instead of du. • If L = N = 0 and 푀 ≠ 0, we have 2푀푑푢푑푣 = 0, thus the intersection lines will be the two iso-parametric lines: u = const1 v = const2 16 Principal Curvatures • From the second fundamental form, we already know 퐼퐼 퐿+2푀휆+푁휆2 푘 = = 푛 퐼 퐸+2퐹휆+푁퐺2 푑푣 The normal curvature at p depends on the direction of 휆 = . 푑푢 • The extreme value of 푘푛 can be obtained by solving: 푑푘푛/푑휆 = 0.
Load more

Recommended publications
  • Lecture 20 Dr. KH Ko Prof. NM Patrikalakis
    13.472J/1.128J/2.158J/16.940J COMPUTATIONAL GEOMETRY Lecture 20 Dr. K. H. Ko Prof. N. M. Patrikalakis Copyrightc 2003Massa chusettsInstitut eo fT echnology ≤ Contents 20 Advanced topics in differential geometry 2 20.1 Geodesics ........................................... 2 20.1.1 Motivation ...................................... 2 20.1.2 Definition ....................................... 2 20.1.3 Governing equations ................................. 3 20.1.4 Two-point boundary value problem ......................... 5 20.1.5 Example ........................................ 8 20.2 Developable surface ...................................... 10 20.2.1 Motivation ...................................... 10 20.2.2 Definition ....................................... 10 20.2.3 Developable surface in terms of B´eziersurface ................... 12 20.2.4 Development of developable surface (flattening) .................. 13 20.3 Umbilics ............................................ 15 20.3.1 Motivation ...................................... 15 20.3.2 Definition ....................................... 15 20.3.3 Computation of umbilical points .......................... 15 20.3.4 Classification ..................................... 16 20.3.5 Characteristic lines .................................. 18 20.4 Parabolic, ridge and sub-parabolic points ......................... 21 20.4.1 Motivation ...................................... 21 20.4.2 Focal surfaces ..................................... 21 20.4.3 Parabolic points ................................... 22
    [Show full text]
  • Surface Integrals
    VECTOR CALCULUS 16.7 Surface Integrals In this section, we will learn about: Integration of different types of surfaces. PARAMETRIC SURFACES Suppose a surface S has a vector equation r(u, v) = x(u, v) i + y(u, v) j + z(u, v) k (u, v) D PARAMETRIC SURFACES •We first assume that the parameter domain D is a rectangle and we divide it into subrectangles Rij with dimensions ∆u and ∆v. •Then, the surface S is divided into corresponding patches Sij. •We evaluate f at a point Pij* in each patch, multiply by the area ∆Sij of the patch, and form the Riemann sum mn * f() Pij S ij ij11 SURFACE INTEGRAL Equation 1 Then, we take the limit as the number of patches increases and define the surface integral of f over the surface S as: mn * f( x , y , z ) dS lim f ( Pij ) S ij mn, S ij11 . Analogues to: The definition of a line integral (Definition 2 in Section 16.2);The definition of a double integral (Definition 5 in Section 15.1) . To evaluate the surface integral in Equation 1, we approximate the patch area ∆Sij by the area of an approximating parallelogram in the tangent plane. SURFACE INTEGRALS In our discussion of surface area in Section 16.6, we made the approximation ∆Sij ≈ |ru x rv| ∆u ∆v where: x y z x y z ruv i j k r i j k u u u v v v are the tangent vectors at a corner of Sij. SURFACE INTEGRALS Formula 2 If the components are continuous and ru and rv are nonzero and nonparallel in the interior of D, it can be shown from Definition 1—even when D is not a rectangle—that: fxyzdS(,,) f ((,))|r uv r r | dA uv SD SURFACE INTEGRALS This should be compared with the formula for a line integral: b fxyzds(,,) f (())|'()|rr t tdt Ca Observe also that: 1dS |rr | dA A ( S ) uv SD SURFACE INTEGRALS Example 1 Compute the surface integral x2 dS , where S is the unit sphere S x2 + y2 + z2 = 1.
    [Show full text]
  • 16.6 Parametric Surfaces and Their Areas
    CHAPTER 16. VECTOR CALCULUS 239 16.6 Parametric Surfaces and Their Areas Comments. On the next page we summarize some ways of looking at graphs in Calc I, Calc II, and Calc III, and pose a question about what comes next. 2 3 2 Definition. Let r : R ! R and let D ⊆ R . A parametric surface S is the set of all points hx; y; zi such that hx; y; zi = r(u; v) for some hu; vi 2 D. In other words, it's the set of points you get using x = some function of u; v y = some function of u; v z = some function of u; v Example 1. (a) Describe the surface z = −x2 − y2 + 2 over the region D : −1 ≤ x ≤ 1; −1 ≤ y ≤ 1 as a parametric surface. Graph it in MATLAB. (b) Describe the surface z = −x2 − y2 + 2 over the region D : x2 + y2 ≤ 1 as a parametric surface. Graph it in MATLAB. Solution: (a) In this case we \cheat": we already have z as a function of x and y, so anything we do to get rid of x and y will work x = u y = v z = −u2 − v2 + 2 −1 ≤ u ≤ 1; −1 ≤ v ≤ 1 [u,v]=meshgrid(linspace(-1,1,35)); x=u; y=v; z=2-u.^2-v.^2; surf(x,y,z) CHAPTER 16. VECTOR CALCULUS 240 How graphs look in different contexts: Pre-Calc, and Calc I graphs: Calc II parametric graphs: y = f(x) x = f(t), y = g(t) • 1 number gets plugged in (usually x) • 1 number gets plugged in (usually t) • 1 number comes out (usually y) • 2 numbers come out (x and y) • Graph is essentially one dimensional (if you zoom in enough it looks like a line, plus you only need • graph is essentially one dimensional (but we one number, x, to specify any location on the don't picture t at all) graph) • We need to picture the graph in two dimensional • We need to picture the graph in a two dimen- world.
    [Show full text]
  • Polynomial Curves and Surfaces
    Polynomial Curves and Surfaces Chandrajit Bajaj and Andrew Gillette September 8, 2010 Contents 1 What is an Algebraic Curve or Surface? 2 1.1 Algebraic Curves . .3 1.2 Algebraic Surfaces . .3 2 Singularities and Extreme Points 4 2.1 Singularities and Genus . .4 2.2 Parameterizing with a Pencil of Lines . .6 2.3 Parameterizing with a Pencil of Curves . .7 2.4 Algebraic Space Curves . .8 2.5 Faithful Parameterizations . .9 3 Triangulation and Display 10 4 Polynomial and Power Basis 10 5 Power Series and Puiseux Expansions 11 5.1 Weierstrass Factorization . 11 5.2 Hensel Lifting . 11 6 Derivatives, Tangents, Curvatures 12 6.1 Curvature Computations . 12 6.1.1 Curvature Formulas . 12 6.1.2 Derivation . 13 7 Converting Between Implicit and Parametric Forms 20 7.1 Parameterization of Curves . 21 7.1.1 Parameterizing with lines . 24 7.1.2 Parameterizing with Higher Degree Curves . 26 7.1.3 Parameterization of conic, cubic plane curves . 30 7.2 Parameterization of Algebraic Space Curves . 30 7.3 Automatic Parametrization of Degree 2 Curves and Surfaces . 33 7.3.1 Conics . 34 7.3.2 Rational Fields . 36 7.4 Automatic Parametrization of Degree 3 Curves and Surfaces . 37 7.4.1 Cubics . 38 7.4.2 Cubicoids . 40 7.5 Parameterizations of Real Cubic Surfaces . 42 7.5.1 Real and Rational Points on Cubic Surfaces . 44 7.5.2 Algebraic Reduction . 45 1 7.5.3 Parameterizations without Real Skew Lines . 49 7.5.4 Classification and Straight Lines from Parametric Equations . 52 7.5.5 Parameterization of general algebraic plane curves by A-splines .
    [Show full text]
  • Riemannian Submanifolds: a Survey
    RIEMANNIAN SUBMANIFOLDS: A SURVEY BANG-YEN CHEN Contents Chapter 1. Introduction .............................. ...................6 Chapter 2. Nash’s embedding theorem and some related results .........9 2.1. Cartan-Janet’s theorem .......................... ...............10 2.2. Nash’s embedding theorem ......................... .............11 2.3. Isometric immersions with the smallest possible codimension . 8 2.4. Isometric immersions with prescribed Gaussian or Gauss-Kronecker curvature .......................................... ..................12 2.5. Isometric immersions with prescribed mean curvature. ...........13 Chapter 3. Fundamental theorems, basic notions and results ...........14 3.1. Fundamental equations ........................... ..............14 3.2. Fundamental theorems ............................ ..............15 3.3. Basic notions ................................... ................16 3.4. A general inequality ............................. ...............17 3.5. Product immersions .............................. .............. 19 3.6. A relationship between k-Ricci tensor and shape operator . 20 3.7. Completeness of curvature surfaces . ..............22 Chapter 4. Rigidity and reduction theorems . ..............24 4.1. Rigidity ....................................... .................24 4.2. A reduction theorem .............................. ..............25 Chapter 5. Minimal submanifolds ....................... ...............26 arXiv:1307.1875v1 [math.DG] 7 Jul 2013 5.1. First and second variational formulas
    [Show full text]
  • Basics of the Differential Geometry of Surfaces
    Chapter 20 Basics of the Differential Geometry of Surfaces 20.1 Introduction The purpose of this chapter is to introduce the reader to some elementary concepts of the differential geometry of surfaces. Our goal is rather modest: We simply want to introduce the concepts needed to understand the notion of Gaussian curvature, mean curvature, principal curvatures, and geodesic lines. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate differential geometry course offered in the fall of 1994. Most of the topics covered in this course have been included, except a presentation of the global Gauss–Bonnet–Hopf theorem, some material on special coordinate systems, and Hilbert’s theorem on surfaces of constant negative curvature. What is a surface? A precise answer cannot really be given without introducing the concept of a manifold. An informal answer is to say that a surface is a set of points in R3 such that for every point p on the surface there is a small (perhaps very small) neighborhood U of p that is continuously deformable into a little flat open disk. Thus, a surface should really have some topology. Also,locally,unlessthe point p is “singular,” the surface looks like a plane. Properties of surfaces can be classified into local properties and global prop- erties.Intheolderliterature,thestudyoflocalpropertieswascalled geometry in the small,andthestudyofglobalpropertieswascalledgeometry in the large.Lo- cal properties are the properties that hold in a small neighborhood of a point on a surface. Curvature is a local property. Local properties canbestudiedmoreconve- niently by assuming that the surface is parametrized locally.
    [Show full text]
  • Surface Normals and Tangent Planes
    Surface Normals and Tangent Planes Normal and Tangent Planes to Level Surfaces Because the equation of a plane requires a point and a normal vector to the plane, …nding the equation of a tangent plane to a surface at a given point requires the calculation of a surface normal vector. In this section, we explore the concept of a normal vector to a surface and its use in …nding equations of tangent planes. To begin with, a level surface U (x; y; z) = k is said to be smooth if the gradient U = Ux;Uy;Uz is continuous and non-zero at any point on the surface. Equivalently,r h we ofteni write U = Uxex + Uyey + Uzez r where ex = 1; 0; 0 ; ey = 0; 1; 0 ; and ez = 0; 0; 1 : Supposeh now thati r (t) =h x (ti) ; y (t) ; z (t) hlies oni a smooth surface U (x; y; z) = k: Applying the derivative withh respect to t toi both sides of the equation of the level surface yields dU d = k dt dt Since k is a constant, the chain rule implies that U v = 0 r where v = x0 (t) ; y0 (t) ; z0 (t) . However, v is tangent to the surface because it is tangenth to a curve on thei surface, which implies that U is orthogonal to each tangent vector v at a given point on the surface. r That is, U (p; q; r) at a given point (p; q; r) is normal to the tangent plane to r 1 the surface U(x; y; z) = k at the point (p; q; r).
    [Show full text]
  • Geodesic Methods for Shape and Surface Processing Gabriel Peyré, Laurent D
    Geodesic Methods for Shape and Surface Processing Gabriel Peyré, Laurent D. Cohen To cite this version: Gabriel Peyré, Laurent D. Cohen. Geodesic Methods for Shape and Surface Processing. Tavares, João Manuel R.S.; Jorge, R.M. Natal. Advances in Computational Vision and Medical Image Process- ing: Methods and Applications, Springer Verlag, pp.29-56, 2009, Computational Methods in Applied Sciences, Vol. 13, 10.1007/978-1-4020-9086-8. hal-00365899 HAL Id: hal-00365899 https://hal.archives-ouvertes.fr/hal-00365899 Submitted on 4 Mar 2009 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Geodesic Methods for Shape and Surface Processing Gabriel Peyr´eand Laurent Cohen Ceremade, UMR CNRS 7534, Universit´eParis-Dauphine, 75775 Paris Cedex 16, France {peyre,cohen}@ceremade.dauphine.fr, WWW home page: http://www.ceremade.dauphine.fr/{∼peyre/,∼cohen/} Abstract. This paper reviews both the theory and practice of the nu- merical computation of geodesic distances on Riemannian manifolds. The notion of Riemannian manifold allows to define a local metric (a symmet- ric positive tensor field) that encodes the information about the prob- lem one wishes to solve. This takes into account a local isotropic cost (whether some point should be avoided or not) and a local anisotropy (which direction should be preferred).
    [Show full text]
  • Math 314 Lecture #34 §16.7: Surface Integrals
    Math 314 Lecture #34 §16.7: Surface Integrals Outcome A: Compute the surface integral of a function over a parametric surface. Let S be a smooth surface described parametrically by ~r(u, v), (u, v) ∈ D, and suppose the domain of f(x, y, z) includes S. The surface integral of f over S with respect to surface area is ZZ ZZ f(x, y, z) dS = f(~r(u, v))k~ru × ~rvk dA. S D When S is a piecewise smooth surface, i.e., a finite union of smooth surfaces S1,S2,...,Sk, that intersect only along their boundaries, the surface integral of f over S with respect to surface area is ZZ ZZ ZZ ZZ f dS = f dS + f dS + ··· + f dS, S S1 S2 Sk where the dS in each double integral is evaluated according the the parametric description of Si. Example. A parametric description of a surface S is ~r(u, v) = hu2, u sin v, u cos vi, 0 ≤ u ≤ 1, 0 ≤ v ≤ π/2. Here is a rendering of this surface. Here ~ru = h2u, sin v, cos vi and ~rv = h0, u cos v, −u sin vi, so that ~i ~j ~k 2 2 ~ru × ~rv = 2u sin v cos v = h−u, 2u sin v, 2u cos vi, 0 u cos v −u sin v and (with u ≥ 0), √ √ 2 4 2 k~ru × ~rvk = u + 4u = u 1 + 4u . The surface integral of f(x, y, z) = yz over S with respect to surface area is ZZ Z 1 Z π/2 √ yz dS = (u2 sin v cos v)(u 1 + 4u2) dvdu S 0 0 Z 1 √ sin2 v π/2 = u3 1 + 4u2 du 0 2 0 1 Z 1 √ = u3 1 + 4u2 du.
    [Show full text]
  • Minimal Surfaces
    Minimal Surfaces December 13, 2012 Alex Verzea 260324472 MATH 580: Partial Dierential Equations 1 Professor: Gantumur Tsogtgerel 1 Intuitively, a Minimal Surface is a surface that has minimal area, locally. First, we will give a mathematical denition of the minimal surface. Then, we shall give some examples of Minimal Surfaces to gain a mathematical under- standing of what they are and nally move on to a generalization of minimal surfaces, called Willmore Surfaces. The reason for this is that Willmore Surfaces are an active and important eld of study in Dierential Geometry. We will end with a presentation of the Willmore Conjecture, which has recently been proved and with some recent work done in this area. Until we get to Willmore Surfaces, we assume that we are in R3. Denition 1: The two Principal Curvatures, k1 & k2 at a point p 2 S, 3 S⊂ R are the eigenvalues of the shape operator at that point. In classical Dierential Geometry, k1 & k2 are the maximum and minimum of the Second Fundamental Form. The principal curvatures measure how the surface bends by dierent amounts in dierent directions at that point. Below is a saddle surface together with normal planes in the directions of principal curvatures. Denition 2: The Mean Curvature of a surface S is an extrinsic measure of curvature; it is the average of it's two principal curvatures: 1 . H ≡ 2 (k1 + k2) Denition 3: The Gaussian Curvature of a point on a surface S is an intrinsic measure of curvature; it is the product of the principal curvatures: of the given point.
    [Show full text]
  • The Index of Isolated Umbilics on Surfaces of Non-Positive Curvature
    The index of isolated umbilics on surfaces of non-positive curvature Autor(en): Fontenele, Francisco / Xavier, Frederico Objekttyp: Article Zeitschrift: L'Enseignement Mathématique Band (Jahr): 61 (2015) Heft 1-2 PDF erstellt am: 11.10.2021 Persistenter Link: http://doi.org/10.5169/seals-630591 Nutzungsbedingungen Die ETH-Bibliothek ist Anbieterin der digitalisierten Zeitschriften. Sie besitzt keine Urheberrechte an den Inhalten der Zeitschriften. Die Rechte liegen in der Regel bei den Herausgebern. Die auf der Plattform e-periodica veröffentlichten Dokumente stehen für nicht-kommerzielle Zwecke in Lehre und Forschung sowie für die private Nutzung frei zur Verfügung. Einzelne Dateien oder Ausdrucke aus diesem Angebot können zusammen mit diesen Nutzungsbedingungen und den korrekten Herkunftsbezeichnungen weitergegeben werden. Das Veröffentlichen von Bildern in Print- und Online-Publikationen ist nur mit vorheriger Genehmigung der Rechteinhaber erlaubt. Die systematische Speicherung von Teilen des elektronischen Angebots auf anderen Servern bedarf ebenfalls des schriftlichen Einverständnisses der Rechteinhaber. Haftungsausschluss Alle Angaben erfolgen ohne Gewähr für Vollständigkeit oder Richtigkeit. Es wird keine Haftung übernommen für Schäden durch die Verwendung von Informationen aus diesem Online-Angebot oder durch das Fehlen von Informationen. Dies gilt auch für Inhalte Dritter, die über dieses Angebot zugänglich sind. Ein Dienst der ETH-Bibliothek ETH Zürich, Rämistrasse 101, 8092 Zürich, Schweiz, www.library.ethz.ch http://www.e-periodica.ch LEnseignement Mathematique (2) 61 (2015), 139-149 DOI 10.4171/LEM/61-1/2-6 The index of isolated umbilics on surfaces of non-positive curvature Francisco Fontenele and Frederico Xavier Abstract. It is shown that if a C2 surface M c M3 has negative curvature on the complement of a point q e M, then the Z/2-valued Poincare-Hopf index at q of either distribution of principal directions on M — {q} is non-positive.
    [Show full text]
  • (Paraboloid) Z = X 2 + Y2 + 1. (A) Param
    PP 35 : Parametric surfaces, surface area and surface integrals 1. Consider the surface (paraboloid) z = x2 + y2 + 1. (a) Parametrize the surface by considering it as a graph. (b) Show that r(r; θ) = (r cos θ; r sin θ; r2 + 1); r ≥ 0; 0 ≤ θ ≤ 2π is a parametrization of the surface. (c) Parametrize the surface in the variables z and θ using the cylindrical coordinates. 2. For each of the following surfaces, describe the intersection of the surface and the plane z = k for some k > 0; and the intersection of the surface and the plane y = 0. Further write the surfaces in parametrized form r(z; θ) using the cylindrical co-ordinates. (a) 4z = x2 + 2y2 (paraboloid) (b) z = px2 + y2 (cone) 2 2 2 x2 y2 2 (c) x + y + z = 9; z ≥ 0 (Upper hemi-sphere) (d) − 9 − 16 + z = 1; z ≥ 0. 3. Let S denote the surface obtained by revolving the curve z = 3 + cos y; 0 ≤ y ≤ 2π about the y-axis. Find a parametrization of S. 4. Parametrize the part of the sphere x2 + y2 + z2 = 16; −2 ≤ z ≤ 2 using the spherical co-ordinates. 5. Consider the circle (y − 5)2 + z2 = 9; x = 0. Let S be the surface (torus) obtained by revolving this circle about the z-axis. Find a parametric representation of S with the parameters θ and φ where θ and φ are described as follows. If (x; y; z) is any point on the surface then θ is the angle between the x-axis and the line joining (0; 0; 0) and (x; y; 0) and φ is the angle between the line joining (x; y; z) and the center of the moving circle (which contains (x; y; z)) with the xy-plane.
    [Show full text]