Lecture 8 Part 2: Christoffel Symbols and the Compatibility - PowerPoint PPT Presentation

Lecture 8 Part 2: Christoffel Symbols and the Compatibility Equations Prof. Weiqing Gu Math 178: Nonlinear Data Analysis

Christoffel Symbols Trihedron at a Point of a Surface S will denote, as usual, a regular, orientable, and oriented surface. Let x : U ⊂ R 2 → S be a parametrization in the orientation of S . It is possible to assign to each point of x ( U ) a natural trihedron given by the vectors x u , x v , and N .

Christoffel Symbols Trihedron at a Point of a Surface S will denote, as usual, a regular, orientable, and oriented surface. Let x : U ⊂ R 2 → S be a parametrization in the orientation of S . It is possible to assign to each point of x ( U ) a natural trihedron given by the vectors x u , x v , and N . By expressing the derivatives of the vectors x u , x v , and N in the basis { x u , x v , N } , we obtain x uu = Γ 1 11 x u + Γ 2 11 x v + L 1 N , x uv = Γ 2 12 x u + Γ 2 12 x v + L 2 N , x vu = Γ 1 21 x u + Γ 2 21 x v + L 2 N , x vv = Γ 1 22 x u + Γ 2 22 x v + L 3 N , N u = a 11 x u + a 21 x v , N v = a 12 x u + a 22 x v .

Christoffel Symbols Note By taking the inner product of the first four relations on the previous slide with N , we immediately obtain L 1 = e , L 2 = L 2 = f , L 3 = g , where e , f , and g are the coefficients of the second fundamental form of S .

Christoffel Symbols Note By taking the inner product of the first four relations on the previous slide with N , we immediately obtain L 1 = e , L 2 = L 2 = f , L 3 = g , where e , f , and g are the coefficients of the second fundamental form of S . Note The a ij ’s in the last two relations on the previous slides come from the matrix representation � − 1 � � � � � a 11 a 21 e f E F = − a 12 a 22 f g F G of dN p .

Christoffel Symbols Definition The coefficients Γ k ij , i , j , k = 1 , 2, are called the Christoffel symbols of S in the parametrization x . Since x uv = x vu , we conclude that Γ 1 12 = Γ 1 21 and Γ 2 12 = Γ 2 21 ; that is, the Christoffel symbols are symmetric relative to the lower indices.

Christoffel Symbols Definition The coefficients Γ k ij , i , j , k = 1 , 2, are called the Christoffel symbols of S in the parametrization x . Since x uv = x vu , we conclude that Γ 1 12 = Γ 1 21 and Γ 2 12 = Γ 2 21 ; that is, the Christoffel symbols are symmetric relative to the lower indices. To determine the Christoffel symbols, we take the inner product of the first four relations with x u and x v , obtaining the system � 11 F = � x uu , x u � = 1 Γ 1 11 E + Γ 2 2 E u , Γ 1 11 F + Γ 2 11 G = � x uu , x v � = F u − 1 2 E v , � 12 F = � x uv , x u � = 1 Γ 1 12 E + Γ 2 2 E v , Γ 1 12 F + Γ 2 12 G = � x uv , x v � = 1 2 G u , � Γ 1 22 E + Γ 2 22 F = � x vv , x u � = F v − 1 2 G u , 22 G = � x vv , x v � = 1 Γ 1 22 F + Γ 2 2 G v .

Christoffel Symbols Note: EG − F 2 � = 0 Thus, it is possible to solve the above system (use Cramer’s Rule) and to compute the Christoffel symbols in terms of the coefficients of the first fundamental form, E, F, G, and their derivatives.

Christoffel Symbols Note: EG − F 2 � = 0 Thus, it is possible to solve the above system (use Cramer’s Rule) and to compute the Christoffel symbols in terms of the coefficients of the first fundamental form, E, F, G, and their derivatives. Important Observation All geometric concepts and properties expressed in terms of the Christoffel symbols are invariant under isometries.

Christoffel Symbols Example We shall compute the Christoffel symbols for a surface of revolution parametrized by x ( u , v ) = ( f ( v ) cos u , f ( v ) sin u , g ( v )) , f ( v ) � = 0 . Recall E = ( f ( v )) 2 � = 0 , G = ( f ′ ( v )) 2 + ( g ′ ( v )) 2 � = 0 . F = 0 ,

The Theorem of Gauss Theorem (Theorema Egregium (Gauss)) The Gaussian curvature K of a surface is invariant by local isometries. Proof. ⇒ 12 = − E eg − f 2 (Γ 2 12 ) u − (Γ 2 11 ) v + Γ 1 12 Γ 2 11 + Γ 2 12 Γ 2 12 − Γ 2 11 Γ 2 22 − Γ 1 11 Γ 2 EG − F 2 = − EK . (1)

Theorem of Gauss Consequences ◮ In fact, if x : U ⊂ R 2 → S is a parametrization at p ∈ S and if ϕ : V ⊂ S → S , where V ⊂ x ( U ) is a neighborhood of p , is a local isometry at p , then y = ϕ ◦ x is a parametrization of S at ϕ ( p ).

