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

Size: px
Start display at page:

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

Transcription

1 DIFFERENTIAL GEOMETRY HW 4 CLAY SHONKWILER Show that a catenoid and helicoid are locally isometric. 3 Proof. Let X(u, v) = (a cosh v cos u, a cosh v sin u, av) be the parametrization of the catenoid and let Y (z, w) = (w cos z, w sin z, az) be the parametrization of the helicoid, where 0 < u, z < 2π and < v, w <. Now, let z = u and let w = a sinh v, which is valid since the map (u, v) (u, a sinh v) is smooth and bijective on the region where u and v are defined. Then the change-of-coordinate matrix is given by ( a cosh v so the Jacobian of this coordinate change is given by the determinant of this matrix, a cosh v, which is everywhere nonzero. In other words, this change of coordinates induces a local diffeomorphism between these surfaces. Hence, a new parametrization of the helicoid is Now, ), Y (u, v) = (a sinh v cos u, a sinh v sin u, au). Y u = ( a sinh v sin u, a sinh v cos u, a) Y v = (a cosh v cos u, a cosh v sin u, 0), so the terms of the first fundamental form of the reparametrized helicoid are given by E = Y u, Y u = a 2 sinh 2 v + a 2 = a 2 (sinh 2 v + 1) = a 2 cosh 2 v F = Y u, Y v = a 2 sinh v cosh v sin u cos u + a 2 sinh v cosh v sin u cos u = 0 G = Y v, Y v = a 2 cosh 2 v On the other hand, X u = ( a cosh v sin u, a cosh v cos u, 0) X v = (a sinh v cos u, a sinh v sin u, a), 1

2 2 CLAY SHONKWILER so the terms of the first fundamental form of the catenoid are given by E = X u, X u = a 2 cosh 2 v F = X u, X v = a 2 sinh v cosh v sin u cos u + a 2 sinh v cosh v sin u cos u = 0 G = X v, X v = a 2 sinh 2 v + a 2 = a 2 (sinh 2 v + 1) = a 2 cosh 2 v. Therefore, the local diffeomorphism induced by the change of coordinates described above preserves the first fundamental form. Since the First Fundamental Form is just a repackaging of the metric on a surface, this means that this local diffeomorphism preserves the metric, so the helicoid and catenoid are locally isometric. Show that 4 X uu, X u = 1 2 E u, X uu, X v = F u 1 2 E v X uv, X u = 1 2 E v, X uv, X v = 1 2 G u X vv, X u = F v 1 2 G u, X vv, X v = 1 2 G v. Proof. Note that E u = X uu, X u + X u, X uu, so X uu, X u = 1 2 E u. Also, E v = X uv, X u + X u, X uv, so X uv, X u = 1 2 E v. Now, G u = X vu, X v + X v, X vu, so X uv, X v = 1 2 G u. Also, G v = X vv, X v + X v, X vv so X vv, X v = 1 2 G v. Now, F u = X uu, X v + X u, X vu and F v = X uv, X v + X u, X vv, so F v 1 2 G u = X uv, X v + X u, X vv X uv, X v = X vv, X u and F u 1 2 E v = X uu, X v + X uv, X u X uv, X u = X uu, X v.

3 DIFFERENTIAL GEOMETRY HW Compute the Christoffel symbols Γ k ij for a surface of revolution parametrized by X(u, v) = (f(v) cos u, f(v) sin u, g(v)) with f(v) 0. Answer: If the surface is given by X(u, v) = (f(v) cos u, f(v) sin u, g(v)), then Hence X u = ( f(v) sin u, f(v) cos u, 0) X v = (f (v) cos u, f (v) sin u, g (v)). E = X u, X u = f(v) 2 sin 2 u + f(v) 2 cos 2 u = f(v) 2 F = X u, X v = f(v)f (v) sin u cos u + f(v)f (v) sin u cos u = 0 G = X v, X v = f (v) 2 cos 2 u + f (v) 2 sin 2 u + g (v) 2 = (f (v)) 2 + (g (v)) 2. Hence, E u = 0 F u = 0 G u = 0 E v = 2f(v)f (v) F v = 0 G v = 2f (v)f (v) + 2g (v)g (v) Using the defining equations of the Christoffel symbols: 0 = 1 2 E u = Γ 1 11E + Γ 2 11F = Γ 1 11f(v) 2 f(v)f (v) = F u 1 2 E v = Γ 1 11F + Γ 2 11G = Γ 2 11[(f (v)) 2 + (g (v)) 2 ] f(v)f (v) = 1 2 E v = Γ 1 12E + Γ 2 12F = Γ 1 12f(v) 2 0 = 1 2 G u = Γ 1 12F + Γ 2 12G = Γ 2 12[(f (v)) 2 + (g (v)) 2 ] 0 = F v 1 2 G u = Γ 1 22E + Γ 2 22F = Γ 1 22f(v) 2 f (v)f (v) + g (v)g (v) = 1 2 G v = Γ 1 22F + Γ 2 22G = Γ 2 22[(f (v)) 2 + (g (v)) 2 ] Hence, Γ 1 11 = 0 Γ2 11 = f(v)f (v) (f (v)) 2 +(g (v)) 2 Γ 1 12 = f (v) f(v) Γ 2 12 = 0 Γ 1 22 = 0 Γ2 22 = f (v)f (v)+g (v)g (v) (f (v)) 2 +(g (v)) 2

