What is wrong with this reasoning in with respect to working with differential of z

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











up vote
2
down vote

favorite












I know implicit differentiation. Just playing around with the differential of $z$ I did something like this, which I am sure is wrong somewhere. I want to know where I am wrong. Given a function $z = f(x,y)$, its differential is



beginalign
delta z &= fracpartial zpartial x cdot delta x + fracpartial zpartial y cdot delta y
endalign



Now dividing by $delta x$ throughout and taking the limit $delta x$, $delta y$, $delta z$ tending to zero, I get something like



beginalign
fracpartial zpartial x &= fracpartial zpartial x cdot 1 + fracpartial zpartial y cdot fracpartial ypartial x
endalign



Cancelling the $fracpartial zpartial x$ term, I get $fracpartial zpartial y cdot fracpartial ypartial x = 0 $, which is not an identity.



My question is, where am I wrong?










share|cite|improve this question









New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.



















  • If we were allowed to treat $partial x$ and $dx$ (which you note $delta x$) as interchangeable (and cancelable), then we'd have a more basic problem: in the original equation we could cancel $delta x$ and also $delta y$ and we'd get $delta z = 2 delta z$...
    – leonbloy
    4 hours ago














up vote
2
down vote

favorite












I know implicit differentiation. Just playing around with the differential of $z$ I did something like this, which I am sure is wrong somewhere. I want to know where I am wrong. Given a function $z = f(x,y)$, its differential is



beginalign
delta z &= fracpartial zpartial x cdot delta x + fracpartial zpartial y cdot delta y
endalign



Now dividing by $delta x$ throughout and taking the limit $delta x$, $delta y$, $delta z$ tending to zero, I get something like



beginalign
fracpartial zpartial x &= fracpartial zpartial x cdot 1 + fracpartial zpartial y cdot fracpartial ypartial x
endalign



Cancelling the $fracpartial zpartial x$ term, I get $fracpartial zpartial y cdot fracpartial ypartial x = 0 $, which is not an identity.



My question is, where am I wrong?










share|cite|improve this question









New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.



















  • If we were allowed to treat $partial x$ and $dx$ (which you note $delta x$) as interchangeable (and cancelable), then we'd have a more basic problem: in the original equation we could cancel $delta x$ and also $delta y$ and we'd get $delta z = 2 delta z$...
    – leonbloy
    4 hours ago












up vote
2
down vote

favorite









up vote
2
down vote

favorite











I know implicit differentiation. Just playing around with the differential of $z$ I did something like this, which I am sure is wrong somewhere. I want to know where I am wrong. Given a function $z = f(x,y)$, its differential is



beginalign
delta z &= fracpartial zpartial x cdot delta x + fracpartial zpartial y cdot delta y
endalign



Now dividing by $delta x$ throughout and taking the limit $delta x$, $delta y$, $delta z$ tending to zero, I get something like



beginalign
fracpartial zpartial x &= fracpartial zpartial x cdot 1 + fracpartial zpartial y cdot fracpartial ypartial x
endalign



Cancelling the $fracpartial zpartial x$ term, I get $fracpartial zpartial y cdot fracpartial ypartial x = 0 $, which is not an identity.



My question is, where am I wrong?










share|cite|improve this question









New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











I know implicit differentiation. Just playing around with the differential of $z$ I did something like this, which I am sure is wrong somewhere. I want to know where I am wrong. Given a function $z = f(x,y)$, its differential is



beginalign
delta z &= fracpartial zpartial x cdot delta x + fracpartial zpartial y cdot delta y
endalign



Now dividing by $delta x$ throughout and taking the limit $delta x$, $delta y$, $delta z$ tending to zero, I get something like



beginalign
fracpartial zpartial x &= fracpartial zpartial x cdot 1 + fracpartial zpartial y cdot fracpartial ypartial x
endalign



Cancelling the $fracpartial zpartial x$ term, I get $fracpartial zpartial y cdot fracpartial ypartial x = 0 $, which is not an identity.



My question is, where am I wrong?







calculus derivatives partial-derivative differential-forms






share|cite|improve this question









New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 4 hours ago









Mattos

2,66321121




2,66321121






New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 5 hours ago









Abhishek_04

142




142




