Funkcje wielu zmiennych
Przestrzenią wektorową ![]()
( ![]()
- czynników ) nazywać będziemy
zbiór wszystkich ![]()
-wyrazowych ciągów o wyrazach rzeczywistych wraz z dwoma
działaniami :
(i) dodawaniem wektorów określonym wzorem :
jeżeli ![]()
, ![]()
![]()
, to
![]()
,
oraz
(ii) mnożeniem wektorów przez liczby ( skalary ) określonym wzorem :
jeżeli ![]()
, ![]()
, to
![]()
.
Liczby ![]()
nazywamy współrzędnymi wektora ![]()
.
Przykłady : (1) ![]()
- przestrzeń dwuwymiarowa - jest zbiorem uporządkowanych par ;
(2) ![]()
- przestrzeń trójwymiarowa -
jest zbiorem uporządkowanych trójek .
Dla punktów ![]()
, ![]()
przestrzeni ![]()
liczbę
![]()
nazywać będziemy odległością punktów ![]()
i ![]()
.
Przykłady : W przestrzeni
(1) ![]()
, ![]()
( długość odcinka o końcach ![]()
i ![]()
) ,
(2) ![]()
, ![]()
![]()
Uwaga Zauważmy , że dla wszystkich ![]()
mamy
(1) ![]()
,
(2) ![]()
,
(3) ![]()
,
(4) ![]()
.
Załóżmy , że dany jest ciąg punktów ![]()
w przestrzeni ![]()
, gdzie ![]()
dla ![]()
.
Ciąg punktów ![]()
w przestrzeni ![]()
jest zbieżny do punktu ![]()
, jeżeli ![]()
, co zapisywać będziemy : ![]()
lub ![]()
.
Przykład Dla ![]()
niech ![]()
oraz niech ![]()
.
Wtedy 
,
co oznacza , że ![]()
w ![]()
.
Twierdzenie 1: ![]()
.
Przykłady :
(1) Ciąg 
jest zbieżny do punktu ![]()
.
Istotnie , na podstawie powyższego twierdzenia mamy :
![]()
, 
, ![]()
, ![]()
,
co oznacza zbieżność danego ciągu do punktu ![]()
.
(2) Niech ![]()
.
Ponieważ ciąg ![]()
nie jest zbieżny , więc ciąg ![]()
![]()
nie jest zbieżny w przestrzeni ![]()
.
Definicja 1 . Niech ![]()
będzie niepustym podzbiorem przestrzeni ![]()
oraz niech
![]()
będzie funkcją . Funkcję tę będziemy zapisywać w postaci
![]()
i nazywać funkcją wielu zmiennych , dokładniej : funkcją k-zmiennych .
Definicja 2 . Załóżmy , że ![]()
jest punktem skupienia zbioru ![]()
.
Mówimy , że liczba ![]()
jest granicą funkcji ![]()
w punkcie ![]()
, co symbolicznie
zapisujemy jako ![]()
, jeżeli spełniony jest jeden z dwóch równoważnych warunków :
(C) ![]()
![]()
![]()
: ![]()
![]()
![]()
,
(H) ![]()
: ![]()
![]()
![]()
.
Przykłady :
(1) Niech ![]()
dla ![]()
. Wtedy ![]()
.
(2) Niech ![]()
dla ![]()
. Pokażemy , że ![]()
nie istnieje . Istotnie , rozważmy dwa ciągi określone następująco :
![]()
, ![]()
dla ![]()
.
Ponieważ ![]()
i ![]()
, więc
![]()
i ![]()
.
Ale 
i 
Granice te są różne , co , wobec definicji Heinego , oznacza , że ![]()
nie istnieje .
Twierdzenie 2 . Jeżeli funkcje ![]()
i ![]()
mają granice właściwe w punkcie ![]()
, to
(1) ![]()
,
(2) ![]()
,
(3) ![]()
,
(4) 
, o ile ![]()
.
Niech ![]()
będzie niepustym podzbiorem , ![]()
i niech ![]()
będzie funkcją .
Definicja 3 . Mówimy ,że funkcja ![]()
jest ciągła w punkcie ![]()
, jeżeli spełnia jeden z dwóch równoważnych warunków :
(C) ![]()
![]()
![]()
: ![]()
![]()
![]()
,
(H) ![]()
: ![]()
![]()
![]()
.
Mówimy , że funkcja ![]()
jest ciągła zbiorze ![]()
, jeżeli jest ciągła każdym punkcie tego zbioru .
Uwaga . Jeżeli ![]()
jest również punktem skupienia zbioru ![]()
, to funkcja ![]()
jest ciągła w punkcie ![]()
wtedy tylko wtedy , gdy ![]()
.
Pochodne cząstkowe
Niech funkcja ![]()
, gdzie ![]()
, ![]()
.
Definicja 4 . Pochodną cząstkową pierwszego rzędu funkcji ![]()
względem ![]()
w punkcie ![]()
określamy wzorem :
![]()
.
Podobnie określamy pochodną względem ![]()
:
![]()
.
Uwaga . Przy obliczaniu pochodnej cząstkowej względem jednej zmiennej pozostałe zmienne traktujemy jak stałe . Do obliczania pochodnych cząstkowych można stosować reguły różniczkowania funkcji jednej zmiennej.
Przykłady. Obliczyć pochodne cząstkowe funkcji :
(1) ![]()
, ![]()
,
![]()
,
![]()
.
(2) 
, ![]()
.

, 
.
(3) ![]()
, ![]()
.
![]()
, ![]()
.
(4) ![]()
.

, 
, ![]()

.
Definicja 5 . Niech funkcja ![]()
, ![]()
będzie funkcją dwóch zmiennych i niech ma pochodne cząstkowe ![]()
i ![]()
przynajmniej na otoczeniu punktu ![]()
.
Pochodne cząstkowe drugiego rzędu funkcji ![]()
w punkcie ![]()
określamy wzorami :

, 

, 
.
Przykłady . Obliczyć pochodne cząstkowe drugiego rzędu funkcji :
(1) 
, ![]()
.

=
,

=
,

,

,

,

.
(2) ![]()
.
![]()
, ![]()
, ![]()
,![]()
![]()
, 
, ![]()
, 
, 
, 
, ![]()
, 
, ![]()
.
(3) ![]()
( obliczyć pochodne trzeciego rzędu - samodzielnie ) .
Twierdzenie 3 . Jeżeli pochodne cząstkowe ![]()
, ![]()
są ciągłe w punkcie ![]()
, to są równe .
Przykład . Uzasadnić , że nie istnieje funkcja ![]()
spełniająca układy warunków :

.
Istotnie , ponieważ ![]()
, to
( i ) ![]()
![]()
, gdzie ![]()
jest funkcją zależną tylko od zmiennej ![]()
.
Z równości ( i ) wyznaczamy ![]()
. Porównując otrzymaną pochodną z pochodną w drugim równaniu układu zauważamy , że nie są one równe , co
dowodzi podane twierdzenie .
Uwaga . Niech funkcja ![]()
ma ciągłe pochodne cząstkowe ![]()
, ![]()
w punkcie ![]()
. Wówczas płaszczyzna styczna do wykresu funkcji ![]()
w punkcie ![]()
ma postać :
![]()
.
Przykład . Napisać równanie płaszczyzny stycznej do wykresu funkcji ![]()
w punkcie ![]()
.
![]()
, ![]()
, ![]()
![]()
, ![]()
.
Równanie płaszczyzny ma postać : ![]()
, a stąd ![]()
.
Definicja 6. Niech funkcja ![]()
ma pochodne cząstkowe pierwszego rzędu w punkcie ![]()
.
Różniczką funkcji ![]()
w punkcie ![]()
nazywamy funkcję ![]()
zmiennych ![]()
i ![]()
, określoną wzorem :
![]()
.![]()
Uwaga . ( Zastosowanie różniczki zupełnej )
Jeżeli funkcja ![]()
ma ciągłe pochodne cząstkowe pierwszego rzędu w punkcie ![]()
, to
![]()
.
Pochodne cząstkowe funkcji złożonych
Twierdzenie 4 .
Niech
1. funkcje ![]()
, ![]()
mają pochodne właściwe w punkcie ![]()
,
2. funkcja ![]()
ma ciągłe pochodne cząstkowe rzędu pierwszego w punkcie ![]()
.
Wtedy funkcja złożona ![]()
ma pochodną właściwą w punkcie ![]()
oraz
![]()
.
Uwaga . Powyższy wzór można zapisać w postaci iloczynu macierzy , tj.

.
Przykład . Obliczyć ![]()
funkcji ![]()
, gdzie ![]()
, ![]()
.
Mamy ![]()
, ![]()
. Zatem ![]()
.
Twierdzenie 5 . Niech
1. funkcje ![]()
, ![]()
mają pochodne cząstkowe pierwszego rzędu w punkcie ![]()
2. funkcja ![]()
ma ciągłe pochodne cząstkowe pierwszego rzędu w punkcie ![]()
.
Wtedy funkcja złożona ![]()
ma w punkcie ![]()
pochodne
cząstkowe pierwszego rzędu wyrażone wzorami :
![]()
, ![]()
.
Uwaga . Powyższe wzory można zapisać w formie iloczynu macierzy , tj.

.
Definicja 7 . Niech funkcja ![]()
będzie określona przynajmniej na otoczeniu punktu
![]()
oraz niech ![]()
będzie wersorem . Pochodną kierunkową funkcji ![]()
w punkcie ![]()
w kierunku ![]()
określamy wzorem:

