Proving Twice Differentiability at a Point for a Function of Two Variables

Click For Summary
SUMMARY

The discussion focuses on proving that the function f(x,y) = x·3^(x+y²) is twice differentiable at the point P(1,0). The key requirement for twice differentiability is the existence of n-th degree partial derivatives within a neighborhood of P. The participants emphasize the importance of evaluating the limit of the difference quotient for the partial derivatives f_x and f_y, and confirm that since f is defined for all points in ℝ², the function meets the criteria for differentiability in the epsilon neighborhood around P.

PREREQUISITES
  • Understanding of partial derivatives and their definitions.
  • Familiarity with the concept of differentiability in multivariable calculus.
  • Knowledge of limits and epsilon-delta definitions in calculus.
  • Basic proficiency in working with exponential functions and their properties.
NEXT STEPS
  • Study the concept of epsilon-delta proofs in multivariable calculus.
  • Learn how to compute higher-order partial derivatives for functions of two variables.
  • Explore the implications of differentiability on the continuity of functions in ℝ².
  • Investigate the application of Taylor series for functions of multiple variables.
USEFUL FOR

Students and educators in calculus, particularly those focusing on multivariable functions, as well as mathematicians interested in the properties of differentiability in higher dimensions.

nuuskur
Science Advisor
Messages
927
Reaction score
1,226

Homework Statement


Given f(x,y) = x\cdot 3^{x+y^2}. Prove that f is differentiable twice at the point P(1,0).

Homework Equations


D\subset\mathbb{R}^2, f\colon D\to\mathbb{R}, P\in \mathring{D}(interior point) - then f is differentiable n+1 times at P\Leftrightarrow \exists\varepsilon > 0\colon in the sphere B(P,\varepsilon) there are defined n-th degree partial derivatives.

The Attempt at a Solution


I want to use the definition of a partial derivative f_x := \lim_{t\to 0}\frac{f(P_x + t, P_y) - f(P_x,P_y)}{t} if the limit exists (either in R or +/- infinity).
How can I check if the limit exists for any and all points inside a sphere? I want to give an epsilon and show that every point in the sphere with radius epsilon has a final limit for both fx and fy.
 
Physics news on Phys.org
Have you tried actually writing out the difference quotient for that particular f? Using the fact that xe^{x+ y^2}= xe^xe^{y^2} that should be easy.
 
f_x = 3^{y^2} \lim_{t\to 0} \frac{(x+t)3^x3^t - x3^x}{t}. This is all kid's play, but how does this help me in determining whether fx is defined for every point in the epsilon-sphere?

If the limit exists for any x (that is to say, that any fx is defined in its domain), would it be enough to show that all of the (x,y) in my epsilon sphere (a circle actually) belong to the domain of the function?

Since f is an elementary function that is defined in all of \mathbb{R}^2. Therefore any point in the epsilon circle (I keep calling it sphere :/ ) would fit the bill no problem. Would this explanation be sufficient?
 
Last edited:

Similar threads

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