Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js
Research article Special Issues

Modelling the spatial spread of COVID-19 in a German district using a diffusion model


  • In this study, we focus on modeling the local spread of COVID-19 infections. As the pandemic continues and new variants or future pandemics can emerge, modelling the early stages of infection spread becomes crucial, especially as limited medical data might be available initially. Therefore, our aim is to gain a better understanding of the diffusion dynamics on smaller scales using partial differential equation (PDE) models. Previous works have already presented various methods to model the spatial spread of diseases, but, due to a lack of data on regional or even local scale, few actually applied their models on real disease courses in order to describe the behaviour of the disease or estimate parameters. We use medical data from both the Robert-Koch-Institute (RKI) and the Birkenfeld district government for parameter estimation within a single German district, Birkenfeld in Rhineland-Palatinate, during the second wave of the pandemic in autumn 2020 and winter 2020–21. This district can be seen as a typical middle-European region, characterized by its (mainly) rural nature and daily commuter movements towards metropolitan areas. A basic reaction-diffusion model used for spatial COVID spread, which includes compartments for susceptibles, exposed, infected, recovered, and the total population, is used to describe the spatio-temporal spread of infections. The transmission rate, recovery rate, initial infected values, detection rate, and diffusivity rate are considered as parameters to be estimated using the reported daily data and least square fit. This work also features an emphasis on numerical methods which will be used to describe the diffusion on arbitrary two-dimensional domains. Two numerical optimization techniques for parameter fitting are used: the Metropolis algorithm and the adjoint method. Two different methods, the Crank-Nicholson method and a finite element method, which are used according to the requirements of the respective optimization method are used to solve the PDE system. This way, the two methods are compared and validated and provide similar results with good approximation of the infected in both the district and the respective sub-districts.

    Citation: Moritz Schäfer, Peter Heidrich, Thomas Götz. Modelling the spatial spread of COVID-19 in a German district using a diffusion model[J]. Mathematical Biosciences and Engineering, 2023, 20(12): 21246-21266. doi: 10.3934/mbe.2023940

    Related Papers:

    [1] Francesca Marcellini . The Riemann problem for a Two-Phase model for road traffic with fixed or moving constraints. Mathematical Biosciences and Engineering, 2020, 17(2): 1218-1232. doi: 10.3934/mbe.2020062
    [2] Enrico Bertino, Régis Duvigneau, Paola Goatin . Uncertainty quantification in a macroscopic traffic flow model calibrated on GPS data. Mathematical Biosciences and Engineering, 2020, 17(2): 1511-1533. doi: 10.3934/mbe.2020078
    [3] Stephan Gerster, Michael Herty, Elisa Iacomini . Stability analysis of a hyperbolic stochastic Galerkin formulation for the Aw-Rascle-Zhang model with relaxation. Mathematical Biosciences and Engineering, 2021, 18(4): 4372-4389. doi: 10.3934/mbe.2021220
    [4] Dawid Czapla, Sander C. Hille, Katarzyna Horbacz, Hanna Wojewódka-Ściążko . Continuous dependence of an invariant measure on the jump rate of a piecewise-deterministic Markov process. Mathematical Biosciences and Engineering, 2020, 17(2): 1059-1073. doi: 10.3934/mbe.2020056
    [5] Abdon ATANGANA, Seda İĞRET ARAZ . Deterministic-Stochastic modeling: A new direction in modeling real world problems with crossover effect. Mathematical Biosciences and Engineering, 2022, 19(4): 3526-3563. doi: 10.3934/mbe.2022163
    [6] Sebastien Motsch, Mehdi Moussaïd, Elsa G. Guillot, Mathieu Moreau, Julien Pettré, Guy Theraulaz, Cécile Appert-Rolland, Pierre Degond . Modeling crowd dynamics through coarse-grained data analysis. Mathematical Biosciences and Engineering, 2018, 15(6): 1271-1290. doi: 10.3934/mbe.2018059
    [7] Wen Li, Xuekun Yang, Guowu Yuan, Dan Xu . ABCNet: A comprehensive highway visibility prediction model based on attention, Bi-LSTM and CNN. Mathematical Biosciences and Engineering, 2024, 21(3): 4397-4420. doi: 10.3934/mbe.2024194
    [8] Veronika Schleper . A hybrid model for traffic flow and crowd dynamics with random individual properties. Mathematical Biosciences and Engineering, 2015, 12(2): 393-413. doi: 10.3934/mbe.2015.12.393
    [9] Abdon ATANGANA, Seda İǦRET ARAZ . Piecewise derivatives versus short memory concept: analysis and application. Mathematical Biosciences and Engineering, 2022, 19(8): 8601-8620. doi: 10.3934/mbe.2022399
    [10] Marek Bodnar, Urszula Foryś . Time Delay In Necrotic Core Formation. Mathematical Biosciences and Engineering, 2005, 2(3): 461-472. doi: 10.3934/mbe.2005.2.461
  • In this study, we focus on modeling the local spread of COVID-19 infections. As the pandemic continues and new variants or future pandemics can emerge, modelling the early stages of infection spread becomes crucial, especially as limited medical data might be available initially. Therefore, our aim is to gain a better understanding of the diffusion dynamics on smaller scales using partial differential equation (PDE) models. Previous works have already presented various methods to model the spatial spread of diseases, but, due to a lack of data on regional or even local scale, few actually applied their models on real disease courses in order to describe the behaviour of the disease or estimate parameters. We use medical data from both the Robert-Koch-Institute (RKI) and the Birkenfeld district government for parameter estimation within a single German district, Birkenfeld in Rhineland-Palatinate, during the second wave of the pandemic in autumn 2020 and winter 2020–21. This district can be seen as a typical middle-European region, characterized by its (mainly) rural nature and daily commuter movements towards metropolitan areas. A basic reaction-diffusion model used for spatial COVID spread, which includes compartments for susceptibles, exposed, infected, recovered, and the total population, is used to describe the spatio-temporal spread of infections. The transmission rate, recovery rate, initial infected values, detection rate, and diffusivity rate are considered as parameters to be estimated using the reported daily data and least square fit. This work also features an emphasis on numerical methods which will be used to describe the diffusion on arbitrary two-dimensional domains. Two numerical optimization techniques for parameter fitting are used: the Metropolis algorithm and the adjoint method. Two different methods, the Crank-Nicholson method and a finite element method, which are used according to the requirements of the respective optimization method are used to solve the PDE system. This way, the two methods are compared and validated and provide similar results with good approximation of the infected in both the district and the respective sub-districts.



    Macroscopic traffic flow models based on hyperbolic conservation laws have been intensively investigated during the last decades, see [1,2] for an overview. The various research directions include theoretical and numerical investigations such for instance well-posedness [3], coupled models [4], network extensions [2,5], optimal control [6], or more recently, data-driven approaches [7] while stochastic traffic models have been less considered [8,9].

    Typically, macroscopic traffic flow equations are either characterized by first-order models for the evolution of the traffic density or second-order models, where an additional equation for the velocity is considered. So far, the modeling of traffic accidents (or incidents) has been considered in a deterministic setting [10,11,12], queueing theory approaches [13,14] or kinetic models [15]. There are only a few contributions, where the presence of accidents is described by a stochastic process [13].

    Therefore, the aim of this paper is to combine the stochastic modeling of accidents with the Lighthill-Whitham-Richards (LWR) model [16] of first-order type and to provide a framework that allows for theoretical and numerical studies. The idea is to include random effects directly in the flux function such that failures depend on the current traffic density.

    We assume that accidents happen at random times and have an impact on the road capacity around the accident. Based on the LWR model, we incorporate these accidents by a space-dependent flux function determining the deterministic structure between the random accidents. Obviously, the profile of the traffic density has an impact on the probability of an accident. For instance, fluctuations in the density lead to different velocities of the cars and an accident is more likely as it is the case for stationary traffic situations. The traffic density does not only influence the probability of an accident. It also indicates where an accident could happen as for example at the end of a traffic jam. In order to capture these ideas, we face two building blocks, i.e., the deterministic dynamics between accidents and the stochastic nature, which interrupts the deterministic flow at random times. This directly leads to the well-known piecewise deterministic processes (PDPs), see [17,18]. In [19], the latter idea has been used to incorporate random machine failures of machines based on hyperbolic dynamics, where the product density influences machine failures and vice versa. Compared to [19], we face different challenges here: since accidents happen at various spatial positions, we use a space-dependent flux function capturing traffic accidents as spatial capacity drops in the LWR model. This is the deterministic part only and we need an appropriate model representing the stochasticity of traffic accidents. Hereby, we model the position, size and the capacity reduction caused by the accident. The modeling of random positions is done by using two relevant effects leading to traffic accidents: high flux and tailbacks. High fluxes imply that cars drive at an appropriate speed but are also comparably dense such that inattention leads to rear-end collision. The same holds true at tailbacks where we have a jump from low to high density, i.e., the derivative of the traffic density is strongly positive. From the mathematical point of view, we need a notion of derivative of the traffic density and we use functions of so-called bounded variation. Unluckily, the LWR model with space-dependent flux does not admit solutions which are of bounded variation in space. Therefore, we pose additional assumptions to the classical ones guaranteeing that the solution is of bounded variation. The sampling of the times at which accidents happen is also more involved because of a pessimistic bound on the traffic accident rate. We therefore introduce a numerical scheme to get rid-off this bound and show that it approximates the model in numerical examples.

    There are different works about hyperbolic equation based dynamics connected to randomness as for example random velocity fields [20,21] and propagation of uncertainty [22]. However, in these works, there is no influence of the conserved quantity on the stochastic nature, i.e., no bi-directional relation between the deterministic and stochastic ideas.

    The paper is organized as follows: in Section 2, we present the modeling of accidents within the LWR model and show that the total variation of the new model is bounded. Furthermore, the stochastic process is characterized such that accident probabilities can be embedded. In Section 3, a stochastic solution algorithm based on a Lax-Friedrichs discretization is introduced to analyze the occurrence of traffic accidents from a numerical point of view.

    Before we start with the mathematical modeling of accidents, we motivate basic ideas first. The Lighthill-Whitham-Richards (LWR) model is described by the solution to the following hyperbolic conservation law

    ρ(x,t)+(ρ(x,t)v(ρ(x,t)))x=0,

    where ρ(x,t)[0,ρmax] is the traffic density at xR and t>0 bounded by ρmax>0 and at time t=0 an initial profile ρ0 is prescribed. The function v:[0,ρmax][0,vmax] is the velocities of cars, where v(0)=vmax>0, v(ρmax)=0 and v<0 imply that it decreases with increasing densities. It is also common to write f(ρ)=ρv(ρ) as the so-called LWR flux function if v satisfies the assumptions mentioned before. If we fix the maximal density ρmax but choose a different flux function ˜v<v, cars drive slower using ˜v. Alternatively, ρ˜v(ρ)<ρv(ρ) means a lower flux and hence a lower capacity of a road. Using a space-dependent velocity v(x,ρ), where xv(x,ρ) is a piecewise constant velocity function, i.e., on road segments are used different v, we can model capacity differences on roads caused by different number of lanes, speed limits, or, as we will use, accidents in the form of capacity drops. Without loss of generality, we assume ρmax=1 in the following.

    Let f:[0,1][0,) be a function of LWR type, e.g., f(ρ)=ρ(1ρ), with f(0)=f(1)=0, fc_<0 for some c_<0 and a unique ρ(0,1) such that f(ρ)=0. To describe the capacities of the road, we assume a function cr:RR>0 and use cr(x)f(ρ) as space-dependent flux. An appropriate choice for cr might be piecewise constant, describing the dependency of speed limits or the number of lanes.

    We interpret an accident on a road as capacity reduction within an interval I(p,s)(ps,p+s) of length s, where pR denotes the position and sR the size of the accident. The amount of capacity reduction is denoted by c[0,cmax] with 0cmax<1 such that the road capacity at p is given by (1c)cr(p). We denote by xca(x,p,s,c) the capacity function of the accident. Then, it is natural to define the space-dependent flux function

    Fp,s,c(x,ρ)=ca(x,p,s,c)cr(x)f(ρ).

    To illustrate the function ca, we state the following examples satisfying the assumptions from before:

    Example 2.1.

    ● Discontinuous: ca(x,p,s,c)=1c1(ps,p+s(x)

    ● Continuous: ca(x,p,s,c)=1c1(ps,p+s(x)(1(xp)2s2)

    Altogether, we end up with the following Cauchy problem

    ρt+(Fp,s,c(x,ρ))x=0,ρ(x,0)=ρ0(x). (2.1)

    In order to state existence and uniqueness results for (2.1), we introduce the notion of total variation TV(ρ) for a function ρ which we define as

    TV(ρ)=sup{N1i=1|ρ(xi+1)ρ(xi)|:<x1<<xN<,NN}.

    The space of functions with bounded total variation is denoted by BV(R)={ρL1(R):TV(ρ)<} and we call a function a BV function if it is a function in BV(R). The Cauchy problem (2.1) admits a unique entropy solution, see [23] if TV(ca(,p,s,c)cr())<, ρ0BV(R) and if ca(,p,s,c)cr() is differentiable with except of finitely many points. Additionally, we need that

    TV(Ψ(ρ0))<,Ψ(ρ)=sgn(ρρ)f(ρ)f(ρ)f(ρ).

    The latter conditions arise from the technique used in [23] which is the so-called front tracking technique. The idea is to approximate the initial condition by a simple step function leading to finitely many Riemann problems. Using the singular mapping Ψ, which is a one-to-one mapping, the existence of a solution is shown in the same manner as it is the case with space-independent fluxes, see for example [24]. Due to Ψ, the existence of ρ is also ensured. Within the proof, the total variation bounds are essential and require the assumptions on ρ0 and ca(x,p,s,c)cr(x). However, this only shows that TV(Ψ(ρ(,t)) is finite for all t[0,T] but does not imply TV(ρ)<, which we will need in the modeling of stochastic accidents later. However, the following lemma provides conditions on the data such that the solution to the scalar conservation law (2.1) remains in BV(R).

    Lemma 2.2. Let a(x):=ca(x,p,s,c)cr(x) satisfy aC2(R)TV(R) and let f be an LWR flux. Furthermore, we assume

    a,a,f,fL(R),a,aL1(R),ρ0BV(R).

    Then there exists a constant C=C(T, such that the solution to (2.1) satisfies \operatorname{TV}(\rho(t)) \leq C for all t \in [0, T] and \|\rho(t)\|_\infty\leq \|\rho_0\|_\infty+T \|a^\prime\|_\infty\|f\|_\infty . Additionally, the mapping t \mapsto \operatorname{TV}(\rho(t)) is Lipschitz continuous on [0, T] .

    Proof. We prove the lemma by using the Lax-Friedrichs scheme given by

    \begin{align} \rho_i^{j+1} = \rho_i^j-& \lambda\Big(\frac{1}{2 \lambda}(\rho_i^j-\rho_{i+1}^j)+\frac{1}{2}(a_i f(\rho_i^j)+a_{i+1}f(\rho_{i+1}^j))\\ &-(\frac{1}{2 \lambda}(\rho_{i-1}^j-\rho_{i}^j)+\frac{1}{2}(a_{i-1} f(\rho_{i-1}^j)+a_{i}f(\rho_{i}^j))\Big). \end{align} (2.2)

    Here, \rho_i^{j} is the approximated value of \rho(x_i, t^j) , where x_i = i \Delta x , t^j = j\Delta t for i \in \mathbb{Z} , j \in \mathbb{N}_0 are the spatial and temporal grids. The quotient \lambda = \frac{\Delta t}{\Delta x} is an important constant used to prescribe the domain of dependence of the numerical scheme. Note that \lambda is the reciprocal of a speed. To obtain a numerical reasonable scheme for the Cauchy problem (2.1), we have to ensure that the analytic domain of dependence is contained in the numerical domain of dependence since otherwise information gets lost. The largest velocity at which information may propagate in our model can be recovered from the slope of the characteristic curves and is given by \sup_{x, \rho} |a(x)f^\prime(\rho)| \leq \|a\|_\infty\|f^\prime\|_\infty . The distance information is then bounded by \Delta t \|a\|_\infty\|f^\prime\|_\infty \leq \Delta x , which is equivalent to

    \lambda \|a\|_\infty\| f^\prime\|_\infty\leq 1,

    the so-called Courant-Friedrichs-Lewy (CFL) condition. The convergence of the Lax-Friedrichs scheme has been studied in [25], whereas in [26,27] the Godunov scheme has been examined. For our purpose, the Lax-Friedrichs scheme is a suitable choice avoiding the study of various cases as needed for the Godunov scheme. We start with the L^\infty estimate followed by the \operatorname{BV} -estimate and conclude that the numerical scheme converges to the unique solution of the Cauchy problem.

    L^\infty estimate. Using the CFL condition

    \lambda \|a\|_\infty\| f^\prime\|_\infty\leq 1,

    we deduce that

    \begin{array}{l} |\rho_i^{j+1}| & = \left|\frac{\rho_{i+1}^j+\rho_{i-1}^j}{2}-\frac{ \lambda}{2}(a_{i+1}f(\rho_{i+1}^j)-a_{i-1}f(\rho_{i-1}^j))\right|\\ & = \frac{1}{2}|\rho_{i+1}^j+\rho_{i-1}^j- \lambda(a_{i+1}f^\prime(\xi_i)(\rho_{i+1}^j-\rho_{i-1}^j)+f(\rho_{i-1}^j)(a_{i+1}-a_{i-1}))|\\ & \leq \frac{1}{2}\left(|\rho_{i+1}^j|(1- \lambda a_{i+1}f^\prime(\xi_i))+|\rho_{i-1}^j|(1+ \lambda a_{i+1}f^\prime(\xi_i))\right)+\frac{ \lambda}{2} f(\rho_{i-1})|a^\prime(\eta_i)|2 \Delta x\\ &\leq \|\rho^j\|_\infty+\Delta t \|f\|_\infty \|a^\prime\|_\infty. \end{array}

    The latter implies \|\rho^j\|_\infty \leq \|\rho_0\|_\infty+T \|f\|_\infty \|a^\prime\|_\infty .

    \operatorname{BV} estimates. Using the same arguments as in the L^\infty estimates, we can estimate the spatial \operatorname{BV} bound as follows:

    \begin{array}{l} \operatorname{TV}(\rho^{j+1}) & = \frac{1}{2}\sum\limits_{i \in \mathbb{Z}} |(\rho_{i-1}^j-\rho_{i-2}^j)+ \lambda(a_{i-1}f(\rho_{i-1}^j)-a_{i-2}f(\rho_{i-2}^j))\\ &\quad \quad +(\rho_{i+1}^j-\rho_{i}^j)- \lambda(a_{i+1}f(\rho_{i+1}^j)-a_{i}f(\rho_{i}^j))|\\ & = \frac{1}{2} \sum\limits_{i \in \mathbb{Z}} |(\rho_{i-1}^j-\rho_{i-2}^j)(1+ \lambda a_{i-1}f^\prime(\xi^j_{i-\frac{3}{2}}))+ \lambda f(\rho^j_{i-2}) \Delta x a^\prime(\eta_{i-\frac{3}{2}})\\ &\quad \quad+(\rho^j_{i+1}-\rho^j_{i})(1- \lambda a_{i+1}f^\prime(\xi^j_{i+\frac{1}{2}}))- \lambda f(\rho^j_{i}) \Delta x a^\prime(\eta_{i+\frac{1}{2}})|\\ &\leq \frac{1}{2}\sum\limits_{i \in \mathbb{Z}} |\rho_{i-1}^j-\rho_{i-2}^j||1+ \lambda a_{i-1}f^\prime(\xi^j_{i-\frac{3}{2}})|\\ &\quad +\frac{1}{2}\sum\limits_{i \in \mathbb{Z}} |\rho_{i+1}^j-\rho_{i}^j||1- \lambda a_{i+1}f^\prime(\xi^j_{i+\frac{1}{2}})|\\ &\quad +\frac{ \lambda \Delta x}{2}\sum\limits_{i \in \mathbb{Z}} |a^\prime(\eta_{i+\frac{1}{2}})f(\rho_i^j)-a^\prime(\eta_{i-\frac{3}{2}})f(\rho_{i-2} ^j)|. \end{array}

    Using the CFL condition and

    \begin{array}{l} &\;|a^\prime(\eta_{i+\frac{1}{2}})f(\rho_i^j)-a^\prime(\eta_{i-\frac{3}{2}})f(\rho_{i-2} ^j)| \\ \leq &\;\|a^\prime\|_\infty\|f^\prime\|_\infty|\rho_{i}^j-\rho_{i-2}^j|+\|f\|_\infty|a^{\prime\prime}(\tilde{\eta_i})\|3\Delta x, \end{array}

    yields

    \begin{array}{l} \operatorname{TV}(\rho^{j+1}) \leq (1+\Delta t \|a^\prime\|_\infty\|f^\prime\|_\infty) \operatorname{TV}(\rho^j)+ \Delta t \frac{3}{2}\|f\|_\infty \|a^{\prime \prime}\|_1. \end{array}

    Hence, we have

    \begin{array}{l} \operatorname{TV}(\rho^{j+1})& \leq e^{\|a^\prime\|_\infty\|f^\prime\|_\infty T} \operatorname{TV}(\rho_0)+\frac{\frac{3}{2}\|f\|_\infty \|a^{\prime \prime}\|_1}{\|a^\prime\|_\infty\|f^\prime\|_\infty }(e^{\|a^\prime\|_\infty\|f^\prime\|_\infty T}-1)\\ & = :C_1. \end{array}

    Furthermore, we deduce the following bound on the time difference of the total variation

    \begin{array}{l} \operatorname{TV}(\rho^{j+m})- \operatorname{TV}(\rho^{j}) & = \sum\limits_{k = 0}^{m-1} ( \operatorname{TV}(\rho^{j+k+1})- \operatorname{TV}(\rho^{j+k}))\\ &\leq \Delta t \sum\limits_{k = 0}^{m-1} (\|a^\prime\|_\infty\|f^\prime\|_\infty \operatorname{TV}(\rho^{j+k})+\frac{3}{2}\|f\|_\infty \|a^{\prime \prime}\|_1)\\ &\leq m \Delta t(C_1\|a^\prime\|_\infty\|f^\prime\|_\infty+\frac{3}{2}\|f\|_\infty \|a^{\prime \prime}\|_1). \end{array}

    If t = j \Delta t and \tilde{t} = (j+m)\Delta t , then

    | \operatorname{TV}(\rho^{j+m})- \operatorname{TV}(\rho^{j})| \leq \tilde{C_1} |t-\tilde{t}|.

    In order to use a compactness argument for the numerical scheme to converge, we need the total variation in space and time. For piecewise constant function \rho it holds

    \begin{array}{l} \operatorname{TV}_{ \mathbb{R} \times [0, T]}(\rho) = \sum\limits_{j = 0}^{\frac{T}{\Delta t}} \Delta t \operatorname{TV}(\rho^j) +\sum\limits_{i \in \mathbb{Z}} \Delta x \sum\limits_{j = 0}^{\frac{T}{\Delta t}-1} |\rho_i^{j+1}-\rho_i^j|. \end{array}

    We can directly estimate the first expression by

    \sum\limits_{j = 0}^{\frac{T}{\Delta t}} \Delta t \operatorname{TV}(\rho^j) \leq T C_1.

    To analyze the second expression we start with

    \begin{array}{l} |\rho_i^{j+1}-\rho_i^j| & = \frac{1}{2}|(\rho_{i+1}^j-\rho_{i}^j)- \lambda(a_{i+1}f(\rho_{i+1}^j)-a_i f(\rho_i^j))-(\rho_i^j-\rho_{i-1} ^j)- \lambda(a_i f(\rho_i^j)-a_{i-1}f(\rho_{i-1}^j))|\\ & = \frac{1}{2}|(\rho_{i+1}^j-\rho_{i}^j)(1- \lambda a_{i+1}f^\prime(\xi_{i+\frac{1}{2}}))-(\rho_i^j-\rho_{i-1} ^j)(1+ \lambda a_i f^\prime(\rho_{i-\frac{1}{2}}))\\ &\quad \quad - \lambda\Delta x(f(\rho_i^j)a^\prime(\eta_{i+\frac{1}{2}})+f(\rho_{i-1}^j)a^\prime(\eta_{i-\frac{1}{2}}))|\\ &\leq \frac{1}{2}|(\rho_{i+1}^j-\rho_{i}^j)|(1- \lambda a_{i+1}f^\prime(\xi_{i+\frac{1}{2}}))+\frac{1}{2}|\rho_i^j-\rho_{i-1} ^j|(1+ \lambda a_i f^\prime(\xi_{i-\frac{1}{2}}))\\ &\quad \quad +\frac{1}{2} \lambda \Delta x (f(\rho_i^j)|a^\prime(\eta_{i+\frac{1}{2}})|+f(\rho_{i-1}^j)|a^\prime(\eta_{i-\frac{1}{2}}))|), \end{array}

    where we use the CFL condition and f \geq 0 . This leads to

    \begin{array}{l} \sum\limits_{i \in \mathbb{Z}}|\rho_i^{j+1}-\rho_i^j| &\leq \operatorname{TV}(\rho^j)+ \lambda \Delta x\sum\limits_{i \in \mathbb{Z}}f(\rho_i^j)|a^\prime(\eta_{i+\frac{1}{2}})|\\ & \leq C_1 + \lambda \|f^\prime\|_\infty \|a^\prime\|_1 \end{array}

    and therefore

    \begin{array}{l} \sum\limits_{i \in \mathbb{Z}} \Delta x \sum\limits_{j = 0}^{\frac{T}{\Delta t}-1} |\rho_i^{j+1}-\rho_i^j| &\leq \frac{T}{ \lambda} C_1+ T \|f^\prime\|_\infty \|a^\prime\|_1\\ & = : C_2. \end{array}

    Let (\Delta t_n)_{ n \in \mathbb{N}} be a sequence, which converges to zero and \Delta x_n = \frac{\Delta t_n}{ \lambda} be the corresponding spatial discretization, satisfying the CFL condition. The constructed sequence of piecewise constant functions (\bar{\rho}_n)_{n \in \mathbb{N}} has a subsequence (\bar{\rho}_{n_l})_{l \in \mathbb{N}} , which converges to some \rho \in \operatorname{BV}(\mathbb{R} \times [0, T]) in L^1_{loc}(\mathbb{R}) by Helly's theorem. A Kruzkov type inequality, see [25], and a Lax-Wendroff type argument show that (\bar{\rho}_n)_{n \in \mathbb{N}} converges to a weak entropy solution, which is unique by [23]. Consequently, the limiting solution is the solution to the IVP satisfying claimed properties of the lemma.

    Hence, we are now able to mathematically introduce traffic accidents as partial road capacity drops via the function a .

    In the following, we introduce a LWR model which incorporates traffic accidents. For this reason, we start with a simple example to strengthen our motivation.

    Example 2.3. In Figure 1(a), we observe a traffic situation given as the traffic density (solid line) and the corresponding velocity (dashed line) in the case of the classical LWR model with v(\rho) = 1-\rho . In order to model traffic accidents, we should be able to prescribe at which positions x a traffic accident is more likely. If we choose the traffic density and interpret it as probability (modulo normalizing), we obtain a bad estimation since at positions, where cars are in a traffic jam ( \rho \approx 1 ), we assume the highest probability of an accident. Exactly the opposite holds true if we choose the velocity as a measure of likeliness of an accident, where at places with no cars is the probability of an accident the highest. Therefore, we choose the flux as a representative of the probability of an accident, see Figure 1(b). This is reasonable since the flux describes the amount of cars traveling at this place.

    A very common reason for accidents are significant changes in the traffic density, i.e., end of traffic jams or distinctive traffic waves. This is not captured by the flux and needs an additional modeling approach, which is discussed later on in this section.

    Figure 1.  \beta = 0 .

    The parameters to incorporate a traffic accident in Eq (2.1) are the position p , the size s and the capacity drop c . From the modeling perspective the position is the first parameter to consider since there exists a dependency on the current traffic situation: if there are no cars, or cars are fully stopped by a traffic jam, we expect no accident, whereas if cars drive with high speed and the density is high at the same time, we expect a higher probability of an accident, see example 2.3. Also, we observe accidents at the end of traffic jams. To summarize, the following modeling ideas should be included:

    1. a higher distance between cars at lower speed implies a lower accident probability and vice versa,

    2. a higher accident probability at places, where we observe an increase in the density (as for example tailbacks).

    Regarding 1. The flow F^{p, s, c}(x, \rho) exactly describes the combination of density, i.e., car distances, and space-dependent velocities such that at places with high capacity and where \rho = \rho^\ast the probability of an accident can be assumed to be the highest. This idea corresponds to a probability capturing random accidents caused by human failures solely (i.e., excluding tailbacks). If the velocity function v(\rho) is uniformly bounded for \rho \in [0, 1] , the normalizing constant

    \begin{array}{l} C_F : = \int_ \mathbb{R} F^{p, s, c}(x, \rho(x))dx \leq \|a\|_\infty \|v\|_\infty \int_ \mathbb{R} \rho(x)dx \end{array}

    is finite and we can define the family of probability measures

    \begin{align} \mu^F_{p, s, c, \rho}(B) = \int_B \frac{1}{C_F} F^{p, s, c}(x, \rho(x))dx \end{align} (2.3)

    for \rho \in \operatorname{BV}(\mathbb{R}) and B \in \mathcal{B}(\mathbb{R}) , where the latter denotes the Borel \sigma -algebra on \mathbb{R} . Here, we assume \|\rho_0\|_1 > 0 then it follows C_F \neq 0 by assumptions on F^{p, s, c} . The probability measure \mu^F_{p, s, c, \rho} exactly describes the probability distribution of the position of an accident caused by the flows, see the motivating example 2.3.

    Regarding 2.: In 1. only the information of the flow is used to specify the probability of the position of an accident. Here, we incorporate the fact that at ends of tailbacks the probability of an accident is much higher, i.e., if the derivative of \rho is positive. Generally, for \rho \in L^1(\mathbb{R}) we can not assign a proper derivative D\rho but if \rho \in \operatorname{BV}(\mathbb{R}) we can argue as follows: on the one hand, a classical derivative of \rho \in \operatorname{BV}(\mathbb{R}) does not exist but on the other hand, the derivative of \rho corresponds to a signed Radon measure D\rho by a consequence of Riesz representation theorem. Furthermore, it holds for \rho \in L^1(\mathbb{R}) that

    \begin{array}{l} \operatorname{TV}(\rho) = \sup\left\{\int_ \mathbb{R} \rho(x) \phi^\prime(x) dx \colon \phi \in C_c^1( \mathbb{R}), |\phi|\leq 1\right\} = |D\rho|, \end{array}

    where |D\rho| is the total variation of the measure D\rho and is given by

    \begin{array}{l} |D\rho| = D\rho^+( \mathbb{R})+D\rho^-( \mathbb{R}). \end{array}

    In the latter equation we used the Hahn decomposition, i.e., there exists a measurable set \tilde{B}\in \mathcal{B}(\mathbb{R}) such that \rho^+(B) = D\rho(B\cap E)\geq 0 and \rho^-(B) = -D\rho(B\cap (\mathbb{R}\setminus E))\geq 0 satisfy D\rho(B) = D\rho^+(B)-D\rho^-(B) for every B \in \mathcal{B}(\mathbb{R}) . For further details, we refer the reader to [28,29,30,31].

    To clarify this approach, we consider the density situation given in Figure 1(b). In this case, we obtain

    \begin{array}{l} D\rho^+ & = 0.2\cdot \epsilon_{-4}+0.4\cdot \epsilon_{-3}+0.4\cdot \epsilon_{-2}+0.4\cdot \epsilon_{1}+0.3\cdot \epsilon_{2}, \\ D\rho^- & = 0.7\cdot \epsilon_{-1}+0.2\cdot \epsilon_{0}+0.6\cdot \epsilon_{3}+0.2\cdot \epsilon_{4}, \end{array}

    where \epsilon_z denotes the Dirac measure with unit mass in z . We see directly that \operatorname{TV}(\rho) = D\rho^+(\mathbb{R})+ D\rho^-(\mathbb{R}) . If we normalize D \rho^+ by D \rho^+(\mathbb{R}) , we obtain a discrete probability distribution which support consists of the places, where a jump from low to high density is observed and the positions are related to a probability proportional to the height of the jump. This probability distribution incorporates both, the position and the fact that a higher speed difference from high to low determines the probability of an accident. The jump height in the density is directly correlated to the speed since v^\prime(\rho) < 0 . Therefore, a natural probability measure for \rho \in \operatorname{BV}(\mathbb{R}) to describe positions of potential accidents caused by increasing densities is then given by

    \begin{array}{l} \mu^D_\rho(B) = \frac{D\rho^+(B)}{D\rho^+( \mathbb{R})}, \end{array}

    for every B \in \mathcal{B}(\mathbb{R}) provided D\rho^+(\mathbb{R}) > 0 .

    Summarizing, we define

    \begin{align} \mu^{pos}_{p, s, c, \rho}(B) = \beta \mu^F_{p, s, c, \rho}(B)+(1-\beta) \mu^D_\rho(B) \end{align} (2.4)

    for some fixed \beta \in [0, 1] . That means, if \beta = 1 , the influence of increasing densities is neglected (end of tailbacks) and if \beta = 0 , only the latter effect is incorporated. The case D\rho^+(\mathbb{R}) = 0 means that there is no increasing part in the function \rho , which implies together with \rho \in L^1(\mathbb{R}) and \operatorname{TV}(\rho) < \infty that only \rho = 0 can fulfill D\rho^+(\mathbb{R}) = 0 .

    We only have discussed the probability distribution for the position p of the accidents so far. We assume that the size s follows the probability distribution \mu^{size} on (\mathbb{R}, \mathcal{B}(\mathbb{R})) and the capacity reduction c follows \mu^{cap} on ([0, 1), \mathcal{B}([0, 1))) .

    Remark 2.4. One could also include a dependence of the distributions \mu^{size} , \mu^{cap} on \rho . We keep these distributions independent of \rho here, since it is not obvious how a functional dependence may look like and if it is really the case in traffic flow.

    In a natural way, we collect the details using the product space

    \begin{array}{l} E = \mathbb{R} \times \mathbb{R} \times [0, 1) \times \operatorname{BV}( \mathbb{R}) \end{array}

    with norm

    \|y\|_E = |p|+|s|+|c|+\|\rho\|_{L^1( \mathbb{R})}+ \operatorname{TV}(\rho),

    for y = (p, s, c, \rho) \in E to define a Banach space E . Furthermore, we denote by \mathcal{E} = \sigma(E) the smallest \sigma -algebra generated by the open sets induced by the norm \|\cdot\|_E . Finally, we define for every y \in E and every B \in \mathcal{E} the product measure

    \begin{array}{l} \eta(y, B) = \mu^{pos}_{y} \otimes \mu^{size} \otimes \mu^{cap} \otimes \epsilon_\rho (B), \end{array}

    where we recover that \epsilon_z is the Dirac measure with unit mass in z . Since \eta(y, B) describes the transition from no accident to one accident, we expect \eta to be a kernel as the following lemma shows.

    Lemma 2.5. Let (p, s, c) \mapsto \int_ \mathbb{R} c_a(x, p, s, c)dx be continuous. Then \eta defines a Markovian kernel on (E, \mathcal{E}) , which additionally satisfies \eta(y, \{y\}) = 0 for every y \in E if either \mu^{size}(\{s\}) = 0 for all s or \mu^{cap}(\{c\}) = 0 for all c \in [0, 1) .

    Proof. Let y \in E , then by definition of \eta(y, \cdot), the mapping B \mapsto \eta(y, B) \geq 0 is a measure. Since E = \mathbb{R} \times \mathbb{R} \times [0, 1) \times \operatorname{BV}(\mathbb{R}) \in \mathcal{E} and by utilizing the definition of a product measure, we have

    \eta(y, E) = \mu^{pos}_{y} ( \mathbb{R})\cdot \mu^{size}( \mathbb{R}) \cdot \mu^{cap}([0, 1)) \cdot \epsilon_\rho ( \operatorname{BV}( \mathbb{R})) = 1.

    In the same manner, we have

    \eta(y, \{y\}) = \mu_\rho^p(\{p\})\cdot \mu^{size}(\{s\}) \cdot\mu^{cap} (\{c\}) \cdot \epsilon_\rho(\{\rho\}) = \mu_\rho^p(\{p\})\cdot \mu^{size}(\{s\}) \cdot\mu^{cap} (\{c\}) = 0

    since either \mu^{size}(\{s\}) = 0 for all s or \mu^{cap}(\{c\}) = 0 for all c \in [0, 1) by assumption.

    Given a set B \in \mathcal{E} , the mapping y \mapsto \eta(y, B) is measurable if y \mapsto \mu_y^{pos} is measurable since \epsilon_\rho is measurable in \rho . It remains to show that \rho \mapsto \mu^p_\rho is measurable. For every B \in \mathcal{B}(\mathbb{R}) one verifies for \rho \neq 0 that

    \begin{array}{l} 0 \lt \mu^F_{p, s, c, \rho}(B) \leq 1, \quad 0 \lt \mu^D_{\rho}(B) \leq 1. \end{array}

    Take y = (p, s, c, \rho) , \tilde{y} = (\tilde{p}, \tilde{s}, \tilde{c}, \tilde{\rho}) \in E , satisfying \rho , \tilde{\rho} \neq 0 . We deduce

    \begin{array}{l} |\mu_y^F(B)-\mu_{\tilde{y}}^F(B)| &\leq \frac{2}{\|F^{p, s, c}(\cdot, \rho(\cdot))\|_1}\left(\|F^{p, s, c}(\cdot, \rho(\cdot))-F^{\tilde{p}, \tilde{s}, \tilde{c}}(\cdot, \tilde{\rho}(\cdot))\|_1\right)\\ & \leq \frac{2}{\|F^{p, s, c}(\cdot, \rho(\cdot))\|_1}(\|c_r\|_\infty\|v\|_{\infty} \|\rho\|_1 \|c_a(\cdot, p, s, c)-c_a(\cdot, \tilde{p}, \tilde{s}, \tilde{c})\|_1\\ &\quad \quad +\|f^\prime\|_\infty \|c_r\|_\infty \|\rho-\tilde{\rho}\|_1). \end{array}

    We also have

    \begin{array}{l} |\mu_\rho^D(B)-\mu_{\tilde{\rho}}^D(B)|& \leq \frac{1}{D\rho^+( \mathbb{R})}(|D\rho^+(B)-D\tilde{\rho}^+(B)|+|D\rho^+( \mathbb{R})-D\tilde{\rho}^+( \mathbb{R})|)\\ &\leq \frac{1}{D\rho^+( \mathbb{R})} \operatorname{TV}(\rho-\tilde{\rho}). \end{array}

    Hence, the mapping y \mapsto \mu^{pos}_y(B) is continuous and therefore measurable.

    So far, we only have specified the probability distribution of a jump in the case that a jump occurs. To construct the time of a jump, or accident, we additionally need information about how likely a jump at time t is. This can be done with rate functions and is based on the ideas of a marked point process, or, deterministic Markov processes, see [17,18]. Let \psi(y) > 0 be the traffic accident rate for a given state y of the system. The normalization coefficient C_F = C_F(\rho) maps the state of the system to a specific value. From the definition of C_F , we know that it is the total flux, which is in fact positive correlated to the accident probability, i.e., a higher flux implies a higher accident probability and vice versa. Analogously, D\rho^+(\mathbb{R}) is positive correlated to the accident probability since a higher number of tailbacks and higher increases in jumps increase the probability of an accident at tailbacks. Hence, a possible choice for a rate function \psi \colon E \to (0, \infty) is given by

    \begin{array}{l} \psi(y) = \lambda^FC_F(\rho)+ \lambda^D D\rho^+( \mathbb{R}), \end{array}

    where \lambda^F, \lambda^D > 0 scale the influence of accidents caused by high fluxes and ends of tailbacks, respectively. For fixed y = (p, s, c, \rho) \in E , the rate \psi(y) is finite. More precisely, if \bar{\rho}(x, t) is a weak entropy solution to the IVP (2.1), then for a(x) = c_a(x, p, s, c)c_r(x) it holds that

    \begin{array}{l} \; \lambda^FC_F(\bar{\rho}(t))+ \lambda^D D(\bar{\rho}(t))^+( \mathbb{R}) \\ \leq \; \lambda^F \|a\|_\infty \|v\|_\infty \int_ \mathbb{R} \rho_0(x)dx + \lambda^D \operatorname{TV}(\rho(t)) \\ \leq \; \lambda^F \|a\|_\infty \|v\|_\infty \|\rho\|_1 + \lambda^D C(T, \|a\|_\infty, \|a^\prime\|_\infty, \|a^{\prime \prime}\|_{1}, \|f\|_\infty, \|f^\prime\|_\infty, \operatorname{TV}(\rho))\\ = : \; \bar{ \lambda}(y). \end{array}

    We have to keep in mind that for y = (p, s, c, \rho) \in E the values \|a\|_\infty, \|a^\prime\|_\infty, \|a^{\prime \prime}\|_{1} might differ. We know that \|a\|_\infty = 1 and a^{\prime \prime} = 0 for all x \in \mathbb{R} \setminus I(p, s) by assumption. Hence, \|a^{\prime \prime}\|_1 \leq |I(p, s)|\||a^{\prime \prime}\|_\infty . Therefore, we assume a \in C^2(\mathbb{R}) , cf. Lemma 2.2.

    Let \phi \colon E \to E be the deterministic evolution, i.e.,

    \begin{array}{l} \phi_t((p_0, s_0, c_0, \rho_0)) = (p_0, s_0, c_0, \rho(t)), \end{array}

    where \rho(t) is the unique weak entropy solution to the IVP (2.1) with initial datum \rho_0 and the parameters p_0, s_0, c^{\max} = c_0 .

    Let (U_i, i \in \mathbb{N}) be a sequence of independent and identically distributed (i.i.d.) random variables on some probability space (\Omega, \mathcal{A}, P) each having a uniform distribution on [0, 1] . Furthermore, let (\xi_i, i \in \mathbb{N}) be a sequence of i.i.d. exponentially distributed random variables on the same probability space (\Omega, \mathcal{A}, P) and independent of (U_i, i \in \mathbb{N}) and choose t_n \in [0, T] , y_n \in E . The following thinning algorithm produces the next jump time T_{n+1} and corresponding post jump location Y_{n+1} .

    Algorithm 1 Thinning algorithm
    i = 1
    s_i = t_n+\xi_i
    while U_i > \psi(\phi_{t_n s_i}(y_n)) \cdot (\overline{\lambda})^{-1} and s_i < T do
       s_{i+1} = s_i + \xi_i
       i = i+1
    end while
    T_{n+1} = s_i
    Generate Y_{n+1} \sim \eta(\phi_{t_n s_i}(y_n), \cdot)

    One can show, see [19], that

    \begin{align} P(T_{n+1}\leq t) & = 1-e^{-\int_{t_n}^t \psi(\phi_{\tau-t_n}(y_n))d\tau}, \\ P(Y_{n+1} \in B|T_{n+1} = t) & = \eta(\phi_{t-t_n}(y_n), B) \end{align} (2.5)

    for t \geq t_n and B \in \mathcal{E} .

    We set T_0 = 0 and Y_0 = (p_0, s_0, c_0, \rho_0) \in E and apply the thinning algorithm iteratively. In every iteration we obtain a new upper bound \bar{ \lambda} on the rates, which might increase but stays finite for finitely many iterations. Let denote ((T_n, Y_n), n\in \mathbb{N}_0) the constructed jump times and post-jump locations, then we define the piecewise deterministic process (PDP) (X(t), t \in [0, T]) as

    \begin{array}{l} X(t) = Y_n \Leftrightarrow t \in [T_n, T_{n+1}). \end{array}

    Remark 2.6.

    1. The total variation bound on the solution is quite pessimistic for reasonable initial datum.

    2. The total variation bound can be very large in small time intervals and the Algorithm 1 can not be used efficiently to simulate the model.

    3. We expect X being a Markov process but standard results, see [18] can not be applied since \operatorname{BV} is no Borel space and the existence of regular conditional distributions is not guaranteed.

    Multiple accidents on roads. In order to implement multiple accidents in the model, we label accidents and extend the state space as follows:

    ● positions are now given by \vec{p} \in \mathbb{R}^ \mathbb{N} ,

    ● sizes of the accidents are \vec{s} \in \mathbb{R}^ \mathbb{N} ,

    ● capacity reductions \vec{c} \in [0, 1)^ \mathbb{N}

    and set

    \begin{array}{l} E = \mathbb{R}^ \mathbb{N} \times \mathbb{R}^ \mathbb{N} \times [0, 1)^ \mathbb{N} \times \operatorname{BV}( \mathbb{R}) \end{array}

    with the norm

    \begin{array}{l} \|y\|_E = \|\vec{p}\|_{l^1}+\|\vec{s}\|_{l^1}+\|\vec{c}\|_{l^1}+\|\rho\|_{L^1( \mathbb{R})}+ \operatorname{TV}(\rho). \end{array}

    Let \lambda_A > 0 be the rate of an accident and \lambda_R > 0 be the rate of resolving an accident. We define m(\vec{c}) = \min \{ i \colon c_i = 0\} and \pi_i(z, \vec{v}) = (v_1, \dots, v_{i-1}, z, v_{i+1}, \dots) \in \mathbb{R}^ \mathbb{N} . A natural choice for the jump distribution is then given by

    \begin{align} \eta(y, B) & = \frac{1}{ \lambda_R \sum_{i \in \mathbb{N}} \mathbb{1}_{c_i \gt 0}+ \lambda_A}\Big[ \lambda_R \sum\limits_{i \in \mathbb{N}} \mathbb{1}_{c_i \gt 0} \epsilon_{(\vec{p}, \vec{s}, \pi_i(0, \vec{c}), \rho)}(B) \\ &\quad + \lambda_A \int_{ \mathbb{R}^2\times [0, 1)} \epsilon_{(\pi_{m(\vec{c})}(\tilde{p}, \vec{p}), \pi_{m(\vec{c})}(\tilde{s}, \vec{s}), \pi_{m(\vec{c})}(\tilde{c}, \vec{c}), \rho)}(B) \mu^{pos}_y \otimes \mu^{size} \otimes \mu^{cap}(d(\tilde{p}, \tilde{s}, \tilde{c})) \Big]. \end{align} (2.6)

    Here, \mu^{pos}_y = \beta \mu^F_{y}+(1-\beta) \mu^D_\rho , where \mu^F_{y}(B) = \int_B \frac{1}{C_F} F^{\vec{p}, \vec{s}, \vec{c}}(x, \rho(x))dx and F^{\vec{p}, \vec{s}, \vec{c}}(x, \rho) = c_r(x)f(\rho)\prod_{i \in \mathbb{N}}c_a(x, p_i, s_i, c_i) . The sum N(\vec{c}) = \sum_{i \in \mathbb{N}} \mathbb{1}_{c_i > 0} corresponds to the number of accidents and we see that B \mapsto \eta(y, B) is a probability measure. Since \pi_i and m are measurable functions, the mapping y \mapsto \eta(y, B) is measurable if again y \mapsto \mu^{pos}_y is measurable, see Lemma 2.5. Since \lambda_A corresponds to the rate of an accident, we choose again

    \lambda_A(y) = \lambda^FC_F(\rho)+ \lambda^D D\rho^+( \mathbb{R})

    and

    \begin{array}{l} \psi(y) = \lambda^FC_F(\rho)+ \lambda^D D\rho^+( \mathbb{R}) + \lambda_R \sum\limits_{i \in \mathbb{N}} \mathbb{1}_{c_i \gt 0}. \end{array}

    The upper bound on the rate function is now given by

    \begin{array}{l} \psi(y) \leq \lambda^F \|a\|_\infty \|v\|_\infty \|\rho_0\|_1+ \lambda^D C(T, \|a\|_\infty, \|a^\prime\|_\infty, \|a^{\prime \prime}\|_{1}, \|f\|_\infty, \|f^\prime\|_\infty, \operatorname{TV}(\rho_0))+ \lambda_R N(\vec{c}), \end{array}

    where a(x) = c_r(x)\prod_{i \in \mathbb{N}}c_a(x, p_i, s_i, c_i) , y = (\vec{p}, \vec{s}, \vec{c}, \rho(t)) and \rho(t) is the unique weak entropy solution to (2.1).

    We explain the choice of (2.6) by the following example. We consider two accidents with capacity reduction \vec{c} = (0.5, 0, 0.5, 0\dots) , i.e., N(\vec{c}) = 2 and m(\vec{c}) = 2 . We set B_{\vec{p}} = \mathbb{R} \times B_p \times \mathbb{R} \times \cdots \in \sigma(\mathbb{R}^ \mathbb{N}) , B_{\vec{s}} = \mathbb{R} \times B_s \times \mathbb{R} \times \cdots \in \sigma(\mathbb{R}^ \mathbb{N}) and B_{\vec{c}} = B_{c_1}\times B_{c_2} \times B_{c_3} \times \mathbb{R} \times \cdots \in \sigma([0, 1)^ \mathbb{N}) . Then, we set B = B_{\vec{p}}\times B_{\vec{s}} \times B_{\vec{c}} \times \operatorname{BV}(\mathbb{R}) and obtain

    \begin{array}{l} \eta(y, B) = \frac{1}{2 \lambda_R + \lambda_A}[ \lambda_R ( \epsilon_0(B_{c_1})+ \epsilon_0(B_{c_3}))+ \lambda_A\mu^{p}_\rho \otimes \mu^{size} \otimes \mu^{cap}B_p \times B_s \times B_{c_2}) ]. \end{array}

    This implies that the probability of resolving the first accident and no new accident, i.e., B_{c_1} = \{0\} , B_{c_3} = B_{c_2} = \emptyset , is given by

    \begin{array}{l} \eta(y, B) = \frac{ \lambda_R}{2 \lambda_R+ \lambda_A}. \end{array}

    In the same manner we obtain the probability of having a new accident somewhere with some size and no repairs, i.e., B_{c_1} = B_{c_3} = \emptyset , B_{c_2} = B_p = \mathbb{R} and B_s = [0, 1) ,

    \begin{array}{l} \eta(y, B) = \frac{ \lambda_A}{2 \lambda_R + \lambda_A}. \end{array}

    Hence, if \lambda_A = \lambda_R , the probabilities are equal with value \frac{1}{3} .

    The Cauchy problem (2.1) is numerically solved using the Lax-Friedrichs scheme with a temporal step size \Delta t > 0 and a fixed relation \frac{\Delta t}{\Delta x} such that the scheme converges to the weak entropy solution \rho of the Cauchy problem, cf. Lemma 2.2. We denote by

    \rho _i^0 = \frac{1}{{\Delta x}}\int_{{x_{i - {2 \mathord{\left/ {\vphantom {2 1}} \right. } 1}}}}^{{x_{i + {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}}} {{\rho _0}} (x)dx

    the cell means of the initial datum \rho_0 for x_i = i \Delta x and i \in \mathbb{Z} .

    Since the position, size and capacity reduction stays constant between the jumps, we define the discrete deterministic dynamics as

    \begin{array}{l} \phi^{\Delta t}_t (p_0, s_0, c_0, {\rho}_0) = (p_0, s_0, c_0, {\rho}(t)), \end{array}

    where {\rho}_0 is a piecewise constant function on [x_{i - {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}, x_{i + {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}) given by the cell means {\rho}_i^0 . Further, {\rho}(t) is the piecewise constant function given by the numerical scheme with step size \Delta t and a possibly smaller last step size to reach exactly t .

    Then, we approximate \mu^F_{y} by

    \begin{array}{l} \bar{\mu}^F_{\bar{y}} (B) = \sum\limits_{i \in \mathbb{Z}} \frac{F^{\vec{p}, \vec{s}, \vec{c}}(x_i, {\rho}_i)}{\bar{C}_F} \int_B \mathbb{1}_{[x_{i - {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}, x_{i + {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}})}(x)dx \end{array}

    and

    \begin{array}{l} {\bar{C}_F} = \sum\limits_{i \in \mathbb{Z}}F^{\bar{p}, \bar{s}, \bar{c}}(x_i, \rho_i) \Delta x. \end{array}

    Thanks to the piecewise constant cell averages, we enjoy an explicit representation of D\rho^+ as

    \begin{array}{l} D{\rho}^+ = \sum\limits_{i \in \mathbb{Z}} ({\rho}_i-{\rho}_{i-1})_+ \epsilon_{x_{i - {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}}\quad \text{ and }\quad \bar{\mu}^D_{\rho} = \frac{D{\rho}^+}{D{\rho}^+( \mathbb{R})}. \end{array}

    The discretized version of the rate function \psi(y) is then given by

    \begin{array}{l} \bar{\psi}(y) = \lambda^F \bar{C}_F+ \lambda^D D{\rho}^+( \mathbb{R}) + \lambda_R \sum\limits_{i \in \mathbb{N}} \mathbb{1}_{c_i \gt 0}. \end{array}

    In order to use Algorithm 1, we need a uniform upper bound on \bar{\psi} which will depend on the number of accidents and grows exponentially due to the total variation bound in Lemma 2.2. In [32], less restrictive bounds have been used to define an appropriate algorithm but the bounds propsed will also depend on the exponential growth of the estimation of the total variation. We will introduce an approximate scheme, where the jump times are not simulated exactly in the following. The idea is based on the simulation algorithm introduced in [33], where an algorithm has been proposed to approximate a continuous-time Markov Chain.

    The probability that an accident occurs at a time T_{n+1} , which is before T_n+\Delta t is given by

    \begin{align} P(T_{n+1} \leq T_n+\Delta t) = 1-e^{\int_{T_n}^{T_n+\Delta t} \psi(\phi_{\tau-T_n}(Y_n)d\tau)} = \Delta t \psi(Y_n) + \mathrm{o}(\Delta t) \end{align} (3.1)

    as \Delta t \to 0 . This is true since t \mapsto \psi(\phi_t(Y_n)) is Lipschitz continuous by using Lemma 2.2 and the properties of C_F , i.e.,

    \begin{array}{l} |\psi(\phi_t(Y_n))-\psi(\phi_{\tilde{t}}(Y_n))| \leq C(\|\rho(t)-\rho(\tilde{t})\|_1+ \operatorname{TV}(\rho(t))- \operatorname{TV}(\rho(\tilde{t}))) \leq \tilde{C} |t-\tilde{t}|. \end{array}

    Equation (3.1) motivates the following algorithm to approximate the next jump time T^a_{n+1} .

    Algorithm 2 Approximate algorithm jump times
    i = 1 , y = Y_n , t_{loc} = T_n , \Delta t = \min\{\Delta t_{ref}, \frac{\varrho}{\psi(y)}, T-t_{loc}\}
    while U_i > \Delta t \psi(y) and t_{loc} < T do
    t_{loc}:= t_{loc}+ \Delta t
    y := \phi_{\Delta t}(y)
    \Delta t:= \min\{\Delta t_{ref}, \frac{\varrho}{\psi(y)}, T-t_{loc}\}
    i := i+1
    end while
    T^a_{n+1} = t_{loc}+\Delta t
    y := \phi_{\Delta t}(y)
    Generate Y_{n+1} \sim \eta(y, \cdot)

    The parameters \varrho \in (0, 1] , \Delta t_{ref} > 0 are user-defined and (U_i, i \in \mathbb{N}) is a sequence of i.i.d. uniformly distributed random variables. The parameter \Delta t_{ref} allows to control the accuracy of the algorithm as the reference step size and \varrho is the acceptance ratio in the case that \Delta t_{ref} and T are large. We see that Algorithm 2 uses an adaptive step size, where the adaptivity is incorporated by the current value of the rate function \psi(y) . We do not need any uniform bound, which is the obvious advantage and reduces the computational costs. Note that the exact solution operator \phi has to be replaced by the discrete one in numerical implementations.

    It remains to introduce the simulation procedure in the case that an accident happens or an accident does not cause capacity drop anymore, i.e., the simulation of \eta(y, \cdot) . The highest index i , where c_i > 0 and c_i = 0 corresponds exactly to N(\vec{c}) by construction if we start with c_{j} > 0 for j = 1, \dots, N(\vec{c}) and c_j = 0 for j > N(\vec{c}) . One can use the well-known composition method, i.e., the distribution is a weighted sum of distributions, and we obtain the following procedure:

    1. Choose whether an accident happens Z_1 = 1 or an accident is resolved Z_1 = 0 by a Bernoulli distributed random variable with P(Z_1 = 1) = \frac{ \lambda_A}{ \lambda_R N(\vec{c})+ \lambda_A} .

    2. ● Case Z_1 = 1 : Choose independently a position p_{N(\vec{c})+1} according to the law \mu_y^{pos} , a size s_{N(\vec{c})+1} according to \mu^{size} and c_{N(\vec{c})+1} \sim\mu^{cap} the corresponding capacity drop.

    ● Case Z_1 = 0 : Choose a uniformly distributed index on \{1, \ldots, N(\vec{c})\} to indicate which accident got removed.

    Simulating the new position is straightforward since i is picked according to

    \sum\limits_{i \in \mathbb{Z}} \frac{F(x_i, {\rho}_i)}{\bar{C}_F} \epsilon_{x_i}

    and then the position within cell i as a uniform distribution on [x_{i - {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}, x_{i + {1 \mathord{\left/ {\vphantom {1 2}} \right. } 2}}) .

    We assume a bounded road [-L, L] \subset \mathbb{R} in the following with periodic boundary conditions \rho(-L, t) = \rho(L, t) for (2.1) to avoid difficulties with boundary treatment. We assume possibly different road capacities on [-L, L] , i.e., let

    \tilde{c}_{road}(x) = \sum\limits_{m = 0}^{M-1} c_{m, road} \mathbb{1}_{[x_m, x_{m+1})}

    for -L = x_0 < x_1 < \cdots x_M = L with c_m \geq \underline{c} for m = 0, \dots M-1 and c_0 = c_{M-1} . The latter condition avoids a discontinuity for the periodic boundary conditions and implies that cars leaving at x = L enter in the same manner at x = -L again. Since we need enough regularity on c_r to apply the total variation bound on the solution of (2.1), we use a mollifier M_\epsilon with support [- \epsilon, \epsilon] and \int_ \mathbb{R} M_ \epsilon(x) dx = 1 . Then, c_r(x) = \tilde{c}_{road} \ast M_{ \epsilon}(x) = \int_ \mathbb{R} \tilde{c}_{road}(y) M_{ \epsilon}(x-y)dy \in C^\infty and |\operatorname{supp}(c_r^{\prime \prime})| \leq 2 \epsilon M .

    We use the same ideas for the capacity reduction and define \tilde{c}_a(x, p, s, c) = 1-c \mathbb{1}_{(p-\frac{s}{2}, p+\frac{s}{2})}(x) for p \in [-L, L] , s \in (-L, L) and c \in [0, 1-c_{min}] . By defining c_a(x, p, s, c) = \tilde{c}_a(\cdot, p, s, c)\ast M_ \epsilon(x) , and using a(x) = c_r(x)\prod_{i \in \mathbb{N}}c_a(x, p_i, s_i, c_i) , we deduce

    \begin{array}{l} a, a^\prime \in L^\infty( \mathbb{R}), \quad a^\prime, a^{\prime \prime} \in L^1( \mathbb{R}) \end{array}

    as required.

    Remark 3.1. We face only finitely many accidents P -a.s. such that the infinite product in a can be represented by a finite product. Therefore, the differentiation of a can be understood in the classical sense.

    The first example is devoted to the understanding of the dynamics of the LWR model with accidents derived in the previous sections. We are interested whether the modeling ideas can be also observed in computational experiments. The data we use is as follows: a time horizon T = 60 , a spatial discretization \Delta x = \frac{1}{50} of [-10, 10] and \Delta t _{ref} = \frac{1}{20} . The initial density is chosen constant as \rho_0 (x) = 0.4 and the LWR flux is given by f(\rho) = \rho(1-\rho) . We assume a road capacity given by the non-smooth version as

    \begin{array}{l} \tilde{c}_{road}(x) = 7-2 \mathbb{1}_{[0, 5]}(x), \end{array}

    which implies a capacity reduction on [0, 5] caused by e.g., roads under constructions. To incorporate capacity drops caused by accidents, we use the function

    \begin{array}{l} \tilde{c}_a(x, p, s, c) = 1-c \mathbb{1}_{[p-\frac{s}{2}, p+\frac{s}{2}]}(x). \end{array}

    In numerical investigations, we have recovered that smoothing the latter functions does not significantly change the results for a fixed spatial step size \Delta x and \epsilon < \frac{\Delta x}{2} , which reduces the computational costs significantly. For the stochastic part, we use \lambda_R = \frac{1}{2} , \lambda_D = \frac{1}{10} , \lambda_F = \frac{1}{105} and assume

    \begin{align} \mu^{size} = \frac{1}{0.8} \mathbb{1} _{[0.2, 1]}(x)dx, \quad \mu^{cap} = \frac{1}{2}(\varepsilon_{0.5}+\varepsilon_{0.99}), \end{align} (3.2)

    as well as \varrho = 1 .

    A first insight into the behavior of the model. Having all the parameters at hand, except \beta from Eq (2.4), we can get first insights into the behavior of the model using numerical simulations for varying \beta. The latter parameter describes the influence of the current flux on the position of possible accidents, see (2.3).

    Figure 6 shows the traffic density (black bold line) for different points in time and using only the information of D\rho^+ to determine the position of an accident, i.e., \beta = 0 . The rectangles in the figures indicate the range of the road affected by an accident, where a bright color corresponds to a capacity drop of 0.99 and the other color of 0.5 , see \mu^{cap} in (3.2). Since the initial distribution is constant with a value of 0.4 , we draw the density at the first time at which an accident happens in Figure 6(a). Due to a spatial inhomogeneous road capacity c_r(x) , the initial density profile changed to a non-constant equilibrium traffic density. As we would expect, the accident happens at the incresaing part of the density, i.e., at the end of the traffic jam, with a road capacity reduction of 0.99 . At this position a traffic jam occurs until the accident is removed, see Figure 6(b). The traffic density relaxes to an equilibrium density again and the second accident happens at the end of the traffic jam as Figure 6(c) indicates. Again a capacity reduction of 0.99 has been randomly chosen and a third accident occurs right after the second accident. The latter can be seen in Figure 1(f), which shows the traffic density at the time, where the second accident gets resolved.

    Figure 2.  \beta = 0.5 .
    Figure 3.  \beta = 1 .
    Figure 4.  ECDF of the first accident time T_1^a compared with the CDF for T_1 in (2.5).
    Figure 5.  Histograms of T^a_1 (first row) and of the first accident's position (second row).
    Figure 6.  G_{in}(t) = \frac{15}{16} \beta = 0 .

    At the time, where both accidents are resolved, see Figure 1(g), we see the high impact of the previous accidents on the density, which does not reach the equilibrium state until the next accident occurs as Figure 1(h) shows. Again, the position of the accident is at an increasing part of the density. Altogether, we see that our model is able to map the ideas of accidents at places with an increasing density and the numerical solutions look very confident using the CFL condition with equality.

    In the following, we discuss simulation results using the parameter \beta = 0.5 shown in Figure 2. We face an approximately equilibrium density at the time of a first accident again, see Figure 2(a). Here, the accident occurs close to the position zero, which is not an increasing part of the density. The accident is therefore created by the flux, which is uniform on the interval [-10, 10] while the density is close to equilibrium.

    Figure 3 shows a sample path of the model with \beta = 1 , i.e., only flux information is used to determine the position of an accident. We observe in Figure 3(a)-3(b) an accident at densities, which are close to \rho^\ast = 0.5 here, which is exactly what we would expect as the flux f without spatial capacity restrictions is maximal there. The third and fourth accident occur at places with the maximal road capacity, i.e., not in [0, 5] .

    In summary, we recover the modeling ideas in the simulation results again. More precisely, for \beta = 0 we only have accidents at positions with an increasing density profile and in the case \beta = 1 , the flux determines the position of the traffic accidents.

    As Figure 2(b) shows, the second accident happens at the traffic jam end. After the first accident has been removed, a third accident occurs and Figure 2(c) shows the traffic density at the time right before the fourth accident occurs. The fourth accident is inside the area of the second accident and has a small size of impact, see Figure 2(d). The latter accident occurred at this position since the flux around \rho = 0.5 is the most highest and we are not in a stationary state.

    Numerical verification of the approximate scheme. In order to verify numerically that the approximate algorithm works well, we study the distribution of the first jump time, i.e., the first time of an accident. Formula (2.5) exactly describes the cumulative distribution function (CDF), which can be approximated using the Lax-Friedrichs scheme to approximate \phi . Using the left-sided rectangular rule to approximate \int_0^t \psi(\phi_\tau(y_0))d\tau and the Matlab function \texttt{ecdf}* to compute the empirical cumulative distribution function (ECDF) yields the results shown in Figure 5 computed by using 10^4 samples of the first accident time T_1^a .

    * Documentation: https://de.mathworks.com/help/stats/ecdf.html, 2019

    First of all, we observe a very good fitting of the CDF by the ECDF computed with the approximation Algorithm 2. This implies that the corresponding probability distributions are close (in the weak sense). Furthermore, we observe that the parameter \beta has no significant influence on the shape or values of the CDF as Figures 4(a) and 4(b) show.

    In order to compare a histogram generated by the approximation procedure with the exact probability density function (pdf) g(t) , we can differentiate (2.5) and obtain g(t) = \psi(\phi_t(y_0))e^{-\int_0^t \psi(\phi_\tau(y_0))d\tau}. Figure 5 shows a histogram of samples of T_1^a and the theoretical result g(t) . We observe a good agreement between both quantities again, also independent of the choice of \beta .

    Finally, we discuss the distribution of the first accident's position. Figure 5 shows the histogram of samples of the first accident's position, where we distinguish the cases \beta = 0 and \beta = 0.5 again. In both cases, the probability having an accident at position x = -4 is the most highest, which corresponds to the congestion end in the stationary traffic profile, see Figure 6(c) for example. One significant difference between \beta = 0 and \beta = 0.5 can be observed for x \in [0, 5] , where in the case of \beta = 0 , i.e., no flux information, no accident happens.

    In contrast, for \beta = 0.5 , there is a strictly positive probability having an accident in this interval, which is clear since the stationary value of \rho is approximately at the maximal flow, i.e., at 0.5 .

    Impact of boundary conditions. In the following, we pose a different type of boundary conditions, i.e., we assume an inflow condition at the left boundary and a homogeneous Neumann boundary condition at the right boundary. We have to keep in mind that the inflow G_{in}(t) at the left boundary x_l can be posed only at times where f^\prime(\rho(x_l), t) > 0 , i.e., information can enter into the road segment. Otherwise, we also use homogeneous Neumann boundary conditions at x_l . We use the same parameters and functions as in the latter numerical investigations and discuss the influence of G_{in}(t) on the model. If we have no accident, the road capacity is given by the bottleneck \min_{x}c_r(x)f(\rho^\ast) = \frac{5}{4} in our setting.

    Figure 6 shows a simulation result with an inflow G_{in}(t) = \frac{15}{16} < \frac{5}{4} being below the capacity of the road segment. Since \beta = 0 , we have accidents at tailbacks only. In Figure 7, an inflow G_{in}(t) = \frac{5}{4} is assumed leading to more distinctive traffic jams than the inflow before. Accidents are consequently more likely at positions which are further to the left of the bottleneck compared to the previous case. In Figure 7(c), we have an accident right left close to the boundary such that the inflow has not been assigned due to f^\prime \leq 0 at this place. After this accident has been resolved, the inflow is again obtained as one can see in Figure 7(d).

    Figure 7.  G_{in}(t) = \frac{5}{4} , \beta = 0 .

    To conclude, the numerical simulations inherit the ideas for the stochastic traffic flow model and the numerical results are convincing.

    We successfully have derived a stochastic traffic flow model capturing random traffic accidents. Furthermore, a tailored numerical approximation scheme has been introduced, which also has been validated in numerical simulation examples.

    The stochastic traffic flow model allows for road capacity planning and controlling variable speed limit systems in such a way that traffic accidents are rarely events, which might be future research. Additionally, the derivation from a microscopic model and the extension to a second order traffic models and networks can be considered.

    This work was supported by the BMBF project ENets (05M18VMA), the DFG project GO1920/10-1 and the DAAD project "Stochastic dynamics for complex networks and systems" (Project-ID 57444394).

    All authors declare no conflicts of interest in this paper.



    [1] P. Heidrich, M. Schäfer, M. Nikouei, T. Götz, The COVID-19 outbreak in Germany–Models and Parameter Estimation, Commun. Biomath. Sci., 3 (2020), 37–59. https://doi.org/10.5614/cbms.2020.3.1.5. doi: 10.5614/cbms.2020.3.1.5
    [2] M. Schäfer, K. P. Wiyaya, R. Rockefeller, T. Götz, The impact of travelling on the COVID-19 infection cases in Germany, BMC Infect. Dis., 2 (2022). https://doi.org/10.1186/s12879-022-07396-1 doi: 10.1186/s12879-022-07396-1
    [3] A. Viguerie, G. Lorenzo, F. Auricchio, D. Baroli, T. J. R. Hughes, A. Patton, et al., Simulating the spread of COVID-19 via a spatially-resolved susceptible–exposed–infected–recovered–deceased (SEIRD) model with heterogeneous diffusion, Appl. Math. Lett., 111 (2021), 106617. https://doi.org/10.1016/j.aml.2020.106617 doi: 10.1016/j.aml.2020.106617
    [4] H. Wang, N. Yamamoto, Using a partial differential equation with Google Mobility data to predict COVID-19 in Arizona, Math. Biosci. Eng., 17 (2020), 4891–4904. https://doi.org/10.3934/mbe.2020266 doi: 10.3934/mbe.2020266
    [5] A. Elsonbaty, Z. Sabir, R. Ramaswamy, W. Adel, Dynamical analysis of a novel discrete fractional SITRS model for COVID-19, Fractals, 29 (2021). https://doi.org/10.1142/S0218348X21400351 doi: 10.1142/S0218348X21400351
    [6] N. Ahmed, A. Elsonbaty, A. Raza, M. Rafiq, W. Adel, Numerical simulation and stability analysis of a novel reaction–diffusion COVID-19 model, Nonlinear Dynam., 106 (2021), 1293–1310. https://doi.org/10.1007/s11071-021-06623-9 doi: 10.1007/s11071-021-06623-9
    [7] C. Kuehn, J. Mölter, The influence of a transport process on the epidemic threshold, J. Math. Biol., 85 (2020), 37–59. https://doi.org/10.1007/s00285-022-01810-7 doi: 10.1007/s00285-022-01810-7
    [8] K. Logeswari, C. Ravichandran, K. S. Nisar, Mathematical model for spreading of COVID-19 virus with the Mittag–Leffler kernel, Numer. Meth. Partial Differ. Equations, (2020), 1–16. https://doi.org/10.1002/num.22652 doi: 10.1002/num.22652
    [9] P. J. Harris, B. E. J. Bodmann, A mathematical model for simulating the spread of a disease through a country divided into geographical regions with different population densities, J. Math. Biol., 85 (2022). https://doi.org/10.1007/s00285-022-01803-6 doi: 10.1007/s00285-022-01803-6
    [10] H. Berestycki, J. M. Roquejoffre, L. Rossil, Propagation of epidemics along lines with fast diffusion, Bull. Math. Biol., 83 (2020). https://doi.org/10.1007/s11538-020-00826-8 doi: 10.1007/s11538-020-00826-8
    [11] H. Abboubakar, R. Racke, N. Schlosser, A Reaction-Diffusion Model for the Transmission Dynamics of the Coronavirus Pandemic with Reinfection and Vaccination Process, Konstanzer Schriften in Mathematik, KOPS Universität Konstanz, 2023.
    [12] Y. Nawaz, M. S. Arif, K. Abodayeh, W. Shatanawi, An explicit unconditionally stable scheme: application to diffusive COVID-19 epidemic model, Adv. Differ. Equations, 2021 (2021). https://doi.org/10.1186/s13662-021-03513-7 doi: 10.1186/s13662-021-03513-7
    [13] M. Grave, A. Viguerie, G. F. Barros, A. Reali, A. Coutinho, Assessing the Spatio-temporal Spread of COVID-19 via Compartmental Models with Diffusion in Italy, USA, and Brazil, Arch. Comput. Meth. Eng., 28 (2021), 4205–4223. https://doi.org/10.1007/s11831-021-09627-1 doi: 10.1007/s11831-021-09627-1
    [14] Robert-Koch-Institute, COVID-19 Dashboard, 2020. https://experience.arcgis.com/experience/478220a4c454480e823b17327b2bf1d4
    [15] W. O. Kermack, A. G. McKendrick, Contributions to the mathematical theory of epidemics–I. 1927., Bull. Math. Biol., 53 (1991), 33–55. https://doi.org/10.1007/bf02464423 doi: 10.1007/bf02464423
    [16] M. Martcheva, An Introduction to Mathematical Epidemiology, Springer, New York, 2015.
    [17] X. He, E. H. Y. Lau, P. Wu, X. Deng, J. Wang, X. Hao, Temporal dynamics in viral shedding and transmissibility of COVID-19, Nat. Med., 26 (2020), 672–675. https://doi.org/10.1038/s41591-020-0869-5 doi: 10.1038/s41591-020-0869-5
    [18] N. Britton, Reaction-Diffusion Equations and Their Applications to Biology, Academic Press, London, 1986.
    [19] C. M. Oishi, J. Y. Yuan, J. A. Cuminato, D. E. Stewart, Stability analysis of Crank-Nicolson and Euler schemes for time-dependent diffusion equations, BIT Numer. Math., 55 (2015), 487–513. https://doi.org/10.1007/s10543-014-0509-x doi: 10.1007/s10543-014-0509-x
    [20] S. MacNamara, G. Strang, Operator splitting, in Splitting Methods in Communication, Imaging, Science, and Engineering, Springer, (2016), 95–114.
    [21] G. Evans, J. Blackledge, P. Yardley, Numerical Methods for Partial Differential Equations, Springer, London, 1999.
    [22] J. R. Dormand, P. J. Prince, A family of embedded Runge-Kutta formulae, J. Comput. Appl. Math., 6 (1980), 19–26.
    [23] Overpass-Turbo. https://overpass-turbo.eu/
    [24] P. Heidrich, T. Götz, Parameter Estimation via Adjoint Functions in Epidemiological Reaction-Diffusion Models, in Progress in Industrial Mathematics at ECMI 2021, Springer, (2022), 115–122. https://doi.org/10.1007/978-3-031-11818-0_16
    [25] N. Metropolis, A. W. Rosenbluth, M. W. Rosenbluth, A. H. Teller, E. Teller, Equation of State Calculations by Fast Computing Machines, J. Chem. Phys., 21 (1953), 1087–1092. doi: https://doi.org/10.1063/1.1699114 doi: 10.1063/1.1699114
    [26] A. Gelman, J. B. Carlin, H. S. Stern, D. B. Rubin, Bayesian Data Analysis, 2nd Edition, Chapman and Hall, London, 1996.
    [27] W. R. Gilks, S. Richardson, D. J. Spiegelhalter, Markov chain Monte Carlo in Practice, Chapman and Hall/CRC, London, 1996.
    [28] M. Schäfer, T. Götz, Modelling Dengue Fever Epidemics in Jakarta, Int. J. Appl. Comput. Math., 6 (2020). https://doi.org/10.1007/s40819-020-00834-1. doi: 10.1007/s40819-020-00834-1
    [29] D. N. Rusatsi, Bayesian analysis of SEIR epidemic models, Ph.D thesis, Lappeenranta University of Technology, 2015.
  • This article has been cited by:

    1. Xinlin Li, Chun Shen, The asymptotic behavior of Riemann solutions for the Aw-Rascle-Zhang traffic flow model with the polytropic and logarithmic combined pressure term, 2024, 0003-6811, 1, 10.1080/00036811.2024.2373411
    2. Simone Göttlich, Thomas Schillinger, Data-inspired modeling of accidents in traffic flow networks, 2025, 11, 2426-8399, 261, 10.5802/smai-jcm.125
    3. Simone Göttlich, Thomas Schillinger, Andrea Tosin, Probabilistic Modeling of Car Traffic Accidents, 2025, 85, 0036-1399, 1099, 10.1137/24M1698262
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1426) PDF downloads(51) Cited by(2)

Figures and Tables

Figures(7)  /  Tables(4)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog