얼마 전 계산을 하나 추가하고 내용을 완전히 갈아엎다시피 한 논문을 재투고했는데 에디터가 전혀 반응을 보이지 않고 있다. 에디터 반응을 기다리는 동안 생각도 정리할 겸 간략하게 적어보는 정리 포스트. 포스트 작성 도중 레프리에게로 넘어간 것을 확인했다. 좋은 리포트가 돌아오기만을 기다려야...

 

---

 

"블랙홀은 머리카락이 없다(no-hair)"는 말이 있다. 단순하게 설명하면 '블랙홀은 질량, 스핀, 전하에 의해 완전히 결정된다'는 의미이고, 좀 더 수학적인 세부사항을 덧붙이면 '사건의 지평선이 특이점(singularity)이 아닌 일반상대론의 진공해는 알려진 (Schwarzschild/Kerr/Reissner-Nordström/Kerr-Newman) 블랙홀 해만 존재한다'가 된다. 블랙홀을 시공간상의 "구멍"처럼 말하곤 하는데, '텅 빈 허공이 무슨 특징을 가질 수 있겠느냐'는 관점에서 보면 블랙홀에게 머리카락이 없다는 말은 꽤나 그럴듯하게 들린다. 물론 그래서 양자중력을 고민하는 사람들이 머리를 쥐어뜯고 있지만.

 

물론 흔히 말하는 "블랙홀은 머리카락이 없다"의 블랙홀은 온 우주에 딱 그 블랙홀 하나만 존재하는 이상화된 조건에서의 블랙홀에 대한 정리이기 때문에 실제로 우리가 보는[각주:1] 블랙홀에게도 적용된다고 이야기하려면 약간의 논리적 도약이 필요하다. 주변에 아무것도 없는 홀로 남겨진 블랙홀과 주변에 온갖 물체들이 날아다니는 실제 우주에 존재하는 블랙홀이 비슷한 성질을 갖고 있으리라 믿는 것은 합리적이지만, 그 둘이 비슷한 수준이 아니라 완전히 동일하다고 주장하는 것은 아무래도 다른 이야기가 되지 않겠는가?

 

그렇다면 좀 더 현실적인 상황에 놓인 블랙홀에 대해 '머리카락이 없다'는 것은 무슨 의미일까? 이상화(idealised)된 해로서의 블랙홀과 현실적인 블랙홀의 차이는 후자의 경우 블랙홀이 주변에 날아다니는 물체의 중력에 의해 영향을 받는다는 것이다. 따라서 '머리카락이 없다'는 성질의 현실적인 상황으로의 일반화로서 '주변 물체로부터 받는 영향이 없다'는 성질로 해석하는 가능성이 있다. 그리고 실제로 일반상대론의 블랙홀들은[각주:2] 이 성질을 만족한다.

 

---

 

바닷가에 충분히 오래 있었던 사람이라면 누구나 몸으로 경험하게 된다. 거대한 달의 중력을.

 

달과 함께 바닷가에 바닷물이 들이닥치고 빠져나가는 현상을 조석(潮汐) 혹은 밀물과 썰물이라고 한다. 조석은 달이 지구에 미치는 중력이 일정하지 않기 때문에 생기는 현상이다. 만유인력은 뉴턴의 역제곱법칙을 따르므로, 달에 가까울수록 달의 중력을 강하게 느끼고 달에서 멀수록 달의 중력을 약하게 느끼게 된다. 이렇게 위치에 따라 조금씩 변하는 달의 중력에서 평균값을 빼면 달을 향하는 방향으로는 상대적으로 당기는 힘이 작용하고 달과 수직한 방향으로는 상대적으로 압축하는 힘이 작용하는 것처럼 보이게 되는데, 이를 조석력(潮汐力, tidal force)이라고 한다. 여담으로 일반상대론을 이해하는데 조석력은 매우 중요한데, 유한한 크기를 갖는 자유낙하하는 물체는 등가원리에 의해 중력 그 자체는 경험할 수 없어도 '중력의 차이' 즉 조석력은 경험하기 때문이다. 일반상대론 강의에서 geodesic deviation을 적어도 한 번 정도는 언급하고 지나가는 이유이기도 하며, 가끔씩 보이는 '자유낙하하는 물체가 측지선(geodesic)을 따라 움직이지 않으니 등가원리가 위배된다'는 주장에 대해 내가 '아니 그건 아니지...'라 반응하는 이유이기도 하다. 등가원리는 크기가 없는 이상화된 자유낙하하는 물체에 대해서만 적용되지 시공간의 곡률을 느끼는 유한한 크기의 점입자로 근사된 물체에 적용되는 것이 아니니까.

 

여튼 조석력으로 다시 돌아와서, 조석력을 받는 물체가 그 조석력에 대해 어떻게 반응하는지를 나타내는 물리량을 러브 수(Love number)라고 한다. 아우구스투스 에드워드 휴 러브(Augustus Edward Hough Love)의 지구에 대한 조석력의 영향에 대한 연구로부터 붙은 이름으로, 하필 이름이 이름이라 수많은 논문들의 말장난(...)의 원천이 되기도 한다.

 

손으로 만져가며(?) 실험하기 좋은 전자기학에 빗대보자면 러브 수는 전기 감수율(electric susceptibility)에 대응된다. 물체에 전기장을 걸 경우 전기장에 의해 물체 내부의 전하들 중 양전하는 전기장이 향하는 방향으로, 음전하는 전기장이 향하는 반대 방향으로 힘을 받게 된다. 따라서 전기장에 의해 물체 내부의 전하들이 움직이게 되며, 그 결과로서 물체 전체적으로 전하의 불균형이 발생하는 것을 유전 분극(dielectric polarisation)이라고 한다. 그리고 전기장이 충분히 작을 경우 이 현상에 의해 발생한 극성이 전기장의 세기와 정비례할 것으로 기대할 수 있는데, 이 비례상수를 전기 감수율이라고 한다.

 

그렇다면 러브 수는 조석력에 대한 어떤 반응을 가리키는 것일까? 우리가 가장 쉽게 관찰할 수 있는 조석력에 대한 반응은 아무래도 밀물과 썰물, 혹은 해수면 높낮이의 반응이다. 이를 다르게 말한다면 '물체의 표면이 조석력에 의해 변형된다'고 할 수 있는데, 이렇게 물체의 표면이 조석력에 어떻게 반응하는지를 나타내는 물리량을 1종 러브 수(Love number of first kind) 혹은 러브 수 $h$라고 표기한다. 블랙홀의 경우에는 1종 러브 수가 조석력에 의해 사건의 지평선의 위치가 움직이는 것을 나타낸다고 할 수 있으며, 이렇게 정의되는 1종 러브 수는 고전적으로 유한한 값을 갖는다는 것이 알려져 있다.

 

조석력에 의해 물체가 변형되는 예

 

다만 우리에게 좀 더 쓸모있는 러브 수는 2종 러브 수(Love number of second kind) 혹은 러브 수 $k$로, 2종 러브 수는 조석력을 받는 물체가 중력의 원천(source)으로서 어떻게 변형되는가를 나타낸다. 앞서 잠시 언급했던 전자기학으로 돌아가보자. 전기 감수율은 (전기적으로 중성인) 물체가 전기장 안에 놓였을 때 전기장에 의해 획득하게 되는 전기쌍극자(electric dipole)를 나타내는데, 이것을 '외부 전기장에 의해 물체가 얻는 유도된 쌍극자 모먼트(induced dipole moment)'로 볼 수 있다. 다시 중력으로 돌아오면, 2종 러브 수는 외부 중력원에 의해 받는 조석력으로 물체가 얻는 유도된 질량 극자 모먼트(induced multipole moment)를 나타낸다고 할 수 있다. 편의상 사중극자(quadrupole)에 대응되는 $k_2$를 예로 들자면, 한 방향으로는 확장하고 그 수직한 방향으로는 압축하는 조석력을 받는 물체가 중력원으로서 어떻게 찌그러지는지를 나타낸다고 할 수 있다.

 

---

 

최근 러브 수에 대한 사람들의 관심이 다시 증가한 이유 중 하나로 중력파 관측이 있다. 이론적으로 민감도가 충분히 높은 지상 간섭계 중력파 관측소에서 얻은 중력파 데이터로부터 중성자별의 2종 러브 수를 결정할 수 있기 때문이다. 실제로 LIGO/VIRGO 증력파 관측소에서 중성자별의 쌍성 병합(neutron star binary coalescence)에 대해 관측한 중력파 데이터를 보면 조석 변형률 파라메터(tidal deformability parameter)에 대한 분석이 있는 것을 확인할 수 있다. 조석 변형률은 결국 중성자별의 내부 구조에 의해 결정되기 때문에 중성자별을 이루는 핵물질(nuclear matter)의 상태방정식(equation of state)에 대한 정보가 일부 반영되고[각주:3], 따라서 양자색역학에 대한 보다 심도 있는 이해에 관심을 갖는다면 핵물질의 상태방정식을 결정하는 관측량 중 하나가 될 2종 러브 수에 대해서도 어느 정도 관심을 가질 수 밖에 없는 셈이다.

 

그렇다면 블랙홀의 경우에는 어떨까? 블랙홀의 경우에는 모든 2종 러브 수가 사라진다는 것이 알려져 있다. 블랙홀이 회전하고 있을 경우에 대해서는 약간의 논란이 있었지만 현재로서는 없는 것이 맞다는 쪽으로 결론이 내려지는 분위기이고. 그리고 포스트의 앞에서 잠시 언급한 '머리카락이 없다'는 성질의 현실적인 블랙홀에 대응되는 버전으로서 이 성질을 이해할 수도 있다. 다른 가능한 관점으로 사라지는 2종 러브 수를 일종의 미세 조정(fine-tuning)으로 이해할 수도 있는데, 이건 최근 러브 수가 사라지는 것과 관련있는 숨겨진 대칭성이 있다는 주장이 나온 상태라 받아들이기는 미묘하다. 어쨌든 러브 수가 사라진다는 것은 블랙홀이 실제로 "구멍"과도 같아서 외부에서 어떤 자극을 주어도 그 자극에 대한 정보가 구멍 속으로 사라진다는 것으로 보아도 좋지 않을까?

 

---

 

여기까지는 고전적인 블랙홀의 이야기였다. 그리고 양자장론이 우리에게 가르켜 준 것이 하나 있다고 한다면, 고전적인 성질은 많은 경우 양자역학을 고려하기 시작하면 더 이상 성립하지 않는다는 것이다. 그렇다면 블랙홀의 사라지는 러브 수도 양자역학을 고려하면 실제로는 0이 아닌 것은 아닐까?

 

그리고 최근에 재투고를 위해 수정한 논문이 정확히 이 문제를 건드리고 있다. 양자효과를 고려하면 블랙홀의 러브 수는 실제로는 0이 아니라 유한한 값을 얻는다는 것이 주된 결론. 앞서 블랙홀의 러브 수가 사라지는 것을 머리카락이 없는 성질로 보거나 숨겨진 대칭성에 의한 성질로 이해할 수 있다는 이야기를 했는데, 이 관점의 연장선상에서 블랙홀이 실제로는 양자역학적인 머리카락을 갖는다고 해석하거나 숨겨진 대칭성에 anomaly가 있다고 해석할 수 있을 것이다. 구체적인 계산방법에 대해서는 다음 기회에 언급하기로.

 

가끔 반농반진으로 "우리는 양성자보다 블랙홀을 더 잘 이해하고 있다"는 농담을 하곤 하는데, 어쩌면 그 이유가 블랙홀에 대해서는 양자역학에 의한 효과를 깊게 생각하지 않았기 때문일지도 모르겠다는 생각이 든다.

  1. 얼마 전까지만 해도 블랙홀을 "본다"고 하면 무슨 소리냐고 한 소리 들었겠지만, EHT 이후 우리는 실제로 블랙홀을 "보게" 되었다. 과학의 힘은 대단해! [본문으로]
  2. 4차원으로 한정지을 경우. 다른 차원의 블랙홀은 약간 다른 성질을 갖는 경우가 있다. [본문으로]
  3. 다만 아주 많은 정보를 담고 있지는 않다. 2종 러브 수가 핵물질의 상태방정식과는 관련 없는 관계식(I-Love-Q 관계식이라고 한다)을 만족하는 것으로 보이기 때문. inspirehep.net/literature/1220233 [본문으로]
Posted by 덱스터

수업시간에 마주한 Frobenius' theorem이 특수상대론의 유명한 문제인 '회전하는 원반의 둘레는 얼마인가?'와 연결된다는 것을 깨닫고 작성을 시작한 노트. 별 내용도 없는데 생각보다 작성하는데 시간이 오래 걸렸다. 특수상대론을 다루는 부분은 작업 시작한 날 3시간만에 전부 정리했는데 나머지 부분에서 제대로 된 설명을 만드느라 헤매서....


처음 쓰기 시작했을 때는 '오 이거 재미있다!'란 생각으로 타자를 쳤는데 다 치고 나니까 '뭐야 이거 당연한 소리였잖아...'란 느낌만 든다. 안 그런 일이 드물기는 하지만...


Frobenius Theorem in General Relativity.pdf


'Physics > Concepts' 카테고리의 다른 글

Canonical transformations and equivalence of Hamiltonians  (0) 2020.02.23
Elementary introduction to Dirac brackets  (2) 2019.01.29
Particles in Curved Space  (1) 2016.08.08
Fermi-Walker transport  (2) 2014.12.24
Computation and Heat  (2) 2014.06.23
Posted by 덱스터

오늘 아카이브에 들어가봤다가 의외의 글을 발견했다.


http://arxiv.org/abs/1508.05607


de Sitter 공간에서 타키온을 올려놓은 문제인데, 사실 '어 이게 글로 나올 만한 문제였던가?'가 솔직한 감상. 고전적인 타키온 입자는 유한한 시간 동안만 생존한다는게 주요 내용인데(양자적인 경우는 조금 다르게 취급), '유한한 시간 동안 생존한다'는 해석을 빼면 전혀 새로울 것이 없었는지라. 다만 이런 느낌은 내가 타키온을 해석하는 방법 때문인지도 모르겠다.


우선 예전 글들 링크.

2015/01/09 - 일반상대론에서의 쌍둥이 역설

2014/01/11 - Poincare Half Plane 푸앙카레 반평면 (1)

2014/05/25 - Poincare Half Plane 푸앙카레 반평면 (2)


