기본 페이지 포트폴리오 대한민국의 전통건축 중국과 일본의 전통건축 서유럽과 미국의 건축 국역 청오경 현대 우주론 대한민국의 산풍경 백두대간 종주산행 네팔 히말라야 트레킹 몽블랑 지역 트레킹 요세미티 캐년 등 티베트 실크로드 야생 생물 파노라마사진 갤러리 클래식 레코드 갤러리 AT 포럼 트레킹 정보 링크


 로그인  회원가입

미분기하학 3: Gauss Curvature; Geodesics
    김관석  (Homepage) 2019-06-16 16:51:45, 조회수 : 177
- Download #1 : dff_1_3.jpg (47.8 KB), Download : 0



6. Gauss Curvature II <- Figure I-26 참조

     ∘  Definition I-4
         𝐤1과 𝐤2가 곡면 𝐌의 한 점 𝐏의 normal curvature 𝐤n(𝐯)의 최대값과 최소값이라면, 𝐤1과  𝐤2principal curvatures
         하며 해당 방향을 principal directions 이라 하며, 곱인 𝐊 = 𝐊(𝐏) = 𝐤1𝐤2는 𝐏에서의 𝐌의 Gauss curvature 라 부른다.
     ∘  Theorem I-5  
         𝐌의 어떤 점 𝐏의 Gauss curvature는 𝐊(𝐏) = 𝐿/𝑔로 주어진다. <- 𝐿 = det (𝐿𝑖𝑗), 𝑔 = det (𝑔𝑖𝑗)
         Proof. 우리는 𝑔𝑖𝑗v𝑖v𝑗 = 1 라는 제한된 식을 extremize(極値化)함으로써 증명을 유도하려고 합니다.
          𝐤 = 𝐤n(𝐯) = 𝐿𝑖𝑗v𝑖v𝑗/𝑔𝑚𝑛v𝑚v𝑛  <- 𝐯: non-zero vectors of 𝐓𝑝𝐌; 𝐯 = v𝑖𝐗𝑖: principal direction vector, ∂𝐤/∂v1 = ∂𝐤/∂v2 = 0     
          Let f(x1, x2) = a𝑖𝑗x𝑖x𝑗  <- quadratic form, (a𝑖𝑗): real symmetric n X n matrix: a𝑖𝑗 = a𝑖𝑗, Then ∂f/∂x𝑟 = 2a𝑟𝑗x𝑗,  r = 1,2. ∴
         [d[f(x)/g(x)]/dx = [f'(x)g(x)- f(x)g'(x)]/g(x)2]→  ∂𝐤/∂v𝑟 = (2𝑔𝑚𝑛v𝑚v𝑛𝐿𝑟𝑗v𝑗 - 2𝐿𝑖𝑗v𝑖v𝑗𝑔𝑟𝑛v𝑛)/(𝑔𝑚𝑛v𝑚v𝑛)2, r = 1,2
         [분자의 𝐿𝑖𝑗v𝑖v𝑗↦ 𝐤𝑔𝑚𝑛v𝑚v𝑛, 분자 분모를 정리]→  ∂𝐤/∂v𝑟 = [2(𝐿𝑟𝑗 -  𝐤𝑔𝑟𝑗)v𝑗]/𝑔𝑚𝑛v𝑚v𝑛, r = 1,2
         At an extreme value we must have (𝐿𝑖𝑗 - 𝐤𝑔𝑖𝑗)v𝑗 = 0, 𝑖 = 1,2. then det(𝐿𝑖𝑗 - 𝐤𝑔𝑖𝑗) = 0.  <- v𝑗: non-zero vector; why?   (24)
         𝑔 = det (𝑔𝑖𝑗) = 𝑔11𝑔22 - (𝑔11)2,  𝐿 = 𝐿11𝐿22 - (𝐿11)2; 𝐤2, 𝐤, constant에 대해 (𝐤 - 𝐤1)(𝐤 - 𝐤2) = 0 방식으로 전개합니다.
         𝐤2𝑔 - 𝐤(𝑔11𝐿22 + 𝑔22𝐿11 - 2𝑔12𝐿12) + 𝐿 = 0  or 𝐤2 - 𝐤(𝑔11𝐿22 + 𝑔22𝐿11 - 2𝑔12𝐿12)/𝑔 + 𝐿/𝑔 = 0, ∴ 𝐊(𝐏) = 𝐤1𝐤2 = 𝐿/𝑔  ∎ *
     ∘  Gauss curvature의 두 principal direction은 서로 직교한다. 
         Proof. 점 𝐏의 두 non-zero principal direction vector를 각각 𝐯 = v𝑖𝐗𝑖, 𝐰 = w𝑖𝐗𝑖 라고 합시다.
         By Eq. (24), (𝐿𝑖𝑗 - 𝐤1𝑔𝑖𝑗)v𝑗 = 0, (𝐿𝑖𝑗 - 𝐤2𝑔𝑖𝑗)w𝑗 = 0,  𝑖 = 1,2; [𝑖 ⇄ 𝑗, 𝑔𝑖𝑗 = 𝑔𝑗𝑖] → 𝐿𝑖𝑗v𝑖 = 𝐤1𝑔𝑖𝑗v𝑖,  𝑖 = 1,2                            (25)
         By Eq. (24) (25), (𝐤1 - 𝐤2)𝑔𝑖𝑗v𝑖w 𝑗 = 0. ∴𝑔𝑖𝑗v𝑖w 𝑗 = 𝐯 ∙ 𝐰 = 0. 만일 𝐤1 ≠ 𝐤2 이면, 두 principal directions은 서로 직교한다.  
         만일 𝐤1 = 𝐤2 이면, 우리는 서로 직교하는 두 direction을 선택해서 principal directions이라고 부릅니다. ∎
     ∘  Sphere mapping or Gauss mapping
         𝐏 = 𝐗 (u10, u20) 그리고 𝛺: neighborhood of (u10, u20), 𝐗: one-to-one, continuous inverse 𝐗(𝛺)→ 𝛺 라고 가정한다면,
         𝐗(𝛺)의 각 점 𝐗 (u1, u2)으로, E3의 원점으로 pararell-translated normal vector 𝐔 (u1, u2)를 관련시킬 수 있습니다.
        ∥𝐔∥= 1 이므로, 그 translated vector는 unit sphere 𝐒2의 한점관 연관시켜 볼 수 있는데, 이러한  𝐗(𝛺)→ 𝐒2 mapping을
         Sphere mapping 또는 Gauss mapping라 부르며. 𝐔(𝛺)는 𝐗(𝛺)의 spherical normal image라 부르기도 합니다.  
         𝐔는 sphere에 수직하므로, 𝐒2의  𝐔(u1, u2)의 tangent plane 𝐓u𝐒2는 𝐗(u1, u2)의 tangent plane 𝐓x𝐌과 평행합니다.
         ∴ 𝐔 = ∓ (𝐔1 X 𝐔2) /∥𝐔1 X 𝐔2∥ or  𝐔 ∙ 𝐔1 X 𝐔2 = ∓∥𝐔1 X 𝐔2∥.
     ∘  Area 𝐔(𝛺) = ∓ ∬𝛺∥𝐔1 X 𝐔2∥du1du2 = ∬𝛺 𝐔 ∙ 𝐔1 X 𝐔2 du1du2,  𝐗(𝛺) = ∓ ∬𝛺∥𝐗1 X 𝐗2∥du1du2 = ∬𝛺 𝐔 ∙ 𝐗1 X 𝐗2 du1du2
         𝐊(𝐏) = lim𝛺 → (u01, u02) [Area 𝐔(𝛺)/Area 𝐗(𝛺)]                                                                                                    (26)
         Area 𝐔(𝛺) ≈ (𝐔 ∙ 𝐔1 X 𝐔2)(𝐏) A(𝛺), 𝐗(𝛺) ≈ (𝐔 ∙ 𝐗1 X 𝐗2)(𝐏) A(𝛺) ∴ Area 𝐔(𝛺)/𝐗(𝛺) ≈ (𝐔 ∙ 𝐔1 X 𝐔2 / 𝐔 ∙ 𝐗1 X 𝐗2) (𝐏)
     ∘  Lemma 補助 定理 I-6
         𝐔1 X 𝐔2 = 𝐊 (𝐗1 X 𝐗2)
         Proof.  Define the functions 𝐿𝑖𝑗(u1, u2) 𝐿𝑖𝑗 ≡ 𝐿𝑗𝑘 𝑔𝑘𝑖,  𝑖,𝑗 =1,2                                                                                (27)
         𝐿𝑖𝑗 𝑔𝑖𝑚 = 𝐿𝑗𝑘 𝑔𝑘𝑖𝑔𝑖𝑚 = 𝐿𝑗𝑘 𝛿𝑘𝑚 = 𝐿𝑗𝑚;  𝐔 ∙ 𝐔 = 1, ∴ 𝐔 ∙ 𝐔𝑗 = 0;  𝐔𝑗 = a𝑟𝑗 𝐗𝑟,  𝑗 =1,2  <- linear combination of 𝐗1 and 𝐗2
         𝐔 ∙ 𝐗𝑘 = 0 → 𝐔𝑗 ∙ 𝐗𝑘 + 𝐔 ∙ 𝐗𝑗𝑘 = 0  <- differentiated by u𝑗; ∴ 𝐔𝑗 ∙ 𝐗𝑘 = - 𝐔 ∙ 𝐗𝑗𝑘 = -𝐿𝑗𝑘 = a𝑟𝑗 𝐗𝑟 ∙ 𝐗𝑘 = a𝑟𝑗 𝑔𝑟𝑘, 𝑗,𝑘 = 1,2
         <- by eq. 20; [양변에 𝑔𝑘𝑖를 곱하고 sum over k]→  - 𝑔𝑘𝑖𝐿𝑗𝑘 = a𝑟𝑗 𝑔𝑟𝑘𝑔𝑘𝑖 = a𝑟𝑗 𝛿𝑖𝑟 = a𝑖𝑗, ∴ a𝑖𝑗 = - 𝐿𝑖𝑗  <- by eq. 27;
         ∴ 𝐔𝑗 = - 𝐿𝑖𝑗 𝐗𝑖,   𝑗 =1,2  <- the equation of Weingarten                                                                                 (28)
         𝐔1 X 𝐔2 = (- 𝐿𝑖1𝐗𝑖) X (- 𝐿𝑘2𝐗𝑘) = (𝐿11𝐗1 + 𝐿21𝐗2) X (𝐿12𝐗1 + 𝐿22𝐗2) = (𝐿11𝐿22 -  𝐿21𝐿12) (𝐗1 X 𝐗2) = det (𝐿𝑖𝑗) (𝐗1 X 𝐗2)
          <- 𝐗𝑖 X 𝐗𝑖 = 𝟎, 𝐗𝑖 X 𝐗𝑗 = - 𝐗𝑗 X 𝐗𝑖; [det(𝐀𝐁) = det(𝐀)det(𝐁); det(𝐀-1) = 1/det(𝐀): det(𝐀) is non-zero, iff, 𝐀 is invertible.]
         det(𝐿𝑖𝑗) = det(𝐿𝑗𝑘𝑔𝑘𝑖) = det(𝐿𝑗𝑘)det(𝑔𝑘𝑖) = det(𝐿𝑗𝑘)/det(𝑔𝑘𝑖) = 𝐿/𝑔 = 𝐊. ∎

