## THE DISCRETE GENERALIZED EXCHANGE-DRIVEN SYSTEM

P.K. BARIK, F.P. DA COSTA, J.T. PINTO, AND R. SASPORTES †

Abstract. We study a discrete model for generalized exchange-driven growth in which the particle exchanged between two clusters is not limited to be of size one. This set of models include as special cases the usual exchangedriven growth system and the coagulation-fragmentation system with binary fragmentation. Under reasonable general condition on the rate coefficients we establish the existence of admissible solutions, meaning solutions that are obtained as appropriate limit of solutions to a finite-dimensional truncation of the infinite-dimensional ODE. For these solutions we prove that, in the class of models we call isolated both the total number of particles and the total mass are conserved, whereas in those models we can non-isolated only the mass is conserved. Additionally, under more restrictive growth conditions for the rate equations we obtain uniqueness of solutions to the initial value problems.

## 1. Introduction

The dynamics of growth processes of aggregates, or clusters, is ubiquitous across all the natural world. For instance: in chemistry, polymerization processes [10]; in astrophysics, the creation of stars and planets [24]; in the physics of the atmosphere, the formation of clouds [23]; in solid state physics, deposition processes [21]; in biology, the aggregation of red blood cells [15];in ecology, the grouping behavior of animals [9]; in economics, the merger of enterprises [3], and many more.

By assigning at each time a positive integer to each cluster size, representing their concentrations in the system, the evolution of the cluster sizes' distribution can be mathematically described by differential equations. One well-known mathematical model is the Smoluchowski coagulation equation , see [26], in which two clusters interact, leading to coalescence and the formation of a larger-sized cluster, and its generalization by inclusion of the possibility of fragmentation of the clusters (see, e.g., [4, 5, 8] and references therein). In the early 2000s several authors introduced a different growth model, known as the Exchange Driven Growth model (EDG), arising, inter alia, as the mean field limit for zero-range processes in non-equilibrium statistical physics, and also in modelling several social phenomena including migration, population dynamics and wealth exchange (see e.g. [6, 20, 17, 19]). The mechanism underlying this model involves the exchange of a single unit of mass (a

Date : August 2, 2024.

2020 Mathematics Subject Classification. Primary 34A12; Secondary 34A34, 34A35, 92E20. Key words and phrases. exchange-driven cluster growth, aggregation kinetics, ordinary differential equations.

† Our friend and co-worker Rafael Sasportes (1960-2024) died while this paper was on the final stages of preparation. We dedicate it to his memory.

Research partially supported by Funda¸ c˜o para a Ciˆncia e a Tecnologia (Portugal) through a e project CAMGSD UID/04459/2023.

Corresponding author: F.P. da Costa.

monomer , as it is usually called in the coagulation literature) from one cluster to another whenever they came into interaction.

The first mathematical study of the EDG equation was done by Emre Esent¨rk u in [12] where the existence and uniqueness of solutions to the EDG equations is discussed. In addition, the gelation transition, instantaneous gelation phenomenon and the existence of local solutions for different classes of interaction rates are also addressed. The large time behaviour of solutions was also investigated for different classes of reaction rates, see [13, 14]. In the recent work [25] Schlichting investigates the well-posedness of solutions to the EDG equation in which the conditions on initial data are relaxed when compared to those in [12]. Additionally, qualitative aspects such as the long-time behavior of the solution are also discussed. Furthermore, a study of self-similar solutions is carried out, specifically focusing on the product interaction rate, as detailed in [11].

In the present paper our primary goal is to propose a new, more general, discrete model for exchange-driven growth of cluster and start its mathematical study. This new model will be refered to as the discrete generalized exchange-driven growth model (DGED, for short). As explained in the next session, the DGED model allows for the exchange not only of a monomer between two interacting clusters, but of the transfer of a bigger chunk of one cluster to the other. Thus, the DGED model includes as a special case the EDG model referred to above. In a certain sense, the usual coagulation-fragmentation equations (with binary fragmentation) can also be considered as a special case of the DGED equations.

The outline of this article is as follows. In sections 2 and 3, we introduce the DGED model for two cases that, in section 2, are called isolated and non-isolated , and some relevant mathematical notions and results that will be needed later in this work. In section 4 we consider a truncated finite dimensional version of the DGED system. This is a finite dimensional ordinary differential equation system, for which the existence, uniqueness, and non-negativity of solutions to Cauchy problems are automatically obtained from the standard theory. Here we prove some properties of its solutions that will play an important role in the next section. In section 5 we establish the existence of mild solutions to Cauchy problems for the DGED system, i.e., continuous solutions of the integral version of the differential equations system. This is done by the use of Helly's theorem and a diagonal argument to establish the existence of a function which is the limit of a (sub)sequence of solutions to truncated systems as the dimension of the truncation grows to infinity, and then by proving that this function is indeed a (mild) solution of the DGED system using appropriate bounds (obtained in the previous two sections) and the bounded and monotone convergence theorems. Still in section 5 we prove that for the isolated case solutions obtained in this way (which are called admissible ) conserve two important quantities, which have the 'physical' interpretation of being the total number of clusters, and the total mass of the system, whereas in the non-isolated case only mass is conserved. In the short section 6 we prove that under slightly more restrictive conditions on the rate coefficients of the DGED system and assuming conservation of the total cluster mass (which is true for admissible solutions in both the isolated and non-isolated cases), then each component of the mild solution proved to exist in section 5 is indeed continuously differentiable. In Section 7, we state and prove a uniqueness result under a more restrictive growth condition on the rate coefficients,

applying standard techniques used in coagulation-type systems. We conclude the paper with a section of final remarks where we discuss some possible future work related to the long-term behavior of solutions for this model.

## 2. The generalized exchange-driven growth model

Consider a population of particles with sizes described by p ∈ N = { 0 1 2 , , , . . . } . For each size p and each time t , let c p ( ) t be the concentration of particles of size p (or p -clusters, for short) at time t . Then, we assume that a chunk of size k /lessorequalslant p can be detached from this particle and attached to another of size q , schematically represented by

$$\langle p \rangle + \langle q \rangle \rightarrow \langle p - k \rangle + \langle q + k \rangle.$$

Figure 1 gives a pictorial illustration of this process.

Figure 1. Reaction scheme of the DGED model considered in this paper. A chunk of size k in a particle of size p is transferred to a particle of size q to produce a particle of size p -k and another of size q + . The rate coefficient for this reaction is k a p, q ( ; k ) /greaterorequalslant 0 .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00345v1-figure-b4d845fd-f40b-42a1-aed1-cfb94e5f9186.jpg)

Assuming the validity of the mass action law of chemical kinetics, the rate of production of ( p -k )-clusters and ( q + k )-clusters due to the reaction between p -clusters and q -clusters, according to the mechanism displayed in Figure 1, is equal to a p, q ( ; k c ) p ( ) t c q ( ) t , where the rate coefficient is a p, q ( ; k . )

Hereafter a p, q ( ; k ) will denote the rate of the reaction in which a k -cluster is detached from a p -cluster and attaches itself to a q -cluster. Clearly, we must have p, q, k ∈ N with p /greaterorequalslant 1, and 1 /lessorequalslant k /lessorequalslant p because the case k = 0 is the absence of reaction and k &gt; p does not make physical sense as we cannot detach from a given cluster a part bigger than the entire cluster. However, we will allow k = p in (1), which means that the entire p -cluster is attached to the q -cluster in the reaction

$$\langle p \rangle + \langle q \rangle \rightarrow \langle 0 \rangle + \langle q + p \rangle.$$

This is very much like the usual coagulation reaction (see, e.g., [8]) but for the consideration of the 'void', or 'empty', cluster 〈 0 . 〉

In a similar way, if we consider q = 0 in the reaction scheme (1) it becomes

$$\langle p \rangle + \langle 0 \rangle \rightarrow \langle p - k \rangle + \langle k \rangle,$$

and this is a kind of fragmentation of the non-void cluster. Figure 2 illustrates the domain of a p, q ( ; k ) and the regions just described.

Allowing the kind of reactions where the void clusters are destroyed by reaction with other clusters, means that one is considering the class of so called active exchange driven models (in the classification of Esenturk and Connaughton [13]). This is what will be done in this paper.

Figure 2. Domain of the rate coefficients a p, q ( ; k ): region of N 3 bounded by the planes q = 0 (corresponding to binary fragmentation) and k = p (corresponding to coagulation).

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00345v1-figure-d00f0622-4090-48af-8560-a2e63160fee4.jpg)

The way the dynamics of the void clusters is considered provides a further classification of the models under consideration: two natural choices correspond to open, or non-isolated , and to isolated thermodynamic systems. In the first case we can assume that the cluster system is embedded in an infinite size bath of void particles such that the concentration of 〈 0 〉 particles remains constant in time, i.e., ˙ c 0 ( ) = 0 t , ∀ t ; in the second case one assumes that the dynamics of the cluster system, including the void particles, is such that the total number of clusters is conserved (at least at a formal level) and so there is the need to have a dynamic equation describing the evolution of the concentration of clusters 〈 0 〉 compatible with this assumption. This same distinction can be see in [22] for the role of the monomers ( 1 〈 〉 particles) in the context of the dynamic of cluster equations of Becker-D¨ring o type.

Returning to the above reaction schemes involving the void cluster, we note that its presence can have two distinct effects according to whether the system is isolated or not. In the non-isolated case, where the concentration of 〈 0 〉 is constant, the reactions are exactly the coagulation and the binary fragmentation reactions considered in coagulation-fragmentation studies. Thus, for that case, the rate coefficients a p, q ( ; p ) and a p, ( 0 , k ) correspond to reactions of coagulation and binary fragmentation, respectively, and all the other cases (with 0 &lt; k &lt; p ) correspond to genuine exchange of pieces of the p -cluster to the q -cluster. In the case of the isolated model, where the concentration of 〈 0 〉 is not necessarily constant, then the mass action law for the reaction corresponding to the destruction of void clusters produces a nonlinear differential equation and the parallel with the usual fragmentation equations is less straightforward.

The DGED system describes, for each i ∈ N , the time evolution of the concentration of the i -clusters and is obtained by keeping track of the various ways an i -cluster can be formed or destroyed by the kinetics of the type (1). As in previous studies of exchange-driven kinetics, such as [12, 14, 25], we also consider clusters of size zero, the void, or empty, clusters. As we shall see this is rather convenient, enabling, in the isolated model, the existence of an additional conservation law, and, in the non-isolated model, the recovery of the usual discrete coagulation-fragmentation model as a particular case.

In order to introduce the DGED system we have to consider the various ways that lead to the creation and the destruction of an i -cluster, which we do next, starting with the case of the isolated system.

In scheme (1), one i -cluster is created if (i) p -k = , or if (ii) i q + k = i. Likewise, one i -cluster is destroyed if (iii) q = , or if (iv) i p = i. In the case of creation (i), for every k ∈ N + := N \ { 0 } , we have to consider all the indices combinations for which p = i + k and q = j, for any j ∈ N . Therefore, in this case, the formation of an i -cluster proceeds through the scheme (1) illustrated in Figure 1 and, by the mass action law, its contribution to the global rate of change of c i ( ) is given by t

$$Q _ { 1, i } ( c ( t ) ) \coloneqq \sum _ { k = 1 } ^ { \infty } \sum _ { j = 0 } ^ { \infty } a ( i + k, j ; k ) c _ { i + k } ( t ) c _ { j } ( t ).$$

For the destruction case (iii), we have to consider all possible indices combinations with q = i, that is, j := p /greaterorequalslant k /greaterorequalslant 1. The corresponding contribution to the global rate of change of c i ( ) is thus t

$$\mu _ { 0 } \quad \partial _ { 0 } Q _ { 2, i } ( c ( t ) ) \coloneqq - \sum _ { k = 1 } ^ { \infty } \sum _ { j = k } ^ { \infty } a ( j, i ; k ) c _ { j } ( t ) c _ { i } ( t ).$$

For the creation case (ii), we have to consider all possible indices combinations for which q = i -k, that is, for 1 /lessorequalslant k /lessorequalslant i, we have p /greaterorequalslant k, which, by calling j := p leads to the contribution

$$Q _ { 3, i } ( c ( t ) ) \coloneqq & \sum _ { k = 1 } ^ { i } \sum _ { j = k } ^ { \infty } a ( j, i - k ; k ) c _ { j } ( t ) c _ { i - k } ( t ).$$

Finally, for the destruction case (iv), we have to consider the indices combinations for which k /lessorequalslant p = i, q ∈ N . By calling j := q, the corresponding contribution to the rate equation is

$$Q _ { 4, i } ( c ( t ) ) \coloneqq - \sum _ { k = 1 } ^ { i } \sum _ { j = 0 } ^ { \infty } a ( i, j ; k ) c _ { j } ( t ) c _ { i } ( t ).$$

Clearly the processes leading to Q 3 ,i and Q 4 ,i cannot be in operation when i = 0 because they require the consideration of clusters with size smaller than i . Hence we define Q 3 0 , = Q 4 0 , = 0 .

If the system is not isolated but instead the number density of 0-clusters is kept constant at some fixed value c 0 ( ) t = c 00 the equation for the evolution of c 0 ( ) t becomes simply

$$\dot { c } _ { 0 } = 0.$$

Hence, for this case Q j, 0 = 0 , for all j = 1 2 3 4 , , , .

Thus, in all cases, the Discrete Generalized Exchange Driven system (DGED) can be written as

$$\dot { c } _ { i } = \sum _ { j = 1 } ^ { 4 } Q _ { j, i } ( c ), \quad i \in \mathbb { N }. \quad \quad \quad ( 7 )$$

We are particularly interested in the study of Cauchy problems for (7) considering the initial condition

$$c _ { i } ( 0 ) = c _ { 0 i } \geqslant 0, \quad \text{for $i\in\mathbb{N}$}.$$

We remark that all terms Q j,i contain terms of the type a p, ( 0; p c ) p ( ) t c 0 ( ) t , which corresponds to reactions

$$\langle p \rangle + \langle 0 \rangle \rightarrow \langle 0 \rangle + \langle p \rangle,$$

that, in fact, do not correspond to any change in the cluster size distribution. They are included in each of the Q j,i for notational convenience only and, in fact, they cancel each other in (7) (the j = 0 terms in Q 1 0 , cancels the j = k terms in Q 2 0 , , and the k = i = j term in Q 3 ,i cancels the term with k = i and j = 0 in Q 4 ,i . ) However, when taken in isolation each Q j,i contains these spurious, unphysical, contributions and since in the definition of solution one requires that each Q j,i ( c ( )) be integrable · in (0 , T ) (see Definition 3.1) we need to make some assumption on the coefficients a p, ( 0; p ). Given the discussion above we define them as

$$a ( p, 0 ; p ) = 0, \, \forall p \in \mathbb { N } _ { + }.$$

We will also assume that the following symmetry relations always hold:

$$a ( k, j ; k ) = a ( j, k ; j ), \ \forall j, k \in \mathbb { N } _ { + },$$

$$a ( i, 0 ; k ) = a ( i, 0 ; i - k ), \, \forall k \in \{ 1, \dots, i - 1 \}, i \in \mathbb { N } _ { + }. \quad \quad ( 1 1 )$$

Condition (10) is due to the fact that, as pointed out above, each rate coefficient a i, j ( ; k ) with i = k corresponds to the rate of a coagulation reaction of a k -cluster with a j -cluster (to produce a ( j + )-cluster) and thus this is the usual symmetry k assumption due to the fact that a coagulation reaction of a k with a j -cluster is the same as the reaction of a j with a k -cluster. Similarly, (11) correspond to the symmetry of the rates of the reaction 〈 〉 i + 0 〈 〉 → 〈 i -k 〉 + 〈 k 〉 , when interpreted as a fragmentation of the i -cluster produced by the shedding off a k -cluster, or by the shedding off a ( i -k )-cluster.

/negationslash

Observe that if the rate coefficients satisfy a i, j ( ; k ) = 0 if k = 1 , we obtain the exchange-driven growth system introduced in [6] and studied mathematically in [11, 12, 13, 14, 25], with rate coefficients K i, j ( ) . In this case,

$$\forall i, k \in \mathbb { N } _ { + }, \, j \in \mathbb { N }, \, \ a ( i, j ; k ) = K ( i, j ) \delta _ { k, 1 }, \, \quad \quad ( 1 2 )$$

where δ k, 1 is the Kronecker δ -symbol equal to 1 if k = 1 and zero otherwise,.

As was already pointed out in section 2, it is interesting to observe that, if the rate coefficients satisfy

$$a ( k, j ; k ) \geqslant 0,$$

$$a ( i, 0 ; k ) \geqslant 0,$$

and all the other cases are equal to zero, and the symmetry conditions (10)-(11) hold, then DGED system in the non-isolated case is reduced to the usual discrete coagulation-fragmentation equations. In fact,

observe that with these conditions we get

$$Q _ { 1, i } ( c ) \stackrel { ( 1 4 ) } { = } \sum _ { k = 1 } ^ { \infty } a ( i + k, 0 ; k ) c _ { i + k } c _ { 0 }$$

$$Q _ { 2, i } ( c ) \stackrel { ( 1 3 ) } { = } - \sum _ { k = 1 } ^ { \infty } a ( k, i ; k ) c _ { k } c _ { i } \quad \quad \quad$$

$$Q _ { 3, i } ( c ) \overset { \cdot \cdot } { = } \sum _ { j = i } ^ { \cdot \cdot } a ( j, 0 ; i ) c _ { j } c _ { 0 } + \sum _$$

$$Q _ { 4, i } ( c ) \overset { ( 1 3 ), ( 1 4$$

Now, due to (9), the terms j = i in the first sum in (17), k = i in the second sum in (17) and in the first sum in (18), and j = 0 in the second sum in (18) are all equal to zero, and using the symmetry conditions (10) and (11)

$$\begin{array} {$$

$$\sum _ { j = i + 1 } ^ { \nu } a ( j, 0 ; i$$

then, putting together (15)-(19) we obtain, for i &gt; 1,

$$\sum _ { \ } ^ { 4 } Q _ { j, i } ( c ) = \$$

$$\sum _ { j = 1 } ^ { 4 } Q _ { j, i } ( c )$$

and so we can write the DGED system as

$$\dot { c } _ { i } = \frac { 1 } { 2 } \sum _ { k = 1 } ^ { i - 1 } W _ { k, i - k } ( c ) - \sum _ { k = 1 }$$

where W i,j ( c ) := 2 a i, j ( ; i ) c c i j -2 a i ( + j, 0; j ) c i + j c 0 . Clearly, if our system is immersed in an infinite particle bath of 0-cluster particles (which means that the concentration of 0-particles is kept constant) and if we define a i,j := 2 a i, j ( ; i ) and b i,j := 2 a i ( + j, 0; j ) c 0 , then (21) becomes the usual discrete coagulationfragmentation equation [8]. Therefore, in this case we have

$$\forall i, j, k \in \mathbb { N } _ { + }, \ k \leqslant i, \ \ a ( i, j ; k ) = \frac { 1 } { 2 } a _ { i$$

$$\forall i, k \in \mathbb { N } _ { + }, \, k \leqslant i, \ \ a ( i, 0 ; k ) c _ { 0 } = \frac { \mu } { 2$$

## 3. Mathematical setting

In this section we introduce the notion of solution to the initial value problem (7), (8) that we consider in this work as well as other concepts that we will be useful in the following. Also, we introduce here the hypothesis we will consider for the rate coefficients a i, j ( ; k . )

We start by introducing the concentration moments. For r /greaterorequalslant 0, we denote by P r ( ) the t r -th moment of the solution c t ( ) at a given time t :

$$\mathcal { P } _ { r } ( t ) \coloneqq \sum _ { i = 0 } ^ { \theta } i ^ { r } c _ { i } ( t ). \quad \quad \quad$$

In the cases of r = 0 and r = 1, the moments have a natural physical interpretation: P 0 ( ) t represents the total number of particles in the system, while P 1 ( ) t is the system total mass. This is the reason that, for these type of models, it is anticipated that both these moments are invariant under time evolution.

The above-mentioned physical interpretation suggests that, analogously to previous works on coagulation-type systems, it is natural to work in the Banach space

$$X _ { 0, 1 } \coloneqq \{ c \, \colon \, & N \to \mathbb { R } \, | \, \| c \| \coloneqq \| c \| _ { \$$

Also due to the physical interpretation of c = ( c i ) as a sequence of concentrations, we will be exclusively interested in solutions in the non-negative cone of X 0 1 , , where ‖ u ‖ /lscript 1 := ∑ ∞ i =0 | u i | is the usual /lscript 1 norm of the sequence u : N → R .

$$X _ { 0, 1 } ^ { + } \coloneqq X _ { 0, 1 } \cap \{ c = ( c _ { i } ) \, | \, c _ { i } \geqslant 0 \}.$$

We are now ready to state the following

Definition 3.1. Let T ∈ (0 , + ∞ ] and let c 0 = ( c 0 i ) ∈ X + 0 1 , be a sequence of nonnegative real numbers. A (mild) solution to (7) , (8) on [0 , T ) is a sequence of nonnegative continuous functions c = ( c i ) : [0 , T ) → X + 0 1 , , such that, for each i ∈ N and t ∈ (0 , T ) , the following holds:

- (i) c i ∈ C 0 ([0 , T )) ,
- (ii) Q j,i ( c ( )) · ∈ L 1 (0 , t ) , j ∈ { 1 2 3 4 , , , } ,
- (iii) and

$$c _ { i } ( t ) = c _ { 0 i } + \int _ { 0 } ^ { t } \sum _ { j = 1 } ^ { 4 } Q _ { j, i } ( c ( s ) ) \, d s.$$

With respect to the bounds on the rate coefficients, we assume the existence of positive constants C and Q , which as a matter of convenience we take C, Q /greaterorequalslant 1, as well as non-negative numbers q i,k , 1 /lessorequalslant k /lessorequalslant i, verifying

$$\forall i \in \mathbb { N } _ { + }, \quad \sum _ { k = 1 } ^ { i } k ( i - k + 1 ) q _ { i, k } \leqslant \mathcal { Q } i, \quad \quad ( 2 7 )$$

such that, for all integers i, k such that 1 /lessorequalslant k /lessorequalslant i, and all j ∈ N + ,

$$a ( i, j ; k ) \leqslant C ( i - k + 1 ) ( j + k ) q _ { i, k }.$$

One important bound for our subsequent arguments comes from the fact that, for every pair of integers i, k such that 1 /lessorequalslant k /lessorequalslant i, we have

$$i \sum _ { k = 1 } ^ { i } q _ { i, k } = \min _ { 1 \leqslant k \leqslant i } \{ k ( i - k + 1 ) \} \sum _ { k = 1 } ^ { i } q _ { i, k } \leqslant \sum _ { k = 1 } ^ { i } k ( i - k + 1 ) q _ { i, k } \leqslant \mathcal { Q } i,$$

thus resulting in i ∑ k =1 q i,k /lessorequalslant Q , and, in particular,

$$q _ { i, k } \leqslant \mathcal { Q }.$$

Remark that for the exchange driven growth system with kernel verifying K i, j ( ) /lessorequalslant C ij 0 , for i, j ∈ N + , by (12), we have, for all i, j ∈ N +

$$a ( i, j ; k ) = K ( i, j ) \delta _ { k, 1 } \leqslant C _ { 0 } i j \delta _ { k, 1 } \leqslant C _ { 0 } i ( j + 1 ) \delta _ { k, 1 }$$

which is (28) with C = C 0 and q i,k = δ k, 1 , observing that (27) is also verified since,

$$\sum _ { k = 1 } ^ { i } k ( i - k + 1 ) q _ { i, k } = \sum _ { k = 1 } ^ { i } k ( i - k + 1 ) \delta _ { k, 1 } = i,$$

so that we can take Q = 1 in this case.

In fact, this is a particular case of the more general one for which there is an upper bound, ¯ k /greaterorequalslant 1 , for the number of particles exchanged between two reacting clusters of any sizes, that is,

$$a ( i, j ; k ) = 0, \text{ \ if } \ k > \bar { k }.$$

We now show that, for this case, the existence of a constant ¯ C &gt; 0 such that, for i, j, k ∈ N + ,

$$a ( i, j ; k ) \leqslant \bar { C } i j, \quad 1 \leqslant k \leqslant \min ( i, \bar { k } )$$

is equivalent to the existence of C /greaterorequalslant 1 such that (28) is satisfied with q i,k = 1 { 1 ,...,k ¯ } ( k , ) for which (27) is true. In first place, it is easy to see that this choice of q i,k verifies (27):

$$\sum _ { k = 1 } ^ { i } k ( i - k + 1 ) \mathbf 1 _ { \{ 1, \dots, \bar { k } \} } ( k ) = \sum _ { k = 1 } ^ { \min ( i, \bar { k } ) } k ( i - k + 1 ) \leqslant \bar { k } ^ { 2 } i. \quad _ { - }$$

Furthermore, on one hand, for any i, j, k ∈ N + , such that 1 /lessorequalslant k /lessorequalslant min( i, k ¯ ) , we have

$$( i - k + 1 ) ( j + k ) \leqslant i j \left ( 1 + \frac { k } { j } \right ) \leqslant ( 1 + \bar { k } ) i j,$$

and on the other, we also have, in case i /greaterorequalslant ¯ k,

$$( i - k + 1 ) ( j + k ) \geqslant i j \left ( 1 - \frac { k - 1 } { i } \right ) \geqslant i j \left ( 1 - \frac { \bar { k } - 1 } { \bar { k } } \right ) = \frac { 1 } { \bar { k } } i j,$$

and in case i &lt; k, ¯

$$( i - k + 1 ) ( j + k ) \geqslant j \geqslant \frac { 1 } { k } i j. \\ \hat { \infty } \sim \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ddots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cd: \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \collections \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \vdots \text{$\dagger}$}$$

Therefore, if condition (28) holds with the above choice of q i,k which also verifies (27), then condition (30) is verified with ¯ C = (1 + ¯ ) k C. Reciprocally, if the rate coefficients verifies (30) then conditions (27),(28) hold with the above choice of q i,k and C = ¯ ¯ kC.

An example of a strictly positive rate coefficient a i, j ( ; k ) without a fixed upper bound ¯ on the size of clusters being exchanged is the constant kernel k a i, j ( ; k ) = 1, for which we have

$$1 = \frac { ( i - k + 1 ) ( j + k + 1 ) } { ( i - k + 1 ) ( j + k + 1 ) } \leqslant 2 \, \frac { ( i - k + 1 ) ( j + k ) } { ( i - k + 1 ) k } = \colon 2 \, ( i - k + 1 ) ( j + k ) q _ { i, k }.$$

Clearly, the symmetry conditions (10) and (11), as well as the bound (27), are trivially satisfied.

A less trivial example of the same sort but such that the rate coefficients are unbounded is

$$a ( i, j ; k ) = \frac { ( i - k + 1 ) ( j + k + 1 ) } { 1 + ( i - k ) k },$$

for which checking the symmetry and growth conditions are also easily done.

Finally, for the coagulation-fragmentation case with upper bound on the coagulation rate coefficients of the type a i,j /lessorequalslant C 1 ( i + ) by (22), we have, j ,

$$a ( i, j ; k ) = \frac { 1 } { 2 } a _ { i, j } \delta _ { i, k } \leqslant \frac { C _ { 1 } } { 2 } ( i + j ) \delta _ { i, k },$$

which is again (28), this time taking C = max(1 , C 1 / 2) and q i,k = δ i,k , remarking also that

$$\sum _ { k = 1 } ^ { i } k ( i - k + 1 ) q _ { i, k } = \sum _ { k = 1 } ^ { i } k ( i - k + 1 ) \delta _ { i, k } = i \\. \quad \. \quad \. \quad \. \quad \. \quad \. \quad \.$$

so that we can again take Q = 1 . Remark that no bounds are imposed on the coefficients a i, ( 0; j ) , which allows us to consider any choice of fragmentation coefficients b i -j,j .

We therefore conclude that the cases of the exchange driven system growth with kernel of multiplicative bound type and the coagulation-fragmentation system with coagulation kernel with linear additive bound are both particular cases of the discrete generalized exchange driven system with bounds of the type (27)-(28).

Prior to establish the existence result in section 5, it is imperative to revisit certain notations and to get some inequalities that will be needed later. Let us first recall the space E from [18], defined as the set of non-negative and convex functions σ ∈ C 1 ([0 , ∞ ∩ )) W 2 , ∞ loc (0 , ∞ ) with σ (0) = 0, σ ′ (0) /greaterorequalslant 0 and σ ′ is a concave function. Assume furthermore that these functions satisfy the following condition:

$$\lim _ { r \to \infty } \sigma ^ { \prime } ( r ) = \lim _ { r \to \infty } \frac { \sigma ( r ) } { r } = \infty.$$

Next, we define E 1 to be the set of all non-negative and convex functions σ ∈ C 2 ([0 , ∞ )) with σ (0) = 0, σ ′ (0) = 0, and σ ′ is a convex function satisfying the ∆ 2 -condition, that is, there is a constant A σ /greaterorequalslant 0 , such that

$$\sigma ^ { \prime } ( 2 x ) \leqslant A _ { \sigma } \sigma ^ { \prime } ( x ), \ \ x \in [ 0, \infty ).$$

For example: if σ x ( ) = x p , then σ ∈ E if p ∈ (1 , 2], and σ ∈ E 1 if p /greaterorequalslant 2.

Instrumental to the proofs of our subsequent results is the following inequality that we recall from [18, Lemma 3.2.], which is valid for all σ ∈ E ∪ E 1 :

$$( i + j ) ( \sigma ( i + j ) - \sigma ( i ) - \sigma ( j ) ) \leqslant m _ { \sigma } ( i \sigma ( j ) + j \sigma ( i ) ), \ \forall i \geqslant 0, j \geqslant 1. \quad ( 3 3 )$$

Here, m σ /greaterorequalslant 0 is a constant that, in case σ ∈ E , can be taken as m σ = 2 . We have, as a consequence,

Lemma 3.2. Assume σ ∈ E 1 ∪ E . Then, for all i, j, k ∈ N + such that k /lessorequalslant i, we have

$$( j + k ) ( \sigma ( i - k ) + \sigma ( j + k ) - \sigma ( i ) - \sigma ( j ) ) \leqslant m _ { \sigma } ( j \sigma ( k ) + k \sigma ( j ) ).$$

Proof. First, write

$$\sigma ( i - k ) + \sigma ( j + k ) - \sigma ( i ) - \sigma ( j ) \\ = \left ( \sigma ( j + k ) - \sigma ( j ) - \sigma ( k ) \right ) - \left ( \sigma ( i ) - \sigma ( i - k ) - \sigma ( k ) \right ). \quad ( 3 4 ) \\ \text{For each } a > 0 \, \text{define } \emptyset. ( r ) \coloneqq \sigma ( r ) - \sigma ( a ) - \sigma ( r - a ) \, \text{ Then } \text{ for any } r > a \, \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{  \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{} \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{$$

For each a /greaterorequalslant 0 define φ a ( x ) := σ x ( ) -σ a ( ) -σ x ( -a . ) Then, for any x /greaterorequalslant a, by the convexity of σ we have,

$$\phi _ { a } ^ { \prime } ( x ) = \sigma ^ { \prime } ( x ) - \sigma ^ { \prime } ( x - a ) \geqslant 0.$$

But then, since φ a ( a ) = 0 , we conclude that, φ a ( x ) /greaterorequalslant 0 . Therefore,

$$\sigma ( i ) - \sigma ( i - k ) - \sigma ( k ) = \phi _ { i - k } ( i ) \geqslant 0.$$

By using this in (34), together with (33) the proof is completed. /square

We also have the following important property:

Lemma 3.3. Let σ ∈ E . Then, there are constants η &gt; 0 and M &gt; 0 0 such that, for any integers p /greaterorequalslant M , 0 and k ∈ [1 , p -1] ,

$$\sigma ( p ) - \sigma ( p - k ) - \sigma ( k ) \geqslant \eta \frac { \sigma ( p - 1 ) } { p - 1 }.$$

Proof. Define

$$\phi _ { p } ( k ) \coloneqq \sigma ( p - k ) + \sigma ( k ), \ \ k \in [ 1, p ].$$

Then, φ p ( k ) = φ p ( p -k ) and also, if 1 /lessorequalslant k /lessorequalslant p/ 2 , then p/ 2 /lessorequalslant p -k /lessorequalslant p -1 . Hence, by the convexity of σ, we have that σ ′ ( p -k ) /greaterorequalslant σ ′ ( k , ) and therefore,

$$\phi ^ { \prime } _ { p } ( k ) = - \sigma ^ { \prime } ( p - k ) + \sigma ^ { \prime } ( k ) \leqslant 0, \quad \phi ^ { \prime } _ { p } ( p - k ) \geqslant 0.$$

This implies that max k ∈ [1 ,p -1] φ p ( k ) = φ p (1) = φ p ( p -1) . Thus,

$$\min _ { k \in [ 1, p - 1 ] } \left ( \sigma ( p ) - \sigma ( p - k ) - \sigma ( k ) \right ) = \sigma ( p ) - \sigma ( p - 1 ) - \sigma ( 1 ). \quad \ \ ( 3 5 ) \\ \intertext { n.... n... n........................................................................................................................................................................................................ }$$

By the Lagrange theorem and the convexity of σ we can infer

$$\sigma ( p ) - \sigma ( p - 1 ) \geqslant \sigma ^ { \prime } ( p - 1 ).$$

On the other hand, again by the Lagrange theorem and convexity of σ,

$$\sigma ( p - 1 ) = \sigma ( p - 1 ) - \sigma ( 0 ) \leqslant \sigma ^ { \prime } ( p - 1 ) ( p - 1 ),$$

and therefore,

$$\sigma ( p ) - \sigma ( p - 1 ) - \sigma ( 1 ) \geqslant \frac { \sigma ( p - 1 ) } { p - 1 } - \sigma ( 1 ) = \frac { \sigma ( p - 1 ) } { p - 1 } \left ( 1 - \sigma ( 1 ) \frac { p - 1 } { \sigma ( p - 1 ) } \right ).$$

Fix η ∈ (0 , 1) . Since σ ∈ E , there is M &gt; 0 0 such that,

$$p \geqslant M _ { 0 } \ \implies \ \sigma ( 1 ) \frac { p - 1 } { \sigma ( p - 1 ) } \leqslant 1 - \eta,$$

so that,

$$\sigma ( p ) - \sigma ( p - 1 ) - \sigma ( 1 ) \geqslant \eta \frac { \sigma ( p - 1 ) } { p - 1 }.$$

By using this inequality in (35) the lemma is proved.

/square

and

$$c _ { i } ^ { N } ( 0 ) = c _ { 0 i } \geqslant 0, \quad i \in \{ 0, \dots, N \}.$$

In the non-isolated case the N -DGED system is the same as in (36) but for the c 0 -equation which is substituted by ˙ c 0 = 0 , or, equivalently, we define, for all j and N ,

$$Q _ { j, 0 } ^ { N } = 0.$$

Being an ordinary differential equation in R N +1 with a polynomial vector field, the existence and uniqueness of solutions to the initial value problem are ensured by the standard Picard-Lindel¨f theorem (see, e.g., [16, Theorem I-1-4]). o It is also easy to conclude by standard arguments (see, e.g., the proof of Theorem III-4-5 in [16]) that R ( N +1)+ is invariant for the local flow associated with (36), which means that nonnegative initial data have unique nonnegative local solutions. The following result is important for the remaining analysis

## 4. The truncated system

We will consider N -truncated systems that are obtained from (7) assuming that no clusters with sizes bigger than N exist initially neither can they be formed by time evolution. This corresponds to a modification of the rate coefficients by making them zero whenever the reaction in question involves clusters larger than N . An equivalent and maybe a more transparent way of reflecting this is to appropriately modify the sums in Q j,i and consider the finite-dimensional system with i ∈ { 0 1 , , . . . , N } . It is not hard to see that, in the case of isolated systems, the following system fulfills the condition above, and so we will call it the N -truncated discrete generalized exchange-driven system ( N -DGED for short):

where

$$\text{$\text{$merialized exchange-driven system}$} \left ( N { - } { \text{$GED for short}$} \right ) ; \\ \begin{cases} \dot { c } _ { 0 } = \sum _ { j = 1 } ^ { 2 } Q _ { j, 0 } ^ { N } ( c ) \\ \dot { c } _ { i } = \sum _ { j = 1 } ^ { 4 } Q _ { j, i } ^ { N } ( c ), & i \in \{ 1, \dots, N - 1 \} & ( 3 6 ) \\ \dot { c } _ { N } = \sum _ { j = 3 } ^ { 4 } Q _ { j, N } ^ { N } ( c ), \end{cases} \\ \begin{cases} \\ \sum _ { j = 1 } ^ { N - i } N { - } { \text{$N - k } } \\ \end{cases} \right ) \end{cases}$$

$$Q _ { 1, i } ^ { N } ( c ) \coloneqq \sum _ { k = 1 } ^ { N - i } \sum _ { j = 0 } ^ { N - k } a ( i + k, j ; k ) c _ { i + k } c _ { j },$$

$$Q _ { 2, i } ^ { N } ( c ) \coloneqq - \sum _ { k = 1 } ^ { \mu } \sum _ { j = k } ^ { N } a ( j, i ; k ) c _ { j } c _ { i },$$

$$Q _ { 3, i } ^ { N } ( c ) \coloneqq \sum _ { k = 1 } ^ { i } \sum _ { j = k } ^ { N } a ( j, i - k ; k ) c _ { j } c _ { i - k },$$

$$Q _ { 4, i } ^ { N } ( c ) \coloneqq - \sum _$$

Proposition 4.1. Let c N = ( c N i ) 0 /lessorequalslant i /lessorequalslant N be any solution of (36) -(40) in the isolated case. Then, for every ( g i ) we have

$$\frac { d } { d t } \sum _ { i = 0 } ^ { N } g$$

Proof. Let us first take the summation of the quantity g c i ˙ N i from i = 0 to i = N . Then, from (36), it can be inferred that

$$\frac { d } { d t } \sum _ { i = 0 } ^ { N } g$$

Next, we simplify some terms on the right-hand side of (44). To do this, we will start with the third sum on the right-hand side of (44). Changing the order of summation of the sums in i and k and renaming i + k → i , it can be rewritten

↦

$$\begin{array} { l l l } \text{start} \, \text{with}$$

In the same vein, the fourth sum in (44) can be rearranged by changing the order of the sums twice, first to exchange the i and k sums and then the i and j sums, and finally changing notation i ↔ j, giving

$$\begin{array} {$$

Similarly, the fifth sum can be rearranged by exchanging the i and k sums, then introducing i ′ = i -k, changing again the order of the i ′ and j sums, and finally

change notation j → i and i ′ → j . In the end we get

↦

↦

$$\begin{array} {$$

Furthermore, let us write the sixth summation in simplified form by changing the order of the i and k sums:

$$& \text{under on use } \text{and use} \text{.} \\ & \sum$$

Let us now incorporate the results obtained from equations (45)-(48) into equation (44). The revised expression after these substitutions is

$$\text{Let us now incorporate the results obtained from equations (45)-(48) into equation}$$

Furthermore, we again write (49) into the following concise form:

$$\text{Furthermore, we again write (49) into the following concise form:} \\ \frac {$$

This completes the proof of Proposition 4.1.

/square

It is easy to observe that the right-hand side of (43) is identically zero when g i = , and i g i = 1, thus proving the following two conservation laws:

Corollary 4.2. All non negative solutions to (36) in the isolated case conserve the total number of initial clusters ‖ c (0) ‖ /lscript 1 and the initial mass ‖ ( ic i (0)) ‖ /lscript 1 , when we consider a solution c N of (36) an /lscript 1 -valued function by defining c N j ≡ 0 for all j /greaterorequalslant N +1 .

Remark 4.3. A consequence of the previous corollary is that any non negative solution of the truncated system (36) is globally defined in R + 0 .

In the non-isolated case there is a similar result whose proof proceed in the same way and will be omitted.

Proposition 4.4. Let c N = ( c N i ) 0 /lessorequalslant i /lessorequalslant N be any solution of (36) -(41) in the nonisolated case. Then, for every ( g i ) we have

$$\alpha \text{vac} \, \omega \infty. \ I n e n$$

Remark 4.5. Taking g i = i in (50) it is easily seen that solutions of the DGED system in the non-isolated case conserve the initial mass and, as a consequence, any non negative solution of the truncated system (36) is globally defined in R + 0 also in the non-isolated case. However, making g i = 1 in (50) we immediately conclude that the total number of initial clusters is no longer conserved in this case.

The following two lemmas about properties of the solutions to the truncated system, in which we assume the conditions (27)-(28), will be essential for the proof of the existence theorem in the next section. They use, in a crucial way, the inequalities proved in lemmas 3.2 and 3.3.

Lemma 4.6. Let c N = ( c N i ) 0 /lessorequalslant i /lessorequalslant N be a solution to (36) -(41) and σ ∈ E ∪ E 1 . Assume ∑ N i =0 σ i c ( ) N 0 i is finite. Then, for each T /greaterorequalslant 0 , we have for all t ∈ [0 , T ] ,

$$\sum _ { i = 0 } ^ { N } \sigma ( i ) \ c _ { i } ^ { N } ( t ) \leqslant \gamma _ { T } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { 0 i } ^ { N }, \quad \quad \quad$$

and, for integers M,N such that M 0 /lessorequalslant M /lessorequalslant N , with M 0 as in Lemma 3.3,

$$0 \leqslant \int _ { 0 } ^ { T } \sum _ { ( p, k ) \in \mathcal { J } _ { 0 } ^ { N } } \frac { \sigma ( p - 1 ) } { p - 1 } a ( p, 0 ; k ) c _ { 0 } ^ { N } ( t ) c$$

where,

$$\mathcal { J } _ { 0 } ^ { N } \coloneqq \{ ( p, k ) \in ( \mathbb { N } _ { + } ) ^ { 2 } \, \colon M _ { 0 } \leqslant p \leqslant N, \, 1 \leqslant k \leqslant$$

and γ T &gt; 0 is a constant only depending on C, m σ , P 1 (0) , Q , T.

Proof. For 1 /lessorequalslant i /lessorequalslant N , it can be deduced from Proposition 4.1, by setting g i := σ i , ( ) that

$$\underset { d t } { \frac { d } { d t } } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ) = \sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \sum _ { j$$

where

$$\tilde { \sigma } ( i, j, k ) \coloneqq \sigma ( j + k ) + \sigma ( i - k ) - \sigma ( j ) - \sigma ( i ).$$

Since there are no upper bounds on the rate coefficients of the type a p, ( 0; k , ) the terms involving this type of coefficients have to be tackled differently from the others.

For j ∈ N + , by (28), (54) and Lemma 3.2, we obtain,

$$\tilde { \sigma } ( i, j, k ) a ( i, j ; k ) \leqslant & C ( i - k + 1 ) ( j + k ) q _ { i, k } \tilde { \sigma } ( i, j, k ) \\ \leqslant & C m _ { \sigma } ( j \sigma ( k ) + k \sigma ( j ) ) ( i - k + 1 ) q _ { i, k },$$

so, by applying (55) to the terms not involving the rate coefficients of the type a p, ( 0; k , ) we have, for N /greaterorequalslant 2 ,

$$\sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \sum _ { j = 1 } ^ { N - k } \tilde { \sigma } ( i, j, k ) \ a ( i, j ; k ) \ c _ { i } ^ { N } ( t ) c _ { j } ^ { N } ( t )$$

$$\begin{array} { c } \ n - \ n - \ n - \ n - \ n - \ n \\ \leqslant C m _ { \sigma } \left ( \sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \sum _ { j = 1 } ^ { N - k } j \sigma ( k ) ( i - k + 1 ) q _ { i, k } c _ { i } ^ { N } ( t ) c _ { j } ^ { N } ( t ) \\ \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \ \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \quad & \ } \end{array}$$

$$\bigvee ^ { n - 1 } - \frac { n - 1 } { n - 1 } \\ + \sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \sum _ { j = 1 } ^ { N - k } k \sigma ( j ) ( i - k + 1 ) q _ { i, k } c _ { i } ^ { N } ( t ) c _ { j } ^ { N } ( t ) \Big ) \\ \coloneqq & C m _ { \sigma } ( S _ { 1 } + S _ { 2 } ). \\ \quad \cdot \quad \cdot \quad \cdot$$

↦

We now estimate separately S 1 and S 2 . By using the convexity of σ , which entails the fact that k → σ k /k ( ) is increasing, hypothesis (27) and Corollary 4.2, we obtain,

$$S _ { 1 } & = \sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \sum _ { j = 1 } ^ { N - k } \frac { \sigma ( k ) } { k } \frac { i } { \sigma ( i ) } \left ( \frac { k ( i - k + 1 ) } { i } q _ { i, k } \right ) ( j c _ { j } ^ { N } ( t ) ) ( \sigma ( i ) c _ { i } ^ { N } ( t ) ) \\ & \leqslant \mathcal { P } _ { 1 } ( 0 ) \mathcal { Q } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ). \\ \text{A18n}$$

Also,

N

-

1

N N

-

k

S

k i

(

-

k

+1)

2

i

( )

=

/lessorequalslant

∑∑∑ (

k

=1

i

=

k

j

=1

)

N

P

1

(0)

Q

σ j c

(

)

N

j

t

.

j

∑

=0

By applying (56)-(60) to (53) we obtain

$$\frac { d } { d t } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ) \leqslant K \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ) + \sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \tilde { \sigma } ( i, 0, k ) a ( i, 0 ; k ) c _ { 0 } ^ { N } ( t ) c _ { i } ^ { N } ( t ).$$

where K := 2 C Q m σ P 1 (0) . But, according to the proof of Lemma 3.2, for 1 /lessorequalslant k /lessorequalslant i,

$$\tilde { \sigma } ( i, 0, k ) = - ( \sigma ( i ) - \sigma ( i - k ) - \sigma ( k ) ) \leqslant 0,$$

i,k

N

i

N

j

q

(

ic

( ))(

t

σ j c

(

)

( ))

t

(60)

from (61) we obtain

$$\frac { d } { d t } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ) \leqslant K \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ),$$

thus resulting (51) by Gronwall inequality.

In order to prove (52), we integrate both members of (61) and take in account (51) and the sign of each term, thus getting

$$\stackrel { \vee } { \longrightarrow } / \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel { \dots } { \longrightarrow } \stackrel \dots } { \longrightarrow } & \int _ { 0 } ^ { T } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( 0 ) + K \int _ { 0 } ^ { T } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( t ) d t \\ \leqslant & \bar { \gamma } _ { T } \sum _ { i = 0 } ^ { N } \sigma ( i ) c _ { i } ^ { N } ( 0 ), \\ \intertext { w h a s e } \stackrel { \varepsilon } { \longrightarrow } \longrightarrow 1 + \frac { N } { 2 } + \bar { \gamma } ^ { T } \cap \left ( \bar { \gamma } ^ { T } \right ) \, \Phi \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s } \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s}" \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s}\text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s} \text{s}$$

where ¯ γ T := 1 + KT exp ( KT . ) Remarking that ˜( σ i, 0 , i ) = 0 , we can write, for each i = 1 , . . . , j, and N /greaterorequalslant 2 ,

$$\int _ { 0 } ^ { T } \left | \sum _ { k = 1 } ^ { N - 1 } \sum _ { i = k } ^ { N } \tilde { \sigma } ( i, 0, k ) a ( i, 0 ; k ) c _ { 0 } ^ { N } ( t ) c _ { i } ^ { N } ( t ) \right | d t \\ \int ^ { T } \left | \sum _ { k = 1 } ^ { N } \sum _ { \substack { i - 1 \\ \sigma } \colon \colon \colon \colon \colon \colon }$$

Since -˜( σ i, 0 , k ) = | ˜( σ i, 0 , k ) | = σ i ( ) -σ i ( -k ) -σ k , ( ) the conclusion is obtained from (63) and (64) by application of Lemma 3.3 and redefining the constant γ T .

$$& = \int _ { 0 } ^ { T } \left | \sum _ { i = 1 } ^ { N } \sum _ { k = 1 } ^ { i - 1 } \tilde { \sigma } ( i, 0, k ) a ( i, 0 ; k ) c _ { 0 } ^ { N } ( t ) c _ { i } ^ { N } ( t ) \right | d t. \ \ ( 6 4 ) \\ \mathring { r } ( i, 0, k ) | & = \sigma ( i ) - \sigma ( i - k ) - \sigma ( k ), \text{ the conclusion is obtained}$$

/square

Lemma 4.7. Let c N = ( c N i ) 0 /lessorequalslant i /lessorequalslant N be a solution to (36) and T ∈ (0 , + ∞ ) . There exists a positive constant Γ 2 ,i ( T ) depending only on C, Q ‖ , c 0 ‖ , i and T such that, for each i ∈ N ,

$$\left | \frac { d c _ { i } ^ { N } } { d t } \right | _ { L ^ { 1 } ( 0, T ) } \leqslant \Gamma _ { 2, i } ( T ). \\ \text{oof for the isolated case and } w$$

Proof. We present the proof for the isolated case and will comment on the nonisolated case at the end.

By Corollary 4.2, the following expressions can be deduced:

$$\sum _ { i = 0 } ^ { N } i c _ { i } ^ { N } ( t ) = \sum _ { i = 0 } ^ { N } i c _ { 0 i } ^ { N } \leqslant \sum _ { i = 0 } ^ { \infty } i c _ { 0 i } ^ { N } = \| ( i c _ { i 0 } ) \| _ { \ell _ { 1 } } \leqslant \| c _ { 0 } \|,$$

and then

$$\sum _ { i = 0 } ^ { N } c _ { i } ^ { N } ( t ) \leqslant \sum _ { i = 0 } ^ { N } i c _ { i } ^ { N } ( t ) \leqslant \| c _ { 0 } \|.$$

Also recall that the numbers q i,k satisfy estimate (29).

Now, consider system (36). Let ˆ Q N i j, , j = 1 2 3 4 , , , , be the sums (37)-(40) taken away the terms of the type a p, ( 0; k c ) N N p c 0 . Hence, considering that ˆ Q N 2 0 , = ˆ Q N 3 1 , = 0 ,

we can write

$$Q _ { 1, i } ^ { N } ( c ^ { N } ) = \hat { Q } _ { 1, i } ^ { N } ( c ^ { N } ) + \sum _ { k = 1 } ^ { N - i } a ( i + k, 0 ; k ) c _ { i + k } ^ { N } c _ { 0 } ^ { N }, \quad \ \ i \in \{ 0, \dots, N - 1 \}, \ \ ( 6 7 )$$

$$Q _ { 2, i } ^ { N } ( c ^ { N } ) = ( 1 - \delta _ { i, 0 } ) \hat { Q } _ { 2, i } ^ { N } ( c ^ { N } ) - \delta _ { i, 0 } \sum _ { k = 1 } ^ { N } \sum _ { j = k } ^ { N } a ( j, 0 ; k ) c _ { j } ^ { N } c _ { 0 } ^ { N }, \ i \in \{ 0, \dots, N - 1 \}, \\ \hat { \ }.$$

$$Q _ { 3, i } ^ { N } ( c ^ { N } ) = ( 1 - \delta _ { i, 1 } ) \hat { Q } _ { 3, i } ^ { N } ( c ^ { N } ) + \sum _ { j = i } ^ { N } a ( j, 0 ; i ) c _ { j } ^ { N } c _ { 0 } ^ { N }, \quad i \in \{ 1, \dots, N \}, \quad \text{(69)}$$

$$Q _ { 4, i } ^ { N } ( c ^ { N } ) = \hat { Q } _ { 4, i } ^ { N } ( c ^ { N } ) - \sum _ { k = 1 } ^ { i } a ( i, 0 ; k ) c _ { 0 } ^ { N } c _ { i } ^ { N } \,, \quad \ \ i \in \{ 1, \dots, N \}, \quad \ \ ( 7 0 )$$

where δ i,/lscript is the Kronecker symbol. Therefore, after some rearrangements, we can rewrite the truncated system (36) in the following form:

$$\dot { c } _ { 0 } ^ { N } = \hat { Q } _ { 1, 0 } ^ { N } ( c ^ { N } ) - \sum _ { k = 1 } ^ { N } \sum _ { j = k + 1 } ^ { N } a ( j, 0 ; k ) c _ { j } ^ { N } c _ { 0 } ^ { N },$$

$$\dot { c } _ { N } ^ { N } = \sum _ { j = 3 } ^ { 4 } \hat { Q } _ { j, N } ^ { N } ( c ) - \sum _ { k = 1 } ^ { N - 1 } a ( N, 0 ; k ) c _ { N } ^ { N } c _ { 0 } ^ { N }.$$

$$\Lambda _ { 0 } ^ { N } & = \hat { Q } _ { 1, 0 } ^ { N } ( c ^ { N } ) - \sum _ { k = 1 } ^ { N } \sum _ { j = k + 1 } ^ { N } a ( j, 0 ; k ) c _ { j } ^ { N } c _ { 0 } ^ { N }, \\ \Lambda _ { i } ^ { N } & = \sum _ { j = 1 } ^ { 4 } \hat { Q } _ { j, i } ^ { N } ( c ) + 2 \sum _ { j = i + 1 } ^ { N } a ( j, 0 ; i ) c _ { j } ^ { N } c _ { 0 } ^ { N } \\ & \quad - \sum _ { k = 1 } ^ { i = 1 } a ( i, 0 ; k ) c _ { i } ^ { N } c _ { 0 } ^ { N }, \quad \text{ for } i \in \{ 1, \dots, N - 1 \}, \quad \text{ (72)} \\ \Lambda _ { N } ^ { N } & = \sum _ { j = 3 } ^ { 4 } \hat { Q } _ { j, N } ^ { N } ( c ) - \sum _ { k = 1 } ^ { N - 1 } a ( N, 0 ; k ) c _ { N } ^ { N } c _ { 0 } ^ { N }.$$

Since no upper bounds are imposed on the fragmentation-type coefficients a p, ( 0; k , ) the terms involving these must be estimated in a separate way, as in [18].

We first proceed to the estimation of the ˆ Q N i j, terms. We remark that we are using in this work the convention that if the lower index of a sum is greater than the upper index then the sum is zero. Taking into account (37), we have, for i = 0 , . . . , N -1 ,

$$& \imath = \mathfrak { U }, \dots, \mathcal { N } - 1, \\ & \hat { Q } ^ { N } _ { 1, i } ( c ^ { N } ) & \leqslant C \sum _ { k = 1 } ^ { N - i \, N - k } \sum _ { j = 1 } ^ { N - k } ( i + 1 ) ( j + k ) q _ { i + k, k } c ^ { N } _ { i + k } c ^ { N } _ { j } \\ & \leqslant C \mathcal { Q } \sum _ { k = 1 } ^ { N - i \, N - k } \sum _ { j = 1 } ^ { N - k } \left ( ( i + k ) c ^ { N } _ { i + k } \right ) ( j c ^ { N } _ { j } ) + C \sum _ { k = 1 } ^ { N - i \, N - k } \sum _ { j = 1 } ^ { N - k } ( i + 1 ) k q _ { i + k, k } c ^ { N } _ { i + k } c ^ { N } _ { j } \\ & \leqslant C \mathcal { Q } \| ( i c _ { 0 } ) \| ^ { 2 } _ { \ell _ { 1 } } + C \mathcal { Q } ( i + 1 ) \| ( i c _ { 0 } ) \| \ell _ { 1 } \| c _ { 0 } \| \ell _ { 1 } \\ & \leqslant 2 C \mathcal { Q } ( i + 1 ) \| c _ { 0 } \| ^ { 2 }, \\ & \text{where two head } \text{in} \, \text{with} \text{ in this case} \, \text{imline that } k \dots \, < \mathcal { O } ( i \, \perp \, k )$$

where we have used (29) which, in this case, implies that kq i + k,k /lessorequalslant Q ( i + ) k .

By (38) we have, for i = 1 , . . . , N -1 ,

$$B y \left ( 3 8 \right ) & \text{we have, for } \imath = 1, \dots, N - 1, \\ | \hat { Q } _ { 2, i } ^ { N } ( c ^ { N } ) | & \leqslant C \sum _ { k = 1 } ^ { N - i } \sum _ { j = k } ^ { N } ( j - k + 1 ) ( i + k ) q _ { j, k } c _ { j } ^ { N } c _ { i } ^ { N } \\ & \leqslant C \sum _ { j = 1 } ^ { N } \sum _ { k = 1 } ^ { j } ( j - k + 1 ) q _ { j, k } c _ { j } ^ { N } ( i c _ { i } ^ { N } ) + C \sum _ { j = 1 } ^ { N } \sum _ { k = 1 } ^ { j } ( j - k + 1 ) k q _ { j, k } c _ { j } ^ { N } c _ { i } ^ { N } \\ & \leqslant C \mathcal { Q } \| ( i c _ { i } 0 ) \| _ { \ell _ { 1 } } ^ { 2 } + C \mathcal { Q } \| ( i c _ { i } 0 ) \| _ { \ell _ { 1 } } \| c _ { 0 } \| _ { \ell _ { 1 } } \leqslant 2 C \mathcal { Q } \| c _ { 0 } \| ^ { 2 }. \\ & \text{where again we have used (27) that implies this time that } ( j - k + 1 ) k q _ { i, k } \leqslant \mathcal { Q } j.$$

where again we have used (27) that implies this time that ( j -k +1) kq j,k /lessorequalslant Q j.

By (39), for i = 2 , . . . , N,

$$\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cd� \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot
\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot

\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot
\end{array}$$

Finally, from (39), for each i = 1 , . . . , N we obtain

$$& \text{family, from (39), for each } \imath = 1, \dots, N \text{ we obtain} \\ & | \hat { Q } _ { 4, i } ^ { N } ( c ^ { N } ) | \leqslant C \sum _ { k = 1 } ^ { i } \sum _ { j = 1 } ^ { N - k } ( i - k + 1 ) ( j + k ) q _ { i, k } c _ { j } ^ { N } c _ { i } ^ { N } \\ & \leqslant C \sum _ { k = 1 } ^ { i } \sum _ { j = 1 } ^ { N - k } ( i - k + 1 ) q _ { i, k } ( j c _ { j } ^ { N } ) c _ { i } ^ { N } + C \sum _ { k = 1 } ^ { i } \sum _ { j = 1 } ^ { N - k } ( i - k + 1 ) q _ { i, k } c _ { j } ^ { N } c _ { i } ^ { N } \\ & \leqslant 2 C \mathcal { Q } \| c _ { 0 } \| ^ { 2 }, \\ & \text{where. once more. we have used (27) in a wav similar to the cases above.}$$

where, once more, we have used (27) in a way similar to the cases above.

To proceed to the estimates on the other terms, in the case i = 1 , . . . , N -1 , we first integrate (72) to get

$$c _ { i } ^ { N } ( T ) - c _ { i } ^ { N } ( 0 ) & = \int _ { 0 } ^ { T } \sum _ { j = 1 } ^ { 4 } \hat { Q } _ { j, i } ^ { N } ( c ^ { N } ( t ) ) d t \\ & \quad + 2 \int _ { 0 } ^ { T } \sum _ { j = i + 1 } ^ { N } a ( j, 0, ; i ) c _ { j } ^ { N } ( t ) c _ { 0 } ^ { N } ( t ) d t - \int _ { 0 } ^ { T } \sum _ { k = 1 } ^ { i } a ( i, 0 ; k ) c _ { i } ^ { N } ( t ) c _ { 0 } ^ { N } ( t ) d t, \\ \dots \dots \dots \dots \hat { A } N & = \alpha \cdots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots$$

where we take ˆ Q N 3 1 , ≡ 0 . Considering the signs of the ˆ Q N i j, , we can infer that

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{$$

On the other hand, calling α i ( ) := ∑ i k =1 a i, ( 0; k ) we obtain, for the last term in (78),

$$\int _ { 0 } ^ { T } \sum _ { k = 1 } ^ { i } a ( i, 0 ; k ) c _ { i } ^ { N } ( t ) c _ { 0 } ^ { N } ( t ) d t \leqslant \alpha ( i ) \| c _ { 0 } \| ^ { 2 } T.$$

Therefore, taking into account (66), (75), (77), (78) and (79), we obtain

$$\int _ { 0 } ^ { T } \sum _ { j = i + 1 } ^ { N } a ( j, 0 ; i ) c _ { j } ^ { N } ( t ) c _ { 0 } ^ { N } ( t ) d t \leqslant \gamma.$$

for γ := 1 2 ‖ ( c i 0 ) ‖ /lscript 1 +2 C Q‖ ( ic i 0 ) ‖ 2 /lscript 1 T + α i ( ) 2 ‖ ( c i 0 ) ‖ 2 /lscript 1 T. Then, using estimates (79) and (80), together with (74)-(77) in the equation (72), we conclude that, for i = 1 , . . . , N -1 ,

$$| \dot { c } _ { i } ^ { N } | _ { L ^ { 1 } ( 0, T ) } \leqslant \left ( 9 C \mathcal { Q } ( i + 1 ) + \frac { 3 } { 2 } \alpha ( i ) \right ) \| c _ { 0 } \| ^ { 2 } T + \frac { 1 } { 2 } \| c _ { 0 } \|, \\ \text{proves our claim for $i=1\dots.. N-1$}. \, \text{We omit the proof for the cases}$$

which proves our claim for i = 1 , . . . , N -1 . We omit the proof for the cases i = 0 and i = N, since they are easier and follow exactly the same lines. For i /greaterorequalslant N +1 it is trivial.

For the non-isolated case the only difference is that all Q N j, 0 are identically zero, instead of (67) and (68) with i = 0, and so the estimates above still hold. /square

## 5. Existence for the general exchange-driven system

5.1. The isolated case (7) . In this section we formulate and prove the existence of solutions for the initial value problem (7), (8) in the isolated system case.

Theorem 5.1. Let c 0 = ( c 0 i ) i ≥ 0 ∈ X + 0 1 , . Assume the rate coefficients satisfy the conditions (27) -(28) . Then the initial value problem (7) , (8) for the isolated case has at least one global solution c defined on the interval [0 , ∞ ) .

Proof. By using a refined version of de la Vall´e-Poussin theorem as in [18, Section e 4], we can conclude that our hypothesis for c 0 implies that there is σ 0 ∈ E such that

$$\mathcal { S } _ { 0 } \coloneqq \sum _ { i = 0 } ^ { \infty } \sigma _ { 0 } ( i ) c _ { i 0 } < \infty.$$

Then, since for any N ∈ N + ,

$$\sum _ { i = 0 } ^ { N } \sigma _ { 0 } ( i ) c _ { i 0 } ^ { N } = \sum _ { i = 0 } ^ { N } \sigma _ { 0 } ( i ) c _ { i 0 } \leqslant \mathcal { S } _ { 0 },$$

we conclude that, for each T /greaterorequalslant 0 , we have, for all t ∈ [0 , T ] ,

$$\sum _ { i = 0 } ^ { N } \sigma _ { 0 } ( i ) c _ { i } ^ { N } ( t ) \leqslant \gamma _ { T } \mathcal { S } _ { 0 },$$

by using Lemma 4.6.

It follows from Lemma 4.7 that, for each i ∈ N , ( c N i ) N /greaterorequalslant i is a bounded sequence in L ∞ (0 , T ) ∩ W 1 1 , (0 , T ). Therefore, we can apply the Helly selection theorem, together with a diagonal argument, to guarantee the existence of a subsequence ( c N i ) N /greaterorequalslant i (not relabelled) and a sequence c = ( c i ) i ∈ N of nonnegative functions of locally bounded variation such that, for each i ∈ N and t ∈ [0 , ∞ ),

$$\lim _ { N \to + \infty } c _ { i } ^ { N } ( t ) = c _ { i } ( t ).$$

Also, it follows from the nonnegativity of the c N i , (65), (66), and (83), that, for each t ∈ [0 , + ∞ ) , we have c t ( ) ∈ X + 0 1 , and

$$\| c ( t ) \| \leqslant \| c _ { 0 } \|.$$

Let T &gt; 0 . Fixing any integer M /greaterorequalslant 1, adding in (82) up to M and then taking limit as N → + ∞ in c N i ( ) in this sum, we obtain the same inequality with t c N i replaced by c i . Then, taking M → + ∞ , we infer that

$$\lambda \sum _ { i = 0 } ^ { \infty } \sigma _ { 0 } ( i ) c _ { i } ( t ) \leqslant \gamma _ { T } \mathcal { S } _ { 0 }, \quad t \in [ 0, T ].$$

Now we prove that c is indeed a solution to (7). According to Definition 3.1 it is necessary that, for j ∈ { 1 2 3 4 , , , } and i ∈ N + , Q j,i ( c ( )) · ∈ L 1 (0 , T ) . Similarly to the proof of Lemma 4.7, we define the quantities ˆ Q j,i ( c , i ) ∈ N , j ∈ { 1 2 3 4 , , , } , as the corresponding Q j,i ( c ) taken away the terms of the type a p, ( 0; k c c ) p 0 . We recall that this procedure is forced upon us by the fact that the growth bound (28) on the rate coefficients a i, j ( ; k ) does not necessarily hold when j = 0.

We claim that, for each i ∈ N + and j ∈ { 1 2 3 4 , , , } ,

$$\hat { Q } _ { j, i } ( c ) \in L ^ { 1 } ( 0, T ).$$

Define first

$$\Phi ( \beta ) \coloneqq \sum _ { ( i, j, k ) \in \mathcal { I } } a ( i, j ; k ) \beta _ { i } \beta _ { j }$$

where I := { ( i, j, k ) ∈ ( N + ) 3 : k /lessorequalslant i } , with domain D Φ made by the sequences β ∈ X + 0 1 , for which the above triple series is convergent. We prove that, in fact, D Φ = X + 0 1 , . Let η ∈ N + . Then, for each β ∈ X + 0 1 , , by (27) and (28), we have,

$$\beta \in \mathcal { A } _ { 0, 1 } ^ { 0, 1 } \text{ for when the above triple series is convergent and} \\ \sum _ { i = 1 } ^ { \eta } \sum _ { j = 1 } ^ { i } \sum _ { k = 1 } ^ { \eta } a ( i, j ; k ) \beta _ { i } \beta _ { j } & \leq C \sum _ { i = 1 } ^ { \eta } \sum _ { j = 1 } ^ { i } \sum _ { k = 1 } ^ { i } ( i - k + 1 ) ( j + k ) q _ { i, k } \beta _ { i } \beta _ { j } \\ & = C \sum _ { i = 1 } ^ { \eta } \sum _ { j = 1 } ^ { \eta } \sum _ { k = 1 } ^ { i } ( i - k + 1 ) q _ { i, k } \beta _ { i } ( j \beta _ { j } ) \\ & \quad + C \sum _ { i = 1 } ^ { \eta } \sum _ { j = 1 } ^ { \eta } \sum _ { k = 1 } ^ { i } ( i - k + 1 ) k q _ { i, k } \beta _ { i } \beta _ { j } \\ & \leq C \mathcal { Q } \left ( \sum _ { i = 1 } ^ { \eta } i \beta _ { i } \right ) \left ( \sum _ { j = 1 } ^ { \eta } j \beta _ { j } \right ) + C \mathcal { Q } \left ( \sum _ { i = 1 } ^ { \eta } i \beta _ { i } \right ) \left ( \sum _ { j = 1 } ^ { \eta } \beta _ { j } \right ) \\ & \leq 2 C \mathcal { Q } \| \beta \| ^ { 2 }. \\ \text{By making } \eta \rightarrow \infty, \, \text{ we conclude that the above triple series is convergent and} \\ \text{therefore, } \beta \in D _ { \Phi }. \text{ Now observe that, for each } j \in \{ 1, 2, 3, 4 \} \, \text{and } i \in \mathcal { N } _ { + }, \text{ the}$$

By making η → ∞ , we conclude that the above triple series is convergent and therefore, β ∈ D . Φ Now observe that, for each j ∈ { 1 2 3 4 , , , } and i ∈ N + , the indices in the double sum in ˆ Q j,i , runs over a subset of I , so that, for each β ∈ X + 0 1 , , ˆ Q j,i ( β ) is well defined and

$$| \hat { Q } _ { j, i } ( \beta ) | \leqslant \Phi ( \beta ) \leqslant 2 C \mathcal { Q } \| \beta \| ^ { 2 }.$$

Hence, by (84),

$$\int _ { 0 } ^ { T } | \hat { Q } _ { j, i } ( c ( t ) ) | d t \leqslant 2 C \mathcal { Q } \| c _ { 0 } \| ^ { 2 } T,$$

and our claim (86) is proved.

Our next claim is that, for j ∈ { 1 2 3 4 , , , } , i ∈ N + , and also for ( j, i ) = (1 , 0) ,

$$\lim _ { N \to + \infty } | \hat { Q } _ { j, i } ^ { N } ( c ^ { N } ) - \hat { Q } _ { j, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } = 0.$$

We first rearrange the sums that define ˆ Q N i j, and rewrite them, for each sequence β as

$$\hat { Q } _ { j, i } ^ { N } ( \beta ) = \sum _ { ( p, q ) \in \mathcal { J } _ { j, i } ^ { N } } \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) \beta _ { p } \beta _ { q },$$

where, for each integer N /greaterorequalslant 2 , ,

$$\text{where, for exam} & \text{mege} \, \infty \, \real, \\ \mathcal { J } _ { 1, i } ^ { N } = \{ ( p, q ) \in \mathbb { N } ^ { 2 } \, \colon i + 1 \leqslant p \leqslant N, \, 1 \leqslant q \leqslant N + i - p \}, \quad i \in \mathbb { N }, \\ \mathcal { J } _ { 2, i } ^ { N } = \{ ( p, q ) \in \mathbb { N } ^ { 2 } \, \colon 1 \leqslant p \leqslant N, \, q = i \}, \quad i \in \mathbb { N } _ { + }, \\ \mathcal { J } _ { 3, i } ^ { N } = \{ ( p, q ) \in \mathbb { N } ^ { 2 } \, \colon 1 \leqslant q \leqslant i - 1, \, i - q \leqslant p \leqslant N \}, \quad i \in \mathbb { N } _ { 2 }, \\ \mathcal { J } _ { 4, i } ^ { N } = \{ ( p, q ) \in \mathbb { N } ^ { 2 } \, \colon p = i, \, 1 \leqslant q \leqslant N - 1 \}, \quad i \in \mathbb { N } _ { + }, \\ \dots \, \dots \, \dots \, \dots \, \mathbb { N } \times \mathfrak { A } \, \dots \, \mathbb { N } \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \dots \, \quad \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \null \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \real \, \end{cases}$$

and, for each integer N /greaterorequalslant 2 and ( p, q ) ∈ J N j,i ,

$$, \dots \dots \dots \dots \dots \dots \nu, \nu, \nu \, & \cdots \dots \dots \nu, \nu \,, \nu \, & \cdots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \\ \mathcal { K } _ { 1, i } ^ { N } ( p, q ) \, \colon = \, & \{ p - i \}, \quad i \in \mathbb { N }, \\ \mathcal { K } _ { 2, i } ^ { N } ( p, q ) \, \colon = \, & \{ k \in \mathbb { N } \, \colon \, 1 \leqslant k \leqslant \min ( p, N - i ) \}, \quad i \in \mathbb { N } _ { + }, \\ \mathcal { K } _ { 3, i } ^ { N } ( p, q ) \, \colon = \, & \{ i - q \}, \quad i \in \mathbb { N } _ { 2 }, \\ \mathcal { K } _ { 4, i } ^ { N } ( p, q ) \, \colon = \, & \{ k \in \mathbb { N } \, \colon \, 1 \leqslant k \leqslant \min ( N - q, i ) \}, \quad i \in \mathbb { N } _ { + }. \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots.$$

Observe that, for any integer N /greaterorequalslant 2 , J N j,i /subsetornotdbleql J N +1 j,i . Define J j,i := ⋃ ∞ N =2 J N j,i . Since, for each ( p, q ) ∈ J j,i , there is N 0 such that, for all N /greaterorequalslant N , 0 ( p, q ) ∈ J N j,i we can define K j,i ( p, q ) := ⋃ ∞ N = N 0 K N i j, ( p, q ) . It is not difficult to check that,

$$\hat { Q } _ { j, i } ( \beta ) = \sum _ { ( p, q ) \in \mathcal { J } _ { j, i } } \sum _ { k \in \mathcal { K } _ { j, i } ( p, q ) } a ( p, q ; k ) \beta _ { p } \beta _ { q },$$

for any β ∈ X 0 1 , .

Let M,N be integers such that 2 /lessorequalslant M /lessorequalslant N, and consider the following inequality, | ˆ Q N j,i ( c N ) -ˆ Q j,i ( c ) | L 1 (0 ,T )

$$- \hat { Q } _ { j, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } \\ & \leqslant \sum _ { ( p, q ) \in \mathcal { J } ^ { M } _ { j, i } } \sum _ { k \in \mathcal { K } ^ { M } _ { j, i } ( p, q ) } a ( p, q ; k ) | c ^ { N } _ { p } c ^ { N } _ { q } - c _ { p } c _ { q } | _ { L _ { 1 } ( 0, T ) } \\ & \quad + \left | \sum _ { ( p, q ) \in \mathcal { J } ^ { N } _ { j, i } \bigvee \mathcal { J } ^ { M } _ { j, i } } \sum _ { k \in \mathcal { K } ^ { N } _ { j, i } ( p, q ) } a ( p, q ; k ) c ^ { N } _ { p } c ^ { N } _ { q } \right | _ { L _ { 1 } ( 0, T ) } ( 8 9 ) \\ & \quad + \left | \sum _ { ( p, q ) \in \mathcal { J } ^ { N } _ { j, i } \bigvee \mathcal { J } ^ { M } _ { j, i } } \sum _ { k \in \mathcal { K } ^ { N } _ { j, i } ( p, q ) } a ( p, q ; k ) c _ { p } c _ { q } \right | _ { L _ { 1 } ( 0, T ) } \\ \text{st sum runs over a fixed finite set of indices, by applying the Lebesgue} \\ \text{reverse even} \, \, \text{can conclude that} \, \text{ for } i \in \{ 1 \ 2 \ 3 \ 4 \} \text{ and } i \in \mathbb { N } \text{ } \text{ also for}$$

Since the first sum runs over a fixed finite set of indices, by applying the Lebesgue bounded convergence we can conclude that, for j ∈ { 1 2 3 4 , , , } and i ∈ N + , also for ( j, i ) = (1 , 0) , and excluding ( j, i ) = (3 , 1) ,

$$\lim _ { N \to + \infty } \sum _ { ( p, q ) \in \mathcal { J } _ { j, l } ^ { M } } \sum _ { k \in \mathcal { K } _ { j, l } ^ { M } ( p, q ) } a ( p, q ; k ) | c _ { p } ^ { N } c _ { q } ^ { N } - c _ { p } c _ { q } | _ { L _ { 1 } ( 0, T ) } = 0. \quad ( 9 0 )$$

Since, in all cases, K N i j, ( p, q ) /subsetornotdbleql { k ∈ N : 1 /lessorequalslant k /lessorequalslant p } , we obtain

$$\text{Since, in all cases, $\mathcal { K } _ { j, i } ^ { \nu } ( p, q ) \, \leq \, & \{ k \in \mathbb { N } \, \colon 1 \leqslant k \leqslant p \}, \, \text{we obtain} \\ \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) \, & \leqslant \, \sum _ { k = 1 } ^ { p } a ( p, q ; k ) \, \leqslant \, & C \sum _ { k = 1 } ^ { p } ( p - k + 1 ) ( q + k ) q _ { p, k } \\ & = C \left ( q \sum _ { k = 1 } ^ { p } ( p - k + 1 ) q _ { p, k } + \sum _ { k = 1 } ^ { p } ( p - k + 1 ) k q _ { p, k } \right ) \\ & \leqslant 2 C \mathcal { Q } p q. \\ \text{Also we have. for max} ( 2. i ) \leqslant M < N.$$

Also we have, for max(2 , i ) /lessorequalslant M &lt; N,

$$\underset { \substack { \text{uave, in a different way. By using } } { \text{uave, in a} } } { \text{uave, in a} } } \leqslant \underset { \substack { \text{uave, in a different way. By using } } { \text{in } } } { \text{in } } \left | \mathcal { J } _ { 2, i } ^ { N } \right | \sum \mathcal { J } _ { 2, i } ^ { M } & = \left ( [ M + 1, N ] \cap \mathbb { N } \right ) \times \left \{ i \right \}, \\ \mathcal { J } _ { 3, i } ^ { N } \left | \sum \mathcal { J } _ { 3, i } ^ { M } & = \left ( [ M + 1, N ] \cap \mathbb { N } \right ) \times \left ( [ 1, i - 1 ] \cap \mathbb { N } \right ), \\ \mathcal { J } _ { 4, i } ^ { N } \left | \sum \mathcal { J } _ { 4, i } ^ { M } & = \left \{ i \right \} \times \left ( [ M, N - 1 ] \cap \mathbb { N } \right ), \\ \sum \mathcal { J } _ { \mathcal { N } } ^ { M }$$

The case j = 1 has to be tackled in a different way. By using (91), we have, for j ∈ { 2 3 4 , , }

$$\lambda \left | \sum _ { ( p, q ) \in \mathcal { J } _ { j, i } ^ { N } \bigwedge \mathcal { J } _ { j, i } ^ { M } } \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) & c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ & < \varpi \alpha | \quad \sum$$

$$\leqslant 2 C \mathcal { Q } i \| c _ { 0 } \| \Big | \sum _ { p = M } ^ { \mu \mu } p c _ { p } ^ { N } \Big | _ { L _ { 1 } ( 0, T ) } \\ \sim \sim \cap \cap \cap \cap \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon$$

$$\leqslant 2 C \mathcal { Q } \Big | \sum _ { ( p, q ) \in \mathcal { J } _ { j, i } ^ { N } \bigwedge \mathcal { J } _ { j, i } ^ { M } } ( p c _ { p } ^ { N } ) ( q c _ { q } ^ { N } ) \Big | _ { L _ { 1 } ( 0, T ) } \\ \quad + \underline { N } \quad \cdot$$

$$& \leqslant 2 C \mathcal { Q } i \| c _ { 0 } \| \sup _ { p \geqslant M } \frac { p } { \sigma _ { 0 } ( p ) } \Big | \sum _ { p = M } ^ { N } \sigma _ { 0 } ( p ) c _ { p } ^ { N } \Big | _ { L _ { 1 } ( 0, T ) } \\ \intertext { t } C _ { 0 } & > 0 \text{ only depending on } i, T, \mathcal { S } _ { 0 } \text{ and } c _ { 0 }, \text{ such that}$$

Therefore, there is a constant C 0 &gt; 0 only depending on i, T, S 0 and c 0 , such that

$$\text{time, use as a convau } \cup _ { 0 } \times \cup \text{any comparing on },, \varkappa _ { 0 } \text{and } \varkappa _ { 0 }, \text{sum was} \\ \left | \sum _ { ( p, q ) \in \mathcal { J } _ { j, i } ^ { N } \bigvee _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } } \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \leqslant C _ { 0 } \sup _ { p \geqslant M } \frac { p } { \sigma _ { 0 } ( p ) } \quad ( 9 2 ) \\ \text{The last term in } ( 8 9 ) \, \text{can be dealt in the same way to conclude that}$$

The last term in (89) can be dealt in the same way to conclude that

$$\int \omega \, \text{sum} \, \int \nolimits \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \infty \, \varphi \, \cos \, \begin{array} { c } \left | \sum \nolimits _ { ( p, q ) \in \mathcal { J } _ { j, i } \bigvee \mathcal { J } _ { j, i } ^ { M } \, \ k \in \mathcal { K } _ { j, i } ( p, q ) \end{array} } a ( p, q ; k ) c _ { p } c _ { q } \right | _ { L _ { 1 } ( 0, T ) } \leqslant C _ { 0 } \sup _ { p \geqslant M } \frac { p } { \sigma _ { 0 } ( p ) }. \quad \ \ ( 9 3 ) \\ \text{BV} \, ( 8 9 ), ( 9 0 ), ( 9 2 ) \, \text{and} \, ( 9 3 ) \, \text{we have}$$

By (89), (90), (92) and (93) we have

$$\varphi ^ { \prime } \cdots \varphi ^ { \prime } \cdots \varphi ^ { \prime } \cdots \varphi ^ { \prime } \cdots \varphi ^ { \prime } \cdots \varphi ^ { \prime } \\ \lim _ { N \to + \infty } & \sup _ { L ^ { 1 } } | \hat { Q } ^ { N } _ { j, i } ( c ^ { N } ) - \hat { Q } _ { j, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } \leqslant 2 C _ { 0 } \sup _ { p \geqslant M } \frac { p } { \sigma _ { 0 } ( p ) },$$

for all M /greaterorequalslant max(2 , i ) . Since σ 0 ∈ E , the right-hand side of the above estimate converges to zero, as M → + ∞ , therefore proving (88) for j ∈ { 2 3 4 , , } .

For j = 1 , we consider the following decomposition, for i ∈ N

$$\mathcal { J } _ { 1, i } ^ { N } \, \smallsetminus \, \mathcal { J } _ { 1, i } ^ { M } = J _ { I } \cup J _ { I I },$$

where (see Figure 3),

$$J _ { I } \coloneqq \{ ( p, q ) \in \mathbb { N } ^ { 2 } \, \colon \, M + 1 \leqslant p \leqslant N, \ 1 \leqslant q \leqslant N + i - p \},$$

$$J _ { I I } \coloneqq \{ ( p, q ) \in \mathbb { N } ^ { 2 } \, \colon i + 1 \leqslant p \leqslant M, \ M + 1 + i - p \leqslant q \leqslant N + i - p \}.$$

$$\stackrel { \mu } { \{ } ( p, q ) \in \mathbb { N } ^ { 2 } & \colon M + 1 \leqslant p \leqslant N, \ 1 \leqslant q \leqslant N + i - p \}, \\ \{ ( p, q ) \in \mathbb { N } ^ { 2 } & \colon i + 1 \leqslant p \leqslant M, \ M + 1 + i - p \leqslant q \leqslant N + i - p \}.$$

