05 - Parcijalni izvodi višeg reda
Parcijalni izvodi višeg reda
Usvajanje pojma parcijalnog izvoda višeg reda od jedan
  • Drugi parcijalni izvodi
  • Primer
  • Stav o jednakosti mešovitih parcijalnih izvoda drugog reda
  • Video klip
05
Drugi parcijalni izvodi
Parcijalni izvodi drugog reda se dobijaju traženjem parcijalnih izvoda od parcijalnih izvoda prvog reda.

Za funkciju f u tački AD možemo formirati parcijalne izvode drugog reda po jednoj, odnosno po drugoj promenljivoj na sledeći način: neka su date izvodne funkcije parcijalnih izvoda prvog reda funkcije z=f(x, y), (x, y)D sa

fˊxx,y,  fˊyx,y,  x,yD.

Za njih je moguće (ponaosob) potražiti parcijalne izvode prvog reda u tački AD (ako su za to obezbedeni uslovi) i time dobijamo:

fˊxx,yxA,fˊxx,yyA,fˊyx,yxA,fˊyx,yyA,

gde je A=(a1, a2)D.

Standardne oznake za prethodno date parcijalne izvode su:

fxxx,yA,fxyx,yA,fyxx,yA,fyyx,yA

ili

𝜕𝜕x𝜕f𝜕x, 𝜕𝜕y𝜕f𝜕x, 𝜕𝜕x𝜕f𝜕y, 𝜕𝜕y𝜕f𝜕y.

Takodje, umesto oznaka

fxxx,yA,fyyx,yA

mogu se koristiti i oznake

fx2x,yA,fy2x,yA.

Parcijalni izvodi fˊˊxyx,y A   i  fˊˊyxx,y A  se nazivaju mešoviti parcijalni izvodi drugog reda.

Umesto oznaka

𝜕𝜕x𝜕f𝜕x, 𝜕𝜕y𝜕f𝜕x,𝜕𝜕x𝜕f𝜕y,𝜕𝜕y𝜕f𝜕y.

mogu se koristiti i oznake:

𝜕2f𝜕x2,       𝜕2f𝜕y𝜕x,       𝜕2f𝜕x𝜕y,      𝜕2f𝜕y2. 

Napomena. Od posmatrane funkcije f (ako su obezbedjeni uslovi) mo­že­mo kreirati i parcijalne izvode k-tog reda (k  3), na analogan način kao što smo formirali parcijalne izvode drugog reda. Oznake za takve parcijalne izvode i rasudjivanje o njima je potpuno analogno sa oznakama i rasudjivanjem kao kod parcijalnih izvoda drugog reda. Parcijalnih izvoda k-tog reda ima 2k.

Primer
Određivanje drugih parcijalnih izvoda.

Odrediti druge parcijalne izvode funkcije:

z=x22-y

Rešenje. Prvi parcijalni izvodi su:

zx=x22yx=2x2y zy=x22yy=x22y2.

Drugi parcijalni izvodi su:

zxx=zxx=2x2yx=22yzxy=zxy=2x2yy=2x2y2

zyx=zyx=x22yx=2x2y2

zyy=zyy=x22y2y=2x22y3

Primećujemo da je zxy=zyx što važi uvek kada su parcijalni izvodi neprekidne funkcije.

Stav o jednakosti mešovitih parcijalnih izvoda drugog reda
Neprekidnost drugih parcijalnih izvoda nije najširi uslov da bi važila njihova jednakost u datoj tački, ali za naše potrebe ovaj stav će biti dovoljan.
Mešoviti parcijalni izvodi drugog reda neke funkcije $z=f(x,y)$ u nekoj tački $A$ ne moraju biti jednaki u opštem slučaju. Za naš dalji rad će biti od interesa kada su oni jednaki. O tome govori naredni stav.

$\bf Stav.\;$ Neka je data funkcija $z=f(x,y)$ na oblasti $\cal{D}⊆\mathbb{R}^2$ i neka ova funkcija na $\cal{D}$ ima parcijalne izvode prvog i drugog reda. Uočimo tačku $A(a_1,a_2)∈D$ i pretpostavimo da su $f_{xy}^{''}(x,y)$ i $f_{yx}^{''}(x,y)$ neprekidni (kao funkcije) na nekom krugu sa centrom u tački $A$ pozitivnog poluprečnika koji ceo pripada oblasti $\cal{D}.$
Tada je $$ f_{xy}^{''}(A)= f_{yx}^{''}(A) $$

Napomena. Pomenuta neprekidnost u prethodnom stavu nije najširi uslov da bi važila prethodna jednakost, ali za naše potrebe ovaj stav će biti dovoljan.

Video klip
Snimak sa Youtube-a