■ Notation :
○
♦ 다른 풀이 :
■ Tensor의 편미분은 Tensor가 아니며, 종종 Ordinary derivatives of a tensor라고도함
○ 첫 번째항은 반변 변환(contra과 공변 변환으로 Tensor 특성이 나타나는 반면,
○ \(\frac{{\partial x{'^a}}}{{\partial {x^b}}}\)가 비유클리드 공간에서 비선형 변환(non-linear transformations)이므로\({\rm{\;}}\frac{{{\partial ^2}x{'^a}}}{{\partial {x^b}\partial {x^d}}}\frac{{\partial {x^d}}}{{\partial x{'^c}}}{A^b}\)가 사라지지 않고 남으며, 두 번째 항(second term)은 \(\frac{{{\partial ^2}x{'^a}}}{{\partial {x^b}\partial {x^d}}}\)로 Tensor처럼 변환되지 않음(Non-Tensor)
○ 만약, \(\frac{\partial }{{\partial x{'^c}}}\left( {\frac{{\partial x{'^a}}}{{\partial {x^b}}}{A^b}} \right)\)에서 \(\frac{{\partial x{'^a}}}{{\partial {x^b}}}\) (Linear Transformation, )라면, \(\frac{{{\partial ^2}x{'^a}}}{{\partial {x^b}\partial {x^d}}}\frac{{\partial {x^d}}}{{\partial x{'^c}}}{A^b} = 0\)이됨 (Ryder’s Book “3.10 Parallel transport”)
■ n차원 좌표 중 1개 좌표만 곡선을 따라 변하고 나머지 좌표는 상수인 특수한 상황에서 도함수이다. Lie derivative라고 명시적으로 사용하진 않지만 종종 text에서 나오는 개념이다
■ Manifold에서의 각 점을 지나는 하나의 곡선을 고려해 보자. 그러면, 임의의 하나의 곡선은 \({x^a} = {x^a}\left( u \right)\). 곡선에 대한 tangent vector filed는 \({\rm{d}}{x^a}/{\rm{d}}u\)를 정의할 수 있다
○ 1개 좌표만 곡선을 따라 변하고 나머지 좌표는 상수임으로 임의의 하나의 곡선인 \({x^a} = {x^a}\left( u \right)\)를 제외한 다른 좌표에서 tangent vector field는 “0”이다
■ 반대로, “0”이 아닌 tangent vector field가 주어지면 궤적을 알 수 있다.
○ Given a non-zero vector field \({{\rm{X}}^a}\left( x \right)\) defined over the manifold, then this can be used to define a congruence of curves in the manifold called the orbits or trajectories of \({{\rm{X}}^a}\)
■ 그리고, 상기 두 과정은 동일하므로 \({\rm{d}}{x^a}/{\rm{d}}u = {{\rm{X}}^a}\left( {x\left( u \right)} \right)\)
q 따라서, \({\rm{d}}{x^a}/{\rm{d}}u = {{\rm{X}}^a}\left( {x\left( u \right)} \right)\)를 풀면 곡선을 도출할 수 있다
■ 지금부터는 Locally 어떤 일이 발생되는가에 관심을 가진다. 매우 중요한 개념이므로 주의를 해서 읽어 보자! 뒤에서 parallel transport 혹은 local inertia 등으로 매우 중요하게 활용되는 개념이다
■ \({{\rm{X}}^a}\)를 이용하여 미분 가능한 Tensor Field \(T_{b \cdots }^{a \cdots }\left( x \right)\) 가정하자. P를 통과하는 곡선 위에 어떤 점 P(\(T_{b \cdots }^{a \cdots }\left( P \right)\))에서 텐서를 neighbouring point Q까지 drag하기 위하여 곡선들의 congruence를 이용한다. 이 Tensor를 ‘Dragged-along tensor’라고 하고 Q점에서의 Tensor와 비교해 보자
○ We can subtract the two tensors at Q and so define a derivative by some limiting process as Q tends to P. the technique for dragging involves viewing the coordinate transformation from P to Q actively, and applying it to the usual transformation law for tensors. We consider the detailed calculation in the case of a contravariant tensor field of rank 2 \(T_{}^{ab}\left( x \right)\) say.
○ Point transformation
○ 좌표 \({x^a}\)인 P점을 좌표 \({x^a} + \delta u{X^a}\left( x \right)\)인 Q점으로 변환하며 두 점은 동일한 \({x^a} - coodinate{\rm{\;}}system\)에 있음
○ Q점은 명확하게 P를 통과하는 congruence의 곡선 위에 있다
○ \(x{{\rm{'}}^a} = {x^a} + \delta u{X^a}\left( x \right)\)를 미분하면, \(\frac{{\partial x{'^a}}}{{\partial {x^b}}} = \delta _b^a + \delta u{\partial _b}{X^a}\)
■ P점에서 Tensor Field T^ab를 Point transformation 하면
○ the transformation ‘drags’ the tensor \({T^{ab}}\) along from P to Q
○
○
■ Lie Derivative of \({T^{ab}}\) with respect \({X^a}\)
■ It can be shown that it is a always possible to introduce a coordinate system, such that the curve passing through P is given by \({x^1}\) varying, with \({x^2},{x^3}, \cdots ,{x^n}\) all constant along the curve, and such that along this curve.
○ Notation means that the equation holds only in a particular coordinate system.
○ Lie Differentiation은 상미분으로 변환시켜준다
■ Property of Lie derivative
○ Linear :
○ Leibniz :
○ Type-preserving : the Lie derivative of a tensor of type (p,q) is again a tensor of type (p,q)
○ It commutes with contraction :
○ Lie derivative of a scalar field \(\phi \) :
○ The Lie derivative of a contravariant vector field \({Y^a}\) is given by the Lie bracket of X and Y :
○ The Lie derivative of a covariant vector field \({Y_a}\) is given by the Lie bracket of X and Y
○ The Lie derivative of a general tensor field \(T_{b \cdots }^{a \cdots }\)
댓글 없음:
댓글 쓰기