Prirast
još nazivamo i
diferencijalom nezavisne varijable
i označavamo s
.
Parcijalni diferencijal
funkcije
u točki
s obzirom na
varijablu
definiramo kao diferencijal funkcije jedne varijable
definirane relacijom (3.1):
Definicija 3.9Neka je funkcija
derivabilna u točki
i neka je
Ako je
gdje je
funkcija za koju vrijedi
onda je funkcija
diferencijabilna
u točki
, a funkcija
je
totalni diferencijal
(ili kraće diferencijal)
funkcije
u točki
.
Ako je
diferencijabilna u svakoj točki
, onda
je
diferencijabilna funkcija.
Napomena 3.3
1.
Iz definicije 3.9 vidimo da za malene vrijednosti prirasta
,
, prirast
možemo aproksimirati
diferencijalom
,
2.
Iz same definicije diferencijabilnosti slijedi da je
diferencijabilnost jače svojstvo od derivabilnosti: ako je funkcija
diferencijabilna, onda je
i derivabilna, dok obratno ne mora
vrijediti.
3.
Funkcija
može biti derivabilna u točki
, a da u toj točki nije
neprekidna (vidi primjer 3.9), dočim funkcija
koja je
diferencijabilna u toćki
, nužno mora biti neprekidna u toj
točki. Naime,
onda i samo onda kad
za sve
, odnosno onda i samo onda kad
. Zato imamo
Međutim,
je ekvivalentno s
odnosno s neprekidnošću funkcije
u točki
.
Primjer 3.10Funkcija
je neprekidna na
(vidi primjer 3.4 i sliku 3.22). Također,
što znači da je
derivabilna u točki
. Međutim
nije
diferencijabilna u točki
.
Naime, vrijedi
odnosno,
Zato je
Za nizove točaka
koji konvergiraju u
za sve
imamo
što je zavisno od
pa zaključujemo da
ne postoji i zato
nije diferencijabilna u točki
.
Funkcija
iz prethodnog primjera je u točki
neprekidna i
derivabilna, ali nije diferencijabilna. Parcijalne derivacije
i
nisu
neprekidne u toj točki. Analizu ovakvih slučajeva nam olakšava sljedeći teorem kojega
navodimo bez dokaza:
Teorem 3.4Ako postoji okolina
točke
takva da je
derivabilna na
, te ako su sve parcijalne derivacije
,
neprekidne u točki
, onda je funkcija
diferencijabilna u točki
.
Iz svega dosad rečenog vidimo da postoji bitna razlika između funkcija
jedne varijable i funkcija više varijabla. Naime, za funkciju jedne
varijable vrijedi
i.
je derivabilna
u točki
je diferencijabilna u točki
,
ii.
je derivabilna (diferencijabilna) u točki
je neprekidna u točki
,
dočim za funkciju
od
varijabla vrijede sljedeće implikacije:
i.
je diferencijabilna u točki
je derivabilna u točki
,
ii.
je neprekidno derivabilna u točki
je diferencijabilna u točki
,
iii.
je diferencijabilna u točki
je neprekidna u točki
.