Partiell derivata

I matematiken är en partiell derivata av en flervariabelfunktion dess derivata med avseende på en av dess variabler, med de andra variablerna betraktade som konstanter. Partiella derivator används flitigt inom matematisk analys.

Den partiella derivatan till en flervariabelfunktion $f$, med avseende på en variabel $x$, har många olika beteckningar. Några är:

${\partial f \over \partial x}\quad f_{x}^{'}\quad D_{x}f\quad \partial _{x}f$

Definition

Definiera flervariabelfunktionen $f:\mathbb {R} ^{n}\mapsto \mathbb {R}$ som $f(x_{1},x_{2},...,x_{n})$.

$f$ är alltså en funktion som beror av $n$ stycken variabler. Låt oss sätta $n=2$, så att $f=f(x,y)$. En partiell derivata, med avseende på $x$, är derivatan av funktionen $x\mapsto f(x,y)$. Notera att det är enbart $x$ som avbildas på $f$. $y$ kan således betraktas som en konstant, och vi kan som vanligtvis derivera $f$, med avseende på $x$ i punkten $(a,b)$, med derivatans definition:

${\partial f \over \partial x}=\lim _{h\to 0}{\frac {f(a+h,b)-f(a,b)}{h}}$.

Mer generellt har vi för flervariabelfunktionen $f(x_{1},x_{2},...,x_{n})$ av $n$ variabler att om $a=(a_{1},a_{2},...,a_{n})$ är en inre punkt i definitionsmängden $D_{f}$, och om gränsvärdet

$\lim _{h\to 0}{\frac {f(a_{1},...,a_{i}+h,...,a_{n})-f(a_{1},...,a_{n})}{h}}$

existerar, så säger vi att $f$ är partiellt deriverbar i punkten $a$ med avseende på variabeln $x_{i}$. Om funktionen är partiellt deriverbar för alla $1\leq i\leq n$ säger vi att $f$ är partiellt deriverbar i punkten $a$.

Exempel

En partiell derivata till den reellvärda funktionen f(x₁,x₂, .. , x_n) är en funktion $D_{x_{k}}f$ (där k är ett heltal mellan 1 och n, inklusive gränserna) som beskriver hur snabbt f växer med avseende på variabeln x_k.

När man deriverar en funktion av flera variabler betraktar man alla variabler, utom den som ska deriveras med avseende på, som konstanter.

Exempel

Om

f = x²y

så är

D_x f = 2xy

och

D_y f = x².

Högre derivator bildas på motsvarande sätt som för de ordinära derivatorna:

D_xx f = 2y (Låt y vara konstant; derivera funktionen som nu bara beror på x två gånger)

D_yy f = 0 (Låt x vara konstant; derivera funktionen som nu bara beror på y två gånger)

D_xy f = 2x

Den sista bör uppmärksammas. Den anger att man först betraktar y som en konstant och deriverar med avseende på x. Resultatet kan betraktas som en ny funktion av två variabler. Denna nya funktion kan sedan deriveras med avseende på y.

Notera också att D_xy f = D_yx f om f är deriverbar tillräckligt många gånger.

Beteckningar

Ett flertal olika beteckningar används för partiella derivator. Vi har bland annat:

$f_{x}^{\prime }=f_{x}={\partial f \over \partial x}={\partial \over \partial x}f=D_{x}f=\partial _{x}f$

och för högre derivator

$f_{xx}^{\prime \prime }=f_{xx}={\partial ^{2}f \over \partial x^{2}}=D_{xx}^{2}f=\partial _{xx}^{2}f$

Differential

Se även artikeln differential

Differentialen av funktionen f(x₁,x₂, .. , x_n) definieras som

$df={\partial f \over \partial x_{1}}dx_{1}+\cdots +{\partial f \over \partial x_{n}}dx_{n}$

Detta kan tolkas som att om x_i ändras ytterst lite (med storleken dx_i), så ändras f med ungefär df.

Jämför med specialfallet då funktionen bara beror på en variabel.

Exempel

Volymen av en kon med höjden h och basradien r ges av $V(r,h)={\frac {\pi r^{2}h}{3}}$.

Då blir $dV={\frac {2\pi rh}{3}}dr+{\frac {\pi r^{2}}{3}}dh$

Formella egenskaper

Även de partiella derivatorna definieras genom gränsvärden.

Låt U vara en öppen delmängd i Rⁿ där den reellvärda funktionen f är definierad.

Den partiella derivatan av f i punkten a=(a₁,...,a_n)∈U med avseende på variabeln x_i som

${\frac {\partial }{\partial x_{i}}}f(\mathbf {a} )=\lim _{h\rightarrow 0}{f(a_{1},\dots ,a_{i-1},a_{i}+h,a_{i+1},\dots ,a_{n})-f(a_{1},\dots ,a_{n}) \over h}$

En skillnad mot ordinära derivator är att även om alla partiella derivator ∂f/∂x_i(a) existerar i en given punkt a, så behöver inte funktionen vara kontinuerlig där. Om däremot samtliga derivator existerar i en omgivning av a och är kontinuerliga där, så är f differentierbar där, och differentialen är då kontinuerlig. Då säges f tillhöra mängden C¹ (eller vara en C¹-funktion)

De partiella derivatorna ∂f/∂x_i kan betraktas som nya funktioner definierade på U. Dessa kan åter deriveras partiellt. Om samtliga blandade derivator existerar och är kontinuerliga, så kallas f för en C²-funktion. I detta fall kan de partiella derivatorna byta ordning:

${\frac {\partial ^{2}f}{\partial x_{i}\,\partial x_{j}}}={\frac {\partial ^{2}f}{\partial x_{j}\,\partial x_{i}}}$

Vektorn bestående av alla partiella derivator av f i en given punkt a kallas gradienten av f i punkten a:

$\operatorname {grad} f(a)=\left({\frac {\partial f}{\partial x_{1}}}(a),\dots ,{\frac {\partial f}{\partial x_{n}}}(a)\right)$

Om f är en C¹-funktion, så har grad f(a) en geometrisk betydelse: vektorn pekar åt det håll i vilket f växer snabbast.

Se även

• Riktningsderivata
• Divergens
• Hessematris
• Jacobimatris
• Jacobivarieteten
• Laplaceoperatorn
• d'Alemberts operator