The solution to the initial value problem \(\displaystyle{\frac{{{\left.{d}{y}\right.}}}{{{\left.{d}{x}\right.}}}}={\left({x}-{2}\right)}{\left({y}-{3}\right)}^{{{2}}},\

Ormezzani6cuu

Ormezzani6cuu

Answered question

2022-04-11

The solution to the initial value problem
dydx=(x2)(y3)2, y(0)=0,
will always be less than 3; that is, y(x)<3 for x0.

Answer & Explanation

Vegljamzt6

Vegljamzt6

Beginner2022-04-12Added 16 answers

Step 1
Assume that there exists x0>0 such that y(x0)>3. Then, as y is continuous and y(0)=0, we get by the intermediate value theorem that there exists x1>0 such that y(x1)=3. Now we see that y solves the IVP
{dydx=(x2)(y3)2;y(x1)=3.
However, also u3 solves the IVP above. Hence, by local uniqueness we know that there exists ε>0 such that y(x)=3 for x(x1ε,x1+ε)
Now we want to show that in fact y(x)=3 for all x0. For this we define
S={xR : 0xx1,y(x)=3}.
We want to show that S=[0; x1]. For this it is enough to show that S is both open, closed and nonempty. Nonempty is clear as x1S. Closed follows from continuity of y and openness follows from redoing the argument above with the local uniqueness theorem.
Hence, we have shown that once y attains 3, it has always been equal to 3 (and in fact it would also always be 3 in the future). Thus, this yields a contradiction to the initial condition y(0)=0.
Note that we have not used the particular form of the ODE. If you are given any ODE dydx=F(x,y) with F locally lipschitz with F(,y0)=0, then the very same argument as above tell us that if y attains y0, then the solution must be constant for all times.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?