Diferenciální počet funkcí více proměnných • Funkce více proměnných • Limita a spojitost • Parciální derivace • Diferenciál • Derivace složené funkce, Taylorův vzorec • Lokální a absolutní extrémy • Zobrazení mezi prostory vyšších dimenzí • Funkce daná implicitně • Vázané extrémy 1.Funkce více proměnných • Reálná funkce n-reálných proměnných, definiční obor Př.: ilustrační příklady • Graf funkce, vrstevnice Př: ilustrační příklady 2. Limita a spojitost • Okolí bodu v R^n a R^*n, jeho vlastnosti • Limita (vl. i nevl.), zvláštní případy • Věta: o jednoznačnosti limity • Věta: pravidla pro počítání limit • Věta: o 3 limitách • Věta: o spec. limitě součinu (Důkazy: analogicky s DP I, viz též teorie metrických prostorů a limity zobrazení mezi nimi) Př.: přímé výpočty, zavedení polární soustavy souřadnic, závislost limity „na cestě“ a neexistence limity • Spojitost v bodě • Věta: pravidla pro počítání se spojitými funkcemi (racionální operace, skládání) Důkaz: Z pravidel pro počítání s limitami. • Spojitost na množině (s využitím limity vzhledem k podmnožině) • Věty o vlastnostech funkcí spojitých na kompaktních a souvislých množinách: Věta: Weierstrasseova 1. a 2. Věta: Bolzanova Důkazy: Analogicky s větami v DP I, příp. plyne z obecnějších tvrzení o vlastnostech spojitých zobrazení mezi metrickými prostory. • Př.: včetně množin poruch spojitosti 3. Parciální derivace • Parciální derivace 1. řádu označení, pravidla pro počítání, geometrický význam, vztah ke spojitosti (protipříklady) • Parciální derivace vyšších řádů • Věta: Schwarzova věta (n = 2, n – obecné) Důkaz: Dvojnásobné použití Lagrangeovy věty o střední hodnotě. • Směrová derivace 1. řádu - označení, pravidla pro počítání, vztah k parciální derivaci a spojitosti, směrové derivace vyšších řádů - Schwarzova věta • Věta: Lagrangeova věta o střední hodnotě (pro parciální i směrové derivace) 4.Diferenciál • Diferencovatelnost funkce a diferenciál 1.řádu (n = 2, později n - obecné) ekvivalentní definice • Věta: o spojitosti diferencovatelné funkce Důkaz: Přímým využitím diferencovatelnosti v definici spojitosti (pomocí limity). • Věta: o výpočtu diferenciálu Důkaz: Nulovánim druhého z přírůstků ve formuli definice diferencovatelnosti • Pozn: geometrický smysl, numerická aplikace, výpočet tečné roviny (nadroviny), normálového vektoru • Věta: postačující podmínka diferencovatelnosti • Gradient • Diferenciály vyšších řádů (formálně) • Kmenová funkce a její smysl (m.j. exaktní DR) 5. Derivace složené funkce, Taylorův vzorec • Věta: o derivaci složené funkce (n = 2 a derivace 1. a 2. řádu, transformování výrazů, n - obecné) Důkaz: Využitím diferencovatelnosti vnější složky při výpočtu limit určujících příslušné parciální derivace. • Věta: Taylorova věta (n = 2, různé formy zápisu, numerická aplikace, n - obecné) Důkaz: S využitím Taylorovy věty funkce jedné proměnné – parametru popiujícím úsečku mezi uvažovanými body 6. Lokální a absolutní extrémy • Lokální extrémy, stacinární bod (ilustrativní příklady možností) • Věta: o stacionárních bodech Důkaz: sporem • Věta: o charakteru stacionárního bodu (pro n = 2 a s diferenciálem 2.řádu) Důkaz: S použitím Taylorovy věty a spojitosti 2. derivací. • Pozitivní a negativní definitnost, semidefinitnost a indefinitnost kvadratických forem a matic je representujících • Věta: kriterium pozitivní a negativní definitnosti (pomocí vlastních čísel, pomocí hlavních minorů – viz algebra) • Absolutní (globální) extrémy na množině • Věta: o metodě výpočtu absolutních extrémů spojité funkce na kompaktní množině Důkaz: důsledek Weierstrasseovy věty 7. Zobrazení mezi prostory vyšších dimenzí ^• Zobrazení z R^2 do R^2 • (příklady – transformace proměnných) • Spojitost a diferencovatelnost zobrazení, Jacobiova matice a jacobián zobrazení (n = 2) • Věta: o derivaci složeného zobrazení Důkaz: Aplikace věty o derivaci složené funkce prostřednictvím komponent zobrazení • Věta: o derivaci inverzního zobrazení Důkaz: Aplikace předchozí věty na kompozici zobrazení a zobrazení k němu inverznímu, tj. rovné identickému zobrazení. • Spojitost a diferencovatelnost obecného zobrazení, Jacobiova matice a jacobián zobrazení (n - obecné) • Věta: o derivaci složeného zobrazení • Věta: o derivaci inverzního zobrazení • Diferenciální operátory matematické fyziky – Vektorové pole a jeho souřadnice F=(P,Q,R) ( f: R^3 do R^3 a grad f) – Hamiltonův „nabla“ operátor, divergence, rotace vektorového pole – operace s diferenciálními operátory ya jejich použití ve fyzice 8. Funkce dané implicitně • Implicitně daná funkce jedné proměnné • ilustrativní příklady • Věta: o jednoznačné existenci a spojitosti… Důkaz: S pomocí věty Banachovy věty o pevném bodě: – konstrukce vhodného úplného prostoru P spojitých funkcí a zobrazení T, jehož pevný bod je implicitně danou funkcí – vlastnosti zobrazení T – je kontrakcí P do sebe a proto i obraz spojité funkce je spojitou funkcí • Věta: o výpočtu derivace… Důkaz: S použitím předchozí věty a věty o derivaci složené funkce • Pozn.: – Konstrukce tečny a normály – Aplikace – výpočet extrémů, užití Taylorovy věty – Výpočet derivací vyšších řádů – opakováním postupu • Implicitně daná funkce více proměnných (intuitivně) • Věta: o existenci, spojitosti a výpočtu parciálních derivací… Důkaz: neuveden – je analogický… • Věta: o konstrukci tečné nadroviny… • Pozn.: – Aplikace – výpočet extrémů, užití Taylorovy věty – Výpočet derivací vyšších řádů – opakováním postupu • Implicitně dané zobrazení (analogie, vektorový zápis) • Věta: o lokální jednoznačné existenci, spojitosti a derivaci… Důkaz: analogicky jednodužšímu případu • Normálový a tečný prostor k množině bodů daných m implicitními rovnicemi • Pozn.: metoda konstrukce v definici 9. Vázané extrémy • Lokální extrémy funkce f vzhledem k množině M (M dána implicitním systémem rovnic) • Věta: o existenci Lagrangeových multiplikátorů Důkaz: Sporem - 1. pro lineární vazebné podmínky, s využitím jejich „regularity“ a diferencovatelnosti funkce f; 2. pro nelineární vazebné podmínky – navíc s využitím jejich diferencovatelnosti • Stacionární bod funkce f na množině M • Věta: o charakteru stacionárního bodu… Důkaz: S využitím Taylorovy věty na Lagrangeovu funkci • Pozn.: Vázané extrémy a nerovnosti Písemná část zkoušky z MA 2 6 příkladů z tématických okruhů • ODR 1.řádu • ODR vyššího řádu • Úvodní partie MA 2 (limita, 1. derivace a diferenciál - geometrická a numerická aplikace) • Derivace složené funkce, vyšších řádů a jejich užití (včetně transformace výrazů) • Extrémy (lokální, absolutní, vázané) • Implicitní funkce, jejich analýza a užití • Čas řešení 2x50 minut • Hodnocení maximum 40 b. (k získání zápočtu přepočítáváno na 30 b.) • K písemce povoleno – použití neprogramovatelných kalkulátorů – „taháku“ formátu A4 s podstatnými formulemi… Podobné přehledy definic, tvrzení, důsledků, principů důkazů a ilustrativních příkladů doporučuji vytvořit i pro zbývající část látky MA II