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












2














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



























    2














    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

























      2












      2








      2


      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 '18 at 22:13









      Bad At MathBad At Math

      203




      203






















          2 Answers
          2






          active

          oldest

          votes


















          2














          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





























            1














            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',
              autoActivateHeartbeat: false,
              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









              2














              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


























                2














                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
























                  2












                  2








                  2






                  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 '18 at 22:25









                  Mostafa AyazMostafa Ayaz

                  14.2k3937




                  14.2k3937























                      1














                      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


























                        1














                        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
























                          1












                          1








                          1






                          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 '18 at 22:27









                          Daniel DuqueDaniel 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

                              Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

                              ComboBox Display Member on multiple fields

                              Is it possible to collect Nectar points via Trainline?