How to find the integration factor and solve $(x^3+xy^2-y) dx$ $+$ $(y^3+x^2y+x) dy$ $=$ $0$?What is the best...

What is the intuitive meaning of having a linear relationship between the logs of two variables?

How do scammers retract money, while you can’t?

Did Dumbledore lie to Harry about how long he had James Potter's invisibility cloak when he was examining it? If so, why?

Lay out the Carpet

Replace character with another only if repeated and not part of a word

Arithmetic mean geometric mean inequality unclear

Why escape if the_content isnt?

Failed to fetch jessie backports repository

How do we know the LHC results are robust?

Was a professor correct to chastise me for writing "Dear Prof. X" rather than "Dear Professor X"?

Increase performance creating Mandelbrot set in python

Is exact Kanji stroke length important?

How can I get through very long and very dry, but also very useful technical documents when learning a new tool?

Applicability of Single Responsibility Principle

Tiptoe or tiphoof? Adjusting words to better fit fantasy races

Is there a korbon needed for conversion?

Is there a problem with hiding "forgot password" until it's needed?

Method to test if a number is a perfect power?

Large drywall patch supports

Inappropriate reference requests from Journal reviewers

How can a function with a hole (removable discontinuity) equal a function with no hole?

What does 算不上 mean in 算不上太美好的日子?

How to check is there any negative term in a large list?

Pole-zeros of a real-valued causal FIR system



How to find the integration factor and solve $(x^3+xy^2-y) dx$ $+$ $(y^3+x^2y+x) dy$ $=$ $0$?


What is the best approach to solve $ 4y^3 y''=16 y^4 -1$?How to solve this ODE (integration factor?)To solve $y'=frac{cos y+ycos x}{xsin y-sin x}$Finding the integrating factorHow to solve this systems of equation?Finding an integration factor and general solutionSolve differential equation with integrating factorFind the Differential Equation (Integrating Factor Problem)How do I apply integrating factor to solve this differential equation?Find the integrating factor and solve













3












$begingroup$


$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0$
I tried to find on Wolfram Alpha but it showed only the solution not in step-by-step, I know that the factor is $frac{1}{x^2+y^2}$ but how to find it?










share|cite|improve this question











$endgroup$












  • $begingroup$
    This might help Integrating Factors
    $endgroup$
    – Yadati Kiran
    Mar 15 at 18:49


















3












$begingroup$


$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0$
I tried to find on Wolfram Alpha but it showed only the solution not in step-by-step, I know that the factor is $frac{1}{x^2+y^2}$ but how to find it?










share|cite|improve this question











$endgroup$












  • $begingroup$
    This might help Integrating Factors
    $endgroup$
    – Yadati Kiran
    Mar 15 at 18:49
















3












3








3


2



$begingroup$


$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0$
I tried to find on Wolfram Alpha but it showed only the solution not in step-by-step, I know that the factor is $frac{1}{x^2+y^2}$ but how to find it?










share|cite|improve this question











$endgroup$




$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0$
I tried to find on Wolfram Alpha but it showed only the solution not in step-by-step, I know that the factor is $frac{1}{x^2+y^2}$ but how to find it?







ordinary-differential-equations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 15 at 18:26









Yadati Kiran

2,1101622




2,1101622










asked Mar 15 at 18:23









Supakorn SrisawatSupakorn Srisawat

625




625












  • $begingroup$
    This might help Integrating Factors
    $endgroup$
    – Yadati Kiran
    Mar 15 at 18:49




















  • $begingroup$
    This might help Integrating Factors
    $endgroup$
    – Yadati Kiran
    Mar 15 at 18:49


















$begingroup$
This might help Integrating Factors
$endgroup$
– Yadati Kiran
Mar 15 at 18:49






$begingroup$
This might help Integrating Factors
$endgroup$
– Yadati Kiran
Mar 15 at 18:49












3 Answers
3






active

oldest

votes


















3












$begingroup$

Let
$$mu=mu(x^2+y^2)$$
We solve
$$frac{partial}{partial y}left((x^3+xy^2-y)mu(x^2+y^2)right)=
frac{partial}{partial x}left((y^3+x^2y+x)mu(x^2+y^2)right)
$$

