 Research
 Open access
 Published:
The resonance behavior for the coupling of two Aw–Rascle traffic models
Advances in Difference Equations volume 2020, Article number: 60 (2020)
Abstract
By studying the Riemann problem for the Aw–Rascle traffic model with different pressure laws, which is the coupling of two onedimensional hyperbolic systems, we investigate the resonance phenomena. The main difficulty arises from the possible resonance behavior which may result in multiple solutions. We discover a new and interesting phenomenon showing that there exist infinitely many solutions for some certain initial data, which is quite different compared to earlier studies for the isentropic model of a fluid flow in a nozzle with variable crosssection and the shallow water equations with discontinuous topography. In order to overcome this difficulty, we impose the socalled TVcondition to obtain the uniqueness of solution to the Riemann problem.
1 Introduction
Resonance phenomenon, occurring in many hyperbolic equations, is an important and interesting phenomenon in both physical and mathematical sense and has attracted the attention of many researchers. When one of the nonlinear wave families of the hyperbolic equations has a zero speed wave, the resonance behavior may result in multiple solutions to the certain initial value problem [23, 24, 30, 31]. For more related results, see e.g. [14, 17]. It is therefore natural to add some admissibility criteria to single out the physically relevant solution. However, until now, this is still an open problem.
In the last decades, many efforts have been made to study the resonance behavior for specific hyperbolic equations such as systems of balance laws in nonconservation laws and the coupled Euler systems with distinct pressure laws. In particular, when they investigated the Riemann problems for the nonconservation laws of the isentropic flows in a nozzle with variable crosssection and the shallow water equations with discontinuous topography, LeFloch and Thanh [27–29] introduced an admissibility criterion, called monotonicity criterion (i.e., along any stationary curve, the bottom level a is monotone as a function of h and the total variation of the bottom level component of any Riemann solution must not exceed \(a_{L}a_{R}\)), to provide the existence and uniqueness of Riemann solutions in the nonresonant regime and multiple solutions in the resonant regime. In [6], Andrianov and Warnecke considered the Riemann problem for the compressible duct flow and applied the socalled evolutionarity criterion to rule out the nonphysical solutions. Moreover, based on the 2D numerical results, they discovered that the physically relevant 1D solutions satisfy a kind of entropy rate admissibility criterion. Thanh [37] used the monotonicity criterion to discuss the Riemann problem for the above compressible duct flow again and established the existence for large data and uniqueness in strictly hyperbolic domains. By means of the monotonicity criterion, he [38] also established the monotonicity of the curves of composite waves for the shallow water equations with discontinuous topography, which provides an important method to discover the domain of uniqueness and a deterministic version of the existence of Riemann solutions. In addition, Marchesin and PaseLeme [32] defined 1M and 2M curves to construct Riemann solutions for the \(2\times 2\) isothermal gas dynamics in a duct with discontinuous diameter. They found that there exist multiple solutions for the Riemann problem with some certain initial data due to the occurrence of the bifurcation phenomena. Following the work in [32], Han, Hantkee, and Warnecke [18–20] developed the two curves 1M and 2M and analyzed the Riemann problem for the compressible duct flow and the shallow water equations with discontinuous topography.
To the best of our knowledge, many criteria have been proposed for investigating the resonance behavior to different hyperbolic models, and a unique solution among the possibly multiple solutions has not been picked out. The main purpose of this paper is designed to explore this problem through a discussion of the Riemann problem for the wellknown Aw–Rascle traffic model with distinct pressure laws, which can be seen as an attempt to study the coupling of two onedimensional barotropic Euler systems at an interface at \(x=0\) in [1] and [33]. We can see [8–10] about resonance behavior for the corresponding coupling of two different hyperbolic systems. We also refer the reader to [5, 12, 13, 26, 29, 39] and the references therein for the numerical methods to study the related hyperbolic systems.
The Aw–Rascle traffic model with distinct pressure laws reads as follows:
where
\(p_{{\alpha }}=\kappa _{{\alpha }}\rho ^{\gamma }\) denote some kind of pressure, \(\alpha =L, R\), and \(H(x)\) is the Heaviside function and \(\kappa _{\alpha }\) denotes the road condition. If \(\kappa _{{L}}= \kappa _{{R}}\), then system (1.1)–(1.2) becomes the classical Aw–Rascle traffic model, which was introduced by Aw and Rascle [7] and has been widely studied by many authors, see [1, 25, 34] among others.
System (1.1)–(1.2) with \(\kappa _{{L}}\neq \kappa _{{R}}\) is a model of coupling. In this case, the system can be considered as the Aw–Rascle traffic model with the rough road condition. We would like to emphasize that the coupling systems are not easy to solve, even for the Riemann problems. The main reason is that the nonuniqueness of solution is related to the resonance that may take place at the interface \(x=0\) and the coupling condition must be chosen to achieve two wellposed initial boundary value problems in both sides of \(x=0\) [4, 8, 9]. It is worthwhile to mention the work by Ambroso et al. [1–4] who used a relaxation method to seek for a conservative coupling which avoided resonance.
In order to solve the Riemann problem for (1.1)–(1.2), we supplement the system with the trivial equation
Then the problem is changed into
with the piecewise constant initial data
By the Aw–Rascle traffic model, we require that \(\rho (x,t)\geq 0\) and velocity \(u(x,t)\geq 0\) of cars at \((x,t)\). Furthermore, in this paper we assume \(\kappa _{\alpha }>1\), \(\alpha =L, R\), and \(1<\gamma <2\).
Comparing with the Riemann problems for the isentropic model of a fluid flow in a nozzle with variable crosssection and the shallow water equations with discontinuous topography dealt with by LeFloch and Thanh [27–29], there are two important differences which are the main problems that we will solve in this paper. The first one is that the resonance hypersurfaces on both sides of the interface \(x=0\) are not the same, which makes the construction of the Riemann solution more difficult. Most importantly, for given \(U_{{L}}=(\rho _{{L}}, u_{{L}},\kappa _{{L}})\), there is usually \(U_{{L}}^{\sharp 0}\neq U_{{L}}^{0\sharp }\) for the above two models, while we here have \(U_{{L}}^{\sharp 0}=U_{{L}}^{0 \sharp }\) (see Lemma 4.2), which results in system (1.4)–(1.5) having infinitely many solutions for certain Riemann data (see subcases (A5) or (B5)).
In order to overtake this difficulty, following the line of [15, 16, 21, 22], we propose the socalled TVcondition which allows us to single out a unique solution among possibly infinitely many solutions. Denote \(\mathcal{W} _{0}=\mathcal{W}_{0}(U_{L},U_{R})\), \(W_{0}^{i}=W_{0}^{i}(U_{L}^{i},U _{R}^{i})\), and the total variation of the variable ρ along all the stationary contact wave curves \(\mathcal{W}_{0}=\sum_{i} W _{0}^{i}\) by \(\operatorname{TV}_{W_{0}}(\rho )=\sum_{i}\rho _{r}^{i}\rho _{l}^{i}\) across the discontinuity \(x=0\), where \(W_{0}^{i}\) denotes the ith stationary contact wave connecting the lefthand state \(U_{L}^{i}=(\rho _{L}^{i},u_{L}^{i},\kappa _{L}^{i})\) and the righthand state \(U_{R}^{i}=(\rho _{R}^{i},u_{R}^{i},\kappa _{R} ^{i})\). Through our analysis, \(\rho _{l}^{i}\) and \(\rho _{r}^{i}\) may not be unique. To obtain the unique Riemann solution, across the stationary contact wave curve \(W_{0}^{i}\), we select \(\rho _{l}^{i}\) and \(\rho _{r}^{i}\) such that
which is called the TVcondition in this paper. We will see that our TVcondition is quite effective not only for dealing with the resonance phenomenon but also for selecting a unique admissibility solution among infinitely many solutions.
In a recent paper [33], Shen studied system (1.4) by introducing two variables \((u,\omega )=(u,u+\kappa \rho ^{\gamma })\) and then dividing the construction of the global Riemann solver into two steps. The last step is to solve a scalar conservation law with discontinuous flux under the minimum jump path cross the discontinuity \(x=0\). The similar minimum jump condition was first introduced by Gimse and Risebro [16] to study the conservation laws with the discontinuous flux. The key difference with this paper and the paper [33] is whether the stationary contact discontinuity and the shock with zero speed occur. In this paper, there occur the stationary contact discontinuity and the shock with zero speed to some Riemann solutions constructed by the variables \((\rho ,u,\kappa )\).
The main results of this paper can be demonstrated as follows.
Theorem 1.1
Given the left and right states\(U_{{L}}=(\rho _{{L}},u_{{L}}, \kappa _{{L}})\)and\(U_{{R}}=(\rho _{{R}},u_{{R}}, \kappa _{{R}})\), suppose that condition (3.10) is satisfied, where\(\omega _{0}=\omega _{{L}}\)and\(m_{0}=m_{{L}}\). If TVcondition (1.6) is carried out, then Riemann problem (1.4) and (1.5) has a unique solution.
The paper is organized as follows. In Sect. 2, we give the corresponding preliminaries for (1.4). In Sect. 3, we investigate the properties of stationary shock wave and stationary contact wave. In Sect. 4, we introduce the socalled TVcondition and then give two related lemmas. In Sect. 5, under the TVcondition, we construct the corresponding Riemann solution case by case. Moreover, we obtain the uniqueness of the Riemann solution, which is demonstrated in Theorem 1.1. Finally, the conclusions are presented.
2 Preliminaries
Setting the dependent variable \(U=(\rho ,u,\kappa )\), the Jacobian matrix of system (1.4) is in the form
which has three eigenvalues
together with the corresponding right eigenvectors
The first family and the third family are linearly degenerate, while the second family is genuinely nonlinear.
Moreover, on the hypersurface, which is called the resonance hypersurface,
the second and the first characteristic speeds coincide, i.e.,
and
on the hypersurface
Now, we use curve (2.4) to separate the phase space \(\{\rho \geq 0, u\geq 0\}\) into two parts \(G_{1}^{\kappa }\) and \(G_{2}^{\kappa }\), where
In order to analyze the solutions to system (1.4), we need to look at the wave curves. Since equations (1.4) and the Riemann data are invariant under uniform stretching of coordinates
By taking the selfsimilar transform \(\xi =x/t\), Riemann problem (1.4) and (1.5) is changed into the boundary value problem of the ordinary differential equation:
with \((\rho ,u,\kappa )(\infty )=(\rho _{{R}},u_{{R}},\kappa _{{R}})\) and \((\rho ,u,\kappa )(\infty )=(\rho _{{L}},u_{{L}}, \kappa _{{L}})\).
For smooth solutions, equations (2.7) can be rewritten as
It follows from (2.8) that besides the constant solution (\(\rho >0\)), it provides a rarefaction wave which is a continuous solution of (2.8) in the form \(U(\xi )\). Given a left state \(U_{0}=(\rho _{0},u_{0},\kappa _{0})\), the rarefaction wave curve is the sets of all right states \(U=(\rho ,u,\kappa )\) that can be connected to the left by a rarefaction wave in the secondfamily, which are as follows:
where \(p_{0}=\kappa _{0}\rho _{0}^{\gamma }\) and \(p=\kappa \rho ^{\gamma }\).
For a bounded discontinuous solutions, the Rankine–Hugoniot conditions are
where and in what follows we use the notation \([h]=h_{+}h_{}\) with \(h_{}=h(x(t)0,t)\) and \(h_{+}=h(x(t)+0,t)\), and \(\sigma = \frac{dx}{dt}\) is the velocity of the discontinuity. We obtain from (2.10) that
When \([\kappa ]=0\), by direct calculation and the Lax shock inequalities, the possible states \(U=(\rho ,u,\kappa )\) that can be connected to the left state \(U_{0}\) on a shock wave are given by
If κ= constant, then system (1.4) belongs to the Temple class, for which the rarefaction wave curves coincide with the shock curves in the phase plane [35, 36].
The third characteristic family is linearly degenerate, that is, \([\kappa ]=0\) and \(\sigma =u\). The corresponding curve is called contact discontinuity, denoted J. The curve, which is the set of states \(U=(\rho ,u,\kappa )\) that can be connected to \(U_{0}\) by the contact discontinuity, is
Remark 1
For a special shock, i.e., the velocity of shock \(\sigma =0\), we call it stationary shock wave, denoted by \(S_{0}\).
To facilitate our construction, for a given state \(U_{0}=(\rho _{0},u _{0},\kappa _{0})\), we define the wave curves \(\mathcal{W}_{i}\) (\(i=1, 2\)) as follows:
When \(\sigma =0\) and \([\kappa ]\neq 0\), we call the curve stationary contact wave, denoted by \(\mathcal{W}_{0}\). For a given left state \(U_{0}\) and some κ, the sets, which can be connected to \(U_{0}\) by \(\mathcal{W}_{0}\), are
where \(p=\kappa \rho ^{\gamma }\) and \(p_{0}=\kappa _{0}\rho _{0}^{\gamma}\).
3 The properties of wave curves
To solve (1.4)–(1.5), we project all the wave curves on the \((\rho ,u)\)plane. Now, let us investigate properties of the stationary shock wave and stationary contact wave along the lines of [27–29] with some novel information. First, we give the following lemma.
Lemma 3.1
For any\(U_{{L}}(\rho _{{L}},u_{{L}},\kappa )\in G_{1}^{ \kappa }\), we have:
 (1)
