Üç cisim probleminin kapanan 3.942 yörüngesi tek atlasta
Üç cisim probleminin genel çözümü yok, ama kendini tekrarlayan özel yörüngeleri var. Yeni bir atlas bunlardan 3.942'sini tek yerde oynatıyor; sayıların ve o 'kararlı' etiketinin ne anlama geldiğine baktık.
Üç eşit kütle, boşlukta tek bir eğri üzerinde birbirini kovalıyor. Eğri sekiz rakamına benziyor; her cisim bu sekizde bir tur atıp başladığı noktaya, başladığı hızla geri dönüyor, sonra hareket aynen baştan tekrarlanıyor. Buna sekiz yörüngesi deniyor ve gökyüzünde bilinen bir örneği yok. O yalnızca Newton'un denklemlerinin içinde yaşıyor.
Bu ay yayına giren threebodyorbits.com, kapanıp kendini tekrarlayan bu tür hareketlerden 3.942 tanesini tek bir yerde oynatıyor. Site kendini bir atlas olarak tanıtıyor: her yörüngenin kendi sayfası var, birbirine benzeyen biçimler yan yana duruyor ve her yörünge hangi makalede bulunduysa o kaynağa bağlanmış.
Bunun neden kayda değer olduğunu görmek için üç cisim probleminin ne kadar inatçı olduğunu hatırlamak gerekiyor. İki gök cismi için hareketin formülü vardır; üçüncüyü eklediğiniz anda genel bir formül yoktur. Atlasın topladığı çözümler, kaotik bir denizin ortasındaki birkaç bin ada gibi: düzenin hâlâ mümkün olduğu, ama her birinin ayrı ayrı bulunması gereken noktalar.
İki cisim çözülür, üç cisim çözülmez
Terimi baştan netleştirelim: kapalı biçimli çözüm, cisimlerin konumunu zamana bağlı açık bir formülle veren ifade demek. Üç cisim probleminde böyle genel bir ifade yok. 1767'de Leonhard Euler üç cismin aynı doğru üzerinde dizildiği periyodik çözüm ailelerini, 1772'de Joseph Louis Lagrange da üçünün eşkenar üçgen kurduğu çözümleri buldu. Vikipedi'nin üç cisim problemi maddesine göre açık analitik formülü bilinen çözümler bugün hâlâ yalnız bunlar.
İşin nerede tıkandığını 19. yüzyılın sonunda iki sonuç gösterdi. Heinrich Bruns, cebir yoluyla bulunabilecek ek bir korunan nicelik olmadığını, Henri Poincaré ise 1889'da ek analitik korunan nicelik de bulunmadığını gösterdi. Korunan nicelik sayısı faz uzayının boyutunu kapatmaya yetmediği için sistem tam olarak çözülebilir değil, kaotik.
1912'de Karl Fritiof Sundman bir çıkış yolu buldu: açısal momentumun sıfır olduğu başlangıç koşulları dışında her gerçek zaman değeri için yakınsayan bir seri çözüm. Pratikte işe yaramadı. 1930'da David Beloriszky'nin hesabına göre bu seriyi gerçekten kullanmak en az 10 üzeri 8.000.000 terim gerektiriyor.
Periyodik burada ne demek
Atlasın derlediği şey genel çözüm değil, özel çözüm. Bir yörüngenin periyodik olması, bir periyot sonunda üç cismin de hem konum hem hız olarak tam başlangıç durumuna dönmesi anlamına geliyor; hareket oradan itibaren kendini birebir yineliyor. Bazı çözümlerde üç cisim aynı kapalı eğri üzerinde yürür, yalnızca aralarındaki zaman farkı değişir; bu tipe koreografi deniyor. Sekiz yörüngesi de bunlardan biri.
Sekiz yörüngesi: 1993'te bilgisayarda, 2000'de kâğıtta
Sekiz yörüngesini 1993'te Cris Moore, Physical Review Letters'ta çıkan "Braids in Classical Gravity" yazısında sayısal olarak buldu. Varlık kanıtı yedi yıl sonra geldi: Alain Chenciner ve Richard Montgomery'nin Annals of Mathematics'te 2000'de yayımlanan yazısı, eşit kütleli durumda bu çözümün gerçekten var olduğunu gösterdi. Yani bilgisayar önce gördü, matematik sonra onayladı.
Sonraki yirmi yıl bir sayı patlamasıydı. Önemli duraklar şunlar:
- 2013: Milovan Šuvakov ve V. Dmitrašinović, Physical Review Letters'ta eşit kütle ve sıfır açısal momentum koşulunda 15 başlangıç koşulu ve 13 yeni yörünge bildirdi. Sınıflamayı yörüngelerin topolojisine, yani cisimlerin izlerinin birbirine nasıl dolandığına dayandırdılar.
- 2017: Xiaoming Li ve Shijun Liao, Science China'da 695 aile duyurdu; bunların 600'den fazlası yeniydi. Aynı yazı, ölçekten bağımsız ortalama periyodun 2,433 ± 0,075 çıktığını bildiriyor.
- 2025: Aynı ikili bu kez düzlemden çıkıp üç boyutta 10.059 periyodik yörünge bildirdi; yaklaşık yüzde 20'si doğrusal olarak kararlı. Aralarında iki eşit kütlenin bir yolu, üçüncüsünün başka bir yolu izlediği 273 "piyano üçlüsü" yörüngesi var.
Atlas aslında ne hesaplıyor
Site yörüngeleri tarayıcıda canlı hesaplamıyor. Kendi yöntem sayfasına göre yayımlanmış başlangıç koşullarını alıyor, 32 haneli aritmetikte Newton yöntemiyle, halkanın kapanışı aritmetiğin sınırına dayanana kadar yeniden yakınsatıyor. Sonra her yörüngeyi bir periyot boyunca yüksek mertebeden Taylor yöntemiyle bir kez entegre edip sonucu oynatma için sıkıştırılmış eğri verisi olarak saklıyor. Ön hesap Rust'ta yazılmış; çift-çift duyarlıklı bir Taylor entegratörü ve özdeğer çözücüsü elle yazılmış.
Her yörünge için saklanan ölçüler şunlar: periyot, enerji, açısal momentum, en yakın geçiş mesafesi ve Floquet çarpanları. Son madde kararlılık ölçüsü; biraz sonra ona döneceğiz.
| Atlastaki yörünge | 3.942 |
|---|---|
| Aile sayfası | 41 |
| Doğrusal olarak kararlı | 1.614 |
| Halka kapanışı 10⁻⁹'dan iyi olan | 3.916 |
| Ortanca halka kapanışı | 1,3 × 10⁻²⁴ |
| Saklanan eğri düğümü | 9.717.300 |
Tablodaki sayılar sitenin kendi yöntem sayfasından alındı. Aynı sayfa, ilk 2.386 başlangıç koşulunu Ricky Reusser'in MIT lisanslı derlemesinden devraldığını, kendi hesap çıktısını da CC BY 4.0 ile paylaştığını söylüyor. Kaynak kataloglar arasında Broucke'nin 1975, Hénon'un 1976, Simó'nun 2001 tarihli çalışmaları da sayılıyor; yani atlas sıfırdan bir keşif iddiası değil, dağınık bir literatürün tek elde toplanması.
Kararlılık sözcüğünün küçük yazısı
Floquet çarpanları yalnızca doğrusal kararlılığı ölçer: sonsuz küçük bir sapmanın zamanla büyüyüp büyümediğini. "Bu yörünge gerçek hayatta dayanır" demek değil. Sitenin tekme modu bunu elle denemeye açıyor; bir yörüngeyi raydan çıkarıp ne olduğunu izliyorsunuz. Sonuç aileye göre keskin biçimde ayrışıyor: sekiz yörüngesinin 196 uydu yörüngesi 40 hane hassasiyetle doğrusal kararlı sayılırken, 164 "önemsiz olmayan koreografi" 180 haneye kadar hesaplanmış ve hepsi kararsız çıkmış.
Tarayıcıyla yeni yörünge aramak
Sitenin av bölümü ziyaretçinin tarayıcısını arama ağına katıyor. Tarayıcı rastgele başlangıç koşulları deniyor, yolu birkaç düzine zaman birimi boyunca izliyor, başlangıca en yakın dönüşleri not ediyor ve umut verenleri sınırlı bir Newton atışıyla düzeltiyor. Aday 106 bit hassasiyete getirildikten sonra sunucuya gönderiliyor.
Sunucu önce bunun bilinen bir yörünge olup olmadığını ölçekten bağımsız periyot ve üç ikili mesafenin biçimi üzerinden kontrol ediyor, cisimlerin hizalanma dizilerini bilinen topolojilerle karşılaştırıyor. Kararlı ya da topolojik olarak yeni görünenler 160 ve 192 bitte yeniden hesaplanıyor. Site şunu açıkça yazıyor: hiçbir şey atlasa kendiliğinden eklenmiyor, insan incelemesi şart.
Eylül 2026 tarihli araştırma notlarında bu aramanın ürünleri sıralanmış. Sekiz saatlik bir tarama, yayımlanmış kataloğun T* = 800 sınırının ötesine geçerek Broucke benzeri bir ailede üç kararlı yörünge bulmuş. Eşit olmayan kütlelerle yapılan başka bir arama, denetlenen kataloglarda bulunmayan topolojilerde 42 yörünge çıkarmış; hepsi kararsız, hepsi 160 bitte bağımsız doğrulanmış. Kütlelerin 1, 0,612 ve 1 olduğu bir durumda kapalı bir ada eğrisi üzerinde oturan tek bir kararlı yörünge kaydedilmiş. 27 Eylül tarihli not ise Broucke–Hadjidemetriou–Hénon ailesinin 14 kararlı uydu yörüngesini bildiriyor.
Buradaki çekince sitenin kendi ifadesi: bunlar "denetlenen kataloglara göre aday yeni aileler, kanıtlanmış keşifler değil". Yani hakemli bir dergide yayımlanıp bağımsız biçimde onaylanmadıkça literatüre girmiş saymıyor.
Sitenin yapımcısı, Hacker News'teki tartışmada projeyi Cixin Liu'nun Üç Cisim Problemi romanlarından ilham alarak kurduğunu, siyah zeminin uzayın karanlığını ve büyüklüğünü, kan kırmızısının hem tehlikeyi hem güzelliği anlattığını söyledi. Aynı başlıkta özgünlük denetiminin zayıf olduğu yönünde eleştiri gelince — eleştiriyi getiren, özgün makalelerin yazarlarından biri olduğu belirtilen msuvakov kullanıcısıydı — yapımcı denetimi güncellediğini bildirdi: daha yüksek hassasiyetli periyodiklik kontrolü, döndürme ve ölçekleme hesaba katılarak karşılaştırma, bir de indirgenmiş hizalanma dizileriyle topolojik ayırt etme. Kararlı yeni bir yörünge bulan kişi ona ad verme hakkı elde ediyor.
Gerçek yıldızlara ne kadar uyar
Atlas bir gökbilim kataloğu değil. Hesaplar nokta kütleler ve saf Newton kütleçekimi üzerine kurulu: görelilik, gelgit etkileri, kütle kaybı, dördüncü bir cisim yok. Ailelerin çoğu eşit kütle ve sıfır açısal momentum gibi özel koşullarda tanımlı. Üstelik tam periyodiklik, başlangıç koşullarının tam tutturulmasını gerektiriyor; atlasın kendi ölçüsünde en iyi yörüngelerde bile halka 10⁻²⁴ düzeyinde kapanıyor, yani sıfırda değil.
Gökyüzündeki üçlü yıldız sistemleri de bu desenlere benzemiyor. Vikipedi'nin yıldız sistemi maddesinde özetlendiği biçimde, kararlı üçlülerde iki yıldız sıkı bir çift oluşturur ve üçüncüsü bu çiftin çok daha uzağında dolanır; iç ve dış yörüngeler birbirine yakın büyüklükteyse sistem dinamik olarak kararsızlaşır ve yıldızlardan biri dışarı atılır. Sekiz yörüngesi tam olarak bu "birbirine yakın büyüklükte" sınıfa girer. Atlasın değeri bu yüzden gözlemde değil, teoride: hangi hareket biçimlerinin denklemlerce izin verildiğini gösteriyor.
Sırada ne var
Asıl soru artık sayı değil, ayıklama. Aile sayısı yüzlerle ölçülüyor ve Li ile Liao'nun kendi yazısında yöntemlerinin ilke olarak üçüncü cismin her kütle değeri için istenildiği kadar çok yörünge üretebileceğini belirtmesi, listeyi uzatmanın tek başına bilgi vermediğini gösteriyor.
İki iş açık duruyor. Birincisi, tarayıcı aramasından çıkan adayların hakemli denetimden geçip geçmeyeceği. İkincisi, doğrusal kararlı bulunan 1.614 yörüngeden kaçının düzlem dışı ve sonlu büyüklükte sarsıntılara da dayandığı. İkinci soru yanıtlanmadıkça kararlı etiketi, atlasın kendisinin de belirttiği gibi, matematik düzeyinde bir etiket olarak kalıyor.
Fotoğraf: MaxwellMolecule, CC BY-SA 4.0, Wikimedia Commons