지금 보니 블로그에서 직접적으로 언급한 적이 없다는 것이 살짝 의외인데, de Sitter(이하 dS) 공간과 Anti-de Sitter(이하 AdS) 공간은 사실상 똑같은 공간이다. 푸앙카레 반평면 (1)글에서 마지막에 살짝 언급하고 넘어갔듯, 푸앙카레 반평면 (2)글에서 t와 z의 해석을 뒤바꿔주면 AdS 공간이 dS 공간으로 변한다. 이 말은 AdS 공간에 사는 질량이 있는 물질, 타디온(tardyon)들이 dS 공간의 질량 제곱이 음수인 물질, 타키온들과 똑같이 움직인다는 것을 의미한다. 그 반대로 dS 공간의 타디온들이 AdS 공간의 타키온들처럼 행동한다는 해석 또한 가능하고.


다만 우리가 일반적으로 생각하는 시공간에서는 시간 차원이 하나밖에 존재하지 않아서 완전히 동일하지는 않다. AdS/CFT에서와 같이 일반적으로 AdS 공간을 생각할 경우 한 차원 높은 민코프스키 공간에서 초쌍곡면을 그대로 가져다가 AdS 공간으로 잡지 않고 그 universal cover를 이용하곤 한다. 이 짓을 안 하면 closed timelike trajectory가 나와서 인과율에 문제가 생기기 때문이다. 이건 시간 방향이 1차원이라서 $S^1$의 위상을 갖기 때문에 가능한 일인데, 만약 시간 방향이 2차원이거나 보다 높은 차원을 가질 경우에는 $S^n$의 위상을 갖게 되고, $S^n$은 자기 자신이 universal cover이기 때문에 universal cover를 취해서 closed timelike trajectory를 없애는 것이 불가능해진다. n+1차원의 dS 공간에서 움직이는 타키온을 무작정 측지텐서의 부호를 뒤집어서 AdS 공간에서 움직이는 타디온으로 바꾸어 해석하려면 조심해야 할 필요가 있다는 소리.


여기까지는 주의사항이었으니 타키온에 물리적인 의미를 줄 수 있는 방법을 생각해보자. 일반상대론에서의 쌍둥이 역설에서 설명했듯, 양의 질량 제곱을 가진 물체가 관성운동을 하면서 재는 고유시간은 그 물체가 만든 직선(일반상대론에서 관성운동하는 물체가 그리는 경로는 직선이다)의 길이를 의미한다. 같은 해석을 타키온에 적용하면, 타키온이 관성운동을 하면서 재는 고유시간(tachyonic proper time이라고 부를 수 있을 것이다)은 타키온이 그린 경로의 길이, 혹은 타키온이 지난 경로를 온전히 포함하는 time slice 위에서의 spatial distance에 해당한다.[각주:1]


이 결론을 임의의 n+1 dS 공간에서 움직이는 타키온들에 적용해보면 재미있는 사실을 몇 가지 알 수 있다. 우선 AdS와 dS의 대칭을 이용하면 임의의 점에서 각기 방향으로[각주:2] 쏘아보낸 타키온들은 모두 한 점에서 만난다는 사실을 알 수 있다.[각주:3] FLRW flat 형태의 dS 공간 metric에만 익숙한 분들이라면 약간 놀라울 수 있는 사실. 모든 타키온들이 만나는 점은 타키온을 처음 쏘아보낸 점의 대척점(antipodal point)에 해당한다.


이번에는 좌표를 새로 잡아보도록 하자. 각 방향으로 쏘아보내는 타키온들 중 임의로 하나씩 골라 그 타키온들의 시공간상의 경로가 만들어내는 초평면을 time slice로 하는 좌표계를 만들어보는 것이다.[각주:4]이렇게 좌표계를 건설하는 것은 dS 공간은 등방적이기 때문에 처음에 쏘아보내는 타키온들의 운동량 분포만 충분히 매끄럽게 만들면 얼마든지 가능하다. 정의상 이 좌표계에서 시간에 해당하는 좌표 t가 상수인 초평면 위를 움직이는 타키온들은 한 점에서 만난다.


이렇게 건설한 좌표계에서 t=0인 초평면을 잡고 운동량의 시간 성분이 0인 타키온을 A라고 이름붙인 뒤 쏘아보내기로 하자. 이 타키온은 언젠가는 모든 타키온들이 만나는 점, 대척점에 도달할 것이다. 대척점에 도달한 뒤에도 이 타키온이 그릴 경로를 이어그려 보자. 가장 쉬운 방법은 타키온 A를 쏘아보낼 때 같이 쏘아보낸 타키온 중 대척점에서 A와 정 반대의 운동량을 갖는 타키온 B를 골라낸 뒤, 타키온 A의 경로를 연장해가면 타키온 B의 경로를 거슬러올라가게 된다고 생각하는 것이다. 어차피 t=0인 초평면 위에 모든 운동이 제한되어 있고, 모든 타키온의 경로는 직선이니, 직선의 접선에 대한 정보만 있으면 그 직선을 완전히 기술할 수 있을테니 말이다. 이 두 해석을 조합하면 관성운동하는 타키온은 처음 운동을 시작한 점으로 다시 돌아오게 된다는 결론을 내릴 수 있다. 어떻게 생각해 보면 당연한 결과이다. AdS 공간에서 universal cover를 취하지 않을 경우엔 closed timelike geodesic이 만들어지니, dS 공간에서는 closed spacelike geodesic이 만들어지는 것을 예상할 수 있었어야 한다.