The speed of shock wave\(\sigma (U_{{L}},U)\)is decreasing with respect toρ, where\(U=(\rho ,u,\kappa )\in S(U_{{L}})\). Moreover, there exists a unique state\(U_{{S}}\in S(U_{{L}}) \cap G_{2}^{\kappa }\)such that\(\sigma (U_{{L}},U_{{S}})=0\), where the state\(U_{{S}}\)satisfies
$$ \textstyle\begin{cases} u_{{S}}=u_{{L}}+\kappa (\rho _{{L}}^{\gamma }\rho _{{S}} ^{\gamma }), \\ u_{{S}}=\frac{\rho _{{L}}u_{{L}}}{\rho _{{S}}}. \end{cases} $$(3.1)  (2)
\(\rho _{{S}}\)is a decreasing function with respect to\(\rho _{{L}}\)along the shock.
Proof
For statement (1), we use (2.12) to get \(\frac{du}{d\rho }= \kappa \gamma \rho ^{\gamma 1}\) and
Differentiating both sides of (3.2) with respect to ρ gives
Setting \(f(\rho )=\gamma \rho ^{\gamma +1}(\gamma +1)\rho _{{L}} \rho ^{\gamma } +\rho _{{L}}^{\gamma +1}\), we have \(f'(\rho )= \gamma (\gamma +1)\rho ^{\gamma 1}(\rho \rho _{{L}})>0\) for \(\rho >\rho _{{L}}\). Together with the fact that \(f(\rho _{{L}})=0\), one can obtain
Combining (3.3) and (3.4) gives that the speed of shock \(\sigma (U_{{L}},U)\) is decreasing with respect to ρ.
From (3.2) and \(U_{{L}}\in G_{1}^{\kappa }\), we have
It is easy to see that \(\sigma (U_{{L}},U)<0\) for \(U=(\rho ,0, \kappa )\in S(U_{{L}})\). Based on these properties of the function \(\sigma (U_{{L}},U)\), there exists a unique state \(U_{{S}} \in S(U_{{L}})\cap G_{2}^{\kappa }\) such that the speed of shock wave \(\sigma (U_{{L}},U_{{S}})=0\), which yields statement (1).
We now show statement (2). Denote \(\omega _{{L}}=u_{{L}}+p_{{L}}\). By statement (1), we have \(U_{{L}}\in G_{1}^{\kappa }\) and \(U_{{S}}\in G_{2}^{\kappa }\), which imply that \(u_{{L}}>\kappa \gamma \rho _{{L}}^{\gamma }\) and \(u_{{S}}<\kappa \gamma \rho _{{S}}^{\gamma }\). We obtain from (3.1) that \(\omega _{{S}}=\omega _{{L}}=u_{{S}}+p_{{S}}\) and
Differentiating both sides of the above equality with respect to \(\rho _{{L}}\) gives
which indicates \(\frac{d\rho _{{S}}}{d\rho _{{L}}}<0\). We achieve statement (2), and the lemma is completely proved. □
Next, we discuss the properties of the stationary contact wave.
Given a state \(U_{0}=(\rho _{0},u_{0},\kappa _{0})\), assume \(U=(\rho ,u, \kappa )\) to be the corresponding righthand state of the stationary contact wave issuing from the left state \(U_{0}\). We obtain from (2.16) that
which gives
where \(\omega _{0}=u_{0}+\kappa _{0}\rho _{0}^{\gamma }\geq 0\) and \(m_{0}=\rho _{0} u_{0}\geq 0\). It follows from (3.6) that \(\varphi '(\rho )=\kappa (\gamma +1)\rho ^{\gamma }\omega _{0}\). So \(\varphi '(\rho )=0\) implies \(\kappa (\gamma +1)\rho ^{\gamma }=\omega _{0}\), which gives
Then \(\varphi '(\rho )<0\) for \(0<\rho <\rho _{*}\) and \(\varphi '( \rho )>0\) for \(\rho >\rho _{*}\). Therefore
It is easy to see that \(\varphi (\rho _{*})<0\) is equivalent to
which implies
Obviously, we have \(\varphi (0)=m_{0}>0\). In addition, we can take \(\overline{\rho }> (\frac{\omega _{0}}{\kappa } )^{\frac{1}{ \gamma }}\) such that \(\varphi (\overline{\rho })>0\).
Based on these observations, we arrive at the following lemma.
Lemma 3.2
Given a state\(U_{0}=(\rho _{0},u_{0},\kappa _{0})\)and someκ, then a stationary contact wave\(\mathcal{W}_{0}(U_{{L}},\kappa )\)issuing from\(U_{0}\)to some\(U=(\rho ,u,\kappa )\)exists if and only if equation (3.6) admits a root, which is equivalent to that condition (3.10) holds. Moreover, when\(\kappa <\kappa _{ \max }\), equation (3.6) has two roots\(\rho _{1}(\kappa )\)and\(\rho _{2}(\kappa )\)such that\(\rho _{1}(\kappa )<\rho _{*}<\rho _{2}( \kappa )\).
We continue to consider the properties of the stationary contact wave.
Lemma 3.3
Let\(U_{0}\)andUbe described as in Lemma 3.2. We have the following results:
 (1)
\(\kappa _{\max }\geq \kappa _{0}\), \(\kappa _{\max }=\kappa _{0}\)if and only if\(U_{0}\in C_{+}^{\kappa _{0}}\).
 (2)
If\(\kappa \leq \kappa _{\max }\)and\(u_{0}>0\), then\(\rho _{1}( \kappa )\leq \rho _{*}\leq \rho _{2}(\kappa )\), where\(\rho _{1}(\kappa )\)and\(\rho _{2}(\kappa )\)are two roots of (3.6).
 (3)
Let\(\kappa \leq \kappa _{\max }\), \(u_{0}>0\)and\(U_{i}(\kappa )=( \rho _{i}(\kappa ),u_{i}(\kappa ),\kappa )\), where\(u_{i}(\kappa )=\rho _{0} u_{0}/\rho _{i}(\kappa )\), \(i=1,2\), \(\rho _{1}(\kappa )\)and\(\rho _{2}(\kappa )\)are described as the statement in (2), then
$$ U_{1}(\kappa )\in G_{1}^{\kappa } \quad \textit{and}\quad U_{2}(\kappa ) \in G_{2}^{\kappa }. $$(3.11)
Proof
To prove (1), we assume \(u_{0}=\alpha \kappa _{0}\gamma \rho _{0}^{ \gamma }\), \(\alpha >0\), then \(\omega _{0}=u_{0}+\kappa _{0}\rho _{0}^{ \gamma }=(\alpha \gamma +1)\kappa _{0}\rho _{0}^{\gamma }\) and \(m_{0}=\rho _{0} u_{0}=\alpha \gamma \kappa _{0}\rho _{0}^{\gamma +1}\). Substituting these into (3.10) gives
When \(\alpha =1\), that is, \(U_{0}\in C_{+}^{\kappa _{0}}\), then \(\kappa _{\max }=\kappa _{0}\). When \(\alpha \neq 1\), we introduce the function
and achieve
Obviously, if \(\alpha >1\), \(f'(\alpha )>0\), which shows \(f(\alpha )>f(1)=1\). If \(0<\alpha <1\), \(f'(\alpha )<0\), which implies \(f(\alpha )>f(1)=1\). So \(f(\alpha )>f(1)=1\) for \(\alpha \neq 1\), which shows \(\kappa _{\max }>\kappa _{0}\). Therefore, we demonstrate statement (1).
Assertion (2) can be easily deduced from the above argument.
Now, we check assertion (3). Let us define the function
Together with (3.9), we obtain from (3.13) that \(\psi (\rho _{\min })=0\), which implies \((\rho _{\min },u_{\min }, \kappa )\in C_{+}^{\kappa }\), where \(u_{\min }=m_{0}/\rho _{\min }\). Moreover, we have \(\psi '(\rho )=\frac{m_{0}}{\rho ^{2}}\kappa \gamma ^{2}\rho ^{\gamma 1}<0\). So, in order to demonstrate \(U_{1}(\kappa ) \in G_{1}^{\kappa }\) and \(U_{2}(\kappa )\in G_{2}^{\kappa }\), it is sufficient to prove
which is equivalent to
From (3.6), we have
Then, a straightforward computation shows that the condition \(\kappa <\kappa _{\max }(U_{0})\) is equivalent to \(\varphi (\rho _{ \min })<0\). This together with the fact that \(\varphi (\rho )>0\) for \(\rho <\rho _{1}(\kappa )\) or \(\rho >\rho _{2}(\kappa )\), and \(\varphi (\rho )<0\) for \(\rho _{1}(\kappa )<\rho <\rho _{2}(\kappa )\), establishes (3.15). This completes the proof of the lemma. □
We next establish a lemma that plays a key role in construction of the Riemann solution.
Lemma 3.4
Let\(U_{0}\)andUbe described as in Lemma 3.2, \(\rho _{1}(\kappa )\)and\(\rho _{2}(\kappa )\)be two roots of (3.6).
 (1)
If\(\kappa <\kappa _{0}\)and\(u_{0}>0\), then\(\rho _{1}(\kappa )< \rho _{0}<\rho _{2}(\kappa )\). Moreover, when\(U_{0}\in G_{2}^{\kappa _{0}}\), we have\(U_{2}=(\rho _{2}(\kappa ),u_{2}(\kappa ),\kappa ) \in G_{2}^{\kappa }\), where\(u_{2}(\kappa )=m_{0}/\rho _{2}(\kappa )\).
 (2)
If\(\kappa _{0}<\kappa <\kappa _{\max }\)and\(u_{0}>0\), then
$$ \rho _{0}< \rho _{1}(\kappa )\quad \textit{for } U_{0}\in G_{1}^{\kappa }; \qquad \rho _{0}> \rho _{2}(\kappa )\quad \textit{for } U_{0}\in G_{2}^{\kappa }. $$
Proof
If \(\kappa <\kappa _{0}\), then \(\kappa <\kappa _{0}\leq \kappa _{\max }(U _{0})\) and \(\varphi (\rho _{0})=(\kappa \kappa _{0})\rho _{0}^{\gamma +1}<0\), which implies \(\rho _{1}(\kappa )<\rho _{0}<\rho _{2}(\kappa )\).
It follows from (3.9) and (3.13) that
Since \(\varphi (\rho _{2})=0\), that is, \(\kappa \rho _{2}^{\gamma +1} \omega _{0}\rho _{2}+m_{0}=0\), we obtain
Recalling the definition of the function \(\psi (\rho )\) and \(u_{2}=m_{0}/\rho _{2}< u_{0}\) for \(\rho _{2}>\rho _{0}\), we observe
for \(U_{0}\in G_{2}^{\kappa _{0}}\). Furthermore, a simple calculation shows
Combining (3.16) with (3.18)–(3.19) shows \(\rho _{2}>\rho _{\min }\), which implies \(U_{2}\in G_{2}^{\kappa }\).
Next, we prove assertion (2). It is derived from (3.9) and (3.13) that
for \(U_{0}\in G_{1}^{\kappa }\) and
where \(u=m_{0}/\rho _{\min }\). In addition, we have
This together with (3.20) and (3.21) shows \(\rho _{0}<\rho _{\min }\).
By the argument of Lemma 3.3, we know that \(\varphi ( \rho _{\min })<0\) is equivalent to \(\kappa <\kappa _{\max }\). Moreover, since \(\varphi (\rho _{0})=(\kappa \kappa _{0})\rho _{0}^{\gamma +1}>0\), which together with the above observation gives \(\rho _{0}<\rho _{1}( \kappa )\) for \(U_{0}\in G_{1}^{\kappa }\).
If \(U_{0}\in G_{2}^{\kappa }\), then
which implies
Furthermore, we easily obtain \(\varphi (\rho _{0})=(\kappa \kappa _{0}) \rho _{0}^{\gamma +1}>0\) and \(\varphi (\rho _{\min })<0\). Combining this and (3.22) achieves \(\rho _{0}>\rho _{2}(\kappa )\). So the second assertion of the lemma is true. □
Remark 2
Lemma 3.4 answers the first problem as mentioned in Sect. 1.
4 The TVcondition
Based on the assertions in Lemmas 3.2 and 3.3, there are two possible stationary contact waves issuing from a given state \(U_{0}\) to a state with another entropy value κ. Thus, we need to impose an admissibility condition to select a unique solution.
In order to use TVcondition (1.6), we need the following two lemmas.
Lemma 4.1
For\(U_{{L}}\in C_{{+}}^{\kappa _{{L}}}\)and\(\kappa _{{L}}> \kappa _{{R}}\), denote\(H_{{L}}:\rho u=\rho _{{L}}u_{{L}}\), \(C_{{L}}:u=\omega _{{L}}\kappa _{{L}}\rho ^{\gamma }\), and\(C_{{R}}:u=\omega _{{L}}\kappa _{{R}}\rho ^{\gamma }\), and suppose that the curve\(H_{{L}}\)intersects the curve\(C_{{R}}\)at two states\(U_{\alpha }\), \(U_{\beta }\)and\(\rho _{{\alpha }}< \rho _{{\beta }}\) (see Fig. 1), then
 (1)
the curve\(H_{{L}}\)is tangent to the curve\(C_{{L}}\)at\(U_{{L}}\),
 (2)
\(\rho _{{L}}\rho _{{\alpha }}<\rho _{{\beta }}\rho _{{L}}\).
Proof
Since \(U_{{L}}\in C_{{+}}^{\kappa _{{L}}}\), we have \(u_{{L}}=\kappa _{{L}}\gamma \rho _{{L}}^{\gamma }\), and so \(m_{{L}}=\rho _{{L}} u_{{L}}=\kappa _{{L}}\gamma \rho _{{L}}^{\gamma +1}\) and \(\omega _{{L}}=u_{{L}}+p_{{L}}= \kappa _{{L}}(\gamma +1)\rho _{{L}}^{\gamma }\).
Statement (1) is trivial. We need only to prove statement (2).
If \(\kappa _{{L}}>\kappa _{{R}}\), then \(\xi =\kappa _{{L}}/ \kappa _{{R}}>1\). Setting \(\rho =\theta \rho _{{L}}\), we obtain from (3.6) that
Let
and rearrange (4.1) to get
We easily see that equation (4.2) has two roots, denoted by α and β. They satisfy \(0<\alpha <1\) and \(\beta > \xi ^{\frac{1}{\gamma }}>1\). So statement (2) is equivalent to \(1\alpha <\beta 1\), that is, \(\alpha +\beta >2\).
Denote \(f_{1}(\theta )=\theta ^{\gamma +1}\) and \(f_{2}(\theta )=\xi ( \gamma +1)(\theta \frac{\gamma }{\gamma +1})\). The graphs of \(y=f_{1}(\theta )\) and \(y=f_{2}(\theta )\) are shown in Fig. 2. The \(y=f_{2}(\theta )\) intersects the \(y=f_{1}(\theta )\) at points B and C, where \(\theta _{{B}}=\alpha \) and \(\theta _{{C}}=\beta \). The straight line AH is \(y=f_{3}(\theta )=\xi ( \gamma +1)(\theta \xi ^{1/\gamma })+\xi ^{(\gamma +1)/\gamma }\), which is a tangent line of \(y=f_{1}(\theta )\) at point \(A=A(\xi ^{1/\gamma }, \xi ^{(\gamma +1)/\gamma })\). Assume that \(y=f_{2}(\theta )\) and \(y=f_{3}(\theta )\) intersect the θaxis at points H and K respectively. Obviously, at two points H and K, we have \(\theta _{{H}}=\frac{\gamma }{\gamma +1}\xi ^{1/\gamma }\) and \(\theta _{{K}}=\frac{\gamma }{\gamma +1}\), see Fig. 2.
In Fig. 2, both the straight lines BF and CG are perpendicular to the θaxis and FG is parallel to the θaxis, which intersects the BC at point D. The AE is perpendicular to the FG at point E. By the property of the function \(y=f_{1}(\theta )\) and the fact that AH is parallel to BC, we have that the length of the line segment CD is greater than that of the line segment BD, which implies
From Fig. 2, we obtain
Combining (4.3) and (4.4) gives
for \(\xi >1\) and \(1<\gamma <2\). Then the lemma is verified. □
Before we get interesting results by using the following lemma, we first introduce some notations as follows.
Notations

(i)
\(W_{k}(U_{i},U_{j})\) denotes the kthwave connecting the lefthand state \(U_{i}\) to the righthand state \(U_{j}\), \(k=0, 1, 2\).

(ii)
\(U^{\sharp }\) denotes the state resulted by a zerospeed shock wave from U.

(iii)
\(U^{0}\) denotes the state resulted by a stationary contact wave from U.
Setting \(\omega _{{L}}=u_{{L}}+p_{{L}}=u_{{L}}+\kappa _{{L}} \rho _{{L}}^{\gamma }\), from the point \(A=(\rho _{{L}},u _{{L}},\kappa _{{L}})\) in \((\rho ,u)\)plane, we draw a curve \(H_{{L}}:\rho u=\rho _{{L}} u_{{L}}\) and another curve \(C_{{L}}:u=\omega _{{L}}\kappa _{{L}}\rho ^{\gamma }\) which intersects the uaxis at point \(I=I(U_{I})=I(0,\omega _{{L}})\). From the point I, we draw a curve \(C_{{R}}:u=\omega _{{L}} \kappa _{{R}}\rho ^{\gamma }\). We assume that the curve \(H_{{L}}\) intersects with the curves \(C_{{R}}\) and \(C_{{L}}\) at points B, C, and D respectively, see Fig. 3.
We obtain from Lemma 3.1 and (2.16) that the points B and C are determined by
which implies \(B=B(\rho _{{L}}^{0},u_{{L}}^{0},\kappa _{r})\) and \(C=C(\rho _{{L}}^{0\sharp },u_{{L}}^{0\sharp },\kappa _{{R}})\), where \(p=\kappa _{{R}}\rho ^{\gamma }\).
In addition, the point D also satisfies (4.5), where \(p=\kappa _{{L}}\rho ^{\gamma }\). From Lemma 3.1, we obtain \(D=D(\rho _{{L}}^{\sharp },u_{{L}}^{\sharp },\kappa _{{L}})\). Thus, \(U_{{L}}^{\sharp 0}=(\rho _{{L}}^{\sharp 0},u_{{L}}^{ \sharp 0},\kappa _{{R}})\) satisfies
where \(p=\kappa _{{R}}\rho ^{\gamma }\). So, we obtain \((\rho _{{L}} ^{\sharp 0},u_{{L}}^{\sharp o},\kappa _{{R}})=(\rho _{{L}}^{0 \sharp },u_{{L}}^{0\sharp },\kappa _{{R}})\).
Based on the above argument and Lemma 4.1, we present an important lemma as follows.
Lemma 4.2
For a given state\(U_{{L}}=(\rho _{{L}},u_{{L}}, \kappa _{l})\in G_{1}^{\kappa _{{L}}}\), \(U_{{L}}^{0}\), \(U_{{L}} ^{\sharp }\), \(U_{{L}}^{\sharp 0}\), and\(U_{{L}}^{\sharp 0}\)described as above, we denote\(A=A(U_{{L}})\), \(B=B(U_{{L}}^{ 0})\), \(D=D(U_{{L}}^{\sharp })\), as shown in Fig. 3. Then, we have:
 (1)
\(U_{{L}}^{\sharp 0}=U_{{L}}^{0\sharp }\).
 (2)
\(\rho _{{L}}\rho _{{L}}^{0} \leq \rho _{{L}} ^{0\sharp }\rho _{{L}}^{\sharp } \).
Remark 3
Statement (1) of Lemma 4.2 is different from the case that in general \(U_{{L}}^{\sharp 0}\neq U_{{L}}^{0\sharp }\) in [28, 29] and results in possibly infinitely many solutions for certain initial data, see the following two subcases (A5) and (B5).
5 The Riemann solution to (1.4) and (1.5) with (1.2)
In this section, we use our TVcondition (1.6) to construct the corresponding Riemann solution. Moreover, the TVcondition helps us select a unique one among the possibly infinitely many solutions for certain Riemann data.
Next, we consider the corresponding Riemann for cases \(\kappa _{{L}}> \kappa _{{R}}\) and \(\kappa _{{L}}<\kappa _{{R}}\) and construct the solutions case by case.
5.1 The Riemann solution for the case \(\kappa _{{L}}> \kappa _{{R}}\)
We divide this case into three subcases: (I): \(U_{{L}}\in G_{1} ^{\kappa _{{L}}}\), (II): \(U_{{L}}\in G_{2}^{\kappa _{{L}}}\), and (III): \(U_{{L}}\in C_{+}^{\kappa _{{L}}}\).
(I) \(U_{{L}}\in G_{1}^{\kappa _{{L}}}\)
There is a stationary contact wave from the state \(U_{{L}}( \kappa _{{L}})\) to some state \(U_{{L}}^{0}(\kappa _{{R}})\) using \(\rho _{1}(U_{{L}},\kappa _{{R}})\). Based on Lemma 3.1, there exists a state \(U_{{L}}^{0\sharp }\in W_{1}(U_{{L}}^{0})\) such that \(\sigma (U_{{L}}^{0},U_{{L}}^{0\sharp })=0\), \(\sigma (U_{{L}}^{0},U)>0\) for \(u_{{L}}^{0\sharp }< u< u_{{L}} ^{0}\) and \(\sigma (U_{{L}}^{0},U)<0\) for \(0\leq u< u_{{L}}^{0 \sharp }\), where \(U=(\rho ,u,\kappa _{{R}})\in W_{1}(U_{{L}}^{0})\), see Fig. 4. In addition, we assume that the curve \(W_{1}(U _{{L}}^{0})\) intersects the uaxis at point \(I=I(U_{{I}})\), where \(U_{{I}}=(0,u_{{I}})\) and \(u_{{I}}=\omega _{{L}}=u _{{L}}+p_{{L}}\). For a given right state \(U_{{R}}=(\rho _{{R}},u_{{R}},\kappa _{{R}})\), we can divide construction of the Riemann solution into five subcases (A1)–(A5), where
(A1)\(u_{{R}}> u_{{I}}\). For this case, the Riemann solution can be described as
where the state \(U_{{V}}\) denotes the Vacuum state, i.e.,
where \(\xi =\frac{x}{t}\). The Riemann solution at \((x,t)\) space is shown in Fig. 5.
(A2)\(u_{{L}}^{0}\leq u_{{R}}\leq u_{{I}}\). The Riemann solution can be expressed as
where the state \(U_{{M}}=(\rho _{{M}},u_{{M}},\kappa _{{R}})\) satisfies
which is shown in Fig. 5.
(A3)\(u_{{L}}^{0\sharp }< u_{{R}}< u_{{L}}^{0}\). For this case, the Riemann solution can be described as
where the state \(U_{{M}}=(\rho _{{M}},u_{{M}},\kappa _{{R}})\) satisfies (5.4), which is demonstrated in Fig. 6.
(A4)\(0\leq u_{{R}}< u_{{L}}^{0\sharp }\). In this subcase, by the following procedure, we construct the corresponding Riemann solution.
We draw a straight line \(u=u_{{R}}\) from the right state \(U_{{R}}\), which intersects the curve \(C_{{R}}: u=\omega _{{L}}\kappa _{{R}}\rho ^{\gamma }\) at point \(E=E(U_{{E}})\), where \(\omega _{{L}}=u_{{L}}+p_{{L}}\) and \(U_{{E}}=(\rho _{{}} ^{0},u_{{}}^{0},\kappa _{{R}})\) is given by
And then, we draw a curve \(H_{{R}}:\rho u=\rho _{{}}^{0} u_{{}}^{0}\) through the point E, which intersects the curve \(C_{{L}}:u=\omega _{{L}}\kappa _{{L}}\rho ^{\gamma }\) at point \(F=F(U_{{F}})\), where \(U_{{F}}=(\rho _{{}},u_{{}}, \kappa _{{L}})\) is determined by
By Lemma 3.1, we have \(\sigma (U_{{L}},U_{{F}})<0\). So, the Riemann solution can be described as
see Fig. 6.
Remark 4
If we apply the monotonicity criterion introduced by LeFloch and Thanh in [27–29] to construct the Riemann solution for subcases (A1)–(A4), the corresponding results are consistent with the above results obtained by the TVcondition.
(A5)\(u_{{R}}= u_{{L}}^{0\sharp }\).
To begin with, from the point \(I=I(U_{{I}})\), we draw a curve \(C_{\kappa } : u=\omega _{{L}}\kappa \rho ^{\gamma }\), which intersects the curve \(H_{{L}} :\rho u=\rho _{{L}}u_{{L}}\) at points \(M=M(U_{{M}}(\kappa ))\) and \(N=N(U_{{N}}(\kappa ))\), where \(\kappa _{{R}}<\kappa <\kappa _{{L}}\).
First, we use the monotonicity criterion to construct the Riemann solution. Then, the Riemann solution begins with a stationary contact wave from the state \(U_{{L}}(\kappa _{{L}})\) to some state \(U_{{M}}(\kappa )\) using \(\rho _{1}(U_{{L}},\kappa )\). By Lemma 4.2, we have \(U_{{N}}=U_{{M}}^{\sharp }\); that is to say, there is a zero speed shock \(S_{0}(U_{{M}},U_{{N}})\) from \(U_{{M}}\) to \(U_{{N}}\). And then, the \(S_{0}\) is followed by a stationary contact wave \(W_{0}(U_{{N}},U_{{L}}^{0\sharp })\) from \(U_{{N}}\) to \(U_{{L}}^{0\sharp }\). Here, the state \(U_{{L}}^{0\sharp }\) coincides in the following subcases (a), (b), and (c). Both \(U_{{M}}\) and \(U_{{N}}\) are not constant states and can be seen as the functions of the variable κ. Thereby, the corresponding Riemann solution, shown in Fig. 7, can be described as
If \(\kappa =\kappa _{{L}}\), together with Lemma 4.2, we can see from Fig. 8 that the Riemann solution can be expressed as
If \(\kappa =\kappa _{{R}}\), it is apparent from the previous discussion that the Riemann solution is
So, we see that the monotonicity criterion cannot select a unique one among infinitely many solutions.
Now, we use TVcondition (1.6) to consider subcase (A5). From Lemma 4.2, the minimum of \(\operatorname{TV}_{W_{0}}(\rho )\) is \(\rho _{{L}}\rho _{{L}}^{0}\), which indicates that the Riemann solution is described as (5.9). Thus, under TVcondition (1.6), we obtain the uniqueness of the Riemann solution for this subcase.
(II) \(U_{{L}}\in G_{2}^{\kappa _{{L}}}\)
We continue to construct the corresponding solution with the TVcondition. To begin with, draw a curve \(C_{{L}}:u=\omega _{{L}} \kappa _{{L}}\rho ^{\gamma }\) from the point \(A=A(U_{{L}})\), which intersects the curve \(C_{{+}}^{\kappa _{{L}}}\) at point \(B=B(U_{{+}})\). Through the point B, we draw a curve \(H_{+}: \rho u=\rho _{+} u_{+}\), which intersects \(C_{{R}}:u=\omega _{{L}} \kappa _{{R}}\rho ^{\gamma }\) at points C and D, respectively. By Lemma 4.1, \(H_{{+}}\) is tangent to \(C_{{R}}\) at point B. In addition, both points C and D satisfy
Combining (5.10) and Lemma 4.2 gives \(C=C(U_{{+}}^{0})\) and \(D=D(U_{{+}}^{0\sharp })\), see Fig. 9.
Similar to the above subcase (I), we may divide the construction into five subcases (B1)–(B5), where
(B1)\(u_{{R}}>u_{{I}}\).
The Riemann solution begins with a rarefaction wave \(R(U_{{L}},U _{{+}})\) from the state \(U_{{L}}\) to the state \(U_{{+}}=( \rho _{{+}},u_{{+}},\kappa _{{L}})\), which satisfies
Hence there exists a stationary contact wave connecting the state \(U_{{+}}\) to state \(U_{{+}}^{0}\) using the \(\rho _{1}(U_{{L}}, \kappa _{{R}})\). The solution is continued with a rarefaction wave \(R(U_{{+}}^{0},U_{{I}})\), followed by the Vacuum \(U_{{V}}\), where \(U_{{V}}\) is expressed by (5.2). At last, the solution ends up with a contact discontinuity connecting the state \(U_{{V}}\) to \(U_{{R}}\). So, we can construct the Riemann solution as follows:
see Fig. 10.
(B2)\(u_{+}^{0}\leq u_{{R}}\leq u_{{I}}\).
Based on the above construction, as shown in Fig. 10, we can obtain the Riemann solution
where the state \(U_{{M}}\) is determined by
(B3)\(u_{+}^{0\sharp }< u_{{R}}< u_{+}^{0}\).
Different from subcase (B2), the rarefaction wave \(R(U_{{+}}^{0},U _{{M}})\) is presented by a shock wave \(S(U_{{+}}^{0},U_{{M}})\), where the state \(U_{{M}}\) satisfies (5.12). We can obtain from Fig. 10 the Riemann solution at \((x,t)\) space.
(B4)\(0\leq u_{{R}}< u_{+}^{0\sharp }\).
Similar to subcase \((A4)\), we draw a straight line \(u=u_{{R}}\) from the right state \(U_{{R}}\), which intersects the curve \(C_{{R}} : u=\omega _{{L}}\kappa _{{R}}\rho ^{\gamma }\) at some state \(U_{{}}^{0}\), where \(\omega _{{L}}=u_{{L}}+p_{{L}}\) and \(U_{{}}^{0}=(\rho _{{}}^{0},u_{{}}^{0},\kappa _{{R}})\) satisfies
To continue to construct the solution, we draw a curve \(H_{{R}}: \rho u=\rho _{{}}^{0} u_{{}}^{0}\) through the state \(U_{{}} ^{0}\) and it intersects the curve \(C_{{L}}:u=\omega _{{L}} \kappa _{{L}}\rho ^{\gamma }\) at a state \(U_{{}}=(\rho _{{}},u _{{}},\kappa _{{L}})\) using \(\rho _{2}(\kappa )\), which is determined by
If \(u_{{}}\geq u_{{L}}\), there exists a rarefaction wave \(R(U_{{L}},U_{{}})\) from \(U_{{L}}\) to \(U_{{}}\). Otherwise, there is a shock wave \(S(U_{{L}},U_{{}})\) connecting \(U_{{L}}\) to \(U_{{}}\), see Fig. 9. Thus, the Riemann solution can be described as follows:
We also see Fig. 10.
(B5)\(u_{{R}}=u_{{+}}^{0\sharp }\).
As in subcase (A5), we use the monotonicity criterion to consider this subcase and can achieve infinitely many solutions. In fact, from the point \(I=I(U_{{I}})\) we draw a curve \(C_{\kappa }: u= \omega _{{L}}\kappa \rho ^{\gamma }\), which intersects the curve \(H_{+}\) at points F and G. By Lemma 4.2, we have \(F=F(U_{{+}}^{\kappa })\) and \(G=G(U_{{+}}^{\kappa \sharp })\) (see the dashed curve through the point I in Fig. 9). So, there is a stationary contact wave \(W_{0}(U_{{+}},U_{{+}}^{\kappa })\) connecting \(U_{{+}}\) to \(U_{{+}}^{\kappa }=(\rho _{{+}}^{ \kappa },u_{{+}}^{\kappa },\kappa )\), followed by a zerospeed shock \(S_{0}(U_{{+}}^{\kappa },U_{{+}}^{\kappa \sharp })\), where \(\kappa _{{R}}<\kappa <\kappa _{{L}}\). Moreover, we also obtain a stationary contact wave \(W_{0}(U_{{+}}^{\kappa \sharp },U_{{+}} ^{0\sharp })\) connecting \(U_{{+}}^{\kappa \sharp }\) to \(U_{{+}} ^{0\sharp }\).
(a) If \(\kappa _{{R}}<\kappa <\kappa _{{L}}\), as shown in Fig. 11, the Riemann solution can expressed by
(b) If \(\kappa =\kappa _{{R}}\), the Riemann solution can be denoted by
which is given in Fig. 11.
Since \(\kappa _{{R}}\leq \kappa <\kappa _{{L}}\), we easily see the nouniqueness for the Riemann solution in this subcase.
Under TVcondition (1.6), it follows from Lemma 4.1 that the minimum of \(\operatorname{TV}_{W_{0}}(\rho )\) is \(\rho _{{+}} \rho _{{+}}^{0}\), which indicates that the Riemann solution is expressed by (5.14). So, we also obtain a unique solution.
(III) \(U_{{L}}\in C_{{+}}^{\kappa _{{L}}}\)
From the point \(A=A(U_{{L}})\), we draw two curves \(H_{{L}}: \rho u=\rho _{{L}}u_{{L}}\) and \(C_{{L}}: u=\omega _{{L}} \kappa _{{L}}\rho ^{\gamma }\) which intersect the uaxis at point \(I=I(U_{I})\). We again draw a curve \(C_{{R}}: u=\omega _{{R}} \kappa _{{R}}\rho ^{\gamma }\) which intersects the \(H_{{L}}\) at two points B and C. By Lemmas 4.1 and 4.2, we have \(B=B(U_{{L}}^{0})\) and \(C=C(U_{{L}}^{0\sharp })\), see Fig. 1, where \(U_{{\alpha }}=U_{{L}}^{0}\) and \(U_{{\beta }}=U _{{L}}^{0\sharp }\). As for the Riemann solution in this subcase, we can refer to subcase (II): \(U_{{L}}\in G_{2}^{\kappa _{{L}}}\).
5.2 The Riemann solution for the case \(\kappa _{{L}}< \kappa _{{R}}\)
From the point \(A=A(U_{{L}})\), we draw two curves \(H_{{L}}: \rho u=\rho _{{L}} u_{{L}}=m_{{L}}\) and \(C_{{L}}: u= \omega _{{L}}\kappa _{{L}}\rho ^{\gamma }\) which intersect the uaxis at point \(I=I(U_{{I}})\), and again draw a curve \(C_{{R}}: u=\omega _{{L}}\kappa _{{R}}\rho ^{\gamma }\), where \(\omega _{{L}}=u_{{L}}+p_{{L}}\). Suppose that \(C_{{R}}\) intersects \(C_{+}^{\kappa _{{R}}}\) at state \(U_{{+}}\). And then, we draw a curve \(H_{{+}}:\rho u=\rho _{{+}} u_{{+}}=m_{{+}}\) which intersects \(C_{{L}}\) at two states \(U_{{\alpha }}\) and \(U_{{\beta }}\), see Fig. 12. By Lemma 4.1, the \(H_{{+}}\) is tangent to \(C_{{R}}\) at state \(U_{{+}}\), and \(U_{{\alpha }}=U_{{+}}^{0}\) and \(U_{{\beta }}=U_{{+}}^{0 \sharp }\). We use the curve \(H_{{+}}\) to divide the phase plane \(\{\rho \geq 0, u\geq 0\}\) into two parts \(G_{{H}}^{L}\) and \(G_{{H}}^{R}\), where
We divide this case into three subcases: (I) \(U_{{L}}\in G_{1}^{ \kappa _{{R}}}\cap G_{{H}}^{L}\), (II) \(U_{{L}}\in G_{2}^{ \kappa _{{R}}}\cup G_{{H}}^{R}\), and (III) \(U_{{L}}=U_{{ \alpha }}\). In the following, we omit the construction of the Riemann solution at \((x,t)\) space and can obtain the corresponding results as stated above.
(I) \(U_{{L}}\in G_{1}^{\kappa _{{R}}}\cap G_{{H}}^{L}\)
Figure 12 shows that the Riemann solution in this subcase is similar to that in subcase (I) of Sect. 5.2, and here omit the details.
(II) \(U_{{L}}\in G_{2}^{\kappa _{{R}}}\cup G_{{H}} ^{R}\)
By the location of the right state \(U_{{R}}\), we divide this into (C1) \(u_{{R}}\geq u_{{+}}\) and (C2) \(0\leq u_{{R}}< u_{{+}}\), see Fig. 13.
(C1)\(u_{{R}}\geq u_{{+}}\).
The Riemann solution begins with \(W_{1}(U_{{L}},U_{{\beta }})\) from \(U_{{L}}\) to \(U_{{\beta }}\). If \(u_{{\beta }}< u_{{L}}< u _{{\alpha }}\), then one has \(\sigma (U_{{L}},U_{{\alpha }})<0\) by Lemma 3.1 and \(W_{1}(U_{{L}},U_{{\beta }})\) is a shock wave \(S(U_{{L}},U_{{\beta }})\). Otherwise, there exists a rarefaction wave \(R(U_{{L}},U_{{\beta }})\) connecting \(U_{{L}}\) and \(U_{{\beta }}\). The \(W_{1}(U_{{L}},U_{{ \beta }})\) is followed by a stationary contact wave \(W_{0}(U_{{ \beta }},U_{{+}})\) connecting \(U_{{\beta }}\) and \(U_{{+}}\). And then, we refer to subcases (A1) and (A2) and construct the corresponding Riemann solution.
(C2)\(0\leq u_{{R}}< u_{{+}}\).
As for this subcase, we see subcase (B4).
(III) \(U_{{L}}=U_{{\alpha }}\)
We can divide this into two subcases (D1) \(u_{{R}}\geq u_{{+}}\) and (D2) \(0\leq u_{{R}}< u_{{+}}\).
If we apply the monotonicity criterion to the two subcases, then similar to two subcases (A5) and (B5), through the point \(I=I(U_{{I}})\) we draw a curve \(C_{\kappa }: u=\omega _{{L}}\kappa \rho ^{\gamma }\), which intersects the curve \(H_{+}\) at points F and G, where \(\kappa _{{L}}<\kappa <\kappa _{{L}}\). By Lemma 4.2, we have \(F=F(U_{{L}}^{\kappa })\) and \(G=G(U_{{L}} ^{\kappa \sharp })\) (see the dashed curve through the point I in Fig. 13).
As for subcases (D1), we need only to consider the case from \(U_{{L}}\) to \(U_{{+}}\).
To begin with, there is a stationary contact wave \(W_{0}(U_{{L}},U _{{L}}^{\kappa })\) from \(U_{{L}}=U_{{\alpha }}\) to \(U_{{L}}^{\kappa }=(\rho _{{L}}^{\kappa },u_{{L}}^{\kappa }, \kappa )\), followed by a zerospeed shock \(S_{0}(U_{{L}}^{\kappa },U _{{L}}^{\kappa \sharp })\), where \(\kappa _{{R}}<\kappa < \kappa _{{L}}\). The solution is continued with a stationary contact wave \(\mathcal{W}_{0}(U_{{L}}^{\kappa \sharp },U_{{+}})\), see Fig. 13.
If \(\kappa =\kappa _{{L}}\), then there is a zerospeed shock \(S_{0}(U_{{L}},U_{{\beta }})\) connecting \(U_{{L}}\) and \(U_{{\beta }}\), where \(U_{{\beta }}=U_{{+}}^{0\sharp }\). The \(S_{0}(U_{{L}},U_{{\beta }})\) is followed by a stationary contact wave \(W_{0}(U_{{+}}^{0\sharp },U_{{+}})\) from \(U_{{+}}^{0 \sharp }\) to \(U_{{+}}\).
If \(\kappa =\kappa _{{R}}\), there is only one stationary contact wave \(\mathcal{W}_{0}(U_{{L}},U_{{+}})\) from \(U_{{L}}\) to \(U_{{+}}\).
Obviously, there are infinitely many solutions for this subcase. When we impose the TVcondition, it is easy to see that only the stationary contact wave \(\mathcal{W}_{0}(U_{{L}},U_{{+}})\) is allowed.
In addition, we can refer to subcase (A4) and obtain the corresponding solution for the subcase (D2): \(0\leq u_{{R}}< u_{{+}}\).
Thus, we use the TVcondition to consider the Riemann problem case by case and achieve the uniqueness of Riemann solution for each subcase. So, we complete the proof of Theorem 1.1.
6 Conclusions
Through discussions in this paper, we see that there may exist infinitely many solutions to the Aw–Rascle model for certain Riemann data. So, we propose the socalled TVcondition, which allows us to single out a unique solution among possibly infinitely many solutions. It is a meaningful and valuable exploration to study the resonance behavior of hyperbolic systems, even though until now we cannot confirm that the unique solution thus selected is a physically relevant one. We plan to address this problem and generalize a similar condition to study other systems in [1, 11, 27, 28] in future work.
References
Ambroso, A., Chalons, C., Coquel, F., Godlewski, E., Galié, T.: Interface model coupling via prescribed local flux balance. ESAIM: Math. Model. Numer. Anal. 48, 895–918 (2014)
Ambroso, A., Chalons, C., Coquel, F., Godlewski, E., Lagoutière, F., Raviart, P.A., Seguin, N.: A relaxation method for the coupling of systems of conservation laws. In: Hyperbolic Problem: Theory, Numerics, Applications, pp. 947–954. Springer, Berlin (2008)
Ambroso, A., Chalons, C., Coquel, F., Godlewski, E., Lagoutière, F., Raviart, P.A., Seguin, N.: Relaxation methods and coupling procedure. Int. J. Numer. Methods Fluids 56, 1123–1129 (2008)
Ambroso, A., Chalons, C., Coquel, F., Godlewski, E., Lagoutière, F., Raviart, P.A., Seguin, N.: Coupling of general Lagrangian systems. Math. Comput. 77, 909–941 (2008)
Andreianov, B., Karlsen, K.H., Risebro, H.N.: A theory of \(L^{1}\)dissipative solvers for scalar conservation laws with discontinuous flux. Arch. Ration. Mech. Anal. 201, 27–86 (2011)
Andrianov, N., Warnecke, G.: On the solution to the Riemann problem for the compressible duct flow. SIAM J. Appl. Math. 64, 878–901 (2004)
Aw, A., Rascle, M.: Resurrection of “second order” models of traffic flow. SIAM J. Appl. Math. 60, 916–938 (2000)
Boutin, B., Coquel, F., LeFloch, P.G.: Coupling techniques for nonlinear hyperbolic equations. III. The wellbalanced approximation of thick interfaces. SIAM J. Numer. Anal. 51, 1108–1133 (2013)
Boutin, B., Coquel, F., LeFloch, P.G.: Coupling techniques for nonlinear hyperbolic equations. IV. Wellbalanced schemes for scalar multidimensional and multicomponent laws. Math. Comput. 84, 1663–1702 (2015)
Chalons, C., Raviart, P.A., Seguin, N.: The interface coupling of the gas dynamics equations. Q. Appl. Math. 66, 659–705 (2008)
Chatzarakis, G.E., Li, T.: Oscillation criteria for delay and advanced differential equations with nonmonotone arguments. Complexity 2018, Article ID 8237634 (2018)
Coquel, F., Godlewski, E., Haddaoui, K., Marmignon, C., Renac, F.: Choice of measure source terms in interface coupling for a model problem in gas dynamics. Math. Comput. 85, 2305–2339 (2016)
Cuong, D.H., Thanh, M.D.: A Godunovtype scheme for the isentropic model of a fluid flow in a nozzle with variable crosssection. Appl. Math. Comput. 256, 602–629 (2015)
Dal Maso, G., Lefloch, P.G., Murat, F.: Definition and weak stability of nonconservative products. J. Math. Pures Appl. 74, 483–548 (1995)
Gimse, T., Risebro, N.H.: Riemann problems with a discontinuous flux function. In: Engquist, B., Gustafsson, B. (eds.) Proc. Third Internat. Conf. on Hyperbolic Problems. Theory, Numerical Method and Applications, pp. 488–502. Studentlitteratur/ChartwellBratt, LundBromley (1991)
Gimse, T., Risebro, N.H.: Solution of the Cauchy problem for a conservation law with a discontinuous flux function. SIAM J. Math. Anal. 23(3), 635–648 (1992)
Goatin, P., LeFloch, P.G.: The Riemann problem for a class of resonant hyperbolic systems of balance laws. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 21, 881–902 (2004)
Han, E., Hantke, M., Warnecke, G.: Exact Riemann solutions to compressible Euler equations in ducts with discontinuous cross section. J. Hyperbolic Differ. Equ. 9, 1–47 (2012)
Han, E., Hantke, M., Warnecke, G.: Criteria for nonuniqueness of Riemann solutions to compressible duct flows. J. Appl. Math. Mech. 93, 465–475 (2013)
Han, E., Hantke, M., Warnecke, G.: Exact Riemann solutions to shallow water equations. Q. Appl. Math. 72, 407–453 (2014)
Hong, J.M., Hsu, C.H., Huang, B.C.: Existence and uniqueness of generalized stationary waves for viscous gas flow through a nozzle with discontinuous cross section. J. Differ. Equ. 253, 1088–1110 (2012)
Hong, J.M., Hsu, C.H., Lin, Y.C., Liu, W.: Linear stability of the subtosuper inviscid transonic stationary wave for gas flow in a nozzle of varying area. J. Differ. Equ. 254, 1957–1976 (2013)
Isaacson, E., Temple, B.: Nonlinear resonance in systems of conservation laws. SIAM J. Appl. Math. 52, 1260–1278 (1992)
Isaacson, E., Temple, B.: Convergence of the \(2 \times 2\) Godunov method for a general resonant nonlinear balance law. SIAM J. Appl. Math. 55, 625–640 (1995)
Jiang, W.F., Wang, Z.: Developing an Aw–Rascle model of traffic flow. J. Eng. Math. 97, 135–146 (2016)
Jin, S., Wen, X.: Two interface type numerical methods for computing hyperbolic systems with geometrical source terms having concentrations. SIAM J. Sci. Comput. 26, 2079–2101 (2005)
LeFloch, P.G., Thanh, M.D.: The Riemann problem for fluid flows in a nozzle with discontinuous crosssection. Commun. Math. Sci. 1, 763–797 (2003)
LeFloch, P.G., Thanh, M.D.: The Riemann problem for the shallow water equations with discontinuous topography. Commun. Math. Sci. 5, 865–885 (2007)
LeFloch, P.G., Thanh, M.D.: A Godunovtype method for the shallow water equations with discontinuous topography in the resonant regime. J. Comput. Phys. 230, 7631–7660 (2011)
Liu, T.P.: Quasilinear hyperbolic systems. Commun. Math. Phys. 68, 141–172 (1979)
Liu, T.P.: Resonance for quasilinear hyperbolic equation. Bull. Am. Math. Soc. 6, 463–465 (1982)
Marchesin, D., PaesLeme, P.J.: A Riemann problem in gas dynamics with bifurcation. Comput. Math. Appl. 12A, 433–455 (1986)
Shen, W.: Global Riemann solvers for several \(3 \times 3\) systems of conservation laws with degeneracies. Math. Models Methods Appl. Sci. 28(8), 1599–1626 (2018)
Sun, M.: Interactions of elementary waves for Aw–Rascle model. SIAM J. Appl. Math. 69, 1542–1558 (2009)
Temple, B.: Global solution of the Cauchy problem for a class of \(2\times 2\) nonstrictly hyperbolic conservation laws. Adv. Appl. Math. 3, 335–375 (1982)
Temple, B.: Systems of conservation laws with invariant submanifolds. Trans. Am. Math. Soc. 280, 781–795 (1983)
Thanh, M.D.: The Riemann problem for a nonisentropic fluid in a nozzle with discontinuous crosssectional area. SIAM J. Appl. Math. 69, 1501–1519 (2009)
Thanh, M.D.: Properties of the wave curves in the shallow water equations with discontinuous topography. Bull. Malays. Math. Sci. Soc. 39, 305–337 (2016)
Thanh, M.D., Kröner, D.: Testing improvements of a wellbalanced method for the model of a fluid in a nozzle with variable crosssection. Taiwan. J. Math. 18, 1739–1757 (2014)
Acknowledgements
The authors would like to express their sincere gratitude to the anonymous referees and the editor for many friendly and helpful suggestions, which led to a great deal of improvement of the original manuscript.
Funding
The work of Y.B. Hu was partially supported by the National Science Foundation of China under Grants 11301128 and 11571088, and Zhejiang Provincial Natural Science Foundation under Grant LY17A010019. The work of G.D. Wang was partially supported by the Science Key Project of Education Department of Anhui Province under Grants KJ2018A0517, KJ2019A0782, KJ2019A0786 and the Scientific Research Foundation of Anhui Jianzhu University under Grants JZ192050, 2018QD36, 2016QD110.
Author information
Authors and Affiliations
Contributions
All authors carried out the proofs and conceived of the study. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hu, Y., Wang, G. The resonance behavior for the coupling of two Aw–Rascle traffic models. Adv Differ Equ 2020, 60 (2020). https://doi.org/10.1186/s1366202025029
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366202025029