Using PDEs to find a perpendicular set of curves to a vector field












0














So I was interested in finding the set of curves which are perpendicular to this Vector field
$$vec F(x,y) = (x-y,x+y)$$
Lets say the perpendicular curves can be expressed as level curves of the function $G(x,y)$. We know that the normal of the perpendicular curves is parallel to $vec F(x,y)$. The general expression for finding perpendicular surfaces in 3 dimensions would be
$$nabla Gtimesvec F = 0$$
Of course since we're only operating in two dimensions, the "cross product" is simply a scalar and the when applied to the given $vec F$ the following equation results
$$(x-y)frac{partial G}{partial y} = (x+y)frac{partial G}{partial x}$$



This is where I stop. My only known method for solving PDEs is to assume it a product of two single variable functions, rearrange the functions of each variable to their respective side, and solve two ODEs. This isn't possible here so I am not sure what to do. Can anyone solve, recommend tips, or point me to any sources?










share|cite|improve this question







New contributor




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

























    0














    So I was interested in finding the set of curves which are perpendicular to this Vector field
    $$vec F(x,y) = (x-y,x+y)$$
    Lets say the perpendicular curves can be expressed as level curves of the function $G(x,y)$. We know that the normal of the perpendicular curves is parallel to $vec F(x,y)$. The general expression for finding perpendicular surfaces in 3 dimensions would be
    $$nabla Gtimesvec F = 0$$
    Of course since we're only operating in two dimensions, the "cross product" is simply a scalar and the when applied to the given $vec F$ the following equation results
    $$(x-y)frac{partial G}{partial y} = (x+y)frac{partial G}{partial x}$$



    This is where I stop. My only known method for solving PDEs is to assume it a product of two single variable functions, rearrange the functions of each variable to their respective side, and solve two ODEs. This isn't possible here so I am not sure what to do. Can anyone solve, recommend tips, or point me to any sources?










    share|cite|improve this question







    New contributor




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























      0












      0








      0


      3





      So I was interested in finding the set of curves which are perpendicular to this Vector field
      $$vec F(x,y) = (x-y,x+y)$$
      Lets say the perpendicular curves can be expressed as level curves of the function $G(x,y)$. We know that the normal of the perpendicular curves is parallel to $vec F(x,y)$. The general expression for finding perpendicular surfaces in 3 dimensions would be
      $$nabla Gtimesvec F = 0$$
      Of course since we're only operating in two dimensions, the "cross product" is simply a scalar and the when applied to the given $vec F$ the following equation results
      $$(x-y)frac{partial G}{partial y} = (x+y)frac{partial G}{partial x}$$



      This is where I stop. My only known method for solving PDEs is to assume it a product of two single variable functions, rearrange the functions of each variable to their respective side, and solve two ODEs. This isn't possible here so I am not sure what to do. Can anyone solve, recommend tips, or point me to any sources?










      share|cite|improve this question







      New contributor




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











      So I was interested in finding the set of curves which are perpendicular to this Vector field
      $$vec F(x,y) = (x-y,x+y)$$
      Lets say the perpendicular curves can be expressed as level curves of the function $G(x,y)$. We know that the normal of the perpendicular curves is parallel to $vec F(x,y)$. The general expression for finding perpendicular surfaces in 3 dimensions would be
      $$nabla Gtimesvec F = 0$$
      Of course since we're only operating in two dimensions, the "cross product" is simply a scalar and the when applied to the given $vec F$ the following equation results
      $$(x-y)frac{partial G}{partial y} = (x+y)frac{partial G}{partial x}$$



      This is where I stop. My only known method for solving PDEs is to assume it a product of two single variable functions, rearrange the functions of each variable to their respective side, and solve two ODEs. This isn't possible here so I am not sure what to do. Can anyone solve, recommend tips, or point me to any sources?







      calculus pde vector-fields






      share|cite|improve this question







      New contributor




      BOTK 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




      BOTK 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






      New contributor




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









      asked Jan 4 at 7:15









      BOTKBOTK

      1




      1




      New contributor




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





      New contributor





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






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






















          1 Answer
          1






          active

          oldest

          votes


















          1














          $$ (x+y)frac{partial G}{partial x}+(y-x)frac{partial G}{partial y}=0$$
          The Charpit-Lagrange system of characteristic equations is :
          $$frac{dx}{x+y}=frac{dy}{y-x}=frac{dG}{0}$$
          A first characteristic equation comes from $frac{dx}{x+y}=frac{dy}{y-x}$ .
          This is an homogeneous ODE easy to solve : change of variable $y(x)=xu(x)$. The solution is:
          $$ln(x^2+y^2)+2arctan(frac{y}{x})=c_1$$
          A second characteristic equation comes from $frac{dG}{0}neq 0$ which implies $G=c_2$.



          From the relationship $Phi(c_1,c_2)=0$ where $Phi$ is an arbitrary function, or equivalently $c_2=F(c_1)$ where $F$ is an arbitrary function :
          $$G(x,y)=Fleft(ln(x^2+y^2)+2arctan(frac{y}{x}) right)$$
          $F$ is an arbitrary function which could be determined insofar some boundary conditions where specified.



          Note : Don't confuse this notation of function $F$ with the notation $vec F(x,y)$ used in the wording of the question.






          share|cite|improve this answer























          • Thank you so much. What kind of boundary condition would you need to determine $F$?
            – BOTK
            Jan 4 at 16:36










          • Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
            – JJacquelin
            Jan 4 at 18:54










          • I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            – BOTK
            2 days ago










          • They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
            – JJacquelin
            2 days ago










          • en.wikipedia.org/wiki/Boundary_value_problem
            – JJacquelin
            2 days ago











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


          }
          });






          BOTK 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%2f3061382%2fusing-pdes-to-find-a-perpendicular-set-of-curves-to-a-vector-field%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1














          $$ (x+y)frac{partial G}{partial x}+(y-x)frac{partial G}{partial y}=0$$
          The Charpit-Lagrange system of characteristic equations is :
          $$frac{dx}{x+y}=frac{dy}{y-x}=frac{dG}{0}$$
          A first characteristic equation comes from $frac{dx}{x+y}=frac{dy}{y-x}$ .
          This is an homogeneous ODE easy to solve : change of variable $y(x)=xu(x)$. The solution is:
          $$ln(x^2+y^2)+2arctan(frac{y}{x})=c_1$$
          A second characteristic equation comes from $frac{dG}{0}neq 0$ which implies $G=c_2$.



          From the relationship $Phi(c_1,c_2)=0$ where $Phi$ is an arbitrary function, or equivalently $c_2=F(c_1)$ where $F$ is an arbitrary function :
          $$G(x,y)=Fleft(ln(x^2+y^2)+2arctan(frac{y}{x}) right)$$
          $F$ is an arbitrary function which could be determined insofar some boundary conditions where specified.



          Note : Don't confuse this notation of function $F$ with the notation $vec F(x,y)$ used in the wording of the question.






          share|cite|improve this answer























          • Thank you so much. What kind of boundary condition would you need to determine $F$?
            – BOTK
            Jan 4 at 16:36










          • Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
            – JJacquelin
            Jan 4 at 18:54










          • I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            – BOTK
            2 days ago










          • They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
            – JJacquelin
            2 days ago










          • en.wikipedia.org/wiki/Boundary_value_problem
            – JJacquelin
            2 days ago
















          1














          $$ (x+y)frac{partial G}{partial x}+(y-x)frac{partial G}{partial y}=0$$
          The Charpit-Lagrange system of characteristic equations is :
          $$frac{dx}{x+y}=frac{dy}{y-x}=frac{dG}{0}$$
          A first characteristic equation comes from $frac{dx}{x+y}=frac{dy}{y-x}$ .
          This is an homogeneous ODE easy to solve : change of variable $y(x)=xu(x)$. The solution is:
          $$ln(x^2+y^2)+2arctan(frac{y}{x})=c_1$$
          A second characteristic equation comes from $frac{dG}{0}neq 0$ which implies $G=c_2$.



          From the relationship $Phi(c_1,c_2)=0$ where $Phi$ is an arbitrary function, or equivalently $c_2=F(c_1)$ where $F$ is an arbitrary function :
          $$G(x,y)=Fleft(ln(x^2+y^2)+2arctan(frac{y}{x}) right)$$
          $F$ is an arbitrary function which could be determined insofar some boundary conditions where specified.



          Note : Don't confuse this notation of function $F$ with the notation $vec F(x,y)$ used in the wording of the question.






          share|cite|improve this answer























          • Thank you so much. What kind of boundary condition would you need to determine $F$?
            – BOTK
            Jan 4 at 16:36










          • Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
            – JJacquelin
            Jan 4 at 18:54










          • I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            – BOTK
            2 days ago










          • They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
            – JJacquelin
            2 days ago










          • en.wikipedia.org/wiki/Boundary_value_problem
            – JJacquelin
            2 days ago














          1












          1








          1






          $$ (x+y)frac{partial G}{partial x}+(y-x)frac{partial G}{partial y}=0$$
          The Charpit-Lagrange system of characteristic equations is :
          $$frac{dx}{x+y}=frac{dy}{y-x}=frac{dG}{0}$$
          A first characteristic equation comes from $frac{dx}{x+y}=frac{dy}{y-x}$ .
          This is an homogeneous ODE easy to solve : change of variable $y(x)=xu(x)$. The solution is:
          $$ln(x^2+y^2)+2arctan(frac{y}{x})=c_1$$
          A second characteristic equation comes from $frac{dG}{0}neq 0$ which implies $G=c_2$.



          From the relationship $Phi(c_1,c_2)=0$ where $Phi$ is an arbitrary function, or equivalently $c_2=F(c_1)$ where $F$ is an arbitrary function :
          $$G(x,y)=Fleft(ln(x^2+y^2)+2arctan(frac{y}{x}) right)$$
          $F$ is an arbitrary function which could be determined insofar some boundary conditions where specified.



          Note : Don't confuse this notation of function $F$ with the notation $vec F(x,y)$ used in the wording of the question.






          share|cite|improve this answer














          $$ (x+y)frac{partial G}{partial x}+(y-x)frac{partial G}{partial y}=0$$
          The Charpit-Lagrange system of characteristic equations is :
          $$frac{dx}{x+y}=frac{dy}{y-x}=frac{dG}{0}$$
          A first characteristic equation comes from $frac{dx}{x+y}=frac{dy}{y-x}$ .
          This is an homogeneous ODE easy to solve : change of variable $y(x)=xu(x)$. The solution is:
          $$ln(x^2+y^2)+2arctan(frac{y}{x})=c_1$$
          A second characteristic equation comes from $frac{dG}{0}neq 0$ which implies $G=c_2$.



          From the relationship $Phi(c_1,c_2)=0$ where $Phi$ is an arbitrary function, or equivalently $c_2=F(c_1)$ where $F$ is an arbitrary function :
          $$G(x,y)=Fleft(ln(x^2+y^2)+2arctan(frac{y}{x}) right)$$
          $F$ is an arbitrary function which could be determined insofar some boundary conditions where specified.



          Note : Don't confuse this notation of function $F$ with the notation $vec F(x,y)$ used in the wording of the question.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 4 at 8:43

























          answered Jan 4 at 8:34









          JJacquelinJJacquelin

          42.8k21750




          42.8k21750












          • Thank you so much. What kind of boundary condition would you need to determine $F$?
            – BOTK
            Jan 4 at 16:36










          • Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
            – JJacquelin
            Jan 4 at 18:54










          • I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            – BOTK
            2 days ago










          • They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
            – JJacquelin
            2 days ago










          • en.wikipedia.org/wiki/Boundary_value_problem
            – JJacquelin
            2 days ago


















          • Thank you so much. What kind of boundary condition would you need to determine $F$?
            – BOTK
            Jan 4 at 16:36










          • Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
            – JJacquelin
            Jan 4 at 18:54










          • I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            – BOTK
            2 days ago










          • They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
            – JJacquelin
            2 days ago










          • en.wikipedia.org/wiki/Boundary_value_problem
            – JJacquelin
            2 days ago
















          Thank you so much. What kind of boundary condition would you need to determine $F$?
          – BOTK
          Jan 4 at 16:36




          Thank you so much. What kind of boundary condition would you need to determine $F$?
          – BOTK
          Jan 4 at 16:36












          Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
          – JJacquelin
          Jan 4 at 18:54




          Boundary conditions are necessary in a general context of solving PDE. I suppose that you only want the "level curves" where $G(x,y)=$constant. Then doesn't mater $F$ since the function of a constant is a constant. $$ln(x^2+y^2)+2arctan(y/x)=text{constant}$$
          – JJacquelin
          Jan 4 at 18:54












          I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
          – BOTK
          2 days ago




          I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
          – BOTK
          2 days ago












          They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
          – JJacquelin
          2 days ago




          They are several kind of boundary conditions. For example : a specified relationship between $x$ and $y$ along a specified line. But depending on the context, the condition might also involve specified relationship with partial derivative, or something else. mathworld.wolfram.com/BoundaryConditions.html .
          – JJacquelin
          2 days ago












          en.wikipedia.org/wiki/Boundary_value_problem
          – JJacquelin
          2 days ago




          en.wikipedia.org/wiki/Boundary_value_problem
          – JJacquelin
          2 days ago










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










          draft saved

          draft discarded


















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













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












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
















          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%2f3061382%2fusing-pdes-to-find-a-perpendicular-set-of-curves-to-a-vector-field%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

          1300-talet

          1300-talet

          Display a custom attribute below product name in the front-end Magento 1.9.3.8