Bir Milyon Dolarlık Girdap: Navier-Stokes Çöktü mü?

Bölüm metni

Kahveni karıştırdığında ortaya çıkan girdabı tarif eden denklemler yaklaşık iki yüz yıldır yazılı. Ama matematikçiler bu denklemlerin bir gün sonsuza patlayıp patlamayacağını bilmiyordu — bu soruya bir milyon dolar ödül konmuştu. Bu ayın başında birisi cevabı bulduğunu söyledi; ve cevap "hayır, pürüzsüz kalmıyor" idi.

Sabah kahvenizi karıştırırken kaşığın arkasında oluşan o küçük girdaba bakın. Birkaç saniye döner, kenarlardan kopan daha küçük burgaçlara ayrılır, sonra hepsi sönüp gider. Bu, evrendeki en sıradan olaylardan biri. Aynı şey musluktan akan suda, kanadın ucundan sıyrılan havada, atardamarınızdaki kanda, Jüpiter'in atmosferinde de oluyor. Ve bu kadar sıradan bir şeyin arkasında, matematiğin çözülmemiş en ünlü yedi probleminden biri duruyor. Çözene 1 milyon dolar veriliyor. 26 yıldır kimse alamadı.

Hikâye 1822'de, Fransız mühendis Claude-Louis Navier'nin bir akademi bildirisiyle başlıyor. Navier, akan bir sıvının içindeki sürtünmeyi, yani viskoziteyi hesaba katan bir hareket denklemi yazmaya çalışıyordu. Moleküller arası kuvvetler hakkındaki varsayımları bugünkü gözle bakıldığında yanlıştı, ama denklemin biçimi şaşırtıcı ölçüde doğru çıktı. Yirmi üç yıl sonra İrlandalı fizikçi George Gabriel Stokes, aynı denklemi çok daha sağlam bir temelden, sürekli ortam mekaniğinin varsayımlarından yeniden türetti. İkisinin adı yan yana kaldı.

Denklemin yaptığı iş aslında son derece basit bir fikrin akışkanlara uyarlanmasıdır: kuvvet, kütle çarpı ivmedir. Bir sıvının içindeki minicik bir parçacığı düşünün. O parçacığı iten şeyler bellidir: komşularından gelen basınç farkı, viskozitenin yarattığı sürtünme, bir de yerçekimi gibi dışarıdan uygulanan kuvvetler. Bunların toplamı parçacığı hızlandırır. Buna bir de kütlenin yoktan var olamayacağı koşulunu, yani sıkıştırılamaz bir sıvıda giren miktarın çıkan miktara eşit olması gerektiğini eklersiniz. Hepsi bu. Bir lise öğrencisine yarım saatte anlatabileceğiniz bir fikir.

Sorun, bu basit fikrin denklemde bıraktığı tek bir terimde saklı. Akışkan kendi kendini taşır. Hız alanı, kendi kendisini sürükler. Matematikte buna doğrusal olmama denir ve bu terim yüzünden denklemin çözümleri toplanamaz, ölçeklenemez, parçalara ayrılıp ayrı ayrı halledilemez. İki çözümü toplarsanız üçüncü bir çözüm elde etmezsiniz. Küçük bir değişiklik küçük kalmaz. İşte bu tek terim, iki yüz yıldır matematikçilerin duvara tosladığı yer.

Bugün bu denklemler her yerde kullanılıyor. Hava tahmini modelleri onları çözüyor. Uçak kanadı tasarlayan mühendisler, kalp kapakçığı geliştiren biyomedikal ekipler, rüzgâr türbini yerleştiren firmalar, okyanus akıntılarını modelleyen iklim bilimciler hep aynı denklem takımını sayısal olarak hesaplatıyor. Sonuçlar işe yarıyor. Uçaklar uçuyor. Yani pratikte denklem çalışıyor.

Matematikçilerin sorduğu soru bambaşka. Onlar denklemin işe yarayıp yaramadığını değil, kendi içinde tutarlı olup olmadığını soruyorlar. Soru şu: 3 boyutlu boşlukta, pürüzsüz ve makul bir başlangıç durumu verin; sıvı hiçbir yerde sonsuz hızlı değil, hiçbir yerde ani sıçrama yok, her şey yumuşacık. Bu denklemin, zamanın sonuna kadar pürüzsüz kalan tek bir çözümü var mıdır? Yoksa çözüm, sonlu bir zamanda kendi kendini yırtıp parçalanır mı?

Buna küresel düzenlilik problemi deniyor ve 2000 yılının Mayıs ayında, Paris'te yapılan bir törenle resmen ödüllü hâle geldi. Amerikalı iş insanı Landon Clay'in kurduğu Clay Mathematics Institute, yani Clay Matematik Enstitüsü, yeni yüzyılın eşiğinde yedi problem ilan etti ve her birinin çözümü için 1 milyon dolar ayırdı. Navier-Stokes denklemleri o listedeydi. Problemin resmî tanım metnini yazan kişi, alanın en saygın isimlerinden Charles Fefferman'dı ve metin bilinçli olarak dar tutuldu. Fefferman'ın istediği şey türbülansın açıklanması falan değildi; sadece çözümün var olup olmadığı ve pürüzsüz kalıp kalmadığı. Buna rağmen o yedi problemden bugüne dek yalnızca biri çözüldü: Poincaré sanısı. Onu çözen Grigori Perelman da ödülü almayı reddetti.

Peki bir denklem tam olarak nasıl "çöker"? Buna tekillik deniyor ve anlamı sandığınızdan daha somut.

Şöyle düşünün. Bir buz patencisi kollarını açmış dönüyor. Kollarını gövdesine çektiği anda dönüş hızı fırlar; açısal momentum korunduğu için kütle eksene yaklaştıkça dönüş hızlanmak zorundadır. Şimdi aynı şeyi bir sıvının içindeki girdap tüpüne yapın. Akışkan, o tüpü uzunlamasına gerdiğinde tüp incelir; inceldiği için de daha hızlı döner. Buna girdap gerilmesi diyoruz. Daha hızlı dönen girdap, çevresindeki akışı daha şiddetli çeker, o da tüpü daha fazla gerer. Kendini besleyen bir döngü.

Sorunun bütün kalbi burada. Bu döngü kendi kendini sonsuza kadar hızlandırabilir mi? Yani girdaplılık, sonlu bir sürede, uzayın tek bir noktasında sonsuza tırmanabilir mi? Eğer tırmanabiliyorsa, o anda denklem anlamını yitirir. Türevler tanımsızlaşır, çözüm diye bir şey kalmaz. Fizik açısından bu, sıvının hiçbir dış etki olmadan, kendi iç dinamiğiyle bir noktada sonsuz enerji yoğunluğu üretmesi demektir ki gerçek suda böyle bir şey görmüyoruz. Ama biz burada suyu değil, denklemi yargılıyoruz.

Bu resmin en can sıkıcı tarafı, 2 boyutta böyle bir tehlikenin hiç olmaması. Düzlemde girdap tüpünü gerebileceğiniz bir üçüncü doğrultu yoktur; girdaplılık basitçe akışla birlikte taşınır ve büyüyemez. Bu yüzden 2 boyutlu problem kapandı. Jean Leray'in 1930'lardaki çalışmaları ve ardından Rus matematikçi Olga Ladyzhenskaya'nın sonraki onyıllarda yaptığı işler, düzlemde çözümlerin hem var olduğunu hem tek olduğunu hem de sonsuza kadar pürüzsüz kaldığını gösterdi. Bir boyut eklediğiniz anda her şey elinizden kayıyor.

Neden kaydığını anlatan daha teknik ama çok aydınlatıcı bir bakış var: ölçek kritikliği. Navier-Stokes denklemlerinin bir simetrisi vardır; bir çözümü alıp uzayda küçültür, zamanda ve hızda uygun oranlarda ayarlarsanız, yine bir çözüm elde edersiniz. Şimdi elinizdeki tek güvenilir korunum yasasını, enerjiyi düşünün. Viskozite sürekli enerji yer, dolayısıyla toplam enerji asla artmaz. Bu, elinizdeki en güçlü kozdur. Ama o ölçek dönüşümünü uyguladığınızda, 3 boyutta enerji giderek anlamsızlaşır: küçük ölçeklere indikçe enerji sınırı olan bitenin üstünde hiçbir denetim kuramaz. Buna süperkritiklik deniyor. 2 boyutta enerji tam kritiktir, yani ancak yeter. 3 boyutta yetmez. Elimizdeki tek sağlam koz, tam da felaketin olabileceği yerde işe yaramaz hâle geliyor.

Yine de son yüzyılda bu karanlıkta epey mesafe alındı. Leray, 1934'te bugün zayıf çözüm dediğimiz kavramı icat etti: denklemi her noktada birebir sağlamayan, ama ortalama anlamda sağlayan ve her zaman var olduğu ispatlanabilen çözümler. Leray bu çözümlerin her zaman var olduğunu gösterdi. Gösteremediği şey, onların pürüzsüz ve tek olduğuydu. O günden beri problemi bu boşluk tanımlıyor: elimizde daima var olan ama belki kötü davranan çözümlerle, kısa süre için kesinlikle iyi davranan ama uzun vadede varlığı garanti olmayan çözümler arasındaki uçurum.

Leray, felaketin nasıl görüneceğine dair bir tahmin de yürütmüştü: çözüm kendine benzer biçimde çökerdi, yani tekilliğe yaklaşırken hep aynı şekli alır, sadece giderek küçülüp hızlanırdı. 1996'da Çek ve Amerikalı matematikçilerden oluşan bir ekip, Jindřich Nečas, Michael Růžička ve Vladimír Šverák, Leray'in hayal ettiği türden tam kendine benzer bir çökmenin sonlu enerjili durumda imkânsız olduğunu kanıtladı. Yani en bariz felaket senaryosu masadan kalktı; ama felaketin kendisi kalkmadı.

1984'te James Beale, Tosio Kato ve Andrew Majda, viskozitesiz akışkanları tanımlayan Euler denklemleri için çok keskin bir ölçüt buldular. Söyledikleri özetle şuydu: çözüm ancak ve ancak girdaplılığın en büyük değerinin zaman içindeki toplamı sonsuza gidiyorsa bozulabilir. Benzer bir ölçüt viskoziteli durum için de var. Bu, felaketi tek bir büyüklüğün, girdaplılığın davranışına bağlayan çok değerli bir daraltmaydı. Kimse o toplamın sonsuza gidip gitmediğini gösteremedi.

Bir de şu var. 1982'de Luis Caffarelli, Robert Kohn ve Louis Nirenberg, öncesinde Vladimir Scheffer'in açtığı yolu izleyerek, uygun biçimde seçilmiş zayıf çözümlerde felaketin olabileceği nokta kümesinin ne kadar küçük olmak zorunda olduğunu ölçtüler. Sonuç çarpıcıydı: o küme, uzay ve zamanda tek bir eğri parçası bile oluşturamayacak kadar ince. Yani denklem çökecekse, bir yüzey boyunca, bir çizgi boyunca çökemez; olsa olsa toz gibi dağılmış birkaç yalıtık noktada çöker. Bu, problemi çözmüyor. Ama düşmanın ne kadar küçük bir delikten girebileceğini gösteriyor. Kırk dört yıldır o deliği kapatan çıkmadı.

Bu kadar dar bir delik, insanı cesaretlendiriyor. Nitekim son yirmi yılda birkaç kez "çözüldü" haberi dolaştı.

2006'da Amerikalı matematikçi Penny Smith, 3 boyutlu problemin sonsuza kadar pürüzsüz kalan çözümlerini inşa ettiğini duyuran bir çalışma paylaştı. Haber matematik camiasında hızla yayıldı. Birkaç gün sonra Smith, ispatında ciddi bir hata bulunduğunu belirterek çalışmasını kendi eliyle geri çekti.

Çok daha gürültülüsü 2014 Ocak'ında oldu. Kazak matematikçi Muhtarbay Ötelbayev, Kazakistan'da yayımlanan bir matematik dergisinde, problemin çözüldüğünü öne süren 100 sayfaya yakın bir çalışma yayımladı. Ötelbayev tanınmayan biri değildi; ciddi bir kariyeri, ciddi bir okulu vardı. Ama metin Rusça yazılmıştı ve teknik olarak son derece ağırdı, bu yüzden dünyanın geri kalanının okuması haftalar aldı. Denetim işinin büyük kısmını, 1995'ten beri bu denklemlerle uğraşan Missouri Üniversitesi'nden Stephen Montgomery-Smith üstlendi. Gönüllüler metni bölüm bölüm İngilizceye çevirdi, internet üzerinden ortak bir inceleme yürütüldü.