Let $t=x^2+y^2$. We get ODE
$$tmu'(t)+mu(t)=0$$
Solution is
$$mu(t)=frac{C}{t}.$$
Then integrating factor is
$$mu=frac{1}{x^2+y^2}$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I also want the solution of ODE too.
    $endgroup$
    – Supakorn Srisawat
    Mar 15 at 19:47










  • $begingroup$
    General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
    $endgroup$
    – Aleksas Domarkas
    Mar 15 at 21:04



















2












$begingroup$

$$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0 tag 1$$
If we a-priori know that the integrating factor $mu$ is a function of $(x^2+y^2)$ it is easy to find that $mu=frac{1}{x^2+y^2}$ : For example see the Aleksas Domarkas's answer.



But what to do if we don't know that $mu$ is a function of $(x^2+y^2)$ ?



Suppose that we did try various forms of integrating factor such as $mu=f(x)$ or $mu=f(y)$ or $mu=f(xy)$ or $mu=f(x/y)$, etc. and that all failed. What to do, that is the question !



In order to make $quad (x^3+xy^2-y)mu dx+(y^3+x^2y+x)mu dyquad$ an exact differential it is necessary that :
$$frac{partial}{partial y}left((x^3+xy^2-y)mu right) = frac{partial}{partial x}left((y^3+x^2y+x)mu right)$$
$$(x^3+xy^2-y)mu_y+(2xy-1)mu = (y^3+x^2y+x)mu_x+(2xy+1)mu$$
$$(y^3+x^2y+x)mu_x -(x^3+xy^2-y)mu_y = -2mu$$

This is a PDE. Solving it would provide an infinity of solutions $mu(x,y)$ since the general solution of a first order linear PDE without boundary condition involves an arbitrary function.



But this would be a vicious circle because solving this PDE for the general solution requires to solve the ODE $(1)$ when we look for a first characteristic equation.



In fact, we don't need the general solution. We only need a characteristic equation with $mu$ in it. This will be made clear latter.



The Charpit-Lagrange system of ODEs is :
$$frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)} =frac{dmu}{-2mu}$$
A first characteristic equation would come from $frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)}$ . But this is a vicious circle as already mentioned.



A second characteristic equation comes from
$frac{dx}{(y^3+x^2y+x)}=frac{dy}{- (x^3+xy^2-y) }=frac{xdx+ydy}{x(y^3+x^2y+x)-y(x^3+xy^2-y)} =frac{xdx+ydy}{x^2+y^2}=frac{dmu}{-2mu}$



$frac{d(x^2+y^2)}{x^2+y^2}=frac{dmu}{-mu}$
$$mu(x^2+y^2)=c_2$$
This is a characteristic equation which contains $mu$. This is sufficient to have at least one solution of the PDE with $c_2=1$ for example :
$$mu=frac{1}{x^2+y^2}$$
So, thanks to this method, we found an integrating factor straightforward, without by trial and error and with no initial clue. The drawback is that one has to be familiar with the method of solving first order linear PDEs.



Once the integrating factor known, it is easy to solve the exact differential equation :
$$(x^3+xy^2-y)frac{1}{x^2+y^2}dx+(y^3+x^2y+x)frac{1}{x^2+y^2}dy=0$$
$begin{cases}
int frac{x^3+xy^2-y}{x^2+y^2}dx = frac{x^2}{2}+tan^{-1}(frac{y}{x}) +f(y)\
int frac{y^3+x^2y+x}{x^2+y^2}dy = frac{y^2}{2}+tan^{-1}(frac{y}{x}) +g(x)
end{cases}
quadimpliesquad f(y)=frac{y^2}{2} text{ and }g(x)=frac{x^2}{2}$



$$dleft(frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) right)=0$$
$$frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) =c$$






share|cite|improve this answer











$endgroup$





















    0












    $begingroup$

    As this is an exercise, a manually executable transformation into an integrable form supposedly exists. One can thus try to solve it by reverse engineering the construction of this task. Visual inspection of the terms shows that they can be grouped by the degrees structure. This gives an re-arrangement of the equation as
    $$
    %(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0
    %\
    [x^3,dx]+[xy^2,dx+x^2y,dy]+[-y,dx+x,dy]+[y^3,dy]=0.
    $$

    Now as the differential of monomials in general is $d(x^ay^b)=ax^{a-1}y^bdx+bx^ay^{b-1}dy$, these same-degree terms along with their coefficients can be combined into differentials after multiplying with 4 and extracting some factors,
    $$
    d(x^4)+2d(x^2y^2)+4x^2d(y/x)+d(y^4)=0.
    $$

    Now we see the binomial formula for the square $(x^2+y^2)^2$ in the first two and last term. The combination of radius and slope suggests a change to polar coordinates $x=rcosphi$, $y=rsinphi$ so that the equation now reads as
    $$
    d(r^4)+4r^2cos^2phi ,d(tanphi)=0
    $$

    so that now a division by $2r^r$ appears quite naturally, leading to
    $$
    d(r^2)+2dphi=0implies r^2+2phi=C
    $$






    share|cite|improve this answer









    $endgroup$













      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%2f3149639%2fhow-to-find-the-integration-factor-and-solve-x3xy2-y-dx-y3x2yx%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      3












      $begingroup$

      Let
      $$mu=mu(x^2+y^2)$$
      We solve
      $$frac{partial}{partial y}left((x^3+xy^2-y)mu(x^2+y^2)right)=
      frac{partial}{partial x}left((y^3+x^2y+x)mu(x^2+y^2)right)
      $$

      Let $t=x^2+y^2$. We get ODE
      $$tmu'(t)+mu(t)=0$$
      Solution is
      $$mu(t)=frac{C}{t}.$$
      Then integrating factor is
      $$mu=frac{1}{x^2+y^2}$$






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        I also want the solution of ODE too.
        $endgroup$
        – Supakorn Srisawat
        Mar 15 at 19:47










      • $begingroup$
        General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
        $endgroup$
        – Aleksas Domarkas
        Mar 15 at 21:04
















      3












      $begingroup$

      Let
      $$mu=mu(x^2+y^2)$$
      We solve
      $$frac{partial}{partial y}left((x^3+xy^2-y)mu(x^2+y^2)right)=
      frac{partial}{partial x}left((y^3+x^2y+x)mu(x^2+y^2)right)
      $$

      Let $t=x^2+y^2$. We get ODE
      $$tmu'(t)+mu(t)=0$$
      Solution is
      $$mu(t)=frac{C}{t}.$$
      Then integrating factor is
      $$mu=frac{1}{x^2+y^2}$$






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        I also want the solution of ODE too.
        $endgroup$
        – Supakorn Srisawat
        Mar 15 at 19:47










      • $begingroup$
        General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
        $endgroup$
        – Aleksas Domarkas
        Mar 15 at 21:04














      3












      3








      3





      $begingroup$

      Let
      $$mu=mu(x^2+y^2)$$
      We solve
      $$frac{partial}{partial y}left((x^3+xy^2-y)mu(x^2+y^2)right)=
      frac{partial}{partial x}left((y^3+x^2y+x)mu(x^2+y^2)right)
      $$

      Let $t=x^2+y^2$. We get ODE
      $$tmu'(t)+mu(t)=0$$
      Solution is
      $$mu(t)=frac{C}{t}.$$
      Then integrating factor is
      $$mu=frac{1}{x^2+y^2}$$






      share|cite|improve this answer









      $endgroup$



      Let
      $$mu=mu(x^2+y^2)$$
      We solve
      $$frac{partial}{partial y}left((x^3+xy^2-y)mu(x^2+y^2)right)=
      frac{partial}{partial x}left((y^3+x^2y+x)mu(x^2+y^2)right)
      $$

      Let $t=x^2+y^2$. We get ODE
      $$tmu'(t)+mu(t)=0$$
      Solution is
      $$mu(t)=frac{C}{t}.$$
      Then integrating factor is
      $$mu=frac{1}{x^2+y^2}$$







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered Mar 15 at 19:04









      Aleksas DomarkasAleksas Domarkas

      1,59317




      1,59317












      • $begingroup$
        I also want the solution of ODE too.
        $endgroup$
        – Supakorn Srisawat
        Mar 15 at 19:47










      • $begingroup$
        General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
        $endgroup$
        – Aleksas Domarkas
        Mar 15 at 21:04


















      • $begingroup$
        I also want the solution of ODE too.
        $endgroup$
        – Supakorn Srisawat
        Mar 15 at 19:47










      • $begingroup$
        General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
        $endgroup$
        – Aleksas Domarkas
        Mar 15 at 21:04
















      $begingroup$
      I also want the solution of ODE too.
      $endgroup$
      – Supakorn Srisawat
      Mar 15 at 19:47




      $begingroup$
      I also want the solution of ODE too.
      $endgroup$
      – Supakorn Srisawat
      Mar 15 at 19:47












      $begingroup$
      General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
      $endgroup$
      – Aleksas Domarkas
      Mar 15 at 21:04




      $begingroup$
      General solution is $x^2+y^2-2arctanleft(frac{x}{y}right)=C$
      $endgroup$
      – Aleksas Domarkas
      Mar 15 at 21:04











      2












      $begingroup$

      $$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0 tag 1$$
      If we a-priori know that the integrating factor $mu$ is a function of $(x^2+y^2)$ it is easy to find that $mu=frac{1}{x^2+y^2}$ : For example see the Aleksas Domarkas's answer.



      But what to do if we don't know that $mu$ is a function of $(x^2+y^2)$ ?



      Suppose that we did try various forms of integrating factor such as $mu=f(x)$ or $mu=f(y)$ or $mu=f(xy)$ or $mu=f(x/y)$, etc. and that all failed. What to do, that is the question !



      In order to make $quad (x^3+xy^2-y)mu dx+(y^3+x^2y+x)mu dyquad$ an exact differential it is necessary that :
      $$frac{partial}{partial y}left((x^3+xy^2-y)mu right) = frac{partial}{partial x}left((y^3+x^2y+x)mu right)$$
      $$(x^3+xy^2-y)mu_y+(2xy-1)mu = (y^3+x^2y+x)mu_x+(2xy+1)mu$$
      $$(y^3+x^2y+x)mu_x -(x^3+xy^2-y)mu_y = -2mu$$

      This is a PDE. Solving it would provide an infinity of solutions $mu(x,y)$ since the general solution of a first order linear PDE without boundary condition involves an arbitrary function.



      But this would be a vicious circle because solving this PDE for the general solution requires to solve the ODE $(1)$ when we look for a first characteristic equation.



      In fact, we don't need the general solution. We only need a characteristic equation with $mu$ in it. This will be made clear latter.



      The Charpit-Lagrange system of ODEs is :
      $$frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)} =frac{dmu}{-2mu}$$
      A first characteristic equation would come from $frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)}$ . But this is a vicious circle as already mentioned.



      A second characteristic equation comes from
      $frac{dx}{(y^3+x^2y+x)}=frac{dy}{- (x^3+xy^2-y) }=frac{xdx+ydy}{x(y^3+x^2y+x)-y(x^3+xy^2-y)} =frac{xdx+ydy}{x^2+y^2}=frac{dmu}{-2mu}$



      $frac{d(x^2+y^2)}{x^2+y^2}=frac{dmu}{-mu}$
      $$mu(x^2+y^2)=c_2$$
      This is a characteristic equation which contains $mu$. This is sufficient to have at least one solution of the PDE with $c_2=1$ for example :
      $$mu=frac{1}{x^2+y^2}$$
      So, thanks to this method, we found an integrating factor straightforward, without by trial and error and with no initial clue. The drawback is that one has to be familiar with the method of solving first order linear PDEs.



      Once the integrating factor known, it is easy to solve the exact differential equation :
      $$(x^3+xy^2-y)frac{1}{x^2+y^2}dx+(y^3+x^2y+x)frac{1}{x^2+y^2}dy=0$$
      $begin{cases}
      int frac{x^3+xy^2-y}{x^2+y^2}dx = frac{x^2}{2}+tan^{-1}(frac{y}{x}) +f(y)\
      int frac{y^3+x^2y+x}{x^2+y^2}dy = frac{y^2}{2}+tan^{-1}(frac{y}{x}) +g(x)
      end{cases}
      quadimpliesquad f(y)=frac{y^2}{2} text{ and }g(x)=frac{x^2}{2}$



      $$dleft(frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) right)=0$$
      $$frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) =c$$






      share|cite|improve this answer











      $endgroup$


















        2












        $begingroup$

        $$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0 tag 1$$
        If we a-priori know that the integrating factor $mu$ is a function of $(x^2+y^2)$ it is easy to find that $mu=frac{1}{x^2+y^2}$ : For example see the Aleksas Domarkas's answer.



        But what to do if we don't know that $mu$ is a function of $(x^2+y^2)$ ?



        Suppose that we did try various forms of integrating factor such as $mu=f(x)$ or $mu=f(y)$ or $mu=f(xy)$ or $mu=f(x/y)$, etc. and that all failed. What to do, that is the question !



        In order to make $quad (x^3+xy^2-y)mu dx+(y^3+x^2y+x)mu dyquad$ an exact differential it is necessary that :
        $$frac{partial}{partial y}left((x^3+xy^2-y)mu right) = frac{partial}{partial x}left((y^3+x^2y+x)mu right)$$
        $$(x^3+xy^2-y)mu_y+(2xy-1)mu = (y^3+x^2y+x)mu_x+(2xy+1)mu$$
        $$(y^3+x^2y+x)mu_x -(x^3+xy^2-y)mu_y = -2mu$$

        This is a PDE. Solving it would provide an infinity of solutions $mu(x,y)$ since the general solution of a first order linear PDE without boundary condition involves an arbitrary function.



        But this would be a vicious circle because solving this PDE for the general solution requires to solve the ODE $(1)$ when we look for a first characteristic equation.



        In fact, we don't need the general solution. We only need a characteristic equation with $mu$ in it. This will be made clear latter.



        The Charpit-Lagrange system of ODEs is :
        $$frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)} =frac{dmu}{-2mu}$$
        A first characteristic equation would come from $frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)}$ . But this is a vicious circle as already mentioned.



        A second characteristic equation comes from
        $frac{dx}{(y^3+x^2y+x)}=frac{dy}{- (x^3+xy^2-y) }=frac{xdx+ydy}{x(y^3+x^2y+x)-y(x^3+xy^2-y)} =frac{xdx+ydy}{x^2+y^2}=frac{dmu}{-2mu}$



        $frac{d(x^2+y^2)}{x^2+y^2}=frac{dmu}{-mu}$
        $$mu(x^2+y^2)=c_2$$
        This is a characteristic equation which contains $mu$. This is sufficient to have at least one solution of the PDE with $c_2=1$ for example :
        $$mu=frac{1}{x^2+y^2}$$
        So, thanks to this method, we found an integrating factor straightforward, without by trial and error and with no initial clue. The drawback is that one has to be familiar with the method of solving first order linear PDEs.



        Once the integrating factor known, it is easy to solve the exact differential equation :
        $$(x^3+xy^2-y)frac{1}{x^2+y^2}dx+(y^3+x^2y+x)frac{1}{x^2+y^2}dy=0$$
        $begin{cases}
        int frac{x^3+xy^2-y}{x^2+y^2}dx = frac{x^2}{2}+tan^{-1}(frac{y}{x}) +f(y)\
        int frac{y^3+x^2y+x}{x^2+y^2}dy = frac{y^2}{2}+tan^{-1}(frac{y}{x}) +g(x)
        end{cases}
        quadimpliesquad f(y)=frac{y^2}{2} text{ and }g(x)=frac{x^2}{2}$



        $$dleft(frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) right)=0$$
        $$frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) =c$$






        share|cite|improve this answer











        $endgroup$
















          2












          2








          2





          $begingroup$

          $$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0 tag 1$$
          If we a-priori know that the integrating factor $mu$ is a function of $(x^2+y^2)$ it is easy to find that $mu=frac{1}{x^2+y^2}$ : For example see the Aleksas Domarkas's answer.



          But what to do if we don't know that $mu$ is a function of $(x^2+y^2)$ ?



          Suppose that we did try various forms of integrating factor such as $mu=f(x)$ or $mu=f(y)$ or $mu=f(xy)$ or $mu=f(x/y)$, etc. and that all failed. What to do, that is the question !



          In order to make $quad (x^3+xy^2-y)mu dx+(y^3+x^2y+x)mu dyquad$ an exact differential it is necessary that :
          $$frac{partial}{partial y}left((x^3+xy^2-y)mu right) = frac{partial}{partial x}left((y^3+x^2y+x)mu right)$$
          $$(x^3+xy^2-y)mu_y+(2xy-1)mu = (y^3+x^2y+x)mu_x+(2xy+1)mu$$
          $$(y^3+x^2y+x)mu_x -(x^3+xy^2-y)mu_y = -2mu$$

          This is a PDE. Solving it would provide an infinity of solutions $mu(x,y)$ since the general solution of a first order linear PDE without boundary condition involves an arbitrary function.



          But this would be a vicious circle because solving this PDE for the general solution requires to solve the ODE $(1)$ when we look for a first characteristic equation.



          In fact, we don't need the general solution. We only need a characteristic equation with $mu$ in it. This will be made clear latter.



          The Charpit-Lagrange system of ODEs is :
          $$frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)} =frac{dmu}{-2mu}$$
          A first characteristic equation would come from $frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)}$ . But this is a vicious circle as already mentioned.



          A second characteristic equation comes from
          $frac{dx}{(y^3+x^2y+x)}=frac{dy}{- (x^3+xy^2-y) }=frac{xdx+ydy}{x(y^3+x^2y+x)-y(x^3+xy^2-y)} =frac{xdx+ydy}{x^2+y^2}=frac{dmu}{-2mu}$



          $frac{d(x^2+y^2)}{x^2+y^2}=frac{dmu}{-mu}$
          $$mu(x^2+y^2)=c_2$$
          This is a characteristic equation which contains $mu$. This is sufficient to have at least one solution of the PDE with $c_2=1$ for example :
          $$mu=frac{1}{x^2+y^2}$$
          So, thanks to this method, we found an integrating factor straightforward, without by trial and error and with no initial clue. The drawback is that one has to be familiar with the method of solving first order linear PDEs.



          Once the integrating factor known, it is easy to solve the exact differential equation :
          $$(x^3+xy^2-y)frac{1}{x^2+y^2}dx+(y^3+x^2y+x)frac{1}{x^2+y^2}dy=0$$
          $begin{cases}
          int frac{x^3+xy^2-y}{x^2+y^2}dx = frac{x^2}{2}+tan^{-1}(frac{y}{x}) +f(y)\
          int frac{y^3+x^2y+x}{x^2+y^2}dy = frac{y^2}{2}+tan^{-1}(frac{y}{x}) +g(x)
          end{cases}
          quadimpliesquad f(y)=frac{y^2}{2} text{ and }g(x)=frac{x^2}{2}$



          $$dleft(frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) right)=0$$
          $$frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) =c$$






          share|cite|improve this answer











          $endgroup$



          $$(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0 tag 1$$
          If we a-priori know that the integrating factor $mu$ is a function of $(x^2+y^2)$ it is easy to find that $mu=frac{1}{x^2+y^2}$ : For example see the Aleksas Domarkas's answer.



          But what to do if we don't know that $mu$ is a function of $(x^2+y^2)$ ?



          Suppose that we did try various forms of integrating factor such as $mu=f(x)$ or $mu=f(y)$ or $mu=f(xy)$ or $mu=f(x/y)$, etc. and that all failed. What to do, that is the question !



          In order to make $quad (x^3+xy^2-y)mu dx+(y^3+x^2y+x)mu dyquad$ an exact differential it is necessary that :
          $$frac{partial}{partial y}left((x^3+xy^2-y)mu right) = frac{partial}{partial x}left((y^3+x^2y+x)mu right)$$
          $$(x^3+xy^2-y)mu_y+(2xy-1)mu = (y^3+x^2y+x)mu_x+(2xy+1)mu$$
          $$(y^3+x^2y+x)mu_x -(x^3+xy^2-y)mu_y = -2mu$$

          This is a PDE. Solving it would provide an infinity of solutions $mu(x,y)$ since the general solution of a first order linear PDE without boundary condition involves an arbitrary function.



          But this would be a vicious circle because solving this PDE for the general solution requires to solve the ODE $(1)$ when we look for a first characteristic equation.



          In fact, we don't need the general solution. We only need a characteristic equation with $mu$ in it. This will be made clear latter.



          The Charpit-Lagrange system of ODEs is :
          $$frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)} =frac{dmu}{-2mu}$$
          A first characteristic equation would come from $frac{dx}{(y^3+x^2y+x)}=frac{dy}{-(x^3+xy^2-y)}$ . But this is a vicious circle as already mentioned.



          A second characteristic equation comes from
          $frac{dx}{(y^3+x^2y+x)}=frac{dy}{- (x^3+xy^2-y) }=frac{xdx+ydy}{x(y^3+x^2y+x)-y(x^3+xy^2-y)} =frac{xdx+ydy}{x^2+y^2}=frac{dmu}{-2mu}$



          $frac{d(x^2+y^2)}{x^2+y^2}=frac{dmu}{-mu}$
          $$mu(x^2+y^2)=c_2$$
          This is a characteristic equation which contains $mu$. This is sufficient to have at least one solution of the PDE with $c_2=1$ for example :
          $$mu=frac{1}{x^2+y^2}$$
          So, thanks to this method, we found an integrating factor straightforward, without by trial and error and with no initial clue. The drawback is that one has to be familiar with the method of solving first order linear PDEs.



          Once the integrating factor known, it is easy to solve the exact differential equation :
          $$(x^3+xy^2-y)frac{1}{x^2+y^2}dx+(y^3+x^2y+x)frac{1}{x^2+y^2}dy=0$$
          $begin{cases}
          int frac{x^3+xy^2-y}{x^2+y^2}dx = frac{x^2}{2}+tan^{-1}(frac{y}{x}) +f(y)\
          int frac{y^3+x^2y+x}{x^2+y^2}dy = frac{y^2}{2}+tan^{-1}(frac{y}{x}) +g(x)
          end{cases}
          quadimpliesquad f(y)=frac{y^2}{2} text{ and }g(x)=frac{x^2}{2}$



          $$dleft(frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) right)=0$$
          $$frac{x^2+y^2}{2}+tan^{-1}(frac{y}{x}) =c$$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Mar 18 at 7:50

























          answered Mar 16 at 17:02









          JJacquelinJJacquelin

          45.2k21856




          45.2k21856























              0












              $begingroup$

              As this is an exercise, a manually executable transformation into an integrable form supposedly exists. One can thus try to solve it by reverse engineering the construction of this task. Visual inspection of the terms shows that they can be grouped by the degrees structure. This gives an re-arrangement of the equation as
              $$
              %(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0
              %\
              [x^3,dx]+[xy^2,dx+x^2y,dy]+[-y,dx+x,dy]+[y^3,dy]=0.
              $$

              Now as the differential of monomials in general is $d(x^ay^b)=ax^{a-1}y^bdx+bx^ay^{b-1}dy$, these same-degree terms along with their coefficients can be combined into differentials after multiplying with 4 and extracting some factors,
              $$
              d(x^4)+2d(x^2y^2)+4x^2d(y/x)+d(y^4)=0.
              $$

              Now we see the binomial formula for the square $(x^2+y^2)^2$ in the first two and last term. The combination of radius and slope suggests a change to polar coordinates $x=rcosphi$, $y=rsinphi$ so that the equation now reads as
              $$
              d(r^4)+4r^2cos^2phi ,d(tanphi)=0
              $$

              so that now a division by $2r^r$ appears quite naturally, leading to
              $$
              d(r^2)+2dphi=0implies r^2+2phi=C
              $$






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                As this is an exercise, a manually executable transformation into an integrable form supposedly exists. One can thus try to solve it by reverse engineering the construction of this task. Visual inspection of the terms shows that they can be grouped by the degrees structure. This gives an re-arrangement of the equation as
                $$
                %(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0
                %\
                [x^3,dx]+[xy^2,dx+x^2y,dy]+[-y,dx+x,dy]+[y^3,dy]=0.
                $$

                Now as the differential of monomials in general is $d(x^ay^b)=ax^{a-1}y^bdx+bx^ay^{b-1}dy$, these same-degree terms along with their coefficients can be combined into differentials after multiplying with 4 and extracting some factors,
                $$
                d(x^4)+2d(x^2y^2)+4x^2d(y/x)+d(y^4)=0.
                $$

                Now we see the binomial formula for the square $(x^2+y^2)^2$ in the first two and last term. The combination of radius and slope suggests a change to polar coordinates $x=rcosphi$, $y=rsinphi$ so that the equation now reads as
                $$
                d(r^4)+4r^2cos^2phi ,d(tanphi)=0
                $$

                so that now a division by $2r^r$ appears quite naturally, leading to
                $$
                d(r^2)+2dphi=0implies r^2+2phi=C
                $$






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  As this is an exercise, a manually executable transformation into an integrable form supposedly exists. One can thus try to solve it by reverse engineering the construction of this task. Visual inspection of the terms shows that they can be grouped by the degrees structure. This gives an re-arrangement of the equation as
                  $$
                  %(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0
                  %\
                  [x^3,dx]+[xy^2,dx+x^2y,dy]+[-y,dx+x,dy]+[y^3,dy]=0.
                  $$

                  Now as the differential of monomials in general is $d(x^ay^b)=ax^{a-1}y^bdx+bx^ay^{b-1}dy$, these same-degree terms along with their coefficients can be combined into differentials after multiplying with 4 and extracting some factors,
                  $$
                  d(x^4)+2d(x^2y^2)+4x^2d(y/x)+d(y^4)=0.
                  $$

                  Now we see the binomial formula for the square $(x^2+y^2)^2$ in the first two and last term. The combination of radius and slope suggests a change to polar coordinates $x=rcosphi$, $y=rsinphi$ so that the equation now reads as
                  $$
                  d(r^4)+4r^2cos^2phi ,d(tanphi)=0
                  $$

                  so that now a division by $2r^r$ appears quite naturally, leading to
                  $$
                  d(r^2)+2dphi=0implies r^2+2phi=C
                  $$






                  share|cite|improve this answer









                  $endgroup$



                  As this is an exercise, a manually executable transformation into an integrable form supposedly exists. One can thus try to solve it by reverse engineering the construction of this task. Visual inspection of the terms shows that they can be grouped by the degrees structure. This gives an re-arrangement of the equation as
                  $$
                  %(x^3+xy^2-y)dx+(y^3+x^2y+x)dy=0
                  %\
                  [x^3,dx]+[xy^2,dx+x^2y,dy]+[-y,dx+x,dy]+[y^3,dy]=0.
                  $$

                  Now as the differential of monomials in general is $d(x^ay^b)=ax^{a-1}y^bdx+bx^ay^{b-1}dy$, these same-degree terms along with their coefficients can be combined into differentials after multiplying with 4 and extracting some factors,
                  $$
                  d(x^4)+2d(x^2y^2)+4x^2d(y/x)+d(y^4)=0.
                  $$

                  Now we see the binomial formula for the square $(x^2+y^2)^2$ in the first two and last term. The combination of radius and slope suggests a change to polar coordinates $x=rcosphi$, $y=rsinphi$ so that the equation now reads as
                  $$
                  d(r^4)+4r^2cos^2phi ,d(tanphi)=0
                  $$

                  so that now a division by $2r^r$ appears quite naturally, leading to
                  $$
                  d(r^2)+2dphi=0implies r^2+2phi=C
                  $$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Mar 18 at 10:13









                  LutzLLutzL

                  59.9k42057




                  59.9k42057






























                      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%2f3149639%2fhow-to-find-the-integration-factor-and-solve-x3xy2-y-dx-y3x2yx%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

                      Nidaros erkebispedøme

                      Birsay

                      Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...