\documentclass[reqno]{amsart} \usepackage{hyperref} \usepackage{color} \AtBeginDocument{{\noindent\small \emph{Electronic Journal of Differential Equations}, Vol. 2015 (2015), No. 237, pp. 1--13.\newline ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu \newline ftp ejde.math.txstate.edu} \thanks{\copyright 2015 Texas State University - San Marcos.} \vspace{9mm}} \begin{document} \title[\hfilneg EJDE-2015/237\hfil Riemann problem] {Riemann problem for a two-dimensional quasilinear hyperbolic system} \author[C. Shen \hfil EJDE-2015/237\hfilneg] {Chun Shen} \address{Chun Shen \newline School of Mathematics and Statistics Science, Ludong University, Yantai, Shandong Province 264025, China.\newline Phone +86 535 6697510. Fax +86 535 6681264} \email{shenchun3641@sina.com} \thanks{Submitted April 28, 2013. Published September 15, 2015.} \subjclass[2010]{35L65, 35L67, 76N15} \keywords{Conservation laws; delta shock wave; Riemann problem; \hfill\break\indent generalized characteristic analysis} \begin{abstract} This article concerns the study of the Riemann problem for a two-dimensional non-strictly hyperbolic system of conservation laws. The initial data are three constant states separated by three lines and are chosen so that one of the three interfaces of the initial data projects a planar delta shock wave. Based on the generalized characteristic analysis, the global solutions are constructed completely. The solutions reveal a variety of geometric structures for the interactions of delta shock waves with rarefaction waves, shock waves and contact discontinuities. \end{abstract} \maketitle \numberwithin{equation}{section} \allowdisplaybreaks \section{Introduction} In this article, we study the Riemann problem of the two-dimensional system \begin{equation}\label{1.1} \begin{gathered} u_t+( u^2)_x+(uv)_y=0, \\ v_{t}+(uv)_x+(v^2)_y=0, \end{gathered} \end{equation} with initial data \begin{equation} \label{1.2} (u,v)\big|_{t=0}= \begin{cases} (u_1,v_1), & y>0,\\ (u_2,v_2), & x<0,\; y<0, \\ (u_3,v_3), & x>0, y<0, \end{cases} \end{equation} where $(u_i,v_i)$, $i=1,2,3$ are constant states. It was shown in \cite{Chen3} that it is most suitable for the choice of initial data as constants in each of the three sectors such as in the form \eqref{1.2}, because it keeps the essential components of the two-dimensional Riemann problem for a system of conservation laws and while the number of cases is less than that in other choices. Thus, the choice of initial data in the form \eqref{1.2} is able to reveal the formation and development of singularity of solution to the system \eqref{1.1}. Furthermore, the technique developed for the two-dimensional Riemann problem with three constant initial data as in the form \eqref{1.2} can be easily generalized to other choices of initial data. In addition, with the choice of initial data in the form \eqref{1.2}, the restriction of wave pattern is sufficient for deriving the expression of exact numerical fluxes such as the positive scheme \cite{G.Wang} and the Godunov scheme \cite{L.Gosse}. System \eqref{1.1} can be considered as a simplification of two-dimensional Euler equations for it can be derived directly from the two-dimensional isentropic Euler equations by letting the pressure and density be constants in the last two momentum equations \cite{D.Tan1}. In fact, the simplified system \eqref{1.1} is also able to explain some interesting phenomena in gas dynamics such as diffractions along wedges \cite{D.Tan1}. The system \eqref{1.1} also belongs to the system of type \begin{equation}\label{1.3} \begin{gathered} u_t+(uf(u,v))_x+(ug(u,v))_y=0,\\ v_{t}+(vf(u,v))_x+(vg(u,v))_y=0, \end{gathered} \end{equation} where $f(u,v)=u$ and $g(u,v)=v$. Equations like \eqref{1.3} occur in a variety of applications, including oil recovery, elastic theory and magneto-hydrodynamics \cite{Chen1}. The Riemann problem for \eqref{1.3} is much more complicated than the scalar case, but it is simpler than the problem for general hyperbolic system. This is due to the fact that the domain of mixed type does not appear in the study of self-similar solutions for \eqref{1.3}. Thus the study of the Riemann problem for \eqref{1.3} can be regarded as a necessary step to more complicated and practical cases such as the conjectures on the two-dimensional Riemann solutions for the Euler equations \cite{ZZ}. When $f(u,v)=g(u,v)=u$ and $v=\rho$, the Riemann problem for the system \eqref{1.3} was investigated in \cite{ShenSunWang,Sun1}. There have been many studies on system \eqref{1.1} from various aspects. Tan and Zhang \cite{D.Tan1} firstly studied the four quadrant Riemann problem of \eqref{1.1}, namely the initial data are four constant states in each quadrant of $(x,y)$ plane, and they discovered that a kind of new nonlinear wave called delta shock wave was there. About the delta shock wave solution in the multi-dimensional hyperbolic conservation laws, we can also see \cite{ GSZ,LSZ,J.Li1,J.Li2,Yang1,Yang2, V.M.Shelkovich,W.Sheng,Sun,Zheng} and the reference therein. Yang and Zhang \cite{YZ} verified the analytic solutions in \cite{D.Tan1} numerically using the MmB preserving scheme. Lopes-Filho and Nussenzveig Lopes \cite{Lopes-Filho} have investigated the singularity formation about the evolution along a characteristic of the compression rate of nearby characteristics for \eqref{1.1}. Wang \cite{Wang} proposed an example to show that the solution for \eqref{1.1} is not unique. The three constant Riemann problem for \eqref{1.1}, that is the initial data take three constant states in three angular domains in the $(x,y)$ plane, was studied in \cite{Chen1,Chen2,Yang1,Yang2,Yang3}. Huang and Yang \cite{F.Huang} constructed the solutions for the two constant Riemann problem of \eqref{1.1}. The non-selfsimilar Riemann problem on (1.1) was also considered by Chen, Wang and Yang \cite{G.Q.Chen} and they discovered the triple-shock pattern there. Our goal in this article is to construct explicitly the global solutions for \eqref{1.1} and \eqref{1.2}. The initial data as \eqref{1.2} simplify the complexity of the structures of the four quadrant Riemann solutions, while the essential ingredients of two-dimensional Riemann problems can hold. Following \cite{D.Tan1}, we assume that the initial data \eqref{1.2} are chosen so that only one planar elementary wave appears at each interface of the initial data. The justification of this choice lies in that the majority of physical observations only involve the study of a single propagation wave type \cite{W.Hwang}. The most attractive feature of the system \eqref{1.1} is in that the plane delta shock wave appears in the solutions of Rieamnn problem \eqref{1.1} and \eqref{1.2} for some certain initial data. Thus, we draw our attention on the cases that one of the three planar elementary waves is a planar delta shock wave, which are different from the previous results. Using the method of generalized characteristic analysis, we solve the Riemann problem \eqref{1.1} and \eqref{1.2} analytically and nine exact entropy solutions with different geometric structures are constructed globally. The solutions reveal various interactions of delta shock waves with the classical waves involving contact discontinuities, shock waves and rarefaction waves. The evolution of the planar delta shock wave is presented in detail. The results of the present note provide a preparation of theoretical analysis for the numerical simulation for \eqref{1.1}. The rest of this article is organized as follows. In section 2, we provide some basic properties of system \eqref{1.1} for completeness, including the characteristics, bounded discontinuities and delta shock waves. In section 3, we classify the Riemann problem according to the combinations of the exterior waves. Then the global solutions are constructed by the method of generalized characteristic analysis. \section{Preliminaries} In this section, we briefly review some basic properties of system \eqref{1.1} for readers' convenience, and the detailed study can be found in \cite{D.Tan1}. Since both \eqref{1.1} and \eqref{1.2} are invariant under the self-similar transformation $(t,x,y)\to (\alpha t,\alpha x,\alpha y)$ with $\alpha>0$, we seek the self-similar solution of the form $ (u,v)(t,x,y)=(u,v)(\xi,\eta)$ where $(\xi,\eta)=(x/t,y/t)$. The system for this form of solution is \begin{equation}\label{2.1} \begin{gathered} -\xi u_\xi-\eta u_\eta+( u^2)_\xi+(uv)_\eta=0, \\ -\xi v_{\xi}-\eta v_\eta+(uv)_\xi+(v^2)_\eta=0, \end{gathered} \end{equation} and the initial data \eqref{1.2} become boundary values at infinity \begin{equation} \label{2.2} \lim_{\xi^2+\eta^2\to\infty}(u,v)= \begin{cases} (u_1,v_1), & \eta>0,\\ (u_2,v_2), & \xi<0, \eta<0, \\ (u_3,v_3), & \xi>0, \eta<0. \end{cases} \end{equation} System \eqref{2.1} has two eigenvalues \begin{equation} \label{2.3} \lambda_1=\frac{v-\eta}{u-\xi},\quad \lambda_2=\frac{2v-\eta}{2u-\xi}, \end{equation} which are called pseudo-characteristics of \eqref{1.1} for a given solution $(u,\rho)(\xi,\eta)$. The $\lambda_1$ pseudo-characteristic field is linearly degenerate and the $\lambda_2$ pseudo-characteristic field is genuinely nonlinear if $u\eta-v\xi\neq0$. Define the characteristic curves $\Gamma_i $ $(i=1,2)$ in the $(\xi,\eta)$ plane by \begin{equation}\label{2.4} \Gamma_i: \frac{d\eta}{d\xi}=\lambda_i. \end{equation} The singularity point for $\Gamma_i$, denoted by $P_i$, is $P_i=(iu,iv)$, $i=1,2$. We call the curve $\eta/\xi=v/u$ the base curve denoted by $B$, which consists of singularity points for $\Gamma_i$ and the degenerate hyperbolic points $\lambda_1=\lambda_2$. We stipulate the direction of characteristic curves $\Gamma_i$ from infinity to the singularity point $P_i$ $(i=1,2)$, which is motivated by virtue of the increase of time \cite{J.Li2}. (i) Smooth solution. If $v/u=\rm{constant}$ in some domain, we call it a simple wave of the second kind, which satisfies $u_\xi+\lambda_2u_\eta=0$. The simple wave is called a rarefaction wave (abbr. $R$), if all the $\lambda_2-$ characteristic curves and their extensions in the positive directions do not intersect until they reach the corresponding base curve. (ii) Bounded discontinuity solution. Let $\eta=\eta(\xi)$ be a smooth discontinuity of a bounded discontinuous solution in the $(\xi,\eta)$ plane. Solving the Rankine-Hugoniot condition, we obtain the following two kinds of discontinuities. A contact discontinuity (abbr. $J$) satisfies \begin{equation}\label{2.5} \frac{d\eta}{d\xi}=\sigma_1=\frac{\eta-v_+}{\xi-u_+}=\frac{\eta-v_-}{\xi-u_-}, \end{equation} which is the $\lambda_1-$ characteristic line for both sides. Hereafter, $(u_\pm,v_\pm)$ represent the limit states on two sides of the discontinuity $\eta=\eta(\xi)$. A shock wave (abbr. $S$) satisfies \begin{equation}\label{2.6} \frac{d\eta}{d\xi}=\sigma_2=\frac{\eta-(v_++v_-)}{\xi-(u_++u_-)}, \quad \frac{v_+}{u_+}=\frac{v_-}{u_-}, \end{equation} and the entropy condition which can be defined as ``three incoming, one outgoing'', that is, at any point of the discontinuity, three of the characteristic lines, two $\Gamma_2$s and one $\Gamma_1$, come into the point and the remaining one, $\Gamma_1$, goes out. Similarly to characteristic curves, we orient the integral curve of $d\eta/d\xi=\sigma_i$ to point towards the singularity point $(\xi,\eta)=(u_++(i-1)u_-,v_++(i-1)v_-)$, $i=1,2$. (iii) Delta shock wave. A discontinuity in $(u,v)(\xi,\eta)$ at $\xi=\xi(\eta)$ is called a delta shock wave (abbr. $\delta$) if it satisfies \begin{equation}\label{2.7} \frac{d\xi}{d\eta}=\frac{\xi-(u_++u_-)}{\eta-(v_++v_-)}, \end{equation} and the entropy condition which can be defined as ``none outgoing'', that means that all of the characteristic lines on both sides of the discontinuity curve do not go out at every point of the discontinuity. Similarly, the direction of a delta shock wave is towards its singular point $(\xi,\eta)=(u_++u_-,v_++v_-)$. \section{Construction of Solutions involving one $\delta$} We consider now the Riemann problem \eqref{1.1} and \eqref{1.2}. It is obvious that, outside a sufficiently large circle in the $(\xi,\eta)$ plane, the solution must be constant states connected by three one-dimensional planar waves $(u,v)(\xi)$ or $(u,v)(\eta)$, which are called planar elementary waves or exterior waves. In this note, we deal with the cases in which exactly one of the three one-dimensional waves from infinity is a delta shock wave. We assume first that the exterior wave connecting states $(u_2,v_2)$ and $(u_3,v_3)$ is a delta shock wave $\delta_{23}$, so that $u_2>0>u_3$ should be satisfied. According to the remaining two exterior waves, we find that there exist five different combinations which lead to topologically distinct solutions. The combinations are as follows: 1. $R_{12}\delta_{23}R_{31}$, \quad 2. $R_{12}\delta_{23}S_{31}$, \quad 3. $R_{12}\delta_{23}J_{31}$,\quad 4. $S_{12}\delta_{23}J_{31}$, \quad 5. $J_{12}\delta_{23}J_{31}$. What we need to do in the following is to extend the exterior solutions inwards to construct our global Riemann solutions. We will deal with this problem case by case according to the above classification. Here and below, $\delta_{ij}$ denotes the delta shock wave with $(u_i,v_i)$ and $(u_j,v_j)$ on its two sides, also for $R_{ij}$, $S_{ij}$, $J_{ij}$. \smallskip \noindent\textbf{Case 1.} $R_{12}\delta_{23}R_{31}$ The occurrence of this case depends on the condition: $v_20$ or $u_1/v_1<0$. We only need to construct the solution for $u_1/v_1>0$ since the other case can be treated in the same way. By the theory of Cauchy problems, we know that the determination domain of the constant state $(u_3,v_3)$ is $\Omega_1=\{(\xi,\eta)\big|\xi>u_2+u_3, \eta<2v_3\}$, namely, $(u,v)(\xi,\eta)=(u_3,v_3)$ when $(\xi,\eta)\in \Omega_1$. So $\delta_{23}$ will stay straight until it meets the point $(\xi_0,\eta_0)=(u_2+u_3,2v_3)$. Let $R_{30}$ (resp. $R_{10}$) denote the part of $R_{31}$ where the $v$-component of the solution satisfies $v_3\leq v<0$ (resp. $0\leq v\leq v_1$). Then $\delta_{23}$ will penetrate $R_{30}$ to form a new delta shock wave $\delta_{2R}:$ $\xi=\xi(\eta)$ which satisfies \begin{equation}\label{3.1} \begin{gathered} \frac{d\xi}{d\eta}=\frac{\xi-(u+u_{2})}{\eta-(v+v_{2})},\\ \eta=2v, \\ \frac{u}{v}=\frac{u_2}{v_2},\quad v_3\leq v< 0, \\ \xi_0=u_2+u_3, \quad \eta_0= 2v_3. \end{gathered} \end{equation} From this equation, we find that the tangent line of this discontinuity always points to the singularity points $(\xi,\eta)=(u+u_{2},v+v_{2})$. Therefore the integral curve of \eqref{3.1} is convex. Substituting $v=\eta/2$, $u=u_2\eta/2v_2$ into the first equation in \eqref{3.1} yields \begin{equation}\label{3.2} \frac{d\xi}{d\eta}=\frac{2\xi-2u_{2}-u_2\eta/v_2}{\eta-2v_{2}}. \end{equation} With the initial condition $(\xi_0,\eta_0)=(u_2+u_3, 2v_3)$ in mind, an easy calculation leads to \begin{equation}\label{3.3} \xi-2u_2=\frac{u_2}{v_2}(\eta-2v_2)-\frac{u_2}{4v_2(v_3-v_2)}(\eta-2v_2)^2. \end{equation} The delta shock wave $\delta_{2R}$ cannot cancel the whole rarefaction wave $R_{31}$ and it ends at the point $(\xi_1,\eta_1)=(u_2v_2/(v_2-v_3),0)$, where a shock wave $S_{2R}$ develops by the ``three incoming, one outgoing'' entropy condition. The shock wave penetrates part of the rarefaction wave $R_{10}$ and it has the same expression as \eqref{3.3}, namely the curve of $S_{2R}$ is the continuation of that of $\delta_{2R}$. It can be found from \eqref{3.3} that $d \xi/d \eta\to u_2/v_2$ as $\eta\to 2v_2$ which means that $S_{2R}$ vanishes tangentially to the point $(2u_2,2v_2)$. \begin{figure}[htb] \begin{center} \unitlength 1.00mm \linethickness{0.4pt} \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility \begin{picture}(112.98,65)(-9,12) %(112.98,70.08)(-25,5) \multiput(5.38,19.97)(.0537202616,.0337376929){1536}{\line(1,0){.0537202616}} \put(33.81,37.88){\circle*{.8}}% \put(32.74,38.75){\makebox(0,0)[cc]{$\scriptstyle 0$}} \bezier{20}(33.74,37.88)(39.56,37.88)(45.38,37.88) \bezier{300}(87.25,37.88)(66.32,37.88)(45.38,37.88) \put(16.2,26.75){\circle*{.8}}% \put(15.2,28.75){\makebox(0,0)[cc]{$\scriptstyle (\bar{3})$}} \bezier{40}(16.2,26.75)(29.54,26.75)(42.88,26.75) \bezier{300}(87.25,26.75)(65.07,26.75)(42.88,26.75) \bezier{25}(42.88,26.75)(42.88,35.09)(42.88,43.44) \put(42.88,43.54){\circle*{.8}}% \put(40.88,45.94){\makebox(0,0)[cc]{$\scriptstyle (2+3)$}} \put(64.25,56.90){\circle*{.8}}% \put(62.25,58.10){\makebox(0,0)[cc]{$\scriptstyle (\bar{2})$}} \put(24.94,32.19){\circle*{.8}}% \put(23.94,34.19){\makebox(0,0)[cc]{$\scriptstyle (3)$}} \put(49.06,47.38){\circle*{.8}}% \put(47.06,48.38){\makebox(0,0)[cc]{$\scriptstyle (2)$}} \put(54.69,50.9){\circle*{.8}}% \put(53.69,52.9){\makebox(0,0)[cc]{$\scriptstyle (1)$}} \put(75.25,63.85){\circle*{.8}}% \put(74.25,65.85){\makebox(0,0)[cc]{$\scriptstyle (\bar{1})$}} \put(43.64,32.27){\line(1,0){43.832}} \put(75.38,63.8){\line(1,0){12.298}} \put(48.89,43.83){\line(1,0){38.787}} \put(87.79,49.93){\line(-1,0){33.111}} \put(75.38,63.8){\line(-1,0){69.796}} \put(64.35,56.97){\line(-1,0){58.338}} \put(69.39,60.13){\line(-1,0){63.384}} \put(68.76,59.7){\line(1,0){18.92}} \put(61.98,55.33){\line(1,0){25.633}} \put(65.16,26.78){\vector(-1,0){.07}} \put(64.94,32.27){\vector(-1,0){.07}} \put(64.71,37.91){\vector(-1,0){.07}} \put(66.64,43.82){\vector(-1,0){.07}} \put(69.17,49.92){\vector(-1,0){.07}} \put(73.41,55.34){\vector(-1,0){.07}} \put(35.58,60.1){\vector(1,0){.07}} \put(34.31,63.79){\vector(1,0){.07}} \put(42.86,20.74){\vector(0,1){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\put(40.25,19.5){\makebox(0,0)[cc]{\footnotesize${\delta_{23}}$}}} \put(52.6,47.94){\vector(1,1){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\put(40.63,33.13){\makebox(0,0)[cc]{\footnotesize${\delta_{2R}}$}}} \put(44.14,34.64){\vector(1,3){.07}} \textcolor[rgb]{0.00,0.00,1.00}{\put(54.88,46.13){\makebox(0,0)[cc]{\footnotesize${S_{2R}}$}}} \put(76.63,34.88){\makebox(0,0)[cc]{\footnotesize${R_{30}}$}} \put(80.25,52.63){\makebox(0,0)[cc]{\footnotesize${R_{10}}$}} \put(22,60.75){\makebox(0,0)[cc]{\footnotesize${R_{12}}$}} \put(48.63,67.25){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \put(25.25,46.63){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}}% \put(64.13,20.75){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% \put(21.38,20.5){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}} %\put(48,7.75){\makebox(0,0)[cc]{Figure \ref{fig1}. Solution for Case 1 when $u_1/v_1>0$.}} \put(14.97,67.16){\vector(1,0){.07}} \put(11.89,67.17){\line(1,0){3.048}} \put(11.9,70.22){\vector(0,1){.07}} \put(11.89,67.06){\line(0,1){3.153}} \put(8.9,69.59){\makebox(0,0)[cc]{\footnotesize${\eta,v}$}} \put(18.2,67.17){\makebox(0,0)[cc]{\footnotesize${\xi,u}$}} \linethickness{0.8pt}% \put(37.95,57.00){\vector(1,0){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\qbezier(42.88,26.75)(42.84,32.03)(45.38,37.88)} \put(80.84,63.80){\vector(-1,0){.07}} \textcolor[rgb]{0.00,0.00,1.00}{\qbezier(45.38,37.88)(49.56,47.75)(64.25,56.80)} \put(77.87,59.70){\vector(-1,0){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\bezier{200}(42.88,26.75)(42.88,19.5)(42.88,12.25)} \end{picture} \end{center} \caption{Solution for Case 1 when $u_1/v_1>0$.} \label{fig1} \end{figure} We illustrate the global structure of the solution in Figure \ref{fig1}. For convenience, we use some notations in the following figures. $(i)$, $(\bar{i})$, $(i+j)$, represent points $(\xi,\eta)=(u_i,v_i)$, $(\xi,\eta)=(2u_i,2v_i)$, $(\xi,\eta)=(u_i+u_j,v_i+v_j)$, respectively. And ${\rlap{$\bigcirc$}\ {\mbox{\tiny $i$}}}$ stands for the state $(u_i,v_i)$. \smallskip \noindent\textbf{Case 2.} $R_{12}\delta_{23}S_{31}$ This case happens if and only if $v_2<00$; b. $u_1/v_1<0$ and $v_1<0$; c. $u_1/v_1<0$ and $v_1>0$. \smallskip \noindent\textbf{Subcase 3a.} $u_1/v_1>0$. Without loss of generality, we assume that $v_1<2v_2$. Since the determination domain of constant state $(u_3,v_3)$ is $\Omega_2=\{(\xi,\eta)\big|\xi>u_2+u_3, \eta\xi_0$). The similar notation is $\eta\to \delta_{ij}\pm0$. The shock wave $S_{21}: \eta-v_3=v_2(\xi-u_2-u_3)/(u_1-u_3)$ cannot keep straight after it meets the rarefaction wave $R_{12}$. Then the shock wave $S_{R1}$ begins to cancel $R_{12}$ and stops tangentially at the point $(2u_1,2v_1)$. See Figure \ref{fig3}. \begin{figure}[htb] \begin{center} \unitlength 1.00mm % = 2.85pt \linethickness{0.4pt} \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility \begin{picture}(112.98,65)(-9,12) %(112.98,70.08)(-25,5) \multiput(40.17,17.97)(-.033717724,.0476313631){1035}{\line(0,1){.0476313631}} \multiput(40.18,17.97)(.0337172184,.0382028794){1406}{\line(0,1){.0382028794}} \put(40.17,17.97){\circle*{.8}}% \put(39.17,16.97){\makebox(0,0)[cc]{$\scriptstyle 0$}} \bezier{20}(36.17,41.1)(30.03,41.1)(23.88,41.1) \put(23.81,41.1){\circle*{.8}}% \put(21.81,40.1){\makebox(0,0)[cc]{$\scriptstyle (3)$}} \bezier{30}(23.81,41.1)(29.99,47.9)(36.17,54.7) \bezier{40}(52.42,31.81)(44.3,43.26)(36.17,54.7) \bezier{40}(47.81,45.5)(60.285,50.25)(72.76,55) \put(72.9,55){\circle*{.8}}% \put(76.9,54){\makebox(0,0)[cc]{$\scriptstyle (1+2)$}} \bezier{20}(47.81,45.5)(56.14,45.5)(64.46,45.5) \put(64.49,45.5){\circle*{.8}}% \put(66.49,44.5){\makebox(0,0)[cc]{$\scriptstyle (\bar{2})$}} \bezier{300}(47.81,45.5)(26.69,45.5)(5.56,45.5) \put(81.13,64.37){\circle*{.8}}% \put(83.13,63.37){\makebox(0,0)[cc]{$\scriptstyle (\bar{1})$}} \bezier{500}(81.13,64.37)(43.32,64.37)(5.5,64.37) \put(60.6,41.1){\circle*{.8}}% \put(61.6,39.1){\makebox(0,0)[cc]{$\scriptstyle (1)$}} \bezier{20}(36.17,41.1)(36.17,47.9)(36.17,54.7) \put(5.49,58.34){\line(1,0){68.591}} \put(5.32,51.88){\line(1,0){57.377}} \put(66.79,53.89){\vector(2,1){.07}} \put(42.09,43.3){\vector(3,1){.07}} \put(54.29,41.11){\vector(-1,0){.07}} \put(28.12,64.4){\vector(1,0){.07}} \put(28.21,58.35){\vector(1,0){.07}} \put(28.56,51.9){\vector(1,0){.07}} \put(29.36,45.52){\vector(1,0){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\put(33.96,18.12){\makebox(0,0)[cc]{\footnotesize${\delta_{23}}$}}} \put(36.17,54.7){\circle*{.8}}% \put(36.17,56.7){\makebox(0,0)[cc]{$\scriptstyle (2+3)$}} \textcolor[rgb]{0.00,1.00,0.00}{\put(82.48,38.6){\makebox(0,0)[cc]{\footnotesize${J_{31}}$}}} \put(52.42,31.81){\circle*{.8}}% \put(54.42,30.81){\makebox(0,0)[cc]{$\scriptstyle (2)$}} \textcolor[rgb]{0.00,0.00,1.00}{\put(47.33,42.79){\makebox(0,0)[cc]{\footnotesize${S_{21}}$}}} \put(36.17,30.32){\vector(0,1){.07}} \put(64.3,49.65){\makebox(0,0)[cc]{\footnotesize${S_{\!R1}}$}} \put(19.81,54.89){\makebox(0,0)[cc]{\footnotesize${R_{12}}$}} \put(20,70.88){\vector(1,0){.07}} \put(14.88,70.88){\line(1,0){5.125}} \put(14.88,76){\vector(0,1){.07}} \put(14.88,71){\line(0,1){5}} \put(11.25,75.5){\makebox(0,0)[cc]{\footnotesize${\eta,v}$}} \put(23,70.88){\makebox(0,0)[cc]{\footnotesize${\xi,u}$}} \linethickness{0.8pt}% \put(40.49,68.53){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\qbezier(47.81,45.5)(72.81,54.89)(81.01,64.37)} \put(18.94,29.64){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\bezier{300}(36.17,41.1)(41.99,43.3)(47.81,45.5)} \put(63.51,25.96){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% \textcolor[rgb]{0.00,1.00,0.00}{\bezier{400}(36.17,41.1)(61.85,41.1)(87.53,41.1)} \put(78.75,47.62){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\bezier{400}(36.17,41.1)(36.17,26.54)(36.17,11.97)} %\put(49,7.75){\makebox(0,0)[cc]{Figure \ref{fig3}. }} \end{picture} \end{center} \caption{Solution for Subcase 3a.} \label{fig3} \end{figure} \begin{figure}[htb] \begin{center} \unitlength 1.00mm % = 2.85pt \linethickness{0.4pt} \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility \begin{picture}(112.98,68)(-9,12) %(112.98,70.08)(-25,5) \multiput(38.17,71.9)(-.0337157426,-.0585650615){901}{\line(0,-1){.0585650615}} \multiput(38.17,71.9)(.0337321672,-.0366338591){1449}{\line(0,-1){.0366338591}} \put(38.17,71.9){\circle*{.8}}% \put(36.77,71.9){\makebox(0,0)[cc]{$\scriptstyle 0$}} \put(30.6,58.78){\circle*{.8}}% \put(28.6,59.78){\makebox(0,0)[cc]{$\scriptstyle (3)$}} \put(50.21,58.78){\circle*{.8}}% \put(52.21,60.78){\makebox(0,0)[cc]{$\scriptstyle (1)$}} \bezier{30}(50.21,58.78)(46.5,52.15)(42.79,45.52) \put(42.79,45.52){\circle*{.8}}% \put(36.79,47.22){\makebox(0,0)[cc]{$\scriptstyle (3+1)$}} \bezier{30}(42.79,45.52)(52.61,45.52)(62.42,45.52) \put(62.52,45.52){\circle*{.8}}% \put(64.52,46.52){\makebox(0,0)[cc]{$\scriptstyle (\bar{1})$}} \bezier{300}(42.79,45.52)(24.19,45.52)(5.58,45.52) \bezier{20}(42.79,45.52)(46.64,41.37)(50.48,37.21) \put(57.8,50.56){\circle*{.8}}% \put(59.8,51.56){\makebox(0,0)[cc]{$\scriptstyle (2)$}} \bezier{30}(50.48,37.21)(54.14,43.89)(57.8,50.56) \put(50.48,37.21){\circle*{.8}}% \put(55.48,37.21){\makebox(0,0)[cc]{$\scriptstyle (3+2)$}} \bezier{17}(50.48,37.21)(50.48,33.02)(50.48,28.82) \bezier{50}(50.48,28.82)(64.14,28.82)(77.8,28.82) \put(77.9,28.82){\circle*{.8}}% \put(80.3,29.82){\makebox(0,0)[cc]{$\scriptstyle (\bar{2})$}} \bezier{500}(50.48,28.82)(28.03,28.82)(5.58,28.82) \put(5.32,34.21){\line(1,0){44.283}} \put(23.61,34.21){\vector(1,0){.07}} \put(23.79,40.22){\vector(1,0){.07}} \put(21.4,45.51){\vector(1,0){.07}} \put(64.8,58.8){\vector(-1,0){.07}} \put(39.35,58.8){\vector(-1,0){.07}} \put(50.49,23.6){\vector(0,1){.07}} \put(37.4,51.44){\vector(1,-1){.07}} \textcolor[rgb]{0.00,1.00,0.00}{\put(67.4,61.7){\makebox(0,0)[cc]{\footnotesize${J_{31}}$}}} \put(24.06,28.82){\vector(1,0){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\put(53.89,22.07){\makebox(0,0)[cc]{\footnotesize${\delta_{23}}$}}} \put(48.3,37.65){\vector(-1,2){.07}} \textcolor[rgb]{1.00,0.00,0.00}{\put(53.32,33.32){\makebox(0,0)[cc]{\footnotesize${\delta_{\!R3}}$}}} \put(29.03,37.11){\makebox(0,0)[cc]{\footnotesize${R_{12}}$}} \textcolor[rgb]{1.00,0.00,0.00}{\put(39.91,52.98){\makebox(0,0)[cc]{\footnotesize${\delta_{13}}$}}} \put(5.58,40.22){\line(1,0){41.278}} \put(15.15,65.8){\vector(1,0){.07}} \put(10.53,65.8){\line(1,0){4.625}} \put(10.42,69.8){\vector(0,1){.07}} \put(10.42,65.8){\line(0,1){3.994}} \put(6.8,69.38){\makebox(0,0)[cc]{\footnotesize${\eta,v}$}} \put(18.15,65.8){\makebox(0,0)[cc]{\footnotesize${\xi,u}$}} \linethickness{0.8pt}% \put(58.38,66.25){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\qbezier(50.48,28.82)(50.44,37.08)(42.79,45.52)} \put(19,53.63){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\bezier{200}(30.6,58.78)(36.7,52.15)(42.79,45.52)} \put(30.75,23.25){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\bezier{300}(50.48,28.82)(50.48,21.44)(50.48,14.05)} \put(69.63,25){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% \textcolor[rgb]{0.00,1.00,0.00}{\bezier{500}(30.6,58.78)(58.89,58.78)(87.17,58.78)} \put(69.63,25){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% %\put(49,8.75){\makebox(0,0)[cc]{Figure \ref{fig4}. Solution for Subcase 3b.}} \end{picture} \end{center} \caption{Solution for Subcase 3b.} \label{fig4} \end{figure} \smallskip \noindent\textbf{Subcase 3b.} $u_1/v_1<0$ and $v_1<0$. It is obvious that $(u,v)(\xi,\eta)=(u_2,v_2)$ when $\xi0$. The discussion for the interaction of $\delta_{23}$ and $R_{20}$ is the same as that in Case 3b. At the point $(u_3-v_3u_2/(v_2-v_3),0)$, the delta shock wave is decomposed into a contact discontinuity $J_{43}$ and a shock wave $S_{4R}$ with the intermediate state $(u_4,v_4)$ between them. Here $(u_4,v_4)$ denotes the crossing point of the base curve of constant $(u_1,v_1)$ and $\delta_{R3}$'s tangent line at the point $(u_3-v_3u_2/(v_2-v_3),0)$ which passes through the point $(u_3,v_3)$. The contact discontinuity $J_{43}$ connecting states $(u_4,v_4)$ and $(u_3,v_3)$ matches with $J_{31}$ at their common singularity point $(u_3, v_3)$ where we find a centered rarefaction wave $R_{41}$ is the solution by solving the boundary value problem with the boundary conditions $$ \lim_{\xi\to J_{43}-0}(u(\xi,\eta),v(\xi,\eta))=(u_4,v_4), \quad \lim_{\eta\to J_{31}+0}(u(\xi,\eta),v(\xi,\eta))=(u_1,v_1). $$ Then the shock wave $S_{4R}$ which connects the states on $R_{10}$ and $(u_4,v_4)$ must interact with $R_{41}$, penetrate it and finally terminate at the point $(2u_1,2v_1)$. The shock wave and rarefaction wave are the second kind of waves, so their interaction can be obtained similarly to the situation of the scalar conservation law. See Figure \ref{fig5}. \begin{figure}[htb] \begin{center} \unitlength 1.00mm % = 2.85pt \linethickness{0.4pt} \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility \begin{picture}(112.98,68)(-9,12) %(112.98,70.08)(-25,5) \put(46.86,12.29){\makebox(0,0)[cc]{}} \multiput(86.9,13.08)(-.0426496862,.0337347874){1745}{\line(-1,0){.0426496862}} \multiput(68.07,27.84)(-.0928348057,.0337343379){676}{\line(-1,0){.0928348057}} \put(68.27,27.84){\circle*{.8}}% \put(69.27,28.84){\makebox(0,0)[cc]{$\scriptstyle 0$}} \put(74,23.34){\circle*{.8}}% \put(76.3,24.34){\makebox(0,0)[cc]{$\scriptstyle (2)$}} \put(80.02,18.58){\circle*{.8}}% \put(82.32,19.58){\makebox(0,0)[cc]{$\scriptstyle (\bar{2})$}} \put(51.56,33.83){\circle*{.8}}% \put(54.25,35.56){\makebox(0,0)[cc]{$\scriptstyle (3)$}} \put(60.65,33.83){\circle*{.8}}% \put(62.65,35.33){\makebox(0,0)[cc]{$\scriptstyle (1)$}} \bezier{15}(57.5,29.28)(54.53,31.56)(51.56,33.83) \bezier{30}(57.5,29.28)(65.75,26.31)(74,23.34) \put(57.5,29.28){\circle*{.8}}% \put(61.9,26.28){\makebox(0,0)[cc]{$\scriptstyle (2+3)$}} \textcolor[rgb]{1.00,0.00,0.00}{\put(59.99,22.32){\makebox(0,0)[cc]{\footnotesize${\delta_{\!R3}}$}}} \bezier{20}(57.5,29.28)(57.5,23.93)(57.5,18.58) \bezier{40}(57.5,18.58)(68.76,18.58)(80.02,18.58) \bezier{400}(57.5,18.58)(31.65,18.58)(5.8,18.58) \bezier{25}(68.27,27.84)(61.47,27.84)(54.6,27.84) \bezier{40}(54.6,27.84)(50.22,36.7)(45.83,45.56) \put(45.83,45.56){\circle*{.8}}% \put(46.83,47.56){\makebox(0,0)[cc]{$\scriptstyle (4)$}} \bezier{400}(54.6,27.84)(30.09,27.84)(5.58,27.84) \bezier{200}(47.69,37.89)(49.63,35.86)(51.56,33.83) \bezier{60}(47.69,37.89)(35.27,50.79)(22.85,63.69) \put(22.87,63.74){\circle*{.8}}% \put(25.37,64.74){\makebox(0,0)[cc]{$\scriptstyle (\bar{4})$}} \bezier{100}(51.56,33.83)(52.12,36.94)(52.68,40.05) \put(52.78,40.05){\circle*{.8}}% \put(54.98,41.05){\makebox(0,0)[cc]{$\scriptstyle (\bar{1})$}} \bezier{500}(52.78,40.05)(29.28,40.05)(5.78,40.05) \multiput(51.56,33.82)(-.03351974,.05465175){102}{\line(0,1){.05465175}} \multiput(51.48,34.04)(-.0331814,.1048533){56}{\line(0,1){.1048533}} \put(51.48,33.97){\line(0,1){6.169}} \put(5.4,22.82){\line(1,0){51.285}} \put(5.4,32.48){\line(1,0){46.305}} \put(5.33,36.49){\line(1,0){43.332}} \put(19.9,40.05){\vector(1,0){.07}} \put(20.79,36.49){\vector(1,0){.07}} \put(20.79,32.45){\vector(1,0){.07}} \put(21.4,27.84){\vector(1,0){.07}} \put(21.76,22.8){\vector(1,0){.07}} \put(22.11,18.60){\vector(1,0){.07}} \put(57.52,16.53){\vector(0,1){.07}} \put(71.34,33.82){\vector(-1,0){.07}} \put(52.39,38.37){\vector(1,4){.07}} \put(50.1,38.47){\vector(-1,3){.07}} \put(48.95,38.1){\vector(-2,3){.07}} \put(49.1,36.42){\vector(-1,1){.07}} \put(51.68,33.06){\vector(1,1){.07}}\qbezier(50.37,30.27)(49.71,31.09)(51.68,33.06) \textcolor[rgb]{0.00,1.00,0.00}{\put(78.24,36.06){\makebox(0,0)[cc]{\footnotesize${J_{31}}$}}} \put(30.92,24.75){\makebox(0,0)[cc]{\footnotesize${R_{20}}$}} \textcolor[rgb]{1.00,0.00,0.00}{\put(61.03,15.56){\makebox(0,0)[cc]{\footnotesize${\delta_{23}}$}}} \put(28.74,34.47){\makebox(0,0)[cc]{\footnotesize${R_{10}}$}} \put(47.98,33.5){\makebox(0,0)[cc]{\footnotesize${S_{4R}}$}} \put(56.2,31.82){\makebox(0,0)[cc]{\footnotesize${J_{43}}$}} \put(48.01,42.01){\makebox(0,0)[cc]{\footnotesize${S_{2}}$}} \put(55.58,38.01){\makebox(0,0)[cc]{\footnotesize${R_{41}}$}} \put(73.55,59.84){\vector(1,0){.07}} \put(70.2,59.93){\line(1,0){3.359}} \put(70.28,63.02){\vector(0,1){.07}} \put(70.28,59.84){\line(0,1){3.182}} \put(70.28,64.99){\makebox(0,0)[cc]{\footnotesize$\eta, v$}} \put(76.7,59.93){\makebox(0,0)[cc]{\footnotesize$\xi, u$}} \linethickness{0.8pt}% \put(50.47,28.64){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $4$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\qbezier(54.68,27.75)(53.13,30.88)(47.69,37.89)} \put(30.07,48.88){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\qbezier(47.69,37.89)(46.9,40.02)(52.68,40.05)} \put(31.75,16){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}}% \textcolor[rgb]{0.00,1.00,0.00}{\bezier{200}(54.6,27.84)(53.08,30.84)(51.56,33.83)} \put(69.84,16.98){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\bezier{200}(57.5,18.58)(57.5,15.83)(57.5,13.08)} \put(72.58,40.48){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\qbezier(57.5,18.58)(57.51,21.88)(54.6,27.84)} %\put(49,7.75){\makebox(0,0)[cc]{Figure \ref{fig5}. Solution for Subcase 3c.}} \textcolor[rgb]{0.00,1.00,0.00}{\bezier{400}(51.56,33.83)(69.66,33.83)(87.75,33.83)} \end{picture} \end{center} \caption{Solution for Subcase 3c.} \label{fig5} \end{figure} \smallskip \noindent\text{Case 4} $S_{12}\delta_{23}J_{31}$. This case occurs when $v_2>v_1$, $v_2.v_1>0$, $v_1=v_3$ and $u_1/v_1=u_2/v_2$ are satisfied. We also proceed our discussion through two subcases according to the value of $u_1/v_1$: a. $u_1/v_1>0$; b. $u_1/v_1<0$. \smallskip \noindent\textbf{Subcase 4a.} $u_1/v_1>0$. Similarly to Case 3a, the collision of $\delta_{23}$ and $J_{31}$ happens at the point $(u_2+u_3,v_3)$ where a rarefaction wave $R_{21}$ if the point $(u_2+u_3,v_3)$ lies above the line $\eta=v_1/u_1\xi$ or a shock wave $S_{21}$ otherwise should be constructed. When $R_{21}$ appears, the exterior wave $S_{12}$ will penetrate it and finally end at the point $(2u_1,2v_1)$. See Figure \ref{fig6}. If $S_{21}$ forms, the exterior wave $S_{12}$ can go straight until it arrives at its singularity point $(u_1+u_2,v_1+v_2)$ which is also the ending point of $S_{21}$. \begin{figure}[htb] \begin{center} \unitlength 1.00mm % = 2.85pt \linethickness{0.4pt} \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility \begin{picture}(112.98,65)(-9,12) %(112.98,70.08)(-25,5) \multiput(38.11,19.36)(.0337238064,.0354640028){1473}{\line(0,1){.0354640028}} \multiput(38.11,19.36)(-.0438423687,.0337339405){752}{\line(-1,0){.0438423687}} \put(38.11,19.36){\circle*{.8}}% \put(37.11,18.36){\makebox(0,0)[cc]{$\scriptstyle 0$}} \bezier{40}(41.29,33.59)(30.51,33.59)(19.73,33.59) \put(19.53,33.59){\circle*{.8}}% \put(17.03,32.59){\makebox(0,0)[cc]{$\scriptstyle (3)$}} \put(51.63,33.59){\circle*{.8}}% \put(53.13,30.99){\makebox(0,0)[cc]{$\scriptstyle (1)$}} \bezier{40}(41.29,33.59)(41.29,44.95)(41.29,56.3) \put(41.29,56.3){\circle*{.8}}% \put(41.29,58.3){\makebox(0,0)[cc]{$\scriptstyle (3+2)$}} \bezier{50}(19.53,33.59)(30.41,44.95)(41.29,56.3) \bezier{50}(41.29,56.3)(50.57,49.28)(59.85,42.25) \put(59.95,42.25){\circle*{.8}}% \put(62.35,41.25){\makebox(0,0)[cc]{$\scriptstyle (2)$}} \bezier{700}(41.29,33.59)(55.83,44.95)(70.37,56.3) \bezier{7}(70.37,56.3)(71.79,56.3)(73.2,56.3) \put(73.3,56.3){\circle*{.8}}% \put(78.0,55.3){\makebox(0,0)[cc]{$\scriptstyle (1+2)$}} \bezier{30}(70.37,56.3)(76.03,60.81)(81.69,65.32) \put(81.89,65.32){\circle*{.8}}% \put(84.39,64.32){\makebox(0,0)[cc]{$\scriptstyle (\bar{2})$}} \bezier{600}(41.29,33.59)(53.09,40.57)(64.89,47.55) \put(64.99,47.55){\circle*{.8}}% \put(67.29,46.55){\makebox(0,0)[cc]{$\scriptstyle (\bar{1})$}} \put(27.85,56.31){\vector(1,0){.07}} \put(55.72,56.3){\vector(1,0){.07}} \put(64.12,33.57){\vector(-1,0){.07}} \put(41.3,26.16){\vector(0,1){.07}} \put(63.42,50.91){\vector(4,3){.07}} \put(62.93,49.16){\vector(4,3){.07}} \put(61.96,47.15){\vector(3,2){.07}} \put(61.52,45.64){\vector(3,2){.07}} \put(70.08,53.66){\vector(-2,-3){.07}} \textcolor[rgb]{0.00,0.00,1.00}{\put(22.83,58.55){\makebox(0,0)[cc]{\footnotesize${S_{12}}$}}} \multiput(41.29,33.59)(.046780775,.033720152){626}{\line(1,0){.076780775}} \textcolor[rgb]{1.00,0.00,0.00}{\put(44.32,18.5){\makebox(0,0)[cc]{\footnotesize${\delta_{23}}$}}} \multiput(41.29,33.59)(.051368725,.033719694){518}{\line(1,0){.051368725}} \textcolor[rgb]{0.00,1.00,0.00}{\put(64.87,31.43){\makebox(0,0)[cc]{\footnotesize${J_{31}}$}}} \put(56.36,49.15){\makebox(0,0)[cc]{\footnotesize${R_{21}}$}} \put(73.07,51.93){\makebox(0,0)[cc]{\footnotesize${S_{\!R1}}$}} \put(37.75,64.13){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \put(14.21,66.22){\vector(1,0){.07}} \put(9.79,66.22){\line(1,0){4.415}} \put(9.79,70.32){\vector(0,1){.07}} \put(9.79,66.12){\line(0,1){4.205}} \put(5.95,69.59){\makebox(0,0)[cc]{\footnotesize${\eta,v}$}} \put(17.59,66.22){\makebox(0,0)[cc]{\footnotesize${\xi,u}$}} \linethickness{0.8pt}% \textcolor[rgb]{0.00,1.00,0.00}{\put(87.43,33.59){\line(-1,0){46.14}}} \put(60.63,22.75){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\bezier{300}(41.29,33.59)(41.29,23.16)(41.29,12.73)} \put(24.25,42.25){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\qbezier(70.37,56.3)(73.16,56.26)(64.89,47.64)} \put(74.88,41.75){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\bezier{400}(70.37,56.3)(37.98,56.3)(5.58,56.3)} %\put(49,7.75){\makebox(0,0)[cc]{Figure \ref{fig6}. Solution involving $R_{21}$ for Subcase 4a. }} \end{picture} \end{center} \caption{Solution involving $R_{21}$ for Subcase 4a.} \label{fig6} \end{figure} \smallskip \noindent\textbf{Subcase 4b.} $u_1/v_1<0$. It is clear to see that $(u,v)(\xi,\eta)=(u_2,v_2)$ when $\xi0$. The three exterior waves collide at the point $(u_2+u_3,v_3)$, where the solution in the region $\{(\xi,\eta)\big| \eta>v_3\}$ is a shock wave $S_{\infty1}$ penetrates a centered rarefaction wave $R_{1\infty}$. Here the rarefaction wave $R_{1\infty}$ connects the states $(u_1,v_1)$ and infinity, also for $S_{\infty1}$. See Figure \ref{fig8} \begin{figure}[htb] \begin{center} \unitlength 1.00mm % = 2.85pt \linethickness{0.4pt} \ifx\plotpoint\undefined\newsavebox{\plotpoint}\fi % GNUPLOT compatibility \begin{picture}(112.98,67)(-9,12) %(112.98,70.08)(-25,5) \multiput(5.38,70.95)(.0337377552,-.0395421002){1159}{\line(0,-1){.0395421002}} \multiput(44.48,25.12)(.0359964293,.0337303103){1206}{\line(1,0){.0359964293}} \put(44.48,25.12){\circle*{.8}}% \put(43.48,24.12){\makebox(0,0)[cc]{$\scriptstyle 0$}} \multiput(44.48,25.12)(-.033739995,.115235058){405}{\line(0,1){.115235058}} \put(28.19,44.15){\circle*{.8}}% \put(26.19,42.15){\makebox(0,0)[cc]{$\scriptstyle (3)$}} \put(64.86,44.15){\circle*{.8}}% \put(66.86,42.15){\makebox(0,0)[cc]{$\scriptstyle (2)$}} \put(38.98,44.15){\circle*{.8}}% \put(40.98,46.15){\makebox(0,0)[cc]{$\scriptstyle (1)$}} \bezier{40}(28.19,44.15)(38.33,53.56)(48.47,62.96) \bezier{40}(64.86,44.15)(56.67,53.56)(48.47,62.96) \put(48.47,62.96){\circle*{.8}}% \put(48.47,64.96){\makebox(0,0)[cc]{$\scriptstyle (2+3)$}} \bezier{30}(48.47,44.15)(48.47,53.56)(48.47,62.96) \put(17.47,44.15){\vector(1,0){.07}} \put(33.86,44.15){\vector(1,0){.07}} \put(44.48,44.15){\vector(1,0){.07}} \put(74.65,44.15){\vector(-1,0){.07}} \put(54.89,44.15){\vector(-1,0){.07}} \put(48.47,36.47){\vector(0,1){.07}} \textcolor[rgb]{0.00,1.00,0.00}{\put(14.52,47.25){\makebox(0,0)[cc]{\footnotesize${J_{12}}$}}} \put(33.39,63.02){\circle*{.8}}% \put(31.09,63.02){\makebox(0,0)[cc]{$\scriptstyle (\bar{1})$}} \textcolor[rgb]{0.00,1.00,0.00}{\put(77.38,47.2){\makebox(0,0)[cc]{\footnotesize${J_{31}}$}}} \put(25.66,54.97){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\put(51.31,25.96){\makebox(0,0)[cc]{\footnotesize${\delta_{23}}$}}} \bezier{300}(48.47,44.15)(40.93,53.59)(33.39,63.02) \multiput(48.45,44.19)(-.0333543,.128414){53}{\line(0,1){.128414}} \multiput(48.45,44.28)(-.03367195,.07516061){147}{\line(0,1){.07516061}} \multiput(48.36,44.37)(-.033700107,.05173262){299}{\line(0,1){.05173262}} \put(41.11,57.72){\vector(-1,1){.07}} \textcolor[rgb]{0.00,0.00,1.00}{\put(48.29,54.89){\makebox(0,0)[cc]{\footnotesize${S_{\infty1}}$}}} \put(41.41,50.35){\makebox(0,0)[cc]{\footnotesize${R_{1\infty}}$}} \put(74,65.25){\vector(1,0){.07}} \put(69.25,65.25){\line(1,0){4.75}} \put(69.38,69.13){\vector(0,1){.07}} \put(69.38,65.25){\line(0,1){3.875}} \put(65.5,68.63){\makebox(0,0)[cc]{\footnotesize${\eta,v}$}} \put(77.25,65.63){\makebox(0,0)[cc]{\footnotesize${\xi,u}$}} \linethickness{0.8pt}% \put(62.77,56.03){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $1$}}}$}}% \textcolor[rgb]{0.00,0.00,1.00}{\qbezier(48.47,44.15)(48.36,54.45)(33.43,63.02)} \put(24.93,29.64){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $2$}}}$}}% \textcolor[rgb]{0.00,1.00,0.00}{\bezier{600}(87.47,44.15)(46.58,44.15)(5.69,44.15)} \put(68.23,29.01){\makebox(0,0)[cc]{\footnotesize${\rlap{$\bigcirc$}\ {\mbox{\tiny $3$}}}$}}% \textcolor[rgb]{1.00,0.00,0.00}{\bezier{400}(48.47,44.15)(48.47,28.59)(48.47,13.03)} %\put(49,7.75){\makebox(0,0)[cc]{Fig. 8. Solution for Subcase 5a. }} \end{picture} \end{center} \caption{Solution for Subcase 5a.} \label{fig8} \end{figure} \smallskip \noindent\textbf{Subcase 5b.} $u_1/v_1<0$. Different from the above subcase, only two exterior waves $J_{12}$ and $J_{31}$ interact for this subcase, while the exterior wave $\delta_{23}$ can keep straight and arrive at its singularity point $(u_2+u_3,v_2+v_3)$. The interaction of the two contact discontinuities results in a delta shock wave $\delta_{32}$ connecting the states $(u_2,v_2)$ and $(u_3,v_3)$. Such a delta shock wave $\delta_{32}$ is not unique, the expression of which may be any line starting from any point $(\xi,v_3)$ where $u_3<\xi