Derivata mista

In analisi matematica, in particolare nel calcolo a più variabili, la derivata mista è il risultato di alcune derivate parziali di una funzione a variabili reali.

Definizione

Sia f : Ω R n R {\displaystyle f:\Omega \subseteq \mathbb {R} ^{n}\to \mathbb {R} } una funzione a variabili reali di classe C 1 ( Ω ) {\displaystyle C^{1}(\Omega )} , cioè derivabile con continuità secondo ogni variabile. Una derivata parziale mista del secondo ordine è il risultato di due derivate parziali effettuate secondo due variabili diverse. In simboli:

2 f x j x i x j ( f x i ) i j {\displaystyle {\frac {\partial ^{2}f}{\partial x_{j}\partial x_{i}}}\equiv {\frac {\partial }{\partial x_{j}}}\left({\frac {\partial f}{\partial x_{i}}}\right)\qquad i\neq j}

oppure f x i x j {\displaystyle f_{x_{i}x_{j}}} .

Analogamente, una derivata parziale mista del k-esimo ordine è il risultato di k successive derivate parziali:

k f x i m x j n . . . x l p {\displaystyle {\frac {\partial ^{k}f}{\partial {x_{i}}^{m}\partial {x_{j}}^{n}...\partial {x_{l}}^{p}}}}

con m + n + . . . + p = k {\displaystyle m+n+...+p=k} . Si può utilizzare anche la notazione compatta del multi-indice.

È possibile definire una diversa derivata parziale mista per ognuna delle combinazioni con ripetizioni delle n variabili con lunghezza k, cioè in numero di:

( n + k 1 ) ! k ! ( n 1 ) ! n {\displaystyle {\frac {(n+k-1)!}{k!(n-1)!}}-n}

dove si sottrae n in quanto è generalmente escluso dalla definizione il caso che una delle variabili si ripeta per tutte le k derivazioni.

La notazione usata in questa definizione si poggia sul teorema di Schwarz, che sotto l'ipotesi di continuità delle derivate parziali garantisce che il risultato non dipende dall'ordine in cui vengono effettuate le derivate parziali. Ad esempio, per la funzione f : Ω R 2 R {\displaystyle f:\Omega \subseteq \mathbb {R} ^{2}\to \mathbb {R} } si ha:

2 f x y ( x 0 , y 0 ) = 2 f y x ( x 0 , y 0 ) {\displaystyle {\frac {\partial ^{2}f}{\partial x\partial y}}(x_{0},y_{0})={\frac {\partial ^{2}f}{\partial y\partial x}}(x_{0},y_{0})}

per ogni ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} in Ω {\displaystyle \Omega } .

Bibliografia

  • Giuseppe Zwirner, Elementi di analisi matematica, Parte seconda, Cedam Padova (1973), pag 92-93
  • N. Fusco, P. Marcellini, C. Sbordone, Analisi matematica due, Liguori, 1996, ISBN 8820726750.

Voci correlate

  • Derivata
  • Derivata parziale
  • Differenziale esatto
  • Equazione di Laplace
  • Equazioni di Cauchy-Riemann
  • Funzione di variabile reale
  • Matrice hessiana
  • Notazione multi-indice
  • Teorema di Schwarz
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica