[논문 리뷰] An explanation of the Newman-Janis Algorithm

S. P. Drake P. Szekeres|arXiv (Cornell University)|1998. 07. 01.

Relativity and Gravitational Theory참고 문헌 1인용 수 51

한 줄 요약

이 논문은 뉴먼-자니스 알고리즘의 성공을 정밀하게 설명하며, 고급 영점 좌표계에서의 다섯 단계 절차를 분석함으로써 리스너-노르트스트롬 해로부터 케르-뉴먼 계량을 생성하는 데에 성공한 이유를 규명한다. 이 알고리즘은 오직 완전한 유체 해로서 케르 계량을, 그리고 고유한 대칭 특성과 가상 진공 아인슈타인-맥스웰 해로서 케르-뉴먼 계량을 생성함을 증명하며, 오랫동안 제기된 이론의 임의성에 대한 의문을 해결한다.

ABSTRACT

After the original discovery of the Kerr metric, Newman and Janis showed that this solution could be ``derived'' by making an elementary complex transformation to the Schwarzschild solution. The same method was then used to obtain a new stationary axisymmetric solution to Einstein's field equations now known as the Kerr-newman metric, representing a rotating massive charged black hole. However no clear reason has ever been given as to why the Newman-Janis algorithm works, many physicist considering it to be an ad hoc procedure or ``fluke'' and not worthy of further investigation. Contrary to this belief this paper shows why the Newman-Janis algorithm is successful in obtaining the Kerr-Newman metric by removing some of the ambiguities present in the original derivation. Finally we show that the only perfect fluid generated by the Newman-Janis algorithm is the (vacuum) Kerr metric and that the only Petrov typed D solution to the Einstein-Maxwell equations is the Kerr-Newman metric.

연구 동기 및 목표

• 뉴먼-자니스 알고리즘이 많은 물리학자들에게는 무작위적 또는 임의적인 절차로 여겨지지만, 왜 케르-뉴먼 계량을 성공적으로 유도하는지 명확히 하기 위해.
• 특히 복소화 선택 사항에 관해 아인슈타인 방정식의 타당한 해를 생성하는 데에 필요한 정확한 조건을 규명하기 위해.
• 회전하는 경우를 포함하여, 알고리즘이 케르 계량과 일치하는 완전한 유체 내부 해를 생성할 수 있는지 조사하기 위해.
• 뉴먼-자니스 알고리즘을 통해 구할 수 있는 유일한 대칭 특성, 진공 아인슈타인-맥스웰 해로서 케르-뉴먼 계량의 유일성을 확립하기 위해.
• 알고리즘의 복소화 절차가 임의적이 아니라, 일관된 해를 생성하기 위한 요구 조건에 의해 유일하게 결정됨을 보여주기 위해.

제안 방법

• 뉴먼-자니스 알고리즘은 다섯 단계 절차로 체계화된다: (1) 시드 계량을 고급 영점 좌표계로 표현하기, (2) 계량에서 영점 테트라드를 구성하기, (3) 테트라드 성분에 대해 복소 좌표 변환 수행하기, (4) 새로운 복소화된 테트라드를 사용하여 계량을 실수 형태로 변환하기, (5) 결과 계량이 아인슈타인 방정식을 만족하는지 확인하기.
• 이 방법은 고급 에딩턴-핑켈스타인 좌표계에서 정적이고 구형 대칭인 시드 계량에 적용되며, 일반 형태는 $ ds^2 = e^{2 ilde{ u}(r)}du^2 + e^{ ilde{ u}(r)+ ilde{eta}(r)}dudr - r^2(d heta^2 + an^2 heta d heta^2) $ 이다.
• 알고리즘은 $ r \to r + ia\cos\theta $ 를 통한 반경 좌표의 복소화를 사용하며, 이후 계량 함수에 복소수 켤레 확장을 적용하여 결과 계량이 실수이자 대칭적이게 보장한다.
• 분석은 뉴먼-펜로즈 형식론을 활용하여 스핀 계수와 와일 스칼라를 계산하여, 결과로 나오는 시공간을 페트로프 유형으로 분류한다.
• 진공 및 아인슈타인-맥스웰 해를 확인하기 위해, 맵러 V와 텐서 및 데베버 패키지를 사용하여 리치 스칼라를 기호적으로 계산한다.
• 계량 함수 $ j(r) $ 와 $ k(r) $ 에 대한 조건을 유도하여, 결과로 나오는 시공간이 대칭 특성(페트로프 유형 D)을 가지게 하는 조건을 도출하며, 이는 $ k(r) = r^2 $ 과 $ j(r) = r^2 + d_1 r + d_0 $ 로 유일하게 특징지어지며, 상수를 질량 및 전하 매개변수로 설정할 경우 케르-뉴먼 계량으로 줄어든다.

실험 결과

연구 질문

• RQ1 많은 물리학자들이 무작위적 절차로 여겨지지만, 왜 뉴먼-자니스 알고리즘이 케르-뉴먼 계량을 성공적으로 유도하는가?
• RQ2 특히 복소화 선택 사항에 관해, 뉴먼-자니스 알고리즘이 아인슈타인 방정식의 타당한 해를 생성하는 데에 필요한 정확한 조건은 무엇인가?
• RQ3 뉴먼-자니스 알고리즘은 케르 계량을 내부 해로 갖는 완전한 유체 해를 생성할 수 있는가? 특히 비틀림이 있는 경우에 대해?
• RQ4 뉴먼-자니스 알고리즘을 통해 생성된 해 중에서, 대칭 특성 시공간에 대해 케르-뉴먼 계량의 유일성은 무엇인가?
• RQ5 뉴먼-자니스 알고리즘의 복소화 절차는 임의적인가, 아니면 일관성과 해의 타당성 요구 조건에 의해 유일하게 결정되는가?

주요 결과

• 정적이고 구형 대칭인 시드 계량에서 뉴먼-자니스 알고리즘으로 생성되는 오직 유일한 완전한 유체 시공간은 압력과 에너지 밀도가 모두 0이 되는 진공 케르 계량뿐이다.
• 뉴먼-자니스 알고리즘으로 생성된 모든 대칭 특성 시공간(페트로프 유형 D)은 $ k(r) = r^2 + c_1(r + c_1/4) $ 를 만족해야 하며, 조건 $ c_1^2 - 4c_0 = 0 $ 이 성립해야 하며, 이 조건은 오직 유형 D 해를 특징짓는다.
• 리치 스칼라가 0인(즉, 아인슈타인-맥스웰 방정식의 해인) 유일한 대칭 특성 시공간은 케르-뉴먼 계량이며, 이는 $ c_1 = 0 $, $ j(r) = r^2 + d_1 r + d_0 $ 인 경우에만 발생하며, 상수를 질량 및 전하 매개변수로 설정할 때 유일하게 나타난다.
• 뉴먼-자니스 알고리즘의 복소화 절차는 임의적이지 않으며, 결과 계량이 실수이자 대칭적이며 아인슈타인 방정식을 만족하도록 보장하기 위한 요구 조건에 의해 유일하게 결정된다. 이는 알고리즘의 성공을 설명한다.
• 케르 계량과 매끄럽게 연결되는 드레이크-투롤라 계량은 비회전 한계에서 완전한 유체이지만, 비틀림이 있을 경우 유체 방정식을 만족하지 못하므로, 비틀림이 있는 완전한 유체 해가 될 수 없다.
• 뉴먼-자니스 알고리즘은 진공 케르 경우를 제외한 비진공 완전한 유체 해를 생성할 수 없으며, 오직 비진공 해로는 케르-뉴먼 계량만 생성되며, 이는 대칭 특성, 아인슈타인-맥스웰 시공간 클래스 내에서의 오직 유일한 해이다.