am2-wyk-4-n2, Analiza matematyczna, Drabik


AM2:WYKŁAD-4

  • Ekstrema lokalne funkcji wielu zmiennych

  • Ekstrema lokalne warunkowe funkcji wielu zmiennych

  • Ekstrema lokalne funkcji uwikłanej dwóch zmiennych

  • Ekstrema globalne (absolutne) funkcji wielu zmiennych

  • Optymalizacja funkcji 2 i 3 zmiennych

Na początku zdefiniujemy pojęcie ekstremum lokalnego

(minimum lub maksimum) funkcji o dowolnej ilości zmiennych.

Funkcja f(P) ma w punkcie P0 minimum lokalne

0x01 graphic

Jeżeli 0x01 graphic

to mówimy o minimum lokalnym właściwym

Funkcja f(P) ma w punkcie P0 maksimum lokalne

0x01 graphic

Jeżeli 0x01 graphic

to mówimy o maksimum lokalnym właściwym

Jak widać definicje te są niezależne od ilości argumentów danej funkcji

pod warunkiem że mamy określone sąsiedztwo danego punktu ( metrykę ) .

Jeżeli

  • funkcja f(P) ma ekstremum lokalne w punkcie P0

  • istnieją wszystkie pochodne cząstkowe w punkcie P0

to wówczas 0x01 graphic

Zatem ekstremów lokalnych należy poszukiwać:

Spróbujmy syntetycznie ująć warunki konieczne i dostateczne istnienia ekstremów lokalnych dla funkcji 1, 2 i 3 zmiennych.

W tabeli poniżej przedstawiono zestawienie warunków koniecznych i dostatecznych istnienia ekstremów lokalnych dla funkcji:

Warunek konieczny ekstremum lokalnego

y = f(x)

z = f(x,y)

t = f(x,y,z)

0x01 graphic

0x01 graphic

0x01 graphic

jedno równanie

na punkty

krytyczne

0x01 graphic

0x01 graphic

0x01 graphic

układ 2 równań

na punkty krytyczne

0x01 graphic

0x01 graphic

0x01 graphic

układ 3 równań

na punkty krytyczne

Warunek dostateczny ekstremum lokalnego

y = f(x)

z = f(x,y)

t = f(x,y,z)

0x01 graphic

0x01 graphic

minimum lokalne

0x01 graphic

maksimum lokalne

0x01 graphic

0x01 graphic
dodatnio określona 0x01 graphic
minimum lokalne

0x01 graphic
ujemnie określona 0x01 graphic
maksimum lokalne

0x01 graphic

0x01 graphic
dodatnio określona 0x01 graphic
minimum lokalne

0x01 graphic
ujemnie określona 0x01 graphic
maksimum lokalne

Widać że dla funkcji 2 i 3 zmiennych, których pochodne reprezentowane są przez macierze, o istnieniu ekstremum przesądza dodatnia lub ujemna określoność macierzy symetrycznej.

Ale co oznacza ten termin dla macierzy o wymiarach 2x2 oraz 3x3 ?

Określimy teraz jak można wyznaczać dodatnią lub ujemną określoność macierzy symetrycznej.

Dla macierzy kwadratowej

0x01 graphic

określamy minor główny stopnia k jako wyznacznik stopnia k zbudowany na bazie głównej przekątnej macierzy

0x01 graphic

Dodatnią lub ujemną określoność macierzy kwadratowej symetrycznej

możemy określić za pomocą minorów głównych.

a) 0x01 graphic
to macierz jest określona dodatnio

b) 0x01 graphic
to macierz jest określona ujemnie

c) 0x01 graphic
to macierz jest półokreślona dodatnio

d) 0x01 graphic
to macierz jest półokreślona ujemnie

e) nie zachodzi żaden z powyższych to macierz jest nieokreślona

Jeżeli macierz drugiej pochodnej jest półokreślona(dodatnio lub ujemnie)

to kryterium nie rozstrzyga istnienia ekstremum lokalnego -

trzeba to zrobić z definicji ekstremum lokalnego.

Jeżeli macierz drugiej pochodnej jest niekreślona to w danym punkcie

nie ma ekstremum lokalnego (jest to tzw. punkt siodłowy).

W konkretnych przykładach ograniczymy się tylko do przypadku macierzy o wymiarach 2x2 lub 3x3.

Macierz 2x2

0x01 graphic

0x01 graphic
0x01 graphic

a) 0x01 graphic
to macierz dodatnio określona

b) 0x01 graphic
to macierz ujemnie określona

Macierz 3x3

0x01 graphic

0x01 graphic
0x01 graphic

0x01 graphic

Wykorzystaliśmy tutaj wzór Sarrusa obliczania wyznacznika 3x3.

a) 0x01 graphic
to macierz dodatnio określona

b) 0x01 graphic
to macierz ujemnie określona

Przykład-1: ekstrema funkcji 2 zmiennych

Zbadajmy istnienie ekstremów funkcji 0x01 graphic

Liczymy pochodne cząstkowe I rzędu i przyrównujemy do zera:

0x01 graphic

Dostajemy dwa punkty krytyczne P0 (0,0) oraz P1 (1,1).

Liczymy teraz pochodne czastkowe II rzędu:

0x01 graphic

zatem macierz II pochodnej w punkcie P(x,y) ma ogólną postać:

0x01 graphic

Określamy teraz macierz dla punktu krytycznego P0 (0,0):

0x01 graphic

Liczymy minory 0x01 graphic

A zatem macierz jest nieokreślona czyli brak ekstremum w punkcie P0 (0,0).

Określamy teraz macierz dla punktu krytycznego P1 (1,1):

0x01 graphic

Liczymy minory 0x01 graphic

a zatem macierz jest określona dodatnio czyli dostajemy minimum lokalne w punkcie P1 (1,1) a wartość minimalna 0x01 graphic
.

Przykład-2: ekstrema funkcjji 3 zmiennych

Zbadajmy istnienie ekstremów funkcji 0x01 graphic

Liczymy pochodne cząstkowe I rzędu i przyrównujemy do zera:

0x01 graphic

Dostajemy dwa punkty krytyczne P0 (0,0,-1) oraz P1 (24,-144,-1).

Liczymy teraz pochodne cząstkowe II rzędu:

0x01 graphic

zatem macierz II pochodnej w punkcie P(x,y) ma ogólną postać:

0x01 graphic

Określamy teraz macierz dla punktu krytycznego P0 (0,0,-1):

0x01 graphic

Liczymy minory 0x01 graphic

Zatem macierz jest nieokreślona czyli brak ekstremum w punkcie P0 (0,0,-1).

Określamy teraz macierz dla punktu krytycznego P1 (24,-144,-1).

0x01 graphic

Liczymy minory 0x01 graphic

a zatem macierz jest określona dodatnio czyli dostajemy minimum lokalne

w punkcie P1 (24,-144,-1).

Rozważymy teraz przypadek kiedy macierz drugiej pochodnej jest półokreślona czyli nasze kryterium nie rozstrzyga istnienia ekstremum lokalnego - pozostaje nam tylko skorzystanie wprost z definicji ekstremum lokalnego

i sprawdzenie czy różnica wartości funkcji f(P)-f(P0) jest nieujemna albo niedodatnia w pewnym sąsiedztwie punktu P0.

0x01 graphic

Przykład

Rozważmy funkcję 0x01 graphic

Znajdujemy punkty krytyczne w których pochodne cząstkowe sa równe zeru.

0x01 graphic

0x01 graphic

skąd otrzymujemy jedyny punkt stacjonarny P0 (0,0).

Znajdujemy elementy macierzy II pochodnej

0x01 graphic

0x01 graphic

0x01 graphic

i tworzymy macierz drugiej pochodnej w punkcie krytycznym (0,0)

0x01 graphic

Liczymy minory główne: 0x01 graphic

a zatem macierz ta jest półokreślona(dodatnio) - musimy zatem skorzystać

wprost z definicji ekstremum lokalnego.

Zauważamy że wzór naszej funkcji można przedstawic w postaci:

0x01 graphic
oraz że 0x01 graphic

Łatwo teraz zauważyć że w każdym sąsiedztwie (0,0): 0x01 graphic

A zatem w punkcie (0,0) funkcja ma minimum lokalne właściwe.

Rozważmy jeszcze przypadek kiedy macierze drugiej pochodnej są nieokreślone w każdym punkcie - funkcja nie ma ekstremum lokalnego w żadnym punkcie krytycznym.

Przykład

Rozważmy funkcję 0x01 graphic

Znajdujemy punkty krytyczne w których pochodne cząstkowe sa równe zeru.

0x01 graphic

0x01 graphic

skąd otrzymujemy trzy punkty krytyczne P01 (0,0), P02 (1,0), P03 (-1,-1).

Znajdujemy elementy macierzy drugiej pochodnej:

0x01 graphic

0x01 graphic

0x01 graphic

Tworzymy macierz drugiej pochodnej w punkcie krytycznym P01 (0,0).

0x01 graphic

Liczymy minory główne: 0x01 graphic

a zatem macierz ta jest nieokreślona - nie ma ekstremum lokalnego.

Tworzymy macierz drugiej pochodnej w punkcie krytycznym P02 (1,0).

0x01 graphic

Liczymy minory główne: 0x01 graphic

a zatem macierz ta jest nieokreślona - nie ma ekstremum lokalnego.

Tworzymy macierz drugiej pochodnej w punkcie krytycznym P03 (-1,-1).

0x01 graphic

Liczymy minory główne: 0x01 graphic

a zatem macierz ta jest nieokreślona - nie ma ekstremum lokalnego.

Podsumowując widzimy że funkcja nie ma ekstremum lokalnego w żadnym punkcie krytycznym.

Jeszcze jednym przykładem zastosowania ekstremów funkcji wielu zmiennych jest metoda najmniejszych kwadratów stosowana w ekstrapolacji wyników pomiarów wielkości fizycznej y zależnej w od wielkości fizycznej x za pomocą funkcji z dwoma parametrami y=f(x,a,b) (np. funkcji liniowej y = ax + b).

Jeżeli dysponujemy wynikami n pomiarów wielkości x oraz y tzn. punktami:

0x01 graphic

To szukamy teraz funkcji G(a,b) zależnej od dwóch parametrów która najlepiej przybliża wyniki pomiarów tzn. szukamy minimum funkcji

0x01 graphic

Ponieważ argumentami tej funkcji są parametry a i b to wszystkie różniczkowania w analizie ekstremów funkcji G(a,b) przeprowadzamy po tych parametrach.

0x01 graphic

Przykład:

Przyjmijmy że zależność między wspomnianymi wielkościami jest liniowa tzn.

f(x,a,b) = ax + b

Wówczas funkcja G(a,b) którą będziemy minimalizować ma postać:

0x01 graphic

Obliczamy pochodne cząstkowe i przyrównujemy do zera:

0x01 graphic
0x01 graphic

Dostajemy zatem układ równań liniowych na a i b:

0x01 graphic
0x01 graphic

Po rozwiązaniu tego układu mamy wzory na a i b:

0x01 graphic
0x01 graphic

Liczymy elementy drugiej pochodnej

0x01 graphic
0x01 graphic
0x01 graphic
0x01 graphic

i minory macierzy drugiej pochodnej

0x01 graphic

a zatem macierz dodatnio określona czyli minimum lokalne.

Konkludując prosta y=ax+b o wyliczonych wyżej parametrach a i b najlepiej przybliża wyniki pomiarów .

Omówimy teraz przypadek ekstremum warunkowego dla funkcji 2 zmiennych który ma charakter ekstremum lokalnego przy zadanym dodatkowym warunku.

Niech f(x,y) i g(x,y) będą określone i ciągłe w obszarze D.

Funkcja z = f(x,y) osiaga w punkcie P0(x0,y0)єD minimum warunkowe

przy warunku g(x,y) = 0 jeżeli:

0x01 graphic

Funkcja z = f(x,y) osiaga w punkcie P0(x0,y0)єD maksimum warunkowe

przy warunku g(x,y) = 0 jeżeli:

0x01 graphic

Jeżeli funkcje f(x,y) oraz g(x,y) sa klasy C1(D) to warunkiem koniecznym istnienia w punkcie P0(x0,y0)єD ekstremum warunkowego funkcji f(x,y)

przy warunku g(x,y) = 0 jest spełnienie równości:

0x01 graphic

gdzie D(f,g)/D(x,y) jest wyznacznikiem funkcyjnym Jacobiego (jakobianem).

Wniosek: Wszystkie możliwe punkty krytyczne znajdziemy z układu równań

0x01 graphic

Często stosujemy ogólniejszą metodę Lagrange'a czynnika nieoznaczonego λ.

Polega ona na:

-wprowadzeniu pomocniczej funkcji Lagrange'a 0x01 graphic
,

-wypisaniu warunku koniecznego ekstremum funkcji 2 zmiennych 0x01 graphic

-wyrugowaniu z układu równań czynnika nieoznaczonego λ.

Przykład-1

Wyznaczmy ekstrema funkcji 0x01 graphic
przy warunku 0x01 graphic

Szukamy rozwiązań układu równań:

0x01 graphic

Obliczamy elementy jakobianu:

0x01 graphic
0x01 graphic

i rozwiązujemy układ równań:

0x01 graphic

0x01 graphic

Ma on trzy rozwiązania: 0x01 graphic

Sprawdzamy czy w tych punktach równanie g(x,y) = 0 wyznacza funkcję uwikłaną y=y(x). Okazuje się że w punktach 0x01 graphic

są spełnione założenia o istnieniu funkcji uwikłanej y=y(x)

a w punkcie 0x01 graphic
nie są spełnione.

Uwzględniając że y=y(x) liczymy pochodne funkcji z = z(x) = f(x,y(x))

0x01 graphic

Żeby okreslić ekstrema funkcji z(x) musimy sprawdzić warunek konieczny

(0x01 graphic
) i dostateczny 0x01 graphic
ekstremów lokalnych.

w punktach 0x01 graphic
.

Jak widać z powyższych wzorów potrzebna nam jest znajomość pierwszej i drugiej pochodnej funkcji y(x) tzn. y' oraz y'' w tych punktach.

Pochodne te obliczamy z równania uwikłanego 0x01 graphic
różniczkując je kolejno dwa razy i wyliczając y'(x) oraz y''(x).

Pierwsze rózniczkowanie daje:

0x01 graphic

Pierwsza pochodna w punkcie 0x01 graphic

Pierwsza pochodna w punkcie 0x01 graphic

Drugie różniczkowanie daje:

0x01 graphic

Druga pochodna w punkcie 0x01 graphic

Druga pochodna w punkcie 0x01 graphic

Łatwo już teraz zauważyć że warunek konieczny dla funkcji z(x):

w punkcie 0x01 graphic

w punkcie 0x01 graphic

jest spełniony w obu punktach.

Warunek dostateczny dla ekstremów funkcji z(x):

w punkcie 0x01 graphic
a więc maksimum lokalne = 8

w punkcie 0x01 graphic
a więc minimum lokalne = 0x01 graphic

Zaznaczyć należy że są to ekstrema lokalne warunkowe.

Przykład-2

Wyznaczmy ekstrema funkcji 0x01 graphic
przy warunku 0x01 graphic

metodą Lagrange'a.

Tworzymy funkcję pomocniczą:

0x01 graphic

Liczymy jej pochodne cząstkowe i przyrównujemy do zera.

0x01 graphic

Z równań tych eliminujemy czynnik nieoznaczony i otrzymujemy równanie:

0x01 graphic

dołączamy do niego równanie warunku:

0x01 graphic

i rozwiązujemy powyższy układ równań otrzymując 4 rozwiązania:

0x01 graphic

We wszystkich tych punktach równanie 0x01 graphic

określa funkcję uwikłaną y=y(x).

Podobnie jak w poprzednim przykładzie można pokazać że dla funkcji

z=z(x)=xy(x) :

w punkcie 0x01 graphic
mamy maksimum lokalne warunkowe

w punkcie 0x01 graphic
mamy minimum lokalne warunkowe

w punkcie 0x01 graphic
mamy minimum lokalne warunkowe

w punkcie 0x01 graphic
mamy maksimum lokalne warunkowe

Po tych przykładach pojawia się pytanie czy dla określenia warunku dostatecznego ekstremum warunkowego koniecznie musimy korzystać bezpośrednio z teorii funkcji uwikłanej - czy nie ma kryterium analogicznego do kryterium ekstremum lokalnego ? Odpowiedź jest pozytywna.

Niech funkcje f(x,y) oraz g(x,y) sa klasy C1(D).

W punkcie P0(x0,y0)єD szukamy ekstremum warunkowego funkcji f(x,y)

przy warunku g(x,y) = 0.

Wprowadzamy funkcję 0x01 graphic

1.Rozwiązujemy układ równań:

0x01 graphic

2. Znajdujemy rozwiązania - trójki liczb postaci 0x01 graphic

3. Tworzymy funkcję 3 zmiennych

0x01 graphic

4. Obliczamy dla każdej trójki wartość 0x01 graphic
:

Jeżeli 0x01 graphic

Jeżeli 0x01 graphic

Przykład-1

Wyznaczymy ekstrema funkcji 0x01 graphic

przy warunku 0x01 graphic
opisaną metodą.

Tworzymy funkcję pomocniczą i jej pochodne:

0x01 graphic

0x01 graphic

0x01 graphic

Tworzymy układ równań:

0x01 graphic

Rozwiązanie układu daje: 0x01 graphic

Obliczamy pochodne występujace we wzorze na 0x01 graphic
:

0x01 graphic

Tworzymy funkcję:

0x01 graphic

Zatem 0x01 graphic
a tym samym

funkcja f(x,y) ma w punkcie (1,-1) minimum warunkowe f(1,-1)=-1

Przykład-2

1 kg surowca A kosztuje 30 zł, 1 kg surowca B kosztuje 40 zł.

Zysk ze sprzedaży stopu x kg towaru A i y kg towaru B określony jest wzorem:

0x01 graphic

Dysponujemy kwotą 320 zł - ile należy zakupić surowca A a ile surowca B,

aby zysk ze sprzedaży był największy.

Zatem należy wyznaczyć maksimum warunkowe funkcji 0x01 graphic

przy warunku 0x01 graphic
czyli 0x01 graphic

Mamy zatem:

0x01 graphic

0x01 graphic

0x01 graphic

Tworzymy układ równań:

0x01 graphic

Rozwiązanie układu daje:

0x01 graphic
oraz 0x01 graphic

Obliczamy pochodne występujace we wzorze 0x01 graphic
:

0x01 graphic

Tworzymy funkcję:

0x01 graphic

Zatem 0x01 graphic
a tym samym warunek konieczny

nie rozstrzyga o istnieniu ekstremum.

Zatem 0x01 graphic
a tym samym

funkcja f(x,y) ma w punkcie (1,-1) maksimum warunkowe f(8,2)=1024

Odp. Należy zakupić 8 kg surowca A i 2 kg surowca B

Omówione na przykładach funkcji 2 zmiennych kryterium jest szczególnym przypadkiem kryterium istnienia ekstremów związanych (warunkowych)

dla funkcji wielu zmiennych.

Twierdzenie o ekstremach związanych (warunkowych) w Rn

Załóżmy że:

0x01 graphic

0x01 graphic

Odwzorowanie g reprezentowane jest przez m funkcji:

0x01 graphic

Szukamy punktów ekstremalnych związanych funkcji 0x01 graphic
przy

warunku 0x01 graphic
będących punktami regularnymi odwzorowania g

Punkt dla którego 0x01 graphic
nazywamy punktem regularnym

zbioru 0x01 graphic
jeżeli 0x01 graphic

tzn. pochodna odwzorowania 0x01 graphic
odwzorowuje przestrzeń Rn na całą R.

Dla odzorowania 0x01 graphic
zachodzi to

wtedy i tylko wtedy gdy rząd macierzy 0x01 graphic
jest równy m.

0x01 graphic

Warunek konieczny ekstremum związanego (warunkowego)

Jeżeli funkcja f ma w punkcie regularnym 0x01 graphic
ekstremum związane ,

to istnieje odwzorowanie liniowe 0x01 graphic
takie że 0x01 graphic

Odwzorowanie liniowe Λ nazywa się funkcjonałem Lagrange'a.

Uwagi do warunku koniecznego:

Odwzorowanie liniowe 0x01 graphic
jest reprezentowane w konkretnych bazach

przestrzeni 0x01 graphic
przez m liczb rzeczywistych 0x01 graphic

