Proving Differentiability of f(x,y)=x^2-2xy with Epsilon-Delta

  • Thread starter Thread starter tmc
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion focuses on proving the differentiability of the function f(x,y) = x² - 2xy using the epsilon-delta definition. Participants highlight that while establishing differentiability at the point (0,0) is straightforward, proving it at any arbitrary point presents challenges. The existence and continuity of partial derivatives, specifically f_y = -2x, are acknowledged as easier to demonstrate. However, the main difficulty lies in applying the epsilon-delta definition correctly to show that the limit approaches zero as (x,y) approaches (x₀,y₀).

PREREQUISITES
  • Understanding of epsilon-delta definitions in calculus
  • Knowledge of partial derivatives and their continuity
  • Familiarity with limit concepts in multivariable calculus
  • Experience with differentiability criteria in mathematical analysis
NEXT STEPS
  • Study the epsilon-delta definition of differentiability in depth
  • Learn how to compute and analyze partial derivatives for multivariable functions
  • Explore the implications of C¹ continuity on differentiability
  • Practice proving differentiability using various examples and counterexamples
USEFUL FOR

Mathematics students, educators, and professionals involved in calculus, particularly those focusing on multivariable functions and differentiability proofs.

tmc
Messages
292
Reaction score
1
We need to prove that f(x,y)=x^2 - 2xy is differentiable using epsilon-delta. When I do it, I just can't get rid of most of the terms.

It would be easy to prove that it's differentiable at (0,0), but differentiable at any point...it just doesn't seem to simplify.
 
Physics news on Phys.org
differentiable as in the partial derivatives exist and are continuous... that's quite easy isn't it? just write out the partials and show they are continuous

f_y= -2x

you can show that is a continuous function of x,y with epsilons and deltas, right?
 
Actually he stated that we should do it from the definition:

[tex]\[<br /> \mathop {\lim }\limits_{\left( {x,y} \right) \to \left( {x_0 ,y_0 } \right)} \frac{{\left\| {f\left( {x,y} \right) - f\left( {x_0 ,y_0 } \right) - D_f \left( {x_0 ,y_0 } \right) \cdot \left( {x - x_0 ,y - y_0 } \right)} \right\|}}{{\left\| {\left( {x - x_0 ,y - y_0 } \right)} \right\|}} = 0<br /> \][/tex]which is where I am having some problems.
Obviously, yes it would be easy to simply prove that it is C1, which in turn would imply differentiability...
 

Similar threads

  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K