Vật lý toán
Cơ học thiên thể: bài toán hai vật và ba vật
Cách định luật hấp dẫn Newton đưa chuyển động của hai vật quay quanh nhau về một quỹ đạo conic duy nhất, vì sao hành tinh quét diện tích bằng nhau trong thời gian bằng nhau, và vì sao thêm vật thứ ba phá vỡ bức tranh gọn gàng đó, mở ra hỗn loạn.
Trực giácHai vật rơi quanh nhau
Thả một quả bóng, nó rơi thẳng xuống. Ném nó theo phương ngang đủ nhanh, nó vẫn rơi — nhưng mặt đất cong đi bên dưới đúng bằng tốc độ đó, nên nó không bao giờ chạm đất. Đó chính xác là điều Mặt Trăng làm quanh Trái Đất, và Trái Đất làm quanh Mặt Trời: một cú rơi liên tục dưới tác dụng của hấp dẫn, kết hợp chuyển động ngang đủ nhanh để luôn hụt vật trung tâm. Cơ học thiên thể là toán học mô tả chính xác cách các vật rơi quanh nhau như vậy, từ một hành tinh quanh một ngôi sao cho tới một tàu vũ trụ len lỏi qua nhiều thế giới chỉ nhờ lực hấp dẫn.
Phổ thôngĐiều Kepler đã quan sát được
Dựa trên hàng chục năm dữ liệu quan sát hành tinh bằng mắt thường của Tycho Brahe và không hề dùng giải tích, Johannes Kepler công bố ba quy luật thuần túy thực nghiệm khoảng năm 1609–1619: (1) hành tinh chuyển động trên elip với Mặt Trời ở một tiêu điểm, không phải ở tâm; (2) đoạn thẳng nối Mặt Trời và hành tinh quét những diện tích bằng nhau trong những khoảng thời gian bằng nhau, nên hành tinh chuyển động nhanh nhất khi gần Mặt Trời và chậm nhất khi xa; (3) bình phương chu kỳ quỹ đạo của hành tinh tỉ lệ với lập phương bán trục lớn của quỹ đạo. Kepler không có lời giải thích vì sao — điều đó phải chờ gần bảy mươi năm sau, tới định luật hấp dẫn và giải tích của Newton. Phần còn lại của bài này sẽ chứng minh cả ba định luật, và hơn thế, chỉ từ một định luật nghịch đảo bình phương duy nhất đó.
Đại họcĐưa hai vật về một vật
Định nghĩa: Khối lượng rút gọn và vị trí tương đối
Với hai chất điểm khối lượng , chỉ hút nhau bằng hấp dẫn, gọi là vectơ từ vật 2 tới vật 1, là tổng khối lượng, và là khối lượng rút gọn. Trong hệ quy chiếu khối tâm, bài toán hai vật thật sự tương đương chính xác với một hạt hư cấu duy nhất khối lượng chuyển động trong trường nghịch đảo bình phương cố định sinh bởi khối lượng đặt tại gốc — vectơ tương đối vẽ nên quỹ đạo của hạt hư cấu này, còn vị trí thật được khôi phục từ bằng phép co giãn theo tỉ lệ khối lượng đơn giản.
Ở đây là hằng số hấp dẫn Newton, , là vectơ tách rời tương đối và là khoảng cách giữa hai vật. Chú ý khối lượng rút gọn đã hoàn toàn triệt tiêu khỏi phương trình này: mọi vật rơi tự do, nhẹ hay nặng, đều theo cùng một quỹ đạo tương đối với cùng điều kiện đầu — hệ quả trực tiếp của quan sát của Galileo rằng mọi vật rơi với cùng tốc độ.
Vectơ là mômen động lượng riêng (mômen động lượng trên một đơn vị khối lượng rút gọn). Vì hấp dẫn là lực xuyên tâm — luôn hướng dọc theo — nên nó không sinh mômen lực quanh gốc tọa độ, khiến trở thành ứng viên tự nhiên cho một đại lượng bảo toàn. Định lý 1 dưới đây sẽ chứng minh chặt chẽ điều đó, và chỉ riêng sự thật ấy buộc quỹ đạo phải nằm trong một mặt phẳng cố định và quét diện tích với tốc độ không đổi.
Nâng caoHình dạng quỹ đạo: phương trình Binet và các thiết diện conic
Để tìm hình dạng quỹ đạo, làm việc trong mặt phẳng quỹ đạo với tọa độ cực và đặt . Dùng (từ ), quy tắc dây chuyền cho , và đạo hàm thêm lần nữa, .
Thay và vào phương trình chuyển động hướng kính rồi chia cho cho đúng phương trình quỹ đạo Binet ở trên — một phương trình vi phân tuyến tính hệ số hằng cho . Nghiệm tổng quát là ; chọn (hướng cận điểm) và viết hằng số tích phân là cho — phương trình cực của một thiết diện conic với khối lượng hút nằm tại một tiêu điểm, không phải tâm. Tùy : cho elip (quỹ đạo bị chặn, là đường tròn), cho parabol, và cho hyperbol.
| Độ lệch tâm | Loại quỹ đạo | Năng lượng riêng | Ví dụ |
|---|---|---|---|
| Elip (đường tròn nếu ) | Âm (bị chặn) | Trái Đất quanh Mặt Trời, | |
| Parabol | Bằng không | Sao chổi chu kỳ dài cận biên | |
| Hyperbol | Dương (không bị chặn) | Vật thể liên sao ʻOumuamua |
Phương trình quỹ đạo cho biết hình dạng, nhưng riêng năng lượng và mômen động lượng chưa rõ ràng cố định hướng của cận điểm. Điều đáng kinh ngạc là hấp dẫn Newton còn giấu thêm một vectơ bảo toàn nữa: vectơ Laplace–Runge–Lenz , với . Định lý 3 dưới đây chứng minh không đổi và cho , hướng từ tiêu điểm thẳng tới cận điểm — một đối xứng "ẩn" chỉ riêng có ở lực nghịch đảo bình phương (chỉ chia sẻ với dao động điều hòa trong các lực xuyên tâm), phản ánh một đối xứng quay bốn chiều tiềm ẩn của bài toán Kepler.
Đại họcChứng minh ba kết quả cổ điển
Dưới tác dụng của bất kỳ lực xuyên tâm nào (lực luôn hướng dọc theo ), vectơ bán kính từ tâm lực tới vật chuyển động quét diện tích với tốc độ không đổi .
Vì sao đúng?
Đây là định luật hai của Kepler, và chứng minh dưới đây cho thấy nó không liên quan gì riêng tới dạng nghịch đảo bình phương của hấp dẫn — nó chỉ đến từ việc lực là xuyên tâm (song song với vectơ vị trí), nên áp dụng như nhau cho bất kỳ lực xuyên tâm nào, dù có phải hấp dẫn hay không.
Chứng minh
Định nghĩa . Đạo hàm, (số hạng đầu triệt tiêu vì một vectơ nhân có hướng với chính nó luôn bằng không). Với lực xuyên tâm, song song với — viết với hàm vô hướng nào đó — nên luôn. Vậy : là một vectơ cố định, không đổi cả về độ lớn lẫn hướng.
Vì có hướng cố định và luôn vuông góc với , vectơ vị trí mãi mãi bị giới hạn trong một mặt phẳng cố định duy nhất vuông góc với — chuyển động là phẳng. Thiết lập tọa độ cực trong mặt phẳng đó. Viết và , tích có hướng cho , nên đại lượng vô hướng tự nó không đổi.
Trong thời gian , vectơ bán kính quét một hình quạt mỏng gần như tam giác có diện tích (đáy , chiều cao , hệ số của tam giác). Chia cho cho đúng . Vì không đổi, tốc độ quét diện tích không đổi theo thời gian — diện tích bằng nhau được quét trong thời gian bằng nhau, chứng minh xong định luật hai Kepler.
Với quỹ đạo bị chặn (elip) có bán trục lớn quanh tổng khối lượng , chu kỳ quỹ đạo thỏa mãn .
Vì sao đúng?
Điều này liên hệ trực tiếp kích thước quỹ đạo với thời gian hoàn thành nó, không phụ thuộc vào độ lệch tâm — sự thật được dùng mỗi khi nhà thiên văn cân một ngôi sao hay hành tinh bằng cách đo thời gian quỹ đạo của một vật nhỏ hơn quanh nó.
Chứng minh
Theo Định lý 1, tốc độ quét diện tích không đổi, nên lấy tích phân trên một chu kỳ đầy đủ cho tổng diện tích bao quanh . Với elip bán trục lớn và bán trục nhỏ , hình học cho . Cân bằng hai biểu thức: .
Tiếp theo, liên hệ với hình dạng qua phương trình Binet: bán trực thông của quỹ đạo là , và với elip có các hệ thức chuẩn và . Kết hợp với cho , nên .
Thay biểu thức này của vào và giải ra : . Bình phương hai vế cho , chính là định luật ba Kepler — và đúng với mọi elip bất kể , vì đã triệt tiêu hoàn toàn.
Vectơ không đổi theo thời gian với chuyển động dưới lực nghịch đảo bình phương , có độ lớn , và hướng từ tiêu điểm tới cận điểm.
Vì sao đúng?
Riêng năng lượng và mômen động lượng cố định kích thước và hình dạng của quỹ đạo Kepler nhưng không cố định hướng của nó trong mặt phẳng; vectơ Laplace–Runge–Lenz là đại lượng bảo toàn thêm giúp ghim vị trí cận điểm, và chính sự tồn tại của nó là đặc thù riêng của lực — hầu hết lực xuyên tâm khác không có vectơ như vậy, và đó chính là lý do vì sao hầu hết quỹ đạo dưới lực xuyên tâm (như trong bài toán ba vật hạn chế dưới đây) không nằm cố định trên một đường cong khép kín.
Chứng minh
Đạo hàm: . Vì không đổi (Định lý 1), số hạng giữa triệt tiêu. Dùng và , đồng nhất thức tích ba vectơ cho , với là tốc độ thay đổi vô hướng của khoảng cách (đã dùng ).
Mặt khác, đạo hàm trực tiếp cho — đúng bằng biểu thức trong ngoặc tìm được cho ở trên. Vậy một cách đồng nhất.
Do đó , chứng minh không đổi. Tính tại cận điểm, nơi hoàn toàn tiếp tuyến (vuông góc ) với tốc độ , cho hướng dọc với độ lớn , nên ; dùng từ phương trình quỹ đạo cho , xác nhận hướng đúng về cận điểm.
Nâng caoVượt ra ngoài hai vật: bài toán ba vật hạn chế
Thêm một vật thứ ba khối lượng không đáng kể (tàu vũ trụ, tiểu hành tinh) chuyển động dưới hấp dẫn của hai khối lượng lớn quay quanh nhau theo quỹ đạo tròn. Trong hệ quy chiếu quay cùng hai khối lượng lớn với tốc độ góc quỹ đạo , chuyển động của vật nhỏ chịu chi phối bởi hấp dẫn cộng với lực ly tâm và lực Coriolis hư cấu của hệ quay, kết hợp thành thế hiệu dụng dưới đây.
Định nghĩa: Năm điểm Lagrange
Năm điểm nơi lực hiệu dụng (gradient của , kể cả số hạng Coriolis cho vật đứng yên trong hệ quay) triệt tiêu là các điểm Lagrange. nằm giữa hai khối lượng; nằm ngay ngoài khối lượng nhỏ hơn, phía xa ; nằm phía đối diện của so với . Với (ví dụ Trái Đất quanh Mặt Trời), cả và đều cách khối lượng nhỏ hơn xấp xỉ , với là khoảng cách quỹ đạo. và tạo thành tam giác đều với và , dẫn trước và theo sau khối lượng nhỏ .
, , luôn bất ổn định về động lực (điểm yên ngựa của ) — một vật đặt ở đó sẽ trôi đi nếu không giữ vị trí. và , dù là điểm yên ngựa của chính , trở nên thực sự ổn định khi tính cả lực Coriolis, miễn là tỉ lệ khối lượng thỏa tiêu chuẩn Routh . Hệ Mặt Trời–Sao Mộc thỏa mãn thoải mái điều này, đó là lý do vì sao hàng nghìn tiểu hành tinh Trojan bị khóa tại các điểm và của Sao Mộc, được phát hiện từ năm 1906 — hơn một thế kỷ sau khi Lagrange tiên đoán sự tồn tại của chúng bằng toán học.
Khác với bài toán hai vật, bài toán ba vật tổng quát không có nghiệm dạng đóng tương tự. Ngoài mười đại lượng bảo toàn cổ điển (năng lượng, ba thành phần mỗi loại của động lượng tuyến tính và mômen động lượng, và chuyển động đều của khối tâm), Henri Poincaré đã chứng minh trong bản ghi nhớ giành giải thưởng năm 1890 cho vua Oscar II của Thụy Điển rằng nói chung không tồn tại thêm tích phân giải tích đơn trị nào của chuyển động — những định luật bảo toàn "ẩn" thêm khiến bài toán hai vật giải được chính xác (như vectơ Laplace–Runge–Lenz ở trên) đơn giản là không còn khi thêm vật thứ ba. Khi đó quỹ đạo có thể phụ thuộc nhạy đến mức dự đoán dài hạn trở nên gần như bất khả thi trên thực tế, dù các phương trình nền tảng hoàn toàn tất định. Khám phá này, sinh ra từ nỗ lực của Poincaré nhằm giải quyết tính ổn định của hệ Mặt Trời, thường được xem là sự ra đời của lý thuyết hỗn loạn.
Đại họcỨng dụng thực tiễn và Ví dụ minh họa
Các kỹ sư nhiệm vụ điều khiển tàu vũ trụ thật bằng cách ghép chính xác các khối hai vật đã chứng minh ở trên. Chuyển giao Hohmann dùng kết quả hình dạng quỹ đạo ở định lý 3 để chọn elip chuyển giao rẻ nhất giữa hai quỹ đạo tròn. Một kính viễn vọng đậu tại điểm Lagrange dùng lý thuyết trên để nằm yên (trong một vòng "halo" nhỏ) gần như không tốn nhiên liệu. Một cú bay ngang trợ lực hấp dẫn khai thác sự thật rằng, nhìn từ hệ quy chiếu của chính hành tinh bay ngang, cuộc chạm trán chỉ là một sự kiện tán xạ hai vật đàn hồi — chỉ có việc đổi hệ quy chiếu mới làm thay đổi năng lượng của tàu.
Ví dụ: Chuyển giao Hohmann tới Sao Hỏa
Quỹ đạo Trái Đất có và Sao Hỏa có (cả hai gần tròn và đồng phẳng). Dùng (định luật ba Kepler với khối lượng Mặt Trời gộp vào đơn vị), tìm thời gian chuyển giao một chiều của quỹ đạo chuyển giao Hohmann từ Trái Đất tới Sao Hỏa.
Lời giải
Elip chuyển giao phải tiếp xúc cả hai quỹ đạo tròn, nên bán trục lớn của nó là (quỹ đạo Trái Đất ở cận điểm của chuyển giao, quỹ đạo Sao Hỏa ở viễn điểm).
Áp dụng cho quỹ đạo chuyển giao: chu kỳ đầy đủ của nó là .
Chuyến đi một chiều chỉ là nửa elip này, từ cận điểm tới viễn điểm, nên thời gian chuyển giao là ngày — gần đúng đáng kể với thời gian bay khoảng 7 tới 9 tháng mà các sứ mệnh Sao Hỏa thật sự dùng, vốn bay gần quỹ đạo Hohmann năng lượng tối thiểu này.
Ví dụ: Bay ngang trợ lực hấp dẫn qua Sao Mộc
Một tàu vũ trụ bay ngang qua Sao Mộc (tốc độ quỹ đạo nhật tâm ) trên quỹ đạo phía sau mà, trong giới hạn lý tưởng góc lệch rất lớn, được xấp xỉ tốt bởi một cú "nảy" đàn hồi khỏi hành tinh: . Nếu tàu đến với tốc độ nhật tâm cùng hướng chuyển động của Sao Mộc, tìm tốc độ rời đi và giải thích năng lượng thêm đến từ đâu.
Lời giải
Trong hệ quy chiếu đứng yên (gần quán tính) của chính Sao Mộc, cuộc chạm trán của tàu với hấp dẫn hành tinh là một sự kiện tán xạ lực xuyên tâm thuần túy: theo bảo toàn năng lượng trong hệ đó, tốc độ của tàu so với Sao Mộc là như nhau rất lâu trước và rất lâu sau cú bay ngang, chỉ hướng của nó thay đổi theo một góc lệch nào đó. Trong hình học lý tưởng phía sau với độ lệch tối đa, vận tốc tương đối đó đảo ngược hướng hoàn toàn.
Chuyển ngược lại hệ Mặt Trời bằng cách cộng vận tốc Sao Mộc biến sự đảo ngược hoàn toàn của vận tốc tương đối thành , đúng bằng công thức đã cho. Thay số: , tăng .
Năng lượng này không sinh ra từ hư không: trong hệ Mặt Trời, tốc độ quỹ đạo của chính Sao Mộc giảm đi một lượng nhỏ không thể nhận thấy (Sao Mộc nặng gấp khoảng lần một tàu vũ trụ, nên bảo toàn động lượng chia đều sự trao đổi nhưng thay đổi vận tốc phía Sao Mộc là hoàn toàn không đáng kể) — tàu vũ trụ thực chất đã "mượn" một mẩu nhỏ động năng quỹ đạo khổng lồ của Sao Mộc. Cú bay ngang thật không bao giờ đạt độ đảo ngược lý tưởng đầy đủ, nên mức tăng thực tế chỉ là một phần của mức tối đa này, và một cú bay ngang phía trước (đến trước hành tinh thay vì sau) tạo hiệu ứng ngược lại chính xác, làm chậm tàu vũ trụ.
Với elip bán trục lớn và độ lệch tâm , khối lượng hút đặt tại tiêu điểm, khoảng cách cận điểm (gần nhất) là bao nhiêu?
Một tiểu hành tinh quay quanh Mặt Trời với bán trục lớn . Dùng , chu kỳ quỹ đạo của nó gần nhất với:
Cặp điểm Lagrange nào có thể ổn định tuyến tính (giữ được vật như tiểu hành tinh Trojan của Sao Mộc) khi tỉ lệ khối lượng thỏa tiêu chuẩn Routh ?
Vì sao Kính viễn vọng James Webb được đặt trong quỹ đạo halo quanh điểm Mặt Trời–Trái Đất thay vì quay quanh Trái Đất trực tiếp như Hubble?
Tài liệu tham khảo
- Carl D. Murray, Stanley F. Dermott (1999). Solar System Dynamics
- Alain Chenciner, Richard Montgomery (2000). A remarkable periodic solution of the three-body problem in the case of equal masses
- NASA Science (2024). Webb's Orbit at Sun-Earth Lagrange Point 2 (L2)
- NASA Science (2024). Basics of Spaceflight: A Gravity Assist Primer