a pochodna 0x01 graphic
jest macierzą prostokatną o wymiarach m x n i rzędzie = m,

zatem równania operatorowe 0x01 graphic
i 0x01 graphic
sprowadzają się do układu n+m równań skalarnych z n+m niewiadomymi 0x01 graphic
:

0x01 graphic

Rozwiązując ten układ otrzymamy współrzędne punktu podejrzanego o ekstremum lokalne związane. Liczby 0x01 graphic
nazywane mnożnikami Lagrange'a,

spełniają rolę pomocniczą,nie zawsze nas interesują i mogą być wyeliminowane

przy rozwiązywaniu układu równań.

Warunek dostateczny ekstremum związanego (warunkowego)

Niech teraz f,g będą dwukrotnie różniczkowalne :

0x01 graphic

0x01 graphic

Jeżeli teraz forma kwadratowa:

0x01 graphic

dla przyrostów 0x01 graphic
takich że 0x01 graphic

  • jest dodatnio określona to mamy minimum związane w P0

  • jest ujemnie określona to mamy maksimum związane P0

Mówimy wtedy że badamy formę kwadratową na przestrzeni stycznej

0x01 graphic

Uwagi do warunku dostatecznego:

Problem sprowadza się zatem do zbadania formy kwadratowej:

0x01 graphic

przy założeniu że:

0x01 graphic

Ponieważ 0x01 graphic
więc 0x01 graphic

wyrażają się liniowo od pozostałych przyrostów 0x01 graphic

gdzie 0x01 graphic
jest pewną permutacją liczb 1,2,…,n.

Mamy zatem: 0x01 graphic

Wstawiając te zależności do formy kwadratowej n zmiennych:

0x01 graphic

otrzymujemy formę kwadratową n-m zmiennych, którą badamy metodą wyznacznikową lub metodą wartości własnych.

Algorytm badania ekstremów związanych (warunkowych)

1. Tworzymy funkcję pomocniczą zwaną funkcją Lagrange'a

0x01 graphic

2. Rozwiązujemy układ n+m równań

z n+m niewiadomymi 0x01 graphic

0x01 graphic

3. Znajdujemy punkty podejrzane o ekstremum P01 , P02 , P03

eliminując mnożniki Lagrange'a

4. Sprawdzamy czy punkty podejrzane są punktami regularnymi zbioru

0x01 graphic
tzn. czy 0x01 graphic

dla każdego punktu podejrzanego P01 , P02 , P03

5. Znajdujemy postać wektorów 0x01 graphic

dla których 0x01 graphic
dla każdego punktu P01 , P02 , P03

tzn. określamy przestrzenie styczne 0x01 graphic

6. Dla takich wektorów badamy określoność formy kwadratowej

0x01 graphic

dla każdego punktu P01 , P02 , P03

7. Jeżeli teraz:

0x01 graphic
dodatnio określona to mamy minimum związane

0x01 graphic
ujemnie określona to mamy maksimum związane

Przykład

Badamy ekstrema funkcji: 0x01 graphic

związane warunkami: 0x01 graphic

1.Tworzymy funkcję Lagrange'a

0x01 graphic

2. Rozwiązujemy układ równań 5 równań

z 5-cioma niewiadomymi: 0x01 graphic

0x01 graphic

3. Znajdujemy punkty podejrzane o ekstremum P01 , P02 , P03

eliminując mnożniki Lagrange'a

Z drugiego i trzeciego równania otrzymujemy rozwiązania:

0x01 graphic

Dla rozwiązania 0x01 graphic
otrzymujemy 2 punkty podejrzane:

0x01 graphic

Dla rozwiązania 0x01 graphic
otrzymujemy 2 punkty podejrzane:

0x01 graphic

4. Sprawdzamy czy punkty podejrzane są punktami regularnymi zbioru

tzn.czy 0x01 graphic

Określamy ogólną postać macierzy 0x01 graphic
:

0x01 graphic

Z postaci tej macierzy widać że dla każdego x,y,z dwa wiersze tej macierzy są liniowo niezależne zatem 0x01 graphic
dla każdego punktu P01 ,P02 , P03,P04

czyli wszystkie punkty podejrzane są regularne.

5. Znajdujemy postać wektorów 0x01 graphic

dla których 0x01 graphic
dla każdego punktu P01 , P02 , P03, P04 tzn.

określamy przestrzenie styczne 0x01 graphic

0x01 graphic

0x01 graphic

6. Dla takich wektorów badamy określoność formy kwadratowej

0x01 graphic

dla każdego punktu P01 , P02 , P03, P04

0x01 graphic

a zatem mamy minimum związane (warunkowe) =-1

0x01 graphic

a zatem mamy również minimum związane (warunkowe) =-1

0x01 graphic

a zatem mamy maksimum związane (warunkowe) =5/4

0x01 graphic

a zatem mamy maksimum związane (warunkowe) =-3/4

Rozważymy teraz sposób określania ekstremów lokalnych funkcji uwiklanej dwóch zmiennych.Powstaje bowiem często pytanie: kiedy równanie F(x,y,z) = 0 określa funkcję dwóch zmiennych z = f(x,y) ?

Twierdzenie o istnieniu i jednoznaczności funkcji uwikłanej 2-zmiennych

