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
$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?
ordinary-differential-equations
$endgroup$
add a comment |
$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?
ordinary-differential-equations
$endgroup$
$begingroup$
This might help Integrating Factors
$endgroup$
– Yadati Kiran
Mar 15 at 18:49
add a comment |
$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?
ordinary-differential-equations
$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
ordinary-differential-equations
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
add a comment |
$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
add a comment |
3 Answers
3
active
oldest
votes
$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}$$
$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
add a comment |
$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$$
$endgroup$
add a comment |
$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
$$
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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}$$
$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
add a comment |
$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}$$
$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
add a comment |
$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}$$
$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}$$
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
add a comment |
$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
add a comment |
$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$$
$endgroup$
add a comment |
$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$$
$endgroup$
add a comment |
$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$$
$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$$
edited Mar 18 at 7:50
answered Mar 16 at 17:02
JJacquelinJJacquelin
45.2k21856
45.2k21856
add a comment |
add a comment |
$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
$$
$endgroup$
add a comment |
$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
$$
$endgroup$
add a comment |
$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
$$
$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
$$
answered Mar 18 at 10:13
LutzLLutzL
59.9k42057
59.9k42057
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
This might help Integrating Factors
$endgroup$
– Yadati Kiran
Mar 15 at 18:49