含绝对值函数的可导性

题目

设$f(x_0)=0$，$f^{\prime }(x_0)$存在，则$|f(x)|$在$x_0$处可导$\iff$$f^{\prime }(x_0)=0$

证明充分性

先证明$|f(x)|$在$x_0$处可导 $\Rightarrow$ $f^{\prime }(x_0)=0$。

这里证明原问题的逆否命题，原问题等价于证明$f^{\prime }(x_0)>0$或者$f^{\prime }(x_0)<0$ $\Rightarrow$ $|f(x)|$在$x_0$处不可导。下面开始证明：

证明过程

$f^{\prime }(x_0)>0$时，有：
$$\underset{x\to x_0^{-}}{\lim }\frac{f(x)-f(x_0)}{x-x_0}=\underset{x\to x_0^{+}}{\lim }\frac{f(x)-f(x_0)}{x-x_0}>0\text{\hspace{1em}(1)}$$

$$\underset{x\to x_0^{+}}{\lim }[f(x)-f(x_0)]\stackrel{f(x_0)=0}{=}\underset{x\to x_0^{+}}{\lim }f(x)>0\text{\hspace{1em}(2)}$$
$$\underset{x\to x_0^{-}}{\lim }[f(x)-f(x_0)]\stackrel{f(x_0)=0}{=}\underset{x\to x_0^{-}}{\lim }f(x)<0\text{\hspace{1em}(3)}$$
$$\underset{x\to x_0^{-}}{\lim }\frac{|f(x)|-|f(x_0)|}{x-x_0}<0\text{\hspace{1em}(4)}$$
$$\underset{x\to x_0^{+}}{\lim }\frac{|f(x)|-|f(x_0)|}{x-x_0}>0\text{\hspace{1em}(5)}$$
显然根据以上两式易得$f^{\prime }(x_0)>0$时$|f(x)|$在$x_0$处不可导。同理，易得$f^{\prime }(x_0)<0$时$|f(x)|$在$x_0$处不可导。

解释说明

1. 公式(1)根据$f^{\prime }(x_0)>0$得到的，是$f^{\prime }(x_0)>0$的数学化描述。
2. 公式(2)是在公式(1)等号左侧和条件$f(x_0)=0$的基础上，运用极限的保号性得到的。
3. 公式(3)是在公式(1)等号右侧和条件$f(x_0)=0$的基础上，运用极限的保号性得到的。
4. 公式(4)是在公式(3)基础上得到的。
5. 公式(5)是在公式(2)基础上得到的。

证明必要性

Reference

含绝对值函数的可导性