Skip to content

Continuità e differenziabilità delle funzioni

Sia f:ARnRf: A \subseteq \R^n \to \R, ff si dice continua in p0\mathbf{p}_0 se si avvera una delle seguenti condizioni:

  • p0\mathbf{p}_0 è un punto isolato di AA.
  • p0\mathbf{p}_0 è un punto di accumulazione di AA e  limpp0f(p)=f(p0)\exists\ \lim_{\mathbf{p} \to \mathbf{p}_0} f(\mathbf{p}) = f(\mathbf{p}_0).

ff è una funzione continua su AA (fC0(A)f \in C^0(A)) se essa è continua in ogni punto di AA.

https://math.stackexchange.com/a/1607663

Una derivata parziale di una funzione è la derivata che si ottiene mantenendo costanti tutte le variabili diverse da quella rispetto alla quale si sta derivando. Il numero di derivate parziali di una funzione corrisponde al numero di variabili della funzione.

Si dice che ff è derivabile parzialmente rispetto alla variabile xx nel punto p0=(x0,y0)\mathbf{p}_0 = (x_0, y_0) se:

limxx0f(x,y0)f(x0,y0)xx0=fx(x0,y0)\lim_{x \to x_0} \frac{f(x, y_0) - f(x_0, y_0)}{x - x_0} = \frac{\partial f}{\partial x}(x_0, y_0)

Se ff è derivabile parzialmente in p0\mathbf{p}_0 rispetto a tutte le variabili, allora il vettore gradiente di ff in p0\mathbf{p}_0 è il vettore le cui componenti sono date dal valore delle derivate parziali in quel punto:

f(p0)=(fx(x0,y0),fy(x0,y0))\nabla f(\mathbf{p}_0) = \left(\frac{\partial f}{\partial x}(x_0, y_0), \frac{\partial f}{\partial y}(x_0, y_0)\right)

Se esiste il gradiente di ff su tutto il dominio AA, allora f:ARnRn\nabla f: A \subset \R^n \to \R^n è detto campo di vettori gradiente di ff.

La sola esistenza del gradiente (f\nabla f) non è la nozione corretta di derivabilità per funzioni a più variabili. Dovremo definire delle ulteriori condizioni.

Esempio:

{(x,y)=0    0(x,y)0    x yx2+y2\begin{cases} (x, y) = \mathbf{0} \implies 0 \\ (x, y) \neq \mathbf{0} \implies \frac{x\ y}{x^2 + y^2} \end{cases}

È una funzione non continua in 0\mathbf{0}, tuttavia esiste comunque il gradiente (f(0)=(0,0)\nabla f(\mathbf{0}) = (0, 0)).


Una funzione a due variabili si dice differenziabile in p0=(x0,y0)\mathbf{p}_0 = (x_0, y_0) se esiste un piano tangente al grafico di ff nel punto (x0,y0,f(x0,y0))(x_0, y_0, f(x_0, y_0)).