He votado la respuesta de Arthur, pero me gustaría añadir una perspectiva sobre por qué la respuesta de Arthur es correcta, ya que ninguna de las respuestas parece abordar el por qué de la misma.
Sea $$\newcommand\sgn{\operatorname{sgn}}\sgn(x) = \begin{cases} -1 &x<0\\1&x\ge0\end{cases}$$ sea la función signo que devuelve el signo de su argumento. Observe que $|x|=x\sgn(x)$ .
Así, si $f:\Bbb{R}\to\Bbb{R}$ es cualquier función de valor real, $|f|(x) = f(x)\sgn(f(x))$ . Si $f$ es diferenciable, entonces cuando $f(x)\ne 0$ , ambos $f(x)$ y $\sgn(f(x))$ son diferenciables, por lo que podemos aplicar la regla del producto para obtener $$|f|'(x) = f'(x)\sgn(f(x)) + f(x)f'(x)\sgn'(f(x)),$$ pero $\sgn'(x)=0$ cuando $x\ne 0$ por lo que el segundo término es $0$ . Así $$|f|'(x) = f'(x)\sgn(f(x)),$$ cuando $f(x)\ne 0$ .
¿Y cuando $f(x)=0$ ?
Echemos un vistazo al límite. $$|f|'(x) = \lim_{h\to 0} \frac{|f(x+h)|-|f(x)|}{h} = \lim_{h\to 0} \frac{|f(x+h)|}{h}= \lim_{h\to 0} \left|\frac{f(x+h)}{h}\right|\sgn(h).$$ Este límite existe si y sólo si los límites izquierdo y derecho existen y coinciden, pero en el límite derecho $\sgn(h)=1$ y obtenemos $|f'(x)|$ y en el límite izquierdo $\sgn(h)=-1$ y obtenemos $-|f'(x)|$ . Así, cuando $f(x)=0$ , $|f|$ es diferenciable en $x$ sólo si $|f'(x)|=-|f'(x)|$ que se produce si y sólo si $f'(x)=0$ .
Así obtenemos la respuesta de Arthur, si $f:\Bbb{R}\to \Bbb{R}$ es diferenciable, entonces $|f|$ es diferenciable en $x$ sólo si $f(x)\ne 0$ o $f(x)=f'(x)=0$ .
Además, cuando es diferenciable, $|f|'(x) = f'(x)\sgn(f(x))$ .
0 votos
Necesitará algo más, como por ejemplo $x^2$ tiene una raíz, pero $|x^2|$ sigue siendo diferenciable.
2 votos
No es una respuesta, sino una aclaración: decir $P(x)$ es diferenciable no tiene "sentido". $P(x)$ es un número, mientras que $P$ es la función. :)
1 votos
@Arthur, Oh. He editado mi pregunta. Échale un vistazo.
0 votos
Es perfecto :) @MrAP
0 votos
@Arthur Huh. Ese no soy yo.
0 votos
Esto sí que es incómodo... #familyreunion
0 votos
¡Woah! ¿No me había dado cuenta?
1 votos
@Arthur Creo que ese argumento es algo confuso. Sé lo que quieres decir, y estoy de acuerdo en que formalmente eres correcto, pero $P$ no puede escribirse con más claridad, mientras que $P(x)$ puede.
0 votos
@Winther: Considere $x^3$ ...
0 votos
@TheCount Fui demasiado rápido. Ese es un buen contador. Entonces necesitamos la condición que señala Arturo.