IX Ekstrema lokalne, warunek konieczny i warunki dostateczne istnienia ekstremów lokalnych.

Definicja

Niech 0x01 graphic
oraz funkcja 0x01 graphic
. Punkt 0x01 graphic
nazywać będziemy:

a). minimum lokalnym (max) funkcji f, gdy

0x01 graphic

b). właściwym minimum lokalnym (max) funkcji f, gdy

0x01 graphic

e). punktem stacjonarnym (krytycznym) funkcji f, gdy istnieją pochodne cząstkowe funkcji f w punkcie x* i spełniony jest warunek:

0x01 graphic
.

Twierdzenie (w-k konieczny dla jednej zmiennej)

Jeżeli 0x01 graphic
klasy 0x01 graphic
osiąga ekstremum w punkcie 0x01 graphic
, to 0x01 graphic
.

Twierdzenie (w-k dostateczny)

Jeśli 0x01 graphic
klasy 0x01 graphic
spełnia następujące warunki:

1). 0x01 graphic

2). 0x01 graphic
zmienia znak w otoczeniu punktu 0x01 graphic
wtedy f ma w 0x01 graphic
ekstremum lokalne właściwe.

( z - na + to jest minimum lokalne, a z + na - maximum lokalne).

Twierdzenie (II w-k dostateczny )

Jeżeli 0x01 graphic
klasy 0x01 graphic
spełnia następujące warunki:

1). 0x01 graphic

2). 0x01 graphic

to funkcja f ma ekstremum lokalne właściwe w 0x01 graphic

( jeżeli 0x01 graphic
- min, a jeśli 0x01 graphic
- max)

(jeżeli kolejna pochodna jest parzysta i jest różna od zera to jest ekstremum, a jak jest nieparzysta to mamy punkt przegięcia)

Twierdzenie (w-k konieczny dla wielu zmiennych)

Niech 0x01 graphic
oraz 0x01 graphic
. Jeżeli 0x01 graphic
jest punktem w którym funkcja f osiąga ekstremum lokalne, to f posiada pochodną cząstkową w punkcie x*

0x01 graphic
.

Twierdzenie (w-k wystarczający dla wielu zmiennych)

Załóżmy, że 0x01 graphic
ma wszystkie pochodne cząstkowe rzędu drugiego, ciągła w punkcie 0x01 graphic
oraz, że 0x01 graphic
. Wówczas

1). Jeśli 0x01 graphic
dla 0x01 graphic
, to f ma w punkcie a minimum lokalne właściwe

2). Jeśli 0x01 graphic
dla 0x01 graphic
, to f ma w punkcie maksimum lokalne właściwe.

0x01 graphic