Continuity of partial derivatives in a ball implies differentiability

In summary, the conversation discusses the problem of proving differentiability of a function, f, at a point (a, b) when one partial derivative is continuous and the other exists at that point. The definition of differentiability is used to show that a function with both continuous partial derivatives is differentiable. The conversation then explores how to use the continuity of one partial derivative to prove differentiability at a point. After considering the problem for a while, the individual is able to solve it with the help of a hint.
  • #1
Mathmos6
81
0
Hi all, I'm looking at the following problem:
Suppose that f:[itex]\mathbb{R}^2\to\mathbb{R}[/itex] is such that [itex]\frac{\partial{f}}{\partial{x}}[/itex] is continuous in some open ball around (a,b) and [itex]\frac{\partial{f}}{\partial{y}}[/itex] exists at (a,b): show f is differentiable at (a,b).

Now I know that if both partial derivatives are continuous in a ball around (a,b) it is differentiable, but I don't know how to deal with the case where we only have continuity of one partial derivative and existence of the other - could anyone help me with this?

I've thought about it for a good hour or so now and don't seem to be getting anywhere (I know I'm meant to post what I've got so far but I literally have nothing!) so the more help you can give me the better!

Many thanks :)
 
Last edited:
Physics news on Phys.org
  • #2
Use the definition of differentiable.

A function of two variables, x and y, is "differentiable" at (a, b) if and only if there exist a function [itex]\epsilon(x,y)[/itex] such that [itex]f(a+ x, b+ y)= f(a, b)+ x (\partial f/\partial x(a,b))[/itex][itex]+ y(\partial f/\partial y(a,b))+ \epsilon(x,y)[/itex] and
[tex]\lim_{(x,y)\to (a,b)}\frac{\epsilon(x,y)}{\sqrt{x^2+ y^2}}= 0[/tex]

Since both [itex]\partial f/\partial x(a,b)[/itex] and [itex]\partial f/\partial y(a,b)[/itex] exist, we can define [itex]\epsilon(x,y)[/itex] as [itex]f(a+ x, b+ y)- f(a, b)[/itex][itex]+ x (\partial f/\partial x(a,b))+ y(\partial f/\partial y(a,b))[/itex].

Try to use the fact that [itex]\partial f/\partial x[/itex] is continuous to show that goes to 0 as (x,y) goes to (0, 0).
 
  • #3
HallsofIvy said:
Use the definition of differentiable.

A function of two variables, x and y, is "differentiable" at (a, b) if and only if there exist a function [itex]\epsilon(x,y)[/itex] such that [itex]f(a+ x, b+ y)= f(a, b)+ x (\partial f/\partial x(a,b))[/itex][itex]+ y(\partial f/\partial y(a,b))+ \epsilon(x,y)[/itex] and
[tex]\lim_{(x,y)\to (a,b)}\frac{\epsilon(x,y)}{\sqrt{x^2+ y^2}}= 0[/tex]

Since both [itex]\partial f/\partial x(a,b)[/itex] and [itex]\partial f/\partial y(a,b)[/itex] exist, we can define [itex]\epsilon(x,y)[/itex] as [itex]f(a+ x, b+ y)- f(a, b)[/itex][itex]+ x (\partial f/\partial x(a,b))+ y(\partial f/\partial y(a,b))[/itex].

Try to use the fact that [itex]\partial f/\partial x[/itex] is continuous to show that goes to 0 as (x,y) goes to (0, 0).

Got it, thanks very much! :)
 
  • #4
I'm impressed! Even with my hint, that was not a simple problem.
 

FAQ: Continuity of partial derivatives in a ball implies differentiability

What is the definition of continuity of partial derivatives in a ball?

The continuity of partial derivatives in a ball refers to the smoothness of a multivariable function within a certain region, or "ball," in space. It means that the function has continuous partial derivatives at every point within the ball.

How is continuity of partial derivatives in a ball related to differentiability?

If a function has continuous partial derivatives in a ball, then it is also differentiable at every point within that ball. This means that the function has a well-defined derivative at each point, and the gradient of the function is well-defined throughout the ball.

What is the significance of continuity of partial derivatives in a ball in real-world applications?

In real-world applications, continuity of partial derivatives in a ball is important because it allows us to make accurate predictions and calculations. It ensures that a function is smooth and well-behaved within a certain region, making it easier to model and analyze.

How can we prove that continuity of partial derivatives in a ball implies differentiability?

We can prove this statement using the mean value theorem for multivariable functions, which states that if a function is continuous and has continuous partial derivatives in a ball, then it is also differentiable within that ball. This can be shown through a rigorous mathematical proof.

Are there any exceptions to the statement that continuity of partial derivatives in a ball implies differentiability?

Yes, there are certain cases where a function may have continuous partial derivatives in a ball but is not differentiable at a specific point within that ball. This can occur if the function has a "corner" or sharp point at that point, which violates the smoothness required for differentiability. However, in most cases, continuity of partial derivatives in a ball does imply differentiability.

Similar threads

Replies
2
Views
262
Replies
10
Views
1K
Replies
4
Views
742
Replies
2
Views
2K
Replies
4
Views
950
Replies
1
Views
598
Back
Top