Help with a PDE General Solution












0












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










share|cite|improve this question











$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


















0












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










share|cite|improve this question











$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
















0












0








0


1



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










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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




















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












2 Answers
2






active

oldest

votes


















2












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






share|cite|improve this answer











$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



















1












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






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









    2












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






    share|cite|improve this answer











    $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
















    2












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






    share|cite|improve this answer











    $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














    2












    2








    2





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






    share|cite|improve this answer











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







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    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


















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











    1












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






    share|cite|improve this answer









    $endgroup$


















      1












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






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





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






        share|cite|improve this answer









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







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 7 '18 at 15:28









        JJacquelinJJacquelin

        43.8k21853




        43.8k21853






























            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%2f3020310%2fhelp-with-a-pde-general-solution%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

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?