New contributor




Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Abhishek_04 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











  • If we were allowed to treat $partial x$ and $dx$ (which you note $delta x$) as interchangeable (and cancelable), then we'd have a more basic problem: in the original equation we could cancel $delta x$ and also $delta y$ and we'd get $delta z = 2 delta z$...
    – leonbloy
    4 hours ago
















  • If we were allowed to treat $partial x$ and $dx$ (which you note $delta x$) as interchangeable (and cancelable), then we'd have a more basic problem: in the original equation we could cancel $delta x$ and also $delta y$ and we'd get $delta z = 2 delta z$...
    – leonbloy
    4 hours ago















If we were allowed to treat $partial x$ and $dx$ (which you note $delta x$) as interchangeable (and cancelable), then we'd have a more basic problem: in the original equation we could cancel $delta x$ and also $delta y$ and we'd get $delta z = 2 delta z$...
– leonbloy
4 hours ago




If we were allowed to treat $partial x$ and $dx$ (which you note $delta x$) as interchangeable (and cancelable), then we'd have a more basic problem: in the original equation we could cancel $delta x$ and also $delta y$ and we'd get $delta z = 2 delta z$...
– leonbloy
4 hours ago










3 Answers
3






active

oldest

votes

















up vote
3
down vote













It's the difference between the partial derivative $fracpartial zpartial x$ and the total derivative $fracmathrmd zmathrmd x$. The total derivative accounts for potential dependency of $x$ and $y$ on each other. In our case, we would have
$$fracmathrmd zmathrmd x = fracpartial zpartial x + fracpartial zpartial y fracmathrmd ymathrmd x.$$
Note that this is precisely the (single-variable) derivative of a two variable function $z$, with $x$ and a function $y(x)$ substituted in. Rearranging this gives us the differential of $z$ as before.



$$mathrmd z = fracpartial zpartial xmathrmd x + fracpartial zpartial y mathrmd y.$$



Your mistake was treating $mathrmd z$ and $partial z$ as interchangeable, which they aren't.






share|cite|improve this answer




















  • Thanks,it makes sense now.
    – Abhishek_04
    3 hours ago

















up vote
1
down vote













You are dividing $$beginalign
delta z = fracpartial zpartial x * delta x + fracpartial zpartial y * delta y
endalign$$



by $ delta x$ to get $$ beginalign
fracpartial zpartial x = fracpartial zpartial x * 1 + fracpartial zpartial y * fracpartial ypartial x
endalign$$



How did you get $$fracpartial zpartial x$$
on the $LHS$ ?



Then you cancelled two different things from both sides.



Somehow you are confused between partial derivatives and total derivative.






