Navier-Stokes-likningane er eit sett av likningar som skildrar rørsla til ei væske eller ein gass, og er kalla opp etter Claude-Louis Navier og George Gabriel Stokes. Desse likningane uttrykker at endringar i rørslemengda (akselerasjon) til væskepartiklane berre er produktet av endringane i trykket og dissipasjon av viskøse krefter (ein slags friksjon som virkar i sjølve væska). Desse viskøse kreftene kjem frå molekylære vekselverknadar og seier noko om kor «seig» (viskøs) væska er. Altså er Navier-Stokes-likningane ei dynamisk forklaring på dei forskjellige kreftene som virkar i kvart område av ei væske.
Dei er nokre av dei mest nyttige likningane ein har, fordi dei skildrar fysikken i mange forskjellige fenomen av akademisk og økonomisk interesse. Dei vert nytta for å skildre vêret, havstraumar, vasstraum i røyrleidningar, rørslene til stjerner i ein galakse, og luftstraum rundt ei vengje. Desse likningane, både den fulle utgåva og enklare utgåver, vert derfor brukt i design av luftfartøy og bilar, i studiet av blodkrinslaup, design av kraftstasjonar, analyser av kva effekt forureining har osv. I lag med Maxwellikningane kan dei òg brukast til å modellere og studere magnetohydrodynamikk.
Navier-Stokes-likningane er differensiallikningar, som skildrar rørsla til ei væske. I forhold til algebraiske likningar vert ikkje desse likningane brukt til å gje samanhengar mellom variablane ein er interessert i (t.d. snøggleik og trykk), men prøver heller å fastslå forholdet mellom endringane, eller fluksane, til desse storleikane. I matematiske uttrykk er desse endringane dei deriverte av variablane. Så Navier-Stokes-likningane for det enklaste tilfellet, ei ideell væske med null viskositet, seier at akselerasjonen (endringsraten av farten) er proposjonal med den deriverte av det interne trykket.
Berre dei enklaste problemstillingane kan løysast med vanleg differnsialrekning, og gje ei eksakt løysing. Desse tilfella involverer ofte ikkje-turbulent og stasjonær straum, der viskositeten er stor og farten er liten (lite reynoldstal).
For meir kompliserte tilfelle, som globale vêrsystem som El Niño eller løft på ei vengje, krevs det datamaskinar for å løyse Navier-Stokes-likningane. Fleire dataprogram er utvikla for å kunne løyse slike problemstillingar ved hjelp av diverse numeriske metodar.
Sjølv om turbulens er eit daglegdags fenomen er det ekstremt vanskeleg å finne løysingar på slike problemstillingar. Clay Mathematics Institute i Massachusetts i USA tilbaud i 2000 $1 000 000 til dei som gjorde stor framgang i den matematiske teorien som krevs for å forstå fenomenet.
Navier-Stokes-likningane går ut frå at væska er eit kontinuum, altså at den ikkje er bygd opp av diskrete partiklar. Ei anna føresetnad er alle interessefelt som trykk, snøggleik, tettleik, temperatur, osv kan deriverast (til dømes ingen faseovergangar).
Likningane er utleidd av det grunnleggjande prinsippet om bevaring av masse, rørslemengd og energi. Av og til må ein sjå på eit endeleg og vilkårleg volum, kalla eit kontrollvolum, der desse prinsippa gjeld. Dette endelege volumet vert uttrykt som og grenseflatene med . Kontrollvolumet kan både vere stasjonært eller følgje væskestraumen.
Endringar av eigenskapar i ei væske i rørsle kan målast på to forskjellige måtar. Ein kan måle ein spesifikk storleik ved enten å gjere målinga i eit fast punkt i rommet, medan væska strøymer forbi, eller ein kan følgje eit væskevolum langs straumlinja til pakken. Den deriverte til eit felt med omsyn på ein stasjonær posisjon i rommet vert kalla den romlege deriverte, medan deriverte som følgjer eit væskevolum vert kalla lagrangsk deriverte.
Den lagrangsk deriverte er definert som operatoren:
der er farten til væska. Første leddet på høgre side av likninga er den vanlege eulersk deriverte (t.d. den deriverte i eit fast referansesystem), medan det andre leddet representerer endringane som kjem av at væska flyttar seg. Denne effekten vert òg kalla adveksjon.
Målingar av endringar i vindstyrken i atomsfæren kan gjerast med hjelp av eit anemometer på ein vêrstasjon, eller ved å feste det på ein vêrballong. I det første tilfellet måler ein vindstyrken frå eit fast punkt, medan ein i det andre tilfellet måler endringa av styrken medan instrumentet flyttar seg med lufta.
I tillegg må ein ha med eit fastsetjande forhold mellom desse storleikane eller tilstandslikninga for væska.
På den mest generelle forma seier bevaringslova at endringa av ein ekstensiv storleik definert i eit kontrollvolum, må vere lik mengda som forsvinn gjennom grensene til volumet pluss det som vert danna/brukt opp inne i kontrollvolumet. Dette er uttrykt i den følgjande likninga:
der v er farten til væska og er kjeldene og sluka i væska.
Viss kontrollvolumet er stasjonært kan likninga uttrykkast som:
Divergensteoremet vart brukt i utleiinga av den siste likninga for å uttrykke det første leddet på høgresida på innsida av kontrollvolumet. Dermed:
Uttrykket over gjeld for , som er eit stasjonært kontrollvolum. Sidan ikkje varierer med tida, er det mogeleg å bytte ut og operatorane. Og sidan uttrykket gjeld for alle område, kan ein i tillegg fjerne integralet.
Ved å bruke den lagrangsk deriverte får ein når (ingen kjelder eller sluk):
Bevaring av rørslemengd vert uttrykt på liknande måte som kontinuitetslikninga, der vektorkomponentar av rørslemengda erstattar tettleiken, og med eit kjeldeledd i tillegg som skildrar kreftene som virkar på væska.
Vi byttar ut i kontinuitetslikninga med netto rørslemengd per volum i ein spesifikk retning, , der er komponenten av farten, t.d. farten langs x, y, eller z-retninga.
er den komponenten av krafta som virkar på væska (eigentleg kraft per volum). Vanlege krefter er tyngdekrafta og trykkgradientar. Dette kan òg uttrykkast som:
Den generelle forma av Navier-Stokes-likningane for bevaring av rørslemengd er:
der er væsketettleiken, v er fartsvektoren, og f er kraftvektoren som virkar på væska. Tensoren representerer overflatekreftene som virkar på ein væskepartikkel. Med mindre væska inneheld roterande fridomsgrader, som kvervling, så er ein symmetrisk tensor. På generell form har vi:
der er normalt stress, er tangentialt stress (skjerstress), og p er statisk trykk, assosiert med ein istrop del av stresstensoren.
Sporet er alltid -3p per definisjon (med mindre ein har bulk viskositet) uansett om væska er i likevekt eller ikkje.
Til slutt har ein:
der er den sporlause delen av .
Desse likningane er framleis ufullstendige. For å gjere dei fullstendige må ein lage ein hypotese på form av , altså ein treng ei fastsettjande lov for stresstensoren som vist under.
Ein tenkjer seg at straumen kan differensierast og er kontinuerleg, som gjer at ein kan uttrykke bevaringslovene som partielle differensiallikningar. Når ein har ein inkompressibel straum (konstant tettleik), er storleikane som må løysast fartskomponenten og trykket. Dei tre komponentane i Navier-Stokes-likningane pluss kontinuitetslikninga gjev eit lukka system av differensiallikningar for desse variablane som kan løysast, i prinsippet, for passelege grensevilkår. Når ein har ein kompressibel straum, vert tettleiken ein ny ukjend i systemet, som ein kan finne ved å tilføre tilstandslikninga i systemet. Ei tilstandslikning inneheld vanlegvis temperaturen til væska, slik at likninga for bevaring av energi òg må løysast i lag med den førre likninga. Desse likningane er ikkje-lineære, og analytiske løysingar i lukka form er berre kjend for svært enkle grensevilkår.
Likningane kan omformast til Wilkinson-likningar for dei sekundære variablane kvervling og straumfunksjon. Løysinga er avhengig av eigenskapane til væska (slik som viskositet, spesifikk varme og varmeleiingsevne), og på grensevilkåra i område ein studerer.
For å sjå korleis ein «utleier» dette, må vi først merke oss at i likevekt, pij=-pδij. For ei newtonsk væske er utleiinga av stresstensoren frå denne likevektsverdien lineær i gradientane til farten. Han kan ikkje berre vere avhengig av sjølve farten, på grunn av Galileis kovarians. Med andre ord, pij+pδij er lineær i . Væskene som vi ser på her er rotasjonsinvariant (t.d. dei er ikkje flytande krystallar). pij+pδij kan dekomponerast til ein sporlaus symmetrisk tensor og eit spor. På liknande måte kan dekomponerast til ein sporlaus symmetrisk tensor, eit spor og ein antisymmetrisk tensor. Den sporlause symmetriske delen av er der d er talet på romlege dimensjonar, og spordelen er . Dermed er den mest generelle rotasjonsinvariante og lineære funksjonen gjeve ved:
for koeffisientane μ og μB. μ vert kalla skjerviskositet og μB vert kalla bulk viskositet. Empiriske observasjonar har vist at bulk viskosisteten kan neglisjerast for dei fleste væskene av interesse, og vert derfor ofte ikkje tatt med. Dette forklarar faktoren på −2/3 som oppstår i denne likninga. Denne faktoren må modifiserast i ein eller to romlege dimensjonar.
Navier-Stokes-kontinuitetslikninga for sylindriske koordinatar er:
Navier-Stokes-likningane for sylindriske koordinatar er:
r-retninga:
θ-retninga:
z-retninga:
Merk at Navier-Stokes-likningane berre kan skildra væskestraum tilnærma, og at på svært liten skala eller under ekstreme vilkår vil væsker blande seg slik at resultata vert annleis enn dei ein får frå dei kontinuerlege og homogene væskene ein brukar i Navier-Stokes-likningane. Avhengig av knudsentalet til problemstillinga, kan statistisk mekanikk stundom vere ein betre framgangsmåte. Navier-Stokes-likningane er likevel nyttige for svært mange praktiske problem, så lenge ein er klar over begrensingane.
Inge L. Rhyming, Dynamique des fluides, 1991, PPUR
A.D. Polyanin, A.M. Kutepov, A.V. Vyazmin, and D.A. Kazenin, Hydrodynamics, Mass and Heat Transfer in Chemical Engineering, Taylor & Francis, London, 2002. ISBN 0-415-27237-8