A Mixed ODEPDE Model for Vehicular Traffic
Abstract
We present a traffic flow model consisting of a gluing between the Lighthill–Whitham and Richards macroscopic model with a first order microscopic follow the leader model. The basic analytical properties of this model are investigated. Existence and uniqueness are proved, as well as the basic estimates on the dependence of solutions from the initial data. Moreover, numerical integrations show some qualitative features of the model, in particular the transfer of information among regions where the different models are used.
2000 Mathematics Subject Classification: 35L65, 90B20
Key words and phrases: Continuum Traffic Models, Hyperbolic Systems of Conservation Laws, Microscopic Traffic Models
1 Introduction
We consider a traffic flow model consisting of a macroscopic and a microscopic descriptions glued together. The macroscopic part is described through the Lighthill–Whitam [13] and Richards [14] model (LWR)
(1.1) 
which is a scalar conservation law, where the unknown is the (mean) traffic density and is the (mean) traffic speed. Microscopic models for vehicular traffic consist of a finite set of ordinary differential equations, describing the motion of each vehicle in the traffic flow. Below, as in [2], we consider a first order Follow–the–Leader (FtL) model, where each driver adjusts his/her velocity to the vehicle in front, that is
(1.2) 
Here, is the position of the th driver, for , and for all , the fixed parameter denoting the (mean) vehicles’ length. Here, is the local traffic density in front of the driver . Equation (1.2) needs to be closed with the trajectory of the first driver .
In general, the two descriptions (1.1) and (1.2) can be alternatively used in different segments of the real line. The resulting model, in general, consists of several instances of (1.1) and (1.2) alternated along the real line, separated by free boundaries, whose evolution needs to be determined. This description enjoys the basic properties in [9] that are there considered as necessary for a reliable description of traffic dynamics. Indeed, density and speed are a priori bounded, speed is never negative and vanishes only at the maximal density.
A similar approach to traffic modeling is in [10], where the interface between the micro and macro description is kept fixed and the model in [3, 15] plays the role here played by the LWR one. See also [7] for the case .
From a macroscopic point of view, vehicular traffic can be viewed as a compressible fluid flow, whereas a microscopic approach describes the behavior of each individual vehicle. Macroscopic descriptions allow to simulate traffic on large networks but do not take much account of the details. On the other hand, microscopic descriptions can cover such details, but they are not tractable on a large network. None of the two approaches is separately able to capture the information of traffic dynamics. A natural strategy is therefore to combine macroscopic and microscopic models. The result is the present Micro–Macro Model, consisting in the coupling of the two different descriptions.
Numerical results complete the study of the model and show the reasonableness of it’s solutions: in particular they explain how the two micro and macroscopic descriptions coexist in a single model, although being separated. Below, we prove a well posedness result separately for the LWRFtL case, when the LWR model describes the traffic dynamics on the right and the FtL on the left, and for the opposite case, the FtLLWR one; we also provide precise estimates on how the solution depends from the initial data.
The paper is organized as follows: in the next section we introduce the notations and the general model, when the two descriptions are alternatively used in different segments of the real line. Then, we prove a well posedness result separately for the LWRFtL case and the FtLLWR one. In Section 3 we present some numerical results related to the model. All proofs are gathered in the last section.
2 Notation and Main Results
Throughout, we denote and . For any and , the set of admissible positions of vehicles of length is
(2.1) 
Throughout, we assume the following condition on the speed law:
 (v)

is strictly decreasing, with and is such that .
Our aim is the well posedness of a system consisting of various instances of the LWR model (1.1) and of the FtL model (1.2), alternated along the real line. To this aim, introduce the number , , of the intervals where the FtL model is used. Call , with for , the number of individuals in the th interval and denote the set of those points in where the macroscopic model is used, i.e.
see Figure 1. Consider the system
(2.2) 
Throughout, we require that the initial data satisfy the admissibility condition
(2.3) 
Note that problems similar to (2.2) can be stated equally with the microscopic model in the rightmost and/or leftmost part of the real line.
The first step in the rigorous treatment of (2.2) is the definition of its solutions. Essentially, we require to solve the ordinary differential equations in (2.2) as usual and to seek a weak entropy (Kružkov) solution to the hyperbolic conservation law (1.1) in , for . To simplify the notation, we require to be defined on all the real line and extend it to on .
Definition 2.1.
Fix positive and , an initial distribution and positions for , satisfying (2.3). A solution to (2.2) on the time interval , consists of maps
(where continuity is understood with respect to the topology) such that

for all with the following inequality holds for all :

For and for a.e. , let be the solution to the Riemann Problem
Then, , for all such that and ;

for a.e. and all , , ;

for a.e. and all , .
Above, the condition at 1. is equivalent to the usual definition of Kružkov solution, see [4, Formula (6.3)]. Thanks to the continuity in times, it also ensures the usual distributional condition: for all with ,
The requirement 2. is the standard definition of solution to a boundary value problem for a conservation law, see [8, Definition 2.1], [1, Definition C.1] and [5, Definition 2.2]. Remark that the trajectories and , for , are free boundaries between micro and macroscopic descriptions, to be found while solving (2.2). However, only the , for , have a role in 2.
We remark that any solution to (2.2) in the sense of Definition 2.1 enjoys the basic properties underlined in [9], namely:
 P1

Cars may have only positive speed.
 P2

Vehicles stop only at maximum density, i.e., the velocity is if and only if the density is equal to the maximum density possible.
The next two sections deal with the two possible gluing of the a single instance of the LWR model and a single instance of the FtL one.
2.1 The Case LWR–FtL
Let vehicles start at time from positions and use the LWR model to describe the traffic dynamics for . We are thus lead to consider the problem
(2.4) 
where is the speed of the leader, describes the vehicles’ distribution for and . In the present case (2.4), the trajectory of , i.e., , acts as a boundary between the microscopic model on its right and the macroscopic one on its left.
Remark that from a strictly rigorous point of view, problem (2.4) does not fit into (2.2). However, the extension of Definition 2.1 to the case of (2.4) is straightforward and we omit it.
Proposition 2.2.
The proof is postponed to Section (4).
2.2 The Case FtL–LWR
Next we use the FtL model to describe vehicles starting at time from positions and the LWR model for . The free boundary between the two models is the trajectory , chosen so that . We are thus lead to consider the problem
(2.5) 
where describes the macroscopic vehicles’ distribution for and gives the initial positions of the discrete vehicles. In the present case (2.5), the trajectory of acts as a boundary between the microscopic model on its left and the macroscopic one on its right. As in the preceding section, from a strictly rigorous point of view, problem (2.5) does not fit into (2.2) but the extension of Definition 2.1 to (2.5) is straightforward.
Proposition 2.3.
The proof is postponed to Section 4.
2.3 The General Case
Applying iteratively Proposition 2.2 and Proposition 2.3, one obtains a general result for the model in (2.2), thanks to the finite propagation speed in (2.2).
Clearly, in the general model (2.2), the number of drivers in the interval is fixed a priori. An analogous property is enjoyed by the macroscopic density, as proved by the following result.
Proposition 2.4.
In other words, the total amount of vehicles in each segment is constant.
The proof is postponed to Section (4).
3 Numerical Integrations
To numerically integrate the models (2.4) and (2.5) we use the LaxFriedrichs algorithm, see [12, Section 12.1], for the partial differential equation and the explicit forward Euler method for the ordinary differential equation.
In the case (2.4), we choose
(3.1) 
with initial datum
(3.2) 
Note that the above choices are consistent with the assumptions required in Proposition 2.2.
The resulting solution is displayed in the plane in Figure 2. It was computed with a space mesh size and a time mesh size updated at each time step so that
(3.3) 
being the maximal characteristic speed.
On the left, we see the typical behavior of the solutions to the LWR model, consisting of shocks and rarefaction waves. On the right, the microscopic part yields the trajectories of the single vehicles. Due to the choice (3.2) of the initial datum, the cars in front start very slowly, while the ones in the back have a higher initial speed. After a while these latter vehicles have to brake, according to (1.2). This causes the formation of a shock in the macroscopic phase. Indeed, at about , behind the leftmost driver, a shock starts forming and becomes visible at about .
The same setting (2.4)–(3.1), but with initial datum
(3.4) 
leads to the picture in Figure 3. Here, the leftmost drivers in the microscopic phase have a very low initial speed. Hence, the rightmost vehicles in the macroscopic phase have to brake at about , forming a queue. Later, the drivers in the microscopic phase accelerate and this increase in the speeds reaches also the macroscopic phase.
In the other case of the FtLLWR model (2.5), we keep using the choices (3.1), but with the initial datum
(3.5) 
with a mesh and a time mesh chosen as in (3.3). The resulting solution is displayed in the plane in Figure 4. Differently from what usually happens in the usual FtL model, here the speed of the first vehicle suffers a discontinuity, clearly visible at about , due to its reaching the interface with the LWR phase.
The same setting in (2.5), with the choices (3.1), but with the initial datum
(3.6) 
leads to the representation in Figure 5.
The initial density in the LWR phase is maximal in the interval . This situation has consequences also the microscopic phase. First, the speed of the leader suffers a discontinuity, clearly visible at about , due to its reaching the interface with the LWR phase. Then, the drivers behind the leader have to brake.
The figures above explain how the two micro and macroscopic descriptions coexist in a single model. There is a clear backward propagating exchange of information between the different phases, although there is no exchange of mass.
4 Technical Details
The following Lemma deals with the ordinary differential system (1.2). Its proof reminds that of [6, Proposition 4.1].
Lemma 4.1.
Let satisfy (v) and . Choose . Let . Then, the Cauchy problem
(4.1) 
admits a unique solution defined for all and attaining values in . Moreover, if , and is the corresponding solution to (4.1), the following stability estimate holds
(4.2) 
for every .
Proof.
By (v), the function can be extended to a bounded Lipschitz function defined on all setting
(4.3) 
Now we consider the Cauchy problem
(4.4) 
By the standard ODE theory, there exists a solution defined as long as for all . We now prove that in fact for every . To this aim, we assume by contradiction that there exists in , such that . Then, since , there exists in , with , such that and for every . Since for every , for every , we have
This yields a contradiction, since for every and for ,
completing the existence proof.
Lemma 4.2.
Let satisfy (v). Fix , and . Then, the initial – boundary value problem
(4.8) 
admits a unique weak entropy solution .
Moreover, there exists a constant such that if with for a , and , then, the two solutions and to (4.8) satisfy for all
(4.9) 
The initial – boundary value problem in (4.8) falls within the framework of [5], see also [8, 11]. Indeed, the scalar conservation law (1.1) is a particular case of a Temple systems, see [5, (H1), (H2) and (H3)]. Hence, [5, Theorem 2.3] applies and Lemma 4.2 follows.
Proof of Proposition 2.2. In (2.4), the equations for are decoupled from the partial differential equation for . Hence, Lemma 4.1 applies and ensures the existence of , with , solving the ordinary differential system for all . We then choose as the solution to the initial – boundary value problem
(4.10) 
and we apply Lemma 4.2, obtaining the existence of a map solving (4.10) in the usual sense of [8, Definition 2.1], [1, Definition C.1] or, equivalently, [5, Definition 2.2]. Therefore, 1. and 2 in Definition 2.1 hold, The requirements 3. and 4. follow from Lemma 4.1.
The stability estimate related to the ordinary differential system follows from Lemma 4.1. Concerning the partial differential equation, by (4.9) we have
(4.11)  
Compute the term in parentheses separately
and inserting the above result in (4.11), using (4.2), we obtain:
completing the proof.
Proof of Proposition 2.3. To construct a solution to (2.5), we first apply [4, Theorem 6.3] to obtain a Kružkov solution to the Cauchy problem for the scalar conservation law
(4.12) 
Then, we find the free boundary solving the Cauchy problem for the ordinary differential equation
(4.13) 
The well posedness of (4.13) is ensured by [7, Theorem 2.4], which we can apply due to (v), see also [7, Item 1 in Section 2].
Next we restrict the solution to (4.12) to . Then, we solve the following system of ordinary differential equations
(4.14) 
By construction, 1. in Definition 2.1 holds. Condition 2. is in this case empty. The requirement 4. is satisfied since solves (4.13) and the previous application of Lemma 4.1 to (4.14) ensures 3.
Passing to the stability estimates, using [4, (ii) in Theorem 6.3], we have