Figure 3. Regions J I and J II defined in the text.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00345v1-figure-3bf01bf2-0c1f-4b40-b46c-e49099ca5ac1.jpg)

Then,

$$\left | \sum _ { ( p, q ) \in J _ { 1 } } \sum _ { k \in \mathcal { K } _ { 1, i } ( p, q ) } a ( p, q ; k ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } = \left | \sum _ { p = M + 1 } ^ { N } \sum _ { q = 1 } ^ { N + i - p } a ( p, q ; p - i ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ \leqslant C ( i + 1 ) \right | \sum _ { p = M + 1 } ^ { N } \sum _ { q = 1 } ^ { N + i - p } ( q + p - i ) q _ { p, p - i } c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ \leqslant 2 C \mathcal { Q } \| c _ { 0 } \| ( i + 1 ) \right | \sum _ { p = M + 1 } ^ { N } p c _ { p } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ \leqslant 2 C \mathcal { Q } \| c _ { 0 } \| ( i + 1 ) \sup _ { p \geqslant M + 1 } \frac { p } { \sigma _ { 0 } ( p ) } \left | \sum _ { p = M + 1 } ^ { N } \sigma _ { 0 } ( p ) c _ { p } ^ { N } \right | _ { L _ { 1 } ( 0, T ) }, \\ \text{so that, there is $C_{1} > 0$ only depending on $i,T,\mathcal{S}_{0}$ and $c_{0}$ such that, for all $M\geqslant i+1$,}$$

so that, there is C 1 &gt; 0 only depending on i, T, S 0 and c 0 such that, for all M /greaterorequalslant i +1 ,

$$\left | \sum _ { ( p, q ) \in J _ { I } } \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \leqslant C _ { 1 } \sup _ { p \geqslant M + 1 } \frac { p } { \sigma _ { 0 } ( p ) }.$$

Similarly, it is easy to obtain,

$$\left | \sum _ { ( p, q ) \in J _ { I } } \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) c _ { p } c _ { q } \right | _ { L _ { 1 } ( 0, T ) } \leqslant C _ { 1 } \sup _ { p \geqslant M + 1 } \frac { p } { \sigma _ { 0 } ( p ) }.$$

The estimate over J II is more involved:

$$\begin{array} { c } \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \\ \left | \sum _ { p = i + 1 } \sum _ { k \in \mathcal { K } _ { 1, i } ( p, q ) } a ( p, q ; k ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } = \left | \sum _ { p = i + 1 } ^ { M } \sum _ { q = M + 1 + i - p } ^ { N + i - p } a ( p, q ; p - i ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ \leqslant C ( i + 1 ) \right | \sum _ { p = i + 1 } ^ { M } \sum _ { q = M + 1 + i - p } ^ { N + i - p } ( q + p - i ) q _ { p, p - i } c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ \leqslant C \mathcal { Q } ( i + 1 ) \sup _ { r \geqslant M + 1 } \frac { r } { \sigma _ { 0 } ( r ) } \left | \sum _ { p = i + 1 } ^ { M } \sum _ { q = M + 1 + i - p } ^ { N + i - p } \sigma _ { 0 } ( q + p - i ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) }, \\ \cdot \quad \cdot \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array}$$

$$\frac { r } { \sigma _ { 0 } ( r ) } \left | \sum _ { p = i + 1 } ^ { M } \sum _ { q = M + 1 + i - p } ^ { N + i - p } \sigma _ { 0 } ( q + p - i ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) }$$

where we have used the fact that for ( p, q ) ∈ J II , r := q + p -i /greaterorequalslant M +1 .

Using the monotonicity of σ 0 and the inequality (33) with m σ 0 = 2, we get

$$\sigma _ { 0 } ( q + p - i ) \leqslant \sigma _ { 0 } ( q + p ) \leqslant 3 \sigma _ { 0 } ( p ) + 3 \sigma _ { 0 } ( q ).$$

This implies that,

$$\left | \sum _ { p = i + 1 } ^ { M } \sum _ { q = M + 1 + i - p } ^ { N + i - p } \sigma _ { 0 } ( q + p - i ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } & \leqslant 3 \left | \sum _ { p = i + 1 } ^ { M } \sum _ { q = M + 1 + i - p } ^ { N + i - p } ( \sigma _ { 0 } ( p ) + \sigma _ { 0 } ( q ) ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \\ & \leqslant 6 \mathcal { S } _ { 0 } \| c _ { 0 } \| T.$$

Hence, there is a constant C 2 &gt; 0 only depending on i, T, S 0 and ‖ c 0 ‖ , such that

$$\left | \sum _ { ( p, q ) \in J _ { I I } } \sum _ { k \in \mathcal { K } _ { j, i } ^ { N } ( p, q ) } a ( p, q ; k ) c _ { p } ^ { N } c _ { q } ^ { N } \right | _ { L _ { 1 } ( 0, T ) } \leqslant C _ { 2 } \sup _ { r \geqslant M + 1 } \frac { r } { \sigma _ { 0 } ( r ) }, \quad ( 9 6 )$$

and, obtained in the same way,

$$\left | \sum _ { ( p, q ) \in J _ { I I } } \sum _ { k \in \mathcal { K } _ { j, i } ( p, q ) } a ( p, q ; k ) c _ { p } c _ { q } \right | _ { L _ { 1 } ( 0, T ) } \leqslant C _ { 2 } \sup _ { r \geqslant M + 1 } \frac { r } { \sigma _ { 0 } ( r ) }.$$

As before, by (90), (94), (95), (96) and (97), we obtain, for i ∈ N ,

$$\lim _ { N \to + \infty } | \hat { Q } _ { 1, i } ^ { N } ( c ^ { N } ) - \hat { Q } _ { 1, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } \leqslant C _ { 3 } \sup _ { p \geqslant M + 1 } \frac { p } { \sigma _ { 0 } ( p ) },$$

for some constant C 3 &gt; 0 only depending on i, T, S 0 and c 0 . Since σ 0 ∈ E , the right-hand side of the above estimate converges to zero, as M → + ∞ , therefore proving (88) for j = 1.

Now we tackle the terms whose rate coefficients are of fragmentation-type, namely: a p, ( 0; k . ) Define A N i j, as the sum of terms in Q N i j, which are of this type. According

to (67)-(70) we have, for N /greaterorequalslant i +2 ,

$$A _ { 1, i } ^ { N } ( c ^ { N } ) = ( 1 - \delta _ { i, 0 } ) \sum _ { k = 1 } ^ { N - i } a ( i + k, 0 ; k ) c _ { i + k } ^ { N } c _ { 0 } ^ { N }, \quad \ i \in \{ 0, 1, \dots, N - 1 \}, \quad ( 9 8 )$$

$$A _ { 2, i } ^ { N } ( c ^ { N } ) = - \delta _ { i, 0 } \sum _ { k = 1 } ^ { N - 1 } \sum _ { j = k + 1 } ^ { N } a ( j, 0 ; k ) c _ { j } ^ { N } c _ { 0 } ^ { N }, \quad \ \ i \in \{ 0, 1, \dots, N - 1 \}, \ \ ( 9 9 )$$

$$A _ { 3, i } ^ { N } ( c ^ { N } ) = \sum _ { j = i + 1 } ^ { N } a ( j, 0, i ) c _ { j } ^ { N } c _ { 0 } ^ { N }, \quad \quad i \in \{ 1, \dots, N \}, \quad \quad ( 1 0 0 )$$

$$A _ { 4, i } ^ { N } ( c ^ { N } ) = - \sum _ { k = 1 } ^ { i - 1 } a ( i, 0 ; k ) c _ { 0 } ^ { N } c _ { i } ^ { N } \,, \quad \quad i \in \{ 1, \dots, N \}, \quad \quad ( 1 0 1 ) \\. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

where δ i, 0 is the Kronecker symbol. Here, we used Definition (9) that all coefficients of type a k, ( 0; k ) are zero. Correspondingly, we define A j,i as the sums of terms in Q j,i with rate coefficients of the same type which are obtained from (98)-(101) making N →∞ in the upper limits of the sums. Our next claim is that A j,i ( c ) ∈ L 1 (0 , T ) and

$$\lim _ { N \to + \infty } | A _ { j, i } ^ { N } ( c ^ { N } ) - A _ { j, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } = 0.$$

Observe that, for each i = 1 , . . . , N, the sum in (101) runs over a finite set of indices and that

$$\int _ { 0 } ^ { T } | A _ { 4, i } ^ { N } ( c ^ { N } ( t ) ) - A _ { 4, i } ( c ( t ) ) | d t = \alpha ( i ) \int _ { 0 } ^ { T } | c _ { 0 } ^ { N } ( t ) c _ { i } ^ { N } ( t ) - c _ { 0 } ( t ) c _ { i } ( t ) | d t,$$

and hence, our claim is easily proved for j = 4 by the bounded convergence theorem. For the other cases we write, for j = 1 2 3 , , ,

$$A _ { j, i } ^ { N } ( c ) = c _ { 0 } ^ { N } \sum _ { ( p, k ) \in \mathcal { I } _ { j, i } ^ { N } } a ( p, 0 ; k ) c _ { p } ^ { N },$$

where,

$$\mathcal { I } _ { 1, i } ^ { N } & \coloneqq \{ ( p, k ) \in \mathbb { N } ^ { 2 } \, \colon i + 1 \leqslant p \leqslant N, \ k = p - i \}, \quad i \in \{ 1, \dots, N - 1 \}, \\ \mathcal { I } _ { 2, 0 } ^ { N } & \coloneqq \{ ( p, k ) \in \mathbb { N } ^ { 2 } \, \colon 2 \leqslant p \leqslant N, \ 1 \leqslant k \leqslant p - 1 \}, \\ \mathcal { I } _ { 3, i } ^ { N } & \coloneqq \{ ( p, k ) \in \mathbb { N } ^ { 2 } \, \colon i + 1 \leqslant p \leqslant N, \ k = i \}, \quad \quad i \in \{ 1, \dots, N \}. \\.. \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots.$$

Observe that I N j,i /subsetornotdbleql I N +1 j,i . Also, define I j,i := ∞ N = +1 i I N j,i ,

$$\mathcal { J } ^ { N } \coloneqq \{ ( p, k ) \in ( \mathbb { N } _ { + } ) ^ { 2 } \, \colon 1 \leqslant p \leqslant N, \, 1 \leqslant k \leqslant p - 1 \},$$

⋃ and consider the sets N , and J := ⋃ ∞ N =1 J N . Let us also recall the sets J N 0 from Lemma 4.6 and consider J 0 := ⋃ ∞ N = M 0 +1 J N 0 . Then, the set J \ J 0 is finite. Therefore,

$$\sum _ { ( p, k ) \in \mathcal { J } \bigvee \mathcal { J } _ { 0 } } a ( p, 0 ; k ) c _ { 0 } c _ { p } \in L _ { 1 } ( 0, T ).$$

On the other hand, for ( p, k ) ∈ J N 0 we have, by Lemma 4.6, and the fact that, for p /greaterorequalslant M 0 +1 , σ 0 ( p -1) /p -1 /greaterorequalslant 1 , for fixed µ /greaterorequalslant M 0 +1 ,

$$\mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } \mu _ { 0 } ^ { 2 } ( p, 0 ; k ) c _ { 0 } ^ { N } ( t ) c _ { p } ^ { N } ( t ) d t \leqslant \gamma _ { T } \sum _ { i = 0 } ^ { \infty } \sigma _ { 0 } ( i ) c _ { 0 i }.$$

By letting N → + ∞ , by using the bounded convergence theorem, we can replace in the previous inequality c N p by c p . Then, by the monotone convergence theorem, by letting µ → + ∞ , we obtain

$$\sum _ { ( p, k ) \in \mathcal { J } _ { 0 } } a ( p, 0 ; k ) c _ { 0 } c _ { p } \in L _ { 1 } ( 0, T ).$$

By (103) and (104), we conclude that,

$$\sum _ { ( p, k ) \in \mathcal { J } } a ( p, 0 ; k ) c _ { 0 } c _ { p } \in L _ { 1 } ( 0, T )$$

Since, for j = 1 2 3 , , , and corresponding indices i, I j,i ⊂ J , we can conclude that,

$$A _ { j, i } ( c ) \in L _ { 1 } ( 0, T ).$$

This, together with (86) allows us to conclude that

$$Q _ { j, i } ( c ) \in L _ { 1 } ( 0, T ), \ \ j \in \{ 1, 2, 3, 4 \} \ \ ( \text{or} \ j \in \{ 1, 2 \} \text{ if } i = 0 ),$$

which is condition (ii) of Definition 3.1.

The proof of (102) proceeds in a way similar to the proof of claim (88), by considering the inequality corresponding to (89) but now with the ˆ 's Q replaced by the A 's and with the obvious replacements on the right-hand side. So, for each pair of integers M,N such that i +1 /lessorequalslant M /lessorequalslant N, we have

$$\dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad\dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \$$

By the bounded convergence theorem, for each choice of M we have,

