A Navier-Stokes-egyenletek megoldásainak megléte és simasága a Clay Mathematical Institute által 2000-ben megfogalmazott hét matematikai millenniumi probléma egyike .
A Navier–Stokes egyenletek egy viszkózus newtoni folyadék mozgását írják le, és a hidrodinamika alapját képezik . A Navier-Stokes egyenletek numerikus megoldásait számos gyakorlati alkalmazásban és tudományos közleményben használják. Ezen egyenletek analitikus megoldását azonban csak néhány speciális esetben találták meg, így a Navier-Stokes egyenletek tulajdonságainak teljes megértése nincs. Különösen a Navier-Stokes egyenletek megoldásaiban gyakran szerepel a turbulencia , amely továbbra is a fizika egyik legfontosabb megoldatlan problémája , annak ellenére, hogy nagy jelentősége van a tudomány és a technológia számára.
A folyadék sebességének és nyomásának háromdimenziós vektorára a Navier-Stokes egyenletek a következőképpen vannak felírva:
,ahol a kinematikai viszkozitás , a sűrűség , a külső erő, a nabla operátor és a Laplace-operátor (Laplacian), amelyet vagy -ként is jelölünk . Ez egy vektoregyenlet, amely háromdimenziós esetben három skaláris egyenletként ábrázolható. Ha a sebesség- és külső erővektorok összetevőit így jelöljük:
,akkor minden értékhez megkapjuk a megfelelő skaláris egyenletet:
Az ismeretlen mennyiségek a sebesség és a nyomás . Mivel a háromdimenziós esetben három egyenlet és négy ismeretlen (három sebességkomponens és nyomás) van, szükség van még egy egyenletre. Egy további egyenlet a tömegmegmaradás törvénye - a folytonossági egyenlet, amely összenyomhatatlan közeg esetén a folyadék összenyomhatatlanságának állapotává alakul:
A Navier-Stokes egyenletek kezdeti feltételei a következő formában vannak megadva:
,ahol egy adott sima vektorfüggvény, amely kielégíti a folytonossági egyenletet .
A Clay Institute két fő változatát fogalmazta meg a Navier-Stokes egyenletek megoldásainak létezésének és simaságának problémájának. Az első változatban az egyenleteket a teljes háromdimenziós térben figyelembe veszik , néhány korlátozással a megoldás növekedési sebességére a végtelenben. A második változatban az egyenleteket egy háromdimenziós tóruszon vizsgáljuk , periodikus peremfeltételekkel. A prémium megszerzéséhez elegendő a megoldás meglétét és gördülékenységét bizonyítani vagy cáfolni a két lehetőség bármelyikében.
Legyen a kezdősebesség tetszőleges sima függvény, amely kielégíti a folytonossági egyenletet, és olyan, hogy bármely többindex és tetszőleges többindex esetén létezik olyan állandó (csak és -től függően ), hogy
mindenkinekLegyen a külső erő is egy hasonló egyenlőtlenséget kielégítő sima függvény (itt a multiindex időderiváltakat is tartalmaz):
mindenkinekA megoldásoknak sima függvényeknek kell lenniük, amelyek nem növekednek a végtelenségig, mint . A következő feltételek szükségesek:
Az első feltétel azt jelenti, hogy a függvények globálisan meghatározottak és egyenletesek; a második az, hogy a kinetikus energia globálisan korlátozott.
A két állítás egyikét kell bizonyítani:
2014. január 10-én Mukhtarbay Otelbaev kazah matematikus közzétett egy cikket, amelyben azt állította, hogy teljes megoldást adott a problémára [1] , az eredmény ellenőrzését nehezíti, hogy a munka oroszul készült [2] [ 3] . A matematikai közösségekben a főbb állítások ellenpéldáit tárgyalják [4] . 2014-ben súlyos hibát találtak a bizonyításban, amit a szerző elismert [5] .