Funzione differenziabile: differenze tra le versioni

Versione delle 16:27, 25 ott 2017

Versione attuale delle 18:04, 31 ago 2025

(21 versioni intermedie di 16 utenti non mostrate)

Riga 1:

In [[matematica]], in particolare in [[analisi matematica]] e [[geometria differenziale]], una '''funzione differenziabile''' in un punto è una [[Funzione (matematica)|funzione]] che può essere approssimata a meno di un resto infinitesimo da una [[trasformazione lineare]] in un intorno abbastanza piccolo di quel punto.

Affinché ciò si verifichi è necessario (ma non sufficiente) che tutte le [[derivata parziale|derivate parziali]] calcolate nel punto esistano, cioè se è differenziabile, allora è derivabile nel punto poiché esistono e sono finiti i limiti dei rapporti incrementali direzionali. Il concetto di differenziabilità permette di generalizzare il concetto di [[funzione derivabile]] a funzioni vettoriali di variabile vettoriale, e la differenziabilità di una funzione permette di individuare per ogni punto del suo grafico un [[iperpiano]] tangente.

Una funzione può essere differenziabile <math>k</math> volte, e si parla in questo caso di funzione di [[Classe C di una funzione|classe]] <math>C^k</math>. Una funzione differenziabile infinite volte è inoltre detta [[funzione liscia|liscia]]. Nell'[[analisi funzionale]] le distinzioni fra le varie classi <math>C^k</math> sono molto importanti, mentre in altri settori della matematica queste differenze sono meno tenute in considerazione, e spesso si usa impropriamente il termine "funzione differenziabile" per definire una funzione liscia.

Riga 6 ⟶ 8:

[[File:Tangent to a curve.svg|thumb|right|Una funzione da <math>\R</math> in <math>\R</math> è [[funzione derivabile|derivabile]] in un punto se è approssimabile vicino a quel punto da una retta. Tale retta deve quindi essere tangente al [[grafico di una funzione|grafico]] della funzione. Questa nozione si estende in dimensioni arbitrarie, e prende il nome di ''funzione differenziabile''.]]

Una [[funzione (matematica)|funzione]]:

:<math>\mathbf{F}\colon U \rightarrow \R^m</math>

definita su un [[insieme aperto]] dello [[spazio euclideo]] <math> \R^n </math> è detta differenziabile in un punto <math>\mathbf{x}_0</math> del [[dominio (matematica)|dominio]] se esiste una [[applicazione lineare]]:

:<math>\mathbf{L}\colon\R^n \rightarrow \R^m</math>

tale che valga l'approssimazione:<ref>{{Cita|W. Rudin|Pag. 213|rudin}}</ref>

:<math>\mathbf{FL}(\mathbf{x}_0+\mathbf{h})-\mathbf{F}(colon\mathbf{x}_0) =R^n \mathbf{L}(\mathbf{x}_0)\mathbf{h} +rightarrow \mathbf r(\mathbf{h}) R^m</math>

tale che valga l'approssimazione:<ref>{{Cita|W. Rudin|Pagp. 213|rudin}}.</ref>

:<math>\mathbf{F}(\mathbf{x}_0+\mathbf{h})-\mathbf{F}(\mathbf{x}_0) = \mathbf{L}(\mathbf{x}_0)\mathbf{h} + \mathbf r(\mathbf{h}),</math>

dove <math>\mathbf r(\mathbf{h})</math> si annulla, con ordine di infinitesimo maggiore di 1, all'annullarsi dell'incremento <math>\mathbf{h}</math>. Tale condizione si può scrivere in modo equivalente:

:<math>\lim_{\mathbf{h}\to \mathbf{0}} \frac { \mathbf{F}(\mathbf{x}_0+\mathbf{h})-\mathbf{F}(\mathbf{x}_0)-\mathbf{L}(\mathbf{x}_0)\mathbf{h} } {\begin{Vmatrix} \mathbf{h} \end{Vmatrix}} = \mathbf{0}.</math>

Se la funzione <math>\mathbf{F}</math> è differenziabile in <math>\mathbf{x}_0</math>, l'applicazione <math>\mathbf{L}</math> è rappresentata dalla [[matrice jacobiana]] <math>J_F \ </math>.

Il vettore:

Riga 25 ⟶ 31:

si chiama [[differenziale (matematica)|differenziale]] ([[Differenziale esatto|esatto]]) di <math>\mathbf{F}</math> in <math>\mathbf{x}_0</math> ed <math>\mathbf{L}(\mathbf{x_0})</math> viene detto ''derivata'' o anche [[derivata totale]] della funzione <math>\mathbf{F}</math>.

La funzione <math>\mathbf{F}</math> è infine differenziabile se lo è in ogni punto del dominio.<ref>{{Cita|W. Rudin|Pagp. 214|rudin}}.</ref> In particolare, il teorema del differenziale totale afferma che una funzione è differenziabile in un punto se tutte le derivate parziali esistono in un intorno del punto per ogni componente della funzione e se sono inoltre funzioni continue. Se inoltre l'applicazione che associa <math>\mathbf{x}</math> a <math>\mathbf{L} (\mathbf{x})</math> è continua, la funzione si dice ''differenziabile con continuità''.<ref>{{Cita|W. Rudin|Pagp. 220|rudin}}.</ref>

Nel caso di una funzione <math>f</math> di una variabile definita su un intervallo aperto dell'asse reale, essa è detta differenziabile in <math>{x}_0</math> se esiste un'applicazione lineare <math>{L}({x}_0):\mathbb R \rightarrow \mathbb R</math> tale che:<ref>{{Cita|W. Rudin|Pagp. 212|rudin}}.</ref>

:<math>\lim_{{h}\to {0}} \frac { {Ff}({x}_0+{h})-{Ff}({x}_0)-{L}({x}_0){h} } {h} = {0}</math>

ed in tal caso si ha:

:<math>L(x) = f'(x).</math>

== Matrice Jacobianajacobiana ==

{{vedi anche|Matrice Jacobianajacobiana}}

Se una funzione è differenziabile in un punto allora tutte le [[derivata parziale|derivate parziali]] calcolate nel punto esistono, ma non vale il viceversa. Tuttavia, se tutte le derivate parziali esistono e sono continue in un [[intorno]] del punto allora la funzione è differenziabile nel punto, ovvero è di [[classe C di una funzione|classe]] <math>C^1</math>.

Dette <math>\{\mathbf e_j\}_{1 \le j \le n}</math> e <math>\{\mathbf u_i\}_{1 \le i \le m}</math> le [[base canonica|basi canoniche]] di <math>\R^n </math> e <math>\R^m </math> rispettivamente, si ha:

Dette:

:<math>\{mathbf L(\mathbf e_jx )\}_{1cdot \lemathbf je_j \le n}= \qquadsum_{i=1}^m \frac{\mathbfpartial u_iF_i (\mathbf {x})}_{1 \lepartial ix_j} \lecdot m}\mathbf u_i.</math>

le [[base canonica|basi canoniche]] di <math>\R^n </math> e <math>\R^m </math> rispettivamente, si ha:

:<math>\mathbf L(\mathbf x )\cdot \mathbf e_j = \sum_{i=1}^m \frac{\partial F_i (\mathbf {x})}{\partial x_j} \cdot \mathbf u_i </math>

L'[[trasformazione lineare|applicazione lineare]] <math>\mathbf L(\mathbf x_0)</math> è quindi [[matrice di trasformazione|rappresentata]] nelle basi canoniche da una [[matrice (matematica)|matrice]] <math>m \times n</math>, detta [[matrice jacobiana]] <math>J_F</math> di <math>F</math> in <math>\mathbf x_0</math>.

Il <math>j</math>-esimo vettore colonna della matrice jacobiana è dato dalla precedente relazione, e si ha:<ref>{{Cita|W. Rudin|Pagp. 217|rudin}}.</ref>

:<math>\mathbf L(\mathbf x )\mathbf{h} = \sum_{i=1}^m \left[ \sum_{j=1}^n \frac{\partial F_i (\mathbf {x})}{\partial x_j} h_j \right] \mathbf u_i = J_F \mathbf h = \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}\mathbf h .</math>

A seconda delle dimensioni <math> m </math> e <math> n </math>, il jacobiano ha diverse interpretazioni geometriche:

Riga 57 ⟶ 59:

* Se <math> m = 1 </math>, la matrice jacobiana si riduce ad un vettore <math>n</math>-dimensionale, chiamato [[gradiente]] di <math>F</math> in <math>\mathbf x_0</math>. In tal caso si ha:

:<math> L(\mathbf x ) = \nabla F (\mathbf x ) = \sum_{i=1}^n \frac{\partial F (\mathbf {x})}{\partial x_j} \mathbf e_i \qquad \lim_{\mathbf{h}\to \mathbf{0}} \frac { {F}(\mathbf{x}_0+\mathbf{h})-{F}(\mathbf{x}_0)-\nabla F(\mathbf{x}_0)\cdot \mathbf{h} } {\begin{Vmatrix} \mathbf{h} \end{Vmatrix}} = {0}.</math>

:Il gradiente indica la direzione di "massima pendenza" del grafico della funzione nel punto.

* Se <math> n = 1 </math>, la funzione <math>F</math> parametrizza una [[curva (matematica)|curva]] in <math>\mathbb R^m</math>, il suo ''differenziale'' è una funzione che definisce la direzione della retta tangente alla curva nel punto.

* Se <math> m = n = 1 </math>, la condizione di differenziabilità coincide con la condizione di derivabilità. La matrice jacobiana si riduce ad un numero, pari alla derivata.

== Differenziabilità in analisi complessa ==

{{vedi anche|Funzione olomorfa}}

Sia <math>U</math> un [[insieme aperto|sottoinsieme aperto]] del [[piano complesso]] <math>\CComplex</math>. Una funzione <math> f\colon U\to\CComplex </math> è ''differenziabile in senso complesso'' (<math>\mathbb C</math>-differenziabile) in un punto <math>z_0</math> di <math>U</math> se esiste il [[limite di una funzione|limite]]:

:<math>f'(z_0) = \lim_{z \rightarrow z_0} {f(z) - f(z_0) \over z - z_0 } .</math>

Il limite va inteso in relazione alla [[spazio topologico|topologia]] del piano. In altre parole, per ogni [[successione (matematica)|successione]] di [[Numero complesso|numeri complessi]] che [[limite di una successione|convergono]] a <math>z_0</math> il [[rapporto incrementale]] deve tendere allo stesso numero, indicato con <math>f'(z_0)</math>. Se <math> f </math> è differenziabile in senso complesso in ogni punto <math>z_0</math> di <math>U</math>, essa è una [[funzione olomorfa]] su <math> U </math>. Si dice inoltre che <math> f </math> è olomorfa nel punto <math>z_0</math> se è olomorfa in qualche intorno del punto, e che <math>f</math> è olomorfa in un insieme non aperto <math>A</math> se è olomorfa in un aperto contenente <math>A</math>.

La relazione tra la differenziabilità di funzioni reali e funzioni complesse è data dal fatto che se una funzione complessa <math>f(z) \equiv f(x + iy)=u(x,y)+ i \, v(x,y)</math> è olomorfa allora <math>u</math> e <math> v </math> possiedono [[derivata parziale]] prima rispetto a <math>x</math> e <math>y</math> e soddisfano le [[equazioni di Cauchy-Riemann]]:

:<math>\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\,.</math>

In modo equivalente, la [[derivata di Wirtinger]] <math>\partial f / \partial\overline{z}</math> di <math>f</math> rispetto al [[complesso coniugato]] <math> \overline{z} </math> di <math>z</math> è nulla.

== Proprietà delle funzioni differenziabili ==

* Una funzione differenziabile in un punto <math>\mathbf x_0</math> è [[funzione continua|continua]] in <math>\mathbf x_0</math>. Infatti:

Riga 96 ⟶ 97:

\right.</math>

:ammette derivate parziali ovunque, ma il fatto che in <math>(0,0)</math> la funzione non sia continua impedisce la sua differenziabilità in <math>(0,0)</math>. Tuttavia, se <math>F</math> è di [[classe C di una funzione|classe]] <math>C^1</math> in un [[intorno]] di <math>\mathbf x_0</math>, cioè se esistono tutte le derivate parziali di <math>F</math> e queste sono [[funzioni continue]], allora <math>F</math> è differenziabile in <math>\mathbf x_0</math>. Vale quindi, se <math>\Omega\subseteq\R^n</math> è aperto, che <math>F\in C^1(\Omega)</math> implica la differenziabilità in <math>\Omega</math> che implica a sua volta che <math>F\in C^0(\Omega)</math>.

:Tuttavia, se <math>F</math> è di [[classe C di una funzione|classe]] <math>C^1</math> in un [[intorno]] di <math>\mathbf x_0</math>, cioè se esistono tutte le derivate parziali di <math>F</math> e queste sono [[funzioni continue]], allora <math>F</math> è differenziabile in <math>\mathbf x_0</math>. Vale quindi, se <math>\Omega\subseteq\R^n</math> è aperto, che <math>F\in C^1(\Omega)</math> implica la differenziabilità in <math>\Omega</math> che implica a sua volta che <math>F\in C^0(\Omega) </math>.

== Approssimazioni ==

Riga 103:

Da un punto di vista informale, una funzione differenziabile è una funzione tale da apparire sempre più simile ad una [[trasformazione affine]] quando viene vista ad ingrandimenti sempre maggiori. La trasformazione affine che approssima <math>F</math> in un intorno di <math>\mathbf x_0</math> è la funzione:

:<math>\mathbf x \mapsto F(\mathbf x_0)+\mathrm{D}F(\mathbf x_0)(\mathbf x -\mathbf x_0).</math>.

Per verificarlo, si consideri un intorno di <math>\mathbf x_0</math> di raggio <math>\delta</math>.

Se si effettua uno zoom sul grafico di <math>F</math> in modo che l'intorno ci appaia di raggio <math>1</math>, la distanza che si vede tra la funzione <math>F</math> e la funzione affine che la approssima in corrispondenza del punto <math>\mathbf x=\mathbf x_0+ \mathbf h</math> è pariuguale a:

:<math>\frac{F(\mathbf x_0+ \mathbf h)-F(\mathbf x_0)-\mathrm{D}F(\mathbf x_0) \mathbf h} \delta,</math>

dove la divisione per <math>\delta</math> corrisponde al riscalamento dovuto allo "zoom" che si sta operando sull'intorno. Quindi la massima distanza che si vede nell'intorno riscalato è:

:<math>\sup_{\left \| \mathbf h \right \|\leq \delta}\frac{F(\mathbf x_0+ \mathbf h)-F(\mathbf x_0)-\mathrm{D}F(\mathbf x_0) \mathbf h} \delta,</math>,

ora si può dimostrare che dalla definizione di differenziabilità di <math>F</math> si deduce che:

:<math>\lim_{\delta \to 0} \sup_{\left \| \mathbf h \right \|\leq \delta}\frac{F(\mathbf x_0+ \mathbf h)-F(\mathbf x_0)-DF(\mathbf x_0) \mathbf h} \delta=0,</math>,

il che significa che quello che si osserva ingrandendo progressivamente il grafico di <math>F</math> e della sua approssimazione affine intorno a <math>\mathbf x_0</math> è che questi tendono a coincidere. Viceversa, la relazione implica direttamente la differenziabilità di <math>F</math>.

Riga 125:

== Bibliografia ==

* {{cita libro | cognome= [[Nicola Fusco (matematico)|Nicola Fusco]], [[Paolo Marcellini]], [[Carlo Sbordone]]| titolo= Elementi di Analisi Matematica Due | editore= Liguori Editore | città= Napoli| anno= 19962001| isbn= ISBN 978-88-207-2675-19788820731373}} (capitolo 32, paragrafo 2913)

* {{cita libro | cognome= Rudin[[Nicola Fusco (matematico)|Nicola nome=Fusco]], [[Paolo Marcellini]], Walter[[Carlo Sbordone]]| titolo= PrincipiLezioni di analisiAnalisi matematicaMatematica Due | editore= McGraw-HillZanichelli | città= Milano Bologna| anno= 19912020| isbn= 88-386-0647-1|cidISBN =rudin9788808520203}} (capitolo 3, paragrafo 29)

* {{cita libro|autore=Walter Rudin|titolo=Principi di analisi matematica|editore=McGraw-Hill|città=Milano|anno=1991|isbn=88-386-0647-1|cid=Rudin}}

== Voci correlate ==

Riga 139 ⟶ 140:

== Altri progetti ==

{{interprogetto|b=Calcolo differenziale|preposizione=sulla}}

==Collegamenti esterni==

* {{Collegamenti esterni}}

{{analisi_matematica}}

{{Controllo di autorità}}

{{Portale|matematica}}