Proof: There is no function $f in C^2(mathbb{R^3})$ with gradient $nabla f(x,y,z) = (yz, xz, xy^2)$











up vote
2
down vote

favorite
1












How can one show that there is no function, which is a continuously partially derivable function $f in C^2(mathbb{R^3})$ with this gradient



$$nabla f(x,y,z) = (yz, xz, xy^2)$$



I thought about using the Hessian matrix since one has to calculate all second partial derivatives of $f$ there.



Since only the gradient is given, can I calculate the antiderivatives first:



$yz = xyz$



$xz = xyz$



$xy^2 = xy^2z$



Now I want to calculate the antiderivatives of the antiderivatives:



$xyz = frac{yzx^2}{2}$



$xyz = frac{yzx^2}{2}$



$xy^2z = dfrac{y^2zx^2}{2}$



I didn't calculate the antiderivatives of the partial derivatives and I don't even know if that way is correct...










share|cite|improve this question


























    up vote
    2
    down vote

    favorite
    1












    How can one show that there is no function, which is a continuously partially derivable function $f in C^2(mathbb{R^3})$ with this gradient



    $$nabla f(x,y,z) = (yz, xz, xy^2)$$



    I thought about using the Hessian matrix since one has to calculate all second partial derivatives of $f$ there.



    Since only the gradient is given, can I calculate the antiderivatives first:



    $yz = xyz$



    $xz = xyz$



    $xy^2 = xy^2z$



    Now I want to calculate the antiderivatives of the antiderivatives:



    $xyz = frac{yzx^2}{2}$



    $xyz = frac{yzx^2}{2}$



    $xy^2z = dfrac{y^2zx^2}{2}$



    I didn't calculate the antiderivatives of the partial derivatives and I don't even know if that way is correct...










    share|cite|improve this question
























      up vote
      2
      down vote

      favorite
      1









      up vote
      2
      down vote

      favorite
      1






      1





      How can one show that there is no function, which is a continuously partially derivable function $f in C^2(mathbb{R^3})$ with this gradient



      $$nabla f(x,y,z) = (yz, xz, xy^2)$$



      I thought about using the Hessian matrix since one has to calculate all second partial derivatives of $f$ there.



      Since only the gradient is given, can I calculate the antiderivatives first:



      $yz = xyz$



      $xz = xyz$



      $xy^2 = xy^2z$



      Now I want to calculate the antiderivatives of the antiderivatives:



      $xyz = frac{yzx^2}{2}$



      $xyz = frac{yzx^2}{2}$



      $xy^2z = dfrac{y^2zx^2}{2}$



      I didn't calculate the antiderivatives of the partial derivatives and I don't even know if that way is correct...










      share|cite|improve this question













      How can one show that there is no function, which is a continuously partially derivable function $f in C^2(mathbb{R^3})$ with this gradient



      $$nabla f(x,y,z) = (yz, xz, xy^2)$$



      I thought about using the Hessian matrix since one has to calculate all second partial derivatives of $f$ there.



      Since only the gradient is given, can I calculate the antiderivatives first:



      $yz = xyz$



      $xz = xyz$



      $xy^2 = xy^2z$



      Now I want to calculate the antiderivatives of the antiderivatives:



      $xyz = frac{yzx^2}{2}$



      $xyz = frac{yzx^2}{2}$



      $xy^2z = dfrac{y^2zx^2}{2}$



      I didn't calculate the antiderivatives of the partial derivatives and I don't even know if that way is correct...







      analysis functions derivatives continuity partial-derivative






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 22 at 22:13









      Bad At Math

      203




      203






















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          2
          down vote



          accepted










          If $$nabla f=(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$$and $f_i$s are twice differentiable, we must have $${partial ^2 f_1over partial ypartial z}={partial ^2 f_2over partial xpartial z}={partial ^2 f_3over partial xpartial y}$$for all $x,y,z$ but this doesn't hold here since $$1=1ne 2yqquad forall x,y,zin Bbb R$$therefore such a function doesn't exist.






          share|cite|improve this answer




























            up vote
            1
            down vote













            In other words, you are asking to show that your vector field is not conservative. It is enough to show that the curl of your vector field is different to zero.






            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: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader: {
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              },
              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%2f3009733%2fproof-there-is-no-function-f-in-c2-mathbbr3-with-gradient-nabla-fx%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              2
              down vote



              accepted










              If $$nabla f=(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$$and $f_i$s are twice differentiable, we must have $${partial ^2 f_1over partial ypartial z}={partial ^2 f_2over partial xpartial z}={partial ^2 f_3over partial xpartial y}$$for all $x,y,z$ but this doesn't hold here since $$1=1ne 2yqquad forall x,y,zin Bbb R$$therefore such a function doesn't exist.






              share|cite|improve this answer

























                up vote
                2
                down vote



                accepted










                If $$nabla f=(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$$and $f_i$s are twice differentiable, we must have $${partial ^2 f_1over partial ypartial z}={partial ^2 f_2over partial xpartial z}={partial ^2 f_3over partial xpartial y}$$for all $x,y,z$ but this doesn't hold here since $$1=1ne 2yqquad forall x,y,zin Bbb R$$therefore such a function doesn't exist.






                share|cite|improve this answer























                  up vote
                  2
                  down vote



                  accepted







                  up vote
                  2
                  down vote



                  accepted






                  If $$nabla f=(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$$and $f_i$s are twice differentiable, we must have $${partial ^2 f_1over partial ypartial z}={partial ^2 f_2over partial xpartial z}={partial ^2 f_3over partial xpartial y}$$for all $x,y,z$ but this doesn't hold here since $$1=1ne 2yqquad forall x,y,zin Bbb R$$therefore such a function doesn't exist.






                  share|cite|improve this answer












                  If $$nabla f=(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$$and $f_i$s are twice differentiable, we must have $${partial ^2 f_1over partial ypartial z}={partial ^2 f_2over partial xpartial z}={partial ^2 f_3over partial xpartial y}$$for all $x,y,z$ but this doesn't hold here since $$1=1ne 2yqquad forall x,y,zin Bbb R$$therefore such a function doesn't exist.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Nov 22 at 22:25









                  Mostafa Ayaz

                  13.5k3836




                  13.5k3836






















                      up vote
                      1
                      down vote













                      In other words, you are asking to show that your vector field is not conservative. It is enough to show that the curl of your vector field is different to zero.






                      share|cite|improve this answer

























                        up vote
                        1
                        down vote













                        In other words, you are asking to show that your vector field is not conservative. It is enough to show that the curl of your vector field is different to zero.






                        share|cite|improve this answer























                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          In other words, you are asking to show that your vector field is not conservative. It is enough to show that the curl of your vector field is different to zero.






                          share|cite|improve this answer












                          In other words, you are asking to show that your vector field is not conservative. It is enough to show that the curl of your vector field is different to zero.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Nov 22 at 22:27









                          Daniel Duque

                          267




                          267






























                              draft saved

                              draft discarded




















































                              Thanks for contributing an answer to Mathematics Stack Exchange!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              Use MathJax to format equations. MathJax reference.


                              To learn more, see our tips on writing great answers.





                              Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                              Please pay close attention to the following guidance:


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009733%2fproof-there-is-no-function-f-in-c2-mathbbr3-with-gradient-nabla-fx%23new-answer', 'question_page');
                              }
                              );

                              Post as a guest















                              Required, but never shown





















































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown

































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown







                              Popular posts from this blog

                              Bundesstraße 106

                              Verónica Boquete

                              Ida-Boy-Ed-Garten