Równania Naviera–Stokesa
Równania Naviera–Stokesa należą do najważniejszych równań współczesnej matematyki stosowanej i fizyki. Opisują ruch cieczy i gazów, a zarazem stoją w centrum jednego z siedmiu Problemów Milenijnych. Pytanie, czy dla trójwymiarowych równań Naviera–Stokesa zawsze istnieją globalne i gładkie rozwiązania, pozostaje do dziś nierozstrzygnięte.
Dlaczego te równania są tak ważne?
Równania Naviera–Stokesa są fundamentalne dla opisu płynów w mechanice, fizyce i inżynierii. To właśnie za ich pomocą modeluje się przepływ powietrza wokół skrzydła samolotu, ruch wody w rzekach, obieg atmosfery, zjawiska pogodowe, turbulencje, a nawet przepływ krwi przez naczynia krwionośne.
Można powiedzieć, że wszędzie tam, gdzie coś płynie, wiruje, miesza się albo napiera, w tle pojawiają się właśnie te równania. Ich wielka siła polega na tym, że próbują jednocześnie uchwycić kilka zjawisk: bezwładność ruchu, działanie ciśnienia, lepkość ośrodka oraz zachowanie masy.
A jednak, mimo że od dawna stosuje się je w praktyce, nadal nie wiemy, czy w ogólnym trójwymiarowym przypadku ich rozwiązania zawsze zachowują się „dobrze”. Właśnie to czyni problem tak głębokim.
Podstawy
Równania Naviera–Stokesa opisują, jak płyny – zarówno ciekłe, jak i gazowe – poruszają się w czasie i przestrzeni. Są to równania, które uwzględniają:
- prędkość płynu,
- ciśnienie,
- lepkość,
- zmiany ruchu w czasie,
- oddziaływanie różnych warstw płynu ze sobą.
To dlatego mają tak szerokie zastosowanie: od meteorologii i aerodynamiki, przez hydrodynamikę, aż po biomechanikę i modelowanie procesów przemysłowych.
Trudność bierze się stąd, że są to równania różniczkowe cząstkowe, a ponadto występuje w nich nieliniowy składnik odpowiedzialny za transport i oddziaływania wewnątrz płynu. To właśnie ten składnik powoduje, że nawet prosto wyglądający przepływ może stać się bardzo złożony, a czasem chaotyczny.
Treść problemu milenijnego
Problem milenijny związany z równaniami Naviera–Stokesa polega na udowodnieniu (lub obaleniu) istnienia i gładkości rozwiązań trójwymiarowych równań dla odpowiednich warunków początkowych.
Innymi słowy, chcemy wiedzieć, czy dla zadanego początkowego rozkładu prędkości płynu zawsze istnieje rozwiązanie, które:
- istnieje dla wszystkich chwil czasu,
- jest matematycznie dobrze określone,
- nie tworzy osobliwości, czyli miejsc „nieskończonych”,
- pozostaje gładkie, a więc nie ma nagłych skoków i nieciągłości w polu prędkości i ciśnienia.
To pytanie ma ogromne znaczenie zarówno matematyczne, jak i fizyczne. Jeśli bowiem równania dopuszczałyby powstawanie osobliwości, oznaczałoby to, że nasz klasyczny opis przepływu płynu ma głębokie ograniczenia.
Znaczenie problemu
Stan badań
Dla wielu szczególnych przypadków udało się udowodnić istnienie i gładkość rozwiązań równań Naviera–Stokesa. Szczególnie ważny jest fakt, że w dwuwymiarowym przypadku problem został rozwiązany pozytywnie: wiadomo, że rozwiązania istnieją globalnie i pozostają regularne.
Jednak przypadek trójwymiarowy okazuje się znacznie trudniejszy. Właśnie w trzech wymiarach pojawiają się zjawiska takie jak turbulencja, wiry o bardzo złożonej strukturze i skomplikowane mechanizmy przekazywania energii między skalami ruchu.
Matematycy uzyskali już liczne wyniki częściowe, ale pełny dowód lub kontrprzykład nadal nie został znaleziony. Z tego powodu problem ten pozostaje jednym z największych wyzwań współczesnej matematyki stosowanej.
Równania Naviera–Stokesa – zapis matematyczny
Równania Naviera–Stokesa opisują ruch płynu jako kombinację jego przyspieszenia, ciśnienia oraz lepkości. W najbardziej uproszczonej postaci, dla nieściśliwego, izotropowego płynu newtonowskiego w trzech wymiarach, można je zapisać jako:
Gdzie:
- \(\mathbf{u}\) – wektor prędkości płynu w danym punkcie,
- \(t\) – czas,
- \(\rho\) – gęstość płynu,
- \(p\) – ciśnienie,
- \(\nu\) – lepkość kinematyczna płynu,
- \(\nabla\) – operator nabla opisujący gradient w przestrzeni,
- \(\nabla^2\) – laplasjan.
Dodatkowo, dla płynu nieściśliwego trzeba jeszcze spełnić równanie ciągłości:
Równanie to zapewnia zachowanie masy, czyli mówi, że ilość płynu wpływającego do danej objętości równoważy ilość płynu z niej wypływającego.
Z matematycznego punktu widzenia są to równania różniczkowe cząstkowe. Z fizycznego punktu widzenia – podstawowy opis dynamiki płynu. Problem milenijny dotyczy właśnie tego, czy rozwiązania tych równań pozostają regularne w najtrudniejszym, trójwymiarowym przypadku.
Claude Louis Marie Henri Navier
Claude Louis Marie Henri Navier był francuskim inżynierem i fizykiem, który specjalizował się głównie w mechanice. Jego nazwisko przeszło do historii przede wszystkim dzięki równaniom, które współtworzył i które dziś nazywamy równaniami Naviera–Stokesa.
Navier nadzorował budowę mostów w Choisy, Asnières i Argenteuil oraz kładek dla pieszych w Paryżu. W 1824 został członkiem Francuskiej Akademii Nauk, a później wykładał między innymi w École nationale des ponts et chaussées oraz École Polytechnique.
Był jednym z twórców nowoczesnej teorii sprężystości. Już w 1821 roku sformułował ogólną teorię sprężystości przy użyciu rozwiniętego języka matematyki. W 1826 wprowadził pojęcie modułu sprężystości jako własności materiału niezależnej od geometrycznego momentu bezwładności.
Dzięki temu uważa się go za jednego z twórców podstaw współczesnej analizy strukturalnej. Jednak jego największym wkładem do nauki było sformułowanie równań opisujących ruch płynów, które stały się fundamentem mechaniki ośrodków ciągłych i hydromechaniki.
Jego nazwisko znalazło się również na słynnej liście 72 nazwisk umieszczonych na wieży Eiffla.
Sir George Gabriel Stokes
Sir George Gabriel Stokes był irlandzkim matematykiem i fizykiem związanym z Uniwersytetem Cambridge. Zajmował się między innymi dynamiką płynów, optyką oraz fizyką matematyczną.
Jego nazwisko pojawia się nie tylko przy równaniach Naviera–Stokesa, ale także przy słynnym twierdzeniu Stokesa, jednym z fundamentalnych rezultatów analizy matematycznej.
W 1889 roku otrzymał tytuł baroneta. Był sekretarzem, a następnie w latach 1885–1890 prezydentem Royal Society, jednego z najważniejszych towarzystw naukowych świata.
Jego prace nad dynamiką płynów i lepkością miały ogromny wpływ na rozwój fizyki matematycznej i do dziś pozostają podstawą wielu zastosowań w nauce i technice.
Podsumowanie
Równania Naviera–Stokesa są jednym z najważniejszych narzędzi opisu świata fizycznego. Dzięki nim możemy modelować przepływy cieczy i gazów, projektować urządzenia techniczne, przewidywać zjawiska atmosferyczne i badać zachowanie ośrodków ciągłych.
A jednak, mimo ich ogromnego znaczenia praktycznego, nadal nie wiemy, czy w trzech wymiarach zawsze prowadzą do dobrze zachowujących się, gładkich rozwiązań. To właśnie ta luka między skutecznością zastosowań a brakiem pełnego dowodu matematycznego czyni problem tak fascynującym.