Jeżeli {

F(x,y,z) jest klasy C¹ w otoczeniu P0(x0, y0, z0)

F(x0 , y0 , z0) = 0

F'z( x0 , y0 , z0) 0

}

to wówczas

{

istnieje dokładnie jedna funkcja uwikłana z = f(x,y)

określona lokalnie tzn. w pewnym otoczeniu punktu (x0 , y0)

spełniająca warunek z0 = f(x0 , y0)

}

Wówczas funkcja z = f(x,y) jest klasy C¹ i jej pochodne cząstkowe:

0x01 graphic

Jeżeli dodatkowo F(x,y,z) jest klasy C² w otoczeniu P0(x0 , y0 , z0)

to z = f(x,y) jest klasy C² w otoczeniu (x0 , y0) i jej drugie pochodne cząstkowe:

0x01 graphic

0x01 graphic

0x01 graphic

Ekstrema lokalne funkcji uwikłanej 2-zmiennych

Warunek konieczny istnienia ekstremum funkcji uwikłanej z = f(x,y):

0x01 graphic

0x01 graphic

Wówczas pochodne cząstkowe II rzędu funkcji uwikłanej upraszczają się do postaci:

0x01 graphic
0x01 graphic
0x01 graphic

Warunek dostateczny istnienia ekstremum:

badanie określoności macierzy drugiej pochodnej

0x01 graphic

0x01 graphic
dodatnio określona 0x01 graphic
minimum lokalne

0x01 graphic
ujemnie określona 0x01 graphic
maksimum lokalne

0x01 graphic
półokreślona (dodatnio,ujemnie) 0x01 graphic
z definicji ekstremum

0x01 graphic
nieokreślona 0x01 graphic
nie ma ekstremum

Algorytm znajdywania ekstremów funkcji uwikłanej jednej zmiennej

1

Rozwiązujemy układ równań :

0x01 graphic

Znajdujemy punkty podejrzane o ekstremum 0x01 graphic

2

W punktach 0x01 graphic
sprawdzamy warunki istnienia funkcji uwikłanej

oraz dwukrotnej różniczkowalności istniejącej funkcji uwikłanej

3

Obliczamy druga pochodną funkcji uwikłanej:

0x01 graphic

4

Sprawdzamy w punktach 0x01 graphic
czy zachodzi któryś z warunków:

0x01 graphic
to wówczas minimum lokalne funkcji uwikłanej

0x01 graphic
to wówczas maksimum lokalne funkcji uwikłanej

Algorytm znajdywania ekstremów funkcji uwikłanej jednej zmiennej

1

Rozwiązujemy układ równań :

0x01 graphic

Znajdujemy punkty podejrzane o ekstremum 0x01 graphic

2

W punktach 0x01 graphic
sprawdzamy warunki istnienia funkcji uwikłanej

oraz dwukrotnej różniczkowalności istniejącej funkcji uwikłanej

3

Obliczamy druga pochodną funkcji uwikłanej:

0x01 graphic

4

Sprawdzamy w punktach 0x01 graphic
czy zachodzi któryś z warunków:

0x01 graphic
to wówczas minimum lokalne funkcji uwikłanej

0x01 graphic
to wówczas maksimum lokalne funkcji uwikłanej

Algorytm znajdywania ekstremów funkcji uwikłanej 2-zmiennych

1

Rozwiązujemy układ równań :

0x01 graphic

Znajdujemy punkty podejrzane o ekstremum 0x01 graphic

2

W punktach 0x01 graphic
sprawdzamy warunki istnienia funkcji uwikłanej z=f(x,y)

oraz dwukrotnej różniczkowalności istniejącej funkcji uwikłanej

3

Obliczamy drugą pochodną funkcji uwikłanej przy uwzględnieniu warunku koniecznego:

0x01 graphic

4

Sprawdzamy w punktach 0x01 graphic
czy zachodzi któryś z warunków:

0x01 graphic
dodatnio określona 0x01 graphic
minimum lokalne

0x01 graphic
ujemnie określona 0x01 graphic
maksimum lokalne

0x01 graphic
półokreślona (dodatnio,ujemnie) 0x01 graphic
z definicji ekstremum

0x01 graphic
nieokreślona 0x01 graphic
nie ma ekstremum

Przykład:

Zbadajmy ekstrema funkcji uwikłanej

0x01 graphic

Rozwiazujemy układ rownań :

0x01 graphic

Rozwiazaniem sa dwa punkty 0x01 graphic
oraz 0x01 graphic

Sprawdzamy czy w tych punktach spełnione sa założenia twierdzenia o istnieniu funkcji uwikłanej

0x01 graphic

Wszystkie pochodne cząstkowe I rzędu sa ciągłe wszedzie zatem F(x,y,z) jest klasy C¹ a ponadto:

F(1,1,4)=0 F(-1,-1,-4)=0

F'z(1,1,4)=360 F'z(-1,-1,-4)=-360

Zatem w otoczeniu (1,1) istnieje gałąź jednoznaczna funkcji uwikłanej

oraz w otoczeniu (-1,-1) istnieje gałąź jednoznaczna funkcji uwikłanej

Sprawdzamy czy F(x,y,z) jest klasy C² :

0x01 graphic