Theorem of Gauss Consequences ◮ In fact, if x : U ⊂ R 2 → S is a parametrization at p ∈ S and if ϕ : V ⊂ S → S , where V ⊂ x ( U ) is a neighborhood of p , is a local isometry at p , then y = ϕ ◦ x is a parametrization of S at ϕ ( p ). ◮ Since ϕ is an isometry, the coefficients of the first fundamental form in the parametrizations x and y agree at corresponding points q and ϕ ( q ), q ∈ V ; thus, the corresponding Christoffel symbols also agree.

Theorem of Gauss Consequences ◮ In fact, if x : U ⊂ R 2 → S is a parametrization at p ∈ S and if ϕ : V ⊂ S → S , where V ⊂ x ( U ) is a neighborhood of p , is a local isometry at p , then y = ϕ ◦ x is a parametrization of S at ϕ ( p ). ◮ Since ϕ is an isometry, the coefficients of the first fundamental form in the parametrizations x and y agree at corresponding points q and ϕ ( q ), q ∈ V ; thus, the corresponding Christoffel symbols also agree. ◮ By Eq. ?? , K can be computed at a point as a function of the Christoffel symbols in a given parametrization at the point. It follows that K ( q ) = K ( ϕ ( q )) for all q ∈ V .

Theorem of Gauss Consequences ◮ In fact, if x : U ⊂ R 2 → S is a parametrization at p ∈ S and if ϕ : V ⊂ S → S , where V ⊂ x ( U ) is a neighborhood of p , is a local isometry at p , then y = ϕ ◦ x is a parametrization of S at ϕ ( p ). ◮ Since ϕ is an isometry, the coefficients of the first fundamental form in the parametrizations x and y agree at corresponding points q and ϕ ( q ), q ∈ V ; thus, the corresponding Christoffel symbols also agree. ◮ By Eq. ?? , K can be computed at a point as a function of the Christoffel symbols in a given parametrization at the point. It follows that K ( q ) = K ( ϕ ( q )) for all q ∈ V . Example Recall that a catenoid is locally isometric to a helicoid. It follows from the Gauss theorem that the Gaussian curvatures are equal at corresponding points, a fact which is geometrically nontrivial.

Importance of Gauss’s Formula Gauss’s Formula K = − 1 �� � Γ 2 � � Γ 2 � v + Γ 1 12 Γ 2 11 + Γ 2 12 Γ 2 12 − Γ 2 11 Γ 2 22 − Γ 1 11 Γ 2 u − . 12 11 12 E When x is an orthogonal parametrization (i.e., F = 0), then � ∂ � E v � G u � �� 1 + ∂ K = − √ √ √ . ∂ v ∂ u 2 EG EG EG

Importance of Gauss’s Formula Gauss’s Formula K = − 1 �� � Γ 2 � � Γ 2 � v + Γ 1 12 Γ 2 11 + Γ 2 12 Γ 2 12 − Γ 2 11 Γ 2 22 − Γ 1 11 Γ 2 u − . 12 11 12 E When x is an orthogonal parametrization (i.e., F = 0), then � ∂ � E v � G u � �� 1 + ∂ K = − √ √ √ . ∂ v ∂ u 2 EG EG EG Why is this cool? The Gauss formula expresses the Gaussian curvature K as a function of the coefficients of the first fundamental form and its derivatives. This means that K is an intrinsic concept, a very striking fact if we consider that K was defined using the second fundamental form.

Intrinsic Geometry We shall soon see that many other concepts of differential geometry are in the same setting as the Gaussian curvature; that is, they depend only on the first fundamental form of the surface. It thus makes sense to talk about a geometry of the first fundamental form, which we call intrinsic geometry, since it may be developed without any reference to the space that contains the surface (once the first fundamental form is given).

Intrinsic Geometry We shall soon see that many other concepts of differential geometry are in the same setting as the Gaussian curvature; that is, they depend only on the first fundamental form of the surface. It thus makes sense to talk about a geometry of the first fundamental form, which we call intrinsic geometry, since it may be developed without any reference to the space that contains the surface (once the first fundamental form is given). Example The Mainardi-Codazzi Equations are similar to the Gauss formula, and are given by f v − g u = e Γ 1 22 + f (Γ 2 22 − Γ 1 12 ) − g Γ 2 12 e v − f u = e Γ 1 12 + f (Γ 2 12 − Γ 1 11 ) − g Γ 2 11 .

Intrinsic Geometry We shall soon see that many other concepts of differential geometry are in the same setting as the Gaussian curvature; that is, they depend only on the first fundamental form of the surface. It thus makes sense to talk about a geometry of the first fundamental form, which we call intrinsic geometry, since it may be developed without any reference to the space that contains the surface (once the first fundamental form is given). Example The Mainardi-Codazzi Equations are similar to the Gauss formula, and are given by f v − g u = e Γ 1 22 + f (Γ 2 22 − Γ 1 12 ) − g Γ 2 12 e v − f u = e Γ 1 12 + f (Γ 2 12 − Γ 1 11 ) − g Γ 2 11 . ◮ The Gauss formula and the Mainardi-Codazzi equations are known under the name of compatibility equations of the theory of surfaces.