Ingyenes tananyagok

Analízis 2

Többváltozós függvények és parciális deriválás

Amikor egy függvénynek nem egy, hanem több változója van: értelmezési tartomány, parciális deriváltak és a másodrendű deriváltak.

14 perc olvasás

1. Mi az a többváltozós függvény?

Eddig olyan függvényekkel dolgoztunk, amiknek egyetlen bemenete volt: xx. A valóságban egy mennyiség sokszor több dologtól függ egyszerre: egy téglatest térfogata a három élétől, egy termék bevétele az áron kívül a marketingköltségtől is. Egy kétváltozós függvény minden (x,y)(x,y) számpárhoz rendel egy zz értéket:

Kétváltozós függvény

z=f(x,y)z=f(x,y)

Az értelmezési tartomány most nem egy intervallum, hanem a sík egy részhalmaza: DfR2\mathcal{D}_f\subseteq\mathbb{R}^{2}. Ugyanazok a kizáró okok érvényesek, mint egyváltozós esetben (nullával osztás, negatív alatt páros gyök, nem pozitív logaritmusa), csak most egy tartományt adnak a síkon, nem pontokat.

Az értelmezési tartomány leolvasása

Mi a f(x,y)=1x2y2f(x,y)=\sqrt{1-x^{2}-y^{2}} értelmezési tartománya?

  1. A gyök alatt nem állhat negatív szám: 1x2y201-x^{2}-y^{2}\ge 0.
  2. Átrendezve: x2+y21x^{2}+y^{2}\le 1.
  3. Ez pontosan az origó középpontú, 1 sugarú kör a kerületével együtt:
    Df={(x,y)R2:x2+y21}\mathcal{D}_f=\big\{(x,y)\in\mathbb{R}^{2} : x^{2}+y^{2}\le 1\big\}

A grafikon most egy felület

Egyváltozós függvénynél a grafikon egy görbe a síkban. Kétváltozós függvénynél a grafikon egy felület a térben, ezt papíron nehéz rajzolni, ezért a gyakorlatban ritkán a teljes felületet vizsgáljuk, hanem a parciális deriváltakat, amik pontosan azt mondják meg, hogyan változik a felület, ha csak az egyik irányba lépünk.

2. A parciális derivált

A parciális derivált ugyanazt a kérdést teszi fel, mint az egyváltozós derivált: mennyit változik a függvény, ha egy kicsit lépünk. A különbség az, hogy itt két irányba lehet lépni, és mindig csak az egyiket vizsgáljuk: a másik változót rögzítjük.

A parciális derivált definíciója

fx(x0,y0)=limh0f(x0+h,y0)f(x0,y0)h\frac{\partial f}{\partial x}(x_0,y_0)=\lim_{h\to 0}\frac{f(x_0+h,y_0)-f(x_0,y_0)}{h}

Vagyis: yy-t befagyasztjuk y0y_0-nál, és úgy deriválunk xx szerint, mintha ff csak xx-től függő, egyváltozós függvény lenne. A yy szerinti parciális derivált definíciója ugyanez, felcserélt szereppel.

A jelölés többféle lehet, mind ugyanazt jelenti:

JelölésJelentés
fx\dfrac{\partial f}{\partial x}a legyakoribb, a „kerek d” jelöli, hogy több változó van
fxf_xrövid alsó indexes forma
fx(x0,y0)f_x(x_0,y_0)a derivált értéke egy konkrét pontban

A gyakorlatban egyetlen szabály elég

Deriváld a kívánt változó szerint úgy, mintha a másik változó konstans lenne: minden korábban tanult szabály (hatvány, szorzat, hányados, láncszabály) ugyanúgy érvényes, csak a másik betű most egy szám szerepét játssza.

3. Kidolgozott példák

1. Polinom mindkét változóban

Deriváljuk parciálisan mindkét változó szerint: f(x,y)=x3y24xy+yf(x,y)=x^{3}y^{2}-4xy+y.

  1. xx szerint: yy konstans, tehát x3y2x^{3}y^{2} úgy deriválódik, mint x3x^{3} szorozva egy konstanssal, 4xy-4xy pedig mint 4yx-4y\cdot x; az utolsó tag (yy) eltűnik:
    fx(x,y)=3x2y24yf_x(x,y)=3x^{2}y^{2}-4y
  2. yy szerint: most xx a konstans, és az utolsó tag deriváltja 1:
    fy(x,y)=2x3y4x+1f_y(x,y)=2x^{3}y-4x+1

2. Láncszabály: a másik változó a belső függvényben

Deriváljuk parciálisan: f(x,y)=sin(xy)f(x,y)=\sin(xy).

  1. A külső függvény sin\sin, a belső xyxy. xx szerint deriválva a belső, yy-t konstansnak tekintve: x(xy)=y\dfrac{\partial}{\partial x}(xy)=y.
  2. A láncszabály szerint:
    fx(x,y)=ycos(xy)f_x(x,y)=y\cos(xy)
  3. Ugyanígy, felcserélt szereppel:
    fy(x,y)=xcos(xy)f_y(x,y)=x\cos(xy)

3. Szorzat- és láncszabály együtt

Deriváljuk parciálisan: f(x,y)=x2exyf(x,y)=x^{2}e^{xy}.

  1. xx szerint mindkét tényező függ xx-től, tehát szorzatszabály kell: fx=(x2)xexy+x2(exy)xf_x=(x^{2})_x\,e^{xy}+x^{2}\,(e^{xy})_x. A második tényezőnél láncszabály: (exy)x=yexy(e^{xy})_x=y\,e^{xy}.
  2. Összerakva és kiemelve:
    fx(x,y)=2xexy+x2yexy=exy(2x+x2y)f_x(x,y)=2x\,e^{xy}+x^{2}y\,e^{xy}=e^{xy}\big(2x+x^{2}y\big)
  3. yy szerint x2x^{2} konstans, csak az exponenciálist kell láncszabállyal deriválni ((exy)y=xexy(e^{xy})_y=x\,e^{xy}):
    fy(x,y)=x3exyf_y(x,y)=x^{3}e^{xy}

4. Másodrendű parciális deriváltak és a Young-tétel

Ahogy egyváltozós esetben ff''-t úgy kapjuk, hogy ff'-t még egyszer deriváljuk, itt is tovább lehet deriválni, csak most már azt is el kell dönteni,melyik változó szerint. Négy másodrendű parciális derivált van:

JelölésJelentés
fxxf_{xx}fxf_x még egyszer xx szerint
fyyf_{yy}fyf_y még egyszer yy szerint
fxyf_{xy}fxf_x deriválva yy szerint (vegyes)
fyxf_{yx}fyf_y deriválva xx szerint (vegyes)

Nézzük meg az előző lecke első példáján (f(x,y)=x3y24xy+yf(x,y)=x^{3}y^{2}-4xy+y, ahol fx=3x2y24yf_x=3x^{2}y^{2}-4y és fy=2x3y4x+1f_y=2x^{3}y-4x+1) a két vegyes deriváltat:

fxy=y(3x2y24y)=6x2y4,fyx=x(2x3y4x+1)=6x2y4f_{xy}=\frac{\partial}{\partial y}\big(3x^{2}y^{2}-4y\big)=6x^{2}y-4, \qquad f_{yx}=\frac{\partial}{\partial x}\big(2x^{3}y-4x+1\big)=6x^{2}y-4

A Young-tétel (Schwarz-tétel)

Nem véletlen, hogy fxy=fyxf_{xy}=f_{yx} lett: ha a másodrendű parciális deriváltak folytonosak, a vegyes deriváltak mindig megegyeznek, függetlenül attól, milyen sorrendben deriválunk. A legtöbb, vizsgán előforduló függvényre ez a feltétel teljesül, ezért a vegyes deriváltat elég egyszer kiszámolni, és utána ellenőrzésre is használható.

5. A gradiens

A két elsőrendű parciális derivált egyetlen vektorba rendezve adja a gradienst:

A gradiens

f(x,y)=(fx(x,y),fy(x,y))\nabla f(x,y)=\big(f_x(x,y),\,f_y(x,y)\big)

A gradiens abba az irányba mutat, amerre a függvény az adott pontból a leggyorsabban nő; a hossza pedig azt mondja meg, milyen meredeken. Például a f(x,y)=sin(xy)f(x,y)=\sin(xy) függvénynél a (1,π)(1,\pi) pontban:

f(1,π)=(πcosπ,  1cosπ)=(π,1)\nabla f(1,\pi)=\big(\pi\cos\pi,\;1\cdot\cos\pi\big)=(-\pi,-1)

6. Tipikus hibák

  • A másik változót nullának venni konstans helyett. A f(x,y)=4xyf(x,y)=4xy függvény xx szerinti deriváltja 4y4y, nem 00: a konstans nem tűnik el, csak nem xx-től függ többé.
  • Elmarad a láncszabály, ha a másik változó a belsőben van. (sin(xy))x\big(\sin(xy)\big)_x nem cos(xy)\cos(xy), hanem ycos(xy)y\cos(xy): a belső függvény deriváltja (itt yy) most is kötelező szorzótényező.
  • Felcserélt fxf_x és fyf_y. Mindig azt írd le előbb, melyik változó szerint deriválsz, és csak utána kezdd a számolást: két hasonló kinézetű kifejezésnél könnyű összekeverni a kettőt.
  • A \partial és a dd jelölés összemosása. A kerek \partial emlékeztet arra, hogy a másik változó rögzítve van; ha csak egy változó van, marad a szokásos ff' vagy dfdx\frac{df}{dx}.

Elakadtál menet közben?

Egy tananyag megmutatja, hogyan működik a dolog. Azt viszont, hogy pontosan hol csúszik el nálad, egy óra alatt derítjük ki. Foglalj egy alkalmat, vagy beszéljük meg egy ingyenes konzultáción, mire van szükséged.