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












0












$begingroup$


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









$endgroup$

















    0












    $begingroup$


    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









    $endgroup$















      0












      0








      0


      3



      $begingroup$


      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









      $endgroup$




      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













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 4 at 7:15









      BOTKBOTK

      1




      1






















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          $$ (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











          $endgroup$













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










          • $begingroup$
            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}$$
            $endgroup$
            – JJacquelin
            Jan 4 at 18:54










          • $begingroup$
            I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            $endgroup$
            – BOTK
            Jan 5 at 8:25










          • $begingroup$
            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 .
            $endgroup$
            – JJacquelin
            Jan 5 at 8:39










          • $begingroup$
            en.wikipedia.org/wiki/Boundary_value_problem
            $endgroup$
            – JJacquelin
            Jan 5 at 8:44











          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%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









          2












          $begingroup$

          $$ (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











          $endgroup$













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










          • $begingroup$
            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}$$
            $endgroup$
            – JJacquelin
            Jan 4 at 18:54










          • $begingroup$
            I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            $endgroup$
            – BOTK
            Jan 5 at 8:25










          • $begingroup$
            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 .
            $endgroup$
            – JJacquelin
            Jan 5 at 8:39










          • $begingroup$
            en.wikipedia.org/wiki/Boundary_value_problem
            $endgroup$
            – JJacquelin
            Jan 5 at 8:44
















          2












          $begingroup$

          $$ (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











          $endgroup$













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










          • $begingroup$
            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}$$
            $endgroup$
            – JJacquelin
            Jan 4 at 18:54










          • $begingroup$
            I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            $endgroup$
            – BOTK
            Jan 5 at 8:25










          • $begingroup$
            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 .
            $endgroup$
            – JJacquelin
            Jan 5 at 8:39










          • $begingroup$
            en.wikipedia.org/wiki/Boundary_value_problem
            $endgroup$
            – JJacquelin
            Jan 5 at 8:44














          2












          2








          2





          $begingroup$

          $$ (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











          $endgroup$



          $$ (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

          44.3k21854




          44.3k21854












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










          • $begingroup$
            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}$$
            $endgroup$
            – JJacquelin
            Jan 4 at 18:54










          • $begingroup$
            I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            $endgroup$
            – BOTK
            Jan 5 at 8:25










          • $begingroup$
            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 .
            $endgroup$
            – JJacquelin
            Jan 5 at 8:39










          • $begingroup$
            en.wikipedia.org/wiki/Boundary_value_problem
            $endgroup$
            – JJacquelin
            Jan 5 at 8:44


















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










          • $begingroup$
            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}$$
            $endgroup$
            – JJacquelin
            Jan 4 at 18:54










          • $begingroup$
            I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
            $endgroup$
            – BOTK
            Jan 5 at 8:25










          • $begingroup$
            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 .
            $endgroup$
            – JJacquelin
            Jan 5 at 8:39










          • $begingroup$
            en.wikipedia.org/wiki/Boundary_value_problem
            $endgroup$
            – JJacquelin
            Jan 5 at 8:44
















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




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












          $begingroup$
          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}$$
          $endgroup$
          – JJacquelin
          Jan 4 at 18:54




          $begingroup$
          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}$$
          $endgroup$
          – JJacquelin
          Jan 4 at 18:54












          $begingroup$
          I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
          $endgroup$
          – BOTK
          Jan 5 at 8:25




          $begingroup$
          I understand that. I'm asking what kind of information you would need in order to determine a specific $F$.
          $endgroup$
          – BOTK
          Jan 5 at 8:25












          $begingroup$
          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 .
          $endgroup$
          – JJacquelin
          Jan 5 at 8:39




          $begingroup$
          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 .
          $endgroup$
          – JJacquelin
          Jan 5 at 8:39












          $begingroup$
          en.wikipedia.org/wiki/Boundary_value_problem
          $endgroup$
          – JJacquelin
          Jan 5 at 8:44




          $begingroup$
          en.wikipedia.org/wiki/Boundary_value_problem
          $endgroup$
          – JJacquelin
          Jan 5 at 8:44


















          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.




          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

          Quarter-circle Tiles

          build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

          Mont Emei