7. Geodesics ** <- Figure I-28 참조

     ∘  일반적으로 곡면 𝐌 위 곡선 𝛂은 두가지 이유로 curvature를 갖습니다. 첫째 곡면 자체가 3차원의 공간 속에서 굽은 것으로
        본질적으로는 앞에서 논의된 normal curvature 입니다. 둘째 𝐌이 곡면이든 아니든 𝛂가 𝐌에 대해 상대적으로 굽은 정도로
        이를 geodesic curvature 라 부르며, 아래와 같이 정의합니다.
     ∘  𝛂(s) <- s: arc length; 𝛂' ∙ 𝛂' = 1, ∴ 𝛂" ∙ 𝛂' = 0;  𝛂" = 𝛂"tan + 𝛂"nor = (u𝑟" + 𝛤𝑟𝑖𝑗 u𝑖'u𝑗')𝐗𝑟 + (𝐿𝑖𝑗 u𝑖'u𝑗')𝐔  <- by eq. 18
        𝛂"tan ∙ 𝐔 = 0 and 𝛂"tan ∙ 𝛂' = (𝛂"tan + 𝛂"nor) ∙ 𝛂' = 𝛂" ∙ 𝛂' = 0 이므로, 𝛂"tan는 다음 식의 the geodesic normal vector인,  
        𝐰 = 𝐔 X 𝛂'(a vector tangent to 𝐌)와 비례하는데. 그 propotionality factor를  geodesic curvature 라고 부릅니다.
     ∘  Definition I-7
        𝛂 = 𝛂(s)가 s가 호의 길이인 𝐌의 곡선일 때, 𝛂(s)에서의 geodesic curvature는 다음 방정식의 함수 𝐤g = 𝐤g(s)이다.       
        𝛂"tan = 𝐤g 𝐰 = 𝐤g 𝐔 X 𝛂'                                                                                                                                 (30)
        ∴ 𝐤g = 𝐔 ∙ 𝛂' X 𝛂"  <- 𝐤g = 𝛂"tan∙ 𝐰 = 𝛂" ∙ 𝐰 = 𝛂" ∙ 𝐔 X 𝛂' <- 삼중 내적의 순환                                                       (31)
     ∘  Definition I-8
        𝛂 = 𝛂(s)가 s가 호의 길이인 𝐌의 곡선일 때, 만일 𝛂가 모든(every) 점에서 𝛂"tan = 𝟬 (동등하게 𝛂" = 𝛂"nor) 이라면
        𝛂를 하나의 geodesic 이라고 부른다.   
        ∴ 𝛂 is a geodesic, if and only if,  𝛂"tan = u𝑟" + 𝛤𝑟𝑖𝑗 u𝑖'u𝑗' = 0,  𝑟 = 1,2,  𝐤g = 𝐔 ∙ 𝛂' X 𝛂" = 0                                    (32ab)
     ∘  Christoffel symbols of the second kind and the first kind
        Eq. (17) [𝐗𝑖𝑗 =  𝛤𝑟𝑖𝑗𝐗𝑟 + 𝐿𝑖𝑗𝐔,  𝑖,𝑗 = 1, 2]에서 정의된 𝛤𝑟𝑖𝑗를  Christoffel symbols of the second kind 라고 부릅니다.
        또한 𝛤𝑖𝑗𝑘 = 𝛤𝑟𝑖𝑗𝑔𝑟𝑘  𝑖,𝑗,𝑘 = 1,2 로 정의합니다. <- 𝛤𝑖𝑗𝑘Christoffel symbols of the first kind                                 (33)
        𝐗𝑖𝑗 ∙ 𝐗𝑘 = 𝛤𝑟𝑖𝑗 𝐗𝑟 ∙ 𝐗𝑘 = 𝛤𝑟𝑖𝑗 𝑔𝑟𝑘 = 𝛤𝑖𝑗𝑘 -> ※ 𝛤𝑟𝑖𝑗= 𝛤𝑟𝑗𝑖,  𝛤𝑖𝑗𝑘= 𝛤𝑗𝑖𝑘,  𝛤𝑚𝑖𝑗= 𝛤𝑖𝑗𝑘 𝑔𝑘𝑚  by eq. (17,12)                                       (34)
         ∂𝑔𝑖𝑘/∂u𝑗 = (∂ /∂u𝑗)(𝐗𝑖 ∙ 𝐗𝑘) =  𝐗𝑖𝑗 ∙ 𝐗𝑘 + 𝐗𝑘𝑗 ∙ 𝐗𝑖 = 𝛤𝑖𝑗𝑘 +  𝛤𝑘𝑗𝑖
        ∂𝑔𝑖𝑘/∂u𝑗 = 𝛤𝑖𝑗𝑘 +  𝛤𝑘𝑗𝑖,  ∂𝑔𝑗𝑖/∂u𝑘 = 𝛤𝑗𝑘𝑖 +  𝛤𝑖𝑘𝑗,  ∂𝑔𝑘𝑗/∂u𝑖 = 𝛤𝑘𝑖𝑗 +  𝛤𝑗𝑖𝑘                                                                           (35)
         ∴  𝛤𝑖𝑗𝑘 = 1/2 (∂𝑔𝑖𝑘/∂u𝑗 +  ∂𝑔𝑘𝑗/∂u𝑖 - ∂𝑔𝑗𝑖/∂u𝑘)                                                                                                     (36)
         ∴  𝛤𝑟𝑖𝑗 = (1/2) 𝑔𝑘𝑟 (∂𝑔𝑖𝑘/∂u𝑗 +  ∂𝑔𝑘𝑗/∂u𝑖 - ∂𝑔𝑗𝑖/∂u𝑘)                                                                                              (37)
         Eq.(32a)(37)로 extrinsic한 정의의 Christoffel symbol과 geodesic의 intrinsic 해법이 가능한 것을 알 수 있습니다!
     ∘  Christoffel symbols 계산 <- 𝑔𝑖𝑗 = 𝐗𝑖 ∙ 𝐗𝑗, 𝑔 = det (𝑔𝑖𝑗) = 𝐸𝐺 - 𝐹2, 𝑔𝑖𝑗𝑔𝑗𝑘 =  𝛿𝑘𝑖, 𝑔11= 𝑔22/𝑔, 𝑔12= 𝑔21= -𝑔12/𝑔, 𝑔22= 𝑔11/𝑔
         Orthogonal coordinates 直交 座標系: 𝐹 = 𝑔12= 𝑔21= 0, 𝑔12= 𝑔21= 0, 𝑔11= 𝐺/𝐸𝐺 = 1/𝐸 = 1/𝑔11, 𝑔22= 𝐸/𝐸𝐺 = 1/𝐺 = 1/𝑔22
             𝛤𝑟𝑖𝑗 = (1/2𝑔𝑟𝑟)(∂𝑔𝑖𝑟/∂u𝑗 +  ∂𝑔𝑟𝑗/∂u𝑖 - ∂𝑔𝑗𝑖/∂u𝑟)  (no sum) <- replacing 𝑘 by 𝑟                                                      (38)
            (Case 1) For 𝑗 = 𝑟: 𝛤𝑟𝑖𝑟 = (1/2𝑔𝑟𝑟) ∂𝑔𝑟𝑟/∂u𝑖  (no sum)                                                                                     (39a)
            (Case 2) For 𝑖 = 𝑗 ≠ 𝑟:  𝛤𝑟𝑖𝑖 = (1/2𝑔𝑟𝑟)(- ∂𝑔𝑖𝑖/∂u𝑟)  (no sum)  <- 𝑔𝑖𝑟= 𝑔𝑗𝑟= 0                                                       (39b)
            (Case 3) (in dimension > 2) For 𝑖, 𝑗, 𝑟 all distinct:   𝛤𝑟𝑖𝑗 = 0   <-  𝑔𝑖𝑗= 𝑔𝑖𝑟= 𝑔𝑗𝑟= 0                                                (39c)
            (in dimension 2)  𝛤111= 𝐸u/2𝐸,  𝛤222= 𝐺v/2𝐺,  𝛤112= 𝛤121= 𝐸v/2𝐸,  𝛤212= 𝛤221= 𝐺u/2𝐺,  𝛤122= -𝐺u/2𝐸<,  𝛤211= -𝐸v/2𝐺       (40)
     ∘   Example 17. Cartesian 좌표계의 평면
          ds2 = du2 +  dv2, 𝐸 = 𝐺 = 1, u"= v"= 0; u = as + b, v = cs + d, ∴ geodesics: straight lines(直線)  ∎
     ∘   Example 18. Geographic(地理) 좌표계의 구
          𝐗(u, v) = (R cos u cos v, R cos u sin v, R sin v), 𝐸 = R2cos v2, 𝐹 = 0 , 𝐺 = R2,  
          𝐗1 = (-R sin u cos v, R sin u sin v, 0), 𝐗2 = (-R cos u sin v, R cos u cos v, R cos v),           
          ds2 = R2cos2v du2 + R2dv2,  𝛤112= 𝛤121= 𝐸v/2𝐸 = -tan v, 𝛤211= -𝐸v/2𝐺 = sin v cos v, 
          geodesics: great circles(大圓). <- no proof in the textbook 
     ∘   Example 19. Polar(極) 좌표계의 평면
          𝐗(r, 𝜃) = (rcos𝜃, rsin𝜃, 0), 𝐗1 = (cos𝜃, sin𝜃, 0), 𝐗2 = (-rsin𝜃, rcos𝜃, 0), 𝐸 = 1, 𝐹 = 0, 𝐺 = r2;  (u, v)→ (r, 𝜃) in Eq. (40)
          ds2 = dr2 +  r2d𝜃2,  𝛤212= 𝛤221= 1/r,  𝛤122= -r;  applying Eq. (32a) [ur" + 𝛤𝑟𝑖𝑗u𝑖'u𝑗' = 0, r=1,2  u1= r, u2= 𝜃]→
          d2r/ds2 - r (d𝜃/ds)2 = 0,  d2𝜃/ds2 + 2/r (dr/ds)(d𝜃/ds) = 0                                                                           (41ab)
          If we divide Eq. (41b) by 𝜃'= d𝜃/ds, then 1/𝜃'(d𝜃'/ds) + 2/r(dr/ds) = 0, [integrated to s]→ ln ∣𝜃'∣ + ln r2 = c.
          [expoentiationg]→  ∣r2𝜃'∣ = ec or r2 d𝜃/ds = h  h: non-zero constant                                                                 (42)                                       
          [deviding Eq.(6) by ds2] →  1 = (dr/ds)2 + r2(d𝜃/ds)2 = (dr/ds)2 + h2/r2                                                             (43)
          dr/ds =  ∓ 1/r(r2 - h2)1/2, [by eq. (40)]→ d𝜃/dr =  ∓ h/[r(r2-h2)1/2] = ∓ d(cos-1 h/r)/dr  
          h/r = cos(𝜃 - 𝜃0)  <-  h: 원점에서 직선까지 수직거리, 𝜃0: 𝜃 = 0 에서 원점에서 직선까지의 수직 교차점까지의 각        (44)            
         그러므로 이 geodesic은 점 𝐏(r, 𝜃)와 𝐀(h, 𝜃0)를 연결하는 직선 𝐏𝐀의 방정식입니다. <- ∠𝐏𝐎𝐀 = 𝜃 - 𝜃0
    ∘  Definition I-9
        𝛂 = 𝛂(s)가, a≤s≤b, 𝐌 위의 s가 호의 길이인 곡선일 때, 만일 𝛂가 두 끝점을 연결하는 곡면 𝐌 위의 가장 짧은 곡선이라면,
        𝛂는 한 geodesic이다.    
         Proof.  𝛂(s) =  𝐗(u1(s), u2(s)), length of 𝛂𝜖(s) ≧ length of 𝛂(s),
         U𝑖(s, 𝜖) = u𝑖(s) + 𝜖v𝑖(s) for 𝑖=1,2, a≤s≤b, v𝑖: smooth function v𝑖(a)= v𝑖(b)= 0, 𝑖=1,2, 임의의 (U1, U2) in the domain of 𝐗
         For each 𝜖, 𝛂𝜖(s) = 𝐗(U1(s, 𝜖), U1(s, 𝜖)) is a slight variation. [Figure I-28];  이제 L(𝜖)를 𝛂𝜖의 길이라고 합시다.
         L(𝜖) = ∫ab𝜆(s, 𝜖)ds, <- 𝜆(s, 𝜖) = [𝑔𝑖𝑗(U1,U2) ∂U𝑖/∂s, ∂U𝑗/∂s]1/2; the minimality of L(0) → L'(0) = ∫ab ∂𝜆(s,0)/∂𝜖 ds = 0
         ∂𝜆(s,𝜖)/∂𝜖 = 1/2𝜆[(∂𝑔𝑖𝑗)/∂𝜖)(∂U𝑖/∂s)(∂U𝑗/∂s) + 2𝑔𝑖𝑗(∂U𝑖/∂s)(∂2U𝑗/∂s∂𝜖)] <- 𝜆=√ F, 𝜆2=F, (2𝜆)𝜆'=F', 𝜆'=(1/2𝜆)F'; 𝑔𝑖𝑗= 𝑔𝑗𝑖
         L'(0) = (1/2)∫ab (∂𝑔𝑖𝑗/∂U𝑘)v𝑘U𝑖'U𝑗' + 2𝑔𝑖𝑘U𝑖'v𝑘') ds = 0  <- 𝜖 = 0, 𝛂0(s) = 𝛂(s), 𝜆(s, 0) = 1; ∂U𝑗/∂𝜖 = v𝑗
         괄호안 둘째항의 적분: [∫ udv = uv- ∫ vdu],  u: 2𝑔𝑖𝑘U𝑖',  dv: v𝑘'ds,  du: ∂/∂s[2𝑔𝑖𝑘U𝑖']ds,  v = ∫ dv = ∫ v𝑘'ds = v𝑘,
         uv = 2𝑔𝑖𝑘U𝑖'v𝑘 = 0  (∵ v𝑘(a) = v𝑘(a) = 0),  ∴ [∫ udv = - ∫ vdu = - 2∂(𝑔𝑖𝑘U𝑖'v𝑘)/∂s ds
         L'(0) = (1/2)∫ab[(∂𝑔𝑖𝑗/∂U𝑘)U𝑖'U𝑗' - 2∂(𝑔𝑖𝑘U𝑖')/∂s] v𝑘 ds = 0  
         ∴ 1/2(∂𝑔𝑖𝑗/∂U𝑘)U𝑖'U𝑗' - ∂(𝑔𝑖𝑘U𝑖')/∂s = 0,  𝑘 = 1,2  → 이하는 이로부터 Eq. (32a)를 추론합니다.
         0 =  1/2(∂𝑔𝑖𝑗/∂U𝑘)U𝑖'U𝑗' - (∂𝑔𝑖𝑘/∂U𝑗)U𝑖''U𝑗'- 𝑔𝑚𝑘u𝑚" = [1/2(𝛤𝑖𝑘𝑗 + 𝛤𝑗𝑘𝑖) - (𝛤𝑘𝑗𝑖 + 𝛤𝑖𝑗𝑘)]U𝑖'U𝑗' - 𝑔𝑚𝑘u𝑚"  
         [𝛤𝑖𝑘𝑗U𝑖'U𝑗' =  𝛤𝑗𝑘𝑖U𝑖'U𝑗'] (dummi index 교환);  𝛤𝑗𝑘𝑖 = 𝛤𝑘𝑗𝑖; ∴ 𝑔𝑚𝑘u𝑚" + 𝛤𝑖𝑗𝑘U𝑖'U𝑗' = 0; 양변에 𝑔𝑘r 곱하고 k에 대해 합산을 하면,
         𝑔𝑚𝑘𝑔𝑘ru𝑚" + 𝛤𝑖𝑗𝑘𝑔𝑘rU𝑖'U𝑗' = 0,  𝜎𝑚ru𝑚" +  𝛤𝑖𝑗rU𝑖'U𝑗' = 0, ur" + 𝛤𝑖𝑗rU𝑖'U𝑗' = 0, r = 1,2;  ∴ 𝛂는 하나의 geodesic입니다. ∎
    ∘  Definition I-10
        𝐌의 점 𝐏와 그 곳의 unit tangent vector 𝐯가 주어지면, 𝛂(0) = 𝐏 그리고 𝛂'(0) = 𝐯인 유일한 geodesic 𝛂(s)가 존재한다.
         Proof. 𝐏 = 𝐗(u01, u01), 𝐯 = v𝑖𝐗𝑖(u01, u01) 이라고 하면 geodesic의 정의 Eq. (32a)에 따라 유일한 function ur(s)는,
         u𝑟" + 𝛤𝑟𝑖𝑗 u𝑖'u𝑗' = 0,  ur = ur0,  ur'(0) = v'  for r = 1,2  <- 𝛂(s) =  𝐗(u1(s), u2(s)), s: arc length
         f(s) = ∥𝛂'(s)∥2 = 𝑔𝑖𝑗 u𝑖'u𝑗' = constant C  <- ds2 by eq. (6), the first fundamental form; f(0): unit length
         ∴ f'(s) = 0; f'(s) = (∂𝑔𝑖𝑗/∂u𝑘)u𝑖'u𝑗'u𝑘' + 𝑔𝑖𝑗 u𝑖"u𝑗' + 𝑔𝑖𝑗 u𝑖'u𝑗" = (𝑔𝑗𝑟𝛤𝑟𝑖𝑘 + 𝑔𝑖𝑟𝛤𝑟𝑗𝑘)u𝑖'u𝑗'u𝑘' + 𝑔𝑖𝑗 u𝑖"u𝑗' + 𝑔𝑖𝑗 u𝑖'u𝑗"
                                 = 𝑔𝑖𝑟u𝑖'(u𝑟" + 𝛤𝑟𝑗𝑘 u𝑗'u𝑘') + 𝑔𝑟𝑗u𝑗'(u𝑟" + 𝛤𝑟𝑖𝑘 u𝑖'u𝑘') = 0, and so f(s) ≡ 1.  <- unit tangent vector  ∎            

p.s.  determinant 는 선형독립 여부, 역행렬 존재 여부, 삼중내적의 부피 및 Gauss curvature 산정의 '決定素'입니다. (기존 번역은 비추천)
       * ∎ 'the proof is complete ' 증명이 완료됨을 나타내는 기호
       ** geodesic: 대한수학회의 측지선(測地線), 물리학회의 지름길인데, 여기서는 영어로 표기함.


Name
Spamfree

     여기를 클릭해 주세요.

Password
Comment

  답글쓰기   목록보기
번호 제               목 이름 연관 날짜 조회
공지  [소개글] 현대 우주론에 관련된 논의의 장소    김관석 1 2017-08-15
11:36:55
399
81  2019 노벨상 - Peebles's 물리적 우주론    김관석 1 2019-10-14
19:30:49
4
80  일반 상대성(GR) 1: Equivalence Principle    김관석 5 2019-09-06
09:38:00
440
79    일반 상대성(GR) 2: Newtonian Theory    김관석 5 2019-09-06
09:38:00
440
78      일반 상대성(GR) 3: Special Relativity; Geodesics    김관석 5 2019-09-06
09:38:00
440
77        일반 상대성(GR) 4: Einstein's Equation ***    김관석 5 2019-09-06
09:38:00
440
76          일반 상대성(GR) 5: Schwarzschild Solutions etc.    김관석 5 2019-09-06
09:38:00
440
75  미분기하학 1: Curves and Surfaces    김관석 4 2019-06-16
16:55:58
1005
74    미분기하학 2: Fundamental Form I and II    김관석 4 2019-06-16
16:55:58
1005
     미분기하학 3: Gauss Curvature; Geodesics    김관석 4 2019-06-16
16:55:58
1005
72        미분기하학 4: Curvature Tensor etc.    김관석 4 2019-06-16
16:55:58
1005
71  5/28 홍천 군업리의 은하수    김관석 1 2019-05-30
01:20:31
111
70  Tensor 해석 I-1: Dyad와 Tensor의 연산 [u. 10/19]    김관석 5 2019-07-02
16:01:21
2060
69    Tensor 해석 I-2: Tensor 미적분; 좌표변환 I    김관석 5 2019-07-02
16:01:21
2060
68      Tensor 해석 II-1: 일반 좌표계와 Tensor의 연산    김관석 5 2019-07-02
16:01:21
2060
67        Tensor 해석 II-2: 좌표변환 II; 일반 좌표계와 미분    김관석 5 2019-07-02
16:01:21
2060
66          Tensor 해석 II-3: 동일 적분; 미분기하학의 응용    김관석 5 2019-07-02
16:01:21
2060
65  에릭 베를린더의 A New View on Gravity    김관석 1 2019-02-03
21:27:44
145
64  상대성 이론(SR & GR)의 학습 과정  [1]  김관석 1 2018-07-15
15:31:25
186
63  특수 상대성(SR) I-1: Intervals; Time Delay    김관석 4 2018-07-05
06:34:56
743

    목록보기   다음페이지     글쓰기 1 [2][3][4][5]
    

Copyright 1999-2019 Zeroboard / skin by zero & Artech