Slabá formulace rovnic proudění tekutin

Transkrypt

1 Univerzita Karlova v Praze Matematicko-fyzikální fakulta BAKALÁŘSKÁ PRÁC Mark Dostalík Slabá formulace rovnic proudění tekutin Matematický ústav UK Vedoucí bakalářské práce: Studijní program: Studijní obor: doc. Mgr. Milan Pokorný, Ph.D. Fyzika Obecná fyzika Praha 23

2 Děkuji panu doc. Mgr. Milanu Pokornému, Ph.D. za vstřícnost, cenné rady a velmi trpělivé vedení mé bakalářské práce. Také bych chtěl poděkovat své rodině za podporu během studia i při práci na tomto textu.

3 Prohlašuji, že jsem tuto bakalářskou práci vypracoval samostatně a výhradně s použitím citovaných pramenů, literatury a dalších odborných zdrojů. Beru na vědomí, že se na moji práci vztahují práva a povinnosti vyplývající ze zákona č. 2/2 Sb., autorského zákona v platném znění, zejména skutečnost, že Univerzita Karlova v Praze má právo na uzavření licenční smlouvy o užití této práce jako školního díla podle 6 odst. autorského zákona. V... dne... Podpis autora

4 Název práce: Slabá formulace rovnic proudění tekutin Autor: Mark Dostalík Katedra: Matematický ústav UK Vedoucí bakalářské práce: doc. Mgr. Milan Pokorný, Ph.D., Matematický ústav UK Abstrakt: Obvyklý způsob odvození slabé formulace bilančních rovnic mechaniky kontinua vychází z jejich lokalizovaného tvaru, a vyžaduje tedy diferencovatelnost funkcí vystupujících v příslušném zákonu zachování. xistence klasických řešení těchto rovnic však mnohdy není známa, a proto by bylo vhodné nalézt přechod ke slabé formulaci bilančních zákonů bez nutnosti přechodu do jejich diferenciálního tvaru. Cílem práce je ukázat, že výchozí integrální forma bilančních rovnic mechaniky kontinua za poměrně slabých předpokladů přímo implikuje jejich slabou formulaci, a tedy že slabé řešení je pro tyto rovnice přirozenějším pojmem než řešení klasické. Klíčová slova: bilanční rovnice v integrálním tvaru; slabá formulace; klasická formulace Title: Weak formulation of equations describing fluid flows Author: Mark Dostalík Department: Mathematical Institute of Charles University Supervisor: doc. Mgr. Milan Pokorný, Ph.D., Mathematical Institute of Charles University Abstract: The standard way of deriving the weak formulation of balance equations of continuum mechanics is derived from their localized form, and thus requires differentiability of functions involved in the corresponding balance law. However, the existence of classical solutions of these equations is often not known. It would be suitable to find a transition to the weak formulation of balance laws without the need of their differential form. The aim of this work is to show that the initial integral form of balance equations of continuum mechanics, provided relatively weak assumptions, directly implies their weak formulation, and thus that the weak solution is for these equations a more natural notion than the classical solution is. Keywords: balance equation in integral form; weak formulation; classical formulation

5 Obsah Úvod 2 Základní pojmy 4. Bilanční zákony mechaniky kontinua Slabá formulace a slabé řešení Klasické odvození bilančních rovnic ve slabé formulaci Přechod ke slabé formulaci bilančních zákonů 9 2. Odvození výchozího integrálního tvaru První člen rovnice (2.) Limitní přechod ε Limitní přechod Druhý člen rovnice (2.) Limitní přechod ε Limitní přechod Třetí člen rovnice (2.) Limitní přechod ε Limitní přechod Výsledek limitních přechodů v rovnici (2.) Bilanční zákony ve slabé formulaci 22 Závěr 24 Appendix 25 Seznam použité literatury 26

6 Úvod Bilanční zákony hmoty, hybnosti a energie představují fundamentální rovnice mechaniky tekutin. Jedná se o rovnice v integrálním tvaru, které můžeme za dodatečných předpokladů na vystupující veličiny lokalizací převést na klasické parciální diferenciální rovnice a řešit tak bodový problém. Předpokladem pro lokalizaci bilančních rovnic je dostatečná hladkost vystupujících veličin, což je požadavek, který není ve výchozím integrálním tvaru těchto zákonů obsažen. Bilanční zákony lze ale formulovat i způsobem, který nevyžaduje diferencovatelnost vystupujících funkcí. Tuto zobecněnou formu úlohy nazýváme slabou formulací parciální diferenciální rovnice a její význam bude zpřesněn později. Otázkou, kterou se zabývá tento text, je přechod od výchozího integrálního tvaru bilančních rovnic k jejich slabé formulaci. Tradiční postup odvození slabé formulace, který se objevuje v řadě učebnic, využívá zmíněné lokalizace zákonů, a z principu tedy nemůže být správný, nebot existence klasických, tj. spojitě diferencovatelných, řešení často není známa. V roce 927 publikoval C.W. Oseen práci Neuere Methoden in der Hydrodynamik [4], která nastiňuje způsob přechodu ke slabé formulaci bilančních zákonů za slabších předpokladů, než vyžaduje diferenciální tvar rovnic. Tento přechod je však proveden pouze pro Riemannův integrál a rovnice nestlačitelného proudění. V tomto textu se držíme Oseenova postupu, přechod ale provádíme pro Lebesgueův integrál a zobecňujeme jej pro rovnice stlačitelného proudění. Oseenova myšlenka přechodu od výchozího integrálního tvaru bilančních rovnic k jejich slabé formulaci spočívá v rozdělení oblasti, kterou vyplňuje tekutina, na konečný počet podoblastí, na kterých uvažujeme bilanční zákony v krátkém časovém intervalu. Limitními přechody, kdy pošleme časový interval a míru podoblastí k nule, dostaneme za jistých předpokladů na fyzikální veličiny slabou formulaci bilančních rovnic. Jak uvidíme, požadavky na vystupující funkce, které můžeme odvodit s pomocí Lebesgueovy teorie integrálu, nevyžadují jejich diferencovatelnost. Slabá formulace bilančních rovnic je proto přirozenějším způsobem formulace těchto zákonů než formulace ve smyslu klasických parciálních diferenciálních rovnic. V první kapitole formulujeme obecný integrální tvar bilančních zákonů mechaniky kontinua a v konkrétní podobě představujeme tři z nich (zákon zachování hmoty, hybnosti a celkové energie), kterým se tento text věnuje. Dále představuje- 2

7 me pojem slabé formulace parciálních diferenciálních rovnic a ukazujeme obvyklý postup odvození bilančních rovnic ve slabé formulaci. Ve druhé kapitole odvozujeme přechod od výchozího integrálního tvaru bilančních zákonů k jejich slabé formulaci za mnohem slabších předpokladů, než vyžaduje tradiční odvození. Činíme tak s pomocí několika základních vět Lebesgueovy teorie integrálu, které jsou shrnuty v Appendixu. Třetí kapitola potom shrnuje požadavky na veličiny bilancí hmoty a hybnosti, aby byl uvažovaný přechod ke slabé formulaci možný. Ukazujeme zde také speciální případ zákona zachování hybnosti slabou formulaci Navierových-Stokesových rovnic pro stlačitelnou tekutinu. 3

8 . Základní pojmy. Bilanční zákony mechaniky kontinua Bilanční zákony mechaniky tekutin můžeme v obecném integrálním tvaru zapsat následovně (viz []) B D(t 2, x) dx D(t, x) dx + B t2 t B F(t, x) n(x) ds x dt = t2 t B P (t, x) dx dt. (.) Zde B je libovolný kontrolní objem neměnný s časem, který leží v oblasti vyplněné tělesem v nějakém časovém intervalu [, T ], přičemž (t, t 2 ) [, T ], D označuje objemovou hustotu fyzikální veličiny, F je tok této veličiny skrz hranici (n značí vnější normálu k B) a P je objemová produkce příslušné veličiny. Konkrétně se nám jedná o následující zákony zachování. Bilance hmoty ϱ(t 2, x) dx ϱ(t, x) dx + t2 B B t B kde ϱ je hustota a v je prostorové rychlostní pole tekutiny. ϱ(t, x)v(t, x) n(x) ds x dt =, (.2) Bilance hybnosti ϱ(t 2, x)v(t 2, x) dx ϱ(t, x)v(t, x) dx B B t2 + (ϱ(t, x)v(t, x) v(t, x) T(t, x)) n(x) ds x dt t B = t2 t B ϱ(t, x)b(t, x) dx dt, (.3) kde navíc T značí tenzor napětí a b objemovou sílu (vztaženou na jednotku hmotnosti) působící na tekutinu. Protože se jedná o vektorovou rovnici, máme zde ve skutečnosti tři skalární bilanční rovnice. Vektorová veličina F i, i {, 2, 3}, příslušná i-té rovnici představuje i-tý řádek matice ϱv v T. 4

9 Bilance celkové energie + ( v(t2, x) 2 ϱ(t 2, x) 2 B t2 t B ( ϱ(t, x) ( v(t, x) 2 ) + e(t 2, x) dx 2 = B ( ) v(t, x) 2 ϱ(t, x) + e(t, x) dx 2 ) ) + e(t, x) v(t, x) q(t, x) T(t, x)v(t, x) t2 t B n(x) ds x dt (ϱ(t, x)b(t, x) v(t, x) + ϱ(t, x)r(t, x)) dx dt, (.4) kde navíc vystupuje specifická vnitřní energie e (vztažená na jednotku hmotnosti), tepelný tok q a hustota tepelných zdrojů r (vztažená na jednotku hmotnosti). Přehled veličin vystupujících v jednotlivých bilančních rovnicích zachycuje Tabulka.. D F P bilance ϱ ϱv - hmoty ϱv ϱv v T ϱb hybnosti ϱ( 2 v 2 + e) ϱ( 2 v 2 + e)v q Tv ϱr + ϱb v energie Tabulka.: Veličiny jednotlivých bilančních zákonů.2 Slabá formulace a slabé řešení Klasickým řešením obyčejné či parciální diferenciální rovnice k-tého řádu rozumíme funkci, která je alespoň k-krát spojitě diferencovatelná a vyhovuje zadané rovnici. Máme tak zaručeno, že všechny derivace, které se vyskytují v rovnici, existují a jsou spojité. Toto je přirozená představa řešení parciální diferenciální rovnice. Slabým, popř. zobecněným řešením parciální diferenciální rovnice naproti tomu nazýváme funkci, která nemusí být nutně diferencovatelná, a přesto vyhovuje zadané rovnici v jistém přesně definovaném smyslu. Myšlenka slabého řešení je taková, že všechny derivace vyskytující se původně na zkoumané funkci, se pomocí integrace rovnice a použitím Greenovy věty objeví na tzv. testovací funkci, čímž obdržíme řešení, která nutně nesplňují podmínku diferencovatelnosti. 5

10 Uvažujme homogenní lineární parciální diferenciální rovnici (PDR) k-tého řádu pro funkci u : O R, O R N α k a α (x)d α u(x) =, (.5) kde α je multiindex a a α (x) jsou dostatečně hladké funkce. Vynásobme nyní (.5) testovací funkcí ϕ C (O) a integrujme rovnost přes O. S použitím Greenovy věty dostáváme O u(x) ( ) α D α( a α (x)ϕ(x) ) dx =. (.6) α k Vidíme, že pro u L loc (O) je rovnice (.6) splněna i bez nutnosti diferencovatelnosti u, a její řešení budeme tedy nazývat slabým řešením homogenní lineární PDR. Rovnici (.6) pak nazveme slabou formulací PDR (.5). Podmínky kladené na testovací funkci ϕ závisí na konkrétním problému, obecně není například nutné vyžadovat, aby testovací funkce byla nekonečněkrát spojitě diferencovatelná, ale stačí pouze dostatečná hladkost, aby výraz (.6) měl smysl. My zde však budeme pro jednoduchost uvažovat testovací funkce náležející do prostoru C ((, T ) )..3 Klasické odvození bilančních rovnic ve slabé formulaci Platnost bilančních zákonů mechaniky tekutin formulovaných na kontrolních objemech je požadována pro každou otevřenou podmnožinu B oblasti vyplněné tělesem a ležící v v časovém intervalu [, T ]. Jak již bylo řečeno, obecná integrální forma těchto zákonů má tvar (viz (.)) B D(t 2, x) dx D(t, x) dx + B t2 t B F(t, x) n(x) ds x dt = t2 t B P (t, x) dx dt. C (O) značíme prostor nekonečněkrát spojitě diferencovatelných funkcí s kompaktním nosičem v O. 6

11 Uvědomme si nejprve, jaké předpoklady na funkce D, F a P plynou z (.), aby měla uvedená rovnost smysl. Funkce by měly splňovat 2 D L loc(); F n L loc((, T ); L ( B)), B B ; P L loc((, T ) ). (.7) Tradiční postup odvození slabé formulace bilančních rovnic ovšem spočívá v předpokladu dostatečné hladkosti řešení tedy požaduje mnohem silnější předpoklady na funkce vystupující v bilančních zákonech. Ukažme si tento obvyklý způsob odvození bilančních rovnic ve slabé formulaci z jejich integrálního tvaru (.). Předpokládejme, že funkce D a F jsou alespoň spojitě diferencovatelné. Použitím Gaussovy-Ostrogradského věty potom z (.) plyne t2 t B ( t D(t, x) + div x F(t, x) P (t, x)) dx dt =. Protože (t, t 2 ) [, T ] je libovolný časový interval a B B je libovolný kontrolní objem, dostáváme tak, že za předpokladu spojitosti integrandu x, t (, T ) platí 3 t D(t, x) + div x F(t, x) = P (t, x). Vynásobme nyní tuto rovnici testovací funkcí ϕ C ((, T ) ) a výslednou rovnost zintegrujme. Dostáváme T ( t D(t, x)ϕ(t, x) + (div x F(t, x))ϕ(t, x)) dx dt = T P (t, x)ϕ(t, x) dx dt. Pro vyjádření bilančních rovnic ve slabé formulaci zbývá přesunout všechny derivace na testovací funkci ϕ (integrály přes hranici vzniklé použitím Greenovy věty jsou nulové z důvodu nulovosti ϕ na hranici). Dostaneme tak slabou formulaci 2 Symbolem L p ((, T ); X), p <, kde X je Banachův prostor, rozumíme prostor všech měřitelných funkcí u: (, T ) X, pro které je norma u L p ((,T );X) ( T u(t) p X dt ) p <. 3 Necht f(x)dx = pro V V, f je spojitá na. Chceme ukázat, že odtud plyne, že V f(x) x. Předpokládejme, že x takové, že f(x ) >. Protože je však f spojitá, musí existovat okolí U(x ) bodu x takové, že f(x) > pro x U(x ). Zvolme tedy V := U(x ). Potom ale dostáváme U(x ) f(x)dx >, což nám dává spor. 7

12 obecného bilančního zákona mechaniky tekutin, která platí ϕ C ((, T ) ) T ( D(t, x) t ϕ(t, x) F(t, x) x ϕ(t, x)) dx dt = T P (t, x)ϕ(t, x) dx dt. (.8) Jak je vidět, při klasickém odvození slabé formulace bilančních rovnic je vyžadována hladkost funkcí, která není v (.) obsažena. Ukážeme, že (.8) lze odvodit i za mnohem slabších předpokladů na funkce D, F a P, a to přímo z bilančních rovnic v integrálním tvaru (.). Tím současně ukážeme, že není potřeba formulovat bilanční rovnice klasickým způsobem a že slabé řešení je pro tyto zákony přirozeným pojmem. 8

13 2. Přechod ke slabé formulaci bilančních zákonů 2. Odvození výchozího integrálního tvaru V následujících úvahách předpokládáme, že je omezená souvislá otevřená množina, nezávislá na čase a s dostatečně hladkou hranicí. Vrat me se opět k obecné integrální formulaci bilančních zákonů (.) (D(t 2, x) D(t, x)) dx + t2 F(t, x) n(x) ds x dt = t2 B t B t B P (t, x) dx dt. Rozdělme nyní prostor třemi navzájem kolmými systémy rovin tak, že roviny každého systému jsou kolmé na jednu ze souřadnicových os. Označme ε mezirovinnou vzdálenost těchto systémů, tj. vzdálenost dvou sousedních rovin každého systému. Rozdělili jsme tak prostor na spočetné množství krychlových podoblastí, jejichž hrana je rovna ε. Budeme uvažovat pouze krychle, které jsou podmnožinou oblasti vyplněné tělesem, a tyto krychle nějakým způsobem očíslujeme. Zaved - me tedy pro naše krychle značení C k ε, kde k = {,..., N} a N = je celkový počet krychlí obsažených v oblasti. Střed každé krychle C k ε označíme x k. Číslo ε budeme volit tak malé, aby pro nosič testovací funkce ϕ C ((, T ) ) platilo supp x ϕ k= Ck ε. Vezměme (.) na krychli C k ε a položme t 2 = t +. Vzniklou rovnost vynásobíme hodnotou ϕ(t, x k ) a, provedeme sumaci přes všechny krychle a nakonec výsledný výraz zintegrujeme od do T podle t. Dostaneme tak rovnici T ( k= + T C k ε ) (D(t +, x) D(t, x)) dx ϕ(t, x k ) dt k= = ( t + T t k= C k ε ) F(t, x) n(x) ds x dt ϕ(t, x k ) dt ( t + t C k ε ) P (t, x) dx dt ϕ(t, x k ) dt. (2.) 9

14 Naším cílem ted bude provést limitní přechody ε + a + v rovnici (2.) a ukázat, že tak za jistých předpokladů na funkce D, F a P dostaneme obecnou formu bilančního zákona ve slabé formulaci. Pro větší přehlednost se budeme věnovat každému členu rovnice (2.) zvlášt. 2.2 První člen rovnice (2.) 2.2. Limitní přechod ε + První člen rovnice (2.) můžeme přepsat do tvaru T (D(t +, x) D(t, x)) ϕ(t, x k )χ C k ε (x) dx dt, (2.2) kde χ A je charakteristická funkce množiny A. Funkce ϕ je hladká na kompaktní množině, a je tedy na této množině omezená. Zároveň díky hladkosti ϕ pro x platí lim ε + k= k= ϕ(t, x k )χ C k ε (x) = ϕ(t, x). Pokud tedy budeme požadovat, aby D L loc ((, T ) ), můžeme pro záměnu limity a integrálu použít Lebesgueovu větu o majorizované konvergenci (věta A) a z výrazu (2.2) při přechodu ε + dostaneme T Limitní přechod + (D(t +, x) D(t, x)) ϕ(t, x) dx dt. (2.3) Před samotným limitním přechodem musíme nejprve výraz (2.3) upravit do vhodnějšího tvaru. Rozdělíme proto integrál na dva členy a v prvním použijeme sub- ϕ je spojitá na kompaktní množině, a je tam tedy stejnoměrně spojitá, tj. η > δ > x, x 2 : x x 2 < δ platí ϕ(x ) ϕ(x 2 ) < η. Pokud zvolíme ε tak, aby ε 3 2 δ, platí x x k < ε 3 2 δ pro x C k ε. Ze stejnoměrné spojitosti pak máme ϕ(x) ϕ(x k ) < η a zbytek už je zřejmý díky tomu, že ϕ(x k ) = k= ϕ(xk )χ C k ε (x).

