UNIVERZA V LJUBLJANI FAKULTETA ZA NARAVOSLOVJE IN TEHNOLOGIJO ODDELEK ZA FIZIKO Aleš Berkopec PROBLEM PROSTE POVRŠINE V TOKU VISKOZNE TEKOČINE DIPLOMSKA NALOGA Mentor: prof. dr. Alojz Kodre Ljubljana, februar 1994 POVZETEK Diplomska naloga je posvečena problemu nestisljive viskozne tekočine s prostim robom. Pri stacionarnih problemih te vrste je poleg hitrostnega in tlačnega polja del rešitve tudi oblika prostega roba. V prvem poglavju smo predstavili spremenljivke, s katerimi opišemo tekočino. Ob upoštevanju nestisljivosti in konstantne viskoznosti lahko problem skrčimo na reševanje sistema dveh enačb. V drugem poglavju smo izbrali konkreten problem ter enačbe oklestili do brezdimenzijske oblike in definirali robne pogoje. Stanje raziskav na področju numeričnega reševanja problemov s prostim robom je opisano v uvodnem delu tretjega poglavja, ki je v celoti posvečeno reševanju glavnega primera z numeričnimi algoritmi. Izbrali smo tri načine reševanja: dve sorodni celični metodi in metodo končnih elementov. Po podrobni obdelavi smo z vsako od metod rešili preizkusni primer. Metoda sledilnih delcev je kot najstarejša predstavljena prva, naslednja pa njej sorodna metoda robnih sledilnih delcev. Popolnoma nov način reševanja temelji na metodi končnih elementov. Po primerjavi v četrtem poglavju smo izbrali najustreznejšo metodo za pregled prostora parametrov, ki mu je namenjeno peto poglavje. V njem smo razdelili prostor parametrov na dva dela glede na obstoj stacionarne oblike. Ker nam je na voljo le del prostora, smo na koncu predzadnjega poglavja pokazali, kje lahko pričakujemo stacionarne oblike in označili nekaj zanimivih primerov. V zaključku so podani sklepi in nakazana smer raziskav na področju izpopolnitve predstavljenih algoritmov. i ABSTRACT The work discusses the incompressible viscous free boundary flow. The steady flow solution consists not only of velocity and pressure field. The position of the free boundary is a part of the solution as well. In Chapter One we introduce the quantities that govern the flow. After the incompressibility and the constant viscosity postulate are applied, the problem can be reduced to two basic equations. The main problem is presented in Chapter Two, furthermore the nondimensional form of the equations and boundary conditions are derived. We begin Chapter Three with general overview of the solution methods for incompressible viscous free surface flow. Three algorithms are described in detail: benchmark problems and the main problem are solved with each of them. The Marker-and-Cell (MAC) method, as oldest, is considered first. From MAC the Surface-Marker (SM) method was derived which is presented next. Completely new approach is introduced with the Finite Element Method. After comparison of methods in Chapter Four we choose the most appropriate method for exploration of the parameter space. Chapter Five takes us to the examination of the parameter space in order to find the parameter values for which the steady solution of the main problem can be reached. The parameter values are limited, therefore only part of the parameter space is actually available. A sketch at the end of the chapter gives a hint about conditions that lead to the steady free surface flow. The final Chapter summarises the work and presents some ideas for future research in the area of numerical methods. ii VSEBINA POVZETEK i ABSTRACT ii VSEBINA iii 1 UVOD 1 2 FORMULACIJA PROBLEMA 2 2.1 Osnovne enačbe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Brezdimenzijske količine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.3 Robni pogoji . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5 3 NUMERIČNE METODE 7 3.1 Metoda sledilnih delcev (MAC) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.1.1 Opis metode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.1.2 Preizkusni primer: odtekanje pravokotnega bloka tekočine . . . . . . 11 3.1.3 Rešitve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.2 Metoda robnih sledilnih delcev (SM) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.2.1 Opis metode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.2.2 Preizkusni primer: odtekanje pravokotnega bloka tekočine . . . . . . 15 3.2.3 Rešitve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.3 Metoda končnih elementov (FEM) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3.3.1 Opis metode - Galerkinov pristop . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 iii VSEBINA iv 3.3.2 Povezava tlaka s hitrostnim poljem (penalty method) . . . . . . . . . . 21 3.3.3 Matrični členi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3.3.4 Preizkusni primer 1: dvodimenzionalni vrtinec v votlini . . . . . . . . . 28 3.3.5 Preizkusni primer 2: odtekanje eliptičnega bloka tekočine . . . . . . . 29 3.3.6 Rešitve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 4 PRIMERJAVA METOD 32 4.1 Prostorska zahtevnost . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.2 Časovna zahtevnost . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.3 Ostale prednosti in slabosti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 5 RAZDELITEV PROSTORA PARAMETROV . . . . . . . . . . . . . . . . . . . . 35 5.1 Posamezni zgledi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 5.2 Razdelitev prostora . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 6 ZAKLJUČEK 39 ZAHVALA 40 LITERATURA 41 1 UVOD Gibanje tekočine določimo s hitrostnim poljem v(x, y, z, t) in dvema izmed termodinamskih spremenljivk, recimo tlakom p(x, y, z, t) in gostoto ρ(x, y, z, t). Tlak v mirujoči tekočini nastane zaradi lastne teže, imenujemo ga hidrostatski tlak. Kadar se tekočina premika, vplivajo na tlačno polje tudi medsebojne sile delcev in togih sten. Spreminjanje gostote je odvisno od stisljivosti in temperaturne razteznosti tekočine. Obravnavali bomo nestisljive tekočine s konstantno viskoznostjo (newtonske). Posebnost naloge je modeliranje prostega roba. Prosti rob je tisti del tekočine v polju sile teže, ki je v stiku z zunanjim medijem, kamor ne sodijo toge stene. Lega prostega roba v splošnem ni znana in predstavlja del rešitve problema. Tu veljajo posebni robni pogoji, katerih posledica je popolnoma druga narava gibanja, saj se delci na prostem robu lahko premikajo v poljubne smeri, tekočina ob togi neprepustni steni pa ne. Analitični prijemi so za te vrste problemov primerni le za majhno množico posebnih primerov, a kot omenjata J.M. Floryan in H. Rasmussen v svojem preglednem članku [8], do danes še ni razvita splošna numerična metoda za reševanje dinamike tekočine s prostim robom. Obstaja vrsta algoritmov, ki prav tako kot analitične rešitve dajejo zadovoljive rezultate le za posebne primere. Tako smo si tudi v diplomski nalogi kot problem zastavili reševanje toka viskozne nestisljive tekočine v izbrani geometriji, kjer je bil eden od ciljev razvoj nove metode za iskanje stacionarnih stanj s pomočjo trikotniške mreže končnih elementov. Omejili se bomo na dvodimenzionalni primer - v vogalu se vrti neskončna prizma tekočine, opazujemo obliko njenega prečnega prereza. Pri računanju ne bomo upoštevali sil površinske napetosti. Njihov vpliv lahko zanemarimo, če je kaplja dovolj velika. Glavni cilj naloge je raziskati spekter parametrov, ki določajo tok tekočine. Prostor parametrov želimo razdeliti v dva dela glede na obstoj stacionarne oblike. Hkrati bomo preizkusili nov algoritem za reševanje danega problema s prostim robom, ki temelji na relaksaciji trikotne mreže končnih elementov. Primerjali ga bomo z že znanimi in raziskali njegove prednosti in slabosti. 1 2 FORMULACIJA PROBLEMA V pravokotnem vogalu, ki ga tvorita spodnja in leva stena, obe neskončno dolgi, je velika kaplja nestisljive newtonske viskozne tekočine. Zanimajo nas stacionarna stanja kaplje v težnem polju, če se spodnja plošča premika s konstantno hitrostjo u0 proti pokončni plošči (sl. 2.1), težni pospešek in materialne lastnosti kaplje pa so parametri gibanja. ... ... ... . ........ ..... B C g0 ......................... .................. ...... ..................... ..... ........................ .............. ...................... ............................ ............................................................ ................... ................... ................. ........... ............ ................... ................. ........... ............. ................... ................. ........... ............. ................... ................. ........... ............. ................... ................. ........... ............. ................... ................. ........... ............ . . . . . . . . . . . . . . . . . . . . . . . . . ....... ... ............................................... u0 A Sl. 2.1: Skica obravnavanega problema, ki nam je služil kot primer pri modeliranju nestisljive newtonske viskozne tekočine s prostim robom. Iskali bomo stacionarno obliko kaplje pri različnih parametrih toka. Robova BC in AC sta toga: prvi miruje, drugi se giblje v nakazani smeri s konstantno hitrostjo u0 . Oblika prostega roba AB predstavlja del rešitve problema. 2.1 Osnovne enačbe Predpostavimo, da je temperatura tekočine konstantna in povsod ista. Ker je tekočina nestisljiva, je tudi gostota ρ konstantna, zato velja kontinuitetna enačba v obliki: ∇·v = 0 , (2.1) ∂ ∂ kjer je vektor ∇ = ( ∂x , ∂y ), vektor v = (u, v) pa hitrost. Iz drugega Newtonovega zakona sledi ohranitveni zakon za gibalno količino [6,15] η ∂v + (v · ∇)v = f − ∇p + ∇2 v ∂t ρ . (2.2) To je Navier-Stokesova enačba, kjer so f volumske sile, p tlak in η viskoznost, ki je po predpostavki konstantna. Čeprav obravnavamo stacionarni problem, časovnega odvoda ne bomo opustili, ker bomo pri reševanju uporabili tudi psevdočasovne metode. 2 2 FORMULACIJA PROBLEMA 2.2 3 Brezdimenzijske količine Sistem enačb poenostavimo z uvedbo karakterističnih vrednosti in brezdimenzijskih spremenljivk. Vsako spremenljivko nadomestimo s produktom karakteristične vrednosti in brezdimenzijske spremenljivke. Za primer parametrizirajmo hitrost: v → u0 · v , (2.3) kjer je u0 karakteristična hitrost, v na desni strani pa brezdimenzijska hitrost. Za karakteristično hitrost u0 za našo nalogo izberemo hitrost spodnje plošče. Ker pričakujemo, da bo v stacionarnem stanju u0 največja hitrost v sistemu, smo tako približno omejili brezdimenzijsko polje absolutnih vrednosti hitrosti | v | na vrednosti med 0 in 1. Podobno naredimo pri tlaku. Največji tlak pričakujemo v točki C (sl. 2.1), kjer se tekočina, ki se lepi ob gibajočo se spodnjo ploščo, nariva ob levo steno. Hitrost spodnje plošče je u0 , prav tako pa tudi tekočine, ki jo plošča nosi s seboj. Ob navpični levi steni se v vogalni točki izniči vodoravna komponenta hitrosti, tako da se tekočina ustavi in začne lesti ob navpično steno. Hkrati se v točki C ustvari zastojni tlak pC = 21 ρu20 , ki bo v vogalni točki največji, saj v nobeni drugi točki ne pride do tako občutnih sprememb hitrosti. Če vzamemo za karakteristično vrednost tlaka kar zastojni tlak 12 , je tlačno polje tekočine normirano na vrednost 1 (če ne upoštevamo hidrostatskega tlaka). Pisanje si poenostavimo, če tlake normiramo na dvojno vrednost zastojnega tlaka v vogalni točki, P0 = ρu20 . Tako so tlaki v tekočini navzgor približno omejeni na brezdimenzijsko vrednost 12 p → P0 p . (2.4) Na koncu parametrizirajmo še čas in dolžino: t → T0 t , (2.5) (dx, dy) → L0 (dx, dy) . (2.6) T0 je povezan s karakterističnima hitrostjo in dolžino kot T0 = L0 /u0 . Enačba nam pove, da je karakteristični čas tisti, v katerem delec tekočine s hitrostjo u0 prepotuje razdaljo L0 . Smiselna vrednost karakteristične dolžine √ L0 je kvadratni koren ploskve, ki jo zavzema dvodimenzionalna tekočina L0 = S. Tako definirane spremenljivke vstavimo v Navier-Stokesov sistem (2.2), upoštevajoč silo teže kot edino prostorninsko silo. V sistemu enačb brezdimenzijskih količin ∂v 1 2 0 + (v · ∇)v = ∇ v (2.7) − ∇p + 1 − F r2 ∂t Re sta ostala le še dva parametra. Parameter, v katerem nastopa težni pospešek g0 , smo poimenovali F r. Imenujemo ga Froudovo število F r in podaja razmerje med 2 FORMULACIJA PROBLEMA 4 kinetično in potencialno energijo ali kvadrat razmerja med hitrostjo spodnje plošče in hitrostjo, ki jo doseže tekočina pri prostem padu z višine L0 1 g0 L0 = 2 . 2 Fr u0 (2.8) Drugi parameter, ki določa dinamiko kaplje, je Reynoldsovo število Re. Povezuje karakteristično hitrost u0 in dolžino L0 z gostoto ρ in viskoznostjo sredstva η. Re podaja razmerje med inercialnimi silami in silami zaradi notranjega trenja Re = ρu0 L0 . η (2.9) Pri majhnih Reynoldsovih številih je tok tekočin urejen, saj v enačbi (2.7) prevladuje člen z Laplaceovim operatorjem ∇2 v, katerega rešitve so pohlevne in stabilne. Táko gibanje tekočine imenujemo laminarno. Njegovo nasprotje je turbulentno gibanje, ki ga lahko opazimo pri velikih Re, ko je tok neurejen in kaotičen, ker ima v Navier-Stokesovi enačbi najmočnejši vpliv nelinearni člen (v · ∇)v. V Reynoldsovem številu sta skriti tudi viskoznost η in gostota ρ, edini materialni konstanti snovi, ki ju potrebujemo v izračunu. Njun količnik ima ustaljeno ime - kinematična viskoznost ν = ηρ . V tabeli 2.1 navajamo vrednosti viskoznosti, gostote in kinematične viskoznosti za nekaj različnih snovi. snov kg ρ [m 3] kg η [ ms ] voda zrak etilni alkohol glicerin živo srebro 998 1.29 790 1260 13550 10−3 1.8 · 10−3 1.2 · 10−3 0.85 1.56 · 10−3 ν= η ρ 2 [ ms ] 10−6 1.4 · 10−5 1.5 · 10−6 6.7 · 10−4 1.15 · 10−7 Tab. 2.1: Gostota, viskoznost in kinematična viskoznost za različne snovi [14,15]. Po poenostavitvi enačb, ki opisujejo gibanje tekočine v gravitacijskem polju, vidimo, da so stacionarne oblike kaplje odvisne le od dveh parametrov. Dvoparametrični prostor (Re, F1r2 ) bomo v zadnjem poglavju pregledali glede na formiranje stacionarnih oblik. Preden se tega lotimo, poglejmo, kakšni so robni pogoji, in izberimo učinkovito računsko metodo. 2 FORMULACIJA PROBLEMA 2.3 5 Robni pogoji Robni pogoji povezujejo spremenljivke na robu definicijskega območja enačbe. Dani problem ima tri robove: dve togi steni, od katerih se spodnja giblje s konstantno hitrostjo u0 v tangencialni smeri, in prosti rob. Zahteve, ki naj bodo izpolnjene na robovih so lahko posledica postavitve problema, kot je v našem primeru s hitrostmi na togih stenah, lahko pa jih izpeljemo iz gibalnih enačb, kar bomo storili pri izpeljavi robnih pogojev za tlak. Če predpostavimo, da sta steni neporozni in nepremični v normalnih smereh, potem sta normalni hitrosti ob stenah enaki nič. Tekočina naj se na steno lepi, zato ima tam enako hitrost kot stena sama, ali vn = 0 , vt = vstena (2.10) (2.11) , kjer sta n normalni, t pa tangencialni vektor na steni, vn in vt pa normalna in tangencialna hitrost. Tlak na togih stenah izpeljemo iz Navier-Stokesovih enačb. Sledi robni pogoj za tlak ∂p 1 ∂ 2v = ∂n Re ∂n2 . (2.12) Na prostem robu je tangencialna komponenta hitrosti neomejena; če naj na prosti rob ne deluje nobena sila, pa velja 2 ∂u nx − Re ∂x 2 ∂v p− ny − Re ∂y p− 1 Re 1 Re ∂u ∂v + ny = 0 , ∂y ∂x ∂u ∂v + nx = 0 , ∂y ∂x (2.13) (2.14) kjer je n = (nx , ny ). V stacionarnem stanju so hitrosti na prostem robu le tangencialne, zato je v·n = 0 . (2.15) Namesto tlačnih robnih pogojev (2.13) in (2.14), bomo uporabili približek za velika Reynoldsova števila [10] Re → ∞ ⇒ p = 0 . (2.16) ∂Ω Prosti rob je v stacionarnem stanju tako izobara. Za to aproksimacijo se odločimo zaradi delikatnega računanja normale. Zanjo potrebujemo lokalno ukrivljenost roba, s tem pa je, še posebej pri celičnih metodah, precej težav. 2 FORMULACIJA PROBLEMA 6 v·n=0 u=0 v=0 ∂p ∂x = 1 ∂2u Re ∂x2 ............................. .................... ....... ............................... .............................. ........ . . . . . . . . . . . ....................................... ................ ............................ ............................ ................ ............. . . . .......... ............................ ............................................................................ ......................... ............................ ........................ ................ ........... ...... ............................ ........................ ................ ............. ....... ............................ ........................ ................ .............. .... ............................ ........................ ................ .................. ............................ ........................ ................ .................. ............................ ........................ ................ .................... ............................ ........................ ................ .................. ............................ ........................ ................ .................. ............................ ........................ ................ ................ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .......... ..... p=0 u = u0 v=0 ∂p ∂y = 1 ∂2v Re ∂y 2 Sl.2.2: Robni pogoji. Začetnim pogojem posebnega poglavja ne bomo posvečali. Iščemo stacionarno stanje, ki je od začetnih pogojev neodvisno, seveda pa bomo računali z začetnimi oblikami, ki so podobne pričakovanim končnim, ker tako zmanjšamo računski čas. 3 NUMERIČNE METODE Ne poznamo splošne metode, s katero bi lahko reševali raznolike probleme s prostimi robovi. Na voljo so metode z omejenim območjem uporabnosti, ki delujejo sicer dobro, vendar le pri posebnih pogojih. Prosti rob se lahko zvija, prepogiba, širi ali še kako drugače deformira, zato mu je težko slediti. Tekočini lahko sledimo po Eulerjevem ali Lagrangeovem načinu [8]. Pri prvem je računska mreža pritrjena na laboratorijski sistem, v drugem pa vezana na tekočino. Obstajajo tudi metode, ki jih lahko uvrstimo v oba razreda. Pri Eulerjevem načinu moramo vnaprej določiti računsko domeno, kar je prikladno za prostorsko omejena gibanja (tekočina v posodi, ipd.). Prosti rob je določen le do mrežne razdalje natančno in zaradi te pomankljivosti naletimo na probleme pri vklapljanju vplivov, ki so odvisni od oblike površine, na primer površinske napetosti, ki je sorazmerna ukrivljenosti površine. Te metode so precej potratne, saj tekočina zapolnjuje le del računske domene. Pri Lagrangeovem načinu opisovanja naletimo na drugačne probleme. Čeprav s točkami, vezanimi na tekočino, položaj roba natančno poznamo, smo pri divjem gibanju (zvijanje površine, lokalna rotacija) v težavah, če opazujemo časovni razvoj oblike, saj se topologija računske mreže lahko zlomi. Metoda je ekonomična, vendar zaradi omenjenih težav uporabna za reševanje manjšega dela prostorobnih problemov, predvsem stacionarnih in takšnih, kjer vsaj približno lahko vnaprej uganemo obliko roba. Oba zahtevnejša postopka (iskanje roba in premikanje mrežnih točk) sta netrivialni nalogi, najustreznejšo metodo reševanja pa lahko izberemo šele, ko poznamo problem. Iz želje po čim boljšem postopku za reševanje diplomskega primera, se je rodila ideja o novi metodi, ki bi tekočino in njen prosti rob simulirala s prilagodljivo trikotno mrežo končnih elementov. Izračunov nismo mogli preveriti z eksperimentalnimi rezultati, saj nam ni znano, da bi bili kjerkoli objavljeni. Zato smo, da bi izvedeli, kako uspešna je nova metoda, primerjali rezultate z drugimi, že uveljavljenimi metodami, kot sta metodi sledilnih in robnih sledilnih delcev. 7 3 NUMERIČNE METODE 3.1 Metoda sledilnih delcev (MAC) 3.1.1 Opis metode 8 Metoda MAC je bila razvita v šestdesetih letih tega stoletja in je namenjena opazovanju časovnega razvoja nestisljive viskozne tekočine s prostim robom [9,10]. Na prostor, kjer bomo opazovali gibanje tekočine, najprej položimo pravokotno mrežo, ki domeno računanja razdeli v kvadrate, ki jim rečemo celice (sl. 3.1). Vrednosti spremenljivk izračunavamo le v diskretnih mrežnih točkah, vrednosti v vmesnih točkah prostora pa lahko dobimo z interpolacijo. Potem z označitvijo celic definiramo del prostora, ki ga zapolnjuje tekočina. Če v dani celici ni tekočine, jo označimo za prazno. Če je v dani celici tekočina, katerakoli od njenih sosed pa je prazna, jo označimo za robno. V primeru, ko celica s tekočino nima praznih sosed, je polna. Toge stene definirajo zidne celice. Sl. 3.1: Razdelitev računske domene na celice. V polne in robne celice nato enakomerno posujemo sledilne delce ali markerje. To so brezmasni delci, vezani na tekočino. Vsak marker potuje s tekočino tako, kot mu narekuje hitrostno polje na mestu, kjer se trenutno nahaja. Ko markerji potujejo po domeni, se celicam spreminja status. Prej robno celico lahko zapustijo vsi markerji in tako postane prazna. Postopek spreminjanja statusa celic je sestavljen iz malega števila korakov, ki jih bomo kasneje opisali. Status celic potrebujemo, da določimo območje računanja. Na prostem robu je tlak določen z ustreznim robnim pogojem, zunaj tekočine pa je enak zunanjemu tlaku. Ker tlačno polje računamo v diskretnih celičnih točkah, si z robnimi in zidnimi celicami omejimo računsko domeno za tlak. Stacionarno stanje in rešitev problema poskušamo doseči s psevdočasovnim postopkom. Polni Navier-Stokesov sistem (2.2) rešujemo kot časovni problem. Če se 3 NUMERIČNE METODE 9 oblika kaplje med dvema časovnima korakoma dovolj malo spremeni, smo dosegli rešitev. Pri tem postopku v vsakem časovnem koraku izračunamo hitrostno polje iz tlačnega, nato pa tlačno polje popravimo tako, da ima v naslednjem časovnem koraku hitrostno polje divergenco nič. Nato popravimo hitrostno polje in premaknemo markerje. Po vsakem premiku markerjev celicam še popravimo status. Z metodo se je uveljavila uporaba premaknjene mreže (staggered grid). To je posebna mreža, pri kateri računamo različne spremenljivke v različnih mrežnih točkah [7]. Numerični postopki, s katerimi rešujemo tekočinske probleme, so dostikrat nestabilni. Z uporabo premaknjene mreže pa dosežemo, da so krajevni odvodi prvega reda aproksimirani z diferencami prvega reda, s čimer smo se znebili parazitskih rešitev, ki razpihnejo vrednosti in naredijo račun nestabilen. Na več načinov se lahko odločimo, v katerih točkah bomo izračunavali u, v in p. Naš izbor premaknjene mreže je prikazan na sl. 3.2. • • k+1/2 vj+1 k+1/2 vj • k • uj−1/2 pkj • k • uj+1/2 pkj+1 • • k uj+3/2 • k−1/2 vj k+1/2 vj+1 Sl. 3.2: Premaknjena mreža (staggered grid). Zapis unj,k je diskretizirana spremenljivka u v točki (j, k) ob času n · ∆t. V taki shemi se ux v točki (j, k) zapiše kot ∂u ∂x n = unj+1/2,k − unj−1/2,k ∆x j,k + O(∆x2 ) . (3.1) Navier-Stokesovi enačbi in enačbo za nestisljivost izračunamo v različnih točkah: komponento x Navier-Stokesovega sistema v točkah (j + 1/2, k), komponento y v točkah (j, k + 1/2) in ∇ · v = 0 v točkah (j, k) [7]. Pri diskretizaciji enačb potrebujemo naslednje diferenčne izraze ∂u ∂t n j+1/2,k = n un+1 j+1/2,k − uj+1/2,k ∆t + O(∆t) , (3.2) 3 NUMERIČNE METODE ∂u2 ∂x n = j+1/2,k n ∂(uv) ∂y j+1/2,k 2 n ∂ u ∂x2 j+1/2,k 2 n ∂ u ∂y 2 j+1/2,k n ∂p ∂x j+1/2,k 10 (u2 )nj+1,k − (u2 )nj,k + O(∆x2 ) ∆x , (3.3) = (uv)nj+1/2,k+1/2 − (uv)nj+1/2,k−1/2 = unj+3/2,k − 2unj+1/2,k + unj−1/2,k = unj+1/2,k−1 − 2unj+1/2,k + unj+1/2,k+1 ∆y ∆x2 + O(∆y 2 ) + O(∆x2 ) ∆y 2 pnj+1,k − pnj,k + O(∆x2 ) = ∆x , (3.4) , + O(∆y 2 ) (3.5) , . (3.6) (3.7) V gornjih enačbah smo uporabili nekaj izrazov, ki na sl. 3.2 niso definirani. Izračunamo jih lahko z linearno interpolacijo, npr. unj+1,k = unj+3/2,k + unj+1/2,k . (3.8) 2 Ko osnovno Navier-Stokesovo enačbo diskretiziramo na premaknjeni mreži, lahko tlak in hitrostno polje izračunavamo izmenično prvega iz drugega in obratno, če sistem napišemo v implicitni shemi vn+1 = Fn − ∆t∇d P n+1 , (3.9) kjer F ≡ (F, G)T in ∇d pomeni diskretni gradientni operator. Polje F je definirano z izrazom uj+3/2,k − 2uj+1/2,k + uj−1/2,k n n Fj+1/2,k = uj+1/2,k +∆t Re∆x2 uj+1/2,k−1 − 2uj+1/2,k + uj+1/2,k+1 + Re∆y 2 (3.10) u2j+1,k − u2j,k − ∆x (uv)j+1/2,k+1/2 − (uv)j+1/2,k−1/2 n . − ∆y Podobno definiramo tudi G. Če zahtevamo, da je divergenca hitrosti v n + 1-tem časovnem koraku enaka nič, ∇d · vn+1 = 0, dobimo iz (3.9) ∇d · vn+1 = ∇d · Fn − ∆t∇2d P n+1 = 0 , (3.11) Poissonovo enačbo za tlak n+1 pj,k−1 − 2pj,k + pj,k+1 pj−1,k − 2pj,k + pj+1,k + = ∆x2 ∆y 2 Gj,k+1/2 − Gj,k−1/2 n 1 Fj+1/2,k − Fj−1/2,k + ∆t ∆x ∆y (3.12) . 3 NUMERIČNE METODE 11 To rešujemo v n-tem časovnem koraku. Ko izračunamo hitrost vn+1 iz (3.9), premaknemo markerje za ustrezen vn+1 ·∆t. Poissonovo enačbo za tlak smo reševali z metodo SOR (simultaneous over relaxation) [17]. Algoritem za reševanje s sledilnimi delci lahko pretvorimo v naslednji enačbi vn+1 = Fn − ∆t∇d P n+1 1 ∇2d P n+1 = ∇d · Fn . ∆t , (3.13) (3.14) Po vsakem premiku markerjev moramo celicam popraviti status, ker markerji skoznje potujejo. Začetni status celic je eden od začetnih pogojev, napotek za njegovo spreminjanje lahko združimo v nekaj korakov, s katerimi med premikanjem posameznih markerjev zagotovimo, da • če se marker premakne v prazno celico, ta postane robna, potem, ko smo premaknili vse markerje, naredimo še en pregled celic in takrat • vse robne celice, ki ne vsebujejo markerjev spremenimo v prazne, nato pregledamo vse celice še enkrat in • vse polne celice, ki jim je sosednja katera od praznih, spremenimo v robne, • vse robne, ki nimajo praznih sosed, spremenimo v polne. Sprememba statusa celic je zadnji del posameznega računskega cikla. 3.1.2 Preizkusni primer - odtekanje pravokotnega bloka tekočine Kot testni primer smo pri obeh celičnih metodah uporabili odtekanje pravokotnega bloka tekočine. To je znani problem podiranja jezu (broken dam problem). Je poučna simulacija prostega robu v časovni odvisnosti, rezultati pa so dostopni v literaturi [4]. Problem je enak diplomskemu primeru pri pogoju, da je hitrost spodnje plošče u0 = 0. Na začetku poskusa tekočina miruje med dnom in stranskima stenama. Ob času t = 0 desno steno odmaknemo in pustimo, da tekočina prosto izteče. Poskus delamo v večji posodi, od katere se tekočina odbije. Na sl. 3.3 je prikazan časovni razvoj procesa za brezdimenzijska parametra Re = 2 in F r = 1, kjer lahko opazimo tudi pojave, ki pričajo o slabosti metode. Ti so posledica končne dimenzije celic, tako da sledilni delec, ki je za mrežno razdaljo oddaljen od stene, že čuti njen vpliv. Na sl. 3.3, ki kaže položaj sledilnih delcev po devetih časovnih enotah, vidimo, da se v spodnjem desnem kotu delci ne dotikajo stene, a se kljub temu narivajo v navpični smeri. Podobno napako kaže tudi slika po dvanajstih časovnih enotah. Stena na delce vpliva, čeprav na slikah ne vidimo, da bi se stene dotaknili. Stik tekočine s steno je namreč določen z dolžino celice. Stene se tekočina dotika, če je od nje oddaljena manj kot za dolžino celice. Večja natančnost stika zahteva manjšo dimenzijo celice, kar pa drastično povečuje računski čas. Zato smo prisiljeni narediti kompromis. 3 NUMERIČNE METODE 12 t=0 t=9 t=3 t = 12 t=6 t = 15 Sl. 3.3: Simulacija podrtja jezu z metodo sledilnih delcev za Re = 2, 1 F r2 = 1. Pri gostoti mrežnih celic, ki smo jo uporabili, so dobljeni rezultati smiselni in uporabni za nadaljno obravnavo, tipičen izračun pa na osebnem računalniku vzame okrog pol ure časa (glej tudi poglavje o primerjavi numeričnih metod). Zaradi premikanja sledilnih delcev je dodatna slabost metode, da stacionarnega stanja ne moremo ugotavljati avtomatično. Postopek iteriranja zato ustavljamo interaktivno. 3 NUMERIČNE METODE 3.1.3 13 Rešitve Rešitve diplomskega problema začnemo z istimi začetnimi pogoji kot testni problem, seveda pa ob času t = 0 začnemo premikati spodnjo ploščo s hitrostjo u0 od desne proti levi (sl. 1.1). Izbrali smo tri primere (sl. 3.4–3.6). Sl. 3.4: Stacionarna oblika za parametre toka Re = 0.75, Sl. 3.5: Stacionarna oblika za parametre toka Re = 1, 1 F r2 = 1 F r2 = Sl. 3.6: Stacionarna oblika za parametre toka Re = 0.3, 1. 1. 1 F r2 = 11. 3 NUMERIČNE METODE 3.2 Metoda robnih sledilnih delcev (SM) 3.2.1 Opis metode 14 Metoda MAC nudi informacijo tudi o delcih v notranjosti tekočine, ki pa nas ob iskanju stacionarnih oblik roba ne zanimajo. Za take in podobne probleme so S. Chen, D.B. Johnson in P.E. Raad [4] metodo MAC predrugačili v metodo robnih markerjev (SM). Osnovna razlika med metodama je položaj markerjev, ki so pri metodi SM razpostavljeni le po površini. Tudi robne markerje premikamo enako, kot smo to počeli z markerji v metodi MAC, le zaradi morebitnega krčenja in širjenja meje potrebujemo postopek za vstavljanje novih in brisanje odvečnih markerjev. Uporaba metode je smiselna pri problemih prostega roba zaradi manjše prostorske in predvsem časovne zahtevnosti v primerjavi z metodo MAC. Pri SM metodi uporabljamo enake gibalne enačbe kot pri metodi MAC, premaknjeno mrežo, rešujemo Poissonovo enačbo za tlak in premikamo markerje, ki so v tem primeru le na površini tekočine. Ker opazujemo časovni razvoj oblike, robne markerje razpostavimo po površini na začetku in pustimo, da jih tok tekočine premika, kakor mu narekujejo enačbe. Nobenega zagotovila nimamo, da ne bodo na začetku robni delci, označeni z robnimi markerji, odplavali v notranjost. Do preklopa površin (sl. 3.8–3.10) pride, ker se tekočina lepi na stene in se vrti. Dimenzije celice so velike v primerjavi z razdaljo med sosednjima legama poljubnega delca, zato moramo robu, kot pri metodi MAC, verjeti z določeno toleranco. Zgodi se lahko, da na slikah dobimo večkratno površino - več preklopljenih krivulj. To ne ustreza resničnemu dogajanju, ker z metodo robnih sledilnih delcev opazujemo, kam potujejo delci, ki so bili na začetku robni. Ker smo na začetku procesa označili robne delce, jim med časovnim razvojem sledimo tudi v notranjost, ko s seboj potegnejo nase pripeti rob. Bistvena razlika med metodo MAC in metodo SM je v drugačnem položaju markerjev in postopku sprememinjanja statusa celic. Poleg označb iz metode MAC prazna, polna, robna in zidna, potrebujemo še novo označbo: zadeta, ki jo uporabimo le v postopku spreminjanja statusa celic kot pomožno označbo. Postopek lahko opišemo v nekaj korakih: • vse celice, ki vsebujejo (robne) markerje označimo kot zadete. Potem izvršimo premik in dodamo nove markerje, kjer so razmiki med posameznimi markerji preveliki - markerji imajo zdaj drugačen položaj kot so ga imeli, ko smo označili zadete celice • vse celice, ki zdaj vsebujejo markerje označimo trenutno za robne, • za ostanek zadetih celic preverimo, če imajo kakšno sosedno celico s statusom prazna in jih v tem primeru spremenimo v prazne, sicer pa v polne, • na koncu še pregledamo, če katera od robnih celic nima prazne sosede in ji spremenimo status v polno. 3 NUMERIČNE METODE 3.2.2 15 Preizkusni primer - odtekanje pravokotnega bloka tekočine Zaradi primerjave z metodo MAC smo za testni primer uporabili podrtje pravokotnega bloka tekočine z istima parametroma (sl. 3.7). t=0 t=9 t=3 t = 12 t=6 t = 15 Sl. 3.7: Odtekanje pravokotnega bloka tekočine z metodo robnih sledilnih delcev za Re = 2, F1r2 = 1. Metoda ima isto pomankljivost kot MAC, to je, da toge stene vplivajo na dani delec že, ko so oddaljene za dolžino celice. To lahko opazimo na sliki, ki kaže obliko tekočine pri t = 15. Zdi se, kot da so v tekočini zajede zunanjega medija, kar pa ni res. Nastale so zaradi prevelike dolžine celice. Pri manjši mrežni razdalji bi bila prosta površina na isti višini, zajeda pa manjša. Pri preklopu površin se na ta način poveča prostornina tekočine zaradi numerične napake. 3 NUMERIČNE METODE 3.2.3 16 Rešitve Zaradi primerjave z metodo MAC smo pognali simulacije danega problema za iste tri pare vrednosti parametrov. Pomankljivost prepogibanja površin kot posledica končno velike dolžine celice je tu še bolj očitna. Tako kot pri MAC tudi tu računanje ustavljamo interaktivno. Sl. 3.8: Stacionarna oblika za parametre toka Re = 0.75, Sl. 3.9: Stacionarna oblika za parametre toka Re = 1, 1 F r2 = 1 F r2 = Sl. 3.10: Stacionarna oblika za parametre toka Re = 0.3, 1. 1. 1 F r2 = 11. 3 NUMERIČNE METODE 17 3.3 Metoda končnih elementov (FEM) 3.3.1 Opis metode - Galerkinov pristop Pri celičnih metodah smo izračunali vrednosti količin v danih točkah, medtem ko pri FEM predpostavimo, da lahko iskano polje U diskretiziramo z U = N X uj ψj , (3.15) j=1 kjer so uj koeficienti, ψj pa znane analitične funkcije, ki so različne od nič na omejenem območju okrog točk j [7,19]. Funkcijam ψj pravimo testne funkcije. Naj bo L(Ũ) = 0 vodilna enačba problema, ki ga rešujemo. Polje Ũ je točna rešitev, če pa rešitev aproksimiramo s (3.15), potem enačba ne bo točno izpolnjena, ampak bo L(U ) = R , (3.16) kjer je R ostanek. Rešitev problema so koeficienti uj , ki jih izračunamo z zahtevo, da naj bo R minimalen v smislu ZZ Rϕi dΩ = 0 , (3.17) Ω zato tudi ZZ Ω L(U )ϕi dΩ = 0 , (3.18) kjer so ϕi utežne funkcije. Te so definirane v točkah z neznanimi vrednostmi spremenljivk i ∈ [1, M ]. Točke z neznanimi vrednostmi spremenljivk ui imenujemo aktivne točke. Vseh točk je N , aktivnih pa M ≤ N . Enačba (3.17) pomeni, da je ostanek R ortogonalen na utežne funkcije. Ker je utežnih funkcij M , kolikor tudi neznanih koeficientov, dobimo z vstavljanjem vseh ϕi natanko M enačb za M neznanih ui . Za Galerkinovo formulacijo je značilno, da so utežne funkcije enake testnim, torej ϕi ≡ ψi . (3.19) Testne funkcije praviloma izbiramo med odsekoma zveznimi polinomi istega nizkega reda. Tako je ψj tista testna funkcija, ki ima v točki j vrednost 1, v ostalih točkah 0, vmes pa je interpolirana z ustreznim polinomom, ki določa red aproksimacije in testne funkcije. Kot primer si oglejmo tri sosednje testne funkcije za enodimenzionalni problem, ko so le–te odsekoma zvezni polinomi prvega reda (linearne) (sl. 3.11). 3 NUMERIČNE METODE 1 ψj−1 18 ψj ψj+1 .... .... . ......... .. .. . .. .. . .... ........ .... .... .... .... .... . . . . . . . . . ..... ... .. .... .... ..... ..... .... .... .... . .. . . ........ . . . . . . . . . . . . ...... ..... .. .... ..... . .... ... . . . . . . . . . . . . ..... . ..... ..... ... . .. . . . ..... . . .. . . . . . . . . . ..... . .. . ..... . . . ... . . . . . ..... .. . . .. . . . . . . . . .... . ..... .... .... xj−1 xj xj+1 Sl. 3.11: Slika linearnih testnih funkcij za enodimenzionalni primer. Analogno lahko definiramo testne funkcije za večdimenzionalne probleme. Med enostavnimi liki (elementi), s katerimi pokrijemo domeno, so najbolj razširjeni kvadrati, pravokotniki in trikotniki. Pravokotni elementi so uporabni predvsem pri pravokotnih geometrijah, zato smo se pri diplomskem primeru odločili za trikotnike, katerih mrežo lahko tesneje prilagodimo robovom nepravilnih oblik (sl. 3.12). Linearne testne funkcije za dvodimenzionalni problem so piramidalne funkcije, njihova osnovna ploskev pa je sestavljena iz trikotnikov. Sl. 3.12: Pri FEM na domeno razpnemo mrežo elementov. Metoda ima svoje prednosti in slabosti. Med prednostmi je najpomembnejše dejstvo, da poznamo rob v robnih točkah, vmes pa ga lahko izračunamo z interpolacijo. To je veliko bolj natančno kot pri celičnih metodah, če primerjamo taki simulaciji, pri katerih sta število mrežnih točk (FEM) ter število celic (MAC, SM), enaki. Ker imamo pri FEM točke na robu, lahko aproksimiramo tudi normalo in ukrivljenost roba. Slabe strani se pokažejo pri divjih gibanjih tekočine, če se mreža premočno deformira, in je za nadaljne račune neuporabna. Pri celičnih metodah so različne začetne oblike vodile do istih stacionarnih stanj, pri metodi FEM pa račun konvergira k stacionarni obliki le pri začetnih oblikah, ki so blizu končni. 3 NUMERIČNE METODE 19 Stacionarno hitrostno polje izračunamo iz divergenčnega stavka (2.1) in stacionarne Navier-Stokesove enačbe. Na začetku poglavja smo opisali, da diskretiziramo polja u, v in p s testnimi funkcijami X X X u= uj ψj , v = vj ψj , p = pj ψj . (3.20) j j j Za diskretizacijo vseh polj bi radi uporabili linearne testne funkcije, ker je z njimi izračun skalarnih produktov (3.18) bistveno enostavnejši. Čeprav večina strokovnjakov [12,20] priporoča uporabo testnih funkcij drugega reda za hitrostno in prvega reda za tlačno polje, bomo s trikom iz poglavja 3.3.2 tlak približno izrazili s hitrostnim poljem, zato nas zdaj zanima le, kakšne naj bodo testne funkcije za hitrost. Videli bomo, da so pri danih problemih rezultati, dobljeni z linearnim interpoliranjem vseh polj, popolnoma smiselni in primerljivi z rezultati celičnih metod. Da bi prišli do Galerkinove formulacije stacionarnega Navier-Stokesovega problema, ukrepamo kot v (3.18). Stacionarno Navier-Stokesovo enačbo pomnožimo z utežnimi funkcijami ψi in integriramo po Ω. Enako storimo z enačbo (2.1). Sledi ZZ ux + vy ψi dS = 0 , (3.21) Ω ZZ 1 2 (u )x + (uv)y + px − (uxx + uyy ) ψi dS = 0 , (3.22) Re Ω ZZ ZZ 1 1 2 (vxx + vyy ) ψi dS = − 2 ψi dS . (3.23) (v )y + (uv)x + py − Re Fr Ω Ω Rešitev stacionarnega sistema pri dani obliki domene predstavljata vektor hitrosti v in tlačno polje p. V stacionarnem stanju veljata na prostem robu pogoja (2.15) in (2.16). Pogoj (2.16) uporabimo za izračun stacionarnega hitrostnega polja pri trenutni obliki domene, pogoj (2.15) pa pri spreminjanju njene oblike. Obliko domene spremenimo s premikanjem prostorobnih točk za ∆rj = (vj ·nj )nj · ∆t ; j ∈ ∂Ω , (3.24) kjer je ∆t parameter, s katerim utežimo premikanje prostorobnih točk. Posebnost pri modeliranju prostega roba, je trojna točka; to je točka, v kateri se stikajo tekočina, stena in zunanji medij. Gibanje trojne točke v realni tekočini je odvisno od mnogih parametrov, ki jih v modelu ne moremo upoštevati. V takih primerih se zatečemo k poenostavitvam. Najpreprostejši možnosti sta: trojnih točk ne premikamo, ali pa jih premikamo tako, da ostane kot med prostim robom in steno konstanten. Pri konkretnem problemu je bil ustreznejši drugi način, zato je začetni naklon roba v trojnih točkah enak naklonu v vseh naslednjih korakih. Premikali smo tudi notranje točke, ker so deformacije prostega roba lahko tako velike, da bi pri fiksnih pozicijah točk lahko privedle do defektne računske mreže, 3 NUMERIČNE METODE 20 pri kateri ena ali več notranjih točk leži izven domene, omejene z robnimi točkami. Poleg tega je napaka metode najmanjša, če so trikotniki enakostranični. Zato smo po vsakem premiku prostorobnih točk premaknili vsako notranjo točko v težišče njenih sosed. Iteriranje k stacionarnemu stanju ustavimo, ko je X vj ·nj ≤ δ , (3.25) j∈∂Ω kjer je δ neko majhno, pozitivno število. Ko je zadoščeno pogoju (3.25), so spremembe roba dovolj majhne. Z zmanjševanjem parametra δ lahko poljubno povečamo natančnost pri iskanju stacionarnega stanja. Postopek iteriranja h končni obliki lahko razdelimo na štiri glavne dele: 1. izberemo začetno obliko domene 2. za trenutno obliko izračunamo stacionarno hitrostno polje pri pogoju, da je tlak na robu enak nič 3. prosti rob premaknemo, kot nam narekuje prostorobni pogoj o tangencialnih hitrostih 4. 2. in 3. korak ponavljamo, dokler niso premiki prostega roba dovolj majhni. 3 NUMERIČNE METODE 3.3.2 22 Povezava tlaka s hitrostnim poljem (penalty method) Uporaba penalne metode (penalty nethod) je priljubljena predvsem v francoski šoli numerične matematike [9,16,19]. Pravi, da lahko tlak približno izrazimo s hitrostnim poljem kot 1 1 p = − (ux + vy ) = − (∇ · v) ε ε , (3.26) kjer je parameter ε majhno, pozitivno število, ali lim ε→0 1 − (∇ · v) ε = p . (3.27) Za boljšo predstavo zveze (3.26) skiciramo dva primera lokalnega hitrostnega polja. ..... ..... .... .... .... ..... ..... .. . .................... ... ... .................. .... .. ..... . . . ... .... .... ..... ..... . ..... .... .... ..... . . . . ..... .. ..... ............ .......... • S .......... ............ .. ..... .... ..... .... .... .... ..... . Sl. 3.13a: (∇ · v) < 0 , S ........... ........... .. ..... .... ..... ..... .... .... .... .. . ..... .... .... ..... . . . .. .... .. ...... .......... .......... .... ................... .. .... . .... . . . ... .... .... ..... .... • T .... .... .... .... ..... .... .... . ... . ................... .... sl. 3.13b: (∇ · v) > 0. T Puščice kažejo v smer vektorskega polja. Iz teorije polj sta nam tipa točk S in T znana kot ponor in izvor, srečamo pa ju pri necevastih poljih. Taka polja imajo divergenco različno od nič, lokalno pa so v točkah z negativno divergenco ponori, v tistih s pozitivno pa izvori polja. Pri delu z nestisljivo tekočino lahko povežemo tlak s hitrostnim poljem, če zahtevi ∇ · v = 0 popustimo in malenkostne odmike od ničelne vrednosti, povežemo s tlakom, kot smo že pokazali v (3.26). Tako v točki tipa S (sl. 3.13a) vidimo nadtlak, v točki tipa T (sl. 3.13b) pa podtlak, oba sorazmerna ∇ · v. Vpliv poudarimo ali zanemarimo z ustrezno izbiro parametra ε. Prednost metode je v tem, da smo tlak izrazili s hitrostnim poljem, in se tako znebili ene od neznank. Oznako p bomo še vedno uporabljali, vendar bo od začetka naslednjega poglavja naprej pomenila isto kot v (3.26). 3.3.3 Matrični členi 3 NUMERIČNE METODE 23 Pri reševanju z metodo končnih elementov je vmesni cilj matrični sistem A · x = b. V matriki A so skriti deli enačb, ki so odvisni od vrednosti v aktivnih točkah. V vektor b vpletemo robne pogoje in znane vrednosti, odvisno pač od danega primera. Vektor x je sestavljen iz vrednosti spremenljivk v aktivnih točkah. Sistem lahko točno nastavimo samo za linearne probleme, pri nelinearnih si pomagamo z linearizacijo, v danem primeru v → v0 + v. V vektorju x so tako popravki hitrosti v ali u1 .. . u x = N , (3.28) v1 . .. vN če je N število aktivnih točk. S testnimi funkcijami diskretiziramo spremenljivke (3.20), prav tako pa tudi njihove odvode, npr. X ∂(uj ψj ) X ∂ψj X ∂u = = = uj uj ψjx ∂x ∂x ∂x j j j . (3.29) Pri linearnih testnih funkcijah je definiran le prvi odvod, višji so enaki nič. Pri drugih odvodih si pomagamo z Greenovo formulo ZZ Z ZZ (Px + Qy )ψdS = (P, Q)·n ψds − (Px ψx + Qy ψy )dS , (3.30) Ω ∂Ω Ω kjer pomeni Ω domeno, ∂Ω njen rob, n = (nx , ny ) pa normalni vektor na ∂Ω v smeri navzven Ω. Najprej sistem lineariziramo in pustimo še v osnovni obliki. Iz 0 1 2 0 0 0 ∇ (v + v) = (v + v) · ∇ (v + v) + ∇p − − F1r2 Re sledi 1 2 (v · ∇)v0 + (v0 · ∇)v + ∇p − ∇ v = Re 1 0 − (v0 · ∇)v0 − ∇p0 + ∇2 v0 1 − F r2 Re , (3.31) (3.32) kjer smo zanemarili člen (v · ∇)v ter na novo označili p= − 1ε ∇·v in p0= − 1ε ∇·v0 . Prepišimo v Galerkinovo obliko (3.22), (3.23) in sproti razstavimo na komponente ZZ 1 0 0 0 0 uux + vuy + u ux + v uy + px − (uxx + uyy ) ψdS = Re Ω ZZ 1 0 0 0 0 0 0 0 (u + uyy ) ψdS − u ux − v uy − px + Re xx Ω (3.33) 3 NUMERIČNE METODE ZZ Ω 24 1 + + u vx + v vy + pu − (vxx + vyy ) ψdS = Re ZZ 1 0 1 0 0 0 0 0 0 − u vx − v vy − py + (v + vyy ) ψdS − F r2 Re xx Ω uvx0 vvy0 0 0 (3.34) . Nekajkrat naletimo na drugi odvod: v (3.33) pri uxx + uyy in px , saj p = − 1ε ∇·v. Ustrezne člene integriramo per partes po (3.30), za primer dva iz (3.33) ZZ (uxx + uyy )ψdS = Ω Z ∂Ω ZZ (ux , uy )·n ψds − Z px ψdS = Ω ∂Ω pψnx ds − ZZ (ux ψx + uy ψy )dS , (3.35) Ω ZZ pψx dS . (3.36) Ω Posvetimo se robnima integraloma v (3.35) in (3.36). Vanju vključimo robne pogoje, ti pa so odvisni od posameznega primera. Pri prostem robu so aktivne tudi prostorobne točke, vendar bomo v njih predpisali p = 0, da zadostimo enemu od robnih pogojev. Tako od robnih integralov ostane v enačbi le tisti iz (3.35). Izpeljali bomo matrične elemente za prostorobni problem, zato bomo v nadaljevanju izpeljave ustrezne robne integrale upoštevali. Združimo (3.33)-(3.36): ZZ ZZ 0 0 0 0 uux + vuy + u ux + v uy ψdS + pψx dS− Ω Ω Z ZZ 1 1 (ux , uy )·n ψds + ux ψx +uy ψy dS − Re ∂Ω Re Ω ZZ ZZ 0 0 0 0 = − u ux + v uy dS − p0 ψx + Ω Ω Z ZZ 1 1 0 0 0 0 (u , u )·n ψds − ux ψx + uy ψy dS Re ∂Ω x y Re Ω ZZ Ω ZZ + + u vx + v vy ψdS + pψy dS− Ω Z ZZ 1 1 (vx , vy )·n ψds + vx ψx +vy ψy dS − Re ∂Ω Re Ω ZZ ZZ 0 0 0 0 = − u vx + v vy dS − p0 ψy + Ω Ω Z ZZ 1 1 0 0 0 0 (v , v )·n ψds − vx ψx + vy ψy dS Re ∂Ω x y Re Ω uvx0 vvy0 0 (3.37) , 0 (3.38) in za zgled do konca RR izpeljemo RRle levo stran R (3.37), saj so ostali RRčleni podobni. Štirje 0 značilni členi so uux ψdS, pψx dS, (ux , uy )·nψds ter (ux ψx + uy ψy )ψdS. 3 NUMERIČNE METODE 25 Vsakega posebej razvijemo in dobimo X ZZ ZZ X 0 0 uux ψdS = uj ψj uk ψkx ψi dS = Ω Ω = j = j Ω k XX j ZZ Ω pψx dS = − ∂Ω j ZZ Ω u0k k ε Ω 1X − ε j (ux , uy )·n ψds = X Z = nxj uj u0k ψj ψkx ψi dS = ZZ X 1 1X = − ε j Z k X X ZZ ZZ Ω ψj ψkx ψi dS uj (uj ψjx + vj ψjy )ψix dS = ZZ ψjx ψi dS uj ZZ ψjy ψi dS vj (i,j)∈∂Ω Ω (3.40) , (3.41) ψjy ψi ds uj , (ψjx ψix + ψjy ψiy )dS uj . j X ZZ j , j X y Z ψjx ψi ds uj + nj (ux ψx + uy ψy )dS = (3.39) (i,j)∈∂Ω (3.42) Zaradi dveh enačb v Navier-Stokesovem sistemu razpadeta vektorja x in b v dva bloka, matrika A pa v štiri. Medsebojno prepleteni enačbi (3.37) in (3.38) povežemo v matrični sistem tako, da v zgornjo polovico sistema vpišemo enačbo za komponento x (3.37), v spodnjo pa enačbo za komponento y (3.38). Če je število aktivnih točk in neznanih vektorjev hitrosti N , je dimenzija vektorjev x in b 2N , dimenzija matrike A pa 2N × 2N . Matrični sistem ima obliko a1,1 ... a1,N a1,N +1 ... a1,2N b1 u1 .. .. .. .. .. .. .. .. . . . . . . . . uN aN,1 ... aN,N aN,N +1 ... aN,2N bN · , (3.43) = aN +1,1 . . . aN +1,N aN +1,N +1 . . . aN +1,2N v1 bN +1 .. . .. .. .. .. .. .. .. . . . . . . . vN b2N a2N,1 . . . a2N,N a2N,N +1 . . . a2N,2N kjer so posamezni elementi X X 1 i,j i,j,k 0 i,j,k 0 − Fy vk + Gx,x Fx uk + ai,j = 2 ε k k 1 1 x i,j y i,j i,j i,j n Hx + n Hy Gx,x + Gy,y + Re (i,j)∈∂Ω Re , (3.44) 3 NUMERIČNE METODE 26 1 i,j Fyi,j,k u0k + Gy,x ε X ai,N +j = k , 1 i,j , Fxi,j,k vk0 + Gx,y ε k X X 1 i,j i,j,k 0 i,j,k 0 aN +i,N +j = 2 Fy vk + Fx uk + Gy,y − ε k k 1 1 x i,j y i,j i,j i,j n Hx + n Hy Gx,x + Gy,y + Re (i,j)∈∂Ω Re aN +i,j = bi = X j X (3.46) , (3.47) ( X X i,j,k 0 i,j,k 0 0 Fy uk vj0 Fx uk uj − − k k 1 i,j 0 G i,j u0 + Gy,x vj ε x,x j ) 1 1 i,j i,j nx Hxi,j + ny Hyi,j Gx,x + Gy,y u0j u0j − + Re Re (i,j)∈∂Ω − 1 bN +i = − 2 I i + Fr ( X X X i,j,k 0 i,j,k 0 0 Fx vk u0j Fy vk vj − − j (3.45) k k 1 i,j 0 i,j 0 − Gx,y uj + Gy,y vj ε ) 1 1 i,j i,j + nx Hxi,j + ny Hyi,j Gx,x + Gy,y vj0 vj0 − . Re Re (i,j)∈∂Ω (3.48) , (3.49) Uvedeni znaki pomenijo: Fxi,j,k Fyi,j,k i,j Gx,x i,j Gy,x i,j Gx,y = ZZ ψj ψkx ψi dS , (3.50) ψj ψky ψi dS , (3.51) Ω = ZZ Ω = ZZ ψjx ψix dS , (3.52) ψjy ψix dS , (3.53) ψjx ψiy dS , (3.54) Ω = ZZ Ω = ZZ Ω 3 NUMERIČNE METODE 27 i,j Gy,y = ψjy ψiy dS , (3.55) Ω Hxi,j Hyi,j I ZZ i = Z ψjx ψi ds , (3.56) ψjy ψi ds , (3.57) ∂Ω = Z ∂Ω = ZZ ψi dS . (3.58) Ω Ostane nam še, da izračunamo skalarne produkte (3.50)–(3.58). Naj bo X X i,j,k ψi = χi , j (3.59) k kjer trojica (i, j, k) tvori trikotnik, χi,j,k pa je ravnina nad trikotnikom (i, j, k) z i i,j,k vrhom v točki i. Enačba za χi je tako χi,j,k = i αi + βi x + γi y 2∆ , (3.60) kjer so parametri enačbe ravnine αi = xj yk − xk yj βi = yj − yk , (3.61) , (3.62) γi = xk − xj , 1 xi yi 1 ∆ = 1 x y j j 2 1 xk yk (3.63) . (3.64) Parameter ∆ je ploščina trikotnika (i, j, k). Pri izračunu si pomagamo s formulo [18] ZZ l n m m!n!l! · 2∆ . (3.65) χk dS = χj χi (m + n + l + 2)! ∆ Naravna števila (z ničlo) m, n in l pomenijo, kolikokrat nastopa ustrezna funkcija v skalarnem produktu, še vedno pa velja, da (i, j, k) tvorijo trikotnik. Tako so od nič različni integrali le tisti, katerih točke vrhov so točke trikotnika (lahko tudi enake). Za zgled izračunajmo enega od integralov: ZZ 1 1 1 i,j,k χj χkx χi dS = Fx = ∆ ∆ βk ZZ ; i=j ; i=j βk βk 1 1 6 12 = χj χi dS = · . = 2∆ 2∆ ∆ ∆ ; i 6= j βk ; i 6= j 12 24 (3.66) 3 NUMERIČNE METODE 28 Ko napolnimo matriko A in vektor b , z ustreznim programom za reševanje matričnega sistema, izračunamo vektor popravkov hitrostnega polja x , ki je vektor popravkov hitrosti v. Postopek ponavljamo, dokler popravki niso dovolj majhni. Tako dobimo stacionarno hitrostno polje pri dani obliki domene. Matrika je redka (ima malo neničelnih elementov), ker ima vsaka od točk največ šest sosed. Zato je v vsaki vrstici od štirih blokov matrike A šest neničelnih elementov plus diagonalni. To lastnost lahko izkoristimo, da prihranimo računski čas. Namesto standardnih metod za reševanje matričnih sistemov (npr. Gaussova eliminacija) zato uporabimo program za reševanje redkih matričnih sistemov. Posegli smo po programu sparse.pas iz programskega paketa Numerical Recipes in Pascal [17], ki uporablja algoritem za minimizacijo skalarne funkcije f (x) = |Ax − b|. Namesto časovne zahtevnosti O(n3 ) (Gaussova eliminacija), je zahtevnost reda 10n, kjer je n dolžina vektorjev. Občuten prihranek v času pri razsežnih sistemih nas stane nekaj natančnosti. V danem primeru je matrika A sestavljena iz števil, ki se razlikujejo za k velikostnih redov, če je parameter penalne metode ε = 10−k . Zato mora program teči z razširjenim tipom realnih števil, kar pa ni nujno slabost, saj se zaradi posebnega načina prenosa podatkov na nekaterih računalnikih tako še celo skrajša čas računanja. 3 NUMERIČNE METODE 3.3.4 29 Preizkusni primer 1: dvodimenzionalni vrtinec v votlini Standardni in velikokrat predstavljeni [7,19] problem dvodimenzionalnega vrtinca v votlini (driven cavity) nam je služil kot osnovni preizkus metode. Votlina kvadratne oblike, v katero je do vrha natočena tekočina, je pokrita s premičnim pokrovom. Tega vlečemo s hitrostjo u0 ter tako tekočino spravimo v gibanje (sl. 3.14). u = u0 = 1, v = 0 ... ................................................................................ u = 0, v=0 u = 0, v=0 tekočina u = 0, v = 0 Sl. 3.14: Skica modela dvodimenzionalnega vrtinca v votlini z robnimi pogoji. Votlina nima prostega roba, zato v matričnih členih ni robnega integrala iz (3.35). Brez težnega pospeška g0 = 0 je tudi F1r2 = 0. V vseh primerih je hitrost zgornje plošče u0 = 1. Na slikah 3.15a in 3.15b sta primera z Reynoldsovima številoma Re = 1 in Re = 600. Pri Re > 100 se v spodnjem desnem kotu pojavi še en vrtinec velikosti stotinke ploščine votline, ki kroži v nasprotni smeri. |v|max = 0.407 Sl. 3.15a: Re = 1, ε = 0.01, |v|max = 0.359 sl. 3.15b: Re = 600, ε = 10. Sliki 3.15a in 3.15b lahko primerjamo z zgledi, ki jih najdemo v [19], kjer so prav tako uporabljene linearne testne funkcije. 3 NUMERIČNE METODE 3.3.5 30 Preizkusni primer 2: odtekanje eliptičnega bloka tekočine Podobno kot v poglavjih 3.1.2 in 3.2.2, le z drugačno začetno obliko, pustimo da tekočina prosto izteče. Poleg dodatnega robnega integrala iz (3.35) se ta primer od prejšnjega (driven cavity), razlikuje tudi po tem, da potrebujemo postopek za premikanje roba. Pri dani obliki domene izračunamo stacionarno hitrostno polje s tlakom, ki ima na robu vrednost nič. Potem prostorobne točke premaknemo, kot nam narekujejo hitrosti na robu (3.24). S parametrom ∆t utežimo premikanje roba. Z izbiro prevelikega parametra se lahko mreža premočno deformira že pri prvem premiku. Če pa je ∆t premajhen, potrebujemo veliko število iteracij, da izračunamo celoten potek. Preverili smo, da je za vrednosti ∆t, ki so manjše od neke mejne vrednosti, časovni potek približno enak. Po premiku prostorobnih točk premaknemo še notranje točke z zahtevo, da ostanejo čim bolj enakomerno razmetane po domeni – vsaka točka naj bo v težišču svojih sosed. Pri odtekanju tekočine stacionarne oblike, kjer velja (3.25), ne bomo dosegli. Sledili bomo robu, dokler se mreža preveč ne deformira. Na sl. 3.16 so oblika začetnega stanja, polje hitrosti v začetnem stanju tik pred prvim premikom mreže, in polje hitrosti tik pred štirimi naslednjimi zaporednimi premiki mreže. 3 NUMERIČNE METODE Sl. 3.16: Odtekanje eliptičnega bloka tekočine, Re = 2, 31 1 F r2 = 1. 3 NUMERIČNE METODE 3.3.6 32 Rešitve K diplomskemu primeru preidemo od drugega primera s premikanjem spodnje plošče in merjenjem napake normalnih hitrosti (2.15). Ko pade |∆r| pod dovolj majhno mejno vrednost, smo z rešitvijo zadovoljni. Na tok tekočine poleg Re in 1 F r 2 vplivata tudi parameter ε in začetna oblika kaplje, ki je podana z razmerjem polosi elipse. Začetna oblika mora biti dovolj blizu končnemu stanju, da ga z zaporednimi premiki roba sploh dosežemo. Predstavljamo dva primera, ki sta narejena tudi z metodo sledilnih delcev. Sl. 3.17: Oblika po dolgem času za Re = 1, 1 F r2 Sl. 3.18: Oblika po dolgem času za Re = 0.3, = 1. 1 F r2 = 11. 4 PRIMERJAVA METOD Vse tri metode smo primerjali po prostoru in času, ki ga vzamejo računalniškemu pomnilniku. Predstavili smo še glavne prednosti in slabosti ter se potem odločili za metodo, ki jo bomo uporabili pri pregledu spektra parametrov. Od metode zato zahtevamo, da deluje čez široko območje različnih vhodnih vrednosti ter da je časovno čim manj zahtevna. 4.1 Prostorska zahtevnost Računski mreži sta pri metodah MAC in SM enaki, zato primerjava ni sporna, pri FEM pa za primerjavo z delčnima metodama (število celic) vzamemo število mrežnih točk. Oblika roba je določena do celice natančno pri delčnih metodah, ter do mrežne točke natančno pri FEM metodi. Pri metodi MAC je na računsko domeno, ki obsega celotno pravokotno posodo, napeta mreža velikosti JM AX ×KM AX (sl. 3.2). Pri računanju potrebujemo štiri polja realnih števil: dve hitrostni, tlačno, eno pomožno polje za izračun tlačnega polja (3.12), ter črkovno polje z označbami statusa celic. V celicah, kjer je na začetku tekočina, imamo tudi sledilne delce. Simulacije so narejene z d (16 do 36) delci na celico. Če začetna oblika pokriva približno četrtino celotne domene, je velikost polja sledilnih delcev Nsled. delci = 1 JM AX × KM AX × d . 4 (4.1) Eden od trenutno zmogljivejših osebnih računalnikov je zmogel premleti izračune do velikosti mreže JM AX × KM AX = 30 × 30. Izračun prostorsko bolj omejuje program PASCAL 6.0, kot pa računalniški pomnilnik. Program namreč ni sposoben izkoristiti vsega spomina, ki je na voljo v računalniku. Če programi tečejo v razširjenem spominu, smo omejeni šele pri nekajkrat večjih mrežah. Tudi pri SM metodi potrebujemo štiri polja realnih in eno polje črkovnih vrednosti. Nekaj pomnilniškega prostora prihranimo zaradi manjšega števila markerjev. Ker so robni, so zdaj namesto šestnajstih v navadni robni celici le štirje, v ogliščni celici pa jih je sedem. Število robnih sledilnih delcev v navadni robni celici označimo z d. 33 4 PRIMERJAVA METOD 34 Tako je število markerjev za primer, ko sta stranici pravokotnika približno enako dolgi Nrob. sled. delci = 1 (JM AX + KM AX) × d + 4 · (2 × d − 1) . 2 (4.2) Produkt 4 · (2 × d − 1) pomeni število robnih markerjev v štirih ogliščnih celicah. Razlika (4.1) in (4.2) je ves prostorski prihranek, ki ga pridobimo s prehodom od MAC k SM metodi. Pri programu FEM največ pomnilniškega prostora potrebujemo za dve hitrostni polji dimenzije N , matriko sistema dimenzije 2N × 2N in vektor desnih strani dimenzije 2N . Prostor jemlje še množica pomožnih polj: polje trikotnikov, aktivnih točk, itd. Če primerjamo MAC ali SM program z danim številom polnih in robnih celic ter FEM program z enakim številom aktivnih točk, slednji zahteva okrog 50% več prostora. 4.2 Časovna zahtevnost Vrednosti karakterističnih časov so bile ocenjene na osebnem računalniku s procesorjem INTEL 80486, matematičnim koprocesorjem in frekvenco sistemske ure 33 MHz. Pri metodi MAC porabi program največ časa pri računanju tlačnega polja iz Poissonove enačbe (3.12) s podprogramom SOR. Ker opazujemo časovni razvoj kaplje, je čas, potreben za izračun stacionarnega stanja, odvisen od parametrov toka, groba ocena njegove karakteristične vrednosti je okrog 30 minut. Tudi metoda SM porabi največ časa pri postopku SOR, v primerjavi z MAC pa prihrani nekaj časa pri premikanju sledilnih delcev. Pri istih pogojih porabi približno 70-80% časa MAC simulacije za dosego stacionarnega stanja. Pri metodi končnih elementov je časovno najpotratnejša procedura izračuna redkega matričnega sistema sparse.pas, katere časovna zahtevnost močno raste z dimenzijo sistema. Ker iteriranja ne ustavljamo interaktivno, je primerjava z metodama sledilnih delcev vprašljiva. Groba ocena značilnih časov iteracije je približno 60 minut. 4.3 Ostale prednosti in slabosti Pri metodi MAC gosto polje sledilnih delcev daje nazoren opis prostega roba, čeprav ne smemo pozabiti, da bi pravo obliko dobili šele z zmanjšanjem dolžine 4 PRIMERJAVA METOD 35 celice. Metoda deluje za širok prostor parametrov kaplje, kar je ugodno pri pregledovanju spektra stacionarnih stanj, čeprav slednjih ne moremo zaznati z ustreznim podprogramom in smo prisiljeni program ustaviti interaktivno. Če bi bile pri metodi SM robne točke ves čas procesa na robu, bi metoda nudila idealno sliko prostega roba, tako pa nas sili k različnim interpretacijam zajed in zavihkov, ki nastajajo med časovnim razvojem kaplje. Ostale slabosti so omenjene že pri metodi MAC. Prednost metode FEM je v sistematiziranem iskanju stacionarnega stanja, ki je jasno določeno s prostorobnim pogojem (2.15), vendar ga dosežemo le za ozek prostor parametrov, kar je glavna slabost metode. Vse tri metode imajo precejšnjo prostorsko in časovno zahtevnost, tako da so bile pri izbiri najustreznejše metode za preiskovanje spektra parametrov odločilne ostale prednosti in slabosti. Odločili smo se za metodo MAC: nazornejša je od metode SM ter hitrejša, stabilnejša in splošnejša od metode končnih elementov. 5 RAZDELITEV PROSTORA PARAMETROV 5.1 Posamezni zgledi Pri numeričnem računanju si ne moremo privoščiti vogala z neskončnima stranicama, zato smo kapljo, kot že v prejšnjih poglavjih, zaprli v oglato posodo. Re = 0.01 1 F r 2 =0.01 Re = 0.1 1 F r 2 =10 Re = 0.01 1 F r 2 =100 Re = 0.1 1 F r 2 =100 Sl. 5.1: Oblike kaplje po dolgih časih. V levem stolpcu za Re=0.01, v desnem za Re=0.1. Vse oblike so stacionarne, razen spodnje desne s parametroma Re=0.1 in F1r2 =100, kjer posamezni markerji kažejo živahno dogajanje v repu tekočine (primerjava z velikostjo celice na sl. 3.1). Sliki v levem stolpcu za Re = 0.01 očitno kažeta kvazi-stacionarno stanje kaplje z zelo veliko viskoznostjo. 36 5 RAZDELITEV PROSTORA PARAMETROV 37 Iz enačbe (2.7) vidimo, da je dinamika kaplje odvisna od parametrov Re in F1r2 , ki sta določena s karakteristično dolžino L0 , hitrostjo u0 , z materialnimi lastnostmi preko kinematične viskoznosti ν = ηρ in s poljem sile teže preko g0 . Re = 5 1 F r 2 =0.5 Re = 5 1 F r 2 =1 Sl. 5.2: Obliki kaplje po dolgem času za Re=5. Leva slika kaže skoraj stacionarno obliko, pri desni se največje spremembe prostega roba dogajajo v repu. Re = 1 1 F r 2 =1 Re = 2 1 F r 2 =1 Re = 1 1 F r 2 =10 Re = 2 1 F r 2 =10 Sl. 5.3: Končne oblike kaplje. V levem stolpcu Re=1, v desnem pa Re=2 . Gornji sliki sta sliki stacionarne oblike. 5 RAZDELITEV PROSTORA PARAMETROV 38 Sistematičnega pregledovanja smo se lotili pri majhnih Re in F1r2 ter nadaljevali postopoma do velikostnih redov 1000. Zaradi že omenjenih slabosti numerične metode MAC (interaktivno ustavljanje) bomo končno razdelitev spektra ponudili le kot namig, v katerem delu lahko pričakujemo stacionarna stanja. Na sl. 5.15.3 smo prikazali nekaj končnih oblik. To so oblike po dovolj dolgih časih, ko se je tekočina polegla, pri nestacionarnih končnih stanjih pa ponavadi opazujemo turbuletno gibanje v repu tekočine (glej npr. sl. 5.3, Re = 1, F1r2 = 10). 5.2 Razdelitev prostora S pomočjo podatkov iz prejšnjega podpoglavja lahko približno nakažemo tiste dele spektra, v katerih pričakujemo stacionarna stanja kaplje. Poiskali smo tudi nekaj posebnih primerov gibanja in jih zabeležili v prostoru parametrov. V zgledih nastopajo različne snovi, vendar vse v primerih, kjer veljajo za nestisljive, sile površinske napetosti pa so zanemarljive zaradi velikosti sistema. Primere ločimo med seboj po tekočinah, ki v njih nastopajo, in so z imenom tekočine označeni tudi na sl. 5.5. voda: Kapljica vode je na tekočem traku, ki izginja pod steno, kot na sl. 2.1. Njen −2 kg presek je S = 1cm2 , hitrost plošče pa u0 = 1 cm s . Če je η = 10 ms , potem 1 F r 2 = 1000 in Re = 100. 2 glicerin: Enako kot pri vodi, le ν = 6.7 cm s , zato 1 F r2 = 1000, Re = 0.15. med: Lahko si mislimo kapljo meda na tekočem traku, kot v prejšnjih primerih, ali pa, da ga z ostrim predmetom strgamo s podlage. Z istima S in u0 dobimo 1 F r 2 = 1000. Viskoznost medu je v okolici sobne temperature močno odvisna kg kg od temperature . Vzeli smo η ≈ 10 ms in ρ = 1000 m 3 , zato Re ≈ 0.01. testo: Predstavljajmo si valjasto kepo testa z osnovno ploskvijo S = 1dm2 , ki jo valjamo s hitrostjo u0 = 1 dm s . Valjar je pravokoten in pred sabo nariva testo. kg kg −3 Za viskoznost testa smo vzeli η ≈ 104 ms in ρ ≈ 1000 m . 3 . Sledi Re ≈ 10 asfalt: Še preden se asfalt strdi, ga cestni delavci razmažejo s cestnim valjarjem. Dogajanje je podobno valjanju testa. Karakteristični vrednosti sta L0 = 0.1m kg kg 1 in u0 = 0.1 m s . Za vrednosti η ≈ 100 ms in ρ ≈ 2000 m3 dobimo F r 2 = 100, Re ≈ 0.2. sneg: Tudi pluženje snega lahko vzamemo za primer, če si mislimo, da je plug ravne oblike. Valj preseka S = 1m2 , ki se nabere pred plugom, rinemo s hitrostjo 1 u0 = 1 m s , zato F r 2 = 10. Poznamo različne vrste snega. Če za viskoznost in kg kg gostoto vzamemo η ≈ 100 ms in ρ = 200 m 3 , je Re ≈ 2. 5 RAZDELITEV PROSTORA PARAMETROV 39 magma: Zadnji primer smo našli v geologiji. Med živahnim gibanjem tektonskih plasti pod zemeljskim površjem se ena plast zariva pod drugo. Na prvi plasti je ogromna kepa vroče magme, ki se dviguje ob navpičnem robu druge plasti. kg Gostota magme je približno ρ = 4000 m 3 , viskoznost pa je močno odvisna od kg temperature, za naš primer naj bo η ≈ 107 ms . Tako dobimo F1r2 = 104 in Re ≈ 10−3 . 4 3 2 log10 1 F r2 1 . ..... ......... ................... ....... ......................... ......... ......................... ...................... ........... ........... ....... .. magma .. ..... ....... .............. .......... ................... .................... . ............... ....................... .......................... .............................. . .................. .................... . . ............... .............. .............. .............. . . . ................. ........... . . . . ........ . . . . . ..... . . . . . .. . . . . . . . . . . . .... .... . . . . . ............... ................ . . . . . . . . . . . . . . . . . .............. ...................... . . . . ........................ ......................... . . . ................... ................. ................. . . ............................ ....... . . . ...................... .................... . . . ................. ......... . . . ......... ......... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .......... . . .................... . ......................... ........................... ........ .............................. ......... .............................. . . ............................ . ................... . . ....................... . . . ............. . . . . ........... ....... . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . med voda testo nestacionarna stanja asfalt glicerin 0 −1 sneg stacionarna stanja −2 −3 −2 −1 0 1 2 3 4 log10 Re Sl. 5.5: Razmejitev prostora (Re, F1r2 ) na vrednosti, ki vodijo do stacionarnega stanja, in na tiste, ki tega ne dosežejo. 6 ZAKLJUČEK Predstavili smo tri metode za reševanje problemov nestisljive viskozne tekočine s prostim robom: dve standardni celični in nov algoritem, ki temelji na relaksaciji trikotne mreže končnih elementov. Metoda končnih elementov se je izkazala kot uporabna predvsem pri preizkusnih primerih, zaradi občutljivosti na začetne pogoje pa je slabše služila pri konkretnem primeru iskanja stacionarne oblike. Edina je, pri kateri smo lahko avtomatično določili, kdaj so hitrosti na robu tangencialne, in tako izvedeli, kako daleč od stacionarnega stanja smo pri dani iteraciji. Metoda sledilnih delcev se je med naštetimi izkazala kot najustreznejša za pregled spektra stanj. V predzadnjem poglavju smo razdelili prostor parametrov in vanj vključili nekaj zgledov, ki so vsaj približno podobni glavnemu primeru. Med zgledi je nekaj eksotov, pri katerih je kinematično viskoznost težko najti v tabelah, ali sploh kako drugače določiti. Upamo, da bodo dobljeni rezultati potrjeni tudi z eksperimenti. Problem prehoda v turbulenco je pred nekaj leti spet prišel med popularnejše zaradi prodorov v eksperimentalni in teoretični fiziki tekočin. Ker scenariji prehoda od urejenega do turbulentnega gibanja še niso popolnoma raziskani, ostane za nadaljne delo predvsem izpopolnitev metod, da bomo lahko preverili, če tudi numerični rezultati vodijo do višjih stabilnih stanj, kot so nihanja tekočine med dvema in več oblikami roba. 40 ZAHVALA Doc. dr. B. Šarler, dipl.ing. in A. Košir, dipl.ing., Inštitut Jožef Štefan, R4, sta mi nudila dostop do strokovne literature in nepogrešljive računalniške opreme. Del naloge je bil po zaslugi prof. dr. V. Valenčiča, dipl.ing., opravljen tudi na računalnikih Laboratorija za Biokibernetiko na Fakulteti za Elektrotehniko in Računalništvo v Ljubljani, ki ga vodi prof. dr. L. Vodovnik, dipl.ing. Vsem se za pomoč in dobro voljo iskreno zahvaljujem. 41 LITERATURA [1] Dictionary of Physics, Valerie Illingworth (ed.), Penguin Books, London, 1991. [2] Batagelj, V., Golli, B., TEX, DFMA, Ljubljana, 1990. [3] Carey, G.F., Krishnan, R., Penalty Approximation, Iteration, and Continuation for Navier–Stokes Problems, Finite Elements in Fluids, Vol. 6, John Wiley & Sons Ltd., 1985. [4] Chen, S., Johnson, D.B., Raad, P.E., The Surface Marker Method, Wrobel, L.C., Brebbia, C.A. (eds.), Computational Modelling of Free and Moving Boundary Problems, Fluid Flow, Vol. 1, Computational Mechanics Publications and Walter de Gruyter, Southampton and Berlin, 1991. [5] De Sampio, P.A.B., A Petrov–Galerkin Formulation for the Incompressible Navier–Stokes Equations Using Equal Order Interpolation for Velocity and Pressure, Int. J. Numer. Methods Eng., Vol. 31, 1991. [6] Fetter, A.L., Walecka, J.D., Theoretical Mechanics of Particles and Continua, McGraw–Hill, New York, 1980. [7] Fletcher, C.A.J., Computational Techniques for Fluid Dynamics, Springer– Verlag, Berlin, 1988. [8] Floryan, J.M., Rasmussen, H., Numerical Methods for Viscous Flows with Moving Boundaries, Appl. Mech. Rev., Vol. 42, 1989. [9] Fortin, M., Glowinski, R., Augmented Lagrangian Methods: Applications to the Numerical Solutions of Boundary-Value Problems, North–Holland, Amsterdam, 1983. [10] Harlow, F.H., Shannon, J.P., The Splash of a Liquid Drop, J. Appl. Phys., Vol. 38, 1967. 42 LITERATURA 43 [11] Harlow, F.H., Welch, J.E., Numerical Calculation of Time–Dependent Viscous Incompressible Flow of Fluid with Free Surface, Physics of Fluids, Vol. 8, 1965. [12] Hughes, T.J.R., et al., Finite Element Analysis of Incompressible Viscous Flow by the Penalty Function Formulation, J. Comp. Phys., Vol. 30, 1979. [13] Hughes, W.F., Brighton, J.A., Fluid Dynamics, Schaumm’s Outline Series, McGraw–Hill, New York, 1967. [14] Koškin, N.I., Širkevič, M.G., Priročnik elementarne fizike, Tehniška založba Slovenije, Ljubljana, 1984. [15] Landau, L.P., Lifshitz, E.M., Course of Theoretical Physics, Vol. 6, Pergamon Press, 1987. [16] Pelettier, D., et al., Are FEM Solutions of Incompressible Flows Really Incompressible? (Or How Simple Problems Can Cause Headaches!), Int. J. Numer. Methods, Vol. 9, 1989. [17] Press, W.H., Flannery, B.P., Teukolsky, S.A., Vetterling, W.T., Numerical Recipes in Pascal, Cambridge University Press, Cambridge, 1990. [18] Strang, G., Fix, G.J., An Analysis of the Finite Element Method, Englewood Cliffs, 1973. [19] Temam, R., Navier–Stokes Equations, North–Holand, Amsterdam, 1984. [20] Zienkiewicz, O.C., The Finite Element Method, McGraw–Hill, London, 1977. [21] Zienkiewicz, O.C., Wu, J., Incompressibility Without Tears – How to Avoid Restrictions of Mixed Formulation, Int. J. Numer. Methods Eng., Vol. 32, 1991.
© Copyright 2024