Akışkanlar mekaniğinde tekillik oluşumu yapay zeka ve Lean ile kanıtlandı

Matematikçiler Alpöge ve Buckmaster, akışkanlar dinamiğindeki ünlü Navier-Stokes düzenlilik problemine yönelik önemli bir adım attı. Araştırmacılar, üç boyutlu sıkıştırılamaz Euler, iki boyutlu Boussinesq ve sıkıştırılamaz gözenekli ortam denklemlerinde düzgün bir zorlama terimi altında sonlu zamanda tekillik patlaması oluştuğunu gösterdi. Córdoba ve Martínez-Zoroa tarafından geliştirilen önceki yöntemleri temel alan çalışma, modern yapay zeka destekli otomatikleştirme araçlarıyla Lean etkileşimli teorem kanıtlayıcısında resmileştirildi.

Çalışmada uygulanan temel strateji, çözümleri aşamalı olarak inşa etme ve önceki çözümlere yüksek frekanslı küçük düzeltmeler ekleme mantığına dayanıyor. Araştırmacılar, doğrusal olmayan diferansiyel denklemler üzerinde tasarlanan arka plan çözümlerinde belirli kararsızlıkları tetikleyerek patlama zamanında genliğin hızla büyümesini sağladı. Bu sayede zorlama terimi düzgün kalırken çözümün kendisi sonlu bir süre içinde tekillik geliştirdi. Boussinesq denkleminde yüksek frekanslı düzlem dalgaları kullanılarak oluşturulan kesin yaklaşımlar, sistemin patlama mekanizmasını analitik biçimde ortaya koydu.

Araştırmacılar çalışmalarının ilk taslaklarını dış faktörler nedeniyle henüz tümüyle sadeleştirilmemiş bir aşamada yayımlamak zorunda kaldı. Kanıtların yapay zeka araçları yardımıyla daha okunabilir hale getirilmesi için çalışmalar sürerken bağımsız bir ekip de Euler denklemlerinde PINN tabanlı tekillik adayı tespit etti. Ganeshram, Duruisseaux ve Anandkumar tarafından hazırlanan paralel çalışma, fizik temelli sinir ağlarının akışkanlar dinamiğindeki analitik modelleri keşfetme potansiyelini öne çıkarıyor.