.
Definicja 8 . Gradientem funkcji ![]()
w punkcie ![]()
nazywamy wektor określony wzorem :
grad
.
Uwaga . Gradient funkcji w punkcie wskazuje kierunek najszybszego wzrostu funkcji w tym punkcie .
Ekstrema funkcji
Definicja 9 . ( minimum i maksimum funkcji )
(1) Funkcja ![]()
ma w punkcie ![]()
minimum lokalne , jeżeli istnieje otoczenie tego punktu takie , że zachodzi nierówność
![]()
.
(2) Funkcja ![]()
ma w punkcie ![]()
maksimum lokalne , jeżeli istnieje otoczenie tego punktu takie , że dla dowolnego ![]()
z tego otoczenia zachodzi nierówność
![]()
.
Przykład . Korzystając z definicji zbadamy , czy podane funkcje mają ekstrema lokalne we wskazanych punktach :
(a) ![]()
, ![]()
.
Zauważmy , że ![]()
. Ponadto , dla każdego ![]()
i ![]()
![]()
,
więc ![]()
,
co oznacza , w oparciu o definicję , że funkcja ![]()
ma w punkcie ![]()
maksimum lokalne .
(b) ![]()
, ![]()
.
Wartość funkcji w podanym punkcie wynosi ![]()
. Ponadto łatwo zauważyć , że
![]()
, a ![]()
co oznacza , że funkcja ta nie ma w podanym punkcie ekstremum lokalnego .
Definicja 10 .
(1) Liczba ![]()
jest wartością najmniejszą funkcji ![]()
na zbiorze ![]()
, jeżeli w tym zbiorze istnieje taki punkt , w którym ta funkcja przyjmuje wartość ![]()
oraz dla każdego punktu ![]()
zachodzi nierówność
![]()
.
(2) Liczba ![]()
jest wartością największą funkcji ![]()
na zbiorze ![]()
, jeżeli w tym zbiorze istnieje punkt taki , w którym funkcja ta przyjmuje wartość ![]()
oraz dla każdego punktu ![]()
zachodzi nierówność
![]()
.
Uwaga Liczby ![]()
i ![]()
nazywamy odpowiednio minimum i maksimum globalnym funkcji ![]()
na zbiorze ![]()
.
Przykład . Funkcja ![]()
określona na zbiorze ![]()
przyjmuje na tym zbiorze wartość najmniejszą równą ![]()
. Istotnie , funkcja ta w punkcie ![]()
przyjmuje wartość równą 0 , a w każdym punkcie ![]()
wartość nieujemną , tzn. ![]()
, ![]()
.
Twierdzenie 6 . ( warunek konieczny istnienia ekstremum )
Jeżeli funkcja ![]()
spełnia warunki :
1. ma ekstremum lokalne w punkcie ![]()
;
2. istnieją pochodne cząstkowe ![]()
, ![]()
,
to
![]()
, ![]()
.
Uwaga .
(1) Prawdziwe jest analogiczne twierdzenie dla funkcji trzech zmiennych .
(2) Implikacja odwrotna nie jest prawdziwa , tzn. zerowanie się pochodnych cząstkowych nie gwarantuje istnienia ekstremów lokalnych danej funkcji .
(3) Funkcja może mieć ekstrema lokalne tylko w punktach , w których wszystkie jej pochodne cząstkowe pierwszego rzędu są równe zero albo w punktach , w których choć jedna z nich nie istnieje .
Twierdzenie 7 . ( warunek wystarczający istnienie ekstremów funkcji dwóch zmiennych )
Jeżeli funkcja ![]()
ma ciągłe pochodne cząstkowe rzędu drugiego w otoczeniu punktu ![]()
oraz
1. ![]()
, ![]()
,
2. 
,
to w punkcie ![]()
funkcja ![]()
ma ekstremum lokalne .
Jest to
(a) minimum lokalne , gdy 
albo
(b) maksimum lokalne , gdy 
.
Uwaga . Gdy wyznacznik w założeniu 2 powyższego twierdzenia jest ujemny , to
funkcja ![]()
nie ma nie ma w punkcie ![]()
ekstremum lokalnego .
Przykład . 1) Zbadamy istnienie ekstremów lokalnych funkcji ![]()
.
Dziedziną funkcji jest zbiór ![]()
. Podana funkcja może mieć ekstrema lokalne w punktach ,
w których zerują się pochodne cząstkowe rzędu pierwszego . Wyznaczmy te punkty :

, 
;
Rozwiązujemy układ równań :

.
Wiadomo , że dla każdego ![]()
, mamy ![]()
. Zatem rozwiązaniem powyższego układu jest para ![]()
.
Sprawdzimy , czy w tym punkcie funkcja ma ekstremum. W tym celu zbadamy znak
podanego w twierdzeniu wyznacznika .

, ![]()
;

, 
;

, 
.
Stąd mamy 
, co oznacza , że funkcja ![]()
ma w punkcie ![]()
ekstremum lokalne . Jest to maksimum lokalne , bo ![]()
. Maksimum wynosi ![]()
.
7