CS Tutorial 5 - Differential Geometry I - Surfaces

Similar documents
Chapter 4. The First Fundamental Form (Induced Metric)

Surfaces JWR. February 13, 2014

A PROOF OF THE GAUSS-BONNET THEOREM. Contents. 1. Introduction. 2. Regular Surfaces

The First Fundamental Form

Surface x(u, v) and curve α(t) on it given by u(t) & v(t). Math 4140/5530: Differential Geometry

Practice Final Solutions

Dierential Geometry Curves and surfaces Local properties Geometric foundations (critical for visual modeling and computing) Quantitative analysis Algo

Rule ST1 (Symmetry). α β = β α for 1-forms α and β. Like the exterior product, the symmetric tensor product is also linear in each slot :

7.1 Tangent Planes; Differentials of Maps Between

Introduction to Algebraic and Geometric Topology Week 14

9.1 Mean and Gaussian Curvatures of Surfaces

Summary for Vector Calculus and Complex Calculus (Math 321) By Lei Li

Figure 25:Differentials of surface.

Math 212-Lecture 8. The chain rule with one independent variable

Change of Variables, Parametrizations, Surface Integrals

Hyperbolic Geometry on Geometric Surfaces

Chapter 14. Basics of The Differential Geometry of Surfaces. Introduction. Parameterized Surfaces. The First... Home Page. Title Page.

Topic 5.6: Surfaces and Surface Elements

Lecture 13 The Fundamental Forms of a Surface

Gradient, Divergence and Curl in Curvilinear Coordinates

Name: SOLUTIONS Date: 11/9/2017. M20550 Calculus III Tutorial Worksheet 8

HOMEWORK 2 - SOLUTIONS

f(p i )Area(T i ) F ( r(u, w) ) (r u r w ) da

Vector Calculus handout

Chapter 5. The Second Fundamental Form

1 The Differential Geometry of Surfaces

51. General Surface Integrals

Sec. 1.1: Basics of Vectors

Totally quasi-umbilic timelike surfaces in R 1,2

Multiple Integrals and Vector Calculus: Synopsis

Department of Aerospace Engineering AE602 Mathematics for Aerospace Engineers Assignment No. 6

Figure 21:The polar and Cartesian coordinate systems.

Metrics on Surfaces. Chapter The Intuitive Idea of Distance

Green s Theorem. MATH 311, Calculus III. J. Robert Buchanan. Fall Department of Mathematics. J. Robert Buchanan Green s Theorem

MATH503 - HOMEWORK #2. v k. + v i. (fv i ) = f v i. + v k. ) + u j (ɛ ijk. ) u j (ɛ jik

MATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 2 ADVANCED DIFFERENTIATION

Notes on Cartan s Method of Moving Frames

HILBERT S THEOREM ON THE HYPERBOLIC PLANE

= π + sin π = π + 0 = π, so the object is moving at a speed of π feet per second after π seconds. (c) How far does it go in π seconds?

CURRENT MATERIAL: Vector Calculus.

Multiple Integrals and Vector Calculus (Oxford Physics) Synopsis and Problem Sets; Hilary 2015

Map Projections. Jim Emery. Revision 7/21/ The Earth Ellipsoid 2. 2 The Fundamental Quadratic Forms of a Surface 6

HOMEWORK 3 MA1132: ADVANCED CALCULUS, HILARY 2017

e x3 dx dy. 0 y x 2, 0 x 1.

Instructions: No books. No notes. Non-graphing calculators only. You are encouraged, although not required, to show your work.

CHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.

PDF Created with deskpdf PDF Writer - Trial ::

Math 234 Final Exam (with answers) Spring 2017

MA102: Multivariable Calculus

1. (a) (5 points) Find the unit tangent and unit normal vectors T and N to the curve. r (t) = 3 cos t, 0, 3 sin t, r ( 3π

AN INTRODUCTION TO CURVILINEAR ORTHOGONAL COORDINATES

d F = (df E 3 ) E 3. (4.1)

DO NOT BEGIN THIS TEST UNTIL INSTRUCTED TO START

THEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009

16.5 Surface Integrals of Vector Fields

Sample Final Questions: Solutions Math 21B, Winter y ( y 1)(1 + y)) = A y + B

Definition of Derivative

Note: Each problem is worth 14 points except numbers 5 and 6 which are 15 points. = 3 2

DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES 5. The Second Fundamental Form of a Surface

Arc Length and Surface Area in Parametric Equations

Math 67. Rumbos Fall Solutions to Review Problems for Final Exam. (a) Use the triangle inequality to derive the inequality

Math 10C - Fall Final Exam

