Derivata simmetrica

Nella matematica, la derivata simmetrica è un'operazione che generalizza l'usuale derivata. È definita come:

$f_{s}(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x-h)}{2h}}.$

L'espressione all'interno del limite viene spesso chiamata rapporto incrementale simmetrico. Una funzione si dice simmetricamente derivabile nel punto $x$ se la sua derivata simmetrica esiste in quel punto.

Se una funzione è derivabile (nel senso usuale) in un punto, allora è anche simmetricamente derivabile, ma l'inverso non è sempre vero. Un noto controesempio è la funzione valore assoluto $f(x)=|x|$, che non è derivabile in $x=0$ ma lo è simmetricamente con derivata simmetrica uguale a $0$. Per le funzioni derivabili, il rapporto incrementale simmetrico fornisce una migliore approssimazione numerica della derivata rispetto a quello usuale.

La derivata simmetrica in un punto è uguale alla media aritmetica della derivata destra e sinistra in quel punto, se quest'ultime esistono finite.

Per quanto riguarda la derivata simmetrica, non valgono né il teorema di Rolle né il teorema di Lagrange, tuttavia esistono degli enunciati simili più deboli.

Esempi

La funzione modulo

Grafico della funzione modulo. Da notare il punto angoloso in $x=0$, che comporta la non derivabilità della curva in quel punto. La derivata simmetrica della funzione, tuttavia, esiste anche in $x=0$.

Per la funzione modulo, $f(x)=\left\vert x\right\vert$, si ha in $x=0$

${\begin{aligned}f_{s}(0)&=\lim _{h\to 0}{\frac {f(0+h)-f(0-h)}{2h}}\\&=\lim _{h\to 0}{\frac {f(h)-f(-h)}{2h}}\\&=\lim _{h\to 0}{\frac {\left\vert h\right\vert -\left\vert -h\right\vert }{2h}}\\&=\lim _{h\to 0}{\frac {h-(-(-h))}{2h}}\\&=0,\\\end{aligned}}$

dove si ha $\left\vert -h\right\vert$ = $-(-h)$ poiché $h>0$. Perciò, si osserva che esiste la derivata simmetrica in $x=0$ e è uguale a zero, sebbene la derivata usuale non esista in tale punto a causa di un punto angoloso. Come conseguenza, la funzione derivata simmetrica di $f(x)=|x|$ coincide con la funzione segno $\operatorname {sgn}(x)$. Da notare che in questo esempio sia la derivata sinistra che destra esistono, ma sono tra loro diverse (la prima è $-1$ e l'altra è $1$); la loro media è $0$, come ci si aspettava. la funzione derivata simmetrica della

x⁻²

Grafico di $y=1/x^{2}$. Da notare che la funzione ha una discontinuità essenziale in $x=0$, quindi non esiste la sua derivata. Tuttavia, la derivata simmetrica della funzione esiste in $x=0$.

Per la funzione $f(x)=1/x^{2}$, si ha in $x=0$

${\begin{aligned}f_{s}(0)&=\lim _{h\to 0}{\frac {f(0+h)-f(0-h)}{2h}}\\&=\lim _{h\to 0}{\frac {f(h)-f(-h)}{2h}}\\&=\lim _{h\to 0}{\frac {1/h^{2}-1/(-h)^{2}}{2h}}\\&=\lim _{h\to 0}{\frac {1/h^{2}-1/h^{2}}{2h}}\\&=0,\\\end{aligned}}$

dove di nuovo $h>0$. Anche per questa funzione la sua derivata simmetrica esiste in $x=0$, mentre non esiste la sua derivata ordinaria a causa della discontinuità essenziale in tale punto.

La funzione di Dirichlet

La funzione di Dirichlet, definita come

$f(x)={\begin{cases}1,&{\text{se }}x{\text{ è razionale}}\\0,&{\text{se }}x{\text{ è irrazionale}}\end{cases}}$

ha derivata simmetrica $\forall x\in \mathbb {Q}$, mentre $\forall x\in \mathbb {R} -\mathbb {Q}$ non esiste. Perciò la derivata simmetrica esiste nei numeri razionali e non nei numeri irrazionali.

Regolarità della derivata simmetrica

Ogni funzione derivabile in $x_{0}$è ivi anche simmetricamente derivabile e il valore della derivata simmetrica coincide con il valore della derivata. Formalmente, se la funzione $f(x)$ è derivabile in $x_{0}$, allora esiste finita la derivata simmetrica in $x=x_{0}$ ed è uguale a $f'(x_{0})$. Più in generale, se la funzione ammette derivata destra e sinistra entrambe finite in $x_{0}$, allora esiste finita la derivata simmetrica in $x=x_{0}$ ed è uguale a $(f_{+}'(x_{0})+f'_{-}(x_{0}))/2$, cioè la media aritmetica dei valori della derivata destra e sinistra nel punto.

Dimostrazione

La derivata simmetrica in $x=x_{0}$ è definita come

$f_{s}(x_{0})=\lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0}-h)}{2h}}.$

Sommando e sottraendo $f(x_{0})$ al numeratore si ottiene

$f_{s}(x_{0})=\lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0}-h)+f(x_{0})-f(x_{0})}{2h}}=\lim _{h\to 0}\left({\frac {f(x_{0}+h)-f(x_{0})}{2h}}+{\frac {f(x_{0}-h)-f(x_{0})}{-2h}}\right).$

