key: cord-0181835-9fdoast6 authors: Dobrick, Alexander title: On the asymptotic behaviour of semigroups for flows in infinite networks date: 2020-11-13 journal: nan DOI: nan sha: 7bd1bc1d77d5e2f3e2d27220762419f76e4c64f4 doc_id: 181835 cord_uid: 9fdoast6 We study transport processes on infinite networks. The solution of these processes can be modeled by an operator semigroup on a suitable Banach space. Classically, such semigroups are strongly continuous and therefore their asymptotic behaviour is quite well understood. However, recently new examples of transport processes emerged where the corresponding semigroup is not strongly continuous. Due to this lack of strong continuity, there are currently only few results on the long-term behaviour of these semigroups. In this paper, we discuss the asymptotic behaviour for a certain class of these transport processes. In particular, it is proved that the solution semigroups behave asymptotically periodic with respect to the operator norm as a consequence of a more general result on the long-term behaviour by positive semigroups containing a multiplication operator. Furthermore, we revisit known results on the asymptotic behaviour of transport processes on infinite networks and prove the asymptotic periodicity of their extensions to the space of bounded measures. Consider a transport process on an infinite network, modeled by an infinite, directed graph G = (V, E), which is assumed to be simple, locally finite and nondegenerate. Moreover, one can consider G as a metric graph by identifying each edge with the unit interval [0, 1] and parametrizing it contrarily to its direction (see Sections 2 and 4 for definitions). The distribution of mass transported along one edge e j , j ∈ J ⊆ N, at some time t ≥ 0 is described by a function u j (t, x) for x ∈ [0, 1] and the material is transported along e j with a constant velocity c j > 0 satisfying 0 < c min ≤ c j ≤ c max < ∞. Define B C := C −1 BC, where B denotes the weighted (transposed) adjacency matrix of the graph G and C := diag(c j ) denotes the (diagonal) velocity matrix. In addition, suppose that the functions u j satisfy the generalized Kirchhoff law for all i ∈ I and t > 0. Then the transport process can be modeled by the initial value problem x ∈ (0, 1), where f j , j ∈ J, are the initial distributions of mass along the edges of G. The investigation of systems of the form (1.1) on metric graphs by methods from the theory of strongly continuous semigroups has a history. The first results in this direction are due to Kramar and Sikolya (see [21] ). This paper was followed by a series of papers [13, 9, 10, 8, 4] from several different authors studying various transport processes. In all these papers, the state space is L 1 ([0, 1]; ℓ 1 ), where the solution semigroups turn out to be strongly continuous, and, the asymptotic behaviour of the solution semigroup is a major point of interest. Motivated by results from [28, 29] , Budde and Kramar Fijavž in [6] discuss transport processes on the state space L ∞ ([0, 1]; ℓ 1 ). In this setting the solution semigroup is bi-continuous with respect to the weak * -topology on L ∞ ([0, 1]; ℓ 1 ) (see [22] for a definition) but not strongly continuous. However, the asymptotic behaviour of the solutions in the bi-continuous case is not discussed. In the present paper, we shall discuss the asymptotic behaviour in the bicontinuous case (see Theorem 3.4) by combining spectral theoretic observations, the concept of the semigroup at infinity (see [7] ) and classical Perron-Frobenius theory. In particular, our approach does not make use of any regularity assumptions on the semigroup. Moreover, it allows us to revisit a result on the asymptotic behaviour from [9] (see Proposition 4.1) and improve slightly upon the statement as well as its proof. Finally, inspired by [23] , we extend the semigroup on L 1 ([0, 1]; ℓ 1 ) from [9] to the space of ℓ 1 -valued measures of bounded variation and show that their extension has still some regularity and converges with respect to operator norm exponentially fast to a periodic semigroup. Structure of the article. In Section 2 we first recall some basic facts from graph theory and on metric graphs. Moreover, we discuss vector-valued multiplication operators on L p (Ω; E) for a given Banach space E and a given σ-finite measure space (Ω, Σ, µ), and prove some spectral theoretic results. In Section 3 we utilize our spectral observations from Section 2 to prove an abstract result on the longterm behaviour for positive semigroups containing a multiplication operator. In Section 4 we apply that result to several different transport semigroups on infinite networks and we prove that, under certain conditions, these transport semigroups are asymptotically periodic with respect to the operator norm. Finally, in Section 5 we extend the solution semigroup of (1.1) from the state space of ℓ 1 -valued L 1functions to the space of ℓ 1 -valued measures of bounded variation and prove that this extension is asymptotically periodic with respect to the operator norm. Notation and terminology. Let E, F be Banach spaces. We endow the space L(E; F ) of bounded linear operators from E to F with the operator norm topology throughout; moreover, we use the abbreviation L(E) := L(E; E). Further a semigroup is a map T : [0, ∞) → L(E) with T (0) = id E satisfying the semigroup law T (s + t) = T (s)T (t) for all s, t ≥ 0. In this case, we call (T (t)) t≥0 an operator semigroup. Note that we do not make any assumption on the regularity of (T (t)) t≥0 . An operator T ∈ L(E) is called quasi-compact if it has less than distance one in the operator norm to the space of compact operators on E. The dual Banach space of E will be denoted by E ′ . If (Ω, Σ, µ) is a measure space, then L p (Ω; E), 1 ≤ p ≤ ∞, denotes the space of L p -Bochner-integrable functions with values in E. For the definition of the space M (Ω; E) we refer to Appendix A.1. For f ∈ L p (Ω) and Throughout the paper, we will make free use of the theory of real and complex Banach lattices (cf. [24, 26, 30] ). Here we only recall that if E is a Banach lattice, then an operator T : If the underlying scalar field is complex, the spectrum of a linear operator A : E ⊇ D(A) → E will be denoted by σ(A); for λ ∈ C \ σ(A), the resolvent of A at λ is denoted by R(λ, A) := (λ − A) −1 . Further, the point spectrum of A will be denoted by σ p (A). If T is a bounded operator on E, then r(T ) denotes the spectral radius of T . Finally, the set {λ ∈ σ(T ) : |λ| = r(T )} is called the peripheral spectrum of the operator T . Acknowledgements. The author thanks Abdelaziz Rhandi for his very kind hospitality at the university of Salerno in Spring 2020 at the begin of the extraordinary Covid-19 situation in Italy. At this time major parts of this paper have been written. Moreover, I am indebted to my dear colleagues Marco Peruzzetto for several helpful discussions and Jochen Glück for helpful feedback at an early stage of the paper and bringing reference [23] to my attention. Finally, I thank Markus Haase for his many fruitful suggestions. i ∈ I} is a set of vertices and E = {e j : j ∈ J} ⊆ V × V a set of directed edges for index sets I, J ⊆ N. If e = (v i , v j ) ∈ E is some directed edge, then v i is called the tail and v j is called the head of e. In particular, e is considered to be directed from v i to v j and we call e and outgoing edge with respect to v i and analogously an incoming edge with respect to v j . A very natural way to describe the structure of graphs are incidence matrices. The incoming incidence matrix Φ + = (φ + ij ) i∈I,j∈J is defined by if v i is the head of e j , 0, else, and the outgoing incidence matrix As the graph G will be assumed to be weighted in what follows, we consider also the weighted outgoing incidence matrix Φ − w = (φ − w,ij ) i∈I,j∈J which is defined by Here w ij ∈ [0, 1] are weights for all i ∈ I and j ∈ J such that j∈J w ij = 1. This condition ensures that no material of the network flow is absorbed by the network. Another way to describe the structure of a given graph is the adjecency matrix. For our approach the weighted (transposed) adjacency matrix B = (B i,j ) i∈I,j∈J graph defined by B := (Φ − w ) T Φ + will play the most prominent role. Its entries are given by if v k is the head of e j and the tail of e i , 0, else. By positivity of the weights and (2.1), B is a column-stochastic matrix and thus corresponds to a stochastic operator on ℓ 1 with r(B) = B = 1. A directed path p from the vertex v ∈ V to the vertex w ∈ V is a tuple (e 1 , . . . , e ℓ ) of edges e 1 , . . . , e ℓ ∈ E such that the tail of e 1 is v, the head of e ℓ is w and the head of e i is the tail of e i+1 for all i = 1, . . . , ℓ − 1. In this case, v is called the starting point and w the endpoint of p and ℓ is called the length of p. A directed graph G = (V, E) is called strongly connected if for any v, w ∈ V there is a directed path of finite length between them. A finite vertex set W ⊆ V is called an attractor if there exist L ∈ N and δ > 0 such that for each vertex v ∈ V there is a path p with head v of length at most L that has an endpoint if W and such that the sum of the weights of all paths with this property is greater or equal to δ. Here the weight of a path p = (e 1 , . . . , e ℓ ) is defined by the product of all weights belonging to its edges e i . Many graph-theoretic properties of G = (V, E) translate into properties of the operator B and vice versa. The following proposition collects some of these correspondences (cf. [9, Proposition 4.8, Proposition 4.9]) that are relevant to this paper. It is easy to see that this operator is well-defined and it is easy to see that M T is a bounded operator. Moreover, the map Now we turn to spectral theoretic results. A simple calculation shows that Recall that in case the spectrum of T contains isolated subsets, one can define spectral projection of T by virtue of the Dunford functional calculus: Namely, for any isolated subset σ of σ(T ), the spectral projection P σ of T associated to σ is where γ is a contour in ρ(T ) such that the winding number around each element of σ is equal to 1 and around each element of σ(T ) \ σ is equal to 0. Note that such a contour always exists and that Dunford's integral does not depend on the choice of the contour by Cauchy's theorem. In the situation above, as the spectra of T and M T coincide, it is natural to ask, whether the spectral projections of T and M T associated to σ are related to each other. This is the content of the following result. Proposition 2.3. Let (Ω, Σ, µ) be a σ-finite measure space, E a Banach space and X := L p (Ω; E), 1 ≤ p ≤ ∞. Let T be a bounded operator on E, let σ be an isolated subset of σ(T ) and P the spectral projection of T associated to σ. Then the following assertions hold: (i) X decomposes as X = M P X ⊕ ker M P into the M T -invariant subspaces M P X = L p (Ω; P E) and ker M P = L p (Ω; ker P ). (ii) The spectral projection of M T associated to σ coincides with the operatorvalued multiplication operator M P . Proof of Proposition 2.3. Although the following proof is almost trivial, we present it here for the convenience of the reader: (i) E can be decomposed as E = P E ⊕ ker P . Moreover, P E and ker P are T -invariant. Therefore, Lemma 2.2(ii) yields the decomposition and only if f (ω) ∈ P E (f (ω) ∈ ker P ) for a.e. ω ∈ Ω. Therefore, M P X = L p (Ω; P E) and ker M P = L p (Ω; ker P ). (ii) By (i), one has the decomposition X = M P X ⊕ ker M P into M T -invariant subspaces. Furthermore, by Lemma 2.2(i). Thus, the claim follows from the uniqueness of the spectral projections on σ and σ(T ) \ σ of M T , respectively. The next result is concerned with isolated points of the spectrum of operatorvalued multiplication operators and their spectral properties. The first assertion in the following theorem is a special case of [18, Theorem 6] . Proposition 2.4. Let (Ω, Σ, µ) be a σ-finite measure space, let E be a Banach space, X := L p (Ω; E), 1 ≤ p ≤ ∞ and let T ∈ L(E). Then the following assertions hold: (ii) If λ is an eigenvalue of T , then its geometric (algebraic) multiplicity with respect to T is less or equal to its geometric (algebraic) multiplicity with respect to M T . Proof. (i) Let λ ∈ σ p (T ) and x ∈ E an associated eigenvalue. Choose any nonzero f ∈ L p (Ω). Then it is easy to see that On the other hand, suppose that λ / ∈ σ p (T ) and that there is which shows the claim. (iii) Suppose that λ is an isolated point of the spectrum of T , or equivalently, of M T . Consider the Laurent expansion the respective resolvents about λ given by for coefficients U n ∈ L(E) and V n ∈ L(L p (Ω; E)). We show that V n = M Un for all n ≤ −1. The case n = −1 follows directly from Proposition 2.3(ii) as the residua in λ coincide with the respective spectral projections. For the general case, observe Hence, the claim follows. 3. An abstract result on semigroup asymptotics The asymptotic behaviour of C 0 -semigroups is a topic widely covered in the existing literature and much less is known when the semigroups are not strongly continuous. Recently, however, recently several authors investigated the asymptotic behaviour of semigroups with weaker regularity properties or even no at all (cf. [16] , [15] , [17] , [7] ). In [17] Glück and Haase introduced the concept of the semigroup at infinity to investigate the asymptotic behaviour of semigroup representations with respect to the strong operator topology. Following this idea, Glück and the author of the present paper adapted this concept in [7] to study convergence of semigroup representations with respect to the operator topology. In the present paper we use the semigroup at infinity to prove an abstract convergence result, which will be then applied to network flows in Section 4. Let T be a bounded operator on a Banach space E. Then T := {T n : n ∈ N 0 } is a semigroup of operators, and we call the set the semigroup at infinity associated with the semigroup T . If T ∞ is non-empty and compact, then one can apply the Jacobs-de Leeuw-Glicksberg decomposition (see e.g. [11, Chapter 16] ) to the semigroup T ∞ to obtain the projection at infinity P ∞ ∈ T ∞ (see the discussion before [7, Theorem 4.3] ). Using the semigroup at infinity we can easily prove the following lemma. Proof. Let P be the spectral projection of T associated with σ(T )∩T. By [7, Proposition 4.12] , the semigroup at infinity T ∞ associated to the semigroup T := {T n : n ∈ N 0 } is non-empty and compact. Since T consists only of positive operators and since the projection at infinity P ∞ is contained in the closure of T , it follows that P ∞ is positive. Now the claim follows as P ∞ = P by [7, Proposition 4.12] . The following lemma is basically the spectral theoretic core of the arguments in the proof of [9, Proposition 4.3] . However, assertion (iii) below is missing in [9] . In the following section, we will be mainly interested in the case that T is an infinite column-stochastic matrix with additional properties. Banach lattice E such that r(T ) = 1 is a pole of the resolvent of T . Then the following assertions hold: (i) The peripheral spectrum of T consists of the kth roots of unity for some k ∈ N. Moreover, these roots of unity are all first order poles of the resolvent. (ii) The spectral projection P of T associated to the peripheral spectrum yields a decomposition E = P E ⊕ ker P such that T k | P E = id P E and r(T | ker P ) < 1, where k ∈ N is the index of imprimitivity of T . (iii) P is strictly positive. In particular, P E is a sublattice of E. Proof. Since T is positive and irreducible and r(T ) is a pole of the resolvent of T , it follows from [26, Theorem V.5.4 ] that the peripheral spectrum of T is cyclic and consists of first order poles of the resolvent, only. In particular, the peripheral spectrum of T is a finite group consisting of the kth roots of unity for some k ∈ N. This shows (i). In the following we denote the primitive kth root of unity by ζ. By spectral decomposition it is clear that T acts on P E as the multiplication with the tuple (1, ζ, . . . , ζ k−1 ) and r(T | ker P ) < 1. Hence, T k acts as the identity on P E which shows (ii). To show (iii), observe first that P is positive by Lemma 3.1. To see that P is even strictly positive, we consider the absolute kernel Clearly, R is an ideal in E and that is enough to show that R = {0}. For each x ∈ R one has 0 ≤ P |T x| ≤ P T |x| = T P |x| = 0 and therefore P |T x| = 0. Hence, R is a T -invariant ideal and thus trivial by the irreducibility of T . Since P = 0, one has R = {0}, i.e., P is strictly positive. Finally [26, Proposition III.11.5] shows that P E is a sublattice of E. Definition 3.3. We call a bounded semigroup (T (t)) t≥0 on a Banach space E asymptotically exponentially periodic on E if there exists a projection P that commutes with the semigroup (T (t)) t≥0 such that (i) (T (t)| P E ) t≥0 can be extended to a periodic group on P E. (ii) T (t)| ker P is uniformly exponentially stable as t → ∞. The following theorem is a generalized version of [9, Proposition 4.3] by Dorn. In contrast to Dorn's result, it does not require any regularity assumptions on the semigroup. Hence, it is applicable to semigroups with no or weaker regularity properties, e.g., to bi-continuous semigroups. (i) (T (t)| P X ) t≥0 can be extended to a positive, periodic group on the Banach lattice P X. (ii) (T (t)| ker P ) t≥0 is uniformly exponentially stable, i.e., there exist M ≥ 1 and Proof. As (T (t)) t≥0 is a bounded, positive semigroup, B is power-bounded and positive. Hence, B satisfies the assumptions of Lemma 3.2 which yields the decomposition E = P E ⊕ ker P , where P denotes the spectral projection of B associated to its peripheral spectrum. Moreover, B k acts as the identity on P E, where k ∈ N is the index of imprimitivity of B, and r(B| ker P ) < 1. Proposition 2.3 yields the decomposition X = M P X ⊕ ker M P = L p (Ω; P E) ⊕ L p (Ω; ker P ) =: which coincides with the spectral decomposition corresponding to M B . Now observe that T (t 0 ) k = M B k and therefore by Lemma 2.2(i). Furthermore, r(T (t 0 )| X2 ) = r(M B| ker P ) = r(B| ker P ) < 1. So the semigroup (T (t 0 ) n | X1 ) n∈N0 is periodic. Furthermore, there exists q ∈ (r(T (t 0 )), 1) such that T (t 0 ) n | X2 < q n for n sufficiently large. As M P coincides with the spectral projection of M B = T (t 0 ) associated with the peripheral spectrum, it commutes with the operators of the semigroup (T (t)) t≥0 and hence the spaces X 1 and X 2 are both invariant under the action of (T (t)) t≥0 . So (T (t)) t≥0 restricts to semigroups on X 1 and X 2 , respectively. Moreover, P is strictly positive on E by Lemma 3.2(iii) and hence so is M P . In particular, X 1 is a Banach lattice by [26, Proposition III.11 .5] and the semigroup (T (t)| X1 ) t≥0 is clearly positive in this situation. Finally, (T (t)| X1 ) t≥0 extends to a group on X 1 . T (t 0 ) n | X2 < q n for n big enough and (T (t)| X2 ) t≥0 is bounded, it follows that T (t)| X2 ≤ M e −ωt for suitable constants M ≥ 1 and ω > 0. Therefore, (T (t)) t≥0 is asymptotically exponentially periodic in the sense of Definition 3.3. As the proof of the theorem above only used results from Section 2 and some spectral theory on the Banach space in which the L p -functions took their values in, one can obtain the Theorem 3.4 also on spaces of measures due to the observations made in Remark 2.5. For later reference we state here this version of the theorem explicitly. If r(B) is a pole of the resolvent of B , then there is a strictly positive projection P commuting with the semigroup (T (t)) t≥0 with the following properties: (i) (T (t)| P X ) t≥0 can be extended to a positive, periodic group on the Banach lattice P X. (ii) (T (t)| ker P ) t≥0 is uniformly exponentially stable, i.e., there exist M ≥ 1 and 4.1. Transport equation on infinite networks. In this section we consider transport processes on infinite networks. The network will be modeled by an infinite, directed graph G = (V, E) which is assumed to be (a) simple, i.e., the graph contains no loops and no multiple edges, (b) locally finite, i.e., each vertex only has finitely many incident edges, (c) non-degenerate, i.e., each vertex of the network has at least one incoming as well as at least one outgoing edge. Moreover, G will be considered as a metric graph by identifying each edge with the unit interval [0, 1] and parametrizing it contrarily to its direction. This means, under this identification, that each edge is assumed to have its endpoint at 0 and its starting point at 1. The distribution of mass transported along one edge e j , j ∈ J ⊆ N, at some time t ≥ 0 will be described by a function u j (t, x) for x ∈ [0, 1]. The material in the network will be transported along e j with constant velocity c j > 0 and we assume that Furthermore, we define where C := diag(c j ) denotes the diagonal velocity matrix. In each vertex the material is distributed to the outgoing edges as governed by the weights of the respective edges. This will be modeled by assuming that the functions u j satisfy the generalized Kirchhoff law for all i ∈ I and t > 0. Altogether this transport process is modelled by the partial differential equation j ∈ J, where f j are the initial distributions of mass along the edges. Solutions to this equation were investigated by using semigroup theory mainly in two different settings: (i) It is shown in [9] that the solutions of (4.1) form a strongly continuous semigroup on the space L 1 ([0, 1]; ℓ 1 ) in the case that c j = 1 for all j ∈ J. (ii) In [6] it is shown that the solutions of (4.1) form a so-called bi-continuous semigroup on the space L ∞ ([0, 1]; ℓ 1 ) under some conditions on the velocities c j . Although the same equation is investigated (however in different spaces), in [9] the asymptotic behaviour of the solutions is discussed, whereas no such results can be found in [6] for the solutions in the bi-continuous case. By making use of the theory developed in the prior section we close this gap. But first, we revisit Dorn's asymptotics result [9, Proposition 4.3] . Our argument shows that the asymptotical periodicity of the solution obtained by Dorn does not depend on the strong continuity of the semigroup. On the other hand, the exponential speed of convergence in the theorem does rely on the strong continuity. In addition, it is proven that the involved projection is strictly positive. Notice that W 1,1 ([0, 1]; ℓ 1 ) embeds continuously into C([0, 1]; ℓ 1 ) so that the above operator is well-defined. By [9, Proposition 3.1], we can translate (4.1) into the abstract Cauchy problem u ′ (t) = Au(t), t ≥ 0, on the space L 1 ([0, 1]; ℓ 1 ). Now [9, Proposition 3.3] shows that A generates a strongly continuous semigroup (T (t)) t≥0 on L 1 ([0, 1]; ℓ 1 ) given by if n ∈ N 0 is such that n ≤ s+t < n+1. Moreover, it is easy to see that this semigroup is both contractive and positive. So (T (t)) t≥0 is basicly a shift semigroup on the graph with a "jump" at the end of each edge governed by the weighted adjencency matrix B. Proof. Clearly, (T (t)) t≥0 is a positive, contractive semigroup on L 1 ([0, 1]; ℓ 1 ) with T (1) = M B . Moreover, B is irreducible by hypothesis with r(B) = 1. Since B is assumed to be quasi-compact, the peripheral spectrum σ(B) ∩ T consists of poles of the resolvent. Hence, by Theorem 3.4 there is a strictly positive projection P on X such that (T (t)| P X ) t≥0 can be extended to a positive, periodic C 0 -group on the Banach lattice P X and (T (t)| ker P ) t≥0 is uniformly exponentially stable, i.e., there are constants M ≥ 1 and ω > 0 such that Remark 4.2. The strict positivity of the projection P in the theorem above could alternatively be deduced from the irreducibility of the semigroup (T (t)) t≥0 (cf. [9, Proposition 4.9] ). However, on other state spaces where the solution semigroup is not strongly continuous (see Section 4.3) there is no characterization of irreduciblity of the semigroup via the resolvent of the generator to the best of the authors knowledge. Now let us consider the case where not all velocities c j are equal to 1. However, assume that the velocities c j are linearly dependant over Q, i.e., ci cj ∈ Q for all i, j ∈ J, with a common finite multiplier c > 0. This means that Consider the differential operator The assumption on the velocities allows us to construct a new graph by adding ℓ j −1 vertices on each edge e j , j ∈ J of the graph and let the so-created new edges inherit the orientation of the original edge. Carrying out this construction one can show that the operator A C generates a strongly continuous semigroup (T C (t)) t≥0 on a space isometrically isomorphic to L 1 ([0, 1]; ℓ 1 ), i.e., there exists a strictly positive isomorphism S ∈ L(L 1 ([0, 1]; ℓ 1 )) such that for all t ≥ 0. Here, (T (t)) t≥0 denotes the semigroup defined above. For more details on the construction we refer to [2, Section 3]; or see [25] for even more detail. Now, the following asymptotics result is an immediate consequence of Proposition 4.1. (i) (T C (t)| PC X ) t≥0 can be extended to a positive, periodic C 0 -group on the Banach lattice P C X. (ii) (T (t)| ker PC ) t≥0 is uniformly exponentially stable. Remark 4.4. By Proposition 2.1 the above results are applicable to each strongly connected graph with an attractor. In particular, the flows on such graphs are asymptotically periodic. Bi-continuous flows on L ∞ ([0, 1]; ℓ 1 ). Now we turn our attention to the bi-continuous case considered in [6] . The abstract theory developed in Section 3 allows to prove analogous results to those in the L 1 -setting. Again, we assume first that for all j ∈ J and consider the space L ∞ ([0, 1]; ℓ 1 ) equipped with the usual norm Moreover, we consider the operator notice that it is well-defined since W 1,∞ ([0, 1]; ℓ 1 ) embeds continuously into C([0, 1]; ℓ 1 ) and that (4.1) can be translated into the abstract Cauchy problem but this time on the space L ∞ ([0, 1]; ℓ 1 ). Completely analogously to [9, Theorem 3.2] one obtains the following resolvent formula on L ∞ ([0, 1]; ℓ 1 ) (see also [6, Proposition 3.8] ). for all f ∈ L ∞ ([0, 1]; ℓ 1 ) and s ∈ [0, 1]. Furthermore, for λ ∈ C one has the characteristic equations As seen in the section before, the solution semigroup of (4.1) on L 1 ([0, 1]; ℓ 1 ) is basicly a shift with some jump. So would be a reasonable guess that something similar if not the same stays true for L ∞ ([0, 1]; ℓ 1 ). However, it is well known that the shift semigroups are generally not strongly continuous on L ∞ -spaces. Hence, one can not expect that A generates a strongly continuous semigroup. However, it is proven in [6, Theorem 3.9 ] that A generates a semigroup with a weaker regularity property, a so called bi-continuous semigroup (see e.g. [22] for a definition). Theorem 4.6. The operator A generates a contractive, bi-continuous semigroup (T (t)) t≥0 on L ∞ ([0, 1]; ℓ 1 ) given by if n ∈ N 0 is such that n ≤ s + t < n + 1, with respect to the weak * -topology. In [9, Theorem 4.10] Dorn gives a characterization for asymptotic periodicity of the strongly continuous flow semigroup on L 1 ([0, 1]; ℓ 1 ). Using the abstract theory from Section 3 and ideas from the proof of [9, Theorem 4.10], we can prove that the same characterization holds for the bi-continuous semigroup (T (t)) t≥0 . Theorem 4.7. Let G be a strongly connected graph. Then the following two assertions are equivalent: (i) G has an attractor. (ii) (T (t)) t≥0 is asymptotically exponentially periodic in the sense of Definition 3.3. In this case, the period θ of (T (t)| X1 ) t≥0 is given by the greatest common divisor of all cycle lengths which occur in the graph G. Proof. (i) ⇒ (ii): As G is strongly connected and has an attractor, B is irreducible and quasi-compact. In particular, the peripheral spectrum of B consists of poles of the resolvent of B. So it follows from Theorem 3.4 that (T (t)) t≥0 is asymptotically periodic since the flow semigroup is bounded and positive with T (1) = M B . Moreover, it follows from the proof of Theorem 3.4 that θ is smaller or equal to the index of imprimitivity of the matrix k, i.e., by the number of spectral values of B with modulus equal to 1. But due to the characteristic equation (4.5) and the spectral mapping theorem for the point spectrum (see [14, Corollary 1.5.2] ) it follows that θ = k. Hence, by the arguments given in the first part of the proof of [9, Theorem 4.10] , θ equals the greatest common divisor of all cycle lengths which occur in the graph G. (ii) ⇒ (i): Suppose that there exist a strictly positive projection P on X such that (T (t)) t≥0 commutes with P and satisfies the assertions from Definition 3.3. Then X = P X ⊕ ker P and we have σ(T (1)) = σ(T (1)| P X ) ∪ σ(T (1)| ker P ). Moreover, σ(T (1)| P X ) ⊆ T as T (1)| P X is doubly power-bounded and σ(T (1)| ker P ) is contained in a ball with center 0 with radius 0 < r < 1 because (T (1)) n | ker P tends to 0 with respect to the operator norm as n → ∞. Moreover, we have σ(B) = σ(T (1)) and therefore, the peripheral spectrum of B is isolated. So denote by P the spectral projection onto the peripheral spectrum of B. Then M P is the spectral projection onto the peripheral spectrum of T (1) and it follows from the uniqueness of the spectral projection that P = M P . Moreover, (T (t)| P X ) t≥0 is periodic. Denote the period of (T (t)| P X ) t≥0 in the following by θ. Since (T (t)| P X ) t≥0 is periodic, one has 1 ∈ σ p (B| T ). Hence, [20, Proposition 2.1] shows that there exists a strictly positive fixed vector x ∈ ℓ 1 of B and this fixed vector is clearly an element of Pℓ 1 . In particular, f ⊗ x is an element of L ∞ ([0, 1]; Pℓ 1 ) for each f ∈ L ∞ ([0, 1]). Now choose k ∈ N such that k ≤ θ < k + 1. Suppose that k < θ and fix ε < θ − k. Then for a.e. s ∈ [0, 1] which is absurd. Hence, we infer that θ = k which means that T (1)| P X is algebraic, i.e., mapped to 0 by a polynomial. Therefore, the spectrum of T (1)| P X is finite and consists of poles of the resolvent and, by Proposition 2.4(iii), the same holds true for the spectrum of B| Pℓ 1 . Now it follows just as in the proof of [9, Theorem 4.10] that the peripheral spectrum of B consists of entirely of first order poles which implies that B is quasi-compact. Consider again the case where not all velocities c j are equal to 1 but the velocities c j are linearly dependant over Q, i.e., ci cj ∈ Q for all i, j ∈ J, with a common finite multiplier c > 0, i.e., Analogously to the L 1 -case, consider the differential operator By using the same construction as mentioned in the former section one shows that the operator A C generates a bi-continuous semigroup (T C (t)) t≥0 on L ∞ ([0, 1]; ℓ 1 ) (see [6, Proposition 3.11] ) and that there exists a strictly positive isomorphism S ∈ L(L ∞ ([0, 1]; ℓ 1 )) such that for all t ≥ 0. Consequently, we obtain the following result. In this section, it is shown that the semigroup from Section 4.2 can be naturally extended to the space of ℓ 1 -valued measures of bounded variation and it is be shown that this extension has still some regularity properties. Furthermore, the abstract argument from Section 3 can be used to show that this extended semigroup is still asymptotically periodic. This is motivated by [23] , where something similar was done for a different kind of flow on finite networks. Furthermore, the asymptotic behaviour of such an extended semigroup was investigated in [23, Corollary 4.17] (just for the case of finite networks) but this investigation relied on a non-constructive argument. For the introduction of ℓ 1 -valued measures of bounded variation and for the used notation, we refer the reader to Appendix A. Define the operators S(t) : where n ∈ N 0 such that n ≤ t < n + 1. In particular, one has for each Borel measurable set A ∈ B([0, 1]). It is not hard to see that (S(t)) t≥0 is a contractive semigroup on M ([0, 1]; ℓ 1 ). Proof. It is easy to see that (S(t)) t≥0 defines a semigroup on M ([0, 1]; ℓ 1 ) such that To see that (S(t)) t≥0 is contractive, let µ ∈ M ([0, 1]; ℓ 1 ) and A 1 , . . . , A N ⊆ [0, 1] measurable, pairwise disjoint sets such that [0, 1] = N k=1 A k . Now let t > 0 and pick n ∈ N such that n ≤ t < n + 1 and consider the sets for k = 1, . . . , N . Observe that all these sets are pairwise disjoint and [0, 1] = and therefore S(t)µ ≤ µ by taking the supremum over all finite partitions of the unit interval [0, 1]. In the following, we call (S(t)) t≥0 the extended flow semigroup on M ([0, 1]; ℓ 1 ). This is motivated by the following result which shows that the semigroup (S(t)) t≥0 actually extends the semigroup (T (t)) t≥0 on L 1 ([0, 1]; ℓ 1 ) from Section 4. f (t + s) ds + [1−t,b] Bf (t + s − 1) ds. On the other hand, Bf (s + t − 1) ds. Hence, (T (t)f ) ds = S(t)(f ds) for all f ∈ L 1 ([0, 1]; ℓ 1 ) and t ≥ 0. Now the regularity of (S(t)) t≥0 is investigated. In the appendix, the nilpotent left shift semigroup (τ 0 (t)) t≥0 on the space M ([0, 1]; E ′ ) is defined for an arbitrary Banach space E. For E = c 0 , i.e., E ′ = ℓ 1 , we obtain the following regularity result as a direct consequence of Proposition A.5. Lemma 5.3. The nilpotent left shift semigroup (τ 0 (t)) t≥0 , given by is weak * -continuous on M ([0, 1]; ℓ 1 ). Now we turn back our attention to the flow semigroup and its regularity. Proof. Let f ∈ C([0, 1], c 0 ) and µ ∈ M ([0, 1]; ℓ 1 ). As in the proof of Proposition A.5, we consider the trivial extension f ∈ B(R; c 0 ) of f to R. Then for t ∈ [0, 1), one where the first term turns goes 0 due to Lemma 5.3 and the second by the dominated convergence theorem (Theorem A.2). Using the framework of operator-valued multiplication operators, one can obtain an asymptotic result for the extended flow semigroup similar to [9, Proposition 4.3] . The proof works analogously to our proof of Proposition 4.1 with the only difference being that one needs to employ Theorem 3.5 instead of Theorem 3.4. Proposition 5.5. Let X := M ([0, 1]; ℓ 1 ). Suppose that B is quasi-compact and irreducible. Then there is a strictly positive projection P commuting with the semigroup (S(t)) t≥0 with the following properties: (i) (S(t)| P X ) t≥0 can be extended to a positive, periodic C 0 -group on the Banach lattice P X. (ii) (S(t)| ker P ) t≥0 is uniformly exponentially stable, i.e., S(t)−S(t)P ≤ M e −ωt for some constants M ≥ 1 and ω > 0. The Pettis integral is a well-known generalisation of the Bochner integral which has various applications in operator theory. The Bartle integral, although not as general as the Pettis integral, is another such generalization far less known. It has many applications to integration theory in vector-valued function spaces and will be used it frequently throughout Section 5 of this paper. In this paper it is used to identify the duality of the space of vector valued continuous functions that vanish at infinity. This brief appendix shall serve as a short introduction to the topic. Let Ω be a σ-compact metrizable space, B(Ω) the Borel σ-algebra on Ω and E some Banach space. Since B(Ω; E) is the closure of S(Ω; E) with respect to the supremum norm, one easily sees that C 0 (Ω; E) ⊆ B(Ω; E). This observation is interesting because it allows to use the concept of the Bartle integral to generalize the Riesz Representation Theorem to the space C 0 (Ω; E) (cf. [5] or [1, Appendix, Theorem 2.2.4]). Since the left shift (τ t ) t∈R on M (R; E ′ ) is the dual semigroup of the right shift semigroup on C 0 (R; E) by Theorem A.3, which is well-known to be strongly continuous, (τ t ) t∈R is a weak * -continuous semigroup on M (R; E ′ ). In particular, one has for all f ∈ C 0 (R; E). As a straightforward application of (A.1) and (A.2) one obtains the following lemma which shows that we can express shifts by convolutions with Dirac measures. Lemma A.4. The identity δ −t * µ = τ t µ holds for all µ ∈ M (R; E ′ ) and t ∈ R. Let B be a closed subset of R and µ ∈ M (R; E ′ ). Recall from that the measure Linear and quasilinear parabolic problems Asymptotic behaviour of flows on reducible networks. Networks & Heterogeneous Media A general bilinear vector integral Asymptotic periodicity of flows in time-depending networks Linear operators and vector measures Bi-continuous semigroups for flows in infinite networks Uniform convergence to equilibrium for coupled parabolic PDEs and linear evolution equations The semigroup approach to transport processes in networks Semigroups for flows in infinite networks Asymptotic periodicity of recurrent flows in infinite networks Operator theoretic aspects of ergodic theory One-parameter semigroups for linear evolution equations Vertex control of flows in networks Perturbations of bi-continuous semigroups On a convergence theorem for semigroups of positive integral operators Lower bounds and the asymptotic behaviour of positive operator semigroups Asymptotics of Operator Semigroups via the Semigroup at Infinity Eigenvalues and stability properties of multiplication operators and multiplication semigroups Analysis in Banach spaces. Volume I. Martingales and Littlewood-Paley theory Almost periodicity of stochastic operators on ℓ 1 (N) Spectral properties and asymptotic periodicity of flows in networks A Hille-Yosida theorem for bi-continuous semigroups Asymptotic behavior of flows in networks Banach lattices. Universitext Transport on Network Structures Die Grundlehren der mathematischen Wissenschaften Form methods for autonomous and non-autonomous Cauchy problems The eigenvalues of the laplacian on locally finite networks The eigenvalues of the laplacian on locally finite networks under generalized node transition Introduction to operator theory in Riesz spaces Arbeitsbereich Analysis