DOCSLIB.ORG

The First Fundamental Form

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The First Fundamental Form Differential Geometry Lia Vas Measuring Lengths { The First Fundamental Form Patching up the Coordinate Patches. Recall that a proper coordinate patch of a surface is given by parametric equations x = (x(u; v); y(u; v); z(u; v)) such that x; y; z are one-to-one continuous @x @x functions with continuous inverses, continuous derivatives and such that @u × @v 6= 0: We pointed out that it may not be possible to describe the whole surface with a single coordinate patch but it is always be possible to cover the entire surface by \patching" several different coordinate patches together. An additional condition that we have to ensure is that two patches must agree on the region on which they overlap. This is guaranteed by a condition stating that if x = x(u; v) is one coordinate patch defined on domain D and x¯ = (¯u; v¯) is another defined on domain D¯, that then the composite functions x−1 ◦ x¯ and x¯−1 ◦ x are one-to-one and onto continuous functions on the intersection of D and D¯ with continuous derivatives. If this condition is satisfied, we say that the patches overlap smoothly. This leads us to a more formal definition of a surface. We say that M is a surface if there is a collection of coordinate patches such that: 1. The coordinate patches cover every point of M and they overlap smoothly. Coordinate patch (2) Every two different points on M can be cov- ered by two different patches. (3) The collection of patches is maximal collection with conditions (1){(3) (i.e. if a patch overlaps smoothly with every patch in collection is itself in collection). Let us consider the following examples now. Examples. (1) Recall that the equation of a sphere of radius a in spherical coordinates is x = (a cos θ cos φ, a sin θ cos φ, a sin φ): The angle θ corresponds to the geographical longitude and takes values between π and −π. The values of θ from [−π; 0] are usually consid- ered as west and are referred to by their absolute value. For example, the longitude of Philadelphia 75◦100 west corresponds to θ = −75◦100: The val- ues of θ from [0; π] are considered to be east. The angle φ corresponds to the geographical latitude π π and takes values between − 2 and 2 . The values π of φ from [− 2 ; 0] are considered as south and are referred to by their absolute value. The values of π φ from [0; 2 ] are considered to be north. Spherical coordinates 1 For example, the latitude of Philadelphia 39◦570 north corresponds to φ = 39◦570. @x @x 2 The length of @θ × @φ is computed to be a j cos φj: Thus, the cross product is not nonzero if π −π cos φ = 0: So at point at which φ = 2 which is the north pole and at point at which φ = 2 which is the south pole. At these two points the geographical longitude is not uniquely defined. Also, if we consider the values of θ to be between −π and π; at the meridian at θ = π (the international date line), the mapping is not one-to-one (reflected in the fact that the time on the international date line is both tomorrow and today). Because of this fact, the coordinate patch given by spherical coordinates is not sufficient to cover −π π the entire sphere. Thus, in addition to the given coordinate patch with −π < θ < π and 2 < φ < 2 ; we may consider another patch given by 0 < θ < 2π: In this case, the 180◦-meridian is covered but the map at Greenwich meridian is not one-to-one. Note that we would still have to add another patches to cover the two poles. (2) Consider the representation of sphere of radius a as x2 + y2 + z2 = a2: Solving for z; we obtain two coordinate patches z = ±pa2 − x2 − y2: These maps represent proper coordinate patches just 2 2 2 over the interior of the circle x + y = a so theyp do not cover equator so we need more patches. Solving for y, we obtain another two patches y = ± a2 − x2 − z2 that cover the front and the back of the sphere but do not cover the circle x2 + z2 = a2: Combining these four patches, we covered everything but the intersections of two circles, the points (0; a; 0) and (0; −a; 0): Finally, to completely cover the sphere, we can patch the two holes with x = ±pa2 − y2 − z2: Thus, we can cover the entire sphere in six proper coordinate patches. A curve on a surface x(u; v) is given by γ(t) = x(u(t); v(t)): Two important special cases are the following. • Taking v to be a constant v0; one obtains the curve γ1(u) = x(u; v0): This curve is called a @x u-curve. The velocity vector @u is in the tangent plane. • Taking u to be a constant u0; one obtains the curve γ2(v) = x(u0; v): This curve is called a @x v-curve. The velocity vectors @v is in the tangent plane. @x @x @x @x The condition @u × @v 6= 0 guarantees that the vectors @u and @v are a basis of the tangent plane. Surfaces are often represented by by graphing a mesh determined by u and v curves. For example, this is how graphs in Matlab are obtained. Meridians and Parallels 2 Examples. 1. On a sphere x = (a cos θ cos φ, a sin θ cos φ, a sin φ); the φ-curves are circles of constant longitude meridians and the θ-curves are circles of constant latitude, parallels. 2. Helicoid. The surface parametrized by (r cos θ; r sin θ; aθ) has θ-curves helices spiraling about cylinder of radius r0 and r-curves lines (r cos θ0; r sin θ0; aθ0) passing through z-axis in a plane parallel to xy-plane. The surface resembles the spiral ramps like those found in garages. 3. Surfaces of revolution. A surface of rev- olution of curve α = (r(t); z(t)) in yz-plane (or, equivalently, xz-plane) about z-axis can be given by (r(t) cos θ; r(t) sin θ; z(t)): The θ- curves are circles of radii r(t0) in horizontal planes passing z(t0): They are also called cir- cles of latitude or parallels by analogy with sphere. The t-curves have the same shape as the curve α except that they line in vertical planes at longitude θ0: They are called merid- ians. 4. The class of surfaces generated by moving a line along some direction are called ruled surfaces which we turn to in more details now. Ruled surfaces can be described by the prop- erty that through every point there is a line com- pletely contained in the surface. This line is called a ruling. If α(t) is a curve that cuts across all the rulings and β(t) is the direction of ruling (you can think that the surface is obtained by moving vector β along the curve α), the surface can be described by x(t; s) = α(t) + sβ(t) The s-curves are ruling lines α(t0) + sβ(t0): In case that β is a constant vector, the t-curves represent curve α translated in space. Hyperboloid as a ruled surface Examples of ruled surfaces. 1. A plane can be considered to be a ruled surface letting α(t) be a line and β(t) be a constant vector. 2. A cone is a ruled surface with α constant, say point P . The point P is called the vertex of the cone. In case that β makes a constant angle with fixed line through P (called the axis) of the cone), we obtain the right circular cone. For example, the cone z = px2 + y2 can be parametrized by taking α = (0; 0; 0) and β = (cos t; sin t; 1) and getting (s cos t; s sin t; s): 3 3. A cylindrical surface is defined as a ruled surface with β constant vector. If α is a cir- cle, the cylindrical surface is said to be circu- lar cylinder. If β is a vector perpendicular to the plane of circle α the circular cylinder is said to be right. For example, the cylinder x2 + y2 = a2 can be considered as a ruled surfaces with α being the circle in xy-plane and β = (0; 0; 1): 4. The helicoid (r cos θ; r sin θ; aθ) can be considered to be a ruled surface by taking α = (0; 0; aθ) and β = (cos θ; sin θ; 0): 5. Another example of a ruled surface is a M¨obiusstrip (or M¨obiusband). A model can be created by taking a paper strip and giving it a half-twist (180◦-twists), and then joining the ends of the strip together to form a loop. The M¨obiusstrip has several curious properties: it is a surface with only one side and only one boundary. To convince yourself of these facts, create your own M¨obiusstrip and play with it (or go to Wikipedia and study the images there). Another interesting property is that if you cut a M¨obiusstrip along the center line, you will get one long strip with two full twists in it, not two separate strips. The resulting strip will have two sides and two boundaries. So, cutting created a second boundary. Continuing this construction you can deduce that a strip with an odd-number of half-twists will have only one surface and one boundary while a strip with an even-number of half-twists will have two surfaces and two bound- M¨obiusstrip aries.
Load more

Recommended publications
  • 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]
  • 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]
  • AN INTRODUCTION to the CURVATURE of SURFACES by PHILIP ANTHONY BARILE a Thesis Submitted to the Graduate School-Camden Rutgers
    AN INTRODUCTION TO THE CURVATURE OF SURFACES By PHILIP ANTHONY BARILE A thesis submitted to the Graduate School-Camden Rutgers, The State University Of New Jersey in partial fulfillment of the requirements for the degree of Master of Science Graduate Program in Mathematics written under the direction of Haydee Herrera and approved by Camden, NJ January 2009 ABSTRACT OF THE THESIS An Introduction to the Curvature of Surfaces by PHILIP ANTHONY BARILE Thesis Director: Haydee Herrera Curvature is fundamental to the study of differential geometry. It describes different geometrical and topological properties of a surface in R3. Two types of curvature are discussed in this paper: intrinsic and extrinsic. Numerous examples are given which motivate definitions, properties and theorems concerning curvature. ii 1 1 Introduction For surfaces in R3, there are several different ways to measure curvature. Some curvature, like normal curvature, has the property such that it depends on how we embed the surface in R3. Normal curvature is extrinsic; that is, it could not be measured by being on the surface. On the other hand, another measurement of curvature, namely Gauss curvature, does not depend on how we embed the surface in R3. Gauss curvature is intrinsic; that is, it can be measured from on the surface. In order to engage in a discussion about curvature of surfaces, we must introduce some important concepts such as regular surfaces, the tangent plane, the first and second fundamental form, and the Gauss Map. Sections 2,3 and 4 introduce these preliminaries, however, their importance should not be understated as they lay the groundwork for more subtle and advanced topics in differential geometry.
    [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]
  • Shapewright: Finite Element Based Free-Form Shape Design
    ShapeWright: Finite Element Based Free-Form Shape Design by George Celniker S.M., Mechanical Engineering Massachusetts Institute of Technology January, 1981 B.S., Mechanical Engineering Massachusetts Institute of Technology May, 1979 Submitted to the Department of Mechanical Engineering in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mechanical Engineering at the Massachusetts Institute of Technology September, 1990 © Massachusetts Institute of Technology, 1990, All rights reserved. Signature of Author . ... , , , Department of Mechariical Engineering August 3, 1990 Certified by Professor David C. Gossard Thesis Supervisor Accepted by Ain A. Sonin Chairman, Department Committee MASSACHUITTS INSTITOiI OF TECHIvn .:.. NOV 0 8 1990 LIBRARIEb ShapeWright: Finite Element Based Free-Form Shape Design by George Celniker Submitted to the Department of Mechanical Engineering on September, 1990 inpartial fulfillment of the requirements for the degree of Doctor of Philosophy inMechanical Engineering. Abstract The mathematical foundations and an implementation of a new free-form shape design paradigm are developed. The finite element method is applied to generate shapes that minimize a surface energy function subject to user-specified geometric constraints while responding to user-specified forces. Because of the energy minimization these surfaces opportunistically seek globally fair shapes. It is proposed that shape fairness is a global and not a local property. Very fair shapes with C1 continuity are designed. Two finite elements, a curve segment and a triangular surface element, are developed and used as the geometric primitives of the approach. The curve segments yield piecewise C1 Hermite cubic polynomials. The surface element edges have cubic variations in position and parabolic variations in surface normal and can be combined to yield piecewise C1 surfaces.
    [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]
  • Fundamental Forms of Surfaces and the Gauss-Bonnet Theorem
    FUNDAMENTAL FORMS OF SURFACES AND THE GAUSS-BONNET THEOREM HUNTER S. CHASE Abstract. We define the first and second fundamental forms of surfaces, ex- ploring their properties as they relate to measuring arc lengths and areas, identifying isometric surfaces, and finding extrema. These forms can be used to define the Gaussian curvature, which is, unlike the first and second fun- damental forms, independent of the parametrization of the surface. Gauss's Egregious Theorem reveals more about the Gaussian curvature, that it de- pends only on the first fundamental form and thus identifies isometries be- tween surfaces. Finally, we present the Gauss-Bonnet Theorem, a remarkable theorem that, in its global form, relates the Gaussian curvature of the surface, a geometric property, to the Euler characteristic of the surface, a topological property. Contents 1. Surfaces and the First Fundamental Form 1 2. The Second Fundamental Form 5 3. Curvature 7 4. The Gauss-Bonnet Theorem 8 Acknowledgments 12 References 12 1. Surfaces and the First Fundamental Form We begin our study by examining two properties of surfaces in R3, called the first and second fundamental forms. First, however, we must understand what we are dealing with when we talk about a surface. Definition 1.1. A smooth surface in R3 is a subset X ⊂ R3 such that each point has a neighborhood U ⊂ X and a map r : V ! R3 from an open set V ⊂ R2 such that • r : V ! U is a homeomorphism. This means that r is a bijection that continously maps V into U, and that the inverse function r−1 exists and is continuous.
    [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]
  • Geometry of Surfaces 1 4.1
    M435: INTRODUCTION TO DIFFERENTIAL GEOMETRY MARK POWELL Contents 4. Geometry of Surfaces 1 4.1. Smooth patches 1 4.2. Tangent spaces 3 4.3. Vector fields and covariant derivatives 4 4.4. The normal vector and the Gauss map 7 4.5. Change of parametrisation 7 4.6. Linear Algebra review 14 4.7. First Fundamental Form 14 4.8. Angles 16 4.9. Areas 17 4.10. Effect of change of coordinates on first fundamental form 17 4.11. Isometries and local isometries 18 References 21 4. Geometry of Surfaces 4.1. Smooth patches. Definition 4.1. A smooth patch of a surface in R3 consists of an open subset U ⊆ R2 and a smooth map r: U ! R3 which is a homeomorphism onto its image r(U), and which has injective derivative. The image r(U) is a smooth surface in R3. Recall that the injective derivative condition can be checked by computing ru ^ rv =6 0 everywhere. A patch gives us coordinates (u; v) on our surface. The curves α(t) = r(t; v) and β(t) = r(u; t), for fixed u; v, are the coordinate lines on our surface. The lines of constant longitude and latitude on the surface of the earth are examples. Smooth means that all derivatives exist. In practice, derivatives up to third or fourth order at most are usually sufficient. Example 4.2. The requirement that r be injective means that we sometimes have to restrict our domain, and we may not cover the whole of some compact surface with one patch.
    [Show full text]