Contents. MATH 32B-2 (18W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables. 1 Multiple Integrals 3. 2 Vector Fields 9

18.02 Multivariable Calculus Fall 2007

1 + f 2 x + f 2 y dy dx, where f(x, y) = 2 + 3x + 4y, is

DIFFERENTIAL GEOMETRY HW 4. Show that a catenoid and helicoid are locally isometric.

Math 115 ( ) Yum-Tong Siu 1. Euler-Lagrange Equations for Many Functions and Variables and High-Order Derivatives

Summary of various integrals

MATH 52 FINAL EXAM SOLUTIONS

3. On the grid below, sketch and label graphs of the following functions: y = sin x, y = cos x, and y = sin(x π/2). π/2 π 3π/2 2π 5π/2

Green s, Divergence, Stokes: Statements and First Applications

Math 461 Homework 8. Paul Hacking. November 27, 2018

Math 461 Homework 8 Paul Hacking November 27, 2018

Algebra II. Paulius Drungilas and Jonas Jankauskas

MULTIVARIABLE CALCULUS

MATH2111 Higher Several Variable Calculus Integration

Introduction to Differentials

Math 212-Lecture Integration in cylindrical and spherical coordinates

Topics. CS Advanced Computer Graphics. Differential Geometry Basics. James F. O Brien. Vector and Tensor Fields.

Math 234. What you should know on day one. August 28, You should be able to use general principles like. x = cos t, y = sin t, 0 t π.

5.3 Surface Theory with Differential Forms

x + ye z2 + ze y2, y + xe z2 + ze x2, z and where T is the

Math 23b Practice Final Summer 2011

Math Vector Calculus II

LINEAR ALGEBRA (PMTH213) Tutorial Questions

Practice Problems for Exam 3 (Solutions) 1. Let F(x, y) = xyi+(y 3x)j, and let C be the curve r(t) = ti+(3t t 2 )j for 0 t 2. Compute F dr.

HOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection.

( sin(t), cos(t), 1) dt =

SOME PROBLEMS YOU SHOULD BE ABLE TO DO

WORKSHEET #13 MATH 1260 FALL 2014

Volumes of Solids of Revolution Lecture #6 a

Final Exam Topic Outline

Calculus III. Math 233 Spring Final exam May 3rd. Suggested solutions

MAC2313 Final A. (5 pts) 1. How many of the following are necessarily true? i. The vector field F = 2x + 3y, 3x 5y is conservative.

A FEW APPLICATIONS OF DIFFERENTIAL FORMS. Contents

GEOMETRY HW Consider the parametrized surface (Enneper s surface)

The Geometry of Relativity

MATH 271 Test #4T Solutions

Calculus II Practice Test Problems for Chapter 7 Page 1 of 6

Final exam (practice 1) UCLA: Math 32B, Spring 2018

Transcription:

236861 Numerical Geometry of Images Tutorial 5 Differential Geometry II Surfaces c 2009

Parameterized surfaces A parameterized surface X : U R 2 R 3 a differentiable map 1 X from an open set U R 2 to R 3. Explicitly, X (U) is written as X (u, v) = (x(u, v), y(u, v), z(u, v)). X (U) R 3 is called the trace of X. 1 X (u, v) is called differentiable if x(u, v), y(u, v) and z(u, v) are differentiable functions w.r.t. the parameters u, v.

Parameterizations of a sphere - examples 2 (a) (b) (c) Figure: (a) Sphere in R 3. (b) Six overlapping parameterization of a kind X (x, y) = (x, y, ) 1 x 2 y 2. (c) X (θ, φ) = (sin θ cos φ, sin θ sin φ, cos θ). 2 Differential geometry of curves and surfaces, by Manfredo P. do Carmo

Differential of X Let X : U R n R m be a differential map. For each p U we will define the differential of X at p by dx p : U R n R m Let w R n and let α : ( ɛ, ɛ) U be a differential curve such that α(0) = p, α (0) = w. An image of α in R m s given by Then: β = X α( ɛ, ɛ) R m dx p (w) = β (0)

Differential of X : illustration ε v w X( p) z ( ) dx w p ε 0 α p u X X α = β y x

Calculation of the differential in R 3 Let X : U R 2 R 3 be a differential map. α(t) = (u(t), v(t)) β(t) = X α(t) = (x (u(t), v(t)), y (u(t), v(t)), z (u(t), v(t))) β (0) = x u y u z u x v y v z v ( du dt dv dt ) = dx p (w) Note: dx p (w) depends only on w, and not on the choice of α(t).

Exercise: df p calculation Calculate df p for F (u, v) = ( u 2 v 2, 2uv ), (u, v) R 2. Solution: df p = x = u 2 v 2, y = 2uv ( x u y u x v y v df (1,1) (2, 3) = df p ( 1 1 ) ( ) 2x 2y = 2y 2x ) = ( 2, 10)

Regular parameterization, Tangent space, Normal We will say that a differential parameterization X (U) is regular if X u (u, v) and X v (u, v) are linearly independent for all (u, v) U. Tangent plane (space) at p: a plane T p containing all the tangents to curves passing through the point p S. The tangent plane is spanned by the vectors X u (u, v), X v (u, v). Surface normal: a unit vector orthogonal to the tangent plane at the point p, defined by N(p) = X u X v X u X v (p)

Surfaces in R 3 - examples

Exercise: tangent space, normal Calculate the equation of the tangent plane of a surface which is a graph of a differentiable function z = f (x, y), at the point (x 0, y 0 ). Solution: X (x, y) = (x, y, f (x, y)) X x (x, y) = (1, 0, f x (x, y)) X y (x, y) = (0, 1, f y (x, y)) N = X u X v X u X v = ( f x, f y, 1) fx 2 + fy 2 + 1 Equation of a plane passing through (x 0, y 0 ) and perpendicular to N(x 0, y 0 ) is: f x (x 0, y 0 )(x x 0 ) + f y (x 0, y 0 )(y y 0 ) (z f (x 0, y 0 )) = 0

The first fundamental form In order to measure local distances on the regular surface S, we assign an inner product on the tangent plane T p of S at every point p. The first fundamental form: a quadratic form I p : T p (S) T p (S) R, given by I p (w 1, w 2 ) = w 1, w 2 p. <, > p is a standard inner product of R 3 ; p stands for the tangent plane T p of the surface S at the point p. The form I p (w 1, w 2 ) is bilinear, symmetric and positive-definite.

The first fundamental form in terms of X u, X v Let α 1 (t) = X (u 1 (t), v 1 (t)) and α 2 (t) = X (u 2 (t), v 2 (t)) be two differential curves such that α 1 (0) = α 2 (0) = p, α 1(0) = w 1, α 2(0) = w 2. The first fundamental form is given by: I p (w 1, w 2 ) = α 1(0), α 2(0) = X u u 1 + X v v 1, X u u 2 + X v v 2 ( ) u T ( ) ( ) = 1 Xu, X u X u, X v u 2 v 1 X v, X u X v, X v v 2 ( ) u T ( ) ( ) = 1 E F u 2 v 1 F G v 2

The first fundamental form - alternative notation ( E F F G ) ( g11 g = 12 g 21 g 22 ) = ( Xu, X u X u, X v X v, X u X v, X v ) In coordinate notation: I p (w 1, w 2 ) = 2 2 g ij w 1 i w j 2 = g ij w 1 i w j 2 i=1 j=1 where we use the Einstein summation convention, according to which identical sub- and super-scripts are summed up; w k = (u k, v k ), k = 1, 2.

Exercise: calculation of I p Calculate the first fundamental form of a unit sphere parameterized by X (θ, φ) = (sin θ cos φ, sin θ sin φ, cos θ) Solution: X θ = (cos θ cos φ, cos θ sin φ, sin θ) X φ = (sin θ sin φ, sin θ cos φ, 0) E = X θ, X θ = cos 2 θ cos 2 φ + cos 2 θ sin 2 φ + sin 2 θ = 1 F = X θ, X φ = cos θ cos φ sin θ sin φ + cos θ sin φ sin θ cos φ = 0 G = X φ, X φ = sin 2 θ sin 2 φ + sin 2 θ cos 2 φ = sin 2 θ

Length calculation The length of a parameterized curve β : [0, T ] S is given by s(t) = t 0 β ( t) d t = t 0 I p (β, β )d t Given that α(t) = (u(t), v(t)), β(t) = X α(t), s(t) = t 0 E(u ) 2 + 2Fu v + G(v ) 2 d t Also, local element of the arclength is given by ds 2 = Edu 2 + 2Fdudv + Gdv 2

Area calculation Area of a bounded region R of a regular surface S = X (U) is given by A(R) = X u X v dudv, Q = X 1 (R) Q From the equality X u X v 2 + X u, X v 2 = X u 2 X v 2 it follows that X u X v = EG F 2 Note that EG F 2 > 0, by definition (prove).

Exercise: arclength and area measured on a sphere Calculate ds 2 and da = X u X v dθdφ of a unit sphere parameterized by X (θ, φ) = (sin θ cos φ, sin θ sin φ, cos θ) Solution: the first fundamental form of a sphere is given by ( ) ( ) E F 1 0 = F G 0 sin 2 θ Therefore: ds 2 = Edθ 2 + 2Fdθdφ + Gdφ 2 = dθ 2 + sin 2 θdφ 2 da = EG F 2 dθdφ = sin 2 θdθdφ

Orientation of surfaces We saw that a surface normal at point p S is defined by N(p) = X u X v X u X v (p) We will say that a regular surface S is orientable if and only if there exist a differentiable field of unit normal vectors N : S R 3 on S. Orientable surfaces: sphere, paper roll. Non-orientable surface: Möbius strip.