The function is differentiable at when there is a real number such that
Equivalently, the difference quotient has a finite limit, and
Write
Divide by and let . Differentiability implies continuity, so . Therefore the product rule gives
No. Take and
Then is differentiable and
Since , the product is differentiable at zero with
However, has one-sided derivatives and and is not differentiable at zero. This is a nondifferentiable factor with a differentiable nondegenerate product.
Differentiability lets us write
and, with ,
Substitute . Since , the remainder is . Thus
and the chain rule is
No. At , let
The function is differentiable at , and
so the composite has derivative one at zero. But
is unbounded, so is not differentiable. This is a nondifferentiable inner function with a differentiable nondegenerate composite.
To say that is twice differentiable at means that is defined in a neighbourhood of and is differentiable at ; its derivative is .
By the chain rule, near ,
Since is differentiable and is differentiable at , another use of the chain rule shows that is differentiable at . The product rule then proves that the displayed product is differentiable. Hence is twice differentiable, with the second derivative chain rule

Articles by others on the same topic (0)

There are currently no matching articles.