결론적으로, 해당 arXiv 글의 결과는 'dS 공간은 모든 spacelike geodesic은 loop를 만든다'는 기하학적인 명제를 다르게 해석한 것이라고 할 수 있다. 타키온이 만드는 경로가 bound되어 있으니 무한한 시간동안 살아남지 못하는 것은 당연한 결과인 셈이다.

  1. 이 time slice가 시간에 해당하는 좌표가 상수인 초평면일 경우 해당 좌표계에서 타키온의 시간 성분 운동량은 0이다. [본문으로]
  2. 각기 방향으로 쏘아보낸다는 것은 임의의 운동량으로 쏘아보낸다는 의미이다. [본문으로]
  3. n이 1이 아닐 때 성립하는 것은 타키온들의 움직임을 1+1차원 평면 위에 한정시켜 이 평면 위의 모든 타키온들이 같은 타키온 고유 시간에 만난다는 것을 보인 후 이 곡면을 돌려서 나머지 차원 방향에 대해서도 성립한다는 것을 보이면 된다. [본문으로]
  4. 이건 타디온들을 이용해 synchronous frame을 만드는 과정과 거의 동일하다. [본문으로]
Posted by 덱스터

페이스북 타임라인에 쌍둥이 역설과 관련이 깊은 질문들이 올라와서 이런저런 생각을 해봤다. 이 글은 대충대충 쓸거라 일반상대론에 대한 지식이 어느 정도 있어야 읽을 수 있다는 것을 미리 알려드리며.




쌍둥이 역설이야 다들 아실테니 설명을 제끼기로 하자. 그렇다면 쌍둥이 역설의 기하적인 의미는 무엇일까? (약간의 비약을 넣어) 기하적으로 접근하면 '평면에서는 두 직선을[각주:1] 두 번 교차시킬 수 없다'는 것을 의미한다.


두 직선을 두번 교차하게 만드는 방법은 공간을 휘는 것이다. 예컨데 구에서 서로 다른 직선 둘을 그리면 두 점에서 교차하게 된다. 일반상대론에서는 중력이 공간을 휘어주는 역할을 하고, 직선은 중력을 따라 자유낙하하는 물체의 궤적이다. 일반상대론에서 직선의 길이는 자유낙하하는 물체의 고유시간이다.


이제 휘어진 공간에서 두 직선의 길이를 비교해 보자. 가장 간단하게 생각해볼 수 있는 방법은 지구를 이용해 공간을 휜 뒤 A는 지구의 원궤도에, B는 머리 위로 똑바로 던져서 다시 받는 궤도에[각주:2] 놓되 조건을 잘 맞추어서 같은 시간 같은 점에서 출발한 A와 B가 조금 뒤 같은 점에서 다시 만나도록 하는 것이다. 같은 시공간상의 점에서 출발한 두 직선-A와 B가 만드는 시공간상의 궤적-이 다시 한 점에서 만났을 때, 두 직선의 길이는 과연 같을 것인가? (계산을 해보지는 않았지만) 일반적으로 다르리라고 예상할 수 있다. 쌍둥이 역설일까? 물론 아니다. A가 그린 직선과 B가 그린 직선은 분명히 다르기 때문에[각주:3] A가 그린 직선의 길이와 B가 그린 직선의 길이가 다른 것이 문제가 될 이유는 없다.


문제를 더 꼬아보자. A가 그린 직선과 B가 그린 직선을 구분할 수 없다면? 그런 종류의 공간으로 더 시터르 공간(de Sitter space: dS)와 반-더 시터르 공간(anti-de Sitter space: AdS)이 있다.[각주:4] 이 공간들 위에서 두 물체 A와 B가 직선을 그리며 운동할 때 A가 그리는 직선과 B가 그리는 직선은 근본적으로 구분이 불가능하다. 따라서 쌍둥이 역설이 생기지 않으려면 (1) A가 그리는 직선과 B가 그리는 직선은 절대로 만나지 않던가(dS공간이 여기에 해당한다) (2) A가 그리는 직선과 B가 그리는 직선이 만났을 때 두 직선의 거리는 똑같아야 한다(AdS공간이 여기에 해당한다).


재미있는 점은 (2)의 경우 A와 B의 상대속도에 무관하게 같은 고유시간 뒤에 다시 만나게 된다는 부분. 이건 다음과 같이 증명할 수 있다. 우리는 A 위에 앉아있다고 하고, B와 C를 준비한다. 이제 B와 C를 (A에 대해) 같은 속력으로 날리되 방향은 다르게 한다. 그리고 공간은 대칭적이므로 B와 C는 동시에 A에 도착하게 된다. 그런데 B와 C 모두 관성운동을 했으므로, 우리는 B나 C 위에 앉아서 이 과정을 구경해도 된다. C에서 이 과정을 볼 경우 A와 B는 일반적으로 다른 속력을 가지고 관성운동을 하므로, 임의의 상대속력을 갖고 출발한 두 관성운동은 항상 같은 고유시간 뒤에 다시 만나게 된다.[각주:5]




결론: 일반상대론에서의 쌍둥이 역설으로부터 'AdS 공간에서의 한 점에서 출발하는 모든 timelike geodesic은 다른 한 점으로 수렴하며, 그 고유길이(고유시간)은 모두 같다'는 결론을 내릴 수 있다.




P.S. 고전역학에서는 harmonic oscillator가 정확히 똑같은 현상을 보인다. 우주상수를 넣고 아인슈타인 방정식의 구면대칭적인 해를 찾을 때 나오는 답의 $g_{00}$항이 1(또는 convention에 따라 -1)에서 벗어나는 정도를 Newtonian potential로 해석할 수 있는데, 이 potential 항이 harmonic oscillator의 potential을 갖는다는 것과 연결지어 생각할 수 있다.

  1. 상대론에서 '중력(0일 수도 있다)만을 받으며 운동'하는 점입자의 궤적은 직선(geodesic - 정확히는 time-like geodesic)이다. 단지 3차원에서 사는 사람의 눈에는 직선으로 보이지 않는 것일 뿐. [본문으로]
  2. purely radial motion이라고 생각하면 된다 [본문으로]
  3. 예를 들어 A와 B는 각각 자유낙하를 하면서 공간의 리만 곡률텐서의 값을 읽어볼 수 있다. A가 읽는 곡률은 일정하겠지만 B가 읽는 곡률은 위치에 따라 달라진다. [본문으로]
  4. 관성운동(본문의 직선을 그리는 운동)을 하는 모든 입자가 자신이 정지한 좌표계에서 똑같은 공간을 보려면 시공간의 곡률을 만들어주는 stress-energy tensor가 metric tensor의 상수배여야 한다. maximal symmetry를 가정하면 Lorentz boost에 해당하는 임의의 좌표변환을 하더라도 모양이 변하지 않는게 metric밖에 없기 때문. [본문으로]
  5. 정확한 증명(a.k.a. 수학적 증명)을 하려면 (v의 속력에서 시작했을 때/c=1) 상대속도 0에서 상대속도 2v/(1+v)까지의 모든 운동이 같은 고유시간에 도착한다는 것을 보인 뒤(각도 문제다), 이걸 반복하면 임의의 u<1도 포함된다는 것을 보이면 된다. [본문으로]
Posted by 덱스터

Lense-Thirring effect가 과제로 나와서 이책 저책을 찾아보다가 Fermi-Walker transport란걸 알게 되었다. 검색을 조금 돌려보니까 이런 논문도 나오는데, 이 논문까지 읽을 필요는 없을듯. Fermi-Walker transport의 식은 다음과 같이 주어진다.

\[\frac{D_F A^{\mu}}{Ds}=(w^{\mu} u_{\nu}-u^{\mu}w_{\nu})A^{\nu}\] \[\mathbf{u}=\frac{d}{ds}, \mathbf{w}=\nabla_{\mathbf{u}}\mathbf{u}\] \[s \text{ is (natural) parametrisation of the curve; }\mathbf{u}\cdot\mathbf{u}=1\]


notation이 이것저것 섞여있긴 한데 알아들을 분들은 다 알아들으리라 믿고(...)


그래서 이게 뭐냐? 위키백과 항목에는 '평행이동(parallel transport)의 일반화'라고 서술되어 있지만 그 말은 별로 옳지 않아 보인다. 그림으로 보는게 가장 이해하기 편할 듯.



평행이동을 곡면좌표계(curvilinear coordinates)에서 유도하는 과정을 보면 위의 그림이 된다.



그리고 이게 Fermi-Walker transport. 이동시킬 곡선에 평행한 성분은 계속 평행하고 수직한 성분은 계속 수직하게 이동시키는 과정. 따라서 이동시키는 곡선이 '직선'(혹은 측지선-geodesic)인 경우 Fermi-Walker transport는 평행이동과 같아진다. Fermi-Walker transport의 식 유도는 벡터 $\mathbf{A}$를 가져다가 곡선의 접선(tangent)인 $\mathbf{u}$에 평행한 성분과 수직한 성분으로 나눈 뒤 수직한 성분의 변화율을 $\mathbf{u}\cdot\mathbf{A_\perp}=0$을 미분해서 얻으면 된다. 감이 안 잡히면 LPPT Problem book in Relativity and Gravitation의 문제 11.7에서 풀어주고 있으니 그 책을 확인해보는 것도 좋을듯. 이 책은 어둠의 경로가 아니더라도 http://www.nrbook.com/relativity/에서 볼 수 있다.

'Physics > Concepts' 카테고리의 다른 글

Frobenius Theorem in General Relativity  (0) 2016.09.29
Particles in Curved Space  (1) 2016.08.08
Computation and Heat  (2) 2014.06.23
Dirac Equation(1)  (4) 2013.12.15
볼츠만 분포  (0) 2013.09.20
Posted by 덱스터

일반상대론 교재를 보고 식은 이해했는데 실제 연습문제를 풀 때마다 막막하신 분들을 위해 적습니다.




많은 이들을 멘붕에 빠지게 하는 일반상대론이 어려운 이유는 다른게 아니라 일반상대론에서 사용하는 리만기하학 때문입니다. 유클리드 공간에서 작도만 하던 그리스 시대와는 달리 시간이 지날수록 사람들은 '두 점 사이의 거리'에도 관심을 갖게 됩니다. 두 점 사이의 거리는 피타고라스의 정리로 쓰게 되죠.


File:Pythagorean.svg

c^2=a^2+b^2


이런 '두 점 사이의 거리'를 재는 방법을 가장 간단하게 일반화한 것이 리만기하입니다. 매우 가까운 두 점 사이의 거리는 두 점과 좌표축에 평행한 선분이 만드는 삼각형(편의상 2차원이라고 합시다)의 각 변의 길이에 대한 이차식의 꼴로 나타난다는 것이죠. 원래는 가우스가 휘어진 곡면 위에서 두 점 사이의 거리는 어떻게 주어지는가를 연구하면서 등장하게 되었다고 하는군요.


ds^2=Edx^2+2Fdxdy+Gdy^2


사실 거리를 일반화하는 방법은 이것 말고도 더 많기에 -피타고라스 정리에 제곱 대신 네제곱을 쓸 수도 있는 것이니까요. 페르마 님이 좋아합니다- 제곱의 꼴로 거리가 주어지는 리만기하학의 공간을 L^2공간이라고도 부릅니다. 양자역학에서 사용하는 힐베르트 공간도 L^2 공간의 일종이죠. 여기에 대해서는 아는 것의 밑천이 바닥나지 않을 이 정도 까지만 썰을 풀기로 합시다(...).


리만기하가 얼마나 일반적인 상식(?)과 어긋나는지 보기 위해 구체적인 문제를 풀어보도록 합시다. 가장 간단한 문제는 아무래도 푸앙카레 반평면(Poincare Half Plane)이 되겠네요. 푸앙카레 반평면이란 매우 가까운 두 점 사이의 거리 ds를 다음과 같이 정의하는 공간입니다.


ds^2=\frac{1}{y^2}(dx^2+dy^2)


여기서 리만기하학을 처음부터 다룰 수는 없는 노릇이니, 근처에 미분기하학 책이 하나 정도는 있다고 가정하고 바로 geodesic equation을 푸는 것으로 들어가도록 하겠습니다. 아무 일반상대론 책 하나 펴고 geodesic equation을 구하는 증명과정을 쭉 풀어본 사람이라도 실제 geodesic이 무엇이냐를 푸는데는 어려움을 겪는 경우가 있어서요. 그러면 방정식을 풀어봅시다.




geodesic equation은 다음과 같이 씁니다.


\frac{d^2x^\mu}{d\lambda^2}+\Gamma^\mu_{\alpha\beta}\frac{dx^\alpha}{d\lambda}\frac{dx^\beta}{d\lambda}=0


단, 이 경우 이 식이 만족되어야 합니다. 상수는 보통 1로 많이 잡는데, 그러면 람다의 변화는 이동한 거리가 되죠.


\frac{dx^\mu}{d\lambda}\frac{dx_\mu}{d\lambda}=\text{const}


위의 metric을 이용해서 connection coefficient(혹은 Christoffel symbol이라고도 부릅니다)를 구하면 다음과 같습니다. (summation은 그리스 문자만 해당하는 것으로 합시다)


\Gamma^x_{xy}=\Gamma^y_{yy}=-\Gamma^y_{xx}=-\frac1y


위로부터 다음 식을 계산해보면 이 식이 맞다는 것도 확인할 수 있죠.


\Gamma^\mu_{\mu\nu}=\partial_\nu\ln\sqrt{|g|}


람다에 대한 미분을 뉴턴식으로 간략하게 쓰기로 하면 geodesic equation은 다음과 같이 정리할 수 있습니다.


y''+\frac1y(x'^2-y'^2)=x''-\frac{2x'y'}y=0


확인한다면 위 식의 하나는 다음과 같이 쓸 수 있다는 것을 보일 수 있지요.


y^2\left(\frac{x'}{y^2} \right )'=0 \;\;\cdots\;x'=\alpha y^2


여기서 첫번째 geodesic을 얻습니다. 알파를 0으로 두면 geodesic은 x=const가 되거든요. 그러면 이 경우를 무시한 채 계속 진행해봅시다. 위에서 얻은 관계식을 대입하면 되는데, 우선은 어려운 방법부터 해 보도록 합시다.[각주:1] 남은 geodesic equation에 위 관계식을 대입하면 다음 식을 얻습니다.


y''+\frac1y(\alpha^2y^4-y'^2)=y\left[(\ln y)''+\alpha^2y^2 \right ]=0


y의 로그를 z로 재정의하면 다음 식을 얻죠. 신나게 미분방정식을 풀어봅니다.


z\equiv\ln y \\z''+\alpha^2e^{2z}=0\;\;\cdots\;\;2z'z''+2\alpha^2e^{2z}z'=\left[z'^2+\alpha^2e^{2z}\right ]'=0 \\z'^2+\alpha^2e^{2z}=\frac{y'^2}{y^2}+\alpha^2y^2=\beta^2\;\;\cdots\;\;y'=\beta{y}\sqrt{1-\left(\frac{\alpha y}{\beta} \right )^2} \\\therefore\frac{dy}{y\sqrt{1-\alpha^2y^2}}=d\lambda\;\;\;\cdots\;\beta\text{ is considered }1


베타는 어차피 중요한 상수가 아니라서 그냥 1로 두었습니다. 나중에 끌고가 보시면 알겠지만 베타는 속도에 해당합니다. 그리고 마지막 적분은 매우 유명(?)한 적분입니다. 저런 꼴은 일단 삼각함수로 치환하고 생각합니다.


y\equiv\frac{\sin\chi}{\alpha} \\\frac{d\chi}{\sin\chi}=d\lambda\;\;\cdots\;\;\lambda=\ln\left(\frac{\sin\chi}{1+\cos\chi} \right ) \\\therefore e^\lambda=\frac{\alpha y}{1+\sqrt{1-\alpha^2y^2}}\;\;\cdots\;\;e^\lambda\sqrt{1-\alpha^2y^2}=\alpha y-e^\lambda \\\therefore y=\frac1\alpha\;\text{sech }\lambda


참 쉽죠?(...) 마지막 줄은 그냥 전 줄을 제곱한 뒤 슥슥 그어주면 얻습니다. y를 구했으니 이번엔 x를 구할 차례로군요.


x'=\alpha y^2=\frac1\alpha\;\text{sech}^2\;\lambda\;\;\cdots\;\;x=x_0+\frac1\alpha\;\text{tanh}\;\lambda \\\therefore (x-x_0)^2+y^2=\frac{1}{\alpha^2}


위를 종합하면 geodesic은 원으로 그려지게 됩니다. 물론 '우리 눈으로 보기에 원'이지, 실제 원은 아니지요. 원은 '한 점으로부터 등거리에 있는 점의 집합'이니까요.




이제 미분방정식을 푸는 쉬운 방법을 알려드리죠. 아까 구한 관계식을 이번에는 속도의 크기에 넣어줍니다.


\frac{1}{y^2}\left(x'^2+y'^2 \right )=\frac{1}{y^2}\left(\alpha^2y^4+y'^2 \right )=1 \\\therefore y'^2=y^2(1-\alpha^2y^2)\;\;\cdots\;\;y'=y\sqrt{1-\alpha^2y^2}


어라(...) 힘들게 z로 치환해가며 구했던 미분방정식을 얻었습니다. 실제로 이 식을 미분해서 정리하면 사용하지 않은 geodesic equation으로 정리되는 것을 알 수 있습니다.




geodesic을 구했으니 남은건 '임의의 두 점 사이의 거리'같은 것이 있겠지만 그런거나 하자고(...) 이 글을 쓰고 있는 것은 아니죠. 다음 글을 쓰게 된다면 그 때는 푸앙카레 반평면을 비틀어 보도록 하겠습니다. 일종의 반-푸앙카레 반평면(Anti-Poincare Half Plane) 혹은 민코프스키 푸앙카레 반평면(Minkowskian Poincare Half Plane)이라고 할 수 있죠.


ds^2=\frac{1}{z^2}(-dt^2+dz^2)


이런 metric을 생각한 이유는 de Sitter 공간과 Anti-de Sitter 공간을 단순화하면 이런 꼴의 metric으로 쓸 수 있기 때문이었죠. 혹시 시간이 되시는 분들은 괜찮은 일반상대론 책에서 conformal transformation을 찾아본 뒤 다음 metric의 scalar curvature를 계산해보세요. 모든 공간에서 상수가 나옵니다.


\\ds^2=\frac{1}{t^2}(-dt^2+dx^2+dy^2+dz^2)\;\;\cdots\text{de Sitter} \\ \\ds^2=\frac{1}{z^2}(-dt^2+dx^2+dy^2+dz^2)\;\;\cdots\text{Anti-de Sitter}


그러면 다음 시간에(그런게 있다면)...

  1. 제가 처음 푼 방법인데 지금 이 풀이를 보면 정신이 아득하네요. 내가 이렇게 머리가 쌩쌩 돌아갔던가... [본문으로]
Posted by 덱스터
이전버튼 1 이전버튼

블로그 이미지
A theorist takes on the world
덱스터
Yesterday
Today
Total

달력

 « |  » 2024.3
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31

최근에 올라온 글

최근에 달린 댓글

글 보관함