Loading [MathJax]/jax/output/CommonHTML/jax.js

Lokaalit ääriarvot

Osittaisderivaatat liittyvät oleellisesti usean muuttujan funktion ääriarvoihin. Ennen usean muuttujan funktion lokaalin ääriarvon käsitteen määrittelyä on tarpeellista pohtia, mitä tässä tapauksessa tarkoittaa pisteen ympäristö. Siinä missä yhden muuttujan funktiolla tietyn pisteen a ympäristö oli avoin väli (c,d), jossa pisteestä a voidaan edetä vain joko kohti pistettä c tai pistettä d, kahden tai useamman muuttujan tapauksessa ympäristö levittäytyy useampaan suuntaan pisteestä a katsottuna. Pisteen a ympäristöllä tarkoitetaan yleisessä tapauksessa siis avointa palloa B(a,r)={xRn : xa<r}, missä a on keskipiste ja r säde. Alueen reuna, joka on kolmiulotteisessa tapauksessa pallokuori, ei sisälly avoimeen palloon.

Kahden muuttujan tapauksessa määrittelyjoukko on tasoalue ja a on kaksiulotteinen piste (a,b), jolloin varsinaisen pallon sijasta joukkona on (a,b)-keskinen r-säteinen kiekko eli ympyräkäyrän sisäänsä sulkema alue (ilman, että itse reuna kuuluu alueeseen).

Määritelmä 7.4.1

Funktiolla f:RnR on joukossa DRn pisteessä aD

  • lokaali maksimi, jos f(x)f(a) jossakin pisteen a ympäristössä

    xB(a,r)D, ja

  • lokaali minimi, jos f(x)f(a) jossakin pisteen a ympäristössä

    xB(a,r)D.

Pistettä a kutsutaan ääriarvopisteeksi (minimipisteeksi tai maksimipisteeksi) ja arvoa f(a) ääriarvoksi (minimiarvoksi tai maksimiarvoksi). Toisin sanoen jos funktion kaikki arvot ovat pienempiä (vastaavasti suurempia) pisteen a sisältävän pallon sisällä, niin pisteessä a on funktiolla lokaali minimi (vastaavasti maksimi).

Esimerkki 7.4.2

Funktiolla f(x,y)=(12x2+y2)exp(1x2y2) on kaksi lokaalia minimiä ja kaksi lokaalia maksimia.

../_images/lokminmax.svg

Lause 7.4.3 (Välttämätön ehto lokaalille ääriarvolle)

Jos funktiolla f:RnR on lokaali ääriarvopiste a ja funktiolla f on kaikki osittaisderivaatat pisteessä a, niin kaikki f:n osittaisderivaatat ovat nollia pisteessä a eli

fxi(a)=0

kaikilla i=1,,n.

Piilota/näytä todistus

Todistetaan väite funktiolle f:R2R (n:n muuttujan tapaus vastaavasti). Oletetaan, että (a,b)R2 on funktion f lokaali maksimipiste ja että on olemassa fx(a,b) sekä fy(a,b). Tarkastellaan apufunktioita g(x)=f(x,b) ja h(y)=f(a,y), jotka ovat nyt yhden muuttujan funktioita. Aiemman huomautuksen perusteella

g(a)=fx(a,b)

ja

h(b)=fy(a,b).

Tällöin siis apufunktio g on derivoituva pisteessä a ja vastaavasti apufunktio h pisteessä b. Lisäksi nämä pisteet ovat näiden apufunktioiden lokaalit maksimipisteet funktion f lokaalin maksimipisteen (a,b) perusteella. Totea tämä määritelmien 7.4.1 ja 5.6.1 avulla. Tällöin yhden muuttujan funktioita koskevan lauseen 5.6.4 perusteella saadaan, että g(a)=0 ja h(b)=0. Siis

fx(a,b)=fy(a,b)=0.

Lokaalissa ääriarvopisteessä osittaisderivaatat ovat nollia. Nämä eivät kuitenkaan ole ainoita pisteitä, joissa kaikki osittaisderivaatat häviävät. Pistettä, jossa osittaisderivaatat ovat nollia, mutta joka ei ole lokaali ääriarvopiste, kutsutaan satulapisteeksi (saddle point).

Esimerkki 7.4.4

Seuraavien funktioiden osittaisderivaatat ovat nollia pisteessä (0,0):

  1. Funktiolla f(x,y)=x2+y2 on lokaali minimi pisteessä (0,0).
  2. Funktiolla f(x,y)=1x2y2 on lokaali maksimi pisteessä (0,0).
  3. Funktiolle f(x,y)=x2y2 piste (0,0) on satulapiste.
../_images/minimaxisatula.svg

Tarkastellaan funktiota f(x,y)=xy+x2y.

Mitkä ovat osittaisderivaatan fx nollakohdat?
Mitkä ovat osittaisderivaatan fy nollakohdat?
Funktion kriittinen piste on piste, jossa joko kaikki funktion osittaisderivaatat ovat nollia tai jossa vähintään yksi osittaisderivaatta ei ole määritelty. Valitse seuraavista kaikki funktion f kriittiset pisteet.