Next Article in Journal
Learning the Kinematics of a Manipulator Based on VQTAM
Next Article in Special Issue
Necessary and Sufficient Conditions for Time Reversal Symmetry in Presence of Magnetic Fields
Previous Article in Journal
A New Method to Support Decision-Making in an Uncertain Environment Based on Normalized Interval-Valued Triangular Fuzzy Numbers and COMET Technique
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Cauchy Problem of Vectorial Thermostatted Kinetic Frameworks

1
Laboratoire Quartz EA 7393, École Supérieure d’Ingénieurs en Génie Électrique, Productique et Management Industriel, 95092 Cergy Pontoise CEDEX, France
2
Laboratoire de Recherche en Eco-Innovation Industrielle et Energétique, École Supérieure d’Ingénieurs en Génie Électrique, Productique et Management Industriel, 95092 Cergy Pontoise CEDEX, France
3
Dipartimento di Matematica e Fisica, Università degli Studi della Campania “L. Vanvitelli”, Viale Lincoln 5, I-81100 Caserta, Italy
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(4), 517; https://doi.org/10.3390/sym12040517
Submission received: 27 February 2020 / Revised: 24 March 2020 / Accepted: 27 March 2020 / Published: 2 April 2020

Abstract

:
This paper is devoted to the derivation and mathematical analysis of new thermostatted kinetic theory frameworks for the modeling of nonequilibrium complex systems composed by particles whose microscopic state includes a vectorial state variable. The mathematical analysis refers to the global existence and uniqueness of the solution of the related Cauchy problem. Specifically, the paper is divided in two parts. In the first part the thermostatted framework with a continuous vectorial variable is proposed and analyzed. The framework consists of a system of partial integro-differential equations with quadratic type nonlinearities. In the second part the thermostatted framework with a discrete vectorial variable is investigated. Real world applications, such as social systems and crowd dynamics, and future research directions are outlined in the paper.

1. Introduction

The mathematical frameworks inferred from nonlinear analysis methods have gained much attention, in particular for real world applications. The main interest has been focused on the modeling of a complex living system, which is composed of a large number of entities, called particles, whose interactions require to be considered in a somehow "holistic" perspective, as they cannot be envisaged as a simple superposition of the interactions between couples of particles, and the functional dependence of multiple interactions on binary ones cannot be assumed linear. On the contrary, it cannot be even conjectured, so that the perturbations produced by surrounding particles make the results of binary interactions not deterministic. The reader interested to a more deeper understanding of the complex system is referred to the books [1,2] and paper [3].
In the inert matter case, Maxwell and Boltzmann have introduced and developed the statistical picture of systems made of a large number of particles, and the kinetic theory of gases [4]. However, it has become ever more apparent that their viewpoint could be exported to almost all the problems, from both hard and soft sciences, including the active matter which involves systems of objects/particles/individuals able to express a strategy, see [5] and the references cited therein. Recently, the mathematical framework of the thermostatted kinetic theory has been proposed in [6,7] for the modeling of nonequilibrium complex living systems, namely systems subjected to external force fields. According to this theory, the complex living system is divided into different particle subsystems consisting of particles expressing the same function or strategy. The strategy is modeled by introducing a scalar real variable, called activity variable, and consequently the microscopic state of the particles includes, but is not limited to, the activity variable. The evolution of each functional subsystem is depicted by a distribution function defined on the microscopic state of the particles. The particle evolution is driven by interactions which are particle-conservative (changing into the magnitude of the activity variable) and nonconservative (proliferation and mutation). A thermostat term is introduced in order to control the activity energy of the system and to allow the reaching of nonequilibrium stationary states [8,9,10,11,12]. Depending on the structure of the activity variable, continuous and discrete activity thermostatted frameworks have been derived. In particular, the continuous thermostatted framework consists into a system of partial integro-differential equations with quadratic type nonlinearities. On the other hand, the discrete thermostatted framework is a system of nonlinear ordinary differential equations. It is worth stressing that changing in the activity variable are modelled by employing the stochastic game theory [13]. The reader interested in recent applications to biology and pedestrian dynamics is referred to papers [14,15,16].
The above described thermostatted kinetic theory method is based on the main assumption that the evolution of each functional subsystem composing the complex system depends on a strategy only. On one hand this assumption simplifies the theory, at least from the viewpoint of its formal development; on the other hand the assumption seems to restrict its application to a rather small number of particular cases, which do not capture a sufficient number of relevant aspects of real phenomena. Indeed for a complex living system, the particles composing a functional subsystem can be able to express simultaneously different functions, for instance this is the case of social-economical systems where the behavior of agents depends not only on their own wealth, but also on their predisposition to be "criminals" in terms of evading taxes. Accordingly, the introduction in the particle microscopic state of several variables modeling different functions is required (vectorial structure). A first attempt has been proposed in [17,18] for the modeling of human feelings.
The present paper is devoted to the derivation of thermostatted kinetic frameworks with a vectorial activity structure. Specifically, the paper is divided in two parts: In the first part the thermostatted framework with a continuous vectorial variable is proposed and analyzed. The framework consists of a system of partial integro-differential equations with quadratic nonlinearities. In the second part, the thermostatted framework with a discrete vectorial variable is investigated. The mathematical analysis refers to the global existence and uniqueness of the solution of the related Cauchy problem and is gained by employing methods of nonlinear analysis and fixed-point arguments. To the best of our knowledge, this is the first time that a vectorial activity variable is proposed for a thermostatted framework. It is worth stressing that the introduction of a vector activity variable can complicate, especially, the numerical analysis as it increases the already great number of parameters but allows to obtain a faithful description of reality.
The contents of the present paper are organized into five more sections which follow this introduction. In detail, Section 2 is devoted to the fundamentals of the scalar thermostatted kinetic theory framework where the activity is assumed to be a scalar real variable. Section 3 deals with the generalization of the kinetic equation to the case of a vectorial activity variable and for a complex system at equilibrium. The related Cauchy problem is analyzed and the existence and uniqueness of the solution is proven by employing fixed-point arguments. In Section 4, the vectorial thermostatted framework is proposed for the modeling of nonequilibrium complex systems and the related Cauchy problem is investigated. The vectorial thermostatted framework in the case of a vectorial discrete activity variable is proposed and analyzed in Section 5. Finally, Section 6 concludes the paper with a references to application and future research directions.

2. The Scalar Thermostatted Kinetic Theory Framework

