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

Phương trình Friedmann thứ nhất

Phát biểu

Với một vũ trụ đồng nhất, đẳng hướng có mật độ khối lượng-năng lượng ρ(t)\rho(t), hằng số vũ trụ học Λ\Lambda, và chỉ số độ cong không gian k∈{−1,0,+1}k\in\{-1,0,+1\}, thừa số tỉ lệ tuân theo H2=(a˙a)2=8πG3ρ−kc2a2+Λc23H^{2} = \left(\dfrac{\dot a}{a}\right)^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}} + \dfrac{\Lambda c^{2}}{3}.

Vì sao đúng?

Suy diễn đầy đủ thay mêtric Friedmann–Lemaître–Robertson–Walker vào phương trình trường Einstein, nhưng một lập luận Newton đáng kinh ngạc (Milne & McCrea, 1934) tái tạo đúng cùng phương trình đó (đặt Λ=0\Lambda=0): coi một thiên hà thử trên mặt một quả cầu vật chất đồng chuyển động đang giãn nở như một vật phóng thông thường trong trường hấp dẫn của mọi thứ nằm bên trong nó, rồi áp dụng bảo toàn năng lượng. Hấp dẫn bên ngoài một quả cầu đồng nhất hoạt động như thể toàn bộ khối lượng của nó tập trung tại tâm (định lý vỏ cầu Newton), nên chỉ khối lượng bên trong mới quan trọng — khớp với cách thuyết tương đối rộng chỉ cho phép khối lượng-năng lượng nằm bên trong cục bộ làm cong không-thời gian tại một điểm trong vũ trụ đồng nhất.

Phác thảo chứng minh

Cố định một thiên hà thử đồng chuyển động tại bán kính đồng chuyển động r0r_0 từ một gốc tùy ý, nên khoảng cách vật lý của nó là R(t)=a(t)r0R(t)=a(t)r_0 và vận tốc vật lý là R˙=a˙ r0\dot R = \dot a\, r_0. Theo định lý vỏ cầu Newton, lực hấp dẫn nó cảm nhận chỉ đến từ khối lượng MM nằm trong bán kính RR, và vì không có vật chất đồng chuyển động nào vượt qua mặt cầu đồng chuyển động bán kính r0r_0 khi vũ trụ giãn nở, M=43π(ar0)3ρM = \dfrac{4}{3}\pi (a r_{0})^{3}\rho không đổi theo thời gian (đối với vật chất không áp suất). Coi thiên hà thử, khối lượng mm, như một vật phóng: tổng năng lượng cơ học của nó 12a˙2r02−GMmar0=E\dfrac12 \dot a^{2} r_{0}^{2} - \dfrac{GM m}{a r_{0}} = E được bảo toàn.

Thay MM: 12a˙2r02−Gmar0⋅43π(ar0)3ρ=E\dfrac12 \dot a^2 r_0^2 - \dfrac{G m}{a r_0}\cdot\dfrac{4}{3}\pi (ar_0)^3\rho = E, rút gọn thành 12a˙2r02−43πGmρ a2r02=E\dfrac12\dot a^2 r_0^2 - \dfrac{4}{3}\pi G m \rho\, a^2 r_0^2 = E. Chia cả hai vế cho 12ma2r02\tfrac12 m a^2 r_0^2: (a˙a)2−8πG3ρ=2Ema2r02\left(\dfrac{\dot a}{a}\right)^2 - \dfrac{8\pi G}{3}\rho = \dfrac{2E}{m a^2 r_0^2}.

Vế phải phải độc lập với bán kính tùy ý r0r_0 đã chọn (phương trình phải đúng với mọi quan sát viên đồng chuyển động, và bản thân a(t)a(t) không phụ thuộc r0r_0), nên 2Emr02\dfrac{2E}{mr_0^2} là một hằng số của quỹ đạo thiên hà thử chỉ có thể phụ thuộc cấu trúc tọa độ đồng chuyển động cố định — định nghĩa hằng số này bằng 2Emr02≡−kc2\dfrac{2E}{m r_{0}^{2}} \equiv -kc^{2}, cho H2=8πG3ρ−kc2a2H^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}}. Một lập luận nhiệt động lực học riêng (coi hằng số vũ trụ học như một chất lưu có mật độ năng lượng không đổi ρΛ=Λc2/(8πG)\rho_\Lambda = \Lambda c^2/(8\pi G) rồi thay vào cùng công thức này) khôi phục số hạng Λc2/3\Lambda c^2/3, cho đúng H2=(a˙a)2=8πG3ρ−kc2a2+Λc23H^{2} = \left(\dfrac{\dot a}{a}\right)^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}} + \dfrac{\Lambda c^{2}}{3} — và điều đáng kinh ngạc là phép tính tương đối rộng đầy đủ từ phương trình trường Einstein cho ra đúng phương trình này, với kk giờ được xác định đúng là dấu độ cong không gian thực sự thay vì chỉ là một hằng số tích phân.

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. John A. Peacock (1999). Cosmological Physics
  2. Scott Dodelson, Fabian Schmidt (2020). Modern Cosmology
  3. DESI Collaboration (2024). DESI 2024 VI: cosmological constraints from the measurements of baryon acoustic oscillations
  4. NASA/JPL Cosmology Group (2024). Hubble Tension