A function with and the displayed bound has zero Fréchet derivative at zero, since . In particular, a bounded oscillatory factor multiplied by a quadratic expression is differentiable at the origin even if the oscillations have no limit themselves. For , extended by zero on the two diagonal lines, this damping works at the origin. At a nonzero point of either line, the quadratic factor instead vanishes to first order along a transverse direction; the difference quotient oscillates without a limit. Thus the differentiability set is the complement of those two lines together with the origin.
Articles by others on the same topic
There are currently no matching articles.