Derivata parziale

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

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

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

Definizione

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

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

F ( x ) = i m F i ( x ) u i x = ( x 1 , x 2 , , x n ) E {\displaystyle \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 {\displaystyle i} -esima della funzione è allora:

F i ( x ) = F ( x ) u i 1 i m . {\displaystyle 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 {\displaystyle F_{i}} rispetto alla variabile x j {\displaystyle x_{j}} il limite:[1]

F i ( x ) x j = lim t 0 F i ( x + t e j ) F i ( x ) t = lim t 0 F i ( x 1 , x 2 , x j + t , , x n ) F i ( x 1 , x 2 , , x n ) t . {\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 f {\displaystyle f} nel punto x {\displaystyle \mathbf {x} } , e viene denotato anche con D j F i {\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 x {\displaystyle \mathbf {x} } , allora tutte le derivate parziali esistono in x {\displaystyle \mathbf {x} } ,[1] e determinano completamente l'applicazione lineare L : R n R m {\displaystyle \mathbf {L} :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}} che permette di approssimare la funzione nel punto:[2]

F ( x 0 + h ) F ( x 0 ) = L ( x 0 ) h + r ( h ) {\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 r ( h ) {\displaystyle \mathbf {r} (\mathbf {h} )} si annulla all'annullarsi dell'incremento h {\displaystyle \mathbf {h} } .

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

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

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

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

Derivate parziali in R2

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

f x ( x 0 , y 0 ) = f x ( x 0 , y 0 ) = lim h 0 f ( x 0 + h , y 0 ) f ( x 0 , y 0 ) h {\displaystyle 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 {\displaystyle y} :

f y ( x 0 , y 0 ) = f y ( x 0 , y 0 ) = lim k 0 f ( x 0 , y 0 + k ) f ( x 0 , y 0 ) k {\displaystyle 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 {\displaystyle f} si dice derivabile in ( x 0 , y 0 ) R 2 {\displaystyle (x_{0},y_{0})\in \mathbb {R} ^{2}} . Il vettore che ha per componenti f x {\displaystyle {f_{x}}} e f y {\displaystyle {f_{y}}} è detto gradiente della funzione f {\displaystyle f\;} in ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} e si indica

grad f = f = ( f x , f y ) {\displaystyle \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:

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

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

Notazioni

Lo stesso argomento in dettaglio: Notazioni per la differenziazione.

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

x f ( x , y ) f x ( x , y ) D x f ( x , y ) D ( 1 , 0 ) f ( x , y ) {\displaystyle \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 {\displaystyle x_{i}} e poi rispetto x j {\displaystyle x_{j}} porta allo stesso risultato di derivare prima rispetto a x j {\displaystyle x_{j}} e poi rispetto x i {\displaystyle x_{i}} ).

Continuità delle derivate parziali

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

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

Un punto P {\displaystyle P} di una superficie di equazione F ( x , y , z ) = 0 {\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. ^ a b W. Rudin, Pag. 216.
  2. ^ W. Rudin, Pag. 213.
  3. ^ Il simbolo corrisponde alla "D" minuscola dell'alfabeto cirillico con grafia corsiva e si legge "de" (si veda Д).

Bibliografia

  • Nicola Fusco, Paolo Marcellini, Carlo Sbordone, Lezioni di Analisi Matematica Due, Zanichelli, 2020, ISBN 9788808520203, capitolo 3.
  • Walter Rudin, Principi di analisi matematica, Milano, McGraw-Hill, 1991, ISBN 88-386-0647-1.

Voci correlate

Collegamenti esterni

  • (EN) partial derivative, su Enciclopedia Britannica, Encyclopædia Britannica, Inc. Modifica su Wikidata
  • (EN) Eric W. Weisstein, Derivata parziale, su MathWorld, Wolfram Research. Modifica su Wikidata
Controllo di autoritàGND (DE) 4454857-6
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica