2020년 7월 21일 화요일

3.3. Tensor Calculus - 3.3.1. Partial Derivative of Tensor & 3.3.2. Lie Derivative


I mainly refer to the D'inverno book

<Reference>
D’inverno “Introducing Einstein’s Relativity Chapter 6.1. & 6.2”
Ryder, “Introduction to General Relativity 3.10. Parallel transport”

3.3.1. Partial Derivative of Tensor 

  Notation : bAa= Aaxb= A  ,  ba

'cA'a=x' cx'axbAb=xdx' cxdx' axbAb=x'axbxdx' cdAb+2x' axbxdxdx' cAb= x'axbxdx' cdAb+2x' axbx' cAb

 다른 풀이 : 'cA'a=x' cx' axbAb=2x' ax' cxbAb+x' axbcAb=2x' ax' cxbAb+x' axbxdx' cdAb

  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”)


3.3.2. Lie Derivative

  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=xa+δuXax  where δu is small

좌표 \({x^a}\)인 P점을 좌표 \({x^a} + \delta u{X^a}\left( x \right)\)인 Q점으로 변환하며 두 점은 동일한 \({x^a} - coodinate{\rm{\;}}system\)에 있음

PQ x'axa+δuXax

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 하면

TabxT'ab(x')

the transformation ‘drags’ the tensor \({T^{ab}}\) along from P to Q

T'abx'=x'axcx'bxdTcdx=δca+δucXaδdb+δudXbTcdx =Tabx+cXaTcbx+dXbTadx δu+O(δu2)

Tabx'=Tabxc+δuXcx=Tabx+δuXccTabx     Tayler  theorem

  Lie Derivative of \({T^{ab}}\) with respect \({X^a}\)

LXTab=limδu0Tabx'-T'abx'δu limδu0Tabx'-T'abx'δu=limδu0Tabx+δuXccTabx-Tabx-cXaTcbx+dXbTadx δuδu =XccTab-TcbcXa-TaddXb =XccTab-TcbcXa-TaccXb

  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 Xaδ1a=(1,0,0,,0) along this curve.

Notation means that the equation holds only in a particular coordinate system.

X=Xaa1,    LXTab1Tab

Lie Differentiation은 상미분으로 변환시켜준다

  Property of Lie derivative

Linear : LXλ Ya+μ Za=λ LXYa+μ LXZa

Leibniz : LX YaZbc=YaLXZbc +LXYaZbc

Type-preserving : the Lie derivative of a tensor of type (p,q) is again a tensor of type (p,q)

It commutes with contraction : δbaLXT    ba=LXT     aa

Lie derivative of a scalar field \(\phi \) : LX ϕ=Xϕ=Xaaϕ

The Lie derivative of a contravariant vector field \({Y^a}\) is given by the Lie bracket of X and Y :

LXYa=[X,Y]a=XbbYa-YbbXa

The Lie derivative of a covariant vector field \({Y_a}\) is given by the Lie bracket of X and Y

LXYa=XbbYa-YbaXb

The Lie derivative of a general tensor field \(T_{b \cdots }^{a \cdots }\)

LXTba=XccTba-TbccXa-+TcabXc+

댓글 없음:

댓글 쓰기