MathLabs
Định lýĐã chứng minh

Công thức độ lệch ánh sáng của Einstein

Phát biểu

Một tia sáng đi qua khối lượng MM với thông số va chạm b≫rsb\gg r_s (điểm gần nhất nằm xa ngoài chân trời) bị lệch, ở bậc thấp nhất, một góc Δϕ=4GMc2b\Delta\phi = \dfrac{4GM}{c^2 b} — đúng bằng hai lần giá trị Newton 2GM/(c2b)2GM/(c^2b) mà một phép tính hạt ánh sáng ngây thơ sẽ dự đoán.

Vì sao đúng?

Hấp dẫn Newton, coi như một lực tác lên hạt chuyển động nhanh, dự đoán có độ lệch, nhưng nó chỉ tính đến độ cong của thời gian (đồng hồ chạy chậm gần khối lượng). Thuyết tương đối rộng thêm vào một đóng góp bằng nhau từ độ cong của không gian (thước co lại theo hướng xuyên tâm gần khối lượng), và hai hiệu ứng cộng lại, làm gấp đôi độ lệch — chính hệ số này đã giúp đoàn thám hiểm nhật thực năm 1919 phân biệt thuyết Einstein với thuyết Newton.

Phác thảo chứng minh

Bước 1 (phương trình quỹ đạo cho ánh sáng). Với một trắc địa null nằm trong mặt phẳng xích đạo, cùng các đại lượng bảo toàn E=(1−rs/r)c2t˙E=(1-r_s/r)c^2\dot t và L=r2ϕ˙L=r^2\dot\phi dùng cho mặt cầu photon, thay vào gμνx˙μx˙ν=0g_{\mu\nu}\dot x^\mu\dot x^\nu=0 và chuyển từ đạo hàm theo τ\tau sang đạo hàm theo ϕ\phi của u≡1/ru\equiv1/r (dùng r˙=−L du/dϕ\dot r = -L\,du/d\phi), sau khi lấy đạo hàm thêm một lần cho ta phương trình quỹ đạo bẻ cong ánh sáng chuẩn d2udϕ2+u=3rs2u2,u≡1r\frac{d^2u}{d\phi^2}+u = \frac{3r_s}{2}u^2, \qquad u\equiv\frac1r

Bước 2 (bậc không: đường thẳng). Bỏ vế phải (đặt rs=0r_s=0, không-thời gian phẳng) cho u0′′+u0=0u_0''+u_0=0, nghiệm đi qua khoảng cách gần nhất bb tại ϕ=π/2\phi=\pi/2 là đường thẳng u0(ϕ)=sin⁡ϕbu_0(\phi) = \frac{\sin\phi}{b} — quỹ đạo không bị lệch dưới dạng tọa độ cực.

Bước 3 (nhiễu loạn bậc một). Viết u=u0+rsu1u=u_0+r_s u_1 và thay vào phương trình Bước 1, chỉ giữ số hạng tuyến tính theo rsr_s; phần u0′′+u0=0u_0''+u_0=0 triệt tiêu và còn lại là một dao động điều hòa cưỡng bức cho u1u_1: u1′′+u1=32b2sin⁡2ϕu_1''+u_1 = \frac{3}{2b^2}\sin^2\phi Một nghiệm riêng khớp với độ lệch đối xứng mong đợi ở hai bên điểm gần nhất là u1(ϕ)=12b2(1+cos⁡2ϕ)u_1(\phi) = \frac{1}{2b^2}\left(1+\cos^2\phi\right) nên quỹ đạo đầy đủ bậc một là u(ϕ)=sin⁡ϕb+rs2b2(1+cos⁡2ϕ)u(\phi) = \frac{\sin\phi}{b} + \frac{r_s}{2b^2}\left(1+\cos^2\phi\right)

Bước 4 (trích ra tổng góc lệch). Không gian phẳng có u→0u\to0 đúng tại ϕ=0\phi=0 và ϕ=π\phi=\pi; với số hạng sửa rsr_s, u→0u\to0 tại ϕ=−δ1\phi=-\delta_1 và ϕ=π+δ2\phi=\pi+\delta_2 với δ1,δ2\delta_1,\delta_2 nhỏ. Khai triển u(−δ1)=0u(-\delta_1)=0 đến bậc một theo δ1\delta_1 và rsr_s cho −δ1/b+rs/b2=0-\delta_1/b+r_s/b^2=0, nên δ1=rs/b\delta_1=r_s/b; tính tương tự ở đầu kia cho δ2=rs/b\delta_2=r_s/b. Tổng góc mà tiệm cận đi ra lệch khỏi song song ngược hướng hoàn toàn với tiệm cận đi vào là Δϕ=δ1+δ2=2rsb=4GMc2b\Delta\phi = \delta_1+\delta_2 = \frac{2r_s}{b} = \frac{4GM}{c^2 b} mà, khi thay lại rs=2GM/c2r_s=2GM/c^2, chính là công thức cần chứng minh.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Charles W. Misner, Kip S. Thorne, John Archibald Wheeler (1973). Gravitation
  2. Roger Penrose (1965). Gravitational Collapse and Space-Time Singularities · DOI:10.1103/PhysRevLett.14.57
  3. B. P. Abbott et al. (LIGO Scientific Collaboration and Virgo Collaboration) (2016). Observation of Gravitational Waves from a Binary Black Hole Merger · DOI:10.1103/PhysRevLett.116.061102
  4. Event Horizon Telescope Collaboration (2022). First Sagittarius A* Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole in the Center of the Milky Way · DOI:10.3847/2041-8213/ac6674
  5. Sergiu Klainerman, Jérémie Szeftel (2021). Kerr stability for small angular momentum · arXiv:2104.11857 [preprint, chưa bình duyệt]
  6. Geoffrey Penington (2019). Entanglement Wedge Reconstruction and the Information Paradox · arXiv:1905.08255 [preprint, chưa bình duyệt]