1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof of differentiability

  1. Mar 13, 2015 #1
    1. The problem statement, all variables and given/known data
    Given [itex]f(x,y) = x\cdot 3^{x+y^2} [/itex]. Prove that f is differentiable twice at the point P(1,0).

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


    3. The attempt at a solution
    I want to use the definition of a partial derivative [itex]f_x := \lim_{t\to 0}\frac{f(P_x + t, P_y) - f(P_x,P_y)}{t}[/itex] 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.
     
  2. jcsd
  3. Mar 13, 2015 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Have you tried actually writing out the difference quotient for that particular f? Using the fact that [itex]xe^{x+ y^2}= xe^xe^{y^2}[/itex] that should be easy.
     
  4. Mar 14, 2015 #3
    [itex]f_x = 3^{y^2} \lim_{t\to 0} \frac{(x+t)3^x3^t - x3^x}{t} [/itex]. 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 [itex]\mathbb{R}^2[/itex]. 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: Mar 14, 2015
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Proof of differentiability
  1. Differentiation Proof (Replies: 1)

Loading...