Abstract
In this paper, we focus on the construction of a hybrid scheme for the approximation of non-Maxwellian kinetic models with uncertainties. In the context of multiagent systems, the introduction of a kernel at the kinetic level is useful to avoid unphysical interactions. The methods here proposed, combine a direct simulation Monte Carlo (DSMC) in the phase space together with stochastic Galerkin (sG) methods in the random space. The developed schemes preserve the main physical properties of the solution together with accuracy in the random space. The consistency of the methods is tested with respect to surrogate Fokker–Planck models that can be obtained in the quasi-invariant regime of parameters. Several applications of the schemes to non-Maxwellian models of multiagent systems are reported.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Kinetic equations are often studied to describe aggregate trends of large systems of interacting particles and have shown a remarkable effectivity in different research fields, ranging from classical rarefied gas dynamics to socio-economic and traffic flow dynamics. Without reviewing the huge literature on these topics, we mention [6, 7, 9, 12, 14, 37, 42, 43] and the reference therein for an introduction to the subject. The contributions have to be further distinguished depending on the type of kernel characterizing the interaction frequency between particles or agents. It is worth mentioning that the introduction of a state-dependent kernel represents an essential tool in kinetic theory to enforce physical properties of rarefied gases [13], whereas it is currently underexplored in less classical applications to multi-agent systems. In this direction, we mention the following recent contributions [18, 20, 21, 23].
The deterministic description of multi-agent phenomena has often to face the lack of essential information on microscopic dynamics, initial states, or boundary conditions. Hence, it is of paramount importance to quantify and control possible deviations from expected trends and patterns due to unavoidable uncertainties in the model parameters and initial distributions. An established idea relies on considering these quantities as random variables influencing the evolution of the kinetic distribution, increasing, therefore, the dimensionality of the problem. In recent years, we experienced a growing interest in the construction of numerical methods for kinetic equations with uncertainties, see the collection [31]. Among the most popular techniques for uncertainty quantification, stochastic Galerkin (sG) methods are based on the construction of deterministic solvers and are capable to guarantee spectral convergence in the random field under suitable regularity assumptions [28, 34, 53]. Anyway, their computational cost is generally high due to the curse of dimensionality of kinetic equations and they are highly intrusive with respect to the original formulation of the model. Furthermore, the main physical properties of the solution, like its positivity, entropy dissipation, and hyperbolicity, are lost. Besides sG methods, we find nonintrusive approaches to UQ that do not require significant modifications to the numerical scheme of the deterministic problem and are based on collocation strategies. Therefore, these latter methods are easy to parallelize and do not require any knowledge of the class of probability distributions of random parameters. In this direction, multi-fidelity approaches have been recently developed using control variate techniques, see [4, 15, 16, 24, 29, 38].
In this work, we follow a different path that is inspired by the novel approach proposed in the seminal work for mean-field equations [8] and further extended to the homogeneous Boltzmann equation in [40]. The proposed approach is capable to combine the efficiency of Direct Simulation Monte Carlo (DSMC) methods for nonlinear kinetic equations in the phase space [1, 2, 35, 36] with the accuracy of sG methods in the parameter space. The DSMC-sG method preserves the main physical properties of the kinetic solution along with spectral accuracy in the random space provided minimal regularity assumptions. Anyway, in a non-Maxwellian framework, the numerical formulation of the DSMC-sG method requires the introduction of step functions at the particles’ level. As shown in [40] for the variable hard-spheres (VHS) model, this fact can break spectral convergence of sG. For this reason, it has been shown that a mollification of the step function coupled with a thermalization of particles is capable to restore the physical validity of the model together with spectral accuracy in the random space.
In models for collective phenomena, the equilibrium distribution of Boltzmann-type models is unknown and typically only mass is conserved. For this reason, we introduce a surrogate Fokker–Planck model that can be formally derived from the original model in the quasi-invariant limit [45]. In the case of non-Maxwellian interactions, we will obtain a nonlocal nonlinear Fokker–Planck class of equations whose equilibrium distribution can be approximated numerically through suitable deterministic methods [39]. In particular, we will investigate the effects of a mollification of step functions introduced at the Monte Carlo level, coupled with a correction of nonconserved quantities computed by the approximation of the corresponding surrogate Fokker–Planck model. Numerical tests for kinetic models of wealth distribution and traffic flow have been performed.
The rest of the paper is organized as follows. In Sect. 2 we introduce non-Maxwellian models for multi-agent systems with random inputs and we formally derive their corresponding Fokker–Planck models. Regularity of the solutions in the random space of the surrogate models has been investigated in Sect. 2.2. In Sect. 3 we briefly review the basic features of some existing kinetic models for pure gambling, wealth distribution and traffic flow dynamics with non-Maxwellian kernels. In Sect. 4 then we construct the DSMC-sG methods and we provide results on the consistency of the method. Finally, in Sect. 5 several numerical results are presented which show the efficiency and accuracy of the introduced method.
2 Non-Maxwellian models with uncertain parameters
To introduce the modelling setting we consider a binary interaction model with uncertain mixing [17, 38, 46]. If two sampled particles that are characterized by the pre-interaction states \(v,w\in {\mathbb {V}} \subseteq {\mathbb {R}}\) interact, then their post-interaction states \(v^\prime ,w^\prime \in {\mathbb {V}}\) are obtained following the scheme
with \(\epsilon >0\) a given constant, \(I_1\), \(I_2\) suitable interaction functions depending on the pre-interaction states and on the random quantity \(\mathbf {z}\in {\mathbb {R}}^{d_\mathbf {z}}\), \(d_{\mathbf {z}}\ge 1\). Furthermore, \(\eta _\epsilon \) is a random variable with zero mean and variance \(\sigma _\epsilon ^2\), and the functions \(D_1\) and \(D_2\) define the local relevance of the diffusion. Under suitable assumptions on the strength of the diffusion it is possible to show that the post-interaction states \(v^\prime \), \(w^\prime \) remain in \({\mathbb {V}}\).
We adopt a classical kinetic theory approach based on the one-dimensional space-homogeneous Boltzmann equation, that describes the time evolution of the one-body distribution function \(f=f(t,v,\mathbf {z})\). The function \(f(t,v,\mathbf {z})\) identifies the state of the system, such that \(f(t,v,\mathbf {z})dv\) is the fraction of agents characterized by a state comprised between v and \(v + dv\) at time \(t>0\) and parametrised by uncertainties defined in the random vector \(\mathbf {z}\) with joint distribution \(p(\mathbf {z})\). The evolution of f is given by the non-Maxwellian Boltzmann-type model
where \(\varphi :{\mathbb {V}}\rightarrow {\mathbb {R}}\) is a test function, while the symmetric function \(B(v,w,\mathbf {z})\) denotes the collision kernel that characterizes the collision frequency of agents with states v and w. The notation \(\langle \cdot \rangle \) expresses the expectation with respect to the random variable \(\eta _\epsilon \). The model introduced in (2) can be complemented with uncertain initial condition \(f(0,v,\mathbf {z}) = f_0(v,\mathbf {z})\).
It is worth noting that in the VHS framework of classical kinetic theory for rarefied gas dynamics the collisional kernel is assumed to be function of the relative velocity \(|v-w|\), see [9]. The model (2) greatly simplifies in the Maxwellian case corresponding to \(B(v,w,\mathbf {z}) \equiv 1\). In the description of collective models in the Maxwellian simplification of considering a constant interaction kernel has been largely considered [22, 37, 47, 49]. Within the Maxwellian simplification it is possible to argue on the existence and uniqueness of large time behavior of the resulting model. In some cases, explicit solutions can be obtained, as in the famous one-dimensional Kac model [32]. In models for collective phenomena, a precise analytical description of the kinetic emerging equilibrium distribution is very difficult to obtain. A possible way to overcome this difficulty relies on the possibility to study surrogate models, that are approximations of the kinetic model (2) in some limit and whose large time behavior is easily available.
2.1 Fokker–Planck approximation
The computation of the emerging equilibrium density of the Boltzmann model introduced in (2) is very challenging. An established way to overcome this difficulty relies on the introduction of the quasi-invariant limit [11, 45, 46] under which it is possible to derive a surrogate Fokker–Planck model for the interaction dynamics. The introduced scaling has connections with the grazing collision limit in classical kinetic theory. The main idea is to introduce a new time scale \(\tau = \epsilon t\) and to define
that is solution to
Hence, scaling the variance of the random variable \(\eta _\epsilon \) as \(\sigma _\epsilon ^2 = \epsilon \sigma ^2\) we have that for \(\epsilon \ll 1\) the interaction dynamics in (1) are quasi-invariant, since \(v^\prime -v \ll 1\) and \(w^\prime -w\ll 1\). Assuming then \(\varphi \) smooth enough and at least \(\varphi \in {\mathbb {C}}_0^3({\mathbb {V}})\), we can perform the following Taylor expansions
with \({\bar{v}}\in (\text {min}\{v,v^\prime \},\text {max}\{v,v^\prime \})\), \({\bar{w}}\in (\text {min}\{w,w^\prime \},\text {max}\{w,w^\prime \})\). Plugging the above expansion in (3) we obtain
where \(R_\varphi ^\epsilon (f_\epsilon ,f_\epsilon )\) is a reminder term of the following form
Thanks to the smoothness assumptions on \(\varphi \) and the boundedness of the third order moment of \(\eta _\epsilon \), in the limit \(\epsilon \rightarrow 0\) we have that
and we may assume that \(f_\epsilon \) converges to a distribution \(f(\tau ,v,\mathbf {z})\) at least formally, we point the interested reader to [7, 45] for related approaches in the Maxwellian and Boltzmann–Povzner frameworks. With a slight abuse of notation, we indicate with \(f(\tau ,v,\mathbf {z})\) the limit distribution as \(\epsilon \rightarrow 0^+\), hence \(f(\tau ,v,\mathbf {z})\) is weak solution to the nonlinear nonlocal Fokker–Planck equation
complemented with the following boundary conditions for all \(\mathbf {z}\in {\mathbb {R}}^d\)
2.2 Regularity of solutions in the random space
We recall that \(p(\mathbf {z}): I_\mathbf {z}\rightarrow {\mathbb {R}}_+\) is the probability density of the random vector \(\mathbf {z}\). We define the weighted norm in \(L^2_p(\mathbb {V}\times I_\mathbf {z})\) as follows
In the following we will provide sufficient conditions to guarantee regularity of the solution of the general Fokker–Planck model (4).
Let us rewrite first the Fokker–Planck models (4) as follows
with
and
We have
Theorem 1
Given \(B(v,w,\mathbf {z})>0\), let \(f(t,v,\mathbf {z})\) be the solution of the Fokker–Planck model (6). If \(C_{{\mathcal {B}}} = \Vert \partial _v \tilde{ {\mathcal {B}}}[f] \Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})}<+\infty \) and \(\Vert \partial _v^2 \tilde{ {\mathcal {B}}}[f] \Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})}<+\infty \) we have
for all \(t \ge 0\), provided
Furthermore, if \(C_{{\mathcal {D}}} = \Vert {\mathcal {D}}[f]\Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})} < +\infty \) we have
Proof
We multiply by \(2 f(t,v,\mathbf {z})p(\mathbf {z})\) the nonlinear nonlocal Fokker–Planck equation (6) and we integrate it over v and \(\mathbf {z}\):
For the integral I we have
since \(f^2(t,v,\mathbf {z})\tilde{{\mathcal {B}}}[f](t,v,\mathbf {z})p(\mathbf {z})\Big |_{\partial (\mathbb {V}\times I_\mathbf {z})} = 0\). Therefore, we get
For the integral II we have
since \(f(t,v,\mathbf {z}){\mathcal {D}}[f](t,v,\mathbf {z})\partial _v f(t,v,z)p(\mathbf {z})\Big |_{\partial (\mathbb {V}\times I_\mathbf {z})} = 0\) and \({\mathcal {D}}[f] \ge 0\). Hence, we have
Thanks to Gronwall’s Lemma we obtain
Next, we apply the v derivative to both members of (6)
We multiply by \(2p(\mathbf {z})\partial _v f(t,v,\mathbf {z})\) both members of the latter equation and we integrate over \(\mathbb {V}\times I_\mathbf {z}\)
We have
and
Therefore, we have
and from the Gronwall inequality we get
corresponding to (8), from which we conclude the proof. \(\square \)
Theorem 2
Given \(B(v,w,\mathbf {z}) >0\), let \(f(t,v,\mathbf {z})\) the solution of the Fokker–Planck model (6) and let us consider the constants \(C_{{\mathcal {B}}} = \Vert \partial _v \tilde{{\mathcal {B}}}[f](t,v,\mathbf {z})\Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})}< +\infty \), \(C_{{\mathcal {B}},1} = \Vert \partial _\mathbf {z}\tilde{{\mathcal {B}}}[f](t,v,\mathbf {z})\Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})}< +\infty \) and \(C_{{\mathcal {B}},2} = \Vert \partial _\mathbf {z}\partial _v \tilde{{\mathcal {B}}}[f](t,v,\mathbf {z})\Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})}< +\infty \). Then, if \(\sigma ^2 = 0\) we have
where \(C_{{\mathcal {D}}} = \Vert {\mathcal {D}}[f]\Vert _{L^\infty _p(\mathbb {V}\times I_\mathbf {z})} < +\infty \).
Proof
Let us consider the \(\mathbf {z}\) derivative of the Fokker–Planck model (6) with \(\sigma ^2 = 0\)
We multiply by \(2 p(\mathbf {z}) \partial _{\mathbf {z}} f\) and we integrate over \(I_\mathbf {z}\times \mathbb {V}\)
Hence, we observe that
and
thanks to the Young’s inequality. Hence, we obtained
Thanks to the uniform Gronwall inequality, see [44] p.88, we have
Taking into account Theorem 1 we obtain
from which we conclude. \(\square \)
Remark 1
Theorem 1 implies that, provided f, \(\partial _v f\) are in \(L^2_p(\mathbb {V}\times I_\mathbf {z})\) initially, then under suitable assumptions f, \(\partial _v f\) remain in \(L^2_p(\mathbb {V}\times I_\mathbf {z})\) for later times. Furthermore, in the hypotheses of Theorem 2 we have that at least \(f \in H^1_p = \{f : \Vert \partial _\mathbf {z}^\ell f\Vert _{L^2_p(\mathbb {V}\times I_\mathbf {z})}<+\infty , \ell = 0,1\}\) exploiting the regularity of f, \(\partial _v f\). Anyway, the estimates are not sharp as the ones obtained for linear equations, see e.g. [30, 33]. Future research efforts will be dedicated to obtain sharper estimates for nonlinear Fokker–Planck equations.
3 Examples in non-Maxwellian models for collective phenomena
We briefly present three non-Maxwellian kinetic models for collective phenomena, namely a model for pure gamble [3], a model for wealth distribution [23] where the binary scheme is based on the Cordier–Pareschi–Toscani model [11] and, finally, a variation of the traffic model presented in [47] that includes a speed-dependent interaction kernel.
3.1 Pure gambling
In the kinetic models for pure gambling the state space is \(\mathbb {V}= {\mathbb {R}}_+\). Preliminary Maxwellian models have been introduced in [3] in which the nonlinear Boltzmann-type model (2) with \(B\equiv 1\) has been considered. In the pure gambling processes [19], the entire wealth of two agents is at stake at each interaction and randomly shared between agents. Therefore, assuming that the game is fair, the binary interactions are of the type (1) with \(I_1(v,w,\mathbf {z}) = (1-\omega )v - \omega w\), \(I_2(v,w,\mathbf {z}) = (\omega -1)v + \omega w\) where \(\omega \) is a random variable symmetric with respect to 1/2 and we considered \(\epsilon = 1\). Furthermore, we consider vanishing diffusion functions \(D_1(v,\mathbf {z}) = D_2(w,\mathbf {z}) = 0\).
In an economic framework, an agent with zero wealth cannot gamble. To mimic this situation, in [23] it has been proposed to modify the classical kinetic gamble model of [3] through an interaction kernel of the following form
where the exponent of the kernel is an uncertain quantity, i.e. \(\delta = \delta (\mathbf {z})\). For the introduced gambling rules and in presence of the interaction kernel (9), the wealth density \(f(t,v,\mathbf {z})\) satisfies a bilinear non-Maxwellian Boltzmann-type equation that in weak form reads
It is worth to observe that, for any \(\delta \), Eq. (10) conserved mass and momentum. The mass conservation can be easily observed by taking \(\varphi (v)=1\), whereas for momentum conservation we consider \(\varphi (v) = v\) and we get
since \(-\omega \) and \(\omega -1\) are identically distributed. Assuming now \(\omega \sim {\mathcal {U}}([0,1])\), it is possible to show that for any \(0<\delta <1\) the large time distribution of the model (10) incorporated the kernel uncertainties and is a Gamma density of the form
The uncertain parameter \(\delta \) characterizing the interaction kernel has a great influence on the large time behavior of the system. Indeed, it is worth to remark that the variance of \(X \sim f^\infty \) reads
and inequalities of the money distribution increase with \(\delta \) and blow up in the limit \(\delta \rightarrow 1\).
3.2 Wealth distribution
In recent years, several kinetic models for wealth distribution have been proposed. Also in this case, the state space is \(\mathbb {V}= {\mathbb {R}}_+\). In the following, we concentrate on the modelling setting proposed in [11] in the case of interaction with a background distribution. In particular, in [23] it is assumed that elementary wealth changes of an agent are determined by interactions (1) with \(I_1(v,w,\mathbf {z}) = \lambda (v-w)\), \(D_1(v,\mathbf {z}) = v\), \(I_2(v,w;\mathbf {z}) = D_2(w,\mathbf {z}) = 0\) and \(w \sim {\mathcal {E}}\) a background distribution with \(w \in {\mathbb {R}}_+\). Therefore, the interaction scheme reads
The quantity \(\lambda \in (0,1]\) determines the saving propensity and it is assumed \(\eta _\epsilon \ge -1+\epsilon \lambda \). Furthermore, in an economic framework, the probability of transactions in which one player has no wealth to exchange is very rare. To this end, in [23] the authors proposed the kernel
with \(\delta \in (0,1]\) and \(\kappa >0\). In the following, we will concentrate on the case \(\delta = \delta (\mathbf {z})\). The resulting non-Maxwellian kinetic model in weak form reads
and do not conserve mean and energy. In particular, the following estimates hold
where
provided \(\sigma ^2+ \lambda ^2 < 2\lambda \). Information on the large time behavior can be obtained by relying to a Fokker–Planck model approximating the kinetic model (12)
where
adding boundary conditions of the type (5). The equilibrium distribution is now given by
where
We point the interested reader to [23] for additional details.
3.3 Traffic flow
In kinetic traffic modelling, non-constant interaction kernels have been frequently considered, see e.g. [10, 25,26,27, 41, 43] and the references therein. In the following, we study the influence of a cross section on a traffic model recently proposed in the Maxwellian framework [47] in which \(\mathbb {V}= [0,1]\).
The time evolution of the distribution \(f(t,v,\mathbf {z})\) is determined by microscopic binary interactions responsible for speed changes. Given normalized pre-interaction speeds \((v,\,w) \in [0,1]\times [0,1]\), the post-interaction speeds \((v',\,w')\) are determined by (1) with
being \(P(\rho ,\mathbf {z})= (1-\rho )^{\mu (\mathbf {z})} \in [0,1]\), \(\mu (\mathbf {z})>0\), the probability to accelerate with a traffic density \(\rho \in [0,1]\). The presence of uncertain quantities in \(P(\rho ,\mathbf {z})\) is associated with different responses of vehicles in heterogeneous traffic conditions, see [48]. Furthermore, we consider \(D_1(v) = D(v,\rho )\) and \(D_2(v,\mathbf {z}) = 0\). Hence, the speed changes are determined by
we point the interested reader to [47] for further details on the modeling setting. The choice of the function D has to ensure that \(v^\prime ,w^\prime \in [0,1]\) for any \(v,w \in [0,1]\). In [47] the authors proposed
to guarantee the existence of a constant \(c>0\) such that, considering \(\eta _\epsilon \) with support \([-c(1-\epsilon ),c(1-\epsilon )]\), the post-interaction speeds comply with the bound \(0\le v^\prime ,w^\prime \le 1\) for any \(v,w \in [0,1]\).
Hence, the evolution of the density f follows the non-Maxwellian Boltzmann-type equation in weak form
In (17) the uncertain interaction kernel \(B(|v-w|,\mathbf {z})\) describes the frequency of interactions and depends on the relative velocity \(|v-w|\) as follows
Since a priori information on the frequency of interaction is missing, it seem reasonable to introduce an additional uncertain exponent \(\mathbf {z}\) of the cross section as an uncertain quantity.
From Eq. (17) we can compute the evolution of mean speed \(V(t,\mathbf {z})\) of the system. We fix \(\varphi (v)=v\) and the evolution of \(V(t,\mathbf {z}) = \int _0^1 vf(t,v,\mathbf {z})dv\) is given by
whose solution depends on the specific interaction kernel considered. For Maxwellian particles, corresponding to the choice \(\alpha (\mathbf {z})\equiv 0\) we recall the results of [47, 48] from which we are able to find a close equation for the time evolution of the mean speed \(V(t,\mathbf {z})\).
For any other \(\alpha (\mathbf {z})>0\), the mean speed \(V(t,\mathbf {z})\) depends on higher momenta and its evolution cannot be expressed in closed form. To investigate the influence of the uncertain interaction kernel on the evolution of \(V(t,\mathbf {z})\), we fix \(\alpha (\mathbf {z}) \ne 0\). If \(\alpha (\mathbf {z}) = 1\) we get \(V^-(t,\mathbf {z}) \le V(t,\mathbf {z})\le V^+(t,\mathbf {z})\) where
and
Let us consider now \(\alpha (\mathbf {z}) =2 \). We define the following constants \(C_1(\mathbf {z})=\epsilon P(\rho ,\mathbf {z})\ge 0\) and \(C_2(\mathbf {z})=\frac{\epsilon }{2}(P^2(\rho ,\mathbf {z})+1-P(\rho ,\mathbf {z}))>0\) and from (19) we get \(V^-(t,\mathbf {z})\le V(t,\mathbf {z}) \le V^+(t,\mathbf {z})\) where
with \( V(0,\mathbf {z}) = V_0 \in [0,1]\). We point the interested reader to Appendix A for additional details. The impact of the interaction kernel (18) on the introduced traffic model is shown in Fig. 1.
As in Sect. 2.1, the Boltzmann model (17) can be approximated through a surrogate Fokker–Planck model in the quasi-invariant limit. In particular, for the introduced traffic model with interaction kernel we get
where I has been defined in (15) and B is the interaction kernel as in (18). For the introduced Fokker–Planck equation, at variance with the cases in Sects. 3.1–3.2, we cannot compute analytically the equilibrium distribution of the Fokker–Planck model unless \(\alpha (\mathbf {z}) = 0\), corresponding to the Maxwellian scenario.
Upper and lower bounds for the time evolution of the mean velocity \(V(t,\mathbf {z})\) for \(\alpha (\mathbf {z})=1\) (red line) and \(\alpha (\mathbf {z})=2\) (blue line), for different values of the traffic density \(\rho \) and the parameter \(\mu (\mathbf {z})\). The initial velocity is \(V_{0}=1-\rho \) (color figure online)
4 DSMC stochastic Galerkin methods
In this section, we revise the construction of a stochastic Galerkin version of the classical DSMC Algorithm for non-Maxwellian particles, see e.g. [36, 37]. In more detail, we extend the Direct Simulation Monte Carlo stochastic Galerkin (DSMC-sG) methods, introduced in the gas dynamic framework [40], to the models with uncertain parameters proposed in Sect. 3. Next, we provide consistency results of the DSMC-sG algorithm with respect to relevant observables and in the reconstruction of the kinetic density.
4.1 DSMC-sG for non-Maxwellian models with uncertainties
We first rewrite (2) in strong form to highlight the gain and loss part of the Boltzmann-type equation:
where J is the absolute value of the Jacobian of the considered transformation. We denote by \(Q_\Sigma \) the operator obtained replacing the kernel \(B(v,w,\mathbf {z})\) with \(B_\Sigma (v,w,\mathbf {z})\) given by
where \(\Sigma =\max \{B(v,w,\mathbf {z})\}>0\) is an upper bound for the interaction kernel. By decomposing \(Q_\Sigma (f,f)\) in its gain and loss part we can rewrite the interaction step as
with
and
with \(\mu = \int _{\mathbb {V}} f(t,w,\mathbf {z})dw\).
Let us now consider a time interval [0, T] and let us discretize it in \(n_{\text {TOT}}\) interval of size \(\Delta t>0\). We denote by \(f^n(v,\mathbf {z})\) the approximation of \(f(t^n,v,\mathbf {z})\) and we consider the forward Euler scheme
where \(f^{n+1}\) is a probability density provided \(\mu \Sigma \Delta t\le 1\).
Then, we consider a sample of N particles \(v_{i}(\mathbf {z},t)\), \(i = 1,\dots ,N\), from the kinetic solution of the Boltzmann model at time t, and we approximate \(v_i(\mathbf {z},t)\) by its generalized polynomial chaos expansion
where \(\{\Phi _{h}(\mathbf {z})\}_{h=0}^{M}\), \(M\in {\mathbb {N}}\), is a set of orthogonal polynomials of degree less or equal to M, orthonormal with respect to the probability density function \(p(\mathbf {z})\)
where \(I_\mathbf {z}\) is the sample space and \(\delta _{hk}\) is the Kronecker delta. The choice for the orthogonal polynomials obviously depends on the distribution of the parameters and follows the so-called Wiener–Askey scheme [50, 51]. In (26), \({\hat{v}}_{i,h}(t)\) is the projection of the velocity in the subspace generated by the polynomial of degree \(h=0,\dots ,M\)
To perform collision with a non-Maxwellian kernel, we may rewrite the general binary interaction scheme (1) for two particles \(v_i = v_{i}(\mathbf {z},t)\), \(w_j = w_{j}(\mathbf {z},t)\), highlighting the acceptance-rejection process introduced by the classical Nanbu–Babovski method [36]
where \(\chi (\cdot )\) is the indicator function and \(\xi \) a uniform random number in (0, 1). Then, we substitute the velocities \(v_{i},\,w_{i}\) with their gPC approximation \(v_{i}^{M},\,w_{j}^{M}\) and we project against \(\Phi _{h}(\mathbf {z})p(\mathbf {z})d\mathbf {z}\) on \(I_\mathbf {z}\) for every \(h=0,\dots ,M\). We obtain
where \({\hat{V}}^{h}_{i,j}\), \({\hat{W}}^{h}_{i,j}\) are the so-called collisional matrices
We stress the fact that the new binary interaction for the projections (30) does not depend on the uncertain parameter \(\mathbf {z}\). The DSMC-sG method is summarised in Algorithm 1.
Algorithm 1
(DSMC-sG)
-
1.
compute the initial gPC expansion \(\{v_{i}^{M,0},\,i=1,\dots ,N\}\) from the initial distribution \(f(0,v,\mathbf {z})\);
-
2.
for \(n=0\) to \(n_{\text {TOT}}-1\), given the projections \(\{{\hat{v}}_{i,h}^{n},\,i=1,\dots ,N,\,h=0,\dots ,M\}\):
-
compute an upper bound \(\Sigma \) of the kernel;
-
set \(N_{c}=\text {Sround}(\Sigma \mu \Delta t N/2)\);
-
select \(N_{c}\) dummy collision pairs, denoted by \(({\hat{v}}_{i,h},\,{\hat{w}}_{j,h})\) with \(i=j=1,\dots ,N_{c}\), uniformly among all possible pairs and for those:
-
select \(\xi \) uniformly in \((0,\,1)\);
-
compute the collision matrices \({\hat{V}}^{h}_{i,j}\), \({\hat{W}}^{h}_{i,j}\) (31) for \(i,\,j=1,\dots ,N_{c},\,h=0,\dots ,M\);
-
perform the collision between i and j and compute \({\hat{v}}'_{i,h}\) and \({\hat{w}}'_{j,h}\) according to the collision law (30);
-
set \({\hat{v}}_{i,h}^{n+1}={\hat{v}}'_{i,h}\) and \({\hat{w}}_{j,h}^{n+1}={\hat{w}}'_{j,h}\);
-
-
set \({\hat{v}}_{i,h}^{n+1}={\hat{v}}_{i,h}\) and \({\hat{w}}_{j,h}^{n+1}={\hat{w}}_{j,h}\) for all the particles that have not been selected;
end for,
-
where by \(\text {Sround}(x)\) we denote the stochastic rounding of a positive real number x
where \(\lfloor x \rfloor \) denotes the integer part of x.
4.2 Consistency estimates
We want to evaluate the error produced by the DSMC-sG algorithm in the reconstructed distribution function and its moments. In the following, we denote by \(f_\epsilon (t,v,\mathbf {z})\) the solution of the Boltzmann equation (3) with binary updates (1) and by \(f(t,v,\mathbf {z})\) the corresponding mean field approximation, weak solution of the Fokker–Planck equation (4). We introduce then the empirical density functions
where \(\delta (\cdot )\) is the Dirac delta function. Being \(\varphi \) any test function, we denote by
its expectation with respect to the distribution function \(f_\epsilon (t,v,\mathbf {z})\), so that we have
From the central limit theorem we have the following result [5]
Lemma 1
If we denote by \({\mathbb {E}}_V[\cdot ]\) the expectation with respect to \(f_\epsilon \) in the velocity space, for each \(\mathbf {z}\) the root mean square error satisfies
with
If \(H^r(I_\mathbf {z})\) is a weighted Sobolev space
from the polynomial approximation theory [50], we have the following spectral estimate
Lemma 2
For any \(v(\mathbf {z}) \in H^r_p(I_\mathbf {z}), \, r\ge 0\), there exists a constant C independent of \(M>0\) such that
Next, for any random variable \(W(\mathbf {z},t)\) taking values in \(L^2_p(I_\mathbf {z})\), we define
and equivalently
see [16, 38, 40]. Then, we have the following result
Theorem 3
Let \(f(t,v,\mathbf {z})\) be a probability density function, solution of the weak Fokker–Planck equation (4), and \(f^M_{\epsilon ,N}(t,v,\mathbf {z})\) the empirical measure obtained from the N-particles sG approximation \(\{v^M_i(\mathbf {z},t)\}_i\), solution of the time scaled Boltzmann equation (3). If \(v_i(\mathbf {z},t)\in H^r_p(I_\mathbf {z})\) for every \(i=1,\dots ,N\), and in the quasi-invariant limit \(\epsilon \rightarrow 0\), we have the following estimate
where \(\varphi \) is a test function, \(C>0\) is a constant independent on M and \(\xi _i=(1-\theta )v_i+\theta v^M_i,\,\theta \in (0,1)\).
Proof
Thanks to the triangular inequality we have
In the quasi-invariant regime \(\epsilon \rightarrow 0\), up to the extraction of a subsequence, we have
as a consequence we have
and the first term vanishes in the quasi-invariant limit. The second term can be evaluated exploiting the result of Lemma 1. Therefore, we have
Finally, we have
and from the mean value theorem \(\varphi (v_i) - \varphi (v^M_i) = \nabla \varphi (\xi _i) \cdot (v_i - v^M_i)\), for \(\xi _i=(1-\theta )v_i+\theta v^M_i,\,\theta \in (0,1)\). Thanks to Lemma 2 with \(C=\max _i C_i \Vert v_i \Vert _{H^r_p(I_\mathbf {z})}\) we have
\(\square \)
Next, we introduce a uniform grid in the domain \(\mathbb {V}\), with \(\Delta v > 0\) width of the cell, and we denote by \(S_{\Delta v}\ge 0\) a smoothing function such that
We consider the approximations of the density function obtained by
observing that the standard histogram reconstruction corresponds to the choice \(S_{\Delta v}(v)=\chi (|v|\le \Delta v/2)/\Delta v\). Defining
we have the following result
Theorem 4
The error introduced by the reconstruction of the distribution in the DSMC-sG method, in the grazing limit \(\epsilon \rightarrow 0\), satisfies
where \(q>0\), \(B_{f_\epsilon }>0\) is a constant, \(C>0\) is a constant independent on M and \(\xi _i=(1-\theta )v_i+\theta v^M_i,\,\theta \in (0,1)\).
Proof
Thanks to the triangular inequality we have
In the limit \(\epsilon \rightarrow 0\) we have shown that \(f_\epsilon \rightarrow f\), so the first term vanishes. The second term represents the error introduced by the density reconstruction and is bounded by
where \(q>0\) depends on the accuracy of the reconstruction. For the last two terms, we observe that
with \(\varphi (\cdot )=S_{\Delta v}(v - \cdot )\). Hence, we can apply the result of Theorem 3 with the just mentioned choice for \(\varphi \). \(\square \)
5 Numerical results
In this section, we present several numerical tests for the DSMC-sG scheme for the non-Maxwellian models with uncertainties described in Sect. 3. In all the subsequent tests we will consider \(N= 10^5\) agents and the densities are reconstructed through standard histograms.
In more detail, we first check the consistency of the DSMC-sG approximation of the Boltzmann equation with the exact equilibrium distribution for the kinetic model for gambling. Then we test the convergence to the equilibrium of the Fokker–Planck equation for the discussed wealth distribution and the traffic models.
In the binary interactions (29) we introduced the indicator function \(\chi (\cdot )\). This term may deteriorate the overall convergence of the DSMC-sG scheme. Coherently with the approach proposed in [40], we introduce the following regularisation
where \(K(\beta (\cdot ))\) is a sigmoid function dependent on the parameter \(\beta >0\). In particular, we consider
With this choice, we note that \(\beta \gg 1\) is associated with a sharp sigmoid function, on the contrary, a smaller \(\beta \) is linked to a smoother sigmoid. We will return to the influence of the parameter \(\beta \) in the following.
This regularisation induces a different evolution of the relevant observables. Consequently, to keep the exact time evolution of the first two moments together with the spectral convergence, we couple the DSMC-sG scheme with a scaling process of the form
where \(V_{\text {FP}}(t,\mathbf {z})\) and \(E_{\text {FP}}(t,\mathbf {z})\) are, respectively, the mean velocity and the energy computed from the corresponding surrogate Fokker–Planck model. Similarly, we indicated with \(V_{K}(t,\mathbf {z})\) and \(E_{K}(t,\mathbf {z})\) mean velocity and energy of the Boltzmann-type model with sigmoid function \(K(\cdot )\) (34) in Eq. (33). The computation of \(V_{\text {FP}}(t,\mathbf {z})\) and \(E_{\text {FP}}(t,\mathbf {z})\) follows from the model (4) that is solved through standard sG method and for which we can guarantee sufficient regularity under the assumptions of Theorem 2. We highlight how the additional scaling process (35) will be consistent with the original Boltzmann-type model in the regime \(\epsilon \ll 1\).
For clarity purposes, in the rest of the section we will indicate the numerical solution of the Fokker–Planck model \(f_{\text {FP}}(t,v,\mathbf {z})\) and the numerical solution of the Boltzmann-type model as \(f_{\epsilon }(t,v,\mathbf {z})\), whereas the solution of the Boltzmann-type model with additional scaling process (35) will be denoted by \({\tilde{f}}_\epsilon (t,v,\mathbf {z})\). For the approximation of the Fokker–Planck model we will implement a standard sG collocation method based on a semi-implicit scheme presented in [39] and further studied in [17, 48, 52].
5.1 Test 1: gambling
Test 1. Comparison of \(f^\infty (v,\mathbf {z})\) in (37) and DSMC-sG approximation of \(f(T,v,\mathbf {z})\) at time \(T=10\), in log-log scale, in terms of expectation (left) and variance (right) with respect to uncertain parameter \(\delta (z) = \frac{1}{2}z\), \(z\sim {\mathcal {U}}([0,1])\). We consider \(N=10^5\) particles with \(M=5\) Galerkin projections, time step \(\Delta t = 0.1\) and initial density (36)
We consider the kinetic model for gambling with 1D uncertainty in the collisional kernel. We choose \(\delta (z) = \frac{1}{2}z\) and \(z\sim {\mathcal {U}}([0,1])\) in (9) fixing \(\kappa = 1\). Since the random parameter is uniformly distributed, we use the Legendre polynomials in the gPC expansion. In all the simulations, we consider \(M=5\) Galerkin projections and the time frame [0, T] with \(T = 10\) discretised with time step \(\Delta t = 0.1\). The kinetic density is reconstructed in the interval [0, 10] with \(\Delta v=0.05\). We consider the deterministic initial distribution
In this test, we highlight that the equilibrium solution of the Boltzmann-type model can be computed exactly and \(\epsilon = 1\) and reads
see Sect. 3.1. In Fig. 2, we report expected value and variance with respect to the random parameter z of the DSMC-sG approximation. We may observe the good agreement of the considered quantities of interest with the analytical ones.
5.2 Test 2: wealth distribution
We consider now the kinetic model for the wealth distribution described in Sect. 3.2. In particular, we consider the case where the interaction kernel (11) is characterized by \(\delta (\mathbf {z}) = \mathbf {z}\sim {\mathcal {U}}([0,1])\) and \(\kappa = 1\). Therefore, we adopt the Legendre polynomials in the gPC expansion of the velocities. In all the results of this test, we consider a background uniformly distributed as \({\mathcal {E}}\sim {\mathcal {U}}([0.9, 1.1])\). Furthermore, we consider the following deterministic initial distribution
In Fig. 3 we show expectation and variance of \(f_\epsilon (t,v,\mathbf {z})\) computed through DSMC-sG method with respect to the analytical equilibrium distribution of the Fokker–Planck model (14), for various \(\epsilon = 5 \times 10^{-2}, 10^{-1}, 5 \times 10^{-1}\). In the last picture we report also the behavior of the expected mean wealth \({\mathbb {E}}_{\mathbf {z}}[V_\epsilon (t,\mathbf {z})]\) for the introduced values of \(\epsilon \). We consider \(M=5\) Galerkin projections, \(\Delta t=\epsilon /10\), \(\lambda =\sigma ^2=0.5\) and time frame [0, T] with \(T = 10\). The kinetic density is reconstructed through standard histogram over the interval [0, 10] with \(\Delta v = 0.05\).
Test 2. Comparison of \(f^\infty _{\text {FP}}(v,\mathbf {z})\) and the DSMC-sG approximation of \(f_\epsilon (T,v,\mathbf {z})\) at time \(T = 10\), in log-log scale, in terms of expectation (left) and variance (center) for several \(\epsilon = 5 \times 10^{-2}, 10^{-1}, 5 \times 10^{-1}\). We report (right) the time evolution of \({\mathbb {E}}_\mathbf {z}[V_\epsilon (t,\mathbf {z})]\) for several \(\epsilon \) and \({\mathbb {E}}_{\mathbf {z}}[V_{\text {FP}}(t,\mathbf {z})]\). We consider \(N=10^5\) particles with \(M=5\) Galerkin projections and \(\Delta t = \epsilon /10\). The random parameter is uniformly distributed \(\delta (\mathbf {z}) = \mathbf {z}\sim {\mathcal {U}}([0,1])\), and we fix \(\kappa =1\), \(\lambda =\sigma ^2=0.5\). The background \({\mathcal {E}}\) is a uniform distribution \({\mathcal {U}}([0.9, 1.1])\)
In order to show spectral convergence property of the scheme, we consider a reference DSMC-sG evolution of \(E_\epsilon (t,\mathbf {z})\) obtained with \(\epsilon = 0.1\), \(N = 10^5\), \(\Delta t = 0.1\) and sG scheme up to order \(M = 50\). We store the collisional tree generating the reference solution and we check the \(L^2\) convergence of the scheme. In Fig. 4 we present the decay of the \(L^2\) error for increasing M obtained from the initial distribution (38). If we consider the original binary dynamics (29), even if the expectation is well described, it can be observed that the spectral accuracy of the method is lost due to discontinuity of the indicator function \(\chi (\cdot )\). The same test performed for the binary dynamics (33) recovers spectral accuracy. For increasing \(\beta \gg 0\) the convergence of the scheme is deteriorated, since we approximate a step function.
Test 2. Convergence of the \(L^2\) error of the DSMC-sG scheme, where the binary interaction dynamics are given by (29) (left) or by (33) (right), in the case of model for wealth distribution with uncertain kernel. We consider \(N=10^5\), \(\Delta t = 0.01\) and \(\epsilon =0.1\). We fix \(\kappa =1\), \(\lambda =\sigma ^2=0.5\). Reference solution computed with \(M= 50\)
Coupling now (33) with the process (35), we recover qualitatively consistent approximation of the evolution of relevant quantities of interest together with spectral convergence for moderate values of \(\beta >0\), see Fig. 5. In this test we solve the Fokker–Planck model (13).
Test 2. Left: comparison of \(f^\infty _{\text {FP}}\) in (14) with the DSMC-sG approximation of \(f_\epsilon (t,v,\mathbf {z})\) (regularization without rescaling) and of \(\tilde{f}_\epsilon (t,v,\mathbf {z})\) (regularization with rescaling), in terms of expectation in \(\mathbf {z}\). Center and right: comparison of \(V_{\text {FP}}, E_{\text {FP}}\) with the DSMC-sG approximation of \(V_\epsilon (t,\mathbf {z}), E_\epsilon (t,\mathbf {z})\) (regularization without rescaling) and of \(\tilde{V}_\epsilon (t,\mathbf {z}),\tilde{E}_\epsilon (t,\mathbf {z})\) (regularization with rescaling). We consider \(N=10^5\), \(M = 5\), \(\Delta t = 0.01\) and \(\epsilon =0.1\). We fix \(\kappa =1\), \(\lambda =\sigma ^2=0.5\)
5.3 Test 3: traffic flow
In this last test, we consider the traffic model of Sect. 3.3, affected by an uncorrelated 2D random parameter \(\mathbf {z}= (z_1,z_2)\) with \(p(\mathbf {z}) = p_1(z_1)p_2(z_2)\). In particular, we consider \(z_1\) affecting \(\mu (z_1)\) in the interaction function \(I(v,w,z_1)\) defined in (15) and \(z_2\) affecting \(\alpha (z_2)\) in the kernel \(B(|v-w|,z_2)\) defined in (18). Under these assumptions, the gPC expansion of the velocities \(v_{i}(t,z_1,z_2)\), \(i = 1,\dots ,N\) reads
being \(\{\Phi ^{(1)}_{h}(z_{1})\}_{h=0}^{M_1}\) and \(\{\Phi ^{(2)}_{k}(z_{2})\}_{k=0}^{M_2}\) the polynomials orthogonal with respect to the distributions \(p_1(z_1)\) and \(p_2(z_2)\), respectively. Substituting \(v_{i}^{M_1,M_2}(z_1,z_2,t)\) into the binary interaction (16) and proceeding as in Sect. 4.1, we obtain
with the following collision matrix
We consider the following deterministic initial distribution
To assess the impact of the single uncertain parameters on the dynamics we first consider the case \(\mu (z_1) = 1 + 2z_1\) and \(\alpha (z_2) = 2z_2 \) with uncorrelated uncertainties \(z_1,z_2\sim {\mathcal {U}}([0,1])\). In Fig. 6 we show the DSMC-sG approximation of the solution of Fokker–Planck model for traffic (23) in terms of expected value and variance in \(\mathbf {z}= (z_1,z_2)\) of the distribution function and of the macroscopic quantities. We considered two different densities \(\rho = 0.4\) and \(\rho = 0.6\) and the Fokker–Planck is solved on a grid of \(N_v = 51\) points such that \(\Delta v = 0.02\) and \(\Delta t = \Delta v/2\). As before, the DSMC-sG provides a good approximation in the limit \(\epsilon \ll 1\) of the solution of the Fokker–Planck model.
We show the \(L^2\) convergence of the DSMC-sG scheme in Fig. 7. In details, we considered the case with binary interactions (29) in the left plot, whereas the case with regularization of the step function as in (33), with \(\beta = 0.01\), is presented in the right plot. The error has been computed with respect to a reference DSMC-sG evolution of \(E_\epsilon (t,\mathbf {z})\) with \(\Delta t = \epsilon = 0.1\), \(N = 10^5\), and \(M_1 = M_2 = 50\). As before, in this test we store the collisional tree of the reference solution and we check \(L^2\) convergence for increasing \(M_1,M_2\). The error is presented here in \(\log _{10}\) and we can clearly observe spectral accuracy in the case with regularization.
Test 3. Comparison of the numerical solution of the Fokker–Planck model (23) with \(\mu (z_1)= 1 + 2 z_1 \) and \(\alpha (z_2) = 2z_2\), \(z_1,z_2 \sim {\mathcal {U}}([0,1])\), with the DSMC-sG reconstruction of traffic distributions (first and second column) and of mean velocity (third column) for various \(\epsilon = 0.05, 0.1,0.5\). We considered \(\rho = 0.4\) (top row) and \(\rho = 0.6\) (bottom row). We set for the DSMC-sG method \(N = 10^5\), \(M_1 = M_2 = 5\), \(\Delta t = \epsilon \), and the deterministic solver for Fokker–Planck is such that \(\Delta v = 0.02\) and \(\Delta t = \Delta v/2\). The time frame is \(t \in [0,T]\), \(T = 300\)
Test 3. Convergence of the \(L^2\) error of the DSMC-sG scheme where binary dynamics are given by (29) (left) or by (33) where \(\beta = 0.01\), in the case of model for traffic flow with 2D uncorrelated uncertainty in interactions and kernel. We consider \(N = 10^5\), \(\Delta t = \epsilon = 0.1\). We fix \(\rho = 0.4\), \(\mu (z_1) = 1 + 2 z_1\) and \(\alpha (z_2)=2 z_2\) with \(z_1,z_2 \sim \mathcal U([0,1])\). Reference solution computed with \(M_1 = M_2 = 50\)
Finally, coupling (33) with the process (35), we recover a qualitatively consistent approximation of the evolution of relevant quantities of interest in the case of traffic flow model, see Fig. 8.
Test 3. First column: comparison of numerical \(f_{\text {FP}}(T,v,\mathbf {z})\) with the DSMC-sG approximation of \(f_\epsilon (T,v,\mathbf {z})\) (regularization without rescaling) and of \(\tilde{f}_\epsilon (T,v,\mathbf {z})\) (regularization with rescaling) in terms of the expectation in \(\mathbf {z}\). Central and right columns: comparison of \(V_{\text {FP}}\), \(E_{\text {FP}}\) with the DSMC-sG approximation without rescaling \(V_\epsilon (t,\mathbf {z})\), \(E_\epsilon (t,\mathbf {z})\) and with rescaling \(\tilde{V}_\epsilon (t,\mathbf {z})\), \(\tilde{E}_\epsilon (t,\mathbf {z})\). Top row: \(\rho = 0.4\), bottom row: \(\rho = 0.6\). We consider \(N = 10^5\), \(M_1 = M_2 = 5\) and \(\Delta t = \epsilon = 0.1\)
6 Conclusion
In this work, we studied an extension of a recently introduced DSMC-sG hybrid approach [8, 40] for uncertainty quantification of kinetic equations to non-Maxwellian Boltzmann-type models for multi-agent systems. The proposed method combines a DSMC solver in the physical space with a stochastic Galerkin method in the random space and is based on a generalized Polynomial Chaos expansion of statistical samples of a DSMC solver. The DSMC-sG solution of non-Maxwellian models with uncertainties requires a suitable reformulation of classical DSMC solvers. The class of kinetic models of interest can be formally approximated by surrogate Fokker–Planck-type models in the quasi-invariant regime. For these models, the regularity in the random space has been investigated. In particular, exploiting this observation we guarantee spectral accuracy of the method in the random space. Several examples based on existing models of multi-agent systems have been investigated numerically. The extension of the DSMC-sG methods to non-homogeneous equations of collective phenomena is currently under investigation.
Data availability
The dataset generated during the current study is available from the corresponding author on reasonable request.
References
Babovsky, H., Illner, R.: A convergence proof for Nanbu’s simulation method for the full Boltzmann equation. SIAM J. Numer. Anal. 26, 45–65 (1989)
Babovsky, H., Neunzert, H.: On a simulation scheme for the Boltzmann equation. Math. Methods Appl. Sci. 8, 223–233 (1986)
Bassetti, F., Toscani, G.: Explicit equilibria in a kinetic model of gambling. Phys. Rev. E 81, 066115 (2010)
Bertaglia, G., Liu, L., Pareschi, L., Zhu, X.: Bi-fidelity stochastic collocation methods for epidemic transport models with uncertainties. Netw. Heterog. Media (in press)
Caflisch, R.E.: Monte Carlo and quasi Monte Carlo methods. Acta Numer. 7, 1–49 (1998)
Carrillo, J.A., D’Orsogna, M.R., Panferov, V.: Double milling in self-propelled swarms from kinetic theory. Kinet. Relat. Models 2(2), 363–378 (2009)
Carrillo, J.A., Fornasier, M., Rosado, J., Toscani, G.: Asymptotic flocking dynamics for the kinetic Cucker–Smale model. SIAM J. Math. Anal. 42(1), 218–236 (2010)
Carrillo, J.A., Pareschi, L., Zanella, M.: Particle based gPC methods for mean-field models of swarming with uncertainty. Commun. Comput. Phys. 25(2), 508–531 (2019)
Cercignani, C., Illner, R., Pulvirenti, M.: The Mathematical Theory of Dilute Gases, Applied Mathematical Sciences, vol. 106. Springer, Berlin (1994)
Choi, Y.-P., Yun, S.-B.: Existence and hydrodynamic limit for a Paveri–Fontana type kinetic traffic model. SIAM J. Math. Anal. 53, 2631–2659 (2021)
Cordier, S., Pareschi, L., Toscani, G.: On a kinetic model for a simple market economy. J. Stat. Phys. 120(1), 253–277 (2005)
Degond, P., Motsch, S.: Continuum limit of self-driven particles with orientation interaction. Math. Models Methods Appl. Sci. 18(supp01), 1193–1215 (2008)
Desvillettes, L.: Boltzmann’s kernel and the spatially homogeneous Boltzmann equation. Riv. Mat. Univ. Parma 6(4), 1–22 (2001)
Dimarco, G., Pareschi, L.: Numerical methods for kinetic equations. Acta Numer. 23, 369–520 (2014)
Dimarco, G., Pareschi, L.: Multi-scale control variate methods for uncertainty quantification in kinetic equations. J. Comput. Phys. 388, 63–89 (2019)
Dimarco, G., Pareschi, L.: Multiscale variance reduction methods based on multiple control variates for kinetic equations with uncertainties. Multiscale Model. Simul. 18(1), 351–382 (2020)
Dimarco, G., Pareschi, L., Zanella, M.: Uncertainty quantification for kinetic models in socio-economic and life sciences. In: Jin, S., Pareschi, L. (eds.) Uncertainty Quantification for Hyperbolic and Kinetic Equations, SEMA-SIMAI Springer Series, vol. 14, pp. 151–191. Springer, Berlin (2017)
Dimarco, G., Perthame, B., Toscani, G., Zanella, M.: Kinetic models for epidemic dynamics with social heterogeneity. J. Math. Biol. 83(4) (2021)
Dragulescu, A., Yakovenko, V.M.: Statistical mechanics of money. Eur. Phys. J. B 17, 723–729 (2000)
Düring, B., Fischer, M., Wolfram, M.-T.: An Elo-type rating model for players and teams of variable strength. Philos. Trans. R. Soc. Lond. Ser. A Phys. End. Sci. (2021)
Düring, B., Torregrossa, M., Wolfram, M.-T.: Boltzmann and Fokker–Planck equations modelling the Elo rating system with learning effects. J. Nonlinear Sci. 29(3), 1095–1128 (2019)
Düring, B., Wolfram, M.-T.: Opinion dynamics: inhomogeneous Boltzmann-type equations modelling opinion leadership and political segregation. Proc. R. Soc. A 417(2182) (2015)
Furioli, G., Pulvirenti, A., Terraneo, E., Toscani, G.: Non-Maxwellian kinetic equations modelling the evolution of wealth distribution. Math. Models Methods Appl. Sci. 30(4), 685–725 (2020)
Gamba, I., Jin, S., Liu, L.: Error estimate of a bi-fidelity method for kinetic equations with random parameters and multiple scales. Int. J. Uncertain. Quantif. 11(5), 57–75 (2021)
Helbing, D.: Gas-kinetic derivation of Navier–Stokes-like traffic equations. Phys. Rev. E 53(3), 2366–2381 (1996)
Herty, M., Klar, A., Pareschi, L.: General kinetic models for vehicular traffic flow and Monte Carlo methods. Comput. Methods Appl. Math. 5, 155–169 (2005)
Herty, M., Pareschi, L.: Fokker–Planck asymptotics for traffic flow models. Kinet. Relat. Models 3(1), 165–179 (2010)
Hu, J., Jin, S., Shu, R.: On stochastic Galerkin approximation of the nonlinear Boltzmann equation with uncertainty in the fluid regime. J. Comput. Phys. 397, 108838 (2019)
Hu, J., Pareschi, L., Wang, Y.: Uncertainty quantification for the BGK model of the Boltzmann equation using multilevel variance reduced Monte Carlo methods. SIAM/ASA J. Uncertain. Quantif. 9(2), 650–680 (2021)
Jin, S., Liu, J.G., Ma, Z.: Uniform spectral convergence of the stochastic Galerkin method for the linear transport equations with random inputs in diffusive regime and a micro–macro decomposition-based asymptotic-preserving method. Res. Math. Sci. 4(15) (2017)
Jin, S., Pareschi, L. (eds.) Uncertainty quantification for hyperbolic and kinetic equations, SEMA-SIMAI Springer Series, vol. 14. Springer, Berlin (2017)
Kac, M.: Probability and Related Topics in the Physical Sciences. Interscience, New York (1959)
Li, Q., Wang, L.: Uniform regularity for linear kinetic equations with random input based on hypocoercivity. SIAM/ASA J. Uncertain. Quantif. 5(1), 1193–1219 (2017)
Liu, L., Jin, S.: Hypocoercivity based sensitivity analysis and spectral convergence of the stochastic Galerkin approximation to collisional kinetic equations with multiple scales and random inputs. Multiscale Model. Simul. 16(3), 1085–1114 (2018)
Nanbu, K.: Direct simulation scheme derived from the Boltzmann equation. I. Monocomponent gases. J. Phys. Soc. Jpn. 49, 2042–2049 (1980)
Pareschi, L., Russo, G.: An introduction to Monte Carlo methods for the Boltzmann equation. ESAIM Proc. 10, 35–75 (2001)
Pareschi, L., Toscani, G.: Interacting Multiagent Systems: Kinetic Equations and Monte Carlo Methods. Oxford University Press, Oxford (2013)
Pareschi, L., Trimborn, T., Zanella, M.: Mean-field control variate methods for kinetic equations with uncertainties and applications to socio-economic sciences. Int. J. Uncertain. Quantif. 12(1), 61–84 (2022)
Pareschi, L., Zanella, M.: Structure preserving schemes for nonlinear Fokker–Planck equations and applications. J. Sci. Comput. 74, 1575–1600 (2018)
Pareschi, L., Zanella, M.: Monte Carlo stochastic Galerkin methods for the Boltzmann equation with uncertainties: space-homogeneous case. J. Comput. Phys. 423, 109822 (2020)
Paveri-Fontana, S.L.: On Boltzmann-like treatments for traffic flow: a critical review of the basic model and an alternative proposal for dilute traffic analysis. Transp. Res. 9(4), 225–235 (1975)
Perthame, B.: Transport Equations in Biology. Frontiers in Mathematics. Birkhäuser, Basel (2007)
Prigogine, I., Herman, R.: Kinetic Theory of Vehicular Traffic. American Elsevier Publishing Co., New York (1971)
Temam, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer, Berlin (1988)
Toscani, G.: Kinetic models of opinion formation. Commun. Math. Sci. 4(3), 481–496 (2006)
Tosin, A., Zanella, M.: Boltzmann-type models with uncertain binary interactions. Commun. Math. Sci. 16(4), 963–985 (2018)
Tosin, A., Zanella, M.: Kinetic-controlled hydrodynamics for traffic models with driver-assist vehicles. Multiscale Model. Simul. 17(2), 716–749 (2019)
Tosin, A., Zanella, M.: Uncertainty damping in kinetic traffic models by driver-assist controls. Math. Control Relat. Fields (2021)
Visconti, G., Herty, M., Puppo, G., Tosin, A.: Multivalued fundamental diagrams of traffic flow in the kinetic Fokker–Planck limit. Multiscale Model. Simul. 15, 1267–1293 (2017)
Xiu, D.: Numerical Methods for Stochastic Computations. Princeton University Press, Princeton (2010)
Xiu, D., Karniadakis, G.E.: The Wiener–Askey polynomial chaos for stochastic differential equations. SIAM J. Sci. Comput. 24(2), 614–644 (2002)
Zanella, M.: Structure preserving stochastic Galerkin methods for Fokker–Planck equations with background interactions. Math. Comput. Simul. 168, 28–47 (2020)
Zhu, Y., Jin, S.: The Vlasov–Poisson–Fokker–Planck system with uncertainty and a one-dimensional asymptotic-preserving method. Multiscale Model. Simul. 15(4), 1502–1529 (2017)
Acknowledgements
This work has been written within the activities of the GNFM group of INdAM (National Institute of High Mathematics). A.T. and M.Z. acknowledge partial support of MUR-PRIN2020 Project (No. 2020JLWP23) “Integrated mathematical approaches to socio-epidemiological dynamics”. The research of M.Z. was partially supported by MUR, Dipartimenti di Eccellenza Program (2018–2022), and Department of Mathematics “F. Casorati”, University of Pavia. The research of A.T. was partially supported by MUR, Dipartimenti di Eccellenza Program (2018–2022), and Department of Mathematical Sciences “G. L. Lagrange”, Politecnico di Torino.
Funding
Open access funding provided by Università degli Studi di Pavia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
This article is part of the topical collection “Kinetic Theory” edited by Seung-Yeal Ha, Marie-Therese Wolfram, Jose Carrillo and Jingwei Hu.
Non-Maxwellian traffic model
Non-Maxwellian traffic model
Let us consider first the case \(\alpha (\mathbf {z}) = 1\). From (19) we have
In particular, a direct integration of the second term gives
being \(P \in [0,1]\) for all \(\mathbf {z}\) and where \(E(t,\mathbf {z}) = \int _0^1 v^2 f(t,v,\mathbf {z})dv\) is the energy. On the other hand, thanks to triangular inequality, we have
Since \(P\ge 0\) and \(v\in [0,1]\) we have
Similarly, for the second term of (44) we have
From the obtained inequalities we conclude that
Since \(v \in [0,1]\) we have \(E(t,\mathbf {z})\le V(t,\mathbf {z})\) and, introducing the notation \(\beta (\mathbf {z}) = 3-3P(\rho ,\mathbf {z})-P^2(\rho ,\mathbf {z})\), we get
that are both Bernoulli-type ODEs.
Hence, we get \(V^-(t,\mathbf {z}) \le V(t,\mathbf {z})\le V^+(t,\mathbf {z})\) where
where
Hence, we consider the case \(\alpha (\mathbf {z}) =2 \). We define the following constants \(C_1(\mathbf {z})=\epsilon P(\rho ,\mathbf {z})\ge 0\) and \(C_2(\mathbf {z})=\frac{\epsilon }{2}(P^2(\rho ,\mathbf {z})+1-P(\rho ,\mathbf {z}))>0\) and from (19) we get
where \(M_3(t,\mathbf {z}) = \int _0^1 v^3 f(t,v,\mathbf {z})dv\). Hence, from the triangular inequality we find
Arguing as before, we get
Therefore we get \(V^-(t,\mathbf {z})\le V(t,\mathbf {z}) \le V^+(t,\mathbf {z})\) where
with \( V(0,\mathbf {z}) = V_0 \in [0,1]\).
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
Medaglia, A., Tosin, A. & Zanella, M. Monte Carlo stochastic Galerkin methods for non-Maxwellian kinetic models of multiagent systems with uncertainties. Partial Differ. Equ. Appl. 3, 51 (2022). https://doi.org/10.1007/s42985-022-00189-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42985-022-00189-w
Keywords
- Uncertainty quantification
- Stochastic Galerkin methods
- Direct simulation Monte Carlo methods
- Nonlinear Fokker–Planck equations
- Kinetic equations
- Kinetic modelling