$$\lim _ { N \to + \infty } \sum _ { ( p, k ) \in \mathcal { I } _ { j, i } ^ { M } } a ( p, 0 ; k ) \left | c _ { p } ^ { N } c _ { 0 } ^ { N } - c _ { p } c _ { 0 } \right | _ { L _ { 1 } ( 0, T ) } = 0. \quad \ \ ( 1 0 6 ) \\ \cdots \, \intertext { a n e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e N d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d t e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d o n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n e d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d o r d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d i n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e nd e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e r e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e p h o n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e n d e p l a n d e n n$$

With reference to Lemma 4.6, we have, for j = 1 2 3 and , , i in the corresponding sets, if N /greaterorequalslant M /greaterorequalslant M , 0 then I N j,i \ I M i j, /subsetornotdbleql J 0 so that (52) is true for J 0 replaced by I N j,i \ I M i j, , that is, there is a constant C T ( ) &gt; 0 , such that,

$$\int _ { 0 } ^ { T } \sum _ { ( p, k ) \in \mathcal { I } _ { j, i } ^ { N } \mathcal { I } _ { j, i } ^ { M } } \frac { \sigma _ { 0 } ( p - 1 ) } { p - 1 } a ( p, 0 ; k ) c _ { 0 } ^ { N } ( t ) c _ { p } ^ { N } ( t ) d t \leqslant C ( T ). \quad \ ( 1 0 7 )$$

For j = 1 2 3 and ( , , p, k ) ∈ I N j,i \ I M i j, , we have p /greaterorequalslant M + 1 and therefore, given ε ∈ (0 , 1) , for M sufficiently large we have

$$\sup _ { ( p, k ) \in \mathcal { I } _ { j, i } ^ { N } \bigvee \mathcal { I } _ { j, i } ^ { M } } \frac { \sigma _ { 0 } ( p - 1 ) } { p - 1 } = \frac { \sigma _ { 0 } ( M ) } { M } \geqslant \frac { 2 C ( T ) } { \varepsilon },$$

which, by (107) allows us to conclude that,

$$\vee \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \varepsilon \quad \left ( 1 0 8 \right ) \\ \text{g similarly, we obtain}$$

Proceeding similarly, we obtain

$$\xi, \dots \dots _ { y }, \quad \sim \dots \\ \left | \sum _ { ( p, k ) \in \mathcal { I } _ { j, i } \langle \mathcal { I } _ { j, i } ^ { M } } a ( p, 0 ; k ) c _ { 0 } c _ { p } \right | _ { L _ { 1 } ( 0, T ) } \leqslant \frac { \varepsilon } { 2 }.$$

From (106), (108) and (109), we obtain

$$\lim _ { N \to + \infty } | A _ { j, i } ^ { N } ( c ^ { N } ) - A _ { j, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } \leqslant \varepsilon,$$

from which, by letting ε → 0 , we obtain (102).

From (88) and (102) we prove that for j ∈ { 1 2 3 4 , , , } , i ∈ N + , and also for ( j, i ) = (1 , 0) ,

$$\lim _ { N \to + \infty } | Q _ { j, i } ^ { N } ( c ^ { N } ) - Q _ { j, i } ( c ) | _ { L ^ { 1 } ( 0, T ) } = 0.$$

Then, from the integrated version of the truncated system (36)-(40), and also Corollary 4.2, (83) and (84), together with (110), it is straightforward to obtain that c satisfies condition (iii) of Definition 3.1. The continuity of c ( ) · is a consequence of this. /square

Analogously with what is sometimes the practice in the coagulation-fragmentation literature [7] we shall call admissible any solution to the initial value problem (7), (8) obtained as limit of solutions to the (36)-(41) when N →∞ , in the sense used in the above proof of Theorem 5.1.

The proof that, in the isolated case, admissible solutions of (7) conserve the moments (24) with r = 0 (total number of clusters) and r = 1 (total mass of clusters) is easily done using the fact that if an initial condition c 0 is in X + 0 1 , then it satisfies (81), for some σ 0 ∈ E , and so it is slightly more regular, and this extra regularity is inherited by the admissible solution (remember Lemma 4.6 and (82)).

Theorem 5.2. Let c 0 ∈ X + 0 1 , , and let c = ( c i ) i /greaterorequalslant 0 be an admissible solution to (7) , (8) in the isolated case. Then, for all t /greaterorequalslant 0 ,

$$\mathcal { P } _ { 0 } ( t ) \coloneqq \sum _ { i = 0 } ^ { \infty } c _ { i } ( t ) = \sum _ { i = 0 } ^ { \infty } c _ { 0 i } = \colon \mathcal { P } _ { 0 } ( 0 ). & & ( 1 1 1 )$$

and

$$\mathcal { P } _ { 1 } ( t ) \coloneqq \sum _ { i = 0 } ^ { \infty } i c _ { i } ( t ) = \sum _ { i = 0 } ^ { \infty } i c _ { 0 i } = \colon \mathcal { P } _ { 1 } ( 0 ).$$

Proof. Let T &gt; 0 and 2 /lessorequalslant L &lt; N . Using Corollary 4.2 we write, for all t ∈ [0 , T ) .

$$\Gamma _ { 0 } ( t ) - \Gamma _ { 0 } ( 0 ) & = \sum _ { i = 0 } ^ { N } ( c _ { i } ( t ) - c _ { 0 i } ) + \sum _ { i = N + 1 } ^ { \infty } c _ { i } ( t ) - \sum _ { i = N + 1 } ^ { \infty } c _ { 0 i } \\ & = \sum _ { i = 0 } ^ { N } ( c _ { i } ( t ) - c _ { i } ^ { N } ( t ) ) + \sum _ { i = 0 } ^ { N } ( c _ { i } ^ { N } ( t ) - c _ { 0 i } ) + \sum _ { i = N + 1 } ^ { \infty } c _ { i } ( t ) - \sum _ { i = N + 1 } ^ { \infty } c _ { 0 i } \\ & = \sum _ { i = 0 } ^ { L } ( c _ { i } ( t ) - c _ { i } ^ { N } ( t ) ) + \sum _ { i = L + 1 } ^ { \infty } c _ { i } ( t ) - \sum _ { i = L + 1 } ^ { N } c _ { i } ^ { N } ( t ) - \sum _ { i = N + 1 } ^ { \infty } c _ { 0 i }$$

Thus, from the fact that c 0 ∈ X 0 1 , ,

$$\text{ Thus, from the fact that } c _ { 0 } \in X _ { 0, 1 }, \\ | \mathcal { P } _ { 0 } ( t ) - \mathcal { P } _ { 0 } ( 0 ) | & \leq \sum _ { i = 0 } ^ { L } | c _ { i } ( t ) - c _ { i } ^ { N } ( t ) | + \sum _ { i = L + 1 } ^ { \infty } | c _ { i } ( t ) | + \sum _ { i = N + 1 } ^ { N } | c _ { i } ^ { N } ( t ) | + \sum _ { i = N + 1 } ^ { \infty } | c _ { 0 i } |, \\ & \leq \sum _ { i = 0 } ^ { L } | c _ { i } ( t ) - c _ { i } ^ { N } ( t ) | + \sum _ { i = L + 1 } ^ { \infty } | c _ { i } ( t ) | + \\ & \quad + \frac { 1 } { L + 1 } \sum _ { i = L + 1 } ^ { N } | i c _ { i } ^ { N } ( t ) | + \sum _ { i = N + 1 } ^ { \infty } | c _ { 0 i } |. \\ \text{Now letting } N \to \infty \text{ and using } ( 8 3 ) \text{ and } ( 8 5 ) \text{ it follows that}$$

Now letting N →∞ and using (83) and (85) it follows that

$$| \mathcal { P } _ { 0 } ( t ) - \mathcal { P } _ { 0 } ( 0 ) | \leqslant \sum _ { i = L + 1 } ^ { \infty } | c _ { i } ( t ) | + \frac { 1 } { L + 1 } \gamma _ { T } \mathcal { S } _ { 0 },$$

and letting L →∞ we conclude that |P 0 ( ) t -P 0 (0) | = 0 , thus proving (111).

To prove (112) repeat the computations above, now for P 1 ( ) t -P 1 (0). We get

$$\text{To prove (112} ) \text{ repeat the computations above, now for $\mathcal{P}_{1}(t)=\mathcal{P}_{1}(0)$. We get} \\ | \mathcal { P } _ { 1 } ( t ) - \mathcal { P } _ { 1 } ( 0 ) | \leqslant \sum _ { i = 0 } ^ { L } i \left | c _ { i } ( t ) - c _ { i } ^ { N } ( t ) \right | + \sum _ { i = L + 1 } ^ { \infty } | i c _ { i } ( t ) | + \sum _ { i = N + 1 } ^ { \infty } | i c _ { 0 i } |, \\ \leqslant \sum _ { i = 0 } ^ { L } i \left | c _ { i } ( t ) - c _ { i } ^ { N } ( t ) \right | + \sum _ { i = L + 1 } ^ { \infty } | i c _ { i } ( t ) | \, + \\ + \frac { L + 1 } { \sigma _ { 0 } ( L + 1 ) } \sum _ { i = L + 1 } ^ { N } | \sigma _ { 0 } ( i ) c _ { i } ^ { N } ( t ) | + \sum _ { i = N + 1 } ^ { \infty } | i c _ { 0 i } | \\ \text{and now repeating the process of letting first $N$} \to \infty, \text{ then $L$} \to \infty, \text{ and using (85)} \,.$$

and now repeating the process of letting first N →∞ , then L →∞ , and using (85) and (31), we conclude (112). /square

5.2. The non-isolated case. In the non-isolated case theorems 5.1 and 5.2 can be stated almost exactly verbatim (the only difference being the lack of conservation of the cluster number density) with essentially the same proofs, where the only difference is that the terms Q j, 0 are now all zero. For completeness we state them now, omitting the proofs.

Theorem 5.3. Let c 0 = ( c 0 i ) i ≥ 0 ∈ X + 0 1 , . Assume the rate coefficients satisfy the conditions (27) -(28) . Then the initial value problem (7) , (8) for the non-isolated case has at least one global solution c defined on the interval [0 , ∞ ) .

Theorem 5.4. Let c 0 ∈ X + 0 1 , , and let c = ( c i ) i /greaterorequalslant 0 be an admissible solution to (7) , (8) in the non-isolated case. Then, for all t /greaterorequalslant 0 , P 1 ( ) = t P 1 (0) .

## 6. A regularity result

All along this work we have been considering conditions (27)-(28) with the only condition imposed on the rate coefficients of fragmentation-type, a p, ( 0; k , ) being their nonnegativity, besides the 'physical' conditions (9)-(11). This lack of upper bounds prevented us from using Ascoli-Arzel` theorem in the proof of the existence a theorems. It also prevent us to obtain uniform convergence properties for the series defining each Q j,i ( c ( )) · , for the solution c obtained in the existence theorem and

therefore, to obtain more regularity for this solution than its continuity. However, if we extend the upper bound (28) to j = 0 , we obtain the following regularity result which, in particular, proves that the solution constructed in Theorem 5.1 is a solution of (7)-(8) in the classical sense:

Theorem 6.1. Suppose that the rate coefficients satisfy (27) (28) -, for all j ∈ N . If c = ( c i ) is a mild solution of (7) (8) -on [0 , T ) , in either the isolated or the non-isolated cases, and if ∑ ∞ i =1 ic i ( ) · is constant in [0 , T ) , then, for each i ∈ N , c i ∈ C 1 ([0 , T ) , R + 0 ) .

Proof. Similar to the function Φ introduced in the proof of Theorem 5.1, we define the function Ψ by

$$\Psi ( \beta ) \coloneqq \sum _ { ( i, j, k ) \in \mathcal { I } _ { 0 } } a ( i, j ; k ) \beta _ { i } \beta _ { j },$$

where,

$$\mathcal { I } _ { 0 } \coloneqq \{ ( i, j, k ) \in \mathbb { N } ^ { 3 } \, \colon 1 \leqslant k \leqslant i \},$$

the domain of which, D , Ψ is the subset of X + 0 1 , formed by the elements β for which the above series is convergent. By proceeding as in the proof of Theorem 5.1, we obtain, for any integer η /greaterorequalslant 2 ,

$$\sum _ { i = 1 } ^ { \eta } \sum _ { j = 0 } ^ { \eta } \sum _ { k = 1 } ^ { i } a ( i, j ; k ) \beta _ { i } \beta _ { j } \leqslant 2 C \mathcal { Q } \left ( \sum _ { i = 1 } ^ { \eta } i \beta _ { i } \right ) \left ( \sum _ { i = 1 } ^ { \eta } j \beta _ { j } + \sum _ { j = 0 } ^ { \eta } \beta _ { j } \right ). \quad ( 1 1 4 )$$

This shows that, in fact, D Ψ = X + 0 1 , . On the other hand, from the assumption that ∑ ∞ i =1 ic i ( ) is constant for t t ∈ [0 , T ) Dini's theorem allow us to conclude that this series of nonnegative functions is uniformly convergent on any compact subset of [0 , T ). And so ∑ ∞ i =0 c i ( ) is also uniformly convergent on compact subsets of [0 t , T ). This, together with (114) ensure that the same is true for the series defining Ψ( c ( )). · Since, for j = 1 2 3 4 with , , , i ∈ N + , and j = 1 2 with , i = 0, the the indices of sums defining Q j,i ( c ) run over subsets of I 0 , we conclude that these are also uniformly convergent on any compact subset of [0 , T ) and therefore, by the continuity of c, we conclude that Q j,i ( c ( )) is continuous in [0 · , T ). But then, by (iii) in Definition 3.1, the thesis of the lemma is obtained. /square

Remark 6.2. We remark that the proof presented above is valid for both the isolated and non-isolated cases as it is based on the bound (114) and the conservation of mass (together with Dini's theorem), both of which hold true in both regimes.

Remark 6.3. In the non-isolated case discussed in sections 2 and 3, when the DGED system is reduced to the standard coagulation-fragmentation equations, if we impose the conditions of Theorem 6.1 we have for the fragmentation coefficients,

$$b _ { j, k } & = 2 a ( j + k, 0 ; k ) c _ { 0 } \\ & \leqslant 2 C ( j + 1 ) k q _ { j + k, k } c _ { 0 } \\ & \leqslant K j k,$$

with K = 2( C +1) Q c 0 , and we recover Theorem 5.2 of [1] .

## 7. Uniqueness of solutions

In this section, we establish and prove a partial uniqueness result for (7)-(8) under some restrictions on the reaction rate. The proof is based on ideas commonly used in studies of coagulation-type equations (see, e.g., [1, 18]) and so we will skip most of the details of the computations. Those ideas are the following: we assume that, for some T ∈ (0 , ∞ ) the initial value problem (7)-(8) has two solutions c = ( c i ) and d = ( d i ). Defining x := c -d , we prove that, on [0 , T ], this function satisfies a differential inequality where ψ t ( ) := ∑ ∞ i =0 (1 + i α ) | x i ( ) t | . From this, by Gronwall's inequality, we get x i ( ) t ≡ 0, and hence uniqueness follows.

$$\psi ( t ) \leqslant \int _ { 0 } ^ { t } \psi ( s ) d s, \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

To implement this idea we need to get an evolution equation for solutions to (7) similar to (43), in Proposition- 4.1, which was valid for solutions of the truncated system (36)-(40). This is stated in the next proposition, whose proof is similar to that of Proposition 4.1 and we leave it to the reader.

Proposition 7.1. Let c = ( c i ) i /greaterorequalslant 0 be any solution of (7) in the isolated case. Then, for every n ∈ N and sequence ( g i ) we have

$$\text{for every } n \in \text{ } & N \text{ and sequence } \overset { n } { ( g _ { i } ) } \text{ we have } \\ \sum _ { i = 0 } ^ { n } g _ { i } c _ { i } ( t ) & = \sum _ { i = 0 } ^ { n } g _ { i } c _ { i } ( 0 ) \\ & \quad + \int _ { 0 } ^ { t } \sum _ { k = 1 } ^ { n } \sum _ { i = k } ^ { n } \sum _ { j = 0 } ^ { n - k } ( g _ { j + k } + g _ { i - k } - g _ { j } - g _ { i } ) a ( i, j ; k ) c _ { i } ( s ) c _ { j } ( s ) d s \\ & \quad + \int _ { 0 } ^ { t } \sum _ { j = 1 } ^ { 4 } R _ { j, n } ( c ( s ) ) d s$$

$$+ \int _ { 0 } ^ { t } \sum _ { j = 1 } ^ { 4 } R _ { j, n } ( c ( s ) ) d s$$

where

$$R _ { 1, n } ( c ( \cdot ) ) \coloneqq \sum _ { k = 1 } ^ { n } \sum _ { i = n + 1 } ^ { \infty } \sum _ { j = 0 } ^ { n - k } g _ { j + k } a ( i, j ; k ) c _ { i } c _ { j }, & & ( 1 1 7 )$$

$$R _ { 2, n } ( c ( \cdot ) ) \coloneqq \left ( \sum _ { k = 1 } ^ { \infty } \sum _ { i = k } ^ { n + k } \sum _ { j = 0 } ^ { \cdot } - \sum _ { j = 1 } ^ { n } \sum _ { i = k } ^ { n } \sum _ { j = 0 } ^ { n - k } \right ) g _ { i - k } a ( i, j ; k ) c _ { i } c _ { j },$$

$$R _ { 3, n } ( c ( \cdot ) ) \coloneqq - & \left ( \sum _ { k = 1 } ^ { \infty } \sum _ { i = k } ^ { \infty } \sum _ { j = 0 } ^ { n } - \sum _ { k = 1 } ^ { n } \sum _ { i = k } ^ { n } \sum _ { j = 0 } ^ { n - k } \right ) g _ { j } a ( j, i - k ; k ) c _ { j } c _ { i - k }, \quad \ ( 1 1 9 )$$

$$R _ { 4, n } ( c ( \cdot ) ) \coloneqq - \sum _ { k = 1 } ^ { n } \sum _ { i = k } ^ { n } \sum _ { j = n - k + 1 } ^ { n } g _ { i } a ( i, j ; k ) c _ { i } c _ { j }.$$

Observe that in (115), when k = n the only term of the triple sum has ( i, j, k ) = ( n, 0 , n ) and so, either from g j + k + g i -k -g j -g i = g n + g 0 -g 0 -g n = 0, or by (9), its contribution to (115) is identically zero. This means that the sum in k can be done just from 1 to n -1, exactly as in (43).

We will assume that the rate coefficients a i, j ( ; k ) satisfy the following: there exist a constant α ∈ [0 , 1 2 ) and a positive constant C such that, for all integers i, k

such that 1 /lessorequalslant k /lessorequalslant i , and all j ∈ N , we have

$$a ( i, j ; k ) & \leqslant C ( i - k + 1 ) ^ { \alpha } ( j ^ { \alpha } + k ^ { \alpha } ) q _ { i, k }, & ( 1 2 1 )$$

and q i,k satisfy the condition (27) used in the existence result.

Note that condition (121) is more restrictive than (28) not only due to the constant α being smaller than 1, but because it is assumed to be valid also for the case j = 0 which we had not assumed to be the case in (28) (remember the discussion in Section 6.)

We also observe that from (27) and (121) it follows that

$$\sum _ { k = 1 } ^ { i } k ^ { \alpha } ( i - k + 1 ) ^ { \alpha } q _ { i, k } \leqslant \mathcal { Q } i ^ { \alpha }.$$

In fact, from min 1 /lessorequalslant k /lessorequalslant i { k i ( -k +1) } = i, we have

$$\dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ \mathcal { Q } i & \geqslant \sum _ { k = 1 } ^ { i } k ( i - k + 1 ) q _ { i, k } = \sum _ { k = 1 } ^ { i } \left ( k ( i - k + 1 ) \right ) ^ { 1 - \alpha } k ^ { \alpha } ( i - k + 1 ) ^ { \alpha } q _ { i, k } \\ & \geqslant i ^ { 1 - \alpha } \sum _ { k = 1 } ^ { i } k ^ { \alpha } ( i - k + 1 ) ^ { \alpha } q _ { i, k }, \\ \text{from which } / 1 9 \nwarrow \text{addly follow}$$

from which (122) readily follows.

We can now state the following uniqueness result:

Theorem 7.2. Suppose that the rate coefficients satisfy (28) and (121) , with α ∈ [0 , 1 2 ) . Let T ∈ (0 , + ∞ ) , and c 0 ∈ X + 0 1 , . Then, the initial value problem (7) -(8) has a unique solution on [0 , T ] .

↦

Proof. Suppose c = ( c i ) and d = ( d i ) are two solutions of (7)-(8) on [0 , T ] . Let x := c -d . Note that, since that c (0) and d (0) are both equal to the initial condition c 0 , and thus x (0) = 0. Also, for all i and j it is clear that c c i j -d d i j = c x i j + d x . j i Observing that, for every absolutely continuous function u t ( ), the function t → | u t ( ) | is also absolutely continuous and d dt | u t ( ) | = sgn( u t ( )) du dt almost everywhere (where sgn( ) denotes the sign function), we can use Proposition 7.1 to write ·

$$\sum _ { i = 0 } ^ { n } ( 1 + i ^ { \alpha } ) | x _ { i } ( t ) | = \int _ { 0 } ^ { t } \sum _ { k = 1 } ^ { n } \sum _ { i = k } ^ { n } \sum _ { j = 0 } ^ { n - k } \tilde { g } ( i, j ; k ) a ( i, j ; k ) ( c _ { i } ( s ) x _ { j } ( s ) + d _ { j } ( s ) x _ { i } ( s ) ) d s$$

(123)

$$+ \int _ { 0 } ^ { t } \sum _ { j = 1 } ^ { 4 } \Delta R _$$

where ˜( g i, j ; k ) := g j + k + g i -k -g j -g i , with g i = (1 + i α ) sgn( x i ), and ∆ R j,n ( ) := · R j,n ( c ( )) · -R j,n ( d ( )) · . Writing x /lscript = sgn( x /lscript ) | x /lscript | and remembering that the sign function is either -1 0 or 1, we can write ,

$$\tilde { g } ( i, j ; k ) x _ { j } & = ( g _ { j + k$$

↦

now using the concavity of u → u α and the fact that for 0 /lessorequalslant u /lessorequalslant i the function u → u α +( i -u ) α , has a maximum at u = i/ 2, whose value is 2 1 -α α i we get

$$\theta _ { \begin{array} {$$

Analogously,

$$\Phi _ { \tilde { \ g } ( i, j ; k ) x _ { i } } & \$$

Plugging (121), (122), (125) and (126) into (123) we can bound from above the function in the integral in (123) by

$$7 C Q \sup _ { t \in [ 0, T ] } ( \| c ( t ) \| + \$$

↦

To estimate the terms ∆ R j,n we use the same tools as above (assumptions α ∈ [0 , 1 2 ), (121), (122), the concavity of i → i α , values of the sign function) and recalling that | x /lscript | = | c /lscript -d /lscript | /lessorequalslant c /lscript + d , /lscript to obtain

$$\Delta R _ { 1, n } & \leqslant \frac { 6 C Q } { ( n + 1 ) ^ { 1 - 2 \alpha } } \sup _ { \substack { t \in [ 0, T ] \\ 1 \mathcal { C } O } } \left ( \| c ( t ) \| + \| d ( t ) \| \right ) ^ { 2 },$$

$$+ \, 4 C Q \sum _ { i = 1 } ^ { ^ { \prime \prime } } \sum _ { j = n - i + 1 } ^ { \infty } i ^ { 2 \alpha } ( c _ { i } + d _ { i } ) j ^ { 2 \alpha } ( c _ { j } + d _ { j } )$$

$$\Delta R _ { 2, n } & \leqslant \frac { \stackrel { \lll } { 1 2 C Q } } { ( n + 1 ) ^ { 1 - 2 \alpha } } \sup _ { t \in [ 0, T ] } \left ( \| c ( t ) \| + \| d ( t ) \| \right ) ^ { 2 } + \\ & \quad + 4 C Q \sum _ { i = 1 } ^ { n } \sum _ { i = n - i + 1 } ^ { \infty } i ^ { 2 \alpha } ( c _ { i } + d _ { i } ) j ^ { 2 \alpha } ( c _ { j } + d _ { j } )$$

$$\Delta R _ { 3, n } \leqslant \frac { 4 C Q } { ( n + 1 ) ^ { 1 - \alpha } } \sup _ { n } \left ( \| c ( t ) \| + \| d ( t ) \| \right ) ^ { 2 } +$$

$$+ 8 C Q \sum _ { i = 1 } ^ { n } \sum _ { j = n - i + 1 } ^ { \mu \mu \nu } i ^ { 2 \alpha } ( c _ { i } + d _ { i } ) j ^ { 2 \alpha } ( c _ { j } + d _ { j } ), \quad \ \ ( 1 3 0 )$$

$$\Delta R _ { 4, n } \leqslant 4 C Q \sum _ { i$$

For s ∈ [0 , T ] we have ∑ n i =0 (1 + i α ) | x i ( s ) | /lessorequalslant ‖ x s ( ) ‖ /lessorequalslant sup s ∈ [0 ,T ] ‖ x s ( ) ‖ &lt; ∞ , and so the bound (127) and the monotone convergence theorem imply that the integral (123) is bounded above by

$$7 C Q \sup _ { t \in [ 0, T ] } \left ( \| c$$

when n →∞ .

In the same way, from (128)-(131) and the assumption α &lt; 1 2 we conclude, using the dominated convergence theorem, that the integral (124) converges to zero as n →∞ .

↦

Hence, we can now pass to the limit n → ∞ in (123)-(124) obtaining, for t ∈ [0 , T ] the inequality

$$\begin{array} {$$

and thus Gronwall's lemma implies that

$$\sum _ { i = 0 } ^ { \infty } ( 1 + i ^ { \alpha$$

whence x i ( ) t ≡ 0, and the uniqueness is proved.

/square

The reader may have noted that the above proof is valid for both the isolated and the non-isolated cases.

## 8. Final Remarks

In this paper we introduced a new model for exchange-driven growth of clusters made up of a discrete number of particles. This model allows for the exchange of a number k of particles between two clusters thus generalizing the exchange-driven model existing in the literature, for which only a single particle ( k = 1) can be exchanged in each reaction between clusters.

The mathematical description of the time evolution of the concentration at time t of clusters made of i /greaterorequalslant 0 identical particles, c i ( ) t , is the system of ordinary differential equations (7), which we called the Discrete Generalized Exchange Driven system (DGED). In this paper, after introducing the model and relating it with other cluster models (exchange-driven, coagulation-fragmentation) we proved an existence result under reasonably general conditions on the rate coefficients, and two conservation results. Under a slightly more restrictive hypothesis on the rate coefficients, we prove uniqueness of solutions to the initial value problems. Also under more restrictive assumptions than those used for the existence proof we prove a regularity result.

One aspect that we did not touch in this study is the long-time behaviour of solutions. This we expect to be able to tackle in future work. In this direction, proving that the set of solutions constitute a semi-group in an appropriate topology will be crucial. Furthermore, existing studies about the exchange-driven and the coagulation-fragmentation systems suggest that under appropriate conditions DGED can have nonzero equilibria and the dynamic convergence of solutions to these equilibria as t →∞ can be studied using a Lyapunov function. We conclude this paper with some further comments about this aspect.

System (7) can be rewritten in a way that highlights the balance of reversible chemical reactions between clusters; namely, by grouping together Q 1 ,i ( c ) + Q 2 ,i ( c ) we model reactions of the type 〈 i + k 〉 + 〈 j 〉 /harpoonleftright 〈 〉 i + 〈 j + k 〉 , and looking at Q 3 ,i ( c ) + Q 4 ,i ( c ) we are considering the reactions 〈 i - 〉 k + 〈 j 〉 /harpoonleftright 〈 〉 i + 〈 j - 〉 k . Thus, we can write (7) as follows

$$\dot { c } _ { i } = \sum _ { k = 1 } ^ { i }$$

with and

$$\omega ( q, p ; k ) ( c ) \coloneqq a ( q, p ; k ) c _ { q } c _ { p } - a ( p + k, q - k ; k ) c _ { p + k } c _ { q - k } \quad \ \ ( 1 3 4 )$$

where the first sum in the right-hand side of (132) arises from Q 3 ,i ( c ) + Q 4 ,i ( c ) and the second term from Q 1 ,i ( c ) + Q 2 ,i ( c ).

Writing the equations in this form immediately shows that if each of the above reversible chemical reactions are in equilibrium then all ω q, p ( ; k )( c ) = 0 and we are at an equilibrium of the ordinary differential equation system. This situation corresponds to the occurrence of the so called microscopic reversibility, and is a physically natural assumption, translated in mathematical terms in the following detailed balance condition: there exists a positive sequence O = ( O i ) , with O 0 = 1, such that ω q, p ( ; k )( O ) = 0 , ∀ q, p, k. Clearly, under this condition the sequence defined by ¯ c i = O j z j will be an equilibrium solution of (7) if z &gt; 0 is such that ¯ c ∈ X 0 1 , .

From previous works on cluster dynamics' equations of exchange driven [14] or coagulation-fragmentation types [8] with detailed balance assumptions we might expect that, under appropriate conditions, the function

$$\dots \cdot \cdot \cdot \\ V ( c ) \coloneqq \sum _ { i = 0 } ^ { \infty } c _ { i } \left ( \log \frac { c _ { i } } { \mathcal { O } _ { i } } - 1 \right ) \\ \cdot \cdot \cdot \cdot \cdot \cdot \\ \cdot \cdot \cdot \cdot \cdot$$

can serve as the foundation from which to construct a Lyapunov function for (7) in an appropriate topology of the phase space X 0 1 , . Clearly, this is the case when the rate coefficients a i, j ( ; k ) are such that (7) becomes one of the above-mentioned cluster systems.

In the case of the generalized exchange-driven system studied in the present paper, computing formally we have

$$\hat { \frac { d } { d t } } V ( c ( t ) ) = \sum _ { i = 0 } ^ { \infty } \dot { c } _ { i } ( t ) \log \frac { c _ { i } ( t ) } { \mathcal { O } _ { i } }, \\ \hat { \Phi } \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phile \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \PhPh \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Php \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phis \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phip \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phs \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phphi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phicon \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phiv \ \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phig \ \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Psi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Psilon \ \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \ Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \ \Psi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phicon \ \Psi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phs \ \ \Phi \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \ \Phi \Phi \ \Phi \ \Phi \ \Phi \Phi \ \Phi \ \$$

and substituting (132)-(134) into this expression we formally get

$$\frac { d } { d t } V ( c ( t ) ) = \sum _ { j = 0 } ^ { \infty } \sum _ { i = 1 } ^ { \infty } \sum _ { k = 1 } ^ { i } \omega ( i, j ; k ) ( c ( t ) ) \log \frac { c _ { j + k } ( t ) \mathcal { O } _ { j } } { c _ { j } ( t ) \mathcal { O } _ { j + k } }.$$

Making rigorous these formal computations, studying the sign of (136), and hopefully using these tools in the analysis of the dynamic behaviour of solutions to (7) is clearly the subject of another work.

## References

[1] J. M. Ball and J. Carr, The discrete coagulation-fragmentation equations: Existence, uniqueness, and density conservation, J. Stat. Phys., 61 (1990) 203-234.

[2] J. M. Ball, J. Carr, and O. Penrose, The Becker-D¨ring cluster equations: o basic properties and asymptotic behaviour of solutions, Commun. Math. Phys., 104 (1986) 657-692.

[3] Z. Banakar, M. Tavana, B. Huff, D. Di Caprio, A bank merger predictive model using the Smoluchowski stochastic coagulation equation and reverse engineering, Int. J. Bank Marketing, 36 (4), (2018) 634-662.

$$W _ { p ; k } ( c ) \coloneqq \sum _ { q = k } ^ { \infty } \omega ( q, p ; k ) ( c ),$$

- [4] J. Banasiak, W. Lamb, and Ph. Lauren¸ cot, Analytic Methods for Coagulation-Fragmentation Models, volume I, Monographs and Research Notes in Mathematics, CRC Press, New York, 2019.
- [5] J. Banasiak, W. Lamb, and Ph. Lauren¸ cot, Analytic Methods for Coagulation-Fragmentation Models, volume II, Monographs and Research Notes in Mathematics, CRC Press, New York, 2019.
- [6] E. Ben-Naim and P. L. Krapivsky, Exchange-driven growth, Phys. Rev. E, 68 (2003), 031104.
- [7] J. Carr, Asymptotic behaviour of solutions to the coagulation-fragmentation equations. I. The strong fragmentation case, Proc. Roy. Soc. Edinburgh Sect. A, 121 (1992) 231-244.
- [8] F. P. da Costa, Mathematical aspects of coagulation-fragmentation equations, in: Mathematics of Energy and Climate Change , J.-P. Bourguignon, R. Jeltsch, A. A. Pinto, and M. Viana, eds., Springer-Verlag, Cham 2015, pp. 83-162.
- [9] P. Degond, J.-G. Liu, R. L. Pego, Coagulation-fragmentation model for animal group-size statistics, J. Nonlinear Sci. , 27 (2017) 379-424.

[10]

P.

G. J.

van Dongen and M. H. Ernst, Kinetics of reversible polymerization,

Journal of

Statistical Physics

,

37

(1984) 301-324.

- [11] C. Eichenberg and A. Schlichting, Self-similar behavior of the exchange-driven growth model with product kernel, Comm. Partial Diff. Eqs., 46 (2021) 498-546.
- [12] E. Esenturk, Mathematical theory of exchange-driven growth, Nonlinearity, 31 (2018) 34603483.
- [13] E. Esenturk and C. Connaughton, Role of zero clusters in exchange-driven growth with and without input, Phys. Rev. E, 101 , (2020) 052134.
- [14] E. Esenturk and J. Velazquez, Large time behavior of exchange-driven growth, Discr. Cont. Dyn. Syst., 41 , 2 (2021) 747-775.
- [15] R. D. Guy, A. L. Fogelson, J. P. Keener, Fibrin gel formation in a shear flow, Math. Med. Biol., 24 (1), (2007) 111-130.
- [16] P.-F. Hsieh and Y. Sibuya, Basic Theory of Ordinary Differential Equations, Universitext, Springer-Verlag, New York, 1999.
- [17] J. Ke and Z. Lin, Kinetics of migration-driven aggregation processes with birth and death, Phys. Rev. E, 67 , (2002) 031103.
- [18] Ph. Lauren¸ cot, The discrete coagulation equations with multiple fragmentation, Proc. Edin. Math. Soc., 45 , (2002), 67-82.
- [19] F. Leyvraz and S. Redner, Scaling theory for migration-driven aggregate growth, Phys. Rev. Lett., 88 , (2002) 068301.
- [20] S. Ispolatov, P. L. Krapivsky, and S. Redner, Wealth distributions in models of capital exchange, Eur. J. Phys. B, 2 , (1998) 267.
- [21] P .A. Mulheran, Theory of cluster growth on surfaces, in: Metallic Nanoparticles , J. A. Blackman (ed.), Handbook of Metal Physics, Vol. 5, Elsevier, Amsterdam, 2008, pp. 73-111.
- [22] O. Penrose, Metastable states for the Becker-D¨ring cluster equations, Commun. Math. Phys., o 124 (1989) 515-541.
- [23] H. R Pruppacher and J. D. Klett, Microphysics of Clouds and Precipitation, 2nd Edition, Atmospheric and Oceanographic Sciences Library, volume 18, Springer, Dordrecht, 2010.
- [24] V. Safronov, Evolution of the protoplanetary cloud and formation of the earth and the planets, Israel Program for Scientific Translations, Jerusalem, 1972.
- [25] A. Schlichting, The exchange-driven growth model: basic properties and longtime behavior, J. Nonl. Sci., 30 (2020) 793-830.
- [26] M. Smoluchowski, Versuch einer mathematischen Theorie der Koagulationskinetik kol- loider L¨ osungen, Z. Phys. Chem., 92 (1917) 129-168.

(P. K. Barik) Instituto de Matem´ticas, Universidad de Granada, Rector L´pez Arg¨et, a o u S/N, 18001, Granada, Spain, and Departamento de Matem´tica Aplicada, Universidad de a Granada, Avenida de Fuentenueva S/N, 18071, Granada, Spain.

## Email address : barik@ugr.es

(F.P. da Costa) Univ. Aberta, Dep. of Sciences and Technology, Rua da Escola Polit´cnica 141-7, P-1269-001 Lisboa, Portugal, and Univ. e Lisboa, Instituto Superior T´ ecnico, Centre for Mathematical Analysis, Geometry and Dynamical Systems, Av. Rovisco Pais, P-1049-001 Lisboa, Portugal.

Email address : fcosta@uab.pt

(J.T. Pinto) Univ. Lisboa, Instituto Superior T´cnico, Dep. of Mathematics and Cene tre for Mathematical Analysis, Geometry and Dynamical Systems, Av. Rovisco Pais, P-1049-001 Lisboa, Portugal.

Email address : jpinto@tecnico.ulisboa.pt

(R. Sasportes) Univ. Aberta, Dep. of Sciences and Technology, Rua da Escola Polit´cnica 141-7, P-1269-001 Lisboa, Portugal, and Univ. e Lisboa, Instituto Superior T´ ecnico, Centre for Mathematical Analysis, Geometry and Dynamical Systems, Av. Rovisco Pais, P-1049-001 Lisboa, Portugal.

Email address : rafael.sasportes@uab.pt
P. K. Barik F. P. da Costa J. T. Pinto R. Sasportes
The discrete generalized exchange-driven system
We study a discrete model for generalized exchange-driven growth in which the
particle exchanged between two clusters is not limited to be of size one. This
set of models include as special cases the usual exchange-driven growth system
and the coagulation-fragmentation system with binary fragmentation. Under
reasonable general condition on the rate coefficients we establish the
existence of admissible solutions, meaning solutions that are obtained as
appropriate limit of solutions to a finite-dimensional truncation of the
infinite-dimensional ODE. For these solutions we prove that, in the class of
models we call isolated both the total number of particles and the total mass
are conserved, whereas in those models we can non-isolated only the mass is
conserved. Additionally, under more restrictive growth conditions for the rate
equations we obtain uniqueness of solutions to the initial value problems.