Algebra delle derivate

Come per l'algebra dei limiti, in questa lezione vedremo le principali operazioni eseguibili sulle derivate di funzioni a variabile reale.

lezione Algebra delle derivate
	Tipo: lezione
	Materia: Algebra

Somma di derivate

Sia $A\subseteq \mathbb {R} ,\ \ f,g:A\to \mathbb {R} ,\ \ x_{0}\in A\cap D(A)$ e $f,g$ funzioni derivabili in $x_{0}$ . Allora $f+g$ è derivabile in $x_{0}$ e si ha:

(f+g)'(x_{0})=f'(x_{0})+g'(x_{0})

Dimostrazione

${\frac {(f+g)(x)-(f+g)(x_{0})}{x-x_{0}}}={\frac {f(x)+g(x)-f(x_{0})-g(x_{0})}{x-x_{0}}}={\frac {f(x)-f(x_{0})}{x-x_{0}}}+{\frac {g(x)-g(x_{0})}{x-x_{0}}}$ il cui primo addendo tende a $f'(x_{0})$ e il secondo addendo tende a $g'(x_{0})$ , per $x\to x_{0}$ .

Moltiplicazione di derivate

Sia $A\subseteq \mathbb {R} ,\ \ f,g:A\to \mathbb {R} ,\ \ x_{0}\in A\cap D(A)$ e $f,g$ funzioni derivabili in $x_{0}$ . Allora $f\cdot g$ è derivabile in $x_{0}$ e si ha:

(f\cdot g)'(x_{0})=f'(x_{0})g(x_{0})+f(x_{0})g'(x_{0})

Dimostrazione

$(f\cdot g)(x)-(f\cdot g)(x_{0})=f(x)g(x)-f(x_{0})g(x_{0})=f(x)g(x)-f(x_{0})g(x)+f(x_{0})g(x)-f(x_{0})g(x_{0})=$

$\left(f(x)-f(x_{0})\right)g(x)+\left(g(x)-g(x_{0})\right)f(x_{0})$

E quindi: $\lim _{x\to x_{0}}{\frac {(f\cdot g)(x)-(f\cdot g)(x_{0})}{x-x_{0}}}=\lim _{x\to x_{0}}{\frac {f(x)-f(x_{0})}{x-x_{0}}}g(x)+\lim _{x\to x_{0}}f(x_{0}){\frac {g(x)-g(x_{0})}{x-x_{0}}}=f'(x_{0})g(x_{0})+f(x_{0})g'(x_{0})$

Quoziente di derivate

Sia $A\subseteq \mathbb {R} ,\ \ f,g:A\to \mathbb {R} ,\ \ x_{0}\in A\cap D(A)$ e $f,g$ funzioni derivabili in $x_{0}$ sia inoltre $g(x)\neq 0,\forall x\in A$ . Allora $\left({\frac {f}{g}}\right)$ è derivabile in $x_{0}$ e si ha:

\left({\frac {f}{g}}\right)'(x_{0})={\frac {f'(x_{0})g(x_{0})-f(x_{0})g'(x_{0})}{g^{2}(x_{0})}}

Dimostrazione

${\frac {\left({\frac {f}{g}}\right)(x)-\left({\frac {f}{g}}\right)(x_{0})}{x-x_{0}}}={\frac {\left({\frac {f(x)}{g(x)}}\right)-\left({\frac {f(x_{0})}{g(x_{0})}}\right)}{x-x_{0}}}={\frac {f(x){\frac {1}{g(x)}}-f(x_{0}){\frac {1}{g(x_{0})}}}{x-x_{0}}}=$ ${\frac {f(x)}{x-x_{0}}}{\frac {1}{g(x)}}-{\frac {f(x_{0})}{x-x_{0}}}{\frac {1}{g(x_{0})}}={\frac {1}{x-x_{0}}}{\frac {f(x)g(x_{0})-f(x_{0})g(x)}{g(x)g(x_{0})}}=$ ${\frac {1}{g(x)g(x_{0})}}\cdot \left({\frac {f(x)g(x_{0})-f(x_{0})g(x)}{x-x_{0}}}\right)=$ ${\frac {1}{g(x)g(x_{0})}}\cdot \left({\frac {f(x)g(x_{0})-f(x_{0})g(x_{0})-g(x)f(x_{0})+g(x_{0})f(x_{0})}{x-x_{0}}}\right)=$ ${\frac {1}{g(x)g(x_{0})}}\cdot \left({\frac {f(x)-f(x_{0})}{x-x_{0}}}g(x_{0})-{\frac {g(x)-g(x_{0})}{x-x_{0}}}f(x_{0})\right)$

Dunque: $\lim _{x\to x_{0}}\left({\frac {1}{g(x)g(x_{0})}}\cdot \left({\frac {f(x)-f(x_{0})}{x-x_{0}}}g(x_{0})-{\frac {g(x)-g(x_{0})}{x-x_{0}}}f(x_{0})\right)\right)=$ ${\frac {1}{g^{2}(x_{0})}}\cdot \left(f'(x_{0})g(x_{0})-g'(x_{0})f(x_{0})\right)$ .

Derivazione di funzioni composte

Siano $A,B\subseteq \mathbb {R} ,f:A\to \mathbb {R} ,g:B\to \mathbb {R} ,f(A)\subseteq B$ . Sia inoltre $x_{0}\in A\cap D(A)$ e $f$ derivabile in $x_{0}$ . Infine sia $f(x_{0})\in D(B)$ e $g$ derivabile in $f(x_{0})$ . Allora $g\circ f$ è derivabile in $x_{0}$ e si ha:

$(g\circ f)'(x_{0})=(g'\circ f)(x_{0})\cdot f'(x_{0})$

Dimostrazione

${\frac {g(f(x))-g(f(x_{0}))}{x-x_{0}}}={\frac {g(f(x))-g(f(x_{0}))}{f(x)-f(x_{0})}}\cdot {\frac {f(x)-f(x_{0})}{x-x_{0}}}$

$f$ è derivabile in $x_{0}$ , quindi è continua in $x_{0}$ , ossia:

$x\rightarrow x_{0}\Rightarrow f(x)\rightarrow f(x_{0})\Rightarrow \lim _{x\rightarrow x_{0}}{\frac {g(f(x))-g(f(x_{0}))}{f(x)-f(x_{0})}}\cdot {\frac {f(x)-f(x_{0})}{x-x_{0}}}=g'(f(x_{0}))\cdot f'(x_{0})$

Derivata delle funzioni inverse

Sia $A\subseteq \mathbb {R} ,A$ un intervallo, $f:A\to \mathbb {R}$ strettamente monotona, quindi invertibile, con $f^{-1}$ la sua inversa. Sia $x_{0}\in A\cap D(A)$ e $f$ derivabile in $x_{0}$ , con $f'(x_{0})\not =0$ . Allora $f^{-1}$ è derivabile in $y_{0}=f(x_{0})$ , e si ha: