[Math] Non-continuous higher differentiability

real-analysis

The standard definition is that a function $f:\mathbb{R}^n\to \mathbb{R}$ is differentiable at a point $x$ if there exists a linear map $\mathrm{d}f_x: \mathbb{R}^n \to \mathbb{R}$ such that

$$f(x+h) = f(x) + \mathrm{d}f_x(h) + \epsilon \|h\|$$

where $\epsilon\to 0$ as $h\to 0$. This is stronger than the existence of all partial (or directional) derivatives, but weaker than their continuity. However, when talking about higher differentiability, one usually switches to talking about partial derivatives, asking them to be continuous in order to prove basic properties.

Suppose that instead we define $f$ to be "twice differentiable" at $x$ if in addition to $\mathrm{d}f_x$ as above there exists a quadratic form $\mathrm{d}^2f_x$ such that

$$f(x+h) = f(x) + \mathrm{d}f_x(h) + \frac{1}{2}\mathrm{d}^2f_x(h) + \epsilon \|h\|^2$$

where $\epsilon\to 0$ as $h\to 0$. This is true if $f$ has continous second-order partials (it's the multidimensional Taylor expansion, with $\mathrm{d}^2f_x$ the Hessian matrix).

  1. Does this imply that all second-order partial derivatives of $f$ exist?
  2. If so, does it imply that the mixed second-order partials are equal?

Best Answer

The funny thing is that I got almost the same question from one of my student last semester. The idea was to neglect both the linear and quadratic parts of the hypothetical expansion (without loss of generality, we may assume they are zero), and focus on $ \epsilon \|h\|^2$. We came to the following (obvious) one-dimensional counterexample:

$$f(h) = h^3 \sin(\frac{1}{h})$$

for $h \not= 0$, and: $$f(0) = 0$$

Related Question