Limiti e derivate di funzioni di più variabili

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ì:

$l=\underset{(x,y)\to (x_0,y_0)}{\lim }f(x,y)$

oppure, in modo ancora più compatto, considerando il punto $v=(x,y)$ e $v_0=(x_0,y_0)$:

$l=\underset{v\to v_0}{\lim }f(v)$

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 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 = $\Vert v_1-v_2\Vert$

Consideriamo la funzione

$f:{ℝ}^2\to ℝ$

Essa ha limite $l$ in un punto di accumulazione $(x_0,y_0)$ appartenente a ${ℝ}^2$ se per ogni numero reale $ϵ>0$ esiste un numero reale $\delta >0$ tale che:

$\Vert f(x,y)-l\Vert <ϵ$ per ogni $(x,y)$ con $0<\Vert (x,y)-(x_0,y_0)\Vert <\delta$.

Se il limite esiste è unico, per il 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:

$\{\begin{array}{c}x=x_0+\rho \cos \theta \\ y=y_0+\rho \sin \theta \end{array}$

e ricomponendo la funzione: $f(x,y)=F(x_0+\rho cos\theta ,y_0+\rho \sin \theta )$

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 $\theta$:

$\underset{(x,y)\to (x_0,y_0)}{\lim }f(x,y)=\underset{\rho \to 0}{\lim }F(x_0+\rho \cos \theta ,y_0+\rho \sin \theta )=L$

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 $P_0=(x_0,y_0)$ se in tale punto il limite (bi-dimensionale) è uguale al valore della funzione:

$\underset{P\to P_0}{\lim }f(P)=f(P_0)$

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:

$\frac{\partial f}{\partial x}$ oppure $f_x$ è la derivata parziale della funzione f su x

$\frac{\partial f}{\partial y}$ oppure $f_y$ è 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.

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: $gradf=\mathrm{\nabla }f=[\frac{\partial f}{\partial x},\frac{\partial f}{\partial y}]$

Nota: la lettera $\mathrm{\nabla }$ 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, $\underset{\_}{v}=[a,b]$ (per comodità consideriamo che il vettore sia un versore, ovvero sia normalizzato, ovvero abbia lunghezza $\Vert v\Vert =1$), la derivata direzionale è data dal seguente limite:

$D_{\underset{\_}{v}}[f(P_0)]=\underset{t\to 0}{\lim }\frac{f(x_0+at,y_0+bt)-f(x_0,y_0)}{t}$

Piano tangente

Il piano tangente in un punto $P_0=(x_0,y_0)$ alla funzione f, intesa come superficie nello spazio tridimensionale, è dato dalla seguente equazione:

$z=f(x_0,y_0)+f_x{|}_{P_0}(x-x_0)+f_y{|}_{P_0}(y-y_0)$

Nota:

• $f_x{|}_{P_0}$ è la derivata parziale di f su x, nel punto P₀.

Differenziabilità

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

Per verificare la differenziabilità in un punto $P_0=(x_0,y_0)$ è sufficiente provare che il seguente limite sia nullo: $\underset{(h,k)\to (0,0)}{\lim }\frac{f(x_0+h,y_0+k)-[f(x_0,y_0)+f_x{|}_{P_0}\cdot h+f_y{|}_{P_0}\cdot k]}{\sqrt{h^2+k^2}}=0$

Note:

• h, k sono numeri reali
• $f_x{|}_{P_0}$ è la derivata parziale di f su x, nel punto P₀.

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₀ lungo v è uguale al prodotto scalare tra il gradiente nel punto P₀ ed il versore direzione v:

$D_{\underset{\_}{v}}[f(P_0)]=\mathrm{\nabla }f{|}_{P_0}\cdot 𝐯$

• Il gradiente in ogni punto è sempre perpendicolare alle linee di livello passanti per il punto.

Rapporto tra differenziabilità, derivabilità e continuità

Se $F:{ℝ}^n\to {ℝ}^m$ è una funzione differenziabile in x₀, allora essa ammette tutte le derivate parziali in x₀.

Viceversa non è sempre vero che l'esistenza delle derivate parziali in x₀ garantisca anche la differenziabilità in x₀. Ad esempio la funzione reale di due variabili reali

$F(x,y)=\{\begin{array}{cc}0& (x,y)=(0,0)\\ \frac{x{y}^2}{x^2+y^4}& (x,y)\ne (0,0)\end{array}$

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 classe C¹ in un intorno di x₀, cioè se esistono tutte le derivate parziali di F e queste sono funzioni continue, allora F è differenziabile in x₀. Vale quindi, se $\mathrm{\Omega }\subseteq {ℝ}^n$ è aperto,

$F\in C^1(\mathrm{\Omega })\Rightarrow F\text{ differenziabile in }\mathrm{\Omega }\Rightarrow F\in C^0(\mathrm{\Omega })$.

Polinomio di Taylor in due variabili

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

$T(x_1,\cdots ,x_d)=\sum _{n_1=0}^{\mathrm{\infty }}\cdots \sum _{n_d=0}^{\mathrm{\infty }}\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)$

Al secondo ordine, ad esempio, si presenta così:

$T_{f,P_0}^n(P)=f(P_0)+f_x{|}_{P_0}(x-x_0)+f_y{|}_{P_0}(y-y_0)+\frac{1}{2}(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)$