WYKAAD Z ANALIZY MATEMATYCZNEJ II dr. Elżbieta Kotlicka Centrum Nauczania Matematyki i Fizyki Aódz 2006 3 1. Przestrzenie metryczne. Definicja 1.1. Przestrzenią metryczną nazywamy parę (X, d), gdzie X = " oraz funkcja
d : X × X [0, +") speÅ‚nia nastÄ™pujÄ…ce warunki: (1) '" [d(x, y) = 0 Ô! x = y], x,y"X (2) '" d(x, y) = d(y, x), x,y"X (3) '" d(x, y) d(x, z) + d(z, y). x,y,z"X Elementy zbioru X nazywamy punktami, zas funkcjÄ™ d metrykÄ… na X. Wartość d(x, y) nazywamy odlegÅ‚oÅ›ciÄ… punktów x i y w metryce d. Załóżmy dalej, że (X, d) jest dowolnÄ… przestrzeniÄ… metrycznÄ…. Definicja 1.2. KulÄ… (otwartÄ…) o Å›rodku w punkcie p0 " X i promieniu r > 0 nazywamy zbiór def K(p0, r) = {p " X : d(p, p0) < r}. Definicja 1.3. Niech A ‚" X. " Zbiór A nazywamy ograniczonym, gdy jest zawarty w pewnej kuli. " ÅšrednicÄ… zbioru A nazywamy liczbÄ™ def ´(A) = sup{d(x, y) : x, y " A}. Definicja 1.4. Niech pn " X dla n " N. CiÄ…g (pn)n"N nazywamy zbieżnym w przestrzeni metrycznej (X, d) do punktu p0 " X, gdy lim d(pn, p0) = 0. n" Zapisujemy wówczas: lim pn = p0 lub pn p0. n" Twierdzenie 1.5. (a) Każdy ciÄ…g zbieżny w przestrzeni metrycznej posiada tylko jednÄ… granicÄ™. (b) Każdy ciÄ…g zbieżny w przestrzeni metrycznej jest ograniczony, tj. ograniczony jest zbiór jego wartoÅ›ci. (c) JeÅ›li ciÄ…g jest zbieżny w przestrzeni metrycznej, to każdy jego podciÄ…g jest zbieżny do tej samej granicy. Twierdzenie 1.6. Niech X = Rn, n " N. JeÅ›li pk = (xk, xk, . . . , xk) " X dla k " N *" {0}, to 1 2 n lim pk = p0 Ô! '" lim xk = x0. n n k" n"N k" Definicja 1.7. Niech A ‚" X. " Punkt p0 " X nazywamy punktem wewnÄ™trznym zbioru A, gdy (" K(p0, r) ‚" A. r>0 " Zbiór punktów wewnÄ™trznych zbioru A nazywamy wnÄ™trzem tego zbioru i oznaczamy przez Int(A). 4 " Mówimy, że zbiór A jest otwarty, gdy każdy punkt zbioru A jest jego punktem wewnÄ™trz- nym. Uwaga 1.8. Zbiór A ‚" X jest otwarty Ô! A = Int(A). Twierdzenie 1.9. Każda kula jest zbiorem otwartym w dowolnej przestrzeni metrycznej. Definicja 1.10. Niech p0 " X. " Otoczeniem U(p0) punktu p0 nazywamy każdy zbiór otwarty zawierajÄ…cy ten punkt. " SÄ…siedztwem S(p0) punktu p0 nazywamy każdy zbiór postaci U(p0) \ {p0}. Definicja 1.11. Niech A ‚" X. " Mówimy, że zbiór A jest domkniÄ™ty, gdy X \ A jest otwarty. " DomkniÄ™ciem zbioru A nazywamy zbiór A = {p0 " X : '" K(p0, r) )" A = "}.
r>0 Twierdzenie 1.12. Zbiór A ‚" X jest domkniÄ™ty Ô! A = A. Definicja 1.13. Brzegiem zbioru A ‚" X nazywamy zbiór def Fr(A) = A )" X \ A. Uwaga 1.14. Można wykazać, że Fr(A) = A \ Int(A). Definicja 1.15. Niech p0 " X oraz A ‚" X. " Mówimy, że punkt p0 jest punktem skupienia zbioru A, gdy '" K(p0, r) )" (A \ {p0}) = ".
r>0 Zbiór punktów skupienia zbioru A oznaczamy przez Ad. " Punkt p0 nazywamy punktem izolowanym zbioru A, gdy nie jest punktem skupienia zbioru A. Uwaga 1.16. Można wykazać, że A = A *" Ad. Twierdzenie 1.17. Punkt p0 " X jest punktem skupienia zbioru A ‚" X wtedy i tylko wtedy, gdy istnieje ciÄ…g (pn)n"N taki, że '" pn " A \ {p0} '" lim pn = p0. n" n"N Definicja 1.18. Zbiór A ‚" Rn, n " N, nazywamy zbiorem spójnym, jeÅ›li jego dwa dowolne punkty można poÅ‚Ä…czyć Å‚amanÄ… zawartÄ… w A. Na prostej zbiór A jest spójny wtedy i tylko wtedy, gdy A jest przedziaÅ‚em. Uwaga 1.19. PojÄ™cie zbioru spójnego można wprowadzić w dowolnej przestrzeni metrycznej w nastÄ™pujÄ…cy sposób: Zbiór A ‚" X jest spójny, gdy nie da siÄ™ przedstawić w postaci sumy (U1 )"A)*"(U2 )"A), gdzie U1, U2 sÄ… zbiorami niepustymi i otwartymi takimi, że U1 )" U2 )" A = ". Definicja 1.20. Niech n " N. Zbiór otwarty i spójny w Rn nazywamy obszarem. 2006-EK 5 2. Granica i ciÄ…gÅ‚ość funkcji wielu zmiennych Niech n " N. Definicja 2.1. FunkcjÄ™ f : A R, gdzie A ‚" Rn, nazywamy funkcjÄ… rzeczywistÄ… n zmiennych rzeczywistych. Definicja 2.2. Niech f : R2 R. " Wykresem funkcji f nazywamy zbiór G(f) = {(x, y, z) " R3 : (x, y) " Df '" z = f(x, y)}, gdzie Df oznacza dziedzinÄ™ funkcji f. " PoziomicÄ… funkcji f odpowiadajÄ…cÄ… poziomowi h " R nazywamy zbiór {(x, y) " Df : f(x, y) = h}. Definicja 2.3 (wg Cauchy ego). Niech A ‚" Rn i p0 " Rn. Załóżmy, że f : A R oraz p0 jest punktem skupienia zbioru A. LiczbÄ™ g nazywamy n-krotnÄ… granicÄ… wÅ‚aÅ›ciwÄ… funkcji f w punkcie p0, gdy '" (" '" [0 < d(p, p0) < ´ Ò! |f(p) - g| < µ]. µ>0 ´>0 p"A Zapisujemy lim f(p) = g. pp0 Definicja 2.4 (wg Heinego). Niech A ‚" Rn i p0 " Rn. Załóżmy, że f : A R oraz p0 jest punktem skupienia zbioru A. Wówczas lim f(p) = g, gdy pp0 '" [(pn " A \ {p0} '" lim pn = p0) Ò! lim f(pn) = g]. n" n" (pn) Podobnie jak dla funkcji jednej zmiennej definiujemy granice niewÅ‚aÅ›ciwe w punkcie. Uwaga 2.5. Dla n-krotnej granicy funkcji zachodzÄ… twierdzenia o arytmetyce granic funkcji, twierdzenie o granicy funkcji zÅ‚ożonej oraz twierdzenie o trzech funkcjach analogicznie jak dla funkcji jednej zmiennej. Definicja 2.6. Niech A ‚" R2 oraz niech (x0, y0) " R2. Załóżmy, że f : A R, zaÅ› (x0, y0) jest punktem skupienia zbioru A. JeÅ›li istniejÄ… granice lim (yy f(x, y)) oraz lim (xx f(x, y)), lim lim xx0 0 yy0 0 to nazywamy je granicami iterowanymi funkcji f w punkcie (x0, y0). Uwaga 2.7. Istnienie granicy podwójnej w punkcie (x0, y0) " R2 jest niezależne od istnienia granic iterowanych. Można jedynie wykazać, że jeÅ›li istnieje granica podwójna i przynajmniej jedna granica iterowana funkcji f w punkcie (x0, y0), to granice te sÄ… równe. 6 Definicja 2.8. Niech A ‚" Rn, f : A R i p0 " Rn. " Funkcja f jest ciÄ…gÅ‚a w punkcie p0, gdy p0 " Ad (" (p0 " Ad '" lim f(p) = f(p0)). / pp0 " Funkcja f jest ciÄ…gÅ‚a na zbiorze A, gdy jest ciÄ…gÅ‚a w każdym punkcie tego zbioru. Uwaga 2.9. 1. Każda funkcja n-zmiennych jest ciÄ…gÅ‚a w punktach izolowanych dziedziny. 2. JeÅ›li funkcja n-zmiennych jest ciÄ…gÅ‚a w punkcie, to jest ciÄ…gÅ‚a ze wzglÄ™du na każdÄ… zmiennÄ… oddzielnie. Stwierdzenie odwrotne nie jest prawdziwe. 2.1. WÅ‚asnoÅ›ci funkcji ciÄ…gÅ‚ych. Niech n " N oraz p0 " Rn. Twierdzenie 2.10. JeÅ›li funkcje f, g : U(p0) R sÄ… ciÄ…gÅ‚e w punkcie p0, to funkcje f + g, f f · g oraz (o ile g(p0) = 0) sÄ… również ciÄ…gÅ‚e w tym punkcie.
g Twierdzenie 2.11. JeÅ›li funkcje f1, f2, . . . , fk : U(p0) R, gdzie k " N, sÄ… ciÄ…gÅ‚e w punkcie p0, zaÅ› funkcja g jest ciÄ…gÅ‚a w q0 = (f1(p0), f2(p0), . . . , fk(p0)), to funkcja zÅ‚ożona g(f1, f2, . . . , fk) jest ciÄ…gÅ‚a w p0. Twierdzenie 2.12 (o lokalnym zachowaniu znaku). Niech p0 " Rn. JeÅ›li funkcja f : U(p0) R jest ciÄ…gÅ‚a w punkcie p0 oraz f(p0) > 0, to (" '" f(p) > 0. U0(p0)‚"U(p0) p"U0(p0) Twierdzenie 2.13 (Weierstrassa o osiÄ…ganiu najmniejszej i najwiÄ™kszej wartoÅ›ci). Niech A ‚" Rn bÄ™dzie zbiorem domkniÄ™tym i ograniczonym. JeÅ›li f : A R jest ciÄ…gÅ‚a, to jest ograniczona na zbiorze A, przy czym istniejÄ… punkty p1, p2 " A takie, że '" f(p1) f(p) f(p2). p"A Twierdzenie 2.14 (Darboux o przyjmowaniu wartoÅ›ci poÅ›rednich). Niech A ‚" Rn bÄ™dzie zbiorem domkniÄ™tym i ograniczonym oraz niech m = inf f[A], M = sup f[A]. JeÅ›li f : A R jest ciÄ…gÅ‚a, to '" (" z = f(p). z"[m,M] p"A Twierdzenie 2.15 (Cantora o ciÄ…gÅ‚oÅ›ci jednostajnej). Niech A ‚" Rn bÄ™dzie zbiorem domkniÄ™tym i ograniczonym. JeÅ›li f : A R jest ciÄ…gÅ‚a, to f jest jednostajnie ciÄ…gÅ‚a na A, tzn. '" (" '" [d(p1, p2) < ´ Ò! |f(p1) - f(p2)| < µ]. µ>0 ´>0 p1, p2"A Twierdzenie 2.16. Niech A ‚" Rn bÄ™dzie zbiorem spójnym. JeÅ›li funkcja f : A R jest ciÄ…gÅ‚a, to zbiór f[A] jest spójny w R. 2006-EK 7 3. Rachunek różniczkowy funkcji wielu zmiennych Niech n " N oraz niech A bÄ™dzie otwartym podzbiorem Rn. 3.1. Definicja i podstawowe wÅ‚asnoÅ›ci pochod- nej kierunkowej. Definicja 3.1. Niech p0 " A, h " Rn oraz f : A R. Rozważmy zbiór otwarty w R U = {t " R \ {0} : p0 + th " A} oraz funkcjÄ™ F : U R danÄ… wzorem def f(p0 + th) - f(p0) F (t) = dla t " U. t JeÅ›li istnieje skoÅ„czona granica limF (t), to nazywamy jÄ… pochodnÄ… kierunkowÄ… funkcji f t0 w punkcie p0 w kierunku wektora h. Zapisujemy def f(p0 + th) - f(p0) fh(p0) = lim . t0 t Definicja 3.2. Niech h " Rn oraz f : A R. Niech D ‚" A bÄ™dzie zbiorem punktów w których istnieje pochodna kierunkowa funkcji f w kierunku wektora h. FunkcjÄ™ D p fh(p) nazywamy pochodnÄ… kierunkowÄ… funkcji f w kierunku wektora h. Uwaga 3.3. (Interpretacja geometryczna pochodnej kierunkowej dla n = 2.) Niech h = [h1, h2] " R2, p0 = (x0, y0) " A oraz f : A R. Oznaczmy przez k prostÄ… stycznÄ… do krzywej otrzymanej w wyniku przekroju powierzchni z = f(x, y) pÅ‚aszczyznÄ… zawierajÄ…cÄ… punkt (x0, y0, 0) oraz równolegÅ‚Ä… do wektorów [h1, h2, 0] i e3 = [0, 0, 1]. Wówczas fh(x0, y0) = tg Å‚, gdzie Å‚ oznacza kÄ…t nachylenia prostej k do pÅ‚aszczyzny Oxy. Twierdzenie 3.4. Niech p0 " A oraz f : A R. Wezmy h1, h2 " Rn oraz Ä… " R. Wówczas a) jeÅ›li w punkcie p0 istnieje pochodna w kierunku wektora h1, to w punkcie tym istnieje również pochodna w kierunku wektora Ä…h1 i zachodzi równość fÄ…h (p0) = Ä… fh (p0); 1 1 b) jeÅ›li w punkcie p0 istniejÄ… pochodne w kierunku wektorów h1, h2 oraz przynajmniej jedna z nich jest funkcjÄ… ciÄ…gÅ‚Ä… w p0, to w punkcie tym istnieje również pochodna w kierunku wektora h1+ h2 i zachodzi równość fh +h2(p0) = fh (p0) + fh (p0). 1 1 2 Uwaga 3.5. Bez zaÅ‚ożenia ciÄ…gÅ‚oÅ›ci równość w części b) może nie zachodzić. 8 3.2. Definicja i podstawowe wÅ‚asnoÅ›ci pochod- nych czÄ…stkowych. Dla ustalonego i " {1, . . . , n} oznaczmy przez ei wersor i-tej osi. Ponadto niech xi umownie oznacza i-tÄ… zmiennÄ… funkcji okreÅ›lonej w przestrzeni Rn. Definicja 3.6. Niech p0 " A oraz f : A R. PochodnÄ… kierunkowÄ… fe (p0) (o ile istnie- i je) nazywamy pochodnÄ… czÄ…stkowÄ… funkcji f w punkcie p0 wzglÄ™dem i-tej zmiennej. "f Oznaczamy jÄ… przez f (p0) lub (p0). xi "xi Uwaga 3.7. Istnienie pochodnych czÄ…stkowych funkcji f w punkcie nie zapewnia ciÄ…gÅ‚oÅ›ci funkcji w tym punkcie. Definicja 3.8. Niech p0 " A oraz f : A R. Gradientem funkcji f w punkcie p0 nazywamy wektor def "f(p0) = [f (p0), . . . , f (p0)]. x1 xn Twierdzenie 3.9. Niech p0 " A oraz f : A R. JeÅ›li pochodne czÄ…stkowe f , i " {1, . . . , n}, xi sÄ… ciÄ…gÅ‚e w punkcie p0, to istnieje pochodna kierunkowa funkcji f w p0 w kierunku dowolnego wektora h " Rn oraz fh(p0) = "f(p0) ć% h. Uwaga 3.10. 1. Gradient funkcji w punkcie wskazuje kierunek najszybszego wzrostu funkcji w tym punkcie. 2. Dla n = 2 gradient funkcji w punkcie jest prostopadÅ‚y do poziomicy funkcji przechodzÄ…cej przez ten punkt. 3.3. Różniczkowalność funkcji wielu zmiennych. Dla ustalonego wektora h = [h1, . . . , hn] " Rn niech def h = h2. i Definicja 3.11. Niech p0 " A oraz f : A R. JeÅ›li istniejÄ… pochodne czÄ…stkowe f (p0) dla xi i " {1, . . . , n} oraz f(p0 + h) - f(p0) - "f(p0) ć% h lim = 0, h0 h to mówimy, że funkcja f jest różniczkowalna w punkcie p0. Definicja 3.12. Niech p0 " A oraz f : A R. Załóżmy, że funkcja f posiada pochodnÄ… kierunkowÄ… fh(p0) w kierunku dowolnego wektora h " Rn. RóżniczkÄ… funkcji f w punkcie p0 nazywamy funkcjÄ™ df(p0) okreÅ›lonÄ… wzorem def df(p0)(h) = fh(p0) dla h " Rn. 2006-EK 9 JeÅ›li f posiada pochodne czÄ…stkowe ciÄ…gÅ‚e w punkcie p0, to funkcjÄ™ df(p0) nazywamy różniczkÄ… zupeÅ‚nÄ… i zachodzi równość df(p0)(h) = "f(p0) ć% h dla h " Rn. Uwaga 3.13. (Interpretacja geometryczna funkcji różniczkowalnej w punkcie dla n = 2.) JeÅ›li funkcja f : A R jest różniczkowalna w punkcie p0 = (x0, y0) " A, to istnieje pÅ‚aszczyzna styczna do wykresu funkcji w punkcie (x0, y0, f(x0, y0)) (pÅ‚aszczyzna ta jest prostopadÅ‚a do wektora [fx(x0, y0), fy(x0, y0), -1]). Twierdzenie 3.14 (Warunek konieczny różniczkowalnoÅ›ci funkcji). JeÅ›li funkcja f : A R jest różniczkowalna w punkcie p0 " A, to jest ciÄ…gÅ‚a w tym punkcie. Uwaga 3.15. Twierdzenie odwrotne nie jest prawdziwe. Twierdzenie 3.16 (Warunek wystarczajÄ…cy różniczkowalnoÅ›ci funkcji). JeÅ›li funkcja f : A R posiada na zbiorze A pochodne czÄ…stkowe f , i " {1, . . . , n}, ciÄ…gÅ‚e w punkcie xi p0 " A, to f jest różniczkowalna w punkcie p0. Uwaga 3.17. CiÄ…gÅ‚ość pochodnych czÄ…stkowych nie jest jednak warunkiem koniecznym róż- niczkowalnoÅ›ci funkcji. 3.4. Pochodne czÄ…stkowe wyższych rzÄ™dów. Wzór Taylora dla funkcji wielu zmiennych. Definicja 3.18. Niech p0 " A oraz f : A R. Załóżmy, że na pewnym otoczniu punktu p0 istniejÄ… pochodne czÄ…stkowe f , i " {1, . . . , n}. Wówczas pochodne czÄ…stkowe drugiego xi rzÄ™du funkcji f w punkcie p0 okreÅ›lamy wzorami: def '" fx xj(p0) = (fx ) x (p0). i i j i,j"{1,... ,n} "2f JeÅ›li i = j, to zamiast fx xj piszemy fx . Pochodne fx xj oznaczamy też symbolem . 2 i i "xi"xj i W przypadku gdy i = j, pochodne fx xj nazywamy pochodnymi czÄ…tkowymi mieszanymi
i drugiego rzÄ™du. Uwaga 3.19. 1. W analogiczny sposób definiujemy pochodne czÄ…stkowe wyższych rzÄ™dów. 2. Niech h1, h2 " Rn. JeÅ›li funkcja f posiada na pewnym otoczniu punktu p0 pochodnÄ… kierunkowÄ… fh , to pochodnÄ… kierunkowÄ… drugiego rzÄ™du w kierunku wektorów h1, h2 1 definiujemy nastÄ™pujÄ…co: def fh ,h2(p0) = (fh ) h (p0). 1 1 2 Twierdzenie 3.20 (Schwarza). Niech i, j " {1, . . . , n}. JeÅ›li funkcja f : A R posiada w zbiorze A pochodne czÄ…stkowe drugiego rzÄ™du fx xj i fx xi ciÄ…gÅ‚e w punkcie p0 " A, to i j fx xj(p0) = fx xi(p0). i j 10 Definicja 3.21. Niech p0 " A, f : A R oraz k " N. Załóżmy, że funkcja f posiada pochodne czÄ…stkowe k-tego rzÄ™du ciÄ…gÅ‚e w punkcie p0. FunkcjÄ™ d(k)f(p0) okreÅ›lonÄ… wzorem def (k) d(k)f(p0)(h) = fh,... ,h(p0) dla h " Rn, nazywamy różniczkÄ… k-tego rzÄ™du funkcji f w punkcie p0. def Dla ustalonych p, h " Rn niech [p, p + h] = {p + th : t " [0, 1]}. Twierdzenie 3.22 (wzór Taylora). Niech p0 " A, f : A R oraz k " N. Załóżmy, że funkcja f posiada w A ciÄ…gÅ‚e pochodne czÄ…stkowe k-tego rzÄ™du. Wówczas dla każdego h " Rn, dla którego [p0, p0 + h] ‚" A, istnieje ¸ " [0, 1] takie, że df(p0)(h) d(k-1)f(p0)(h) f(k)(p + ¸h)(h) f(p0 + h) = f(p0) + + · · · + + . 1! (k - 1)! k! 3.5. Ekstrema lokalne i globalne funkcji. Definicja 3.23 (ekstrema lokalne). Mówimy, że funkcja f : A R ma w punkcie p0 " A " maksimum lokalne, gdy (" '" f(p) f(p0); S(p0) p"S(p0))"A " minimum lokalne, gdy (" '" f(p) f(p0). S(p0) p"S(p0))"A JeÅ›li w powyższych warunkach nierównoÅ›ci i zastÄ…pić odpowiednio przez < i > , to otrzymamy definicje maksimum i minimum lokalnego wÅ‚aÅ›ciwego. Definicja 3.24 (ekstrema globalne). Mówimy, że funkcja f : A R ma w punkcie p0 " A " maksimum globalne, gdy '" f(p) f(p0); p"A " minimum globalne, gdy '" f(p) f(p0). p"A Twierdzenie 3.25 (warunek konieczny istnienia ekstremum lokalnego). Niech p0 " A oraz f : A R. JeÅ›li funkcja f ma w punkcie p0 ekstremum lokalne i istniejÄ… wszystkie pochodne czÄ…stkowe fx (p0), to i "f(p0) = 0. Uwaga 3.26. JeÅ›li funkcja f ma w punkcie p0 ekstremum lokalne i istnieje pochodna kierun- kowa fh(p0) w kierunku wektora h " Rn, to fh(p0) = 0. Twierdzenie 3.27. Niech A bÄ™dzie ograniczonym i domkniÄ™tym podzbiorem Rn. Załóżmy, że funkcja f : A R jest ciÄ…gÅ‚a w A i oznaczmy przez A1 = {p " Int(A) : '" fx (p) = 0}, A2 = {p " Int(A) : (" fx (p) nie istnieje }. i i i"{1,... ,n} i"{1,... ,n} 2006-EK 11 Wówczas sup{f(p) : p " A} = sup{f(p) : p " Fr(A) *" A1 *" A2}, inf{f(p) : p " A} = inf{f(p) : p " Fr(A) *" A1 *" A2}. Twierdzenie 3.28 (warunek wystarczajÄ…cy istnienia ekstremum lokalnego). Załóżmy, że funkcja f : A R posiada na pewnym otoczeniu U(p0) punktu p0 " A ciÄ…gÅ‚e pochodne czÄ…stkowe drugiego rzÄ™du oraz "f(p0) = 0. Dla ustalonego k " {1, . . . , n} oznaczmy przez def wk(p0) = det[fx xj(p0)]i,j k. Wówczas i a) jeÅ›li wk(p0) > 0 dla wszystkich k " {1, . . . , n}, to f ma w p0 minimum lokalne wÅ‚aÅ›ciwe; b) jeÅ›li (-1)kwk(p0) > 0 dla wszystkich k " {1, . . . , n}, to f ma w p0 maksimum lokalne wÅ‚aÅ›ciwe; c) jeÅ›li wk (p0) < 0 dla pewnego parzystego k0 " {1, . . . , n}, to f nie posiada w p0 ekstremum 0 lokalnego. Uwaga 3.29. W pozostaÅ‚ych przypadkach twierdzenie nie rozstrzyga o istnieniu ekstremów lokalnych. 12 3.6. Pochodne czÄ…stkowe funkcji wektorowych i funkcji zÅ‚ożonych. Niech n, k " N oraz niech A ‚" Rn bÄ™dzie zbiorem otwartym. Definicja 3.30. FunkcjÄ™ F : A Rk nazywamy funkcjÄ… wektorowÄ…. Uwaga 3.31. KażdÄ… funkcjÄ™ wektorowÄ… F : A Rk można zapisać w postaci F (p) = [f1(p), f2(p), . . . , fk(p)], p " A, gdzie f1, f2, . . . , fk : A R. Ponadto dla dowolnego p0 " Ad lim F (p) = [pp f1(p), lim f2(p), . . . , lim fk(p)], lim pp0 pp0 pp0 0 oraz dla dowolnego p0 " A i h " Rn Fh(p0) = [(f1) h(p0), (f2) h(p0), . . . , (fk) h(p0)]. Definicja 3.32. Niech F : A Rk oraz F = [f1, f2, . . . , fk]. JeÅ›li funkcje fi, gdzie i " {1, . . . , k}, posiadajÄ… w punkcie p0 " A pochodne czÄ…stkowe (fi) x (p0) dla j " {1, . . . , n}, to macierz j [(fi) x (p0)]i k, nazywamy macierzÄ… Jacobiego funkcji F w punkcie p0. j j n W przypadku gdy n = k wyznacznik tej macierzy nazywamy jakobianem funkcji F w punkcie p0 i oznaczamy przez def JF (p0) = det[(fi) x (p0)]i k, . j j n Twierdzenie 3.33 (o pochodnej funkcji zÅ‚ożonej). Niech D ‚" Rk bÄ™dzie zbiorem otwar- tym. Załóżmy, że g : D R, [f1, f2, . . . , fk] = F : (a, b) Rk oraz F [(a, b)] ‚" D. JeÅ›li funkcja g posiada w D ciÄ…gÅ‚e pochodne czÄ…stkowe gx dla i " {1, . . . , k}, zaÅ› funkcje fi, gdzie i i " {1, . . . , k}, sÄ… różniczkowalne na (a, b), to funkcja zÅ‚ożona g ć% F jest różniczkowalna na (a, b), przy czym k (g ć% F ) (x) = gx (F (x))fi (x). i i=1 x"(a,b) Twierdzenie 3.34 (o pochodnych czÄ…stkowych funkcji zÅ‚ożonej). Niech A ‚" Rn oraz D ‚" Rk bÄ™dÄ… zbiorami otwartymi. Załóżmy, że g : D R, [f1, f2, . . . , fn] = F : A Rk oraz F [A] ‚" D. JeÅ›li funkcja g posiada w D ciÄ…gÅ‚e pochodne czÄ…stkowe gx dla i " {1, . . . , k}, zaÅ› i funkcje fi, gdzie i " {1, . . . , k}, majÄ… w A ciÄ…gÅ‚e pochodne czÄ…stkowe (fi) x dla j " {1, . . . , n}, j to funkcja zÅ‚ożona g ć% F ma w A pochodne czÄ…stkowe, przy czym k (g ć% F ) x (p) = gx (F (p))(fi) x (p). j i j p"A i=1 j"{1,... ,n} 2006-EK 13 3.7. Funkcja uwikÅ‚ana. Niech A ‚" R2 bÄ™dzie zbiorem otwartym. Definicja 3.35. Niech F : A R bÄ™dzie funkcjÄ… ciÄ…gÅ‚Ä… na A. KażdÄ… funkcjÄ™ ciÄ…gÅ‚Ä… f : (a, b) R takÄ…, że dla każdego x " (a, b) równanie (") F (x, y) = 0, ma rozwiÄ…zanie y = f(x) nazywamy funkcjÄ… uwikÅ‚anÄ… (wzglÄ™dem x) wyznaczonÄ… przez rów- nanie ("). Analogicznie definiujemy funkcjÄ™ uwikÅ‚anÄ… wzglÄ™dem y. Twierdzenie 3.36 (o istnieniu i różniczkowalnoÅ›ci funkcji uwikÅ‚anej). Załóżmy, że funkcja F : A R posiada ciÄ…gÅ‚e pochodne czÄ…stkowe pierwszego rzÄ™du na pewnym otoczeniu V punktu p0 = (x0, y0) takiego, że (1) F (p0) = 0, (2) Fy(p0) = 0.
Wówczas na pewnym otoczeniu U(x0) istnieje jednoznacznie określona funkcja uwikłana f (względem x) spełniająca warunki: a) F (x, f(x)) = 0, x"U(x0) b) f(x0) = y0, Fx(x, f(x)) c) f (x) = - . Fy(x, f(x)) x"U(x0) Uwaga 3.37. Jeśli ponadto funkcja F posiada ciągłe pochodne cząstkowe drugiego rzędu na otoczeniu V , to funkcja uwikłana f jest dwukrotnie różniczkowalna na U(x0) oraz Fxx(p)(Fy)2(p) - 2Fxy(p)Fx(p)Fy(p) + Fyy(p)(Fx)2(p) f (x) = - , gdzie p =(x, f(x)). (Fy)3(p) x"U(x0) Twierdzenie 3.38 (o ekstremach lokalnych funkcji uwikłanej). Załóżmy, że funkcja F : A R posiada ciągłe pochodne cząstkowe drugiego rzędu na pewnym otoczeniu V punktu p0 = (x0, y0) oraz (1) F (p0) = 0, Fy(p0) = 0,
(2) Fx(p0) = 0, Fxx(p0) (3) I(p0) = - = 0.
Fy(p0) Wówczas funkcja uwikÅ‚ana f wyznaczona przez równanie (") posiada w punkcie x0 ekstremum lokalne o wartoÅ›ci y0, przy czym jest to " minimum lokalne, gdy I(p0) > 0 oraz " maksimum lokalne, gdy I(p0) < 0. Uwaga 3.39. Analogiczne twierdzenia zachodzÄ… dla funkcji uwikÅ‚anej wzglÄ™dem y. 14 3.8. Ekstrema warunkowe. Niech A ‚" R2 bÄ™dzie zbiorem otwartym. Definicja 3.40 (ekstrema warunkowe lokalne). Mówimy, że funkcja f : A R ma w punkcie p0 " A " maksimum lokalne z warunkiem g(p) = 0, gdy [g(p) = 0 Ò! f(p) f(p0)], S(p0)‚"A p"S(p0) " minimum lokalne z warunkiem g(p) = 0, gdy [g(p) = 0 Ò! f(p) f(p0)]. S(p0)‚"A p"S(p0) JeÅ›li w powyższych warunkach nierównoÅ›ci i zastÄ…pić odpowiednio przez < i > , to otrzymamy definicje ekstremów lokalnych wÅ‚aÅ›ciwych. Uwaga 3.41. W podobny sposób definiujemy również ekstrema warunkowe globalne. 2006-EK