슈바르츠실트 좌표

로렌츠 다양체 이론에서 구형 대칭 시공간은 일련의 내포된 둥근 구들을 허용한다. 이러한 시공간에서 특히 중요한 종류의 좌표 도표는 **슈바르츠실트 도표**(Schwarzschild chart)이며, 이는 이러한 내포된 둥근 구에 맞춰진 정적 및 구형 대칭 시공간 상의 일종의 극 구면좌표계 도표이다. 슈바르츠실트 도표의 결정적인 특징은 반경 좌표가 각 구의 겉넓이 및 가우스 곡률 측면에서 자연스러운 기하학적 해석을 갖는다는 것이다. 그러나 반경 거리와 각도는 정확하게 표현되지 않는다. 이러한 도표는 일반 상대성이론과 같은 계량 중력 이론에서 많은 응용 분야를 갖는다. 그것들은 대부분 정적 구형 대칭 시공간에서 사용된다. 일반 상대성이론의 경우, 버코프의 정리에 따르면 아인슈타인 방정식의 모든 고립된 구형 대칭 진공 또는 전기진공 해는 정적이지만, 이는 이상 유체의 경우에는 확실히 사실이 아니다. 슈바르츠실트 진공 해의 외부 영역이 구형 대칭 블랙홀의 사건의 지평선 안쪽으로 확장될 때, 지평선 안쪽은 정적이지 않고 (공간꼴) 내포된 구들의 집합은 지평선 안쪽으로 확장될 수 없으므로, 이 해에 대한 슈바르츠실트 도표는 지평선에서 필연적으로 무너진다.
# 정의
계량 텐서 g를 지정하는 것은 모든 로렌츠 다양체 정의의 일부이다. 이 텐서를 정의하는 가장 간단한 방법은 호환되는 국소 좌표 도표에서 정의하고 도표 영역의 겹침에서 동일한 텐서가 정의되는지 확인하는 것이다. 이 글에서는 단일 도표 영역에서 계량 텐서만 정의하려고 한다. 슈바르츠실트 도표(정적 구형 대칭 시공간에서)에서 선 요소는 다음과 같은 형태를 취한다. :g = -a(r)^2 \, dt^2 + b(r)^2 \, dr^2 + r^2 \left( d\theta^2 + \sin^2\theta \, d\phi^2 \right) = -a(r)^2 \, dt^2 + b(r)^2 \, dr^2 + r^2 g_\Omega :-\infty 0 또는 r_2 < \infty일 수 있으며, 이 경우 우리는 도표의 영역에서 어떤 공 바깥 영역 또는 어떤 공 안쪽 영역을 제외해야 한다. 이것은 f 또는 g가 슈바르츠실트 반경 좌표 r의 어떤 값에서 폭발할 때 발생한다.
# 정적 초단면 시각화
슈바르츠실트 반경 좌표의 중요성을 더 잘 이해하려면 공간 초단면 중 하나인 t=t_0(물론 모두 서로 등거리이다)를 평평한 유클리드 공간에 삽입하는 것이 도움이 될 수 있다. 4차원 유클리드 공간을 시각화하기 어렵다고 생각하는 사람들은 구형 대칭을 이용하여 하나의 좌표를 억제할 수 있다는 점을 반길 것이다. 이는 t=0, \theta=\pi/2로 설정함으로써 편리하게 달성할 수 있다. 이제 우리는 국소 반경 좌표 도표를 가진 2차원 리만 다양체를 갖게 된다. :g|_{t = 0, \theta = \pi/2} = b(r)^2 dr^2 + r^2 d\phi^2, \;\; r_1 < r < r_2, \, -\pi < \phi < \pi 이 표면(또는 환형 고리)을 E3에 삽입하기 위해, E3에서 다음과 같은 틀 필드를 채택한다. #매개변수화된 표면에서 정의되며, 삽입 공간으로부터 원하는 계량을 상속받는다. #우리 반경 도표에 맞춰져 있다. #미정 함수 f(r)을 특징으로 한다. 즉, 매개변수화된 표면을 고려한다. : (z,r,\phi) \rightarrow (f(r), \, r \cos \phi, \, r \sin \phi ) 이 표면의 좌표 벡터 필드는 다음과 같다. : \partial_r = (f^\prime(r), \, \cos \phi, \, \sin \phi), \; \; \partial_\phi = (0, -r \sin \phi, r \cos \phi) E3의 유클리드 계량을 우리 매개변수화된 표면에 제한할 때 상속되는 유도 계량은 다음과 같다. : d\rho^2 = \left( 1 + f^\prime(r)^2 \right) \, dr^2 + r^2 \, d\phi^2, \; r_1 < r < r_2, \, -\pi < \phi < \pi 이것을 우리 초단면의 계량과 동일시하려면, 우리는 분명히 다음과 같이 f(r)을 선택해야 한다. : f^\prime(r) = \sqrt{1-b(r)^2} 다소 우스꽝스러운 예를 들자면, b(r) = f(r) = \sin(r)일 수 있다. 이는 두 개의 반경 방향으로 분리된 점 사이의 실제 거리가 그들의 반경 좌표 차이보다 큰 표면에 대해 유효하다. 만약 실제 거리가 더 작다면, 우리 리만 다양체를 대신 E1,2의 공간꼴 표면으로 삽입해야 한다. 예를 들어, b(r) = f(r) = \sinh(r)일 수 있다. 때때로 양의 가우스 곡률 또는 음의 가우스 곡률 영역에 대해 두 개 이상의 국소 환형 고리 삽입이 필요할 수 있다. 일반적으로, 우리는 어떤 평면 공간(리만 텐서가 사라지는)에서도 전역적인 삽입을 얻을 것으로 기대해서는 안 된다. 요점은 슈바르츠실트 도표의 결정적인 특징인 반경 좌표의 기하학적 해석이 이러한 종류의 공간 초단면의 구형 대칭 삽입을 (원칙적으로) 수행하는 데 필요한 것과 정확히 일치한다는 것이다.
# 계량 가설 풀이
위에 주어진 선 요소는 f, g를 슈바르츠실트 반경 좌표 r의 미정 함수로 간주하여 일반 상대성이론(또는 기타 계량 중력 이론)에서 정적 구형 대칭 해를 유도하는 데 가설 풀이로 자주 사용된다. 예시로, 카르탕의 외 미적분 방법을 사용하여 접속 및 곡률을 계산하는 방법을 보여준다. 먼저 선 요소에서 코프레임 필드를 읽는다. : \sigma^0 = -a(r) \, dt : \sigma^1 = b(r) \, dr : \sigma^2 = r d\theta\, : \sigma^3 = r \sin\theta \, d\phi 여기서 a \, b는 아직 미정인 r의 매끄러운 함수로 간주한다. (우리 시공간이 이러한 특정 삼각 함수 형태를 갖는 프레임을 허용한다는 사실은 정적, 구형 대칭 로렌츠 다양체에서 슈바르츠실트 도표 개념의 또 다른 등가 표현이다.) 둘째, 이 코기저 1형식의 외미분을 계산한다. : d\sigma^0 = -a'(r) \, dr \wedge dt = \frac{a'(r)}{b(r)} \, dt \wedge \sigma^1 : d\sigma^1 = 0\, : d\sigma^2 = dr \wedge d\theta : d\sigma^3 = \sin\theta \, dr \wedge d\phi + r \, \cos\theta \, d\theta \wedge d\phi = -\left( \frac{\sin\theta\, d\phi}{b(r)} \wedge \sigma^1 + \cos\theta \, d\phi \wedge \sigma^2\right) 카르탕의 첫 번째 구조 방정식(또는 그 완전성 조건)과 비교하여, : d\sigma^\hat{m} = -{\omega^\hat{m_\hat{n} \, \wedge \sigma^\hat{n} 접속 1형식에 대한 표현을 추측한다. (모자는 지표가 좌표 1형식 dt, \, dr, \, d\theta, d\phi가 아니라 우리 코기저 1형식을 참조한다는 것을 상기시키는 표기 장치이다.) {\omega^\hat{m_\hat{n}에서 어떤 지표 쌍이 대칭(시공간)이고 어떤 쌍이 반대칭(공간-공간)인지 기억한다면, 6개의 접속 1형식이 다음과 같음을 확인할 수 있다. :{\omega^0}_1 = \frac{a'}{b}(r)\, dt :{\omega^0}_2 = 0 :{\omega^0}_3 = 0 :{\omega^1}_2 = -\frac{d\theta}{b(r)} :{\omega^1}_3 = -\frac{\sin\theta \, d\phi}{b(r)} :{\omega^2}_3 = -\cos\theta \, d\phi (이 예시에서는 6개 중 4개만 0이 아니다.) 이 1형식들을 1형식의 행렬로 묶거나, 더 좋게는 SO(1,3)-값 1형식으로 묶을 수 있다. 결과 1형식 행렬이 SO(4)-값 1형식처럼 완전히 반대칭이 아닐 것임에 유의하라. 대신 로렌츠 수반에서 발생하는 전치 개념을 사용해야 한다. 셋째, 접속 1형식의 외미분을 계산하고 카르탕의 두 번째 구조 방정식 :{\Omega^\hat{m_\hat{n} = d{\omega^\hat{m_\hat{n} - {\omega^\hat{m_\hat{\ell} \wedge {\omega^\hat{\ell_\hat{n} 을 사용하여 곡률 2형식을 계산한다. 넷째, 다음 공식을 사용하여 :{\Omega^\hat{m_\hat{n} = {R^\hat{m_{\hat{n}|\hat{\imath}\hat{\jmath}|} \, \sigma^\hat{\imath} \wedge \sigma^\hat{\jmath} 여기서 바흐 막대는 (i,j)의 증가하는 6개 쌍에 대해서만 합해야 함을 나타내며, 우리 코프레임과 그 쌍대 프레임 필드에 대한 리만 텐서의 선형 독립 성분을 읽을 수 있다. 우리는 다음을 얻는다. :{R^0}_{101} = \frac{-a \, b + a' \, b'}{a \, b^3}(r) :{R^0}_{202} = \frac{1}{r}\frac{-a'}{a \, b^2}(r) = {R^0}_{303} :{R^1}_{212} = \frac{1}{r}\frac{b'}{b^3}(r) = {R^1}_{313} :{R^2}_{323} = \frac{1}{r^2}\frac{b^2 - 1}{b^2}(r) 다섯째, 지수를 내리고 성분 R_{\hat{m}\hat{n}\hat{i}\hat{j를 행렬로 정리할 수 있다. :\left[ \begin{matrix}R_{0101} & R_{0102} & R_{0103} & R_{0123} & R_{0131} & R_{0112} \\\ R_{0201} & R_{0202} & R_{0203} & R_{0223} & R_{0231} & R_{0212} \\\ R_{0301} & R_{0302} & R_{0303} & R_{0323} & R_{0331} & R_{0312} \\\ R_{2301} & R_{2302} & R_{2303} & R_{2323} & R_{2331} & R_{2312} \\\ R_{3101} & R_{3102} & R_{3103} & R_{3123} & R_{3131} & R_{3112} \\\ R_{1201} & R_{1202} & R_{1203} & R_{1223} & R_{1231} & R_{1212} \end{matrix} \right] = \left[ \begin{matrix} E & B \\\ B^T & L \end{matrix} \right] 여기서 E, L은 대칭이고 (일반적으로 6개의 선형 독립 성분), B는 무적이다 (일반적으로 8개의 선형 독립 성분). 이는 (각 사건에서) 6차원 2형식 벡터 공간에 대한 선형 연산자를 나타내는 것으로 생각된다. 이로부터 시간꼴 단위 벡터장 \vec{X} = \vec{e}_0 = \frac{1}{a(r)} \, \partial_t에 대한 벨 분해를 읽을 수 있다. 전자기중력 텐서는 다음과 같다. :E[\vec{X}]_{11} = \frac{a \, b - a' \, b'}{a \, b^3}(r), \; E[\vec{X}]_{22} = E[\vec{X}]_{33} = \frac{1}{r}\frac{a'}{a \, b^2}(r) 자기중력 텐서는 항등적으로 사라지며, 지형중력 텐서는 ( \vec{X}가 비회전이라는 사실을 사용하여) 공간 초단면의 3차원 리만 텐서를 결정할 수 있는데, 이는 다음과 같다. :L[\vec{X}]_{11} = \frac{1}{r^2}\frac{1-b^2}{b^2}(r), \; L[\vec{X}]_{22} = L[\vec{X}]_{33} = \frac{1}{r}\frac{-b'}{b^3}(r) 이것은 모든 로렌츠 다양체에 대해 유효하지만, 일반 상대성이론에서 전자기중력 텐서는 우리 프레임에 해당하는 관찰자들이 측정한 작은 물체에 대한 조석 응력을 제어하고, 자기중력 텐서는 우리 프레임에 해당하는 관찰자들이 측정한 회전하는 물체에 대한 스핀-스핀 힘을 제어한다. 우리 코프레임 필드의 쌍대 프레임 필드는 다음과 같다. : \vec{e}_0 = \frac{1}{a(r)} \, \partial_t : \vec{e}_1 = \frac{1}{b(r)} \, \partial_r : \vec{e}_2 = \frac{1}{r} \, \partial_\theta : \vec{e}_3 = \frac{1}{r \sin\theta} \, \partial_\phi 여기서 \frac{1}{b(r)} 인수가 세 개의 정규 직교 공간꼴 벡터 필드 중 첫 번째에만 곱해진다는 사실은 슈바르츠실트 도표가 공간적으로 등방성이지 않다는 것을 의미한다 (국소적으로 평탄한 시공간의 자명한 경우는 제외). 오히려, 빛 원뿔은 (반경 방향으로 납작해지거나) (반경 방향으로 길어진) 형태로 나타난다. 이것은 물론 슈바르츠실트 도표가 각 내포된 둥근 구 내의 거리를 올바르게 나타내지만, 반경 좌표는 반경 고유 거리를 충실하게 나타내지 않는다는 것을 말하는 또 다른 방법이다.
# 슈바르츠실트 도표를 허용하는 몇 가지 정확한 해
이러한 방식으로 얻을 수 있는 정확한 해의 몇 가지 예는 다음과 같다. *슈바르츠실트 진공의 외부 영역, *동일하게, 이전 예시를 특수한 경우로 포함하는 라이스너–노르드스트룀 전기진공의 경우, *동일하게, 이전 예시를 특수한 경우로 포함하는 라이스너–노르드스트룀–데 시터르 전람다진공의 경우, *자니스-뉴먼-위나쿠르 해 (질량이 없는 최소 결합 스칼라 필드를 가진 정적 구형 대칭 물체의 외부를 모델링한다), *정적 구형 대칭 이상 유체 해인 내부 영역을 압력이 사라지는 구형 자취를 가로질러 외부 영역에 맞춤으로써 얻은 항성 모델. 이 외부 영역은 슈바르츠실트 진공 영역의 일부와 국소적으로 등거리이다.
# 일반화
비정적이지만 구형 대칭인 시공간을 고려하는 것은 자연스러운 일이며, 시공간 계량이 다음 형태를 취하는 일반화된 슈바르츠실트 도표를 사용한다. :g = -a(t,r)^2 \, dt^2 + b(t,r)^2 \, dr^2 + r^2 \left( d\theta^2 + \sin^2\theta \, d\phi^2 \right), :-\infty < t < \infty, \, r_0 < r < r_1, \, 0 < \theta < \pi, \, -\pi < \phi < \pi 다른 방향으로 일반화하여, 둥근 2-구에 다른 좌표계를 사용하여 예를 들어 때때로 유용한 스테레오그래픽 슈바르츠실트 도표를 얻을 수 있다. :g = -a(r)^2 \, dt^2 + b(r)^2 \, dr^2 + \frac{dx^2 + dy^2}{(1+x^2+y^2)^2}, \; -\infty < t,x,y < \infty, r_1 < r < r_2
# 내용주
group=Note 위키데이터 속성 추적 분류:로런츠 다양체