How Does Differentiability Imply the Existence of Partial Derivatives?

Click For Summary
SUMMARY

The discussion centers on the relationship between differentiability and the existence of partial derivatives for multivariable functions. It is established that if a function f(x): Rn -> R is differentiable at a point \vec{a}, then its first-order partial derivatives at that point exist. The proof involves using the definition of differentiability and manipulating the limit expression by substituting the vector \vec{h} with h \vec{e_i}, where \vec{e_i} is the ith basis vector. This substitution allows for isolating the effect of one variable while keeping others constant.

PREREQUISITES
  • Understanding of multivariable calculus concepts, particularly differentiability.
  • Familiarity with the definition of partial derivatives.
  • Knowledge of limit processes in calculus.
  • Basic understanding of vector notation and operations.
NEXT STEPS
  • Study the formal definition of differentiability in multivariable calculus.
  • Learn how to compute partial derivatives from multivariable functions.
  • Explore the concept of basis vectors in Rn and their applications.
  • Investigate the implications of differentiability on continuity and differentiable mappings.
USEFUL FOR

Students of multivariable calculus, mathematicians, and educators looking to deepen their understanding of the relationship between differentiability and partial derivatives.

cryptoguy
Messages
133
Reaction score
0

Homework Statement


A function f(x) : Rn ->R is said to be differentiable at point \vec{a} provided that there exists a constant vector \vec{c} = (c_1, ... , c_n) such that

lim_(\vec{h} -> 0) \frac{f(\vec{a}+\vec{h}) - f(\vec{a}) - \vec{c}*\vec{h}}{||\vec{h}||}

Prove that if the multivariable function f(x) (here x = x_1, ..., x_n) is differentiable at a = (a_1, ..., a_n) then its first order partial derivatives at a exist.

Homework Equations


I know that the partial derivative definition is
342548949e92e400707a6864cb81bb00.png



The Attempt at a Solution



I've tried a few things but I've encountered a road block of sorts. I think what I have to do is provide the vector c such that the given equation somehow turns into the definition of the first order partial derivative. That means that instead of having f(a1+h1, a2+h2, ...) I need to make all the h's 0 except one, h_i so the term would turn into f(a1, a2,..., a_i+h, a_{i+1}...) But I'm not sure how to do that with the vector c... I may be way off base...

Thank you for any hints/advice.
 
Physics news on Phys.org
You want to put \vec h equal to h \vec {e_i}. Where e_i is the ith basis vector and take the limit as the real number h approaches 0. Does that help? You can't pick c. That's a given. You can pick a particular form of h.
 
Last edited:
Thank you for the response. What exactly is an "ith basis vector" though?
 
e_i=(0,0,0,...,1,..0,0,0) with the 1 in position i. The same i as in your problem setup.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
5
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
9
Views
2K