1
$\begingroup$

I have to demonstrate that this function is differentiable in (0,0). The function is:

$ f(x,y) = \begin{cases} (x^2+y^2)[cos(\frac{1}{x})-1] & \quad \text{if } x\neq 0\\ 0 & \quad \text{if } x=0 \\ \end{cases} $

This is what I've tried to do:

According to Taylor's formula:

$ f(0+l,0+m)=f(0,0)+ \partial _xf(0,0)l +\partial_yf(0,0)m +o(\sqrt{l^2+m^2})$

So if this function is differentiable it has to be:

$$\lim_{(l,m) \to (0 , 0)} \frac{ f(0+l,0+m)-f(0,0)- \partial _xf(0,0)l -\partial_yf(0,0)m}{\sqrt{l^2+m^2}}=0$$

At this point I have to prove that both partial derivatives exist in $(0,0)$ and then calculate the limit. I find that $\partial_yf(0,0)$ exists and is $0$, but $\partial_xf(0,0)$ according to my calcuations does not exist.

I have also plotted the function on wolfram and It does not seem differentiable in $(0,0)$.

$\endgroup$
4
  • $\begingroup$ You don't think $x^2[\cos (1/x)-1]$ is differentiable at $0?$ $\endgroup$
    – zhw.
    Jan 17, 2016 at 19:19
  • $\begingroup$ Could you tell me why is $ \partial_xf(0,0)=0$ ? Thank you. $\endgroup$
    – physicsguy
    Jan 17, 2016 at 19:19
  • $\begingroup$ Just use the definition of the derivative as in the answer below. $\endgroup$
    – zhw.
    Jan 17, 2016 at 19:38
  • $\begingroup$ Sorry, my fault... It was so easy. I was trying calculating $\partial_xf(x,y)$ at a generic point and then calculate $$\lim_{(x,y) \to (0 , 0)} {\partial_xf(x,y) }=0$$. Thank you $\endgroup$
    – physicsguy
    Jan 17, 2016 at 19:41

1 Answer 1

2
$\begingroup$

In fact, you can calculate the derivative $\partial_x f(0,0)$ by definition:

$$\partial_x f(0,0)=\lim_{x\to 0}\frac{x^2(\cos (1/x)-1)-f(0,0)}{x-0} = \lim_{x\to 0}x (\cos (1/x)-1)=0. $$

$\endgroup$
2
  • $\begingroup$ Oh sorry, my fault... It was so easy. I was trying calculating $\partial_xf(x,y)$ at a generic point and then calculate $$\lim_{(x,y) \to (0 , 0)} {\partial_xf(x,y) }=0$$. Thank you $\endgroup$
    – physicsguy
    Jan 17, 2016 at 19:38
  • 2
    $\begingroup$ @MarcoIntini: That's not a good idea, since unless you know in advance that $\partial_x f$ is continuous at the origin (which you don't), there is no guarantee that the limit of $\partial_x f$ as $(x,y)\to(0,0)$ agrees with the actual value $\partial_x f(0,0)$. $\endgroup$ Jan 17, 2016 at 19:51

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .