Function is partial differentiable but has no total derivative

Multi tool use
Multi tool use

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
1












I have to give an example of a function $f colon mathbbR^2 to mathbbR$ that has partial derivatives $(partial_1f)(0,0) = 1 = (partial_2f)(0,0)$ but no total derivative in $(0,0)$.



I think that the function
$$
f colon mathbbR^2 to mathbbR,
quad
f(x,y) =
begincases
fracxyx^2 + y^2 + x + y & textif $(x,y) neq (0,0)$ \
0 & textif $(x,y) = (0,0)$
endcases
$$
is an example, I'm just not sure if my proof is correct.



We know that $f$ is total differentiable if $(x,y) neq (0,0)$ because the partial derivatives exist and are continuous.



$f$ is also partial differentiable if $(x,y) = (0,0)$ because $f(x,0) = x$ and $f(0,y) = y$ and they are given by $(partial_1 f)(x,0) = 1 = (partial_2f)(0,y) = 1$.



To proof that $f$ is total differentiable in $(0,0)$ we now only have to proof that
$$
f(x,y)
= (1,1)
beginpmatrix
x \
y \
endpmatrix
+ o(| (x,y) |)
qquad
textwhen $(x,y) to (0,0)$
$$
but this doesn't hold when $x=y=t$ and $t to 0$ and so $f$ is not total differentiable when $(x,y) = (0,0)$.



Can someone confirm if this is correct?







share|cite|improve this question


















  • 2




    For me, it's correct.
    – paf
    Aug 26 at 10:11






  • 2




    I found no error.
    – José Carlos Santos
    Aug 26 at 10:13














up vote
2
down vote

favorite
1












I have to give an example of a function $f colon mathbbR^2 to mathbbR$ that has partial derivatives $(partial_1f)(0,0) = 1 = (partial_2f)(0,0)$ but no total derivative in $(0,0)$.



I think that the function
$$
f colon mathbbR^2 to mathbbR,
quad
f(x,y) =
begincases
fracxyx^2 + y^2 + x + y & textif $(x,y) neq (0,0)$ \
0 & textif $(x,y) = (0,0)$
endcases
$$
is an example, I'm just not sure if my proof is correct.



We know that $f$ is total differentiable if $(x,y) neq (0,0)$ because the partial derivatives exist and are continuous.



$f$ is also partial differentiable if $(x,y) = (0,0)$ because $f(x,0) = x$ and $f(0,y) = y$ and they are given by $(partial_1 f)(x,0) = 1 = (partial_2f)(0,y) = 1$.



To proof that $f$ is total differentiable in $(0,0)$ we now only have to proof that
$$
f(x,y)
= (1,1)
beginpmatrix
x \
y \
endpmatrix
+ o(| (x,y) |)
qquad
textwhen $(x,y) to (0,0)$
$$
but this doesn't hold when $x=y=t$ and $t to 0$ and so $f$ is not total differentiable when $(x,y) = (0,0)$.



Can someone confirm if this is correct?







share|cite|improve this question


















  • 2




    For me, it's correct.
    – paf
    Aug 26 at 10:11






  • 2




    I found no error.
    – José Carlos Santos
    Aug 26 at 10:13












up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





I have to give an example of a function $f colon mathbbR^2 to mathbbR$ that has partial derivatives $(partial_1f)(0,0) = 1 = (partial_2f)(0,0)$ but no total derivative in $(0,0)$.



I think that the function
$$
f colon mathbbR^2 to mathbbR,
quad
f(x,y) =
begincases
fracxyx^2 + y^2 + x + y & textif $(x,y) neq (0,0)$ \
0 & textif $(x,y) = (0,0)$
endcases
$$
is an example, I'm just not sure if my proof is correct.



We know that $f$ is total differentiable if $(x,y) neq (0,0)$ because the partial derivatives exist and are continuous.



$f$ is also partial differentiable if $(x,y) = (0,0)$ because $f(x,0) = x$ and $f(0,y) = y$ and they are given by $(partial_1 f)(x,0) = 1 = (partial_2f)(0,y) = 1$.



To proof that $f$ is total differentiable in $(0,0)$ we now only have to proof that
$$
f(x,y)
= (1,1)
beginpmatrix
x \
y \
endpmatrix
+ o(| (x,y) |)
qquad
textwhen $(x,y) to (0,0)$
$$
but this doesn't hold when $x=y=t$ and $t to 0$ and so $f$ is not total differentiable when $(x,y) = (0,0)$.



Can someone confirm if this is correct?







share|cite|improve this question














I have to give an example of a function $f colon mathbbR^2 to mathbbR$ that has partial derivatives $(partial_1f)(0,0) = 1 = (partial_2f)(0,0)$ but no total derivative in $(0,0)$.



I think that the function
$$
f colon mathbbR^2 to mathbbR,
quad
f(x,y) =
begincases
fracxyx^2 + y^2 + x + y & textif $(x,y) neq (0,0)$ \
0 & textif $(x,y) = (0,0)$
endcases
$$
is an example, I'm just not sure if my proof is correct.



We know that $f$ is total differentiable if $(x,y) neq (0,0)$ because the partial derivatives exist and are continuous.



$f$ is also partial differentiable if $(x,y) = (0,0)$ because $f(x,0) = x$ and $f(0,y) = y$ and they are given by $(partial_1 f)(x,0) = 1 = (partial_2f)(0,y) = 1$.



To proof that $f$ is total differentiable in $(0,0)$ we now only have to proof that
$$
f(x,y)
= (1,1)
beginpmatrix
x \
y \
endpmatrix
+ o(| (x,y) |)
qquad
textwhen $(x,y) to (0,0)$
$$
but this doesn't hold when $x=y=t$ and $t to 0$ and so $f$ is not total differentiable when $(x,y) = (0,0)$.



Can someone confirm if this is correct?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 26 at 14:45

























asked Aug 26 at 10:08









Mee98

19010




19010







  • 2




    For me, it's correct.
    – paf
    Aug 26 at 10:11






  • 2




    I found no error.
    – José Carlos Santos
    Aug 26 at 10:13












  • 2




    For me, it's correct.
    – paf
    Aug 26 at 10:11






  • 2




    I found no error.
    – José Carlos Santos
    Aug 26 at 10:13







2




2




For me, it's correct.
– paf
Aug 26 at 10:11




For me, it's correct.
– paf
Aug 26 at 10:11




2




2




I found no error.
– José Carlos Santos
Aug 26 at 10:13




I found no error.
– José Carlos Santos
Aug 26 at 10:13










1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










Yes, you have it right.



Your function has partial derivatives at the origin without being continuous.






share|cite|improve this answer




















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2894879%2ffunction-is-partial-differentiable-but-has-no-total-derivative%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    Yes, you have it right.



    Your function has partial derivatives at the origin without being continuous.






    share|cite|improve this answer
























      up vote
      1
      down vote



      accepted










      Yes, you have it right.



      Your function has partial derivatives at the origin without being continuous.






      share|cite|improve this answer






















        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        Yes, you have it right.



        Your function has partial derivatives at the origin without being continuous.






        share|cite|improve this answer












        Yes, you have it right.



        Your function has partial derivatives at the origin without being continuous.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 26 at 10:26









        Mohammad Riazi-Kermani

        30.5k41852




        30.5k41852



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2894879%2ffunction-is-partial-differentiable-but-has-no-total-derivative%23new-answer', 'question_page');

            );

            Post as a guest













































































            EzA0s5PfbR3,Vw8mPb0D,bq8NB8ISPyn
            bfL2GnR7W 7ANL0V6wlyimTBcZIrQsC 43BKRauxWgz,JJROsvQAMx4jDtm6Gz D99

            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Propositional logic and tautologies

            Distribution of Stopped Wiener Process with Stochastic Volatility