Media Kampung – Para fisikawan dan astronom yang ingin mensimulasikan fenomena ekstrem seperti tabrakan bintang neutron atau lubang hitam berganda menghadapi tantangan besar: persamaan medan Einstein dalam bentuk aslinya tidak dapat langsung digunakan untuk evolusi waktu. Sistem sepuluh persamaan diferensial parsial non-linear itu hanya berisi kendala yang harus dipenuhi di setiap lembaran ruang, tanpa persamaan eksplisit untuk menghitung perubahan metrik dari waktu ke waktu. Solusinya adalah dengan melakukan dekomposisi 3+1, memotong ruang-waktu menjadi lembaran-lembaran ruang tiga dimensi, dan memperkenalkan variabel baru seperti metrik tiga dimensi, fungsi lapse, dan vektor shift.
Formulasi pertama yang dikembangkan oleh Arnowitt, Deser, dan Misner (ADM) pada tahun 1959 menghasilkan dua belas persamaan evolusi untuk metrik tiga dimensi dan curvature ekstrinsik. Namun, ketika dijalankan di komputer super Cray pada 1980-an, simulasi lubang hitam Schwarzschild yang seharusnya stabil justru meledak setelah beberapa langkah waktu. Galat numerik kecil tumbuh secara eksponensial karena sistem ADM asli tidak memenuhi syarat hiperbolisitas kuat. Sistem lemah-hiperbolik seperti ADM memiliki nilai eigen riil tetapi tidak memiliki himpunan lengkap vektor eigen, sehingga rentan terhadap gangguan.
Pada tahun 1995, Shibata dan Nakamura di Jepang mengusulkan variabel baru yang kemudian disempurnakan oleh Baumgarte dan Shapiro pada 1998, dikenal sebagai formulasi BSSN. Ide utamanya adalah memisahkan metrik tiga dimensi menjadi faktor konformal dan bagian trace, serta memperkenalkan variabel bantu yang bertindak sebagai peredam numerik. Hasilnya, simulasi lubang hitam tunggal dengan BSSN bisa berjalan stabil hingga ribuan massa lubang hitam. BSSN bersifat kuat-hiperbolik, cukup stabil untuk simulasi merger lubang hitam cepat, namun belum sepenuhnya simetris-hiperbolik.
Pada tahun 2003, Bona, Ledvinka, Palenzuela, dan Zacek memperkenalkan pendekatan yang lebih radikal: formulasi Z4. Mereka menambahkan empat variabel buatan Z ke dalam persamaan Einstein, mempromosikan vektor kendala menjadi variabel dinamis yang berevolusi. Dengan parameter redaman yang tepat, sistem Z4 menjadi simetris-hiperbolik penuh, menjamin bahwa masalah Cauchy bersifat well-posed: solusi ada, unik, dan bergantung kontinu pada data awal. Z4 unggul dalam simulasi jangka panjang atau yang melibatkan rasio massa sangat besar, seperti lubang hitam dengan perbandingan massa 1000 banding 1.
Saat ini, kode seperti GRChombo, Einstein Toolkit, dan IllinoisGRMHD menggunakan varian Z4 untuk produksi ilmiah. Pilihan antara BSSN dan Z4 tergantung pada masalah fisik: BSSN cukup untuk merger lubang hitam cepat, sementara Z4 lebih aman untuk bintang neutron bermedan magnet atau simulasi vakum ekstrem. Perkembangan ini menunjukkan bahwa di balik simulasi kosmik yang spektakuler, terdapat perjuangan panjang untuk menemukan formulasi matematis yang stabil dan akurat.
Artikel ini dipublikasikan oleh Media Kampung.
Tinggalkan Balasan