Visualizza wikitesto di Limiti e derivate di funzioni di più variabili

{{navigazione lezione|corso1=Matematica|materia1=Analisi matematica}}__TOC__
{{Risorsa|tipo=lezione|materia1=Analisi matematica|avanzamento=75%}}
==Introduzione==
Come per le funzioni ad una sola variabile, anche per le funzioni a più variabili è possibile utilizzare e definire i concetti di limite e derivata. Inoltre, date le più dimensioni, sarà necessario ampliare questi concetti e parlare di derivate parziali, gradiente e definire il concetto di continuità, derivabilità e differenziabilità in più variabili.

La lezione si concentrerà sulle funzioni di due variabili reali sia per la loro semplicità che per la loro caratteristica di essere rappresentabili geometricamente; tuttavia i concetti di cui parleremo si potranno immediatamente estendere a funzioni di più di due variabili.

==Limite di funzione a due variabili==
Sinteticamente un limite di una funzione di due variabili si può scrivere così:
:<math> l = \lim_{(x,y) \to (x_0, y_0)} f(x, y) </math>

oppure, in modo ancora più compatto, considerando il punto <math>v=(x,y)</math> e <math>v_0=(x_0,y_0)</math>:
:<math> l = \lim_{v \to v_0} f(v) </math>

Il limite ''l'' di una funzione f in un punto (x0,y0) indica il valore "a cui si avvicinano sempre di più" i valori della funzione quando viene calcolata in punti sempre più vicini ad (x0,y0).

=== Definizione metrica ===
Per avere una definizione più rigorosa bisogna utilizzare una [[w:it:Spazio metrico|definizione metrica]], che tenga in considerazione il concetto di ''distanza'' (definizione applicabile agli spazi euclidei). Per esprimere la distanza tra due punti v1 e v2 si utilizza la seguente simbologia, detta norma:
:distanza tra v1 e v2 = <math>\| v_1 - v_2 \|</math>

Consideriamo la funzione
:<math>f:\mathbb{R}^2\to \mathbb{R} </math>

Essa ha limite <math> l </math> in un [[w:it:punto di accumulazione|punto di accumulazione]] <math>(x_0,y_0)</math> appartenente a <math>\mathbb{R}^2</math> se per ogni numero reale <math>\epsilon >0 </math> esiste un numero reale <math>\delta >0 </math> tale che:
:<math>\|f(x,y)-l\|<\epsilon </math> per ogni <math> (x,y) </math> con <math> 0 <\|(x,y) - (x_0,y_0)\|<\delta </math>.

Se il limite esiste è unico, per il [[w:it:teorema di unicità del limite|teorema di unicità del limite]] (come per le funzioni ad una sola variabile).

=== Calcolo del limite ===
Per verificare l'esistenza del limite in un certo punto v0=(x0,y0) ed eventualmente calcolarne il valore bisogna verificare che, lungo qualunque traiettoria ci si avvicini al valore v0, la funzione tenda ad un certo singolo valore l. Se ciò non avviene vuol dire che non esiste limite in v0.

Fondamentale è la condizione ''lungo '''qualunque''' traiettoria ci si avvicini'', infatti per verificare e calcolare un limite non basterà per esempio fissare il valore y=y0 e avvicinarsi al valore v0 muovendosi lungo la sola retta y=y0, facendo tendere solo x a x0. Infatti sarà necessario avvicinarsi lungo qualunque traiettoria, motivo per cui viene utile trasformare le coordinate cartesiane in coordinate polari, centrando la nuova origine proprio nel punto v0.

Attuando la trasformazione:
:<math>\begin{cases} x = x_0 + \rho \cos \theta \\ y = y_0 + \rho \sin \theta \end{cases} </math>
e ricomponendo la funzione: <math>f(x,y) = F(x_0 + \rho cos \theta, y_0 + \rho \sin \theta) </math>

A questo punto, dato che il limite non varia al variare delle coordinate, sarà sufficiente verificare che il limite L sia zero, in modo indipendente  da <math>\theta</math>:
:<math>\lim_{(x,y) \to (x_0,y_0)} f(x,y) = \lim_{\rho \to 0} F(x_0 + \rho \cos \theta,y_0 + \rho \sin \theta) = L </math>

{{cassetto
|larghezza=100%
|allineamento=sinistra
|titolo=Esempi di calcolo di limiti
|testo=
*Ad esempio verifichiamo l'esistenza ed eventualmente calcoliamo il seguente limite in (0,0), dove la funzione non è definita (perché il denominatore è nullo in (0,0) ):
:<math>\lim_{(x,y) \rightarrow (0,0)} \frac{3x^2 \cdot y}{x^2 + y^2}</math>
:Dunque trasformiamo in coordinate polari secondo la seguente trasformazione:
:<math>\begin{cases} x = \rho \cos \theta \\ y = \rho \sin \theta \end{cases} </math>
:e sostituiamo:
:<math>\lim_{\rho \rightarrow 0} \frac{3(\rho \cos \theta)^2 \cdot \rho \sin \theta}{(\rho \cos \theta)^2 + (\rho \sin \theta)^2}</math>

:Compiendo passaggi algebrici e utilizzando per il denominatore l'eguaglianza trigonometrica fondamentale <math>\sin^2 \theta + \cos^2 \theta = 1</math>, otteniamo:
:<math>
\lim_{\rho \rightarrow 0} \frac{3\rho^2 \cos^2 \theta \cdot \rho \sin \theta}{\rho^2 \cos^2 \theta + \rho^2 \sin^2 \theta} 
= \quad \lim_{\rho \rightarrow 0} \frac{3\rho^3 \cos^2 \theta \sin \theta}{\rho^2 (\cos^2 \theta + \sin^2 \theta)} 
= \quad \lim_{\rho \rightarrow 0} \frac{3\rho^3 \cos^2 \theta \sin \theta}{\rho^2} 
= \quad \lim_{\rho \rightarrow 0} 3\rho \ \cdot \ \cos^2 \theta \sin \theta
= \quad 0
</math>

:Il risultato finale è una moltiplicazione di <math>3\rho</math>, che è un infinitesimo in quanto nel limite tende a zero, per il prodotto <math>\cos^2 \theta \sin \theta</math>, che per ogni valore di <math>\theta</math> è un elemento limitato in quanto seno e coseno sono funzioni che oscillano tra -1 e 1, quindi anche il loro prodotto sarà un valore limitato. La moltiplicazione di un infinitesimo per un valore limitato dà comunque un infinitesimo. Dunque il limite è zero.

*Verifichiamo l'esistenza ed eventualmente calcoliamo il seguente limite in (0,0), dove la funzione non è definita (perché il denominatore è nullo in (0,0) ):
:<math>\lim_{(x,y) \rightarrow (0,0)} \frac{x^2 - 2xy + y^2}{x^2 + y^2}</math>


:Ora, prima di trasformare le coordinate, possiamo ad esempio rapidamente verificare che, avvicinandoci a (0,0) lungo una qualunque retta passante per l'origine y = mx (non una qualunque traiettoria curvilinea, ma soltanto traiettorie rettilinee), il limite esista e sia unico almeno in questa ''restrizione'' del dominio della funzione.

:Attuaiamo quindi la ''restrizione'' del dominio, ponendo <math> y = m x</math> con <math> m \in \mathbb{R}</math>, che si può scrivere sinteticamente come:
:<math>\ f|_{y=mx}</math>

:<math>
\lim_{(x,y) \rightarrow (0,0)} \ f|_{y=mx} 
= \quad \lim_{x \rightarrow 0} \frac{x^2 - 2x(mx) + (mx)^2}{x^2 + (mx)^2)} 
= \quad \lim_{x \rightarrow 0} \frac{x^2 (1 -2m + m^2}{x^2 (1 + m^2)}
= \quad \lim_{x \rightarrow 0} \frac{1 -2m + m^2}{1 + m^2}
</math>
:Il risultato ottenuto è indipendente da x ma anzi dipendente da m: al variare di m varia il valore del limite. Questo risultato non è compatibile con l'esistenza di un limite, che deve essere unico e non deve variare con la direzione di avvicinamento, ovvero la pendenza m della retta. Ciò è sufficiente per concludere che il limite in (0,0) non esiste.

:Per affermare ciò non è stato necessario compiere la trasformazione di coordinate. Tuttavia, se il risultato fosse stato compatibile con l'esistenza di un limite (unico),  questo genere di procedimento non sarebbe stato sufficiente per affermare che il limite esistesse realmente. Sarebbe stato quindi comunque necessario procedere con la trasformazione in coordinate polari.
}}

==Continuità==
Il concetto di continuità in due dimensioni è anche in questo caso un'estensione a partire dal caso mono-dimensionale. Tuttavia anche in questo caso una funzione si può dire continua in un punto <math>P_0 = (x_0,y_0)</math> se in tale punto il limite (bi-dimensionale) è uguale al valore della funzione:
:<math>\lim_{P \rightarrow P_0} f(P) = f(P_0)</math>

==Derivate==
Nel passare alle funzioni a più variabili la derivata non è più unica, ma dipendente dal numero di variabili. Nel caso di due variabili avremo dunque due derivate, dette ''derivate parziali'', ognuna relativa ad una singola variabile.

Sinteticamente si indicano  con i seguenti simboli:
:<math>\frac{\partial f}{\partial x}</math> oppure <math>\ f_x</math> è la derivata parziale della funzione ''f'' su x
:<math>\frac{\partial f}{\partial y}</math> oppure <math>\ f_y</math> è la derivata parziale della funzione ''f'' su y

Derivare su una sola variabile significa ottenere una funzione derivata parziale che rappresenta la componente della pendenza, punto per punto, lungo l'asse della variabile scelta.

===Calcolo delle derivate parziali===
Per calcolare una derivata parziale di una funzione data, è sufficiente derivare prima su una variabile, considerando come variabile solo la variabile scelta e come costante le altre variabili. Poi compiere la stessa operazione per le altre variabili.

{{cassetto
|larghezza=100%
|allineamento=sinistra
|titolo=Esempi di calcolo di derivate parziali
|testo=
*Calcoliamo le derivate parziali della seguente funzione di due variabili:
:<math>f(x,y) = x + y^2</math>
::<math>\frac{\partial f}{\partial x} = 1</math>
::<math>\frac{\partial f}{\partial y} = 2y</math>

*Calcoliamo le derivate parziali della seguente funzione di due variabili:
:<math>f(x,y) = x^2 y^3 + e^{5x}</math>
::<math>\frac{\partial f}{\partial x} = 2 x y^3 + 5 e^{5x}</math>
::<math>\frac{\partial f}{\partial y} = 3 x^2 y^2</math>

*Calcoliamo le derivate parziali della seguente funzione di tre variabili:
:<math>f(x,y,z) = 4x \cdot 2y +6z^2</math>
::<math>\frac{\partial f}{\partial x} = 8y</math>
::<math>\frac{\partial f}{\partial y} = 8x</math>
::<math>\frac{\partial f}{\partial z} = 12z</math>
}}

==Gradiente==
Possiamo ora definire il ''gradiente''.

Data una funzione f reale, il gradiente di f è una funzione a valori vettoriali che ha per componenti le derivate parziali della funzione f.

Esso si indica nei seguenti modi:
<math>grad \ f = \nabla f = \left [\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right ]</math>
:Nota: la lettera <math>\nabla</math> si legge ''nabla''.

==Derivata direzionale==
Le derivate parziali non sono altro che derivate lungo due direzioni particolari, ovvero quelle degli assi. Tuttavia si può derivare lungo qualunque direzione: questa operazione si definisce ''derivata direzionale''.

Data una funzione f ed un generico vettore v che indichi la direzione lungo la quale si intende derivare, <math>\underline{v}=[a,b]</math> (per comodità consideriamo che il vettore sia un versore, ovvero sia normalizzato, ovvero abbia lunghezza <math>\| v \| = 1</math>), la derivata direzionale è data dal seguente limite:

<math>D_{\underline{v}} [f(P_0)] = \lim_{t \rightarrow 0} \frac{f(x_0 + at, y_0 + bt) - f(x_0, y_0)}{t}</math>

==Piano tangente==
Il piano tangente in un punto <math>P_0=(x_0, y_0)</math> alla funzione f, intesa come superficie nello spazio tridimensionale, è dato dalla seguente equazione:
:<math>z = f(x_0, y_0) + f_x|_{P_0}(x-x_0) + f_y|_{P_0}(y-y_0)</math>
:Nota:
:*<math>f_x|_{P_0}</math> è la derivata parziale di f su x, nel punto P<sub>0</sub>.

==Differenziabilità==
Una funzione è differenziabile se, in ogni punto, essa è ben approssimabile ad un - singolo - piano.

Per verificare la differenziabilità in un punto <math>P_0=(x_0,y_0)</math> è sufficiente provare che il seguente limite sia nullo:
<math>
\lim_{(h,k) \rightarrow (0,0)} \frac{f(x_0 + h, y_0 + k) - \left [ f(x_0, y_0) + f_x|_{P_0} \cdot h + f_y|_{P_0} \cdot k \right ]}{\sqrt{h^2 + k^2}} = 0
</math>
:Note:
:*''h'', ''k'' sono numeri reali
:*<math>f_x|_{P_0}</math> è la derivata parziale di f su x, nel punto P<sub>0</sub>.

===Conseguenze della differenziabilità===
Una funzione differenziabile ha le seguenti proprietà:
*Il vettore gradiente indica in ogni punto la direzione (sul piano x-y) di massima crescita (nella direzione z) della funzione.
*Vale in ogni punto la regola del gradiente, per cui la derivata direzionale in P<sub>0</sub> lungo '''v''' è uguale al prodotto scalare tra il gradiente nel punto P<sub>0</sub> ed il versore direzione '''v''':
:<math>D_{\underline{v}} [f(P_0)] = \nabla f|_{P_0} \cdot \mathbf{v}</math>
*Il gradiente in ogni punto è sempre perpendicolare alle linee di livello passanti per il punto.

===Rapporto tra differenziabilità, derivabilità e continuità===
Se <math>F:\mathbb{R}^n\rightarrow \mathbb{R}^m</math> è una funzione ''differenziabile'' in '''x'''<sub>0</sub>, allora essa ammette tutte le derivate parziali in '''x'''<sub>0</sub>.
 
Viceversa non è sempre vero che l'esistenza delle derivate parziali in '''x'''<sub>0</sub> garantisca anche la differenziabilità in '''x'''<sub>0</sub>. Ad esempio la funzione reale di due variabili reali

:<math>F(x,y)=\left\{
\begin{matrix}
0 &  (x,y)=(0,0) \\
\frac{xy^2}{x^2+y^4} & (x,y)\neq (0,0) 
\end{matrix}
\right.</math>

ammette derivate parziali ovunque, ma il fatto che non sia continua in (0,0) impedisce la sua differenziabilità in (0,0).

Tuttavia se F è di [[w:it:classe C di una funzione|classe]] C<sup>1</sup> in un [[w:it:intorno|intorno]] di '''x'''<sub>0</sub>, cioè se esistono tutte le derivate parziali di F e queste sono funzioni continue, allora F è differenziabile in '''x'''<sub>0</sub>. Vale quindi, se <math>\Omega\subseteq\mathbb{R}^n</math> è aperto,

:<math>F\in C^1(\Omega)\quad \Rightarrow\quad F \mbox{ differenziabile in } \Omega\quad\Rightarrow\quad F\in C^0(\Omega) </math>.

==Polinomio di Taylor in due variabili==
Il polinomio di Taylor in due variabili è un'estensione del polinomio di Taylor in una sola variabile.

:<math>
T(x_1,\cdots,x_d) = \sum_{n_1=0}^{\infin} \cdots \sum_{n_d=0}^{\infin}\frac{
(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}}{n_1!\cdots n_d!}\,\left(\frac{\partial^{n_1 + \cdots + n_d}f}{\partial x_1^{n_1}\cdots \partial x_d^{n_d}}\right)(a_1,\dots,a_d)
</math>

Al secondo ordine, ad esempio, si presenta così:
:<math>T^n_{f,P_0}(P) = f(P_0) \quad + \quad f_x|_{P_0}(x - x_0) + f_y|_{P_0}(y - y_0) \quad + \quad \frac{1}{2} \left( f_{xx}|_{P_0}(x - x_0)^2 + 2f_{xy}|_{P_0}(x - x_0)(y - y_0) + f_{yy}|_{P_0}(y - y_0)^2 \right )</math>