Differentiation of Vector Functions: Proving Differentiability with Chain Rule

  • Thread starter Thread starter boombaby
  • Start date Start date
  • Tags Tags
    Differentiation
Click For Summary
SUMMARY

The discussion focuses on proving the differentiability of the function g(t) defined as g(t) = f(γ(t)), where f(x,y) is defined piecewise with f(0,0) = 0 and f(x,y) = x³/(x²+y²) for (x,y) ≠ (0,0). The proof demonstrates that g is differentiable for every t in ℝ¹ by showing that the limit of g(t)/t exists as t approaches zero, leveraging the properties of the mean value theorem and the condition |γ'(0)| > 0. The conclusion confirms that g'(0) exists and equals 0, validating the differentiability of g.

PREREQUISITES
  • Understanding of vector functions and their differentiability
  • Familiarity with the chain rule in calculus
  • Knowledge of the mean value theorem
  • Basic concepts of limits and continuity
NEXT STEPS
  • Study the chain rule for vector-valued functions in detail
  • Explore the mean value theorem and its applications in multivariable calculus
  • Learn about differentiability conditions for piecewise functions
  • Investigate the implications of the existence of derivatives in higher dimensions
USEFUL FOR

Students and educators in calculus, particularly those focusing on vector functions and differentiability, as well as mathematicians seeking to deepen their understanding of multivariable calculus concepts.

boombaby
Messages
129
Reaction score
0

Homework Statement


Define f(0,0)=0 and [tex]f(x,y)=\frac{x^{3}}{x^{2}+y^{2}}[/tex] if (x,y)!=(0,0)
Let [tex]\gamma[/tex] be a differentiable mapping of R1 into R2, with [tex]\gamma(0)=(0,0)\;and\; |\gamma'(0)>0|[/tex]. Put [tex]g(t)=f(\gamma(t))[/tex] and prove that g is differentiable for every t in R1

Homework Equations





The Attempt at a Solution


I'm not having a strong understanding of differentiation of vector functions yet, so I'm not really sure if my proof is valid, check it please. Thanks!
f(x,y) is not differentiable at (0,0) so chain rule fails. If [tex]lim_{t->0} \frac{g(t)}{t} exists[/tex](since g(0)=0), it's done.
[tex]\frac{g(t)}{t}=\frac{f(\gamma(t))}{t}=\frac{\gamma^{3}_{1}(t)}{t(\gamma^{2}_{1}(t)+\gamma^{2}_{2}(t))}[/tex]. when t approaches zero, the denominator is not zero since [tex]|\gamma'(0)|>0[/tex], the numerator can be applied the mean value theorem and becomes [tex]\gamma^{3}_{1}(t)-\gamma^{3}_{1}(0)=3\gamma^{2}_{1}(0)\gamma'_{1}(0)t=0\;since\;\gamma_{1}(0)=0[/tex]. So g'(0) exists and equals to 0.

Thanks a lot!

actually...I'm a little more confident with it now
 
Last edited:
Physics news on Phys.org
okay now. Is this proof right?
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
3
Views
2K
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K