다양한 시공간에서의 광구와 광학 기하학적 분석

초록

본 논문은 정적 구대칭 시공간을 대상으로 광학 기하학을 이용해 광구(Photon Sphere)의 존재조건, 총 개수 (n=n_{\text{stable}}+n_{\text{unstable}}) 및 안정·불안정 광구의 차이 (w=n_{\text{stable}}-n_{\text{unstable}}) 을 기하학적 성질만으로 일반화한다. 블랙홀, 초고밀도 천체, 정규 시공간, 나체 특이점 시공간 네 종류를 분석해, 블랙홀에서는 (w=-1) 이라는 보편적 위상 전하가 성립하고, 다른 카테고리에서는 (w) 값이 다양하게 변함을 보인다. 결과는 기존의 효과 전위법·위상 전하법과 완전 일치한다.

상세 분석

논문은 먼저 광학 기하학(optical geometry)의 정의를 제시한다. 정적 구대칭 시공간 (ds^{2}=-f(r)dt^{2}+g(r)dr^{2}+r^{2}d\theta^{2}+r^{2}\sin^{2}\theta d\phi^{2}) 에 대해 null 조건 (ds^{2}=0) 을 이용해 2차원 리만 계량 (dl^{2}=g_{OP}^{ij}dx^{i}dx^{j}=g(r)f(r)dr^{2}+r^{2}f(r)d\phi^{2}) 을 얻는다. 이 2차원 광학 기하학에서 원형 궤도 (r=\text{const.}) 의 측지곡률(geodesic curvature) (\kappa_{g}(r)) 은 식 (9) 로 주어지며, 광구는 (\kappa_{g}(r_{ph})=0) 조건을 만족한다. 이는 전통적인 효과 전위 (V_{\text{eff}}(r)) 의 1차 미분이 0이 되는 조건과 완전 동치임을 보인다.

안정성은 가우시안 곡률 (K(r)) 의 부호에 의해 결정된다. 카르탄-하담(Cartan–Hadamard) 정리에 따라 (K<0) 이면 측지선이 수렴하지 않아 불안정 광구, (K>0) 이면 수렴점(conjugate point)이 존재해 안정 광구가 된다. 따라서 광구의 존재와 안정성은 전적으로 (\kappa_{g}(r)) 와 (K(r)) 의 기하학적 성질에 의해 판단된다.

다음으로 네 종류의 시공간에 대해 경계 조건을 설정한다. 블랙홀은 사건 지평선 (r_{H}) 바깥에서만 관측 가능하므로 (r>r_{H}) 구간을, 초고밀도 천체와 나체 특이점은 전역 (r>0) 구간을, 정규 시공간은 특이점이 없으면서 지평선이 있을 수도 없을 수도 있으므로 두 경우를 모두 고려한다. 각 구간의 (\kappa_{g}(r)) 는 (r\to r_{H}) 또는 (r\to0) 에서의 극한값과 (r\to\infty) 에서의 asymptotic (f(r),g(r)) 거동을 통해 부호 변화를 분석한다.

주요 결과는 다음과 같다. (1) 블랙홀 시공간에서는 (\kappa_{g}(r)) 가 (r_{H}) 근처에서 양에서 음으로 변하고, 무한대에서는 다시 양으로 돌아가므로 최소 한 개의 해가 존재한다. 이때 (K<0) 인 해가 유일한 불안정 광구이며, 위상 전하 (w=n_{\text{stable}}-n_{\text{unstable}}=-1) 이 성립한다. (2) 초고밀도 천체는 내부에 물질이 존재하므로 (\kappa_{g}(r)) 가 여러 번 부호를 바꿀 수 있다. 따라서 (n) 은 0, 1, 2 등 다양하게 나타날 수 있으며, (w) 값도 0 또는 ±1 등으로 변한다. (3) 정규 시공간(예: 비특이 블랙홀, 비특이 전하 해)에서는 (r\to0) 에서 (\kappa_{g}) 가 유한하거나 발산하지 않으며, 경우에 따라 안정·불안정 광구가 동시에 존재하거나 전혀 없을 수도 있다. (4) 나체 특이점 시공간은 (r\to0) 에서 (\kappa_{g}) 가 급격히 발산하거나 부호가 일정하게 유지되어, 불안정 광구가 사라지는 경우가 보고된다. 이때 (w) 는 0 또는 양의 정수값을 가질 수 있다.

이러한 결과는 기존의 효과 전위법, 위상 전하(ϕ‑mapping) 접근법과 정량적으로 일치한다. 특히 (w=-1) 이라는 보편적 정리는 블랙홀 시공간의 위상적 특성을 새로운 기하학적 시각으로 재확인한다는 점에서 의미가 크다. 또한, 광학 기하학을 이용하면 구체적인 (f(r),g(r)) 형태를 몰라도 광구 존재 여부와 안정성을 판단할 수 있어, 새로운 이론 모델이나 수치 시뮬레이션 검증에 유용한 도구가 된다.