Visualizza wikitesto di Utente:Baroc/Sandbox5

[[File:Tangency Example 3.svg|frame|La retta ''L'' tangente in ''P'' al grafico della funzione ha [[Coefficiente angolare|pendenza]] data dalla derivata della funzione in ''P'']]

In [[matematica]], la '''derivata''' è la misura di quanto il valore di una [[funzione (matematica)|funzione]] cambi al variare del suo argomento. In altre parole, la derivata può essere pensata come la misura di quanto una quantità cambi al variare di un seconda: per esempio, la derivata della posizione di un'automobile rispetto al tempo rappresenta la sua [[velocità]] istantanea.

La derivata di una funzione è un concetto puntuale, ovvero si calcola punto per punto. Nel caso di funzioni a valori reali, essa è la pendenza della tangente al [[grafico di una funzione|grafico della funzione]] in quel punto e ne rappresenta la migliore [[approssimazione lineare]]. Nel caso in cui la derivata esista in ogni punto del suo [[dominio (matematica)|dominio]], ovvero quando la funzione è [[funzione derivabile|derivabile]], si può vedere la derivata come anch'essa una funzione, che associa ad ogni punto proprio la derivata in quel punto.

Il concetto di '''derivata''' è, insieme a quello di [[integrale]], uno dei cardini dell'[[analisi matematica]] e del [[calcolo infinitesimale]].

== Descrizione ==
[[File:Graph of sliding derivative line.gif|thumb|right|400px|La derivata di una funzione in un punto è il [[coefficiente angolare]] della retta tangente alla curva nel punto. Si tratta quindi di un numero che misura la pendenza della retta tangente.]]
La derivata di una funzione <math>f</math> in un punto <math>x_0</math> è il valore del [[coefficiente angolare]] della retta tangente alla curva nel punto, ovvero la [[tangente (trigonometria)|tangente trigonometrica]] dell'angolo formato dalla tangente in un punto della curva di equazione <math>y=f(x)</math> e l'asse delle [[ascisse]]. Se la derivata è uguale a zero la retta tangente alla curva di equazione <math>y=f(x)</math> risulta parallela all'asse delle ascisse, mentre se la derivata tende a infinito la retta tangente alla curva di equazione <math>y=f(x)</math> è parallela all'asse delle ordinate. La funzione derivata si ricava con una serie di operazioni algebriche note come [[regole di derivazione]], applicabili universalmente a tutte le funzioni derivabili.

Nel caso di funzioni di più variabili la tangente in un punto alla curva della funzione non è unica, ma varia a seconda della direzione scelta. Non si può più quindi definire una sola funzione delle stesse variabili indipendenti che renda conto della pendenza del grafico della funzione in un punto: si ricorre allora alle [[Derivata parziale|derivate parziali]] della funzione, ovvero ai coefficienti angolari di tangenti considerate lungo direzioni parallele agli assi che rappresentano le variabili indipendenti. Le derivate parziali sono in numero pari alle variabili stesse, ed una loro notevole proprietà è che se la funzione è sufficientemente "regolare" (cioè [[funzione differenziabile|differenziabile]]) è possibile calcolarne la tangente lungo una direzione qualunque con una [[combinazione lineare]] delle derivate parziali stesse. Questo è possibile perché l'[[Operatore (matematica)|operatore]] di derivazione è un [[Trasformazione lineare|operatore lineare]], e quindi la derivata di una combinazione lineare di funzioni derivabili è la combinazione lineare delle derivate delle singole funzioni, e la derivata del prodotto di uno scalare per una funzione è il prodotto dello scalare per la derivata della funzione.

== Definizione ==
La nozione di derivata si introduce, nel caso più semplice, considerando una [[funzione (matematica)|funzione]] [[numero reale|reale]] <math>f(x)</math> di variabile reale <math>x</math> ed un punto <math>x_0</math> del suo [[dominio (matematica)|dominio]]. La derivata di <math>f(x)</math> in <math>x_0</math> è definita come il numero <math>f'(x_0)</math> pari al [[limite di una funzione|limite]] del [[rapporto incrementale]] al tendere a 0 dell'incremento, sotto l'ipotesi che tale limite esista e sia finito. In modo esplicito, detto <math>h</math> l'incremento, una funzione <math>f</math> definita in un [[intorno]] di <math>x_0</math> si dice derivabile nel punto <math>x_0</math> se esiste ed è finito il limite:

:<math>f'(x_0) = {\mathop {\lim_{h \to 0}} {{f\left( {x_0 + h} \right) - f\left( x_0 \right)} \over h}}</math>

ed il valore di questo limite è la derivata della funzione nel punto <math>x_0</math>. Se la funzione <math>f(x)</math> è derivabile in ogni punto di un dato intervallo <math>(a, b)</math>, allora si dice che essa è ''derivabile'' in <math>(a, b)</math> e la funzione <math>f' : x \in (a,b) \to f'(x)</math> che associa ad ogni punto <math>x</math> la derivata <math>f'(x)</math> di <math>f(x)</math> è la ''funzione derivata'' di <math>f</math>.

Nonostante il caso più semplice sia quello delle funzioni reali, la definizione di derivata trova l'ambientazione più naturale nel [[numero complesso|campo complesso]], dove prende il nome di [[Derivazione complessa|derivata complessa]].<ref>{{cita web|http://mathworld.wolfram.com/Derivative.html|Weisstein, Eric W. ''Derivative.'' From MathWorld|25-11-2012}}</ref> Detto <math>U</math> un [[insieme aperto|sottoinsieme aperto]] del [[piano complesso]] <math>\mathbb C</math>, una [[Funzione di variabile complessa|funzione complessa]] <math> f:U\to\mathbb C </math> è ''differenziabile in senso complesso'' in un punto <math>z_0 \in U</math> se esiste il [[limite di una funzione|limite]]:<ref>{{cita web|http://mathworld.wolfram.com/ComplexDifferentiable.html|Rowland, Todd. ''Complex Differentiable.'' From MathWorld|25-11-2012}}</ref>

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

Tale limite va inteso in relazione alla [[spazio topologico|topologia]] del piano. In altre parole, per ogni [[successione (matematica)|successione]] di 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 \in U </math> essa è una [[funzione olomorfa]] su <math> U </math>.

La relazione tra la [[Funzione differenziabile|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]]:<ref>{{cita web|http://mathworld.wolfram.com/Cauchy-RiemannEquations.html|Weisstein, Eric W. ''Cauchy-Riemann Equations.'' From MathWorld|25-11-2012}}</ref>

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

=== Derivata parziale ===
{{vedi anche|Derivata parziale}}
La nozione di derivata si può estendere al caso di una funzione di più variabili. Qualora si voglia considerare l'incremento della funzione rispetto ad una sola variabile, la derivata calcolata con il rapporto incrementale rispetto alla variabile è la derivata parziale della funzione rispetto a tale variabile. In generale, si consideri una funzione vettoriale di più variabili <math>\mathbf{F}: E \subset \mathbb R^n \rightarrow \mathbb R^m</math> definita su un [[insieme aperto]] dello [[spazio euclideo]] <math> \mathbb R^n </math>. Dette <math>\{\mathbf e_i\}_{1 \le i \le n} </math> e <math>\{\mathbf u_i\}_{1 \le i \le m} </math> le [[base canonica|basi canoniche]] di <math> \mathbb R^n </math> e <math> \mathbb R^m </math> rispettivamente, la funzione può essere scritta nel seguente modo:

:<math>\mathbf{F}(\mathbf x ) = \sum_i^m F_i(\mathbf x ) \mathbf u_i \quad \mathbf x = (x_1,x_2, \dots , x_n) \in E</math>

La componente i-esima della funzione è allora:

:<math>F_i(\mathbf x ) = \mathbf F(\mathbf x ) \cdot \mathbf u_i  \quad 1 \le i \le m </math>

Si definisce derivata parziale di <math> F_i</math> rispetto alla variabile <math>x_j</math> il limite:<ref>{{Cita|W. Rudin|Pag. 216|rudin}}</ref>

:<math>\frac{\partial F_i (\mathbf {x})}{\partial x_j} = \lim_{t\to 0} \frac{F_i (\mathbf x + t\mathbf e_j) - F_i (\mathbf x)}{t}  = \lim_{t\to 0} \frac{F_i (x_1,x_2, \dots x_j + t, \dots, x_n) - F_i (x_1,x_2, \dots , x_n)}{t}</math>

Tale limite è a volte chiamato limite del [[rapporto incrementale]] di <math>f</math> nel punto <math>\mathbf {x}</math>, e viene denotato anche con <math>D_jF_i</math>. La derivata parziale di una funzione, o nel caso di funzione vettoriale di una sua componente, si effettua quindi considerando le variabili diverse da quella rispetto a cui si vuole derivare come costanti e calcolandone il rapporto incrementale.

=== Derivata direzionale ===
{{vedi anche|Derivata direzionale}}
La derivata direzionale di una funzione scalare <math>f(\mathbf{x}) = f(x_1, x_2, \ldots, x_n)</math> lungo un [[Vettore (matematica)|vettore]] unitario <math>\mathbf{u} = (u_1, \ldots, u_n)</math> è la [[Funzione (matematica)|funzione]] definita dal [[Limite di una funzione|limite]]:

:<math>D_{\mathbf{u}}{f}(\mathbf{x}) = \lim_{h \rightarrow 0^+}{\frac{f(\mathbf{x} + h\mathbf{u}) - f(\mathbf{x})}{h}}</math>

Se la funzione <math>f</math> è differenziabile in <math>\mathbf{x}</math>, allora la derivata direzionale esiste lungo ogni vettore unitario <math>\mathbf{u},</math> e si ha:<ref>{{Cita|W. Rudin|Pag. 219|rudin}}</ref>

:<math>D_{\mathbf{u}}{f}(\mathbf{x}) = \nabla f(\mathbf{x}) \cdot \mathbf{u}</math>

dove <math>\nabla</math> al secondo membro rappresenta il gradiente e <math>\cdot</math> il [[prodotto scalare]] [[Spazio euclideo|euclideo]]. In ogni punto <math>\mathbf{x}</math> la derivata direzionale di <math>f</math> rappresenta la variazione di <math>f</math> lungo <math>\mathbf{u}</math> nel punto <math>\mathbf{x}</math>.

Ad esempio, si consideri una funzione di due variabili <math>f: \Omega \to \mathbb{R}</math>, con <math>\Omega \subseteq \mathbb{R}^2</math> un [[insieme aperto]]. Dato un vettore unitario <math>\mathbf{u}=(u_1, u_2)</math>, la derivata direzionale rispetto a <math>\mathbf{u}</math> di <math>f\;</math> nel punto <math>(x_0, y_0) \in \Omega</math> è data da:

:<math>D_{\mathbf{v}} f(x_0,y_0) = \lim_{t \to 0} \frac{f(x_0 + t u_1, y_0 + t u_2) - f(x_0,y_0)}{t}</math>

la derivata esiste se il limite è finito. La derivata parziale è pertanto un caso particolare di [[derivata direzionale]]. Usando questo concetto si può definire la derivata parziale come:

:<math>
\frac{\partial f}{\partial x_k}(\mathbf{x})=\frac{\partial f}{\partial \mathbf v}(\mathbf x)
</math>

con <math>\mathbf v=\mathbf e_k=(0,\ldots,1,\ldots 0)</math>, ovvero il [[versore]] <math>k-</math>esimo, cioè quel vettore che ha tutte le componenti nulle tranne la <math>k-</math>esima.

=== Derivata totale e differenziabilità ===
{{vedi anche|Derivata totale|Funzione differenziabile}}
[[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 differenziabile in un punto è una [[Funzione (matematica)|funzione]] che può essere approssimata da una [[trasformazione lineare]] nel punto. Affinché ciò si verifichi è necessario che tutte le [[derivata parziale|derivate parziali]] calcolate nel punto esistano, cioè se è differenziabile allora è derivabile nel punto poiché esistono 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 <math>\mathbf{F}: U \rightarrow \mathbb R^m</math> definita su un [[insieme aperto]] dello [[spazio euclideo]] <math> \mathbb R^n </math> è detta differenziabile in un punto <math>\mathbf{x}_0</math> del dominio se esiste una [[applicazione lineare]] <math>\mathbf{L}:\mathbb R^n \rightarrow \mathbb R^m</math> tale che valga l'approssimazione:

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

:<math>\mathbf{L}(\mathbf{x}_0)\mathbf{h} =\mathrm{d}\mathbf{F}(\mathbf{x}_0) = J_F \mathbf h</math>

si chiama [[differenziale (matematica)|differenziale]] di <math>\mathbf{F}</math> in <math>\mathbf{x}_0</math> ed <math>\mathbf{L}(\mathbf{x_0})</math> viene detto ''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|Pag. 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|Pag. 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}:\mathbb R \rightarrow \mathbb R</math> tale che:<ref>{{Cita|W. Rudin|Pag. 212|rudin}}</ref>

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

ed in tal caso si ha:

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

==== Matrice jacobiana ====
{{vedi anche|Matrice jacobiana}}
Si ricorre frequentamente alla rappresentazione in forma [[matrice (matematica)|matriciale]] delle derivate parziali di una funzione. La jacobiana <math>J_f \in \mathbb R^{mn}</math> di <math>f</math> in <math>\mathbf x_0</math> è la [[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>:

:<math>\operatorname (J_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:

:<math>\{\mathbf e_j\}_{1 \le j \le n} \qquad \{\mathbf u_i\}_{1 \le i \le m} </math>

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_f \cdot \mathbf e_j = \sum_{i=1}^m \frac{\partial f_i (\mathbf {x})}{\partial x_j} \cdot \mathbf u_i  </math>

E dunque si ha:<ref>{{Cita|W. Rudin|Pag. 217|rudin}}</ref>

:<math>J_f \cdot \Delta\mathbf{x} = \sum_{i=1}^m \left[ \sum_{j=1}^n \frac{\partial f_i (\mathbf {x})}{\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>

A seconda delle dimensioni <math> m </math> e <math> n </math>, il jacobiano 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_0</math>. In tal caso si ha:

:<math> L(\mathbf x ) = \nabla f = \sum_{i=1}^n \frac{\partial f (\mathbf {x})}{\partial x_j} \mathbf e_i  </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 [[funzione derivabile|derivabilità]]. La matrice jacobiana si riduce ad un numero, pari alla derivata.

===Gradiente===
{{vedi anche|Gradiente}}
Il gradiente di una funzione differenziabile <math>f</math> è un [[campo vettoriale]] che in ogni punto dello spazio consente di calcolare la [[derivata direzionale]] di <math>f</math> nella direzione di un generico vettore <math>\mathbf v</math> tramite il [[prodotto scalare]] tra <math>\mathbf v</math> ed il gradiente della funzione nel punto. Nel caso di un [[sistema di riferimento cartesiano]] il gradiente di <math>f(x,y,z)</math> è il vettore che ha per componenti le [[derivata parziale|derivate parziali]] prime calcolate nel punto:

:<math> \nabla f  = \frac{\partial f}{\partial x }\hat \mathbf{x} + \frac{\partial f}{\partial y }\hat \mathbf{y} + \frac{\partial f}{\partial z }\hat \mathbf{z}</math>

dove <math>\hat \mathbf{x}</math>, <math>\hat \mathbf{y}</math> e <math>\hat \mathbf{z}</math> sono i versori lungo gli assi.

In un contesto più generale, per una [[funzione liscia]] <math>f</math> definita su una [[varietà riemanniana]] <math>(M,g)</math> il gradiente è il campo vettoriale <math>\nabla f</math> tale che per un qualsiasi campo vettoriale <math>X</math> si ha:

:<math> g_x((\nabla f)_x, X_x ) = (\partial_X f) (x)</math>

dove <math>g_x(,)</math> indica il [[prodotto interno]] (definito dalla metrica <math>g</math>) tra vettori tangenti la varietà nel punto <math>x</math>, mentre <math>\partial_X f</math> è la funzione che ad ogni punto <math>x \in M</math> associa la [[derivata direzionale]] di <math>f</math> nella direzione <math>X</math> valutata in <math>x</math>. In modo equivalente, data una [[Atlante (topologia)|carta]] <math>\varphi</math> definita su un aperto in <math>M</math> a valori in <math>\R^n</math>, la funzione <math>\partial_X f (x)</math> è data da:

:<math>\sum_{j=1}^n X^{j} (\varphi(x)) \frac{\partial}{\partial x_{j}}(f \circ \varphi^{-1}) \Big|_{\varphi(x)}</math>

dove <math>X^j</math> è la j-esima componente di <math>X</math> nella carta considerata. Quindi la forma locale del gradiente è:

:<math> \nabla f= g^{ik}\frac{\partial f}{\partial x^{k}}\frac{\partial}{\partial x^{i}}</math>

Generalizzando il caso <math>M = \R^n</math>, il gradiente di una funzione si relaziona con la sua [[derivata esterna]] nel seguente modo:

:<math>(\partial_X f) (x) = df_x(X_x)</math>

Si tratta di un caso particolare (quello in cui la metrica <math>g</math> è quella "piatta" data dal prodotto interno) della seguente definizione. Il gradiente <math>\nabla f</math> è il campo vettoriale associato alla 1-forma differenziale <math>d f</math> usando l'[[isomorfismo musicale]]:

:<math>\sharp=\sharp^g\colon T^*M\to TM</math>

definito dalla metrica <math>g</math>.

== Notazioni ==
La prima notazione di derivata nel punto ''x''<sub>0</sub> che compare storicamente è:

:<math>\left(\frac {\mathrm{d} f}{\mathrm{d} x} \right)_{(x_0)}</math>

ancora oggi usata in [[fisica]]. In alternativa, secondo la [[notazione di Lagrange]] viene indicata con:

:<math>f ^{\prime} (x_0)</math>

secondo la [[notazione di Cauchy - Eulero]] con:

:<math>\operatorname D \left[{f}({x_0})\right]</math>

secondo la [[notazione di Leibniz]] con:

:<math>\frac {\mathrm{d} f(x_0)}{\mathrm{d} x}</math>

e secondo la [[notazione di Newton]] con:

:<math>\dot f(x_0)</math>

== Derivata destra e derivata sinistra ==
La ''derivata destra'' di <math>f</math> in <math>x_0</math> è il numero:

:<math> f'(x_0)= \lim_{h \to 0}{{f(x_0+h)-f(x_0)} \over{h}}</math>

che si può indicare anche con la seguente formula:

:<math>f'_+(x_0) = \lim_{h \to 0^+}{{f(x_0+h)-f(x_0)}\over{h}}</math>

Analogamente, la ''derivata sinistra'' di <math>f</math> in <math>x_0</math> è il numero:

:<math> f'(x_0)= \lim_{h \to 0}{{f(x_0-h)-f(x_0)} \over{-h}}</math>

che si può indicare anche con la seguente formula:

:<math>f'_-(x_0) = \lim_{h \to 0^-}{{f(x_0+h)-f(x_0)}\over{h}}</math>

Una funzione è derivabile in <math>x_0</math> se e solo se esistono finiti e uguali i limiti destro e sinistro del rapporto incrementale per l'incremento che tende a zero. Le derivate destra e sinistra permettono di definire la derivabilità su un intervallo non aperto: se <math>f</math> è definita ad esempio nell'intervallo chiuso <math>[a,b]</math>, si dice che <math>f</math> è derivabile in <math>[a,b]</math> se è derivabile in ogni punto interno <math>x \in [a,b]</math> e se esistono le derivate destra e sinistra rispettivamente negli estremi <math>x = a</math> e <math>x = b</math>.

== Significato geometrico della derivata ==
[[File:Derivative - geometric meaning.svg|thumb|right|400px|La retta in rosso è la tangente al grafico della f(x) nel punto (x<sub>0</sub>, f(x<sub>0</sub>))]]
Il valore della derivata di <math>f(x)</math> calcolata in <math>x_0</math> ha un significato geometrico: è il [[coefficiente angolare]] della retta tangente alla curva rappresentata dal [[grafico di una funzione|grafico]] di <math>f(x)</math> nel punto di coordinate <math>(x_0,f(x_0))</math>. In altre parole, la derivata è il valore della [[tangente (trigonometria)|tangente trigonometrica]] dell'angolo (convesso) che la retta tangente in <math>x_0</math> al grafico della funzione forma con l'asse delle ascisse (a patto che tale angolo non sia [[angolo retto|retto]]).

L'equazione della retta tangente in <math>x_0</math> risulta:

:<math>y = f(x_0) + f '(x_0)(x-x_0) \ </math>

Più precisamente, se <math>f(x)</math> è derivabile nel punto <math>x_0</math>, allora esiste una funzione <math>o(x-x_0)</math> definita in un [[intorno]] di <math>x_0</math> tale che:

:<math>f(x) = f(x_0) + f '(x_0) (x - x_0)  + o(x-x_0) </math>

con:

:<math>\lim_{x \to x_0}{{o(x-x_0)}\over{x-x_0}} = 0 </math>

e tale formula è l'[[Teorema di Taylor|espansione di Taylor]] di <math>f(x)</math> troncata al termine di primo grado. Si dice che <math>o(x-x_0)</math> è un [[Stima asintotica#O piccolo|o piccolo]] o un ''infinitesimo di ordine superiore'' alla funzione <math>(x-x_0)</math>, e con questo si vuole esprimere l'idea che il termine <math>o(x-x_0)</math> fornisce un contributo che diventa trascurabile rispetto agli altri termini quando ci si avvicina a <math>x_0</math>. Si può anche dire che una funzione derivabile in <math>x_0</math> è [[approssimazione lineare|approssimabile linearmente]] intorno a <math>x_0</math> con la sua [[retta tangente]] in tale punto.

=== Dimostrazione ===
Si definisce <math>o(x-x_0)</math> con lo stesso dominio di <math>f</math>, come:

:<math> o(x-x_0) = f(x) - f(x_0) - f ^{\prime}(x_0) (x - x_0) </math>

e si verifica che:

:<math>\lim_{x \to x_0}{{o(x-x_0)}\over{x-x_0}} = \lim_{x \to x_0}\left(\frac{f(x)-f(x_0)}{x-x_0} - f ^{\prime}(x_0)\right) </math>

Ricordando che per <math>x \to x_0</math> allora <math>x-x_0 \to 0</math>, e quindi <math> h = x-x_0</math>, sostituendo questa ultima uguaglianza con la precedente equazione si ha:

:<math>\lim_{h \to 0}\frac{f(x_0+h)-f(x_0)}{h} - f ^{\prime}(x_0) = 0</math>

confermando la tesi.

== Teorema di continuità ==
Il teorema di continuità asserisce che se <math>f(x)</math> è derivabile in <math>x_0</math> allora <math>f(x)</math> è anche [[funzione continua|continua]] in <math>x_0</math>.

L'inverso non è sempre vero: ad esempio, la funzione <math>f(x) = |x|</math> è continua su tutto il dominio, ma non è derivabile nel punto <math>x=0</math>, perché la derivata destra non coincide con la derivata sinistra. La continuità di una funzione è quindi condizione necessaria, ma non sufficiente, per determinarne la derivabilità. Una funzione può inoltre essere derivabile (e quindi continua) in un punto <math>p</math>, ma essere discontinua in ogni punto intorno a <math>p</math>. Questo accade per funzioni come:

:<math>f(x) = \begin{cases} 0 \text{ se } x \in \mathbb{Q} \\x^2 \text{ se } x \in \mathbb{R}\setminus \mathbb{Q} \end{cases}</math>

essendo <math>\mathbb{Q} </math> l'[[insieme]] dei [[numeri razionali]] e <math>\mathbb{R} </math> l'insieme dei [[numeri reali]], mentre il simbolo [[\]] denota la [[insieme complementare|differenza]] tra insiemi. La funzione in esame ammette derivata in 0 (vale 0 il limite del [[rapporto incrementale]]) ma non è continua in nessun punto eccetto lo 0. Notiamo che se invece una funzione è [[#Derivata n-esima|due volte derivabile]] in un punto, allora è continua in un intorno di quel punto.

=== Dimostrazione ===
La dimostrazione si effettua riprendendo l'uguaglianza precedente:

:<math>f(x)= f(x_0) + f^{\prime}(x_0)(x - x_0) + o(x-x_0)</math>

da cui:

:<math>\lim_{x \to x_0}f(x)= \lim_{x \to x_0}{f(x_0) + f^{\prime}(x_0)(x - x_0) + o(x-x_0)} = f(x_0)</math>

Quindi la funzione è continua in <math>x_0</math>. La stima lineare della funzione attorno a <math>x_0</math> costituisce una migliore approssimazione rispetto a:

:<math>f(x) = f(x_0) + o(1)</math>

garantita dalla sola continuità (qui <math>o(1) \underset{x \to x_0}{\longrightarrow} 0</math>). Se la funzione è derivabile in <math>x_0</math> si può "scomporre" l'infinitesimo <math>o(1)</math> in un termine lineare e un infinitesimo di ordine superiore. Il [[#Teorema di Lagrange|teorema di Lagrange]] fornisce una diversa approssimazione (sempre lineare) nell'ipotesi che la funzione sia derivabile in un intorno di <math>x_0</math>:

:<math>f(x) = f(x_0) + f^{\prime}(\xi)(x-x_0)</math>

per tutti gli <math>x</math> in tale intorno, e con <math>\xi</math> un dato punto in <math>(x_0, x)</math> (o <math>(x, x_0)</math>, se è un intorno sinistro). Benché ora l'approssimazione sia "esatta" (non ci sono termini infinitesimi che vengono trascurati), il teorema non è in grado di mostrare per quale <math>\xi</math> sia vera l'uguaglianza.

=== Funzioni non derivabili ===
[[File:Absolute value.svg|thumb|La funzione [[valore assoluto]] non è derivabile nell'origine, dove ha un [[punto angoloso]]]]
Una funzione continua può essere non derivabile. Ad esempio, una funzione continua può non essere derivabile in un [[punto isolato]] del dominio, in presenza di un [[punto angoloso]], una [[cuspide (matematica)|cuspide]] o un [[flesso]] a tangente verticale. Esistono anche funzioni continue che presentano forme più complesse di non derivabilità, come ad esempio la [[funzione di Cantor]].

== Derivate di ordine superiore ==
La ''derivata ''n''-esima'' <math>f^{(n)}</math> di una funzione <math>f</math> è la funzione che si ottiene derivando successivamente <math>n</math> volte la funzione <math>f</math>. Si utilizzano quindi la ''derivata seconda'', ''derivata terza'', e così via; e si usa generalmente una delle seguenti notazioni:

:<math>\begin{align}
f'' &= f^{(2)} = \frac{\mathrm{d}^2f}{\mathrm{d}x^2} \\
f''' &= f^{(3)} = \frac{\mathrm{d}^3f}{\mathrm{d}x^3} \\
... \\
f^{(n)} &= \frac{\mathrm{d}^nf}{\mathrm{d}x^n}
\end{align}</math>

Una funzione derivabile non è necessariamente derivabile <math>n</math> volte. Ad esempio, la seguente funzione ha una derivata prima, ma non una seconda:

:<math>f(x) = x |x| \ </math>

Infatti, la derivata di <math>f</math> è <math>f'(x)=2|x|</math>, che non è a sua volta derivabile nell'origine.

La [[Classe C di una funzione|classe]] delle funzioni derivabili <math>n</math> volte e la cui derivata <math>n</math>-esima è continua si indica con <math>C^n</math>.

== Teoremi ==
Vengono enunciati di seguito alcuni [[teorema|teoremi]] e risultati significativi.

=== Teorema di Fermat ===
{{vedi anche|teorema di Fermat sui punti stazionari}}
Sia <math>f(x)</math> una [[Funzione (matematica)|funzione]] derivabile, e quindi continua, in un punto <math>x_0</math> [[parte interna|interno]] al [[dominio (matematica)|dominio]]. Se <math>x_0</math> è un punto di [[punto estremante|massimo]] o di [[punto estremante|minimo]] per la funzione <math>f</math> allora la derivata della funzione in <math>x_0</math> è nulla, cioè <math>f ' (x_0) = 0</math>.

Non è indispensabile che <math>x_0</math> sia interno al dominio, essendo sufficiente che si tratti di un [[punto di accumulazione]] da destra e da sinistra per il dominio, mentre è essenziale porre che la funzione sia derivabile nel punto <math>x_0</math> in quanto non è possibile dedurne la derivabilità dalle altre ipotesi del teorema. Ogni punto in cui <math>f'(x)</math> si annulla (cioè è uguale a zero) è chiamato [[punto stazionario]]. I massimi e minimi relativi sono chiamati ''punti stazionari'' di <math>f'(x)</math>.

Questo teorema è molto usato nello [[studio di funzione]], in quanto definisce la possibilità di avere un punto di [[massimo e minimo di una funzione|massimo o di minimo]] dove la funzione derivata si annulla.

=== Teorema di Rolle ===
{{Vedi anche|teorema di Rolle}}
Sia <math>f(x)</math> una funzione continua nell'intervallo chiuso <math>[a,b]</math> e derivabile nell'intervallo aperto <math>(a,b)</math>. Se <math>f(a)=f(b)</math> allora esiste almeno un punto <math>x_0 \in (a,b)</math> dove la derivata prima <math>f'(x)</math> si annulla.

=== Teorema di Lagrange ===
{{Vedi anche|teorema di Lagrange}}
Sia <math>f(x)</math> una funzione continua in <math>[a,b]</math> e derivabile nell'intervallo aperto <math>(a,b)</math>. Allora esiste almeno un punto <math>x_0 \in (a,b)</math> tale per cui:

:<math>f'(x_0) = {{f(b) - f(a)} \over {b-a}}</math>

Il teorema afferma che esiste almeno un punto <math>(x_0,f(x_0))</math> del grafico della funzione in cui la retta tangente ha coefficiente angolare uguale a quello della [[Corda (geometria)|corda]] della retta passante per i punti <math>(a,f(a))</math> e <math>(b,f(b))</math>. Si tratta di una generalizzazione del [[teorema di Rolle]] che analizza il caso in cui <math>f(a)</math> è diverso da <math>f(b)</math>.

=== Teorema di Cauchy ===
{{vedi anche|teorema di Cauchy (analisi matematica)}}
Siano <math>f(x)</math> e <math>g(x)</math> funzioni continue in <math>[a,b]</math> e derivabili in <math>(a,b)</math> con <math>g'(x)</math> diversa da 0 per ogni punto dell'intervallo. Allora esiste almeno un punto <math>x_0 \in (a,b)</math> tale per cui:

:<math>{f'(x_0) \over g'(x_0)} = {{f(b) - f(a)} \over {g(b)-g(a)}}</math>

Considerando in particolare la funzione <math>g(t) = t</math>, si ottiene l'affermazione del teorema di Lagrange.

=== Monotonia a partire dalla derivata ===
{{vedi anche|teorema di Lagrange#Monotonia a partire dalla derivata}}
Sia <math>f(x)</math> continua in <math>[a,b]</math> e derivabile in <math>(a,b)</math>. Allora:

* Per ogni <math>x \in (a,b)</math> si ha <math>f'(x) \geq 0 </math> [[se e solo se]] la funzione è [[funzione crescente|crescente]] in <math>(a,b)</math>.

* Per ogni <math>x \in (a,b)</math> si ha <math>f'(x) \leq 0 </math> se e solo se la funzione è decrescente in <math>(a,b)</math>.

La funzione può non essere ''strettamente'' crescente (o decrescente), ed il teorema è direttamente ricavabile dall'enunciato di Lagrange.

Analogamente, valgono anche i fatti seguenti:

* Se per ogni <math>x \in (a,b)</math> si ha <math> f'(x) > 0 </math> allora la funzione è [[funzione strettamente crescente|strettamente crescente]] in <math>(a,b)</math>.

* Se per ogni <math>x \in (a,b)</math> si ha <math>f'(x) < 0 </math> allora la funzione è strettamente decrescente in <math>(a,b)</math>.

Una funzione strettamente crescente non ha necessariamente derivata ovunque positiva. Ad esempio, <math> f(x) = x^3 </math> è strettamente crescente, ma ha derivata nulla nell'origine, dove c'è un [[punto di flesso]].

=== Teorema della funzione costante ===
Una funzione è [[costante]] in un [[intervallo (matematica)|intervallo]] <math>[a,b]</math> se e solo se è derivabile e la derivata è ovunque nulla nell'intervallo.

Mentre la condizione necessaria è conseguenza della definizione di derivata (la derivata di una costante è uguale a zero), la sufficienza segue dal teorema di Lagrange.

=== Regole di derivazione ===
{{vedi anche|Regole di derivazione}}
Siano <math>f(x)</math> e <math>g(x)</math> funzioni reali di variabile reale <math>x</math> derivabili, e sia <math>\mathrm{D}</math> l'operazione di derivazione rispetto a <math>x</math>:

:<math>\mathrm{D}[f(x)]=f'(x) \qquad \mathrm{D}[g(x)]=g'(x)</math>

* [[Regola della somma]] ([[Operatore lineare|linearità]]):

:<math>\mathrm{D}[\alpha f(x)+ \beta g(x)] = \alpha f'(x) + \beta g'(x) \qquad \alpha, \beta \in \R</math>

* [[Regola del prodotto]] (o ''di [[Leibniz]]''):

:<math>\mathrm{D} [ {f(x) \cdot g(x)}] = f'(x) \cdot g(x) + f(x) \cdot g'(x) </math>

* [[Regola del quoziente]]:

:<math>\mathrm{D}\! \left[ {f(x) \over g(x)} \right] = { f'(x)  \cdot g(x) - f(x) \cdot g'(x) \over g(x)^2}</math>

* [[Regola della funzione reciproca]]:

:<math>\mathrm{D}\! \left[ {1 \over f(x)} \right] = -{f'(x) \over f(x)^2} </math>

* [[Regola della funzione inversa]]:

:<math>\mathrm{D}[f^{-1}(y)]  =  {1 \over f'(x)} </math>

:con:

:<math> y = {f(x)} \qquad x = {f^{-1}(y)}</math>

* [[Regola della catena]]:

:<math>\mathrm{D} \left[ f \left( g(x) \right) \right] = f' \left( g(x) \right) \cdot g'(x) </math>

== Convessità ==
{{vedi anche|funzione convessa}}
Sia <math>f: [a,b] \to \mathbb{R}</math> derivabile. Allora <math>f(x)</math> è convessa se e solo se <math>f'(x)</math> è crescente in <math>[a,b]</math>. Se <math>f</math> possiede derivata seconda, allora la convessità della funzione è data dalla disequazione:

:<math>f''(x) \geq 0</math>

Il cambiamento di segno della derivata seconda determina quindi un cambiamento di convessità della funzione e un relativo punto di [[flesso]].

== Derivata di una serie di potenze ==
Una funzione espressa come [[serie di potenze]] <math>\sum_{n=0}^\infty a_n X^n</math> con [[raggio di convergenza]] <math>r</math> è continua e derivabile su tutto l'intervallo <math>(-r, r)</math>. La derivata può essere calcolata derivando termine a termine la serie nel modo seguente:

:<math>f'(x) = \sum_{n=1}^\infty n a_n x^{n-1}</math>

Tuttavia, in una serie di potenze si preferisce che "n" sia proprio l'indice della potenza quindi utilizzando uno shift diventa:

:<math>f'(x) = \sum_{n=0}^\infty {(n+1)} a_{n+1} x^{n}</math>

Questo tipo di derivata è importante per lo [[sviluppo di Taylor]] e Mc-Laurin.

== Derivata formale ==
{{vedi anche|algebra differenziale}}
In [[teoria degli anelli]] si introduce la nozione di derivata formale come un [[operazione unaria|operatore unario]] <math>\partial</math> [[trasformazione lineare|lineare]]:

:<math>\partial(u + v) = \partial u + \partial v</math>

per il quale valga la [[regola di Leibniz]]:

:<math>\partial (u \cdot v) = u \cdot \partial v + \partial u \cdot v</math>

Una applicazione è per esempio la [[Polinomio#Derivata formale|derivata formale di un polinomio]], sfruttata tra le altre cose in [[geometria algebrica]].

== Esempio ==
L'operazione di derivazione nel tempo nel suo caso più generale è data da:

:<math>\frac{\mathrm{d}{\vec v}}{\mathrm{d}t} = \frac{\mathrm{d}v}{\mathrm{d}t} \hat v + v \frac{\mathrm{d}{\hat v}}{\mathrm{d}t}</math>

Il primo termine ha come modulo la derivata di <math>\,\! v</math> nel tempo e come direzione e verso quello di <math>\vec v</math>. Il secondo termine è il prodotto del modulo del vettore per la derivata temporale del suo versore, la quale può essere trovata come segue (considerando il vettore <math>\Delta \vec \theta</math> di modulo pari a <math>\Delta \theta</math> e con versore uscente dal piano individuato da <math>\vec v(t)</math> e <math>\vec v(t + \Delta t)</math> in modo da formare una [[Regola della mano destra|terna destrorsa]]).

== Note ==
<references/>

== Bibliografia ==
* {{cita libro | cognome= Rudin| nome= Walter | titolo= Principi di analisi matematica | editore= McGraw-Hill | città= Milano | anno= 1991|id=ISBN 88-386-0647-1|cid =rudin}}

== Voci correlate ==
* [[Regole di derivazione]]
* [[Sviluppo di Taylor]]
* [[Regola di de l'Hôpital]]
* [[Integrale]]
* [[Derivata parziale]]
* [[Derivata mista]]
* [[Derivata direzionale]]
* [[Derivata di un vettore]]
* [[Classe C di una funzione]]
* [[Funzione differenziabile]]
* [[Derivazione complessa]]

== Altri progetti ==
{{interprogetto|b=Calcolo differenziale|commons=Category:Differential calculus}}

== Collegamenti esterni ==
* [http://wims.unice.fr/wims/wims.cgi?module=tool/analysis/function.it WIMS Function Calculator] calcolo delle derivate online; questo sito permette anche di fare esercizi interattivi
* [http://easycalculation.com/differentiation/differentiation-calculator.php Differenziazione calcolatrice]
* {{en}} [http://www.numberempire.com/derivatives.php Online Derivatives Calculator].
* [http://www.electroyou.it/category/matematica/ Limite, derivate, integrali] Directory con varie risorse sulle derivate
<nowiki>
{{Analisi matematica}}
{{Portale|matematica}}

[[Categoria:Calcolo differenziale| ]]

{{Link VdQ|en}}
{{Link VdQ|zh}}

{{Link AdQ|ca}}
{{Link AdQ|de}}
{{Link AdQ|lmo}}
{{Link AdQ|mk}}

[[af:Afgeleide]]
[[am:ውድድር]]
[[ar:مشتق (رياضيات)]]
[[az:Törəmə]]
[[be:Вытворная функцыі]]
[[be-x-old:Вытворная функцыі]]
[[bg:Производна]]
[[bs:Derivacija]]
[[ca:Derivada]]
[[cs:Derivace]]
[[cy:Differu]]
[[el:Παράγωγος]]
[[en:Derivative]]
[[eo:Derivaĵo (matematiko)]]
[[es:Derivada]]
[[et:Tuletis (matemaatika)]]
[[eu:Deribatu]]
[[fa:مشتق]]
[[fi:Derivaatta]]
[[fr:Dérivée]]
[[fur:Derivade]]
[[gl:Derivada]]
[[he:נגזרת]]
[[hi:अवकलन]]
[[hr:Derivacija]]
[[hu:Derivált]]
[[id:Turunan]]
[[io:Derivajo]]
[[is:Afleiða (stærðfræði)]]
[[ja:微分法]]
[[ka:წარმოებული]]
[[ko:미분]]
[[lmo:Derivada]]
[[lo:ຜົນຕຳລາ]]
[[lv:Atvasinājums]]
[[mk:Диференцијално сметање]]
[[mr:अवकलन]]
[[ms:Pembezaan]]
[[mt:Derivata]]
[[my:ဒစ်ဖရန်ရှေးရှင်း]]
[[nl:Afgeleide]]
[[nn:Derivasjon]]
[[no:Derivasjon]]
[[pl:Pochodna]]
[[pt:Derivada]]
[[ro:Derivată]]
[[ru:Производная функции]]
[[scn:Dirivata]]
[[simple:Derivative (mathematics)]]
[[sk:Derivácia (funkcia)]]
[[sl:Odvod]]
[[sr:Извод]]
[[sv:Derivata]]
[[ta:வகையிடல்]]
[[th:อนุพันธ์]]
[[tl:Deribatibo]]
[[tr:Türev]]
[[uk:Похідна]]
[[ur:مشتق]]
[[vec:Derivada]]
[[vi:Đạo hàm và vi phân của hàm số]]
[[zh:导数]]
[[zh-yue:導數]]
</nowiki>