Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Existence and uniqueness

  1. Jun 24, 2008 #1
    1. The problem statement, all variables and given/known data
    given this ODE with initial conditions y(1)=0
    [tex] \[
    (x + y^2 )dx - 2xydy = 0
    2. Relevant equations
    solving this ODE gives us
    [tex]\[y = \sqrt {x\ln (x)} \][/tex]
    as we can see this equation is true only for x>=1
    in order to use the theorem on existence and uniqueness we isulate for y'=f(x,y)
    [tex]\[y' = \frac{{(x + y^2 )}}{{2xy}}\][/tex]
    and we can see that when y=0 the equation is not defined
    3. The attempt at a solution
    my question is
    1) if x>=1 does that mean that the bound for y is y>=0?
    2)if it meaas that y>=0 then should i conclude that the theorem on existence and uniqueness does not apply here since the function is not continuous thus we cant say that the solution is unique? what does it mean
    thanks for the help
  2. jcsd
  3. Jun 25, 2008 #2
    That's just one solution for the ODE. The general solution has a constant in there.

    The equation is not defined when [itex]2xy=0[/itex]. So y=0 is not the whole story.

    No. It means that the equation has a unique solution for y>0 and y<0. Since you only found the solution for y>0, your solution is not complete.
  4. Jun 25, 2008 #3
    so i dont get it
    the general solution was:
    [tex]\[\ln (x) - \frac{{y^2 }}{x} = c\][/tex]
    for the initial conditions y(1)=0
    my solution was
    [tex]\[y = \sqrt {x\ln (x)} \][/tex]

    so i dont get it what is the final answer for this ODE?
    does this slolution apply?
    i get it the the ODE has a solution only for y>0 or y<0 but those arent my initial conditions!
    so i dont quite understand
  5. Jun 25, 2008 #4
    I'm sorry, my fault. I hadn't seen that you were given an initial condition. Yes, the solution
    [tex]\[\ln (x) - \frac{{y^2 }}{x} = c\][/tex]
    is correct (assuming that x > 0, which is the case here). And indeed, the initial condition implies that c = 0. However, the solution
    [tex]\[y = \sqrt {x\ln (x)} \][/tex]
    is slightly different (hint: the equation [itex] x^2=1 [/itex] has two solutions).

    To be more precise: the only thing you know is that the existence and uniqueness theorem does not apply for y = 0. It may be that there is no solution, it may be there is more than one solution, it may even be that there is only one solution.
  6. Jun 26, 2008 #5
    great i understand the explanation one more thing though
    since i have found a solution that is:
    [tex]\[\ln (x) - \frac{{y^2 }}{x} = c\][/tex]
    and we know that the theorem does not apply for the initial conditions what can i say about this solution?
    does it solve the initial problem?
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook