Hyperbolické systémy a zákony zachování
(výběrovka DIR058 )LS 2004/2005
Místo a čas konání: Středa, 14:00, sborovna KMA
Sylabus
1. přednáška, 2.3.2005
- Hyperbolický systém PDR 1. řádu: definice. Souvislost se zákony zachování. Reálná vlastní čísla matice, která je lineární kombinací Jacobiho matic nelinearit. Co by se stalo, kdybychom připustili komplexní vlastní čísla: nestabilita řešení.
- Příklady hyperbolických systémů: p-systém, souvislost s nelineární vlnovou rovnicí.
- Eulerovy (nevazké) rovnice. Hyperbolicita skalárních rovnic 2. řádu a odpovídajícího systému hyperbolických rovnic 1. řádu: souvislost s elipticitou operátoru prostorových derivací.
2. přednáška, 16.3.2005
- Klasické a slabé řešení hyperbolické rovnice 1. řádu. Metoda charakteristik a kolaps klasického řešení v libovolně krátkém čase pro nelineární hyperbolickou rovnici. Slabé řešení a Rankine-Hugoniotovy podmínky pro určení slabého řešení sestaveného z po částech konstantních funkcí.
- Nejednoznačnost slabého řešení: nespočetně mnoho řešení, vyhovujících R-H podmínce. Matematické zavedení entropické rovnosti jako dodatečného zákona zachování, splněného automaticky pro hladká řešení původního hyperbolického systému. Podmínky kompatibility mezi entropií, toky entropie a nelinearitami hyperbolického systému.
3. přednáška, 23.3.2005
- Podmínky kompatibility jsou většinou přeurčený systém PDR pro hledané entropie a toky. Existence entropie zaručena pouze pro 1 rovnici v libovolné dimenzi nebo pro dvě rovnice v 1 prostorové dimenzi. Dále jen pro symetrické či symetrizovatelné systémy: Věta: systém má konvexní entropii právě tehdy, když je symetrizovatelný.
- Parabolická perturbace hyperbolického zákona zachování a metoda mizející vazkosti. Kterak se entropická rovnost stala entropickou nerovností. Fyzikální a nefyzikální. Entropická nerovnost je to, co nám zbylo, když nás opustila vazkost.
4. přednáška, 30.3.2005
- Opakování z teorie funkčních prostorů: Lebesgueovy a Sobolevovy prostory, normy v nich. Youngova a Hölderova nerovnost, Gronwallovo lemma. Záporné Sobolevovy prostory, duality. Bochnerovy prostory, integrace per partes v nich.
- Parabolická perturbace hyperbolického zákona zachování: 1 rovnice v d dimenzích. Základní věta o existenci a jednoznačnosti slabého řešení. Začátek důkazu.
5. přednáška, 6.4.2005
- Parabolická perturbace hyperbolického zákona zachování: 1 rovnice v d dimenzích. Základní věta o existenci a jednoznačnosti slabého řešení. Důkaz pro hladkou nelinearitu splňující globální Lipschitzovu podmínku, využití lineární teorie, nalezení kontraktivního zobrazení v úplném prostoru.
- Důkaz pro obecnou hladkou nelinearitu za dodatečného předpokladu omezenosti počáteční podmínky.
6. přednáška, 20.4.2005
- Odhad normy gradientu řešení parabolické (perturbované) úlohy - jeho chování je závislé na epsilon.
- Odbočení do funkcionální analýzy: slabé a silné konvergence, rozdíl mezi nimi v Lebesgueových prostorech, konvergence norem a slabá konvergence implikují silnou. Slabá konvergence v Lebesgueových prostorech je konvergence lokálních průměrů. Zádrhele slabé konvergence v nelinearitách a metody, jak na to: metoda kompaktnosti, založená na nějakém kompaktním vnoření, a metody kompanzované (ne)kompaktnosti. Youngovy míry jako popis chování slabě konvergující posloupnosti funkcí.
7. přednáška, 27.4.2005
- Definice prostorů CK(Rs), C0(Rs), M(Rs), a prostorů L1(Q,C0(Rs)), Linfw(Q,M(Rs)). Věta o duálu k L1(Q,C0(R)), věta o existenci Linf-Youngových měr s důkazem, komentář. Charakterizace rozdílu mezi silnou a slabou konvergencí pomocí Youngových měr (znění).
8. přednáška, 4.5.2005
- Dirakovskost Y.m. a 3 další ekvivalentní tvrzení, tj, charakterizace rozdílu mezi silnou a slabou konvergencí pomocí Youngových měr. Obecná strategie důkazu existence řešení pro hyperbolickou rovnici. Div-curl lemma. Muratovo lemma. Murat-Tartarova identita.
9. přednáška, 18.5.2005
- Vecciho věta o redukci nosiče míry, která splňuje M.-T. identitu. Závěrečná věta o existenci entropického řešení pro skalární nelineární hyperbolický zákon zachování v jedné dimenzi. Přehled toho, co se dál ví.
Místo 10. přednášky, 25.5.2005
- Hromadné zkouškové posezení.
Požadavky ke zkoušce
- Definice hyperbolického systému, pojem a definice entropie a entropických toků (podmínkami kompatibility), definice slabého entropického řešení, parabolická perturbace a odvození entropické nerovnosti "metodou mizející vazkosti".
- Parabolická perturbace pro 1 rovnici a věta o existenci a jednoznačnosti řešení. Hlavní kroky důkazu pro globálně Lipschitzovskou nelinearitu, náznak, jak to odstranit. Odhady velikosti řešení a velikosti gradientu řešení - bez důkazu.
- Definice Youngovy míry a důkaz existence Youngovy míry pro stejnoměrně Linf omezenou posloupnost funkcí, a na základě znalosti jisté duality bez důkazu.
- Odvození Murat-Tartarovy identity.
- Vecchiho věta, závěrečné shrnutí celého postupu pro 1 hyperbolickou rovnici v 1d, zmínění Kružkovova výsledku bez důkazu.
Literatura
Jde o mnohem širší soupis literatury, než nutný. Přesto se mi povedlo se zakecat do té míry, že některé věci v literatuře zde uvedené nenaleznete. Základní literaturou nicméně je kniha [5], kde toho najdete nejvíc. Zkuste to: .
- Constantine M. Dafermos: Hyperbolic systems of conservation laws, In: Systems of nonlinear PDEs, (ed. J.M.Ball), 25-70 (1983).
- Constantine M. Dafermos: Estimates for consevation laws with little viscosity, SIAM J. Math. Anal., No.2, 409-421 (1987).
- Lawrence C. Evans: Weak convergence methods for nonlinear partial differential equations, CBMS Regional Conference Series in Math. No. 74, 1990.
- Peter D. Lax: Hyperbolic systems of conservation laws and the mathematical theory of shock waves, Philadelphia SIAM, 1973.
- Josef Málek, Jindřich Nečas, Mirko Rokyta, Michael Růžička: Weak and measure-valued solutions to evolutionary PDEs, Chapman & Hall, 1996.
- Ronald J. DiPerna: Convergence of approximate solutions to consefvation laws, Arch. Rat. Mech. Anal., 82 (1983), 27-70.
- Ronald J. DiPerna: Convergence of the viscosity method for isentropic gas dynamics, Comm. Math. Phys., 91 (1983), 1-30.
- Denis Serre: La compacite par compensation et systemes hyperboliques non lineaires de deux equations a une dimensiion d'space, J. Maths. Pures et Appl., 65(4), 423-468 (1986).
- Denis Serre: Domaines invariantes pour les systemes hyperboliques de lois de conservation, J. Diff. Eq., 46-62, 69 (1987).
- James W. Shearer: Global existence and compactness in Lp for systems of conservation laws, PhD Thesis, University of California, Berkley, 1990.
- Luc Tartar: Compensated compactness and applications to partial differential equations, In: Nonlinear analysis and Mechanics, (ed. R.J.Knops), Heriot-Watt Symposium IV, Research Notes in Mathematics 39, Pitman, 136-192 (1979).
- Luc Tartar: The compensated compactness method applied to systems of conservation laws, In: Systems of nonlinear PDEs, (ed. J.M.Ball), 263-285 (1983).
- Italo Vecchi: Thesis, Univ. Heidelberg, 1989.