Fdtxjr

I am solving following Cauchy IVP: $$u_t+uu_x=1,$$ $x$ is real,$t>0$, and initial condition is $$u(t^2/4,t)=t/2$$ and found contradictory results:-Parametrizing the given initial curve as follows $x=s^2/4$, $t=s$, $u=s/2$. Characteristic equations are $dx/u=dt/1=du/1$, solving these and using initial conditions, I got solution as $x=u^2/2+s^2/8$, $t=u+s/2$, eliminating $s$ I got $2u^2-2tu+t^2-2x=0$ giving $2u=t+sqrt4x-t^2$, $2u=t-sqrt4x-t^2$. My question is that inspite of conditions of non-existence being satisfied,viz, $P/x'(s)=Q/t'(s)$ not equal to $R/u'(s)$ at the initial data, non-unique solution exists.How to resolve this situation?

I agree with your result. This is confirmed below.

$$u_t+uu_x=1$$
Chapit-Lagrange system of ODEs : $fracdt1=fracdxu=fracdu1=ds$

A first characteristic equation comes from $fracdt1=fracdu1$ :
$$t-u=c_1$$
A second characteristic equation comes from $fracdxu=fracdu1$ :
$$2x-u^2=c_2$$
The general solution of the PDE on the form of an implicit equation $c_2=F(c_1)$ is :
$$2x-u^2=F(t-u)$$
where $F$ is an arbitrary function, to be determined according to initial condition.

CONDITION : $u(fract^24,t)=fract2$
$$2(fract^24)-(fract2)^2=Fleft(t-fract2right)$$
$$fract^24=Fleft(fract2right)$$
The function $F$ is determined : $quad F(X)=X^2$ .

This shows that $F$ exists and is unique.

We put this function into the above general solution :
$$2x-u^2=(t-u)^2$$
$$2u^2-2tu+t^2-2x=0$$
This is the solution of the PDE fitting to the specified condition.

This solution exists and is unique since $F$ exists and is unique.

We can write it on the form :
$$u=fract2pmsqrtx-frac14 t^2$$
Writing on this form doesn't mean that we now have two solutions. We still have only one solution, the same as before.

This is like the equation of a circle $x^2+y^2=R^2$ written on the form $y=pmsqrtR^2-x^2$. There is still one circle made of two demi-circles.

On a purely mathematical viewpoint the result is : A solution exists and is unique.

But the conclusion can be different if the PDE is a mathematical model for a physical problem. The use of the variable noted $t$ makes think to "time". If so, we are going outside the pur mathematics to go into physics. In that case some implicit conditions can appear, for example that the terms be real (no complex root for example). Or other constraints such as the time always increasing, or requirement about stability, for examples.

Without knowing the context of the problem (What the PDE is supposed to model, etc) one cannot discuss the existence of solution, in other words if the above mathematical solution is a convenient answer to the question.

Using the method of characteristics, one writes

• 
  $fractext d ttext d s=1$. Letting $t(0) = t_0$ gives $t = s + t_0$.


• 
  $fractext d utext d s=1$. Letting $u(0) = frac12 t_0$ gives $u = s + frac12 t_0$.


• 
  $fractext d xtext d s=u$. Letting $x(0) = frac14 t_0^2$ gives $x = frac12s^2 + frac12 t_0 s + frac14 t_0^2$.

The parameter $s$ is eliminated by injecting $s = t-t_0$ in the expression $x(s)$ of the characteristic curves. The latter becomes $x = frac14big( t^2 + (t-t_0)^2big)$, which is inverted as $t_0 = t pm sqrt4x - t^2$.
If we inject the equation of the characteristic curves in the expression of $t_0$, we get
$t_0 = t pm |t-t_0|$.
Therefore, the top sign ($+$) corresponds to times $tleq t_0$, while the bottom sign ($-$) corresponds to times $tgeq t_0$.
The curves in the $x$-$t$ plane are shown below for several values of $t_0$ (the blue line marks the boundary where the data is imposed).

For example, let us consider the point $(x,t) = big(5/32, -1/4big)$ of the $x$-$t$ plane. From the expression of $t_0$, we find the value $t_0 = 1/2$ which satisfies $t<t_0$, and the value $t_0 = -1$ which satisfies $t>t_0$. Hence, two characteristic curves are passing through this point. The first one carries the value $u = t - t_0/2 = -1/2$. The second one carries the value $u = t - t_0/2 = 1/4$. Both solutions
$$ u(x,t) = tfrac12 big( t mp sqrt4x - t^2 big) ,qquad 4x - t^2geq 0 $$
exist simultaneously. The classical solution deduced from the characteristics is bi-valued everywhere in the region $4x - t^2 > 0$. The problem is not well-posed in the sense of existence and uniqueness.

Follow the method in http://en.wikipedia.org/wiki/Method_of_characteristics#Example:

$dfracdtds=1$ , letting $t(0)=0$ , we have $t=s$

$dfracduds=1$ , letting $u(0)=u_0$ , we have $u=s+u_0=t+u_0$

$dfracdxds=u=s+u_0$ , letting $x(0)=f(u_0)$ , we have $x=dfracs^22+u_0s+f(u_0)=dfract^22+(u-t)t+f(u-t)=ut-dfract^22+f(u-t)$ , i.e. $u=t+Fleft(x-ut+dfract^22right)$

$uleft(dfract^24,tright)=dfract2$ :

$dfract2=t+Fleft(dfract^24right)$

$Fleft(dfract^24right)=-dfract2$

$F(t)=mpsqrt t$

$therefore u=tmpsqrtx-ut+dfract^22$

$(u-t)^2=x-ut+dfract^22$

$u^2-2ut+t^2=x-ut+dfract^22$

$u^2-ut=x-dfract^22$

$u^2-ut+dfract^24=x-dfract^24$

$left(u-dfract2right)^2=x-dfract^24$

$u=dfract2pmsqrtx-dfract^24$