1963년 수학자 로이 커(Roy Kerr)는 우리가 현재 회전하는 블랙홀이라고 부르는 외부의 시공간을 정확하게 설명하는 아인슈타인 방정식의 해를 찾았습니다. (이 용어는 앞으로 몇 년 동안 만들어지지 않을 것입니다.) 그의 업적 이후 거의 XNUMX년 동안, 연구자들은 소위 커 블랙홀이 안정적이라는 것을 보여주려고 노력했습니다. 그것이 의미하는 바, 설명 제레미 세프텔Sorbonne 대학의 수학자인 "내가 Kerr 블랙홀처럼 보이는 것으로 시작하여 약간의 충돌을 가하면" 예를 들어 중력파를 던지면 "당신이 기대하는 것, 먼 미래 , 모든 것이 안정되고 다시 Kerr 솔루션처럼 보일 것입니다.”
반대 상황인 수학적 불안정성은 "이론 물리학자들에게 깊은 난제를 제기했을 것이며, 아인슈타인의 중력 이론을 어떤 근본적인 수준에서 수정할 필요가 있음을 시사했을 것"이라고 말했습니다. 티볼트 다무르, 프랑스 고등 과학 연구소의 물리학자.
912 페이지에서 종이 30월 XNUMX일 온라인 게시, Szeftel, 엘레나 조르기 컬럼비아 대학교 및 세르주 클라이너만 프린스턴 대학의 연구진은 천천히 회전하는 커 블랙홀이 실제로 안정적이라는 것을 증명했습니다. 작업은 다년간의 노력의 산물입니다. 전체 증명 - 새로운 작업으로 구성된, 800페이지 용지 2021년 Klainerman과 Szeftel의 저서와 다양한 수학적 도구를 확립한 2,100개의 배경 논문으로 총 약 XNUMX페이지에 달합니다.
새로운 결과는 "참으로 일반 상대성 이론의 수학적 발전에서 이정표를 구성한다"고 말했다. 데메트리오스 크리스토둘루, 스위스 취리히 연방 공과 대학의 수학자.
싱텅 야우최근에 칭화대학교로 옮겨온 하버드대학교 명예교수도 1990년대 초 이후 일반상대성이론의 이 분야에서 "첫 번째 주요 돌파구"라는 증거를 내세우며 찬사를 보냈다. 그는 “매우 어려운 문제다. 그러나 그는 새로운 논문이 아직 피어 리뷰를 거치지 않았다고 강조했습니다. 그러나 그는 출판 승인을 받은 2021년 논문을 "완벽하고 흥미진진하다"고 불렀다.
안정성 문제가 오랫동안 열려 있는 한 가지 이유는 Kerr가 발견한 것과 같은 아인슈타인 방정식에 대한 대부분의 명시적 솔루션이 고정되어 있기 때문이라고 Giorgi는 말했습니다. "이 공식은 그냥 앉아 있고 절대 변하지 않는 블랙홀에 적용됩니다. 그것은 우리가 자연에서 볼 수 있는 블랙홀이 아닙니다.” 안정성을 평가하기 위해 연구자는 블랙홀에 사소한 교란을 일으키다 그런 다음 시간이 지남에 따라 이러한 개체를 설명하는 솔루션에 어떤 일이 발생하는지 확인합니다.
예를 들어, 음파가 와인잔에 부딪친다고 상상해 보십시오. 거의 항상 파도가 유리를 약간 흔들면 시스템이 안정됩니다. 그러나 누군가가 유리의 공진 주파수와 정확히 일치하는 피치로 충분히 크게 노래하면 유리가 깨질 수 있습니다. Giorgi, Klainerman 및 Szeftel은 블랙홀이 중력파에 부딪힐 때 유사한 공명 유형 현상이 발생할 수 있는지 궁금해했습니다.
그들은 몇 가지 가능한 결과를 고려했습니다. 예를 들어 중력파는 커 블랙홀의 사건 지평선을 가로질러 내부로 들어갈 수 있습니다. 블랙홀의 질량과 회전은 약간 변경될 수 있지만 물체는 여전히 커 방정식으로 특징지어지는 블랙홀일 것입니다. 또는 중력파는 대부분의 음파가 와인잔을 만난 후 소멸되는 것과 같은 방식으로 소멸되기 전에 블랙홀 주위를 소용돌이칠 수 있습니다.
또는 그것들이 결합하여 혼란을 일으키거나 Giorgi가 말했듯이 "하나님은 무엇을 알고 계십니다." 중력파는 블랙홀의 사건 지평선 외부에 모여서 별도의 특이점이 형성될 정도로 에너지를 집중시킬 수 있습니다. 그러면 블랙홀 외부의 시공간이 너무 심하게 왜곡되어 커 솔루션이 더 이상 우세하지 않을 것입니다. 이것은 불안정성의 극적인 신호일 것입니다.
세 명의 수학자들은 이전에 관련 연구에서 사용되었던 전략(모순에 의한 증명이라고 함)에 의존했습니다. 논쟁은 대략 이렇습니다. 첫째, 연구원들은 그들이 증명하려고 하는 것과 반대되는 것, 즉 솔루션이 영원히 존재하지 않는다고 가정합니다. 대신 Kerr 솔루션이 분해되는 최대 시간이 있다는 것입니다. 그런 다음 일반 상대성 이론의 핵심인 편미분 방정식의 분석인 "수학적 속임수"를 사용하여 최대 시간 이상으로 솔루션을 확장한다고 Giorgi가 말했습니다. 즉, 최대 시간 동안 어떤 값을 선택하더라도 항상 확장될 수 있음을 보여줍니다. 따라서 그들의 초기 가정은 모순되어 추측 자체가 참이어야 함을 암시합니다.
Klainerman은 자신과 동료들이 다른 사람들의 작업을 기반으로 구축했다고 강조했습니다. 그는 "XNUMX번의 진지한 시도가 있었고 운이 좋았습니다."라고 말했습니다. 그는 최신 논문을 공동의 성과라고 생각하며, 새로운 기여가 "전체 분야의 승리"로 간주되기를 바랍니다.
지금까지 안정성은 천천히 회전하는 블랙홀에 대해서만 입증되었습니다. 블랙홀의 각운동량 대 질량의 비율은 1보다 훨씬 작습니다. 빠르게 회전하는 블랙홀도 안정적이라는 것은 아직 입증되지 않았습니다. 또한, 연구원들은 안정성을 보장하기 위해 질량에 대한 각운동량의 비율이 얼마나 작아야 하는지 정확하게 결정하지 않았습니다.
긴 증명의 단 한 단계가 낮은 각운동량의 가정에 달려 있다는 점을 감안할 때 Klainerman은 "XNUMX년 안에 우리가 Kerr [안정성] 추측의 완전한 해결을 갖게 된다면 전혀 놀라지 않을 것입니다. .”
Giorgi는 그렇게 낙천적이지 않습니다. “가정이 한 가지 경우에만 적용되는 것은 사실이지만 매우 중요한 경우입니다.” 그 제한을 통과하려면 상당한 노력이 필요하다고 그녀는 말했습니다. 그녀는 누가 그 일을 맡을지, 언제 성공할지 확신할 수 없습니다.
이 문제를 넘어서고 있는 것은 최종 상태 추측이라고 하는 훨씬 더 큰 문제로, 기본적으로 충분히 오래 기다리면 우주가 서로 멀어지는 유한한 수의 커 블랙홀로 진화할 것이라고 주장합니다. 최종 상태 추측은 Kerr 안정성과 그 자체로 매우 어려운 다른 하위 추측에 따라 달라집니다. Giorgi는 "우리는 이것을 증명하는 방법을 전혀 모릅니다."라고 인정했습니다. 어떤 사람들에게는 그 말이 비관적으로 들릴 수 있습니다. 그러나 그것은 또한 Kerr 블랙홀에 대한 본질적인 진실을 보여줍니다. 그것들은 앞으로 수십 년은 아니더라도 수년 동안 수학자들의 관심을 끌 운명입니다.
