Chapter 5. The Second Fundamental Form
|
|
- Ashlee Carr
- 5 years ago
- Views:
Transcription
1 Chapter 5. The Second Fundamental Form Directional Derivatives in IR 3. Let f : U IR 3 IR be a smooth function defined on an open subset of IR 3. Fix p U and X T p IR 3. The directional derivative of f at p in the direction X, denoted D X f is defined as follows. Let σ : IR IR 3 be the parameterized straight line, σ(t) = p + tx. Note σ(0) = p and σ (0) = X. Then, D X f = d dt f σ(t) t=0 = d dt f(p + tx) t=0 ( = lim t 0 f(p + tx) f(p) t ). Fact: The directional derivative is given by the following formula, D X f = X f(p) = (X 1, X 2, X 3 ) ( ) f f f (p), (p), x y z (p) = X 1 f f f (p) + X2 (p) + X3 x1 x2 x (p) 3 Proof Chain rule! = 3 i=1 X i f x i (p). Vector Fields on IR 3. A vector field on IR 3 is a rule which assigns to each point of IR 3 a vector at the point, x IR 3 Y (x) T x IR 3 1
2 Analytically, a vector field is described by a mapping of the form, Y : U IR 3 IR 3, Y (x) = (Y 1 (x), Y 2 (x), Y 3 (x)) T x IR 3. Components of Y : Y i : U IR, i = 1, 2, 3. Ex. Y : IR 3 IR 3, Y (x, y, z) = (y + z, z + x, x + y). E.g., Y (1, 2, 3) = (5, 4, 3), etc. Y 1 = y + z, Y 2 = z + x, and Y 3 = x + y. The directional derivative of a vector field is defined in a manner similar to the directional derivative of a function: Fix p U, X T p IR 3. Let σ : IR IR 3 be the parameterized line σ(t) = p + tx (σ(0) = p, σ (0) = X). Then t Y σ(t) is a vector field along σ in the sense of the definition in Chapter 2. Then, the directional derivative of Y in the direction X at p, is defined as, D X Y = d dt Y σ(t) t=0 I.e., to compute D X Y, restrict Y to σ to obtain a vector valued function of t, and differentiate with respect to t. In terms of components, Y = (Y 1, Y 2, Y 3 ), D X Y = d dt (Y 1 σ(t), Y 2 σ(t), Y 3 σ(t)) t=0 = ( d dt Y 1 σ(t) t=0, d dt Y 2 σ(t) t=0, d ) dt Y 3 σ(t) t=0 = (D X Y 1, D X Y 2, D X Y 3 ). 2
3 Directional derivatives on surfaces. Let M be a surface, and let f : M IR be a smooth function on M. Recall, this means that ˆf = f x is smooth for all proper patches x : U M in M. Def. For p M, X T p M, the directional derivative of f at p in the direction X, denoted X f, is defined as follows. Let σ : ( ɛ, ɛ) M IR 3 be any smooth curve in M such that σ(0) = p and σ (0) = X. Then, X f = d dt f σ(t) t=0 I.e., to compute X f, restrict f to σ and differentiate with respect to parameter t. Proposition. The directional derivative is well-defined, i.e. independent of the particular choice of σ. Proof. Let x : U M be a proper patch containing p. Express σ in terms of coordinates in the usual manner, By the chain rule, σ(t) = x(u 1 (t), u 2 (t)). dσ dt = du i dt x i ( x i = x ) u i X T p M X = X i x i. The initial condition, dσ (0) = X then implies dt Now, du i dt (0) = Xi, i = 1, 2. f σ(t) = f(σ(t)) = f(x(u 1 (t), u 2 (t)) = f x(u 1 (t), u 2 (t)) = ˆf(u 1 (t), u 2 (t)). 3
4 Hence, by the chain rule, d dt f σ(t) = ˆf du 1 u 1 dt + ˆf du 2 u 2 dt = i ˆf u i du i dt = i du i dt ˆf u i. Therefore, X f = d dt f σ(t) t=0 = i du i ˆf (0) dt u i (u1, u 2 ), (p = x(u 1, u 2 )) or simply, X f X f = i X i ˆf u i (u1, u 2 ), = X i ˆf u i = X 1 ˆf ˆf + X2 u1 u. 2 ( ) Ex. Let X = x 1. Since x 1 = 1 x x 2, X 1 = 1 and X 2 = 0. Hence the above equation implies, x1 f = ˆf u. Similarly, 1 x 2 f = ˆf u. I.e., 2 xi f = ˆf, i = 1, 2. ui The following proposition summarizes some basic properties of directional derivatives in surfaces. Proposition (1) (ax+by ) f = a X f + b Y f (2) X (f + g) = X f + X g (3) X fg = ( X f)g + f( X g) 4
5 Exercise 5.1. Prove this proposition. Vector fields along a surface. A vector field along a surface M is a rule which assigns to each point of M a vector at that point, x M Y (x) T x IR 3 N.B. Y (x) need not be tangent to M. Analytically vector fields along a surface M are described by mappings. Y : M IR 3 Y (x) = (Y 1 (x), Y 2 (x), Y 3 (x)) T x IR 3 Components of Y : Y i : M IR, i = 1, 2, 3. We say Y is smooth if its component functions are smooth. The directional derivative of a vector field along M is defined in a manner similar to the directional derivative of a function defined on M. Given a vector field along M, Y : M IR 3, for p M, X T p M, the directional derivative of Y in the direction X, denoted X Y, is defined as, X Y = d dt Y σ(t) t=0 where σ : ( ɛ, ɛ) M is a smooth curve in M such that σ(0) = p and dσ (0) = X. dt 5
6 I.e. to compute X Y, restrict Y to σ to obtain a vector valued function of t - then differentiate with respect to t. Fact If Y (x) = (Y 1 (x), Y 2 (x), Y 3 (x)) then, X Y = ( X Y 1, X Y 2, X Y 3 ) Proof: Exercise. Surface Coordinate Expression. Let x : U M be a proper patch in M containing p. Let X T p M, X = x i x i. An argument like that for functions on M shows, i X Y = 2 i=1 X i Ŷ u i (u1, u 2 ), (p = x(u 1, u 2 )) where Ŷ = Y x : U IR3 is Y expressed in terms of coordinates. Exercise 5.2. Derive the expression above for X Y. In particular, show xi Y = Ŷ u i, i = 1, 2. Some basic properties are described in the following proposition. Proposition (1) ax+by Z = a X Z + b Y Z (2) X (Y + Z) = X Y + X Z (3) X (fy ) = ( X f)y + f X Y (4) X Y, Z = X Y, Z + Y, X Z 6
7 The Weingarten Map and the 2nd Fundamental Form. We are interested in studying the shape of surfaces in IR 3. Our approach (essentially due to Gauss) is to study how the unit normal to the surface wiggles along the surface. The objects which describe the shape of M are: 1. The Weingarten Map, or shape operator. For each p M this is a certain linear transformation L : T p M T p M. 2. The second fundamental form. This is a certain bilinear form L : T p M T p M IR associated in a natural way with the Weingarten map. We now describe the Weingarten map. Fix p M. Let n : W IR 3, p W n(p) T p IR 3, be a smooth unit normal vector field defined along a neighborhood W of p. Remarks 1. n can always be constructed by introducing a proper patch x : U M, x = x(u 1, u 2 ) containing p: ˆn = x 1 x 2 x 1 x 2, ˆn : U IR 3, ˆn = ˆn(u 1, u 2 ). Then, n = ˆn x 1 : x(u) IR 3 is a smooth unit normal v.f. along x(u). 2. The choice of n is not quite unique: n n; choice of n is unique up to sign 7
8 3. A smooth unit normal field n always exists in a neighborhood of any given point p, but it may not be possible to extend n to all of M. This depends on whether or not M is an orientable surface. Ex. Möbius band. Lemma. Let M be a surface, p M, and n be a smooth unit normal vector field defined along a neighborhood W M of p. Then for any X T p M, X n T p M. Proof. It suffices to show that X n is perpendicular to n. n = 1 n, n = 1 X n, n = X 1 X n, n + n, X n = 0 2 X n, n = 0 and hence X n n. Def. Let M be a surface, p M, and n be a smooth unit normal v.f. defined along a nbd W M of p. The Weingarten Map (or shape operator) is the map L : T p M T p M defined by, L(X) = X n. Remarks 1. The minus sign is a convention will explain later. 2. L(X) = X n = d dt n σ(t) t=0 8
9 Lemma: L : T p M T p M is a linear map, i.e., L(aX + by ) = al(x) + bl(y ). for all X, Y, T p M, a, b IR. Proof. Follows from properties of directional derivative, L(aX + by ) = ax+by n Ex. Let M be a plane in IR 3 : = [a X n + b Y n] = a( X n) + b( Y n) = al(x) + bl(y ). M : ax + by + cz = d Determine the Weingarten Map at each point of M. Well, ( (a, b, c) a n = a2 + b 2 + c = 2 λ, b λ, c ), λ where λ = a 2 + b 2 + c 2. Hence, L(X) = X n = X ( a λ, b λ, c λ ( a = X λ, X Therefore L(X) = 0 X T p M, i.e. L 0. ) ) b λ, c X = 0. λ Ex. Let M = S 2 r be the sphere of radius r, let n be the outward pointing unit normal. Determine the Weingarten map at each point of M. 9
10 Fix p S 2 r, and let X T p S 2 r. Let σ : ( ε, ε) S 2 r be a curve in S 2 r such that σ(0) = p, dσ dt (0) = X Then, L(X) = X n = d dt n σ(t) t=0. But note, n σ(t) = n(σ(t)) = σ(t) σ(t) = σ(t) r. Hence, L(X) = d σ(t) dt r t=0 = 1 dσ r dt t=0 L(X) = 1 r X. for all X T p M. Hence, L = 1 r id, where id : T pm T p M is the identity map, id(x) = X. Remark. If we had taken the inward pointing normal then L = 1 r id. Def. For each p M, the second fundamental form is the bilinear form L = T p M T p M IR defined by, L is indeed bilinear, e.g., Ex. M = plane, L 0: L(X, Y ) = L(X), Y = X n, Y. L(aX + by, Z) = L(aX + by ), Z = al(x) + bl(y ), Z = a L(X), Z + b L(Y ), Z = al(x, Z) + bl(y, Z). L(X, Y ) = L(X), Y = 0, Y = 0. Ex. The sphere S 2 r of radius r, L : T p S 2 r T p S 2 r IR, L(X, Y ) = L(X), Y = 1 r X, Y = 1 r X, Y 10
11 Hence, L = 1,. Multiple of the first fundamental form! r Coordinate expressions Let x : U M be a patch containing p M. Then {x 1, x 2 } is a basis for T p M. We express L : T p M T p M and L : T p M T p M R with respect to this basis. Since L(x j ) T p M, we have, L(x j ) = L 1 jx 1 + L 2 jx 2, j = 1, 2 2 = L i jx i. i=1 The numbers L i j, 1 i, j 2, are called the components of L with respect to the coordinate basis {x 1, x 2 }. The 2 2 matrix [L i j] is the matrix representing the linear map L with respect to the basis {x 1, x 2 }. Exercise 5.3 Let X T p M and let Y = L(X). In terms of components, X = j Xj x j and Y = i Y i x i. Show that Y i = j L i jx j, i = 1, 2, which in turn implies the matrix equation, [ ] Y 1 Y 2 = [ ] [ ] L i X 1 j X 2. This is the Weingarten map expressed as a matrix equation. Introduce the unit normal field along W = x(u) with respect to the patch x : U M, ˆn = x 1 x 2 x 1 x 2, ˆn = ˆn(u1, u 2 ), n = ˆn x 1 : W R. Then by Exercise 5.2, Setting n j = ˆn u j we have n j = L(x j ) L(x j ) = xj n = ˆn u j. n j = i L i jx i, j = 1, 2 (The Weingarten equations.) 11
12 These equations can be used to compute the components of the Weingarten map. However, in practice it turns out to be more useful to have a formula for computing the components of the second fundamental form. Components of L: The components of L with respect to {x 1, x 2 } are defined as, L ij = L(x i, x j ), 1 i, j 2. By bilinearity, the components completely determine L, L(X, Y ) = L( i X i x i, j Y j x j ) = i,j = i,j X i Y j L(x i, x j ) L ij X i Y j. The following proposition provides a useful formula for computing the L ij s. Proposition. The components L ij of L are given by, where x ij = 2 x u j u i. L ij = ˆn, x ij, Remark. Henceforth we no longer distinguish between n and ˆn, i.e., lets agree to drop the ˆ, then, L ij = n, x ij, Proof: 12
13 Along x(u) we have, n, x u j = 0, and hence, n u i, x u j + n, or, using shorthand notation, But, x n, ui u j = 0 2 x u i u j = 0 n u i, x u j = n, 2 x u i u j = n, n i, x j = n, x ij. L ij = L(x i, x j ) = L(x i ), x j = n i, x j, 2 x u j u i, and hence L ij = n, x ij. Observe, In other words, L(x i, x j ) = L(x j, x i ). L ij = n, x ij = n, x ji (mixed partials equal!) L ij = L ji, 1 i, j 2. Proposition. i.e. Exercise i, j 2. The second fundamental form L : T p M T p M IR is symmetric, L(X, Y ) = L(Y, X) X, Y T p M. Prove this proposition by showing L is symmetric iff L ij = L ji for all Relationship between L i j and L ij L ij = L(x i, x j ) = L(x j, x i ) = L(x j ), x i = k L k jx k, x i, = k L k j x k, x i L ij = k g ik L k j, 1 i, j 2 13
14 Classical tensor jargon: L ij obtained from L k j by lowering the index k with the metric. The equation above implies the matrix equation [L ij ] = [g ij ][L i j]. Geometric Interpretation of the 2nd Fundamental Form Normal Curvature. Let s σ(s) be a unit speed curve lying in a surface M. Let p be a point on σ, and let n be a smooth unit normal v.f. defined in a nbd W of p. The normal curvature of σ at p, denoted κ n, is defined to be the component of the curvature vector σ = T along n, i.e., κ n = normal component of the curvature vector = σ, n = T, n = T n cos θ = κ cos θ, where θ is the angle between the curvature vector T and the surface normal n. If κ 0 then, recall, we can introduce the principal normal N to σ, by the equation, T = κn; in this case θ is the angle beween N and n. Remark: κ n gives a measure of how much σ is bending in the direction perpendicular to the surface; it neglects the amount of bending tangent to the surface. Proposition. Let M be a surface, p M. Let X T p M, X = 1 (i.e. X is a unit tangent vector). Let s σ(s) be any unit speed curve in M such that σ(0) = p and σ (0) = X. Then L(X, X) = normal curvature of σ at p = σ, n. 14
15 Proof. Along σ, σ (s), n σ(s) = 0, for all s d ds σ, n σ = 0 σ, n σ + σ, d ds n σ = 0. At s = 0, σ, n + X, X n = 0 σ, n = X, X n κ n = X, L(X) κ n = L(X), X = L(X, X). Remark: the sign convention used in the definition of the Weingarten map ensures that L(X, X) = +κ n (rather than κ n ). Corollary. All unit speed curves lying in a surface M which pass through p M and have the same unit tangent vector X at p, have the same normal curvature at p. That is, the normal curvature depends only on the tangent direction X. Thus it makes sense to say: L(X, X) is the normal curvature in the direction X. Given a unit tangent vector X T p M, there is a distinguished curve in M, called the normal section at p in the direction X. Let, Π = plane through p spanned by n and X. Π cuts M in a curve σ. Parameterize σ wrt arc length, s σ(s), such that σ(0) = p and dσ ds (0) = X : 15
16 By definition, σ is the normal section at p in the direction X. proposition, By the previous L(X, X) = normal curvature of the normal section σ = σ, n = T, n = κ cos θ, where θ is the angle between n and T. Since σ lies in Π, T is tangent to Π, and since T is also perpendicular to X, it follows that T is a multiple of n. Hence, θ = 0 or π, which implies that L(X, X) = ±κ. Thus we conclude that, L(X, X) = signed curvature of the normal section at p in the direction X. Principal Curvatures. The set of unit tangent vectors at p, X T p M, X = 1, forms a circle in the tangent plane to M at p. Consider the function from this circle into the reals, X normal curvature in direction X X L(X, X). The principal curvatures of M at p, κ 1 = κ 1 (p) and κ 2 = κ 2 (p), are defined as follows, κ 1 = the maximum normal curvature at p = max L(X, X) X =1 κ 2 = the minimum normal curvature at p = min L(X, X) X =1 This is the geometric characterization of principal curvatures. There is also an important algebraic characterization. 16
17 Some Linear Algebra Let V be a vector space over the reals, and let, : V V IR be an inner product on V ; hence V is an inner product space. Let L : V V be a linear transformation. Our main application will be to the case: V = T p M,, = induced metric, and L = Weingarten map. L is said to be self adjoint provided L(v), w = v, L(w) v, w V. Remark. Let V = IR n, with the usual dot product, and let L : IR n IR n be a linear map. Let [L i j] = matrix representing L with respect to the standard basis, e 1 : (1, 0,..., 0), etc. Then L is self-adjoint if and only if [L i j] is symmetric [L i j] = [L j i]. Proposition. The Weingarten map L : T p M T p M is self adjoint, i.e. where, = 1st fundamental form. L(X), Y = X, L(Y ) X, Y T p M, Proof. We have, L(X), Y = L(X, Y ) = L(Y, X) = L(Y ), X = X, L(Y ). Self adjoint linear transformations have very nice properties, as we now discuss. For this discussion, we restrict attention to 2-dimensional vector spaces, dim V = 2. A vector v V, v 0, is called an eigenvector of L if there is a real number λ such that, L(v) = λv. λ is called an eigenvalue of L. The eigenvalues of L can be determined by solving det(a λi) = 0 ( ) where A is a matrix representing L and I = identity matrix. The equation ( ) is a quadratic equation in λ, and hence has at most 2 real roots; it may have no real roots. Theorem (Fundamental Theorem of Self Adjoint Operators) Let V be a 2-dimensional inner product space. Let L : V V be a self-adjoint linear map. Then V admits an orthonormal basis consisting of eigenvectors of L. That is, there exists an orthonormal basis {e 1, e 2 } of V and real numbers λ 1, λ 2, λ 1 λ 2 such that L(e 1 ) = λ 1 e 1, L(e 2 ) = λ 2 e 2, 17
18 i.e., e 1 and e 2 are eigenvectors of L and λ 1, λ 2 are the corresponding eigenvalues. Moreover the eigenvalues are given by Proof. See handout from Do Carmo. λ 1 = max L(v), v v =1 λ 2 = min L(v), v. v =1 Remark on orthogonality of eigenvectors. Let e 1, e 2 be eigenvectors with eigenvalues λ 1, λ 2. If λ 1 λ 2, then e 1 and e 2 are necessarily orthogonal, as seen by the following, λ 1 e 1, e 2 = L(e 1 ), e 2 = e 1, L(e 2 ) = λ 2 e 1, e 2, (λ 1 λ 2 ) e 1, e 2 = 0 e 1, e 2 = 0. On the other hand, if λ 1 = λ 2 = λ then L(v) = λv for all v. Hence any o.n. basis is a basis of eigenvectors. We now apply these facts to the Weingarten map, L : T p M T p M, L : T p M T p M IR, L(X, Y ) = L(X), Y. Since L is self adjoint, and, by definition, we obtain the following. κ 1 = max L(X, X) = max L(X), X X =1 X =1 κ 2 = min L(X, X) = min L(X), X, X =1 X =1 Theorem. The principal curvatures κ 1, κ 2 of M at p are the eigenvalues of the Weingarten map L : T p M T p M. There exists an orthonormal basis {e 1, e 2 } of T p M such that L(e 1 ) = κ 1 e 1, L(e 2 ) = κ 2 e 2, i.e., e 1, e 2 are eigenvectors of L associated with the eigenvalues κ 1, κ 2, respectively. The eigenvectors e 1 and e 2 are called principal directions. Observe that, κ 1 = κ 1 e 1, e 1 = L(e 1 ), e 1 = L(e 1, e 1 ) κ 2 = κ 2 e 2, e 2 = L(e 2 ), e 2 = L(e 2, e 2 ), i.e., the principal curvature κ 1 is the normal curvature in the principal direction e 1, and similarly for κ 2. 18
19 Now, let A be the matrix associated to the Weingarten map L with respect to the orthonormal basis {e 1, e 2 }; thus, L(e 1 ) = κ 1 e 1 + 0e 2 L(e 2 ) = 0e 1 + κ 2 e 2 which implies, Then, [ κ1 0 A = 0 κ 2 ]. det L = det A = κ 1 κ 2 tr L = tr A = κ 1 + κ 2. Definition. The Gaussian curvature of M at p, K = K(p), and the mean curvature of M at p, H = H(p) are defined as follows, K = det L = κ 1 κ 2 H = tr L = κ 1 + κ 2. Remarks. The Gaussian curvature is the more important of the two curvatures; it is what is meant by the curvature of a surface. A famous discovery by Gauss is that it is intrinsic in fact can be computed in terms of the g ij s (This is not obvious!). The mean curvature (which has to do with minimal surface theory) is not intrinsic. This can be easily seen as follows. Changing the normal n n changes the sign of the Weingarten map, L n = L n. This in turn changes the sign of the principal curvatures, hence H = κ 1 + κ 2 changes sign, but K = κ 1 κ 2 does not change sign. 19
20 Some Examples Ex. For S 2 r = sphere of radius r, compute κ 1, κ 2, K, H (Use outward normal). Geometrically: p S 2 r, X T p M, X = 1, L(X, X) = ± curvature of normal section in direction X = curvature of great circle = 1 r. Therefore κ 1 = max L(X, X) = 1 X =1 r, κ 2 = min L(X, X) = 1 X =1 r, K = κ 1 κ 2 = 1 r 2 > 0, H = κ 1 + κ 2 = 2 r. Algebraically: previously, Find eigenvalues of Weingarten map: L : T p M T p M. We showed L = 1 id, i.e., r L(X) = 1 r X for all X T pm. Thus, with respect to any orthonormal basis {e 1, e 2 } of T p M, L(e i ) = 1 r e i i = 1, 2. 20
21 Therefore, κ 1 = κ 2 = 1 r, K = 1 r, H = 2 2 r. Ex. Let M be the cylinder of radius a: x 2 + y 2 = a 2. Compute κ 1, κ 2, K, H. (Use the inward pointing normal) Geometrically: L(X 1, X 1 ) = ± curvature of normal section in direction X 1 = + curvature of circle of radius a = 1 a, L(X 2, X 2 ) = ± curvature of normal section in direction X 2 = curvature of line = 0. In general, for X X 1, X 2, L(X, X) = curvature of ellipse through p. The curvature is between 0 and 1, and thus, a 0 L(X, X) 1 a. 21
22 We conclude that, κ 1 = max L(X, X) = L(X 1, X 1 ) = 1 X =1 a, κ 2 = min L(X, X) = L(X 2, X 2 ) = 0. X =1 Thus, K = 0 (cylinder is flat!) and H = 1 a. Algebraically: Determine the eigenvalues of the Weingarten map. By a rotation and translation we may take p to be the point p = (a, 0, 0). Let e 1, e 2 T p M be the tangent vectors e 1 = (0, 1, 0) and e 2 = (0, 0, 1). To compute L(e 1 ), consider the circle, Note that σ(0) = p and σ (0) = e 1. Thus, σ(s) = (a cos( s a ), a sin( s ), 0) a L(e 1 ) = e1 n. But, = d ds n(σ(s)) s=0 n(σ(s)) = n(σ(s)) = σ(s) σ(s) = σ(s) a ) ( = cos ( s a), sin ( s a), 0 22
23 Therefore, L(e 1 ) = d ds = 1 a ( ( s ( s ) cos, sin, 0 s=0 a) a) ( ( s ( s ) sin, cos, 0 s=0 a) a) = 1 (0, 1, 0) a L(e 1 ) = 1 a e 1 Thus, e 1 is an eigenvector with eigenvalue 1. Similarly (exercise!), a L(e 2 ) = 0 = 0 e 2 i.e., e 2 is an eigenvector with eigenvalue 0. (Note; e 2 is tangent to a vertical line in the surface, along which n is constant.) We conclude that, κ 1 = 1 a, κ 2 = 0, K = 0, H = 1 a. Ex. Consider the saddle surface, M: z = y 2 x 2, Compute κ 1, κ 2, K, H at p = (0, 0, 0). L(e 1, e 1 ) = ± curvature of normal section in direction of e 1 = + curvature of z = y 2 The curvature is given by, κ = d 2 z dy 2 [ ( ) ] 2 3/2 = 2 dz 1 + dy 23
24 and so, L(e 1, e 1 ) = 2. Similarly, L(e 2, e 2 ) = 2. Observe, L(e 2, e 2 ) L(X, X) L(e 1, e 1 ) Therefore, κ 1 = 2, κ 2 = 2, K = 4, and H = 0 at (0, 0, 0). Exercise 5.5. For the saddle surface M above, consider the Weingarten map L : T p M T p M at p = (0, 0, 0). Compute L(e 1 ) and L(e 2 ) directly from the definition of the Weingarten map to show, L(e 1 ) = 2e 1 and L(e 2 ) = 2e 2. Hence, 2 and 2 are the eigenvalues of L, which means κ 1 = 2 and κ 2 = 2. Remark. We have computed the quantities κ 1, κ 2, K, and H of the saddle surface only at a single point. To compute these quantities at all points, we will need to develop better computational tools. Significance of the sign of Gaussian Curvature We have, K = det L = κ 1 κ K > 0 κ 1 and κ 2 have the same sign the normal sections in the principal directions e 1, e 2 both bend in the same direction, K > 0 at p. Ex. z = ax 2 +by 2, a, b have the same sign (elliptic paraboloid). At p = (0, 0, 0), K = 4ab > K < 0 κ 1 and κ 2 have opposite signs normal sections in principle directions e 1 and e 2 bend in opposite directions, K < 0 at p. Ex. z = ax 2 + by 2, a, b have opposite sign (hyperbolic paraboloid). At p = (0, 0, 0), K = 4ab < 0. 24
25 Thus, roughly speaking, K > 0 at p surface is bowl-shaped near p K < 0 at p surface is saddle-shaped near p This rough observation can be made more precise, as we now show. Let M be a surface, p M. Let e 1, e 2 be principal directions at p. Choose e 1, e 2 so that {e 1, e 2, n} is a positively oriented orthonornal basis. By a translation and rotation of the surface, we can assume, (see the figure), (1) p = (0, 0, 0) (2) e 1 = (1, 0, 0), e 2 = (0, 1, 0), n = (0, 0, 1) at p (3) Near p = (0, 0, 0), the surface can be described by an equation of form, z = f(x, y), where f : U IR 2 IR is smooth and f(0, 0) = 0. Claim: Proof. z = 1 2 κ 1x κ 2y 2 + higher order terms Consider the Taylor series about (0, 0) for functions of two variables, z = f(0, 0) + f x (0, 0)x + f y (0, 0)y f xx(0, 0)x 2 + f xy (0, 0)xy f yy(0, 0)y 2 + higher order terms. We must compute 1st and 2nd order partial derivatives of f at (0, 0). Introduce the Monge patch, x = u x : y = v z = f(u, v) i.e. x(u, v) = (u, v, f(u, v)). 25
26 We have, x 1 = x u = (1, 0, f u ), x 2 = x v = (0, 1, f v ), n = x 1 x 2 x 1 x 2 = x u x v x u x v = ( f u, f v, 1) 1 + f 2 u + f 2 v At (u, v) = (0, 0): n = (0, 0, 1) f u = f v = 0, x 1 = (1, 0, 0) = e 1 and x 2 = (0, 1, 0) = e 2. Recall, the components of the 2nd fundamental form L ij computed from the formula, = L(x i, x j ) may be L ij = n, x ij, x ij = 2 x u j u i. In particular, L 11 = n, x 11, where x 11 = x uu = (0, 0, f uu ). At (u, v) = (0, 0): L 11 = n, x 11 = (0, 0, 1) (0, 0, f uu (0, 0)) = f uu (0, 0). Therefore, f uu (0, 0) = L 11 = L(x 1, x 1 ) = L(e 1, e 1 ) = κ 1. Similarly, f vv (0, 0) = L(e 2, e 2 ) = κ 2 f uv (0, 0) = L(e 1, e 2 ) = L(e 1 ), e 2 = λ 1 (e 1, e 2 ) = 0.. Thus, setting x = u, y = v, we have shown, f x (0, 0) = f y (0, 0) = 0 f xx (0, 0) = κ 1, f yy (0, 0) = κ 2, f xy (0, 0) = 0, which, substituting in the Taylor expansion, implies, z = 1 2 κ 1x κ 2y 2 + higher order terms. Computational Formula for Gaussian Curvature. We have, K = Gaussian curvature = det L = det[l i j]. 26
27 From the equation at the top of p. 14, [L ij ] = [g ij ][L i j], det[l ij ] = det[g ij ] det[l i j] = det[g ij ] K Hence, K = det[l ij] det[g ij ], g ij = x i, x j, L ij = n, x ij. Further, det[l ij ] [ L11 L = det 12 L 21 L 22 ] since L 12 = L 21, and similarly, = L 11 L 22 L 2 12, det[g ij ] = g 11, g 22 g Thus, K = L 11L 22 L 2 12 g 11 g 22 g 2 12 Ex. Compute the Gaussian curvature of the saddle surface z = y 2 x 2. Introduce the Monge patch, x(u, v) = (u, v, v 2 u 2 ). Compute metric components g ij : x u = (1, 0, 2u), x v = (0, 1, 2v),. g uu = x u, x u = (1, 0, 2u) (1, 0, 2u) Similarly, = 1 + 4u 2. g vv = x v, x v = 1 + 4v 2, g uv = x u, x v = 4uv. Thus, det[g ij ] = g uu g vv g 2 uv = (1 + 4u 2 )(1 + 4v 2 ) 16u 2 v 2 = 1 + 4u 2 + 4v 2. 27
28 Compute the second fundamental form components L ij : We use, L ij = n, x ij. We have, n = x u x v x u x v = (2u, 2v, 1) 1 + 4u2 + 4v 2, and, Then, x uu = (0, 0, 2), x vv = (0, 0, 2), x uv = (0, 0, 0). L uu = n, x uu = u2 + 4v 2 L vv = n, x vv = L uv = n, x uv = u2 + 4v 2 Thus, and therefore, det[l ij ] = L uu L vv L 2 uv = u 2 + 4v 2, K(u, v) = det[l ij] det[g ij ] = K(u, v) = 4 (1 + 4u 2 + 4v 2 ) u 2 + 4v u 2 + 4v 2. Hence the saddle surface z = y 2 x 2 has Gaussian curvature function, Observe that K < 0 and, K = K(x, y) = from the z-axis. As r, K 0 rapidly. 4 (1 + 4x 2 + 4y 2 ) 2. 4 (1 + 4r 2 ) 2 1 r 4, where r = x 2 + y 2 is the distance Exercise 5.6. Consider the surface M which is the graph of z = f(x, y). Show that the Gaussian curvature K = K(x, y) is given by, K(x, y) = where f x = f x, f xx = 2 f x 2, etc. 28 f xxf yy f 2 xy (1 + f 2 x + f 2 y ) 2
29 Exercise 5.7. Let M be the torus of large radius R and small radius r described in Exercise 3.3. Using the parameterization, x(t, θ) = ((R + r cos t) cos θ, (R + r cos t) sin θ, r sin t) show that the Gaussian curvature K = K(t, θ) is given by, K = cos t r(r + r cos t). Where on the torus is the Gaussian curvature negative? Where is it positive? Exercise 5.8. Derive the following expression for the mean curvature H, H = g 11L 22 2g 12 L 12 + g 22 L 11 g 11 g 22 g 2 12 The principal curvatures κ 1 and κ 2 at a point p M are the normal curvatures in the principal directions e 1 and e 2. The normal curvature in any direction X is determined by κ 1 and κ 2 as follows. If X T p M, X = 1 then X can be expressed as (see the figure), X = cos θe 1 + sin θe 2. Proposition (Euler s formula). The normal curvature in the direction X is given by, L(X, X) = κ 1 cos 2 θ + κ 2 sin 2 θ, where κ 1, κ 2 are the principal curvatures, and θ is the angle between X and the principal direction e 1. Proof. Use the shorthand, c = cos θ, s = sin θ. Then X = ce 1 + se 2, and L(X) = L(ce 1 + se 2 ) = cl(e 1 ) + sl(e 2 ) = cκ 1 e 1 + sκ 2 e 2. 29
30 Therefore, L(X, X) = L(X), X Exercise 5.9. function, = cκ 1 e 1 + sκ 2 e 2, ce 1 + se 2 = c 2 κ 1 + s 2 κ 2. Assuming κ 1 > κ 2, determine where (i.e., for which values of θ) the κ(θ) = κ 1 cos 2 θ + κ 2 sin 2 θ, 0 θ 2π achieves its maximum and minimum. The answer shows that the principal directions e 1, e 2 are unique, up to sign, in this case. Gauss Theorema Egregium The Weingarten map, L(X) = X n is an extrinsically defined object - it involves the normal to the surface. There is no reason to suspect that the determinant of L, the Gaussian curvature, is intrinsic, i.e. can be computed from measurements taken in the surface. But Gauss carried out some courageous computations and made the extraordinary discovery that, in fact, the Gaussian curvature K is intrinsic - i.e., can be computed from the g ij s. This is the most important result in the subject - albeit not the prettiest! If this result were not true then the subject of differential geometry, as we know it, would not exist. We now embark on the same path - courageously carrying out the same computation. Some notation. Introduce the inverse metric components, g ij, 1 i, j 2, by [g ij ] = [g ij ] 1, i.e. g ij is the i-jth entry of the inverse of the matrix [g ij ]. Using the formula, [ ] 1 [ ] a b 1 d b = c d ad bc c a we can express g ij explicitly in terms of the g ij, e.g. g 11 = g 22, etc. g 11 g 22 g12 2 Note, in an orthogonal coordinate system, i.e., a proper patch in which g 12 = x 1, x 2 = 0, we have simply, g 11 = 1, g 22 = 1, g 12 = g 21 = 0. g 11 g 22 30
31 By definition of inverse, we have [g ij ][g ij ] = I where I = identity matrix = [δ j i ], where δ j i is the Kronecker delta (cf., Chapter 1), { 0, i j δ j i = 1, i = j, and so, [g ij ][g ij ] = [δ i j ]. The product formula for matrices then implies, g ik g kj j = δ i or, by the Einstein summation convention, k g ik g kj = δ j i. Now, let M be a surface and x : U IR 2 M IR 3 be any proper patch in M. Then, x = x(u 1, u 2 ) = (x(u 1, u 2 ), y(u 1, u 2 ), z(u 1, u 2 )), x i = x ( x u = i u, y i u, z ), i u i x ij = ( 2 x 2 u j u = x i u j u, i 2 y u j u i, ) 2 z. u j u i We seek useful expressions for these second derivatives. At any point p x(u), {x 1, x 2, n} form a basis for T p IR 3. Since at p, x ij T p IR 3, we can write, x ij = Γ 1 ijx 1 + Γ 2 ijx 2 + λ ij n, 2 x ij = Γ l ijx l + λ ij n. l=1 or, making use of the Einstein summation convention, x ij = Γ l ijx l + λ ij n. ( ) 31
32 We obtain expressions for λ ij, Γ l ij. Dotting ( ) with n gives, x ij, n = Γ l ij x l, n + λ ij n, n λ ij = x ij, n = n, x ij λ ij = L ij. Dotting ( ) with x k gives, x ij, x k = Γ l ij x l, x k + λ ij n, x k x ij, x k = Γ l ijg lk. Solving for Γ l ij, x ij, x k g km = Γ l ijg lk g km = Γ l ijδ m l x ij, x k g km = Γ m ij Thus, Claim. Γ l ij = g kl x ij, x k The quantity x ij, x k is given by, x ij, x k = 1 2 ( gik u j + g jk u i g ) ij u k. = 1 2 (g ik,j + g jk,i g ij,k ) Proof of Claim. We use Gauss trick of permuting indices. g ij,k = u k g ij = u k x i, x j = x i u k, x j + x i, x j u k (1) g ij,k = x ik, x j + x i, x jk (j k) (2) g ik,j = x ij, x k + x i, x kj (i j) (3) g jk,i = x ji, x k + x j, x ki 32
33 Then (2) + (3) (1) gives: g ik,j + g jk,i g ij,k = 2 x ij, x k Thus, Remark. Γ l ij = 1 2 gkl (g ik,j + g jk,i g ij,k ). These are known as the Christoffel symbols. Summarizing, we have, x ij = Γ l ijx l + L ij n, Gauss Formula where L ij are the components of the 2nd fundamental form and Γ l ij are the Christoffel symbols as given above. Let us also recall the Weingarten equations (p. 11), n j = L i jx i Remark. The vector fields x 1, x 2, n, play a role in surface theory roughly analogous to the Frenet frame for curves. The two formulas above for the partial derivatives of x 1, x 2, n then play a role roughly analogous to the Frenet formulas. Now, Gauss takes things one step further and computes the 3rd derivatives, x ijk = u x ij: k x ijk = u k (Γl ijx l + L ij n) = u k Γl ijx l + = Γ l ij,k x l + Γ l ijx lk + L ij,k n + L ij n k u k L ijn = Γ l ij,k x l + Γ l ij(γ m lk x m + L lk n) + L ij,k n + L ij ( L l kx l ) Thus, = Γ l ij,k x l + Γ l ijγ m lkx m +Γ l }{{} ijl lk n + L ij,k n L ij L l kx l Γ m ij Γl mk x l x ijk = (Γ l ij,k + Γ m ij Γ l mk L ij L l k)x l + (L ij,k + Γ l ijl lk )n, and interchanging indices (j k), Now, x ikj = x ijk implies x ikj = (Γ l ik,j + Γ m ikγ l mj L ik L l j)x l + (L ik,j + Γ l ikl lj )n. Γ l ik,j + Γ m ikγ l mj L ik L l j = Γ l ij,k + Γ m ij Γ l mk L ij L l k = 33
34 or, Γ l ik,j Γ l ij,k + Γ m ikγ l mj Γ m ij Γ l mk = L ik L l j L ij L l k. }{{} Rijk l These are the components of the famous Riemann curvature tensor. Observe: R l ijk are intrinsic, i.e. can be computed from the g ij s (involve 1st and 2nd derivatives of the g ij s). We arrive at, R l ijk = L ik L l j L ij L l k The Gauss Equations. Gauss Theorem Egregium. The Gaussian curvature of a surface is intrinsic, i.e. can be computed in terms of the g ij s. Proof. This follows from the Gauss equations. Multiply both sides by g ml, But recall (see p. 13), Hence, Setting i = k = 1, m = j = 2 we obtain, Thus, g ml R l ijk = L ik g ml L l j L ij g ml L l k. L mj = g ml L l j. g ml R l ijk = L ik L mj L ij L mk. g 2l R l 121 = L 11 L 22 L 12 L 21 K = det[l ij] det[g ij ] = det[l ij ]. K = g 2lR121 l, g = det[g ij ] g Comment. Gauss Theorema Egregium can be interpreted in a slightly different way in terms of isometries. We discuss this point here very briefly and very informally. Let M and N be two surfaces. A one-to-one, onto map f : M N that preserves lengths and angles is called an isometry. (This may be understood at the level of tangent vectors: f takes curves to curves, and hence velocity vectors to velocity vectors. f is an isometry f preserves angle between velocity vectors and preserve length of velocity vectors.) 34
35 Ex. The process of wrapping a piece of paper into a cylinder is an isometry. Theorem Gaussian curvature is a bending invariant, i.e. is invariant under isometries, by which we mean: if f : M N is an isometry then K N (f(p)) = K M (p), i.e., the Gaussian curvature is the same at corresponding points. Proof f preserves lengths and angles. Hence, in appropriate coordinate systems, the metric components for M and N are the same. By the formula for K above, the Gaussian curvature will be the same at corresponding points. Application 1. The cylinder has Gaussian curvature K = 0 (because a plane has zero Gaussian curvature). Application 2. No piece of a plane can be bent into a piece of a sphere without distorting lengths (because K plane = 0, K sphere = 1 r 2, r =radius). Theorem (Riemann). Let M be a surface with vanishing Gaussian curvature, K = 0. Then each p M has a neighborhood which is isometric to an open set in the Euclidean plane. Exercise Although The Gaussian curvature K is a bending invariant, show that the principal curvatures κ 1, κ 2 are not. I.e., show that the principle curvatures are not in general invariant under an isometry. (Hint: Consider the bending of a rectangle into a cylinder). 35
Chapter 4. The First Fundamental Form (Induced Metric)
Chapter 4. The First Fundamental Form (Induced Metric) We begin with some definitions from linear algebra. Def. Let V be a vector space (over IR). A bilinear form on V is a map of the form B : V V IR which
More informationCHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.
CHAPTER 3 Gauss map In this chapter we will study the Gauss map of surfaces in R 3. 3.1. Surfaces in R 3 Let S R 3 be a submanifold of dimension 2. Let {U i, ϕ i } be a DS on S. For any p U i we have a
More informationMath 433 Outline for Final Examination
Math 433 Outline for Final Examination Richard Koch May 3, 5 Curves From the chapter on curves, you should know. the formula for arc length of a curve;. the definition of T (s), N(s), B(s), and κ(s) for
More informationLecture 13 The Fundamental Forms of a Surface
Lecture 13 The Fundamental Forms of a Surface In the following we denote by F : O R 3 a parametric surface in R 3, F(u, v) = (x(u, v), y(u, v), z(u, v)). We denote partial derivatives with respect to the
More informationGauß Curvature in Terms of the First Fundamental Form
Math 4530 Supplement March 6, 004 Gauß Curvature in Terms of the First Fundamental Form Andrejs Treibergs Abstract In these notes, we develop acceleration formulae for a general frame for a surface in
More informationMath 497C Mar 3, Curves and Surfaces Fall 2004, PSU
Math 497C Mar 3, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 10 2.3 Meaning of Gaussian Curvature In the previous lecture we gave a formal definition for Gaussian curvature K in terms of the
More informationd F = (df E 3 ) E 3. (4.1)
4. The Second Fundamental Form In the last section we developed the theory of intrinsic geometry of surfaces by considering the covariant differential d F, that is, the tangential component of df for a
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationj=1 ωj k E j. (3.1) j=1 θj E j, (3.2)
3. Cartan s Structural Equations and the Curvature Form Let E,..., E n be a moving (orthonormal) frame in R n and let ωj k its associated connection forms so that: de k = n ωj k E j. (3.) Recall that ωj
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationClassical differential geometry of two-dimensional surfaces
Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly
More informationLectures in Discrete Differential Geometry 2 Surfaces
Lectures in Discrete Differential Geometry 2 Surfaces Etienne Vouga February 4, 24 Smooth Surfaces in R 3 In this section we will review some properties of smooth surfaces R 3. We will assume that is parameterized
More informationCS Tutorial 5 - Differential Geometry I - Surfaces
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
More information1 Curvature of submanifolds of Euclidean space
Curvature of submanifolds of Euclidean space by Min Ru, University of Houston 1 Curvature of submanifolds of Euclidean space Submanifold in R N : A C k submanifold M of dimension n in R N means that for
More information1 The Differential Geometry of Surfaces
1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1
More informationDIFFERENTIAL GEOMETRY OF CURVES AND SURFACES 5. The Second Fundamental Form of a Surface
DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES 5. The Second Fundamental Form of a Surface The main idea of this chapter is to try to measure to which extent a surface S is different from a plane, in other
More information9.1 Mean and Gaussian Curvatures of Surfaces
Chapter 9 Gauss Map II 9.1 Mean and Gaussian Curvatures of Surfaces in R 3 We ll assume that the curves are in R 3 unless otherwise noted. We start off by quoting the following useful theorem about self
More informationChapter 14. Basics of The Differential Geometry of Surfaces. Introduction. Parameterized Surfaces. The First... Home Page. Title Page.
Chapter 14 Basics of The Differential Geometry of Surfaces Page 649 of 681 14.1. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate
More informationMath 443 Differential Geometry Spring Handout 3: Bilinear and Quadratic Forms This handout should be read just before Chapter 4 of the textbook.
Math 443 Differential Geometry Spring 2013 Handout 3: Bilinear and Quadratic Forms This handout should be read just before Chapter 4 of the textbook. Endomorphisms of a Vector Space This handout discusses
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationHOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection.
HOMEWORK 2 - RIEMANNIAN GEOMETRY ANDRÉ NEVES 1. Problems In what follows (M, g will always denote a Riemannian manifold with a Levi-Civita connection. 1 Let X, Y, Z be vector fields on M so that X(p Z(p
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More informationIsothermal parameters
MTH.B402; Sect. 3 (20180626) 26 Isothermal parameters A Review of Complex Analysis. Let C be the complex plane. A C 1 -function 7 f : C D z w = f(z) C defined on a domain D is said to be holomorphic if
More informationGeometric Modelling Summer 2016
Geometric Modelling Summer 2016 Exercises Benjamin Karer M.Sc. http://gfx.uni-kl.de/~gm Benjamin Karer M.Sc. Geometric Modelling Summer 2016 1 Dierential Geometry Benjamin Karer M.Sc. Geometric Modelling
More informationCourse Summary Math 211
Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.
More information7.1 Tangent Planes; Differentials of Maps Between
Chapter 7 Tangent Planes Reading: Do Carmo sections 2.4 and 3.2 Today I am discussing 1. Differentials of maps between surfaces 2. Geometry of Gauss map 7.1 Tangent Planes; Differentials of Maps Between
More informationν(u, v) = N(u, v) G(r(u, v)) E r(u,v) 3.
5. The Gauss Curvature Beyond doubt, the notion of Gauss curvature is of paramount importance in differential geometry. Recall two lessons we have learned so far about this notion: first, the presence
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationGaussian and Mean Curvatures
Gaussian and Mean Curvatures (Com S 477/577 Notes) Yan-Bin Jia Oct 31, 2017 We have learned that the two principal curvatures (and vectors) determine the local shape of a point on a surface. One characterizes
More informationLecture Notes on PDEs
Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential
More informationIntroduction to Geometry
Introduction to Geometry it is a draft of lecture notes of H.M. Khudaverdian. Manchester, 18 May 211 Contents 1 Euclidean space 3 1.1 Vector space............................ 3 1.2 Basic example of n-dimensional
More informationPullbacks, Isometries & Conformal Maps
Pullbacks, Isometries & Conformal Maps Outline 1. Pullbacks Let V and W be vector spaces, and let T : V W be an injective linear transformation. Given an inner product, on W, the pullback of, is the inner
More informationTopics. CS Advanced Computer Graphics. Differential Geometry Basics. James F. O Brien. Vector and Tensor Fields.
CS 94-3 Advanced Computer Graphics Differential Geometry Basics James F. O Brien Associate Professor U.C. Berkeley Topics Vector and Tensor Fields Divergence, curl, etc. Parametric Curves Tangents, curvature,
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationMath 302 Outcome Statements Winter 2013
Math 302 Outcome Statements Winter 2013 1 Rectangular Space Coordinates; Vectors in the Three-Dimensional Space (a) Cartesian coordinates of a point (b) sphere (c) symmetry about a point, a line, and a
More information1 Euclidean geometry. 1.1 The metric on R n
1 Euclidean geometry This chapter discusses the geometry of n-dimensional Euclidean space E n, together with its distance function. The distance gives rise to other notions such as angles and congruent
More informationWhat is a Space Curve?
What is a Space Curve? A space curve is a smooth map γ : I R R 3. In our analysis of defining the curvature for space curves we will be able to take the inclusion (γ, 0) and have that the curvature of
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationDistances, volumes, and integration
Distances, volumes, and integration Scribe: Aric Bartle 1 Local Shape of a Surface A question that we may ask ourselves is what significance does the second fundamental form play in the geometric characteristics
More informationHILBERT S THEOREM ON THE HYPERBOLIC PLANE
HILBET S THEOEM ON THE HYPEBOLIC PLANE MATTHEW D. BOWN Abstract. We recount a proof of Hilbert s result that a complete geometric surface of constant negative Gaussian curvature cannot be isometrically
More informationIntrinsic Surface Geometry
Chapter 7 Intrinsic Surface Geometry The second fundamental form of a regular surface M R 3 helps to describe precisely how M sits inside the Euclidean space R 3. The first fundamental form of M, on the
More informationFinal Exam Topic Outline
Math 442 - Differential Geometry of Curves and Surfaces Final Exam Topic Outline 30th November 2010 David Dumas Note: There is no guarantee that this outline is exhaustive, though I have tried to include
More informationREVIEW OF DIFFERENTIAL CALCULUS
REVIEW OF DIFFERENTIAL CALCULUS DONU ARAPURA 1. Limits and continuity To simplify the statements, we will often stick to two variables, but everything holds with any number of variables. Let f(x, y) be
More informationSurface x(u, v) and curve α(t) on it given by u(t) & v(t). Math 4140/5530: Differential Geometry
Surface x(u, v) and curve α(t) on it given by u(t) & v(t). α du dv (t) x u dt + x v dt Surface x(u, v) and curve α(t) on it given by u(t) & v(t). α du dv (t) x u dt + x v dt ( ds dt )2 Surface x(u, v)
More informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationIndex. Bertrand mate, 89 bijection, 48 bitangent, 69 Bolyai, 339 Bonnet s Formula, 283 bounded, 48
Index acceleration, 14, 76, 355 centripetal, 27 tangential, 27 algebraic geometry, vii analytic, 44 angle at a corner, 21 on a regular surface, 170 angle excess, 337 angle of parallelism, 344 angular velocity,
More informationNotes on Cartan s Method of Moving Frames
Math 553 σιι June 4, 996 Notes on Cartan s Method of Moving Frames Andrejs Treibergs The method of moving frames is a very efficient way to carry out computations on surfaces Chern s Notes give an elementary
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationLinear Models Review
Linear Models Review Vectors in IR n will be written as ordered n-tuples which are understood to be column vectors, or n 1 matrices. A vector variable will be indicted with bold face, and the prime sign
More informationTotally quasi-umbilic timelike surfaces in R 1,2
Totally quasi-umbilic timelike surfaces in R 1,2 Jeanne N. Clelland, University of Colorado AMS Central Section Meeting Macalester College April 11, 2010 Definition: Three-dimensional Minkowski space R
More informationDIFFERENTIAL GEOMETRY HW 5. Show that the law of cosines in spherical geometry is. cos c = cos a cos b + sin a sin b cos θ.
DIFFEENTIAL GEOMETY HW 5 CLAY SHONKWILE Show that the law of cosines in spherical geometry is 5 cos c cos a cos b + sin a sin b cos θ. Proof. Consider the spherical triangle depicted below: Form radii
More informationHOMEWORK 3 - GEOMETRY OF CURVES AND SURFACES. where ν is the unit normal consistent with the orientation of α (right hand rule).
HOMEWORK 3 - GEOMETRY OF CURVES AND SURFACES ANDRÉ NEVES ) If α : I R 2 is a curve on the plane parametrized by arc length and θ is the angle that α makes with the x-axis, show that α t) = dθ dt ν, where
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationSurfaces JWR. February 13, 2014
Surfaces JWR February 13, 214 These notes summarize the key points in the second chapter of Differential Geometry of Curves and Surfaces by Manfredo P. do Carmo. I wrote them to assure that the terminology
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More information5.2 The Levi-Civita Connection on Surfaces. 1 Parallel transport of vector fields on a surface M
5.2 The Levi-Civita Connection on Surfaces In this section, we define the parallel transport of vector fields on a surface M, and then we introduce the concept of the Levi-Civita connection, which is also
More informationGauss Theorem Egregium, Gauss-Bonnet etc. We know that for a simple closed curve in the plane. kds = 2π.
Gauss Theorem Egregium, Gauss-Bonnet etc. We know that for a simple closed curve in the plane kds = 2π. Now we want to consider a simple closed curve C in a surface S R 3. We suppose C is the boundary
More informationMath 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg
Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................
More informationC HAPTER 2 DIFFERENTIAL GEOMETRY
C HAPTER 2 DIFFERENTIAL GEOMETRY Differential geometry is the branch of mathematics that studies geometrical objects in an analytical way, using differential and integral calculus. In this chapter we introduce
More informationELLIPSES. Problem: Find the points on the locus. Q(x, y) = 865x 2 294xy + 585y 2 = closest to, and farthest from, the origin. Answer.
ELLIPSES Problem: Find the points on the locus closest to, and farthest from, the origin. Answer. Q(x, y) 865x 2 294xy + 585y 2 1450 This is a Lagrange multiplier problem: we want to extremize f(x, y)
More informationLECTURE 8: THE SECTIONAL AND RICCI CURVATURES
LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationTensors, and differential forms - Lecture 2
Tensors, and differential forms - Lecture 2 1 Introduction The concept of a tensor is derived from considering the properties of a function under a transformation of the coordinate system. A description
More information( sin(t), cos(t), 1) dt =
Differential Geometry MT451 Problems/Homework Recommended Reading: Morgan F. Riemannian geometry, a beginner s guide Klingenberg W. A Course in Differential Geometry do Carmo M.P. Differential geometry
More informationDifferential Geometry of Surfaces
Differential Forms Dr. Gye-Seon Lee Differential Geometry of Surfaces Philipp Arras and Ingolf Bischer January 22, 2015 This article is based on [Car94, pp. 77-96]. 1 The Structure Equations of R n Definition
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationLinear Algebra 2 Spectral Notes
Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex
More informationSELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013
SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 03 Problem (). This problem is perhaps too hard for an actual exam, but very instructional, and simpler problems using these ideas will be on the
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationMATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.
MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators. Adjoint operator and adjoint matrix Given a linear operator L on an inner product space V, the adjoint of L is a transformation
More informationWeek 3: Differential Geometry of Curves
Week 3: Differential Geometry of Curves Introduction We now know how to differentiate and integrate along curves. This week we explore some of the geometrical properties of curves that can be addressed
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationPHYS 705: Classical Mechanics. Rigid Body Motion Introduction + Math Review
1 PHYS 705: Classical Mechanics Rigid Body Motion Introduction + Math Review 2 How to describe a rigid body? Rigid Body - a system of point particles fixed in space i r ij j subject to a holonomic constraint:
More informationLinear Ordinary Differential Equations
MTH.B402; Sect. 1 20180703) 2 Linear Ordinary Differential Equations Preliminaries: Matrix Norms. Denote by M n R) the set of n n matrix with real components, which can be identified the vector space R
More information2. Geometrical Preliminaries
2. Geometrical Preliminaries The description of the geometry is essential for the definition of a shell structure. Our objective in this chapter is to survey the main geometrical concepts, to introduce
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More informationEcon 204 Supplement to Section 3.6 Diagonalization and Quadratic Forms. 1 Diagonalization and Change of Basis
Econ 204 Supplement to Section 3.6 Diagonalization and Quadratic Forms De La Fuente notes that, if an n n matrix has n distinct eigenvalues, it can be diagonalized. In this supplement, we will provide
More informationExercises for Multivariable Differential Calculus XM521
This document lists all the exercises for XM521. The Type I (True/False) exercises will be given, and should be answered, online immediately following each lecture. The Type III exercises are to be done
More informationIntroduction to Algebraic and Geometric Topology Week 14
Introduction to Algebraic and Geometric Topology Week 14 Domingo Toledo University of Utah Fall 2016 Computations in coordinates I Recall smooth surface S = {f (x, y, z) =0} R 3, I rf 6= 0 on S, I Chart
More informationVECTOR AND TENSOR ALGEBRA
PART I VECTOR AND TENSOR ALGEBRA Throughout this book: (i) Lightface Latin and Greek letters generally denote scalars. (ii) Boldface lowercase Latin and Greek letters generally denote vectors, but the
More informationMath 426H (Differential Geometry) Final Exam April 24, 2006.
Math 426H Differential Geometry Final Exam April 24, 6. 8 8 8 6 1. Let M be a surface and let : [0, 1] M be a smooth loop. Let φ be a 1-form on M. a Suppose φ is exact i.e. φ = df for some f : M R. Show
More information14 Higher order forms; divergence theorem
Tel Aviv University, 2013/14 Analysis-III,IV 221 14 Higher order forms; divergence theorem 14a Forms of order three................ 221 14b Divergence theorem in three dimensions.... 225 14c Order four,
More informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
More informationMath 10C - Fall Final Exam
Math 1C - Fall 217 - Final Exam Problem 1. Consider the function f(x, y) = 1 x 2 (y 1) 2. (i) Draw the level curve through the point P (1, 2). Find the gradient of f at the point P and draw the gradient
More informationChapter 4 Euclid Space
Chapter 4 Euclid Space Inner Product Spaces Definition.. Let V be a real vector space over IR. A real inner product on V is a real valued function on V V, denoted by (, ), which satisfies () (x, y) = (y,
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationINTRODUCTION TO GEOMETRY
INTRODUCTION TO GEOMETRY ERIKA DUNN-WEISS Abstract. This paper is an introduction to Riemannian and semi-riemannian manifolds of constant sectional curvature. We will introduce the concepts of moving frames,
More informationUSAC Colloquium. Geometry of Bending Surfaces. Andrejs Treibergs. Wednesday, November 6, Figure: Bender. University of Utah
USAC Colloquium Geometry of Bending Surfaces Andrejs Treibergs University of Utah Wednesday, November 6, 2012 Figure: Bender 2. USAC Lecture: Geometry of Bending Surfaces The URL for these Beamer Slides:
More informationWe denote the derivative at x by DF (x) = L. With respect to the standard bases of R n and R m, DF (x) is simply the matrix of partial derivatives,
The derivative Let O be an open subset of R n, and F : O R m a continuous function We say F is differentiable at a point x O, with derivative L, if L : R n R m is a linear transformation such that, for
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationISOMETRIES AND THE LINEAR ALGEBRA OF QUADRATIC FORMS.
ISOMETRIES AND THE LINEAR ALGEBRA OF QUADRATIC FORMS. Please review basic linear algebra, specifically the notion of spanning, of being linearly independent and of forming a basis as applied to a finite
More informationIsometric Immersions into Hyperbolic 3-Space
Isometric Immersions into Hyperbolic 3-Space Andrew Gallatin 18 June 016 Mathematics Department California Polytechnic State University San Luis Obispo APPROVAL PAGE TITLE: AUTHOR: Isometric Immersions
More informationLinear Algebra: Matrix Eigenvalue Problems
CHAPTER8 Linear Algebra: Matrix Eigenvalue Problems Chapter 8 p1 A matrix eigenvalue problem considers the vector equation (1) Ax = λx. 8.0 Linear Algebra: Matrix Eigenvalue Problems Here A is a given
More informationSpectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem
Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem L u x f x BC u x g x with the weak problem find u V such that B u,v
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationOR MSc Maths Revision Course
OR MSc Maths Revision Course Tom Byrne School of Mathematics University of Edinburgh t.m.byrne@sms.ed.ac.uk 15 September 2017 General Information Today JCMB Lecture Theatre A, 09:30-12:30 Mathematics revision
More informationPlane hyperbolic geometry
2 Plane hyperbolic geometry In this chapter we will see that the unit disc D has a natural geometry, known as plane hyperbolic geometry or plane Lobachevski geometry. It is the local model for the hyperbolic
More informationTensor Analysis in Euclidean Space
Tensor Analysis in Euclidean Space James Emery Edited: 8/5/2016 Contents 1 Classical Tensor Notation 2 2 Multilinear Functionals 4 3 Operations With Tensors 5 4 The Directional Derivative 5 5 Curvilinear
More information