4
$\begingroup$

I want to show that $f(x,y) = \sqrt{|xy|}$ is not differentiable at $0$.

So my idea is to show that $g(x,y) = |xy|$ is not differentiable, and then argue that if $f$ were differentiable, then so would $g$ which is the composition of differentiable functions $\cdot^2$ and $g$.

But I'm stuck as to how to do this. In the one variable case, to show that $q(x) = |x|$ is not differentiable, I can calculate the limit $\frac{|x + h| - |x|}{h}$ as $h\to 0^+$ and $h\to 0^-$, show that the two one-sided limits are distinct, and conclude that the limit $\lim_{h\to 0}\frac{|x + h| - |x|}{h}$ does not exist.

The reason this is easier is that I do not have to have in mind the derivative of the function $q$ in order to calculate it.

But in the case of $g(x,y) = |xy|$, to show that $g$ is not differentiable at $0$, I would need to show that there does not exist a linear transformation $\lambda:\mathbb{R}^{2}\to\mathbb{R}$ such that

$\lim_{(h,k)\to (0,0)}\frac{\left||hk| - \lambda(h,k)\right|}{|(h,k)|} = 0$

I thought of assuming that I had such a $\lambda$, and letting $(h,k)\to (0,0)$ along both $(\sqrt{t},\sqrt{t})$ and $(-\sqrt{t},-\sqrt{t})$ as $t\to 0^{+}$, but this didn't seem to go anywhere constructive.

  • 0
    Since $|xy| \leq \|(x,y)\|^2$, it follows that $(x,y) \to |xy|$ is differentiable at the origin (with derivative $0$).2012-08-14

3 Answers 3

4

In agreement with @Cameron, I would show the nondifferentiability of $f(x,y)$ at $(0,0)$ in the following way. Intersect the graph with a vertical plane through the $z$-axis, say given by $y=\lambda x$. The intersection is given by $z=|\lambda|^{1/2}\cdot|x|$. So above each of the four quadrants of the $x,y$-plane, the graph consists of strings stretched out from the origin at varying angles. In particular, the “diagonal” plane $y=x$ intersects the graph in a V-shaped figure exactly like the familiar graph of absolute value in one-variable calculus.

5

Use directional derivatives. Note that the limit of $\frac{f(h,h)-f(0,0)}{h\sqrt{2}}=\frac{|h|}{h\sqrt{2}}$ as $h\to 0^+$ is different than that as $h\to 0^-$.

4

Note: My previous answer was incorrect, thanks to @Lubin for catching that.

Simplify your life and show that $\phi(x) = f(x,x) = |x|$ is not differentiable at $0$. It will follow from this that $f$ is not differentiable at $0$.

Look at the definition of differentiability for this case, which is that $\lim_{h \to 0, h \neq 0} \frac{\phi(h)-\phi(0)}{h} $ exists. We have $\phi(0) = 0$, and $\phi(h) = |h|$, so we are looking at the limit of $h \mapsto \mathbb{sign}(h)$ as $h \to 0$.

If you choose $h_n = \frac{(-1)^n}{n}$, it is easy to see that $\frac{\phi(h_n)-\phi(0)}{h_n} = (-1)^n$, hence it has no limit. It follows that $f$ is not differentiable at $0$.

  • 0
    I beg your pardon for taking so long to accept. I was doing some travelling and then forgot to check back when I arrived home. Thanks for this.2012-09-05