Past exam of the differential equations 1 course of the University of Oxford / 2021 / 2 / b / iii / Solution

Near $(1,1)$ the solution of a differential equation has $y>0$, so the separable differential equation givesEquivalently its trajectory lies on the level setOn $y>0$, the function $G(y)=y-\log (1+y)$ is strictly increasing because $G^{\prime }(y)=y/(1+y)>0$, and its range is $(0,\infty )$. Thus the positive branch exists exactly whereThe connected component containing $x=1$ isThe implicit function theorem gives a smooth solution of a differential equation at every such $x$. It remains finite at every finite $x>x_{\ast }$, because $G$ increases without bound. As $x\downarrow x_{\ast }$, we have $y\downarrow 0$, and the original right side $x+x/y$ becomes singular. Hence this is the maximal interval $(x_{\ast },\infty )$ through the prescribed initial condition.

In particular, the solution is not defined for all $x\in (0,2)$. It cannot pass through $x=x_{\ast }$ as a classical solution, since its required value there is $y=0$.