Help with a PDE General Solution
$begingroup$
I have to find the general solution of the following:
$$x^2u_x+yu_y=1$$
in the quarter plane $x,y > 0$
I tried solving by simple ODE with an integrating factor of $x^{2y}.$
my general solution came to
$$u(x,y)=frac{(x^{2y+1})}{(2y+1)}+f(y)$$.
My question is does my general solution make sense, also how does the "in the quarter plane $x,y>0$ affect my solution?
Also,
Find a solution which satisfies
$$u(x,frac{x}{2})=frac{1}{x}+1$$.
Thanks!
ordinary-differential-equations pde
$endgroup$
add a comment |
$begingroup$
I have to find the general solution of the following:
$$x^2u_x+yu_y=1$$
in the quarter plane $x,y > 0$
I tried solving by simple ODE with an integrating factor of $x^{2y}.$
my general solution came to
$$u(x,y)=frac{(x^{2y+1})}{(2y+1)}+f(y)$$.
My question is does my general solution make sense, also how does the "in the quarter plane $x,y>0$ affect my solution?
Also,
Find a solution which satisfies
$$u(x,frac{x}{2})=frac{1}{x}+1$$.
Thanks!
ordinary-differential-equations pde
$endgroup$
$begingroup$
$x^{2y}$ (as a real valued function) is only defined when $xgeq0$. Differentiability requires that $x >0$. Now in your solution (I haven't checked it) you divide by $2y+1$. Taking $y>0$ avoids the singularity at $y=-frac{1}{2}$. I suspect this is the reason for the $x,y>0$ requirement.
$endgroup$
– Martin
Nov 30 '18 at 17:51
$begingroup$
The equation isn't solvable at $x=y=0$, since it degenerates into the silly equation $0=1$ if $u,u_x$ are bounded at 0. Also if you relax to $xge 0, y>0$ you will see that you need $u|_{x=0} = frac1{2y}$,
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:00
$begingroup$
@CalvinKhor Although my solution uses $x>0$, using $x=0$ in it leads to $u=1/2y$.
$endgroup$
– rafa11111
Nov 30 '18 at 18:03
$begingroup$
@rafa11111 yes, I wanted to say, "consistent with rafa11111's answer" but was distracted. :)
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:04
$begingroup$
Did you just change the pde with your edit? If so, you should probably mention it in the question, as the current answer will no longer be valid. You've completely changed the nature of the pde now ...
$endgroup$
– Time4Tea
Nov 30 '18 at 22:18
add a comment |
$begingroup$
I have to find the general solution of the following:
$$x^2u_x+yu_y=1$$
in the quarter plane $x,y > 0$
I tried solving by simple ODE with an integrating factor of $x^{2y}.$
my general solution came to
$$u(x,y)=frac{(x^{2y+1})}{(2y+1)}+f(y)$$.
My question is does my general solution make sense, also how does the "in the quarter plane $x,y>0$ affect my solution?
Also,
Find a solution which satisfies
$$u(x,frac{x}{2})=frac{1}{x}+1$$.
Thanks!
ordinary-differential-equations pde
$endgroup$
I have to find the general solution of the following:
$$x^2u_x+yu_y=1$$
in the quarter plane $x,y > 0$
I tried solving by simple ODE with an integrating factor of $x^{2y}.$
my general solution came to
$$u(x,y)=frac{(x^{2y+1})}{(2y+1)}+f(y)$$.
My question is does my general solution make sense, also how does the "in the quarter plane $x,y>0$ affect my solution?
Also,
Find a solution which satisfies
$$u(x,frac{x}{2})=frac{1}{x}+1$$.
Thanks!
ordinary-differential-equations pde
ordinary-differential-equations pde
edited Nov 30 '18 at 21:43
asked Nov 30 '18 at 16:50
user608953
$begingroup$
$x^{2y}$ (as a real valued function) is only defined when $xgeq0$. Differentiability requires that $x >0$. Now in your solution (I haven't checked it) you divide by $2y+1$. Taking $y>0$ avoids the singularity at $y=-frac{1}{2}$. I suspect this is the reason for the $x,y>0$ requirement.
$endgroup$
– Martin
Nov 30 '18 at 17:51
$begingroup$
The equation isn't solvable at $x=y=0$, since it degenerates into the silly equation $0=1$ if $u,u_x$ are bounded at 0. Also if you relax to $xge 0, y>0$ you will see that you need $u|_{x=0} = frac1{2y}$,
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:00
$begingroup$
@CalvinKhor Although my solution uses $x>0$, using $x=0$ in it leads to $u=1/2y$.
$endgroup$
– rafa11111
Nov 30 '18 at 18:03
$begingroup$
@rafa11111 yes, I wanted to say, "consistent with rafa11111's answer" but was distracted. :)
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:04
$begingroup$
Did you just change the pde with your edit? If so, you should probably mention it in the question, as the current answer will no longer be valid. You've completely changed the nature of the pde now ...
$endgroup$
– Time4Tea
Nov 30 '18 at 22:18
add a comment |
$begingroup$
$x^{2y}$ (as a real valued function) is only defined when $xgeq0$. Differentiability requires that $x >0$. Now in your solution (I haven't checked it) you divide by $2y+1$. Taking $y>0$ avoids the singularity at $y=-frac{1}{2}$. I suspect this is the reason for the $x,y>0$ requirement.
$endgroup$
– Martin
Nov 30 '18 at 17:51
$begingroup$
The equation isn't solvable at $x=y=0$, since it degenerates into the silly equation $0=1$ if $u,u_x$ are bounded at 0. Also if you relax to $xge 0, y>0$ you will see that you need $u|_{x=0} = frac1{2y}$,
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:00
$begingroup$
@CalvinKhor Although my solution uses $x>0$, using $x=0$ in it leads to $u=1/2y$.
$endgroup$
– rafa11111
Nov 30 '18 at 18:03
$begingroup$
@rafa11111 yes, I wanted to say, "consistent with rafa11111's answer" but was distracted. :)
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:04
$begingroup$
Did you just change the pde with your edit? If so, you should probably mention it in the question, as the current answer will no longer be valid. You've completely changed the nature of the pde now ...
$endgroup$
– Time4Tea
Nov 30 '18 at 22:18
$begingroup$
$x^{2y}$ (as a real valued function) is only defined when $xgeq0$. Differentiability requires that $x >0$. Now in your solution (I haven't checked it) you divide by $2y+1$. Taking $y>0$ avoids the singularity at $y=-frac{1}{2}$. I suspect this is the reason for the $x,y>0$ requirement.
$endgroup$
– Martin
Nov 30 '18 at 17:51
$begingroup$
$x^{2y}$ (as a real valued function) is only defined when $xgeq0$. Differentiability requires that $x >0$. Now in your solution (I haven't checked it) you divide by $2y+1$. Taking $y>0$ avoids the singularity at $y=-frac{1}{2}$. I suspect this is the reason for the $x,y>0$ requirement.
$endgroup$
– Martin
Nov 30 '18 at 17:51
$begingroup$
The equation isn't solvable at $x=y=0$, since it degenerates into the silly equation $0=1$ if $u,u_x$ are bounded at 0. Also if you relax to $xge 0, y>0$ you will see that you need $u|_{x=0} = frac1{2y}$,
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:00
$begingroup$
The equation isn't solvable at $x=y=0$, since it degenerates into the silly equation $0=1$ if $u,u_x$ are bounded at 0. Also if you relax to $xge 0, y>0$ you will see that you need $u|_{x=0} = frac1{2y}$,
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:00
$begingroup$
@CalvinKhor Although my solution uses $x>0$, using $x=0$ in it leads to $u=1/2y$.
$endgroup$
– rafa11111
Nov 30 '18 at 18:03
$begingroup$
@CalvinKhor Although my solution uses $x>0$, using $x=0$ in it leads to $u=1/2y$.
$endgroup$
– rafa11111
Nov 30 '18 at 18:03
$begingroup$
@rafa11111 yes, I wanted to say, "consistent with rafa11111's answer" but was distracted. :)
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:04
$begingroup$
@rafa11111 yes, I wanted to say, "consistent with rafa11111's answer" but was distracted. :)
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:04
$begingroup$
Did you just change the pde with your edit? If so, you should probably mention it in the question, as the current answer will no longer be valid. You've completely changed the nature of the pde now ...
$endgroup$
– Time4Tea
Nov 30 '18 at 22:18
$begingroup$
Did you just change the pde with your edit? If so, you should probably mention it in the question, as the current answer will no longer be valid. You've completely changed the nature of the pde now ...
$endgroup$
– Time4Tea
Nov 30 '18 at 22:18
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
EDIT: The solution presented here was derived for the equation
$$x^2 u_x + y u = 1,$$
which was the original object of the question. This derivation does not work for the equation presented now in the question.
You probably made some mistake while solving the equation, because the formula for $u(x,y)$ you provided isn't a solution to the equation. However, you don't even need to use the integrating factor, since the equation is separable,
$$
frac{u_x}{1-2yu}=frac{1}{x}.
$$
You can now readily integrate both sides, but I usually do it in the following "fancy" way: see that
$$
frac{partial}{partial x} (1-2yu) = -2yu_x.
$$
Therefore, multiplying both sides of the separated equation by $-2y$ and changing $-2yu_x$ for $(1-2yu)_x$,
$$
frac{(1-2yu)_x}{1-2yu}=-frac{2y}{x}.
$$
Treating $y$ as a constant and integrating both sides (you can define $v=1-2yu$, and the LHS will be $v'/v$, whose integral is $log |v|$),
$$
log |1-2yu|=f(y)-2ylog |x|.
$$
Since $x>0$, $log |x|= log x$, therefore
$$
|1-2yu| = x^{-2y} exp (f(y)).
$$
The RHS is always positive. Then, solving for $u$,
$$
u= frac{1}{2y} + frac{g(y)}{x^{2y}},
$$
in which $g(y) = exp(f(y))/2y$. Just as Martin pointed out in his comment, the requirement of $x,y>0$ allows us to do such manipulations. If you needed the solution for $x<0$, for example, some steps would require modifications.
For the condition
$$
u(x,x/2) = 1+frac{1}{x},
$$
we can simply substitute in the solution, leading to
$$
g(x/2) = x^x.
$$
Now, $g$ is simply a function, regardless of on which variable we are applying it; in the equality $g(x/2)=x^x$, $x$ is a free variable, because we can change $x$ for any other letter and the equality would be the same. Therefore, using $z=x/2$, we have $g(z)=(2z)^{2z}$, and the solution is
$$
u= frac{1}{2y} + left(frac{2y}{x}right)^{2y},
$$
which satisfy $u=1+1/x$ for $y=x/2$.
$endgroup$
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
|
show 4 more comments
$begingroup$
$$x^2u_x+yu_y=1 tag 1$$
Lagrange-Charpit equations :
$$frac{dx}{x^2}=frac{dy}{y}=frac{du}{1}$$
A first family of characteristic curves comes from $frac{dx}{x^2}=frac{dy}{y}$ :
$$ln|y|+frac{1}{x}=c_1$$
A second family of characteristic curves comes from $frac{dx}{x^2}=frac{du}{1}$ :
$$u+frac{1}{x}=c_2$$
The general solution of the PDE $(1)$ is :
$$u+frac{1}{x}=Fleft(ln|y|+frac{1}{x}right)$$
$$u(x,y)=-frac{1}{x}+Fleft(ln|y|+frac{1}{x}right) tag 2$$
$F$ is an arbitrary function, to be determined according to boundary condition.
Condition : $u(x,frac{x}{2})=frac{1}{x}+1$
$$frac{1}{x}+1=-frac{1}{x}+Fleft(ln|frac{x}{2}|+frac{1}{x}right)$$
$$Fleft(ln|frac{x}{2}|+frac{1}{x}right)=frac{2}{x}+1$$
Then finding $F$ involves a special function (Lambert W). This draw to think that there is a mistake in the condition specified by the OP.
If the condition is definitively $u(x,frac{x}{2})=frac{1}{x}+1$ the calculus is:
Let $X=ln|frac{x}{2}|+frac{1}{x}$
$x=-frac{1}{Wleft(frac12e^{-X} right)}$
$W$ is the Lambert W function.
$$F(X)=-2Wleft(frac12 e^{-X} right)+1$$
So, the function $F$ is determined. We put it into the general solution Eq.$(2)$ where $X=ln|y|+frac{1}{x}$
$$u(x,y)=-frac{1}{x}-2Wleft(frac12 e^{-ln|y|-frac{1}{x}} right)+1$$
$$u(x,y)=-frac{1}{x}-2Wleft(frac{1}{2|y|} e^{-frac{1}{x}} right)+1$$
$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%2f3020310%2fhelp-with-a-pde-general-solution%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
EDIT: The solution presented here was derived for the equation
$$x^2 u_x + y u = 1,$$
which was the original object of the question. This derivation does not work for the equation presented now in the question.
You probably made some mistake while solving the equation, because the formula for $u(x,y)$ you provided isn't a solution to the equation. However, you don't even need to use the integrating factor, since the equation is separable,
$$
frac{u_x}{1-2yu}=frac{1}{x}.
$$
You can now readily integrate both sides, but I usually do it in the following "fancy" way: see that
$$
frac{partial}{partial x} (1-2yu) = -2yu_x.
$$
Therefore, multiplying both sides of the separated equation by $-2y$ and changing $-2yu_x$ for $(1-2yu)_x$,
$$
frac{(1-2yu)_x}{1-2yu}=-frac{2y}{x}.
$$
Treating $y$ as a constant and integrating both sides (you can define $v=1-2yu$, and the LHS will be $v'/v$, whose integral is $log |v|$),
$$
log |1-2yu|=f(y)-2ylog |x|.
$$
Since $x>0$, $log |x|= log x$, therefore
$$
|1-2yu| = x^{-2y} exp (f(y)).
$$
The RHS is always positive. Then, solving for $u$,
$$
u= frac{1}{2y} + frac{g(y)}{x^{2y}},
$$
in which $g(y) = exp(f(y))/2y$. Just as Martin pointed out in his comment, the requirement of $x,y>0$ allows us to do such manipulations. If you needed the solution for $x<0$, for example, some steps would require modifications.
For the condition
$$
u(x,x/2) = 1+frac{1}{x},
$$
we can simply substitute in the solution, leading to
$$
g(x/2) = x^x.
$$
Now, $g$ is simply a function, regardless of on which variable we are applying it; in the equality $g(x/2)=x^x$, $x$ is a free variable, because we can change $x$ for any other letter and the equality would be the same. Therefore, using $z=x/2$, we have $g(z)=(2z)^{2z}$, and the solution is
$$
u= frac{1}{2y} + left(frac{2y}{x}right)^{2y},
$$
which satisfy $u=1+1/x$ for $y=x/2$.
$endgroup$
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
|
show 4 more comments
$begingroup$
EDIT: The solution presented here was derived for the equation
$$x^2 u_x + y u = 1,$$
which was the original object of the question. This derivation does not work for the equation presented now in the question.
You probably made some mistake while solving the equation, because the formula for $u(x,y)$ you provided isn't a solution to the equation. However, you don't even need to use the integrating factor, since the equation is separable,
$$
frac{u_x}{1-2yu}=frac{1}{x}.
$$
You can now readily integrate both sides, but I usually do it in the following "fancy" way: see that
$$
frac{partial}{partial x} (1-2yu) = -2yu_x.
$$
Therefore, multiplying both sides of the separated equation by $-2y$ and changing $-2yu_x$ for $(1-2yu)_x$,
$$
frac{(1-2yu)_x}{1-2yu}=-frac{2y}{x}.
$$
Treating $y$ as a constant and integrating both sides (you can define $v=1-2yu$, and the LHS will be $v'/v$, whose integral is $log |v|$),
$$
log |1-2yu|=f(y)-2ylog |x|.
$$
Since $x>0$, $log |x|= log x$, therefore
$$
|1-2yu| = x^{-2y} exp (f(y)).
$$
The RHS is always positive. Then, solving for $u$,
$$
u= frac{1}{2y} + frac{g(y)}{x^{2y}},
$$
in which $g(y) = exp(f(y))/2y$. Just as Martin pointed out in his comment, the requirement of $x,y>0$ allows us to do such manipulations. If you needed the solution for $x<0$, for example, some steps would require modifications.
For the condition
$$
u(x,x/2) = 1+frac{1}{x},
$$
we can simply substitute in the solution, leading to
$$
g(x/2) = x^x.
$$
Now, $g$ is simply a function, regardless of on which variable we are applying it; in the equality $g(x/2)=x^x$, $x$ is a free variable, because we can change $x$ for any other letter and the equality would be the same. Therefore, using $z=x/2$, we have $g(z)=(2z)^{2z}$, and the solution is
$$
u= frac{1}{2y} + left(frac{2y}{x}right)^{2y},
$$
which satisfy $u=1+1/x$ for $y=x/2$.
$endgroup$
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
|
show 4 more comments
$begingroup$
EDIT: The solution presented here was derived for the equation
$$x^2 u_x + y u = 1,$$
which was the original object of the question. This derivation does not work for the equation presented now in the question.
You probably made some mistake while solving the equation, because the formula for $u(x,y)$ you provided isn't a solution to the equation. However, you don't even need to use the integrating factor, since the equation is separable,
$$
frac{u_x}{1-2yu}=frac{1}{x}.
$$
You can now readily integrate both sides, but I usually do it in the following "fancy" way: see that
$$
frac{partial}{partial x} (1-2yu) = -2yu_x.
$$
Therefore, multiplying both sides of the separated equation by $-2y$ and changing $-2yu_x$ for $(1-2yu)_x$,
$$
frac{(1-2yu)_x}{1-2yu}=-frac{2y}{x}.
$$
Treating $y$ as a constant and integrating both sides (you can define $v=1-2yu$, and the LHS will be $v'/v$, whose integral is $log |v|$),
$$
log |1-2yu|=f(y)-2ylog |x|.
$$
Since $x>0$, $log |x|= log x$, therefore
$$
|1-2yu| = x^{-2y} exp (f(y)).
$$
The RHS is always positive. Then, solving for $u$,
$$
u= frac{1}{2y} + frac{g(y)}{x^{2y}},
$$
in which $g(y) = exp(f(y))/2y$. Just as Martin pointed out in his comment, the requirement of $x,y>0$ allows us to do such manipulations. If you needed the solution for $x<0$, for example, some steps would require modifications.
For the condition
$$
u(x,x/2) = 1+frac{1}{x},
$$
we can simply substitute in the solution, leading to
$$
g(x/2) = x^x.
$$
Now, $g$ is simply a function, regardless of on which variable we are applying it; in the equality $g(x/2)=x^x$, $x$ is a free variable, because we can change $x$ for any other letter and the equality would be the same. Therefore, using $z=x/2$, we have $g(z)=(2z)^{2z}$, and the solution is
$$
u= frac{1}{2y} + left(frac{2y}{x}right)^{2y},
$$
which satisfy $u=1+1/x$ for $y=x/2$.
$endgroup$
EDIT: The solution presented here was derived for the equation
$$x^2 u_x + y u = 1,$$
which was the original object of the question. This derivation does not work for the equation presented now in the question.
You probably made some mistake while solving the equation, because the formula for $u(x,y)$ you provided isn't a solution to the equation. However, you don't even need to use the integrating factor, since the equation is separable,
$$
frac{u_x}{1-2yu}=frac{1}{x}.
$$
You can now readily integrate both sides, but I usually do it in the following "fancy" way: see that
$$
frac{partial}{partial x} (1-2yu) = -2yu_x.
$$
Therefore, multiplying both sides of the separated equation by $-2y$ and changing $-2yu_x$ for $(1-2yu)_x$,
$$
frac{(1-2yu)_x}{1-2yu}=-frac{2y}{x}.
$$
Treating $y$ as a constant and integrating both sides (you can define $v=1-2yu$, and the LHS will be $v'/v$, whose integral is $log |v|$),
$$
log |1-2yu|=f(y)-2ylog |x|.
$$
Since $x>0$, $log |x|= log x$, therefore
$$
|1-2yu| = x^{-2y} exp (f(y)).
$$
The RHS is always positive. Then, solving for $u$,
$$
u= frac{1}{2y} + frac{g(y)}{x^{2y}},
$$
in which $g(y) = exp(f(y))/2y$. Just as Martin pointed out in his comment, the requirement of $x,y>0$ allows us to do such manipulations. If you needed the solution for $x<0$, for example, some steps would require modifications.
For the condition
$$
u(x,x/2) = 1+frac{1}{x},
$$
we can simply substitute in the solution, leading to
$$
g(x/2) = x^x.
$$
Now, $g$ is simply a function, regardless of on which variable we are applying it; in the equality $g(x/2)=x^x$, $x$ is a free variable, because we can change $x$ for any other letter and the equality would be the same. Therefore, using $z=x/2$, we have $g(z)=(2z)^{2z}$, and the solution is
$$
u= frac{1}{2y} + left(frac{2y}{x}right)^{2y},
$$
which satisfy $u=1+1/x$ for $y=x/2$.
edited Dec 7 '18 at 15:27
answered Nov 30 '18 at 17:55
rafa11111rafa11111
1,1251417
1,1251417
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
|
show 4 more comments
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
would you mind expanding a bit on the "fancy manipulation"? Also, I sincerely appreciate the time you spent correcting me.
$endgroup$
– user608953
Nov 30 '18 at 18:17
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
I edited the answer to clarify this part. Could you understand it now? See that it's only a method to integrate the LHS, if you already know the integral of $1/(a+bx)$, for example, or use any other method, you should obtain the same.
$endgroup$
– rafa11111
Nov 30 '18 at 18:26
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Yes that makes more sense to me now. Sometimes I have trouble with seeing how math is done if some steps are hidden. Thanks again!
$endgroup$
– user608953
Nov 30 '18 at 18:40
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
Just a follow up to the original question. Finding a solution that satisfies u(x,x/2)=1+(1/x). I just plug that in and solve for the g(y), correct? My solution resulted in g(y)=x^x
$endgroup$
– user608953
Nov 30 '18 at 18:53
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
$begingroup$
@Mathl0rd1 Not quite... I will edit the question to address this "boundary condition". Could you, please, edit your question to add this condition, for the sake of "completeness"?
$endgroup$
– rafa11111
Nov 30 '18 at 19:07
|
show 4 more comments
$begingroup$
$$x^2u_x+yu_y=1 tag 1$$
Lagrange-Charpit equations :
$$frac{dx}{x^2}=frac{dy}{y}=frac{du}{1}$$
A first family of characteristic curves comes from $frac{dx}{x^2}=frac{dy}{y}$ :
$$ln|y|+frac{1}{x}=c_1$$
A second family of characteristic curves comes from $frac{dx}{x^2}=frac{du}{1}$ :
$$u+frac{1}{x}=c_2$$
The general solution of the PDE $(1)$ is :
$$u+frac{1}{x}=Fleft(ln|y|+frac{1}{x}right)$$
$$u(x,y)=-frac{1}{x}+Fleft(ln|y|+frac{1}{x}right) tag 2$$
$F$ is an arbitrary function, to be determined according to boundary condition.
Condition : $u(x,frac{x}{2})=frac{1}{x}+1$
$$frac{1}{x}+1=-frac{1}{x}+Fleft(ln|frac{x}{2}|+frac{1}{x}right)$$
$$Fleft(ln|frac{x}{2}|+frac{1}{x}right)=frac{2}{x}+1$$
Then finding $F$ involves a special function (Lambert W). This draw to think that there is a mistake in the condition specified by the OP.
If the condition is definitively $u(x,frac{x}{2})=frac{1}{x}+1$ the calculus is:
Let $X=ln|frac{x}{2}|+frac{1}{x}$
$x=-frac{1}{Wleft(frac12e^{-X} right)}$
$W$ is the Lambert W function.
$$F(X)=-2Wleft(frac12 e^{-X} right)+1$$
So, the function $F$ is determined. We put it into the general solution Eq.$(2)$ where $X=ln|y|+frac{1}{x}$
$$u(x,y)=-frac{1}{x}-2Wleft(frac12 e^{-ln|y|-frac{1}{x}} right)+1$$
$$u(x,y)=-frac{1}{x}-2Wleft(frac{1}{2|y|} e^{-frac{1}{x}} right)+1$$
$endgroup$
add a comment |
$begingroup$
$$x^2u_x+yu_y=1 tag 1$$
Lagrange-Charpit equations :
$$frac{dx}{x^2}=frac{dy}{y}=frac{du}{1}$$
A first family of characteristic curves comes from $frac{dx}{x^2}=frac{dy}{y}$ :
$$ln|y|+frac{1}{x}=c_1$$
A second family of characteristic curves comes from $frac{dx}{x^2}=frac{du}{1}$ :
$$u+frac{1}{x}=c_2$$
The general solution of the PDE $(1)$ is :
$$u+frac{1}{x}=Fleft(ln|y|+frac{1}{x}right)$$
$$u(x,y)=-frac{1}{x}+Fleft(ln|y|+frac{1}{x}right) tag 2$$
$F$ is an arbitrary function, to be determined according to boundary condition.
Condition : $u(x,frac{x}{2})=frac{1}{x}+1$
$$frac{1}{x}+1=-frac{1}{x}+Fleft(ln|frac{x}{2}|+frac{1}{x}right)$$
$$Fleft(ln|frac{x}{2}|+frac{1}{x}right)=frac{2}{x}+1$$
Then finding $F$ involves a special function (Lambert W). This draw to think that there is a mistake in the condition specified by the OP.
If the condition is definitively $u(x,frac{x}{2})=frac{1}{x}+1$ the calculus is:
Let $X=ln|frac{x}{2}|+frac{1}{x}$
$x=-frac{1}{Wleft(frac12e^{-X} right)}$
$W$ is the Lambert W function.
$$F(X)=-2Wleft(frac12 e^{-X} right)+1$$
So, the function $F$ is determined. We put it into the general solution Eq.$(2)$ where $X=ln|y|+frac{1}{x}$
$$u(x,y)=-frac{1}{x}-2Wleft(frac12 e^{-ln|y|-frac{1}{x}} right)+1$$
$$u(x,y)=-frac{1}{x}-2Wleft(frac{1}{2|y|} e^{-frac{1}{x}} right)+1$$
$endgroup$
add a comment |
$begingroup$
$$x^2u_x+yu_y=1 tag 1$$
Lagrange-Charpit equations :
$$frac{dx}{x^2}=frac{dy}{y}=frac{du}{1}$$
A first family of characteristic curves comes from $frac{dx}{x^2}=frac{dy}{y}$ :
$$ln|y|+frac{1}{x}=c_1$$
A second family of characteristic curves comes from $frac{dx}{x^2}=frac{du}{1}$ :
$$u+frac{1}{x}=c_2$$
The general solution of the PDE $(1)$ is :
$$u+frac{1}{x}=Fleft(ln|y|+frac{1}{x}right)$$
$$u(x,y)=-frac{1}{x}+Fleft(ln|y|+frac{1}{x}right) tag 2$$
$F$ is an arbitrary function, to be determined according to boundary condition.
Condition : $u(x,frac{x}{2})=frac{1}{x}+1$
$$frac{1}{x}+1=-frac{1}{x}+Fleft(ln|frac{x}{2}|+frac{1}{x}right)$$
$$Fleft(ln|frac{x}{2}|+frac{1}{x}right)=frac{2}{x}+1$$
Then finding $F$ involves a special function (Lambert W). This draw to think that there is a mistake in the condition specified by the OP.
If the condition is definitively $u(x,frac{x}{2})=frac{1}{x}+1$ the calculus is:
Let $X=ln|frac{x}{2}|+frac{1}{x}$
$x=-frac{1}{Wleft(frac12e^{-X} right)}$
$W$ is the Lambert W function.
$$F(X)=-2Wleft(frac12 e^{-X} right)+1$$
So, the function $F$ is determined. We put it into the general solution Eq.$(2)$ where $X=ln|y|+frac{1}{x}$
$$u(x,y)=-frac{1}{x}-2Wleft(frac12 e^{-ln|y|-frac{1}{x}} right)+1$$
$$u(x,y)=-frac{1}{x}-2Wleft(frac{1}{2|y|} e^{-frac{1}{x}} right)+1$$
$endgroup$
$$x^2u_x+yu_y=1 tag 1$$
Lagrange-Charpit equations :
$$frac{dx}{x^2}=frac{dy}{y}=frac{du}{1}$$
A first family of characteristic curves comes from $frac{dx}{x^2}=frac{dy}{y}$ :
$$ln|y|+frac{1}{x}=c_1$$
A second family of characteristic curves comes from $frac{dx}{x^2}=frac{du}{1}$ :
$$u+frac{1}{x}=c_2$$
The general solution of the PDE $(1)$ is :
$$u+frac{1}{x}=Fleft(ln|y|+frac{1}{x}right)$$
$$u(x,y)=-frac{1}{x}+Fleft(ln|y|+frac{1}{x}right) tag 2$$
$F$ is an arbitrary function, to be determined according to boundary condition.
Condition : $u(x,frac{x}{2})=frac{1}{x}+1$
$$frac{1}{x}+1=-frac{1}{x}+Fleft(ln|frac{x}{2}|+frac{1}{x}right)$$
$$Fleft(ln|frac{x}{2}|+frac{1}{x}right)=frac{2}{x}+1$$
Then finding $F$ involves a special function (Lambert W). This draw to think that there is a mistake in the condition specified by the OP.
If the condition is definitively $u(x,frac{x}{2})=frac{1}{x}+1$ the calculus is:
Let $X=ln|frac{x}{2}|+frac{1}{x}$
$x=-frac{1}{Wleft(frac12e^{-X} right)}$
$W$ is the Lambert W function.
$$F(X)=-2Wleft(frac12 e^{-X} right)+1$$
So, the function $F$ is determined. We put it into the general solution Eq.$(2)$ where $X=ln|y|+frac{1}{x}$
$$u(x,y)=-frac{1}{x}-2Wleft(frac12 e^{-ln|y|-frac{1}{x}} right)+1$$
$$u(x,y)=-frac{1}{x}-2Wleft(frac{1}{2|y|} e^{-frac{1}{x}} right)+1$$
answered Dec 7 '18 at 15:28
JJacquelinJJacquelin
43.8k21853
43.8k21853
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%2f3020310%2fhelp-with-a-pde-general-solution%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$
$x^{2y}$ (as a real valued function) is only defined when $xgeq0$. Differentiability requires that $x >0$. Now in your solution (I haven't checked it) you divide by $2y+1$. Taking $y>0$ avoids the singularity at $y=-frac{1}{2}$. I suspect this is the reason for the $x,y>0$ requirement.
$endgroup$
– Martin
Nov 30 '18 at 17:51
$begingroup$
The equation isn't solvable at $x=y=0$, since it degenerates into the silly equation $0=1$ if $u,u_x$ are bounded at 0. Also if you relax to $xge 0, y>0$ you will see that you need $u|_{x=0} = frac1{2y}$,
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:00
$begingroup$
@CalvinKhor Although my solution uses $x>0$, using $x=0$ in it leads to $u=1/2y$.
$endgroup$
– rafa11111
Nov 30 '18 at 18:03
$begingroup$
@rafa11111 yes, I wanted to say, "consistent with rafa11111's answer" but was distracted. :)
$endgroup$
– Calvin Khor
Nov 30 '18 at 18:04
$begingroup$
Did you just change the pde with your edit? If so, you should probably mention it in the question, as the current answer will no longer be valid. You've completely changed the nature of the pde now ...
$endgroup$
– Time4Tea
Nov 30 '18 at 22:18