In my book the "Global classical solutions for quasilinear hyperbolic systems" written by Li Ta-Tsien, following are written,
Local existence and uniqueness of $C^1$ function+ uniform a priori estimate for the $C^1$ norm of the solution
imply Global existence and uniqueness of $C^1$ solution.
More specipically,
Cauchy problem for first order quasilinear equations in two independent variables:
$$\partial_t u+\lambda(u)\partial_x u=0\ \ \ (t\geq0,-\infty<x<\infty)$$ $$t=0: u=\phi(x)\ \ \ (-\infty<x<\infty)$$
i) local existence and uniqueness of solution
for each $C^1$ function $\phi(x)$ there exists a positive constant $T_0$ only depending on the $C^1$ norm of $\phi(x)$ such that above Cauchy problem admits a unique $C^1$ solution $u=u(t,x)$ on the domain $$D(T_0)=\{(t,x)|0\leq t\leq T_0,-\infty<x<\infty\}$$.
ii) uniform a priori estimate for the $C^1$ norm of the solution:
For any fixed T>0, if above Cauchy problem admits a $C^1$ solution $u=u(t,x)$ on the domain $$D(T)=\{(t,x)|0\leq t\leq T,-\infty<x<\infty\}$$ then $C^0$ norm of $u(t,x)$ and $\partial_x u(t,x)$ has an upper bound independent of T.
if above Cauchy problem satisfy i),ii) then there exist a unique global $C^1$solution for above Cauchy problem.
But I don't have any idea how I can verify i)and ii) imply the Global existence and uniqueness of the equation.
Please give me some help, if you have some ideas or knowledges.
By $(1)$, you have a unique solution up to a certain time $T$. By $(2)$ you have an estimate on the $C^1$-norm of $u(\cdot, T)$. Then you solve the problem starting at time $T$. For that problem, by $(1)$ you have a unique local solution defined on $[T,T+T_1]$ with $C_1$-norm bounded by the same constant as before. Pasting together the previous solutions, you get a solution on $[0,T+T_1]$. Applying $(1)$ again, you can extend your solution up to $T+2T_1$ and so on. In this way, you define a global solution, defined on $[0,+\infty)$. The solution is unique because if you have two solutions that differ for the first time at some $t_0>0$, that would violate local uniqueness on the interval $[T+nT_1, T+(n+1)T_1]$ for some $n$.