Problem about existence of partial derivatives at a point

In summary: nice...doesn't work in the presence of a pathological function, then you know that the theorem is probably not true.
  • #1
Joker93
504
37

Homework Statement


I have the function:
f(x,y)=x-y+2x^3/(x^2+y^2) when (x,y) is not equal to (0,0). Otherwise, f(x,y)=0.
I need to find the partial derivatives at (0,0).
With the use of the definition of the partial derivative as a limit, I get df/dx(0,0)=3 and df/dy(0,0)=-1. However, my problem here is that if I just compute the derivative in the standard way and then take the limit (x,y)-->(0,0) I get that the derivatives don't exist at the origin.

Homework Equations


df/dx=1+(2x^4+6x^2*y^2)/((x^2+y^2)^2
df/dy=-1-4x^3*y)/(x^2+y^2)^2

The Attempt at a Solution


When I take the limit (x,y)->(0,0) and I put y=mx I get:
df/dx=1+(2+6m^2)/(1+m^2)^2
df/dy=-1-(4m)/(1+m^2)^2
So, clearly both limits depend on the value of m, so they do not exist. So, why does the original method(using the definition of the derivative) wield the values 3 and -1 for each respectively?
I also checked the answer to the problem and the answer gives 3 and -1 and quotes "by using the definition of the partial derivatives".

Thanks in advance.
 
Physics news on Phys.org
  • #2
The result is counterintuitive, but there is no contradiction. What we observe is that both partial derivatives ##D_xf## and ##D_yf## are functions that are discontinuous at (0,0). That is, they have no limit at that point, but they have a value there. There is no theorem saying that if the derivative of a real-valued function exists everywhere on the domain, that derivative must be continuous.
There is such a theorem for complex-valued functions on complex domains, given certain fairly minor constraints. But there is no equivalent for real-valued functions.

I'm pretty sure there is a theorem saying that, for a real-valued function, IF the limit exists at a point, it must be equal to the value. But that's not applicable here because the limit does not exist.

If you were set this problem in a course, I'd hazard a guess that the intent of the lecturer was to teach that the existence of partial derivatives at a point does not imply 'absolute niceness' of the function at that point. This is one of a number of ways in which that is the case.
 
  • Like
Likes Joker93
  • #3
andrewkirk said:
The result is counterintuitive, but there is no contradiction. What we observe is that both partial derivatives ##D_xf## and ##D_yf## are functions that are discontinuous at (0,0). That is, they have no limit at that point, but they have a value there. There is no theorem saying that if the derivative of a real-valued function exists everywhere on the domain, that derivative must be continuous.
There is such a theorem for complex-valued functions on complex domains, given certain fairly minor constraints. But there is no equivalent for real-valued functions.

I'm pretty sure there is a theorem saying that, for a real-valued function, IF the limit exists at a point, it must be equal to the value. But that's not applicable here because the limit does not exist.

If you were set this problem in a course, I'd hazard a guess that the intent of the lecturer was to teach that the existence of partial derivatives at a point does not imply 'absolute niceness' of the function at that point. This is one of a number of ways in which that is the case.
Wow! I expected something like this but it's really counter-intuitive.
So, my question is: what is conceptually the difference between the two ways? I mean, what is the number obtained by the definition of the derivative and what is the limit that I am trying to find by taking the limit of the derivative function?
Also, if we call the partial derivative wrt x as g(x,y), then if I treat it like a any other function shouldn't its limit at (0,0) exist in order for it to have an actual value there? I can't understand how can we obtain a definite value for it at (0,0) through the definition if the second limit does not exist. The only thing I can think of is an analogy with the following 1-D case: https://www.google.com.cy/search?q=...hWHyRoKHf9oDRQQ_AUIBigB#imgrc=RgP0D0_uI8nfKM:
Here, the function at x=b has a discontinuous derivative. So, by the definition I find the value at x=b but by the second limit I try to find its value by taking different branches(approach x=b- and x=b+) so I won't get the same result through each branch. Is this example an analogy of what's happening in my case?
 
Last edited:
  • #4
Joker93 said:
Is this example an analogy of what's happening in my case?
There are certainly similarities. But it seems more reasonable for that linked function to behave badly at ##b##, because it is discontinuous there. For the case in the OP, the function is continuous at the point in question (the origin), yet it still behaves badly.

Knowing functions that behave nicely in some respects, but badly in others, is an important part of the mathematician's tool kit. They are called 'pathological' functions (as in 'diseased'!). They are very useful as test cases for propositions that you intuitively expect to be true but have not yet proven. If a theorem that sounds like it should be true fails in some cases, those cases are likely to be pathological functions.

In the OP, one feels that there 'ought to be' a theorem that says that if the derivative of a function exists at that point and everywhere in a neighbourhood around it, then the limit of the derivative at that point should be equal to the derivative at that point. But the example you were given is a case that demonstrates that that theorem is not true. It is probably true for analytic functions - functions that can be expressed as power series - which are in many ways the 'nicest' (best behaved) sort of function. But the function in the OP is not analytic.

Here is a 1D version I cooked up for you:
##f(x)=x^2\sin\frac1{x^3}## for ##x\neq 0##, and ##f(0)=0##.

This function is continuous and differentiable everywhere on ##\mathbb R##. Its derivative at zero is ##f'(0)=0##. But ##f'(x)## has no limit as ##x## approaches zero. This function, like the one in the OP, is not analytic.
 
  • Like
Likes Joker93

FAQ: Problem about existence of partial derivatives at a point

What is the definition of a partial derivative at a point?

A partial derivative at a point is a mathematical concept used to describe how a function changes with respect to one of its variables, while holding all other variables constant at that point. It is similar to a regular derivative, but only considers changes in one variable instead of all variables.

Why is the existence of partial derivatives at a point important?

The existence of partial derivatives at a point is important because it allows us to analyze the behavior of a multivariable function and determine its rate of change in a specific direction. It also helps us in solving optimization problems and understanding the overall behavior of a function.

Under what conditions do partial derivatives exist at a point?

Partial derivatives exist at a point if the limit of the difference quotient exists as the change in the variable approaches zero. This means that the function must be continuous and have a well-defined slope in the given direction at that specific point.

What happens if the partial derivatives do not exist at a point?

If the partial derivatives do not exist at a point, it means that the function is not differentiable at that specific point. This could be due to a discontinuity in the function or if the function is not defined at that point.

How can we determine if partial derivatives exist at a point using the limit definition?

To determine if partial derivatives exist at a point using the limit definition, we need to take the limit of the difference quotient as the change in the variable approaches zero. If the limit exists, then the partial derivatives exist at that point. However, if the limit does not exist or is different for different directions, then the partial derivatives do not exist at that point.

Back
Top