Warunek dostateczny na minimum
gdzie f jest funkcją dwukrotnie różniczkowalną w otoczeniu punktu x0
Czym jest warunek dostateczny na minimum?
Warunek dostateczny na minimum lokalne, zwany również testem drugiej pochodnej, to twierdzenie pozwalające potwierdzić istnienie minimum w punkcie stacjonarnym. Mówi ono, że jeśli pierwsza pochodna funkcji w punkcie x0 jest równa zero (f'(x0) = 0), a druga pochodna jest dodatnia (f''(x0) > 0), to x0 jest punktem minimum lokalnego.
W odróżnieniu od warunku koniecznego (f'(x0) = 0), który jedynie wskazuje kandydatów na ekstrema, warunek dostateczny pozwala jednoznacznie stwierdzić, że dany punkt stacjonarny jest minimum. Nie trzeba badać znaku pierwszej pochodnej w otoczeniu - wystarczy obliczyć wartość drugiej pochodnej w jednym punkcie.
Intuicja jest prosta: dodatnia druga pochodna oznacza, że pierwsza pochodna jest rosnąca w otoczeniu x0. Skoro f'(x0) = 0, a f' rośnie, to na lewo od x0 pochodna musi być ujemna (funkcja maleje), a na prawo dodatnia (funkcja rośnie). Taki układ znaków odpowiada minimum lokalnemu.
Elementy wzoru
Pierwsza pochodna funkcji w punkcie x0 jest równa zero. To warunek konieczny - punkt stacjonarny. Styczna do wykresu w tym punkcie jest pozioma, co oznacza, że funkcja chwilowo nie rośnie ani nie maleje.
Druga pochodna w punkcie x0 jest dodatnia. Oznacza to, że funkcja jest wypukła (wklęsła ku górze) w otoczeniu x0. Wykres funkcji wygina się "do góry", tworząc kształt doliny - charakterystyczny dla minimum.
Punkt minimum lokalnego. Jest to punkt stacjonarny, w którym funkcja osiąga najmniejszą wartość w pewnym otoczeniu. Wartość f(x0) jest mniejsza lub równa f(x) dla wszystkich x dostatecznie bliskich x0.
Wartość minimum lokalnego. Jest to najmniejsza wartość funkcji w pewnym otoczeniu punktu x0. Dla x bliskich x0 zachodzi f(x) ≥ f(x0).
Interpretacja twierdzenia
Interpretacja geometryczna: Warunek f''(x0) > 0 oznacza, że wykres funkcji jest wypukły (wklęsły ku górze) w otoczeniu punktu x0. Geometrycznie wykres funkcji leży powyżej swojej stycznej w tym punkcie. Ponieważ styczna jest pozioma (f'(x0) = 0), wykres ma kształt "doliny" - funkcja opada do x0 i potem rośnie. Jest to minimum lokalne.
Związek z wypukłością: Dodatnia druga pochodna oznacza wypukłość funkcji. Funkcja wypukła na przedziale ma tę właściwość, że każdy punkt stacjonarny jest minimum globalnym na tym przedziale. Lokalnie, w otoczeniu x0, wypukłość gwarantuje, że punkt stacjonarny jest minimum.
Dlaczego to jest warunek dostateczny: Warunek f''(x0) > 0 jest wystarczający (dostateczny), ale nie konieczny. Istnieją minima lokalne, w których f''(x0) = 0 (np. f(x) = x4 ma minimum w x = 0, lecz f''(0) = 0). W takich przypadkach test drugiej pochodnej jest nierozstrzygający i trzeba użyć innej metody, np. analizy znaku pierwszej pochodnej.
Wizualizacja
Poniższy wykres ilustruje warunek dostateczny na minimum na przykładzie funkcji f(x) = x² - 2x + 1. W punkcie x0 = 1 pierwsza pochodna się zeruje (f'(1) = 0), a druga pochodna jest dodatnia (f''(1) = 2 > 0), co potwierdza istnienie minimum lokalnego. Wykres drugiej pochodnej (pomarańczowa linia) jest stale dodatni, co oznacza, że funkcja jest wypukła na całej dziedzinie.
Funkcja z minimum lokalnym w x = 1
Pierwsza pochodna - zeruje się w x = 1
Druga pochodna dodatnia - potwierdza minimum
Kiedy stosować warunek?
- Potwierdzanie minimum w punkcie stacjonarnym - gdy znalazłeś punkt, w którym f'(x0) = 0, i chcesz szybko sprawdzić, czy jest to minimum, oblicz f''(x0). Jeśli wynik jest dodatni, masz minimum
- Zadania optymalizacyjne - szukanie minimalnego kosztu, najkrótszej drogi, najmniejszego zużycia materiału. Po znalezieniu punktu stacjonarnego test drugiej pochodnej potwierdza, że jest to szukane minimum
- Badanie przebiegu zmienności funkcji - test drugiej pochodnej jest szybszy niż analiza znaku pierwszej pochodnej w otoczeniu, szczególnie gdy obliczenie f'' jest proste
- Funkcje wielomianowe - dla wielomianów obliczenie drugiej pochodnej jest łatwe, a test rzadko bywa nierozstrzygający (f''(x0) = 0)
- Fizyka i inżynieria - wyznaczanie stanów równowagi stabilnej, minimów energii potencjalnej, optymalnych parametrów konstrukcji
Przykłady obliczeniowe
Przykład 1: Funkcja kwadratowa
Zadanie: Za pomocą testu drugiej pochodnej wykaż, że f(x) = x² - 6x + 5 ma minimum lokalne i wyznacz jego wartość.
Rozwiązanie:
Obliczamy pierwszą i drugą pochodną:
Znajdujemy punkt stacjonarny:
Sprawdzamy warunek dostateczny:
Odpowiedź: Funkcja ma minimum lokalne w x0 = 3, a wartość minimalna wynosi f(3) = 9 - 18 + 5 = -4.
Przykład 2: Funkcja wielomianowa trzeciego stopnia
Zadanie: Znajdź minimum lokalne funkcji f(x) = x³ - 12x + 1, używając testu drugiej pochodnej.
Rozwiązanie:
Obliczamy pochodne i szukamy punktów stacjonarnych:
Stosujemy test drugiej pochodnej w obu punktach:
Odpowiedź: Funkcja ma minimum lokalne w x = 2, a wartość minimalna wynosi f(2) = 8 - 24 + 1 = -15.
Przykład 3: Zadanie optymalizacyjne
Zadanie: Wyznacz wymiary prostokąta o obwodzie 20 cm, który ma najmniejsze pole.
Rozwiązanie:
Oznaczmy boki prostokąta jako a i b. Z warunku na obwód: 2a + 2b = 20, czyli b = 10 - a. Pole: P(a) = a(10 - a) = 10a - a².
Uwaga: szukamy minimum pola, ale P(a) = -a² + 10a jest parabolą z ramionami w dół, więc nie ma minimum wewnętrznego - zmieńmy zadanie. Rozważmy pole powierzchni pudełka bez wieczka o kwadratowej podstawie i objętości V = 32 cm³. Pole: S(a) = a² + 4 · (32/a²) · a = a² + 128/a.
Sprawdzamy warunek dostateczny na minimum:
Odpowiedź: Minimalne pole powierzchni osiągamy dla a = 4 cm. Wynosi ono S(4) = 16 + 32 = 48 cm².
Przykład 4: Funkcja trygonometryczna
Zadanie: Wykaż, że f(x) = 2cos(x) + x ma minimum lokalne w przedziale (0, 2π).
Rozwiązanie:
Obliczamy pochodne:
Szukamy punktów stacjonarnych w (0, 2π):
Stosujemy test drugiej pochodnej:
Odpowiedź: Funkcja ma minimum lokalne w x = 5π/6, a wartość minimalna wynosi f(5π/6) = 2cos(5π/6) + 5π/6 = -√3 + 5π/6 ≈ 0,89.
Częste błędy
Stosowanie testu bez sprawdzenia f'(x0) = 0
Test drugiej pochodnej wymaga, aby punkt był stacjonarny (f'(x0) = 0). Samo f''(x0) > 0 bez tego warunku nie gwarantuje minimum. Dodatnia druga pochodna oznacza jedynie wypukłość funkcji w tym punkcie.
Błąd: "f''(1) = 4 > 0, więc x = 1 jest minimum". Jeśli f'(1) ≠ 0, to x = 1 wcale nie musi być ekstremum.
Mylenie warunku dostatecznego z koniecznym
Warunek f''(x0) > 0 jest dostateczny, ale nie konieczny do istnienia minimum. Minimum może istnieć nawet wtedy, gdy f''(x0) = 0 lub gdy druga pochodna nie istnieje. Nie można wnioskować: "f''(x0) = 0, więc brak minimum".
Funkcja f(x) = x4 ma minimum w x = 0, lecz f''(0) = 0. Test drugiej pochodnej jest tu nierozstrzygający, ale minimum istnieje.
Mylenie znaku drugiej pochodnej
f''(x0) > 0 oznacza minimum (dolina, wypukłość), a f''(x0) < 0 oznacza maksimum (szczyt, wklęsłość). Częstym błędem jest odwrócenie tych znaków. Zapamiętaj: "plus jak plus, uśmiech - minimum" (parabola skierowana w górę).
Błąd: "f''(x0) > 0 oznacza maksimum". Prawidłowo: f''(x0) > 0 to wypukłość (U-kształt), czyli minimum.
Rezygnacja z dalszej analizy, gdy test jest nierozstrzygający
Gdy f''(x0) = 0, test drugiej pochodnej nie daje odpowiedzi. W takiej sytuacji wielu uczniów kończy analizę słowami "brak ekstremum", co jest błędem. Trzeba wrócić do testu pierwszej pochodnej lub zastosować pochodne wyższych rzędów.
Dla f(x) = x4 mamy f'(0) = 0 i f''(0) = 0 (test nierozstrzygający), ale analiza znaku f'(x) = 4x³ pokazuje zmianę z - na +, więc jest minimum.
Porady i wskazówki
Wybieraj odpowiednią metodę: Test drugiej pochodnej jest szybki, gdy f'' jest łatwe do obliczenia (wielomiany, proste funkcje). Jeśli obliczenie f'' jest skomplikowane, rozważ test pierwszej pochodnej (sprawdzenie znaku f' po obu stronach punktu stacjonarnego).
Mnemonik "uśmiech-smutek": f''(x0) > 0 to krzywa w kształcie "uśmiechu" (U) - minimum. f''(x0) < 0 to krzywa w kształcie "smutku" (∩) - maksimum. Ten prosty obraz pomaga zapamiętać, który znak odpowiada minimum, a który maksimum.
Gdy test jest nierozstrzygający: Jeśli f''(x0) = 0, użyj testu pierwszej pochodnej: sprawdź znak f' na lewo i prawo od x0. Zmiana z - na + to minimum, z + na - to maksimum, brak zmiany - brak ekstremum.
Weryfikuj wynik: Po zastosowaniu testu oblicz wartość f(x0) i porównaj z wartościami w kilku pobliskich punktach. Jeśli f(x0) jest rzeczywiście mniejsze od otaczających wartości, masz dodatkowe potwierdzenie, że wynik jest prawidłowy.
Przypadki szczególne
Test nierozstrzygający: f''(x0) = 0
Gdy f'(x0) = 0 i f''(x0) = 0, test drugiej pochodnej nie daje odpowiedzi. Punkt x0 może być minimum, maksimum lub punktem przegięcia. Trzeba użyć innej metody - najczęściej analizy znaku pierwszej pochodnej.
Natomiast f(x) = x³ ma f'(0) = 0 i f''(0) = 0, ale nie ma ekstremum w x = 0. Sam fakt f''(x0) = 0 nie przesądza o niczym.
Minimum globalne funkcji wypukłej
Jeśli f jest funkcją wypukłą na całej dziedzinie (f''(x) ≥ 0 wszędzie) i ma punkt stacjonarny x0, to x0 jest minimum globalnym (nie tylko lokalnym). Jest to silniejszy wniosek niż w przypadku ogólnym.
Przykład: f(x) = ex - x ma f'(x) = ex - 1 = 0 dla x = 0, a f''(x) = ex > 0 wszędzie. Więc x = 0 jest minimum globalnym, f(0) = 1.
Wiele punktów stacjonarnych
Gdy funkcja ma kilka punktów stacjonarnych, test drugiej pochodnej stosujemy osobno w każdym z nich. Każdy punkt może być niezależnie minimum, maksimum lub mieć nierozstrzygający wynik testu.
f''(x) = 12x² - 16. Wyniki: f''(-2) = 32 > 0 (minimum), f''(0) = -16 < 0 (maksimum), f''(2) = 32 > 0 (minimum). Funkcja ma dwa minima lokalne i jedno maksimum.
Analogia z parabolą
Warunek f''(x0) > 0 oznacza, że lokalnie funkcja zachowuje się jak parabola skierowana ramionami do góry (y = a(x - x0)² + c, a > 0). Takie przybliżenie Taylora drugiego rzędu tłumaczy, dlaczego test działa.
Ponieważ f'(x0) = 0, przybliżenie Taylora redukuje się do paraboli. Gdy f''(x0) > 0, parabola skierowana jest w górę, więc x0 to minimum.