15 stituci τ = t + T = = (D(t +, x) D(t, x)) ϕ(t, x) dx dt T T + +, x)ϕ(t, x) dx dt D(t D(τ, x)ϕ(τ, x) dx dτ T D(t, x)ϕ(t, x) dx dt D(t, x)ϕ(t, x) dx dt. T Proměnnou τ opět přeznačíme na t a výraz dále upravíme = T + T, x)ϕ(t, x) dx dt D(t T D(t, x)ϕ(t, x) dx dt, x)ϕ(t, x) dx dt + D(t T + D(t, x)ϕ(t, x) dx dt T, x)ϕ(t, x) dx dt D(t T D(t, x)ϕ(t, x) dx dt. Sečteme první a poslední člen předchozího výrazu a v druhém členu použijeme substituci τ = t (τ opět zpátky přeznačíme na t ). Z (2.3) tak celkově dostaneme T +, x)ϕ(t, x) dx dt T D(t D(t, x)ϕ(t, x) dx dt T D(t, x) ϕ(t, x) ϕ(t, x) dx dt. (2.4) ( ) Pro dostatečně malé bude testovací funkce ϕ(t, x) na intervalech (T, T ) a (, ) nulová, a při přechodu + tedy dostaneme z prvního a druhého členu (2.4) nulu 2. Pro limitní přechod ve zbývajícím členu (2.4) nám bude opět stačit Lebesgueova věta. Pokud budeme požadovat, aby D L loc ((, T ) ), dostaneme T lim D(t, x) ϕ(t, x) ϕ(t, x) dx dt + ( ) T = lim D(t, x) ϕ(t, x) ϕ(t, x) χ (,T ) (t ) dx dt + ( ) = T D(t, x) t (t, x) dx dt. 2 Někdy se uvažuje testovací funkce ϕ C (R + ). Limitním přechodem + bychom tak za předpokladu D C ( [, T ]; L () ) z prvního a druhého členu (2.4) dostali D(T, x)ϕ(t, x) dx D(, x)ϕ(, x) dx.

16 Celkově tak pro D L loc ((, T ) ) z prvního členu (2.) limitními přechody ε + a + dostáváme T D(t, x) t (t, x) dx dt. (2.5) 2.3 Druhý člen rovnice (2.) Zde využijeme toho, že pracujeme s krychlovými oblastmi. Plošný integrál přes hranici k-té krychle můžeme rozepsat do tvaru F(t, x) n(x) ds x C k ε = + = x k 3 + ε 2 x k 2 + ε 2 x k 3 ε 2 x k 2 ε 2 x k 2 + ε 2 x k + ε 2 x k 2 ε 2 x k ε 2 x k 3 + ε 2 x k + ε 2 x k 3 ε 2 3 i= S k ε,i x k ε 2 F (t, x k + ε 2, x 2, x 3 ) dx 2 dx 3 + F 3 (t, x, x 2, x k 3 + ε 2 ) dx dx 2 F 2 (t, x, x k 2 ε 2, x 3) dx dx 3 F i (t, x,..., x k i + ε 2,..., x 3) dˆx i x k 3 + ε 2 x k + ε 2 x k 3 ε 2 x k ε 2 x k 3 + ε 2 x k 2 + ε 2 x k 3 ε 2 x k 2 ε 2 x k 2 + ε 2 x k + ε 2 x k 2 ε 2 3 i= S k ε,i x k ε 2 F 2 (t, x, x k 2 + ε 2, x 3) dx dx 3 F (t, x k ε 2, x 2, x 3 ) dx 2 dx 3 F 3 (t, x, x 2, x k 3 ε 2 ) dx dx 2 F i (t, x,..., x k i ε 2,..., x 3) dˆx i, kde Sε,i, k resp. Sk ε,i je stěna krychle Cε k s vnější normálou směřující v kladném, resp. záporném směru i-té souřadnice. Symbolem dˆx i rozumíme dvourozměrnou Lebesgueovu míru v proměnných různých od x i (tedy např. dˆx = dx 2 dx 3 ). Uvědomme si nyní, že kromě krychlí u hranice je každá ploška, přes kterou počítáme integrál, společnou stěnou dvou sousedních krychlí. Druhý člen rovnice (2.) T t + t k= proto můžeme přepsat do tvaru T t+ t 3 k= i= S k ε,i C k ε F(t, x) n(x)ϕ(t, x k ) ds x dt dt F i (t, x,..., x k i + ε 2,..., x 3) ( ϕ(t, x k ) ϕ(t, x k + εe i ) ) dˆx i dt dt, (2.6) kde e i, i = {, 2, 3} jsou bázové vektory ve směru souřadnicových os x i. Tímto způsobem vynecháme některé integrály přes plošky u hranice oblasti. Testovací funkce ϕ je však na okolí nulová, a proto budou nulové i integrály přes hraniční 2

17 plošky. Testovací funkci zde navíc pokládáme rovnou nule vně oblasti (může se totiž stát, že prostorový argument ϕ(t, x k + εe i ) vystoupí z, kde ϕ není definována). Zřejmě platí x k ϕ(t, x k ) ϕ(t, x k i +ε + εe i ) = (t, x k x k x,..., x i,..., x k 3)dx i i i x k i + ε 2 = (t, x k x k i ε x,..., x i + ε 2 i 2,..., xk 3)dx i. Výraz (2.6) proto můžeme upravit do tvaru = T t+ t T t+ t 3 k= i= 3 k= i= C k ε F i (t, x,..., x k i + ε 2,..., x 3) (t, x k x,..., x i + ε i 2,..., xk 3)dx i dˆx i dt dt F i (t, x,..., x k i + ε 2,..., x 3) x i (t, x k,..., x i + ε 2,..., xk 3)χ C k ε (x) dx dt dt. Pro jednoduchost se budeme dále zabývat pouze první složkou vektorové funkce F. Bude nás tedy zajímat výraz T t + t k= F (t, x k + ε 2, x 2, x 3 ) x (t, x + ε 2, xk 2, x k 3)χ C k ε (x) dx dt dt. Limitní přechody pro zbylé složky F by se provedly zcela analogicky. (2.7) 2.3. Limitní přechod ε + Dokažme nejprve, že lim ε + F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx = k= F (t, x) x (t, x) dx. (2.8) K tomu použijeme Vitaliho větu (věta A2). Pro s.v. x zřejmě platí lim ε + k= F (t, x k + ε 2, x 2, x 3 ) x (t, x + ε 2, xk 2, x k 3)χ C k ε (x) = F (t, x) x (t, x). 3

18 Dále potřebujeme zaručit, že integrály přes malé množiny jsou stejnoměrně malé, tedy že pro ɛ > δ > tak, že, < δ platí F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx < ɛ. k= Zkoumejme tedy výraz na levé straně nerovnosti. Jistě platí F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx max (t, x) x F (t, x k + ε 2, x 2, x 3 ) χ C k ε (x) dx. k= Zaved me značení Potom dostáváme a můžeme psát max t (,T ) x (t, x) x t (,T ) x k= F ε (t, x) := F (t, x k + ε 2, x 2, x 3 )χ C k ε (x). k= F ε (t, x) = F (t, x k + ε 2, x 2, x 3 ) χ C k ε (x) k= k= F (t, x k + ε 2, x 2, x 3 ) χ C k ε (x) dx = max t (,T ) x (t, x) x F ε (t, x) dx. Pokud budeme požadovat, aby F L +η (S ), kde S je libovolná 2-plocha taková, že její normála má v každém bodě směr souřadnicové osy x (jedná se tedy o plochu rovnoběžnou s rovinou x 2 x 3 a ležící v ), máme zaručeno, že také F ε L +η (), nebot zřejmě platí C k ε F ε (t, x) +η dx = ε F (t, x) +η ds x. Sε, k 4

19 Z Hölderovy nerovnosti (věta A3) potom dostaneme max t (,T ) x (t, x) x F ε (t, x) dx max t (,T ) x Využijme dále následující nerovnosti max t (,T ) x (t, x) x η max t (,T ) x +η ( (t, x) x η F ε (t, x) +η dx ( (t, x) x η = max t (,T ) x +η (t, x) x η +η ) +η ( F ε (t, x) +η dx F ε (t, x) +η dx +η k= Jestliže se vrátíme k původní funkci F, můžeme psát max t (,T ) x (t, x) x η = max t (,T ) x = max t (,T ) x = max t (,T ) x +η k= (t, x) x η C k ε +η (t, x) x η +η (t, x) x η +η F ε (t, x) +η dx k= C k ε C k ε +η ) +η F ε (t, x) +η dx ) +η. F (t, x k + ε 2, x 2, x 3 ) +η dx ε F (t, x) +η ds x k= Sε, k Ñ(ε) ε F (t, x) +η ds x S k k= kde S k jsou plochy, které vznikly sjednocením plošek Sε, k ležících ve stejné rovině, a Ñ(ε) = x, kde ε x je průmět do souřadnicové osy x. Přijměme nyní další předpoklad na funkci F, a to aby pro s.v. t (, T ) sup F (t, x) +η ds x < +. S S +η +η, +η. +η 5

20 Z předcházejícího výrazu potom dostaneme max t (,T ) x Ñ(ε) (t, x) x +η η +η ε F (t, x) +η ds x k= S k ( ) max t (,T ) (t, x) x η +η Ñ(ε) ε sup F (t, x) +η +η ds x S S x = max (t, x) x η +η x +η sup F (t, x) L +η (S, ds x). S t (,T ) x Poslední výraz již ovšem závisí pouze na, čímž jsme ověřili předpoklady Vitaliho věty. Zároveň jsme stanovili požadavky na funkci F, aby bylo její použití možné. Nyní s pomocí Lebesgueovy věty ukážeme, že lim ε + t + t F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx dt k= = t + Již víme, že platí (2.8). Stačí tedy požadovat, aby pro k= t F (t, x) x (t, x) dx dt. (2.9) F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx existovala integrovatelná majoranta. To ovšem plyne z nerovnosti, kterou bychom odvodili stejně jako při důkazu platnosti (2.8) F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx max (t, x) x η +η x +η sup F (t, x) L +η (S, ds x). S k= t (,T ) x Pro provedení limity (2.9) tedy bude stačit, aby F L loc ((, T ); L+η (S )). 6

21 Zbývá dokázat, že lim ε + T t + t F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx dt dt k= = T t + To ovšem opět plyne z Lebesgueovy věty, nebot platí (2.9) a dále t + t t F (t, x) (t, x) dx dt dt. x F (t, x k + ε 2, x 2, x 3 ) (t, x + ε x 2, xk 2, x k 3)χ C k ε (x) dx dt dt k= max (t, x) x η +η x +η sup F (t, x) L +η (S, ds. x) L S (t,t +) t (,T ) x Celkově tak pro provedení limitního přechodu ε + budeme požadovat, aby sup F (t, x) L +η (S, ds < +. x) L S loc ((,T ), dt) V takovém případě z výrazu (2.7) dostáváme T t Limitní přechod + t F (t, x) x (t, x) dx dt dt. (2.) Limitní přechod v čase provedeme pomocí Vitaliho věty. Za předpokladu že F L loc ((, T ) ), dostaneme z věty o Lebesgueových bodech (věta A4) lim + t + t F (t, x) (t, x) dx dt = F (t, x) (t, x) dx. x x Zbývá tedy ověřit, že pro ɛ > δ > tak, že (, T ), < δ platí t + t F (t, x) (t, x) dx dt dt x < ɛ. Zde bude vhodné uvažovat namísto kompaktní množinu K takovou, že supp x ϕ K. Nerovnost výše potom zapíšeme ve tvaru t + t K F (t, x) (t, x) dx dt dt x < ɛ. 7

22 Zřejmě platí t + t K F (t, x) (t, x) dx dt dt x t + F (t, x) (t, x) dx dt dt t K x max t + (t, x) x F (t, x) dx dt dt t (,T ) x Protože F L loc (), dostáváme max t (,T ) x (t, x) x t + t = max t (,T ) x K t F (t, x) dx dt dt (t, x) x t + K t F (t, x) L (K, dx) dt dt. Zavedením substituce y = t t a použitím Fubiniho věty z posledního výrazu dostaneme max t (,T ) x (t, x) x ((, T ); L loc ()), pak podle Höl- Pokud budeme nyní předpokládat, že F L +η loc derovy nerovnosti platí max t (,T ) x (t, x) x max t (,T ) x (t, x) x = max t (,T ) x F (y + t, x) L (K, dx) dt dy. F (y + t, x) L (K, dx) dt dy F (z, x) L (K, dx) η L (, dz) +η dy (t, x) x F (z, x) L (K, dx) η L (, dz) Předpoklady Vitaliho věty máme tedy splněny a limitní přechod + tak bude možný za předpokladu, že F L +η loc dostaneme T F (t, x) x (t, x) dx dt. +η. ((, T ); L loc ()). Z (2.) potom Limitní přechody ε + a + pro složky F 2, F 3 bychom provedli analogicky a s obdobnými požadavky na příslušné funkce. Celkově tak dostáváme 8

23 předpoklad 3 F L +η loc ((, T ); L loc()), F n L loc((, T ); L ( B)), sup F n L loc ((,T ); L +η (S)) < +, S kde B B je libovolný kontrolní objem, S je libovolná 2-plocha rovnoběžná s jednou z rovin x x 2, x x 3, nebo x 2 x 3 a n je příslušná normála k S nebo B. Připojili jsme zde i minimální požadavek z (.7). Za těchto předpokladů z druhého členu (2.) limitními přechody ε + a + dostaneme T F(t, x) x ϕ(t, x) dx dt. (2.) 2.4 Třetí člen rovnice (2.) 2.4. Limitní přechod ε + Zcela obdobně jako pro limitní přechod ε + v prvním členu rovnice (2.) dostaneme pro P L loc ((, T ) ) použitím Lebesgueovy věty o majorizované konvergenci lim ε + T k= = lim ε + = ( t + t C k ε T t + t T t + t ) P (t, x) dx dt ϕ(t, x k ) dt P (t, x) ϕ(t, x k )χ C k ε (x) dx dt dt k= P (t, x)ϕ(t, x) dx dt dt Limitní přechod + Zde opět použijeme Vitaliho větu. Necht P L loc ((, T ) ). Podle věty o Lebesgueových bodech potom pro s.v. t (, T ) máme lim + t + t P (t, x)ϕ(t, x) dx dt = P (t, x)ϕ(t, x) dx. 3 Zápis u Y, kde u je vektorová funkce a Y prostor funkcí, chápeme tak, že do Y náleží jednotlivé složky vektorové funkce u. Stejně tak budeme rozumět zápisu A Y pro matici A, tedy že prvky matice A patří do příslušného prostoru funkcí. 9

24 Dále potřebujeme zaručit, že integrály přes malé množiny jsou stejnoměrně malé, tedy že ɛ > δ > tak, že (, T ), < δ platí 4 My ovšem máme t + t t + t K KP (t, x)ϕ(t, x) dx dt dt max t (,T ) x t + t P (t, x)ϕ(t, x) dx dt dt < ɛ. ϕ(t, x) K P (t, x)ϕ(t, x) dx dt dt t + t P (t, x) L (K,dx) dt dt. Použitím substituce y = t t a Fubiniho věty z posledního výrazu dostáváme max t (,T ) x ϕ(t, x) ((, T ); L loc ()), pak podle Höl- Pokud budeme nyní předpokládat, že P L +η loc derovy nerovnosti platí max t (,T ) x ϕ(t, x) max t (,T ) x ϕ(t, x) P (y + t, x) L (K,dx) dt dy. P (y + t, x) L (K,dx) dt dy = max t (,T ) x P (z, x) L (K,dx) η L +η (,dz) +η dy ϕ(t, x) P (z, x) L (K,dx) η L +η +η (,dz). Ověřili jsme tedy předpoklady pro použití Vitaliho věty a stanovili jsme tím současně podmínky kladené na funkci P, aby byl uvažovaný limitní přechod možný. Pro P L +η loc ((, T ); L loc ()) tedy z třetího členu rovnice (2.) limitními přechody ε + a + dostaneme T P (t, x)ϕ(t, x) dx dt. (2.2) 4 Opět namísto píšeme kompaktní množinu K takovou, že supp x ϕ K. 2

25 2.5 Výsledek limitních přechodů v rovnici (2.) V předcházejícím jsme provedli přechod od integrálního tvaru bilančních zákonů (.) k jejich slabé formulaci, a to aplikací limitních přechodů v rovnosti (2.). Dospěli jsme tak zároveň k požadavkům na veličiny D, F a P, aby byl zmíněný přechod možný. Předpoklady na funkce vystupující v obecné formulaci bilančních rovnic jsou tedy následující D L loc((, T ) ); F L +η loc ((, T ); L loc()), F n L loc((, T ); L ( B)), P L +η loc ((, T ); L loc()); sup F n L loc ((,T ); L +η (S)) < + ; S (2.3) kde B B je libovolný kontrolní objem, S je libovolná 2-plocha rovnoběžná s jednou z rovin x x 2, x x 3, nebo x 2 x 3 a n je příslušná normála k S nebo B. Srovnáním s (.7) vidíme, že minimální požadavky na funkce D, F a P máme splněny. Pro libovolnou testovací funkci ϕ C ((, T ) ) tak za těchto podmínek dostaneme z (.) rovnost (.8) T ( D(t, x) t ϕ(t, x) F(t, x) x ϕ(t, x)) dx dt = T P (t, x)ϕ(t, x) dx dt. 2

26 3. Bilanční zákony ve slabé formulaci Pro ilustraci se nyní podívejme, jaké podmínky na fyzikální veličiny plynou z (2.3) pro bilanci hmoty a bilanci hybnosti a jak konkrétně vypadají příslušné slabé formulace těchto rovnic. Bilanci celkové energie zde opomíjíme, nebot předpoklady na příslušné fyzikální veličiny by byly poměrně nepřehledné (dostali bychom je ovšem zcela obdobně jako u dvou předchozích zákonů zachování z obecných požadavků (2.3)). Bilance hmoty Necht platí ϱ L loc((, T ) ); ϱv L +η loc ((, T ); L loc()), ϱv n L loc((, T ); L ( B)), sup ϱv n L loc ((,T ); L +η (S)) < +. S Slabá formulace zákona zachování hmoty (.2) má potom tvar T ( ϱ(t, x) t ϕ(t, x) ϱ(t, x)v(t, x) x ϕ(t, x)) dx dt =. (3.) Bilance hybnosti Necht jsou splněny předpoklady ϱv L loc((, T ) ); ϱv v, T L +η loc ((, T ); L loc()), ϱv(v n), Tn L loc((, T ); L ( B)), sup ϱv(v n) L loc ((,T ); L +η (S)) < +, S ϱb L +η loc ((, T ); L loc()). sup Tn L loc ((,T ); L +η (S)) < + ; S Přepsáním systému tří rovnic (.3) do slabé formulace a jejich sečtením potom dostaneme jednu bilanční rovnici hybnosti ve slabé formulaci s vektorovou testo- 22

27 vací funkcí ϕ C ((, T ) ) T ( ϱ(t, x)v(t, x) t ϕ(t, x) (ϱ(t, x)v(t, x) v(t, x) T(t, x)) : x ϕ(t, x)) dx dt = T ϱ(t, x)b(t, x) ϕ(t, x) dx dt. Speciálně, pro newtonovskou stlačitelnou tekutinu má tenzor napětí tvar T = ( p + λdiv x v)i + 2µD, kde D(v) = 2 [ xv + ( x v) T ] je symetrický gradient rychlosti, p = p(ϱ, ϑ) je tlak (ϑ představuje absolutní teplotu) a µ a λ jsou tzv. koeficienty vazkosti, které mohou být obecně též funkcemi termodynamických veličin (pro jednoduchost je ovšem považujme za konstanty). Za předpokladu, že ϱv L loc((, T ) ); p, ϱv v, div x v, x v L +η loc ((, T ); L loc()), pn, ϱv(v n), (div x v)n, ( x v)n L loc((, T ); L ( B)), sup pn L loc ((,T ); L +η (S)) < +, S sup (div x v)n L loc ((,T ); L +η (S)) < +, S ϱb L +η loc ((, T ); L loc()); můžeme bilanci hybnosti zapsat ve tvaru T sup ϱv(v n) L loc ((,T ); L +η (S)) < +, S sup ( x v)n L loc ((,T ); L +η (S)) < + ; S ( ϱ(t, x)v(t, x) t ϕ(t, x) + ( p + λdiv x v(t, x)) div x ϕ(t, x) (ϱ(t, x)v(t, x) v(t, x) 2µD(v)) : D(ϕ)) dx dt = T ϱ(t, x)b(t, x) ϕ(t, x) dx dt. (3.2) kde jsme využili symetrie tenzorů vystupujících v příslušném skalárním součinu, abychom x ϕ(t, x) zapsali v příhodnějším tvaru D(ϕ). Rovnost (3.2) potom představuje jeden z možných zápisů Navierových-Stokesových rovnic ve slabé formulaci pro stlačitelnou tekutinu. 23

28 Závěr Ukázali jsme způsob, jak z bilančních zákonů mechaniky kontinua formulovaných na kontrolních objemech získat jejich slabou formulaci bez nutnosti předpokladu existence klasického řešení. Bilanční zákony mechaniky kontinua formulované na kontrolních objemech tedy představují rovnice, pro něž je slabé řešení přirozeným pojmem, a klasické řešení je pak spíše pojmem odvozeným. Ukázali jsme tak, že v mechanice a termodynamice kontinua se diferenciální rovnice vyskytují ve slabé formulaci přirozeným způsobem. 24

29 Appendix Následuje seznam hlavních matematických vět použitých v textu. Věty A, A2, A3 jsou k nalezení v [2], věta A4 pak v [3]. Věty jsou seřazeny podle pořadí jejich uvedení v textu. Věta A. (Lebesgue, o majorizované konvergenci) Necht {f n } n= je posloupnost měřitelných funkcí taková, že f n f skoro všude na měřitelné množině. Pokud existuje funkce g L () taková, že f n g skoro všude na a pro všechna n N, pak f L () a lim f n dµ = f dµ. n Věta A2. (Vitali) Necht {f n } n= je posloupnost funkcí taková, že f n f skoro všude na měřitelné množině, <. Necht {f n } n= L () a f je skoro všude konečná. Předpokládejme navíc, že funkce f n jsou stejnoměrně měřitelné, tj. pro ɛ > δ >, < δ platí f n dµ < ɛ pro všechna n N. Potom f L () a lim f n dµ = f dµ. n Věta A3. (Hölderova nerovnost) Necht p [, ] a f L p (), g L p (), kde p + p p =. Potom fg L () a = s úmluvou p = fg L () f L p () g L p (). Věta A4. (o Lebesgueových bodech) Necht I R a f L loc (I). Pak skoro všechny body x I jsou Lebesgueovy body funkce f, tj. pro s.v. x I platí lim h 2h h h f(x + t) f(x) dt =. 25

30 Seznam použité literatury [] Feireisl,., Novotný, A. Singular Limits in Thermodynamics of Viscous Fluids. Birkhauser Verlag, Basel-Boston-Berlin, 29. [2] Fučík, S., John, O., Kufner, A. Function Spaces. Academia, Praha, 977. [3] Lukeš, J., Malý, J. Measure and Integral. Skripta MFF UK, Matfyzpress, 995. [4] Oseen, C.W. Neuere Methoden in der Hydrodynamik. Leipzig, Akad. Verlagsgesellschaft M.B.H.,