Proving Differentiability of f in R$^2$

  • Thread starter Thread starter ehrenfest
  • Start date Start date
  • Tags Tags
    Differentiability
Click For Summary
SUMMARY

The discussion focuses on proving the differentiability of the function f defined in R², where f(0,0) = 0 and f(x,y) = x³/(x² + y²) for (x,y) ≠ (0,0). Participants successfully demonstrated that the partial derivatives of f are bounded functions in R² and established that the directional derivative (Dₘ f)(0,0) exists with an absolute value not exceeding 1. The challenge lies in proving the differentiability of the composition g(t) = f(γ(t)) for a differentiable mapping γ from R¹ into R², particularly at t = 0.

PREREQUISITES
  • Understanding of partial derivatives in multivariable calculus.
  • Familiarity with directional derivatives and their properties.
  • Knowledge of differentiable mappings and their implications in calculus.
  • Proficiency in limits and continuity in the context of R² functions.
NEXT STEPS
  • Study the properties of bounded functions in multivariable calculus.
  • Learn about the implications of directional derivatives in R².
  • Explore the concept of differentiability in the context of compositions of functions.
  • Investigate the use of the chain rule in multivariable calculus.
USEFUL FOR

Mathematics students, calculus instructors, and researchers in analysis who are focused on multivariable functions and differentiability concepts.

ehrenfest
Messages
2,001
Reaction score
1
Define [tex]f(0,0) = 0[/tex] and

[tex]f(x,y) = \frac {x^3}{x^2 + y^2}[/tex] if [tex](x,y) \neq (0,0)[/tex]

a) Prove that the partial derivatives of f are bounded functions in R^2.

b) Let [itex]\mathbf{u}[/itex] be any unit vector in R^2. Show that the directional derivative [tex](D_{\mathbf{u}} f)(0,0)[/tex] exists, and its absolute value is at most 1.

c)Let \gamma be a differentiable mapping of R^1 into R^2, with \gamma(0) = (0,0) and [itex]|\gamma'(0)| > 0[/itex]. Put [itex]g(t) = f(\gamma(t))[/itex] and prove that [itex]g[/itex] is differentiable for every t \in R^1.

I can do parts a) and b). I need help with part c) at t = 0. I am not sure if I need parts a) and b) for part c).
 
Physics news on Phys.org
Start off with [tex]\gamma (t) = \gamma_1 (t)\mathbf{e_1}+\gamma_2 (t)\mathbf{e_2}[/tex] and substitute this into f(x,y) and take a derivative (deal with t=0 separately). You do not need parts a and b for part c.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
8
Views
2K
Replies
2
Views
2K
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K