This section deals with the main elements of the thermostatted kinetic theory methods. Specifically, let C be a complex system composed of n functional subsystems, each of them characterized by particles which share the same strategy (active particles). The system C is assumed to be homogeneous with respect to the mechanical variables, i.e., space and velocity. Accordingly, the microscopic state of the particles is described by a scalar variable u D u R , called activity variable, which models the particle strategy. The overall state of the ith functional subsystem, for i { 1 , 2 , , n } , at the time t is described by the distribution function f i = f i ( t , u ) : [ 0 , + [ × D u R + . Accordingly f i ( t , u ) d u represents the number of active particles whose microscopic state at the time t belongs to the elementary volume [ u , u + d u ] . The overall state of the complex system C is described by the distribution function vector f ( t , u ) = f 1 ( t , u ) , f 2 ( t , u ) , , f n ( t , u ) . The computation of moments of f i ( t , u ) allows the definition of the local and global macroscopic quantities. Specifically, the global pth-order moment reads:
E p [ f ] ( t ) = i = 1 n D u u p f i ( t , u ) d u , p N .
The microscopic state of a particle of C evolves due to the conservative interactions among the particles. Specifically: A particle of the ith functional subsystem with microscopic state u * interacts with the particle u * of the jth functional subsystem and acquires, in probability, the state u of the particle of the ith functional subsystem. The evolution equation of the ith functional subsystem is obtained by balancing the inlet/outlet flux into the elementary volume of the microscopic states. Accordingly:
t f i ( t , u ) = J i [ f ] ( t , u ) = G i [ f ] ( t , u ) L i [ f ] ( t , u ) ,
where J i [ f ] is the operator which models the conservative interactions. In particular, G i [ f ] denotes the following gain-term operator, while L i [ f ] denotes the following loss-term operator:
G i [ f ] = j = 1 n D u η i j ( u * , u * ) A i j u * , u * , u f i ( t , u * ) f j ( t , u * ) d u * d u * ,
L i [ f ] = f i ( t , u ) j = 1 n D u η i j ( u , u * ) f j ( t , u * ) d u * ,
where:
  • η i j ( u * , u * ) : D u × D u R + denotes the interaction rate between the active particle u * of the ith functional subsystem and the active particle u * of the jth functional subsystem;
  • A i j u * , u * , u : D u × D u × D u R + is the probability density that the particle of the ith functional subsystem with state u * falls into the state u after an interaction with the particle u * of the jth functional subsystem.
The framework (1) thus consists of a system of n partial-integro-differential equations.
Remark 1.
The probability density A i j satisfies the following relation which ensures the conservation of the total number of particles:
D u A i j u * , u * , u d u = 1 u * , u * D u .
Assume that an external force field F ( u ) : D u R n acts on the system C . In order to reach a non-equilibrium stationary state, the overall system is constrained to keep constant the global activation energy:
E 2 [ f ] ( t ) = D u u 2 f ˜ ( t , u ) d u ,
where
f ˜ ( t , u ) = i = 1 n f i ( t , u ) .
A gaussian-like thermostat has been proposed in order to ensure the conservation of the energy, see [6,11,16] and the references therein. If F i ( u ) = F , for i { 1 , 2 , , n } , the thermostatted kinetic equation for the ith functional subsystem reads:
t f i ( t , u ) + u F 1 u D u u f ˜ ( t . u ) d u f i = J i [ f ] ( t , u ) .
In a compact way, Equation (5) can be rewritten as follows:
t f ( t , u ) + F u 1 u E 1 [ f ] ( t ) f ( t , u ) = J [ f ] ( t , u ) ,
where J [ f ] ( t , u ) = G [ f ] ( t , u ) L [ f ] ( t , u ) .

3. A Vector Activity Kinetic Framework

This section is devoted to an important generalization of the mathematical framework (5). Specifically, the microscopic state of the active particle is now composed by a vector activity variable u = ( u 1 , u 2 , , u m ) , where u j D u j R , for j { 1 , 2 , , m } . Let f i ( t , u ) be the distribution function of the ith functional subsystem and f ( t , u ) = f 1 ( t , u ) , f 2 ( t , u ) , , f n ( t , u ) ) the distribution function vector. The local density is defined as follows:
E 0 [ f i ] ( t ) = D u f i ( t , u ) d u ,
and the global density is:
E 0 [ f ] ( t ) = i = 1 n D u f i ( t , u ) d u .
The evolution equation of the ith functional subsystem now reads:
t f i ( t , u ) = J i [ f ] ( t , u ) = G i [ f ] ( t , u ) L i [ f ] ( t , u )
where G i [ f ] (gain-term operator) and L i [ f ] (loss-term operator) now write:
G i [ f ] = h = 1 m j = 1 n D u × D u η i j ( ( u * ) h , ( u * ) h ) A i j ( u * ) h , ( u * ) h , u f i ( t , ( u * ) h ) f j ( t , ( u * ) h ) d ( u * ) h d ( u * ) h ,
L i [ f ] = f i ( t , u ) h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j ( t , ( u * ) h ) d ( u * ) h ,
where A i j ( u * ) h , ( u * ) h , u , for i , j { 1 , 2 , , n } and h { 1 , 2 , , m } , now denotes the probability density function that the particle of the ith functional subsystem with state ( u * ) h = ( u * ) 1 , ( u * ) 2 , , ( u * ) h , , ( u * ) m acquires the state u after interacting with the particle ( u * ) h = ( u * ) 1 , ( u * ) 2 , , ( u * ) h , ( u * ) m of the jth functional subsystem.

The Cauchy Problem

Let D u = D u 1 × D u 2 × × D u m , the vectorial Cauchy problem related to the kinetic theory framework (9) reads:
t f ( t , u ) = J [ f ] ( t , u ) ( t , u ) [ 0 , + [ × D u f ( 0 , u ) = f 0 ( u ) u D u
where f 0 ( u ) = f 1 0 ( u ) , f 2 0 ( u ) , , f n 0 ( u ) : D u R + n denotes the initial data function.
The Cauchy problem (12) is analyzed under the following assumptions:
H1. 
The interaction rate η i j is a bounded function of its arguments, namely there exists η > 0 such that η i j η ;
H2. 
Let h { 1 , 2 , , m } , the transition probability function A i j 0 is such that:
D u A i j ( u * ) h , ( u * ) h , u d u = 1 ( u * ) h , ( u * ) h D u .
Remark 2.
The assumptionH2ensures that the framework (9) is conservative, namely E 0 [ f i ] ( t ) , for i { 1 , 2 , , n } , is constant. In particular, it is assumed that E 0 [ f i ] = 1 .
Let i { 1 , 2 , , n } . The integral Volterra formulation of (12) is:
f i ( t , u ) = 0 t ( h = 1 m j = 1 n D u × D u η i j ( ( u * ) h , ( u * ) h ) A i j ( u * ) h , ( u * ) h , u × f i ( τ , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ 0 t f i ( τ , u ) h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d τ + f i 0 ( u ) .
Definition 1.
Let f ( t , u ) : [ 0 , + [ × D u R + . The set E 0 D u is defined as follows:
E 0 D u = f ( t , u ) C [ 0 , + [ ; L 1 D u : E 0 [ f ] ( t ) = 1 .
Theorem 1.
Assume thatH1andH2hold true. If f i 0 ( u ) E 0 D u , for i { 1 , 2 , , n } , then there exists a unique function f i t , u E 0 D u , for i { 1 , 2 , , n } , which is solution of the Cauchy problem (12).
Proof. 
Using Equations (10) and (11), (9) becomes:
t f i ( t , u ) + P i [ f ] f i ( t , u ) = G i [ f ] ,
where
P i [ f ] = h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j ( t , ( u * ) h ) d ( u * ) h .
Setting
γ u ( t ) = 0 t P i [ f ] ( s , u ) d s ,
if there exists a solution of the Cauchy problem (12) then (15) becomes:
f i ( t , u ) = f i 0 ( u ) exp γ u ( t ) + 0 t exp γ u ( s ) G i [ f ] ( s , u ) d s .
Accordingly f i , for i { 1 , 2 , , n } , is a non negative function.
Let T > 0 and T f = T 1 [ f 1 ] , T 2 [ f 2 ] , , T n [ f n ] the following operator:
T i f i ( t , u ) = 0 t ( h = 1 m j = 1 n D u × D u η i j ( ( u * ) h , ( u * ) h ) A i j ( u * ) h , ( u * ) h , u × f i ( τ , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ 0 t f i ( τ , u ) h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d τ + f i 0 ( u ) .
The main step is to prove that the operator T [ f ] ( t , u ) is a contraction in the Banach space C [ 0 , T ] ; L 1 D u n .
Let f C [ 0 , T ] ; L 1 D u n , by assumption H 1 one has:
T i [ f i ] L 1 D u = D u | 0 t ( h = 1 m j = 1 n D u × D u η i j ( ( u * ) h , ( u * ) h ) A i j ( u * ) h , ( u * ) h , u   × f i ( τ , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ   0 t f i ( τ , u ) h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d τ + f i 0 ( u ) | d u   η D u [ 0 t h = 1 m j = 1 n D u × D u A i j f i ( τ , ( u * ) h ) f j ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h   × d τ ] d u + η D u 0 t f i ( τ , u ) h = 1 m j = 1 n D u f j ( τ , ( u * ) h ) d ( u * ) h d τ d u   + D u f i 0 ( u ) d u .
By assumptions H1 and H2 and the fact that f i 0 ( u ) L 1 D u , i { 1 , 2 , , n } , and E 0 [ f i ] = 1 , Equation (17) becomes:
T i [ f i ] L 1 D u η 0 t h = 1 m ( j = 1 n D u × D u f i ( τ , ( ( u * ) h ) ) f j ( τ , ( u * ) h )     × D u A i j ( u * ) h , ( u * ) h , u d u d ( u * ) h d ( u * ) h ) d τ     + η 0 t f i ( τ , u ) h = 1 m j = 1 n D u f j ( τ , ( u * ) h ) d ( u * ) h d τ d u     + D u f i 0 ( u ) d u     η 0 t D u f i ( τ , ( ( u * ) h ) ) d ( u * ) h     × j = 1 n h = 1 m D u f j ( τ , ( u * ) h ) d ( u * ) h d τ     + η m n 0 t D u f i ( τ , u ) d u d τ + f i 0 L 1 ( D u )     2 η m n 0 T f i ( t , u ) L 1 ( D u ) d t + 1 .
Then, by using Equation (18), one has:
T f C [ 0 , T ] ; L 1 D u n = max i { 1 , 2 , , n } max t [ 0 , T ] T i [ f i ] L 1 ( D u ) 2 η m n T + 1 .
T is thus an operator of C [ 0 , T ] ; L 1 D u n into itself.
Let f 1 , f 2 C [ 0 , T ] ; L 1 D u n such that f i 1 ( t , u ) , f i 2 ( t , u ) C [ 0 , T ] ; L 1 D u , for i { 1 , 2 , , n } . Bearing the expression (16) of the operator T in mind and the fact that E 0 [ f i ] = 1 , by straightforward calculations one has:
T i [ f i 1 ]   T i [ f i 2 ] L 1 D u = D u | 0 t ( h = 1 m j = 1 n D u × D u η i j ( ( u * ) h , ( u * ) h ) A i j ( u * ) h , ( u * ) h , u f i 1 ( τ , ( u * ) h ) f j 1 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ 0 t f i 1 ( τ , u ) h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j 1 ( τ , ( u * ) h ) d ( u * ) h d τ + f i 0 ( u ) 0 t ( h = 1 m j = 1 n D u × D u η i j ( ( u * ) h , ( u * ) h ) A i j ( u * ) h , ( u * ) h , u × f i 2 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ + 0 t f i 2 ( τ , u ) × h = 1 m j = 1 n D u η i j ( u , ( u * ) h ) f j 2 ( τ , ( u * ) h ) d ( u * ) h d τ f i 0 ( u ) | d u η D u | 0 t h = 1 m j = 1 n ( D u × D u A i j ( u * ) h , ( u * ) h , u × f i 1 ( τ , ( u * ) h ) f j 1 ( τ , ( u * ) h ) f i 2 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ | d u + η D u | 0 t f i 1 ( τ , u ) h = 1 m j = 1 n D u f j 1 ( τ , ( u * ) h ) d ( u * ) h f i 2 ( τ , u ) h = 1 m j = 1 n D u f j 2 ( τ , ( u * ) h ) d ( u * ) h d τ | d u .
By using the triangular inequality, (20) is:
T i [ f i 1 ] T i [ f i 2 ] L 1 D u   η D u | 0 t h = 1 m j = 1 n ( D u × D u A i j ( u * ) h , ( u * ) h , u ( f i 1 ( τ , ( u * ) h )   × f j 1 ( τ , ( u * ) h ) f i 1 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) + f i 1 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h )   f i 2 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) ) d ( u * ) h d ( u * ) h ) d τ | d u   + η m n 0 T D u f i 1 ( t , u ) f i 2 ( t , u ) d u d t   η D u | 0 t h = 1 m j = 1 n ( D u × D u A i j ( u * ) h , ( u * ) h , u f i 1 ( τ , ( u * ) h )   × f j 1 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ | d u   + η D u | 0 t h = 1 m j = 1 n ( D u × D u A i j ( u * ) h , ( u * ) h , u f j 2 ( τ , ( u * ) h )   × f i 1 ( τ , ( u * ) h ) f i 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ | d u   + η m n 0 T D u f i 1 ( t , u ) f i 2 ( t , u ) d u d t .
By assumption H2 and the fact that E 0 [ f i ] = 1 , for i { 1 , 2 , , n } , for the first term of (21) one has:
D u   | 0 t h = 1 m j = 1 n ( D u × D u A i j ( u * ) h , ( u * ) h , u f i 1 ( τ , ( u * ) h ) × f j 1 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ | d u = D u | 0 t ( D u × D u A i j ( u * ) h , ( u * ) h , u f i 1 ( τ , ( u * ) h ) × h = 1 m j = 1 n f j 1 ( τ , ( u * ) h ) f j 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ | d u 0 t | D u f i 1 ( τ , ( u * ) h ) d ( u * ) h × [ h = 1 m j = 1 n D u f j 1 ( τ , ( u * ) h ) d ( u * ) h h = 1 m j = 1 n D u f j 2 ( τ , ( u * ) h ) d ( u * ) h ] | d τ 0 .
Then by (22), the relation (21) becomes:
T i [ f i 1 ] T i [ f i 2 ] L 1 D u   η D u | 0 t h = 1 m j = 1 n ( D u × D u A i j ( u * ) h , ( u * ) h , u f j 2 ( τ , ( u * ) h )   × f i 1 ( τ , ( u * ) h ) f i 2 ( τ , ( u * ) h ) d ( u * ) h d ( u * ) h ) d τ | d u   + η m n 0 T D u f i 1 ( t , u ) f i 2 ( t , u ) d u d t   η 0 t ( h = 1 m j = 1 n D u f j 2 ( τ , ( u * ) h ) d ( u * ) h   × D u f i 1 ( τ , ( u * ) h ) f i 2 ( τ , ( u * ) h ) ) d ( u * ) h d τ   + η m n 0 T D u f i 1 ( t , u ) f i 2 ( t , u ) d u d t   2 η m n 0 T D u f i 1 ( t , u ) f i 2 ( t , u ) d u d t .
Bearing all of the above in mind, one has:
T [ f 1 ] T [ f 2 ] C [ 0 , T ] ; L 1 D u n = max i { 1 , 2 , , n } max t [ 0 , T ] D u T i [ f i 1 ] T i [ f i 2 ] d u max i { 1 , 2 , , n } max t [ 0 , T ] 2 η n m 0 T D u f i 1 ( t , u ) f i 2 ( t , u ) d u d t 2 η m n T f 1 f 2 C [ 0 , T ] ; L 1 D u n .
Thus, the operator T is a contraction for T < 1 2 η m n . The local existence and uniqueness of a non negative solution of problem (12) is proved by a Banach fixed-point theorem, see ([19] Chapter 1).
The local solution of the Cauchy problem (12) can be extended, by prolongation, for all T [ 0 , + [ , see ([20] Chapter 2). □

4. A Vector Activity Thermostatted Kinetic Framework

This section is devoted to the derivation of a thermostatted kinetic theory framework in the case of a vector activity variable u = ( u 1 , u 2 , , u m ) D u = D u 1 × D u 2 × × D u m . The system is composed by n functional subsystems and subjected to an external force field F u : D u R + n , such that F i ( u ) is the ith component of the external force field acting on the ith function subsystem. In what follows F is assumed constant, i.e., F i ( u ) = F , for all i { 1 , 2 , , n } . The thermostatted kinetic framework reads:
t f i ( t , u ) + j = 1 m u j F f i ( t , u ) α u j f i ( t , u ) = J i [ f ] ( t , u ) ,
where α , called the thermostat term, is obtained by conservation of the following moment (global activation energy):
E 2 [ f ] ( t ) : = i = 1 n h = 1 m D u u h 2 f i ( t , u ) d u .
The conservation of (26) implies that:
d E 2 [ f ] d t ( t ) = 0 ,
and then:
i = 1 n h = 1 m D u u h 2 f i t ( t , u ) d u = 0 .
The following assumption is added.
H3. 
Let h { 1 , 2 , , m } , it is assumed that:
D u u h 2 A i j ( u * ) h , ( u * ) h , u du = ( u * ) h 2 , ( u * ) h ( u * ) h D u .
Multiplying Equation (25) for u h 2 , integrating on D u and summing on i { 1 , 2 , , n } and h { 1 , 2 , , m } , using (28) and the following consequence of the assumption H3:
D u u h 2 J i [ f ] ( t , u ) d u = 0 , h { 1 , 2 , , m } , i { 1 , 2 , , n } ,
one has (integrating by parts):
h = 1 m i = 1 n D u F u h f i ( t , u ) α u h 2 f i ( t , u ) d u = 0 .
Without loss of generality E 2 [ f ] ( t ) = 1 is assumed. Defining E 1 [ f ] ( t ) : = E 1 , 1 , , 1 [ f ] ( t ) , straightforward calculations show:
α = h = 1 m i = 1 n D u u h F f i ( t , u ) d u = F j = 1 m i = 1 n D u u h f i ( t , u ) d u = F E 1 [ f ] ( t ) ,
where
E 1 [ f ] ( t ) = j = 1 m i = 1 n D u u h f i ( t , u ) d u .
Bearing all of the above in mind, the thermostatted kinetic framework for the functional subsystem f i ( t , u ) , for i { 1 , 2 , , n } , reads:
t f i ( t , u ) + j = 1 m u j F 1 u j E 1 [ f ] ( t ) f i ( t , u ) = J i [ f ] ( t , u ) .

The Cauchy Problem

The vectorial Cauchy problem for the vector activity thermostatted framework (29) reads:
t f ( t , u ) + F · u 1 u E 1 [ f ] ( t ) f ( t , u ) = J [ f ] ( t , u ) ( t , u ) [ 0 , + [ × D u f ( 0 , u ) = f 0 ( u ) u D u
where f 0 ( u ) is the initial data function.
Definition 2.
Let f ( t , u ) = f 1 ( t , u ) , f 2 ( t , u ) , , f n ( t , u ) R n , then one defines the following set:
K ( D u ) = f ( t , u ) : [ 0 , + [ × D u R + n : E 0 [ f ] ( t ) = E 2 [ f ] ( t ) = 1 .
The existence and uniqueness theorem for the Cauchy problem (30) is obtained by a generalization of the method employed in [6].
Theorem 2.
Assume thatH1,H2andH3hold true. If F is constant and f 0 L 1 ( D u ) n K D u , then there exists a unique function f C [ 0 , + [ ; L 1 D u n K D u which is solution of the Cauchy problem (30).
Proof. 
Let f be a solution of the Cauchy problem (30) and
E 1 + = η + η 2 + 4 m F 2 2 F ,
E 1 = η η 2 + 4 m F 2 2 F ,
E 1 0 = E 1 [ f ] ( 0 ) = E 1 [ f 0 ] = j = 1 m i = 1 n D u u j f i 0 ( u ) d u .
Using the same arguments of Theorem 2.3 of [6], one has:
E 1 [ f ] ( t ) = E 1 + E 1 E 1 0 E 1 E 1 + E 1 0 e η 2 + 4 m F 2 F t E 1 E 1 0 E 1 + E 1 0 e η 2 + 4 m F 2 F t .
The right hand side of (32) is denoted by E ¯ 1 [ f ] ( t ) .
The Cauchy problem (30) can be written as follows:
t f i ( t , u ) + j = 1 m F u j 1 u j E ¯ 1 [ f ] ( t ) f i ( t , u ) = J i [ f ] ( t , u ) ,
and by straightforward calculations, one has:
t f i ( t , u ) + j = 1 m F 1 u j E ¯ 1 [ f ] ( t ) u j f i ( t , u ) + η m F E ¯ 1 [ f ] ( t ) f i ( t , u ) = G i [ f ] ( t , u ) .
Let U j ( t , u j ) , j { 1 , 2 , , m } , the following characteristic curve:
U j ( t , u j ) = φ ( u j ) = u j e λ ( t ) + F e λ ( t ) 0 t e λ ( s ) d s ,
where
λ ( t ) = F 0 t E ¯ 1 [ f ] ( s ) d s .
The family U = U j j is the collection of characteristic curves along which Equation (33) is integrated and it becomes:
d d t f i U + η m F E ¯ 1 [ f ] ( t ) f i U = G i U [ f ] ,
where
f i U ( t , u ) = f i t , U ( t , u ) ,
and
G i U = G [ f ] t , U ( t , u ) .
The function e λ ( t ) is the Jacobian of the transformation (34); then u j can be seen as function of U j as follows:
u j = φ t 1 U j = U j e λ ( t ) m F 0 t e λ ( s ) d s , j { 1 , 2 , , m } .
Let Λ ( t ) be the following function:
Λ ( t ) = 0 t η m F E ¯ 1 [ f ] ( t ) d s = m η t m λ ( t ) .
Equation (35) can be written as follows:
f i U ( t , u ) = e Λ ( t ) f i U ( 0 , u ) + e Λ ( t ) 0 t e Λ ( τ ) G i U [ f ] ( τ , u ) d τ .
Let
Φ f 0 i [ f ] = e Λ ( t ) f 0 i φ t 1 ( u ) + e Λ ( t ) 0 t e Λ ( t ) G i [ f ] τ , φ τ φ τ 1 ( u ) ,
where
φ t ( u ) = φ t ( u j ) j , φ t 1 ( u ) = φ t 1 ( u j ) j ,
and
φ t φ t 1 ( u ) = φ t φ t 1 ( u j ) .
Equation (35) becomes:
f i ( t , u ) = Φ f i 0 [ f ] ( t , u ) , i { 1 , 2 , , n } .
Bearing all above in mind, using the same arguments of Theorem 2.3 of [6], since E 0 [ f 0 ] = 1 , the following successive approximations sequence
f i ( 1 ) ( t , u ) = 0 f i ( n ) ( t , u ) = Φ f i 0 [ f i ( n 1 ) ] ( t , u ) n > 1
converges to a non negative function f i ( t , · ) in L 1 D u for i { 1 , 2 , , n } , and the limit function f ( t , · ) = f i ( t , · ) i is such that E 0 [ f ] ( t ) = 1 .
Consider now, for all i { 1 , 2 , , n } , the following successive approximations sequence:
g i ( 1 ) ( t , u ) = f 0 i ( u ) g i ( n ) = Φ f i 0 [ g i ( n 1 ) ] ( t , u ) , n > 1
such that E 0 [ g ( n ) ] = E 2 [ g ( n ) ] = 1 .
Then g n K D u n for all n 1 and E 1 [ g ( n ) ] = E ¯ 1 [ f ] ( t ) .
The last sequence converges to the previous function f which is solution of problem (30) in L 1 D u n .
Let f ^ be another solution of problem (30). Since G i and Φ f i 0 are positive operators, one has:
f i ( n ) ( t , u ) f ^ i ( t , u ) , i { 1 , 2 , , n } , n > 1 ,
then by convergence
f i ( t , u ) f ^ i ( t , u ) , i { 1 , 2 , , n } .
The f and f ^ as solutions of problem (30) are such that
E 0 [ f ] ( t ) = E 0 [ f ^ ] ( t ) = 1 ,
it means that
f i ( t , u ) = f ^ i ( t , u ) , i { 1 , 2 , , n } ,
and then f ( t , u ) = f ^ ( t , u ) . □

5. The Vectorial Discrete Thermostatted Kinetic Framework

This section is devoted to the definition and analysis of a vectorial discrete thermostatted kinetic framework. Specifically, let C be a homogeneous complex system with respect to the mechanical variables. The system is assumed to be composed of particles whose microscopic state consists of a vectorial activity variable which can attain a discrete vector value u I = u 1 , u 2 , , u n , where u i = u i 1 , u i 2 , , u i m I i R m , for i { 1 , 2 , , n } .
The overall distribution function of the system is denoted by f ( t ) = f i j ( t ) i , j , where f i j ( t ) : = f ( t , u i j ) , for i { 1 , 2 , , n } and j { 1 , 2 , , m } .
The discrete pth-order moment is:
E p f ( t ) = i = 1 n j = 1 m u i j p f i j ( t ) , p N .
The evolution equation of the ( i , j ) th functional subsystem, for i { 1 , 2 , , n } and j { 1 , 2 , , m } , reads:
d f i j d t ( t ) = J i j [ f ] ( t ) = G i j [ f ] ( t ) L i j [ f ] ( t ) ,
where
G i j [ f ] ( t ) = i 1 = 1 n i 2 = 1 n j 1 = 1 m j 2 = 1 m η i 1 j 1 , i 2 j 2 B i 1 j 1 , i 2 j 2 i j f i 1 j 1 ( t ) f i 2 j 2 ( t ) ,
denotes the gain-term particles and
L i j [ f ] ( t ) = f i j ( t ) i 2 = 1 n j 2 = 1 m η i j , i 2 j 2 f i 2 j 2 ( t ) ,
denotes the loss-term particles.
The function B i 1 j 1 , i 2 j 2 i j denotes, for j , j 1 , j 2 { 1 , 2 , , m } and i , i 1 , i 2 { 1 , 2 , , n } , the transition probability density that the particle with state u i 1 j 1 acquires the state u i j after interacting with the particle u i 2 j 2 .
The vectorial discrete thermostatted kinetic framework is:
d f d t ( t ) = J [ f ] ( t ) = G [ f ] ( t ) L [ f ] ( t ) .
The complex system C evolves under the action of the external force field F ( t ) = F i j ( t ) i { 1 , 2 , , n } , j { 1 , 2 , , m } , and a dissipative term (discrete thermostat term) is introduced in order to keep the pth-order moment constant. Accordingly, the evolution equation of the distribution function f i j now reads:
d f i j d t ( t ) = J i j [ f ] ( t ) + F i j ( t ) α f i j ( t ) .
The thermostat term α is obtained by imposing the conservation of the following pth-order moment:
E p [ f ] ( t ) = E p 0 0 , t > 0 .
Accordingly
d d t E p [ f ] ( t ) = 0 ,
which means that
i = 1 n j = 1 n u i j p d f i j d t ( t ) = 0 .
Equations (42) and (43) and straightforward calculations and show that:
α = α J [ f ] , E p [ f ] , f = i = 1 n j = 1 m ( u i j ) p J i j [ f ] + ( u i j ) p F i j i = 1 n j = 1 m u i j p = i = 1 n j = 1 m ( u i j ) p J i j [ f ] + F i j E p [ f ] = U p , J [ f ] + F F E p [ f ] ,
where U p : = ( u i j ) p i { 1 , 2 , , n } , j { 1 , 2 , , m } and U p , J [ f ] + F F denotes the Frobenius inner product. Given two matrices A , B R m , n , the Frobenius inner product of A and B is defined as follows:
A , B F = i = 1 n j = 1 m A i j B i j .
between U p and J [ f ] + F . Accordingly, for i { 1 , 2 , , n } and j { 1 , 2 , , m } , the vectorial discrete thermostatted kinetic theory framework (42) is written as follows:
d f i j d t ( t ) = J i j [ f ] ( t ) + F i j ( t ) U p , J [ f ] + F F E p [ f ] f i j ( t ) .
Equation (45) consists of a system of n × m nonlinear ODEs with quadratic nonlinearities.

The Cauchy Problem

The vectorial Cauchy problem for the vector activity discrete thermostatted framework (45) reads:
d f d t ( t ) = J [ f ] ( t ) + T F [ f ] ( t ) t [ 0 , + [ f ( 0 ) = f 0
where f 0 = f i j 0 i { 1 , 2 , , n } , j { 1 , 2 , , m } is the initial data and T F [ f ] the following operator:
T F [ f ] = F U p , J [ f ] + F F E p [ f ] f .
Definition 3.
Let f ( t ) = f i j ( t ) R n , m , then
R f p R f p R + ; E p 0 = f ( t ) = f i j ( t ) C [ 0 , + [ ; R + n × m : E p [ f ] ( t ) = E p 0 .
The mathematical analysis of the Cauchy problem (46) is performed under the following assumptions (see [21] and references therein):
H 1. 
There exists a constant k > 0 such that η i j , i 1 j 1 k , for all i , i 1 { 1 , 2 , , n } and j , j 1 { 1 , 2 , , m } ;
H 2. 
Let i 1 , i 2 { 1 , 2 , , n } and j 1 , j 2 { 1 , 2 , , m } , then:
i = 1 n j = 1 m B i 1 j 1 , i 2 j 2 i j = 1 , i { 1 , 2 , , n } , j { 1 , 2 , , m } ;
H 3. 
u i j 1 , for i { 1 , 2 , , n } and j { 1 , 2 , , m } ;
H 4. 
There exists F > 0 such that F i j ( t ) F , for i { 1 , 2 , , n } and j { 1 , 2 , , m } .
Let A R n , n , in what follows the quantity A 1 denotes the following norm:
A 1 : = i = 1 n j = 1 m A i j .
Theorem 3.
Assume thatH 1,H 2,H 3andH 4hold true. If f 0 R f p , then there exists a unique non negative function f R f p which is solution of the Cauchy problem (46).
Proof. 
By using the same arguments of theorem 4.1 of [21], there exists a constant c 1 > 0 , depending on the parameters of the system (46) such that:
J [ f ] J [ g ] 1 c 1 E p 0 f g 1 , f , g R f p ,
and there exists another constant c 2 , also depending on the parameters of the system (46), such that:
T [ f ] T [ g ] 1 F U p 1 E p 0 + c 2 E p 0 + c 1 E p 0 U p 1 f g 1 ,
for all f , g R f p . By (51) and (52), it is possible to conclude that the operators J [ f ] and T [ f ] are locally Lipschitz in f , uniformly with respect to t. The existence and uniqueness of a function f ( t ) = f i j ( t ) R n , m local solution of the Cauchy problem (46) is thus ensured. The local solution of the Cauchy problem (46) can be extended for all t [ 0 , + [ , see ([20] Chapter 2).
It remains to prove that f R f p . Rewriting Equation (46) in integral form, for 0 < t T , one has:
f ( t ) = f 0 + 0 t d f d s ( s ) d s = f 0 + 0 t J [ f ] + F ( s ) U p , J [ f ] + F F E p [ f ] f ( s ) d s ,
and
f i j ( t ) = f i j 0 + 0 t d f i j d s ( s ) d s = f i j 0 + 0 t J i j [ f ] + F i j ( s ) U p , J [ f ] + F F E p [ f ] f i j ( s ) d s .
By multiplying both sides of (54) by ( u i j ) p and taking the sum on i { 1 , 2 , , n } and j { 1 , 2 , , m } , one has:
i = 1 n j = 1 m ( u i j ) p f i j ( t ) = i = 1 n j = 1 m ( u i j ) p f i j 0 + 0 t i = 1 n j = 1 m ( u i j ) p J i j [ f ] ( s ) d s + 0 t i = 1 n j = 1 m ( u i j ) p F i j d s 0 t i = 1 n j = 1 m U p , J [ f ] + F F E p [ f ] ( u i j ) p f i j ( s ) d s .
Now, straightforward calculations yield:
i = 1 n j = 1 m ( u i j ) p f i j = E p 0 + 0 t i = 1 n j = 1 m ( u i j ) p J i j [ f ] ( s ) + F i j ( s ) d s     0 t i = 1 n j = 1 m ( u i j ) p U p , J [ f ] + F F E p [ f ] f i j ( s ) d s     = E p 0 + 0 t i = 1 n j = 1 m ( u i j ) p J i j [ f ] ( s ) + F i j ( s ) d s     0 t i = 1 n j = 1 m ( u i j ) p f i j ( s ) U p , J [ f ] + F F E p [ f ] d s     = E p 0 + 0 t i = 1 n j = 1 m ( u i j ) p J i j [ f ] ( s ) + F i j ( s ) U p , J [ f ] + F F d s .
Since the integrand function of Equation (56) vanishes for all s and the pth-order moment is conserved, the following relation holds true:
i = 1 n j = 1 m ( u i j ) p f i j ( t ) = E p [ f ] ( t ) = E p 0 .
Then f ( t ) R f p . Using the same arguments of theorem 4.1 of [21] it is possible to conclude the non-negativity of the solution. Indeed, let
Q i j [ f , F ] ( t ) = G i j [ f ] ( t ) + F i j ( t ) , P i j [ f , α ] = i 2 = 1 n j 2 = 1 m η i j , i 2 j 2 f i 2 j 2 ( t ) + α ,
then the Cauchy problem Equation (46) 1 becomes:
d f i j d t ( t ) + f i j ( t ) P i j [ f , α ] ( t ) = Q i j [ f , F ] ( t ) .
Finally, setting
γ i j ( t ) = 0 t P i j [ f , α ] ( s ) d s ,
the solution of Equation (57), for i { 1 , 2 , , n } and j { 1 , 2 , , m } , is:
f i j ( t ) = f i j 0 exp γ i j ( t ) + 0 t exp γ i j ( s ) γ i j ( t ) Q i j [ f , F ] ( s ) d s ,
which shows the non negativity of the solution of the Cauchy problem (46). □

6. Conclusions and Research Perspectives

The present paper has been devoted to enhance the capability of the thermostatted kinetic framework to model real world complex systems by introducing a vector-valued activity variable structure. As shown in the paper, the introduction of such a vector-valued variable does not affect the validity of well-known existence and uniqueness theorems of the Cauchy problem, both in the continuous and in the discrete framework. In particular, the main results have been obtained by assumptions on the transition probability density, the interaction rate and the external force field. The proposed mathematical frameworks can be thus considered as a general paradigm for the derivation of specific models for complex living systems.
As already mentioned, the main interest for introducing a vectorial structure in the thermostatted kinetic theory framework refers to the applications. Specifically, the applications deal with the modeling of complex living systems where each particle (cell, pedestrian, animal) expresses different functions, e.g., in criminality [22,23], social dynamics [24,25], crowd modeling [26,27], virus spread [28,29] and animal behaviors [30].
From the research perspectives point of view, different theoretical and applied issues could be investigated. Firstly, the evolution of the vectorial activity variable has been chosen additive, namely for each variable a transition probability density is defined and the overall contribution to each functional subsystem is considered as the sum of every transition density function. A research perspective can be addressed to a multiplicative evolution, thus increasing the nonlinearity in the framework. Another research perspective refers to the introduction of a time-fractional derivative, in this case some singularity can appear as in [31], and time delays [32]. In particular, an open problem is the mathematical proof of the existence of the nonequilibrium stationary state [33] and the convergence of stationary solutions to the nonequilibrium state.
It is worth stating that the proposed vectorial thermostatted kinetic theory frameworks are based on the assumption that the system is homogeneous with respect to the space and velocity variables. Even if this assumption is robust with respect to the envisaged applications, from the theoretical viewpoint the introduction of the space and velocity dynamics needs to be carefully introduced. The vectorial thermostatted frameworks proposed in this paper can be further generalized in order to include the role of nonconservative and mutative interactions. From the mathematical viewpoint, the distribution function may blow up or decay to zero in finite time, thus losing the global existence of the solution. The vectorial frameworks proposed in this paper can also be generalized to open complex living systems, namely systems where the external actions are introduced at the same scale of the particles. Another research perspective is to investigate the type of interactions and/or external action which lead a to desired macroscopic behavior; the formulation of a problem in the inverse theory framework can be thus envisaged [34].
Finally, an important research direction is the possibility to derive the macroscopic equations by means of hydrodynamic limits, see [35] and the references cited therein.

Author Contributions

Conceptualization, C.B. and M.M.; methodology, C.B. and M.M.; formal analysis, C.B. and M.M.; investigation, C.B., B.C. and M.M.; resources, C.B., B.C. and M.M.; writing-original draft preparation, C.B., B.C., and M.M.; writing-review and editing, C.B., B.C. and M.M.; supervision, C.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bar-Yam, Y. Dynamics of Complex Systems; CRC Press: Boca Raton, FL, USA, 2019. [Google Scholar]
  2. Cilliers, P. Complexity and Postmodernism: Understanding Complex Systems; Routledge: London, UK, 1998. [Google Scholar]
  3. Holland, J.H. Studying complex adaptive systems. J. Syst. Sci. Complex. 2006, 19, 1–8. [Google Scholar] [CrossRef]
  4. Cercignani, C.; Illner, R.; Pulvirenti, M. The Mathematical Theory of Dilute Gases; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2013; Volume 106. [Google Scholar]
  5. Huber, L.; Suzuki, R.; Krüger, T.; Frey, E.; Bausch, A.R. Emergence of coexisting ordered states in active matter systems. Science 2018, 361, 255–258. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  6. Bianca, C. An existence and uniqueness theorem to the Cauchy problem for thermostatted-KTAP models. Int. J. Math. Anal. 2012, 6, 813–824. [Google Scholar]
  7. Bianca, C. Onset of nonlinearity in thermostatted active particles models for complex systems. Nonlinear Anal. Realworld Appl. 2012, 13, 2593–2608. [Google Scholar] [CrossRef]
  8. Chernov, N.; Dolgopyat, D. Lorentz gas with thermostatted walls. Ann. Henri Poincaré 2010, 11, 1117–1169. [Google Scholar] [CrossRef]
  9. Derrida, B. Non-equilibrium steady states: Fluctuations and large deviations of the density and of the current. J. Stat. Mech. 2007, 7, P07023. [Google Scholar] [CrossRef]
  10. Jepps, O.G.; Rondoni, L. Deterministic thermostats, theories of nonequilibrium systems and parallels with the ergodic condition. J. Phys. Math. Theor. 2010, 43, 133001. [Google Scholar] [CrossRef]
  11. Morriss, G.P.; Dettmann, C.P. Thermostats: Analysis and application. Chaos: Interdiscip. J. Nonlinear Sci. 1998, 8, 321–336. [Google Scholar] [CrossRef] [Green Version]
  12. Ruelle, D. Smooth dynamics and new theoretical ideas in nonequilibrium statistical mechanics. J. Stat. Phys. 1999, 95, 393–468. [Google Scholar] [CrossRef] [Green Version]
  13. Myerson, R.B. Game Theory: Analysis of Conict; Harvard University Press: Cambridge, MA, USA, 1997. [Google Scholar]
  14. Bianca, C.; Riposo, J. Mimic therapeutic actions against keloid by thermostatted kinetic theory methods. Eur. Phys. J. Plus 2015, 130, 159. [Google Scholar] [CrossRef]
  15. Bianca, C.; Brézin, L. Modeling the antigen recognition by B-cell and T-cell receptors through thermostatted kinetic theory methods. Int. J. Biomath. 2017, 10, 1750072. [Google Scholar] [CrossRef]
  16. Bianca, C.; Mogno, C. Modelling pedestrian dynamics into a metro station by thermostatted kinetic theory methods. Math. Comput. Model. Dyn. Syst. 2018, 24, 207–235. [Google Scholar] [CrossRef]
  17. Carbonaro, B.; Serra, N. Towards mathematical models in psychology: A stochastic description of human feelings. Math. Model. Methods Appl. Sci. 2002, 12, 1453–1490. [Google Scholar] [CrossRef]
  18. Carbonaro, B.; Giordano, C. A second step towards a stochastic mathematical description of human feelings. Math. Comput. Model. 2005, 41, 587–614. [Google Scholar] [CrossRef]
  19. Granas, A.; Dugundji, J. Fixed Point Theory; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2013. [Google Scholar]
  20. Teschl, G. Ordinary Differential Equations and Dynamical Systems; American Mathematical Society: Providence, RI, USA, 2012; Volume 140. [Google Scholar]
  21. Bianca, C.; Mogno, C. Qualitative analysis of a discrete thermostatted kinetic framework modeling complex adaptive systems. Commun. Nonlinear Sci. Numer. Simul. 2018, 54, 221–232. [Google Scholar] [CrossRef]
  22. Jones, P.A.; Brantigam, P.J.; Chayes, L.R. Statistical models of criminal behavior: The effect of law enforcement actions. Math. Models Methods Appl. Sci. 2010, 20, 1397–1423. [Google Scholar] [CrossRef] [Green Version]
  23. Short, M.B.; Bratingham, P.J.; Bertozzi, A.L. Dissipation and hotspots in reaction-diffusion models of crime. Proc. Natl. Acad. Sci. USA 2010, 107, 3961–3965. [Google Scholar] [CrossRef] [Green Version]
  24. Castellano, C.; Fortunato, S.; Loreto, V. Statistical physics of social dynamics. Rev. Mod. Phys. 2009, 81, 591–646. [Google Scholar] [CrossRef] [Green Version]
  25. Fryer, R.G., Jr. A model of social interactions and endogenous poverty traps. Ration. Soc. 2017, 19, 335–366. [Google Scholar]
  26. Dogbe, C. Nonlinear pedestrian-flow model: Uniform wellposedness and global existence. Appl. Math. Inf. Sci. 2013, 7, 29–40. [Google Scholar] [CrossRef]
  27. Jiang, Y.-q.; Zhang, P.; Wong, S.C.; Liu, R.-X. A higher-order macroscopic model for pedestrian flows. Physica A 2010, 389, 4623–4635. [Google Scholar] [CrossRef]
  28. Alizon, S.; Magnus, C. Modelling the course of an HIV infection: Insights from ecology and evolution. Viruses 2012, 4, 1984–2013. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  29. Nowak, M.; May, R. Virus Dynamics: Mathematical Principals of Immunology and Virology; Oxford University Press: New York, NY, USA, 2001. [Google Scholar]
  30. 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 behaviour depends on topological rather than metric distance: Evidence from a field study. Proc. Natl. Acad. Sci. USA 2008, 105, 1232–1237. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  31. Li, C.G.; Kostic, M.; Li, M.; Piskarev, S. On a class of time-fractional differential equations. Fract Calc. Appl. Anal. 2012, 15, 639–668. [Google Scholar] [CrossRef] [Green Version]
  32. Erneux, T. Applied Delay Differential Equations; Springer: New York, NY, USA, 2009. [Google Scholar]
  33. Bianca, C. Existence of stationary solutions in kinetic models with Gaussian thermostats. Math. Methods Appl. Sci. 2013, 36, 1768–1775. [Google Scholar] [CrossRef]
  34. Kryazhimskii, A.V.; Osipov, Y.S. Inverse Problems for Ordinary Differential Equations: Dynamical Solutions; Gordon and Breach: London, UK, 1995. [Google Scholar]
  35. Bianca, C.; Dogbe, C. Kinetic models coupled with Gaussian thermostats: Macroscopic frameworks. Nonlinearity 2014, 27, 2771. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Bianca, C.; Carbonaro, B.; Menale, M. On the Cauchy Problem of Vectorial Thermostatted Kinetic Frameworks. Symmetry 2020, 12, 517. https://doi.org/10.3390/sym12040517

AMA Style

Bianca C, Carbonaro B, Menale M. On the Cauchy Problem of Vectorial Thermostatted Kinetic Frameworks. Symmetry. 2020; 12(4):517. https://doi.org/10.3390/sym12040517

Chicago/Turabian Style

Bianca, Carlo, Bruno Carbonaro, and Marco Menale. 2020. "On the Cauchy Problem of Vectorial Thermostatted Kinetic Frameworks" Symmetry 12, no. 4: 517. https://doi.org/10.3390/sym12040517

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop