Boundary and initial conditions in quasi linear first order pde

Consider the characteristics problem :

$$\frac{\mathrm{d}t}{1}=\frac{\mathrm{d}x}{1} = \frac{\mathrm{d}u}{u}$$

Taking the first pair, yields :

$$\frac{\mathrm{d}t}{1}=\frac{\mathrm{d}x}{1} \Leftrightarrow \int\mathrm{d}t = \int \mathrm{d}x \implies u_1 = x-t $$

Now, the second pair, yields :

$$\frac{\mathrm{d}x}{1} = \frac{\mathrm{d}u}{u} \Leftrightarrow \int\mathrm{d}x = \int\frac{1}{u}\mathrm{d}u \implies u_2 = x - \ln(u) $$

Since $u_1$ is not dependent on $u$ and $u_2$ is, the solution of the PDE can be written as

$$u_2 = F(u_1) \Rightarrow \ln u = x - F(x-t) \Leftrightarrow u(x,t) = \exp\left(x-F(x-t)\right)$$ $$\Leftrightarrow$$ $$u(x,t) = \frac{e^x}{F(x-t)} \equiv e^xF(x-t)$$

where $F$ is an arbitrary function $\in C^1$.

Now, applying the initial values, we get :

$$u(x,0) = 1 \implies e^xF(x) = 1 \Leftrightarrow F(x) = e^{-x}$$

$$u(0,t) = 1 \implies F(-t) = 1$$

It is sufficient then to say that a solution $u(x,t)$ of the given Boundary Value Problem, is the function defined as such :

$$u(x,t) = e^xF(x-t) \quad \text{where} \quad \begin{cases} F(x) = e^{-x} \\ F(-t) = 1\end{cases}$$

To be more precise, consider letting $x := x-t$ and $t := t-x$ in the case of the boundary values. Then :

$$F(x-t) = e^{x-t} \quad \text{and} \quad F(x-t) = 1\quad$$

But, that implies that :

$$e^{x-t} = 1 \Leftrightarrow x = t$$

Finally, this means that the solution of the given BVP can be written as :

$$u(x,t) = e^xF(0) \equiv c_1e^x \quad \text{or} \quad u(x,t) = c_2e^t$$

But note that the first one holds in the case of $x - t \leq 0$ thus $x \leq t$ and the second one holds in the case of $x-t \geq 0$ thus $t \geq x$, which stems from your Boundary Value cases for the PDE variables.

Thus, finally, the solution $u(x,t)$ can be written as :

$$u(x,t) = \begin{cases}e^t & x \geq t \\ e^x & x \leq t \end{cases}$$

Simply substituting confirms that both of them are solutions to the initial PDE BVP.


Are we looking for a solution of (1) which can be extended (continously?)in order to take values implemented by (2), (3)?

Yes (and yes, continously).