How Does Differentiability Imply the Existence of Partial Derivatives?

Click For Summary

Homework Help Overview

The discussion revolves around the concept of differentiability in multivariable calculus, specifically addressing how differentiability at a point implies the existence of partial derivatives for a function defined from Rn to R. The original poster seeks to understand the relationship between the definition of differentiability and the definition of partial derivatives.

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to manipulate the definition of differentiability to align it with the definition of partial derivatives, expressing uncertainty about how to isolate the variable of interest. Some participants suggest specific approaches, such as substituting a particular form for the vector h.

Discussion Status

Participants are actively engaging with the original poster's question, providing hints and clarifications about the mathematical concepts involved. There is an ongoing exploration of how to apply the definitions correctly, with no consensus yet on a complete solution.

Contextual Notes

The original poster expresses a roadblock in their reasoning, indicating a potential gap in understanding the application of the definitions involved. The discussion includes clarifications about the ith basis vector, which is relevant to the problem setup.

cryptoguy
Messages
133
Reaction score
0

Homework Statement


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

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

Prove that if the multivariable function f(x) (here [tex]x = x_1, ..., x_n)[/tex] is differentiable at [tex]a = (a_1, ..., a_n)[/tex] 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, [tex]h_i[/tex] so the term would turn into [tex]f(a1, a2,..., a_i+h, a_{i+1}...)[/tex] 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 [itex]\vec h[/itex] equal to [itex]h \vec {e_i}[/itex]. 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
2K
  • · 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
2K
Replies
9
Views
2K