Salta al contenuto
Note per Studenti Derivate seconde e matrice hessiana

Derivate seconde e matrice hessiana

In questa pagina 5

Lezione 3 di analisi, Unità 5. Prerequisiti: Derivate direzionali e parzialiLa derivata direzionale di f in p lungo u è D_u f(p) = lim_{t→0} (f(p + tu) − f(p))/t, cioè la derivata in t = 0 di g(t) = f(p + tu): quanto sale f partendo da p lungo u. Le derivate parziali sono le direzionali lungo gli assi, ∂f/∂xᵢ = D_{eᵢ}f, e si calcolano derivando rispetto a xᵢ con le altre variabili ferme. Avere tutte le derivate direzionali NON implica la continuità (x²y/(x⁴ + y²)). Valgono linearità, regola del prodotto e della catena con φ di una variabile.Derivate direzionali e parziali →.

Derivate del secondo ordine

Esempio del prof. f(x,y)=x2+2x eyf(x, y) = x^2 + 2x\,e^y. La derivata parziale ∂xf(x,y)=2x+2ey\partial_x f(x, y) = 2x + 2e^y è a sua volta una funzione di (x,y)(x, y), e la si può derivare di nuovo: ∂x(∂xf)=2,∂y(∂xf)=2ey\partial_x(\partial_x f) = 2, \qquad \partial_y(\partial_x f) = 2e^y Analogamente ∂yf=2x ey\partial_y f = 2x\,e^y, da cui ∂x(∂yf)=2ey\partial_x(\partial_y f) = 2e^y e ∂y(∂yf)=2x ey\partial_y(\partial_y f) = 2x\,e^y.

Definizione. Sia DD aperto e f:D→Rf : D \to \mathbb{R}. Per i,j∈{1,…,n}i, j \in \{1, \dots, n\}, la derivata seconda (o doppia) ∂xixj2f(p)=∂2f∂xi ∂xj(p)=fxjxi(p)\partial^2_{x_i x_j}f(p) = \frac{\partial^2 f}{\partial x_i\,\partial x_j}(p) = f_{x_j x_i}(p) è, se esiste, la derivata parziale rispetto a xix_i della funzione ∂xjf\partial_{x_j}f, calcolata in pp. Per i=ji = j si scrive ∂xi22f(p)=∂2f∂xi2(p)\partial^2_{x_i^2}f(p) = \frac{\partial^2 f}{\partial x_i^2}(p).

Le derivate con i≠ji \ne j si dicono miste. Per n=2n = 2 ce ne sono quattro: fxxf_{xx}, fxyf_{xy}, fyxf_{yx}, fyyf_{yy}.

Attenzione alla notazione: ∂2f∂xi ∂xj\frac{\partial^2 f}{\partial x_i\,\partial x_j} si legge "da destra a sinistra" (prima rispetto a xjx_j, poi a xix_i), mentre nel pedice fxjxif_{x_j x_i} l'ordine è "da sinistra a destra". Per le funzioni del corso il teorema di Schwarz rende l'ordine indifferente.

La matrice hessiana

Definizione. La matrice hessiana di ff in pp è la matrice n×nn \times n delle derivate seconde: Hess⁡f(p):=(∂x122f(p)⋯∂x1xn2f(p)⋮⋱⋮∂xnx12f(p)⋯∂xn22f(p))\operatorname{Hess}f(p) := \begin{pmatrix} \partial^2_{x_1^2}f(p) & \cdots & \partial^2_{x_1 x_n}f(p) \\ \vdots & \ddots & \vdots \\ \partial^2_{x_n x_1}f(p) & \cdots & \partial^2_{x_n^2}f(p) \end{pmatrix}

Per n=2n = 2: Hess⁡f(x,y)=(fxxfxyfyxfyy)\operatorname{Hess}f(x, y) = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{pmatrix}

Esempio del prof. f(x,y)=xcos⁡y+y exf(x, y) = x\cos y + y\,e^x.

  • fx=cos⁡y+y exf_x = \cos y + y\,e^x, fy=−xsin⁡y+ex\quad f_y = -x\sin y + e^x;
  • fxx=∂x(cos⁡y+y ex)=y exf_{xx} = \partial_x(\cos y + y\,e^x) = y\,e^x;
  • fyx=∂y(cos⁡y+y ex)=−sin⁡y+exf_{yx} = \partial_y(\cos y + y\,e^x) = -\sin y + e^x;
  • fxy=∂x(−xsin⁡y+ex)=−sin⁡y+exf_{xy} = \partial_x(-x\sin y + e^x) = -\sin y + e^x;
  • fyy=∂y(−xsin⁡y+ex)=−xcos⁡yf_{yy} = \partial_y(-x\sin y + e^x) = -x\cos y.

Hess⁡f(x,y)=(y exex−sin⁡yex−sin⁡y−xcos⁡y)\operatorname{Hess}f(x, y) = \begin{pmatrix} y\,e^x & e^x - \sin y \\ e^x - \sin y & -x\cos y \end{pmatrix} Le due derivate miste sono uguali: non è un caso.

Il teorema di Schwarz

Teorema (Schwarz). Sia DD aperto e f:D→Rf : D \to \mathbb{R} di classe C2C^2 (derivate parziali seconde esistenti e continue). Allora per ogni i,ji, j e ogni x∈Dx \in D ∂xixj2f(x)=∂xjxi2f(x)\partial^2_{x_i x_j}f(x) = \partial^2_{x_j x_i}f(x)

Quindi per le funzioni C2C^2 l'hessiana è una matrice simmetrica, e basta calcolare una delle due derivate miste (conviene comunque calcolarle entrambe come controllo dei conti). Senza l'ipotesi di continuità delle derivate seconde il teorema può fallire, ma per le funzioni date da formule elementari, nei punti interni del dominio, vale sempre.

A che cosa serve

Errori comuni

  • Confondere l'ordine di derivazione quando la funzione non è C2C^2.
  • Calcolare fxyf_{xy} derivando ff rispetto a xx e a yy "separatamente" e moltiplicando: la derivata mista si ottiene derivando la derivata.

Esercizi su questo argomento

Lezioni in cui compare

Teoria collegata