The mathematical analysis towards the dependence on the initial data for a discrete thermostatted kinetic framework for biological systems composed of interacting entities

Marco Menale; Bruno Carbonaro; Marco Menale; Bruno Carbonaro

doi:10.3934/biophy.2020016

AIMS Biophysics

2020, Volume 7, Issue 3: 204-218. doi: 10.3934/biophy.2020016

Previous Article Next Article

Research article Special Issues

The mathematical analysis towards the dependence on the initial data for a discrete thermostatted kinetic framework for biological systems composed of interacting entities

Marco Menale ^{1,2
,
,},
Bruno Carbonaro ¹

1.
Dipartimento di Matematica e Fisica, Università degli Studi della Campania “L. Vanvitelli”, Viale Lincoln 5, I-81100 Caserta, Italy;
2.
Laboratoire Quartz EA 7393, École Supérieure d'Ingénieurs en Génie Électrique, Productique et Management Industriel, 95092, Cergy Pontoise Cedex, France

Received: 09 April 2020 Accepted: 16 June 2020 Published: 28 June 2020

This paper is devoted to a mathematical proof of the continuous dependence on the initial data for the discrete thermostatted kinetic framework, for all T > 0. This is a versatile model for describing the time-evolution of a biological complex system which is composed by a large number of interacting entities, called active particles, and is subjected to an external force field due to the environment. A thermostat term is introduced in order to keep the 2nd-order moment of the system, corresponding to the physical global activation energy, constant in time. This model is expressed by a system of nonlinear ordinary differential equations with quadratic nonlinearity.

Keywords:

Citation: Marco Menale, Bruno Carbonaro. The mathematical analysis towards the dependence on the initial data for a discrete thermostatted kinetic framework for biological systems composed of interacting entities[J]. AIMS Biophysics, 2020, 7(3): 204-218. doi: 10.3934/biophy.2020016

Related Papers:

[1]	Carlo Bianca . Differential equations frameworks and models for the physics of biological systems. AIMS Biophysics, 2024, 11(2): 234-238. doi: 10.3934/biophy.2024013
[2]	Carlo Bianca . Interplay and multiscale modeling of complex biological systems. AIMS Biophysics, 2022, 9(1): 56-60. doi: 10.3934/biophy.2022005
[3]	Carlo Bianca . Theoretical frameworks and models for biological systems. AIMS Biophysics, 2020, 7(3): 167-168. doi: 10.3934/biophy.2020013
[4]	Carlo Bianca . Mathematical and computational modeling of biological systems: advances and perspectives. AIMS Biophysics, 2021, 8(4): 318-321. doi: 10.3934/biophy.2021025
[5]	Bradley Vis, Jonathan J. Powell, Rachel E. Hewitt . Imaging flow cytometry methods for quantitative analysis of label-free crystalline silica particle interactions with immune cells. AIMS Biophysics, 2020, 7(3): 144-166. doi: 10.3934/biophy.2020012
[6]	Mario P. Carante, Francesca Ballarini . Modelling cell death for cancer hadrontherapy. AIMS Biophysics, 2017, 4(3): 465-490. doi: 10.3934/biophy.2017.3.465
[7]	Mehmet Yavuz, Fuat Usta . Importance of modelling and simulation in biophysical applications. AIMS Biophysics, 2023, 10(3): 258-262. doi: 10.3934/biophy.2023017
[8]	Domenico Lombardo, Pietro Calandra, Maria Teresa Caccamo, Salvatore Magazù, Luigi Pasqua, Mikhail A. Kiselev . Interdisciplinary approaches to the study of biological membranes. AIMS Biophysics, 2020, 7(4): 267-290. doi: 10.3934/biophy.2020020
[9]	Nor Afiqah Mohd Aris, Siti Suhana Jamaian . Dynamical analysis of fractional-order chemostat model. AIMS Biophysics, 2021, 8(2): 182-197. doi: 10.3934/biophy.2021014
[10]	Raghvendra P Singh, Guillaume Brysbaert, Marc F Lensink, Fabrizio Cleri, Ralf Blossey . Kinetic proofreading of chromatin remodeling: from gene activation to gene repression and back. AIMS Biophysics, 2015, 2(4): 398-411. doi: 10.3934/biophy.2015.4.398

Abstract

1. Introduction

In the last decades the interest towards the complex systems for the modeling and studying of biological systems has been ever growing (see among the others [1]–[11], and references therein).

More generally, the study of complex systems [12]–[15] is one of the main resaerch topics of the last years. However the description of such systems, with related quantities and parameters, depends on the particular approach that is chosen. Different mathematical frameworks have been proposed depending on the representation scale of the system. In the present paper, we turn our attention on the so-called “kinetic approach” which is a generalization of the model proposed by Boltzmann [16] to describe the statistical dynamics of gases, and is based on a suitable version of his equation. The interacting entities of the system are called active particles. The evolution of the system is described by a distribution function which depends on the time, on the mechanical variables (i.e. space and velocity) and on a scalar variable called “activity”, whose meaning depends on the current application [17]. In the kinetic theoretical description of a complex system, the evolution depends on an integral term that defines the interactions between the particles.

A new modeling framework has been recently proposed for the description of a complex system under the action of an external force field: the thermostatted kinetic theory [18], [19]. The action of an external force field moves the systems out of the equilibrium. In this framework, the complex system under investigation is divided into n functional subsystems such that particles belonging to the same functional subsystem share the same strategy (in a suitable sense, the same aim) [20]. The macroscopic state is described by specific pth-order moments (see Section 2). The introduction of a dissipative term, called thermostat, constrains the system to keep the 2nd-order moment of the system, which can be regarded as the physical global activation energy, costant in time. The evolution of the system is then described by a system of nonlinear integro-differential equations with quadratic nonlinearity. The thermostatted kinetic theory has been developed, for instance, in the study of Kac equation too [21].

A biological system is constituted by a large number of interacting entities (the active particles) whose microscopic state can be described by a real variable (activity) which represents the individual ability to express a specific strategy. The active particles of a biological systems have the ability to develop behaviour that cannot only be explained by the classical mechanics laws, and, in some cases, can generate proliferative and/or destructive processes. By using the functional subsystems, the complexity can be reduced by decomposing the biological systems into several interacting subsystems [22]. In fact, this approach can possibly be considered the first fundamental contribution to biological studies [23]. The decomposition method can be regarded as a tool to reduce complexity. In fact, the active particles in each module, which is described as a functional subsystem, are not of the same type, while they express the same strategy collectively. Thus the system can be studied regarding the evolution of each functional subsystem rather than the single active particle.

A biological system can be described at different representation scales, depending on the particular application. For instance, the microscopic scale in biology corresponds to cells, while the dynamics of cells depends on the dynamics at the lower molecular scale, namely the scale of molecules. In some cases, the complexity of the system induces the use of even a larger scale, the macroscopic scale, which corresponds to population dynamics [24]–[26]. By using the framework of kinetic theory, the microscopic scale models the interactive dynamics among active particles, and it is described by using the activity variable, while the macroscopic state of the whole system is described by the pth-order moments related to the distribution function. The description of the biological systems depends on the pairwise interactions among the active particles (microscopic scale) and the state of the overall system (macroscopic scale).

In the last years, a widely interesting biological application is the modeling of the dynamics of epidemics with virus variations (see [3]–[6], [27]–[30], and references therein). One of the most used model is SIR (Susceptible, Infectious, Recovered), with its variants (see [6], [31]–[36], and references therein). In this contest, the system may be decomposed into 3 functional subsystem of interacting individual. The first functional subsystems denotes the healthy individuals whose microscopic state models the susceptibility to contract the pathological state. The second functional subsystems represents denotes individuals healthy carriers of the virus, whose microscopic state models the infectivity of the virus. The thirs functional subsystem denotes the individuals affected by the virus at the first and subsequent stages, whose microscopic state models the progression of both the infectivity and the pathological state.

Beyond biological systems, the thermostatted framework is used to study, among other topics: socio-economic systems [37], [38], pedestrian dynamics [39], vehicular traffic [40], crowd dynamics [41], human feelings [42], [43] and opinion formation [44].

The present paper deals with the discrete thermostatted framework: the activity variable attains its value in a discrete subset of ℝ, so that in this case the evolution of the system is modeled by a system of nonlinear ordinary differential equations with quadratic nonlinearity. The existence and uniqueness of the solutions is assured for both the related Cauchy and nonequilibrium stationary problems [45], [46]. The analysis of the discrete framework is important in order to define the methods for the numerical simulations.

The use of a discrete variable is not only a technical choice. In some application, this is related to the description of the current biological systems [47], [48]. For instance in order to describe the state of a cell, three values are assigned to the activity variable: normal, infected, dead. Moreover, in socio-economic systems [37], [38], the discretization of the activity variable has conceptual reason. As a matter of fact, a continuous activity variable for the socio-economic quantities may not make any sense: e.g. the wealth-state.

The main aim of this paper is the study of stability in the Hadamard sense of the discrete themostatted kinetic framework. A model is stable in the Hadamard sense if the solution exists and is unique, and it depends continuously on the initial data. In the current paper, two Cauchy problems, related to the discrete thermostatted framework that differ for their initial data, are considered. The distance between the initial data is estimated by a δ > 0. Using typical analytical techniques, this paper shows that the distance between the corresponding solutions, in a suitable norm, is estimated continuously in function of δ (see [49] for the continuous case), i.e. if δ goes to 0, the two solutions collapse.

The importance of continuous dependence of the solutions on the initial data is related, among other things, to the numerical simulations that can be performed [7], [50]–[52]. As a matter of fact, since the initial data is in general derived from a statistical analysis, its value is affected by an error, then the stability of the model may assure a “slow and small propagation” of such an error during the evolution, at least for small time intervals. Among others, the application of the discrete thermostatted framework to the epidemic dynamics may be considered. In this case the initial data is obtained from a statistical study, then it may be affected by an error. The continuous dependence with respect to the initial data is an important issue such that the numerical simulations can be performed such that the solution represents the evolution of epidemic with sufficient accuracy.

This paper presents a first step towards the study of stability and dependence on the initial data for the discrete kinetic thermostatted framework.

The contents of this paper are divided into 5 more sections which follow this brief Introduction. In Section 2 the discrete thermostatted kinetic framework is presented, and the related state of art about existence and uniqueness of the solutions. In Section 3 the main Theorem about the dependence on the initial data is presented, after introducing suitable norms. Section 4 deals with the proof of Theorem, proving the stability and giving an explicit form to the constant in the final inequality which is obtained by performing some typical analytic arguments. Finally Section 5 deals with the future research perspective that may follow this paper, which is meant as a first step towards the dependence on the initial data for the discrete thermostatted kinetic framework.

2. The discrete thermostatted framework

Let us consider a complex system 𝒞 homogeneous with respect to the mechanical variables, i.e. space and velocity, which is divided into n (where n ∈ ℕ is fixed) functional subsystems such that particles belonging to the same functional subsystem share the same strategy [20]. Since some physical and life sciences models are characterized by discrete variables, in this paper the microscopic state of the system is described by a scalar variable u, called activity, which attains its values in a fixed discrete subset of ℝ, i.e.

$u \in I_{u} : = {u_{1}, u_{2}, \dots, u_{n}} \subseteq ℝ .$

The ith functional subsystem, for i ∈ {1, 2, …, n}, is described by:

$f_{i} (t) : [0, + \infty [\to ℝ^{+},$

which is the discrete distribution function, at time t > 0, of active particles with activity u_i. The distribution function of the whole system reads:

$f (t, u) = \sum_{i = 1}^{n} f_{i} (t) δ (u - u_{i}),$

where δ is the Delta function. The quantity f(t,u)du represents the number of active particles, at time t > 0, in the elementary volume [u, u + du].

The related vector distribution function of the system 𝒞 reads:

$f = f (t) : = (f_{1} (t), f_{2} (t), \dots, f_{n} (t)) .$

The macroscopic state of the system, at a time t > 0, is described by the pth-order moment, which is defined, for p ∈ ℕ, as:

$𝔼_{p} [f] (t) = \sum_{i = 1}^{n} u_{i}^{p} f_{i} (t) .$

The physical meaning of the moment depends on the value of p, e.g. the local density, the linear activity momentum and the global activation energy are obtained, respectively, for p = 0, p = 1 and p = 2.

The interaction among the active particles is described by the following parameters:

$\sum_{i = 1}^{n} B_{h k}^{i} = 1.$ (2.1)

Let F_i(t) : [0; +∞[→ ℝ⁺, for i ∈ {1,2, …, n}, be an external force acting on the ith functional subsystem, such that the external force field writes: $F (t) = (F_{1} (t), F_{2} (t), \dots, F_{n} (t))$ .

A discrete thermostat is included in order to keep constant the 2nd-order moment 𝔼₂[f](t). Let 𝔼₂ be the fixed value of the 2nd-order moment, then the evolution of the ith functional subsystem, for i ∈ {1,2, …, n}, is:

$\frac{d f_{i}}{d t} (t) = J_{i} [f] (t) + F_{i} (t) - \sum_{j = 1}^{n} (\frac{u_{j}^{2} (J_{j} [f] + F_{j})}{𝔼_{2}}) f_{i} (t),$ (2.2)

where the interaction operator J_i[f](t) can be split as follows:

$J_{i} [f] (t) = G_{i} [f] (t) - L_{i} [f] (t),$

where

$G_{i} [f] (t) = \sum_{h = 1}^{n} \sum_{k = 1}^{n} η_{h k} B_{h k}^{i} f_{h} (t) f_{k} (t)$

and

$L_{i} [f] (t) = f_{i} (t) \sum_{k = 1}^{n} η_{i k} f_{k} (t)$

are the gain term operator and the loss term operator (whose expression is related to the (2.1)), respectively. The equation (2.2) is obtained by balancing the time-derivative of the distribution function related to the ith functional subsystem, i.e f_i(t), and the net flux, J_i[f](t), related to the same functional subsystem, the external force field and the thermostat. Therefore the evolution of the system (2.2) is a system of nonlinear ordinary differential equations with quadratic nonlinearity.

Let $f^{0} : = (f_{1}^{0}, f_{2}^{0}, \dots, f_{n}^{0})$ be a suitable initial data. Then the Cauchy problem related to the discrete thermostatted framework (2.2) is defined as:

$(\begin{array}{l} (2.2) & i \in {1,2, \dots, n}, t \in [0, + \infty [ \\ f (0) = f^{0} . \end{array}$ (2.3)

Definition 2.1. Fixed 𝔼₂ > 0, the space function $ℛ_{f}^{2} = ℛ_{f}^{2} (ℝ^{+}, 𝔼_{2})$ is defined as:

${f (t) \in C ([0, + \infty [; {(ℝ^{+})}^{n}) : 𝔼_{2} [f] (t) = 𝔼_{2}, \forall t} .$

Henceforth, the following assumptions are taken into account:

$u_{i} \geq 1, \forall i \in {1,2, \dots, n};$

$𝔼_{2} [f^{0}] = 𝔼_{2};,$

H3 there exists η > 0 such that η_hk = η, for all h, k ∈ {1,2, …, n};

H4 there exists F > 0 such that F_i(t) = F, for all i ∈ {1,2, …, n} and for all t > 0.

Remark 2.2. The H1 is a technical assumption since the generalized framework has been treated in [53], where u_i ≥ 1 is not required.

In this framework, under the assumptions H1-H4, there exists one only function $f (t) \in C ([0, + \infty [; {(ℝ^{+})}^{n}) \cap ℛ_{f}^{2}$ which is solution of the Cauchy problem (2.3) [45].

Complex systems usually operate far from equilibrium since their evolution is related to an internal dynamics, due to the interaction between particles, and to an external dyanmics, due to the external force field. Then nonequilibrium stationary states are reached during the evolution.

The stationary problem related to (2.2) is, for i ∈ {1,2, …, n}:

$J_{i} [f] (t) + F_{i} - \sum_{j = 1}^{n} (\frac{u_{j}^{2} (J_{j} [f] + F_{j})}{𝔼_{2}}) f_{i} (t) = 0.$ (2.4)

In [46] the existence of a solution of (2.4), called non-equilibrium stationary solution, is gained, and the uniqueness is proved under some restrictions on the value of the external force F. Henceforth, without leading of generality, 𝔼₂[f] = 𝔼₀[f] = 1 is assumed.

If these further assumptions hold true:

$\sum_{i = 1}^{n} u_{i} B_{h k}^{i} = 0, \forall h, k \in {1,2, \dots, n},$

$\sum_{i = 1}^{n} u_{i}^{2} B_{h k}^{i} = u_{h}^{2}, \forall h, k \in {1,2, \dots, n},$

then the evolution equation of 𝔼₁[f](t) reads [46]:

$𝔼_{1} [f] (t) = 𝔼_{1} [f^{0}] e^{- ϕ (t)} + k,$

where

$ϕ (s) = \int_{0}^{s} (η + \sum_{j = 1}^{n} u_{j}^{2} F_{j}) d τ,$

and

$k = \frac{\sum_{i = 1}^{n} u_{i} F_{i}}{η + \sum_{i = 1}^{n} u_{i}^{2} F_{i}} .$

Moreover:

$𝔼_{1} [f] (t) \overset{t \to \infty}{\to} k .$

Remark 2.3. The assumptions H3-H4 are not restricted. Indeed the results of existence and, if possible, uniqueness can be proved if there exist F,η > 0 such that:

η_hk ≤ η, for all h, k ∈ {1,2, …, n};
F_i(t) ≤ F, for all i ∈ {1,2, …, n} and for all t > 0.

3. Dependence on the initial data

Under suitable assumptions the Cauchy problem (2.3) has a unique solution $f (t) \in C ([0, + \infty [; {(ℝ^{+})}^{n}) \cap ℛ_{f}^{2}$ [45].

Let us consider now two Cauchy problems related to the discrete thermostatted framework (2.2):

$(\begin{array}{l} (2.2) & t \in [0, + \infty [ \\ f (0) = f_{1}^{0} \end{array} (\begin{array}{l} (2.2) & t \in [0, + \infty [ \\ f (0) = f_{2}^{0} \end{array}$ (3.1)

where

$f_{1}^{0} = (f_{11}^{0}, f_{12}^{0}, \dots, f_{1 n}^{0})$ and

$f_{2}^{0} = (f_{21}^{0}, f_{22}^{0}, \dots, f_{2 n}^{0})$ are two different initial data.

If the assumptions H1-H6 hold true, there exist $f_{1} (t), f_{2} (t) \in C ([0, + \infty [; {(ℝ^{+})}^{n}) \cap ℛ_{f}^{2}$ solutions of the Cauchy problems (3.1) with initial data $f_{1}^{0}$ and $f_{2}^{0}$ , respectively. The main result of this paper estimates the distance between the two solutions for T > 0, i.e.

$\begin{array}{l} {‖ f_{1} (t) - f_{2} (t) ‖}_{C ([0, T]; {(ℝ^{+})}^{n})} & : = \underset{t \in [0, T]}{m a x} {‖ f_{1} (t) - f_{2} (t) ‖}_{1} \\ = \underset{t \in [0, T]}{m a x} \sum_{i = 1}^{n} | f_{1 i} (t) - f_{2 i} (t) |, \end{array}$

when the distance between the initial data is estimated, i.e. there exists δ > 0 such that

$‖ f_{1}^{0} - f_{2}^{0} ‖ : = \sum_{i = 1}^{n} | f_{1 i}^{0} - f_{2 i}^{0} | \leq δ .$

Theorem 3.1. Consider the Cauchy problems (3.1). Suppose that the assumptions H1-H6 hold true. If there exists δ > 0 such that:

${‖ f_{1}^{0} - f_{2}^{0} ‖}_{1} \leq δ,$ (3.2)

then for T > 0

${‖ f_{1} (t) - f_{2} (t) ‖}_{C ([0, T]; {(ℝ^{+})}^{n})} \leq δ e^{C T},$ (3.3)

where the constant C = C(η,F,I_u) depends on the parameters of the system.

Remark 3.2. As consequence of Theorem 3.1, the problem (2.3) is well-posed in the Hadamard sense.

4. Proof of main result

Proof of Theorem 3.1. The thermostatted equation (2.2), for i ∈ {1, 2, …, n}, writes:

$\begin{array}{l} \frac{d f_{i}}{d t} (t) & = \sum_{h = 1}^{n} \sum_{k = 1}^{n} η B_{h k}^{i} f_{h} (t) f_{k} (t) - f_{i} (t) \sum_{k = 1}^{n} η f_{k} (t) + F \\ - \sum_{j = 1}^{n} (u_{j}^{2} (J_{j} [f] + F_{j})) f_{i} (t) . \end{array}$ (4.1)

Integrating between 0 and t, the (4.1) reads:

$\begin{array}{l} \int_{0}^{t} \frac{d f_{i}}{d τ} (τ) d τ & = η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} f_{h} (τ) f_{k} (τ) d τ - η \int_{0}^{t} f_{i} (τ) d τ \\ + \int_{0}^{t} F d τ - \sum_{j = 1}^{n} (u_{j}^{2} (J_{j} [f] + F_{j})) \int_{0}^{t} f_{i} (τ) d τ . \end{array}$ (4.2)

By assumptions:

$\sum_{j = 1}^{n} (u_{j}^{2} (J_{j} [f] + F_{j})) = \sum_{j = 1}^{n} u_{j}^{2} F_{j},$

and then the (4.2) rewrites:

$\begin{array}{l} f_{i} (t) - f_{i} (0) & = η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} f_{h} (τ) f_{k} (τ) d τ - η \int_{0}^{t} f_{i} (τ) d τ \\ + F t - (\sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} f_{i} (τ) d τ . \end{array}$ (4.3)

Finally, by (4.3), for i ∈ {1, 2, …, n}:

$\begin{array}{l} f_{i} (t) & = f_{i} (0) + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} f_{h} (τ) f_{k} (τ) d τ - η \int_{0}^{t} f_{i} (τ) d τ \\ + F t - (\sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} f_{i} (τ) d τ . \end{array}$ (4.4)

Using the (4.4) for $f_{1} (t), f_{2} (t) \in C ([0, + \infty [; {(ℝ^{+})}^{n}) \cap ℛ_{f}^{2}$ solutions of the Cauchy problems (3.1) with initial data $f_{1}^{0}$ and $f_{2}^{0}$ , respectively, one has, for i ∈ {1, 2, …, n}:

$\begin{array}{l} f_{1 i} (t) & = f_{1 i}^{0} + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} f_{1 h} (τ) f_{1 k} (τ) d τ - η \int_{0}^{t} f_{1 i} (τ) d τ \\ + F t - (\sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} f_{1 i} (τ) d τ \end{array}$ (4.5)

and

$\begin{array}{l} f_{2 i} (t) & = f_{2 i}^{0} + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} f_{2 h} (τ) f_{2 k} (τ) d τ - η \int_{0}^{t} f_{2 i} (τ) d τ \\ + F t - (\sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} f_{2 i} (τ) d τ . \end{array}$ (4.6)

Subtracting the (4.5) and (4.6), for i ∈ {1, 2, …, n}:

$\begin{array}{l} f_{1 i} (t) & - f_{2 i} (t) = (f_{1 i}^{0} - f_{2 i}^{0}) \\ + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} (f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ)) d τ \\ - η \int_{0}^{t} (f_{1 i} (τ) - f_{2 i} (τ)) d τ - (\sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} (f_{1 i} (τ) - f_{2 i} (τ)) d τ . \end{array}$ (4.7)

By (4.7), for i ∈ {1, 2, …, n}:

$\begin{array}{l} | f_{1 i} (t) & - f_{2 i} (t) | \leq | f_{1 i}^{0} - f_{2 i}^{0} | \\ + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | d τ \\ + η \int_{0}^{t} | f_{1 i} (τ) - f_{2 i} (τ) | d τ + (\sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} | f_{1 i} (τ) - f_{2 i} (τ) | d τ . \end{array}$ (4.8)

Moreover, for i ∈ {1, 2, …, n}:

$\begin{array}{l} | f_{1 i} (t) & - f_{2 i} (t) | \leq | f_{1 i}^{0} - f_{2 i}^{0} | \\ + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | d τ \\ + (η + \sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} | f_{1 i} (τ) - f_{2 i} (τ) | d τ . \end{array}$ (4.9)

Summing the (4.9) on i:

$\begin{array}{l} \sum_{i = 1}^{n} | f_{1 i} (t) & - f_{2 i} (t) | \leq \sum_{i = 1}^{n} | f_{1 i}^{0} - f_{2 i}^{0} | \\ + η \int_{0}^{t} \sum_{i = 1}^{n} \sum_{h = 1}^{n} \sum_{k = 1}^{n} B_{h k}^{i} | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | d τ \\ + (η + \sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} \sum_{i = 1}^{n} | f_{1 i} (τ) - f_{2 i} (τ) | d τ . \end{array}$ (4.10)

Then by (4.10):

$\begin{array}{l} ‖ f_{1} (t) & {- f_{2} (t) ‖}_{1} \leq {‖ f_{1}^{0} - f_{2}^{0} ‖}_{1} \\ + η \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | d τ \\ + (η + \sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} {‖ f_{1} (τ) - f_{2} (τ) ‖}_{1} d τ . \end{array}$ (4.11)

Since, by straightforward calculations:

$\begin{array}{l} | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | \\ = | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{1 k} (τ) + f_{2 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | \\ \leq | f_{1 h} (τ) - f_{2 h} (τ) | | f_{1 k} (τ) | + | f_{1 k} (τ) - f_{2 k} (τ) | | f_{2 h} (τ) |, \end{array}$

then the second term of the right hand side of the (4.11) is estimated as follows:

$\begin{array}{l} \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} | f_{1 h} (τ) f_{1 k} (τ) - f_{2 h} (τ) f_{2 k} (τ) | d τ \\ \leq \int_{0}^{t} \sum_{h = 1}^{n} \sum_{k = 1}^{n} (| f_{1 h} (τ) - f_{2 h} (τ) | | f_{1 k} (τ) | + | f_{1 k} (τ) - f_{2 k} (τ) | | f_{2 h} (τ) |) d τ \\ \leq \int_{0}^{t} \sum_{h = 1}^{n} | f_{1 h} (τ) - f_{2 h} (τ) | \sum_{k = 1}^{n} | f_{1 k} (τ) | d τ \\ + \int_{0}^{t} \sum_{k = 1}^{n} | f_{1 k} (τ) - f_{2 k} (τ) | \sum_{h = 1}^{n} | f_{2 h} (τ) | d τ \\ \leq 2 \int_{0}^{t} {‖ f_{1} (τ) - f_{2} (τ) ‖}_{1} d τ . \end{array}$ (4.12)

Using the (4.12) and (4.11) follows:

$\begin{array}{l} {‖ f_{1} (t) - f_{2} (t) ‖}_{1} & \leq {‖ f_{1}^{0} - f_{2}^{0} ‖}_{1} \\ + 2 η \int_{0}^{t} {‖ f_{1} (τ) - f_{2} (τ) ‖}_{1} d τ \\ + (η + \sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} {‖ f_{1} (τ) - f_{2} (τ) ‖}_{1} d τ \\ \leq {‖ f_{1}^{0} - f_{2}^{0} ‖}_{1} + (3 η + \sum_{j = 1}^{n} u_{j}^{2} F_{j}) \int_{0}^{t} {‖ f_{1} (τ) - f_{2} (τ) ‖}_{1} d τ . \end{array}$ (4.13)

Let introduce the constant

$C (η, F, I_{u}) = C : = 3 η + \sum_{j = 1}^{n} u_{j}^{2} F_{j} = 3 η + F \sum_{j = 1}^{n} u_{j}^{2},$

that depends on the parameters of the system. Then, by the (3.2), the (4.13) rewrites:

${‖ f_{1} (t) - f_{2} (t) ‖}_{1} \leq δ + C \int_{0}^{t} {‖ f_{1} (τ) - f_{2} (τ) ‖}_{1} d τ .$ (4.14)

Applying the Gronwall Lemma [54] to the (4.14), one has:

${‖ f_{1} (t) - f_{2} (t) ‖}_{1} \leq δ e^{C t},$ (4.15)

for t ∈ (0, T).

Finally, by (4.15), the claim (3.3) is gained, since:

${‖ f_{1} (t) - f_{2} (t) ‖}_{C ([0, T]; {(ℝ^{+})}^{n})} = \underset{t \in [0, T]}{m a x} {‖ f_{1} (t) - f_{2} (t) ‖}_{1} \leq δ e^{C T} .$

5. Conclusion and research perspectives

The mathematical analysis performed in this paper has been addressed to the dependence on the initial data of the discrete thermostatted kinetic framework. Theorem 3.1 ensures the stability in the Hadarmd sense of the framework (2.2), for all T > 0. The constant C > 0, obtained after some technical computations, is explicit and is an important issue for future numerical simulations that may be performed for several applications (see among others [55], [56] and references therein).

Numerical simulations towards the framework (2.2) are a first future research prespective. Specifically, the parameters of the system, i.e. interaction rates η_hk and transition probability densities $B_{h k}^{i}$ , will have an explicit form and meaning related to the particular application taken into account. For instance, the modeling of the tumor-immune system competition may be considere. In this case the functional subsystems are: cells of immune system, normal cells and infected cells (see [57]–[59]). The initial distribution of cells, related to the three different functional subsystems, is gained by statistical analysis; then it may be affected by error. The solutions, related to the real and affected value of the initial data, differs of δ at time t = 0. By using the estimate (3.3), the maximal time time interval where the two solutions are as “close” as possible to each other is estimated.

For Theorem 3.1 the norm ${‖ f ‖}_{C ([0, T]; {(ℝ^{+})}^{n})}$ has been used in according to [18]. A research perspective is the estimate of the distance between the two solutions, during the time evolution, by using another suitable norm which may provide a sharper result. In this perspective, the estimate of distance between the time-derivatives of the two functions may be a next step.

Theorem 3.1 provides stability for the discrete framework when the 2nd-order moment is preserved. The general framework [45], when the generic pth-order moment is preserved, is not investigated in this paper. An interesting future research perspective is the analysis of the general case by using, in a first approach, the same norm of Theorem 3.1.

References

[1]	Bianca C, Riposo J (2015) Mimic therapeutic actions against keloid by thermostatted kinetic theory methods. Eur Phys J Plus 130: 159. doi: 10.1140/epjp/i2015-15159-4
[2]	Bonabeau E, Theraulaz G, Deneubourg JL (1996) Mathematical model of self-organizing hierarchies in animal societies. B Math Biol 58: 661-717. doi: 10.1007/BF02459478
[3]	Choi B, Rempala GA (2012) Inference for discretely observed stochastic kinetic networks with applications to epidemic modeling. Biostatistics 13: 153-165. doi: 10.1093/biostatistics/kxr019
[4]	Conte M, Gerardo-Giorda L, Groppi M (2020) Glioma invasion and its interplay with nervous tissue and therapy: A multiscale model. J Theor Biol 486: 110088. doi: 10.1016/j.jtbi.2019.110088
[5]	Gray A, Greenhalgh D, Hu L, et al. (2011) A stochastic differential equation SIS epidemic model. SIAM J Appl Math 71: 876-902. doi: 10.1137/10081856X
[6]	Hethcote HW (2000) The mathematics of infectious diseases. SIAM Rev 42: 599-653. doi: 10.1137/S0036144500371907
[7]	Masurel L, Bianca C, Lemarchand A (2018) On the learning control effects in the cancer-immune system competition. Physica A: Stat Mech Appl 506: 462-475. doi: 10.1016/j.physa.2018.04.077
[8]	Krause J, Ruxton GD, Ruxton GD, et al. (2002) Living in Groups Oxford: Oxford University Press.
[9]	Poleszczuk J, Macklin P, Enderling H (2016) Agent-based modeling of cancer stem cell driven solid tumor growth. Stem Cell Heterogeneity New York: Humana Press, 335-346.
[10]	Rybokonenko D, Balakhontceva M, Voloshin D, et al. (2015) Agent-based modeling of crowd dynamics on a moving platform. Procedia Comput Sci 66: 317-327. doi: 10.1016/j.procs.2015.11.037
[11]	Spina S, Giorno V, Román-Román P, et al. (2014) A stochastic model of cancer growth subject to an intermittent treatment with combined effects: Reduction in tumor size and rise in growth rate. B Math Biol 76: 2711-2736. doi: 10.1007/s11538-014-0026-8
[12]	Anderson PW (2011) More and Different: Notes from a Thoughtful Curmudgeon World Scientific. doi: 10.1142/8141
[13]	Bar-Yam Y (1997) Dynamics of Complex Systems CRC Press.
[14]	Cilliers P, Spurrett D (1999) Complexity and postmodernism: Understanding complex systems. S Afr J Philos 18: 258-274. doi: 10.1080/02580136.1999.10878187
[15]	Holland JH (2006) Studying complex adaptive systems. J Syst Sci Complex 19: 1-8. doi: 10.1007/s11424-006-0001-z
[16]	Cercignani C (1988) The boltzmann equation. the Boltzmann Equation and its Applications New York: Springer. doi: 10.1007/978-1-4612-1039-9
[17]	Bianca C (2012) Thermostated kinetic equations as models for complex systems in physics and life sciences. Phys life Rev 9: 359-399. doi: 10.1016/j.plrev.2012.08.001
[18]	Bianca C (2012) An existence and uniqueness theorem to the Cauchy problem for thermostatted-KTAP models. Int J Math Anal 6: 813-824.
[19]	Bianca C (2012) Kinetic theory for active particles modelling coupled to Gaussian thermostats. Appl Math Sci 6: 651-660.
[20]	Bianca C (2012) Modeling complex systems by functional subsystems representation and thermostatted-KTAP methods. Appl Math Inform Sci 6: 495-499.
[21]	Wennberg B, Wondmagegne Y (2006) The Kac equation with a thermostatted force field. J Stat Phys 124: 859-880. doi: 10.1007/s10955-005-9020-8
[22]	Hartwell LH, Hopfield JJ, et al. (1999) From molecular to modular cell biology. Nature 402: C47-C52. doi: 10.1038/35011540
[23]	Woese CR (2004) A new biology for a new century. Microbiol Mol Biol Rev 68: 173-186. doi: 10.1128/MMBR.68.2.173-186.2004
[24]	Augere P, de La Parra RB, et al. (2008) Aggregation methods in dynamical systems and applications in population and community dynamics. Phys Life Rev 5: 79-105. doi: 10.1016/j.plrev.2008.02.001
[25]	Perthame B (2006) Transport Equations In Biology Springer Science & Business Media.
[26]	Webb GF (1985) Theory of Nonlinear Age-Dependent Population Dynamics CRC Press.
[27]	Chowell G, Nishiura H (2008) Quantifying the transmission potential of pandemic influenza. Phys Life Rev 5: 50-77. doi: 10.1016/j.plrev.2007.12.001
[28]	Delitala M (2004) Generalized kinetic theory approach to modeling spread and evolution of epidemics. Math Comput Model 39: 1-12. doi: 10.1016/S0895-7177(04)90501-8
[29]	Diekmann O, Heesterbeek JAP (2000) Mathematical epidemiology of infectious diseases. Model building, analysis 5.
[30]	Thieme HR (2018) Mathematics in Population Biology Princeton: Princeton University Press. doi: 10.2307/j.ctv301f9v
[31]	Becker N (1979) The uses of epidemic models. Biometrics 35: 295-305. doi: 10.2307/2529951
[32]	Dietz K, Schenzle D (1985) Mathematical models for infectious disease statistics. A Celebration of Statistics New York: Springer.
[33]	Hethcote HW (1994) A thousand and one epidemic models. Frontiers in Mathematical Biology Berlin: Springer.
[34]	Hethcote HW, Van Ark JW (1987) Epidemiological models for heterogeneous populations: proportionate mixing, parameter estimation, and immunization programs. Math Biosci 84: 85-118. doi: 10.1016/0025-5564(87)90044-7
[35]	Hethcote HW, Stech HW, van den Driessche P (1981) Periodicity and stability in epidemiological models: a survey. Differential Equations and Applications in Ecology, Epidemiology, and Population Problems New York: Academic Press.
[36]	Hethcote HW, Levin SA (1989) Periodicity in epidemiological models. Applied Mathematical Ecology Berlin: Springer.
[37]	Bertram D, Toscani G (2007) Hydrodynamics from kinetic models of conservative economies. Physica A 384: 493-506. doi: 10.1016/j.physa.2007.05.062
[38]	Naldi G, Pareschi L, Toscani G (2010) Mathematical Modeling of Collective Behavior in Socio-Economic and Life Sciences Springer Science & Business Media. doi: 10.1007/978-0-8176-4946-3
[39]	Bianca C, Mogno C (2018) Modelling pedestrian dynamics into a metro station by thermostatted kinetic theory methods. Math Comp Model Dyn 24: 207-235. doi: 10.1080/13873954.2018.1432664
[40]	Iannini MLL, Dickman R (2016) Kinetic theory of vehicular traffic. Am J Phys 84: 135-145. doi: 10.1119/1.4935895
[41]	Dogbé C (2010) Modeling crowd dynamics by the mean-field limit approach. Math Comp Model 52: 1506-1520. doi: 10.1016/j.mcm.2010.06.012
[42]	Carbonaro B, Serra N (2002) Towards mathematical models in psychology: A stochastic description of human feelings. Math Mod Meth Appl S 12: 1453-1490. doi: 10.1142/S0218202502002197
[43]	Carbonaro B, Giordano C (2005) A second step towards a stochastic mathematical description of human feelings. Math Comput Model 41: 587-614. doi: 10.1016/j.mcm.2003.05.021
[44]	Kacperski K (1999) Opinion formation model with strong leader and external impact: A mean field approach. Physica A 269: 511-526. doi: 10.1016/S0378-4371(99)00174-0
[45]	Bianca C, Mogno C (2018) Qualitative analysis of a discrete thermostatted kinetic framework modeling complex adaptive systems. Commun Nonlinear Sci 54: 221-232. doi: 10.1016/j.cnsns.2017.06.007
[46]	Bianca C, Menale M (2019) Existence and uniqueness of nonequilibrium stationary solutions in discrete thermostatted models. Commun Nonlinear Sci 73: 25-34. doi: 10.1016/j.cnsns.2019.01.026
[47]	Cooper EL (2010) Evolution of immune systems from self/not self to danger to artificial immune systems (AIS). Phys Life Rev 7: 55-78. doi: 10.1016/j.plrev.2009.12.001
[48]	Pappalardo F, Palladini A, Pennisi M, et al. (2012) Mathematical and computational models in tumor immunology. Math Model Nat Pheno 7: 186-203. doi: 10.1051/mmnp/20127312
[49]	Carbonaro B, Menale M (2019) Dependence on the initial data for the continuous thermostatted framework. Mathematics 7: 602. doi: 10.3390/math7070602
[50]	Dimarco G, Pareschi L (2013) Asymptotic preserving implicit-explicit Runge–Kutta methods for nonlinear kinetic equations. SIAM J Numer Anal 51: 1064-1087. doi: 10.1137/12087606X
[51]	Dimarco G, Pareschi L (2014) Numerical methods for kinetic equations. Acta Numer 23: 369-520. doi: 10.1017/S0962492914000063
[52]	Dogbe C (2008) On the numerical solutions of second order macroscopic models of pedestrian flows. Comput Math Appl 56: 1884-1898. doi: 10.1016/j.camwa.2008.04.028
[53]	Bianca C, Menale M (2020) Mathematical analysis of a thermostatted equation with a discrete real activity variable. Mathematics 8: 57. doi: 10.3390/math8010057
[54]	Walter W (2012) Differential and Integral Inequalities Springer Science & Business Media.
[55]	Dogbe C (2012) On the modelling of crowd dynamics by generalized kinetic models. J Math Anal Appl 387: 512-532. doi: 10.1016/j.jmaa.2011.09.007
[56]	Gramani L (2009) On the modeling of granular traffic flow by the kinetic theory for active particles trend to equilibrium and macroscopic behavior. Int J Nonlin Mech 44: 263-268. doi: 10.1016/j.ijnonlinmec.2008.11.008
[57]	Derbel L (2004) Analysis of a new model for tumor-immune system competition including long-time scale effects. Math Mod Meth Appl S 14: 1657-1681. doi: 10.1142/S0218202504003738
[58]	Gałach M (2003) Dynamics of the tumor—immune system competition—the effect of time delay. Int J Ap Mat Com-Pol 13: 395-406.
[59]	Kolev M (2003) Mathematical modelling of the competition between tumors and immune system considering the role of the antibodies. Math Comput Model 37: 1143-1152. doi: 10.1016/S0895-7177(03)80018-3

This article has been cited by:

1.	Sana Abdulkream Alharbi, Azmin Sham Rambely, A New ODE-Based Model for Tumor Cells and Immune System Competition, 2020, 8, 2227-7390, 1285, 10.3390/math8081285
2.	Bruno Carbonaro, Marco Menale, Towards the Dependence on Parameters for the Solution of the Thermostatted Kinetic Framework, 2021, 10, 2075-1680, 59, 10.3390/axioms10020059
3.	Carlo Bianca, On the Modeling of Energy-Multisource Networks by the Thermostatted Kinetic Theory Approach: A Review with Research Perspectives, 2022, 15, 1996-1073, 7825, 10.3390/en15217825
4.	Carlo Bianca, Thermostatted Kinetic Theory Structures in Biophysics: Generalizations and Perspectives, 2024, 4, 2673-9909, 1278, 10.3390/appliedmath4040069
5.	Carlo Bianca, A decade of thermostatted kinetic theory models for complex active matter living systems, 2024, 50, 15710645, 72, 10.1016/j.plrev.2024.06.015
6.	Carlo Bianca, The Role of the Table of Games in the Discrete Thermostatted Kinetic Theory, 2024, 12, 2227-7390, 2356, 10.3390/math12152356
7.	Bruno Carbonaro, Marco Menale, A nonconservative kinetic framework under the action of an external force field: Theoretical results with application inspired to ecology, 2023, 34, 0956-7925, 1170, 10.1017/S0956792523000232
8.	Fengling Jia, Peiyan He, Lixin Yang, A Novel Coupled Memristive Izhikevich Neuron Model and Its Complex Dynamics, 2024, 12, 2227-7390, 2244, 10.3390/math12142244
9.	Bruno Carbonaro, Marco Menale, Markov Chains and Kinetic Theory: A Possible Application to Socio-Economic Problems, 2024, 12, 2227-7390, 1571, 10.3390/math12101571
10.	Marco Menale, Ezio Venturino, A kinetic theory approach to modeling prey–predator ecosystems with expertise levels: analysis, simulations and stability considerations, 2024, 43, 2238-3603, 10.1007/s40314-024-02726-2
11.	Muhammad Naeem Aslam, Nadeem Shaukat, Muhammad Sarmad Arshad, Muhammad Waheed Aslam, Javed Hussain, An intelligent approach for analyzing the effects of normal tumor immune unhealthy diet model through unsupervised physics informed neural-networks integrated with meta-heuristic algorithms, 2025, 18, 1864-5909, 10.1007/s12065-024-01007-5

Reader Comments

Your name:*

Email:*
© 2020 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

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

AIMS Biophysics

1.1 2.4

Metrics

Article views(2950) PDF downloads(197) Cited by(11)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Biophysics

The mathematical analysis towards the dependence on the initial data for a discrete thermostatted kinetic framework for biological systems composed of interacting entities

Related Papers:

Abstract

1. Introduction

2. The discrete thermostatted framework

3. Dependence on the initial data

4. Proof of main result

5. Conclusion and research perspectives

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

AIMS Biophysics

The mathematical analysis towards the dependence on the initial data for a discrete thermostatted kinetic framework for biological systems composed of interacting entities

Related Papers:

Abstract

1. Introduction

2. The discrete thermostatted framework

3. Dependence on the initial data

4. Proof of main result

5. Conclusion and research perspectives

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog