Friday, 6 June 2014

real analysis - Is there a function that's continuous and has all directional derivatives as a linear function of direction, but still fails to be differentiable?



There are many standard examples of functions $f:\mathbb{R}^2\to\mathbb{R}$ that possess all directional derivatives at a point and yet fail to differentiable or even continuous there.



The most common counterexamples are not even continuous, e.g.
$$f(x,y)=\begin{cases}\frac{x^2y}{x^2+y^4}&(x,y)\neq(0,0)\\0&(x,y)=(0,0)\end{cases}$$
This example illustrates the easiest type of nondifferentiability given the existence of all directional derivatives, but I'm interested in more sophisticated pathologies -- how far we can go in improving the situation before we finally hit differentiability.



The natural next step would be to impose continuity and yet still fail to achieve differentiability. A good example here is

$$f(x,y)=\sqrt[3]{x^2y}$$
This function is continuous at the origin, unlike the last example, and all its directional derivatives exist there, but it still fails to be differentiable. The easiest way to show this is to note that the partials are zero, but there are directional derivatives $D_u$ that are nonzero, so the directional derivative $D_u$ cannot be given by a linear function of the direction $u$ for all $u$. The problem is that the directional derivative isn't a linear function of the direction.



The next step would be to ask for both continuity and all-directional-derivatives-exist-as-a-linear-function-of-direction and yet still fail to achieve differentiability. The example given in this answer is not continuous, so it shows only that the second condition alone doesn't imply differentiability. What if we impose continuity?



I'm almost certain there is such a counterexample, but I can't think of one, nor could I find one in a quick glance at Courant, Apostol, or Munkres. Showing nondifferentiability here would be harder, since the standard arguments, discontinuity and the failure of the directional derivative operator to be linear, aren't available. Presumably the trick will be to have something go wrong along a nonlinear path even though everything goes right linearly.


Answer



Try



$$ f(x,y) = \cases{ \sqrt{|x|} - \sqrt[4]{| x^2 - y|} & for $0 < y < 2 x^2$ \cr 0 & otherwise}$$




It is continuous and has $D_u f(0,0) = 0$ for all $u$, but fails to be
(Fréchet) differentiable at the origin because $f(x,x^2) = \sqrt{|x|} \ne O(\| (x,x^2)\|)$.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...