How to prove differentiable everywhere?

  • Thread starter Thread starter athrun200
  • Start date Start date
  • Tags Tags
    Differentiable
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
5 replies · 4K views
athrun200
Messages
275
Reaction score
0

Homework Statement


See photo, part b and c


Homework Equations





The Attempt at a Solution


For part b
It seems it is trival, in part a we have proved that [itex]f_{x}[/itex] and [itex]f_{y}[/itex] exist. Obviously, they are differentiable for x and y[itex]\neq[/itex]0

For part c.
It seems there are 2 method to do it.
1. Use first principle.(i.e. take limit)
2.Find [itex]f_{xy}[/itex] and [itex]f_{yx}[/itex]
If they equal each other, then f is differentiable at(0,0)
 

Attachments

  • 擷取.PNG
    擷取.PNG
    18.6 KB · Views: 1,197
Physics news on Phys.org
athrun200 said:

Homework Statement


See photo, part b and c


Homework Equations





The Attempt at a Solution


For part b
It seems it is trival, in part a we have proved that [itex]f_{x}[/itex] and [itex]f_{y}[/itex] exist. Obviously, they are differentiable for x and y[itex]\neq[/itex]0

For part c.
It seems there are 2 method to do it.
1. Use first principle.(i.e. take limit)
What limit are you talking about? "Differentiability" of a function of two variables is NOT defined by a limit. You might want to look up the definition of "differentiable" for functions of more than one variable.

2.Find [itex]f_{xy}[/itex] and [itex]f_{yx}[/itex]
If they equal each other, then f is differentiable at(0,0)
No, that's not true. There is a theorem that says "If a function is differentiable, on a region, then its mixed second derivatives are equal on that region", but the converse of that statement is not true.
 
How about part b?
You only talk about part c
 
HallsofIvy said:
What limit are you talking about? "Differentiability" of a function of two variables is NOT defined by a limit. You might want to look up the definition of "differentiable" for functions of more than one variable.
But I saw from wiki that it is.
If not, how do I prove differentiable?

cb2be0dc4607423c38120e364c9d4a65.png
 
I also wonder if [itex]f_{x}[/itex]=[itex]\frac{(2^xy^3-6x^2y^2-2x^4)}{(y^4+2x^2y^2+x^4)}[/itex] exist at (0,0).

If not, it seems the question part a has some problems.