Matrice jacobiana: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica
Riga 1:
In [[analisi matematica]], in particolare nel [[calcolo vettoriale]] e nel [[calcolo infinitesimale]], la '''matrice di Jacobi''' o '''matrice jacobiana''' di una [[Funzione (matematica)|funzione]] che ha [[dominio (matematica)|dominio]] e [[codominio]] in uno [[spazio euclideo]] è la [[matrice]] i cui elementi sono le [[derivata parziale|derivate parziali]] prime della funzione. Il nome è dovuto a [[Carl Gustav Jacob Jacobi]].
 
La sua importanza è legata al fatto che, nel caso la funzione sia [[funzione differenziabile|differenziabile]], la jacobiana [[matrice di trasformazione|rappresenta]] la migliore approssimazione [[trasformazione lineare|lineare]] didella una [[funzione differenziabile]] vicino ad un punto dato. In questo senso la jacobiana permette di generalizzare il concetto di [[derivata]] estendendo tale nozione alle funzioni di più variabili.
 
==Definizione==
Sia <math>\mathbf{f}: U \rightarrow \mathbb R^m</math> una [[funzione (matematica)|funzione]] definita su un [[insieme aperto]] <math>U</math> dello [[spazio euclideo]] <math> \mathbb R^n </math>. La matrice jacobiana <math>J_f J_{\inmathbf \mathbb R^{mnf}</math> della funzione in <math>\mathbf x = (x_1, \dots, x_n)</math> è la [[matrice]] delle [[derivata parziale|derivate parziali]] prime della funzione calcolate in <math>\mathbf x</math>:
 
:<math>J_{\operatornamemathbf J_ff} = \begin{bmatrix} \dfrac{\partial f_1}{\partial x_1} & \cdots & \dfrac{\partial f_1}{\partial x_n} \\ \vdots & \ddots & \vdots \\ \dfrac{\partial f_m}{\partial x_1} & \cdots & \dfrac{\partial f_m}{\partial x_n} \end{bmatrix}\qquad \operatorname (J_fJ_{\mathbf f})_{ij} = \frac{\partial f_i (\mathbf {x})}{\partial x_j} \qquad \operatorname J_{ij} =\frac{\partial_i}{\partial x_j} </math>
 
In particolare, dette:
Riga 14:
le [[base canonica|basi canoniche]] di <math> \mathbb R^n </math> e <math> \mathbb R^m </math> rispettivamente, il j-esimo vettore colonna della matrice jacobiana è dato da:
 
:<math>J_fJ_{\mathbf f} \cdot \mathbf e_j = \sum_{i=1}^m \frac{\partial f_i (\mathbf {x})}{\partial x_j} \cdot \mathbf u_i </math>
 
dove il punto denota il [[Moltiplicazione di matrici|prodotto matriciale]].
Riga 22:
:<math>\mathbf{f}(\mathbf{x}_0+ \Delta\mathbf{x})-\mathbf{f}(\mathbf{x}_0) = \mathbf{L}(\mathbf{x}_0)\Delta\mathbf{x} + \mathbf r(\Delta \mathbf{x}) </math>
 
dove il resto <math>\mathbf r(\Delta\mathbf{x})</math> si annulla all'annullarsi dell'incremento <math>\Delta\mathbf{x}</math>. Se la funzione <math>\mathbf{f}</math> è differenziabile in <math>\mathbf{x}_0</math>, allora tutte le derivate parziali calcolate nel punto esistono. La jacobiana <math>J_{\mathbf f(\mathbf x_0)}</math> di <math>f</math> in <math>\mathbf x_0</math> è la [[matrice di trasformazione|matrice associata]] all'applicazione lineare <math>\mathbf L(\mathbf x_0)</math> rispetto alle basi canoniche di <math> \mathbb R^n </math> e <math> \mathbb R^m </math>:<ref>{{Cita|W. Rudin|Pag. 217|rudin}}</ref>
 
:<math>\mathbf{L}(\mathbf{x}_0)\Delta\mathbf{x} = J_{\mathbf f(\mathbf x_0)} \cdot \Delta\mathbf{x} = \sum_{i=1}^m \left[ \sum_{j=1}^n \frac{\partial f_i (\mathbf {x_0})}{\partial x_j} \Delta x_j \right] \cdot \mathbf u_i = \begin{bmatrix} \dfrac{\partial f_1}{\partial x_1} & \cdots & \dfrac{\partial f_1}{\partial x_n} \\ \vdots & \ddots & \vdots \\ \dfrac{\partial f_m}{\partial x_1} & \cdots & \dfrac{\partial f_m}{\partial x_n} \end{bmatrix} \cdot \Delta \mathbf{x} </math>
Riga 31:
A seconda delle dimensioni <math> m </math> e <math> n </math>, la jacobiana ha diverse interpretazioni geometriche:
 
* Se <math> m = 1 </math>, la matrice jacobiana si riduce ad un [[vettore (matematica)|vettore]] <math>n</math>-dimensionale, chiamato [[gradiente]] di <math>f</math> in <math>\mathbf x_0x</math>. In tal caso si ha:
 
:<math> L(\mathbf x ) = \nabla f = \sum_{i=1}^n \frac{\partial f (\mathbf {x})}{\partial x_j} \cdot \mathbf e_i </math>
 
:Il gradiente indica la direzione di "massima pendenza" del grafico della funzione nel punto.
Riga 61:
:<math>\begin{vmatrix} 0 & 5 & 0 \\ 8x_1 & -2x_3\cos(x_2 x_3) & -2x_2\cos(x_2 x_3) \\ 0 & x_3 & x_2 \end{vmatrix}=-8x_1\cdot\begin{vmatrix} 5 & 0\\ x_3&x_2\end{vmatrix}=-40x_1 x_2</math>
 
Da questo vediamosi vede che ''<math>f''</math> inverte l'orientazione vicino a quei punti dove ''x''<submath>1x_1</submath> e ''x''<submath>2x_2</submath> hanno lo stesso segno;. laLa funzione è localmente [[funzione invertibile|invertibile]] ovunque eccetto i punti caratterizzati da ''x''<submath>1x_1 = 0</submath>=0 e da ''x''<submath>2x_2 = 0</submath>=0. Se inizisi inizia con un piccolo volume in un intorno del punto <math>(1,1,1)</math> e applichisi ''applica <math>f''</math> a tale volume, ottienisi ottiene un volume 40 volte superiore all'originale.
 
== Note ==
Riga 70:
 
== Voci correlate ==
* [[GlossarioDerivata sulle matriciparziale]]
* [[Funzione differenziabile]]
* [[Matrice di trasformazione]]
* [[Matrice hessiana]]
* [[Trasformazione lineare]]
 
{{analisi matematica}}