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 ${\displaystyle \mathbb {R} ^{2}}$), la derivata parziale in un punto rispetto alla (ad esempio) prima variabile di una funzione ${\displaystyle f(x,y)}$ rappresenta la pendenza della curva ottenuta intersecando il grafico di ${\displaystyle f}$ (una superficie contenuta nello spazio ${\displaystyle \mathbb {R} ^{3}}$) con un piano passante per il punto parallelo al piano ${\displaystyle y=0}$.

La pendenza della retta ${\displaystyle t_{1}}$ è data dalla derivata parziale di ${\displaystyle f}$ rispetto alla prima variabile in ${\displaystyle (x_{0},y_{0})}$. La pendenza della retta ${\displaystyle t_{2}}$ è data dalla derivata di ${\displaystyle f}$ rispetto alla seconda variabile nello stesso punto

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 ${\displaystyle \mathbf {F} :E\subset \mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}}$  una funzione definita su un insieme aperto dello spazio euclideo ${\displaystyle \mathbb {R} ^{n}}$ .

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

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

La componente i-esima della funzione è allora:

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

Si definisce derivata parziale di ${\displaystyle F_{i}}$  rispetto alla variabile ${\displaystyle x_{j}}$  il limite:^[1]

${\displaystyle {\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 ${\displaystyle f}$  nel punto ${\displaystyle \mathbf {x} }$ , e viene denotato anche con ${\displaystyle 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 ${\displaystyle \mathbf {x} }$ , allora tutte le derivate parziali esistono in ${\displaystyle \mathbf {x} }$ ,^[2] e determinano completamente l'applicazione lineare ${\displaystyle \mathbf {L} :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}}$  che permette di approssimare la funzione nel punto:^[3]

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

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

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

Derivate parziali in R²

Per chiarire le idee, consideriamo l'esempio più semplice, cioè una funzione f con dominio in ${\displaystyle \mathbb {R} ^{2}}$ , insieme formato da tutte le coppie ordinate ${\displaystyle (x,y)\;}$  con ${\displaystyle x,y\in \mathbb {R} \;}$ , e con valori in ${\displaystyle \mathbb {R} }$ . Tale funzione in ogni punto ${\displaystyle \left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)}$  del proprio dominio può avere due derivate parziali:

• derivata parziale di f rispetto a x:

${\displaystyle {f_{x}\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)={{\partial f} \over {\partial x}}\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)=\mathop {\lim _{h\to 0}} {{f\left({x_{o}+h,y_{\rm {0}}}\right)-f\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)} \over h}}}$ 

• derivata parziale di f rispetto a y:

${\displaystyle {f_{y}\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)={{\partial f} \over {\partial y}}\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)=\mathop {\lim _{k\to 0}} {{f\left({x_{o},y_{\rm {0}}+k}\right)-f\left({x_{{\rm {0}}{\rm {,}}}y_{\rm {0}}}\right)} \over k}}}$ 

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

Derivata direzionale

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

${\displaystyle {\frac {\partial f}{\partial x_{k}}}({\vec {x}})={\frac {\partial f}{\partial {\vec {v}}}}({\vec {x}})}$ 

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

Notazioni

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

• ${\displaystyle \partial _{x}f(x,y),}$ 

• ${\displaystyle f_{x}(x,y),}$ 

• ${\displaystyle \mathrm {D} _{x}f(x,y),}$ 

• ${\displaystyle \mathrm {D} ^{(1,0)}f(x,y)}$ 

L'ultima notazione fa uso dei cosiddetti multiindici.

Calcolo delle derivate parziali

Il calcolo delle derivate parziali può essere svolto tramite il calcolo di derivate ordinarie. Infatti supponiamo di voler calcolare ${\displaystyle {\frac {\partial f({\vec {x}})}{\partial x_{k}}}}$ . Definiamo ${\displaystyle \,\!\phi (t)=f(x_{1},x_{2},\ldots ,x_{k}+t,\ldots ,x_{n})}$ . Allora:

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

È per questo che a parole si dice che la derivata parziale di ${\displaystyle f}$  in ${\displaystyle x}$  rispetto a ${\displaystyle x_{k}}$  è la derivata che si ottiene considerando la funzione come funzione della sola ${\displaystyle x_{k}}$  e considerando costanti le rimanenti.

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 ${\displaystyle x_{i}}$  e poi rispetto ${\displaystyle x_{j}}$  porta allo stesso risultato di derivare prima rispetto a ${\displaystyle x_{j}}$  e poi rispetto ${\displaystyle x_{i}}$ ).

Continuità delle derivate parziali

Se una funzione ${\displaystyle f({\vec {x}})\;}$  ha le derivate parziali prime continue nel suo dominio in ${\displaystyle D\subseteq \mathbb {R} ^{n}}$ , si dice che è una funzione di classe ${\displaystyle C^{1}(D)\;}$  (si legge funzione di classe C uno in ${\displaystyle 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 la f è di classe ${\displaystyle C^{m}(D)\;}$ .

Un punto P di una superficie di equazione ${\displaystyle 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.

Note

1. ^ W. Rudin, Pag. 216
2. ^ W. Rudin, Pag. 216
3. ^ W. Rudin, Pag. 213

Bibliografia

• Walter Rudin, Principi di analisi matematica, Milano, McGraw-Hill, 1991, ISBN 8838606471.

Voci correlate

• Derivata direzionale
• Derivata totale
• Gradiente
• Nabla
• Continuità separata
• Differenziale
• Rotore
• Divergenza
• Laplaciano
• Equazione di Poisson

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica