Il logo di batmath
www.batmath.it
pag.precedente | pag.successiva

Definizioni e prime proprietà

Come è noto a tutti (!) la tangente ad una circonferenza in un suo punto P può essere definita, equivalentemente, in uno dei seguenti modi:

La prima definizione non può essere chiaramente generalizzata ad altre curve (nemmeno alle coniche, parenti strette della circonferenza), che non possiedono un raggio. La seconda definizione può essere estesa alle coniche (con qualche attenzione nel caso della parabola, in modo da escludere rette parallele all'asse che incontrano la parabola in un solo punto senza esserle tangenti), ma non a curve più complesse. Basta pensare al grafico della funzione seno: è abbastanza intuitivo che la tangente nel punto di ascissa  π/2 debba essere la retta y=1, ma questa retta tocca la curva in infiniti punti.

grafico di sinx

La terza definizione di tangente è invece quella che si presta ad una facile generalizzazione a curve complesse ed è quella comunemente adottata. Naturalmente per poterla formalizzare occorre una precisa definizione di che cosa si intenda con posizione limite. La cosa è abbastanza semplice nel caso delle curve grafico di funzioni di R in R e noi ci limiteremo a questo caso.

link a top pagina

Definizione formale di derivata

Considerata una funzione f che abbia come dominio un intervallo o un'unione di intervalli, un punto c del dominio e un incremento Δx tale che c+Δx stia ancora nel dominio, il coefficiente angolare della retta passante per i punti P e Q di figura (retta secante) si chiama rapporto incrementale di f relativo al punto c e all'incremento Δx: img.  Si noti come il rapporto incrementale, una volta fissato c, dipenda solo da Δx. Il limite di questo rapporto, al tendere a zero di Δx, se esiste finito, è per definizione il coefficiente angolare della tangente al grafico della funzione nel punto di ascissa c, si chiama derivata di f nel punto c, e si indica con f'(c) o con (Df)(c). Si dà cioè la seguente:

definizione di derivata

Definizione: img, nell'ipotesi che il limite esista finito.

Si noti che il limite si può anche scrivere nella forma, equivalente, img.

Se il limite è infinito o non esiste si dice che la funzione non è derivabile nel punto c.

Attenzione: la nomenclatura sopra utilizzata non è standard. Molti autori concordano nel chiamare derivata di una funzione anche il limite del rapporto incrementale nel caso che questo sia infinito. In questo caso però la definizione di funzione derivabile viene data (esattamente come abbiamo fatto noi) dicendo che una funzione è derivabile se ha derivata finita. Pur trattandosi di una scelta perfettamente legittima, ci pare illogico dire che una funzione può avere derivata senza essere derivabile. In ogni caso, trattandosi di convenzioni, è sufficiente conoscerle e regolarsi di conseguenza.

Se il punto c è estremo di un intervallo, naturalmente considereremo solo il limite destro o sinistro a seconda dei casi e parleremo di derivata destra o sinistra.

Se una funzione f è derivabile in un punto c, allora la funzione dfc:R→R, dfc(x)=f'(c)x si dice differenziale di f nel punto c. Si noti che la scrittura df costituisce un simbolo unico.

Esempio 1. Sia img e sia c un punto del dominio (c≥0). Si può allora scrivere (se c=0 si intende che il limite va preso solo da destra):

img.

Pertanto la funzione radice risulta non derivabile per c=0, mentre ha per derivata il numero img per c>0. Si osservi che la funzione per c=0 ha una tangente verticale in quanto inversa del ramo di parabola y=x2 che sta nel primo quadrante.

Esempio 2. Sia f(x)=sgn(x) e sia c un reale non nullo. Poiché nel calcolo del limite intervengono solo i valori in un intorno di c, potremo tranquillamente supporre x non nullo e concorde a c. Allora:

Pertanto la funzione è derivabile per c non nullo e la sua derivata vale 0. La cosa era quasi ovvia perché in un intorno di un punto c non nullo la funzione è un segmento orizzontale che ha, ovviamente, tangente orizzontale. Se c=0 si ha invece: img. Pertanto la funzione non è derivabile in 0 (secondo la definizione che abbiamo dato noi non ha derivata in 0; si potrebbe anche dire che la funzione ha derivata in 0, e che la derivata è infinita, ma resta comunque non derivabile).

punto esclamativoSi osservi che, graficamente, la situazione è completamente diversa dall'esempio precedente e non si può ritenere che la funzione signum abbia una tangente verticale: è per questo motivo che, nel dare la definizione formale di tangente, abbiamo escluso il caso che il limite del rapporto incrementale possa essere infinito.

Esempio 3. Sia f(x)=|x|. É facile provare che se c non è nullo la derivata è +1 (c>0) o -1 (c<0). Per c=0 il limite del rapporto incrementale non esiste perché img. La situazione è ancora diversa dalla precedente e questa volta esistono finiti i limiti destro e sinistro del rapporto incrementale, in corrispondenza di c=0, ma sono diversi: la funzione ha, come preciseremo meglio in seguito, un punto angoloso.

link a top pagina

La funzione derivata

Se una funzione f è derivabile in un certo sottoinsieme A del suo dominio, si può considerare la funzione che ad ogni punto di A fa corrispondere la derivata della funzione in quel punto: la chiameremo la funzione derivata di f, e, naturalmente, la indicheremo con f'. Per esempio se riesaminiamo la funzione radice quadrata dell'esempio 1, possiamo affermare che la sua funzione derivata è la funzione, definita sui reali maggiori di zero, img. Si badi bene, come mostra questo esempio, che il dominio della funzione derivata può essere più piccolo di quello della funzione originale.

link a top pagina

Continuità delle funzioni derivabili

Una prima, importantissima, proprietà delle funzioni derivabili è espressa dal seguente:

immagine evidenziatrice Teorema: Se esiste la derivata f'(c) di una funzione f in un punto c, allora la funzione è continua in c.

La dimostrazione è immediata: si ha img, da cui f è continua in c

Osservazioni importanti

link a top pagina

pag.precedente | pag.successiva
pagina pubblicata il 01/10/2002 - ultimo aggiornamento il 01/09/2003