Sonuç birkaç ay içinde netleşti. Ötelbayev, Montgomery-Smith'e gönderdiği bir mesajda, çalışmanın 56. sayfasındaki bir eşitsizliğin hatalı olduğunu ve dolayısıyla ona dayanan önermenin kanıtlanmamış sayılması gerektiğini kendisi kabul etti. Bir yerde yanlış formülü kullanmıştı, sonraki bütün hesap onun üstüne kurulmuştu. Burada asıl dikkat çekici olan, kavganın nasıl bittiği. Kimse kimseyi karalamadı; hatayı bulan da kabul eden de aynı süreçte, açık biçimde davrandı. Matematiğin en sert tarafı da en güzel tarafı da bu: iddianın sahibi kim olursa olsun, yanlış bir eşitsizlik yanlıştır.

Aynı yılın Şubat ayında, alanın bir başka büyük ismi, Terence Tao çok farklı yönden gelen bir darbe indirdi. Tao, gerçek denklemi çözmeye çalışmadı. Onun yerine, gerçek denklemin bütün önemli yapısal özelliklerini taşıyan, özellikle de enerji eşitliğine harfiyen uyan, ama doğrusal olmayan terimi biraz karıştırılmış bir kuzen denklem kurdu. Sonra o kuzen denklemin sonlu zamanda kesinlikle çöktüğünü ispatladı. Tao'nun buradaki fikri neredeyse felsefiydi: eğer akışkan kendi içinde küçük ölçekli yapılar kurabiliyorsa, ilkece kendi kendini kopyalayan, enerjisini her seferinde daha küçük bir kopyaya aktaran bir tür sıvı makine inşa edilebilir; her kopyalama bir öncekinden hızlı olduğu için sonsuz adım sonlu zamana sığar.

Bu sonucun anlamı yıkıcıydı. Çünkü bugün elimizdeki genel yöntemlerin çoğu, yalnızca enerjiyi ve denklemin kaba biçimini kullanır. Tao, o araçlarla çalışan hiçbir ispatın işe yaramayacağını gösterdi: aynı araçlar, kesinlikle çöken bir denklemi de "çökmez" diye onaylardı. Kim bu problemi çözecekse, akışkanın doğrusal olmayan teriminin en ince ayrıntısına inmek zorunda.

Kötü haber bununla bitmiyor. 2019'da Tristan Buckmaster ve Vlad Vicol, dışbükey tümleme denen ve aslında geometriden gelen çok yaratıcı bir teknikle, Leray'in zayıf çözüm kavramının en gevşek hâlinde teklik diye bir şey olmadığını kanıtladılar. Aynı başlangıç durumundan yola çıkan, hepsi denklemi zayıf anlamda sağlayan, birbirinden farklı sonsuz sayıda çözüm inşa ettiler. Bu çözümler fiziksel olarak makul değil, enerji koşullarını sağlamıyorlar; ama gösterdikleri şey açık: zayıf çözüm kavramını fazla genişletirseniz, denklem geleceği belirlemeyi bırakıyor.

Sonra terazinin öbür kefesi. Son yıllarda, felaketin gerçekten olabileceğine dair ilk sağlam kanıtlar geldi; ama hepsi biraz yandan. 2021'de Tarek Elgindi, viskozitesiz Euler denklemleri için, tam pürüzsüz olmayan ama yine de saygıdeğer bir başlangıç durumundan çöküş ürettiğini kanıtladı. 2025'te ise California Teknoloji Enstitüsü'nden Thomas Hou ile Jiajie Chen, sınırlı bir bölgede, duvarı olan bir kapta, tamamen pürüzsüz başlangıç verisiyle Euler denklemlerinin sonlu zamanda tekillik ürettiğini bilgisayar destekli bir ispatla gösterdiler ve çalışma Amerikan Ulusal Bilimler Akademisi'nin dergisinde yayımlandı. Bilgisayar destekli ispat demek, makinenin sonucu tahmin etmesi değil; her sayısal adımın hata payının kesin aralıklarla sınırlandığı, hepsinin toplamının kanıtın kendisini oluşturduğu bir yöntem. Ama dikkat: bu sonuçlarda viskozite yok. Viskozite, felaketi durdurma şansı olan tek kuvvet. Euler çöküyor diye Navier-Stokes çöker diyemeyiz.

En taze cephe ise yapay zekâ. 2025 sonbaharında, Google'ın yapay zekâ laboratuvarı DeepMind ile birkaç üniversiteden matematikçinin, aralarında Tristan Buckmaster ve Javier Gómez-Serrano'nun da bulunduğu bir ekip, akışkan denklemlerinin sadeleştirilmiş akrabalarında yeni bir tekillik ailesi buldu. Kullandıkları yöntem, fizik yasalarını doğrudan öğrenme hedefi hâline getiren sinir ağlarıydı; veriden değil, denklemin kendisinden öğreniyorlar. Buldukları şeye kararsız tekillik deniyor: bıçak sırtı çözümler, yani başlangıç koşulunu kılpayı şaşırsanız oluşmayan, o yüzden klasik sayısal yöntemlerle avlanması neredeyse imkânsız olan çöküşler. Ekip, bilinen çözümlerin hassasiyetini birkaç mertebe iyileştirdi ve daha önce hiç görülmemiş yüksek mertebeden kararsız çözüm aileleri çıkardı. Amaç açık: bu profilleri, bilgisayar destekli kesin ispatların içine sokulabilecek kadar keskin hâle getirmek. Yine de dürüst olalım; bunlar da tam 3 boyutlu, viskoziteli denklem değil, onun daha uysal akrabaları. Ödül hâlâ sahibini bekliyor.

Peki bütün bunların sonunda nerede duruyoruz? Denklem çökmedi. Çöktüğünü gösteren de yok, çökmediğini gösteren de. Elimizde olan şey, iki yüzyıllık bir ölçüm: bu problemi çözmek için matematiğin bugünkü araç çantasının yetmediğini biliyoruz, çünkü o çantanın sınırlarını tek tek haritaladık. Bir sorunun neden zor olduğunu bu kadar kesin bilmek, aslında bilimin en olgun hâllerinden biri.

Ve bu, matematikçilerin merakından çok daha büyük bir şeye dokunuyor. Türbülans, yani bir akışın düzenli çizgilerden kaotik burgaçlara geçmesi, klasik fiziğin çözülmemiş son büyük problemi diye anılır. Aktarılanlara göre İngiliz fizikçi Horace Lamb, ömrünün sonuna doğru, cennete gittiğinde iki konuda aydınlanmayı umduğunu söylemiş: kuantum elektrodinamiği ve akışkanların türbülanslı hareketi. Birincisi konusunda daha iyimser olduğunu eklemiş. Aradan geçen doksan küsur yılda kuantum elektrodinamiği fiziğin en hassas doğrulanmış kuramı hâline geldi. Türbülans hâlâ orada duruyor.

Bunun bedelini her gün ödüyoruz. Uçak ve türbin tasarımında türbülansı gerçek denklemden çözemediğimiz için, istatistiksel yaklaşıklıklara ve deneyden kalibre edilmiş modellere güveniyoruz; bu modeller çalışır, ama ne zaman yanılacaklarını önceden söyleyemezler. Hava tahminlerinin belli bir günden sonra dağılmasının, iklim modellerinde bulutların en büyük belirsizlik kaynağı olarak kalmasının, füzyon reaktörlerinde plazmanın beklenmedik biçimde ısı kaçırmasının altında hep aynı kök yatıyor: küçük ölçeklerle büyük ölçeklerin birbirini nasıl beslediğini kapalı bir formda yazamıyoruz.

Belki de asıl ders şu. Kaşığın arkasındaki o girdap, iki yüz yıllık bir denklemin, bir milyon dolarlık bir ödülün ve dünyanın en iyi matematikçilerinin hâlâ dibine inemediği bir sorunun içinde dönüyor. Doğa bu hesabı her saniye, her yerde, hatasız yapıyor. Yapamayan biziz.

Nöron Bilim'de bugünkü bölümün sonuna geldik. Yeni bir hikâyede yeniden buluşmak üzere.