Abstract
We consider a finite number of particles characterised by their positions and velocities. At random times a randomly chosen particle, the follower, adopts the velocity of another particle, the leader. The follower chooses its leader according to the proximity rank of the latter with respect to the former. We study the limit of a system size going to infinity and, under the assumption of propagation of chaos, show that the limit equation is akin to the Boltzmann equation. However, it exhibits a spatial non-locality instead of the classical non-locality in velocity space. This result relies on the approximation properties of Bernstein polynomials. We illustrate the dynamics with numerical simulations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we explore collective dynamics driven by rank-based interactions, i.e. that’s to say interactions determined by the rank of the agents with respect to certain criterion. There are many examples where such interactions take place. In economics for instance, it was extensively analysed in [14] that agents are more sensitive to their rank compared to others (salary or wealth for example) than their own independent cardinal level. To go further, [17] studies, in an organisation, compensation schemes which pay according to an individual’s ordinal rank rather than their output level. Such payoff based on the rank approach also appears very naturally in a variety of economics applications such as bids, the labour market, portfolio management, the oil market, academic production, reputation, etc.
Evolutionary game theory studies the evolution of strategies/genes transmitted through natural selection. In chimpanzees as in cockroaches a group is formed of a dominant male, females and lower order males. Only the dominant male is supposed to mate with the females. However, when the dominant male is absent, the females also reproduce with other males giving the preference to males in descending order [12]. It is also known that the rank of an offspring strongly depends on the rank of its mother [16], so that in the replicator dynamic process the rank increases the chance of reproduction. The study of such models requires taking into account interactions depending on the rank of the agents.
In this article we focus on the dynamics of bird flocks. There is a widespread literature of flocking models where the birds react to their neighbours as a function of the neighbours’ distance from them within the flock. These are the co-called “metric” interactions. In this context, dynamics based on alignment [20], consensus [11] or attraction-repulsion see [3, 4] have been widely studied. However, there has been recent compelling evidence [1] that interactions within bird flocks are mostly metric free, as the birds react primarily with a limited number of their nearest neighbours irrespective of the distances between them. This observation has motivated the concept of “topological interaction”, which has been widely echoed in the scientific literature [5, 7, 10, 13, 19].
Our goal is to investigate the large size limit of a system of agents interacting through topological interactions. Specifically, we consider a leader-follower model [8, 9] where at random times a randomly chosen bird, the follower, decides to adopt the velocity of another bird, its leader, in the flock. The follower chooses its leader according to a probability only depending on the proximity rank of the latter with respect to the former. If we assume that the probability has a strong cutoff as soon as the proximity rank exceeds a certain value, of the order of seven in actual flocks, the considered model is akin to the topological interactions of [1].
To our knowledge, [6] is the first mathematical work where interaction rules between agents depending on their rank are considered. The closest to our work is [15] where kinetic and hydrodynamic models for topological interactions have been proposed. However, the considered dynamics is different from ours. In [15], it is supposed that an agent’s velocity relaxes towards an average velocity of its neighbours where the relative weights of the neighbours depend on their proximity rank to the considered agent. Therefore, it is a model of Cucker-Smale type [11] combined with a topological interaction rule. In [15], a mean-field type kinetic model is rigorously derived under some regularisation in the large system size limit and a hydrodynamic model under a monokinetic closure assumption is proposed.
Here, the interaction rule is different and, in the large system size limit, leads to a Boltzmann type model with an integral operator describing the balance between gains and losses due to the interactions rather than a mean-field model where the interactions are described through a force field. From the mathematical viewpoint, this makes a considerable difference, as an empirical measure approach is not possible. Instead, one has to rely on the propagation of chaos property for the solution of the master equation. In the present work, propagation of chaos is assumed and its proof is defered to future work. Still, under this assumption, the derivation of the kinetic equation is not obvious and as we will see, relies on fine approximation properties of Bernstein polynomials.
Indeed, we will realise that the derivation of a kinetic model requires the estimation of the probability that given two particles say numbered 1 and 2, the rank of 2 with respect to 1 be equal to a given integer j. Then, the interaction probability of 1 with 2 in this configuration is a function K(j / N), where N is the total number of particles and the function K is characteristic of the considered interaction. Thanks to an easy combinatorial estimation, the total probability of 1 interacting with 2 is found as the Bernstein polynomial approximation of K when N is large. Due to some cancellations, the first order correction in powers of 1 / N of the Bernstein polynomial approximation of K is also needed. This correction can be found in the literature [18].
The paper is organised as follows. In Sect. 2, we present the N particle dynamics and state the main result. In Sect. 3, we derive the master equation of the process and the equation for the first marginal under the assumption of propagation of chaos. In Sect. 4 we precisely state our main result, namely that, in the limit \(N \rightarrow \infty \) and the assumption of propagation of chaos, the equation for the first marginal reduces to a kinetic equation of Boltzmann type with spatial nonlinearity. To prove this theorem, we use results on Bernstein’s polynomial approximation from the literature [18]. Section 5 offers some considerations on the limit kinetic equation and illustrates our discussion with numerical simulations emphasising that the large-time and large number of particles limits do not commute. Finally, a conclusion is drawn in Sect. 6.
2 The N-particle Dynamics
Consider a set of N particles. The particle i is characterised by its position \(x_i \in {\mathbb R}^n\) and its velocity \(v_i \in {\mathbb R}^n\) where \(n\ge 1\) is both the spatial and velocity dimension. For a given particle i we can order the other particles relatively to their distance to i. More precisely, we have the following:
Definition 1
(Rank) Consider N particles located at \(x_1, \ldots , x_N\). Consider the i-th particle and order the list \(\big (|x_j-x_i|\big )_{j=1, \ldots , N, \, j \not = i}\) by increasing order and denote by \(R^N(i,j)\in \{1, \ldots , N-1\}\) the position of the j-th item in this list. If two indices j and \(j'\) are such that \(|x_j-x_i| = |x_{j'}-x_i|\), then we choose arbitrarily an ordering between these two numbers. We define \(R^N(i,i)=0\). Now, we define the rank of j with respect to i as:
We introduce a function K: \(r \in [0,1] \mapsto K(r) \in [0,\infty )\) such that
We define
in order to have for any \(i \in \{1, \ldots , N\}\):
In this way, for any \(i \in \{1, \ldots , N\}\), the collection \((\pi _{ij})_{j=1, j \not = i}^N\), where
defines a discrete probability measure on the set \(\{j\in \{1, \ldots , N\}, \, \, j \not = i\}\).
Consider N particles \(\{ (x_1(t), v_1(t)), \ldots , (x_N(t), v_N(t)) \}\) which are subject to the following dynamics (previously referred to as the “Choose the Leader” dynamics [8, 9]):
-
The dynamics is a succession of free-flights and collisions.
-
During free-flight, particles follow straight trajectories
$$\begin{aligned} \left\{ \begin{array}{l} \dot{x}_i = v_i, \\ \dot{v}_i = 0\;. \end{array} \right. \end{aligned}$$ -
At Poisson random times with a rate equals to N, particles undergo the following collisions process: Pick a particle i in \(\{1, \ldots , N\}\) with uniform probability 1 / N and perform a collision, i.e. pick a collision partner j in the set \(\{j\in \{1, \ldots , N\}, \, \, j \not = i\}\) with probability \(\pi _{ij}^N\) and perform:
$$\begin{aligned} \left\{ \begin{array}{l} (x_i,x_j) \hbox { remains unchanged, } \\ (v_i,v_j) \hbox { is changed into } (v_j,v_j). \end{array} \right. \end{aligned}$$
Remark 1
It is a priori unclear that the dynamics will be non-trivial in the limit \(N \rightarrow \infty \) for a rate of the Poisson process equal to N. This will appear clearly in the section dealing with the passage to the limit \(N \rightarrow \infty \) (see Sect. 4).
Since the rank of j with respect to i is an intrinsic property of the positions of the pair of particles and does not depend on how they are numbered, we have the following properties of the rank:
Remark 2
Let \((x_1, \ldots , x_N)\) be a set on N particles.
-
(i)
The rank \(r^N(i,j)\), and hence \(\pi _{ij}^N\), is a function of \((x_1, \ldots , x_N)\), i.e.
$$\begin{aligned} r^N(i,j) = r^N(i,j)(x_1, \ldots , x_N). \end{aligned}$$More precisely, we consider the rank \(r^N(i,j)\) as a function of \(L^\infty ({\mathbb R^{nN}})\).
-
(ii)
The rank is permutation invariant, i.e. for any permutation \(\sigma \in \mathfrak {S}_N\) where \(\mathfrak {S}_N\) denotes the set of permutations of \(\{1,\ldots ,N\}\), we have
$$\begin{aligned} r^N(\sigma (i), \sigma (j))\big (x_{\sigma (1)}, \ldots , x_{\sigma (N)}\big ) = r^N(i,j)(x_1, \ldots , x_N). \end{aligned}$$
The aim of this article is to study the limit of this dynamics when the number of particles goes to \(\infty \). To do so we will assume that the propagation of chaos property holds true i.e.
Assuming that \(f^{(1)}_N \rightarrow f\) and \(\rho ^{(1)}_N:=\int f^{(1)}_N\;\mathrm{d}v\rightarrow \rho = \int f \;\mathrm{d}v\), then in the limit \(N \rightarrow \infty \), we will prove that f is a solution of the kinetic equation:
where \(M_\rho \) is the partial mass of \(\rho \) and is defined by
and where \(B(x,s) = \{ y \in {\mathbb R}^n \, | \, |y-x| \le s \}\) is the ball centred at x and of radius \(s>0\).
Remark 3
The conservation of mass property holds true by Lemma 5 applied to \(H=K\).
In the following section, we derive the master equation for this process, Sect. 3.1, and the first marginal equation for indistinguishable particles, Sect. 3.2. Then, in Sect. 3.3, we derive the master equation under the assumption of propagation of chaos.
3 Master Equation and Propagation of Chaos
3.1 Master Equation
To simplify the notation, when no confusion is possible, we will denote \(\mathbf{x}:=(x_1,\ldots ,x_N)\), \(\mathbf{v}:=(v_1,\ldots ,v_N)\), \(Z_i:=(x_i,v_i)\), \(\mathbf{Z}:=(Z_1,\ldots ,Z_N)\) and \(\;\mathrm{d}\mathbf{Z}:=\;\mathrm{d}x_1 \;\mathrm{d}v_1\ldots \;\mathrm{d}x_N \;\mathrm{d}v_N\).
As the collisions occur at Poisson times with rate N, the master equation in weak form is, for all test function \(\phi ^N:\mathbf{Z}\mapsto \phi ^N(\mathbf{Z})\):
By exchanging the notations \(v_i\) and \(v'_i\) we obtain the following master equation in the strong form:
where the operator L is defined by
We now state a property which will be needed in the remainder of this article, namely that if \(f^{(N)}(t)\) is permutation invariant at time \(t=0\) then it stays permutation invariant for all times.
Lemma 1
(Invariance under permutation) Define for all \(\sigma \in \mathfrak {S}_N\),
Then we have:
As a consequence, if \(f^{(N)}(t)\) is permutation invariant at time \(t=0\), i.e. \(\sigma f^{(N)}(t)|_{t=0} = f^{(N)}(t)|_{t=0}\) for all \(\sigma \in \mathfrak {S}_N\), then it is permutation invariant for all times.
Proof
To emphasise the dependence in \(\mathbf{Z}\), we can rewrite the operator L as:
with \(\mathbf {\mathbf{x}}(\mathbf{Z})= \mathbf{x}\), \( V_i(\mathbf{Z}) = v_i\) and
First note that, setting \(\sigma \mathbf{Z}= \big (Z_{\sigma (1)}, \ldots , Z_{\sigma (N)} \big )\), we have
Therefore by applying the \(\sigma ^{-1}\) permutation to the double sum and using the permutation invariance of the rank, see Lemma 2 (ii), we obtain
The above property states that \(\sigma ^{-1} L \sigma = L\), for all \(\sigma \in \mathfrak {S}_N\). Supposing that L is a bounded operator, we deduce that \(\sigma ^{-1} L^k \sigma = L^k\), for all \(k \in {\mathbb N}\) and consequently \(\sigma ^{-1} e^L \sigma = e^L\). Now, the solution of the problem \(\partial _t f^{(N)} = NLf^{(N)}\) with \(f^{(N)}|_{t=0} = f^{(N)}_0\) can be written \(f^{(N)}(t) = e^{NLt} f^{(N)}_0\). We deduce that \(\sigma f^{(N)}(t) = e^{NLt} \sigma f^{(N)}_0\). Therefore, if \(\sigma f^{(N)}_0= f^{(N)}_0\), then \(\sigma f^{(N)}(t)= f^{(N)}(t)\), for all \(t \ge 0\). If L is not bounded, the same property remains true thanks to an approximation argument. \(\square \)
3.2 First Marginal Equation for Indistinguishable Particles
In the remainder of this article, we will suppose that \(f^{(N)}\) is invariant under permutations which physically means that the particles are indistinguishable. This allows us to define the k-particle marginal as
and \(f^{(k)}_N\) is still invariant under permutations of \((Z_1, \ldots , Z_k)\).
Proposition 1
(First marginal equation for indistinguishable particles) Assume (A1). For any test functions satisfying
we have
Remark 4
Since \(\pi _{ij}^N = K^N ( r^N(i,j))\) and \( K^N (r) = {K(r)}/{\sum K ( {k}/{(N-1)} )} \), \(\pi _{ij}^N\) is of order 1 / N. Hence the first three terms are of order 1 while the last two ones are of order N. Section 4 will be devoted to the study of these terms and to the proof that the difference of the last two terms is of the same order as the first three ones.
Proof
Separating the cases \(i=1\ne j\), \(j=1\ne i\), and \(i\ge 2\), \(j\ge 2\), the master equation (1) gives
with
To compute the first term \(A_{j}^{(1)}\), we perform the change of variables \(Z'_2 = Z_j\) and \(Z'_j = Z_2\), which leads to:
Using the permutation invariance of the rank (see Lemma 2 (ii)), we have
Therefore, dropping the primes and using the permutation invariance of \(f^{(N)}\), we obtain
which does not depend on j.
Similarly, we have
so that, using the permutation invariance of the rank, see Lemma 2 (ii), and the permutation invariance of \(f^{(N)}\) as previously, we obtain
which does not depend on i.
Also, we have with \(i \ge 2\), \(j \ge 2\) and \(i \not = j\):
Then using the permutation invariance of the rank, see Lemma 2 (ii), and the permutation invariance of \(f^{(N)}\) as previously, we obtain
For the last term of (3) we obviously have
Collecting all these identities, we obtain the identity stated in Proposition 1. \(\square \)
3.3 Propagation of Chaos
Assume now that the propagation of chaos property holds true i.e.
and define:
We remark that \(\rho ^{(1)}_N\) is a probability density.
We have the following proposition:
Proposition 2
(First marginal equation with propagation of chaos) Assume (A2). For any test functions satisfying (2), we have
with
where \(S^N(K) \) is given by
We note that \(S^N(K) \) is the Riemann sum approximation of \(\int _0^1 K(r) \;\mathrm{d}r\). Since we assume \(\int _0^1 K(r) \;\mathrm{d}r = 1\), \(S^N(K)\) converges to 1 as N goes to \(\infty \). Hence \((A^N)\) and \((B^N)\) are of order 1, while \((C^N)\) and \((D^N)\) are of order N. In the next section we will prove that the difference \((C^N) + (D^N)\) is actually of order 1.
Proof
This result is a direct consequence of Proposition 1, integrating in v when possible. We then use that
to obtain the stated result. \(\square \)
4 Limit Equation
For a density \(\rho \), define the partial mass of \(\rho \) centred in x and of radius s by:
We now state the main theorem of this article:
Theorem 1
(Limit equation) Assume (2). If
then, in the limit \(N \rightarrow \infty \), for all test functions \(\phi \) we have:
or, in strong form:
This result will be obtained by passing to the limit when \(N \rightarrow \infty \) in (4). To pass to the limit in the transport term of (4) is classical and we refer the reader to classical textbooks on the subject. We divide the proof of this theorem in two sections. Section 4.1 is dedicated to the analysis of the terms \((A^N)\) and \((B^N)\) of (4). We prove that in the limit these two terms are of order 1 and can be expressed by means of the partial mass (see Proposition 4). The proofs rely on a combinatorial interpretation of the rank and on the fact that the integrals can be seen as the expectation of a suitable random variable (see Lemma 2). In Sect. 4.2 we use the same idea of interpreting the integrals occurring in the expression of \((C^N)\) as the expectation of a suitable random variable: the integral is dealt with in Lemma 3 and the sum \((C^N)+(D^N)\) will be proved to be of order 1 as stated in Proposition 5.
The main common difficulty while using the expectation interpretation of these terms is to evaluate truncated binomial sums. To handle this computation, the proofs will make an intensive and crucial use of the Bernstein polynomial approximation:
Proposition 3
(Bernstein polynomial approximation, [18]) Let f be a function defined on [0, 1]. The n-th Bernstein polynomial associated with f is defined by
If \(f \in {\mathcal {C}}^2[0,1]\) then
4.1 Evaluation of \((A^N)\) and \((B^N)\)
We first express the integrals involved in \((A^N)\) and \((B^N)\) in terms of the partial mass and determine the leading order behaviour of these quantities when N is large:
Proposition 4
(Evaluation of \((A^N)\) and \((B^N)\)) Under the assumptions of Theorem 1, we have for large N
and
To prove this result we first interpret the integrals involved in \((A^N)\) and \((B^N)\) as expectations of suitable random variables. We first state the
Lemma 2
Under the assumptions of Theorem 1, we have for N large,
and
Proof
We first give a combinatorial interpretation of the rank and then use it to interpret the various expressions involved in the statement of the Lemma as expectations over suitably chosen random variables.
\(\bullet \) Let us fix \(x_1\) and \(x_2\). The rank \(r^N(1,2)\) is equal to the number of points \(x_3, \ldots , x_N\) belonging to the ball \(B = B(x_1,|x_2-x_1|) = \{ x \, : \, |x-x_1| \le |x_2-x_1| \}\) plus one unit, scaled by the factor \(N-1\), i.e.
Denote \(P_R\) be the probability such that \(R^N(1,2) = R\) where \(R^N(1,2) = (N-1) \,r^N(1,2) \). To have \(R^N (1,2)= R\), we have to choose \(R-1\) particles amongst \(N-2\) to lie in B. The probability that one of the \(R-1\) particles belongs to B is equal to
while the probability that one of the \(N-2 - (R-1)\) remaining particles lies in \({\mathbb R}^n \setminus B\) is \(1-p\). Therefore,
\(\bullet \) Now, \(x_1\) and \(x_2\) being fixed, the quantity
can be interpreted as the expectation of \(K(r^N(1,2))\) when \(N-2\) points \(x_3, \ldots , x_N\) are drawn according to independent identically distributed probabilities with density \(\rho ^{(1)}_N (x) \;\mathrm{d}x\). It will be denoted \({\mathbb E} \{ K(r^N(1,2)(\mathbf{x})) \}\).
By (5), we compute
with \(M = N-2\). Since, for N large, \(K\left( {(R+1)}/{(M+1)} \right) = K\left( {R}/{M} \right) +o(1)\) (remarking that \(R/M \le 1\)),
Using Bernstein’s approximation, Proposition 3, we obtain
Which is the first statement.
\(\bullet \) The identity
is obtained in an analogous way by exchanging the role of 1 and 2. We then have to integrate by \(\rho ^{(1)}_N (x_2) \;\mathrm{d}x_2\) to obtain the stated result.\(\square \)
Proof of Proposition 4
Inserting the expressions of Lemma 2 in \((A^N)\) and \((B^N)\) we readily obtain the stated result. \(\square \)
4.2 Evaluation of \((C^N) + (D^N)\)
Similarly to the previous section, the aim of this section is to determine the leading order behaviour of \((C^N) + (D^N)\) when N is large:
Proposition 5
(Evaluation of \((C^N) + (D^N)\)) Under the assumptions of Theorem 1, we have
Like in the previous section, the first step of the proof consists of interpreting some of the integrals involved in \((C^N)\) as an expectation over a suitable random variable (see Lemma 3) and then the remaining integral (see Lemma 4). The proof of Proposition 5 will then just be a collection of these estimates with terms coming from \(\int K(s)\;\mathrm{d}s\).
Lemma 3
Under the assumptions of Theorem 1, we have for large N
where \(p_{23}=M_{\rho ^{(1)}_N} (x_2, |x_2-x_3|)\) only depends on \(x_2\) and \(x_3\) and
Proof
Similarly to the proof of Lemma 2, we interpret the quantity
as the expectation of \(K\left( r^N(2,3)(\mathbf{x})\right) \) when the \(N-4\) points \(x_4, \ldots , x_N\) are drawn according to independent identically distributed probabilities with density \(\rho ^{(1)}_N (x) \;\mathrm{d}x\). Two cases have to be distinguished:
\(\bullet \) First case: if \(x_1 \in B(x_2,|x_2-x_3|)\) – Like in the proof of Lemma 2 we have
Hence, setting \(p_{23}=M_{\rho ^{(1)}_N} (x_2, |x_2-x_3|)=:p\),
with \(M=N-3\). By expanding K, we have, uniformly with respect to \(R \in \{0,\cdots ,M\}\)
Since \((M-R)/(M+2)=1-M/R + o(1)\) we obtain uniformly with respect to \(R \in \{0,\cdots ,M\}\)
So, we obtain
Using Bernstein’s approximation, Proposition 3, to K and to \(p \mapsto (1-p)K'(p)\) we obtain
\(\bullet \) Second case: if \(x_1 \notin B(x_2,|x_2-x_3|)\) – In this case,
Following the same step as before we compute, with \(p=M_{\rho ^{(1)}_N} (x_2, |x_2-x_3|)\)
which we rewrite
with \(M=N-3\). By expanding K, we have
So, we have
Using Bernstein’s approximation (see Proposition 3), we obtain
\(\bullet \) We obtain the result stated in Lemma 3 by noticing that Expression (7) is equal to the sum of Expression (6) and an extra term \(-K'(p)/N\).
Lemma 4
(Evaluation of \(S^N(K)\times (C^N)/(N-2)\) ) Under the assumptions of Theorem 1, we have
Proof
Using Lemma 3 and separating the cases \(x_1 \in B(x_2,|x_2-x_3|)\) and \(x_1 \not \in B(x_2,|x_2-x_3|)\), we can write
where, writing p for \(p_{23}\), i.e. \(p=M_{\rho ^{(1)}_N} (x_2, |x_2-x_3|)\), we have:
and
\(\bullet \) For the term (1), we first notice that \(x_1 \in B(x_2,|x_2-x_3|)\) is equivalent to saying that \(x_3 \notin B(x_2,|x_1-x_2|)\) so that, for \(p=M_{\rho ^{(1)}_N} (x_2, |x_2-x_3|)\),
By the change of variable stated in Lemma 5 and applied to \(H=K'\), \(\rho =\rho _N^{(1)}\), \(x=x_2\), and \(r= |x_1-x_2|\) we have
Inserting this in (1) we obtain
\(\bullet \) Using again the change of variable result of Lemma 5 together with integration by parts, we compute:
where \(p=M_{\rho ^{(1)}_N} (x_2, |x_2-x_3|)\). From this and Lemma 3, we deduce:
\(\bullet \) Combining the two terms (8) and (9), we obtain the result stated in Lemma 4.
We are now ready to prove Proposition 5
Proof of Proposition 5
The proof is divided in two main steps.
\(\bullet \) We first have
In the second term of this expression, we recognise the approximation of \(\int _0^1K(s)\;\mathrm{d}s\) by the trapezoidal rule. As the trapezoidal rule is second order, it leads to
As a consequence
\(\bullet \) Now collecting the estimate of Corollary 4 and (10) we obtain
And as
we obtain the statement of Proposition 5. \(\square \)
4.3 Proof of Theorem 1
We have to pass to the limit in (4). By Propositions 4 and 5 we have
As N goes to \(\infty \), the second line goes to 0 since \(S^N(K) \) is the Riemann sum approximation of \(\int _0^1 K(r) \;\mathrm{d}r= 1\). The convergence in the other terms is formally obvious and leads to the stated result.
5 Discussion
5.1 Large-Time Behaviour
Consider a function homogeneous in space \((t,x,v) \mapsto G(t,v)\). Since \(\int K=1\), by Lemma 5, we get
Hence any function homogeneous in space \((t,x,v) \mapsto G(t,v)\) is a stationary solution. Moreover, on a periodic spatial domain, we can expect that any solution converges at large-times toward a function of this type. The proof of such a claim is left to future work.
5.2 Discrete Versus Continuous Approach
We can wonder if the large-time and large number of particles limits permute. It does not seem the case. Indeed, the number of distinct velocities decreases when there is a finite number of particles while, as discussed in the previous section, the distribution of velocities remains constant in time in the case of a continuum of particles.
In the case of a finite number of particles the consensus in the direction the particles adopt is longer and longer to obtain, see Figs. 1, 2 and 3.
6 Conclusion
In this paper, we have investigated a system of particles interacting through leader following interactions where the choice of the leader is determined by a topological rule. Under a propagation of chaos assumption, we have shown that the large system size limit is described by a spatially nonlocal kinetic model of Boltzmann type. This result heavily relies on approximation properties of Bernstein polynomials. Obviously, the very simple leader following model considered in this paper offers many directions of complexification leading to biologically or socially more realistic rules. An example could be the introduction of some noise, e.g. the velocity after the interaction would be randomly selected according to a probability law centred around the leader velocity. One could also think of the two particles joining their average velocity up to some noise, in the spirit of [2]. Finally, binary interactions with the closest neighbour could also be investigated.
References
Ballerini, M., Cabibbo, N., Candelier, R., Cavagna, A., Cisbani, E., Giardina, I., Lecomte, V., Orlandi, A., Parisi, G., Procaccini, A., et al.: Interaction ruling animal collective behavior depends on topological rather than metric distance: evidence from a field study. Proc. Natl. Acad. Sci. 105(4), 1232–1237 (2008)
Bertin, E., Droz, M., Grégoire, C.: Boltzmann and hydrodynamic description for self-propelled particles. Phys. Rev. E 74, 022101 (2006)
Bertozzi, A.L., Laurent, T.: Finite-time blow-up of solutions of an aggregation equation in r n. Commun. Math. Phys. 274(3), 717–735 (2007)
Bertozzi, A.L., Carrillo, J.A., Laurent, T.: Blow-up in multidimensional aggregation equations with mildly singular interaction kernels. Nonlinearity 22(3), 683 (2009)
Bode, N.W., Franks, D.W., Wood, A.J.: Limited interactions in flocks: relating model simulations to empirical data. J. R. Soc. Interface 8, 301–304 (2010)
Brenier, Y.: L2 formulation of multidimensional scalar conservation laws. Arch. Ration. Mech. Anal. 193(1), 1–19 (2009)
Camperi, M., Cavagna, A., Giardina, I., Parisi, G., Silvestri, E.: Spatially balanced topological interaction grants optimal cohesion in flocking models. Interface Focus 2(6), 715–725 (2012)
Carlen, E., Chatelin, R., Degond, P., Wennberg, B.: Kinetic hierarchy and propagation of chaos in biological swarm models. Physica D 260, 90–111 (2013)
Carlen, E., Degond, P., Wennberg, B.: Kinetic limits for pair-interaction driven master equations and biological swarm models. Math. Models Methods Appl. Sci. 23(07), 1339–1376 (2013)
Cavagna, A., Giardina, I., Orlandi, A., Parisi, G., Procaccini, A., Viale, M., Zdravkovic, V.: The starflag handbook on collective animal behaviour: 1. Empirical methods. Animal Behav. 76(1), 217–236 (2008)
Cucker, F., Smale, S.: Emergent behavior in flocks. IEEE Trans. Autom. Control 52(5), 852–862 (2007)
Dewsbury, D.A.: Dominance rank, copulatory behavior, and differential reproduction. Q. Rev. Biol. 57, 135–159 (1982)
Ginelli, F., Chaté, H.: Relevance of metric-free interactions in flocking phenomena. Phys. Rev. Lett. 105(16), 168103 (2010)
Harsanyi, J.C.: Cardinal Welfare, Individualistic Ethics, and Interpersonal Comparisons of Utility. Springer, Amsterdam (1976)
Haskovec, J.: Flocking dynamics and mean-field limit in the cucker-smale-type model with topological interactions. Physica D 261, 42–51 (2013)
Horrocks, J., Hunte, W.: Maternal rank and offspring rank in vervet monkeys: an appraisal of the mechanisms of rank acquisition. Animal Behav. 31(3), 772–782 (1983)
Lazear, E.P., Rosen, S.: Rank-order tournaments as optimum labor contracts. J. Political Econ. 89(5), 841–864 (1981)
Lorentz, G.G.: Bernstein Polynomials. American Mathematical Society, London (2012)
Niizato, T., Gunji, Y.P.: Metric-topological interaction model of collective behavior. Ecol. Model. 222(17), 3041–3049 (2011)
Vicsek, T., Czirók, A., Ben-Jacob, E., Cohen, I., Shochet, O.: Novel type of phase transition in a system of self-driven particles. Phys. Rev. Lett. 75(6), 1226 (1995)
Acknowledgments
This work has been supported by the Engineering and Physical Sciences Research Council (EPSRC) under grant ref: EP/M006883/1, by the Agence Nationale pour la Recherche (ANR) under grant MOTIMO (ANR-11-MONU-009-01) and by the National Science Foundation (NSF) under grant RNMS11-07444 (KI-Net). PD is on leave from CNRS, Institut de Mathématiques de Toulouse, France. PD gratefully acknowledges support from the Royal Society and the Wolfson foundation through a Royal Society Wolfson Research Merit Award.
Author information
Authors and Affiliations
Corresponding author
Appendix: Fundamental Lemma
Appendix: Fundamental Lemma
Lemma 5
For any H,
Proof
First note that since
we have
Using the polar change of variables,
we have
Setting \(p=M_\rho (x,s)\), so that \(\;\mathrm{d}p=\frac{\;\mathrm{d}}{\;\mathrm{d}s}M_\rho (x,s) \;\mathrm{d}s\), we obtain the stated result. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Blanchet, A., Degond, P. Topological Interactions in a Boltzmann-Type Framework. J Stat Phys 163, 41–60 (2016). https://doi.org/10.1007/s10955-016-1471-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-016-1471-6