I 14 U. Rachunek różniczkowy funkcji wtelu :mictm\xh
EKSTREMA FUNKCJI Załóżmy, żc funkcja f zmienny \ i > |est określona na pewnym otoczeniu punktu p„ (x0fy0) Przyjmijmy następujące określenia:
Mówimy. żc funkcja f ma w punkcie prt maksimum lokalne, gdy dla punktów p z pewnego otoczenia punktu p0 zachodzi nicrówn' fI p>< f<p0), czyli
def \ / A
< t ma maksimum lokalne w p0) V /\ ftpi< f(p0j.
Ilpj pc(J(pf i
Analogicznie definiujemy minimum lokalne:
def
( ł ma minimum lokalne w p(1) o V /\ f(p)>f(p„)
tJipj peiii p„>
W szczególności jeżeli dla każdego peU(p0)-|pu} zachodzi nieró nosć ostra; f( p> < f(p„) lub f(pi> f(p„), to mówimy o maksimum lub minimum lokalnym właściwym funkcji f w punkcie p0.
Jeżeli funkcja ł jest określonu nu pewnym zbiorze DcK:, p czym p„ f D oraz
A f(p)<t(p0)
peD
A f(p^fip,j,
oeD
lub
to mówimy, że funkcja f ma w punkcie p0 odpowiednio maksimum iib-sulutnc lub minimum absolutne na zbiorze D.
lak więc maksimum (minimum) absolutne oznacza po prosi' największą (najmniejszą.) wartość funkcji na rozpatrywanym zbiorze.
Wykazuje się. ze funkcja ciągła na obszarze domkniętym • ograniczonym usiągj na tym obszarze minimum i maksimi absolutne (własność Wcierstrassa funkcji ciągłych).
Na rysunku 6.1. przedstawiony jest wykres funkcji mającej w punkcie p„ maksimum lokalne, które jest jednocześnie maksimum a‘ lutnyni tej funkcji.
Oczywiście nic zawsze ekstremum lokalne jest ekstremum ab: lutnym, ani tez odwrotnie - ekstremum absolutne nic musi być ckstr mum lokalnym. Jeżeli jednak ekstremum absolutne jesi osiągane W
punkcie wewnętrznym dziedziny, to jest ono jednocześnie ekstremum lokalnym.
Warunek konieczny istnienia ekstremum
Załóżmy, ze funkcja f zmiennych x i y jest określona na pewnym otoczeniu punktu Po = (x0,y„)-
TWIERDZENIE 6.1. Jeżeli funkcja f ma w punkcie (x„,y0) pochodne cząstkowe i ma w tyin punkcie ekstremum lokalne, to
Dowód Ponieważ funkcja f ma w punkcie (x0,y0) ekstremum. więc funkcja zmiennej x: <p,(x) = f(x.y0) w punkcie x0 oraz funkcja zmiennej y: <p:(y)= ffj^.y 1 w punkcie y0 mają również ekstrema (por. rys 6.2.). Zatem
tp!(x0)=f1,(x9,yo)-0 oraz <p*2(y0) = fv*(xo.yo) = 0. co kończy dowód.
<fe:y) - t(xo.y)
2