First order PDE's. Determining when IVP solution is unique

The initial value problem\begin{cases} yu_x+xu_y=0 \\ \\ u(0,y)=e^{-{y^2}} \end{cases}

has for solution $$u(x,y) = e^{x^2-y^2}$$

My question is, where in the $xy$-plane is the solution unique? The initial data asserts, that the solution must be a decreasing exponential on the characteristic curves. It somehow makes sense then, to claim that the region of interest is where $x^2 \leq y^2$.

How does one reach this conclusion rigorously?


Solution 1:

The PDE implies that $u$ is constant, along the characteristics $$ y^2-x^2=c, \quad c\in\mathbb R. $$ In fact, every $(x,y)\in\mathbb R^2$, with the exception of $(0,0)$ lies in a unique characteristic. The origin lies in $y=x$ and $y=-x$, where $u(0,0)=1$.

Nevertheless, only the characteristics with $c\ge 0$ intersect with the $y-$axis, where the initial data are prescribed.

Hence, the IVP enjoys uniqueness only in $$ \{(x,y): |y|\ge |x|\}. $$