Mái Vòm Norton: Lỗ Hổng Toán Học Phá Vỡ "Vũ Trụ Tất Định" Của Newton
Nếu bạn hỏi một nhà vật lý học của thế kỷ 19 rằng vũ trụ hoạt động như thế nào, họ sẽ nói với bạn rằng nó giống như một cỗ máy đồng hồ khổng lồ.
$$ F=ma $$sẽ cho phép chúng ta tính toán chính xác tương lai của toàn bộ vũ trụ. Có nguyên nhân thì ắt có kết quả. Mọi thứ đều có thể dự đoán được.
Năm 2003, nhà triết học khoa học John D. Norton đưa ra thí nghiệm tưởng tượng Mái vòm Norton (Norton’s Dome). Ví dụ này cho thấy phương trình chuyển động Newton có thể không cho nghiệm duy nhất nếu trường lực không thỏa điều kiện chính quy cần thiết, cụ thể là điều kiện Lipschitz cục bộ tại đỉnh mái vòm.
Hãy cùng bước vào thế giới kỳ lạ này, nơi Toán học và Vật lý bắt đầu “cãi nhau”.
1. Bản thiết kế của sự bất tuân
Hãy tưởng tượng một hệ thống vật lý hoàn hảo, không có ma sát, không có lực cản không khí. Ở đó, ta có một mái vòm với hình dạng trơn nhẵn. Tuy nhiên, nó không phải là hình bán cầu thông thường.
Mái vòm có một biên dạng được chọn riêng cho ví dụ. Lấy đỉnh mái vòm làm mốc, gọi $r$ là độ dài cung trượt dọc theo bề mặt từ đỉnh xuống. Hình dáng được thiết kế sao cho gia tốc trọng trường dọc theo bề mặt tỷ lệ với căn bậc hai của $r$:
$$ a=\frac{d^2r}{dt^2}=\sqrt{r}. $$Bây giờ, hãy đặt một viên bi khối lượng điểm (point mass) nằm hoàn toàn đứng yên ngay tại đỉnh chính xác của mái vòm, tức là tại $r=0$.
Theo trực giác vật lý thông thường: ở ngay đỉnh, bề mặt hoàn toàn phẳng ngang. Trọng lực hướng thẳng đứng xuống dưới bị phản lực của bề mặt triệt tiêu hoàn toàn. Tổng lực tác dụng lên viên bi bằng $0$.
Kết luận tự nhiên nhất là gì? Viên bi sẽ nằm yên ở đó mãi mãi. Không có lực đẩy, nó không thể tự di chuyển.
$$ F=0 \Rightarrow a=0. $$2. Khi phương trình vi phân “nổi loạn”
Mọi chuyện tưởng chừng như đã ngã ngũ cho đến khi ta giải phương trình vi phân bậc hai mô tả hệ thống này:
$$ \frac{d^2r}{dt^2}=\sqrt{r}. $$$$ r(0)=0,\qquad r'(0)=0, $$lại mang đến một cú sốc. Nó không chỉ có một nghiệm.
- Nghiệm thứ nhất: $r(t)=0$ với mọi $t$. Quả bóng nằm im mãi mãi. Đây là kết quả mà trực giác của ta mong đợi.
- Nghiệm thứ hai: quả bóng sẽ nằm im tại đỉnh trong một khoảng thời gian $T$ bất kỳ, rồi đột ngột tự lăn xuống bề mặt. Với mọi $t\ge T$, vị trí của nó được mô tả bởi $$ r(t)=\frac{1}{144}(t-T)^4. $$
Điểm bất thường là cùng một điều kiện ban đầu lại cho nhiều nghiệm.
Toán học nói rằng viên bi có thể nằm im trong 10 giây, 1 ngày, hoặc 1 triệu năm, rồi đột ngột tự lăn xuống mà không cần bất kỳ một nhiễu loạn hay lực đẩy nào từ bên ngoài. Không có gì trong các điều kiện ban đầu có thể dự đoán được giá trị của thời điểm $T$.
Nguyên nhân ở đâu? Không có. Kết quả có dự đoán được không? Không.
Vì vậy, riêng phương trình Newton chưa đủ để bảo đảm tính duy nhất; kết luận còn cần các giả thiết chính quy về trường lực.
3. Lời giải mã: ranh giới của điều kiện Lipschitz
Tại sao Toán học lại phản bội Vật lý trong trường hợp này? Lời giải thích nằm ở một khái niệm nền tảng của lý thuyết phương trình vi phân thường: điều kiện Lipschitz.
Định lý Picard-Lindelöf đảm bảo rằng một hệ cơ học sẽ có tính quyết định, tức phương trình có nghiệm duy nhất, nếu hàm lực tác dụng thỏa mãn điều kiện Lipschitz. Hiểu một cách nôm na, lực không được phép thay đổi “quá gắt” so với sự thay đổi của vị trí.
Hãy xem tốc độ thay đổi của gia tốc, và do đó là lực, theo vị trí trên mái vòm Norton:
$$ \frac{da}{dr}=\frac{d}{dr}(\sqrt{r})=\frac{1}{2\sqrt{r}}. $$Khi viên bi ở đỉnh, tức $r=0$, biểu thức này tiến tới vô cực. Lực thay đổi với tốc độ vô hạn ngay tại điểm xuất phát. Điều kiện Lipschitz bị phá vỡ hoàn toàn, dẫn đến việc phương trình mất đi tính duy nhất của nghiệm.
Đó là gốc rễ toán học của toàn bộ nghịch lý.
4. Trò bịp toán học hay nghịch lý vật lý?
Norton đã dùng chính luật chơi của Newton để đánh bại Newton. Ông lập luận rằng không có định luật cổ điển nào cấm một bề mặt có hình dạng như mái vòm Norton tồn tại, do đó, vật lý Newton có một lỗ hổng nội tại.
Tuy nhiên, hầu hết các nhà vật lý và toán học ứng dụng lại coi đây là một bệnh lý toán học (mathematical pathology) hơn là một thực tế vật lý.
4.1 Vấn đề vô cực
Mô hình đòi hỏi một trường lực không Lipschitz ngay tại đỉnh. Việc một bề mặt vật chất và trường lực thực có xấp xỉ được giả thiết này hay không là một vấn đề vật lý riêng.
4.2 Giới hạn của thế giới thực
Trong một thiết lập thực, dao động nhiệt, độ nhám vật liệu và sai số đặt vật cản trở việc chuẩn bị chính xác trạng thái lý tưởng “đứng yên tại một điểm”. Vì vậy, không nên đồng nhất ngay nghiệm toán học với một quỹ đạo có thể quan sát trong phòng thí nghiệm.
4.3 Tính thuận nghịch của thời gian
Cơ học Newton có tính đối xứng thời gian. Nếu bạn có thể bắn một viên bi từ dưới chân mái vòm lên, sao cho nó cạn kiệt động năng và dừng lại chính xác tại đỉnh ở thời điểm $T$, thì quá trình đảo ngược của nó, tức nằm im rồi lăn xuống, cũng phải là một nghiệm toán học hợp lệ.
Điểm cần lưu ý là nghiệm này không được thêm tùy ý: nó thỏa phương trình chuyển động đã cho. Tuy nhiên, nguyên nhân toán học trực tiếp của tính không duy nhất là vế phải không Lipschitz tại $r=0$; tính đối xứng thời gian chỉ cung cấp thêm một cách nhìn trực giác.
5. Điều Norton thực sự cho ta thấy
Giá trị của mái vòm Norton không nằm ở việc nó mô tả một thí nghiệm mà ta có thể dựng lên trong phòng lab ngày mai. Giá trị của nó nằm ở chỗ khác:
- nó chỉ ra rằng tính quyết định không tự động rơi ra từ phương trình Newton;
- muốn suy ra nghiệm duy nhất, ta cần các giả thiết chính quy bổ sung cho trường lực;
- khi các giả thiết ấy không thỏa, phương trình có thể không xác định một quỹ đạo duy nhất.
Nói cách khác, mái vòm Norton nêu một câu hỏi về quan hệ giữa phương trình và các giả thiết chính quy đi kèm:
liệu một định luật vật lý có còn đáng tin nếu mô hình toán học của nó cho phép nhiều tương lai cùng đúng từ một hiện tại duy nhất?
Lời kết
Mái vòm Norton là một mô hình lý tưởng hóa và khả năng hiện thực hóa vật lý của nó còn gây tranh luận. Giá trị của ví dụ nằm ở việc chỉ ra rằng phát biểu về tính tất định cần nêu cả phương trình lẫn các điều kiện chính quy bảo đảm nghiệm duy nhất.
Ví dụ này nhắc ta tách ba tầng phát biểu: phương trình, các giả thiết bảo đảm tồn tại–duy nhất, và mức độ mô hình hóa được hệ vật lý. Tính không duy nhất ở đây cho thấy giả thiết chính quy là thiết yếu cho kết luận, chứ không tự nó chứng minh rằng tự nhiên vi phạm tính nhân quả.