知らないけど変域がx>=0の関数の導関数はx>0でしか定義できないじゃないかな知らないけど。
微分の定義に従うと左側極限が存在しないからつまり極限が存在しないから微分不可能？