2019년 11월 16일 토요일

11. 측량텐서와 원호길이(평면)(The Metric Tensor and Arc Lengths (flat space))

11. 측량텐서와 원호길이(평면)(The Metric Tensor and Arc Lengths (flat space))



원호(곡선)의 길이를 재는 방법으로 측량 텐서의 활용에 대하여 배운다. 직선인 벡터의 길이와 측량텐서에 대해서 '텐서의 기초'강좌에서 다뤘으므로 참고하자. [참조: 9. 측량텐서(Metric Tensor)]
-

-
측량텐서는 말그대로 '물리량 측량'에 활용된다. 기초과정에서 다룬 벡터(단순한 직선형)의 길이[이미 기초과정에서 다뤘으므로 이번 강좌에서는 복습], 그보다 다소 난해한 원호(arc)의 길이이를 재는데 측량텐서를 활용해보자. 그리고 평면이 아닌 굽은 공간(왜곡된 공간)에서 원호의 길이를 재는데 어떻게 활용될 수 있는지 알아보기로 한다. 이번 강의는 평면공간(flat space)을 다룰 것이며 굽은 공간(curved space)은 다음 동영상에서 다룬다.

[곡선의 길이, 면적, 체적 다위의 계산(측정)은 미적분 과정에서 기본적으로 배운다. 이번 강좌에서 다룰 내용은 벡터와 텐서를 활용하여 곡선의 길이을 측정하는 방법이다. 미시길이의 누적에서 시공간의 벡터움직임으로 접근 방식이 다르다.]
-

-
복습으로 '벡터의 길이' 측정이다. 벡터는 직선이고 방향과 길이(크기)를 갖는다.
-

-
두 벡터의 길이는 스칼라곱(dot product)으로 구한다. 한 벡터의 길이는 자기자신을 스칼라 곱 하면된다. 벡터는 공간의 기저벡터와 성분값의 선형 합니다. 파란색은 직교정규 좌표계, 적색은 변형된 좌표계. 노락색의 벡터는 어떤 좌표계에서든 불변이다. 다만 좌표계마다 성분이 다르다. 두 기저벡터와 성분 곱의 선형합을 스칼라 곱하자. 결국 벡터의 길이는 공간을 구성하는 기저벡터곱과 성분곱의 확장으로 표현된다.
-

-
두 좌표계의 기저벡터 스칼라곱을 구해보자.

파란색은 정규직교(ortho-normal) 좌표계다. 두 기저벡터는 직교(orthogonal)하고 기저벡터의 길이는 1 (normalized)이다. 정규직교 좌표계에서 벡터의 길이는 피타고라스 정리(Pythagoras Theorem)가 된다.
-

-
적색의 공간은 변형되었다. 두 기저벡터 사이의 각도가 직각도 아니고 길이도 1일 아닐 뿐만 아니라 서로 다르다.
-
[]
-

-
이제 임의 벡터 v [노란색]의 길이를 측정해보자. 청색의 좌표계에서 벡터 v의 성분은 [1 2]다. 적색의 좌표계에서 벡터 v의 성분은 [5/4 3] 이다. 벡터의 길이를 계산하면 그 어떤 좌표계든지 동일하다. [벡터 물리량(길이) 불변성을 보여준다.]
-

-
측량텐서(Metric Tensor)는 공간의 축에 눈금을 메기는 역활을 한다. 단순한 눈금은 선형적인 경우다. 그중 가장 단순한 직교정규 좌표계의 눈금은 단지 단위 행렬과 같다. 직교 좌표계(청색)에서 변형된 좌표계(적색)의 눈금은 [두 기저축이 회전및 크기가 변형되었으므로] 다소 복잡하다.
-

-
벡터의 길이를 측정하는 방법을 요약해 보면 다음과 같다. 자신을 스칼라 곱 하거나 측량텐서를 이용할 수 있다. 측량텐서는 스칼라 곱의 행렬 표현일 뿐이다. 측량텐서는 행렬 g_ij 로 표기한다.
-

-
두 좌표계 사이에 측량텐서의 변환 규칙은 다음과 같다. 두번의 공변변환(Covariant)을 통하므로 (0,2)형 텐서라 한다.
-

-
측량텐서의 활용: 원호의 길이(평면공간)
-

-
곡선의 길이를 재는 방법은 곡선을 잘게 잘라서 더하는 것. 잘게 자를 수록 오차는 작아진다. 무한히 잘게 자른 조각의 누적하기가 바로 곡선의 길이를 측정하기 위한 적분이다.

그런데....

잘게 자른 곡선의 두 지점의 위치를 인수화 해야 한다. 2차원 공간이면 2개의 인수다. 게다가 이 인수들은 좌표계 의존적이다. 다른 방법으로 벡터(텐서)화 인수를 도입하는 것이다. 공간에서 이동한 궤적을 곡선이라 하자. 이 곡선의 움직인 인자는 시간 t 이다. (i+1)번째 t 에서 위치 벡터를 R(t_(i+1)), (i)번째 t 에서 위치 벡터를 R(t_(i)) 라 하자[원점이 어디인지 상관 없다. 불변의 벡터 길이는 좌표계에서 자유롭다.] 시간차 Δt = t_(i+1)- t_(i)다.

[1] 벡터 R(t_(i+1))의 길이에서 R(t_(i))의 길이를 빼면 곡선의 조각이다. 이 조각을 모두 더하면 곡선 길이의 근사가된다.
[2] Δt 의 0 극한을 취하면 곡선의 길이는 곡선과 같아진다.
[3] R()의 길이의 차분을 Δt 로 나누면 R(t_(i+1))에서 접선속도(tangential velocity) 벡터가 된다.
[4] '접선속도 벡터'의 길이를 dt로 적분하면 곡선의 길이다. [곡선의 길이를 구하는데 가변적인 좌표계를 고려하지 않고 단일 인수 t 에 의존하는 곡선의 움직임을 지배하는 접선속도 벡터를 활용한다.]
 -

-
원호의 길이는 접선속도 벡터의 길이에 시간 차분형을 적분하여 얻는다. 벡터의 길이를 구하는 방법은 이미 알고있다. 그리고 벡터의 길이는 좌표계 불변이므로 직교좌표계이든 극좌표계이든 같다는 사실을 증명해 보기로 한다. 직교정규좌표계와 극좌표계에서 각각 접선벡터의 길이를 구하기 위해서 각 좌표계에서 기저벡터의 스칼라 곱[기저벡터의 길이]가 어떻게 다른지 살펴보자.
-

-----------------------------------------------------
직교정규 좌표계에서 기저벡터의 스칼라 곱
-----------------------------------------------------
접선속도 벡터의 길이 제곱을 기저축 x 와 y를 각각 c^1 와 c^2 로 놓자. 이를 좀더 일반화 하여 아인슈타인 표기법(Einstein Notation)으로 나타내면 아래와 같다. [위치 벡터 R에를 직교좌표계의 기저축으로 확장한 후 움직임 인자 λ로 미분을 다변수 미분의 연쇄법칙에 따라 표현.]
-

-
원호의 길이는 접선속도 벡터의 길이에 대하여 위치벡터의 움직임 인자 λ (=시간 t)의 차분형 dλ 적분이다. 이때 접선벡터의 길이를 구하기 위해 스칼라 곱 한다.
-

-
직교정규좌표계의 경우 기저벡터의 길이는 항상 1이다. 즉, 좌표계 어느 위치 놓아도 가저벡터의 길이는 1 이다.
-

-----------------------------------------------------
극좌표계에서 기저벡터의 스칼라 곱
-----------------------------------------------------
극좌표계에서도 원호의 길이는 직교좌표계에서 했던 것과 같다. 접선속도 벡터의 길이를 극좌표계에서 구하기 위해 스칼라 곱한다.
-

-
극좌표계의 기저벡터[=위치벡터 R에 대한 기저축 r과 θ의 편미분]의 길이[스칼라 곱]을 구해보자. 극좌표계는 직교정규 좌표계로부터 변형되었다고 하자. 직교정규 좌표계의 기저축 x와 y를 각각 극좌표계로 변형하는 공식을 알고있다.
-

-
위의 변환식을 이용하여 극좌표계의 반지름 축 길이[스칼라 곱]를 구하면 반지름 위치에 상관 없이 1이다.
-

-
하지만 각도축의 스칼라 곱은 r의 제곱이다. 이는 극좌표계의 위치마다 각도 기저축의 길이가 달라진다는 의미다.
-

-
또한 반지름 축의 기저벡터와 각도축의 기저벡터 스칼라곱은 0 이다.
-

-
정규직교좌표계와 극좌표계의 기저벡터(위치벡터에 대한 기저축의 편미분) 길이의 특징을 요약하면 다음과 같다.

- 직교정규 좌표계는 결국 피타고라스 정리와 같다.
- 극좌표계의 경우 변형된 피타고라스 정리다. 각도축에 반지름의 제곱이 곱해진다. [이 강의에서 극좌표계의 기저벡터를 정규화 하지 않았기 때문]
-

-
직교좌표계와 극좌표계의 측량텐서는 아래와 같다. [기저벡터의 미분형이다. 측량텐서의 원소는 기저벡터의 스칼라곱이다.] 두 측량텐서는 동일하며 단지 각 좌표계의 기저축에 대한 편미분의 차이다. [두 좌표계는 동일한 공간에 대하여 단지 좌표계(눈금 긋는 방법)을 달리 했을 뿐이므로 측량텐서는 같다.]
-

-
접선속도의 길이를 재는데 측량텐서가 사용된다.
-


-
측량텐서의 원소(기저벡터의 미분형에 대한 스칼라곱)를 값으로 나타내면 다음과 같다. 두 좌표계(직교좌표계와 극좌표계)의 측량텐서가 동일한 값이 되어야 하는데 각도축 스칼라 곱에 r제곱항이 포함되었다. 이는 이번 강의에서 극좌표의 각도축 기저벡터는 정규화 하지 않았기 대문이다. [각도축 기저벡터의 길이가 반지름의 길이에 비례하여 커지는 이유는 정규화 되지 않았기 때문]
-

---------------------------------------------------------------
직교좌표계에서 r=2인 원의 둘레를 구해보자. 먼저 접선속도의 길이를 구한다. 위치벡터 R을 λ 로 인수화 하여 직교좌표계로 표시하여 접선속도 벡터의 길이를 구한다. 접선속도의 길이는 그림에서 보는 것처럼 어느 위치에서든 2로 똑같다.
-


-
접선속도 벡터의 길이를 가지고 원호 길이 구하는 공식에  적용하자. 원의 둘레이므로 적분 구간은 [0 2π]다. 원둘레 길이는 4π다. 이미 알고있는 원호길이 공식 4πr 에 일치한다.
-

-----------------------------------------------------
위의 예와 같은 원의 둘레를 극좌표계에서 구해보자. 극좌표의 두축인 반지름과 각도를 원둘레 위치 벡터 (r, θ)를 움직임 인자 λ로 인수화 하자. 원의 반지름은 r(λ)=2로 고정되었다. 각도는 θ는 λ에 따라 움직인다. 반지름 축의 속도(dr/dλ=접선 속도벡터의 r 축의 성분)는 0, 각도축 속도(dθ/dλ=접선 속도벡터의 θ 축의 성분)는 1이다. 접선속도 벡터의 길이는 2다. 직각좌표계에서 계산값과 일치한다. [동일한 벡터의 움직임은 좌표계와 상관 없다.]
-

-
극좌표계에서 원둘레의 길이는 역시 직교좌표계에서 구한 값과 같다.
-

-----------------------------------------------------
텐서의 기초강좌(텐서 대수, Tensor Algebra)에서 배웠던 측량텐서는 변환을 기억해보자. 기저가 변하면(좌표계변환) 2번의 공변변환을 수행해야 한다. 즉, 측량텐서는 (0,2)-형 텐서다.
-

-
이 특성은 텐서 미적분(Tensor Calculus)의 측량 텐서에도 같다.

[1] 직교좌표계[∂(c^i)]에서 극좌표계[∂(p^i)]로 변환된 성분(=자코비언 행렬)이다.
[2] 직교좌표계 기저벡터(*)에 자코비언 행렬을 곱하여
[3] 극좌표계 성분을 표현할 수 있다.
[4] 극좌표계의 측량텐서는 기저벡터(*)의 스칼라 곱이므로
[5] 결국 두번의 자코비언 행렬 곱에
[6] 직교 좌표계의 측량텐서를 곱하면 극좌표계의 측량텐서가 됨을 알 수 있다.
[7] 텐서 미적분에서도 측량텐서는 (0,2)-형 텐서다.
[8] 그 역변환은 두번의 역 자코비언 행렬과 극좌표계 측량텐서의 곱이다.

*기저벡터:텐서 미적분에서 위치벡터에 대한 기저축의 편미분을 기저벡터로 정의하였다. ∂R/∂(c^i) 는 직교좌표계의 기저벡터. ∂R/∂(p^i) 는 극좌표계의 기저벡터
-


-
위의 그림은 원좌표계의 측량텐서(g_kl)와 변형좌표계의 측량텐서(g_ij_tilde) 사이 변환관계 보여준다. 두번의 자코비언(직교좌표계에서 극좌표계로의 변환행렬)의 곱에 직교좌표계의 측량텐서를 곱하면 극좌표계의 측량텐서가 되는지 풀어보자.
-

-
이번에 배운 내용을 요약해보자. 원호의 길이(arc length)를 구하는 목표였다. (원호를 그리는 위치벡터의) 접선속도 벡터의 길이를 시간으로 적분한다. (접선속도) 벡터 길이의 제곱은 벡터의 스칼라 곱이다. 원호길이의 계산에 위치벡터 대신 접선속도 벡터를 취함으로써 좌표계와 무관하게 된다.
-

-
기저벡터 스칼라 곱은 측량텐서로 정의된다. 측량텐서는 2번의 공변 변환법칙이 적용되는 (0,2)-형 텐서다.
-

-
----------------------------------------------------------------
[이전] 10. 차분형 적분[경로적분] 예제(Integration with Differential Forms Examples)
[다음] 12. 곡면에서 원호길이 측량(The Metric Tensor in Curved Spaces for Measuring Arc Length)
----------------------------------------------------------------
강의목차:
Tensor Calculus by eigenchris @ Youtube

0. 소개(Introduction)
1. 다변수 미적분 요약(Multi-variable Calculus Review)
2. 직각좌표계와 극좌표계 그리고 기저벡터(Cartesian & Polar ㅌCoordinates, and Basis Vectors)
3. 자코비언(The Jacobian)
4. 미분하면 벡터된다(Derivatives are Vectors)
5. Derivative Transformation Rules (Contravariance)
5.1 Derivative Operators are Vectors Discussion
6. Differential Forms are Covectors
7. 여벡터 장 성분(Covector Field Components)
8. 8. 여벡터장 변환규칙(공변)(Covector Field Transformation Rules (Covariance))
9. 차분형(여벡터장) 적분[경로적분](Integration with Differential Forms)
10. 차분형 적분[경로적분] 예제(Integration with Differential Forms Examples)
11. 측량텐서와 원호길이(평면)(The Metric Tensor and Arc Lengths (flat space))
12. The Metric Tensor in Curved Spaces for Measuring Arc Length
13. Gradient vs d operator (exterior derivative_differential)
14. Gradient explanation + examples
15. Geodesics and Christoffel Symbols (extrinsic geometry)
16. Geodesic Examples on Plane and Sphere
17. The Covariant Derivative (flat space)
17.5 Covariant Derivative (Component Definition) - Optional
18. Covariant Derivative (extrinsic) and Parallel Transport
19. Covariant Derivative (Intrinsic) and Geodesics
20. The Abstract Covariant Derivative (Levi-Civita Connection)
21. Lie Bracket, Flow, Torsion Tensor
22. Riemann Curvature Tensor Geometric Meaning (Holonomy + Geodesic Deviation)
23. Riemann Curvature Tensor Components and Symmetries
24. Ricci Tensor Geometric Meaning (Sectional Curvature)
25. Geometric Meaning Ricci Tensor_Scalar (Volume Form)
26. Ricci Tensor_Scalar Properties


댓글 없음:

댓글 쓰기