Matematikawan Membuktikan Hubungan Model Partikel Gas, Menyelesaikan Masalah Hilbert

Di awal abad ke-20, David Hilbert mengajukan tantangan besar untuk menghubungkan hukum fisika dengan matematika secara formal. Ia ingin membuktikan bahwa berbagai model fisika, dari partikel terkecil hingga perilaku gas secara keseluruhan, saling terkait secara matematis. Namun, selama ratusan tahun, pembuktian ini sulit dilakukan dan hanya sebagian kecil yang berhasil. Model-model gas terbagi dalam tiga tingkatan: model mikroskopik partikel yang mengikuti hukum Newton, model mesoskopik yang menggunakan persamaan Boltzmann untuk menggambarkan perilaku statistik partikel, dan model makroskopik yang menggunakan persamaan Navier-Stokes untuk sifat fluida gas secara besar. Masalah utama adalah membuktikan bahwa model mikroskopik benar-benar menghasilkan model mesoskopik Boltzmann secara rigor, karena sifat interaksi dan tumbukan partikel yang rumit, terutama ketika menyingkirkan kemungkinan adanya tumbukan berulang antar partikel secara signifikan. Pada tahun 1975, Lanford berhasil membuktikan ini untuk waktu sangat singkat, tapi pengembangan lebih lanjut masih menjadi tantangan besar. Kini, tiga matematikawan, Yu Deng, Zaher Hani, dan Xiao Ma, menggunakan metode baru yang berasal dari studi sistem gelombang untuk mengatasi kompleksitas tumbukan partikel dalam ruang tak hingga, dan akhirnya berhasil memperpanjang pembuktian ini untuk skala waktu yang jauh lebih panjang. Mereka kemudian memperluas hasilnya ke pengaturan gas dalam kotak yang lebih realistis. Pembuktian ini menyelesaikan persoalan lama Hilbert’s Sixth Problem secara signifikan, serta menjelaskan secara rigor mengapa model makroskopik gas memiliki arah waktu yang tidak reversible, padahal hukum Newton pada tingkat mikroskopiknya reversible. Temuan ini menjadi terobosan penting yang membuka jalan bagi penelitian lebih lanjut di fisika dan matematika.