4 4 CLAY SHONKWILER 6 (a): Consider the equation A 1 = 0, which comes from the equation (X uu ) v (X uv ) u = 0 by setting the coefficients of X u equal to 0. Show that this yields Γ 1 12,u Γ 1 11,v + Γ 2 12Γ 1 12 Γ 2 11Γ 1 22 = F K. If F 0, this also shows that the Gaussian curvature depends only on the first fundamental form. Proof. Using the values of (X uu ) v and (X uv ) u already computed, we know that the coefficients of X u for them are Γ 1 11,v + Γ1 11 Γ Γ 2 11 Γ1 22 +ea 12 and Γ 1 12,u +Γ1 12 Γ1 11 +Γ2 12 Γ1 12 +fa 11, respectively. Hence, equating these coefficients, we see that ea 12 fa 11 = Γ 1 12,u + Γ 1 12Γ Γ 2 12Γ 1 12 Γ 1 11,v Γ 1 11Γ 1 12 Γ 2 11Γ On the other hand, Hence, ea 12 fa 11 = e(gf fg) f(ff eg) = egf f 2 F = F eg f 2 = F K. F K = Γ 1 12,u + Γ 1 12Γ Γ 2 12Γ 1 12 Γ 1 11,v Γ 1 11Γ 1 12 Γ 2 11Γ (b): Consider the equation C 1 = 0, which comes from the equation (X uu ) v (X uv ) u = 0 by setting the coefficient of N equal to 0. Show that this yields e v f u = eγ f(γ 2 12 Γ 1 11) gγ This is one of the two Mainardi-Codazzi equations. Proof. Again using the values of (X uu ) v and (X uv ) u already computed, we know that the coefficients of N for them are Γ 1 11 f +Γ2 11 g + e v and Γ 1 12 e + Γ2 12 f + f u, respectively. Hence, equating these coefficients yields e v f u = Γ 1 12e + Γ 2 12f Γ 1 11f Γ 2 11g = eγ f(γ 2 12 Γ 1 11) gγ 2 11.

5 DIFFERENTIAL GEOMETRY HW 4 5 (c): Consider the equations A 2 = 0 and B 2 = 0, which come from the equation (X vv ) u (X uv ) v = 0 by setting the coefficients of X u and X v, respectively, equal to 0. Show that both of these equations again give the Gauss Formula for the Gaussian curvature K. Proof. Note that (X vv ) u = Γ 1 22,uX u + Γ 1 22X uu + Γ 2 22,uX v + Γ 2 22X uv + g u N + gn u = ( Γ 1 22,u + Γ 1 22Γ Γ 2 22Γ ga 11 ) Xu and + ( Γ 2 22,u + Γ 1 22Γ Γ 2 22Γ ga 21 ) Xv + ( Γ 1 22e + Γ 2 22f + g u ) N (X uv ) v = Γ 1 12,vX u + Γ 1 12X uv + Γ 2 12,vX v + Γ 2 12X vv + f v N + fn v = ( Γ 1 12,v + Γ 1 12Γ Γ 2 12Γ fa 12 ) Xu + ( Γ 2 12,v + Γ 1 12Γ Γ 2 12Γ fa 22 ) Xv + ( Γ 1 12f + Γ 2 12g + f v ) N Thus, by equating the coefficients on X u, ga 11 fa 12 = Γ 1 22,u + Γ 1 22Γ Γ 2 22Γ 1 12 Γ 1 12,v Γ 1 12Γ 1 12 Γ 2 12Γ On the other hand, Hence, ga 11 fa 12 = g(ff eg) f(gf fg) = f 2 G egg = G eg f 2 = GK. GK = Γ 1 22,u + Γ 1 22Γ Γ 2 22Γ 1 12 Γ 1 12,v Γ 1 12Γ 1 12 Γ 2 12Γ Equating the coefficients on X v, we see that ga 21 fa 22 = Γ 2 22,u + Γ 1 22Γ Γ 2 22Γ 2 12 Γ 2 12,v Γ 1 12Γ 2 12 Γ 2 12Γ On the other hand, ga 21 fa 22 = g(ef fe) f(ff ge) = egf f 2 F = F eg f 2 = F K.

6 6 CLAY SHONKWILER Hence, F K = Γ 2 22,u + Γ 1 22Γ Γ 2 22Γ 2 12 Γ 2 12,v Γ 1 12Γ 2 12 Γ 2 12Γ (d): Consider the equation C 2 = 0, which comes from the equation (X vv ) u (X uv ) v = 0 by setting the coefficient of N equal to 0. Show that this yields f v g u = eγ f(γ 2 22 Γ 1 12) gγ This is the second of the two Mainardi-Codazzi equations. Proof. From our computation of (X vv ) u and (X uv ) v in (b) above, we know that setting the coefficients of N in each equal yields f v g u = Γ 1 22e + Γ 2 22f Γ 1 12f Γ 2 12g = eγ f(γ 2 22 Γ 1 12) gγ (e): Do the same for the coefficients A 3, B 3 and C 3 of the third equation (N u ) v = (N v ) u. Show that the equations A 3 = 0 and B 3 = 0 yield again the two Mainardi-Codazzi equations, and that the equation C 3 = 0 is an identity. Proof. Note that (N u ) v = a 11,v X u + a 11 X uv + a 21,v X v + a 21 X vv = ( a 11,v + a 11 Γ a 21 Γ 1 22) Xu and + ( a 21,v + a 11 Γ a 21 Γ 2 22) Xv +(a 11 f + a 21 g)n (N v ) u = a 12,u X u + a 12 X uu + a 22,u X v + a 22 X uv = ( a 12,u + a 12 Γ a 22 Γ 1 12) Xu + ( a 22,u + a 12 Γ a 22 Γ 2 12) Xv +(a 12 e + a 22 f)n Equating the coefficients of X u yields a 11,v a 12,u = a 12 Γ a 22 Γ 1 12 a 11 Γ 1 12 a 21 Γ 1 22 = Γ1 11 (gf fg) + Γ1 12 (ff ge) Γ1 12 (ff eg) Γ1 22 (ef fe) = Γ1 11 (gf fg) + Γ1 12 (eg ge) + Γ1 22 (fe ef ).

7 On the other hand, DIFFERENTIAL GEOMETRY HW 4 7 a 11,v a 12,u = ( )(f v F + ff v e v G eg v ) (ff eg)(e v G + EG v 2F F v ) ( ) 2 ( )(g u F + gf u f u G fg u ) (gf fg)(e u G + EG u 2F F u ) ( ) 2 8 Is there a regular surface X : U R 3 with E 1, F 0, G = cos 2 u, e = cos 2 u, f 0, g 1? (a): Show that such a surface would have Gaussian curvature K 1. Proof. Recall that K = eg f 2 = cos2 u cos 2 u = 1. (b): Compute the Christoffel symbols for such a surface. Answer: Using the defining equations of the Christoffel symbols, 0 = 1 2 E u = Γ 1 11E + Γ 2 11F = Γ = F u 1 2 E v = Γ 1 11F + Γ 2 11G = Γ = 1 2 E v = Γ 1 12E + Γ 2 12F = Γ 1 12 sin u cos u = 1 2 G u = Γ 1 12F + Γ 2 12G = Γ 2 12 cos 2 u sin u cos u = F v 1 2 G u = Γ 1 22E + Γ 2 22F = Γ = 1 2 G v = Γ 1 22F + Γ 2 22G = Γ 2 22 cos 2 u Hence, Γ 1 11 = 0 Γ2 11 = 0 Γ 1 12 = 0 Γ2 12 = sin u cos u = tan u Γ 1 22 = sin u cos u Γ2 22 = 0 (c): Show that such a surface would satisfy the Gauss formula.

8 8 CLAY SHONKWILER Proof. The Gauss Formula is 1 = EK = Γ 1 12Γ Γ 2 12,u + Γ 2 12Γ 2 12 Γ 1 11Γ 2 12 Γ 2 11,v Γ 2 11Γ 2 22 = sec 2 u + tan 2 u, which is an identity, since tan 2 u + 1 = sec 2 u. Thus, the surface satisfies the Gauss formula. (d): Show that such a surface would satisfy the first Mainardi-Codazzi equation, but violate the second one. Conclude that no such surface exists. Proof. The first Mainardi-Codazzi equation is 0 = e v f u = eγ f(γ 2 12 Γ 1 11) gγ 2 11 = e(0) + 0(Γ 2 12 Γ 1 11) g(0) = 0. The second Mainardi-Codazzi equation, if it held, would be 0 = f v g u = eγ f(γ 2 22 Γ 1 12) gγ 2 12 = cos 3 u sin u + tan u. If this holds, then, dividing by tan u, we would have that cos 4 u+1 = 0, which is clearly impossible since cos 4 u 0, so cos 4 u Therefore, since the second Mainardi-Codazzi equation does not hold, no surface with E, F, G and e, f, g as given exists. 9 In this problem, we will see how the Mainardi-Codazzi equations simplify when the coordinate neighborhood contains no umbilical points and the coordinate curves are lines of curvature (F = 0 and f = 0). (a): Show that in such a case, the Mainardi-Codazzi equations may be written as e v = eγ 1 12 gγ 2 11 and g u = gγ 2 12 eγ Proof. The first Mainardi-Codazzi equation is, in this situation, e v = e v f u = eγ f(γ 2 12 Γ 1 11) gγ 2 11 = eγ 1 12 gγ The second Mainardi-Codazzi equation is g u = f v g u = eγ f(γ 2 22 Γ 1 12) gγ 2 12 = eγ 1 22 gγ 2 12, so g u = gγ 2 12 eγ1 22. (b): Show also that Γ 2 11 = E v /2G Γ 1 12 = E v /2E Γ 1 22 = G u /2E Γ 2 12 = G u /2G.

9 DIFFERENTIAL GEOMETRY HW 4 9 Proof. Using the defining equations of the Christoffel equations, Hence, 1 2 E u = Γ 1 11E + Γ 2 11F = Γ 1 11E 1 2 E v = F u 1 2 E v = Γ 1 11F + Γ 2 11G = Γ 2 11G 1 2 E v = Γ 1 12E + Γ 2 12F = Γ 1 12E 1 2 G u = Γ 1 12F + Γ 2 12G = Γ 2 12G 1 2 G u = F v 1 2 G u = Γ 1 22E + Γ 2 22F = Γ 1 22E 1 2 G v = Γ 1 22F + Γ 2 22G = Γ 2 22G Γ 1 11 = Eu 2E Γ 1 12 = Ev 2E Γ 1 22 = Gu 2E Γ 2 11 = Ev 2G Γ 2 12 = Gu 2G Γ 2 22 = Gv 2G (c): Conclude that the Mainardi-Codazzi equations take the following form: e v = 1 2 E v(e/e + g/g) and g u = 1 2 G u(e/e + g/g). Proof. The first Mainardi-Codazzi equation is e v = eγ 1 12 gγ 2 11 = e E v 2E + g E v 2G = 1 ( e 2 E v E G) + g. The second Mainardi-Codazzi equation is g u = gγ 2 12 eγ 1 22 = g G u 2G + eg u 2E = 1 ( g 2 G u G + e ). E 3 Let V and W be parallel vector fields along a curve α : I S. Show that the inner product V, W is constant along α. Conclude that the lengths V and W are also constant along α.

10 10 CLAY SHONKWILER Proof. Let V (t) = a(t)x u + b(t)x v and let W (t) = c(t)x u + d(t)x v. Note that d V, W = dv dt dt, W + V, dw dt = DV dt + (au e + av f + bu f + bv g)n, W + V, DW + (cu e + cv f + du f + dv g)n dt = (au e + av f + bu f + bv g)n, W + (cu e + cv f + du f + dv g)n = 0 since N is normal to both V and W. Thus, V, W is constant along α. Since our choices of V and W were arbitrary, we see that V 2 = V, V and W 2 = W, W are constant along α as well. 4 Let α : I S 2 parametrize a great circle at constant speed. Show that the velocity field α is parallel along α. Proof. If necessary, rotate S 2 so that the great circle in question is the equator; let β : I S 2 be the composition of α with the rotation. Since the rotation doesn t affect the velocity of α, we see that α is parallel along α if and only if β is parallel along β. Now, we can parametrize S 2 by X(u, v) = (sin v cos u, sin v sin u, cos v) for 0 u 2π and 0 v π. Then so On the other hand, β(t) = X(t, π/2) = (cos t, sin t, 0), β (t) = ( sin t, cos t, 0). X u = ( sin v sin u, sin v cos u, 0) X v = (cos v cos u, sin v sin u, sin v). Along the β, X u = ( sin t, cos t, 0) and X v = (0, 0, 1). Thus, β = X u and so, by the definition of the covariant derivative, Dβ dt = Γ 1 11X u + Γ 2 11X v. Now, recall that, on the sphere, E = 1, F = 0, G = sin 2 v, so, from the defining equations of the Christoffel symbols, so Γ 1 11 = Γ = 1 2 E u = Γ 1 11E + Γ 2 11F = Γ = F u 1 2 E v = Γ 1 11F + Γ 2 11G = Γ 2 11 sin 2 v, = 0, meaning that Dβ dt = 0.