Il primo addendo tende a $f_{+}'(x_{0})/2$ mentre il secondo a $f_{-}'(x_{0})/2$. Pertanto, poiché i limiti sono finiti per ipotesi, la derivata simmetrica esiste finita e dalla somma dei limiti si ha

$f_{s}(x_{0})={\frac {f_{+}'(x_{0})+f_{-}'(x_{0})}{2}}.$

In particolare, se la funzione è derivabile, allora $f_{+}'(x_{0})=f_{-}'(x_{0})$ e perciò

$f_{s}(x_{0})=f'(x_{0}).$

Quasi-teorema del valor medio

La derivata simmetrica non obbedisce al teorema del valor medio di Lagrange. Come controesempio, la derivata simmetrica di $f(x)=|x|$ ha come immagine l'insieme $\{-1,0,1\}$, ma le secanti di $f$ hanno un intervallo maggiore di pendenze; per esempio, sull'intervallo $[-1,2]$, il teorema di Lagrange affermerebbe che esiste un punto nell'intervallo in cui la derivata simmetrica vale ${\frac {|2|-|-1|}{2-(-1)}}={\frac {1}{3}}$.

Un teorema in qualche modo analogo al teorema di Rolle per le derivate simmetriche venne stabilito nel 1967 da C.E. Aull, che gli diede il nome di "quasi-teorema di Rolle". L'enunciato afferma che, se la funzione $f$ è continua nell'intervallo chiuso $[a,b]$, derivabile simmetricamente nell'intervallo aperto $(a,b)$ e $f(a)=f(b)=0$, allora esistono due punti $x,y\in (a,b)$ tali che $f_{s}(x)\geq 0$ e $f_{s}(y)\leq 0$. Un lemma di Aull utilizzato come primo passo verso il teorema afferma che se $f$ è continua nell'intervallo chiuso $[a,b]$, derivabile simmetricamente in $(a,b)$ e inoltre $f(b)>f(a)$, allora esiste un punto $z\in (a,b)$ dove la derivata simmetrica è non negativa, cioè $f_{s}(z)\geq 0$. In modo analogo, se $f(b)<f(a)$, allora esiste un punto $z\in (a,b)$ dove $f_{s}(z)\leq 0$.

Il quasi-teorema del valor intermedio per una funzione simmetricamente derivabile afferma che se è continua nell'intervallo chiuso $[a,b]$ e derivabile simmetricamente in $(a,b)$, allora esistono $x,y\in (a,b)$ tali che

$f_{s}(x)\leq {\frac {f(b)-f(a)}{b-a}}\leq f_{s}(y)$.

Come applicazione, il quasi-teorema del valor medio applicato a $f(x)=|x|$ in un intervallo contenente $x=0$ asserisce che ogni secante di $f$ ha pendenza compresa fra $1$ e $-1$

Se la derivata simmetrica di $f$ possiede la proprietà di Darboux, allora vale la forma normale del teorema di Lagrange, cioè esiste $z$ appartenente a $(a,b)$ tale che:

$f_{s}(z)={\frac {f(b)-f(a)}{b-a}}$.

Come conseguenza, se la funzione è continua e anche la sua derivata simmetrica è continua (e perciò ha la proprietà di Darboux), allora la funzione è derivabile nel senso usuale.

Generalizzazioni

Il concetto si può generalizzare anche alle derivate di ordine superiore e agli spazi euclidei n-dimensionali.

La derivata seconda simmetrica

La derivata seconda simmetrica è definita come

$\lim _{h\to 0}{\frac {f(x+h)-2f(x)+f(x-h)}{h^{2}}}.$

Se la derivata seconda usuale esiste, allora anche quella simmetrica esiste e le due coincidono. Tuttavia la derivata seconda simmetrica può esistere anche dove la funzione non è derivabile due volte. Come esempio, si consideri la funzione segno $\operatorname {sgn}(x)$ che è definita da

$\operatorname {sgn}(x)={\begin{cases}-1&{\text{if }}x<0,\\0&{\text{if }}x=0,\\1&{\text{if }}x>0.\end{cases}}$

La funzione segno non è continua in zero e pertanto la derivata seconda in $x=0$ non esiste, al contrario della derivata seconda simmetrica:

${\begin{aligned}\lim _{h\to 0}{\frac {\operatorname {sgn}(0+h)-2\operatorname {sgn}(0)+\operatorname {sgn}(0-h)}{h^{2}}}&=\lim _{h\to 0}{\frac {1-2\cdot 0+(-1)}{h^{2}}}\\&=\lim _{h\to 0}{\frac {0}{h^{2}}}\\&=0\end{aligned}}$

Bibliografia

• Brian S. Thomson, Symmetric Properties of Real Functions, Marcel Dekker, 1994, ISBN 0-8247-9230-0.
• A.B. Kharazishvili, Strange Functions in Real Analysis, Second Edition, CRC Press, 2005, p. 34, ISBN 978-1-4200-3484-4.
• Aull, C.E.: "The first symmetric derivative". Am. Math. Mon. 74, 708–711 (1967)

Voci correlate

• Generalizzazioni della derivata
• Teorema di Lagrange
• Calcolo frazionario
• Derivata debole

Collegamenti esterni

• Approssimare la derivata con il rapporto incrementale simmetrico (Wolfram Demonstrations Project)