Derivata parziale
# Derivata parziale

In analisi matematica, la derivata parziale è una prima generalizzazione del concetto di derivata di una funzione reale alle funzioni di più variabili. Se per funzioni reali la derivata in un punto rappresenta la pendenza del grafico della funzione (una curva contenuta nel piano $\mathbb {R} ^{2}$), la derivata parziale in un punto rispetto (ad esempio) alla prima variabile di una funzione $f(x,y)$ rappresenta la pendenza della retta tangente alla curva ottenuta intersecando il grafico di $f$ (una superficie contenuta nello spazio $\mathbb {R} ^{3}$) con un piano passante per il punto e parallelo al piano $y=0$.

Come tecnica di calcolo, la derivata parziale di una funzione rispetto a una variabile $x$ (lo stesso discorso può ripetersi per le altre variabili $y$, $z$ ecc.) in un punto si ottiene derivando la funzione nella sola variabile $x$, considerando tutte le altre variabili come se fossero costanti.

## Definizione

Sia $\mathbf {F} :E\subset \mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}$ una funzione definita su un insieme aperto dello spazio euclideo $\mathbb {R} ^{n}.$

Dette $\{\mathbf {e} _{i}\}_{1\leq i\leq n}$ e $\{\mathbf {u} _{i}\}_{1\leq i\leq m}$ le basi canoniche di $\mathbb {R} ^{n}$ e $\mathbb {R} ^{m}$ rispettivamente, la funzione può essere scritta nel seguente modo:

    $\mathbf {F} (\mathbf {x} )=\sum _{i}^{m}F_{i}(\mathbf {x} )\mathbf {u} _{i}\quad \mathbf {x} =(x_{1},x_{2},\ldots ,x_{n})\in E$

La componente $i$-esima della funzione è allora:

    $F_{i}(\mathbf {x} )=\mathbf {F} (\mathbf {x} )\cdot \mathbf {u} _{i}\quad 1\leq i\leq m.$

Si definisce derivata parziale di $F_{i}$ rispetto alla variabile $x_{j}$ il limite:

    ${\frac {\partial F_{i}(\mathbf {x} )}{\partial x_{j}}}=\lim _{t\to 0}{\frac {F_{i}(\mathbf {x} +t\mathbf {e} _{j})-F_{i}(\mathbf {x} )}{t}}=\lim _{t\to 0}{\frac {F_{i}(x_{1},x_{2},\dots x_{j}+t,\dots ,x_{n})-F_{i}(x_{1},x_{2},\dots ,x_{n})}{t}}.$

Tale limite è a volte chiamato limite del rapporto incrementale di $f$ nel punto $\mathbf {x}$, e viene denotato anche con $D_{j}F_{i}$. La derivata parziale di una funzione, o nel caso di funzione vettoriale di una sua componente, si effettua quindi considerando le variabili diverse da quella rispetto a cui si vuole derivare come costanti e calcolandone il rapporto incrementale.

Se una funzione è differenziabile in $\mathbf {x}$, allora tutte le derivate parziali esistono in $\mathbf {x}$, e determinano completamente l'applicazione lineare $\mathbf {L} :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}$ che permette di approssimare la funzione nel punto:

    $\mathbf {F} (\mathbf {x} _{0}+\mathbf {h} )-\mathbf {F} (\mathbf {x} _{0})=\mathbf {L} (\mathbf {x} _{0})\mathbf {h} +\mathbf {r} (\mathbf {h} )$

dove $\mathbf {r} (\mathbf {h} )$ si annulla all'annullarsi dell'incremento $\mathbf {h}$.

La trasformazione $\mathbf {L}$ è rappresentata nella base canonica dalla matrice jacobiana, ed è chiamata derivata della funzione in $\mathbf {x}$.

Il calcolo delle derivate parziali può essere svolto tramite il calcolo di derivate ordinarie. Supponendo di voler calcolare $\partial f(\mathbf {x} )/\partial x_{k}$, si definisce $\phi (t)=f(x_{1},x_{2},\ldots ,x_{k}+t,\ldots ,x_{n})$. Allora:

    ${\frac {\partial f}{\partial x_{k}}}(\mathbf {x} )={\frac {\mathrm {d} \phi }{\mathrm {d} t}}(0).$

La derivata parziale di $f$ in $x$ rispetto a $x_{k}$ è la derivata che si ottiene considerando la funzione come funzione della sola $x_{k}$ e considerando costanti le rimanenti.

### Derivate parziali in $R^2$

Si consideri una funzione $f$ con dominio in $\mathbb {R} ^{2}$, insieme formato da tutte le coppie ordinate $(x,y)$ con $x,y\in \mathbb {R} ,$ e con valori in $\mathbb {R} .$ Tale funzione in ogni punto $\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)$ del proprio dominio può essere derivata sia rispetto a $x$:

    $f_{x}(x_{0},y_{0})={\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}}$

sia rispetto a $y$:

    $f_{y}(x_{0},y_{0})={\partial f \over \partial y}(x_{0},y_{0})=\lim _{k\to 0}{\frac {f(x_{0},y_{0}+k)-f(x_{0},y_{0})}{k}}$

Se entrambi i limiti esistono finiti, allora la funzione $f$ si dice derivabile in $(x_{0},y_{0})\in \mathbb {R} ^{2}$. Il vettore che ha per componenti ${f_{x}}$ e ${f_{y}}$ è detto gradiente della funzione $f\;$ in $(x_{0},y_{0})$ e si indica

$\operatorname {grad} f=\nabla f=(f_{x},f_{y})$

### Derivata direzionale

La derivata parziale è un caso particolare di derivata direzionale. Usando questo concetto si può definire la derivata parziale come:

    ${\frac {\partial f}{\partial x_{k}}}(\mathbf {x} )={\frac {\partial f}{\partial \mathbf {v} }}(\mathbf {x} ),$

con $\mathbf {v} =\mathbf {e} _{k}=(0,\ldots ,0,1,0,\ldots ,0)$, ovvero il versore $k$-esimo, cioè quel vettore, di modulo unitario, che ha tutte le componenti nulle tranne la $k$-esima che è uguale a $1$.

## Notazioni

La notazione più comune fa uso del simbolo $\partial$ simile alla $d$ usata nella notazione di Leibniz per la derivata di funzioni di una variabile. Altre notazioni per indicare la derivata di $f(x,y)$ rispetto alla prima variabile ($x$) sono:

    $\partial _{x}f(x,y)\qquad f_{x}(x,y)\qquad \mathrm {D} _{x}f(x,y)\qquad \mathrm {D} ^{(1,0)}f(x,y)$

dove l'ultima notazione fa uso dei cosiddetti multiindici.

## Derivate parziali di ordine superiore

Le operazioni di derivazione possono essere applicate anche alle funzioni ottenute come derivate parziali di una data funzione. Si possono definire quindi derivate parziali di ordine superiore al primo.

Si distingue a questo punto tra derivate parziali pure, quelle ottenute derivando ripetutamente sempre rispetto alla stessa variabile, e derivate parziali miste, cioè quelle in cui le variabili di derivazione non sono sempre le stesse. Un importante risultato, noto come teorema di Schwarz, afferma che se le derivate miste di second'ordine sono continue allora l'ordine di derivazione è ininfluente (cioè derivare prima rispetto $x_{i}$ e poi rispetto $x_{j}$ porta allo stesso risultato di derivare prima rispetto a $x_{j}$ e poi rispetto $x_{i}$).

## Continuità delle derivate parziali

Se una funzione $f(\mathbf {x} )$ ha le derivate parziali prime continue nel suo dominio in $D\subseteq \mathbb {R} ^{n}$, si dice che è una funzione di classe $C^{1}(D)$ (si legge funzione di classe C uno in $D$).

In generale per un qualsiasi intero positivo $m$ se tutte le derivate parziali di ordine minore o uguale a $m$ della funzione sono continue nell'insieme di definizione $D$, si dice che $f$ è di classe $C^{m}(D).$

Un punto $P$ di una superficie di equazione $F(x,y,z)=0$, si dice punto semplice se le tre derivate parziali della funzione sono continue e non nulle. Se invece le derivate rispetto alle tre variabili sono nulle, oppure una non esiste, il punto si dice singolare.