11 DIFFERENTIAL GEOMETRY HW Show that the geodesic curvature of the curve α : I S at the point α(s) is the same as the ordinary curvature at that point of the plane curve obtained by projecting α orthogonally onto the tangent plane T α(s) S. Proof. We ll find the projected curvature at the point s = s 0. If X u and X v are the standard basis for the tangent plane, re-parametrize, if necessary, such that X u (α(s 0 )), X v (α(s 0 )) forms an orthonormal basis of T α(s0 )S. Now, define β(s) := α(s), X u X u + α(s), X v X v. This is the projection of α onto the tangent plane. Now, since X u and X v are fixed, and Thus, β (s) = α (s), X u X u + α (s), X v X v β (s) = α (s), X u X u + α (s), X v X v. β (s) β (s) = ( α, X u X u + α, X v X v ) ( α, X u X u + α, X v X v ) = α, X u α, X u (X u X u ) + α, X v α, X u (X v X u ) + α, X u α, X v (X u X v ) + α, X v α, X v (X v X v ) = ( α, X u α, X v α, X v α, X u ) N since N = Xu Xv X u X v. Thus, the signed projected curvature at the point we re interested in is given by κ p = β β, N β 3 = α, X u α, X v α, X u α, X v β 3. Since β = α at this particular point and α is parametrized by arc length, the denominator here is 1. Thus, On the other hand, κ p = α, X u α, X v α, X u α, X v. κ g = α, M = α, N(α(s)) T (s) = α, X u X v X u X v α = α, X u, α X v X v, α X u = X u, α X v, α X v, α X u, α = κ p.

12 12 CLAY SHONKWILER 10 Let α : I S be a smooth curve on the regular surface S in R 3. Let κ(s) be the ordinary curvature of the curve α in R 3, let κ g (s) be its geodesic curvature on the surface S, and let k n (s) be the normal curvature of the surface S at the point α(s) in the direction α (s). Show that κ(s) 2 = κ g (s) 2 + k n (s) 2. Check this equation when α is a small circle on a round sphere. Proof. By the result we just proved in problem 9 above, we know that κ g = κ p. Since the curvature κ is the length of the vector α, this means that κ g is the length of the orthogonal projection of α onto T α(s) S. On the other hand, k n (s) is defined to be the length of the projection of α onto the normal to the surface, N(α(s)). Since N(α(s)) is perpendicular to T α(s) S, this gives an orthogonal decomposition of α. Thus, simply using the Pythagorean Theorem, κ(s) 2 = κ g (s) 2 + k n (s) Check that u = constant and v = v(t) is a solution of the geodesic equations for some choice of v(t). Answer: Equation (1) holds trivially, since u = u = 0. Also, since u = 0, the second equation reduces to Now, consider the curve v + f f + g g (f ) 2 + (g ) 2 (v ) 2 = 0. α(t) = X(u, v(t)) = (f(v(t)) cos u, f(v(t)) sin u, g(v(t))). Since α is a curve in 3-space, we can re-parametrize it by arc length. Thus, we can choose v(t) such that α is parametrized by arc length. That being the case, α (t) = (f v cos u, f v sin u, g v ); since α is parametrized by arc length, 1 = α (t) 2 = (f v ) 2 cos 2 u + (f v ) 2 sin 2 u + (g v ) 2 = (f v ) 2 + (g v ) 2. Differentiating with respect to t, this implies that 0 = 2f v (f (v ) 2 + f v ) + 2g v (g (v ) 2 + g v ) = 2 [ f f (v ) 3 + (f ) 2 v v + g g (v ) 3 + (g ) 2 v v ] = 2 [ (f f + g g )(v ) 3 + ((f ) 2 + (g ) 2 )v v ].

13 DIFFERENTIAL GEOMETRY HW 4 13 Since v is certainly non-constant and f and g cannot both be constant, ((f ) 2 + (g ) 2 )v 0. Hence, dividing both sides by 2((f ) 2 + (g ) 2 )v yields 0 = f f + g g (f ) 2 + (g ) 2 (v ) 2 + v, which is equation (2). Therefore, we see that this choice of v(t) satisfies the geodesic equations. 13 Show that the curve X(u(t), v(t)) on our surface of revolution is travelled at constant speed if and only if (3) u f 2 u + v (f 2 + g 2 )v + (f f + g g )v 3 + ff u 2 v = 0. Proof. Consider X(u(t), v(t)). Then and X = (f v cos u f sin uu, f v sin u + f cos uu, g v ) X 2 = (f v ) 2 cos 2 u 2ff v u sin u cos u + (fu ) 2 sin 2 u + (f v ) 2 sin 2 u +2ff v u sin u cos u + (fu ) 2 cos 2 u + (g v ) 2 = (f v ) 2 + (fu ) 2 + (g v ) 2 Then X(u(t), v(t)) is travelled at constant speed if and only if the derivative of this expression is constant. That is, the curve is travelled at constant speed if and only if 0 = 2f v (f (v ) 2 + f v ) + 2fu (f v u + fu ) + 2g v (g (v ) 2 + g v ) = 2u f 2 u + 2v ((f ) 2 + (g ) 2 )v + 2(f f + g g )(v ) 3 + 2ff (u ) 2 v. Dividing by 2 gives the desired equation. Show that equations (1) and (2) together imply equation (3). 14 Proof. From the sum u f 2 (1) + v ((f ) 2 + (g ) 2 )(2) we have the linear combination ( 0 = u f 2 u + 2 f ) ( f u v + v ((f ) 2 + (g ) 2 ) v ff + (f ) 2 + (g ) 2 (u ) 2 + f f + g g ) (f ) 2 + (g ) 2 (v ) 2 = u f 2 u + 2v ff (u ) 2 + v v ((f ) 2 + (g ) 2 ) v ff (u ) 2 + (f f + g g )(v ) 3 = u f 2 u + v ((f ) 2 + (g ) 2 )v + (f f + g g )(v ) 3 + ff (u ) 2 v, which is equation (3).

14 14 CLAY SHONKWILER 15 Show that if f (v 0 ) = 0, then the circle u = ct and v = v 0 satisfies equations (1) and (2), and hence is a geodesic. Proof. With u and v as given and since f = 0, equation (1) reduces to Similarly, equation (2) reduces to 0 = u + 2 f f u v = c(0) = 0. f 0 = v ff + (f ) 2 + (g ) 2 (u ) 2 + f f + g g (f ) 2 + (g ) 2 (v ) 2 = 0+ 0 (g ) 2 c g g (g ) 2 (0) = Show that if v 0, then equations (1) and (3) together imply equation (2). So to get a geodesic, just satisfy equations (1) and make sure you travel at constant speed. Proof. Since f and g cannot both be constant (else we have only a circle, not a surface), (f ) 2 + (g ) 2 0. Hence, since v 0, we can safely divide by v ((f ) 2 + (g ) 2 ). Now, we know from problem 14 above that u f 2 (1) + v ((f ) 2 + (g ) 2 )(2) = (3), so, dividing both sides by v ((f ) 2 + (g ) 2 ), (2) = Therefore, (1) and (3) imply (2). u f 2 v ((f ) 2 + (g ) 2 ) (1) 1 v ((f ) 2 + (g ) 2 ) (3). DRL 3E3A, University of Pennsylvania address: shonkwil@math.upenn.edu

GEOMETRY HW Consider the parametrized surface (Enneper s surface)

GEOMETRY HW Consider the parametrized surface (Enneper s surface) GEOMETRY HW 4 CLAY SHONKWILER 3.3.5 Consider the parametrized surface (Enneper s surface φ(u, v (x u3 3 + uv2, v v3 3 + vu2, u 2 v 2 show that (a The coefficients of the first fundamental form are E G

More information

Final Exam Topic Outline

Final 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 information

Math 5378, Differential Geometry Solutions to practice questions for Test 2

Math 5378, Differential Geometry Solutions to practice questions for Test 2 Math 5378, Differential Geometry Solutions to practice questions for Test 2. Find all possible trajectories of the vector field w(x, y) = ( y, x) on 2. Solution: A trajectory would be a curve (x(t), y(t))

More information

9.1 Mean and Gaussian Curvatures of Surfaces

9.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 information

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0 GEOMETRY HW CLAY SHONKWILER Consider the map.5.0 t, 0, e /t ), t > 0 αt) = t, e /t, 0), t < 0 0, 0, 0), t = 0 a) Prove that α is a differentiable curve. Proof. If we denote αt) = xt), yt), zt0), then it

More information

Intrinsic Surface Geometry

Intrinsic 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 information

Lectures 18: Gauss's Remarkable Theorem II. Table of contents

Lectures 18: Gauss's Remarkable Theorem II. Table of contents Math 348 Fall 27 Lectures 8: Gauss's Remarkable Theorem II Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams.

More information

Chapter 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. 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 information

SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013

SELECTED 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 information

DIFFERENTIAL GEOMETRY HW 5

DIFFERENTIAL GEOMETRY HW 5 DIFFERENTIAL GEOMETRY HW 5 CLAY SHONKWILER 1 Check the calculations above that the Gaussian curvature of the upper half-plane and Poincaré disk models of the hyperbolic plane is 1. Proof. The calculations

More information

1 The Differential Geometry of Surfaces

1 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 information

CHAPTER 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. 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 information

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

A PROOF OF THE GAUSS-BONNET THEOREM. Contents. 1. Introduction. 2. Regular Surfaces A PROOF OF THE GAUSS-BONNET THEOREM AARON HALPER Abstract. In this paper I will provide a proof of the Gauss-Bonnet Theorem. I will start by briefly explaining regular surfaces and move on to the first

More information

DIFFERENTIAL GEOMETRY HW 5. Show that the law of cosines in spherical geometry is. cos c = cos a cos b + sin a sin b cos θ.

DIFFERENTIAL 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 information

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

d 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 information

Hyperbolic Geometry on Geometric Surfaces

Hyperbolic 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 information

Lecture 13 The Fundamental Forms of a Surface

Lecture 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 information

DIFFERENTIAL GEOMETRY HW 9

DIFFERENTIAL GEOMETRY HW 9 DIFFERENTIAL GEOMETRY HW 9 CLAY SHONKWILER 2. Prove the following inequality on real functions (Wirtinger s inequality). Let f : [, π] R be a real function of class C 2 such that f() f(π). Then f 2 dt

More information

GEOMETRY HW 7 CLAY SHONKWILER

GEOMETRY HW 7 CLAY SHONKWILER GEOMETRY HW 7 CLAY SHONKWILER 4.5.1 Let S R 3 be a regular, compact, orientable surface which is not homeomorphic to a sphere. Prove that there are points on S where the Gaussian curvature is positive,

More information

Lecture Notes on Minimal Surfaces January 27, 2006 by Michael Dorff

Lecture Notes on Minimal Surfaces January 27, 2006 by Michael Dorff Lecture Notes on Minimal Surfaces January 7, 6 by Michael Dorff 1 Some Background in Differential Geometry Our goal is to develop the mathematics necessary to investigate minimal surfaces in R 3. Every

More information

CALCULUS 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 = 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 information

Christoffel symbols and Gauss Theorema Egregium

Christoffel symbols and Gauss Theorema Egregium Durham University Pavel Tumarkin Epiphany 207 Dierential Geometry III, Solutions 5 (Week 5 Christoel symbols and Gauss Theorema Egregium 5.. Show that the Gauss curvature K o the surace o revolution locally

More information

A local characterization for constant curvature metrics in 2-dimensional Lorentz manifolds

A local characterization for constant curvature metrics in 2-dimensional Lorentz manifolds A local characterization for constant curvature metrics in -dimensional Lorentz manifolds Ivo Terek Couto Alexandre Lymberopoulos August 9, 8 arxiv:65.7573v [math.dg] 4 May 6 Abstract In this paper we

More information

DIFFERENTIAL GEOMETRY HW 7

DIFFERENTIAL GEOMETRY HW 7 DIFFERENTIAL GEOMETRY HW 7 CLAY SHONKWILER 1 Show that within a local coordinate system x 1,..., x n ) on M with coordinate vector fields X 1 / x 1,..., X n / x n, if we pick n 3 smooth real-valued functions

More information

Solutions for Math 348 Assignment #4 1

Solutions for Math 348 Assignment #4 1 Solutions for Math 348 Assignment #4 1 (1) Do the following: (a) Show that the intersection of two spheres S 1 = {(x, y, z) : (x x 1 ) 2 + (y y 1 ) 2 + (z z 1 ) 2 = r 2 1} S 2 = {(x, y, z) : (x x 2 ) 2

More information

Part IB GEOMETRY (Lent 2016): Example Sheet 1

Part IB GEOMETRY (Lent 2016): Example Sheet 1 Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection

More information

Introduction to Algebraic and Geometric Topology Week 14

Introduction 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 information

Molding surfaces and Liouville s equation

Molding surfaces and Liouville s equation Molding surfaces and Liouville s equation Naoya Ando Abstract According to [9], a molding surface has a property that a family of lines of curvature consists of geodesics. In the present paper, we will

More information

INTRODUCTION TO GEOMETRY

INTRODUCTION 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 information

Chapter 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 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 information

ALGEBRA HW 10 CLAY SHONKWILER. Proof. Suppose that these three functions are not linearly independent. Then there exist a, b R such that

ALGEBRA HW 10 CLAY SHONKWILER. Proof. Suppose that these three functions are not linearly independent. Then there exist a, b R such that ALGEBRA HW 10 CLAY SHONKWILER 1 (a): If A is a square matrix satisfying A 3 A 2 + A I = 0, find A 1 in terms of A. Answer: If A 3 A 2 + A I = 0, then (A 2 A + I)A = A 3 A 2 + A = I = A 3 A 2 + A = A(A

More information

Course Summary Math 211

Course 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 information

MATH DIFFERENTIAL GEOMETRY. Contents

MATH 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 information

t f(u)g (u) g(u)f (u) du,

t f(u)g (u) g(u)f (u) du, Chapter 2 Notation. Recall that F(R 3 ) denotes the set of all differentiable real-valued functions f : R 3 R and V(R 3 ) denotes the set of all differentiable vector fields on R 3. 2.1 7. The problem

More information

(Differential Geometry) Lecture Notes

(Differential Geometry) Lecture Notes Evan Chen Fall 2015 This is MIT s undergraduate 18.950, instructed by Xin Zhou. The formal name for this class is Differential Geometry. The permanent URL for this document is http://web.evanchen.cc/ coursework.html,

More information

Homework for Math , Spring 2008

Homework for Math , Spring 2008 Homework for Math 4530 1, Spring 2008 Andrejs Treibergs, Instructor April 18, 2008 Please read the relevant sections in the text Elementary Differential Geometry by Andrew Pressley, Springer, 2001. You

More information

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

Dierential Geometry Curves and surfaces Local properties Geometric foundations (critical for visual modeling and computing) Quantitative analysis Algo Dierential Geometry Curves and surfaces Local properties Geometric foundations (critical for visual modeling and computing) Quantitative analysis Algorithm development Shape control and interrogation Curves

More information

Unit Speed Curves. Recall that a curve Α is said to be a unit speed curve if

Unit Speed Curves. Recall that a curve Α is said to be a unit speed curve if Unit Speed Curves Recall that a curve Α is said to be a unit speed curve if The reason that we like unit speed curves that the parameter t is equal to arc length; i.e. the value of t tells us how far along

More information

Part 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 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 information

GEOMETRY MID-TERM CLAY SHONKWILER

GEOMETRY MID-TERM CLAY SHONKWILER GEOMETRY MID-TERM CLAY SHONKWILER. Polar Coordinates R 2 can be considered as a regular surface S by setting S = {(, y, z) R 3 : z = 0}. Polar coordinates on S are given as follows. Let U = {(ρ, θ) : ρ

More information

Lectures on Quantum sine-gordon Models

Lectures on Quantum sine-gordon Models Lectures on Quantum sine-gordon Models Juan Mateos Guilarte 1, 1 Departamento de Física Fundamental (Universidad de Salamanca) IUFFyM (Universidad de Salamanca) Universidade Federal de Matto Grosso Cuiabá,

More information

MATH 104 FINAL EXAM SOLUTIONS. x dy dx + y = 2, x > 1, y(e) = 3. Answer: First, re-write in standard form: dy dx + 1

MATH 104 FINAL EXAM SOLUTIONS. x dy dx + y = 2, x > 1, y(e) = 3. Answer: First, re-write in standard form: dy dx + 1 MATH 4 FINAL EXAM SOLUTIONS CLAY SHONKWILER () Solve the initial value problem x dy dx + y =, x >, y(e) =. Answer: First, re-write in standard form: dy dx + x y = x. Then P (x) = x and Q(x) = x. Hence,

More information

Notes on Cartan s Method of Moving Frames

Notes 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 information

ν(u, v) = N(u, v) G(r(u, v)) E r(u,v) 3.

ν(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 information

1 Curvature of submanifolds of Euclidean space

1 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 information

VANISHING MEAN CURVATURE AND RELATED PROPERTIES

VANISHING MEAN CURVATURE AND RELATED PROPERTIES VANISHING MEAN CURVATURE AN RELATE PROPERTIES PAUL ANTONACCI 1. Introduction The project deals with surfaces that have vanishing mean curvature. A surface with vanishing mean curvature possesses interesting

More information

Totally quasi-umbilic timelike surfaces in R 1,2

Totally 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 information

Introduction to Minimal Surface Theory: Lecture 2

Introduction to Minimal Surface Theory: Lecture 2 Introduction to Minimal Surface Theory: Lecture 2 Brian White July 2, 2013 (Park City) Other characterizations of 2d minimal surfaces in R 3 By a theorem of Morrey, every surface admits local isothermal

More information

HOMEWORK 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. 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 information

Surface 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). 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 information

DIFFERENTIAL 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 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 information

HILBERT S THEOREM ON THE HYPERBOLIC PLANE

HILBERT 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 information

, where s is the arclength parameter. Prove that. κ = w = 1 κ (θ) + 1. k (θ + π). dγ dθ. = 1 κ T. = N dn dθ. = T, N T = 0, N = T =1 T (θ + π) = T (θ)

, where s is the arclength parameter. Prove that. κ = w = 1 κ (θ) + 1. k (θ + π). dγ dθ. = 1 κ T. = N dn dθ. = T, N T = 0, N = T =1 T (θ + π) = T (θ) Here is a collection of old exam problems: 1. Let β (t) :I R 3 be a regular curve with speed = dβ, where s is the arclength parameter. Prove that κ = d β d β d s. Let β (t) :I R 3 be a regular curve such

More information

Lectures 15: Parallel Transport. Table of contents

Lectures 15: Parallel Transport. Table of contents Lectures 15: Parallel Transport Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams. In this lecture we study the

More information

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

Math 461 Homework 8. Paul Hacking. November 27, 2018 Math 461 Homework 8 Paul Hacking November 27, 2018 (1) Let S 2 = {(x, y, z) x 2 + y 2 + z 2 = 1} R 3 be the sphere with center the origin and radius 1. Let N = (0, 0, 1) S 2 be the north pole. Let F :

More information

Inner Product Spaces 6.1 Length and Dot Product in R n

Inner Product Spaces 6.1 Length and Dot Product in R n Inner Product Spaces 6.1 Length and Dot Product in R n Summer 2017 Goals We imitate the concept of length and angle between two vectors in R 2, R 3 to define the same in the n space R n. Main topics are:

More information

THE GAUSS MAP OF TIMELIKE SURFACES IN R n Introduction

THE GAUSS MAP OF TIMELIKE SURFACES IN R n Introduction Chin. Ann. of Math. 16B: 3(1995),361-370. THE GAUSS MAP OF TIMELIKE SURFACES IN R n 1 Hong Jianqiao* Abstract Gauss maps of oriented timelike 2-surfaces in R1 n are characterized, and it is shown that

More information

Parts Manual. EPIC II Critical Care Bed REF 2031

Parts Manual. EPIC II Critical Care Bed REF 2031 EPIC II Critical Care Bed REF 2031 Parts Manual For parts or technical assistance call: USA: 1-800-327-0770 2013/05 B.0 2031-109-006 REV B www.stryker.com Table of Contents English Product Labels... 4

More information

Math 461 Homework 8 Paul Hacking November 27, 2018

Math 461 Homework 8 Paul Hacking November 27, 2018 (1) Let Math 461 Homework 8 Paul Hacking November 27, 2018 S 2 = {(x, y, z) x 2 +y 2 +z 2 = 1} R 3 be the sphere with center the origin and radius 1. Let N = (0, 0, 1) S 2 be the north pole. Let F : S

More information

The Jacobian. v y u y v (see exercise 46). The total derivative is also known as the Jacobian Matrix of the transformation T (u; v) :

The Jacobian. v y u y v (see exercise 46). The total derivative is also known as the Jacobian Matrix of the transformation T (u; v) : The Jacobian The Jacobian of a Transformation In this section, we explore the concept of a "derivative" of a coordinate transformation, which is known as the Jacobian of the transformation. However, in

More information

Isothermal parameters

Isothermal 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 information

HOMEWORK 2 - SOLUTIONS

HOMEWORK 2 - SOLUTIONS HOMEWORK 2 - SOLUTIONS - 2012 ANDRÉ NEVES Exercise 15 of Chapter 2.3 of Do Carmo s book: Okay, I have no idea why I set this one because it is similar to another one from the previous homework. I might

More information

Geometric Modelling Summer 2016

Geometric 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 information

5.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. 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 information

DIFFERENTIAL GEOMETRY HW 12

DIFFERENTIAL GEOMETRY HW 12 DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),

More information

Math 433 Outline for Final Examination

Math 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 information

The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013

The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013 The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds Zdeněk Dušek Sao Paulo, 2013 Motivation In a previous project, it was proved that any homogeneous affine manifold (and

More information

5.3 Surface Theory with Differential Forms

5.3 Surface Theory with Differential Forms 5.3 Surface Theory with Differential Forms 1 Differential forms on R n, Click here to see more details Differential forms provide an approach to multivariable calculus (Click here to see more detailes)

More information

THEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009

THEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009 [under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was

More information

CS Tutorial 5 - Differential Geometry I - Surfaces

CS 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 information

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

Topics. 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 information

What is a Space Curve?

What 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 information

Surfaces of Revolution with Constant Mean Curvature H = c in Hyperbolic 3-Space H 3 ( c 2 )

Surfaces of Revolution with Constant Mean Curvature H = c in Hyperbolic 3-Space H 3 ( c 2 ) Surfaces of Revolution with Constant Mean Curvature H = c in Hyerbolic 3-Sace H 3 ( c 2 Kinsey-Ann Zarske Deartment of Mathematics, University of Southern Mississii, Hattiesburg, MS 39406, USA E-mail:

More information

Minimal Surfaces. Clay Shonkwiler

Minimal Surfaces. Clay Shonkwiler Minimal Surfaces Clay Shonkwiler October 18, 2006 Soap Films A soap film seeks to minimize its surface energy, which is proportional to area. Hence, a soap film achieves a minimum area among all surfaces

More information

NIL. Let M be R 3 equipped with the metric in which the following vector. fields, U = and. are an orthonormal basis.

NIL. Let M be R 3 equipped with the metric in which the following vector. fields, U = and. are an orthonormal basis. NIL KEVIN WHYTE Let M be R 3 equipped with the metric in which the following vector fields: U = x + y z V = y and W = z are an orthonormal basis. 1. Preliminaries Since we re given the metric via an orthonormal

More information

Math 147, Homework 1 Solutions Due: April 10, 2012

Math 147, Homework 1 Solutions Due: April 10, 2012 1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M

More information

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

Rule ST1 (Symmetry). α β = β α for 1-forms α and β. Like the exterior product, the symmetric tensor product is also linear in each slot : 2. Metrics as Symmetric Tensors So far we have studied exterior products of 1-forms, which obey the rule called skew symmetry: α β = β α. There is another operation for forming something called the symmetric

More information

HOMEWORK 3 MA1132: ADVANCED CALCULUS, HILARY 2017

HOMEWORK 3 MA1132: ADVANCED CALCULUS, HILARY 2017 HOMEWORK MA112: ADVANCED CALCULUS, HILARY 2017 (1) A particle moves along a curve in R with position function given by r(t) = (e t, t 2 + 1, t). Find the velocity v(t), the acceleration a(t), the speed

More information

Coordinate Finite Type Rotational Surfaces in Euclidean Spaces

Coordinate Finite Type Rotational Surfaces in Euclidean Spaces Filomat 28:10 (2014), 2131 2140 DOI 10.2298/FIL1410131B Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Coordinate Finite Type

More information

Mathematics 117 Lecture Notes for Curves and Surfaces Module

Mathematics 117 Lecture Notes for Curves and Surfaces Module Mathematics 117 Lecture Notes for Curves and Surfaces Module C.T.J. Dodson, Department of Mathematics, UMIST These notes supplement the lectures and provide practise exercises. We begin with some material

More information

Classical differential geometry of two-dimensional surfaces

Classical 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 information

LOCAL NEWS. PAVBBS any at this offioe. TAKE NOT IUE. AH accounts due the. firm qf MORRIS A' III HE mutt be paid to

LOCAL NEWS. PAVBBS any at this offioe. TAKE NOT IUE. AH accounts due the. firm qf MORRIS A' III HE mutt be paid to U Q -2 U- VU V G DDY Y 2 (87 U U UD VY D D Y G UY- D * (* ) * * D U D U q F D G** D D * * * G UX UUV ; 5 6 87 V* " * - j ; j $ Q F X * * «* F U 25 ](«* 7» * * 75! j j U8F j» ; F DVG j * * F DY U» *»q*

More information

HOMEWORK 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. 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 information

HYDROMETRIC NETWORK REQUIREMENTS OKANAGAN BASIN FOR THE. Prepared for. Photo: Belgo Creek at Highway 33

HYDROMETRIC NETWORK REQUIREMENTS OKANAGAN BASIN FOR THE. Prepared for. Photo: Belgo Creek at Highway 33 YD QU F G f : g g 33 b g g G g 8 f g f g Dv, f v b g g G g 8 : b, f v b-b g g, ://.v.gv.b.// f g b f g. 1. 1 2. g.. 4 3. f F. 4. 11 5... 13 6... b b 1... 11 b 2. F.. x.. f f x.. b x... f g f g 1. b g f.

More information

A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS

A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS Novi Sad J. Math. Vol., No. 2, 200, 10-110 A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS Emin Kasap 1 Abstract. A non-linear differential equation is analyzed

More information

Properties of the Pseudosphere

Properties of the Pseudosphere Properties of the Pseudosphere Simon Rubinstein Salzedo May 25, 2004 Euclidean, Hyperbolic, and Elliptic Geometries Euclid began his study of geometry with five axioms. They are. Exactly one line may drawn

More information

1. Geometry of the unit tangent bundle

1. Geometry of the unit tangent bundle 1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations

More information

Lectures in Discrete Differential Geometry 2 Surfaces

Lectures 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 information

Math 102 Spring 2008: Solutions: HW #3 Instructor: Fei Xu

Math 102 Spring 2008: Solutions: HW #3 Instructor: Fei Xu Math Spring 8: Solutions: HW #3 Instructor: Fei Xu. section 7., #8 Evaluate + 3 d. + We ll solve using partial fractions. If we assume 3 A + B + C, clearing denominators gives us A A + B B + C +. Then

More information

Calculus 1: A Large and In Charge Review Solutions

Calculus 1: A Large and In Charge Review Solutions Calculus : A Large and n Charge Review Solutions use the symbol which is shorthand for the phrase there eists.. We use the formula that Average Rate of Change is given by f(b) f(a) b a (a) (b) 5 = 3 =

More information

On universality of critical behaviour in Hamiltonian PDEs

On universality of critical behaviour in Hamiltonian PDEs Riemann - Hilbert Problems, Integrability and Asymptotics Trieste, September 23, 2005 On universality of critical behaviour in Hamiltonian PDEs Boris DUBROVIN SISSA (Trieste) 1 Main subject: Hamiltonian

More information

Stratification of 3 3 Matrices

Stratification of 3 3 Matrices Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (

More information

LOWELL JOURNAL NEWS FROM HAWAII.

LOWELL JOURNAL NEWS FROM HAWAII. U # 2 3 Z7 B 2 898 X G V ; U» VU UU U z z 5U G 75 G } 2 B G G G G X G U 8 Y 22 U B B B G G G Y «j / U q 89 G 9 j YB 8 U z U - V - 2 z j _ ( UU 9 -! V G - U GB 8 j - G () V B V Y 6 G B j U U q - U z «B

More information

An Introduction to Gaussian Geometry

An Introduction to Gaussian Geometry Lecture Notes in Mathematics An Introduction to Gaussian Geometry Sigmundur Gudmundsson (Lund University) (version 2.068-16th of November 2017) The latest version of this document can be found at http://www.matematik.lu.se/matematiklu/personal/sigma/

More information

Part IB. Geometry. Year

Part IB. Geometry. Year Part IB Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 17 Paper 1, Section I 3G Give the definition for the area of a hyperbolic triangle with interior angles

More information

On the Weierstrass-Enneper Representation of Minimal Surfaces

On the Weierstrass-Enneper Representation of Minimal Surfaces On the Weierstrass-Enneper Representation of Minimal Surfaces Albin Ingelström Bachelor s thesis 2017:K15 Faculty of Science Centre for Mathematical Sciences Mathematics CENTRUM SCIENTIARUM MATHEMATICARUM

More information

Geodesics. (Com S 477/577 Notes) Yan-Bin Jia. Nov 2, 2017

Geodesics. (Com S 477/577 Notes) Yan-Bin Jia. Nov 2, 2017 Geodesics (om S 477/577 Notes Yan-Bin Jia Nov 2, 2017 Geodesics are the curves in a surface that make turns just to stay on the surface and never move sideways. A bug living in the surface and following

More information

Definition 1.1 (Curve). A continuous function α : [a, b] R 3 α(t) = (x(t), y(t), z(t)), and each component is continuous.

Definition 1.1 (Curve). A continuous function α : [a, b] R 3 α(t) = (x(t), y(t), z(t)), and each component is continuous. 1 Space Curves Definition 1.1 (Curve). A continuous function α : [a, b] R 3 α(t) = (x(t), y(t), z(t)), and each component is continuous. is a curve Definition 1. (Differentiable Curve). α is a differentiable

More information

Bulletin of the Transilvania University of Braşov Vol 7(56), No Series III: Mathematics, Informatics, Physics, 1-12

Bulletin of the Transilvania University of Braşov Vol 7(56), No Series III: Mathematics, Informatics, Physics, 1-12 Bulletin of the Transilvania University of Braşov Vol 7(56), No. 1-2014 Series III: Mathematics, Informatics, Physics, 1-12 EQUATION GEODESIC IN A TWO-DIMENSIONAL FINSLER SPACE WITH SPECIAL (α, β)-metric

More information

Politecnico di Torino. Porto Institutional Repository

Politecnico di Torino. Porto Institutional Repository Politecnico di Torino Porto Institutional Repository [Article] Surfaces in R4 with constant principal angles with respect to a plane Original Citation: Di Scala, A.J.; Ruiz-Hernandez, G.; Bayard, P.;Osuna-Castro,

More information