Są to funkcje ciągłe a więc F(x,y,z) jest klasy

Ogólna macierz II pochodnej ma postać:

0x01 graphic

a w punkcie (1,1,4)

0x01 graphic

Minory główne 0x01 graphic

Macierz II pochodnej jest ujemnie określona i mamy w punkcie (1,1)

maksimum lokalne = 4.

a w punkcie (-1,-1,-4)

0x01 graphic

Minory główne 0x01 graphic

Macierz II pochodnej jest dodatnio określona i mamy minimum lokalne = -4.

Znajdziemy jeszcze gałęzie jednoznaczne funkcji uwikłanej.

0x01 graphic

0x01 graphic

0x01 graphic

Ekstrema globalne (wartość największa, wartość najmniejsza w zbiorze D)

Funkcja f(P) przyjmuje w punkcie P0(x0,y0)єD minimum globalne jeżeli:0x01 graphic

Funkcja f(P) przyjmuje w punkcie P0(x0,y0)єD maksimum globalne jeżeli:0x01 graphic

1

f(P) określona w obszarze otwartym D

Jeżeli funkcja f(P) przyjmuje w punkcie 0x01 graphic
wartość największą (najmniejszą)

to w punkcie 0x01 graphic
f(P) ma maksimum lokalne (minimum lokalne)

Wniosek:

funkcja określona w obszarze otwartym D może przyjmować ekstrema globalne jedynie w punktach ekstremów lokalnych a wówczas:

- największe maksimum jest maksimum globalnym

- najmniejsze minimum jest minimum globalnym

Ponieważ jest to implikacja to w drugą stronę nie musi być prawdziwe tzn.

- największe maksimum może nie być największą wartością funkcji

- najmniejsze minimum może nie być najmniejszą wartością funkcji

2

f(P) określona w obszarze domkniętym 0x01 graphic
0x01 graphic

f(P) może przyjmować ekstrema globalne:

- w punktach ekstremów lokalnych wewnątrz obszaru 0x01 graphic

- w punktach brzegowych obszaru 0x01 graphic

3

f(P) określona i ciągła w obszarze domkniętym 0x01 graphic
i ograniczonym0x01 graphic

f(P) przyjmuje w obszarze 0x01 graphic

wartość największą (kres górny) i najmniejszą (kres dolny)

- w punktach ekstremów lokalnych wewnątrz obszaru 0x01 graphic

- w punktach brzegowych obszaru 0x01 graphic

Przykład:

Wyznaczymy największą i najmniejszą wartość funkcji

0x01 graphic
w kole 0x01 graphic

Znajdujemy najpierw punkty krytyczne wewnątrz koła 0x01 graphic

Układ równań 0x01 graphic
ma jedyne rozwiązanie 0x01 graphic
wewnątrz koła.

Szukamy punktów ekstremów globalnych na brzegu koła 0x01 graphic

Z równania okręgu wyliczamy 0x01 graphic
i wstawiamy do wzoru funkcji

0x01 graphic
i otrzymujemy funkcję jednej zmiennej x którą

oznaczymy przez g(x): 0x01 graphic

Funkcja ta jest funkcją ciągłą w obszarze domkniętym a więc przyjmuje w tym

obszarze wartość największą i najmniejszą

  • w punktach krytycznych wewnątrz przedziału [-a,a]

  • w punktach brzegowych przedziału [-a,a]

Znajdujemy punkty krytyczne wewnątrz [-a,a]

0x01 graphic
a wówczas 0x01 graphic
czyli mamy punkty (0,a) i (0,-a)

Zatem punktami w których może wystąpić ekstremum globalne są punkty:

0x01 graphic

Tworzymy tabelkę wartości funkcji w tych punktach:

P

f(P)

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic
minimum globalne

0x01 graphic

0x01 graphic
minimumglobalne

0x01 graphic

0x01 graphic
maksimum globalne

0x01 graphic

0x01 graphic
maksimum globalne

Optymalizacja funkcji

Optymalizacja jest to zagadnienie matematyczne polegające na znalezieniu najlepszego rozwiązania względem ustalonego kryterium (np. najmniejszych kosztów lub użytych zasobów, najkrótszej przebytej drogi) .

Podamy kilka przyładów optymalizacji dających się rozwiązać przy pomocy ekstremów lokalnych lub globalnych.

Przykład-1:

Określić wymiary otwartego zbiornika prostopadłościennego (wanny) o danej objętości V tak aby jego pole powierzchni było jak najmniejsze a tym samym koszt zakupu materiałów potrzebnych do jego konstrukcji był minimalny.

Przyjmujemy że wymiary podstawy wanny to x i y a jej wysokość to z.

Wówczas objętość wanny V = xyz

Pole powierzchni wanny S = 2yz+2xz+xy.

W naszym zagadnieniu: x>0, y>0, z>0.

Możemy przyjąć że mamy zbadać ekstremum funkcji S przy warunku dodatkowym V = xyz = constans wiążącym zmienne x, y i z.

A więc zmienne x,y,z nie są niezależne zatem z tego równania możemy wyznaczyć z jako:

0x01 graphic

Wówczas funkcja S jest funkcją 2 zmiennych:

0x01 graphic

Obliczamy pochodne cząstkowe i przyrównujemy do zera:

0x01 graphic

0x01 graphic

0x01 graphic

A zatem mamy jeden punkt krytyczny 0x01 graphic

Liczymy pochodne cząstkowe II rzędu:

0x01 graphic

A zatem macierz II pochodnej w punkcie krytycznym ma postać:

0x01 graphic

Macierz II pochodnej jest dodatnio określona a zatem w punkcie 0x01 graphic
mamy minimum lokalne.

Wymiary optymalnego zbiornika dla ustalonej objętości V:

0x01 graphic

Przykładowo dla objętości 0x01 graphic
mamy wymiary:

0x01 graphic

Przykład-2

W równoramiennym trójkącie prostokątnym znaleźć punkt o tej własności że suma kwadratów jego odległości od wierzchołków trójkąta jest najmniejsza.

0x01 graphic

Przyjmujemy wierzchołki trójkąta jako: A(0,0), B(a,0), C(0,a).

Brzeg trójkąta możemy podzielić na 3 części:

Część I: 0x01 graphic

Część II: 0x01 graphic

Część III: 0x01 graphic

Obliczamy sumę kwadratów odległości punktu P(x,y) od wierzchołków

A(0,0), B(a,0), C(0,a).

0x01 graphic

Obliczamy pochodne cząstkowe I rzędu i znajdujemy punkty krytyczne

0x01 graphic

Rozwiązanie daje jeden punkt krytyczny 0x01 graphic
leżący we wnętrzu trójkąta.

Poszukujemy teraz punktów na brzegu obszaru w których mogą występować ekstrema globalne. Analizę przeprowadzamy na każdej cząści brzegu trójkąta osobno.

Część I: 0x01 graphic

0x01 graphic

Funkcja f(x) jest ciągła na obszarze domkniętym a więc przyjmuje wartość najmniejszą i największą:

  • wewnątrz przedziału [0,a]

  • na brzegu przedziału w punktach x=0 lub x=a

Określamy punkty krytyczne funkcji f(x)

0x01 graphic

a zatem wewnątrz przedziału [0,a] mamy jeden punkt krytyczny 0x01 graphic
oraz punkty końcowe przedziału [0,a]: 0x01 graphic
0x01 graphic

Część II: 0x01 graphic

0x01 graphic

Funkcja g(y) jest ciągła na obszarze domkniętym a więc przyjmuje wartość najmniejszą i największą:

  • wewnątrz przedziału [0,a]

  • na brzegu przedziału w punktach y=0 lub y=a

Określamy punkty krytyczne funkcji g(y)

0x01 graphic

a zatem wewnątrz przedziału [0,a] mamy jeden punkt krytyczny 0x01 graphic
oraz punkt końcowy przedziału [0,a]: 0x01 graphic

Punkt (0,0) wystąpił wcześniej więc go nie powtarzamy.

Część III: 0x01 graphic

0x01 graphic

Funkcja h(x) jest ciągła na obszarze domkniętym a więc przyjmuje wartość najmniejszą i największą:

  • wewnątrz przedziału [0,a]

  • na brzegu przedziału w punktach x=0 lub x=a

Określamy punkty krytyczne funkcji h(x)

0x01 graphic

a zatem wewnątrz przedziału [0,a] mamy jeden punkt krytyczny 0x01 graphic
oraz punkty końcowy przedziału [0,a]: (0,a) i (a,0) ale one wystąpiły wcześniej więc ich nie powtarzamy.

Budujemy tabelkę punktów w których mogą występować ekstrema i ich wartości.

P

f(P)

Rodzaj ekstremum

0x01 graphic

0x01 graphic

Minimum globalne

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

Maximum globalne

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

Maximum globalne

0x01 graphic

0x01 graphic

Minimum globalne występuje w punkcie wewnętrznym trójkąta 0x01 graphic
,

który jest jego środkiem ciężkości.

Autor: Wojciech Drabik (PJWSTK)

15



Wyszukiwarka

Podobne podstrony:
am2-wyk-2-n, Analiza matematyczna, Drabik
am2-wyk-4, Analiza matematyczna, Drabik
am2-wyk-1, Analiza matematyczna, Drabik
AM2 2005 T3B, Ubik - Materiały, Semestr II, Analiza Matematyczna 2, underwat, ANTy AM2
am2.kol1, Informatyka i Ekonometria SGGW, Semestr 1, Analiza Matematyczna, materialy od starszych ro
AM2 2006 T1, Ubik - Materiały, Semestr II, Analiza Matematyczna 2, underwat, ANTy AM2
AM2 2006 T2, Ubik - Materiały, Semestr II, Analiza Matematyczna 2, underwat, ANTy AM2
aa, polibuda, analiza matematyczna, AM2 EGZ, analiza matematyczna 2, AM2 (1)
WYKLAD ANALIZA MATEMATYCZNA
Analiza matematyczna, lista analiza 2008 6 szeregi
Analiza Matematyczna 1 Gewert Skoczylas zadania
Analiza Matematyczna Twierdzenia
Analiza matematyczna 1
Praca domowa 2a Analiza Matematyczna
Zadania z Analizy Matematycznej, Matematyka
zestaw9, Matematyka stosowana, Analiza, Analiza matematyczna dla leniwych

więcej podobnych podstron