ho un dubbio logico sulla determinazione della primitiva di una funzione definita a tratti (come f(x) = |2x - 4|).
Una volta trovate le due famiglie di primitive F_1(x) + c_1 e F_2(x) + c_2 nei due intervalli, per trovare la primitiva 'globale' noi imponiamo la continuità nel punto di raccordo (x=2) per legare tra loro c_1 e c_2.
Tuttavia, sappiamo che per essere una primitiva, la funzione F(x) deve essere derivabile in ogni punto del dominio. Sappiamo anche che la continuità è una condizione necessaria ma non sufficiente per la derivabilità.
La mia domanda è: cosa ci garantisce che, una volta resa continua la funzione F(x) tramite le costanti, essa sia automaticamente anche derivabile nel punto di raccordo? Non dovremmo verificare anche l'uguaglianza del limite della derivata destra e sinistra in x=2?"