share|cite|improve this answer



























    up vote
    1
    down vote













    In the right-hand side you don't have $z=z(x,y)$, but the composition $tildez(x)= tildez(x,y(x))$. It is another different function. The chain rule gives $$fracrm dtildezrm dx(x) = fracpartial zpartial x(x,y(x))+fracpartial zpartial y(x,y(x))fracrm dyrm dx(x). $$You were a victim of the abuse of notation $tildezequiv z$. In fact, I am commiting one more abuse myself: using $y$ both for a variable of the function $z$ and to denote a function of $x$ (but I suppose you understand that no one wants to keep writing $tildez(x)=z(x,tildey(x))$, etc.).






    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
      );



      );






      Abhishek_04 is a new contributor. Be nice, and check out our Code of Conduct.









       

      draft saved


      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2927156%2fwhat-is-wrong-with-this-reasoning-in-with-respect-to-working-with-differential-o%23new-answer', 'question_page');

      );

      Post as a guest






























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      3
      down vote













      It's the difference between the partial derivative $fracpartial zpartial x$ and the total derivative $fracmathrmd zmathrmd x$. The total derivative accounts for potential dependency of $x$ and $y$ on each other. In our case, we would have
      $$fracmathrmd zmathrmd x = fracpartial zpartial x + fracpartial zpartial y fracmathrmd ymathrmd x.$$
      Note that this is precisely the (single-variable) derivative of a two variable function $z$, with $x$ and a function $y(x)$ substituted in. Rearranging this gives us the differential of $z$ as before.



      $$mathrmd z = fracpartial zpartial xmathrmd x + fracpartial zpartial y mathrmd y.$$



      Your mistake was treating $mathrmd z$ and $partial z$ as interchangeable, which they aren't.






      share|cite|improve this answer




















      • Thanks,it makes sense now.
        – Abhishek_04
        3 hours ago














      up vote
      3
      down vote













      It's the difference between the partial derivative $fracpartial zpartial x$ and the total derivative $fracmathrmd zmathrmd x$. The total derivative accounts for potential dependency of $x$ and $y$ on each other. In our case, we would have
      $$fracmathrmd zmathrmd x = fracpartial zpartial x + fracpartial zpartial y fracmathrmd ymathrmd x.$$
      Note that this is precisely the (single-variable) derivative of a two variable function $z$, with $x$ and a function $y(x)$ substituted in. Rearranging this gives us the differential of $z$ as before.



      $$mathrmd z = fracpartial zpartial xmathrmd x + fracpartial zpartial y mathrmd y.$$



      Your mistake was treating $mathrmd z$ and $partial z$ as interchangeable, which they aren't.






      share|cite|improve this answer




















      • Thanks,it makes sense now.
        – Abhishek_04
        3 hours ago












      up vote
      3
      down vote










      up vote
      3
      down vote









      It's the difference between the partial derivative $fracpartial zpartial x$ and the total derivative $fracmathrmd zmathrmd x$. The total derivative accounts for potential dependency of $x$ and $y$ on each other. In our case, we would have
      $$fracmathrmd zmathrmd x = fracpartial zpartial x + fracpartial zpartial y fracmathrmd ymathrmd x.$$
      Note that this is precisely the (single-variable) derivative of a two variable function $z$, with $x$ and a function $y(x)$ substituted in. Rearranging this gives us the differential of $z$ as before.



      $$mathrmd z = fracpartial zpartial xmathrmd x + fracpartial zpartial y mathrmd y.$$



      Your mistake was treating $mathrmd z$ and $partial z$ as interchangeable, which they aren't.






      share|cite|improve this answer












      It's the difference between the partial derivative $fracpartial zpartial x$ and the total derivative $fracmathrmd zmathrmd x$. The total derivative accounts for potential dependency of $x$ and $y$ on each other. In our case, we would have
      $$fracmathrmd zmathrmd x = fracpartial zpartial x + fracpartial zpartial y fracmathrmd ymathrmd x.$$
      Note that this is precisely the (single-variable) derivative of a two variable function $z$, with $x$ and a function $y(x)$ substituted in. Rearranging this gives us the differential of $z$ as before.



      $$mathrmd z = fracpartial zpartial xmathrmd x + fracpartial zpartial y mathrmd y.$$



      Your mistake was treating $mathrmd z$ and $partial z$ as interchangeable, which they aren't.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered 4 hours ago









      Theo Bendit

      13.9k12045




      13.9k12045











      • Thanks,it makes sense now.
        – Abhishek_04
        3 hours ago
















      • Thanks,it makes sense now.
        – Abhishek_04
        3 hours ago















      Thanks,it makes sense now.
      – Abhishek_04
      3 hours ago




      Thanks,it makes sense now.
      – Abhishek_04
      3 hours ago










      up vote
      1
      down vote













      You are dividing $$beginalign
      delta z = fracpartial zpartial x * delta x + fracpartial zpartial y * delta y
      endalign$$



      by $ delta x$ to get $$ beginalign
      fracpartial zpartial x = fracpartial zpartial x * 1 + fracpartial zpartial y * fracpartial ypartial x
      endalign$$



      How did you get $$fracpartial zpartial x$$
      on the $LHS$ ?



      Then you cancelled two different things from both sides.



      Somehow you are confused between partial derivatives and total derivative.






      share|cite|improve this answer
























        up vote
        1
        down vote













        You are dividing $$beginalign
        delta z = fracpartial zpartial x * delta x + fracpartial zpartial y * delta y
        endalign$$



        by $ delta x$ to get $$ beginalign
        fracpartial zpartial x = fracpartial zpartial x * 1 + fracpartial zpartial y * fracpartial ypartial x
        endalign$$



        How did you get $$fracpartial zpartial x$$
        on the $LHS$ ?



        Then you cancelled two different things from both sides.



        Somehow you are confused between partial derivatives and total derivative.






        share|cite|improve this answer






















          up vote
          1
          down vote










          up vote
          1
          down vote









          You are dividing $$beginalign
          delta z = fracpartial zpartial x * delta x + fracpartial zpartial y * delta y
          endalign$$



          by $ delta x$ to get $$ beginalign
          fracpartial zpartial x = fracpartial zpartial x * 1 + fracpartial zpartial y * fracpartial ypartial x
          endalign$$



          How did you get $$fracpartial zpartial x$$
          on the $LHS$ ?



          Then you cancelled two different things from both sides.



          Somehow you are confused between partial derivatives and total derivative.






          share|cite|improve this answer












          You are dividing $$beginalign
          delta z = fracpartial zpartial x * delta x + fracpartial zpartial y * delta y
          endalign$$



          by $ delta x$ to get $$ beginalign
          fracpartial zpartial x = fracpartial zpartial x * 1 + fracpartial zpartial y * fracpartial ypartial x
          endalign$$



          How did you get $$fracpartial zpartial x$$
          on the $LHS$ ?



          Then you cancelled two different things from both sides.



          Somehow you are confused between partial derivatives and total derivative.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 4 hours ago









          Mohammad Riazi-Kermani

          32k41853




          32k41853




















              up vote
              1
              down vote













              In the right-hand side you don't have $z=z(x,y)$, but the composition $tildez(x)= tildez(x,y(x))$. It is another different function. The chain rule gives $$fracrm dtildezrm dx(x) = fracpartial zpartial x(x,y(x))+fracpartial zpartial y(x,y(x))fracrm dyrm dx(x). $$You were a victim of the abuse of notation $tildezequiv z$. In fact, I am commiting one more abuse myself: using $y$ both for a variable of the function $z$ and to denote a function of $x$ (but I suppose you understand that no one wants to keep writing $tildez(x)=z(x,tildey(x))$, etc.).






              share|cite|improve this answer
























                up vote
                1
                down vote













                In the right-hand side you don't have $z=z(x,y)$, but the composition $tildez(x)= tildez(x,y(x))$. It is another different function. The chain rule gives $$fracrm dtildezrm dx(x) = fracpartial zpartial x(x,y(x))+fracpartial zpartial y(x,y(x))fracrm dyrm dx(x). $$You were a victim of the abuse of notation $tildezequiv z$. In fact, I am commiting one more abuse myself: using $y$ both for a variable of the function $z$ and to denote a function of $x$ (but I suppose you understand that no one wants to keep writing $tildez(x)=z(x,tildey(x))$, etc.).






                share|cite|improve this answer






















                  up vote
                  1
                  down vote










                  up vote
                  1
                  down vote









                  In the right-hand side you don't have $z=z(x,y)$, but the composition $tildez(x)= tildez(x,y(x))$. It is another different function. The chain rule gives $$fracrm dtildezrm dx(x) = fracpartial zpartial x(x,y(x))+fracpartial zpartial y(x,y(x))fracrm dyrm dx(x). $$You were a victim of the abuse of notation $tildezequiv z$. In fact, I am commiting one more abuse myself: using $y$ both for a variable of the function $z$ and to denote a function of $x$ (but I suppose you understand that no one wants to keep writing $tildez(x)=z(x,tildey(x))$, etc.).






                  share|cite|improve this answer












                  In the right-hand side you don't have $z=z(x,y)$, but the composition $tildez(x)= tildez(x,y(x))$. It is another different function. The chain rule gives $$fracrm dtildezrm dx(x) = fracpartial zpartial x(x,y(x))+fracpartial zpartial y(x,y(x))fracrm dyrm dx(x). $$You were a victim of the abuse of notation $tildezequiv z$. In fact, I am commiting one more abuse myself: using $y$ both for a variable of the function $z$ and to denote a function of $x$ (but I suppose you understand that no one wants to keep writing $tildez(x)=z(x,tildey(x))$, etc.).







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 4 hours ago









                  Ivo Terek

                  44.1k949135




                  44.1k949135




















                      Abhishek_04 is a new contributor. Be nice, and check out our Code of Conduct.









                       

                      draft saved


                      draft discarded


















                      Abhishek_04 is a new contributor. Be nice, and check out our Code of Conduct.












                      Abhishek_04 is a new contributor. Be nice, and check out our Code of Conduct.











                      Abhishek_04 is a new contributor. Be nice, and check out our Code of Conduct.













                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2927156%2fwhat-is-wrong-with-this-reasoning-in-with-respect-to-working-with-differential-o%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      Comments

                      Popular posts from this blog

                      What does second last employer means? [closed]

                      List of Gilmore Girls characters

                      Confectionery